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 Standard

Statistics

Certification

CeTA (2.10)

ACCEPT

Average time	0.083
Total time	21.861
# Results	263

REJECT

Average time	0.192
Total time	0.192
# Results	1

Results

««

«

1

2

3

4

5

6

7

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-CeTA	0.033
2	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.029
3	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.033
4	tpdb-8.0/TRS/Bouchare_06/03.xml	AProVE-CeTA	0.032
5	tpdb-8.0/TRS/Bouchare_06/03.xml	TTT2Cert	0.033
6	tpdb-8.0/TRS/Bouchare_06/03.xml	TTT2Cert	0.032
7	tpdb-8.0/TRS/Bouchare_06/06.xml	AProVE-CeTA	0.031
8	tpdb-8.0/TRS/Bouchare_06/06.xml	TTT2Cert	0.035
9	tpdb-8.0/TRS/Bouchare_06/06.xml	TTT2Cert	0.034
10	tpdb-8.0/TRS/Bouchare_06/08.xml	AProVE-CeTA	0.027
11	tpdb-8.0/TRS/Bouchare_06/08.xml	TTT2Cert	0.027
12	tpdb-8.0/TRS/Bouchare_06/08.xml	TTT2Cert	0.028
13	tpdb-8.0/TRS/Bouchare_06/10.xml	AProVE-CeTA	0.055
14	tpdb-8.0/TRS/Bouchare_06/10.xml	TTT2Cert	0.029
15	tpdb-8.0/TRS/Bouchare_06/10.xml	TTT2Cert	0.029
16	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-CeTA	0.044
17	tpdb-8.0/TRS/Bouchare_06/12.xml	TTT2Cert	0.03
18	tpdb-8.0/TRS/Bouchare_06/12.xml	TTT2Cert	0.03
19	tpdb-8.0/TRS/Bouchare_06/13.xml	AProVE-CeTA	0.034
20	tpdb-8.0/TRS/Bouchare_06/13.xml	TTT2Cert	0.031
21	tpdb-8.0/TRS/Bouchare_06/13.xml	TTT2Cert	0.031
22	tpdb-8.0/TRS/Bouchare_06/14.xml	AProVE-CeTA	0.038
23	tpdb-8.0/TRS/Bouchare_06/14.xml	TTT2Cert	0.032
24	tpdb-8.0/TRS/Bouchare_06/14.xml	TTT2Cert	0.031
25	tpdb-8.0/TRS/Bouchare_06/18.xml	AProVE-CeTA	0.035
26	tpdb-8.0/TRS/Bouchare_06/18.xml	TTT2Cert	0.035
27	tpdb-8.0/TRS/Bouchare_06/18.xml	TTT2Cert	0.034
28	tpdb-8.0/TRS/Gebhardt_06/07.xml	AProVE-CeTA	0.029
29	tpdb-8.0/TRS/Gebhardt_06/09.xml	AProVE-CeTA	0.036
30	tpdb-8.0/TRS/Gebhardt_06/09.xml	TTT2Cert	0.039
31	tpdb-8.0/TRS/Gebhardt_06/09.xml	TTT2Cert	0.045
32	tpdb-8.0/TRS/Gebhardt_06/14.xml	AProVE-CeTA	0.032
33	tpdb-8.0/TRS/ICFP_2010/139180.xml	AProVE-CeTA	3.013
34	tpdb-8.0/TRS/ICFP_2010/142146.xml	AProVE-CeTA	2.862
35	tpdb-8.0/TRS/ICFP_2010/188674.xml	AProVE-CeTA	3.143
36	tpdb-8.0/TRS/ICFP_2010/26103.xml	AProVE-CeTA	0.159
37	tpdb-8.0/TRS/ICFP_2010/26103.xml	TTT2Cert	0.067
38	tpdb-8.0/TRS/ICFP_2010/26103.xml	TTT2Cert	0.066
39	tpdb-8.0/TRS/ICFP_2010/264370.xml	AProVE-CeTA	0.034
40	tpdb-8.0/TRS/ICFP_2010/264370.xml	TTT2Cert	0.034