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 TRS Standard

Statistics

Result

TTT2Cert (2013_2)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

muterm (5.08)

Wanda (wanda2.1.fixed)

NaTT (2013)

Wanda (2.1f)

AProVE (TC 2013)

MAYBE

Average time	41.350
Total time	21502.094
# Results	520

Average time	23.009
Total time	7961.053
# Results	346

Average time
Total time
# Results

Average time	11.506
Total time	1771.973
# Results	154

Average time	0.648
Total time	3.241
# Results	5

Average time	2.519
Total time	1146.281
# Results	455

Average time	6.172
Total time	4462.597
# Results	723

Average time	0.021
Total time	0.021
# Results	1

NO

Average time	0.493
Total time	94.685
# Results	192

Average time	0.739
Total time	141.103
# Results	191

Average time	7.433
Total time	1687.323
# Results	227

Average time	0.675
Total time	93.814
# Results	139

Average time	0.023
Total time	1.382
# Results	60

Average time	0.292
Total time	48.781
# Results	167

Average time	0.021
Total time	1.265
# Results	60

Average time	6.034
Total time	1641.278
# Results	272

TIMEOUT

Average time	60.060
Total time	1501.512
# Results	25

Average time	60.050
Total time	8527.073
# Results	142

Average time	61.162
Total time	20489.294
# Results	335

Average time	60.057
Total time	28526.876
# Results	475

Average time	60.040
Total time	60.040
# Results	1

Average time	60.030
Total time	1560.787
# Results	26

Average time	60.062
Total time	6967.187
# Results	116

Average time	60.502
Total time	10466.777
# Results	173

YES

Average time	3.517
Total time	2553.562
# Results	726

Average time	1.826
Total time	1431.350
# Results	784

Average time	8.011
Total time	7217.898
# Results	901

Average time	1.449
Total time	1007.285
# Results	695

Average time	2.996
Total time	1671.685
# Results	558

Average time	0.685
Total time	557.887
# Results	815

Average time	2.975
Total time	1677.668
# Results	564

Average time	3.585
Total time	3645.875
# Results	1017

Actions

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

TTT2Cert (2013_2)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

muterm (5.08)

Wanda (wanda2.1.fixed)

NaTT (2013)

Wanda (2.1f)

AProVE (TC 2013)


