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 TRS Relative

Statistics

Result

AProVE (2011-0.1)

TTT2 (2011 fixed)

TTT2 (2011)

MAYBE

Average time
Total time
# Results

Average time	59.511
Total time	416.580
# Results	7

Average time	59.530
Total time	357.179
# Results	6

NO

Average time	1.019
Total time	4.074
# Results	4

Average time	0.843
Total time	1.686
# Results	2

Average time	12.461
Total time	112.147
# Results	9

TIMEOUT

Average time	60.944
Total time	365.664
# Results	6

Average time
Total time
# Results

Average time
Total time
# Results

YES

Average time	14.562
Total time	174.739
# Results	12

Average time	2.373
Total time	16.609
# Results	7

Average time	2.358
Total time	16.503
# Results	7

Actions

Results

Termination Problem

AProVE (2011-0.1)

TTT2 (2011 fixed)

TTT2 (2011)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	60.918	59.558	18.708
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	60.922		59.556
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	1.024	59.47	7.92
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	2.817	3.298	3.091
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	60.882	59.487	12.371
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.919	0.69	0.705
7	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	61.042	59.482	18.046
8	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	1.66	1.855	1.644
9	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	60.886		59.471
10	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	6.838	59.595	27.878
11	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	41.38		59.567
12	tpdb-8.0/TRS/Relative_05/rt1-4.xml	1.091	1.149	1.179
13	tpdb-8.0/TRS/Relative_05/rt2-8.xml	0.903	59.474	10.925
14	tpdb-8.0/TRS/Relative_05/rt3-2.xml	0.968	1.583	1.557
15	tpdb-8.0/TRS/Relative_05/rt3-4.xml	19.495		59.523
16	tpdb-8.0/TRS/Relative_05/rt3-5.xml	5.939	2.123	2.443
17	tpdb-8.0/TRS/Relative_05/rt3-9.xml	1.161	2.057	2.179
18	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	49.226		59.502
19	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	1.228	0.996	1.022
20	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	1.125	4.544	4.41
21	tpdb-8.0/TRS/Relative_05/rtL-pwl.xml	43.039	59.514	14.572
22	tpdb-8.0/TRS/Relative_05/rtL-rw2.xml	61.014		59.56