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

AProVE-CeTA (2011-0.1)

TTT2Cert (2011)

FAILEDVALIDATION

Average time
Total time
# Results

Average time	0.490
Total time	0.490
# Results	1

MAYBE

Average time	1.467
Total time	1.467
# Results	1

Average time	7.462
Total time	141.786
# Results	19

NO

Average time	4.712
Total time	37.694
# Results	8

Average time	0.461
Total time	1.382
# Results	3

TIMEOUT

Average time	60.835
Total time	730.022
# Results	12

Average time
Total time
# Results

YES

Average time	3.709
Total time	85.302
# Results	23

Average time	0.821
Total time	17.249
# Results	21

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE-CeTA (2011-0.1)

TTT2Cert (2011)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	61.236	7.55
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	60.821	7.613
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	2.448	7.381
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	4.47	2.114
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	60.973	7.39
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	2.404	0.466
7	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	60.645	7.41
8	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	2.572	0.693
9	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	60.617	7.4
10	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	21.776	7.62
11	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	8.323	7.576
12	tpdb-8.0/TRS/Relative_05/rt1-1.xml	2.333	0.44
13	tpdb-8.0/TRS/Relative_05/rt1-2.xml	2.368	0.466
14	tpdb-8.0/TRS/Relative_05/rt1-3.xml	2.419	0.836
15	tpdb-8.0/TRS/Relative_05/rt1-4.xml	2.421	0.584
16	tpdb-8.0/TRS/Relative_05/rt1-5.xml	2.471	0.758
17	tpdb-8.0/TRS/Relative_05/rt2-1.xml	2.417	0.469
18	tpdb-8.0/TRS/Relative_05/rt2-2.xml	2.324	0.461
19	tpdb-8.0/TRS/Relative_05/rt2-3.xml	2.437	0.575
20	tpdb-8.0/TRS/Relative_05/rt2-4.xml	2.404	0.479
21	tpdb-8.0/TRS/Relative_05/rt2-5.xml	2.488	0.585
22	tpdb-8.0/TRS/Relative_05/rt2-7.xml	2.671	0.617
23	tpdb-8.0/TRS/Relative_05/rt2-8.xml	2.388	7.384
24	tpdb-8.0/TRS/Relative_05/rt3-1.xml	2.528	0.645
25	tpdb-8.0/TRS/Relative_05/rt3-2.xml	2.533	0.647
26	tpdb-8.0/TRS/Relative_05/rt3-3.xml	2.287	7.373
27	tpdb-8.0/TRS/Relative_05/rt3-4.xml	1.467	7.386
28	tpdb-8.0/TRS/Relative_05/rt3-5.xml	3.056	0.747
29	tpdb-8.0/TRS/Relative_05/rt3-6.xml	2.319	0.49
30	tpdb-8.0/TRS/Relative_05/rt3-7.xml	2.603	0.629
31	tpdb-8.0/TRS/Relative_05/rt3-8.xml	2.335	0.449
32	tpdb-8.0/TRS/Relative_05/rt3-9.xml	2.574	0.841
33	tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml	60.66	7.455
34	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	60.92	7.457
35	tpdb-8.0/TRS/Relative_05/rtL-cbo.xml	60.659	7.439
36	tpdb-8.0/TRS/Relative_05/rtL-evnz.xml	20.86	7.431
37	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	2.653	0.467
38	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	2.602	1.074
39	tpdb-8.0/TRS/Relative_05/rtL-me3.xml	2.912	2.292
40	tpdb-8.0/TRS/Relative_05/rtL-pwl.xml	61.151	7.444

««

«

1

2

»

Last