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)

pTNT (1.0.4)

AProVE (TC 2012)

MAYBE

Average time	2.442
Total time	56.165
# Results	23

Average time	60.018
Total time	6601.979
# Results	110

Average time	5.481
Total time	104.148
# Results	19

NO

Average time
Total time
# Results

Average time	60.018
Total time	1200.359
# Results	20

Average time
Total time
# Results

TIMEOUT

Average time	60.041
Total time	180.124
# Results	3

Average time
Total time
# Results

Average time	60.752
Total time	182.256
# Results	3

YES

Average time	2.672
Total time	277.838
# Results	104

Average time
Total time
# Results

Average time	1.323
Total time	142.933
# Results	108

Actions

Results

««

«

1

2

3

4

»

Last

Termination Problem

polytool (2.0)

pTNT (1.0.4)

AProVE (TC 2012)


1	tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl	3.569	60.02	1.608
2	tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl	1.43	60.018	2.052
3	tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl	1.491	60.019	1.688
4	tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl	1.184	60.018	4.669
5	tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl	2.655	60.019	1.13
6	tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl	1.078	60.017	4.44
7	tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl	3.04	60.017	1.552
8	tpdb-8.0/LP/LP/BCGGV05/less-fb.pl	0.641	60.017	0.963
9	tpdb-8.0/LP/LP/BCGGV05/list.pl	0.636	60.018	0.961
10	tpdb-8.0/LP/LP/BCGGV05/map_color.pl	3.587	60.018	0.946
11	tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl	1.263	60.019	1.049
12	tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl	1.252	60.02	1.05
13	tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl	1.269	60.018	1.095
14	tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl	0.659	60.018	1.868
15	tpdb-8.0/LP/LP/BCGGV05/numeral.pl	0.635	60.017	0.955
16	tpdb-8.0/LP/LP/BCGGV05/palindrome.pl	0.714	60.019	1.043
17	tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl	4.705	60.019	2.529
18	tpdb-8.0/LP/LP/BCGGV05/quicksort-fb.pl	0.937	60.019	13.101
19	tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl	0.666	60.018	1.603
20	tpdb-8.0/LP/LP/BCGGV05/select-bff.pl	0.65	60.018	1.652
21	tpdb-8.0/LP/LP/BCGGV05/select-ffb.pl	0.656	60.017	0.999
22	tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl	4.27	60.018	1.481
23	tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl	1.372	60.017	1.792
24	tpdb-8.0/LP/LP/BCGGV05/suffix-fb.pl	0.663	60.018	0.996
25	tpdb-8.0/LP/LP/BCGGV05/transpose-bf.pl	13.813	60.017	1.18
26	tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl	2.427	60.018	3.38
27	tpdb-8.0/LP/LP/lpexamples/ackermann.pl	5.183	60.018	1.064
28	tpdb-8.0/LP/LP/lpexamples/average-ioi.pl	1.467	60.018	1.071
29	tpdb-8.0/LP/LP/lpexamples/average.pl	1.564	60.017	1.137
30	tpdb-8.0/LP/LP/lpexamples/lategen.pl	1.424	60.018	0.837
31	tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl	0.839	60.018	2.294
32	tpdb-8.0/LP/LP/lpexamples/log2a.pl	1.91	60.018	1.356
33	tpdb-8.0/LP/LP/lpexamples/log2b.pl	1.656	60.019	1.34
34	tpdb-8.0/LP/LP/lpexamples/mergesort-oi.pl	9.216	60.018	4.51
35	tpdb-8.0/LP/LP/lpexamples/shapes.pl	60.041	60.018	2.852
36	tpdb-8.0/LP/LP/lpexamples/ts08.pl	0.653	60.018	1.011
37	tpdb-8.0/LP/LP/SGST06/applast.pl	2.08	60.018	1.212
38	tpdb-8.0/LP/LP/SGST06/avg-bfb.pl	1.462	60.02	1.045
39	tpdb-8.0/LP/LP/SGST06/avg.pl	0.957	60.018	1.14
40	tpdb-8.0/LP/LP/SGST06/cconfdel.pl	2.53	60.018	1.35

««

«

1

2

3

4

»

Last