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 TRS Standard Certifying

Statistics

Certification

cime3verifier (2010_8-2pl1_cpf_2_1)

CeTA (1.19)

ACCEPT

Average time	8.717
Total time	1438.256
# Results	165

Average time	0.071
Total time	47.565
# Results	668

REJECT

Average time	18.590
Total time	1133.978
# Results	61

Average time	0.025
Total time	0.245
# Results	10

TIMEOUT

Average time	60.076
Total time	2342.971
# Results	39

Average time
Total time
# Results

UNSUPPORTED

Average time	0.053
Total time	22.197
# Results	421

Average time	0.064
Total time	0.512
# Results	8

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

»

Last

Termination problem

Proved by

cime3verifier (2010_8-2pl1_cpf_2_1)

CeTA (1.19)


1	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-A3PAT	9.603	0.031
2	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.055	0.119
3	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-CeTA	11.904	0.038
4	tpdb-8.0/TRS/AG01/#3.19.xml	AProVE-A3PAT	14.042	0.041
5	tpdb-8.0/TRS/AG01/#3.19.xml	TTT2Cert	0.043	0.038
6	tpdb-8.0/TRS/AG01/#3.19.xml	AProVE-CeTA	0.041	0.035
7	tpdb-8.0/TRS/AG01/#3.23.xml	AProVE-A3PAT	6.224	0.022
8	tpdb-8.0/TRS/AG01/#3.23.xml	TTT2Cert	4.078	0.023
9	tpdb-8.0/TRS/AG01/#3.23.xml	AProVE-CeTA	0.035	0.021
10	tpdb-8.0/TRS/AG01/#3.29.xml	AProVE-A3PAT	4.258	0.02
11	tpdb-8.0/TRS/AG01/#3.29.xml	TTT2Cert	0.037	0.029
12	tpdb-8.0/TRS/AG01/#3.29.xml	AProVE-CeTA	4.283	0.02
13	tpdb-8.0/TRS/AG01/#3.35.xml	AProVE-A3PAT	4.687	0.024
14	tpdb-8.0/TRS/AG01/#3.35.xml	TTT2Cert	0.042	0.038
15	tpdb-8.0/TRS/AG01/#3.35.xml	AProVE-CeTA	0.038	0.024
16	tpdb-8.0/TRS/AG01/#3.36.xml	AProVE-A3PAT	9.097	0.03
17	tpdb-8.0/TRS/AG01/#3.36.xml	TTT2Cert	0.045	0.066
18	tpdb-8.0/TRS/AG01/#3.36.xml	AProVE-CeTA	9.106	0.03
19	tpdb-8.0/TRS/AG01/#3.41.xml	AProVE-A3PAT	46.706	0.039
20	tpdb-8.0/TRS/AG01/#3.41.xml	TTT2Cert	0.047	0.063
21	tpdb-8.0/TRS/AG01/#3.41.xml	AProVE-CeTA	47.962	0.039
22	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-A3PAT	50.941	0.027
23	tpdb-8.0/TRS/AG01/#3.47.xml	TTT2Cert	0.041	0.041
24	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-CeTA	47.852	0.03
25	tpdb-8.0/TRS/AG01/#3.52.xml	AProVE-A3PAT	6.605	0.025
26	tpdb-8.0/TRS/AG01/#3.52.xml	TTT2Cert	5.369	0.025
27	tpdb-8.0/TRS/AG01/#3.52.xml	AProVE-CeTA	0.036	0.022
28	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-A3PAT	23.953	0.073
29	tpdb-8.0/TRS/AG01/#3.53.xml	TTT2Cert	0.047	0.069
30	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-CeTA	0.047	0.061
31	tpdb-8.0/TRS/AG01/#3.54.xml	AProVE-A3PAT	60.078	0.029
32	tpdb-8.0/TRS/AG01/#3.54.xml	TTT2Cert	0.043	0.068
33	tpdb-8.0/TRS/AG01/#3.54.xml	AProVE-CeTA	60.088	0.031
34	tpdb-8.0/TRS/AG01/#3.5b.xml	AProVE-A3PAT	15.545	0.06
35	tpdb-8.0/TRS/AG01/#3.5b.xml	TTT2Cert	0.045	0.046
36	tpdb-8.0/TRS/AG01/#3.5b.xml	AProVE-CeTA	0.044	0.045
37	tpdb-8.0/TRS/AG01/#3.5.xml	AProVE-A3PAT	13.474	0.051
38	tpdb-8.0/TRS/AG01/#3.5.xml	TTT2Cert	0.043	0.038
39	tpdb-8.0/TRS/AG01/#3.5.xml	AProVE-CeTA	0.042	0.039
40	tpdb-8.0/TRS/AG01/#3.6a.xml	AProVE-A3PAT	11.301	0.041