1	tpdb-8.0/TRS/AG01/#3.10.xml	5.556	2.836	7.341	0.244	1.311	0.19	1.355	2.408
2	tpdb-8.0/TRS/AG01/#3.12.xml	1.55	0.964	3.746	0.08	0.159	0.078	0.165	1.368
3	tpdb-8.0/TRS/AG01/#3.13.xml	3.702	2.019	5.779	0.152	0.921	0.133	0.924	2.22
4	tpdb-8.0/TRS/AG01/#3.15.xml	0.498	0.828	3.363	0.076	0.227	0.06	0.224	1.119
5	tpdb-8.0/TRS/AG01/#3.16.xml	1.211	0.728	3.461	0.058	0.122	0.098	0.124	1.237
6	tpdb-8.0/TRS/AG01/#3.17a.xml	4.546	1.647	5.109	0.124	1.185	0.097	1.206	1.702
7	tpdb-8.0/TRS/AG01/#3.17.xml	3.47	1.623	5.169	0.115	1.011	0.087	1.024	1.634
8	tpdb-8.0/TRS/AG01/#3.18.xml	2.049	1.754	4.317	0.083	0.224	0.104	0.233	1.568
9	tpdb-8.0/TRS/AG01/#3.19.xml	20.545	17.245	4.5	60.044	0.836	0.165	0.775	1.872
10	tpdb-8.0/TRS/AG01/#3.1.xml	1.279	0.992	3.917	0.076	0.142	0.093	0.146	1.477
11	tpdb-8.0/TRS/AG01/#3.21.xml	0.954	0.983	4.027	0.19	1.721	0.061	1.691	1.365
12	tpdb-8.0/TRS/AG01/#3.22.xml	2.3	1.559	4.712	0.552	8.674	0.096	8.628	1.628
13	tpdb-8.0/TRS/AG01/#3.23.xml	0.781	0.94	3.536	0.077	0.103	0.061	0.057	1.253
14	tpdb-8.0/TRS/AG01/#3.24.xml	0.723	0.784	3.442	0.078	0.058	0.055	0.059	1.037
15	tpdb-8.0/TRS/AG01/#3.26.xml	0.717	0.813	3.66	0.076	0.13	0.061	0.102	1.528
16	tpdb-8.0/TRS/AG01/#3.29.xml	0.517	0.571	3.235	0.042	0.034	0.051	0.034	1.113
17	tpdb-8.0/TRS/AG01/#3.2.xml	1.595	1.043	3.894	0.077	0.156	0.095	0.159	1.503
18	tpdb-8.0/TRS/AG01/#3.31.xml	0.696	0.697	3.187	0.055	0.08	0.097	0.081	1.246
19	tpdb-8.0/TRS/AG01/#3.33.xml	1.156	0.902	3.235	0.055	0.177	0.091	0.157	1.137
20	tpdb-8.0/TRS/AG01/#3.35.xml	0.509	0.675	3.535	0.061	0.07	0.058	0.072	1.005
21	tpdb-8.0/TRS/AG01/#3.36.xml	1.693	1.16	3.804	0.111	0.198	0.099	0.203	1.586
22	tpdb-8.0/TRS/AG01/#3.37.xml	0.97	0.776	3.563	0.058	0.164	0.095	0.163	1.352
23	tpdb-8.0/TRS/AG01/#3.38.xml	1.958	1.253	4.366	0.098	0.268	0.111	0.272	1.655
24	tpdb-8.0/TRS/AG01/#3.39.xml	2.843	2.016	5.021	0.757		0.362	1.337	1.571
25	tpdb-8.0/TRS/AG01/#3.40.xml	59.539	2.54	6.779	2.24		1.131	3.151	1.996
26	tpdb-8.0/TRS/AG01/#3.41.xml	0.95	0.841	3.558	0.089		0.061	0.194	1.331
27	tpdb-8.0/TRS/AG01/#3.42.xml	1.184	1.195	4.16	0.097		0.096	0.398	1.466
28	tpdb-8.0/TRS/AG01/#3.47.xml	0.761	0.757	3.534	0.056	0.102	0.092	0.105	1.27
29	tpdb-8.0/TRS/AG01/#3.48.xml	1.951	1.183	4.406	0.059	0.177	0.095	0.174	1.43
30	tpdb-8.0/TRS/AG01/#3.49.xml	1.133	1.047	3.873	0.115	0.211	0.071	0.21	1.467
31	tpdb-8.0/TRS/AG01/#3.4.xml	1.853	1.201	4.342	0.08	0.225	0.103	0.227	1.547
32	tpdb-8.0/TRS/AG01/#3.51.xml	1.941	0.854	3.402	0.057	0.23	0.085	0.233	1.047
33	tpdb-8.0/TRS/AG01/#3.52.xml	0.839	0.688	3.734	0.055	0.076	0.09	0.077	1.288
34	tpdb-8.0/TRS/AG01/#3.53a.xml	0.679	0.572	3.364	0.072	0.037	0.053	0.037	1.118
35	tpdb-8.0/TRS/AG01/#3.53b.xml	0.84	0.693	3.612	0.057	0.141	0.089	0.09	1.289
36	tpdb-8.0/TRS/AG01/#3.53.xml	4.92	2.261	5.637	0.133	0.808	0.131	0.815	1.781
37	tpdb-8.0/TRS/AG01/#3.54.xml	0.969	0.784	3.687	0.077	0.136	0.068	0.137	1.887
38	tpdb-8.0/TRS/AG01/#3.55.xml	6.741	2.504	6.492	0.166	0.953	0.178	0.982	2.15
39	tpdb-8.0/TRS/AG01/#3.56.xml	1.603	1.044	3.957	0.088	0.219	0.08	0.222	1.492
40	tpdb-8.0/TRS/AG01/#3.57.xml	4.99	2.413	5.705	0.134	0.993	0.138	1.005	1.834

««

«

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