Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813600000272.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AirplaneLD-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600000272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 37K Feb 26 11:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 153K Feb 26 11:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 55K Feb 26 11:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 325K Feb 26 11:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 39K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 200K Feb 26 11:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 806K Feb 26 11:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 89K Feb 26 11:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 542K Feb 26 11:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 433K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678731211212

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=AirplaneLD-PT-0100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:13:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:13:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:13:35] [INFO ] Load time of PNML (sax parser for PT used): 206 ms
[2023-03-13 18:13:35] [INFO ] Transformed 719 places.
[2023-03-13 18:13:35] [INFO ] Transformed 808 transitions.
[2023-03-13 18:13:35] [INFO ] Parsed PT model containing 719 places and 808 transitions and 3078 arcs in 391 ms.
[2023-03-13 18:13:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 719 places, 808 transitions and 3078 arcs took 23 ms.
Total runtime 493 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0100
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: 719 places, 808 transitions, 3078 arcs.
AT ITER 0 NEW BEST:: SOT 455919 SOS 245471 HAS SOPS 240067 HAS SOUS 189065 HAS SOUPS 183661 WITH SCORE 183906.471
AT ITER 7 NEW BEST:: SOT 455669 SOS 245463 HAS SOPS 240059 HAS SOUS 189062 HAS SOUPS 183658 WITH SCORE 183903.463
AT ITER 9 NEW BEST:: SOT 455336 SOS 245303 HAS SOPS 239899 HAS SOUS 188881 HAS SOUPS 183477 WITH SCORE 183722.303
AT ITER 14 NEW BEST:: SOT 455200 SOS 245303 HAS SOPS 239899 HAS SOUS 188863 HAS SOUPS 183459 WITH SCORE 183704.303
AT ITER 18 NEW BEST:: SOT 455039 SOS 245303 HAS SOPS 239899 HAS SOUS 188702 HAS SOUPS 183298 WITH SCORE 183543.303
AT ITER 23 NEW BEST:: SOT 455039 SOS 245303 HAS SOPS 239899 HAS SOUS 188656 HAS SOUPS 183252 WITH SCORE 183497.303
AT ITER 24 NEW BEST:: SOT 454902 SOS 245303 HAS SOPS 239899 HAS SOUS 188382 HAS SOUPS 182978 WITH SCORE 183223.303
AT ITER 25 NEW BEST:: SOT 454744 SOS 245303 HAS SOPS 239899 HAS SOUS 188224 HAS SOUPS 182820 WITH SCORE 183065.303
AT ITER 27 NEW BEST:: SOT 454354 SOS 245162 HAS SOPS 239758 HAS SOUS 187834 HAS SOUPS 182430 WITH SCORE 182675.162
AT ITER 28 NEW BEST:: SOT 454104 SOS 245147 HAS SOPS 239743 HAS SOUS 187643 HAS SOUPS 182239 WITH SCORE 182484.147
AT ITER 30 NEW BEST:: SOT 453953 SOS 245147 HAS SOPS 239743 HAS SOUS 187492 HAS SOUPS 182088 WITH SCORE 182333.147
AT ITER 31 NEW BEST:: SOT 453702 SOS 245103 HAS SOPS 239699 HAS SOUS 187336 HAS SOUPS 181932 WITH SCORE 182177.103
AT ITER 37 NEW BEST:: SOT 453666 SOS 245103 HAS SOPS 239699 HAS SOUS 187300 HAS SOUPS 181896 WITH SCORE 182141.103
AT ITER 39 NEW BEST:: SOT 453666 SOS 245103 HAS SOPS 239699 HAS SOUS 187258 HAS SOUPS 181854 WITH SCORE 182099.103
AT ITER 41 NEW BEST:: SOT 453335 SOS 245103 HAS SOPS 239715 HAS SOUS 186927 HAS SOUPS 181539 WITH SCORE 181784.103
AT ITER 46 NEW BEST:: SOT 453235 SOS 245260 HAS SOPS 239872 HAS SOUS 186918 HAS SOUPS 181530 WITH SCORE 181775.26
AT ITER 54 NEW BEST:: SOT 452940 SOS 245300 HAS SOPS 240012 HAS SOUS 186663 HAS SOUPS 181375 WITH SCORE 181620.3
AT ITER 59 NEW BEST:: SOT 452690 SOS 245281 HAS SOPS 239993 HAS SOUS 186540 HAS SOUPS 181252 WITH SCORE 181497.281
AT ITER 60 NEW BEST:: SOT 452387 SOS 245342 HAS SOPS 240059 HAS SOUS 186409 HAS SOUPS 181126 WITH SCORE 181371.342
AT ITER 63 NEW BEST:: SOT 452136 SOS 245287 HAS SOPS 240004 HAS SOUS 186198 HAS SOUPS 180915 WITH SCORE 181160.287
AT ITER 68 NEW BEST:: SOT 451985 SOS 245346 HAS SOPS 240063 HAS SOUS 185897 HAS SOUPS 180614 WITH SCORE 180859.346
AT ITER 69 NEW BEST:: SOT 451882 SOS 245508 HAS SOPS 240225 HAS SOUS 185809 HAS SOUPS 180526 WITH SCORE 180771.508
AT ITER 78 NEW BEST:: SOT 451827 SOS 245711 HAS SOPS 240428 HAS SOUS 185706 HAS SOUPS 180423 WITH SCORE 180668.711
AT ITER 79 NEW BEST:: SOT 451744 SOS 245711 HAS SOPS 240428 HAS SOUS 185623 HAS SOUPS 180340 WITH SCORE 180585.711
AT ITER 80 NEW BEST:: SOT 451494 SOS 245801 HAS SOPS 240518 HAS SOUS 185242 HAS SOUPS 179959 WITH SCORE 180204.801
AT ITER 83 NEW BEST:: SOT 451129 SOS 245686 HAS SOPS 240403 HAS SOUS 184877 HAS SOUPS 179594 WITH SCORE 179839.686
AT ITER 85 NEW BEST:: SOT 450828 SOS 245686 HAS SOPS 240403 HAS SOUS 184275 HAS SOUPS 178992 WITH SCORE 179237.686
AT ITER 87 NEW BEST:: SOT 450677 SOS 245833 HAS SOPS 240550 HAS SOUS 183973 HAS SOUPS 178690 WITH SCORE 178935.833
AT ITER 88 NEW BEST:: SOT 450400 SOS 245935 HAS SOPS 240757 HAS SOUS 183798 HAS SOUPS 178620 WITH SCORE 178865.935
AT ITER 91 NEW BEST:: SOT 450156 SOS 245921 HAS SOPS 240743 HAS SOUS 183566 HAS SOUPS 178388 WITH SCORE 178633.921
AT ITER 92 NEW BEST:: SOT 449937 SOS 245909 HAS SOPS 240731 HAS SOUS 183511 HAS SOUPS 178333 WITH SCORE 178578.909
AT ITER 94 NEW BEST:: SOT 449797 SOS 245909 HAS SOPS 240731 HAS SOUS 183371 HAS SOUPS 178193 WITH SCORE 178438.909
AT ITER 96 NEW BEST:: SOT 449797 SOS 245909 HAS SOPS 240731 HAS SOUS 183306 HAS SOUPS 178128 WITH SCORE 178373.909
AT ITER 97 NEW BEST:: SOT 449547 SOS 246007 HAS SOPS 240829 HAS SOUS 182828 HAS SOUPS 177650 WITH SCORE 177896.007
AT ITER 98 NEW BEST:: SOT 449396 SOS 246121 HAS SOPS 240971 HAS SOUS 182790 HAS SOUPS 177640 WITH SCORE 177886.121
AT ITER 99 NEW BEST:: SOT 449145 SOS 246070 HAS SOPS 240920 HAS SOUS 182715 HAS SOUPS 177565 WITH SCORE 177811.07
AT ITER 103 NEW BEST:: SOT 448763 SOS 245845 HAS SOPS 240695 HAS SOUS 182397 HAS SOUPS 177247 WITH SCORE 177492.845
AT ITER 104 NEW BEST:: SOT 448471 SOS 245732 HAS SOPS 240582 HAS SOUS 182234 HAS SOUPS 177084 WITH SCORE 177329.732
AT ITER 106 NEW BEST:: SOT 448333 SOS 245652 HAS SOPS 240502 HAS SOUS 182124 HAS SOUPS 176974 WITH SCORE 177219.652
AT ITER 111 NEW BEST:: SOT 448103 SOS 245640 HAS SOPS 240490 HAS SOUS 181935 HAS SOUPS 176785 WITH SCORE 177030.64
AT ITER 112 NEW BEST:: SOT 447853 SOS 245642 HAS SOPS 240492 HAS SOUS 181717 HAS SOUPS 176567 WITH SCORE 176812.642
AT ITER 122 NEW BEST:: SOT 447530 SOS 245498 HAS SOPS 240348 HAS SOUS 181457 HAS SOUPS 176307 WITH SCORE 176552.498
AT ITER 123 NEW BEST:: SOT 447198 SOS 245504 HAS SOPS 240397 HAS SOUS 181131 HAS SOUPS 176024 WITH SCORE 176269.504
AT ITER 128 NEW BEST:: SOT 446957 SOS 245504 HAS SOPS 240397 HAS SOUS 180649 HAS SOUPS 175542 WITH SCORE 175787.504
AT ITER 131 NEW BEST:: SOT 446671 SOS 245504 HAS SOPS 240465 HAS SOUS 180363 HAS SOUPS 175324 WITH SCORE 175569.504
AT ITER 134 NEW BEST:: SOT 446520 SOS 245549 HAS SOPS 240510 HAS SOUS 180061 HAS SOUPS 175022 WITH SCORE 175267.549
AT ITER 135 NEW BEST:: SOT 446475 SOS 245504 HAS SOPS 240465 HAS SOUS 179971 HAS SOUPS 174932 WITH SCORE 175177.504
AT ITER 138 NEW BEST:: SOT 446226 SOS 245452 HAS SOPS 240413 HAS SOUS 179726 HAS SOUPS 174687 WITH SCORE 174932.452
AT ITER 147 NEW BEST:: SOT 446153 SOS 245693 HAS SOPS 240654 HAS SOUS 179724 HAS SOUPS 174685 WITH SCORE 174930.693
AT ITER 149 NEW BEST:: SOT 446102 SOS 245644 HAS SOPS 240605 HAS SOUS 179622 HAS SOUPS 174583 WITH SCORE 174828.644
AT ITER 150 NEW BEST:: SOT 446054 SOS 245596 HAS SOPS 240557 HAS SOUS 179526 HAS SOUPS 174487 WITH SCORE 174732.596
AT ITER 151 NEW BEST:: SOT 446054 SOS 245596 HAS SOPS 240557 HAS SOUS 179431 HAS SOUPS 174392 WITH SCORE 174637.596
AT ITER 154 NEW BEST:: SOT 446054 SOS 245548 HAS SOPS 240509 HAS SOUS 179431 HAS SOUPS 174392 WITH SCORE 174637.548
AT ITER 156 NEW BEST:: SOT 445804 SOS 245517 HAS SOPS 240478 HAS SOUS 179277 HAS SOUPS 174238 WITH SCORE 174483.517
AT ITER 159 NEW BEST:: SOT 445485 SOS 245537 HAS SOPS 240560 HAS SOUS 178978 HAS SOUPS 174001 WITH SCORE 174246.537
AT ITER 160 NEW BEST:: SOT 445334 SOS 245602 HAS SOPS 240635 HAS SOUS 178891 HAS SOUPS 173924 WITH SCORE 174169.602
AT ITER 162 NEW BEST:: SOT 445165 SOS 245602 HAS SOPS 240635 HAS SOUS 178553 HAS SOUPS 173586 WITH SCORE 173831.602
AT ITER 166 NEW BEST:: SOT 445014 SOS 245701 HAS SOPS 240734 HAS SOUS 178251 HAS SOUPS 173284 WITH SCORE 173529.701
AT ITER 167 NEW BEST:: SOT 444879 SOS 245701 HAS SOPS 240734 HAS SOUS 177981 HAS SOUPS 173014 WITH SCORE 173259.701
AT ITER 170 NEW BEST:: SOT 444823 SOS 245645 HAS SOPS 240678 HAS SOUS 177869 HAS SOUPS 172902 WITH SCORE 173147.645
AT ITER 171 NEW BEST:: SOT 444561 SOS 245437 HAS SOPS 240416 HAS SOUS 177735 HAS SOUPS 172766 WITH SCORE 173011.437
AT ITER 172 NEW BEST:: SOT 444477 SOS 245417 HAS SOPS 240332 HAS SOUS 177651 HAS SOUPS 172680 WITH SCORE 172925.417
AT ITER 173 NEW BEST:: SOT 444529 SOS 245345 HAS SOPS 240260 HAS SOUS 177631 HAS SOUPS 172660 WITH SCORE 172905.345
AT ITER 182 NEW BEST:: SOT 444379 SOS 245402 HAS SOPS 240324 HAS SOUS 177537 HAS SOUPS 172573 WITH SCORE 172818.402
AT ITER 183 NEW BEST:: SOT 444128 SOS 245342 HAS SOPS 240264 HAS SOUS 177340 HAS SOUPS 172376 WITH SCORE 172621.342
AT ITER 191 NEW BEST:: SOT 444128 SOS 245342 HAS SOPS 240264 HAS SOUS 177278 HAS SOUPS 172314 WITH SCORE 172559.342
AT ITER 197 NEW BEST:: SOT 444025 SOS 245324 HAS SOPS 240246 HAS SOUS 177175 HAS SOUPS 172211 WITH SCORE 172456.324
AT ITER 199 NEW BEST:: SOT 443874 SOS 245428 HAS SOPS 240350 HAS SOUS 176873 HAS SOUPS 171909 WITH SCORE 172154.428
AT ITER 203 NEW BEST:: SOT 443511 SOS 245317 HAS SOPS 240239 HAS SOUS 176510 HAS SOUPS 171546 WITH SCORE 171791.317
AT ITER 204 NEW BEST:: SOT 443360 SOS 245414 HAS SOPS 240336 HAS SOUS 176208 HAS SOUPS 171244 WITH SCORE 171489.414
AT ITER 205 NEW BEST:: SOT 443313 SOS 245360 HAS SOPS 240287 HAS SOUS 176109 HAS SOUPS 171150 WITH SCORE 171395.36
AT ITER 207 NEW BEST:: SOT 443174 SOS 245575 HAS SOPS 240502 HAS SOUS 175831 HAS SOUPS 170872 WITH SCORE 171117.575
AT ITER 213 NEW BEST:: SOT 443086 SOS 245589 HAS SOPS 240516 HAS SOUS 175655 HAS SOUPS 170696 WITH SCORE 170941.589
AT ITER 214 NEW BEST:: SOT 443030 SOS 245780 HAS SOPS 240707 HAS SOUS 175543 HAS SOUPS 170584 WITH SCORE 170829.78
AT ITER 219 NEW BEST:: SOT 442786 SOS 245755 HAS SOPS 240682 HAS SOUS 175312 HAS SOUPS 170353 WITH SCORE 170598.755
AT ITER 221 NEW BEST:: SOT 442757 SOS 245755 HAS SOPS 240682 HAS SOUS 175283 HAS SOUPS 170324 WITH SCORE 170569.755
AT ITER 238 NEW BEST:: SOT 442536 SOS 245707 HAS SOPS 240634 HAS SOUS 174849 HAS SOUPS 169890 WITH SCORE 170135.707
AT ITER 240 NEW BEST:: SOT 442216 SOS 245763 HAS SOPS 240707 HAS SOUS 174664 HAS SOUPS 169722 WITH SCORE 169967.763
AT ITER 241 NEW BEST:: SOT 441965 SOS 245700 HAS SOPS 240644 HAS SOUS 174418 HAS SOUPS 169476 WITH SCORE 169721.7
AT ITER 245 NEW BEST:: SOT 441814 SOS 245797 HAS SOPS 240745 HAS SOUS 174363 HAS SOUPS 169425 WITH SCORE 169670.797
AT ITER 250 NEW BEST:: SOT 441800 SOS 245783 HAS SOPS 240731 HAS SOUS 174335 HAS SOUPS 169397 WITH SCORE 169642.783
AT ITER 254 NEW BEST:: SOT 441400 SOS 245634 HAS SOPS 240582 HAS SOUS 174040 HAS SOUPS 169102 WITH SCORE 169347.634
AT ITER 260 NEW BEST:: SOT 441400 SOS 245634 HAS SOPS 240582 HAS SOUS 173995 HAS SOUPS 169057 WITH SCORE 169302.634
AT ITER 261 NEW BEST:: SOT 441084 SOS 245654 HAS SOPS 240670 HAS SOUS 173699 HAS SOUPS 168829 WITH SCORE 169074.654
AT ITER 267 NEW BEST:: SOT 441033 SOS 245654 HAS SOPS 240670 HAS SOUS 173648 HAS SOUPS 168778 WITH SCORE 169023.654
AT ITER 268 NEW BEST:: SOT 441020 SOS 245641 HAS SOPS 240657 HAS SOUS 173622 HAS SOUPS 168752 WITH SCORE 168997.641
AT ITER 272 NEW BEST:: SOT 440906 SOS 245641 HAS SOPS 240657 HAS SOUS 173508 HAS SOUPS 168638 WITH SCORE 168883.641
AT ITER 274 NEW BEST:: SOT 440647 SOS 245641 HAS SOPS 240657 HAS SOUS 172990 HAS SOUPS 168120 WITH SCORE 168365.641
AT ITER 277 NEW BEST:: SOT 440485 SOS 245641 HAS SOPS 240657 HAS SOUS 172828 HAS SOUPS 167958 WITH SCORE 168203.641
AT ITER 279 NEW BEST:: SOT 440453 SOS 245609 HAS SOPS 240625 HAS SOUS 172764 HAS SOUPS 167894 WITH SCORE 168139.609
AT ITER 284 NEW BEST:: SOT 440204 SOS 245767 HAS SOPS 240844 HAS SOUS 172673 HAS SOUPS 167864 WITH SCORE 168109.767
AT ITER 288 NEW BEST:: SOT 439985 SOS 245880 HAS SOPS 240957 HAS SOUS 172663 HAS SOUPS 167854 WITH SCORE 168099.88
AT ITER 294 NEW BEST:: SOT 439956 SOS 245851 HAS SOPS 240928 HAS SOUS 172634 HAS SOUPS 167825 WITH SCORE 168070.851
AT ITER 303 NEW BEST:: SOT 439722 SOS 245776 HAS SOPS 240853 HAS SOUS 172400 HAS SOUPS 167591 WITH SCORE 167836.776
AT ITER 304 NEW BEST:: SOT 446006 SOS 230341 HAS SOPS 201860 HAS SOUS 178684 HAS SOUPS 150317 WITH SCORE 150547.341
AT ITER 311 NEW BEST:: SOT 445995 SOS 230221 HAS SOPS 201631 HAS SOUS 178771 HAS SOUPS 150295 WITH SCORE 150525.221
AT ITER 312 NEW BEST:: SOT 445980 SOS 230263 HAS SOPS 201673 HAS SOUS 178741 HAS SOUPS 150265 WITH SCORE 150495.263
AT ITER 315 NEW BEST:: SOT 445989 SOS 230272 HAS SOPS 201682 HAS SOUS 178691 HAS SOUPS 150215 WITH SCORE 150445.272
AT ITER 316 NEW BEST:: SOT 445988 SOS 230272 HAS SOPS 201682 HAS SOUS 178689 HAS SOUPS 150213 WITH SCORE 150443.272
AT ITER 319 NEW BEST:: SOT 445574 SOS 230187 HAS SOPS 201597 HAS SOUS 177861 HAS SOUPS 149385 WITH SCORE 149615.187
AT ITER 320 NEW BEST:: SOT 445542 SOS 230208 HAS SOPS 201618 HAS SOUS 177797 HAS SOUPS 149321 WITH SCORE 149551.208
AT ITER 324 NEW BEST:: SOT 445462 SOS 230408 HAS SOPS 201818 HAS SOUS 177637 HAS SOUPS 149161 WITH SCORE 149391.408
AT ITER 326 NEW BEST:: SOT 445462 SOS 230348 HAS SOPS 201743 HAS SOUS 177562 HAS SOUPS 149071 WITH SCORE 149301.348
AT ITER 335 NEW BEST:: SOT 445378 SOS 230329 HAS SOPS 201724 HAS SOUS 177478 HAS SOUPS 148987 WITH SCORE 149217.329
AT ITER 342 NEW BEST:: SOT 445467 SOS 230407 HAS SOPS 201649 HAS SOUS 177503 HAS SOUPS 148859 WITH SCORE 149089.407
AT ITER 346 NEW BEST:: SOT 445285 SOS 230648 HAS SOPS 201981 HAS SOUS 177048 HAS SOUPS 148495 WITH SCORE 148725.648
AT ITER 354 NEW BEST:: SOT 445151 SOS 230648 HAS SOPS 201981 HAS SOUS 176780 HAS SOUPS 148227 WITH SCORE 148457.648
AT ITER 355 NEW BEST:: SOT 445114 SOS 230613 HAS SOPS 201822 HAS SOUS 176830 HAS SOUPS 148153 WITH SCORE 148383.613
AT ITER 359 NEW BEST:: SOT 445114 SOS 230613 HAS SOPS 201822 HAS SOUS 176692 HAS SOUPS 148015 WITH SCORE 148245.613
AT ITER 363 NEW BEST:: SOT 445114 SOS 230607 HAS SOPS 201822 HAS SOUS 176686 HAS SOUPS 148015 WITH SCORE 148245.607
AT ITER 378 NEW BEST:: SOT 445031 SOS 230766 HAS SOPS 201981 HAS SOUS 176520 HAS SOUPS 147849 WITH SCORE 148079.766
AT ITER 382 NEW BEST:: SOT 444895 SOS 230780 HAS SOPS 201995 HAS SOUS 176248 HAS SOUPS 147577 WITH SCORE 147807.78
AT ITER 392 NEW BEST:: SOT 444577 SOS 230556 HAS SOPS 201833 HAS SOUS 175930 HAS SOUPS 147321 WITH SCORE 147551.556
AT ITER 412 NEW BEST:: SOT 444573 SOS 230552 HAS SOPS 201829 HAS SOUS 175922 HAS SOUPS 147313 WITH SCORE 147543.552
AT ITER 415 NEW BEST:: SOT 444323 SOS 230396 HAS SOPS 201807 HAS SOUS 175783 HAS SOUPS 147308 WITH SCORE 147538.396
AT ITER 417 NEW BEST:: SOT 444259 SOS 230424 HAS SOPS 201835 HAS SOUS 175655 HAS SOUPS 147180 WITH SCORE 147410.424
AT ITER 418 NEW BEST:: SOT 444197 SOS 230300 HAS SOPS 201711 HAS SOUS 175531 HAS SOUPS 147056 WITH SCORE 147286.3
AT ITER 420 NEW BEST:: SOT 443793 SOS 230233 HAS SOPS 201644 HAS SOUS 174723 HAS SOUPS 146248 WITH SCORE 146478.233
AT ITER 425 NEW BEST:: SOT 443770 SOS 230233 HAS SOPS 201644 HAS SOUS 174677 HAS SOUPS 146202 WITH SCORE 146432.233
AT ITER 426 NEW BEST:: SOT 443770 SOS 230330 HAS SOPS 201644 HAS SOUS 174580 HAS SOUPS 146008 WITH SCORE 146238.33
AT ITER 429 NEW BEST:: SOT 443779 SOS 230340 HAS SOPS 201405 HAS SOUS 174760 HAS SOUPS 145939 WITH SCORE 146169.34
AT ITER 440 NEW BEST:: SOT 443761 SOS 230654 HAS SOPS 201719 HAS SOUS 174723 HAS SOUPS 145902 WITH SCORE 146132.654
AT ITER 447 NEW BEST:: SOT 443709 SOS 230947 HAS SOPS 202012 HAS SOUS 174619 HAS SOUPS 145798 WITH SCORE 146028.947
AT ITER 463 NEW BEST:: SOT 443554 SOS 231256 HAS SOPS 202417 HAS SOUS 174213 HAS SOUPS 145488 WITH SCORE 145719.256
AT ITER 469 NEW BEST:: SOT 443376 SOS 231171 HAS SOPS 202333 HAS SOUS 173856 HAS SOUPS 145132 WITH SCORE 145363.171
AT ITER 474 NEW BEST:: SOT 443376 SOS 231139 HAS SOPS 202139 HAS SOUS 173906 HAS SOUPS 145057 WITH SCORE 145288.139
AT ITER 483 NEW BEST:: SOT 443374 SOS 231137 HAS SOPS 202137 HAS SOUS 173902 HAS SOUPS 145053 WITH SCORE 145284.137
AT ITER 490 NEW BEST:: SOT 443148 SOS 231220 HAS SOPS 202220 HAS SOUS 173450 HAS SOUPS 144601 WITH SCORE 144832.22
AT ITER 492 NEW BEST:: SOT 443148 SOS 231142 HAS SOPS 202220 HAS SOUS 173372 HAS SOUPS 144601 WITH SCORE 144832.142
AT ITER 500 NEW BEST:: SOT 443180 SOS 231174 HAS SOPS 202252 HAS SOUS 173272 HAS SOUPS 144501 WITH SCORE 144732.174
AT ITER 512 NEW BEST:: SOT 443277 SOS 243527 HAS SOPS 214405 HAS SOUS 173369 HAS SOUPS 144398 WITH SCORE 144641.527
AT ITER 514 NEW BEST:: SOT 443262 SOS 243512 HAS SOPS 214390 HAS SOUS 173354 HAS SOUPS 144383 WITH SCORE 144626.512
AT ITER 518 NEW BEST:: SOT 443246 SOS 243494 HAS SOPS 214297 HAS SOUS 173397 HAS SOUPS 144351 WITH SCORE 144594.494
AT ITER 527 NEW BEST:: SOT 443236 SOS 243484 HAS SOPS 214287 HAS SOUS 173377 HAS SOUPS 144331 WITH SCORE 144574.484
AT ITER 533 NEW BEST:: SOT 443192 SOS 243440 HAS SOPS 214243 HAS SOUS 173333 HAS SOUPS 144287 WITH SCORE 144530.44
AT ITER 535 NEW BEST:: SOT 443123 SOS 243371 HAS SOPS 214105 HAS SOUS 173264 HAS SOUPS 144149 WITH SCORE 144392.371
AT ITER 538 NEW BEST:: SOT 443059 SOS 243307 HAS SOPS 213977 HAS SOUS 173200 HAS SOUPS 144021 WITH SCORE 144264.307
AT ITER 539 NEW BEST:: SOT 443062 SOS 243334 HAS SOPS 213980 HAS SOUS 173182 HAS SOUPS 143979 WITH SCORE 144222.334
AT ITER 540 NEW BEST:: SOT 442911 SOS 243183 HAS SOPS 213829 HAS SOUS 172880 HAS SOUPS 143677 WITH SCORE 143920.183
AT ITER 542 NEW BEST:: SOT 442802 SOS 242954 HAS SOPS 213549 HAS SOUS 172713 HAS SOUPS 143459 WITH SCORE 143701.954
AT ITER 544 NEW BEST:: SOT 442761 SOS 242913 HAS SOPS 213508 HAS SOUS 172631 HAS SOUPS 143377 WITH SCORE 143619.913
AT ITER 549 NEW BEST:: SOT 442754 SOS 242906 HAS SOPS 213501 HAS SOUS 172617 HAS SOUPS 143363 WITH SCORE 143605.906
AT ITER 551 NEW BEST:: SOT 442667 SOS 242819 HAS SOPS 213414 HAS SOUS 172443 HAS SOUPS 143189 WITH SCORE 143431.819
AT ITER 552 NEW BEST:: SOT 442667 SOS 243039 HAS SOPS 213414 HAS SOUS 172095 HAS SOUPS 142621 WITH SCORE 142864.039
AT ITER 556 NEW BEST:: SOT 442661 SOS 243033 HAS SOPS 213408 HAS SOUS 172083 HAS SOUPS 142609 WITH SCORE 142852.033
AT ITER 560 NEW BEST:: SOT 442646 SOS 243018 HAS SOPS 213446 HAS SOUS 172000 HAS SOUPS 142579 WITH SCORE 142822.018
AT ITER 562 NEW BEST:: SOT 442618 SOS 242890 HAS SOPS 213318 HAS SOUS 171944 HAS SOUPS 142523 WITH SCORE 142765.89
AT ITER 566 NEW BEST:: SOT 442610 SOS 242882 HAS SOPS 213310 HAS SOUS 171928 HAS SOUPS 142507 WITH SCORE 142749.882
AT ITER 567 NEW BEST:: SOT 442578 SOS 242850 HAS SOPS 213278 HAS SOUS 171864 HAS SOUPS 142443 WITH SCORE 142685.85
AT ITER 572 NEW BEST:: SOT 442847 SOS 243337 HAS SOPS 213547 HAS SOUS 172073 HAS SOUPS 142434 WITH SCORE 142677.337
AT ITER 589 NEW BEST:: SOT 442879 SOS 243516 HAS SOPS 213579 HAS SOUS 171990 HAS SOUPS 142204 WITH SCORE 142447.516
AT ITER 591 NEW BEST:: SOT 442879 SOS 243473 HAS SOPS 213536 HAS SOUS 171990 HAS SOUPS 142204 WITH SCORE 142447.473
AT ITER 597 NEW BEST:: SOT 442879 SOS 243473 HAS SOPS 213536 HAS SOUS 171957 HAS SOUPS 142171 WITH SCORE 142414.473
AT ITER 602 NEW BEST:: SOT 442995 SOS 243584 HAS SOPS 213647 HAS SOUS 171953 HAS SOUPS 142167 WITH SCORE 142410.584
AT ITER 608 NEW BEST:: SOT 442995 SOS 243574 HAS SOPS 213637 HAS SOUS 171943 HAS SOUPS 142157 WITH SCORE 142400.574
AT ITER 628 NEW BEST:: SOT 442972 SOS 243315 HAS SOPS 213246 HAS SOUS 172028 HAS SOUPS 142110 WITH SCORE 142353.315
AT ITER 645 NEW BEST:: SOT 442956 SOS 243310 HAS SOPS 213241 HAS SOUS 171996 HAS SOUPS 142078 WITH SCORE 142321.31
AT ITER 647 NEW BEST:: SOT 442956 SOS 243225 HAS SOPS 213156 HAS SOUS 171996 HAS SOUPS 142078 WITH SCORE 142321.225
AT ITER 653 NEW BEST:: SOT 442884 SOS 243225 HAS SOPS 213156 HAS SOUS 171852 HAS SOUPS 141934 WITH SCORE 142177.225
AT ITER 656 NEW BEST:: SOT 442843 SOS 243408 HAS SOPS 213115 HAS SOUS 171226 HAS SOUPS 141084 WITH SCORE 141327.408
AT ITER 659 NEW BEST:: SOT 442752 SOS 243350 HAS SOPS 213024 HAS SOUS 171220 HAS SOUPS 141083 WITH SCORE 141326.35
AT ITER 662 NEW BEST:: SOT 442749 SOS 243347 HAS SOPS 213021 HAS SOUS 171214 HAS SOUPS 141077 WITH SCORE 141320.347
AT ITER 665 NEW BEST:: SOT 442759 SOS 243456 HAS SOPS 213031 HAS SOUS 171135 HAS SOUPS 140899 WITH SCORE 141142.456
AT ITER 672 NEW BEST:: SOT 442759 SOS 243440 HAS SOPS 212998 HAS SOUS 171127 HAS SOUPS 140882 WITH SCORE 141125.44
AT ITER 675 NEW BEST:: SOT 442759 SOS 243413 HAS SOPS 212998 HAS SOUS 171100 HAS SOUPS 140882 WITH SCORE 141125.413
AT ITER 685 NEW BEST:: SOT 442518 SOS 243265 HAS SOPS 212906 HAS SOUS 170988 HAS SOUPS 140826 WITH SCORE 141069.265
AT ITER 688 NEW BEST:: SOT 442466 SOS 243213 HAS SOPS 212854 HAS SOUS 170884 HAS SOUPS 140722 WITH SCORE 140965.213
AT ITER 689 NEW BEST:: SOT 442406 SOS 242866 HAS SOPS 212241 HAS SOUS 170894 HAS SOUPS 140466 WITH SCORE 140708.866
AT ITER 694 NEW BEST:: SOT 442286 SOS 243218 HAS SOPS 212723 HAS SOUS 170524 HAS SOUPS 140226 WITH SCORE 140469.218
AT ITER 703 NEW BEST:: SOT 442225 SOS 243157 HAS SOPS 212662 HAS SOUS 170402 HAS SOUPS 140104 WITH SCORE 140347.157
AT ITER 707 NEW BEST:: SOT 442179 SOS 243116 HAS SOPS 212621 HAS SOUS 170356 HAS SOUPS 140058 WITH SCORE 140301.116
AT ITER 712 NEW BEST:: SOT 442097 SOS 243064 HAS SOPS 212309 HAS SOUS 170452 HAS SOUPS 139894 WITH SCORE 140137.064
AT ITER 717 NEW BEST:: SOT 442076 SOS 243064 HAS SOPS 212309 HAS SOUS 170431 HAS SOUPS 139873 WITH SCORE 140116.064
AT ITER 729 NEW BEST:: SOT 441999 SOS 242987 HAS SOPS 212232 HAS SOUS 170345 HAS SOUPS 139787 WITH SCORE 140029.987
AT ITER 740 NEW BEST:: SOT 441941 SOS 242929 HAS SOPS 212174 HAS SOUS 170229 HAS SOUPS 139671 WITH SCORE 139913.929
AT ITER 749 NEW BEST:: SOT 441941 SOS 242929 HAS SOPS 211794 HAS SOUS 170229 HAS SOUPS 139291 WITH SCORE 139533.929
AT ITER 752 NEW BEST:: SOT 442063 SOS 243195 HAS SOPS 211916 HAS SOUS 170329 HAS SOUPS 139247 WITH SCORE 139490.195
AT ITER 761 NEW BEST:: SOT 442039 SOS 243171 HAS SOPS 211892 HAS SOUS 170281 HAS SOUPS 139199 WITH SCORE 139442.171
AT ITER 765 NEW BEST:: SOT 442039 SOS 243050 HAS SOPS 211764 HAS SOUS 170288 HAS SOUPS 139199 WITH SCORE 139442.05
AT ITER 773 NEW BEST:: SOT 442033 SOS 243044 HAS SOPS 211758 HAS SOUS 170276 HAS SOUPS 139187 WITH SCORE 139430.044
AT ITER 776 NEW BEST:: SOT 442046 SOS 243058 HAS SOPS 211608 HAS SOUS 170289 HAS SOUPS 139036 WITH SCORE 139279.058
AT ITER 777 NEW BEST:: SOT 442005 SOS 243392 HAS SOPS 212042 HAS SOUS 170107 HAS SOUPS 138954 WITH SCORE 139197.392
AT ITER 778 NEW BEST:: SOT 442008 SOS 243466 HAS SOPS 212045 HAS SOUS 170042 HAS SOUPS 138818 WITH SCORE 139061.466
AT ITER 785 NEW BEST:: SOT 442068 SOS 243526 HAS SOPS 211983 HAS SOUS 170040 HAS SOUPS 138694 WITH SCORE 138937.526
AT ITER 786 NEW BEST:: SOT 441697 SOS 243248 HAS SOPS 211925 HAS SOUS 169816 HAS SOUPS 138690 WITH SCORE 138933.248
AT ITER 789 NEW BEST:: SOT 441544 SOS 243446 HAS SOPS 212123 HAS SOUS 169510 HAS SOUPS 138384 WITH SCORE 138627.446
AT ITER 792 NEW BEST:: SOT 441436 SOS 243486 HAS SOPS 212163 HAS SOUS 169294 HAS SOUPS 138168 WITH SCORE 138411.486
AT ITER 795 NEW BEST:: SOT 441413 SOS 243440 HAS SOPS 212140 HAS SOUS 169271 HAS SOUPS 138168 WITH SCORE 138411.44
AT ITER 801 NEW BEST:: SOT 441398 SOS 243545 HAS SOPS 212245 HAS SOUS 169241 HAS SOUPS 138138 WITH SCORE 138381.545
AT ITER 804 NEW BEST:: SOT 441398 SOS 243463 HAS SOPS 212163 HAS SOUS 169241 HAS SOUPS 138138 WITH SCORE 138381.463
AT ITER 820 NEW BEST:: SOT 441398 SOS 241041 HAS SOPS 209686 HAS SOUS 169241 HAS SOUPS 138083 WITH SCORE 138324.041
AT ITER 827 NEW BEST:: SOT 441367 SOS 241198 HAS SOPS 209843 HAS SOUS 169179 HAS SOUPS 138021 WITH SCORE 138262.198
AT ITER 834 NEW BEST:: SOT 441367 SOS 241198 HAS SOPS 209813 HAS SOUS 169179 HAS SOUPS 137991 WITH SCORE 138232.198
AT ITER 842 NEW BEST:: SOT 441098 SOS 241023 HAS SOPS 209715 HAS SOUS 168910 HAS SOUPS 137799 WITH SCORE 138040.023
AT ITER 850 NEW BEST:: SOT 441098 SOS 240881 HAS SOPS 209431 HAS SOUS 169052 HAS SOUPS 137799 WITH SCORE 138039.881
AT ITER 855 NEW BEST:: SOT 441087 SOS 240870 HAS SOPS 209420 HAS SOUS 169041 HAS SOUPS 137788 WITH SCORE 138028.87
AT ITER 856 NEW BEST:: SOT 441087 SOS 240838 HAS SOPS 209420 HAS SOUS 169009 HAS SOUPS 137788 WITH SCORE 138028.838
AT ITER 862 NEW BEST:: SOT 440985 SOS 240670 HAS SOPS 209318 HAS SOUS 168870 HAS SOUPS 137715 WITH SCORE 137955.67
AT ITER 873 NEW BEST:: SOT 440950 SOS 240635 HAS SOPS 209283 HAS SOUS 168835 HAS SOUPS 137680 WITH SCORE 137920.635
AT ITER 889 NEW BEST:: SOT 440688 SOS 240373 HAS SOPS 209021 HAS SOUS 168311 HAS SOUPS 137156 WITH SCORE 137396.373
AT ITER 892 NEW BEST:: SOT 440688 SOS 240302 HAS SOPS 208869 HAS SOUS 168271 HAS SOUPS 137075 WITH SCORE 137315.302
AT ITER 897 NEW BEST:: SOT 440688 SOS 240302 HAS SOPS 208869 HAS SOUS 168233 HAS SOUPS 137037 WITH SCORE 137277.302
AT ITER 907 NEW BEST:: SOT 440566 SOS 240233 HAS SOPS 208800 HAS SOUS 167989 HAS SOUPS 136793 WITH SCORE 137033.233
AT ITER 908 NEW BEST:: SOT 440560 SOS 240228 HAS SOPS 208795 HAS SOUS 167977 HAS SOUPS 136781 WITH SCORE 137021.228
AT ITER 911 NEW BEST:: SOT 440560 SOS 240274 HAS SOPS 208702 HAS SOUS 167838 HAS SOUPS 136503 WITH SCORE 136743.274
AT ITER 914 NEW BEST:: SOT 440560 SOS 240254 HAS SOPS 208702 HAS SOUS 167818 HAS SOUPS 136503 WITH SCORE 136743.254
AT ITER 918 NEW BEST:: SOT 440786 SOS 240334 HAS SOPS 208440 HAS SOUS 167882 HAS SOUPS 136225 WITH SCORE 136465.334
AT ITER 919 NEW BEST:: SOT 440665 SOS 240404 HAS SOPS 208609 HAS SOUS 167541 HAS SOUPS 135983 WITH SCORE 136223.404
AT ITER 934 NEW BEST:: SOT 440537 SOS 240404 HAS SOPS 208609 HAS SOUS 167285 HAS SOUPS 135727 WITH SCORE 135967.404
AT ITER 939 NEW BEST:: SOT 440537 SOS 240330 HAS SOPS 208535 HAS SOUS 167285 HAS SOUPS 135727 WITH SCORE 135967.33
AT ITER 940 NEW BEST:: SOT 440386 SOS 240220 HAS SOPS 208145 HAS SOUS 167263 HAS SOUPS 135425 WITH SCORE 135665.22
AT ITER 941 NEW BEST:: SOT 440386 SOS 240258 HAS SOPS 208145 HAS SOUS 167225 HAS SOUPS 135349 WITH SCORE 135589.258
AT ITER 948 NEW BEST:: SOT 440434 SOS 240580 HAS SOPS 208184 HAS SOUS 167277 HAS SOUPS 135133 WITH SCORE 135373.58
AT ITER 950 NEW BEST:: SOT 440487 SOS 240604 HAS SOPS 208181 HAS SOUS 167298 HAS SOUPS 135127 WITH SCORE 135367.604
AT ITER 963 NEW BEST:: SOT 440127 SOS 240337 HAS SOPS 207990 HAS SOUS 166938 HAS SOUPS 134843 WITH SCORE 135083.337
AT ITER 976 NEW BEST:: SOT 440254 SOS 240372 HAS SOPS 207771 HAS SOUS 167065 HAS SOUPS 134716 WITH SCORE 134956.372
AT ITER 984 NEW BEST:: SOT 440372 SOS 269717 HAS SOPS 237116 HAS SOUS 166980 HAS SOUPS 134631 WITH SCORE 134900.717
AT ITER 998 NEW BEST:: SOT 440342 SOS 269812 HAS SOPS 237211 HAS SOUS 166920 HAS SOUPS 134571 WITH SCORE 134840.812
AT ITER 1000 NEW BEST:: SOT 440342 SOS 270050 HAS SOPS 237211 HAS SOUS 166920 HAS SOUPS 134488 WITH SCORE 134758.05
AT ITER 1019 NEW BEST:: SOT 440299 SOS 270007 HAS SOPS 237168 HAS SOUS 166834 HAS SOUPS 134402 WITH SCORE 134672.007
AT ITER 1038 NEW BEST:: SOT 440299 SOS 269935 HAS SOPS 237096 HAS SOUS 166834 HAS SOUPS 134402 WITH SCORE 134671.935
AT ITER 1069 NEW BEST:: SOT 440299 SOS 269918 HAS SOPS 237096 HAS SOUS 166817 HAS SOUPS 134402 WITH SCORE 134671.918
AT ITER 1071 NEW BEST:: SOT 440228 SOS 269914 HAS SOPS 237025 HAS SOUS 166742 HAS SOUPS 134260 WITH SCORE 134529.914
AT ITER 1078 NEW BEST:: SOT 440221 SOS 269887 HAS SOPS 236998 HAS SOUS 166728 HAS SOUPS 134246 WITH SCORE 134515.887
AT ITER 1080 NEW BEST:: SOT 440196 SOS 269862 HAS SOPS 236973 HAS SOUS 166678 HAS SOUPS 134196 WITH SCORE 134465.862
AT ITER 1087 NEW BEST:: SOT 440264 SOS 269930 HAS SOPS 236931 HAS SOUS 166704 HAS SOUPS 134112 WITH SCORE 134381.93
AT ITER 1089 NEW BEST:: SOT 440169 SOS 269835 HAS SOPS 236836 HAS SOUS 166518 HAS SOUPS 133926 WITH SCORE 134195.835
AT ITER 1095 NEW BEST:: SOT 440169 SOS 269835 HAS SOPS 236808 HAS SOUS 166490 HAS SOUPS 133870 WITH SCORE 134139.835
AT ITER 1097 NEW BEST:: SOT 440169 SOS 269835 HAS SOPS 236436 HAS SOUS 166490 HAS SOUPS 133498 WITH SCORE 133767.835
AT ITER 1100 NEW BEST:: SOT 440169 SOS 269835 HAS SOPS 236326 HAS SOUS 166490 HAS SOUPS 133388 WITH SCORE 133657.835
AT ITER 1110 NEW BEST:: SOT 440148 SOS 269814 HAS SOPS 236305 HAS SOUS 166448 HAS SOUPS 133346 WITH SCORE 133615.814
AT ITER 1116 NEW BEST:: SOT 440138 SOS 269795 HAS SOPS 236286 HAS SOUS 166379 HAS SOUPS 133277 WITH SCORE 133546.795
AT ITER 1127 NEW BEST:: SOT 440131 SOS 269762 HAS SOPS 236246 HAS SOUS 166372 HAS SOUPS 133263 WITH SCORE 133532.762
AT ITER 1131 NEW BEST:: SOT 440094 SOS 269725 HAS SOPS 236209 HAS SOUS 166298 HAS SOUPS 133189 WITH SCORE 133458.725
AT ITER 1135 NEW BEST:: SOT 439930 SOS 269719 HAS SOPS 236455 HAS SOUS 165718 HAS SOUPS 132861 WITH SCORE 133130.719
AT ITER 1136 NEW BEST:: SOT 439930 SOS 269720 HAS SOPS 236455 HAS SOUS 165717 HAS SOUPS 132859 WITH SCORE 133128.72
AT ITER 1137 NEW BEST:: SOT 439844 SOS 269774 HAS SOPS 236563 HAS SOUS 165491 HAS SOUPS 132687 WITH SCORE 132956.774
AT ITER 1143 NEW BEST:: SOT 439710 SOS 269562 HAS SOPS 236280 HAS SOUS 165294 HAS SOUPS 132419 WITH SCORE 132688.562
AT ITER 1150 NEW BEST:: SOT 439639 SOS 269491 HAS SOPS 236209 HAS SOUS 165212 HAS SOUPS 132337 WITH SCORE 132606.491
AT ITER 1154 NEW BEST:: SOT 439649 SOS 269501 HAS SOPS 236151 HAS SOUS 165164 HAS SOUPS 132221 WITH SCORE 132490.501
AT ITER 1155 NEW BEST:: SOT 439649 SOS 269702 HAS SOPS 236151 HAS SOUS 164963 HAS SOUPS 131819 WITH SCORE 132088.702
AT ITER 1168 NEW BEST:: SOT 439626 SOS 269679 HAS SOPS 236128 HAS SOUS 164917 HAS SOUPS 131773 WITH SCORE 132042.679
AT ITER 1176 NEW BEST:: SOT 439947 SOS 269908 HAS SOPS 235831 HAS SOUS 165238 HAS SOUPS 131568 WITH SCORE 131837.908
AT ITER 1178 NEW BEST:: SOT 439930 SOS 269613 HAS SOPS 235440 HAS SOUS 165300 HAS SOUPS 131534 WITH SCORE 131803.613
AT ITER 1186 NEW BEST:: SOT 439638 SOS 269251 HAS SOPS 235148 HAS SOUS 165008 HAS SOUPS 131312 WITH SCORE 131581.251
AT ITER 1198 NEW BEST:: SOT 439638 SOS 269248 HAS SOPS 234616 HAS SOUS 165005 HAS SOUPS 130780 WITH SCORE 131049.248
AT ITER 1214 NEW BEST:: SOT 439687 SOS 269297 HAS SOPS 234587 HAS SOUS 165025 HAS SOUPS 130722 WITH SCORE 130991.297
AT ITER 1215 NEW BEST:: SOT 439664 SOS 269334 HAS SOPS 234624 HAS SOUS 164979 HAS SOUPS 130676 WITH SCORE 130945.334
AT ITER 1226 NEW BEST:: SOT 439587 SOS 269257 HAS SOPS 234547 HAS SOUS 164825 HAS SOUPS 130522 WITH SCORE 130791.257
AT ITER 1232 NEW BEST:: SOT 439523 SOS 269193 HAS SOPS 234547 HAS SOUS 164761 HAS SOUPS 130522 WITH SCORE 130791.193
AT ITER 1238 NEW BEST:: SOT 439523 SOS 269236 HAS SOPS 234547 HAS SOUS 164718 HAS SOUPS 130436 WITH SCORE 130705.236
AT ITER 1241 NEW BEST:: SOT 439417 SOS 269130 HAS SOPS 234441 HAS SOUS 164520 HAS SOUPS 130238 WITH SCORE 130507.13
AT ITER 1243 NEW BEST:: SOT 439336 SOS 269049 HAS SOPS 234360 HAS SOUS 164358 HAS SOUPS 130076 WITH SCORE 130345.049
AT ITER 1244 NEW BEST:: SOT 439208 SOS 268930 HAS SOPS 234003 HAS SOUS 164340 HAS SOUPS 129820 WITH SCORE 130088.93
AT ITER 1246 NEW BEST:: SOT 439396 SOS 269212 HAS SOPS 234087 HAS SOUS 164528 HAS SOUPS 129810 WITH SCORE 130079.212
AT ITER 1251 NEW BEST:: SOT 439396 SOS 269225 HAS SOPS 233758 HAS SOUS 164528 HAS SOUPS 129468 WITH SCORE 129737.225
AT ITER 1254 NEW BEST:: SOT 439324 SOS 269081 HAS SOPS 233686 HAS SOUS 164456 HAS SOUPS 129468 WITH SCORE 129737.081
AT ITER 1257 NEW BEST:: SOT 439324 SOS 268979 HAS SOPS 233482 HAS SOUS 164354 HAS SOUPS 129264 WITH SCORE 129532.979
AT ITER 1258 NEW BEST:: SOT 439307 SOS 268962 HAS SOPS 233465 HAS SOUS 164320 HAS SOUPS 129230 WITH SCORE 129498.962
AT ITER 1265 NEW BEST:: SOT 439167 SOS 269024 HAS SOPS 233623 HAS SOUS 163944 HAS SOUPS 128950 WITH SCORE 129219.024
AT ITER 1267 NEW BEST:: SOT 439252 SOS 269237 HAS SOPS 233708 HAS SOUS 163945 HAS SOUPS 128783 WITH SCORE 129052.237
AT ITER 1275 NEW BEST:: SOT 439204 SOS 269189 HAS SOPS 233660 HAS SOUS 163860 HAS SOUPS 128698 WITH SCORE 128967.189
AT ITER 1282 NEW BEST:: SOT 438948 SOS 268797 HAS SOPS 233097 HAS SOUS 163519 HAS SOUPS 128186 WITH SCORE 128454.797
AT ITER 1303 NEW BEST:: SOT 438910 SOS 268797 HAS SOPS 233097 HAS SOUS 163443 HAS SOUPS 128110 WITH SCORE 128378.797
AT ITER 1305 NEW BEST:: SOT 400857 SOS 238292 HAS SOPS 202592 HAS SOUS 124836 HAS SOUPS 89503 WITH SCORE 89741.292
AT ITER 1313 NEW BEST:: SOT 400314 SOS 237611 HAS SOPS 202109 HAS SOUS 124433 HAS SOUPS 89298 WITH SCORE 89535.611
AT ITER 1314 NEW BEST:: SOT 400585 SOS 238020 HAS SOPS 202299 HAS SOUS 124249 HAS SOUPS 88895 WITH SCORE 89133.02
AT ITER 1316 NEW BEST:: SOT 400585 SOS 237959 HAS SOPS 202142 HAS SOUS 124153 HAS SOUPS 88703 WITH SCORE 88940.959
AT ITER 1319 NEW BEST:: SOT 400571 SOS 237982 HAS SOPS 202239 HAS SOUS 124078 HAS SOUPS 88702 WITH SCORE 88939.982
AT ITER 1321 NEW BEST:: SOT 400570 SOS 237939 HAS SOPS 202196 HAS SOUS 124077 HAS SOUPS 88701 WITH SCORE 88938.939
AT ITER 1322 NEW BEST:: SOT 400531 SOS 237900 HAS SOPS 202157 HAS SOUS 124021 HAS SOUPS 88645 WITH SCORE 88882.9
AT ITER 1326 NEW BEST:: SOT 400531 SOS 237886 HAS SOPS 202129 HAS SOUS 124007 HAS SOUPS 88617 WITH SCORE 88854.886
AT ITER 1333 NEW BEST:: SOT 400417 SOS 237772 HAS SOPS 202015 HAS SOUS 123893 HAS SOUPS 88503 WITH SCORE 88740.772
AT ITER 1342 NEW BEST:: SOT 399952 SOS 237232 HAS SOPS 201550 HAS SOUS 123428 HAS SOUPS 88113 WITH SCORE 88350.232
AT ITER 1344 NEW BEST:: SOT 399936 SOS 237216 HAS SOPS 201563 HAS SOUS 123367 HAS SOUPS 88081 WITH SCORE 88318.216
AT ITER 1345 NEW BEST:: SOT 399935 SOS 237123 HAS SOPS 201332 HAS SOUS 123504 HAS SOUPS 88080 WITH SCORE 88317.123
AT ITER 1346 NEW BEST:: SOT 399920 SOS 237108 HAS SOPS 201317 HAS SOUS 123489 HAS SOUPS 88065 WITH SCORE 88302.108
AT ITER 1356 NEW BEST:: SOT 399715 SOS 236943 HAS SOPS 201152 HAS SOUS 123216 HAS SOUPS 87792 WITH SCORE 88028.943
AT ITER 1359 NEW BEST:: SOT 399536 SOS 236534 HAS SOPS 200563 HAS SOUS 123037 HAS SOUPS 87433 WITH SCORE 87669.534
AT ITER 1361 NEW BEST:: SOT 399635 SOS 234145 HAS SOPS 197943 HAS SOUS 123165 HAS SOUPS 87330 WITH SCORE 87564.145
AT ITER 1364 NEW BEST:: SOT 399625 SOS 234135 HAS SOPS 197933 HAS SOUS 123145 HAS SOUPS 87310 WITH SCORE 87544.135
AT ITER 1366 NEW BEST:: SOT 392972 SOS 247154 HAS SOPS 210952 HAS SOUS 116816 HAS SOUPS 80981 WITH SCORE 81228.154
AT ITER 1379 NEW BEST:: SOT 392971 SOS 247029 HAS SOPS 210827 HAS SOUS 116815 HAS SOUPS 80980 WITH SCORE 81227.029
AT ITER 1380 NEW BEST:: SOT 393073 SOS 247237 HAS SOPS 210929 HAS SOUS 116917 HAS SOUPS 80976 WITH SCORE 81223.237
AT ITER 1394 NEW BEST:: SOT 393073 SOS 247202 HAS SOPS 210894 HAS SOUS 116917 HAS SOUPS 80976 WITH SCORE 81223.202
AT ITER 1399 NEW BEST:: SOT 392610 SOS 246507 HAS SOPS 210435 HAS SOUS 116653 HAS SOUPS 80948 WITH SCORE 81194.507
AT ITER 1405 NEW BEST:: SOT 392536 SOS 246360 HAS SOPS 210288 HAS SOUS 116579 HAS SOUPS 80874 WITH SCORE 81120.36
AT ITER 1411 NEW BEST:: SOT 392279 SOS 245929 HAS SOPS 209775 HAS SOUS 116322 HAS SOUPS 80535 WITH SCORE 80780.929
AT ITER 1415 NEW BEST:: SOT 392232 SOS 245882 HAS SOPS 209728 HAS SOUS 116221 HAS SOUPS 80434 WITH SCORE 80679.882
AT ITER 1426 NEW BEST:: SOT 392228 SOS 245855 HAS SOPS 209701 HAS SOUS 116214 HAS SOUPS 80427 WITH SCORE 80672.855
AT ITER 1427 NEW BEST:: SOT 390302 SOS 250912 HAS SOPS 214758 HAS SOUS 114417 HAS SOUPS 78630 WITH SCORE 78880.912
AT ITER 1430 NEW BEST:: SOT 390270 SOS 250880 HAS SOPS 214726 HAS SOUS 114385 HAS SOUPS 78598 WITH SCORE 78848.88
AT ITER 1433 NEW BEST:: SOT 390270 SOS 250880 HAS SOPS 214726 HAS SOUS 114366 HAS SOUPS 78579 WITH SCORE 78829.88
AT ITER 1440 NEW BEST:: SOT 390178 SOS 250773 HAS SOPS 214634 HAS SOUS 114305 HAS SOUPS 78533 WITH SCORE 78783.773
AT ITER 1450 NEW BEST:: SOT 390109 SOS 250704 HAS SOPS 214565 HAS SOUS 114236 HAS SOUPS 78464 WITH SCORE 78714.704
AT ITER 1454 NEW BEST:: SOT 390100 SOS 250686 HAS SOPS 214556 HAS SOUS 114227 HAS SOUPS 78464 WITH SCORE 78714.686
AT ITER 1455 NEW BEST:: SOT 390080 SOS 250666 HAS SOPS 214536 HAS SOUS 114207 HAS SOUPS 78444 WITH SCORE 78694.666
AT ITER 1458 NEW BEST:: SOT 390005 SOS 250591 HAS SOPS 214461 HAS SOUS 114057 HAS SOUPS 78294 WITH SCORE 78544.591
AT ITER 1459 NEW BEST:: SOT 389945 SOS 250531 HAS SOPS 214401 HAS SOUS 113937 HAS SOUPS 78174 WITH SCORE 78424.531
AT ITER 1466 NEW BEST:: SOT 389945 SOS 250634 HAS SOPS 214401 HAS SOUS 113832 HAS SOUPS 77966 WITH SCORE 78216.634
AT ITER 1468 NEW BEST:: SOT 389945 SOS 250686 HAS SOPS 214381 HAS SOUS 113760 HAS SOUPS 77822 WITH SCORE 78072.686
AT ITER 1472 NEW BEST:: SOT 390084 SOS 250962 HAS SOPS 214508 HAS SOUS 113894 HAS SOUPS 77812 WITH SCORE 78062.962
AT ITER 1479 NEW BEST:: SOT 389933 SOS 250803 HAS SOPS 214357 HAS SOUS 113592 HAS SOUPS 77518 WITH SCORE 77768.803
AT ITER 1482 NEW BEST:: SOT 389907 SOS 250777 HAS SOPS 214331 HAS SOUS 113540 HAS SOUPS 77466 WITH SCORE 77716.777
AT ITER 1484 NEW BEST:: SOT 389907 SOS 250883 HAS SOPS 214331 HAS SOUS 113396 HAS SOUPS 77208 WITH SCORE 77458.883
AT ITER 1485 NEW BEST:: SOT 389916 SOS 250901 HAS SOPS 214340 HAS SOUS 113396 HAS SOUPS 77199 WITH SCORE 77449.901
AT ITER 1487 NEW BEST:: SOT 389896 SOS 250881 HAS SOPS 214317 HAS SOUS 113356 HAS SOUPS 77156 WITH SCORE 77406.881
AT ITER 1492 NEW BEST:: SOT 389887 SOS 250863 HAS SOPS 214308 HAS SOUS 113347 HAS SOUPS 77156 WITH SCORE 77406.863
AT ITER 1502 NEW BEST:: SOT 389790 SOS 250766 HAS SOPS 214211 HAS SOUS 113303 HAS SOUPS 77112 WITH SCORE 77362.766
AT ITER 1506 NEW BEST:: SOT 389467 SOS 250406 HAS SOPS 214025 HAS SOUS 112980 HAS SOUPS 76963 WITH SCORE 77213.406
AT ITER 1507 NEW BEST:: SOT 389340 SOS 250279 HAS SOPS 213898 HAS SOUS 112726 HAS SOUPS 76709 WITH SCORE 76959.279
AT ITER 1508 NEW BEST:: SOT 389340 SOS 250279 HAS SOPS 213898 HAS SOUS 112707 HAS SOUPS 76690 WITH SCORE 76940.279
AT ITER 1509 NEW BEST:: SOT 389321 SOS 250260 HAS SOPS 213879 HAS SOUS 112688 HAS SOUPS 76671 WITH SCORE 76921.26
AT ITER 1520 NEW BEST:: SOT 389080 SOS 250019 HAS SOPS 213638 HAS SOUS 112406 HAS SOUPS 76389 WITH SCORE 76639.019
AT ITER 1525 NEW BEST:: SOT 388405 SOS 249191 HAS SOPS 213149 HAS SOUS 112001 HAS SOUPS 76323 WITH SCORE 76572.191
AT ITER 1529 NEW BEST:: SOT 388568 SOS 249597 HAS SOPS 213201 HAS SOUS 112150 HAS SOUPS 76295 WITH SCORE 76544.597
AT ITER 1532 NEW BEST:: SOT 388268 SOS 249270 HAS SOPS 212901 HAS SOUS 112088 HAS SOUPS 76260 WITH SCORE 76509.27
AT ITER 1534 NEW BEST:: SOT 388240 SOS 249242 HAS SOPS 212873 HAS SOUS 112046 HAS SOUPS 76218 WITH SCORE 76467.242
AT ITER 1536 NEW BEST:: SOT 388293 SOS 249397 HAS SOPS 212926 HAS SOUS 112050 HAS SOUPS 76120 WITH SCORE 76369.397
AT ITER 1544 NEW BEST:: SOT 388248 SOS 249352 HAS SOPS 212881 HAS SOUS 111975 HAS SOUPS 76045 WITH SCORE 76294.352
AT ITER 1550 NEW BEST:: SOT 388147 SOS 249210 HAS SOPS 212622 HAS SOUS 111947 HAS SOUPS 75900 WITH SCORE 76149.21
AT ITER 1551 NEW BEST:: SOT 388182 SOS 249311 HAS SOPS 212657 HAS SOUS 111951 HAS SOUPS 75838 WITH SCORE 76087.311
AT ITER 1565 NEW BEST:: SOT 388182 SOS 249291 HAS SOPS 212597 HAS SOUS 111981 HAS SOUPS 75828 WITH SCORE 76077.291
AT ITER 1566 NEW BEST:: SOT 388114 SOS 249223 HAS SOPS 212529 HAS SOUS 111757 HAS SOUPS 75604 WITH SCORE 75853.223
AT ITER 1567 NEW BEST:: SOT 387965 SOS 249074 HAS SOPS 212380 HAS SOUS 111641 HAS SOUPS 75488 WITH SCORE 75737.074
AT ITER 1568 NEW BEST:: SOT 387256 SOS 248165 HAS SOPS 211763 HAS SOUS 111125 HAS SOUPS 75264 WITH SCORE 75512.165
AT ITER 1569 NEW BEST:: SOT 387254 SOS 248163 HAS SOPS 211761 HAS SOUS 111123 HAS SOUPS 75262 WITH SCORE 75510.163
AT ITER 1581 NEW BEST:: SOT 387254 SOS 248247 HAS SOPS 211761 HAS SOUS 111039 HAS SOUPS 75094 WITH SCORE 75342.247
AT ITER 1584 NEW BEST:: SOT 387200 SOS 248193 HAS SOPS 211707 HAS SOUS 110931 HAS SOUPS 74986 WITH SCORE 75234.193
AT ITER 1591 NEW BEST:: SOT 387112 SOS 248105 HAS SOPS 211619 HAS SOUS 110843 HAS SOUPS 74898 WITH SCORE 75146.105
AT ITER 1594 NEW BEST:: SOT 387112 SOS 248068 HAS SOPS 211619 HAS SOUS 110806 HAS SOUPS 74898 WITH SCORE 75146.068
AT ITER 1614 NEW BEST:: SOT 386965 SOS 247921 HAS SOPS 211472 HAS SOUS 110802 HAS SOUPS 74894 WITH SCORE 75141.921
AT ITER 1615 NEW BEST:: SOT 386888 SOS 247782 HAS SOPS 211410 HAS SOUS 110725 HAS SOUPS 74894 WITH SCORE 75141.782
AT ITER 1616 NEW BEST:: SOT 386779 SOS 247673 HAS SOPS 211293 HAS SOUS 110616 HAS SOUPS 74777 WITH SCORE 75024.673
AT ITER 1618 NEW BEST:: SOT 386691 SOS 247585 HAS SOPS 211247 HAS SOUS 110528 HAS SOUPS 74731 WITH SCORE 74978.585
AT ITER 1621 NEW BEST:: SOT 386686 SOS 247580 HAS SOPS 211242 HAS SOUS 110518 HAS SOUPS 74721 WITH SCORE 74968.58
AT ITER 1623 NEW BEST:: SOT 386616 SOS 247510 HAS SOPS 211172 HAS SOUS 110465 HAS SOUPS 74668 WITH SCORE 74915.51
AT ITER 1641 NEW BEST:: SOT 386566 SOS 247460 HAS SOPS 211122 HAS SOUS 110415 HAS SOUPS 74618 WITH SCORE 74865.46
AT ITER 1646 NEW BEST:: SOT 386525 SOS 247419 HAS SOPS 211081 HAS SOUS 110374 HAS SOUPS 74577 WITH SCORE 74824.419
AT ITER 1650 NEW BEST:: SOT 386478 SOS 247372 HAS SOPS 211034 HAS SOUS 110280 HAS SOUPS 74483 WITH SCORE 74730.372
AT ITER 1653 NEW BEST:: SOT 386339 SOS 247233 HAS SOPS 210895 HAS SOUS 110280 HAS SOUPS 74483 WITH SCORE 74730.233
AT ITER 1657 NEW BEST:: SOT 385803 SOS 246507 HAS SOPS 210471 HAS SOUS 109870 HAS SOUPS 74375 WITH SCORE 74621.507
AT ITER 1660 NEW BEST:: SOT 385685 SOS 246389 HAS SOPS 210353 HAS SOUS 109774 HAS SOUPS 74279 WITH SCORE 74525.389
AT ITER 1669 NEW BEST:: SOT 385564 SOS 246147 HAS SOPS 210111 HAS SOUS 109532 HAS SOUPS 74037 WITH SCORE 74283.147
AT ITER 1670 NEW BEST:: SOT 385212 SOS 245577 HAS SOPS 209759 HAS SOUS 109288 HAS SOUPS 74011 WITH SCORE 74256.577
AT ITER 1679 NEW BEST:: SOT 384949 SOS 245266 HAS SOPS 209363 HAS SOUS 109025 HAS SOUPS 73663 WITH SCORE 73908.266
AT ITER 1681 NEW BEST:: SOT 384960 SOS 245277 HAS SOPS 209374 HAS SOUS 109011 HAS SOUPS 73649 WITH SCORE 73894.277
AT ITER 1690 NEW BEST:: SOT 384903 SOS 245220 HAS SOPS 209317 HAS SOUS 108954 HAS SOUPS 73592 WITH SCORE 73837.22
AT ITER 1699 NEW BEST:: SOT 384897 SOS 245214 HAS SOPS 209311 HAS SOUS 108942 HAS SOUPS 73580 WITH SCORE 73825.214
AT ITER 1704 NEW BEST:: SOT 384897 SOS 245165 HAS SOPS 209311 HAS SOUS 108942 HAS SOUPS 73580 WITH SCORE 73825.165
AT ITER 1712 NEW BEST:: SOT 384751 SOS 245019 HAS SOPS 209165 HAS SOUS 108796 HAS SOUPS 73434 WITH SCORE 73679.019
AT ITER 1717 NEW BEST:: SOT 384658 SOS 244926 HAS SOPS 209072 HAS SOUS 108716 HAS SOUPS 73354 WITH SCORE 73598.926
AT ITER 1724 NEW BEST:: SOT 384658 SOS 244926 HAS SOPS 209072 HAS SOUS 108696 HAS SOUPS 73334 WITH SCORE 73578.926
AT ITER 1730 NEW BEST:: SOT 384562 SOS 244830 HAS SOPS 208976 HAS SOUS 108600 HAS SOUPS 73238 WITH SCORE 73482.83
AT ITER 1742 NEW BEST:: SOT 384484 SOS 244752 HAS SOPS 208898 HAS SOUS 108522 HAS SOUPS 73160 WITH SCORE 73404.752
AT ITER 1743 NEW BEST:: SOT 384365 SOS 244516 HAS SOPS 208779 HAS SOUS 108403 HAS SOUPS 73158 WITH SCORE 73402.516
AT ITER 1747 NEW BEST:: SOT 384266 SOS 244515 HAS SOPS 208778 HAS SOUS 108368 HAS SOUPS 73123 WITH SCORE 73367.515
AT ITER 1755 NEW BEST:: SOT 384262 SOS 244511 HAS SOPS 208770 HAS SOUS 108364 HAS SOUPS 73115 WITH SCORE 73359.511
AT ITER 1756 NEW BEST:: SOT 384259 SOS 244508 HAS SOPS 208767 HAS SOUS 108364 HAS SOUPS 73115 WITH SCORE 73359.508
AT ITER 1765 NEW BEST:: SOT 384197 SOS 244446 HAS SOPS 208705 HAS SOUS 108302 HAS SOUPS 73053 WITH SCORE 73297.446
AT ITER 1770 NEW BEST:: SOT 384141 SOS 244390 HAS SOPS 208707 HAS SOUS 108192 HAS SOUPS 73001 WITH SCORE 73245.39
AT ITER 1771 NEW BEST:: SOT 384042 SOS 244291 HAS SOPS 208608 HAS SOUS 108093 HAS SOUPS 72902 WITH SCORE 73146.291
AT ITER 1773 NEW BEST:: SOT 384042 SOS 244291 HAS SOPS 208238 HAS SOUS 108093 HAS SOUPS 72532 WITH SCORE 72776.291
AT ITER 1777 NEW BEST:: SOT 383418 SOS 243468 HAS SOPS 207708 HAS SOUS 107710 HAS SOUPS 72442 WITH SCORE 72685.468
AT ITER 1779 NEW BEST:: SOT 383413 SOS 243463 HAS SOPS 207703 HAS SOUS 107700 HAS SOUPS 72432 WITH SCORE 72675.463
AT ITER 1790 NEW BEST:: SOT 383131 SOS 243181 HAS SOPS 207421 HAS SOUS 107360 HAS SOUPS 72092 WITH SCORE 72335.181
AT ITER 1791 NEW BEST:: SOT 383074 SOS 243124 HAS SOPS 207364 HAS SOUS 107258 HAS SOUPS 71990 WITH SCORE 72233.124
AT ITER 1792 NEW BEST:: SOT 383074 SOS 243124 HAS SOPS 207364 HAS SOUS 107249 HAS SOUPS 71981 WITH SCORE 72224.124
AT ITER 1795 NEW BEST:: SOT 383146 SOS 243233 HAS SOPS 207273 HAS SOUS 107321 HAS SOUPS 71853 WITH SCORE 72096.233
AT ITER 1803 NEW BEST:: SOT 383063 SOS 243150 HAS SOPS 207190 HAS SOUS 107238 HAS SOUPS 71770 WITH SCORE 72013.15
AT ITER 1813 NEW BEST:: SOT 383054 SOS 243141 HAS SOPS 207181 HAS SOUS 107222 HAS SOUPS 71754 WITH SCORE 71997.141
AT ITER 1814 NEW BEST:: SOT 383178 SOS 243265 HAS SOPS 207305 HAS SOUS 107208 HAS SOUPS 71740 WITH SCORE 71983.265
AT ITER 1819 NEW BEST:: SOT 383204 SOS 243303 HAS SOPS 207331 HAS SOUS 107103 HAS SOUPS 71623 WITH SCORE 71866.303
AT ITER 1823 NEW BEST:: SOT 383165 SOS 243264 HAS SOPS 207292 HAS SOUS 107054 HAS SOUPS 71574 WITH SCORE 71817.264
AT ITER 1862 NEW BEST:: SOT 382608 SOS 242475 HAS SOPS 206756 HAS SOUS 106677 HAS SOUPS 71450 WITH SCORE 71692.475
AT ITER 1863 NEW BEST:: SOT 382561 SOS 242411 HAS SOPS 206679 HAS SOUS 106613 HAS SOUPS 71373 WITH SCORE 71615.411
AT ITER 1867 NEW BEST:: SOT 382554 SOS 242404 HAS SOPS 206672 HAS SOUS 106599 HAS SOUPS 71359 WITH SCORE 71601.404
AT ITER 1868 NEW BEST:: SOT 382491 SOS 242341 HAS SOPS 206609 HAS SOUS 106509 HAS SOUPS 71269 WITH SCORE 71511.341
AT ITER 1875 NEW BEST:: SOT 382528 SOS 242466 HAS SOPS 206646 HAS SOUS 106458 HAS SOUPS 71130 WITH SCORE 71372.466
AT ITER 1881 NEW BEST:: SOT 382522 SOS 242460 HAS SOPS 206640 HAS SOUS 106446 HAS SOUPS 71118 WITH SCORE 71360.46
AT ITER 1882 NEW BEST:: SOT 382506 SOS 242444 HAS SOPS 206587 HAS SOUS 106467 HAS SOUPS 71102 WITH SCORE 71344.444
AT ITER 1890 NEW BEST:: SOT 382441 SOS 242379 HAS SOPS 206522 HAS SOUS 106402 HAS SOUPS 71037 WITH SCORE 71279.379
AT ITER 1891 NEW BEST:: SOT 382441 SOS 242374 HAS SOPS 206517 HAS SOUS 106402 HAS SOUPS 71037 WITH SCORE 71279.374
AT ITER 1900 NEW BEST:: SOT 382382 SOS 242315 HAS SOPS 206458 HAS SOUS 106343 HAS SOUPS 70978 WITH SCORE 71220.315
AT ITER 1906 NEW BEST:: SOT 382356 SOS 242276 HAS SOPS 206432 HAS SOUS 106304 HAS SOUPS 70952 WITH SCORE 71194.276
AT ITER 1907 NEW BEST:: SOT 382399 SOS 242482 HAS SOPS 206475 HAS SOUS 106227 HAS SOUPS 70712 WITH SCORE 70954.482
AT ITER 1908 NEW BEST:: SOT 382299 SOS 242382 HAS SOPS 206439 HAS SOUS 105936 HAS SOUPS 70485 WITH SCORE 70727.382
AT ITER 1917 NEW BEST:: SOT 382296 SOS 242379 HAS SOPS 206436 HAS SOUS 105930 HAS SOUPS 70479 WITH SCORE 70721.379
AT ITER 1918 NEW BEST:: SOT 382291 SOS 242374 HAS SOPS 206431 HAS SOUS 105930 HAS SOUPS 70479 WITH SCORE 70721.374
AT ITER 1921 NEW BEST:: SOT 382225 SOS 242308 HAS SOPS 206365 HAS SOUS 105864 HAS SOUPS 70413 WITH SCORE 70655.308
AT ITER 1927 NEW BEST:: SOT 382225 SOS 242352 HAS SOPS 206321 HAS SOUS 105864 HAS SOUPS 70325 WITH SCORE 70567.352
AT ITER 1928 NEW BEST:: SOT 382115 SOS 242242 HAS SOPS 206291 HAS SOUS 105754 HAS SOUPS 70295 WITH SCORE 70537.242
AT ITER 1936 NEW BEST:: SOT 382107 SOS 242234 HAS SOPS 206296 HAS SOUS 105725 HAS SOUPS 70279 WITH SCORE 70521.234
AT ITER 1938 NEW BEST:: SOT 382225 SOS 242352 HAS SOPS 206414 HAS SOUS 105660 HAS SOUPS 70214 WITH SCORE 70456.352
AT ITER 1945 NEW BEST:: SOT 381814 SOS 251292 HAS SOPS 215421 HAS SOUS 105249 HAS SOUPS 69870 WITH SCORE 70121.292
AT ITER 1965 NEW BEST:: SOT 381810 SOS 251113 HAS SOPS 215030 HAS SOUS 105342 HAS SOUPS 69751 WITH SCORE 70002.113
AT ITER 1972 NEW BEST:: SOT 368082 SOS 240957 HAS SOPS 204914 HAS SOUS 91782 HAS SOUPS 56231 WITH SCORE 56471.957
AT ITER 1978 NEW BEST:: SOT 367606 SOS 240481 HAS SOPS 204507 HAS SOUS 91622 HAS SOUPS 56140 WITH SCORE 56380.481
AT ITER 1984 NEW BEST:: SOT 367397 SOS 240272 HAS SOPS 204298 HAS SOUS 91528 HAS SOUPS 56046 WITH SCORE 56286.272
AT ITER 1985 NEW BEST:: SOT 367385 SOS 240260 HAS SOPS 204286 HAS SOUS 91504 HAS SOUPS 56022 WITH SCORE 56262.26
AT ITER 1986 NEW BEST:: SOT 367323 SOS 240198 HAS SOPS 204224 HAS SOUS 91439 HAS SOUPS 55957 WITH SCORE 56197.198
AT ITER 1995 NEW BEST:: SOT 367312 SOS 240187 HAS SOPS 204213 HAS SOUS 91417 HAS SOUPS 55935 WITH SCORE 56175.187
AT ITER 1998 NEW BEST:: SOT 367314 SOS 240189 HAS SOPS 204204 HAS SOUS 91419 HAS SOUPS 55926 WITH SCORE 56166.189
AT ITER 2004 NEW BEST:: SOT 367304 SOS 240179 HAS SOPS 204194 HAS SOUS 91399 HAS SOUPS 55906 WITH SCORE 56146.179
AT ITER 2018 NEW BEST:: SOT 367279 SOS 240154 HAS SOPS 204169 HAS SOUS 91381 HAS SOUPS 55888 WITH SCORE 56128.154
AT ITER 2022 NEW BEST:: SOT 367279 SOS 240032 HAS SOPS 204042 HAS SOUS 91386 HAS SOUPS 55888 WITH SCORE 56128.032
AT ITER 2023 NEW BEST:: SOT 367277 SOS 240030 HAS SOPS 204040 HAS SOUS 91382 HAS SOUPS 55884 WITH SCORE 56124.03
AT ITER 2027 NEW BEST:: SOT 367277 SOS 240030 HAS SOPS 204040 HAS SOUS 91374 HAS SOUPS 55876 WITH SCORE 56116.03
AT ITER 2050 NEW BEST:: SOT 367346 SOS 240180 HAS SOPS 204109 HAS SOUS 91402 HAS SOUPS 55823 WITH SCORE 56063.18
AT ITER 2051 NEW BEST:: SOT 367346 SOS 240195 HAS SOPS 204088 HAS SOUS 91326 HAS SOUPS 55711 WITH SCORE 55951.195
AT ITER 2052 NEW BEST:: SOT 367346 SOS 240195 HAS SOPS 204088 HAS SOUS 91307 HAS SOUPS 55692 WITH SCORE 55932.195
AT ITER 2054 NEW BEST:: SOT 367334 SOS 240183 HAS SOPS 204076 HAS SOUS 91283 HAS SOUPS 55668 WITH SCORE 55908.183
AT ITER 2063 NEW BEST:: SOT 367350 SOS 240229 HAS SOPS 204092 HAS SOUS 91280 HAS SOUPS 55635 WITH SCORE 55875.229
AT ITER 2072 NEW BEST:: SOT 367350 SOS 240229 HAS SOPS 204092 HAS SOUS 91232 HAS SOUPS 55587 WITH SCORE 55827.229
AT ITER 2075 NEW BEST:: SOT 367346 SOS 240221 HAS SOPS 204088 HAS SOUS 91228 HAS SOUPS 55587 WITH SCORE 55827.221
AT ITER 2080 NEW BEST:: SOT 366895 SOS 239716 HAS SOPS 203637 HAS SOUS 90777 HAS SOUPS 55190 WITH SCORE 55429.716
AT ITER 2097 NEW BEST:: SOT 366848 SOS 239669 HAS SOPS 203590 HAS SOUS 90683 HAS SOUPS 55096 WITH SCORE 55335.669
AT ITER 2100 NEW BEST:: SOT 366830 SOS 239651 HAS SOPS 203572 HAS SOUS 90665 HAS SOUPS 55078 WITH SCORE 55317.651
AT ITER 2102 NEW BEST:: SOT 367084 SOS 239981 HAS SOPS 203700 HAS SOUS 90852 HAS SOUPS 55063 WITH SCORE 55302.981
AT ITER 2123 NEW BEST:: SOT 367033 SOS 239930 HAS SOPS 203649 HAS SOUS 90782 HAS SOUPS 54993 WITH SCORE 55232.93
AT ITER 2130 NEW BEST:: SOT 366887 SOS 239784 HAS SOPS 203503 HAS SOUS 90490 HAS SOUPS 54701 WITH SCORE 54940.784
AT ITER 2138 NEW BEST:: SOT 366887 SOS 239782 HAS SOPS 203501 HAS SOUS 90490 HAS SOUPS 54701 WITH SCORE 54940.782
AT ITER 2163 NEW BEST:: SOT 365015 SOS 278539 HAS SOPS 242543 HAS SOUS 88903 HAS SOUPS 53399 WITH SCORE 53677.539
AT ITER 2168 NEW BEST:: SOT 364947 SOS 278471 HAS SOPS 242475 HAS SOUS 88798 HAS SOUPS 53294 WITH SCORE 53572.471
AT ITER 2170 NEW BEST:: SOT 365072 SOS 278804 HAS SOPS 242392 HAS SOUS 88923 HAS SOUPS 53003 WITH SCORE 53281.804
AT ITER 2171 NEW BEST:: SOT 365021 SOS 278753 HAS SOPS 242341 HAS SOUS 88821 HAS SOUPS 52901 WITH SCORE 53179.753
AT ITER 2175 NEW BEST:: SOT 364959 SOS 278691 HAS SOPS 242279 HAS SOUS 88697 HAS SOUPS 52777 WITH SCORE 53055.691
AT ITER 2176 NEW BEST:: SOT 364860 SOS 278592 HAS SOPS 242180 HAS SOUS 88501 HAS SOUPS 52581 WITH SCORE 52859.592
AT ITER 2190 NEW BEST:: SOT 364858 SOS 278590 HAS SOPS 242178 HAS SOUS 88497 HAS SOUPS 52577 WITH SCORE 52855.59
AT ITER 2193 NEW BEST:: SOT 364858 SOS 278585 HAS SOPS 242152 HAS SOUS 88484 HAS SOUPS 52551 WITH SCORE 52829.585
AT ITER 2202 NEW BEST:: SOT 364794 SOS 278521 HAS SOPS 242088 HAS SOUS 88456 HAS SOUPS 52523 WITH SCORE 52801.521
AT ITER 2222 NEW BEST:: SOT 364774 SOS 278641 HAS SOPS 242129 HAS SOUS 88495 HAS SOUPS 52483 WITH SCORE 52761.641
AT ITER 2226 NEW BEST:: SOT 364746 SOS 278613 HAS SOPS 242020 HAS SOUS 88564 HAS SOUPS 52471 WITH SCORE 52749.613
AT ITER 2239 NEW BEST:: SOT 364046 SOS 277786 HAS SOPS 241320 HAS SOUS 87864 HAS SOUPS 51898 WITH SCORE 52175.786
AT ITER 2240 NEW BEST:: SOT 363967 SOS 277707 HAS SOPS 241241 HAS SOUS 87816 HAS SOUPS 51850 WITH SCORE 52127.707
AT ITER 2246 NEW BEST:: SOT 363825 SOS 277565 HAS SOPS 241099 HAS SOUS 87674 HAS SOUPS 51708 WITH SCORE 51985.565
AT ITER 2260 NEW BEST:: SOT 363816 SOS 277495 HAS SOPS 241090 HAS SOUS 87626 HAS SOUPS 51690 WITH SCORE 51967.495
AT ITER 2262 NEW BEST:: SOT 363816 SOS 277460 HAS SOPS 241090 HAS SOUS 87626 HAS SOUPS 51690 WITH SCORE 51967.46
AT ITER 2264 NEW BEST:: SOT 363816 SOS 277429 HAS SOPS 241090 HAS SOUS 87595 HAS SOUPS 51690 WITH SCORE 51967.429
AT ITER 2275 NEW BEST:: SOT 364004 SOS 277617 HAS SOPS 241209 HAS SOUS 87563 HAS SOUPS 51589 WITH SCORE 51866.617
AT ITER 2285 NEW BEST:: SOT 363965 SOS 277578 HAS SOPS 241170 HAS SOUS 87485 HAS SOUPS 51511 WITH SCORE 51788.578
AT ITER 2292 NEW BEST:: SOT 363946 SOS 277363 HAS SOPS 241151 HAS SOUS 87251 HAS SOUPS 51473 WITH SCORE 51750.363
AT ITER 2301 NEW BEST:: SOT 364008 SOS 277505 HAS SOPS 241213 HAS SOUS 87313 HAS SOUPS 51443 WITH SCORE 51720.505
AT ITER 2302 NEW BEST:: SOT 364008 SOS 277505 HAS SOPS 241213 HAS SOUS 87284 HAS SOUPS 51414 WITH SCORE 51691.505
AT ITER 2306 NEW BEST:: SOT 363908 SOS 277405 HAS SOPS 241175 HAS SOUS 87141 HAS SOUPS 51333 WITH SCORE 51610.405
AT ITER 2307 NEW BEST:: SOT 363927 SOS 277424 HAS SOPS 241194 HAS SOUS 87129 HAS SOUPS 51321 WITH SCORE 51598.424
AT ITER 2314 NEW BEST:: SOT 363924 SOS 277421 HAS SOPS 241188 HAS SOUS 87126 HAS SOUPS 51315 WITH SCORE 51592.421
AT ITER 2326 NEW BEST:: SOT 363919 SOS 277416 HAS SOPS 241183 HAS SOUS 87111 HAS SOUPS 51300 WITH SCORE 51577.416
AT ITER 2358 NEW BEST:: SOT 363919 SOS 277385 HAS SOPS 241121 HAS SOUS 87080 HAS SOUPS 51238 WITH SCORE 51515.385
AT ITER 2369 NEW BEST:: SOT 363829 SOS 277295 HAS SOPS 241031 HAS SOUS 87080 HAS SOUPS 51238 WITH SCORE 51515.295
AT ITER 2372 NEW BEST:: SOT 363816 SOS 277282 HAS SOPS 241018 HAS SOUS 87053 HAS SOUPS 51211 WITH SCORE 51488.282
AT ITER 2388 NEW BEST:: SOT 363816 SOS 277282 HAS SOPS 241018 HAS SOUS 87050 HAS SOUPS 51208 WITH SCORE 51485.282
AT ITER 2392 NEW BEST:: SOT 363816 SOS 277177 HAS SOPS 240913 HAS SOUS 87050 HAS SOUPS 51208 WITH SCORE 51485.177
AT ITER 2396 NEW BEST:: SOT 363616 SOS 276908 HAS SOPS 240713 HAS SOUS 86884 HAS SOUPS 51111 WITH SCORE 51387.908
AT ITER 2404 NEW BEST:: SOT 363587 SOS 276879 HAS SOPS 240655 HAS SOUS 86855 HAS SOUPS 51053 WITH SCORE 51329.879
AT ITER 2418 NEW BEST:: SOT 362040 SOS 275332 HAS SOPS 239108 HAS SOUS 85240 HAS SOUPS 49438 WITH SCORE 49713.332
AT ITER 2428 NEW BEST:: SOT 361970 SOS 275262 HAS SOPS 239038 HAS SOUS 85228 HAS SOUPS 49426 WITH SCORE 49701.262
AT ITER 2438 NEW BEST:: SOT 361970 SOS 275211 HAS SOPS 239038 HAS SOUS 85177 HAS SOUPS 49426 WITH SCORE 49701.211
AT ITER 2452 NEW BEST:: SOT 361798 SOS 275039 HAS SOPS 238866 HAS SOUS 84919 HAS SOUPS 49168 WITH SCORE 49443.039
AT ITER 2454 NEW BEST:: SOT 361781 SOS 275022 HAS SOPS 238849 HAS SOUS 84919 HAS SOUPS 49168 WITH SCORE 49443.022
AT ITER 2460 NEW BEST:: SOT 361765 SOS 275006 HAS SOPS 238833 HAS SOUS 84903 HAS SOUPS 49152 WITH SCORE 49427.006
AT ITER 2473 NEW BEST:: SOT 361751 SOS 274992 HAS SOPS 238819 HAS SOUS 84875 HAS SOUPS 49124 WITH SCORE 49398.992
AT ITER 2474 NEW BEST:: SOT 361747 SOS 274988 HAS SOPS 238815 HAS SOUS 84867 HAS SOUPS 49116 WITH SCORE 49390.988
AT ITER 2479 NEW BEST:: SOT 361777 SOS 275065 HAS SOPS 238845 HAS SOUS 84880 HAS SOUPS 49082 WITH SCORE 49357.065
AT ITER 2483 NEW BEST:: SOT 361736 SOS 275024 HAS SOPS 238804 HAS SOUS 84874 HAS SOUPS 49076 WITH SCORE 49351.024
AT ITER 2506 NEW BEST:: SOT 361720 SOS 275008 HAS SOPS 238788 HAS SOUS 84874 HAS SOUPS 49076 WITH SCORE 49351.008
AT ITER 2511 NEW BEST:: SOT 361710 SOS 274998 HAS SOPS 238778 HAS SOUS 84854 HAS SOUPS 49056 WITH SCORE 49330.998
AT ITER 2517 NEW BEST:: SOT 361424 SOS 274712 HAS SOPS 238492 HAS SOUS 84721 HAS SOUPS 48923 WITH SCORE 49197.712
AT ITER 2518 NEW BEST:: SOT 361102 SOS 274016 HAS SOPS 238170 HAS SOUS 84399 HAS SOUPS 48788 WITH SCORE 49062.016
AT ITER 2523 NEW BEST:: SOT 361037 SOS 273951 HAS SOPS 238149 HAS SOUS 84321 HAS SOUPS 48754 WITH SCORE 49027.951
AT ITER 2524 NEW BEST:: SOT 361037 SOS 273951 HAS SOPS 238149 HAS SOUS 84234 HAS SOUPS 48667 WITH SCORE 48940.951
AT ITER 2530 NEW BEST:: SOT 360729 SOS 273569 HAS SOPS 237915 HAS SOUS 84015 HAS SOUPS 48596 WITH SCORE 48869.569
AT ITER 2546 NEW BEST:: SOT 360512 SOS 273352 HAS SOPS 237698 HAS SOUS 84015 HAS SOUPS 48596 WITH SCORE 48869.352
AT ITER 2552 NEW BEST:: SOT 360508 SOS 273348 HAS SOPS 237690 HAS SOUS 84011 HAS SOUPS 48588 WITH SCORE 48861.348
AT ITER 2554 NEW BEST:: SOT 360270 SOS 273110 HAS SOPS 237452 HAS SOUS 83534 HAS SOUPS 48111 WITH SCORE 48384.11
AT ITER 2557 NEW BEST:: SOT 360478 SOS 273452 HAS SOPS 237660 HAS SOUS 83651 HAS SOUPS 48094 WITH SCORE 48367.452
AT ITER 2560 NEW BEST:: SOT 360402 SOS 273376 HAS SOPS 237584 HAS SOUS 83503 HAS SOUPS 47946 WITH SCORE 48219.376
AT ITER 2569 NEW BEST:: SOT 360114 SOS 273088 HAS SOPS 237296 HAS SOUS 83313 HAS SOUPS 47756 WITH SCORE 48029.088
AT ITER 2571 NEW BEST:: SOT 360021 SOS 272995 HAS SOPS 237203 HAS SOUS 83127 HAS SOUPS 47570 WITH SCORE 47842.995
AT ITER 2572 NEW BEST:: SOT 360001 SOS 272975 HAS SOPS 237183 HAS SOUS 83127 HAS SOUPS 47570 WITH SCORE 47842.975
AT ITER 2576 NEW BEST:: SOT 359958 SOS 272932 HAS SOPS 237100 HAS SOUS 83084 HAS SOUPS 47487 WITH SCORE 47759.932
AT ITER 2581 NEW BEST:: SOT 359949 SOS 272923 HAS SOPS 237091 HAS SOUS 83075 HAS SOUPS 47478 WITH SCORE 47750.923
AT ITER 2585 NEW BEST:: SOT 359629 SOS 272603 HAS SOPS 236771 HAS SOUS 82903 HAS SOUPS 47306 WITH SCORE 47578.603
AT ITER 2598 NEW BEST:: SOT 359415 SOS 272389 HAS SOPS 236612 HAS SOUS 82681 HAS SOUPS 47139 WITH SCORE 47411.389
AT ITER 2607 NEW BEST:: SOT 359371 SOS 272345 HAS SOPS 236568 HAS SOUS 82593 HAS SOUPS 47051 WITH SCORE 47323.345
AT ITER 2609 NEW BEST:: SOT 359370 SOS 272344 HAS SOPS 236567 HAS SOUS 82591 HAS SOUPS 47049 WITH SCORE 47321.344
AT ITER 2610 NEW BEST:: SOT 359437 SOS 272481 HAS SOPS 236620 HAS SOUS 82647 HAS SOUPS 47021 WITH SCORE 47293.481
AT ITER 2620 NEW BEST:: SOT 359386 SOS 272430 HAS SOPS 236569 HAS SOUS 82545 HAS SOUPS 46919 WITH SCORE 47191.43
AT ITER 2621 NEW BEST:: SOT 359305 SOS 272349 HAS SOPS 236373 HAS SOUS 82498 HAS SOUPS 46757 WITH SCORE 47029.349
AT ITER 2629 NEW BEST:: SOT 359305 SOS 265749 HAS SOPS 229740 HAS SOUS 82465 HAS SOUPS 46691 WITH SCORE 46956.749
AT ITER 2633 NEW BEST:: SOT 359319 SOS 264500 HAS SOPS 228477 HAS SOUS 82465 HAS SOUPS 46677 WITH SCORE 46941.5
AT ITER 2658 NEW BEST:: SOT 359348 SOS 264529 HAS SOPS 228506 HAS SOUS 82458 HAS SOUPS 46670 WITH SCORE 46934.529
AT ITER 2693 NEW BEST:: SOT 359333 SOS 264514 HAS SOPS 228491 HAS SOUS 82428 HAS SOUPS 46640 WITH SCORE 46904.514
AT ITER 2697 NEW BEST:: SOT 359263 SOS 264444 HAS SOPS 228421 HAS SOUS 82358 HAS SOUPS 46570 WITH SCORE 46834.444
AT ITER 2702 NEW BEST:: SOT 359217 SOS 264398 HAS SOPS 228375 HAS SOUS 82312 HAS SOUPS 46524 WITH SCORE 46788.398
AT ITER 2705 NEW BEST:: SOT 359195 SOS 264376 HAS SOPS 228353 HAS SOUS 82290 HAS SOUPS 46502 WITH SCORE 46766.376
AT ITER 2708 NEW BEST:: SOT 359152 SOS 264333 HAS SOPS 228274 HAS SOUS 82247 HAS SOUPS 46423 WITH SCORE 46687.333
AT ITER 2719 NEW BEST:: SOT 359147 SOS 264328 HAS SOPS 228269 HAS SOUS 82233 HAS SOUPS 46409 WITH SCORE 46673.328
AT ITER 2721 NEW BEST:: SOT 359164 SOS 264362 HAS SOPS 228286 HAS SOUS 82233 HAS SOUPS 46392 WITH SCORE 46656.362
AT ITER 2725 NEW BEST:: SOT 358919 SOS 264041 HAS SOPS 228117 HAS SOUS 81988 HAS SOUPS 46299 WITH SCORE 46563.041
AT ITER 2731 NEW BEST:: SOT 358770 SOS 263892 HAS SOPS 228019 HAS SOUS 81854 HAS SOUPS 46216 WITH SCORE 46479.892
AT ITER 2747 NEW BEST:: SOT 358675 SOS 263797 HAS SOPS 227924 HAS SOUS 81664 HAS SOUPS 46026 WITH SCORE 46289.797
AT ITER 2756 NEW BEST:: SOT 358662 SOS 263733 HAS SOPS 227847 HAS SOUS 81651 HAS SOUPS 46000 WITH SCORE 46263.733
AT ITER 2758 NEW BEST:: SOT 358602 SOS 263673 HAS SOPS 227787 HAS SOUS 81531 HAS SOUPS 45880 WITH SCORE 46143.673
AT ITER 2783 NEW BEST:: SOT 358493 SOS 263564 HAS SOPS 227678 HAS SOUS 81513 HAS SOUPS 45862 WITH SCORE 46125.564
AT ITER 2808 NEW BEST:: SOT 358486 SOS 263557 HAS SOPS 227671 HAS SOUS 81499 HAS SOUPS 45848 WITH SCORE 46111.557
AT ITER 2810 NEW BEST:: SOT 358544 SOS 263615 HAS SOPS 227729 HAS SOUS 81319 HAS SOUPS 45668 WITH SCORE 45931.615
AT ITER 2814 NEW BEST:: SOT 358124 SOS 262998 HAS SOPS 227311 HAS SOUS 80924 HAS SOUPS 45470 WITH SCORE 45732.998
AT ITER 2815 NEW BEST:: SOT 358121 SOS 262995 HAS SOPS 227334 HAS SOUS 80892 HAS SOUPS 45464 WITH SCORE 45726.995
AT ITER 2820 NEW BEST:: SOT 357554 SOS 262225 HAS SOPS 226767 HAS SOUS 80664 HAS SOUPS 45439 WITH SCORE 45701.225
AT ITER 2838 NEW BEST:: SOT 357516 SOS 262187 HAS SOPS 226729 HAS SOUS 80624 HAS SOUPS 45399 WITH SCORE 45661.187
AT ITER 2840 NEW BEST:: SOT 357444 SOS 262115 HAS SOPS 226657 HAS SOUS 80624 HAS SOUPS 45399 WITH SCORE 45661.115
AT ITER 2848 NEW BEST:: SOT 357439 SOS 262110 HAS SOPS 226652 HAS SOUS 80624 HAS SOUPS 45399 WITH SCORE 45661.11
AT ITER 2851 NEW BEST:: SOT 357319 SOS 265278 HAS SOPS 229853 HAS SOUS 80504 HAS SOUPS 45312 WITH SCORE 45577.278
AT ITER 2852 NEW BEST:: SOT 357315 SOS 265274 HAS SOPS 229849 HAS SOUS 80496 HAS SOUPS 45304 WITH SCORE 45569.274
AT ITER 2862 NEW BEST:: SOT 357123 SOS 265082 HAS SOPS 229657 HAS SOUS 80304 HAS SOUPS 45112 WITH SCORE 45377.082
AT ITER 2877 NEW BEST:: SOT 357278 SOS 265373 HAS SOPS 229794 HAS SOUS 80424 HAS SOUPS 45078 WITH SCORE 45343.373
AT ITER 2884 NEW BEST:: SOT 357258 SOS 265353 HAS SOPS 229774 HAS SOUS 80384 HAS SOUPS 45038 WITH SCORE 45303.353
AT ITER 2886 NEW BEST:: SOT 357214 SOS 265296 HAS SOPS 229730 HAS SOUS 80349 HAS SOUPS 45016 WITH SCORE 45281.296
AT ITER 2890 NEW BEST:: SOT 357214 SOS 265436 HAS SOPS 229581 HAS SOUS 80340 HAS SOUPS 44718 WITH SCORE 44983.436
AT ITER 2898 NEW BEST:: SOT 357408 SOS 265640 HAS SOPS 229633 HAS SOUS 80408 HAS SOUPS 44682 WITH SCORE 44947.64
AT ITER 2921 NEW BEST:: SOT 356610 SOS 264871 HAS SOPS 228864 HAS SOUS 79639 HAS SOUPS 43913 WITH SCORE 44177.871
AT ITER 2929 NEW BEST:: SOT 356559 SOS 264820 HAS SOPS 228858 HAS SOUS 79572 HAS SOUPS 43891 WITH SCORE 44155.82
AT ITER 2942 NEW BEST:: SOT 356559 SOS 264815 HAS SOPS 228858 HAS SOUS 79572 HAS SOUPS 43891 WITH SCORE 44155.815
AT ITER 2967 NEW BEST:: SOT 356186 SOS 264202 HAS SOPS 228497 HAS SOUS 79218 HAS SOUPS 43789 WITH SCORE 44053.202
AT ITER 2968 NEW BEST:: SOT 356186 SOS 264202 HAS SOPS 228497 HAS SOUS 79186 HAS SOUPS 43757 WITH SCORE 44021.202
AT ITER 2969 NEW BEST:: SOT 355674 SOS 263458 HAS SOPS 227987 HAS SOUS 78895 HAS SOUPS 43700 WITH SCORE 43963.458
AT ITER 2977 NEW BEST:: SOT 355494 SOS 263256 HAS SOPS 227807 HAS SOUS 78722 HAS SOUPS 43549 WITH SCORE 43812.256
AT ITER 2978 NEW BEST:: SOT 355314 SOS 263061 HAS SOPS 227627 HAS SOUS 78542 HAS SOUPS 43384 WITH SCORE 43647.061
AT ITER 2982 NEW BEST:: SOT 355271 SOS 263018 HAS SOPS 227584 HAS SOUS 78456 HAS SOUPS 43298 WITH SCORE 43561.018
AT ITER 2989 NEW BEST:: SOT 355257 SOS 262994 HAS SOPS 227570 HAS SOUS 78428 HAS SOUPS 43280 WITH SCORE 43542.994
AT ITER 2992 NEW BEST:: SOT 355144 SOS 262800 HAS SOPS 227457 HAS SOUS 78323 HAS SOUPS 43266 WITH SCORE 43528.8
AT ITER 2993 NEW BEST:: SOT 354979 SOS 262635 HAS SOPS 227292 HAS SOUS 78168 HAS SOUPS 43111 WITH SCORE 43373.635
AT ITER 3000 NEW BEST:: SOT 354827 SOS 262483 HAS SOPS 227140 HAS SOUS 77963 HAS SOUPS 42906 WITH SCORE 43168.483
AT ITER 3018 NEW BEST:: SOT 354793 SOS 262449 HAS SOPS 227106 HAS SOUS 77895 HAS SOUPS 42838 WITH SCORE 43100.449
AT ITER 3023 NEW BEST:: SOT 354643 SOS 262299 HAS SOPS 226956 HAS SOUS 77595 HAS SOUPS 42538 WITH SCORE 42800.299
AT ITER 3042 NEW BEST:: SOT 354633 SOS 262289 HAS SOPS 226946 HAS SOUS 77575 HAS SOUPS 42518 WITH SCORE 42780.289
AT ITER 3052 NEW BEST:: SOT 354385 SOS 261972 HAS SOPS 226698 HAS SOUS 77475 HAS SOUPS 42487 WITH SCORE 42748.972
AT ITER 3074 NEW BEST:: SOT 354393 SOS 262055 HAS SOPS 226706 HAS SOUS 77413 HAS SOUPS 42350 WITH SCORE 42612.055
AT ITER 3076 NEW BEST:: SOT 354515 SOS 259413 HAS SOPS 223866 HAS SOUS 77419 HAS SOUPS 42274 WITH SCORE 42533.413
AT ITER 3079 NEW BEST:: SOT 354515 SOS 259412 HAS SOPS 223866 HAS SOUS 77418 HAS SOUPS 42274 WITH SCORE 42533.412
AT ITER 3080 NEW BEST:: SOT 354457 SOS 259354 HAS SOPS 223671 HAS SOUS 77408 HAS SOUPS 42127 WITH SCORE 42386.354
AT ITER 3094 NEW BEST:: SOT 354441 SOS 259338 HAS SOPS 223655 HAS SOUS 77376 HAS SOUPS 42095 WITH SCORE 42354.338
AT ITER 3096 NEW BEST:: SOT 354418 SOS 259315 HAS SOPS 223632 HAS SOUS 77330 HAS SOUPS 42049 WITH SCORE 42308.315
AT ITER 3126 NEW BEST:: SOT 354372 SOS 259269 HAS SOPS 223586 HAS SOUS 77238 HAS SOUPS 41957 WITH SCORE 42216.269
AT ITER 3143 NEW BEST:: SOT 354371 SOS 259268 HAS SOPS 223585 HAS SOUS 77204 HAS SOUPS 41923 WITH SCORE 42182.268
AT ITER 3151 NEW BEST:: SOT 354344 SOS 259214 HAS SOPS 223558 HAS SOUS 77177 HAS SOUPS 41923 WITH SCORE 42182.214
AT ITER 3152 NEW BEST:: SOT 354262 SOS 259132 HAS SOPS 223476 HAS SOUS 77095 HAS SOUPS 41841 WITH SCORE 42100.132
AT ITER 3159 NEW BEST:: SOT 354151 SOS 258935 HAS SOPS 223340 HAS SOUS 76984 HAS SOUPS 41791 WITH SCORE 42049.935
AT ITER 3176 NEW BEST:: SOT 354006 SOS 261874 HAS SOPS 226374 HAS SOUS 76839 HAS SOUPS 41741 WITH SCORE 42002.874
AT ITER 3181 NEW BEST:: SOT 353845 SOS 261611 HAS SOPS 226213 HAS SOUS 76721 HAS SOUPS 41725 WITH SCORE 41986.611
AT ITER 3196 NEW BEST:: SOT 353375 SOS 260995 HAS SOPS 225743 HAS SOUS 76399 HAS SOUPS 41549 WITH SCORE 41809.995
AT ITER 3197 NEW BEST:: SOT 353378 SOS 261049 HAS SOPS 225746 HAS SOUS 76354 HAS SOUPS 41453 WITH SCORE 41714.049
AT ITER 3198 NEW BEST:: SOT 353362 SOS 261033 HAS SOPS 225824 HAS SOUS 76224 HAS SOUPS 41417 WITH SCORE 41678.033
AT ITER 3209 NEW BEST:: SOT 353331 SOS 261002 HAS SOPS 225793 HAS SOUS 76193 HAS SOUPS 41386 WITH SCORE 41647.002
AT ITER 3236 NEW BEST:: SOT 353275 SOS 260946 HAS SOPS 225783 HAS SOUS 76035 HAS SOUPS 41274 WITH SCORE 41534.946
AT ITER 3250 NEW BEST:: SOT 353253 SOS 260924 HAS SOPS 225761 HAS SOUS 75980 HAS SOUPS 41219 WITH SCORE 41479.924
AT ITER 3256 NEW BEST:: SOT 353138 SOS 261392 HAS SOPS 225646 HAS SOUS 75865 HAS SOUPS 40891 WITH SCORE 41152.392
AT ITER 3268 NEW BEST:: SOT 352737 SOS 260786 HAS SOPS 225295 HAS SOUS 75502 HAS SOUPS 40783 WITH SCORE 41043.786
AT ITER 3270 NEW BEST:: SOT 352718 SOS 260768 HAS SOPS 225277 HAS SOUS 75464 HAS SOUPS 40745 WITH SCORE 41005.768
AT ITER 3278 NEW BEST:: SOT 352668 SOS 260718 HAS SOPS 225227 HAS SOUS 75364 HAS SOUPS 40645 WITH SCORE 40905.718
AT ITER 3285 NEW BEST:: SOT 352288 SOS 260158 HAS SOPS 224882 HAS SOUS 75050 HAS SOUPS 40546 WITH SCORE 40806.158
AT ITER 3294 NEW BEST:: SOT 352277 SOS 260147 HAS SOPS 224871 HAS SOUS 75034 HAS SOUPS 40530 WITH SCORE 40790.147
AT ITER 3297 NEW BEST:: SOT 352210 SOS 260113 HAS SOPS 224837 HAS SOUS 75000 HAS SOUPS 40496 WITH SCORE 40756.113
AT ITER 3299 NEW BEST:: SOT 352146 SOS 260049 HAS SOPS 224773 HAS SOUS 74872 HAS SOUPS 40368 WITH SCORE 40628.049
AT ITER 3307 NEW BEST:: SOT 352145 SOS 260068 HAS SOPS 224792 HAS SOUS 74853 HAS SOUPS 40349 WITH SCORE 40609.068
AT ITER 3309 NEW BEST:: SOT 352117 SOS 260040 HAS SOPS 224736 HAS SOUS 74784 HAS SOUPS 40252 WITH SCORE 40512.04
AT ITER 3311 NEW BEST:: SOT 352117 SOS 260040 HAS SOPS 224736 HAS SOUS 74732 HAS SOUPS 40200 WITH SCORE 40460.04
AT ITER 3342 NEW BEST:: SOT 352130 SOS 260066 HAS SOPS 224749 HAS SOUS 74732 HAS SOUPS 40187 WITH SCORE 40447.066
AT ITER 3343 NEW BEST:: SOT 351975 SOS 259911 HAS SOPS 224615 HAS SOUS 74401 HAS SOUPS 39877 WITH SCORE 40136.911
AT ITER 3346 NEW BEST:: SOT 351937 SOS 259873 HAS SOPS 224577 HAS SOUS 74325 HAS SOUPS 39801 WITH SCORE 40060.873
AT ITER 3356 NEW BEST:: SOT 351920 SOS 259856 HAS SOPS 224560 HAS SOUS 74241 HAS SOUPS 39717 WITH SCORE 39976.856
AT ITER 3359 NEW BEST:: SOT 351929 SOS 259931 HAS SOPS 224526 HAS SOUS 74218 HAS SOUPS 39650 WITH SCORE 39909.931
AT ITER 3361 NEW BEST:: SOT 351735 SOS 259640 HAS SOPS 224332 HAS SOUS 74024 HAS SOUPS 39553 WITH SCORE 39812.64
AT ITER 3365 NEW BEST:: SOT 351642 SOS 259547 HAS SOPS 224239 HAS SOUS 73923 HAS SOUPS 39452 WITH SCORE 39711.547
AT ITER 3377 NEW BEST:: SOT 351517 SOS 259422 HAS SOPS 224114 HAS SOUS 73845 HAS SOUPS 39374 WITH SCORE 39633.422
AT ITER 3385 NEW BEST:: SOT 351814 SOS 259866 HAS SOPS 224411 HAS SOUS 73949 HAS SOUPS 39331 WITH SCORE 39590.866
AT ITER 3394 NEW BEST:: SOT 351814 SOS 259846 HAS SOPS 224391 HAS SOUS 73943 HAS SOUPS 39325 WITH SCORE 39584.846
AT ITER 3405 NEW BEST:: SOT 351811 SOS 259843 HAS SOPS 224388 HAS SOUS 73937 HAS SOUPS 39319 WITH SCORE 39578.843
AT ITER 3411 NEW BEST:: SOT 351786 SOS 259818 HAS SOPS 224363 HAS SOUS 73887 HAS SOUPS 39269 WITH SCORE 39528.818
AT ITER 3451 NEW BEST:: SOT 351748 SOS 259780 HAS SOPS 224325 HAS SOUS 73811 HAS SOUPS 39193 WITH SCORE 39452.78
AT ITER 3459 NEW BEST:: SOT 351645 SOS 259677 HAS SOPS 224222 HAS SOUS 73731 HAS SOUPS 39113 WITH SCORE 39372.677
AT ITER 3483 NEW BEST:: SOT 351633 SOS 259665 HAS SOPS 224210 HAS SOUS 73707 HAS SOUPS 39089 WITH SCORE 39348.665
AT ITER 3485 NEW BEST:: SOT 351067 SOS 258952 HAS SOPS 223796 HAS SOUS 73365 HAS SOUPS 39046 WITH SCORE 39304.952
AT ITER 3487 NEW BEST:: SOT 351067 SOS 258952 HAS SOPS 223796 HAS SOUS 73338 HAS SOUPS 39019 WITH SCORE 39277.952
AT ITER 3507 NEW BEST:: SOT 350998 SOS 258883 HAS SOPS 223727 HAS SOUS 73292 HAS SOUPS 38973 WITH SCORE 39231.883
AT ITER 3518 NEW BEST:: SOT 350973 SOS 258858 HAS SOPS 223702 HAS SOUS 73242 HAS SOUPS 38923 WITH SCORE 39181.858
AT ITER 3555 NEW BEST:: SOT 350926 SOS 258811 HAS SOPS 223655 HAS SOUS 73148 HAS SOUPS 38829 WITH SCORE 39087.811
AT ITER 3568 NEW BEST:: SOT 350865 SOS 258750 HAS SOPS 223594 HAS SOUS 73070 HAS SOUPS 38751 WITH SCORE 39009.75
AT ITER 3574 NEW BEST:: SOT 350826 SOS 258711 HAS SOPS 223555 HAS SOUS 72992 HAS SOUPS 38673 WITH SCORE 38931.711
AT ITER 3584 NEW BEST:: SOT 350761 SOS 258646 HAS SOPS 223490 HAS SOUS 72992 HAS SOUPS 38673 WITH SCORE 38931.646
AT ITER 3595 NEW BEST:: SOT 350761 SOS 258646 HAS SOPS 223490 HAS SOUS 72968 HAS SOUPS 38649 WITH SCORE 38907.646
AT ITER 3614 NEW BEST:: SOT 350761 SOS 258634 HAS SOPS 223474 HAS SOUS 72972 HAS SOUPS 38649 WITH SCORE 38907.634
AT ITER 3616 NEW BEST:: SOT 350761 SOS 258634 HAS SOPS 223474 HAS SOUS 72928 HAS SOUPS 38605 WITH SCORE 38863.634
AT ITER 3617 NEW BEST:: SOT 350567 SOS 258402 HAS SOPS 223318 HAS SOUS 72734 HAS SOUPS 38487 WITH SCORE 38745.402
AT ITER 3642 NEW BEST:: SOT 350544 SOS 258379 HAS SOPS 223295 HAS SOUS 72697 HAS SOUPS 38450 WITH SCORE 38708.379
AT ITER 3660 NEW BEST:: SOT 350485 SOS 258320 HAS SOPS 223267 HAS SOUS 72548 HAS SOUPS 38332 WITH SCORE 38590.32
AT ITER 3663 NEW BEST:: SOT 350261 SOS 257996 HAS SOPS 223043 HAS SOUS 72313 HAS SOUPS 38309 WITH SCORE 38566.996
AT ITER 3677 NEW BEST:: SOT 350194 SOS 257929 HAS SOPS 222976 HAS SOUS 72239 HAS SOUPS 38235 WITH SCORE 38492.929
AT ITER 3703 NEW BEST:: SOT 350087 SOS 257688 HAS SOPS 222896 HAS SOUS 72132 HAS SOUPS 38222 WITH SCORE 38479.688
AT ITER 3705 NEW BEST:: SOT 350096 SOS 257697 HAS SOPS 222905 HAS SOUS 72032 HAS SOUPS 38122 WITH SCORE 38379.697
AT ITER 3710 NEW BEST:: SOT 350086 SOS 257687 HAS SOPS 222895 HAS SOUS 72022 HAS SOUPS 38112 WITH SCORE 38369.687
AT ITER 3724 NEW BEST:: SOT 350054 SOS 257655 HAS SOPS 222863 HAS SOUS 71993 HAS SOUPS 38083 WITH SCORE 38340.655
AT ITER 3733 NEW BEST:: SOT 350063 SOS 257691 HAS SOPS 222845 HAS SOUS 71975 HAS SOUPS 38038 WITH SCORE 38295.691
AT ITER 3737 NEW BEST:: SOT 350063 SOS 257691 HAS SOPS 222845 HAS SOUS 71959 HAS SOUPS 38022 WITH SCORE 38279.691
AT ITER 3738 NEW BEST:: SOT 350063 SOS 257367 HAS SOPS 222845 HAS SOUS 71936 HAS SOUPS 38022 WITH SCORE 38279.367
AT ITER 3751 NEW BEST:: SOT 350018 SOS 257322 HAS SOPS 222755 HAS SOUS 71891 HAS SOUPS 37932 WITH SCORE 38189.322
AT ITER 3754 NEW BEST:: SOT 350016 SOS 257318 HAS SOPS 222753 HAS SOUS 71889 HAS SOUPS 37932 WITH SCORE 38189.318
AT ITER 3759 NEW BEST:: SOT 349991 SOS 257293 HAS SOPS 222728 HAS SOUS 71839 HAS SOUPS 37882 WITH SCORE 38139.293
AT ITER 3760 NEW BEST:: SOT 349965 SOS 257267 HAS SOPS 222702 HAS SOUS 71787 HAS SOUPS 37830 WITH SCORE 38087.267
AT ITER 3763 NEW BEST:: SOT 349965 SOS 257653 HAS SOPS 222702 HAS SOUS 71787 HAS SOUPS 37790 WITH SCORE 38047.653
AT ITER 3783 NEW BEST:: SOT 349796 SOS 257484 HAS SOPS 222533 HAS SOUS 71618 HAS SOUPS 37621 WITH SCORE 37878.484
AT ITER 3787 NEW BEST:: SOT 349672 SOS 257360 HAS SOPS 222347 HAS SOUS 71494 HAS SOUPS 37497 WITH SCORE 37754.36
AT ITER 3788 NEW BEST:: SOT 349618 SOS 257260 HAS SOPS 222293 HAS SOUS 71443 HAS SOUPS 37492 WITH SCORE 37749.26
AT ITER 3795 NEW BEST:: SOT 349561 SOS 257184 HAS SOPS 222245 HAS SOUS 71378 HAS SOUPS 37437 WITH SCORE 37694.184
AT ITER 3803 NEW BEST:: SOT 349527 SOS 257150 HAS SOPS 222177 HAS SOUS 71310 HAS SOUPS 37335 WITH SCORE 37592.15
AT ITER 3824 NEW BEST:: SOT 349527 SOS 257097 HAS SOPS 222177 HAS SOUS 71310 HAS SOUPS 37335 WITH SCORE 37592.097
AT ITER 3844 NEW BEST:: SOT 349507 SOS 257057 HAS SOPS 222157 HAS SOUS 71290 HAS SOUPS 37335 WITH SCORE 37592.057
AT ITER 3851 NEW BEST:: SOT 349510 SOS 257063 HAS SOPS 222160 HAS SOUS 71290 HAS SOUPS 37332 WITH SCORE 37589.063
AT ITER 3853 NEW BEST:: SOT 349249 SOS 256658 HAS SOPS 221920 HAS SOUS 71049 HAS SOUPS 37236 WITH SCORE 37492.658
AT ITER 3859 NEW BEST:: SOT 349255 SOS 256664 HAS SOPS 221926 HAS SOUS 71030 HAS SOUPS 37217 WITH SCORE 37473.664
AT ITER 3872 NEW BEST:: SOT 349120 SOS 256459 HAS SOPS 221791 HAS SOUS 70900 HAS SOUPS 37157 WITH SCORE 37413.459
AT ITER 3880 NEW BEST:: SOT 348947 SOS 256286 HAS SOPS 221735 HAS SOUS 70437 HAS SOUPS 36811 WITH SCORE 37067.286
AT ITER 3892 NEW BEST:: SOT 348964 SOS 256303 HAS SOPS 221752 HAS SOUS 70345 HAS SOUPS 36719 WITH SCORE 36975.303
AT ITER 3900 NEW BEST:: SOT 348842 SOS 256181 HAS SOPS 221630 HAS SOUS 70101 HAS SOUPS 36475 WITH SCORE 36731.181
AT ITER 3901 NEW BEST:: SOT 348842 SOS 256181 HAS SOPS 221630 HAS SOUS 70097 HAS SOUPS 36471 WITH SCORE 36727.181
AT ITER 3917 NEW BEST:: SOT 348819 SOS 256122 HAS SOPS 221607 HAS SOUS 70015 HAS SOUPS 36425 WITH SCORE 36681.122
AT ITER 3918 NEW BEST:: SOT 348410 SOS 255611 HAS SOPS 221300 HAS SOUS 69761 HAS SOUPS 36375 WITH SCORE 36630.611
AT ITER 3921 NEW BEST:: SOT 348284 SOS 255485 HAS SOPS 221174 HAS SOUS 69603 HAS SOUPS 36217 WITH SCORE 36472.485
AT ITER 3926 NEW BEST:: SOT 348098 SOS 255176 HAS SOPS 221021 HAS SOUS 69445 HAS SOUPS 36187 WITH SCORE 36442.176
AT ITER 3934 NEW BEST:: SOT 348068 SOS 255146 HAS SOPS 220991 HAS SOUS 69385 HAS SOUPS 36127 WITH SCORE 36382.146
AT ITER 3946 NEW BEST:: SOT 348002 SOS 255048 HAS SOPS 220925 HAS SOUS 69311 HAS SOUPS 36112 WITH SCORE 36367.048
AT ITER 3963 NEW BEST:: SOT 347889 SOS 254935 HAS SOPS 220819 HAS SOUS 69213 HAS SOUPS 36021 WITH SCORE 36275.935
AT ITER 3972 NEW BEST:: SOT 347889 SOS 254927 HAS SOPS 220819 HAS SOUS 69213 HAS SOUPS 36021 WITH SCORE 36275.927
AT ITER 3975 NEW BEST:: SOT 347856 SOS 254894 HAS SOPS 220786 HAS SOUS 69180 HAS SOUPS 35988 WITH SCORE 36242.894
AT ITER 3992 NEW BEST:: SOT 347841 SOS 254879 HAS SOPS 220695 HAS SOUS 69226 HAS SOUPS 35958 WITH SCORE 36212.879
AT ITER 3993 NEW BEST:: SOT 347835 SOS 254873 HAS SOPS 220683 HAS SOUS 69220 HAS SOUPS 35946 WITH SCORE 36200.873
AT ITER 4000 NEW BEST:: SOT 347886 SOS 254975 HAS SOPS 220683 HAS SOUS 69271 HAS SOUPS 35895 WITH SCORE 36149.975
AT ITER 4011 NEW BEST:: SOT 347836 SOS 254925 HAS SOPS 220633 HAS SOUS 69252 HAS SOUPS 35876 WITH SCORE 36130.925
AT ITER 4024 NEW BEST:: SOT 347784 SOS 254873 HAS SOPS 220581 HAS SOUS 69191 HAS SOUPS 35815 WITH SCORE 36069.873
AT ITER 4042 NEW BEST:: SOT 347678 SOS 256528 HAS SOPS 222273 HAS SOUS 69122 HAS SOUPS 35783 WITH SCORE 36039.528
AT ITER 4054 NEW BEST:: SOT 347637 SOS 256487 HAS SOPS 222232 HAS SOUS 69081 HAS SOUPS 35742 WITH SCORE 35998.487
AT ITER 4073 NEW BEST:: SOT 347716 SOS 256566 HAS SOPS 222232 HAS SOUS 69081 HAS SOUPS 35663 WITH SCORE 35919.566
AT ITER 4084 NEW BEST:: SOT 347706 SOS 256556 HAS SOPS 222222 HAS SOUS 69071 HAS SOUPS 35653 WITH SCORE 35909.556
AT ITER 4094 NEW BEST:: SOT 347690 SOS 256540 HAS SOPS 222206 HAS SOUS 69031 HAS SOUPS 35613 WITH SCORE 35869.54
AT ITER 4095 NEW BEST:: SOT 347594 SOS 256505 HAS SOPS 222110 HAS SOUS 68897 HAS SOUPS 35536 WITH SCORE 35792.505
AT ITER 4104 NEW BEST:: SOT 347558 SOS 256450 HAS SOPS 222074 HAS SOUS 68806 HAS SOUPS 35464 WITH SCORE 35720.45
AT ITER 4106 NEW BEST:: SOT 347518 SOS 256410 HAS SOPS 222034 HAS SOUS 68770 HAS SOUPS 35428 WITH SCORE 35684.41
AT ITER 4110 NEW BEST:: SOT 347489 SOS 256381 HAS SOPS 222005 HAS SOUS 68770 HAS SOUPS 35428 WITH SCORE 35684.381
AT ITER 4156 NEW BEST:: SOT 347407 SOS 256299 HAS SOPS 222084 HAS SOUS 68541 HAS SOUPS 35360 WITH SCORE 35616.299
AT ITER 4159 NEW BEST:: SOT 347344 SOS 256236 HAS SOPS 222021 HAS SOUS 68495 HAS SOUPS 35314 WITH SCORE 35570.236
AT ITER 4173 NEW BEST:: SOT 347266 SOS 256158 HAS SOPS 221943 HAS SOUS 68495 HAS SOUPS 35314 WITH SCORE 35570.158
AT ITER 4174 NEW BEST:: SOT 347184 SOS 256076 HAS SOPS 221861 HAS SOUS 68331 HAS SOUPS 35150 WITH SCORE 35406.076
AT ITER 4203 NEW BEST:: SOT 347159 SOS 256051 HAS SOPS 221863 HAS SOUS 68281 HAS SOUPS 35127 WITH SCORE 35383.051
AT ITER 4205 NEW BEST:: SOT 347466 SOS 256471 HAS SOPS 222057 HAS SOUS 68440 HAS SOUPS 35060 WITH SCORE 35316.471
AT ITER 4212 NEW BEST:: SOT 347456 SOS 256461 HAS SOPS 222047 HAS SOUS 68430 HAS SOUPS 35050 WITH SCORE 35306.461
AT ITER 4222 NEW BEST:: SOT 347451 SOS 256456 HAS SOPS 222042 HAS SOUS 68420 HAS SOUPS 35040 WITH SCORE 35296.456
AT ITER 4227 NEW BEST:: SOT 347416 SOS 256421 HAS SOPS 222007 HAS SOUS 68350 HAS SOUPS 34970 WITH SCORE 35226.421
AT ITER 4229 NEW BEST:: SOT 347376 SOS 256381 HAS SOPS 221967 HAS SOUS 68310 HAS SOUPS 34930 WITH SCORE 35186.381
AT ITER 4231 NEW BEST:: SOT 347317 SOS 256322 HAS SOPS 221908 HAS SOUS 68233 HAS SOUPS 34853 WITH SCORE 35109.322
AT ITER 4245 NEW BEST:: SOT 347311 SOS 256316 HAS SOPS 221902 HAS SOUS 68221 HAS SOUPS 34841 WITH SCORE 35097.316
AT ITER 4248 NEW BEST:: SOT 347064 SOS 255987 HAS SOPS 221737 HAS SOUS 68041 HAS SOUPS 34825 WITH SCORE 35080.987
AT ITER 4249 NEW BEST:: SOT 347023 SOS 255946 HAS SOPS 221696 HAS SOUS 67959 HAS SOUPS 34743 WITH SCORE 34998.946
AT ITER 4253 NEW BEST:: SOT 346928 SOS 255851 HAS SOPS 221601 HAS SOUS 67769 HAS SOUPS 34553 WITH SCORE 34808.851
AT ITER 4272 NEW BEST:: SOT 346908 SOS 255831 HAS SOPS 221581 HAS SOUS 67729 HAS SOUPS 34513 WITH SCORE 34768.831
AT ITER 4279 NEW BEST:: SOT 346290 SOS 254982 HAS SOPS 221053 HAS SOUS 67234 HAS SOUPS 34339 WITH SCORE 34593.982
AT ITER 4284 NEW BEST:: SOT 346287 SOS 254979 HAS SOPS 221050 HAS SOUS 67228 HAS SOUPS 34333 WITH SCORE 34587.979
AT ITER 4291 NEW BEST:: SOT 346287 SOS 254974 HAS SOPS 221050 HAS SOUS 67223 HAS SOUPS 34333 WITH SCORE 34587.974
AT ITER 4306 NEW BEST:: SOT 346108 SOS 254795 HAS SOPS 220871 HAS SOUS 67195 HAS SOUPS 34305 WITH SCORE 34559.795
AT ITER 4328 NEW BEST:: SOT 346266 SOS 255042 HAS SOPS 220959 HAS SOUS 67257 HAS SOUPS 34208 WITH SCORE 34463.042
AT ITER 4412 NEW BEST:: SOT 346249 SOS 255025 HAS SOPS 220925 HAS SOUS 67240 HAS SOUPS 34191 WITH SCORE 34446.025
AT ITER 4435 NEW BEST:: SOT 346172 SOS 254948 HAS SOPS 220771 HAS SOUS 67163 HAS SOUPS 34037 WITH SCORE 34291.948
AT ITER 4454 NEW BEST:: SOT 346161 SOS 254937 HAS SOPS 220760 HAS SOUS 67152 HAS SOUPS 34026 WITH SCORE 34280.937
AT ITER 4502 NEW BEST:: SOT 346147 SOS 254927 HAS SOPS 220746 HAS SOUS 67138 HAS SOUPS 34025 WITH SCORE 34279.927
AT ITER 4504 NEW BEST:: SOT 346121 SOS 254901 HAS SOPS 220679 HAS SOUS 67127 HAS SOUPS 33973 WITH SCORE 34227.901
AT ITER 4586 NEW BEST:: SOT 346121 SOS 254901 HAS SOPS 220679 HAS SOUS 67097 HAS SOUPS 33943 WITH SCORE 34197.901
AT ITER 4588 NEW BEST:: SOT 346107 SOS 254887 HAS SOPS 220665 HAS SOUS 66983 HAS SOUPS 33829 WITH SCORE 34083.887
AT ITER 4614 NEW BEST:: SOT 346093 SOS 254866 HAS SOPS 220651 HAS SOUS 66969 HAS SOUPS 33822 WITH SCORE 34076.866
AT ITER 4648 NEW BEST:: SOT 346214 SOS 255111 HAS SOPS 220772 HAS SOUS 67087 HAS SOUPS 33816 WITH SCORE 34071.111
AT ITER 4670 NEW BEST:: SOT 345909 SOS 254711 HAS SOPS 220562 HAS SOUS 66782 HAS SOUPS 33701 WITH SCORE 33955.711
AT ITER 4676 NEW BEST:: SOT 345909 SOS 254711 HAS SOPS 220562 HAS SOUS 66763 HAS SOUPS 33682 WITH SCORE 33936.711
AT ITER 4695 NEW BEST:: SOT 345975 SOS 254876 HAS SOPS 220628 HAS SOUS 66796 HAS SOUPS 33616 WITH SCORE 33870.876
AT ITER 4700 NEW BEST:: SOT 345902 SOS 254803 HAS SOPS 220555 HAS SOUS 66708 HAS SOUPS 33528 WITH SCORE 33782.803
AT ITER 4705 NEW BEST:: SOT 345860 SOS 254761 HAS SOPS 220513 HAS SOUS 66675 HAS SOUPS 33495 WITH SCORE 33749.761
AT ITER 4710 NEW BEST:: SOT 345859 SOS 254760 HAS SOPS 220512 HAS SOUS 66673 HAS SOUPS 33493 WITH SCORE 33747.76
AT ITER 4715 NEW BEST:: SOT 345857 SOS 254758 HAS SOPS 220510 HAS SOUS 66669 HAS SOUPS 33489 WITH SCORE 33743.758
AT ITER 4719 NEW BEST:: SOT 345857 SOS 254721 HAS SOPS 220510 HAS SOUS 66669 HAS SOUPS 33489 WITH SCORE 33743.721
AT ITER 4724 NEW BEST:: SOT 345838 SOS 254702 HAS SOPS 220491 HAS SOUS 66650 HAS SOUPS 33470 WITH SCORE 33724.702
AT ITER 4748 NEW BEST:: SOT 345718 SOS 254512 HAS SOPS 220391 HAS SOUS 66549 HAS SOUPS 33440 WITH SCORE 33694.512
AT ITER 4752 NEW BEST:: SOT 345700 SOS 254494 HAS SOPS 220373 HAS SOUS 66513 HAS SOUPS 33404 WITH SCORE 33658.494
AT ITER 4753 NEW BEST:: SOT 345472 SOS 259660 HAS SOPS 225590 HAS SOUS 66291 HAS SOUPS 33233 WITH SCORE 33492.66
AT ITER 4755 NEW BEST:: SOT 345472 SOS 259660 HAS SOPS 225590 HAS SOUS 66281 HAS SOUPS 33223 WITH SCORE 33482.66
AT ITER 4771 NEW BEST:: SOT 345441 SOS 259629 HAS SOPS 225559 HAS SOUS 66250 HAS SOUPS 33192 WITH SCORE 33451.629
AT ITER 4788 NEW BEST:: SOT 345297 SOS 259485 HAS SOPS 225415 HAS SOUS 66250 HAS SOUPS 33192 WITH SCORE 33451.485
AT ITER 4789 NEW BEST:: SOT 345250 SOS 259438 HAS SOPS 225368 HAS SOUS 66156 HAS SOUPS 33098 WITH SCORE 33357.438
AT ITER 4793 NEW BEST:: SOT 345214 SOS 259402 HAS SOPS 225332 HAS SOUS 66084 HAS SOUPS 33026 WITH SCORE 33285.402
AT ITER 4822 NEW BEST:: SOT 345210 SOS 259398 HAS SOPS 225328 HAS SOUS 66080 HAS SOUPS 33022 WITH SCORE 33281.398
AT ITER 4833 NEW BEST:: SOT 345170 SOS 259378 HAS SOPS 225308 HAS SOUS 66060 HAS SOUPS 33002 WITH SCORE 33261.378
AT ITER 4843 NEW BEST:: SOT 345126 SOS 259334 HAS SOPS 225264 HAS SOUS 65972 HAS SOUPS 32914 WITH SCORE 33173.334
AT ITER 4844 NEW BEST:: SOT 345066 SOS 259274 HAS SOPS 225204 HAS SOUS 65912 HAS SOUPS 32854 WITH SCORE 33113.274
AT ITER 4858 NEW BEST:: SOT 344699 SOS 258798 HAS SOPS 224837 HAS SOUS 65668 HAS SOUPS 32719 WITH SCORE 32977.798
AT ITER 4861 NEW BEST:: SOT 344699 SOS 258812 HAS SOPS 224819 HAS SOUS 65636 HAS SOUPS 32655 WITH SCORE 32913.812
AT ITER 4887 NEW BEST:: SOT 344715 SOS 257639 HAS SOPS 223611 HAS SOUS 65652 HAS SOUPS 32636 WITH SCORE 32893.639
AT ITER 4936 NEW BEST:: SOT 344615 SOS 257539 HAS SOPS 223511 HAS SOUS 65552 HAS SOUPS 32536 WITH SCORE 32793.539
AT ITER 4967 NEW BEST:: SOT 344618 SOS 257542 HAS SOPS 223514 HAS SOUS 65514 HAS SOUPS 32498 WITH SCORE 32755.542
AT ITER 4977 NEW BEST:: SOT 344360 SOS 257207 HAS SOPS 223334 HAS SOUS 65313 HAS SOUPS 32375 WITH SCORE 32632.207
AT ITER 4998 NEW BEST:: SOT 344293 SOS 257140 HAS SOPS 223267 HAS SOUS 65179 HAS SOUPS 32241 WITH SCORE 32498.14
AT ITER 5000 NEW BEST:: SOT 344235 SOS 257082 HAS SOPS 223209 HAS SOUS 65179 HAS SOUPS 32241 WITH SCORE 32498.082
AT ITER 5007 NEW BEST:: SOT 344199 SOS 257046 HAS SOPS 223173 HAS SOUS 65143 HAS SOUPS 32205 WITH SCORE 32462.046
AT ITER 5017 NEW BEST:: SOT 344496 SOS 257495 HAS SOPS 223318 HAS SOUS 65440 HAS SOUPS 32198 WITH SCORE 32455.495
AT ITER 5052 NEW BEST:: SOT 344541 SOS 257540 HAS SOPS 223363 HAS SOUS 65389 HAS SOUPS 32147 WITH SCORE 32404.54
AT ITER 5060 NEW BEST:: SOT 344701 SOS 257807 HAS SOPS 223523 HAS SOUS 65495 HAS SOUPS 32146 WITH SCORE 32403.807
AT ITER 5089 NEW BEST:: SOT 344534 SOS 257536 HAS SOPS 223356 HAS SOUS 65328 HAS SOUPS 32083 WITH SCORE 32340.536
AT ITER 5107 NEW BEST:: SOT 344534 SOS 257533 HAS SOPS 223356 HAS SOUS 65325 HAS SOUPS 32083 WITH SCORE 32340.533
AT ITER 5124 NEW BEST:: SOT 344419 SOS 257418 HAS SOPS 223241 HAS SOUS 65323 HAS SOUPS 32081 WITH SCORE 32338.418
AT ITER 5168 NEW BEST:: SOT 344221 SOS 257084 HAS SOPS 223060 HAS SOUS 65154 HAS SOUPS 32065 WITH SCORE 32322.084
AT ITER 5171 NEW BEST:: SOT 344171 SOS 257034 HAS SOPS 223010 HAS SOUS 65054 HAS SOUPS 31965 WITH SCORE 32222.034
AT ITER 5172 NEW BEST:: SOT 344059 SOS 256922 HAS SOPS 222898 HAS SOUS 64830 HAS SOUPS 31741 WITH SCORE 31997.922
AT ITER 5204 NEW BEST:: SOT 344059 SOS 256943 HAS SOPS 222898 HAS SOUS 64809 HAS SOUPS 31699 WITH SCORE 31955.943
AT ITER 5207 NEW BEST:: SOT 344042 SOS 256926 HAS SOPS 222852 HAS SOUS 64775 HAS SOUPS 31636 WITH SCORE 31892.926
AT ITER 5237 NEW BEST:: SOT 344032 SOS 256911 HAS SOPS 222842 HAS SOUS 64765 HAS SOUPS 31631 WITH SCORE 31887.911
AT ITER 5240 NEW BEST:: SOT 344031 SOS 256910 HAS SOPS 222840 HAS SOUS 64764 HAS SOUPS 31629 WITH SCORE 31885.91
AT ITER 5258 NEW BEST:: SOT 344008 SOS 256887 HAS SOPS 222817 HAS SOUS 64718 HAS SOUPS 31583 WITH SCORE 31839.887
AT ITER 5260 NEW BEST:: SOT 343952 SOS 256831 HAS SOPS 222761 HAS SOUS 64718 HAS SOUPS 31583 WITH SCORE 31839.831
AT ITER 5262 NEW BEST:: SOT 343866 SOS 256745 HAS SOPS 222675 HAS SOUS 64718 HAS SOUPS 31583 WITH SCORE 31839.745
AT ITER 5266 NEW BEST:: SOT 343837 SOS 256716 HAS SOPS 222646 HAS SOUS 64660 HAS SOUPS 31525 WITH SCORE 31781.716
AT ITER 5290 NEW BEST:: SOT 343765 SOS 256644 HAS SOPS 222386 HAS SOUS 64749 HAS SOUPS 31426 WITH SCORE 31682.644
AT ITER 5316 NEW BEST:: SOT 343716 SOS 256595 HAS SOPS 222337 HAS SOUS 64749 HAS SOUPS 31426 WITH SCORE 31682.595
AT ITER 5375 NEW BEST:: SOT 343700 SOS 256571 HAS SOPS 222321 HAS SOUS 64725 HAS SOUPS 31410 WITH SCORE 31666.571
AT ITER 5379 NEW BEST:: SOT 343142 SOS 259026 HAS SOPS 224913 HAS SOUS 64112 HAS SOUPS 30875 WITH SCORE 31134.026
AT ITER 5387 NEW BEST:: SOT 343062 SOS 258946 HAS SOPS 224833 HAS SOUS 64032 HAS SOUPS 30795 WITH SCORE 31053.946
AT ITER 5398 NEW BEST:: SOT 343055 SOS 258939 HAS SOPS 224826 HAS SOUS 64018 HAS SOUPS 30781 WITH SCORE 31039.939
AT ITER 5429 NEW BEST:: SOT 343059 SOS 258943 HAS SOPS 224830 HAS SOUS 63988 HAS SOUPS 30751 WITH SCORE 31009.943
AT ITER 5474 NEW BEST:: SOT 343044 SOS 258928 HAS SOPS 224815 HAS SOUS 63958 HAS SOUPS 30721 WITH SCORE 30979.928
AT ITER 5495 NEW BEST:: SOT 342992 SOS 258862 HAS SOPS 224776 HAS SOUS 63901 HAS SOUPS 30678 WITH SCORE 30936.862
AT ITER 5500 NEW BEST:: SOT 342992 SOS 258862 HAS SOPS 224776 HAS SOUS 63858 HAS SOUPS 30635 WITH SCORE 30893.862
AT ITER 5514 NEW BEST:: SOT 342987 SOS 258857 HAS SOPS 224771 HAS SOUS 63848 HAS SOUPS 30625 WITH SCORE 30883.857
AT ITER 5527 NEW BEST:: SOT 342959 SOS 258829 HAS SOPS 224715 HAS SOUS 63820 HAS SOUPS 30569 WITH SCORE 30827.829
AT ITER 5535 NEW BEST:: SOT 342919 SOS 258789 HAS SOPS 224675 HAS SOUS 63787 HAS SOUPS 30536 WITH SCORE 30794.789
AT ITER 5560 NEW BEST:: SOT 342899 SOS 258769 HAS SOPS 224655 HAS SOUS 63767 HAS SOUPS 30516 WITH SCORE 30774.769
AT ITER 5580 NEW BEST:: SOT 342776 SOS 258646 HAS SOPS 224532 HAS SOUS 63765 HAS SOUPS 30514 WITH SCORE 30772.646
AT ITER 5608 NEW BEST:: SOT 342669 SOS 258539 HAS SOPS 224425 HAS SOUS 63723 HAS SOUPS 30472 WITH SCORE 30730.539
AT ITER 5609 NEW BEST:: SOT 342466 SOS 258235 HAS SOPS 224323 HAS SOUS 63520 HAS SOUPS 30471 WITH SCORE 30729.235
AT ITER 5632 NEW BEST:: SOT 342465 SOS 258234 HAS SOPS 224322 HAS SOUS 63518 HAS SOUPS 30469 WITH SCORE 30727.234
AT ITER 5671 NEW BEST:: SOT 342443 SOS 258212 HAS SOPS 224300 HAS SOUS 63518 HAS SOUPS 30469 WITH SCORE 30727.212
AT ITER 5675 NEW BEST:: SOT 342321 SOS 258041 HAS SOPS 224178 HAS SOUS 63408 HAS SOUPS 30408 WITH SCORE 30666.041
AT ITER 5676 NEW BEST:: SOT 342229 SOS 257949 HAS SOPS 224086 HAS SOUS 63370 HAS SOUPS 30370 WITH SCORE 30627.949
AT ITER 5692 NEW BEST:: SOT 342034 SOS 257754 HAS SOPS 223891 HAS SOUS 63186 HAS SOUPS 30186 WITH SCORE 30443.754
AT ITER 5704 NEW BEST:: SOT 342181 SOS 257901 HAS SOPS 224027 HAS SOUS 63186 HAS SOUPS 30175 WITH SCORE 30432.901
AT ITER 5706 NEW BEST:: SOT 342169 SOS 257900 HAS SOPS 224015 HAS SOUS 63174 HAS SOUPS 30174 WITH SCORE 30431.9
AT ITER 5713 NEW BEST:: SOT 342161 SOS 257892 HAS SOPS 224007 HAS SOUS 63158 HAS SOUPS 30158 WITH SCORE 30415.892
AT ITER 5720 NEW BEST:: SOT 342123 SOS 257854 HAS SOPS 223969 HAS SOUS 63142 HAS SOUPS 30142 WITH SCORE 30399.854
AT ITER 5730 NEW BEST:: SOT 342110 SOS 257841 HAS SOPS 223956 HAS SOUS 63116 HAS SOUPS 30116 WITH SCORE 30373.841
AT ITER 5737 NEW BEST:: SOT 342143 SOS 257874 HAS SOPS 223930 HAS SOUS 63090 HAS SOUPS 30031 WITH SCORE 30288.874
AT ITER 5738 NEW BEST:: SOT 342143 SOS 257826 HAS SOPS 223930 HAS SOUS 63090 HAS SOUPS 30031 WITH SCORE 30288.826
AT ITER 5740 NEW BEST:: SOT 342039 SOS 257722 HAS SOPS 223917 HAS SOUS 62980 HAS SOUPS 30012 WITH SCORE 30269.722
AT ITER 5748 NEW BEST:: SOT 342039 SOS 257703 HAS SOPS 223877 HAS SOUS 62959 HAS SOUPS 29970 WITH SCORE 30227.703
AT ITER 5755 NEW BEST:: SOT 341966 SOS 257585 HAS SOPS 223821 HAS SOUS 62893 HAS SOUPS 29959 WITH SCORE 30216.585
AT ITER 5757 NEW BEST:: SOT 341925 SOS 257544 HAS SOPS 223780 HAS SOUS 62811 HAS SOUPS 29877 WITH SCORE 30134.544
AT ITER 5766 NEW BEST:: SOT 342100 SOS 257791 HAS SOPS 223892 HAS SOUS 62937 HAS SOUPS 29868 WITH SCORE 30125.791
AT ITER 5786 NEW BEST:: SOT 342084 SOS 257775 HAS SOPS 223876 HAS SOUS 62905 HAS SOUPS 29836 WITH SCORE 30093.775
AT ITER 5794 NEW BEST:: SOT 342084 SOS 257775 HAS SOPS 223876 HAS SOUS 62901 HAS SOUPS 29832 WITH SCORE 30089.775
AT ITER 5800 NEW BEST:: SOT 342090 SOS 257781 HAS SOPS 223876 HAS SOUS 62901 HAS SOUPS 29826 WITH SCORE 30083.781
AT ITER 5804 NEW BEST:: SOT 342052 SOS 257743 HAS SOPS 223838 HAS SOUS 62863 HAS SOUPS 29788 WITH SCORE 30045.743
AT ITER 5807 NEW BEST:: SOT 342046 SOS 257737 HAS SOPS 223832 HAS SOUS 62851 HAS SOUPS 29776 WITH SCORE 30033.737
AT ITER 5819 NEW BEST:: SOT 342032 SOS 257723 HAS SOPS 223804 HAS SOUS 62837 HAS SOUPS 29748 WITH SCORE 30005.723
AT ITER 5824 NEW BEST:: SOT 342023 SOS 257714 HAS SOPS 223795 HAS SOUS 62819 HAS SOUPS 29730 WITH SCORE 29987.714
AT ITER 5834 NEW BEST:: SOT 342005 SOS 257696 HAS SOPS 223777 HAS SOUS 62729 HAS SOUPS 29640 WITH SCORE 29897.696
AT ITER 5841 NEW BEST:: SOT 341898 SOS 257499 HAS SOPS 223670 HAS SOUS 62604 HAS SOUPS 29605 WITH SCORE 29862.499
AT ITER 5854 NEW BEST:: SOT 341922 SOS 257571 HAS SOPS 223670 HAS SOUS 62628 HAS SOUPS 29581 WITH SCORE 29838.571
AT ITER 5863 NEW BEST:: SOT 341863 SOS 257512 HAS SOPS 223611 HAS SOUS 62553 HAS SOUPS 29506 WITH SCORE 29763.512
AT ITER 5872 NEW BEST:: SOT 341754 SOS 257392 HAS SOPS 223513 HAS SOUS 62444 HAS SOUPS 29419 WITH SCORE 29676.392
AT ITER 5873 NEW BEST:: SOT 341740 SOS 257378 HAS SOPS 223499 HAS SOUS 62416 HAS SOUPS 29391 WITH SCORE 29648.378
AT ITER 5875 NEW BEST:: SOT 341707 SOS 257345 HAS SOPS 223466 HAS SOUS 62383 HAS SOUPS 29358 WITH SCORE 29615.345
AT ITER 5878 NEW BEST:: SOT 341627 SOS 257265 HAS SOPS 223346 HAS SOUS 62303 HAS SOUPS 29238 WITH SCORE 29495.265
AT ITER 5888 NEW BEST:: SOT 341635 SOS 257273 HAS SOPS 223346 HAS SOUS 62303 HAS SOUPS 29230 WITH SCORE 29487.273
AT ITER 5892 NEW BEST:: SOT 341617 SOS 257255 HAS SOPS 223328 HAS SOUS 62285 HAS SOUPS 29212 WITH SCORE 29469.255
AT ITER 5894 NEW BEST:: SOT 341547 SOS 257185 HAS SOPS 223258 HAS SOUS 62145 HAS SOUPS 29072 WITH SCORE 29329.185
AT ITER 5905 NEW BEST:: SOT 341590 SOS 257228 HAS SOPS 223301 HAS SOUS 62137 HAS SOUPS 29064 WITH SCORE 29321.228
AT ITER 5946 NEW BEST:: SOT 341527 SOS 257102 HAS SOPS 223238 HAS SOUS 62074 HAS SOUPS 29064 WITH SCORE 29321.102
AT ITER 5980 NEW BEST:: SOT 341523 SOS 257098 HAS SOPS 223234 HAS SOUS 62074 HAS SOUPS 29064 WITH SCORE 29321.098
AT ITER 5983 NEW BEST:: SOT 340879 SOS 256339 HAS SOPS 222705 HAS SOUS 61513 HAS SOUPS 28733 WITH SCORE 28989.339
AT ITER 5989 NEW BEST:: SOT 340509 SOS 255969 HAS SOPS 222335 HAS SOUS 61357 HAS SOUPS 28577 WITH SCORE 28832.969
AT ITER 6002 NEW BEST:: SOT 340484 SOS 256020 HAS SOPS 222310 HAS SOUS 61328 HAS SOUPS 28570 WITH SCORE 28826.02
AT ITER 6004 NEW BEST:: SOT 340459 SOS 255995 HAS SOPS 222285 HAS SOUS 61303 HAS SOUPS 28545 WITH SCORE 28800.995
AT ITER 6015 NEW BEST:: SOT 340455 SOS 256018 HAS SOPS 222242 HAS SOUS 61259 HAS SOUPS 28541 WITH SCORE 28797.018
AT ITER 6016 NEW BEST:: SOT 340366 SOS 255929 HAS SOPS 222153 HAS SOUS 61259 HAS SOUPS 28541 WITH SCORE 28796.929
AT ITER 6022 NEW BEST:: SOT 340363 SOS 255926 HAS SOPS 222150 HAS SOUS 61253 HAS SOUPS 28535 WITH SCORE 28790.926
AT ITER 6050 NEW BEST:: SOT 340309 SOS 255872 HAS SOPS 222096 HAS SOUS 61145 HAS SOUPS 28427 WITH SCORE 28682.872
AT ITER 6062 NEW BEST:: SOT 340309 SOS 255860 HAS SOPS 222096 HAS SOUS 61133 HAS SOUPS 28427 WITH SCORE 28682.86
AT ITER 6138 NEW BEST:: SOT 340350 SOS 255901 HAS SOPS 222116 HAS SOUS 61117 HAS SOUPS 28390 WITH SCORE 28645.901
AT ITER 6148 NEW BEST:: SOT 340302 SOS 255853 HAS SOPS 222068 HAS SOUS 61078 HAS SOUPS 28351 WITH SCORE 28606.853
AT ITER 6176 NEW BEST:: SOT 340300 SOS 255851 HAS SOPS 222066 HAS SOUS 61074 HAS SOUPS 28347 WITH SCORE 28602.851
AT ITER 6199 NEW BEST:: SOT 340278 SOS 255829 HAS SOPS 222044 HAS SOUS 61030 HAS SOUPS 28303 WITH SCORE 28558.829
AT ITER 6205 NEW BEST:: SOT 340228 SOS 255729 HAS SOPS 221994 HAS SOUS 60980 HAS SOUPS 28303 WITH SCORE 28558.729
AT ITER 6211 NEW BEST:: SOT 340573 SOS 256234 HAS SOPS 222249 HAS SOUS 61202 HAS SOUPS 28275 WITH SCORE 28531.234
AT ITER 6244 NEW BEST:: SOT 340565 SOS 256226 HAS SOPS 222241 HAS SOUS 61186 HAS SOUPS 28259 WITH SCORE 28515.226
AT ITER 6256 NEW BEST:: SOT 340541 SOS 256202 HAS SOPS 222217 HAS SOUS 61102 HAS SOUPS 28175 WITH SCORE 28431.202
AT ITER 6261 NEW BEST:: SOT 340520 SOS 256181 HAS SOPS 222160 HAS SOUS 61096 HAS SOUPS 28133 WITH SCORE 28389.181
AT ITER 6352 NEW BEST:: SOT 340515 SOS 256176 HAS SOPS 222155 HAS SOUS 61094 HAS SOUPS 28131 WITH SCORE 28387.176
AT ITER 6360 NEW BEST:: SOT 340509 SOS 256170 HAS SOPS 222136 HAS SOUS 61095 HAS SOUPS 28119 WITH SCORE 28375.17
AT ITER 6363 NEW BEST:: SOT 340422 SOS 256083 HAS SOPS 222049 HAS SOUS 61031 HAS SOUPS 28055 WITH SCORE 28311.083
AT ITER 6367 NEW BEST:: SOT 340429 SOS 256097 HAS SOPS 222056 HAS SOUS 61031 HAS SOUPS 28048 WITH SCORE 28304.097
AT ITER 6384 NEW BEST:: SOT 340424 SOS 256092 HAS SOPS 222051 HAS SOUS 61021 HAS SOUPS 28038 WITH SCORE 28294.092
AT ITER 6390 NEW BEST:: SOT 339986 SOS 255512 HAS SOPS 221755 HAS SOUS 60703 HAS SOUPS 28004 WITH SCORE 28259.512
AT ITER 6391 NEW BEST:: SOT 339968 SOS 255494 HAS SOPS 221737 HAS SOUS 60703 HAS SOUPS 28004 WITH SCORE 28259.494
AT ITER 6425 NEW BEST:: SOT 339942 SOS 255468 HAS SOPS 221711 HAS SOUS 60665 HAS SOUPS 27966 WITH SCORE 28221.468
AT ITER 6450 NEW BEST:: SOT 340001 SOS 255527 HAS SOPS 221770 HAS SOUS 60541 HAS SOUPS 27842 WITH SCORE 28097.527
AT ITER 6476 NEW BEST:: SOT 340032 SOS 255558 HAS SOPS 221801 HAS SOUS 60524 HAS SOUPS 27825 WITH SCORE 28080.558
AT ITER 6483 NEW BEST:: SOT 340019 SOS 255545 HAS SOPS 221775 HAS SOUS 60511 HAS SOUPS 27799 WITH SCORE 28054.545
AT ITER 6507 NEW BEST:: SOT 340019 SOS 255545 HAS SOPS 221775 HAS SOUS 60499 HAS SOUPS 27787 WITH SCORE 28042.545
AT ITER 6517 NEW BEST:: SOT 340028 SOS 255554 HAS SOPS 221784 HAS SOUS 60493 HAS SOUPS 27781 WITH SCORE 28036.554
AT ITER 6519 NEW BEST:: SOT 339983 SOS 255509 HAS SOPS 221694 HAS SOUS 60448 HAS SOUPS 27736 WITH SCORE 27991.509
AT ITER 6526 NEW BEST:: SOT 339972 SOS 255498 HAS SOPS 221683 HAS SOUS 60437 HAS SOUPS 27725 WITH SCORE 27980.498
AT ITER 6547 NEW BEST:: SOT 339947 SOS 255473 HAS SOPS 221658 HAS SOUS 60437 HAS SOUPS 27725 WITH SCORE 27980.473
AT ITER 6551 NEW BEST:: SOT 339880 SOS 255406 HAS SOPS 221591 HAS SOUS 60421 HAS SOUPS 27709 WITH SCORE 27964.406
AT ITER 6564 NEW BEST:: SOT 339921 SOS 255447 HAS SOPS 221632 HAS SOUS 60397 HAS SOUPS 27685 WITH SCORE 27940.447
AT ITER 6578 NEW BEST:: SOT 339914 SOS 255440 HAS SOPS 221625 HAS SOUS 60383 HAS SOUPS 27671 WITH SCORE 27926.44
AT ITER 6609 NEW BEST:: SOT 339909 SOS 255435 HAS SOPS 221620 HAS SOUS 60373 HAS SOUPS 27661 WITH SCORE 27916.435
AT ITER 6611 NEW BEST:: SOT 339911 SOS 255439 HAS SOPS 221620 HAS SOUS 60375 HAS SOUPS 27659 WITH SCORE 27914.439
AT ITER 6612 NEW BEST:: SOT 339814 SOS 255342 HAS SOPS 221523 HAS SOUS 60333 HAS SOUPS 27617 WITH SCORE 27872.342
AT ITER 6637 NEW BEST:: SOT 339793 SOS 255321 HAS SOPS 221506 HAS SOUS 60312 HAS SOUPS 27600 WITH SCORE 27855.321
AT ITER 6641 NEW BEST:: SOT 339817 SOS 255369 HAS SOPS 221530 HAS SOUS 60312 HAS SOUPS 27576 WITH SCORE 27831.369
AT ITER 6643 NEW BEST:: SOT 339918 SOS 255470 HAS SOPS 221631 HAS SOUS 60160 HAS SOUPS 27424 WITH SCORE 27679.47
AT ITER 6647 NEW BEST:: SOT 339950 SOS 255502 HAS SOPS 221663 HAS SOUS 60030 HAS SOUPS 27294 WITH SCORE 27549.502
AT ITER 6663 NEW BEST:: SOT 339712 SOS 255160 HAS SOPS 221457 HAS SOUS 59826 HAS SOUPS 27226 WITH SCORE 27481.16
AT ITER 6690 NEW BEST:: SOT 339706 SOS 255154 HAS SOPS 221451 HAS SOUS 59814 HAS SOUPS 27214 WITH SCORE 27469.154
AT ITER 6695 NEW BEST:: SOT 339684 SOS 255132 HAS SOPS 221429 HAS SOUS 59770 HAS SOUPS 27170 WITH SCORE 27425.132
AT ITER 6731 NEW BEST:: SOT 339630 SOS 255078 HAS SOPS 221375 HAS SOUS 59662 HAS SOUPS 27062 WITH SCORE 27317.078
AT ITER 6758 NEW BEST:: SOT 339614 SOS 255100 HAS SOPS 221359 HAS SOUS 59646 HAS SOUPS 27061 WITH SCORE 27316.1
AT ITER 6795 NEW BEST:: SOT 339471 SOS 254947 HAS SOPS 221226 HAS SOUS 59550 HAS SOUPS 26985 WITH SCORE 27239.947
AT ITER 6808 NEW BEST:: SOT 339423 SOS 254899 HAS SOPS 221178 HAS SOUS 59502 HAS SOUPS 26937 WITH SCORE 27191.899
AT ITER 6815 NEW BEST:: SOT 339321 SOS 254797 HAS SOPS 221076 HAS SOUS 59502 HAS SOUPS 26937 WITH SCORE 27191.797
AT ITER 6826 NEW BEST:: SOT 338810 SOS 254069 HAS SOPS 220636 HAS SOUS 59175 HAS SOUPS 26898 WITH SCORE 27152.069
AT ITER 6836 NEW BEST:: SOT 338783 SOS 254042 HAS SOPS 220609 HAS SOUS 59152 HAS SOUPS 26875 WITH SCORE 27129.042
AT ITER 6838 NEW BEST:: SOT 338743 SOS 254002 HAS SOPS 220569 HAS SOUS 59135 HAS SOUPS 26858 WITH SCORE 27112.002
AT ITER 6855 NEW BEST:: SOT 338674 SOS 253933 HAS SOPS 220500 HAS SOUS 59135 HAS SOUPS 26858 WITH SCORE 27111.933
AT ITER 6859 NEW BEST:: SOT 338670 SOS 253929 HAS SOPS 220496 HAS SOUS 59127 HAS SOUPS 26850 WITH SCORE 27103.929
AT ITER 6880 NEW BEST:: SOT 338860 SOS 254262 HAS SOPS 220686 HAS SOUS 59221 HAS SOUPS 26801 WITH SCORE 27055.262
AT ITER 6925 NEW BEST:: SOT 338782 SOS 254184 HAS SOPS 220608 HAS SOUS 59065 HAS SOUPS 26645 WITH SCORE 26899.184
AT ITER 6937 NEW BEST:: SOT 338767 SOS 254169 HAS SOPS 220593 HAS SOUS 59035 HAS SOUPS 26615 WITH SCORE 26869.169
AT ITER 6961 NEW BEST:: SOT 338767 SOS 254169 HAS SOPS 220593 HAS SOUS 58963 HAS SOUPS 26543 WITH SCORE 26797.169
AT ITER 6968 NEW BEST:: SOT 338766 SOS 254168 HAS SOPS 220592 HAS SOUS 58960 HAS SOUPS 26540 WITH SCORE 26794.168
AT ITER 6972 NEW BEST:: SOT 338732 SOS 254134 HAS SOPS 220456 HAS SOUS 59028 HAS SOUPS 26506 WITH SCORE 26760.134
AT ITER 6990 NEW BEST:: SOT 338528 SOS 253658 HAS SOPS 220320 HAS SOUS 58824 HAS SOUPS 26506 WITH SCORE 26759.658
AT ITER 7003 NEW BEST:: SOT 338495 SOS 253625 HAS SOPS 220287 HAS SOUS 58758 HAS SOUPS 26440 WITH SCORE 26693.625
AT ITER 7005 NEW BEST:: SOT 338434 SOS 253564 HAS SOPS 220165 HAS SOUS 58758 HAS SOUPS 26440 WITH SCORE 26693.564
AT ITER 7011 NEW BEST:: SOT 338433 SOS 253563 HAS SOPS 220163 HAS SOUS 58757 HAS SOUPS 26438 WITH SCORE 26691.563
AT ITER 7015 NEW BEST:: SOT 338422 SOS 253552 HAS SOPS 220152 HAS SOUS 58735 HAS SOUPS 26416 WITH SCORE 26669.552
AT ITER 7027 NEW BEST:: SOT 338471 SOS 253628 HAS SOPS 220176 HAS SOUS 58759 HAS SOUPS 26403 WITH SCORE 26656.628
AT ITER 7031 NEW BEST:: SOT 338457 SOS 253614 HAS SOPS 220136 HAS SOUS 58757 HAS SOUPS 26375 WITH SCORE 26628.614
AT ITER 7039 NEW BEST:: SOT 338457 SOS 253614 HAS SOPS 220120 HAS SOUS 58741 HAS SOUPS 26359 WITH SCORE 26612.614
AT ITER 7059 NEW BEST:: SOT 338364 SOS 253577 HAS SOPS 220027 HAS SOUS 58616 HAS SOUPS 26296 WITH SCORE 26549.577
AT ITER 7060 NEW BEST:: SOT 338364 SOS 253423 HAS SOPS 220027 HAS SOUS 58616 HAS SOUPS 26296 WITH SCORE 26549.423
AT ITER 7063 NEW BEST:: SOT 338324 SOS 253383 HAS SOPS 219987 HAS SOUS 58576 HAS SOUPS 26256 WITH SCORE 26509.383
AT ITER 7068 NEW BEST:: SOT 338202 SOS 253261 HAS SOPS 219865 HAS SOUS 58576 HAS SOUPS 26256 WITH SCORE 26509.261
AT ITER 7071 NEW BEST:: SOT 338149 SOS 253155 HAS SOPS 219812 HAS SOUS 58523 HAS SOUPS 26256 WITH SCORE 26509.155
AT ITER 7089 NEW BEST:: SOT 338170 SOS 253176 HAS SOPS 219798 HAS SOUS 58544 HAS SOUPS 26242 WITH SCORE 26495.176
AT ITER 7167 NEW BEST:: SOT 338153 SOS 253159 HAS SOPS 219781 HAS SOUS 58510 HAS SOUPS 26208 WITH SCORE 26461.159
AT ITER 7185 NEW BEST:: SOT 338111 SOS 253117 HAS SOPS 219739 HAS SOUS 58474 HAS SOUPS 26172 WITH SCORE 26425.117
AT ITER 7209 NEW BEST:: SOT 338108 SOS 253114 HAS SOPS 219736 HAS SOUS 58474 HAS SOUPS 26172 WITH SCORE 26425.114
AT ITER 7214 NEW BEST:: SOT 338155 SOS 253228 HAS SOPS 219750 HAS SOUS 58500 HAS SOUPS 26159 WITH SCORE 26412.228
AT ITER 7250 NEW BEST:: SOT 338053 SOS 253126 HAS SOPS 219648 HAS SOUS 58296 HAS SOUPS 25955 WITH SCORE 26208.126
AT ITER 7254 NEW BEST:: SOT 338048 SOS 253111 HAS SOPS 219643 HAS SOUS 58281 HAS SOUPS 25950 WITH SCORE 26203.111
AT ITER 7261 NEW BEST:: SOT 338031 SOS 253094 HAS SOPS 219502 HAS SOUS 58388 HAS SOUPS 25933 WITH SCORE 26186.094
AT ITER 7265 NEW BEST:: SOT 338029 SOS 253092 HAS SOPS 219500 HAS SOUS 58384 HAS SOUPS 25929 WITH SCORE 26182.092
AT ITER 7268 NEW BEST:: SOT 338029 SOS 253083 HAS SOPS 219500 HAS SOUS 58384 HAS SOUPS 25929 WITH SCORE 26182.083
AT ITER 7295 NEW BEST:: SOT 337958 SOS 253012 HAS SOPS 219429 HAS SOUS 58242 HAS SOUPS 25787 WITH SCORE 26040.012
AT ITER 7345 NEW BEST:: SOT 337958 SOS 252998 HAS SOPS 219429 HAS SOUS 58228 HAS SOUPS 25787 WITH SCORE 26039.998
AT ITER 7352 NEW BEST:: SOT 338015 SOS 243531 HAS SOPS 209898 HAS SOUS 58194 HAS SOUPS 25689 WITH SCORE 25932.531
AT ITER 7358 NEW BEST:: SOT 338116 SOS 243733 HAS SOPS 209898 HAS SOUS 58295 HAS SOUPS 25588 WITH SCORE 25831.733
AT ITER 7360 NEW BEST:: SOT 337895 SOS 243446 HAS SOPS 209743 HAS SOUS 58129 HAS SOUPS 25554 WITH SCORE 25797.446
AT ITER 7369 NEW BEST:: SOT 337712 SOS 243263 HAS SOPS 209560 HAS SOUS 58007 HAS SOUPS 25432 WITH SCORE 25675.263
AT ITER 7395 NEW BEST:: SOT 337691 SOS 243242 HAS SOPS 209539 HAS SOUS 57965 HAS SOUPS 25390 WITH SCORE 25633.242
AT ITER 7410 NEW BEST:: SOT 337801 SOS 243462 HAS SOPS 209649 HAS SOUS 57965 HAS SOUPS 25280 WITH SCORE 25523.462
AT ITER 7427 NEW BEST:: SOT 337801 SOS 243462 HAS SOPS 209649 HAS SOUS 57933 HAS SOUPS 25248 WITH SCORE 25491.462
AT ITER 7431 NEW BEST:: SOT 337779 SOS 243440 HAS SOPS 209627 HAS SOUS 57882 HAS SOUPS 25197 WITH SCORE 25440.44
AT ITER 7434 NEW BEST:: SOT 337787 SOS 243448 HAS SOPS 209635 HAS SOUS 57862 HAS SOUPS 25177 WITH SCORE 25420.448
AT ITER 7531 NEW BEST:: SOT 337727 SOS 243358 HAS SOPS 209575 HAS SOUS 57802 HAS SOUPS 25147 WITH SCORE 25390.358
AT ITER 7539 NEW BEST:: SOT 337726 SOS 243357 HAS SOPS 209574 HAS SOUS 57800 HAS SOUPS 25145 WITH SCORE 25388.357
AT ITER 7549 NEW BEST:: SOT 337703 SOS 243334 HAS SOPS 209551 HAS SOUS 57754 HAS SOUPS 25099 WITH SCORE 25342.334
AT ITER 7555 NEW BEST:: SOT 337698 SOS 243329 HAS SOPS 209546 HAS SOUS 57744 HAS SOUPS 25089 WITH SCORE 25332.329
AT ITER 7578 NEW BEST:: SOT 337679 SOS 243310 HAS SOPS 209527 HAS SOUS 57672 HAS SOUPS 25017 WITH SCORE 25260.31
AT ITER 7581 NEW BEST:: SOT 337679 SOS 243310 HAS SOPS 209527 HAS SOUS 57619 HAS SOUPS 24964 WITH SCORE 25207.31
AT ITER 7596 NEW BEST:: SOT 337679 SOS 243310 HAS SOPS 209527 HAS SOUS 57559 HAS SOUPS 24904 WITH SCORE 25147.31
AT ITER 7606 NEW BEST:: SOT 337651 SOS 243282 HAS SOPS 209471 HAS SOUS 57503 HAS SOUPS 24848 WITH SCORE 25091.282
AT ITER 7609 NEW BEST:: SOT 337557 SOS 243144 HAS SOPS 209407 HAS SOUS 57427 HAS SOUPS 24846 WITH SCORE 25089.144
AT ITER 7620 NEW BEST:: SOT 337557 SOS 243138 HAS SOPS 209407 HAS SOUS 57421 HAS SOUPS 24846 WITH SCORE 25089.138
AT ITER 7646 NEW BEST:: SOT 337546 SOS 243127 HAS SOPS 209396 HAS SOUS 57399 HAS SOUPS 24824 WITH SCORE 25067.127
AT ITER 7648 NEW BEST:: SOT 337377 SOS 242895 HAS SOPS 209290 HAS SOUS 57230 HAS SOUPS 24781 WITH SCORE 25023.895
AT ITER 7662 NEW BEST:: SOT 337373 SOS 242891 HAS SOPS 209282 HAS SOUS 57226 HAS SOUPS 24773 WITH SCORE 25015.891
AT ITER 7666 NEW BEST:: SOT 337345 SOS 242863 HAS SOPS 209294 HAS SOUS 57130 HAS SOUPS 24717 WITH SCORE 24959.863
AT ITER 7693 NEW BEST:: SOT 337338 SOS 242856 HAS SOPS 209287 HAS SOUS 57116 HAS SOUPS 24703 WITH SCORE 24945.856
AT ITER 7710 NEW BEST:: SOT 337471 SOS 242989 HAS SOPS 209420 HAS SOUS 57008 HAS SOUPS 24595 WITH SCORE 24837.989
AT ITER 7774 NEW BEST:: SOT 337465 SOS 242983 HAS SOPS 209414 HAS SOUS 57008 HAS SOUPS 24595 WITH SCORE 24837.983
AT ITER 7821 NEW BEST:: SOT 337451 SOS 242969 HAS SOPS 209400 HAS SOUS 56997 HAS SOUPS 24584 WITH SCORE 24826.969
AT ITER 7894 NEW BEST:: SOT 337404 SOS 242922 HAS SOPS 209306 HAS SOUS 56950 HAS SOUPS 24490 WITH SCORE 24732.922
AT ITER 7910 NEW BEST:: SOT 337382 SOS 242876 HAS SOPS 209283 HAS SOUS 56908 HAS SOUPS 24448 WITH SCORE 24690.876
AT ITER 7911 NEW BEST:: SOT 337373 SOS 242867 HAS SOPS 209274 HAS SOUS 56890 HAS SOUPS 24430 WITH SCORE 24672.867
AT ITER 7917 NEW BEST:: SOT 337385 SOS 242899 HAS SOPS 209266 HAS SOUS 56902 HAS SOUPS 24402 WITH SCORE 24644.899
AT ITER 7941 NEW BEST:: SOT 337211 SOS 242674 HAS SOPS 209092 HAS SOUS 56764 HAS SOUPS 24315 WITH SCORE 24557.674
AT ITER 7942 NEW BEST:: SOT 337186 SOS 242635 HAS SOPS 209070 HAS SOUS 56740 HAS SOUPS 24307 WITH SCORE 24549.635
AT ITER 7950 NEW BEST:: SOT 337186 SOS 242563 HAS SOPS 209070 HAS SOUS 56740 HAS SOUPS 24307 WITH SCORE 24549.563
AT ITER 7965 NEW BEST:: SOT 337174 SOS 242551 HAS SOPS 209058 HAS SOUS 56716 HAS SOUPS 24283 WITH SCORE 24525.551
AT ITER 7989 NEW BEST:: SOT 337173 SOS 242550 HAS SOPS 209056 HAS SOUS 56715 HAS SOUPS 24281 WITH SCORE 24523.55
AT ITER 7995 NEW BEST:: SOT 337167 SOS 242544 HAS SOPS 209050 HAS SOUS 56709 HAS SOUPS 24275 WITH SCORE 24517.544
AT ITER 8027 NEW BEST:: SOT 337167 SOS 242544 HAS SOPS 209050 HAS SOUS 56652 HAS SOUPS 24218 WITH SCORE 24460.544
AT ITER 8076 NEW BEST:: SOT 337167 SOS 242533 HAS SOPS 209050 HAS SOUS 56652 HAS SOUPS 24218 WITH SCORE 24460.533
AT ITER 8090 NEW BEST:: SOT 336939 SOS 242178 HAS SOPS 208848 HAS SOUS 56424 HAS SOUPS 24143 WITH SCORE 24385.178
AT ITER 8206 NEW BEST:: SOT 336906 SOS 242145 HAS SOPS 208782 HAS SOUS 56391 HAS SOUPS 24077 WITH SCORE 24319.145
AT ITER 8221 NEW BEST:: SOT 336846 SOS 242025 HAS SOPS 208722 HAS SOUS 56331 HAS SOUPS 24077 WITH SCORE 24319.025
AT ITER 8262 NEW BEST:: SOT 336800 SOS 241979 HAS SOPS 208604 HAS SOUS 56280 HAS SOUPS 24026 WITH SCORE 24267.979
AT ITER 8327 NEW BEST:: SOT 336775 SOS 241954 HAS SOPS 208579 HAS SOUS 56255 HAS SOUPS 24001 WITH SCORE 24242.954
AT ITER 8353 NEW BEST:: SOT 336769 SOS 241948 HAS SOPS 208567 HAS SOUS 56249 HAS SOUPS 23989 WITH SCORE 24230.948
AT ITER 8375 NEW BEST:: SOT 336773 SOS 241956 HAS SOPS 208567 HAS SOUS 56253 HAS SOUPS 23985 WITH SCORE 24226.956
AT ITER 8397 NEW BEST:: SOT 336766 SOS 241949 HAS SOPS 208560 HAS SOUS 56239 HAS SOUPS 23971 WITH SCORE 24212.949
AT ITER 8410 NEW BEST:: SOT 336689 SOS 241872 HAS SOPS 208483 HAS SOUS 56198 HAS SOUPS 23930 WITH SCORE 24171.872
AT ITER 8427 NEW BEST:: SOT 337078 SOS 242493 HAS SOPS 208868 HAS SOUS 56386 HAS SOUPS 23882 WITH SCORE 24124.493
AT ITER 8493 NEW BEST:: SOT 337161 SOS 242576 HAS SOPS 208951 HAS SOUS 56353 HAS SOUPS 23849 WITH SCORE 24091.576
AT ITER 8494 NEW BEST:: SOT 337120 SOS 242535 HAS SOPS 208928 HAS SOUS 56253 HAS SOUPS 23767 WITH SCORE 24009.535
AT ITER 8501 NEW BEST:: SOT 336905 SOS 242320 HAS SOPS 208713 HAS SOUS 56209 HAS SOUPS 23723 WITH SCORE 23965.32
AT ITER 8502 NEW BEST:: SOT 336892 SOS 242310 HAS SOPS 208694 HAS SOUS 56197 HAS SOUPS 23710 WITH SCORE 23952.31
AT ITER 8534 NEW BEST:: SOT 336940 SOS 242358 HAS SOPS 208742 HAS SOUS 56165 HAS SOUPS 23678 WITH SCORE 23920.358
AT ITER 8536 NEW BEST:: SOT 336616 SOS 241832 HAS SOPS 208431 HAS SOUS 55947 HAS SOUPS 23675 WITH SCORE 23916.832
AT ITER 8577 NEW BEST:: SOT 336610 SOS 241826 HAS SOPS 208425 HAS SOUS 55935 HAS SOUPS 23663 WITH SCORE 23904.826
AT ITER 8618 NEW BEST:: SOT 336597 SOS 241813 HAS SOPS 208412 HAS SOUS 55909 HAS SOUPS 23637 WITH SCORE 23878.813
AT ITER 8619 NEW BEST:: SOT 336542 SOS 241758 HAS SOPS 208357 HAS SOUS 55909 HAS SOUPS 23637 WITH SCORE 23878.758
AT ITER 8620 NEW BEST:: SOT 336539 SOS 241755 HAS SOPS 208354 HAS SOUS 55903 HAS SOUPS 23631 WITH SCORE 23872.755
AT ITER 8627 NEW BEST:: SOT 336533 SOS 241749 HAS SOPS 208348 HAS SOUS 55903 HAS SOUPS 23631 WITH SCORE 23872.749
AT ITER 8716 NEW BEST:: SOT 336483 SOS 241680 HAS SOPS 208317 HAS SOUS 55861 HAS SOUPS 23619 WITH SCORE 23860.68
AT ITER 8723 NEW BEST:: SOT 336483 SOS 241644 HAS SOPS 208317 HAS SOUS 55825 HAS SOUPS 23619 WITH SCORE 23860.644
AT ITER 8731 NEW BEST:: SOT 336379 SOS 241488 HAS SOPS 208213 HAS SOUS 55721 HAS SOUPS 23567 WITH SCORE 23808.488
AT ITER 8748 NEW BEST:: SOT 336301 SOS 241410 HAS SOPS 208135 HAS SOUS 55565 HAS SOUPS 23411 WITH SCORE 23652.41
AT ITER 8776 NEW BEST:: SOT 336301 SOS 241410 HAS SOPS 208093 HAS SOUS 55523 HAS SOUPS 23369 WITH SCORE 23610.41
AT ITER 8788 NEW BEST:: SOT 336374 SOS 241483 HAS SOPS 208158 HAS SOUS 55523 HAS SOUPS 23361 WITH SCORE 23602.483
AT ITER 8789 NEW BEST:: SOT 336361 SOS 241470 HAS SOPS 208145 HAS SOUS 55523 HAS SOUPS 23361 WITH SCORE 23602.47
AT ITER 8790 NEW BEST:: SOT 336358 SOS 241467 HAS SOPS 208142 HAS SOUS 55523 HAS SOUPS 23361 WITH SCORE 23602.467
AT ITER 8798 NEW BEST:: SOT 336357 SOS 241466 HAS SOPS 208141 HAS SOUS 55522 HAS SOUPS 23360 WITH SCORE 23601.466
AT ITER 8810 NEW BEST:: SOT 336357 SOS 241429 HAS SOPS 208059 HAS SOUS 55481 HAS SOUPS 23278 WITH SCORE 23519.429
AT ITER 8818 NEW BEST:: SOT 336357 SOS 241426 HAS SOPS 208059 HAS SOUS 55481 HAS SOUPS 23278 WITH SCORE 23519.426
AT ITER 8866 NEW BEST:: SOT 335958 SOS 240938 HAS SOPS 207660 HAS SOUS 55119 HAS SOUPS 23005 WITH SCORE 23245.938
AT ITER 8870 NEW BEST:: SOT 335942 SOS 240922 HAS SOPS 207590 HAS SOUS 55141 HAS SOUPS 22973 WITH SCORE 23213.922
AT ITER 8875 NEW BEST:: SOT 335940 SOS 240920 HAS SOPS 207588 HAS SOUS 55137 HAS SOUPS 22969 WITH SCORE 23209.92
AT ITER 8924 NEW BEST:: SOT 335845 SOS 240748 HAS SOPS 207493 HAS SOUS 55024 HAS SOUPS 22933 WITH SCORE 23173.748
AT ITER 8936 NEW BEST:: SOT 335830 SOS 240733 HAS SOPS 207478 HAS SOUS 54994 HAS SOUPS 22903 WITH SCORE 23143.733
AT ITER 8957 NEW BEST:: SOT 335822 SOS 240725 HAS SOPS 207470 HAS SOUS 54978 HAS SOUPS 22887 WITH SCORE 23127.725
AT ITER 8964 NEW BEST:: SOT 335880 SOS 240827 HAS SOPS 207484 HAS SOUS 54992 HAS SOUPS 22857 WITH SCORE 23097.827
AT ITER 9004 NEW BEST:: SOT 335871 SOS 240818 HAS SOPS 207475 HAS SOUS 54974 HAS SOUPS 22839 WITH SCORE 23079.818
AT ITER 9018 NEW BEST:: SOT 336103 SOS 241186 HAS SOPS 207571 HAS SOUS 55159 HAS SOUPS 22752 WITH SCORE 22993.186
AT ITER 9055 NEW BEST:: SOT 336132 SOS 241215 HAS SOPS 207600 HAS SOUS 55157 HAS SOUPS 22750 WITH SCORE 22991.215
AT ITER 9059 NEW BEST:: SOT 336132 SOS 241193 HAS SOPS 207600 HAS SOUS 55153 HAS SOUPS 22750 WITH SCORE 22991.193
AT ITER 9066 NEW BEST:: SOT 336114 SOS 241175 HAS SOPS 207582 HAS SOUS 55135 HAS SOUPS 22732 WITH SCORE 22973.175
AT ITER 9097 NEW BEST:: SOT 336067 SOS 241128 HAS SOPS 207477 HAS SOUS 55099 HAS SOUPS 22638 WITH SCORE 22879.128
AT ITER 9167 NEW BEST:: SOT 336075 SOS 241144 HAS SOPS 207485 HAS SOUS 55099 HAS SOUPS 22630 WITH SCORE 22871.144
AT ITER 9219 NEW BEST:: SOT 336059 SOS 241136 HAS SOPS 207469 HAS SOUS 55083 HAS SOUPS 22629 WITH SCORE 22870.136
AT ITER 9256 NEW BEST:: SOT 336055 SOS 241132 HAS SOPS 207465 HAS SOUS 55062 HAS SOUPS 22608 WITH SCORE 22849.132
AT ITER 9265 NEW BEST:: SOT 336055 SOS 241128 HAS SOPS 207461 HAS SOUS 55054 HAS SOUPS 22600 WITH SCORE 22841.128
AT ITER 9278 NEW BEST:: SOT 335952 SOS 241025 HAS SOPS 207358 HAS SOUS 54848 HAS SOUPS 22394 WITH SCORE 22635.025
AT ITER 9329 NEW BEST:: SOT 335936 SOS 241009 HAS SOPS 207306 HAS SOUS 54852 HAS SOUPS 22362 WITH SCORE 22603.009
AT ITER 9363 NEW BEST:: SOT 335936 SOS 240992 HAS SOPS 207306 HAS SOUS 54859 HAS SOUPS 22362 WITH SCORE 22602.992
AT ITER 9381 NEW BEST:: SOT 335874 SOS 240901 HAS SOPS 207244 HAS SOUS 54799 HAS SOUPS 22331 WITH SCORE 22571.901
AT ITER 9403 NEW BEST:: SOT 335874 SOS 240901 HAS SOPS 207244 HAS SOUS 54798 HAS SOUPS 22330 WITH SCORE 22570.901
AT ITER 9468 NEW BEST:: SOT 335609 SOS 240500 HAS SOPS 206979 HAS SOUS 54540 HAS SOUPS 22208 WITH SCORE 22448.5
AT ITER 9521 NEW BEST:: SOT 335594 SOS 240485 HAS SOPS 206964 HAS SOUS 54510 HAS SOUPS 22178 WITH SCORE 22418.485
AT ITER 9538 NEW BEST:: SOT 335565 SOS 240456 HAS SOPS 206935 HAS SOUS 54452 HAS SOUPS 22120 WITH SCORE 22360.456
AT ITER 9558 NEW BEST:: SOT 335565 SOS 240456 HAS SOPS 206935 HAS SOUS 54419 HAS SOUPS 22087 WITH SCORE 22327.456
AT ITER 9568 NEW BEST:: SOT 335560 SOS 240451 HAS SOPS 206930 HAS SOUS 54409 HAS SOUPS 22077 WITH SCORE 22317.451
AT ITER 9601 NEW BEST:: SOT 335438 SOS 240269 HAS SOPS 206868 HAS SOUS 54287 HAS SOUPS 22075 WITH SCORE 22315.269
AT ITER 9665 NEW BEST:: SOT 335497 SOS 240381 HAS SOPS 206927 HAS SOUS 54299 HAS SOUPS 22034 WITH SCORE 22274.381
AT ITER 9678 NEW BEST:: SOT 335496 SOS 240380 HAS SOPS 206925 HAS SOUS 54301 HAS SOUPS 22032 WITH SCORE 22272.38
AT ITER 9686 NEW BEST:: SOT 335450 SOS 240334 HAS SOPS 206879 HAS SOUS 54301 HAS SOUPS 22032 WITH SCORE 22272.334
AT ITER 9692 NEW BEST:: SOT 335088 SOS 239839 HAS SOPS 206650 HAS SOUS 53968 HAS SOUPS 21965 WITH SCORE 22204.839
AT ITER 9697 NEW BEST:: SOT 335089 SOS 239841 HAS SOPS 206651 HAS SOUS 53968 HAS SOUPS 21964 WITH SCORE 22203.841
AT ITER 9725 NEW BEST:: SOT 335067 SOS 239808 HAS SOPS 206629 HAS SOUS 53946 HAS SOUPS 21953 WITH SCORE 22192.808
AT ITER 9726 NEW BEST:: SOT 335059 SOS 239800 HAS SOPS 206621 HAS SOUS 53900 HAS SOUPS 21907 WITH SCORE 22146.8
AT ITER 9763 NEW BEST:: SOT 335116 SOS 239857 HAS SOPS 206678 HAS SOUS 53888 HAS SOUPS 21895 WITH SCORE 22134.857
AT ITER 9790 NEW BEST:: SOT 335071 SOS 239812 HAS SOPS 206633 HAS SOUS 53852 HAS SOUPS 21859 WITH SCORE 22098.812
AT ITER 9791 NEW BEST:: SOT 335136 SOS 239921 HAS SOPS 206675 HAS SOUS 53917 HAS SOUPS 21857 WITH SCORE 22096.921
AT ITER 9798 NEW BEST:: SOT 335108 SOS 239893 HAS SOPS 206647 HAS SOUS 53861 HAS SOUPS 21801 WITH SCORE 22040.893
AT ITER 9849 NEW BEST:: SOT 334821 SOS 239486 HAS SOPS 206360 HAS SOUS 53686 HAS SOUPS 21746 WITH SCORE 21985.486
AT ITER 9924 NEW BEST:: SOT 334774 SOS 239439 HAS SOPS 206266 HAS SOUS 53639 HAS SOUPS 21652 WITH SCORE 21891.439
AT ITER 9930 NEW BEST:: SOT 334757 SOS 239422 HAS SOPS 206249 HAS SOUS 53605 HAS SOUPS 21618 WITH SCORE 21857.422
AT ITER 9937 NEW BEST:: SOT 334757 SOS 239422 HAS SOPS 206237 HAS SOUS 53599 HAS SOUPS 21606 WITH SCORE 21845.422
AT ITER 9983 NEW BEST:: SOT 334751 SOS 239416 HAS SOPS 206231 HAS SOUS 53587 HAS SOUPS 21594 WITH SCORE 21833.416
AT ITER 9987 NEW BEST:: SOT 334751 SOS 235347 HAS SOPS 202052 HAS SOUS 53611 HAS SOUPS 21563 WITH SCORE 21798.347
STATE_SPACE STATES 34877423 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 308 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 155007424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678731580111

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0100"
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 AirplaneLD-PT-0100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600000272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;