About the Execution of Smart+red for PolyORBLF-PT-S02J06T06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11690.060 | 3600000.00 | 3633140.00 | 7456.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953100520.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBLF-PT-S02J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953100520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 19K Feb 26 14:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 14:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 42K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 232K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 601K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679500302709
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=PolyORBLF-PT-S02J06T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 15:51:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 15:51:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 15:51:44] [INFO ] Load time of PNML (sax parser for PT used): 96 ms
[2023-03-22 15:51:44] [INFO ] Transformed 536 places.
[2023-03-22 15:51:44] [INFO ] Transformed 1064 transitions.
[2023-03-22 15:51:44] [INFO ] Parsed PT model containing 536 places and 1064 transitions and 4866 arcs in 164 ms.
[2023-03-22 15:51:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 536 places, 1064 transitions and 4866 arcs took 13 ms.
Total runtime 205 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T06
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: 536 places, 1064 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 352932 SOS 214055 HAS SOPS 211759 HAS SOUS 137294 HAS SOUPS 136785 WITH SCORE 136999.055
AT ITER 1 NEW BEST:: SOT 352113 SOS 213375 HAS SOPS 211079 HAS SOUS 137187 HAS SOUPS 136678 WITH SCORE 136891.375
AT ITER 2 NEW BEST:: SOT 352099 SOS 213328 HAS SOPS 211032 HAS SOUS 137124 HAS SOUPS 136615 WITH SCORE 136828.328
AT ITER 15 NEW BEST:: SOT 352077 SOS 213284 HAS SOPS 210988 HAS SOUS 137080 HAS SOUPS 136571 WITH SCORE 136784.284
AT ITER 16 NEW BEST:: SOT 352077 SOS 213273 HAS SOPS 210977 HAS SOUS 137015 HAS SOUPS 136506 WITH SCORE 136719.273
AT ITER 20 NEW BEST:: SOT 351931 SOS 212835 HAS SOPS 210539 HAS SOUS 136814 HAS SOUPS 136305 WITH SCORE 136517.835
AT ITER 31 NEW BEST:: SOT 351909 SOS 212813 HAS SOPS 210517 HAS SOUS 136792 HAS SOUPS 136283 WITH SCORE 136495.813
AT ITER 45 NEW BEST:: SOT 351524 SOS 212483 HAS SOPS 210187 HAS SOUS 136766 HAS SOUPS 136257 WITH SCORE 136469.483
AT ITER 49 NEW BEST:: SOT 351070 SOS 212359 HAS SOPS 210063 HAS SOUS 136362 HAS SOUPS 135853 WITH SCORE 136065.359
AT ITER 52 NEW BEST:: SOT 349510 SOS 213511 HAS SOPS 211215 HAS SOUS 135331 HAS SOUPS 134822 WITH SCORE 135035.511
AT ITER 53 NEW BEST:: SOT 349010 SOS 213011 HAS SOPS 210715 HAS SOUS 135295 HAS SOUPS 134786 WITH SCORE 134999.011
AT ITER 55 NEW BEST:: SOT 348832 SOS 212681 HAS SOPS 210385 HAS SOUS 134965 HAS SOUPS 134456 WITH SCORE 134668.681
AT ITER 59 NEW BEST:: SOT 348744 SOS 212569 HAS SOPS 210273 HAS SOUS 134826 HAS SOUPS 134317 WITH SCORE 134529.569
AT ITER 61 NEW BEST:: SOT 347713 SOS 211544 HAS SOPS 209248 HAS SOUS 134476 HAS SOUPS 133967 WITH SCORE 134178.544
AT ITER 73 NEW BEST:: SOT 347713 SOS 211544 HAS SOPS 209248 HAS SOUS 134458 HAS SOUPS 133949 WITH SCORE 134160.544
AT ITER 74 NEW BEST:: SOT 347027 SOS 210870 HAS SOPS 208574 HAS SOUS 134349 HAS SOUPS 133840 WITH SCORE 134050.87
AT ITER 80 NEW BEST:: SOT 346743 SOS 210160 HAS SOPS 207864 HAS SOUS 133842 HAS SOUPS 133333 WITH SCORE 133543.16
AT ITER 81 NEW BEST:: SOT 346667 SOS 210008 HAS SOPS 207712 HAS SOUS 133690 HAS SOUPS 133181 WITH SCORE 133391.008
AT ITER 89 NEW BEST:: SOT 346593 SOS 209860 HAS SOPS 207564 HAS SOUS 133463 HAS SOUPS 132954 WITH SCORE 133163.86
AT ITER 90 NEW BEST:: SOT 346168 SOS 209435 HAS SOPS 207139 HAS SOUS 133330 HAS SOUPS 132821 WITH SCORE 133030.435
AT ITER 93 NEW BEST:: SOT 346147 SOS 209372 HAS SOPS 207055 HAS SOUS 133280 HAS SOUPS 132758 WITH SCORE 132967.372
AT ITER 95 NEW BEST:: SOT 345199 SOS 208156 HAS SOPS 205839 HAS SOUS 132942 HAS SOUPS 132420 WITH SCORE 132628.156
AT ITER 100 NEW BEST:: SOT 345199 SOS 208249 HAS SOPS 205932 HAS SOUS 132723 HAS SOUPS 132201 WITH SCORE 132409.249
AT ITER 106 NEW BEST:: SOT 345110 SOS 207970 HAS SOPS 205653 HAS SOUS 132699 HAS SOUPS 132177 WITH SCORE 132384.97
AT ITER 108 NEW BEST:: SOT 345103 SOS 207963 HAS SOPS 205646 HAS SOUS 132692 HAS SOUPS 132170 WITH SCORE 132377.963
AT ITER 109 NEW BEST:: SOT 345090 SOS 207946 HAS SOPS 205629 HAS SOUS 132679 HAS SOUPS 132157 WITH SCORE 132364.946
AT ITER 113 NEW BEST:: SOT 344497 SOS 207289 HAS SOPS 204972 HAS SOUS 132454 HAS SOUPS 131932 WITH SCORE 132139.289
AT ITER 116 NEW BEST:: SOT 344487 SOS 207259 HAS SOPS 204942 HAS SOUS 132424 HAS SOUPS 131902 WITH SCORE 132109.259
AT ITER 125 NEW BEST:: SOT 344487 SOS 207259 HAS SOPS 204942 HAS SOUS 132388 HAS SOUPS 131866 WITH SCORE 132073.259
AT ITER 129 NEW BEST:: SOT 344450 SOS 207131 HAS SOPS 204814 HAS SOUS 132314 HAS SOUPS 131792 WITH SCORE 131999.131
AT ITER 133 NEW BEST:: SOT 344450 SOS 207131 HAS SOPS 204814 HAS SOUS 132301 HAS SOUPS 131779 WITH SCORE 131986.131
AT ITER 140 NEW BEST:: SOT 344410 SOS 207062 HAS SOPS 204745 HAS SOUS 132232 HAS SOUPS 131710 WITH SCORE 131917.062
AT ITER 142 NEW BEST:: SOT 344336 SOS 206951 HAS SOPS 204634 HAS SOUS 132123 HAS SOUPS 131601 WITH SCORE 131807.951
AT ITER 144 NEW BEST:: SOT 343706 SOS 206240 HAS SOPS 203923 HAS SOUS 131805 HAS SOUPS 131283 WITH SCORE 131489.24
AT ITER 156 NEW BEST:: SOT 343705 SOS 206432 HAS SOPS 204115 HAS SOUS 131706 HAS SOUPS 131184 WITH SCORE 131390.432
AT ITER 158 NEW BEST:: SOT 343705 SOS 206392 HAS SOPS 204035 HAS SOUS 131687 HAS SOUPS 131144 WITH SCORE 131350.392
AT ITER 163 NEW BEST:: SOT 343578 SOS 206128 HAS SOPS 203771 HAS SOUS 131570 HAS SOUPS 131027 WITH SCORE 131233.128
AT ITER 167 NEW BEST:: SOT 343568 SOS 206118 HAS SOPS 203761 HAS SOUS 131560 HAS SOUPS 131017 WITH SCORE 131223.118
AT ITER 168 NEW BEST:: SOT 343534 SOS 205995 HAS SOPS 203638 HAS SOUS 131437 HAS SOUPS 130894 WITH SCORE 131099.995
AT ITER 171 NEW BEST:: SOT 343526 SOS 205987 HAS SOPS 203630 HAS SOUS 131429 HAS SOUPS 130886 WITH SCORE 131091.987
AT ITER 176 NEW BEST:: SOT 343318 SOS 205259 HAS SOPS 202902 HAS SOUS 131079 HAS SOUPS 130536 WITH SCORE 130741.259
AT ITER 182 NEW BEST:: SOT 343367 SOS 205439 HAS SOPS 203082 HAS SOUS 130971 HAS SOUPS 130428 WITH SCORE 130633.439
AT ITER 187 NEW BEST:: SOT 343279 SOS 205110 HAS SOPS 202753 HAS SOUS 130971 HAS SOUPS 130428 WITH SCORE 130633.11
AT ITER 202 NEW BEST:: SOT 343755 SOS 205482 HAS SOPS 203125 HAS SOUS 130760 HAS SOUPS 130217 WITH SCORE 130422.482
AT ITER 214 NEW BEST:: SOT 343755 SOS 205459 HAS SOPS 203102 HAS SOUS 130753 HAS SOUPS 130210 WITH SCORE 130415.459
AT ITER 221 NEW BEST:: SOT 343755 SOS 206340 HAS SOPS 202783 HAS SOUS 130813 HAS SOUPS 130070 WITH SCORE 130276.34
AT ITER 226 NEW BEST:: SOT 343583 SOS 205981 HAS SOPS 202424 HAS SOUS 130446 HAS SOUPS 129703 WITH SCORE 129908.981
AT ITER 228 NEW BEST:: SOT 343325 SOS 205078 HAS SOPS 201521 HAS SOUS 129949 HAS SOUPS 129206 WITH SCORE 129411.078
AT ITER 229 NEW BEST:: SOT 343292 SOS 205054 HAS SOPS 201497 HAS SOUS 129935 HAS SOUPS 129192 WITH SCORE 129397.054
AT ITER 234 NEW BEST:: SOT 343292 SOS 205808 HAS SOPS 202251 HAS SOUS 129755 HAS SOUPS 129012 WITH SCORE 129217.808
AT ITER 240 NEW BEST:: SOT 343103 SOS 205676 HAS SOPS 202179 HAS SOUS 129615 HAS SOUPS 128872 WITH SCORE 129077.676
AT ITER 241 NEW BEST:: SOT 343005 SOS 205551 HAS SOPS 202054 HAS SOUS 129517 HAS SOUPS 128774 WITH SCORE 128979.551
AT ITER 267 NEW BEST:: SOT 343005 SOS 205551 HAS SOPS 202054 HAS SOUS 129496 HAS SOUPS 128753 WITH SCORE 128958.551
AT ITER 284 NEW BEST:: SOT 343005 SOS 205679 HAS SOPS 202182 HAS SOUS 129451 HAS SOUPS 128708 WITH SCORE 128913.679
AT ITER 285 NEW BEST:: SOT 343005 SOS 206536 HAS SOPS 201791 HAS SOUS 129566 HAS SOUPS 128615 WITH SCORE 128821.536
AT ITER 287 NEW BEST:: SOT 342996 SOS 206521 HAS SOPS 201773 HAS SOUS 129551 HAS SOUPS 128600 WITH SCORE 128806.521
AT ITER 290 NEW BEST:: SOT 342503 SOS 206076 HAS SOPS 201328 HAS SOUS 129475 HAS SOUPS 128524 WITH SCORE 128730.076
AT ITER 297 NEW BEST:: SOT 342440 SOS 205950 HAS SOPS 201202 HAS SOUS 129349 HAS SOUPS 128398 WITH SCORE 128603.95
AT ITER 298 NEW BEST:: SOT 341250 SOS 204920 HAS SOPS 199932 HAS SOUS 128119 HAS SOUPS 127128 WITH SCORE 127332.92
AT ITER 308 NEW BEST:: SOT 341616 SOS 204805 HAS SOPS 199817 HAS SOUS 127814 HAS SOUPS 126823 WITH SCORE 127027.805
AT ITER 322 NEW BEST:: SOT 341719 SOS 204924 HAS SOPS 199936 HAS SOUS 127420 HAS SOUPS 126429 WITH SCORE 126633.924
AT ITER 325 NEW BEST:: SOT 340481 SOS 204861 HAS SOPS 198601 HAS SOUS 126130 HAS SOUPS 124927 WITH SCORE 125131.861
AT ITER 328 NEW BEST:: SOT 340473 SOS 204837 HAS SOPS 198577 HAS SOUS 126114 HAS SOUPS 124911 WITH SCORE 125115.837
AT ITER 329 NEW BEST:: SOT 340338 SOS 204633 HAS SOPS 198373 HAS SOUS 125775 HAS SOUPS 124572 WITH SCORE 124776.633
AT ITER 336 NEW BEST:: SOT 340301 SOS 204596 HAS SOPS 198336 HAS SOUS 125680 HAS SOUPS 124477 WITH SCORE 124681.596
AT ITER 339 NEW BEST:: SOT 340142 SOS 204437 HAS SOPS 198177 HAS SOUS 125635 HAS SOUPS 124432 WITH SCORE 124636.437
AT ITER 345 NEW BEST:: SOT 339904 SOS 203628 HAS SOPS 197368 HAS SOUS 125236 HAS SOUPS 124033 WITH SCORE 124236.628
AT ITER 346 NEW BEST:: SOT 339165 SOS 202961 HAS SOPS 196701 HAS SOUS 124749 HAS SOUPS 123546 WITH SCORE 123748.961
AT ITER 351 NEW BEST:: SOT 339147 SOS 202925 HAS SOPS 196665 HAS SOUS 124713 HAS SOUPS 123510 WITH SCORE 123712.925
AT ITER 352 NEW BEST:: SOT 339112 SOS 202670 HAS SOPS 196410 HAS SOUS 124704 HAS SOUPS 123501 WITH SCORE 123703.67
AT ITER 358 NEW BEST:: SOT 338988 SOS 201833 HAS SOPS 195573 HAS SOUS 124469 HAS SOUPS 123266 WITH SCORE 123467.833
AT ITER 363 NEW BEST:: SOT 338936 SOS 201811 HAS SOPS 195592 HAS SOUS 124469 HAS SOUPS 123266 WITH SCORE 123467.811
AT ITER 366 NEW BEST:: SOT 338992 SOS 201914 HAS SOPS 195695 HAS SOUS 123989 HAS SOUPS 122786 WITH SCORE 122987.914
AT ITER 370 NEW BEST:: SOT 339047 SOS 201866 HAS SOPS 195647 HAS SOUS 123287 HAS SOUPS 122084 WITH SCORE 122285.866
AT ITER 372 NEW BEST:: SOT 338758 SOS 201693 HAS SOPS 195474 HAS SOUS 122848 HAS SOUPS 121645 WITH SCORE 121846.693
AT ITER 379 NEW BEST:: SOT 338706 SOS 201641 HAS SOPS 195422 HAS SOUS 122744 HAS SOUPS 121541 WITH SCORE 121742.641
AT ITER 381 NEW BEST:: SOT 338654 SOS 201269 HAS SOPS 195050 HAS SOUS 122640 HAS SOUPS 121437 WITH SCORE 121638.269
AT ITER 388 NEW BEST:: SOT 338619 SOS 201206 HAS SOPS 194987 HAS SOUS 122577 HAS SOUPS 121374 WITH SCORE 121575.206
AT ITER 390 NEW BEST:: SOT 338619 SOS 200949 HAS SOPS 194730 HAS SOUS 122549 HAS SOUPS 121346 WITH SCORE 121546.949
AT ITER 395 NEW BEST:: SOT 338083 SOS 200482 HAS SOPS 194263 HAS SOUS 122452 HAS SOUPS 121249 WITH SCORE 121449.482
AT ITER 399 NEW BEST:: SOT 337886 SOS 200358 HAS SOPS 194139 HAS SOUS 122326 HAS SOUPS 121123 WITH SCORE 121323.358
AT ITER 404 NEW BEST:: SOT 337701 SOS 200789 HAS SOPS 194570 HAS SOUS 122084 HAS SOUPS 120881 WITH SCORE 121081.789
AT ITER 428 NEW BEST:: SOT 336961 SOS 200092 HAS SOPS 193873 HAS SOUS 121643 HAS SOUPS 120440 WITH SCORE 120640.092
AT ITER 430 NEW BEST:: SOT 336882 SOS 199918 HAS SOPS 193699 HAS SOUS 121255 HAS SOUPS 120052 WITH SCORE 120251.918
AT ITER 432 NEW BEST:: SOT 336831 SOS 199867 HAS SOPS 193648 HAS SOUS 121136 HAS SOUPS 119933 WITH SCORE 120132.867
AT ITER 449 NEW BEST:: SOT 336729 SOS 199724 HAS SOPS 193505 HAS SOUS 121040 HAS SOUPS 119837 WITH SCORE 120036.724
AT ITER 456 NEW BEST:: SOT 336714 SOS 199715 HAS SOPS 193496 HAS SOUS 121031 HAS SOUPS 119828 WITH SCORE 120027.715
AT ITER 463 NEW BEST:: SOT 336693 SOS 199697 HAS SOPS 193478 HAS SOUS 121007 HAS SOUPS 119804 WITH SCORE 120003.697
AT ITER 468 NEW BEST:: SOT 336698 SOS 199437 HAS SOPS 193218 HAS SOUS 120940 HAS SOUPS 119737 WITH SCORE 119936.437
AT ITER 469 NEW BEST:: SOT 336716 SOS 199437 HAS SOPS 193218 HAS SOUS 120924 HAS SOUPS 119721 WITH SCORE 119920.437
AT ITER 487 NEW BEST:: SOT 336685 SOS 199375 HAS SOPS 193156 HAS SOUS 120862 HAS SOUPS 119659 WITH SCORE 119858.375
AT ITER 493 NEW BEST:: SOT 336588 SOS 198849 HAS SOPS 192630 HAS SOUS 120695 HAS SOUPS 119492 WITH SCORE 119690.849
AT ITER 494 NEW BEST:: SOT 336380 SOS 198146 HAS SOPS 191927 HAS SOUS 120427 HAS SOUPS 119224 WITH SCORE 119422.146
AT ITER 496 NEW BEST:: SOT 336312 SOS 198081 HAS SOPS 191862 HAS SOUS 119848 HAS SOUPS 118645 WITH SCORE 118843.081
AT ITER 503 NEW BEST:: SOT 336312 SOS 198454 HAS SOPS 192235 HAS SOUS 119799 HAS SOUPS 118596 WITH SCORE 118794.454
AT ITER 511 NEW BEST:: SOT 336283 SOS 198346 HAS SOPS 192127 HAS SOUS 119769 HAS SOUPS 118566 WITH SCORE 118764.346
AT ITER 512 NEW BEST:: SOT 336397 SOS 198609 HAS SOPS 192390 HAS SOUS 119767 HAS SOUPS 118564 WITH SCORE 118762.609
AT ITER 527 NEW BEST:: SOT 336322 SOS 198185 HAS SOPS 191966 HAS SOUS 119641 HAS SOUPS 118438 WITH SCORE 118636.185
AT ITER 529 NEW BEST:: SOT 336235 SOS 198039 HAS SOPS 191820 HAS SOUS 119366 HAS SOUPS 118163 WITH SCORE 118361.039
AT ITER 533 NEW BEST:: SOT 336245 SOS 198039 HAS SOPS 191820 HAS SOUS 119355 HAS SOUPS 118152 WITH SCORE 118350.039
AT ITER 535 NEW BEST:: SOT 336324 SOS 197973 HAS SOPS 191754 HAS SOUS 118481 HAS SOUPS 117278 WITH SCORE 117475.973
AT ITER 545 NEW BEST:: SOT 336090 SOS 197867 HAS SOPS 191696 HAS SOUS 118255 HAS SOUPS 117060 WITH SCORE 117257.867
AT ITER 551 NEW BEST:: SOT 336060 SOS 197905 HAS SOPS 191734 HAS SOUS 118144 HAS SOUPS 116949 WITH SCORE 117146.905
AT ITER 554 NEW BEST:: SOT 336061 SOS 197895 HAS SOPS 191675 HAS SOUS 118119 HAS SOUPS 116930 WITH SCORE 117127.895
AT ITER 557 NEW BEST:: SOT 336076 SOS 195935 HAS SOPS 189715 HAS SOUS 117845 HAS SOUPS 116656 WITH SCORE 116851.935
AT ITER 560 NEW BEST:: SOT 336062 SOS 195921 HAS SOPS 189715 HAS SOUS 117817 HAS SOUPS 116642 WITH SCORE 116837.921
AT ITER 570 NEW BEST:: SOT 336241 SOS 193703 HAS SOPS 187847 HAS SOUS 117521 HAS SOUPS 116346 WITH SCORE 116539.703
AT ITER 571 NEW BEST:: SOT 336156 SOS 193303 HAS SOPS 187447 HAS SOUS 117391 HAS SOUPS 116216 WITH SCORE 116409.303
AT ITER 582 NEW BEST:: SOT 336158 SOS 192364 HAS SOPS 186508 HAS SOUS 116789 HAS SOUPS 115614 WITH SCORE 115806.364
AT ITER 588 NEW BEST:: SOT 335647 SOS 191845 HAS SOPS 185989 HAS SOUS 116582 HAS SOUPS 115407 WITH SCORE 115598.845
AT ITER 591 NEW BEST:: SOT 335020 SOS 191331 HAS SOPS 185475 HAS SOUS 116562 HAS SOUPS 115387 WITH SCORE 115578.331
AT ITER 605 NEW BEST:: SOT 335021 SOS 191176 HAS SOPS 185320 HAS SOUS 115976 HAS SOUPS 114801 WITH SCORE 114992.176
AT ITER 606 NEW BEST:: SOT 335031 SOS 191186 HAS SOPS 185330 HAS SOUS 115868 HAS SOUPS 114693 WITH SCORE 114884.186
AT ITER 609 NEW BEST:: SOT 334905 SOS 190956 HAS SOPS 185100 HAS SOUS 115620 HAS SOUPS 114445 WITH SCORE 114635.956
AT ITER 610 NEW BEST:: SOT 334941 SOS 190710 HAS SOPS 184854 HAS SOUS 115433 HAS SOUPS 114258 WITH SCORE 114448.71
AT ITER 613 NEW BEST:: SOT 334916 SOS 190732 HAS SOPS 184923 HAS SOUS 115437 HAS SOUPS 114254 WITH SCORE 114444.732
AT ITER 627 NEW BEST:: SOT 334998 SOS 190675 HAS SOPS 184866 HAS SOUS 115408 HAS SOUPS 114225 WITH SCORE 114415.675
AT ITER 631 NEW BEST:: SOT 334998 SOS 190523 HAS SOPS 184714 HAS SOUS 115408 HAS SOUPS 114225 WITH SCORE 114415.523
AT ITER 637 NEW BEST:: SOT 335115 SOS 189996 HAS SOPS 184187 HAS SOUS 114641 HAS SOUPS 113458 WITH SCORE 113647.996
AT ITER 638 NEW BEST:: SOT 334985 SOS 189973 HAS SOPS 184401 HAS SOUS 114618 HAS SOUPS 113435 WITH SCORE 113624.973
AT ITER 640 NEW BEST:: SOT 334969 SOS 189861 HAS SOPS 184289 HAS SOUS 114618 HAS SOUPS 113435 WITH SCORE 113624.861
AT ITER 663 NEW BEST:: SOT 334112 SOS 203444 HAS SOPS 198790 HAS SOUS 114282 HAS SOUPS 113252 WITH SCORE 113455.444
AT ITER 674 NEW BEST:: SOT 334043 SOS 203375 HAS SOPS 198721 HAS SOUS 114164 HAS SOUPS 113134 WITH SCORE 113337.375
AT ITER 675 NEW BEST:: SOT 334066 SOS 203491 HAS SOPS 198837 HAS SOUS 114140 HAS SOUPS 113110 WITH SCORE 113313.491
AT ITER 682 NEW BEST:: SOT 334117 SOS 203370 HAS SOPS 198716 HAS SOUS 113911 HAS SOUPS 112881 WITH SCORE 113084.37
AT ITER 683 NEW BEST:: SOT 334079 SOS 203216 HAS SOPS 198562 HAS SOUS 113635 HAS SOUPS 112605 WITH SCORE 112808.216
AT ITER 693 NEW BEST:: SOT 334272 SOS 203644 HAS SOPS 198990 HAS SOUS 113358 HAS SOUPS 112328 WITH SCORE 112531.644
AT ITER 694 NEW BEST:: SOT 334267 SOS 203634 HAS SOPS 198975 HAS SOUS 113348 HAS SOUPS 112318 WITH SCORE 112521.634
AT ITER 703 NEW BEST:: SOT 334268 SOS 203635 HAS SOPS 198976 HAS SOUS 113338 HAS SOUPS 112308 WITH SCORE 112511.635
AT ITER 704 NEW BEST:: SOT 334243 SOS 203610 HAS SOPS 198951 HAS SOUS 113304 HAS SOUPS 112274 WITH SCORE 112477.61
AT ITER 708 NEW BEST:: SOT 334286 SOS 203910 HAS SOPS 199251 HAS SOUS 113240 HAS SOUPS 112210 WITH SCORE 112413.91
AT ITER 711 NEW BEST:: SOT 334439 SOS 204429 HAS SOPS 199770 HAS SOUS 113125 HAS SOUPS 112095 WITH SCORE 112299.429
AT ITER 715 NEW BEST:: SOT 334405 SOS 204426 HAS SOPS 199767 HAS SOUS 113057 HAS SOUPS 112027 WITH SCORE 112231.426
AT ITER 724 NEW BEST:: SOT 334405 SOS 204598 HAS SOPS 199939 HAS SOUS 112885 HAS SOUPS 111855 WITH SCORE 112059.598
AT ITER 732 NEW BEST:: SOT 334358 SOS 204551 HAS SOPS 199892 HAS SOUS 112857 HAS SOUPS 111827 WITH SCORE 112031.551
AT ITER 763 NEW BEST:: SOT 334352 SOS 203218 HAS SOPS 199454 HAS SOUS 112380 HAS SOUPS 111520 WITH SCORE 111723.218
AT ITER 782 NEW BEST:: SOT 334347 SOS 203208 HAS SOPS 199444 HAS SOUS 112286 HAS SOUPS 111426 WITH SCORE 111629.208
AT ITER 783 NEW BEST:: SOT 334326 SOS 202737 HAS SOPS 198973 HAS SOUS 112244 HAS SOUPS 111384 WITH SCORE 111586.737
AT ITER 791 NEW BEST:: SOT 334321 SOS 202712 HAS SOPS 198948 HAS SOUS 112183 HAS SOUPS 111323 WITH SCORE 111525.712
AT ITER 803 NEW BEST:: SOT 334203 SOS 202590 HAS SOPS 198826 HAS SOUS 112011 HAS SOUPS 111151 WITH SCORE 111353.59
AT ITER 809 NEW BEST:: SOT 334195 SOS 202944 HAS SOPS 199180 HAS SOUS 111954 HAS SOUPS 111094 WITH SCORE 111296.944
AT ITER 816 NEW BEST:: SOT 334075 SOS 202827 HAS SOPS 199063 HAS SOUS 111935 HAS SOUPS 111075 WITH SCORE 111277.827
AT ITER 822 NEW BEST:: SOT 334063 SOS 202815 HAS SOPS 199039 HAS SOUS 111894 HAS SOUPS 111034 WITH SCORE 111236.815
AT ITER 825 NEW BEST:: SOT 334061 SOS 201786 HAS SOPS 198010 HAS SOUS 111368 HAS SOUPS 110508 WITH SCORE 110709.786
AT ITER 842 NEW BEST:: SOT 333957 SOS 201817 HAS SOPS 198041 HAS SOUS 111285 HAS SOUPS 110425 WITH SCORE 110626.817
AT ITER 843 NEW BEST:: SOT 333869 SOS 201329 HAS SOPS 197553 HAS SOUS 111109 HAS SOUPS 110249 WITH SCORE 110450.329
AT ITER 848 NEW BEST:: SOT 333838 SOS 201122 HAS SOPS 197346 HAS SOUS 111047 HAS SOUPS 110187 WITH SCORE 110388.122
AT ITER 849 NEW BEST:: SOT 333838 SOS 200972 HAS SOPS 197196 HAS SOUS 111027 HAS SOUPS 110167 WITH SCORE 110367.972
AT ITER 856 NEW BEST:: SOT 333379 SOS 200793 HAS SOPS 197017 HAS SOUS 110953 HAS SOUPS 110093 WITH SCORE 110293.793
AT ITER 860 NEW BEST:: SOT 333364 SOS 200976 HAS SOPS 197200 HAS SOUS 110705 HAS SOUPS 109845 WITH SCORE 110045.976
AT ITER 862 NEW BEST:: SOT 333369 SOS 201045 HAS SOPS 197269 HAS SOUS 110699 HAS SOUPS 109839 WITH SCORE 110040.045
AT ITER 866 NEW BEST:: SOT 333526 SOS 199763 HAS SOPS 195987 HAS SOUS 110010 HAS SOUPS 109150 WITH SCORE 109349.763
AT ITER 871 NEW BEST:: SOT 333544 SOS 198803 HAS SOPS 195027 HAS SOUS 110005 HAS SOUPS 109145 WITH SCORE 109343.803
AT ITER 878 NEW BEST:: SOT 333497 SOS 198785 HAS SOPS 195009 HAS SOUS 109788 HAS SOUPS 108928 WITH SCORE 109126.785
AT ITER 879 NEW BEST:: SOT 333367 SOS 198497 HAS SOPS 194721 HAS SOUS 109772 HAS SOUPS 108912 WITH SCORE 109110.497
AT ITER 882 NEW BEST:: SOT 333367 SOS 197787 HAS SOPS 194011 HAS SOUS 109565 HAS SOUPS 108705 WITH SCORE 108902.787
AT ITER 884 NEW BEST:: SOT 333213 SOS 197479 HAS SOPS 193703 HAS SOUS 109331 HAS SOUPS 108471 WITH SCORE 108668.479
AT ITER 888 NEW BEST:: SOT 332435 SOS 196709 HAS SOPS 192933 HAS SOUS 108693 HAS SOUPS 107833 WITH SCORE 108029.709
AT ITER 901 NEW BEST:: SOT 332381 SOS 196636 HAS SOPS 192860 HAS SOUS 108637 HAS SOUPS 107777 WITH SCORE 107973.636
AT ITER 911 NEW BEST:: SOT 332364 SOS 196633 HAS SOPS 192857 HAS SOUS 108539 HAS SOUPS 107679 WITH SCORE 107875.633
AT ITER 914 NEW BEST:: SOT 332250 SOS 196063 HAS SOPS 192287 HAS SOUS 108425 HAS SOUPS 107565 WITH SCORE 107761.063
AT ITER 927 NEW BEST:: SOT 332250 SOS 196063 HAS SOPS 192287 HAS SOUS 108423 HAS SOUPS 107563 WITH SCORE 107759.063
AT ITER 943 NEW BEST:: SOT 332240 SOS 196078 HAS SOPS 192302 HAS SOUS 108383 HAS SOUPS 107523 WITH SCORE 107719.078
AT ITER 951 NEW BEST:: SOT 332361 SOS 196199 HAS SOPS 191883 HAS SOUS 108504 HAS SOUPS 107490 WITH SCORE 107686.199
AT ITER 964 NEW BEST:: SOT 332342 SOS 196218 HAS SOPS 191921 HAS SOUS 108495 HAS SOUPS 107488 WITH SCORE 107684.218
AT ITER 967 NEW BEST:: SOT 332226 SOS 196353 HAS SOPS 192056 HAS SOUS 108321 HAS SOUPS 107314 WITH SCORE 107510.353
AT ITER 970 NEW BEST:: SOT 332192 SOS 196049 HAS SOPS 191752 HAS SOUS 108256 HAS SOUPS 107249 WITH SCORE 107445.049
AT ITER 976 NEW BEST:: SOT 331987 SOS 195818 HAS SOPS 191521 HAS SOUS 108123 HAS SOUPS 107116 WITH SCORE 107311.818
AT ITER 995 NEW BEST:: SOT 331972 SOS 195813 HAS SOPS 191516 HAS SOUS 108067 HAS SOUPS 107060 WITH SCORE 107255.813
AT ITER 999 NEW BEST:: SOT 331969 SOS 195807 HAS SOPS 191510 HAS SOUS 108061 HAS SOUPS 107054 WITH SCORE 107249.807
AT ITER 1003 NEW BEST:: SOT 332039 SOS 195863 HAS SOPS 191566 HAS SOUS 108055 HAS SOUPS 107048 WITH SCORE 107243.863
AT ITER 1011 NEW BEST:: SOT 331968 SOS 195505 HAS SOPS 191208 HAS SOUS 107620 HAS SOUPS 106613 WITH SCORE 106808.505
AT ITER 1014 NEW BEST:: SOT 332001 SOS 196002 HAS SOPS 191705 HAS SOUS 107594 HAS SOUPS 106587 WITH SCORE 106783.002
AT ITER 1015 NEW BEST:: SOT 331704 SOS 195935 HAS SOPS 191638 HAS SOUS 106922 HAS SOUPS 105915 WITH SCORE 106110.935
AT ITER 1019 NEW BEST:: SOT 331716 SOS 196106 HAS SOPS 191809 HAS SOUS 106893 HAS SOUPS 105886 WITH SCORE 106082.106
AT ITER 1024 NEW BEST:: SOT 331658 SOS 196048 HAS SOPS 191751 HAS SOUS 106852 HAS SOUPS 105845 WITH SCORE 106041.048
AT ITER 1045 NEW BEST:: SOT 331642 SOS 196016 HAS SOPS 191719 HAS SOUS 106820 HAS SOUPS 105813 WITH SCORE 106009.016
AT ITER 1049 NEW BEST:: SOT 331551 SOS 195554 HAS SOPS 191257 HAS SOUS 106779 HAS SOUPS 105772 WITH SCORE 105967.554
AT ITER 1072 NEW BEST:: SOT 331512 SOS 195504 HAS SOPS 191207 HAS SOUS 106740 HAS SOUPS 105733 WITH SCORE 105928.504
AT ITER 1073 NEW BEST:: SOT 331512 SOS 195548 HAS SOPS 191251 HAS SOUS 106736 HAS SOUPS 105729 WITH SCORE 105924.548
AT ITER 1077 NEW BEST:: SOT 331542 SOS 195595 HAS SOPS 191298 HAS SOUS 106717 HAS SOUPS 105710 WITH SCORE 105905.595
AT ITER 1088 NEW BEST:: SOT 331520 SOS 195453 HAS SOPS 191156 HAS SOUS 106674 HAS SOUPS 105667 WITH SCORE 105862.453
AT ITER 1102 NEW BEST:: SOT 331407 SOS 195352 HAS SOPS 191055 HAS SOUS 106542 HAS SOUPS 105535 WITH SCORE 105730.352
AT ITER 1117 NEW BEST:: SOT 331127 SOS 195106 HAS SOPS 190809 HAS SOUS 106285 HAS SOUPS 105278 WITH SCORE 105473.106
AT ITER 1119 NEW BEST:: SOT 330980 SOS 195047 HAS SOPS 190750 HAS SOUS 106255 HAS SOUPS 105248 WITH SCORE 105443.047
AT ITER 1120 NEW BEST:: SOT 330993 SOS 194999 HAS SOPS 190702 HAS SOUS 106216 HAS SOUPS 105209 WITH SCORE 105403.999
AT ITER 1121 NEW BEST:: SOT 330976 SOS 194982 HAS SOPS 190685 HAS SOUS 106199 HAS SOUPS 105192 WITH SCORE 105386.982
AT ITER 1124 NEW BEST:: SOT 330792 SOS 194097 HAS SOPS 189800 HAS SOUS 105643 HAS SOUPS 104636 WITH SCORE 104830.097
AT ITER 1147 NEW BEST:: SOT 330170 SOS 193607 HAS SOPS 189155 HAS SOUS 105076 HAS SOUPS 103975 WITH SCORE 104168.607
AT ITER 1155 NEW BEST:: SOT 329982 SOS 193419 HAS SOPS 188967 HAS SOUS 105024 HAS SOUPS 103923 WITH SCORE 104116.419
AT ITER 1158 NEW BEST:: SOT 329970 SOS 193407 HAS SOPS 188955 HAS SOUS 105000 HAS SOUPS 103899 WITH SCORE 104092.407
AT ITER 1161 NEW BEST:: SOT 329926 SOS 193363 HAS SOPS 188911 HAS SOUS 104896 HAS SOUPS 103795 WITH SCORE 103988.363
AT ITER 1163 NEW BEST:: SOT 329923 SOS 193344 HAS SOPS 188892 HAS SOUS 104858 HAS SOUPS 103757 WITH SCORE 103950.344
AT ITER 1185 NEW BEST:: SOT 329911 SOS 193332 HAS SOPS 188876 HAS SOUS 104830 HAS SOUPS 103729 WITH SCORE 103922.332
AT ITER 1198 NEW BEST:: SOT 329861 SOS 193282 HAS SOPS 188826 HAS SOUS 104780 HAS SOUPS 103679 WITH SCORE 103872.282
AT ITER 1209 NEW BEST:: SOT 329873 SOS 193115 HAS SOPS 188659 HAS SOUS 104775 HAS SOUPS 103674 WITH SCORE 103867.115
AT ITER 1211 NEW BEST:: SOT 329407 SOS 192795 HAS SOPS 188339 HAS SOUS 104699 HAS SOUPS 103598 WITH SCORE 103790.795
AT ITER 1213 NEW BEST:: SOT 329403 SOS 192787 HAS SOPS 188331 HAS SOUS 104691 HAS SOUPS 103590 WITH SCORE 103782.787
AT ITER 1224 NEW BEST:: SOT 329389 SOS 192757 HAS SOPS 188301 HAS SOUS 104663 HAS SOUPS 103562 WITH SCORE 103754.757
AT ITER 1233 NEW BEST:: SOT 329392 SOS 192705 HAS SOPS 188249 HAS SOUS 104590 HAS SOUPS 103489 WITH SCORE 103681.705
AT ITER 1248 NEW BEST:: SOT 329206 SOS 192444 HAS SOPS 187988 HAS SOUS 104230 HAS SOUPS 103129 WITH SCORE 103321.444
AT ITER 1255 NEW BEST:: SOT 329085 SOS 192202 HAS SOPS 187746 HAS SOUS 104070 HAS SOUPS 102969 WITH SCORE 103161.202
AT ITER 1256 NEW BEST:: SOT 329085 SOS 192051 HAS SOPS 187595 HAS SOUS 104068 HAS SOUPS 102967 WITH SCORE 103159.051
AT ITER 1268 NEW BEST:: SOT 329035 SOS 191976 HAS SOPS 187520 HAS SOUS 103967 HAS SOUPS 102866 WITH SCORE 103057.976
AT ITER 1270 NEW BEST:: SOT 328998 SOS 191855 HAS SOPS 187406 HAS SOUS 103883 HAS SOUPS 102782 WITH SCORE 102973.855
AT ITER 1272 NEW BEST:: SOT 328928 SOS 191841 HAS SOPS 187392 HAS SOUS 103691 HAS SOUPS 102590 WITH SCORE 102781.841
AT ITER 1273 NEW BEST:: SOT 328841 SOS 191762 HAS SOPS 187313 HAS SOUS 103644 HAS SOUPS 102543 WITH SCORE 102734.762
AT ITER 1285 NEW BEST:: SOT 328832 SOS 191753 HAS SOPS 187304 HAS SOUS 103608 HAS SOUPS 102507 WITH SCORE 102698.753
AT ITER 1294 NEW BEST:: SOT 328788 SOS 191753 HAS SOPS 187304 HAS SOUS 103586 HAS SOUPS 102485 WITH SCORE 102676.753
AT ITER 1299 NEW BEST:: SOT 328843 SOS 191912 HAS SOPS 187463 HAS SOUS 103397 HAS SOUPS 102296 WITH SCORE 102487.912
AT ITER 1302 NEW BEST:: SOT 328842 SOS 191911 HAS SOPS 187463 HAS SOUS 103397 HAS SOUPS 102296 WITH SCORE 102487.911
AT ITER 1314 NEW BEST:: SOT 328729 SOS 191798 HAS SOPS 187350 HAS SOUS 103284 HAS SOUPS 102183 WITH SCORE 102374.798
AT ITER 1319 NEW BEST:: SOT 328637 SOS 191469 HAS SOPS 187021 HAS SOUS 103179 HAS SOUPS 102078 WITH SCORE 102269.469
AT ITER 1322 NEW BEST:: SOT 328421 SOS 191253 HAS SOPS 186805 HAS SOUS 102955 HAS SOUPS 101854 WITH SCORE 102045.253
AT ITER 1323 NEW BEST:: SOT 328418 SOS 191372 HAS SOPS 186985 HAS SOUS 102821 HAS SOUPS 101720 WITH SCORE 101911.372
AT ITER 1325 NEW BEST:: SOT 328412 SOS 191372 HAS SOPS 186985 HAS SOUS 102809 HAS SOUPS 101708 WITH SCORE 101899.372
AT ITER 1326 NEW BEST:: SOT 328424 SOS 191376 HAS SOPS 186989 HAS SOUS 102797 HAS SOUPS 101696 WITH SCORE 101887.376
AT ITER 1343 NEW BEST:: SOT 328444 SOS 191356 HAS SOPS 186929 HAS SOUS 102814 HAS SOUPS 101696 WITH SCORE 101887.356
AT ITER 1347 NEW BEST:: SOT 328439 SOS 191356 HAS SOPS 186929 HAS SOUS 102804 HAS SOUPS 101686 WITH SCORE 101877.356
AT ITER 1352 NEW BEST:: SOT 327831 SOS 191314 HAS SOPS 186887 HAS SOUS 102420 HAS SOUPS 101302 WITH SCORE 101493.314
AT ITER 1358 NEW BEST:: SOT 327786 SOS 191314 HAS SOPS 186887 HAS SOUS 102361 HAS SOUPS 101243 WITH SCORE 101434.314
AT ITER 1362 NEW BEST:: SOT 327781 SOS 191272 HAS SOPS 186855 HAS SOUS 102348 HAS SOUPS 101238 WITH SCORE 101429.272
AT ITER 1385 NEW BEST:: SOT 327702 SOS 191193 HAS SOPS 186776 HAS SOUS 102224 HAS SOUPS 101114 WITH SCORE 101305.193
AT ITER 1389 NEW BEST:: SOT 327700 SOS 191287 HAS SOPS 186870 HAS SOUS 102110 HAS SOUPS 101000 WITH SCORE 101191.287
AT ITER 1398 NEW BEST:: SOT 327682 SOS 191243 HAS SOPS 186826 HAS SOUS 102079 HAS SOUPS 100969 WITH SCORE 101160.243
AT ITER 1399 NEW BEST:: SOT 327316 SOS 190961 HAS SOPS 186544 HAS SOUS 101752 HAS SOUPS 100642 WITH SCORE 100832.961
AT ITER 1409 NEW BEST:: SOT 326796 SOS 190443 HAS SOPS 186026 HAS SOUS 101461 HAS SOUPS 100351 WITH SCORE 100541.443
AT ITER 1415 NEW BEST:: SOT 326796 SOS 190732 HAS SOPS 186315 HAS SOUS 101410 HAS SOUPS 100300 WITH SCORE 100490.732
AT ITER 1416 NEW BEST:: SOT 326513 SOS 190373 HAS SOPS 185956 HAS SOUS 101240 HAS SOUPS 100130 WITH SCORE 100320.373
AT ITER 1422 NEW BEST:: SOT 326406 SOS 190036 HAS SOPS 185619 HAS SOUS 101119 HAS SOUPS 100009 WITH SCORE 100199.036
AT ITER 1438 NEW BEST:: SOT 326407 SOS 190177 HAS SOPS 185760 HAS SOUS 101051 HAS SOUPS 99941 WITH SCORE 100131.177
AT ITER 1441 NEW BEST:: SOT 326368 SOS 190179 HAS SOPS 185762 HAS SOUS 101012 HAS SOUPS 99902 WITH SCORE 100092.179
AT ITER 1467 NEW BEST:: SOT 326395 SOS 190253 HAS SOPS 185836 HAS SOUS 100988 HAS SOUPS 99878 WITH SCORE 100068.253
AT ITER 1468 NEW BEST:: SOT 326385 SOS 190220 HAS SOPS 185803 HAS SOUS 100955 HAS SOUPS 99845 WITH SCORE 100035.22
AT ITER 1474 NEW BEST:: SOT 326173 SOS 190008 HAS SOPS 185591 HAS SOUS 100801 HAS SOUPS 99691 WITH SCORE 99881.008
AT ITER 1480 NEW BEST:: SOT 326531 SOS 190377 HAS SOPS 185960 HAS SOUS 100788 HAS SOUPS 99678 WITH SCORE 99868.377
AT ITER 1486 NEW BEST:: SOT 326425 SOS 190281 HAS SOPS 185864 HAS SOUS 100624 HAS SOUPS 99514 WITH SCORE 99704.281
AT ITER 1490 NEW BEST:: SOT 326247 SOS 190104 HAS SOPS 185687 HAS SOUS 100439 HAS SOUPS 99329 WITH SCORE 99519.104
AT ITER 1491 NEW BEST:: SOT 326262 SOS 190102 HAS SOPS 185685 HAS SOUS 100392 HAS SOUPS 99282 WITH SCORE 99472.102
AT ITER 1497 NEW BEST:: SOT 326294 SOS 190134 HAS SOPS 185717 HAS SOUS 100362 HAS SOUPS 99252 WITH SCORE 99442.134
AT ITER 1509 NEW BEST:: SOT 326318 SOS 200655 HAS SOPS 196238 HAS SOUS 100279 HAS SOUPS 99169 WITH SCORE 99369.655
AT ITER 1514 NEW BEST:: SOT 326315 SOS 200652 HAS SOPS 196235 HAS SOUS 100276 HAS SOUPS 99166 WITH SCORE 99366.652
AT ITER 1519 NEW BEST:: SOT 326311 SOS 200648 HAS SOPS 196228 HAS SOUS 100271 HAS SOUPS 99158 WITH SCORE 99358.648
AT ITER 1523 NEW BEST:: SOT 326395 SOS 199529 HAS SOPS 195109 HAS SOUS 100031 HAS SOUPS 98918 WITH SCORE 99117.529
AT ITER 1545 NEW BEST:: SOT 326394 SOS 199509 HAS SOPS 195089 HAS SOUS 100028 HAS SOUPS 98915 WITH SCORE 99114.509
AT ITER 1559 NEW BEST:: SOT 326363 SOS 199478 HAS SOPS 195058 HAS SOUS 99997 HAS SOUPS 98884 WITH SCORE 99083.478
AT ITER 1562 NEW BEST:: SOT 326162 SOS 199341 HAS SOPS 194921 HAS SOUS 99860 HAS SOUPS 98747 WITH SCORE 98946.341
AT ITER 1583 NEW BEST:: SOT 326159 SOS 199343 HAS SOPS 194923 HAS SOUS 99854 HAS SOUPS 98741 WITH SCORE 98940.343
AT ITER 1593 NEW BEST:: SOT 326150 SOS 199334 HAS SOPS 194914 HAS SOUS 99751 HAS SOUPS 98638 WITH SCORE 98837.334
AT ITER 1611 NEW BEST:: SOT 326148 SOS 199332 HAS SOPS 194912 HAS SOUS 99745 HAS SOUPS 98632 WITH SCORE 98831.332
AT ITER 1615 NEW BEST:: SOT 326285 SOS 199340 HAS SOPS 194731 HAS SOUS 99744 HAS SOUPS 98631 WITH SCORE 98830.34
AT ITER 1639 NEW BEST:: SOT 326277 SOS 199332 HAS SOPS 194723 HAS SOUS 99722 HAS SOUPS 98609 WITH SCORE 98808.332
AT ITER 1647 NEW BEST:: SOT 326237 SOS 199272 HAS SOPS 194663 HAS SOUS 99682 HAS SOUPS 98569 WITH SCORE 98768.272
AT ITER 1669 NEW BEST:: SOT 326022 SOS 199043 HAS SOPS 194434 HAS SOUS 99371 HAS SOUPS 98258 WITH SCORE 98457.043
AT ITER 1672 NEW BEST:: SOT 326022 SOS 199183 HAS SOPS 194574 HAS SOUS 99321 HAS SOUPS 98208 WITH SCORE 98407.183
AT ITER 1673 NEW BEST:: SOT 326380 SOS 199039 HAS SOPS 194430 HAS SOUS 99173 HAS SOUPS 98060 WITH SCORE 98259.039
AT ITER 1675 NEW BEST:: SOT 326380 SOS 198992 HAS SOPS 194383 HAS SOUS 99173 HAS SOUPS 98060 WITH SCORE 98258.992
AT ITER 1678 NEW BEST:: SOT 326373 SOS 198985 HAS SOPS 194351 HAS SOUS 99164 HAS SOUPS 98051 WITH SCORE 98249.985
AT ITER 1687 NEW BEST:: SOT 326405 SOS 199017 HAS SOPS 194365 HAS SOUS 99153 HAS SOUPS 98040 WITH SCORE 98239.017
AT ITER 1690 NEW BEST:: SOT 326309 SOS 198889 HAS SOPS 194237 HAS SOUS 99025 HAS SOUPS 97912 WITH SCORE 98110.889
AT ITER 1699 NEW BEST:: SOT 322263 SOS 195706 HAS SOPS 191054 HAS SOUS 96869 HAS SOUPS 95756 WITH SCORE 95951.706
AT ITER 1707 NEW BEST:: SOT 321513 SOS 194962 HAS SOPS 190310 HAS SOUS 96412 HAS SOUPS 95299 WITH SCORE 95493.962
AT ITER 1708 NEW BEST:: SOT 321394 SOS 195375 HAS SOPS 190723 HAS SOUS 96075 HAS SOUPS 94962 WITH SCORE 95157.375
AT ITER 1712 NEW BEST:: SOT 321393 SOS 195368 HAS SOPS 190716 HAS SOUS 96074 HAS SOUPS 94961 WITH SCORE 95156.368
AT ITER 1725 NEW BEST:: SOT 321397 SOS 195372 HAS SOPS 190720 HAS SOUS 96073 HAS SOUPS 94960 WITH SCORE 95155.372
AT ITER 1730 NEW BEST:: SOT 321304 SOS 195310 HAS SOPS 190658 HAS SOUS 96011 HAS SOUPS 94898 WITH SCORE 95093.31
AT ITER 1734 NEW BEST:: SOT 321340 SOS 195194 HAS SOPS 190542 HAS SOUS 95803 HAS SOUPS 94690 WITH SCORE 94885.194
AT ITER 1741 NEW BEST:: SOT 319837 SOS 193658 HAS SOPS 189006 HAS SOUS 95210 HAS SOUPS 94097 WITH SCORE 94290.658
AT ITER 1757 NEW BEST:: SOT 319837 SOS 193434 HAS SOPS 188782 HAS SOUS 95176 HAS SOUPS 94063 WITH SCORE 94256.434
AT ITER 1763 NEW BEST:: SOT 319821 SOS 192864 HAS SOPS 188212 HAS SOUS 94968 HAS SOUPS 93855 WITH SCORE 94047.864
AT ITER 1771 NEW BEST:: SOT 319934 SOS 193107 HAS SOPS 188455 HAS SOUS 94790 HAS SOUPS 93677 WITH SCORE 93870.107
AT ITER 1780 NEW BEST:: SOT 319944 SOS 193233 HAS SOPS 188581 HAS SOUS 94736 HAS SOUPS 93623 WITH SCORE 93816.233
AT ITER 1788 NEW BEST:: SOT 319892 SOS 192729 HAS SOPS 188077 HAS SOUS 94660 HAS SOUPS 93547 WITH SCORE 93739.729
AT ITER 1803 NEW BEST:: SOT 319877 SOS 192704 HAS SOPS 188052 HAS SOUS 94660 HAS SOUPS 93547 WITH SCORE 93739.704
AT ITER 1809 NEW BEST:: SOT 319853 SOS 192676 HAS SOPS 188028 HAS SOUS 94646 HAS SOUPS 93533 WITH SCORE 93725.676
AT ITER 1821 NEW BEST:: SOT 319844 SOS 192664 HAS SOPS 188025 HAS SOUS 94637 HAS SOUPS 93524 WITH SCORE 93716.664
AT ITER 1827 NEW BEST:: SOT 319838 SOS 192641 HAS SOPS 188002 HAS SOUS 94624 HAS SOUPS 93511 WITH SCORE 93703.641
AT ITER 1839 NEW BEST:: SOT 319786 SOS 192614 HAS SOPS 187975 HAS SOUS 94494 HAS SOUPS 93381 WITH SCORE 93573.614
AT ITER 1843 NEW BEST:: SOT 316663 SOS 189681 HAS SOPS 184852 HAS SOUS 93307 HAS SOUPS 92156 WITH SCORE 92345.681
AT ITER 1845 NEW BEST:: SOT 316652 SOS 189655 HAS SOPS 184826 HAS SOUS 93285 HAS SOUPS 92134 WITH SCORE 92323.655
AT ITER 1856 NEW BEST:: SOT 316490 SOS 189493 HAS SOPS 184664 HAS SOUS 92961 HAS SOUPS 91810 WITH SCORE 91999.493
AT ITER 1864 NEW BEST:: SOT 316412 SOS 189451 HAS SOPS 184622 HAS SOUS 92919 HAS SOUPS 91768 WITH SCORE 91957.451
AT ITER 1867 NEW BEST:: SOT 316378 SOS 189417 HAS SOPS 184588 HAS SOUS 92885 HAS SOUPS 91734 WITH SCORE 91923.417
AT ITER 1869 NEW BEST:: SOT 316378 SOS 189387 HAS SOPS 184558 HAS SOUS 92861 HAS SOUPS 91710 WITH SCORE 91899.387
AT ITER 1892 NEW BEST:: SOT 316043 SOS 189109 HAS SOPS 184280 HAS SOUS 92753 HAS SOUPS 91602 WITH SCORE 91791.109
AT ITER 1899 NEW BEST:: SOT 315989 SOS 189055 HAS SOPS 184226 HAS SOUS 92739 HAS SOUPS 91588 WITH SCORE 91777.055
AT ITER 1915 NEW BEST:: SOT 315410 SOS 188829 HAS SOPS 184000 HAS SOUS 92153 HAS SOUPS 91002 WITH SCORE 91190.829
AT ITER 1929 NEW BEST:: SOT 315328 SOS 188405 HAS SOPS 183576 HAS SOUS 92055 HAS SOUPS 90904 WITH SCORE 91092.405
AT ITER 1943 NEW BEST:: SOT 315364 SOS 188444 HAS SOPS 183615 HAS SOUS 91999 HAS SOUPS 90848 WITH SCORE 91036.444
AT ITER 1971 NEW BEST:: SOT 315364 SOS 188435 HAS SOPS 183606 HAS SOUS 91999 HAS SOUPS 90848 WITH SCORE 91036.435
AT ITER 1974 NEW BEST:: SOT 315127 SOS 188240 HAS SOPS 183411 HAS SOUS 91762 HAS SOUPS 90611 WITH SCORE 90799.24
AT ITER 1981 NEW BEST:: SOT 315118 SOS 188222 HAS SOPS 183393 HAS SOUS 91735 HAS SOUPS 90584 WITH SCORE 90772.222
AT ITER 2008 NEW BEST:: SOT 314868 SOS 187802 HAS SOPS 182973 HAS SOUS 91431 HAS SOUPS 90280 WITH SCORE 90467.802
AT ITER 2013 NEW BEST:: SOT 314704 SOS 187614 HAS SOPS 182773 HAS SOUS 91243 HAS SOUPS 90092 WITH SCORE 90279.614
AT ITER 2028 NEW BEST:: SOT 314679 SOS 187570 HAS SOPS 182729 HAS SOUS 91174 HAS SOUPS 90023 WITH SCORE 90210.57
AT ITER 2034 NEW BEST:: SOT 314690 SOS 187592 HAS SOPS 182751 HAS SOUS 91132 HAS SOUPS 89981 WITH SCORE 90168.592
AT ITER 2035 NEW BEST:: SOT 314681 SOS 187574 HAS SOPS 182733 HAS SOUS 91105 HAS SOUPS 89954 WITH SCORE 90141.574
AT ITER 2044 NEW BEST:: SOT 314657 SOS 187550 HAS SOPS 182709 HAS SOUS 91033 HAS SOUPS 89882 WITH SCORE 90069.55
AT ITER 2053 NEW BEST:: SOT 314637 SOS 187551 HAS SOPS 182710 HAS SOUS 90995 HAS SOUPS 89844 WITH SCORE 90031.551
AT ITER 2059 NEW BEST:: SOT 314638 SOS 187552 HAS SOPS 182711 HAS SOUS 90953 HAS SOUPS 89802 WITH SCORE 89989.552
AT ITER 2062 NEW BEST:: SOT 314620 SOS 187498 HAS SOPS 182657 HAS SOUS 90953 HAS SOUPS 89802 WITH SCORE 89989.498
AT ITER 2086 NEW BEST:: SOT 314516 SOS 187394 HAS SOPS 182553 HAS SOUS 90802 HAS SOUPS 89651 WITH SCORE 89838.394
AT ITER 2104 NEW BEST:: SOT 314510 SOS 187382 HAS SOPS 182541 HAS SOUS 90790 HAS SOUPS 89639 WITH SCORE 89826.382
AT ITER 2107 NEW BEST:: SOT 314477 SOS 187183 HAS SOPS 182342 HAS SOUS 90789 HAS SOUPS 89638 WITH SCORE 89825.183
AT ITER 2116 NEW BEST:: SOT 314346 SOS 187085 HAS SOPS 182244 HAS SOUS 90681 HAS SOUPS 89530 WITH SCORE 89717.085
AT ITER 2117 NEW BEST:: SOT 314443 SOS 186656 HAS SOPS 181815 HAS SOUS 90624 HAS SOUPS 89473 WITH SCORE 89659.656
AT ITER 2120 NEW BEST:: SOT 314443 SOS 184853 HAS SOPS 180132 HAS SOUS 90338 HAS SOUPS 89207 WITH SCORE 89391.853
AT ITER 2152 NEW BEST:: SOT 314443 SOS 184858 HAS SOPS 180075 HAS SOUS 90322 HAS SOUPS 89156 WITH SCORE 89340.858
AT ITER 2157 NEW BEST:: SOT 314443 SOS 184824 HAS SOPS 180041 HAS SOUS 90322 HAS SOUPS 89156 WITH SCORE 89340.824
AT ITER 2166 NEW BEST:: SOT 314443 SOS 184824 HAS SOPS 180041 HAS SOUS 90304 HAS SOUPS 89138 WITH SCORE 89322.824
AT ITER 2181 NEW BEST:: SOT 314443 SOS 184871 HAS SOPS 180088 HAS SOUS 90287 HAS SOUPS 89121 WITH SCORE 89305.871
AT ITER 2182 NEW BEST:: SOT 314435 SOS 185186 HAS SOPS 180319 HAS SOUS 90277 HAS SOUPS 89097 WITH SCORE 89282.186
AT ITER 2200 NEW BEST:: SOT 314413 SOS 185256 HAS SOPS 180389 HAS SOUS 90149 HAS SOUPS 88969 WITH SCORE 89154.256
AT ITER 2204 NEW BEST:: SOT 313926 SOS 184679 HAS SOPS 179812 HAS SOUS 89760 HAS SOUPS 88580 WITH SCORE 88764.679
AT ITER 2228 NEW BEST:: SOT 313910 SOS 184663 HAS SOPS 179796 HAS SOUS 89744 HAS SOUPS 88564 WITH SCORE 88748.663
AT ITER 2230 NEW BEST:: SOT 313748 SOS 184603 HAS SOPS 179736 HAS SOUS 89549 HAS SOUPS 88369 WITH SCORE 88553.603
AT ITER 2235 NEW BEST:: SOT 313847 SOS 185020 HAS SOPS 180153 HAS SOUS 89330 HAS SOUPS 88150 WITH SCORE 88335.02
AT ITER 2245 NEW BEST:: SOT 313843 SOS 185015 HAS SOPS 180148 HAS SOUS 89328 HAS SOUPS 88148 WITH SCORE 88333.015
AT ITER 2247 NEW BEST:: SOT 313882 SOS 184851 HAS SOPS 179984 HAS SOUS 89014 HAS SOUPS 87834 WITH SCORE 88018.851
AT ITER 2249 NEW BEST:: SOT 313796 SOS 184793 HAS SOPS 179926 HAS SOUS 88956 HAS SOUPS 87776 WITH SCORE 87960.793
AT ITER 2251 NEW BEST:: SOT 313828 SOS 184555 HAS SOPS 179688 HAS SOUS 88819 HAS SOUPS 87639 WITH SCORE 87823.555
AT ITER 2267 NEW BEST:: SOT 313810 SOS 184531 HAS SOPS 179664 HAS SOUS 88795 HAS SOUPS 87615 WITH SCORE 87799.531
AT ITER 2268 NEW BEST:: SOT 313810 SOS 184527 HAS SOPS 179660 HAS SOUS 88783 HAS SOUPS 87603 WITH SCORE 87787.527
AT ITER 2277 NEW BEST:: SOT 313759 SOS 184476 HAS SOPS 179609 HAS SOUS 88655 HAS SOUPS 87475 WITH SCORE 87659.476
AT ITER 2280 NEW BEST:: SOT 313764 SOS 184393 HAS SOPS 179526 HAS SOUS 88546 HAS SOUPS 87366 WITH SCORE 87550.393
AT ITER 2281 NEW BEST:: SOT 313764 SOS 184445 HAS SOPS 179604 HAS SOUS 88520 HAS SOUPS 87340 WITH SCORE 87524.445
AT ITER 2287 NEW BEST:: SOT 313754 SOS 184435 HAS SOPS 179594 HAS SOUS 88510 HAS SOUPS 87330 WITH SCORE 87514.435
AT ITER 2311 NEW BEST:: SOT 313726 SOS 184435 HAS SOPS 179594 HAS SOUS 88497 HAS SOUPS 87317 WITH SCORE 87501.435
AT ITER 2319 NEW BEST:: SOT 313815 SOS 184660 HAS SOPS 179819 HAS SOUS 88460 HAS SOUPS 87280 WITH SCORE 87464.66
AT ITER 2325 NEW BEST:: SOT 313810 SOS 184650 HAS SOPS 179809 HAS SOUS 88450 HAS SOUPS 87270 WITH SCORE 87454.65
AT ITER 2329 NEW BEST:: SOT 313753 SOS 184616 HAS SOPS 179811 HAS SOUS 88432 HAS SOUPS 87252 WITH SCORE 87436.616
AT ITER 2330 NEW BEST:: SOT 313570 SOS 184414 HAS SOPS 179609 HAS SOUS 88230 HAS SOUPS 87050 WITH SCORE 87234.414
AT ITER 2343 NEW BEST:: SOT 313542 SOS 184408 HAS SOPS 179603 HAS SOUS 88224 HAS SOUPS 87044 WITH SCORE 87228.408
AT ITER 2347 NEW BEST:: SOT 313546 SOS 184412 HAS SOPS 179607 HAS SOUS 88222 HAS SOUPS 87042 WITH SCORE 87226.412
AT ITER 2348 NEW BEST:: SOT 313560 SOS 184533 HAS SOPS 179728 HAS SOUS 88145 HAS SOUPS 86965 WITH SCORE 87149.533
AT ITER 2353 NEW BEST:: SOT 313339 SOS 184330 HAS SOPS 179525 HAS SOUS 87931 HAS SOUPS 86751 WITH SCORE 86935.33
AT ITER 2361 NEW BEST:: SOT 313299 SOS 184530 HAS SOPS 179725 HAS SOUS 87770 HAS SOUPS 86590 WITH SCORE 86774.53
AT ITER 2363 NEW BEST:: SOT 312399 SOS 186535 HAS SOPS 181061 HAS SOUS 87749 HAS SOUPS 86443 WITH SCORE 86629.535
AT ITER 2368 NEW BEST:: SOT 312371 SOS 186507 HAS SOPS 180981 HAS SOUS 87676 HAS SOUPS 86370 WITH SCORE 86556.507
AT ITER 2369 NEW BEST:: SOT 312335 SOS 186471 HAS SOPS 180945 HAS SOUS 87585 HAS SOUPS 86279 WITH SCORE 86465.471
AT ITER 2384 NEW BEST:: SOT 312078 SOS 186214 HAS SOPS 180688 HAS SOUS 87438 HAS SOUPS 86132 WITH SCORE 86318.214
AT ITER 2394 NEW BEST:: SOT 312043 SOS 186074 HAS SOPS 180548 HAS SOUS 87403 HAS SOUPS 86097 WITH SCORE 86283.074
AT ITER 2402 NEW BEST:: SOT 312042 SOS 183709 HAS SOPS 178369 HAS SOUS 87235 HAS SOUPS 85960 WITH SCORE 86143.709
AT ITER 2404 NEW BEST:: SOT 312100 SOS 184015 HAS SOPS 178427 HAS SOUS 87227 HAS SOUPS 85952 WITH SCORE 86136.015
AT ITER 2407 NEW BEST:: SOT 311930 SOS 183845 HAS SOPS 178257 HAS SOUS 87154 HAS SOUPS 85879 WITH SCORE 86062.845
AT ITER 2464 NEW BEST:: SOT 311941 SOS 183856 HAS SOPS 178268 HAS SOUS 87149 HAS SOUPS 85874 WITH SCORE 86057.856
AT ITER 2466 NEW BEST:: SOT 311941 SOS 183633 HAS SOPS 178045 HAS SOUS 87105 HAS SOUPS 85830 WITH SCORE 86013.633
AT ITER 2477 NEW BEST:: SOT 311941 SOS 183657 HAS SOPS 178069 HAS SOUS 87099 HAS SOUPS 85824 WITH SCORE 86007.657
AT ITER 2479 NEW BEST:: SOT 311936 SOS 183652 HAS SOPS 178064 HAS SOUS 87099 HAS SOUPS 85824 WITH SCORE 86007.652
AT ITER 2482 NEW BEST:: SOT 311941 SOS 183349 HAS SOPS 177761 HAS SOUS 87077 HAS SOUPS 85802 WITH SCORE 85985.349
AT ITER 2498 NEW BEST:: SOT 311926 SOS 183339 HAS SOPS 177751 HAS SOUS 87060 HAS SOUPS 85785 WITH SCORE 85968.339
AT ITER 2501 NEW BEST:: SOT 311900 SOS 183314 HAS SOPS 177726 HAS SOUS 86807 HAS SOUPS 85532 WITH SCORE 85715.314
AT ITER 2503 NEW BEST:: SOT 311872 SOS 183291 HAS SOPS 177703 HAS SOUS 86794 HAS SOUPS 85519 WITH SCORE 85702.291
AT ITER 2505 NEW BEST:: SOT 311862 SOS 183271 HAS SOPS 177683 HAS SOUS 86764 HAS SOUPS 85489 WITH SCORE 85672.271
AT ITER 2509 NEW BEST:: SOT 310747 SOS 184002 HAS SOPS 178414 HAS SOUS 86454 HAS SOUPS 85179 WITH SCORE 85363.002
AT ITER 2512 NEW BEST:: SOT 310747 SOS 183909 HAS SOPS 178321 HAS SOUS 86435 HAS SOUPS 85160 WITH SCORE 85343.909
AT ITER 2523 NEW BEST:: SOT 309396 SOS 182558 HAS SOPS 176970 HAS SOUS 85923 HAS SOUPS 84648 WITH SCORE 84830.558
AT ITER 2526 NEW BEST:: SOT 309348 SOS 182510 HAS SOPS 176922 HAS SOUS 85812 HAS SOUPS 84537 WITH SCORE 84719.51
AT ITER 2547 NEW BEST:: SOT 309357 SOS 182333 HAS SOPS 176745 HAS SOUS 85790 HAS SOUPS 84515 WITH SCORE 84697.333
AT ITER 2548 NEW BEST:: SOT 307991 SOS 180920 HAS SOPS 175332 HAS SOUS 85064 HAS SOUPS 83789 WITH SCORE 83969.92
AT ITER 2549 NEW BEST:: SOT 307964 SOS 180893 HAS SOPS 175305 HAS SOUS 85010 HAS SOUPS 83735 WITH SCORE 83915.893
AT ITER 2550 NEW BEST:: SOT 307901 SOS 180773 HAS SOPS 175185 HAS SOUS 84778 HAS SOUPS 83503 WITH SCORE 83683.773
AT ITER 2582 NEW BEST:: SOT 307891 SOS 180763 HAS SOPS 175180 HAS SOUS 84764 HAS SOUPS 83489 WITH SCORE 83669.763
AT ITER 2586 NEW BEST:: SOT 307781 SOS 180667 HAS SOPS 175084 HAS SOUS 84719 HAS SOUPS 83444 WITH SCORE 83624.667
AT ITER 2591 NEW BEST:: SOT 307773 SOS 180681 HAS SOPS 175098 HAS SOUS 84703 HAS SOUPS 83428 WITH SCORE 83608.681
AT ITER 2616 NEW BEST:: SOT 307857 SOS 164575 HAS SOPS 157558 HAS SOUS 84956 HAS SOUPS 83442 WITH SCORE 83606.575
AT ITER 2631 NEW BEST:: SOT 307810 SOS 164432 HAS SOPS 157415 HAS SOUS 84840 HAS SOUPS 83326 WITH SCORE 83490.432
AT ITER 2636 NEW BEST:: SOT 307678 SOS 164373 HAS SOPS 157356 HAS SOUS 84769 HAS SOUPS 83255 WITH SCORE 83419.373
AT ITER 2640 NEW BEST:: SOT 307701 SOS 164360 HAS SOPS 157343 HAS SOUS 84762 HAS SOUPS 83248 WITH SCORE 83412.36
AT ITER 2642 NEW BEST:: SOT 307631 SOS 164309 HAS SOPS 157292 HAS SOUS 84679 HAS SOUPS 83165 WITH SCORE 83329.309
AT ITER 2643 NEW BEST:: SOT 307548 SOS 164200 HAS SOPS 157183 HAS SOUS 84625 HAS SOUPS 83111 WITH SCORE 83275.2
AT ITER 2664 NEW BEST:: SOT 307412 SOS 163840 HAS SOPS 156823 HAS SOUS 84353 HAS SOUPS 82839 WITH SCORE 83002.84
AT ITER 2665 NEW BEST:: SOT 307554 SOS 163968 HAS SOPS 156951 HAS SOUS 83892 HAS SOUPS 82378 WITH SCORE 82541.968
AT ITER 2704 NEW BEST:: SOT 307392 SOS 163713 HAS SOPS 156696 HAS SOUS 83783 HAS SOUPS 82269 WITH SCORE 82432.713
AT ITER 2730 NEW BEST:: SOT 307377 SOS 163702 HAS SOPS 156685 HAS SOUS 83770 HAS SOUPS 82256 WITH SCORE 82419.702
AT ITER 2731 NEW BEST:: SOT 307307 SOS 163290 HAS SOPS 156273 HAS SOUS 83634 HAS SOUPS 82120 WITH SCORE 82283.29
AT ITER 2740 NEW BEST:: SOT 307276 SOS 163259 HAS SOPS 156242 HAS SOUS 83585 HAS SOUPS 82071 WITH SCORE 82234.259
AT ITER 2751 NEW BEST:: SOT 307279 SOS 163444 HAS SOPS 156593 HAS SOUS 83440 HAS SOUPS 81926 WITH SCORE 82089.444
AT ITER 2784 NEW BEST:: SOT 306966 SOS 163192 HAS SOPS 156341 HAS SOUS 83382 HAS SOUPS 81868 WITH SCORE 82031.192
AT ITER 2795 NEW BEST:: SOT 306910 SOS 163181 HAS SOPS 156330 HAS SOUS 83368 HAS SOUPS 81854 WITH SCORE 82017.181
AT ITER 2818 NEW BEST:: SOT 306867 SOS 163165 HAS SOPS 156314 HAS SOUS 83282 HAS SOUPS 81768 WITH SCORE 81931.165
AT ITER 2819 NEW BEST:: SOT 306857 SOS 163148 HAS SOPS 156311 HAS SOUS 83274 HAS SOUPS 81762 WITH SCORE 81925.148
AT ITER 2824 NEW BEST:: SOT 306857 SOS 163140 HAS SOPS 156303 HAS SOUS 83274 HAS SOUPS 81762 WITH SCORE 81925.14
AT ITER 2869 NEW BEST:: SOT 306857 SOS 163140 HAS SOPS 156303 HAS SOUS 83270 HAS SOUPS 81758 WITH SCORE 81921.14
AT ITER 2874 NEW BEST:: SOT 306872 SOS 163418 HAS SOPS 156581 HAS SOUS 83222 HAS SOUPS 81710 WITH SCORE 81873.418
AT ITER 2880 NEW BEST:: SOT 306851 SOS 163397 HAS SOPS 156560 HAS SOUS 83201 HAS SOUPS 81689 WITH SCORE 81852.397
AT ITER 2885 NEW BEST:: SOT 306772 SOS 163318 HAS SOPS 156525 HAS SOUS 83096 HAS SOUPS 81612 WITH SCORE 81775.318
AT ITER 2890 NEW BEST:: SOT 306772 SOS 163334 HAS SOPS 156541 HAS SOUS 83080 HAS SOUPS 81596 WITH SCORE 81759.334
AT ITER 2905 NEW BEST:: SOT 306883 SOS 163399 HAS SOPS 156606 HAS SOUS 83004 HAS SOUPS 81520 WITH SCORE 81683.399
AT ITER 2915 NEW BEST:: SOT 306848 SOS 163399 HAS SOPS 156536 HAS SOUS 82934 HAS SOUPS 81450 WITH SCORE 81613.399
AT ITER 2927 NEW BEST:: SOT 306848 SOS 163236 HAS SOPS 156373 HAS SOUS 82934 HAS SOUPS 81450 WITH SCORE 81613.236
AT ITER 2948 NEW BEST:: SOT 306788 SOS 163142 HAS SOPS 156279 HAS SOUS 82760 HAS SOUPS 81276 WITH SCORE 81439.142
AT ITER 2959 NEW BEST:: SOT 306835 SOS 163254 HAS SOPS 156391 HAS SOUS 82601 HAS SOUPS 81117 WITH SCORE 81280.254
AT ITER 2966 NEW BEST:: SOT 306616 SOS 163097 HAS SOPS 156234 HAS SOUS 82429 HAS SOUPS 80945 WITH SCORE 81108.097
AT ITER 2977 NEW BEST:: SOT 306616 SOS 163075 HAS SOPS 156212 HAS SOUS 82429 HAS SOUPS 80945 WITH SCORE 81108.075
AT ITER 2999 NEW BEST:: SOT 306507 SOS 162966 HAS SOPS 156103 HAS SOUS 82320 HAS SOUPS 80836 WITH SCORE 80998.966
AT ITER 3006 NEW BEST:: SOT 306458 SOS 162868 HAS SOPS 156005 HAS SOUS 82271 HAS SOUPS 80787 WITH SCORE 80949.868
AT ITER 3013 NEW BEST:: SOT 306448 SOS 162858 HAS SOPS 155995 HAS SOUS 82271 HAS SOUPS 80787 WITH SCORE 80949.858
AT ITER 3026 NEW BEST:: SOT 306479 SOS 162875 HAS SOPS 156012 HAS SOUS 82198 HAS SOUPS 80714 WITH SCORE 80876.875
AT ITER 3042 NEW BEST:: SOT 306431 SOS 162898 HAS SOPS 156035 HAS SOUS 82186 HAS SOUPS 80702 WITH SCORE 80864.898
AT ITER 3046 NEW BEST:: SOT 306452 SOS 163180 HAS SOPS 156317 HAS SOUS 81990 HAS SOUPS 80506 WITH SCORE 80669.18
AT ITER 3049 NEW BEST:: SOT 306456 SOS 163184 HAS SOPS 156321 HAS SOUS 81968 HAS SOUPS 80484 WITH SCORE 80647.184
AT ITER 3061 NEW BEST:: SOT 303872 SOS 161071 HAS SOPS 154208 HAS SOUS 81218 HAS SOUPS 79734 WITH SCORE 79895.071
AT ITER 3064 NEW BEST:: SOT 302251 SOS 159365 HAS SOPS 152502 HAS SOUS 80766 HAS SOUPS 79282 WITH SCORE 79441.365
AT ITER 3089 NEW BEST:: SOT 302250 SOS 159364 HAS SOPS 152501 HAS SOUS 80764 HAS SOUPS 79280 WITH SCORE 79439.364
AT ITER 3092 NEW BEST:: SOT 302244 SOS 159406 HAS SOPS 152543 HAS SOUS 80752 HAS SOUPS 79268 WITH SCORE 79427.406
AT ITER 3098 NEW BEST:: SOT 302244 SOS 159407 HAS SOPS 152544 HAS SOUS 80751 HAS SOUPS 79267 WITH SCORE 79426.407
AT ITER 3114 NEW BEST:: SOT 302245 SOS 159408 HAS SOPS 152545 HAS SOUS 80748 HAS SOUPS 79264 WITH SCORE 79423.408
AT ITER 3123 NEW BEST:: SOT 301988 SOS 159244 HAS SOPS 152381 HAS SOUS 80519 HAS SOUPS 79035 WITH SCORE 79194.244
AT ITER 3146 NEW BEST:: SOT 301982 SOS 159238 HAS SOPS 152375 HAS SOUS 80507 HAS SOUPS 79023 WITH SCORE 79182.238
AT ITER 3155 NEW BEST:: SOT 301839 SOS 158358 HAS SOPS 151495 HAS SOUS 80466 HAS SOUPS 78982 WITH SCORE 79140.358
AT ITER 3172 NEW BEST:: SOT 301797 SOS 158316 HAS SOPS 151453 HAS SOUS 80424 HAS SOUPS 78940 WITH SCORE 79098.316
AT ITER 3184 NEW BEST:: SOT 301751 SOS 158269 HAS SOPS 151406 HAS SOUS 80353 HAS SOUPS 78869 WITH SCORE 79027.269
AT ITER 3192 NEW BEST:: SOT 301718 SOS 158236 HAS SOPS 151373 HAS SOUS 80337 HAS SOUPS 78853 WITH SCORE 79011.236
AT ITER 3218 NEW BEST:: SOT 298932 SOS 155143 HAS SOPS 148280 HAS SOUS 78959 HAS SOUPS 77475 WITH SCORE 77630.143
AT ITER 3220 NEW BEST:: SOT 298908 SOS 155143 HAS SOPS 148280 HAS SOUS 78930 HAS SOUPS 77446 WITH SCORE 77601.143
AT ITER 3221 NEW BEST:: SOT 298934 SOS 155169 HAS SOPS 148306 HAS SOUS 78863 HAS SOUPS 77379 WITH SCORE 77534.169
AT ITER 3227 NEW BEST:: SOT 298938 SOS 155173 HAS SOPS 148310 HAS SOUS 78829 HAS SOUPS 77345 WITH SCORE 77500.173
AT ITER 3228 NEW BEST:: SOT 298773 SOS 154882 HAS SOPS 148019 HAS SOUS 78538 HAS SOUPS 77054 WITH SCORE 77208.882
AT ITER 3235 NEW BEST:: SOT 298778 SOS 154629 HAS SOPS 147766 HAS SOUS 78513 HAS SOUPS 77029 WITH SCORE 77183.629
AT ITER 3246 NEW BEST:: SOT 298776 SOS 154628 HAS SOPS 147765 HAS SOUS 78509 HAS SOUPS 77025 WITH SCORE 77179.628
AT ITER 3261 NEW BEST:: SOT 298778 SOS 154597 HAS SOPS 147734 HAS SOUS 78462 HAS SOUPS 76978 WITH SCORE 77132.597
AT ITER 3283 NEW BEST:: SOT 298719 SOS 154538 HAS SOPS 147675 HAS SOUS 78451 HAS SOUPS 76967 WITH SCORE 77121.538
AT ITER 3293 NEW BEST:: SOT 298670 SOS 154489 HAS SOPS 147626 HAS SOUS 78410 HAS SOUPS 76926 WITH SCORE 77080.489
AT ITER 3296 NEW BEST:: SOT 298668 SOS 154487 HAS SOPS 147626 HAS SOUS 78409 HAS SOUPS 76926 WITH SCORE 77080.487
AT ITER 3304 NEW BEST:: SOT 298662 SOS 154478 HAS SOPS 147617 HAS SOUS 78397 HAS SOUPS 76914 WITH SCORE 77068.478
AT ITER 3306 NEW BEST:: SOT 298538 SOS 154354 HAS SOPS 147493 HAS SOUS 78309 HAS SOUPS 76826 WITH SCORE 76980.354
AT ITER 3314 NEW BEST:: SOT 298523 SOS 154327 HAS SOPS 147466 HAS SOUS 78284 HAS SOUPS 76801 WITH SCORE 76955.327
AT ITER 3349 NEW BEST:: SOT 298449 SOS 154207 HAS SOPS 147346 HAS SOUS 78164 HAS SOUPS 76681 WITH SCORE 76835.207
AT ITER 3362 NEW BEST:: SOT 298326 SOS 154027 HAS SOPS 147166 HAS SOUS 78032 HAS SOUPS 76549 WITH SCORE 76703.027
AT ITER 3371 NEW BEST:: SOT 298450 SOS 154151 HAS SOPS 147290 HAS SOUS 78025 HAS SOUPS 76542 WITH SCORE 76696.151
AT ITER 3379 NEW BEST:: SOT 298484 SOS 154119 HAS SOPS 147258 HAS SOUS 77888 HAS SOUPS 76405 WITH SCORE 76559.119
AT ITER 3388 NEW BEST:: SOT 298484 SOS 154145 HAS SOPS 147284 HAS SOUS 77882 HAS SOUPS 76399 WITH SCORE 76553.145
AT ITER 3409 NEW BEST:: SOT 298352 SOS 154033 HAS SOPS 147172 HAS SOUS 77464 HAS SOUPS 75981 WITH SCORE 76135.033
AT ITER 3437 NEW BEST:: SOT 298268 SOS 153986 HAS SOPS 147125 HAS SOUS 77383 HAS SOUPS 75900 WITH SCORE 76053.986
AT ITER 3477 NEW BEST:: SOT 298268 SOS 154060 HAS SOPS 147199 HAS SOUS 77309 HAS SOUPS 75826 WITH SCORE 75980.06
AT ITER 3499 NEW BEST:: SOT 298259 SOS 154029 HAS SOPS 147168 HAS SOUS 77256 HAS SOUPS 75773 WITH SCORE 75927.029
AT ITER 3507 NEW BEST:: SOT 298223 SOS 154080 HAS SOPS 147219 HAS SOUS 77219 HAS SOUPS 75736 WITH SCORE 75890.08
AT ITER 3526 NEW BEST:: SOT 298223 SOS 154037 HAS SOPS 147176 HAS SOUS 77219 HAS SOUPS 75736 WITH SCORE 75890.037
AT ITER 3533 NEW BEST:: SOT 298220 SOS 154031 HAS SOPS 147170 HAS SOUS 77213 HAS SOUPS 75730 WITH SCORE 75884.031
AT ITER 3539 NEW BEST:: SOT 298192 SOS 153975 HAS SOPS 147114 HAS SOUS 77193 HAS SOUPS 75710 WITH SCORE 75863.975
AT ITER 3555 NEW BEST:: SOT 298192 SOS 153975 HAS SOPS 147114 HAS SOUS 77187 HAS SOUPS 75704 WITH SCORE 75857.975
AT ITER 3558 NEW BEST:: SOT 298066 SOS 153849 HAS SOPS 146988 HAS SOUS 76921 HAS SOUPS 75438 WITH SCORE 75591.849
AT ITER 3574 NEW BEST:: SOT 298040 SOS 153834 HAS SOPS 146973 HAS SOUS 76908 HAS SOUPS 75425 WITH SCORE 75578.834
AT ITER 3582 NEW BEST:: SOT 298040 SOS 153871 HAS SOPS 147010 HAS SOUS 76882 HAS SOUPS 75399 WITH SCORE 75552.871
AT ITER 3600 NEW BEST:: SOT 298055 SOS 153791 HAS SOPS 146930 HAS SOUS 76851 HAS SOUPS 75368 WITH SCORE 75521.791
AT ITER 3603 NEW BEST:: SOT 297793 SOS 154088 HAS SOPS 147227 HAS SOUS 76778 HAS SOUPS 75295 WITH SCORE 75449.088
AT ITER 3607 NEW BEST:: SOT 297811 SOS 153387 HAS SOPS 146526 HAS SOUS 76596 HAS SOUPS 75113 WITH SCORE 75266.387
AT ITER 3613 NEW BEST:: SOT 297811 SOS 153381 HAS SOPS 146517 HAS SOUS 76593 HAS SOUPS 75110 WITH SCORE 75263.381
AT ITER 3614 NEW BEST:: SOT 297801 SOS 153351 HAS SOPS 146487 HAS SOUS 76573 HAS SOUPS 75090 WITH SCORE 75243.351
AT ITER 3616 NEW BEST:: SOT 297801 SOS 153343 HAS SOPS 146479 HAS SOUS 76573 HAS SOUPS 75090 WITH SCORE 75243.343
AT ITER 3668 NEW BEST:: SOT 297723 SOS 153665 HAS SOPS 146801 HAS SOUS 76498 HAS SOUPS 75015 WITH SCORE 75168.665
AT ITER 3684 NEW BEST:: SOT 297582 SOS 153844 HAS SOPS 146980 HAS SOUS 76367 HAS SOUPS 74884 WITH SCORE 75037.844
AT ITER 3686 NEW BEST:: SOT 297582 SOS 153653 HAS SOPS 146789 HAS SOUS 76294 HAS SOUPS 74811 WITH SCORE 74964.653
AT ITER 3713 NEW BEST:: SOT 297582 SOS 153827 HAS SOPS 146963 HAS SOUS 76273 HAS SOUPS 74790 WITH SCORE 74943.827
AT ITER 3724 NEW BEST:: SOT 297582 SOS 153827 HAS SOPS 146963 HAS SOUS 76253 HAS SOUPS 74770 WITH SCORE 74923.827
AT ITER 3739 NEW BEST:: SOT 297621 SOS 153856 HAS SOPS 146992 HAS SOUS 76237 HAS SOUPS 74754 WITH SCORE 74907.856
AT ITER 3754 NEW BEST:: SOT 297621 SOS 153834 HAS SOPS 146992 HAS SOUS 76237 HAS SOUPS 74754 WITH SCORE 74907.834
AT ITER 3772 NEW BEST:: SOT 297571 SOS 153784 HAS SOPS 146942 HAS SOUS 76130 HAS SOUPS 74647 WITH SCORE 74800.784
AT ITER 3783 NEW BEST:: SOT 297568 SOS 153781 HAS SOPS 146939 HAS SOUS 76121 HAS SOUPS 74638 WITH SCORE 74791.781
AT ITER 3802 NEW BEST:: SOT 297558 SOS 154051 HAS SOPS 147151 HAS SOUS 76111 HAS SOUPS 74628 WITH SCORE 74782.051
AT ITER 3803 NEW BEST:: SOT 297412 SOS 153930 HAS SOPS 147030 HAS SOUS 75932 HAS SOUPS 74449 WITH SCORE 74602.93
AT ITER 3812 NEW BEST:: SOT 297169 SOS 153687 HAS SOPS 146787 HAS SOUS 75800 HAS SOUPS 74317 WITH SCORE 74470.687
AT ITER 3821 NEW BEST:: SOT 297146 SOS 153687 HAS SOPS 146787 HAS SOUS 75754 HAS SOUPS 74271 WITH SCORE 74424.687
AT ITER 3846 NEW BEST:: SOT 297142 SOS 153768 HAS SOPS 146868 HAS SOUS 75739 HAS SOUPS 74256 WITH SCORE 74409.768
AT ITER 3847 NEW BEST:: SOT 297216 SOS 153654 HAS SOPS 146627 HAS SOUS 75634 HAS SOUPS 74120 WITH SCORE 74273.654
AT ITER 3856 NEW BEST:: SOT 297192 SOS 153596 HAS SOPS 146569 HAS SOUS 75603 HAS SOUPS 74089 WITH SCORE 74242.596
AT ITER 3857 NEW BEST:: SOT 297262 SOS 153677 HAS SOPS 146650 HAS SOUS 75585 HAS SOUPS 74071 WITH SCORE 74224.677
AT ITER 3867 NEW BEST:: SOT 297299 SOS 153418 HAS SOPS 146391 HAS SOUS 75585 HAS SOUPS 74071 WITH SCORE 74224.418
AT ITER 3869 NEW BEST:: SOT 297318 SOS 153384 HAS SOPS 146357 HAS SOUS 75566 HAS SOUPS 74052 WITH SCORE 74205.384
AT ITER 3877 NEW BEST:: SOT 297318 SOS 153190 HAS SOPS 146163 HAS SOUS 75566 HAS SOUPS 74052 WITH SCORE 74205.19
AT ITER 3893 NEW BEST:: SOT 297292 SOS 153208 HAS SOPS 146181 HAS SOUS 75546 HAS SOUPS 74032 WITH SCORE 74185.208
AT ITER 3909 NEW BEST:: SOT 297255 SOS 153138 HAS SOPS 146111 HAS SOUS 75538 HAS SOUPS 74024 WITH SCORE 74177.138
AT ITER 3915 NEW BEST:: SOT 297240 SOS 153123 HAS SOPS 146096 HAS SOUS 75523 HAS SOUPS 74009 WITH SCORE 74162.123
AT ITER 3938 NEW BEST:: SOT 297240 SOS 153079 HAS SOPS 146052 HAS SOUS 75523 HAS SOUPS 74009 WITH SCORE 74162.079
AT ITER 3940 NEW BEST:: SOT 297240 SOS 153077 HAS SOPS 146050 HAS SOUS 75523 HAS SOUPS 74009 WITH SCORE 74162.077
AT ITER 3953 NEW BEST:: SOT 297240 SOS 153077 HAS SOPS 146050 HAS SOUS 75502 HAS SOUPS 73988 WITH SCORE 74141.077
AT ITER 3964 NEW BEST:: SOT 297233 SOS 153070 HAS SOPS 146043 HAS SOUS 75495 HAS SOUPS 73981 WITH SCORE 74134.07
AT ITER 3966 NEW BEST:: SOT 297230 SOS 153070 HAS SOPS 146043 HAS SOUS 75492 HAS SOUPS 73978 WITH SCORE 74131.07
AT ITER 3986 NEW BEST:: SOT 297220 SOS 153080 HAS SOPS 146053 HAS SOUS 75491 HAS SOUPS 73977 WITH SCORE 74130.08
AT ITER 3991 NEW BEST:: SOT 297151 SOS 153011 HAS SOPS 145984 HAS SOUS 75446 HAS SOUPS 73932 WITH SCORE 74085.011
AT ITER 3996 NEW BEST:: SOT 297146 SOS 153001 HAS SOPS 145974 HAS SOUS 75436 HAS SOUPS 73922 WITH SCORE 74075.001
AT ITER 4037 NEW BEST:: SOT 297100 SOS 152945 HAS SOPS 145940 HAS SOUS 75406 HAS SOUPS 73892 WITH SCORE 74044.945
AT ITER 4041 NEW BEST:: SOT 297100 SOS 152940 HAS SOPS 145935 HAS SOUS 75406 HAS SOUPS 73892 WITH SCORE 74044.94
AT ITER 4048 NEW BEST:: SOT 297086 SOS 152968 HAS SOPS 145963 HAS SOUS 75378 HAS SOUPS 73864 WITH SCORE 74016.968
AT ITER 4117 NEW BEST:: SOT 297086 SOS 152965 HAS SOPS 145960 HAS SOUS 75372 HAS SOUPS 73858 WITH SCORE 74010.965
AT ITER 4125 NEW BEST:: SOT 297010 SOS 152889 HAS SOPS 145875 HAS SOUS 75349 HAS SOUPS 73835 WITH SCORE 73987.889
AT ITER 4131 NEW BEST:: SOT 296952 SOS 153024 HAS SOPS 146010 HAS SOUS 75300 HAS SOUPS 73786 WITH SCORE 73939.024
AT ITER 4139 NEW BEST:: SOT 296900 SOS 152972 HAS SOPS 145958 HAS SOUS 75196 HAS SOUPS 73682 WITH SCORE 73834.972
AT ITER 4181 NEW BEST:: SOT 296887 SOS 152972 HAS SOPS 145945 HAS SOUS 75196 HAS SOUPS 73669 WITH SCORE 73821.972
AT ITER 4185 NEW BEST:: SOT 296885 SOS 152968 HAS SOPS 145941 HAS SOUS 75192 HAS SOUPS 73665 WITH SCORE 73817.968
AT ITER 4192 NEW BEST:: SOT 296838 SOS 153311 HAS SOPS 146284 HAS SOUS 75110 HAS SOUPS 73583 WITH SCORE 73736.311
AT ITER 4199 NEW BEST:: SOT 296808 SOS 153296 HAS SOPS 146269 HAS SOUS 75095 HAS SOUPS 73568 WITH SCORE 73721.296
AT ITER 4206 NEW BEST:: SOT 296802 SOS 153284 HAS SOPS 146257 HAS SOUS 75083 HAS SOUPS 73556 WITH SCORE 73709.284
AT ITER 4226 NEW BEST:: SOT 296637 SOS 153060 HAS SOPS 146033 HAS SOUS 74859 HAS SOUPS 73332 WITH SCORE 73485.06
AT ITER 4257 NEW BEST:: SOT 296631 SOS 153056 HAS SOPS 146029 HAS SOUS 74857 HAS SOUPS 73330 WITH SCORE 73483.056
AT ITER 4283 NEW BEST:: SOT 296654 SOS 153331 HAS SOPS 146304 HAS SOUS 74820 HAS SOUPS 73293 WITH SCORE 73446.331
AT ITER 4291 NEW BEST:: SOT 296675 SOS 153623 HAS SOPS 146596 HAS SOUS 74744 HAS SOUPS 73217 WITH SCORE 73370.623
AT ITER 4299 NEW BEST:: SOT 296636 SOS 153514 HAS SOPS 146487 HAS SOUS 74713 HAS SOUPS 73186 WITH SCORE 73339.514
AT ITER 4303 NEW BEST:: SOT 296700 SOS 153528 HAS SOPS 146501 HAS SOUS 74669 HAS SOUPS 73142 WITH SCORE 73295.528
AT ITER 4305 NEW BEST:: SOT 296706 SOS 153507 HAS SOPS 146480 HAS SOUS 74648 HAS SOUPS 73121 WITH SCORE 73274.507
AT ITER 4350 NEW BEST:: SOT 296706 SOS 153499 HAS SOPS 146472 HAS SOUS 74640 HAS SOUPS 73113 WITH SCORE 73266.499
AT ITER 4355 NEW BEST:: SOT 296706 SOS 153553 HAS SOPS 146526 HAS SOUS 74592 HAS SOUPS 73065 WITH SCORE 73218.553
AT ITER 4360 NEW BEST:: SOT 296695 SOS 153542 HAS SOPS 146515 HAS SOUS 74581 HAS SOUPS 73054 WITH SCORE 73207.542
AT ITER 4367 NEW BEST:: SOT 296704 SOS 153560 HAS SOPS 146533 HAS SOUS 74577 HAS SOUPS 73050 WITH SCORE 73203.56
AT ITER 4370 NEW BEST:: SOT 296647 SOS 153524 HAS SOPS 146497 HAS SOUS 74463 HAS SOUPS 72936 WITH SCORE 73089.524
AT ITER 4376 NEW BEST:: SOT 296442 SOS 153219 HAS SOPS 146192 HAS SOUS 74257 HAS SOUPS 72730 WITH SCORE 72883.219
AT ITER 4396 NEW BEST:: SOT 296361 SOS 153138 HAS SOPS 146111 HAS SOUS 74155 HAS SOUPS 72628 WITH SCORE 72781.138
AT ITER 4411 NEW BEST:: SOT 296348 SOS 153125 HAS SOPS 146098 HAS SOUS 74129 HAS SOUPS 72602 WITH SCORE 72755.125
AT ITER 4444 NEW BEST:: SOT 296276 SOS 152981 HAS SOPS 145954 HAS SOUS 74027 HAS SOUPS 72500 WITH SCORE 72652.981
AT ITER 4445 NEW BEST:: SOT 296385 SOS 152872 HAS SOPS 145736 HAS SOUS 73918 HAS SOUPS 72391 WITH SCORE 72543.872
AT ITER 4446 NEW BEST:: SOT 296409 SOS 152881 HAS SOPS 145745 HAS SOUS 73897 HAS SOUPS 72370 WITH SCORE 72522.881
AT ITER 4454 NEW BEST:: SOT 296414 SOS 152881 HAS SOPS 145745 HAS SOUS 73887 HAS SOUPS 72360 WITH SCORE 72512.881
AT ITER 4461 NEW BEST:: SOT 296376 SOS 152824 HAS SOPS 145688 HAS SOUS 73830 HAS SOUPS 72303 WITH SCORE 72455.824
AT ITER 4482 NEW BEST:: SOT 296345 SOS 152709 HAS SOPS 145629 HAS SOUS 73797 HAS SOUPS 72270 WITH SCORE 72422.709
AT ITER 4566 NEW BEST:: SOT 296419 SOS 152768 HAS SOPS 145688 HAS SOUS 73678 HAS SOUPS 72151 WITH SCORE 72303.768
AT ITER 4569 NEW BEST:: SOT 296410 SOS 152759 HAS SOPS 145679 HAS SOUS 73660 HAS SOUPS 72133 WITH SCORE 72285.759
AT ITER 4644 NEW BEST:: SOT 296521 SOS 152640 HAS SOPS 145560 HAS SOUS 73485 HAS SOUPS 71958 WITH SCORE 72110.64
AT ITER 4649 NEW BEST:: SOT 296480 SOS 152558 HAS SOPS 145478 HAS SOUS 73403 HAS SOUPS 71876 WITH SCORE 72028.558
AT ITER 4668 NEW BEST:: SOT 296429 SOS 152550 HAS SOPS 145470 HAS SOUS 73346 HAS SOUPS 71819 WITH SCORE 71971.55
AT ITER 4712 NEW BEST:: SOT 296390 SOS 152511 HAS SOPS 145409 HAS SOUS 73285 HAS SOUPS 71758 WITH SCORE 71910.511
AT ITER 4715 NEW BEST:: SOT 296257 SOS 152451 HAS SOPS 145412 HAS SOUS 73185 HAS SOUPS 71658 WITH SCORE 71810.451
AT ITER 4739 NEW BEST:: SOT 296178 SOS 152339 HAS SOPS 145300 HAS SOUS 73023 HAS SOUPS 71496 WITH SCORE 71648.339
AT ITER 4745 NEW BEST:: SOT 296170 SOS 152331 HAS SOPS 145292 HAS SOUS 73023 HAS SOUPS 71496 WITH SCORE 71648.331
AT ITER 4825 NEW BEST:: SOT 296114 SOS 152373 HAS SOPS 145306 HAS SOUS 73027 HAS SOUPS 71486 WITH SCORE 71638.373
AT ITER 4841 NEW BEST:: SOT 296078 SOS 152475 HAS SOPS 145408 HAS SOUS 72945 HAS SOUPS 71404 WITH SCORE 71556.475
AT ITER 4850 NEW BEST:: SOT 296068 SOS 152566 HAS SOPS 145499 HAS SOUS 72925 HAS SOUPS 71384 WITH SCORE 71536.566
AT ITER 4861 NEW BEST:: SOT 296049 SOS 152483 HAS SOPS 145416 HAS SOUS 72909 HAS SOUPS 71368 WITH SCORE 71520.483
AT ITER 4869 NEW BEST:: SOT 296006 SOS 152397 HAS SOPS 145330 HAS SOUS 72866 HAS SOUPS 71325 WITH SCORE 71477.397
AT ITER 4892 NEW BEST:: SOT 295976 SOS 152370 HAS SOPS 145303 HAS SOUS 72839 HAS SOUPS 71298 WITH SCORE 71450.37
AT ITER 4909 NEW BEST:: SOT 295971 SOS 152367 HAS SOPS 145300 HAS SOUS 72822 HAS SOUPS 71281 WITH SCORE 71433.367
AT ITER 4943 NEW BEST:: SOT 295922 SOS 152431 HAS SOPS 145364 HAS SOUS 72724 HAS SOUPS 71183 WITH SCORE 71335.431
AT ITER 4966 NEW BEST:: SOT 295899 SOS 152408 HAS SOPS 145341 HAS SOUS 72722 HAS SOUPS 71181 WITH SCORE 71333.408
AT ITER 4990 NEW BEST:: SOT 295894 SOS 152398 HAS SOPS 145331 HAS SOUS 72712 HAS SOUPS 71171 WITH SCORE 71323.398
AT ITER 5000 NEW BEST:: SOT 295908 SOS 152754 HAS SOPS 145687 HAS SOUS 72710 HAS SOUPS 71169 WITH SCORE 71321.754
AT ITER 5003 NEW BEST:: SOT 295882 SOS 152754 HAS SOPS 145687 HAS SOUS 72658 HAS SOUPS 71117 WITH SCORE 71269.754
AT ITER 5004 NEW BEST:: SOT 295952 SOS 152899 HAS SOPS 145832 HAS SOUS 72647 HAS SOUPS 71106 WITH SCORE 71258.899
AT ITER 5005 NEW BEST:: SOT 295839 SOS 152786 HAS SOPS 145719 HAS SOUS 72489 HAS SOUPS 70948 WITH SCORE 71100.786
AT ITER 5022 NEW BEST:: SOT 295835 SOS 152782 HAS SOPS 145715 HAS SOUS 72485 HAS SOUPS 70944 WITH SCORE 71096.782
AT ITER 5027 NEW BEST:: SOT 295828 SOS 152775 HAS SOPS 145708 HAS SOUS 72478 HAS SOUPS 70937 WITH SCORE 71089.775
AT ITER 5038 NEW BEST:: SOT 295767 SOS 152714 HAS SOPS 145647 HAS SOUS 72416 HAS SOUPS 70875 WITH SCORE 71027.714
AT ITER 5043 NEW BEST:: SOT 295717 SOS 152698 HAS SOPS 145644 HAS SOUS 72390 HAS SOUPS 70849 WITH SCORE 71001.698
AT ITER 5059 NEW BEST:: SOT 295685 SOS 152666 HAS SOPS 145584 HAS SOUS 72332 HAS SOUPS 70785 WITH SCORE 70937.666
AT ITER 5061 NEW BEST:: SOT 295664 SOS 152631 HAS SOPS 145549 HAS SOUS 72275 HAS SOUPS 70728 WITH SCORE 70880.631
AT ITER 5075 NEW BEST:: SOT 295658 SOS 152619 HAS SOPS 145537 HAS SOUS 72251 HAS SOUPS 70704 WITH SCORE 70856.619
AT ITER 5106 NEW BEST:: SOT 295594 SOS 152621 HAS SOPS 145539 HAS SOUS 72199 HAS SOUPS 70652 WITH SCORE 70804.621
AT ITER 5110 NEW BEST:: SOT 295596 SOS 152625 HAS SOPS 145543 HAS SOUS 72193 HAS SOUPS 70646 WITH SCORE 70798.625
AT ITER 5120 NEW BEST:: SOT 295501 SOS 152109 HAS SOPS 145027 HAS SOUS 72126 HAS SOUPS 70579 WITH SCORE 70731.109
AT ITER 5127 NEW BEST:: SOT 295501 SOS 151484 HAS SOPS 144402 HAS SOUS 72126 HAS SOUPS 70579 WITH SCORE 70730.484
AT ITER 5160 NEW BEST:: SOT 295506 SOS 151510 HAS SOPS 144428 HAS SOUS 72115 HAS SOUPS 70568 WITH SCORE 70719.51
AT ITER 5177 NEW BEST:: SOT 295445 SOS 151429 HAS SOPS 144347 HAS SOUS 72058 HAS SOUPS 70511 WITH SCORE 70662.429
AT ITER 5180 NEW BEST:: SOT 295445 SOS 151422 HAS SOPS 144340 HAS SOUS 72051 HAS SOUPS 70504 WITH SCORE 70655.422
AT ITER 5199 NEW BEST:: SOT 295360 SOS 151282 HAS SOPS 144200 HAS SOUS 71857 HAS SOUPS 70310 WITH SCORE 70461.282
AT ITER 5204 NEW BEST:: SOT 295313 SOS 151033 HAS SOPS 143951 HAS SOUS 71848 HAS SOUPS 70301 WITH SCORE 70452.033
AT ITER 5215 NEW BEST:: SOT 295376 SOS 151115 HAS SOPS 144033 HAS SOUS 71776 HAS SOUPS 70229 WITH SCORE 70380.115
AT ITER 5224 NEW BEST:: SOT 295376 SOS 151113 HAS SOPS 144031 HAS SOUS 71771 HAS SOUPS 70224 WITH SCORE 70375.113
AT ITER 5236 NEW BEST:: SOT 295366 SOS 151071 HAS SOPS 144015 HAS SOUS 71746 HAS SOUPS 70208 WITH SCORE 70359.071
AT ITER 5238 NEW BEST:: SOT 295294 SOS 150990 HAS SOPS 143934 HAS SOUS 71665 HAS SOUPS 70127 WITH SCORE 70277.99
AT ITER 5262 NEW BEST:: SOT 295309 SOS 150947 HAS SOPS 143891 HAS SOUS 71634 HAS SOUPS 70096 WITH SCORE 70246.947
AT ITER 5287 NEW BEST:: SOT 295313 SOS 150951 HAS SOPS 143895 HAS SOUS 71626 HAS SOUPS 70088 WITH SCORE 70238.951
AT ITER 5301 NEW BEST:: SOT 295276 SOS 150884 HAS SOPS 144228 HAS SOUS 71528 HAS SOUPS 70086 WITH SCORE 70236.884
AT ITER 5312 NEW BEST:: SOT 295282 SOS 150890 HAS SOPS 144234 HAS SOUS 71525 HAS SOUPS 70083 WITH SCORE 70233.89
AT ITER 5336 NEW BEST:: SOT 295282 SOS 150890 HAS SOPS 144234 HAS SOUS 71499 HAS SOUPS 70057 WITH SCORE 70207.89
AT ITER 5341 NEW BEST:: SOT 295266 SOS 150878 HAS SOPS 144222 HAS SOUS 71487 HAS SOUPS 70045 WITH SCORE 70195.878
AT ITER 5365 NEW BEST:: SOT 295251 SOS 150850 HAS SOPS 144194 HAS SOUS 71444 HAS SOUPS 70002 WITH SCORE 70152.85
AT ITER 5374 NEW BEST:: SOT 295182 SOS 150686 HAS SOPS 144030 HAS SOUS 71396 HAS SOUPS 69954 WITH SCORE 70104.686
AT ITER 5392 NEW BEST:: SOT 295182 SOS 150878 HAS SOPS 144030 HAS SOUS 71332 HAS SOUPS 69858 WITH SCORE 70008.878
AT ITER 5422 NEW BEST:: SOT 295203 SOS 150899 HAS SOPS 144051 HAS SOUS 71326 HAS SOUPS 69852 WITH SCORE 70002.899
AT ITER 5437 NEW BEST:: SOT 295217 SOS 150899 HAS SOPS 144051 HAS SOUS 71312 HAS SOUPS 69838 WITH SCORE 69988.899
AT ITER 5456 NEW BEST:: SOT 295227 SOS 150589 HAS SOPS 143711 HAS SOUS 71317 HAS SOUPS 69838 WITH SCORE 69988.589
AT ITER 5469 NEW BEST:: SOT 295227 SOS 150589 HAS SOPS 143711 HAS SOUS 71315 HAS SOUPS 69836 WITH SCORE 69986.589
AT ITER 5475 NEW BEST:: SOT 295227 SOS 150281 HAS SOPS 143403 HAS SOUS 71315 HAS SOUPS 69836 WITH SCORE 69986.281
AT ITER 5476 NEW BEST:: SOT 295196 SOS 150312 HAS SOPS 143434 HAS SOUS 71284 HAS SOUPS 69805 WITH SCORE 69955.312
AT ITER 5484 NEW BEST:: SOT 295211 SOS 150297 HAS SOPS 143419 HAS SOUS 71284 HAS SOUPS 69805 WITH SCORE 69955.297
AT ITER 5562 NEW BEST:: SOT 294978 SOS 149963 HAS SOPS 143085 HAS SOUS 70953 HAS SOUPS 69474 WITH SCORE 69623.963
AT ITER 5576 NEW BEST:: SOT 294794 SOS 149779 HAS SOPS 142901 HAS SOUS 70747 HAS SOUPS 69268 WITH SCORE 69417.779
AT ITER 5584 NEW BEST:: SOT 294778 SOS 149868 HAS SOPS 142990 HAS SOUS 70725 HAS SOUPS 69246 WITH SCORE 69395.868
AT ITER 5604 NEW BEST:: SOT 294751 SOS 149916 HAS SOPS 143038 HAS SOUS 70676 HAS SOUPS 69197 WITH SCORE 69346.916
AT ITER 5622 NEW BEST:: SOT 294636 SOS 149882 HAS SOPS 143004 HAS SOUS 70447 HAS SOUPS 68968 WITH SCORE 69117.882
AT ITER 5624 NEW BEST:: SOT 294636 SOS 149874 HAS SOPS 142996 HAS SOUS 70408 HAS SOUPS 68929 WITH SCORE 69078.874
AT ITER 5637 NEW BEST:: SOT 294529 SOS 149767 HAS SOPS 142889 HAS SOUS 70224 HAS SOUPS 68745 WITH SCORE 68894.767
AT ITER 5695 NEW BEST:: SOT 294529 SOS 149337 HAS SOPS 142459 HAS SOUS 70224 HAS SOUPS 68745 WITH SCORE 68894.337
AT ITER 5697 NEW BEST:: SOT 294529 SOS 150398 HAS SOPS 143520 HAS SOUS 70212 HAS SOUPS 68733 WITH SCORE 68883.398
AT ITER 5698 NEW BEST:: SOT 294441 SOS 150296 HAS SOPS 143418 HAS SOUS 70102 HAS SOUPS 68623 WITH SCORE 68773.296
AT ITER 5728 NEW BEST:: SOT 294098 SOS 150427 HAS SOPS 143549 HAS SOUS 70044 HAS SOUPS 68565 WITH SCORE 68715.427
AT ITER 5729 NEW BEST:: SOT 294085 SOS 150414 HAS SOPS 143536 HAS SOUS 70018 HAS SOUPS 68539 WITH SCORE 68689.414
AT ITER 5734 NEW BEST:: SOT 294098 SOS 150589 HAS SOPS 143711 HAS SOUS 70010 HAS SOUPS 68531 WITH SCORE 68681.589
AT ITER 5753 NEW BEST:: SOT 294068 SOS 150549 HAS SOPS 143671 HAS SOUS 69960 HAS SOUPS 68481 WITH SCORE 68631.549
AT ITER 5762 NEW BEST:: SOT 293911 SOS 150449 HAS SOPS 143571 HAS SOUS 69765 HAS SOUPS 68286 WITH SCORE 68436.449
AT ITER 5763 NEW BEST:: SOT 293540 SOS 149950 HAS SOPS 143072 HAS SOUS 69501 HAS SOUPS 68022 WITH SCORE 68171.95
AT ITER 5770 NEW BEST:: SOT 293462 SOS 149945 HAS SOPS 143067 HAS SOUS 69481 HAS SOUPS 68002 WITH SCORE 68151.945
AT ITER 5843 NEW BEST:: SOT 293462 SOS 149902 HAS SOPS 143024 HAS SOUS 69481 HAS SOUPS 68002 WITH SCORE 68151.902
AT ITER 5846 NEW BEST:: SOT 293245 SOS 149685 HAS SOPS 142807 HAS SOUS 69197 HAS SOUPS 67718 WITH SCORE 67867.685
AT ITER 5855 NEW BEST:: SOT 293241 SOS 149677 HAS SOPS 142799 HAS SOUS 69189 HAS SOUPS 67710 WITH SCORE 67859.677
AT ITER 5893 NEW BEST:: SOT 293237 SOS 149673 HAS SOPS 142795 HAS SOUS 69183 HAS SOUPS 67704 WITH SCORE 67853.673
AT ITER 5900 NEW BEST:: SOT 293206 SOS 149715 HAS SOPS 142910 HAS SOUS 69046 HAS SOUPS 67567 WITH SCORE 67716.715
AT ITER 5914 NEW BEST:: SOT 293154 SOS 149663 HAS SOPS 142858 HAS SOUS 69023 HAS SOUPS 67544 WITH SCORE 67693.663
AT ITER 5951 NEW BEST:: SOT 293122 SOS 149616 HAS SOPS 142672 HAS SOUS 68879 HAS SOUPS 67400 WITH SCORE 67549.616
AT ITER 5982 NEW BEST:: SOT 293119 SOS 149604 HAS SOPS 142660 HAS SOUS 68876 HAS SOUPS 67397 WITH SCORE 67546.604
AT ITER 5984 NEW BEST:: SOT 293049 SOS 149258 HAS SOPS 142314 HAS SOUS 68749 HAS SOUPS 67270 WITH SCORE 67419.258
AT ITER 5996 NEW BEST:: SOT 292906 SOS 149455 HAS SOPS 142511 HAS SOUS 68661 HAS SOUPS 67182 WITH SCORE 67331.455
AT ITER 6010 NEW BEST:: SOT 292837 SOS 149386 HAS SOPS 142442 HAS SOUS 68523 HAS SOUPS 67044 WITH SCORE 67193.386
AT ITER 6014 NEW BEST:: SOT 292803 SOS 149338 HAS SOPS 142394 HAS SOUS 68455 HAS SOUPS 66976 WITH SCORE 67125.338
AT ITER 6015 NEW BEST:: SOT 292793 SOS 149328 HAS SOPS 142382 HAS SOUS 68445 HAS SOUPS 66964 WITH SCORE 67113.328
AT ITER 6016 NEW BEST:: SOT 292793 SOS 149274 HAS SOPS 142328 HAS SOUS 68427 HAS SOUPS 66946 WITH SCORE 67095.274
AT ITER 6022 NEW BEST:: SOT 292789 SOS 149254 HAS SOPS 142308 HAS SOUS 68423 HAS SOUPS 66942 WITH SCORE 67091.254
AT ITER 6032 NEW BEST:: SOT 292766 SOS 149201 HAS SOPS 142255 HAS SOUS 68413 HAS SOUPS 66932 WITH SCORE 67081.201
AT ITER 6033 NEW BEST:: SOT 292760 SOS 149195 HAS SOPS 142249 HAS SOUS 68399 HAS SOUPS 66918 WITH SCORE 67067.195
AT ITER 6057 NEW BEST:: SOT 292770 SOS 149273 HAS SOPS 142327 HAS SOUS 68351 HAS SOUPS 66870 WITH SCORE 67019.273
AT ITER 6132 NEW BEST:: SOT 292768 SOS 149271 HAS SOPS 142325 HAS SOUS 68347 HAS SOUPS 66866 WITH SCORE 67015.271
AT ITER 6143 NEW BEST:: SOT 292768 SOS 149254 HAS SOPS 142308 HAS SOUS 68330 HAS SOUPS 66849 WITH SCORE 66998.254
AT ITER 6159 NEW BEST:: SOT 292766 SOS 149249 HAS SOPS 142303 HAS SOUS 68327 HAS SOUPS 66846 WITH SCORE 66995.249
AT ITER 6176 NEW BEST:: SOT 292730 SOS 149379 HAS SOPS 142516 HAS SOUS 68172 HAS SOUPS 66691 WITH SCORE 66840.379
AT ITER 6193 NEW BEST:: SOT 292718 SOS 149367 HAS SOPS 142504 HAS SOUS 68127 HAS SOUPS 66646 WITH SCORE 66795.367
AT ITER 6213 NEW BEST:: SOT 292704 SOS 149353 HAS SOPS 142464 HAS SOUS 68100 HAS SOUPS 66619 WITH SCORE 66768.353
AT ITER 6231 NEW BEST:: SOT 292687 SOS 149358 HAS SOPS 142469 HAS SOUS 68044 HAS SOUPS 66563 WITH SCORE 66712.358
AT ITER 6244 NEW BEST:: SOT 292673 SOS 149269 HAS SOPS 142380 HAS SOUS 68027 HAS SOUPS 66546 WITH SCORE 66695.269
AT ITER 6253 NEW BEST:: SOT 292635 SOS 149429 HAS SOPS 142540 HAS SOUS 68002 HAS SOUPS 66521 WITH SCORE 66670.429
AT ITER 6287 NEW BEST:: SOT 292595 SOS 149367 HAS SOPS 142478 HAS SOUS 68000 HAS SOUPS 66519 WITH SCORE 66668.367
AT ITER 6301 NEW BEST:: SOT 292583 SOS 149343 HAS SOPS 142454 HAS SOUS 67976 HAS SOUPS 66495 WITH SCORE 66644.343
AT ITER 6302 NEW BEST:: SOT 292576 SOS 149296 HAS SOPS 142407 HAS SOUS 67970 HAS SOUPS 66489 WITH SCORE 66638.296
AT ITER 6313 NEW BEST:: SOT 292609 SOS 149809 HAS SOPS 142920 HAS SOUS 67945 HAS SOUPS 66464 WITH SCORE 66613.809
AT ITER 6339 NEW BEST:: SOT 292609 SOS 149805 HAS SOPS 142916 HAS SOUS 67945 HAS SOUPS 66464 WITH SCORE 66613.805
AT ITER 6355 NEW BEST:: SOT 292575 SOS 149591 HAS SOPS 142702 HAS SOUS 67907 HAS SOUPS 66426 WITH SCORE 66575.591
AT ITER 6365 NEW BEST:: SOT 292551 SOS 149567 HAS SOPS 142690 HAS SOUS 67847 HAS SOUPS 66366 WITH SCORE 66515.567
AT ITER 6388 NEW BEST:: SOT 292526 SOS 149602 HAS SOPS 142725 HAS SOUS 67801 HAS SOUPS 66320 WITH SCORE 66469.602
AT ITER 6414 NEW BEST:: SOT 292511 SOS 149587 HAS SOPS 142700 HAS SOUS 67776 HAS SOUPS 66295 WITH SCORE 66444.587
AT ITER 6418 NEW BEST:: SOT 292495 SOS 149571 HAS SOPS 142684 HAS SOUS 67755 HAS SOUPS 66274 WITH SCORE 66423.571
AT ITER 6422 NEW BEST:: SOT 292509 SOS 149561 HAS SOPS 142674 HAS SOUS 67737 HAS SOUPS 66256 WITH SCORE 66405.561
AT ITER 6439 NEW BEST:: SOT 292489 SOS 149481 HAS SOPS 142594 HAS SOUS 67697 HAS SOUPS 66216 WITH SCORE 66365.481
AT ITER 6460 NEW BEST:: SOT 292447 SOS 149425 HAS SOPS 142538 HAS SOUS 67641 HAS SOUPS 66160 WITH SCORE 66309.425
AT ITER 6467 NEW BEST:: SOT 292381 SOS 149232 HAS SOPS 142345 HAS SOUS 67607 HAS SOUPS 66126 WITH SCORE 66275.232
AT ITER 6475 NEW BEST:: SOT 292372 SOS 149223 HAS SOPS 142336 HAS SOUS 67589 HAS SOUPS 66108 WITH SCORE 66257.223
AT ITER 6477 NEW BEST:: SOT 292340 SOS 149191 HAS SOPS 142304 HAS SOUS 67541 HAS SOUPS 66060 WITH SCORE 66209.191
AT ITER 6489 NEW BEST:: SOT 291930 SOS 149328 HAS SOPS 142441 HAS SOUS 67398 HAS SOUPS 65917 WITH SCORE 66066.328
AT ITER 6532 NEW BEST:: SOT 291906 SOS 149304 HAS SOPS 142417 HAS SOUS 67338 HAS SOUPS 65857 WITH SCORE 66006.304
AT ITER 6534 NEW BEST:: SOT 291906 SOS 149288 HAS SOPS 142401 HAS SOUS 67322 HAS SOUPS 65841 WITH SCORE 65990.288
AT ITER 6542 NEW BEST:: SOT 291800 SOS 149151 HAS SOPS 142264 HAS SOUS 67301 HAS SOUPS 65820 WITH SCORE 65969.151
AT ITER 6681 NEW BEST:: SOT 291804 SOS 149373 HAS SOPS 142486 HAS SOUS 67270 HAS SOUPS 65789 WITH SCORE 65938.373
AT ITER 6686 NEW BEST:: SOT 291779 SOS 149401 HAS SOPS 142514 HAS SOUS 67259 HAS SOUPS 65778 WITH SCORE 65927.401
AT ITER 6721 NEW BEST:: SOT 291779 SOS 149414 HAS SOPS 142527 HAS SOUS 67249 HAS SOUPS 65768 WITH SCORE 65917.414
AT ITER 6756 NEW BEST:: SOT 291813 SOS 149448 HAS SOPS 142561 HAS SOUS 67228 HAS SOUPS 65747 WITH SCORE 65896.448
AT ITER 6771 NEW BEST:: SOT 291813 SOS 149394 HAS SOPS 142507 HAS SOUS 67228 HAS SOUPS 65747 WITH SCORE 65896.394
AT ITER 6773 NEW BEST:: SOT 291762 SOS 149348 HAS SOPS 142455 HAS SOUS 67208 HAS SOUPS 65726 WITH SCORE 65875.348
AT ITER 6779 NEW BEST:: SOT 291942 SOS 149717 HAS SOPS 142824 HAS SOUS 67193 HAS SOUPS 65711 WITH SCORE 65860.717
AT ITER 6783 NEW BEST:: SOT 291954 SOS 149765 HAS SOPS 142809 HAS SOUS 67107 HAS SOUPS 65625 WITH SCORE 65774.765
AT ITER 6816 NEW BEST:: SOT 292021 SOS 149754 HAS SOPS 142798 HAS SOUS 67077 HAS SOUPS 65595 WITH SCORE 65744.754
AT ITER 6822 NEW BEST:: SOT 292004 SOS 149737 HAS SOPS 142781 HAS SOUS 67050 HAS SOUPS 65568 WITH SCORE 65717.737
AT ITER 6825 NEW BEST:: SOT 291993 SOS 149692 HAS SOPS 142736 HAS SOUS 67005 HAS SOUPS 65523 WITH SCORE 65672.692
AT ITER 6833 NEW BEST:: SOT 291957 SOS 149617 HAS SOPS 142661 HAS SOUS 66972 HAS SOUPS 65490 WITH SCORE 65639.617
AT ITER 6853 NEW BEST:: SOT 291953 SOS 149587 HAS SOPS 142631 HAS SOUS 66875 HAS SOUPS 65393 WITH SCORE 65542.587
AT ITER 6927 NEW BEST:: SOT 291925 SOS 149543 HAS SOPS 142587 HAS SOUS 66815 HAS SOUPS 65333 WITH SCORE 65482.543
AT ITER 6944 NEW BEST:: SOT 291923 SOS 149541 HAS SOPS 142585 HAS SOUS 66811 HAS SOUPS 65329 WITH SCORE 65478.541
AT ITER 6945 NEW BEST:: SOT 291932 SOS 149403 HAS SOPS 142404 HAS SOUS 66712 HAS SOUPS 65230 WITH SCORE 65379.403
AT ITER 6958 NEW BEST:: SOT 291904 SOS 149324 HAS SOPS 142325 HAS SOUS 66656 HAS SOUPS 65174 WITH SCORE 65323.324
AT ITER 6978 NEW BEST:: SOT 291900 SOS 149320 HAS SOPS 142323 HAS SOUS 66650 HAS SOUPS 65168 WITH SCORE 65317.32
AT ITER 6993 NEW BEST:: SOT 291876 SOS 149288 HAS SOPS 142291 HAS SOUS 66602 HAS SOUPS 65120 WITH SCORE 65269.288
AT ITER 6994 NEW BEST:: SOT 291860 SOS 149272 HAS SOPS 142275 HAS SOUS 66572 HAS SOUPS 65090 WITH SCORE 65239.272
AT ITER 6998 NEW BEST:: SOT 291861 SOS 149366 HAS SOPS 142369 HAS SOUS 66512 HAS SOUPS 65030 WITH SCORE 65179.366
AT ITER 7013 NEW BEST:: SOT 291797 SOS 149282 HAS SOPS 142285 HAS SOUS 66436 HAS SOUPS 64954 WITH SCORE 65103.282
AT ITER 7021 NEW BEST:: SOT 291789 SOS 149274 HAS SOPS 142277 HAS SOUS 66420 HAS SOUPS 64938 WITH SCORE 65087.274
AT ITER 7025 NEW BEST:: SOT 291761 SOS 149142 HAS SOPS 142145 HAS SOUS 66389 HAS SOUPS 64907 WITH SCORE 65056.142
AT ITER 7134 NEW BEST:: SOT 291753 SOS 149134 HAS SOPS 142137 HAS SOUS 66373 HAS SOUPS 64891 WITH SCORE 65040.134
AT ITER 7136 NEW BEST:: SOT 291753 SOS 149112 HAS SOPS 142115 HAS SOUS 66361 HAS SOUPS 64879 WITH SCORE 65028.112
AT ITER 7168 NEW BEST:: SOT 291753 SOS 149100 HAS SOPS 142103 HAS SOUS 66349 HAS SOUPS 64867 WITH SCORE 65016.1
AT ITER 7198 NEW BEST:: SOT 291765 SOS 148773 HAS SOPS 141776 HAS SOUS 66336 HAS SOUPS 64854 WITH SCORE 65002.773
AT ITER 7240 NEW BEST:: SOT 291813 SOS 148701 HAS SOPS 141704 HAS SOUS 66264 HAS SOUPS 64782 WITH SCORE 64930.701
AT ITER 7277 NEW BEST:: SOT 291749 SOS 148803 HAS SOPS 141806 HAS SOUS 66162 HAS SOUPS 64680 WITH SCORE 64828.803
AT ITER 7298 NEW BEST:: SOT 291749 SOS 148798 HAS SOPS 141801 HAS SOUS 66162 HAS SOUPS 64680 WITH SCORE 64828.798
AT ITER 7312 NEW BEST:: SOT 291812 SOS 148832 HAS SOPS 141835 HAS SOUS 66143 HAS SOUPS 64661 WITH SCORE 64809.832
AT ITER 7324 NEW BEST:: SOT 291824 SOS 148839 HAS SOPS 141842 HAS SOUS 66107 HAS SOUPS 64625 WITH SCORE 64773.839
AT ITER 7380 NEW BEST:: SOT 291792 SOS 148807 HAS SOPS 141810 HAS SOUS 66107 HAS SOUPS 64625 WITH SCORE 64773.807
AT ITER 7406 NEW BEST:: SOT 291787 SOS 148772 HAS SOPS 141775 HAS SOUS 66097 HAS SOUPS 64615 WITH SCORE 64763.772
AT ITER 7411 NEW BEST:: SOT 291811 SOS 148748 HAS SOPS 141751 HAS SOUS 66097 HAS SOUPS 64615 WITH SCORE 64763.748
AT ITER 7435 NEW BEST:: SOT 291799 SOS 148754 HAS SOPS 141757 HAS SOUS 66073 HAS SOUPS 64591 WITH SCORE 64739.754
AT ITER 7441 NEW BEST:: SOT 291798 SOS 148713 HAS SOPS 141716 HAS SOUS 66072 HAS SOUPS 64590 WITH SCORE 64738.713
AT ITER 7449 NEW BEST:: SOT 291798 SOS 148704 HAS SOPS 141707 HAS SOUS 66054 HAS SOUPS 64572 WITH SCORE 64720.704
AT ITER 7476 NEW BEST:: SOT 291774 SOS 148656 HAS SOPS 141659 HAS SOUS 66025 HAS SOUPS 64543 WITH SCORE 64691.656
AT ITER 7506 NEW BEST:: SOT 291787 SOS 148669 HAS SOPS 141672 HAS SOUS 65978 HAS SOUPS 64496 WITH SCORE 64644.669
AT ITER 7554 NEW BEST:: SOT 291787 SOS 148656 HAS SOPS 141659 HAS SOUS 65965 HAS SOUPS 64483 WITH SCORE 64631.656
AT ITER 7556 NEW BEST:: SOT 291755 SOS 148642 HAS SOPS 141645 HAS SOUS 65946 HAS SOUPS 64464 WITH SCORE 64612.642
AT ITER 7568 NEW BEST:: SOT 291680 SOS 148567 HAS SOPS 141570 HAS SOUS 65871 HAS SOUPS 64389 WITH SCORE 64537.567
AT ITER 7570 NEW BEST:: SOT 291703 SOS 148609 HAS SOPS 141612 HAS SOUS 65866 HAS SOUPS 64384 WITH SCORE 64532.609
AT ITER 7588 NEW BEST:: SOT 291710 SOS 148627 HAS SOPS 141630 HAS SOUS 65863 HAS SOUPS 64381 WITH SCORE 64529.627
AT ITER 7653 NEW BEST:: SOT 291647 SOS 148564 HAS SOPS 141567 HAS SOUS 65737 HAS SOUPS 64255 WITH SCORE 64403.564
AT ITER 7766 NEW BEST:: SOT 291634 SOS 148529 HAS SOPS 141532 HAS SOUS 65722 HAS SOUPS 64240 WITH SCORE 64388.529
AT ITER 7790 NEW BEST:: SOT 291631 SOS 148526 HAS SOPS 141529 HAS SOUS 65705 HAS SOUPS 64223 WITH SCORE 64371.526
AT ITER 7806 NEW BEST:: SOT 291638 SOS 148553 HAS SOPS 141556 HAS SOUS 65699 HAS SOUPS 64217 WITH SCORE 64365.553
AT ITER 7842 NEW BEST:: SOT 291604 SOS 148485 HAS SOPS 141488 HAS SOUS 65631 HAS SOUPS 64149 WITH SCORE 64297.485
AT ITER 7856 NEW BEST:: SOT 291434 SOS 147983 HAS SOPS 140820 HAS SOUS 65440 HAS SOUPS 63958 WITH SCORE 64105.983
AT ITER 7876 NEW BEST:: SOT 291429 SOS 147978 HAS SOPS 140815 HAS SOUS 65440 HAS SOUPS 63958 WITH SCORE 64105.978
AT ITER 7902 NEW BEST:: SOT 291399 SOS 147948 HAS SOPS 140785 HAS SOUS 65402 HAS SOUPS 63920 WITH SCORE 64067.948
AT ITER 7943 NEW BEST:: SOT 291408 SOS 147939 HAS SOPS 140776 HAS SOUS 65402 HAS SOUPS 63920 WITH SCORE 64067.939
AT ITER 7944 NEW BEST:: SOT 291407 SOS 147938 HAS SOPS 140775 HAS SOUS 65400 HAS SOUPS 63918 WITH SCORE 64065.938
AT ITER 7966 NEW BEST:: SOT 291397 SOS 147922 HAS SOPS 140759 HAS SOUS 65380 HAS SOUPS 63898 WITH SCORE 64045.922
AT ITER 7991 NEW BEST:: SOT 291432 SOS 147939 HAS SOPS 140776 HAS SOUS 65317 HAS SOUPS 63835 WITH SCORE 63982.939
AT ITER 8003 NEW BEST:: SOT 291415 SOS 147906 HAS SOPS 140743 HAS SOUS 65305 HAS SOUPS 63823 WITH SCORE 63970.906
AT ITER 8042 NEW BEST:: SOT 291380 SOS 147871 HAS SOPS 140708 HAS SOUS 65280 HAS SOUPS 63798 WITH SCORE 63945.871
AT ITER 8081 NEW BEST:: SOT 291372 SOS 147863 HAS SOPS 140700 HAS SOUS 65272 HAS SOUPS 63790 WITH SCORE 63937.863
AT ITER 8117 NEW BEST:: SOT 291347 SOS 147838 HAS SOPS 140675 HAS SOUS 65208 HAS SOUPS 63726 WITH SCORE 63873.838
AT ITER 8131 NEW BEST:: SOT 291309 SOS 148029 HAS SOPS 140866 HAS SOUS 65084 HAS SOUPS 63602 WITH SCORE 63750.029
AT ITER 8148 NEW BEST:: SOT 291294 SOS 148014 HAS SOPS 140851 HAS SOUS 65066 HAS SOUPS 63584 WITH SCORE 63732.014
AT ITER 8151 NEW BEST:: SOT 291268 SOS 148261 HAS SOPS 141098 HAS SOUS 64949 HAS SOUPS 63467 WITH SCORE 63615.261
AT ITER 8153 NEW BEST:: SOT 291351 SOS 148422 HAS SOPS 141259 HAS SOUS 64901 HAS SOUPS 63419 WITH SCORE 63567.422
AT ITER 8176 NEW BEST:: SOT 291341 SOS 148432 HAS SOPS 141269 HAS SOUS 64881 HAS SOUPS 63399 WITH SCORE 63547.432
AT ITER 8179 NEW BEST:: SOT 291341 SOS 148432 HAS SOPS 141269 HAS SOUS 64815 HAS SOUPS 63333 WITH SCORE 63481.432
AT ITER 8194 NEW BEST:: SOT 291323 SOS 148326 HAS SOPS 141163 HAS SOUS 64762 HAS SOUPS 63280 WITH SCORE 63428.326
AT ITER 8200 NEW BEST:: SOT 291287 SOS 148290 HAS SOPS 141127 HAS SOUS 64714 HAS SOUPS 63232 WITH SCORE 63380.29
AT ITER 8222 NEW BEST:: SOT 291276 SOS 148279 HAS SOPS 141127 HAS SOUS 64714 HAS SOUPS 63232 WITH SCORE 63380.279
AT ITER 8305 NEW BEST:: SOT 291311 SOS 148314 HAS SOPS 141162 HAS SOUS 64625 HAS SOUPS 63143 WITH SCORE 63291.314
AT ITER 8312 NEW BEST:: SOT 291350 SOS 148353 HAS SOPS 141172 HAS SOUS 64612 HAS SOUPS 63130 WITH SCORE 63278.353
AT ITER 8322 NEW BEST:: SOT 291363 SOS 148755 HAS SOPS 141304 HAS SOUS 64603 HAS SOUPS 63076 WITH SCORE 63224.755
AT ITER 8340 NEW BEST:: SOT 291363 SOS 148761 HAS SOPS 141310 HAS SOUS 64600 HAS SOUPS 63073 WITH SCORE 63221.761
AT ITER 8344 NEW BEST:: SOT 291363 SOS 148761 HAS SOPS 141309 HAS SOUS 64599 HAS SOUPS 63072 WITH SCORE 63220.761
AT ITER 8347 NEW BEST:: SOT 291339 SOS 148737 HAS SOPS 141285 HAS SOUS 64584 HAS SOUPS 63057 WITH SCORE 63205.737
AT ITER 8368 NEW BEST:: SOT 291310 SOS 148708 HAS SOPS 141256 HAS SOUS 64526 HAS SOUPS 62999 WITH SCORE 63147.708
AT ITER 8370 NEW BEST:: SOT 291310 SOS 148708 HAS SOPS 141256 HAS SOUS 64449 HAS SOUPS 62922 WITH SCORE 63070.708
AT ITER 8371 NEW BEST:: SOT 291313 SOS 148674 HAS SOPS 141222 HAS SOUS 64435 HAS SOUPS 62908 WITH SCORE 63056.674
AT ITER 8372 NEW BEST:: SOT 291300 SOS 148664 HAS SOPS 141212 HAS SOUS 64393 HAS SOUPS 62866 WITH SCORE 63014.664
AT ITER 8402 NEW BEST:: SOT 291280 SOS 148604 HAS SOPS 141152 HAS SOUS 64353 HAS SOUPS 62826 WITH SCORE 62974.604
AT ITER 8437 NEW BEST:: SOT 291201 SOS 148429 HAS SOPS 140977 HAS SOUS 64177 HAS SOUPS 62650 WITH SCORE 62798.429
AT ITER 8454 NEW BEST:: SOT 291175 SOS 148397 HAS SOPS 140945 HAS SOUS 64084 HAS SOUPS 62557 WITH SCORE 62705.397
AT ITER 8458 NEW BEST:: SOT 291121 SOS 148368 HAS SOPS 140916 HAS SOUS 64076 HAS SOUPS 62549 WITH SCORE 62697.368
AT ITER 8459 NEW BEST:: SOT 291112 SOS 148395 HAS SOPS 140943 HAS SOUS 64038 HAS SOUPS 62511 WITH SCORE 62659.395
AT ITER 8466 NEW BEST:: SOT 291078 SOS 148259 HAS SOPS 140807 HAS SOUS 63985 HAS SOUPS 62458 WITH SCORE 62606.259
AT ITER 8468 NEW BEST:: SOT 290928 SOS 148109 HAS SOPS 140657 HAS SOUS 63915 HAS SOUPS 62388 WITH SCORE 62536.109
AT ITER 8490 NEW BEST:: SOT 290892 SOS 148081 HAS SOPS 140629 HAS SOUS 63883 HAS SOUPS 62356 WITH SCORE 62504.081
AT ITER 8505 NEW BEST:: SOT 290903 SOS 148092 HAS SOPS 140624 HAS SOUS 63886 HAS SOUPS 62351 WITH SCORE 62499.092
AT ITER 8520 NEW BEST:: SOT 290928 SOS 148148 HAS SOPS 140680 HAS SOUS 63871 HAS SOUPS 62336 WITH SCORE 62484.148
AT ITER 8522 NEW BEST:: SOT 290928 SOS 148126 HAS SOPS 140658 HAS SOUS 63869 HAS SOUPS 62334 WITH SCORE 62482.126
AT ITER 8523 NEW BEST:: SOT 290928 SOS 148124 HAS SOPS 140656 HAS SOUS 63869 HAS SOUPS 62334 WITH SCORE 62482.124
AT ITER 8545 NEW BEST:: SOT 290818 SOS 148014 HAS SOPS 140546 HAS SOUS 63849 HAS SOUPS 62314 WITH SCORE 62462.014
AT ITER 8568 NEW BEST:: SOT 290806 SOS 148002 HAS SOPS 140534 HAS SOUS 63825 HAS SOUPS 62290 WITH SCORE 62438.002
AT ITER 8575 NEW BEST:: SOT 290877 SOS 148049 HAS SOPS 140581 HAS SOUS 63750 HAS SOUPS 62215 WITH SCORE 62363.049
AT ITER 8695 NEW BEST:: SOT 290853 SOS 148025 HAS SOPS 140557 HAS SOUS 63738 HAS SOUPS 62203 WITH SCORE 62351.025
AT ITER 8707 NEW BEST:: SOT 290811 SOS 147938 HAS SOPS 140470 HAS SOUS 63719 HAS SOUPS 62184 WITH SCORE 62331.938
AT ITER 8713 NEW BEST:: SOT 290751 SOS 147878 HAS SOPS 140410 HAS SOUS 63635 HAS SOUPS 62100 WITH SCORE 62247.878
AT ITER 8798 NEW BEST:: SOT 290733 SOS 147840 HAS SOPS 140372 HAS SOUS 63619 HAS SOUPS 62084 WITH SCORE 62231.84
AT ITER 8799 NEW BEST:: SOT 290726 SOS 147845 HAS SOPS 140373 HAS SOUS 63619 HAS SOUPS 62083 WITH SCORE 62230.845
AT ITER 8807 NEW BEST:: SOT 290697 SOS 147816 HAS SOPS 140344 HAS SOUS 63577 HAS SOUPS 62041 WITH SCORE 62188.816
AT ITER 8833 NEW BEST:: SOT 290697 SOS 147792 HAS SOPS 140320 HAS SOUS 63549 HAS SOUPS 62013 WITH SCORE 62160.792
AT ITER 8858 NEW BEST:: SOT 290758 SOS 147955 HAS SOPS 140483 HAS SOUS 63508 HAS SOUPS 61972 WITH SCORE 62119.955
AT ITER 8891 NEW BEST:: SOT 290745 SOS 147929 HAS SOPS 140457 HAS SOUS 63482 HAS SOUPS 61946 WITH SCORE 62093.929
AT ITER 8902 NEW BEST:: SOT 290573 SOS 147751 HAS SOPS 140279 HAS SOUS 63354 HAS SOUPS 61818 WITH SCORE 61965.751
AT ITER 8931 NEW BEST:: SOT 290529 SOS 147707 HAS SOPS 140235 HAS SOUS 63354 HAS SOUPS 61818 WITH SCORE 61965.707
AT ITER 8937 NEW BEST:: SOT 290487 SOS 147627 HAS SOPS 140155 HAS SOUS 63271 HAS SOUPS 61735 WITH SCORE 61882.627
AT ITER 8974 NEW BEST:: SOT 290477 SOS 147612 HAS SOPS 140140 HAS SOUS 63251 HAS SOUPS 61715 WITH SCORE 61862.612
AT ITER 8984 NEW BEST:: SOT 290436 SOS 147568 HAS SOPS 140096 HAS SOUS 63241 HAS SOUPS 61705 WITH SCORE 61852.568
AT ITER 9106 NEW BEST:: SOT 290443 SOS 147568 HAS SOPS 140096 HAS SOUS 63227 HAS SOUPS 61691 WITH SCORE 61838.568
AT ITER 9134 NEW BEST:: SOT 290441 SOS 147564 HAS SOPS 140092 HAS SOUS 63225 HAS SOUPS 61689 WITH SCORE 61836.564
AT ITER 9174 NEW BEST:: SOT 290450 SOS 147588 HAS SOPS 140116 HAS SOUS 63211 HAS SOUPS 61675 WITH SCORE 61822.588
AT ITER 9193 NEW BEST:: SOT 290043 SOS 147200 HAS SOPS 139728 HAS SOUS 63040 HAS SOUPS 61504 WITH SCORE 61651.2
AT ITER 9194 NEW BEST:: SOT 290084 SOS 147415 HAS SOPS 139943 HAS SOUS 63006 HAS SOUPS 61470 WITH SCORE 61617.415
AT ITER 9209 NEW BEST:: SOT 290083 SOS 147406 HAS SOPS 139934 HAS SOUS 63003 HAS SOUPS 61467 WITH SCORE 61614.406
AT ITER 9214 NEW BEST:: SOT 290053 SOS 147376 HAS SOPS 139904 HAS SOUS 62998 HAS SOUPS 61462 WITH SCORE 61609.376
AT ITER 9226 NEW BEST:: SOT 290040 SOS 147363 HAS SOPS 139891 HAS SOUS 62998 HAS SOUPS 61462 WITH SCORE 61609.363
AT ITER 9349 NEW BEST:: SOT 290006 SOS 147284 HAS SOPS 139812 HAS SOUS 62969 HAS SOUPS 61433 WITH SCORE 61580.284
AT ITER 9371 NEW BEST:: SOT 290006 SOS 147271 HAS SOPS 139799 HAS SOUS 62969 HAS SOUPS 61433 WITH SCORE 61580.271
AT ITER 9382 NEW BEST:: SOT 290025 SOS 147410 HAS SOPS 139938 HAS SOUS 62959 HAS SOUPS 61423 WITH SCORE 61570.41
AT ITER 9383 NEW BEST:: SOT 290022 SOS 147404 HAS SOPS 139932 HAS SOUS 62953 HAS SOUPS 61417 WITH SCORE 61564.404
AT ITER 9392 NEW BEST:: SOT 289991 SOS 147373 HAS SOPS 139901 HAS SOUS 62916 HAS SOUPS 61380 WITH SCORE 61527.373
AT ITER 9397 NEW BEST:: SOT 289920 SOS 147290 HAS SOPS 139818 HAS SOUS 62833 HAS SOUPS 61297 WITH SCORE 61444.29
AT ITER 9467 NEW BEST:: SOT 289920 SOS 147290 HAS SOPS 139818 HAS SOUS 62806 HAS SOUPS 61270 WITH SCORE 61417.29
AT ITER 9495 NEW BEST:: SOT 289964 SOS 147367 HAS SOPS 139895 HAS SOUS 62747 HAS SOUPS 61211 WITH SCORE 61358.367
AT ITER 9505 NEW BEST:: SOT 289964 SOS 147373 HAS SOPS 139901 HAS SOUS 62736 HAS SOUPS 61200 WITH SCORE 61347.373
AT ITER 9527 NEW BEST:: SOT 289924 SOS 147319 HAS SOPS 139847 HAS SOUS 62614 HAS SOUPS 61078 WITH SCORE 61225.319
AT ITER 9569 NEW BEST:: SOT 289917 SOS 147312 HAS SOPS 139840 HAS SOUS 62593 HAS SOUPS 61057 WITH SCORE 61204.312
AT ITER 9571 NEW BEST:: SOT 289957 SOS 147325 HAS SOPS 139853 HAS SOUS 62580 HAS SOUPS 61044 WITH SCORE 61191.325
AT ITER 9742 NEW BEST:: SOT 289957 SOS 147309 HAS SOPS 139837 HAS SOUS 62564 HAS SOUPS 61028 WITH SCORE 61175.309
AT ITER 9839 NEW BEST:: SOT 289935 SOS 147287 HAS SOPS 139815 HAS SOUS 62542 HAS SOUPS 61006 WITH SCORE 61153.287
AT ITER 9861 NEW BEST:: SOT 289932 SOS 147242 HAS SOPS 139770 HAS SOUS 62483 HAS SOUPS 60947 WITH SCORE 61094.242
AT ITER 9941 NEW BEST:: SOT 289950 SOS 147257 HAS SOPS 139785 HAS SOUS 62448 HAS SOUPS 60912 WITH SCORE 61059.257
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4477708 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122172 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T06"
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 PolyORBLF-PT-S02J06T06, 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 r299-tall-167873953100520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J06T06.tgz
mv PolyORBLF-PT-S02J06T06 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 ;