About the Execution of Smart+red for AutoFlight-PT-24a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1622.976 | 301590.00 | 314860.00 | 27.50 | 1.6997E+0032 1.5091E+0034 1 147 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813600300488.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AutoFlight-PT-24a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300488
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.7K Feb 25 18:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 18:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 18:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 18:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 18:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 18:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 169K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678736231129
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-24a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:37:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:37:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:37:13] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-13 19:37:13] [INFO ] Transformed 607 places.
[2023-03-13 19:37:13] [INFO ] Transformed 605 transitions.
[2023-03-13 19:37:13] [INFO ] Found NUPN structural information;
[2023-03-13 19:37:13] [INFO ] Parsed PT model containing 607 places and 605 transitions and 1940 arcs in 152 ms.
[2023-03-13 19:37:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 607 places, 605 transitions and 1940 arcs took 8 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 607 places, 605 transitions, 1940 arcs.
AT ITER 0 NEW BEST:: SOT 279551 SOS 182054 HAS SOPS 182054 HAS SOUS 126611 HAS SOUPS 126611 WITH SCORE 126793.054
AT ITER 7 NEW BEST:: SOT 277803 SOS 179859 HAS SOPS 179859 HAS SOUS 125424 HAS SOUPS 125424 WITH SCORE 125603.859
AT ITER 9 NEW BEST:: SOT 277762 SOS 179817 HAS SOPS 179817 HAS SOUS 125382 HAS SOUPS 125382 WITH SCORE 125561.817
AT ITER 10 NEW BEST:: SOT 277762 SOS 179651 HAS SOPS 179651 HAS SOUS 125289 HAS SOUPS 125289 WITH SCORE 125468.651
AT ITER 11 NEW BEST:: SOT 276092 SOS 177981 HAS SOPS 177981 HAS SOUS 123969 HAS SOUPS 123969 WITH SCORE 124146.981
AT ITER 12 NEW BEST:: SOT 274185 SOS 175427 HAS SOPS 175427 HAS SOUS 122441 HAS SOUPS 122441 WITH SCORE 122616.427
AT ITER 14 NEW BEST:: SOT 274212 SOS 174475 HAS SOPS 174475 HAS SOUS 122163 HAS SOUPS 122163 WITH SCORE 122337.475
AT ITER 19 NEW BEST:: SOT 274212 SOS 174265 HAS SOPS 174265 HAS SOUS 122023 HAS SOUPS 122023 WITH SCORE 122197.265
AT ITER 23 NEW BEST:: SOT 274212 SOS 174116 HAS SOPS 174116 HAS SOUS 121975 HAS SOUPS 121975 WITH SCORE 122149.116
AT ITER 24 NEW BEST:: SOT 272523 SOS 171698 HAS SOPS 171698 HAS SOUS 120583 HAS SOUPS 120583 WITH SCORE 120754.698
AT ITER 28 NEW BEST:: SOT 272173 SOS 171782 HAS SOPS 171348 HAS SOUS 120391 HAS SOUPS 120233 WITH SCORE 120404.782
AT ITER 29 NEW BEST:: SOT 271634 SOS 171242 HAS SOPS 170808 HAS SOUS 120041 HAS SOUPS 119883 WITH SCORE 120054.242
AT ITER 30 NEW BEST:: SOT 270265 SOS 169873 HAS SOPS 169439 HAS SOUS 119146 HAS SOUPS 118988 WITH SCORE 119157.873
AT ITER 33 NEW BEST:: SOT 270265 SOS 169500 HAS SOPS 169066 HAS SOUS 118935 HAS SOUPS 118777 WITH SCORE 118946.5
AT ITER 35 NEW BEST:: SOT 268388 SOS 166657 HAS SOPS 166223 HAS SOUS 117233 HAS SOUPS 117075 WITH SCORE 117241.657
AT ITER 38 NEW BEST:: SOT 268192 SOS 166461 HAS SOPS 166027 HAS SOUS 117037 HAS SOUPS 116879 WITH SCORE 117045.461
AT ITER 40 NEW BEST:: SOT 267567 SOS 165836 HAS SOPS 165402 HAS SOUS 116522 HAS SOUPS 116364 WITH SCORE 116529.836
AT ITER 44 NEW BEST:: SOT 267464 SOS 165733 HAS SOPS 165299 HAS SOUS 116507 HAS SOUPS 116349 WITH SCORE 116514.733
AT ITER 47 NEW BEST:: SOT 266197 SOS 163805 HAS SOPS 163371 HAS SOUS 115437 HAS SOUPS 115279 WITH SCORE 115442.805
AT ITER 52 NEW BEST:: SOT 264979 SOS 162587 HAS SOPS 162153 HAS SOUS 114625 HAS SOUPS 114467 WITH SCORE 114629.587
AT ITER 55 NEW BEST:: SOT 264625 SOS 162823 HAS SOPS 161799 HAS SOUS 114231 HAS SOUPS 113876 WITH SCORE 114038.823
AT ITER 57 NEW BEST:: SOT 263904 SOS 162101 HAS SOPS 161077 HAS SOUS 113779 HAS SOUPS 113424 WITH SCORE 113586.101
AT ITER 65 NEW BEST:: SOT 263084 SOS 160646 HAS SOPS 159622 HAS SOUS 112900 HAS SOUPS 112545 WITH SCORE 112705.646
AT ITER 66 NEW BEST:: SOT 262406 SOS 159968 HAS SOPS 158944 HAS SOUS 112475 HAS SOUPS 112120 WITH SCORE 112279.968
AT ITER 67 NEW BEST:: SOT 262406 SOS 159985 HAS SOPS 158961 HAS SOUS 112405 HAS SOUPS 112050 WITH SCORE 112209.985
AT ITER 71 NEW BEST:: SOT 262406 SOS 159671 HAS SOPS 158647 HAS SOUS 112355 HAS SOUPS 112000 WITH SCORE 112159.671
AT ITER 73 NEW BEST:: SOT 261614 SOS 158879 HAS SOPS 157855 HAS SOUS 111981 HAS SOUPS 111626 WITH SCORE 111784.879
AT ITER 75 NEW BEST:: SOT 261356 SOS 159283 HAS SOPS 157597 HAS SOUS 111707 HAS SOUPS 111137 WITH SCORE 111296.283
AT ITER 76 NEW BEST:: SOT 261393 SOS 158419 HAS SOPS 156521 HAS SOUS 111132 HAS SOUPS 110350 WITH SCORE 110508.419
AT ITER 77 NEW BEST:: SOT 261199 SOS 158225 HAS SOPS 156327 HAS SOUS 110871 HAS SOUPS 110089 WITH SCORE 110247.225
AT ITER 81 NEW BEST:: SOT 261185 SOS 157308 HAS SOPS 155333 HAS SOUS 110252 HAS SOUPS 109393 WITH SCORE 109550.308
AT ITER 85 NEW BEST:: SOT 260775 SOS 156897 HAS SOPS 154922 HAS SOUS 110020 HAS SOUPS 109161 WITH SCORE 109317.897
AT ITER 91 NEW BEST:: SOT 260665 SOS 156786 HAS SOPS 154811 HAS SOUS 109799 HAS SOUPS 108940 WITH SCORE 109096.786
AT ITER 92 NEW BEST:: SOT 260664 SOS 156784 HAS SOPS 154809 HAS SOUS 109797 HAS SOUPS 108938 WITH SCORE 109094.784
AT ITER 94 NEW BEST:: SOT 260486 SOS 156751 HAS SOPS 154776 HAS SOUS 109764 HAS SOUPS 108905 WITH SCORE 109061.751
AT ITER 95 NEW BEST:: SOT 259511 SOS 155775 HAS SOPS 153800 HAS SOUS 109174 HAS SOUPS 108315 WITH SCORE 108470.775
AT ITER 101 NEW BEST:: SOT 259511 SOS 155318 HAS SOPS 153343 HAS SOUS 108884 HAS SOUPS 108025 WITH SCORE 108180.318
AT ITER 103 NEW BEST:: SOT 259448 SOS 155164 HAS SOPS 153145 HAS SOUS 108730 HAS SOUPS 107827 WITH SCORE 107982.164
AT ITER 104 NEW BEST:: SOT 259101 SOS 154817 HAS SOPS 152797 HAS SOUS 108591 HAS SOUPS 107688 WITH SCORE 107842.817
AT ITER 106 NEW BEST:: SOT 259100 SOS 154816 HAS SOPS 152796 HAS SOUS 108510 HAS SOUPS 107607 WITH SCORE 107761.816
AT ITER 110 NEW BEST:: SOT 259062 SOS 154777 HAS SOPS 152757 HAS SOUS 108471 HAS SOUPS 107568 WITH SCORE 107722.777
AT ITER 114 NEW BEST:: SOT 258708 SOS 154924 HAS SOPS 152402 HAS SOUS 108076 HAS SOUPS 106998 WITH SCORE 107152.924
AT ITER 116 NEW BEST:: SOT 258658 SOS 154366 HAS SOPS 151844 HAS SOUS 107879 HAS SOUPS 106801 WITH SCORE 106955.366
AT ITER 117 NEW BEST:: SOT 258836 SOS 153625 HAS SOPS 150928 HAS SOUS 107434 HAS SOUPS 106181 WITH SCORE 106334.625
AT ITER 123 NEW BEST:: SOT 258836 SOS 153496 HAS SOPS 150799 HAS SOUS 107369 HAS SOUPS 106116 WITH SCORE 106269.496
AT ITER 124 NEW BEST:: SOT 258853 SOS 152536 HAS SOPS 149839 HAS SOUS 107101 HAS SOUPS 105848 WITH SCORE 106000.536
AT ITER 127 NEW BEST:: SOT 258853 SOS 152535 HAS SOPS 149838 HAS SOUS 107100 HAS SOUPS 105847 WITH SCORE 105999.535
AT ITER 137 NEW BEST:: SOT 258853 SOS 152309 HAS SOPS 149612 HAS SOUS 106987 HAS SOUPS 105734 WITH SCORE 105886.309
AT ITER 140 NEW BEST:: SOT 258703 SOS 152159 HAS SOPS 149462 HAS SOUS 106902 HAS SOUPS 105649 WITH SCORE 105801.159
AT ITER 142 NEW BEST:: SOT 258592 SOS 151382 HAS SOPS 148597 HAS SOUS 106402 HAS SOUPS 105061 WITH SCORE 105212.382
AT ITER 144 NEW BEST:: SOT 258138 SOS 150928 HAS SOPS 148143 HAS SOUS 106172 HAS SOUPS 104831 WITH SCORE 104981.928
AT ITER 150 NEW BEST:: SOT 257693 SOS 150483 HAS SOPS 147698 HAS SOUS 105768 HAS SOUPS 104427 WITH SCORE 104577.483
AT ITER 151 NEW BEST:: SOT 257521 SOS 150777 HAS SOPS 147526 HAS SOUS 105762 HAS SOUPS 104255 WITH SCORE 104405.777
AT ITER 152 NEW BEST:: SOT 257283 SOS 149709 HAS SOPS 146344 HAS SOUS 105057 HAS SOUPS 103436 WITH SCORE 103585.709
AT ITER 154 NEW BEST:: SOT 257146 SOS 148732 HAS SOPS 145283 HAS SOUS 104445 HAS SOUPS 102740 WITH SCORE 102888.732
AT ITER 161 NEW BEST:: SOT 257186 SOS 148330 HAS SOPS 144881 HAS SOUS 104221 HAS SOUPS 102516 WITH SCORE 102664.33
AT ITER 163 NEW BEST:: SOT 257130 SOS 148139 HAS SOPS 144669 HAS SOUS 104108 HAS SOUPS 102382 WITH SCORE 102530.139
AT ITER 164 NEW BEST:: SOT 257085 SOS 148049 HAS SOPS 144624 HAS SOUS 104018 HAS SOUPS 102337 WITH SCORE 102485.049
AT ITER 172 NEW BEST:: SOT 255450 SOS 145587 HAS SOPS 142162 HAS SOUS 102698 HAS SOUPS 101017 WITH SCORE 101162.587
AT ITER 177 NEW BEST:: SOT 255404 SOS 145541 HAS SOPS 142116 HAS SOUS 102686 HAS SOUPS 101005 WITH SCORE 101150.541
AT ITER 182 NEW BEST:: SOT 255404 SOS 145517 HAS SOPS 142092 HAS SOUS 102662 HAS SOUPS 100981 WITH SCORE 101126.517
AT ITER 183 NEW BEST:: SOT 255232 SOS 145720 HAS SOPS 141920 HAS SOUS 102633 HAS SOUPS 100809 WITH SCORE 100954.72
AT ITER 184 NEW BEST:: SOT 255178 SOS 145696 HAS SOPS 141866 HAS SOUS 102609 HAS SOUPS 100755 WITH SCORE 100900.696
AT ITER 185 NEW BEST:: SOT 254920 SOS 146096 HAS SOPS 141608 HAS SOUS 102565 HAS SOUPS 100497 WITH SCORE 100643.096
AT ITER 186 NEW BEST:: SOT 254774 SOS 145949 HAS SOPS 141461 HAS SOUS 102418 HAS SOUPS 100350 WITH SCORE 100495.949
AT ITER 187 NEW BEST:: SOT 254576 SOS 144719 HAS SOPS 140406 HAS SOUS 101579 HAS SOUPS 99686 WITH SCORE 99830.719
AT ITER 189 NEW BEST:: SOT 253404 SOS 143547 HAS SOPS 139137 HAS SOUS 100697 HAS SOUPS 98707 WITH SCORE 98850.547
AT ITER 191 NEW BEST:: SOT 253186 SOS 142491 HAS SOPS 138081 HAS SOUS 99966 HAS SOUPS 97976 WITH SCORE 98118.491
AT ITER 192 NEW BEST:: SOT 253186 SOS 142490 HAS SOPS 138080 HAS SOUS 99965 HAS SOUPS 97975 WITH SCORE 98117.49
AT ITER 195 NEW BEST:: SOT 253186 SOS 142025 HAS SOPS 137615 HAS SOUS 99738 HAS SOUPS 97748 WITH SCORE 97890.025
AT ITER 201 NEW BEST:: SOT 253186 SOS 141582 HAS SOPS 137172 HAS SOUS 99488 HAS SOUPS 97498 WITH SCORE 97639.582
AT ITER 204 NEW BEST:: SOT 252952 SOS 141347 HAS SOPS 136937 HAS SOUS 99355 HAS SOUPS 97365 WITH SCORE 97506.347
AT ITER 205 NEW BEST:: SOT 251740 SOS 140275 HAS SOPS 135865 HAS SOUS 98804 HAS SOUPS 96814 WITH SCORE 96954.275
AT ITER 209 NEW BEST:: SOT 251393 SOS 139928 HAS SOPS 135518 HAS SOUS 98457 HAS SOUPS 96467 WITH SCORE 96606.928
AT ITER 215 NEW BEST:: SOT 251154 SOS 139367 HAS SOPS 134957 HAS SOUS 98135 HAS SOUPS 96145 WITH SCORE 96284.367
AT ITER 218 NEW BEST:: SOT 250878 SOS 139091 HAS SOPS 134681 HAS SOUS 97859 HAS SOUPS 95869 WITH SCORE 96008.091
AT ITER 223 NEW BEST:: SOT 249788 SOS 138001 HAS SOPS 133591 HAS SOUS 97177 HAS SOUPS 95187 WITH SCORE 95325.001
AT ITER 224 NEW BEST:: SOT 249667 SOS 137880 HAS SOPS 133470 HAS SOUS 97056 HAS SOUPS 95066 WITH SCORE 95203.88
AT ITER 231 NEW BEST:: SOT 250043 SOS 137809 HAS SOPS 133399 HAS SOUS 96985 HAS SOUPS 94995 WITH SCORE 95132.809
AT ITER 232 NEW BEST:: SOT 250246 SOS 137556 HAS SOPS 133146 HAS SOUS 96847 HAS SOUPS 94857 WITH SCORE 94994.556
AT ITER 236 NEW BEST:: SOT 250246 SOS 137519 HAS SOPS 133109 HAS SOUS 96847 HAS SOUPS 94857 WITH SCORE 94994.519
AT ITER 238 NEW BEST:: SOT 250245 SOS 138288 HAS SOPS 133107 HAS SOUS 96830 HAS SOUPS 94597 WITH SCORE 94735.288
AT ITER 242 NEW BEST:: SOT 249725 SOS 137768 HAS SOPS 132587 HAS SOUS 96550 HAS SOUPS 94317 WITH SCORE 94454.768
AT ITER 248 NEW BEST:: SOT 249515 SOS 137628 HAS SOPS 132447 HAS SOUS 96499 HAS SOUPS 94266 WITH SCORE 94403.628
AT ITER 253 NEW BEST:: SOT 249559 SOS 137671 HAS SOPS 132490 HAS SOUS 96415 HAS SOUPS 94182 WITH SCORE 94319.671
AT ITER 256 NEW BEST:: SOT 249439 SOS 137511 HAS SOPS 132246 HAS SOUS 96277 HAS SOUPS 93960 WITH SCORE 94097.511
AT ITER 258 NEW BEST:: SOT 249416 SOS 137541 HAS SOPS 132276 HAS SOUS 96211 HAS SOUPS 93894 WITH SCORE 94031.541
AT ITER 259 NEW BEST:: SOT 249416 SOS 137407 HAS SOPS 132142 HAS SOUS 96210 HAS SOUPS 93893 WITH SCORE 94030.407
AT ITER 262 NEW BEST:: SOT 249288 SOS 137279 HAS SOPS 132014 HAS SOUS 96146 HAS SOUPS 93829 WITH SCORE 93966.279
AT ITER 264 NEW BEST:: SOT 248517 SOS 136507 HAS SOPS 131242 HAS SOUS 95516 HAS SOUPS 93199 WITH SCORE 93335.507
AT ITER 267 NEW BEST:: SOT 248636 SOS 136626 HAS SOPS 131361 HAS SOUS 95315 HAS SOUPS 92998 WITH SCORE 93134.626
AT ITER 273 NEW BEST:: SOT 248636 SOS 136625 HAS SOPS 131360 HAS SOUS 95314 HAS SOUPS 92997 WITH SCORE 93133.625
AT ITER 275 NEW BEST:: SOT 247169 SOS 134569 HAS SOPS 129304 HAS SOUS 94103 HAS SOUPS 91786 WITH SCORE 91920.569
AT ITER 276 NEW BEST:: SOT 246884 SOS 134284 HAS SOPS 129018 HAS SOUS 93988 HAS SOUPS 91671 WITH SCORE 91805.284
AT ITER 279 NEW BEST:: SOT 246884 SOS 134433 HAS SOPS 129167 HAS SOUS 93986 HAS SOUPS 91669 WITH SCORE 91803.433
AT ITER 280 NEW BEST:: SOT 246884 SOS 134301 HAS SOPS 129167 HAS SOUS 93953 HAS SOUPS 91669 WITH SCORE 91803.301
AT ITER 281 NEW BEST:: SOT 245130 SOS 132547 HAS SOPS 127413 HAS SOUS 92877 HAS SOUPS 90593 WITH SCORE 90725.547
AT ITER 282 NEW BEST:: SOT 245130 SOS 132453 HAS SOPS 127319 HAS SOUS 92830 HAS SOUPS 90546 WITH SCORE 90678.453
AT ITER 286 NEW BEST:: SOT 244988 SOS 132311 HAS SOPS 127177 HAS SOUS 92798 HAS SOUPS 90514 WITH SCORE 90646.311
AT ITER 288 NEW BEST:: SOT 244988 SOS 132558 HAS SOPS 127176 HAS SOUS 92797 HAS SOUPS 90451 WITH SCORE 90583.558
AT ITER 295 NEW BEST:: SOT 244988 SOS 132390 HAS SOPS 127008 HAS SOUS 92749 HAS SOUPS 90403 WITH SCORE 90535.39
AT ITER 298 NEW BEST:: SOT 244311 SOS 132171 HAS SOPS 126789 HAS SOUS 92530 HAS SOUPS 90184 WITH SCORE 90316.171
AT ITER 303 NEW BEST:: SOT 244188 SOS 132569 HAS SOPS 126546 HAS SOUS 92491 HAS SOUPS 89941 WITH SCORE 90073.569
AT ITER 305 NEW BEST:: SOT 243949 SOS 132330 HAS SOPS 126307 HAS SOUS 92252 HAS SOUPS 89702 WITH SCORE 89834.33
AT ITER 308 NEW BEST:: SOT 243847 SOS 131613 HAS SOPS 125590 HAS SOUS 91853 HAS SOUPS 89303 WITH SCORE 89434.613
AT ITER 313 NEW BEST:: SOT 243848 SOS 130540 HAS SOPS 124517 HAS SOUS 91608 HAS SOUPS 89058 WITH SCORE 89188.54
AT ITER 318 NEW BEST:: SOT 243596 SOS 130288 HAS SOPS 124264 HAS SOUS 91474 HAS SOUPS 88923 WITH SCORE 89053.288
AT ITER 319 NEW BEST:: SOT 243340 SOS 130377 HAS SOPS 123214 HAS SOUS 91069 HAS SOUPS 88184 WITH SCORE 88314.377
AT ITER 324 NEW BEST:: SOT 242139 SOS 129176 HAS SOPS 122013 HAS SOUS 89515 HAS SOUPS 86630 WITH SCORE 86759.176
AT ITER 325 NEW BEST:: SOT 241452 SOS 127951 HAS SOPS 120788 HAS SOUS 88836 HAS SOUPS 85951 WITH SCORE 86078.951
AT ITER 326 NEW BEST:: SOT 241452 SOS 127950 HAS SOPS 120787 HAS SOUS 88835 HAS SOUPS 85950 WITH SCORE 86077.95
AT ITER 332 NEW BEST:: SOT 240326 SOS 126901 HAS SOPS 119738 HAS SOUS 88322 HAS SOUPS 85437 WITH SCORE 85563.901
AT ITER 339 NEW BEST:: SOT 240326 SOS 127036 HAS SOPS 119333 HAS SOUS 88187 HAS SOUPS 85167 WITH SCORE 85294.036
AT ITER 344 NEW BEST:: SOT 239790 SOS 126170 HAS SOPS 118467 HAS SOUS 87652 HAS SOUPS 84632 WITH SCORE 84758.17
AT ITER 358 NEW BEST:: SOT 238061 SOS 123768 HAS SOPS 116065 HAS SOUS 86278 HAS SOUPS 83258 WITH SCORE 83381.768
AT ITER 367 NEW BEST:: SOT 237828 SOS 123700 HAS SOPS 115832 HAS SOUS 86133 HAS SOUPS 83025 WITH SCORE 83148.7
AT ITER 373 NEW BEST:: SOT 237818 SOS 124107 HAS SOPS 115726 HAS SOUS 86158 HAS SOUPS 82919 WITH SCORE 83043.107
AT ITER 374 NEW BEST:: SOT 237818 SOS 123967 HAS SOPS 115586 HAS SOUS 86105 HAS SOUPS 82866 WITH SCORE 82989.967
AT ITER 379 NEW BEST:: SOT 237818 SOS 124160 HAS SOPS 115007 HAS SOUS 85912 HAS SOUPS 82480 WITH SCORE 82604.16
AT ITER 385 NEW BEST:: SOT 238052 SOS 124084 HAS SOPS 114931 HAS SOUS 85822 HAS SOUPS 82390 WITH SCORE 82514.084
AT ITER 386 NEW BEST:: SOT 238065 SOS 123522 HAS SOPS 114369 HAS SOUS 85666 HAS SOUPS 82234 WITH SCORE 82357.522
AT ITER 388 NEW BEST:: SOT 238064 SOS 123521 HAS SOPS 114368 HAS SOUS 85550 HAS SOUPS 82118 WITH SCORE 82241.521
AT ITER 393 NEW BEST:: SOT 237074 SOS 122798 HAS SOPS 113645 HAS SOUS 85462 HAS SOUPS 82030 WITH SCORE 82152.798
AT ITER 397 NEW BEST:: SOT 237137 SOS 122560 HAS SOPS 113407 HAS SOUS 85330 HAS SOUPS 81898 WITH SCORE 82020.56
AT ITER 399 NEW BEST:: SOT 237071 SOS 122493 HAS SOPS 113340 HAS SOUS 85313 HAS SOUPS 81881 WITH SCORE 82003.493
AT ITER 400 NEW BEST:: SOT 237071 SOS 122313 HAS SOPS 113160 HAS SOUS 85193 HAS SOUPS 81761 WITH SCORE 81883.313
AT ITER 401 NEW BEST:: SOT 236819 SOS 122113 HAS SOPS 112960 HAS SOUS 84987 HAS SOUPS 81555 WITH SCORE 81677.113
AT ITER 409 NEW BEST:: SOT 236735 SOS 122029 HAS SOPS 112876 HAS SOUS 84903 HAS SOUPS 81471 WITH SCORE 81593.029
AT ITER 413 NEW BEST:: SOT 236755 SOS 122067 HAS SOPS 112896 HAS SOUS 84919 HAS SOUPS 81469 WITH SCORE 81591.067
AT ITER 414 NEW BEST:: SOT 236611 SOS 122066 HAS SOPS 112895 HAS SOUS 84774 HAS SOUPS 81324 WITH SCORE 81446.066
AT ITER 429 NEW BEST:: SOT 236191 SOS 121255 HAS SOPS 112084 HAS SOUS 84286 HAS SOUPS 80836 WITH SCORE 80957.255
AT ITER 431 NEW BEST:: SOT 236191 SOS 121281 HAS SOPS 112084 HAS SOUS 83978 HAS SOUPS 80502 WITH SCORE 80623.281
AT ITER 435 NEW BEST:: SOT 236191 SOS 121230 HAS SOPS 112033 HAS SOUS 83978 HAS SOUPS 80502 WITH SCORE 80623.23
AT ITER 441 NEW BEST:: SOT 236153 SOS 121192 HAS SOPS 111995 HAS SOUS 83948 HAS SOUPS 80472 WITH SCORE 80593.192
AT ITER 445 NEW BEST:: SOT 235897 SOS 120558 HAS SOPS 111361 HAS SOUS 83527 HAS SOUPS 80051 WITH SCORE 80171.558
AT ITER 451 NEW BEST:: SOT 235501 SOS 120589 HAS SOPS 111392 HAS SOUS 83360 HAS SOUPS 79884 WITH SCORE 80004.589
AT ITER 453 NEW BEST:: SOT 235500 SOS 120306 HAS SOPS 111109 HAS SOUS 83171 HAS SOUPS 79695 WITH SCORE 79815.306
AT ITER 458 NEW BEST:: SOT 235609 SOS 120300 HAS SOPS 111083 HAS SOUS 83164 HAS SOUPS 79669 WITH SCORE 79789.3
AT ITER 460 NEW BEST:: SOT 235609 SOS 120040 HAS SOPS 110823 HAS SOUS 83093 HAS SOUPS 79598 WITH SCORE 79718.04
AT ITER 461 NEW BEST:: SOT 235311 SOS 119703 HAS SOPS 110473 HAS SOUS 82860 HAS SOUPS 79352 WITH SCORE 79471.703
AT ITER 462 NEW BEST:: SOT 235288 SOS 119586 HAS SOPS 110356 HAS SOUS 82778 HAS SOUPS 79270 WITH SCORE 79389.586
AT ITER 463 NEW BEST:: SOT 235532 SOS 120318 HAS SOPS 110600 HAS SOUS 82778 HAS SOUPS 79148 WITH SCORE 79268.318
AT ITER 468 NEW BEST:: SOT 235383 SOS 120053 HAS SOPS 110271 HAS SOUS 82659 HAS SOUPS 78965 WITH SCORE 79085.053
AT ITER 471 NEW BEST:: SOT 235294 SOS 119964 HAS SOPS 110093 HAS SOUS 82570 HAS SOUPS 78787 WITH SCORE 78906.964
AT ITER 475 NEW BEST:: SOT 235285 SOS 119955 HAS SOPS 110075 HAS SOUS 82561 HAS SOUPS 78769 WITH SCORE 78888.955
AT ITER 483 NEW BEST:: SOT 235293 SOS 119681 HAS SOPS 109801 HAS SOUS 82527 HAS SOUPS 78735 WITH SCORE 78854.681
AT ITER 485 NEW BEST:: SOT 235233 SOS 119621 HAS SOPS 109741 HAS SOUS 82497 HAS SOUPS 78705 WITH SCORE 78824.621
AT ITER 486 NEW BEST:: SOT 235233 SOS 119401 HAS SOPS 109521 HAS SOUS 82497 HAS SOUPS 78705 WITH SCORE 78824.401
AT ITER 488 NEW BEST:: SOT 235119 SOS 119286 HAS SOPS 109406 HAS SOUS 82382 HAS SOUPS 78590 WITH SCORE 78709.286
AT ITER 489 NEW BEST:: SOT 234848 SOS 118266 HAS SOPS 108386 HAS SOUS 81684 HAS SOUPS 77892 WITH SCORE 78010.266
AT ITER 501 NEW BEST:: SOT 234818 SOS 118236 HAS SOPS 108356 HAS SOUS 81654 HAS SOUPS 77862 WITH SCORE 77980.236
AT ITER 506 NEW BEST:: SOT 234736 SOS 118109 HAS SOPS 108229 HAS SOUS 81650 HAS SOUPS 77858 WITH SCORE 77976.109
AT ITER 513 NEW BEST:: SOT 234536 SOS 117247 HAS SOPS 107367 HAS SOUS 81296 HAS SOUPS 77504 WITH SCORE 77621.247
AT ITER 514 NEW BEST:: SOT 234447 SOS 117059 HAS SOPS 107179 HAS SOUS 81295 HAS SOUPS 77503 WITH SCORE 77620.059
AT ITER 520 NEW BEST:: SOT 234162 SOS 117039 HAS SOPS 107121 HAS SOUS 81275 HAS SOUPS 77445 WITH SCORE 77562.039
AT ITER 532 NEW BEST:: SOT 234143 SOS 117020 HAS SOPS 107102 HAS SOUS 81256 HAS SOUPS 77426 WITH SCORE 77543.02
AT ITER 533 NEW BEST:: SOT 234143 SOS 116671 HAS SOPS 106753 HAS SOUS 81071 HAS SOUPS 77241 WITH SCORE 77357.671
AT ITER 536 NEW BEST:: SOT 234143 SOS 116578 HAS SOPS 106660 HAS SOUS 81071 HAS SOUPS 77241 WITH SCORE 77357.578
AT ITER 539 NEW BEST:: SOT 234143 SOS 116249 HAS SOPS 106331 HAS SOUS 80998 HAS SOUPS 77168 WITH SCORE 77284.249
AT ITER 542 NEW BEST:: SOT 233700 SOS 115594 HAS SOPS 105888 HAS SOUS 80582 HAS SOUPS 76964 WITH SCORE 77079.594
AT ITER 543 NEW BEST:: SOT 233675 SOS 115551 HAS SOPS 105863 HAS SOUS 80539 HAS SOUPS 76939 WITH SCORE 77054.551
AT ITER 546 NEW BEST:: SOT 233935 SOS 115391 HAS SOPS 105586 HAS SOUS 80407 HAS SOUPS 76690 WITH SCORE 76805.391
AT ITER 550 NEW BEST:: SOT 233270 SOS 114726 HAS SOPS 104921 HAS SOUS 80008 HAS SOUPS 76291 WITH SCORE 76405.726
AT ITER 555 NEW BEST:: SOT 233124 SOS 114579 HAS SOPS 104774 HAS SOUS 79861 HAS SOUPS 76144 WITH SCORE 76258.579
AT ITER 560 NEW BEST:: SOT 233057 SOS 114361 HAS SOPS 104594 HAS SOUS 79756 HAS SOUPS 76077 WITH SCORE 76191.361
AT ITER 571 NEW BEST:: SOT 233057 SOS 114169 HAS SOPS 104594 HAS SOUS 79708 HAS SOUPS 76077 WITH SCORE 76191.169
AT ITER 572 NEW BEST:: SOT 232556 SOS 113667 HAS SOPS 104092 HAS SOUS 79392 HAS SOUPS 75761 WITH SCORE 75874.667
AT ITER 581 NEW BEST:: SOT 232391 SOS 113082 HAS SOPS 103507 HAS SOUS 78980 HAS SOUPS 75349 WITH SCORE 75462.082
AT ITER 587 NEW BEST:: SOT 232279 SOS 112653 HAS SOPS 103078 HAS SOUS 78551 HAS SOUPS 74920 WITH SCORE 75032.653
AT ITER 589 NEW BEST:: SOT 232218 SOS 112553 HAS SOPS 102956 HAS SOUS 78451 HAS SOUPS 74798 WITH SCORE 74910.553
AT ITER 596 NEW BEST:: SOT 232116 SOS 112516 HAS SOPS 102919 HAS SOUS 78414 HAS SOUPS 74761 WITH SCORE 74873.516
AT ITER 601 NEW BEST:: SOT 231847 SOS 112247 HAS SOPS 102650 HAS SOUS 78372 HAS SOUPS 74719 WITH SCORE 74831.247
AT ITER 602 NEW BEST:: SOT 231847 SOS 111983 HAS SOPS 102386 HAS SOUS 78237 HAS SOUPS 74584 WITH SCORE 74695.983
AT ITER 612 NEW BEST:: SOT 231847 SOS 111983 HAS SOPS 102315 HAS SOUS 78237 HAS SOUPS 74513 WITH SCORE 74624.983
AT ITER 618 NEW BEST:: SOT 231855 SOS 111980 HAS SOPS 102312 HAS SOUS 78234 HAS SOUPS 74510 WITH SCORE 74621.98
AT ITER 623 NEW BEST:: SOT 231841 SOS 111966 HAS SOPS 102298 HAS SOUS 78234 HAS SOUPS 74510 WITH SCORE 74621.966
AT ITER 626 NEW BEST:: SOT 231130 SOS 111766 HAS SOPS 102246 HAS SOUS 77961 HAS SOUPS 74385 WITH SCORE 74496.766
AT ITER 631 NEW BEST:: SOT 230992 SOS 111525 HAS SOPS 101410 HAS SOUS 77561 HAS SOUPS 73787 WITH SCORE 73898.525
AT ITER 633 NEW BEST:: SOT 230946 SOS 111497 HAS SOPS 101257 HAS SOUS 77499 HAS SOUPS 73634 WITH SCORE 73745.497
AT ITER 634 NEW BEST:: SOT 230862 SOS 111412 HAS SOPS 101172 HAS SOUS 77456 HAS SOUPS 73591 WITH SCORE 73702.412
AT ITER 636 NEW BEST:: SOT 230713 SOS 110872 HAS SOPS 100632 HAS SOUS 77156 HAS SOUPS 73291 WITH SCORE 73401.872
AT ITER 641 NEW BEST:: SOT 230703 SOS 110852 HAS SOPS 100612 HAS SOUS 77146 HAS SOUPS 73281 WITH SCORE 73391.852
AT ITER 650 NEW BEST:: SOT 230771 SOS 111712 HAS SOPS 100680 HAS SOUS 77084 HAS SOUPS 73021 WITH SCORE 73132.712
AT ITER 651 NEW BEST:: SOT 230771 SOS 111470 HAS SOPS 100438 HAS SOUS 76987 HAS SOUPS 72924 WITH SCORE 73035.47
AT ITER 659 NEW BEST:: SOT 230771 SOS 111469 HAS SOPS 100437 HAS SOUS 76986 HAS SOUPS 72923 WITH SCORE 73034.469
AT ITER 664 NEW BEST:: SOT 230771 SOS 111409 HAS SOPS 100301 HAS SOUS 76920 HAS SOUPS 72781 WITH SCORE 72892.409
AT ITER 669 NEW BEST:: SOT 230771 SOS 111404 HAS SOPS 100300 HAS SOUS 76919 HAS SOUPS 72780 WITH SCORE 72891.404
AT ITER 675 NEW BEST:: SOT 230618 SOS 111251 HAS SOPS 100147 HAS SOUS 76800 HAS SOUPS 72661 WITH SCORE 72772.251
AT ITER 676 NEW BEST:: SOT 230618 SOS 111251 HAS SOPS 100147 HAS SOUS 76780 HAS SOUPS 72641 WITH SCORE 72752.251
AT ITER 682 NEW BEST:: SOT 230475 SOS 110567 HAS SOPS 99463 HAS SOUS 76271 HAS SOUPS 72132 WITH SCORE 72242.567
AT ITER 684 NEW BEST:: SOT 230342 SOS 110554 HAS SOPS 99330 HAS SOUS 76258 HAS SOUPS 71999 WITH SCORE 72109.554
AT ITER 696 NEW BEST:: SOT 230226 SOS 109910 HAS SOPS 98597 HAS SOUS 75848 HAS SOUPS 71500 WITH SCORE 71609.91
AT ITER 698 NEW BEST:: SOT 230226 SOS 109778 HAS SOPS 98465 HAS SOUS 75848 HAS SOUPS 71500 WITH SCORE 71609.778
AT ITER 712 NEW BEST:: SOT 230190 SOS 109463 HAS SOPS 98263 HAS SOUS 75682 HAS SOUPS 71447 WITH SCORE 71556.463
AT ITER 713 NEW BEST:: SOT 229948 SOS 109221 HAS SOPS 98021 HAS SOUS 75625 HAS SOUPS 71390 WITH SCORE 71499.221
AT ITER 718 NEW BEST:: SOT 229872 SOS 109008 HAS SOPS 97808 HAS SOUS 75488 HAS SOUPS 71253 WITH SCORE 71362.008
AT ITER 721 NEW BEST:: SOT 229872 SOS 108934 HAS SOPS 97734 HAS SOUS 75414 HAS SOUPS 71179 WITH SCORE 71287.934
AT ITER 722 NEW BEST:: SOT 230126 SOS 108807 HAS SOPS 97734 HAS SOUS 75287 HAS SOUPS 71179 WITH SCORE 71287.807
AT ITER 723 NEW BEST:: SOT 229555 SOS 107257 HAS SOPS 97328 HAS SOUS 74771 HAS SOUPS 70962 WITH SCORE 71069.257
AT ITER 727 NEW BEST:: SOT 229555 SOS 107053 HAS SOPS 97022 HAS SOUS 74669 HAS SOUPS 70758 WITH SCORE 70865.053
AT ITER 730 NEW BEST:: SOT 229559 SOS 106948 HAS SOPS 96917 HAS SOUS 74626 HAS SOUPS 70715 WITH SCORE 70821.948
AT ITER 731 NEW BEST:: SOT 229424 SOS 106789 HAS SOPS 96647 HAS SOUS 74540 HAS SOUPS 70579 WITH SCORE 70685.789
AT ITER 735 NEW BEST:: SOT 229424 SOS 106630 HAS SOPS 96488 HAS SOUS 74494 HAS SOUPS 70533 WITH SCORE 70639.63
AT ITER 739 NEW BEST:: SOT 228190 SOS 105107 HAS SOPS 94965 HAS SOUS 73643 HAS SOUPS 69682 WITH SCORE 69787.107
AT ITER 745 NEW BEST:: SOT 228138 SOS 105662 HAS SOPS 94673 HAS SOUS 73792 HAS SOUPS 69390 WITH SCORE 69495.662
AT ITER 751 NEW BEST:: SOT 227966 SOS 105425 HAS SOPS 94407 HAS SOUS 73646 HAS SOUPS 69244 WITH SCORE 69349.425
AT ITER 754 NEW BEST:: SOT 227906 SOS 105417 HAS SOPS 94399 HAS SOUS 73638 HAS SOUPS 69236 WITH SCORE 69341.417
AT ITER 756 NEW BEST:: SOT 227550 SOS 104911 HAS SOPS 93893 HAS SOUS 73394 HAS SOUPS 68992 WITH SCORE 69096.911
AT ITER 757 NEW BEST:: SOT 227618 SOS 104622 HAS SOPS 93604 HAS SOUS 73255 HAS SOUPS 68853 WITH SCORE 68957.622
AT ITER 758 NEW BEST:: SOT 227126 SOS 104059 HAS SOPS 93041 HAS SOUS 72860 HAS SOUPS 68458 WITH SCORE 68562.059
AT ITER 769 NEW BEST:: SOT 226985 SOS 103819 HAS SOPS 92801 HAS SOUS 72778 HAS SOUPS 68376 WITH SCORE 68479.819
AT ITER 771 NEW BEST:: SOT 226447 SOS 103360 HAS SOPS 92342 HAS SOUS 72496 HAS SOUPS 68094 WITH SCORE 68197.36
AT ITER 774 NEW BEST:: SOT 226447 SOS 103353 HAS SOPS 92342 HAS SOUS 72489 HAS SOUPS 68094 WITH SCORE 68197.353
AT ITER 777 NEW BEST:: SOT 226194 SOS 103099 HAS SOPS 92088 HAS SOUS 72405 HAS SOUPS 68010 WITH SCORE 68113.099
AT ITER 779 NEW BEST:: SOT 225767 SOS 102671 HAS SOPS 91660 HAS SOUS 72136 HAS SOUPS 67741 WITH SCORE 67843.671
AT ITER 788 NEW BEST:: SOT 225708 SOS 102612 HAS SOPS 91601 HAS SOUS 72136 HAS SOUPS 67741 WITH SCORE 67843.612
AT ITER 794 NEW BEST:: SOT 225862 SOS 102766 HAS SOPS 91574 HAS SOUS 72191 HAS SOUPS 67714 WITH SCORE 67816.766
AT ITER 797 NEW BEST:: SOT 225862 SOS 103149 HAS SOPS 91493 HAS SOUS 72226 HAS SOUPS 67633 WITH SCORE 67736.149
AT ITER 799 NEW BEST:: SOT 225857 SOS 103149 HAS SOPS 91488 HAS SOUS 72226 HAS SOUPS 67628 WITH SCORE 67731.149
AT ITER 800 NEW BEST:: SOT 226275 SOS 102962 HAS SOPS 91301 HAS SOUS 72063 HAS SOUPS 67465 WITH SCORE 67567.962
AT ITER 801 NEW BEST:: SOT 225903 SOS 102630 HAS SOPS 90969 HAS SOUS 71909 HAS SOUPS 67311 WITH SCORE 67413.63
AT ITER 807 NEW BEST:: SOT 225882 SOS 102575 HAS SOPS 90927 HAS SOUS 71875 HAS SOUPS 67290 WITH SCORE 67392.575
AT ITER 808 NEW BEST:: SOT 225768 SOS 102449 HAS SOPS 90801 HAS SOUS 71740 HAS SOUPS 67155 WITH SCORE 67257.449
AT ITER 809 NEW BEST:: SOT 225737 SOS 102273 HAS SOPS 90625 HAS SOUS 71678 HAS SOUPS 67093 WITH SCORE 67195.273
AT ITER 814 NEW BEST:: SOT 225737 SOS 102205 HAS SOPS 90557 HAS SOUS 71672 HAS SOUPS 67087 WITH SCORE 67189.205
AT ITER 815 NEW BEST:: SOT 225355 SOS 101719 HAS SOPS 90071 HAS SOUS 71390 HAS SOUPS 66805 WITH SCORE 66906.719
AT ITER 818 NEW BEST:: SOT 224693 SOS 100544 HAS SOPS 88896 HAS SOUS 70677 HAS SOUPS 66092 WITH SCORE 66192.544
AT ITER 819 NEW BEST:: SOT 224693 SOS 100523 HAS SOPS 88875 HAS SOUS 70677 HAS SOUPS 66092 WITH SCORE 66192.523
AT ITER 820 NEW BEST:: SOT 224693 SOS 100402 HAS SOPS 88754 HAS SOUS 70622 HAS SOUPS 66037 WITH SCORE 66137.402
AT ITER 821 NEW BEST:: SOT 224450 SOS 100107 HAS SOPS 88459 HAS SOUS 70409 HAS SOUPS 65824 WITH SCORE 65924.107
AT ITER 831 NEW BEST:: SOT 224423 SOS 100079 HAS SOPS 88431 HAS SOUS 70381 HAS SOUPS 65796 WITH SCORE 65896.079
AT ITER 832 NEW BEST:: SOT 224316 SOS 100126 HAS SOPS 88478 HAS SOUS 70124 HAS SOUPS 65539 WITH SCORE 65639.126
AT ITER 845 NEW BEST:: SOT 224316 SOS 99958 HAS SOPS 88394 HAS SOUS 70124 HAS SOUPS 65539 WITH SCORE 65638.958
AT ITER 853 NEW BEST:: SOT 224310 SOS 99952 HAS SOPS 88388 HAS SOUS 70124 HAS SOUPS 65539 WITH SCORE 65638.952
AT ITER 856 NEW BEST:: SOT 224286 SOS 99850 HAS SOPS 88286 HAS SOUS 70100 HAS SOUPS 65515 WITH SCORE 65614.85
AT ITER 858 NEW BEST:: SOT 224219 SOS 99783 HAS SOPS 88219 HAS SOUS 69872 HAS SOUPS 65287 WITH SCORE 65386.783
AT ITER 859 NEW BEST:: SOT 224246 SOS 99810 HAS SOPS 88185 HAS SOUS 69899 HAS SOUPS 65253 WITH SCORE 65352.81
AT ITER 860 NEW BEST:: SOT 223832 SOS 99604 HAS SOPS 87979 HAS SOUS 69727 HAS SOUPS 65081 WITH SCORE 65180.604
AT ITER 862 NEW BEST:: SOT 223843 SOS 99602 HAS SOPS 87977 HAS SOUS 69725 HAS SOUPS 65079 WITH SCORE 65178.602
AT ITER 863 NEW BEST:: SOT 223843 SOS 99588 HAS SOPS 87963 HAS SOUS 69718 HAS SOUPS 65072 WITH SCORE 65171.588
AT ITER 880 NEW BEST:: SOT 223777 SOS 99522 HAS SOPS 87897 HAS SOUS 69694 HAS SOUPS 65048 WITH SCORE 65147.522
AT ITER 883 NEW BEST:: SOT 223854 SOS 99579 HAS SOPS 87954 HAS SOUS 69519 HAS SOUPS 64873 WITH SCORE 64972.579
AT ITER 886 NEW BEST:: SOT 223881 SOS 99512 HAS SOPS 87887 HAS SOUS 69456 HAS SOUPS 64810 WITH SCORE 64909.512
AT ITER 895 NEW BEST:: SOT 223880 SOS 99166 HAS SOPS 87541 HAS SOUS 69225 HAS SOUPS 64579 WITH SCORE 64678.166
AT ITER 906 NEW BEST:: SOT 223743 SOS 98990 HAS SOPS 87120 HAS SOUS 69080 HAS SOUPS 64300 WITH SCORE 64398.99
AT ITER 910 NEW BEST:: SOT 223743 SOS 98859 HAS SOPS 86989 HAS SOUS 69079 HAS SOUPS 64299 WITH SCORE 64397.859
AT ITER 912 NEW BEST:: SOT 223276 SOS 98898 HAS SOPS 86814 HAS SOUS 69118 HAS SOUPS 64124 WITH SCORE 64222.898
AT ITER 913 NEW BEST:: SOT 223276 SOS 98829 HAS SOPS 86745 HAS SOUS 69072 HAS SOUPS 64078 WITH SCORE 64176.829
AT ITER 923 NEW BEST:: SOT 223130 SOS 98750 HAS SOPS 86666 HAS SOUS 69065 HAS SOUPS 64071 WITH SCORE 64169.75
AT ITER 925 NEW BEST:: SOT 223121 SOS 99158 HAS SOPS 87074 HAS SOUS 69055 HAS SOUPS 64061 WITH SCORE 64160.158
AT ITER 938 NEW BEST:: SOT 223065 SOS 99115 HAS SOPS 87065 HAS SOUS 69046 HAS SOUPS 64052 WITH SCORE 64151.115
AT ITER 943 NEW BEST:: SOT 222960 SOS 99010 HAS SOPS 86960 HAS SOUS 68836 HAS SOUPS 63842 WITH SCORE 63941.01
AT ITER 953 NEW BEST:: SOT 222843 SOS 98747 HAS SOPS 86697 HAS SOUS 68687 HAS SOUPS 63693 WITH SCORE 63791.747
AT ITER 960 NEW BEST:: SOT 222827 SOS 98716 HAS SOPS 86665 HAS SOUS 68656 HAS SOUPS 63661 WITH SCORE 63759.716
AT ITER 977 NEW BEST:: SOT 223043 SOS 99472 HAS SOPS 86797 HAS SOUS 68872 HAS SOUPS 63658 WITH SCORE 63757.472
AT ITER 984 NEW BEST:: SOT 223022 SOS 99542 HAS SOPS 87002 HAS SOUS 68830 HAS SOUPS 63616 WITH SCORE 63715.542
AT ITER 985 NEW BEST:: SOT 222953 SOS 99603 HAS SOPS 86954 HAS SOUS 68805 HAS SOUPS 63546 WITH SCORE 63645.603
AT ITER 993 NEW BEST:: SOT 222953 SOS 99603 HAS SOPS 86954 HAS SOUS 68804 HAS SOUPS 63545 WITH SCORE 63644.603
AT ITER 997 NEW BEST:: SOT 222957 SOS 99507 HAS SOPS 86858 HAS SOUS 68708 HAS SOUPS 63449 WITH SCORE 63548.507
AT ITER 999 NEW BEST:: SOT 222909 SOS 99445 HAS SOPS 86796 HAS SOUS 68636 HAS SOUPS 63377 WITH SCORE 63476.445
AT ITER 1023 NEW BEST:: SOT 222843 SOS 99363 HAS SOPS 86714 HAS SOUS 68577 HAS SOUPS 63318 WITH SCORE 63417.363
AT ITER 1032 NEW BEST:: SOT 222445 SOS 98540 HAS SOPS 86316 HAS SOUS 68179 HAS SOUPS 63072 WITH SCORE 63170.54
AT ITER 1042 NEW BEST:: SOT 222209 SOS 98039 HAS SOPS 85815 HAS SOUS 67946 HAS SOUPS 62839 WITH SCORE 62937.039
AT ITER 1048 NEW BEST:: SOT 222207 SOS 98036 HAS SOPS 85812 HAS SOUS 67944 HAS SOUPS 62837 WITH SCORE 62935.036
AT ITER 1056 NEW BEST:: SOT 222361 SOS 98304 HAS SOPS 85772 HAS SOUS 67981 HAS SOUPS 62797 WITH SCORE 62895.304
AT ITER 1077 NEW BEST:: SOT 222334 SOS 98085 HAS SOPS 85553 HAS SOUS 67834 HAS SOUPS 62650 WITH SCORE 62748.085
AT ITER 1080 NEW BEST:: SOT 222214 SOS 98411 HAS SOPS 85433 HAS SOUS 67708 HAS SOUPS 62352 WITH SCORE 62450.411
AT ITER 1081 NEW BEST:: SOT 222025 SOS 98222 HAS SOPS 85244 HAS SOUS 67461 HAS SOUPS 62105 WITH SCORE 62203.222
AT ITER 1086 NEW BEST:: SOT 221935 SOS 98132 HAS SOPS 85154 HAS SOUS 67371 HAS SOUPS 62015 WITH SCORE 62113.132
AT ITER 1095 NEW BEST:: SOT 221853 SOS 97886 HAS SOPS 84908 HAS SOUS 67207 HAS SOUPS 61851 WITH SCORE 61948.886
AT ITER 1106 NEW BEST:: SOT 221699 SOS 97731 HAS SOPS 84753 HAS SOUS 66984 HAS SOUPS 61628 WITH SCORE 61725.731
AT ITER 1107 NEW BEST:: SOT 221664 SOS 97457 HAS SOPS 84604 HAS SOUS 66961 HAS SOUPS 61605 WITH SCORE 61702.457
AT ITER 1113 NEW BEST:: SOT 221053 SOS 96528 HAS SOPS 84332 HAS SOUS 66534 HAS SOUPS 61362 WITH SCORE 61458.528
AT ITER 1115 NEW BEST:: SOT 220983 SOS 96574 HAS SOPS 84261 HAS SOUS 66534 HAS SOUPS 61291 WITH SCORE 61387.574
AT ITER 1121 NEW BEST:: SOT 221085 SOS 96606 HAS SOPS 84293 HAS SOUS 66448 HAS SOUPS 61205 WITH SCORE 61301.606
AT ITER 1124 NEW BEST:: SOT 221073 SOS 96582 HAS SOPS 84269 HAS SOUS 66424 HAS SOUPS 61181 WITH SCORE 61277.582
AT ITER 1125 NEW BEST:: SOT 220977 SOS 96162 HAS SOPS 83849 HAS SOUS 66112 HAS SOUPS 60869 WITH SCORE 60965.162
AT ITER 1129 NEW BEST:: SOT 220977 SOS 96246 HAS SOPS 83933 HAS SOUS 66070 HAS SOUPS 60827 WITH SCORE 60923.246
AT ITER 1137 NEW BEST:: SOT 220967 SOS 96226 HAS SOPS 83913 HAS SOUS 66034 HAS SOUPS 60791 WITH SCORE 60887.226
AT ITER 1147 NEW BEST:: SOT 220545 SOS 95700 HAS SOPS 83387 HAS SOUS 65810 HAS SOUPS 60567 WITH SCORE 60662.7
AT ITER 1156 NEW BEST:: SOT 220523 SOS 95582 HAS SOPS 83365 HAS SOUS 65758 HAS SOUPS 60545 WITH SCORE 60640.582
AT ITER 1164 NEW BEST:: SOT 220523 SOS 95534 HAS SOPS 83317 HAS SOUS 65754 HAS SOUPS 60541 WITH SCORE 60636.534
AT ITER 1165 NEW BEST:: SOT 220801 SOS 95606 HAS SOPS 83253 HAS SOUS 65766 HAS SOUPS 60477 WITH SCORE 60572.606
AT ITER 1168 NEW BEST:: SOT 220783 SOS 95564 HAS SOPS 83235 HAS SOUS 65748 HAS SOUPS 60465 WITH SCORE 60560.564
AT ITER 1176 NEW BEST:: SOT 220795 SOS 95502 HAS SOPS 83227 HAS SOUS 65691 HAS SOUPS 60462 WITH SCORE 60557.502
AT ITER 1194 NEW BEST:: SOT 220657 SOS 95374 HAS SOPS 82951 HAS SOUS 65600 HAS SOUPS 60371 WITH SCORE 60466.374
AT ITER 1199 NEW BEST:: SOT 220695 SOS 95738 HAS SOPS 83027 HAS SOUS 65653 HAS SOUPS 60284 WITH SCORE 60379.738
AT ITER 1201 NEW BEST:: SOT 220695 SOS 95653 HAS SOPS 82942 HAS SOUS 65653 HAS SOUPS 60284 WITH SCORE 60379.653
AT ITER 1202 NEW BEST:: SOT 220479 SOS 95437 HAS SOPS 82726 HAS SOUS 65586 HAS SOUPS 60217 WITH SCORE 60312.437
AT ITER 1203 NEW BEST:: SOT 220298 SOS 95255 HAS SOPS 82544 HAS SOUS 65565 HAS SOUPS 60196 WITH SCORE 60291.255
AT ITER 1205 NEW BEST:: SOT 220276 SOS 95222 HAS SOPS 82511 HAS SOUS 65543 HAS SOUPS 60174 WITH SCORE 60269.222
AT ITER 1214 NEW BEST:: SOT 220201 SOS 95150 HAS SOPS 82439 HAS SOUS 65471 HAS SOUPS 60102 WITH SCORE 60197.15
AT ITER 1218 NEW BEST:: SOT 219988 SOS 94813 HAS SOPS 82226 HAS SOUS 65333 HAS SOUPS 60028 WITH SCORE 60122.813
AT ITER 1238 NEW BEST:: SOT 219932 SOS 94757 HAS SOPS 82170 HAS SOUS 65277 HAS SOUPS 59972 WITH SCORE 60066.757
AT ITER 1243 NEW BEST:: SOT 219918 SOS 94528 HAS SOPS 81941 HAS SOUS 65166 HAS SOUPS 59861 WITH SCORE 59955.528
AT ITER 1245 NEW BEST:: SOT 219649 SOS 94452 HAS SOPS 81865 HAS SOUS 65044 HAS SOUPS 59739 WITH SCORE 59833.452
AT ITER 1247 NEW BEST:: SOT 219520 SOS 94392 HAS SOPS 81805 HAS SOUS 64953 HAS SOUPS 59648 WITH SCORE 59742.392
AT ITER 1255 NEW BEST:: SOT 219498 SOS 94348 HAS SOPS 81761 HAS SOUS 64931 HAS SOUPS 59626 WITH SCORE 59720.348
AT ITER 1257 NEW BEST:: SOT 219477 SOS 94196 HAS SOPS 81673 HAS SOUS 64910 HAS SOUPS 59605 WITH SCORE 59699.196
AT ITER 1272 NEW BEST:: SOT 219276 SOS 93994 HAS SOPS 81471 HAS SOUS 64853 HAS SOUPS 59548 WITH SCORE 59641.994
AT ITER 1287 NEW BEST:: SOT 219231 SOS 93949 HAS SOPS 81426 HAS SOUS 64823 HAS SOUPS 59518 WITH SCORE 59611.949
AT ITER 1298 NEW BEST:: SOT 219269 SOS 94061 HAS SOPS 81538 HAS SOUS 64808 HAS SOUPS 59503 WITH SCORE 59597.061
AT ITER 1311 NEW BEST:: SOT 219253 SOS 94045 HAS SOPS 81522 HAS SOUS 64783 HAS SOUPS 59478 WITH SCORE 59572.045
AT ITER 1321 NEW BEST:: SOT 219118 SOS 93938 HAS SOPS 81415 HAS SOUS 64707 HAS SOUPS 59402 WITH SCORE 59495.938
AT ITER 1332 NEW BEST:: SOT 218893 SOS 93592 HAS SOPS 81069 HAS SOUS 64386 HAS SOUPS 59081 WITH SCORE 59174.592
AT ITER 1333 NEW BEST:: SOT 218717 SOS 93425 HAS SOPS 80902 HAS SOUS 64304 HAS SOUPS 58999 WITH SCORE 59092.425
AT ITER 1335 NEW BEST:: SOT 218703 SOS 93396 HAS SOPS 80873 HAS SOUS 64296 HAS SOUPS 58991 WITH SCORE 59084.396
AT ITER 1350 NEW BEST:: SOT 218499 SOS 93294 HAS SOPS 80669 HAS SOUS 64096 HAS SOUPS 58787 WITH SCORE 58880.294
AT ITER 1362 NEW BEST:: SOT 217626 SOS 93006 HAS SOPS 80381 HAS SOUS 63890 HAS SOUPS 58581 WITH SCORE 58674.006
AT ITER 1370 NEW BEST:: SOT 217514 SOS 92894 HAS SOPS 80213 HAS SOUS 63809 HAS SOUPS 58469 WITH SCORE 58561.894
AT ITER 1372 NEW BEST:: SOT 217384 SOS 92386 HAS SOPS 79705 HAS SOUS 63599 HAS SOUPS 58259 WITH SCORE 58351.386
AT ITER 1379 NEW BEST:: SOT 217164 SOS 92118 HAS SOPS 79437 HAS SOUS 63397 HAS SOUPS 58057 WITH SCORE 58149.118
AT ITER 1380 NEW BEST:: SOT 217158 SOS 92166 HAS SOPS 79431 HAS SOUS 63445 HAS SOUPS 58051 WITH SCORE 58143.166
AT ITER 1388 NEW BEST:: SOT 217148 SOS 92156 HAS SOPS 79421 HAS SOUS 63445 HAS SOUPS 58051 WITH SCORE 58143.156
AT ITER 1409 NEW BEST:: SOT 217161 SOS 92194 HAS SOPS 79459 HAS SOUS 63430 HAS SOUPS 58036 WITH SCORE 58128.194
AT ITER 1425 NEW BEST:: SOT 217157 SOS 92178 HAS SOPS 79443 HAS SOUS 63418 HAS SOUPS 58024 WITH SCORE 58116.178
AT ITER 1439 NEW BEST:: SOT 217343 SOS 92248 HAS SOPS 79513 HAS SOUS 63382 HAS SOUPS 57988 WITH SCORE 58080.248
AT ITER 1441 NEW BEST:: SOT 217380 SOS 92123 HAS SOPS 79388 HAS SOUS 63275 HAS SOUPS 57881 WITH SCORE 57973.123
AT ITER 1448 NEW BEST:: SOT 217162 SOS 91905 HAS SOPS 79170 HAS SOUS 62983 HAS SOUPS 57589 WITH SCORE 57680.905
AT ITER 1452 NEW BEST:: SOT 217084 SOS 91801 HAS SOPS 79066 HAS SOUS 62905 HAS SOUPS 57511 WITH SCORE 57602.801
AT ITER 1460 NEW BEST:: SOT 217034 SOS 91726 HAS SOPS 78991 HAS SOUS 62873 HAS SOUPS 57479 WITH SCORE 57570.726
AT ITER 1472 NEW BEST:: SOT 217012 SOS 91678 HAS SOPS 78940 HAS SOUS 62825 HAS SOUPS 57428 WITH SCORE 57519.678
AT ITER 1485 NEW BEST:: SOT 217012 SOS 91721 HAS SOPS 78940 HAS SOUS 62782 HAS SOUPS 57342 WITH SCORE 57433.721
AT ITER 1488 NEW BEST:: SOT 217011 SOS 91720 HAS SOPS 78938 HAS SOUS 62780 HAS SOUPS 57340 WITH SCORE 57431.72
AT ITER 1493 NEW BEST:: SOT 217007 SOS 91716 HAS SOPS 78934 HAS SOUS 62776 HAS SOUPS 57336 WITH SCORE 57427.716
AT ITER 1494 NEW BEST:: SOT 216950 SOS 91618 HAS SOPS 78766 HAS SOUS 62608 HAS SOUPS 57168 WITH SCORE 57259.618
AT ITER 1498 NEW BEST:: SOT 216950 SOS 91588 HAS SOPS 78736 HAS SOUS 62578 HAS SOUPS 57138 WITH SCORE 57229.588
AT ITER 1518 NEW BEST:: SOT 216145 SOS 91020 HAS SOPS 78168 HAS SOUS 62156 HAS SOUPS 56716 WITH SCORE 56807.02
AT ITER 1536 NEW BEST:: SOT 216169 SOS 91012 HAS SOPS 78160 HAS SOUS 62156 HAS SOUPS 56716 WITH SCORE 56807.012
AT ITER 1537 NEW BEST:: SOT 216169 SOS 91009 HAS SOPS 78157 HAS SOUS 62153 HAS SOUPS 56713 WITH SCORE 56804.009
AT ITER 1538 NEW BEST:: SOT 216055 SOS 90836 HAS SOPS 77984 HAS SOUS 62057 HAS SOUPS 56617 WITH SCORE 56707.836
AT ITER 1542 NEW BEST:: SOT 215705 SOS 90334 HAS SOPS 77482 HAS SOUS 61740 HAS SOUPS 56300 WITH SCORE 56390.334
AT ITER 1545 NEW BEST:: SOT 215443 SOS 90629 HAS SOPS 77220 HAS SOUS 61459 HAS SOUPS 56038 WITH SCORE 56128.629
AT ITER 1557 NEW BEST:: SOT 215425 SOS 90611 HAS SOPS 77184 HAS SOUS 61441 HAS SOUPS 56002 WITH SCORE 56092.611
AT ITER 1560 NEW BEST:: SOT 215419 SOS 90599 HAS SOPS 77172 HAS SOUS 61435 HAS SOUPS 55996 WITH SCORE 56086.599
AT ITER 1566 NEW BEST:: SOT 215419 SOS 90599 HAS SOPS 77172 HAS SOUS 61319 HAS SOUPS 55880 WITH SCORE 55970.599
AT ITER 1611 NEW BEST:: SOT 215394 SOS 90607 HAS SOPS 77180 HAS SOUS 61305 HAS SOUPS 55866 WITH SCORE 55956.607
AT ITER 1612 NEW BEST:: SOT 215404 SOS 90595 HAS SOPS 77168 HAS SOUS 61273 HAS SOUPS 55834 WITH SCORE 55924.595
AT ITER 1644 NEW BEST:: SOT 215404 SOS 90927 HAS SOPS 77168 HAS SOUS 61338 HAS SOUPS 55816 WITH SCORE 55906.927
AT ITER 1649 NEW BEST:: SOT 215138 SOS 90038 HAS SOPS 76279 HAS SOUS 60800 HAS SOUPS 55278 WITH SCORE 55368.038
AT ITER 1654 NEW BEST:: SOT 215101 SOS 89856 HAS SOPS 76167 HAS SOUS 60791 HAS SOUPS 55269 WITH SCORE 55358.856
AT ITER 1660 NEW BEST:: SOT 215101 SOS 90120 HAS SOPS 75895 HAS SOUS 60655 HAS SOUPS 54997 WITH SCORE 55087.12
AT ITER 1668 NEW BEST:: SOT 215117 SOS 90104 HAS SOPS 75879 HAS SOUS 60655 HAS SOUPS 54997 WITH SCORE 55087.104
AT ITER 1680 NEW BEST:: SOT 214991 SOS 90002 HAS SOPS 75777 HAS SOUS 60608 HAS SOUPS 54950 WITH SCORE 55040.002
AT ITER 1682 NEW BEST:: SOT 214952 SOS 89962 HAS SOPS 75737 HAS SOUS 60568 HAS SOUPS 54910 WITH SCORE 54999.962
AT ITER 1683 NEW BEST:: SOT 214856 SOS 89866 HAS SOPS 75640 HAS SOUS 60549 HAS SOUPS 54891 WITH SCORE 54980.866
AT ITER 1688 NEW BEST:: SOT 214850 SOS 89842 HAS SOPS 75616 HAS SOUS 60531 HAS SOUPS 54873 WITH SCORE 54962.842
AT ITER 1697 NEW BEST:: SOT 214374 SOS 89212 HAS SOPS 74986 HAS SOUS 60104 HAS SOUPS 54446 WITH SCORE 54535.212
AT ITER 1705 NEW BEST:: SOT 214350 SOS 89149 HAS SOPS 74923 HAS SOUS 59967 HAS SOUPS 54309 WITH SCORE 54398.149
AT ITER 1706 NEW BEST:: SOT 214350 SOS 89144 HAS SOPS 74918 HAS SOUS 59962 HAS SOUPS 54304 WITH SCORE 54393.144
AT ITER 1713 NEW BEST:: SOT 214136 SOS 88859 HAS SOPS 74633 HAS SOUS 59839 HAS SOUPS 54181 WITH SCORE 54269.859
AT ITER 1714 NEW BEST:: SOT 214032 SOS 88651 HAS SOPS 74425 HAS SOUS 59683 HAS SOUPS 54025 WITH SCORE 54113.651
AT ITER 1718 NEW BEST:: SOT 214017 SOS 88621 HAS SOPS 74395 HAS SOUS 59668 HAS SOUPS 54010 WITH SCORE 54098.621
AT ITER 1736 NEW BEST:: SOT 214014 SOS 88624 HAS SOPS 74398 HAS SOUS 59662 HAS SOUPS 54004 WITH SCORE 54092.624
AT ITER 1743 NEW BEST:: SOT 214075 SOS 88568 HAS SOPS 74342 HAS SOUS 59661 HAS SOUPS 54003 WITH SCORE 54091.568
AT ITER 1754 NEW BEST:: SOT 214075 SOS 88565 HAS SOPS 74301 HAS SOUS 59658 HAS SOUPS 53962 WITH SCORE 54050.565
AT ITER 1757 NEW BEST:: SOT 214073 SOS 88563 HAS SOPS 74299 HAS SOUS 59656 HAS SOUPS 53960 WITH SCORE 54048.563
AT ITER 1791 NEW BEST:: SOT 214017 SOS 88391 HAS SOPS 74127 HAS SOUS 59644 HAS SOUPS 53948 WITH SCORE 54036.391
AT ITER 1799 NEW BEST:: SOT 213732 SOS 88238 HAS SOPS 73974 HAS SOUS 59504 HAS SOUPS 53808 WITH SCORE 53896.238
AT ITER 1818 NEW BEST:: SOT 213674 SOS 88547 HAS SOPS 74092 HAS SOUS 59682 HAS SOUPS 53795 WITH SCORE 53883.547
AT ITER 1819 NEW BEST:: SOT 213745 SOS 88859 HAS SOPS 74284 HAS SOUS 59754 HAS SOUPS 53747 WITH SCORE 53835.859
AT ITER 1830 NEW BEST:: SOT 213494 SOS 88594 HAS SOPS 74019 HAS SOUS 59626 HAS SOUPS 53619 WITH SCORE 53707.594
AT ITER 1831 NEW BEST:: SOT 213457 SOS 88941 HAS SOPS 73954 HAS SOUS 59695 HAS SOUPS 53543 WITH SCORE 53631.941
AT ITER 1834 NEW BEST:: SOT 213425 SOS 88909 HAS SOPS 73922 HAS SOUS 59689 HAS SOUPS 53537 WITH SCORE 53625.909
AT ITER 1837 NEW BEST:: SOT 213425 SOS 88902 HAS SOPS 73915 HAS SOUS 59689 HAS SOUPS 53537 WITH SCORE 53625.902
AT ITER 1854 NEW BEST:: SOT 213020 SOS 88244 HAS SOPS 73257 HAS SOUS 59031 HAS SOUPS 52879 WITH SCORE 52967.244
AT ITER 1863 NEW BEST:: SOT 213051 SOS 88831 HAS SOPS 73288 HAS SOUS 59013 HAS SOUPS 52643 WITH SCORE 52731.831
AT ITER 1890 NEW BEST:: SOT 213009 SOS 88789 HAS SOPS 73246 HAS SOUS 58992 HAS SOUPS 52622 WITH SCORE 52710.789
AT ITER 1891 NEW BEST:: SOT 212939 SOS 88572 HAS SOPS 73029 HAS SOUS 58845 HAS SOUPS 52475 WITH SCORE 52563.572
AT ITER 1897 NEW BEST:: SOT 212937 SOS 88572 HAS SOPS 73027 HAS SOUS 58843 HAS SOUPS 52471 WITH SCORE 52559.572
AT ITER 1899 NEW BEST:: SOT 212917 SOS 88543 HAS SOPS 73018 HAS SOUS 58814 HAS SOUPS 52462 WITH SCORE 52550.543
AT ITER 1910 NEW BEST:: SOT 212910 SOS 88426 HAS SOPS 73011 HAS SOUS 58697 HAS SOUPS 52455 WITH SCORE 52543.426
AT ITER 1912 NEW BEST:: SOT 212903 SOS 88521 HAS SOPS 73106 HAS SOUS 58695 HAS SOUPS 52453 WITH SCORE 52541.521
AT ITER 1913 NEW BEST:: SOT 212535 SOS 88159 HAS SOPS 72744 HAS SOUS 58507 HAS SOUPS 52265 WITH SCORE 52353.159
AT ITER 1919 NEW BEST:: SOT 212267 SOS 87948 HAS SOPS 72533 HAS SOUS 58360 HAS SOUPS 52118 WITH SCORE 52205.948
AT ITER 1926 NEW BEST:: SOT 211181 SOS 87381 HAS SOPS 71966 HAS SOUS 57617 HAS SOUPS 51375 WITH SCORE 51462.381
AT ITER 1942 NEW BEST:: SOT 211181 SOS 87379 HAS SOPS 71964 HAS SOUS 57617 HAS SOUPS 51375 WITH SCORE 51462.379
AT ITER 1944 NEW BEST:: SOT 211213 SOS 87411 HAS SOPS 71941 HAS SOUS 57649 HAS SOUPS 51352 WITH SCORE 51439.411
AT ITER 1950 NEW BEST:: SOT 211213 SOS 87416 HAS SOPS 71946 HAS SOUS 57644 HAS SOUPS 51347 WITH SCORE 51434.416
AT ITER 1951 NEW BEST:: SOT 210969 SOS 87226 HAS SOPS 71756 HAS SOUS 57531 HAS SOUPS 51234 WITH SCORE 51321.226
AT ITER 1956 NEW BEST:: SOT 211077 SOS 87334 HAS SOPS 71846 HAS SOUS 57516 HAS SOUPS 51205 WITH SCORE 51292.334
AT ITER 1957 NEW BEST:: SOT 211073 SOS 87315 HAS SOPS 71827 HAS SOUS 57497 HAS SOUPS 51186 WITH SCORE 51273.315
AT ITER 1962 NEW BEST:: SOT 211051 SOS 87418 HAS SOPS 71851 HAS SOUS 57486 HAS SOUPS 51175 WITH SCORE 51262.418
AT ITER 1964 NEW BEST:: SOT 210893 SOS 87273 HAS SOPS 71706 HAS SOUS 57365 HAS SOUPS 51054 WITH SCORE 51141.273
AT ITER 1965 NEW BEST:: SOT 210911 SOS 87255 HAS SOPS 71688 HAS SOUS 57347 HAS SOUPS 51036 WITH SCORE 51123.255
AT ITER 1982 NEW BEST:: SOT 210728 SOS 87072 HAS SOPS 71505 HAS SOUS 57251 HAS SOUPS 50940 WITH SCORE 51027.072
AT ITER 1999 NEW BEST:: SOT 210758 SOS 87102 HAS SOPS 71503 HAS SOUS 57249 HAS SOUPS 50938 WITH SCORE 51025.102
AT ITER 2001 NEW BEST:: SOT 210649 SOS 87045 HAS SOPS 71446 HAS SOUS 57241 HAS SOUPS 50930 WITH SCORE 51017.045
AT ITER 2008 NEW BEST:: SOT 210629 SOS 87025 HAS SOPS 71426 HAS SOUS 57241 HAS SOUPS 50930 WITH SCORE 51017.025
AT ITER 2025 NEW BEST:: SOT 210582 SOS 86995 HAS SOPS 71396 HAS SOUS 57211 HAS SOUPS 50900 WITH SCORE 50986.995
AT ITER 2027 NEW BEST:: SOT 210582 SOS 86992 HAS SOPS 71393 HAS SOUS 57208 HAS SOUPS 50897 WITH SCORE 50983.992
AT ITER 2034 NEW BEST:: SOT 210545 SOS 86963 HAS SOPS 71384 HAS SOUS 57179 HAS SOUPS 50888 WITH SCORE 50974.963
AT ITER 2038 NEW BEST:: SOT 210526 SOS 86847 HAS SOPS 71348 HAS SOUS 57092 HAS SOUPS 50852 WITH SCORE 50938.847
AT ITER 2046 NEW BEST:: SOT 210418 SOS 86751 HAS SOPS 71252 HAS SOUS 57040 HAS SOUPS 50800 WITH SCORE 50886.751
AT ITER 2047 NEW BEST:: SOT 210285 SOS 86569 HAS SOPS 71119 HAS SOUS 56907 HAS SOUPS 50716 WITH SCORE 50802.569
AT ITER 2048 NEW BEST:: SOT 210193 SOS 86539 HAS SOPS 71089 HAS SOUS 56857 HAS SOUPS 50666 WITH SCORE 50752.539
AT ITER 2055 NEW BEST:: SOT 210159 SOS 86199 HAS SOPS 70749 HAS SOUS 56789 HAS SOUPS 50598 WITH SCORE 50684.199
AT ITER 2061 NEW BEST:: SOT 210059 SOS 86049 HAS SOPS 70599 HAS SOUS 56689 HAS SOUPS 50498 WITH SCORE 50584.049
AT ITER 2064 NEW BEST:: SOT 210086 SOS 86076 HAS SOPS 70626 HAS SOUS 56656 HAS SOUPS 50465 WITH SCORE 50551.076
AT ITER 2076 NEW BEST:: SOT 210012 SOS 85948 HAS SOPS 70552 HAS SOUS 56528 HAS SOUPS 50391 WITH SCORE 50476.948
AT ITER 2081 NEW BEST:: SOT 209990 SOS 85838 HAS SOPS 70530 HAS SOUS 56484 HAS SOUPS 50369 WITH SCORE 50454.838
AT ITER 2085 NEW BEST:: SOT 209990 SOS 85824 HAS SOPS 70516 HAS SOUS 56470 HAS SOUPS 50355 WITH SCORE 50440.824
AT ITER 2131 NEW BEST:: SOT 209951 SOS 85701 HAS SOPS 70393 HAS SOUS 56259 HAS SOUPS 50144 WITH SCORE 50229.701
AT ITER 2150 NEW BEST:: SOT 209942 SOS 85695 HAS SOPS 70387 HAS SOUS 56244 HAS SOUPS 50129 WITH SCORE 50214.695
AT ITER 2151 NEW BEST:: SOT 209936 SOS 85680 HAS SOPS 70372 HAS SOUS 56235 HAS SOUPS 50120 WITH SCORE 50205.68
AT ITER 2156 NEW BEST:: SOT 209899 SOS 85643 HAS SOPS 70335 HAS SOUS 56198 HAS SOUPS 50083 WITH SCORE 50168.643
AT ITER 2166 NEW BEST:: SOT 209899 SOS 85727 HAS SOPS 70335 HAS SOUS 56202 HAS SOUPS 50066 WITH SCORE 50151.727
AT ITER 2169 NEW BEST:: SOT 209901 SOS 86101 HAS SOPS 70285 HAS SOUS 56258 HAS SOUPS 50016 WITH SCORE 50102.101
AT ITER 2201 NEW BEST:: SOT 209851 SOS 86051 HAS SOPS 70159 HAS SOUS 56134 HAS SOUPS 49890 WITH SCORE 49976.051
AT ITER 2204 NEW BEST:: SOT 209791 SOS 85991 HAS SOPS 70099 HAS SOUS 56104 HAS SOUPS 49860 WITH SCORE 49945.991
AT ITER 2207 NEW BEST:: SOT 209897 SOS 85885 HAS SOPS 69993 HAS SOUS 55998 HAS SOUPS 49754 WITH SCORE 49839.885
AT ITER 2210 NEW BEST:: SOT 209933 SOS 85742 HAS SOPS 69749 HAS SOUS 55933 HAS SOUPS 49689 WITH SCORE 49774.742
AT ITER 2215 NEW BEST:: SOT 209933 SOS 85554 HAS SOPS 69749 HAS SOUS 55886 HAS SOUPS 49689 WITH SCORE 49774.554
AT ITER 2227 NEW BEST:: SOT 209889 SOS 85488 HAS SOPS 69661 HAS SOUS 55798 HAS SOUPS 49601 WITH SCORE 49686.488
AT ITER 2237 NEW BEST:: SOT 209857 SOS 85415 HAS SOPS 69597 HAS SOUS 55678 HAS SOUPS 49537 WITH SCORE 49622.415
AT ITER 2245 NEW BEST:: SOT 209731 SOS 85135 HAS SOPS 69317 HAS SOUS 55447 HAS SOUPS 49306 WITH SCORE 49391.135
AT ITER 2247 NEW BEST:: SOT 209668 SOS 84892 HAS SOPS 69074 HAS SOUS 55301 HAS SOUPS 49160 WITH SCORE 49244.892
AT ITER 2270 NEW BEST:: SOT 209559 SOS 84589 HAS SOPS 68771 HAS SOUS 55095 HAS SOUPS 48954 WITH SCORE 49038.589
AT ITER 2283 NEW BEST:: SOT 209551 SOS 84569 HAS SOPS 68751 HAS SOUS 55083 HAS SOUPS 48942 WITH SCORE 49026.569
AT ITER 2290 NEW BEST:: SOT 209521 SOS 84539 HAS SOPS 68721 HAS SOUS 55067 HAS SOUPS 48926 WITH SCORE 49010.539
AT ITER 2297 NEW BEST:: SOT 209521 SOS 84414 HAS SOPS 68596 HAS SOUS 55067 HAS SOUPS 48926 WITH SCORE 49010.414
AT ITER 2307 NEW BEST:: SOT 209521 SOS 84412 HAS SOPS 68590 HAS SOUS 55066 HAS SOUPS 48924 WITH SCORE 49008.412
AT ITER 2324 NEW BEST:: SOT 209416 SOS 84202 HAS SOPS 68380 HAS SOUS 54856 HAS SOUPS 48714 WITH SCORE 48798.202
AT ITER 2332 NEW BEST:: SOT 209410 SOS 84190 HAS SOPS 68368 HAS SOUS 54847 HAS SOUPS 48705 WITH SCORE 48789.19
AT ITER 2337 NEW BEST:: SOT 209371 SOS 84151 HAS SOPS 68329 HAS SOUS 54847 HAS SOUPS 48705 WITH SCORE 48789.151
AT ITER 2344 NEW BEST:: SOT 209454 SOS 84102 HAS SOPS 68280 HAS SOUS 54836 HAS SOUPS 48694 WITH SCORE 48778.102
AT ITER 2349 NEW BEST:: SOT 209450 SOS 84094 HAS SOPS 68272 HAS SOUS 54828 HAS SOUPS 48686 WITH SCORE 48770.094
AT ITER 2363 NEW BEST:: SOT 209189 SOS 83941 HAS SOPS 68119 HAS SOUS 54739 HAS SOUPS 48597 WITH SCORE 48680.941
AT ITER 2368 NEW BEST:: SOT 209189 SOS 83941 HAS SOPS 68119 HAS SOUS 54733 HAS SOUPS 48591 WITH SCORE 48674.941
AT ITER 2371 NEW BEST:: SOT 208980 SOS 83732 HAS SOPS 67910 HAS SOUS 54645 HAS SOUPS 48503 WITH SCORE 48586.732
AT ITER 2384 NEW BEST:: SOT 208981 SOS 83733 HAS SOPS 67911 HAS SOUS 54631 HAS SOUPS 48489 WITH SCORE 48572.733
AT ITER 2387 NEW BEST:: SOT 208961 SOS 83683 HAS SOPS 67861 HAS SOUS 54597 HAS SOUPS 48455 WITH SCORE 48538.683
AT ITER 2389 NEW BEST:: SOT 208959 SOS 83678 HAS SOPS 67856 HAS SOUS 54594 HAS SOUPS 48452 WITH SCORE 48535.678
AT ITER 2399 NEW BEST:: SOT 208911 SOS 83630 HAS SOPS 67808 HAS SOUS 54570 HAS SOUPS 48428 WITH SCORE 48511.63
AT ITER 2404 NEW BEST:: SOT 209066 SOS 83630 HAS SOPS 67808 HAS SOUS 54568 HAS SOUPS 48426 WITH SCORE 48509.63
AT ITER 2406 NEW BEST:: SOT 209065 SOS 83628 HAS SOPS 67806 HAS SOUS 54566 HAS SOUPS 48424 WITH SCORE 48507.628
AT ITER 2410 NEW BEST:: SOT 209013 SOS 83576 HAS SOPS 67754 HAS SOUS 54523 HAS SOUPS 48381 WITH SCORE 48464.576
AT ITER 2417 NEW BEST:: SOT 208841 SOS 82963 HAS SOPS 67141 HAS SOUS 54290 HAS SOUPS 48148 WITH SCORE 48230.963
AT ITER 2442 NEW BEST:: SOT 208837 SOS 83094 HAS SOPS 67272 HAS SOUS 54288 HAS SOUPS 48146 WITH SCORE 48229.094
AT ITER 2479 NEW BEST:: SOT 208817 SOS 83064 HAS SOPS 67232 HAS SOUS 54248 HAS SOUPS 48106 WITH SCORE 48189.064
AT ITER 2492 NEW BEST:: SOT 208781 SOS 83028 HAS SOPS 67196 HAS SOUS 54224 HAS SOUPS 48082 WITH SCORE 48165.028
AT ITER 2498 NEW BEST:: SOT 208787 SOS 83046 HAS SOPS 67202 HAS SOUS 54224 HAS SOUPS 48079 WITH SCORE 48162.046
AT ITER 2507 NEW BEST:: SOT 208798 SOS 82694 HAS SOPS 66850 HAS SOUS 53990 HAS SOUPS 47845 WITH SCORE 47927.694
AT ITER 2517 NEW BEST:: SOT 208769 SOS 82715 HAS SOPS 66557 HAS SOUS 53873 HAS SOUPS 47640 WITH SCORE 47722.715
AT ITER 2525 NEW BEST:: SOT 208725 SOS 82666 HAS SOPS 66553 HAS SOUS 53864 HAS SOUPS 47636 WITH SCORE 47718.666
AT ITER 2529 NEW BEST:: SOT 208719 SOS 82669 HAS SOPS 66556 HAS SOUS 53859 HAS SOUPS 47631 WITH SCORE 47713.669
AT ITER 2530 NEW BEST:: SOT 208756 SOS 82706 HAS SOPS 66593 HAS SOUS 53822 HAS SOUPS 47594 WITH SCORE 47676.706
AT ITER 2537 NEW BEST:: SOT 208737 SOS 82631 HAS SOPS 66537 HAS SOUS 53757 HAS SOUPS 47548 WITH SCORE 47630.631
AT ITER 2539 NEW BEST:: SOT 208703 SOS 82563 HAS SOPS 66469 HAS SOUS 53706 HAS SOUPS 47497 WITH SCORE 47579.563
AT ITER 2543 NEW BEST:: SOT 208702 SOS 82562 HAS SOPS 66468 HAS SOUS 53705 HAS SOUPS 47496 WITH SCORE 47578.562
AT ITER 2571 NEW BEST:: SOT 208749 SOS 82531 HAS SOPS 66437 HAS SOUS 53688 HAS SOUPS 47479 WITH SCORE 47561.531
AT ITER 2575 NEW BEST:: SOT 208699 SOS 82476 HAS SOPS 66382 HAS SOUS 53658 HAS SOUPS 47449 WITH SCORE 47531.476
AT ITER 2611 NEW BEST:: SOT 208699 SOS 82476 HAS SOPS 66328 HAS SOUS 53604 HAS SOUPS 47341 WITH SCORE 47423.476
AT ITER 2626 NEW BEST:: SOT 208729 SOS 82554 HAS SOPS 66274 HAS SOUS 53550 HAS SOUPS 47287 WITH SCORE 47369.554
AT ITER 2628 NEW BEST:: SOT 208643 SOS 82482 HAS SOPS 66202 HAS SOUS 53517 HAS SOUPS 47254 WITH SCORE 47336.482
AT ITER 2637 NEW BEST:: SOT 208639 SOS 82444 HAS SOPS 66164 HAS SOUS 53509 HAS SOUPS 47246 WITH SCORE 47328.444
AT ITER 2648 NEW BEST:: SOT 208570 SOS 82234 HAS SOPS 65957 HAS SOUS 53408 HAS SOUPS 47145 WITH SCORE 47227.234
AT ITER 2671 NEW BEST:: SOT 208553 SOS 82217 HAS SOPS 65956 HAS SOUS 53358 HAS SOUPS 47111 WITH SCORE 47193.217
AT ITER 2676 NEW BEST:: SOT 208509 SOS 82151 HAS SOPS 65890 HAS SOUS 53270 HAS SOUPS 47023 WITH SCORE 47105.151
AT ITER 2683 NEW BEST:: SOT 208359 SOS 81978 HAS SOPS 65717 HAS SOUS 53120 HAS SOUPS 46873 WITH SCORE 46954.978
AT ITER 2686 NEW BEST:: SOT 208315 SOS 81934 HAS SOPS 65673 HAS SOUS 53120 HAS SOUPS 46873 WITH SCORE 46954.934
AT ITER 2689 NEW BEST:: SOT 208406 SOS 82025 HAS SOPS 65764 HAS SOUS 53084 HAS SOUPS 46837 WITH SCORE 46919.025
AT ITER 2698 NEW BEST:: SOT 208324 SOS 81861 HAS SOPS 65764 HAS SOUS 52920 HAS SOUPS 46837 WITH SCORE 46918.861
AT ITER 2699 NEW BEST:: SOT 208324 SOS 81857 HAS SOPS 65760 HAS SOUS 52906 HAS SOUPS 46823 WITH SCORE 46904.857
AT ITER 2700 NEW BEST:: SOT 208323 SOS 81790 HAS SOPS 65693 HAS SOUS 52877 HAS SOUPS 46794 WITH SCORE 46875.79
AT ITER 2702 NEW BEST:: SOT 208295 SOS 81661 HAS SOPS 65564 HAS SOUS 52720 HAS SOUPS 46637 WITH SCORE 46718.661
AT ITER 2713 NEW BEST:: SOT 208179 SOS 81377 HAS SOPS 65280 HAS SOUS 52604 HAS SOUPS 46521 WITH SCORE 46602.377
AT ITER 2716 NEW BEST:: SOT 208174 SOS 81387 HAS SOPS 65290 HAS SOUS 52552 HAS SOUPS 46469 WITH SCORE 46550.387
AT ITER 2717 NEW BEST:: SOT 208166 SOS 81371 HAS SOPS 65274 HAS SOUS 52544 HAS SOUPS 46461 WITH SCORE 46542.371
AT ITER 2720 NEW BEST:: SOT 208095 SOS 81296 HAS SOPS 65199 HAS SOUS 52469 HAS SOUPS 46386 WITH SCORE 46467.296
AT ITER 2736 NEW BEST:: SOT 208095 SOS 81276 HAS SOPS 65179 HAS SOUS 52449 HAS SOUPS 46366 WITH SCORE 46447.276
AT ITER 2753 NEW BEST:: SOT 207969 SOS 80730 HAS SOPS 64927 HAS SOUS 52356 HAS SOUPS 46324 WITH SCORE 46404.73
AT ITER 2762 NEW BEST:: SOT 207961 SOS 80722 HAS SOPS 64919 HAS SOUS 52348 HAS SOUPS 46316 WITH SCORE 46396.722
AT ITER 2767 NEW BEST:: SOT 207938 SOS 80585 HAS SOPS 64782 HAS SOUS 52331 HAS SOUPS 46299 WITH SCORE 46379.585
AT ITER 2775 NEW BEST:: SOT 207895 SOS 80506 HAS SOPS 64703 HAS SOUS 52288 HAS SOUPS 46256 WITH SCORE 46336.506
AT ITER 2779 NEW BEST:: SOT 207877 SOS 80488 HAS SOPS 64685 HAS SOUS 52280 HAS SOUPS 46248 WITH SCORE 46328.488
AT ITER 2794 NEW BEST:: SOT 207877 SOS 80413 HAS SOPS 64610 HAS SOUS 52255 HAS SOUPS 46223 WITH SCORE 46303.413
AT ITER 2809 NEW BEST:: SOT 207829 SOS 80293 HAS SOPS 64562 HAS SOUS 52183 HAS SOUPS 46175 WITH SCORE 46255.293
AT ITER 2810 NEW BEST:: SOT 207755 SOS 80108 HAS SOPS 64377 HAS SOUS 52072 HAS SOUPS 46064 WITH SCORE 46144.108
AT ITER 2820 NEW BEST:: SOT 207687 SOS 80052 HAS SOPS 64321 HAS SOUS 52016 HAS SOUPS 46008 WITH SCORE 46088.052
AT ITER 2826 NEW BEST:: SOT 207647 SOS 79998 HAS SOPS 64267 HAS SOUS 51976 HAS SOUPS 45968 WITH SCORE 46047.998
AT ITER 2832 NEW BEST:: SOT 207627 SOS 80037 HAS SOPS 64306 HAS SOUS 51956 HAS SOUPS 45948 WITH SCORE 46028.037
AT ITER 2833 NEW BEST:: SOT 207577 SOS 79912 HAS SOPS 64181 HAS SOUS 51856 HAS SOUPS 45848 WITH SCORE 45927.912
AT ITER 2842 NEW BEST:: SOT 207577 SOS 79910 HAS SOPS 64181 HAS SOUS 51854 HAS SOUPS 45848 WITH SCORE 45927.91
AT ITER 2845 NEW BEST:: SOT 207575 SOS 79871 HAS SOPS 64179 HAS SOUS 51815 HAS SOUPS 45846 WITH SCORE 45925.871
AT ITER 2848 NEW BEST:: SOT 207525 SOS 79920 HAS SOPS 64228 HAS SOUS 51776 HAS SOUPS 45807 WITH SCORE 45886.92
AT ITER 2861 NEW BEST:: SOT 207502 SOS 79897 HAS SOPS 64205 HAS SOUS 51757 HAS SOUPS 45788 WITH SCORE 45867.897
AT ITER 2864 NEW BEST:: SOT 207800 SOS 80460 HAS SOPS 64040 HAS SOUS 51873 HAS SOUPS 45722 WITH SCORE 45802.46
AT ITER 2876 NEW BEST:: SOT 207689 SOS 80409 HAS SOPS 63989 HAS SOUS 51822 HAS SOUPS 45671 WITH SCORE 45751.409
AT ITER 2879 NEW BEST:: SOT 207645 SOS 80277 HAS SOPS 63857 HAS SOUS 51690 HAS SOUPS 45539 WITH SCORE 45619.277
AT ITER 2883 NEW BEST:: SOT 207593 SOS 80208 HAS SOPS 63779 HAS SOUS 51647 HAS SOUPS 45487 WITH SCORE 45567.208
AT ITER 2902 NEW BEST:: SOT 207637 SOS 80200 HAS SOPS 63771 HAS SOUS 51639 HAS SOUPS 45479 WITH SCORE 45559.2
AT ITER 2910 NEW BEST:: SOT 207664 SOS 80227 HAS SOPS 63825 HAS SOUS 51610 HAS SOUPS 45477 WITH SCORE 45557.227
AT ITER 2913 NEW BEST:: SOT 207518 SOS 80072 HAS SOPS 63670 HAS SOUS 51593 HAS SOUPS 45460 WITH SCORE 45540.072
AT ITER 2917 NEW BEST:: SOT 207630 SOS 80028 HAS SOPS 63626 HAS SOUS 51431 HAS SOUPS 45298 WITH SCORE 45378.028
AT ITER 2927 NEW BEST:: SOT 207594 SOS 79992 HAS SOPS 63590 HAS SOUS 51407 HAS SOUPS 45274 WITH SCORE 45353.992
AT ITER 2942 NEW BEST:: SOT 207523 SOS 79949 HAS SOPS 63547 HAS SOUS 51364 HAS SOUPS 45231 WITH SCORE 45310.949
AT ITER 2951 NEW BEST:: SOT 207517 SOS 79527 HAS SOPS 63541 HAS SOUS 51254 HAS SOUPS 45225 WITH SCORE 45304.527
AT ITER 2955 NEW BEST:: SOT 207555 SOS 79811 HAS SOPS 63825 HAS SOUS 51183 HAS SOUPS 45154 WITH SCORE 45233.811
AT ITER 2959 NEW BEST:: SOT 207401 SOS 79657 HAS SOPS 63671 HAS SOUS 50955 HAS SOUPS 44926 WITH SCORE 45005.657
AT ITER 2981 NEW BEST:: SOT 207374 SOS 79566 HAS SOPS 63644 HAS SOUS 50912 HAS SOUPS 44899 WITH SCORE 44978.566
AT ITER 2990 NEW BEST:: SOT 207284 SOS 79537 HAS SOPS 63501 HAS SOUS 50883 HAS SOUPS 44756 WITH SCORE 44835.537
AT ITER 3005 NEW BEST:: SOT 207276 SOS 79598 HAS SOPS 63414 HAS SOUS 50866 HAS SOUPS 44669 WITH SCORE 44748.598
AT ITER 3010 NEW BEST:: SOT 207272 SOS 79590 HAS SOPS 63406 HAS SOUS 50858 HAS SOUPS 44661 WITH SCORE 44740.59
AT ITER 3015 NEW BEST:: SOT 207276 SOS 79215 HAS SOPS 63031 HAS SOUS 50783 HAS SOUPS 44586 WITH SCORE 44665.215
AT ITER 3022 NEW BEST:: SOT 207063 SOS 78965 HAS SOPS 62780 HAS SOUS 50533 HAS SOUPS 44335 WITH SCORE 44413.965
AT ITER 3041 NEW BEST:: SOT 207094 SOS 78903 HAS SOPS 62718 HAS SOUS 50471 HAS SOUPS 44273 WITH SCORE 44351.903
AT ITER 3043 NEW BEST:: SOT 206932 SOS 78629 HAS SOPS 62444 HAS SOUS 50253 HAS SOUPS 44055 WITH SCORE 44133.629
AT ITER 3057 NEW BEST:: SOT 206809 SOS 78726 HAS SOPS 62508 HAS SOUS 50227 HAS SOUPS 44029 WITH SCORE 44107.726
AT ITER 3064 NEW BEST:: SOT 206809 SOS 78780 HAS SOPS 62490 HAS SOUS 50209 HAS SOUPS 43993 WITH SCORE 44071.78
AT ITER 3085 NEW BEST:: SOT 206647 SOS 78478 HAS SOPS 62188 HAS SOUS 50153 HAS SOUPS 43937 WITH SCORE 44015.478
AT ITER 3094 NEW BEST:: SOT 206608 SOS 78439 HAS SOPS 62131 HAS SOUS 50069 HAS SOUPS 43880 WITH SCORE 43958.439
AT ITER 3102 NEW BEST:: SOT 206608 SOS 78429 HAS SOPS 62116 HAS SOUS 50064 HAS SOUPS 43870 WITH SCORE 43948.429
AT ITER 3109 NEW BEST:: SOT 206608 SOS 78451 HAS SOPS 62116 HAS SOUS 50064 HAS SOUPS 43859 WITH SCORE 43937.451
AT ITER 3129 NEW BEST:: SOT 206813 SOS 79190 HAS SOPS 62091 HAS SOUS 50266 HAS SOUPS 43831 WITH SCORE 43910.19
AT ITER 3135 NEW BEST:: SOT 206798 SOS 79175 HAS SOPS 62061 HAS SOUS 50237 HAS SOUPS 43801 WITH SCORE 43880.175
AT ITER 3136 NEW BEST:: SOT 206761 SOS 79138 HAS SOPS 62024 HAS SOUS 50200 HAS SOUPS 43764 WITH SCORE 43843.138
AT ITER 3143 NEW BEST:: SOT 206636 SOS 79053 HAS SOPS 61938 HAS SOUS 50166 HAS SOUPS 43730 WITH SCORE 43809.053
AT ITER 3177 NEW BEST:: SOT 206633 SOS 79112 HAS SOPS 61997 HAS SOUS 50131 HAS SOUPS 43695 WITH SCORE 43774.112
AT ITER 3189 NEW BEST:: SOT 206633 SOS 79043 HAS SOPS 61928 HAS SOUS 50062 HAS SOUPS 43626 WITH SCORE 43705.043
AT ITER 3192 NEW BEST:: SOT 206626 SOS 79036 HAS SOPS 61921 HAS SOUS 50055 HAS SOUPS 43619 WITH SCORE 43698.036
AT ITER 3193 NEW BEST:: SOT 206691 SOS 78960 HAS SOPS 61845 HAS SOUS 49983 HAS SOUPS 43547 WITH SCORE 43625.96
AT ITER 3201 NEW BEST:: SOT 206627 SOS 78874 HAS SOPS 61717 HAS SOUS 49940 HAS SOUPS 43419 WITH SCORE 43497.874
AT ITER 3202 NEW BEST:: SOT 206627 SOS 78862 HAS SOPS 61705 HAS SOUS 49934 HAS SOUPS 43413 WITH SCORE 43491.862
AT ITER 3225 NEW BEST:: SOT 206539 SOS 78768 HAS SOPS 61611 HAS SOUS 49886 HAS SOUPS 43365 WITH SCORE 43443.768
AT ITER 3241 NEW BEST:: SOT 206529 SOS 78738 HAS SOPS 61581 HAS SOUS 49866 HAS SOUPS 43345 WITH SCORE 43423.738
AT ITER 3254 NEW BEST:: SOT 206485 SOS 78658 HAS SOPS 61529 HAS SOUS 49786 HAS SOUPS 43293 WITH SCORE 43371.658
AT ITER 3272 NEW BEST:: SOT 206539 SOS 78494 HAS SOPS 61365 HAS SOUS 49622 HAS SOUPS 43129 WITH SCORE 43207.494
AT ITER 3276 NEW BEST:: SOT 206538 SOS 78545 HAS SOPS 61363 HAS SOUS 49620 HAS SOUPS 43127 WITH SCORE 43205.545
AT ITER 3281 NEW BEST:: SOT 206402 SOS 78395 HAS SOPS 61091 HAS SOUS 49414 HAS SOUPS 42855 WITH SCORE 42933.395
AT ITER 3282 NEW BEST:: SOT 206401 SOS 78388 HAS SOPS 61084 HAS SOUS 49411 HAS SOUPS 42852 WITH SCORE 42930.388
AT ITER 3285 NEW BEST:: SOT 206362 SOS 78315 HAS SOPS 60977 HAS SOUS 49304 HAS SOUPS 42745 WITH SCORE 42823.315
AT ITER 3287 NEW BEST:: SOT 206399 SOS 78307 HAS SOPS 60841 HAS SOUS 49168 HAS SOUPS 42609 WITH SCORE 42687.307
AT ITER 3362 NEW BEST:: SOT 206369 SOS 78277 HAS SOPS 60811 HAS SOUS 49147 HAS SOUPS 42588 WITH SCORE 42666.277
AT ITER 3372 NEW BEST:: SOT 206365 SOS 78273 HAS SOPS 60807 HAS SOUS 49145 HAS SOUPS 42586 WITH SCORE 42664.273
AT ITER 3403 NEW BEST:: SOT 206365 SOS 77592 HAS SOPS 60126 HAS SOUS 49142 HAS SOUPS 42583 WITH SCORE 42660.592
AT ITER 3410 NEW BEST:: SOT 206360 SOS 77587 HAS SOPS 60121 HAS SOUS 49137 HAS SOUPS 42578 WITH SCORE 42655.587
AT ITER 3417 NEW BEST:: SOT 206294 SOS 77546 HAS SOPS 60080 HAS SOUS 49117 HAS SOUPS 42558 WITH SCORE 42635.546
AT ITER 3427 NEW BEST:: SOT 206383 SOS 77347 HAS SOPS 59974 HAS SOUS 49101 HAS SOUPS 42542 WITH SCORE 42619.347
AT ITER 3435 NEW BEST:: SOT 206448 SOS 77406 HAS SOPS 60033 HAS SOUS 49061 HAS SOUPS 42502 WITH SCORE 42579.406
AT ITER 3458 NEW BEST:: SOT 206396 SOS 77355 HAS SOPS 59982 HAS SOUS 48958 HAS SOUPS 42399 WITH SCORE 42476.355
AT ITER 3460 NEW BEST:: SOT 206396 SOS 77297 HAS SOPS 59924 HAS SOUS 48929 HAS SOUPS 42370 WITH SCORE 42447.297
AT ITER 3462 NEW BEST:: SOT 206344 SOS 77295 HAS SOPS 59922 HAS SOUS 48922 HAS SOUPS 42363 WITH SCORE 42440.295
AT ITER 3480 NEW BEST:: SOT 206328 SOS 77255 HAS SOPS 59882 HAS SOUS 48898 HAS SOUPS 42339 WITH SCORE 42416.255
AT ITER 3528 NEW BEST:: SOT 206263 SOS 77216 HAS SOPS 59873 HAS SOUS 48889 HAS SOUPS 42330 WITH SCORE 42407.216
AT ITER 3529 NEW BEST:: SOT 206189 SOS 77132 HAS SOPS 59789 HAS SOUS 48879 HAS SOUPS 42320 WITH SCORE 42397.132
AT ITER 3534 NEW BEST:: SOT 206165 SOS 77108 HAS SOPS 59789 HAS SOUS 48830 HAS SOUPS 42295 WITH SCORE 42372.108
AT ITER 3535 NEW BEST:: SOT 206165 SOS 77104 HAS SOPS 59764 HAS SOUS 48826 HAS SOUPS 42270 WITH SCORE 42347.104
AT ITER 3550 NEW BEST:: SOT 206165 SOS 77103 HAS SOPS 59763 HAS SOUS 48778 HAS SOUPS 42222 WITH SCORE 42299.103
AT ITER 3554 NEW BEST:: SOT 206209 SOS 77144 HAS SOPS 59688 HAS SOUS 48819 HAS SOUPS 42147 WITH SCORE 42224.144
AT ITER 3555 NEW BEST:: SOT 206192 SOS 77127 HAS SOPS 59654 HAS SOUS 48802 HAS SOUPS 42113 WITH SCORE 42190.127
AT ITER 3556 NEW BEST:: SOT 206192 SOS 77083 HAS SOPS 59588 HAS SOUS 48780 HAS SOUPS 42069 WITH SCORE 42146.083
AT ITER 3557 NEW BEST:: SOT 206168 SOS 77043 HAS SOPS 59548 HAS SOUS 48756 HAS SOUPS 42045 WITH SCORE 42122.043
AT ITER 3576 NEW BEST:: SOT 206154 SOS 77008 HAS SOPS 59513 HAS SOUS 48742 HAS SOUPS 42031 WITH SCORE 42108.008
AT ITER 3577 NEW BEST:: SOT 206140 SOS 76980 HAS SOPS 59485 HAS SOUS 48713 HAS SOUPS 42002 WITH SCORE 42078.98
AT ITER 3585 NEW BEST:: SOT 206060 SOS 76815 HAS SOPS 59320 HAS SOUS 48627 HAS SOUPS 41916 WITH SCORE 41992.815
AT ITER 3589 NEW BEST:: SOT 205906 SOS 76535 HAS SOPS 59040 HAS SOUS 48505 HAS SOUPS 41794 WITH SCORE 41870.535
AT ITER 3590 NEW BEST:: SOT 205890 SOS 76519 HAS SOPS 59008 HAS SOUS 48473 HAS SOUPS 41762 WITH SCORE 41838.519
AT ITER 3606 NEW BEST:: SOT 205842 SOS 76491 HAS SOPS 58946 HAS SOUS 48442 HAS SOUPS 41714 WITH SCORE 41790.491
AT ITER 3625 NEW BEST:: SOT 205649 SOS 76297 HAS SOPS 58703 HAS SOUS 48271 HAS SOUPS 41543 WITH SCORE 41619.297
AT ITER 3694 NEW BEST:: SOT 205416 SOS 75333 HAS SOPS 58575 HAS SOUS 47924 HAS SOUPS 41459 WITH SCORE 41534.333
AT ITER 3713 NEW BEST:: SOT 205377 SOS 75293 HAS SOPS 58536 HAS SOUS 47884 HAS SOUPS 41420 WITH SCORE 41495.293
AT ITER 3722 NEW BEST:: SOT 205375 SOS 75291 HAS SOPS 58532 HAS SOUS 47890 HAS SOUPS 41416 WITH SCORE 41491.291
AT ITER 3725 NEW BEST:: SOT 205374 SOS 75345 HAS SOPS 58586 HAS SOUS 47838 HAS SOUPS 41364 WITH SCORE 41439.345
AT ITER 3738 NEW BEST:: SOT 205335 SOS 75118 HAS SOPS 58359 HAS SOUS 47799 HAS SOUPS 41325 WITH SCORE 41400.118
AT ITER 3747 NEW BEST:: SOT 205266 SOS 75049 HAS SOPS 58255 HAS SOUS 47729 HAS SOUPS 41255 WITH SCORE 41330.049
AT ITER 3759 NEW BEST:: SOT 205321 SOS 75043 HAS SOPS 58142 HAS SOUS 47674 HAS SOUPS 41200 WITH SCORE 41275.043
AT ITER 3776 NEW BEST:: SOT 205293 SOS 74986 HAS SOPS 58085 HAS SOUS 47645 HAS SOUPS 41171 WITH SCORE 41245.986
AT ITER 3801 NEW BEST:: SOT 205270 SOS 74941 HAS SOPS 58040 HAS SOUS 47600 HAS SOUPS 41126 WITH SCORE 41200.941
AT ITER 3802 NEW BEST:: SOT 205460 SOS 75930 HAS SOPS 58213 HAS SOUS 47800 HAS SOUPS 41122 WITH SCORE 41197.93
AT ITER 3807 NEW BEST:: SOT 205447 SOS 75917 HAS SOPS 58187 HAS SOUS 47787 HAS SOUPS 41096 WITH SCORE 41171.917
AT ITER 3817 NEW BEST:: SOT 205359 SOS 75762 HAS SOPS 58032 HAS SOUS 47632 HAS SOUPS 40941 WITH SCORE 41016.762
AT ITER 3822 NEW BEST:: SOT 205281 SOS 75668 HAS SOPS 58016 HAS SOUS 47538 HAS SOUPS 40925 WITH SCORE 41000.668
AT ITER 3849 NEW BEST:: SOT 205281 SOS 75554 HAS SOPS 57902 HAS SOUS 47481 HAS SOUPS 40868 WITH SCORE 40943.554
AT ITER 3900 NEW BEST:: SOT 205281 SOS 75554 HAS SOPS 57902 HAS SOUS 47480 HAS SOUPS 40867 WITH SCORE 40942.554
AT ITER 3904 NEW BEST:: SOT 205343 SOS 75652 HAS SOPS 57835 HAS SOUS 47488 HAS SOUPS 40800 WITH SCORE 40875.652
AT ITER 3910 NEW BEST:: SOT 205343 SOS 75619 HAS SOPS 57802 HAS SOUS 47488 HAS SOUPS 40800 WITH SCORE 40875.619
AT ITER 3911 NEW BEST:: SOT 205313 SOS 75544 HAS SOPS 57727 HAS SOUS 47443 HAS SOUPS 40755 WITH SCORE 40830.544
AT ITER 3930 NEW BEST:: SOT 205252 SOS 75483 HAS SOPS 57666 HAS SOUS 47389 HAS SOUPS 40701 WITH SCORE 40776.483
AT ITER 3946 NEW BEST:: SOT 205261 SOS 75487 HAS SOPS 57670 HAS SOUS 47379 HAS SOUPS 40691 WITH SCORE 40766.487
AT ITER 3954 NEW BEST:: SOT 205261 SOS 75471 HAS SOPS 57654 HAS SOUS 47379 HAS SOUPS 40691 WITH SCORE 40766.471
AT ITER 3959 NEW BEST:: SOT 205251 SOS 75451 HAS SOPS 57634 HAS SOUS 47369 HAS SOUPS 40681 WITH SCORE 40756.451
AT ITER 3964 NEW BEST:: SOT 205201 SOS 75401 HAS SOPS 57584 HAS SOUS 47341 HAS SOUPS 40653 WITH SCORE 40728.401
AT ITER 3965 NEW BEST:: SOT 205201 SOS 75401 HAS SOPS 57530 HAS SOUS 47287 HAS SOUPS 40545 WITH SCORE 40620.401
AT ITER 3975 NEW BEST:: SOT 205206 SOS 75406 HAS SOPS 57504 HAS SOUS 47261 HAS SOUPS 40519 WITH SCORE 40594.406
AT ITER 3982 NEW BEST:: SOT 205172 SOS 75505 HAS SOPS 57603 HAS SOUS 47227 HAS SOUPS 40485 WITH SCORE 40560.505
AT ITER 3990 NEW BEST:: SOT 205155 SOS 75431 HAS SOPS 57529 HAS SOUS 47207 HAS SOUPS 40465 WITH SCORE 40540.431
AT ITER 4008 NEW BEST:: SOT 205306 SOS 76462 HAS SOPS 57680 HAS SOUS 47279 HAS SOUPS 40307 WITH SCORE 40383.462
AT ITER 4019 NEW BEST:: SOT 205454 SOS 76570 HAS SOPS 57641 HAS SOUS 47387 HAS SOUPS 40268 WITH SCORE 40344.57
AT ITER 4029 NEW BEST:: SOT 205431 SOS 76530 HAS SOPS 57595 HAS SOUS 47347 HAS SOUPS 40222 WITH SCORE 40298.53
AT ITER 4039 NEW BEST:: SOT 205413 SOS 76512 HAS SOPS 57563 HAS SOUS 47329 HAS SOUPS 40190 WITH SCORE 40266.512
AT ITER 4078 NEW BEST:: SOT 205413 SOS 76842 HAS SOPS 57453 HAS SOUS 47329 HAS SOUPS 40080 WITH SCORE 40156.842
AT ITER 4084 NEW BEST:: SOT 205444 SOS 76880 HAS SOPS 57396 HAS SOUS 47274 HAS SOUPS 40024 WITH SCORE 40100.88
AT ITER 4096 NEW BEST:: SOT 205422 SOS 76825 HAS SOPS 57341 HAS SOUS 47241 HAS SOUPS 39991 WITH SCORE 40067.825
AT ITER 4111 NEW BEST:: SOT 205515 SOS 77192 HAS SOPS 57312 HAS SOUS 47393 HAS SOUPS 39962 WITH SCORE 40039.192
AT ITER 4131 NEW BEST:: SOT 205515 SOS 77134 HAS SOPS 57312 HAS SOUS 47393 HAS SOUPS 39962 WITH SCORE 40039.134
AT ITER 4155 NEW BEST:: SOT 205515 SOS 77156 HAS SOPS 57310 HAS SOUS 47391 HAS SOUPS 39960 WITH SCORE 40037.156
AT ITER 4172 NEW BEST:: SOT 205457 SOS 76982 HAS SOPS 57252 HAS SOUS 47333 HAS SOUPS 39931 WITH SCORE 40007.982
AT ITER 4176 NEW BEST:: SOT 205446 SOS 76971 HAS SOPS 57180 HAS SOUS 47320 HAS SOUPS 39859 WITH SCORE 39935.971
AT ITER 4187 NEW BEST:: SOT 205446 SOS 76902 HAS SOPS 57180 HAS SOUS 47251 HAS SOUPS 39859 WITH SCORE 39935.902
AT ITER 4202 NEW BEST:: SOT 205439 SOS 76895 HAS SOPS 57338 HAS SOUS 47237 HAS SOUPS 39845 WITH SCORE 39921.895
AT ITER 4226 NEW BEST:: SOT 205407 SOS 76981 HAS SOPS 57298 HAS SOUS 47288 HAS SOUPS 39770 WITH SCORE 39846.981
AT ITER 4240 NEW BEST:: SOT 205397 SOS 76961 HAS SOPS 57278 HAS SOUS 47278 HAS SOUPS 39760 WITH SCORE 39836.961
AT ITER 4246 NEW BEST:: SOT 205334 SOS 76724 HAS SOPS 57041 HAS SOUS 47209 HAS SOUPS 39691 WITH SCORE 39767.724
AT ITER 4253 NEW BEST:: SOT 205320 SOS 76827 HAS SOPS 57144 HAS SOUS 47198 HAS SOUPS 39680 WITH SCORE 39756.827
AT ITER 4257 NEW BEST:: SOT 205299 SOS 76865 HAS SOPS 57068 HAS SOUS 47216 HAS SOUPS 39584 WITH SCORE 39660.865
AT ITER 4275 NEW BEST:: SOT 205299 SOS 76811 HAS SOPS 57068 HAS SOUS 47216 HAS SOUPS 39584 WITH SCORE 39660.811
AT ITER 4278 NEW BEST:: SOT 205317 SOS 76865 HAS SOPS 57086 HAS SOUS 47216 HAS SOUPS 39575 WITH SCORE 39651.865
AT ITER 4285 NEW BEST:: SOT 205352 SOS 76913 HAS SOPS 57111 HAS SOUS 47200 HAS SOUPS 39536 WITH SCORE 39612.913
AT ITER 4320 NEW BEST:: SOT 205412 SOS 76910 HAS SOPS 57108 HAS SOUS 47171 HAS SOUPS 39507 WITH SCORE 39583.91
AT ITER 4330 NEW BEST:: SOT 205355 SOS 76853 HAS SOPS 56863 HAS SOUS 47029 HAS SOUPS 39262 WITH SCORE 39338.853
AT ITER 4335 NEW BEST:: SOT 205334 SOS 76798 HAS SOPS 56855 HAS SOUS 46987 HAS SOUPS 39220 WITH SCORE 39296.798
AT ITER 4344 NEW BEST:: SOT 205334 SOS 76894 HAS SOPS 56823 HAS SOUS 46987 HAS SOUPS 39188 WITH SCORE 39264.894
AT ITER 4361 NEW BEST:: SOT 205004 SOS 76288 HAS SOPS 56493 HAS SOUS 46381 HAS SOUPS 38858 WITH SCORE 38934.288
AT ITER 4376 NEW BEST:: SOT 205004 SOS 76098 HAS SOPS 56164 HAS SOUS 46330 HAS SOUPS 38668 WITH SCORE 38744.098
AT ITER 4377 NEW BEST:: SOT 204993 SOS 76087 HAS SOPS 56153 HAS SOUS 46325 HAS SOUPS 38663 WITH SCORE 38739.087
AT ITER 4397 NEW BEST:: SOT 205006 SOS 76113 HAS SOPS 56179 HAS SOUS 46324 HAS SOUPS 38662 WITH SCORE 38738.113
AT ITER 4406 NEW BEST:: SOT 205005 SOS 76112 HAS SOPS 56177 HAS SOUS 46272 HAS SOUPS 38660 WITH SCORE 38736.112
AT ITER 4411 NEW BEST:: SOT 205005 SOS 76107 HAS SOPS 56172 HAS SOUS 46267 HAS SOUPS 38660 WITH SCORE 38736.107
AT ITER 4414 NEW BEST:: SOT 205037 SOS 76139 HAS SOPS 56066 HAS SOUS 46225 HAS SOUPS 38554 WITH SCORE 38630.139
AT ITER 4427 NEW BEST:: SOT 205010 SOS 76112 HAS SOPS 55985 HAS SOUS 46144 HAS SOUPS 38473 WITH SCORE 38549.112
AT ITER 4465 NEW BEST:: SOT 204989 SOS 76033 HAS SOPS 55964 HAS SOUS 46123 HAS SOUPS 38473 WITH SCORE 38549.033
AT ITER 4493 NEW BEST:: SOT 204984 SOS 76023 HAS SOPS 55954 HAS SOUS 46113 HAS SOUPS 38463 WITH SCORE 38539.023
AT ITER 4506 NEW BEST:: SOT 204991 SOS 76002 HAS SOPS 55933 HAS SOUS 46098 HAS SOUPS 38448 WITH SCORE 38524.002
AT ITER 4514 NEW BEST:: SOT 204976 SOS 75927 HAS SOPS 55858 HAS SOUS 46068 HAS SOUPS 38418 WITH SCORE 38493.927
AT ITER 4525 NEW BEST:: SOT 204897 SOS 75735 HAS SOPS 55666 HAS SOUS 46046 HAS SOUPS 38396 WITH SCORE 38471.735
AT ITER 4530 NEW BEST:: SOT 204864 SOS 75661 HAS SOPS 55595 HAS SOUS 45990 HAS SOUPS 38343 WITH SCORE 38418.661
AT ITER 4536 NEW BEST:: SOT 204842 SOS 75639 HAS SOPS 55601 HAS SOUS 45918 HAS SOUPS 38299 WITH SCORE 38374.639
AT ITER 4550 NEW BEST:: SOT 204920 SOS 75723 HAS SOPS 55425 HAS SOUS 45931 HAS SOUPS 38247 WITH SCORE 38322.723
AT ITER 4561 NEW BEST:: SOT 204877 SOS 75690 HAS SOPS 55392 HAS SOUS 45907 HAS SOUPS 38223 WITH SCORE 38298.69
AT ITER 4587 NEW BEST:: SOT 204850 SOS 75663 HAS SOPS 55365 HAS SOUS 45900 HAS SOUPS 38216 WITH SCORE 38291.663
AT ITER 4589 NEW BEST:: SOT 204803 SOS 75585 HAS SOPS 55318 HAS SOUS 45822 HAS SOUPS 38169 WITH SCORE 38244.585
AT ITER 4594 NEW BEST:: SOT 204797 SOS 75573 HAS SOPS 55306 HAS SOUS 45820 HAS SOUPS 38167 WITH SCORE 38242.573
AT ITER 4604 NEW BEST:: SOT 204686 SOS 75369 HAS SOPS 55253 HAS SOUS 45627 HAS SOUPS 38125 WITH SCORE 38200.369
AT ITER 4611 NEW BEST:: SOT 204661 SOS 75307 HAS SOPS 55203 HAS SOUS 45564 HAS SOUPS 38075 WITH SCORE 38150.307
AT ITER 4625 NEW BEST:: SOT 204508 SOS 74942 HAS SOPS 55058 HAS SOUS 45411 HAS SOUPS 37977 WITH SCORE 38051.942
AT ITER 4633 NEW BEST:: SOT 204481 SOS 74915 HAS SOPS 55031 HAS SOUS 45401 HAS SOUPS 37967 WITH SCORE 38041.915
AT ITER 4688 NEW BEST:: SOT 204490 SOS 75526 HAS SOPS 54858 HAS SOUS 45424 HAS SOUPS 37794 WITH SCORE 37869.526
AT ITER 4708 NEW BEST:: SOT 204276 SOS 75387 HAS SOPS 54719 HAS SOUS 45357 HAS SOUPS 37727 WITH SCORE 37802.387
AT ITER 4728 NEW BEST:: SOT 204068 SOS 75255 HAS SOPS 54587 HAS SOUS 45298 HAS SOUPS 37668 WITH SCORE 37743.255
AT ITER 4760 NEW BEST:: SOT 204058 SOS 75245 HAS SOPS 54567 HAS SOUS 45299 HAS SOUPS 37648 WITH SCORE 37723.245
AT ITER 4764 NEW BEST:: SOT 203876 SOS 75045 HAS SOPS 54367 HAS SOUS 45099 HAS SOUPS 37448 WITH SCORE 37523.045
AT ITER 4794 NEW BEST:: SOT 203863 SOS 75143 HAS SOPS 54400 HAS SOUS 45089 HAS SOUPS 37438 WITH SCORE 37513.143
AT ITER 4796 NEW BEST:: SOT 203686 SOS 75058 HAS SOPS 54315 HAS SOUS 45001 HAS SOUPS 37350 WITH SCORE 37425.058
AT ITER 4842 NEW BEST:: SOT 203686 SOS 75126 HAS SOPS 54195 HAS SOUS 44975 HAS SOUPS 37277 WITH SCORE 37352.126
AT ITER 4890 NEW BEST:: SOT 203652 SOS 75058 HAS SOPS 54127 HAS SOUS 44941 HAS SOUPS 37243 WITH SCORE 37318.058
AT ITER 4946 NEW BEST:: SOT 203587 SOS 74753 HAS SOPS 53838 HAS SOUS 44844 HAS SOUPS 37162 WITH SCORE 37236.753
AT ITER 4948 NEW BEST:: SOT 203577 SOS 74733 HAS SOPS 53818 HAS SOUS 44824 HAS SOUPS 37142 WITH SCORE 37216.733
AT ITER 4980 NEW BEST:: SOT 203566 SOS 74722 HAS SOPS 53818 HAS SOUS 44802 HAS SOUPS 37120 WITH SCORE 37194.722
AT ITER 4985 NEW BEST:: SOT 203548 SOS 74632 HAS SOPS 53800 HAS SOUS 44784 HAS SOUPS 37120 WITH SCORE 37194.632
AT ITER 4992 NEW BEST:: SOT 203452 SOS 74546 HAS SOPS 53714 HAS SOUS 44759 HAS SOUPS 37095 WITH SCORE 37169.546
AT ITER 5002 NEW BEST:: SOT 203452 SOS 74524 HAS SOPS 53692 HAS SOUS 44759 HAS SOUPS 37095 WITH SCORE 37169.524
AT ITER 5016 NEW BEST:: SOT 203222 SOS 74294 HAS SOPS 53347 HAS SOUS 44644 HAS SOUPS 36865 WITH SCORE 36939.294
AT ITER 5031 NEW BEST:: SOT 203222 SOS 74294 HAS SOPS 53253 HAS SOUS 44550 HAS SOUPS 36771 WITH SCORE 36845.294
AT ITER 5033 NEW BEST:: SOT 203194 SOS 74214 HAS SOPS 53173 HAS SOUS 44496 HAS SOUPS 36717 WITH SCORE 36791.214
AT ITER 5041 NEW BEST:: SOT 203190 SOS 74210 HAS SOPS 53169 HAS SOUS 44488 HAS SOUPS 36709 WITH SCORE 36783.21
AT ITER 5066 NEW BEST:: SOT 203215 SOS 74174 HAS SOPS 53133 HAS SOUS 44452 HAS SOUPS 36673 WITH SCORE 36747.174
AT ITER 5097 NEW BEST:: SOT 203234 SOS 74193 HAS SOPS 53152 HAS SOUS 44431 HAS SOUPS 36652 WITH SCORE 36726.193
AT ITER 5114 NEW BEST:: SOT 203030 SOS 74065 HAS SOPS 53024 HAS SOUS 44297 HAS SOUPS 36518 WITH SCORE 36592.065
AT ITER 5130 NEW BEST:: SOT 203038 SOS 74073 HAS SOPS 53032 HAS SOUS 44250 HAS SOUPS 36471 WITH SCORE 36545.073
AT ITER 5133 NEW BEST:: SOT 203176 SOS 74263 HAS SOPS 53007 HAS SOUS 44326 HAS SOUPS 36446 WITH SCORE 36520.263
AT ITER 5149 NEW BEST:: SOT 203348 SOS 74384 HAS SOPS 53128 HAS SOUS 44313 HAS SOUPS 36433 WITH SCORE 36507.384
AT ITER 5183 NEW BEST:: SOT 203317 SOS 74348 HAS SOPS 53092 HAS SOUS 44277 HAS SOUPS 36397 WITH SCORE 36471.348
AT ITER 5200 NEW BEST:: SOT 203333 SOS 74316 HAS SOPS 53076 HAS SOUS 44245 HAS SOUPS 36381 WITH SCORE 36455.316
AT ITER 5213 NEW BEST:: SOT 203333 SOS 74212 HAS SOPS 52972 HAS SOUS 44244 HAS SOUPS 36380 WITH SCORE 36454.212
AT ITER 5223 NEW BEST:: SOT 203309 SOS 74188 HAS SOPS 52924 HAS SOUS 44196 HAS SOUPS 36332 WITH SCORE 36406.188
AT ITER 5228 NEW BEST:: SOT 203358 SOS 74270 HAS SOPS 52973 HAS SOUS 44218 HAS SOUPS 36321 WITH SCORE 36395.27
AT ITER 5241 NEW BEST:: SOT 203358 SOS 74256 HAS SOPS 52931 HAS SOUS 44211 HAS SOUPS 36307 WITH SCORE 36381.256
AT ITER 5261 NEW BEST:: SOT 203356 SOS 74251 HAS SOPS 52926 HAS SOUS 44193 HAS SOUPS 36289 WITH SCORE 36363.251
AT ITER 5265 NEW BEST:: SOT 203322 SOS 74149 HAS SOPS 52858 HAS SOUS 44125 HAS SOUPS 36255 WITH SCORE 36329.149
AT ITER 5289 NEW BEST:: SOT 203285 SOS 74073 HAS SOPS 52852 HAS SOUS 44049 HAS SOUPS 36249 WITH SCORE 36323.073
AT ITER 5298 NEW BEST:: SOT 203358 SOS 74146 HAS SOPS 52924 HAS SOUS 44048 HAS SOUPS 36247 WITH SCORE 36321.146
AT ITER 5300 NEW BEST:: SOT 203308 SOS 74095 HAS SOPS 52873 HAS SOUS 44016 HAS SOUPS 36215 WITH SCORE 36289.095
AT ITER 5307 NEW BEST:: SOT 203307 SOS 74065 HAS SOPS 52843 HAS SOUS 44015 HAS SOUPS 36214 WITH SCORE 36288.065
AT ITER 5318 NEW BEST:: SOT 203253 SOS 73890 HAS SOPS 52843 HAS SOUS 43961 HAS SOUPS 36214 WITH SCORE 36287.89
AT ITER 5334 NEW BEST:: SOT 203253 SOS 73847 HAS SOPS 52800 HAS SOUS 43918 HAS SOUPS 36171 WITH SCORE 36244.847
AT ITER 5342 NEW BEST:: SOT 203253 SOS 73829 HAS SOPS 52773 HAS SOUS 43909 HAS SOUPS 36153 WITH SCORE 36226.829
AT ITER 5356 NEW BEST:: SOT 203321 SOS 73821 HAS SOPS 52765 HAS SOUS 43889 HAS SOUPS 36133 WITH SCORE 36206.821
AT ITER 5368 NEW BEST:: SOT 203303 SOS 73752 HAS SOPS 52696 HAS SOUS 43852 HAS SOUPS 36096 WITH SCORE 36169.752
AT ITER 5404 NEW BEST:: SOT 203291 SOS 73744 HAS SOPS 52688 HAS SOUS 43840 HAS SOUPS 36084 WITH SCORE 36157.744
AT ITER 5415 NEW BEST:: SOT 203272 SOS 73706 HAS SOPS 52650 HAS SOUS 43802 HAS SOUPS 36046 WITH SCORE 36119.706
AT ITER 5424 NEW BEST:: SOT 203259 SOS 73693 HAS SOPS 52624 HAS SOUS 43750 HAS SOUPS 36020 WITH SCORE 36093.693
AT ITER 5453 NEW BEST:: SOT 203219 SOS 73661 HAS SOPS 52592 HAS SOUS 43736 HAS SOUPS 36006 WITH SCORE 36079.661
AT ITER 5454 NEW BEST:: SOT 203110 SOS 73552 HAS SOPS 52442 HAS SOUS 43695 HAS SOUPS 35924 WITH SCORE 35997.552
AT ITER 5493 NEW BEST:: SOT 203012 SOS 73532 HAS SOPS 52383 HAS SOUS 43671 HAS SOUPS 35875 WITH SCORE 35948.532
AT ITER 5498 NEW BEST:: SOT 203042 SOS 73538 HAS SOPS 52389 HAS SOUS 43655 HAS SOUPS 35859 WITH SCORE 35932.538
AT ITER 5513 NEW BEST:: SOT 203021 SOS 73517 HAS SOPS 52354 HAS SOUS 43627 HAS SOUPS 35831 WITH SCORE 35904.517
AT ITER 5537 NEW BEST:: SOT 203021 SOS 73517 HAS SOPS 52354 HAS SOUS 43607 HAS SOUPS 35811 WITH SCORE 35884.517
AT ITER 5540 NEW BEST:: SOT 202981 SOS 73477 HAS SOPS 52274 HAS SOUS 43567 HAS SOUPS 35731 WITH SCORE 35804.477
AT ITER 5571 NEW BEST:: SOT 202952 SOS 73500 HAS SOPS 52297 HAS SOUS 43543 HAS SOUPS 35707 WITH SCORE 35780.5
AT ITER 5578 NEW BEST:: SOT 202916 SOS 73404 HAS SOPS 52201 HAS SOUS 43495 HAS SOUPS 35659 WITH SCORE 35732.404
AT ITER 5585 NEW BEST:: SOT 202978 SOS 73319 HAS SOPS 52068 HAS SOUS 43539 HAS SOUPS 35655 WITH SCORE 35728.319
AT ITER 5613 NEW BEST:: SOT 203188 SOS 73529 HAS SOPS 52061 HAS SOUS 43611 HAS SOUPS 35648 WITH SCORE 35721.529
AT ITER 5623 NEW BEST:: SOT 203202 SOS 73472 HAS SOPS 52004 HAS SOUS 43554 HAS SOUPS 35591 WITH SCORE 35664.472
AT ITER 5629 NEW BEST:: SOT 203208 SOS 73590 HAS SOPS 52095 HAS SOUS 43539 HAS SOUPS 35549 WITH SCORE 35622.59
AT ITER 5641 NEW BEST:: SOT 203188 SOS 73570 HAS SOPS 52075 HAS SOUS 43519 HAS SOUPS 35529 WITH SCORE 35602.57
AT ITER 5655 NEW BEST:: SOT 203160 SOS 73545 HAS SOPS 52050 HAS SOUS 43505 HAS SOUPS 35515 WITH SCORE 35588.545
AT ITER 5659 NEW BEST:: SOT 203190 SOS 73568 HAS SOPS 52059 HAS SOUS 43477 HAS SOUPS 35473 WITH SCORE 35546.568
AT ITER 5671 NEW BEST:: SOT 203148 SOS 73526 HAS SOPS 52017 HAS SOUS 43393 HAS SOUPS 35389 WITH SCORE 35462.526
AT ITER 5679 NEW BEST:: SOT 203212 SOS 73627 HAS SOPS 52016 HAS SOUS 43494 HAS SOUPS 35388 WITH SCORE 35461.627
AT ITER 5681 NEW BEST:: SOT 203219 SOS 73620 HAS SOPS 52009 HAS SOUS 43494 HAS SOUPS 35388 WITH SCORE 35461.62
AT ITER 5703 NEW BEST:: SOT 203215 SOS 73602 HAS SOPS 51991 HAS SOUS 43476 HAS SOUPS 35370 WITH SCORE 35443.602
AT ITER 5706 NEW BEST:: SOT 203215 SOS 73610 HAS SOPS 51999 HAS SOUS 43468 HAS SOUPS 35362 WITH SCORE 35435.61
AT ITER 5713 NEW BEST:: SOT 203193 SOS 73516 HAS SOPS 51905 HAS SOUS 43446 HAS SOUPS 35340 WITH SCORE 35413.516
AT ITER 5746 NEW BEST:: SOT 203176 SOS 73466 HAS SOPS 51855 HAS SOUS 43396 HAS SOUPS 35290 WITH SCORE 35363.466
AT ITER 5756 NEW BEST:: SOT 203158 SOS 73424 HAS SOPS 51814 HAS SOUS 43361 HAS SOUPS 35256 WITH SCORE 35329.424
AT ITER 5768 NEW BEST:: SOT 203083 SOS 73397 HAS SOPS 51712 HAS SOUS 43259 HAS SOUPS 35079 WITH SCORE 35152.397
AT ITER 5803 NEW BEST:: SOT 203077 SOS 73391 HAS SOPS 51700 HAS SOUS 43247 HAS SOUPS 35067 WITH SCORE 35140.391
AT ITER 5804 NEW BEST:: SOT 202975 SOS 73221 HAS SOPS 51530 HAS SOUS 43145 HAS SOUPS 34965 WITH SCORE 35038.221
AT ITER 5832 NEW BEST:: SOT 202878 SOS 73124 HAS SOPS 51479 HAS SOUS 42905 HAS SOUPS 34771 WITH SCORE 34844.124
AT ITER 5835 NEW BEST:: SOT 202878 SOS 73084 HAS SOPS 51439 HAS SOUS 42885 HAS SOUPS 34751 WITH SCORE 34824.084
AT ITER 5871 NEW BEST:: SOT 202835 SOS 72955 HAS SOPS 51353 HAS SOUS 42842 HAS SOUPS 34708 WITH SCORE 34780.955
AT ITER 5880 NEW BEST:: SOT 202806 SOS 72852 HAS SOPS 51250 HAS SOUS 42776 HAS SOUPS 34642 WITH SCORE 34714.852
AT ITER 5906 NEW BEST:: SOT 202804 SOS 72821 HAS SOPS 51219 HAS SOUS 42765 HAS SOUPS 34631 WITH SCORE 34703.821
AT ITER 5910 NEW BEST:: SOT 202804 SOS 72780 HAS SOPS 51219 HAS SOUS 42724 HAS SOUPS 34631 WITH SCORE 34703.78
AT ITER 5912 NEW BEST:: SOT 202804 SOS 72670 HAS SOPS 51054 HAS SOUS 42669 HAS SOUPS 34521 WITH SCORE 34593.67
AT ITER 5970 NEW BEST:: SOT 202764 SOS 72637 HAS SOPS 51021 HAS SOUS 42636 HAS SOUPS 34488 WITH SCORE 34560.637
AT ITER 5976 NEW BEST:: SOT 202728 SOS 72601 HAS SOPS 50873 HAS SOUS 42564 HAS SOUPS 34416 WITH SCORE 34488.601
AT ITER 5985 NEW BEST:: SOT 202685 SOS 72418 HAS SOPS 50690 HAS SOUS 42521 HAS SOUPS 34373 WITH SCORE 34445.418
AT ITER 5991 NEW BEST:: SOT 202678 SOS 72412 HAS SOPS 50677 HAS SOUS 42515 HAS SOUPS 34360 WITH SCORE 34432.412
AT ITER 5998 NEW BEST:: SOT 202621 SOS 72309 HAS SOPS 50647 HAS SOUS 42471 HAS SOUPS 34329 WITH SCORE 34401.309
AT ITER 6037 NEW BEST:: SOT 202662 SOS 72350 HAS SOPS 50729 HAS SOUS 42387 HAS SOUPS 34286 WITH SCORE 34358.35
AT ITER 6051 NEW BEST:: SOT 202622 SOS 72258 HAS SOPS 50649 HAS SOUS 42307 HAS SOUPS 34206 WITH SCORE 34278.258
AT ITER 6062 NEW BEST:: SOT 202630 SOS 72246 HAS SOPS 50650 HAS SOUS 42303 HAS SOUPS 34202 WITH SCORE 34274.246
AT ITER 6074 NEW BEST:: SOT 202592 SOS 72205 HAS SOPS 50609 HAS SOUS 42247 HAS SOUPS 34146 WITH SCORE 34218.205
AT ITER 6076 NEW BEST:: SOT 202569 SOS 72171 HAS SOPS 50584 HAS SOUS 42222 HAS SOUPS 34121 WITH SCORE 34193.171
AT ITER 6087 NEW BEST:: SOT 202564 SOS 72166 HAS SOPS 50581 HAS SOUS 42228 HAS SOUPS 34111 WITH SCORE 34183.166
AT ITER 6104 NEW BEST:: SOT 202564 SOS 72166 HAS SOPS 50564 HAS SOUS 42211 HAS SOUPS 34077 WITH SCORE 34149.166
AT ITER 6112 NEW BEST:: SOT 202518 SOS 72044 HAS SOPS 50442 HAS SOUS 42107 HAS SOUPS 33973 WITH SCORE 34045.044
AT ITER 6120 NEW BEST:: SOT 202508 SOS 72034 HAS SOPS 50432 HAS SOUS 42101 HAS SOUPS 33967 WITH SCORE 34039.034
AT ITER 6152 NEW BEST:: SOT 202476 SOS 71911 HAS SOPS 50309 HAS SOUS 42037 HAS SOUPS 33903 WITH SCORE 33974.911
AT ITER 6159 NEW BEST:: SOT 202421 SOS 71953 HAS SOPS 50351 HAS SOUS 41957 HAS SOUPS 33823 WITH SCORE 33894.953
AT ITER 6166 NEW BEST:: SOT 202414 SOS 71932 HAS SOPS 50330 HAS SOUS 41943 HAS SOUPS 33809 WITH SCORE 33880.932
AT ITER 6177 NEW BEST:: SOT 202414 SOS 71944 HAS SOPS 50284 HAS SOUS 41955 HAS SOUPS 33763 WITH SCORE 33834.944
AT ITER 6182 NEW BEST:: SOT 202417 SOS 71910 HAS SOPS 50209 HAS SOUS 41920 HAS SOUPS 33688 WITH SCORE 33759.91
AT ITER 6183 NEW BEST:: SOT 202405 SOS 71927 HAS SOPS 50226 HAS SOUS 41918 HAS SOUPS 33686 WITH SCORE 33757.927
AT ITER 6208 NEW BEST:: SOT 202385 SOS 71897 HAS SOPS 50196 HAS SOUS 41918 HAS SOUPS 33686 WITH SCORE 33757.897
AT ITER 6209 NEW BEST:: SOT 202379 SOS 71891 HAS SOPS 50190 HAS SOUS 41912 HAS SOUPS 33680 WITH SCORE 33751.891
AT ITER 6212 NEW BEST:: SOT 202355 SOS 71795 HAS SOPS 50190 HAS SOUS 41888 HAS SOUPS 33680 WITH SCORE 33751.795
AT ITER 6215 NEW BEST:: SOT 202391 SOS 71750 HAS SOPS 50145 HAS SOUS 41843 HAS SOUPS 33635 WITH SCORE 33706.75
AT ITER 6246 NEW BEST:: SOT 202391 SOS 71382 HAS SOPS 50145 HAS SOUS 41751 HAS SOUPS 33635 WITH SCORE 33706.382
AT ITER 6296 NEW BEST:: SOT 202371 SOS 71362 HAS SOPS 50105 HAS SOUS 41711 HAS SOUPS 33595 WITH SCORE 33666.362
AT ITER 6300 NEW BEST:: SOT 202409 SOS 71345 HAS SOPS 50077 HAS SOUS 41683 HAS SOUPS 33567 WITH SCORE 33638.345
AT ITER 6353 NEW BEST:: SOT 202345 SOS 71310 HAS SOPS 50012 HAS SOUS 41661 HAS SOUPS 33515 WITH SCORE 33586.31
AT ITER 6399 NEW BEST:: SOT 202422 SOS 71290 HAS SOPS 49992 HAS SOUS 41641 HAS SOUPS 33495 WITH SCORE 33566.29
AT ITER 6401 NEW BEST:: SOT 202419 SOS 71286 HAS SOPS 49989 HAS SOUS 41638 HAS SOUPS 33492 WITH SCORE 33563.286
AT ITER 6453 NEW BEST:: SOT 202417 SOS 71280 HAS SOPS 49985 HAS SOUS 41634 HAS SOUPS 33488 WITH SCORE 33559.28
AT ITER 6465 NEW BEST:: SOT 202416 SOS 71279 HAS SOPS 49983 HAS SOUS 41633 HAS SOUPS 33486 WITH SCORE 33557.279
AT ITER 6507 NEW BEST:: SOT 202412 SOS 71192 HAS SOPS 49896 HAS SOUS 41625 HAS SOUPS 33478 WITH SCORE 33549.192
AT ITER 6574 NEW BEST:: SOT 202423 SOS 71343 HAS SOPS 49918 HAS SOUS 41577 HAS SOUPS 33430 WITH SCORE 33501.343
AT ITER 6575 NEW BEST:: SOT 202427 SOS 71346 HAS SOPS 49900 HAS SOUS 41559 HAS SOUPS 33412 WITH SCORE 33483.346
AT ITER 6583 NEW BEST:: SOT 202367 SOS 71286 HAS SOPS 49780 HAS SOUS 41499 HAS SOUPS 33352 WITH SCORE 33423.286
AT ITER 6613 NEW BEST:: SOT 202395 SOS 70994 HAS SOPS 49488 HAS SOUS 41372 HAS SOUPS 33225 WITH SCORE 33295.994
AT ITER 6616 NEW BEST:: SOT 202394 SOS 70990 HAS SOPS 49484 HAS SOUS 41370 HAS SOUPS 33223 WITH SCORE 33293.99
AT ITER 6649 NEW BEST:: SOT 202394 SOS 70930 HAS SOPS 49424 HAS SOUS 41346 HAS SOUPS 33199 WITH SCORE 33269.93
AT ITER 6702 NEW BEST:: SOT 202380 SOS 70916 HAS SOPS 49403 HAS SOUS 41339 HAS SOUPS 33185 WITH SCORE 33255.916
AT ITER 6752 NEW BEST:: SOT 202380 SOS 70380 HAS SOPS 49403 HAS SOUS 41205 HAS SOUPS 33185 WITH SCORE 33255.38
AT ITER 6753 NEW BEST:: SOT 202380 SOS 70317 HAS SOPS 49340 HAS SOUS 41167 HAS SOUPS 33147 WITH SCORE 33217.317
AT ITER 6765 NEW BEST:: SOT 202380 SOS 70315 HAS SOPS 49338 HAS SOUS 41167 HAS SOUPS 33147 WITH SCORE 33217.315
AT ITER 6771 NEW BEST:: SOT 202375 SOS 70310 HAS SOPS 49328 HAS SOUS 41162 HAS SOUPS 33137 WITH SCORE 33207.31
AT ITER 6788 NEW BEST:: SOT 202374 SOS 70308 HAS SOPS 49326 HAS SOUS 41161 HAS SOUPS 33136 WITH SCORE 33206.308
AT ITER 6794 NEW BEST:: SOT 202374 SOS 70288 HAS SOPS 49306 HAS SOUS 41141 HAS SOUPS 33116 WITH SCORE 33186.288
AT ITER 6813 NEW BEST:: SOT 202371 SOS 70287 HAS SOPS 49305 HAS SOUS 41134 HAS SOUPS 33109 WITH SCORE 33179.287
AT ITER 6837 NEW BEST:: SOT 202371 SOS 70268 HAS SOPS 49286 HAS SOUS 41114 HAS SOUPS 33089 WITH SCORE 33159.268
AT ITER 6848 NEW BEST:: SOT 202365 SOS 70119 HAS SOPS 49137 HAS SOUS 41099 HAS SOUPS 33074 WITH SCORE 33144.119
AT ITER 6851 NEW BEST:: SOT 202348 SOS 70102 HAS SOPS 49138 HAS SOUS 41065 HAS SOUPS 33040 WITH SCORE 33110.102
AT ITER 6911 NEW BEST:: SOT 202326 SOS 70012 HAS SOPS 49054 HAS SOUS 41000 HAS SOUPS 32975 WITH SCORE 33045.012
AT ITER 6915 NEW BEST:: SOT 202322 SOS 70008 HAS SOPS 49033 HAS SOUS 41004 HAS SOUPS 32967 WITH SCORE 33037.008
AT ITER 6924 NEW BEST:: SOT 202321 SOS 69975 HAS SOPS 49032 HAS SOUS 41002 HAS SOUPS 32965 WITH SCORE 33034.975
AT ITER 6952 NEW BEST:: SOT 202354 SOS 69951 HAS SOPS 49008 HAS SOUS 40978 HAS SOUPS 32941 WITH SCORE 33010.951
AT ITER 6969 NEW BEST:: SOT 202386 SOS 69950 HAS SOPS 49007 HAS SOUS 40929 HAS SOUPS 32892 WITH SCORE 32961.95
AT ITER 6973 NEW BEST:: SOT 202386 SOS 69962 HAS SOPS 48999 HAS SOUS 40925 HAS SOUPS 32884 WITH SCORE 32953.962
AT ITER 6994 NEW BEST:: SOT 202384 SOS 69960 HAS SOPS 49000 HAS SOUS 40918 HAS SOUPS 32880 WITH SCORE 32949.96
AT ITER 7017 NEW BEST:: SOT 202214 SOS 69745 HAS SOPS 48830 HAS SOUS 40781 HAS SOUPS 32788 WITH SCORE 32857.745
AT ITER 7035 NEW BEST:: SOT 202206 SOS 69705 HAS SOPS 48822 HAS SOUS 40765 HAS SOUPS 32780 WITH SCORE 32849.705
AT ITER 7042 NEW BEST:: SOT 202206 SOS 69703 HAS SOPS 48822 HAS SOUS 40763 HAS SOUPS 32780 WITH SCORE 32849.703
AT ITER 7111 NEW BEST:: SOT 202115 SOS 69737 HAS SOPS 48829 HAS SOUS 40779 HAS SOUPS 32769 WITH SCORE 32838.737
AT ITER 7125 NEW BEST:: SOT 202111 SOS 69770 HAS SOPS 48821 HAS SOUS 40771 HAS SOUPS 32761 WITH SCORE 32830.77
AT ITER 7141 NEW BEST:: SOT 202128 SOS 69767 HAS SOPS 48809 HAS SOUS 40771 HAS SOUPS 32752 WITH SCORE 32821.767
AT ITER 7142 NEW BEST:: SOT 202128 SOS 70009 HAS SOPS 48727 HAS SOUS 40771 HAS SOUPS 32670 WITH SCORE 32740.009
AT ITER 7156 NEW BEST:: SOT 202128 SOS 70083 HAS SOPS 48706 HAS SOUS 40845 HAS SOUPS 32649 WITH SCORE 32719.083
AT ITER 7205 NEW BEST:: SOT 202112 SOS 70051 HAS SOPS 48674 HAS SOUS 40813 HAS SOUPS 32617 WITH SCORE 32687.051
AT ITER 7223 NEW BEST:: SOT 202134 SOS 70077 HAS SOPS 48663 HAS SOUS 40806 HAS SOUPS 32606 WITH SCORE 32676.077
AT ITER 7255 NEW BEST:: SOT 202157 SOS 70103 HAS SOPS 48684 HAS SOUS 40762 HAS SOUPS 32557 WITH SCORE 32627.103
AT ITER 7266 NEW BEST:: SOT 202167 SOS 70142 HAS SOPS 48694 HAS SOUS 40781 HAS SOUPS 32547 WITH SCORE 32617.142
AT ITER 7277 NEW BEST:: SOT 202165 SOS 70128 HAS SOPS 48682 HAS SOUS 40775 HAS SOUPS 32543 WITH SCORE 32613.128
AT ITER 7299 NEW BEST:: SOT 202055 SOS 69724 HAS SOPS 48646 HAS SOUS 40669 HAS SOUPS 32529 WITH SCORE 32598.724
AT ITER 7312 NEW BEST:: SOT 202011 SOS 69720 HAS SOPS 48603 HAS SOUS 40651 HAS SOUPS 32511 WITH SCORE 32580.72
AT ITER 7328 NEW BEST:: SOT 202033 SOS 69738 HAS SOPS 48595 HAS SOUS 40669 HAS SOUPS 32503 WITH SCORE 32572.738
AT ITER 7340 NEW BEST:: SOT 202031 SOS 69744 HAS SOPS 48601 HAS SOUS 40667 HAS SOUPS 32501 WITH SCORE 32570.744
AT ITER 7362 NEW BEST:: SOT 202027 SOS 69740 HAS SOPS 48590 HAS SOUS 40666 HAS SOUPS 32493 WITH SCORE 32562.74
AT ITER 7390 NEW BEST:: SOT 202027 SOS 69622 HAS SOPS 48472 HAS SOUS 40607 HAS SOUPS 32434 WITH SCORE 32503.622
AT ITER 7393 NEW BEST:: SOT 202027 SOS 69616 HAS SOPS 48466 HAS SOUS 40607 HAS SOUPS 32434 WITH SCORE 32503.616
AT ITER 7422 NEW BEST:: SOT 202027 SOS 69596 HAS SOPS 48466 HAS SOUS 40607 HAS SOUPS 32434 WITH SCORE 32503.596
AT ITER 7474 NEW BEST:: SOT 202104 SOS 69673 HAS SOPS 48464 HAS SOUS 40609 HAS SOUPS 32432 WITH SCORE 32501.673
AT ITER 7504 NEW BEST:: SOT 202121 SOS 69735 HAS SOPS 48481 HAS SOUS 40636 HAS SOUPS 32414 WITH SCORE 32483.735
AT ITER 7519 NEW BEST:: SOT 202156 SOS 69693 HAS SOPS 48439 HAS SOUS 40630 HAS SOUPS 32408 WITH SCORE 32477.693
AT ITER 7531 NEW BEST:: SOT 202156 SOS 69625 HAS SOPS 48439 HAS SOUS 40630 HAS SOUPS 32408 WITH SCORE 32477.625
AT ITER 7545 NEW BEST:: SOT 202135 SOS 69604 HAS SOPS 48418 HAS SOUS 40623 HAS SOUPS 32401 WITH SCORE 32470.604
AT ITER 7581 NEW BEST:: SOT 202132 SOS 69601 HAS SOPS 48415 HAS SOUS 40623 HAS SOUPS 32401 WITH SCORE 32470.601
AT ITER 7675 NEW BEST:: SOT 202132 SOS 69477 HAS SOPS 48340 HAS SOUS 40574 HAS SOUPS 32401 WITH SCORE 32470.477
AT ITER 7704 NEW BEST:: SOT 202132 SOS 69408 HAS SOPS 48340 HAS SOUS 40574 HAS SOUPS 32401 WITH SCORE 32470.408
AT ITER 7715 NEW BEST:: SOT 202103 SOS 69379 HAS SOPS 48340 HAS SOUS 40545 HAS SOUPS 32401 WITH SCORE 32470.379
AT ITER 7724 NEW BEST:: SOT 202193 SOS 69358 HAS SOPS 48319 HAS SOUS 40524 HAS SOUPS 32380 WITH SCORE 32449.358
AT ITER 7727 NEW BEST:: SOT 202132 SOS 69253 HAS SOPS 48214 HAS SOUS 40498 HAS SOUPS 32354 WITH SCORE 32423.253
AT ITER 7771 NEW BEST:: SOT 202156 SOS 69277 HAS SOPS 48197 HAS SOUS 40522 HAS SOUPS 32337 WITH SCORE 32406.277
AT ITER 7795 NEW BEST:: SOT 202156 SOS 68884 HAS SOPS 48197 HAS SOUS 40522 HAS SOUPS 32337 WITH SCORE 32405.884
AT ITER 7849 NEW BEST:: SOT 202151 SOS 68879 HAS SOPS 48200 HAS SOUS 40504 HAS SOUPS 32327 WITH SCORE 32395.879
AT ITER 7850 NEW BEST:: SOT 202134 SOS 68862 HAS SOPS 48183 HAS SOUS 40470 HAS SOUPS 32293 WITH SCORE 32361.862
AT ITER 7896 NEW BEST:: SOT 202126 SOS 68854 HAS SOPS 48255 HAS SOUS 40382 HAS SOUPS 32284 WITH SCORE 32352.854
AT ITER 7923 NEW BEST:: SOT 202126 SOS 68786 HAS SOPS 48255 HAS SOUS 40314 HAS SOUPS 32284 WITH SCORE 32352.786
AT ITER 7941 NEW BEST:: SOT 202315 SOS 68572 HAS SOPS 47907 HAS SOUS 40310 HAS SOUPS 32146 WITH SCORE 32214.572
AT ITER 7991 NEW BEST:: SOT 202302 SOS 68559 HAS SOPS 47849 HAS SOUS 40284 HAS SOUPS 32120 WITH SCORE 32188.559
AT ITER 8045 NEW BEST:: SOT 202272 SOS 68529 HAS SOPS 47789 HAS SOUS 40254 HAS SOUPS 32060 WITH SCORE 32128.529
AT ITER 8089 NEW BEST:: SOT 202263 SOS 68502 HAS SOPS 47771 HAS SOUS 40236 HAS SOUPS 32051 WITH SCORE 32119.502
AT ITER 8111 NEW BEST:: SOT 202183 SOS 68505 HAS SOPS 47774 HAS SOUS 40214 HAS SOUPS 32029 WITH SCORE 32097.505
AT ITER 8129 NEW BEST:: SOT 202167 SOS 68489 HAS SOPS 47758 HAS SOUS 40182 HAS SOUPS 31997 WITH SCORE 32065.489
AT ITER 8136 NEW BEST:: SOT 202148 SOS 68426 HAS SOPS 47695 HAS SOUS 40116 HAS SOUPS 31931 WITH SCORE 31999.426
AT ITER 8138 NEW BEST:: SOT 202137 SOS 68409 HAS SOPS 47678 HAS SOUS 40093 HAS SOUPS 31908 WITH SCORE 31976.409
AT ITER 8158 NEW BEST:: SOT 202137 SOS 68169 HAS SOPS 47438 HAS SOUS 40093 HAS SOUPS 31908 WITH SCORE 31976.169
AT ITER 8164 NEW BEST:: SOT 202137 SOS 68148 HAS SOPS 47417 HAS SOUS 40077 HAS SOUPS 31892 WITH SCORE 31960.148
AT ITER 8169 NEW BEST:: SOT 202165 SOS 68172 HAS SOPS 47418 HAS SOUS 40096 HAS SOUPS 31888 WITH SCORE 31956.172
AT ITER 8211 NEW BEST:: SOT 202157 SOS 68192 HAS SOPS 47410 HAS SOUS 40116 HAS SOUPS 31880 WITH SCORE 31948.192
AT ITER 8214 NEW BEST:: SOT 202127 SOS 68132 HAS SOPS 47350 HAS SOUS 40086 HAS SOUPS 31850 WITH SCORE 31918.132
AT ITER 8243 NEW BEST:: SOT 202129 SOS 68063 HAS SOPS 47265 HAS SOUS 40072 HAS SOUPS 31820 WITH SCORE 31888.063
AT ITER 8258 NEW BEST:: SOT 202084 SOS 68172 HAS SOPS 47374 HAS SOUS 39982 HAS SOUPS 31730 WITH SCORE 31798.172
AT ITER 8263 NEW BEST:: SOT 202086 SOS 68174 HAS SOPS 47363 HAS SOUS 39984 HAS SOUPS 31719 WITH SCORE 31787.174
AT ITER 8322 NEW BEST:: SOT 202081 SOS 68169 HAS SOPS 47358 HAS SOUS 39984 HAS SOUPS 31719 WITH SCORE 31787.169
AT ITER 8334 NEW BEST:: SOT 202078 SOS 68160 HAS SOPS 47352 HAS SOUS 39978 HAS SOUPS 31716 WITH SCORE 31784.16
AT ITER 8340 NEW BEST:: SOT 202124 SOS 68825 HAS SOPS 47245 HAS SOUS 40064 HAS SOUPS 31609 WITH SCORE 31677.825
AT ITER 8360 NEW BEST:: SOT 202100 SOS 68747 HAS SOPS 47245 HAS SOUS 40040 HAS SOUPS 31609 WITH SCORE 31677.747
AT ITER 8389 NEW BEST:: SOT 202047 SOS 68694 HAS SOPS 47128 HAS SOUS 39941 HAS SOUPS 31492 WITH SCORE 31560.694
AT ITER 8404 NEW BEST:: SOT 201970 SOS 68591 HAS SOPS 46974 HAS SOUS 39924 HAS SOUPS 31424 WITH SCORE 31492.591
AT ITER 8416 NEW BEST:: SOT 201961 SOS 68582 HAS SOPS 46896 HAS SOUS 39906 HAS SOUPS 31406 WITH SCORE 31474.582
AT ITER 8488 NEW BEST:: SOT 201952 SOS 68573 HAS SOPS 46887 HAS SOUS 39900 HAS SOUPS 31400 WITH SCORE 31468.573
AT ITER 8511 NEW BEST:: SOT 201955 SOS 68609 HAS SOPS 46876 HAS SOUS 39936 HAS SOUPS 31389 WITH SCORE 31457.609
AT ITER 8517 NEW BEST:: SOT 201954 SOS 68608 HAS SOPS 46874 HAS SOUS 39934 HAS SOUPS 31387 WITH SCORE 31455.608
AT ITER 8534 NEW BEST:: SOT 201954 SOS 68737 HAS SOPS 46841 HAS SOUS 39931 HAS SOUPS 31339 WITH SCORE 31407.737
AT ITER 8575 NEW BEST:: SOT 201942 SOS 68689 HAS SOPS 46793 HAS SOUS 39913 HAS SOUPS 31321 WITH SCORE 31389.689
AT ITER 8593 NEW BEST:: SOT 201937 SOS 68652 HAS SOPS 46756 HAS SOUS 39885 HAS SOUPS 31293 WITH SCORE 31361.652
AT ITER 8594 NEW BEST:: SOT 201901 SOS 68592 HAS SOPS 46696 HAS SOUS 39857 HAS SOUPS 31265 WITH SCORE 31333.592
AT ITER 8619 NEW BEST:: SOT 201885 SOS 68546 HAS SOPS 46650 HAS SOUS 39827 HAS SOUPS 31235 WITH SCORE 31303.546
AT ITER 8662 NEW BEST:: SOT 201872 SOS 68593 HAS SOPS 46697 HAS SOUS 39811 HAS SOUPS 31219 WITH SCORE 31287.593
AT ITER 8706 NEW BEST:: SOT 201872 SOS 68611 HAS SOPS 46715 HAS SOUS 39801 HAS SOUPS 31209 WITH SCORE 31277.611
AT ITER 8721 NEW BEST:: SOT 201872 SOS 68578 HAS SOPS 46682 HAS SOUS 39779 HAS SOUPS 31187 WITH SCORE 31255.578
AT ITER 8730 NEW BEST:: SOT 201793 SOS 68499 HAS SOPS 46676 HAS SOUS 39700 HAS SOUPS 31181 WITH SCORE 31249.499
AT ITER 8736 NEW BEST:: SOT 201666 SOS 67991 HAS SOPS 46676 HAS SOUS 39573 HAS SOUPS 31181 WITH SCORE 31248.991
AT ITER 8782 NEW BEST:: SOT 201649 SOS 67974 HAS SOPS 46659 HAS SOUS 39573 HAS SOUPS 31181 WITH SCORE 31248.974
AT ITER 8786 NEW BEST:: SOT 201605 SOS 67930 HAS SOPS 46571 HAS SOUS 39485 HAS SOUPS 31093 WITH SCORE 31160.93
AT ITER 8805 NEW BEST:: SOT 201541 SOS 67820 HAS SOPS 46461 HAS SOUS 39375 HAS SOUPS 30983 WITH SCORE 31050.82
AT ITER 8808 NEW BEST:: SOT 201536 SOS 67810 HAS SOPS 46451 HAS SOUS 39370 HAS SOUPS 30978 WITH SCORE 31045.81
AT ITER 8840 NEW BEST:: SOT 201570 SOS 67740 HAS SOPS 46350 HAS SOUS 39372 HAS SOUPS 30949 WITH SCORE 31016.74
AT ITER 8849 NEW BEST:: SOT 201572 SOS 67742 HAS SOPS 46338 HAS SOUS 39360 HAS SOUPS 30937 WITH SCORE 31004.742
AT ITER 8854 NEW BEST:: SOT 201563 SOS 67736 HAS SOPS 46332 HAS SOUS 39354 HAS SOUPS 30931 WITH SCORE 30998.736
AT ITER 8868 NEW BEST:: SOT 201473 SOS 67613 HAS SOPS 46209 HAS SOUS 39308 HAS SOUPS 30885 WITH SCORE 30952.613
AT ITER 8886 NEW BEST:: SOT 201481 SOS 67561 HAS SOPS 46157 HAS SOUS 39288 HAS SOUPS 30865 WITH SCORE 30932.561
AT ITER 8909 NEW BEST:: SOT 201485 SOS 67561 HAS SOPS 46155 HAS SOUS 39288 HAS SOUPS 30863 WITH SCORE 30930.561
AT ITER 8920 NEW BEST:: SOT 201485 SOS 67546 HAS SOPS 46128 HAS SOUS 39285 HAS SOUPS 30848 WITH SCORE 30915.546
AT ITER 8926 NEW BEST:: SOT 201476 SOS 67528 HAS SOPS 46110 HAS SOUS 39276 HAS SOUPS 30839 WITH SCORE 30906.528
AT ITER 8947 NEW BEST:: SOT 201476 SOS 67520 HAS SOPS 46094 HAS SOUS 39260 HAS SOUPS 30823 WITH SCORE 30890.52
AT ITER 8965 NEW BEST:: SOT 201456 SOS 67440 HAS SOPS 46094 HAS SOUS 39240 HAS SOUPS 30823 WITH SCORE 30890.44
AT ITER 8977 NEW BEST:: SOT 201430 SOS 67436 HAS SOPS 46064 HAS SOUS 39247 HAS SOUPS 30804 WITH SCORE 30871.436
AT ITER 9013 NEW BEST:: SOT 201411 SOS 67417 HAS SOPS 46013 HAS SOUS 39228 HAS SOUPS 30753 WITH SCORE 30820.417
AT ITER 9017 NEW BEST:: SOT 201406 SOS 67446 HAS SOPS 46003 HAS SOUS 39223 HAS SOUPS 30748 WITH SCORE 30815.446
AT ITER 9025 NEW BEST:: SOT 201406 SOS 67446 HAS SOPS 45977 HAS SOUS 39223 HAS SOUPS 30735 WITH SCORE 30802.446
AT ITER 9059 NEW BEST:: SOT 201398 SOS 67446 HAS SOPS 45973 HAS SOUS 39223 HAS SOUPS 30731 WITH SCORE 30798.446
AT ITER 9061 NEW BEST:: SOT 201396 SOS 67444 HAS SOPS 45971 HAS SOUS 39222 HAS SOUPS 30730 WITH SCORE 30797.444
AT ITER 9088 NEW BEST:: SOT 201365 SOS 67413 HAS SOPS 45940 HAS SOUS 39221 HAS SOUPS 30729 WITH SCORE 30796.413
AT ITER 9115 NEW BEST:: SOT 201365 SOS 67402 HAS SOPS 45940 HAS SOUS 39221 HAS SOUPS 30729 WITH SCORE 30796.402
AT ITER 9122 NEW BEST:: SOT 201331 SOS 67389 HAS SOPS 45927 HAS SOUS 39188 HAS SOUPS 30696 WITH SCORE 30763.389
AT ITER 9152 NEW BEST:: SOT 201329 SOS 67401 HAS SOPS 45939 HAS SOUS 39186 HAS SOUPS 30694 WITH SCORE 30761.401
AT ITER 9181 NEW BEST:: SOT 201317 SOS 67387 HAS SOPS 45925 HAS SOUS 39164 HAS SOUPS 30672 WITH SCORE 30739.387
AT ITER 9213 NEW BEST:: SOT 201305 SOS 67363 HAS SOPS 45901 HAS SOUS 39152 HAS SOUPS 30660 WITH SCORE 30727.363
AT ITER 9233 NEW BEST:: SOT 201417 SOS 67475 HAS SOPS 45845 HAS SOUS 39236 HAS SOUPS 30604 WITH SCORE 30671.475
AT ITER 9245 NEW BEST:: SOT 201398 SOS 67424 HAS SOPS 45794 HAS SOUS 39204 HAS SOUPS 30572 WITH SCORE 30639.424
AT ITER 9250 NEW BEST:: SOT 201399 SOS 67425 HAS SOPS 45795 HAS SOUS 39198 HAS SOUPS 30566 WITH SCORE 30633.425
AT ITER 9270 NEW BEST:: SOT 201378 SOS 67404 HAS SOPS 45765 HAS SOUS 39180 HAS SOUPS 30548 WITH SCORE 30615.404
AT ITER 9276 NEW BEST:: SOT 201340 SOS 67316 HAS SOPS 45677 HAS SOUS 39111 HAS SOUPS 30479 WITH SCORE 30546.316
AT ITER 9306 NEW BEST:: SOT 201383 SOS 67368 HAS SOPS 45672 HAS SOUS 39162 HAS SOUPS 30474 WITH SCORE 30541.368
AT ITER 9350 NEW BEST:: SOT 201355 SOS 67312 HAS SOPS 45616 HAS SOUS 39134 HAS SOUPS 30446 WITH SCORE 30513.312
AT ITER 9358 NEW BEST:: SOT 201350 SOS 67282 HAS SOPS 45586 HAS SOUS 39124 HAS SOUPS 30436 WITH SCORE 30503.282
AT ITER 9371 NEW BEST:: SOT 201326 SOS 67247 HAS SOPS 45562 HAS SOUS 39109 HAS SOUPS 30432 WITH SCORE 30499.247
AT ITER 9387 NEW BEST:: SOT 201305 SOS 67221 HAS SOPS 45536 HAS SOUS 39088 HAS SOUPS 30411 WITH SCORE 30478.221
AT ITER 9454 NEW BEST:: SOT 201297 SOS 67213 HAS SOPS 45528 HAS SOUS 39088 HAS SOUPS 30411 WITH SCORE 30478.213
AT ITER 9462 NEW BEST:: SOT 201297 SOS 67246 HAS SOPS 45516 HAS SOUS 39121 HAS SOUPS 30399 WITH SCORE 30466.246
AT ITER 9480 NEW BEST:: SOT 201297 SOS 67240 HAS SOPS 45510 HAS SOUS 39115 HAS SOUPS 30393 WITH SCORE 30460.24
AT ITER 9537 NEW BEST:: SOT 201307 SOS 67222 HAS SOPS 45492 HAS SOUS 39106 HAS SOUPS 30384 WITH SCORE 30451.222
AT ITER 9543 NEW BEST:: SOT 201327 SOS 67526 HAS SOPS 45441 HAS SOUS 39146 HAS SOUPS 30282 WITH SCORE 30349.526
AT ITER 9554 NEW BEST:: SOT 201322 SOS 67521 HAS SOPS 45436 HAS SOUS 39136 HAS SOUPS 30272 WITH SCORE 30339.521
AT ITER 9614 NEW BEST:: SOT 201317 SOS 67516 HAS SOPS 45442 HAS SOUS 39126 HAS SOUPS 30262 WITH SCORE 30329.516
AT ITER 9652 NEW BEST:: SOT 201306 SOS 67472 HAS SOPS 45398 HAS SOUS 39093 HAS SOUPS 30229 WITH SCORE 30296.472
AT ITER 9687 NEW BEST:: SOT 201303 SOS 67461 HAS SOPS 45387 HAS SOUS 39089 HAS SOUPS 30225 WITH SCORE 30292.461
AT ITER 9726 NEW BEST:: SOT 201293 SOS 67441 HAS SOPS 45367 HAS SOUS 39074 HAS SOUPS 30210 WITH SCORE 30277.441
AT ITER 9773 NEW BEST:: SOT 201291 SOS 67439 HAS SOPS 45365 HAS SOUS 39070 HAS SOUPS 30206 WITH SCORE 30273.439
AT ITER 9783 NEW BEST:: SOT 201291 SOS 67424 HAS SOPS 45350 HAS SOUS 39065 HAS SOUPS 30201 WITH SCORE 30268.424
AT ITER 9786 NEW BEST:: SOT 201267 SOS 67400 HAS SOPS 45302 HAS SOUS 39017 HAS SOUPS 30153 WITH SCORE 30220.4
AT ITER 9787 NEW BEST:: SOT 201272 SOS 67395 HAS SOPS 45297 HAS SOUS 38994 HAS SOUPS 30130 WITH SCORE 30197.395
AT ITER 9794 NEW BEST:: SOT 201267 SOS 67380 HAS SOPS 45282 HAS SOUS 38984 HAS SOUPS 30120 WITH SCORE 30187.38
AT ITER 9810 NEW BEST:: SOT 201254 SOS 67251 HAS SOPS 45269 HAS SOUS 38942 HAS SOUPS 30107 WITH SCORE 30174.251
AT ITER 9845 NEW BEST:: SOT 201254 SOS 67247 HAS SOPS 45224 HAS SOUS 38938 HAS SOUPS 30062 WITH SCORE 30129.247
AT ITER 9858 NEW BEST:: SOT 201254 SOS 67217 HAS SOPS 45194 HAS SOUS 38923 HAS SOUPS 30047 WITH SCORE 30114.217
AT ITER 9883 NEW BEST:: SOT 201230 SOS 67219 HAS SOPS 45196 HAS SOUS 38915 HAS SOUPS 30039 WITH SCORE 30106.219
AT ITER 9912 NEW BEST:: SOT 201294 SOS 67213 HAS SOPS 45190 HAS SOUS 38909 HAS SOUPS 30033 WITH SCORE 30100.213
AT ITER 9917 NEW BEST:: SOT 201326 SOS 67201 HAS SOPS 45178 HAS SOUS 38897 HAS SOUPS 30021 WITH SCORE 30088.201
AT ITER 9923 NEW BEST:: SOT 201309 SOS 67116 HAS SOPS 45161 HAS SOUS 38863 HAS SOUPS 30004 WITH SCORE 30071.116
AT ITER 9945 NEW BEST:: SOT 201272 SOS 67107 HAS SOPS 45087 HAS SOUS 38829 HAS SOUPS 29939 WITH SCORE 30006.107
AT ITER 9956 NEW BEST:: SOT 201267 SOS 67102 HAS SOPS 45082 HAS SOUS 38826 HAS SOUPS 29936 WITH SCORE 30003.102
AT ITER 9969 NEW BEST:: SOT 201261 SOS 67087 HAS SOPS 45067 HAS SOUS 38817 HAS SOUPS 29927 WITH SCORE 29994.087
AT ITER 9984 NEW BEST:: SOT 201159 SOS 67048 HAS SOPS 45028 HAS SOUS 38808 HAS SOUPS 29918 WITH SCORE 29985.048
AT ITER 9992 NEW BEST:: SOT 201159 SOS 67042 HAS SOPS 45016 HAS SOUS 38802 HAS SOUPS 29906 WITH SCORE 29973.042
STATE_SPACE STATES 169971910804595483308284608249857 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 147 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 15091263408903830135810707200933889 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678736532719
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="AutoFlight-PT-24a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is AutoFlight-PT-24a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600300488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;