About the Execution of smart for RwMutex-PT-r0010w0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.870 | 2173663.00 | 2173225.00 | 0.00 | FFFTFTFFTFFFFTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000268.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w0100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000268
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 3.7K Apr 12 11:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 11:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 11 12:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 12:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 16:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 16:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 172K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-00
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-01
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-02
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-03
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-04
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-05
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-06
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-07
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-08
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-09
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-10
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-11
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-12
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-13
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-14
FORMULA_NAME RwMutex-PT-r0010w0100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589742658999
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0100
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 230 places, 220 transitions, 2460 arcs.
AT ITER 0 NEW BEST:: SOT 50074 SOS 37866 HAS SOPS 37866 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37903.866
AT ITER 5 NEW BEST:: SOT 50074 SOS 37740 HAS SOPS 37740 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37777.74
AT ITER 6 NEW BEST:: SOT 50074 SOS 37668 HAS SOPS 37668 HAS SOUS 37668 HAS SOUPS 37668 WITH SCORE 37705.668
AT ITER 7 NEW BEST:: SOT 50074 SOS 37486 HAS SOPS 37486 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37523.486
AT ITER 8 NEW BEST:: SOT 50074 SOS 37476 HAS SOPS 37476 HAS SOUS 37476 HAS SOUPS 37476 WITH SCORE 37513.476
AT ITER 11 NEW BEST:: SOT 50074 SOS 37328 HAS SOPS 37328 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37365.328
AT ITER 12 NEW BEST:: SOT 50074 SOS 37092 HAS SOPS 37092 HAS SOUS 37092 HAS SOUPS 37092 WITH SCORE 37129.092
AT ITER 20 NEW BEST:: SOT 50074 SOS 36886 HAS SOPS 36886 HAS SOUS 36886 HAS SOUPS 36886 WITH SCORE 36922.886
AT ITER 21 NEW BEST:: SOT 50074 SOS 36652 HAS SOPS 36652 HAS SOUS 36652 HAS SOUPS 36652 WITH SCORE 36688.652
AT ITER 24 NEW BEST:: SOT 50074 SOS 36628 HAS SOPS 36628 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36664.628
AT ITER 32 NEW BEST:: SOT 50074 SOS 36494 HAS SOPS 36494 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36530.494
AT ITER 33 NEW BEST:: SOT 50074 SOS 36396 HAS SOPS 36396 HAS SOUS 36396 HAS SOUPS 36396 WITH SCORE 36432.396
AT ITER 35 NEW BEST:: SOT 50074 SOS 36312 HAS SOPS 36312 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36348.312
AT ITER 40 NEW BEST:: SOT 50074 SOS 36220 HAS SOPS 36220 HAS SOUS 36220 HAS SOUPS 36220 WITH SCORE 36256.22
AT ITER 41 NEW BEST:: SOT 50074 SOS 36026 HAS SOPS 36026 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36062.026
AT ITER 42 NEW BEST:: SOT 50074 SOS 35876 HAS SOPS 35876 HAS SOUS 35876 HAS SOUPS 35876 WITH SCORE 35911.876
AT ITER 43 NEW BEST:: SOT 50074 SOS 35848 HAS SOPS 35848 HAS SOUS 35848 HAS SOUPS 35848 WITH SCORE 35883.848
AT ITER 45 NEW BEST:: SOT 50074 SOS 35824 HAS SOPS 35824 HAS SOUS 35824 HAS SOUPS 35824 WITH SCORE 35859.824
AT ITER 46 NEW BEST:: SOT 50074 SOS 35800 HAS SOPS 35800 HAS SOUS 35800 HAS SOUPS 35800 WITH SCORE 35835.8
AT ITER 49 NEW BEST:: SOT 50074 SOS 35776 HAS SOPS 35776 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35811.776
AT ITER 50 NEW BEST:: SOT 50074 SOS 35728 HAS SOPS 35728 HAS SOUS 35728 HAS SOUPS 35728 WITH SCORE 35763.728
AT ITER 51 NEW BEST:: SOT 50074 SOS 35598 HAS SOPS 35598 HAS SOUS 35598 HAS SOUPS 35598 WITH SCORE 35633.598
AT ITER 54 NEW BEST:: SOT 50074 SOS 35574 HAS SOPS 35574 HAS SOUS 35574 HAS SOUPS 35574 WITH SCORE 35609.574
AT ITER 68 NEW BEST:: SOT 50074 SOS 35354 HAS SOPS 35354 HAS SOUS 35354 HAS SOUPS 35354 WITH SCORE 35389.354
AT ITER 71 NEW BEST:: SOT 50074 SOS 35206 HAS SOPS 35206 HAS SOUS 35206 HAS SOUPS 35206 WITH SCORE 35241.206
AT ITER 72 NEW BEST:: SOT 50074 SOS 35152 HAS SOPS 35152 HAS SOUS 35152 HAS SOUPS 35152 WITH SCORE 35187.152
AT ITER 77 NEW BEST:: SOT 50074 SOS 35012 HAS SOPS 35012 HAS SOUS 35012 HAS SOUPS 35012 WITH SCORE 35047.012
AT ITER 80 NEW BEST:: SOT 50074 SOS 34958 HAS SOPS 34958 HAS SOUS 34958 HAS SOUPS 34958 WITH SCORE 34992.958
AT ITER 81 NEW BEST:: SOT 50074 SOS 34762 HAS SOPS 34762 HAS SOUS 34762 HAS SOUPS 34762 WITH SCORE 34796.762
AT ITER 87 NEW BEST:: SOT 50074 SOS 34526 HAS SOPS 34526 HAS SOUS 34526 HAS SOUPS 34526 WITH SCORE 34560.526
AT ITER 90 NEW BEST:: SOT 50074 SOS 34522 HAS SOPS 34522 HAS SOUS 34522 HAS SOUPS 34522 WITH SCORE 34556.522
AT ITER 102 NEW BEST:: SOT 50074 SOS 34314 HAS SOPS 34314 HAS SOUS 34314 HAS SOUPS 34314 WITH SCORE 34348.314
AT ITER 107 NEW BEST:: SOT 50074 SOS 34228 HAS SOPS 34228 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34262.228
AT ITER 108 NEW BEST:: SOT 50074 SOS 34126 HAS SOPS 34126 HAS SOUS 34126 HAS SOUPS 34126 WITH SCORE 34160.126
AT ITER 109 NEW BEST:: SOT 50074 SOS 34102 HAS SOPS 34102 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34136.102
AT ITER 118 NEW BEST:: SOT 50056 SOS 34096 HAS SOPS 34096 HAS SOUS 34096 HAS SOUPS 34096 WITH SCORE 34130.096
AT ITER 119 NEW BEST:: SOT 50056 SOS 34078 HAS SOPS 34078 HAS SOUS 34078 HAS SOUPS 34078 WITH SCORE 34112.078
AT ITER 121 NEW BEST:: SOT 50056 SOS 34076 HAS SOPS 34076 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34110.076
AT ITER 123 NEW BEST:: SOT 50056 SOS 34052 HAS SOPS 34052 HAS SOUS 34052 HAS SOUPS 34052 WITH SCORE 34086.052
AT ITER 125 NEW BEST:: SOT 50056 SOS 33962 HAS SOPS 33962 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 33995.962
AT ITER 130 NEW BEST:: SOT 50056 SOS 33866 HAS SOPS 33866 HAS SOUS 33866 HAS SOUPS 33866 WITH SCORE 33899.866
AT ITER 133 NEW BEST:: SOT 50056 SOS 33836 HAS SOPS 33836 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33869.836
AT ITER 134 NEW BEST:: SOT 50056 SOS 33732 HAS SOPS 33732 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33765.732
AT ITER 135 NEW BEST:: SOT 50056 SOS 33634 HAS SOPS 33634 HAS SOUS 33634 HAS SOUPS 33634 WITH SCORE 33667.634
AT ITER 137 NEW BEST:: SOT 50056 SOS 33554 HAS SOPS 33554 HAS SOUS 33554 HAS SOUPS 33554 WITH SCORE 33587.554
AT ITER 144 NEW BEST:: SOT 50056 SOS 33488 HAS SOPS 33488 HAS SOUS 33488 HAS SOUPS 33488 WITH SCORE 33521.488
AT ITER 149 NEW BEST:: SOT 50056 SOS 33304 HAS SOPS 33304 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33337.304
AT ITER 151 NEW BEST:: SOT 50034 SOS 33292 HAS SOPS 33292 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33325.292
AT ITER 156 NEW BEST:: SOT 50034 SOS 33284 HAS SOPS 33284 HAS SOUS 33284 HAS SOUPS 33284 WITH SCORE 33317.284
AT ITER 170 NEW BEST:: SOT 50034 SOS 33194 HAS SOPS 33194 HAS SOUS 33194 HAS SOUPS 33194 WITH SCORE 33227.194
AT ITER 175 NEW BEST:: SOT 50034 SOS 32996 HAS SOPS 32996 HAS SOUS 32996 HAS SOUPS 32996 WITH SCORE 33028.996
AT ITER 180 NEW BEST:: SOT 50034 SOS 32988 HAS SOPS 32988 HAS SOUS 32988 HAS SOUPS 32988 WITH SCORE 33020.988
AT ITER 184 NEW BEST:: SOT 50034 SOS 32916 HAS SOPS 32916 HAS SOUS 32916 HAS SOUPS 32916 WITH SCORE 32948.916
AT ITER 191 NEW BEST:: SOT 50034 SOS 32830 HAS SOPS 32830 HAS SOUS 32830 HAS SOUPS 32830 WITH SCORE 32862.83
AT ITER 200 NEW BEST:: SOT 50034 SOS 32784 HAS SOPS 32784 HAS SOUS 32784 HAS SOUPS 32784 WITH SCORE 32816.784
AT ITER 202 NEW BEST:: SOT 50034 SOS 32760 HAS SOPS 32760 HAS SOUS 32760 HAS SOUPS 32760 WITH SCORE 32792.76
AT ITER 203 NEW BEST:: SOT 50034 SOS 32752 HAS SOPS 32752 HAS SOUS 32752 HAS SOUPS 32752 WITH SCORE 32784.752
AT ITER 205 NEW BEST:: SOT 50034 SOS 32616 HAS SOPS 32616 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32648.616
AT ITER 212 NEW BEST:: SOT 50022 SOS 32604 HAS SOPS 32604 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32636.604
AT ITER 213 NEW BEST:: SOT 50014 SOS 32596 HAS SOPS 32596 HAS SOUS 32596 HAS SOUPS 32596 WITH SCORE 32628.596
AT ITER 217 NEW BEST:: SOT 50014 SOS 32594 HAS SOPS 32594 HAS SOUS 32594 HAS SOUPS 32594 WITH SCORE 32626.594
AT ITER 233 NEW BEST:: SOT 50014 SOS 32534 HAS SOPS 32534 HAS SOUS 32534 HAS SOUPS 32534 WITH SCORE 32566.534
AT ITER 235 NEW BEST:: SOT 50014 SOS 32522 HAS SOPS 32522 HAS SOUS 32522 HAS SOUPS 32522 WITH SCORE 32554.522
AT ITER 236 NEW BEST:: SOT 50014 SOS 32430 HAS SOPS 32430 HAS SOUS 32430 HAS SOUPS 32430 WITH SCORE 32462.43
AT ITER 238 NEW BEST:: SOT 50014 SOS 32274 HAS SOPS 32274 HAS SOUS 32274 HAS SOUPS 32274 WITH SCORE 32306.274
AT ITER 239 NEW BEST:: SOT 50014 SOS 32190 HAS SOPS 32190 HAS SOUS 32190 HAS SOUPS 32190 WITH SCORE 32222.19
AT ITER 243 NEW BEST:: SOT 50014 SOS 32142 HAS SOPS 32142 HAS SOUS 32142 HAS SOUPS 32142 WITH SCORE 32174.142
AT ITER 250 NEW BEST:: SOT 50014 SOS 32066 HAS SOPS 32066 HAS SOUS 32066 HAS SOUPS 32066 WITH SCORE 32098.066
AT ITER 252 NEW BEST:: SOT 49928 SOS 32878 HAS SOPS 32878 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32012.878
AT ITER 255 NEW BEST:: SOT 49928 SOS 32770 HAS SOPS 32770 HAS SOUS 31802 HAS SOUPS 31802 WITH SCORE 31834.77
AT ITER 265 NEW BEST:: SOT 49928 SOS 32572 HAS SOPS 32572 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31614.572
AT ITER 267 NEW BEST:: SOT 49928 SOS 32434 HAS SOPS 32434 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31614.434
AT ITER 274 NEW BEST:: SOT 49928 SOS 32434 HAS SOPS 32434 HAS SOUS 31558 HAS SOUPS 31558 WITH SCORE 31590.434
AT ITER 275 NEW BEST:: SOT 49928 SOS 32364 HAS SOPS 32364 HAS SOUS 31488 HAS SOUPS 31488 WITH SCORE 31520.364
AT ITER 283 NEW BEST:: SOT 49928 SOS 32330 HAS SOPS 32330 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31486.33
AT ITER 286 NEW BEST:: SOT 49658 SOS 35726 HAS SOPS 35726 HAS SOUS 31300 HAS SOUPS 31300 WITH SCORE 31335.726
AT ITER 293 NEW BEST:: SOT 49658 SOS 35678 HAS SOPS 35678 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31113.678
AT ITER 297 NEW BEST:: SOT 49606 SOS 42294 HAS SOPS 42294 HAS SOUS 31052 HAS SOUPS 31052 WITH SCORE 31094.294
AT ITER 298 NEW BEST:: SOT 49606 SOS 42294 HAS SOPS 42294 HAS SOUS 31050 HAS SOUPS 31050 WITH SCORE 31092.294
AT ITER 301 NEW BEST:: SOT 49606 SOS 42242 HAS SOPS 42242 HAS SOUS 31050 HAS SOUPS 31050 WITH SCORE 31092.242
AT ITER 306 NEW BEST:: SOT 49458 SOS 42094 HAS SOPS 42094 HAS SOUS 30902 HAS SOUPS 30902 WITH SCORE 30944.094
AT ITER 312 NEW BEST:: SOT 49458 SOS 42092 HAS SOPS 42092 HAS SOUS 30896 HAS SOUPS 30896 WITH SCORE 30938.092
AT ITER 317 NEW BEST:: SOT 49458 SOS 42092 HAS SOPS 42092 HAS SOUS 30866 HAS SOUPS 30866 WITH SCORE 30908.092
AT ITER 321 NEW BEST:: SOT 49458 SOS 42078 HAS SOPS 42078 HAS SOUS 30852 HAS SOUPS 30852 WITH SCORE 30894.078
AT ITER 326 NEW BEST:: SOT 49438 SOS 42058 HAS SOPS 42058 HAS SOUS 30800 HAS SOUPS 30800 WITH SCORE 30842.058
AT ITER 329 NEW BEST:: SOT 49438 SOS 42058 HAS SOPS 42058 HAS SOUS 30736 HAS SOUPS 30736 WITH SCORE 30778.058
AT ITER 349 NEW BEST:: SOT 49438 SOS 42054 HAS SOPS 42054 HAS SOUS 30724 HAS SOUPS 30724 WITH SCORE 30766.054
AT ITER 352 NEW BEST:: SOT 49402 SOS 42018 HAS SOPS 42018 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30730.018
AT ITER 361 NEW BEST:: SOT 49402 SOS 42018 HAS SOPS 42018 HAS SOUS 30626 HAS SOUPS 30626 WITH SCORE 30668.018
AT ITER 368 NEW BEST:: SOT 49402 SOS 42018 HAS SOPS 42018 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30628.018
AT ITER 369 NEW BEST:: SOT 49402 SOS 42018 HAS SOPS 42018 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30484.018
AT ITER 373 NEW BEST:: SOT 49402 SOS 42018 HAS SOPS 42018 HAS SOUS 30418 HAS SOUPS 30418 WITH SCORE 30460.018
AT ITER 377 NEW BEST:: SOT 49402 SOS 42010 HAS SOPS 42010 HAS SOUS 30314 HAS SOUPS 30314 WITH SCORE 30356.01
AT ITER 378 NEW BEST:: SOT 49402 SOS 41984 HAS SOPS 41984 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30329.984
AT ITER 382 NEW BEST:: SOT 49402 SOS 41984 HAS SOPS 41984 HAS SOUS 30278 HAS SOUPS 30278 WITH SCORE 30319.984
AT ITER 383 NEW BEST:: SOT 49402 SOS 41984 HAS SOPS 41984 HAS SOUS 30250 HAS SOUPS 30250 WITH SCORE 30291.984
AT ITER 384 NEW BEST:: SOT 49348 SOS 41934 HAS SOPS 41934 HAS SOUS 30200 HAS SOUPS 30200 WITH SCORE 30241.934
AT ITER 386 NEW BEST:: SOT 49348 SOS 41934 HAS SOPS 41934 HAS SOUS 30126 HAS SOUPS 30126 WITH SCORE 30167.934
AT ITER 398 NEW BEST:: SOT 49348 SOS 41934 HAS SOPS 41934 HAS SOUS 30116 HAS SOUPS 30116 WITH SCORE 30157.934
AT ITER 411 NEW BEST:: SOT 49348 SOS 41934 HAS SOPS 41934 HAS SOUS 30034 HAS SOUPS 30034 WITH SCORE 30075.934
AT ITER 412 NEW BEST:: SOT 49348 SOS 41916 HAS SOPS 41916 HAS SOUS 29964 HAS SOUPS 29964 WITH SCORE 30005.916
AT ITER 413 NEW BEST:: SOT 49348 SOS 41916 HAS SOPS 41916 HAS SOUS 29930 HAS SOUPS 29930 WITH SCORE 29971.916
AT ITER 417 NEW BEST:: SOT 49348 SOS 41916 HAS SOPS 41916 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 29967.916
AT ITER 420 NEW BEST:: SOT 49348 SOS 41878 HAS SOPS 41878 HAS SOUS 29916 HAS SOUPS 29916 WITH SCORE 29957.878
AT ITER 423 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29868 HAS SOUPS 29868 WITH SCORE 29909.83
AT ITER 424 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29820 HAS SOUPS 29820 WITH SCORE 29861.83
AT ITER 429 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29692 HAS SOUPS 29692 WITH SCORE 29733.83
AT ITER 434 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29731.83
AT ITER 445 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29674 HAS SOUPS 29674 WITH SCORE 29715.83
AT ITER 450 NEW BEST:: SOT 49348 SOS 41830 HAS SOPS 41830 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29653.83
AT ITER 452 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29606 HAS SOUPS 29606 WITH SCORE 29647.916
AT ITER 463 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29562 HAS SOUPS 29562 WITH SCORE 29603.916
AT ITER 464 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29532 HAS SOUPS 29532 WITH SCORE 29573.916
AT ITER 465 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29518 HAS SOUPS 29518 WITH SCORE 29559.916
AT ITER 466 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29452 HAS SOUPS 29452 WITH SCORE 29493.916
AT ITER 470 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29479.916
AT ITER 474 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29432 HAS SOUPS 29432 WITH SCORE 29473.916
AT ITER 475 NEW BEST:: SOT 49346 SOS 41916 HAS SOPS 41916 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29429.916
AT ITER 477 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29324 HAS SOUPS 29324 WITH SCORE 29365.852
AT ITER 478 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29294 HAS SOUPS 29294 WITH SCORE 29335.852
AT ITER 488 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29252 HAS SOUPS 29252 WITH SCORE 29293.852
AT ITER 495 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29248 HAS SOUPS 29248 WITH SCORE 29289.852
AT ITER 496 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29281.852
AT ITER 497 NEW BEST:: SOT 49282 SOS 41852 HAS SOPS 41852 HAS SOUS 29218 HAS SOUPS 29218 WITH SCORE 29259.852
AT ITER 500 NEW BEST:: SOT 49006 SOS 41576 HAS SOPS 41576 HAS SOUS 28942 HAS SOUPS 28942 WITH SCORE 28983.576
AT ITER 501 NEW BEST:: SOT 49006 SOS 41576 HAS SOPS 41576 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28969.576
AT ITER 503 NEW BEST:: SOT 49006 SOS 41502 HAS SOPS 41502 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28969.502
AT ITER 511 NEW BEST:: SOT 49006 SOS 41502 HAS SOPS 41502 HAS SOUS 28920 HAS SOUPS 28920 WITH SCORE 28961.502
AT ITER 514 NEW BEST:: SOT 49006 SOS 41502 HAS SOPS 41502 HAS SOUS 28904 HAS SOUPS 28904 WITH SCORE 28945.502
AT ITER 530 NEW BEST:: SOT 49006 SOS 41502 HAS SOPS 41502 HAS SOUS 28894 HAS SOUPS 28894 WITH SCORE 28935.502
AT ITER 533 NEW BEST:: SOT 49006 SOS 41502 HAS SOPS 41502 HAS SOUS 28806 HAS SOUPS 28806 WITH SCORE 28847.502
AT ITER 541 NEW BEST:: SOT 48972 SOS 41468 HAS SOPS 41468 HAS SOUS 28736 HAS SOUPS 28736 WITH SCORE 28777.468
AT ITER 543 NEW BEST:: SOT 48712 SOS 41208 HAS SOPS 41208 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28399.208
AT ITER 551 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28119.144
AT ITER 554 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 28072 HAS SOUPS 28072 WITH SCORE 28113.144
AT ITER 555 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 28054 HAS SOUPS 28054 WITH SCORE 28095.144
AT ITER 557 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 28034 HAS SOUPS 28034 WITH SCORE 28075.144
AT ITER 567 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 27914 HAS SOUPS 27914 WITH SCORE 27955.144
AT ITER 568 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 27896 HAS SOUPS 27896 WITH SCORE 27937.144
AT ITER 571 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 27790 HAS SOUPS 27790 WITH SCORE 27831.144
AT ITER 576 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27811.144
AT ITER 582 NEW BEST:: SOT 48496 SOS 41144 HAS SOPS 41144 HAS SOUS 27766 HAS SOUPS 27766 WITH SCORE 27807.144
AT ITER 585 NEW BEST:: SOT 48444 SOS 41092 HAS SOPS 41092 HAS SOUS 27714 HAS SOUPS 27714 WITH SCORE 27755.092
AT ITER 592 NEW BEST:: SOT 48444 SOS 41124 HAS SOPS 41124 HAS SOUS 27710 HAS SOUPS 27710 WITH SCORE 27751.124
AT ITER 601 NEW BEST:: SOT 48402 SOS 41082 HAS SOPS 41082 HAS SOUS 27668 HAS SOUPS 27668 WITH SCORE 27709.082
AT ITER 609 NEW BEST:: SOT 48402 SOS 41082 HAS SOPS 41082 HAS SOUS 27600 HAS SOUPS 27600 WITH SCORE 27641.082
AT ITER 621 NEW BEST:: SOT 47242 SOS 39922 HAS SOPS 39922 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26479.922
AT ITER 631 NEW BEST:: SOT 47242 SOS 39696 HAS SOPS 39696 HAS SOUS 26360 HAS SOUPS 26360 WITH SCORE 26399.696
AT ITER 636 NEW BEST:: SOT 47240 SOS 39694 HAS SOPS 39694 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26395.694
AT ITER 646 NEW BEST:: SOT 47240 SOS 39694 HAS SOPS 39694 HAS SOUS 26348 HAS SOUPS 26348 WITH SCORE 26387.694
AT ITER 650 NEW BEST:: SOT 47240 SOS 39694 HAS SOPS 39694 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26379.694
AT ITER 663 NEW BEST:: SOT 47240 SOS 39694 HAS SOPS 39694 HAS SOUS 26330 HAS SOUPS 26330 WITH SCORE 26369.694
AT ITER 669 NEW BEST:: SOT 47216 SOS 39670 HAS SOPS 39670 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26337.67
AT ITER 671 NEW BEST:: SOT 47216 SOS 39670 HAS SOPS 39670 HAS SOUS 26164 HAS SOUPS 26164 WITH SCORE 26203.67
AT ITER 686 NEW BEST:: SOT 47166 SOS 39800 HAS SOPS 39800 HAS SOUS 26152 HAS SOUPS 26152 WITH SCORE 26191.8
AT ITER 692 NEW BEST:: SOT 47166 SOS 39800 HAS SOPS 39800 HAS SOUS 26132 HAS SOUPS 26132 WITH SCORE 26171.8
AT ITER 695 NEW BEST:: SOT 47166 SOS 39800 HAS SOPS 39800 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26149.8
AT ITER 704 NEW BEST:: SOT 47166 SOS 39800 HAS SOPS 39800 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26123.8
AT ITER 713 NEW BEST:: SOT 47166 SOS 39800 HAS SOPS 39800 HAS SOUS 26040 HAS SOUPS 26040 WITH SCORE 26079.8
AT ITER 724 NEW BEST:: SOT 47166 SOS 39774 HAS SOPS 39774 HAS SOUS 26014 HAS SOUPS 26014 WITH SCORE 26053.774
AT ITER 745 NEW BEST:: SOT 42204 SOS 35118 HAS SOPS 35118 HAS SOUS 21358 HAS SOUPS 21358 WITH SCORE 21393.118
AT ITER 754 NEW BEST:: SOT 42204 SOS 35104 HAS SOPS 35104 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21301.104
AT ITER 758 NEW BEST:: SOT 42204 SOS 35078 HAS SOPS 35078 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21275.078
AT ITER 759 NEW BEST:: SOT 42204 SOS 35078 HAS SOPS 35078 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21261.078
AT ITER 760 NEW BEST:: SOT 42166 SOS 35046 HAS SOPS 35046 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21215.046
AT ITER 782 NEW BEST:: SOT 42166 SOS 35046 HAS SOPS 35046 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21207.046
AT ITER 791 NEW BEST:: SOT 42166 SOS 35046 HAS SOPS 35046 HAS SOUS 21154 HAS SOUPS 21154 WITH SCORE 21189.046
AT ITER 795 NEW BEST:: SOT 42132 SOS 35012 HAS SOPS 35012 HAS SOUS 21092 HAS SOUPS 21092 WITH SCORE 21127.012
AT ITER 798 NEW BEST:: SOT 40380 SOS 38380 HAS SOPS 38380 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19780.38
AT ITER 817 NEW BEST:: SOT 40380 SOS 38380 HAS SOPS 38380 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19774.38
AT ITER 818 NEW BEST:: SOT 40440 SOS 38440 HAS SOPS 38440 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19688.44
AT ITER 823 NEW BEST:: SOT 40440 SOS 33626 HAS SOPS 33626 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19637.626
AT ITER 837 NEW BEST:: SOT 40440 SOS 30254 HAS SOPS 30254 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19634.254
AT ITER 844 NEW BEST:: SOT 40440 SOS 30254 HAS SOPS 30254 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19620.254
AT ITER 853 NEW BEST:: SOT 40438 SOS 30252 HAS SOPS 30252 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19616.252
AT ITER 854 NEW BEST:: SOT 40414 SOS 30228 HAS SOPS 30228 HAS SOUS 19562 HAS SOUPS 19562 WITH SCORE 19592.228
AT ITER 881 NEW BEST:: SOT 40414 SOS 30228 HAS SOPS 30228 HAS SOUS 19522 HAS SOUPS 19522 WITH SCORE 19552.228
AT ITER 882 NEW BEST:: SOT 40414 SOS 30228 HAS SOPS 30228 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19542.228
AT ITER 886 NEW BEST:: SOT 40366 SOS 30180 HAS SOPS 30180 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19406.18
AT ITER 888 NEW BEST:: SOT 40366 SOS 30164 HAS SOPS 30164 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19390.164
AT ITER 897 NEW BEST:: SOT 40366 SOS 30164 HAS SOPS 30164 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19374.164
AT ITER 911 NEW BEST:: SOT 40366 SOS 30116 HAS SOPS 30116 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19374.116
AT ITER 914 NEW BEST:: SOT 40358 SOS 30108 HAS SOPS 30108 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19338.108
AT ITER 918 NEW BEST:: SOT 40358 SOS 30108 HAS SOPS 30108 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19306.108
AT ITER 925 NEW BEST:: SOT 40356 SOS 30106 HAS SOPS 30106 HAS SOUS 19272 HAS SOUPS 19272 WITH SCORE 19302.106
AT ITER 926 NEW BEST:: SOT 40356 SOS 30106 HAS SOPS 30106 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19288.106
AT ITER 929 NEW BEST:: SOT 40340 SOS 30090 HAS SOPS 30090 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19256.09
AT ITER 939 NEW BEST:: SOT 40340 SOS 30090 HAS SOPS 30090 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19236.09
AT ITER 942 NEW BEST:: SOT 40340 SOS 30088 HAS SOPS 30088 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19234.088
AT ITER 946 NEW BEST:: SOT 40340 SOS 30088 HAS SOPS 30088 HAS SOUS 19180 HAS SOUPS 19180 WITH SCORE 19210.088
AT ITER 952 NEW BEST:: SOT 36090 SOS 25962 HAS SOPS 25962 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15051.962
AT ITER 954 NEW BEST:: SOT 36028 SOS 25900 HAS SOPS 25900 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14927.9
AT ITER 965 NEW BEST:: SOT 35966 SOS 25838 HAS SOPS 25838 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14801.838
AT ITER 972 NEW BEST:: SOT 35966 SOS 25838 HAS SOPS 25838 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14753.838
AT ITER 975 NEW BEST:: SOT 35966 SOS 25834 HAS SOPS 25834 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14697.834
AT ITER 996 NEW BEST:: SOT 35828 SOS 25734 HAS SOPS 25734 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14597.734
AT ITER 997 NEW BEST:: SOT 35828 SOS 25734 HAS SOPS 25734 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14591.734
AT ITER 999 NEW BEST:: SOT 35828 SOS 25734 HAS SOPS 25734 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14585.734
AT ITER 1021 NEW BEST:: SOT 35802 SOS 25708 HAS SOPS 25708 HAS SOUS 14508 HAS SOUPS 14508 WITH SCORE 14533.708
AT ITER 1023 NEW BEST:: SOT 35802 SOS 25708 HAS SOPS 25708 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14529.708
AT ITER 1028 NEW BEST:: SOT 35794 SOS 25700 HAS SOPS 25700 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14513.7
AT ITER 1054 NEW BEST:: SOT 35790 SOS 25696 HAS SOPS 25696 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14505.696
AT ITER 1057 NEW BEST:: SOT 35730 SOS 25636 HAS SOPS 25636 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14385.636
AT ITER 1060 NEW BEST:: SOT 35730 SOS 25636 HAS SOPS 25636 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14377.636
AT ITER 1066 NEW BEST:: SOT 35730 SOS 25612 HAS SOPS 25612 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14353.612
AT ITER 1085 NEW BEST:: SOT 35730 SOS 25508 HAS SOPS 25508 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14353.508
AT ITER 1090 NEW BEST:: SOT 35730 SOS 25508 HAS SOPS 25508 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14349.508
AT ITER 1094 NEW BEST:: SOT 35712 SOS 25490 HAS SOPS 25490 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14313.49
AT ITER 1101 NEW BEST:: SOT 35712 SOS 25440 HAS SOPS 25440 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14313.44
AT ITER 1106 NEW BEST:: SOT 35700 SOS 25428 HAS SOPS 25428 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14289.428
AT ITER 1115 NEW BEST:: SOT 35700 SOS 25422 HAS SOPS 25422 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14283.422
AT ITER 1123 NEW BEST:: SOT 35706 SOS 25442 HAS SOPS 25442 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14251.442
AT ITER 1125 NEW BEST:: SOT 35684 SOS 25420 HAS SOPS 25420 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14205.42
AT ITER 1126 NEW BEST:: SOT 35684 SOS 25346 HAS SOPS 25346 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14111.346
AT ITER 1130 NEW BEST:: SOT 35598 SOS 25260 HAS SOPS 25260 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 14001.26
AT ITER 1143 NEW BEST:: SOT 35598 SOS 25260 HAS SOPS 25260 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13965.26
AT ITER 1174 NEW BEST:: SOT 35598 SOS 25260 HAS SOPS 25260 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13923.26
AT ITER 1180 NEW BEST:: SOT 35586 SOS 25248 HAS SOPS 25248 HAS SOUS 13874 HAS SOUPS 13874 WITH SCORE 13899.248
AT ITER 1193 NEW BEST:: SOT 35574 SOS 25236 HAS SOPS 25236 HAS SOUS 13850 HAS SOUPS 13850 WITH SCORE 13875.236
AT ITER 1196 NEW BEST:: SOT 35564 SOS 25226 HAS SOPS 25226 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13845.226
AT ITER 1213 NEW BEST:: SOT 35550 SOS 25038 HAS SOPS 25038 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13819.038
AT ITER 1234 NEW BEST:: SOT 35550 SOS 25038 HAS SOPS 25038 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13803.038
AT ITER 1238 NEW BEST:: SOT 35550 SOS 25034 HAS SOPS 25034 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13799.034
AT ITER 1243 NEW BEST:: SOT 35550 SOS 25032 HAS SOPS 25032 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13751.032
AT ITER 1245 NEW BEST:: SOT 35502 SOS 24992 HAS SOPS 24992 HAS SOUS 13616 HAS SOUPS 13616 WITH SCORE 13640.992
AT ITER 1254 NEW BEST:: SOT 35428 SOS 24918 HAS SOPS 24918 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13492.918
AT ITER 1265 NEW BEST:: SOT 35396 SOS 24928 HAS SOPS 24928 HAS SOUS 13452 HAS SOUPS 13452 WITH SCORE 13476.928
AT ITER 1267 NEW BEST:: SOT 35392 SOS 24924 HAS SOPS 24924 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13472.924
AT ITER 1271 NEW BEST:: SOT 35392 SOS 24924 HAS SOPS 24924 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13462.924
AT ITER 1272 NEW BEST:: SOT 35394 SOS 24906 HAS SOPS 24906 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13444.906
AT ITER 1279 NEW BEST:: SOT 35390 SOS 24902 HAS SOPS 24902 HAS SOUS 13388 HAS SOUPS 13388 WITH SCORE 13412.902
AT ITER 1287 NEW BEST:: SOT 35388 SOS 24900 HAS SOPS 24900 HAS SOUS 13384 HAS SOUPS 13384 WITH SCORE 13408.9
AT ITER 1325 NEW BEST:: SOT 35370 SOS 24882 HAS SOPS 24882 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13372.882
AT ITER 1330 NEW BEST:: SOT 35344 SOS 24856 HAS SOPS 24856 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13320.856
AT ITER 1332 NEW BEST:: SOT 35344 SOS 24856 HAS SOPS 24856 HAS SOUS 13292 HAS SOUPS 13292 WITH SCORE 13316.856
AT ITER 1344 NEW BEST:: SOT 35344 SOS 24856 HAS SOPS 24856 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13262.856
AT ITER 1373 NEW BEST:: SOT 35344 SOS 24854 HAS SOPS 24854 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13260.854
AT ITER 1376 NEW BEST:: SOT 35344 SOS 24854 HAS SOPS 24854 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13206.854
AT ITER 1378 NEW BEST:: SOT 35344 SOS 24854 HAS SOPS 24854 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13196.854
AT ITER 1385 NEW BEST:: SOT 35344 SOS 24714 HAS SOPS 24714 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13196.714
AT ITER 1387 NEW BEST:: SOT 35322 SOS 26910 HAS SOPS 26910 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13170.91
AT ITER 1393 NEW BEST:: SOT 35306 SOS 26894 HAS SOPS 26894 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13086.894
AT ITER 1403 NEW BEST:: SOT 35270 SOS 32032 HAS SOPS 32032 HAS SOUS 13022 HAS SOUPS 13022 WITH SCORE 13054.032
AT ITER 1416 NEW BEST:: SOT 35222 SOS 31984 HAS SOPS 31984 HAS SOUS 12926 HAS SOUPS 12926 WITH SCORE 12957.984
AT ITER 1428 NEW BEST:: SOT 35232 SOS 26804 HAS SOPS 26804 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12920.804
AT ITER 1430 NEW BEST:: SOT 35024 SOS 26758 HAS SOPS 26758 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12854.758
AT ITER 1438 NEW BEST:: SOT 34980 SOS 26714 HAS SOPS 26714 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12766.714
AT ITER 1439 NEW BEST:: SOT 34960 SOS 26694 HAS SOPS 26694 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12726.694
AT ITER 1479 NEW BEST:: SOT 33560 SOS 25430 HAS SOPS 25430 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11461.43
AT ITER 1481 NEW BEST:: SOT 33518 SOS 25388 HAS SOPS 25388 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11333.388
AT ITER 1488 NEW BEST:: SOT 33462 SOS 25332 HAS SOPS 25332 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11221.332
AT ITER 1489 NEW BEST:: SOT 33462 SOS 23410 HAS SOPS 23410 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11219.41
AT ITER 1490 NEW BEST:: SOT 33462 SOS 23410 HAS SOPS 23410 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11209.41
AT ITER 1500 NEW BEST:: SOT 33462 SOS 23390 HAS SOPS 23390 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11209.39
AT ITER 1520 NEW BEST:: SOT 33462 SOS 23370 HAS SOPS 23370 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11181.37
AT ITER 1523 NEW BEST:: SOT 33420 SOS 23328 HAS SOPS 23328 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11097.328
AT ITER 1548 NEW BEST:: SOT 33402 SOS 23310 HAS SOPS 23310 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11061.31
AT ITER 1557 NEW BEST:: SOT 33396 SOS 23304 HAS SOPS 23304 HAS SOUS 11026 HAS SOUPS 11026 WITH SCORE 11049.304
AT ITER 1565 NEW BEST:: SOT 33396 SOS 23298 HAS SOPS 23298 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11043.298
AT ITER 1585 NEW BEST:: SOT 33386 SOS 23288 HAS SOPS 23288 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11023.288
AT ITER 1589 NEW BEST:: SOT 33386 SOS 23284 HAS SOPS 23284 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 11007.284
AT ITER 1603 NEW BEST:: SOT 33376 SOS 23274 HAS SOPS 23274 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10987.274
AT ITER 1605 NEW BEST:: SOT 33352 SOS 23250 HAS SOPS 23250 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10963.25
AT ITER 1611 NEW BEST:: SOT 33216 SOS 23200 HAS SOPS 23200 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10913.2
AT ITER 1612 NEW BEST:: SOT 33216 SOS 23142 HAS SOPS 23142 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10855.142
AT ITER 1618 NEW BEST:: SOT 33216 SOS 23142 HAS SOPS 23142 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10849.142
AT ITER 1635 NEW BEST:: SOT 31178 SOS 21216 HAS SOPS 21216 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8859.216
AT ITER 1637 NEW BEST:: SOT 31172 SOS 21210 HAS SOPS 21210 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8847.21
AT ITER 1653 NEW BEST:: SOT 31162 SOS 21200 HAS SOPS 21200 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8827.2
AT ITER 1654 NEW BEST:: SOT 31162 SOS 21198 HAS SOPS 21198 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8825.198
AT ITER 1658 NEW BEST:: SOT 31152 SOS 21194 HAS SOPS 21194 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8821.194
AT ITER 1660 NEW BEST:: SOT 30448 SOS 24982 HAS SOPS 24982 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8224.982
AT ITER 1710 NEW BEST:: SOT 30424 SOS 24958 HAS SOPS 24958 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8176.958
AT ITER 1712 NEW BEST:: SOT 30420 SOS 24954 HAS SOPS 24954 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8168.954
AT ITER 1733 NEW BEST:: SOT 30414 SOS 24948 HAS SOPS 24948 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8156.948
AT ITER 1759 NEW BEST:: SOT 30414 SOS 24940 HAS SOPS 24940 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8148.94
AT ITER 1761 NEW BEST:: SOT 30404 SOS 24930 HAS SOPS 24930 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8128.93
AT ITER 1765 NEW BEST:: SOT 30354 SOS 24880 HAS SOPS 24880 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8028.88
AT ITER 1781 NEW BEST:: SOT 30390 SOS 24916 HAS SOPS 24916 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 8006.916
AT ITER 1789 NEW BEST:: SOT 30380 SOS 24906 HAS SOPS 24906 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7984.906
AT ITER 1802 NEW BEST:: SOT 30378 SOS 24904 HAS SOPS 24904 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7980.904
AT ITER 1811 NEW BEST:: SOT 30378 SOS 24904 HAS SOPS 24904 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7952.904
AT ITER 1827 NEW BEST:: SOT 30344 SOS 24870 HAS SOPS 24870 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7884.87
AT ITER 1829 NEW BEST:: SOT 30272 SOS 24798 HAS SOPS 24798 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7834.798
AT ITER 1832 NEW BEST:: SOT 30240 SOS 24766 HAS SOPS 24766 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7742.766
AT ITER 1840 NEW BEST:: SOT 30294 SOS 24842 HAS SOPS 24842 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7586.842
AT ITER 1846 NEW BEST:: SOT 30240 SOS 24788 HAS SOPS 24788 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7478.788
AT ITER 1849 NEW BEST:: SOT 30216 SOS 24764 HAS SOPS 24764 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7430.764
AT ITER 1850 NEW BEST:: SOT 30176 SOS 24724 HAS SOPS 24724 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7350.724
AT ITER 1855 NEW BEST:: SOT 30160 SOS 24708 HAS SOPS 24708 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7308.708
AT ITER 1862 NEW BEST:: SOT 30160 SOS 24700 HAS SOPS 24700 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7300.7
AT ITER 1886 NEW BEST:: SOT 30146 SOS 24686 HAS SOPS 24686 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7272.686
AT ITER 1888 NEW BEST:: SOT 30146 SOS 24680 HAS SOPS 24680 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7266.68
AT ITER 1904 NEW BEST:: SOT 30146 SOS 24680 HAS SOPS 24680 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7244.68
AT ITER 1925 NEW BEST:: SOT 30146 SOS 24670 HAS SOPS 24670 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7244.67
AT ITER 1955 NEW BEST:: SOT 30144 SOS 24668 HAS SOPS 24668 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7240.668
AT ITER 1959 NEW BEST:: SOT 30134 SOS 24660 HAS SOPS 24660 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7216.66
AT ITER 1961 NEW BEST:: SOT 30134 SOS 24648 HAS SOPS 24648 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7200.648
AT ITER 1965 NEW BEST:: SOT 30126 SOS 24640 HAS SOPS 24640 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7184.64
AT ITER 1972 NEW BEST:: SOT 29712 SOS 24226 HAS SOPS 24226 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6742.226
AT ITER 1988 NEW BEST:: SOT 29712 SOS 24226 HAS SOPS 24226 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6736.226
AT ITER 2031 NEW BEST:: SOT 29710 SOS 24224 HAS SOPS 24224 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6732.224
AT ITER 2042 NEW BEST:: SOT 29708 SOS 24222 HAS SOPS 24222 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6728.222
AT ITER 2071 NEW BEST:: SOT 29708 SOS 24222 HAS SOPS 24222 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6708.222
AT ITER 2085 NEW BEST:: SOT 29704 SOS 24218 HAS SOPS 24218 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6700.218
AT ITER 2111 NEW BEST:: SOT 29688 SOS 24202 HAS SOPS 24202 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6668.202
AT ITER 2113 NEW BEST:: SOT 29678 SOS 24192 HAS SOPS 24192 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6646.192
AT ITER 2121 NEW BEST:: SOT 29658 SOS 24172 HAS SOPS 24172 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6606.172
AT ITER 2125 NEW BEST:: SOT 29648 SOS 24162 HAS SOPS 24162 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6586.162
AT ITER 2144 NEW BEST:: SOT 29634 SOS 24148 HAS SOPS 24148 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6558.148
AT ITER 2147 NEW BEST:: SOT 29634 SOS 24136 HAS SOPS 24136 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6558.136
AT ITER 2161 NEW BEST:: SOT 29626 SOS 24128 HAS SOPS 24128 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6558.128
AT ITER 2166 NEW BEST:: SOT 29470 SOS 23972 HAS SOPS 23972 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6391.972
AT ITER 2187 NEW BEST:: SOT 29462 SOS 23964 HAS SOPS 23964 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6375.964
AT ITER 2193 NEW BEST:: SOT 29462 SOS 23958 HAS SOPS 23958 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6369.958
AT ITER 2195 NEW BEST:: SOT 29462 SOS 23958 HAS SOPS 23958 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6359.958
AT ITER 2213 NEW BEST:: SOT 29454 SOS 23950 HAS SOPS 23950 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6343.95
AT ITER 2216 NEW BEST:: SOT 29454 SOS 23944 HAS SOPS 23944 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6337.944
AT ITER 2231 NEW BEST:: SOT 29442 SOS 23932 HAS SOPS 23932 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6313.932
AT ITER 2275 NEW BEST:: SOT 29442 SOS 23924 HAS SOPS 23924 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6305.924
AT ITER 2291 NEW BEST:: SOT 29442 SOS 23924 HAS SOPS 23924 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6277.924
AT ITER 2295 NEW BEST:: SOT 29424 SOS 23906 HAS SOPS 23906 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6241.906
AT ITER 2334 NEW BEST:: SOT 29410 SOS 23892 HAS SOPS 23892 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6213.892
AT ITER 2350 NEW BEST:: SOT 29408 SOS 23890 HAS SOPS 23890 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6209.89
AT ITER 2367 NEW BEST:: SOT 29396 SOS 23878 HAS SOPS 23878 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6185.878
AT ITER 2368 NEW BEST:: SOT 29394 SOS 23876 HAS SOPS 23876 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6181.876
AT ITER 2411 NEW BEST:: SOT 29350 SOS 23832 HAS SOPS 23832 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6135.832
AT ITER 2421 NEW BEST:: SOT 29344 SOS 23826 HAS SOPS 23826 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6123.826
AT ITER 2423 NEW BEST:: SOT 29332 SOS 23822 HAS SOPS 23822 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6115.822
AT ITER 2444 NEW BEST:: SOT 29332 SOS 23816 HAS SOPS 23816 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6109.816
AT ITER 2457 NEW BEST:: SOT 29320 SOS 23804 HAS SOPS 23804 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6085.804
AT ITER 2506 NEW BEST:: SOT 29310 SOS 23794 HAS SOPS 23794 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6025.794
AT ITER 2542 NEW BEST:: SOT 29286 SOS 23770 HAS SOPS 23770 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5931.77
AT ITER 2563 NEW BEST:: SOT 29282 SOS 23766 HAS SOPS 23766 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5923.766
AT ITER 2594 NEW BEST:: SOT 29274 SOS 23758 HAS SOPS 23758 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5907.758
AT ITER 2646 NEW BEST:: SOT 29260 SOS 23744 HAS SOPS 23744 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5879.744
AT ITER 2660 NEW BEST:: SOT 29260 SOS 23740 HAS SOPS 23740 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5875.74
AT ITER 2686 NEW BEST:: SOT 29218 SOS 23684 HAS SOPS 23684 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5857.684
AT ITER 2696 NEW BEST:: SOT 29174 SOS 23640 HAS SOPS 23640 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5769.64
AT ITER 2711 NEW BEST:: SOT 29138 SOS 23604 HAS SOPS 23604 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5697.604
AT ITER 2717 NEW BEST:: SOT 29136 SOS 23602 HAS SOPS 23602 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5693.602
AT ITER 2756 NEW BEST:: SOT 29122 SOS 23588 HAS SOPS 23588 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5665.588
AT ITER 2773 NEW BEST:: SOT 29120 SOS 23586 HAS SOPS 23586 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5661.586
AT ITER 2787 NEW BEST:: SOT 29110 SOS 23576 HAS SOPS 23576 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5641.576
AT ITER 2875 NEW BEST:: SOT 29104 SOS 23570 HAS SOPS 23570 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5629.57
AT ITER 2891 NEW BEST:: SOT 29104 SOS 23574 HAS SOPS 23574 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5627.574
AT ITER 2963 NEW BEST:: SOT 29100 SOS 23570 HAS SOPS 23570 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5619.57
AT ITER 2983 NEW BEST:: SOT 29098 SOS 23568 HAS SOPS 23568 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5615.568
AT ITER 2985 NEW BEST:: SOT 29098 SOS 23572 HAS SOPS 23572 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5605.572
AT ITER 2990 NEW BEST:: SOT 29094 SOS 23568 HAS SOPS 23568 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5597.568
AT ITER 3007 NEW BEST:: SOT 29094 SOS 23566 HAS SOPS 23566 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5595.566
AT ITER 3014 NEW BEST:: SOT 29078 SOS 23554 HAS SOPS 23554 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5583.554
AT ITER 3018 NEW BEST:: SOT 29074 SOS 23550 HAS SOPS 23550 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5575.55
AT ITER 3046 NEW BEST:: SOT 29074 SOS 23550 HAS SOPS 23550 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5555.55
AT ITER 3065 NEW BEST:: SOT 29060 SOS 23536 HAS SOPS 23536 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5527.536
AT ITER 3075 NEW BEST:: SOT 29052 SOS 23528 HAS SOPS 23528 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5519.528
AT ITER 3089 NEW BEST:: SOT 29034 SOS 23516 HAS SOPS 23516 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5507.516
AT ITER 3100 NEW BEST:: SOT 29034 SOS 23516 HAS SOPS 23516 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5497.516
AT ITER 3122 NEW BEST:: SOT 29034 SOS 23512 HAS SOPS 23512 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5493.512
AT ITER 3125 NEW BEST:: SOT 29024 SOS 23502 HAS SOPS 23502 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5473.502
AT ITER 3142 NEW BEST:: SOT 28970 SOS 23482 HAS SOPS 23482 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5421.482
AT ITER 3166 NEW BEST:: SOT 28956 SOS 23468 HAS SOPS 23468 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5393.468
AT ITER 3178 NEW BEST:: SOT 28952 SOS 23464 HAS SOPS 23464 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5385.464
AT ITER 3189 NEW BEST:: SOT 28950 SOS 23462 HAS SOPS 23462 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5381.462
AT ITER 3193 NEW BEST:: SOT 28946 SOS 23458 HAS SOPS 23458 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5373.458
AT ITER 3194 NEW BEST:: SOT 28938 SOS 23450 HAS SOPS 23450 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5357.45
AT ITER 3232 NEW BEST:: SOT 28934 SOS 23446 HAS SOPS 23446 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5349.446
AT ITER 3252 NEW BEST:: SOT 28926 SOS 23438 HAS SOPS 23438 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5305.438
AT ITER 3253 NEW BEST:: SOT 28926 SOS 23438 HAS SOPS 23438 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5303.438
AT ITER 3269 NEW BEST:: SOT 28924 SOS 23436 HAS SOPS 23436 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5299.436
AT ITER 3272 NEW BEST:: SOT 28920 SOS 23432 HAS SOPS 23432 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5295.432
AT ITER 3277 NEW BEST:: SOT 28918 SOS 23430 HAS SOPS 23430 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5291.43
AT ITER 3286 NEW BEST:: SOT 28776 SOS 23366 HAS SOPS 23366 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5227.366
AT ITER 3303 NEW BEST:: SOT 28770 SOS 23360 HAS SOPS 23360 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5215.36
AT ITER 3304 NEW BEST:: SOT 28770 SOS 23326 HAS SOPS 23326 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5181.326
AT ITER 3340 NEW BEST:: SOT 28766 SOS 23322 HAS SOPS 23322 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5177.322
AT ITER 3384 NEW BEST:: SOT 28764 SOS 23320 HAS SOPS 23320 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5175.32
AT ITER 3408 NEW BEST:: SOT 28762 SOS 23318 HAS SOPS 23318 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5173.318
AT ITER 3443 NEW BEST:: SOT 28762 SOS 23318 HAS SOPS 23318 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5147.318
AT ITER 3459 NEW BEST:: SOT 28762 SOS 23318 HAS SOPS 23318 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5129.318
AT ITER 3473 NEW BEST:: SOT 28728 SOS 23284 HAS SOPS 23284 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5061.284
AT ITER 3495 NEW BEST:: SOT 28724 SOS 23280 HAS SOPS 23280 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5053.28
AT ITER 3496 NEW BEST:: SOT 28720 SOS 23276 HAS SOPS 23276 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5045.276
AT ITER 3542 NEW BEST:: SOT 28720 SOS 23226 HAS SOPS 23226 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5039.226
AT ITER 3551 NEW BEST:: SOT 28700 SOS 23206 HAS SOPS 23206 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4999.206
AT ITER 3591 NEW BEST:: SOT 28614 SOS 23148 HAS SOPS 23148 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4941.148
AT ITER 3634 NEW BEST:: SOT 28606 SOS 23140 HAS SOPS 23140 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4925.14
AT ITER 3649 NEW BEST:: SOT 28602 SOS 23136 HAS SOPS 23136 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4897.136
AT ITER 3658 NEW BEST:: SOT 28600 SOS 23158 HAS SOPS 23158 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4891.158
AT ITER 3662 NEW BEST:: SOT 28578 SOS 23136 HAS SOPS 23136 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4847.136
AT ITER 3696 NEW BEST:: SOT 28578 SOS 23136 HAS SOPS 23136 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4831.136
AT ITER 3733 NEW BEST:: SOT 28578 SOS 23126 HAS SOPS 23126 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4821.126
AT ITER 3754 NEW BEST:: SOT 28576 SOS 23124 HAS SOPS 23124 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4817.124
AT ITER 3756 NEW BEST:: SOT 28566 SOS 23114 HAS SOPS 23114 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4797.114
AT ITER 3821 NEW BEST:: SOT 28556 SOS 23104 HAS SOPS 23104 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4737.104
AT ITER 3833 NEW BEST:: SOT 28556 SOS 23104 HAS SOPS 23104 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4697.104
AT ITER 3866 NEW BEST:: SOT 28552 SOS 23100 HAS SOPS 23100 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4689.1
AT ITER 3880 NEW BEST:: SOT 28424 SOS 23008 HAS SOPS 23008 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4561.008
AT ITER 3914 NEW BEST:: SOT 28424 SOS 23006 HAS SOPS 23006 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4559.006
AT ITER 3932 NEW BEST:: SOT 28408 SOS 22990 HAS SOPS 22990 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4542.99
AT ITER 3936 NEW BEST:: SOT 28394 SOS 22976 HAS SOPS 22976 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4514.976
AT ITER 3950 NEW BEST:: SOT 28394 SOS 22966 HAS SOPS 22966 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4504.966
AT ITER 3963 NEW BEST:: SOT 28388 SOS 22960 HAS SOPS 22960 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4492.96
AT ITER 3978 NEW BEST:: SOT 28384 SOS 22956 HAS SOPS 22956 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4482.956
AT ITER 3989 NEW BEST:: SOT 28376 SOS 22948 HAS SOPS 22948 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4466.948
AT ITER 4116 NEW BEST:: SOT 28370 SOS 22942 HAS SOPS 22942 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4454.942
AT ITER 4135 NEW BEST:: SOT 28368 SOS 22940 HAS SOPS 22940 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4450.94
AT ITER 4150 NEW BEST:: SOT 28364 SOS 22936 HAS SOPS 22936 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4442.936
AT ITER 4215 NEW BEST:: SOT 28364 SOS 22922 HAS SOPS 22922 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4428.922
AT ITER 4227 NEW BEST:: SOT 28172 SOS 25690 HAS SOPS 25690 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4327.69
AT ITER 4248 NEW BEST:: SOT 28158 SOS 25676 HAS SOPS 25676 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4299.676
AT ITER 4251 NEW BEST:: SOT 28152 SOS 25670 HAS SOPS 25670 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4287.67
AT ITER 4253 NEW BEST:: SOT 28152 SOS 23302 HAS SOPS 23302 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4285.302
AT ITER 4255 NEW BEST:: SOT 28152 SOS 23302 HAS SOPS 23302 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4275.302
AT ITER 4271 NEW BEST:: SOT 28150 SOS 23300 HAS SOPS 23300 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4261.3
AT ITER 4306 NEW BEST:: SOT 28148 SOS 23298 HAS SOPS 23298 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4257.298
AT ITER 4330 NEW BEST:: SOT 28146 SOS 23296 HAS SOPS 23296 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4255.296
AT ITER 4348 NEW BEST:: SOT 28144 SOS 23294 HAS SOPS 23294 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4251.294
AT ITER 4349 NEW BEST:: SOT 28144 SOS 23294 HAS SOPS 23294 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4217.294
AT ITER 4390 NEW BEST:: SOT 28136 SOS 23286 HAS SOPS 23286 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4201.286
AT ITER 4391 NEW BEST:: SOT 28126 SOS 23276 HAS SOPS 23276 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4181.276
AT ITER 4409 NEW BEST:: SOT 28124 SOS 23274 HAS SOPS 23274 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4177.274
AT ITER 4423 NEW BEST:: SOT 28106 SOS 23256 HAS SOPS 23256 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4141.256
AT ITER 4434 NEW BEST:: SOT 28082 SOS 23200 HAS SOPS 23200 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4085.2
AT ITER 4475 NEW BEST:: SOT 28072 SOS 23190 HAS SOPS 23190 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4065.19
AT ITER 4576 NEW BEST:: SOT 28050 SOS 23168 HAS SOPS 23168 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4021.168
AT ITER 4780 NEW BEST:: SOT 28042 SOS 23160 HAS SOPS 23160 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 4013.16
AT ITER 4843 NEW BEST:: SOT 28042 SOS 23140 HAS SOPS 23140 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 4013.14
AT ITER 4892 NEW BEST:: SOT 28038 SOS 23136 HAS SOPS 23136 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 4005.136
Bounds file is: CTLFireability.xml
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-00 ((potential((tk(P118)>=1))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-01 ( (EF( ( (EF( ((potential((tk(P22)>=1)))))) & ((potential((tk(P133)>=1)))) ))) & (! ( (! ( ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P211)>=1)))) | ((potential((tk(P138)>=1)))) ) & ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P197)>=1)))) & ((potential((tk(P84)>=1)))) ) )) | (! (EF( ((potential((tk(P133)>=1))))))) )) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-02 ((potential((tk(P52)>=1))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-03 ( ( (EG( ( (! ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P221)>=1))))) | (! ((potential((tk(P60)>=1))))) ))) & ( (! ((potential((tk(P18)>=1))))) & ( (! ((potential((tk(P122)>=1))))) | ( ( ((potential((tk(P98)>=1)))) | ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P166)>=1)))) ) & ( ((potential((tk(P98)>=1)))) & ((potential((tk(P77)>=1)))) ) ) ) ) ) & ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P36)>=1) & (tk(P37)>=1)))) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-04 ((potential((tk(P107)>=1))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-05 ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P152)>=1))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-06 (EX( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P223)>=1))))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-07 ( ((potential((tk(P138)>=1)))) & ( ( ( ( ( ((potential((tk(P58)>=1)))) & ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P191)>=1)))) ) & ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P159)>=1)))) | ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P226)>=1)))) ) ) | ( ((potential((tk(P128)>=1)))) | ((potential((tk(P31)>=1) & (tk(P187)>=1)))) ) ) | (! ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P184)>=1))))) ) | (EU( ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P227)>=1)))) | ((potential((tk(P61)>=1)))) ) , (! ((potential((tk(P123)>=1))))) )) ) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-08 (EF( (! ((potential((tk(P77)>=1)))))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-09 (! (! (AF( ( ( ((potential((tk(P50)>=1)))) & ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P205)>=1)))) ) & ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P189)>=1)))) | ((potential((tk(P1)>=1)))) ) )))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-10 ( (AX( ((potential((tk(P64)>=1)))))) & (AG( (EG( (! ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P183)>=1))))))))) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-11 ( ((potential((tk(P25)>=1)))) & ( ((potential((tk(P11)>=1) & (tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1)))) & ( (AX( ( ((potential((tk(P70)>=1)))) | ((potential((tk(P67)>=1)))) ))) & ( ( ((potential((tk(P47)>=1)))) & ( ((potential((tk(P49)>=1)))) & ((potential((tk(P114)>=1)))) ) ) | (! ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P190)>=1)))) & ((potential((tk(P143)>=1)))) )) ) ) ) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-12 (AU( ( (! ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P171)>=1)))) & ((potential((tk(P85)>=1)))) )) & (! ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P173)>=1))))) ) , (AX( ((potential((tk(P54)>=1)))))) ))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-13 ( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P149)>=1)))) | (EG( (EU( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P101)>=1)))) , ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P124)>=1)))) )))) )
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-14 (AX( (! ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P90)>=1)))))))
PROPERTY: RwMutex-PT-r0010w0100-CTLFireability-15 (! (AF( ( (! (! ((potential((tk(P43)>=1)))))) | (AG( ((potential((tk(P27)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P36)>=1) & (tk(P37)>=1) & (tk(P191)>=1)))))) ))))
FORMULA RwMutex-PT-r0010w0100-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-03 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-05 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-07 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-08 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-09 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-13 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-14 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLFireability-15 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_STOP 1589744832662
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RwMutex-PT-r0010w0100"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0010w0100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910000268"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0010w0100.tgz
mv RwMutex-PT-r0010w0100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;