Navigation
Home
Login
Register
«
Competition 
Competition List
Download current tools
«
Termexec 
Create an Experiment
View Experiments
View Tools
«
Help 
Registration
Tool management
Query interface
Category Results for TRS Standard

Statistics

Result
AProVE (2011-0.1)
TTT2 (2011)
VMTL (1.4)
muterm (5.07)
cime3finder (13jul201011h44)
MAYBE
Average time
Total time
# Results
Average time 10.472
Total time 4524.016
# Results 432
Average time 29.335
Total time 3197.493
# Results 109
Average time 11.111
Total time 1588.809
# Results 143
Average time 8.285
Total time 4084.443
# Results 493
NO
Average time 3.751
Total time 844.038
# Results 225
Average time 0.699
Total time 133.437
# Results 191
Average time 3.172
Total time 301.341
# Results 95
Average time 0.648
Total time 90.028
# Results 139
Average time
Total time
# Results
TIMEOUT
Average time 60.531
Total time 10714.017
# Results 177
Average time
Total time
# Results
Average time 60.067
Total time 40244.939
# Results 670
Average time 60.046
Total time 26119.896
# Results 435
Average time 60.048
Total time 16273.065
# Results 271
YES
Average time 3.090
Total time 3108.621
# Results 1006
Average time 1.871
Total time 1469.113
# Results 785
Average time 4.791
Total time 2558.423
# Results 534
Average time 1.465
Total time 1012.600
# Results 691
Average time 2.567
Total time 1653.463
# Results 644

Actions

Results

«««12345678910111213141516171819202122232425»Last
Termination Problem
AProVE (2011-0.1)
TTT2 (2011)
VMTL (1.4)
muterm (5.07)
cime3finder (13jul201011h44)
 
 
 
1
tpdb-8.0/TRS/AG01/#3.10.xml
2.033
3.071
4.613
0.202
0.901
2
tpdb-8.0/TRS/AG01/#3.12.xml
1.025
0.973
0.924
0.085
0.279
3
tpdb-8.0/TRS/AG01/#3.13.xml
1.746
2.097
2.423
0.148
0.5
4
tpdb-8.0/TRS/AG01/#3.15.xml
0.754
0.809
0.466
0.094
0.3
5
tpdb-8.0/TRS/AG01/#3.16.xml
0.891
0.686
0.459
0.062
0.044
6
tpdb-8.0/TRS/AG01/#3.17a.xml
1.431
1.719
3.758
0.115
3.876
7
tpdb-8.0/TRS/AG01/#3.17.xml
1.267
1.587
2.677
0.102
2.357
8
tpdb-8.0/TRS/AG01/#3.18.xml
1.181
1.76
1.19
0.137
0.285
9
tpdb-8.0/TRS/AG01/#3.19.xml
1.382
1.437
5.347
60.055
0.32
10
tpdb-8.0/TRS/AG01/#3.1.xml
1.056
1.036
0.729
0.078
0.176
11
tpdb-8.0/TRS/AG01/#3.21.xml
0.992
1.027
60.087
0.167
0.509
12
tpdb-8.0/TRS/AG01/#3.22.xml
1.17
1.688
52.495
0.456
1.534
13
tpdb-8.0/TRS/AG01/#3.23.xml
0.896
0.887
0.325
0.076
0.083
14
tpdb-8.0/TRS/AG01/#3.24.xml
0.749
0.777
0.462
0.095
0.109
15
tpdb-8.0/TRS/AG01/#3.26.xml
1.443
0.808
0.77
0.078
0.135
16
tpdb-8.0/TRS/AG01/#3.29.xml
0.822
0.526
0.313
0.042
0.051
17
tpdb-8.0/TRS/AG01/#3.2.xml
1.059
1.066
0.877
0.082
0.201
18
tpdb-8.0/TRS/AG01/#3.31.xml
0.935
0.677
0.695
0.058
0.24
19
tpdb-8.0/TRS/AG01/#3.33.xml
0.754
0.886
0.723
0.057
5.13
20
tpdb-8.0/TRS/AG01/#3.35.xml
0.773
0.579
0.516
0.056
0.04
21
tpdb-8.0/TRS/AG01/#3.36.xml
1.303
0.99
1.702
0.105
0.178
22
tpdb-8.0/TRS/AG01/#3.37.xml
0.99
0.863
0.533
0.064
0.331
23
tpdb-8.0/TRS/AG01/#3.38.xml
1.28
1.266
1.316
0.09
0.223
24
tpdb-8.0/TRS/AG01/#3.39.xml
1.209
2.195
60.059
0.727
2.671
25
tpdb-8.0/TRS/AG01/#3.40.xml
1.498
2.82
60.088
2.08
52.525
26
tpdb-8.0/TRS/AG01/#3.41.xml
1.004
0.806
4.18
0.094
0.537
27
tpdb-8.0/TRS/AG01/#3.42.xml
1.079
1.526
10.023
0.109
1.067
28
tpdb-8.0/TRS/AG01/#3.47.xml
0.92
0.737
0.497
0.06
0.122
29
tpdb-8.0/TRS/AG01/#3.48.xml
1.032
1.209
3.325
0.065
0.507
30
tpdb-8.0/TRS/AG01/#3.49.xml
1.068
0.897
1.041
0.111
0.655
31
tpdb-8.0/TRS/AG01/#3.4.xml
1.11
1.222
1.132
0.087
0.232
32
tpdb-8.0/TRS/AG01/#3.51.xml
0.774
0.894
0.963
0.06
1.049
33
tpdb-8.0/TRS/AG01/#3.52.xml
0.962
0.67
0.407
0.06
0.068
34
tpdb-8.0/TRS/AG01/#3.53a.xml
0.831
0.596
0.299
0.095
0.053
35
tpdb-8.0/TRS/AG01/#3.53b.xml
0.93
0.672
0.411
0.057
0.068
36
tpdb-8.0/TRS/AG01/#3.53.xml
1.349
2.282
1.964
0.162
0.518
37
tpdb-8.0/TRS/AG01/#3.54.xml
1.465
0.703
0.513
0.079
0.189
38
tpdb-8.0/TRS/AG01/#3.55.xml
1.763
2.273
2.891
0.153
0.94
39
tpdb-8.0/TRS/AG01/#3.56.xml
1.061
1.035
0.901
0.095
0.881
40
tpdb-8.0/TRS/AG01/#3.57.xml
1.42
2.579
3.443
0.131
0.701
«««12345678910111213141516171819202122232425»Last
Powered by Seam. Generated by seam-gen.
Version 3alpha.09.05.2011