fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r078-smll-158922972500372
Last Updated
Jun 28, 2020

About the Execution of smart for FlexibleBarrier-PT-18a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.110 1567344.00 1567048.00 0.00 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500372.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-18a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500372
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.2K Apr 4 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 4 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 3 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 265K Mar 24 05:37 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 FlexibleBarrier-PT-18a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589441721799

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 18a
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: 219 places, 886 transitions, 4355 arcs.
AT ITER 0 NEW BEST:: SOT 171612 SOS 147997 HAS SOPS 147997 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83234.997
AT ITER 2 NEW BEST:: SOT 171130 SOS 147708 HAS SOPS 147708 HAS SOUS 82974 HAS SOUPS 82974 WITH SCORE 83121.708
AT ITER 3 NEW BEST:: SOT 170822 SOS 147388 HAS SOPS 147388 HAS SOUS 82837 HAS SOUPS 82837 WITH SCORE 82984.388
AT ITER 4 NEW BEST:: SOT 170854 SOS 147222 HAS SOPS 147222 HAS SOUS 82797 HAS SOUPS 82797 WITH SCORE 82944.222
AT ITER 5 NEW BEST:: SOT 170895 SOS 147296 HAS SOPS 147296 HAS SOUS 81938 HAS SOUPS 81938 WITH SCORE 82085.296
AT ITER 6 NEW BEST:: SOT 170894 SOS 147294 HAS SOPS 147294 HAS SOUS 81937 HAS SOUPS 81937 WITH SCORE 82084.294
AT ITER 11 NEW BEST:: SOT 170979 SOS 147200 HAS SOPS 147200 HAS SOUS 81846 HAS SOUPS 81846 WITH SCORE 81993.2
AT ITER 15 NEW BEST:: SOT 171012 SOS 147198 HAS SOPS 147198 HAS SOUS 81842 HAS SOUPS 81842 WITH SCORE 81989.198
AT ITER 17 NEW BEST:: SOT 171132 SOS 147123 HAS SOPS 147123 HAS SOUS 81767 HAS SOUPS 81767 WITH SCORE 81914.123
AT ITER 19 NEW BEST:: SOT 171218 SOS 147275 HAS SOPS 147275 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 80003.275
AT ITER 23 NEW BEST:: SOT 171238 SOS 147270 HAS SOPS 147270 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 80003.27
AT ITER 24 NEW BEST:: SOT 170721 SOS 146712 HAS SOPS 146712 HAS SOUS 79550 HAS SOUPS 79550 WITH SCORE 79696.712
AT ITER 26 NEW BEST:: SOT 170721 SOS 146642 HAS SOPS 146642 HAS SOUS 79480 HAS SOUPS 79480 WITH SCORE 79626.642
AT ITER 28 NEW BEST:: SOT 170639 SOS 146314 HAS SOPS 146314 HAS SOUS 79316 HAS SOUPS 79316 WITH SCORE 79462.314
AT ITER 30 NEW BEST:: SOT 170559 SOS 146234 HAS SOPS 146234 HAS SOUS 79231 HAS SOUPS 79231 WITH SCORE 79377.234
AT ITER 35 NEW BEST:: SOT 170634 SOS 146234 HAS SOPS 146234 HAS SOUS 78177 HAS SOUPS 78177 WITH SCORE 78323.234
AT ITER 36 NEW BEST:: SOT 170673 SOS 145705 HAS SOPS 145705 HAS SOUS 76552 HAS SOUPS 76552 WITH SCORE 76697.705
AT ITER 39 NEW BEST:: SOT 170673 SOS 145540 HAS SOPS 145540 HAS SOUS 76486 HAS SOUPS 76486 WITH SCORE 76631.54
AT ITER 40 NEW BEST:: SOT 170731 SOS 145617 HAS SOPS 145617 HAS SOUS 76481 HAS SOUPS 76481 WITH SCORE 76626.617
AT ITER 44 NEW BEST:: SOT 170273 SOS 145231 HAS SOPS 145231 HAS SOUS 76353 HAS SOUPS 76353 WITH SCORE 76498.231
AT ITER 46 NEW BEST:: SOT 170371 SOS 145272 HAS SOPS 145272 HAS SOUS 76296 HAS SOUPS 76296 WITH SCORE 76441.272
AT ITER 47 NEW BEST:: SOT 169766 SOS 144540 HAS SOPS 144540 HAS SOUS 75833 HAS SOUPS 75833 WITH SCORE 75977.54
AT ITER 49 NEW BEST:: SOT 169764 SOS 143816 HAS SOPS 143816 HAS SOUS 73980 HAS SOUPS 73980 WITH SCORE 74123.816
AT ITER 51 NEW BEST:: SOT 170017 SOS 143454 HAS SOPS 143454 HAS SOUS 72867 HAS SOUPS 72867 WITH SCORE 73010.454
AT ITER 52 NEW BEST:: SOT 170038 SOS 142611 HAS SOPS 142611 HAS SOUS 71945 HAS SOUPS 71945 WITH SCORE 72087.611
AT ITER 53 NEW BEST:: SOT 164150 SOS 139315 HAS SOPS 136428 HAS SOUS 70848 HAS SOUPS 70735 WITH SCORE 70874.315
AT ITER 54 NEW BEST:: SOT 165399 SOS 139840 HAS SOPS 135791 HAS SOUS 67880 HAS SOUPS 67760 WITH SCORE 67899.84
AT ITER 57 NEW BEST:: SOT 165441 SOS 139880 HAS SOPS 135831 HAS SOUS 67878 HAS SOUPS 67758 WITH SCORE 67897.88
AT ITER 59 NEW BEST:: SOT 163211 SOS 137380 HAS SOPS 133617 HAS SOUS 66805 HAS SOUPS 66685 WITH SCORE 66822.38
AT ITER 60 NEW BEST:: SOT 163182 SOS 137154 HAS SOPS 133377 HAS SOUS 66690 HAS SOUPS 66556 WITH SCORE 66693.154
AT ITER 62 NEW BEST:: SOT 163272 SOS 137187 HAS SOPS 133426 HAS SOUS 66666 HAS SOUPS 66532 WITH SCORE 66669.187
AT ITER 63 NEW BEST:: SOT 163336 SOS 137185 HAS SOPS 133424 HAS SOUS 66597 HAS SOUPS 66463 WITH SCORE 66600.185
AT ITER 65 NEW BEST:: SOT 163333 SOS 137054 HAS SOPS 132565 HAS SOUS 63348 HAS SOUPS 63181 WITH SCORE 63318.054
AT ITER 66 NEW BEST:: SOT 163289 SOS 137038 HAS SOPS 132549 HAS SOUS 63346 HAS SOUPS 63179 WITH SCORE 63316.038
AT ITER 67 NEW BEST:: SOT 164689 SOS 138584 HAS SOPS 132777 HAS SOUS 60937 HAS SOUPS 60784 WITH SCORE 60922.584
AT ITER 68 NEW BEST:: SOT 164887 SOS 138775 HAS SOPS 132968 HAS SOUS 60930 HAS SOUPS 60777 WITH SCORE 60915.775
AT ITER 69 NEW BEST:: SOT 165198 SOS 138993 HAS SOPS 132110 HAS SOUS 59917 HAS SOUPS 59764 WITH SCORE 59902.993
AT ITER 76 NEW BEST:: SOT 165180 SOS 138984 HAS SOPS 132101 HAS SOUS 59917 HAS SOUPS 59764 WITH SCORE 59902.984
AT ITER 79 NEW BEST:: SOT 165287 SOS 139052 HAS SOPS 132169 HAS SOUS 59900 HAS SOUPS 59747 WITH SCORE 59886.052
AT ITER 80 NEW BEST:: SOT 165176 SOS 138930 HAS SOPS 132047 HAS SOUS 59795 HAS SOUPS 59642 WITH SCORE 59780.93
AT ITER 82 NEW BEST:: SOT 165174 SOS 138886 HAS SOPS 132003 HAS SOUS 59753 HAS SOUPS 59600 WITH SCORE 59738.886
AT ITER 84 NEW BEST:: SOT 165223 SOS 138933 HAS SOPS 132050 HAS SOUS 59751 HAS SOUPS 59598 WITH SCORE 59736.933
AT ITER 86 NEW BEST:: SOT 165222 SOS 138711 HAS SOPS 129825 HAS SOUS 57415 HAS SOUPS 57262 WITH SCORE 57400.711
AT ITER 87 NEW BEST:: SOT 162956 SOS 136348 HAS SOPS 127462 HAS SOUS 56078 HAS SOUPS 55925 WITH SCORE 56061.348
AT ITER 89 NEW BEST:: SOT 162934 SOS 136326 HAS SOPS 127418 HAS SOUS 56078 HAS SOUPS 55925 WITH SCORE 56061.326
AT ITER 94 NEW BEST:: SOT 162934 SOS 136290 HAS SOPS 127382 HAS SOUS 56058 HAS SOUPS 55905 WITH SCORE 56041.29
AT ITER 99 NEW BEST:: SOT 162932 SOS 136288 HAS SOPS 127380 HAS SOUS 56056 HAS SOUPS 55903 WITH SCORE 56039.288
AT ITER 104 NEW BEST:: SOT 162932 SOS 136273 HAS SOPS 127365 HAS SOUS 55995 HAS SOUPS 55842 WITH SCORE 55978.273
AT ITER 109 NEW BEST:: SOT 162932 SOS 136231 HAS SOPS 127323 HAS SOUS 55995 HAS SOUPS 55842 WITH SCORE 55978.231
AT ITER 110 NEW BEST:: SOT 162932 SOS 136143 HAS SOPS 127147 HAS SOUS 55819 HAS SOUPS 55666 WITH SCORE 55802.143
AT ITER 114 NEW BEST:: SOT 162846 SOS 136061 HAS SOPS 127065 HAS SOUS 55777 HAS SOUPS 55624 WITH SCORE 55760.061
AT ITER 115 NEW BEST:: SOT 162835 SOS 136041 HAS SOPS 127045 HAS SOUS 55766 HAS SOUPS 55613 WITH SCORE 55749.041
AT ITER 116 NEW BEST:: SOT 162979 SOS 135102 HAS SOPS 123334 HAS SOUS 52701 HAS SOUPS 52548 WITH SCORE 52683.102
AT ITER 120 NEW BEST:: SOT 161374 SOS 133497 HAS SOPS 121729 HAS SOUS 51810 HAS SOUPS 51657 WITH SCORE 51790.497
AT ITER 123 NEW BEST:: SOT 161374 SOS 133492 HAS SOPS 121705 HAS SOUS 51791 HAS SOUPS 51638 WITH SCORE 51771.492
AT ITER 130 NEW BEST:: SOT 161348 SOS 133366 HAS SOPS 121579 HAS SOUS 51732 HAS SOUPS 51579 WITH SCORE 51712.366
AT ITER 131 NEW BEST:: SOT 161385 SOS 133314 HAS SOPS 121527 HAS SOUS 51726 HAS SOUPS 51573 WITH SCORE 51706.314
AT ITER 133 NEW BEST:: SOT 161204 SOS 132672 HAS SOPS 117141 HAS SOUS 47978 HAS SOUPS 47825 WITH SCORE 47957.672
AT ITER 138 NEW BEST:: SOT 161119 SOS 132443 HAS SOPS 116970 HAS SOUS 47807 HAS SOUPS 47654 WITH SCORE 47786.443
AT ITER 143 NEW BEST:: SOT 161107 SOS 132419 HAS SOPS 116946 HAS SOUS 47807 HAS SOUPS 47654 WITH SCORE 47786.419
AT ITER 145 NEW BEST:: SOT 160668 SOS 131969 HAS SOPS 116496 HAS SOUS 47561 HAS SOUPS 47408 WITH SCORE 47539.969
AT ITER 147 NEW BEST:: SOT 159404 SOS 130643 HAS SOPS 115108 HAS SOUS 46867 HAS SOUPS 46714 WITH SCORE 46844.643
AT ITER 148 NEW BEST:: SOT 159369 SOS 130573 HAS SOPS 115038 HAS SOUS 46749 HAS SOUPS 46596 WITH SCORE 46726.573
AT ITER 149 NEW BEST:: SOT 156876 SOS 128151 HAS SOPS 112616 HAS SOUS 45589 HAS SOUPS 45436 WITH SCORE 45564.151
AT ITER 150 NEW BEST:: SOT 156621 SOS 127896 HAS SOPS 112361 HAS SOUS 45458 HAS SOUPS 45305 WITH SCORE 45432.896
AT ITER 153 NEW BEST:: SOT 156602 SOS 127878 HAS SOPS 112331 HAS SOUS 45439 HAS SOUPS 45286 WITH SCORE 45413.878
AT ITER 154 NEW BEST:: SOT 154796 SOS 126053 HAS SOPS 110506 HAS SOUS 44534 HAS SOUPS 44381 WITH SCORE 44507.053
AT ITER 155 NEW BEST:: SOT 154830 SOS 126104 HAS SOPS 109734 HAS SOUS 43932 HAS SOUPS 43779 WITH SCORE 43905.104
AT ITER 157 NEW BEST:: SOT 155246 SOS 125596 HAS SOPS 107433 HAS SOUS 43359 HAS SOUPS 43206 WITH SCORE 43331.596
AT ITER 162 NEW BEST:: SOT 150475 SOS 124807 HAS SOPS 102564 HAS SOUS 39015 HAS SOUPS 38722 WITH SCORE 38846.807
AT ITER 166 NEW BEST:: SOT 150398 SOS 124615 HAS SOPS 102297 HAS SOUS 38750 HAS SOUPS 38457 WITH SCORE 38581.615
AT ITER 168 NEW BEST:: SOT 150397 SOS 123596 HAS SOPS 99653 HAS SOUS 38116 HAS SOUPS 37823 WITH SCORE 37946.596
AT ITER 169 NEW BEST:: SOT 150950 SOS 123113 HAS SOPS 94388 HAS SOUS 34523 HAS SOUPS 34202 WITH SCORE 34325.113
AT ITER 170 NEW BEST:: SOT 150909 SOS 123054 HAS SOPS 94306 HAS SOUS 34502 HAS SOUPS 34178 WITH SCORE 34301.054
AT ITER 171 NEW BEST:: SOT 150889 SOS 123010 HAS SOPS 94250 HAS SOUS 34470 HAS SOUPS 34146 WITH SCORE 34269.01
AT ITER 172 NEW BEST:: SOT 150837 SOS 122958 HAS SOPS 94192 HAS SOUS 34412 HAS SOUPS 34088 WITH SCORE 34210.958
AT ITER 174 NEW BEST:: SOT 150895 SOS 123008 HAS SOPS 94172 HAS SOUS 34393 HAS SOUPS 34069 WITH SCORE 34192.008
AT ITER 176 NEW BEST:: SOT 150857 SOS 122894 HAS SOPS 94058 HAS SOUS 34355 HAS SOUPS 34031 WITH SCORE 34153.894
AT ITER 177 NEW BEST:: SOT 150024 SOS 122032 HAS SOPS 93196 HAS SOUS 33904 HAS SOUPS 33580 WITH SCORE 33702.032
AT ITER 179 NEW BEST:: SOT 150110 SOS 121930 HAS SOPS 93203 HAS SOUS 33796 HAS SOUPS 33472 WITH SCORE 33593.93
AT ITER 180 NEW BEST:: SOT 150016 SOS 121773 HAS SOPS 93015 HAS SOUS 33608 HAS SOUPS 33284 WITH SCORE 33405.773
AT ITER 181 NEW BEST:: SOT 150884 SOS 122660 HAS SOPS 93397 HAS SOUS 33479 HAS SOUPS 33155 WITH SCORE 33277.66
AT ITER 186 NEW BEST:: SOT 150872 SOS 122648 HAS SOPS 93373 HAS SOUS 33455 HAS SOUPS 33131 WITH SCORE 33253.648
AT ITER 189 NEW BEST:: SOT 150754 SOS 122512 HAS SOPS 93137 HAS SOUS 33231 HAS SOUPS 32902 WITH SCORE 33024.512
AT ITER 194 NEW BEST:: SOT 150603 SOS 121996 HAS SOPS 92516 HAS SOUS 32725 HAS SOUPS 32396 WITH SCORE 32517.996
AT ITER 195 NEW BEST:: SOT 151072 SOS 122488 HAS SOPS 92346 HAS SOUS 32690 HAS SOUPS 32361 WITH SCORE 32483.488
AT ITER 199 NEW BEST:: SOT 151068 SOS 122384 HAS SOPS 92219 HAS SOUS 32575 HAS SOUPS 32246 WITH SCORE 32368.384
AT ITER 203 NEW BEST:: SOT 152417 SOS 123707 HAS SOPS 90606 HAS SOUS 31783 HAS SOUPS 31454 WITH SCORE 31577.707
AT ITER 205 NEW BEST:: SOT 152400 SOS 123690 HAS SOPS 90615 HAS SOUS 31749 HAS SOUPS 31420 WITH SCORE 31543.69
AT ITER 208 NEW BEST:: SOT 151699 SOS 123036 HAS SOPS 89695 HAS SOUS 30796 HAS SOUPS 30467 WITH SCORE 30590.036
AT ITER 210 NEW BEST:: SOT 151707 SOS 123035 HAS SOPS 89680 HAS SOUS 30781 HAS SOUPS 30452 WITH SCORE 30575.035
AT ITER 213 NEW BEST:: SOT 151706 SOS 123015 HAS SOPS 89660 HAS SOUS 30762 HAS SOUPS 30433 WITH SCORE 30556.015
AT ITER 218 NEW BEST:: SOT 150637 SOS 122049 HAS SOPS 88694 HAS SOUS 30382 HAS SOUPS 30053 WITH SCORE 30175.049
AT ITER 224 NEW BEST:: SOT 150600 SOS 122043 HAS SOPS 88685 HAS SOUS 30371 HAS SOUPS 30042 WITH SCORE 30164.043
AT ITER 233 NEW BEST:: SOT 150326 SOS 121751 HAS SOPS 88393 HAS SOUS 30203 HAS SOUPS 29874 WITH SCORE 29995.751
AT ITER 238 NEW BEST:: SOT 150305 SOS 121730 HAS SOPS 88351 HAS SOUS 30161 HAS SOUPS 29832 WITH SCORE 29953.73
AT ITER 241 NEW BEST:: SOT 150300 SOS 121735 HAS SOPS 88341 HAS SOUS 30141 HAS SOUPS 29812 WITH SCORE 29933.735
AT ITER 243 NEW BEST:: SOT 150299 SOS 121726 HAS SOPS 88325 HAS SOUS 30127 HAS SOUPS 29798 WITH SCORE 29919.726
AT ITER 244 NEW BEST:: SOT 150394 SOS 121836 HAS SOPS 88418 HAS SOUS 30125 HAS SOUPS 29796 WITH SCORE 29917.836
AT ITER 255 NEW BEST:: SOT 150176 SOS 121645 HAS SOPS 88608 HAS SOUS 30081 HAS SOUPS 29752 WITH SCORE 29873.645
AT ITER 256 NEW BEST:: SOT 150243 SOS 121618 HAS SOPS 88648 HAS SOUS 30027 HAS SOUPS 29698 WITH SCORE 29819.618
AT ITER 261 NEW BEST:: SOT 150243 SOS 121615 HAS SOPS 88646 HAS SOUS 30026 HAS SOUPS 29697 WITH SCORE 29818.615
AT ITER 270 NEW BEST:: SOT 150243 SOS 121547 HAS SOPS 88578 HAS SOUS 30026 HAS SOUPS 29697 WITH SCORE 29818.547
AT ITER 274 NEW BEST:: SOT 150213 SOS 121472 HAS SOPS 88488 HAS SOUS 29966 HAS SOUPS 29637 WITH SCORE 29758.472
AT ITER 276 NEW BEST:: SOT 149585 SOS 121009 HAS SOPS 88025 HAS SOUS 29666 HAS SOUPS 29337 WITH SCORE 29458.009
AT ITER 277 NEW BEST:: SOT 149552 SOS 120936 HAS SOPS 87912 HAS SOUS 29588 HAS SOUPS 29259 WITH SCORE 29379.936
AT ITER 282 NEW BEST:: SOT 149517 SOS 120866 HAS SOPS 87788 HAS SOUS 29429 HAS SOUPS 29100 WITH SCORE 29220.866
AT ITER 283 NEW BEST:: SOT 150504 SOS 121772 HAS SOPS 88100 HAS SOUS 29236 HAS SOUPS 28907 WITH SCORE 29028.772
AT ITER 291 NEW BEST:: SOT 150337 SOS 121507 HAS SOPS 87766 HAS SOUS 28964 HAS SOUPS 28635 WITH SCORE 28756.507
AT ITER 293 NEW BEST:: SOT 150245 SOS 121319 HAS SOPS 87550 HAS SOUS 28812 HAS SOUPS 28483 WITH SCORE 28604.319
AT ITER 294 NEW BEST:: SOT 150232 SOS 121277 HAS SOPS 87118 HAS SOUS 27974 HAS SOUPS 27645 WITH SCORE 27766.277
AT ITER 296 NEW BEST:: SOT 146244 SOS 117236 HAS SOPS 82850 HAS SOUS 25680 HAS SOUPS 25351 WITH SCORE 25468.236
AT ITER 307 NEW BEST:: SOT 146223 SOS 117185 HAS SOPS 82787 HAS SOUS 25626 HAS SOUPS 25297 WITH SCORE 25414.185
AT ITER 312 NEW BEST:: SOT 146207 SOS 117153 HAS SOPS 82755 HAS SOUS 25611 HAS SOUPS 25282 WITH SCORE 25399.153
AT ITER 314 NEW BEST:: SOT 146182 SOS 117127 HAS SOPS 82705 HAS SOUS 25561 HAS SOUPS 25232 WITH SCORE 25349.127
AT ITER 323 NEW BEST:: SOT 146058 SOS 117077 HAS SOPS 82655 HAS SOUS 25545 HAS SOUPS 25216 WITH SCORE 25333.077
AT ITER 324 NEW BEST:: SOT 144325 SOS 115401 HAS SOPS 80978 HAS SOUS 24805 HAS SOUPS 24476 WITH SCORE 24591.401
AT ITER 330 NEW BEST:: SOT 144228 SOS 115212 HAS SOPS 80784 HAS SOUS 24578 HAS SOUPS 24249 WITH SCORE 24364.212
AT ITER 333 NEW BEST:: SOT 144208 SOS 115192 HAS SOPS 80764 HAS SOUS 24563 HAS SOUPS 24234 WITH SCORE 24349.192
AT ITER 338 NEW BEST:: SOT 144207 SOS 115209 HAS SOPS 80762 HAS SOUS 24562 HAS SOUPS 24233 WITH SCORE 24348.209
AT ITER 339 NEW BEST:: SOT 144212 SOS 115209 HAS SOPS 80762 HAS SOUS 24557 HAS SOUPS 24228 WITH SCORE 24343.209
AT ITER 341 NEW BEST:: SOT 144172 SOS 115177 HAS SOPS 80729 HAS SOUS 24556 HAS SOUPS 24227 WITH SCORE 24342.177
AT ITER 344 NEW BEST:: SOT 144168 SOS 115171 HAS SOPS 80321 HAS SOUS 23875 HAS SOUPS 23546 WITH SCORE 23661.171
AT ITER 353 NEW BEST:: SOT 144154 SOS 115061 HAS SOPS 80211 HAS SOUS 23779 HAS SOUPS 23450 WITH SCORE 23565.061
AT ITER 357 NEW BEST:: SOT 144178 SOS 115099 HAS SOPS 80171 HAS SOUS 23739 HAS SOUPS 23410 WITH SCORE 23525.099
AT ITER 358 NEW BEST:: SOT 143637 SOS 114525 HAS SOPS 79688 HAS SOUS 23521 HAS SOUPS 23192 WITH SCORE 23306.525
AT ITER 359 NEW BEST:: SOT 143536 SOS 113969 HAS SOPS 78464 HAS SOUS 23283 HAS SOUPS 22954 WITH SCORE 23067.969
AT ITER 362 NEW BEST:: SOT 143355 SOS 113684 HAS SOPS 78102 HAS SOUS 22921 HAS SOUPS 22592 WITH SCORE 22705.684
AT ITER 373 NEW BEST:: SOT 143319 SOS 113587 HAS SOPS 77966 HAS SOUS 22787 HAS SOUPS 22458 WITH SCORE 22571.587
AT ITER 379 NEW BEST:: SOT 143319 SOS 113586 HAS SOPS 77949 HAS SOUS 22759 HAS SOUPS 22430 WITH SCORE 22543.586
AT ITER 382 NEW BEST:: SOT 143376 SOS 113594 HAS SOPS 76834 HAS SOUS 21693 HAS SOUPS 21370 WITH SCORE 21483.594
AT ITER 386 NEW BEST:: SOT 143366 SOS 113511 HAS SOPS 76746 HAS SOUS 21547 HAS SOUPS 21224 WITH SCORE 21337.511
AT ITER 390 NEW BEST:: SOT 143362 SOS 113507 HAS SOPS 76738 HAS SOUS 21554 HAS SOUPS 21216 WITH SCORE 21329.507
AT ITER 396 NEW BEST:: SOT 143392 SOS 113469 HAS SOPS 76730 HAS SOUS 21546 HAS SOUPS 21208 WITH SCORE 21321.469
AT ITER 402 NEW BEST:: SOT 143371 SOS 113427 HAS SOPS 76688 HAS SOUS 21511 HAS SOUPS 21173 WITH SCORE 21286.427
AT ITER 403 NEW BEST:: SOT 143359 SOS 113383 HAS SOPS 76664 HAS SOUS 21493 HAS SOUPS 21155 WITH SCORE 21268.383
AT ITER 408 NEW BEST:: SOT 143280 SOS 113249 HAS SOPS 76506 HAS SOUS 21354 HAS SOUPS 21016 WITH SCORE 21129.249
AT ITER 416 NEW BEST:: SOT 143304 SOS 113249 HAS SOPS 76499 HAS SOUS 21329 HAS SOUPS 20991 WITH SCORE 21104.249
AT ITER 421 NEW BEST:: SOT 143300 SOS 113245 HAS SOPS 76491 HAS SOUS 21321 HAS SOUPS 20983 WITH SCORE 21096.245
AT ITER 435 NEW BEST:: SOT 143272 SOS 113160 HAS SOPS 76435 HAS SOUS 21301 HAS SOUPS 20963 WITH SCORE 21076.16
AT ITER 447 NEW BEST:: SOT 143295 SOS 113107 HAS SOPS 76393 HAS SOUS 21234 HAS SOUPS 20896 WITH SCORE 21009.107
AT ITER 448 NEW BEST:: SOT 143295 SOS 113061 HAS SOPS 76161 HAS SOUS 20910 HAS SOUPS 20570 WITH SCORE 20683.061
AT ITER 451 NEW BEST:: SOT 143263 SOS 113061 HAS SOPS 76129 HAS SOUS 20880 HAS SOUPS 20540 WITH SCORE 20653.061
AT ITER 452 NEW BEST:: SOT 143184 SOS 112723 HAS SOPS 75797 HAS SOUS 20656 HAS SOUPS 20316 WITH SCORE 20428.723
AT ITER 469 NEW BEST:: SOT 143117 SOS 112535 HAS SOPS 75663 HAS SOUS 20522 HAS SOUPS 20182 WITH SCORE 20294.535
AT ITER 472 NEW BEST:: SOT 143159 SOS 112600 HAS SOPS 75698 HAS SOUS 20508 HAS SOUPS 20168 WITH SCORE 20280.6
AT ITER 475 NEW BEST:: SOT 143124 SOS 112552 HAS SOPS 75616 HAS SOUS 20451 HAS SOUPS 20111 WITH SCORE 20223.552
AT ITER 485 NEW BEST:: SOT 141703 SOS 111148 HAS SOPS 74722 HAS SOUS 20079 HAS SOUPS 19739 WITH SCORE 19850.148
AT ITER 487 NEW BEST:: SOT 141700 SOS 111142 HAS SOPS 74716 HAS SOUS 20079 HAS SOUPS 19739 WITH SCORE 19850.142
AT ITER 488 NEW BEST:: SOT 141714 SOS 111156 HAS SOPS 74212 HAS SOUS 19883 HAS SOUPS 19543 WITH SCORE 19654.156
AT ITER 506 NEW BEST:: SOT 141742 SOS 111119 HAS SOPS 74091 HAS SOUS 19800 HAS SOUPS 19460 WITH SCORE 19571.119
AT ITER 507 NEW BEST:: SOT 141675 SOS 110975 HAS SOPS 73880 HAS SOUS 19633 HAS SOUPS 19293 WITH SCORE 19403.975
AT ITER 508 NEW BEST:: SOT 141640 SOS 110914 HAS SOPS 73802 HAS SOUS 19580 HAS SOUPS 19240 WITH SCORE 19350.914
AT ITER 531 NEW BEST:: SOT 141499 SOS 110725 HAS SOPS 73625 HAS SOUS 19471 HAS SOUPS 19131 WITH SCORE 19241.725
AT ITER 542 NEW BEST:: SOT 141497 SOS 110727 HAS SOPS 73623 HAS SOUS 19467 HAS SOUPS 19127 WITH SCORE 19237.727
AT ITER 549 NEW BEST:: SOT 141458 SOS 110696 HAS SOPS 73545 HAS SOUS 19394 HAS SOUPS 19054 WITH SCORE 19164.696
AT ITER 552 NEW BEST:: SOT 141452 SOS 110689 HAS SOPS 73533 HAS SOUS 19382 HAS SOUPS 19042 WITH SCORE 19152.689
AT ITER 557 NEW BEST:: SOT 141420 SOS 110593 HAS SOPS 73437 HAS SOUS 19318 HAS SOUPS 18978 WITH SCORE 19088.593
AT ITER 564 NEW BEST:: SOT 140844 SOS 110017 HAS SOPS 72861 HAS SOUS 19030 HAS SOUPS 18690 WITH SCORE 18800.017
AT ITER 577 NEW BEST:: SOT 140773 SOS 109896 HAS SOPS 72719 HAS SOUS 18938 HAS SOUPS 18598 WITH SCORE 18707.896
AT ITER 579 NEW BEST:: SOT 140773 SOS 109896 HAS SOPS 72719 HAS SOUS 18914 HAS SOUPS 18574 WITH SCORE 18683.896
AT ITER 588 NEW BEST:: SOT 140765 SOS 109872 HAS SOPS 72695 HAS SOUS 18898 HAS SOUPS 18558 WITH SCORE 18667.872
AT ITER 591 NEW BEST:: SOT 140582 SOS 109739 HAS SOPS 72423 HAS SOUS 18614 HAS SOUPS 18274 WITH SCORE 18383.739
AT ITER 592 NEW BEST:: SOT 140582 SOS 109739 HAS SOPS 72423 HAS SOUS 18585 HAS SOUPS 18245 WITH SCORE 18354.739
AT ITER 593 NEW BEST:: SOT 140574 SOS 109731 HAS SOPS 72407 HAS SOUS 18569 HAS SOUPS 18229 WITH SCORE 18338.731
AT ITER 600 NEW BEST:: SOT 140557 SOS 109749 HAS SOPS 72407 HAS SOUS 18570 HAS SOUPS 18222 WITH SCORE 18331.749
AT ITER 605 NEW BEST:: SOT 140557 SOS 109757 HAS SOPS 72387 HAS SOUS 18448 HAS SOUPS 18100 WITH SCORE 18209.757
AT ITER 609 NEW BEST:: SOT 140466 SOS 109566 HAS SOPS 72205 HAS SOUS 18325 HAS SOUPS 17977 WITH SCORE 18086.566
AT ITER 623 NEW BEST:: SOT 140364 SOS 109604 HAS SOPS 72459 HAS SOUS 18309 HAS SOUPS 17961 WITH SCORE 18070.604
AT ITER 624 NEW BEST:: SOT 140344 SOS 109546 HAS SOPS 72401 HAS SOUS 18271 HAS SOUPS 17923 WITH SCORE 18032.546
AT ITER 628 NEW BEST:: SOT 140245 SOS 109348 HAS SOPS 72150 HAS SOUS 18119 HAS SOUPS 17771 WITH SCORE 17880.348
AT ITER 638 NEW BEST:: SOT 140250 SOS 109271 HAS SOPS 72048 HAS SOUS 18061 HAS SOUPS 17713 WITH SCORE 17822.271
AT ITER 652 NEW BEST:: SOT 140191 SOS 109221 HAS SOPS 72012 HAS SOUS 18025 HAS SOUPS 17677 WITH SCORE 17786.221
AT ITER 664 NEW BEST:: SOT 140121 SOS 109007 HAS SOPS 71824 HAS SOUS 17885 HAS SOUPS 17537 WITH SCORE 17646.007
AT ITER 669 NEW BEST:: SOT 140029 SOS 108758 HAS SOPS 71516 HAS SOUS 17633 HAS SOUPS 17285 WITH SCORE 17393.758
AT ITER 684 NEW BEST:: SOT 140016 SOS 108745 HAS SOPS 71490 HAS SOUS 17607 HAS SOUPS 17259 WITH SCORE 17367.745
AT ITER 712 NEW BEST:: SOT 140014 SOS 108737 HAS SOPS 71480 HAS SOUS 17591 HAS SOUPS 17243 WITH SCORE 17351.737
AT ITER 718 NEW BEST:: SOT 140017 SOS 108740 HAS SOPS 71483 HAS SOUS 17581 HAS SOUPS 17233 WITH SCORE 17341.74
AT ITER 725 NEW BEST:: SOT 140017 SOS 108740 HAS SOPS 71483 HAS SOUS 17523 HAS SOUPS 17175 WITH SCORE 17283.74
AT ITER 735 NEW BEST:: SOT 139982 SOS 108665 HAS SOPS 71413 HAS SOUS 17436 HAS SOUPS 17088 WITH SCORE 17196.665
AT ITER 753 NEW BEST:: SOT 139984 SOS 108307 HAS SOPS 71053 HAS SOUS 17423 HAS SOUPS 17075 WITH SCORE 17183.307
AT ITER 754 NEW BEST:: SOT 139983 SOS 108341 HAS SOPS 71087 HAS SOUS 17421 HAS SOUPS 17073 WITH SCORE 17181.341
AT ITER 761 NEW BEST:: SOT 139962 SOS 108313 HAS SOPS 71052 HAS SOUS 17386 HAS SOUPS 17038 WITH SCORE 17146.313
AT ITER 771 NEW BEST:: SOT 139969 SOS 108320 HAS SOPS 71059 HAS SOUS 17379 HAS SOUPS 17031 WITH SCORE 17139.32
AT ITER 776 NEW BEST:: SOT 139923 SOS 108228 HAS SOPS 70967 HAS SOUS 17315 HAS SOUPS 16967 WITH SCORE 17075.228
AT ITER 777 NEW BEST:: SOT 139919 SOS 108216 HAS SOPS 70955 HAS SOUS 17307 HAS SOUPS 16959 WITH SCORE 17067.216
AT ITER 786 NEW BEST:: SOT 139809 SOS 107866 HAS SOPS 70495 HAS SOUS 16967 HAS SOUPS 16619 WITH SCORE 16726.866
AT ITER 805 NEW BEST:: SOT 139786 SOS 107843 HAS SOPS 70472 HAS SOUS 16944 HAS SOUPS 16596 WITH SCORE 16703.843
AT ITER 815 NEW BEST:: SOT 139735 SOS 108661 HAS SOPS 70407 HAS SOUS 16933 HAS SOUPS 16572 WITH SCORE 16680.661
AT ITER 816 NEW BEST:: SOT 139727 SOS 108587 HAS SOPS 70333 HAS SOUS 16859 HAS SOUPS 16498 WITH SCORE 16606.587
AT ITER 817 NEW BEST:: SOT 139726 SOS 108585 HAS SOPS 70331 HAS SOUS 16858 HAS SOUPS 16497 WITH SCORE 16605.585
AT ITER 819 NEW BEST:: SOT 139676 SOS 108473 HAS SOPS 70231 HAS SOUS 16819 HAS SOUPS 16458 WITH SCORE 16566.473
AT ITER 833 NEW BEST:: SOT 139670 SOS 108486 HAS SOPS 70214 HAS SOUS 16795 HAS SOUPS 16434 WITH SCORE 16542.486
AT ITER 836 NEW BEST:: SOT 139670 SOS 108453 HAS SOPS 70181 HAS SOUS 16762 HAS SOUPS 16401 WITH SCORE 16509.453
AT ITER 840 NEW BEST:: SOT 139635 SOS 108384 HAS SOPS 70112 HAS SOUS 16742 HAS SOUPS 16381 WITH SCORE 16489.384
AT ITER 843 NEW BEST:: SOT 139622 SOS 108337 HAS SOPS 70066 HAS SOUS 16699 HAS SOUPS 16338 WITH SCORE 16446.337
AT ITER 857 NEW BEST:: SOT 139640 SOS 108311 HAS SOPS 70040 HAS SOUS 16673 HAS SOUPS 16312 WITH SCORE 16420.311
AT ITER 861 NEW BEST:: SOT 139682 SOS 108294 HAS SOPS 70040 HAS SOUS 16648 HAS SOUPS 16287 WITH SCORE 16395.294
AT ITER 867 NEW BEST:: SOT 139682 SOS 108280 HAS SOPS 70026 HAS SOUS 16620 HAS SOUPS 16259 WITH SCORE 16367.28
AT ITER 868 NEW BEST:: SOT 139686 SOS 108232 HAS SOPS 69930 HAS SOUS 16542 HAS SOUPS 16181 WITH SCORE 16289.232
AT ITER 876 NEW BEST:: SOT 139918 SOS 108448 HAS SOPS 70024 HAS SOUS 16530 HAS SOUPS 16169 WITH SCORE 16277.448
AT ITER 878 NEW BEST:: SOT 139917 SOS 108521 HAS SOPS 70022 HAS SOUS 16517 HAS SOUPS 16156 WITH SCORE 16264.521
AT ITER 885 NEW BEST:: SOT 139889 SOS 108501 HAS SOPS 69966 HAS SOUS 16453 HAS SOUPS 16092 WITH SCORE 16200.501
AT ITER 887 NEW BEST:: SOT 139885 SOS 108494 HAS SOPS 69958 HAS SOUS 16448 HAS SOUPS 16087 WITH SCORE 16195.494
AT ITER 888 NEW BEST:: SOT 139880 SOS 108489 HAS SOPS 69948 HAS SOUS 16438 HAS SOUPS 16077 WITH SCORE 16185.489
AT ITER 890 NEW BEST:: SOT 139880 SOS 108489 HAS SOPS 69948 HAS SOUS 16435 HAS SOUPS 16074 WITH SCORE 16182.489
AT ITER 894 NEW BEST:: SOT 139872 SOS 108475 HAS SOPS 69938 HAS SOUS 16425 HAS SOUPS 16064 WITH SCORE 16172.475
AT ITER 912 NEW BEST:: SOT 139855 SOS 108431 HAS SOPS 69904 HAS SOUS 16391 HAS SOUPS 16030 WITH SCORE 16138.431
AT ITER 921 NEW BEST:: SOT 139851 SOS 108425 HAS SOPS 69896 HAS SOUS 16387 HAS SOUPS 16026 WITH SCORE 16134.425
AT ITER 926 NEW BEST:: SOT 139856 SOS 108425 HAS SOPS 69893 HAS SOUS 16376 HAS SOUPS 16015 WITH SCORE 16123.425
AT ITER 928 NEW BEST:: SOT 139808 SOS 108315 HAS SOPS 69797 HAS SOUS 16307 HAS SOUPS 15946 WITH SCORE 16054.315
AT ITER 931 NEW BEST:: SOT 139814 SOS 108311 HAS SOPS 69796 HAS SOUS 16303 HAS SOUPS 15942 WITH SCORE 16050.311
AT ITER 933 NEW BEST:: SOT 139756 SOS 108188 HAS SOPS 69642 HAS SOUS 16147 HAS SOUPS 15786 WITH SCORE 15894.188
AT ITER 943 NEW BEST:: SOT 139755 SOS 108187 HAS SOPS 69640 HAS SOUS 16145 HAS SOUPS 15784 WITH SCORE 15892.187
AT ITER 974 NEW BEST:: SOT 139755 SOS 108130 HAS SOPS 69583 HAS SOUS 16088 HAS SOUPS 15727 WITH SCORE 15835.13
AT ITER 984 NEW BEST:: SOT 139744 SOS 108097 HAS SOPS 69187 HAS SOUS 15890 HAS SOUPS 15529 WITH SCORE 15637.097
AT ITER 998 NEW BEST:: SOT 139714 SOS 108064 HAS SOPS 69177 HAS SOUS 15880 HAS SOUPS 15519 WITH SCORE 15627.064
AT ITER 1001 NEW BEST:: SOT 139719 SOS 108045 HAS SOPS 69115 HAS SOUS 15724 HAS SOUPS 15361 WITH SCORE 15469.045
AT ITER 1007 NEW BEST:: SOT 139715 SOS 107991 HAS SOPS 69033 HAS SOUS 15618 HAS SOUPS 15255 WITH SCORE 15362.991
AT ITER 1008 NEW BEST:: SOT 139606 SOS 108054 HAS SOPS 69096 HAS SOUS 15568 HAS SOUPS 15205 WITH SCORE 15313.054
AT ITER 1029 NEW BEST:: SOT 139607 SOS 107986 HAS SOPS 69054 HAS SOUS 15541 HAS SOUPS 15178 WITH SCORE 15285.986
AT ITER 1034 NEW BEST:: SOT 139600 SOS 107950 HAS SOPS 69052 HAS SOUS 15539 HAS SOUPS 15176 WITH SCORE 15283.95
AT ITER 1043 NEW BEST:: SOT 139578 SOS 107928 HAS SOPS 69008 HAS SOUS 15507 HAS SOUPS 15144 WITH SCORE 15251.928
AT ITER 1044 NEW BEST:: SOT 139555 SOS 107905 HAS SOPS 68985 HAS SOUS 15484 HAS SOUPS 15121 WITH SCORE 15228.905
AT ITER 1046 NEW BEST:: SOT 139546 SOS 107858 HAS SOPS 68967 HAS SOUS 15457 HAS SOUPS 15094 WITH SCORE 15201.858
AT ITER 1047 NEW BEST:: SOT 139542 SOS 107879 HAS SOPS 68959 HAS SOUS 15449 HAS SOUPS 15086 WITH SCORE 15193.879
AT ITER 1048 NEW BEST:: SOT 139530 SOS 107849 HAS SOPS 68485 HAS SOUS 15128 HAS SOUPS 14765 WITH SCORE 14872.849
AT ITER 1074 NEW BEST:: SOT 139506 SOS 107809 HAS SOPS 68297 HAS SOUS 14878 HAS SOUPS 14515 WITH SCORE 14622.809
AT ITER 1088 NEW BEST:: SOT 139298 SOS 107617 HAS SOPS 68105 HAS SOUS 14790 HAS SOUPS 14427 WITH SCORE 14534.617
AT ITER 1101 NEW BEST:: SOT 139298 SOS 107646 HAS SOPS 68123 HAS SOUS 14775 HAS SOUPS 14412 WITH SCORE 14519.646
AT ITER 1121 NEW BEST:: SOT 139264 SOS 107612 HAS SOPS 68079 HAS SOUS 14731 HAS SOUPS 14368 WITH SCORE 14475.612
AT ITER 1122 NEW BEST:: SOT 139280 SOS 107612 HAS SOPS 68079 HAS SOUS 14715 HAS SOUPS 14352 WITH SCORE 14459.612
AT ITER 1163 NEW BEST:: SOT 139280 SOS 107612 HAS SOPS 68079 HAS SOUS 14713 HAS SOUPS 14350 WITH SCORE 14457.612
AT ITER 1164 NEW BEST:: SOT 139280 SOS 107609 HAS SOPS 68076 HAS SOUS 14710 HAS SOUPS 14347 WITH SCORE 14454.609
AT ITER 1175 NEW BEST:: SOT 139212 SOS 107516 HAS SOPS 67940 HAS SOUS 14605 HAS SOUPS 14242 WITH SCORE 14349.516
AT ITER 1179 NEW BEST:: SOT 139202 SOS 107472 HAS SOPS 67892 HAS SOUS 14565 HAS SOUPS 14202 WITH SCORE 14309.472
AT ITER 1182 NEW BEST:: SOT 139180 SOS 107470 HAS SOPS 67870 HAS SOUS 14543 HAS SOUPS 14180 WITH SCORE 14287.47
AT ITER 1187 NEW BEST:: SOT 139102 SOS 107452 HAS SOPS 67782 HAS SOUS 14452 HAS SOUPS 14089 WITH SCORE 14196.452
AT ITER 1214 NEW BEST:: SOT 139100 SOS 107449 HAS SOPS 67778 HAS SOUS 14449 HAS SOUPS 14086 WITH SCORE 14193.449
AT ITER 1215 NEW BEST:: SOT 139067 SOS 107416 HAS SOPS 67745 HAS SOUS 14449 HAS SOUPS 14086 WITH SCORE 14193.416
AT ITER 1236 NEW BEST:: SOT 139049 SOS 108128 HAS SOPS 67723 HAS SOUS 14439 HAS SOUPS 14074 WITH SCORE 14182.128
AT ITER 1246 NEW BEST:: SOT 139035 SOS 108154 HAS SOPS 67725 HAS SOUS 14431 HAS SOUPS 14066 WITH SCORE 14174.154
AT ITER 1280 NEW BEST:: SOT 139012 SOS 108093 HAS SOPS 67660 HAS SOUS 14385 HAS SOUPS 14020 WITH SCORE 14128.093
AT ITER 1297 NEW BEST:: SOT 138995 SOS 108048 HAS SOPS 67598 HAS SOUS 14323 HAS SOUPS 13958 WITH SCORE 14066.048
AT ITER 1299 NEW BEST:: SOT 138989 SOS 108037 HAS SOPS 67588 HAS SOUS 14315 HAS SOUPS 13950 WITH SCORE 14058.037
AT ITER 1301 NEW BEST:: SOT 138975 SOS 107994 HAS SOPS 67545 HAS SOUS 14262 HAS SOUPS 13907 WITH SCORE 14014.994
AT ITER 1318 NEW BEST:: SOT 139131 SOS 108158 HAS SOPS 67129 HAS SOUS 14222 HAS SOUPS 13867 WITH SCORE 13975.158
AT ITER 1343 NEW BEST:: SOT 139131 SOS 108165 HAS SOPS 67129 HAS SOUS 14215 HAS SOUPS 13860 WITH SCORE 13968.165
AT ITER 1345 NEW BEST:: SOT 139127 SOS 108147 HAS SOPS 67113 HAS SOUS 14197 HAS SOUPS 13842 WITH SCORE 13950.147
AT ITER 1362 NEW BEST:: SOT 139102 SOS 108097 HAS SOPS 67088 HAS SOUS 14172 HAS SOUPS 13817 WITH SCORE 13925.097
AT ITER 1374 NEW BEST:: SOT 139093 SOS 108093 HAS SOPS 67070 HAS SOUS 14145 HAS SOUPS 13790 WITH SCORE 13898.093
AT ITER 1405 NEW BEST:: SOT 139093 SOS 108092 HAS SOPS 67069 HAS SOUS 14145 HAS SOUPS 13790 WITH SCORE 13898.092
AT ITER 1407 NEW BEST:: SOT 139062 SOS 108061 HAS SOPS 67020 HAS SOUS 14109 HAS SOUPS 13754 WITH SCORE 13862.061
AT ITER 1413 NEW BEST:: SOT 139022 SOS 107971 HAS SOPS 66940 HAS SOUS 14059 HAS SOUPS 13704 WITH SCORE 13811.971
AT ITER 1428 NEW BEST:: SOT 139010 SOS 107960 HAS SOPS 66929 HAS SOUS 14058 HAS SOUPS 13703 WITH SCORE 13810.96
AT ITER 1433 NEW BEST:: SOT 139010 SOS 107948 HAS SOPS 66917 HAS SOUS 14046 HAS SOUPS 13691 WITH SCORE 13798.948
AT ITER 1435 NEW BEST:: SOT 138995 SOS 107927 HAS SOPS 66887 HAS SOUS 14016 HAS SOUPS 13661 WITH SCORE 13768.927
AT ITER 1460 NEW BEST:: SOT 138950 SOS 107857 HAS SOPS 66797 HAS SOUS 13946 HAS SOUPS 13591 WITH SCORE 13698.857
AT ITER 1467 NEW BEST:: SOT 138945 SOS 107852 HAS SOPS 66787 HAS SOUS 13941 HAS SOUPS 13586 WITH SCORE 13693.852
AT ITER 1468 NEW BEST:: SOT 138940 SOS 107834 HAS SOPS 66769 HAS SOUS 13933 HAS SOUPS 13578 WITH SCORE 13685.834
AT ITER 1471 NEW BEST:: SOT 138923 SOS 107817 HAS SOPS 66752 HAS SOUS 13916 HAS SOUPS 13561 WITH SCORE 13668.817
AT ITER 1490 NEW BEST:: SOT 138923 SOS 107810 HAS SOPS 66741 HAS SOUS 13904 HAS SOUPS 13549 WITH SCORE 13656.81
AT ITER 1493 NEW BEST:: SOT 138922 SOS 107808 HAS SOPS 66712 HAS SOUS 13880 HAS SOUPS 13525 WITH SCORE 13632.808
AT ITER 1499 NEW BEST:: SOT 138921 SOS 107806 HAS SOPS 66710 HAS SOUS 13869 HAS SOUPS 13514 WITH SCORE 13621.806
AT ITER 1503 NEW BEST:: SOT 138913 SOS 107790 HAS SOPS 66694 HAS SOUS 13853 HAS SOUPS 13498 WITH SCORE 13605.79
AT ITER 1505 NEW BEST:: SOT 138737 SOS 107606 HAS SOPS 66502 HAS SOUS 13757 HAS SOUPS 13402 WITH SCORE 13509.606
AT ITER 1521 NEW BEST:: SOT 138731 SOS 107534 HAS SOPS 66437 HAS SOUS 13739 HAS SOUPS 13384 WITH SCORE 13491.534
AT ITER 1524 NEW BEST:: SOT 138733 SOS 107537 HAS SOPS 66391 HAS SOUS 13733 HAS SOUPS 13378 WITH SCORE 13485.537
AT ITER 1525 NEW BEST:: SOT 138682 SOS 107484 HAS SOPS 66323 HAS SOUS 13676 HAS SOUPS 13321 WITH SCORE 13428.484
AT ITER 1528 NEW BEST:: SOT 138681 SOS 107483 HAS SOPS 66321 HAS SOUS 13675 HAS SOUPS 13320 WITH SCORE 13427.483
AT ITER 1535 NEW BEST:: SOT 138671 SOS 107463 HAS SOPS 66291 HAS SOUS 13645 HAS SOUPS 13290 WITH SCORE 13397.463
AT ITER 1538 NEW BEST:: SOT 138665 SOS 107451 HAS SOPS 66279 HAS SOUS 13639 HAS SOUPS 13284 WITH SCORE 13391.451
AT ITER 1539 NEW BEST:: SOT 138664 SOS 107448 HAS SOPS 66276 HAS SOUS 13637 HAS SOUPS 13282 WITH SCORE 13389.448
AT ITER 1561 NEW BEST:: SOT 138442 SOS 107228 HAS SOPS 66056 HAS SOUS 13534 HAS SOUPS 13179 WITH SCORE 13286.228
AT ITER 1576 NEW BEST:: SOT 138427 SOS 107198 HAS SOPS 66026 HAS SOUS 13504 HAS SOUPS 13149 WITH SCORE 13256.198
AT ITER 1603 NEW BEST:: SOT 138422 SOS 107183 HAS SOPS 66011 HAS SOUS 13494 HAS SOUPS 13139 WITH SCORE 13246.183
AT ITER 1609 NEW BEST:: SOT 138421 SOS 107182 HAS SOPS 66009 HAS SOUS 13492 HAS SOUPS 13137 WITH SCORE 13244.182
AT ITER 1619 NEW BEST:: SOT 138419 SOS 107180 HAS SOPS 66007 HAS SOUS 13492 HAS SOUPS 13137 WITH SCORE 13244.18
AT ITER 1625 NEW BEST:: SOT 138419 SOS 107179 HAS SOPS 66006 HAS SOUS 13491 HAS SOUPS 13136 WITH SCORE 13243.179
AT ITER 1627 NEW BEST:: SOT 138467 SOS 107189 HAS SOPS 65992 HAS SOUS 13480 HAS SOUPS 13122 WITH SCORE 13229.189
AT ITER 1634 NEW BEST:: SOT 138466 SOS 107185 HAS SOPS 65990 HAS SOUS 13474 HAS SOUPS 13116 WITH SCORE 13223.185
AT ITER 1653 NEW BEST:: SOT 138466 SOS 107185 HAS SOPS 65987 HAS SOUS 13471 HAS SOUPS 13113 WITH SCORE 13220.185
AT ITER 1667 NEW BEST:: SOT 138466 SOS 107183 HAS SOPS 65987 HAS SOUS 13471 HAS SOUPS 13113 WITH SCORE 13220.183
AT ITER 1689 NEW BEST:: SOT 138335 SOS 106928 HAS SOPS 65725 HAS SOUS 13311 HAS SOUPS 12953 WITH SCORE 13059.928
AT ITER 1692 NEW BEST:: SOT 138321 SOS 106884 HAS SOPS 65682 HAS SOUS 13283 HAS SOUPS 12925 WITH SCORE 13031.884
AT ITER 1703 NEW BEST:: SOT 138271 SOS 106756 HAS SOPS 65582 HAS SOUS 13183 HAS SOUPS 12825 WITH SCORE 12931.756
AT ITER 1738 NEW BEST:: SOT 138271 SOS 106756 HAS SOPS 65582 HAS SOUS 13182 HAS SOUPS 12824 WITH SCORE 12930.756
AT ITER 1750 NEW BEST:: SOT 138245 SOS 106712 HAS SOPS 65530 HAS SOUS 13158 HAS SOUPS 12800 WITH SCORE 12906.712
AT ITER 1802 NEW BEST:: SOT 138245 SOS 106726 HAS SOPS 65530 HAS SOUS 13144 HAS SOUPS 12786 WITH SCORE 12892.726
AT ITER 1842 NEW BEST:: SOT 138166 SOS 106592 HAS SOPS 65372 HAS SOUS 13018 HAS SOUPS 12660 WITH SCORE 12766.592
AT ITER 1848 NEW BEST:: SOT 138165 SOS 106590 HAS SOPS 65370 HAS SOUS 13017 HAS SOUPS 12659 WITH SCORE 12765.59
AT ITER 1854 NEW BEST:: SOT 138119 SOS 106526 HAS SOPS 65306 HAS SOUS 12953 HAS SOUPS 12595 WITH SCORE 12701.526
AT ITER 1855 NEW BEST:: SOT 138119 SOS 106532 HAS SOPS 65300 HAS SOUS 12889 HAS SOUPS 12531 WITH SCORE 12637.532
AT ITER 1863 NEW BEST:: SOT 138120 SOS 106533 HAS SOPS 65296 HAS SOUS 12885 HAS SOUPS 12527 WITH SCORE 12633.533
AT ITER 1865 NEW BEST:: SOT 138183 SOS 106275 HAS SOPS 64822 HAS SOUS 12879 HAS SOUPS 12521 WITH SCORE 12627.275
AT ITER 1888 NEW BEST:: SOT 138130 SOS 106222 HAS SOPS 64760 HAS SOUS 12807 HAS SOUPS 12459 WITH SCORE 12565.222
AT ITER 1889 NEW BEST:: SOT 138176 SOS 106141 HAS SOPS 64679 HAS SOUS 12802 HAS SOUPS 12454 WITH SCORE 12560.141
AT ITER 1908 NEW BEST:: SOT 138170 SOS 106129 HAS SOPS 64667 HAS SOUS 12790 HAS SOUPS 12442 WITH SCORE 12548.129
AT ITER 1909 NEW BEST:: SOT 138155 SOS 106129 HAS SOPS 64652 HAS SOUS 12775 HAS SOUPS 12427 WITH SCORE 12533.129
AT ITER 1919 NEW BEST:: SOT 138111 SOS 106117 HAS SOPS 64596 HAS SOUS 12719 HAS SOUPS 12371 WITH SCORE 12477.117
AT ITER 1923 NEW BEST:: SOT 138104 SOS 106114 HAS SOPS 64593 HAS SOUS 12716 HAS SOUPS 12368 WITH SCORE 12474.114
AT ITER 1936 NEW BEST:: SOT 138107 SOS 106111 HAS SOPS 64593 HAS SOUS 12716 HAS SOUPS 12368 WITH SCORE 12474.111
AT ITER 1952 NEW BEST:: SOT 138110 SOS 106107 HAS SOPS 64592 HAS SOUS 12708 HAS SOUPS 12360 WITH SCORE 12466.107
AT ITER 1959 NEW BEST:: SOT 138100 SOS 106097 HAS SOPS 64582 HAS SOUS 12703 HAS SOUPS 12355 WITH SCORE 12461.097
AT ITER 1960 NEW BEST:: SOT 138054 SOS 106158 HAS SOPS 64574 HAS SOUS 12681 HAS SOUPS 12333 WITH SCORE 12439.158
AT ITER 1986 NEW BEST:: SOT 138046 SOS 106142 HAS SOPS 64558 HAS SOUS 12673 HAS SOUPS 12325 WITH SCORE 12431.142
AT ITER 1993 NEW BEST:: SOT 138033 SOS 106101 HAS SOPS 64517 HAS SOUS 12643 HAS SOUPS 12295 WITH SCORE 12401.101
AT ITER 1995 NEW BEST:: SOT 138025 SOS 106101 HAS SOPS 64509 HAS SOUS 12635 HAS SOUPS 12287 WITH SCORE 12393.101
AT ITER 2006 NEW BEST:: SOT 138025 SOS 106089 HAS SOPS 64509 HAS SOUS 12635 HAS SOUPS 12287 WITH SCORE 12393.089
AT ITER 2009 NEW BEST:: SOT 138025 SOS 106088 HAS SOPS 64409 HAS SOUS 12616 HAS SOUPS 12268 WITH SCORE 12374.088
AT ITER 2025 NEW BEST:: SOT 138033 SOS 105895 HAS SOPS 64216 HAS SOUS 12613 HAS SOUPS 12265 WITH SCORE 12370.895
AT ITER 2032 NEW BEST:: SOT 138089 SOS 106024 HAS SOPS 64328 HAS SOUS 12589 HAS SOUPS 12241 WITH SCORE 12347.024
AT ITER 2053 NEW BEST:: SOT 138086 SOS 106018 HAS SOPS 64322 HAS SOUS 12583 HAS SOUPS 12235 WITH SCORE 12341.018
AT ITER 2080 NEW BEST:: SOT 138082 SOS 106010 HAS SOPS 64314 HAS SOUS 12579 HAS SOUPS 12231 WITH SCORE 12337.01
AT ITER 2096 NEW BEST:: SOT 138071 SOS 106016 HAS SOPS 64307 HAS SOUS 12570 HAS SOUPS 12222 WITH SCORE 12328.016
AT ITER 2108 NEW BEST:: SOT 138087 SOS 105986 HAS SOPS 64283 HAS SOUS 12544 HAS SOUPS 12196 WITH SCORE 12301.986
AT ITER 2118 NEW BEST:: SOT 138079 SOS 105970 HAS SOPS 64267 HAS SOUS 12528 HAS SOUPS 12180 WITH SCORE 12285.97
AT ITER 2169 NEW BEST:: SOT 138069 SOS 105959 HAS SOPS 64247 HAS SOUS 12507 HAS SOUPS 12159 WITH SCORE 12264.959
AT ITER 2185 NEW BEST:: SOT 138067 SOS 105957 HAS SOPS 64243 HAS SOUS 12505 HAS SOUPS 12157 WITH SCORE 12262.957
AT ITER 2197 NEW BEST:: SOT 138066 SOS 105910 HAS SOPS 64230 HAS SOUS 12503 HAS SOUPS 12155 WITH SCORE 12260.91
AT ITER 2198 NEW BEST:: SOT 138012 SOS 105856 HAS SOPS 64176 HAS SOUS 12503 HAS SOUPS 12155 WITH SCORE 12260.856
AT ITER 2216 NEW BEST:: SOT 138010 SOS 105853 HAS SOPS 64172 HAS SOUS 12503 HAS SOUPS 12155 WITH SCORE 12260.853
AT ITER 2230 NEW BEST:: SOT 138009 SOS 105851 HAS SOPS 64170 HAS SOUS 12501 HAS SOUPS 12153 WITH SCORE 12258.851
AT ITER 2269 NEW BEST:: SOT 138005 SOS 105851 HAS SOPS 64166 HAS SOUS 12497 HAS SOUPS 12149 WITH SCORE 12254.851
AT ITER 2274 NEW BEST:: SOT 138001 SOS 105847 HAS SOPS 64160 HAS SOUS 12491 HAS SOUPS 12143 WITH SCORE 12248.847
AT ITER 2288 NEW BEST:: SOT 137991 SOS 105837 HAS SOPS 64140 HAS SOUS 12481 HAS SOUPS 12133 WITH SCORE 12238.837
AT ITER 2311 NEW BEST:: SOT 137996 SOS 105460 HAS SOPS 63763 HAS SOUS 12479 HAS SOUPS 12131 WITH SCORE 12236.46
AT ITER 2316 NEW BEST:: SOT 137996 SOS 105460 HAS SOPS 63763 HAS SOUS 12477 HAS SOUPS 12129 WITH SCORE 12234.46
AT ITER 2344 NEW BEST:: SOT 137995 SOS 105458 HAS SOPS 63761 HAS SOUS 12475 HAS SOUPS 12127 WITH SCORE 12232.458
AT ITER 2409 NEW BEST:: SOT 137995 SOS 105456 HAS SOPS 63759 HAS SOUS 12475 HAS SOUPS 12127 WITH SCORE 12232.456
AT ITER 2442 NEW BEST:: SOT 137995 SOS 105417 HAS SOPS 63708 HAS SOUS 12427 HAS SOUPS 12079 WITH SCORE 12184.417
AT ITER 2510 NEW BEST:: SOT 137952 SOS 105420 HAS SOPS 63671 HAS SOUS 12401 HAS SOUPS 12053 WITH SCORE 12158.42
AT ITER 2516 NEW BEST:: SOT 137957 SOS 105433 HAS SOPS 63681 HAS SOUS 12395 HAS SOUPS 12047 WITH SCORE 12152.433
AT ITER 2528 NEW BEST:: SOT 137949 SOS 105429 HAS SOPS 63671 HAS SOUS 12385 HAS SOUPS 12037 WITH SCORE 12142.429
AT ITER 2539 NEW BEST:: SOT 137947 SOS 105424 HAS SOPS 63665 HAS SOUS 12380 HAS SOUPS 12032 WITH SCORE 12137.424
AT ITER 2540 NEW BEST:: SOT 137935 SOS 105390 HAS SOPS 63641 HAS SOUS 12378 HAS SOUPS 12030 WITH SCORE 12135.39
AT ITER 2565 NEW BEST:: SOT 137932 SOS 105367 HAS SOPS 63635 HAS SOUS 12372 HAS SOUPS 12024 WITH SCORE 12129.367
AT ITER 2569 NEW BEST:: SOT 137917 SOS 105347 HAS SOPS 63605 HAS SOUS 12347 HAS SOUPS 11999 WITH SCORE 12104.347
AT ITER 2588 NEW BEST:: SOT 137444 SOS 104877 HAS SOPS 63151 HAS SOUS 12210 HAS SOUPS 11862 WITH SCORE 11966.877
AT ITER 2589 NEW BEST:: SOT 137443 SOS 104875 HAS SOPS 63145 HAS SOUS 12204 HAS SOUPS 11856 WITH SCORE 11960.875
AT ITER 2604 NEW BEST:: SOT 137440 SOS 104872 HAS SOPS 63139 HAS SOUS 12198 HAS SOUPS 11850 WITH SCORE 11954.872
AT ITER 2615 NEW BEST:: SOT 137385 SOS 105957 HAS SOPS 63069 HAS SOUS 12152 HAS SOUPS 11789 WITH SCORE 11894.957
AT ITER 2644 NEW BEST:: SOT 137383 SOS 105953 HAS SOPS 63011 HAS SOUS 12104 HAS SOUPS 11741 WITH SCORE 11846.953
AT ITER 2665 NEW BEST:: SOT 137382 SOS 105950 HAS SOPS 63008 HAS SOUS 12104 HAS SOUPS 11741 WITH SCORE 11846.95
AT ITER 2695 NEW BEST:: SOT 137302 SOS 105871 HAS SOPS 63028 HAS SOUS 12086 HAS SOUPS 11723 WITH SCORE 11828.871
AT ITER 2723 NEW BEST:: SOT 137297 SOS 105861 HAS SOPS 63010 HAS SOUS 12073 HAS SOUPS 11710 WITH SCORE 11815.861
AT ITER 2739 NEW BEST:: SOT 137295 SOS 105857 HAS SOPS 63004 HAS SOUS 12069 HAS SOUPS 11706 WITH SCORE 11811.857
AT ITER 2815 NEW BEST:: SOT 137295 SOS 105850 HAS SOPS 62997 HAS SOUS 12062 HAS SOUPS 11699 WITH SCORE 11804.85
AT ITER 2838 NEW BEST:: SOT 137243 SOS 105822 HAS SOPS 62942 HAS SOUS 12007 HAS SOUPS 11644 WITH SCORE 11749.822
AT ITER 2910 NEW BEST:: SOT 137243 SOS 105806 HAS SOPS 62926 HAS SOUS 11992 HAS SOUPS 11629 WITH SCORE 11734.806
AT ITER 2929 NEW BEST:: SOT 137229 SOS 105778 HAS SOPS 62898 HAS SOUS 11971 HAS SOUPS 11608 WITH SCORE 11713.778
AT ITER 2984 NEW BEST:: SOT 137225 SOS 105774 HAS SOPS 62890 HAS SOUS 11963 HAS SOUPS 11600 WITH SCORE 11705.774
AT ITER 3015 NEW BEST:: SOT 137243 SOS 105788 HAS SOPS 62693 HAS SOUS 11944 HAS SOUPS 11581 WITH SCORE 11686.788
AT ITER 3067 NEW BEST:: SOT 137238 SOS 105778 HAS SOPS 62683 HAS SOUS 11939 HAS SOUPS 11576 WITH SCORE 11681.778
AT ITER 3074 NEW BEST:: SOT 137232 SOS 105782 HAS SOPS 62691 HAS SOUS 11923 HAS SOUPS 11560 WITH SCORE 11665.782
AT ITER 3078 NEW BEST:: SOT 137257 SOS 105863 HAS SOPS 62741 HAS SOUS 11919 HAS SOUPS 11556 WITH SCORE 11661.863
AT ITER 3098 NEW BEST:: SOT 137271 SOS 105877 HAS SOPS 62731 HAS SOUS 11909 HAS SOUPS 11546 WITH SCORE 11651.877
AT ITER 3122 NEW BEST:: SOT 137255 SOS 105837 HAS SOPS 62699 HAS SOUS 11902 HAS SOUPS 11539 WITH SCORE 11644.837
AT ITER 3160 NEW BEST:: SOT 137248 SOS 105823 HAS SOPS 62678 HAS SOUS 11888 HAS SOUPS 11525 WITH SCORE 11630.823
AT ITER 3196 NEW BEST:: SOT 137245 SOS 105814 HAS SOPS 62669 HAS SOUS 11882 HAS SOUPS 11519 WITH SCORE 11624.814
AT ITER 3222 NEW BEST:: SOT 137235 SOS 105809 HAS SOPS 62654 HAS SOUS 11867 HAS SOUPS 11504 WITH SCORE 11609.809
AT ITER 3265 NEW BEST:: SOT 137225 SOS 105791 HAS SOPS 62634 HAS SOUS 11847 HAS SOUPS 11484 WITH SCORE 11589.791
AT ITER 3288 NEW BEST:: SOT 137225 SOS 105740 HAS SOPS 62583 HAS SOUS 11796 HAS SOUPS 11433 WITH SCORE 11538.74
AT ITER 3291 NEW BEST:: SOT 137222 SOS 105691 HAS SOPS 62531 HAS SOUS 11744 HAS SOUPS 11381 WITH SCORE 11486.691
AT ITER 3299 NEW BEST:: SOT 137221 SOS 105690 HAS SOPS 62530 HAS SOUS 11743 HAS SOUPS 11380 WITH SCORE 11485.69
AT ITER 3325 NEW BEST:: SOT 137216 SOS 105680 HAS SOPS 62520 HAS SOUS 11733 HAS SOUPS 11370 WITH SCORE 11475.68
AT ITER 3342 NEW BEST:: SOT 137216 SOS 105680 HAS SOPS 62516 HAS SOUS 11731 HAS SOUPS 11366 WITH SCORE 11471.68
AT ITER 3368 NEW BEST:: SOT 137229 SOS 105700 HAS SOPS 62542 HAS SOUS 11722 HAS SOUPS 11357 WITH SCORE 11462.7
AT ITER 3392 NEW BEST:: SOT 137224 SOS 105695 HAS SOPS 62532 HAS SOUS 11712 HAS SOUPS 11347 WITH SCORE 11452.695
AT ITER 3398 NEW BEST:: SOT 137220 SOS 105692 HAS SOPS 62524 HAS SOUS 11702 HAS SOUPS 11337 WITH SCORE 11442.692
AT ITER 3404 NEW BEST:: SOT 137194 SOS 105640 HAS SOPS 62472 HAS SOUS 11676 HAS SOUPS 11311 WITH SCORE 11416.64
AT ITER 3422 NEW BEST:: SOT 137187 SOS 105633 HAS SOPS 62458 HAS SOUS 11662 HAS SOUPS 11297 WITH SCORE 11402.633
AT ITER 3441 NEW BEST:: SOT 137190 SOS 105627 HAS SOPS 62456 HAS SOUS 11662 HAS SOUPS 11297 WITH SCORE 11402.627
AT ITER 3465 NEW BEST:: SOT 137190 SOS 105625 HAS SOPS 62454 HAS SOUS 11660 HAS SOUPS 11295 WITH SCORE 11400.625
AT ITER 3484 NEW BEST:: SOT 137132 SOS 105550 HAS SOPS 62362 HAS SOUS 11575 HAS SOUPS 11210 WITH SCORE 11315.55
AT ITER 3510 NEW BEST:: SOT 137121 SOS 105517 HAS SOPS 62329 HAS SOUS 11564 HAS SOUPS 11199 WITH SCORE 11304.517
AT ITER 3524 NEW BEST:: SOT 137115 SOS 105505 HAS SOPS 62317 HAS SOUS 11558 HAS SOUPS 11193 WITH SCORE 11298.505
AT ITER 3539 NEW BEST:: SOT 137115 SOS 105498 HAS SOPS 62299 HAS SOUS 11466 HAS SOUPS 11101 WITH SCORE 11206.498
AT ITER 3583 NEW BEST:: SOT 137112 SOS 105489 HAS SOPS 62293 HAS SOUS 11434 HAS SOUPS 11069 WITH SCORE 11174.489
AT ITER 3587 NEW BEST:: SOT 137109 SOS 105489 HAS SOPS 62290 HAS SOUS 11431 HAS SOUPS 11066 WITH SCORE 11171.489
AT ITER 3598 NEW BEST:: SOT 137107 SOS 105491 HAS SOPS 62288 HAS SOUS 11427 HAS SOUPS 11062 WITH SCORE 11167.491
AT ITER 3602 NEW BEST:: SOT 137098 SOS 105473 HAS SOPS 62270 HAS SOUS 11409 HAS SOUPS 11044 WITH SCORE 11149.473
AT ITER 3646 NEW BEST:: SOT 137092 SOS 105435 HAS SOPS 61942 HAS SOUS 11381 HAS SOUPS 11016 WITH SCORE 11121.435
AT ITER 3657 NEW BEST:: SOT 137093 SOS 105436 HAS SOPS 61944 HAS SOUS 11365 HAS SOUPS 11000 WITH SCORE 11105.436
AT ITER 3684 NEW BEST:: SOT 137093 SOS 105434 HAS SOPS 61943 HAS SOUS 11365 HAS SOUPS 11000 WITH SCORE 11105.434
AT ITER 3720 NEW BEST:: SOT 137086 SOS 105427 HAS SOPS 61929 HAS SOUS 11351 HAS SOUPS 10986 WITH SCORE 11091.427
AT ITER 3750 NEW BEST:: SOT 137083 SOS 105421 HAS SOPS 61923 HAS SOUS 11345 HAS SOUPS 10980 WITH SCORE 11085.421
AT ITER 3763 NEW BEST:: SOT 137070 SOS 105395 HAS SOPS 61884 HAS SOUS 11311 HAS SOUPS 10946 WITH SCORE 11051.395
AT ITER 3794 NEW BEST:: SOT 137017 SOS 105358 HAS SOPS 61814 HAS SOUS 11270 HAS SOUPS 10905 WITH SCORE 11010.358
AT ITER 3832 NEW BEST:: SOT 136887 SOS 105235 HAS SOPS 61740 HAS SOUS 11233 HAS SOUPS 10868 WITH SCORE 10973.235
AT ITER 3884 NEW BEST:: SOT 136883 SOS 105229 HAS SOPS 61732 HAS SOUS 11227 HAS SOUPS 10862 WITH SCORE 10967.229
AT ITER 3928 NEW BEST:: SOT 136859 SOS 105843 HAS SOPS 61690 HAS SOUS 11206 HAS SOUPS 10833 WITH SCORE 10938.843
AT ITER 3956 NEW BEST:: SOT 136858 SOS 105839 HAS SOPS 61688 HAS SOUS 11205 HAS SOUPS 10832 WITH SCORE 10937.839
AT ITER 4055 NEW BEST:: SOT 136850 SOS 105834 HAS SOPS 61686 HAS SOUS 11205 HAS SOUPS 10832 WITH SCORE 10937.834
AT ITER 4073 NEW BEST:: SOT 136835 SOS 105809 HAS SOPS 61656 HAS SOUS 11187 HAS SOUPS 10814 WITH SCORE 10919.809
AT ITER 4101 NEW BEST:: SOT 136761 SOS 105733 HAS SOPS 61610 HAS SOUS 11167 HAS SOUPS 10794 WITH SCORE 10899.733
AT ITER 4254 NEW BEST:: SOT 136769 SOS 105769 HAS SOPS 61637 HAS SOUS 11162 HAS SOUPS 10789 WITH SCORE 10894.769
AT ITER 4274 NEW BEST:: SOT 136768 SOS 105768 HAS SOPS 61635 HAS SOUS 11160 HAS SOUPS 10787 WITH SCORE 10892.768
AT ITER 4287 NEW BEST:: SOT 136775 SOS 105760 HAS SOPS 61631 HAS SOUS 11156 HAS SOUPS 10783 WITH SCORE 10888.76
AT ITER 4289 NEW BEST:: SOT 136774 SOS 105759 HAS SOPS 61629 HAS SOUS 11154 HAS SOUPS 10781 WITH SCORE 10886.759
AT ITER 4326 NEW BEST:: SOT 136713 SOS 105699 HAS SOPS 61570 HAS SOUS 11126 HAS SOUPS 10754 WITH SCORE 10859.699
AT ITER 4344 NEW BEST:: SOT 136714 SOS 105695 HAS SOPS 61566 HAS SOUS 11122 HAS SOUPS 10750 WITH SCORE 10855.695
AT ITER 4442 NEW BEST:: SOT 136714 SOS 105667 HAS SOPS 61546 HAS SOUS 11120 HAS SOUPS 10748 WITH SCORE 10853.667
AT ITER 4489 NEW BEST:: SOT 136713 SOS 105666 HAS SOPS 61544 HAS SOUS 11118 HAS SOUPS 10746 WITH SCORE 10851.666
AT ITER 4501 NEW BEST:: SOT 136709 SOS 105665 HAS SOPS 61540 HAS SOUS 11115 HAS SOUPS 10743 WITH SCORE 10848.665
AT ITER 4513 NEW BEST:: SOT 136698 SOS 105655 HAS SOPS 61586 HAS SOUS 11113 HAS SOUPS 10741 WITH SCORE 10846.655
AT ITER 4526 NEW BEST:: SOT 136689 SOS 105982 HAS SOPS 61573 HAS SOUS 11108 HAS SOUPS 10732 WITH SCORE 10837.982
AT ITER 4531 NEW BEST:: SOT 136689 SOS 105667 HAS SOPS 61263 HAS SOUS 11103 HAS SOUPS 10727 WITH SCORE 10832.667
AT ITER 4574 NEW BEST:: SOT 136682 SOS 105653 HAS SOPS 61249 HAS SOUS 11096 HAS SOUPS 10720 WITH SCORE 10825.653
AT ITER 4584 NEW BEST:: SOT 136656 SOS 105601 HAS SOPS 61184 HAS SOUS 11044 HAS SOUPS 10668 WITH SCORE 10773.601
AT ITER 4596 NEW BEST:: SOT 136656 SOS 105634 HAS SOPS 61184 HAS SOUS 11011 HAS SOUPS 10635 WITH SCORE 10740.634
AT ITER 4611 NEW BEST:: SOT 136641 SOS 105609 HAS SOPS 61154 HAS SOUS 10981 HAS SOUPS 10605 WITH SCORE 10710.609
AT ITER 4669 NEW BEST:: SOT 136633 SOS 105609 HAS SOPS 61146 HAS SOUS 10976 HAS SOUPS 10600 WITH SCORE 10705.609
AT ITER 4737 NEW BEST:: SOT 136622 SOS 105585 HAS SOPS 61124 HAS SOUS 10956 HAS SOUPS 10580 WITH SCORE 10685.585
AT ITER 4745 NEW BEST:: SOT 136621 SOS 105585 HAS SOPS 61123 HAS SOUS 10955 HAS SOUPS 10579 WITH SCORE 10684.585
AT ITER 4750 NEW BEST:: SOT 136609 SOS 105551 HAS SOPS 61077 HAS SOUS 10909 HAS SOUPS 10533 WITH SCORE 10638.551
AT ITER 4775 NEW BEST:: SOT 136599 SOS 105555 HAS SOPS 61057 HAS SOUS 10889 HAS SOUPS 10513 WITH SCORE 10618.555
AT ITER 4785 NEW BEST:: SOT 136596 SOS 105810 HAS SOPS 61051 HAS SOUS 10888 HAS SOUPS 10509 WITH SCORE 10614.81
AT ITER 4804 NEW BEST:: SOT 136612 SOS 105859 HAS SOPS 61083 HAS SOUS 10887 HAS SOUPS 10508 WITH SCORE 10613.859
AT ITER 4806 NEW BEST:: SOT 136585 SOS 105825 HAS SOPS 61043 HAS SOUS 10868 HAS SOUPS 10489 WITH SCORE 10594.825
AT ITER 4810 NEW BEST:: SOT 136585 SOS 105829 HAS SOPS 61043 HAS SOUS 10864 HAS SOUPS 10485 WITH SCORE 10590.829
AT ITER 4824 NEW BEST:: SOT 136576 SOS 105811 HAS SOPS 61025 HAS SOUS 10846 HAS SOUPS 10467 WITH SCORE 10572.811
AT ITER 4835 NEW BEST:: SOT 136573 SOS 105805 HAS SOPS 61016 HAS SOUS 10837 HAS SOUPS 10458 WITH SCORE 10563.805
AT ITER 4860 NEW BEST:: SOT 136570 SOS 105802 HAS SOPS 61010 HAS SOUS 10831 HAS SOUPS 10452 WITH SCORE 10557.802
AT ITER 4921 NEW BEST:: SOT 136569 SOS 105802 HAS SOPS 61009 HAS SOUS 10830 HAS SOUPS 10451 WITH SCORE 10556.802
AT ITER 4929 NEW BEST:: SOT 136557 SOS 105766 HAS SOPS 60973 HAS SOUS 10807 HAS SOUPS 10428 WITH SCORE 10533.766
AT ITER 4941 NEW BEST:: SOT 136553 SOS 105760 HAS SOPS 60965 HAS SOUS 10799 HAS SOUPS 10420 WITH SCORE 10525.76
AT ITER 4952 NEW BEST:: SOT 136553 SOS 105760 HAS SOPS 60965 HAS SOUS 10794 HAS SOUPS 10415 WITH SCORE 10520.76
AT ITER 4965 NEW BEST:: SOT 136570 SOS 105782 HAS SOPS 60980 HAS SOUS 10790 HAS SOUPS 10411 WITH SCORE 10516.782
AT ITER 4992 NEW BEST:: SOT 136565 SOS 105797 HAS SOPS 60984 HAS SOUS 10788 HAS SOUPS 10409 WITH SCORE 10514.797
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-00 (AG( (AF( (! ( ((potential((tk(P60)>=1) & (tk(P109)>=1) & (tk(P218)>=1)))) & ((potential((tk(P168)>=1) & (tk(P193)>=1) & (tk(P218)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-01 (! (AG( (! (AG( ((potential((tk(P13)>=1) & (tk(P156)>=1) & (tk(P218)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-02 (EU( (EF( ( ((potential((tk(P49)>=1) & (tk(P120)>=1) & (tk(P218)>=1)))) & ((potential((tk(P219)>=1) & (tk(P166)>=1)))) ))) , ((potential((tk(P13)>=1) & (tk(P72)>=1) & (tk(P218)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-03 ( ( (AF( (AG( ((potential((tk(P149)>=1) & (tk(P219)>=1)))))))) | (EX( ( ( ((potential((tk(P3)>=1) & (tk(P219)>=1)))) | ((potential((tk(P24)>=1) & (tk(P73)>=1) & (tk(P218)>=1)))) ) | ((potential((tk(P49)>=1) & (tk(P108)>=1) & (tk(P218)>=1)))) ))) ) | (AG( ( (! ( ((potential((tk(P12)>=1) & (tk(P85)>=1) & (tk(P218)>=1)))) & ((potential((tk(P15)>=1) & (tk(P219)>=1)))) )) | (EX( ((potential((tk(P56)>=1) & (tk(P219)>=1)))))) ))) )
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-04 (EF( (AX( ((potential((tk(P85)>=1) & (tk(P144)>=1) & (tk(P218)>=1))))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-05 (! ( (! (EF( ( ((potential((tk(P25)>=1) & (tk(P132)>=1) & (tk(P218)>=1)))) & ((potential((tk(P171)>=1) & (tk(P219)>=1)))) )))) | ((potential((tk(P37)>=1) & (tk(P120)>=1) & (tk(P218)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-06 (EF( ( (! (EF( ((potential((tk(P25)>=1) & (tk(P192)>=1) & (tk(P218)>=1))))))) | (EU( ((potential((tk(P36)>=1) & (tk(P61)>=1) & (tk(P218)>=1)))) , ((potential((tk(P197)>=1) & (tk(P219)>=1)))) )) )))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-07 (EF( ( (EG( ((potential((tk(P145)>=1) & (tk(P180)>=1) & (tk(P218)>=1)))))) & (AG( ((potential((tk(P24)>=1) & (tk(P145)>=1) & (tk(P218)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-08 ( (EF( (AG( (! ((potential((tk(P19)>=1) & (tk(P218)>=1))))))))) & ( (! ((potential((tk(P80)>=1) & (tk(P219)>=1))))) | (! ( ((potential((tk(P69)>=1)))) | (EG( ((potential((tk(P37)>=1) & (tk(P108)>=1) & (tk(P218)>=1)))))) )) ) )
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-09 (EF( ((potential((tk(P210)>=1))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-10 (EF( ((potential((tk(P128)>=1) & (tk(P219)>=1))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-11 (! ( ((potential((tk(P37)>=1) & (tk(P120)>=1) & (tk(P218)>=1)))) | (AG( ( ( ((potential((tk(P97)>=1) & (tk(P180)>=1) & (tk(P218)>=1)))) & ((potential((tk(P37)>=1) & (tk(P48)>=1) & (tk(P218)>=1)))) ) | (! ((potential((tk(P30)>=1))))) ))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-12 (AG( ((potential((tk(P13)>=1) & (tk(P84)>=1) & (tk(P218)>=1))))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-13 (EF( (AX( ( ( ((potential((tk(P181)>=1) & (tk(P216)>=1) & (tk(P218)>=1)))) & ((potential((tk(P2)>=1)))) ) & ( ((potential((tk(P49)>=1)))) | ((potential((tk(P65)>=1) & (tk(P219)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-14 ((potential((tk(P60)>=1) & (tk(P133)>=1) & (tk(P218)>=1))))
PROPERTY: FlexibleBarrier-PT-18a-CTLFireability-15 ( ( (EU( ((potential((tk(P139)>=1) & (tk(P218)>=1)))) , (! ((potential((tk(P84)>=1) & (tk(P181)>=1) & (tk(P218)>=1))))) )) & (AG( ( ((potential((tk(P120)>=1) & (tk(P145)>=1) & (tk(P218)>=1)))) & (! ((potential((tk(P60)>=1) & (tk(P193)>=1) & (tk(P218)>=1))))) ))) ) & (! ( ( ((potential((tk(P72)>=1) & (tk(P109)>=1) & (tk(P218)>=1)))) | (! ( ((potential((tk(P12)>=1) & (tk(P193)>=1) & (tk(P218)>=1)))) | ((potential((tk(P25)>=1) & (tk(P36)>=1) & (tk(P218)>=1)))) )) ) & ((potential((tk(P209)>=1) & (tk(P219)>=1)))) )) )

BK_STOP 1589443289143

--------------------
content from stderr:

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

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="FlexibleBarrier-PT-18a"
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 FlexibleBarrier-PT-18a, 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 r078-smll-158922972500372"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;