About the Execution of smart for ShieldIIPt-PT-040A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15772.930 | 3600000.00 | 3600050.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469300347.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPt-PT-040A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300347
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 3.4K May 14 01:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 13:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 13:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 212K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-040A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590439836188
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 040A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 763 places, 563 transitions, 2406 arcs.
AT ITER 0 NEW BEST:: SOT 343677 SOS 290323 HAS SOPS 290323 HAS SOUS 254793 HAS SOUPS 254793 WITH SCORE 255083.323
AT ITER 2 NEW BEST:: SOT 343635 SOS 289919 HAS SOPS 289919 HAS SOUS 254770 HAS SOUPS 254770 WITH SCORE 255059.919
AT ITER 7 NEW BEST:: SOT 343445 SOS 289729 HAS SOPS 289729 HAS SOUS 254631 HAS SOUPS 254631 WITH SCORE 254920.729
AT ITER 8 NEW BEST:: SOT 343119 SOS 289403 HAS SOPS 289403 HAS SOUS 254335 HAS SOUPS 254335 WITH SCORE 254624.403
AT ITER 11 NEW BEST:: SOT 342736 SOS 288166 HAS SOPS 288166 HAS SOUS 253568 HAS SOUPS 253568 WITH SCORE 253856.166
AT ITER 12 NEW BEST:: SOT 342657 SOS 288087 HAS SOPS 288087 HAS SOUS 253489 HAS SOUPS 253489 WITH SCORE 253777.087
AT ITER 13 NEW BEST:: SOT 342370 SOS 287798 HAS SOPS 287798 HAS SOUS 253200 HAS SOUPS 253200 WITH SCORE 253487.798
AT ITER 15 NEW BEST:: SOT 342051 SOS 287479 HAS SOPS 287479 HAS SOUS 252725 HAS SOUPS 252725 WITH SCORE 253012.479
AT ITER 18 NEW BEST:: SOT 341597 SOS 287023 HAS SOPS 287023 HAS SOUS 252318 HAS SOUPS 252318 WITH SCORE 252605.023
AT ITER 19 NEW BEST:: SOT 341597 SOS 286546 HAS SOPS 286546 HAS SOUS 251896 HAS SOUPS 251896 WITH SCORE 252182.546
AT ITER 20 NEW BEST:: SOT 341169 SOS 285519 HAS SOPS 285519 HAS SOUS 251072 HAS SOUPS 251072 WITH SCORE 251357.519
AT ITER 21 NEW BEST:: SOT 341019 SOS 285369 HAS SOPS 285369 HAS SOUS 250922 HAS SOUPS 250922 WITH SCORE 251207.369
AT ITER 22 NEW BEST:: SOT 341019 SOS 285105 HAS SOPS 285105 HAS SOUS 250807 HAS SOUPS 250807 WITH SCORE 251092.105
AT ITER 23 NEW BEST:: SOT 341029 SOS 284436 HAS SOPS 284436 HAS SOUS 250391 HAS SOUPS 250391 WITH SCORE 250675.436
AT ITER 25 NEW BEST:: SOT 341029 SOS 284436 HAS SOPS 284436 HAS SOUS 250252 HAS SOUPS 250252 WITH SCORE 250536.436
AT ITER 26 NEW BEST:: SOT 340679 SOS 284086 HAS SOPS 284086 HAS SOUS 249779 HAS SOUPS 249779 WITH SCORE 250063.086
AT ITER 28 NEW BEST:: SOT 340679 SOS 283777 HAS SOPS 283777 HAS SOUS 249676 HAS SOUPS 249676 WITH SCORE 249959.777
AT ITER 29 NEW BEST:: SOT 340451 SOS 283547 HAS SOPS 283547 HAS SOUS 249446 HAS SOUPS 249446 WITH SCORE 249729.547
AT ITER 32 NEW BEST:: SOT 340451 SOS 283320 HAS SOPS 283320 HAS SOUS 249391 HAS SOUPS 249391 WITH SCORE 249674.32
AT ITER 33 NEW BEST:: SOT 340067 SOS 282417 HAS SOPS 282417 HAS SOUS 248689 HAS SOUPS 248689 WITH SCORE 248971.417
AT ITER 34 NEW BEST:: SOT 339960 SOS 282310 HAS SOPS 282310 HAS SOUS 248475 HAS SOUPS 248475 WITH SCORE 248757.31
AT ITER 37 NEW BEST:: SOT 339797 SOS 282147 HAS SOPS 282147 HAS SOUS 248332 HAS SOUPS 248332 WITH SCORE 248614.147
AT ITER 38 NEW BEST:: SOT 339797 SOS 281681 HAS SOPS 281681 HAS SOUS 248098 HAS SOUPS 248098 WITH SCORE 248379.681
AT ITER 40 NEW BEST:: SOT 339797 SOS 281147 HAS SOPS 281147 HAS SOUS 247836 HAS SOUPS 247836 WITH SCORE 248117.147
AT ITER 41 NEW BEST:: SOT 339600 SOS 280198 HAS SOPS 280198 HAS SOUS 247195 HAS SOUPS 247195 WITH SCORE 247475.198
AT ITER 42 NEW BEST:: SOT 339600 SOS 279900 HAS SOPS 279900 HAS SOUS 247039 HAS SOUPS 247039 WITH SCORE 247318.9
AT ITER 44 NEW BEST:: SOT 339205 SOS 278711 HAS SOPS 278711 HAS SOUS 246303 HAS SOUPS 246303 WITH SCORE 246581.711
AT ITER 47 NEW BEST:: SOT 339057 SOS 278563 HAS SOPS 278563 HAS SOUS 246155 HAS SOUPS 246155 WITH SCORE 246433.563
AT ITER 48 NEW BEST:: SOT 339057 SOS 278446 HAS SOPS 278446 HAS SOUS 246155 HAS SOUPS 246155 WITH SCORE 246433.446
AT ITER 49 NEW BEST:: SOT 339057 SOS 278446 HAS SOPS 278446 HAS SOUS 246154 HAS SOUPS 246154 WITH SCORE 246432.446
AT ITER 51 NEW BEST:: SOT 338880 SOS 278269 HAS SOPS 278269 HAS SOUS 245977 HAS SOUPS 245977 WITH SCORE 246255.269
AT ITER 53 NEW BEST:: SOT 338655 SOS 278042 HAS SOPS 278042 HAS SOUS 245851 HAS SOUPS 245851 WITH SCORE 246129.042
AT ITER 54 NEW BEST:: SOT 338314 SOS 277701 HAS SOPS 277701 HAS SOUS 245353 HAS SOUPS 245353 WITH SCORE 245630.701
AT ITER 56 NEW BEST:: SOT 337967 SOS 277354 HAS SOPS 277354 HAS SOUS 244875 HAS SOUPS 244875 WITH SCORE 245152.354
AT ITER 57 NEW BEST:: SOT 337797 SOS 277184 HAS SOPS 277184 HAS SOUS 244612 HAS SOUPS 244612 WITH SCORE 244889.184
AT ITER 58 NEW BEST:: SOT 337867 SOS 276724 HAS SOPS 276724 HAS SOUS 244306 HAS SOUPS 244306 WITH SCORE 244582.724
AT ITER 59 NEW BEST:: SOT 337867 SOS 276724 HAS SOPS 276724 HAS SOUS 244304 HAS SOUPS 244304 WITH SCORE 244580.724
AT ITER 62 NEW BEST:: SOT 337867 SOS 276486 HAS SOPS 276486 HAS SOUS 244070 HAS SOUPS 244070 WITH SCORE 244346.486
AT ITER 67 NEW BEST:: SOT 337571 SOS 276190 HAS SOPS 276190 HAS SOUS 243774 HAS SOUPS 243774 WITH SCORE 244050.19
AT ITER 69 NEW BEST:: SOT 337247 SOS 275090 HAS SOPS 275090 HAS SOUS 242912 HAS SOUPS 242912 WITH SCORE 243187.09
AT ITER 70 NEW BEST:: SOT 337247 SOS 274768 HAS SOPS 274768 HAS SOUS 242751 HAS SOUPS 242751 WITH SCORE 243025.768
AT ITER 71 NEW BEST:: SOT 337247 SOS 274349 HAS SOPS 274349 HAS SOUS 242552 HAS SOUPS 242552 WITH SCORE 242826.349
AT ITER 72 NEW BEST:: SOT 336934 SOS 274036 HAS SOPS 274036 HAS SOUS 242077 HAS SOUPS 242077 WITH SCORE 242351.036
AT ITER 73 NEW BEST:: SOT 336664 SOS 273766 HAS SOPS 273766 HAS SOUS 241620 HAS SOUPS 241620 WITH SCORE 241893.766
AT ITER 74 NEW BEST:: SOT 336273 SOS 272892 HAS SOPS 272892 HAS SOUS 240893 HAS SOUPS 240893 WITH SCORE 241165.892
AT ITER 75 NEW BEST:: SOT 335759 SOS 272112 HAS SOPS 272112 HAS SOUS 240188 HAS SOUPS 240188 WITH SCORE 240460.112
AT ITER 77 NEW BEST:: SOT 335283 SOS 271636 HAS SOPS 271636 HAS SOUS 239549 HAS SOUPS 239549 WITH SCORE 239820.636
AT ITER 78 NEW BEST:: SOT 335226 SOS 271579 HAS SOPS 271579 HAS SOUS 239492 HAS SOUPS 239492 WITH SCORE 239763.579
AT ITER 79 NEW BEST:: SOT 335262 SOS 271684 HAS SOPS 271684 HAS SOUS 239345 HAS SOUPS 239345 WITH SCORE 239616.684
AT ITER 80 NEW BEST:: SOT 335139 SOS 271026 HAS SOPS 271026 HAS SOUS 238983 HAS SOUPS 238983 WITH SCORE 239254.026
AT ITER 81 NEW BEST:: SOT 334709 SOS 270065 HAS SOPS 270065 HAS SOUS 238197 HAS SOUPS 238197 WITH SCORE 238467.065
AT ITER 82 NEW BEST:: SOT 334457 SOS 269811 HAS SOPS 269811 HAS SOUS 238025 HAS SOUPS 238025 WITH SCORE 238294.811
AT ITER 84 NEW BEST:: SOT 334457 SOS 269815 HAS SOPS 269815 HAS SOUS 238023 HAS SOUPS 238023 WITH SCORE 238292.815
AT ITER 85 NEW BEST:: SOT 334401 SOS 269759 HAS SOPS 269759 HAS SOUS 237967 HAS SOUPS 237967 WITH SCORE 238236.759
AT ITER 86 NEW BEST:: SOT 333987 SOS 269066 HAS SOPS 269066 HAS SOUS 237480 HAS SOUPS 237480 WITH SCORE 237749.066
AT ITER 87 NEW BEST:: SOT 333986 SOS 268931 HAS SOPS 268931 HAS SOUS 237345 HAS SOUPS 237345 WITH SCORE 237613.931
AT ITER 88 NEW BEST:: SOT 333976 SOS 268921 HAS SOPS 268921 HAS SOUS 237335 HAS SOUPS 237335 WITH SCORE 237603.921
AT ITER 92 NEW BEST:: SOT 333647 SOS 267604 HAS SOPS 267604 HAS SOUS 236684 HAS SOUPS 236684 WITH SCORE 236951.604
AT ITER 94 NEW BEST:: SOT 333647 SOS 267603 HAS SOPS 267603 HAS SOUS 236649 HAS SOUPS 236649 WITH SCORE 236916.603
AT ITER 96 NEW BEST:: SOT 333647 SOS 267321 HAS SOPS 267321 HAS SOUS 236507 HAS SOUPS 236507 WITH SCORE 236774.321
AT ITER 97 NEW BEST:: SOT 333015 SOS 265762 HAS SOPS 265762 HAS SOUS 235341 HAS SOUPS 235341 WITH SCORE 235606.762
AT ITER 98 NEW BEST:: SOT 332794 SOS 265541 HAS SOPS 265541 HAS SOUS 235144 HAS SOUPS 235144 WITH SCORE 235409.541
AT ITER 103 NEW BEST:: SOT 332684 SOS 265304 HAS SOPS 265304 HAS SOUS 235125 HAS SOUPS 235125 WITH SCORE 235390.304
AT ITER 104 NEW BEST:: SOT 332094 SOS 264714 HAS SOPS 264714 HAS SOUS 234472 HAS SOUPS 234472 WITH SCORE 234736.714
AT ITER 105 NEW BEST:: SOT 332094 SOS 264468 HAS SOPS 264468 HAS SOUS 234349 HAS SOUPS 234349 WITH SCORE 234613.468
AT ITER 106 NEW BEST:: SOT 331938 SOS 264312 HAS SOPS 264312 HAS SOUS 234120 HAS SOUPS 234120 WITH SCORE 234384.312
AT ITER 107 NEW BEST:: SOT 331519 SOS 263893 HAS SOPS 263893 HAS SOUS 233462 HAS SOUPS 233462 WITH SCORE 233725.893
AT ITER 112 NEW BEST:: SOT 331391 SOS 263765 HAS SOPS 263765 HAS SOUS 233270 HAS SOUPS 233270 WITH SCORE 233533.765
AT ITER 113 NEW BEST:: SOT 331290 SOS 263664 HAS SOPS 263664 HAS SOUS 233169 HAS SOUPS 233169 WITH SCORE 233432.664
AT ITER 114 NEW BEST:: SOT 331234 SOS 263608 HAS SOPS 263608 HAS SOUS 233113 HAS SOUPS 233113 WITH SCORE 233376.608
AT ITER 115 NEW BEST:: SOT 331225 SOS 263215 HAS SOPS 263215 HAS SOUS 232480 HAS SOUPS 232480 WITH SCORE 232743.215
AT ITER 116 NEW BEST:: SOT 330964 SOS 261879 HAS SOPS 261879 HAS SOUS 231454 HAS SOUPS 231454 WITH SCORE 231715.879
AT ITER 118 NEW BEST:: SOT 330964 SOS 261770 HAS SOPS 261770 HAS SOUS 231338 HAS SOUPS 231338 WITH SCORE 231599.77
AT ITER 119 NEW BEST:: SOT 330678 SOS 260544 HAS SOPS 260544 HAS SOUS 230463 HAS SOUPS 230463 WITH SCORE 230723.544
AT ITER 120 NEW BEST:: SOT 330342 SOS 260208 HAS SOPS 260208 HAS SOUS 230009 HAS SOUPS 230009 WITH SCORE 230269.208
AT ITER 122 NEW BEST:: SOT 329792 SOS 259658 HAS SOPS 259658 HAS SOUS 229459 HAS SOUPS 229459 WITH SCORE 229718.658
AT ITER 123 NEW BEST:: SOT 329407 SOS 258676 HAS SOPS 258676 HAS SOUS 228341 HAS SOUPS 228341 WITH SCORE 228599.676
AT ITER 124 NEW BEST:: SOT 329204 SOS 258473 HAS SOPS 258473 HAS SOUS 228138 HAS SOUPS 228138 WITH SCORE 228396.473
AT ITER 125 NEW BEST:: SOT 329204 SOS 257822 HAS SOPS 257822 HAS SOUS 227825 HAS SOUPS 227825 WITH SCORE 228082.822
AT ITER 126 NEW BEST:: SOT 329139 SOS 257783 HAS SOPS 257783 HAS SOUS 227786 HAS SOUPS 227786 WITH SCORE 228043.783
AT ITER 128 NEW BEST:: SOT 328362 SOS 256187 HAS SOPS 256187 HAS SOUS 226419 HAS SOUPS 226419 WITH SCORE 226675.187
AT ITER 129 NEW BEST:: SOT 327698 SOS 255781 HAS SOPS 255781 HAS SOUS 225782 HAS SOUPS 225782 WITH SCORE 226037.781
AT ITER 132 NEW BEST:: SOT 327489 SOS 255572 HAS SOPS 255572 HAS SOUS 225405 HAS SOUPS 225405 WITH SCORE 225660.572
AT ITER 135 NEW BEST:: SOT 327489 SOS 255245 HAS SOPS 255245 HAS SOUS 225405 HAS SOUPS 225405 WITH SCORE 225660.245
AT ITER 136 NEW BEST:: SOT 327230 SOS 254726 HAS SOPS 254726 HAS SOUS 224914 HAS SOUPS 224914 WITH SCORE 225168.726
AT ITER 137 NEW BEST:: SOT 327126 SOS 254501 HAS SOPS 254501 HAS SOUS 224616 HAS SOUPS 224616 WITH SCORE 224870.501
AT ITER 138 NEW BEST:: SOT 326928 SOS 253784 HAS SOPS 253784 HAS SOUS 223986 HAS SOUPS 223986 WITH SCORE 224239.784
AT ITER 141 NEW BEST:: SOT 326627 SOS 253483 HAS SOPS 253483 HAS SOUS 223739 HAS SOUPS 223739 WITH SCORE 223992.483
AT ITER 142 NEW BEST:: SOT 326463 SOS 253319 HAS SOPS 253319 HAS SOUS 223493 HAS SOUPS 223493 WITH SCORE 223746.319
AT ITER 143 NEW BEST:: SOT 326443 SOS 252756 HAS SOPS 252756 HAS SOUS 223255 HAS SOUPS 223255 WITH SCORE 223507.756
AT ITER 145 NEW BEST:: SOT 326023 SOS 251231 HAS SOPS 251231 HAS SOUS 222003 HAS SOUPS 222003 WITH SCORE 222254.231
AT ITER 147 NEW BEST:: SOT 326023 SOS 251223 HAS SOPS 251223 HAS SOUS 221974 HAS SOUPS 221974 WITH SCORE 222225.223
AT ITER 148 NEW BEST:: SOT 325922 SOS 251122 HAS SOPS 251122 HAS SOUS 221888 HAS SOUPS 221888 WITH SCORE 222139.122
AT ITER 149 NEW BEST:: SOT 325208 SOS 249766 HAS SOPS 249766 HAS SOUS 220679 HAS SOUPS 220679 WITH SCORE 220928.766
AT ITER 150 NEW BEST:: SOT 325244 SOS 248564 HAS SOPS 248564 HAS SOUS 220443 HAS SOUPS 220443 WITH SCORE 220691.564
AT ITER 151 NEW BEST:: SOT 325240 SOS 248560 HAS SOPS 248560 HAS SOUS 220439 HAS SOUPS 220439 WITH SCORE 220687.56
AT ITER 153 NEW BEST:: SOT 325240 SOS 247868 HAS SOPS 247868 HAS SOUS 220052 HAS SOUPS 220052 WITH SCORE 220299.868
AT ITER 155 NEW BEST:: SOT 325103 SOS 247731 HAS SOPS 247731 HAS SOUS 219915 HAS SOUPS 219915 WITH SCORE 220162.731
AT ITER 156 NEW BEST:: SOT 324858 SOS 247484 HAS SOPS 247484 HAS SOUS 219668 HAS SOUPS 219668 WITH SCORE 219915.484
AT ITER 160 NEW BEST:: SOT 324561 SOS 246313 HAS SOPS 246313 HAS SOUS 218898 HAS SOUPS 218898 WITH SCORE 219144.313
AT ITER 165 NEW BEST:: SOT 324561 SOS 246039 HAS SOPS 246039 HAS SOUS 218851 HAS SOUPS 218851 WITH SCORE 219097.039
AT ITER 167 NEW BEST:: SOT 324561 SOS 245859 HAS SOPS 245859 HAS SOUS 218666 HAS SOUPS 218666 WITH SCORE 218911.859
AT ITER 172 NEW BEST:: SOT 324527 SOS 245825 HAS SOPS 245825 HAS SOUS 218632 HAS SOUPS 218632 WITH SCORE 218877.825
AT ITER 175 NEW BEST:: SOT 324216 SOS 245428 HAS SOPS 245428 HAS SOUS 218463 HAS SOUPS 218463 WITH SCORE 218708.428
AT ITER 176 NEW BEST:: SOT 323863 SOS 244157 HAS SOPS 244157 HAS SOUS 217941 HAS SOUPS 217941 WITH SCORE 218185.157
AT ITER 177 NEW BEST:: SOT 323667 SOS 243961 HAS SOPS 243961 HAS SOUS 217395 HAS SOUPS 217395 WITH SCORE 217638.961
AT ITER 178 NEW BEST:: SOT 323410 SOS 243518 HAS SOPS 243518 HAS SOUS 216881 HAS SOUPS 216881 WITH SCORE 217124.518
AT ITER 179 NEW BEST:: SOT 323410 SOS 242843 HAS SOPS 242843 HAS SOUS 216656 HAS SOUPS 216656 WITH SCORE 216898.843
AT ITER 181 NEW BEST:: SOT 323278 SOS 242658 HAS SOPS 242658 HAS SOUS 216354 HAS SOUPS 216354 WITH SCORE 216596.658
AT ITER 183 NEW BEST:: SOT 323278 SOS 242640 HAS SOPS 242640 HAS SOUS 216345 HAS SOUPS 216345 WITH SCORE 216587.64
AT ITER 185 NEW BEST:: SOT 323278 SOS 242602 HAS SOPS 242602 HAS SOUS 216337 HAS SOUPS 216337 WITH SCORE 216579.602
AT ITER 187 NEW BEST:: SOT 323290 SOS 241766 HAS SOPS 241766 HAS SOUS 215946 HAS SOUPS 215946 WITH SCORE 216187.766
AT ITER 188 NEW BEST:: SOT 323329 SOS 241574 HAS SOPS 241574 HAS SOUS 215908 HAS SOUPS 215908 WITH SCORE 216149.574
AT ITER 190 NEW BEST:: SOT 322958 SOS 241203 HAS SOPS 241203 HAS SOUS 215630 HAS SOUPS 215630 WITH SCORE 215871.203
AT ITER 191 NEW BEST:: SOT 322958 SOS 241203 HAS SOPS 241203 HAS SOUS 215628 HAS SOUPS 215628 WITH SCORE 215869.203
AT ITER 192 NEW BEST:: SOT 322790 SOS 241035 HAS SOPS 241035 HAS SOUS 215416 HAS SOUPS 215416 WITH SCORE 215657.035
AT ITER 197 NEW BEST:: SOT 322573 SOS 240902 HAS SOPS 240902 HAS SOUS 215370 HAS SOUPS 215370 WITH SCORE 215610.902
AT ITER 199 NEW BEST:: SOT 322573 SOS 240807 HAS SOPS 240807 HAS SOUS 215333 HAS SOUPS 215333 WITH SCORE 215573.807
AT ITER 203 NEW BEST:: SOT 322295 SOS 240529 HAS SOPS 240529 HAS SOUS 215055 HAS SOUPS 215055 WITH SCORE 215295.529
AT ITER 206 NEW BEST:: SOT 322295 SOS 240529 HAS SOPS 240529 HAS SOUS 215027 HAS SOUPS 215027 WITH SCORE 215267.529
AT ITER 207 NEW BEST:: SOT 322288 SOS 240522 HAS SOPS 240522 HAS SOUS 215020 HAS SOUPS 215020 WITH SCORE 215260.522
AT ITER 208 NEW BEST:: SOT 322074 SOS 240164 HAS SOPS 240164 HAS SOUS 214678 HAS SOUPS 214678 WITH SCORE 214918.164
AT ITER 210 NEW BEST:: SOT 322074 SOS 240164 HAS SOPS 240164 HAS SOUS 214612 HAS SOUPS 214612 WITH SCORE 214852.164
AT ITER 214 NEW BEST:: SOT 322010 SOS 240100 HAS SOPS 240100 HAS SOUS 214548 HAS SOUPS 214548 WITH SCORE 214788.1
AT ITER 215 NEW BEST:: SOT 321425 SOS 239515 HAS SOPS 239515 HAS SOUS 213783 HAS SOUPS 213783 WITH SCORE 214022.515
AT ITER 216 NEW BEST:: SOT 321519 SOS 238653 HAS SOPS 238653 HAS SOUS 213345 HAS SOUPS 213345 WITH SCORE 213583.653
AT ITER 218 NEW BEST:: SOT 321419 SOS 237957 HAS SOPS 237957 HAS SOUS 212842 HAS SOUPS 212842 WITH SCORE 213079.957
AT ITER 221 NEW BEST:: SOT 321419 SOS 237810 HAS SOPS 237810 HAS SOUS 212753 HAS SOUPS 212753 WITH SCORE 212990.81
AT ITER 223 NEW BEST:: SOT 321419 SOS 237716 HAS SOPS 237716 HAS SOUS 212677 HAS SOUPS 212677 WITH SCORE 212914.716
AT ITER 225 NEW BEST:: SOT 320788 SOS 235741 HAS SOPS 235741 HAS SOUS 211683 HAS SOUPS 211683 WITH SCORE 211918.741
AT ITER 226 NEW BEST:: SOT 320788 SOS 235220 HAS SOPS 235220 HAS SOUS 211295 HAS SOUPS 211295 WITH SCORE 211530.22
AT ITER 227 NEW BEST:: SOT 320285 SOS 234115 HAS SOPS 234115 HAS SOUS 210366 HAS SOUPS 210366 WITH SCORE 210600.115
AT ITER 228 NEW BEST:: SOT 320185 SOS 233451 HAS SOPS 233451 HAS SOUS 209677 HAS SOUPS 209677 WITH SCORE 209910.451
AT ITER 229 NEW BEST:: SOT 320185 SOS 233179 HAS SOPS 233179 HAS SOUS 209536 HAS SOUPS 209536 WITH SCORE 209769.179
AT ITER 231 NEW BEST:: SOT 320185 SOS 233085 HAS SOPS 233085 HAS SOUS 209488 HAS SOUPS 209488 WITH SCORE 209721.085
AT ITER 233 NEW BEST:: SOT 320094 SOS 232002 HAS SOPS 232002 HAS SOUS 209035 HAS SOUPS 209035 WITH SCORE 209267.002
AT ITER 235 NEW BEST:: SOT 319897 SOS 231805 HAS SOPS 231805 HAS SOUS 208838 HAS SOUPS 208838 WITH SCORE 209069.805
AT ITER 236 NEW BEST:: SOT 319820 SOS 231728 HAS SOPS 231728 HAS SOUS 208761 HAS SOUPS 208761 WITH SCORE 208992.728
AT ITER 238 NEW BEST:: SOT 319910 SOS 231711 HAS SOPS 231711 HAS SOUS 208744 HAS SOUPS 208744 WITH SCORE 208975.711
AT ITER 241 NEW BEST:: SOT 319946 SOS 231381 HAS SOPS 231381 HAS SOUS 208570 HAS SOUPS 208570 WITH SCORE 208801.381
AT ITER 243 NEW BEST:: SOT 319586 SOS 231021 HAS SOPS 231021 HAS SOUS 208048 HAS SOUPS 208048 WITH SCORE 208279.021
AT ITER 246 NEW BEST:: SOT 319332 SOS 230675 HAS SOPS 230675 HAS SOUS 207665 HAS SOUPS 207665 WITH SCORE 207895.675
AT ITER 248 NEW BEST:: SOT 318890 SOS 229662 HAS SOPS 229662 HAS SOUS 206792 HAS SOUPS 206792 WITH SCORE 207021.662
AT ITER 251 NEW BEST:: SOT 318890 SOS 229425 HAS SOPS 229425 HAS SOUS 206327 HAS SOUPS 206327 WITH SCORE 206556.425
AT ITER 253 NEW BEST:: SOT 318898 SOS 229066 HAS SOPS 229066 HAS SOUS 206172 HAS SOUPS 206172 WITH SCORE 206401.066
AT ITER 257 NEW BEST:: SOT 318842 SOS 228373 HAS SOPS 228373 HAS SOUS 205804 HAS SOUPS 205804 WITH SCORE 206032.373
AT ITER 259 NEW BEST:: SOT 318807 SOS 228338 HAS SOPS 228338 HAS SOUS 205769 HAS SOUPS 205769 WITH SCORE 205997.338
AT ITER 260 NEW BEST:: SOT 318807 SOS 228691 HAS SOPS 228691 HAS SOUS 205753 HAS SOUPS 205753 WITH SCORE 205981.691
AT ITER 262 NEW BEST:: SOT 318807 SOS 228537 HAS SOPS 228537 HAS SOUS 205676 HAS SOUPS 205676 WITH SCORE 205904.537
AT ITER 263 NEW BEST:: SOT 318651 SOS 228277 HAS SOPS 228277 HAS SOUS 205416 HAS SOUPS 205416 WITH SCORE 205644.277
AT ITER 264 NEW BEST:: SOT 318651 SOS 227933 HAS SOPS 227933 HAS SOUS 205244 HAS SOUPS 205244 WITH SCORE 205471.933
AT ITER 265 NEW BEST:: SOT 318267 SOS 227549 HAS SOPS 227549 HAS SOUS 204860 HAS SOUPS 204860 WITH SCORE 205087.549
AT ITER 266 NEW BEST:: SOT 318061 SOS 227343 HAS SOPS 227343 HAS SOUS 204654 HAS SOUPS 204654 WITH SCORE 204881.343
AT ITER 271 NEW BEST:: SOT 318061 SOS 226579 HAS SOPS 226579 HAS SOUS 204317 HAS SOUPS 204317 WITH SCORE 204543.579
AT ITER 272 NEW BEST:: SOT 318003 SOS 225943 HAS SOPS 225943 HAS SOUS 203801 HAS SOUPS 203801 WITH SCORE 204026.943
AT ITER 275 NEW BEST:: SOT 317991 SOS 225931 HAS SOPS 225931 HAS SOUS 203789 HAS SOUPS 203789 WITH SCORE 204014.931
AT ITER 276 NEW BEST:: SOT 317654 SOS 225594 HAS SOPS 225594 HAS SOUS 203273 HAS SOUPS 203273 WITH SCORE 203498.594
AT ITER 278 NEW BEST:: SOT 317516 SOS 225893 HAS SOPS 225893 HAS SOUS 203238 HAS SOUPS 203238 WITH SCORE 203463.893
AT ITER 280 NEW BEST:: SOT 317435 SOS 225700 HAS SOPS 225700 HAS SOUS 203062 HAS SOUPS 203062 WITH SCORE 203287.7
AT ITER 281 NEW BEST:: SOT 317435 SOS 225523 HAS SOPS 225523 HAS SOUS 203024 HAS SOUPS 203024 WITH SCORE 203249.523
AT ITER 283 NEW BEST:: SOT 317260 SOS 225107 HAS SOPS 225107 HAS SOUS 202571 HAS SOUPS 202571 WITH SCORE 202796.107
AT ITER 291 NEW BEST:: SOT 317259 SOS 224707 HAS SOPS 224707 HAS SOUS 202379 HAS SOUPS 202379 WITH SCORE 202603.707
AT ITER 292 NEW BEST:: SOT 316872 SOS 224320 HAS SOPS 224320 HAS SOUS 201992 HAS SOUPS 201992 WITH SCORE 202216.32
AT ITER 293 NEW BEST:: SOT 316872 SOS 224318 HAS SOPS 224318 HAS SOUS 201990 HAS SOUPS 201990 WITH SCORE 202214.318
AT ITER 294 NEW BEST:: SOT 316872 SOS 224194 HAS SOPS 224194 HAS SOUS 201866 HAS SOUPS 201866 WITH SCORE 202090.194
AT ITER 295 NEW BEST:: SOT 316761 SOS 224078 HAS SOPS 224078 HAS SOUS 201803 HAS SOUPS 201803 WITH SCORE 202027.078
AT ITER 296 NEW BEST:: SOT 316767 SOS 224075 HAS SOPS 224075 HAS SOUS 201800 HAS SOUPS 201800 WITH SCORE 202024.075
AT ITER 297 NEW BEST:: SOT 316513 SOS 223821 HAS SOPS 223821 HAS SOUS 201546 HAS SOUPS 201546 WITH SCORE 201769.821
AT ITER 301 NEW BEST:: SOT 315999 SOS 223307 HAS SOPS 223307 HAS SOUS 200775 HAS SOUPS 200775 WITH SCORE 200998.307
AT ITER 313 NEW BEST:: SOT 315962 SOS 223270 HAS SOPS 223270 HAS SOUS 200738 HAS SOUPS 200738 WITH SCORE 200961.27
AT ITER 314 NEW BEST:: SOT 315962 SOS 223092 HAS SOPS 223092 HAS SOUS 200738 HAS SOUPS 200738 WITH SCORE 200961.092
AT ITER 315 NEW BEST:: SOT 315962 SOS 222524 HAS SOPS 222524 HAS SOUS 200443 HAS SOUPS 200443 WITH SCORE 200665.524
AT ITER 316 NEW BEST:: SOT 315950 SOS 221580 HAS SOPS 221580 HAS SOUS 199842 HAS SOUPS 199842 WITH SCORE 200063.58
AT ITER 317 NEW BEST:: SOT 315877 SOS 221507 HAS SOPS 221507 HAS SOUS 199769 HAS SOUPS 199769 WITH SCORE 199990.507
AT ITER 322 NEW BEST:: SOT 315679 SOS 221309 HAS SOPS 221309 HAS SOUS 199569 HAS SOUPS 199569 WITH SCORE 199790.309
AT ITER 325 NEW BEST:: SOT 315679 SOS 221196 HAS SOPS 221196 HAS SOUS 199558 HAS SOUPS 199558 WITH SCORE 199779.196
AT ITER 326 NEW BEST:: SOT 315679 SOS 221171 HAS SOPS 221171 HAS SOUS 199530 HAS SOUPS 199530 WITH SCORE 199751.171
AT ITER 329 NEW BEST:: SOT 315670 SOS 220965 HAS SOPS 220965 HAS SOUS 199263 HAS SOUPS 199263 WITH SCORE 199483.965
AT ITER 330 NEW BEST:: SOT 315444 SOS 219839 HAS SOPS 219839 HAS SOUS 198812 HAS SOUPS 198812 WITH SCORE 199031.839
AT ITER 333 NEW BEST:: SOT 315419 SOS 219764 HAS SOPS 219764 HAS SOUS 198787 HAS SOUPS 198787 WITH SCORE 199006.764
AT ITER 339 NEW BEST:: SOT 315116 SOS 219461 HAS SOPS 219461 HAS SOUS 198634 HAS SOUPS 198634 WITH SCORE 198853.461
AT ITER 340 NEW BEST:: SOT 315116 SOS 219082 HAS SOPS 219082 HAS SOUS 198534 HAS SOUPS 198534 WITH SCORE 198753.082
AT ITER 342 NEW BEST:: SOT 315021 SOS 218987 HAS SOPS 218987 HAS SOUS 198439 HAS SOUPS 198439 WITH SCORE 198657.987
AT ITER 343 NEW BEST:: SOT 314686 SOS 218652 HAS SOPS 218652 HAS SOUS 198104 HAS SOUPS 198104 WITH SCORE 198322.652
AT ITER 345 NEW BEST:: SOT 314269 SOS 218235 HAS SOPS 218235 HAS SOUS 197592 HAS SOUPS 197592 WITH SCORE 197810.235
AT ITER 346 NEW BEST:: SOT 313687 SOS 217196 HAS SOPS 217196 HAS SOUS 196541 HAS SOUPS 196541 WITH SCORE 196758.196
AT ITER 348 NEW BEST:: SOT 313253 SOS 216762 HAS SOPS 216762 HAS SOUS 195996 HAS SOUPS 195996 WITH SCORE 196212.762
AT ITER 349 NEW BEST:: SOT 313485 SOS 216536 HAS SOPS 216536 HAS SOUS 195913 HAS SOUPS 195913 WITH SCORE 196129.536
AT ITER 350 NEW BEST:: SOT 313382 SOS 216432 HAS SOPS 216432 HAS SOUS 195860 HAS SOUPS 195860 WITH SCORE 196076.432
AT ITER 353 NEW BEST:: SOT 313213 SOS 216251 HAS SOPS 216251 HAS SOUS 195836 HAS SOUPS 195836 WITH SCORE 196052.251
AT ITER 355 NEW BEST:: SOT 312835 SOS 215830 HAS SOPS 215830 HAS SOUS 195506 HAS SOUPS 195506 WITH SCORE 195721.83
AT ITER 356 NEW BEST:: SOT 312835 SOS 214968 HAS SOPS 214968 HAS SOUS 194721 HAS SOUPS 194721 WITH SCORE 194935.968
AT ITER 357 NEW BEST:: SOT 312460 SOS 214001 HAS SOPS 214001 HAS SOUS 194236 HAS SOUPS 194236 WITH SCORE 194450.001
AT ITER 359 NEW BEST:: SOT 312431 SOS 213972 HAS SOPS 213972 HAS SOUS 194207 HAS SOUPS 194207 WITH SCORE 194420.972
AT ITER 360 NEW BEST:: SOT 312431 SOS 213972 HAS SOPS 213972 HAS SOUS 194203 HAS SOUPS 194203 WITH SCORE 194416.972
AT ITER 362 NEW BEST:: SOT 312627 SOS 214168 HAS SOPS 214168 HAS SOUS 194013 HAS SOUPS 194013 WITH SCORE 194227.168
AT ITER 364 NEW BEST:: SOT 312300 SOS 213841 HAS SOPS 213841 HAS SOUS 193686 HAS SOUPS 193686 WITH SCORE 193899.841
AT ITER 367 NEW BEST:: SOT 312300 SOS 213751 HAS SOPS 213751 HAS SOUS 193686 HAS SOUPS 193686 WITH SCORE 193899.751
AT ITER 370 NEW BEST:: SOT 312009 SOS 213454 HAS SOPS 213454 HAS SOUS 193389 HAS SOUPS 193389 WITH SCORE 193602.454
AT ITER 372 NEW BEST:: SOT 311737 SOS 213229 HAS SOPS 213229 HAS SOUS 193221 HAS SOUPS 193221 WITH SCORE 193434.229
AT ITER 374 NEW BEST:: SOT 311737 SOS 213165 HAS SOPS 213165 HAS SOUS 193221 HAS SOUPS 193221 WITH SCORE 193434.165
AT ITER 377 NEW BEST:: SOT 311687 SOS 212255 HAS SOPS 212255 HAS SOUS 192741 HAS SOUPS 192741 WITH SCORE 192953.255
AT ITER 378 NEW BEST:: SOT 311687 SOS 212076 HAS SOPS 212076 HAS SOUS 192625 HAS SOUPS 192625 WITH SCORE 192837.076
AT ITER 379 NEW BEST:: SOT 311464 SOS 211853 HAS SOPS 211853 HAS SOUS 192407 HAS SOUPS 192407 WITH SCORE 192618.853
AT ITER 382 NEW BEST:: SOT 311440 SOS 211827 HAS SOPS 211827 HAS SOUS 192381 HAS SOUPS 192381 WITH SCORE 192592.827
AT ITER 384 NEW BEST:: SOT 311440 SOS 211458 HAS SOPS 211458 HAS SOUS 192135 HAS SOUPS 192135 WITH SCORE 192346.458
AT ITER 386 NEW BEST:: SOT 311440 SOS 211263 HAS SOPS 211263 HAS SOUS 191940 HAS SOUPS 191940 WITH SCORE 192151.263
AT ITER 387 NEW BEST:: SOT 311346 SOS 211075 HAS SOPS 211075 HAS SOUS 191752 HAS SOUPS 191752 WITH SCORE 191963.075
AT ITER 388 NEW BEST:: SOT 311084 SOS 210813 HAS SOPS 210813 HAS SOUS 191639 HAS SOUPS 191639 WITH SCORE 191849.813
AT ITER 390 NEW BEST:: SOT 311054 SOS 210660 HAS SOPS 210660 HAS SOUS 191511 HAS SOUPS 191511 WITH SCORE 191721.66
AT ITER 393 NEW BEST:: SOT 310850 SOS 209725 HAS SOPS 209725 HAS SOUS 190571 HAS SOUPS 190571 WITH SCORE 190780.725
AT ITER 394 NEW BEST:: SOT 310696 SOS 209571 HAS SOPS 209571 HAS SOUS 190417 HAS SOUPS 190417 WITH SCORE 190626.571
AT ITER 395 NEW BEST:: SOT 310475 SOS 209106 HAS SOPS 209106 HAS SOUS 189952 HAS SOUPS 189952 WITH SCORE 190161.106
AT ITER 399 NEW BEST:: SOT 310475 SOS 209032 HAS SOPS 209032 HAS SOUS 189878 HAS SOUPS 189878 WITH SCORE 190087.032
AT ITER 401 NEW BEST:: SOT 310142 SOS 207997 HAS SOPS 207997 HAS SOUS 189297 HAS SOUPS 189297 WITH SCORE 189504.997
AT ITER 403 NEW BEST:: SOT 310142 SOS 207989 HAS SOPS 207989 HAS SOUS 189297 HAS SOUPS 189297 WITH SCORE 189504.989
AT ITER 406 NEW BEST:: SOT 310086 SOS 208055 HAS SOPS 208055 HAS SOUS 189284 HAS SOUPS 189284 WITH SCORE 189492.055
AT ITER 412 NEW BEST:: SOT 310086 SOS 207943 HAS SOPS 207943 HAS SOUS 189228 HAS SOUPS 189228 WITH SCORE 189435.943
AT ITER 414 NEW BEST:: SOT 310037 SOS 207894 HAS SOPS 207894 HAS SOUS 189179 HAS SOUPS 189179 WITH SCORE 189386.894
AT ITER 417 NEW BEST:: SOT 310037 SOS 207477 HAS SOPS 207477 HAS SOUS 188807 HAS SOUPS 188807 WITH SCORE 189014.477
AT ITER 418 NEW BEST:: SOT 310037 SOS 207518 HAS SOPS 207518 HAS SOUS 188761 HAS SOUPS 188761 WITH SCORE 188968.518
AT ITER 420 NEW BEST:: SOT 309913 SOS 207137 HAS SOPS 207137 HAS SOUS 188472 HAS SOUPS 188472 WITH SCORE 188679.137
AT ITER 423 NEW BEST:: SOT 309685 SOS 206757 HAS SOPS 206757 HAS SOUS 188094 HAS SOUPS 188094 WITH SCORE 188300.757
AT ITER 425 NEW BEST:: SOT 309685 SOS 206831 HAS SOPS 206831 HAS SOUS 188080 HAS SOUPS 188080 WITH SCORE 188286.831
AT ITER 426 NEW BEST:: SOT 309115 SOS 206120 HAS SOPS 206120 HAS SOUS 187518 HAS SOUPS 187518 WITH SCORE 187724.12
AT ITER 432 NEW BEST:: SOT 308920 SOS 205925 HAS SOPS 205925 HAS SOUS 187258 HAS SOUPS 187258 WITH SCORE 187463.925
AT ITER 433 NEW BEST:: SOT 308461 SOS 205296 HAS SOPS 205296 HAS SOUS 186498 HAS SOUPS 186498 WITH SCORE 186703.296
AT ITER 441 NEW BEST:: SOT 308206 SOS 205293 HAS SOPS 205293 HAS SOUS 186495 HAS SOUPS 186495 WITH SCORE 186700.293
AT ITER 442 NEW BEST:: SOT 308283 SOS 205485 HAS SOPS 205485 HAS SOUS 186295 HAS SOUPS 186295 WITH SCORE 186500.485
AT ITER 445 NEW BEST:: SOT 308227 SOS 205317 HAS SOPS 205317 HAS SOUS 186239 HAS SOUPS 186239 WITH SCORE 186444.317
AT ITER 457 NEW BEST:: SOT 308227 SOS 205276 HAS SOPS 205276 HAS SOUS 186234 HAS SOUPS 186234 WITH SCORE 186439.276
AT ITER 460 NEW BEST:: SOT 308103 SOS 205028 HAS SOPS 205028 HAS SOUS 185986 HAS SOUPS 185986 WITH SCORE 186191.028
AT ITER 462 NEW BEST:: SOT 307826 SOS 204705 HAS SOPS 204705 HAS SOUS 185704 HAS SOUPS 185704 WITH SCORE 185908.705
AT ITER 464 NEW BEST:: SOT 307703 SOS 203647 HAS SOPS 203647 HAS SOUS 184931 HAS SOUPS 184931 WITH SCORE 185134.647
AT ITER 465 NEW BEST:: SOT 307641 SOS 203451 HAS SOPS 203451 HAS SOUS 184725 HAS SOUPS 184725 WITH SCORE 184928.451
AT ITER 466 NEW BEST:: SOT 307641 SOS 203201 HAS SOPS 203201 HAS SOUS 184646 HAS SOUPS 184646 WITH SCORE 184849.201
AT ITER 467 NEW BEST:: SOT 307641 SOS 203201 HAS SOPS 203201 HAS SOUS 184633 HAS SOUPS 184633 WITH SCORE 184836.201
AT ITER 470 NEW BEST:: SOT 307641 SOS 203110 HAS SOPS 203110 HAS SOUS 184542 HAS SOUPS 184542 WITH SCORE 184745.11
AT ITER 474 NEW BEST:: SOT 307315 SOS 201993 HAS SOPS 201993 HAS SOUS 183788 HAS SOUPS 183788 WITH SCORE 183989.993
AT ITER 480 NEW BEST:: SOT 307238 SOS 201993 HAS SOPS 201993 HAS SOUS 183711 HAS SOUPS 183711 WITH SCORE 183912.993
AT ITER 483 NEW BEST:: SOT 307129 SOS 201884 HAS SOPS 201884 HAS SOUS 183668 HAS SOUPS 183668 WITH SCORE 183869.884
AT ITER 484 NEW BEST:: SOT 307129 SOS 201836 HAS SOPS 201836 HAS SOUS 183652 HAS SOUPS 183652 WITH SCORE 183853.836
AT ITER 486 NEW BEST:: SOT 307001 SOS 201708 HAS SOPS 201708 HAS SOUS 183524 HAS SOUPS 183524 WITH SCORE 183725.708
AT ITER 488 NEW BEST:: SOT 306916 SOS 201180 HAS SOPS 201180 HAS SOUS 183210 HAS SOUPS 183210 WITH SCORE 183411.18
AT ITER 489 NEW BEST:: SOT 306994 SOS 201114 HAS SOPS 201114 HAS SOUS 183131 HAS SOUPS 183131 WITH SCORE 183332.114
AT ITER 494 NEW BEST:: SOT 306994 SOS 200695 HAS SOPS 200695 HAS SOUS 182990 HAS SOUPS 182990 WITH SCORE 183190.695
AT ITER 495 NEW BEST:: SOT 306872 SOS 200450 HAS SOPS 200450 HAS SOUS 182747 HAS SOUPS 182747 WITH SCORE 182947.45
AT ITER 496 NEW BEST:: SOT 306647 SOS 200225 HAS SOPS 200225 HAS SOUS 182522 HAS SOUPS 182522 WITH SCORE 182722.225
AT ITER 499 NEW BEST:: SOT 306646 SOS 200224 HAS SOPS 200224 HAS SOUS 182521 HAS SOUPS 182521 WITH SCORE 182721.224
AT ITER 500 NEW BEST:: SOT 306616 SOS 200136 HAS SOPS 200136 HAS SOUS 182433 HAS SOUPS 182433 WITH SCORE 182633.136
AT ITER 502 NEW BEST:: SOT 306455 SOS 199942 HAS SOPS 199942 HAS SOUS 182239 HAS SOUPS 182239 WITH SCORE 182438.942
AT ITER 503 NEW BEST:: SOT 306455 SOS 199787 HAS SOPS 199787 HAS SOUS 182048 HAS SOUPS 182048 WITH SCORE 182247.787
AT ITER 508 NEW BEST:: SOT 306364 SOS 199745 HAS SOPS 199745 HAS SOUS 182043 HAS SOUPS 182043 WITH SCORE 182242.745
AT ITER 512 NEW BEST:: SOT 306306 SOS 199661 HAS SOPS 199661 HAS SOUS 181959 HAS SOUPS 181959 WITH SCORE 182158.661
AT ITER 514 NEW BEST:: SOT 306128 SOS 199483 HAS SOPS 199483 HAS SOUS 181660 HAS SOUPS 181660 WITH SCORE 181859.483
AT ITER 515 NEW BEST:: SOT 305985 SOS 199300 HAS SOPS 199300 HAS SOUS 181513 HAS SOUPS 181513 WITH SCORE 181712.3
AT ITER 517 NEW BEST:: SOT 305792 SOS 199015 HAS SOPS 199015 HAS SOUS 181081 HAS SOUPS 181081 WITH SCORE 181280.015
AT ITER 519 NEW BEST:: SOT 305910 SOS 199269 HAS SOPS 199269 HAS SOUS 181035 HAS SOUPS 181035 WITH SCORE 181234.269
AT ITER 520 NEW BEST:: SOT 305698 SOS 199277 HAS SOPS 199277 HAS SOUS 180963 HAS SOUPS 180963 WITH SCORE 181162.277
AT ITER 521 NEW BEST:: SOT 305424 SOS 198776 HAS SOPS 198776 HAS SOUS 180317 HAS SOUPS 180317 WITH SCORE 180515.776
AT ITER 522 NEW BEST:: SOT 305101 SOS 197883 HAS SOPS 197883 HAS SOUS 179572 HAS SOUPS 179572 WITH SCORE 179769.883
AT ITER 526 NEW BEST:: SOT 304887 SOS 197562 HAS SOPS 197562 HAS SOUS 179251 HAS SOUPS 179251 WITH SCORE 179448.562
AT ITER 529 NEW BEST:: SOT 304887 SOS 197560 HAS SOPS 197560 HAS SOUS 179251 HAS SOUPS 179251 WITH SCORE 179448.56
AT ITER 532 NEW BEST:: SOT 304748 SOS 197421 HAS SOPS 197421 HAS SOUS 179229 HAS SOUPS 179229 WITH SCORE 179426.421
AT ITER 533 NEW BEST:: SOT 304539 SOS 196794 HAS SOPS 196794 HAS SOUS 178465 HAS SOUPS 178465 WITH SCORE 178661.794
AT ITER 538 NEW BEST:: SOT 304412 SOS 196620 HAS SOPS 196620 HAS SOUS 178378 HAS SOUPS 178378 WITH SCORE 178574.62
AT ITER 540 NEW BEST:: SOT 304209 SOS 196104 HAS SOPS 196104 HAS SOUS 178004 HAS SOUPS 178004 WITH SCORE 178200.104
AT ITER 543 NEW BEST:: SOT 303739 SOS 196003 HAS SOPS 196003 HAS SOUS 177894 HAS SOUPS 177894 WITH SCORE 178090.003
AT ITER 546 NEW BEST:: SOT 303739 SOS 195922 HAS SOPS 195922 HAS SOUS 177892 HAS SOUPS 177892 WITH SCORE 178087.922
AT ITER 550 NEW BEST:: SOT 303712 SOS 195895 HAS SOPS 195895 HAS SOUS 177842 HAS SOUPS 177842 WITH SCORE 178037.895
AT ITER 555 NEW BEST:: SOT 303529 SOS 195686 HAS SOPS 195686 HAS SOUS 177696 HAS SOUPS 177696 WITH SCORE 177891.686
AT ITER 557 NEW BEST:: SOT 302970 SOS 195419 HAS SOPS 195419 HAS SOUS 177372 HAS SOUPS 177372 WITH SCORE 177567.419
AT ITER 565 NEW BEST:: SOT 302970 SOS 195514 HAS SOPS 195514 HAS SOUS 177219 HAS SOUPS 177219 WITH SCORE 177414.514
AT ITER 567 NEW BEST:: SOT 302413 SOS 194485 HAS SOPS 194485 HAS SOUS 176577 HAS SOUPS 176577 WITH SCORE 176771.485
AT ITER 569 NEW BEST:: SOT 302418 SOS 194207 HAS SOPS 194207 HAS SOUS 176531 HAS SOUPS 176531 WITH SCORE 176725.207
AT ITER 573 NEW BEST:: SOT 302294 SOS 193845 HAS SOPS 193845 HAS SOUS 176233 HAS SOUPS 176233 WITH SCORE 176426.845
AT ITER 574 NEW BEST:: SOT 302258 SOS 193773 HAS SOPS 193773 HAS SOUS 176161 HAS SOUPS 176161 WITH SCORE 176354.773
AT ITER 579 NEW BEST:: SOT 301924 SOS 193439 HAS SOPS 193439 HAS SOUS 175827 HAS SOUPS 175827 WITH SCORE 176020.439
AT ITER 596 NEW BEST:: SOT 301949 SOS 193407 HAS SOPS 193407 HAS SOUS 175795 HAS SOUPS 175795 WITH SCORE 175988.407
AT ITER 604 NEW BEST:: SOT 301949 SOS 192853 HAS SOPS 192853 HAS SOUS 175438 HAS SOUPS 175438 WITH SCORE 175630.853
AT ITER 605 NEW BEST:: SOT 301807 SOS 192418 HAS SOPS 192418 HAS SOUS 175217 HAS SOUPS 175217 WITH SCORE 175409.418
AT ITER 608 NEW BEST:: SOT 301417 SOS 192549 HAS SOPS 192549 HAS SOUS 174840 HAS SOUPS 174840 WITH SCORE 175032.549
AT ITER 609 NEW BEST:: SOT 301417 SOS 192140 HAS SOPS 192140 HAS SOUS 174722 HAS SOUPS 174722 WITH SCORE 174914.14
AT ITER 611 NEW BEST:: SOT 301153 SOS 191672 HAS SOPS 191672 HAS SOUS 174254 HAS SOUPS 174254 WITH SCORE 174445.672
AT ITER 616 NEW BEST:: SOT 301153 SOS 191365 HAS SOPS 191365 HAS SOUS 174050 HAS SOUPS 174050 WITH SCORE 174241.365
AT ITER 617 NEW BEST:: SOT 301063 SOS 191303 HAS SOPS 191303 HAS SOUS 173670 HAS SOUPS 173670 WITH SCORE 173861.303
AT ITER 629 NEW BEST:: SOT 300914 SOS 190966 HAS SOPS 190966 HAS SOUS 173333 HAS SOUPS 173333 WITH SCORE 173523.966
AT ITER 630 NEW BEST:: SOT 300908 SOS 190958 HAS SOPS 190958 HAS SOUS 173327 HAS SOUPS 173327 WITH SCORE 173517.958
AT ITER 631 NEW BEST:: SOT 300755 SOS 190312 HAS SOPS 190312 HAS SOUS 172752 HAS SOUPS 172752 WITH SCORE 172942.312
AT ITER 632 NEW BEST:: SOT 300755 SOS 190062 HAS SOPS 190062 HAS SOUS 172489 HAS SOUPS 172489 WITH SCORE 172679.062
AT ITER 637 NEW BEST:: SOT 300741 SOS 190048 HAS SOPS 190048 HAS SOUS 172475 HAS SOUPS 172475 WITH SCORE 172665.048
AT ITER 638 NEW BEST:: SOT 300727 SOS 190027 HAS SOPS 190027 HAS SOUS 172454 HAS SOUPS 172454 WITH SCORE 172644.027
AT ITER 640 NEW BEST:: SOT 300727 SOS 189996 HAS SOPS 189996 HAS SOUS 172423 HAS SOUPS 172423 WITH SCORE 172612.996
AT ITER 650 NEW BEST:: SOT 300204 SOS 188306 HAS SOPS 188306 HAS SOUS 171482 HAS SOUPS 171482 WITH SCORE 171670.306
AT ITER 655 NEW BEST:: SOT 300186 SOS 188288 HAS SOPS 188288 HAS SOUS 171464 HAS SOUPS 171464 WITH SCORE 171652.288
AT ITER 661 NEW BEST:: SOT 300329 SOS 188235 HAS SOPS 188235 HAS SOUS 171411 HAS SOUPS 171411 WITH SCORE 171599.235
AT ITER 662 NEW BEST:: SOT 300137 SOS 187979 HAS SOPS 187979 HAS SOUS 171155 HAS SOUPS 171155 WITH SCORE 171342.979
AT ITER 666 NEW BEST:: SOT 300093 SOS 187808 HAS SOPS 187808 HAS SOUS 170589 HAS SOUPS 170589 WITH SCORE 170776.808
AT ITER 671 NEW BEST:: SOT 299922 SOS 187637 HAS SOPS 187637 HAS SOUS 170418 HAS SOUPS 170418 WITH SCORE 170605.637
AT ITER 676 NEW BEST:: SOT 299777 SOS 187333 HAS SOPS 187333 HAS SOUS 170280 HAS SOUPS 170280 WITH SCORE 170467.333
AT ITER 678 NEW BEST:: SOT 299641 SOS 187062 HAS SOPS 187062 HAS SOUS 170156 HAS SOUPS 170156 WITH SCORE 170343.062
AT ITER 680 NEW BEST:: SOT 299479 SOS 186886 HAS SOPS 186886 HAS SOUS 169980 HAS SOUPS 169980 WITH SCORE 170166.886
AT ITER 681 NEW BEST:: SOT 299403 SOS 186841 HAS SOPS 186841 HAS SOUS 169932 HAS SOUPS 169932 WITH SCORE 170118.841
AT ITER 684 NEW BEST:: SOT 299068 SOS 186636 HAS SOPS 186636 HAS SOUS 169668 HAS SOUPS 169668 WITH SCORE 169854.636
AT ITER 691 NEW BEST:: SOT 298861 SOS 186397 HAS SOPS 186397 HAS SOUS 169377 HAS SOUPS 169377 WITH SCORE 169563.397
AT ITER 695 NEW BEST:: SOT 298669 SOS 185458 HAS SOPS 185458 HAS SOUS 168796 HAS SOUPS 168796 WITH SCORE 168981.458
AT ITER 701 NEW BEST:: SOT 298648 SOS 185395 HAS SOPS 185395 HAS SOUS 168754 HAS SOUPS 168754 WITH SCORE 168939.395
AT ITER 702 NEW BEST:: SOT 298638 SOS 185139 HAS SOPS 185139 HAS SOUS 168515 HAS SOUPS 168515 WITH SCORE 168700.139
AT ITER 707 NEW BEST:: SOT 298283 SOS 184447 HAS SOPS 184447 HAS SOUS 168069 HAS SOUPS 168069 WITH SCORE 168253.447
AT ITER 708 NEW BEST:: SOT 298283 SOS 184300 HAS SOPS 184300 HAS SOUS 167954 HAS SOUPS 167954 WITH SCORE 168138.3
AT ITER 710 NEW BEST:: SOT 298405 SOS 183977 HAS SOPS 183977 HAS SOUS 167410 HAS SOUPS 167410 WITH SCORE 167593.977
AT ITER 711 NEW BEST:: SOT 298352 SOS 183939 HAS SOPS 183939 HAS SOUS 167266 HAS SOUPS 167266 WITH SCORE 167449.939
AT ITER 713 NEW BEST:: SOT 298643 SOS 184260 HAS SOPS 184260 HAS SOUS 167248 HAS SOUPS 167248 WITH SCORE 167432.26
AT ITER 716 NEW BEST:: SOT 298643 SOS 184140 HAS SOPS 184140 HAS SOUS 167168 HAS SOUPS 167168 WITH SCORE 167352.14
AT ITER 719 NEW BEST:: SOT 298553 SOS 184050 HAS SOPS 184050 HAS SOUS 167078 HAS SOUPS 167078 WITH SCORE 167262.05
AT ITER 723 NEW BEST:: SOT 298458 SOS 183935 HAS SOPS 183935 HAS SOUS 166963 HAS SOUPS 166963 WITH SCORE 167146.935
AT ITER 724 NEW BEST:: SOT 298280 SOS 183709 HAS SOPS 183709 HAS SOUS 166737 HAS SOUPS 166737 WITH SCORE 166920.709
AT ITER 737 NEW BEST:: SOT 298183 SOS 183515 HAS SOPS 183515 HAS SOUS 166543 HAS SOUPS 166543 WITH SCORE 166726.515
AT ITER 742 NEW BEST:: SOT 298004 SOS 183118 HAS SOPS 183118 HAS SOUS 166255 HAS SOUPS 166255 WITH SCORE 166438.118
AT ITER 744 NEW BEST:: SOT 297810 SOS 182924 HAS SOPS 182924 HAS SOUS 166061 HAS SOUPS 166061 WITH SCORE 166243.924
AT ITER 748 NEW BEST:: SOT 297810 SOS 182578 HAS SOPS 182578 HAS SOUS 165740 HAS SOUPS 165740 WITH SCORE 165922.578
AT ITER 750 NEW BEST:: SOT 297559 SOS 182295 HAS SOPS 182295 HAS SOUS 165504 HAS SOUPS 165504 WITH SCORE 165686.295
AT ITER 761 NEW BEST:: SOT 297551 SOS 182287 HAS SOPS 182287 HAS SOUS 165504 HAS SOUPS 165504 WITH SCORE 165686.287
AT ITER 762 NEW BEST:: SOT 297545 SOS 182263 HAS SOPS 182263 HAS SOUS 165486 HAS SOUPS 165486 WITH SCORE 165668.263
AT ITER 765 NEW BEST:: SOT 297489 SOS 182191 HAS SOPS 182191 HAS SOUS 165414 HAS SOUPS 165414 WITH SCORE 165596.191
AT ITER 766 NEW BEST:: SOT 297479 SOS 182181 HAS SOPS 182181 HAS SOUS 165404 HAS SOUPS 165404 WITH SCORE 165586.181
AT ITER 767 NEW BEST:: SOT 297437 SOS 182139 HAS SOPS 182139 HAS SOUS 165362 HAS SOUPS 165362 WITH SCORE 165544.139
AT ITER 773 NEW BEST:: SOT 297292 SOS 181885 HAS SOPS 181885 HAS SOUS 165144 HAS SOUPS 165144 WITH SCORE 165325.885
AT ITER 780 NEW BEST:: SOT 297280 SOS 181873 HAS SOPS 181873 HAS SOUS 165132 HAS SOUPS 165132 WITH SCORE 165313.873
AT ITER 785 NEW BEST:: SOT 297139 SOS 181679 HAS SOPS 181679 HAS SOUS 164925 HAS SOUPS 164925 WITH SCORE 165106.679
AT ITER 788 NEW BEST:: SOT 296686 SOS 181226 HAS SOPS 181226 HAS SOUS 164213 HAS SOUPS 164213 WITH SCORE 164394.226
AT ITER 790 NEW BEST:: SOT 296686 SOS 181018 HAS SOPS 181018 HAS SOUS 164209 HAS SOUPS 164209 WITH SCORE 164390.018
AT ITER 795 NEW BEST:: SOT 296592 SOS 180736 HAS SOPS 180736 HAS SOUS 164017 HAS SOUPS 164017 WITH SCORE 164197.736
AT ITER 797 NEW BEST:: SOT 296279 SOS 180423 HAS SOPS 180423 HAS SOUS 163704 HAS SOUPS 163704 WITH SCORE 163884.423
AT ITER 799 NEW BEST:: SOT 296247 SOS 180134 HAS SOPS 180134 HAS SOUS 163640 HAS SOUPS 163640 WITH SCORE 163820.134
AT ITER 801 NEW BEST:: SOT 296209 SOS 179832 HAS SOPS 179832 HAS SOUS 163338 HAS SOUPS 163338 WITH SCORE 163517.832
AT ITER 813 NEW BEST:: SOT 296209 SOS 179750 HAS SOPS 179750 HAS SOUS 163256 HAS SOUPS 163256 WITH SCORE 163435.75
AT ITER 817 NEW BEST:: SOT 296185 SOS 179744 HAS SOPS 179744 HAS SOUS 163250 HAS SOUPS 163250 WITH SCORE 163429.744
AT ITER 819 NEW BEST:: SOT 296187 SOS 179724 HAS SOPS 179724 HAS SOUS 163230 HAS SOUPS 163230 WITH SCORE 163409.724
AT ITER 824 NEW BEST:: SOT 296443 SOS 179282 HAS SOPS 179282 HAS SOUS 163148 HAS SOUPS 163148 WITH SCORE 163327.282
AT ITER 825 NEW BEST:: SOT 296297 SOS 179136 HAS SOPS 179136 HAS SOUS 162929 HAS SOUPS 162929 WITH SCORE 163108.136
AT ITER 827 NEW BEST:: SOT 295870 SOS 178266 HAS SOPS 178266 HAS SOUS 161972 HAS SOUPS 161972 WITH SCORE 162150.266
AT ITER 828 NEW BEST:: SOT 295751 SOS 178147 HAS SOPS 178147 HAS SOUS 161921 HAS SOUPS 161921 WITH SCORE 162099.147
AT ITER 829 NEW BEST:: SOT 295297 SOS 177048 HAS SOPS 177048 HAS SOUS 161501 HAS SOUPS 161501 WITH SCORE 161678.048
AT ITER 830 NEW BEST:: SOT 295045 SOS 176716 HAS SOPS 176716 HAS SOUS 160889 HAS SOUPS 160889 WITH SCORE 161065.716
AT ITER 831 NEW BEST:: SOT 295045 SOS 176713 HAS SOPS 176713 HAS SOUS 160886 HAS SOUPS 160886 WITH SCORE 161062.713
AT ITER 832 NEW BEST:: SOT 294821 SOS 176386 HAS SOPS 176386 HAS SOUS 160504 HAS SOUPS 160504 WITH SCORE 160680.386
AT ITER 837 NEW BEST:: SOT 294836 SOS 176385 HAS SOPS 176385 HAS SOUS 160396 HAS SOUPS 160396 WITH SCORE 160572.385
AT ITER 840 NEW BEST:: SOT 294693 SOS 176242 HAS SOPS 176242 HAS SOUS 160253 HAS SOUPS 160253 WITH SCORE 160429.242
AT ITER 846 NEW BEST:: SOT 294399 SOS 175880 HAS SOPS 175880 HAS SOUS 159891 HAS SOUPS 159891 WITH SCORE 160066.88
AT ITER 857 NEW BEST:: SOT 294260 SOS 175589 HAS SOPS 175589 HAS SOUS 159534 HAS SOUPS 159534 WITH SCORE 159709.589
AT ITER 861 NEW BEST:: SOT 294260 SOS 175516 HAS SOPS 175516 HAS SOUS 159461 HAS SOUPS 159461 WITH SCORE 159636.516
AT ITER 863 NEW BEST:: SOT 293918 SOS 174976 HAS SOPS 174976 HAS SOUS 158855 HAS SOUPS 158855 WITH SCORE 159029.976
AT ITER 864 NEW BEST:: SOT 293918 SOS 174938 HAS SOPS 174938 HAS SOUS 158806 HAS SOUPS 158806 WITH SCORE 158980.938
AT ITER 867 NEW BEST:: SOT 293731 SOS 174740 HAS SOPS 174740 HAS SOUS 158752 HAS SOUPS 158752 WITH SCORE 158926.74
AT ITER 874 NEW BEST:: SOT 293873 SOS 174565 HAS SOPS 174565 HAS SOUS 158733 HAS SOUPS 158733 WITH SCORE 158907.565
AT ITER 883 NEW BEST:: SOT 293965 SOS 174739 HAS SOPS 174739 HAS SOUS 158706 HAS SOUPS 158706 WITH SCORE 158880.739
AT ITER 886 NEW BEST:: SOT 293901 SOS 174273 HAS SOPS 174273 HAS SOUS 158493 HAS SOUPS 158493 WITH SCORE 158667.273
AT ITER 888 NEW BEST:: SOT 293969 SOS 174396 HAS SOPS 174396 HAS SOUS 158473 HAS SOUPS 158473 WITH SCORE 158647.396
AT ITER 892 NEW BEST:: SOT 294048 SOS 174121 HAS SOPS 174121 HAS SOUS 158336 HAS SOUPS 158336 WITH SCORE 158510.121
AT ITER 894 NEW BEST:: SOT 294048 SOS 174164 HAS SOPS 174164 HAS SOUS 158328 HAS SOUPS 158328 WITH SCORE 158502.164
AT ITER 900 NEW BEST:: SOT 293910 SOS 174026 HAS SOPS 174026 HAS SOUS 158190 HAS SOUPS 158190 WITH SCORE 158364.026
AT ITER 909 NEW BEST:: SOT 293664 SOS 173620 HAS SOPS 173620 HAS SOUS 157934 HAS SOUPS 157934 WITH SCORE 158107.62
AT ITER 913 NEW BEST:: SOT 293502 SOS 173298 HAS SOPS 173298 HAS SOUS 157612 HAS SOUPS 157612 WITH SCORE 157785.298
AT ITER 914 NEW BEST:: SOT 293400 SOS 173166 HAS SOPS 173166 HAS SOUS 157480 HAS SOUPS 157480 WITH SCORE 157653.166
AT ITER 918 NEW BEST:: SOT 293343 SOS 173109 HAS SOPS 173109 HAS SOUS 157423 HAS SOUPS 157423 WITH SCORE 157596.109
AT ITER 919 NEW BEST:: SOT 293283 SOS 173047 HAS SOPS 173047 HAS SOUS 157391 HAS SOUPS 157391 WITH SCORE 157564.047
AT ITER 921 NEW BEST:: SOT 293025 SOS 172789 HAS SOPS 172789 HAS SOUS 157131 HAS SOUPS 157131 WITH SCORE 157303.789
AT ITER 923 NEW BEST:: SOT 292978 SOS 172740 HAS SOPS 172740 HAS SOUS 157037 HAS SOUPS 157037 WITH SCORE 157209.74
AT ITER 931 NEW BEST:: SOT 292901 SOS 172640 HAS SOPS 172640 HAS SOUS 156937 HAS SOUPS 156937 WITH SCORE 157109.64
AT ITER 932 NEW BEST:: SOT 292479 SOS 172340 HAS SOPS 172340 HAS SOUS 156637 HAS SOUPS 156637 WITH SCORE 156809.34
AT ITER 943 NEW BEST:: SOT 292365 SOS 172226 HAS SOPS 172226 HAS SOUS 156523 HAS SOUPS 156523 WITH SCORE 156695.226
AT ITER 950 NEW BEST:: SOT 292412 SOS 171989 HAS SOPS 171989 HAS SOUS 156385 HAS SOUPS 156385 WITH SCORE 156556.989
AT ITER 956 NEW BEST:: SOT 292376 SOS 171953 HAS SOPS 171953 HAS SOUS 156349 HAS SOUPS 156349 WITH SCORE 156520.953
AT ITER 964 NEW BEST:: SOT 292376 SOS 171953 HAS SOPS 171953 HAS SOUS 156309 HAS SOUPS 156309 WITH SCORE 156480.953
AT ITER 968 NEW BEST:: SOT 292196 SOS 171099 HAS SOPS 171099 HAS SOUS 155800 HAS SOUPS 155800 WITH SCORE 155971.099
AT ITER 975 NEW BEST:: SOT 292234 SOS 170803 HAS SOPS 170803 HAS SOUS 155653 HAS SOUPS 155653 WITH SCORE 155823.803
AT ITER 977 NEW BEST:: SOT 292137 SOS 170609 HAS SOPS 170609 HAS SOUS 155459 HAS SOUPS 155459 WITH SCORE 155629.609
AT ITER 978 NEW BEST:: SOT 292041 SOS 169579 HAS SOPS 169579 HAS SOUS 155170 HAS SOUPS 155170 WITH SCORE 155339.579
AT ITER 979 NEW BEST:: SOT 292066 SOS 169604 HAS SOPS 169604 HAS SOUS 155150 HAS SOUPS 155150 WITH SCORE 155319.604
AT ITER 980 NEW BEST:: SOT 291895 SOS 169199 HAS SOPS 169199 HAS SOUS 154957 HAS SOUPS 154957 WITH SCORE 155126.199
AT ITER 983 NEW BEST:: SOT 291895 SOS 169199 HAS SOPS 169199 HAS SOUS 154905 HAS SOUPS 154905 WITH SCORE 155074.199
AT ITER 990 NEW BEST:: SOT 291850 SOS 169222 HAS SOPS 169222 HAS SOUS 154863 HAS SOUPS 154863 WITH SCORE 155032.222
AT ITER 992 NEW BEST:: SOT 291671 SOS 169043 HAS SOPS 169043 HAS SOUS 154684 HAS SOUPS 154684 WITH SCORE 154853.043
AT ITER 995 NEW BEST:: SOT 291647 SOS 168954 HAS SOPS 168954 HAS SOUS 154604 HAS SOUPS 154604 WITH SCORE 154772.954
AT ITER 998 NEW BEST:: SOT 291572 SOS 168879 HAS SOPS 168879 HAS SOUS 154429 HAS SOUPS 154429 WITH SCORE 154597.879
AT ITER 1004 NEW BEST:: SOT 291572 SOS 168456 HAS SOPS 168456 HAS SOUS 154215 HAS SOUPS 154215 WITH SCORE 154383.456
AT ITER 1013 NEW BEST:: SOT 291572 SOS 168316 HAS SOPS 168316 HAS SOUS 154215 HAS SOUPS 154215 WITH SCORE 154383.316
AT ITER 1014 NEW BEST:: SOT 291547 SOS 168291 HAS SOPS 168291 HAS SOUS 154190 HAS SOUPS 154190 WITH SCORE 154358.291
AT ITER 1018 NEW BEST:: SOT 291542 SOS 167621 HAS SOPS 167621 HAS SOUS 154155 HAS SOUPS 154155 WITH SCORE 154322.621
AT ITER 1030 NEW BEST:: SOT 291368 SOS 167615 HAS SOPS 167615 HAS SOUS 154107 HAS SOUPS 154107 WITH SCORE 154274.615
AT ITER 1032 NEW BEST:: SOT 290801 SOS 166966 HAS SOPS 166966 HAS SOUS 153496 HAS SOUPS 153496 WITH SCORE 153662.966
AT ITER 1034 NEW BEST:: SOT 290779 SOS 166878 HAS SOPS 166878 HAS SOUS 153452 HAS SOUPS 153452 WITH SCORE 153618.878
AT ITER 1036 NEW BEST:: SOT 290668 SOS 166767 HAS SOPS 166767 HAS SOUS 153341 HAS SOUPS 153341 WITH SCORE 153507.767
AT ITER 1037 NEW BEST:: SOT 290668 SOS 166636 HAS SOPS 166636 HAS SOUS 153210 HAS SOUPS 153210 WITH SCORE 153376.636
AT ITER 1040 NEW BEST:: SOT 290667 SOS 166635 HAS SOPS 166635 HAS SOUS 153209 HAS SOUPS 153209 WITH SCORE 153375.635
AT ITER 1042 NEW BEST:: SOT 290667 SOS 167096 HAS SOPS 167096 HAS SOUS 153155 HAS SOUPS 153155 WITH SCORE 153322.096
AT ITER 1044 NEW BEST:: SOT 290667 SOS 167051 HAS SOPS 167051 HAS SOUS 153155 HAS SOUPS 153155 WITH SCORE 153322.051
AT ITER 1048 NEW BEST:: SOT 290076 SOS 165829 HAS SOPS 165829 HAS SOUS 152148 HAS SOUPS 152148 WITH SCORE 152313.829
AT ITER 1068 NEW BEST:: SOT 290076 SOS 165707 HAS SOPS 165707 HAS SOUS 152088 HAS SOUPS 152088 WITH SCORE 152253.707
AT ITER 1069 NEW BEST:: SOT 289754 SOS 165385 HAS SOPS 165385 HAS SOUS 151766 HAS SOUPS 151766 WITH SCORE 151931.385
AT ITER 1076 NEW BEST:: SOT 289754 SOS 165344 HAS SOPS 165344 HAS SOUS 151725 HAS SOUPS 151725 WITH SCORE 151890.344
AT ITER 1078 NEW BEST:: SOT 289738 SOS 165328 HAS SOPS 165328 HAS SOUS 151709 HAS SOUPS 151709 WITH SCORE 151874.328
AT ITER 1087 NEW BEST:: SOT 289654 SOS 165091 HAS SOPS 165091 HAS SOUS 151472 HAS SOUPS 151472 WITH SCORE 151637.091
AT ITER 1090 NEW BEST:: SOT 289608 SOS 165045 HAS SOPS 165045 HAS SOUS 151426 HAS SOUPS 151426 WITH SCORE 151591.045
AT ITER 1091 NEW BEST:: SOT 289598 SOS 165035 HAS SOPS 165035 HAS SOUS 151416 HAS SOUPS 151416 WITH SCORE 151581.035
AT ITER 1093 NEW BEST:: SOT 289598 SOS 164985 HAS SOPS 164985 HAS SOUS 151416 HAS SOUPS 151416 WITH SCORE 151580.985
AT ITER 1095 NEW BEST:: SOT 289598 SOS 164941 HAS SOPS 164941 HAS SOUS 151372 HAS SOUPS 151372 WITH SCORE 151536.941
AT ITER 1100 NEW BEST:: SOT 289716 SOS 164869 HAS SOPS 164869 HAS SOUS 151365 HAS SOUPS 151365 WITH SCORE 151529.869
AT ITER 1104 NEW BEST:: SOT 289655 SOS 164108 HAS SOPS 164108 HAS SOUS 151096 HAS SOUPS 151096 WITH SCORE 151260.108
AT ITER 1109 NEW BEST:: SOT 289621 SOS 163886 HAS SOPS 163886 HAS SOUS 150953 HAS SOUPS 150953 WITH SCORE 151116.886
AT ITER 1114 NEW BEST:: SOT 289527 SOS 163774 HAS SOPS 163774 HAS SOUS 150926 HAS SOUPS 150926 WITH SCORE 151089.774
AT ITER 1116 NEW BEST:: SOT 289464 SOS 163779 HAS SOPS 163779 HAS SOUS 150787 HAS SOUPS 150787 WITH SCORE 150950.779
AT ITER 1136 NEW BEST:: SOT 289367 SOS 163533 HAS SOPS 163533 HAS SOUS 150334 HAS SOUPS 150334 WITH SCORE 150497.533
AT ITER 1140 NEW BEST:: SOT 289376 SOS 163513 HAS SOPS 163513 HAS SOUS 150320 HAS SOUPS 150320 WITH SCORE 150483.513
AT ITER 1142 NEW BEST:: SOT 289374 SOS 163467 HAS SOPS 163467 HAS SOUS 150274 HAS SOUPS 150274 WITH SCORE 150437.467
AT ITER 1143 NEW BEST:: SOT 289418 SOS 163419 HAS SOPS 163419 HAS SOUS 150226 HAS SOUPS 150226 WITH SCORE 150389.419
AT ITER 1146 NEW BEST:: SOT 289418 SOS 163213 HAS SOPS 163213 HAS SOUS 150204 HAS SOUPS 150204 WITH SCORE 150367.213
AT ITER 1148 NEW BEST:: SOT 289418 SOS 163213 HAS SOPS 163213 HAS SOUS 150199 HAS SOUPS 150199 WITH SCORE 150362.213
AT ITER 1149 NEW BEST:: SOT 289418 SOS 163163 HAS SOPS 163163 HAS SOUS 150149 HAS SOUPS 150149 WITH SCORE 150312.163
AT ITER 1150 NEW BEST:: SOT 289418 SOS 162844 HAS SOPS 162844 HAS SOUS 150140 HAS SOUPS 150140 WITH SCORE 150302.844
AT ITER 1151 NEW BEST:: SOT 289198 SOS 162549 HAS SOPS 162549 HAS SOUS 149546 HAS SOUPS 149546 WITH SCORE 149708.549
AT ITER 1153 NEW BEST:: SOT 289318 SOS 162669 HAS SOPS 162669 HAS SOUS 149504 HAS SOUPS 149504 WITH SCORE 149666.669
AT ITER 1154 NEW BEST:: SOT 289247 SOS 162733 HAS SOPS 162733 HAS SOUS 149477 HAS SOUPS 149477 WITH SCORE 149639.733
AT ITER 1159 NEW BEST:: SOT 288927 SOS 162463 HAS SOPS 162463 HAS SOUS 149207 HAS SOUPS 149207 WITH SCORE 149369.463
AT ITER 1161 NEW BEST:: SOT 288927 SOS 162385 HAS SOPS 162385 HAS SOUS 149132 HAS SOUPS 149132 WITH SCORE 149294.385
AT ITER 1167 NEW BEST:: SOT 288909 SOS 162329 HAS SOPS 162329 HAS SOUS 149076 HAS SOUPS 149076 WITH SCORE 149238.329
AT ITER 1169 NEW BEST:: SOT 289008 SOS 162466 HAS SOPS 162466 HAS SOUS 149065 HAS SOUPS 149065 WITH SCORE 149227.466
AT ITER 1171 NEW BEST:: SOT 288657 SOS 161957 HAS SOPS 161957 HAS SOUS 148691 HAS SOUPS 148691 WITH SCORE 148852.957
AT ITER 1176 NEW BEST:: SOT 288528 SOS 161839 HAS SOPS 161839 HAS SOUS 148573 HAS SOUPS 148573 WITH SCORE 148734.839
AT ITER 1177 NEW BEST:: SOT 288655 SOS 161849 HAS SOPS 161849 HAS SOUS 148457 HAS SOUPS 148457 WITH SCORE 148618.849
AT ITER 1180 NEW BEST:: SOT 288625 SOS 161819 HAS SOPS 161819 HAS SOUS 148427 HAS SOUPS 148427 WITH SCORE 148588.819
AT ITER 1190 NEW BEST:: SOT 288583 SOS 161843 HAS SOPS 161843 HAS SOUS 148380 HAS SOUPS 148380 WITH SCORE 148541.843
AT ITER 1197 NEW BEST:: SOT 288520 SOS 161770 HAS SOPS 161770 HAS SOUS 148189 HAS SOUPS 148189 WITH SCORE 148350.77
AT ITER 1201 NEW BEST:: SOT 288518 SOS 161564 HAS SOPS 161564 HAS SOUS 148091 HAS SOUPS 148091 WITH SCORE 148252.564
AT ITER 1204 NEW BEST:: SOT 288372 SOS 161418 HAS SOPS 161418 HAS SOUS 148018 HAS SOUPS 148018 WITH SCORE 148179.418
AT ITER 1208 NEW BEST:: SOT 288347 SOS 161275 HAS SOPS 161275 HAS SOUS 147943 HAS SOUPS 147943 WITH SCORE 148104.275
AT ITER 1209 NEW BEST:: SOT 288347 SOS 160776 HAS SOPS 160776 HAS SOUS 147763 HAS SOUPS 147763 WITH SCORE 147923.776
AT ITER 1223 NEW BEST:: SOT 288187 SOS 160117 HAS SOPS 160117 HAS SOUS 147346 HAS SOUPS 147346 WITH SCORE 147506.117
AT ITER 1224 NEW BEST:: SOT 288160 SOS 160091 HAS SOPS 160091 HAS SOUS 147320 HAS SOUPS 147320 WITH SCORE 147480.091
AT ITER 1227 NEW BEST:: SOT 288160 SOS 159867 HAS SOPS 159867 HAS SOUS 147103 HAS SOUPS 147103 WITH SCORE 147262.867
AT ITER 1235 NEW BEST:: SOT 288138 SOS 159779 HAS SOPS 159779 HAS SOUS 147059 HAS SOUPS 147059 WITH SCORE 147218.779
AT ITER 1243 NEW BEST:: SOT 288138 SOS 159549 HAS SOPS 159549 HAS SOUS 146959 HAS SOUPS 146959 WITH SCORE 147118.549
AT ITER 1252 NEW BEST:: SOT 288132 SOS 158812 HAS SOPS 158812 HAS SOUS 146848 HAS SOUPS 146848 WITH SCORE 147006.812
AT ITER 1256 NEW BEST:: SOT 288063 SOS 158773 HAS SOPS 158773 HAS SOUS 146668 HAS SOUPS 146668 WITH SCORE 146826.773
AT ITER 1258 NEW BEST:: SOT 287964 SOS 158617 HAS SOPS 158617 HAS SOUS 146512 HAS SOUPS 146512 WITH SCORE 146670.617
AT ITER 1270 NEW BEST:: SOT 287964 SOS 158581 HAS SOPS 158581 HAS SOUS 146458 HAS SOUPS 146458 WITH SCORE 146616.581
AT ITER 1274 NEW BEST:: SOT 287904 SOS 158483 HAS SOPS 158483 HAS SOUS 146360 HAS SOUPS 146360 WITH SCORE 146518.483
AT ITER 1275 NEW BEST:: SOT 287758 SOS 158257 HAS SOPS 158257 HAS SOUS 146134 HAS SOUPS 146134 WITH SCORE 146292.257
AT ITER 1278 NEW BEST:: SOT 287716 SOS 157796 HAS SOPS 157796 HAS SOUS 145943 HAS SOUPS 145943 WITH SCORE 146100.796
AT ITER 1292 NEW BEST:: SOT 287670 SOS 157750 HAS SOPS 157750 HAS SOUS 145897 HAS SOUPS 145897 WITH SCORE 146054.75
AT ITER 1294 NEW BEST:: SOT 287615 SOS 157590 HAS SOPS 157590 HAS SOUS 145737 HAS SOUPS 145737 WITH SCORE 145894.59
AT ITER 1303 NEW BEST:: SOT 287300 SOS 157243 HAS SOPS 157243 HAS SOUS 145390 HAS SOUPS 145390 WITH SCORE 145547.243
AT ITER 1307 NEW BEST:: SOT 287300 SOS 156526 HAS SOPS 156526 HAS SOUS 145388 HAS SOUPS 145388 WITH SCORE 145544.526
AT ITER 1315 NEW BEST:: SOT 287300 SOS 156456 HAS SOPS 156456 HAS SOUS 145318 HAS SOUPS 145318 WITH SCORE 145474.456
AT ITER 1316 NEW BEST:: SOT 287114 SOS 156204 HAS SOPS 156204 HAS SOUS 145066 HAS SOUPS 145066 WITH SCORE 145222.204
AT ITER 1323 NEW BEST:: SOT 287114 SOS 156096 HAS SOPS 156096 HAS SOUS 145066 HAS SOUPS 145066 WITH SCORE 145222.096
AT ITER 1345 NEW BEST:: SOT 287089 SOS 156021 HAS SOPS 156021 HAS SOUS 145016 HAS SOUPS 145016 WITH SCORE 145172.021
AT ITER 1347 NEW BEST:: SOT 287392 SOS 155811 HAS SOPS 155811 HAS SOUS 144849 HAS SOUPS 144849 WITH SCORE 145004.811
AT ITER 1349 NEW BEST:: SOT 287392 SOS 155768 HAS SOPS 155768 HAS SOUS 144822 HAS SOUPS 144822 WITH SCORE 144977.768
AT ITER 1350 NEW BEST:: SOT 287389 SOS 155624 HAS SOPS 155624 HAS SOUS 144683 HAS SOUPS 144683 WITH SCORE 144838.624
AT ITER 1351 NEW BEST:: SOT 287199 SOS 155087 HAS SOPS 155087 HAS SOUS 144157 HAS SOUPS 144157 WITH SCORE 144312.087
AT ITER 1360 NEW BEST:: SOT 287279 SOS 154752 HAS SOPS 154752 HAS SOUS 143979 HAS SOUPS 143979 WITH SCORE 144133.752
AT ITER 1373 NEW BEST:: SOT 287249 SOS 154722 HAS SOPS 154722 HAS SOUS 143934 HAS SOUPS 143934 WITH SCORE 144088.722
AT ITER 1375 NEW BEST:: SOT 287067 SOS 154540 HAS SOPS 154540 HAS SOUS 143752 HAS SOUPS 143752 WITH SCORE 143906.54
AT ITER 1395 NEW BEST:: SOT 286891 SOS 154181 HAS SOPS 154181 HAS SOUS 143596 HAS SOUPS 143596 WITH SCORE 143750.181
AT ITER 1400 NEW BEST:: SOT 286760 SOS 153092 HAS SOPS 153092 HAS SOUS 142872 HAS SOUPS 142872 WITH SCORE 143025.092
AT ITER 1409 NEW BEST:: SOT 286746 SOS 153126 HAS SOPS 153126 HAS SOUS 142858 HAS SOUPS 142858 WITH SCORE 143011.126
AT ITER 1413 NEW BEST:: SOT 286746 SOS 152585 HAS SOPS 152585 HAS SOUS 142795 HAS SOUPS 142795 WITH SCORE 142947.585
AT ITER 1415 NEW BEST:: SOT 286728 SOS 152567 HAS SOPS 152567 HAS SOUS 142777 HAS SOUPS 142777 WITH SCORE 142929.567
AT ITER 1426 NEW BEST:: SOT 286728 SOS 152530 HAS SOPS 152530 HAS SOUS 142777 HAS SOUPS 142777 WITH SCORE 142929.53
AT ITER 1430 NEW BEST:: SOT 286728 SOS 152464 HAS SOPS 152464 HAS SOUS 142711 HAS SOUPS 142711 WITH SCORE 142863.464
AT ITER 1431 NEW BEST:: SOT 286728 SOS 152408 HAS SOPS 152408 HAS SOUS 142655 HAS SOUPS 142655 WITH SCORE 142807.408
AT ITER 1433 NEW BEST:: SOT 286714 SOS 152394 HAS SOPS 152394 HAS SOUS 142627 HAS SOUPS 142627 WITH SCORE 142779.394
AT ITER 1437 NEW BEST:: SOT 286684 SOS 152364 HAS SOPS 152364 HAS SOUS 142597 HAS SOUPS 142597 WITH SCORE 142749.364
AT ITER 1439 NEW BEST:: SOT 286684 SOS 152338 HAS SOPS 152338 HAS SOUS 142597 HAS SOUPS 142597 WITH SCORE 142749.338
AT ITER 1447 NEW BEST:: SOT 286684 SOS 152221 HAS SOPS 152221 HAS SOUS 142515 HAS SOUPS 142515 WITH SCORE 142667.221
AT ITER 1460 NEW BEST:: SOT 286656 SOS 152193 HAS SOPS 152193 HAS SOUS 142487 HAS SOUPS 142487 WITH SCORE 142639.193
AT ITER 1463 NEW BEST:: SOT 286632 SOS 152145 HAS SOPS 152145 HAS SOUS 142451 HAS SOUPS 142451 WITH SCORE 142603.145
AT ITER 1465 NEW BEST:: SOT 286629 SOS 152133 HAS SOPS 152133 HAS SOUS 142442 HAS SOUPS 142442 WITH SCORE 142594.133
AT ITER 1472 NEW BEST:: SOT 286552 SOS 151958 HAS SOPS 151958 HAS SOUS 142313 HAS SOUPS 142313 WITH SCORE 142464.958
AT ITER 1475 NEW BEST:: SOT 286353 SOS 151940 HAS SOPS 151940 HAS SOUS 142217 HAS SOUPS 142217 WITH SCORE 142368.94
AT ITER 1489 NEW BEST:: SOT 286353 SOS 151940 HAS SOPS 151940 HAS SOUS 142140 HAS SOUPS 142140 WITH SCORE 142291.94
AT ITER 1490 NEW BEST:: SOT 286353 SOS 151960 HAS SOPS 151960 HAS SOUS 142120 HAS SOUPS 142120 WITH SCORE 142271.96
AT ITER 1492 NEW BEST:: SOT 286230 SOS 151795 HAS SOPS 151795 HAS SOUS 141955 HAS SOUPS 141955 WITH SCORE 142106.795
AT ITER 1498 NEW BEST:: SOT 286230 SOS 151774 HAS SOPS 151774 HAS SOUS 141954 HAS SOUPS 141954 WITH SCORE 142105.774
AT ITER 1504 NEW BEST:: SOT 286291 SOS 151835 HAS SOPS 151835 HAS SOUS 141898 HAS SOUPS 141898 WITH SCORE 142049.835
AT ITER 1512 NEW BEST:: SOT 286110 SOS 151774 HAS SOPS 151774 HAS SOUS 141718 HAS SOUPS 141718 WITH SCORE 141869.774
AT ITER 1529 NEW BEST:: SOT 286088 SOS 151752 HAS SOPS 151752 HAS SOUS 141696 HAS SOUPS 141696 WITH SCORE 141847.752
AT ITER 1545 NEW BEST:: SOT 286088 SOS 151752 HAS SOPS 151752 HAS SOUS 141688 HAS SOUPS 141688 WITH SCORE 141839.752
AT ITER 1549 NEW BEST:: SOT 285729 SOS 151277 HAS SOPS 151277 HAS SOUS 141235 HAS SOUPS 141235 WITH SCORE 141386.277
AT ITER 1551 NEW BEST:: SOT 285866 SOS 151522 HAS SOPS 151522 HAS SOUS 141179 HAS SOUPS 141179 WITH SCORE 141330.522
AT ITER 1561 NEW BEST:: SOT 285634 SOS 150854 HAS SOPS 150854 HAS SOUS 140735 HAS SOUPS 140735 WITH SCORE 140885.854
AT ITER 1565 NEW BEST:: SOT 285610 SOS 150830 HAS SOPS 150830 HAS SOUS 140711 HAS SOUPS 140711 WITH SCORE 140861.83
AT ITER 1576 NEW BEST:: SOT 285510 SOS 150737 HAS SOPS 150737 HAS SOUS 140618 HAS SOUPS 140618 WITH SCORE 140768.737
AT ITER 1579 NEW BEST:: SOT 285571 SOS 150722 HAS SOPS 150722 HAS SOUS 140603 HAS SOUPS 140603 WITH SCORE 140753.722
AT ITER 1582 NEW BEST:: SOT 285544 SOS 150791 HAS SOPS 150791 HAS SOUS 140550 HAS SOUPS 140550 WITH SCORE 140700.791
AT ITER 1583 NEW BEST:: SOT 285541 SOS 150788 HAS SOPS 150788 HAS SOUS 140547 HAS SOUPS 140547 WITH SCORE 140697.788
AT ITER 1594 NEW BEST:: SOT 285461 SOS 150708 HAS SOPS 150708 HAS SOUS 140467 HAS SOUPS 140467 WITH SCORE 140617.708
AT ITER 1601 NEW BEST:: SOT 285381 SOS 150538 HAS SOPS 150538 HAS SOUS 140414 HAS SOUPS 140414 WITH SCORE 140564.538
AT ITER 1605 NEW BEST:: SOT 285366 SOS 150523 HAS SOPS 150523 HAS SOUS 140399 HAS SOUPS 140399 WITH SCORE 140549.523
AT ITER 1608 NEW BEST:: SOT 285376 SOS 150256 HAS SOPS 150256 HAS SOUS 140149 HAS SOUPS 140149 WITH SCORE 140299.256
AT ITER 1609 NEW BEST:: SOT 284950 SOS 149981 HAS SOPS 149981 HAS SOUS 139874 HAS SOUPS 139874 WITH SCORE 140023.981
AT ITER 1611 NEW BEST:: SOT 284793 SOS 149770 HAS SOPS 149770 HAS SOUS 139619 HAS SOUPS 139619 WITH SCORE 139768.77
AT ITER 1616 NEW BEST:: SOT 284793 SOS 149770 HAS SOPS 149770 HAS SOUS 139617 HAS SOUPS 139617 WITH SCORE 139766.77
AT ITER 1623 NEW BEST:: SOT 284793 SOS 149602 HAS SOPS 149602 HAS SOUS 139552 HAS SOUPS 139552 WITH SCORE 139701.602
AT ITER 1641 NEW BEST:: SOT 284793 SOS 149104 HAS SOPS 149104 HAS SOUS 139378 HAS SOUPS 139378 WITH SCORE 139527.104
AT ITER 1646 NEW BEST:: SOT 284793 SOS 149014 HAS SOPS 149014 HAS SOUS 139288 HAS SOUPS 139288 WITH SCORE 139437.014
AT ITER 1647 NEW BEST:: SOT 284729 SOS 148719 HAS SOPS 148719 HAS SOUS 139066 HAS SOUPS 139066 WITH SCORE 139214.719
AT ITER 1649 NEW BEST:: SOT 284681 SOS 148656 HAS SOPS 148656 HAS SOUS 138994 HAS SOUPS 138994 WITH SCORE 139142.656
AT ITER 1654 NEW BEST:: SOT 284516 SOS 148359 HAS SOPS 148359 HAS SOUS 138688 HAS SOUPS 138688 WITH SCORE 138836.359
AT ITER 1658 NEW BEST:: SOT 284516 SOS 148359 HAS SOPS 148359 HAS SOUS 138624 HAS SOUPS 138624 WITH SCORE 138772.359
AT ITER 1662 NEW BEST:: SOT 284516 SOS 147962 HAS SOPS 147962 HAS SOUS 138370 HAS SOUPS 138370 WITH SCORE 138517.962
AT ITER 1664 NEW BEST:: SOT 284507 SOS 147847 HAS SOPS 147847 HAS SOUS 138255 HAS SOUPS 138255 WITH SCORE 138402.847
AT ITER 1665 NEW BEST:: SOT 284495 SOS 147807 HAS SOPS 147807 HAS SOUS 138090 HAS SOUPS 138090 WITH SCORE 138237.807
AT ITER 1673 NEW BEST:: SOT 284614 SOS 147854 HAS SOPS 147854 HAS SOUS 137977 HAS SOUPS 137977 WITH SCORE 138124.854
AT ITER 1683 NEW BEST:: SOT 284614 SOS 147450 HAS SOPS 147450 HAS SOUS 137660 HAS SOUPS 137660 WITH SCORE 137807.45
AT ITER 1695 NEW BEST:: SOT 284547 SOS 147278 HAS SOPS 147278 HAS SOUS 137344 HAS SOUPS 137344 WITH SCORE 137491.278
AT ITER 1707 NEW BEST:: SOT 284535 SOS 147266 HAS SOPS 147266 HAS SOUS 137332 HAS SOUPS 137332 WITH SCORE 137479.266
AT ITER 1715 NEW BEST:: SOT 284499 SOS 146992 HAS SOPS 146992 HAS SOUS 137114 HAS SOUPS 137114 WITH SCORE 137260.992
AT ITER 1720 NEW BEST:: SOT 284499 SOS 146966 HAS SOPS 146966 HAS SOUS 137114 HAS SOUPS 137114 WITH SCORE 137260.966
AT ITER 1721 NEW BEST:: SOT 284480 SOS 146825 HAS SOPS 146825 HAS SOUS 136997 HAS SOUPS 136997 WITH SCORE 137143.825
AT ITER 1722 NEW BEST:: SOT 284467 SOS 146812 HAS SOPS 146812 HAS SOUS 136984 HAS SOUPS 136984 WITH SCORE 137130.812
AT ITER 1727 NEW BEST:: SOT 284421 SOS 146766 HAS SOPS 146766 HAS SOUS 136938 HAS SOUPS 136938 WITH SCORE 137084.766
AT ITER 1730 NEW BEST:: SOT 284384 SOS 146729 HAS SOPS 146729 HAS SOUS 136896 HAS SOUPS 136896 WITH SCORE 137042.729
AT ITER 1731 NEW BEST:: SOT 284368 SOS 146713 HAS SOPS 146713 HAS SOUS 136831 HAS SOUPS 136831 WITH SCORE 136977.713
AT ITER 1733 NEW BEST:: SOT 284440 SOS 146617 HAS SOPS 146617 HAS SOUS 136735 HAS SOUPS 136735 WITH SCORE 136881.617
AT ITER 1735 NEW BEST:: SOT 284461 SOS 146574 HAS SOPS 146574 HAS SOUS 136637 HAS SOUPS 136637 WITH SCORE 136783.574
AT ITER 1736 NEW BEST:: SOT 284507 SOS 146398 HAS SOPS 146398 HAS SOUS 136531 HAS SOUPS 136531 WITH SCORE 136677.398
AT ITER 1740 NEW BEST:: SOT 284502 SOS 146066 HAS SOPS 146066 HAS SOUS 136162 HAS SOUPS 136162 WITH SCORE 136308.066
AT ITER 1742 NEW BEST:: SOT 284394 SOS 145738 HAS SOPS 145738 HAS SOUS 135935 HAS SOUPS 135935 WITH SCORE 136080.738
AT ITER 1744 NEW BEST:: SOT 284394 SOS 145635 HAS SOPS 145635 HAS SOUS 135832 HAS SOUPS 135832 WITH SCORE 135977.635
AT ITER 1745 NEW BEST:: SOT 284394 SOS 145544 HAS SOPS 145544 HAS SOUS 135832 HAS SOUPS 135832 WITH SCORE 135977.544
AT ITER 1747 NEW BEST:: SOT 284394 SOS 145593 HAS SOPS 145593 HAS SOUS 135808 HAS SOUPS 135808 WITH SCORE 135953.593
AT ITER 1753 NEW BEST:: SOT 284377 SOS 145551 HAS SOPS 145551 HAS SOUS 135774 HAS SOUPS 135774 WITH SCORE 135919.551
AT ITER 1754 NEW BEST:: SOT 284264 SOS 145492 HAS SOPS 145492 HAS SOUS 135729 HAS SOUPS 135729 WITH SCORE 135874.492
AT ITER 1760 NEW BEST:: SOT 284013 SOS 145068 HAS SOPS 145068 HAS SOUS 135178 HAS SOUPS 135178 WITH SCORE 135323.068
AT ITER 1772 NEW BEST:: SOT 283915 SOS 144754 HAS SOPS 144754 HAS SOUS 134843 HAS SOUPS 134843 WITH SCORE 134987.754
AT ITER 1774 NEW BEST:: SOT 283709 SOS 144543 HAS SOPS 144543 HAS SOUS 134632 HAS SOUPS 134632 WITH SCORE 134776.543
AT ITER 1776 NEW BEST:: SOT 283583 SOS 144395 HAS SOPS 144395 HAS SOUS 134484 HAS SOUPS 134484 WITH SCORE 134628.395
AT ITER 1784 NEW BEST:: SOT 283440 SOS 144109 HAS SOPS 144109 HAS SOUS 134198 HAS SOUPS 134198 WITH SCORE 134342.109
AT ITER 1785 NEW BEST:: SOT 283440 SOS 144162 HAS SOPS 144162 HAS SOUS 134177 HAS SOUPS 134177 WITH SCORE 134321.162
AT ITER 1796 NEW BEST:: SOT 283407 SOS 144129 HAS SOPS 144129 HAS SOUS 134144 HAS SOUPS 134144 WITH SCORE 134288.129
AT ITER 1801 NEW BEST:: SOT 283339 SOS 144062 HAS SOPS 144062 HAS SOUS 134025 HAS SOUPS 134025 WITH SCORE 134169.062
AT ITER 1810 NEW BEST:: SOT 283321 SOS 143840 HAS SOPS 143840 HAS SOUS 133803 HAS SOUPS 133803 WITH SCORE 133946.84
AT ITER 1812 NEW BEST:: SOT 283321 SOS 143750 HAS SOPS 143750 HAS SOUS 133803 HAS SOUPS 133803 WITH SCORE 133946.75
AT ITER 1814 NEW BEST:: SOT 283186 SOS 143615 HAS SOPS 143615 HAS SOUS 133668 HAS SOUPS 133668 WITH SCORE 133811.615
AT ITER 1822 NEW BEST:: SOT 283050 SOS 143367 HAS SOPS 143367 HAS SOUS 133420 HAS SOUPS 133420 WITH SCORE 133563.367
AT ITER 1823 NEW BEST:: SOT 282971 SOS 143288 HAS SOPS 143288 HAS SOUS 133262 HAS SOUPS 133262 WITH SCORE 133405.288
AT ITER 1829 NEW BEST:: SOT 282906 SOS 143171 HAS SOPS 143171 HAS SOUS 133145 HAS SOUPS 133145 WITH SCORE 133288.171
AT ITER 1831 NEW BEST:: SOT 282873 SOS 143138 HAS SOPS 143138 HAS SOUS 133112 HAS SOUPS 133112 WITH SCORE 133255.138
AT ITER 1832 NEW BEST:: SOT 282861 SOS 143114 HAS SOPS 143114 HAS SOUS 133100 HAS SOUPS 133100 WITH SCORE 133243.114
AT ITER 1834 NEW BEST:: SOT 282859 SOS 143110 HAS SOPS 143110 HAS SOUS 133098 HAS SOUPS 133098 WITH SCORE 133241.11
AT ITER 1839 NEW BEST:: SOT 282835 SOS 143052 HAS SOPS 143052 HAS SOUS 133040 HAS SOUPS 133040 WITH SCORE 133183.052
AT ITER 1841 NEW BEST:: SOT 282835 SOS 143048 HAS SOPS 143048 HAS SOUS 133036 HAS SOUPS 133036 WITH SCORE 133179.048
AT ITER 1842 NEW BEST:: SOT 282799 SOS 143037 HAS SOPS 143037 HAS SOUS 133025 HAS SOUPS 133025 WITH SCORE 133168.037
AT ITER 1844 NEW BEST:: SOT 282787 SOS 143025 HAS SOPS 143025 HAS SOUS 133013 HAS SOUPS 133013 WITH SCORE 133156.025
AT ITER 1845 NEW BEST:: SOT 282763 SOS 142931 HAS SOPS 142931 HAS SOUS 132965 HAS SOUPS 132965 WITH SCORE 133107.931
AT ITER 1846 NEW BEST:: SOT 282759 SOS 142927 HAS SOPS 142927 HAS SOUS 132961 HAS SOUPS 132961 WITH SCORE 133103.927
AT ITER 1847 NEW BEST:: SOT 282717 SOS 142885 HAS SOPS 142885 HAS SOUS 132856 HAS SOUPS 132856 WITH SCORE 132998.885
AT ITER 1849 NEW BEST:: SOT 282656 SOS 142763 HAS SOPS 142763 HAS SOUS 132734 HAS SOUPS 132734 WITH SCORE 132876.763
AT ITER 1852 NEW BEST:: SOT 282656 SOS 142707 HAS SOPS 142707 HAS SOUS 132678 HAS SOUPS 132678 WITH SCORE 132820.707
AT ITER 1860 NEW BEST:: SOT 282662 SOS 142657 HAS SOPS 142657 HAS SOUS 132628 HAS SOUPS 132628 WITH SCORE 132770.657
AT ITER 1862 NEW BEST:: SOT 282551 SOS 142546 HAS SOPS 142546 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132659.546
AT ITER 1866 NEW BEST:: SOT 282525 SOS 142501 HAS SOPS 142501 HAS SOUS 132457 HAS SOUPS 132457 WITH SCORE 132599.501
AT ITER 1868 NEW BEST:: SOT 282525 SOS 142479 HAS SOPS 142479 HAS SOUS 132457 HAS SOUPS 132457 WITH SCORE 132599.479
AT ITER 1869 NEW BEST:: SOT 282480 SOS 142434 HAS SOPS 142434 HAS SOUS 132338 HAS SOUPS 132338 WITH SCORE 132480.434
AT ITER 1874 NEW BEST:: SOT 282480 SOS 142344 HAS SOPS 142344 HAS SOUS 132293 HAS SOUPS 132293 WITH SCORE 132435.344
AT ITER 1882 NEW BEST:: SOT 282480 SOS 142309 HAS SOPS 142309 HAS SOUS 132258 HAS SOUPS 132258 WITH SCORE 132400.309
AT ITER 1892 NEW BEST:: SOT 282372 SOS 142201 HAS SOPS 142201 HAS SOUS 132258 HAS SOUPS 132258 WITH SCORE 132400.201
AT ITER 1897 NEW BEST:: SOT 282252 SOS 141977 HAS SOPS 141977 HAS SOUS 132013 HAS SOUPS 132013 WITH SCORE 132154.977
AT ITER 1899 NEW BEST:: SOT 281913 SOS 141236 HAS SOPS 141236 HAS SOUS 131272 HAS SOUPS 131272 WITH SCORE 131413.236
AT ITER 1901 NEW BEST:: SOT 281816 SOS 141139 HAS SOPS 141139 HAS SOUS 131175 HAS SOUPS 131175 WITH SCORE 131316.139
AT ITER 1912 NEW BEST:: SOT 281819 SOS 140917 HAS SOPS 140917 HAS SOUS 130949 HAS SOUPS 130949 WITH SCORE 131089.917
AT ITER 1914 NEW BEST:: SOT 281803 SOS 140826 HAS SOPS 140826 HAS SOUS 130858 HAS SOUPS 130858 WITH SCORE 130998.826
AT ITER 1916 NEW BEST:: SOT 281736 SOS 140251 HAS SOPS 140251 HAS SOUS 130283 HAS SOUPS 130283 WITH SCORE 130423.251
AT ITER 1918 NEW BEST:: SOT 281618 SOS 139675 HAS SOPS 139675 HAS SOUS 130044 HAS SOUPS 130044 WITH SCORE 130183.675
AT ITER 1923 NEW BEST:: SOT 281666 SOS 139728 HAS SOPS 139728 HAS SOUS 129990 HAS SOUPS 129990 WITH SCORE 130129.728
AT ITER 1927 NEW BEST:: SOT 281577 SOS 139479 HAS SOPS 139479 HAS SOUS 129757 HAS SOUPS 129757 WITH SCORE 129896.479
AT ITER 1930 NEW BEST:: SOT 281576 SOS 139476 HAS SOPS 139476 HAS SOUS 129755 HAS SOUPS 129755 WITH SCORE 129894.476
AT ITER 1939 NEW BEST:: SOT 281541 SOS 139441 HAS SOPS 139441 HAS SOUS 129720 HAS SOUPS 129720 WITH SCORE 129859.441
AT ITER 1940 NEW BEST:: SOT 281264 SOS 139206 HAS SOPS 139206 HAS SOUS 129467 HAS SOUPS 129467 WITH SCORE 129606.206
AT ITER 1946 NEW BEST:: SOT 281235 SOS 139101 HAS SOPS 139101 HAS SOUS 129391 HAS SOUPS 129391 WITH SCORE 129530.101
AT ITER 1953 NEW BEST:: SOT 281157 SOS 138986 HAS SOPS 138986 HAS SOUS 129276 HAS SOUPS 129276 WITH SCORE 129414.986
AT ITER 1955 NEW BEST:: SOT 280960 SOS 138910 HAS SOPS 138910 HAS SOUS 129200 HAS SOUPS 129200 WITH SCORE 129338.91
AT ITER 1958 NEW BEST:: SOT 280978 SOS 138702 HAS SOPS 138702 HAS SOUS 129144 HAS SOUPS 129144 WITH SCORE 129282.702
AT ITER 1959 NEW BEST:: SOT 281066 SOS 138478 HAS SOPS 138478 HAS SOUS 129021 HAS SOUPS 129021 WITH SCORE 129159.478
AT ITER 1970 NEW BEST:: SOT 281066 SOS 138293 HAS SOPS 138293 HAS SOUS 128993 HAS SOUPS 128993 WITH SCORE 129131.293
AT ITER 1972 NEW BEST:: SOT 281191 SOS 138301 HAS SOPS 138301 HAS SOUS 128955 HAS SOUPS 128955 WITH SCORE 129093.301
AT ITER 1979 NEW BEST:: SOT 281123 SOS 138227 HAS SOPS 138227 HAS SOUS 128881 HAS SOUPS 128881 WITH SCORE 129019.227
AT ITER 1982 NEW BEST:: SOT 281123 SOS 138227 HAS SOPS 138227 HAS SOUS 128818 HAS SOUPS 128818 WITH SCORE 128956.227
AT ITER 1983 NEW BEST:: SOT 281113 SOS 138193 HAS SOPS 138193 HAS SOUS 128815 HAS SOUPS 128815 WITH SCORE 128953.193
AT ITER 1985 NEW BEST:: SOT 281113 SOS 138156 HAS SOPS 138156 HAS SOUS 128787 HAS SOUPS 128787 WITH SCORE 128925.156
AT ITER 1990 NEW BEST:: SOT 280840 SOS 137990 HAS SOPS 137990 HAS SOUS 128621 HAS SOUPS 128621 WITH SCORE 128758.99
AT ITER 1992 NEW BEST:: SOT 280840 SOS 137990 HAS SOPS 137990 HAS SOUS 128614 HAS SOUPS 128614 WITH SCORE 128751.99
AT ITER 1995 NEW BEST:: SOT 280840 SOS 137927 HAS SOPS 137927 HAS SOUS 128601 HAS SOUPS 128601 WITH SCORE 128738.927
AT ITER 2012 NEW BEST:: SOT 280826 SOS 137753 HAS SOPS 137753 HAS SOUS 128506 HAS SOUPS 128506 WITH SCORE 128643.753
AT ITER 2015 NEW BEST:: SOT 280798 SOS 137603 HAS SOPS 137603 HAS SOUS 128356 HAS SOUPS 128356 WITH SCORE 128493.603
AT ITER 2028 NEW BEST:: SOT 280798 SOS 137603 HAS SOPS 137603 HAS SOUS 128347 HAS SOUPS 128347 WITH SCORE 128484.603
AT ITER 2031 NEW BEST:: SOT 280782 SOS 137579 HAS SOPS 137579 HAS SOUS 128323 HAS SOUPS 128323 WITH SCORE 128460.579
AT ITER 2038 NEW BEST:: SOT 280638 SOS 137435 HAS SOPS 137435 HAS SOUS 128111 HAS SOUPS 128111 WITH SCORE 128248.435
AT ITER 2041 NEW BEST:: SOT 280625 SOS 137410 HAS SOPS 137410 HAS SOUS 128084 HAS SOUPS 128084 WITH SCORE 128221.41
AT ITER 2048 NEW BEST:: SOT 280625 SOS 137387 HAS SOPS 137387 HAS SOUS 128084 HAS SOUPS 128084 WITH SCORE 128221.387
AT ITER 2050 NEW BEST:: SOT 280625 SOS 137387 HAS SOPS 137387 HAS SOUS 128004 HAS SOUPS 128004 WITH SCORE 128141.387
AT ITER 2051 NEW BEST:: SOT 280749 SOS 137247 HAS SOPS 137247 HAS SOUS 127980 HAS SOUPS 127980 WITH SCORE 128117.247
AT ITER 2065 NEW BEST:: SOT 280524 SOS 137296 HAS SOPS 137296 HAS SOUS 127773 HAS SOUPS 127773 WITH SCORE 127910.296
AT ITER 2068 NEW BEST:: SOT 280082 SOS 136568 HAS SOPS 136568 HAS SOUS 127090 HAS SOUPS 127090 WITH SCORE 127226.568
AT ITER 2073 NEW BEST:: SOT 280062 SOS 136548 HAS SOPS 136548 HAS SOUS 127085 HAS SOUPS 127085 WITH SCORE 127221.548
AT ITER 2078 NEW BEST:: SOT 280066 SOS 136532 HAS SOPS 136532 HAS SOUS 127069 HAS SOUPS 127069 WITH SCORE 127205.532
AT ITER 2084 NEW BEST:: SOT 280066 SOS 136492 HAS SOPS 136492 HAS SOUS 127029 HAS SOUPS 127029 WITH SCORE 127165.492
AT ITER 2085 NEW BEST:: SOT 279765 SOS 136102 HAS SOPS 136102 HAS SOUS 126825 HAS SOUPS 126825 WITH SCORE 126961.102
AT ITER 2097 NEW BEST:: SOT 279741 SOS 136042 HAS SOPS 136042 HAS SOUS 126765 HAS SOUPS 126765 WITH SCORE 126901.042
AT ITER 2098 NEW BEST:: SOT 279551 SOS 135861 HAS SOPS 135861 HAS SOUS 126584 HAS SOUPS 126584 WITH SCORE 126719.861
AT ITER 2104 NEW BEST:: SOT 279447 SOS 135421 HAS SOPS 135421 HAS SOUS 126235 HAS SOUPS 126235 WITH SCORE 126370.421
AT ITER 2105 NEW BEST:: SOT 279431 SOS 135478 HAS SOPS 135478 HAS SOUS 126202 HAS SOUPS 126202 WITH SCORE 126337.478
AT ITER 2119 NEW BEST:: SOT 279268 SOS 135171 HAS SOPS 135171 HAS SOUS 125967 HAS SOUPS 125967 WITH SCORE 126102.171
AT ITER 2133 NEW BEST:: SOT 279174 SOS 135013 HAS SOPS 135013 HAS SOUS 125837 HAS SOUPS 125837 WITH SCORE 125972.013
AT ITER 2148 NEW BEST:: SOT 279009 SOS 134846 HAS SOPS 134846 HAS SOUS 125670 HAS SOUPS 125670 WITH SCORE 125804.846
AT ITER 2157 NEW BEST:: SOT 278926 SOS 134717 HAS SOPS 134717 HAS SOUS 125651 HAS SOUPS 125651 WITH SCORE 125785.717
AT ITER 2159 NEW BEST:: SOT 278926 SOS 134702 HAS SOPS 134702 HAS SOUS 125636 HAS SOUPS 125636 WITH SCORE 125770.702
AT ITER 2164 NEW BEST:: SOT 278911 SOS 134668 HAS SOPS 134668 HAS SOUS 125617 HAS SOUPS 125617 WITH SCORE 125751.668
AT ITER 2168 NEW BEST:: SOT 278911 SOS 134646 HAS SOPS 134646 HAS SOUS 125617 HAS SOUPS 125617 WITH SCORE 125751.646
AT ITER 2176 NEW BEST:: SOT 278925 SOS 134560 HAS SOPS 134560 HAS SOUS 125593 HAS SOUPS 125593 WITH SCORE 125727.56
AT ITER 2181 NEW BEST:: SOT 278925 SOS 134546 HAS SOPS 134546 HAS SOUS 125579 HAS SOUPS 125579 WITH SCORE 125713.546
AT ITER 2183 NEW BEST:: SOT 279131 SOS 134407 HAS SOPS 134407 HAS SOUS 125543 HAS SOUPS 125543 WITH SCORE 125677.407
AT ITER 2184 NEW BEST:: SOT 279117 SOS 134352 HAS SOPS 134352 HAS SOUS 125484 HAS SOUPS 125484 WITH SCORE 125618.352
AT ITER 2186 NEW BEST:: SOT 279111 SOS 134346 HAS SOPS 134346 HAS SOUS 125478 HAS SOUPS 125478 WITH SCORE 125612.346
AT ITER 2209 NEW BEST:: SOT 279071 SOS 134178 HAS SOPS 134178 HAS SOUS 125291 HAS SOUPS 125291 WITH SCORE 125425.178
AT ITER 2210 NEW BEST:: SOT 279033 SOS 134003 HAS SOPS 134003 HAS SOUS 125116 HAS SOUPS 125116 WITH SCORE 125250.003
AT ITER 2219 NEW BEST:: SOT 278969 SOS 133916 HAS SOPS 133916 HAS SOUS 125029 HAS SOUPS 125029 WITH SCORE 125162.916
AT ITER 2221 NEW BEST:: SOT 278950 SOS 133897 HAS SOPS 133897 HAS SOUS 124991 HAS SOUPS 124991 WITH SCORE 125124.897
AT ITER 2222 NEW BEST:: SOT 278884 SOS 133750 HAS SOPS 133750 HAS SOUS 124701 HAS SOUPS 124701 WITH SCORE 124834.75
AT ITER 2233 NEW BEST:: SOT 278857 SOS 133767 HAS SOPS 133767 HAS SOUS 124690 HAS SOUPS 124690 WITH SCORE 124823.767
AT ITER 2235 NEW BEST:: SOT 278835 SOS 133745 HAS SOPS 133745 HAS SOUS 124668 HAS SOUPS 124668 WITH SCORE 124801.745
AT ITER 2237 NEW BEST:: SOT 278681 SOS 133411 HAS SOPS 133411 HAS SOUS 124406 HAS SOUPS 124406 WITH SCORE 124539.411
AT ITER 2246 NEW BEST:: SOT 278491 SOS 133102 HAS SOPS 133102 HAS SOUS 124274 HAS SOUPS 124274 WITH SCORE 124407.102
AT ITER 2253 NEW BEST:: SOT 278362 SOS 132956 HAS SOPS 132956 HAS SOUS 124128 HAS SOUPS 124128 WITH SCORE 124260.956
AT ITER 2280 NEW BEST:: SOT 278436 SOS 132938 HAS SOPS 132938 HAS SOUS 124107 HAS SOUPS 124107 WITH SCORE 124239.938
AT ITER 2316 NEW BEST:: SOT 278211 SOS 132738 HAS SOPS 132738 HAS SOUS 123904 HAS SOUPS 123904 WITH SCORE 124036.738
AT ITER 2319 NEW BEST:: SOT 278211 SOS 132669 HAS SOPS 132669 HAS SOUS 123776 HAS SOUPS 123776 WITH SCORE 123908.669
AT ITER 2322 NEW BEST:: SOT 278227 SOS 132757 HAS SOPS 132757 HAS SOUS 123752 HAS SOUPS 123752 WITH SCORE 123884.757
AT ITER 2333 NEW BEST:: SOT 278202 SOS 132640 HAS SOPS 132640 HAS SOUS 123611 HAS SOUPS 123611 WITH SCORE 123743.64
AT ITER 2336 NEW BEST:: SOT 278113 SOS 132350 HAS SOPS 132350 HAS SOUS 123370 HAS SOUPS 123370 WITH SCORE 123502.35
AT ITER 2342 NEW BEST:: SOT 278100 SOS 132311 HAS SOPS 132311 HAS SOUS 123344 HAS SOUPS 123344 WITH SCORE 123476.311
AT ITER 2351 NEW BEST:: SOT 278059 SOS 131704 HAS SOPS 131704 HAS SOUS 123128 HAS SOUPS 123128 WITH SCORE 123259.704
AT ITER 2358 NEW BEST:: SOT 278001 SOS 131613 HAS SOPS 131613 HAS SOUS 122917 HAS SOUPS 122917 WITH SCORE 123048.613
AT ITER 2364 NEW BEST:: SOT 277919 SOS 131531 HAS SOPS 131531 HAS SOUS 122835 HAS SOUPS 122835 WITH SCORE 122966.531
AT ITER 2371 NEW BEST:: SOT 277840 SOS 131452 HAS SOPS 131452 HAS SOUS 122584 HAS SOUPS 122584 WITH SCORE 122715.452
AT ITER 2372 NEW BEST:: SOT 277840 SOS 131426 HAS SOPS 131426 HAS SOUS 122558 HAS SOUPS 122558 WITH SCORE 122689.426
AT ITER 2381 NEW BEST:: SOT 277592 SOS 131588 HAS SOPS 131588 HAS SOUS 122511 HAS SOUPS 122511 WITH SCORE 122642.588
AT ITER 2383 NEW BEST:: SOT 277551 SOS 131506 HAS SOPS 131506 HAS SOUS 122429 HAS SOUPS 122429 WITH SCORE 122560.506
AT ITER 2384 NEW BEST:: SOT 277545 SOS 131500 HAS SOPS 131500 HAS SOUS 122429 HAS SOUPS 122429 WITH SCORE 122560.5
AT ITER 2386 NEW BEST:: SOT 277530 SOS 131470 HAS SOPS 131470 HAS SOUS 122384 HAS SOUPS 122384 WITH SCORE 122515.47
AT ITER 2389 NEW BEST:: SOT 277530 SOS 131429 HAS SOPS 131429 HAS SOUS 122343 HAS SOUPS 122343 WITH SCORE 122474.429
AT ITER 2403 NEW BEST:: SOT 277320 SOS 131079 HAS SOPS 131079 HAS SOUS 122063 HAS SOUPS 122063 WITH SCORE 122194.079
AT ITER 2413 NEW BEST:: SOT 277019 SOS 130583 HAS SOPS 130583 HAS SOUS 121641 HAS SOUPS 121641 WITH SCORE 121771.583
AT ITER 2431 NEW BEST:: SOT 276985 SOS 130537 HAS SOPS 130537 HAS SOUS 121595 HAS SOUPS 121595 WITH SCORE 121725.537
AT ITER 2434 NEW BEST:: SOT 276985 SOS 130569 HAS SOPS 130569 HAS SOUS 121536 HAS SOUPS 121536 WITH SCORE 121666.569
AT ITER 2443 NEW BEST:: SOT 276667 SOS 130226 HAS SOPS 130226 HAS SOUS 121164 HAS SOUPS 121164 WITH SCORE 121294.226
AT ITER 2448 NEW BEST:: SOT 276739 SOS 130258 HAS SOPS 130258 HAS SOUS 121157 HAS SOUPS 121157 WITH SCORE 121287.258
AT ITER 2452 NEW BEST:: SOT 276587 SOS 129962 HAS SOPS 129962 HAS SOUS 120794 HAS SOUPS 120794 WITH SCORE 120923.962
AT ITER 2457 NEW BEST:: SOT 276587 SOS 129939 HAS SOPS 129939 HAS SOUS 120794 HAS SOUPS 120794 WITH SCORE 120923.939
AT ITER 2465 NEW BEST:: SOT 276455 SOS 129871 HAS SOPS 129871 HAS SOUS 120726 HAS SOUPS 120726 WITH SCORE 120855.871
AT ITER 2473 NEW BEST:: SOT 276450 SOS 129833 HAS SOPS 129833 HAS SOUS 120666 HAS SOUPS 120666 WITH SCORE 120795.833
AT ITER 2481 NEW BEST:: SOT 276406 SOS 129789 HAS SOPS 129789 HAS SOUS 120622 HAS SOUPS 120622 WITH SCORE 120751.789
AT ITER 2482 NEW BEST:: SOT 276315 SOS 129498 HAS SOPS 129498 HAS SOUS 120513 HAS SOUPS 120513 WITH SCORE 120642.498
AT ITER 2483 NEW BEST:: SOT 276284 SOS 129467 HAS SOPS 129467 HAS SOUS 120482 HAS SOUPS 120482 WITH SCORE 120611.467
AT ITER 2485 NEW BEST:: SOT 276274 SOS 129457 HAS SOPS 129457 HAS SOUS 120472 HAS SOUPS 120472 WITH SCORE 120601.457
AT ITER 2486 NEW BEST:: SOT 276135 SOS 129188 HAS SOPS 129188 HAS SOUS 120312 HAS SOUPS 120312 WITH SCORE 120441.188
AT ITER 2493 NEW BEST:: SOT 276135 SOS 129021 HAS SOPS 129021 HAS SOUS 120190 HAS SOUPS 120190 WITH SCORE 120319.021
AT ITER 2504 NEW BEST:: SOT 276021 SOS 128894 HAS SOPS 128894 HAS SOUS 120166 HAS SOUPS 120166 WITH SCORE 120294.894
AT ITER 2506 NEW BEST:: SOT 275896 SOS 128595 HAS SOPS 128595 HAS SOUS 120031 HAS SOUPS 120031 WITH SCORE 120159.595
AT ITER 2520 NEW BEST:: SOT 275838 SOS 128264 HAS SOPS 128264 HAS SOUS 119706 HAS SOUPS 119706 WITH SCORE 119834.264
AT ITER 2534 NEW BEST:: SOT 275886 SOS 128312 HAS SOPS 128312 HAS SOUS 119697 HAS SOUPS 119697 WITH SCORE 119825.312
AT ITER 2536 NEW BEST:: SOT 275798 SOS 128036 HAS SOPS 128036 HAS SOUS 119515 HAS SOUPS 119515 WITH SCORE 119643.036
AT ITER 2549 NEW BEST:: SOT 275822 SOS 127992 HAS SOPS 127992 HAS SOUS 119471 HAS SOUPS 119471 WITH SCORE 119598.992
AT ITER 2552 NEW BEST:: SOT 275738 SOS 127919 HAS SOPS 127919 HAS SOUS 119454 HAS SOUPS 119454 WITH SCORE 119581.919
AT ITER 2554 NEW BEST:: SOT 275723 SOS 127916 HAS SOPS 127916 HAS SOUS 119434 HAS SOUPS 119434 WITH SCORE 119561.916
AT ITER 2558 NEW BEST:: SOT 275738 SOS 127876 HAS SOPS 127876 HAS SOUS 119394 HAS SOUPS 119394 WITH SCORE 119521.876
AT ITER 2574 NEW BEST:: SOT 275872 SOS 128028 HAS SOPS 128028 HAS SOUS 119386 HAS SOUPS 119386 WITH SCORE 119514.028
AT ITER 2575 NEW BEST:: SOT 275872 SOS 128027 HAS SOPS 128027 HAS SOUS 119384 HAS SOUPS 119384 WITH SCORE 119512.027
AT ITER 2576 NEW BEST:: SOT 275790 SOS 127945 HAS SOPS 127945 HAS SOUS 119302 HAS SOUPS 119302 WITH SCORE 119429.945
AT ITER 2582 NEW BEST:: SOT 275451 SOS 127552 HAS SOPS 127552 HAS SOUS 119115 HAS SOUPS 119115 WITH SCORE 119242.552
AT ITER 2590 NEW BEST:: SOT 274943 SOS 126383 HAS SOPS 126383 HAS SOUS 118052 HAS SOUPS 118052 WITH SCORE 118178.383
AT ITER 2595 NEW BEST:: SOT 274933 SOS 126356 HAS SOPS 126356 HAS SOUS 118035 HAS SOUPS 118035 WITH SCORE 118161.356
AT ITER 2596 NEW BEST:: SOT 274955 SOS 126152 HAS SOPS 126152 HAS SOUS 117888 HAS SOUPS 117888 WITH SCORE 118014.152
AT ITER 2616 NEW BEST:: SOT 274955 SOS 126038 HAS SOPS 126038 HAS SOUS 117888 HAS SOUPS 117888 WITH SCORE 118014.038
AT ITER 2638 NEW BEST:: SOT 274955 SOS 126035 HAS SOPS 126035 HAS SOUS 117886 HAS SOUPS 117886 WITH SCORE 118012.035
AT ITER 2643 NEW BEST:: SOT 274922 SOS 126002 HAS SOPS 126002 HAS SOUS 117853 HAS SOUPS 117853 WITH SCORE 117979.002
AT ITER 2646 NEW BEST:: SOT 274833 SOS 125913 HAS SOPS 125913 HAS SOUS 117764 HAS SOUPS 117764 WITH SCORE 117889.913
AT ITER 2656 NEW BEST:: SOT 274833 SOS 125913 HAS SOPS 125913 HAS SOUS 117710 HAS SOUPS 117710 WITH SCORE 117835.913
AT ITER 2662 NEW BEST:: SOT 275039 SOS 125767 HAS SOPS 125767 HAS SOUS 117653 HAS SOUPS 117653 WITH SCORE 117778.767
AT ITER 2694 NEW BEST:: SOT 275039 SOS 125761 HAS SOPS 125761 HAS SOUS 117647 HAS SOUPS 117647 WITH SCORE 117772.761
AT ITER 2697 NEW BEST:: SOT 275103 SOS 125728 HAS SOPS 125728 HAS SOUS 117643 HAS SOUPS 117643 WITH SCORE 117768.728
AT ITER 2700 NEW BEST:: SOT 275090 SOS 125713 HAS SOPS 125713 HAS SOUS 117628 HAS SOUPS 117628 WITH SCORE 117753.713
AT ITER 2701 NEW BEST:: SOT 275027 SOS 125640 HAS SOPS 125640 HAS SOUS 117555 HAS SOUPS 117555 WITH SCORE 117680.64
AT ITER 2707 NEW BEST:: SOT 274954 SOS 125567 HAS SOPS 125567 HAS SOUS 117482 HAS SOUPS 117482 WITH SCORE 117607.567
AT ITER 2714 NEW BEST:: SOT 274910 SOS 125479 HAS SOPS 125479 HAS SOUS 117394 HAS SOUPS 117394 WITH SCORE 117519.479
AT ITER 2717 NEW BEST:: SOT 274893 SOS 125445 HAS SOPS 125445 HAS SOUS 117377 HAS SOUPS 117377 WITH SCORE 117502.445
AT ITER 2720 NEW BEST:: SOT 274817 SOS 125381 HAS SOPS 125381 HAS SOUS 117261 HAS SOUPS 117261 WITH SCORE 117386.381
AT ITER 2726 NEW BEST:: SOT 274615 SOS 125166 HAS SOPS 125166 HAS SOUS 117000 HAS SOUPS 117000 WITH SCORE 117125.166
AT ITER 2728 NEW BEST:: SOT 274611 SOS 125160 HAS SOPS 125160 HAS SOUS 116996 HAS SOUPS 116996 WITH SCORE 117121.16
AT ITER 2735 NEW BEST:: SOT 274587 SOS 125112 HAS SOPS 125112 HAS SOUS 116948 HAS SOUPS 116948 WITH SCORE 117073.112
AT ITER 2741 NEW BEST:: SOT 274602 SOS 125009 HAS SOPS 125009 HAS SOUS 116887 HAS SOUPS 116887 WITH SCORE 117012.009
AT ITER 2746 NEW BEST:: SOT 274589 SOS 124983 HAS SOPS 124983 HAS SOUS 116861 HAS SOUPS 116861 WITH SCORE 116985.983
AT ITER 2757 NEW BEST:: SOT 274585 SOS 124975 HAS SOPS 124975 HAS SOUS 116853 HAS SOUPS 116853 WITH SCORE 116977.975
AT ITER 2759 NEW BEST:: SOT 274515 SOS 124788 HAS SOPS 124788 HAS SOUS 116586 HAS SOUPS 116586 WITH SCORE 116710.788
AT ITER 2766 NEW BEST:: SOT 274515 SOS 124774 HAS SOPS 124774 HAS SOUS 116572 HAS SOUPS 116572 WITH SCORE 116696.774
AT ITER 2776 NEW BEST:: SOT 274358 SOS 124617 HAS SOPS 124617 HAS SOUS 116478 HAS SOUPS 116478 WITH SCORE 116602.617
AT ITER 2779 NEW BEST:: SOT 274350 SOS 124605 HAS SOPS 124605 HAS SOUS 116466 HAS SOUPS 116466 WITH SCORE 116590.605
AT ITER 2783 NEW BEST:: SOT 274339 SOS 124594 HAS SOPS 124594 HAS SOUS 116455 HAS SOUPS 116455 WITH SCORE 116579.594
AT ITER 2787 NEW BEST:: SOT 274306 SOS 124528 HAS SOPS 124528 HAS SOUS 116389 HAS SOUPS 116389 WITH SCORE 116513.528
AT ITER 2811 NEW BEST:: SOT 274152 SOS 124254 HAS SOPS 124254 HAS SOUS 116133 HAS SOUPS 116133 WITH SCORE 116257.254
AT ITER 2814 NEW BEST:: SOT 274152 SOS 124238 HAS SOPS 124238 HAS SOUS 116104 HAS SOUPS 116104 WITH SCORE 116228.238
AT ITER 2826 NEW BEST:: SOT 274152 SOS 124214 HAS SOPS 124214 HAS SOUS 116088 HAS SOUPS 116088 WITH SCORE 116212.214
AT ITER 2835 NEW BEST:: SOT 274084 SOS 123948 HAS SOPS 123948 HAS SOUS 115908 HAS SOUPS 115908 WITH SCORE 116031.948
AT ITER 2850 NEW BEST:: SOT 274043 SOS 123907 HAS SOPS 123907 HAS SOUS 115867 HAS SOUPS 115867 WITH SCORE 115990.907
AT ITER 2868 NEW BEST:: SOT 273832 SOS 123726 HAS SOPS 123726 HAS SOUS 115686 HAS SOUPS 115686 WITH SCORE 115809.726
AT ITER 2871 NEW BEST:: SOT 273512 SOS 123181 HAS SOPS 123181 HAS SOUS 115141 HAS SOUPS 115141 WITH SCORE 115264.181
AT ITER 2878 NEW BEST:: SOT 273482 SOS 123106 HAS SOPS 123106 HAS SOUS 115081 HAS SOUPS 115081 WITH SCORE 115204.106
AT ITER 2884 NEW BEST:: SOT 273335 SOS 122932 HAS SOPS 122932 HAS SOUS 114907 HAS SOUPS 114907 WITH SCORE 115029.932
AT ITER 2897 NEW BEST:: SOT 273246 SOS 122545 HAS SOPS 122545 HAS SOUS 114640 HAS SOUPS 114640 WITH SCORE 114762.545
AT ITER 2907 NEW BEST:: SOT 273246 SOS 122748 HAS SOPS 122748 HAS SOUS 114530 HAS SOUPS 114530 WITH SCORE 114652.748
AT ITER 2910 NEW BEST:: SOT 273246 SOS 122426 HAS SOPS 122426 HAS SOUS 114454 HAS SOUPS 114454 WITH SCORE 114576.426
AT ITER 2913 NEW BEST:: SOT 273192 SOS 122227 HAS SOPS 122227 HAS SOUS 114255 HAS SOUPS 114255 WITH SCORE 114377.227
AT ITER 2939 NEW BEST:: SOT 273192 SOS 122203 HAS SOPS 122203 HAS SOUS 114255 HAS SOUPS 114255 WITH SCORE 114377.203
AT ITER 2943 NEW BEST:: SOT 273193 SOS 122202 HAS SOPS 122202 HAS SOUS 114253 HAS SOUPS 114253 WITH SCORE 114375.202
AT ITER 2947 NEW BEST:: SOT 273097 SOS 122014 HAS SOPS 122014 HAS SOUS 114111 HAS SOUPS 114111 WITH SCORE 114233.014
AT ITER 2969 NEW BEST:: SOT 272911 SOS 121735 HAS SOPS 121735 HAS SOUS 113832 HAS SOUPS 113832 WITH SCORE 113953.735
AT ITER 2991 NEW BEST:: SOT 272981 SOS 121712 HAS SOPS 121712 HAS SOUS 113805 HAS SOUPS 113805 WITH SCORE 113926.712
AT ITER 3000 NEW BEST:: SOT 272981 SOS 121712 HAS SOPS 121712 HAS SOUS 113803 HAS SOUPS 113803 WITH SCORE 113924.712
AT ITER 3026 NEW BEST:: SOT 272897 SOS 121704 HAS SOPS 121704 HAS SOUS 113719 HAS SOUPS 113719 WITH SCORE 113840.704
AT ITER 3045 NEW BEST:: SOT 272941 SOS 121748 HAS SOPS 121748 HAS SOUS 113716 HAS SOUPS 113716 WITH SCORE 113837.748
AT ITER 3049 NEW BEST:: SOT 272941 SOS 121722 HAS SOPS 121722 HAS SOUS 113690 HAS SOUPS 113690 WITH SCORE 113811.722
AT ITER 3067 NEW BEST:: SOT 272941 SOS 121566 HAS SOPS 121566 HAS SOUS 113629 HAS SOUPS 113629 WITH SCORE 113750.566
AT ITER 3069 NEW BEST:: SOT 272887 SOS 121494 HAS SOPS 121494 HAS SOUS 113611 HAS SOUPS 113611 WITH SCORE 113732.494
AT ITER 3071 NEW BEST:: SOT 272821 SOS 121428 HAS SOPS 121428 HAS SOUS 113545 HAS SOUPS 113545 WITH SCORE 113666.428
AT ITER 3076 NEW BEST:: SOT 272770 SOS 121377 HAS SOPS 121377 HAS SOUS 113494 HAS SOUPS 113494 WITH SCORE 113615.377
AT ITER 3085 NEW BEST:: SOT 272638 SOS 121142 HAS SOPS 121142 HAS SOUS 113259 HAS SOUPS 113259 WITH SCORE 113380.142
AT ITER 3105 NEW BEST:: SOT 272622 SOS 121110 HAS SOPS 121110 HAS SOUS 113227 HAS SOUPS 113227 WITH SCORE 113348.11
AT ITER 3114 NEW BEST:: SOT 272556 SOS 120825 HAS SOPS 120825 HAS SOUS 113039 HAS SOUPS 113039 WITH SCORE 113159.825
AT ITER 3134 NEW BEST:: SOT 272508 SOS 120777 HAS SOPS 120777 HAS SOUS 112991 HAS SOUPS 112991 WITH SCORE 113111.777
AT ITER 3160 NEW BEST:: SOT 272496 SOS 120741 HAS SOPS 120741 HAS SOUS 112955 HAS SOUPS 112955 WITH SCORE 113075.741
AT ITER 3163 NEW BEST:: SOT 272423 SOS 120654 HAS SOPS 120654 HAS SOUS 112868 HAS SOUPS 112868 WITH SCORE 112988.654
AT ITER 3169 NEW BEST:: SOT 272372 SOS 120592 HAS SOPS 120592 HAS SOUS 112783 HAS SOUPS 112783 WITH SCORE 112903.592
AT ITER 3174 NEW BEST:: SOT 272294 SOS 120481 HAS SOPS 120481 HAS SOUS 112711 HAS SOUPS 112711 WITH SCORE 112831.481
AT ITER 3176 NEW BEST:: SOT 272213 SOS 120386 HAS SOPS 120386 HAS SOUS 112709 HAS SOUPS 112709 WITH SCORE 112829.386
AT ITER 3180 NEW BEST:: SOT 272200 SOS 120373 HAS SOPS 120373 HAS SOUS 112683 HAS SOUPS 112683 WITH SCORE 112803.373
AT ITER 3191 NEW BEST:: SOT 271940 SOS 120027 HAS SOPS 120027 HAS SOUS 112548 HAS SOUPS 112548 WITH SCORE 112668.027
AT ITER 3229 NEW BEST:: SOT 271931 SOS 120012 HAS SOPS 120012 HAS SOUS 112533 HAS SOUPS 112533 WITH SCORE 112653.012
AT ITER 3231 NEW BEST:: SOT 271931 SOS 120008 HAS SOPS 120008 HAS SOUS 112529 HAS SOUPS 112529 WITH SCORE 112649.008
AT ITER 3263 NEW BEST:: SOT 271931 SOS 119972 HAS SOPS 119972 HAS SOUS 112529 HAS SOUPS 112529 WITH SCORE 112648.972
AT ITER 3276 NEW BEST:: SOT 271919 SOS 119956 HAS SOPS 119956 HAS SOUS 112513 HAS SOUPS 112513 WITH SCORE 112632.956
AT ITER 3294 NEW BEST:: SOT 271881 SOS 119704 HAS SOPS 119704 HAS SOUS 112414 HAS SOUPS 112414 WITH SCORE 112533.704
AT ITER 3318 NEW BEST:: SOT 271798 SOS 119573 HAS SOPS 119573 HAS SOUS 112283 HAS SOUPS 112283 WITH SCORE 112402.573
AT ITER 3321 NEW BEST:: SOT 271793 SOS 119558 HAS SOPS 119558 HAS SOUS 112273 HAS SOUPS 112273 WITH SCORE 112392.558
AT ITER 3328 NEW BEST:: SOT 271808 SOS 118420 HAS SOPS 118420 HAS SOUS 111878 HAS SOUPS 111878 WITH SCORE 111996.42
AT ITER 3334 NEW BEST:: SOT 271808 SOS 118409 HAS SOPS 118409 HAS SOUS 111867 HAS SOUPS 111867 WITH SCORE 111985.409
AT ITER 3339 NEW BEST:: SOT 271785 SOS 118386 HAS SOPS 118386 HAS SOUS 111844 HAS SOUPS 111844 WITH SCORE 111962.386
AT ITER 3351 NEW BEST:: SOT 271601 SOS 118202 HAS SOPS 118202 HAS SOUS 111819 HAS SOUPS 111819 WITH SCORE 111937.202
AT ITER 3368 NEW BEST:: SOT 271559 SOS 118075 HAS SOPS 118075 HAS SOUS 111676 HAS SOUPS 111676 WITH SCORE 111794.075
AT ITER 3377 NEW BEST:: SOT 271487 SOS 118003 HAS SOPS 118003 HAS SOUS 111604 HAS SOUPS 111604 WITH SCORE 111722.003
AT ITER 3378 NEW BEST:: SOT 271536 SOS 117997 HAS SOPS 117997 HAS SOUS 111603 HAS SOUPS 111603 WITH SCORE 111720.997
AT ITER 3379 NEW BEST:: SOT 271536 SOS 117903 HAS SOPS 117903 HAS SOUS 111576 HAS SOUPS 111576 WITH SCORE 111693.903
AT ITER 3395 NEW BEST:: SOT 271450 SOS 117731 HAS SOPS 117731 HAS SOUS 111447 HAS SOUPS 111447 WITH SCORE 111564.731
AT ITER 3420 NEW BEST:: SOT 271426 SOS 117659 HAS SOPS 117659 HAS SOUS 111375 HAS SOUPS 111375 WITH SCORE 111492.659
AT ITER 3421 NEW BEST:: SOT 271402 SOS 117611 HAS SOPS 117611 HAS SOUS 111327 HAS SOUPS 111327 WITH SCORE 111444.611
AT ITER 3430 NEW BEST:: SOT 271228 SOS 117715 HAS SOPS 117715 HAS SOUS 111256 HAS SOUPS 111256 WITH SCORE 111373.715
AT ITER 3434 NEW BEST:: SOT 271219 SOS 117706 HAS SOPS 117706 HAS SOUS 111247 HAS SOUPS 111247 WITH SCORE 111364.706
AT ITER 3438 NEW BEST:: SOT 271097 SOS 117462 HAS SOPS 117462 HAS SOUS 111003 HAS SOUPS 111003 WITH SCORE 111120.462
AT ITER 3451 NEW BEST:: SOT 270936 SOS 117402 HAS SOPS 117402 HAS SOUS 110943 HAS SOUPS 110943 WITH SCORE 111060.402
AT ITER 3454 NEW BEST:: SOT 270936 SOS 117396 HAS SOPS 117396 HAS SOUS 110937 HAS SOUPS 110937 WITH SCORE 111054.396
AT ITER 3469 NEW BEST:: SOT 270940 SOS 117291 HAS SOPS 117291 HAS SOUS 110834 HAS SOUPS 110834 WITH SCORE 110951.291
AT ITER 3474 NEW BEST:: SOT 270741 SOS 116965 HAS SOPS 116965 HAS SOUS 110508 HAS SOUPS 110508 WITH SCORE 110624.965
AT ITER 3486 NEW BEST:: SOT 270717 SOS 116935 HAS SOPS 116935 HAS SOUS 110436 HAS SOUPS 110436 WITH SCORE 110552.935
AT ITER 3488 NEW BEST:: SOT 270467 SOS 116685 HAS SOPS 116685 HAS SOUS 110186 HAS SOUPS 110186 WITH SCORE 110302.685
AT ITER 3493 NEW BEST:: SOT 270459 SOS 116669 HAS SOPS 116669 HAS SOUS 110170 HAS SOUPS 110170 WITH SCORE 110286.669
AT ITER 3497 NEW BEST:: SOT 270252 SOS 116462 HAS SOPS 116462 HAS SOUS 110059 HAS SOUPS 110059 WITH SCORE 110175.462
AT ITER 3498 NEW BEST:: SOT 270229 SOS 116415 HAS SOPS 116415 HAS SOUS 110010 HAS SOUPS 110010 WITH SCORE 110126.415
AT ITER 3501 NEW BEST:: SOT 270213 SOS 116383 HAS SOPS 116383 HAS SOUS 109992 HAS SOUPS 109992 WITH SCORE 110108.383
AT ITER 3507 NEW BEST:: SOT 270029 SOS 116279 HAS SOPS 116279 HAS SOUS 109712 HAS SOUPS 109712 WITH SCORE 109828.279
AT ITER 3510 NEW BEST:: SOT 270029 SOS 116308 HAS SOPS 116308 HAS SOUS 109704 HAS SOUPS 109704 WITH SCORE 109820.308
AT ITER 3532 NEW BEST:: SOT 269977 SOS 116219 HAS SOPS 116219 HAS SOUS 109600 HAS SOUPS 109600 WITH SCORE 109716.219
AT ITER 3534 NEW BEST:: SOT 269977 SOS 116209 HAS SOPS 116209 HAS SOUS 109600 HAS SOUPS 109600 WITH SCORE 109716.209
AT ITER 3545 NEW BEST:: SOT 269977 SOS 116209 HAS SOPS 116209 HAS SOUS 109567 HAS SOUPS 109567 WITH SCORE 109683.209
AT ITER 3548 NEW BEST:: SOT 269946 SOS 116010 HAS SOPS 116010 HAS SOUS 109368 HAS SOUPS 109368 WITH SCORE 109484.01
AT ITER 3555 NEW BEST:: SOT 269582 SOS 115666 HAS SOPS 115666 HAS SOUS 109218 HAS SOUPS 109218 WITH SCORE 109333.666
AT ITER 3561 NEW BEST:: SOT 269582 SOS 115680 HAS SOPS 115680 HAS SOUS 109195 HAS SOUPS 109195 WITH SCORE 109310.68
AT ITER 3566 NEW BEST:: SOT 269561 SOS 115617 HAS SOPS 115617 HAS SOUS 109125 HAS SOUPS 109125 WITH SCORE 109240.617
AT ITER 3569 NEW BEST:: SOT 269550 SOS 115692 HAS SOPS 115692 HAS SOUS 109087 HAS SOUPS 109087 WITH SCORE 109202.692
AT ITER 3571 NEW BEST:: SOT 269404 SOS 115347 HAS SOPS 115347 HAS SOUS 108852 HAS SOUPS 108852 WITH SCORE 108967.347
AT ITER 3583 NEW BEST:: SOT 269377 SOS 115396 HAS SOPS 115396 HAS SOUS 108798 HAS SOUPS 108798 WITH SCORE 108913.396
AT ITER 3590 NEW BEST:: SOT 269344 SOS 115372 HAS SOPS 115372 HAS SOUS 108732 HAS SOUPS 108732 WITH SCORE 108847.372
AT ITER 3595 NEW BEST:: SOT 269275 SOS 115234 HAS SOPS 115234 HAS SOUS 108617 HAS SOUPS 108617 WITH SCORE 108732.234
AT ITER 3603 NEW BEST:: SOT 269278 SOS 115237 HAS SOPS 115237 HAS SOUS 108608 HAS SOUPS 108608 WITH SCORE 108723.237
AT ITER 3614 NEW BEST:: SOT 269148 SOS 115100 HAS SOPS 115100 HAS SOUS 108391 HAS SOUPS 108391 WITH SCORE 108506.1
AT ITER 3617 NEW BEST:: SOT 269148 SOS 115049 HAS SOPS 115049 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108493.049
AT ITER 3619 NEW BEST:: SOT 268955 SOS 115024 HAS SOPS 115024 HAS SOUS 108292 HAS SOUPS 108292 WITH SCORE 108407.024
AT ITER 3624 NEW BEST:: SOT 268935 SOS 114980 HAS SOPS 114980 HAS SOUS 108248 HAS SOUPS 108248 WITH SCORE 108362.98
AT ITER 3629 NEW BEST:: SOT 268797 SOS 114292 HAS SOPS 114292 HAS SOUS 107767 HAS SOUPS 107767 WITH SCORE 107881.292
AT ITER 3630 NEW BEST:: SOT 268781 SOS 114276 HAS SOPS 114276 HAS SOUS 107743 HAS SOUPS 107743 WITH SCORE 107857.276
AT ITER 3647 NEW BEST:: SOT 268747 SOS 114174 HAS SOPS 114174 HAS SOUS 107641 HAS SOUPS 107641 WITH SCORE 107755.174
AT ITER 3654 NEW BEST:: SOT 268687 SOS 114084 HAS SOPS 114084 HAS SOUS 107551 HAS SOUPS 107551 WITH SCORE 107665.084
AT ITER 3665 NEW BEST:: SOT 268675 SOS 114038 HAS SOPS 114038 HAS SOUS 107532 HAS SOUPS 107532 WITH SCORE 107646.038
AT ITER 3675 NEW BEST:: SOT 268664 SOS 114027 HAS SOPS 114027 HAS SOUS 107510 HAS SOUPS 107510 WITH SCORE 107624.027
AT ITER 3701 NEW BEST:: SOT 268499 SOS 113925 HAS SOPS 113925 HAS SOUS 107408 HAS SOUPS 107408 WITH SCORE 107521.925
AT ITER 3706 NEW BEST:: SOT 268499 SOS 113954 HAS SOPS 113954 HAS SOUS 107407 HAS SOUPS 107407 WITH SCORE 107520.954
AT ITER 3707 NEW BEST:: SOT 268522 SOS 114016 HAS SOPS 114016 HAS SOUS 107337 HAS SOUPS 107337 WITH SCORE 107451.016
AT ITER 3709 NEW BEST:: SOT 268431 SOS 113761 HAS SOPS 113761 HAS SOUS 107149 HAS SOUPS 107149 WITH SCORE 107262.761
AT ITER 3721 NEW BEST:: SOT 268212 SOS 113542 HAS SOPS 113542 HAS SOUS 106915 HAS SOUPS 106915 WITH SCORE 107028.542
AT ITER 3722 NEW BEST:: SOT 268174 SOS 113388 HAS SOPS 113388 HAS SOUS 106761 HAS SOUPS 106761 WITH SCORE 106874.388
AT ITER 3736 NEW BEST:: SOT 268120 SOS 113307 HAS SOPS 113307 HAS SOUS 106680 HAS SOUPS 106680 WITH SCORE 106793.307
AT ITER 3752 NEW BEST:: SOT 267886 SOS 113165 HAS SOPS 113165 HAS SOUS 106538 HAS SOUPS 106538 WITH SCORE 106651.165
AT ITER 3759 NEW BEST:: SOT 267873 SOS 113109 HAS SOPS 113109 HAS SOUS 106485 HAS SOUPS 106485 WITH SCORE 106598.109
AT ITER 3774 NEW BEST:: SOT 267829 SOS 113065 HAS SOPS 113065 HAS SOUS 106411 HAS SOUPS 106411 WITH SCORE 106524.065
AT ITER 3780 NEW BEST:: SOT 267762 SOS 112965 HAS SOPS 112965 HAS SOUS 106331 HAS SOUPS 106331 WITH SCORE 106443.965
AT ITER 3787 NEW BEST:: SOT 267698 SOS 112872 HAS SOPS 112872 HAS SOUS 106191 HAS SOUPS 106191 WITH SCORE 106303.872
AT ITER 3800 NEW BEST:: SOT 267654 SOS 112762 HAS SOPS 112762 HAS SOUS 106138 HAS SOUPS 106138 WITH SCORE 106250.762
AT ITER 3813 NEW BEST:: SOT 267602 SOS 112746 HAS SOPS 112746 HAS SOUS 106122 HAS SOUPS 106122 WITH SCORE 106234.746
AT ITER 3821 NEW BEST:: SOT 267602 SOS 112746 HAS SOPS 112746 HAS SOUS 106072 HAS SOUPS 106072 WITH SCORE 106184.746
AT ITER 3825 NEW BEST:: SOT 267625 SOS 112769 HAS SOPS 112769 HAS SOUS 105986 HAS SOUPS 105986 WITH SCORE 106098.769
AT ITER 3835 NEW BEST:: SOT 267588 SOS 112676 HAS SOPS 112676 HAS SOUS 105908 HAS SOUPS 105908 WITH SCORE 106020.676
AT ITER 3846 NEW BEST:: SOT 267588 SOS 112446 HAS SOPS 112446 HAS SOUS 105808 HAS SOUPS 105808 WITH SCORE 105920.446
AT ITER 3847 NEW BEST:: SOT 267588 SOS 112440 HAS SOPS 112440 HAS SOUS 105804 HAS SOUPS 105804 WITH SCORE 105916.44
AT ITER 3850 NEW BEST:: SOT 267588 SOS 112426 HAS SOPS 112426 HAS SOUS 105790 HAS SOUPS 105790 WITH SCORE 105902.426
AT ITER 3857 NEW BEST:: SOT 267520 SOS 112271 HAS SOPS 112271 HAS SOUS 105648 HAS SOUPS 105648 WITH SCORE 105760.271
AT ITER 3874 NEW BEST:: SOT 267520 SOS 112249 HAS SOPS 112249 HAS SOUS 105498 HAS SOUPS 105498 WITH SCORE 105610.249
AT ITER 3882 NEW BEST:: SOT 267531 SOS 112038 HAS SOPS 112038 HAS SOUS 105372 HAS SOUPS 105372 WITH SCORE 105484.038
AT ITER 3890 NEW BEST:: SOT 267531 SOS 112001 HAS SOPS 112001 HAS SOUS 105335 HAS SOUPS 105335 WITH SCORE 105447.001
AT ITER 3891 NEW BEST:: SOT 267445 SOS 112006 HAS SOPS 112006 HAS SOUS 105332 HAS SOUPS 105332 WITH SCORE 105444.006
AT ITER 3905 NEW BEST:: SOT 267331 SOS 111891 HAS SOPS 111891 HAS SOUS 105217 HAS SOUPS 105217 WITH SCORE 105328.891
AT ITER 3911 NEW BEST:: SOT 267355 SOS 111871 HAS SOPS 111871 HAS SOUS 105199 HAS SOUPS 105199 WITH SCORE 105310.871
AT ITER 3913 NEW BEST:: SOT 267333 SOS 111813 HAS SOPS 111813 HAS SOUS 105141 HAS SOUPS 105141 WITH SCORE 105252.813
AT ITER 3916 NEW BEST:: SOT 267333 SOS 111775 HAS SOPS 111775 HAS SOUS 105138 HAS SOUPS 105138 WITH SCORE 105249.775
AT ITER 3919 NEW BEST:: SOT 267280 SOS 111722 HAS SOPS 111722 HAS SOUS 105085 HAS SOUPS 105085 WITH SCORE 105196.722
AT ITER 3935 NEW BEST:: SOT 267207 SOS 111503 HAS SOPS 111503 HAS SOUS 104866 HAS SOUPS 104866 WITH SCORE 104977.503
AT ITER 3938 NEW BEST:: SOT 267108 SOS 111245 HAS SOPS 111245 HAS SOUS 104608 HAS SOUPS 104608 WITH SCORE 104719.245
AT ITER 3942 NEW BEST:: SOT 267092 SOS 111229 HAS SOPS 111229 HAS SOUS 104592 HAS SOUPS 104592 WITH SCORE 104703.229
AT ITER 3951 NEW BEST:: SOT 267092 SOS 111127 HAS SOPS 111127 HAS SOUS 104541 HAS SOUPS 104541 WITH SCORE 104652.127
AT ITER 3958 NEW BEST:: SOT 266920 SOS 111183 HAS SOPS 111183 HAS SOUS 104525 HAS SOUPS 104525 WITH SCORE 104636.183
AT ITER 3963 NEW BEST:: SOT 266833 SOS 111096 HAS SOPS 111096 HAS SOUS 104438 HAS SOUPS 104438 WITH SCORE 104549.096
AT ITER 3964 NEW BEST:: SOT 266833 SOS 111082 HAS SOPS 111082 HAS SOUS 104424 HAS SOUPS 104424 WITH SCORE 104535.082
AT ITER 3989 NEW BEST:: SOT 266833 SOS 111058 HAS SOPS 111058 HAS SOUS 104424 HAS SOUPS 104424 WITH SCORE 104535.058
AT ITER 4007 NEW BEST:: SOT 266825 SOS 111042 HAS SOPS 111042 HAS SOUS 104408 HAS SOUPS 104408 WITH SCORE 104519.042
AT ITER 4046 NEW BEST:: SOT 266755 SOS 111001 HAS SOPS 111001 HAS SOUS 104325 HAS SOUPS 104325 WITH SCORE 104436.001
AT ITER 4058 NEW BEST:: SOT 266755 SOS 110990 HAS SOPS 110990 HAS SOUS 104325 HAS SOUPS 104325 WITH SCORE 104435.99
AT ITER 4080 NEW BEST:: SOT 266749 SOS 110984 HAS SOPS 110984 HAS SOUS 104319 HAS SOUPS 104319 WITH SCORE 104429.984
AT ITER 4082 NEW BEST:: SOT 266749 SOS 110864 HAS SOPS 110864 HAS SOUS 104241 HAS SOUPS 104241 WITH SCORE 104351.864
AT ITER 4086 NEW BEST:: SOT 266758 SOS 110854 HAS SOPS 110854 HAS SOUS 104231 HAS SOUPS 104231 WITH SCORE 104341.854
AT ITER 4090 NEW BEST:: SOT 266947 SOS 110770 HAS SOPS 110770 HAS SOUS 104134 HAS SOUPS 104134 WITH SCORE 104244.77
AT ITER 4099 NEW BEST:: SOT 266909 SOS 110708 HAS SOPS 110708 HAS SOUS 104072 HAS SOUPS 104072 WITH SCORE 104182.708
AT ITER 4100 NEW BEST:: SOT 266850 SOS 110613 HAS SOPS 110613 HAS SOUS 103977 HAS SOUPS 103977 WITH SCORE 104087.613
AT ITER 4103 NEW BEST:: SOT 266850 SOS 110606 HAS SOPS 110606 HAS SOUS 103970 HAS SOUPS 103970 WITH SCORE 104080.606
AT ITER 4117 NEW BEST:: SOT 266850 SOS 110479 HAS SOPS 110479 HAS SOUS 103843 HAS SOUPS 103843 WITH SCORE 103953.479
AT ITER 4122 NEW BEST:: SOT 266870 SOS 110499 HAS SOPS 110499 HAS SOUS 103837 HAS SOUPS 103837 WITH SCORE 103947.499
AT ITER 4127 NEW BEST:: SOT 266697 SOS 110150 HAS SOPS 110150 HAS SOUS 103501 HAS SOUPS 103501 WITH SCORE 103611.15
AT ITER 4134 NEW BEST:: SOT 266697 SOS 110121 HAS SOPS 110121 HAS SOUS 103501 HAS SOUPS 103501 WITH SCORE 103611.121
AT ITER 4137 NEW BEST:: SOT 266697 SOS 110121 HAS SOPS 110121 HAS SOUS 103485 HAS SOUPS 103485 WITH SCORE 103595.121
AT ITER 4140 NEW BEST:: SOT 266650 SOS 110062 HAS SOPS 110062 HAS SOUS 103426 HAS SOUPS 103426 WITH SCORE 103536.062
AT ITER 4144 NEW BEST:: SOT 266637 SOS 110049 HAS SOPS 110049 HAS SOUS 103413 HAS SOUPS 103413 WITH SCORE 103523.049
AT ITER 4158 NEW BEST:: SOT 266595 SOS 110007 HAS SOPS 110007 HAS SOUS 103371 HAS SOUPS 103371 WITH SCORE 103481.007
AT ITER 4162 NEW BEST:: SOT 266595 SOS 110005 HAS SOPS 110005 HAS SOUS 103369 HAS SOUPS 103369 WITH SCORE 103479.005
AT ITER 4163 NEW BEST:: SOT 266610 SOS 109976 HAS SOPS 109976 HAS SOUS 103270 HAS SOUPS 103270 WITH SCORE 103379.976
AT ITER 4165 NEW BEST:: SOT 266639 SOS 109930 HAS SOPS 109930 HAS SOUS 103249 HAS SOUPS 103249 WITH SCORE 103358.93
AT ITER 4172 NEW BEST:: SOT 266531 SOS 109746 HAS SOPS 109746 HAS SOUS 103081 HAS SOUPS 103081 WITH SCORE 103190.746
AT ITER 4175 NEW BEST:: SOT 266313 SOS 109384 HAS SOPS 109384 HAS SOUS 102897 HAS SOUPS 102897 WITH SCORE 103006.384
AT ITER 4190 NEW BEST:: SOT 266313 SOS 109296 HAS SOPS 109296 HAS SOUS 102737 HAS SOUPS 102737 WITH SCORE 102846.296
AT ITER 4194 NEW BEST:: SOT 266309 SOS 109292 HAS SOPS 109292 HAS SOUS 102733 HAS SOUPS 102733 WITH SCORE 102842.292
AT ITER 4197 NEW BEST:: SOT 266301 SOS 109284 HAS SOPS 109284 HAS SOUS 102725 HAS SOUPS 102725 WITH SCORE 102834.284
AT ITER 4201 NEW BEST:: SOT 266240 SOS 109142 HAS SOPS 109142 HAS SOUS 102583 HAS SOUPS 102583 WITH SCORE 102692.142
AT ITER 4213 NEW BEST:: SOT 266146 SOS 109002 HAS SOPS 109002 HAS SOUS 102433 HAS SOUPS 102433 WITH SCORE 102542.002
AT ITER 4214 NEW BEST:: SOT 266175 SOS 108954 HAS SOPS 108954 HAS SOUS 102385 HAS SOUPS 102385 WITH SCORE 102493.954
AT ITER 4216 NEW BEST:: SOT 266170 SOS 108939 HAS SOPS 108939 HAS SOUS 102370 HAS SOUPS 102370 WITH SCORE 102478.939
AT ITER 4219 NEW BEST:: SOT 266260 SOS 108918 HAS SOPS 108918 HAS SOUS 102349 HAS SOUPS 102349 WITH SCORE 102457.918
AT ITER 4223 NEW BEST:: SOT 266190 SOS 108848 HAS SOPS 108848 HAS SOUS 102279 HAS SOUPS 102279 WITH SCORE 102387.848
AT ITER 4232 NEW BEST:: SOT 266156 SOS 108769 HAS SOPS 108769 HAS SOUS 102198 HAS SOUPS 102198 WITH SCORE 102306.769
AT ITER 4233 NEW BEST:: SOT 266156 SOS 108745 HAS SOPS 108745 HAS SOUS 102198 HAS SOUPS 102198 WITH SCORE 102306.745
AT ITER 4235 NEW BEST:: SOT 265906 SOS 108146 HAS SOPS 108146 HAS SOUS 101599 HAS SOUPS 101599 WITH SCORE 101707.146
AT ITER 4239 NEW BEST:: SOT 265888 SOS 108123 HAS SOPS 108123 HAS SOUS 101564 HAS SOUPS 101564 WITH SCORE 101672.123
AT ITER 4248 NEW BEST:: SOT 265878 SOS 108113 HAS SOPS 108113 HAS SOUS 101554 HAS SOUPS 101554 WITH SCORE 101662.113
AT ITER 4253 NEW BEST:: SOT 265878 SOS 108056 HAS SOPS 108056 HAS SOUS 101497 HAS SOUPS 101497 WITH SCORE 101605.056
AT ITER 4256 NEW BEST:: SOT 265896 SOS 108002 HAS SOPS 108002 HAS SOUS 101448 HAS SOUPS 101448 WITH SCORE 101556.002
AT ITER 4260 NEW BEST:: SOT 265896 SOS 108002 HAS SOPS 108002 HAS SOUS 101308 HAS SOUPS 101308 WITH SCORE 101416.002
AT ITER 4268 NEW BEST:: SOT 265782 SOS 107939 HAS SOPS 107939 HAS SOUS 101131 HAS SOUPS 101131 WITH SCORE 101238.939
AT ITER 4274 NEW BEST:: SOT 265782 SOS 107928 HAS SOPS 107928 HAS SOUS 101131 HAS SOUPS 101131 WITH SCORE 101238.928
AT ITER 4282 NEW BEST:: SOT 265759 SOS 107905 HAS SOPS 107905 HAS SOUS 101108 HAS SOUPS 101108 WITH SCORE 101215.905
AT ITER 4287 NEW BEST:: SOT 265593 SOS 107580 HAS SOPS 107580 HAS SOUS 100724 HAS SOUPS 100724 WITH SCORE 100831.58
AT ITER 4315 NEW BEST:: SOT 265593 SOS 107553 HAS SOPS 107553 HAS SOUS 100697 HAS SOUPS 100697 WITH SCORE 100804.553
AT ITER 4317 NEW BEST:: SOT 265548 SOS 107508 HAS SOPS 107508 HAS SOUS 100652 HAS SOUPS 100652 WITH SCORE 100759.508
AT ITER 4324 NEW BEST:: SOT 265459 SOS 107419 HAS SOPS 107419 HAS SOUS 100563 HAS SOUPS 100563 WITH SCORE 100670.419
AT ITER 4325 NEW BEST:: SOT 265373 SOS 107097 HAS SOPS 107097 HAS SOUS 100322 HAS SOUPS 100322 WITH SCORE 100429.097
AT ITER 4333 NEW BEST:: SOT 265348 SOS 106997 HAS SOPS 106997 HAS SOUS 100247 HAS SOUPS 100247 WITH SCORE 100353.997
AT ITER 4340 NEW BEST:: SOT 265342 SOS 106991 HAS SOPS 106991 HAS SOUS 100227 HAS SOUPS 100227 WITH SCORE 100333.991
AT ITER 4341 NEW BEST:: SOT 265342 SOS 106853 HAS SOPS 106853 HAS SOUS 100116 HAS SOUPS 100116 WITH SCORE 100222.853
AT ITER 4352 NEW BEST:: SOT 265342 SOS 106815 HAS SOPS 106815 HAS SOUS 100097 HAS SOUPS 100097 WITH SCORE 100203.815
AT ITER 4361 NEW BEST:: SOT 265313 SOS 106786 HAS SOPS 106786 HAS SOUS 100068 HAS SOUPS 100068 WITH SCORE 100174.786
AT ITER 4371 NEW BEST:: SOT 265223 SOS 106696 HAS SOPS 106696 HAS SOUS 99978 HAS SOUPS 99978 WITH SCORE 100084.696
AT ITER 4379 NEW BEST:: SOT 265219 SOS 106662 HAS SOPS 106662 HAS SOUS 99937 HAS SOUPS 99937 WITH SCORE 100043.662
AT ITER 4390 NEW BEST:: SOT 265203 SOS 106646 HAS SOPS 106646 HAS SOUS 99921 HAS SOUPS 99921 WITH SCORE 100027.646
AT ITER 4401 NEW BEST:: SOT 265172 SOS 106553 HAS SOPS 106553 HAS SOUS 99852 HAS SOUPS 99852 WITH SCORE 99958.553
AT ITER 4402 NEW BEST:: SOT 265120 SOS 106423 HAS SOPS 106423 HAS SOUS 99783 HAS SOUPS 99783 WITH SCORE 99889.423
AT ITER 4403 NEW BEST:: SOT 265078 SOS 106360 HAS SOPS 106360 HAS SOUS 99720 HAS SOUPS 99720 WITH SCORE 99826.36
AT ITER 4407 NEW BEST:: SOT 265056 SOS 106338 HAS SOPS 106338 HAS SOUS 99698 HAS SOUPS 99698 WITH SCORE 99804.338
AT ITER 4408 NEW BEST:: SOT 265025 SOS 106261 HAS SOPS 106261 HAS SOUS 99620 HAS SOUPS 99620 WITH SCORE 99726.261
AT ITER 4420 NEW BEST:: SOT 265019 SOS 106243 HAS SOPS 106243 HAS SOUS 99618 HAS SOUPS 99618 WITH SCORE 99724.243
AT ITER 4421 NEW BEST:: SOT 265017 SOS 106241 HAS SOPS 106241 HAS SOUS 99600 HAS SOUPS 99600 WITH SCORE 99706.241
AT ITER 4422 NEW BEST:: SOT 265013 SOS 106466 HAS SOPS 106466 HAS SOUS 99576 HAS SOUPS 99576 WITH SCORE 99682.466
AT ITER 4441 NEW BEST:: SOT 265001 SOS 106557 HAS SOPS 106557 HAS SOUS 99554 HAS SOUPS 99554 WITH SCORE 99660.557
AT ITER 4458 NEW BEST:: SOT 264967 SOS 106523 HAS SOPS 106523 HAS SOUS 99520 HAS SOUPS 99520 WITH SCORE 99626.523
AT ITER 4473 NEW BEST:: SOT 264929 SOS 106447 HAS SOPS 106447 HAS SOUS 99444 HAS SOUPS 99444 WITH SCORE 99550.447
AT ITER 4480 NEW BEST:: SOT 265000 SOS 106435 HAS SOPS 106435 HAS SOUS 99432 HAS SOUPS 99432 WITH SCORE 99538.435
AT ITER 4488 NEW BEST:: SOT 264905 SOS 106250 HAS SOPS 106250 HAS SOUS 99262 HAS SOUPS 99262 WITH SCORE 99368.25
AT ITER 4492 NEW BEST:: SOT 264689 SOS 105789 HAS SOPS 105789 HAS SOUS 98801 HAS SOUPS 98801 WITH SCORE 98906.789
AT ITER 4499 NEW BEST:: SOT 264711 SOS 105551 HAS SOPS 105551 HAS SOUS 98655 HAS SOUPS 98655 WITH SCORE 98760.551
AT ITER 4505 NEW BEST:: SOT 264702 SOS 105533 HAS SOPS 105533 HAS SOUS 98637 HAS SOUPS 98637 WITH SCORE 98742.533
AT ITER 4507 NEW BEST:: SOT 264702 SOS 105557 HAS SOPS 105557 HAS SOUS 98631 HAS SOUPS 98631 WITH SCORE 98736.557
AT ITER 4516 NEW BEST:: SOT 264695 SOS 105522 HAS SOPS 105522 HAS SOUS 98617 HAS SOUPS 98617 WITH SCORE 98722.522
AT ITER 4527 NEW BEST:: SOT 264669 SOS 105513 HAS SOPS 105513 HAS SOUS 98608 HAS SOUPS 98608 WITH SCORE 98713.513
AT ITER 4528 NEW BEST:: SOT 264657 SOS 105481 HAS SOPS 105481 HAS SOUS 98576 HAS SOUPS 98576 WITH SCORE 98681.481
AT ITER 4531 NEW BEST:: SOT 264625 SOS 105424 HAS SOPS 105424 HAS SOUS 98519 HAS SOUPS 98519 WITH SCORE 98624.424
AT ITER 4534 NEW BEST:: SOT 264591 SOS 105390 HAS SOPS 105390 HAS SOUS 98485 HAS SOUPS 98485 WITH SCORE 98590.39
AT ITER 4541 NEW BEST:: SOT 264591 SOS 105458 HAS SOPS 105458 HAS SOUS 98457 HAS SOUPS 98457 WITH SCORE 98562.458
AT ITER 4549 NEW BEST:: SOT 264591 SOS 105216 HAS SOPS 105216 HAS SOUS 98345 HAS SOUPS 98345 WITH SCORE 98450.216
AT ITER 4555 NEW BEST:: SOT 264591 SOS 105043 HAS SOPS 105043 HAS SOUS 98172 HAS SOUPS 98172 WITH SCORE 98277.043
AT ITER 4556 NEW BEST:: SOT 264591 SOS 105035 HAS SOPS 105035 HAS SOUS 98172 HAS SOUPS 98172 WITH SCORE 98277.035
AT ITER 4572 NEW BEST:: SOT 264534 SOS 104978 HAS SOPS 104978 HAS SOUS 98115 HAS SOUPS 98115 WITH SCORE 98219.978
AT ITER 4582 NEW BEST:: SOT 264247 SOS 104595 HAS SOPS 104595 HAS SOUS 97843 HAS SOUPS 97843 WITH SCORE 97947.595
AT ITER 4604 NEW BEST:: SOT 264077 SOS 104473 HAS SOPS 104473 HAS SOUS 97705 HAS SOUPS 97705 WITH SCORE 97809.473
AT ITER 4620 NEW BEST:: SOT 264077 SOS 104323 HAS SOPS 104323 HAS SOUS 97705 HAS SOUPS 97705 WITH SCORE 97809.323
AT ITER 4639 NEW BEST:: SOT 263962 SOS 103941 HAS SOPS 103941 HAS SOUS 97448 HAS SOUPS 97448 WITH SCORE 97551.941
AT ITER 4643 NEW BEST:: SOT 263953 SOS 103866 HAS SOPS 103866 HAS SOUS 97373 HAS SOUPS 97373 WITH SCORE 97476.866
AT ITER 4644 NEW BEST:: SOT 263953 SOS 103866 HAS SOPS 103866 HAS SOUS 97370 HAS SOUPS 97370 WITH SCORE 97473.866
AT ITER 4651 NEW BEST:: SOT 263952 SOS 103823 HAS SOPS 103823 HAS SOUS 97327 HAS SOUPS 97327 WITH SCORE 97430.823
AT ITER 4655 NEW BEST:: SOT 263903 SOS 103506 HAS SOPS 103506 HAS SOUS 97010 HAS SOUPS 97010 WITH SCORE 97113.506
AT ITER 4658 NEW BEST:: SOT 263903 SOS 103506 HAS SOPS 103506 HAS SOUS 96980 HAS SOUPS 96980 WITH SCORE 97083.506
AT ITER 4667 NEW BEST:: SOT 263896 SOS 103492 HAS SOPS 103492 HAS SOUS 96966 HAS SOUPS 96966 WITH SCORE 97069.492
AT ITER 4686 NEW BEST:: SOT 263923 SOS 103519 HAS SOPS 103519 HAS SOUS 96921 HAS SOUPS 96921 WITH SCORE 97024.519
AT ITER 4700 NEW BEST:: SOT 263839 SOS 103435 HAS SOPS 103435 HAS SOUS 96868 HAS SOUPS 96868 WITH SCORE 96971.435
AT ITER 4715 NEW BEST:: SOT 263708 SOS 103347 HAS SOPS 103347 HAS SOUS 96780 HAS SOUPS 96780 WITH SCORE 96883.347
AT ITER 4744 NEW BEST:: SOT 263708 SOS 103333 HAS SOPS 103333 HAS SOUS 96780 HAS SOUPS 96780 WITH SCORE 96883.333
AT ITER 4756 NEW BEST:: SOT 263618 SOS 103135 HAS SOPS 103135 HAS SOUS 96620 HAS SOUPS 96620 WITH SCORE 96723.135
AT ITER 4757 NEW BEST:: SOT 263615 SOS 103132 HAS SOPS 103132 HAS SOUS 96617 HAS SOUPS 96617 WITH SCORE 96720.132
AT ITER 4771 NEW BEST:: SOT 263525 SOS 102947 HAS SOPS 102947 HAS SOUS 96432 HAS SOUPS 96432 WITH SCORE 96534.947
AT ITER 4779 NEW BEST:: SOT 263525 SOS 102921 HAS SOPS 102921 HAS SOUS 96430 HAS SOUPS 96430 WITH SCORE 96532.921
AT ITER 4792 NEW BEST:: SOT 263525 SOS 102891 HAS SOPS 102891 HAS SOUS 96400 HAS SOUPS 96400 WITH SCORE 96502.891
AT ITER 4800 NEW BEST:: SOT 263518 SOS 102884 HAS SOPS 102884 HAS SOUS 96395 HAS SOUPS 96395 WITH SCORE 96497.884
AT ITER 4807 NEW BEST:: SOT 263518 SOS 102855 HAS SOPS 102855 HAS SOUS 96366 HAS SOUPS 96366 WITH SCORE 96468.855
AT ITER 4809 NEW BEST:: SOT 263514 SOS 102851 HAS SOPS 102851 HAS SOUS 96362 HAS SOUPS 96362 WITH SCORE 96464.851
AT ITER 4810 NEW BEST:: SOT 263504 SOS 102821 HAS SOPS 102821 HAS SOUS 96342 HAS SOUPS 96342 WITH SCORE 96444.821
AT ITER 4814 NEW BEST:: SOT 263504 SOS 102662 HAS SOPS 102662 HAS SOUS 96323 HAS SOUPS 96323 WITH SCORE 96425.662
AT ITER 4829 NEW BEST:: SOT 263388 SOS 102474 HAS SOPS 102474 HAS SOUS 96249 HAS SOUPS 96249 WITH SCORE 96351.474
AT ITER 4841 NEW BEST:: SOT 263322 SOS 102502 HAS SOPS 102502 HAS SOUS 96224 HAS SOUPS 96224 WITH SCORE 96326.502
AT ITER 4844 NEW BEST:: SOT 263322 SOS 102468 HAS SOPS 102468 HAS SOUS 96207 HAS SOUPS 96207 WITH SCORE 96309.468
AT ITER 4850 NEW BEST:: SOT 263322 SOS 102396 HAS SOPS 102396 HAS SOUS 96171 HAS SOUPS 96171 WITH SCORE 96273.396
AT ITER 4858 NEW BEST:: SOT 263322 SOS 102428 HAS SOPS 102428 HAS SOUS 96139 HAS SOUPS 96139 WITH SCORE 96241.428
AT ITER 4859 NEW BEST:: SOT 263322 SOS 102420 HAS SOPS 102420 HAS SOUS 96131 HAS SOUPS 96131 WITH SCORE 96233.42
AT ITER 4866 NEW BEST:: SOT 263345 SOS 102038 HAS SOPS 102038 HAS SOUS 96050 HAS SOUPS 96050 WITH SCORE 96152.038
AT ITER 4872 NEW BEST:: SOT 263393 SOS 101912 HAS SOPS 101912 HAS SOUS 95953 HAS SOUPS 95953 WITH SCORE 96054.912
AT ITER 4890 NEW BEST:: SOT 263281 SOS 101800 HAS SOPS 101800 HAS SOUS 95828 HAS SOUPS 95828 WITH SCORE 95929.8
AT ITER 4905 NEW BEST:: SOT 263278 SOS 101749 HAS SOPS 101749 HAS SOUS 95819 HAS SOUPS 95819 WITH SCORE 95920.749
AT ITER 4939 NEW BEST:: SOT 263260 SOS 101711 HAS SOPS 101711 HAS SOUS 95783 HAS SOUPS 95783 WITH SCORE 95884.711
AT ITER 4942 NEW BEST:: SOT 263286 SOS 101673 HAS SOPS 101673 HAS SOUS 95717 HAS SOUPS 95717 WITH SCORE 95818.673
AT ITER 4961 NEW BEST:: SOT 263171 SOS 101558 HAS SOPS 101558 HAS SOUS 95602 HAS SOUPS 95602 WITH SCORE 95703.558
AT ITER 4966 NEW BEST:: SOT 263171 SOS 101492 HAS SOPS 101492 HAS SOUS 95536 HAS SOUPS 95536 WITH SCORE 95637.492
AT ITER 4974 NEW BEST:: SOT 263228 SOS 101240 HAS SOPS 101240 HAS SOUS 95348 HAS SOUPS 95348 WITH SCORE 95449.24
AT ITER 4992 NEW BEST:: SOT 263228 SOS 101210 HAS SOPS 101210 HAS SOUS 95304 HAS SOUPS 95304 WITH SCORE 95405.21
AT ITER 4995 NEW BEST:: SOT 263237 SOS 101201 HAS SOPS 101201 HAS SOUS 95153 HAS SOUPS 95153 WITH SCORE 95254.201
AT ITER 4997 NEW BEST:: SOT 263196 SOS 101103 HAS SOPS 101103 HAS SOUS 95055 HAS SOUPS 95055 WITH SCORE 95156.103
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-00 (AG( potential( (tk(P537)) <= (tk(P736)) )))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-01 ( ( (EF(( potential( ( 2 ) <= (tk(P562)) ) | potential( ( 3 ) <= (tk(P698)) ) ))) & (EF(potential( ( 2 ) <= (tk(P234)) ))) ) | ( (AX( potential( (tk(P588)) <= (tk(P57)) ))) & (AX( (! potential( (tk(P113)) <= (tk(P725)) )))) ) )
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-02 (EF(potential( ( 3 ) <= (tk(P542)) )))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-03 (AG( (! (AF(potential( ( 2 ) <= (tk(P759)) ))))))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-04 (AG( (AX( (! potential( ( 3 ) <= (tk(P82)) ))))))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-05 (AG( potential( (tk(P225)) <= (tk(P462)) )))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-06 (AG( (! (AX( potential( (tk(P574)) <= (tk(P211)) ))))))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-07 ( potential( ( 1 ) <= (tk(P489)) ) | (EU( (! potential( ( 1 ) <= (tk(P499)) )),( potential( ( 3 ) <= (tk(P571)) ) | potential( ( 3 ) <= (tk(P349)) ) ) )) )
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-08 (EF(( (EG( potential( ( 1 ) <= (tk(P97)) ))) | (AG( potential( ( 1 ) <= (tk(P349)) ))) )))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-09 (EU( (AX( potential( (tk(P109)) <= (tk(P242)) ))),(AG( potential( ( 1 ) <= (tk(P633)) ))) ))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-10 ( ( (AU( potential( (tk(P76)) <= (tk(P4)) ),potential( (tk(P700)) <= (tk(P175)) ) )) | ( ( (! potential( (tk(P113)) <= (tk(P122)) )) & ( potential( ( 1 ) <= (tk(P151)) ) & potential( (tk(P524)) <= (tk(P676)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P604)) ) & potential( (tk(P717)) <= (tk(P153)) ) ) & ( potential( (tk(P440)) <= (tk(P345)) ) & potential( ( 2 ) <= (tk(P478)) ) ) ) ) ) & (EF(( ( potential( ( 3 ) <= (tk(P423)) ) & potential( (tk(P450)) <= (tk(P381)) ) ) & ( potential( (tk(P386)) <= (tk(P502)) ) & potential( (tk(P726)) <= (tk(P700)) ) ) ))) )
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-11 (EF((EU( potential( ( 1 ) <= (tk(P57)) ),potential( ( 3 ) <= (tk(P628)) ) ))))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-12 (EU( ( ( potential( ( 2 ) <= (tk(P730)) ) | potential( (tk(P285)) <= (tk(P422)) ) ) | ( potential( ( 1 ) <= (tk(P447)) ) & potential( ( 3 ) <= (tk(P156)) ) ) ),(AF(potential( ( 3 ) <= (tk(P249)) ))) ))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-13 (AG( ( (AX( potential( ( 1 ) <= (tk(P728)) ))) | ( (! potential( ( 3 ) <= (tk(P149)) )) | ( potential( ( 3 ) <= (tk(P241)) ) | potential( ( 1 ) <= (tk(P340)) ) ) ) )))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-14 (EU( potential( (tk(P710)) <= (tk(P531)) ),(EG( potential( ( 1 ) <= (tk(P262)) ))) ))
PROPERTY: ShieldIIPt-PT-040A-CTLCardinality-15 (EF(( ( ( potential( (tk(P174)) <= (tk(P306)) ) & potential( (tk(P560)) <= (tk(P289)) ) ) | ( potential( ( 3 ) <= (tk(P523)) ) & potential( ( 1 ) <= (tk(P186)) ) ) ) & (AG( potential( (tk(P216)) <= (tk(P697)) ))) )))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-040A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-040A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469300347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-040A.tgz
mv ShieldIIPt-PT-040A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;