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.r395-oct2-167903718400104.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPs-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718400104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 169K Mar 5 18:23 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 1679553119109

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:32:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:32:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:32:02] [INFO ] Load time of PNML (sax parser for PT used): 89 ms
[2023-03-23 06:32:02] [INFO ] Transformed 503 places.
[2023-03-23 06:32:02] [INFO ] Transformed 483 transitions.
[2023-03-23 06:32:02] [INFO ] Found NUPN structural information;
[2023-03-23 06:32:02] [INFO ] Parsed PT model containing 503 places and 483 transitions and 2166 arcs in 197 ms.
[2023-03-23 06:32:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 503 places, 483 transitions and 2166 arcs took 21 ms.
Total runtime 297 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 020A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 503 places, 483 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 165422 SOS 127919 HAS SOPS 127919 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108146.919
AT ITER 2 NEW BEST:: SOT 165281 SOS 127857 HAS SOPS 127857 HAS SOUS 107957 HAS SOUPS 107957 WITH SCORE 108084.857
AT ITER 8 NEW BEST:: SOT 165281 SOS 127826 HAS SOPS 127826 HAS SOUS 107948 HAS SOUPS 107948 WITH SCORE 108075.826
AT ITER 15 NEW BEST:: SOT 165239 SOS 127758 HAS SOPS 127758 HAS SOUS 107880 HAS SOUPS 107880 WITH SCORE 108007.758
AT ITER 17 NEW BEST:: SOT 165131 SOS 127648 HAS SOPS 127648 HAS SOUS 107770 HAS SOUPS 107770 WITH SCORE 107897.648
AT ITER 20 NEW BEST:: SOT 165134 SOS 127374 HAS SOPS 127374 HAS SOUS 107620 HAS SOUPS 107620 WITH SCORE 107747.374
AT ITER 26 NEW BEST:: SOT 165081 SOS 126764 HAS SOPS 126764 HAS SOUS 107111 HAS SOUPS 107111 WITH SCORE 107237.764
AT ITER 33 NEW BEST:: SOT 165080 SOS 126694 HAS SOPS 126694 HAS SOUS 106935 HAS SOUPS 106935 WITH SCORE 107061.694
AT ITER 40 NEW BEST:: SOT 165080 SOS 126512 HAS SOPS 126512 HAS SOUS 106931 HAS SOUPS 106931 WITH SCORE 107057.512
AT ITER 41 NEW BEST:: SOT 164919 SOS 126401 HAS SOPS 126401 HAS SOUS 106820 HAS SOUPS 106820 WITH SCORE 106946.401
AT ITER 43 NEW BEST:: SOT 164827 SOS 126309 HAS SOPS 126309 HAS SOUS 106728 HAS SOUPS 106728 WITH SCORE 106854.309
AT ITER 50 NEW BEST:: SOT 164904 SOS 126386 HAS SOPS 126386 HAS SOUS 106725 HAS SOUPS 106725 WITH SCORE 106851.386
AT ITER 53 NEW BEST:: SOT 164786 SOS 126308 HAS SOPS 126308 HAS SOUS 106641 HAS SOUPS 106641 WITH SCORE 106767.308
AT ITER 61 NEW BEST:: SOT 164669 SOS 126070 HAS SOPS 126070 HAS SOUS 106403 HAS SOUPS 106403 WITH SCORE 106529.07
AT ITER 66 NEW BEST:: SOT 164635 SOS 125953 HAS SOPS 125953 HAS SOUS 106286 HAS SOUPS 106286 WITH SCORE 106411.953
AT ITER 70 NEW BEST:: SOT 164347 SOS 125665 HAS SOPS 125665 HAS SOUS 105998 HAS SOUPS 105998 WITH SCORE 106123.665
AT ITER 71 NEW BEST:: SOT 164167 SOS 125559 HAS SOPS 125559 HAS SOUS 105907 HAS SOUPS 105907 WITH SCORE 106032.559
AT ITER 93 NEW BEST:: SOT 164071 SOS 125463 HAS SOPS 125463 HAS SOUS 105811 HAS SOUPS 105811 WITH SCORE 105936.463
AT ITER 94 NEW BEST:: SOT 164024 SOS 125414 HAS SOPS 125414 HAS SOUS 105762 HAS SOUPS 105762 WITH SCORE 105887.414
AT ITER 96 NEW BEST:: SOT 163980 SOS 125370 HAS SOPS 125370 HAS SOUS 105718 HAS SOUPS 105718 WITH SCORE 105843.37
AT ITER 106 NEW BEST:: SOT 163862 SOS 125250 HAS SOPS 125250 HAS SOUS 105598 HAS SOUPS 105598 WITH SCORE 105723.25
AT ITER 111 NEW BEST:: SOT 163755 SOS 125143 HAS SOPS 125143 HAS SOUS 105491 HAS SOUPS 105491 WITH SCORE 105616.143
AT ITER 120 NEW BEST:: SOT 163635 SOS 125023 HAS SOPS 125023 HAS SOUS 105371 HAS SOUPS 105371 WITH SCORE 105496.023
AT ITER 125 NEW BEST:: SOT 163561 SOS 124949 HAS SOPS 124949 HAS SOUS 105297 HAS SOUPS 105297 WITH SCORE 105421.949
AT ITER 131 NEW BEST:: SOT 163531 SOS 124122 HAS SOPS 124122 HAS SOUS 104764 HAS SOUPS 104764 WITH SCORE 104888.122
AT ITER 134 NEW BEST:: SOT 163447 SOS 124037 HAS SOPS 124037 HAS SOUS 104679 HAS SOUPS 104679 WITH SCORE 104803.037
AT ITER 144 NEW BEST:: SOT 163445 SOS 124035 HAS SOPS 124035 HAS SOUS 104677 HAS SOUPS 104677 WITH SCORE 104801.035
AT ITER 146 NEW BEST:: SOT 163291 SOS 123879 HAS SOPS 123879 HAS SOUS 104521 HAS SOUPS 104521 WITH SCORE 104644.879
AT ITER 149 NEW BEST:: SOT 163287 SOS 123871 HAS SOPS 123871 HAS SOUS 104512 HAS SOUPS 104512 WITH SCORE 104635.871
AT ITER 155 NEW BEST:: SOT 163073 SOS 123655 HAS SOPS 123655 HAS SOUS 104291 HAS SOUPS 104291 WITH SCORE 104414.655
AT ITER 156 NEW BEST:: SOT 162937 SOS 123033 HAS SOPS 123033 HAS SOUS 104121 HAS SOUPS 104121 WITH SCORE 104244.033
AT ITER 159 NEW BEST:: SOT 162768 SOS 122889 HAS SOPS 122889 HAS SOUS 103977 HAS SOUPS 103977 WITH SCORE 104099.889
AT ITER 165 NEW BEST:: SOT 162796 SOS 122917 HAS SOPS 122917 HAS SOUS 103924 HAS SOUPS 103924 WITH SCORE 104046.917
AT ITER 167 NEW BEST:: SOT 162836 SOS 122562 HAS SOPS 122562 HAS SOUS 103881 HAS SOUPS 103881 WITH SCORE 104003.562
AT ITER 168 NEW BEST:: SOT 162521 SOS 122247 HAS SOPS 122247 HAS SOUS 103566 HAS SOUPS 103566 WITH SCORE 103688.247
AT ITER 169 NEW BEST:: SOT 162370 SOS 122099 HAS SOPS 122099 HAS SOUS 103149 HAS SOUPS 103149 WITH SCORE 103271.099
AT ITER 179 NEW BEST:: SOT 162665 SOS 121844 HAS SOPS 121844 HAS SOUS 102993 HAS SOUPS 102993 WITH SCORE 103114.844
AT ITER 180 NEW BEST:: SOT 162490 SOS 121669 HAS SOPS 121669 HAS SOUS 102818 HAS SOUPS 102818 WITH SCORE 102939.669
AT ITER 186 NEW BEST:: SOT 162129 SOS 121242 HAS SOPS 121242 HAS SOUS 102391 HAS SOUPS 102391 WITH SCORE 102512.242
AT ITER 189 NEW BEST:: SOT 162129 SOS 121182 HAS SOPS 121182 HAS SOUS 102376 HAS SOUPS 102376 WITH SCORE 102497.182
AT ITER 195 NEW BEST:: SOT 161864 SOS 120840 HAS SOPS 120840 HAS SOUS 102034 HAS SOUPS 102034 WITH SCORE 102154.84
AT ITER 200 NEW BEST:: SOT 161663 SOS 120696 HAS SOPS 120696 HAS SOUS 101808 HAS SOUPS 101808 WITH SCORE 101928.696
AT ITER 203 NEW BEST:: SOT 161575 SOS 120608 HAS SOPS 120608 HAS SOUS 101720 HAS SOUPS 101720 WITH SCORE 101840.608
AT ITER 206 NEW BEST:: SOT 161575 SOS 120364 HAS SOPS 120364 HAS SOUS 101568 HAS SOUPS 101568 WITH SCORE 101688.364
AT ITER 208 NEW BEST:: SOT 161409 SOS 120032 HAS SOPS 120032 HAS SOUS 101232 HAS SOUPS 101232 WITH SCORE 101352.032
AT ITER 211 NEW BEST:: SOT 161409 SOS 120014 HAS SOPS 120014 HAS SOUS 101214 HAS SOUPS 101214 WITH SCORE 101334.014
AT ITER 213 NEW BEST:: SOT 161414 SOS 119738 HAS SOPS 119738 HAS SOUS 101076 HAS SOUPS 101076 WITH SCORE 101195.738
AT ITER 215 NEW BEST:: SOT 161404 SOS 119728 HAS SOPS 119728 HAS SOUS 101066 HAS SOUPS 101066 WITH SCORE 101185.728
AT ITER 218 NEW BEST:: SOT 161204 SOS 119528 HAS SOPS 119528 HAS SOUS 100866 HAS SOUPS 100866 WITH SCORE 100985.528
AT ITER 233 NEW BEST:: SOT 161266 SOS 119614 HAS SOPS 119614 HAS SOUS 100865 HAS SOUPS 100865 WITH SCORE 100984.614
AT ITER 238 NEW BEST:: SOT 161078 SOS 119231 HAS SOPS 119231 HAS SOUS 100482 HAS SOUPS 100482 WITH SCORE 100601.231
AT ITER 244 NEW BEST:: SOT 160926 SOS 119152 HAS SOPS 119152 HAS SOUS 100380 HAS SOUPS 100380 WITH SCORE 100499.152
AT ITER 245 NEW BEST:: SOT 160926 SOS 119135 HAS SOPS 119135 HAS SOUS 100363 HAS SOUPS 100363 WITH SCORE 100482.135
AT ITER 251 NEW BEST:: SOT 160722 SOS 118806 HAS SOPS 118806 HAS SOUS 99870 HAS SOUPS 99870 WITH SCORE 99988.806
AT ITER 254 NEW BEST:: SOT 160720 SOS 118772 HAS SOPS 118772 HAS SOUS 99776 HAS SOUPS 99776 WITH SCORE 99894.772
AT ITER 271 NEW BEST:: SOT 160620 SOS 118672 HAS SOPS 118672 HAS SOUS 99676 HAS SOUPS 99676 WITH SCORE 99794.672
AT ITER 276 NEW BEST:: SOT 160503 SOS 118112 HAS SOPS 118112 HAS SOUS 99391 HAS SOUPS 99391 WITH SCORE 99509.112
AT ITER 280 NEW BEST:: SOT 160503 SOS 118094 HAS SOPS 118094 HAS SOUS 99361 HAS SOUPS 99361 WITH SCORE 99479.094
AT ITER 282 NEW BEST:: SOT 160394 SOS 118061 HAS SOPS 118061 HAS SOUS 99286 HAS SOUPS 99286 WITH SCORE 99404.061
AT ITER 285 NEW BEST:: SOT 160358 SOS 118024 HAS SOPS 118024 HAS SOUS 99249 HAS SOUPS 99249 WITH SCORE 99367.024
AT ITER 291 NEW BEST:: SOT 160204 SOS 117785 HAS SOPS 117785 HAS SOUS 99007 HAS SOUPS 99007 WITH SCORE 99124.785
AT ITER 292 NEW BEST:: SOT 160104 SOS 117379 HAS SOPS 117379 HAS SOUS 98812 HAS SOUPS 98812 WITH SCORE 98929.379
AT ITER 293 NEW BEST:: SOT 160509 SOS 117317 HAS SOPS 117317 HAS SOUS 98798 HAS SOUPS 98798 WITH SCORE 98915.317
AT ITER 294 NEW BEST:: SOT 160363 SOS 117049 HAS SOPS 117049 HAS SOUS 98554 HAS SOUPS 98554 WITH SCORE 98671.049
AT ITER 297 NEW BEST:: SOT 160363 SOS 116929 HAS SOPS 116929 HAS SOUS 98449 HAS SOUPS 98449 WITH SCORE 98565.929
AT ITER 301 NEW BEST:: SOT 160257 SOS 116822 HAS SOPS 116822 HAS SOUS 98342 HAS SOUPS 98342 WITH SCORE 98458.822
AT ITER 304 NEW BEST:: SOT 160361 SOS 116937 HAS SOPS 116937 HAS SOUS 98292 HAS SOUPS 98292 WITH SCORE 98408.937
AT ITER 305 NEW BEST:: SOT 160426 SOS 116638 HAS SOPS 116638 HAS SOUS 98179 HAS SOUPS 98179 WITH SCORE 98295.638
AT ITER 312 NEW BEST:: SOT 160408 SOS 116620 HAS SOPS 116620 HAS SOUS 98161 HAS SOUPS 98161 WITH SCORE 98277.62
AT ITER 313 NEW BEST:: SOT 160389 SOS 116601 HAS SOPS 116601 HAS SOUS 98142 HAS SOUPS 98142 WITH SCORE 98258.601
AT ITER 319 NEW BEST:: SOT 160631 SOS 116527 HAS SOPS 116527 HAS SOUS 97969 HAS SOUPS 97969 WITH SCORE 98085.527
AT ITER 321 NEW BEST:: SOT 160631 SOS 116480 HAS SOPS 116480 HAS SOUS 97922 HAS SOUPS 97922 WITH SCORE 98038.48
AT ITER 322 NEW BEST:: SOT 160506 SOS 116360 HAS SOPS 116360 HAS SOUS 97802 HAS SOUPS 97802 WITH SCORE 97918.36
AT ITER 323 NEW BEST:: SOT 160506 SOS 116348 HAS SOPS 116348 HAS SOUS 97802 HAS SOUPS 97802 WITH SCORE 97918.348
AT ITER 325 NEW BEST:: SOT 160506 SOS 116348 HAS SOPS 116348 HAS SOUS 97800 HAS SOUPS 97800 WITH SCORE 97916.348
AT ITER 328 NEW BEST:: SOT 160412 SOS 116184 HAS SOPS 116184 HAS SOUS 97636 HAS SOUPS 97636 WITH SCORE 97752.184
AT ITER 332 NEW BEST:: SOT 160722 SOS 115980 HAS SOPS 115980 HAS SOUS 97564 HAS SOUPS 97564 WITH SCORE 97679.98
AT ITER 334 NEW BEST:: SOT 160854 SOS 115608 HAS SOPS 115608 HAS SOUS 97441 HAS SOUPS 97441 WITH SCORE 97556.608
AT ITER 335 NEW BEST:: SOT 160706 SOS 115460 HAS SOPS 115460 HAS SOUS 97293 HAS SOUPS 97293 WITH SCORE 97408.46
AT ITER 338 NEW BEST:: SOT 160681 SOS 115365 HAS SOPS 115365 HAS SOUS 97227 HAS SOUPS 97227 WITH SCORE 97342.365
AT ITER 339 NEW BEST:: SOT 160681 SOS 115353 HAS SOPS 115353 HAS SOUS 97227 HAS SOUPS 97227 WITH SCORE 97342.353
AT ITER 343 NEW BEST:: SOT 160649 SOS 115051 HAS SOPS 115051 HAS SOUS 97164 HAS SOUPS 97164 WITH SCORE 97279.051
AT ITER 347 NEW BEST:: SOT 160706 SOS 115115 HAS SOPS 115115 HAS SOUS 97147 HAS SOUPS 97147 WITH SCORE 97262.115
AT ITER 356 NEW BEST:: SOT 160704 SOS 115097 HAS SOPS 115097 HAS SOUS 97145 HAS SOUPS 97145 WITH SCORE 97260.097
AT ITER 359 NEW BEST:: SOT 160554 SOS 114984 HAS SOPS 114984 HAS SOUS 97032 HAS SOUPS 97032 WITH SCORE 97146.984
AT ITER 361 NEW BEST:: SOT 160366 SOS 114644 HAS SOPS 114644 HAS SOUS 96692 HAS SOUPS 96692 WITH SCORE 96806.644
AT ITER 364 NEW BEST:: SOT 160307 SOS 114585 HAS SOPS 114585 HAS SOUS 96633 HAS SOUPS 96633 WITH SCORE 96747.585
AT ITER 365 NEW BEST:: SOT 160078 SOS 114336 HAS SOPS 114336 HAS SOUS 96384 HAS SOUPS 96384 WITH SCORE 96498.336
AT ITER 370 NEW BEST:: SOT 159926 SOS 113385 HAS SOPS 113385 HAS SOUS 96063 HAS SOUPS 96063 WITH SCORE 96176.385
AT ITER 371 NEW BEST:: SOT 159911 SOS 113370 HAS SOPS 113370 HAS SOUS 96063 HAS SOUPS 96063 WITH SCORE 96176.37
AT ITER 373 NEW BEST:: SOT 159571 SOS 113030 HAS SOPS 113030 HAS SOUS 95723 HAS SOUPS 95723 WITH SCORE 95836.03
AT ITER 375 NEW BEST:: SOT 159519 SOS 112978 HAS SOPS 112978 HAS SOUS 95671 HAS SOUPS 95671 WITH SCORE 95783.978
AT ITER 379 NEW BEST:: SOT 159498 SOS 112957 HAS SOPS 112957 HAS SOUS 95650 HAS SOUPS 95650 WITH SCORE 95762.957
AT ITER 380 NEW BEST:: SOT 159498 SOS 112955 HAS SOPS 112955 HAS SOUS 95648 HAS SOUPS 95648 WITH SCORE 95760.955
AT ITER 382 NEW BEST:: SOT 159487 SOS 112866 HAS SOPS 112866 HAS SOUS 95597 HAS SOUPS 95597 WITH SCORE 95709.866
AT ITER 395 NEW BEST:: SOT 159487 SOS 112816 HAS SOPS 112816 HAS SOUS 95593 HAS SOUPS 95593 WITH SCORE 95705.816
AT ITER 397 NEW BEST:: SOT 159487 SOS 112804 HAS SOPS 112804 HAS SOUS 95580 HAS SOUPS 95580 WITH SCORE 95692.804
AT ITER 398 NEW BEST:: SOT 159439 SOS 112589 HAS SOPS 112589 HAS SOUS 95536 HAS SOUPS 95536 WITH SCORE 95648.589
AT ITER 410 NEW BEST:: SOT 159424 SOS 112574 HAS SOPS 112574 HAS SOUS 95521 HAS SOUPS 95521 WITH SCORE 95633.574
AT ITER 412 NEW BEST:: SOT 158848 SOS 111998 HAS SOPS 111998 HAS SOUS 94945 HAS SOUPS 94945 WITH SCORE 95056.998
AT ITER 414 NEW BEST:: SOT 158848 SOS 111997 HAS SOPS 111997 HAS SOUS 94944 HAS SOUPS 94944 WITH SCORE 95055.997
AT ITER 415 NEW BEST:: SOT 158787 SOS 111754 HAS SOPS 111754 HAS SOUS 94884 HAS SOUPS 94884 WITH SCORE 94995.754
AT ITER 416 NEW BEST:: SOT 158767 SOS 111694 HAS SOPS 111694 HAS SOUS 94824 HAS SOUPS 94824 WITH SCORE 94935.694
AT ITER 419 NEW BEST:: SOT 158925 SOS 110888 HAS SOPS 110888 HAS SOUS 94340 HAS SOUPS 94340 WITH SCORE 94450.888
AT ITER 423 NEW BEST:: SOT 158787 SOS 110678 HAS SOPS 110678 HAS SOUS 94130 HAS SOUPS 94130 WITH SCORE 94240.678
AT ITER 426 NEW BEST:: SOT 158948 SOS 110781 HAS SOPS 110781 HAS SOUS 93368 HAS SOUPS 93368 WITH SCORE 93478.781
AT ITER 427 NEW BEST:: SOT 158929 SOS 110771 HAS SOPS 110771 HAS SOUS 93304 HAS SOUPS 93304 WITH SCORE 93414.771
AT ITER 429 NEW BEST:: SOT 158693 SOS 110488 HAS SOPS 110488 HAS SOUS 92978 HAS SOUPS 92978 WITH SCORE 93088.488
AT ITER 436 NEW BEST:: SOT 158622 SOS 110417 HAS SOPS 110417 HAS SOUS 92907 HAS SOUPS 92907 WITH SCORE 93017.417
AT ITER 439 NEW BEST:: SOT 158871 SOS 110243 HAS SOPS 110243 HAS SOUS 92692 HAS SOUPS 92692 WITH SCORE 92802.243
AT ITER 440 NEW BEST:: SOT 158869 SOS 110159 HAS SOPS 110159 HAS SOUS 92636 HAS SOUPS 92636 WITH SCORE 92746.159
AT ITER 441 NEW BEST:: SOT 158869 SOS 110145 HAS SOPS 110145 HAS SOUS 92622 HAS SOUPS 92622 WITH SCORE 92732.145
AT ITER 445 NEW BEST:: SOT 158869 SOS 110137 HAS SOPS 110137 HAS SOUS 92621 HAS SOUPS 92621 WITH SCORE 92731.137
AT ITER 457 NEW BEST:: SOT 158432 SOS 109700 HAS SOPS 109700 HAS SOUS 92184 HAS SOUPS 92184 WITH SCORE 92293.7
AT ITER 460 NEW BEST:: SOT 158375 SOS 109379 HAS SOPS 109379 HAS SOUS 92118 HAS SOUPS 92118 WITH SCORE 92227.379
AT ITER 463 NEW BEST:: SOT 158375 SOS 109346 HAS SOPS 109346 HAS SOUS 92099 HAS SOUPS 92099 WITH SCORE 92208.346
AT ITER 465 NEW BEST:: SOT 158324 SOS 109295 HAS SOPS 109295 HAS SOUS 92048 HAS SOUPS 92048 WITH SCORE 92157.295
AT ITER 468 NEW BEST:: SOT 158294 SOS 109265 HAS SOPS 109265 HAS SOUS 92018 HAS SOUPS 92018 WITH SCORE 92127.265
AT ITER 474 NEW BEST:: SOT 157976 SOS 108957 HAS SOPS 108957 HAS SOUS 91558 HAS SOUPS 91558 WITH SCORE 91666.957
AT ITER 475 NEW BEST:: SOT 157958 SOS 108835 HAS SOPS 108835 HAS SOUS 91436 HAS SOUPS 91436 WITH SCORE 91544.835
AT ITER 477 NEW BEST:: SOT 157958 SOS 108709 HAS SOPS 108709 HAS SOUS 91310 HAS SOUPS 91310 WITH SCORE 91418.709
AT ITER 478 NEW BEST:: SOT 157954 SOS 108648 HAS SOPS 108648 HAS SOUS 91249 HAS SOUPS 91249 WITH SCORE 91357.648
AT ITER 485 NEW BEST:: SOT 157924 SOS 108618 HAS SOPS 108618 HAS SOUS 91219 HAS SOUPS 91219 WITH SCORE 91327.618
AT ITER 486 NEW BEST:: SOT 157864 SOS 108297 HAS SOPS 108297 HAS SOUS 91214 HAS SOUPS 91214 WITH SCORE 91322.297
AT ITER 500 NEW BEST:: SOT 157905 SOS 107656 HAS SOPS 107656 HAS SOUS 90940 HAS SOUPS 90940 WITH SCORE 91047.656
AT ITER 502 NEW BEST:: SOT 157837 SOS 107527 HAS SOPS 107527 HAS SOUS 90817 HAS SOUPS 90817 WITH SCORE 90924.527
AT ITER 504 NEW BEST:: SOT 157806 SOS 107496 HAS SOPS 107496 HAS SOUS 90816 HAS SOUPS 90816 WITH SCORE 90923.496
AT ITER 507 NEW BEST:: SOT 157955 SOS 107638 HAS SOPS 107638 HAS SOUS 90791 HAS SOUPS 90791 WITH SCORE 90898.638
AT ITER 513 NEW BEST:: SOT 157935 SOS 107606 HAS SOPS 107606 HAS SOUS 90766 HAS SOUPS 90766 WITH SCORE 90873.606
AT ITER 518 NEW BEST:: SOT 157862 SOS 107173 HAS SOPS 107173 HAS SOUS 90675 HAS SOUPS 90675 WITH SCORE 90782.173
AT ITER 520 NEW BEST:: SOT 157804 SOS 106661 HAS SOPS 106661 HAS SOUS 90491 HAS SOUPS 90491 WITH SCORE 90597.661
AT ITER 521 NEW BEST:: SOT 157804 SOS 106660 HAS SOPS 106660 HAS SOUS 90489 HAS SOUPS 90489 WITH SCORE 90595.66
AT ITER 527 NEW BEST:: SOT 157778 SOS 106617 HAS SOPS 106617 HAS SOUS 90446 HAS SOUPS 90446 WITH SCORE 90552.617
AT ITER 531 NEW BEST:: SOT 157883 SOS 106477 HAS SOPS 106477 HAS SOUS 90306 HAS SOUPS 90306 WITH SCORE 90412.477
AT ITER 544 NEW BEST:: SOT 157626 SOS 106209 HAS SOPS 106209 HAS SOUS 89924 HAS SOUPS 89924 WITH SCORE 90030.209
AT ITER 545 NEW BEST:: SOT 157384 SOS 105967 HAS SOPS 105967 HAS SOUS 89682 HAS SOUPS 89682 WITH SCORE 89787.967
AT ITER 548 NEW BEST:: SOT 157167 SOS 105822 HAS SOPS 105822 HAS SOUS 89537 HAS SOUPS 89537 WITH SCORE 89642.822
AT ITER 552 NEW BEST:: SOT 157091 SOS 105746 HAS SOPS 105746 HAS SOUS 89461 HAS SOUPS 89461 WITH SCORE 89566.746
AT ITER 561 NEW BEST:: SOT 157091 SOS 105627 HAS SOPS 105627 HAS SOUS 89337 HAS SOUPS 89337 WITH SCORE 89442.627
AT ITER 562 NEW BEST:: SOT 157071 SOS 105607 HAS SOPS 105607 HAS SOUS 89236 HAS SOUPS 89236 WITH SCORE 89341.607
AT ITER 563 NEW BEST:: SOT 156969 SOS 105557 HAS SOPS 105557 HAS SOUS 89106 HAS SOUPS 89106 WITH SCORE 89211.557
AT ITER 574 NEW BEST:: SOT 157267 SOS 105592 HAS SOPS 105592 HAS SOUS 88941 HAS SOUPS 88941 WITH SCORE 89046.592
AT ITER 579 NEW BEST:: SOT 157267 SOS 105470 HAS SOPS 105470 HAS SOUS 88819 HAS SOUPS 88819 WITH SCORE 88924.47
AT ITER 584 NEW BEST:: SOT 157267 SOS 105469 HAS SOPS 105469 HAS SOUS 88818 HAS SOUPS 88818 WITH SCORE 88923.469
AT ITER 593 NEW BEST:: SOT 157267 SOS 105191 HAS SOPS 105191 HAS SOUS 88603 HAS SOUPS 88603 WITH SCORE 88708.191
AT ITER 595 NEW BEST:: SOT 157141 SOS 105065 HAS SOPS 105065 HAS SOUS 88477 HAS SOUPS 88477 WITH SCORE 88582.065
AT ITER 597 NEW BEST:: SOT 157158 SOS 104803 HAS SOPS 104803 HAS SOUS 88317 HAS SOUPS 88317 WITH SCORE 88421.803
AT ITER 619 NEW BEST:: SOT 157065 SOS 104678 HAS SOPS 104678 HAS SOUS 88192 HAS SOUPS 88192 WITH SCORE 88296.678
AT ITER 622 NEW BEST:: SOT 156792 SOS 104429 HAS SOPS 104429 HAS SOUS 88101 HAS SOUPS 88101 WITH SCORE 88205.429
AT ITER 630 NEW BEST:: SOT 156814 SOS 104002 HAS SOPS 104002 HAS SOUS 87969 HAS SOUPS 87969 WITH SCORE 88073.002
AT ITER 636 NEW BEST:: SOT 156856 SOS 103973 HAS SOPS 103973 HAS SOUS 87959 HAS SOUPS 87959 WITH SCORE 88062.973
AT ITER 638 NEW BEST:: SOT 156869 SOS 103967 HAS SOPS 103967 HAS SOUS 87929 HAS SOUPS 87929 WITH SCORE 88032.967
AT ITER 640 NEW BEST:: SOT 156869 SOS 103902 HAS SOPS 103902 HAS SOUS 87891 HAS SOUPS 87891 WITH SCORE 87994.902
AT ITER 642 NEW BEST:: SOT 156786 SOS 103732 HAS SOPS 103732 HAS SOUS 87811 HAS SOUPS 87811 WITH SCORE 87914.732
AT ITER 645 NEW BEST:: SOT 156818 SOS 103706 HAS SOPS 103706 HAS SOUS 87785 HAS SOUPS 87785 WITH SCORE 87888.706
AT ITER 647 NEW BEST:: SOT 156817 SOS 103716 HAS SOPS 103716 HAS SOUS 87784 HAS SOUPS 87784 WITH SCORE 87887.716
AT ITER 651 NEW BEST:: SOT 156760 SOS 103576 HAS SOPS 103576 HAS SOUS 87644 HAS SOUPS 87644 WITH SCORE 87747.576
AT ITER 660 NEW BEST:: SOT 156529 SOS 103309 HAS SOPS 103309 HAS SOUS 87371 HAS SOUPS 87371 WITH SCORE 87474.309
AT ITER 661 NEW BEST:: SOT 156627 SOS 103363 HAS SOPS 103363 HAS SOUS 87346 HAS SOUPS 87346 WITH SCORE 87449.363
AT ITER 662 NEW BEST:: SOT 156280 SOS 102949 HAS SOPS 102949 HAS SOUS 87192 HAS SOUPS 87192 WITH SCORE 87294.949
AT ITER 663 NEW BEST:: SOT 156223 SOS 102892 HAS SOPS 102892 HAS SOUS 87116 HAS SOUPS 87116 WITH SCORE 87218.892
AT ITER 666 NEW BEST:: SOT 156282 SOS 102179 HAS SOPS 102179 HAS SOUS 86852 HAS SOUPS 86852 WITH SCORE 86954.179
AT ITER 668 NEW BEST:: SOT 156216 SOS 102113 HAS SOPS 102113 HAS SOUS 86786 HAS SOUPS 86786 WITH SCORE 86888.113
AT ITER 669 NEW BEST:: SOT 156177 SOS 102074 HAS SOPS 102074 HAS SOUS 86747 HAS SOUPS 86747 WITH SCORE 86849.074
AT ITER 673 NEW BEST:: SOT 156177 SOS 102089 HAS SOPS 102089 HAS SOUS 86489 HAS SOUPS 86489 WITH SCORE 86591.089
AT ITER 679 NEW BEST:: SOT 156394 SOS 102137 HAS SOPS 102137 HAS SOUS 86456 HAS SOUPS 86456 WITH SCORE 86558.137
AT ITER 681 NEW BEST:: SOT 156356 SOS 101583 HAS SOPS 101583 HAS SOUS 86265 HAS SOUPS 86265 WITH SCORE 86366.583
AT ITER 683 NEW BEST:: SOT 156314 SOS 101541 HAS SOPS 101541 HAS SOUS 86264 HAS SOUPS 86264 WITH SCORE 86365.541
AT ITER 688 NEW BEST:: SOT 156314 SOS 101494 HAS SOPS 101494 HAS SOUS 86247 HAS SOUPS 86247 WITH SCORE 86348.494
AT ITER 689 NEW BEST:: SOT 156314 SOS 101442 HAS SOPS 101442 HAS SOUS 86235 HAS SOUPS 86235 WITH SCORE 86336.442
AT ITER 691 NEW BEST:: SOT 156282 SOS 101394 HAS SOPS 101394 HAS SOUS 86187 HAS SOUPS 86187 WITH SCORE 86288.394
AT ITER 692 NEW BEST:: SOT 156185 SOS 101297 HAS SOPS 101297 HAS SOUS 86090 HAS SOUPS 86090 WITH SCORE 86191.297
AT ITER 696 NEW BEST:: SOT 156125 SOS 100932 HAS SOPS 100932 HAS SOUS 85966 HAS SOUPS 85966 WITH SCORE 86066.932
AT ITER 697 NEW BEST:: SOT 156090 SOS 100897 HAS SOPS 100897 HAS SOUS 85931 HAS SOUPS 85931 WITH SCORE 86031.897
AT ITER 708 NEW BEST:: SOT 156024 SOS 100015 HAS SOPS 100015 HAS SOUS 85609 HAS SOUPS 85609 WITH SCORE 85709.015
AT ITER 720 NEW BEST:: SOT 156439 SOS 100011 HAS SOPS 100011 HAS SOUS 85509 HAS SOUPS 85509 WITH SCORE 85609.011
AT ITER 721 NEW BEST:: SOT 156388 SOS 99960 HAS SOPS 99960 HAS SOUS 85458 HAS SOUPS 85458 WITH SCORE 85557.96
AT ITER 724 NEW BEST:: SOT 156132 SOS 99751 HAS SOPS 99751 HAS SOUS 85249 HAS SOUPS 85249 WITH SCORE 85348.751
AT ITER 737 NEW BEST:: SOT 156024 SOS 99659 HAS SOPS 99659 HAS SOUS 85157 HAS SOUPS 85157 WITH SCORE 85256.659
AT ITER 749 NEW BEST:: SOT 155935 SOS 99686 HAS SOPS 99686 HAS SOUS 85073 HAS SOUPS 85073 WITH SCORE 85172.686
AT ITER 750 NEW BEST:: SOT 155991 SOS 99773 HAS SOPS 99773 HAS SOUS 85042 HAS SOUPS 85042 WITH SCORE 85141.773
AT ITER 751 NEW BEST:: SOT 155991 SOS 99657 HAS SOPS 99657 HAS SOUS 84897 HAS SOUPS 84897 WITH SCORE 84996.657
AT ITER 759 NEW BEST:: SOT 155793 SOS 99358 HAS SOPS 99358 HAS SOUS 84598 HAS SOUPS 84598 WITH SCORE 84697.358
AT ITER 763 NEW BEST:: SOT 155873 SOS 99466 HAS SOPS 99466 HAS SOUS 84525 HAS SOUPS 84525 WITH SCORE 84624.466
AT ITER 767 NEW BEST:: SOT 155853 SOS 99446 HAS SOPS 99446 HAS SOUS 84505 HAS SOUPS 84505 WITH SCORE 84604.446
AT ITER 775 NEW BEST:: SOT 155853 SOS 99444 HAS SOPS 99444 HAS SOUS 84503 HAS SOUPS 84503 WITH SCORE 84602.444
AT ITER 777 NEW BEST:: SOT 155687 SOS 99240 HAS SOPS 99240 HAS SOUS 84232 HAS SOUPS 84232 WITH SCORE 84331.24
AT ITER 778 NEW BEST:: SOT 154965 SOS 98529 HAS SOPS 98529 HAS SOUS 83529 HAS SOUPS 83529 WITH SCORE 83627.529
AT ITER 783 NEW BEST:: SOT 154713 SOS 98383 HAS SOPS 98383 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83482.383
AT ITER 787 NEW BEST:: SOT 154658 SOS 98237 HAS SOPS 98237 HAS SOUS 83272 HAS SOUPS 83272 WITH SCORE 83370.237
AT ITER 788 NEW BEST:: SOT 154489 SOS 98068 HAS SOPS 98068 HAS SOUS 83033 HAS SOUPS 83033 WITH SCORE 83131.068
AT ITER 792 NEW BEST:: SOT 154489 SOS 97990 HAS SOPS 97990 HAS SOUS 82955 HAS SOUPS 82955 WITH SCORE 83052.99
AT ITER 794 NEW BEST:: SOT 154579 SOS 97945 HAS SOPS 97945 HAS SOUS 82534 HAS SOUPS 82534 WITH SCORE 82631.945
AT ITER 798 NEW BEST:: SOT 154588 SOS 97621 HAS SOPS 97621 HAS SOUS 82508 HAS SOUPS 82508 WITH SCORE 82605.621
AT ITER 802 NEW BEST:: SOT 154367 SOS 97400 HAS SOPS 97400 HAS SOUS 82287 HAS SOUPS 82287 WITH SCORE 82384.4
AT ITER 804 NEW BEST:: SOT 154372 SOS 97360 HAS SOPS 97360 HAS SOUS 82251 HAS SOUPS 82251 WITH SCORE 82348.36
AT ITER 806 NEW BEST:: SOT 154207 SOS 96775 HAS SOPS 96775 HAS SOUS 82013 HAS SOUPS 82013 WITH SCORE 82109.775
AT ITER 808 NEW BEST:: SOT 154207 SOS 96745 HAS SOPS 96745 HAS SOUS 81983 HAS SOUPS 81983 WITH SCORE 82079.745
AT ITER 813 NEW BEST:: SOT 154218 SOS 96650 HAS SOPS 96650 HAS SOUS 81888 HAS SOUPS 81888 WITH SCORE 81984.65
AT ITER 818 NEW BEST:: SOT 154216 SOS 96648 HAS SOPS 96648 HAS SOUS 81887 HAS SOUPS 81887 WITH SCORE 81983.648
AT ITER 833 NEW BEST:: SOT 154188 SOS 96662 HAS SOPS 96662 HAS SOUS 81880 HAS SOUPS 81880 WITH SCORE 81976.662
AT ITER 835 NEW BEST:: SOT 154188 SOS 96620 HAS SOPS 96620 HAS SOUS 81838 HAS SOUPS 81838 WITH SCORE 81934.62
AT ITER 843 NEW BEST:: SOT 154171 SOS 96746 HAS SOPS 96746 HAS SOUS 81835 HAS SOUPS 81835 WITH SCORE 81931.746
AT ITER 859 NEW BEST:: SOT 154171 SOS 96690 HAS SOPS 96690 HAS SOUS 81723 HAS SOUPS 81723 WITH SCORE 81819.69
AT ITER 866 NEW BEST:: SOT 154182 SOS 96716 HAS SOPS 96716 HAS SOUS 81719 HAS SOUPS 81719 WITH SCORE 81815.716
AT ITER 867 NEW BEST:: SOT 153832 SOS 96453 HAS SOPS 96453 HAS SOUS 81452 HAS SOUPS 81452 WITH SCORE 81548.453
AT ITER 871 NEW BEST:: SOT 153979 SOS 96439 HAS SOPS 96439 HAS SOUS 81422 HAS SOUPS 81422 WITH SCORE 81518.439
AT ITER 889 NEW BEST:: SOT 153789 SOS 96106 HAS SOPS 96106 HAS SOUS 81319 HAS SOUPS 81319 WITH SCORE 81415.106
AT ITER 892 NEW BEST:: SOT 153746 SOS 96134 HAS SOPS 96134 HAS SOUS 81288 HAS SOUPS 81288 WITH SCORE 81384.134
AT ITER 895 NEW BEST:: SOT 153792 SOS 95707 HAS SOPS 95707 HAS SOUS 81129 HAS SOUPS 81129 WITH SCORE 81224.707
AT ITER 896 NEW BEST:: SOT 154183 SOS 95879 HAS SOPS 95879 HAS SOUS 81067 HAS SOUPS 81067 WITH SCORE 81162.879
AT ITER 900 NEW BEST:: SOT 154174 SOS 95870 HAS SOPS 95870 HAS SOUS 81058 HAS SOUPS 81058 WITH SCORE 81153.87
AT ITER 908 NEW BEST:: SOT 154246 SOS 95651 HAS SOPS 95651 HAS SOUS 81058 HAS SOUPS 81058 WITH SCORE 81153.651
AT ITER 910 NEW BEST:: SOT 154018 SOS 95493 HAS SOPS 95493 HAS SOUS 81035 HAS SOUPS 81035 WITH SCORE 81130.493
AT ITER 912 NEW BEST:: SOT 154111 SOS 95391 HAS SOPS 95391 HAS SOUS 80796 HAS SOUPS 80796 WITH SCORE 80891.391
AT ITER 925 NEW BEST:: SOT 153982 SOS 95262 HAS SOPS 95262 HAS SOUS 80667 HAS SOUPS 80667 WITH SCORE 80762.262
AT ITER 927 NEW BEST:: SOT 153957 SOS 95212 HAS SOPS 95212 HAS SOUS 80592 HAS SOUPS 80592 WITH SCORE 80687.212
AT ITER 932 NEW BEST:: SOT 153957 SOS 94881 HAS SOPS 94881 HAS SOUS 80535 HAS SOUPS 80535 WITH SCORE 80629.881
AT ITER 938 NEW BEST:: SOT 153950 SOS 94867 HAS SOPS 94867 HAS SOUS 80528 HAS SOUPS 80528 WITH SCORE 80622.867
AT ITER 940 NEW BEST:: SOT 153922 SOS 94839 HAS SOPS 94839 HAS SOUS 80500 HAS SOUPS 80500 WITH SCORE 80594.839
AT ITER 941 NEW BEST:: SOT 153922 SOS 94837 HAS SOPS 94837 HAS SOUS 80500 HAS SOUPS 80500 WITH SCORE 80594.837
AT ITER 948 NEW BEST:: SOT 153996 SOS 94948 HAS SOPS 94948 HAS SOUS 80389 HAS SOUPS 80389 WITH SCORE 80483.948
AT ITER 949 NEW BEST:: SOT 153996 SOS 94885 HAS SOPS 94885 HAS SOUS 80294 HAS SOUPS 80294 WITH SCORE 80388.885
AT ITER 961 NEW BEST:: SOT 154455 SOS 94899 HAS SOPS 94899 HAS SOUS 80269 HAS SOUPS 80269 WITH SCORE 80363.899
AT ITER 967 NEW BEST:: SOT 154431 SOS 94875 HAS SOPS 94875 HAS SOUS 80245 HAS SOUPS 80245 WITH SCORE 80339.875
AT ITER 976 NEW BEST:: SOT 154180 SOS 94620 HAS SOPS 94620 HAS SOUS 79991 HAS SOUPS 79991 WITH SCORE 80085.62
AT ITER 978 NEW BEST:: SOT 154131 SOS 94524 HAS SOPS 94524 HAS SOUS 79940 HAS SOUPS 79940 WITH SCORE 80034.524
AT ITER 979 NEW BEST:: SOT 154099 SOS 94492 HAS SOPS 94492 HAS SOUS 79908 HAS SOUPS 79908 WITH SCORE 80002.492
AT ITER 981 NEW BEST:: SOT 154180 SOS 94458 HAS SOPS 94458 HAS SOUS 79874 HAS SOUPS 79874 WITH SCORE 79968.458
AT ITER 985 NEW BEST:: SOT 154180 SOS 94402 HAS SOPS 94402 HAS SOUS 79818 HAS SOUPS 79818 WITH SCORE 79912.402
AT ITER 992 NEW BEST:: SOT 154178 SOS 94383 HAS SOPS 94383 HAS SOUS 79799 HAS SOUPS 79799 WITH SCORE 79893.383
AT ITER 997 NEW BEST:: SOT 154160 SOS 94365 HAS SOPS 94365 HAS SOUS 79763 HAS SOUPS 79763 WITH SCORE 79857.365
AT ITER 1001 NEW BEST:: SOT 154019 SOS 94224 HAS SOPS 94224 HAS SOUS 79622 HAS SOUPS 79622 WITH SCORE 79716.224
AT ITER 1008 NEW BEST:: SOT 153809 SOS 94014 HAS SOPS 94014 HAS SOUS 79412 HAS SOUPS 79412 WITH SCORE 79506.014
AT ITER 1017 NEW BEST:: SOT 153628 SOS 93917 HAS SOPS 93917 HAS SOUS 79315 HAS SOUPS 79315 WITH SCORE 79408.917
AT ITER 1032 NEW BEST:: SOT 153449 SOS 93664 HAS SOPS 93664 HAS SOUS 79062 HAS SOUPS 79062 WITH SCORE 79155.664
AT ITER 1037 NEW BEST:: SOT 153392 SOS 93607 HAS SOPS 93607 HAS SOUS 79005 HAS SOUPS 79005 WITH SCORE 79098.607
AT ITER 1053 NEW BEST:: SOT 153299 SOS 93358 HAS SOPS 93358 HAS SOUS 78718 HAS SOUPS 78718 WITH SCORE 78811.358
AT ITER 1065 NEW BEST:: SOT 152797 SOS 92700 HAS SOPS 92700 HAS SOUS 78059 HAS SOUPS 78059 WITH SCORE 78151.7
AT ITER 1082 NEW BEST:: SOT 152876 SOS 92586 HAS SOPS 92586 HAS SOUS 77464 HAS SOUPS 77464 WITH SCORE 77556.586
AT ITER 1083 NEW BEST:: SOT 152876 SOS 92593 HAS SOPS 92593 HAS SOUS 77457 HAS SOUPS 77457 WITH SCORE 77549.593
AT ITER 1086 NEW BEST:: SOT 152846 SOS 92563 HAS SOPS 92563 HAS SOUS 77457 HAS SOUPS 77457 WITH SCORE 77549.563
AT ITER 1092 NEW BEST:: SOT 152832 SOS 92522 HAS SOPS 92522 HAS SOUS 77443 HAS SOUPS 77443 WITH SCORE 77535.522
AT ITER 1099 NEW BEST:: SOT 152832 SOS 92282 HAS SOPS 92282 HAS SOUS 77313 HAS SOUPS 77313 WITH SCORE 77405.282
AT ITER 1101 NEW BEST:: SOT 152831 SOS 92245 HAS SOPS 92245 HAS SOUS 77258 HAS SOUPS 77258 WITH SCORE 77350.245
AT ITER 1104 NEW BEST:: SOT 152831 SOS 92176 HAS SOPS 92176 HAS SOUS 77217 HAS SOUPS 77217 WITH SCORE 77309.176
AT ITER 1110 NEW BEST:: SOT 152793 SOS 92138 HAS SOPS 92138 HAS SOUS 77179 HAS SOUPS 77179 WITH SCORE 77271.138
AT ITER 1112 NEW BEST:: SOT 152793 SOS 92090 HAS SOPS 92090 HAS SOUS 77083 HAS SOUPS 77083 WITH SCORE 77175.09
AT ITER 1118 NEW BEST:: SOT 152483 SOS 91563 HAS SOPS 91563 HAS SOUS 76452 HAS SOUPS 76452 WITH SCORE 76543.563
AT ITER 1126 NEW BEST:: SOT 152388 SOS 91432 HAS SOPS 91432 HAS SOUS 76276 HAS SOUPS 76276 WITH SCORE 76367.432
AT ITER 1131 NEW BEST:: SOT 152159 SOS 90853 HAS SOPS 90853 HAS SOUS 75683 HAS SOUPS 75683 WITH SCORE 75773.853
AT ITER 1138 NEW BEST:: SOT 152128 SOS 90532 HAS SOPS 90532 HAS SOUS 75668 HAS SOUPS 75668 WITH SCORE 75758.532
AT ITER 1142 NEW BEST:: SOT 152151 SOS 90533 HAS SOPS 90533 HAS SOUS 75547 HAS SOUPS 75547 WITH SCORE 75637.533
AT ITER 1151 NEW BEST:: SOT 152004 SOS 90476 HAS SOPS 90476 HAS SOUS 75490 HAS SOUPS 75490 WITH SCORE 75580.476
AT ITER 1157 NEW BEST:: SOT 151997 SOS 90469 HAS SOPS 90469 HAS SOUS 75483 HAS SOUPS 75483 WITH SCORE 75573.469
AT ITER 1169 NEW BEST:: SOT 152371 SOS 90170 HAS SOPS 90170 HAS SOUS 75372 HAS SOUPS 75372 WITH SCORE 75462.17
AT ITER 1170 NEW BEST:: SOT 152205 SOS 90004 HAS SOPS 90004 HAS SOUS 75206 HAS SOUPS 75206 WITH SCORE 75296.004
AT ITER 1172 NEW BEST:: SOT 152105 SOS 89904 HAS SOPS 89904 HAS SOUS 75156 HAS SOUPS 75156 WITH SCORE 75245.904
AT ITER 1177 NEW BEST:: SOT 152076 SOS 89897 HAS SOPS 89897 HAS SOUS 75127 HAS SOUPS 75127 WITH SCORE 75216.897
AT ITER 1182 NEW BEST:: SOT 151967 SOS 89779 HAS SOPS 89779 HAS SOUS 75063 HAS SOUPS 75063 WITH SCORE 75152.779
AT ITER 1184 NEW BEST:: SOT 151956 SOS 89660 HAS SOPS 89660 HAS SOUS 74709 HAS SOUPS 74709 WITH SCORE 74798.66
AT ITER 1189 NEW BEST:: SOT 151962 SOS 89624 HAS SOPS 89624 HAS SOUS 74699 HAS SOUPS 74699 WITH SCORE 74788.624
AT ITER 1191 NEW BEST:: SOT 151983 SOS 89244 HAS SOPS 89244 HAS SOUS 74472 HAS SOUPS 74472 WITH SCORE 74561.244
AT ITER 1195 NEW BEST:: SOT 151983 SOS 89245 HAS SOPS 89245 HAS SOUS 74470 HAS SOUPS 74470 WITH SCORE 74559.245
AT ITER 1207 NEW BEST:: SOT 151983 SOS 89238 HAS SOPS 89238 HAS SOUS 74463 HAS SOUPS 74463 WITH SCORE 74552.238
AT ITER 1209 NEW BEST:: SOT 151977 SOS 89229 HAS SOPS 89229 HAS SOUS 74454 HAS SOUPS 74454 WITH SCORE 74543.229
AT ITER 1211 NEW BEST:: SOT 151823 SOS 89075 HAS SOPS 89075 HAS SOUS 74300 HAS SOUPS 74300 WITH SCORE 74389.075
AT ITER 1214 NEW BEST:: SOT 151827 SOS 89050 HAS SOPS 89050 HAS SOUS 74242 HAS SOUPS 74242 WITH SCORE 74331.05
AT ITER 1216 NEW BEST:: SOT 151827 SOS 88731 HAS SOPS 88731 HAS SOUS 74133 HAS SOUPS 74133 WITH SCORE 74221.731
AT ITER 1220 NEW BEST:: SOT 151832 SOS 88019 HAS SOPS 88019 HAS SOUS 74027 HAS SOUPS 74027 WITH SCORE 74115.019
AT ITER 1224 NEW BEST:: SOT 151791 SOS 87978 HAS SOPS 87978 HAS SOUS 73986 HAS SOUPS 73986 WITH SCORE 74073.978
AT ITER 1236 NEW BEST:: SOT 151877 SOS 87851 HAS SOPS 87851 HAS SOUS 73831 HAS SOUPS 73831 WITH SCORE 73918.851
AT ITER 1243 NEW BEST:: SOT 151960 SOS 87743 HAS SOPS 87743 HAS SOUS 73723 HAS SOUPS 73723 WITH SCORE 73810.743
AT ITER 1247 NEW BEST:: SOT 151848 SOS 87683 HAS SOPS 87683 HAS SOUS 73593 HAS SOUPS 73593 WITH SCORE 73680.683
AT ITER 1254 NEW BEST:: SOT 151704 SOS 87326 HAS SOPS 87326 HAS SOUS 73292 HAS SOUPS 73292 WITH SCORE 73379.326
AT ITER 1264 NEW BEST:: SOT 151259 SOS 86735 HAS SOPS 86735 HAS SOUS 72701 HAS SOUPS 72701 WITH SCORE 72787.735
AT ITER 1269 NEW BEST:: SOT 151229 SOS 86186 HAS SOPS 86186 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72454.186
AT ITER 1273 NEW BEST:: SOT 151088 SOS 86045 HAS SOPS 86045 HAS SOUS 72227 HAS SOUPS 72227 WITH SCORE 72313.045
AT ITER 1279 NEW BEST:: SOT 150928 SOS 85885 HAS SOPS 85885 HAS SOUS 72100 HAS SOUPS 72100 WITH SCORE 72185.885
AT ITER 1282 NEW BEST:: SOT 150921 SOS 85878 HAS SOPS 85878 HAS SOUS 72100 HAS SOUPS 72100 WITH SCORE 72185.878
AT ITER 1284 NEW BEST:: SOT 150953 SOS 85866 HAS SOPS 85866 HAS SOUS 72088 HAS SOUPS 72088 WITH SCORE 72173.866
AT ITER 1286 NEW BEST:: SOT 151009 SOS 85922 HAS SOPS 85922 HAS SOUS 72055 HAS SOUPS 72055 WITH SCORE 72140.922
AT ITER 1288 NEW BEST:: SOT 150934 SOS 85846 HAS SOPS 85846 HAS SOUS 71979 HAS SOUPS 71979 WITH SCORE 72064.846
AT ITER 1295 NEW BEST:: SOT 150943 SOS 85707 HAS SOPS 85707 HAS SOUS 71912 HAS SOUPS 71912 WITH SCORE 71997.707
AT ITER 1303 NEW BEST:: SOT 151052 SOS 85816 HAS SOPS 85816 HAS SOUS 71890 HAS SOUPS 71890 WITH SCORE 71975.816
AT ITER 1304 NEW BEST:: SOT 150615 SOS 85379 HAS SOPS 85379 HAS SOUS 71453 HAS SOUPS 71453 WITH SCORE 71538.379
AT ITER 1321 NEW BEST:: SOT 150632 SOS 85389 HAS SOPS 85389 HAS SOUS 71423 HAS SOUPS 71423 WITH SCORE 71508.389
AT ITER 1325 NEW BEST:: SOT 150739 SOS 85126 HAS SOPS 85126 HAS SOUS 71313 HAS SOUPS 71313 WITH SCORE 71398.126
AT ITER 1328 NEW BEST:: SOT 150739 SOS 85023 HAS SOPS 85023 HAS SOUS 71242 HAS SOUPS 71242 WITH SCORE 71327.023
AT ITER 1333 NEW BEST:: SOT 150695 SOS 84957 HAS SOPS 84957 HAS SOUS 71176 HAS SOUPS 71176 WITH SCORE 71260.957
AT ITER 1339 NEW BEST:: SOT 150832 SOS 84749 HAS SOPS 84749 HAS SOUS 70896 HAS SOUPS 70896 WITH SCORE 70980.749
AT ITER 1343 NEW BEST:: SOT 150790 SOS 84686 HAS SOPS 84686 HAS SOUS 70853 HAS SOUPS 70853 WITH SCORE 70937.686
AT ITER 1351 NEW BEST:: SOT 150761 SOS 84657 HAS SOPS 84657 HAS SOUS 70824 HAS SOUPS 70824 WITH SCORE 70908.657
AT ITER 1357 NEW BEST:: SOT 150761 SOS 84595 HAS SOPS 84595 HAS SOUS 70786 HAS SOUPS 70786 WITH SCORE 70870.595
AT ITER 1359 NEW BEST:: SOT 150731 SOS 84580 HAS SOPS 84580 HAS SOUS 70756 HAS SOUPS 70756 WITH SCORE 70840.58
AT ITER 1367 NEW BEST:: SOT 150685 SOS 84534 HAS SOPS 84534 HAS SOUS 70710 HAS SOUPS 70710 WITH SCORE 70794.534
AT ITER 1371 NEW BEST:: SOT 150671 SOS 84506 HAS SOPS 84506 HAS SOUS 70652 HAS SOUPS 70652 WITH SCORE 70736.506
AT ITER 1372 NEW BEST:: SOT 150670 SOS 84505 HAS SOPS 84505 HAS SOUS 70652 HAS SOUPS 70652 WITH SCORE 70736.505
AT ITER 1373 NEW BEST:: SOT 150597 SOS 84432 HAS SOPS 84432 HAS SOUS 70579 HAS SOUPS 70579 WITH SCORE 70663.432
AT ITER 1375 NEW BEST:: SOT 150611 SOS 84267 HAS SOPS 84267 HAS SOUS 70459 HAS SOUPS 70459 WITH SCORE 70543.267
AT ITER 1384 NEW BEST:: SOT 150544 SOS 84051 HAS SOPS 84051 HAS SOUS 70303 HAS SOUPS 70303 WITH SCORE 70387.051
AT ITER 1393 NEW BEST:: SOT 150487 SOS 84022 HAS SOPS 84022 HAS SOUS 70169 HAS SOUPS 70169 WITH SCORE 70253.022
AT ITER 1402 NEW BEST:: SOT 150523 SOS 84003 HAS SOPS 84003 HAS SOUS 70135 HAS SOUPS 70135 WITH SCORE 70219.003
AT ITER 1403 NEW BEST:: SOT 150501 SOS 83981 HAS SOPS 83981 HAS SOUS 70113 HAS SOUPS 70113 WITH SCORE 70196.981
AT ITER 1410 NEW BEST:: SOT 150501 SOS 83889 HAS SOPS 83889 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70173.889
AT ITER 1426 NEW BEST:: SOT 150533 SOS 83756 HAS SOPS 83756 HAS SOUS 70038 HAS SOUPS 70038 WITH SCORE 70121.756
AT ITER 1428 NEW BEST:: SOT 150473 SOS 83696 HAS SOPS 83696 HAS SOUS 69962 HAS SOUPS 69962 WITH SCORE 70045.696
AT ITER 1449 NEW BEST:: SOT 150396 SOS 83555 HAS SOPS 83555 HAS SOUS 69961 HAS SOUPS 69961 WITH SCORE 70044.555
AT ITER 1453 NEW BEST:: SOT 150483 SOS 83659 HAS SOPS 83659 HAS SOUS 69789 HAS SOUPS 69789 WITH SCORE 69872.659
AT ITER 1461 NEW BEST:: SOT 150569 SOS 83646 HAS SOPS 83646 HAS SOUS 69763 HAS SOUPS 69763 WITH SCORE 69846.646
AT ITER 1475 NEW BEST:: SOT 150546 SOS 83302 HAS SOPS 83302 HAS SOUS 69541 HAS SOUPS 69541 WITH SCORE 69624.302
AT ITER 1493 NEW BEST:: SOT 150546 SOS 83250 HAS SOPS 83250 HAS SOUS 69460 HAS SOUPS 69460 WITH SCORE 69543.25
AT ITER 1500 NEW BEST:: SOT 150530 SOS 83156 HAS SOPS 83156 HAS SOUS 69366 HAS SOUPS 69366 WITH SCORE 69449.156
AT ITER 1522 NEW BEST:: SOT 150556 SOS 83093 HAS SOPS 83093 HAS SOUS 69359 HAS SOUPS 69359 WITH SCORE 69442.093
AT ITER 1524 NEW BEST:: SOT 150285 SOS 82802 HAS SOPS 82802 HAS SOUS 69068 HAS SOUPS 69068 WITH SCORE 69150.802
AT ITER 1545 NEW BEST:: SOT 150143 SOS 82857 HAS SOPS 82857 HAS SOUS 68909 HAS SOUPS 68909 WITH SCORE 68991.857
AT ITER 1547 NEW BEST:: SOT 150016 SOS 82730 HAS SOPS 82730 HAS SOUS 68782 HAS SOUPS 68782 WITH SCORE 68864.73
AT ITER 1549 NEW BEST:: SOT 149995 SOS 82708 HAS SOPS 82708 HAS SOUS 68760 HAS SOUPS 68760 WITH SCORE 68842.708
AT ITER 1555 NEW BEST:: SOT 149929 SOS 82592 HAS SOPS 82592 HAS SOUS 68642 HAS SOUPS 68642 WITH SCORE 68724.592
AT ITER 1558 NEW BEST:: SOT 149792 SOS 82455 HAS SOPS 82455 HAS SOUS 68505 HAS SOUPS 68505 WITH SCORE 68587.455
AT ITER 1559 NEW BEST:: SOT 149701 SOS 82383 HAS SOPS 82383 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68515.383
AT ITER 1566 NEW BEST:: SOT 149780 SOS 82383 HAS SOPS 82383 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68461.383
AT ITER 1569 NEW BEST:: SOT 149750 SOS 82391 HAS SOPS 82391 HAS SOUS 68357 HAS SOUPS 68357 WITH SCORE 68439.391
AT ITER 1578 NEW BEST:: SOT 149822 SOS 82503 HAS SOPS 82503 HAS SOUS 68326 HAS SOUPS 68326 WITH SCORE 68408.503
AT ITER 1580 NEW BEST:: SOT 149816 SOS 82473 HAS SOPS 82473 HAS SOUS 68308 HAS SOUPS 68308 WITH SCORE 68390.473
AT ITER 1581 NEW BEST:: SOT 149740 SOS 82397 HAS SOPS 82397 HAS SOUS 68232 HAS SOUPS 68232 WITH SCORE 68314.397
AT ITER 1590 NEW BEST:: SOT 149720 SOS 82377 HAS SOPS 82377 HAS SOUS 68212 HAS SOUPS 68212 WITH SCORE 68294.377
AT ITER 1601 NEW BEST:: SOT 149720 SOS 82352 HAS SOPS 82352 HAS SOUS 68187 HAS SOUPS 68187 WITH SCORE 68269.352
AT ITER 1620 NEW BEST:: SOT 149562 SOS 81829 HAS SOPS 81829 HAS SOUS 67703 HAS SOUPS 67703 WITH SCORE 67784.829
AT ITER 1621 NEW BEST:: SOT 149562 SOS 81827 HAS SOPS 81827 HAS SOUS 67703 HAS SOUPS 67703 WITH SCORE 67784.827
AT ITER 1622 NEW BEST:: SOT 148963 SOS 81107 HAS SOPS 81107 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 67205.107
AT ITER 1632 NEW BEST:: SOT 148933 SOS 81096 HAS SOPS 81096 HAS SOUS 67113 HAS SOUPS 67113 WITH SCORE 67194.096
AT ITER 1638 NEW BEST:: SOT 148670 SOS 80833 HAS SOPS 80833 HAS SOUS 66830 HAS SOUPS 66830 WITH SCORE 66910.833
AT ITER 1645 NEW BEST:: SOT 148670 SOS 80829 HAS SOPS 80829 HAS SOUS 66826 HAS SOUPS 66826 WITH SCORE 66906.829
AT ITER 1649 NEW BEST:: SOT 148457 SOS 80594 HAS SOPS 80594 HAS SOUS 66662 HAS SOUPS 66662 WITH SCORE 66742.594
AT ITER 1650 NEW BEST:: SOT 148446 SOS 80719 HAS SOPS 80719 HAS SOUS 66654 HAS SOUPS 66654 WITH SCORE 66734.719
AT ITER 1655 NEW BEST:: SOT 148415 SOS 80703 HAS SOPS 80703 HAS SOUS 66560 HAS SOUPS 66560 WITH SCORE 66640.703
AT ITER 1657 NEW BEST:: SOT 148445 SOS 80593 HAS SOPS 80593 HAS SOUS 66393 HAS SOUPS 66393 WITH SCORE 66473.593
AT ITER 1678 NEW BEST:: SOT 148264 SOS 79809 HAS SOPS 79809 HAS SOUS 66181 HAS SOUPS 66181 WITH SCORE 66260.809
AT ITER 1684 NEW BEST:: SOT 148088 SOS 79785 HAS SOPS 79785 HAS SOUS 66132 HAS SOUPS 66132 WITH SCORE 66211.785
AT ITER 1685 NEW BEST:: SOT 148031 SOS 79676 HAS SOPS 79676 HAS SOUS 66023 HAS SOUPS 66023 WITH SCORE 66102.676
AT ITER 1690 NEW BEST:: SOT 148105 SOS 79586 HAS SOPS 79586 HAS SOUS 66015 HAS SOUPS 66015 WITH SCORE 66094.586
AT ITER 1693 NEW BEST:: SOT 148074 SOS 79555 HAS SOPS 79555 HAS SOUS 65976 HAS SOUPS 65976 WITH SCORE 66055.555
AT ITER 1697 NEW BEST:: SOT 147781 SOS 79243 HAS SOPS 79243 HAS SOUS 65664 HAS SOUPS 65664 WITH SCORE 65743.243
AT ITER 1699 NEW BEST:: SOT 147649 SOS 78694 HAS SOPS 78694 HAS SOUS 64986 HAS SOUPS 64986 WITH SCORE 65064.694
AT ITER 1700 NEW BEST:: SOT 147655 SOS 78700 HAS SOPS 78700 HAS SOUS 64980 HAS SOUPS 64980 WITH SCORE 65058.7
AT ITER 1702 NEW BEST:: SOT 147690 SOS 78503 HAS SOPS 78503 HAS SOUS 64892 HAS SOUPS 64892 WITH SCORE 64970.503
AT ITER 1719 NEW BEST:: SOT 147690 SOS 78457 HAS SOPS 78457 HAS SOUS 64829 HAS SOUPS 64829 WITH SCORE 64907.457
AT ITER 1723 NEW BEST:: SOT 147690 SOS 78455 HAS SOPS 78455 HAS SOUS 64806 HAS SOUPS 64806 WITH SCORE 64884.455
AT ITER 1726 NEW BEST:: SOT 147629 SOS 78274 HAS SOPS 78274 HAS SOUS 64645 HAS SOUPS 64645 WITH SCORE 64723.274
AT ITER 1731 NEW BEST:: SOT 147591 SOS 78141 HAS SOPS 78141 HAS SOUS 64487 HAS SOUPS 64487 WITH SCORE 64565.141
AT ITER 1756 NEW BEST:: SOT 147579 SOS 78129 HAS SOPS 78129 HAS SOUS 64475 HAS SOUPS 64475 WITH SCORE 64553.129
AT ITER 1758 NEW BEST:: SOT 147579 SOS 78156 HAS SOPS 78156 HAS SOUS 64418 HAS SOUPS 64418 WITH SCORE 64496.156
AT ITER 1761 NEW BEST:: SOT 147597 SOS 78174 HAS SOPS 78174 HAS SOUS 64410 HAS SOUPS 64410 WITH SCORE 64488.174
AT ITER 1771 NEW BEST:: SOT 147563 SOS 78112 HAS SOPS 78112 HAS SOUS 64314 HAS SOUPS 64314 WITH SCORE 64392.112
AT ITER 1776 NEW BEST:: SOT 147529 SOS 78078 HAS SOPS 78078 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64290.078
AT ITER 1793 NEW BEST:: SOT 147529 SOS 78155 HAS SOPS 78155 HAS SOUS 64201 HAS SOUPS 64201 WITH SCORE 64279.155
AT ITER 1797 NEW BEST:: SOT 147413 SOS 78039 HAS SOPS 78039 HAS SOUS 64085 HAS SOUPS 64085 WITH SCORE 64163.039
AT ITER 1805 NEW BEST:: SOT 147353 SOS 77979 HAS SOPS 77979 HAS SOUS 64025 HAS SOUPS 64025 WITH SCORE 64102.979
AT ITER 1834 NEW BEST:: SOT 147421 SOS 77926 HAS SOPS 77926 HAS SOUS 63959 HAS SOUPS 63959 WITH SCORE 64036.926
AT ITER 1838 NEW BEST:: SOT 147341 SOS 77841 HAS SOPS 77841 HAS SOUS 63928 HAS SOUPS 63928 WITH SCORE 64005.841
AT ITER 1859 NEW BEST:: SOT 147322 SOS 77771 HAS SOPS 77771 HAS SOUS 63924 HAS SOUPS 63924 WITH SCORE 64001.771
AT ITER 1860 NEW BEST:: SOT 147322 SOS 77771 HAS SOPS 77771 HAS SOUS 63906 HAS SOUPS 63906 WITH SCORE 63983.771
AT ITER 1862 NEW BEST:: SOT 147506 SOS 77886 HAS SOPS 77886 HAS SOUS 63841 HAS SOUPS 63841 WITH SCORE 63918.886
AT ITER 1864 NEW BEST:: SOT 147530 SOS 77986 HAS SOPS 77986 HAS SOUS 63818 HAS SOUPS 63818 WITH SCORE 63895.986
AT ITER 1869 NEW BEST:: SOT 147280 SOS 77857 HAS SOPS 77857 HAS SOUS 63689 HAS SOUPS 63689 WITH SCORE 63766.857
AT ITER 1870 NEW BEST:: SOT 147280 SOS 77839 HAS SOPS 77839 HAS SOUS 63683 HAS SOUPS 63683 WITH SCORE 63760.839
AT ITER 1891 NEW BEST:: SOT 147231 SOS 77790 HAS SOPS 77790 HAS SOUS 63668 HAS SOUPS 63668 WITH SCORE 63745.79
AT ITER 1901 NEW BEST:: SOT 147231 SOS 77655 HAS SOPS 77655 HAS SOUS 63556 HAS SOUPS 63556 WITH SCORE 63633.655
AT ITER 1902 NEW BEST:: SOT 147201 SOS 77625 HAS SOPS 77625 HAS SOUS 63526 HAS SOUPS 63526 WITH SCORE 63603.625
AT ITER 1908 NEW BEST:: SOT 147200 SOS 77603 HAS SOPS 77603 HAS SOUS 63504 HAS SOUPS 63504 WITH SCORE 63581.603
AT ITER 1912 NEW BEST:: SOT 147302 SOS 77651 HAS SOPS 77651 HAS SOUS 63477 HAS SOUPS 63477 WITH SCORE 63554.651
AT ITER 1924 NEW BEST:: SOT 147273 SOS 77622 HAS SOPS 77622 HAS SOUS 63448 HAS SOUPS 63448 WITH SCORE 63525.622
AT ITER 1927 NEW BEST:: SOT 147274 SOS 77419 HAS SOPS 77419 HAS SOUS 63376 HAS SOUPS 63376 WITH SCORE 63453.419
AT ITER 1930 NEW BEST:: SOT 147279 SOS 77276 HAS SOPS 77276 HAS SOUS 63255 HAS SOUPS 63255 WITH SCORE 63332.276
AT ITER 1931 NEW BEST:: SOT 147169 SOS 77214 HAS SOPS 77214 HAS SOUS 63245 HAS SOUPS 63245 WITH SCORE 63322.214
AT ITER 1937 NEW BEST:: SOT 147074 SOS 77507 HAS SOPS 77507 HAS SOUS 63141 HAS SOUPS 63141 WITH SCORE 63218.507
AT ITER 1939 NEW BEST:: SOT 146960 SOS 77393 HAS SOPS 77393 HAS SOUS 63027 HAS SOUPS 63027 WITH SCORE 63104.393
AT ITER 1947 NEW BEST:: SOT 146828 SOS 77261 HAS SOPS 77261 HAS SOUS 62895 HAS SOUPS 62895 WITH SCORE 62972.261
AT ITER 1954 NEW BEST:: SOT 146945 SOS 77146 HAS SOPS 77146 HAS SOUS 62761 HAS SOUPS 62761 WITH SCORE 62838.146
AT ITER 1961 NEW BEST:: SOT 146704 SOS 76855 HAS SOPS 76855 HAS SOUS 62470 HAS SOUPS 62470 WITH SCORE 62546.855
AT ITER 1966 NEW BEST:: SOT 146697 SOS 76841 HAS SOPS 76841 HAS SOUS 62463 HAS SOUPS 62463 WITH SCORE 62539.841
AT ITER 1969 NEW BEST:: SOT 146714 SOS 77003 HAS SOPS 77003 HAS SOUS 62420 HAS SOUPS 62420 WITH SCORE 62497.003
AT ITER 1984 NEW BEST:: SOT 146714 SOS 77027 HAS SOPS 77027 HAS SOUS 62382 HAS SOUPS 62382 WITH SCORE 62459.027
AT ITER 1991 NEW BEST:: SOT 146645 SOS 76888 HAS SOPS 76888 HAS SOUS 62360 HAS SOUPS 62360 WITH SCORE 62436.888
AT ITER 1997 NEW BEST:: SOT 146667 SOS 76854 HAS SOPS 76854 HAS SOUS 62284 HAS SOUPS 62284 WITH SCORE 62360.854
AT ITER 1998 NEW BEST:: SOT 146713 SOS 76862 HAS SOPS 76862 HAS SOUS 62283 HAS SOUPS 62283 WITH SCORE 62359.862
AT ITER 2006 NEW BEST:: SOT 146635 SOS 76784 HAS SOPS 76784 HAS SOUS 62205 HAS SOUPS 62205 WITH SCORE 62281.784
AT ITER 2035 NEW BEST:: SOT 146641 SOS 76778 HAS SOPS 76778 HAS SOUS 62178 HAS SOUPS 62178 WITH SCORE 62254.778
AT ITER 2038 NEW BEST:: SOT 146641 SOS 76450 HAS SOPS 76450 HAS SOUS 62115 HAS SOUPS 62115 WITH SCORE 62191.45
AT ITER 2039 NEW BEST:: SOT 146635 SOS 76438 HAS SOPS 76438 HAS SOUS 62103 HAS SOUPS 62103 WITH SCORE 62179.438
AT ITER 2044 NEW BEST:: SOT 146615 SOS 76428 HAS SOPS 76428 HAS SOUS 62093 HAS SOUPS 62093 WITH SCORE 62169.428
AT ITER 2046 NEW BEST:: SOT 146444 SOS 76238 HAS SOPS 76238 HAS SOUS 61903 HAS SOUPS 61903 WITH SCORE 61979.238
AT ITER 2052 NEW BEST:: SOT 146430 SOS 76196 HAS SOPS 76196 HAS SOUS 61875 HAS SOUPS 61875 WITH SCORE 61951.196
AT ITER 2068 NEW BEST:: SOT 146349 SOS 76124 HAS SOPS 76124 HAS SOUS 61809 HAS SOUPS 61809 WITH SCORE 61885.124
AT ITER 2079 NEW BEST:: SOT 146317 SOS 76092 HAS SOPS 76092 HAS SOUS 61777 HAS SOUPS 61777 WITH SCORE 61853.092
AT ITER 2081 NEW BEST:: SOT 146314 SOS 76090 HAS SOPS 76090 HAS SOUS 61774 HAS SOUPS 61774 WITH SCORE 61850.09
AT ITER 2086 NEW BEST:: SOT 146294 SOS 76070 HAS SOPS 76070 HAS SOUS 61752 HAS SOUPS 61752 WITH SCORE 61828.07
AT ITER 2093 NEW BEST:: SOT 146217 SOS 75930 HAS SOPS 75930 HAS SOUS 61612 HAS SOUPS 61612 WITH SCORE 61687.93
AT ITER 2104 NEW BEST:: SOT 146191 SOS 75904 HAS SOPS 75904 HAS SOUS 61586 HAS SOUPS 61586 WITH SCORE 61661.904
AT ITER 2105 NEW BEST:: SOT 146049 SOS 75777 HAS SOPS 75777 HAS SOUS 61279 HAS SOUPS 61279 WITH SCORE 61354.777
AT ITER 2118 NEW BEST:: SOT 146011 SOS 75525 HAS SOPS 75525 HAS SOUS 61129 HAS SOUPS 61129 WITH SCORE 61204.525
AT ITER 2121 NEW BEST:: SOT 146032 SOS 75528 HAS SOPS 75528 HAS SOUS 61017 HAS SOUPS 61017 WITH SCORE 61092.528
AT ITER 2123 NEW BEST:: SOT 145834 SOS 75302 HAS SOPS 75302 HAS SOUS 60913 HAS SOUPS 60913 WITH SCORE 60988.302
AT ITER 2124 NEW BEST:: SOT 145834 SOS 75253 HAS SOPS 75253 HAS SOUS 60864 HAS SOUPS 60864 WITH SCORE 60939.253
AT ITER 2153 NEW BEST:: SOT 145553 SOS 74940 HAS SOPS 74940 HAS SOUS 60551 HAS SOUPS 60551 WITH SCORE 60625.94
AT ITER 2154 NEW BEST:: SOT 145553 SOS 74917 HAS SOPS 74917 HAS SOUS 60482 HAS SOUPS 60482 WITH SCORE 60556.917
AT ITER 2161 NEW BEST:: SOT 145561 SOS 74909 HAS SOPS 74909 HAS SOUS 60474 HAS SOUPS 60474 WITH SCORE 60548.909
AT ITER 2162 NEW BEST:: SOT 145582 SOS 74961 HAS SOPS 74961 HAS SOUS 60419 HAS SOUPS 60419 WITH SCORE 60493.961
AT ITER 2166 NEW BEST:: SOT 145535 SOS 74947 HAS SOPS 74947 HAS SOUS 60415 HAS SOUPS 60415 WITH SCORE 60489.947
AT ITER 2183 NEW BEST:: SOT 145551 SOS 74940 HAS SOPS 74940 HAS SOUS 60408 HAS SOUPS 60408 WITH SCORE 60482.94
AT ITER 2197 NEW BEST:: SOT 145499 SOS 74888 HAS SOPS 74888 HAS SOUS 60356 HAS SOUPS 60356 WITH SCORE 60430.888
AT ITER 2204 NEW BEST:: SOT 145460 SOS 74825 HAS SOPS 74825 HAS SOUS 60354 HAS SOUPS 60354 WITH SCORE 60428.825
AT ITER 2229 NEW BEST:: SOT 145223 SOS 74162 HAS SOPS 74162 HAS SOUS 59998 HAS SOUPS 59998 WITH SCORE 60072.162
AT ITER 2238 NEW BEST:: SOT 145223 SOS 74162 HAS SOPS 74162 HAS SOUS 59988 HAS SOUPS 59988 WITH SCORE 60062.162
AT ITER 2240 NEW BEST:: SOT 145221 SOS 74148 HAS SOPS 74148 HAS SOUS 59974 HAS SOUPS 59974 WITH SCORE 60048.148
AT ITER 2242 NEW BEST:: SOT 145181 SOS 74068 HAS SOPS 74068 HAS SOUS 59880 HAS SOUPS 59880 WITH SCORE 59954.068
AT ITER 2246 NEW BEST:: SOT 145170 SOS 74057 HAS SOPS 74057 HAS SOUS 59869 HAS SOUPS 59869 WITH SCORE 59943.057
AT ITER 2283 NEW BEST:: SOT 145058 SOS 73813 HAS SOPS 73813 HAS SOUS 59625 HAS SOUPS 59625 WITH SCORE 59698.813
AT ITER 2285 NEW BEST:: SOT 145058 SOS 73813 HAS SOPS 73813 HAS SOUS 59616 HAS SOUPS 59616 WITH SCORE 59689.813
AT ITER 2293 NEW BEST:: SOT 145049 SOS 73798 HAS SOPS 73798 HAS SOUS 59601 HAS SOUPS 59601 WITH SCORE 59674.798
AT ITER 2295 NEW BEST:: SOT 145019 SOS 73756 HAS SOPS 73756 HAS SOUS 59559 HAS SOUPS 59559 WITH SCORE 59632.756
AT ITER 2309 NEW BEST:: SOT 145019 SOS 73726 HAS SOPS 73726 HAS SOUS 59554 HAS SOUPS 59554 WITH SCORE 59627.726
AT ITER 2335 NEW BEST:: SOT 145014 SOS 73765 HAS SOPS 73765 HAS SOUS 59511 HAS SOUPS 59511 WITH SCORE 59584.765
AT ITER 2339 NEW BEST:: SOT 144929 SOS 73680 HAS SOPS 73680 HAS SOUS 59426 HAS SOUPS 59426 WITH SCORE 59499.68
AT ITER 2341 NEW BEST:: SOT 144944 SOS 73614 HAS SOPS 73614 HAS SOUS 59398 HAS SOUPS 59398 WITH SCORE 59471.614
AT ITER 2365 NEW BEST:: SOT 144936 SOS 73587 HAS SOPS 73587 HAS SOUS 59395 HAS SOUPS 59395 WITH SCORE 59468.587
AT ITER 2369 NEW BEST:: SOT 144936 SOS 73581 HAS SOPS 73581 HAS SOUS 59393 HAS SOUPS 59393 WITH SCORE 59466.581
AT ITER 2372 NEW BEST:: SOT 144934 SOS 73580 HAS SOPS 73580 HAS SOUS 59392 HAS SOUPS 59392 WITH SCORE 59465.58
AT ITER 2377 NEW BEST:: SOT 144930 SOS 73580 HAS SOPS 73580 HAS SOUS 59373 HAS SOUPS 59373 WITH SCORE 59446.58
AT ITER 2379 NEW BEST:: SOT 144930 SOS 73538 HAS SOPS 73538 HAS SOUS 59336 HAS SOUPS 59336 WITH SCORE 59409.538
AT ITER 2383 NEW BEST:: SOT 144789 SOS 73395 HAS SOPS 73395 HAS SOUS 59193 HAS SOUPS 59193 WITH SCORE 59266.395
AT ITER 2390 NEW BEST:: SOT 144873 SOS 73520 HAS SOPS 73520 HAS SOUS 59185 HAS SOUPS 59185 WITH SCORE 59258.52
AT ITER 2391 NEW BEST:: SOT 144863 SOS 73458 HAS SOPS 73458 HAS SOUS 59123 HAS SOUPS 59123 WITH SCORE 59196.458
AT ITER 2398 NEW BEST:: SOT 144863 SOS 73417 HAS SOPS 73417 HAS SOUS 59082 HAS SOUPS 59082 WITH SCORE 59155.417
AT ITER 2410 NEW BEST:: SOT 144808 SOS 73362 HAS SOPS 73362 HAS SOUS 58986 HAS SOUPS 58986 WITH SCORE 59059.362
AT ITER 2420 NEW BEST:: SOT 144779 SOS 73333 HAS SOPS 73333 HAS SOUS 58957 HAS SOUPS 58957 WITH SCORE 59030.333
AT ITER 2437 NEW BEST:: SOT 144762 SOS 73316 HAS SOPS 73316 HAS SOUS 58940 HAS SOUPS 58940 WITH SCORE 59013.316
AT ITER 2438 NEW BEST:: SOT 144739 SOS 73290 HAS SOPS 73290 HAS SOUS 58914 HAS SOUPS 58914 WITH SCORE 58987.29
AT ITER 2442 NEW BEST:: SOT 144722 SOS 73273 HAS SOPS 73273 HAS SOUS 58897 HAS SOUPS 58897 WITH SCORE 58970.273
AT ITER 2446 NEW BEST:: SOT 144771 SOS 72981 HAS SOPS 72981 HAS SOUS 58821 HAS SOUPS 58821 WITH SCORE 58893.981
AT ITER 2455 NEW BEST:: SOT 144726 SOS 72933 HAS SOPS 72933 HAS SOUS 58773 HAS SOUPS 58773 WITH SCORE 58845.933
AT ITER 2462 NEW BEST:: SOT 144840 SOS 72922 HAS SOPS 72922 HAS SOUS 58762 HAS SOUPS 58762 WITH SCORE 58834.922
AT ITER 2464 NEW BEST:: SOT 144741 SOS 72823 HAS SOPS 72823 HAS SOUS 58624 HAS SOUPS 58624 WITH SCORE 58696.823
AT ITER 2473 NEW BEST:: SOT 144542 SOS 72624 HAS SOPS 72624 HAS SOUS 58425 HAS SOUPS 58425 WITH SCORE 58497.624
AT ITER 2476 NEW BEST:: SOT 144468 SOS 72298 HAS SOPS 72298 HAS SOUS 58267 HAS SOUPS 58267 WITH SCORE 58339.298
AT ITER 2483 NEW BEST:: SOT 144376 SOS 72206 HAS SOPS 72206 HAS SOUS 58174 HAS SOUPS 58174 WITH SCORE 58246.206
AT ITER 2494 NEW BEST:: SOT 144376 SOS 72228 HAS SOPS 72228 HAS SOUS 58170 HAS SOUPS 58170 WITH SCORE 58242.228
AT ITER 2545 NEW BEST:: SOT 144356 SOS 72208 HAS SOPS 72208 HAS SOUS 58150 HAS SOUPS 58150 WITH SCORE 58222.208
AT ITER 2550 NEW BEST:: SOT 144239 SOS 71917 HAS SOPS 71917 HAS SOUS 58138 HAS SOUPS 58138 WITH SCORE 58209.917
AT ITER 2558 NEW BEST:: SOT 144239 SOS 71650 HAS SOPS 71650 HAS SOUS 58134 HAS SOUPS 58134 WITH SCORE 58205.65
AT ITER 2564 NEW BEST:: SOT 144189 SOS 71500 HAS SOPS 71500 HAS SOUS 58034 HAS SOUPS 58034 WITH SCORE 58105.5
AT ITER 2580 NEW BEST:: SOT 143887 SOS 71224 HAS SOPS 71224 HAS SOUS 57764 HAS SOUPS 57764 WITH SCORE 57835.224
AT ITER 2582 NEW BEST:: SOT 143883 SOS 71220 HAS SOPS 71220 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57831.22
AT ITER 2589 NEW BEST:: SOT 143763 SOS 71070 HAS SOPS 71070 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57681.07
AT ITER 2596 NEW BEST:: SOT 143757 SOS 71062 HAS SOPS 71062 HAS SOUS 57600 HAS SOUPS 57600 WITH SCORE 57671.062
AT ITER 2601 NEW BEST:: SOT 143674 SOS 70916 HAS SOPS 70916 HAS SOUS 57458 HAS SOUPS 57458 WITH SCORE 57528.916
AT ITER 2608 NEW BEST:: SOT 143674 SOS 70928 HAS SOPS 70928 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57525.928
AT ITER 2613 NEW BEST:: SOT 143674 SOS 70917 HAS SOPS 70917 HAS SOUS 57433 HAS SOUPS 57433 WITH SCORE 57503.917
AT ITER 2614 NEW BEST:: SOT 143572 SOS 70815 HAS SOPS 70815 HAS SOUS 57331 HAS SOUPS 57331 WITH SCORE 57401.815
AT ITER 2617 NEW BEST:: SOT 143480 SOS 70703 HAS SOPS 70703 HAS SOUS 57259 HAS SOUPS 57259 WITH SCORE 57329.703
AT ITER 2624 NEW BEST:: SOT 143221 SOS 70544 HAS SOPS 70544 HAS SOUS 57048 HAS SOUPS 57048 WITH SCORE 57118.544
AT ITER 2628 NEW BEST:: SOT 143193 SOS 70505 HAS SOPS 70505 HAS SOUS 57009 HAS SOUPS 57009 WITH SCORE 57079.505
AT ITER 2635 NEW BEST:: SOT 143199 SOS 70534 HAS SOPS 70534 HAS SOUS 57008 HAS SOUPS 57008 WITH SCORE 57078.534
AT ITER 2647 NEW BEST:: SOT 143169 SOS 70502 HAS SOPS 70502 HAS SOUS 56972 HAS SOUPS 56972 WITH SCORE 57042.502
AT ITER 2660 NEW BEST:: SOT 143143 SOS 70383 HAS SOPS 70383 HAS SOUS 56867 HAS SOUPS 56867 WITH SCORE 56937.383
AT ITER 2674 NEW BEST:: SOT 143095 SOS 70287 HAS SOPS 70287 HAS SOUS 56723 HAS SOUPS 56723 WITH SCORE 56793.287
AT ITER 2687 NEW BEST:: SOT 143049 SOS 70241 HAS SOPS 70241 HAS SOUS 56677 HAS SOUPS 56677 WITH SCORE 56747.241
AT ITER 2688 NEW BEST:: SOT 143091 SOS 70214 HAS SOPS 70214 HAS SOUS 56650 HAS SOUPS 56650 WITH SCORE 56720.214
AT ITER 2697 NEW BEST:: SOT 143015 SOS 70196 HAS SOPS 70196 HAS SOUS 56632 HAS SOUPS 56632 WITH SCORE 56702.196
AT ITER 2698 NEW BEST:: SOT 142994 SOS 70177 HAS SOPS 70177 HAS SOUS 56613 HAS SOUPS 56613 WITH SCORE 56683.177
AT ITER 2701 NEW BEST:: SOT 142994 SOS 70138 HAS SOPS 70138 HAS SOUS 56574 HAS SOUPS 56574 WITH SCORE 56644.138
AT ITER 2702 NEW BEST:: SOT 143097 SOS 69944 HAS SOPS 69944 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56624.944
AT ITER 2707 NEW BEST:: SOT 143095 SOS 69940 HAS SOPS 69940 HAS SOUS 56551 HAS SOUPS 56551 WITH SCORE 56620.94
AT ITER 2720 NEW BEST:: SOT 143095 SOS 69934 HAS SOPS 69934 HAS SOUS 56539 HAS SOUPS 56539 WITH SCORE 56608.934
AT ITER 2733 NEW BEST:: SOT 142883 SOS 69782 HAS SOPS 69782 HAS SOUS 56148 HAS SOUPS 56148 WITH SCORE 56217.782
AT ITER 2742 NEW BEST:: SOT 142828 SOS 69727 HAS SOPS 69727 HAS SOUS 56127 HAS SOUPS 56127 WITH SCORE 56196.727
AT ITER 2745 NEW BEST:: SOT 142624 SOS 69523 HAS SOPS 69523 HAS SOUS 55923 HAS SOUPS 55923 WITH SCORE 55992.523
AT ITER 2746 NEW BEST:: SOT 142424 SOS 69226 HAS SOPS 69226 HAS SOUS 55626 HAS SOUPS 55626 WITH SCORE 55695.226
AT ITER 2748 NEW BEST:: SOT 142419 SOS 69183 HAS SOPS 69183 HAS SOUS 55530 HAS SOUPS 55530 WITH SCORE 55599.183
AT ITER 2750 NEW BEST:: SOT 142405 SOS 69169 HAS SOPS 69169 HAS SOUS 55516 HAS SOUPS 55516 WITH SCORE 55585.169
AT ITER 2760 NEW BEST:: SOT 142394 SOS 69115 HAS SOPS 69115 HAS SOUS 55476 HAS SOUPS 55476 WITH SCORE 55545.115
AT ITER 2763 NEW BEST:: SOT 142394 SOS 69014 HAS SOPS 69014 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55343.014
AT ITER 2765 NEW BEST:: SOT 142278 SOS 68832 HAS SOPS 68832 HAS SOUS 55184 HAS SOUPS 55184 WITH SCORE 55252.832
AT ITER 2788 NEW BEST:: SOT 142296 SOS 68892 HAS SOPS 68892 HAS SOUS 55173 HAS SOUPS 55173 WITH SCORE 55241.892
AT ITER 2792 NEW BEST:: SOT 142392 SOS 68668 HAS SOPS 68668 HAS SOUS 55157 HAS SOUPS 55157 WITH SCORE 55225.668
AT ITER 2796 NEW BEST:: SOT 142392 SOS 68590 HAS SOPS 68590 HAS SOUS 55157 HAS SOUPS 55157 WITH SCORE 55225.59
AT ITER 2800 NEW BEST:: SOT 142386 SOS 68581 HAS SOPS 68581 HAS SOUS 55148 HAS SOUPS 55148 WITH SCORE 55216.581
AT ITER 2804 NEW BEST:: SOT 142310 SOS 68436 HAS SOPS 68436 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55140.436
AT ITER 2821 NEW BEST:: SOT 142300 SOS 68423 HAS SOPS 68423 HAS SOUS 55059 HAS SOUPS 55059 WITH SCORE 55127.423
AT ITER 2836 NEW BEST:: SOT 142340 SOS 68336 HAS SOPS 68336 HAS SOUS 54974 HAS SOUPS 54974 WITH SCORE 55042.336
AT ITER 2844 NEW BEST:: SOT 142331 SOS 68180 HAS SOPS 68180 HAS SOUS 54749 HAS SOUPS 54749 WITH SCORE 54817.18
AT ITER 2875 NEW BEST:: SOT 142308 SOS 68157 HAS SOPS 68157 HAS SOUS 54729 HAS SOUPS 54729 WITH SCORE 54797.157
AT ITER 2884 NEW BEST:: SOT 142298 SOS 68110 HAS SOPS 68110 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54785.11
AT ITER 2886 NEW BEST:: SOT 142272 SOS 67968 HAS SOPS 67968 HAS SOUS 54619 HAS SOUPS 54619 WITH SCORE 54686.968
AT ITER 2902 NEW BEST:: SOT 142258 SOS 67954 HAS SOPS 67954 HAS SOUS 54602 HAS SOUPS 54602 WITH SCORE 54669.954
AT ITER 2918 NEW BEST:: SOT 142228 SOS 67950 HAS SOPS 67950 HAS SOUS 54572 HAS SOUPS 54572 WITH SCORE 54639.95
AT ITER 2922 NEW BEST:: SOT 142115 SOS 67837 HAS SOPS 67837 HAS SOUS 54459 HAS SOUPS 54459 WITH SCORE 54526.837
AT ITER 2933 NEW BEST:: SOT 142072 SOS 67776 HAS SOPS 67776 HAS SOUS 54400 HAS SOUPS 54400 WITH SCORE 54467.776
AT ITER 2949 NEW BEST:: SOT 141975 SOS 67625 HAS SOPS 67625 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54342.625
AT ITER 2951 NEW BEST:: SOT 141918 SOS 67568 HAS SOPS 67568 HAS SOUS 54218 HAS SOUPS 54218 WITH SCORE 54285.568
AT ITER 2974 NEW BEST:: SOT 141890 SOS 67511 HAS SOPS 67511 HAS SOUS 54161 HAS SOUPS 54161 WITH SCORE 54228.511
AT ITER 2981 NEW BEST:: SOT 141880 SOS 67491 HAS SOPS 67491 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54208.491
AT ITER 2987 NEW BEST:: SOT 141880 SOS 67468 HAS SOPS 67468 HAS SOUS 54140 HAS SOUPS 54140 WITH SCORE 54207.468
AT ITER 2995 NEW BEST:: SOT 141862 SOS 67426 HAS SOPS 67426 HAS SOUS 54110 HAS SOUPS 54110 WITH SCORE 54177.426
AT ITER 3015 NEW BEST:: SOT 141912 SOS 67304 HAS SOPS 67304 HAS SOUS 54042 HAS SOUPS 54042 WITH SCORE 54109.304
AT ITER 3031 NEW BEST:: SOT 141884 SOS 67264 HAS SOPS 67264 HAS SOUS 54010 HAS SOUPS 54010 WITH SCORE 54077.264
AT ITER 3032 NEW BEST:: SOT 141881 SOS 67259 HAS SOPS 67259 HAS SOUS 54006 HAS SOUPS 54006 WITH SCORE 54073.259
AT ITER 3043 NEW BEST:: SOT 141899 SOS 67268 HAS SOPS 67268 HAS SOUS 53942 HAS SOUPS 53942 WITH SCORE 54009.268
AT ITER 3047 NEW BEST:: SOT 141808 SOS 67177 HAS SOPS 67177 HAS SOUS 53851 HAS SOUPS 53851 WITH SCORE 53918.177
AT ITER 3060 NEW BEST:: SOT 141779 SOS 67148 HAS SOPS 67148 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53883.148
AT ITER 3065 NEW BEST:: SOT 141709 SOS 67055 HAS SOPS 67055 HAS SOUS 53762 HAS SOUPS 53762 WITH SCORE 53829.055
AT ITER 3071 NEW BEST:: SOT 141720 SOS 66856 HAS SOPS 66856 HAS SOUS 53563 HAS SOUPS 53563 WITH SCORE 53629.856
AT ITER 3104 NEW BEST:: SOT 141720 SOS 66854 HAS SOPS 66854 HAS SOUS 53561 HAS SOUPS 53561 WITH SCORE 53627.854
AT ITER 3115 NEW BEST:: SOT 141596 SOS 66699 HAS SOPS 66699 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53442.699
AT ITER 3122 NEW BEST:: SOT 141567 SOS 66670 HAS SOPS 66670 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53413.67
AT ITER 3125 NEW BEST:: SOT 141561 SOS 66664 HAS SOPS 66664 HAS SOUS 53341 HAS SOUPS 53341 WITH SCORE 53407.664
AT ITER 3136 NEW BEST:: SOT 141561 SOS 66619 HAS SOPS 66619 HAS SOUS 53311 HAS SOUPS 53311 WITH SCORE 53377.619
AT ITER 3138 NEW BEST:: SOT 141466 SOS 66434 HAS SOPS 66434 HAS SOUS 53126 HAS SOUPS 53126 WITH SCORE 53192.434
AT ITER 3174 NEW BEST:: SOT 141474 SOS 66450 HAS SOPS 66450 HAS SOUS 53066 HAS SOUPS 53066 WITH SCORE 53132.45
AT ITER 3198 NEW BEST:: SOT 141387 SOS 66314 HAS SOPS 66314 HAS SOUS 52939 HAS SOUPS 52939 WITH SCORE 53005.314
AT ITER 3201 NEW BEST:: SOT 141380 SOS 66305 HAS SOPS 66305 HAS SOUS 52930 HAS SOUPS 52930 WITH SCORE 52996.305
AT ITER 3208 NEW BEST:: SOT 141381 SOS 66328 HAS SOPS 66328 HAS SOUS 52920 HAS SOUPS 52920 WITH SCORE 52986.328
AT ITER 3221 NEW BEST:: SOT 141273 SOS 66198 HAS SOPS 66198 HAS SOUS 52790 HAS SOUPS 52790 WITH SCORE 52856.198
AT ITER 3222 NEW BEST:: SOT 141229 SOS 66157 HAS SOPS 66157 HAS SOUS 52656 HAS SOUPS 52656 WITH SCORE 52722.157
AT ITER 3240 NEW BEST:: SOT 141187 SOS 66152 HAS SOPS 66152 HAS SOUS 52631 HAS SOUPS 52631 WITH SCORE 52697.152
AT ITER 3241 NEW BEST:: SOT 141160 SOS 66136 HAS SOPS 66136 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52681.136
AT ITER 3245 NEW BEST:: SOT 141160 SOS 66166 HAS SOPS 66166 HAS SOUS 52600 HAS SOUPS 52600 WITH SCORE 52666.166
AT ITER 3250 NEW BEST:: SOT 141116 SOS 66098 HAS SOPS 66098 HAS SOUS 52524 HAS SOUPS 52524 WITH SCORE 52590.098
AT ITER 3265 NEW BEST:: SOT 141128 SOS 66081 HAS SOPS 66081 HAS SOUS 52509 HAS SOUPS 52509 WITH SCORE 52575.081
AT ITER 3273 NEW BEST:: SOT 141117 SOS 66030 HAS SOPS 66030 HAS SOUS 52443 HAS SOUPS 52443 WITH SCORE 52509.03
AT ITER 3283 NEW BEST:: SOT 141125 SOS 66021 HAS SOPS 66021 HAS SOUS 52408 HAS SOUPS 52408 WITH SCORE 52474.021
AT ITER 3289 NEW BEST:: SOT 141123 SOS 66019 HAS SOPS 66019 HAS SOUS 52406 HAS SOUPS 52406 WITH SCORE 52472.019
AT ITER 3301 NEW BEST:: SOT 141123 SOS 66009 HAS SOPS 66009 HAS SOUS 52396 HAS SOUPS 52396 WITH SCORE 52462.009
AT ITER 3310 NEW BEST:: SOT 141123 SOS 65985 HAS SOPS 65985 HAS SOUS 52372 HAS SOUPS 52372 WITH SCORE 52437.985
AT ITER 3316 NEW BEST:: SOT 141020 SOS 65676 HAS SOPS 65676 HAS SOUS 52086 HAS SOUPS 52086 WITH SCORE 52151.676
AT ITER 3321 NEW BEST:: SOT 141056 SOS 65633 HAS SOPS 65633 HAS SOUS 52045 HAS SOUPS 52045 WITH SCORE 52110.633
AT ITER 3344 NEW BEST:: SOT 140970 SOS 65521 HAS SOPS 65521 HAS SOUS 51933 HAS SOUPS 51933 WITH SCORE 51998.521
AT ITER 3362 NEW BEST:: SOT 140988 SOS 65542 HAS SOPS 65542 HAS SOUS 51930 HAS SOUPS 51930 WITH SCORE 51995.542
AT ITER 3364 NEW BEST:: SOT 140891 SOS 65445 HAS SOPS 65445 HAS SOUS 51833 HAS SOUPS 51833 WITH SCORE 51898.445
AT ITER 3373 NEW BEST:: SOT 140875 SOS 65413 HAS SOPS 65413 HAS SOUS 51769 HAS SOUPS 51769 WITH SCORE 51834.413
AT ITER 3383 NEW BEST:: SOT 140825 SOS 65237 HAS SOPS 65237 HAS SOUS 51635 HAS SOUPS 51635 WITH SCORE 51700.237
AT ITER 3395 NEW BEST:: SOT 140782 SOS 65170 HAS SOPS 65170 HAS SOUS 51568 HAS SOUPS 51568 WITH SCORE 51633.17
AT ITER 3401 NEW BEST:: SOT 140787 SOS 65307 HAS SOPS 65307 HAS SOUS 51564 HAS SOUPS 51564 WITH SCORE 51629.307
AT ITER 3404 NEW BEST:: SOT 140811 SOS 65342 HAS SOPS 65342 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51602.342
AT ITER 3405 NEW BEST:: SOT 140833 SOS 65364 HAS SOPS 65364 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51572.364
AT ITER 3417 NEW BEST:: SOT 140733 SOS 65264 HAS SOPS 65264 HAS SOUS 51439 HAS SOUPS 51439 WITH SCORE 51504.264
AT ITER 3435 NEW BEST:: SOT 140660 SOS 65191 HAS SOPS 65191 HAS SOUS 51366 HAS SOUPS 51366 WITH SCORE 51431.191
AT ITER 3440 NEW BEST:: SOT 140632 SOS 65157 HAS SOPS 65157 HAS SOUS 51335 HAS SOUPS 51335 WITH SCORE 51400.157
AT ITER 3460 NEW BEST:: SOT 140614 SOS 64969 HAS SOPS 64969 HAS SOUS 51283 HAS SOUPS 51283 WITH SCORE 51347.969
AT ITER 3466 NEW BEST:: SOT 140582 SOS 64921 HAS SOPS 64921 HAS SOUS 51238 HAS SOUPS 51238 WITH SCORE 51302.921
AT ITER 3483 NEW BEST:: SOT 140506 SOS 64757 HAS SOPS 64757 HAS SOUS 51074 HAS SOUPS 51074 WITH SCORE 51138.757
AT ITER 3487 NEW BEST:: SOT 140445 SOS 64696 HAS SOPS 64696 HAS SOUS 51013 HAS SOUPS 51013 WITH SCORE 51077.696
AT ITER 3506 NEW BEST:: SOT 140395 SOS 64592 HAS SOPS 64592 HAS SOUS 50885 HAS SOUPS 50885 WITH SCORE 50949.592
AT ITER 3514 NEW BEST:: SOT 140407 SOS 64544 HAS SOPS 64544 HAS SOUS 50860 HAS SOUPS 50860 WITH SCORE 50924.544
AT ITER 3518 NEW BEST:: SOT 140511 SOS 64578 HAS SOPS 64578 HAS SOUS 50858 HAS SOUPS 50858 WITH SCORE 50922.578
AT ITER 3527 NEW BEST:: SOT 140509 SOS 64576 HAS SOPS 64576 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50920.576
AT ITER 3531 NEW BEST:: SOT 140470 SOS 64556 HAS SOPS 64556 HAS SOUS 50779 HAS SOUPS 50779 WITH SCORE 50843.556
AT ITER 3566 NEW BEST:: SOT 140470 SOS 64556 HAS SOPS 64556 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50839.556
AT ITER 3568 NEW BEST:: SOT 140448 SOS 64478 HAS SOPS 64478 HAS SOUS 50700 HAS SOUPS 50700 WITH SCORE 50764.478
AT ITER 3583 NEW BEST:: SOT 140456 SOS 64410 HAS SOPS 64410 HAS SOUS 50632 HAS SOUPS 50632 WITH SCORE 50696.41
AT ITER 3587 NEW BEST:: SOT 140392 SOS 64346 HAS SOPS 64346 HAS SOUS 50585 HAS SOUPS 50585 WITH SCORE 50649.346
AT ITER 3593 NEW BEST:: SOT 140417 SOS 64333 HAS SOPS 64333 HAS SOUS 50566 HAS SOUPS 50566 WITH SCORE 50630.333
AT ITER 3609 NEW BEST:: SOT 140223 SOS 64139 HAS SOPS 64139 HAS SOUS 50343 HAS SOUPS 50343 WITH SCORE 50407.139
AT ITER 3631 NEW BEST:: SOT 140209 SOS 64050 HAS SOPS 64050 HAS SOUS 50329 HAS SOUPS 50329 WITH SCORE 50393.05
AT ITER 3643 NEW BEST:: SOT 140209 SOS 64008 HAS SOPS 64008 HAS SOUS 50287 HAS SOUPS 50287 WITH SCORE 50351.008
AT ITER 3664 NEW BEST:: SOT 140187 SOS 63986 HAS SOPS 63986 HAS SOUS 50265 HAS SOUPS 50265 WITH SCORE 50328.986
AT ITER 3689 NEW BEST:: SOT 140119 SOS 63918 HAS SOPS 63918 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50260.918
AT ITER 3711 NEW BEST:: SOT 140119 SOS 63870 HAS SOPS 63870 HAS SOUS 50133 HAS SOUPS 50133 WITH SCORE 50196.87
AT ITER 3714 NEW BEST:: SOT 140117 SOS 63866 HAS SOPS 63866 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50192.866
AT ITER 3717 NEW BEST:: SOT 140099 SOS 63848 HAS SOPS 63848 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50174.848
AT ITER 3723 NEW BEST:: SOT 140084 SOS 63848 HAS SOPS 63848 HAS SOUS 50102 HAS SOUPS 50102 WITH SCORE 50165.848
AT ITER 3747 NEW BEST:: SOT 140010 SOS 63827 HAS SOPS 63827 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50144.827
AT ITER 3776 NEW BEST:: SOT 139795 SOS 63567 HAS SOPS 63567 HAS SOUS 49821 HAS SOUPS 49821 WITH SCORE 49884.567
AT ITER 3778 NEW BEST:: SOT 139787 SOS 63557 HAS SOPS 63557 HAS SOUS 49811 HAS SOUPS 49811 WITH SCORE 49874.557
AT ITER 3787 NEW BEST:: SOT 139730 SOS 63308 HAS SOPS 63308 HAS SOUS 49679 HAS SOUPS 49679 WITH SCORE 49742.308
AT ITER 3804 NEW BEST:: SOT 139668 SOS 63253 HAS SOPS 63253 HAS SOUS 49624 HAS SOUPS 49624 WITH SCORE 49687.253
AT ITER 3808 NEW BEST:: SOT 139647 SOS 63211 HAS SOPS 63211 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49666.211
AT ITER 3813 NEW BEST:: SOT 139537 SOS 63101 HAS SOPS 63101 HAS SOUS 49551 HAS SOUPS 49551 WITH SCORE 49614.101
AT ITER 3821 NEW BEST:: SOT 139433 SOS 62997 HAS SOPS 62997 HAS SOUS 49479 HAS SOUPS 49479 WITH SCORE 49541.997
AT ITER 3836 NEW BEST:: SOT 139390 SOS 62796 HAS SOPS 62796 HAS SOUS 49447 HAS SOUPS 49447 WITH SCORE 49509.796
AT ITER 3839 NEW BEST:: SOT 139382 SOS 62764 HAS SOPS 62764 HAS SOUS 49380 HAS SOUPS 49380 WITH SCORE 49442.764
AT ITER 3850 NEW BEST:: SOT 139342 SOS 62649 HAS SOPS 62649 HAS SOUS 49290 HAS SOUPS 49290 WITH SCORE 49352.649
AT ITER 3851 NEW BEST:: SOT 139314 SOS 62596 HAS SOPS 62596 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49330.596
AT ITER 3859 NEW BEST:: SOT 139302 SOS 62568 HAS SOPS 62568 HAS SOUS 49256 HAS SOUPS 49256 WITH SCORE 49318.568
AT ITER 3863 NEW BEST:: SOT 139302 SOS 62564 HAS SOPS 62564 HAS SOUS 49252 HAS SOUPS 49252 WITH SCORE 49314.564
AT ITER 3877 NEW BEST:: SOT 139314 SOS 62518 HAS SOPS 62518 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49310.518
AT ITER 3891 NEW BEST:: SOT 139309 SOS 62523 HAS SOPS 62523 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49305.523
AT ITER 3909 NEW BEST:: SOT 139249 SOS 62499 HAS SOPS 62499 HAS SOUS 49231 HAS SOUPS 49231 WITH SCORE 49293.499
AT ITER 3922 NEW BEST:: SOT 139249 SOS 62493 HAS SOPS 62493 HAS SOUS 49231 HAS SOUPS 49231 WITH SCORE 49293.493
AT ITER 3942 NEW BEST:: SOT 139198 SOS 62335 HAS SOPS 62335 HAS SOUS 49052 HAS SOUPS 49052 WITH SCORE 49114.335
AT ITER 3946 NEW BEST:: SOT 139188 SOS 62289 HAS SOPS 62289 HAS SOUS 48909 HAS SOUPS 48909 WITH SCORE 48971.289
AT ITER 3980 NEW BEST:: SOT 139118 SOS 62258 HAS SOPS 62258 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 48919.258
AT ITER 3986 NEW BEST:: SOT 139109 SOS 62249 HAS SOPS 62249 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 48919.249
AT ITER 4094 NEW BEST:: SOT 139108 SOS 62248 HAS SOPS 62248 HAS SOUS 48856 HAS SOUPS 48856 WITH SCORE 48918.248
AT ITER 4118 NEW BEST:: SOT 138994 SOS 62134 HAS SOPS 62134 HAS SOUS 48742 HAS SOUPS 48742 WITH SCORE 48804.134
AT ITER 4125 NEW BEST:: SOT 138972 SOS 62090 HAS SOPS 62090 HAS SOUS 48676 HAS SOUPS 48676 WITH SCORE 48738.09
AT ITER 4129 NEW BEST:: SOT 138964 SOS 62082 HAS SOPS 62082 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48730.082
AT ITER 4136 NEW BEST:: SOT 138964 SOS 61867 HAS SOPS 61867 HAS SOUS 48640 HAS SOUPS 48640 WITH SCORE 48701.867
AT ITER 4151 NEW BEST:: SOT 138964 SOS 61842 HAS SOPS 61842 HAS SOUS 48631 HAS SOUPS 48631 WITH SCORE 48692.842
AT ITER 4166 NEW BEST:: SOT 138964 SOS 61810 HAS SOPS 61810 HAS SOUS 48599 HAS SOUPS 48599 WITH SCORE 48660.81
AT ITER 4172 NEW BEST:: SOT 138899 SOS 61767 HAS SOPS 61767 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48617.767
AT ITER 4175 NEW BEST:: SOT 138898 SOS 61751 HAS SOPS 61751 HAS SOUS 48536 HAS SOUPS 48536 WITH SCORE 48597.751
AT ITER 4183 NEW BEST:: SOT 138898 SOS 61754 HAS SOPS 61754 HAS SOUS 48518 HAS SOUPS 48518 WITH SCORE 48579.754
AT ITER 4185 NEW BEST:: SOT 138883 SOS 61730 HAS SOPS 61730 HAS SOUS 48494 HAS SOUPS 48494 WITH SCORE 48555.73
AT ITER 4187 NEW BEST:: SOT 138950 SOS 61726 HAS SOPS 61726 HAS SOUS 48490 HAS SOUPS 48490 WITH SCORE 48551.726
AT ITER 4204 NEW BEST:: SOT 138863 SOS 61683 HAS SOPS 61683 HAS SOUS 48479 HAS SOUPS 48479 WITH SCORE 48540.683
AT ITER 4224 NEW BEST:: SOT 138762 SOS 61538 HAS SOPS 61538 HAS SOUS 48334 HAS SOUPS 48334 WITH SCORE 48395.538
AT ITER 4239 NEW BEST:: SOT 138777 SOS 61516 HAS SOPS 61516 HAS SOUS 48268 HAS SOUPS 48268 WITH SCORE 48329.516
AT ITER 4269 NEW BEST:: SOT 138777 SOS 61262 HAS SOPS 61262 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48301.262
AT ITER 4275 NEW BEST:: SOT 138770 SOS 61259 HAS SOPS 61259 HAS SOUS 48237 HAS SOUPS 48237 WITH SCORE 48298.259
AT ITER 4304 NEW BEST:: SOT 138782 SOS 61382 HAS SOPS 61382 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48265.382
AT ITER 4313 NEW BEST:: SOT 138764 SOS 61132 HAS SOPS 61132 HAS SOUS 48117 HAS SOUPS 48117 WITH SCORE 48178.132
AT ITER 4351 NEW BEST:: SOT 138768 SOS 61128 HAS SOPS 61128 HAS SOUS 48086 HAS SOUPS 48086 WITH SCORE 48147.128
AT ITER 4352 NEW BEST:: SOT 138717 SOS 61077 HAS SOPS 61077 HAS SOUS 48017 HAS SOUPS 48017 WITH SCORE 48078.077
AT ITER 4379 NEW BEST:: SOT 138678 SOS 60803 HAS SOPS 60803 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 47992.803
AT ITER 4385 NEW BEST:: SOT 138666 SOS 60791 HAS SOPS 60791 HAS SOUS 47920 HAS SOUPS 47920 WITH SCORE 47980.791
AT ITER 4403 NEW BEST:: SOT 138634 SOS 60755 HAS SOPS 60755 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 47944.755
AT ITER 4412 NEW BEST:: SOT 138476 SOS 60652 HAS SOPS 60652 HAS SOUS 47841 HAS SOUPS 47841 WITH SCORE 47901.652
AT ITER 4415 NEW BEST:: SOT 138461 SOS 60618 HAS SOPS 60618 HAS SOUS 47792 HAS SOUPS 47792 WITH SCORE 47852.618
AT ITER 4417 NEW BEST:: SOT 138445 SOS 60649 HAS SOPS 60649 HAS SOUS 47789 HAS SOUPS 47789 WITH SCORE 47849.649
AT ITER 4479 NEW BEST:: SOT 138368 SOS 60572 HAS SOPS 60572 HAS SOUS 47711 HAS SOUPS 47711 WITH SCORE 47771.572
AT ITER 4483 NEW BEST:: SOT 138315 SOS 60570 HAS SOPS 60570 HAS SOUS 47709 HAS SOUPS 47709 WITH SCORE 47769.57
AT ITER 4499 NEW BEST:: SOT 138294 SOS 60503 HAS SOPS 60503 HAS SOUS 47621 HAS SOUPS 47621 WITH SCORE 47681.503
AT ITER 4522 NEW BEST:: SOT 138022 SOS 60558 HAS SOPS 60558 HAS SOUS 47500 HAS SOUPS 47500 WITH SCORE 47560.558
AT ITER 4527 NEW BEST:: SOT 138004 SOS 60538 HAS SOPS 60538 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47540.538
AT ITER 4562 NEW BEST:: SOT 137994 SOS 60533 HAS SOPS 60533 HAS SOUS 47475 HAS SOUPS 47475 WITH SCORE 47535.533
AT ITER 4569 NEW BEST:: SOT 137994 SOS 60509 HAS SOPS 60509 HAS SOUS 47451 HAS SOUPS 47451 WITH SCORE 47511.509
AT ITER 4577 NEW BEST:: SOT 137944 SOS 60480 HAS SOPS 60480 HAS SOUS 47386 HAS SOUPS 47386 WITH SCORE 47446.48
AT ITER 4599 NEW BEST:: SOT 137953 SOS 60054 HAS SOPS 60054 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47335.054
AT ITER 4606 NEW BEST:: SOT 137781 SOS 59730 HAS SOPS 59730 HAS SOUS 47041 HAS SOUPS 47041 WITH SCORE 47100.73
AT ITER 4615 NEW BEST:: SOT 137773 SOS 59697 HAS SOPS 59697 HAS SOUS 47008 HAS SOUPS 47008 WITH SCORE 47067.697
AT ITER 4619 NEW BEST:: SOT 137732 SOS 59616 HAS SOPS 59616 HAS SOUS 46979 HAS SOUPS 46979 WITH SCORE 47038.616
AT ITER 4622 NEW BEST:: SOT 137732 SOS 59616 HAS SOPS 59616 HAS SOUS 46975 HAS SOUPS 46975 WITH SCORE 47034.616
AT ITER 4634 NEW BEST:: SOT 137732 SOS 59571 HAS SOPS 59571 HAS SOUS 46946 HAS SOUPS 46946 WITH SCORE 47005.571
AT ITER 4641 NEW BEST:: SOT 137740 SOS 59573 HAS SOPS 59573 HAS SOUS 46944 HAS SOUPS 46944 WITH SCORE 47003.573
AT ITER 4647 NEW BEST:: SOT 137733 SOS 59566 HAS SOPS 59566 HAS SOUS 46937 HAS SOUPS 46937 WITH SCORE 46996.566
AT ITER 4652 NEW BEST:: SOT 137721 SOS 59554 HAS SOPS 59554 HAS SOUS 46925 HAS SOUPS 46925 WITH SCORE 46984.554
AT ITER 4679 NEW BEST:: SOT 137721 SOS 59543 HAS SOPS 59543 HAS SOUS 46910 HAS SOUPS 46910 WITH SCORE 46969.543
AT ITER 4712 NEW BEST:: SOT 137701 SOS 59480 HAS SOPS 59480 HAS SOUS 46904 HAS SOUPS 46904 WITH SCORE 46963.48
AT ITER 4714 NEW BEST:: SOT 137671 SOS 59444 HAS SOPS 59444 HAS SOUS 46868 HAS SOUPS 46868 WITH SCORE 46927.444
AT ITER 4719 NEW BEST:: SOT 137668 SOS 59441 HAS SOPS 59441 HAS SOUS 46865 HAS SOUPS 46865 WITH SCORE 46924.441
AT ITER 4720 NEW BEST:: SOT 137668 SOS 59426 HAS SOPS 59426 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 46892.426
AT ITER 4721 NEW BEST:: SOT 137652 SOS 59356 HAS SOPS 59356 HAS SOUS 46814 HAS SOUPS 46814 WITH SCORE 46873.356
AT ITER 4750 NEW BEST:: SOT 137603 SOS 59319 HAS SOPS 59319 HAS SOUS 46739 HAS SOUPS 46739 WITH SCORE 46798.319
AT ITER 4758 NEW BEST:: SOT 137590 SOS 59293 HAS SOPS 59293 HAS SOUS 46713 HAS SOUPS 46713 WITH SCORE 46772.293
AT ITER 4773 NEW BEST:: SOT 137590 SOS 59157 HAS SOPS 59157 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46704.157
AT ITER 4786 NEW BEST:: SOT 137566 SOS 59089 HAS SOPS 59089 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46658.089
AT ITER 4801 NEW BEST:: SOT 137518 SOS 59069 HAS SOPS 59069 HAS SOUS 46594 HAS SOUPS 46594 WITH SCORE 46653.069
AT ITER 4802 NEW BEST:: SOT 137464 SOS 58939 HAS SOPS 58939 HAS SOUS 46385 HAS SOUPS 46385 WITH SCORE 46443.939
AT ITER 4810 NEW BEST:: SOT 137449 SOS 58906 HAS SOPS 58906 HAS SOUS 46341 HAS SOUPS 46341 WITH SCORE 46399.906
AT ITER 4823 NEW BEST:: SOT 137449 SOS 58970 HAS SOPS 58970 HAS SOUS 46330 HAS SOUPS 46330 WITH SCORE 46388.97
AT ITER 4825 NEW BEST:: SOT 137397 SOS 58740 HAS SOPS 58740 HAS SOUS 46189 HAS SOUPS 46189 WITH SCORE 46247.74
AT ITER 4826 NEW BEST:: SOT 137397 SOS 58739 HAS SOPS 58739 HAS SOUS 46188 HAS SOUPS 46188 WITH SCORE 46246.739
AT ITER 4884 NEW BEST:: SOT 137391 SOS 58714 HAS SOPS 58714 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46198.714
AT ITER 4903 NEW BEST:: SOT 137389 SOS 58706 HAS SOPS 58706 HAS SOUS 46128 HAS SOUPS 46128 WITH SCORE 46186.706
AT ITER 4908 NEW BEST:: SOT 137286 SOS 58548 HAS SOPS 58548 HAS SOUS 45963 HAS SOUPS 45963 WITH SCORE 46021.548
AT ITER 4924 NEW BEST:: SOT 137286 SOS 58516 HAS SOPS 58516 HAS SOUS 45936 HAS SOUPS 45936 WITH SCORE 45994.516
AT ITER 4941 NEW BEST:: SOT 137166 SOS 58336 HAS SOPS 58336 HAS SOUS 45776 HAS SOUPS 45776 WITH SCORE 45834.336
AT ITER 4959 NEW BEST:: SOT 137101 SOS 58271 HAS SOPS 58271 HAS SOUS 45711 HAS SOUPS 45711 WITH SCORE 45769.271
AT ITER 4994 NEW BEST:: SOT 137087 SOS 58257 HAS SOPS 58257 HAS SOUS 45697 HAS SOUPS 45697 WITH SCORE 45755.257
AT ITER 5010 NEW BEST:: SOT 137062 SOS 58137 HAS SOPS 58137 HAS SOUS 45653 HAS SOUPS 45653 WITH SCORE 45711.137
AT ITER 5044 NEW BEST:: SOT 137041 SOS 58068 HAS SOPS 58068 HAS SOUS 45594 HAS SOUPS 45594 WITH SCORE 45652.068
AT ITER 5048 NEW BEST:: SOT 137059 SOS 58104 HAS SOPS 58104 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45634.104
AT ITER 5053 NEW BEST:: SOT 137004 SOS 58046 HAS SOPS 58046 HAS SOUS 45518 HAS SOUPS 45518 WITH SCORE 45576.046
AT ITER 5059 NEW BEST:: SOT 137005 SOS 58044 HAS SOPS 58044 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45544.044
AT ITER 5066 NEW BEST:: SOT 136896 SOS 57761 HAS SOPS 57761 HAS SOUS 45297 HAS SOUPS 45297 WITH SCORE 45354.761
AT ITER 5067 NEW BEST:: SOT 136896 SOS 57673 HAS SOPS 57673 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45294.673
AT ITER 5090 NEW BEST:: SOT 136890 SOS 57667 HAS SOPS 57667 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45288.667
AT ITER 5096 NEW BEST:: SOT 136903 SOS 57594 HAS SOPS 57594 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45215.594
AT ITER 5098 NEW BEST:: SOT 136870 SOS 57533 HAS SOPS 57533 HAS SOUS 45142 HAS SOUPS 45142 WITH SCORE 45199.533
AT ITER 5110 NEW BEST:: SOT 136830 SOS 57493 HAS SOPS 57493 HAS SOUS 45122 HAS SOUPS 45122 WITH SCORE 45179.493
AT ITER 5111 NEW BEST:: SOT 136830 SOS 57378 HAS SOPS 57378 HAS SOUS 45099 HAS SOUPS 45099 WITH SCORE 45156.378
AT ITER 5116 NEW BEST:: SOT 136834 SOS 57373 HAS SOPS 57373 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45146.373
AT ITER 5124 NEW BEST:: SOT 136834 SOS 57325 HAS SOPS 57325 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45074.325
AT ITER 5141 NEW BEST:: SOT 136834 SOS 57319 HAS SOPS 57319 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45074.319
AT ITER 5149 NEW BEST:: SOT 136824 SOS 57319 HAS SOPS 57319 HAS SOUS 45012 HAS SOUPS 45012 WITH SCORE 45069.319
AT ITER 5152 NEW BEST:: SOT 136829 SOS 57202 HAS SOPS 57202 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45033.202
AT ITER 5180 NEW BEST:: SOT 136829 SOS 57274 HAS SOPS 57274 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45009.274
AT ITER 5189 NEW BEST:: SOT 136883 SOS 57085 HAS SOPS 57085 HAS SOUS 44895 HAS SOUPS 44895 WITH SCORE 44952.085
AT ITER 5202 NEW BEST:: SOT 136859 SOS 57068 HAS SOPS 57068 HAS SOUS 44871 HAS SOUPS 44871 WITH SCORE 44928.068
AT ITER 5210 NEW BEST:: SOT 136833 SOS 57042 HAS SOPS 57042 HAS SOUS 44845 HAS SOUPS 44845 WITH SCORE 44902.042
AT ITER 5246 NEW BEST:: SOT 136810 SOS 56922 HAS SOPS 56922 HAS SOUS 44796 HAS SOUPS 44796 WITH SCORE 44852.922
AT ITER 5264 NEW BEST:: SOT 136773 SOS 56886 HAS SOPS 56886 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44839.886
AT ITER 5274 NEW BEST:: SOT 136743 SOS 56826 HAS SOPS 56826 HAS SOUS 44735 HAS SOUPS 44735 WITH SCORE 44791.826
AT ITER 5291 NEW BEST:: SOT 136731 SOS 56814 HAS SOPS 56814 HAS SOUS 44723 HAS SOUPS 44723 WITH SCORE 44779.814
AT ITER 5296 NEW BEST:: SOT 136731 SOS 56779 HAS SOPS 56779 HAS SOUS 44688 HAS SOUPS 44688 WITH SCORE 44744.779
AT ITER 5299 NEW BEST:: SOT 136731 SOS 56699 HAS SOPS 56699 HAS SOUS 44645 HAS SOUPS 44645 WITH SCORE 44701.699
AT ITER 5300 NEW BEST:: SOT 136730 SOS 56697 HAS SOPS 56697 HAS SOUS 44643 HAS SOUPS 44643 WITH SCORE 44699.697
AT ITER 5312 NEW BEST:: SOT 136708 SOS 56686 HAS SOPS 56686 HAS SOUS 44632 HAS SOUPS 44632 WITH SCORE 44688.686
AT ITER 5327 NEW BEST:: SOT 136696 SOS 56666 HAS SOPS 56666 HAS SOUS 44604 HAS SOUPS 44604 WITH SCORE 44660.666
AT ITER 5348 NEW BEST:: SOT 136685 SOS 56633 HAS SOPS 56633 HAS SOUS 44571 HAS SOUPS 44571 WITH SCORE 44627.633
AT ITER 5352 NEW BEST:: SOT 136673 SOS 56641 HAS SOPS 56641 HAS SOUS 44565 HAS SOUPS 44565 WITH SCORE 44621.641
AT ITER 5359 NEW BEST:: SOT 136660 SOS 56628 HAS SOPS 56628 HAS SOUS 44538 HAS SOUPS 44538 WITH SCORE 44594.628
AT ITER 5361 NEW BEST:: SOT 136660 SOS 56472 HAS SOPS 56472 HAS SOUS 44382 HAS SOUPS 44382 WITH SCORE 44438.472
AT ITER 5363 NEW BEST:: SOT 136642 SOS 56447 HAS SOPS 56447 HAS SOUS 44357 HAS SOUPS 44357 WITH SCORE 44413.447
AT ITER 5365 NEW BEST:: SOT 136642 SOS 56419 HAS SOPS 56419 HAS SOUS 44344 HAS SOUPS 44344 WITH SCORE 44400.419
AT ITER 5366 NEW BEST:: SOT 136622 SOS 56399 HAS SOPS 56399 HAS SOUS 44324 HAS SOUPS 44324 WITH SCORE 44380.399
AT ITER 5408 NEW BEST:: SOT 136578 SOS 56355 HAS SOPS 56355 HAS SOUS 44280 HAS SOUPS 44280 WITH SCORE 44336.355
AT ITER 5441 NEW BEST:: SOT 136573 SOS 56283 HAS SOPS 56283 HAS SOUS 44090 HAS SOUPS 44090 WITH SCORE 44146.283
AT ITER 5443 NEW BEST:: SOT 136562 SOS 56198 HAS SOPS 56198 HAS SOUS 44082 HAS SOUPS 44082 WITH SCORE 44138.198
AT ITER 5459 NEW BEST:: SOT 136505 SOS 56127 HAS SOPS 56127 HAS SOUS 44044 HAS SOUPS 44044 WITH SCORE 44100.127
AT ITER 5469 NEW BEST:: SOT 136513 SOS 55672 HAS SOPS 55672 HAS SOUS 43939 HAS SOUPS 43939 WITH SCORE 43994.672
AT ITER 5487 NEW BEST:: SOT 136617 SOS 55590 HAS SOPS 55590 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43868.59
AT ITER 5561 NEW BEST:: SOT 136542 SOS 55503 HAS SOPS 55503 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43787.503
AT ITER 5572 NEW BEST:: SOT 136539 SOS 55470 HAS SOPS 55470 HAS SOUS 43679 HAS SOUPS 43679 WITH SCORE 43734.47
AT ITER 5580 NEW BEST:: SOT 136533 SOS 55464 HAS SOPS 55464 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43728.464
AT ITER 5582 NEW BEST:: SOT 136514 SOS 55464 HAS SOPS 55464 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43709.464
AT ITER 5585 NEW BEST:: SOT 136549 SOS 55463 HAS SOPS 55463 HAS SOUS 43614 HAS SOUPS 43614 WITH SCORE 43669.463
AT ITER 5612 NEW BEST:: SOT 136547 SOS 55461 HAS SOPS 55461 HAS SOUS 43611 HAS SOUPS 43611 WITH SCORE 43666.461
AT ITER 5618 NEW BEST:: SOT 136524 SOS 55387 HAS SOPS 55387 HAS SOUS 43512 HAS SOUPS 43512 WITH SCORE 43567.387
AT ITER 5635 NEW BEST:: SOT 136498 SOS 55365 HAS SOPS 55365 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43543.365
AT ITER 5655 NEW BEST:: SOT 136463 SOS 55260 HAS SOPS 55260 HAS SOUS 43348 HAS SOUPS 43348 WITH SCORE 43403.26
AT ITER 5697 NEW BEST:: SOT 136463 SOS 55247 HAS SOPS 55247 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43400.247
AT ITER 5716 NEW BEST:: SOT 136463 SOS 55254 HAS SOPS 55254 HAS SOUS 43335 HAS SOUPS 43335 WITH SCORE 43390.254
AT ITER 5749 NEW BEST:: SOT 136545 SOS 55415 HAS SOPS 55415 HAS SOUS 43331 HAS SOUPS 43331 WITH SCORE 43386.415
AT ITER 5754 NEW BEST:: SOT 136548 SOS 55410 HAS SOPS 55410 HAS SOUS 43326 HAS SOUPS 43326 WITH SCORE 43381.41
AT ITER 5761 NEW BEST:: SOT 136548 SOS 55404 HAS SOPS 55404 HAS SOUS 43314 HAS SOUPS 43314 WITH SCORE 43369.404
AT ITER 5800 NEW BEST:: SOT 136528 SOS 55372 HAS SOPS 55372 HAS SOUS 43282 HAS SOUPS 43282 WITH SCORE 43337.372
AT ITER 5806 NEW BEST:: SOT 136516 SOS 55366 HAS SOPS 55366 HAS SOUS 43261 HAS SOUPS 43261 WITH SCORE 43316.366
AT ITER 5817 NEW BEST:: SOT 136516 SOS 55643 HAS SOPS 55643 HAS SOUS 43221 HAS SOUPS 43221 WITH SCORE 43276.643
AT ITER 5828 NEW BEST:: SOT 136389 SOS 55527 HAS SOPS 55527 HAS SOUS 43105 HAS SOUPS 43105 WITH SCORE 43160.527
AT ITER 5830 NEW BEST:: SOT 136389 SOS 55474 HAS SOPS 55474 HAS SOUS 43082 HAS SOUPS 43082 WITH SCORE 43137.474
AT ITER 5854 NEW BEST:: SOT 136339 SOS 55374 HAS SOPS 55374 HAS SOUS 42995 HAS SOUPS 42995 WITH SCORE 43050.374
AT ITER 5858 NEW BEST:: SOT 136339 SOS 55299 HAS SOPS 55299 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 42975.299
AT ITER 5870 NEW BEST:: SOT 136237 SOS 55197 HAS SOPS 55197 HAS SOUS 42863 HAS SOUPS 42863 WITH SCORE 42918.197
AT ITER 5883 NEW BEST:: SOT 136226 SOS 55180 HAS SOPS 55180 HAS SOUS 42844 HAS SOUPS 42844 WITH SCORE 42899.18
AT ITER 5899 NEW BEST:: SOT 136214 SOS 55160 HAS SOPS 55160 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42883.16
AT ITER 5912 NEW BEST:: SOT 136186 SOS 55132 HAS SOPS 55132 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42855.132
AT ITER 5955 NEW BEST:: SOT 136177 SOS 55128 HAS SOPS 55128 HAS SOUS 42796 HAS SOUPS 42796 WITH SCORE 42851.128
AT ITER 5973 NEW BEST:: SOT 136178 SOS 55129 HAS SOPS 55129 HAS SOUS 42778 HAS SOUPS 42778 WITH SCORE 42833.129
AT ITER 6011 NEW BEST:: SOT 136178 SOS 55160 HAS SOPS 55160 HAS SOUS 42771 HAS SOUPS 42771 WITH SCORE 42826.16
AT ITER 6013 NEW BEST:: SOT 136160 SOS 55142 HAS SOPS 55142 HAS SOUS 42753 HAS SOUPS 42753 WITH SCORE 42808.142
AT ITER 6028 NEW BEST:: SOT 136125 SOS 55107 HAS SOPS 55107 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42802.107
AT ITER 6059 NEW BEST:: SOT 136124 SOS 55100 HAS SOPS 55100 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42795.1
AT ITER 6063 NEW BEST:: SOT 136268 SOS 55200 HAS SOPS 55200 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42788.2
AT ITER 6072 NEW BEST:: SOT 136267 SOS 55200 HAS SOPS 55200 HAS SOUS 42720 HAS SOUPS 42720 WITH SCORE 42775.2
AT ITER 6074 NEW BEST:: SOT 136245 SOS 55178 HAS SOPS 55178 HAS SOUS 42698 HAS SOUPS 42698 WITH SCORE 42753.178
AT ITER 6084 NEW BEST:: SOT 136210 SOS 55108 HAS SOPS 55108 HAS SOUS 42662 HAS SOUPS 42662 WITH SCORE 42717.108
AT ITER 6113 NEW BEST:: SOT 136218 SOS 55031 HAS SOPS 55031 HAS SOUS 42648 HAS SOUPS 42648 WITH SCORE 42703.031
AT ITER 6116 NEW BEST:: SOT 136249 SOS 54977 HAS SOPS 54977 HAS SOUS 42625 HAS SOUPS 42625 WITH SCORE 42679.977
AT ITER 6133 NEW BEST:: SOT 136239 SOS 54958 HAS SOPS 54958 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42641.958
AT ITER 6151 NEW BEST:: SOT 136179 SOS 54855 HAS SOPS 54855 HAS SOUS 42507 HAS SOUPS 42507 WITH SCORE 42561.855
AT ITER 6179 NEW BEST:: SOT 136139 SOS 54815 HAS SOPS 54815 HAS SOUS 42467 HAS SOUPS 42467 WITH SCORE 42521.815
AT ITER 6182 NEW BEST:: SOT 136152 SOS 54768 HAS SOPS 54768 HAS SOUS 42441 HAS SOUPS 42441 WITH SCORE 42495.768
AT ITER 6209 NEW BEST:: SOT 136117 SOS 54727 HAS SOPS 54727 HAS SOUS 42385 HAS SOUPS 42385 WITH SCORE 42439.727
AT ITER 6213 NEW BEST:: SOT 136083 SOS 54693 HAS SOPS 54693 HAS SOUS 42351 HAS SOUPS 42351 WITH SCORE 42405.693
AT ITER 6282 NEW BEST:: SOT 136131 SOS 54571 HAS SOPS 54571 HAS SOUS 42269 HAS SOUPS 42269 WITH SCORE 42323.571
AT ITER 6286 NEW BEST:: SOT 136131 SOS 54456 HAS SOPS 54456 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42322.456
AT ITER 6303 NEW BEST:: SOT 136112 SOS 54455 HAS SOPS 54455 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42321.455
AT ITER 6304 NEW BEST:: SOT 136112 SOS 54438 HAS SOPS 54438 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42273.438
AT ITER 6321 NEW BEST:: SOT 136025 SOS 54385 HAS SOPS 54385 HAS SOUS 42208 HAS SOUPS 42208 WITH SCORE 42262.385
AT ITER 6346 NEW BEST:: SOT 136057 SOS 54401 HAS SOPS 54401 HAS SOUS 42206 HAS SOUPS 42206 WITH SCORE 42260.401
AT ITER 6362 NEW BEST:: SOT 136057 SOS 54397 HAS SOPS 54397 HAS SOUS 42198 HAS SOUPS 42198 WITH SCORE 42252.397
AT ITER 6369 NEW BEST:: SOT 136057 SOS 54392 HAS SOPS 54392 HAS SOUS 42191 HAS SOUPS 42191 WITH SCORE 42245.392
AT ITER 6375 NEW BEST:: SOT 136055 SOS 54378 HAS SOPS 54378 HAS SOUS 42165 HAS SOUPS 42165 WITH SCORE 42219.378
AT ITER 6378 NEW BEST:: SOT 135960 SOS 54211 HAS SOPS 54211 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42064.211
AT ITER 6389 NEW BEST:: SOT 135960 SOS 54103 HAS SOPS 54103 HAS SOUS 42009 HAS SOUPS 42009 WITH SCORE 42063.103
AT ITER 6398 NEW BEST:: SOT 135997 SOS 54063 HAS SOPS 54063 HAS SOUS 41930 HAS SOUPS 41930 WITH SCORE 41984.063
AT ITER 6399 NEW BEST:: SOT 135989 SOS 54055 HAS SOPS 54055 HAS SOUS 41914 HAS SOUPS 41914 WITH SCORE 41968.055
AT ITER 6402 NEW BEST:: SOT 135990 SOS 54056 HAS SOPS 54056 HAS SOUS 41904 HAS SOUPS 41904 WITH SCORE 41958.056
AT ITER 6436 NEW BEST:: SOT 136020 SOS 54086 HAS SOPS 54086 HAS SOUS 41882 HAS SOUPS 41882 WITH SCORE 41936.086
AT ITER 6454 NEW BEST:: SOT 135970 SOS 54050 HAS SOPS 54050 HAS SOUS 41850 HAS SOUPS 41850 WITH SCORE 41904.05
AT ITER 6492 NEW BEST:: SOT 135931 SOS 53830 HAS SOPS 53830 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41899.83
AT ITER 6495 NEW BEST:: SOT 135840 SOS 53748 HAS SOPS 53748 HAS SOUS 41764 HAS SOUPS 41764 WITH SCORE 41817.748
AT ITER 6515 NEW BEST:: SOT 135829 SOS 53704 HAS SOPS 53704 HAS SOUS 41709 HAS SOUPS 41709 WITH SCORE 41762.704
AT ITER 6523 NEW BEST:: SOT 135754 SOS 53616 HAS SOPS 53616 HAS SOUS 41685 HAS SOUPS 41685 WITH SCORE 41738.616
AT ITER 6563 NEW BEST:: SOT 135746 SOS 53738 HAS SOPS 53738 HAS SOUS 41643 HAS SOUPS 41643 WITH SCORE 41696.738
AT ITER 6574 NEW BEST:: SOT 135746 SOS 53722 HAS SOPS 53722 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41680.722
AT ITER 6592 NEW BEST:: SOT 135780 SOS 53756 HAS SOPS 53756 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41671.756
AT ITER 6739 NEW BEST:: SOT 135744 SOS 53761 HAS SOPS 53761 HAS SOUS 41613 HAS SOUPS 41613 WITH SCORE 41666.761
AT ITER 6762 NEW BEST:: SOT 135744 SOS 53747 HAS SOPS 53747 HAS SOUS 41599 HAS SOUPS 41599 WITH SCORE 41652.747
AT ITER 6784 NEW BEST:: SOT 135706 SOS 53706 HAS SOPS 53706 HAS SOUS 41558 HAS SOUPS 41558 WITH SCORE 41611.706
AT ITER 6840 NEW BEST:: SOT 135644 SOS 53644 HAS SOPS 53644 HAS SOUS 41496 HAS SOUPS 41496 WITH SCORE 41549.644
AT ITER 6868 NEW BEST:: SOT 135610 SOS 53599 HAS SOPS 53599 HAS SOUS 41465 HAS SOUPS 41465 WITH SCORE 41518.599
AT ITER 6873 NEW BEST:: SOT 135602 SOS 53603 HAS SOPS 53603 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41517.603
AT ITER 6898 NEW BEST:: SOT 135529 SOS 53504 HAS SOPS 53504 HAS SOUS 41353 HAS SOUPS 41353 WITH SCORE 41406.504
AT ITER 6907 NEW BEST:: SOT 135570 SOS 53493 HAS SOPS 53493 HAS SOUS 41343 HAS SOUPS 41343 WITH SCORE 41396.493
AT ITER 6913 NEW BEST:: SOT 135566 SOS 53489 HAS SOPS 53489 HAS SOUS 41339 HAS SOUPS 41339 WITH SCORE 41392.489
AT ITER 6931 NEW BEST:: SOT 135596 SOS 53489 HAS SOPS 53489 HAS SOUS 41327 HAS SOUPS 41327 WITH SCORE 41380.489
AT ITER 6966 NEW BEST:: SOT 135576 SOS 53469 HAS SOPS 53469 HAS SOUS 41327 HAS SOUPS 41327 WITH SCORE 41380.469
AT ITER 6984 NEW BEST:: SOT 135575 SOS 53519 HAS SOPS 53519 HAS SOUS 41320 HAS SOUPS 41320 WITH SCORE 41373.519
AT ITER 6991 NEW BEST:: SOT 135667 SOS 53404 HAS SOPS 53404 HAS SOUS 41292 HAS SOUPS 41292 WITH SCORE 41345.404
AT ITER 7027 NEW BEST:: SOT 135644 SOS 53226 HAS SOPS 53226 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41225.226
AT ITER 7038 NEW BEST:: SOT 135615 SOS 53172 HAS SOPS 53172 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41163.172
AT ITER 7039 NEW BEST:: SOT 135574 SOS 53122 HAS SOPS 53122 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41088.122
AT ITER 7063 NEW BEST:: SOT 135498 SOS 53046 HAS SOPS 53046 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41011.046
AT ITER 7066 NEW BEST:: SOT 135490 SOS 53020 HAS SOPS 53020 HAS SOUS 40938 HAS SOUPS 40938 WITH SCORE 40991.02
AT ITER 7070 NEW BEST:: SOT 135466 SOS 52984 HAS SOPS 52984 HAS SOUS 40902 HAS SOUPS 40902 WITH SCORE 40954.984
AT ITER 7071 NEW BEST:: SOT 135350 SOS 52818 HAS SOPS 52818 HAS SOUS 40752 HAS SOUPS 40752 WITH SCORE 40804.818
AT ITER 7108 NEW BEST:: SOT 135341 SOS 52802 HAS SOPS 52802 HAS SOUS 40736 HAS SOUPS 40736 WITH SCORE 40788.802
AT ITER 7115 NEW BEST:: SOT 135314 SOS 52710 HAS SOPS 52710 HAS SOUS 40673 HAS SOUPS 40673 WITH SCORE 40725.71
AT ITER 7155 NEW BEST:: SOT 135262 SOS 52637 HAS SOPS 52637 HAS SOUS 40624 HAS SOUPS 40624 WITH SCORE 40676.637
AT ITER 7162 NEW BEST:: SOT 135259 SOS 52631 HAS SOPS 52631 HAS SOUS 40619 HAS SOUPS 40619 WITH SCORE 40671.631
AT ITER 7163 NEW BEST:: SOT 135259 SOS 52382 HAS SOPS 52382 HAS SOUS 40549 HAS SOUPS 40549 WITH SCORE 40601.382
AT ITER 7183 NEW BEST:: SOT 135220 SOS 52067 HAS SOPS 52067 HAS SOUS 40329 HAS SOUPS 40329 WITH SCORE 40381.067
AT ITER 7196 NEW BEST:: SOT 135220 SOS 52060 HAS SOPS 52060 HAS SOUS 40327 HAS SOUPS 40327 WITH SCORE 40379.06
AT ITER 7208 NEW BEST:: SOT 135246 SOS 52062 HAS SOPS 52062 HAS SOUS 40305 HAS SOUPS 40305 WITH SCORE 40357.062
AT ITER 7217 NEW BEST:: SOT 135206 SOS 52022 HAS SOPS 52022 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40317.022
AT ITER 7219 NEW BEST:: SOT 135197 SOS 52004 HAS SOPS 52004 HAS SOUS 40247 HAS SOUPS 40247 WITH SCORE 40299.004
AT ITER 7248 NEW BEST:: SOT 135190 SOS 51963 HAS SOPS 51963 HAS SOUS 40212 HAS SOUPS 40212 WITH SCORE 40263.963
AT ITER 7260 NEW BEST:: SOT 135190 SOS 51959 HAS SOPS 51959 HAS SOUS 40210 HAS SOUPS 40210 WITH SCORE 40261.959
AT ITER 7286 NEW BEST:: SOT 135184 SOS 51951 HAS SOPS 51951 HAS SOUS 40202 HAS SOUPS 40202 WITH SCORE 40253.951
AT ITER 7290 NEW BEST:: SOT 135186 SOS 51947 HAS SOPS 51947 HAS SOUS 40198 HAS SOUPS 40198 WITH SCORE 40249.947
AT ITER 7291 NEW BEST:: SOT 135183 SOS 51944 HAS SOPS 51944 HAS SOUS 40195 HAS SOUPS 40195 WITH SCORE 40246.944
AT ITER 7305 NEW BEST:: SOT 135111 SOS 51857 HAS SOPS 51857 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40159.857
AT ITER 7318 NEW BEST:: SOT 135092 SOS 51824 HAS SOPS 51824 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40126.824
AT ITER 7320 NEW BEST:: SOT 135092 SOS 51820 HAS SOPS 51820 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40126.82
AT ITER 7376 NEW BEST:: SOT 135026 SOS 51805 HAS SOPS 51805 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40037.805
AT ITER 7391 NEW BEST:: SOT 135006 SOS 51765 HAS SOPS 51765 HAS SOUS 39926 HAS SOUPS 39926 WITH SCORE 39977.765
AT ITER 7401 NEW BEST:: SOT 134964 SOS 51726 HAS SOPS 51726 HAS SOUS 39887 HAS SOUPS 39887 WITH SCORE 39938.726
AT ITER 7404 NEW BEST:: SOT 134974 SOS 51710 HAS SOPS 51710 HAS SOUS 39866 HAS SOUPS 39866 WITH SCORE 39917.71
AT ITER 7436 NEW BEST:: SOT 134967 SOS 51703 HAS SOPS 51703 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39903.703
AT ITER 7478 NEW BEST:: SOT 134981 SOS 51686 HAS SOPS 51686 HAS SOUS 39835 HAS SOUPS 39835 WITH SCORE 39886.686
AT ITER 7531 NEW BEST:: SOT 134927 SOS 51468 HAS SOPS 51468 HAS SOUS 39806 HAS SOUPS 39806 WITH SCORE 39857.468
AT ITER 7555 NEW BEST:: SOT 134931 SOS 51506 HAS SOPS 51506 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39841.506
AT ITER 7557 NEW BEST:: SOT 134942 SOS 51485 HAS SOPS 51485 HAS SOUS 39769 HAS SOUPS 39769 WITH SCORE 39820.485
AT ITER 7563 NEW BEST:: SOT 134935 SOS 51470 HAS SOPS 51470 HAS SOUS 39726 HAS SOUPS 39726 WITH SCORE 39777.47
AT ITER 7598 NEW BEST:: SOT 134933 SOS 51458 HAS SOPS 51458 HAS SOUS 39714 HAS SOUPS 39714 WITH SCORE 39765.458
AT ITER 7614 NEW BEST:: SOT 134945 SOS 51412 HAS SOPS 51412 HAS SOUS 39677 HAS SOUPS 39677 WITH SCORE 39728.412
AT ITER 7623 NEW BEST:: SOT 134942 SOS 51384 HAS SOPS 51384 HAS SOUS 39677 HAS SOUPS 39677 WITH SCORE 39728.384
AT ITER 7660 NEW BEST:: SOT 134826 SOS 51268 HAS SOPS 51268 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39599.268
AT ITER 7665 NEW BEST:: SOT 134763 SOS 51016 HAS SOPS 51016 HAS SOUS 39496 HAS SOUPS 39496 WITH SCORE 39547.016
AT ITER 7669 NEW BEST:: SOT 134632 SOS 50885 HAS SOPS 50885 HAS SOUS 39473 HAS SOUPS 39473 WITH SCORE 39523.885
AT ITER 7710 NEW BEST:: SOT 134563 SOS 50814 HAS SOPS 50814 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39452.814
AT ITER 7729 NEW BEST:: SOT 134549 SOS 50802 HAS SOPS 50802 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39440.802
AT ITER 7735 NEW BEST:: SOT 134503 SOS 50756 HAS SOPS 50756 HAS SOUS 39344 HAS SOUPS 39344 WITH SCORE 39394.756
AT ITER 7739 NEW BEST:: SOT 134450 SOS 50677 HAS SOPS 50677 HAS SOUS 39207 HAS SOUPS 39207 WITH SCORE 39257.677
AT ITER 7745 NEW BEST:: SOT 134439 SOS 50662 HAS SOPS 50662 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39242.662
AT ITER 7765 NEW BEST:: SOT 134436 SOS 50567 HAS SOPS 50567 HAS SOUS 39072 HAS SOUPS 39072 WITH SCORE 39122.567
AT ITER 7782 NEW BEST:: SOT 134427 SOS 50549 HAS SOPS 50549 HAS SOUS 39057 HAS SOUPS 39057 WITH SCORE 39107.549
AT ITER 7808 NEW BEST:: SOT 134400 SOS 50517 HAS SOPS 50517 HAS SOUS 39020 HAS SOUPS 39020 WITH SCORE 39070.517
AT ITER 7819 NEW BEST:: SOT 134494 SOS 50412 HAS SOPS 50412 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38951.412
AT ITER 7820 NEW BEST:: SOT 134476 SOS 50382 HAS SOPS 50382 HAS SOUS 38871 HAS SOUPS 38871 WITH SCORE 38921.382
AT ITER 7837 NEW BEST:: SOT 134462 SOS 50381 HAS SOPS 50381 HAS SOUS 38853 HAS SOUPS 38853 WITH SCORE 38903.381
AT ITER 7879 NEW BEST:: SOT 134457 SOS 50357 HAS SOPS 50357 HAS SOUS 38823 HAS SOUPS 38823 WITH SCORE 38873.357
AT ITER 7882 NEW BEST:: SOT 134447 SOS 50327 HAS SOPS 50327 HAS SOUS 38793 HAS SOUPS 38793 WITH SCORE 38843.327
AT ITER 7887 NEW BEST:: SOT 134422 SOS 50303 HAS SOPS 50303 HAS SOUS 38769 HAS SOUPS 38769 WITH SCORE 38819.303
AT ITER 7976 NEW BEST:: SOT 134416 SOS 50278 HAS SOPS 50278 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38794.278
AT ITER 7997 NEW BEST:: SOT 134253 SOS 50066 HAS SOPS 50066 HAS SOUS 38743 HAS SOUPS 38743 WITH SCORE 38793.066
AT ITER 8013 NEW BEST:: SOT 134251 SOS 50066 HAS SOPS 50066 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38791.066
AT ITER 8030 NEW BEST:: SOT 134243 SOS 50059 HAS SOPS 50059 HAS SOUS 38739 HAS SOUPS 38739 WITH SCORE 38789.059
AT ITER 8051 NEW BEST:: SOT 134233 SOS 50049 HAS SOPS 50049 HAS SOUS 38729 HAS SOUPS 38729 WITH SCORE 38779.049
AT ITER 8117 NEW BEST:: SOT 134207 SOS 50023 HAS SOPS 50023 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38753.023
AT ITER 8125 NEW BEST:: SOT 134207 SOS 49673 HAS SOPS 49673 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38689.673
AT ITER 8146 NEW BEST:: SOT 134156 SOS 49535 HAS SOPS 49535 HAS SOUS 38596 HAS SOUPS 38596 WITH SCORE 38645.535
AT ITER 8176 NEW BEST:: SOT 134152 SOS 49527 HAS SOPS 49527 HAS SOUS 38592 HAS SOUPS 38592 WITH SCORE 38641.527
AT ITER 8210 NEW BEST:: SOT 134126 SOS 49519 HAS SOPS 49519 HAS SOUS 38584 HAS SOUPS 38584 WITH SCORE 38633.519
AT ITER 8215 NEW BEST:: SOT 134126 SOS 49614 HAS SOPS 49614 HAS SOUS 38574 HAS SOUPS 38574 WITH SCORE 38623.614
AT ITER 8221 NEW BEST:: SOT 134117 SOS 49602 HAS SOPS 49602 HAS SOUS 38562 HAS SOUPS 38562 WITH SCORE 38611.602
AT ITER 8225 NEW BEST:: SOT 134081 SOS 49566 HAS SOPS 49566 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38568.566
AT ITER 8231 NEW BEST:: SOT 134078 SOS 49558 HAS SOPS 49558 HAS SOUS 38516 HAS SOUPS 38516 WITH SCORE 38565.558
AT ITER 8259 NEW BEST:: SOT 134067 SOS 49103 HAS SOPS 49103 HAS SOUS 38403 HAS SOUPS 38403 WITH SCORE 38452.103
AT ITER 8281 NEW BEST:: SOT 134067 SOS 49079 HAS SOPS 49079 HAS SOUS 38334 HAS SOUPS 38334 WITH SCORE 38383.079
AT ITER 8284 NEW BEST:: SOT 134049 SOS 49061 HAS SOPS 49061 HAS SOUS 38316 HAS SOUPS 38316 WITH SCORE 38365.061
AT ITER 8295 NEW BEST:: SOT 134047 SOS 49059 HAS SOPS 49059 HAS SOUS 38314 HAS SOUPS 38314 WITH SCORE 38363.059
AT ITER 8303 NEW BEST:: SOT 134030 SOS 49059 HAS SOPS 49059 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38360.059
AT ITER 8378 NEW BEST:: SOT 134022 SOS 49023 HAS SOPS 49023 HAS SOUS 38275 HAS SOUPS 38275 WITH SCORE 38324.023
AT ITER 8397 NEW BEST:: SOT 134007 SOS 49008 HAS SOPS 49008 HAS SOUS 38260 HAS SOUPS 38260 WITH SCORE 38309.008
AT ITER 8403 NEW BEST:: SOT 134013 SOS 49016 HAS SOPS 49016 HAS SOUS 38252 HAS SOUPS 38252 WITH SCORE 38301.016
AT ITER 8406 NEW BEST:: SOT 133970 SOS 48930 HAS SOPS 48930 HAS SOUS 38226 HAS SOUPS 38226 WITH SCORE 38274.93
AT ITER 8498 NEW BEST:: SOT 133899 SOS 48892 HAS SOPS 48892 HAS SOUS 38210 HAS SOUPS 38210 WITH SCORE 38258.892
AT ITER 8517 NEW BEST:: SOT 133782 SOS 48758 HAS SOPS 48758 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38028.758
AT ITER 8527 NEW BEST:: SOT 133782 SOS 48756 HAS SOPS 48756 HAS SOUS 37978 HAS SOUPS 37978 WITH SCORE 38026.756
AT ITER 8529 NEW BEST:: SOT 133783 SOS 48753 HAS SOPS 48753 HAS SOUS 37976 HAS SOUPS 37976 WITH SCORE 38024.753
AT ITER 8534 NEW BEST:: SOT 133801 SOS 48744 HAS SOPS 48744 HAS SOUS 37967 HAS SOUPS 37967 WITH SCORE 38015.744
AT ITER 8591 NEW BEST:: SOT 133739 SOS 48734 HAS SOPS 48734 HAS SOUS 37957 HAS SOUPS 37957 WITH SCORE 38005.734
AT ITER 8607 NEW BEST:: SOT 133504 SOS 48627 HAS SOPS 48627 HAS SOUS 37852 HAS SOUPS 37852 WITH SCORE 37900.627
AT ITER 8643 NEW BEST:: SOT 133488 SOS 48611 HAS SOPS 48611 HAS SOUS 37836 HAS SOUPS 37836 WITH SCORE 37884.611
AT ITER 8683 NEW BEST:: SOT 133539 SOS 48502 HAS SOPS 48502 HAS SOUS 37809 HAS SOUPS 37809 WITH SCORE 37857.502
AT ITER 8712 NEW BEST:: SOT 133498 SOS 48280 HAS SOPS 48280 HAS SOUS 37702 HAS SOUPS 37702 WITH SCORE 37750.28
AT ITER 8747 NEW BEST:: SOT 133488 SOS 48270 HAS SOPS 48270 HAS SOUS 37692 HAS SOUPS 37692 WITH SCORE 37740.27
AT ITER 8814 NEW BEST:: SOT 133490 SOS 48265 HAS SOPS 48265 HAS SOUS 37687 HAS SOUPS 37687 WITH SCORE 37735.265
AT ITER 8863 NEW BEST:: SOT 133485 SOS 48267 HAS SOPS 48267 HAS SOUS 37677 HAS SOUPS 37677 WITH SCORE 37725.267
AT ITER 8868 NEW BEST:: SOT 133470 SOS 48249 HAS SOPS 48249 HAS SOUS 37659 HAS SOUPS 37659 WITH SCORE 37707.249
AT ITER 8871 NEW BEST:: SOT 133468 SOS 48245 HAS SOPS 48245 HAS SOUS 37653 HAS SOUPS 37653 WITH SCORE 37701.245
AT ITER 8872 NEW BEST:: SOT 133468 SOS 48299 HAS SOPS 48299 HAS SOUS 37613 HAS SOUPS 37613 WITH SCORE 37661.299
AT ITER 8880 NEW BEST:: SOT 133412 SOS 48229 HAS SOPS 48229 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37591.229
AT ITER 8914 NEW BEST:: SOT 133395 SOS 48168 HAS SOPS 48168 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37491.168
AT ITER 8921 NEW BEST:: SOT 133395 SOS 48180 HAS SOPS 48180 HAS SOUS 37435 HAS SOUPS 37435 WITH SCORE 37483.18
AT ITER 8930 NEW BEST:: SOT 133395 SOS 48180 HAS SOPS 48180 HAS SOUS 37417 HAS SOUPS 37417 WITH SCORE 37465.18
AT ITER 8961 NEW BEST:: SOT 133395 SOS 48180 HAS SOPS 48180 HAS SOUS 37345 HAS SOUPS 37345 WITH SCORE 37393.18
AT ITER 8983 NEW BEST:: SOT 133385 SOS 48162 HAS SOPS 48162 HAS SOUS 37327 HAS SOUPS 37327 WITH SCORE 37375.162
AT ITER 8997 NEW BEST:: SOT 133386 SOS 48147 HAS SOPS 48147 HAS SOUS 37312 HAS SOUPS 37312 WITH SCORE 37360.147
AT ITER 9007 NEW BEST:: SOT 133315 SOS 48217 HAS SOPS 48217 HAS SOUS 37274 HAS SOUPS 37274 WITH SCORE 37322.217
AT ITER 9069 NEW BEST:: SOT 133315 SOS 48217 HAS SOPS 48217 HAS SOUS 37258 HAS SOUPS 37258 WITH SCORE 37306.217
AT ITER 9074 NEW BEST:: SOT 133313 SOS 48215 HAS SOPS 48215 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37304.215
AT ITER 9101 NEW BEST:: SOT 133309 SOS 48209 HAS SOPS 48209 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37298.209
AT ITER 9109 NEW BEST:: SOT 133278 SOS 48186 HAS SOPS 48186 HAS SOUS 37232 HAS SOUPS 37232 WITH SCORE 37280.186
AT ITER 9156 NEW BEST:: SOT 133233 SOS 47998 HAS SOPS 47998 HAS SOUS 37106 HAS SOUPS 37106 WITH SCORE 37153.998
AT ITER 9158 NEW BEST:: SOT 133231 SOS 47996 HAS SOPS 47996 HAS SOUS 37104 HAS SOUPS 37104 WITH SCORE 37151.996
AT ITER 9160 NEW BEST:: SOT 133273 SOS 47983 HAS SOPS 47983 HAS SOUS 37027 HAS SOUPS 37027 WITH SCORE 37074.983
AT ITER 9170 NEW BEST:: SOT 133157 SOS 47885 HAS SOPS 47885 HAS SOUS 36972 HAS SOUPS 36972 WITH SCORE 37019.885
AT ITER 9212 NEW BEST:: SOT 133157 SOS 47807 HAS SOPS 47807 HAS SOUS 36894 HAS SOUPS 36894 WITH SCORE 36941.807
AT ITER 9218 NEW BEST:: SOT 133119 SOS 47731 HAS SOPS 47731 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36863.731
AT ITER 9230 NEW BEST:: SOT 133214 SOS 47474 HAS SOPS 47474 HAS SOUS 36785 HAS SOUPS 36785 WITH SCORE 36832.474
AT ITER 9263 NEW BEST:: SOT 133205 SOS 47462 HAS SOPS 47462 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36823.462
AT ITER 9266 NEW BEST:: SOT 133171 SOS 47428 HAS SOPS 47428 HAS SOUS 36742 HAS SOUPS 36742 WITH SCORE 36789.428
AT ITER 9346 NEW BEST:: SOT 133154 SOS 47399 HAS SOPS 47399 HAS SOUS 36709 HAS SOUPS 36709 WITH SCORE 36756.399
AT ITER 9369 NEW BEST:: SOT 133150 SOS 47380 HAS SOPS 47380 HAS SOUS 36690 HAS SOUPS 36690 WITH SCORE 36737.38
AT ITER 9396 NEW BEST:: SOT 133143 SOS 47373 HAS SOPS 47373 HAS SOUS 36683 HAS SOUPS 36683 WITH SCORE 36730.373
AT ITER 9419 NEW BEST:: SOT 133142 SOS 47371 HAS SOPS 47371 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36728.371
AT ITER 9448 NEW BEST:: SOT 133099 SOS 47290 HAS SOPS 47290 HAS SOUS 36567 HAS SOUPS 36567 WITH SCORE 36614.29
AT ITER 9465 NEW BEST:: SOT 133099 SOS 47289 HAS SOPS 47289 HAS SOUS 36566 HAS SOUPS 36566 WITH SCORE 36613.289
AT ITER 9509 NEW BEST:: SOT 133165 SOS 47093 HAS SOPS 47093 HAS SOUS 36469 HAS SOUPS 36469 WITH SCORE 36516.093
AT ITER 9523 NEW BEST:: SOT 133141 SOS 47045 HAS SOPS 47045 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36480.045
AT ITER 9529 NEW BEST:: SOT 133124 SOS 46962 HAS SOPS 46962 HAS SOUS 36350 HAS SOUPS 36350 WITH SCORE 36396.962
AT ITER 9557 NEW BEST:: SOT 133131 SOS 47005 HAS SOPS 47005 HAS SOUS 36348 HAS SOUPS 36348 WITH SCORE 36395.005
AT ITER 9560 NEW BEST:: SOT 133112 SOS 46946 HAS SOPS 46946 HAS SOUS 36299 HAS SOUPS 36299 WITH SCORE 36345.946
AT ITER 9619 NEW BEST:: SOT 133112 SOS 46850 HAS SOPS 46850 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36275.85
AT ITER 9635 NEW BEST:: SOT 133130 SOS 46858 HAS SOPS 46858 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36251.858
AT ITER 9656 NEW BEST:: SOT 133126 SOS 46852 HAS SOPS 46852 HAS SOUS 36199 HAS SOUPS 36199 WITH SCORE 36245.852
AT ITER 9663 NEW BEST:: SOT 133121 SOS 46855 HAS SOPS 46855 HAS SOUS 36194 HAS SOUPS 36194 WITH SCORE 36240.855
AT ITER 9664 NEW BEST:: SOT 133101 SOS 46824 HAS SOPS 46824 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36209.824
AT ITER 9711 NEW BEST:: SOT 133097 SOS 46820 HAS SOPS 46820 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36205.82
AT ITER 9712 NEW BEST:: SOT 133080 SOS 46821 HAS SOPS 46821 HAS SOUS 36151 HAS SOUPS 36151 WITH SCORE 36197.821
AT ITER 9775 NEW BEST:: SOT 133080 SOS 46854 HAS SOPS 46854 HAS SOUS 36150 HAS SOUPS 36150 WITH SCORE 36196.854
AT ITER 9783 NEW BEST:: SOT 133080 SOS 46835 HAS SOPS 46835 HAS SOUS 36148 HAS SOUPS 36148 WITH SCORE 36194.835
AT ITER 9784 NEW BEST:: SOT 133080 SOS 46813 HAS SOPS 46813 HAS SOUS 36139 HAS SOUPS 36139 WITH SCORE 36185.813
AT ITER 9793 NEW BEST:: SOT 133080 SOS 46811 HAS SOPS 46811 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36183.811
AT ITER 9800 NEW BEST:: SOT 133078 SOS 46801 HAS SOPS 46801 HAS SOUS 36133 HAS SOUPS 36133 WITH SCORE 36179.801
AT ITER 9896 NEW BEST:: SOT 133079 SOS 46800 HAS SOPS 46800 HAS SOUS 36132 HAS SOUPS 36132 WITH SCORE 36178.8
AT ITER 9918 NEW BEST:: SOT 133052 SOS 46753 HAS SOPS 46753 HAS SOUS 36085 HAS SOUPS 36085 WITH SCORE 36131.753
AT ITER 9954 NEW BEST:: SOT 133047 SOS 46748 HAS SOPS 46748 HAS SOUS 36072 HAS SOUPS 36072 WITH SCORE 36118.748
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 6177744 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120788 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="ShieldIIPs-PT-020A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldIIPs-PT-020A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718400104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-020A.tgz
mv ShieldIIPs-PT-020A 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;