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

ACCEPT

Average time	0.488
Total time	16.119
# Results	33

Results

««

«

»

»»

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	AProVE-CeTA	3.446
2	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	AProVE-CeTA	3.745
3	tpdb-8.0/TRS/ICFP_2010_relative/139185.xml	AProVE-CeTA	3.302
4	tpdb-8.0/TRS/ICFP_2010_relative/139378.xml	AProVE-CeTA	4.444
5	tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml	AProVE-CeTA	0.094
6	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	AProVE-CeTA	0.029
7	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	TTT2Cert	0.034
8	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	AProVE-CeTA	0.046
9	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	TTT2Cert	0.063
10	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	AProVE-CeTA	0.062
11	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	TTT2Cert	0.1
12	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	AProVE-CeTA	0.025
13	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	TTT2Cert	0.027
14	tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml	AProVE-CeTA	0.028
15	tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml	TTT2Cert	0.033
16	tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	TTT2Cert	0.024
17	tpdb-8.0/TRS/Waldmann_06_relative/r3.xml	TTT2Cert	0.026
18	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	AProVE-CeTA	0.031
19	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	TTT2Cert	0.029
20	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	AProVE-CeTA	0.037
21	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	TTT2Cert	0.037
22	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	AProVE-CeTA	0.027
23	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	TTT2Cert	0.032
24	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	AProVE-CeTA	0.039
25	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	TTT2Cert	0.038
26	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	AProVE-CeTA	0.032
27	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	TTT2Cert	0.042
28	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	AProVE-CeTA	0.031
29	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	TTT2Cert	0.052
30	tpdb-8.0/TRS/Zantema_06_relative/rel10.xml	AProVE-CeTA	0.031
31	tpdb-8.0/TRS/Zantema_06_relative/rel10.xml	TTT2Cert	0.036
32	tpdb-8.0/TRS/Zantema_06_relative/rel13.xml	AProVE-CeTA	0.045
33	tpdb-8.0/TRS/Zantema_06_relative/rel13.xml	TTT2Cert	0.052