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 SRS Relative

Statistics

Certification

CeTA (2.7)

ACCEPT

Average time	0.948
Total time	50.228
# Results	53

Results

««

«

1

2

»

Last

Termination problem

Proved by

CeTA (2.7)


1	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	AProVE-CeTA	4.151
2	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	AProVE-CeTA	3.168
3	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	AProVE-CeTA	3.979
4	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	AProVE-CeTA	4.261
5	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	AProVE-CeTA	4.559
6	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	AProVE-CeTA	3.135
7	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	AProVE-CeTA	5.445
8	tpdb-8.0/TRS/ICFP_2010_relative/138993.xml	AProVE-CeTA	4.686
9	tpdb-8.0/TRS/ICFP_2010_relative/139018.xml	AProVE-CeTA	4.447
10	tpdb-8.0/TRS/ICFP_2010_relative/139180.xml	AProVE-CeTA	3.11
11	tpdb-8.0/TRS/ICFP_2010_relative/139310.xml	AProVE-CeTA	3.55
12	tpdb-8.0/TRS/ICFP_2010_relative/140318.xml	AProVE-CeTA	3.922
13	tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml	AProVE-CeTA	0.031
14	tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml	TTT2Cert	0.05
15	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	AProVE-CeTA	0.024
16	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	TTT2Cert	0.029
17	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	AProVE-CeTA	0.07
18	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	TTT2Cert	0.183
19	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	AProVE-CeTA	0.023
20	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	TTT2Cert	0.03
21	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	AProVE-CeTA	0.024
22	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	TTT2Cert	0.029
23	tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml	AProVE-CeTA	0.03
24	tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml	TTT2Cert	0.041
25	tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml	AProVE-CeTA	0.028
26	tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml	TTT2Cert	0.052
27	tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml	AProVE-CeTA	0.029
28	tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml	TTT2Cert	0.044
29	tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml	AProVE-CeTA	0.035
30	tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml	TTT2Cert	0.034
31	tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	TTT2Cert	0.024
32	tpdb-8.0/TRS/Waldmann_06_relative/r3.xml	TTT2Cert	0.026
33	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	AProVE-CeTA	0.03
34	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	TTT2Cert	0.036
35	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	AProVE-CeTA	0.039
36	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	TTT2Cert	0.06
37	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	AProVE-CeTA	0.028
38	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	TTT2Cert	0.041
39	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	AProVE-CeTA	0.041
40	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	TTT2Cert	0.064