termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Certification Results for TRS Relative Certifying

Statistics

Certification

CeTA (1.19)

ACCEPT

Average time	0.052
Total time	2.832
# Results	54

UNSUPPORTED

Average time	0.028
Total time	0.028
# Results	1

Results

««

«

1

2

»

Last

Termination problem

Proved by

CeTA (1.19)


1	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	AProVE-CeTA	0.024
2	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	TTT2Cert	0.134
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	AProVE-CeTA	0.047
4	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	TTT2Cert	0.029
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	AProVE-CeTA	0.03
6	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	TTT2Cert	0.071
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	AProVE-CeTA	0.029
8	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	AProVE-CeTA	0.269
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	AProVE-CeTA	0.165
10	tpdb-8.0/TRS/Relative_05/rt1-1.xml	TTT2Cert	0.033
11	tpdb-8.0/TRS/Relative_05/rt1-1.xml	AProVE-CeTA	0.019
12	tpdb-8.0/TRS/Relative_05/rt1-2.xml	TTT2Cert	0.038
13	tpdb-8.0/TRS/Relative_05/rt1-2.xml	AProVE-CeTA	0.02
14	tpdb-8.0/TRS/Relative_05/rt1-3.xml	AProVE-CeTA	0.026
15	tpdb-8.0/TRS/Relative_05/rt1-3.xml	TTT2Cert	0.065
16	tpdb-8.0/TRS/Relative_05/rt1-4.xml	TTT2Cert	0.04
17	tpdb-8.0/TRS/Relative_05/rt1-4.xml	AProVE-CeTA	0.025
18	tpdb-8.0/TRS/Relative_05/rt1-5.xml	TTT2Cert	0.064
19	tpdb-8.0/TRS/Relative_05/rt1-5.xml	AProVE-CeTA	0.026
20	tpdb-8.0/TRS/Relative_05/rt2-1.xml	TTT2Cert	0.029
21	tpdb-8.0/TRS/Relative_05/rt2-1.xml	AProVE-CeTA	0.023
22	tpdb-8.0/TRS/Relative_05/rt2-2.xml	TTT2Cert	0.038
23	tpdb-8.0/TRS/Relative_05/rt2-2.xml	AProVE-CeTA	0.02
24	tpdb-8.0/TRS/Relative_05/rt2-3.xml	TTT2Cert	0.084
25	tpdb-8.0/TRS/Relative_05/rt2-3.xml	AProVE-CeTA	0.024
26	tpdb-8.0/TRS/Relative_05/rt2-4.xml	TTT2Cert	0.042
27	tpdb-8.0/TRS/Relative_05/rt2-4.xml	AProVE-CeTA	0.023
28	tpdb-8.0/TRS/Relative_05/rt2-5.xml	TTT2Cert	0.028
29	tpdb-8.0/TRS/Relative_05/rt2-5.xml	AProVE-CeTA	0.021
30	tpdb-8.0/TRS/Relative_05/rt2-7.xml	TTT2Cert	0.029
31	tpdb-8.0/TRS/Relative_05/rt2-7.xml	AProVE-CeTA	0.022
32	tpdb-8.0/TRS/Relative_05/rt2-8.xml	AProVE-CeTA	0.022
33	tpdb-8.0/TRS/Relative_05/rt3-1.xml	TTT2Cert	0.055
34	tpdb-8.0/TRS/Relative_05/rt3-1.xml	AProVE-CeTA	0.026
35	tpdb-8.0/TRS/Relative_05/rt3-2.xml	AProVE-CeTA	0.025
36	tpdb-8.0/TRS/Relative_05/rt3-2.xml	TTT2Cert	0.04
37	tpdb-8.0/TRS/Relative_05/rt3-3.xml	AProVE-CeTA	0.021
38	tpdb-8.0/TRS/Relative_05/rt3-5.xml	TTT2Cert	0.035
39	tpdb-8.0/TRS/Relative_05/rt3-5.xml	AProVE-CeTA	0.027
40	tpdb-8.0/TRS/Relative_05/rt3-6.xml	AProVE-CeTA	0.021