termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Logic Programming with Cut

Statistics

Result

AProVE (1.8)

MAYBE

Average time	10.910
Total time	87.281
# Results	8

TIMEOUT

Average time	60.546
Total time	242.183
# Results	4

YES

Average time	2.004
Total time	60.106
# Results	30

Actions

Results

««

Last

Termination Problem

AProVE (1.8)


1	tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl	3.029
2	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl	3.082
3	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl	2.528
4	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl	1.846
5	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl	2.241
6	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl	1.846
7	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl	1.684
8	tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl	1.787
9	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl	1.742
10	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl	1.7
11	tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl	1.834
12	tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl	2.974
13	tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl	4.133
14	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl	60.523
15	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl	1.868
16	tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl	1.738
17	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl	1.756
18	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl	2.911
19	tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl	1.902
20	tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl	60.514
21	tpdb-8.0/LP/CUT/Stroeder_09/add3.pl	1.792
22	tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl	14.933
23	tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl	2.404
24	tpdb-8.0/LP/CUT/Stroeder_09/btree.pl	2.296
25	tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl	2.394
26	tpdb-8.0/LP/CUT/Stroeder_09/cutpos2.pl	2.986
27	tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl	1.704
28	tpdb-8.0/LP/CUT/Stroeder_09/fold2.pl	1.786
29	tpdb-8.0/LP/CUT/Stroeder_09/fold3.pl	1.871
30	tpdb-8.0/LP/CUT/Stroeder_09/giesl97.pl	18.421
31	tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl	1.922
32	tpdb-8.0/LP/CUT/Stroeder_09/inorder-oi.pl	2.322
33	tpdb-8.0/LP/CUT/Stroeder_09/list2.pl	1.739
34	tpdb-8.0/LP/CUT/Stroeder_09/map.pl	1.846
35	tpdb-8.0/LP/CUT/Stroeder_09/num2.pl	1.687
36	tpdb-8.0/LP/CUT/Stroeder_09/ordered3.pl	2.936
37	tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl	2.461
38	tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl	60.615
39	tpdb-8.0/LP/CUT/Stroeder_09/times1.pl	37.894
40	tpdb-8.0/LP/CUT/Stroeder_09/ts01.pl	1.698

««

Last