Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973300120.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVs-PT-030A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973300120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 5.5K Feb 26 18:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 18:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 19:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 19:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 19:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 19:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 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 191K 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 1679088532203

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVs-PT-030A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 030A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 423 places, 573 transitions, 2760 arcs.
AT ITER 0 NEW BEST:: SOT 182058 SOS 156302 HAS SOPS 156302 HAS SOUS 126747 HAS SOUPS 126747 WITH SCORE 126903.302
AT ITER 3 NEW BEST:: SOT 181964 SOS 155865 HAS SOPS 155865 HAS SOUS 126370 HAS SOUPS 126370 WITH SCORE 126525.865
AT ITER 10 NEW BEST:: SOT 181926 SOS 155509 HAS SOPS 155509 HAS SOUS 126080 HAS SOUPS 126080 WITH SCORE 126235.509
AT ITER 11 NEW BEST:: SOT 181875 SOS 155470 HAS SOPS 155470 HAS SOUS 126041 HAS SOUPS 126041 WITH SCORE 126196.47
AT ITER 12 NEW BEST:: SOT 182273 SOS 155687 HAS SOPS 155687 HAS SOUS 125874 HAS SOUPS 125874 WITH SCORE 126029.687
AT ITER 13 NEW BEST:: SOT 182214 SOS 155288 HAS SOPS 155288 HAS SOUS 125498 HAS SOUPS 125498 WITH SCORE 125653.288
AT ITER 14 NEW BEST:: SOT 182121 SOS 154528 HAS SOPS 154528 HAS SOUS 124632 HAS SOUPS 124632 WITH SCORE 124786.528
AT ITER 16 NEW BEST:: SOT 182121 SOS 154249 HAS SOPS 154249 HAS SOUS 124212 HAS SOUPS 124212 WITH SCORE 124366.249
AT ITER 17 NEW BEST:: SOT 182119 SOS 154247 HAS SOPS 154247 HAS SOUS 124210 HAS SOUPS 124210 WITH SCORE 124364.247
AT ITER 18 NEW BEST:: SOT 182124 SOS 154252 HAS SOPS 154252 HAS SOUS 124209 HAS SOUPS 124209 WITH SCORE 124363.252
AT ITER 20 NEW BEST:: SOT 181973 SOS 153604 HAS SOPS 153604 HAS SOUS 123463 HAS SOUPS 123463 WITH SCORE 123616.604
AT ITER 22 NEW BEST:: SOT 181972 SOS 153603 HAS SOPS 153603 HAS SOUS 123462 HAS SOUPS 123462 WITH SCORE 123615.603
AT ITER 25 NEW BEST:: SOT 181945 SOS 153576 HAS SOPS 153576 HAS SOUS 123462 HAS SOUPS 123462 WITH SCORE 123615.576
AT ITER 26 NEW BEST:: SOT 181945 SOS 153427 HAS SOPS 153427 HAS SOUS 123305 HAS SOUPS 123305 WITH SCORE 123458.427
AT ITER 29 NEW BEST:: SOT 181945 SOS 153331 HAS SOPS 153331 HAS SOUS 123257 HAS SOUPS 123257 WITH SCORE 123410.331
AT ITER 31 NEW BEST:: SOT 181945 SOS 153346 HAS SOPS 153346 HAS SOUS 123248 HAS SOUPS 123248 WITH SCORE 123401.346
AT ITER 32 NEW BEST:: SOT 181913 SOS 153314 HAS SOPS 153314 HAS SOUS 123248 HAS SOUPS 123248 WITH SCORE 123401.314
AT ITER 33 NEW BEST:: SOT 181722 SOS 152484 HAS SOPS 152484 HAS SOUS 122517 HAS SOUPS 122517 WITH SCORE 122669.484
AT ITER 34 NEW BEST:: SOT 181722 SOS 152498 HAS SOPS 152498 HAS SOUS 122508 HAS SOUPS 122508 WITH SCORE 122660.498
AT ITER 37 NEW BEST:: SOT 181658 SOS 151850 HAS SOPS 151850 HAS SOUS 122113 HAS SOUPS 122113 WITH SCORE 122264.85
AT ITER 38 NEW BEST:: SOT 181633 SOS 151825 HAS SOPS 151825 HAS SOUS 122087 HAS SOUPS 122087 WITH SCORE 122238.825
AT ITER 39 NEW BEST:: SOT 181517 SOS 151321 HAS SOPS 151321 HAS SOUS 121431 HAS SOUPS 121431 WITH SCORE 121582.321
AT ITER 44 NEW BEST:: SOT 181484 SOS 151115 HAS SOPS 151115 HAS SOUS 121170 HAS SOUPS 121170 WITH SCORE 121321.115
AT ITER 45 NEW BEST:: SOT 181428 SOS 150461 HAS SOPS 150461 HAS SOUS 119928 HAS SOUPS 119928 WITH SCORE 120078.461
AT ITER 46 NEW BEST:: SOT 181344 SOS 150402 HAS SOPS 150402 HAS SOUS 119885 HAS SOUPS 119885 WITH SCORE 120035.402
AT ITER 53 NEW BEST:: SOT 181285 SOS 150343 HAS SOPS 150343 HAS SOUS 119826 HAS SOUPS 119826 WITH SCORE 119976.343
AT ITER 54 NEW BEST:: SOT 181182 SOS 149904 HAS SOPS 149904 HAS SOUS 119263 HAS SOUPS 119263 WITH SCORE 119412.904
AT ITER 59 NEW BEST:: SOT 181082 SOS 149804 HAS SOPS 149804 HAS SOUS 119163 HAS SOUPS 119163 WITH SCORE 119312.804
AT ITER 60 NEW BEST:: SOT 181082 SOS 149816 HAS SOPS 149816 HAS SOUS 119061 HAS SOUPS 119061 WITH SCORE 119210.816
AT ITER 61 NEW BEST:: SOT 181080 SOS 149814 HAS SOPS 149814 HAS SOUS 119058 HAS SOUPS 119058 WITH SCORE 119207.814
AT ITER 62 NEW BEST:: SOT 181078 SOS 149812 HAS SOPS 149812 HAS SOUS 119054 HAS SOUPS 119054 WITH SCORE 119203.812
AT ITER 67 NEW BEST:: SOT 181250 SOS 149596 HAS SOPS 149596 HAS SOUS 118838 HAS SOUPS 118838 WITH SCORE 118987.596
AT ITER 68 NEW BEST:: SOT 181228 SOS 149497 HAS SOPS 149497 HAS SOUS 118771 HAS SOUPS 118771 WITH SCORE 118920.497
AT ITER 71 NEW BEST:: SOT 180868 SOS 148966 HAS SOPS 148966 HAS SOUS 118237 HAS SOUPS 118237 WITH SCORE 118385.966
AT ITER 74 NEW BEST:: SOT 180868 SOS 148565 HAS SOPS 148565 HAS SOUS 117734 HAS SOUPS 117734 WITH SCORE 117882.565
AT ITER 80 NEW BEST:: SOT 181092 SOS 148356 HAS SOPS 148356 HAS SOUS 117559 HAS SOUPS 117559 WITH SCORE 117707.356
AT ITER 81 NEW BEST:: SOT 180976 SOS 148041 HAS SOPS 148041 HAS SOUS 117065 HAS SOUPS 117065 WITH SCORE 117213.041
AT ITER 86 NEW BEST:: SOT 180839 SOS 147230 HAS SOPS 147230 HAS SOUS 116475 HAS SOUPS 116475 WITH SCORE 116622.23
AT ITER 88 NEW BEST:: SOT 180869 SOS 146782 HAS SOPS 146782 HAS SOUS 116446 HAS SOUPS 116446 WITH SCORE 116592.782
AT ITER 90 NEW BEST:: SOT 180669 SOS 145469 HAS SOPS 145469 HAS SOUS 116166 HAS SOUPS 116166 WITH SCORE 116311.469
AT ITER 93 NEW BEST:: SOT 180401 SOS 145201 HAS SOPS 145201 HAS SOUS 115896 HAS SOUPS 115896 WITH SCORE 116041.201
AT ITER 94 NEW BEST:: SOT 180438 SOS 144819 HAS SOPS 144819 HAS SOUS 115397 HAS SOUPS 115397 WITH SCORE 115541.819
AT ITER 97 NEW BEST:: SOT 180408 SOS 144696 HAS SOPS 144696 HAS SOUS 115300 HAS SOUPS 115300 WITH SCORE 115444.696
AT ITER 98 NEW BEST:: SOT 180408 SOS 144500 HAS SOPS 144500 HAS SOUS 115228 HAS SOUPS 115228 WITH SCORE 115372.5
AT ITER 104 NEW BEST:: SOT 180317 SOS 144409 HAS SOPS 144409 HAS SOUS 115137 HAS SOUPS 115137 WITH SCORE 115281.409
AT ITER 108 NEW BEST:: SOT 180304 SOS 144396 HAS SOPS 144396 HAS SOUS 115124 HAS SOUPS 115124 WITH SCORE 115268.396
AT ITER 109 NEW BEST:: SOT 180257 SOS 144443 HAS SOPS 144443 HAS SOUS 115123 HAS SOUPS 115123 WITH SCORE 115267.443
AT ITER 113 NEW BEST:: SOT 180105 SOS 144401 HAS SOPS 144401 HAS SOUS 115058 HAS SOUPS 115058 WITH SCORE 115202.401
AT ITER 114 NEW BEST:: SOT 180084 SOS 144380 HAS SOPS 144380 HAS SOUS 115037 HAS SOUPS 115037 WITH SCORE 115181.38
AT ITER 118 NEW BEST:: SOT 180060 SOS 144061 HAS SOPS 144061 HAS SOUS 115012 HAS SOUPS 115012 WITH SCORE 115156.061
AT ITER 119 NEW BEST:: SOT 179907 SOS 143640 HAS SOPS 143640 HAS SOUS 114812 HAS SOUPS 114812 WITH SCORE 114955.64
AT ITER 120 NEW BEST:: SOT 180048 SOS 143146 HAS SOPS 143146 HAS SOUS 114154 HAS SOUPS 114154 WITH SCORE 114297.146
AT ITER 121 NEW BEST:: SOT 180048 SOS 143124 HAS SOPS 143124 HAS SOUS 114129 HAS SOUPS 114129 WITH SCORE 114272.124
AT ITER 123 NEW BEST:: SOT 180048 SOS 143030 HAS SOPS 143030 HAS SOUS 113935 HAS SOUPS 113935 WITH SCORE 114078.03
AT ITER 124 NEW BEST:: SOT 179738 SOS 142720 HAS SOPS 142720 HAS SOUS 113625 HAS SOUPS 113625 WITH SCORE 113767.72
AT ITER 127 NEW BEST:: SOT 179941 SOS 141973 HAS SOPS 141973 HAS SOUS 113530 HAS SOUPS 113530 WITH SCORE 113671.973
AT ITER 132 NEW BEST:: SOT 179912 SOS 141485 HAS SOPS 141485 HAS SOUS 112887 HAS SOUPS 112887 WITH SCORE 113028.485
AT ITER 134 NEW BEST:: SOT 179732 SOS 141294 HAS SOPS 141294 HAS SOUS 112607 HAS SOUPS 112607 WITH SCORE 112748.294
AT ITER 138 NEW BEST:: SOT 179632 SOS 140636 HAS SOPS 140636 HAS SOUS 111507 HAS SOUPS 111507 WITH SCORE 111647.636
AT ITER 139 NEW BEST:: SOT 179632 SOS 140513 HAS SOPS 140513 HAS SOUS 111497 HAS SOUPS 111497 WITH SCORE 111637.513
AT ITER 140 NEW BEST:: SOT 179558 SOS 139945 HAS SOPS 139945 HAS SOUS 111211 HAS SOUPS 111211 WITH SCORE 111350.945
AT ITER 143 NEW BEST:: SOT 179496 SOS 139868 HAS SOPS 139868 HAS SOUS 111128 HAS SOUPS 111128 WITH SCORE 111267.868
AT ITER 149 NEW BEST:: SOT 179410 SOS 139782 HAS SOPS 139782 HAS SOUS 111042 HAS SOUPS 111042 WITH SCORE 111181.782
AT ITER 150 NEW BEST:: SOT 179328 SOS 139660 HAS SOPS 139660 HAS SOUS 110898 HAS SOUPS 110898 WITH SCORE 111037.66
AT ITER 152 NEW BEST:: SOT 179326 SOS 139656 HAS SOPS 139656 HAS SOUS 110892 HAS SOUPS 110892 WITH SCORE 111031.656
AT ITER 154 NEW BEST:: SOT 179322 SOS 139652 HAS SOPS 139652 HAS SOUS 110888 HAS SOUPS 110888 WITH SCORE 111027.652
AT ITER 155 NEW BEST:: SOT 179441 SOS 140170 HAS SOPS 140170 HAS SOUS 110833 HAS SOUPS 110833 WITH SCORE 110973.17
AT ITER 157 NEW BEST:: SOT 179291 SOS 140020 HAS SOPS 140020 HAS SOUS 110682 HAS SOUPS 110682 WITH SCORE 110822.02
AT ITER 158 NEW BEST:: SOT 179291 SOS 139575 HAS SOPS 139575 HAS SOUS 109839 HAS SOUPS 109839 WITH SCORE 109978.575
AT ITER 162 NEW BEST:: SOT 179224 SOS 139536 HAS SOPS 139536 HAS SOUS 109826 HAS SOUPS 109826 WITH SCORE 109965.536
AT ITER 164 NEW BEST:: SOT 179148 SOS 138905 HAS SOPS 138905 HAS SOUS 109666 HAS SOUPS 109666 WITH SCORE 109804.905
AT ITER 168 NEW BEST:: SOT 179435 SOS 139176 HAS SOPS 139176 HAS SOUS 109611 HAS SOUPS 109611 WITH SCORE 109750.176
AT ITER 169 NEW BEST:: SOT 179425 SOS 139084 HAS SOPS 139084 HAS SOUS 109564 HAS SOUPS 109564 WITH SCORE 109703.084
AT ITER 174 NEW BEST:: SOT 179425 SOS 139036 HAS SOPS 139036 HAS SOUS 109362 HAS SOUPS 109362 WITH SCORE 109501.036
AT ITER 177 NEW BEST:: SOT 179417 SOS 139018 HAS SOPS 139018 HAS SOUS 109353 HAS SOUPS 109353 WITH SCORE 109492.018
AT ITER 180 NEW BEST:: SOT 178909 SOS 138447 HAS SOPS 138447 HAS SOUS 108679 HAS SOUPS 108679 WITH SCORE 108817.447
AT ITER 183 NEW BEST:: SOT 178909 SOS 138438 HAS SOPS 138438 HAS SOUS 108670 HAS SOUPS 108670 WITH SCORE 108808.438
AT ITER 184 NEW BEST:: SOT 178936 SOS 138432 HAS SOPS 138432 HAS SOUS 108664 HAS SOUPS 108664 WITH SCORE 108802.432
AT ITER 185 NEW BEST:: SOT 178739 SOS 137651 HAS SOPS 137651 HAS SOUS 107846 HAS SOUPS 107846 WITH SCORE 107983.651
AT ITER 186 NEW BEST:: SOT 178739 SOS 137236 HAS SOPS 137236 HAS SOUS 107457 HAS SOUPS 107457 WITH SCORE 107594.236
AT ITER 187 NEW BEST:: SOT 178619 SOS 137116 HAS SOPS 137116 HAS SOUS 107336 HAS SOUPS 107336 WITH SCORE 107473.116
AT ITER 189 NEW BEST:: SOT 178619 SOS 137022 HAS SOPS 137022 HAS SOUS 107329 HAS SOUPS 107329 WITH SCORE 107466.022
AT ITER 190 NEW BEST:: SOT 178484 SOS 136442 HAS SOPS 136442 HAS SOUS 106778 HAS SOUPS 106778 WITH SCORE 106914.442
AT ITER 196 NEW BEST:: SOT 178166 SOS 136090 HAS SOPS 136090 HAS SOUS 106255 HAS SOUPS 106255 WITH SCORE 106391.09
AT ITER 199 NEW BEST:: SOT 178036 SOS 135514 HAS SOPS 135514 HAS SOUS 105760 HAS SOUPS 105760 WITH SCORE 105895.514
AT ITER 200 NEW BEST:: SOT 177896 SOS 134521 HAS SOPS 134521 HAS SOUS 105581 HAS SOUPS 105581 WITH SCORE 105715.521
AT ITER 201 NEW BEST:: SOT 177819 SOS 134444 HAS SOPS 134444 HAS SOUS 105504 HAS SOUPS 105504 WITH SCORE 105638.444
AT ITER 203 NEW BEST:: SOT 177762 SOS 133849 HAS SOPS 133849 HAS SOUS 105215 HAS SOUPS 105215 WITH SCORE 105348.849
AT ITER 204 NEW BEST:: SOT 177855 SOS 133866 HAS SOPS 133866 HAS SOUS 105004 HAS SOUPS 105004 WITH SCORE 105137.866
AT ITER 212 NEW BEST:: SOT 177845 SOS 133856 HAS SOPS 133856 HAS SOUS 104994 HAS SOUPS 104994 WITH SCORE 105127.856
AT ITER 213 NEW BEST:: SOT 177845 SOS 133113 HAS SOPS 133113 HAS SOUS 104510 HAS SOUPS 104510 WITH SCORE 104643.113
AT ITER 215 NEW BEST:: SOT 177845 SOS 132918 HAS SOPS 132918 HAS SOUS 104347 HAS SOUPS 104347 WITH SCORE 104479.918
AT ITER 216 NEW BEST:: SOT 177845 SOS 132861 HAS SOPS 132861 HAS SOUS 104319 HAS SOUPS 104319 WITH SCORE 104451.861
AT ITER 217 NEW BEST:: SOT 177737 SOS 132428 HAS SOPS 132428 HAS SOUS 103682 HAS SOUPS 103682 WITH SCORE 103814.428
AT ITER 223 NEW BEST:: SOT 177707 SOS 132149 HAS SOPS 132149 HAS SOUS 103363 HAS SOUPS 103363 WITH SCORE 103495.149
AT ITER 226 NEW BEST:: SOT 177541 SOS 131388 HAS SOPS 131388 HAS SOUS 102804 HAS SOUPS 102804 WITH SCORE 102935.388
AT ITER 227 NEW BEST:: SOT 177494 SOS 131304 HAS SOPS 131304 HAS SOUS 102703 HAS SOUPS 102703 WITH SCORE 102834.304
AT ITER 231 NEW BEST:: SOT 177489 SOS 131113 HAS SOPS 131113 HAS SOUS 102629 HAS SOUPS 102629 WITH SCORE 102760.113
AT ITER 235 NEW BEST:: SOT 177928 SOS 130883 HAS SOPS 130883 HAS SOUS 102230 HAS SOUPS 102230 WITH SCORE 102360.883
AT ITER 236 NEW BEST:: SOT 177884 SOS 130857 HAS SOPS 130857 HAS SOUS 102218 HAS SOUPS 102218 WITH SCORE 102348.857
AT ITER 237 NEW BEST:: SOT 177884 SOS 130947 HAS SOPS 130947 HAS SOUS 102203 HAS SOUPS 102203 WITH SCORE 102333.947
AT ITER 243 NEW BEST:: SOT 178229 SOS 131501 HAS SOPS 131501 HAS SOUS 101826 HAS SOUPS 101826 WITH SCORE 101957.501
AT ITER 249 NEW BEST:: SOT 178102 SOS 131149 HAS SOPS 131149 HAS SOUS 101484 HAS SOUPS 101484 WITH SCORE 101615.149
AT ITER 253 NEW BEST:: SOT 178076 SOS 131069 HAS SOPS 131069 HAS SOUS 101404 HAS SOUPS 101404 WITH SCORE 101535.069
AT ITER 261 NEW BEST:: SOT 178115 SOS 131047 HAS SOPS 131047 HAS SOUS 101355 HAS SOUPS 101355 WITH SCORE 101486.047
AT ITER 264 NEW BEST:: SOT 178085 SOS 131316 HAS SOPS 131316 HAS SOUS 101226 HAS SOUPS 101226 WITH SCORE 101357.316
AT ITER 265 NEW BEST:: SOT 178085 SOS 131187 HAS SOPS 131187 HAS SOUS 101113 HAS SOUPS 101113 WITH SCORE 101244.187
AT ITER 266 NEW BEST:: SOT 178078 SOS 130778 HAS SOPS 130778 HAS SOUS 101057 HAS SOUPS 101057 WITH SCORE 101187.778
AT ITER 273 NEW BEST:: SOT 177729 SOS 130428 HAS SOPS 130428 HAS SOUS 100722 HAS SOUPS 100722 WITH SCORE 100852.428
AT ITER 279 NEW BEST:: SOT 177538 SOS 130249 HAS SOPS 130249 HAS SOUS 100452 HAS SOUPS 100452 WITH SCORE 100582.249
AT ITER 281 NEW BEST:: SOT 177434 SOS 130145 HAS SOPS 130145 HAS SOUS 100348 HAS SOUPS 100348 WITH SCORE 100478.145
AT ITER 286 NEW BEST:: SOT 177345 SOS 130056 HAS SOPS 130056 HAS SOUS 100075 HAS SOUPS 100075 WITH SCORE 100205.056
AT ITER 295 NEW BEST:: SOT 177025 SOS 129736 HAS SOPS 129736 HAS SOUS 99748 HAS SOUPS 99748 WITH SCORE 99877.736
AT ITER 301 NEW BEST:: SOT 177012 SOS 129723 HAS SOPS 129723 HAS SOUS 99742 HAS SOUPS 99742 WITH SCORE 99871.723
AT ITER 314 NEW BEST:: SOT 176908 SOS 129536 HAS SOPS 129536 HAS SOUS 99555 HAS SOUPS 99555 WITH SCORE 99684.536
AT ITER 319 NEW BEST:: SOT 176910 SOS 129518 HAS SOPS 129518 HAS SOUS 99533 HAS SOUPS 99533 WITH SCORE 99662.518
AT ITER 324 NEW BEST:: SOT 176722 SOS 129173 HAS SOPS 129173 HAS SOUS 99179 HAS SOUPS 99179 WITH SCORE 99308.173
AT ITER 328 NEW BEST:: SOT 176698 SOS 129244 HAS SOPS 129244 HAS SOUS 99051 HAS SOUPS 99051 WITH SCORE 99180.244
AT ITER 331 NEW BEST:: SOT 176530 SOS 128368 HAS SOPS 128368 HAS SOUS 98925 HAS SOUPS 98925 WITH SCORE 99053.368
AT ITER 336 NEW BEST:: SOT 176498 SOS 128292 HAS SOPS 128292 HAS SOUS 98849 HAS SOUPS 98849 WITH SCORE 98977.292
AT ITER 337 NEW BEST:: SOT 176409 SOS 128203 HAS SOPS 128203 HAS SOUS 98760 HAS SOUPS 98760 WITH SCORE 98888.203
AT ITER 344 NEW BEST:: SOT 176290 SOS 127483 HAS SOPS 127483 HAS SOUS 98434 HAS SOUPS 98434 WITH SCORE 98561.483
AT ITER 345 NEW BEST:: SOT 176277 SOS 126717 HAS SOPS 126717 HAS SOUS 97980 HAS SOUPS 97980 WITH SCORE 98106.717
AT ITER 346 NEW BEST:: SOT 176174 SOS 126614 HAS SOPS 126614 HAS SOUS 97877 HAS SOUPS 97877 WITH SCORE 98003.614
AT ITER 347 NEW BEST:: SOT 176033 SOS 124317 HAS SOPS 124317 HAS SOUS 97423 HAS SOUPS 97423 WITH SCORE 97547.317
AT ITER 349 NEW BEST:: SOT 176168 SOS 123585 HAS SOPS 123585 HAS SOUS 97174 HAS SOUPS 97174 WITH SCORE 97297.585
AT ITER 357 NEW BEST:: SOT 176168 SOS 123666 HAS SOPS 123666 HAS SOUS 97142 HAS SOUPS 97142 WITH SCORE 97265.666
AT ITER 358 NEW BEST:: SOT 176118 SOS 123616 HAS SOPS 123616 HAS SOUS 97092 HAS SOUPS 97092 WITH SCORE 97215.616
AT ITER 362 NEW BEST:: SOT 176118 SOS 123657 HAS SOPS 123657 HAS SOUS 97084 HAS SOUPS 97084 WITH SCORE 97207.657
AT ITER 365 NEW BEST:: SOT 176117 SOS 123299 HAS SOPS 123299 HAS SOUS 96773 HAS SOUPS 96773 WITH SCORE 96896.299
AT ITER 366 NEW BEST:: SOT 176163 SOS 122912 HAS SOPS 122912 HAS SOUS 96733 HAS SOUPS 96733 WITH SCORE 96855.912
AT ITER 369 NEW BEST:: SOT 175877 SOS 121833 HAS SOPS 121833 HAS SOUS 95718 HAS SOUPS 95718 WITH SCORE 95839.833
AT ITER 381 NEW BEST:: SOT 175877 SOS 122486 HAS SOPS 122486 HAS SOUS 95548 HAS SOUPS 95548 WITH SCORE 95670.486
AT ITER 390 NEW BEST:: SOT 175868 SOS 122459 HAS SOPS 122459 HAS SOUS 95515 HAS SOUPS 95515 WITH SCORE 95637.459
AT ITER 393 NEW BEST:: SOT 175779 SOS 121970 HAS SOPS 121970 HAS SOUS 94929 HAS SOUPS 94929 WITH SCORE 95050.97
AT ITER 399 NEW BEST:: SOT 175524 SOS 121631 HAS SOPS 121631 HAS SOUS 94717 HAS SOUPS 94717 WITH SCORE 94838.631
AT ITER 405 NEW BEST:: SOT 175517 SOS 121624 HAS SOPS 121624 HAS SOUS 94710 HAS SOUPS 94710 WITH SCORE 94831.624
AT ITER 406 NEW BEST:: SOT 175558 SOS 121565 HAS SOPS 121565 HAS SOUS 94546 HAS SOUPS 94546 WITH SCORE 94667.565
AT ITER 410 NEW BEST:: SOT 175556 SOS 121563 HAS SOPS 121563 HAS SOUS 94544 HAS SOUPS 94544 WITH SCORE 94665.563
AT ITER 414 NEW BEST:: SOT 175682 SOS 121440 HAS SOPS 121440 HAS SOUS 94461 HAS SOUPS 94461 WITH SCORE 94582.44
AT ITER 415 NEW BEST:: SOT 175739 SOS 121483 HAS SOPS 121483 HAS SOUS 94429 HAS SOUPS 94429 WITH SCORE 94550.483
AT ITER 422 NEW BEST:: SOT 175749 SOS 121441 HAS SOPS 121441 HAS SOUS 94382 HAS SOUPS 94382 WITH SCORE 94503.441
AT ITER 423 NEW BEST:: SOT 175665 SOS 121067 HAS SOPS 121067 HAS SOUS 94031 HAS SOUPS 94031 WITH SCORE 94152.067
AT ITER 425 NEW BEST:: SOT 175485 SOS 120803 HAS SOPS 120803 HAS SOUS 93441 HAS SOUPS 93441 WITH SCORE 93561.803
AT ITER 429 NEW BEST:: SOT 175498 SOS 120776 HAS SOPS 120776 HAS SOUS 93377 HAS SOUPS 93377 WITH SCORE 93497.776
AT ITER 433 NEW BEST:: SOT 175498 SOS 120756 HAS SOPS 120756 HAS SOUS 93285 HAS SOUPS 93285 WITH SCORE 93405.756
AT ITER 436 NEW BEST:: SOT 175468 SOS 120726 HAS SOPS 120726 HAS SOUS 93233 HAS SOUPS 93233 WITH SCORE 93353.726
AT ITER 437 NEW BEST:: SOT 175777 SOS 119910 HAS SOPS 119910 HAS SOUS 93064 HAS SOUPS 93064 WITH SCORE 93183.91
AT ITER 438 NEW BEST:: SOT 175774 SOS 119827 HAS SOPS 119827 HAS SOUS 93047 HAS SOUPS 93047 WITH SCORE 93166.827
AT ITER 451 NEW BEST:: SOT 175848 SOS 119821 HAS SOPS 119821 HAS SOUS 92952 HAS SOUPS 92952 WITH SCORE 93071.821
AT ITER 456 NEW BEST:: SOT 175827 SOS 119737 HAS SOPS 119737 HAS SOUS 92864 HAS SOUPS 92864 WITH SCORE 92983.737
AT ITER 464 NEW BEST:: SOT 175827 SOS 119728 HAS SOPS 119728 HAS SOUS 92860 HAS SOUPS 92860 WITH SCORE 92979.728
AT ITER 467 NEW BEST:: SOT 175756 SOS 119657 HAS SOPS 119657 HAS SOUS 92789 HAS SOUPS 92789 WITH SCORE 92908.657
AT ITER 474 NEW BEST:: SOT 175691 SOS 119616 HAS SOPS 119616 HAS SOUS 92762 HAS SOUPS 92762 WITH SCORE 92881.616
AT ITER 475 NEW BEST:: SOT 175682 SOS 119377 HAS SOPS 119377 HAS SOUS 92228 HAS SOUPS 92228 WITH SCORE 92347.377
AT ITER 476 NEW BEST:: SOT 175687 SOS 119367 HAS SOPS 119367 HAS SOUS 92228 HAS SOUPS 92228 WITH SCORE 92347.367
AT ITER 477 NEW BEST:: SOT 175685 SOS 119242 HAS SOPS 119242 HAS SOUS 92213 HAS SOUPS 92213 WITH SCORE 92332.242
AT ITER 479 NEW BEST:: SOT 175679 SOS 119392 HAS SOPS 119392 HAS SOUS 92042 HAS SOUPS 92042 WITH SCORE 92161.392
AT ITER 480 NEW BEST:: SOT 175656 SOS 119369 HAS SOPS 119369 HAS SOUS 92019 HAS SOUPS 92019 WITH SCORE 92138.369
AT ITER 482 NEW BEST:: SOT 175779 SOS 119492 HAS SOPS 119492 HAS SOUS 91997 HAS SOUPS 91997 WITH SCORE 92116.492
AT ITER 485 NEW BEST:: SOT 174820 SOS 118526 HAS SOPS 118526 HAS SOUS 91031 HAS SOUPS 91031 WITH SCORE 91149.526
AT ITER 488 NEW BEST:: SOT 174820 SOS 118525 HAS SOPS 118525 HAS SOUS 91029 HAS SOUPS 91029 WITH SCORE 91147.525
AT ITER 491 NEW BEST:: SOT 174846 SOS 118297 HAS SOPS 118297 HAS SOUS 90921 HAS SOUPS 90921 WITH SCORE 91039.297
AT ITER 493 NEW BEST:: SOT 174831 SOS 118251 HAS SOPS 118251 HAS SOUS 90871 HAS SOUPS 90871 WITH SCORE 90989.251
AT ITER 495 NEW BEST:: SOT 174634 SOS 118054 HAS SOPS 118054 HAS SOUS 90672 HAS SOUPS 90672 WITH SCORE 90790.054
AT ITER 503 NEW BEST:: SOT 174577 SOS 117978 HAS SOPS 117978 HAS SOUS 90609 HAS SOUPS 90609 WITH SCORE 90726.978
AT ITER 504 NEW BEST:: SOT 174558 SOS 117943 HAS SOPS 117943 HAS SOUS 90568 HAS SOUPS 90568 WITH SCORE 90685.943
AT ITER 505 NEW BEST:: SOT 174551 SOS 117906 HAS SOPS 117906 HAS SOUS 90523 HAS SOUPS 90523 WITH SCORE 90640.906
AT ITER 506 NEW BEST:: SOT 174537 SOS 117864 HAS SOPS 117864 HAS SOUS 90523 HAS SOUPS 90523 WITH SCORE 90640.864
AT ITER 510 NEW BEST:: SOT 174591 SOS 117858 HAS SOPS 117858 HAS SOUS 90420 HAS SOUPS 90420 WITH SCORE 90537.858
AT ITER 515 NEW BEST:: SOT 174101 SOS 117368 HAS SOPS 117368 HAS SOUS 89930 HAS SOUPS 89930 WITH SCORE 90047.368
AT ITER 517 NEW BEST:: SOT 173649 SOS 116747 HAS SOPS 116747 HAS SOUS 89300 HAS SOUPS 89300 WITH SCORE 89416.747
AT ITER 521 NEW BEST:: SOT 173587 SOS 116683 HAS SOPS 116683 HAS SOUS 89226 HAS SOUPS 89226 WITH SCORE 89342.683
AT ITER 522 NEW BEST:: SOT 173518 SOS 116346 HAS SOPS 116346 HAS SOUS 88913 HAS SOUPS 88913 WITH SCORE 89029.346
AT ITER 528 NEW BEST:: SOT 173329 SOS 116157 HAS SOPS 116157 HAS SOUS 88717 HAS SOUPS 88717 WITH SCORE 88833.157
AT ITER 530 NEW BEST:: SOT 173276 SOS 116116 HAS SOPS 116116 HAS SOUS 88634 HAS SOUPS 88634 WITH SCORE 88750.116
AT ITER 533 NEW BEST:: SOT 173174 SOS 116014 HAS SOPS 116014 HAS SOUS 88498 HAS SOUPS 88498 WITH SCORE 88614.014
AT ITER 539 NEW BEST:: SOT 172881 SOS 115720 HAS SOPS 115720 HAS SOUS 88203 HAS SOUPS 88203 WITH SCORE 88318.72
AT ITER 546 NEW BEST:: SOT 172869 SOS 115677 HAS SOPS 115677 HAS SOUS 88139 HAS SOUPS 88139 WITH SCORE 88254.677
AT ITER 552 NEW BEST:: SOT 172864 SOS 115672 HAS SOPS 115672 HAS SOUS 88103 HAS SOUPS 88103 WITH SCORE 88218.672
AT ITER 557 NEW BEST:: SOT 172501 SOS 115517 HAS SOPS 115517 HAS SOUS 87667 HAS SOUPS 87667 WITH SCORE 87782.517
AT ITER 564 NEW BEST:: SOT 172451 SOS 115442 HAS SOPS 115442 HAS SOUS 87492 HAS SOUPS 87492 WITH SCORE 87607.442
AT ITER 571 NEW BEST:: SOT 172318 SOS 115293 HAS SOPS 115293 HAS SOUS 87336 HAS SOUPS 87336 WITH SCORE 87451.293
AT ITER 576 NEW BEST:: SOT 172104 SOS 115079 HAS SOPS 115079 HAS SOUS 87068 HAS SOUPS 87068 WITH SCORE 87183.079
AT ITER 582 NEW BEST:: SOT 172313 SOS 114420 HAS SOPS 114420 HAS SOUS 86920 HAS SOUPS 86920 WITH SCORE 87034.42
AT ITER 587 NEW BEST:: SOT 172310 SOS 114408 HAS SOPS 114408 HAS SOUS 86902 HAS SOUPS 86902 WITH SCORE 87016.408
AT ITER 596 NEW BEST:: SOT 171896 SOS 113994 HAS SOPS 113994 HAS SOUS 86484 HAS SOUPS 86484 WITH SCORE 86597.994
AT ITER 597 NEW BEST:: SOT 171810 SOS 113680 HAS SOPS 113680 HAS SOUS 86299 HAS SOUPS 86299 WITH SCORE 86412.68
AT ITER 598 NEW BEST:: SOT 171589 SOS 113459 HAS SOPS 113459 HAS SOUS 86076 HAS SOUPS 86076 WITH SCORE 86189.459
AT ITER 610 NEW BEST:: SOT 171067 SOS 112918 HAS SOPS 112918 HAS SOUS 85531 HAS SOUPS 85531 WITH SCORE 85643.918
AT ITER 615 NEW BEST:: SOT 171060 SOS 112911 HAS SOPS 112911 HAS SOUS 85524 HAS SOUPS 85524 WITH SCORE 85636.911
AT ITER 616 NEW BEST:: SOT 170864 SOS 112715 HAS SOPS 112715 HAS SOUS 85315 HAS SOUPS 85315 WITH SCORE 85427.715
AT ITER 619 NEW BEST:: SOT 170864 SOS 112715 HAS SOPS 112715 HAS SOUS 85296 HAS SOUPS 85296 WITH SCORE 85408.715
AT ITER 620 NEW BEST:: SOT 170792 SOS 112643 HAS SOPS 112643 HAS SOUS 85224 HAS SOUPS 85224 WITH SCORE 85336.643
AT ITER 626 NEW BEST:: SOT 170792 SOS 112625 HAS SOPS 112625 HAS SOUS 85223 HAS SOUPS 85223 WITH SCORE 85335.625
AT ITER 627 NEW BEST:: SOT 170652 SOS 112348 HAS SOPS 112348 HAS SOUS 85013 HAS SOUPS 85013 WITH SCORE 85125.348
AT ITER 628 NEW BEST:: SOT 170414 SOS 112069 HAS SOPS 112069 HAS SOUS 84623 HAS SOUPS 84623 WITH SCORE 84735.069
AT ITER 632 NEW BEST:: SOT 170336 SOS 111939 HAS SOPS 111939 HAS SOUS 84493 HAS SOUPS 84493 WITH SCORE 84604.939
AT ITER 633 NEW BEST:: SOT 170336 SOS 111712 HAS SOPS 111712 HAS SOUS 84271 HAS SOUPS 84271 WITH SCORE 84382.712
AT ITER 636 NEW BEST:: SOT 170152 SOS 111186 HAS SOPS 111186 HAS SOUS 84089 HAS SOUPS 84089 WITH SCORE 84200.186
AT ITER 638 NEW BEST:: SOT 170125 SOS 111038 HAS SOPS 111038 HAS SOUS 84026 HAS SOUPS 84026 WITH SCORE 84137.038
AT ITER 647 NEW BEST:: SOT 170115 SOS 111028 HAS SOPS 111028 HAS SOUS 84016 HAS SOUPS 84016 WITH SCORE 84127.028
AT ITER 648 NEW BEST:: SOT 169877 SOS 110806 HAS SOPS 110806 HAS SOUS 83798 HAS SOUPS 83798 WITH SCORE 83908.806
AT ITER 649 NEW BEST:: SOT 169872 SOS 110776 HAS SOPS 110776 HAS SOUS 83778 HAS SOUPS 83778 WITH SCORE 83888.776
AT ITER 650 NEW BEST:: SOT 169872 SOS 110574 HAS SOPS 110574 HAS SOUS 83766 HAS SOUPS 83766 WITH SCORE 83876.574
AT ITER 655 NEW BEST:: SOT 169848 SOS 110526 HAS SOPS 110526 HAS SOUS 83766 HAS SOUPS 83766 WITH SCORE 83876.526
AT ITER 656 NEW BEST:: SOT 170017 SOS 110464 HAS SOPS 110464 HAS SOUS 83687 HAS SOUPS 83687 WITH SCORE 83797.464
AT ITER 659 NEW BEST:: SOT 170019 SOS 110492 HAS SOPS 110492 HAS SOUS 83648 HAS SOUPS 83648 WITH SCORE 83758.492
AT ITER 661 NEW BEST:: SOT 170011 SOS 110425 HAS SOPS 110425 HAS SOUS 83606 HAS SOUPS 83606 WITH SCORE 83716.425
AT ITER 662 NEW BEST:: SOT 169877 SOS 109997 HAS SOPS 109997 HAS SOUS 83126 HAS SOUPS 83126 WITH SCORE 83235.997
AT ITER 665 NEW BEST:: SOT 169872 SOS 109992 HAS SOPS 109992 HAS SOUS 83121 HAS SOUPS 83121 WITH SCORE 83230.992
AT ITER 668 NEW BEST:: SOT 169819 SOS 109915 HAS SOPS 109915 HAS SOUS 83041 HAS SOUPS 83041 WITH SCORE 83150.915
AT ITER 673 NEW BEST:: SOT 169441 SOS 109175 HAS SOPS 109175 HAS SOUS 82151 HAS SOUPS 82151 WITH SCORE 82260.175
AT ITER 674 NEW BEST:: SOT 169372 SOS 108970 HAS SOPS 108970 HAS SOUS 82048 HAS SOUPS 82048 WITH SCORE 82156.97
AT ITER 676 NEW BEST:: SOT 169358 SOS 108967 HAS SOPS 108967 HAS SOUS 82010 HAS SOUPS 82010 WITH SCORE 82118.967
AT ITER 682 NEW BEST:: SOT 169375 SOS 108637 HAS SOPS 108637 HAS SOUS 81915 HAS SOUPS 81915 WITH SCORE 82023.637
AT ITER 689 NEW BEST:: SOT 169375 SOS 108476 HAS SOPS 108476 HAS SOUS 81801 HAS SOUPS 81801 WITH SCORE 81909.476
AT ITER 696 NEW BEST:: SOT 169321 SOS 108385 HAS SOPS 108385 HAS SOUS 81764 HAS SOUPS 81764 WITH SCORE 81872.385
AT ITER 698 NEW BEST:: SOT 169321 SOS 108358 HAS SOPS 108358 HAS SOUS 81690 HAS SOUPS 81690 WITH SCORE 81798.358
AT ITER 702 NEW BEST:: SOT 169155 SOS 108192 HAS SOPS 108192 HAS SOUS 81524 HAS SOUPS 81524 WITH SCORE 81632.192
AT ITER 709 NEW BEST:: SOT 169148 SOS 108174 HAS SOPS 108174 HAS SOUS 81504 HAS SOUPS 81504 WITH SCORE 81612.174
AT ITER 712 NEW BEST:: SOT 169036 SOS 107925 HAS SOPS 107925 HAS SOUS 81366 HAS SOUPS 81366 WITH SCORE 81473.925
AT ITER 714 NEW BEST:: SOT 169013 SOS 107902 HAS SOPS 107902 HAS SOUS 81343 HAS SOUPS 81343 WITH SCORE 81450.902
AT ITER 715 NEW BEST:: SOT 168867 SOS 107756 HAS SOPS 107756 HAS SOUS 81152 HAS SOUPS 81152 WITH SCORE 81259.756
AT ITER 716 NEW BEST:: SOT 168910 SOS 107642 HAS SOPS 107642 HAS SOUS 81028 HAS SOUPS 81028 WITH SCORE 81135.642
AT ITER 720 NEW BEST:: SOT 168893 SOS 107567 HAS SOPS 107567 HAS SOUS 80967 HAS SOUPS 80967 WITH SCORE 81074.567
AT ITER 725 NEW BEST:: SOT 168890 SOS 107563 HAS SOPS 107563 HAS SOUS 80960 HAS SOUPS 80960 WITH SCORE 81067.563
AT ITER 728 NEW BEST:: SOT 168887 SOS 107535 HAS SOPS 107535 HAS SOUS 80930 HAS SOUPS 80930 WITH SCORE 81037.535
AT ITER 736 NEW BEST:: SOT 168850 SOS 107479 HAS SOPS 107479 HAS SOUS 80849 HAS SOUPS 80849 WITH SCORE 80956.479
AT ITER 742 NEW BEST:: SOT 168850 SOS 107235 HAS SOPS 107235 HAS SOUS 80727 HAS SOUPS 80727 WITH SCORE 80834.235
AT ITER 747 NEW BEST:: SOT 168520 SOS 107326 HAS SOPS 107326 HAS SOUS 80595 HAS SOUPS 80595 WITH SCORE 80702.326
AT ITER 752 NEW BEST:: SOT 168180 SOS 106857 HAS SOPS 106857 HAS SOUS 79782 HAS SOUPS 79782 WITH SCORE 79888.857
AT ITER 754 NEW BEST:: SOT 168080 SOS 106757 HAS SOPS 106757 HAS SOUS 79681 HAS SOUPS 79681 WITH SCORE 79787.757
AT ITER 761 NEW BEST:: SOT 167996 SOS 106635 HAS SOPS 106635 HAS SOUS 79573 HAS SOUPS 79573 WITH SCORE 79679.635
AT ITER 777 NEW BEST:: SOT 167801 SOS 106440 HAS SOPS 106440 HAS SOUS 79325 HAS SOUPS 79325 WITH SCORE 79431.44
AT ITER 778 NEW BEST:: SOT 167831 SOS 106441 HAS SOPS 106441 HAS SOUS 79102 HAS SOUPS 79102 WITH SCORE 79208.441
AT ITER 780 NEW BEST:: SOT 167794 SOS 105770 HAS SOPS 105770 HAS SOUS 78692 HAS SOUPS 78692 WITH SCORE 78797.77
AT ITER 788 NEW BEST:: SOT 167781 SOS 105705 HAS SOPS 105705 HAS SOUS 78630 HAS SOUPS 78630 WITH SCORE 78735.705
AT ITER 793 NEW BEST:: SOT 167522 SOS 105417 HAS SOPS 105417 HAS SOUS 78342 HAS SOUPS 78342 WITH SCORE 78447.417
AT ITER 801 NEW BEST:: SOT 167441 SOS 105336 HAS SOPS 105336 HAS SOUS 78261 HAS SOUPS 78261 WITH SCORE 78366.336
AT ITER 802 NEW BEST:: SOT 167340 SOS 105190 HAS SOPS 105190 HAS SOUS 78046 HAS SOUPS 78046 WITH SCORE 78151.19
AT ITER 803 NEW BEST:: SOT 167246 SOS 105096 HAS SOPS 105096 HAS SOUS 77952 HAS SOUPS 77952 WITH SCORE 78057.096
AT ITER 804 NEW BEST:: SOT 167256 SOS 105097 HAS SOPS 105097 HAS SOUS 77803 HAS SOUPS 77803 WITH SCORE 77908.097
AT ITER 809 NEW BEST:: SOT 167119 SOS 104895 HAS SOPS 104895 HAS SOUS 77530 HAS SOUPS 77530 WITH SCORE 77634.895
AT ITER 817 NEW BEST:: SOT 167121 SOS 104895 HAS SOPS 104895 HAS SOUS 77526 HAS SOUPS 77526 WITH SCORE 77630.895
AT ITER 821 NEW BEST:: SOT 167113 SOS 104677 HAS SOPS 104677 HAS SOUS 77526 HAS SOUPS 77526 WITH SCORE 77630.677
AT ITER 824 NEW BEST:: SOT 167111 SOS 104667 HAS SOPS 104667 HAS SOUS 77468 HAS SOUPS 77468 WITH SCORE 77572.667
AT ITER 827 NEW BEST:: SOT 167026 SOS 104243 HAS SOPS 104243 HAS SOUS 77438 HAS SOUPS 77438 WITH SCORE 77542.243
AT ITER 829 NEW BEST:: SOT 166983 SOS 104200 HAS SOPS 104200 HAS SOUS 77395 HAS SOUPS 77395 WITH SCORE 77499.2
AT ITER 838 NEW BEST:: SOT 166927 SOS 104144 HAS SOPS 104144 HAS SOUS 77347 HAS SOUPS 77347 WITH SCORE 77451.144
AT ITER 846 NEW BEST:: SOT 166899 SOS 104112 HAS SOPS 104112 HAS SOUS 77315 HAS SOUPS 77315 WITH SCORE 77419.112
AT ITER 853 NEW BEST:: SOT 166887 SOS 104100 HAS SOPS 104100 HAS SOUS 77304 HAS SOUPS 77304 WITH SCORE 77408.1
AT ITER 856 NEW BEST:: SOT 166734 SOS 103947 HAS SOPS 103947 HAS SOUS 77110 HAS SOUPS 77110 WITH SCORE 77213.947
AT ITER 859 NEW BEST:: SOT 166722 SOS 103914 HAS SOPS 103914 HAS SOUS 77006 HAS SOUPS 77006 WITH SCORE 77109.914
AT ITER 867 NEW BEST:: SOT 166722 SOS 103895 HAS SOPS 103895 HAS SOUS 76996 HAS SOUPS 76996 WITH SCORE 77099.895
AT ITER 870 NEW BEST:: SOT 166524 SOS 103625 HAS SOPS 103625 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76552.625
AT ITER 873 NEW BEST:: SOT 166524 SOS 103625 HAS SOPS 103625 HAS SOUS 76419 HAS SOUPS 76419 WITH SCORE 76522.625
AT ITER 876 NEW BEST:: SOT 166457 SOS 103290 HAS SOPS 103290 HAS SOUS 76285 HAS SOUPS 76285 WITH SCORE 76388.29
AT ITER 878 NEW BEST:: SOT 166443 SOS 103290 HAS SOPS 103290 HAS SOUS 76271 HAS SOUPS 76271 WITH SCORE 76374.29
AT ITER 886 NEW BEST:: SOT 166436 SOS 103283 HAS SOPS 103283 HAS SOUS 76271 HAS SOUPS 76271 WITH SCORE 76374.283
AT ITER 887 NEW BEST:: SOT 166407 SOS 103225 HAS SOPS 103225 HAS SOUS 76126 HAS SOUPS 76126 WITH SCORE 76229.225
AT ITER 889 NEW BEST:: SOT 166429 SOS 103071 HAS SOPS 103071 HAS SOUS 76026 HAS SOUPS 76026 WITH SCORE 76129.071
AT ITER 891 NEW BEST:: SOT 166405 SOS 102660 HAS SOPS 102660 HAS SOUS 75804 HAS SOUPS 75804 WITH SCORE 75906.66
AT ITER 892 NEW BEST:: SOT 166399 SOS 102654 HAS SOPS 102654 HAS SOUS 75798 HAS SOUPS 75798 WITH SCORE 75900.654
AT ITER 893 NEW BEST:: SOT 166305 SOS 102560 HAS SOPS 102560 HAS SOUS 75704 HAS SOUPS 75704 WITH SCORE 75806.56
AT ITER 896 NEW BEST:: SOT 166261 SOS 102309 HAS SOPS 102309 HAS SOUS 75647 HAS SOUPS 75647 WITH SCORE 75749.309
AT ITER 899 NEW BEST:: SOT 166269 SOS 102301 HAS SOPS 102301 HAS SOUS 75615 HAS SOUPS 75615 WITH SCORE 75717.301
AT ITER 900 NEW BEST:: SOT 166274 SOS 102290 HAS SOPS 102290 HAS SOUS 75604 HAS SOUPS 75604 WITH SCORE 75706.29
AT ITER 905 NEW BEST:: SOT 166273 SOS 102288 HAS SOPS 102288 HAS SOUS 75602 HAS SOUPS 75602 WITH SCORE 75704.288
AT ITER 906 NEW BEST:: SOT 166348 SOS 102238 HAS SOPS 102238 HAS SOUS 75583 HAS SOUPS 75583 WITH SCORE 75685.238
AT ITER 917 NEW BEST:: SOT 166359 SOS 103088 HAS SOPS 103088 HAS SOUS 75476 HAS SOUPS 75476 WITH SCORE 75579.088
AT ITER 924 NEW BEST:: SOT 166330 SOS 103059 HAS SOPS 103059 HAS SOUS 75447 HAS SOUPS 75447 WITH SCORE 75550.059
AT ITER 925 NEW BEST:: SOT 166324 SOS 103053 HAS SOPS 103053 HAS SOUS 75441 HAS SOUPS 75441 WITH SCORE 75544.053
AT ITER 930 NEW BEST:: SOT 166160 SOS 102889 HAS SOPS 102889 HAS SOUS 75277 HAS SOUPS 75277 WITH SCORE 75379.889
AT ITER 934 NEW BEST:: SOT 166034 SOS 102763 HAS SOPS 102763 HAS SOUS 75151 HAS SOUPS 75151 WITH SCORE 75253.763
AT ITER 947 NEW BEST:: SOT 165890 SOS 102619 HAS SOPS 102619 HAS SOUS 74983 HAS SOUPS 74983 WITH SCORE 75085.619
AT ITER 952 NEW BEST:: SOT 165894 SOS 102623 HAS SOPS 102623 HAS SOUS 74981 HAS SOUPS 74981 WITH SCORE 75083.623
AT ITER 962 NEW BEST:: SOT 165887 SOS 102614 HAS SOPS 102614 HAS SOUS 74970 HAS SOUPS 74970 WITH SCORE 75072.614
AT ITER 965 NEW BEST:: SOT 165863 SOS 102547 HAS SOPS 102547 HAS SOUS 74899 HAS SOUPS 74899 WITH SCORE 75001.547
AT ITER 966 NEW BEST:: SOT 165840 SOS 102524 HAS SOPS 102524 HAS SOUS 74876 HAS SOUPS 74876 WITH SCORE 74978.524
AT ITER 967 NEW BEST:: SOT 165823 SOS 102507 HAS SOPS 102507 HAS SOUS 74859 HAS SOUPS 74859 WITH SCORE 74961.507
AT ITER 971 NEW BEST:: SOT 165800 SOS 102341 HAS SOPS 102341 HAS SOUS 74743 HAS SOUPS 74743 WITH SCORE 74845.341
AT ITER 974 NEW BEST:: SOT 165728 SOS 102217 HAS SOPS 102217 HAS SOUS 74619 HAS SOUPS 74619 WITH SCORE 74721.217
AT ITER 982 NEW BEST:: SOT 165677 SOS 101955 HAS SOPS 101955 HAS SOUS 74619 HAS SOUPS 74619 WITH SCORE 74720.955
AT ITER 990 NEW BEST:: SOT 165729 SOS 102241 HAS SOPS 102241 HAS SOUS 74616 HAS SOUPS 74616 WITH SCORE 74718.241
AT ITER 996 NEW BEST:: SOT 165691 SOS 102033 HAS SOPS 102033 HAS SOUS 74458 HAS SOUPS 74458 WITH SCORE 74560.033
AT ITER 997 NEW BEST:: SOT 165394 SOS 100846 HAS SOPS 100846 HAS SOUS 73936 HAS SOUPS 73936 WITH SCORE 74036.846
AT ITER 1005 NEW BEST:: SOT 165292 SOS 100381 HAS SOPS 100381 HAS SOUS 73732 HAS SOUPS 73732 WITH SCORE 73832.381
AT ITER 1008 NEW BEST:: SOT 165205 SOS 100294 HAS SOPS 100294 HAS SOUS 73645 HAS SOUPS 73645 WITH SCORE 73745.294
AT ITER 1010 NEW BEST:: SOT 164927 SOS 99976 HAS SOPS 99976 HAS SOUS 73223 HAS SOUPS 73223 WITH SCORE 73322.976
AT ITER 1014 NEW BEST:: SOT 164927 SOS 99972 HAS SOPS 99972 HAS SOUS 73219 HAS SOUPS 73219 WITH SCORE 73318.972
AT ITER 1020 NEW BEST:: SOT 164921 SOS 99966 HAS SOPS 99966 HAS SOUS 73213 HAS SOUPS 73213 WITH SCORE 73312.966
AT ITER 1021 NEW BEST:: SOT 164913 SOS 99956 HAS SOPS 99956 HAS SOUS 73203 HAS SOUPS 73203 WITH SCORE 73302.956
AT ITER 1027 NEW BEST:: SOT 164913 SOS 100061 HAS SOPS 100061 HAS SOUS 73151 HAS SOUPS 73151 WITH SCORE 73251.061
AT ITER 1028 NEW BEST:: SOT 164908 SOS 99294 HAS SOPS 99294 HAS SOUS 73020 HAS SOUPS 73020 WITH SCORE 73119.294
AT ITER 1029 NEW BEST:: SOT 164782 SOS 99111 HAS SOPS 99111 HAS SOUS 72666 HAS SOUPS 72666 WITH SCORE 72765.111
AT ITER 1033 NEW BEST:: SOT 164668 SOS 98875 HAS SOPS 98875 HAS SOUS 72491 HAS SOUPS 72491 WITH SCORE 72589.875
AT ITER 1040 NEW BEST:: SOT 164595 SOS 98787 HAS SOPS 98787 HAS SOUS 72389 HAS SOUPS 72389 WITH SCORE 72487.787
AT ITER 1043 NEW BEST:: SOT 164524 SOS 98708 HAS SOPS 98708 HAS SOUS 72224 HAS SOUPS 72224 WITH SCORE 72322.708
AT ITER 1045 NEW BEST:: SOT 164208 SOS 98392 HAS SOPS 98392 HAS SOUS 71904 HAS SOUPS 71904 WITH SCORE 72002.392
AT ITER 1048 NEW BEST:: SOT 164251 SOS 98259 HAS SOPS 98259 HAS SOUS 71859 HAS SOUPS 71859 WITH SCORE 71957.259
AT ITER 1055 NEW BEST:: SOT 163961 SOS 97969 HAS SOPS 97969 HAS SOUS 71439 HAS SOUPS 71439 WITH SCORE 71536.969
AT ITER 1063 NEW BEST:: SOT 163961 SOS 98120 HAS SOPS 98120 HAS SOUS 71347 HAS SOUPS 71347 WITH SCORE 71445.12
AT ITER 1068 NEW BEST:: SOT 163961 SOS 98164 HAS SOPS 98164 HAS SOUS 71338 HAS SOUPS 71338 WITH SCORE 71436.164
AT ITER 1081 NEW BEST:: SOT 163952 SOS 98155 HAS SOPS 98155 HAS SOUS 71329 HAS SOUPS 71329 WITH SCORE 71427.155
AT ITER 1093 NEW BEST:: SOT 163952 SOS 98131 HAS SOPS 98131 HAS SOUS 71307 HAS SOUPS 71307 WITH SCORE 71405.131
AT ITER 1099 NEW BEST:: SOT 163695 SOS 97809 HAS SOPS 97809 HAS SOUS 70630 HAS SOUPS 70630 WITH SCORE 70727.809
AT ITER 1104 NEW BEST:: SOT 163697 SOS 97844 HAS SOPS 97844 HAS SOUS 70603 HAS SOUPS 70603 WITH SCORE 70700.844
AT ITER 1112 NEW BEST:: SOT 163710 SOS 97834 HAS SOPS 97834 HAS SOUS 70594 HAS SOUPS 70594 WITH SCORE 70691.834
AT ITER 1119 NEW BEST:: SOT 163693 SOS 97817 HAS SOPS 97817 HAS SOUS 70577 HAS SOUPS 70577 WITH SCORE 70674.817
AT ITER 1120 NEW BEST:: SOT 163835 SOS 97836 HAS SOPS 97836 HAS SOUS 70553 HAS SOUPS 70553 WITH SCORE 70650.836
AT ITER 1140 NEW BEST:: SOT 163829 SOS 97827 HAS SOPS 97827 HAS SOUS 70532 HAS SOUPS 70532 WITH SCORE 70629.827
AT ITER 1144 NEW BEST:: SOT 163926 SOS 97815 HAS SOPS 97815 HAS SOUS 70495 HAS SOUPS 70495 WITH SCORE 70592.815
AT ITER 1145 NEW BEST:: SOT 163926 SOS 97815 HAS SOPS 97815 HAS SOUS 70458 HAS SOUPS 70458 WITH SCORE 70555.815
AT ITER 1149 NEW BEST:: SOT 163923 SOS 97591 HAS SOPS 97591 HAS SOUS 70388 HAS SOUPS 70388 WITH SCORE 70485.591
AT ITER 1153 NEW BEST:: SOT 163894 SOS 97562 HAS SOPS 97562 HAS SOUS 70351 HAS SOUPS 70351 WITH SCORE 70448.562
AT ITER 1155 NEW BEST:: SOT 163654 SOS 97381 HAS SOPS 97381 HAS SOUS 70231 HAS SOUPS 70231 WITH SCORE 70328.381
AT ITER 1158 NEW BEST:: SOT 163643 SOS 97342 HAS SOPS 97342 HAS SOUS 70201 HAS SOUPS 70201 WITH SCORE 70298.342
AT ITER 1159 NEW BEST:: SOT 163613 SOS 97312 HAS SOPS 97312 HAS SOUS 70171 HAS SOUPS 70171 WITH SCORE 70268.312
AT ITER 1170 NEW BEST:: SOT 163488 SOS 97122 HAS SOPS 97122 HAS SOUS 70014 HAS SOUPS 70014 WITH SCORE 70111.122
AT ITER 1172 NEW BEST:: SOT 163421 SOS 97011 HAS SOPS 97011 HAS SOUS 69975 HAS SOUPS 69975 WITH SCORE 70072.011
AT ITER 1176 NEW BEST:: SOT 163421 SOS 96965 HAS SOPS 96965 HAS SOUS 69927 HAS SOUPS 69927 WITH SCORE 70023.965
AT ITER 1181 NEW BEST:: SOT 163409 SOS 96863 HAS SOPS 96863 HAS SOUS 69756 HAS SOUPS 69756 WITH SCORE 69852.863
AT ITER 1183 NEW BEST:: SOT 163458 SOS 96735 HAS SOPS 96735 HAS SOUS 69588 HAS SOUPS 69588 WITH SCORE 69684.735
AT ITER 1201 NEW BEST:: SOT 163320 SOS 96595 HAS SOPS 96595 HAS SOUS 69503 HAS SOUPS 69503 WITH SCORE 69599.595
AT ITER 1202 NEW BEST:: SOT 163310 SOS 96570 HAS SOPS 96570 HAS SOUS 69483 HAS SOUPS 69483 WITH SCORE 69579.57
AT ITER 1219 NEW BEST:: SOT 163307 SOS 96531 HAS SOPS 96531 HAS SOUS 69453 HAS SOUPS 69453 WITH SCORE 69549.531
AT ITER 1230 NEW BEST:: SOT 163312 SOS 96536 HAS SOPS 96536 HAS SOUS 69449 HAS SOUPS 69449 WITH SCORE 69545.536
AT ITER 1236 NEW BEST:: SOT 163281 SOS 96505 HAS SOPS 96505 HAS SOUS 69418 HAS SOUPS 69418 WITH SCORE 69514.505
AT ITER 1249 NEW BEST:: SOT 163299 SOS 96117 HAS SOPS 96117 HAS SOUS 69308 HAS SOUPS 69308 WITH SCORE 69404.117
AT ITER 1250 NEW BEST:: SOT 163152 SOS 96113 HAS SOPS 96113 HAS SOUS 69299 HAS SOUPS 69299 WITH SCORE 69395.113
AT ITER 1253 NEW BEST:: SOT 162777 SOS 95378 HAS SOPS 95378 HAS SOUS 68726 HAS SOUPS 68726 WITH SCORE 68821.378
AT ITER 1264 NEW BEST:: SOT 162771 SOS 95157 HAS SOPS 95157 HAS SOUS 68501 HAS SOUPS 68501 WITH SCORE 68596.157
AT ITER 1268 NEW BEST:: SOT 162691 SOS 95031 HAS SOPS 95031 HAS SOUS 68386 HAS SOUPS 68386 WITH SCORE 68481.031
AT ITER 1274 NEW BEST:: SOT 162234 SOS 94431 HAS SOPS 94431 HAS SOUS 67791 HAS SOUPS 67791 WITH SCORE 67885.431
AT ITER 1278 NEW BEST:: SOT 162234 SOS 94463 HAS SOPS 94463 HAS SOUS 67759 HAS SOUPS 67759 WITH SCORE 67853.463
AT ITER 1297 NEW BEST:: SOT 161632 SOS 93712 HAS SOPS 93712 HAS SOUS 66996 HAS SOUPS 66996 WITH SCORE 67089.712
AT ITER 1307 NEW BEST:: SOT 161632 SOS 93724 HAS SOPS 93724 HAS SOUS 66993 HAS SOUPS 66993 WITH SCORE 67086.724
AT ITER 1312 NEW BEST:: SOT 161574 SOS 93698 HAS SOPS 93698 HAS SOUS 66931 HAS SOUPS 66931 WITH SCORE 67024.698
AT ITER 1316 NEW BEST:: SOT 161572 SOS 93690 HAS SOPS 93690 HAS SOUS 66931 HAS SOUPS 66931 WITH SCORE 67024.69
AT ITER 1319 NEW BEST:: SOT 161591 SOS 93712 HAS SOPS 93712 HAS SOUS 66907 HAS SOUPS 66907 WITH SCORE 67000.712
AT ITER 1322 NEW BEST:: SOT 161392 SOS 93283 HAS SOPS 93283 HAS SOUS 66633 HAS SOUPS 66633 WITH SCORE 66726.283
AT ITER 1324 NEW BEST:: SOT 161345 SOS 93318 HAS SOPS 93318 HAS SOUS 66629 HAS SOUPS 66629 WITH SCORE 66722.318
AT ITER 1325 NEW BEST:: SOT 161252 SOS 93019 HAS SOPS 93019 HAS SOUS 66436 HAS SOUPS 66436 WITH SCORE 66529.019
AT ITER 1328 NEW BEST:: SOT 161243 SOS 93007 HAS SOPS 93007 HAS SOUS 66415 HAS SOUPS 66415 WITH SCORE 66508.007
AT ITER 1329 NEW BEST:: SOT 161263 SOS 93031 HAS SOPS 93031 HAS SOUS 66412 HAS SOUPS 66412 WITH SCORE 66505.031
AT ITER 1346 NEW BEST:: SOT 161279 SOS 93489 HAS SOPS 93489 HAS SOUS 66214 HAS SOUPS 66214 WITH SCORE 66307.489
AT ITER 1348 NEW BEST:: SOT 161218 SOS 93251 HAS SOPS 93251 HAS SOUS 65976 HAS SOUPS 65976 WITH SCORE 66069.251
AT ITER 1351 NEW BEST:: SOT 161196 SOS 93245 HAS SOPS 93245 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65866.245
AT ITER 1364 NEW BEST:: SOT 161196 SOS 93314 HAS SOPS 93314 HAS SOUS 65760 HAS SOUPS 65760 WITH SCORE 65853.314
AT ITER 1367 NEW BEST:: SOT 161196 SOS 92769 HAS SOPS 92769 HAS SOUS 65585 HAS SOUPS 65585 WITH SCORE 65677.769
AT ITER 1374 NEW BEST:: SOT 161175 SOS 92748 HAS SOPS 92748 HAS SOUS 65515 HAS SOUPS 65515 WITH SCORE 65607.748
AT ITER 1375 NEW BEST:: SOT 161165 SOS 92738 HAS SOPS 92738 HAS SOUS 65505 HAS SOUPS 65505 WITH SCORE 65597.738
AT ITER 1376 NEW BEST:: SOT 161157 SOS 92730 HAS SOPS 92730 HAS SOUS 65491 HAS SOUPS 65491 WITH SCORE 65583.73
AT ITER 1392 NEW BEST:: SOT 160884 SOS 92502 HAS SOPS 92502 HAS SOUS 65302 HAS SOUPS 65302 WITH SCORE 65394.502
AT ITER 1403 NEW BEST:: SOT 160884 SOS 92472 HAS SOPS 92472 HAS SOUS 65272 HAS SOUPS 65272 WITH SCORE 65364.472
AT ITER 1411 NEW BEST:: SOT 160903 SOS 92506 HAS SOPS 92506 HAS SOUS 65261 HAS SOUPS 65261 WITH SCORE 65353.506
AT ITER 1417 NEW BEST:: SOT 160791 SOS 92394 HAS SOPS 92394 HAS SOUS 65149 HAS SOUPS 65149 WITH SCORE 65241.394
AT ITER 1426 NEW BEST:: SOT 160773 SOS 92376 HAS SOPS 92376 HAS SOUS 65149 HAS SOUPS 65149 WITH SCORE 65241.376
AT ITER 1436 NEW BEST:: SOT 160750 SOS 92284 HAS SOPS 92284 HAS SOUS 65135 HAS SOUPS 65135 WITH SCORE 65227.284
AT ITER 1443 NEW BEST:: SOT 160505 SOS 91773 HAS SOPS 91773 HAS SOUS 64761 HAS SOUPS 64761 WITH SCORE 64852.773
AT ITER 1460 NEW BEST:: SOT 160462 SOS 91730 HAS SOPS 91730 HAS SOUS 64718 HAS SOUPS 64718 WITH SCORE 64809.73
AT ITER 1462 NEW BEST:: SOT 160303 SOS 91572 HAS SOPS 91572 HAS SOUS 64560 HAS SOUPS 64560 WITH SCORE 64651.572
AT ITER 1466 NEW BEST:: SOT 160291 SOS 91560 HAS SOPS 91560 HAS SOUS 64530 HAS SOUPS 64530 WITH SCORE 64621.56
AT ITER 1467 NEW BEST:: SOT 160228 SOS 91437 HAS SOPS 91437 HAS SOUS 64437 HAS SOUPS 64437 WITH SCORE 64528.437
AT ITER 1468 NEW BEST:: SOT 159893 SOS 90769 HAS SOPS 90769 HAS SOUS 63848 HAS SOUPS 63848 WITH SCORE 63938.769
AT ITER 1485 NEW BEST:: SOT 159860 SOS 90702 HAS SOPS 90702 HAS SOUS 63727 HAS SOUPS 63727 WITH SCORE 63817.702
AT ITER 1488 NEW BEST:: SOT 159860 SOS 90782 HAS SOPS 90782 HAS SOUS 63693 HAS SOUPS 63693 WITH SCORE 63783.782
AT ITER 1519 NEW BEST:: SOT 159806 SOS 90736 HAS SOPS 90736 HAS SOUS 63633 HAS SOUPS 63633 WITH SCORE 63723.736
AT ITER 1529 NEW BEST:: SOT 159792 SOS 90629 HAS SOPS 90629 HAS SOUS 63562 HAS SOUPS 63562 WITH SCORE 63652.629
AT ITER 1530 NEW BEST:: SOT 159717 SOS 90595 HAS SOPS 90595 HAS SOUS 63089 HAS SOUPS 63089 WITH SCORE 63179.595
AT ITER 1535 NEW BEST:: SOT 159717 SOS 90536 HAS SOPS 90536 HAS SOUS 62975 HAS SOUPS 62975 WITH SCORE 63065.536
AT ITER 1544 NEW BEST:: SOT 159642 SOS 90460 HAS SOPS 90460 HAS SOUS 62895 HAS SOUPS 62895 WITH SCORE 62985.46
AT ITER 1545 NEW BEST:: SOT 159619 SOS 89749 HAS SOPS 89749 HAS SOUS 62792 HAS SOUPS 62792 WITH SCORE 62881.749
AT ITER 1547 NEW BEST:: SOT 159619 SOS 89718 HAS SOPS 89718 HAS SOUS 62755 HAS SOUPS 62755 WITH SCORE 62844.718
AT ITER 1557 NEW BEST:: SOT 159619 SOS 89706 HAS SOPS 89706 HAS SOUS 62749 HAS SOUPS 62749 WITH SCORE 62838.706
AT ITER 1561 NEW BEST:: SOT 159615 SOS 89702 HAS SOPS 89702 HAS SOUS 62745 HAS SOUPS 62745 WITH SCORE 62834.702
AT ITER 1564 NEW BEST:: SOT 159497 SOS 89462 HAS SOPS 89462 HAS SOUS 62655 HAS SOUPS 62655 WITH SCORE 62744.462
AT ITER 1568 NEW BEST:: SOT 159480 SOS 89425 HAS SOPS 89425 HAS SOUS 62616 HAS SOUPS 62616 WITH SCORE 62705.425
AT ITER 1569 NEW BEST:: SOT 159409 SOS 89282 HAS SOPS 89282 HAS SOUS 62417 HAS SOUPS 62417 WITH SCORE 62506.282
AT ITER 1572 NEW BEST:: SOT 159409 SOS 89283 HAS SOPS 89283 HAS SOUS 62414 HAS SOUPS 62414 WITH SCORE 62503.283
AT ITER 1574 NEW BEST:: SOT 159329 SOS 89203 HAS SOPS 89203 HAS SOUS 62334 HAS SOUPS 62334 WITH SCORE 62423.203
AT ITER 1575 NEW BEST:: SOT 159467 SOS 89257 HAS SOPS 89257 HAS SOUS 62313 HAS SOUPS 62313 WITH SCORE 62402.257
AT ITER 1585 NEW BEST:: SOT 159409 SOS 89297 HAS SOPS 89297 HAS SOUS 62239 HAS SOUPS 62239 WITH SCORE 62328.297
AT ITER 1597 NEW BEST:: SOT 159409 SOS 89187 HAS SOPS 89187 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62175.187
AT ITER 1606 NEW BEST:: SOT 159364 SOS 89142 HAS SOPS 89142 HAS SOUS 62041 HAS SOUPS 62041 WITH SCORE 62130.142
AT ITER 1610 NEW BEST:: SOT 159225 SOS 88772 HAS SOPS 88772 HAS SOUS 61735 HAS SOUPS 61735 WITH SCORE 61823.772
AT ITER 1613 NEW BEST:: SOT 159047 SOS 88661 HAS SOPS 88661 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61516.661
AT ITER 1619 NEW BEST:: SOT 159027 SOS 88640 HAS SOPS 88640 HAS SOUS 61407 HAS SOUPS 61407 WITH SCORE 61495.64
AT ITER 1630 NEW BEST:: SOT 158949 SOS 88534 HAS SOPS 88534 HAS SOUS 61301 HAS SOUPS 61301 WITH SCORE 61389.534
AT ITER 1661 NEW BEST:: SOT 158976 SOS 88524 HAS SOPS 88524 HAS SOUS 61291 HAS SOUPS 61291 WITH SCORE 61379.524
AT ITER 1665 NEW BEST:: SOT 159084 SOS 88629 HAS SOPS 88629 HAS SOUS 61280 HAS SOUPS 61280 WITH SCORE 61368.629
AT ITER 1680 NEW BEST:: SOT 159084 SOS 88557 HAS SOPS 88557 HAS SOUS 61280 HAS SOUPS 61280 WITH SCORE 61368.557
AT ITER 1684 NEW BEST:: SOT 159084 SOS 88515 HAS SOPS 88515 HAS SOUS 61248 HAS SOUPS 61248 WITH SCORE 61336.515
AT ITER 1694 NEW BEST:: SOT 159029 SOS 88154 HAS SOPS 88154 HAS SOUS 61099 HAS SOUPS 61099 WITH SCORE 61187.154
AT ITER 1703 NEW BEST:: SOT 158977 SOS 87940 HAS SOPS 87940 HAS SOUS 60782 HAS SOUPS 60782 WITH SCORE 60869.94
AT ITER 1720 NEW BEST:: SOT 158993 SOS 88010 HAS SOPS 88010 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60869.01
AT ITER 1724 NEW BEST:: SOT 158928 SOS 87912 HAS SOPS 87912 HAS SOUS 60683 HAS SOUPS 60683 WITH SCORE 60770.912
AT ITER 1737 NEW BEST:: SOT 158928 SOS 87876 HAS SOPS 87876 HAS SOUS 60653 HAS SOUPS 60653 WITH SCORE 60740.876
AT ITER 1739 NEW BEST:: SOT 158924 SOS 87860 HAS SOPS 87860 HAS SOUS 60642 HAS SOUPS 60642 WITH SCORE 60729.86
AT ITER 1743 NEW BEST:: SOT 158924 SOS 87752 HAS SOPS 87752 HAS SOUS 60588 HAS SOUPS 60588 WITH SCORE 60675.752
AT ITER 1744 NEW BEST:: SOT 158560 SOS 87350 HAS SOPS 87350 HAS SOUS 60145 HAS SOUPS 60145 WITH SCORE 60232.35
AT ITER 1754 NEW BEST:: SOT 158527 SOS 87317 HAS SOPS 87317 HAS SOUS 60112 HAS SOUPS 60112 WITH SCORE 60199.317
AT ITER 1759 NEW BEST:: SOT 158453 SOS 87243 HAS SOPS 87243 HAS SOUS 60038 HAS SOUPS 60038 WITH SCORE 60125.243
AT ITER 1764 NEW BEST:: SOT 158107 SOS 86897 HAS SOPS 86897 HAS SOUS 59692 HAS SOUPS 59692 WITH SCORE 59778.897
AT ITER 1769 NEW BEST:: SOT 158084 SOS 86885 HAS SOPS 86885 HAS SOUS 59662 HAS SOUPS 59662 WITH SCORE 59748.885
AT ITER 1774 NEW BEST:: SOT 158054 SOS 86705 HAS SOPS 86705 HAS SOUS 59572 HAS SOUPS 59572 WITH SCORE 59658.705
AT ITER 1775 NEW BEST:: SOT 158030 SOS 86673 HAS SOPS 86673 HAS SOUS 59542 HAS SOUPS 59542 WITH SCORE 59628.673
AT ITER 1781 NEW BEST:: SOT 158045 SOS 86776 HAS SOPS 86776 HAS SOUS 59521 HAS SOUPS 59521 WITH SCORE 59607.776
AT ITER 1782 NEW BEST:: SOT 158042 SOS 86770 HAS SOPS 86770 HAS SOUS 59515 HAS SOUPS 59515 WITH SCORE 59601.77
AT ITER 1796 NEW BEST:: SOT 157937 SOS 86665 HAS SOPS 86665 HAS SOUS 59410 HAS SOUPS 59410 WITH SCORE 59496.665
AT ITER 1797 NEW BEST:: SOT 157945 SOS 86636 HAS SOPS 86636 HAS SOUS 59241 HAS SOUPS 59241 WITH SCORE 59327.636
AT ITER 1800 NEW BEST:: SOT 157769 SOS 86460 HAS SOPS 86460 HAS SOUS 59036 HAS SOUPS 59036 WITH SCORE 59122.46
AT ITER 1814 NEW BEST:: SOT 157699 SOS 86409 HAS SOPS 86409 HAS SOUS 59008 HAS SOUPS 59008 WITH SCORE 59094.409
AT ITER 1822 NEW BEST:: SOT 157702 SOS 86413 HAS SOPS 86413 HAS SOUS 59006 HAS SOUPS 59006 WITH SCORE 59092.413
AT ITER 1824 NEW BEST:: SOT 157707 SOS 86441 HAS SOPS 86441 HAS SOUS 58980 HAS SOUPS 58980 WITH SCORE 59066.441
AT ITER 1844 NEW BEST:: SOT 157718 SOS 86452 HAS SOPS 86452 HAS SOUS 58966 HAS SOUPS 58966 WITH SCORE 59052.452
AT ITER 1846 NEW BEST:: SOT 157676 SOS 86382 HAS SOPS 86382 HAS SOUS 58896 HAS SOUPS 58896 WITH SCORE 58982.382
AT ITER 1847 NEW BEST:: SOT 157525 SOS 86244 HAS SOPS 86244 HAS SOUS 58760 HAS SOUPS 58760 WITH SCORE 58846.244
AT ITER 1851 NEW BEST:: SOT 157543 SOS 86229 HAS SOPS 86229 HAS SOUS 58747 HAS SOUPS 58747 WITH SCORE 58833.229
AT ITER 1856 NEW BEST:: SOT 157413 SOS 86162 HAS SOPS 86162 HAS SOUS 58472 HAS SOUPS 58472 WITH SCORE 58558.162
AT ITER 1875 NEW BEST:: SOT 157413 SOS 86168 HAS SOPS 86168 HAS SOUS 58466 HAS SOUPS 58466 WITH SCORE 58552.168
AT ITER 1888 NEW BEST:: SOT 157311 SOS 85770 HAS SOPS 85770 HAS SOUS 58386 HAS SOUPS 58386 WITH SCORE 58471.77
AT ITER 1891 NEW BEST:: SOT 157269 SOS 85688 HAS SOPS 85688 HAS SOUS 58196 HAS SOUPS 58196 WITH SCORE 58281.688
AT ITER 1906 NEW BEST:: SOT 157204 SOS 85610 HAS SOPS 85610 HAS SOUS 58114 HAS SOUPS 58114 WITH SCORE 58199.61
AT ITER 1909 NEW BEST:: SOT 157141 SOS 85522 HAS SOPS 85522 HAS SOUS 58011 HAS SOUPS 58011 WITH SCORE 58096.522
AT ITER 1912 NEW BEST:: SOT 157126 SOS 85654 HAS SOPS 85654 HAS SOUS 57935 HAS SOUPS 57935 WITH SCORE 58020.654
AT ITER 1917 NEW BEST:: SOT 157035 SOS 85527 HAS SOPS 85527 HAS SOUS 57790 HAS SOUPS 57790 WITH SCORE 57875.527
AT ITER 1928 NEW BEST:: SOT 156923 SOS 84980 HAS SOPS 84980 HAS SOUS 57707 HAS SOUPS 57707 WITH SCORE 57791.98
AT ITER 1934 NEW BEST:: SOT 156887 SOS 84729 HAS SOPS 84729 HAS SOUS 57502 HAS SOUPS 57502 WITH SCORE 57586.729
AT ITER 1941 NEW BEST:: SOT 156883 SOS 84725 HAS SOPS 84725 HAS SOUS 57496 HAS SOUPS 57496 WITH SCORE 57580.725
AT ITER 1943 NEW BEST:: SOT 156804 SOS 84646 HAS SOPS 84646 HAS SOUS 57496 HAS SOUPS 57496 WITH SCORE 57580.646
AT ITER 1945 NEW BEST:: SOT 156780 SOS 84601 HAS SOPS 84601 HAS SOUS 57435 HAS SOUPS 57435 WITH SCORE 57519.601
AT ITER 1975 NEW BEST:: SOT 156780 SOS 84565 HAS SOPS 84565 HAS SOUS 57380 HAS SOUPS 57380 WITH SCORE 57464.565
AT ITER 1976 NEW BEST:: SOT 156709 SOS 84729 HAS SOPS 84729 HAS SOUS 57338 HAS SOUPS 57338 WITH SCORE 57422.729
AT ITER 1980 NEW BEST:: SOT 156838 SOS 84934 HAS SOPS 84934 HAS SOUS 57278 HAS SOUPS 57278 WITH SCORE 57362.934
AT ITER 1982 NEW BEST:: SOT 156858 SOS 84934 HAS SOPS 84934 HAS SOUS 57249 HAS SOUPS 57249 WITH SCORE 57333.934
AT ITER 2003 NEW BEST:: SOT 156815 SOS 84874 HAS SOPS 84874 HAS SOUS 57218 HAS SOUPS 57218 WITH SCORE 57302.874
AT ITER 2024 NEW BEST:: SOT 156776 SOS 84835 HAS SOPS 84835 HAS SOUS 57179 HAS SOUPS 57179 WITH SCORE 57263.835
AT ITER 2030 NEW BEST:: SOT 156779 SOS 84843 HAS SOPS 84843 HAS SOUS 57116 HAS SOUPS 57116 WITH SCORE 57200.843
AT ITER 2047 NEW BEST:: SOT 156618 SOS 84691 HAS SOPS 84691 HAS SOUS 56921 HAS SOUPS 56921 WITH SCORE 57005.691
AT ITER 2057 NEW BEST:: SOT 156618 SOS 84832 HAS SOPS 84832 HAS SOUS 56856 HAS SOUPS 56856 WITH SCORE 56940.832
AT ITER 2069 NEW BEST:: SOT 156539 SOS 84327 HAS SOPS 84327 HAS SOUS 56705 HAS SOUPS 56705 WITH SCORE 56789.327
AT ITER 2076 NEW BEST:: SOT 156468 SOS 83853 HAS SOPS 83853 HAS SOUS 56664 HAS SOUPS 56664 WITH SCORE 56747.853
AT ITER 2087 NEW BEST:: SOT 156487 SOS 83847 HAS SOPS 83847 HAS SOUS 56658 HAS SOUPS 56658 WITH SCORE 56741.847
AT ITER 2089 NEW BEST:: SOT 156475 SOS 83835 HAS SOPS 83835 HAS SOUS 56646 HAS SOUPS 56646 WITH SCORE 56729.835
AT ITER 2106 NEW BEST:: SOT 156374 SOS 83687 HAS SOPS 83687 HAS SOUS 56489 HAS SOUPS 56489 WITH SCORE 56572.687
AT ITER 2107 NEW BEST:: SOT 156317 SOS 83612 HAS SOPS 83612 HAS SOUS 56410 HAS SOUPS 56410 WITH SCORE 56493.612
AT ITER 2117 NEW BEST:: SOT 156233 SOS 83666 HAS SOPS 83666 HAS SOUS 56401 HAS SOUPS 56401 WITH SCORE 56484.666
AT ITER 2119 NEW BEST:: SOT 156312 SOS 83922 HAS SOPS 83922 HAS SOUS 56359 HAS SOUPS 56359 WITH SCORE 56442.922
AT ITER 2135 NEW BEST:: SOT 156236 SOS 83457 HAS SOPS 83457 HAS SOUS 55911 HAS SOUPS 55911 WITH SCORE 55994.457
AT ITER 2142 NEW BEST:: SOT 156223 SOS 83366 HAS SOPS 83366 HAS SOUS 55885 HAS SOUPS 55885 WITH SCORE 55968.366
AT ITER 2143 NEW BEST:: SOT 156223 SOS 83366 HAS SOPS 83366 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 55902.366
AT ITER 2144 NEW BEST:: SOT 156121 SOS 83264 HAS SOPS 83264 HAS SOUS 55717 HAS SOUPS 55717 WITH SCORE 55800.264
AT ITER 2155 NEW BEST:: SOT 156110 SOS 83229 HAS SOPS 83229 HAS SOUS 55709 HAS SOUPS 55709 WITH SCORE 55792.229
AT ITER 2168 NEW BEST:: SOT 156116 SOS 83168 HAS SOPS 83168 HAS SOUS 55646 HAS SOUPS 55646 WITH SCORE 55729.168
AT ITER 2176 NEW BEST:: SOT 156074 SOS 83084 HAS SOPS 83084 HAS SOUS 55576 HAS SOUPS 55576 WITH SCORE 55659.084
AT ITER 2181 NEW BEST:: SOT 155849 SOS 82569 HAS SOPS 82569 HAS SOUS 55235 HAS SOUPS 55235 WITH SCORE 55317.569
AT ITER 2187 NEW BEST:: SOT 155840 SOS 82529 HAS SOPS 82529 HAS SOUS 55217 HAS SOUPS 55217 WITH SCORE 55299.529
AT ITER 2198 NEW BEST:: SOT 155834 SOS 82523 HAS SOPS 82523 HAS SOUS 55211 HAS SOUPS 55211 WITH SCORE 55293.523
AT ITER 2209 NEW BEST:: SOT 155822 SOS 82508 HAS SOPS 82508 HAS SOUS 55196 HAS SOUPS 55196 WITH SCORE 55278.508
AT ITER 2211 NEW BEST:: SOT 155745 SOS 81887 HAS SOPS 81887 HAS SOUS 54983 HAS SOUPS 54983 WITH SCORE 55064.887
AT ITER 2214 NEW BEST:: SOT 155711 SOS 81893 HAS SOPS 81893 HAS SOUS 54973 HAS SOUPS 54973 WITH SCORE 55054.893
AT ITER 2216 NEW BEST:: SOT 155811 SOS 81993 HAS SOPS 81993 HAS SOUS 54827 HAS SOUPS 54827 WITH SCORE 54908.993
AT ITER 2217 NEW BEST:: SOT 155805 SOS 81987 HAS SOPS 81987 HAS SOUS 54819 HAS SOUPS 54819 WITH SCORE 54900.987
AT ITER 2218 NEW BEST:: SOT 155673 SOS 81249 HAS SOPS 81249 HAS SOUS 54664 HAS SOUPS 54664 WITH SCORE 54745.249
AT ITER 2221 NEW BEST:: SOT 155604 SOS 81198 HAS SOPS 81198 HAS SOUS 54548 HAS SOUPS 54548 WITH SCORE 54629.198
AT ITER 2228 NEW BEST:: SOT 155531 SOS 81095 HAS SOPS 81095 HAS SOUS 54443 HAS SOUPS 54443 WITH SCORE 54524.095
AT ITER 2230 NEW BEST:: SOT 155495 SOS 81011 HAS SOPS 81011 HAS SOUS 54395 HAS SOUPS 54395 WITH SCORE 54476.011
AT ITER 2231 NEW BEST:: SOT 155425 SOS 80907 HAS SOPS 80907 HAS SOUS 54293 HAS SOUPS 54293 WITH SCORE 54373.907
AT ITER 2260 NEW BEST:: SOT 155428 SOS 80905 HAS SOPS 80905 HAS SOUS 54287 HAS SOUPS 54287 WITH SCORE 54367.905
AT ITER 2265 NEW BEST:: SOT 155426 SOS 80865 HAS SOPS 80865 HAS SOUS 54263 HAS SOUPS 54263 WITH SCORE 54343.865
AT ITER 2266 NEW BEST:: SOT 155382 SOS 80810 HAS SOPS 80810 HAS SOUS 54208 HAS SOUPS 54208 WITH SCORE 54288.81
AT ITER 2268 NEW BEST:: SOT 155377 SOS 80754 HAS SOPS 80754 HAS SOUS 54131 HAS SOUPS 54131 WITH SCORE 54211.754
AT ITER 2278 NEW BEST:: SOT 155487 SOS 80234 HAS SOPS 80234 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54204.234
AT ITER 2283 NEW BEST:: SOT 155214 SOS 79961 HAS SOPS 79961 HAS SOUS 53853 HAS SOUPS 53853 WITH SCORE 53932.961
AT ITER 2287 NEW BEST:: SOT 155231 SOS 79536 HAS SOPS 79536 HAS SOUS 53783 HAS SOUPS 53783 WITH SCORE 53862.536
AT ITER 2298 NEW BEST:: SOT 155005 SOS 79064 HAS SOPS 79064 HAS SOUS 53478 HAS SOUPS 53478 WITH SCORE 53557.064
AT ITER 2304 NEW BEST:: SOT 155006 SOS 79083 HAS SOPS 79083 HAS SOUS 53463 HAS SOUPS 53463 WITH SCORE 53542.083
AT ITER 2308 NEW BEST:: SOT 154883 SOS 78971 HAS SOPS 78971 HAS SOUS 53339 HAS SOUPS 53339 WITH SCORE 53417.971
AT ITER 2310 NEW BEST:: SOT 154778 SOS 78866 HAS SOPS 78866 HAS SOUS 53308 HAS SOUPS 53308 WITH SCORE 53386.866
AT ITER 2328 NEW BEST:: SOT 154778 SOS 78826 HAS SOPS 78826 HAS SOUS 53277 HAS SOUPS 53277 WITH SCORE 53355.826
AT ITER 2330 NEW BEST:: SOT 154770 SOS 78802 HAS SOPS 78802 HAS SOUS 53245 HAS SOUPS 53245 WITH SCORE 53323.802
AT ITER 2331 NEW BEST:: SOT 154764 SOS 78680 HAS SOPS 78680 HAS SOUS 53052 HAS SOUPS 53052 WITH SCORE 53130.68
AT ITER 2336 NEW BEST:: SOT 154735 SOS 78676 HAS SOPS 78676 HAS SOUS 53048 HAS SOUPS 53048 WITH SCORE 53126.676
AT ITER 2347 NEW BEST:: SOT 154700 SOS 78616 HAS SOPS 78616 HAS SOUS 53027 HAS SOUPS 53027 WITH SCORE 53105.616
AT ITER 2350 NEW BEST:: SOT 154288 SOS 78204 HAS SOPS 78204 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52693.204
AT ITER 2357 NEW BEST:: SOT 154282 SOS 78198 HAS SOPS 78198 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52687.198
AT ITER 2358 NEW BEST:: SOT 154279 SOS 78195 HAS SOPS 78195 HAS SOUS 52605 HAS SOUPS 52605 WITH SCORE 52683.195
AT ITER 2359 NEW BEST:: SOT 154219 SOS 78218 HAS SOPS 78218 HAS SOUS 52574 HAS SOUPS 52574 WITH SCORE 52652.218
AT ITER 2384 NEW BEST:: SOT 154207 SOS 78164 HAS SOPS 78164 HAS SOUS 52520 HAS SOUPS 52520 WITH SCORE 52598.164
AT ITER 2385 NEW BEST:: SOT 154228 SOS 78185 HAS SOPS 78185 HAS SOUS 52488 HAS SOUPS 52488 WITH SCORE 52566.185
AT ITER 2392 NEW BEST:: SOT 154015 SOS 76264 HAS SOPS 76264 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52138.264
AT ITER 2411 NEW BEST:: SOT 153988 SOS 76128 HAS SOPS 76128 HAS SOUS 52021 HAS SOUPS 52021 WITH SCORE 52097.128
AT ITER 2420 NEW BEST:: SOT 153919 SOS 75962 HAS SOPS 75962 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51934.962
AT ITER 2451 NEW BEST:: SOT 153901 SOS 75926 HAS SOPS 75926 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51934.926
AT ITER 2455 NEW BEST:: SOT 153868 SOS 75893 HAS SOPS 75893 HAS SOUS 51826 HAS SOUPS 51826 WITH SCORE 51901.893
AT ITER 2457 NEW BEST:: SOT 153847 SOS 75667 HAS SOPS 75667 HAS SOUS 51734 HAS SOUPS 51734 WITH SCORE 51809.667
AT ITER 2459 NEW BEST:: SOT 153831 SOS 75667 HAS SOPS 75667 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51793.667
AT ITER 2470 NEW BEST:: SOT 153765 SOS 75496 HAS SOPS 75496 HAS SOUS 51389 HAS SOUPS 51389 WITH SCORE 51464.496
AT ITER 2476 NEW BEST:: SOT 153675 SOS 75380 HAS SOPS 75380 HAS SOUS 51261 HAS SOUPS 51261 WITH SCORE 51336.38
AT ITER 2479 NEW BEST:: SOT 153656 SOS 75334 HAS SOPS 75334 HAS SOUS 51199 HAS SOUPS 51199 WITH SCORE 51274.334
AT ITER 2491 NEW BEST:: SOT 153655 SOS 75325 HAS SOPS 75325 HAS SOUS 51196 HAS SOUPS 51196 WITH SCORE 51271.325
AT ITER 2497 NEW BEST:: SOT 153612 SOS 75312 HAS SOPS 75312 HAS SOUS 51003 HAS SOUPS 51003 WITH SCORE 51078.312
AT ITER 2503 NEW BEST:: SOT 153614 SOS 75314 HAS SOPS 75314 HAS SOUS 50998 HAS SOUPS 50998 WITH SCORE 51073.314
AT ITER 2522 NEW BEST:: SOT 153665 SOS 75228 HAS SOPS 75228 HAS SOUS 50947 HAS SOUPS 50947 WITH SCORE 51022.228
AT ITER 2531 NEW BEST:: SOT 153636 SOS 74999 HAS SOPS 74999 HAS SOUS 50811 HAS SOUPS 50811 WITH SCORE 50885.999
AT ITER 2539 NEW BEST:: SOT 153636 SOS 74994 HAS SOPS 74994 HAS SOUS 50806 HAS SOUPS 50806 WITH SCORE 50880.994
AT ITER 2557 NEW BEST:: SOT 153456 SOS 74814 HAS SOPS 74814 HAS SOUS 50620 HAS SOUPS 50620 WITH SCORE 50694.814
AT ITER 2603 NEW BEST:: SOT 153256 SOS 74389 HAS SOPS 74389 HAS SOUS 50267 HAS SOUPS 50267 WITH SCORE 50341.389
AT ITER 2604 NEW BEST:: SOT 153220 SOS 74353 HAS SOPS 74353 HAS SOUS 50204 HAS SOUPS 50204 WITH SCORE 50278.353
AT ITER 2614 NEW BEST:: SOT 153206 SOS 74346 HAS SOPS 74346 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50243.346
AT ITER 2617 NEW BEST:: SOT 152841 SOS 74019 HAS SOPS 74019 HAS SOUS 49638 HAS SOUPS 49638 WITH SCORE 49712.019
AT ITER 2621 NEW BEST:: SOT 152806 SOS 73944 HAS SOPS 73944 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49660.944
AT ITER 2639 NEW BEST:: SOT 152752 SOS 73890 HAS SOPS 73890 HAS SOUS 49511 HAS SOUPS 49511 WITH SCORE 49584.89
AT ITER 2648 NEW BEST:: SOT 152725 SOS 73794 HAS SOPS 73794 HAS SOUS 49448 HAS SOUPS 49448 WITH SCORE 49521.794
AT ITER 2649 NEW BEST:: SOT 152418 SOS 73428 HAS SOPS 73428 HAS SOUS 49154 HAS SOUPS 49154 WITH SCORE 49227.428
AT ITER 2661 NEW BEST:: SOT 152414 SOS 73379 HAS SOPS 73379 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49187.379
AT ITER 2664 NEW BEST:: SOT 152378 SOS 73139 HAS SOPS 73139 HAS SOUS 48946 HAS SOUPS 48946 WITH SCORE 49019.139
AT ITER 2670 NEW BEST:: SOT 152361 SOS 73119 HAS SOPS 73119 HAS SOUS 48920 HAS SOUPS 48920 WITH SCORE 48993.119
AT ITER 2674 NEW BEST:: SOT 152327 SOS 73058 HAS SOPS 73058 HAS SOUS 48906 HAS SOUPS 48906 WITH SCORE 48979.058
AT ITER 2689 NEW BEST:: SOT 152327 SOS 73002 HAS SOPS 73002 HAS SOUS 48878 HAS SOUPS 48878 WITH SCORE 48951.002
AT ITER 2717 NEW BEST:: SOT 152327 SOS 72946 HAS SOPS 72946 HAS SOUS 48850 HAS SOUPS 48850 WITH SCORE 48922.946
AT ITER 2720 NEW BEST:: SOT 152102 SOS 72748 HAS SOPS 72748 HAS SOUS 48655 HAS SOUPS 48655 WITH SCORE 48727.748
AT ITER 2723 NEW BEST:: SOT 151866 SOS 72498 HAS SOPS 72498 HAS SOUS 48405 HAS SOUPS 48405 WITH SCORE 48477.498
AT ITER 2733 NEW BEST:: SOT 151859 SOS 72474 HAS SOPS 72474 HAS SOUS 48396 HAS SOUPS 48396 WITH SCORE 48468.474
AT ITER 2746 NEW BEST:: SOT 151888 SOS 72350 HAS SOPS 72350 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48312.35
AT ITER 2751 NEW BEST:: SOT 151839 SOS 72269 HAS SOPS 72269 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48159.269
AT ITER 2753 NEW BEST:: SOT 151828 SOS 72215 HAS SOPS 72215 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48132.215
AT ITER 2760 NEW BEST:: SOT 151804 SOS 72179 HAS SOPS 72179 HAS SOUS 48024 HAS SOUPS 48024 WITH SCORE 48096.179
AT ITER 2764 NEW BEST:: SOT 151804 SOS 72179 HAS SOPS 72179 HAS SOUS 47984 HAS SOUPS 47984 WITH SCORE 48056.179
AT ITER 2767 NEW BEST:: SOT 151800 SOS 72175 HAS SOPS 72175 HAS SOUS 47984 HAS SOUPS 47984 WITH SCORE 48056.175
AT ITER 2790 NEW BEST:: SOT 151680 SOS 72055 HAS SOPS 72055 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47936.055
AT ITER 2797 NEW BEST:: SOT 151669 SOS 71956 HAS SOPS 71956 HAS SOUS 47831 HAS SOUPS 47831 WITH SCORE 47902.956
AT ITER 2802 NEW BEST:: SOT 151682 SOS 71939 HAS SOPS 71939 HAS SOUS 47788 HAS SOUPS 47788 WITH SCORE 47859.939
AT ITER 2804 NEW BEST:: SOT 151650 SOS 71894 HAS SOPS 71894 HAS SOUS 47743 HAS SOUPS 47743 WITH SCORE 47814.894
AT ITER 2809 NEW BEST:: SOT 151588 SOS 71854 HAS SOPS 71854 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47763.854
AT ITER 2813 NEW BEST:: SOT 151588 SOS 72005 HAS SOPS 72005 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47689.005
AT ITER 2816 NEW BEST:: SOT 151574 SOS 71976 HAS SOPS 71976 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47619.976
AT ITER 2847 NEW BEST:: SOT 151512 SOS 71664 HAS SOPS 71664 HAS SOUS 47482 HAS SOUPS 47482 WITH SCORE 47553.664
AT ITER 2848 NEW BEST:: SOT 151456 SOS 71608 HAS SOPS 71608 HAS SOUS 47406 HAS SOUPS 47406 WITH SCORE 47477.608
AT ITER 2857 NEW BEST:: SOT 151448 SOS 71580 HAS SOPS 71580 HAS SOUS 47390 HAS SOUPS 47390 WITH SCORE 47461.58
AT ITER 2858 NEW BEST:: SOT 151260 SOS 71002 HAS SOPS 71002 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47115.002
AT ITER 2861 NEW BEST:: SOT 151256 SOS 70998 HAS SOPS 70998 HAS SOUS 47034 HAS SOUPS 47034 WITH SCORE 47104.998
AT ITER 2862 NEW BEST:: SOT 151255 SOS 70997 HAS SOPS 70997 HAS SOUS 47033 HAS SOUPS 47033 WITH SCORE 47103.997
AT ITER 2871 NEW BEST:: SOT 151214 SOS 70816 HAS SOPS 70816 HAS SOUS 46886 HAS SOUPS 46886 WITH SCORE 46956.816
AT ITER 2898 NEW BEST:: SOT 151214 SOS 70729 HAS SOPS 70729 HAS SOUS 46886 HAS SOUPS 46886 WITH SCORE 46956.729
AT ITER 2899 NEW BEST:: SOT 151171 SOS 70360 HAS SOPS 70360 HAS SOUS 46788 HAS SOUPS 46788 WITH SCORE 46858.36
AT ITER 2914 NEW BEST:: SOT 151108 SOS 70268 HAS SOPS 70268 HAS SOUS 46725 HAS SOUPS 46725 WITH SCORE 46795.268
AT ITER 2940 NEW BEST:: SOT 151090 SOS 70196 HAS SOPS 70196 HAS SOUS 46671 HAS SOUPS 46671 WITH SCORE 46741.196
AT ITER 2947 NEW BEST:: SOT 150812 SOS 69714 HAS SOPS 69714 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46566.714
AT ITER 3002 NEW BEST:: SOT 150711 SOS 69597 HAS SOPS 69597 HAS SOUS 46380 HAS SOUPS 46380 WITH SCORE 46449.597
AT ITER 3019 NEW BEST:: SOT 150650 SOS 69518 HAS SOPS 69518 HAS SOUS 46247 HAS SOUPS 46247 WITH SCORE 46316.518
AT ITER 3020 NEW BEST:: SOT 150604 SOS 69452 HAS SOPS 69452 HAS SOUS 46151 HAS SOUPS 46151 WITH SCORE 46220.452
AT ITER 3039 NEW BEST:: SOT 150588 SOS 69484 HAS SOPS 69484 HAS SOUS 46099 HAS SOUPS 46099 WITH SCORE 46168.484
AT ITER 3053 NEW BEST:: SOT 150673 SOS 69357 HAS SOPS 69357 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46084.357
AT ITER 3064 NEW BEST:: SOT 150627 SOS 69167 HAS SOPS 69167 HAS SOUS 45945 HAS SOUPS 45945 WITH SCORE 46014.167
AT ITER 3091 NEW BEST:: SOT 150632 SOS 69172 HAS SOPS 69172 HAS SOUS 45938 HAS SOUPS 45938 WITH SCORE 46007.172
AT ITER 3095 NEW BEST:: SOT 150693 SOS 69018 HAS SOPS 69018 HAS SOUS 45931 HAS SOUPS 45931 WITH SCORE 46000.018
AT ITER 3102 NEW BEST:: SOT 150689 SOS 69076 HAS SOPS 69076 HAS SOUS 45903 HAS SOUPS 45903 WITH SCORE 45972.076
AT ITER 3103 NEW BEST:: SOT 150689 SOS 69018 HAS SOPS 69018 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45951.018
AT ITER 3132 NEW BEST:: SOT 150681 SOS 68924 HAS SOPS 68924 HAS SOUS 45759 HAS SOUPS 45759 WITH SCORE 45827.924
AT ITER 3145 NEW BEST:: SOT 150633 SOS 68844 HAS SOPS 68844 HAS SOUS 45705 HAS SOUPS 45705 WITH SCORE 45773.844
AT ITER 3166 NEW BEST:: SOT 150564 SOS 68771 HAS SOPS 68771 HAS SOUS 45632 HAS SOUPS 45632 WITH SCORE 45700.771
AT ITER 3182 NEW BEST:: SOT 150564 SOS 68850 HAS SOPS 68850 HAS SOUS 45556 HAS SOUPS 45556 WITH SCORE 45624.85
AT ITER 3184 NEW BEST:: SOT 150538 SOS 68824 HAS SOPS 68824 HAS SOUS 45530 HAS SOUPS 45530 WITH SCORE 45598.824
AT ITER 3193 NEW BEST:: SOT 150529 SOS 68766 HAS SOPS 68766 HAS SOUS 45476 HAS SOUPS 45476 WITH SCORE 45544.766
AT ITER 3200 NEW BEST:: SOT 150528 SOS 68762 HAS SOPS 68762 HAS SOUS 45399 HAS SOUPS 45399 WITH SCORE 45467.762
AT ITER 3210 NEW BEST:: SOT 150519 SOS 68750 HAS SOPS 68750 HAS SOUS 45378 HAS SOUPS 45378 WITH SCORE 45446.75
AT ITER 3218 NEW BEST:: SOT 150519 SOS 68716 HAS SOPS 68716 HAS SOUS 45344 HAS SOUPS 45344 WITH SCORE 45412.716
AT ITER 3229 NEW BEST:: SOT 150483 SOS 68680 HAS SOPS 68680 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45333.68
AT ITER 3259 NEW BEST:: SOT 150397 SOS 68625 HAS SOPS 68625 HAS SOUS 45199 HAS SOUPS 45199 WITH SCORE 45267.625
AT ITER 3262 NEW BEST:: SOT 150381 SOS 68603 HAS SOPS 68603 HAS SOUS 45183 HAS SOUPS 45183 WITH SCORE 45251.603
AT ITER 3267 NEW BEST:: SOT 150378 SOS 68597 HAS SOPS 68597 HAS SOUS 45171 HAS SOUPS 45171 WITH SCORE 45239.597
AT ITER 3279 NEW BEST:: SOT 150310 SOS 68200 HAS SOPS 68200 HAS SOUS 44931 HAS SOUPS 44931 WITH SCORE 44999.2
AT ITER 3290 NEW BEST:: SOT 150180 SOS 68022 HAS SOPS 68022 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44839.022
AT ITER 3295 NEW BEST:: SOT 150174 SOS 68012 HAS SOPS 68012 HAS SOUS 44753 HAS SOUPS 44753 WITH SCORE 44821.012
AT ITER 3298 NEW BEST:: SOT 150167 SOS 68012 HAS SOPS 68012 HAS SOUS 44725 HAS SOUPS 44725 WITH SCORE 44793.012
AT ITER 3319 NEW BEST:: SOT 150100 SOS 67574 HAS SOPS 67574 HAS SOUS 44599 HAS SOUPS 44599 WITH SCORE 44666.574
AT ITER 3333 NEW BEST:: SOT 150088 SOS 67542 HAS SOPS 67542 HAS SOUS 44579 HAS SOUPS 44579 WITH SCORE 44646.542
AT ITER 3341 NEW BEST:: SOT 150088 SOS 67752 HAS SOPS 67752 HAS SOUS 44572 HAS SOUPS 44572 WITH SCORE 44639.752
AT ITER 3345 NEW BEST:: SOT 150016 SOS 67651 HAS SOPS 67651 HAS SOUS 44473 HAS SOUPS 44473 WITH SCORE 44540.651
AT ITER 3358 NEW BEST:: SOT 150012 SOS 67623 HAS SOPS 67623 HAS SOUS 44469 HAS SOUPS 44469 WITH SCORE 44536.623
AT ITER 3360 NEW BEST:: SOT 149992 SOS 67546 HAS SOPS 67546 HAS SOUS 44428 HAS SOUPS 44428 WITH SCORE 44495.546
AT ITER 3380 NEW BEST:: SOT 150033 SOS 67592 HAS SOPS 67592 HAS SOUS 44379 HAS SOUPS 44379 WITH SCORE 44446.592
AT ITER 3382 NEW BEST:: SOT 150009 SOS 67560 HAS SOPS 67560 HAS SOUS 44339 HAS SOUPS 44339 WITH SCORE 44406.56
AT ITER 3410 NEW BEST:: SOT 149827 SOS 67390 HAS SOPS 67390 HAS SOUS 44217 HAS SOUPS 44217 WITH SCORE 44284.39
AT ITER 3420 NEW BEST:: SOT 149809 SOS 67379 HAS SOPS 67379 HAS SOUS 44206 HAS SOUPS 44206 WITH SCORE 44273.379
AT ITER 3441 NEW BEST:: SOT 149825 SOS 66985 HAS SOPS 66985 HAS SOUS 44134 HAS SOUPS 44134 WITH SCORE 44200.985
AT ITER 3465 NEW BEST:: SOT 149797 SOS 66938 HAS SOPS 66938 HAS SOUS 44079 HAS SOUPS 44079 WITH SCORE 44145.938
AT ITER 3466 NEW BEST:: SOT 149870 SOS 67396 HAS SOPS 67396 HAS SOUS 43954 HAS SOUPS 43954 WITH SCORE 44021.396
AT ITER 3468 NEW BEST:: SOT 149879 SOS 67405 HAS SOPS 67405 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 44009.405
AT ITER 3476 NEW BEST:: SOT 149634 SOS 67373 HAS SOPS 67373 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43740.373
AT ITER 3521 NEW BEST:: SOT 149634 SOS 67342 HAS SOPS 67342 HAS SOUS 43666 HAS SOUPS 43666 WITH SCORE 43733.342
AT ITER 3525 NEW BEST:: SOT 149591 SOS 67266 HAS SOPS 67266 HAS SOUS 43593 HAS SOUPS 43593 WITH SCORE 43660.266
AT ITER 3527 NEW BEST:: SOT 149630 SOS 67355 HAS SOPS 67355 HAS SOUS 43592 HAS SOUPS 43592 WITH SCORE 43659.355
AT ITER 3545 NEW BEST:: SOT 149628 SOS 67345 HAS SOPS 67345 HAS SOUS 43592 HAS SOUPS 43592 WITH SCORE 43659.345
AT ITER 3554 NEW BEST:: SOT 149490 SOS 67012 HAS SOPS 67012 HAS SOUS 43472 HAS SOUPS 43472 WITH SCORE 43539.012
AT ITER 3558 NEW BEST:: SOT 149490 SOS 66943 HAS SOPS 66943 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43509.943
AT ITER 3563 NEW BEST:: SOT 149506 SOS 66960 HAS SOPS 66960 HAS SOUS 43394 HAS SOUPS 43394 WITH SCORE 43460.96
AT ITER 3573 NEW BEST:: SOT 149522 SOS 66692 HAS SOPS 66692 HAS SOUS 43285 HAS SOUPS 43285 WITH SCORE 43351.692
AT ITER 3587 NEW BEST:: SOT 149522 SOS 66714 HAS SOPS 66714 HAS SOUS 43271 HAS SOUPS 43271 WITH SCORE 43337.714
AT ITER 3588 NEW BEST:: SOT 149521 SOS 66712 HAS SOPS 66712 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43334.712
AT ITER 3591 NEW BEST:: SOT 149429 SOS 66606 HAS SOPS 66606 HAS SOUS 43031 HAS SOUPS 43031 WITH SCORE 43097.606
AT ITER 3593 NEW BEST:: SOT 149364 SOS 66541 HAS SOPS 66541 HAS SOUS 42966 HAS SOUPS 42966 WITH SCORE 43032.541
AT ITER 3597 NEW BEST:: SOT 149390 SOS 66537 HAS SOPS 66537 HAS SOUS 42958 HAS SOUPS 42958 WITH SCORE 43024.537
AT ITER 3598 NEW BEST:: SOT 149390 SOS 66517 HAS SOPS 66517 HAS SOUS 42958 HAS SOUPS 42958 WITH SCORE 43024.517
AT ITER 3603 NEW BEST:: SOT 149370 SOS 66322 HAS SOPS 66322 HAS SOUS 42864 HAS SOUPS 42864 WITH SCORE 42930.322
AT ITER 3626 NEW BEST:: SOT 149366 SOS 66261 HAS SOPS 66261 HAS SOUS 42851 HAS SOUPS 42851 WITH SCORE 42917.261
AT ITER 3635 NEW BEST:: SOT 149300 SOS 66228 HAS SOPS 66228 HAS SOUS 42793 HAS SOUPS 42793 WITH SCORE 42859.228
AT ITER 3643 NEW BEST:: SOT 149008 SOS 65931 HAS SOPS 65931 HAS SOUS 42561 HAS SOUPS 42561 WITH SCORE 42626.931
AT ITER 3653 NEW BEST:: SOT 148944 SOS 65891 HAS SOPS 65891 HAS SOUS 42544 HAS SOUPS 42544 WITH SCORE 42609.891
AT ITER 3666 NEW BEST:: SOT 148942 SOS 65889 HAS SOPS 65889 HAS SOUS 42544 HAS SOUPS 42544 WITH SCORE 42609.889
AT ITER 3674 NEW BEST:: SOT 148930 SOS 65868 HAS SOPS 65868 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42579.868
AT ITER 3677 NEW BEST:: SOT 148908 SOS 65857 HAS SOPS 65857 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42557.857
AT ITER 3688 NEW BEST:: SOT 148909 SOS 65865 HAS SOPS 65865 HAS SOUS 42490 HAS SOUPS 42490 WITH SCORE 42555.865
AT ITER 3700 NEW BEST:: SOT 148934 SOS 65927 HAS SOPS 65927 HAS SOUS 42452 HAS SOUPS 42452 WITH SCORE 42517.927
AT ITER 3710 NEW BEST:: SOT 148934 SOS 65829 HAS SOPS 65829 HAS SOUS 42430 HAS SOUPS 42430 WITH SCORE 42495.829
AT ITER 3712 NEW BEST:: SOT 148917 SOS 65581 HAS SOPS 65581 HAS SOUS 42423 HAS SOUPS 42423 WITH SCORE 42488.581
AT ITER 3714 NEW BEST:: SOT 148796 SOS 65229 HAS SOPS 65229 HAS SOUS 42360 HAS SOUPS 42360 WITH SCORE 42425.229
AT ITER 3721 NEW BEST:: SOT 148784 SOS 65217 HAS SOPS 65217 HAS SOUS 42348 HAS SOUPS 42348 WITH SCORE 42413.217
AT ITER 3768 NEW BEST:: SOT 148778 SOS 65211 HAS SOPS 65211 HAS SOUS 42341 HAS SOUPS 42341 WITH SCORE 42406.211
AT ITER 3778 NEW BEST:: SOT 148778 SOS 65205 HAS SOPS 65205 HAS SOUS 42339 HAS SOUPS 42339 WITH SCORE 42404.205
AT ITER 3789 NEW BEST:: SOT 148772 SOS 65199 HAS SOPS 65199 HAS SOUS 42333 HAS SOUPS 42333 WITH SCORE 42398.199
AT ITER 3799 NEW BEST:: SOT 148797 SOS 64910 HAS SOPS 64910 HAS SOUS 42310 HAS SOUPS 42310 WITH SCORE 42374.91
AT ITER 3809 NEW BEST:: SOT 148775 SOS 64740 HAS SOPS 64740 HAS SOUS 42206 HAS SOUPS 42206 WITH SCORE 42270.74
AT ITER 3840 NEW BEST:: SOT 148725 SOS 64690 HAS SOPS 64690 HAS SOUS 42156 HAS SOUPS 42156 WITH SCORE 42220.69
AT ITER 3853 NEW BEST:: SOT 148711 SOS 64676 HAS SOPS 64676 HAS SOUS 42119 HAS SOUPS 42119 WITH SCORE 42183.676
AT ITER 3861 NEW BEST:: SOT 148705 SOS 64596 HAS SOPS 64596 HAS SOUS 42117 HAS SOUPS 42117 WITH SCORE 42181.596
AT ITER 3867 NEW BEST:: SOT 148705 SOS 64597 HAS SOPS 64597 HAS SOUS 42115 HAS SOUPS 42115 WITH SCORE 42179.597
AT ITER 3875 NEW BEST:: SOT 148705 SOS 64075 HAS SOPS 64075 HAS SOUS 42073 HAS SOUPS 42073 WITH SCORE 42137.075
AT ITER 3881 NEW BEST:: SOT 148689 SOS 64115 HAS SOPS 64115 HAS SOUS 41994 HAS SOUPS 41994 WITH SCORE 42058.115
AT ITER 3882 NEW BEST:: SOT 148640 SOS 64066 HAS SOPS 64066 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41896.066
AT ITER 3887 NEW BEST:: SOT 148618 SOS 63878 HAS SOPS 63878 HAS SOUS 41708 HAS SOUPS 41708 WITH SCORE 41771.878
AT ITER 3888 NEW BEST:: SOT 148618 SOS 63728 HAS SOPS 63728 HAS SOUS 41639 HAS SOUPS 41639 WITH SCORE 41702.728
AT ITER 3895 NEW BEST:: SOT 148618 SOS 63693 HAS SOPS 63693 HAS SOUS 41615 HAS SOUPS 41615 WITH SCORE 41678.693
AT ITER 3917 NEW BEST:: SOT 148552 SOS 63556 HAS SOPS 63556 HAS SOUS 41374 HAS SOUPS 41374 WITH SCORE 41437.556
AT ITER 3939 NEW BEST:: SOT 148501 SOS 63511 HAS SOPS 63511 HAS SOUS 41129 HAS SOUPS 41129 WITH SCORE 41192.511
AT ITER 3967 NEW BEST:: SOT 148498 SOS 63490 HAS SOPS 63490 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41168.49
AT ITER 3974 NEW BEST:: SOT 148484 SOS 63379 HAS SOPS 63379 HAS SOUS 41078 HAS SOUPS 41078 WITH SCORE 41141.379
AT ITER 3981 NEW BEST:: SOT 148477 SOS 63360 HAS SOPS 63360 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41099.36
AT ITER 3982 NEW BEST:: SOT 148449 SOS 63247 HAS SOPS 63247 HAS SOUS 40998 HAS SOUPS 40998 WITH SCORE 41061.247
AT ITER 3988 NEW BEST:: SOT 148429 SOS 63210 HAS SOPS 63210 HAS SOUS 40944 HAS SOUPS 40944 WITH SCORE 41007.21
AT ITER 3992 NEW BEST:: SOT 148429 SOS 63210 HAS SOPS 63210 HAS SOUS 40923 HAS SOUPS 40923 WITH SCORE 40986.21
AT ITER 3995 NEW BEST:: SOT 148429 SOS 63195 HAS SOPS 63195 HAS SOUS 40917 HAS SOUPS 40917 WITH SCORE 40980.195
AT ITER 4020 NEW BEST:: SOT 148566 SOS 63311 HAS SOPS 63311 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40974.311
AT ITER 4022 NEW BEST:: SOT 148527 SOS 63062 HAS SOPS 63062 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40821.062
AT ITER 4028 NEW BEST:: SOT 148380 SOS 62633 HAS SOPS 62633 HAS SOUS 40564 HAS SOUPS 40564 WITH SCORE 40626.633
AT ITER 4044 NEW BEST:: SOT 148380 SOS 62727 HAS SOPS 62727 HAS SOUS 40562 HAS SOUPS 40562 WITH SCORE 40624.727
AT ITER 4045 NEW BEST:: SOT 148233 SOS 62259 HAS SOPS 62259 HAS SOUS 40495 HAS SOUPS 40495 WITH SCORE 40557.259
AT ITER 4088 NEW BEST:: SOT 148217 SOS 62187 HAS SOPS 62187 HAS SOUS 40479 HAS SOUPS 40479 WITH SCORE 40541.187
AT ITER 4089 NEW BEST:: SOT 148032 SOS 61944 HAS SOPS 61944 HAS SOUS 40251 HAS SOUPS 40251 WITH SCORE 40312.944
AT ITER 4093 NEW BEST:: SOT 148054 SOS 62036 HAS SOPS 62036 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40312.036
AT ITER 4098 NEW BEST:: SOT 148064 SOS 62010 HAS SOPS 62010 HAS SOUS 40228 HAS SOUPS 40228 WITH SCORE 40290.01
AT ITER 4121 NEW BEST:: SOT 147980 SOS 61885 HAS SOPS 61885 HAS SOUS 40077 HAS SOUPS 40077 WITH SCORE 40138.885
AT ITER 4142 NEW BEST:: SOT 148042 SOS 61713 HAS SOPS 61713 HAS SOUS 40000 HAS SOUPS 40000 WITH SCORE 40061.713
AT ITER 4164 NEW BEST:: SOT 148147 SOS 61708 HAS SOPS 61708 HAS SOUS 39932 HAS SOUPS 39932 WITH SCORE 39993.708
AT ITER 4173 NEW BEST:: SOT 148014 SOS 61624 HAS SOPS 61624 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39898.624
AT ITER 4198 NEW BEST:: SOT 147932 SOS 62298 HAS SOPS 62298 HAS SOUS 39774 HAS SOUPS 39774 WITH SCORE 39836.298
AT ITER 4217 NEW BEST:: SOT 147922 SOS 62288 HAS SOPS 62288 HAS SOUS 39764 HAS SOUPS 39764 WITH SCORE 39826.288
AT ITER 4236 NEW BEST:: SOT 147922 SOS 62192 HAS SOPS 62192 HAS SOUS 39764 HAS SOUPS 39764 WITH SCORE 39826.192
AT ITER 4237 NEW BEST:: SOT 147898 SOS 62168 HAS SOPS 62168 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39729.168
AT ITER 4241 NEW BEST:: SOT 147893 SOS 62163 HAS SOPS 62163 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39729.163
AT ITER 4250 NEW BEST:: SOT 147890 SOS 62157 HAS SOPS 62157 HAS SOUS 39664 HAS SOUPS 39664 WITH SCORE 39726.157
AT ITER 4259 NEW BEST:: SOT 147890 SOS 62086 HAS SOPS 62086 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39640.086
AT ITER 4267 NEW BEST:: SOT 147884 SOS 62080 HAS SOPS 62080 HAS SOUS 39572 HAS SOUPS 39572 WITH SCORE 39634.08
AT ITER 4281 NEW BEST:: SOT 147884 SOS 62065 HAS SOPS 62065 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39604.065
AT ITER 4296 NEW BEST:: SOT 147804 SOS 61956 HAS SOPS 61956 HAS SOUS 39418 HAS SOUPS 39418 WITH SCORE 39479.956
AT ITER 4306 NEW BEST:: SOT 147816 SOS 61968 HAS SOPS 61968 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39466.968
AT ITER 4309 NEW BEST:: SOT 147842 SOS 61947 HAS SOPS 61947 HAS SOUS 39393 HAS SOUPS 39393 WITH SCORE 39454.947
AT ITER 4318 NEW BEST:: SOT 147849 SOS 61913 HAS SOPS 61913 HAS SOUS 39319 HAS SOUPS 39319 WITH SCORE 39380.913
AT ITER 4349 NEW BEST:: SOT 147785 SOS 61857 HAS SOPS 61857 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39276.857
AT ITER 4352 NEW BEST:: SOT 147785 SOS 62157 HAS SOPS 62157 HAS SOUS 39026 HAS SOUPS 39026 WITH SCORE 39088.157
AT ITER 4380 NEW BEST:: SOT 147782 SOS 62318 HAS SOPS 62318 HAS SOUS 38938 HAS SOUPS 38938 WITH SCORE 39000.318
AT ITER 4403 NEW BEST:: SOT 147782 SOS 62330 HAS SOPS 62330 HAS SOUS 38926 HAS SOUPS 38926 WITH SCORE 38988.33
AT ITER 4411 NEW BEST:: SOT 147660 SOS 62218 HAS SOPS 62218 HAS SOUS 38828 HAS SOUPS 38828 WITH SCORE 38890.218
AT ITER 4414 NEW BEST:: SOT 147660 SOS 62123 HAS SOPS 62123 HAS SOUS 38770 HAS SOUPS 38770 WITH SCORE 38832.123
AT ITER 4427 NEW BEST:: SOT 147671 SOS 62118 HAS SOPS 62118 HAS SOUS 38712 HAS SOUPS 38712 WITH SCORE 38774.118
AT ITER 4449 NEW BEST:: SOT 147647 SOS 62066 HAS SOPS 62066 HAS SOUS 38641 HAS SOUPS 38641 WITH SCORE 38703.066
AT ITER 4450 NEW BEST:: SOT 147642 SOS 62050 HAS SOPS 62050 HAS SOUS 38631 HAS SOUPS 38631 WITH SCORE 38693.05
AT ITER 4451 NEW BEST:: SOT 147627 SOS 62040 HAS SOPS 62040 HAS SOUS 38608 HAS SOUPS 38608 WITH SCORE 38670.04
AT ITER 4453 NEW BEST:: SOT 147627 SOS 62014 HAS SOPS 62014 HAS SOUS 38591 HAS SOUPS 38591 WITH SCORE 38653.014
AT ITER 4454 NEW BEST:: SOT 147600 SOS 61879 HAS SOPS 61879 HAS SOUS 38537 HAS SOUPS 38537 WITH SCORE 38598.879
AT ITER 4475 NEW BEST:: SOT 147600 SOS 61818 HAS SOPS 61818 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38576.818
AT ITER 4478 NEW BEST:: SOT 147600 SOS 61790 HAS SOPS 61790 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38576.79
AT ITER 4480 NEW BEST:: SOT 147600 SOS 61790 HAS SOPS 61790 HAS SOUS 38503 HAS SOUPS 38503 WITH SCORE 38564.79
AT ITER 4481 NEW BEST:: SOT 147189 SOS 60654 HAS SOPS 60654 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38369.654
AT ITER 4503 NEW BEST:: SOT 147182 SOS 60652 HAS SOPS 60652 HAS SOUS 38307 HAS SOUPS 38307 WITH SCORE 38367.652
AT ITER 4506 NEW BEST:: SOT 147110 SOS 60008 HAS SOPS 60008 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38291.008
AT ITER 4515 NEW BEST:: SOT 146932 SOS 59834 HAS SOPS 59834 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38102.834
AT ITER 4528 NEW BEST:: SOT 146926 SOS 59813 HAS SOPS 59813 HAS SOUS 38033 HAS SOUPS 38033 WITH SCORE 38092.813
AT ITER 4531 NEW BEST:: SOT 146896 SOS 59783 HAS SOPS 59783 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38062.783
AT ITER 4542 NEW BEST:: SOT 146895 SOS 59771 HAS SOPS 59771 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38062.771
AT ITER 4565 NEW BEST:: SOT 146926 SOS 59778 HAS SOPS 59778 HAS SOUS 37998 HAS SOUPS 37998 WITH SCORE 38057.778
AT ITER 4567 NEW BEST:: SOT 146882 SOS 59656 HAS SOPS 59656 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 38000.656
AT ITER 4577 NEW BEST:: SOT 146773 SOS 59045 HAS SOPS 59045 HAS SOUS 37805 HAS SOUPS 37805 WITH SCORE 37864.045
AT ITER 4599 NEW BEST:: SOT 146752 SOS 59018 HAS SOPS 59018 HAS SOUS 37781 HAS SOUPS 37781 WITH SCORE 37840.018
AT ITER 4601 NEW BEST:: SOT 146657 SOS 58923 HAS SOPS 58923 HAS SOUS 37691 HAS SOUPS 37691 WITH SCORE 37749.923
AT ITER 4612 NEW BEST:: SOT 146647 SOS 58950 HAS SOPS 58950 HAS SOUS 37684 HAS SOUPS 37684 WITH SCORE 37742.95
AT ITER 4613 NEW BEST:: SOT 146647 SOS 58985 HAS SOPS 58985 HAS SOUS 37683 HAS SOUPS 37683 WITH SCORE 37741.985
AT ITER 4616 NEW BEST:: SOT 146622 SOS 58885 HAS SOPS 58885 HAS SOUS 37651 HAS SOUPS 37651 WITH SCORE 37709.885
AT ITER 4642 NEW BEST:: SOT 146599 SOS 58854 HAS SOPS 58854 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37678.854
AT ITER 4644 NEW BEST:: SOT 146599 SOS 58847 HAS SOPS 58847 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37678.847
AT ITER 4646 NEW BEST:: SOT 146594 SOS 58817 HAS SOPS 58817 HAS SOUS 37598 HAS SOUPS 37598 WITH SCORE 37656.817
AT ITER 4671 NEW BEST:: SOT 146594 SOS 58761 HAS SOPS 58761 HAS SOUS 37576 HAS SOUPS 37576 WITH SCORE 37634.761
AT ITER 4692 NEW BEST:: SOT 146552 SOS 58719 HAS SOPS 58719 HAS SOUS 37558 HAS SOUPS 37558 WITH SCORE 37616.719
AT ITER 4724 NEW BEST:: SOT 146518 SOS 58549 HAS SOPS 58549 HAS SOUS 37517 HAS SOUPS 37517 WITH SCORE 37575.549
AT ITER 4736 NEW BEST:: SOT 146518 SOS 58543 HAS SOPS 58543 HAS SOUS 37503 HAS SOUPS 37503 WITH SCORE 37561.543
AT ITER 4742 NEW BEST:: SOT 146480 SOS 58505 HAS SOPS 58505 HAS SOUS 37465 HAS SOUPS 37465 WITH SCORE 37523.505
AT ITER 4787 NEW BEST:: SOT 146551 SOS 58275 HAS SOPS 58275 HAS SOUS 37400 HAS SOUPS 37400 WITH SCORE 37458.275
AT ITER 4795 NEW BEST:: SOT 146532 SOS 58261 HAS SOPS 58261 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37449.261
AT ITER 4816 NEW BEST:: SOT 146517 SOS 58241 HAS SOPS 58241 HAS SOUS 37376 HAS SOUPS 37376 WITH SCORE 37434.241
AT ITER 4824 NEW BEST:: SOT 146442 SOS 58166 HAS SOPS 58166 HAS SOUS 37301 HAS SOUPS 37301 WITH SCORE 37359.166
AT ITER 4845 NEW BEST:: SOT 146369 SOS 57945 HAS SOPS 57945 HAS SOUS 37112 HAS SOUPS 37112 WITH SCORE 37169.945
AT ITER 4886 NEW BEST:: SOT 146456 SOS 57967 HAS SOPS 57967 HAS SOUS 37038 HAS SOUPS 37038 WITH SCORE 37095.967
AT ITER 4907 NEW BEST:: SOT 146543 SOS 57779 HAS SOPS 57779 HAS SOUS 37031 HAS SOUPS 37031 WITH SCORE 37088.779
AT ITER 4915 NEW BEST:: SOT 146543 SOS 57772 HAS SOPS 57772 HAS SOUS 37003 HAS SOUPS 37003 WITH SCORE 37060.772
AT ITER 4919 NEW BEST:: SOT 146541 SOS 57777 HAS SOPS 57777 HAS SOUS 37000 HAS SOUPS 37000 WITH SCORE 37057.777
AT ITER 4924 NEW BEST:: SOT 146509 SOS 57756 HAS SOPS 57756 HAS SOUS 36979 HAS SOUPS 36979 WITH SCORE 37036.756
AT ITER 4928 NEW BEST:: SOT 146520 SOS 57907 HAS SOPS 57907 HAS SOUS 36937 HAS SOUPS 36937 WITH SCORE 36994.907
AT ITER 4954 NEW BEST:: SOT 146496 SOS 57883 HAS SOPS 57883 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36966.883
AT ITER 4969 NEW BEST:: SOT 146519 SOS 57887 HAS SOPS 57887 HAS SOUS 36881 HAS SOUPS 36881 WITH SCORE 36938.887
AT ITER 4983 NEW BEST:: SOT 146489 SOS 57679 HAS SOPS 57679 HAS SOUS 36880 HAS SOUPS 36880 WITH SCORE 36937.679
AT ITER 4997 NEW BEST:: SOT 146492 SOS 57674 HAS SOPS 57674 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36926.674
AT ITER 5001 NEW BEST:: SOT 146518 SOS 57695 HAS SOPS 57695 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36857.695
AT ITER 5013 NEW BEST:: SOT 146307 SOS 57648 HAS SOPS 57648 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36751.648
AT ITER 5018 NEW BEST:: SOT 146234 SOS 57339 HAS SOPS 57339 HAS SOUS 36442 HAS SOUPS 36442 WITH SCORE 36499.339
AT ITER 5022 NEW BEST:: SOT 146181 SOS 56931 HAS SOPS 56931 HAS SOUS 36432 HAS SOUPS 36432 WITH SCORE 36488.931
AT ITER 5036 NEW BEST:: SOT 146181 SOS 56913 HAS SOPS 56913 HAS SOUS 36423 HAS SOUPS 36423 WITH SCORE 36479.913
AT ITER 5048 NEW BEST:: SOT 146151 SOS 56818 HAS SOPS 56818 HAS SOUS 36328 HAS SOUPS 36328 WITH SCORE 36384.818
AT ITER 5050 NEW BEST:: SOT 146058 SOS 56714 HAS SOPS 56714 HAS SOUS 36144 HAS SOUPS 36144 WITH SCORE 36200.714
AT ITER 5056 NEW BEST:: SOT 146058 SOS 56692 HAS SOPS 56692 HAS SOUS 36144 HAS SOUPS 36144 WITH SCORE 36200.692
AT ITER 5064 NEW BEST:: SOT 146026 SOS 56463 HAS SOPS 56463 HAS SOUS 36107 HAS SOUPS 36107 WITH SCORE 36163.463
AT ITER 5069 NEW BEST:: SOT 146023 SOS 56459 HAS SOPS 56459 HAS SOUS 36103 HAS SOUPS 36103 WITH SCORE 36159.459
AT ITER 5073 NEW BEST:: SOT 146033 SOS 56765 HAS SOPS 56765 HAS SOUS 36092 HAS SOUPS 36092 WITH SCORE 36148.765
AT ITER 5075 NEW BEST:: SOT 146035 SOS 56768 HAS SOPS 56768 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36136.768
AT ITER 5083 NEW BEST:: SOT 145975 SOS 56718 HAS SOPS 56718 HAS SOUS 36025 HAS SOUPS 36025 WITH SCORE 36081.718
AT ITER 5085 NEW BEST:: SOT 145975 SOS 56718 HAS SOPS 56718 HAS SOUS 36016 HAS SOUPS 36016 WITH SCORE 36072.718
AT ITER 5087 NEW BEST:: SOT 145953 SOS 56886 HAS SOPS 56886 HAS SOUS 35911 HAS SOUPS 35911 WITH SCORE 35967.886
AT ITER 5110 NEW BEST:: SOT 145941 SOS 56878 HAS SOPS 56878 HAS SOUS 35887 HAS SOUPS 35887 WITH SCORE 35943.878
AT ITER 5138 NEW BEST:: SOT 145938 SOS 56860 HAS SOPS 56860 HAS SOUS 35884 HAS SOUPS 35884 WITH SCORE 35940.86
AT ITER 5156 NEW BEST:: SOT 145804 SOS 56752 HAS SOPS 56752 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35890.752
AT ITER 5164 NEW BEST:: SOT 145791 SOS 56674 HAS SOPS 56674 HAS SOUS 35726 HAS SOUPS 35726 WITH SCORE 35782.674
AT ITER 5176 NEW BEST:: SOT 145773 SOS 56659 HAS SOPS 56659 HAS SOUS 35699 HAS SOUPS 35699 WITH SCORE 35755.659
AT ITER 5178 NEW BEST:: SOT 145673 SOS 56365 HAS SOPS 56365 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35346.365
AT ITER 5198 NEW BEST:: SOT 145657 SOS 56369 HAS SOPS 56369 HAS SOUS 35283 HAS SOUPS 35283 WITH SCORE 35339.369
AT ITER 5199 NEW BEST:: SOT 145609 SOS 56321 HAS SOPS 56321 HAS SOUS 35195 HAS SOUPS 35195 WITH SCORE 35251.321
AT ITER 5203 NEW BEST:: SOT 145609 SOS 56339 HAS SOPS 56339 HAS SOUS 35186 HAS SOUPS 35186 WITH SCORE 35242.339
AT ITER 5213 NEW BEST:: SOT 145373 SOS 56005 HAS SOPS 56005 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34708.005
AT ITER 5217 NEW BEST:: SOT 145382 SOS 56006 HAS SOPS 56006 HAS SOUS 34645 HAS SOUPS 34645 WITH SCORE 34701.006
AT ITER 5235 NEW BEST:: SOT 145382 SOS 55997 HAS SOPS 55997 HAS SOUS 34645 HAS SOUPS 34645 WITH SCORE 34700.997
AT ITER 5243 NEW BEST:: SOT 145417 SOS 56023 HAS SOPS 56023 HAS SOUS 34621 HAS SOUPS 34621 WITH SCORE 34677.023
AT ITER 5245 NEW BEST:: SOT 145412 SOS 56018 HAS SOPS 56018 HAS SOUS 34614 HAS SOUPS 34614 WITH SCORE 34670.018
AT ITER 5258 NEW BEST:: SOT 145397 SOS 55998 HAS SOPS 55998 HAS SOUS 34550 HAS SOUPS 34550 WITH SCORE 34605.998
AT ITER 5290 NEW BEST:: SOT 145399 SOS 55994 HAS SOPS 55994 HAS SOUS 34548 HAS SOUPS 34548 WITH SCORE 34603.994
AT ITER 5295 NEW BEST:: SOT 145353 SOS 55971 HAS SOPS 55971 HAS SOUS 34461 HAS SOUPS 34461 WITH SCORE 34516.971
AT ITER 5308 NEW BEST:: SOT 145347 SOS 55633 HAS SOPS 55633 HAS SOUS 34374 HAS SOUPS 34374 WITH SCORE 34429.633
AT ITER 5316 NEW BEST:: SOT 145263 SOS 55549 HAS SOPS 55549 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34348.549
AT ITER 5334 NEW BEST:: SOT 145191 SOS 55464 HAS SOPS 55464 HAS SOUS 34200 HAS SOUPS 34200 WITH SCORE 34255.464
AT ITER 5337 NEW BEST:: SOT 145121 SOS 55349 HAS SOPS 55349 HAS SOUS 34100 HAS SOUPS 34100 WITH SCORE 34155.349
AT ITER 5369 NEW BEST:: SOT 145121 SOS 55313 HAS SOPS 55313 HAS SOUS 34093 HAS SOUPS 34093 WITH SCORE 34148.313
AT ITER 5373 NEW BEST:: SOT 145147 SOS 55355 HAS SOPS 55355 HAS SOUS 34088 HAS SOUPS 34088 WITH SCORE 34143.355
AT ITER 5418 NEW BEST:: SOT 145145 SOS 55349 HAS SOPS 55349 HAS SOUS 34088 HAS SOUPS 34088 WITH SCORE 34143.349
AT ITER 5427 NEW BEST:: SOT 145145 SOS 55344 HAS SOPS 55344 HAS SOUS 34088 HAS SOUPS 34088 WITH SCORE 34143.344
AT ITER 5437 NEW BEST:: SOT 145096 SOS 55250 HAS SOPS 55250 HAS SOUS 33985 HAS SOUPS 33985 WITH SCORE 34040.25
AT ITER 5451 NEW BEST:: SOT 145009 SOS 55175 HAS SOPS 55175 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33969.175
AT ITER 5466 NEW BEST:: SOT 145011 SOS 55179 HAS SOPS 55179 HAS SOUS 33882 HAS SOUPS 33882 WITH SCORE 33937.179
AT ITER 5489 NEW BEST:: SOT 145015 SOS 55163 HAS SOPS 55163 HAS SOUS 33863 HAS SOUPS 33863 WITH SCORE 33918.163
AT ITER 5494 NEW BEST:: SOT 145011 SOS 55155 HAS SOPS 55155 HAS SOUS 33853 HAS SOUPS 33853 WITH SCORE 33908.155
AT ITER 5504 NEW BEST:: SOT 145038 SOS 55124 HAS SOPS 55124 HAS SOUS 33701 HAS SOUPS 33701 WITH SCORE 33756.124
AT ITER 5505 NEW BEST:: SOT 145032 SOS 55094 HAS SOPS 55094 HAS SOUS 33695 HAS SOUPS 33695 WITH SCORE 33750.094
AT ITER 5520 NEW BEST:: SOT 145026 SOS 55085 HAS SOPS 55085 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33745.085
AT ITER 5521 NEW BEST:: SOT 145026 SOS 54989 HAS SOPS 54989 HAS SOUS 33630 HAS SOUPS 33630 WITH SCORE 33684.989
AT ITER 5565 NEW BEST:: SOT 144972 SOS 54784 HAS SOPS 54784 HAS SOUS 33607 HAS SOUPS 33607 WITH SCORE 33661.784
AT ITER 5586 NEW BEST:: SOT 144966 SOS 54778 HAS SOPS 54778 HAS SOUS 33598 HAS SOUPS 33598 WITH SCORE 33652.778
AT ITER 5634 NEW BEST:: SOT 144685 SOS 54440 HAS SOPS 54440 HAS SOUS 33180 HAS SOUPS 33180 WITH SCORE 33234.44
AT ITER 5652 NEW BEST:: SOT 144603 SOS 54458 HAS SOPS 54458 HAS SOUS 33005 HAS SOUPS 33005 WITH SCORE 33059.458
AT ITER 5656 NEW BEST:: SOT 144576 SOS 54032 HAS SOPS 54032 HAS SOUS 32944 HAS SOUPS 32944 WITH SCORE 32998.032
AT ITER 5713 NEW BEST:: SOT 144568 SOS 54004 HAS SOPS 54004 HAS SOUS 32932 HAS SOUPS 32932 WITH SCORE 32986.004
AT ITER 5720 NEW BEST:: SOT 144555 SOS 53991 HAS SOPS 53991 HAS SOUS 32906 HAS SOUPS 32906 WITH SCORE 32959.991
AT ITER 5728 NEW BEST:: SOT 144555 SOS 53987 HAS SOPS 53987 HAS SOUS 32904 HAS SOUPS 32904 WITH SCORE 32957.987
AT ITER 5762 NEW BEST:: SOT 144569 SOS 53777 HAS SOPS 53777 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32918.777
AT ITER 5764 NEW BEST:: SOT 144569 SOS 53780 HAS SOPS 53780 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32906.78
AT ITER 5792 NEW BEST:: SOT 144580 SOS 53802 HAS SOPS 53802 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32872.802
AT ITER 5816 NEW BEST:: SOT 144526 SOS 53746 HAS SOPS 53746 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32853.746
AT ITER 5818 NEW BEST:: SOT 144524 SOS 53740 HAS SOPS 53740 HAS SOUS 32792 HAS SOUPS 32792 WITH SCORE 32845.74
AT ITER 5826 NEW BEST:: SOT 144506 SOS 53632 HAS SOPS 53632 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32809.632
AT ITER 5834 NEW BEST:: SOT 144506 SOS 53595 HAS SOPS 53595 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32783.595
AT ITER 5867 NEW BEST:: SOT 144506 SOS 53594 HAS SOPS 53594 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32783.594
AT ITER 5870 NEW BEST:: SOT 144504 SOS 53633 HAS SOPS 53633 HAS SOUS 32652 HAS SOUPS 32652 WITH SCORE 32705.633
AT ITER 5909 NEW BEST:: SOT 144458 SOS 53525 HAS SOPS 53525 HAS SOUS 32575 HAS SOUPS 32575 WITH SCORE 32628.525
AT ITER 5922 NEW BEST:: SOT 144596 SOS 52884 HAS SOPS 52884 HAS SOUS 32479 HAS SOUPS 32479 WITH SCORE 32531.884
AT ITER 5924 NEW BEST:: SOT 144586 SOS 52874 HAS SOPS 52874 HAS SOUS 32445 HAS SOUPS 32445 WITH SCORE 32497.874
AT ITER 5928 NEW BEST:: SOT 144605 SOS 52851 HAS SOPS 52851 HAS SOUS 32440 HAS SOUPS 32440 WITH SCORE 32492.851
AT ITER 5955 NEW BEST:: SOT 144594 SOS 52835 HAS SOPS 52835 HAS SOUS 32430 HAS SOUPS 32430 WITH SCORE 32482.835
AT ITER 5961 NEW BEST:: SOT 144598 SOS 52835 HAS SOPS 52835 HAS SOUS 32426 HAS SOUPS 32426 WITH SCORE 32478.835
AT ITER 5965 NEW BEST:: SOT 144569 SOS 52803 HAS SOPS 52803 HAS SOUS 32423 HAS SOUPS 32423 WITH SCORE 32475.803
AT ITER 5968 NEW BEST:: SOT 144569 SOS 52905 HAS SOPS 52905 HAS SOUS 32352 HAS SOUPS 32352 WITH SCORE 32404.905
AT ITER 5970 NEW BEST:: SOT 144554 SOS 52817 HAS SOPS 52817 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32375.817
AT ITER 5979 NEW BEST:: SOT 144536 SOS 52803 HAS SOPS 52803 HAS SOUS 32307 HAS SOUPS 32307 WITH SCORE 32359.803
AT ITER 5997 NEW BEST:: SOT 144536 SOS 52861 HAS SOPS 52861 HAS SOUS 32300 HAS SOUPS 32300 WITH SCORE 32352.861
AT ITER 5998 NEW BEST:: SOT 144458 SOS 52974 HAS SOPS 52974 HAS SOUS 32276 HAS SOUPS 32276 WITH SCORE 32328.974
AT ITER 6042 NEW BEST:: SOT 144400 SOS 52900 HAS SOPS 52900 HAS SOUS 32185 HAS SOUPS 32185 WITH SCORE 32237.9
AT ITER 6053 NEW BEST:: SOT 144391 SOS 52897 HAS SOPS 52897 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32225.897
AT ITER 6070 NEW BEST:: SOT 144392 SOS 52891 HAS SOPS 52891 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32223.891
AT ITER 6097 NEW BEST:: SOT 144312 SOS 52601 HAS SOPS 52601 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32183.601
AT ITER 6105 NEW BEST:: SOT 144168 SOS 52634 HAS SOPS 52634 HAS SOUS 31988 HAS SOUPS 31988 WITH SCORE 32040.634
AT ITER 6122 NEW BEST:: SOT 143891 SOS 52133 HAS SOPS 52133 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31928.133
AT ITER 6156 NEW BEST:: SOT 143891 SOS 52127 HAS SOPS 52127 HAS SOUS 31875 HAS SOUPS 31875 WITH SCORE 31927.127
AT ITER 6173 NEW BEST:: SOT 143848 SOS 52077 HAS SOPS 52077 HAS SOUS 31820 HAS SOUPS 31820 WITH SCORE 31872.077
AT ITER 6190 NEW BEST:: SOT 143845 SOS 52063 HAS SOPS 52063 HAS SOUS 31809 HAS SOUPS 31809 WITH SCORE 31861.063
AT ITER 6213 NEW BEST:: SOT 143771 SOS 51989 HAS SOPS 51989 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31686.989
AT ITER 6229 NEW BEST:: SOT 143750 SOS 51968 HAS SOPS 51968 HAS SOUS 31608 HAS SOUPS 31608 WITH SCORE 31659.968
AT ITER 6241 NEW BEST:: SOT 143745 SOS 51959 HAS SOPS 51959 HAS SOUS 31593 HAS SOUPS 31593 WITH SCORE 31644.959
AT ITER 6251 NEW BEST:: SOT 143670 SOS 51884 HAS SOPS 51884 HAS SOUS 31518 HAS SOUPS 31518 WITH SCORE 31569.884
AT ITER 6255 NEW BEST:: SOT 143388 SOS 51756 HAS SOPS 51756 HAS SOUS 31289 HAS SOUPS 31289 WITH SCORE 31340.756
AT ITER 6295 NEW BEST:: SOT 143381 SOS 51736 HAS SOPS 51736 HAS SOUS 31288 HAS SOUPS 31288 WITH SCORE 31339.736
AT ITER 6335 NEW BEST:: SOT 143380 SOS 51650 HAS SOPS 51650 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31322.65
AT ITER 6337 NEW BEST:: SOT 143328 SOS 51172 HAS SOPS 51172 HAS SOUS 31110 HAS SOUPS 31110 WITH SCORE 31161.172
AT ITER 6341 NEW BEST:: SOT 143292 SOS 51142 HAS SOPS 51142 HAS SOUS 31080 HAS SOUPS 31080 WITH SCORE 31131.142
AT ITER 6349 NEW BEST:: SOT 143254 SOS 51102 HAS SOPS 51102 HAS SOUS 31032 HAS SOUPS 31032 WITH SCORE 31083.102
AT ITER 6390 NEW BEST:: SOT 143142 SOS 50910 HAS SOPS 50910 HAS SOUS 30888 HAS SOUPS 30888 WITH SCORE 30938.91
AT ITER 6392 NEW BEST:: SOT 143122 SOS 50730 HAS SOPS 50730 HAS SOUS 30878 HAS SOUPS 30878 WITH SCORE 30928.73
AT ITER 6426 NEW BEST:: SOT 143108 SOS 50730 HAS SOPS 50730 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30921.73
AT ITER 6439 NEW BEST:: SOT 143055 SOS 50518 HAS SOPS 50518 HAS SOUS 30860 HAS SOUPS 30860 WITH SCORE 30910.518
AT ITER 6444 NEW BEST:: SOT 143054 SOS 50514 HAS SOPS 50514 HAS SOUS 30856 HAS SOUPS 30856 WITH SCORE 30906.514
AT ITER 6460 NEW BEST:: SOT 142943 SOS 50501 HAS SOPS 50501 HAS SOUS 30792 HAS SOUPS 30792 WITH SCORE 30842.501
AT ITER 6482 NEW BEST:: SOT 143029 SOS 50403 HAS SOPS 50403 HAS SOUS 30726 HAS SOUPS 30726 WITH SCORE 30776.403
AT ITER 6502 NEW BEST:: SOT 143028 SOS 50213 HAS SOPS 50213 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30695.213
AT ITER 6505 NEW BEST:: SOT 143021 SOS 50172 HAS SOPS 50172 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 30669.172
AT ITER 6512 NEW BEST:: SOT 142913 SOS 49936 HAS SOPS 49936 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30577.936
AT ITER 6515 NEW BEST:: SOT 142911 SOS 49934 HAS SOPS 49934 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30575.934
AT ITER 6516 NEW BEST:: SOT 142755 SOS 49818 HAS SOPS 49818 HAS SOUS 30491 HAS SOUPS 30491 WITH SCORE 30540.818
AT ITER 6528 NEW BEST:: SOT 142650 SOS 49900 HAS SOPS 49900 HAS SOUS 30476 HAS SOUPS 30476 WITH SCORE 30525.9
AT ITER 6544 NEW BEST:: SOT 142650 SOS 50040 HAS SOPS 50040 HAS SOUS 30458 HAS SOUPS 30458 WITH SCORE 30508.04
AT ITER 6585 NEW BEST:: SOT 142631 SOS 49888 HAS SOPS 49888 HAS SOUS 30422 HAS SOUPS 30422 WITH SCORE 30471.888
AT ITER 6589 NEW BEST:: SOT 142621 SOS 49858 HAS SOPS 49858 HAS SOUS 30402 HAS SOUPS 30402 WITH SCORE 30451.858
AT ITER 6617 NEW BEST:: SOT 142577 SOS 49776 HAS SOPS 49776 HAS SOUS 30232 HAS SOUPS 30232 WITH SCORE 30281.776
AT ITER 6629 NEW BEST:: SOT 142547 SOS 49726 HAS SOPS 49726 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30236.726
AT ITER 6670 NEW BEST:: SOT 142547 SOS 49718 HAS SOPS 49718 HAS SOUS 30185 HAS SOUPS 30185 WITH SCORE 30234.718
AT ITER 6706 NEW BEST:: SOT 142513 SOS 49524 HAS SOPS 49524 HAS SOUS 30117 HAS SOUPS 30117 WITH SCORE 30166.524
AT ITER 6733 NEW BEST:: SOT 142441 SOS 49452 HAS SOPS 49452 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30094.452
AT ITER 6749 NEW BEST:: SOT 142429 SOS 49432 HAS SOPS 49432 HAS SOUS 30017 HAS SOUPS 30017 WITH SCORE 30066.432
AT ITER 6751 NEW BEST:: SOT 142412 SOS 49424 HAS SOPS 49424 HAS SOUS 29997 HAS SOUPS 29997 WITH SCORE 30046.424
AT ITER 6769 NEW BEST:: SOT 142349 SOS 49332 HAS SOPS 49332 HAS SOUS 29925 HAS SOUPS 29925 WITH SCORE 29974.332
AT ITER 6781 NEW BEST:: SOT 142164 SOS 48817 HAS SOPS 48817 HAS SOUS 29716 HAS SOUPS 29716 WITH SCORE 29764.817
AT ITER 6792 NEW BEST:: SOT 142137 SOS 48719 HAS SOPS 48719 HAS SOUS 29603 HAS SOUPS 29603 WITH SCORE 29651.719
AT ITER 6805 NEW BEST:: SOT 142116 SOS 48698 HAS SOPS 48698 HAS SOUS 29564 HAS SOUPS 29564 WITH SCORE 29612.698
AT ITER 6827 NEW BEST:: SOT 142116 SOS 48705 HAS SOPS 48705 HAS SOUS 29535 HAS SOUPS 29535 WITH SCORE 29583.705
AT ITER 6834 NEW BEST:: SOT 142059 SOS 48595 HAS SOPS 48595 HAS SOUS 29442 HAS SOUPS 29442 WITH SCORE 29490.595
AT ITER 6840 NEW BEST:: SOT 142100 SOS 48586 HAS SOPS 48586 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29469.586
AT ITER 6841 NEW BEST:: SOT 142096 SOS 48582 HAS SOPS 48582 HAS SOUS 29417 HAS SOUPS 29417 WITH SCORE 29465.582
AT ITER 6852 NEW BEST:: SOT 142082 SOS 48624 HAS SOPS 48624 HAS SOUS 29407 HAS SOUPS 29407 WITH SCORE 29455.624
AT ITER 6933 NEW BEST:: SOT 142104 SOS 48565 HAS SOPS 48565 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29367.565
AT ITER 6963 NEW BEST:: SOT 142095 SOS 48496 HAS SOPS 48496 HAS SOUS 29310 HAS SOUPS 29310 WITH SCORE 29358.496
AT ITER 6977 NEW BEST:: SOT 142065 SOS 48507 HAS SOPS 48507 HAS SOUS 29297 HAS SOUPS 29297 WITH SCORE 29345.507
AT ITER 6986 NEW BEST:: SOT 141953 SOS 48171 HAS SOPS 48171 HAS SOUS 29053 HAS SOUPS 29053 WITH SCORE 29101.171
AT ITER 7057 NEW BEST:: SOT 141923 SOS 48154 HAS SOPS 48154 HAS SOUS 29039 HAS SOUPS 29039 WITH SCORE 29087.154
AT ITER 7062 NEW BEST:: SOT 141922 SOS 48153 HAS SOPS 48153 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29075.153
AT ITER 7082 NEW BEST:: SOT 141917 SOS 48148 HAS SOPS 48148 HAS SOUS 29017 HAS SOUPS 29017 WITH SCORE 29065.148
AT ITER 7159 NEW BEST:: SOT 141655 SOS 47886 HAS SOPS 47886 HAS SOUS 28755 HAS SOUPS 28755 WITH SCORE 28802.886
AT ITER 7172 NEW BEST:: SOT 141633 SOS 47832 HAS SOPS 47832 HAS SOUS 28705 HAS SOUPS 28705 WITH SCORE 28752.832
AT ITER 7174 NEW BEST:: SOT 141618 SOS 47859 HAS SOPS 47859 HAS SOUS 28702 HAS SOUPS 28702 WITH SCORE 28749.859
AT ITER 7212 NEW BEST:: SOT 141642 SOS 47799 HAS SOPS 47799 HAS SOUS 28692 HAS SOUPS 28692 WITH SCORE 28739.799
AT ITER 7218 NEW BEST:: SOT 141599 SOS 47656 HAS SOPS 47656 HAS SOUS 28624 HAS SOUPS 28624 WITH SCORE 28671.656
AT ITER 7231 NEW BEST:: SOT 141616 SOS 47627 HAS SOPS 47627 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28650.627
AT ITER 7239 NEW BEST:: SOT 141594 SOS 47468 HAS SOPS 47468 HAS SOUS 28559 HAS SOUPS 28559 WITH SCORE 28606.468
AT ITER 7257 NEW BEST:: SOT 141528 SOS 47402 HAS SOPS 47402 HAS SOUS 28551 HAS SOUPS 28551 WITH SCORE 28598.402
AT ITER 7264 NEW BEST:: SOT 141504 SOS 47370 HAS SOPS 47370 HAS SOUS 28535 HAS SOUPS 28535 WITH SCORE 28582.37
AT ITER 7277 NEW BEST:: SOT 141502 SOS 47368 HAS SOPS 47368 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28580.368
AT ITER 7282 NEW BEST:: SOT 141496 SOS 47337 HAS SOPS 47337 HAS SOUS 28517 HAS SOUPS 28517 WITH SCORE 28564.337
AT ITER 7305 NEW BEST:: SOT 141524 SOS 47319 HAS SOPS 47319 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28546.319
AT ITER 7359 NEW BEST:: SOT 141516 SOS 47231 HAS SOPS 47231 HAS SOUS 28475 HAS SOUPS 28475 WITH SCORE 28522.231
AT ITER 7363 NEW BEST:: SOT 141516 SOS 47235 HAS SOPS 47235 HAS SOUS 28470 HAS SOUPS 28470 WITH SCORE 28517.235
AT ITER 7375 NEW BEST:: SOT 141512 SOS 47227 HAS SOPS 47227 HAS SOUS 28456 HAS SOUPS 28456 WITH SCORE 28503.227
AT ITER 7377 NEW BEST:: SOT 141509 SOS 47224 HAS SOPS 47224 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28494.224
AT ITER 7387 NEW BEST:: SOT 141503 SOS 47218 HAS SOPS 47218 HAS SOUS 28441 HAS SOUPS 28441 WITH SCORE 28488.218
AT ITER 7438 NEW BEST:: SOT 141467 SOS 47194 HAS SOPS 47194 HAS SOUS 28435 HAS SOUPS 28435 WITH SCORE 28482.194
AT ITER 7447 NEW BEST:: SOT 141458 SOS 47176 HAS SOPS 47176 HAS SOUS 28420 HAS SOUPS 28420 WITH SCORE 28467.176
AT ITER 7504 NEW BEST:: SOT 141447 SOS 47165 HAS SOPS 47165 HAS SOUS 28409 HAS SOUPS 28409 WITH SCORE 28456.165
AT ITER 7512 NEW BEST:: SOT 141442 SOS 47160 HAS SOPS 47160 HAS SOUS 28402 HAS SOUPS 28402 WITH SCORE 28449.16
AT ITER 7514 NEW BEST:: SOT 141489 SOS 47395 HAS SOPS 47395 HAS SOUS 28401 HAS SOUPS 28401 WITH SCORE 28448.395
AT ITER 7516 NEW BEST:: SOT 141357 SOS 47314 HAS SOPS 47314 HAS SOUS 28320 HAS SOUPS 28320 WITH SCORE 28367.314
AT ITER 7538 NEW BEST:: SOT 141351 SOS 47308 HAS SOPS 47308 HAS SOUS 28318 HAS SOUPS 28318 WITH SCORE 28365.308
AT ITER 7543 NEW BEST:: SOT 141237 SOS 47194 HAS SOPS 47194 HAS SOUS 28165 HAS SOUPS 28165 WITH SCORE 28212.194
AT ITER 7547 NEW BEST:: SOT 141236 SOS 47192 HAS SOPS 47192 HAS SOUS 28163 HAS SOUPS 28163 WITH SCORE 28210.192
AT ITER 7550 NEW BEST:: SOT 141229 SOS 47185 HAS SOPS 47185 HAS SOUS 28156 HAS SOUPS 28156 WITH SCORE 28203.185
AT ITER 7553 NEW BEST:: SOT 141251 SOS 47177 HAS SOPS 47177 HAS SOUS 28137 HAS SOUPS 28137 WITH SCORE 28184.177
AT ITER 7567 NEW BEST:: SOT 141237 SOS 47163 HAS SOPS 47163 HAS SOUS 28123 HAS SOUPS 28123 WITH SCORE 28170.163
AT ITER 7647 NEW BEST:: SOT 141232 SOS 47153 HAS SOPS 47153 HAS SOUS 28116 HAS SOUPS 28116 WITH SCORE 28163.153
AT ITER 7695 NEW BEST:: SOT 141230 SOS 47151 HAS SOPS 47151 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28159.151
AT ITER 7698 NEW BEST:: SOT 141227 SOS 47147 HAS SOPS 47147 HAS SOUS 28109 HAS SOUPS 28109 WITH SCORE 28156.147
AT ITER 7703 NEW BEST:: SOT 141252 SOS 47154 HAS SOPS 47154 HAS SOUS 28103 HAS SOUPS 28103 WITH SCORE 28150.154
AT ITER 7754 NEW BEST:: SOT 141311 SOS 47195 HAS SOPS 47195 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28118.195
AT ITER 7764 NEW BEST:: SOT 141311 SOS 47171 HAS SOPS 47171 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28094.171
AT ITER 7768 NEW BEST:: SOT 141303 SOS 47157 HAS SOPS 47157 HAS SOUS 28021 HAS SOUPS 28021 WITH SCORE 28068.157
AT ITER 7789 NEW BEST:: SOT 141298 SOS 47110 HAS SOPS 47110 HAS SOUS 28013 HAS SOUPS 28013 WITH SCORE 28060.11
AT ITER 7795 NEW BEST:: SOT 141174 SOS 46988 HAS SOPS 46988 HAS SOUS 27879 HAS SOUPS 27879 WITH SCORE 27925.988
AT ITER 7799 NEW BEST:: SOT 141159 SOS 46967 HAS SOPS 46967 HAS SOUS 27871 HAS SOUPS 27871 WITH SCORE 27917.967
AT ITER 7884 NEW BEST:: SOT 141177 SOS 47025 HAS SOPS 47025 HAS SOUS 27860 HAS SOUPS 27860 WITH SCORE 27907.025
AT ITER 7888 NEW BEST:: SOT 141139 SOS 47029 HAS SOPS 47029 HAS SOUS 27843 HAS SOUPS 27843 WITH SCORE 27890.029
AT ITER 7901 NEW BEST:: SOT 141139 SOS 47777 HAS SOPS 47777 HAS SOUS 27842 HAS SOUPS 27842 WITH SCORE 27889.777
AT ITER 7914 NEW BEST:: SOT 141102 SOS 47641 HAS SOPS 47641 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27821.641
AT ITER 7941 NEW BEST:: SOT 141098 SOS 47633 HAS SOPS 47633 HAS SOUS 27766 HAS SOUPS 27766 WITH SCORE 27813.633
AT ITER 7956 NEW BEST:: SOT 141078 SOS 47605 HAS SOPS 47605 HAS SOUS 27702 HAS SOUPS 27702 WITH SCORE 27749.605
AT ITER 7961 NEW BEST:: SOT 141066 SOS 47557 HAS SOPS 47557 HAS SOUS 27657 HAS SOUPS 27657 WITH SCORE 27704.557
AT ITER 7979 NEW BEST:: SOT 141051 SOS 47535 HAS SOPS 47535 HAS SOUS 27612 HAS SOUPS 27612 WITH SCORE 27659.535
AT ITER 7991 NEW BEST:: SOT 140958 SOS 47429 HAS SOPS 47429 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27546.429
AT ITER 8052 NEW BEST:: SOT 140954 SOS 47421 HAS SOPS 47421 HAS SOUS 27497 HAS SOUPS 27497 WITH SCORE 27544.421
AT ITER 8060 NEW BEST:: SOT 140952 SOS 47419 HAS SOPS 47419 HAS SOUS 27495 HAS SOUPS 27495 WITH SCORE 27542.419
AT ITER 8135 NEW BEST:: SOT 140959 SOS 47349 HAS SOPS 47349 HAS SOUS 27495 HAS SOUPS 27495 WITH SCORE 27542.349
AT ITER 8192 NEW BEST:: SOT 140949 SOS 47330 HAS SOPS 47330 HAS SOUS 27492 HAS SOUPS 27492 WITH SCORE 27539.33
AT ITER 8215 NEW BEST:: SOT 140908 SOS 47289 HAS SOPS 47289 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27468.289
AT ITER 8274 NEW BEST:: SOT 140890 SOS 47253 HAS SOPS 47253 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27450.253
AT ITER 8279 NEW BEST:: SOT 140890 SOS 47249 HAS SOPS 47249 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27448.249
AT ITER 8288 NEW BEST:: SOT 140865 SOS 47221 HAS SOPS 47221 HAS SOUS 27370 HAS SOUPS 27370 WITH SCORE 27417.221
AT ITER 8295 NEW BEST:: SOT 140942 SOS 47430 HAS SOPS 47430 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27403.43
AT ITER 8304 NEW BEST:: SOT 140931 SOS 47452 HAS SOPS 47452 HAS SOUS 27346 HAS SOUPS 27346 WITH SCORE 27393.452
AT ITER 8362 NEW BEST:: SOT 140929 SOS 47450 HAS SOPS 47450 HAS SOUS 27344 HAS SOUPS 27344 WITH SCORE 27391.45
AT ITER 8430 NEW BEST:: SOT 140947 SOS 47407 HAS SOPS 47407 HAS SOUS 27332 HAS SOUPS 27332 WITH SCORE 27379.407
AT ITER 8437 NEW BEST:: SOT 140960 SOS 47368 HAS SOPS 47368 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27353.368
AT ITER 8438 NEW BEST:: SOT 140883 SOS 47247 HAS SOPS 47247 HAS SOUS 27163 HAS SOUPS 27163 WITH SCORE 27210.247
AT ITER 8460 NEW BEST:: SOT 140880 SOS 47244 HAS SOPS 47244 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27206.244
AT ITER 8471 NEW BEST:: SOT 140876 SOS 47164 HAS SOPS 47164 HAS SOUS 27132 HAS SOUPS 27132 WITH SCORE 27179.164
AT ITER 8527 NEW BEST:: SOT 140866 SOS 47158 HAS SOPS 47158 HAS SOUS 27095 HAS SOUPS 27095 WITH SCORE 27142.158
AT ITER 8546 NEW BEST:: SOT 140866 SOS 47158 HAS SOPS 47158 HAS SOUS 27075 HAS SOUPS 27075 WITH SCORE 27122.158
AT ITER 8608 NEW BEST:: SOT 140857 SOS 47146 HAS SOPS 47146 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27102.146
AT ITER 8609 NEW BEST:: SOT 140857 SOS 47146 HAS SOPS 47146 HAS SOUS 27004 HAS SOUPS 27004 WITH SCORE 27051.146
AT ITER 8636 NEW BEST:: SOT 140857 SOS 47137 HAS SOPS 47137 HAS SOUS 26995 HAS SOUPS 26995 WITH SCORE 27042.137
AT ITER 8646 NEW BEST:: SOT 140835 SOS 47145 HAS SOPS 47145 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27031.145
AT ITER 8692 NEW BEST:: SOT 140742 SOS 47508 HAS SOPS 47508 HAS SOUS 26962 HAS SOUPS 26962 WITH SCORE 27009.508
AT ITER 8694 NEW BEST:: SOT 140681 SOS 47450 HAS SOPS 47450 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26969.45
AT ITER 8740 NEW BEST:: SOT 140681 SOS 47441 HAS SOPS 47441 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26960.441
AT ITER 8757 NEW BEST:: SOT 140671 SOS 47430 HAS SOPS 47430 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26920.43
AT ITER 8842 NEW BEST:: SOT 140661 SOS 47423 HAS SOPS 47423 HAS SOUS 26866 HAS SOUPS 26866 WITH SCORE 26913.423
AT ITER 8871 NEW BEST:: SOT 140656 SOS 47403 HAS SOPS 47403 HAS SOUS 26818 HAS SOUPS 26818 WITH SCORE 26865.403
AT ITER 8897 NEW BEST:: SOT 140638 SOS 47385 HAS SOPS 47385 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26840.385
AT ITER 8914 NEW BEST:: SOT 140624 SOS 47351 HAS SOPS 47351 HAS SOUS 26699 HAS SOUPS 26699 WITH SCORE 26746.351
AT ITER 8915 NEW BEST:: SOT 140616 SOS 47351 HAS SOPS 47351 HAS SOUS 26683 HAS SOUPS 26683 WITH SCORE 26730.351
AT ITER 8923 NEW BEST:: SOT 140616 SOS 47281 HAS SOPS 47281 HAS SOUS 26681 HAS SOUPS 26681 WITH SCORE 26728.281
AT ITER 8935 NEW BEST:: SOT 140610 SOS 47275 HAS SOPS 47275 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26722.275
AT ITER 8942 NEW BEST:: SOT 140624 SOS 47352 HAS SOPS 47352 HAS SOUS 26674 HAS SOUPS 26674 WITH SCORE 26721.352
AT ITER 9051 NEW BEST:: SOT 140645 SOS 47419 HAS SOPS 47419 HAS SOUS 26639 HAS SOUPS 26639 WITH SCORE 26686.419
AT ITER 9062 NEW BEST:: SOT 140641 SOS 47423 HAS SOPS 47423 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26682.423
AT ITER 9126 NEW BEST:: SOT 140633 SOS 47419 HAS SOPS 47419 HAS SOUS 26627 HAS SOUPS 26627 WITH SCORE 26674.419
AT ITER 9130 NEW BEST:: SOT 140666 SOS 47392 HAS SOPS 47392 HAS SOUS 26598 HAS SOUPS 26598 WITH SCORE 26645.392
AT ITER 9145 NEW BEST:: SOT 140666 SOS 47421 HAS SOPS 47421 HAS SOUS 26587 HAS SOUPS 26587 WITH SCORE 26634.421
AT ITER 9177 NEW BEST:: SOT 140634 SOS 46984 HAS SOPS 46984 HAS SOUS 26575 HAS SOUPS 26575 WITH SCORE 26621.984
AT ITER 9182 NEW BEST:: SOT 140623 SOS 46960 HAS SOPS 46960 HAS SOUS 26542 HAS SOUPS 26542 WITH SCORE 26588.96
AT ITER 9187 NEW BEST:: SOT 140620 SOS 46945 HAS SOPS 46945 HAS SOUS 26524 HAS SOUPS 26524 WITH SCORE 26570.945
AT ITER 9221 NEW BEST:: SOT 140566 SOS 46891 HAS SOPS 46891 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26516.891
AT ITER 9239 NEW BEST:: SOT 140406 SOS 46731 HAS SOPS 46731 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26356.731
AT ITER 9242 NEW BEST:: SOT 140354 SOS 46348 HAS SOPS 46348 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26303.348
AT ITER 9245 NEW BEST:: SOT 140415 SOS 46359 HAS SOPS 46359 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26283.359
AT ITER 9352 NEW BEST:: SOT 140403 SOS 46356 HAS SOPS 46356 HAS SOUS 26232 HAS SOUPS 26232 WITH SCORE 26278.356
AT ITER 9374 NEW BEST:: SOT 140383 SOS 46336 HAS SOPS 46336 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26258.336
AT ITER 9382 NEW BEST:: SOT 140312 SOS 46212 HAS SOPS 46212 HAS SOUS 26125 HAS SOUPS 26125 WITH SCORE 26171.212
AT ITER 9385 NEW BEST:: SOT 140316 SOS 46214 HAS SOPS 46214 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26167.214
AT ITER 9389 NEW BEST:: SOT 140308 SOS 46210 HAS SOPS 46210 HAS SOUS 26105 HAS SOUPS 26105 WITH SCORE 26151.21
AT ITER 9420 NEW BEST:: SOT 140276 SOS 46187 HAS SOPS 46187 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26139.187
AT ITER 9438 NEW BEST:: SOT 140262 SOS 46173 HAS SOPS 46173 HAS SOUS 26083 HAS SOUPS 26083 WITH SCORE 26129.173
AT ITER 9457 NEW BEST:: SOT 140255 SOS 46160 HAS SOPS 46160 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26127.16
AT ITER 9471 NEW BEST:: SOT 140243 SOS 46178 HAS SOPS 46178 HAS SOUS 26075 HAS SOUPS 26075 WITH SCORE 26121.178
AT ITER 9474 NEW BEST:: SOT 140240 SOS 46206 HAS SOPS 46206 HAS SOUS 26059 HAS SOUPS 26059 WITH SCORE 26105.206
AT ITER 9478 NEW BEST:: SOT 140232 SOS 46140 HAS SOPS 46140 HAS SOUS 26019 HAS SOUPS 26019 WITH SCORE 26065.14
AT ITER 9497 NEW BEST:: SOT 140217 SOS 46133 HAS SOPS 46133 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26052.133
AT ITER 9549 NEW BEST:: SOT 140203 SOS 46119 HAS SOPS 46119 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26052.119
AT ITER 9554 NEW BEST:: SOT 140215 SOS 46075 HAS SOPS 46075 HAS SOUS 25990 HAS SOUPS 25990 WITH SCORE 26036.075
AT ITER 9560 NEW BEST:: SOT 140211 SOS 46058 HAS SOPS 46058 HAS SOUS 25964 HAS SOUPS 25964 WITH SCORE 26010.058
AT ITER 9662 NEW BEST:: SOT 140211 SOS 46058 HAS SOPS 46058 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25995.058
AT ITER 9736 NEW BEST:: SOT 140219 SOS 46077 HAS SOPS 46077 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25992.077
AT ITER 9760 NEW BEST:: SOT 140182 SOS 45892 HAS SOPS 45892 HAS SOUS 25931 HAS SOUPS 25931 WITH SCORE 25976.892
AT ITER 9810 NEW BEST:: SOT 139998 SOS 45878 HAS SOPS 45878 HAS SOUS 25747 HAS SOUPS 25747 WITH SCORE 25792.878
AT ITER 9820 NEW BEST:: SOT 139998 SOS 45786 HAS SOPS 45786 HAS SOUS 25745 HAS SOUPS 25745 WITH SCORE 25790.786
AT ITER 9852 NEW BEST:: SOT 139961 SOS 45638 HAS SOPS 45638 HAS SOUS 25671 HAS SOUPS 25671 WITH SCORE 25716.638
AT ITER 9869 NEW BEST:: SOT 139948 SOS 45586 HAS SOPS 45586 HAS SOUS 25632 HAS SOUPS 25632 WITH SCORE 25677.586
AT ITER 9900 NEW BEST:: SOT 139898 SOS 45447 HAS SOPS 45447 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25632.447
AT ITER 9981 NEW BEST:: SOT 139865 SOS 45325 HAS SOPS 45325 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25620.325
AT ITER 9994 NEW BEST:: SOT 139883 SOS 45329 HAS SOPS 45329 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25599.329
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 9346160 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16154224 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldRVs-PT-030A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-030A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r419-tajo-167905973300120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-030A.tgz
mv ShieldRVs-PT-030A 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 ;