termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for SRS Standard Certifying

Statistics

Result

AProVE-COLOR (1.8)

AProVE-CeTA (1.8.1)

TTT2Cert (2009z)

AProVE-A3PAT (1.8)

NO

Average time	4.515
Total time	27.091
# Results	6

Average time	5.844
Total time	35.064
# Results	6

Average time	0.931
Total time	8.378
# Results	9

Average time
Total time
# Results

TIMEOUT

Average time	61.259
Total time	6125.865
# Results	100

Average time	61.634
Total time	2958.451
# Results	48

Average time	60.264
Total time	4881.399
# Results	81

Average time	60.596
Total time	9149.934
# Results	151

YES

Average time	10.270
Total time	924.343
# Results	90

Average time	6.206
Total time	881.311
# Results	142

Average time	9.337
Total time	989.746
# Results	106

Average time	9.419
Total time	423.836
# Results	45

Actions

Results

««

«

1

2

3

4

5

»

Last

Termination Problem

AProVE-COLOR (1.8)

AProVE-CeTA (1.8.1)

TTT2Cert (2009z)

AProVE-A3PAT (1.8)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	5.133	2.879	0.958	27.357
2	tpdb-8.0/TRS/Bouchare_06/03.xml	61.045	3.561	60.205	60.262
3	tpdb-8.0/TRS/Bouchare_06/04.xml	6.175	3.082	1.332	4.082
4	tpdb-8.0/TRS/Bouchare_06/07.xml	5.086	4.221	1.058	3.815
5	tpdb-8.0/TRS/Bouchare_06/10.xml	20.1	7.649	60.249	60.299
6	tpdb-8.0/TRS/Bouchare_06/11.xml	7.806	5.627	1.152	60.244
7	tpdb-8.0/TRS/Bouchare_06/12.xml	8.34	4.867	60.206	60.247
8	tpdb-8.0/TRS/Bouchare_06/14.xml	4.719	2.744	51.145	60.238
9	tpdb-8.0/TRS/Bouchare_06/15.xml	6.04	2.803	1.035	60.266
10	tpdb-8.0/TRS/Bouchare_06/18.xml	7.548	4.174	1.186	60.289
11	tpdb-8.0/TRS/Gebhardt_06/02.xml	61.094	61.526	60.235	60.728
12	tpdb-8.0/TRS/Gebhardt_06/03.xml	61.189	61.28	60.237	60.732
13	tpdb-8.0/TRS/Gebhardt_06/05.xml	61.348	62.475	60.236	60.772
14	tpdb-8.0/TRS/Gebhardt_06/07.xml	9.438	3.984	60.234	60.778
15	tpdb-8.0/TRS/Gebhardt_06/08.xml	61.162	61.565	60.239	60.699
16	tpdb-8.0/TRS/Gebhardt_06/09.xml	21.231	29.911	60.238	60.739
17	tpdb-8.0/TRS/Gebhardt_06/15.xml	61.196	61.199	60.241	60.741
18	tpdb-8.0/TRS/Gebhardt_06/18.xml	61.212	41.065	60.231	60.812
19	tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	61.206	61.575	60.224	60.321
20	tpdb-8.0/TRS/Mixed_SRS/01.xml	61.219	3.697	60.201	60.666
21	tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	61.091	61.411	60.231	60.286
22	tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	60.849	62.957	60.245	60.272
23	tpdb-8.0/TRS/Mixed_SRS/05.xml	10.406	7.085	3.63	60.368
24	tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	60.514	62.422	60.284	60.245
25	tpdb-8.0/TRS/Mixed_SRS/06.xml	5.144	3.868	1.315	60.295
26	tpdb-8.0/TRS/Mixed_SRS/09.xml	27.075	3.593	21.501	35.751
27	tpdb-8.0/TRS/Mixed_SRS/2.xml	6.148	3.718	53.697	60.285
28	tpdb-8.0/TRS/Mixed_SRS/s6.xml	4.196	3.299	2.137	3.639
29	tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	62.325	7.578	2.442	61.227
30	tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	61.29	6.001	12.575	60.614
31	tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	61.099	13.383	60.311	60.528
32	tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	61.307	61.012	60.306	60.486
33	tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	61.057	61.861	60.208	60.348
34	tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	8.702	6.854	1.252	60.196
35	tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	6.211	3.642	0.934	4.45
36	tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	60.926	3.333	60.223	60.287
37	tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	3.264	3.994	1.011	3.724
38	tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	5.539	3.612	4.149	60.891
39	tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml	61.103	61.987	60.211	61.123
40	tpdb-8.0/TRS/Secret_06_SRS/6.xml	17.808	4.034	3.922	5.907

««

«

1

2

3

4

5

»

Last