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

CeTA (1.19)

cime3verifier (2010_8-2pl1_cpf_2_1)

ACCEPT

Average time	0.330
Total time	501.670
# Results	1522

Average time	10.334
Total time	1426.148
# Results	138

REJECT

Average time
Total time
# Results

Average time	15.770
Total time	914.655
# Results	58

TIMEOUT

Average time
Total time
# Results

Average time	60.085
Total time	2283.221
# Results	38

UNSUPPORTED

Average time	0.134
Total time	3.743
# Results	28

Average time	0.116
Total time	153.148
# Results	1316

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

»

Last

Termination problem

Proved by

CeTA (1.19)

cime3verifier (2010_8-2pl1_cpf_2_1)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.053	0.045
2	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-A3PAT	0.031	0.02
3	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-CeTA	0.035	0.04
4	tpdb-8.0/TRS/Bouchare_06/02.xml	cime3finder	0.036	13.068
5	tpdb-8.0/TRS/Bouchare_06/02.xml	TTT2Cert	0.045	0.041
6	tpdb-8.0/TRS/Bouchare_06/02.xml	AProVE-A3PAT	0.028	0.018
7	tpdb-8.0/TRS/Bouchare_06/02.xml	AProVE-CeTA	0.035	0.041
8	tpdb-8.0/TRS/Bouchare_06/03.xml	TTT2Cert	0.032	0.04
9	tpdb-8.0/TRS/Bouchare_06/03.xml	AProVE-CeTA	0.033	0.04
10	tpdb-8.0/TRS/Bouchare_06/04.xml	AProVE-CeTA	0.036	0.042
11	tpdb-8.0/TRS/Bouchare_06/04.xml	AProVE-A3PAT	0.028	0.019
12	tpdb-8.0/TRS/Bouchare_06/04.xml	TTT2Cert	0.041	0.043
13	tpdb-8.0/TRS/Bouchare_06/05.xml	TTT2Cert	0.035	0.042
14	tpdb-8.0/TRS/Bouchare_06/05.xml	AProVE-CeTA	0.035	0.041
15	tpdb-8.0/TRS/Bouchare_06/06.xml	TTT2Cert	0.035	0.043
16	tpdb-8.0/TRS/Bouchare_06/06.xml	AProVE-CeTA	0.04	0.046
17	tpdb-8.0/TRS/Bouchare_06/07.xml	TTT2Cert	0.036	0.041
18	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-CeTA	0.05	0.046
19	tpdb-8.0/TRS/Bouchare_06/07.xml	cime3finder	0.042	24.398
20	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-A3PAT	0.035	0.018
21	tpdb-8.0/TRS/Bouchare_06/08.xml	TTT2Cert	0.027	0.038
22	tpdb-8.0/TRS/Bouchare_06/08.xml	AProVE-CeTA	0.025	0.037
23	tpdb-8.0/TRS/Bouchare_06/09.xml	TTT2Cert	0.029	0.038
24	tpdb-8.0/TRS/Bouchare_06/09.xml	AProVE-CeTA	0.027	0.038
25	tpdb-8.0/TRS/Bouchare_06/10.xml	TTT2Cert	0.054	0.047
26	tpdb-8.0/TRS/Bouchare_06/10.xml	AProVE-CeTA	0.067	0.048
27	tpdb-8.0/TRS/Bouchare_06/11.xml	TTT2Cert	0.033	0.04
28	tpdb-8.0/TRS/Bouchare_06/11.xml	AProVE-CeTA	0.04	0.041
29	tpdb-8.0/TRS/Bouchare_06/12.xml	TTT2Cert	0.035	0.042
30	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-CeTA	0.043	0.042
31	tpdb-8.0/TRS/Bouchare_06/13.xml	AProVE-CeTA	0.037	0.043
32	tpdb-8.0/TRS/Bouchare_06/13.xml	TTT2Cert	0.038	0.043
33	tpdb-8.0/TRS/Bouchare_06/14.xml	TTT2Cert	0.097	0.064
34	tpdb-8.0/TRS/Bouchare_06/14.xml	AProVE-CeTA	0.04	0.043
35	tpdb-8.0/TRS/Bouchare_06/15.xml	TTT2Cert	0.043	0.044
36	tpdb-8.0/TRS/Bouchare_06/15.xml	AProVE-CeTA	0.037	0.042
37	tpdb-8.0/TRS/Bouchare_06/16.xml	TTT2Cert	0.034	0.041
38	tpdb-8.0/TRS/Bouchare_06/16.xml	AProVE-CeTA	0.033	0.04
39	tpdb-8.0/TRS/Bouchare_06/17.xml	AProVE-CeTA	0.038	0.055
40	tpdb-8.0/TRS/Bouchare_06/17.xml	AProVE-A3PAT	0.029	0.018