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

rainbow-coq (20091215final)

cime3verifier (15dec16h52)

ACCEPT

Average time	0.098
Total time	36.554
# Results	374

Average time	8.413
Total time	1598.418
# Results	190

Average time	12.534
Total time	288.292
# Results	23

REJECT

Average time	0.120
Total time	3.605
# Results	30

Average time	1.998
Total time	427.673
# Results	214

Average time	1.763
Total time	655.786
# Results	372

TIMEOUT

Average time
Total time
# Results

Average time
Total time
# Results

Average time	60.156
Total time	541.400
# Results	9

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

»

Last

Termination problem

Proved by

CeTA (1.08)

rainbow-coq (20091215final)

cime3verifier (15dec16h52)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-CeTA	0.071	3.111	0.058
2	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.07	0.042	0.065
3	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-A3PAT	0.053	10.932	10.587
4	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-COLOR	0.059	8.903	0.064
5	tpdb-8.0/TRS/Bouchare_06/03.xml	AProVE-CeTA	0.053	0.041	0.065
6	tpdb-8.0/TRS/Bouchare_06/04.xml	AProVE-COLOR	0.066	11.094	0.065
7	tpdb-8.0/TRS/Bouchare_06/04.xml	AProVE-A3PAT	0.05	9.117	10.499
8	tpdb-8.0/TRS/Bouchare_06/04.xml	AProVE-CeTA	0.067	2.884	0.056
9	tpdb-8.0/TRS/Bouchare_06/04.xml	TTT2Cert	0.093	0.042	0.073
10	tpdb-8.0/TRS/Bouchare_06/07.xml	TTT2Cert	0.086	0.04	0.066
11	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-COLOR	0.05	10.146	14.612
12	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-A3PAT	0.051	9.915	10.235
13	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-CeTA	0.049	0.031	0.058
14	tpdb-8.0/TRS/Bouchare_06/10.xml	AProVE-CeTA	0.092	11.356	0.098
15	tpdb-8.0/TRS/Bouchare_06/10.xml	AProVE-COLOR	0.084	12.339	0.083
16	tpdb-8.0/TRS/Bouchare_06/11.xml	AProVE-CeTA	0.067	10.919	0.075
17	tpdb-8.0/TRS/Bouchare_06/11.xml	TTT2Cert	0.074	0.043	0.066
18	tpdb-8.0/TRS/Bouchare_06/11.xml	AProVE-COLOR	0.078	10.724	0.079
19	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-CeTA	0.07	10.539	0.081
20	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-COLOR	0.053	8.908	0.062
21	tpdb-8.0/TRS/Bouchare_06/14.xml	AProVE-COLOR	0.059	10.151	0.062
22	tpdb-8.0/TRS/Bouchare_06/14.xml	AProVE-CeTA	0.068	2.857	0.056
23	tpdb-8.0/TRS/Bouchare_06/14.xml	TTT2Cert	0.18	0.04	0.105
24	tpdb-8.0/TRS/Bouchare_06/15.xml	AProVE-CeTA	0.061	2.718	0.057
25	tpdb-8.0/TRS/Bouchare_06/15.xml	TTT2Cert	0.072	0.042	0.064
26	tpdb-8.0/TRS/Bouchare_06/15.xml	AProVE-COLOR	0.058	10.097	0.065
27	tpdb-8.0/TRS/Bouchare_06/18.xml	AProVE-CeTA	0.058	10.343	0.066
28	tpdb-8.0/TRS/Bouchare_06/18.xml	TTT2Cert	0.077	0.043	0.07
29	tpdb-8.0/TRS/Bouchare_06/18.xml	AProVE-COLOR	0.078	12.13	0.076
30	tpdb-8.0/TRS/Gebhardt_06/07.xml	AProVE-CeTA	0.052	9.12	0.062
31	tpdb-8.0/TRS/Gebhardt_06/07.xml	AProVE-COLOR	0.049	8.475	0.058
32	tpdb-8.0/TRS/Gebhardt_06/09.xml	AProVE-CeTA	0.057	9.501	0.065
33	tpdb-8.0/TRS/Gebhardt_06/09.xml	AProVE-COLOR	0.055	8.552	0.064
34	tpdb-8.0/TRS/Gebhardt_06/18.xml	AProVE-CeTA	0.06	9.658	0.067
35	tpdb-8.0/TRS/Mixed_SRS/01.xml	AProVE-CeTA	0.056	10.777	0.07
36	tpdb-8.0/TRS/Mixed_SRS/05.xml	AProVE-CeTA	0.087	11.019	0.094
37	tpdb-8.0/TRS/Mixed_SRS/05.xml	TTT2Cert	0.143	0.045	0.09
38	tpdb-8.0/TRS/Mixed_SRS/05.xml	AProVE-COLOR	0.085	12.741	0.08
39	tpdb-8.0/TRS/Mixed_SRS/06.xml	TTT2Cert	0.1	0.039	0.075
40	tpdb-8.0/TRS/Mixed_SRS/06.xml	AProVE-CeTA	0.055	0.039	0.063