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 (1.8)

MAYBE

Average time	5.518
Total time	137.949
# Results	25

Average time	14.301
Total time	300.323
# Results	21

TIMEOUT

Average time	60.175
Total time	240.698
# Results	4

Average time	60.808
Total time	121.616
# Results	2

YES

Average time	2.368
Total time	222.612
# Results	94

Average time	2.281
Total time	228.081
# Results	100

Actions

Results

««

«

1

2

3

4

»

Last

Termination Problem

polytool (2.0)

AProVE (1.8)


1	tpdb-8.0/LP/LP/BCGGV05/ackerman.pl	5.025	1.871
2	tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl	3.602	2.661
3	tpdb-8.0/LP/LP/BCGGV05/delete-ffb.pl	3.61	2.497
4	tpdb-8.0/LP/LP/BCGGV05/der-bf.pl	9.873	3.251
5	tpdb-8.0/LP/LP/BCGGV05/der-fb.pl	59.991	31.209
6	tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl	1.434	2.079
7	tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl	1.485	3.878
8	tpdb-8.0/LP/LP/BCGGV05/g.pl	0.841	5.043
9	tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl	2.646	1.935
10	tpdb-8.0/LP/LP/BCGGV05/insert-bff.pl	2.381	56.05
11	tpdb-8.0/LP/LP/BCGGV05/length.pl	0.634	1.742
12	tpdb-8.0/LP/LP/BCGGV05/less-fb.pl	0.63	1.736
13	tpdb-8.0/LP/LP/BCGGV05/list.pl	0.624	1.738
14	tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl	1.195	1.863
15	tpdb-8.0/LP/LP/BCGGV05/member-fb.pl	0.629	1.75
16	tpdb-8.0/LP/LP/BCGGV05/mult.pl	1.305	1.864
17	tpdb-8.0/LP/LP/BCGGV05/numeral.pl	0.623	1.741
18	tpdb-8.0/LP/LP/BCGGV05/palindrome.pl	0.705	1.799
19	tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl	4.142	2.448
20	tpdb-8.0/LP/LP/BCGGV05/slowsort-fb.pl	4.313	4.549
21	tpdb-8.0/LP/LP/BCGGV05/sublist-fb.pl	0.713	1.819
22	tpdb-8.0/LP/LP/BCGGV05/t.pl	3.09	2.204
23	tpdb-8.0/LP/LP/BCGGV05/transpose-bb.pl	4.776	1.919
24	tpdb-8.0/LP/LP/BCGGV05/tree_member-fb.pl	0.687	1.846
25	tpdb-8.0/LP/LP/BCGGV05/tree.pl	0.792	1.838
26	tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl	2.56	37.385
27	tpdb-8.0/LP/LP/lpexamples/ackermann.pl	5.12	1.859
28	tpdb-8.0/LP/LP/lpexamples/average-ioi.pl	1.499	1.8
29	tpdb-8.0/LP/LP/lpexamples/average.pl	1.587	2.096
30	tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl	0.822	7.61
31	tpdb-8.0/LP/LP/lpexamples/log2b-oi.pl	1.182	60.931
32	tpdb-8.0/LP/LP/lpexamples/log2b.pl	1.657	2.145
33	tpdb-8.0/LP/LP/lpexamples/mapcolor.pl	1.678	60.685
34	tpdb-8.0/LP/LP/lpexamples/mergesort.pl	15.896	3.543
35	tpdb-8.0/LP/LP/lpexamples/shapes.pl	60.154	4.641
36	tpdb-8.0/LP/LP/SGST06/at.pl	0.103	1.755
37	tpdb-8.0/LP/LP/SGST06/avg-bfb.pl	1.497	1.829
38	tpdb-8.0/LP/LP/SGST06/blist.pl	1.305	1.856
39	tpdb-8.0/LP/LP/SGST06/btappend.pl	1.451	2.008
40	tpdb-8.0/LP/LP/SGST06/cconfdel.pl	2.652	2.195

««

«

1

2

3

4

»

Last