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.038
Total time	0.728
# Results	19

Results

««

«

»

»»

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.043
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	TTT2Cert	0.067
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.03
7	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	TTT2Cert	0.036
8	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	AProVE-CeTA	0.149
9	tpdb-8.0/TRS/Relative_05/rt2-4.xml	AProVE-CeTA	0.025
10	tpdb-8.0/TRS/Relative_05/rt2-4.xml	TTT2Cert	0.027
11	tpdb-8.0/TRS/Relative_05/rt2-5.xml	AProVE-CeTA	0.023
12	tpdb-8.0/TRS/Relative_05/rt2-5.xml	TTT2Cert	0.027
13	tpdb-8.0/TRS/Relative_05/rt3-3.xml	AProVE-CeTA	0.023
14	tpdb-8.0/TRS/Relative_05/rt3-7.xml	AProVE-CeTA	0.028
15	tpdb-8.0/TRS/Relative_05/rt3-7.xml	TTT2Cert	0.034
16	tpdb-8.0/TRS/Relative_05/rt3-8.xml	AProVE-CeTA	0.025
17	tpdb-8.0/TRS/Relative_05/rt3-8.xml	TTT2Cert	0.028
18	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	AProVE-CeTA	0.037
19	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	TTT2Cert	0.038