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 Certifying

Statistics

Certification

cime3verifier (2010_8-2pl1_cpf_2_1)

CeTA (1.19)

ACCEPT

Average time	7.293
Total time	153.160
# Results	21

Average time	0.140
Total time	40.384
# Results	288

REJECT

Average time	29.837
Total time	596.747
# Results	20

Average time
Total time
# Results

TIMEOUT

Average time	60.083
Total time	420.578
# Results	7

Average time
Total time
# Results

UNSUPPORTED

Average time	0.075
Total time	18.112
# Results	240

Average time
Total time
# Results

Results

««

«

1

2

3

4

5

6

7

8

»

Last

Termination problem

Proved by

cime3verifier (2010_8-2pl1_cpf_2_1)

CeTA (1.19)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-A3PAT	7.455	0.032
2	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.042	0.035
3	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-CeTA	0.042	0.034
4	tpdb-8.0/TRS/Bouchare_06/05.xml	TTT2Cert	0.042	0.037
5	tpdb-8.0/TRS/Bouchare_06/05.xml	AProVE-CeTA	0.04	0.035
6	tpdb-8.0/TRS/Bouchare_06/06.xml	TTT2Cert	0.041	0.035
7	tpdb-8.0/TRS/Bouchare_06/06.xml	AProVE-CeTA	0.043	0.04
8	tpdb-8.0/TRS/Bouchare_06/07.xml	TTT2Cert	0.041	0.035
9	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-CeTA	0.058	0.049
10	tpdb-8.0/TRS/Bouchare_06/08.xml	TTT2Cert	0.038	0.026
11	tpdb-8.0/TRS/Bouchare_06/08.xml	AProVE-CeTA	0.037	0.025
12	tpdb-8.0/TRS/Bouchare_06/09.xml	TTT2Cert	0.054	0.028
13	tpdb-8.0/TRS/Bouchare_06/09.xml	AProVE-CeTA	0.038	0.028
14	tpdb-8.0/TRS/Bouchare_06/12.xml	TTT2Cert	0.048	0.036
15	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-CeTA	0.044	0.043
16	tpdb-8.0/TRS/Bouchare_06/15.xml	TTT2Cert	0.042	0.041
17	tpdb-8.0/TRS/Bouchare_06/15.xml	AProVE-CeTA	0.045	0.037
18	tpdb-8.0/TRS/Bouchare_06/16.xml	TTT2Cert	0.041	0.033
19	tpdb-8.0/TRS/Bouchare_06/16.xml	AProVE-CeTA	0.041	0.034
20	tpdb-8.0/TRS/Bouchare_06/17.xml	AProVE-A3PAT	7.938	0.028
21	tpdb-8.0/TRS/Bouchare_06/17.xml	TTT2Cert	0.04	0.033
22	tpdb-8.0/TRS/Bouchare_06/17.xml	AProVE-CeTA	0.042	0.037
23	tpdb-8.0/TRS/Bouchare_06/18.xml	TTT2Cert	0.041	0.035
24	tpdb-8.0/TRS/Bouchare_06/18.xml	AProVE-CeTA	0.042	0.036
25	tpdb-8.0/TRS/Gebhardt_06/09.xml	TTT2Cert	0.042	0.039
26	tpdb-8.0/TRS/Gebhardt_06/09.xml	AProVE-CeTA	0.044	0.036
27	tpdb-8.0/TRS/ICFP_2010/132833.xml	AProVE-CeTA	1.246	4.259
28	tpdb-8.0/TRS/ICFP_2010/139004.xml	AProVE-CeTA	2.012	7.26
29	tpdb-8.0/TRS/ICFP_2010/157593.xml	AProVE-CeTA	0.158	0.479
30	tpdb-8.0/TRS/ICFP_2010/212480.xml	AProVE-CeTA	0.143	0.393
31	tpdb-8.0/TRS/ICFP_2010/213147.xml	TTT2Cert	0.181	0.576
32	tpdb-8.0/TRS/ICFP_2010/213147.xml	AProVE-CeTA	0.153	0.405
33	tpdb-8.0/TRS/ICFP_2010/214091.xml	TTT2Cert	60.1	0.234
34	tpdb-8.0/TRS/ICFP_2010/214091.xml	AProVE-CeTA	0.105	0.239
35	tpdb-8.0/TRS/ICFP_2010/263745.xml	AProVE-CeTA	1.103	5.301
36	tpdb-8.0/TRS/ICFP_2010/28293.xml	TTT2Cert	0.13	0.734
37	tpdb-8.0/TRS/ICFP_2010/85477.xml	AProVE-CeTA	0.37	0.981
38	tpdb-8.0/TRS/Mixed_SRS/04.xml	TTT2Cert	0.043	0.045
39	tpdb-8.0/TRS/Mixed_SRS/04.xml	AProVE-CeTA	0.076	0.115
40	tpdb-8.0/TRS/Mixed_SRS/05.xml	TTT2Cert	0.047	0.055