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

Statistics

Certification

CeTA (2.10)

ACCEPT

Average time	0.041
Total time	2.277
# Results	56

Results

««

«

1

2

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	AProVE-CeTA	0.025
2	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	AProVE-CeTA	0.044
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	TTT2Cert	0.068
4	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	AProVE-CeTA	0.03
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	TTT2Cert	0.033
6	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	AProVE-CeTA	0.027
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	TTT2Cert	0.035
8	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	AProVE-CeTA	0.237
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	AProVE-CeTA	0.15
10	tpdb-8.0/TRS/Relative_05/rt1-1.xml	AProVE-CeTA	0.022
11	tpdb-8.0/TRS/Relative_05/rt1-1.xml	TTT2Cert	0.029
12	tpdb-8.0/TRS/Relative_05/rt1-2.xml	AProVE-CeTA	0.023
13	tpdb-8.0/TRS/Relative_05/rt1-2.xml	TTT2Cert	0.029
14	tpdb-8.0/TRS/Relative_05/rt1-3.xml	AProVE-CeTA	0.029
15	tpdb-8.0/TRS/Relative_05/rt1-3.xml	TTT2Cert	0.042
16	tpdb-8.0/TRS/Relative_05/rt1-4.xml	AProVE-CeTA	0.025
17	tpdb-8.0/TRS/Relative_05/rt1-4.xml	TTT2Cert	0.032
18	tpdb-8.0/TRS/Relative_05/rt1-5.xml	AProVE-CeTA	0.027
19	tpdb-8.0/TRS/Relative_05/rt1-5.xml	TTT2Cert	0.043
20	tpdb-8.0/TRS/Relative_05/rt2-1.xml	AProVE-CeTA	0.024
21	tpdb-8.0/TRS/Relative_05/rt2-1.xml	TTT2Cert	0.028
22	tpdb-8.0/TRS/Relative_05/rt2-2.xml	AProVE-CeTA	0.022
23	tpdb-8.0/TRS/Relative_05/rt2-2.xml	TTT2Cert	0.03
24	tpdb-8.0/TRS/Relative_05/rt2-3.xml	AProVE-CeTA	0.025
25	tpdb-8.0/TRS/Relative_05/rt2-3.xml	TTT2Cert	0.044
26	tpdb-8.0/TRS/Relative_05/rt2-4.xml	AProVE-CeTA	0.025
27	tpdb-8.0/TRS/Relative_05/rt2-4.xml	TTT2Cert	0.033
28	tpdb-8.0/TRS/Relative_05/rt2-5.xml	AProVE-CeTA	0.024
29	tpdb-8.0/TRS/Relative_05/rt2-5.xml	TTT2Cert	0.026
30	tpdb-8.0/TRS/Relative_05/rt2-7.xml	AProVE-CeTA	0.024
31	tpdb-8.0/TRS/Relative_05/rt2-7.xml	TTT2Cert	0.026
32	tpdb-8.0/TRS/Relative_05/rt2-8.xml	AProVE-CeTA	0.024
33	tpdb-8.0/TRS/Relative_05/rt3-1.xml	AProVE-CeTA	0.027
34	tpdb-8.0/TRS/Relative_05/rt3-1.xml	TTT2Cert	0.031
35	tpdb-8.0/TRS/Relative_05/rt3-2.xml	AProVE-CeTA	0.026
36	tpdb-8.0/TRS/Relative_05/rt3-2.xml	TTT2Cert	0.031
37	tpdb-8.0/TRS/Relative_05/rt3-3.xml	AProVE-CeTA	0.022
38	tpdb-8.0/TRS/Relative_05/rt3-5.xml	AProVE-CeTA	0.028
39	tpdb-8.0/TRS/Relative_05/rt3-5.xml	TTT2Cert	0.031
40	tpdb-8.0/TRS/Relative_05/rt3-6.xml	AProVE-CeTA	0.022