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.072
Total time	1.580
# Results	22

Results

««

«

»

»»

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	AProVE-CeTA	0.046
3	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	TTT2Cert	0.08
4	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	AProVE-CeTA	0.031
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.082
8	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	AProVE-CeTA	0.273
9	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	AProVE-CeTA	0.168
10	tpdb-8.0/TRS/Relative_05/rt1-4.xml	AProVE-CeTA	0.023
11	tpdb-8.0/TRS/Relative_05/rt1-4.xml	TTT2Cert	0.04
12	tpdb-8.0/TRS/Relative_05/rt2-8.xml	AProVE-CeTA	0.023
13	tpdb-8.0/TRS/Relative_05/rt3-2.xml	AProVE-CeTA	0.024
14	tpdb-8.0/TRS/Relative_05/rt3-2.xml	TTT2Cert	0.05
15	tpdb-8.0/TRS/Relative_05/rt3-5.xml	AProVE-CeTA	0.026
16	tpdb-8.0/TRS/Relative_05/rt3-5.xml	TTT2Cert	0.035
17	tpdb-8.0/TRS/Relative_05/rt3-9.xml	AProVE-CeTA	0.029
18	tpdb-8.0/TRS/Relative_05/rt3-9.xml	TTT2Cert	0.07
19	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	AProVE-CeTA	0.037
20	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	TTT2Cert	0.039
21	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	AProVE-CeTA	0.039
22	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	TTT2Cert	0.381