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	3.555
Total time	46.220
# Results	13

TIMEOUT

Average time	60.373
Total time	60.373
# Results	1

YES

Average time	1.125
Total time	41.640
# Results	37

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl	0.788
2	tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl	1.787
3	tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl	0.957
4	tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl	0.777
5	tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl	1.405
6	tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl	1.603
7	tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl	0.774
8	tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl	1.645
9	tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl	1.625
10	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl	1.703
11	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl	1.791
12	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl	1.216
13	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl	1.877
14	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl	1.037
15	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl	0.786
16	tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl	0.917
17	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl	0.852
18	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl	0.807
19	tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl	1.484
20	tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl	3.098
21	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl	60.373
22	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl	0.965
23	tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl	0.935
24	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl	1.655
25	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl	0.826
26	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl	1.682
27	tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl	0.926
28	tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl	1.487
29	tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl	1.61
30	tpdb-8.0/LP/CUT/Stroeder_09/app2.pl	4.271
31	tpdb-8.0/LP/CUT/Stroeder_09/bappend.pl	1.251
32	tpdb-8.0/LP/CUT/Stroeder_09/blist2.pl	1.091
33	tpdb-8.0/LP/CUT/Stroeder_09/blist.pl	1.069
34	tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl	9.794
35	tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl	1.391
36	tpdb-8.0/LP/CUT/Stroeder_09/btree.pl	1.32
37	tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl	0.776
38	tpdb-8.0/LP/CUT/Stroeder_09/divremain2.pl	1.722
39	tpdb-8.0/LP/CUT/Stroeder_09/duplicate1.pl	0.947
40	tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl	0.979

««

«

1

2

»

Last