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

MAYBE

Average time	3.625
Total time	221.128
# Results	61

Average time	60.017
Total time	14704.058
# Results	245

Average time	7.254
Total time	369.935
# Results	51

NO

Average time
Total time
# Results

Average time	60.016
Total time	3300.896
# Results	55

Average time
Total time
# Results

TIMEOUT

Average time	60.060
Total time	720.721
# Results	12

Average time
Total time
# Results

Average time	60.635
Total time	727.616
# Results	12

YES

Average time	2.923
Total time	663.577
# Results	227

Average time
Total time
# Results

Average time	1.477
Total time	350.078
# Results	237

Actions

Results

««

«

1

2

3

4

5

6

7

8

»

Last

Termination Problem

polytool (2.0)

pTNT (1.0.4)

AProVE (2011-0.1)


1	tpdb-8.0/LP/LP/BCGGV05/ackerman.pl	6.724	60.017	1.063
2	tpdb-8.0/LP/LP/BCGGV05/append-bff.pl	0.631	60.016	0.941
3	tpdb-8.0/LP/LP/BCGGV05/append-ffb.pl	0.63	60.017	0.938
4	tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl	3.002	60.016	1.348
5	tpdb-8.0/LP/LP/BCGGV05/delete-bfb.pl	2.806	60.017	1.346
6	tpdb-8.0/LP/LP/BCGGV05/delete-bff.pl	2.392	60.017	26.306
7	tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl	3.41	60.017	1.86
8	tpdb-8.0/LP/LP/BCGGV05/delete-ffb.pl	3.478	60.016	1.63
9	tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl	0.67	60.016	1.021
10	tpdb-8.0/LP/LP/BCGGV05/delmin-ffb.pl	0.675	60.016	1.046
11	tpdb-8.0/LP/LP/BCGGV05/der-bf.pl	11.747	60.016	2.54
12	tpdb-8.0/LP/LP/BCGGV05/der-fb.pl	59.648	60.017	20.902
13	tpdb-8.0/LP/LP/BCGGV05/factor.pl	2.241	60.017	1.641
14	tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl	1.472	60.017	1.153
15	tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl	1.375	60.016	2.013
16	tpdb-8.0/LP/LP/BCGGV05/flatlength-bbf.pl	1.472	60.017	1.189
17	tpdb-8.0/LP/LP/BCGGV05/flatlength-bfb.pl	1.448	60.017	1.202
18	tpdb-8.0/LP/LP/BCGGV05/flatlength-bff.pl	1.556	60.018	1.212
19	tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl	0.972	60.016	2.63
20	tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl	1.458	60.017	1.639
21	tpdb-8.0/LP/LP/BCGGV05/frontier-bf.pl	1.646	60.016	1.096
22	tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl	1.114	60.016	9.003
23	tpdb-8.0/LP/LP/BCGGV05/g.pl	0.781	60.016	2.219
24	tpdb-8.0/LP/LP/BCGGV05/in-bf.pl	1.08	60.016	20.291
25	tpdb-8.0/LP/LP/BCGGV05/in-fb.pl	2.789	60.015	1.552
26	tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl	2.649	60.017	1.301
27	tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl	1.006	60.016	8.591
28	tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl	2.14	60.016	1.268
29	tpdb-8.0/LP/LP/BCGGV05/insert-bfb.pl	2.139	60.017	1.29
30	tpdb-8.0/LP/LP/BCGGV05/insert-bff.pl	2.22	60.017	17.456
31	tpdb-8.0/LP/LP/BCGGV05/insert-fbf.pl	2.922	60.017	1.576
32	tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl	2.928	60.016	1.669
33	tpdb-8.0/LP/LP/BCGGV05/length1.pl	0.638	60.016	0.954
34	tpdb-8.0/LP/LP/BCGGV05/length.pl	0.629	60.016	0.93
35	tpdb-8.0/LP/LP/BCGGV05/less-bf.pl	0.629	60.017	0.924
36	tpdb-8.0/LP/LP/BCGGV05/less-fb.pl	0.628	60.017	0.939
37	tpdb-8.0/LP/LP/BCGGV05/list.pl	0.621	60.017	0.925
38	tpdb-8.0/LP/LP/BCGGV05/map_color.pl	3.559	60.017	0.881
39	tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl	1.229	60.015	1.025
40	tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl	1.223	60.018	0.988

««

«

1

2

3

4

5

6

7

8

»

Last