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

Statistics

Certification

CeTA (2.7)

ACCEPT

Average time	0.135
Total time	52.839
# Results	392

Results

««

«

1

2

3

4

5

6

7

8

9

10

»

Last

Termination problem

Proved by

CeTA (2.7)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	AProVE-CeTA	0.035
2	tpdb-8.0/TRS/Bouchare_06/01.xml	TTT2Cert	0.033
3	tpdb-8.0/TRS/Bouchare_06/01.xml	matchbox-cert	0.055
4	tpdb-8.0/TRS/Bouchare_06/03.xml	AProVE-CeTA	0.034
5	tpdb-8.0/TRS/Bouchare_06/03.xml	TTT2Cert	0.033
6	tpdb-8.0/TRS/Bouchare_06/03.xml	matchbox-cert	0.061
7	tpdb-8.0/TRS/Bouchare_06/05.xml	AProVE-CeTA	0.034
8	tpdb-8.0/TRS/Bouchare_06/05.xml	TTT2Cert	0.036
9	tpdb-8.0/TRS/Bouchare_06/05.xml	matchbox-cert	0.049
10	tpdb-8.0/TRS/Bouchare_06/06.xml	AProVE-CeTA	0.041
11	tpdb-8.0/TRS/Bouchare_06/06.xml	TTT2Cert	0.036
12	tpdb-8.0/TRS/Bouchare_06/06.xml	matchbox-cert	0.049
13	tpdb-8.0/TRS/Bouchare_06/07.xml	AProVE-CeTA	0.047
14	tpdb-8.0/TRS/Bouchare_06/07.xml	TTT2Cert	0.036
15	tpdb-8.0/TRS/Bouchare_06/07.xml	matchbox-cert	0.048
16	tpdb-8.0/TRS/Bouchare_06/08.xml	AProVE-CeTA	0.028
17	tpdb-8.0/TRS/Bouchare_06/08.xml	TTT2Cert	0.028
18	tpdb-8.0/TRS/Bouchare_06/09.xml	AProVE-CeTA	0.031
19	tpdb-8.0/TRS/Bouchare_06/09.xml	TTT2Cert	0.029
20	tpdb-8.0/TRS/Bouchare_06/12.xml	AProVE-CeTA	0.047
21	tpdb-8.0/TRS/Bouchare_06/12.xml	TTT2Cert	0.035
22	tpdb-8.0/TRS/Bouchare_06/12.xml	matchbox-cert	0.035
23	tpdb-8.0/TRS/Bouchare_06/15.xml	AProVE-CeTA	0.039
24	tpdb-8.0/TRS/Bouchare_06/15.xml	TTT2Cert	0.026
25	tpdb-8.0/TRS/Bouchare_06/15.xml	matchbox-cert	0.047
26	tpdb-8.0/TRS/Bouchare_06/17.xml	AProVE-CeTA	0.036
27	tpdb-8.0/TRS/Bouchare_06/17.xml	TTT2Cert	0.041
28	tpdb-8.0/TRS/Bouchare_06/17.xml	matchbox-cert	0.048
29	tpdb-8.0/TRS/Bouchare_06/18.xml	AProVE-CeTA	0.038
30	tpdb-8.0/TRS/Bouchare_06/18.xml	TTT2Cert	0.035
31	tpdb-8.0/TRS/Bouchare_06/18.xml	matchbox-cert	0.049
32	tpdb-8.0/TRS/Gebhardt_06/02.xml	matchbox-cert	0.053
33	tpdb-8.0/TRS/Gebhardt_06/04.xml	AProVE-CeTA	0.036
34	tpdb-8.0/TRS/Gebhardt_06/04.xml	matchbox-cert	0.05
35	tpdb-8.0/TRS/Gebhardt_06/09.xml	AProVE-CeTA	0.036
36	tpdb-8.0/TRS/Gebhardt_06/09.xml	TTT2Cert	0.04
37	tpdb-8.0/TRS/Gebhardt_06/09.xml	matchbox-cert	0.053
38	tpdb-8.0/TRS/Gebhardt_06/14.xml	AProVE-CeTA	0.033
39	tpdb-8.0/TRS/Gebhardt_06/14.xml	matchbox-cert	0.047
40	tpdb-8.0/TRS/Gebhardt_06/16.xml	AProVE-CeTA	0.029