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

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

MAYBE

Average time	7.494
Total time	74.938
# Results	10

Average time
Total time
# Results

Average time
Total time
# Results

NO

Average time	0.514
Total time	1.027
# Results	2

Average time	1.095
Total time	3.285
# Results	3

Average time	2.480
Total time	7.439
# Results	3

TIMEOUT

Average time
Total time
# Results

Average time	61.108
Total time	305.538
# Results	5

Average time	60.683
Total time	424.780
# Results	7

YES

Average time	0.899
Total time	8.992
# Results	10

Average time	2.868
Total time	40.147
# Results	14

Average time	4.469
Total time	53.629
# Results	12

Actions

Results

Termination Problem

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	7.549	61.071	60.927
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	7.56	61.188	60.781
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	7.41	1.162	2.457
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	2.641	2.17	3.658
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	7.437	61.002	60.625
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.505	0.872	2.33
7	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	7.427	61.163	60.651
8	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	0.635	1.159	2.536
9	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	7.42	61.114	60.588
10	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	7.592	5.544	20.859
11	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	7.616	5.737	6.623
12	tpdb-8.0/TRS/Relative_05/rt2-1.xml	0.51	0.925	2.435
13	tpdb-8.0/TRS/Relative_05/rt2-2.xml	0.495	0.874	2.317
14	tpdb-8.0/TRS/Relative_05/rt2-3.xml	0.51	0.994	2.431
15	tpdb-8.0/TRS/Relative_05/rt2-5.xml	0.792	0.967	2.479
16	tpdb-8.0/TRS/Relative_05/rt2-7.xml	0.747	1.488	2.493
17	tpdb-8.0/TRS/Relative_05/rt3-2.xml	0.695	0.979	2.595
18	tpdb-8.0/TRS/Relative_05/rt3-7.xml	0.667	1.006	2.621
19	tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml	7.462	5.774	60.579
20	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	7.465	11.397	60.629
21	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	0.522	1.251	2.652
22	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	1.3	1.133	2.582