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

Statistics

Result

TTT2 (0.9)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)

MAYBE

Average time	59.370
Total time	2434.178
# Results	41

Average time
Total time
# Results

Average time	12.651
Total time	328.935
# Results	26

Average time	40.275
Total time	1570.714
# Results	39

NO

Average time	17.914
Total time	358.278
# Results	20

Average time	9.747
Total time	350.877
# Results	36

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time	60.522
Total time	484.179
# Results	8

Average time	61.032
Total time	1769.924
# Results	29

Average time	64.065
Total time	10378.486
# Results	162

Average time	60.278
Total time	5907.251
# Results	98

YES

Average time	4.402
Total time	638.292
# Results	145

Average time	6.433
Total time	958.542
# Results	149

Average time	7.969
Total time	207.194
# Results	26

Average time	10.494
Total time	808.005
# Results	77

Actions

Results

««

«

1

2

3

4

5

6

»

Last

Termination Problem

TTT2 (0.9)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	0.497	4.92	60.094	3.686
2	tpdb-8.0/TRS/Bouchare_06/03.xml	5.259	3.949	60.097	4.181
3	tpdb-8.0/TRS/Bouchare_06/04.xml	0.532	5.65	60.098	3.236
4	tpdb-8.0/TRS/Bouchare_06/07.xml	60.377	5.136	2.797	5.975
5	tpdb-8.0/TRS/Bouchare_06/10.xml	0.941	8.576	60.098	60.3
6	tpdb-8.0/TRS/Bouchare_06/11.xml	0.467	6.338	60.095	2.921
7	tpdb-8.0/TRS/Bouchare_06/12.xml	0.549	5.14	60.094	60.28
8	tpdb-8.0/TRS/Bouchare_06/14.xml	0.446	4.097	60.096	3.044
9	tpdb-8.0/TRS/Bouchare_06/15.xml	0.57	8.965	60.099	3.577
10	tpdb-8.0/TRS/Bouchare_06/18.xml	4.906	4.665	60.096	60.268
11	tpdb-8.0/TRS/Gebhardt_06/02.xml	59.337	60.794	121.492	4.209
12	tpdb-8.0/TRS/Gebhardt_06/03.xml	22.271	3.727	116.599	60.265
13	tpdb-8.0/TRS/Gebhardt_06/05.xml	59.347	6.568	109.318	60.28
14	tpdb-8.0/TRS/Gebhardt_06/06.xml	59.452	61.263	118.524	60.282
15	tpdb-8.0/TRS/Gebhardt_06/07.xml	59.454	9.847	118.605	60.277
16	tpdb-8.0/TRS/Gebhardt_06/08.xml	18.206	3.524	90.793	60.28
17	tpdb-8.0/TRS/Gebhardt_06/09.xml	60.395	29.233	112.347	60.262
18	tpdb-8.0/TRS/Gebhardt_06/15.xml	59.39	12.927	114.196	60.289
19	tpdb-8.0/TRS/Gebhardt_06/18.xml	59.353	36.513	114.88	60.309
20	tpdb-8.0/TRS/Gebhardt_06/20.xml	59.351	61.049	120.764	60.328
21	tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	59.534	11.429	62.112	60.247
22	tpdb-8.0/TRS/Mixed_SRS/01.xml	59.34	6.181	104.471	60.261
23	tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	59.338	23.078	60.099	60.228
24	tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	60.959	15.255	60.098	60.231
25	tpdb-8.0/TRS/Mixed_SRS/05.xml	18.888	8.639	60.1	60.257
26	tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	59.308	1.878	60.094	60.209
27	tpdb-8.0/TRS/Mixed_SRS/06.xml	60.465	4.578	60.098	60.273
28	tpdb-8.0/TRS/Mixed_SRS/09.xml	4.91	3.662	60.096	44.515
29	tpdb-8.0/TRS/Mixed_SRS/2.xml	10.92	4.201	60.098	8.26
30	tpdb-8.0/TRS/Mixed_SRS/s6.xml	0.46	3.604	0.152	0.991
31	tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	60.741	9.384	60.099	1.502
32	tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	0.883	8.996	60.098	14.231
33	tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	60.404	10.75	32.484	60.259
34	tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	59.437	60.895	65.173	9.361
35	tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	59.362	60.853	60.101	4.873
36	tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	0.642	1.809	60.111	2.878
37	tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	0.487	1.818	60.099	2.758
38	tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	6.99	4.25	60.098	12.5
39	tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	1.097	2.758	60.11	1.936
40	tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	1.083	5.492	60.099	2.921

««

«

1

2

3

4

5

6

»

Last