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 (TC 2012)

MAYBE

Average time	5.623
Total time	61.852
# Results	11

TIMEOUT

Average time	60.435
Total time	120.870
# Results	2

YES

Average time	1.130
Total time	42.941
# Results	38

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (TC 2012)


1	tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl	0.838
2	tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl	1.694
3	tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl	1.03
4	tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl	0.834
5	tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl	1.478
6	tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl	1.611
7	tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl	0.824
8	tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl	1.67
9	tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl	1.668
10	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl	1.668
11	tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl	1.439
12	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl	1.133
13	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl	1.609
14	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl	1.046
15	tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl	0.855
16	tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl	0.974
17	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl	0.922
18	tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl	0.851
19	tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl	1.047
20	tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl	1.315
21	tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl	2.155
22	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl	60.337
23	tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl	1.036
24	tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl	0.984
25	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl	1.648
26	tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl	0.89
27	tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl	1.075
28	tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl	1.551
29	tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl	0.831
30	tpdb-8.0/LP/CUT/Stroeder_09/add1.pl	0.984
31	tpdb-8.0/LP/CUT/Stroeder_09/add2.pl	2.167
32	tpdb-8.0/LP/CUT/Stroeder_09/add3.pl	1.014
33	tpdb-8.0/LP/CUT/Stroeder_09/app3.pl	1.046
34	tpdb-8.0/LP/CUT/Stroeder_09/average1.pl	37.175
35	tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl	5.754
36	tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl	1.301
37	tpdb-8.0/LP/CUT/Stroeder_09/convert.pl	1.857
38	tpdb-8.0/LP/CUT/Stroeder_09/countstack2.pl	1.389
39	tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl	0.832
40	tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl	1.52

««

«

1

2

»

Last