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

CeTA (1.19)

cime3verifier (2010_8-2pl1_cpf_2_1)

ACCEPT

Average time	0.109
Total time	344.393
# Results	3150

Average time	11.256
Total time	16208.299
# Results	1440

REJECT

Average time
Total time
# Results

Average time	23.527
Total time	5128.964
# Results	218

TIMEOUT

Average time
Total time
# Results

Average time	57.366
Total time	20192.890
# Results	352

UNSUPPORTED

Average time	0.063
Total time	32.988
# Results	525

Average time	0.061
Total time	103.691
# Results	1694

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/AG01/#3.10.xml	AProVE-CeTA	0.081	0.052
2	tpdb-8.0/TRS/AG01/#3.10.xml	AProVE-A3PAT	0.129	46.654
3	tpdb-8.0/TRS/AG01/#3.10.xml	TTT2Cert	0.093	0.059
4	tpdb-8.0/TRS/AG01/#3.10.xml	cime3beta	0.102	0.06
5	tpdb-8.0/TRS/AG01/#3.10.xml	cime3finder	0.087	0.057
6	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-CeTA	0.036	11.972
7	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-A3PAT	0.031	9.636
8	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.12	0.054
9	tpdb-8.0/TRS/AG01/#3.12.xml	cime3beta	0.031	10.298
10	tpdb-8.0/TRS/AG01/#3.12.xml	cime3finder	0.035	10.389
11	tpdb-8.0/TRS/AG01/#3.13.xml	AProVE-CeTA	0.064	0.047
12	tpdb-8.0/TRS/AG01/#3.13.xml	AProVE-A3PAT	0.114	55.478
13	tpdb-8.0/TRS/AG01/#3.13.xml	TTT2Cert	0.082	0.055
14	tpdb-8.0/TRS/AG01/#3.13.xml	cime3beta	0.071	0.053
15	tpdb-8.0/TRS/AG01/#3.13.xml	cime3finder	0.08	0.049
16	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-CeTA	0.027	6.184
17	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-A3PAT	0.027	8.68
18	tpdb-8.0/TRS/AG01/#3.15.xml	TTT2Cert	0.052	0.041
19	tpdb-8.0/TRS/AG01/#3.15.xml	cime3beta	0.027	9.092
20	tpdb-8.0/TRS/AG01/#3.15.xml	cime3finder	0.027	9.298
21	tpdb-8.0/TRS/AG01/#3.16.xml	AProVE-CeTA	0.027	6.403
22	tpdb-8.0/TRS/AG01/#3.16.xml	AProVE-A3PAT	0.023	6.356
23	tpdb-8.0/TRS/AG01/#3.16.xml	TTT2Cert	0.027	5.403
24	tpdb-8.0/TRS/AG01/#3.16.xml	cime3beta	0.02	6.348
25	tpdb-8.0/TRS/AG01/#3.16.xml	cime3finder	0.02	6.378
26	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-CeTA	0.056	0.053
27	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-A3PAT	0.059	60.079
28	tpdb-8.0/TRS/AG01/#3.17a.xml	TTT2Cert	0.163	0.061
29	tpdb-8.0/TRS/AG01/#3.17a.xml	cime3beta	0.063	47.391
30	tpdb-8.0/TRS/AG01/#3.17a.xml	cime3finder	0.072	31.499
31	tpdb-8.0/TRS/AG01/#3.17.xml	AProVE-CeTA	0.051	0.051
32	tpdb-8.0/TRS/AG01/#3.17.xml	AProVE-A3PAT	0.055	60.081
33	tpdb-8.0/TRS/AG01/#3.17.xml	TTT2Cert	0.14	0.058
34	tpdb-8.0/TRS/AG01/#3.17.xml	cime3beta	0.051	35.968
35	tpdb-8.0/TRS/AG01/#3.17.xml	cime3finder	0.055	21.98
36	tpdb-8.0/TRS/AG01/#3.18.xml	AProVE-CeTA	0.034	0.041
37	tpdb-8.0/TRS/AG01/#3.18.xml	AProVE-A3PAT	0.037	11.817
38	tpdb-8.0/TRS/AG01/#3.18.xml	TTT2Cert	0.038	0.042
39	tpdb-8.0/TRS/AG01/#3.18.xml	cime3beta	0.027	9.699
40	tpdb-8.0/TRS/AG01/#3.18.xml	cime3finder	0.028	9.728