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 Certifying

Statistics

Result

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

MAYBE

Average time	7.443
Total time	74.433
# Results	10

Average time	1.393
Total time	1.393
# Results	1

NO

Average time	0.461
Total time	0.922
# Results	2

Average time	2.404
Total time	9.616
# Results	4

TIMEOUT

Average time
Total time
# Results

Average time	60.849
Total time	304.246
# Results	5

YES

Average time	0.933
Total time	6.530
# Results	7

Average time	5.357
Total time	48.214
# Results	9

Actions

Results

Termination Problem

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	7.497	61.231
2	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	7.369	2.386
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	1.625	4.309
4	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	7.392	60.69
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.447	2.307
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	7.386	60.74
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	0.69	2.481
8	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	7.535	20.263
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	7.511	8.096
10	tpdb-8.0/TRS/Relative_05/rt1-4.xml	0.56	2.425
11	tpdb-8.0/TRS/Relative_05/rt2-8.xml	7.372	2.318
12	tpdb-8.0/TRS/Relative_05/rt3-2.xml	0.635	2.485
13	tpdb-8.0/TRS/Relative_05/rt3-4.xml	7.377	1.393
14	tpdb-8.0/TRS/Relative_05/rt3-5.xml	0.772	3.027
15	tpdb-8.0/TRS/Relative_05/rt3-9.xml	0.85	2.555
16	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	7.415	60.688
17	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	0.475	2.605
18	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	1.398	2.573
19	tpdb-8.0/TRS/Relative_05/rtL-pwl.xml	7.579	60.897