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.08)

rainbow-coq (20091215final)

cime3verifier (15dec16h52)

ACCEPT

Average time	0.102
Total time	78.794
# Results	774

Average time	6.707
Total time	2676.187
# Results	399

Average time	9.187
Total time	1864.908
# Results	203

REJECT

Average time	0.083
Total time	15.802
# Results	190

Average time	0.775
Total time	436.440
# Results	563

Average time	1.408
Total time	1030.729
# Results	732

TIMEOUT

Average time
Total time
# Results

Average time	60.109
Total time	120.217
# Results	2

Average time	60.131
Total time	1743.799
# Results	29

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.08)

rainbow-coq (20091215final)

cime3verifier (15dec16h52)


1	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-CeTA	0.053	0.041	0.057
2	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-A3PAT	0.056	4.596	10.518
3	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.075	0.045	0.061
4	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-COLOR	0.062	6.511	3.007
5	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-CeTA	0.053	0.042	0.057
6	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-A3PAT	0.054	4.435	7.34
7	tpdb-8.0/TRS/AG01/#3.15.xml	TTT2Cert	0.061	0.049	0.053
8	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-COLOR	0.054	5.434	2.949
9	tpdb-8.0/TRS/AG01/#3.17a.xml	TTT2Cert	0.125	0.049	0.067
10	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-COLOR	0.08	0.043	0.07
11	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-A3PAT	0.075	0.046	15.591
12	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-CeTA	0.08	0.044	0.061
13	tpdb-8.0/TRS/AG01/#3.1.xml	AProVE-CeTA	0.053	0.042	0.055
14	tpdb-8.0/TRS/AG01/#3.1.xml	TTT2Cert	0.063	0.046	0.063
15	tpdb-8.0/TRS/AG01/#3.1.xml	AProVE-COLOR	0.049	4.418	6.941
16	tpdb-8.0/TRS/AG01/#3.1.xml	AProVE-A3PAT	0.046	4.317	7.029
17	tpdb-8.0/TRS/AG01/#3.21.xml	AProVE-COLOR	0.064	9.656	0.065
18	tpdb-8.0/TRS/AG01/#3.21.xml	AProVE-A3PAT	0.05	4.49	9.318
19	tpdb-8.0/TRS/AG01/#3.21.xml	AProVE-CeTA	0.057	0.043	0.058
20	tpdb-8.0/TRS/AG01/#3.21.xml	TTT2Cert	0.055	0.048	0.058
21	tpdb-8.0/TRS/AG01/#3.26.xml	TTT2Cert	0.045	0.038	0.053
22	tpdb-8.0/TRS/AG01/#3.26.xml	AProVE-COLOR	0.04	5.166	0.055
23	tpdb-8.0/TRS/AG01/#3.26.xml	AProVE-CeTA	0.043	4.318	5.916
24	tpdb-8.0/TRS/AG01/#3.26.xml	AProVE-A3PAT	0.046	5.764	7.902
25	tpdb-8.0/TRS/AG01/#3.47.xml	TTT2Cert	0.046	0.036	0.049
26	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-COLOR	0.045	6.021	0.057
27	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-CeTA	0.051	0.045	0.058
28	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-A3PAT	0.051	4.423	8.963
29	tpdb-8.0/TRS/AG01/#3.47.xml	cime3finder	0.048	0.04	5.429
30	tpdb-8.0/TRS/AG01/#3.53b.xml	AProVE-A3PAT	0.049	4.377	7.432
31	tpdb-8.0/TRS/AG01/#3.53b.xml	TTT2Cert	0.048	0.046	0.056
32	tpdb-8.0/TRS/AG01/#3.53b.xml	cime3finder	0.047	0.044	4.825
33	tpdb-8.0/TRS/AG01/#3.53b.xml	AProVE-CeTA	0.047	0.043	0.051
34	tpdb-8.0/TRS/AG01/#3.53b.xml	AProVE-COLOR	0.049	4.331	7.377
35	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-CeTA	0.084	0.047	0.061
36	tpdb-8.0/TRS/AG01/#3.53.xml	TTT2Cert	0.124	0.049	0.081
37	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-COLOR	0.104	5.466	22.736
38	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-A3PAT	0.106	5.526	22.755
39	tpdb-8.0/TRS/AG01/#3.55.xml	TTT2Cert	0.165	0.047	0.094
40	tpdb-8.0/TRS/AG01/#3.55.xml	AProVE-COLOR	0.158	0.052	14.485