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

Statistics

Result

polytool (2.0)

AProVE (2011-0.1)

pTNT (1.0.4)

MAYBE

Average time	2.823
Total time	73.395
# Results	26

Average time	4.551
Total time	91.017
# Results	20

Average time	60.018
Total time	6481.913
# Results	108

NO

Average time
Total time
# Results

Average time
Total time
# Results

Average time	60.017
Total time	1320.383
# Results	22

TIMEOUT

Average time	60.052
Total time	300.261
# Results	5

Average time	60.595
Total time	302.976
# Results	5

Average time
Total time
# Results

YES

Average time	3.111
Total time	307.993
# Results	99

Average time	1.588
Total time	166.763
# Results	105

Average time
Total time
# Results

Actions

Results

««

«

1

2

3

4

»

Last

Termination Problem

polytool (2.0)

AProVE (2011-0.1)

pTNT (1.0.4)


1	tpdb-8.0/LP/LP/BCGGV05/append-bff.pl	0.622	0.929	60.026
2	tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl	2.768	1.373	60.017
3	tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl	0.661	1.03	60.017
4	tpdb-8.0/LP/LP/BCGGV05/der-bf.pl	11.684	2.326	60.018
5	tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl	1.317	2.01	60.018
6	tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl	1.05	8.588	60.021
7	tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl	2.115	1.27	60.017
8	tpdb-8.0/LP/LP/BCGGV05/length1.pl	0.628	0.938	60.017
9	tpdb-8.0/LP/LP/BCGGV05/map_color.pl	3.592	0.875	60.018
10	tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl	0.578	1.617	60.018
11	tpdb-8.0/LP/LP/BCGGV05/mult.pl	1.329	1.037	60.016
12	tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl	1.22	1.056	60.018
13	tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl	0.679	1.892	60.016
14	tpdb-8.0/LP/LP/BCGGV05/ordered.pl	1.46	1.225	60.017
15	tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl	2.289	1.306	60.018
16	tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl	4.453	2.122	60.017
17	tpdb-8.0/LP/LP/BCGGV05/prefix-bf.pl	0.64	0.96	60.018
18	tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl	0.636	1.624	60.017
19	tpdb-8.0/LP/LP/BCGGV05/search_tree.pl	2.148	1.53	60.017
20	tpdb-8.0/LP/LP/BCGGV05/select-bff.pl	0.578	1.608	60.017
21	tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl	4.024	1.557	60.016
22	tpdb-8.0/LP/LP/BCGGV05/slowsort-bf.pl	3.975	1.715	60.018
23	tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl	1.32	1.805	60.018
24	tpdb-8.0/LP/LP/BCGGV05/sum-fbf.pl	0.619	0.928	60.018
25	tpdb-8.0/LP/LP/BCGGV05/transpose-fb.pl	18.246	1.692	60.018
26	tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl	2.53	3.102	60.018
27	tpdb-8.0/LP/LP/lpexamples/ackermann.pl	6.802	1.039	60.017
28	tpdb-8.0/LP/LP/lpexamples/average-ioi.pl	1.411	1.017	60.017
29	tpdb-8.0/LP/LP/lpexamples/average.pl	1.498	1.069	60.017
30	tpdb-8.0/LP/LP/lpexamples/lategen.pl	1.323	0.805	60.017
31	tpdb-8.0/LP/LP/lpexamples/log2a.pl	1.809	1.308	60.018
32	tpdb-8.0/LP/LP/lpexamples/log2b-oi.pl	1.148	22.769	60.017
33	tpdb-8.0/LP/LP/lpexamples/log2b.pl	1.567	1.364	60.016
34	tpdb-8.0/LP/LP/lpexamples/mapcolor.pl	1.559	60.753	60.016
35	tpdb-8.0/LP/LP/lpexamples/shapes.pl	60.039	3.889	60.017
36	tpdb-8.0/LP/LP/lpexamples/ts08.pl	0.617	0.955	60.017
37	tpdb-8.0/LP/LP/SGST06/ackermann.pl	6.818	1.036	60.019
38	tpdb-8.0/LP/LP/SGST06/avg-bfb.pl	1.411	1.003	60.017
39	tpdb-8.0/LP/LP/SGST06/bappend.pl	1.25	1.064	60.018
40	tpdb-8.0/LP/LP/SGST06/blist.pl	1.224	0.989	60.017

««

«

1

2

3

4

»

Last