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 (2011-0.1)

MAYBE

Average time	6.917
Total time	159.100
# Results	23

TIMEOUT

Average time	60.471
Total time	181.414
# Results	3

YES

Average time	1.340
Total time	115.265
# Results	86

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl	0.835
2	tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl	1.727
3	tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl	0.976
4	tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl	0.787
5	tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl	1.39
6	tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl	1.608
7	tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl	0.798
8	tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl	1.678
9	tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl	1.673
10	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl	1.655
11	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl	1.734
12	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl	1.237
13	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl	1.987
14	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl	1.06
15	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl	0.823
16	tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl	0.951
17	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl	0.888
18	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl	0.81
19	tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl	1.052
20	tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl	1.673
21	tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl	1.439
22	tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl	2.986
23	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl	60.4
24	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl	0.975
25	tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl	0.853
26	tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl	0.931
27	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl	1.643
28	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl	0.85
29	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl	1.667
30	tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl	0.934
31	tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl	1.024
32	tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl	1.424
33	tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl	1.503
34	tpdb-8.0/LP/CUT/Schneider_Kamp_09/star2.pl	1.189
35	tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl	1.633
36	tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl	0.797
37	tpdb-8.0/LP/CUT/Stroeder_09/add1.pl	0.938
38	tpdb-8.0/LP/CUT/Stroeder_09/add2.pl	2.157
39	tpdb-8.0/LP/CUT/Stroeder_09/add3.pl	0.947
40	tpdb-8.0/LP/CUT/Stroeder_09/app1.pl	1.506

««

«

1

2

3

»

Last