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.7)

ACCEPT

Average time	0.067
Total time	1.822
# Results	27

Results

««

«

»

»»

Termination problem

Proved by

CeTA (2.7)


1	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	AProVE-CeTA	0.026
2	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	AProVE-CeTA	0.045
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	TTT2Cert	0.163
4	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	AProVE-CeTA	0.029
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	TTT2Cert	0.031
6	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	AProVE-CeTA	0.029
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	TTT2Cert	0.067
8	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	AProVE-CeTA	0.242
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	AProVE-CeTA	0.151
10	tpdb-8.0/TRS/Relative_05/rt2-1.xml	AProVE-CeTA	0.024
11	tpdb-8.0/TRS/Relative_05/rt2-1.xml	TTT2Cert	0.03
12	tpdb-8.0/TRS/Relative_05/rt2-2.xml	AProVE-CeTA	0.021
13	tpdb-8.0/TRS/Relative_05/rt2-2.xml	TTT2Cert	0.039
14	tpdb-8.0/TRS/Relative_05/rt2-3.xml	AProVE-CeTA	0.025
15	tpdb-8.0/TRS/Relative_05/rt2-3.xml	TTT2Cert	0.032
16	tpdb-8.0/TRS/Relative_05/rt2-5.xml	AProVE-CeTA	0.024
17	tpdb-8.0/TRS/Relative_05/rt2-5.xml	TTT2Cert	0.028
18	tpdb-8.0/TRS/Relative_05/rt2-7.xml	AProVE-CeTA	0.023
19	tpdb-8.0/TRS/Relative_05/rt2-7.xml	TTT2Cert	0.03
20	tpdb-8.0/TRS/Relative_05/rt3-2.xml	AProVE-CeTA	0.025
21	tpdb-8.0/TRS/Relative_05/rt3-2.xml	TTT2Cert	0.041
22	tpdb-8.0/TRS/Relative_05/rt3-7.xml	AProVE-CeTA	0.031
23	tpdb-8.0/TRS/Relative_05/rt3-7.xml	TTT2Cert	0.048
24	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	AProVE-CeTA	0.036
25	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	TTT2Cert	0.038
26	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	AProVE-CeTA	0.039
27	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	TTT2Cert	0.505