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 Certifying

Statistics

Certification

CeTA (1.19)

ACCEPT

Average time	0.228
Total time	8.885
# Results	39

TIMEOUT

Average time	60.030
Total time	120.059
# Results	2

UNSUPPORTED

Average time	0.044
Total time	0.132
# Results	3

Results

««

«

1

2

»

Last

Termination problem

Proved by

CeTA (1.19)


1	tpdb-8.0/TRS/ICFP_2010_relative/259405.xml	AProVE-CeTA	5.731
2	tpdb-8.0/TRS/ICFP_2010_relative/28464.xml	TTT2Cert	1.299
3	tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml	TTT2Cert	0.141
4	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	AProVE-CeTA	0.032
5	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	TTT2Cert	0.059
6	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	AProVE-CeTA	0.053
7	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	TTT2Cert	60.03
8	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	AProVE-CeTA	0.022
9	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	TTT2Cert	0.029
10	tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml	AProVE-CeTA	0.081
11	tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml	TTT2Cert	0.225
12	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	AProVE-CeTA	0.022
13	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	TTT2Cert	0.028
14	tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml	AProVE-CeTA	0.023
15	tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml	TTT2Cert	60.029
16	tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml	AProVE-CeTA	0.029
17	tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml	TTT2Cert	0.044
18	tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml	AProVE-CeTA	0.034
19	tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml	TTT2Cert	0.046
20	tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	TTT2Cert	0.023
21	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	AProVE-CeTA	0.03
22	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	TTT2Cert	0.032
23	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	AProVE-CeTA	0.039
24	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	TTT2Cert	0.062
25	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	AProVE-CeTA	0.028
26	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	TTT2Cert	0.039
27	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	AProVE-CeTA	0.04
28	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	TTT2Cert	0.066
29	tpdb-8.0/TRS/Waldmann_06_relative/r9.xml	AProVE-CeTA	0.035
30	tpdb-8.0/TRS/Waldmann_06_relative/r9.xml	TTT2Cert	0.039
31	tpdb-8.0/TRS/Zantema_06_relative/rel01.xml	AProVE-CeTA	0.027
32	tpdb-8.0/TRS/Zantema_06_relative/rel01.xml	TTT2Cert	0.042
33	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	AProVE-CeTA	0.037
34	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	TTT2Cert	0.063
35	tpdb-8.0/TRS/Zantema_06_relative/rel05.xml	AProVE-CeTA	0.035
36	tpdb-8.0/TRS/Zantema_06_relative/rel05.xml	TTT2Cert	0.061
37	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	AProVE-CeTA	0.032
38	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	TTT2Cert	0.074
39	tpdb-8.0/TRS/Zantema_06_relative/rel09.xml	AProVE-CeTA	0.038
40	tpdb-8.0/TRS/Zantema_06_relative/rel09.xml	TTT2Cert	0.059