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

pTNT (1.0.4)

MAYBE

Average time	2.262
Total time	52.015
# Results	23

Average time	5.828
Total time	134.038
# Results	23

Average time	60.018
Total time	4501.366
# Results	75

NO

Average time
Total time
# Results

Average time
Total time
# Results

Average time	60.018
Total time	1260.378
# Results	21

TIMEOUT

Average time	60.047
Total time	360.280
# Results	6

Average time	60.525
Total time	121.049
# Results	2

Average time
Total time
# Results

YES

Average time	3.062
Total time	205.121
# Results	67

Average time	1.901
Total time	134.956
# Results	71

Average time
Total time
# Results

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

polytool (2.0)

AProVE (TC 2013)

pTNT (1.0.4)


1	tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl	1.781	2.054	60.02
2	tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl	1.258	2.463	60.017
3	tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl	1.881	2.053	60.017
4	tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl	1.46	6.832	60.017
5	tpdb-8.0/LP/LP/BCGGV05/g.pl	0.981	2.703	60.018
6	tpdb-8.0/LP/LP/BCGGV05/in-bf.pl	1.367	2.976	60.019
7	tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl	1.354	6.865	60.018
8	tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl	1.614	1.459	60.019
9	tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl	0.741	2.035	60.019
10	tpdb-8.0/LP/LP/BCGGV05/parse.pl	12.409	2.096	60.018
11	tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl	3.061	1.66	60.017
12	tpdb-8.0/LP/LP/BCGGV05/permutation-fb.pl	2.046	2.424	60.019
13	tpdb-8.0/LP/LP/BCGGV05/prefix-fb.pl	0.847	1.367	60.017
14	tpdb-8.0/LP/LP/BCGGV05/tree_member-bf.pl	0.772	2.062	60.018
15	tpdb-8.0/LP/LP/lpexamples/average-ioi.pl	1.838	1.419	60.017
16	tpdb-8.0/LP/LP/lpexamples/average.pl	1.956	1.437	60.018
17	tpdb-8.0/LP/LP/lpexamples/lategen.pl	1.722	1.139	60.017
18	tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl	1.009	5.264	60.017
19	tpdb-8.0/LP/LP/lpexamples/log2a.pl	2.366	1.741	60.018
20	tpdb-8.0/LP/LP/lpexamples/log2b.pl	2.109	1.802	60.018
21	tpdb-8.0/LP/LP/lpexamples/mapcolor.pl	1.919	4.494	60.019
22	tpdb-8.0/LP/LP/lpexamples/mergesort.pl	12.601	3.991	60.019
23	tpdb-8.0/LP/LP/lpexamples/ts08.pl	0.834	1.37	60.019
24	tpdb-8.0/LP/LP/SGST06/ackermann.pl	5.811	1.428	60.019
25	tpdb-8.0/LP/LP/SGST06/blist.pl	1.623	1.406	60.017
26	tpdb-8.0/LP/LP/SGST06/gopher.pl	0.983	1.378	60.019
27	tpdb-8.0/LP/LP/SGST06/ifdiv.pl	60.056	26.687	60.019
28	tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl	0.052	1.108	60.018
29	tpdb-8.0/LP/LP/SGST06/paper1.pl	0.952	1.322	60.018
30	tpdb-8.0/LP/LP/SGST06/p.pl	5.008	2.071	60.028
31	tpdb-8.0/LP/LP/SGST06/psk09-maxsort-bool-nocut.pl	60.057	11.44	60.019
32	tpdb-8.0/LP/LP/SGST06/quot.pl	2.022	1.385	60.018
33	tpdb-8.0/LP/LP/SGST06/snake.pl	8.06	60.356	60.017
34	tpdb-8.0/LP/LP/talp_apt/list.pl	0.752	1.305	60.018
35	tpdb-8.0/LP/LP/talp_apt/lte.pl	1.635	1.404	60.018
36	tpdb-8.0/LP/LP/talp_apt/mergesort.pl	60.052	5.897	60.017
37	tpdb-8.0/LP/LP/talp_apt/naive_rev-oi.pl	0.794	2.582	60.018
38	tpdb-8.0/LP/LP/talp_apt/overlap.pl	1.65	1.401	60.018
39	tpdb-8.0/LP/LP/talp_apt/permutation.pl	2.995	1.666	60.018
40	tpdb-8.0/LP/LP/talp_apt/select1.pl	0.81	1.333	60.018

««

«

1

2

3

»

Last