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

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)

MAYBE

Average time	7.489
Total time	74.889
# Results	10

Average time	1.726
Total time	1.726
# Results	1

Average time
Total time
# Results

Average time	59.568
Total time	595.682
# Results	10

NO

Average time	0.533
Total time	1.600
# Results	3

Average time	3.347
Total time	16.735
# Results	5

Average time	1.276
Total time	6.378
# Results	5

Average time	0.831
Total time	2.493
# Results	3

TIMEOUT

Average time
Total time
# Results

Average time	60.900
Total time	365.397
# Results	6

Average time	60.950
Total time	365.702
# Results	6

Average time
Total time
# Results

YES

Average time	1.073
Total time	5.364
# Results	5

Average time	4.459
Total time	26.752
# Results	6

Average time	5.304
Total time	37.130
# Results	7

Average time	1.665
Total time	8.327
# Results	5

Actions

Results

Termination Problem

TTT2Cert (2013_1)

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	7.566	61.296	60.879	59.61
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	7.572	61.139	61.069	59.622
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	7.419	3.353	1.393	59.517
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	2.351	4.659	2.927	3.505
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	7.446	60.87	60.894	59.535
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.527	3.308	1.175	0.762
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	0.696	3.492	1.283	1.636
8	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	7.427	60.735	60.864	59.525
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	7.58	8.33	7.771	59.619
10	tpdb-8.0/TRS/Relative_05/rt2-4.xml	0.519	3.319	1.241	0.882
11	tpdb-8.0/TRS/Relative_05/rt2-5.xml	1.114	3.411	1.189	0.953
12	tpdb-8.0/TRS/Relative_05/rt3-3.xml	7.413	3.144	1.054	59.521
13	tpdb-8.0/TRS/Relative_05/rt3-4.xml	7.419	1.726	21.424	59.569
14	tpdb-8.0/TRS/Relative_05/rt3-7.xml	0.684	3.541	1.295	1.351
15	tpdb-8.0/TRS/Relative_05/rt3-8.xml	0.525	3.197	1.144	0.687
16	tpdb-8.0/TRS/Relative_05/rtL-cbo.xml	7.466	60.608	60.88	59.553
17	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	0.548	3.733	1.612	1.044
18	tpdb-8.0/TRS/Relative_05/rtL-rw2.xml	7.581	60.749	61.116	59.611