About the Execution of Smart for FlexibleBarrier-PT-22a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1489.443 | 569275.00 | 569000.00 | 60.00 | 5.5206E+0023 2.0633E+0025 1 24 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r163-tall-167838848000592.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is FlexibleBarrier-PT-22a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848000592
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 7.6K Feb 25 13:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 13:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 13:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 384K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678454912610
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-22a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 22a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 267 places, 1258 transitions, 6375 arcs.
AT ITER 0 NEW BEST:: SOT 301178 SOS 264570 HAS SOPS 264570 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145389.57
AT ITER 2 NEW BEST:: SOT 301266 SOS 264442 HAS SOPS 264442 HAS SOUS 142651 HAS SOUPS 142651 WITH SCORE 142915.442
AT ITER 4 NEW BEST:: SOT 300872 SOS 263945 HAS SOPS 263945 HAS SOUS 142250 HAS SOUPS 142250 WITH SCORE 142513.945
AT ITER 9 NEW BEST:: SOT 300866 SOS 263901 HAS SOPS 263901 HAS SOUS 142020 HAS SOUPS 142020 WITH SCORE 142283.901
AT ITER 11 NEW BEST:: SOT 301042 SOS 263226 HAS SOPS 263226 HAS SOUS 136002 HAS SOUPS 136002 WITH SCORE 136265.226
AT ITER 12 NEW BEST:: SOT 301168 SOS 263477 HAS SOPS 263477 HAS SOUS 135999 HAS SOUPS 135999 WITH SCORE 136262.477
AT ITER 14 NEW BEST:: SOT 301205 SOS 262842 HAS SOPS 262842 HAS SOUS 133912 HAS SOUPS 133912 WITH SCORE 134174.842
AT ITER 16 NEW BEST:: SOT 301396 SOS 261612 HAS SOPS 261612 HAS SOUS 126209 HAS SOUPS 126209 WITH SCORE 126470.612
AT ITER 17 NEW BEST:: SOT 301388 SOS 260251 HAS SOPS 260251 HAS SOUS 123399 HAS SOUPS 123399 WITH SCORE 123659.251
AT ITER 19 NEW BEST:: SOT 301528 SOS 260240 HAS SOPS 260240 HAS SOUS 123390 HAS SOUPS 123390 WITH SCORE 123650.24
AT ITER 23 NEW BEST:: SOT 301664 SOS 260095 HAS SOPS 260095 HAS SOUS 123231 HAS SOUPS 123231 WITH SCORE 123491.095
AT ITER 24 NEW BEST:: SOT 300590 SOS 258874 HAS SOPS 258874 HAS SOUS 122598 HAS SOUPS 122598 WITH SCORE 122856.874
AT ITER 26 NEW BEST:: SOT 300610 SOS 257878 HAS SOPS 257878 HAS SOUS 121363 HAS SOUPS 121363 WITH SCORE 121620.878
AT ITER 28 NEW BEST:: SOT 299491 SOS 256747 HAS SOPS 256747 HAS SOUS 121007 HAS SOUPS 121007 WITH SCORE 121263.747
AT ITER 31 NEW BEST:: SOT 299557 SOS 256859 HAS SOPS 256859 HAS SOUS 121006 HAS SOUPS 121006 WITH SCORE 121262.859
AT ITER 32 NEW BEST:: SOT 299760 SOS 253950 HAS SOPS 253950 HAS SOUS 113282 HAS SOUPS 113282 WITH SCORE 113535.95
AT ITER 33 NEW BEST:: SOT 299129 SOS 253124 HAS SOPS 253124 HAS SOUS 112896 HAS SOUPS 112896 WITH SCORE 113149.124
AT ITER 34 NEW BEST:: SOT 299129 SOS 253053 HAS SOPS 253053 HAS SOUS 112896 HAS SOUPS 112896 WITH SCORE 113149.053
AT ITER 42 NEW BEST:: SOT 299231 SOS 253257 HAS SOPS 253257 HAS SOUS 112893 HAS SOUPS 112893 WITH SCORE 113146.257
AT ITER 43 NEW BEST:: SOT 299282 SOS 248525 HAS SOPS 248525 HAS SOUS 106593 HAS SOUPS 106593 WITH SCORE 106841.525
AT ITER 45 NEW BEST:: SOT 299282 SOS 248464 HAS SOPS 248464 HAS SOUS 106532 HAS SOUPS 106532 WITH SCORE 106780.464
AT ITER 46 NEW BEST:: SOT 299357 SOS 248131 HAS SOPS 248131 HAS SOUS 106393 HAS SOUPS 106393 WITH SCORE 106641.131
AT ITER 48 NEW BEST:: SOT 299781 SOS 247805 HAS SOPS 247805 HAS SOUS 106280 HAS SOUPS 106280 WITH SCORE 106527.805
AT ITER 50 NEW BEST:: SOT 299569 SOS 247639 HAS SOPS 247639 HAS SOUS 106215 HAS SOUPS 106215 WITH SCORE 106462.639
AT ITER 52 NEW BEST:: SOT 298744 SOS 246692 HAS SOPS 246692 HAS SOUS 105623 HAS SOUPS 105623 WITH SCORE 105869.692
AT ITER 58 NEW BEST:: SOT 298534 SOS 246474 HAS SOPS 246474 HAS SOUS 105471 HAS SOUPS 105471 WITH SCORE 105717.474
AT ITER 59 NEW BEST:: SOT 298534 SOS 246264 HAS SOPS 246264 HAS SOUS 105263 HAS SOUPS 105263 WITH SCORE 105509.264
AT ITER 63 NEW BEST:: SOT 297604 SOS 245334 HAS SOPS 245334 HAS SOUS 104774 HAS SOUPS 104774 WITH SCORE 105019.334
AT ITER 64 NEW BEST:: SOT 297601 SOS 245327 HAS SOPS 245327 HAS SOUS 104769 HAS SOUPS 104769 WITH SCORE 105014.327
AT ITER 71 NEW BEST:: SOT 289564 SOS 240516 HAS SOPS 234836 HAS SOUS 96890 HAS SOUPS 96752 WITH SCORE 96992.516
AT ITER 74 NEW BEST:: SOT 289564 SOS 240042 HAS SOPS 234362 HAS SOUS 96840 HAS SOUPS 96702 WITH SCORE 96942.042
AT ITER 76 NEW BEST:: SOT 289581 SOS 238225 HAS SOPS 232545 HAS SOUS 96051 HAS SOUPS 95913 WITH SCORE 96151.225
AT ITER 77 NEW BEST:: SOT 289581 SOS 238020 HAS SOPS 232236 HAS SOUS 95846 HAS SOUPS 95708 WITH SCORE 95946.02
AT ITER 81 NEW BEST:: SOT 285567 SOS 233794 HAS SOPS 228010 HAS SOUS 93839 HAS SOUPS 93701 WITH SCORE 93934.794
AT ITER 85 NEW BEST:: SOT 284427 SOS 232654 HAS SOPS 226870 HAS SOUS 93255 HAS SOUPS 93117 WITH SCORE 93349.654
AT ITER 90 NEW BEST:: SOT 284523 SOS 232644 HAS SOPS 226860 HAS SOUS 93244 HAS SOUPS 93106 WITH SCORE 93338.644
AT ITER 93 NEW BEST:: SOT 283050 SOS 231147 HAS SOPS 225358 HAS SOUS 92469 HAS SOUPS 92326 WITH SCORE 92557.147
AT ITER 101 NEW BEST:: SOT 283184 SOS 231280 HAS SOPS 225491 HAS SOUS 92412 HAS SOUPS 92269 WITH SCORE 92500.28
AT ITER 102 NEW BEST:: SOT 283344 SOS 229078 HAS SOPS 222181 HAS SOUS 88896 HAS SOUPS 88753 WITH SCORE 88982.078
AT ITER 104 NEW BEST:: SOT 283344 SOS 226958 HAS SOPS 220061 HAS SOUS 88234 HAS SOUPS 88091 WITH SCORE 88317.958
AT ITER 105 NEW BEST:: SOT 283350 SOS 226923 HAS SOPS 220008 HAS SOUS 88212 HAS SOUPS 88061 WITH SCORE 88287.923
AT ITER 106 NEW BEST:: SOT 283389 SOS 226954 HAS SOPS 220039 HAS SOUS 88174 HAS SOUPS 88023 WITH SCORE 88249.954
AT ITER 107 NEW BEST:: SOT 283389 SOS 226877 HAS SOPS 219885 HAS SOUS 88020 HAS SOUPS 87869 WITH SCORE 88095.877
AT ITER 109 NEW BEST:: SOT 283200 SOS 226697 HAS SOPS 219705 HAS SOUS 87930 HAS SOUPS 87779 WITH SCORE 88005.697
AT ITER 110 NEW BEST:: SOT 283406 SOS 226814 HAS SOPS 219822 HAS SOUS 87841 HAS SOUPS 87690 WITH SCORE 87916.814
AT ITER 117 NEW BEST:: SOT 283438 SOS 225517 HAS SOPS 215762 HAS SOUS 81930 HAS SOUPS 81779 WITH SCORE 82004.517
AT ITER 118 NEW BEST:: SOT 283441 SOS 223871 HAS SOPS 214116 HAS SOUS 81745 HAS SOUPS 81594 WITH SCORE 81817.871
AT ITER 127 NEW BEST:: SOT 283468 SOS 223922 HAS SOPS 214167 HAS SOUS 81742 HAS SOUPS 81591 WITH SCORE 81814.922
AT ITER 128 NEW BEST:: SOT 283496 SOS 223933 HAS SOPS 214178 HAS SOUS 81739 HAS SOUPS 81588 WITH SCORE 81811.933
AT ITER 129 NEW BEST:: SOT 283484 SOS 223921 HAS SOPS 214166 HAS SOUS 81739 HAS SOUPS 81588 WITH SCORE 81811.921
AT ITER 133 NEW BEST:: SOT 283642 SOS 222555 HAS SOPS 210828 HAS SOUS 78726 HAS SOUPS 78575 WITH SCORE 78797.555
AT ITER 134 NEW BEST:: SOT 283640 SOS 222401 HAS SOPS 210674 HAS SOUS 78649 HAS SOUPS 78498 WITH SCORE 78720.401
AT ITER 135 NEW BEST:: SOT 284056 SOS 220022 HAS SOPS 208295 HAS SOUS 77527 HAS SOUPS 77376 WITH SCORE 77596.022
AT ITER 144 NEW BEST:: SOT 284165 SOS 219933 HAS SOPS 208206 HAS SOUS 77483 HAS SOUPS 77332 WITH SCORE 77551.933
AT ITER 146 NEW BEST:: SOT 283751 SOS 219509 HAS SOPS 207710 HAS SOUS 76869 HAS SOUPS 76716 WITH SCORE 76935.509
AT ITER 147 NEW BEST:: SOT 283672 SOS 219193 HAS SOPS 207315 HAS SOUS 76553 HAS SOUPS 76400 WITH SCORE 76619.193
AT ITER 149 NEW BEST:: SOT 281711 SOS 217253 HAS SOPS 205375 HAS SOUS 75559 HAS SOUPS 75406 WITH SCORE 75623.253
AT ITER 150 NEW BEST:: SOT 281764 SOS 213812 HAS SOPS 201934 HAS SOUS 74243 HAS SOUPS 74090 WITH SCORE 74303.812
AT ITER 151 NEW BEST:: SOT 281719 SOS 213799 HAS SOPS 201876 HAS SOUS 74185 HAS SOUPS 74032 WITH SCORE 74245.799
AT ITER 154 NEW BEST:: SOT 281727 SOS 213822 HAS SOPS 201794 HAS SOUS 74103 HAS SOUPS 73950 WITH SCORE 74163.822
AT ITER 156 NEW BEST:: SOT 281692 SOS 213752 HAS SOPS 201724 HAS SOUS 74068 HAS SOUPS 73915 WITH SCORE 74128.752
AT ITER 157 NEW BEST:: SOT 281716 SOS 211661 HAS SOPS 199633 HAS SOUS 73387 HAS SOUPS 73234 WITH SCORE 73445.661
AT ITER 159 NEW BEST:: SOT 281900 SOS 208645 HAS SOPS 195665 HAS SOUS 71722 HAS SOUPS 71569 WITH SCORE 71777.645
AT ITER 163 NEW BEST:: SOT 281967 SOS 208778 HAS SOPS 195798 HAS SOUS 71719 HAS SOUPS 71566 WITH SCORE 71774.778
AT ITER 165 NEW BEST:: SOT 275521 SOS 205388 HAS SOPS 189350 HAS SOUS 65921 HAS SOUPS 65615 WITH SCORE 65820.388
AT ITER 167 NEW BEST:: SOT 275473 SOS 205369 HAS SOPS 189302 HAS SOUS 65921 HAS SOUPS 65615 WITH SCORE 65820.369
AT ITER 169 NEW BEST:: SOT 275436 SOS 205295 HAS SOPS 189228 HAS SOUS 65921 HAS SOUPS 65615 WITH SCORE 65820.295
AT ITER 170 NEW BEST:: SOT 275448 SOS 205307 HAS SOPS 189142 HAS SOUS 65835 HAS SOUPS 65529 WITH SCORE 65734.307
AT ITER 173 NEW BEST:: SOT 275444 SOS 205210 HAS SOPS 189050 HAS SOUS 65809 HAS SOUPS 65503 WITH SCORE 65708.21
AT ITER 174 NEW BEST:: SOT 271197 SOS 200657 HAS SOPS 184344 HAS SOUS 63241 HAS SOUPS 62935 WITH SCORE 63135.657
AT ITER 175 NEW BEST:: SOT 271192 SOS 199682 HAS SOPS 183369 HAS SOUS 63048 HAS SOUPS 62742 WITH SCORE 62941.682
AT ITER 186 NEW BEST:: SOT 271299 SOS 199771 HAS SOPS 183458 HAS SOUS 63028 HAS SOUPS 62722 WITH SCORE 62921.771
AT ITER 189 NEW BEST:: SOT 271176 SOS 199648 HAS SOPS 183254 HAS SOUS 62904 HAS SOUPS 62598 WITH SCORE 62797.648
AT ITER 190 NEW BEST:: SOT 271171 SOS 199638 HAS SOPS 183218 HAS SOUS 62867 HAS SOUPS 62561 WITH SCORE 62760.638
AT ITER 196 NEW BEST:: SOT 271982 SOS 196800 HAS SOPS 180425 HAS SOUS 62608 HAS SOUPS 62302 WITH SCORE 62498.8
AT ITER 200 NEW BEST:: SOT 271885 SOS 196481 HAS SOPS 180018 HAS SOUS 62270 HAS SOUPS 61964 WITH SCORE 62160.481
AT ITER 203 NEW BEST:: SOT 271800 SOS 196405 HAS SOPS 179851 HAS SOUS 62051 HAS SOUPS 61745 WITH SCORE 61941.405
AT ITER 207 NEW BEST:: SOT 271800 SOS 196376 HAS SOPS 179822 HAS SOUS 62022 HAS SOUPS 61716 WITH SCORE 61912.376
AT ITER 209 NEW BEST:: SOT 271792 SOS 196368 HAS SOPS 179820 HAS SOUS 62020 HAS SOUPS 61714 WITH SCORE 61910.368
AT ITER 212 NEW BEST:: SOT 271831 SOS 196248 HAS SOPS 179682 HAS SOUS 61875 HAS SOUPS 61569 WITH SCORE 61765.248
AT ITER 214 NEW BEST:: SOT 271819 SOS 196246 HAS SOPS 179658 HAS SOUS 61840 HAS SOUPS 61534 WITH SCORE 61730.246
AT ITER 217 NEW BEST:: SOT 272023 SOS 194708 HAS SOPS 179886 HAS SOUS 61825 HAS SOUPS 61528 WITH SCORE 61722.708
AT ITER 218 NEW BEST:: SOT 271998 SOS 194647 HAS SOPS 179685 HAS SOUS 61775 HAS SOUPS 61478 WITH SCORE 61672.647
AT ITER 219 NEW BEST:: SOT 271998 SOS 194604 HAS SOPS 179642 HAS SOUS 61775 HAS SOUPS 61478 WITH SCORE 61672.604
AT ITER 221 NEW BEST:: SOT 271998 SOS 194597 HAS SOPS 179635 HAS SOUS 61768 HAS SOUPS 61471 WITH SCORE 61665.597
AT ITER 224 NEW BEST:: SOT 271997 SOS 194658 HAS SOPS 179633 HAS SOUS 61727 HAS SOUPS 61430 WITH SCORE 61624.658
AT ITER 226 NEW BEST:: SOT 272165 SOS 193554 HAS SOPS 177617 HAS SOUS 60637 HAS SOUPS 60340 WITH SCORE 60533.554
AT ITER 229 NEW BEST:: SOT 272155 SOS 193534 HAS SOPS 177597 HAS SOUS 60617 HAS SOUPS 60320 WITH SCORE 60513.534
AT ITER 232 NEW BEST:: SOT 272124 SOS 193487 HAS SOPS 177479 HAS SOUS 60445 HAS SOUPS 60148 WITH SCORE 60341.487
AT ITER 235 NEW BEST:: SOT 272119 SOS 193473 HAS SOPS 177469 HAS SOUS 60444 HAS SOUPS 60147 WITH SCORE 60340.473
AT ITER 236 NEW BEST:: SOT 272059 SOS 193490 HAS SOPS 177459 HAS SOUS 60438 HAS SOUPS 60141 WITH SCORE 60334.49
AT ITER 240 NEW BEST:: SOT 271985 SOS 193355 HAS SOPS 177233 HAS SOUS 60269 HAS SOUPS 59972 WITH SCORE 60165.355
AT ITER 242 NEW BEST:: SOT 267870 SOS 191406 HAS SOPS 175761 HAS SOUS 59616 HAS SOUPS 59319 WITH SCORE 59510.406
AT ITER 244 NEW BEST:: SOT 267751 SOS 191078 HAS SOPS 175433 HAS SOUS 59442 HAS SOUPS 59145 WITH SCORE 59336.078
AT ITER 247 NEW BEST:: SOT 267794 SOS 191164 HAS SOPS 175519 HAS SOUS 59438 HAS SOUPS 59141 WITH SCORE 59332.164
AT ITER 249 NEW BEST:: SOT 267800 SOS 190092 HAS SOPS 174447 HAS SOUS 59368 HAS SOUPS 59071 WITH SCORE 59261.092
AT ITER 257 NEW BEST:: SOT 267800 SOS 190092 HAS SOPS 174447 HAS SOUS 59329 HAS SOUPS 59032 WITH SCORE 59222.092
AT ITER 258 NEW BEST:: SOT 267744 SOS 189847 HAS SOPS 174185 HAS SOUS 59213 HAS SOUPS 58916 WITH SCORE 59105.847
AT ITER 259 NEW BEST:: SOT 267724 SOS 189827 HAS SOPS 174175 HAS SOUS 59200 HAS SOUPS 58906 WITH SCORE 59095.827
AT ITER 260 NEW BEST:: SOT 267709 SOS 189727 HAS SOPS 174037 HAS SOUS 59046 HAS SOUPS 58752 WITH SCORE 58941.727
AT ITER 264 NEW BEST:: SOT 267640 SOS 189622 HAS SOPS 173899 HAS SOUS 58990 HAS SOUPS 58696 WITH SCORE 58885.622
AT ITER 265 NEW BEST:: SOT 267557 SOS 189539 HAS SOPS 173816 HAS SOUS 58907 HAS SOUPS 58613 WITH SCORE 58802.539
AT ITER 271 NEW BEST:: SOT 267548 SOS 189530 HAS SOPS 173798 HAS SOUS 58889 HAS SOUPS 58595 WITH SCORE 58784.53
AT ITER 277 NEW BEST:: SOT 267576 SOS 189386 HAS SOPS 173650 HAS SOUS 58811 HAS SOUPS 58517 WITH SCORE 58706.386
AT ITER 278 NEW BEST:: SOT 267510 SOS 189179 HAS SOPS 173518 HAS SOUS 58747 HAS SOUPS 58453 WITH SCORE 58642.179
AT ITER 287 NEW BEST:: SOT 267368 SOS 188824 HAS SOPS 173092 HAS SOUS 58463 HAS SOUPS 58169 WITH SCORE 58357.824
AT ITER 291 NEW BEST:: SOT 267375 SOS 188724 HAS SOPS 172959 HAS SOUS 58333 HAS SOUPS 58039 WITH SCORE 58227.724
AT ITER 292 NEW BEST:: SOT 264115 SOS 185554 HAS SOPS 169737 HAS SOUS 56820 HAS SOUPS 56526 WITH SCORE 56711.554
AT ITER 294 NEW BEST:: SOT 258855 SOS 180294 HAS SOPS 164477 HAS SOUS 54190 HAS SOUPS 53896 WITH SCORE 54076.294
AT ITER 296 NEW BEST:: SOT 258744 SOS 177132 HAS SOPS 160578 HAS SOUS 52701 HAS SOUPS 52407 WITH SCORE 52584.132
AT ITER 302 NEW BEST:: SOT 258756 SOS 177132 HAS SOPS 160584 HAS SOUS 52688 HAS SOUPS 52394 WITH SCORE 52571.132
AT ITER 305 NEW BEST:: SOT 258731 SOS 177114 HAS SOPS 160536 HAS SOUS 52650 HAS SOUPS 52356 WITH SCORE 52533.114
AT ITER 306 NEW BEST:: SOT 258738 SOS 177121 HAS SOPS 160550 HAS SOUS 52629 HAS SOUPS 52335 WITH SCORE 52512.121
AT ITER 309 NEW BEST:: SOT 258709 SOS 174854 HAS SOPS 157863 HAS SOUS 51691 HAS SOUPS 51397 WITH SCORE 51571.854
AT ITER 314 NEW BEST:: SOT 258628 SOS 174591 HAS SOPS 155142 HAS SOUS 48759 HAS SOUPS 48465 WITH SCORE 48639.591
AT ITER 316 NEW BEST:: SOT 258628 SOS 174562 HAS SOPS 155113 HAS SOUS 48759 HAS SOUPS 48465 WITH SCORE 48639.562
AT ITER 317 NEW BEST:: SOT 258628 SOS 174555 HAS SOPS 155106 HAS SOUS 48752 HAS SOUPS 48458 WITH SCORE 48632.555
AT ITER 318 NEW BEST:: SOT 258628 SOS 174555 HAS SOPS 155066 HAS SOUS 48672 HAS SOUPS 48378 WITH SCORE 48552.555
AT ITER 320 NEW BEST:: SOT 258628 SOS 174555 HAS SOPS 155060 HAS SOUS 48665 HAS SOUPS 48371 WITH SCORE 48545.555
AT ITER 323 NEW BEST:: SOT 258620 SOS 174439 HAS SOPS 154936 HAS SOUS 48538 HAS SOUPS 48244 WITH SCORE 48418.439
AT ITER 324 NEW BEST:: SOT 258544 SOS 174199 HAS SOPS 154784 HAS SOUS 48500 HAS SOUPS 48206 WITH SCORE 48380.199
AT ITER 329 NEW BEST:: SOT 254659 SOS 170305 HAS SOPS 150890 HAS SOUS 46568 HAS SOUPS 46274 WITH SCORE 46444.305
AT ITER 337 NEW BEST:: SOT 254697 SOS 170312 HAS SOPS 150966 HAS SOUS 46524 HAS SOUPS 46230 WITH SCORE 46400.312
AT ITER 340 NEW BEST:: SOT 254656 SOS 170152 HAS SOPS 150838 HAS SOUS 46423 HAS SOUPS 46129 WITH SCORE 46299.152
AT ITER 344 NEW BEST:: SOT 254612 SOS 170013 HAS SOPS 150700 HAS SOUS 46422 HAS SOUPS 46128 WITH SCORE 46298.013
AT ITER 346 NEW BEST:: SOT 254475 SOS 169939 HAS SOPS 150630 HAS SOUS 46282 HAS SOUPS 45988 WITH SCORE 46157.939
AT ITER 347 NEW BEST:: SOT 254241 SOS 170622 HAS SOPS 150390 HAS SOUS 46113 HAS SOUPS 45804 WITH SCORE 45974.622
AT ITER 351 NEW BEST:: SOT 254234 SOS 170615 HAS SOPS 150376 HAS SOUS 46101 HAS SOUPS 45792 WITH SCORE 45962.615
AT ITER 354 NEW BEST:: SOT 254212 SOS 170571 HAS SOPS 150332 HAS SOUS 46050 HAS SOUPS 45741 WITH SCORE 45911.571
AT ITER 355 NEW BEST:: SOT 253566 SOS 171600 HAS SOPS 151361 HAS SOUS 46041 HAS SOUPS 45732 WITH SCORE 45903.6
AT ITER 358 NEW BEST:: SOT 253528 SOS 171543 HAS SOPS 151285 HAS SOUS 45984 HAS SOUPS 45675 WITH SCORE 45846.543
AT ITER 359 NEW BEST:: SOT 247720 SOS 165811 HAS SOPS 145553 HAS SOUS 43523 HAS SOUPS 43214 WITH SCORE 43379.811
AT ITER 361 NEW BEST:: SOT 247614 SOS 161796 HAS SOPS 141538 HAS SOUS 42781 HAS SOUPS 42472 WITH SCORE 42633.796
AT ITER 365 NEW BEST:: SOT 251430 SOS 165407 HAS SOPS 142473 HAS SOUS 42368 HAS SOUPS 42053 WITH SCORE 42218.407
AT ITER 367 NEW BEST:: SOT 251362 SOS 165271 HAS SOPS 142337 HAS SOUS 42178 HAS SOUPS 41863 WITH SCORE 42028.271
AT ITER 376 NEW BEST:: SOT 251394 SOS 165289 HAS SOPS 142341 HAS SOUS 42133 HAS SOUPS 41818 WITH SCORE 41983.289
AT ITER 379 NEW BEST:: SOT 251297 SOS 165192 HAS SOPS 142205 HAS SOUS 41997 HAS SOUPS 41682 WITH SCORE 41847.192
AT ITER 385 NEW BEST:: SOT 251291 SOS 165174 HAS SOPS 142187 HAS SOUS 41997 HAS SOUPS 41682 WITH SCORE 41847.174
AT ITER 395 NEW BEST:: SOT 251188 SOS 164827 HAS SOPS 141888 HAS SOUS 41893 HAS SOUPS 41578 WITH SCORE 41742.827
AT ITER 406 NEW BEST:: SOT 251254 SOS 164790 HAS SOPS 141826 HAS SOUS 41734 HAS SOUPS 41419 WITH SCORE 41583.79
AT ITER 409 NEW BEST:: SOT 251092 SOS 164548 HAS SOPS 141502 HAS SOUS 41490 HAS SOUPS 41175 WITH SCORE 41339.548
AT ITER 412 NEW BEST:: SOT 251092 SOS 164548 HAS SOPS 141501 HAS SOUS 41488 HAS SOUPS 41173 WITH SCORE 41337.548
AT ITER 414 NEW BEST:: SOT 251082 SOS 164528 HAS SOPS 141481 HAS SOUS 41478 HAS SOUPS 41163 WITH SCORE 41327.528
AT ITER 417 NEW BEST:: SOT 251070 SOS 164412 HAS SOPS 141347 HAS SOUS 41344 HAS SOUPS 41029 WITH SCORE 41193.412
AT ITER 424 NEW BEST:: SOT 251059 SOS 164313 HAS SOPS 141237 HAS SOUS 41234 HAS SOUPS 40919 WITH SCORE 41083.313
AT ITER 428 NEW BEST:: SOT 251108 SOS 164431 HAS SOPS 141355 HAS SOUS 41224 HAS SOUPS 40909 WITH SCORE 41073.431
AT ITER 430 NEW BEST:: SOT 251124 SOS 164476 HAS SOPS 141387 HAS SOUS 41049 HAS SOUPS 40734 WITH SCORE 40898.476
AT ITER 433 NEW BEST:: SOT 251075 SOS 164451 HAS SOPS 141289 HAS SOUS 40951 HAS SOUPS 40636 WITH SCORE 40800.451
AT ITER 434 NEW BEST:: SOT 252310 SOS 160121 HAS SOPS 136991 HAS SOUS 40776 HAS SOUPS 40461 WITH SCORE 40621.121
AT ITER 439 NEW BEST:: SOT 252310 SOS 160105 HAS SOPS 136991 HAS SOUS 40776 HAS SOUPS 40461 WITH SCORE 40621.105
AT ITER 441 NEW BEST:: SOT 252253 SOS 160010 HAS SOPS 136877 HAS SOUS 40700 HAS SOUPS 40385 WITH SCORE 40545.01
AT ITER 444 NEW BEST:: SOT 252229 SOS 159987 HAS SOPS 136854 HAS SOUS 40677 HAS SOUPS 40362 WITH SCORE 40521.987
AT ITER 447 NEW BEST:: SOT 252190 SOS 159951 HAS SOPS 136797 HAS SOUS 40629 HAS SOUPS 40314 WITH SCORE 40473.951
AT ITER 455 NEW BEST:: SOT 252235 SOS 160046 HAS SOPS 136374 HAS SOUS 39346 HAS SOUPS 39031 WITH SCORE 39191.046
AT ITER 456 NEW BEST:: SOT 252233 SOS 159939 HAS SOPS 136296 HAS SOUS 39338 HAS SOUPS 39023 WITH SCORE 39182.939
AT ITER 463 NEW BEST:: SOT 252143 SOS 159804 HAS SOPS 136116 HAS SOUS 39203 HAS SOUPS 38888 WITH SCORE 39047.804
AT ITER 474 NEW BEST:: SOT 252148 SOS 159796 HAS SOPS 136111 HAS SOUS 39198 HAS SOUPS 38883 WITH SCORE 39042.796
AT ITER 476 NEW BEST:: SOT 252074 SOS 159615 HAS SOPS 135963 HAS SOUS 39157 HAS SOUPS 38842 WITH SCORE 39001.615
AT ITER 480 NEW BEST:: SOT 252012 SOS 159547 HAS SOPS 135870 HAS SOUS 39095 HAS SOUPS 38780 WITH SCORE 38939.547
AT ITER 483 NEW BEST:: SOT 251946 SOS 159245 HAS SOPS 135520 HAS SOUS 38854 HAS SOUPS 38539 WITH SCORE 38698.245
AT ITER 490 NEW BEST:: SOT 251946 SOS 159222 HAS SOPS 135497 HAS SOUS 38854 HAS SOUPS 38539 WITH SCORE 38698.222
AT ITER 492 NEW BEST:: SOT 251920 SOS 159196 HAS SOPS 135471 HAS SOUS 38827 HAS SOUPS 38512 WITH SCORE 38671.196
AT ITER 494 NEW BEST:: SOT 251948 SOS 159252 HAS SOPS 135527 HAS SOUS 38825 HAS SOUPS 38510 WITH SCORE 38669.252
AT ITER 496 NEW BEST:: SOT 251922 SOS 159117 HAS SOPS 135390 HAS SOUS 38759 HAS SOUPS 38444 WITH SCORE 38603.117
AT ITER 510 NEW BEST:: SOT 250688 SOS 157960 HAS SOPS 134233 HAS SOUS 38257 HAS SOUPS 37942 WITH SCORE 38099.96
AT ITER 512 NEW BEST:: SOT 250591 SOS 157567 HAS SOPS 133841 HAS SOUS 37963 HAS SOUPS 37648 WITH SCORE 37805.567
AT ITER 517 NEW BEST:: SOT 250591 SOS 157577 HAS SOPS 133841 HAS SOUS 37953 HAS SOUPS 37638 WITH SCORE 37795.577
AT ITER 519 NEW BEST:: SOT 250580 SOS 157566 HAS SOPS 133819 HAS SOUS 37931 HAS SOUPS 37616 WITH SCORE 37773.566
AT ITER 526 NEW BEST:: SOT 250576 SOS 157560 HAS SOPS 133811 HAS SOUS 37925 HAS SOUPS 37610 WITH SCORE 37767.56
AT ITER 541 NEW BEST:: SOT 250571 SOS 156803 HAS SOPS 133054 HAS SOUS 37780 HAS SOUPS 37465 WITH SCORE 37621.803
AT ITER 555 NEW BEST:: SOT 250506 SOS 156689 HAS SOPS 132924 HAS SOUS 37699 HAS SOUPS 37384 WITH SCORE 37540.689
AT ITER 568 NEW BEST:: SOT 250458 SOS 156593 HAS SOPS 132802 HAS SOUS 37599 HAS SOUPS 37284 WITH SCORE 37440.593
AT ITER 569 NEW BEST:: SOT 250452 SOS 156575 HAS SOPS 132784 HAS SOUS 37587 HAS SOUPS 37272 WITH SCORE 37428.575
AT ITER 576 NEW BEST:: SOT 250458 SOS 156495 HAS SOPS 132710 HAS SOUS 37513 HAS SOUPS 37198 WITH SCORE 37354.495
AT ITER 577 NEW BEST:: SOT 250422 SOS 156459 HAS SOPS 132674 HAS SOUS 37489 HAS SOUPS 37174 WITH SCORE 37330.459
AT ITER 579 NEW BEST:: SOT 250383 SOS 156420 HAS SOPS 132635 HAS SOUS 37464 HAS SOUPS 37149 WITH SCORE 37305.42
AT ITER 580 NEW BEST:: SOT 250383 SOS 156386 HAS SOPS 132635 HAS SOUS 37464 HAS SOUPS 37149 WITH SCORE 37305.386
AT ITER 586 NEW BEST:: SOT 250449 SOS 156355 HAS SOPS 132604 HAS SOUS 37440 HAS SOUPS 37125 WITH SCORE 37281.355
AT ITER 589 NEW BEST:: SOT 250400 SOS 156295 HAS SOPS 132495 HAS SOUS 37387 HAS SOUPS 37072 WITH SCORE 37228.295
AT ITER 590 NEW BEST:: SOT 250427 SOS 150798 HAS SOPS 126998 HAS SOUS 37114 HAS SOUPS 36799 WITH SCORE 36949.798
AT ITER 591 NEW BEST:: SOT 250417 SOS 150680 HAS SOPS 126910 HAS SOUS 37113 HAS SOUPS 36798 WITH SCORE 36948.68
AT ITER 595 NEW BEST:: SOT 250395 SOS 150658 HAS SOPS 126866 HAS SOUS 37069 HAS SOUPS 36754 WITH SCORE 36904.658
AT ITER 598 NEW BEST:: SOT 249147 SOS 149410 HAS SOPS 125618 HAS SOUS 36421 HAS SOUPS 36106 WITH SCORE 36255.41
AT ITER 599 NEW BEST:: SOT 248257 SOS 154722 HAS SOPS 123688 HAS SOUS 35738 HAS SOUPS 35403 WITH SCORE 35557.722
AT ITER 602 NEW BEST:: SOT 248204 SOS 154616 HAS SOPS 123541 HAS SOUS 35603 HAS SOUPS 35268 WITH SCORE 35422.616
AT ITER 610 NEW BEST:: SOT 247087 SOS 153470 HAS SOPS 122379 HAS SOUS 35006 HAS SOUPS 34655 WITH SCORE 34808.47
AT ITER 614 NEW BEST:: SOT 246611 SOS 152994 HAS SOPS 121903 HAS SOUS 34768 HAS SOUPS 34417 WITH SCORE 34569.994
AT ITER 629 NEW BEST:: SOT 246615 SOS 153034 HAS SOPS 121943 HAS SOUS 34744 HAS SOUPS 34393 WITH SCORE 34546.034
AT ITER 634 NEW BEST:: SOT 246615 SOS 153031 HAS SOPS 121940 HAS SOUS 34741 HAS SOUPS 34390 WITH SCORE 34543.031
AT ITER 642 NEW BEST:: SOT 246603 SOS 153013 HAS SOPS 121922 HAS SOUS 34735 HAS SOUPS 34384 WITH SCORE 34537.013
AT ITER 645 NEW BEST:: SOT 246602 SOS 153013 HAS SOPS 121921 HAS SOUS 34734 HAS SOUPS 34383 WITH SCORE 34536.013
AT ITER 646 NEW BEST:: SOT 246565 SOS 152939 HAS SOPS 121847 HAS SOUS 34660 HAS SOUPS 34309 WITH SCORE 34461.939
AT ITER 648 NEW BEST:: SOT 246565 SOS 152939 HAS SOPS 121844 HAS SOUS 34657 HAS SOUPS 34306 WITH SCORE 34458.939
AT ITER 651 NEW BEST:: SOT 246508 SOS 152766 HAS SOPS 121667 HAS SOUS 34533 HAS SOUPS 34182 WITH SCORE 34334.766
AT ITER 654 NEW BEST:: SOT 246024 SOS 155768 HAS SOPS 124636 HAS SOUS 34526 HAS SOUPS 34175 WITH SCORE 34330.768
AT ITER 659 NEW BEST:: SOT 246019 SOS 155780 HAS SOPS 124626 HAS SOUS 34499 HAS SOUPS 34148 WITH SCORE 34303.78
AT ITER 664 NEW BEST:: SOT 246068 SOS 153922 HAS SOPS 122540 HAS SOUS 34179 HAS SOUPS 33828 WITH SCORE 33981.922
AT ITER 674 NEW BEST:: SOT 246051 SOS 153920 HAS SOPS 122506 HAS SOUS 34146 HAS SOUPS 33795 WITH SCORE 33948.92
AT ITER 677 NEW BEST:: SOT 245220 SOS 153108 HAS SOPS 121815 HAS SOUS 34030 HAS SOUPS 33679 WITH SCORE 33832.108
AT ITER 678 NEW BEST:: SOT 245229 SOS 152862 HAS SOPS 121678 HAS SOUS 33998 HAS SOUPS 33647 WITH SCORE 33799.862
AT ITER 680 NEW BEST:: SOT 245206 SOS 152816 HAS SOPS 121144 HAS SOUS 33230 HAS SOUPS 32879 WITH SCORE 33031.816
AT ITER 686 NEW BEST:: SOT 245349 SOS 152797 HAS SOPS 120222 HAS SOUS 32176 HAS SOUPS 31825 WITH SCORE 31977.797
AT ITER 699 NEW BEST:: SOT 245338 SOS 152769 HAS SOPS 120194 HAS SOUS 32169 HAS SOUPS 31818 WITH SCORE 31970.769
AT ITER 701 NEW BEST:: SOT 245299 SOS 152730 HAS SOPS 120116 HAS SOUS 32091 HAS SOUPS 31740 WITH SCORE 31892.73
AT ITER 703 NEW BEST:: SOT 245297 SOS 152726 HAS SOPS 120112 HAS SOUS 32087 HAS SOUPS 31736 WITH SCORE 31888.726
AT ITER 706 NEW BEST:: SOT 245312 SOS 152724 HAS SOPS 120113 HAS SOUS 32076 HAS SOUPS 31725 WITH SCORE 31877.724
AT ITER 707 NEW BEST:: SOT 245278 SOS 152634 HAS SOPS 120045 HAS SOUS 32008 HAS SOUPS 31657 WITH SCORE 31809.634
AT ITER 714 NEW BEST:: SOT 245239 SOS 152556 HAS SOPS 119967 HAS SOUS 31904 HAS SOUPS 31553 WITH SCORE 31705.556
AT ITER 720 NEW BEST:: SOT 245153 SOS 152428 HAS SOPS 119839 HAS SOUS 31807 HAS SOUPS 31456 WITH SCORE 31608.428
AT ITER 723 NEW BEST:: SOT 245153 SOS 152428 HAS SOPS 119839 HAS SOUS 31792 HAS SOUPS 31441 WITH SCORE 31593.428
AT ITER 724 NEW BEST:: SOT 245109 SOS 152318 HAS SOPS 119381 HAS SOUS 30932 HAS SOUPS 30581 WITH SCORE 30733.318
AT ITER 736 NEW BEST:: SOT 245127 SOS 152289 HAS SOPS 119360 HAS SOUS 30911 HAS SOUPS 30560 WITH SCORE 30712.289
AT ITER 742 NEW BEST:: SOT 245145 SOS 152531 HAS SOPS 119548 HAS SOUS 30899 HAS SOUPS 30548 WITH SCORE 30700.531
AT ITER 745 NEW BEST:: SOT 245036 SOS 152422 HAS SOPS 119404 HAS SOUS 30755 HAS SOUPS 30404 WITH SCORE 30556.422
AT ITER 760 NEW BEST:: SOT 245036 SOS 152352 HAS SOPS 119334 HAS SOUS 30755 HAS SOUPS 30404 WITH SCORE 30556.352
AT ITER 764 NEW BEST:: SOT 245099 SOS 152251 HAS SOPS 119310 HAS SOUS 30745 HAS SOUPS 30394 WITH SCORE 30546.251
AT ITER 766 NEW BEST:: SOT 245170 SOS 152324 HAS SOPS 118533 HAS SOUS 30120 HAS SOUPS 29769 WITH SCORE 29921.324
AT ITER 774 NEW BEST:: SOT 245053 SOS 152207 HAS SOPS 118299 HAS SOUS 29886 HAS SOUPS 29535 WITH SCORE 29687.207
AT ITER 780 NEW BEST:: SOT 245023 SOS 152196 HAS SOPS 118293 HAS SOUS 29882 HAS SOUPS 29531 WITH SCORE 29683.196
AT ITER 781 NEW BEST:: SOT 245023 SOS 152180 HAS SOPS 118277 HAS SOUS 29866 HAS SOUPS 29515 WITH SCORE 29667.18
AT ITER 783 NEW BEST:: SOT 245051 SOS 152184 HAS SOPS 118281 HAS SOUS 29844 HAS SOUPS 29493 WITH SCORE 29645.184
AT ITER 804 NEW BEST:: SOT 245051 SOS 152184 HAS SOPS 118281 HAS SOUS 29764 HAS SOUPS 29413 WITH SCORE 29565.184
AT ITER 806 NEW BEST:: SOT 245041 SOS 151769 HAS SOPS 117866 HAS SOUS 29744 HAS SOUPS 29393 WITH SCORE 29544.769
AT ITER 807 NEW BEST:: SOT 245034 SOS 151696 HAS SOPS 117793 HAS SOUS 29721 HAS SOUPS 29370 WITH SCORE 29521.696
AT ITER 810 NEW BEST:: SOT 245067 SOS 151416 HAS SOPS 117463 HAS SOUS 29504 HAS SOUPS 29153 WITH SCORE 29304.416
AT ITER 820 NEW BEST:: SOT 245003 SOS 151381 HAS SOPS 117397 HAS SOUS 29469 HAS SOUPS 29118 WITH SCORE 29269.381
AT ITER 832 NEW BEST:: SOT 244972 SOS 151319 HAS SOPS 117335 HAS SOUS 29441 HAS SOUPS 29090 WITH SCORE 29241.319
AT ITER 833 NEW BEST:: SOT 244972 SOS 151305 HAS SOPS 117321 HAS SOUS 29413 HAS SOUPS 29062 WITH SCORE 29213.305
AT ITER 834 NEW BEST:: SOT 244998 SOS 151356 HAS SOPS 117372 HAS SOUS 29411 HAS SOUPS 29060 WITH SCORE 29211.356
AT ITER 838 NEW BEST:: SOT 244968 SOS 151326 HAS SOPS 117345 HAS SOUS 29384 HAS SOUPS 29033 WITH SCORE 29184.326
AT ITER 849 NEW BEST:: SOT 244922 SOS 151121 HAS SOPS 117152 HAS SOUS 29271 HAS SOUPS 28920 WITH SCORE 29071.121
AT ITER 855 NEW BEST:: SOT 244919 SOS 151131 HAS SOPS 117146 HAS SOUS 29253 HAS SOUPS 28902 WITH SCORE 29053.131
AT ITER 865 NEW BEST:: SOT 244892 SOS 151203 HAS SOPS 117189 HAS SOUS 29238 HAS SOUPS 28887 WITH SCORE 29038.203
AT ITER 870 NEW BEST:: SOT 244915 SOS 151187 HAS SOPS 117134 HAS SOUS 29173 HAS SOUPS 28822 WITH SCORE 28973.187
AT ITER 874 NEW BEST:: SOT 243983 SOS 150239 HAS SOPS 116235 HAS SOUS 28791 HAS SOUPS 28440 WITH SCORE 28590.239
AT ITER 892 NEW BEST:: SOT 243983 SOS 149125 HAS SOPS 115121 HAS SOUS 28733 HAS SOUPS 28382 WITH SCORE 28531.125
AT ITER 896 NEW BEST:: SOT 243983 SOS 149241 HAS SOPS 115120 HAS SOUS 28732 HAS SOUPS 28381 WITH SCORE 28530.241
AT ITER 909 NEW BEST:: SOT 243943 SOS 149236 HAS SOPS 115075 HAS SOUS 28687 HAS SOUPS 28336 WITH SCORE 28485.236
AT ITER 912 NEW BEST:: SOT 243932 SOS 149153 HAS SOPS 114989 HAS SOUS 28565 HAS SOUPS 28214 WITH SCORE 28363.153
AT ITER 919 NEW BEST:: SOT 243893 SOS 149024 HAS SOPS 114851 HAS SOUS 28457 HAS SOUPS 28106 WITH SCORE 28255.024
AT ITER 933 NEW BEST:: SOT 243893 SOS 148973 HAS SOPS 114851 HAS SOUS 28457 HAS SOUPS 28106 WITH SCORE 28254.973
AT ITER 939 NEW BEST:: SOT 243143 SOS 148223 HAS SOPS 114101 HAS SOUS 28079 HAS SOUPS 27728 WITH SCORE 27876.223
AT ITER 940 NEW BEST:: SOT 242975 SOS 148055 HAS SOPS 113925 HAS SOUS 27983 HAS SOUPS 27632 WITH SCORE 27780.055
AT ITER 947 NEW BEST:: SOT 242937 SOS 148013 HAS SOPS 113883 HAS SOUS 27975 HAS SOUPS 27624 WITH SCORE 27772.013
AT ITER 960 NEW BEST:: SOT 242960 SOS 147978 HAS SOPS 113866 HAS SOUS 27932 HAS SOUPS 27581 WITH SCORE 27728.978
AT ITER 962 NEW BEST:: SOT 242954 SOS 147966 HAS SOPS 113848 HAS SOUS 27914 HAS SOUPS 27563 WITH SCORE 27710.966
AT ITER 968 NEW BEST:: SOT 242937 SOS 147932 HAS SOPS 113814 HAS SOUS 27880 HAS SOUPS 27529 WITH SCORE 27676.932
AT ITER 982 NEW BEST:: SOT 242937 SOS 147930 HAS SOPS 113814 HAS SOUS 27878 HAS SOUPS 27527 WITH SCORE 27674.93
AT ITER 986 NEW BEST:: SOT 243516 SOS 148512 HAS SOPS 112664 HAS SOUS 27539 HAS SOUPS 27188 WITH SCORE 27336.512
AT ITER 989 NEW BEST:: SOT 243407 SOS 148389 HAS SOPS 112503 HAS SOUS 27441 HAS SOUPS 27090 WITH SCORE 27238.389
AT ITER 993 NEW BEST:: SOT 243347 SOS 148281 HAS SOPS 112383 HAS SOUS 27329 HAS SOUPS 26978 WITH SCORE 27126.281
AT ITER 1001 NEW BEST:: SOT 243338 SOS 148266 HAS SOPS 112251 HAS SOUS 27245 HAS SOUPS 26894 WITH SCORE 27042.266
AT ITER 1005 NEW BEST:: SOT 243328 SOS 148256 HAS SOPS 112231 HAS SOUS 27225 HAS SOUPS 26874 WITH SCORE 27022.256
AT ITER 1008 NEW BEST:: SOT 243328 SOS 148256 HAS SOPS 112231 HAS SOUS 27202 HAS SOUPS 26851 WITH SCORE 26999.256
AT ITER 1010 NEW BEST:: SOT 244905 SOS 149810 HAS SOPS 113185 HAS SOUS 27162 HAS SOUPS 26811 WITH SCORE 26960.81
AT ITER 1015 NEW BEST:: SOT 244875 SOS 149581 HAS SOPS 112954 HAS SOUS 27060 HAS SOUPS 26709 WITH SCORE 26858.581
AT ITER 1025 NEW BEST:: SOT 244874 SOS 149398 HAS SOPS 112831 HAS SOUS 26998 HAS SOUPS 26647 WITH SCORE 26796.398
AT ITER 1032 NEW BEST:: SOT 244852 SOS 149382 HAS SOPS 112801 HAS SOUS 26976 HAS SOUPS 26625 WITH SCORE 26774.382
AT ITER 1037 NEW BEST:: SOT 244706 SOS 149270 HAS SOPS 112599 HAS SOUS 26774 HAS SOUPS 26423 WITH SCORE 26572.27
AT ITER 1045 NEW BEST:: SOT 244706 SOS 149266 HAS SOPS 112575 HAS SOUS 26609 HAS SOUPS 26257 WITH SCORE 26406.266
AT ITER 1053 NEW BEST:: SOT 244706 SOS 149258 HAS SOPS 112567 HAS SOUS 26609 HAS SOUPS 26257 WITH SCORE 26406.258
AT ITER 1056 NEW BEST:: SOT 244740 SOS 149316 HAS SOPS 112625 HAS SOUS 26600 HAS SOUPS 26248 WITH SCORE 26397.316
AT ITER 1062 NEW BEST:: SOT 244740 SOS 149294 HAS SOPS 112603 HAS SOUS 26600 HAS SOUPS 26248 WITH SCORE 26397.294
AT ITER 1063 NEW BEST:: SOT 244697 SOS 149381 HAS SOPS 112582 HAS SOUS 26514 HAS SOUPS 26162 WITH SCORE 26311.381
AT ITER 1066 NEW BEST:: SOT 244669 SOS 149294 HAS SOPS 112526 HAS SOUS 26503 HAS SOUPS 26151 WITH SCORE 26300.294
AT ITER 1068 NEW BEST:: SOT 244669 SOS 149294 HAS SOPS 112526 HAS SOUS 26502 HAS SOUPS 26150 WITH SCORE 26299.294
AT ITER 1073 NEW BEST:: SOT 244632 SOS 149262 HAS SOPS 112494 HAS SOUS 26499 HAS SOUPS 26147 WITH SCORE 26296.262
AT ITER 1079 NEW BEST:: SOT 244626 SOS 149256 HAS SOPS 112482 HAS SOUS 26487 HAS SOUPS 26135 WITH SCORE 26284.256
AT ITER 1084 NEW BEST:: SOT 244616 SOS 149217 HAS SOPS 112462 HAS SOUS 26446 HAS SOUPS 26094 WITH SCORE 26243.217
AT ITER 1087 NEW BEST:: SOT 244698 SOS 148305 HAS SOPS 111356 HAS SOUS 26336 HAS SOUPS 25984 WITH SCORE 26132.305
AT ITER 1101 NEW BEST:: SOT 244667 SOS 148243 HAS SOPS 111278 HAS SOUS 26274 HAS SOUPS 25922 WITH SCORE 26070.243
AT ITER 1102 NEW BEST:: SOT 244665 SOS 148241 HAS SOPS 111276 HAS SOUS 26272 HAS SOUPS 25920 WITH SCORE 26068.241
AT ITER 1110 NEW BEST:: SOT 244666 SOS 148220 HAS SOPS 111255 HAS SOUS 26249 HAS SOUPS 25897 WITH SCORE 26045.22
AT ITER 1112 NEW BEST:: SOT 244657 SOS 148211 HAS SOPS 111246 HAS SOUS 26240 HAS SOUPS 25888 WITH SCORE 26036.211
AT ITER 1118 NEW BEST:: SOT 244620 SOS 148161 HAS SOPS 111184 HAS SOUS 26202 HAS SOUPS 25850 WITH SCORE 25998.161
AT ITER 1122 NEW BEST:: SOT 244620 SOS 148145 HAS SOPS 110764 HAS SOUS 26056 HAS SOUPS 25704 WITH SCORE 25852.145
AT ITER 1126 NEW BEST:: SOT 244620 SOS 148137 HAS SOPS 110756 HAS SOUS 26048 HAS SOUPS 25696 WITH SCORE 25844.137
AT ITER 1134 NEW BEST:: SOT 244582 SOS 150437 HAS SOPS 113056 HAS SOUS 26040 HAS SOUPS 25688 WITH SCORE 25838.437
AT ITER 1139 NEW BEST:: SOT 244624 SOS 150521 HAS SOPS 113053 HAS SOUS 26024 HAS SOUPS 25672 WITH SCORE 25822.521
AT ITER 1141 NEW BEST:: SOT 244540 SOS 150401 HAS SOPS 112945 HAS SOUS 26009 HAS SOUPS 25657 WITH SCORE 25807.401
AT ITER 1155 NEW BEST:: SOT 244522 SOS 150381 HAS SOPS 112805 HAS SOUS 25971 HAS SOUPS 25619 WITH SCORE 25769.381
AT ITER 1158 NEW BEST:: SOT 244510 SOS 150345 HAS SOPS 112265 HAS SOUS 25683 HAS SOUPS 25331 WITH SCORE 25481.345
AT ITER 1160 NEW BEST:: SOT 244436 SOS 150222 HAS SOPS 112142 HAS SOUS 25586 HAS SOUPS 25234 WITH SCORE 25384.222
AT ITER 1162 NEW BEST:: SOT 244435 SOS 150218 HAS SOPS 112135 HAS SOUS 25582 HAS SOUPS 25227 WITH SCORE 25377.218
AT ITER 1167 NEW BEST:: SOT 244253 SOS 149894 HAS SOPS 111795 HAS SOUS 25361 HAS SOUPS 25006 WITH SCORE 25155.894
AT ITER 1169 NEW BEST:: SOT 244249 SOS 149888 HAS SOPS 111787 HAS SOUS 25355 HAS SOUPS 25000 WITH SCORE 25149.888
AT ITER 1177 NEW BEST:: SOT 244243 SOS 149882 HAS SOPS 111775 HAS SOUS 25343 HAS SOUPS 24988 WITH SCORE 25137.882
AT ITER 1180 NEW BEST:: SOT 243729 SOS 208037 HAS SOPS 111227 HAS SOUS 25270 HAS SOUPS 24834 WITH SCORE 25042.037
AT ITER 1186 NEW BEST:: SOT 243690 SOS 207968 HAS SOPS 111158 HAS SOUS 25158 HAS SOUPS 24722 WITH SCORE 24929.968
AT ITER 1212 NEW BEST:: SOT 243710 SOS 207832 HAS SOPS 109570 HAS SOUS 25129 HAS SOUPS 24693 WITH SCORE 24900.832
AT ITER 1228 NEW BEST:: SOT 242597 SOS 206723 HAS SOPS 108804 HAS SOUS 24696 HAS SOUPS 24260 WITH SCORE 24466.723
AT ITER 1237 NEW BEST:: SOT 242530 SOS 206589 HAS SOPS 108636 HAS SOUS 24561 HAS SOUPS 24125 WITH SCORE 24331.589
AT ITER 1247 NEW BEST:: SOT 242257 SOS 206321 HAS SOPS 108370 HAS SOUS 24435 HAS SOUPS 23999 WITH SCORE 24205.321
AT ITER 1261 NEW BEST:: SOT 242262 SOS 206340 HAS SOPS 108380 HAS SOUS 24430 HAS SOUPS 23994 WITH SCORE 24200.34
AT ITER 1271 NEW BEST:: SOT 242254 SOS 206324 HAS SOPS 108364 HAS SOUS 24422 HAS SOUPS 23986 WITH SCORE 24192.324
AT ITER 1280 NEW BEST:: SOT 242199 SOS 206235 HAS SOPS 108254 HAS SOUS 24325 HAS SOUPS 23889 WITH SCORE 24095.235
AT ITER 1291 NEW BEST:: SOT 242177 SOS 206213 HAS SOPS 108232 HAS SOUS 24325 HAS SOUPS 23889 WITH SCORE 24095.213
AT ITER 1292 NEW BEST:: SOT 242155 SOS 206207 HAS SOPS 108204 HAS SOUS 24297 HAS SOUPS 23861 WITH SCORE 24067.207
AT ITER 1303 NEW BEST:: SOT 242167 SOS 206183 HAS SOPS 108198 HAS SOUS 24294 HAS SOUPS 23858 WITH SCORE 24064.183
AT ITER 1315 NEW BEST:: SOT 242166 SOS 206182 HAS SOPS 108196 HAS SOUS 24292 HAS SOUPS 23856 WITH SCORE 24062.182
AT ITER 1322 NEW BEST:: SOT 242148 SOS 206164 HAS SOPS 108160 HAS SOUS 24256 HAS SOUPS 23820 WITH SCORE 24026.164
AT ITER 1331 NEW BEST:: SOT 242115 SOS 206092 HAS SOPS 108065 HAS SOUS 24181 HAS SOUPS 23745 WITH SCORE 23951.092
AT ITER 1341 NEW BEST:: SOT 242059 SOS 205980 HAS SOPS 107953 HAS SOUS 24141 HAS SOUPS 23705 WITH SCORE 23910.98
AT ITER 1346 NEW BEST:: SOT 242010 SOS 205951 HAS SOPS 107855 HAS SOUS 24043 HAS SOUPS 23607 WITH SCORE 23812.951
AT ITER 1347 NEW BEST:: SOT 241988 SOS 205918 HAS SOPS 107800 HAS SOUS 23988 HAS SOUPS 23552 WITH SCORE 23757.918
AT ITER 1365 NEW BEST:: SOT 241969 SOS 205856 HAS SOPS 107762 HAS SOUS 23988 HAS SOUPS 23552 WITH SCORE 23757.856
AT ITER 1366 NEW BEST:: SOT 241961 SOS 205840 HAS SOPS 107718 HAS SOUS 23941 HAS SOUPS 23505 WITH SCORE 23710.84
AT ITER 1367 NEW BEST:: SOT 241949 SOS 205799 HAS SOPS 107663 HAS SOUS 23885 HAS SOUPS 23449 WITH SCORE 23654.799
AT ITER 1369 NEW BEST:: SOT 241891 SOS 205709 HAS SOPS 107515 HAS SOUS 23737 HAS SOUPS 23301 WITH SCORE 23506.709
AT ITER 1371 NEW BEST:: SOT 241891 SOS 205709 HAS SOPS 107497 HAS SOUS 23712 HAS SOUPS 23276 WITH SCORE 23481.709
AT ITER 1378 NEW BEST:: SOT 241452 SOS 205279 HAS SOPS 107291 HAS SOUS 23698 HAS SOUPS 23262 WITH SCORE 23467.279
AT ITER 1390 NEW BEST:: SOT 241418 SOS 205211 HAS SOPS 107223 HAS SOUS 23658 HAS SOUPS 23222 WITH SCORE 23427.211
AT ITER 1392 NEW BEST:: SOT 241319 SOS 205145 HAS SOPS 107091 HAS SOUS 23551 HAS SOUPS 23115 WITH SCORE 23320.145
AT ITER 1402 NEW BEST:: SOT 241297 SOS 205123 HAS SOPS 107047 HAS SOUS 23507 HAS SOUPS 23071 WITH SCORE 23276.123
AT ITER 1405 NEW BEST:: SOT 241285 SOS 205111 HAS SOPS 107023 HAS SOUS 23483 HAS SOUPS 23047 WITH SCORE 23252.111
AT ITER 1409 NEW BEST:: SOT 241295 SOS 205131 HAS SOPS 107043 HAS SOUS 23470 HAS SOUPS 23034 WITH SCORE 23239.131
AT ITER 1410 NEW BEST:: SOT 241293 SOS 205127 HAS SOPS 107041 HAS SOUS 23470 HAS SOUPS 23034 WITH SCORE 23239.127
AT ITER 1414 NEW BEST:: SOT 241343 SOS 205177 HAS SOPS 107088 HAS SOUS 23464 HAS SOUPS 23028 WITH SCORE 23233.177
AT ITER 1415 NEW BEST:: SOT 241343 SOS 205139 HAS SOPS 107088 HAS SOUS 23464 HAS SOUPS 23028 WITH SCORE 23233.139
AT ITER 1423 NEW BEST:: SOT 241342 SOS 205172 HAS SOPS 107086 HAS SOUS 23436 HAS SOUPS 23000 WITH SCORE 23205.172
AT ITER 1448 NEW BEST:: SOT 241067 SOS 204897 HAS SOPS 106801 HAS SOUS 23281 HAS SOUPS 22845 WITH SCORE 23049.897
AT ITER 1450 NEW BEST:: SOT 240883 SOS 204650 HAS SOPS 106526 HAS SOUS 23056 HAS SOUPS 22620 WITH SCORE 22824.65
AT ITER 1453 NEW BEST:: SOT 240885 SOS 204652 HAS SOPS 106390 HAS SOUS 23040 HAS SOUPS 22604 WITH SCORE 22808.652
AT ITER 1458 NEW BEST:: SOT 240869 SOS 204634 HAS SOPS 106358 HAS SOUS 23007 HAS SOUPS 22571 WITH SCORE 22775.634
AT ITER 1469 NEW BEST:: SOT 241217 SOS 205036 HAS SOPS 104362 HAS SOUS 23001 HAS SOUPS 22565 WITH SCORE 22770.036
AT ITER 1477 NEW BEST:: SOT 241133 SOS 204952 HAS SOPS 104234 HAS SOUS 22873 HAS SOUPS 22437 WITH SCORE 22641.952
AT ITER 1479 NEW BEST:: SOT 241068 SOS 204857 HAS SOPS 104134 HAS SOUS 22833 HAS SOUPS 22397 WITH SCORE 22601.857
AT ITER 1487 NEW BEST:: SOT 241055 SOS 204695 HAS SOPS 104001 HAS SOUS 22727 HAS SOUPS 22291 WITH SCORE 22495.695
AT ITER 1492 NEW BEST:: SOT 240988 SOS 204531 HAS SOPS 103837 HAS SOUS 22587 HAS SOUPS 22151 WITH SCORE 22355.531
AT ITER 1526 NEW BEST:: SOT 240966 SOS 204563 HAS SOPS 103793 HAS SOUS 22489 HAS SOUPS 22053 WITH SCORE 22257.563
AT ITER 1527 NEW BEST:: SOT 240589 SOS 205810 HAS SOPS 103402 HAS SOUS 22182 HAS SOUPS 21723 WITH SCORE 21928.81
AT ITER 1557 NEW BEST:: SOT 240570 SOS 205752 HAS SOPS 103344 HAS SOUS 22153 HAS SOUPS 21694 WITH SCORE 21899.752
AT ITER 1564 NEW BEST:: SOT 240435 SOS 205623 HAS SOPS 103209 HAS SOUS 22084 HAS SOUPS 21625 WITH SCORE 21830.623
AT ITER 1565 NEW BEST:: SOT 240370 SOS 205473 HAS SOPS 103079 HAS SOUS 21988 HAS SOUPS 21529 WITH SCORE 21734.473
AT ITER 1579 NEW BEST:: SOT 240370 SOS 205458 HAS SOPS 103064 HAS SOUS 21959 HAS SOUPS 21500 WITH SCORE 21705.458
AT ITER 1594 NEW BEST:: SOT 240388 SOS 205458 HAS SOPS 103052 HAS SOUS 21819 HAS SOUPS 21375 WITH SCORE 21580.458
AT ITER 1595 NEW BEST:: SOT 240398 SOS 205466 HAS SOPS 103058 HAS SOUS 21813 HAS SOUPS 21369 WITH SCORE 21574.466
AT ITER 1604 NEW BEST:: SOT 240392 SOS 205454 HAS SOPS 103046 HAS SOUS 21807 HAS SOUPS 21363 WITH SCORE 21568.454
AT ITER 1606 NEW BEST:: SOT 240356 SOS 205418 HAS SOPS 102974 HAS SOUS 21733 HAS SOUPS 21289 WITH SCORE 21494.418
AT ITER 1615 NEW BEST:: SOT 240341 SOS 205403 HAS SOPS 102944 HAS SOUS 21703 HAS SOUPS 21259 WITH SCORE 21464.403
AT ITER 1656 NEW BEST:: SOT 240337 SOS 205394 HAS SOPS 102935 HAS SOUS 21698 HAS SOUPS 21254 WITH SCORE 21459.394
AT ITER 1668 NEW BEST:: SOT 240276 SOS 205253 HAS SOPS 102773 HAS SOUS 21576 HAS SOUPS 21132 WITH SCORE 21337.253
AT ITER 1671 NEW BEST:: SOT 240276 SOS 205246 HAS SOPS 102766 HAS SOUS 21569 HAS SOUPS 21125 WITH SCORE 21330.246
AT ITER 1678 NEW BEST:: SOT 240234 SOS 205164 HAS SOPS 102675 HAS SOUS 21502 HAS SOUPS 21058 WITH SCORE 21263.164
AT ITER 1687 NEW BEST:: SOT 240113 SOS 205066 HAS SOPS 102486 HAS SOUS 21358 HAS SOUPS 20914 WITH SCORE 21119.066
AT ITER 1692 NEW BEST:: SOT 240114 SOS 205061 HAS SOPS 102481 HAS SOUS 21351 HAS SOUPS 20907 WITH SCORE 21112.061
AT ITER 1695 NEW BEST:: SOT 240114 SOS 205053 HAS SOPS 102197 HAS SOUS 21315 HAS SOUPS 20871 WITH SCORE 21076.053
AT ITER 1698 NEW BEST:: SOT 240110 SOS 205051 HAS SOPS 102193 HAS SOUS 21311 HAS SOUPS 20867 WITH SCORE 21072.051
AT ITER 1703 NEW BEST:: SOT 240055 SOS 205081 HAS SOPS 102175 HAS SOUS 21293 HAS SOUPS 20849 WITH SCORE 21054.081
AT ITER 1713 NEW BEST:: SOT 240055 SOS 205077 HAS SOPS 102171 HAS SOUS 21291 HAS SOUPS 20847 WITH SCORE 21052.077
AT ITER 1736 NEW BEST:: SOT 240076 SOS 205057 HAS SOPS 102170 HAS SOUS 21290 HAS SOUPS 20846 WITH SCORE 21051.057
AT ITER 1738 NEW BEST:: SOT 240063 SOS 205044 HAS SOPS 102155 HAS SOUS 21275 HAS SOUPS 20831 WITH SCORE 21036.044
AT ITER 1760 NEW BEST:: SOT 240089 SOS 205003 HAS SOPS 102117 HAS SOUS 21222 HAS SOUPS 20778 WITH SCORE 20983.003
AT ITER 1764 NEW BEST:: SOT 240089 SOS 204971 HAS SOPS 102115 HAS SOUS 21220 HAS SOUPS 20776 WITH SCORE 20980.971
AT ITER 1790 NEW BEST:: SOT 239994 SOS 204821 HAS SOPS 101925 HAS SOUS 21085 HAS SOUPS 20641 WITH SCORE 20845.821
AT ITER 1795 NEW BEST:: SOT 239994 SOS 204801 HAS SOPS 101905 HAS SOUS 21065 HAS SOUPS 20621 WITH SCORE 20825.801
AT ITER 1802 NEW BEST:: SOT 239984 SOS 204765 HAS SOPS 101871 HAS SOUS 21043 HAS SOUPS 20599 WITH SCORE 20803.765
AT ITER 1822 NEW BEST:: SOT 239935 SOS 204804 HAS SOPS 101853 HAS SOUS 20984 HAS SOUPS 20540 WITH SCORE 20744.804
AT ITER 1825 NEW BEST:: SOT 239901 SOS 204763 HAS SOPS 101812 HAS SOUS 20946 HAS SOUPS 20502 WITH SCORE 20706.763
AT ITER 1829 NEW BEST:: SOT 239910 SOS 204743 HAS SOPS 101792 HAS SOUS 20918 HAS SOUPS 20474 WITH SCORE 20678.743
AT ITER 1832 NEW BEST:: SOT 239868 SOS 204701 HAS SOPS 101708 HAS SOUS 20834 HAS SOUPS 20390 WITH SCORE 20594.701
AT ITER 1838 NEW BEST:: SOT 239868 SOS 204635 HAS SOPS 101675 HAS SOUS 20834 HAS SOUPS 20390 WITH SCORE 20594.635
AT ITER 1841 NEW BEST:: SOT 238830 SOS 203567 HAS SOPS 101727 HAS SOUS 20600 HAS SOUPS 20156 WITH SCORE 20359.567
AT ITER 1858 NEW BEST:: SOT 238796 SOS 203533 HAS SOPS 101676 HAS SOUS 20566 HAS SOUPS 20122 WITH SCORE 20325.533
AT ITER 1859 NEW BEST:: SOT 238787 SOS 203524 HAS SOPS 101662 HAS SOUS 20556 HAS SOUPS 20112 WITH SCORE 20315.524
AT ITER 1892 NEW BEST:: SOT 238793 SOS 203470 HAS SOPS 101603 HAS SOUS 20521 HAS SOUPS 20077 WITH SCORE 20280.47
AT ITER 1897 NEW BEST:: SOT 238793 SOS 203429 HAS SOPS 101562 HAS SOUS 20480 HAS SOUPS 20036 WITH SCORE 20239.429
AT ITER 1904 NEW BEST:: SOT 238525 SOS 207376 HAS SOPS 101202 HAS SOUS 20240 HAS SOUPS 19750 WITH SCORE 19957.376
AT ITER 1908 NEW BEST:: SOT 238530 SOS 207345 HAS SOPS 101176 HAS SOUS 20214 HAS SOUPS 19724 WITH SCORE 19931.345
AT ITER 1917 NEW BEST:: SOT 238530 SOS 207270 HAS SOPS 101126 HAS SOUS 20189 HAS SOUPS 19699 WITH SCORE 19906.27
AT ITER 1921 NEW BEST:: SOT 238529 SOS 207269 HAS SOPS 101125 HAS SOUS 20188 HAS SOUPS 19698 WITH SCORE 19905.269
AT ITER 1932 NEW BEST:: SOT 238528 SOS 207244 HAS SOPS 101111 HAS SOUS 20186 HAS SOUPS 19696 WITH SCORE 19903.244
AT ITER 1940 NEW BEST:: SOT 238533 SOS 207273 HAS SOPS 101120 HAS SOUS 20185 HAS SOUPS 19695 WITH SCORE 19902.273
AT ITER 1947 NEW BEST:: SOT 238497 SOS 207261 HAS SOPS 101068 HAS SOUS 20130 HAS SOUPS 19640 WITH SCORE 19847.261
AT ITER 1958 NEW BEST:: SOT 238534 SOS 207290 HAS SOPS 101097 HAS SOUS 20120 HAS SOUPS 19630 WITH SCORE 19837.29
AT ITER 1960 NEW BEST:: SOT 238691 SOS 207429 HAS SOPS 101132 HAS SOUS 20059 HAS SOUPS 19569 WITH SCORE 19776.429
AT ITER 1971 NEW BEST:: SOT 238680 SOS 207407 HAS SOPS 101110 HAS SOUS 20032 HAS SOUPS 19542 WITH SCORE 19749.407
AT ITER 1979 NEW BEST:: SOT 238679 SOS 207825 HAS SOPS 101099 HAS SOUS 20032 HAS SOUPS 19538 WITH SCORE 19745.825
AT ITER 1992 NEW BEST:: SOT 238679 SOS 207811 HAS SOPS 101092 HAS SOUS 20032 HAS SOUPS 19538 WITH SCORE 19745.811
AT ITER 1993 NEW BEST:: SOT 238663 SOS 207779 HAS SOPS 101060 HAS SOUS 20032 HAS SOUPS 19538 WITH SCORE 19745.779
AT ITER 1999 NEW BEST:: SOT 238667 SOS 207788 HAS SOPS 101068 HAS SOUS 20031 HAS SOUPS 19537 WITH SCORE 19744.788
AT ITER 2007 NEW BEST:: SOT 238626 SOS 207728 HAS SOPS 100950 HAS SOUS 19913 HAS SOUPS 19419 WITH SCORE 19626.728
AT ITER 2018 NEW BEST:: SOT 238627 SOS 207721 HAS SOPS 100943 HAS SOUS 19908 HAS SOUPS 19414 WITH SCORE 19621.721
AT ITER 2019 NEW BEST:: SOT 238601 SOS 207681 HAS SOPS 100891 HAS SOUS 19870 HAS SOUPS 19376 WITH SCORE 19583.681
AT ITER 2022 NEW BEST:: SOT 238541 SOS 207662 HAS SOPS 100835 HAS SOUS 19791 HAS SOUPS 19297 WITH SCORE 19504.662
AT ITER 2042 NEW BEST:: SOT 238541 SOS 207662 HAS SOPS 100835 HAS SOUS 19789 HAS SOUPS 19295 WITH SCORE 19502.662
AT ITER 2067 NEW BEST:: SOT 238541 SOS 207676 HAS SOPS 100835 HAS SOUS 19775 HAS SOUPS 19281 WITH SCORE 19488.676
AT ITER 2071 NEW BEST:: SOT 238511 SOS 207651 HAS SOPS 100775 HAS SOUS 19693 HAS SOUPS 19199 WITH SCORE 19406.651
AT ITER 2077 NEW BEST:: SOT 238510 SOS 207650 HAS SOPS 100773 HAS SOUS 19691 HAS SOUPS 19197 WITH SCORE 19404.65
AT ITER 2087 NEW BEST:: SOT 238502 SOS 207624 HAS SOPS 100743 HAS SOUS 19664 HAS SOUPS 19170 WITH SCORE 19377.624
AT ITER 2099 NEW BEST:: SOT 238498 SOS 207616 HAS SOPS 100735 HAS SOUS 19658 HAS SOUPS 19164 WITH SCORE 19371.616
AT ITER 2107 NEW BEST:: SOT 238477 SOS 207624 HAS SOPS 100693 HAS SOUS 19647 HAS SOUPS 19153 WITH SCORE 19360.624
AT ITER 2118 NEW BEST:: SOT 238438 SOS 207562 HAS SOPS 100615 HAS SOUS 19601 HAS SOUPS 19107 WITH SCORE 19314.562
AT ITER 2131 NEW BEST:: SOT 238428 SOS 207531 HAS SOPS 100595 HAS SOUS 19581 HAS SOUPS 19087 WITH SCORE 19294.531
AT ITER 2135 NEW BEST:: SOT 238418 SOS 207521 HAS SOPS 100585 HAS SOUS 19581 HAS SOUPS 19087 WITH SCORE 19294.521
AT ITER 2146 NEW BEST:: SOT 238409 SOS 207506 HAS SOPS 100567 HAS SOUS 19566 HAS SOUPS 19072 WITH SCORE 19279.506
AT ITER 2157 NEW BEST:: SOT 238414 SOS 207511 HAS SOPS 100510 HAS SOUS 19477 HAS SOUPS 18983 WITH SCORE 19190.511
AT ITER 2170 NEW BEST:: SOT 238393 SOS 207495 HAS SOPS 100494 HAS SOUS 19475 HAS SOUPS 18981 WITH SCORE 19188.495
AT ITER 2175 NEW BEST:: SOT 238203 SOS 207310 HAS SOPS 100184 HAS SOUS 19180 HAS SOUPS 18686 WITH SCORE 18893.31
AT ITER 2179 NEW BEST:: SOT 238153 SOS 207213 HAS SOPS 100084 HAS SOUS 19112 HAS SOUPS 18618 WITH SCORE 18825.213
AT ITER 2184 NEW BEST:: SOT 238115 SOS 207153 HAS SOPS 100030 HAS SOUS 19058 HAS SOUPS 18564 WITH SCORE 18771.153
AT ITER 2198 NEW BEST:: SOT 238115 SOS 207153 HAS SOPS 100001 HAS SOUS 19031 HAS SOUPS 18537 WITH SCORE 18744.153
AT ITER 2207 NEW BEST:: SOT 238105 SOS 207143 HAS SOPS 99991 HAS SOUS 19021 HAS SOUPS 18527 WITH SCORE 18734.143
AT ITER 2210 NEW BEST:: SOT 238105 SOS 207134 HAS SOPS 99991 HAS SOUS 19021 HAS SOUPS 18527 WITH SCORE 18734.134
AT ITER 2222 NEW BEST:: SOT 238090 SOS 207137 HAS SOPS 99979 HAS SOUS 19009 HAS SOUPS 18515 WITH SCORE 18722.137
AT ITER 2235 NEW BEST:: SOT 238114 SOS 184203 HAS SOPS 100036 HAS SOUS 18994 HAS SOUPS 18527 WITH SCORE 18711.203
AT ITER 2244 NEW BEST:: SOT 238114 SOS 184199 HAS SOPS 99832 HAS SOUS 18918 HAS SOUPS 18451 WITH SCORE 18635.199
AT ITER 2247 NEW BEST:: SOT 238121 SOS 184185 HAS SOPS 99804 HAS SOUS 18890 HAS SOUPS 18423 WITH SCORE 18607.185
AT ITER 2261 NEW BEST:: SOT 238119 SOS 184183 HAS SOPS 99801 HAS SOUS 18888 HAS SOUPS 18421 WITH SCORE 18605.183
AT ITER 2262 NEW BEST:: SOT 238114 SOS 184168 HAS SOPS 99791 HAS SOUS 18884 HAS SOUPS 18417 WITH SCORE 18601.168
AT ITER 2266 NEW BEST:: SOT 238080 SOS 184147 HAS SOPS 99779 HAS SOUS 18884 HAS SOUPS 18417 WITH SCORE 18601.147
AT ITER 2268 NEW BEST:: SOT 238064 SOS 184126 HAS SOPS 99758 HAS SOUS 18866 HAS SOUPS 18399 WITH SCORE 18583.126
AT ITER 2274 NEW BEST:: SOT 238104 SOS 184206 HAS SOPS 99838 HAS SOUS 18862 HAS SOUPS 18395 WITH SCORE 18579.206
AT ITER 2297 NEW BEST:: SOT 238082 SOS 184184 HAS SOPS 99816 HAS SOUS 18849 HAS SOUPS 18382 WITH SCORE 18566.184
AT ITER 2299 NEW BEST:: SOT 238053 SOS 184155 HAS SOPS 99816 HAS SOUS 18849 HAS SOUPS 18382 WITH SCORE 18566.155
AT ITER 2315 NEW BEST:: SOT 238041 SOS 184143 HAS SOPS 99792 HAS SOUS 18825 HAS SOUPS 18358 WITH SCORE 18542.143
AT ITER 2321 NEW BEST:: SOT 238016 SOS 184143 HAS SOPS 99767 HAS SOUS 18775 HAS SOUPS 18308 WITH SCORE 18492.143
AT ITER 2349 NEW BEST:: SOT 238014 SOS 184142 HAS SOPS 99765 HAS SOUS 18773 HAS SOUPS 18306 WITH SCORE 18490.142
AT ITER 2362 NEW BEST:: SOT 238014 SOS 184116 HAS SOPS 99752 HAS SOUS 18760 HAS SOUPS 18293 WITH SCORE 18477.116
AT ITER 2376 NEW BEST:: SOT 238007 SOS 184095 HAS SOPS 99738 HAS SOUS 18753 HAS SOUPS 18286 WITH SCORE 18470.095
AT ITER 2377 NEW BEST:: SOT 238007 SOS 184017 HAS SOPS 99660 HAS SOUS 18751 HAS SOUPS 18284 WITH SCORE 18468.017
AT ITER 2382 NEW BEST:: SOT 238014 SOS 184010 HAS SOPS 99653 HAS SOUS 18737 HAS SOUPS 18270 WITH SCORE 18454.01
AT ITER 2394 NEW BEST:: SOT 237978 SOS 183974 HAS SOPS 99599 HAS SOUS 18696 HAS SOUPS 18229 WITH SCORE 18412.974
AT ITER 2404 NEW BEST:: SOT 237956 SOS 183933 HAS SOPS 99555 HAS SOUS 18657 HAS SOUPS 18190 WITH SCORE 18373.933
AT ITER 2456 NEW BEST:: SOT 237956 SOS 183933 HAS SOPS 99555 HAS SOUS 18640 HAS SOUPS 18173 WITH SCORE 18356.933
AT ITER 2459 NEW BEST:: SOT 237908 SOS 183823 HAS SOPS 99459 HAS SOUS 18567 HAS SOUPS 18100 WITH SCORE 18283.823
AT ITER 2467 NEW BEST:: SOT 237908 SOS 183798 HAS SOPS 99434 HAS SOUS 18542 HAS SOUPS 18075 WITH SCORE 18258.798
AT ITER 2478 NEW BEST:: SOT 237905 SOS 183795 HAS SOPS 99431 HAS SOUS 18542 HAS SOUPS 18075 WITH SCORE 18258.795
AT ITER 2502 NEW BEST:: SOT 237902 SOS 183788 HAS SOPS 99425 HAS SOUS 18535 HAS SOUPS 18068 WITH SCORE 18251.788
AT ITER 2515 NEW BEST:: SOT 237902 SOS 183779 HAS SOPS 99416 HAS SOUS 18526 HAS SOUPS 18059 WITH SCORE 18242.779
AT ITER 2522 NEW BEST:: SOT 237574 SOS 183427 HAS SOPS 100416 HAS SOUS 18488 HAS SOUPS 18021 WITH SCORE 18204.427
AT ITER 2528 NEW BEST:: SOT 237555 SOS 183390 HAS SOPS 100378 HAS SOUS 18457 HAS SOUPS 17990 WITH SCORE 18173.39
AT ITER 2537 NEW BEST:: SOT 237562 SOS 183404 HAS SOPS 100385 HAS SOUS 18450 HAS SOUPS 17983 WITH SCORE 18166.404
AT ITER 2545 NEW BEST:: SOT 237548 SOS 183362 HAS SOPS 100329 HAS SOUS 18394 HAS SOUPS 17927 WITH SCORE 18110.362
AT ITER 2555 NEW BEST:: SOT 236967 SOS 182792 HAS SOPS 99773 HAS SOUS 18156 HAS SOUPS 17689 WITH SCORE 17871.792
AT ITER 2586 NEW BEST:: SOT 236978 SOS 182794 HAS SOPS 99774 HAS SOUS 18144 HAS SOUPS 17677 WITH SCORE 17859.794
AT ITER 2593 NEW BEST:: SOT 236978 SOS 182790 HAS SOPS 99770 HAS SOUS 18140 HAS SOUPS 17673 WITH SCORE 17855.79
AT ITER 2600 NEW BEST:: SOT 236948 SOS 182760 HAS SOPS 99720 HAS SOUS 18100 HAS SOUPS 17633 WITH SCORE 17815.76
AT ITER 2604 NEW BEST:: SOT 236948 SOS 182751 HAS SOPS 99711 HAS SOUS 18091 HAS SOUPS 17624 WITH SCORE 17806.751
AT ITER 2614 NEW BEST:: SOT 236961 SOS 182701 HAS SOPS 99690 HAS SOUS 18086 HAS SOUPS 17619 WITH SCORE 17801.701
AT ITER 2638 NEW BEST:: SOT 236939 SOS 182661 HAS SOPS 99646 HAS SOUS 18032 HAS SOUPS 17565 WITH SCORE 17747.661
AT ITER 2651 NEW BEST:: SOT 236907 SOS 182565 HAS SOPS 99550 HAS SOUS 17988 HAS SOUPS 17521 WITH SCORE 17703.565
AT ITER 2667 NEW BEST:: SOT 236918 SOS 182542 HAS SOPS 99525 HAS SOUS 17950 HAS SOUPS 17483 WITH SCORE 17665.542
AT ITER 2755 NEW BEST:: SOT 236890 SOS 182527 HAS SOPS 99511 HAS SOUS 17923 HAS SOUPS 17456 WITH SCORE 17638.527
AT ITER 2760 NEW BEST:: SOT 236844 SOS 182513 HAS SOPS 99451 HAS SOUS 17863 HAS SOUPS 17396 WITH SCORE 17578.513
AT ITER 2769 NEW BEST:: SOT 236892 SOS 182478 HAS SOPS 99449 HAS SOUS 17856 HAS SOUPS 17389 WITH SCORE 17571.478
AT ITER 2797 NEW BEST:: SOT 236848 SOS 182406 HAS SOPS 99361 HAS SOUS 17783 HAS SOUPS 17316 WITH SCORE 17498.406
AT ITER 2818 NEW BEST:: SOT 236846 SOS 182394 HAS SOPS 99349 HAS SOUS 17773 HAS SOUPS 17306 WITH SCORE 17488.394
AT ITER 2829 NEW BEST:: SOT 236842 SOS 182397 HAS SOPS 99351 HAS SOUS 17767 HAS SOUPS 17300 WITH SCORE 17482.397
AT ITER 2840 NEW BEST:: SOT 236821 SOS 182340 HAS SOPS 99292 HAS SOUS 17727 HAS SOUPS 17260 WITH SCORE 17442.34
AT ITER 2854 NEW BEST:: SOT 236821 SOS 182302 HAS SOPS 99266 HAS SOUS 17713 HAS SOUPS 17246 WITH SCORE 17428.302
AT ITER 2859 NEW BEST:: SOT 236815 SOS 182292 HAS SOPS 99254 HAS SOUS 17705 HAS SOUPS 17238 WITH SCORE 17420.292
AT ITER 2876 NEW BEST:: SOT 236813 SOS 182288 HAS SOPS 99250 HAS SOUS 17704 HAS SOUPS 17237 WITH SCORE 17419.288
AT ITER 2880 NEW BEST:: SOT 236813 SOS 182287 HAS SOPS 99250 HAS SOUS 17704 HAS SOUPS 17237 WITH SCORE 17419.287
AT ITER 2886 NEW BEST:: SOT 236780 SOS 182242 HAS SOPS 99197 HAS SOUS 17644 HAS SOUPS 17177 WITH SCORE 17359.242
AT ITER 2889 NEW BEST:: SOT 236801 SOS 182252 HAS SOPS 99218 HAS SOUS 17641 HAS SOUPS 17174 WITH SCORE 17356.252
AT ITER 2898 NEW BEST:: SOT 236774 SOS 182225 HAS SOPS 99164 HAS SOUS 17587 HAS SOUPS 17120 WITH SCORE 17302.225
AT ITER 2904 NEW BEST:: SOT 236772 SOS 182223 HAS SOPS 99160 HAS SOUS 17587 HAS SOUPS 17120 WITH SCORE 17302.223
AT ITER 2939 NEW BEST:: SOT 236789 SOS 182240 HAS SOPS 99174 HAS SOUS 17585 HAS SOUPS 17118 WITH SCORE 17300.24
AT ITER 2948 NEW BEST:: SOT 236747 SOS 182180 HAS SOPS 99090 HAS SOUS 17564 HAS SOUPS 17097 WITH SCORE 17279.18
AT ITER 2980 NEW BEST:: SOT 236741 SOS 182214 HAS SOPS 99078 HAS SOUS 17552 HAS SOUPS 17085 WITH SCORE 17267.214
AT ITER 2981 NEW BEST:: SOT 236709 SOS 182174 HAS SOPS 99030 HAS SOUS 17511 HAS SOUPS 17037 WITH SCORE 17219.174
AT ITER 2983 NEW BEST:: SOT 236708 SOS 182251 HAS SOPS 99028 HAS SOUS 17509 HAS SOUPS 17035 WITH SCORE 17217.251
AT ITER 3024 NEW BEST:: SOT 236703 SOS 182236 HAS SOPS 99013 HAS SOUS 17499 HAS SOUPS 17025 WITH SCORE 17207.236
AT ITER 3031 NEW BEST:: SOT 236701 SOS 182230 HAS SOPS 99007 HAS SOUS 17495 HAS SOUPS 17021 WITH SCORE 17203.23
AT ITER 3048 NEW BEST:: SOT 236626 SOS 182158 HAS SOPS 98929 HAS SOUS 17456 HAS SOUPS 16982 WITH SCORE 17164.158
AT ITER 3068 NEW BEST:: SOT 236619 SOS 181415 HAS SOPS 98191 HAS SOUS 17431 HAS SOUPS 16957 WITH SCORE 17138.415
AT ITER 3077 NEW BEST:: SOT 236625 SOS 181430 HAS SOPS 98203 HAS SOUS 17425 HAS SOUPS 16951 WITH SCORE 17132.43
AT ITER 3093 NEW BEST:: SOT 236622 SOS 181424 HAS SOPS 98197 HAS SOUS 17420 HAS SOUPS 16946 WITH SCORE 17127.424
AT ITER 3112 NEW BEST:: SOT 236620 SOS 181421 HAS SOPS 98193 HAS SOUS 17417 HAS SOUPS 16943 WITH SCORE 17124.421
AT ITER 3127 NEW BEST:: SOT 236548 SOS 181343 HAS SOPS 98082 HAS SOUS 17337 HAS SOUPS 16863 WITH SCORE 17044.343
AT ITER 3144 NEW BEST:: SOT 236545 SOS 181340 HAS SOPS 98079 HAS SOUS 17334 HAS SOUPS 16860 WITH SCORE 17041.34
AT ITER 3170 NEW BEST:: SOT 236625 SOS 181306 HAS SOPS 98037 HAS SOUS 17305 HAS SOUPS 16831 WITH SCORE 17012.306
AT ITER 3200 NEW BEST:: SOT 236622 SOS 181294 HAS SOPS 98025 HAS SOUS 17291 HAS SOUPS 16817 WITH SCORE 16998.294
AT ITER 3246 NEW BEST:: SOT 236607 SOS 181276 HAS SOPS 97995 HAS SOUS 17264 HAS SOUPS 16790 WITH SCORE 16971.276
AT ITER 3248 NEW BEST:: SOT 236604 SOS 181270 HAS SOPS 97989 HAS SOUS 17261 HAS SOUPS 16787 WITH SCORE 16968.27
AT ITER 3293 NEW BEST:: SOT 236595 SOS 181287 HAS SOPS 97971 HAS SOUS 17251 HAS SOUPS 16777 WITH SCORE 16958.287
AT ITER 3304 NEW BEST:: SOT 236591 SOS 181283 HAS SOPS 97963 HAS SOUS 17243 HAS SOUPS 16769 WITH SCORE 16950.283
AT ITER 3315 NEW BEST:: SOT 236589 SOS 181280 HAS SOPS 97959 HAS SOUS 17240 HAS SOUPS 16766 WITH SCORE 16947.28
AT ITER 3384 NEW BEST:: SOT 236586 SOS 181194 HAS SOPS 97873 HAS SOUS 17234 HAS SOUPS 16760 WITH SCORE 16941.194
AT ITER 3413 NEW BEST:: SOT 236573 SOS 181180 HAS SOPS 97855 HAS SOUS 17220 HAS SOUPS 16742 WITH SCORE 16923.18
AT ITER 3419 NEW BEST:: SOT 236571 SOS 181178 HAS SOPS 97853 HAS SOUS 17220 HAS SOUPS 16742 WITH SCORE 16923.178
AT ITER 3460 NEW BEST:: SOT 236569 SOS 181176 HAS SOPS 97851 HAS SOUS 17218 HAS SOUPS 16740 WITH SCORE 16921.176
AT ITER 3466 NEW BEST:: SOT 236548 SOS 181090 HAS SOPS 97731 HAS SOUS 17098 HAS SOUPS 16620 WITH SCORE 16801.09
AT ITER 3475 NEW BEST:: SOT 236537 SOS 181089 HAS SOPS 97723 HAS SOUS 17090 HAS SOUPS 16612 WITH SCORE 16793.089
AT ITER 3478 NEW BEST:: SOT 236075 SOS 180673 HAS SOPS 97535 HAS SOUS 16880 HAS SOUPS 16402 WITH SCORE 16582.673
AT ITER 3549 NEW BEST:: SOT 236082 SOS 180658 HAS SOPS 97520 HAS SOUS 16869 HAS SOUPS 16391 WITH SCORE 16571.658
AT ITER 3554 NEW BEST:: SOT 235998 SOS 180653 HAS SOPS 97431 HAS SOUS 16780 HAS SOUPS 16302 WITH SCORE 16482.653
AT ITER 3561 NEW BEST:: SOT 235998 SOS 180651 HAS SOPS 97429 HAS SOUS 16778 HAS SOUPS 16300 WITH SCORE 16480.651
AT ITER 3599 NEW BEST:: SOT 235922 SOS 180423 HAS SOPS 97277 HAS SOUS 16764 HAS SOUPS 16286 WITH SCORE 16466.423
AT ITER 3601 NEW BEST:: SOT 235939 SOS 180384 HAS SOPS 97252 HAS SOUS 16750 HAS SOUPS 16272 WITH SCORE 16452.384
AT ITER 3604 NEW BEST:: SOT 235939 SOS 180389 HAS SOPS 96887 HAS SOUS 16725 HAS SOUPS 16247 WITH SCORE 16427.389
AT ITER 3621 NEW BEST:: SOT 235944 SOS 180388 HAS SOPS 96886 HAS SOUS 16720 HAS SOUPS 16242 WITH SCORE 16422.388
AT ITER 3622 NEW BEST:: SOT 234335 SOS 178795 HAS SOPS 95612 HAS SOUS 16398 HAS SOUPS 15916 WITH SCORE 16094.795
AT ITER 3629 NEW BEST:: SOT 234321 SOS 178767 HAS SOPS 95577 HAS SOUS 16370 HAS SOUPS 15888 WITH SCORE 16066.767
AT ITER 3630 NEW BEST:: SOT 234283 SOS 178735 HAS SOPS 95531 HAS SOUS 16338 HAS SOUPS 15856 WITH SCORE 16034.735
AT ITER 3665 NEW BEST:: SOT 234272 SOS 178754 HAS SOPS 95536 HAS SOUS 16334 HAS SOUPS 15852 WITH SCORE 16030.754
AT ITER 3668 NEW BEST:: SOT 234270 SOS 178749 HAS SOPS 95530 HAS SOUS 16330 HAS SOUPS 15848 WITH SCORE 16026.749
AT ITER 3691 NEW BEST:: SOT 234262 SOS 178751 HAS SOPS 95522 HAS SOUS 16326 HAS SOUPS 15844 WITH SCORE 16022.751
AT ITER 3705 NEW BEST:: SOT 234223 SOS 178740 HAS SOPS 95491 HAS SOUS 16286 HAS SOUPS 15804 WITH SCORE 15982.74
AT ITER 3766 NEW BEST:: SOT 234223 SOS 178714 HAS SOPS 95465 HAS SOUS 16286 HAS SOUPS 15804 WITH SCORE 15982.714
AT ITER 3782 NEW BEST:: SOT 234221 SOS 178711 HAS SOPS 95461 HAS SOUS 16283 HAS SOUPS 15801 WITH SCORE 15979.711
AT ITER 3799 NEW BEST:: SOT 234216 SOS 178691 HAS SOPS 95440 HAS SOUS 16262 HAS SOUPS 15780 WITH SCORE 15958.691
AT ITER 3815 NEW BEST:: SOT 234240 SOS 178688 HAS SOPS 95448 HAS SOUS 16257 HAS SOUPS 15775 WITH SCORE 15953.688
AT ITER 3848 NEW BEST:: SOT 234159 SOS 178717 HAS SOPS 95352 HAS SOUS 16118 HAS SOUPS 15636 WITH SCORE 15814.717
AT ITER 3861 NEW BEST:: SOT 234190 SOS 178779 HAS SOPS 95343 HAS SOUS 16050 HAS SOUPS 15568 WITH SCORE 15746.779
AT ITER 3862 NEW BEST:: SOT 234190 SOS 178783 HAS SOPS 95343 HAS SOUS 16046 HAS SOUPS 15564 WITH SCORE 15742.783
AT ITER 3897 NEW BEST:: SOT 234189 SOS 178781 HAS SOPS 95341 HAS SOUS 16045 HAS SOUPS 15563 WITH SCORE 15741.781
AT ITER 3930 NEW BEST:: SOT 234183 SOS 178769 HAS SOPS 95329 HAS SOUS 16039 HAS SOUPS 15557 WITH SCORE 15735.769
AT ITER 3945 NEW BEST:: SOT 234167 SOS 178709 HAS SOPS 95268 HAS SOUS 15993 HAS SOUPS 15511 WITH SCORE 15689.709
AT ITER 3979 NEW BEST:: SOT 234160 SOS 178704 HAS SOPS 95254 HAS SOUS 15979 HAS SOUPS 15497 WITH SCORE 15675.704
AT ITER 4007 NEW BEST:: SOT 234154 SOS 178698 HAS SOPS 95248 HAS SOUS 15973 HAS SOUPS 15491 WITH SCORE 15669.698
AT ITER 4009 NEW BEST:: SOT 234154 SOS 178658 HAS SOPS 95208 HAS SOUS 15933 HAS SOUPS 15451 WITH SCORE 15629.658
AT ITER 4020 NEW BEST:: SOT 234148 SOS 178663 HAS SOPS 95208 HAS SOUS 15932 HAS SOUPS 15450 WITH SCORE 15628.663
AT ITER 4114 NEW BEST:: SOT 234125 SOS 178624 HAS SOPS 95108 HAS SOUS 15895 HAS SOUPS 15413 WITH SCORE 15591.624
AT ITER 4128 NEW BEST:: SOT 234119 SOS 178590 HAS SOPS 95073 HAS SOUS 15871 HAS SOUPS 15389 WITH SCORE 15567.59
AT ITER 4155 NEW BEST:: SOT 234114 SOS 178585 HAS SOPS 95063 HAS SOUS 15861 HAS SOUPS 15379 WITH SCORE 15557.585
AT ITER 4168 NEW BEST:: SOT 234103 SOS 178563 HAS SOPS 95041 HAS SOUS 15839 HAS SOUPS 15357 WITH SCORE 15535.563
AT ITER 4178 NEW BEST:: SOT 234098 SOS 178558 HAS SOPS 95031 HAS SOUS 15829 HAS SOUPS 15347 WITH SCORE 15525.558
AT ITER 4201 NEW BEST:: SOT 234097 SOS 178570 HAS SOPS 95029 HAS SOUS 15827 HAS SOUPS 15345 WITH SCORE 15523.57
AT ITER 4217 NEW BEST:: SOT 234097 SOS 178488 HAS SOPS 94947 HAS SOUS 15814 HAS SOUPS 15332 WITH SCORE 15510.488
AT ITER 4218 NEW BEST:: SOT 234117 SOS 178454 HAS SOPS 94933 HAS SOUS 15800 HAS SOUPS 15318 WITH SCORE 15496.454
AT ITER 4245 NEW BEST:: SOT 234110 SOS 178440 HAS SOPS 94919 HAS SOUS 15800 HAS SOUPS 15318 WITH SCORE 15496.44
AT ITER 4279 NEW BEST:: SOT 234042 SOS 178368 HAS SOPS 94815 HAS SOUS 15728 HAS SOUPS 15246 WITH SCORE 15424.368
AT ITER 4305 NEW BEST:: SOT 234030 SOS 178344 HAS SOPS 94791 HAS SOUS 15704 HAS SOUPS 15222 WITH SCORE 15400.344
AT ITER 4309 NEW BEST:: SOT 234021 SOS 178326 HAS SOPS 94773 HAS SOUS 15686 HAS SOUPS 15204 WITH SCORE 15382.326
AT ITER 4321 NEW BEST:: SOT 234051 SOS 178333 HAS SOPS 94780 HAS SOUS 15654 HAS SOUPS 15172 WITH SCORE 15350.333
AT ITER 4364 NEW BEST:: SOT 234051 SOS 178323 HAS SOPS 94770 HAS SOUS 15644 HAS SOUPS 15162 WITH SCORE 15340.323
AT ITER 4371 NEW BEST:: SOT 233148 SOS 177437 HAS SOPS 94242 HAS SOUS 15614 HAS SOUPS 15132 WITH SCORE 15309.437
AT ITER 4394 NEW BEST:: SOT 233204 SOS 177494 HAS SOPS 94242 HAS SOUS 15592 HAS SOUPS 15110 WITH SCORE 15287.494
AT ITER 4405 NEW BEST:: SOT 233200 SOS 177484 HAS SOPS 94232 HAS SOUS 15586 HAS SOUPS 15104 WITH SCORE 15281.484
AT ITER 4415 NEW BEST:: SOT 233164 SOS 177430 HAS SOPS 94160 HAS SOUS 15514 HAS SOUPS 15032 WITH SCORE 15209.43
AT ITER 4417 NEW BEST:: SOT 233130 SOS 177438 HAS SOPS 94134 HAS SOUS 15488 HAS SOUPS 15006 WITH SCORE 15183.438
AT ITER 4449 NEW BEST:: SOT 233120 SOS 177428 HAS SOPS 94114 HAS SOUS 15468 HAS SOUPS 14986 WITH SCORE 15163.428
AT ITER 4451 NEW BEST:: SOT 233113 SOS 177433 HAS SOPS 94100 HAS SOUS 15465 HAS SOUPS 14983 WITH SCORE 15160.433
AT ITER 4461 NEW BEST:: SOT 233107 SOS 177421 HAS SOPS 94088 HAS SOUS 15455 HAS SOUPS 14973 WITH SCORE 15150.421
AT ITER 4526 NEW BEST:: SOT 233103 SOS 177417 HAS SOPS 94080 HAS SOUS 15451 HAS SOUPS 14969 WITH SCORE 15146.417
AT ITER 4536 NEW BEST:: SOT 233102 SOS 177412 HAS SOPS 94076 HAS SOUS 15449 HAS SOUPS 14967 WITH SCORE 15144.412
AT ITER 4539 NEW BEST:: SOT 233094 SOS 177501 HAS SOPS 94161 HAS SOUS 15437 HAS SOUPS 14955 WITH SCORE 15132.501
AT ITER 4551 NEW BEST:: SOT 233094 SOS 177495 HAS SOPS 94155 HAS SOUS 15437 HAS SOUPS 14955 WITH SCORE 15132.495
AT ITER 4572 NEW BEST:: SOT 233055 SOS 177464 HAS SOPS 94124 HAS SOUS 15424 HAS SOUPS 14942 WITH SCORE 15119.464
AT ITER 4616 NEW BEST:: SOT 233052 SOS 177461 HAS SOPS 94118 HAS SOUS 15421 HAS SOUPS 14939 WITH SCORE 15116.461
AT ITER 4617 NEW BEST:: SOT 233016 SOS 177425 HAS SOPS 94065 HAS SOUS 15383 HAS SOUPS 14901 WITH SCORE 15078.425
AT ITER 4646 NEW BEST:: SOT 233001 SOS 177405 HAS SOPS 94040 HAS SOUS 15368 HAS SOUPS 14886 WITH SCORE 15063.405
AT ITER 4647 NEW BEST:: SOT 232995 SOS 177399 HAS SOPS 94034 HAS SOUS 15368 HAS SOUPS 14886 WITH SCORE 15063.399
AT ITER 4654 NEW BEST:: SOT 232993 SOS 177397 HAS SOPS 94030 HAS SOUS 15364 HAS SOUPS 14882 WITH SCORE 15059.397
AT ITER 4666 NEW BEST:: SOT 232961 SOS 177365 HAS SOPS 93998 HAS SOUS 15364 HAS SOUPS 14882 WITH SCORE 15059.365
AT ITER 4782 NEW BEST:: SOT 232929 SOS 177322 HAS SOPS 93951 HAS SOUS 15338 HAS SOUPS 14856 WITH SCORE 15033.322
AT ITER 4785 NEW BEST:: SOT 232922 SOS 177315 HAS SOPS 93937 HAS SOUS 15331 HAS SOUPS 14849 WITH SCORE 15026.315
AT ITER 4822 NEW BEST:: SOT 232886 SOS 177261 HAS SOPS 93865 HAS SOUS 15295 HAS SOUPS 14813 WITH SCORE 14990.261
AT ITER 4860 NEW BEST:: SOT 232869 SOS 177245 HAS SOPS 93849 HAS SOUS 15281 HAS SOUPS 14799 WITH SCORE 14976.245
AT ITER 4873 NEW BEST:: SOT 232857 SOS 177225 HAS SOPS 93825 HAS SOUS 15257 HAS SOUPS 14775 WITH SCORE 14952.225
AT ITER 4906 NEW BEST:: SOT 232861 SOS 177235 HAS SOPS 93833 HAS SOUS 15252 HAS SOUPS 14770 WITH SCORE 14947.235
AT ITER 4915 NEW BEST:: SOT 232863 SOS 177250 HAS SOPS 93837 HAS SOUS 15245 HAS SOUPS 14763 WITH SCORE 14940.25
AT ITER 4919 NEW BEST:: SOT 232870 SOS 177234 HAS SOPS 93828 HAS SOUS 15236 HAS SOUPS 14754 WITH SCORE 14931.234
AT ITER 4951 NEW BEST:: SOT 232867 SOS 177225 HAS SOPS 93819 HAS SOUS 15230 HAS SOUPS 14748 WITH SCORE 14925.225
AT ITER 4961 NEW BEST:: SOT 232873 SOS 177231 HAS SOPS 93821 HAS SOUS 15222 HAS SOUPS 14740 WITH SCORE 14917.231
AT ITER 4982 NEW BEST:: SOT 232258 SOS 176617 HAS SOPS 93207 HAS SOUS 14905 HAS SOUPS 14423 WITH SCORE 14599.617
AT ITER 5002 NEW BEST:: SOT 232247 SOS 176589 HAS SOPS 93185 HAS SOUS 14900 HAS SOUPS 14418 WITH SCORE 14594.589
AT ITER 5017 NEW BEST:: SOT 232245 SOS 176555 HAS SOPS 93149 HAS SOUS 14880 HAS SOUPS 14398 WITH SCORE 14574.555
AT ITER 5020 NEW BEST:: SOT 232239 SOS 176549 HAS SOPS 93137 HAS SOUS 14868 HAS SOUPS 14386 WITH SCORE 14562.549
AT ITER 5056 NEW BEST:: SOT 232235 SOS 176550 HAS SOPS 93134 HAS SOUS 14865 HAS SOUPS 14383 WITH SCORE 14559.55
AT ITER 5070 NEW BEST:: SOT 232234 SOS 176548 HAS SOPS 93132 HAS SOUS 14864 HAS SOUPS 14382 WITH SCORE 14558.548
AT ITER 5071 NEW BEST:: SOT 232232 SOS 176544 HAS SOPS 93128 HAS SOUS 14862 HAS SOUPS 14380 WITH SCORE 14556.544
AT ITER 5072 NEW BEST:: SOT 232203 SOS 176494 HAS SOPS 93070 HAS SOUS 14823 HAS SOUPS 14341 WITH SCORE 14517.494
AT ITER 5108 NEW BEST:: SOT 232201 SOS 176485 HAS SOPS 93066 HAS SOUS 14812 HAS SOUPS 14330 WITH SCORE 14506.485
AT ITER 5110 NEW BEST:: SOT 232220 SOS 176481 HAS SOPS 93083 HAS SOUS 14812 HAS SOUPS 14330 WITH SCORE 14506.481
AT ITER 5200 NEW BEST:: SOT 232194 SOS 176453 HAS SOPS 93053 HAS SOUS 14796 HAS SOUPS 14314 WITH SCORE 14490.453
AT ITER 5204 NEW BEST:: SOT 232196 SOS 176458 HAS SOPS 93057 HAS SOUS 14795 HAS SOUPS 14313 WITH SCORE 14489.458
AT ITER 5237 NEW BEST:: SOT 232184 SOS 176418 HAS SOPS 93033 HAS SOUS 14774 HAS SOUPS 14292 WITH SCORE 14468.418
AT ITER 5254 NEW BEST:: SOT 232134 SOS 176331 HAS SOPS 92933 HAS SOUS 14674 HAS SOUPS 14192 WITH SCORE 14368.331
AT ITER 5266 NEW BEST:: SOT 232134 SOS 176321 HAS SOPS 92923 HAS SOUS 14664 HAS SOUPS 14182 WITH SCORE 14358.321
AT ITER 5272 NEW BEST:: SOT 232130 SOS 176807 HAS SOPS 93407 HAS SOUS 14660 HAS SOUPS 14178 WITH SCORE 14354.807
AT ITER 5284 NEW BEST:: SOT 232122 SOS 176779 HAS SOPS 93391 HAS SOUS 14636 HAS SOUPS 14154 WITH SCORE 14330.779
AT ITER 5323 NEW BEST:: SOT 232122 SOS 176762 HAS SOPS 93374 HAS SOUS 14619 HAS SOUPS 14137 WITH SCORE 14313.762
AT ITER 5334 NEW BEST:: SOT 232115 SOS 176748 HAS SOPS 93360 HAS SOUS 14619 HAS SOUPS 14137 WITH SCORE 14313.748
AT ITER 5339 NEW BEST:: SOT 232117 SOS 176745 HAS SOPS 93357 HAS SOUS 14619 HAS SOUPS 14137 WITH SCORE 14313.745
AT ITER 5366 NEW BEST:: SOT 232111 SOS 176751 HAS SOPS 93345 HAS SOUS 14607 HAS SOUPS 14125 WITH SCORE 14301.751
AT ITER 5382 NEW BEST:: SOT 232109 SOS 176749 HAS SOPS 93341 HAS SOUS 14603 HAS SOUPS 14121 WITH SCORE 14297.749
AT ITER 5405 NEW BEST:: SOT 232108 SOS 176733 HAS SOPS 93325 HAS SOUS 14592 HAS SOUPS 14110 WITH SCORE 14286.733
AT ITER 5423 NEW BEST:: SOT 232109 SOS 176730 HAS SOPS 93317 HAS SOUS 14584 HAS SOUPS 14102 WITH SCORE 14278.73
AT ITER 5448 NEW BEST:: SOT 232077 SOS 176744 HAS SOPS 93303 HAS SOUS 14572 HAS SOUPS 14090 WITH SCORE 14266.744
AT ITER 5449 NEW BEST:: SOT 232076 SOS 176742 HAS SOPS 93301 HAS SOUS 14570 HAS SOUPS 14088 WITH SCORE 14264.742
AT ITER 5457 NEW BEST:: SOT 232066 SOS 176731 HAS SOPS 93281 HAS SOUS 14552 HAS SOUPS 14070 WITH SCORE 14246.731
AT ITER 5484 NEW BEST:: SOT 232066 SOS 176731 HAS SOPS 93281 HAS SOUS 14551 HAS SOUPS 14069 WITH SCORE 14245.731
AT ITER 5562 NEW BEST:: SOT 232063 SOS 176721 HAS SOPS 93271 HAS SOUS 14541 HAS SOUPS 14059 WITH SCORE 14235.721
AT ITER 5574 NEW BEST:: SOT 232063 SOS 176719 HAS SOPS 93269 HAS SOUS 14539 HAS SOUPS 14057 WITH SCORE 14233.719
AT ITER 5610 NEW BEST:: SOT 232063 SOS 176716 HAS SOPS 93266 HAS SOUS 14533 HAS SOUPS 14051 WITH SCORE 14227.716
AT ITER 5652 NEW BEST:: SOT 232049 SOS 176702 HAS SOPS 93238 HAS SOUS 14505 HAS SOUPS 14023 WITH SCORE 14199.702
AT ITER 5658 NEW BEST:: SOT 232046 SOS 176696 HAS SOPS 93232 HAS SOUS 14502 HAS SOUPS 14020 WITH SCORE 14196.696
AT ITER 5666 NEW BEST:: SOT 232041 SOS 176671 HAS SOPS 93222 HAS SOUS 14492 HAS SOUPS 14010 WITH SCORE 14186.671
AT ITER 5676 NEW BEST:: SOT 231946 SOS 176577 HAS SOPS 93162 HAS SOUS 14469 HAS SOUPS 13987 WITH SCORE 14163.577
AT ITER 5716 NEW BEST:: SOT 231946 SOS 176574 HAS SOPS 93159 HAS SOUS 14466 HAS SOUPS 13984 WITH SCORE 14160.574
AT ITER 5729 NEW BEST:: SOT 231946 SOS 176565 HAS SOPS 93150 HAS SOUS 14466 HAS SOUPS 13984 WITH SCORE 14160.565
AT ITER 5730 NEW BEST:: SOT 231898 SOS 176469 HAS SOPS 93054 HAS SOUS 14460 HAS SOUPS 13978 WITH SCORE 14154.469
AT ITER 5744 NEW BEST:: SOT 231894 SOS 176465 HAS SOPS 93046 HAS SOUS 14459 HAS SOUPS 13977 WITH SCORE 14153.465
AT ITER 5773 NEW BEST:: SOT 231895 SOS 176436 HAS SOPS 93000 HAS SOUS 14423 HAS SOUPS 13931 WITH SCORE 14107.436
AT ITER 5811 NEW BEST:: SOT 231892 SOS 176431 HAS SOPS 92994 HAS SOUS 14417 HAS SOUPS 13925 WITH SCORE 14101.431
AT ITER 5824 NEW BEST:: SOT 231866 SOS 176421 HAS SOPS 92942 HAS SOUS 14405 HAS SOUPS 13913 WITH SCORE 14089.421
AT ITER 5827 NEW BEST:: SOT 231865 SOS 176407 HAS SOPS 92940 HAS SOUS 14403 HAS SOUPS 13911 WITH SCORE 14087.407
AT ITER 5838 NEW BEST:: SOT 231868 SOS 176410 HAS SOPS 92946 HAS SOUS 14401 HAS SOUPS 13909 WITH SCORE 14085.41
AT ITER 5859 NEW BEST:: SOT 231864 SOS 176376 HAS SOPS 92923 HAS SOUS 14393 HAS SOUPS 13901 WITH SCORE 14077.376
AT ITER 5862 NEW BEST:: SOT 231862 SOS 176372 HAS SOPS 92919 HAS SOUS 14389 HAS SOUPS 13897 WITH SCORE 14073.372
AT ITER 5863 NEW BEST:: SOT 231848 SOS 176354 HAS SOPS 92891 HAS SOUS 14361 HAS SOUPS 13869 WITH SCORE 14045.354
AT ITER 5876 NEW BEST:: SOT 231847 SOS 176351 HAS SOPS 92886 HAS SOUS 14358 HAS SOUPS 13866 WITH SCORE 14042.351
AT ITER 6005 NEW BEST:: SOT 231822 SOS 176195 HAS SOPS 92763 HAS SOUS 14293 HAS SOUPS 13801 WITH SCORE 13977.195
AT ITER 6009 NEW BEST:: SOT 231816 SOS 176167 HAS SOPS 92740 HAS SOUS 14281 HAS SOUPS 13789 WITH SCORE 13965.167
AT ITER 6028 NEW BEST:: SOT 231810 SOS 176158 HAS SOPS 92728 HAS SOUS 14266 HAS SOUPS 13774 WITH SCORE 13950.158
AT ITER 6039 NEW BEST:: SOT 231796 SOS 176130 HAS SOPS 92700 HAS SOUS 14266 HAS SOUPS 13774 WITH SCORE 13950.13
AT ITER 6066 NEW BEST:: SOT 231795 SOS 176134 HAS SOPS 92696 HAS SOUS 14262 HAS SOUPS 13770 WITH SCORE 13946.134
AT ITER 6148 NEW BEST:: SOT 231774 SOS 176105 HAS SOPS 92654 HAS SOUS 14199 HAS SOUPS 13707 WITH SCORE 13883.105
AT ITER 6164 NEW BEST:: SOT 231764 SOS 176075 HAS SOPS 92624 HAS SOUS 14179 HAS SOUPS 13687 WITH SCORE 13863.075
AT ITER 6187 NEW BEST:: SOT 231762 SOS 176072 HAS SOPS 92620 HAS SOUS 14168 HAS SOUPS 13676 WITH SCORE 13852.072
AT ITER 6222 NEW BEST:: SOT 231753 SOS 176060 HAS SOPS 92606 HAS SOUS 14162 HAS SOUPS 13670 WITH SCORE 13846.06
AT ITER 6236 NEW BEST:: SOT 231720 SOS 176004 HAS SOPS 92564 HAS SOUS 14120 HAS SOUPS 13628 WITH SCORE 13804.004
AT ITER 6249 NEW BEST:: SOT 231603 SOS 175887 HAS SOPS 92447 HAS SOUS 14063 HAS SOUPS 13571 WITH SCORE 13746.887
AT ITER 6300 NEW BEST:: SOT 231596 SOS 175865 HAS SOPS 92433 HAS SOUS 14050 HAS SOUPS 13558 WITH SCORE 13733.865
AT ITER 6328 NEW BEST:: SOT 231479 SOS 175749 HAS SOPS 92340 HAS SOUS 14017 HAS SOUPS 13525 WITH SCORE 13700.749
AT ITER 6362 NEW BEST:: SOT 231463 SOS 175733 HAS SOPS 92316 HAS SOUS 13993 HAS SOUPS 13501 WITH SCORE 13676.733
AT ITER 6376 NEW BEST:: SOT 231463 SOS 175724 HAS SOPS 92289 HAS SOUS 13966 HAS SOUPS 13474 WITH SCORE 13649.724
AT ITER 6421 NEW BEST:: SOT 231455 SOS 175708 HAS SOPS 92265 HAS SOUS 13942 HAS SOUPS 13450 WITH SCORE 13625.708
AT ITER 6510 NEW BEST:: SOT 231446 SOS 175698 HAS SOPS 92247 HAS SOUS 13929 HAS SOUPS 13437 WITH SCORE 13612.698
AT ITER 6530 NEW BEST:: SOT 231446 SOS 175691 HAS SOPS 92247 HAS SOUS 13929 HAS SOUPS 13437 WITH SCORE 13612.691
AT ITER 6552 NEW BEST:: SOT 231451 SOS 175667 HAS SOPS 92236 HAS SOUS 13913 HAS SOUPS 13421 WITH SCORE 13596.667
AT ITER 6579 NEW BEST:: SOT 231460 SOS 175360 HAS SOPS 91858 HAS SOUS 13908 HAS SOUPS 13416 WITH SCORE 13591.36
AT ITER 6584 NEW BEST:: SOT 231454 SOS 175354 HAS SOPS 91846 HAS SOUS 13902 HAS SOUPS 13410 WITH SCORE 13585.354
AT ITER 6592 NEW BEST:: SOT 231448 SOS 175348 HAS SOPS 91840 HAS SOUS 13902 HAS SOUPS 13410 WITH SCORE 13585.348
AT ITER 6622 NEW BEST:: SOT 231439 SOS 175330 HAS SOPS 91822 HAS SOUS 13893 HAS SOUPS 13401 WITH SCORE 13576.33
AT ITER 6629 NEW BEST:: SOT 231437 SOS 175339 HAS SOPS 91827 HAS SOUS 13892 HAS SOUPS 13400 WITH SCORE 13575.339
AT ITER 6640 NEW BEST:: SOT 231436 SOS 175338 HAS SOPS 91825 HAS SOUS 13890 HAS SOUPS 13398 WITH SCORE 13573.338
AT ITER 6761 NEW BEST:: SOT 231426 SOS 175318 HAS SOPS 91785 HAS SOUS 13850 HAS SOUPS 13358 WITH SCORE 13533.318
AT ITER 6788 NEW BEST:: SOT 231427 SOS 175320 HAS SOPS 91787 HAS SOUS 13846 HAS SOUPS 13354 WITH SCORE 13529.32
AT ITER 6803 NEW BEST:: SOT 231427 SOS 175320 HAS SOPS 91773 HAS SOUS 13832 HAS SOUPS 13340 WITH SCORE 13515.32
AT ITER 6882 NEW BEST:: SOT 231429 SOS 175344 HAS SOPS 91777 HAS SOUS 13828 HAS SOUPS 13336 WITH SCORE 13511.344
AT ITER 6886 NEW BEST:: SOT 231416 SOS 175321 HAS SOPS 91751 HAS SOUS 13802 HAS SOUPS 13310 WITH SCORE 13485.321
AT ITER 6888 NEW BEST:: SOT 231401 SOS 175291 HAS SOPS 91721 HAS SOUS 13772 HAS SOUPS 13280 WITH SCORE 13455.291
AT ITER 6890 NEW BEST:: SOT 231403 SOS 175285 HAS SOPS 91707 HAS SOUS 13757 HAS SOUPS 13265 WITH SCORE 13440.285
AT ITER 6894 NEW BEST:: SOT 231400 SOS 175288 HAS SOPS 91704 HAS SOUS 13751 HAS SOUPS 13259 WITH SCORE 13434.288
AT ITER 6969 NEW BEST:: SOT 231376 SOS 175292 HAS SOPS 91684 HAS SOUS 13731 HAS SOUPS 13239 WITH SCORE 13414.292
AT ITER 7015 NEW BEST:: SOT 231309 SOS 175255 HAS SOPS 91600 HAS SOUS 13647 HAS SOUPS 13155 WITH SCORE 13330.255
AT ITER 7048 NEW BEST:: SOT 231306 SOS 175249 HAS SOPS 91594 HAS SOUS 13644 HAS SOUPS 13152 WITH SCORE 13327.249
AT ITER 7063 NEW BEST:: SOT 231317 SOS 175230 HAS SOPS 91586 HAS SOUS 13636 HAS SOUPS 13144 WITH SCORE 13319.23
AT ITER 7094 NEW BEST:: SOT 231325 SOS 175225 HAS SOPS 91581 HAS SOUS 13631 HAS SOUPS 13139 WITH SCORE 13314.225
AT ITER 7166 NEW BEST:: SOT 231325 SOS 175224 HAS SOPS 91581 HAS SOUS 13630 HAS SOUPS 13138 WITH SCORE 13313.224
AT ITER 7192 NEW BEST:: SOT 231328 SOS 175237 HAS SOPS 91587 HAS SOUS 13629 HAS SOUPS 13137 WITH SCORE 13312.237
AT ITER 7212 NEW BEST:: SOT 231316 SOS 175233 HAS SOPS 91573 HAS SOUS 13615 HAS SOUPS 13123 WITH SCORE 13298.233
AT ITER 7219 NEW BEST:: SOT 231316 SOS 174652 HAS SOPS 90999 HAS SOUS 13615 HAS SOUPS 13123 WITH SCORE 13297.652
AT ITER 7260 NEW BEST:: SOT 231308 SOS 174636 HAS SOPS 90983 HAS SOUS 13592 HAS SOUPS 13100 WITH SCORE 13274.636
AT ITER 7271 NEW BEST:: SOT 231300 SOS 174631 HAS SOPS 90985 HAS SOUS 13591 HAS SOUPS 13099 WITH SCORE 13273.631
AT ITER 7301 NEW BEST:: SOT 231290 SOS 174621 HAS SOPS 90965 HAS SOUS 13571 HAS SOUPS 13079 WITH SCORE 13253.621
AT ITER 7309 NEW BEST:: SOT 231132 SOS 174473 HAS SOPS 90823 HAS SOUS 13507 HAS SOUPS 13017 WITH SCORE 13191.473
AT ITER 7322 NEW BEST:: SOT 231115 SOS 174467 HAS SOPS 90789 HAS SOUS 13503 HAS SOUPS 13013 WITH SCORE 13187.467
AT ITER 7374 NEW BEST:: SOT 231114 SOS 174466 HAS SOPS 90787 HAS SOUS 13502 HAS SOUPS 13012 WITH SCORE 13186.466
AT ITER 7412 NEW BEST:: SOT 231113 SOS 174464 HAS SOPS 90772 HAS SOUS 13488 HAS SOUPS 12998 WITH SCORE 13172.464
AT ITER 7429 NEW BEST:: SOT 231102 SOS 174444 HAS SOPS 90750 HAS SOUS 13466 HAS SOUPS 12976 WITH SCORE 13150.444
AT ITER 7432 NEW BEST:: SOT 231086 SOS 174428 HAS SOPS 90680 HAS SOUS 13443 HAS SOUPS 12953 WITH SCORE 13127.428
AT ITER 7441 NEW BEST:: SOT 231086 SOS 174645 HAS SOPS 90678 HAS SOUS 13443 HAS SOUPS 12951 WITH SCORE 13125.645
AT ITER 7497 NEW BEST:: SOT 231085 SOS 174643 HAS SOPS 90667 HAS SOUS 13405 HAS SOUPS 12913 WITH SCORE 13087.643
AT ITER 7503 NEW BEST:: SOT 231083 SOS 174628 HAS SOPS 90639 HAS SOUS 13390 HAS SOUPS 12898 WITH SCORE 13072.628
AT ITER 7511 NEW BEST:: SOT 231072 SOS 174631 HAS SOPS 90631 HAS SOUS 13384 HAS SOUPS 12892 WITH SCORE 13066.631
AT ITER 7539 NEW BEST:: SOT 231064 SOS 174622 HAS SOPS 90615 HAS SOUS 13371 HAS SOUPS 12879 WITH SCORE 13053.622
AT ITER 7602 NEW BEST:: SOT 231048 SOS 174598 HAS SOPS 90583 HAS SOUS 13339 HAS SOUPS 12847 WITH SCORE 13021.598
AT ITER 7628 NEW BEST:: SOT 231045 SOS 174581 HAS SOPS 90577 HAS SOUS 13333 HAS SOUPS 12841 WITH SCORE 13015.581
AT ITER 7660 NEW BEST:: SOT 231042 SOS 174582 HAS SOPS 90574 HAS SOUS 13331 HAS SOUPS 12839 WITH SCORE 13013.582
AT ITER 7670 NEW BEST:: SOT 231033 SOS 174593 HAS SOPS 90566 HAS SOUS 13313 HAS SOUPS 12821 WITH SCORE 12995.593
AT ITER 7725 NEW BEST:: SOT 231017 SOS 174577 HAS SOPS 90542 HAS SOUS 13297 HAS SOUPS 12805 WITH SCORE 12979.577
AT ITER 7732 NEW BEST:: SOT 230996 SOS 174570 HAS SOPS 90500 HAS SOUS 13255 HAS SOUPS 12763 WITH SCORE 12937.57
AT ITER 7743 NEW BEST:: SOT 230990 SOS 174561 HAS SOPS 90488 HAS SOUS 13252 HAS SOUPS 12760 WITH SCORE 12934.561
AT ITER 7744 NEW BEST:: SOT 230984 SOS 174545 HAS SOPS 90476 HAS SOUS 13240 HAS SOUPS 12748 WITH SCORE 12922.545
AT ITER 7752 NEW BEST:: SOT 230983 SOS 174543 HAS SOPS 90474 HAS SOUS 13240 HAS SOUPS 12748 WITH SCORE 12922.543
AT ITER 7757 NEW BEST:: SOT 230985 SOS 174538 HAS SOPS 90478 HAS SOUS 13237 HAS SOUPS 12745 WITH SCORE 12919.538
AT ITER 7778 NEW BEST:: SOT 230968 SOS 174504 HAS SOPS 90444 HAS SOUS 13193 HAS SOUPS 12701 WITH SCORE 12875.504
AT ITER 7806 NEW BEST:: SOT 230968 SOS 174486 HAS SOPS 90435 HAS SOUS 13193 HAS SOUPS 12701 WITH SCORE 12875.486
AT ITER 7822 NEW BEST:: SOT 230958 SOS 174466 HAS SOPS 90415 HAS SOUS 13165 HAS SOUPS 12673 WITH SCORE 12847.466
AT ITER 7849 NEW BEST:: SOT 230943 SOS 174451 HAS SOPS 90400 HAS SOUS 13150 HAS SOUPS 12658 WITH SCORE 12832.451
AT ITER 7964 NEW BEST:: SOT 230941 SOS 174449 HAS SOPS 90396 HAS SOUS 13146 HAS SOUPS 12654 WITH SCORE 12828.449
AT ITER 7971 NEW BEST:: SOT 230931 SOS 174434 HAS SOPS 90376 HAS SOUS 13126 HAS SOUPS 12634 WITH SCORE 12808.434
AT ITER 7988 NEW BEST:: SOT 230910 SOS 174415 HAS SOPS 90349 HAS SOUS 13099 HAS SOUPS 12607 WITH SCORE 12781.415
AT ITER 8011 NEW BEST:: SOT 230910 SOS 174402 HAS SOPS 90336 HAS SOUS 13073 HAS SOUPS 12581 WITH SCORE 12755.402
AT ITER 8059 NEW BEST:: SOT 230908 SOS 174398 HAS SOPS 90332 HAS SOUS 13067 HAS SOUPS 12575 WITH SCORE 12749.398
AT ITER 8078 NEW BEST:: SOT 230896 SOS 174378 HAS SOPS 90308 HAS SOUS 13047 HAS SOUPS 12555 WITH SCORE 12729.378
AT ITER 8140 NEW BEST:: SOT 230891 SOS 174363 HAS SOPS 90298 HAS SOUS 13042 HAS SOUPS 12550 WITH SCORE 12724.363
AT ITER 8148 NEW BEST:: SOT 230879 SOS 174339 HAS SOPS 90262 HAS SOUS 13018 HAS SOUPS 12526 WITH SCORE 12700.339
AT ITER 8202 NEW BEST:: SOT 230866 SOS 174326 HAS SOPS 90236 HAS SOUS 13012 HAS SOUPS 12520 WITH SCORE 12694.326
AT ITER 8216 NEW BEST:: SOT 230866 SOS 174314 HAS SOPS 90230 HAS SOUS 13012 HAS SOUPS 12520 WITH SCORE 12694.314
AT ITER 8224 NEW BEST:: SOT 230862 SOS 174306 HAS SOPS 90222 HAS SOUS 13006 HAS SOUPS 12514 WITH SCORE 12688.306
AT ITER 8253 NEW BEST:: SOT 230864 SOS 174306 HAS SOPS 90220 HAS SOUS 13004 HAS SOUPS 12512 WITH SCORE 12686.306
AT ITER 8256 NEW BEST:: SOT 230864 SOS 174305 HAS SOPS 90219 HAS SOUS 13003 HAS SOUPS 12511 WITH SCORE 12685.305
AT ITER 8342 NEW BEST:: SOT 230863 SOS 174304 HAS SOPS 90218 HAS SOUS 13002 HAS SOUPS 12510 WITH SCORE 12684.304
AT ITER 8350 NEW BEST:: SOT 230822 SOS 174240 HAS SOPS 90163 HAS SOUS 12947 HAS SOUPS 12455 WITH SCORE 12629.24
AT ITER 8453 NEW BEST:: SOT 230820 SOS 174235 HAS SOPS 90159 HAS SOUS 12947 HAS SOUPS 12455 WITH SCORE 12629.235
AT ITER 8494 NEW BEST:: SOT 230777 SOS 174191 HAS SOPS 90155 HAS SOUS 12943 HAS SOUPS 12451 WITH SCORE 12625.191
AT ITER 8539 NEW BEST:: SOT 230767 SOS 174182 HAS SOPS 90143 HAS SOUS 12931 HAS SOUPS 12439 WITH SCORE 12613.182
AT ITER 8551 NEW BEST:: SOT 230700 SOS 174114 HAS SOPS 90074 HAS SOUS 12894 HAS SOUPS 12402 WITH SCORE 12576.114
AT ITER 8553 NEW BEST:: SOT 230698 SOS 174109 HAS SOPS 90070 HAS SOUS 12892 HAS SOUPS 12400 WITH SCORE 12574.109
AT ITER 8587 NEW BEST:: SOT 230685 SOS 174118 HAS SOPS 90069 HAS SOUS 12887 HAS SOUPS 12395 WITH SCORE 12569.118
AT ITER 8607 NEW BEST:: SOT 230677 SOS 174102 HAS SOPS 90053 HAS SOUS 12872 HAS SOUPS 12380 WITH SCORE 12554.102
AT ITER 8651 NEW BEST:: SOT 230667 SOS 174082 HAS SOPS 90046 HAS SOUS 12865 HAS SOUPS 12373 WITH SCORE 12547.082
AT ITER 8663 NEW BEST:: SOT 230664 SOS 174079 HAS SOPS 90043 HAS SOUS 12865 HAS SOUPS 12373 WITH SCORE 12547.079
AT ITER 8674 NEW BEST:: SOT 230645 SOS 174057 HAS SOPS 90015 HAS SOUS 12851 HAS SOUPS 12359 WITH SCORE 12533.057
AT ITER 8684 NEW BEST:: SOT 230639 SOS 174048 HAS SOPS 90003 HAS SOUS 12845 HAS SOUPS 12353 WITH SCORE 12527.048
AT ITER 8696 NEW BEST:: SOT 230633 SOS 174038 HAS SOPS 89991 HAS SOUS 12837 HAS SOUPS 12345 WITH SCORE 12519.038
AT ITER 8743 NEW BEST:: SOT 230621 SOS 173990 HAS SOPS 89949 HAS SOUS 12795 HAS SOUPS 12303 WITH SCORE 12476.99
AT ITER 8778 NEW BEST:: SOT 230620 SOS 173989 HAS SOPS 89947 HAS SOUS 12793 HAS SOUPS 12301 WITH SCORE 12474.989
AT ITER 8797 NEW BEST:: SOT 230618 SOS 173985 HAS SOPS 89943 HAS SOUS 12786 HAS SOUPS 12294 WITH SCORE 12467.985
AT ITER 8828 NEW BEST:: SOT 230607 SOS 173969 HAS SOPS 89921 HAS SOUS 12758 HAS SOUPS 12266 WITH SCORE 12439.969
AT ITER 8886 NEW BEST:: SOT 230607 SOS 173964 HAS SOPS 89916 HAS SOUS 12753 HAS SOUPS 12261 WITH SCORE 12434.964
AT ITER 8924 NEW BEST:: SOT 230646 SOS 174003 HAS SOPS 89900 HAS SOUS 12737 HAS SOUPS 12245 WITH SCORE 12419.003
AT ITER 9048 NEW BEST:: SOT 230646 SOS 174003 HAS SOPS 89900 HAS SOUS 12735 HAS SOUPS 12243 WITH SCORE 12417.003
AT ITER 9079 NEW BEST:: SOT 230848 SOS 174203 HAS SOPS 89520 HAS SOUS 12718 HAS SOUPS 12226 WITH SCORE 12400.203
AT ITER 9094 NEW BEST:: SOT 230838 SOS 174193 HAS SOPS 89500 HAS SOUS 12696 HAS SOUPS 12204 WITH SCORE 12378.193
AT ITER 9105 NEW BEST:: SOT 230838 SOS 174191 HAS SOPS 89499 HAS SOUS 12696 HAS SOUPS 12204 WITH SCORE 12378.191
AT ITER 9109 NEW BEST:: SOT 230836 SOS 174186 HAS SOPS 89493 HAS SOUS 12691 HAS SOUPS 12199 WITH SCORE 12373.186
AT ITER 9116 NEW BEST:: SOT 230823 SOS 174160 HAS SOPS 89467 HAS SOUS 12677 HAS SOUPS 12185 WITH SCORE 12359.16
AT ITER 9223 NEW BEST:: SOT 230822 SOS 174160 HAS SOPS 89466 HAS SOUS 12676 HAS SOUPS 12184 WITH SCORE 12358.16
AT ITER 9244 NEW BEST:: SOT 230826 SOS 174156 HAS SOPS 89464 HAS SOUS 12674 HAS SOUPS 12182 WITH SCORE 12356.156
AT ITER 9252 NEW BEST:: SOT 230822 SOS 174152 HAS SOPS 89459 HAS SOUS 12669 HAS SOUPS 12177 WITH SCORE 12351.152
AT ITER 9262 NEW BEST:: SOT 230818 SOS 174144 HAS SOPS 89451 HAS SOUS 12665 HAS SOUPS 12173 WITH SCORE 12347.144
AT ITER 9295 NEW BEST:: SOT 230827 SOS 174156 HAS SOPS 89444 HAS SOUS 12658 HAS SOUPS 12166 WITH SCORE 12340.156
AT ITER 9324 NEW BEST:: SOT 230826 SOS 174154 HAS SOPS 89442 HAS SOUS 12656 HAS SOUPS 12164 WITH SCORE 12338.154
AT ITER 9353 NEW BEST:: SOT 230826 SOS 174153 HAS SOPS 89442 HAS SOUS 12656 HAS SOUPS 12164 WITH SCORE 12338.153
AT ITER 9391 NEW BEST:: SOT 230821 SOS 174150 HAS SOPS 89432 HAS SOUS 12651 HAS SOUPS 12159 WITH SCORE 12333.15
AT ITER 9421 NEW BEST:: SOT 230820 SOS 174156 HAS SOPS 89435 HAS SOUS 12650 HAS SOUPS 12158 WITH SCORE 12332.156
AT ITER 9543 NEW BEST:: SOT 230816 SOS 174148 HAS SOPS 89422 HAS SOUS 12637 HAS SOUPS 12145 WITH SCORE 12319.148
AT ITER 9558 NEW BEST:: SOT 230816 SOS 174140 HAS SOPS 89414 HAS SOUS 12629 HAS SOUPS 12137 WITH SCORE 12311.14
AT ITER 9579 NEW BEST:: SOT 230816 SOS 174137 HAS SOPS 89411 HAS SOUS 12625 HAS SOUPS 12133 WITH SCORE 12307.137
AT ITER 9708 NEW BEST:: SOT 230813 SOS 174122 HAS SOPS 89395 HAS SOUS 12610 HAS SOUPS 12118 WITH SCORE 12292.122
AT ITER 9890 NEW BEST:: SOT 230812 SOS 174121 HAS SOPS 89393 HAS SOUS 12608 HAS SOUPS 12116 WITH SCORE 12290.121
AT ITER 9937 NEW BEST:: SOT 230811 SOS 174118 HAS SOPS 89337 HAS SOUS 12589 HAS SOUPS 12097 WITH SCORE 12271.118
AT ITER 9993 NEW BEST:: SOT 230801 SOS 174938 HAS SOPS 90147 HAS SOUS 12579 HAS SOUPS 12087 WITH SCORE 12261.938
STATE_SPACE STATES 552061438912436417593345 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 20633296279352311107551233 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678455481885
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-22a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-22a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838848000592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22a.tgz
mv FlexibleBarrier-PT-22a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;