About the Execution of smart for NoC3x3-PT-4A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15797.440 | 2655021.00 | 2655069.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 '/local/x2003239/mcc2020-input.r108-csrt-158961250400380.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NoC3x3-PT-4A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400380
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 144K 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 NoC3x3-PT-4A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589641508984
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4A
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: 293 places, 608 transitions, 1905 arcs.
AT ITER 0 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.332
AT ITER 1 NEW BEST:: SOT 122564 SOS 105282 HAS SOPS 105282 HAS SOUS 53372 HAS SOUPS 53372 WITH SCORE 53477.282
AT ITER 2 NEW BEST:: SOT 123026 SOS 105128 HAS SOPS 105128 HAS SOUS 53246 HAS SOUPS 53246 WITH SCORE 53351.128
AT ITER 8 NEW BEST:: SOT 122578 SOS 104727 HAS SOPS 104727 HAS SOUS 53101 HAS SOUPS 53101 WITH SCORE 53205.727
AT ITER 13 NEW BEST:: SOT 122473 SOS 104622 HAS SOPS 104622 HAS SOUS 53056 HAS SOUPS 53056 WITH SCORE 53160.622
AT ITER 14 NEW BEST:: SOT 122845 SOS 104503 HAS SOPS 104503 HAS SOUS 53055 HAS SOUPS 53055 WITH SCORE 53159.503
AT ITER 15 NEW BEST:: SOT 122650 SOS 104344 HAS SOPS 104344 HAS SOUS 53039 HAS SOUPS 53039 WITH SCORE 53143.344
AT ITER 17 NEW BEST:: SOT 121546 SOS 102565 HAS SOPS 102565 HAS SOUS 52391 HAS SOUPS 52391 WITH SCORE 52493.565
AT ITER 19 NEW BEST:: SOT 121563 SOS 102514 HAS SOPS 102514 HAS SOUS 52391 HAS SOUPS 52391 WITH SCORE 52493.514
AT ITER 20 NEW BEST:: SOT 120994 SOS 101945 HAS SOPS 101945 HAS SOUS 51837 HAS SOUPS 51837 WITH SCORE 51938.945
AT ITER 27 NEW BEST:: SOT 120021 SOS 100972 HAS SOPS 100972 HAS SOUS 51346 HAS SOUPS 51346 WITH SCORE 51446.972
AT ITER 30 NEW BEST:: SOT 119245 SOS 100196 HAS SOPS 100196 HAS SOUS 50732 HAS SOUPS 50732 WITH SCORE 50832.196
AT ITER 33 NEW BEST:: SOT 118080 SOS 99031 HAS SOPS 99031 HAS SOUS 50091 HAS SOUPS 50091 WITH SCORE 50190.031
AT ITER 48 NEW BEST:: SOT 117608 SOS 98559 HAS SOPS 98559 HAS SOUS 49907 HAS SOUPS 49907 WITH SCORE 50005.559
AT ITER 49 NEW BEST:: SOT 117160 SOS 98111 HAS SOPS 98111 HAS SOUS 49457 HAS SOUPS 49457 WITH SCORE 49555.111
AT ITER 50 NEW BEST:: SOT 116894 SOS 97845 HAS SOPS 97845 HAS SOUS 49172 HAS SOUPS 49172 WITH SCORE 49269.845
AT ITER 52 NEW BEST:: SOT 116894 SOS 96377 HAS SOPS 96377 HAS SOUS 49171 HAS SOUPS 49171 WITH SCORE 49267.377
AT ITER 53 NEW BEST:: SOT 116502 SOS 96397 HAS SOPS 96397 HAS SOUS 49132 HAS SOUPS 49132 WITH SCORE 49228.397
AT ITER 54 NEW BEST:: SOT 116939 SOS 96428 HAS SOPS 96428 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49134.428
AT ITER 56 NEW BEST:: SOT 117098 SOS 96028 HAS SOPS 96028 HAS SOUS 49037 HAS SOUPS 49037 WITH SCORE 49133.028
AT ITER 58 NEW BEST:: SOT 117774 SOS 96296 HAS SOPS 96296 HAS SOUS 49026 HAS SOUPS 49026 WITH SCORE 49122.296
AT ITER 61 NEW BEST:: SOT 117722 SOS 96249 HAS SOPS 96249 HAS SOUS 48914 HAS SOUPS 48914 WITH SCORE 49010.249
AT ITER 62 NEW BEST:: SOT 117478 SOS 96005 HAS SOPS 96005 HAS SOUS 48602 HAS SOUPS 48602 WITH SCORE 48698.005
AT ITER 63 NEW BEST:: SOT 117478 SOS 96005 HAS SOPS 96005 HAS SOUS 48586 HAS SOUPS 48586 WITH SCORE 48682.005
AT ITER 64 NEW BEST:: SOT 116439 SOS 94966 HAS SOPS 94966 HAS SOUS 47989 HAS SOUPS 47989 WITH SCORE 48083.966
AT ITER 66 NEW BEST:: SOT 115288 SOS 93815 HAS SOPS 93815 HAS SOUS 47553 HAS SOUPS 47553 WITH SCORE 47646.815
AT ITER 67 NEW BEST:: SOT 115917 SOS 93764 HAS SOPS 93764 HAS SOUS 47408 HAS SOUPS 47408 WITH SCORE 47501.764
AT ITER 70 NEW BEST:: SOT 115835 SOS 93648 HAS SOPS 93648 HAS SOUS 47333 HAS SOUPS 47333 WITH SCORE 47426.648
AT ITER 72 NEW BEST:: SOT 115731 SOS 93544 HAS SOPS 93544 HAS SOUS 47249 HAS SOUPS 47249 WITH SCORE 47342.544
AT ITER 73 NEW BEST:: SOT 116371 SOS 93419 HAS SOPS 93419 HAS SOUS 46955 HAS SOUPS 46955 WITH SCORE 47048.419
AT ITER 79 NEW BEST:: SOT 116303 SOS 93590 HAS SOPS 93590 HAS SOUS 46940 HAS SOUPS 46940 WITH SCORE 47033.59
AT ITER 80 NEW BEST:: SOT 115174 SOS 92461 HAS SOPS 92461 HAS SOUS 46133 HAS SOUPS 46133 WITH SCORE 46225.461
AT ITER 82 NEW BEST:: SOT 115192 SOS 92479 HAS SOPS 92479 HAS SOUS 46127 HAS SOUPS 46127 WITH SCORE 46219.479
AT ITER 86 NEW BEST:: SOT 115162 SOS 92449 HAS SOPS 92449 HAS SOUS 46091 HAS SOUPS 46091 WITH SCORE 46183.449
AT ITER 89 NEW BEST:: SOT 115090 SOS 92359 HAS SOPS 92359 HAS SOUS 46053 HAS SOUPS 46053 WITH SCORE 46145.359
AT ITER 90 NEW BEST:: SOT 114496 SOS 91765 HAS SOPS 91765 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45910.765
AT ITER 92 NEW BEST:: SOT 113535 SOS 90649 HAS SOPS 90649 HAS SOUS 44940 HAS SOUPS 44940 WITH SCORE 45030.649
AT ITER 95 NEW BEST:: SOT 113534 SOS 89206 HAS SOPS 89206 HAS SOUS 44938 HAS SOUPS 44938 WITH SCORE 45027.206
AT ITER 96 NEW BEST:: SOT 113675 SOS 89123 HAS SOPS 89123 HAS SOUS 44937 HAS SOUPS 44937 WITH SCORE 45026.123
AT ITER 99 NEW BEST:: SOT 113416 SOS 88829 HAS SOPS 88829 HAS SOUS 44643 HAS SOUPS 44643 WITH SCORE 44731.829
AT ITER 103 NEW BEST:: SOT 113934 SOS 88435 HAS SOPS 88435 HAS SOUS 44544 HAS SOUPS 44544 WITH SCORE 44632.435
AT ITER 104 NEW BEST:: SOT 113658 SOS 88286 HAS SOPS 88286 HAS SOUS 44287 HAS SOUPS 44287 WITH SCORE 44375.286
AT ITER 117 NEW BEST:: SOT 113575 SOS 88203 HAS SOPS 88203 HAS SOUS 44097 HAS SOUPS 44097 WITH SCORE 44185.203
AT ITER 120 NEW BEST:: SOT 113494 SOS 88249 HAS SOPS 88249 HAS SOUS 44023 HAS SOUPS 44023 WITH SCORE 44111.249
AT ITER 123 NEW BEST:: SOT 113329 SOS 88084 HAS SOPS 88084 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43946.084
AT ITER 127 NEW BEST:: SOT 113195 SOS 87950 HAS SOPS 87950 HAS SOUS 43637 HAS SOUPS 43637 WITH SCORE 43724.95
AT ITER 128 NEW BEST:: SOT 113159 SOS 87734 HAS SOPS 87734 HAS SOUS 43529 HAS SOUPS 43529 WITH SCORE 43616.734
AT ITER 134 NEW BEST:: SOT 113148 SOS 87723 HAS SOPS 87723 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43605.723
AT ITER 135 NEW BEST:: SOT 112503 SOS 87078 HAS SOPS 87078 HAS SOUS 43065 HAS SOUPS 43065 WITH SCORE 43152.078
AT ITER 139 NEW BEST:: SOT 111382 SOS 85842 HAS SOPS 85842 HAS SOUS 42529 HAS SOUPS 42529 WITH SCORE 42614.842
AT ITER 140 NEW BEST:: SOT 111384 SOS 85844 HAS SOPS 85844 HAS SOUS 42359 HAS SOUPS 42359 WITH SCORE 42444.844
AT ITER 145 NEW BEST:: SOT 111340 SOS 85800 HAS SOPS 85800 HAS SOUS 42326 HAS SOUPS 42326 WITH SCORE 42411.8
AT ITER 151 NEW BEST:: SOT 111340 SOS 85788 HAS SOPS 85788 HAS SOUS 42326 HAS SOUPS 42326 WITH SCORE 42411.788
AT ITER 154 NEW BEST:: SOT 111340 SOS 85784 HAS SOPS 85784 HAS SOUS 42322 HAS SOUPS 42322 WITH SCORE 42407.784
AT ITER 157 NEW BEST:: SOT 111342 SOS 85786 HAS SOPS 85786 HAS SOUS 42319 HAS SOUPS 42319 WITH SCORE 42404.786
AT ITER 162 NEW BEST:: SOT 111364 SOS 85784 HAS SOPS 85784 HAS SOUS 42311 HAS SOUPS 42311 WITH SCORE 42396.784
AT ITER 163 NEW BEST:: SOT 111363 SOS 85783 HAS SOPS 85783 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42394.783
AT ITER 168 NEW BEST:: SOT 111339 SOS 85759 HAS SOPS 85759 HAS SOUS 42297 HAS SOUPS 42297 WITH SCORE 42382.759
AT ITER 171 NEW BEST:: SOT 111249 SOS 85714 HAS SOPS 85714 HAS SOUS 42297 HAS SOUPS 42297 WITH SCORE 42382.714
AT ITER 174 NEW BEST:: SOT 111453 SOS 85687 HAS SOPS 85687 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42306.687
AT ITER 176 NEW BEST:: SOT 111151 SOS 85384 HAS SOPS 85384 HAS SOUS 41975 HAS SOUPS 41975 WITH SCORE 42060.384
AT ITER 177 NEW BEST:: SOT 111115 SOS 85351 HAS SOPS 85351 HAS SOUS 41919 HAS SOUPS 41919 WITH SCORE 42004.351
AT ITER 182 NEW BEST:: SOT 110935 SOS 82963 HAS SOPS 82963 HAS SOUS 41578 HAS SOUPS 41578 WITH SCORE 41660.963
AT ITER 186 NEW BEST:: SOT 110640 SOS 83101 HAS SOPS 83101 HAS SOUS 41495 HAS SOUPS 41495 WITH SCORE 41578.101
AT ITER 190 NEW BEST:: SOT 110002 SOS 82463 HAS SOPS 82463 HAS SOUS 40857 HAS SOUPS 40857 WITH SCORE 40939.463
AT ITER 198 NEW BEST:: SOT 110002 SOS 82463 HAS SOPS 82463 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40917.463
AT ITER 199 NEW BEST:: SOT 109889 SOS 82350 HAS SOPS 82350 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40787.35
AT ITER 204 NEW BEST:: SOT 109889 SOS 82350 HAS SOPS 82350 HAS SOUS 40704 HAS SOUPS 40704 WITH SCORE 40786.35
AT ITER 209 NEW BEST:: SOT 109886 SOS 82347 HAS SOPS 82347 HAS SOUS 40701 HAS SOUPS 40701 WITH SCORE 40783.347
AT ITER 219 NEW BEST:: SOT 109774 SOS 82310 HAS SOPS 82310 HAS SOUS 40638 HAS SOUPS 40638 WITH SCORE 40720.31
AT ITER 224 NEW BEST:: SOT 109839 SOS 82375 HAS SOPS 82375 HAS SOUS 40607 HAS SOUPS 40607 WITH SCORE 40689.375
AT ITER 230 NEW BEST:: SOT 109806 SOS 82342 HAS SOPS 82342 HAS SOUS 40541 HAS SOUPS 40541 WITH SCORE 40623.342
AT ITER 231 NEW BEST:: SOT 109937 SOS 82473 HAS SOPS 82473 HAS SOUS 40539 HAS SOUPS 40539 WITH SCORE 40621.473
AT ITER 232 NEW BEST:: SOT 109888 SOS 82424 HAS SOPS 82424 HAS SOUS 40504 HAS SOUPS 40504 WITH SCORE 40586.424
AT ITER 233 NEW BEST:: SOT 109776 SOS 82312 HAS SOPS 82312 HAS SOUS 40432 HAS SOUPS 40432 WITH SCORE 40514.312
AT ITER 234 NEW BEST:: SOT 110288 SOS 81770 HAS SOPS 81770 HAS SOUS 40416 HAS SOUPS 40416 WITH SCORE 40497.77
AT ITER 236 NEW BEST:: SOT 110288 SOS 79292 HAS SOPS 79071 HAS SOUS 40416 HAS SOUPS 40195 WITH SCORE 40274.292
AT ITER 240 NEW BEST:: SOT 110105 SOS 79109 HAS SOPS 78888 HAS SOUS 40232 HAS SOUPS 40011 WITH SCORE 40090.109
AT ITER 252 NEW BEST:: SOT 109733 SOS 78919 HAS SOPS 78698 HAS SOUS 40151 HAS SOUPS 39930 WITH SCORE 40008.919
AT ITER 253 NEW BEST:: SOT 109753 SOS 78914 HAS SOPS 78693 HAS SOUS 40150 HAS SOUPS 39929 WITH SCORE 40007.914
AT ITER 255 NEW BEST:: SOT 109965 SOS 78685 HAS SOPS 78464 HAS SOUS 40124 HAS SOUPS 39903 WITH SCORE 39981.685
AT ITER 259 NEW BEST:: SOT 109965 SOS 78685 HAS SOPS 78464 HAS SOUS 40086 HAS SOUPS 39865 WITH SCORE 39943.685
AT ITER 268 NEW BEST:: SOT 109965 SOS 78683 HAS SOPS 78462 HAS SOUS 40086 HAS SOUPS 39865 WITH SCORE 39943.683
AT ITER 270 NEW BEST:: SOT 109561 SOS 78279 HAS SOPS 78058 HAS SOUS 39929 HAS SOUPS 39708 WITH SCORE 39786.279
AT ITER 274 NEW BEST:: SOT 109568 SOS 77928 HAS SOPS 77647 HAS SOUS 39901 HAS SOUPS 39620 WITH SCORE 39697.928
AT ITER 279 NEW BEST:: SOT 109619 SOS 77920 HAS SOPS 77639 HAS SOUS 39890 HAS SOUPS 39609 WITH SCORE 39686.92
AT ITER 283 NEW BEST:: SOT 109368 SOS 77669 HAS SOPS 77388 HAS SOUS 39650 HAS SOUPS 39369 WITH SCORE 39446.669
AT ITER 287 NEW BEST:: SOT 109288 SOS 77589 HAS SOPS 77308 HAS SOUS 39634 HAS SOUPS 39353 WITH SCORE 39430.589
AT ITER 291 NEW BEST:: SOT 109188 SOS 77569 HAS SOPS 77288 HAS SOUS 39594 HAS SOUPS 39313 WITH SCORE 39390.569
AT ITER 292 NEW BEST:: SOT 109188 SOS 77433 HAS SOPS 77152 HAS SOUS 39594 HAS SOUPS 39313 WITH SCORE 39390.433
AT ITER 303 NEW BEST:: SOT 109188 SOS 76393 HAS SOPS 76112 HAS SOUS 39520 HAS SOUPS 39239 WITH SCORE 39315.393
AT ITER 307 NEW BEST:: SOT 109188 SOS 76328 HAS SOPS 76047 HAS SOUS 39520 HAS SOUPS 39239 WITH SCORE 39315.328
AT ITER 309 NEW BEST:: SOT 109170 SOS 76310 HAS SOPS 76029 HAS SOUS 39516 HAS SOUPS 39235 WITH SCORE 39311.31
AT ITER 314 NEW BEST:: SOT 109047 SOS 76187 HAS SOPS 75906 HAS SOUS 39393 HAS SOUPS 39112 WITH SCORE 39188.187
AT ITER 316 NEW BEST:: SOT 108327 SOS 75944 HAS SOPS 75663 HAS SOUS 39317 HAS SOUPS 39036 WITH SCORE 39111.944
AT ITER 318 NEW BEST:: SOT 108315 SOS 75932 HAS SOPS 75651 HAS SOUS 39299 HAS SOUPS 39018 WITH SCORE 39093.932
AT ITER 322 NEW BEST:: SOT 107954 SOS 75571 HAS SOPS 75290 HAS SOUS 39214 HAS SOUPS 38933 WITH SCORE 39008.571
AT ITER 323 NEW BEST:: SOT 108002 SOS 75622 HAS SOPS 75341 HAS SOUS 39188 HAS SOUPS 38907 WITH SCORE 38982.622
AT ITER 324 NEW BEST:: SOT 108001 SOS 75621 HAS SOPS 75340 HAS SOUS 39187 HAS SOUPS 38906 WITH SCORE 38981.621
AT ITER 330 NEW BEST:: SOT 107946 SOS 75566 HAS SOPS 75285 HAS SOUS 39154 HAS SOUPS 38873 WITH SCORE 38948.566
AT ITER 332 NEW BEST:: SOT 107945 SOS 75565 HAS SOPS 75284 HAS SOUS 39142 HAS SOUPS 38861 WITH SCORE 38936.565
AT ITER 336 NEW BEST:: SOT 106876 SOS 74453 HAS SOPS 74172 HAS SOUS 38641 HAS SOUPS 38360 WITH SCORE 38434.453
AT ITER 343 NEW BEST:: SOT 106715 SOS 74298 HAS SOPS 74017 HAS SOUS 38534 HAS SOUPS 38253 WITH SCORE 38327.298
AT ITER 344 NEW BEST:: SOT 106537 SOS 74120 HAS SOPS 73839 HAS SOUS 38314 HAS SOUPS 38033 WITH SCORE 38107.12
AT ITER 348 NEW BEST:: SOT 106488 SOS 74071 HAS SOPS 73790 HAS SOUS 38256 HAS SOUPS 37975 WITH SCORE 38049.071
AT ITER 351 NEW BEST:: SOT 106165 SOS 73748 HAS SOPS 73467 HAS SOUS 38000 HAS SOUPS 37719 WITH SCORE 37792.748
AT ITER 353 NEW BEST:: SOT 106122 SOS 73733 HAS SOPS 73452 HAS SOUS 37977 HAS SOUPS 37696 WITH SCORE 37769.733
AT ITER 354 NEW BEST:: SOT 105912 SOS 73709 HAS SOPS 73238 HAS SOUS 37716 HAS SOUPS 37245 WITH SCORE 37318.709
AT ITER 355 NEW BEST:: SOT 104961 SOS 72918 HAS SOPS 72447 HAS SOUS 37224 HAS SOUPS 36753 WITH SCORE 36825.918
AT ITER 356 NEW BEST:: SOT 104798 SOS 72400 HAS SOPS 71929 HAS SOUS 37008 HAS SOUPS 36537 WITH SCORE 36609.4
AT ITER 359 NEW BEST:: SOT 104762 SOS 72199 HAS SOPS 71701 HAS SOUS 36948 HAS SOUPS 36450 WITH SCORE 36522.199
AT ITER 362 NEW BEST:: SOT 104772 SOS 72183 HAS SOPS 71685 HAS SOUS 36903 HAS SOUPS 36405 WITH SCORE 36477.183
AT ITER 366 NEW BEST:: SOT 104890 SOS 72467 HAS SOPS 71969 HAS SOUS 36869 HAS SOUPS 36371 WITH SCORE 36443.467
AT ITER 368 NEW BEST:: SOT 104874 SOS 72479 HAS SOPS 71981 HAS SOUS 36788 HAS SOUPS 36290 WITH SCORE 36362.479
AT ITER 369 NEW BEST:: SOT 104767 SOS 72475 HAS SOPS 71977 HAS SOUS 36689 HAS SOUPS 36191 WITH SCORE 36263.475
AT ITER 370 NEW BEST:: SOT 104493 SOS 72433 HAS SOPS 71785 HAS SOUS 36785 HAS SOUPS 36137 WITH SCORE 36209.433
AT ITER 376 NEW BEST:: SOT 104481 SOS 72421 HAS SOPS 71773 HAS SOUS 36753 HAS SOUPS 36105 WITH SCORE 36177.421
AT ITER 381 NEW BEST:: SOT 104457 SOS 72397 HAS SOPS 71749 HAS SOUS 36729 HAS SOUPS 36081 WITH SCORE 36153.397
AT ITER 388 NEW BEST:: SOT 104117 SOS 71397 HAS SOPS 70749 HAS SOUS 36569 HAS SOUPS 35921 WITH SCORE 35992.397
AT ITER 391 NEW BEST:: SOT 103979 SOS 71539 HAS SOPS 70891 HAS SOUS 36529 HAS SOUPS 35881 WITH SCORE 35952.539
AT ITER 394 NEW BEST:: SOT 103935 SOS 71416 HAS SOPS 70768 HAS SOUS 36248 HAS SOUPS 35600 WITH SCORE 35671.416
AT ITER 397 NEW BEST:: SOT 102828 SOS 70309 HAS SOPS 69661 HAS SOUS 35616 HAS SOUPS 34968 WITH SCORE 35038.309
AT ITER 398 NEW BEST:: SOT 102824 SOS 70298 HAS SOPS 69650 HAS SOUS 35552 HAS SOUPS 34904 WITH SCORE 34974.298
AT ITER 410 NEW BEST:: SOT 102722 SOS 70210 HAS SOPS 69562 HAS SOUS 35434 HAS SOUPS 34786 WITH SCORE 34856.21
AT ITER 412 NEW BEST:: SOT 102998 SOS 70410 HAS SOPS 69762 HAS SOUS 35427 HAS SOUPS 34779 WITH SCORE 34849.41
AT ITER 413 NEW BEST:: SOT 102990 SOS 70402 HAS SOPS 69754 HAS SOUS 35419 HAS SOUPS 34771 WITH SCORE 34841.402
AT ITER 415 NEW BEST:: SOT 102938 SOS 70350 HAS SOPS 69702 HAS SOUS 35397 HAS SOUPS 34749 WITH SCORE 34819.35
AT ITER 422 NEW BEST:: SOT 102520 SOS 70039 HAS SOPS 69391 HAS SOUS 34983 HAS SOUPS 34335 WITH SCORE 34405.039
AT ITER 423 NEW BEST:: SOT 102520 SOS 70039 HAS SOPS 69391 HAS SOUS 34976 HAS SOUPS 34328 WITH SCORE 34398.039
AT ITER 424 NEW BEST:: SOT 102660 SOS 69993 HAS SOPS 69345 HAS SOUS 34976 HAS SOUPS 34328 WITH SCORE 34397.993
AT ITER 426 NEW BEST:: SOT 102870 SOS 69987 HAS SOPS 69339 HAS SOUS 34931 HAS SOUPS 34283 WITH SCORE 34352.987
AT ITER 427 NEW BEST:: SOT 102901 SOS 69987 HAS SOPS 69370 HAS SOUS 34869 HAS SOUPS 34252 WITH SCORE 34321.987
AT ITER 428 NEW BEST:: SOT 102899 SOS 69853 HAS SOPS 69285 HAS SOUS 34718 HAS SOUPS 34150 WITH SCORE 34219.853
AT ITER 432 NEW BEST:: SOT 102920 SOS 69862 HAS SOPS 69294 HAS SOUS 34716 HAS SOUPS 34148 WITH SCORE 34217.862
AT ITER 433 NEW BEST:: SOT 102670 SOS 70426 HAS SOPS 69858 HAS SOUS 34594 HAS SOUPS 34026 WITH SCORE 34096.426
AT ITER 434 NEW BEST:: SOT 102680 SOS 70416 HAS SOPS 69848 HAS SOUS 34592 HAS SOUPS 34024 WITH SCORE 34094.416
AT ITER 447 NEW BEST:: SOT 102536 SOS 69839 HAS SOPS 69224 HAS SOUS 34592 HAS SOUPS 33977 WITH SCORE 34046.839
AT ITER 448 NEW BEST:: SOT 102432 SOS 69735 HAS SOPS 69120 HAS SOUS 34501 HAS SOUPS 33886 WITH SCORE 33955.735
AT ITER 449 NEW BEST:: SOT 102231 SOS 69662 HAS SOPS 69047 HAS SOUS 34473 HAS SOUPS 33858 WITH SCORE 33927.662
AT ITER 457 NEW BEST:: SOT 102180 SOS 69611 HAS SOPS 68996 HAS SOUS 34421 HAS SOUPS 33806 WITH SCORE 33875.611
AT ITER 458 NEW BEST:: SOT 102172 SOS 69603 HAS SOPS 68988 HAS SOUS 34413 HAS SOUPS 33798 WITH SCORE 33867.603
AT ITER 467 NEW BEST:: SOT 102469 SOS 69567 HAS SOPS 68952 HAS SOUS 34389 HAS SOUPS 33774 WITH SCORE 33843.567
AT ITER 468 NEW BEST:: SOT 102440 SOS 69396 HAS SOPS 68781 HAS SOUS 34321 HAS SOUPS 33706 WITH SCORE 33775.396
AT ITER 469 NEW BEST:: SOT 102356 SOS 69312 HAS SOPS 68697 HAS SOUS 34294 HAS SOUPS 33679 WITH SCORE 33748.312
AT ITER 471 NEW BEST:: SOT 102044 SOS 69004 HAS SOPS 68490 HAS SOUS 34086 HAS SOUPS 33572 WITH SCORE 33641.004
AT ITER 473 NEW BEST:: SOT 102131 SOS 69091 HAS SOPS 68577 HAS SOUS 34084 HAS SOUPS 33570 WITH SCORE 33639.091
AT ITER 474 NEW BEST:: SOT 102191 SOS 69238 HAS SOPS 68724 HAS SOUS 34062 HAS SOUPS 33548 WITH SCORE 33617.238
AT ITER 476 NEW BEST:: SOT 102187 SOS 69234 HAS SOPS 68720 HAS SOUS 34058 HAS SOUPS 33544 WITH SCORE 33613.234
AT ITER 477 NEW BEST:: SOT 101994 SOS 69065 HAS SOPS 68551 HAS SOUS 33854 HAS SOUPS 33340 WITH SCORE 33409.065
AT ITER 478 NEW BEST:: SOT 101992 SOS 69063 HAS SOPS 68549 HAS SOUS 33852 HAS SOUPS 33338 WITH SCORE 33407.063
AT ITER 480 NEW BEST:: SOT 101606 SOS 68677 HAS SOPS 68163 HAS SOUS 33850 HAS SOUPS 33336 WITH SCORE 33404.677
AT ITER 483 NEW BEST:: SOT 101582 SOS 68653 HAS SOPS 68139 HAS SOUS 33819 HAS SOUPS 33305 WITH SCORE 33373.653
AT ITER 486 NEW BEST:: SOT 101575 SOS 68646 HAS SOPS 68132 HAS SOUS 33812 HAS SOUPS 33298 WITH SCORE 33366.646
AT ITER 488 NEW BEST:: SOT 101719 SOS 68637 HAS SOPS 68099 HAS SOUS 33692 HAS SOUPS 33177 WITH SCORE 33245.637
AT ITER 492 NEW BEST:: SOT 101707 SOS 68625 HAS SOPS 68087 HAS SOUS 33584 HAS SOUPS 33069 WITH SCORE 33137.625
AT ITER 495 NEW BEST:: SOT 101678 SOS 68625 HAS SOPS 68087 HAS SOUS 33583 HAS SOUPS 33068 WITH SCORE 33136.625
AT ITER 498 NEW BEST:: SOT 101570 SOS 68525 HAS SOPS 67987 HAS SOUS 33379 HAS SOUPS 32864 WITH SCORE 32932.525
AT ITER 499 NEW BEST:: SOT 101160 SOS 68115 HAS SOPS 67577 HAS SOUS 33074 HAS SOUPS 32559 WITH SCORE 32627.115
AT ITER 503 NEW BEST:: SOT 101008 SOS 67626 HAS SOPS 67022 HAS SOUS 33074 HAS SOUPS 32493 WITH SCORE 32560.626
AT ITER 510 NEW BEST:: SOT 100991 SOS 67591 HAS SOPS 66987 HAS SOUS 33064 HAS SOUPS 32483 WITH SCORE 32550.591
AT ITER 515 NEW BEST:: SOT 100312 SOS 66812 HAS SOPS 66208 HAS SOUS 32585 HAS SOUPS 32004 WITH SCORE 32070.812
AT ITER 531 NEW BEST:: SOT 100454 SOS 66954 HAS SOPS 66350 HAS SOUS 32557 HAS SOUPS 31976 WITH SCORE 32042.954
AT ITER 532 NEW BEST:: SOT 99854 SOS 66337 HAS SOPS 65750 HAS SOUS 32069 HAS SOUPS 31505 WITH SCORE 31571.337
AT ITER 533 NEW BEST:: SOT 99863 SOS 66330 HAS SOPS 65743 HAS SOUS 31959 HAS SOUPS 31395 WITH SCORE 31461.33
AT ITER 534 NEW BEST:: SOT 99891 SOS 66372 HAS SOPS 65785 HAS SOUS 31929 HAS SOUPS 31365 WITH SCORE 31431.372
AT ITER 536 NEW BEST:: SOT 99947 SOS 66398 HAS SOPS 65826 HAS SOUS 31873 HAS SOUPS 31324 WITH SCORE 31390.398
AT ITER 539 NEW BEST:: SOT 99952 SOS 66403 HAS SOPS 65831 HAS SOUS 31869 HAS SOUPS 31320 WITH SCORE 31386.403
AT ITER 543 NEW BEST:: SOT 99678 SOS 66129 HAS SOPS 65557 HAS SOUS 31711 HAS SOUPS 31162 WITH SCORE 31228.129
AT ITER 558 NEW BEST:: SOT 99603 SOS 66075 HAS SOPS 65503 HAS SOUS 31682 HAS SOUPS 31133 WITH SCORE 31199.075
AT ITER 561 NEW BEST:: SOT 99200 SOS 65482 HAS SOPS 64910 HAS SOUS 31501 HAS SOUPS 30952 WITH SCORE 31017.482
AT ITER 563 NEW BEST:: SOT 99200 SOS 65482 HAS SOPS 64910 HAS SOUS 31468 HAS SOUPS 30919 WITH SCORE 30984.482
AT ITER 564 NEW BEST:: SOT 99188 SOS 63363 HAS SOPS 62791 HAS SOUS 31360 HAS SOUPS 30811 WITH SCORE 30874.363
AT ITER 567 NEW BEST:: SOT 99188 SOS 63363 HAS SOPS 62791 HAS SOUS 31339 HAS SOUPS 30790 WITH SCORE 30853.363
AT ITER 568 NEW BEST:: SOT 99180 SOS 63355 HAS SOPS 62783 HAS SOUS 31331 HAS SOUPS 30782 WITH SCORE 30845.355
AT ITER 569 NEW BEST:: SOT 99019 SOS 63194 HAS SOPS 62622 HAS SOUS 31287 HAS SOUPS 30738 WITH SCORE 30801.194
AT ITER 570 NEW BEST:: SOT 98899 SOS 63074 HAS SOPS 62502 HAS SOUS 31287 HAS SOUPS 30738 WITH SCORE 30801.074
AT ITER 580 NEW BEST:: SOT 98749 SOS 62906 HAS SOPS 62334 HAS SOUS 31191 HAS SOUPS 30642 WITH SCORE 30704.906
AT ITER 583 NEW BEST:: SOT 99212 SOS 62813 HAS SOPS 62118 HAS SOUS 31162 HAS SOUPS 30607 WITH SCORE 30669.813
AT ITER 586 NEW BEST:: SOT 99312 SOS 62282 HAS SOPS 61587 HAS SOUS 31137 HAS SOUPS 30582 WITH SCORE 30644.282
AT ITER 588 NEW BEST:: SOT 99252 SOS 62234 HAS SOPS 61539 HAS SOUS 31095 HAS SOUPS 30540 WITH SCORE 30602.234
AT ITER 594 NEW BEST:: SOT 99252 SOS 62233 HAS SOPS 61538 HAS SOUS 31094 HAS SOUPS 30539 WITH SCORE 30601.233
AT ITER 599 NEW BEST:: SOT 99269 SOS 62250 HAS SOPS 61555 HAS SOUS 31049 HAS SOUPS 30494 WITH SCORE 30556.25
AT ITER 601 NEW BEST:: SOT 99127 SOS 61585 HAS SOPS 60890 HAS SOUS 30928 HAS SOUPS 30373 WITH SCORE 30434.585
AT ITER 607 NEW BEST:: SOT 99120 SOS 61578 HAS SOPS 60883 HAS SOUS 30914 HAS SOUPS 30359 WITH SCORE 30420.578
AT ITER 609 NEW BEST:: SOT 99106 SOS 61564 HAS SOPS 60869 HAS SOUS 30902 HAS SOUPS 30347 WITH SCORE 30408.564
AT ITER 610 NEW BEST:: SOT 99142 SOS 61028 HAS SOPS 60333 HAS SOUS 30743 HAS SOUPS 30188 WITH SCORE 30249.028
AT ITER 615 NEW BEST:: SOT 99156 SOS 61042 HAS SOPS 60347 HAS SOUS 30732 HAS SOUPS 30177 WITH SCORE 30238.042
AT ITER 629 NEW BEST:: SOT 98852 SOS 60775 HAS SOPS 60080 HAS SOUS 30526 HAS SOUPS 29971 WITH SCORE 30031.775
AT ITER 631 NEW BEST:: SOT 98795 SOS 60775 HAS SOPS 60099 HAS SOUS 30504 HAS SOUPS 29955 WITH SCORE 30015.775
AT ITER 639 NEW BEST:: SOT 98423 SOS 60410 HAS SOPS 59734 HAS SOUS 30310 HAS SOUPS 29761 WITH SCORE 29821.41
AT ITER 660 NEW BEST:: SOT 98377 SOS 60364 HAS SOPS 59688 HAS SOUS 29957 HAS SOUPS 29408 WITH SCORE 29468.364
AT ITER 665 NEW BEST:: SOT 98873 SOS 60088 HAS SOPS 59409 HAS SOUS 29814 HAS SOUPS 29262 WITH SCORE 29322.088
AT ITER 669 NEW BEST:: SOT 98873 SOS 60033 HAS SOPS 59354 HAS SOUS 29814 HAS SOUPS 29262 WITH SCORE 29322.033
AT ITER 671 NEW BEST:: SOT 98928 SOS 60033 HAS SOPS 59354 HAS SOUS 29803 HAS SOUPS 29251 WITH SCORE 29311.033
AT ITER 678 NEW BEST:: SOT 98888 SOS 59789 HAS SOPS 59110 HAS SOUS 29743 HAS SOUPS 29191 WITH SCORE 29250.789
AT ITER 680 NEW BEST:: SOT 98831 SOS 59683 HAS SOPS 59004 HAS SOUS 29686 HAS SOUPS 29134 WITH SCORE 29193.683
AT ITER 681 NEW BEST:: SOT 98934 SOS 59752 HAS SOPS 59073 HAS SOUS 29623 HAS SOUPS 29071 WITH SCORE 29130.752
AT ITER 683 NEW BEST:: SOT 99002 SOS 59579 HAS SOPS 58863 HAS SOUS 29619 HAS SOUPS 29030 WITH SCORE 29089.579
AT ITER 686 NEW BEST:: SOT 98838 SOS 59575 HAS SOPS 58861 HAS SOUS 29609 HAS SOUPS 29022 WITH SCORE 29081.575
AT ITER 687 NEW BEST:: SOT 98809 SOS 59168 HAS SOPS 58400 HAS SOUS 29580 HAS SOUPS 28939 WITH SCORE 28998.168
AT ITER 691 NEW BEST:: SOT 98808 SOS 59246 HAS SOPS 58355 HAS SOUS 29535 HAS SOUPS 28834 WITH SCORE 28893.246
AT ITER 695 NEW BEST:: SOT 98808 SOS 57777 HAS SOPS 56886 HAS SOUS 29495 HAS SOUPS 28794 WITH SCORE 28851.777
AT ITER 697 NEW BEST:: SOT 98803 SOS 57772 HAS SOPS 56881 HAS SOUS 29362 HAS SOUPS 28661 WITH SCORE 28718.772
AT ITER 699 NEW BEST:: SOT 98723 SOS 58048 HAS SOPS 57157 HAS SOUS 29350 HAS SOUPS 28649 WITH SCORE 28707.048
AT ITER 700 NEW BEST:: SOT 98723 SOS 58048 HAS SOPS 57157 HAS SOUS 29314 HAS SOUPS 28613 WITH SCORE 28671.048
AT ITER 705 NEW BEST:: SOT 98687 SOS 57930 HAS SOPS 57082 HAS SOUS 29037 HAS SOUPS 28379 WITH SCORE 28436.93
AT ITER 708 NEW BEST:: SOT 98674 SOS 57917 HAS SOPS 57069 HAS SOUS 28959 HAS SOUPS 28301 WITH SCORE 28358.917
AT ITER 710 NEW BEST:: SOT 98497 SOS 57752 HAS SOPS 56904 HAS SOUS 28920 HAS SOUPS 28262 WITH SCORE 28319.752
AT ITER 721 NEW BEST:: SOT 98948 SOS 58203 HAS SOPS 57355 HAS SOUS 28916 HAS SOUPS 28258 WITH SCORE 28316.203
AT ITER 725 NEW BEST:: SOT 98846 SOS 58302 HAS SOPS 57454 HAS SOUS 28895 HAS SOUPS 28237 WITH SCORE 28295.302
AT ITER 726 NEW BEST:: SOT 98859 SOS 58273 HAS SOPS 57425 HAS SOUS 28866 HAS SOUPS 28208 WITH SCORE 28266.273
AT ITER 738 NEW BEST:: SOT 98759 SOS 58173 HAS SOPS 57325 HAS SOUS 28745 HAS SOUPS 28087 WITH SCORE 28145.173
AT ITER 749 NEW BEST:: SOT 98740 SOS 58141 HAS SOPS 57293 HAS SOUS 28720 HAS SOUPS 28062 WITH SCORE 28120.141
AT ITER 752 NEW BEST:: SOT 99627 SOS 58031 HAS SOPS 57183 HAS SOUS 28433 HAS SOUPS 27775 WITH SCORE 27833.031
AT ITER 757 NEW BEST:: SOT 99626 SOS 58030 HAS SOPS 57182 HAS SOUS 28431 HAS SOUPS 27773 WITH SCORE 27831.03
AT ITER 760 NEW BEST:: SOT 99650 SOS 57945 HAS SOPS 57078 HAS SOUS 28450 HAS SOUPS 27773 WITH SCORE 27830.945
AT ITER 764 NEW BEST:: SOT 99617 SOS 57912 HAS SOPS 57045 HAS SOUS 28413 HAS SOUPS 27736 WITH SCORE 27793.912
AT ITER 767 NEW BEST:: SOT 99617 SOS 57659 HAS SOPS 56792 HAS SOUS 28413 HAS SOUPS 27736 WITH SCORE 27793.659
AT ITER 769 NEW BEST:: SOT 99563 SOS 57593 HAS SOPS 56726 HAS SOUS 28392 HAS SOUPS 27715 WITH SCORE 27772.593
AT ITER 770 NEW BEST:: SOT 99702 SOS 57698 HAS SOPS 56831 HAS SOUS 28357 HAS SOUPS 27680 WITH SCORE 27737.698
AT ITER 771 NEW BEST:: SOT 99702 SOS 57682 HAS SOPS 56815 HAS SOUS 28342 HAS SOUPS 27665 WITH SCORE 27722.682
AT ITER 779 NEW BEST:: SOT 99702 SOS 57677 HAS SOPS 56809 HAS SOUS 28342 HAS SOUPS 27664 WITH SCORE 27721.677
AT ITER 796 NEW BEST:: SOT 99704 SOS 57677 HAS SOPS 56809 HAS SOUS 28341 HAS SOUPS 27663 WITH SCORE 27720.677
AT ITER 801 NEW BEST:: SOT 99670 SOS 57600 HAS SOPS 56732 HAS SOUS 28333 HAS SOUPS 27655 WITH SCORE 27712.6
AT ITER 809 NEW BEST:: SOT 99670 SOS 57597 HAS SOPS 56729 HAS SOUS 28330 HAS SOUPS 27652 WITH SCORE 27709.597
AT ITER 820 NEW BEST:: SOT 99505 SOS 57386 HAS SOPS 56512 HAS SOUS 28268 HAS SOUPS 27584 WITH SCORE 27641.386
AT ITER 822 NEW BEST:: SOT 99493 SOS 57285 HAS SOPS 56394 HAS SOUS 28216 HAS SOUPS 27515 WITH SCORE 27572.285
AT ITER 835 NEW BEST:: SOT 99526 SOS 57078 HAS SOPS 56187 HAS SOUS 28214 HAS SOUPS 27513 WITH SCORE 27570.078
AT ITER 845 NEW BEST:: SOT 99517 SOS 57069 HAS SOPS 56178 HAS SOUS 28132 HAS SOUPS 27431 WITH SCORE 27488.069
AT ITER 847 NEW BEST:: SOT 99341 SOS 56884 HAS SOPS 56045 HAS SOUS 28010 HAS SOUPS 27361 WITH SCORE 27417.884
AT ITER 851 NEW BEST:: SOT 99392 SOS 56853 HAS SOPS 56014 HAS SOUS 28010 HAS SOUPS 27361 WITH SCORE 27417.853
AT ITER 857 NEW BEST:: SOT 99383 SOS 56745 HAS SOPS 55906 HAS SOUS 27990 HAS SOUPS 27341 WITH SCORE 27397.745
AT ITER 861 NEW BEST:: SOT 99358 SOS 56708 HAS SOPS 55869 HAS SOUS 27794 HAS SOUPS 27145 WITH SCORE 27201.708
AT ITER 863 NEW BEST:: SOT 99341 SOS 56667 HAS SOPS 55828 HAS SOUS 27760 HAS SOUPS 27111 WITH SCORE 27167.667
AT ITER 885 NEW BEST:: SOT 99186 SOS 56512 HAS SOPS 55673 HAS SOUS 27755 HAS SOUPS 27106 WITH SCORE 27162.512
AT ITER 915 NEW BEST:: SOT 98498 SOS 55969 HAS SOPS 55130 HAS SOUS 27205 HAS SOUPS 26556 WITH SCORE 26611.969
AT ITER 919 NEW BEST:: SOT 98468 SOS 55939 HAS SOPS 55100 HAS SOUS 27195 HAS SOUPS 26546 WITH SCORE 26601.939
AT ITER 928 NEW BEST:: SOT 98329 SOS 55056 HAS SOPS 54141 HAS SOUS 27096 HAS SOUPS 26408 WITH SCORE 26463.056
AT ITER 952 NEW BEST:: SOT 98271 SOS 54998 HAS SOPS 54083 HAS SOUS 27090 HAS SOUPS 26402 WITH SCORE 26456.998
AT ITER 960 NEW BEST:: SOT 98030 SOS 54631 HAS SOPS 53716 HAS SOUS 26786 HAS SOUPS 26098 WITH SCORE 26152.631
AT ITER 962 NEW BEST:: SOT 97995 SOS 54494 HAS SOPS 53579 HAS SOUS 26753 HAS SOUPS 26065 WITH SCORE 26119.494
AT ITER 965 NEW BEST:: SOT 97959 SOS 54458 HAS SOPS 53543 HAS SOUS 26717 HAS SOUPS 26029 WITH SCORE 26083.458
AT ITER 967 NEW BEST:: SOT 97958 SOS 53994 HAS SOPS 53079 HAS SOUS 26714 HAS SOUPS 26026 WITH SCORE 26079.994
AT ITER 989 NEW BEST:: SOT 97613 SOS 53750 HAS SOPS 52835 HAS SOUS 26670 HAS SOUPS 25982 WITH SCORE 26035.75
AT ITER 1002 NEW BEST:: SOT 97197 SOS 53390 HAS SOPS 52485 HAS SOUS 26379 HAS SOUPS 25701 WITH SCORE 25754.39
AT ITER 1003 NEW BEST:: SOT 97197 SOS 53444 HAS SOPS 52539 HAS SOUS 26350 HAS SOUPS 25672 WITH SCORE 25725.444
AT ITER 1005 NEW BEST:: SOT 96987 SOS 53049 HAS SOPS 52144 HAS SOUS 26190 HAS SOUPS 25512 WITH SCORE 25565.049
AT ITER 1012 NEW BEST:: SOT 97056 SOS 52980 HAS SOPS 52144 HAS SOUS 26121 HAS SOUPS 25512 WITH SCORE 25564.98
AT ITER 1019 NEW BEST:: SOT 97126 SOS 52718 HAS SOPS 51882 HAS SOUS 26070 HAS SOUPS 25461 WITH SCORE 25513.718
AT ITER 1021 NEW BEST:: SOT 97102 SOS 52676 HAS SOPS 51870 HAS SOUS 26013 HAS SOUPS 25434 WITH SCORE 25486.676
AT ITER 1030 NEW BEST:: SOT 97189 SOS 52705 HAS SOPS 51899 HAS SOUS 25988 HAS SOUPS 25409 WITH SCORE 25461.705
AT ITER 1031 NEW BEST:: SOT 97169 SOS 52655 HAS SOPS 51849 HAS SOUS 25980 HAS SOUPS 25401 WITH SCORE 25453.655
AT ITER 1035 NEW BEST:: SOT 97142 SOS 52610 HAS SOPS 51804 HAS SOUS 25961 HAS SOUPS 25382 WITH SCORE 25434.61
AT ITER 1041 NEW BEST:: SOT 97083 SOS 52551 HAS SOPS 51745 HAS SOUS 25940 HAS SOUPS 25361 WITH SCORE 25413.551
AT ITER 1044 NEW BEST:: SOT 97076 SOS 52530 HAS SOPS 51724 HAS SOUS 25918 HAS SOUPS 25339 WITH SCORE 25391.53
AT ITER 1055 NEW BEST:: SOT 97279 SOS 52429 HAS SOPS 51623 HAS SOUS 25859 HAS SOUPS 25280 WITH SCORE 25332.429
AT ITER 1059 NEW BEST:: SOT 97278 SOS 52428 HAS SOPS 51622 HAS SOUS 25857 HAS SOUPS 25278 WITH SCORE 25330.428
AT ITER 1085 NEW BEST:: SOT 97100 SOS 52275 HAS SOPS 51469 HAS SOUS 25790 HAS SOUPS 25211 WITH SCORE 25263.275
AT ITER 1094 NEW BEST:: SOT 97110 SOS 52249 HAS SOPS 51443 HAS SOUS 25786 HAS SOUPS 25207 WITH SCORE 25259.249
AT ITER 1098 NEW BEST:: SOT 97096 SOS 52209 HAS SOPS 51403 HAS SOUS 25786 HAS SOUPS 25207 WITH SCORE 25259.209
AT ITER 1106 NEW BEST:: SOT 97038 SOS 52151 HAS SOPS 51345 HAS SOUS 25752 HAS SOUPS 25173 WITH SCORE 25225.151
AT ITER 1131 NEW BEST:: SOT 96706 SOS 51736 HAS SOPS 50930 HAS SOUS 25586 HAS SOUPS 25007 WITH SCORE 25058.736
AT ITER 1132 NEW BEST:: SOT 96690 SOS 51683 HAS SOPS 50877 HAS SOUS 25582 HAS SOUPS 25003 WITH SCORE 25054.683
AT ITER 1139 NEW BEST:: SOT 96692 SOS 51685 HAS SOPS 50879 HAS SOUS 25580 HAS SOUPS 25001 WITH SCORE 25052.685
AT ITER 1144 NEW BEST:: SOT 96691 SOS 51691 HAS SOPS 50885 HAS SOUS 25578 HAS SOUPS 24999 WITH SCORE 25050.691
AT ITER 1158 NEW BEST:: SOT 96687 SOS 51687 HAS SOPS 50881 HAS SOUS 25566 HAS SOUPS 24987 WITH SCORE 25038.687
AT ITER 1166 NEW BEST:: SOT 96582 SOS 51270 HAS SOPS 50464 HAS SOUS 25391 HAS SOUPS 24812 WITH SCORE 24863.27
AT ITER 1189 NEW BEST:: SOT 96586 SOS 51066 HAS SOPS 50260 HAS SOUS 25306 HAS SOUPS 24727 WITH SCORE 24778.066
AT ITER 1191 NEW BEST:: SOT 96518 SOS 50998 HAS SOPS 50192 HAS SOUS 25218 HAS SOUPS 24639 WITH SCORE 24689.998
AT ITER 1196 NEW BEST:: SOT 96456 SOS 49466 HAS SOPS 48660 HAS SOUS 25187 HAS SOUPS 24608 WITH SCORE 24657.466
AT ITER 1209 NEW BEST:: SOT 96416 SOS 49347 HAS SOPS 48541 HAS SOUS 25163 HAS SOUPS 24584 WITH SCORE 24633.347
AT ITER 1217 NEW BEST:: SOT 96375 SOS 49306 HAS SOPS 48500 HAS SOUS 25122 HAS SOUPS 24543 WITH SCORE 24592.306
AT ITER 1247 NEW BEST:: SOT 96299 SOS 48934 HAS SOPS 48128 HAS SOUS 25077 HAS SOUPS 24498 WITH SCORE 24546.934
AT ITER 1255 NEW BEST:: SOT 96262 SOS 48897 HAS SOPS 48091 HAS SOUS 25030 HAS SOUPS 24451 WITH SCORE 24499.897
AT ITER 1282 NEW BEST:: SOT 96192 SOS 48496 HAS SOPS 47690 HAS SOUS 24960 HAS SOUPS 24381 WITH SCORE 24429.496
AT ITER 1297 NEW BEST:: SOT 96174 SOS 48406 HAS SOPS 47600 HAS SOUS 24924 HAS SOUPS 24345 WITH SCORE 24393.406
AT ITER 1299 NEW BEST:: SOT 96178 SOS 48268 HAS SOPS 47462 HAS SOUS 24894 HAS SOUPS 24315 WITH SCORE 24363.268
AT ITER 1304 NEW BEST:: SOT 96298 SOS 48388 HAS SOPS 47582 HAS SOUS 24892 HAS SOUPS 24313 WITH SCORE 24361.388
AT ITER 1309 NEW BEST:: SOT 96247 SOS 48173 HAS SOPS 47367 HAS SOUS 24807 HAS SOUPS 24228 WITH SCORE 24276.173
AT ITER 1323 NEW BEST:: SOT 96352 SOS 48180 HAS SOPS 47374 HAS SOUS 24774 HAS SOUPS 24195 WITH SCORE 24243.18
AT ITER 1325 NEW BEST:: SOT 96306 SOS 47928 HAS SOPS 47112 HAS SOUS 24726 HAS SOUPS 24137 WITH SCORE 24184.928
AT ITER 1336 NEW BEST:: SOT 96274 SOS 47896 HAS SOPS 47080 HAS SOUS 24694 HAS SOUPS 24105 WITH SCORE 24152.896
AT ITER 1339 NEW BEST:: SOT 96204 SOS 47812 HAS SOPS 47010 HAS SOUS 24638 HAS SOUPS 24063 WITH SCORE 24110.812
AT ITER 1340 NEW BEST:: SOT 96184 SOS 47782 HAS SOPS 46980 HAS SOUS 24608 HAS SOUPS 24033 WITH SCORE 24080.782
AT ITER 1348 NEW BEST:: SOT 96192 SOS 47790 HAS SOPS 46988 HAS SOUS 24606 HAS SOUPS 24031 WITH SCORE 24078.79
AT ITER 1365 NEW BEST:: SOT 96182 SOS 47780 HAS SOPS 46978 HAS SOUS 24586 HAS SOUPS 24011 WITH SCORE 24058.78
AT ITER 1380 NEW BEST:: SOT 96080 SOS 47754 HAS SOPS 46952 HAS SOUS 24577 HAS SOUPS 24002 WITH SCORE 24049.754
AT ITER 1381 NEW BEST:: SOT 96246 SOS 47942 HAS SOPS 47140 HAS SOUS 24560 HAS SOUPS 23985 WITH SCORE 24032.942
AT ITER 1404 NEW BEST:: SOT 96092 SOS 48280 HAS SOPS 47478 HAS SOUS 24548 HAS SOUPS 23973 WITH SCORE 24021.28
AT ITER 1419 NEW BEST:: SOT 96066 SOS 48197 HAS SOPS 47395 HAS SOUS 24522 HAS SOUPS 23947 WITH SCORE 23995.197
AT ITER 1426 NEW BEST:: SOT 96066 SOS 48142 HAS SOPS 47395 HAS SOUS 24467 HAS SOUPS 23947 WITH SCORE 23995.142
AT ITER 1435 NEW BEST:: SOT 96066 SOS 48141 HAS SOPS 47394 HAS SOUS 24465 HAS SOUPS 23945 WITH SCORE 23993.141
AT ITER 1436 NEW BEST:: SOT 95967 SOS 47954 HAS SOPS 47207 HAS SOUS 24459 HAS SOUPS 23939 WITH SCORE 23986.954
AT ITER 1439 NEW BEST:: SOT 95977 SOS 47964 HAS SOPS 47217 HAS SOUS 24443 HAS SOUPS 23923 WITH SCORE 23970.964
AT ITER 1463 NEW BEST:: SOT 96015 SOS 47635 HAS SOPS 46888 HAS SOUS 24443 HAS SOUPS 23923 WITH SCORE 23970.635
AT ITER 1468 NEW BEST:: SOT 96005 SOS 47625 HAS SOPS 46878 HAS SOUS 24432 HAS SOUPS 23912 WITH SCORE 23959.625
AT ITER 1476 NEW BEST:: SOT 95974 SOS 47490 HAS SOPS 46743 HAS SOUS 24370 HAS SOUPS 23850 WITH SCORE 23897.49
AT ITER 1478 NEW BEST:: SOT 96005 SOS 47913 HAS SOPS 47166 HAS SOUS 24353 HAS SOUPS 23833 WITH SCORE 23880.913
AT ITER 1481 NEW BEST:: SOT 96004 SOS 47912 HAS SOPS 47165 HAS SOUS 24349 HAS SOUPS 23829 WITH SCORE 23876.912
AT ITER 1489 NEW BEST:: SOT 96011 SOS 47919 HAS SOPS 47172 HAS SOUS 24304 HAS SOUPS 23784 WITH SCORE 23831.919
AT ITER 1498 NEW BEST:: SOT 96011 SOS 47919 HAS SOPS 47172 HAS SOUS 24301 HAS SOUPS 23781 WITH SCORE 23828.919
AT ITER 1499 NEW BEST:: SOT 96011 SOS 47849 HAS SOPS 47102 HAS SOUS 24301 HAS SOUPS 23781 WITH SCORE 23828.849
AT ITER 1515 NEW BEST:: SOT 96032 SOS 47770 HAS SOPS 47023 HAS SOUS 24291 HAS SOUPS 23771 WITH SCORE 23818.77
AT ITER 1518 NEW BEST:: SOT 95924 SOS 47622 HAS SOPS 46875 HAS SOUS 24214 HAS SOUPS 23694 WITH SCORE 23741.622
AT ITER 1519 NEW BEST:: SOT 95837 SOS 47535 HAS SOPS 46788 HAS SOUS 24147 HAS SOUPS 23627 WITH SCORE 23674.535
AT ITER 1522 NEW BEST:: SOT 95853 SOS 47553 HAS SOPS 46806 HAS SOUS 24130 HAS SOUPS 23610 WITH SCORE 23657.553
AT ITER 1527 NEW BEST:: SOT 95916 SOS 47745 HAS SOPS 46998 HAS SOUS 24085 HAS SOUPS 23565 WITH SCORE 23612.745
AT ITER 1529 NEW BEST:: SOT 95932 SOS 47694 HAS SOPS 46947 HAS SOUS 24085 HAS SOUPS 23565 WITH SCORE 23612.694
AT ITER 1538 NEW BEST:: SOT 95762 SOS 47564 HAS SOPS 46817 HAS SOUS 23976 HAS SOUPS 23456 WITH SCORE 23503.564
AT ITER 1550 NEW BEST:: SOT 95680 SOS 47440 HAS SOPS 46693 HAS SOUS 23873 HAS SOUPS 23353 WITH SCORE 23400.44
AT ITER 1552 NEW BEST:: SOT 95657 SOS 47392 HAS SOPS 46645 HAS SOUS 23827 HAS SOUPS 23307 WITH SCORE 23354.392
AT ITER 1553 NEW BEST:: SOT 95656 SOS 47391 HAS SOPS 46644 HAS SOUS 23826 HAS SOUPS 23306 WITH SCORE 23353.391
AT ITER 1555 NEW BEST:: SOT 95710 SOS 47284 HAS SOPS 46537 HAS SOUS 23811 HAS SOUPS 23291 WITH SCORE 23338.284
AT ITER 1560 NEW BEST:: SOT 95714 SOS 47323 HAS SOPS 46576 HAS SOUS 23780 HAS SOUPS 23260 WITH SCORE 23307.323
AT ITER 1567 NEW BEST:: SOT 95688 SOS 47297 HAS SOPS 46550 HAS SOUS 23744 HAS SOUPS 23224 WITH SCORE 23271.297
AT ITER 1572 NEW BEST:: SOT 95560 SOS 47169 HAS SOPS 46422 HAS SOUS 23605 HAS SOUPS 23085 WITH SCORE 23132.169
AT ITER 1590 NEW BEST:: SOT 95560 SOS 47161 HAS SOPS 46414 HAS SOUS 23605 HAS SOUPS 23085 WITH SCORE 23132.161
AT ITER 1593 NEW BEST:: SOT 95445 SOS 46956 HAS SOPS 46209 HAS SOUS 23490 HAS SOUPS 22970 WITH SCORE 23016.956
AT ITER 1597 NEW BEST:: SOT 95439 SOS 46948 HAS SOPS 46201 HAS SOUS 23484 HAS SOUPS 22964 WITH SCORE 23010.948
AT ITER 1601 NEW BEST:: SOT 95356 SOS 46867 HAS SOPS 46120 HAS SOUS 23403 HAS SOUPS 22883 WITH SCORE 22929.867
AT ITER 1623 NEW BEST:: SOT 95308 SOS 46819 HAS SOPS 46072 HAS SOUS 23345 HAS SOUPS 22825 WITH SCORE 22871.819
AT ITER 1624 NEW BEST:: SOT 95269 SOS 46852 HAS SOPS 46105 HAS SOUS 23330 HAS SOUPS 22810 WITH SCORE 22856.852
AT ITER 1626 NEW BEST:: SOT 95261 SOS 46811 HAS SOPS 46064 HAS SOUS 23323 HAS SOUPS 22803 WITH SCORE 22849.811
AT ITER 1634 NEW BEST:: SOT 95298 SOS 46818 HAS SOPS 46071 HAS SOUS 23318 HAS SOUPS 22798 WITH SCORE 22844.818
AT ITER 1641 NEW BEST:: SOT 95138 SOS 46409 HAS SOPS 45662 HAS SOUS 23318 HAS SOUPS 22798 WITH SCORE 22844.409
AT ITER 1642 NEW BEST:: SOT 95138 SOS 46409 HAS SOPS 45662 HAS SOUS 23314 HAS SOUPS 22794 WITH SCORE 22840.409
AT ITER 1670 NEW BEST:: SOT 95167 SOS 46476 HAS SOPS 45660 HAS SOUS 23270 HAS SOUPS 22681 WITH SCORE 22727.476
AT ITER 1677 NEW BEST:: SOT 95072 SOS 46153 HAS SOPS 45337 HAS SOUS 23213 HAS SOUPS 22624 WITH SCORE 22670.153
AT ITER 1684 NEW BEST:: SOT 95044 SOS 46156 HAS SOPS 45347 HAS SOUS 23203 HAS SOUPS 22621 WITH SCORE 22667.156
AT ITER 1691 NEW BEST:: SOT 94952 SOS 46120 HAS SOPS 45311 HAS SOUS 23155 HAS SOUPS 22573 WITH SCORE 22619.12
AT ITER 1692 NEW BEST:: SOT 94910 SOS 46044 HAS SOPS 45235 HAS SOUS 23063 HAS SOUPS 22481 WITH SCORE 22527.044
AT ITER 1701 NEW BEST:: SOT 94857 SOS 45991 HAS SOPS 45182 HAS SOUS 22977 HAS SOUPS 22395 WITH SCORE 22440.991
AT ITER 1703 NEW BEST:: SOT 94803 SOS 45377 HAS SOPS 44514 HAS SOUS 22923 HAS SOUPS 22287 WITH SCORE 22332.377
AT ITER 1709 NEW BEST:: SOT 94803 SOS 45261 HAS SOPS 44398 HAS SOUS 22923 HAS SOUPS 22287 WITH SCORE 22332.261
AT ITER 1710 NEW BEST:: SOT 94798 SOS 45289 HAS SOPS 44426 HAS SOUS 22913 HAS SOUPS 22277 WITH SCORE 22322.289
AT ITER 1721 NEW BEST:: SOT 94672 SOS 45314 HAS SOPS 44451 HAS SOUS 22791 HAS SOUPS 22155 WITH SCORE 22200.314
AT ITER 1730 NEW BEST:: SOT 94715 SOS 45357 HAS SOPS 44494 HAS SOUS 22777 HAS SOUPS 22141 WITH SCORE 22186.357
AT ITER 1738 NEW BEST:: SOT 94627 SOS 45269 HAS SOPS 44406 HAS SOUS 22719 HAS SOUPS 22083 WITH SCORE 22128.269
AT ITER 1739 NEW BEST:: SOT 94627 SOS 45207 HAS SOPS 44344 HAS SOUS 22719 HAS SOUPS 22083 WITH SCORE 22128.207
AT ITER 1743 NEW BEST:: SOT 94649 SOS 45223 HAS SOPS 44360 HAS SOUS 22716 HAS SOUPS 22080 WITH SCORE 22125.223
AT ITER 1744 NEW BEST:: SOT 94745 SOS 45319 HAS SOPS 44456 HAS SOUS 22669 HAS SOUPS 22033 WITH SCORE 22078.319
AT ITER 1751 NEW BEST:: SOT 94745 SOS 45319 HAS SOPS 44456 HAS SOUS 22650 HAS SOUPS 22014 WITH SCORE 22059.319
AT ITER 1766 NEW BEST:: SOT 94613 SOS 45323 HAS SOPS 44460 HAS SOUS 22594 HAS SOUPS 21958 WITH SCORE 22003.323
AT ITER 1771 NEW BEST:: SOT 94373 SOS 43816 HAS SOPS 42859 HAS SOUS 22365 HAS SOUPS 21635 WITH SCORE 21678.816
AT ITER 1775 NEW BEST:: SOT 94299 SOS 43705 HAS SOPS 42748 HAS SOUS 22254 HAS SOUPS 21524 WITH SCORE 21567.705
AT ITER 1782 NEW BEST:: SOT 94359 SOS 43661 HAS SOPS 42746 HAS SOUS 22169 HAS SOUPS 21481 WITH SCORE 21524.661
AT ITER 1797 NEW BEST:: SOT 94362 SOS 43664 HAS SOPS 42749 HAS SOUS 22158 HAS SOUPS 21470 WITH SCORE 21513.664
AT ITER 1851 NEW BEST:: SOT 94250 SOS 43552 HAS SOPS 42637 HAS SOUS 22088 HAS SOUPS 21400 WITH SCORE 21443.552
AT ITER 1853 NEW BEST:: SOT 94205 SOS 43507 HAS SOPS 42592 HAS SOUS 22071 HAS SOUPS 21383 WITH SCORE 21426.507
AT ITER 1860 NEW BEST:: SOT 94156 SOS 43458 HAS SOPS 42543 HAS SOUS 22050 HAS SOUPS 21362 WITH SCORE 21405.458
AT ITER 1868 NEW BEST:: SOT 94156 SOS 43450 HAS SOPS 42535 HAS SOUS 22048 HAS SOUPS 21360 WITH SCORE 21403.45
AT ITER 1874 NEW BEST:: SOT 94159 SOS 43451 HAS SOPS 42536 HAS SOUS 22031 HAS SOUPS 21343 WITH SCORE 21386.451
AT ITER 1900 NEW BEST:: SOT 94263 SOS 43206 HAS SOPS 42291 HAS SOUS 21989 HAS SOUPS 21301 WITH SCORE 21344.206
AT ITER 1907 NEW BEST:: SOT 94290 SOS 43233 HAS SOPS 42318 HAS SOUS 21933 HAS SOUPS 21245 WITH SCORE 21288.233
AT ITER 1937 NEW BEST:: SOT 94320 SOS 43263 HAS SOPS 42348 HAS SOUS 21923 HAS SOUPS 21235 WITH SCORE 21278.263
AT ITER 1943 NEW BEST:: SOT 94276 SOS 43219 HAS SOPS 42304 HAS SOUS 21835 HAS SOUPS 21147 WITH SCORE 21190.219
AT ITER 1947 NEW BEST:: SOT 94276 SOS 42589 HAS SOPS 41608 HAS SOUS 21835 HAS SOUPS 21081 WITH SCORE 21123.589
AT ITER 1987 NEW BEST:: SOT 94273 SOS 42560 HAS SOPS 41579 HAS SOUS 21832 HAS SOUPS 21078 WITH SCORE 21120.56
AT ITER 1999 NEW BEST:: SOT 94255 SOS 42542 HAS SOPS 41561 HAS SOUS 21805 HAS SOUPS 21051 WITH SCORE 21093.542
AT ITER 2004 NEW BEST:: SOT 94255 SOS 42542 HAS SOPS 41561 HAS SOUS 21787 HAS SOUPS 21033 WITH SCORE 21075.542
AT ITER 2006 NEW BEST:: SOT 94269 SOS 42525 HAS SOPS 41544 HAS SOUS 21753 HAS SOUPS 20999 WITH SCORE 21041.525
AT ITER 2019 NEW BEST:: SOT 94324 SOS 42626 HAS SOPS 41620 HAS SOUS 21772 HAS SOUPS 20993 WITH SCORE 21035.626
AT ITER 2027 NEW BEST:: SOT 94620 SOS 42703 HAS SOPS 41697 HAS SOUS 21645 HAS SOUPS 20866 WITH SCORE 20908.703
AT ITER 2035 NEW BEST:: SOT 94618 SOS 42701 HAS SOPS 41695 HAS SOUS 21631 HAS SOUPS 20852 WITH SCORE 20894.701
AT ITER 2040 NEW BEST:: SOT 94661 SOS 42744 HAS SOPS 41738 HAS SOUS 21623 HAS SOUPS 20844 WITH SCORE 20886.744
AT ITER 2042 NEW BEST:: SOT 94751 SOS 42668 HAS SOPS 41662 HAS SOUS 21617 HAS SOUPS 20838 WITH SCORE 20880.668
AT ITER 2051 NEW BEST:: SOT 94647 SOS 42564 HAS SOPS 41558 HAS SOUS 21562 HAS SOUPS 20783 WITH SCORE 20825.564
AT ITER 2058 NEW BEST:: SOT 94609 SOS 42475 HAS SOPS 41469 HAS SOUS 21538 HAS SOUPS 20759 WITH SCORE 20801.475
AT ITER 2070 NEW BEST:: SOT 94551 SOS 41637 HAS SOPS 40631 HAS SOUS 21422 HAS SOUPS 20643 WITH SCORE 20684.637
AT ITER 2073 NEW BEST:: SOT 94531 SOS 41617 HAS SOPS 40611 HAS SOUS 21412 HAS SOUPS 20633 WITH SCORE 20674.617
AT ITER 2082 NEW BEST:: SOT 94533 SOS 41583 HAS SOPS 40569 HAS SOUS 21386 HAS SOUPS 20607 WITH SCORE 20648.583
AT ITER 2083 NEW BEST:: SOT 94517 SOS 41567 HAS SOPS 40553 HAS SOUS 21378 HAS SOUPS 20599 WITH SCORE 20640.567
AT ITER 2096 NEW BEST:: SOT 94519 SOS 41569 HAS SOPS 40555 HAS SOUS 21377 HAS SOUPS 20598 WITH SCORE 20639.569
AT ITER 2105 NEW BEST:: SOT 94488 SOS 41709 HAS SOPS 40695 HAS SOUS 21361 HAS SOUPS 20582 WITH SCORE 20623.709
AT ITER 2107 NEW BEST:: SOT 94493 SOS 41724 HAS SOPS 40710 HAS SOUS 21341 HAS SOUPS 20562 WITH SCORE 20603.724
AT ITER 2111 NEW BEST:: SOT 94613 SOS 41692 HAS SOPS 40678 HAS SOUS 21313 HAS SOUPS 20534 WITH SCORE 20575.692
AT ITER 2117 NEW BEST:: SOT 94629 SOS 41862 HAS SOPS 40848 HAS SOUS 21297 HAS SOUPS 20518 WITH SCORE 20559.862
AT ITER 2125 NEW BEST:: SOT 94639 SOS 41872 HAS SOPS 40858 HAS SOUS 21284 HAS SOUPS 20505 WITH SCORE 20546.872
AT ITER 2130 NEW BEST:: SOT 94613 SOS 41846 HAS SOPS 40832 HAS SOUS 21243 HAS SOUPS 20464 WITH SCORE 20505.846
AT ITER 2132 NEW BEST:: SOT 94453 SOS 41646 HAS SOPS 40632 HAS SOUS 21183 HAS SOUPS 20404 WITH SCORE 20445.646
AT ITER 2137 NEW BEST:: SOT 94399 SOS 41606 HAS SOPS 40596 HAS SOUS 21174 HAS SOUPS 20399 WITH SCORE 20440.606
AT ITER 2162 NEW BEST:: SOT 94381 SOS 41587 HAS SOPS 40577 HAS SOUS 21173 HAS SOUPS 20398 WITH SCORE 20439.587
AT ITER 2164 NEW BEST:: SOT 94364 SOS 41735 HAS SOPS 40725 HAS SOUS 21155 HAS SOUPS 20380 WITH SCORE 20421.735
AT ITER 2179 NEW BEST:: SOT 94430 SOS 42037 HAS SOPS 41011 HAS SOUS 21139 HAS SOUPS 20364 WITH SCORE 20406.037
AT ITER 2188 NEW BEST:: SOT 94427 SOS 42034 HAS SOPS 41008 HAS SOUS 21131 HAS SOUPS 20356 WITH SCORE 20398.034
AT ITER 2201 NEW BEST:: SOT 94406 SOS 41506 HAS SOPS 40480 HAS SOUS 21055 HAS SOUPS 20280 WITH SCORE 20321.506
AT ITER 2214 NEW BEST:: SOT 94393 SOS 41097 HAS SOPS 40071 HAS SOUS 21026 HAS SOUPS 20251 WITH SCORE 20292.097
AT ITER 2222 NEW BEST:: SOT 94517 SOS 40920 HAS SOPS 39894 HAS SOUS 20980 HAS SOUPS 20205 WITH SCORE 20245.92
AT ITER 2223 NEW BEST:: SOT 94340 SOS 40813 HAS SOPS 39652 HAS SOUS 21047 HAS SOUPS 20186 WITH SCORE 20226.813
AT ITER 2234 NEW BEST:: SOT 94397 SOS 40870 HAS SOPS 39709 HAS SOUS 21024 HAS SOUPS 20163 WITH SCORE 20203.87
AT ITER 2267 NEW BEST:: SOT 94394 SOS 40974 HAS SOPS 39813 HAS SOUS 21018 HAS SOUPS 20157 WITH SCORE 20197.974
AT ITER 2275 NEW BEST:: SOT 94258 SOS 41101 HAS SOPS 39940 HAS SOUS 20991 HAS SOUPS 20130 WITH SCORE 20171.101
AT ITER 2285 NEW BEST:: SOT 94252 SOS 40983 HAS SOPS 39808 HAS SOUS 20985 HAS SOUPS 20110 WITH SCORE 20150.983
AT ITER 2329 NEW BEST:: SOT 94278 SOS 40879 HAS SOPS 39689 HAS SOUS 20989 HAS SOUPS 20099 WITH SCORE 20139.879
AT ITER 2331 NEW BEST:: SOT 94238 SOS 40839 HAS SOPS 39649 HAS SOUS 20949 HAS SOUPS 20059 WITH SCORE 20099.839
AT ITER 2336 NEW BEST:: SOT 94152 SOS 40641 HAS SOPS 39451 HAS SOUS 20880 HAS SOUPS 19990 WITH SCORE 20030.641
AT ITER 2377 NEW BEST:: SOT 94143 SOS 40632 HAS SOPS 39442 HAS SOUS 20876 HAS SOUPS 19986 WITH SCORE 20026.632
AT ITER 2384 NEW BEST:: SOT 94153 SOS 40662 HAS SOPS 39472 HAS SOUS 20871 HAS SOUPS 19981 WITH SCORE 20021.662
AT ITER 2415 NEW BEST:: SOT 94143 SOS 40662 HAS SOPS 39472 HAS SOUS 20863 HAS SOUPS 19973 WITH SCORE 20013.662
AT ITER 2454 NEW BEST:: SOT 94087 SOS 40512 HAS SOPS 39322 HAS SOUS 20826 HAS SOUPS 19936 WITH SCORE 19976.512
AT ITER 2458 NEW BEST:: SOT 94137 SOS 40562 HAS SOPS 39372 HAS SOUS 20796 HAS SOUPS 19906 WITH SCORE 19946.562
AT ITER 2464 NEW BEST:: SOT 94101 SOS 40526 HAS SOPS 39336 HAS SOUS 20796 HAS SOUPS 19906 WITH SCORE 19946.526
AT ITER 2479 NEW BEST:: SOT 94079 SOS 40504 HAS SOPS 39314 HAS SOUS 20791 HAS SOUPS 19901 WITH SCORE 19941.504
AT ITER 2486 NEW BEST:: SOT 94079 SOS 40466 HAS SOPS 39276 HAS SOUS 20724 HAS SOUPS 19834 WITH SCORE 19874.466
AT ITER 2487 NEW BEST:: SOT 94058 SOS 40447 HAS SOPS 39320 HAS SOUS 20647 HAS SOUPS 19820 WITH SCORE 19860.447
AT ITER 2488 NEW BEST:: SOT 94062 SOS 40384 HAS SOPS 39250 HAS SOUS 20640 HAS SOUPS 19813 WITH SCORE 19853.384
AT ITER 2498 NEW BEST:: SOT 94102 SOS 40440 HAS SOPS 39306 HAS SOUS 20639 HAS SOUPS 19812 WITH SCORE 19852.44
AT ITER 2501 NEW BEST:: SOT 94093 SOS 40431 HAS SOPS 39297 HAS SOUS 20630 HAS SOUPS 19803 WITH SCORE 19843.431
AT ITER 2525 NEW BEST:: SOT 94040 SOS 40378 HAS SOPS 39244 HAS SOUS 20509 HAS SOUPS 19682 WITH SCORE 19722.378
AT ITER 2530 NEW BEST:: SOT 94040 SOS 40378 HAS SOPS 39244 HAS SOUS 20503 HAS SOUPS 19676 WITH SCORE 19716.378
AT ITER 2531 NEW BEST:: SOT 94022 SOS 40360 HAS SOPS 39226 HAS SOUS 20467 HAS SOUPS 19640 WITH SCORE 19680.36
AT ITER 2536 NEW BEST:: SOT 94019 SOS 40354 HAS SOPS 39220 HAS SOUS 20458 HAS SOUPS 19631 WITH SCORE 19671.354
AT ITER 2539 NEW BEST:: SOT 94043 SOS 40369 HAS SOPS 39235 HAS SOUS 20456 HAS SOUPS 19629 WITH SCORE 19669.369
AT ITER 2542 NEW BEST:: SOT 94096 SOS 40376 HAS SOPS 39242 HAS SOUS 20432 HAS SOUPS 19605 WITH SCORE 19645.376
AT ITER 2545 NEW BEST:: SOT 94079 SOS 40359 HAS SOPS 39225 HAS SOUS 20420 HAS SOUPS 19593 WITH SCORE 19633.359
AT ITER 2552 NEW BEST:: SOT 94082 SOS 40167 HAS SOPS 39003 HAS SOUS 20424 HAS SOUPS 19567 WITH SCORE 19607.167
AT ITER 2568 NEW BEST:: SOT 94066 SOS 39971 HAS SOPS 38807 HAS SOUS 20416 HAS SOUPS 19559 WITH SCORE 19598.971
AT ITER 2575 NEW BEST:: SOT 94064 SOS 39969 HAS SOPS 38805 HAS SOUS 20410 HAS SOUPS 19553 WITH SCORE 19592.969
AT ITER 2588 NEW BEST:: SOT 94050 SOS 39955 HAS SOPS 38791 HAS SOUS 20410 HAS SOUPS 19553 WITH SCORE 19592.955
AT ITER 2626 NEW BEST:: SOT 94032 SOS 39739 HAS SOPS 38575 HAS SOUS 20374 HAS SOUPS 19517 WITH SCORE 19556.739
AT ITER 2644 NEW BEST:: SOT 93955 SOS 39629 HAS SOPS 38498 HAS SOUS 20352 HAS SOUPS 19506 WITH SCORE 19545.629
AT ITER 2654 NEW BEST:: SOT 93926 SOS 39663 HAS SOPS 38498 HAS SOUS 20367 HAS SOUPS 19487 WITH SCORE 19526.663
AT ITER 2658 NEW BEST:: SOT 93925 SOS 39660 HAS SOPS 38495 HAS SOUS 20363 HAS SOUPS 19483 WITH SCORE 19522.66
AT ITER 2666 NEW BEST:: SOT 93793 SOS 39559 HAS SOPS 38383 HAS SOUS 20332 HAS SOUPS 19441 WITH SCORE 19480.559
AT ITER 2681 NEW BEST:: SOT 93669 SOS 39435 HAS SOPS 38259 HAS SOUS 20250 HAS SOUPS 19359 WITH SCORE 19398.435
AT ITER 2682 NEW BEST:: SOT 93505 SOS 39279 HAS SOPS 38103 HAS SOUS 20227 HAS SOUPS 19336 WITH SCORE 19375.279
AT ITER 2729 NEW BEST:: SOT 93465 SOS 39221 HAS SOPS 38045 HAS SOUS 20214 HAS SOUPS 19323 WITH SCORE 19362.221
AT ITER 2745 NEW BEST:: SOT 93463 SOS 39217 HAS SOPS 38041 HAS SOUS 20214 HAS SOUPS 19323 WITH SCORE 19362.217
AT ITER 2746 NEW BEST:: SOT 93463 SOS 39188 HAS SOPS 38012 HAS SOUS 20185 HAS SOUPS 19294 WITH SCORE 19333.188
AT ITER 2764 NEW BEST:: SOT 93267 SOS 39097 HAS SOPS 37772 HAS SOUS 20257 HAS SOUPS 19260 WITH SCORE 19299.097
AT ITER 2771 NEW BEST:: SOT 93248 SOS 39078 HAS SOPS 37753 HAS SOUS 20251 HAS SOUPS 19254 WITH SCORE 19293.078
AT ITER 2773 NEW BEST:: SOT 93228 SOS 39118 HAS SOPS 37793 HAS SOUS 20241 HAS SOUPS 19244 WITH SCORE 19283.118
AT ITER 2787 NEW BEST:: SOT 93227 SOS 39117 HAS SOPS 37792 HAS SOUS 20239 HAS SOUPS 19242 WITH SCORE 19281.117
AT ITER 2795 NEW BEST:: SOT 93265 SOS 39149 HAS SOPS 37824 HAS SOUS 20237 HAS SOUPS 19240 WITH SCORE 19279.149
AT ITER 2797 NEW BEST:: SOT 93241 SOS 39128 HAS SOPS 37803 HAS SOUS 20228 HAS SOUPS 19231 WITH SCORE 19270.128
AT ITER 2853 NEW BEST:: SOT 93217 SOS 39095 HAS SOPS 37770 HAS SOUS 20183 HAS SOUPS 19186 WITH SCORE 19225.095
AT ITER 2870 NEW BEST:: SOT 93116 SOS 39004 HAS SOPS 37679 HAS SOUS 20121 HAS SOUPS 19124 WITH SCORE 19163.004
AT ITER 2873 NEW BEST:: SOT 93123 SOS 39009 HAS SOPS 37683 HAS SOUS 20121 HAS SOUPS 19123 WITH SCORE 19162.009
AT ITER 2918 NEW BEST:: SOT 93123 SOS 39004 HAS SOPS 37678 HAS SOUS 20106 HAS SOUPS 19108 WITH SCORE 19147.004
AT ITER 2976 NEW BEST:: SOT 93110 SOS 38985 HAS SOPS 37662 HAS SOUS 20096 HAS SOUPS 19101 WITH SCORE 19139.985
AT ITER 2997 NEW BEST:: SOT 93198 SOS 39034 HAS SOPS 37711 HAS SOUS 20092 HAS SOUPS 19097 WITH SCORE 19136.034
AT ITER 3003 NEW BEST:: SOT 93238 SOS 39039 HAS SOPS 37716 HAS SOUS 20054 HAS SOUPS 19059 WITH SCORE 19098.039
AT ITER 3005 NEW BEST:: SOT 93236 SOS 39037 HAS SOPS 37709 HAS SOUS 20057 HAS SOUPS 19057 WITH SCORE 19096.037
AT ITER 3047 NEW BEST:: SOT 93236 SOS 38949 HAS SOPS 37621 HAS SOUS 20057 HAS SOUPS 19057 WITH SCORE 19095.949
AT ITER 3048 NEW BEST:: SOT 93227 SOS 38868 HAS SOPS 37531 HAS SOUS 20039 HAS SOUPS 19030 WITH SCORE 19068.868
AT ITER 3050 NEW BEST:: SOT 93211 SOS 38789 HAS SOPS 37452 HAS SOUS 20034 HAS SOUPS 19025 WITH SCORE 19063.789
AT ITER 3064 NEW BEST:: SOT 93264 SOS 38814 HAS SOPS 37477 HAS SOUS 19991 HAS SOUPS 18982 WITH SCORE 19020.814
AT ITER 3065 NEW BEST:: SOT 93251 SOS 38801 HAS SOPS 37464 HAS SOUS 19980 HAS SOUPS 18971 WITH SCORE 19009.801
AT ITER 3095 NEW BEST:: SOT 93250 SOS 38800 HAS SOPS 37463 HAS SOUS 19980 HAS SOUPS 18971 WITH SCORE 19009.8
AT ITER 3101 NEW BEST:: SOT 93222 SOS 38492 HAS SOPS 37155 HAS SOUS 19945 HAS SOUPS 18936 WITH SCORE 18974.492
AT ITER 3117 NEW BEST:: SOT 93202 SOS 38472 HAS SOPS 37135 HAS SOUS 19925 HAS SOUPS 18916 WITH SCORE 18954.472
AT ITER 3161 NEW BEST:: SOT 93179 SOS 38465 HAS SOPS 37128 HAS SOUS 19895 HAS SOUPS 18886 WITH SCORE 18924.465
AT ITER 3181 NEW BEST:: SOT 93164 SOS 38450 HAS SOPS 37113 HAS SOUS 19870 HAS SOUPS 18861 WITH SCORE 18899.45
AT ITER 3191 NEW BEST:: SOT 93123 SOS 38311 HAS SOPS 36974 HAS SOUS 19816 HAS SOUPS 18807 WITH SCORE 18845.311
AT ITER 3205 NEW BEST:: SOT 93125 SOS 38313 HAS SOPS 36976 HAS SOUS 19775 HAS SOUPS 18766 WITH SCORE 18804.313
AT ITER 3210 NEW BEST:: SOT 93105 SOS 38293 HAS SOPS 36956 HAS SOUS 19763 HAS SOUPS 18754 WITH SCORE 18792.293
AT ITER 3212 NEW BEST:: SOT 93099 SOS 38287 HAS SOPS 36950 HAS SOUS 19763 HAS SOUPS 18754 WITH SCORE 18792.287
AT ITER 3230 NEW BEST:: SOT 93072 SOS 38260 HAS SOPS 36923 HAS SOUS 19751 HAS SOUPS 18742 WITH SCORE 18780.26
AT ITER 3234 NEW BEST:: SOT 93066 SOS 38254 HAS SOPS 36917 HAS SOUS 19739 HAS SOUPS 18730 WITH SCORE 18768.254
AT ITER 3246 NEW BEST:: SOT 93118 SOS 38397 HAS SOPS 37060 HAS SOUS 19726 HAS SOUPS 18717 WITH SCORE 18755.397
AT ITER 3249 NEW BEST:: SOT 93030 SOS 38365 HAS SOPS 37028 HAS SOUS 19712 HAS SOUPS 18703 WITH SCORE 18741.365
AT ITER 3254 NEW BEST:: SOT 93042 SOS 38269 HAS SOPS 36932 HAS SOUS 19712 HAS SOUPS 18703 WITH SCORE 18741.269
AT ITER 3262 NEW BEST:: SOT 92996 SOS 38177 HAS SOPS 36840 HAS SOUS 19666 HAS SOUPS 18657 WITH SCORE 18695.177
AT ITER 3269 NEW BEST:: SOT 92978 SOS 38169 HAS SOPS 36832 HAS SOUS 19663 HAS SOUPS 18654 WITH SCORE 18692.169
AT ITER 3272 NEW BEST:: SOT 92942 SOS 38117 HAS SOPS 36780 HAS SOUS 19646 HAS SOUPS 18637 WITH SCORE 18675.117
AT ITER 3332 NEW BEST:: SOT 92918 SOS 38093 HAS SOPS 36756 HAS SOUS 19638 HAS SOUPS 18629 WITH SCORE 18667.093
AT ITER 3337 NEW BEST:: SOT 92916 SOS 38059 HAS SOPS 36722 HAS SOUS 19638 HAS SOUPS 18629 WITH SCORE 18667.059
AT ITER 3360 NEW BEST:: SOT 92904 SOS 38017 HAS SOPS 36680 HAS SOUS 19638 HAS SOUPS 18629 WITH SCORE 18667.017
AT ITER 3366 NEW BEST:: SOT 92926 SOS 38039 HAS SOPS 36702 HAS SOUS 19619 HAS SOUPS 18610 WITH SCORE 18648.039
AT ITER 3379 NEW BEST:: SOT 92912 SOS 38025 HAS SOPS 36688 HAS SOUS 19605 HAS SOUPS 18596 WITH SCORE 18634.025
AT ITER 3390 NEW BEST:: SOT 92843 SOS 37967 HAS SOPS 36630 HAS SOUS 19554 HAS SOUPS 18545 WITH SCORE 18582.967
AT ITER 3397 NEW BEST:: SOT 92817 SOS 37986 HAS SOPS 36615 HAS SOUS 19568 HAS SOUPS 18525 WITH SCORE 18562.986
AT ITER 3423 NEW BEST:: SOT 92835 SOS 37998 HAS SOPS 36615 HAS SOUS 19574 HAS SOUPS 18519 WITH SCORE 18556.998
AT ITER 3442 NEW BEST:: SOT 92659 SOS 37835 HAS SOPS 36442 HAS SOUS 19500 HAS SOUPS 18435 WITH SCORE 18472.835
AT ITER 3447 NEW BEST:: SOT 92633 SOS 37841 HAS SOPS 36416 HAS SOUS 19498 HAS SOUPS 18401 WITH SCORE 18438.841
AT ITER 3471 NEW BEST:: SOT 92379 SOS 37622 HAS SOPS 36160 HAS SOUS 19501 HAS SOUPS 18367 WITH SCORE 18404.622
AT ITER 3493 NEW BEST:: SOT 92204 SOS 37524 HAS SOPS 35985 HAS SOUS 19485 HAS SOUPS 18274 WITH SCORE 18311.524
AT ITER 3495 NEW BEST:: SOT 92172 SOS 37492 HAS SOPS 35953 HAS SOUS 19453 HAS SOUPS 18242 WITH SCORE 18279.492
AT ITER 3500 NEW BEST:: SOT 92229 SOS 37531 HAS SOPS 36003 HAS SOUS 19438 HAS SOUPS 18238 WITH SCORE 18275.531
AT ITER 3512 NEW BEST:: SOT 92229 SOS 37529 HAS SOPS 36001 HAS SOUS 19436 HAS SOUPS 18236 WITH SCORE 18273.529
AT ITER 3520 NEW BEST:: SOT 92289 SOS 37457 HAS SOPS 35929 HAS SOUS 19427 HAS SOUPS 18227 WITH SCORE 18264.457
AT ITER 3524 NEW BEST:: SOT 92301 SOS 37453 HAS SOPS 35921 HAS SOUS 19431 HAS SOUPS 18227 WITH SCORE 18264.453
AT ITER 3529 NEW BEST:: SOT 92225 SOS 37330 HAS SOPS 35798 HAS SOUS 19393 HAS SOUPS 18189 WITH SCORE 18226.33
AT ITER 3540 NEW BEST:: SOT 92240 SOS 37276 HAS SOPS 35744 HAS SOUS 19339 HAS SOUPS 18135 WITH SCORE 18172.276
AT ITER 3580 NEW BEST:: SOT 92240 SOS 37275 HAS SOPS 35743 HAS SOUS 19338 HAS SOUPS 18134 WITH SCORE 18171.275
AT ITER 3627 NEW BEST:: SOT 92240 SOS 37274 HAS SOPS 35743 HAS SOUS 19337 HAS SOUPS 18134 WITH SCORE 18171.274
AT ITER 3654 NEW BEST:: SOT 92230 SOS 37263 HAS SOPS 35732 HAS SOUS 19319 HAS SOUPS 18116 WITH SCORE 18153.263
AT ITER 3669 NEW BEST:: SOT 92167 SOS 37027 HAS SOPS 35510 HAS SOUS 19305 HAS SOUPS 18102 WITH SCORE 18139.027
AT ITER 3701 NEW BEST:: SOT 92169 SOS 36893 HAS SOPS 35376 HAS SOUS 19305 HAS SOUPS 18102 WITH SCORE 18138.893
AT ITER 3751 NEW BEST:: SOT 92165 SOS 36884 HAS SOPS 35367 HAS SOUS 19304 HAS SOUPS 18101 WITH SCORE 18137.884
AT ITER 3792 NEW BEST:: SOT 92163 SOS 36882 HAS SOPS 35365 HAS SOUS 19293 HAS SOUPS 18090 WITH SCORE 18126.882
AT ITER 3796 NEW BEST:: SOT 92175 SOS 36807 HAS SOPS 35284 HAS SOUS 19286 HAS SOUPS 18083 WITH SCORE 18119.807
AT ITER 3832 NEW BEST:: SOT 92199 SOS 36807 HAS SOPS 35284 HAS SOUS 19279 HAS SOUPS 18076 WITH SCORE 18112.807
AT ITER 3848 NEW BEST:: SOT 92124 SOS 36777 HAS SOPS 35254 HAS SOUS 19259 HAS SOUPS 18056 WITH SCORE 18092.777
AT ITER 3886 NEW BEST:: SOT 92119 SOS 36772 HAS SOPS 35249 HAS SOUS 19254 HAS SOUPS 18051 WITH SCORE 18087.772
AT ITER 3945 NEW BEST:: SOT 92161 SOS 36814 HAS SOPS 35291 HAS SOUS 19247 HAS SOUPS 18044 WITH SCORE 18080.814
AT ITER 3979 NEW BEST:: SOT 92157 SOS 36811 HAS SOPS 35288 HAS SOUS 19221 HAS SOUPS 18018 WITH SCORE 18054.811
AT ITER 3984 NEW BEST:: SOT 92163 SOS 36817 HAS SOPS 35294 HAS SOUS 19217 HAS SOUPS 18014 WITH SCORE 18050.817
AT ITER 4024 NEW BEST:: SOT 92128 SOS 36772 HAS SOPS 35259 HAS SOUS 19187 HAS SOUPS 17989 WITH SCORE 18025.772
AT ITER 4054 NEW BEST:: SOT 92095 SOS 36639 HAS SOPS 35126 HAS SOUS 19105 HAS SOUPS 17907 WITH SCORE 17943.639
AT ITER 4062 NEW BEST:: SOT 92097 SOS 36598 HAS SOPS 35085 HAS SOUS 19100 HAS SOUPS 17902 WITH SCORE 17938.598
AT ITER 4068 NEW BEST:: SOT 92069 SOS 36578 HAS SOPS 35065 HAS SOUS 19094 HAS SOUPS 17896 WITH SCORE 17932.578
AT ITER 4090 NEW BEST:: SOT 92062 SOS 36571 HAS SOPS 35058 HAS SOUS 19080 HAS SOUPS 17882 WITH SCORE 17918.571
AT ITER 4096 NEW BEST:: SOT 92055 SOS 36564 HAS SOPS 35051 HAS SOUS 19073 HAS SOUPS 17875 WITH SCORE 17911.564
AT ITER 4106 NEW BEST:: SOT 92062 SOS 36555 HAS SOPS 35042 HAS SOUS 19055 HAS SOUPS 17857 WITH SCORE 17893.555
AT ITER 4123 NEW BEST:: SOT 92077 SOS 36538 HAS SOPS 35025 HAS SOUS 19041 HAS SOUPS 17843 WITH SCORE 17879.538
AT ITER 4131 NEW BEST:: SOT 92077 SOS 36538 HAS SOPS 35025 HAS SOUS 19033 HAS SOUPS 17835 WITH SCORE 17871.538
AT ITER 4142 NEW BEST:: SOT 92043 SOS 36504 HAS SOPS 34991 HAS SOUS 18975 HAS SOUPS 17777 WITH SCORE 17813.504
AT ITER 4143 NEW BEST:: SOT 92043 SOS 36504 HAS SOPS 34991 HAS SOUS 18974 HAS SOUPS 17776 WITH SCORE 17812.504
AT ITER 4158 NEW BEST:: SOT 92022 SOS 36483 HAS SOPS 34970 HAS SOUS 18953 HAS SOUPS 17755 WITH SCORE 17791.483
AT ITER 4167 NEW BEST:: SOT 92016 SOS 36477 HAS SOPS 34964 HAS SOUS 18941 HAS SOUPS 17743 WITH SCORE 17779.477
AT ITER 4173 NEW BEST:: SOT 92042 SOS 36503 HAS SOPS 34990 HAS SOUS 18934 HAS SOUPS 17736 WITH SCORE 17772.503
AT ITER 4175 NEW BEST:: SOT 92058 SOS 36565 HAS SOPS 34984 HAS SOUS 18959 HAS SOUPS 17723 WITH SCORE 17759.565
AT ITER 4178 NEW BEST:: SOT 92056 SOS 36563 HAS SOPS 34982 HAS SOUS 18958 HAS SOUPS 17722 WITH SCORE 17758.563
AT ITER 4195 NEW BEST:: SOT 92065 SOS 36556 HAS SOPS 34975 HAS SOUS 18958 HAS SOUPS 17722 WITH SCORE 17758.556
AT ITER 4196 NEW BEST:: SOT 92047 SOS 36493 HAS SOPS 34912 HAS SOUS 18949 HAS SOUPS 17713 WITH SCORE 17749.493
AT ITER 4208 NEW BEST:: SOT 92017 SOS 36456 HAS SOPS 34875 HAS SOUS 18920 HAS SOUPS 17684 WITH SCORE 17720.456
AT ITER 4253 NEW BEST:: SOT 92031 SOS 36417 HAS SOPS 34829 HAS SOUS 18917 HAS SOUPS 17681 WITH SCORE 17717.417
AT ITER 4255 NEW BEST:: SOT 91924 SOS 36310 HAS SOPS 34722 HAS SOUS 18856 HAS SOUPS 17620 WITH SCORE 17656.31
AT ITER 4276 NEW BEST:: SOT 91917 SOS 36303 HAS SOPS 34715 HAS SOUS 18849 HAS SOUPS 17613 WITH SCORE 17649.303
AT ITER 4304 NEW BEST:: SOT 91916 SOS 36302 HAS SOPS 34714 HAS SOUS 18848 HAS SOUPS 17612 WITH SCORE 17648.302
AT ITER 4351 NEW BEST:: SOT 91861 SOS 36321 HAS SOPS 34659 HAS SOUS 18895 HAS SOUPS 17600 WITH SCORE 17636.321
AT ITER 4461 NEW BEST:: SOT 91856 SOS 36148 HAS SOPS 34476 HAS SOUS 18900 HAS SOUPS 17595 WITH SCORE 17631.148
AT ITER 4496 NEW BEST:: SOT 91856 SOS 36069 HAS SOPS 34397 HAS SOUS 18900 HAS SOUPS 17595 WITH SCORE 17631.069
AT ITER 4507 NEW BEST:: SOT 91838 SOS 35984 HAS SOPS 34301 HAS SOUS 18868 HAS SOUPS 17552 WITH SCORE 17587.984
AT ITER 4595 NEW BEST:: SOT 91838 SOS 35984 HAS SOPS 34301 HAS SOUS 18836 HAS SOUPS 17520 WITH SCORE 17555.984
AT ITER 4616 NEW BEST:: SOT 91947 SOS 36093 HAS SOPS 34410 HAS SOUS 18825 HAS SOUPS 17509 WITH SCORE 17545.093
AT ITER 4664 NEW BEST:: SOT 91932 SOS 36062 HAS SOPS 34379 HAS SOUS 18783 HAS SOUPS 17467 WITH SCORE 17503.062
AT ITER 4676 NEW BEST:: SOT 91923 SOS 36053 HAS SOPS 34370 HAS SOUS 18765 HAS SOUPS 17449 WITH SCORE 17485.053
AT ITER 4699 NEW BEST:: SOT 91935 SOS 36065 HAS SOPS 34382 HAS SOUS 18757 HAS SOUPS 17441 WITH SCORE 17477.065
AT ITER 4715 NEW BEST:: SOT 92025 SOS 36114 HAS SOPS 34431 HAS SOUS 18724 HAS SOUPS 17408 WITH SCORE 17444.114
AT ITER 4782 NEW BEST:: SOT 91999 SOS 36067 HAS SOPS 34384 HAS SOUS 18722 HAS SOUPS 17406 WITH SCORE 17442.067
AT ITER 4788 NEW BEST:: SOT 91981 SOS 36114 HAS SOPS 34437 HAS SOUS 18720 HAS SOUPS 17404 WITH SCORE 17440.114
AT ITER 4822 NEW BEST:: SOT 91977 SOS 36102 HAS SOPS 34433 HAS SOUS 18704 HAS SOUPS 17392 WITH SCORE 17428.102
AT ITER 4835 NEW BEST:: SOT 91948 SOS 36065 HAS SOPS 34396 HAS SOUS 18667 HAS SOUPS 17355 WITH SCORE 17391.065
AT ITER 4884 NEW BEST:: SOT 91946 SOS 36079 HAS SOPS 34410 HAS SOUS 18618 HAS SOUPS 17306 WITH SCORE 17342.079
AT ITER 4922 NEW BEST:: SOT 91946 SOS 36076 HAS SOPS 34407 HAS SOUS 18617 HAS SOUPS 17305 WITH SCORE 17341.076
AT ITER 4926 NEW BEST:: SOT 92135 SOS 36208 HAS SOPS 34539 HAS SOUS 18588 HAS SOUPS 17276 WITH SCORE 17312.208
AT ITER 4942 NEW BEST:: SOT 92105 SOS 36208 HAS SOPS 34539 HAS SOUS 18587 HAS SOUPS 17275 WITH SCORE 17311.208
AT ITER 4984 NEW BEST:: SOT 92081 SOS 36184 HAS SOPS 34515 HAS SOUS 18563 HAS SOUPS 17251 WITH SCORE 17287.184
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-4A-CTLFireability-00 (EU( (EF( ( ((potential((tk(P114)>=1)))) & ((potential((tk(P226)>=1) & (tk(P222)>=1)))) ))) , ((potential((tk(P196)>=1)))) ))
PROPERTY: NoC3x3-PT-4A-CTLFireability-01 (! ( (EU( (! ((potential((tk(P291)>=1))))) , (! ((potential((tk(P261)>=1) & (tk(P257)>=1))))) )) & (EF( (AF( ((potential((tk(P115)>=1) & (tk(P91)>=1)))))))) ))
PROPERTY: NoC3x3-PT-4A-CTLFireability-02 (EU( (AF( (! ((potential((tk(P52)>=1) & (tk(P31)>=1))))))) , ( (EG( ((potential((tk(P49)>=1) & (tk(P31)>=1)))))) & (AX( ((potential((tk(P291)>=1)))))) ) ))
PROPERTY: NoC3x3-PT-4A-CTLFireability-03 (EU( (EF( ( ((potential((tk(P267)>=1)))) & ((potential((tk(P58)>=1)))) ))) , ( (AX( ((potential((tk(P117)>=1) & (tk(P90)>=1)))))) | ( ( ((potential((tk(P290)>=1) & (tk(P175)>=1)))) & ((potential((tk(P109)>=1)))) ) & ( ((potential((tk(P196)>=1) & (tk(P190)>=1)))) & ((potential((tk(P202)>=1) & (tk(P176)>=1)))) ) ) ) ))
PROPERTY: NoC3x3-PT-4A-CTLFireability-04 ( ( ( (EU( ((potential((tk(P259)>=1) & (tk(P248)>=1)))) , ((potential((tk(P56)>=1) & (tk(P8)>=1)))) )) | ( ( ( ((potential((tk(P78)>=1)))) | ((potential((tk(P205)>=1)))) ) | (! ((potential((tk(P223)>=1) & (tk(P217)>=1))))) ) | (! ( ((potential((tk(P117)>=1)))) & ((potential((tk(P115)>=1)))) )) ) ) | (AU( ( ((potential((tk(P268)>=1)))) | ((potential((tk(P16)>=1)))) ) , ( ((potential((tk(P110)>=1) & (tk(P216)>=1)))) & ((potential((tk(P230)>=1)))) ) )) ) & (EF( (AG( ((potential((tk(P58)>=1) & (tk(P24)>=1)))))))) )
PROPERTY: NoC3x3-PT-4A-CTLFireability-05 ( (EU( (! ( ((potential((tk(P21)>=1)))) | ((potential((tk(P49)>=1) & (tk(P29)>=1)))) )) , ( ( ((potential((tk(P79)>=1)))) | ((potential((tk(P114)>=1) & (tk(P97)>=1)))) ) & ( ((potential((tk(P81)>=1)))) & ((potential((tk(P112)>=1) & (tk(P84)>=1)))) ) ) )) | ( ( ( (AG( ((potential((tk(P163)>=1)))))) | ((potential((tk(P226)>=1)))) ) & (AU( ((potential((tk(P80)>=1) & (tk(P34)>=1)))) , ((potential((tk(P158)>=1)))) )) ) & (! ( ( ( ((potential((tk(P196)>=1)))) & ((potential((tk(P19)>=1)))) ) & (! ((potential((tk(P81)>=1) & (tk(P66)>=1))))) ) & (AF( ((potential((tk(P53)>=1) & (tk(P68)>=1)))))) )) ) )
PROPERTY: NoC3x3-PT-4A-CTLFireability-06 (AX( (EU( (! ((potential((tk(P109)>=1) & (tk(P98)>=1))))) , ( ((potential((tk(P262)>=1) & (tk(P232)>=1)))) & ((potential((tk(P199)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-4A-CTLFireability-07 (AG( (EF( (AF( ((potential((tk(P16)>=1))))))))))
PROPERTY: NoC3x3-PT-4A-CTLFireability-08 (! (EF( ( ( ( ((potential((tk(P162)>=1) & (tk(P184)>=1)))) | ((potential((tk(P78)>=1)))) ) & (! ((potential((tk(P170)>=1))))) ) | ( ( ((potential((tk(P164)>=1)))) | ((potential((tk(P169)>=1) & (tk(P146)>=1)))) ) & ((potential((tk(P286)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-4A-CTLFireability-09 ( (! (AG( (EF( ((potential((tk(P76)>=1))))))))) & (! (EU( ((potential((tk(P48)>=1)))) , ((potential((tk(P227)>=1)))) ))) )
PROPERTY: NoC3x3-PT-4A-CTLFireability-10 (AU( ( ( (! ((potential((tk(P21)>=1))))) | ( ((potential((tk(P227)>=1)))) & ((potential((tk(P267)>=1) & (tk(P247)>=1)))) ) ) & (EX( ((potential((tk(P161)>=1) & (tk(P123)>=1)))))) ) , (EF( ( ((potential((tk(P260)>=1) & (tk(P271)>=1)))) & ((potential((tk(P52)>=1) & (tk(P29)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-4A-CTLFireability-11 (! (AG( (! ((potential((tk(P259)>=1) & (tk(P237)>=1))))))))
PROPERTY: NoC3x3-PT-4A-CTLFireability-12 ( ( ( (AG( (! ((potential((tk(P262)>=1))))))) | (EX( ( ((potential((tk(P112)>=1)))) & ((potential((tk(P170)>=1)))) ))) ) & (! ( (AX( ((potential((tk(P112)>=1)))))) & (EG( ((potential((tk(P83)>=1)))))) )) ) | ( ( ( (AX( ((potential((tk(P55)>=1)))))) | ( ( ((potential((tk(P108)>=1) & (tk(P93)>=1)))) & ((potential((tk(P223)>=1)))) ) & ( ((potential((tk(P224)>=1) & (tk(P211)>=1)))) | ((potential((tk(P285)>=1)))) ) ) ) & ((potential((tk(P21)>=1)))) ) & ((potential((tk(P230)>=1)))) ) )
PROPERTY: NoC3x3-PT-4A-CTLFireability-13 (EF( (EU( ( ((potential((tk(P290)>=1) & (tk(P177)>=1)))) & ((potential((tk(P16)>=1)))) ) , ( ((potential((tk(P19)>=1)))) | ((potential((tk(P75)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-4A-CTLFireability-14 ( (EF( (EX( ( ((potential((tk(P118)>=1) & (tk(P91)>=1)))) & ((potential((tk(P261)>=1)))) ))))) | (EX( (EU( ((potential((tk(P164)>=1) & (tk(P120)>=1)))) , ((potential((tk(P205)>=1) & (tk(P194)>=1)))) )))) )
PROPERTY: NoC3x3-PT-4A-CTLFireability-15 (EX( (EU( ((potential((tk(P83)>=1)))) , ((potential((tk(P261)>=1) & (tk(P252)>=1)))) ))))
BK_STOP 1589644164005
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 471 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="NoC3x3-PT-4A"
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 NoC3x3-PT-4A, 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 r108-csrt-158961250400380"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A 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 ;