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.r523-tall-167987247800256.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is EisenbergMcGuire-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.5K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Mar 23 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 23 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 17K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Mar 23 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 31 16:48 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 1680812688309

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=EisenbergMcGuire-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 20:24:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 20:24:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 20:24:50] [INFO ] Load time of PNML (sax parser for PT used): 125 ms
[2023-04-06 20:24:50] [INFO ] Transformed 553 places.
[2023-04-06 20:24:50] [INFO ] Transformed 1960 transitions.
[2023-04-06 20:24:50] [INFO ] Found NUPN structural information;
[2023-04-06 20:24:50] [INFO ] Parsed PT model containing 553 places and 1960 transitions and 9212 arcs in 206 ms.
[2023-04-06 20:24:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 553 places, 1960 transitions and 9212 arcs took 27 ms.
Total runtime 267 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 07
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: 553 places, 1960 transitions, 9212 arcs.
AT ITER 0 NEW BEST:: SOT 825715 SOS 406612 HAS SOPS 273339 HAS SOUS 177612 HAS SOUPS 171579 WITH SCORE 171985.612
AT ITER 1 NEW BEST:: SOT 825715 SOS 406579 HAS SOPS 273273 HAS SOUS 177546 HAS SOUPS 171513 WITH SCORE 171919.579
AT ITER 7 NEW BEST:: SOT 825731 SOS 406318 HAS SOPS 273012 HAS SOUS 177480 HAS SOUPS 171447 WITH SCORE 171853.318
AT ITER 10 NEW BEST:: SOT 825597 SOS 406124 HAS SOPS 272374 HAS SOUS 177314 HAS SOUPS 171253 WITH SCORE 171659.124
AT ITER 13 NEW BEST:: SOT 825597 SOS 405959 HAS SOPS 272209 HAS SOUS 177314 HAS SOUPS 171253 WITH SCORE 171658.959
AT ITER 15 NEW BEST:: SOT 813720 SOS 394469 HAS SOPS 260719 HAS SOUS 165548 HAS SOUPS 159487 WITH SCORE 159881.469
AT ITER 22 NEW BEST:: SOT 813313 SOS 394559 HAS SOPS 260883 HAS SOUS 165553 HAS SOUPS 159414 WITH SCORE 159808.559
AT ITER 26 NEW BEST:: SOT 813185 SOS 394303 HAS SOPS 260627 HAS SOUS 165465 HAS SOUPS 159326 WITH SCORE 159720.303
AT ITER 27 NEW BEST:: SOT 812739 SOS 393494 HAS SOPS 259721 HAS SOUS 164792 HAS SOUPS 158540 WITH SCORE 158933.494
AT ITER 38 NEW BEST:: SOT 812686 SOS 393383 HAS SOPS 259610 HAS SOUS 164734 HAS SOUPS 158482 WITH SCORE 158875.383
AT ITER 40 NEW BEST:: SOT 812705 SOS 393533 HAS SOPS 259492 HAS SOUS 164628 HAS SOUPS 158376 WITH SCORE 158769.533
AT ITER 41 NEW BEST:: SOT 812684 SOS 393371 HAS SOPS 259322 HAS SOUS 164566 HAS SOUPS 158319 WITH SCORE 158712.371
AT ITER 47 NEW BEST:: SOT 812684 SOS 393323 HAS SOPS 259274 HAS SOUS 164566 HAS SOUPS 158319 WITH SCORE 158712.323
AT ITER 49 NEW BEST:: SOT 812684 SOS 393149 HAS SOPS 259100 HAS SOUS 164566 HAS SOUPS 158319 WITH SCORE 158712.149
AT ITER 56 NEW BEST:: SOT 812571 SOS 393945 HAS SOPS 259840 HAS SOUS 164309 HAS SOUPS 158062 WITH SCORE 158455.945
AT ITER 62 NEW BEST:: SOT 812284 SOS 393804 HAS SOPS 259579 HAS SOUS 163857 HAS SOUPS 157604 WITH SCORE 157997.804
AT ITER 71 NEW BEST:: SOT 812284 SOS 393478 HAS SOPS 259253 HAS SOUS 163746 HAS SOUPS 157493 WITH SCORE 157886.478
AT ITER 91 NEW BEST:: SOT 812170 SOS 393215 HAS SOPS 258990 HAS SOUS 163727 HAS SOUPS 157474 WITH SCORE 157867.215
AT ITER 96 NEW BEST:: SOT 812770 SOS 393865 HAS SOPS 258890 HAS SOUS 163577 HAS SOUPS 157324 WITH SCORE 157717.865
AT ITER 97 NEW BEST:: SOT 812753 SOS 393838 HAS SOPS 258863 HAS SOUS 163550 HAS SOUPS 157297 WITH SCORE 157690.838
AT ITER 100 NEW BEST:: SOT 812374 SOS 393992 HAS SOPS 259017 HAS SOUS 163353 HAS SOUPS 157100 WITH SCORE 157493.992
AT ITER 101 NEW BEST:: SOT 812374 SOS 393881 HAS SOPS 258906 HAS SOUS 163353 HAS SOUPS 157100 WITH SCORE 157493.881
AT ITER 102 NEW BEST:: SOT 812343 SOS 393788 HAS SOPS 258813 HAS SOUS 163291 HAS SOUPS 157038 WITH SCORE 157431.788
AT ITER 115 NEW BEST:: SOT 812213 SOS 393426 HAS SOPS 258451 HAS SOUS 163055 HAS SOUPS 156802 WITH SCORE 157195.426
AT ITER 116 NEW BEST:: SOT 812013 SOS 393026 HAS SOPS 256551 HAS SOUS 161255 HAS SOUPS 155002 WITH SCORE 155395.026
AT ITER 136 NEW BEST:: SOT 812013 SOS 392844 HAS SOPS 256369 HAS SOUS 161255 HAS SOUPS 155002 WITH SCORE 155394.844
AT ITER 139 NEW BEST:: SOT 811882 SOS 392582 HAS SOPS 256107 HAS SOUS 161167 HAS SOUPS 154914 WITH SCORE 155306.582
AT ITER 156 NEW BEST:: SOT 811843 SOS 392504 HAS SOPS 256029 HAS SOUS 161089 HAS SOUPS 154836 WITH SCORE 155228.504
AT ITER 158 NEW BEST:: SOT 811843 SOS 392316 HAS SOPS 255841 HAS SOUS 161089 HAS SOUPS 154836 WITH SCORE 155228.316
AT ITER 160 NEW BEST:: SOT 811843 SOS 392208 HAS SOPS 255733 HAS SOUS 161089 HAS SOUPS 154836 WITH SCORE 155228.208
AT ITER 161 NEW BEST:: SOT 806681 SOS 405549 HAS SOPS 250278 HAS SOUS 157680 HAS SOUPS 151271 WITH SCORE 151676.549
AT ITER 163 NEW BEST:: SOT 806659 SOS 405461 HAS SOPS 250190 HAS SOUS 157636 HAS SOUPS 151227 WITH SCORE 151632.461
AT ITER 165 NEW BEST:: SOT 806279 SOS 404973 HAS SOPS 248366 HAS SOUS 155956 HAS SOUPS 149547 WITH SCORE 149951.973
AT ITER 166 NEW BEST:: SOT 806272 SOS 404959 HAS SOPS 248352 HAS SOUS 155942 HAS SOUPS 149533 WITH SCORE 149937.959
AT ITER 175 NEW BEST:: SOT 805904 SOS 404703 HAS SOPS 248010 HAS SOUS 155716 HAS SOUPS 149221 WITH SCORE 149625.703
AT ITER 180 NEW BEST:: SOT 805619 SOS 404348 HAS SOPS 247698 HAS SOUS 155499 HAS SOUPS 148909 WITH SCORE 149313.348
AT ITER 182 NEW BEST:: SOT 805610 SOS 404312 HAS SOPS 247662 HAS SOUS 155481 HAS SOUPS 148891 WITH SCORE 149295.312
AT ITER 186 NEW BEST:: SOT 805610 SOS 404296 HAS SOPS 247646 HAS SOUS 155481 HAS SOUPS 148891 WITH SCORE 149295.296
AT ITER 189 NEW BEST:: SOT 805485 SOS 404477 HAS SOPS 248078 HAS SOUS 155393 HAS SOUPS 148803 WITH SCORE 149207.477
AT ITER 197 NEW BEST:: SOT 805485 SOS 404472 HAS SOPS 248073 HAS SOUS 155393 HAS SOUPS 148803 WITH SCORE 149207.472
AT ITER 198 NEW BEST:: SOT 805487 SOS 404526 HAS SOPS 247925 HAS SOUS 155289 HAS SOUPS 148655 WITH SCORE 149059.526
AT ITER 205 NEW BEST:: SOT 805487 SOS 404441 HAS SOPS 247840 HAS SOUS 155289 HAS SOUPS 148655 WITH SCORE 149059.441
AT ITER 207 NEW BEST:: SOT 805451 SOS 404384 HAS SOPS 247688 HAS SOUS 155252 HAS SOUPS 148618 WITH SCORE 149022.384
AT ITER 208 NEW BEST:: SOT 805494 SOS 404470 HAS SOPS 246843 HAS SOUS 155208 HAS SOUPS 148571 WITH SCORE 148975.47
AT ITER 211 NEW BEST:: SOT 805222 SOS 404243 HAS SOPS 246669 HAS SOUS 155034 HAS SOUPS 148397 WITH SCORE 148801.243
AT ITER 212 NEW BEST:: SOT 805222 SOS 404117 HAS SOPS 246543 HAS SOUS 155034 HAS SOUPS 148397 WITH SCORE 148801.117
AT ITER 214 NEW BEST:: SOT 805008 SOS 404890 HAS SOPS 247114 HAS SOUS 154578 HAS SOUPS 147941 WITH SCORE 148345.89
AT ITER 216 NEW BEST:: SOT 804979 SOS 404879 HAS SOPS 247103 HAS SOUS 154567 HAS SOUPS 147930 WITH SCORE 148334.879
AT ITER 218 NEW BEST:: SOT 804979 SOS 404028 HAS SOPS 246252 HAS SOUS 154567 HAS SOUPS 147930 WITH SCORE 148334.028
AT ITER 225 NEW BEST:: SOT 804941 SOS 403952 HAS SOPS 246252 HAS SOUS 154524 HAS SOUPS 147887 WITH SCORE 148290.952
AT ITER 226 NEW BEST:: SOT 804941 SOS 403902 HAS SOPS 246202 HAS SOUS 154512 HAS SOUPS 147875 WITH SCORE 148278.902
AT ITER 232 NEW BEST:: SOT 804854 SOS 403554 HAS SOPS 245854 HAS SOUS 154425 HAS SOUPS 147788 WITH SCORE 148191.554
AT ITER 233 NEW BEST:: SOT 804677 SOS 403337 HAS SOPS 245764 HAS SOUS 154313 HAS SOUPS 147676 WITH SCORE 148079.337
AT ITER 241 NEW BEST:: SOT 804667 SOS 403317 HAS SOPS 245744 HAS SOUS 154298 HAS SOUPS 147661 WITH SCORE 148064.317
AT ITER 243 NEW BEST:: SOT 804499 SOS 402783 HAS SOPS 245210 HAS SOUS 153956 HAS SOUPS 147319 WITH SCORE 147721.783
AT ITER 254 NEW BEST:: SOT 804499 SOS 402651 HAS SOPS 245078 HAS SOUS 153950 HAS SOUPS 147313 WITH SCORE 147715.651
AT ITER 256 NEW BEST:: SOT 804437 SOS 402522 HAS SOPS 244949 HAS SOUS 153821 HAS SOUPS 147184 WITH SCORE 147586.522
AT ITER 267 NEW BEST:: SOT 804437 SOS 402432 HAS SOPS 244859 HAS SOUS 153821 HAS SOUPS 147184 WITH SCORE 147586.432
AT ITER 272 NEW BEST:: SOT 804437 SOS 402276 HAS SOPS 244703 HAS SOUS 153821 HAS SOUPS 147184 WITH SCORE 147586.276
AT ITER 291 NEW BEST:: SOT 804437 SOS 402092 HAS SOPS 244519 HAS SOUS 153821 HAS SOUPS 147184 WITH SCORE 147586.092
AT ITER 293 NEW BEST:: SOT 804432 SOS 402154 HAS SOPS 244581 HAS SOUS 153811 HAS SOUPS 147174 WITH SCORE 147576.154
AT ITER 296 NEW BEST:: SOT 804251 SOS 401748 HAS SOPS 241177 HAS SOUS 150609 HAS SOUPS 143972 WITH SCORE 144373.748
AT ITER 300 NEW BEST:: SOT 804195 SOS 401674 HAS SOPS 241003 HAS SOUS 150533 HAS SOUPS 143896 WITH SCORE 144297.674
AT ITER 303 NEW BEST:: SOT 804168 SOS 401539 HAS SOPS 240868 HAS SOUS 150506 HAS SOUPS 143869 WITH SCORE 144270.539
AT ITER 313 NEW BEST:: SOT 804022 SOS 401393 HAS SOPS 240722 HAS SOUS 150360 HAS SOUPS 143723 WITH SCORE 144124.393
AT ITER 320 NEW BEST:: SOT 803442 SOS 400735 HAS SOPS 240358 HAS SOUS 149983 HAS SOUPS 143359 WITH SCORE 143759.735
AT ITER 324 NEW BEST:: SOT 803256 SOS 401462 HAS SOPS 241035 HAS SOUS 149769 HAS SOUPS 143145 WITH SCORE 143546.462
AT ITER 327 NEW BEST:: SOT 803256 SOS 401373 HAS SOPS 240946 HAS SOUS 149769 HAS SOUPS 143145 WITH SCORE 143546.373
AT ITER 338 NEW BEST:: SOT 795891 SOS 402750 HAS SOPS 234173 HAS SOUS 144104 HAS SOUPS 136685 WITH SCORE 137087.75
AT ITER 339 NEW BEST:: SOT 795765 SOS 402264 HAS SOPS 233687 HAS SOUS 143764 HAS SOUPS 136345 WITH SCORE 136747.264
AT ITER 359 NEW BEST:: SOT 795707 SOS 402353 HAS SOPS 234203 HAS SOUS 143715 HAS SOUPS 136296 WITH SCORE 136698.353
AT ITER 361 NEW BEST:: SOT 795626 SOS 401948 HAS SOPS 233798 HAS SOUS 143634 HAS SOUPS 136215 WITH SCORE 136616.948
AT ITER 365 NEW BEST:: SOT 795604 SOS 401955 HAS SOPS 233805 HAS SOUS 143585 HAS SOUPS 136166 WITH SCORE 136567.955
AT ITER 372 NEW BEST:: SOT 795568 SOS 401883 HAS SOPS 233733 HAS SOUS 143513 HAS SOUPS 136094 WITH SCORE 136495.883
AT ITER 377 NEW BEST:: SOT 795488 SOS 401850 HAS SOPS 233752 HAS SOUS 143560 HAS SOUPS 136072 WITH SCORE 136473.85
AT ITER 380 NEW BEST:: SOT 795330 SOS 401498 HAS SOPS 231110 HAS SOUS 141135 HAS SOUPS 133647 WITH SCORE 134048.498
AT ITER 385 NEW BEST:: SOT 795260 SOS 401484 HAS SOPS 231096 HAS SOUS 141121 HAS SOUPS 133633 WITH SCORE 134034.484
AT ITER 389 NEW BEST:: SOT 795240 SOS 401406 HAS SOPS 231018 HAS SOUS 141081 HAS SOUPS 133593 WITH SCORE 133994.406
AT ITER 394 NEW BEST:: SOT 795166 SOS 401416 HAS SOPS 231304 HAS SOUS 141045 HAS SOUPS 133557 WITH SCORE 133958.416
AT ITER 397 NEW BEST:: SOT 796293 SOS 402915 HAS SOPS 231266 HAS SOUS 140387 HAS SOUPS 132892 WITH SCORE 133294.915
AT ITER 403 NEW BEST:: SOT 796245 SOS 402753 HAS SOPS 231104 HAS SOUS 140285 HAS SOUPS 132790 WITH SCORE 133192.753
AT ITER 411 NEW BEST:: SOT 796175 SOS 402673 HAS SOPS 230964 HAS SOUS 140265 HAS SOUPS 132770 WITH SCORE 133172.673
AT ITER 418 NEW BEST:: SOT 796052 SOS 402227 HAS SOPS 230450 HAS SOUS 139957 HAS SOUPS 132462 WITH SCORE 132864.227
AT ITER 419 NEW BEST:: SOT 796052 SOS 402227 HAS SOPS 230450 HAS SOUS 139902 HAS SOUPS 132407 WITH SCORE 132809.227
AT ITER 420 NEW BEST:: SOT 795997 SOS 402532 HAS SOPS 230739 HAS SOUS 139828 HAS SOUPS 132333 WITH SCORE 132735.532
AT ITER 430 NEW BEST:: SOT 795992 SOS 402527 HAS SOPS 230724 HAS SOUS 139818 HAS SOUPS 132323 WITH SCORE 132725.527
AT ITER 440 NEW BEST:: SOT 795932 SOS 402467 HAS SOPS 230664 HAS SOUS 139758 HAS SOUPS 132263 WITH SCORE 132665.467
AT ITER 449 NEW BEST:: SOT 795856 SOS 402289 HAS SOPS 230486 HAS SOUS 139656 HAS SOUPS 132161 WITH SCORE 132563.289
AT ITER 450 NEW BEST:: SOT 795774 SOS 402125 HAS SOPS 230322 HAS SOUS 139307 HAS SOUPS 131864 WITH SCORE 132266.125
AT ITER 457 NEW BEST:: SOT 795774 SOS 402058 HAS SOPS 230255 HAS SOUS 139307 HAS SOUPS 131864 WITH SCORE 132266.058
AT ITER 458 NEW BEST:: SOT 795811 SOS 401870 HAS SOPS 230067 HAS SOUS 139293 HAS SOUPS 131850 WITH SCORE 132251.87
AT ITER 459 NEW BEST:: SOT 795811 SOS 401750 HAS SOPS 229947 HAS SOUS 139293 HAS SOUPS 131850 WITH SCORE 132251.75
AT ITER 460 NEW BEST:: SOT 795811 SOS 401600 HAS SOPS 229797 HAS SOUS 139293 HAS SOUPS 131850 WITH SCORE 132251.6
AT ITER 461 NEW BEST:: SOT 795768 SOS 401342 HAS SOPS 229539 HAS SOUS 139207 HAS SOUPS 131764 WITH SCORE 132165.342
AT ITER 462 NEW BEST:: SOT 795745 SOS 400666 HAS SOPS 228863 HAS SOUS 139161 HAS SOUPS 131718 WITH SCORE 132118.666
AT ITER 466 NEW BEST:: SOT 794401 SOS 399187 HAS SOPS 227447 HAS SOUS 138368 HAS SOUPS 130925 WITH SCORE 131324.187
AT ITER 472 NEW BEST:: SOT 794377 SOS 399085 HAS SOPS 227321 HAS SOUS 138198 HAS SOUPS 130799 WITH SCORE 131198.085
AT ITER 473 NEW BEST:: SOT 794835 SOS 399543 HAS SOPS 227747 HAS SOUS 138192 HAS SOUPS 130793 WITH SCORE 131192.543
AT ITER 511 NEW BEST:: SOT 794839 SOS 398715 HAS SOPS 226919 HAS SOUS 138191 HAS SOUPS 130792 WITH SCORE 131190.715
AT ITER 512 NEW BEST:: SOT 794839 SOS 398466 HAS SOPS 226670 HAS SOUS 138108 HAS SOUPS 130709 WITH SCORE 131107.466
AT ITER 514 NEW BEST:: SOT 790203 SOS 419638 HAS SOPS 251881 HAS SOUS 135037 HAS SOUPS 127638 WITH SCORE 128057.638
AT ITER 516 NEW BEST:: SOT 790109 SOS 419232 HAS SOPS 251475 HAS SOUS 134849 HAS SOUPS 127450 WITH SCORE 127869.232
AT ITER 531 NEW BEST:: SOT 790101 SOS 419224 HAS SOPS 251505 HAS SOUS 134826 HAS SOUPS 127442 WITH SCORE 127861.224
AT ITER 533 NEW BEST:: SOT 789958 SOS 418915 HAS SOPS 251196 HAS SOUS 134672 HAS SOUPS 127288 WITH SCORE 127706.915
AT ITER 538 NEW BEST:: SOT 789746 SOS 418652 HAS SOPS 250820 HAS SOUS 134429 HAS SOUPS 126986 WITH SCORE 127404.652
AT ITER 544 NEW BEST:: SOT 789709 SOS 418615 HAS SOPS 250746 HAS SOUS 134396 HAS SOUPS 126941 WITH SCORE 127359.615
AT ITER 552 NEW BEST:: SOT 789677 SOS 418561 HAS SOPS 250661 HAS SOUS 134326 HAS SOUPS 126871 WITH SCORE 127289.561
AT ITER 568 NEW BEST:: SOT 789636 SOS 418497 HAS SOPS 251117 HAS SOUS 134269 HAS SOUPS 126814 WITH SCORE 127232.497
AT ITER 573 NEW BEST:: SOT 789636 SOS 418281 HAS SOPS 250901 HAS SOUS 134242 HAS SOUPS 126787 WITH SCORE 127205.281
AT ITER 579 NEW BEST:: SOT 789658 SOS 418310 HAS SOPS 250938 HAS SOUS 134236 HAS SOUPS 126784 WITH SCORE 127202.31
AT ITER 580 NEW BEST:: SOT 789652 SOS 418281 HAS SOPS 250909 HAS SOUS 134224 HAS SOUPS 126772 WITH SCORE 127190.281
AT ITER 582 NEW BEST:: SOT 789652 SOS 418166 HAS SOPS 250794 HAS SOUS 134224 HAS SOUPS 126772 WITH SCORE 127190.166
AT ITER 609 NEW BEST:: SOT 789474 SOS 417988 HAS SOPS 250535 HAS SOUS 133965 HAS SOUPS 126513 WITH SCORE 126930.988
AT ITER 611 NEW BEST:: SOT 789437 SOS 417599 HAS SOPS 250146 HAS SOUS 133891 HAS SOUPS 126439 WITH SCORE 126856.599
AT ITER 617 NEW BEST:: SOT 789355 SOS 417354 HAS SOPS 249901 HAS SOUS 133646 HAS SOUPS 126194 WITH SCORE 126611.354
AT ITER 620 NEW BEST:: SOT 789081 SOS 417078 HAS SOPS 249612 HAS SOUS 133591 HAS SOUPS 126139 WITH SCORE 126556.078
AT ITER 633 NEW BEST:: SOT 789081 SOS 417012 HAS SOPS 249546 HAS SOUS 133591 HAS SOUPS 126139 WITH SCORE 126556.012
AT ITER 636 NEW BEST:: SOT 788991 SOS 416966 HAS SOPS 249500 HAS SOUS 133545 HAS SOUPS 126093 WITH SCORE 126509.966
AT ITER 637 NEW BEST:: SOT 788991 SOS 416921 HAS SOPS 249455 HAS SOUS 133545 HAS SOUPS 126093 WITH SCORE 126509.921
AT ITER 639 NEW BEST:: SOT 788991 SOS 416769 HAS SOPS 249303 HAS SOUS 133499 HAS SOUPS 126047 WITH SCORE 126463.769
AT ITER 647 NEW BEST:: SOT 788948 SOS 416597 HAS SOPS 249131 HAS SOUS 133370 HAS SOUPS 125918 WITH SCORE 126334.597
AT ITER 650 NEW BEST:: SOT 788909 SOS 416881 HAS SOPS 249147 HAS SOUS 133132 HAS SOUPS 125670 WITH SCORE 126086.881
AT ITER 677 NEW BEST:: SOT 788879 SOS 416761 HAS SOPS 249027 HAS SOUS 133042 HAS SOUPS 125580 WITH SCORE 125996.761
AT ITER 702 NEW BEST:: SOT 788578 SOS 416084 HAS SOPS 248316 HAS SOUS 133010 HAS SOUPS 125548 WITH SCORE 125964.084
AT ITER 709 NEW BEST:: SOT 788574 SOS 415821 HAS SOPS 248053 HAS SOUS 133002 HAS SOUPS 125540 WITH SCORE 125955.821
AT ITER 714 NEW BEST:: SOT 788574 SOS 415815 HAS SOPS 248047 HAS SOUS 132996 HAS SOUPS 125534 WITH SCORE 125949.815
AT ITER 715 NEW BEST:: SOT 788525 SOS 414892 HAS SOPS 247124 HAS SOUS 132995 HAS SOUPS 125533 WITH SCORE 125947.892
AT ITER 738 NEW BEST:: SOT 788501 SOS 414772 HAS SOPS 247004 HAS SOUS 132971 HAS SOUPS 125509 WITH SCORE 125923.772
AT ITER 740 NEW BEST:: SOT 788450 SOS 414721 HAS SOPS 246902 HAS SOUS 132855 HAS SOUPS 125325 WITH SCORE 125739.721
AT ITER 752 NEW BEST:: SOT 788397 SOS 414476 HAS SOPS 246573 HAS SOUS 132665 HAS SOUPS 125135 WITH SCORE 125549.476
AT ITER 761 NEW BEST:: SOT 788276 SOS 414355 HAS SOPS 246452 HAS SOUS 132665 HAS SOUPS 125135 WITH SCORE 125549.355
AT ITER 764 NEW BEST:: SOT 788245 SOS 414307 HAS SOPS 246404 HAS SOUS 132603 HAS SOUPS 125073 WITH SCORE 125487.307
AT ITER 771 NEW BEST:: SOT 788245 SOS 414307 HAS SOPS 246403 HAS SOUS 132602 HAS SOUPS 125072 WITH SCORE 125486.307
AT ITER 777 NEW BEST:: SOT 788189 SOS 414232 HAS SOPS 246291 HAS SOUS 132490 HAS SOUPS 124960 WITH SCORE 125374.232
AT ITER 780 NEW BEST:: SOT 788189 SOS 414256 HAS SOPS 246315 HAS SOUS 132482 HAS SOUPS 124952 WITH SCORE 125366.256
AT ITER 790 NEW BEST:: SOT 788187 SOS 414207 HAS SOPS 246207 HAS SOUS 132438 HAS SOUPS 124908 WITH SCORE 125322.207
AT ITER 792 NEW BEST:: SOT 788122 SOS 414142 HAS SOPS 246051 HAS SOUS 132434 HAS SOUPS 124830 WITH SCORE 125244.142
AT ITER 796 NEW BEST:: SOT 787634 SOS 413654 HAS SOPS 245563 HAS SOUS 131946 HAS SOUPS 124342 WITH SCORE 124755.654
AT ITER 797 NEW BEST:: SOT 787619 SOS 413624 HAS SOPS 245533 HAS SOUS 131916 HAS SOUPS 124312 WITH SCORE 124725.624
AT ITER 798 NEW BEST:: SOT 787552 SOS 413262 HAS SOPS 245171 HAS SOUS 131782 HAS SOUPS 124178 WITH SCORE 124591.262
AT ITER 799 NEW BEST:: SOT 787115 SOS 413505 HAS SOPS 244751 HAS SOUS 131545 HAS SOUPS 123889 WITH SCORE 124302.505
AT ITER 803 NEW BEST:: SOT 787211 SOS 413633 HAS SOPS 244505 HAS SOUS 131391 HAS SOUPS 123702 WITH SCORE 124115.633
AT ITER 821 NEW BEST:: SOT 787203 SOS 413665 HAS SOPS 244537 HAS SOUS 131375 HAS SOUPS 123686 WITH SCORE 124099.665
AT ITER 824 NEW BEST:: SOT 787120 SOS 413596 HAS SOPS 244468 HAS SOUS 131306 HAS SOUPS 123617 WITH SCORE 124030.596
AT ITER 828 NEW BEST:: SOT 787079 SOS 413473 HAS SOPS 244345 HAS SOUS 131188 HAS SOUPS 123499 WITH SCORE 123912.473
AT ITER 853 NEW BEST:: SOT 787041 SOS 413430 HAS SOPS 244307 HAS SOUS 131150 HAS SOUPS 123461 WITH SCORE 123874.43
AT ITER 856 NEW BEST:: SOT 786780 SOS 413130 HAS SOPS 243785 HAS SOUS 131094 HAS SOUPS 123405 WITH SCORE 123818.13
AT ITER 881 NEW BEST:: SOT 786758 SOS 413664 HAS SOPS 244417 HAS SOUS 130950 HAS SOUPS 123307 WITH SCORE 123720.664
AT ITER 886 NEW BEST:: SOT 786756 SOS 413662 HAS SOPS 244415 HAS SOUS 130948 HAS SOUPS 123305 WITH SCORE 123718.662
AT ITER 889 NEW BEST:: SOT 786756 SOS 413530 HAS SOPS 244283 HAS SOUS 130948 HAS SOUPS 123305 WITH SCORE 123718.53
AT ITER 891 NEW BEST:: SOT 786353 SOS 412907 HAS SOPS 243550 HAS SOUS 130300 HAS SOUPS 122615 WITH SCORE 123027.907
AT ITER 903 NEW BEST:: SOT 785928 SOS 412807 HAS SOPS 243346 HAS SOUS 130046 HAS SOUPS 122355 WITH SCORE 122767.807
AT ITER 906 NEW BEST:: SOT 785902 SOS 412409 HAS SOPS 242948 HAS SOUS 129994 HAS SOUPS 122303 WITH SCORE 122715.409
AT ITER 912 NEW BEST:: SOT 785879 SOS 412349 HAS SOPS 242888 HAS SOUS 129934 HAS SOUPS 122243 WITH SCORE 122655.349
AT ITER 921 NEW BEST:: SOT 785879 SOS 412174 HAS SOPS 242713 HAS SOUS 129934 HAS SOUPS 122243 WITH SCORE 122655.174
AT ITER 927 NEW BEST:: SOT 786185 SOS 412436 HAS SOPS 242332 HAS SOUS 129751 HAS SOUPS 122060 WITH SCORE 122472.436
AT ITER 929 NEW BEST:: SOT 786249 SOS 412341 HAS SOPS 242164 HAS SOUS 129745 HAS SOUPS 122054 WITH SCORE 122466.341
AT ITER 934 NEW BEST:: SOT 786249 SOS 412267 HAS SOPS 242090 HAS SOUS 129745 HAS SOUPS 122054 WITH SCORE 122466.267
AT ITER 939 NEW BEST:: SOT 787419 SOS 413515 HAS SOPS 243338 HAS SOUS 129667 HAS SOUPS 121976 WITH SCORE 122389.515
AT ITER 947 NEW BEST:: SOT 787347 SOS 413303 HAS SOPS 243126 HAS SOUS 129529 HAS SOUPS 121838 WITH SCORE 122251.303
AT ITER 956 NEW BEST:: SOT 787310 SOS 413488 HAS SOPS 243311 HAS SOUS 129492 HAS SOUPS 121801 WITH SCORE 122214.488
AT ITER 964 NEW BEST:: SOT 787274 SOS 413416 HAS SOPS 243239 HAS SOUS 129420 HAS SOUPS 121729 WITH SCORE 122142.416
AT ITER 976 NEW BEST:: SOT 787274 SOS 413353 HAS SOPS 243176 HAS SOUS 129420 HAS SOUPS 121729 WITH SCORE 122142.353
AT ITER 1006 NEW BEST:: SOT 787277 SOS 413231 HAS SOPS 243054 HAS SOUS 129412 HAS SOUPS 121721 WITH SCORE 122134.231
AT ITER 1007 NEW BEST:: SOT 787195 SOS 413149 HAS SOPS 242972 HAS SOUS 129298 HAS SOUPS 121607 WITH SCORE 122020.149
AT ITER 1008 NEW BEST:: SOT 787163 SOS 413117 HAS SOPS 242783 HAS SOUS 129251 HAS SOUPS 121418 WITH SCORE 121831.117
AT ITER 1009 NEW BEST:: SOT 787113 SOS 413222 HAS SOPS 242888 HAS SOUS 129160 HAS SOUPS 121327 WITH SCORE 121740.222
AT ITER 1027 NEW BEST:: SOT 787234 SOS 413459 HAS SOPS 242997 HAS SOUS 129159 HAS SOUPS 121326 WITH SCORE 121739.459
AT ITER 1033 NEW BEST:: SOT 787220 SOS 413333 HAS SOPS 242871 HAS SOUS 129131 HAS SOUPS 121298 WITH SCORE 121711.333
AT ITER 1034 NEW BEST:: SOT 787178 SOS 413268 HAS SOPS 242806 HAS SOUS 129066 HAS SOUPS 121233 WITH SCORE 121646.268
AT ITER 1039 NEW BEST:: SOT 787104 SOS 411603 HAS SOPS 241141 HAS SOUS 129059 HAS SOUPS 121226 WITH SCORE 121637.603
AT ITER 1042 NEW BEST:: SOT 786233 SOS 410631 HAS SOPS 245670 HAS SOUS 129037 HAS SOUPS 121219 WITH SCORE 121629.631
AT ITER 1046 NEW BEST:: SOT 786215 SOS 410612 HAS SOPS 245633 HAS SOUS 129018 HAS SOUPS 121200 WITH SCORE 121610.612
AT ITER 1059 NEW BEST:: SOT 786160 SOS 410557 HAS SOPS 245577 HAS SOUS 129010 HAS SOUPS 121198 WITH SCORE 121608.557
AT ITER 1070 NEW BEST:: SOT 786152 SOS 410541 HAS SOPS 245569 HAS SOUS 128994 HAS SOUPS 121190 WITH SCORE 121600.541
AT ITER 1076 NEW BEST:: SOT 786152 SOS 410535 HAS SOPS 245563 HAS SOUS 128991 HAS SOUPS 121187 WITH SCORE 121597.535
AT ITER 1084 NEW BEST:: SOT 786566 SOS 410958 HAS SOPS 245986 HAS SOUS 128921 HAS SOUPS 121117 WITH SCORE 121527.958
AT ITER 1095 NEW BEST:: SOT 785792 SOS 413789 HAS SOPS 245000 HAS SOUS 129002 HAS SOUPS 121061 WITH SCORE 121474.789
AT ITER 1114 NEW BEST:: SOT 785196 SOS 413117 HAS SOPS 244608 HAS SOUS 128604 HAS SOUPS 120669 WITH SCORE 121082.117
AT ITER 1124 NEW BEST:: SOT 785061 SOS 412982 HAS SOPS 244446 HAS SOUS 128604 HAS SOUPS 120669 WITH SCORE 121081.982
AT ITER 1126 NEW BEST:: SOT 785029 SOS 412852 HAS SOPS 244316 HAS SOUS 128572 HAS SOUPS 120637 WITH SCORE 121049.852
AT ITER 1151 NEW BEST:: SOT 785002 SOS 412546 HAS SOPS 244010 HAS SOUS 128518 HAS SOUPS 120583 WITH SCORE 120995.546
AT ITER 1155 NEW BEST:: SOT 785015 SOS 412572 HAS SOPS 243942 HAS SOUS 128450 HAS SOUPS 120515 WITH SCORE 120927.572
AT ITER 1163 NEW BEST:: SOT 785015 SOS 412572 HAS SOPS 243942 HAS SOUS 128381 HAS SOUPS 120446 WITH SCORE 120858.572
AT ITER 1188 NEW BEST:: SOT 784966 SOS 412376 HAS SOPS 243746 HAS SOUS 128332 HAS SOUPS 120397 WITH SCORE 120809.376
AT ITER 1190 NEW BEST:: SOT 784966 SOS 399308 HAS SOPS 230678 HAS SOUS 128332 HAS SOUPS 120397 WITH SCORE 120796.308
AT ITER 1201 NEW BEST:: SOT 784947 SOS 399301 HAS SOPS 230671 HAS SOUS 128313 HAS SOUPS 120378 WITH SCORE 120777.301
AT ITER 1205 NEW BEST:: SOT 784930 SOS 399288 HAS SOPS 230658 HAS SOUS 128300 HAS SOUPS 120365 WITH SCORE 120764.288
AT ITER 1227 NEW BEST:: SOT 784884 SOS 399196 HAS SOPS 230566 HAS SOUS 128156 HAS SOUPS 120221 WITH SCORE 120620.196
AT ITER 1230 NEW BEST:: SOT 784740 SOS 399022 HAS SOPS 230368 HAS SOUS 128126 HAS SOUPS 120191 WITH SCORE 120590.022
AT ITER 1232 NEW BEST:: SOT 784740 SOS 398953 HAS SOPS 230299 HAS SOUS 128114 HAS SOUPS 120179 WITH SCORE 120577.953
AT ITER 1236 NEW BEST:: SOT 784740 SOS 398985 HAS SOPS 230299 HAS SOUS 128145 HAS SOUPS 120178 WITH SCORE 120576.985
AT ITER 1244 NEW BEST:: SOT 784740 SOS 398880 HAS SOPS 230194 HAS SOUS 128145 HAS SOUPS 120178 WITH SCORE 120576.88
AT ITER 1251 NEW BEST:: SOT 784677 SOS 398414 HAS SOPS 229728 HAS SOUS 128019 HAS SOUPS 120052 WITH SCORE 120450.414
AT ITER 1261 NEW BEST:: SOT 785237 SOS 399001 HAS SOPS 226745 HAS SOUS 128011 HAS SOUPS 120044 WITH SCORE 120443.001
AT ITER 1262 NEW BEST:: SOT 785233 SOS 398993 HAS SOPS 226745 HAS SOUS 128010 HAS SOUPS 120044 WITH SCORE 120442.993
AT ITER 1263 NEW BEST:: SOT 785233 SOS 398989 HAS SOPS 226745 HAS SOUS 128010 HAS SOUPS 120044 WITH SCORE 120442.989
AT ITER 1264 NEW BEST:: SOT 785221 SOS 398979 HAS SOPS 226733 HAS SOUS 128000 HAS SOUPS 120032 WITH SCORE 120430.979
AT ITER 1288 NEW BEST:: SOT 785221 SOS 398971 HAS SOPS 226726 HAS SOUS 127943 HAS SOUPS 119975 WITH SCORE 120373.971
AT ITER 1291 NEW BEST:: SOT 782945 SOS 398423 HAS SOPS 224372 HAS SOUS 125963 HAS SOUPS 117774 WITH SCORE 118172.423
AT ITER 1298 NEW BEST:: SOT 782673 SOS 398577 HAS SOPS 224894 HAS SOUS 125941 HAS SOUPS 117752 WITH SCORE 118150.577
AT ITER 1311 NEW BEST:: SOT 782640 SOS 398547 HAS SOPS 224828 HAS SOUS 125904 HAS SOUPS 117686 WITH SCORE 118084.547
AT ITER 1327 NEW BEST:: SOT 782640 SOS 398457 HAS SOPS 224828 HAS SOUS 125904 HAS SOUPS 117686 WITH SCORE 118084.457
AT ITER 1331 NEW BEST:: SOT 782640 SOS 398457 HAS SOPS 224819 HAS SOUS 125895 HAS SOUPS 117677 WITH SCORE 118075.457
AT ITER 1334 NEW BEST:: SOT 782524 SOS 398341 HAS SOPS 224703 HAS SOUS 125784 HAS SOUPS 117561 WITH SCORE 117959.341
AT ITER 1335 NEW BEST:: SOT 782524 SOS 398213 HAS SOPS 224575 HAS SOUS 125784 HAS SOUPS 117561 WITH SCORE 117959.213
AT ITER 1337 NEW BEST:: SOT 782439 SOS 398329 HAS SOPS 224967 HAS SOUS 125737 HAS SOUPS 117514 WITH SCORE 117912.329
AT ITER 1349 NEW BEST:: SOT 782195 SOS 398045 HAS SOPS 224472 HAS SOUS 125728 HAS SOUPS 117505 WITH SCORE 117903.045
AT ITER 1370 NEW BEST:: SOT 782195 SOS 398045 HAS SOPS 224472 HAS SOUS 125727 HAS SOUPS 117504 WITH SCORE 117902.045
AT ITER 1376 NEW BEST:: SOT 782164 SOS 398045 HAS SOPS 224410 HAS SOUS 125661 HAS SOUPS 117442 WITH SCORE 117840.045
AT ITER 1382 NEW BEST:: SOT 782126 SOS 398006 HAS SOPS 224256 HAS SOUS 125507 HAS SOUPS 117288 WITH SCORE 117686.006
AT ITER 1386 NEW BEST:: SOT 782112 SOS 397960 HAS SOPS 224210 HAS SOUS 125479 HAS SOUPS 117260 WITH SCORE 117657.96
AT ITER 1387 NEW BEST:: SOT 781634 SOS 397391 HAS SOPS 222667 HAS SOUS 124363 HAS SOUPS 116144 WITH SCORE 116541.391
AT ITER 1402 NEW BEST:: SOT 781417 SOS 396946 HAS SOPS 222222 HAS SOUS 124218 HAS SOUPS 115999 WITH SCORE 116395.946
AT ITER 1425 NEW BEST:: SOT 781409 SOS 396914 HAS SOPS 222190 HAS SOUS 124194 HAS SOUPS 115975 WITH SCORE 116371.914
AT ITER 1428 NEW BEST:: SOT 781398 SOS 396954 HAS SOPS 222230 HAS SOUS 124172 HAS SOUPS 115953 WITH SCORE 116349.954
AT ITER 1433 NEW BEST:: SOT 781390 SOS 396788 HAS SOPS 222064 HAS SOUS 124156 HAS SOUPS 115937 WITH SCORE 116333.788
AT ITER 1448 NEW BEST:: SOT 781390 SOS 396767 HAS SOPS 222043 HAS SOUS 124156 HAS SOUPS 115937 WITH SCORE 116333.767
AT ITER 1454 NEW BEST:: SOT 781390 SOS 398286 HAS SOPS 223562 HAS SOUS 124081 HAS SOUPS 115862 WITH SCORE 116260.286
AT ITER 1460 NEW BEST:: SOT 781390 SOS 398202 HAS SOPS 223478 HAS SOUS 124081 HAS SOUPS 115862 WITH SCORE 116260.202
AT ITER 1479 NEW BEST:: SOT 781382 SOS 398187 HAS SOPS 223463 HAS SOUS 124066 HAS SOUPS 115847 WITH SCORE 116245.187
AT ITER 1487 NEW BEST:: SOT 780878 SOS 397655 HAS SOPS 222427 HAS SOUS 123534 HAS SOUPS 115315 WITH SCORE 115712.655
AT ITER 1498 NEW BEST:: SOT 780753 SOS 397622 HAS SOPS 222394 HAS SOUS 123534 HAS SOUPS 115315 WITH SCORE 115712.622
AT ITER 1500 NEW BEST:: SOT 780731 SOS 397433 HAS SOPS 222191 HAS SOUS 123484 HAS SOUPS 115265 WITH SCORE 115662.433
AT ITER 1511 NEW BEST:: SOT 780644 SOS 397930 HAS SOPS 222576 HAS SOUS 123272 HAS SOUPS 115053 WITH SCORE 115450.93
AT ITER 1539 NEW BEST:: SOT 780252 SOS 397538 HAS SOPS 222179 HAS SOUS 122877 HAS SOUPS 114656 WITH SCORE 115053.538
AT ITER 1540 NEW BEST:: SOT 780398 SOS 396088 HAS SOPS 222283 HAS SOUS 122633 HAS SOUPS 114454 WITH SCORE 114850.088
AT ITER 1589 NEW BEST:: SOT 780385 SOS 396075 HAS SOPS 222270 HAS SOUS 122607 HAS SOUPS 114428 WITH SCORE 114824.075
AT ITER 1592 NEW BEST:: SOT 780359 SOS 394805 HAS SOPS 221000 HAS SOUS 122451 HAS SOUPS 114272 WITH SCORE 114666.805
AT ITER 1599 NEW BEST:: SOT 780355 SOS 394799 HAS SOPS 220994 HAS SOUS 122445 HAS SOUPS 114266 WITH SCORE 114660.799
AT ITER 1603 NEW BEST:: SOT 780243 SOS 394664 HAS SOPS 220859 HAS SOUS 122342 HAS SOUPS 114163 WITH SCORE 114557.664
AT ITER 1608 NEW BEST:: SOT 780243 SOS 394615 HAS SOPS 220810 HAS SOUS 122342 HAS SOUPS 114163 WITH SCORE 114557.615
AT ITER 1615 NEW BEST:: SOT 780186 SOS 394406 HAS SOPS 220601 HAS SOUS 122278 HAS SOUPS 114099 WITH SCORE 114493.406
AT ITER 1617 NEW BEST:: SOT 780177 SOS 394351 HAS SOPS 220583 HAS SOUS 122269 HAS SOUPS 114090 WITH SCORE 114484.351
AT ITER 1619 NEW BEST:: SOT 780114 SOS 394250 HAS SOPS 220482 HAS SOUS 122168 HAS SOUPS 113989 WITH SCORE 114383.25
AT ITER 1623 NEW BEST:: SOT 780142 SOS 394210 HAS SOPS 220405 HAS SOUS 122061 HAS SOUPS 113882 WITH SCORE 114276.21
AT ITER 1625 NEW BEST:: SOT 779843 SOS 393869 HAS SOPS 219807 HAS SOUS 122014 HAS SOUPS 113793 WITH SCORE 114186.869
AT ITER 1628 NEW BEST:: SOT 779843 SOS 393572 HAS SOPS 219510 HAS SOUS 122014 HAS SOUPS 113793 WITH SCORE 114186.572
AT ITER 1644 NEW BEST:: SOT 779768 SOS 393422 HAS SOPS 218856 HAS SOUS 121792 HAS SOUPS 113571 WITH SCORE 113964.422
AT ITER 1647 NEW BEST:: SOT 779635 SOS 393127 HAS SOPS 218723 HAS SOUS 121681 HAS SOUPS 113460 WITH SCORE 113853.127
AT ITER 1650 NEW BEST:: SOT 779619 SOS 393002 HAS SOPS 218598 HAS SOUS 121680 HAS SOUPS 113459 WITH SCORE 113852.002
AT ITER 1654 NEW BEST:: SOT 779619 SOS 392997 HAS SOPS 218593 HAS SOUS 121680 HAS SOUPS 113459 WITH SCORE 113851.997
AT ITER 1671 NEW BEST:: SOT 779502 SOS 393161 HAS SOPS 218885 HAS SOUS 121569 HAS SOUPS 113348 WITH SCORE 113741.161
AT ITER 1673 NEW BEST:: SOT 779474 SOS 393109 HAS SOPS 218833 HAS SOUS 121513 HAS SOUPS 113292 WITH SCORE 113685.109
AT ITER 1683 NEW BEST:: SOT 779350 SOS 392985 HAS SOPS 218693 HAS SOUS 121485 HAS SOUPS 113264 WITH SCORE 113656.985
AT ITER 1684 NEW BEST:: SOT 779240 SOS 392693 HAS SOPS 218401 HAS SOUS 121452 HAS SOUPS 113231 WITH SCORE 113623.693
AT ITER 1691 NEW BEST:: SOT 779240 SOS 392507 HAS SOPS 218215 HAS SOUS 121354 HAS SOUPS 113133 WITH SCORE 113525.507
AT ITER 1701 NEW BEST:: SOT 779173 SOS 392967 HAS SOPS 218675 HAS SOUS 121273 HAS SOUPS 113052 WITH SCORE 113444.967
AT ITER 1706 NEW BEST:: SOT 778605 SOS 393666 HAS SOPS 217688 HAS SOUS 121243 HAS SOUPS 112946 WITH SCORE 113339.666
AT ITER 1709 NEW BEST:: SOT 778566 SOS 393627 HAS SOPS 217603 HAS SOUS 121181 HAS SOUPS 112861 WITH SCORE 113254.627
AT ITER 1710 NEW BEST:: SOT 778574 SOS 393643 HAS SOPS 217600 HAS SOUS 121178 HAS SOUPS 112858 WITH SCORE 113251.643
AT ITER 1725 NEW BEST:: SOT 778574 SOS 393553 HAS SOPS 217510 HAS SOUS 121148 HAS SOUPS 112828 WITH SCORE 113221.553
AT ITER 1727 NEW BEST:: SOT 778377 SOS 393246 HAS SOPS 217165 HAS SOUS 120854 HAS SOUPS 112534 WITH SCORE 112927.246
AT ITER 1737 NEW BEST:: SOT 778245 SOS 393114 HAS SOPS 216973 HAS SOUS 120662 HAS SOUPS 112342 WITH SCORE 112735.114
AT ITER 1739 NEW BEST:: SOT 778215 SOS 393072 HAS SOPS 216913 HAS SOUS 120602 HAS SOUPS 112282 WITH SCORE 112675.072
AT ITER 1740 NEW BEST:: SOT 778068 SOS 393324 HAS SOPS 216722 HAS SOUS 120559 HAS SOUPS 112196 WITH SCORE 112589.324
AT ITER 1745 NEW BEST:: SOT 778111 SOS 393179 HAS SOPS 215957 HAS SOUS 120585 HAS SOUPS 112160 WITH SCORE 112553.179
AT ITER 1746 NEW BEST:: SOT 778073 SOS 392899 HAS SOPS 215677 HAS SOUS 120509 HAS SOUPS 112084 WITH SCORE 112476.899
AT ITER 1757 NEW BEST:: SOT 777949 SOS 392431 HAS SOPS 215209 HAS SOUS 120385 HAS SOUPS 111960 WITH SCORE 112352.431
AT ITER 1758 NEW BEST:: SOT 777877 SOS 392323 HAS SOPS 215101 HAS SOUS 120313 HAS SOUPS 111888 WITH SCORE 112280.323
AT ITER 1762 NEW BEST:: SOT 777504 SOS 391908 HAS SOPS 214643 HAS SOUS 120228 HAS SOUPS 111803 WITH SCORE 112194.908
AT ITER 1778 NEW BEST:: SOT 777417 SOS 391821 HAS SOPS 212990 HAS SOUS 118662 HAS SOUPS 110237 WITH SCORE 110628.821
AT ITER 1781 NEW BEST:: SOT 777417 SOS 391769 HAS SOPS 212938 HAS SOUS 118648 HAS SOUPS 110223 WITH SCORE 110614.769
AT ITER 1794 NEW BEST:: SOT 777914 SOS 392263 HAS SOPS 210273 HAS SOUS 115698 HAS SOUPS 107273 WITH SCORE 107665.263
AT ITER 1821 NEW BEST:: SOT 777914 SOS 391987 HAS SOPS 209997 HAS SOUS 115698 HAS SOUPS 107273 WITH SCORE 107664.987
AT ITER 1824 NEW BEST:: SOT 778150 SOS 392223 HAS SOPS 210223 HAS SOUS 115303 HAS SOUPS 106889 WITH SCORE 107281.223
AT ITER 1831 NEW BEST:: SOT 778228 SOS 392301 HAS SOPS 210274 HAS SOUS 115219 HAS SOUPS 106805 WITH SCORE 107197.301
AT ITER 1839 NEW BEST:: SOT 778244 SOS 392317 HAS SOPS 210306 HAS SOUS 115180 HAS SOUPS 106766 WITH SCORE 107158.317
AT ITER 1844 NEW BEST:: SOT 778244 SOS 392173 HAS SOPS 210162 HAS SOUS 115162 HAS SOUPS 106748 WITH SCORE 107140.173
AT ITER 1847 NEW BEST:: SOT 778212 SOS 395119 HAS SOPS 210081 HAS SOUS 115123 HAS SOUPS 106688 WITH SCORE 107083.119
AT ITER 1853 NEW BEST:: SOT 778164 SOS 395047 HAS SOPS 210033 HAS SOUS 115075 HAS SOUPS 106640 WITH SCORE 107035.047
AT ITER 1867 NEW BEST:: SOT 778152 SOS 395120 HAS SOPS 209783 HAS SOUS 115007 HAS SOUPS 106390 WITH SCORE 106785.12
AT ITER 1870 NEW BEST:: SOT 777425 SOS 395064 HAS SOPS 208980 HAS SOUS 115055 HAS SOUPS 106282 WITH SCORE 106677.064
AT ITER 1873 NEW BEST:: SOT 777417 SOS 395054 HAS SOPS 208936 HAS SOUS 115015 HAS SOUPS 106242 WITH SCORE 106637.054
AT ITER 1877 NEW BEST:: SOT 777410 SOS 395047 HAS SOPS 208936 HAS SOUS 115022 HAS SOUPS 106242 WITH SCORE 106637.047
AT ITER 1907 NEW BEST:: SOT 777412 SOS 395049 HAS SOPS 208899 HAS SOUS 114985 HAS SOUPS 106205 WITH SCORE 106600.049
AT ITER 1910 NEW BEST:: SOT 777369 SOS 396443 HAS SOPS 210410 HAS SOUS 114895 HAS SOUPS 106115 WITH SCORE 106511.443
AT ITER 1912 NEW BEST:: SOT 777286 SOS 396306 HAS SOPS 210273 HAS SOUS 114791 HAS SOUPS 106011 WITH SCORE 106407.306
AT ITER 1920 NEW BEST:: SOT 777286 SOS 396270 HAS SOPS 210237 HAS SOUS 114784 HAS SOUPS 106004 WITH SCORE 106400.27
AT ITER 1934 NEW BEST:: SOT 776949 SOS 396008 HAS SOPS 209878 HAS SOUS 114771 HAS SOUPS 105991 WITH SCORE 106387.008
AT ITER 1938 NEW BEST:: SOT 776931 SOS 395984 HAS SOPS 209854 HAS SOUS 114735 HAS SOUPS 105955 WITH SCORE 106350.984
AT ITER 1946 NEW BEST:: SOT 776928 SOS 395981 HAS SOPS 209845 HAS SOUS 114726 HAS SOUPS 105946 WITH SCORE 106341.981
AT ITER 1950 NEW BEST:: SOT 776812 SOS 395505 HAS SOPS 209369 HAS SOUS 114622 HAS SOUPS 105842 WITH SCORE 106237.505
AT ITER 1971 NEW BEST:: SOT 776291 SOS 394912 HAS SOPS 209119 HAS SOUS 114261 HAS SOUPS 105592 WITH SCORE 105986.912
AT ITER 1983 NEW BEST:: SOT 775855 SOS 394476 HAS SOPS 208811 HAS SOUS 113978 HAS SOUPS 105284 WITH SCORE 105678.476
AT ITER 2005 NEW BEST:: SOT 775975 SOS 394596 HAS SOPS 208943 HAS SOUS 113929 HAS SOUPS 105260 WITH SCORE 105654.596
AT ITER 2011 NEW BEST:: SOT 775852 SOS 394413 HAS SOPS 208760 HAS SOUS 113631 HAS SOUPS 104962 WITH SCORE 105356.413
AT ITER 2021 NEW BEST:: SOT 775852 SOS 394406 HAS SOPS 208753 HAS SOUS 113631 HAS SOUPS 104962 WITH SCORE 105356.406
AT ITER 2026 NEW BEST:: SOT 775355 SOS 393822 HAS SOPS 208114 HAS SOUS 113445 HAS SOUPS 104776 WITH SCORE 105169.822
AT ITER 2027 NEW BEST:: SOT 775346 SOS 393828 HAS SOPS 208120 HAS SOUS 113427 HAS SOUPS 104758 WITH SCORE 105151.828
AT ITER 2029 NEW BEST:: SOT 775102 SOS 393584 HAS SOPS 207876 HAS SOUS 113351 HAS SOUPS 104682 WITH SCORE 105075.584
AT ITER 2046 NEW BEST:: SOT 774960 SOS 393537 HAS SOPS 207949 HAS SOUS 113340 HAS SOUPS 104671 WITH SCORE 105064.537
AT ITER 2060 NEW BEST:: SOT 774960 SOS 393537 HAS SOPS 207942 HAS SOUS 113333 HAS SOUPS 104664 WITH SCORE 105057.537
AT ITER 2067 NEW BEST:: SOT 774957 SOS 393539 HAS SOPS 207944 HAS SOUS 113327 HAS SOUPS 104658 WITH SCORE 105051.539
AT ITER 2078 NEW BEST:: SOT 773696 SOS 392278 HAS SOPS 207702 HAS SOUS 113056 HAS SOUPS 104416 WITH SCORE 104808.278
AT ITER 2087 NEW BEST:: SOT 773626 SOS 392287 HAS SOPS 207482 HAS SOUS 112725 HAS SOUPS 104085 WITH SCORE 104477.287
AT ITER 2137 NEW BEST:: SOT 773612 SOS 392273 HAS SOPS 207480 HAS SOUS 112723 HAS SOUPS 104083 WITH SCORE 104475.273
AT ITER 2149 NEW BEST:: SOT 773612 SOS 392323 HAS SOPS 207530 HAS SOUS 112720 HAS SOUPS 104080 WITH SCORE 104472.323
AT ITER 2162 NEW BEST:: SOT 773596 SOS 392327 HAS SOPS 207534 HAS SOUS 112688 HAS SOUPS 104048 WITH SCORE 104440.327
AT ITER 2164 NEW BEST:: SOT 773531 SOS 392145 HAS SOPS 207391 HAS SOUS 112571 HAS SOUPS 103931 WITH SCORE 104323.145
AT ITER 2181 NEW BEST:: SOT 773506 SOS 392295 HAS SOPS 207541 HAS SOUS 112546 HAS SOUPS 103906 WITH SCORE 104298.295
AT ITER 2199 NEW BEST:: SOT 773538 SOS 392293 HAS SOPS 207467 HAS SOUS 112472 HAS SOUPS 103832 WITH SCORE 104224.293
AT ITER 2202 NEW BEST:: SOT 773535 SOS 392290 HAS SOPS 207461 HAS SOUS 112469 HAS SOUPS 103826 WITH SCORE 104218.29
AT ITER 2228 NEW BEST:: SOT 773535 SOS 392299 HAS SOPS 207470 HAS SOUS 112380 HAS SOUPS 103737 WITH SCORE 104129.299
AT ITER 2229 NEW BEST:: SOT 773571 SOS 392398 HAS SOPS 207569 HAS SOUS 112353 HAS SOUPS 103710 WITH SCORE 104102.398
AT ITER 2234 NEW BEST:: SOT 773571 SOS 392373 HAS SOPS 207544 HAS SOUS 112353 HAS SOUPS 103710 WITH SCORE 104102.373
AT ITER 2235 NEW BEST:: SOT 773570 SOS 392373 HAS SOPS 207543 HAS SOUS 112416 HAS SOUPS 103709 WITH SCORE 104101.373
AT ITER 2237 NEW BEST:: SOT 773534 SOS 391725 HAS SOPS 206895 HAS SOUS 112285 HAS SOUPS 103578 WITH SCORE 103969.725
AT ITER 2246 NEW BEST:: SOT 773347 SOS 391538 HAS SOPS 206708 HAS SOUS 112098 HAS SOUPS 103391 WITH SCORE 103782.538
AT ITER 2263 NEW BEST:: SOT 773347 SOS 391510 HAS SOPS 206680 HAS SOUS 112070 HAS SOUPS 103363 WITH SCORE 103754.51
AT ITER 2281 NEW BEST:: SOT 772562 SOS 395777 HAS SOPS 205972 HAS SOUS 112184 HAS SOUPS 103356 WITH SCORE 103751.777
AT ITER 2297 NEW BEST:: SOT 772489 SOS 395631 HAS SOPS 205826 HAS SOUS 112038 HAS SOUPS 103210 WITH SCORE 103605.631
AT ITER 2324 NEW BEST:: SOT 772400 SOS 395558 HAS SOPS 205634 HAS SOUS 111853 HAS SOUPS 103018 WITH SCORE 103413.558
AT ITER 2329 NEW BEST:: SOT 772199 SOS 396127 HAS SOPS 205350 HAS SOUS 111776 HAS SOUPS 102758 WITH SCORE 103154.127
AT ITER 2356 NEW BEST:: SOT 772151 SOS 395937 HAS SOPS 205160 HAS SOUS 111735 HAS SOUPS 102717 WITH SCORE 103112.937
AT ITER 2373 NEW BEST:: SOT 772136 SOS 395907 HAS SOPS 205130 HAS SOUS 111705 HAS SOUPS 102687 WITH SCORE 103082.907
AT ITER 2393 NEW BEST:: SOT 772145 SOS 398432 HAS SOPS 205121 HAS SOUS 111660 HAS SOUPS 102662 WITH SCORE 103060.432
AT ITER 2401 NEW BEST:: SOT 772594 SOS 398881 HAS SOPS 204870 HAS SOUS 111458 HAS SOUPS 102460 WITH SCORE 102858.881
AT ITER 2407 NEW BEST:: SOT 772477 SOS 398704 HAS SOPS 204636 HAS SOUS 111247 HAS SOUPS 102249 WITH SCORE 102647.704
AT ITER 2423 NEW BEST:: SOT 772473 SOS 398650 HAS SOPS 204582 HAS SOUS 111239 HAS SOUPS 102241 WITH SCORE 102639.65
AT ITER 2425 NEW BEST:: SOT 772473 SOS 398500 HAS SOPS 204432 HAS SOUS 111207 HAS SOUPS 102209 WITH SCORE 102607.5
AT ITER 2426 NEW BEST:: SOT 772473 SOS 398465 HAS SOPS 204397 HAS SOUS 111207 HAS SOUPS 102209 WITH SCORE 102607.465
AT ITER 2440 NEW BEST:: SOT 772473 SOS 398410 HAS SOPS 204287 HAS SOUS 111180 HAS SOUPS 102154 WITH SCORE 102552.41
AT ITER 2460 NEW BEST:: SOT 772473 SOS 398459 HAS SOPS 204271 HAS SOUS 111164 HAS SOUPS 102138 WITH SCORE 102536.459
AT ITER 2481 NEW BEST:: SOT 772012 SOS 397927 HAS SOPS 203810 HAS SOUS 111129 HAS SOUPS 102103 WITH SCORE 102500.927
AT ITER 2488 NEW BEST:: SOT 771844 SOS 397963 HAS SOPS 203966 HAS SOUS 110882 HAS SOUPS 101856 WITH SCORE 102253.963
AT ITER 2507 NEW BEST:: SOT 771834 SOS 397948 HAS SOPS 203951 HAS SOUS 110872 HAS SOUPS 101846 WITH SCORE 102243.948
AT ITER 2508 NEW BEST:: SOT 771803 SOS 397641 HAS SOPS 203644 HAS SOUS 110810 HAS SOUPS 101784 WITH SCORE 102181.641
AT ITER 2509 NEW BEST:: SOT 771727 SOS 397555 HAS SOPS 203542 HAS SOUS 110778 HAS SOUPS 101752 WITH SCORE 102149.555
AT ITER 2515 NEW BEST:: SOT 771364 SOS 397164 HAS SOPS 203113 HAS SOUS 110666 HAS SOUPS 101640 WITH SCORE 102037.164
AT ITER 2527 NEW BEST:: SOT 771364 SOS 397136 HAS SOPS 203085 HAS SOUS 110666 HAS SOUPS 101640 WITH SCORE 102037.136
AT ITER 2530 NEW BEST:: SOT 771753 SOS 397525 HAS SOPS 203461 HAS SOUS 110640 HAS SOUPS 101614 WITH SCORE 102011.525
AT ITER 2535 NEW BEST:: SOT 771539 SOS 397258 HAS SOPS 203033 HAS SOUS 110607 HAS SOUPS 101581 WITH SCORE 101978.258
AT ITER 2548 NEW BEST:: SOT 771487 SOS 397189 HAS SOPS 202964 HAS SOUS 110571 HAS SOUPS 101545 WITH SCORE 101942.189
AT ITER 2589 NEW BEST:: SOT 771233 SOS 396921 HAS SOPS 202936 HAS SOUS 110543 HAS SOUPS 101517 WITH SCORE 101913.921
AT ITER 2596 NEW BEST:: SOT 771226 SOS 396655 HAS SOPS 202670 HAS SOUS 110529 HAS SOUPS 101503 WITH SCORE 101899.655
AT ITER 2605 NEW BEST:: SOT 771110 SOS 396539 HAS SOPS 202549 HAS SOUS 110473 HAS SOUPS 101447 WITH SCORE 101843.539
AT ITER 2609 NEW BEST:: SOT 771017 SOS 396377 HAS SOPS 202545 HAS SOUS 110469 HAS SOUPS 101443 WITH SCORE 101839.377
AT ITER 2642 NEW BEST:: SOT 771003 SOS 396039 HAS SOPS 202216 HAS SOUS 110441 HAS SOUPS 101415 WITH SCORE 101811.039
AT ITER 2648 NEW BEST:: SOT 770984 SOS 396001 HAS SOPS 202178 HAS SOUS 110403 HAS SOUPS 101377 WITH SCORE 101773.001
AT ITER 2649 NEW BEST:: SOT 770926 SOS 396155 HAS SOPS 202332 HAS SOUS 110300 HAS SOUPS 101274 WITH SCORE 101670.155
AT ITER 2679 NEW BEST:: SOT 770926 SOS 396164 HAS SOPS 202341 HAS SOUS 110291 HAS SOUPS 101265 WITH SCORE 101661.164
AT ITER 2686 NEW BEST:: SOT 770926 SOS 396164 HAS SOPS 202309 HAS SOUS 110259 HAS SOUPS 101233 WITH SCORE 101629.164
AT ITER 2689 NEW BEST:: SOT 770813 SOS 395938 HAS SOPS 202083 HAS SOUS 110237 HAS SOUPS 101211 WITH SCORE 101606.938
AT ITER 2694 NEW BEST:: SOT 770787 SOS 395931 HAS SOPS 202321 HAS SOUS 110221 HAS SOUPS 101127 WITH SCORE 101522.931
AT ITER 2705 NEW BEST:: SOT 770786 SOS 395930 HAS SOPS 202320 HAS SOUS 110219 HAS SOUPS 101125 WITH SCORE 101520.93
AT ITER 2714 NEW BEST:: SOT 770762 SOS 395834 HAS SOPS 202224 HAS SOUS 110195 HAS SOUPS 101101 WITH SCORE 101496.834
AT ITER 2723 NEW BEST:: SOT 770727 SOS 396419 HAS SOPS 202809 HAS SOUS 110160 HAS SOUPS 101066 WITH SCORE 101462.419
AT ITER 2729 NEW BEST:: SOT 770688 SOS 396341 HAS SOPS 202731 HAS SOUS 110143 HAS SOUPS 101049 WITH SCORE 101445.341
AT ITER 2750 NEW BEST:: SOT 770685 SOS 396353 HAS SOPS 202743 HAS SOUS 110137 HAS SOUPS 101043 WITH SCORE 101439.353
AT ITER 2763 NEW BEST:: SOT 770773 SOS 396422 HAS SOPS 201995 HAS SOUS 110074 HAS SOUPS 100980 WITH SCORE 101376.422
AT ITER 2771 NEW BEST:: SOT 770738 SOS 396177 HAS SOPS 201750 HAS SOUS 110004 HAS SOUPS 100910 WITH SCORE 101306.177
AT ITER 2773 NEW BEST:: SOT 770738 SOS 396177 HAS SOPS 201750 HAS SOUS 109908 HAS SOUPS 100814 WITH SCORE 101210.177
AT ITER 2790 NEW BEST:: SOT 770704 SOS 396127 HAS SOPS 201682 HAS SOUS 109858 HAS SOUPS 100746 WITH SCORE 101142.127
AT ITER 2795 NEW BEST:: SOT 770777 SOS 396208 HAS SOPS 201905 HAS SOUS 109806 HAS SOUPS 100694 WITH SCORE 101090.208
AT ITER 2815 NEW BEST:: SOT 770772 SOS 396131 HAS SOPS 201828 HAS SOUS 109796 HAS SOUPS 100684 WITH SCORE 101080.131
AT ITER 2818 NEW BEST:: SOT 770517 SOS 395855 HAS SOPS 201732 HAS SOUS 109796 HAS SOUPS 100684 WITH SCORE 101079.855
AT ITER 2839 NEW BEST:: SOT 771018 SOS 396356 HAS SOPS 202238 HAS SOUS 109769 HAS SOUPS 100657 WITH SCORE 101053.356
AT ITER 2850 NEW BEST:: SOT 771067 SOS 396468 HAS SOPS 202455 HAS SOUS 109552 HAS SOUPS 100440 WITH SCORE 100836.468
AT ITER 2867 NEW BEST:: SOT 771063 SOS 396464 HAS SOPS 202447 HAS SOUS 109547 HAS SOUPS 100432 WITH SCORE 100828.464
AT ITER 2872 NEW BEST:: SOT 771010 SOS 396411 HAS SOPS 202394 HAS SOUS 109494 HAS SOUPS 100379 WITH SCORE 100775.411
AT ITER 2877 NEW BEST:: SOT 771010 SOS 396401 HAS SOPS 202384 HAS SOUS 109494 HAS SOUPS 100379 WITH SCORE 100775.401
AT ITER 2885 NEW BEST:: SOT 770958 SOS 396147 HAS SOPS 202130 HAS SOUS 109442 HAS SOUPS 100327 WITH SCORE 100723.147
AT ITER 2893 NEW BEST:: SOT 770958 SOS 396119 HAS SOPS 202102 HAS SOUS 109442 HAS SOUPS 100327 WITH SCORE 100723.119
AT ITER 2906 NEW BEST:: SOT 770957 SOS 396224 HAS SOPS 202207 HAS SOUS 109295 HAS SOUPS 100180 WITH SCORE 100576.224
AT ITER 2910 NEW BEST:: SOT 770890 SOS 396113 HAS SOPS 202125 HAS SOUS 109213 HAS SOUPS 100098 WITH SCORE 100494.113
AT ITER 2911 NEW BEST:: SOT 769799 SOS 401538 HAS SOPS 201362 HAS SOUS 109339 HAS SOUPS 100034 WITH SCORE 100435.538
AT ITER 2926 NEW BEST:: SOT 770409 SOS 402148 HAS SOPS 201742 HAS SOUS 109282 HAS SOUPS 100019 WITH SCORE 100421.148
AT ITER 2928 NEW BEST:: SOT 770602 SOS 402018 HAS SOPS 201448 HAS SOUS 109146 HAS SOUPS 99883 WITH SCORE 100285.018
AT ITER 2932 NEW BEST:: SOT 770440 SOS 401966 HAS SOPS 201387 HAS SOUS 109138 HAS SOUPS 99875 WITH SCORE 100276.966
AT ITER 2940 NEW BEST:: SOT 770356 SOS 401882 HAS SOPS 201303 HAS SOUS 109054 HAS SOUPS 99791 WITH SCORE 100192.882
AT ITER 2959 NEW BEST:: SOT 770443 SOS 401795 HAS SOPS 201216 HAS SOUS 109054 HAS SOUPS 99791 WITH SCORE 100192.795
AT ITER 2965 NEW BEST:: SOT 770443 SOS 401767 HAS SOPS 201188 HAS SOUS 109054 HAS SOUPS 99791 WITH SCORE 100192.767
AT ITER 2967 NEW BEST:: SOT 770443 SOS 401853 HAS SOPS 201273 HAS SOUS 109053 HAS SOUPS 99790 WITH SCORE 100191.853
AT ITER 2979 NEW BEST:: SOT 770390 SOS 401903 HAS SOPS 201354 HAS SOUS 108982 HAS SOUPS 99719 WITH SCORE 100120.903
AT ITER 2988 NEW BEST:: SOT 770390 SOS 401683 HAS SOPS 201208 HAS SOUS 108982 HAS SOUPS 99719 WITH SCORE 100120.683
AT ITER 2990 NEW BEST:: SOT 770390 SOS 401683 HAS SOPS 201194 HAS SOUS 108962 HAS SOUPS 99705 WITH SCORE 100106.683
AT ITER 2994 NEW BEST:: SOT 770390 SOS 400685 HAS SOPS 200141 HAS SOUS 108923 HAS SOUPS 99666 WITH SCORE 100066.685
AT ITER 3002 NEW BEST:: SOT 770359 SOS 400589 HAS SOPS 199907 HAS SOUS 108733 HAS SOUPS 99476 WITH SCORE 99876.589
AT ITER 3010 NEW BEST:: SOT 770305 SOS 400532 HAS SOPS 199841 HAS SOUS 108718 HAS SOUPS 99461 WITH SCORE 99861.532
AT ITER 3015 NEW BEST:: SOT 769976 SOS 401283 HAS SOPS 199542 HAS SOUS 108595 HAS SOUPS 99308 WITH SCORE 99709.283
AT ITER 3018 NEW BEST:: SOT 769763 SOS 401228 HAS SOPS 199603 HAS SOUS 108544 HAS SOUPS 99257 WITH SCORE 99658.228
AT ITER 3028 NEW BEST:: SOT 769725 SOS 401199 HAS SOPS 199527 HAS SOUS 108440 HAS SOUPS 99191 WITH SCORE 99592.199
AT ITER 3036 NEW BEST:: SOT 769725 SOS 400749 HAS SOPS 199077 HAS SOUS 108440 HAS SOUPS 99191 WITH SCORE 99591.749
AT ITER 3048 NEW BEST:: SOT 769123 SOS 399927 HAS SOPS 197822 HAS SOUS 108248 HAS SOUPS 98999 WITH SCORE 99398.927
AT ITER 3049 NEW BEST:: SOT 769123 SOS 399503 HAS SOPS 197398 HAS SOUS 108248 HAS SOUPS 98999 WITH SCORE 99398.503
AT ITER 3054 NEW BEST:: SOT 769148 SOS 399478 HAS SOPS 197373 HAS SOUS 108248 HAS SOUPS 98999 WITH SCORE 99398.478
AT ITER 3073 NEW BEST:: SOT 769108 SOS 399260 HAS SOPS 197189 HAS SOUS 108133 HAS SOUPS 98884 WITH SCORE 99283.26
AT ITER 3089 NEW BEST:: SOT 769108 SOS 399224 HAS SOPS 197153 HAS SOUS 108133 HAS SOUPS 98884 WITH SCORE 99283.224
AT ITER 3101 NEW BEST:: SOT 769219 SOS 399308 HAS SOPS 196947 HAS SOUS 108012 HAS SOUPS 98763 WITH SCORE 99162.308
AT ITER 3122 NEW BEST:: SOT 769149 SOS 399168 HAS SOPS 196807 HAS SOUS 107872 HAS SOUPS 98623 WITH SCORE 99022.168
AT ITER 3125 NEW BEST:: SOT 769105 SOS 399101 HAS SOPS 196696 HAS SOUS 107761 HAS SOUPS 98512 WITH SCORE 98911.101
AT ITER 3146 NEW BEST:: SOT 768940 SOS 398936 HAS SOPS 196366 HAS SOUS 107387 HAS SOUPS 98182 WITH SCORE 98580.936
AT ITER 3159 NEW BEST:: SOT 769056 SOS 399074 HAS SOPS 196504 HAS SOUS 107377 HAS SOUPS 98172 WITH SCORE 98571.074
AT ITER 3160 NEW BEST:: SOT 768942 SOS 398903 HAS SOPS 196333 HAS SOUS 107206 HAS SOUPS 98001 WITH SCORE 98399.903
AT ITER 3188 NEW BEST:: SOT 768922 SOS 398883 HAS SOPS 196317 HAS SOUS 107186 HAS SOUPS 97985 WITH SCORE 98383.883
AT ITER 3199 NEW BEST:: SOT 768863 SOS 398885 HAS SOPS 196319 HAS SOUS 107068 HAS SOUPS 97867 WITH SCORE 98265.885
AT ITER 3214 NEW BEST:: SOT 768849 SOS 398778 HAS SOPS 196212 HAS SOUS 107063 HAS SOUPS 97862 WITH SCORE 98260.778
AT ITER 3254 NEW BEST:: SOT 768834 SOS 398763 HAS SOPS 196182 HAS SOUS 107051 HAS SOUPS 97832 WITH SCORE 98230.763
AT ITER 3263 NEW BEST:: SOT 768806 SOS 398735 HAS SOPS 196140 HAS SOUS 107009 HAS SOUPS 97790 WITH SCORE 98188.735
AT ITER 3271 NEW BEST:: SOT 768889 SOS 398818 HAS SOPS 196230 HAS SOUS 106986 HAS SOUPS 97767 WITH SCORE 98165.818
AT ITER 3276 NEW BEST:: SOT 768873 SOS 398798 HAS SOPS 196190 HAS SOUS 106983 HAS SOUPS 97764 WITH SCORE 98162.798
AT ITER 3280 NEW BEST:: SOT 768663 SOS 398623 HAS SOPS 195770 HAS SOUS 106969 HAS SOUPS 97750 WITH SCORE 98148.623
AT ITER 3281 NEW BEST:: SOT 768643 SOS 398111 HAS SOPS 195713 HAS SOUS 106954 HAS SOUPS 97739 WITH SCORE 98137.111
AT ITER 3292 NEW BEST:: SOT 768647 SOS 398105 HAS SOPS 195721 HAS SOUS 106939 HAS SOUPS 97724 WITH SCORE 98122.105
AT ITER 3301 NEW BEST:: SOT 768633 SOS 398119 HAS SOPS 195735 HAS SOUS 106925 HAS SOUPS 97710 WITH SCORE 98108.119
AT ITER 3327 NEW BEST:: SOT 768623 SOS 398109 HAS SOPS 195693 HAS SOUS 106887 HAS SOUPS 97668 WITH SCORE 98066.109
AT ITER 3338 NEW BEST:: SOT 768482 SOS 397883 HAS SOPS 195503 HAS SOUS 106705 HAS SOUPS 97486 WITH SCORE 97883.883
AT ITER 3343 NEW BEST:: SOT 768482 SOS 397867 HAS SOPS 195487 HAS SOUS 106705 HAS SOUPS 97486 WITH SCORE 97883.867
AT ITER 3345 NEW BEST:: SOT 768437 SOS 397697 HAS SOPS 195317 HAS SOUS 106695 HAS SOUPS 97476 WITH SCORE 97873.697
AT ITER 3348 NEW BEST:: SOT 768119 SOS 397604 HAS SOPS 195243 HAS SOUS 106602 HAS SOUPS 97383 WITH SCORE 97780.604
AT ITER 3355 NEW BEST:: SOT 768053 SOS 397527 HAS SOPS 195166 HAS SOUS 106591 HAS SOUPS 97372 WITH SCORE 97769.527
AT ITER 3357 NEW BEST:: SOT 768077 SOS 397578 HAS SOPS 195245 HAS SOUS 106500 HAS SOUPS 97281 WITH SCORE 97678.578
AT ITER 3370 NEW BEST:: SOT 768045 SOS 397546 HAS SOPS 195213 HAS SOUS 106468 HAS SOUPS 97249 WITH SCORE 97646.546
AT ITER 3386 NEW BEST:: SOT 768039 SOS 397314 HAS SOPS 194884 HAS SOUS 106439 HAS SOUPS 97220 WITH SCORE 97617.314
AT ITER 3427 NEW BEST:: SOT 767975 SOS 397330 HAS SOPS 194900 HAS SOUS 106356 HAS SOUPS 97137 WITH SCORE 97534.33
AT ITER 3435 NEW BEST:: SOT 767935 SOS 397298 HAS SOPS 194860 HAS SOUS 106324 HAS SOUPS 97097 WITH SCORE 97494.298
AT ITER 3445 NEW BEST:: SOT 767924 SOS 397287 HAS SOPS 194860 HAS SOUS 106313 HAS SOUPS 97086 WITH SCORE 97483.287
AT ITER 3458 NEW BEST:: SOT 767588 SOS 396925 HAS SOPS 194266 HAS SOUS 105833 HAS SOUPS 96606 WITH SCORE 97002.925
AT ITER 3459 NEW BEST:: SOT 767560 SOS 396973 HAS SOPS 194314 HAS SOUS 105829 HAS SOUPS 96602 WITH SCORE 96998.973
AT ITER 3473 NEW BEST:: SOT 767536 SOS 397023 HAS SOPS 194364 HAS SOUS 105819 HAS SOUPS 96592 WITH SCORE 96989.023
AT ITER 3478 NEW BEST:: SOT 767486 SOS 396973 HAS SOPS 194364 HAS SOUS 105819 HAS SOUPS 96592 WITH SCORE 96988.973
AT ITER 3489 NEW BEST:: SOT 767477 SOS 396964 HAS SOPS 194338 HAS SOUS 105795 HAS SOUPS 96566 WITH SCORE 96962.964
AT ITER 3553 NEW BEST:: SOT 767451 SOS 396938 HAS SOPS 194314 HAS SOUS 105771 HAS SOUPS 96542 WITH SCORE 96938.938
AT ITER 3565 NEW BEST:: SOT 767546 SOS 396548 HAS SOPS 193492 HAS SOUS 105597 HAS SOUPS 96368 WITH SCORE 96764.548
AT ITER 3581 NEW BEST:: SOT 765612 SOS 394605 HAS SOPS 191549 HAS SOUS 105342 HAS SOUPS 96113 WITH SCORE 96507.605
AT ITER 3600 NEW BEST:: SOT 765735 SOS 394691 HAS SOPS 191506 HAS SOUS 105331 HAS SOUPS 96102 WITH SCORE 96496.691
AT ITER 3614 NEW BEST:: SOT 765669 SOS 394592 HAS SOPS 191407 HAS SOUS 105265 HAS SOUPS 96036 WITH SCORE 96430.592
AT ITER 3615 NEW BEST:: SOT 765649 SOS 394562 HAS SOPS 191387 HAS SOUS 105245 HAS SOUPS 96016 WITH SCORE 96410.562
AT ITER 3624 NEW BEST:: SOT 765649 SOS 394391 HAS SOPS 191216 HAS SOUS 105200 HAS SOUPS 95971 WITH SCORE 96365.391
AT ITER 3639 NEW BEST:: SOT 766169 SOS 395002 HAS SOPS 192101 HAS SOUS 105138 HAS SOUPS 95909 WITH SCORE 96304.002
AT ITER 3664 NEW BEST:: SOT 766204 SOS 395002 HAS SOPS 192136 HAS SOUS 104986 HAS SOUPS 95757 WITH SCORE 96152.002
AT ITER 3704 NEW BEST:: SOT 766143 SOS 394879 HAS SOPS 191900 HAS SOUS 104750 HAS SOUPS 95521 WITH SCORE 95915.879
AT ITER 3714 NEW BEST:: SOT 766201 SOS 394836 HAS SOPS 191888 HAS SOUS 104738 HAS SOUPS 95509 WITH SCORE 95903.836
AT ITER 3722 NEW BEST:: SOT 766201 SOS 394780 HAS SOPS 191832 HAS SOUS 104725 HAS SOUPS 95496 WITH SCORE 95890.78
AT ITER 3733 NEW BEST:: SOT 766231 SOS 394883 HAS SOPS 191617 HAS SOUS 104633 HAS SOUPS 95379 WITH SCORE 95773.883
AT ITER 3749 NEW BEST:: SOT 766225 SOS 394889 HAS SOPS 191617 HAS SOUS 104621 HAS SOUPS 95367 WITH SCORE 95761.889
AT ITER 3760 NEW BEST:: SOT 766183 SOS 394847 HAS SOPS 191585 HAS SOUS 104589 HAS SOUPS 95335 WITH SCORE 95729.847
AT ITER 3784 NEW BEST:: SOT 766181 SOS 394841 HAS SOPS 191579 HAS SOUS 104585 HAS SOUPS 95331 WITH SCORE 95725.841
AT ITER 3785 NEW BEST:: SOT 766465 SOS 394762 HAS SOPS 191112 HAS SOUS 103959 HAS SOUPS 94705 WITH SCORE 95099.762
AT ITER 3795 NEW BEST:: SOT 766092 SOS 394342 HAS SOPS 191036 HAS SOUS 103911 HAS SOUPS 94629 WITH SCORE 95023.342
AT ITER 3802 NEW BEST:: SOT 765460 SOS 393549 HAS SOPS 190184 HAS SOUS 103822 HAS SOUPS 94540 WITH SCORE 94933.549
AT ITER 3817 NEW BEST:: SOT 765380 SOS 393469 HAS SOPS 190109 HAS SOUS 103742 HAS SOUPS 94465 WITH SCORE 94858.469
AT ITER 3818 NEW BEST:: SOT 765267 SOS 393280 HAS SOPS 190106 HAS SOUS 103690 HAS SOUPS 94413 WITH SCORE 94806.28
AT ITER 3839 NEW BEST:: SOT 765267 SOS 393259 HAS SOPS 190085 HAS SOUS 103690 HAS SOUPS 94413 WITH SCORE 94806.259
AT ITER 3847 NEW BEST:: SOT 765237 SOS 393229 HAS SOPS 190040 HAS SOUS 103645 HAS SOUPS 94368 WITH SCORE 94761.229
AT ITER 3859 NEW BEST:: SOT 764849 SOS 392808 HAS SOPS 189614 HAS SOUS 103262 HAS SOUPS 93985 WITH SCORE 94377.808
AT ITER 3864 NEW BEST:: SOT 764633 SOS 393136 HAS SOPS 189271 HAS SOUS 103185 HAS SOUPS 93870 WITH SCORE 94263.136
AT ITER 3884 NEW BEST:: SOT 764623 SOS 393116 HAS SOPS 189251 HAS SOUS 103165 HAS SOUPS 93850 WITH SCORE 94243.116
AT ITER 3886 NEW BEST:: SOT 764619 SOS 392213 HAS SOPS 188348 HAS SOUS 103157 HAS SOUPS 93842 WITH SCORE 94234.213
AT ITER 3896 NEW BEST:: SOT 764619 SOS 392213 HAS SOPS 188224 HAS SOUS 103131 HAS SOUPS 93718 WITH SCORE 94110.213
AT ITER 3901 NEW BEST:: SOT 764611 SOS 392216 HAS SOPS 188227 HAS SOUS 103126 HAS SOUPS 93713 WITH SCORE 94105.216
AT ITER 3903 NEW BEST:: SOT 764598 SOS 392203 HAS SOPS 188227 HAS SOUS 103113 HAS SOUPS 93713 WITH SCORE 94105.203
AT ITER 3925 NEW BEST:: SOT 764526 SOS 392052 HAS SOPS 188076 HAS SOUS 103045 HAS SOUPS 93645 WITH SCORE 94037.052
AT ITER 3942 NEW BEST:: SOT 764470 SOS 391940 HAS SOPS 187964 HAS SOUS 102933 HAS SOUPS 93533 WITH SCORE 93924.94
AT ITER 3972 NEW BEST:: SOT 764437 SOS 391874 HAS SOPS 187898 HAS SOUS 102922 HAS SOUPS 93467 WITH SCORE 93858.874
AT ITER 3998 NEW BEST:: SOT 764291 SOS 391728 HAS SOPS 187708 HAS SOUS 102844 HAS SOUPS 93373 WITH SCORE 93764.728
AT ITER 4014 NEW BEST:: SOT 764314 SOS 391731 HAS SOPS 187688 HAS SOUS 102824 HAS SOUPS 93353 WITH SCORE 93744.731
AT ITER 4031 NEW BEST:: SOT 764306 SOS 391731 HAS SOPS 187688 HAS SOUS 102816 HAS SOUPS 93345 WITH SCORE 93736.731
AT ITER 4056 NEW BEST:: SOT 764228 SOS 391653 HAS SOPS 187675 HAS SOUS 102803 HAS SOUPS 93332 WITH SCORE 93723.653
AT ITER 4063 NEW BEST:: SOT 764204 SOS 391617 HAS SOPS 187567 HAS SOUS 102779 HAS SOUPS 93296 WITH SCORE 93687.617
AT ITER 4076 NEW BEST:: SOT 764189 SOS 383428 HAS SOPS 178321 HAS SOUS 102510 HAS SOUPS 93027 WITH SCORE 93410.428
AT ITER 4104 NEW BEST:: SOT 764284 SOS 383550 HAS SOPS 178511 HAS SOUS 102476 HAS SOUPS 92993 WITH SCORE 93376.55
AT ITER 4113 NEW BEST:: SOT 764267 SOS 383516 HAS SOPS 178477 HAS SOUS 102442 HAS SOUPS 92959 WITH SCORE 93342.516
AT ITER 4116 NEW BEST:: SOT 764267 SOS 383436 HAS SOPS 178397 HAS SOUS 102442 HAS SOUPS 92959 WITH SCORE 93342.436
AT ITER 4118 NEW BEST:: SOT 764246 SOS 383383 HAS SOPS 178344 HAS SOUS 102400 HAS SOUPS 92917 WITH SCORE 93300.383
AT ITER 4123 NEW BEST:: SOT 764225 SOS 383404 HAS SOPS 178365 HAS SOUS 102358 HAS SOUPS 92875 WITH SCORE 93258.404
AT ITER 4127 NEW BEST:: SOT 764225 SOS 383353 HAS SOPS 178314 HAS SOUS 102341 HAS SOUPS 92858 WITH SCORE 93241.353
AT ITER 4148 NEW BEST:: SOT 764225 SOS 383338 HAS SOPS 178299 HAS SOUS 102341 HAS SOUPS 92858 WITH SCORE 93241.338
AT ITER 4165 NEW BEST:: SOT 764184 SOS 383256 HAS SOPS 178217 HAS SOUS 102259 HAS SOUPS 92776 WITH SCORE 93159.256
AT ITER 4167 NEW BEST:: SOT 764112 SOS 383275 HAS SOPS 178113 HAS SOUS 102243 HAS SOUPS 92744 WITH SCORE 93127.275
AT ITER 4190 NEW BEST:: SOT 764044 SOS 383144 HAS SOPS 177982 HAS SOUS 102233 HAS SOUPS 92734 WITH SCORE 93117.144
AT ITER 4198 NEW BEST:: SOT 764029 SOS 383114 HAS SOPS 177952 HAS SOUS 102203 HAS SOUPS 92704 WITH SCORE 93087.114
AT ITER 4201 NEW BEST:: SOT 763780 SOS 383808 HAS SOPS 177726 HAS SOUS 102115 HAS SOUPS 92593 WITH SCORE 92976.808
AT ITER 4208 NEW BEST:: SOT 763756 SOS 383823 HAS SOPS 177696 HAS SOUS 102118 HAS SOUPS 92590 WITH SCORE 92973.823
AT ITER 4238 NEW BEST:: SOT 763756 SOS 383823 HAS SOPS 177696 HAS SOUS 102116 HAS SOUPS 92588 WITH SCORE 92971.823
AT ITER 4259 NEW BEST:: SOT 763715 SOS 384059 HAS SOPS 177906 HAS SOUS 101976 HAS SOUPS 92448 WITH SCORE 92832.059
AT ITER 4280 NEW BEST:: SOT 763679 SOS 383977 HAS SOPS 177834 HAS SOUS 101904 HAS SOUPS 92376 WITH SCORE 92759.977
AT ITER 4302 NEW BEST:: SOT 763978 SOS 384269 HAS SOPS 177946 HAS SOUS 101872 HAS SOUPS 92344 WITH SCORE 92728.269
AT ITER 4331 NEW BEST:: SOT 763841 SOS 384119 HAS SOPS 177900 HAS SOUS 101826 HAS SOUPS 92298 WITH SCORE 92682.119
AT ITER 4337 NEW BEST:: SOT 763836 SOS 384109 HAS SOPS 177895 HAS SOUS 101816 HAS SOUPS 92293 WITH SCORE 92677.109
AT ITER 4352 NEW BEST:: SOT 763816 SOS 383869 HAS SOPS 177655 HAS SOUS 101758 HAS SOUPS 92235 WITH SCORE 92618.869
AT ITER 4386 NEW BEST:: SOT 763788 SOS 383853 HAS SOPS 177639 HAS SOUS 101699 HAS SOUPS 92176 WITH SCORE 92559.853
AT ITER 4395 NEW BEST:: SOT 763764 SOS 383829 HAS SOPS 177551 HAS SOUS 101691 HAS SOUPS 92168 WITH SCORE 92551.829
AT ITER 4426 NEW BEST:: SOT 763764 SOS 383860 HAS SOPS 177520 HAS SOUS 101660 HAS SOUPS 92137 WITH SCORE 92520.86
AT ITER 4476 NEW BEST:: SOT 763764 SOS 383807 HAS SOPS 177467 HAS SOUS 101607 HAS SOUPS 92084 WITH SCORE 92467.807
AT ITER 4492 NEW BEST:: SOT 763790 SOS 383807 HAS SOPS 177493 HAS SOUS 101602 HAS SOUPS 92079 WITH SCORE 92462.807
AT ITER 4516 NEW BEST:: SOT 763702 SOS 383663 HAS SOPS 177306 HAS SOUS 101442 HAS SOUPS 91892 WITH SCORE 92275.663
AT ITER 4519 NEW BEST:: SOT 763727 SOS 383688 HAS SOPS 177356 HAS SOUS 101436 HAS SOUPS 91889 WITH SCORE 92272.688
AT ITER 4562 NEW BEST:: SOT 763711 SOS 383762 HAS SOPS 177430 HAS SOUS 101404 HAS SOUPS 91857 WITH SCORE 92240.762
AT ITER 4605 NEW BEST:: SOT 763711 SOS 383594 HAS SOPS 177262 HAS SOUS 101387 HAS SOUPS 91840 WITH SCORE 92223.594
AT ITER 4607 NEW BEST:: SOT 763887 SOS 380535 HAS SOPS 177149 HAS SOUS 101243 HAS SOUPS 91718 WITH SCORE 92098.535
AT ITER 4627 NEW BEST:: SOT 763881 SOS 380528 HAS SOPS 177143 HAS SOUS 101243 HAS SOUPS 91718 WITH SCORE 92098.528
AT ITER 4657 NEW BEST:: SOT 764073 SOS 380720 HAS SOPS 177111 HAS SOUS 101211 HAS SOUPS 91686 WITH SCORE 92066.72
AT ITER 4676 NEW BEST:: SOT 764073 SOS 380757 HAS SOPS 177172 HAS SOUS 101206 HAS SOUPS 91681 WITH SCORE 92061.757
AT ITER 4678 NEW BEST:: SOT 764041 SOS 380661 HAS SOPS 177076 HAS SOUS 101174 HAS SOUPS 91649 WITH SCORE 92029.661
AT ITER 4681 NEW BEST:: SOT 764041 SOS 380654 HAS SOPS 177069 HAS SOUS 101167 HAS SOUPS 91642 WITH SCORE 92022.654
AT ITER 4682 NEW BEST:: SOT 764012 SOS 380604 HAS SOPS 177019 HAS SOUS 101151 HAS SOUPS 91626 WITH SCORE 92006.604
AT ITER 4697 NEW BEST:: SOT 763977 SOS 380569 HAS SOPS 176965 HAS SOUS 101110 HAS SOUPS 91585 WITH SCORE 91965.569
AT ITER 4699 NEW BEST:: SOT 763944 SOS 380437 HAS SOPS 176833 HAS SOUS 101044 HAS SOUPS 91519 WITH SCORE 91899.437
AT ITER 4713 NEW BEST:: SOT 763944 SOS 380223 HAS SOPS 176619 HAS SOUS 101039 HAS SOUPS 91514 WITH SCORE 91894.223
AT ITER 4817 NEW BEST:: SOT 763944 SOS 380221 HAS SOPS 176617 HAS SOUS 101017 HAS SOUPS 91492 WITH SCORE 91872.221
AT ITER 4818 NEW BEST:: SOT 763935 SOS 380203 HAS SOPS 176599 HAS SOUS 100999 HAS SOUPS 91474 WITH SCORE 91854.203
AT ITER 4826 NEW BEST:: SOT 763881 SOS 380105 HAS SOPS 176347 HAS SOUS 100891 HAS SOUPS 91366 WITH SCORE 91746.105
AT ITER 4835 NEW BEST:: SOT 763868 SOS 379806 HAS SOPS 176048 HAS SOUS 100865 HAS SOUPS 91340 WITH SCORE 91719.806
AT ITER 4839 NEW BEST:: SOT 763868 SOS 379806 HAS SOPS 176042 HAS SOUS 100859 HAS SOUPS 91334 WITH SCORE 91713.806
AT ITER 4849 NEW BEST:: SOT 763826 SOS 379802 HAS SOPS 176053 HAS SOUS 100836 HAS SOUPS 91311 WITH SCORE 91690.802
AT ITER 4874 NEW BEST:: SOT 763826 SOS 378984 HAS SOPS 175235 HAS SOUS 100754 HAS SOUPS 91229 WITH SCORE 91607.984
AT ITER 4892 NEW BEST:: SOT 763826 SOS 378960 HAS SOPS 175211 HAS SOUS 100754 HAS SOUPS 91229 WITH SCORE 91607.96
AT ITER 4923 NEW BEST:: SOT 763801 SOS 378969 HAS SOPS 175220 HAS SOUS 100736 HAS SOUPS 91211 WITH SCORE 91589.969
AT ITER 4931 NEW BEST:: SOT 763777 SOS 378945 HAS SOPS 175200 HAS SOUS 100712 HAS SOUPS 91191 WITH SCORE 91569.945
AT ITER 4941 NEW BEST:: SOT 763772 SOS 378940 HAS SOPS 175190 HAS SOUS 100702 HAS SOUPS 91181 WITH SCORE 91559.94
AT ITER 4978 NEW BEST:: SOT 763759 SOS 378827 HAS SOPS 175052 HAS SOUS 100676 HAS SOUPS 91155 WITH SCORE 91533.827
AT ITER 4989 NEW BEST:: SOT 763861 SOS 378876 HAS SOPS 175101 HAS SOUS 100599 HAS SOUPS 91078 WITH SCORE 91456.876
AT ITER 5006 NEW BEST:: SOT 763776 SOS 378839 HAS SOPS 174931 HAS SOUS 100429 HAS SOUPS 90908 WITH SCORE 91286.839
AT ITER 5019 NEW BEST:: SOT 763766 SOS 378808 HAS SOPS 174900 HAS SOUS 100409 HAS SOUPS 90888 WITH SCORE 91266.808
AT ITER 5034 NEW BEST:: SOT 763586 SOS 378978 HAS SOPS 175155 HAS SOUS 100352 HAS SOUPS 90831 WITH SCORE 91209.978
AT ITER 5064 NEW BEST:: SOT 763573 SOS 379008 HAS SOPS 175185 HAS SOUS 100326 HAS SOUPS 90805 WITH SCORE 91184.008
AT ITER 5075 NEW BEST:: SOT 763492 SOS 378816 HAS SOPS 174812 HAS SOUS 100297 HAS SOUPS 90776 WITH SCORE 91154.816
AT ITER 5082 NEW BEST:: SOT 763492 SOS 378796 HAS SOPS 174792 HAS SOUS 100287 HAS SOUPS 90766 WITH SCORE 91144.796
AT ITER 5102 NEW BEST:: SOT 763490 SOS 378778 HAS SOPS 174774 HAS SOUS 100285 HAS SOUPS 90764 WITH SCORE 91142.778
AT ITER 5120 NEW BEST:: SOT 763500 SOS 378782 HAS SOPS 174739 HAS SOUS 100250 HAS SOUPS 90729 WITH SCORE 91107.782
AT ITER 5138 NEW BEST:: SOT 763520 SOS 379166 HAS SOPS 175030 HAS SOUS 100196 HAS SOUPS 90675 WITH SCORE 91054.166
AT ITER 5145 NEW BEST:: SOT 763439 SOS 378984 HAS SOPS 174932 HAS SOUS 100098 HAS SOUPS 90577 WITH SCORE 90955.984
AT ITER 5148 NEW BEST:: SOT 763387 SOS 378911 HAS SOPS 174880 HAS SOUS 100046 HAS SOUPS 90525 WITH SCORE 90903.911
AT ITER 5156 NEW BEST:: SOT 763387 SOS 378910 HAS SOPS 174879 HAS SOUS 100045 HAS SOUPS 90524 WITH SCORE 90902.91
AT ITER 5157 NEW BEST:: SOT 763337 SOS 378860 HAS SOPS 174479 HAS SOUS 100005 HAS SOUPS 90484 WITH SCORE 90862.86
AT ITER 5170 NEW BEST:: SOT 763337 SOS 378817 HAS SOPS 174436 HAS SOUS 99998 HAS SOUPS 90477 WITH SCORE 90855.817
AT ITER 5219 NEW BEST:: SOT 763308 SOS 378755 HAS SOPS 174374 HAS SOUS 99973 HAS SOUPS 90452 WITH SCORE 90830.755
AT ITER 5270 NEW BEST:: SOT 763309 SOS 378699 HAS SOPS 174318 HAS SOUS 99953 HAS SOUPS 90432 WITH SCORE 90810.699
AT ITER 5282 NEW BEST:: SOT 763307 SOS 378697 HAS SOPS 174316 HAS SOUS 99949 HAS SOUPS 90428 WITH SCORE 90806.697
AT ITER 5283 NEW BEST:: SOT 763325 SOS 378840 HAS SOPS 174237 HAS SOUS 99905 HAS SOUPS 90325 WITH SCORE 90703.84
AT ITER 5294 NEW BEST:: SOT 763371 SOS 379433 HAS SOPS 174830 HAS SOUS 99878 HAS SOUPS 90298 WITH SCORE 90677.433
AT ITER 5311 NEW BEST:: SOT 763357 SOS 379419 HAS SOPS 174802 HAS SOUS 99860 HAS SOUPS 90270 WITH SCORE 90649.419
AT ITER 5315 NEW BEST:: SOT 763327 SOS 379389 HAS SOPS 174757 HAS SOUS 99815 HAS SOUPS 90225 WITH SCORE 90604.389
AT ITER 5323 NEW BEST:: SOT 763263 SOS 379479 HAS SOPS 174847 HAS SOUS 99774 HAS SOUPS 90184 WITH SCORE 90563.479
AT ITER 5329 NEW BEST:: SOT 763253 SOS 379469 HAS SOPS 174837 HAS SOUS 99774 HAS SOUPS 90184 WITH SCORE 90563.469
AT ITER 5344 NEW BEST:: SOT 763325 SOS 379541 HAS SOPS 174891 HAS SOUS 99768 HAS SOUPS 90178 WITH SCORE 90557.541
AT ITER 5345 NEW BEST:: SOT 763325 SOS 379495 HAS SOPS 174822 HAS SOUS 99722 HAS SOUPS 90132 WITH SCORE 90511.495
AT ITER 5346 NEW BEST:: SOT 763312 SOS 379469 HAS SOPS 174796 HAS SOUS 99696 HAS SOUPS 90106 WITH SCORE 90485.469
AT ITER 5362 NEW BEST:: SOT 763317 SOS 379479 HAS SOPS 174206 HAS SOUS 99670 HAS SOUPS 90021 WITH SCORE 90400.479
AT ITER 5373 NEW BEST:: SOT 763317 SOS 379495 HAS SOPS 174222 HAS SOUS 99654 HAS SOUPS 90005 WITH SCORE 90384.495
AT ITER 5391 NEW BEST:: SOT 763295 SOS 377286 HAS SOPS 174167 HAS SOUS 99503 HAS SOUPS 89869 WITH SCORE 90246.286
AT ITER 5432 NEW BEST:: SOT 763269 SOS 377231 HAS SOPS 174086 HAS SOUS 99451 HAS SOUPS 89817 WITH SCORE 90194.231
AT ITER 5436 NEW BEST:: SOT 763181 SOS 377239 HAS SOPS 173990 HAS SOUS 99440 HAS SOUPS 89790 WITH SCORE 90167.239
AT ITER 5437 NEW BEST:: SOT 763240 SOS 377180 HAS SOPS 173931 HAS SOUS 99440 HAS SOUPS 89790 WITH SCORE 90167.18
AT ITER 5453 NEW BEST:: SOT 763208 SOS 376006 HAS SOPS 172609 HAS SOUS 99334 HAS SOUPS 89684 WITH SCORE 90060.006
AT ITER 5470 NEW BEST:: SOT 763208 SOS 375940 HAS SOPS 172543 HAS SOUS 99334 HAS SOUPS 89684 WITH SCORE 90059.94
AT ITER 5476 NEW BEST:: SOT 763190 SOS 375922 HAS SOPS 172525 HAS SOUS 99307 HAS SOUPS 89657 WITH SCORE 90032.922
AT ITER 5499 NEW BEST:: SOT 763190 SOS 375922 HAS SOPS 172525 HAS SOUS 99300 HAS SOUPS 89650 WITH SCORE 90025.922
AT ITER 5506 NEW BEST:: SOT 763188 SOS 375908 HAS SOPS 172511 HAS SOUS 99296 HAS SOUPS 89646 WITH SCORE 90021.908
AT ITER 5509 NEW BEST:: SOT 763168 SOS 375868 HAS SOPS 172491 HAS SOUS 99276 HAS SOUPS 89626 WITH SCORE 90001.868
AT ITER 5539 NEW BEST:: SOT 763198 SOS 375784 HAS SOPS 172312 HAS SOUS 99199 HAS SOUPS 89549 WITH SCORE 89924.784
AT ITER 5545 NEW BEST:: SOT 763188 SOS 375804 HAS SOPS 172332 HAS SOUS 99179 HAS SOUPS 89529 WITH SCORE 89904.804
AT ITER 5552 NEW BEST:: SOT 763188 SOS 375778 HAS SOPS 172306 HAS SOUS 99179 HAS SOUPS 89529 WITH SCORE 89904.778
AT ITER 5572 NEW BEST:: SOT 763161 SOS 375781 HAS SOPS 172309 HAS SOUS 99125 HAS SOUPS 89475 WITH SCORE 89850.781
AT ITER 5582 NEW BEST:: SOT 763089 SOS 376349 HAS SOPS 172818 HAS SOUS 98986 HAS SOUPS 89336 WITH SCORE 89712.349
AT ITER 5587 NEW BEST:: SOT 762289 SOS 375549 HAS SOPS 172058 HAS SOUS 98804 HAS SOUPS 89154 WITH SCORE 89529.549
AT ITER 5627 NEW BEST:: SOT 762289 SOS 375537 HAS SOPS 172046 HAS SOUS 98804 HAS SOUPS 89154 WITH SCORE 89529.537
AT ITER 5631 NEW BEST:: SOT 762242 SOS 375537 HAS SOPS 172046 HAS SOUS 98710 HAS SOUPS 89060 WITH SCORE 89435.537
AT ITER 5652 NEW BEST:: SOT 762204 SOS 375499 HAS SOPS 172046 HAS SOUS 98710 HAS SOUPS 89060 WITH SCORE 89435.499
AT ITER 5655 NEW BEST:: SOT 761913 SOS 375208 HAS SOPS 171788 HAS SOUS 98237 HAS SOUPS 88587 WITH SCORE 88962.208
AT ITER 5683 NEW BEST:: SOT 761913 SOS 375149 HAS SOPS 171729 HAS SOUS 98209 HAS SOUPS 88559 WITH SCORE 88934.149
AT ITER 5717 NEW BEST:: SOT 761897 SOS 375133 HAS SOPS 171713 HAS SOUS 98193 HAS SOUPS 88543 WITH SCORE 88918.133
AT ITER 5731 NEW BEST:: SOT 761847 SOS 375083 HAS SOPS 171643 HAS SOUS 98189 HAS SOUPS 88539 WITH SCORE 88914.083
AT ITER 5762 NEW BEST:: SOT 761831 SOS 375067 HAS SOPS 171627 HAS SOUS 98173 HAS SOUPS 88523 WITH SCORE 88898.067
AT ITER 5768 NEW BEST:: SOT 761848 SOS 375061 HAS SOPS 171269 HAS SOUS 98121 HAS SOUPS 88461 WITH SCORE 88836.061
AT ITER 5777 NEW BEST:: SOT 761839 SOS 375043 HAS SOPS 171257 HAS SOUS 98076 HAS SOUPS 88416 WITH SCORE 88791.043
AT ITER 5804 NEW BEST:: SOT 761823 SOS 374916 HAS SOPS 171130 HAS SOUS 98044 HAS SOUPS 88384 WITH SCORE 88758.916
AT ITER 5816 NEW BEST:: SOT 761808 SOS 374908 HAS SOPS 171122 HAS SOUS 98029 HAS SOUPS 88369 WITH SCORE 88743.908
AT ITER 5822 NEW BEST:: SOT 761794 SOS 374931 HAS SOPS 171145 HAS SOUS 98015 HAS SOUPS 88355 WITH SCORE 88729.931
AT ITER 5840 NEW BEST:: SOT 761978 SOS 375115 HAS SOPS 171324 HAS SOUS 98010 HAS SOUPS 88350 WITH SCORE 88725.115
AT ITER 5842 NEW BEST:: SOT 761945 SOS 375000 HAS SOPS 171320 HAS SOUS 97948 HAS SOUPS 88288 WITH SCORE 88663.0
AT ITER 5869 NEW BEST:: SOT 761318 SOS 374370 HAS SOPS 170729 HAS SOUS 97878 HAS SOUPS 88218 WITH SCORE 88592.37
AT ITER 5874 NEW BEST:: SOT 761060 SOS 374072 HAS SOPS 170711 HAS SOUS 97860 HAS SOUPS 88200 WITH SCORE 88574.072
AT ITER 5895 NEW BEST:: SOT 761038 SOS 374166 HAS SOPS 170805 HAS SOUS 97816 HAS SOUPS 88156 WITH SCORE 88530.166
AT ITER 5902 NEW BEST:: SOT 761038 SOS 373481 HAS SOPS 170003 HAS SOUS 97712 HAS SOUPS 88052 WITH SCORE 88425.481
AT ITER 5924 NEW BEST:: SOT 761038 SOS 373483 HAS SOPS 170005 HAS SOUS 97710 HAS SOUPS 88050 WITH SCORE 88423.483
AT ITER 5941 NEW BEST:: SOT 761587 SOS 374122 HAS SOPS 170291 HAS SOUS 97621 HAS SOUPS 87949 WITH SCORE 88323.122
AT ITER 5950 NEW BEST:: SOT 761587 SOS 374097 HAS SOPS 170266 HAS SOUS 97621 HAS SOUPS 87949 WITH SCORE 88323.097
AT ITER 5951 NEW BEST:: SOT 761587 SOS 374097 HAS SOPS 170239 HAS SOUS 97594 HAS SOUPS 87922 WITH SCORE 88296.097
AT ITER 5958 NEW BEST:: SOT 761587 SOS 374097 HAS SOPS 170239 HAS SOUS 97550 HAS SOUPS 87878 WITH SCORE 88252.097
AT ITER 5980 NEW BEST:: SOT 761678 SOS 374188 HAS SOPS 170301 HAS SOUS 97501 HAS SOUPS 87825 WITH SCORE 88199.188
AT ITER 5994 NEW BEST:: SOT 761678 SOS 374168 HAS SOPS 170281 HAS SOUS 97501 HAS SOUPS 87825 WITH SCORE 88199.168
AT ITER 6004 NEW BEST:: SOT 761678 SOS 374133 HAS SOPS 170246 HAS SOUS 97501 HAS SOUPS 87825 WITH SCORE 88199.133
AT ITER 6022 NEW BEST:: SOT 761597 SOS 376409 HAS SOPS 170284 HAS SOUS 97462 HAS SOUPS 87738 WITH SCORE 88114.409
AT ITER 6036 NEW BEST:: SOT 760571 SOS 375383 HAS SOPS 169224 HAS SOUS 97427 HAS SOUPS 87703 WITH SCORE 88078.383
AT ITER 6049 NEW BEST:: SOT 760521 SOS 375317 HAS SOPS 169193 HAS SOUS 97396 HAS SOUPS 87672 WITH SCORE 88047.317
AT ITER 6055 NEW BEST:: SOT 760519 SOS 375315 HAS SOPS 169191 HAS SOUS 97394 HAS SOUPS 87670 WITH SCORE 88045.315
AT ITER 6075 NEW BEST:: SOT 760477 SOS 375351 HAS SOPS 168471 HAS SOUS 97408 HAS SOUPS 87631 WITH SCORE 88006.351
AT ITER 6084 NEW BEST:: SOT 760477 SOS 375377 HAS SOPS 168419 HAS SOUS 97356 HAS SOUPS 87579 WITH SCORE 87954.377
AT ITER 6103 NEW BEST:: SOT 760464 SOS 375261 HAS SOPS 168303 HAS SOUS 97330 HAS SOUPS 87553 WITH SCORE 87928.261
AT ITER 6129 NEW BEST:: SOT 760463 SOS 375265 HAS SOPS 168307 HAS SOUS 97328 HAS SOUPS 87551 WITH SCORE 87926.265
AT ITER 6131 NEW BEST:: SOT 760386 SOS 375178 HAS SOPS 168153 HAS SOUS 97174 HAS SOUPS 87397 WITH SCORE 87772.178
AT ITER 6141 NEW BEST:: SOT 760408 SOS 375200 HAS SOPS 168197 HAS SOUS 97162 HAS SOUPS 87385 WITH SCORE 87760.2
AT ITER 6146 NEW BEST:: SOT 760408 SOS 375079 HAS SOPS 168076 HAS SOUS 97152 HAS SOUPS 87375 WITH SCORE 87750.079
AT ITER 6176 NEW BEST:: SOT 760388 SOS 375014 HAS SOPS 168011 HAS SOUS 97112 HAS SOUPS 87335 WITH SCORE 87710.014
AT ITER 6184 NEW BEST:: SOT 760382 SOS 375008 HAS SOPS 168011 HAS SOUS 97112 HAS SOUPS 87335 WITH SCORE 87710.008
AT ITER 6195 NEW BEST:: SOT 760271 SOS 374897 HAS SOPS 167900 HAS SOUS 97001 HAS SOUPS 87224 WITH SCORE 87598.897
AT ITER 6225 NEW BEST:: SOT 760314 SOS 374957 HAS SOPS 167835 HAS SOUS 96936 HAS SOUPS 87159 WITH SCORE 87533.957
AT ITER 6296 NEW BEST:: SOT 760295 SOS 374776 HAS SOPS 167671 HAS SOUS 96898 HAS SOUPS 87121 WITH SCORE 87495.776
AT ITER 6344 NEW BEST:: SOT 759970 SOS 374546 HAS SOPS 167519 HAS SOUS 96711 HAS SOUPS 86934 WITH SCORE 87308.546
AT ITER 6365 NEW BEST:: SOT 759974 SOS 374550 HAS SOPS 167637 HAS SOUS 96701 HAS SOUPS 86924 WITH SCORE 87298.55
AT ITER 6387 NEW BEST:: SOT 759967 SOS 374529 HAS SOPS 167623 HAS SOUS 96680 HAS SOUPS 86910 WITH SCORE 87284.529
AT ITER 6394 NEW BEST:: SOT 760036 SOS 374598 HAS SOPS 167613 HAS SOUS 96670 HAS SOUPS 86900 WITH SCORE 87274.598
AT ITER 6422 NEW BEST:: SOT 760010 SOS 374572 HAS SOPS 167587 HAS SOUS 96644 HAS SOUPS 86874 WITH SCORE 87248.572
AT ITER 6426 NEW BEST:: SOT 760007 SOS 374471 HAS SOPS 167486 HAS SOUS 96638 HAS SOUPS 86868 WITH SCORE 87242.471
AT ITER 6430 NEW BEST:: SOT 760004 SOS 374607 HAS SOPS 167659 HAS SOUS 96632 HAS SOUPS 86862 WITH SCORE 87236.607
AT ITER 6434 NEW BEST:: SOT 760132 SOS 374771 HAS SOPS 167768 HAS SOUS 96607 HAS SOUPS 86837 WITH SCORE 87211.771
AT ITER 6438 NEW BEST:: SOT 760219 SOS 374747 HAS SOPS 167242 HAS SOUS 96512 HAS SOUPS 86645 WITH SCORE 87019.747
AT ITER 6471 NEW BEST:: SOT 760228 SOS 374837 HAS SOPS 167203 HAS SOUS 96378 HAS SOUPS 86511 WITH SCORE 86885.837
AT ITER 6511 NEW BEST:: SOT 760228 SOS 374783 HAS SOPS 167149 HAS SOUS 96378 HAS SOUPS 86511 WITH SCORE 86885.783
AT ITER 6520 NEW BEST:: SOT 760227 SOS 374781 HAS SOPS 167148 HAS SOUS 96377 HAS SOUPS 86510 WITH SCORE 86884.781
AT ITER 6556 NEW BEST:: SOT 760223 SOS 374775 HAS SOPS 167142 HAS SOUS 96371 HAS SOUPS 86504 WITH SCORE 86878.775
AT ITER 6561 NEW BEST:: SOT 760190 SOS 374742 HAS SOPS 167098 HAS SOUS 96338 HAS SOUPS 86460 WITH SCORE 86834.742
AT ITER 6583 NEW BEST:: SOT 760190 SOS 374654 HAS SOPS 167010 HAS SOUS 96338 HAS SOUPS 86460 WITH SCORE 86834.654
AT ITER 6584 NEW BEST:: SOT 760089 SOS 374304 HAS SOPS 166803 HAS SOUS 96262 HAS SOUPS 86384 WITH SCORE 86758.304
AT ITER 6590 NEW BEST:: SOT 760002 SOS 374130 HAS SOPS 166629 HAS SOUS 96091 HAS SOUPS 86213 WITH SCORE 86587.13
AT ITER 6614 NEW BEST:: SOT 759966 SOS 374018 HAS SOPS 166312 HAS SOUS 96028 HAS SOUPS 86150 WITH SCORE 86524.018
AT ITER 6615 NEW BEST:: SOT 759966 SOS 373980 HAS SOPS 166293 HAS SOUS 96028 HAS SOUPS 86150 WITH SCORE 86523.98
AT ITER 6660 NEW BEST:: SOT 759474 SOS 377038 HAS SOPS 165927 HAS SOUS 96055 HAS SOUPS 86097 WITH SCORE 86474.038
AT ITER 6663 NEW BEST:: SOT 759467 SOS 377010 HAS SOPS 165885 HAS SOUS 96027 HAS SOUPS 86069 WITH SCORE 86446.01
AT ITER 6668 NEW BEST:: SOT 759479 SOS 376983 HAS SOPS 165858 HAS SOUS 96000 HAS SOUPS 86042 WITH SCORE 86418.983
AT ITER 6669 NEW BEST:: SOT 759472 SOS 376848 HAS SOPS 165723 HAS SOUS 95986 HAS SOUPS 86028 WITH SCORE 86404.848
AT ITER 6682 NEW BEST:: SOT 759489 SOS 376865 HAS SOPS 165691 HAS SOUS 95954 HAS SOUPS 85996 WITH SCORE 86372.865
AT ITER 6747 NEW BEST:: SOT 759439 SOS 376938 HAS SOPS 165682 HAS SOUS 95879 HAS SOUPS 85921 WITH SCORE 86297.938
AT ITER 6765 NEW BEST:: SOT 759435 SOS 377018 HAS SOPS 165762 HAS SOUS 95871 HAS SOUPS 85913 WITH SCORE 86290.018
AT ITER 6805 NEW BEST:: SOT 759499 SOS 375807 HAS SOPS 164004 HAS SOUS 95737 HAS SOUPS 85779 WITH SCORE 86154.807
AT ITER 6808 NEW BEST:: SOT 759589 SOS 375897 HAS SOPS 164094 HAS SOUS 95700 HAS SOUPS 85742 WITH SCORE 86117.897
AT ITER 6827 NEW BEST:: SOT 759577 SOS 375895 HAS SOPS 164092 HAS SOUS 95698 HAS SOUPS 85740 WITH SCORE 86115.895
AT ITER 6902 NEW BEST:: SOT 759427 SOS 375671 HAS SOPS 163933 HAS SOUS 95539 HAS SOUPS 85581 WITH SCORE 85956.671
AT ITER 6931 NEW BEST:: SOT 759417 SOS 375671 HAS SOPS 163923 HAS SOUS 95529 HAS SOUPS 85571 WITH SCORE 85946.671
AT ITER 6953 NEW BEST:: SOT 759414 SOS 375510 HAS SOPS 163762 HAS SOUS 95521 HAS SOUPS 85563 WITH SCORE 85938.51
AT ITER 6970 NEW BEST:: SOT 759326 SOS 375444 HAS SOPS 163696 HAS SOUS 95455 HAS SOUPS 85497 WITH SCORE 85872.444
AT ITER 7011 NEW BEST:: SOT 759326 SOS 375442 HAS SOPS 163694 HAS SOUS 95455 HAS SOUPS 85497 WITH SCORE 85872.442
AT ITER 7036 NEW BEST:: SOT 759325 SOS 375590 HAS SOPS 163817 HAS SOUS 95446 HAS SOUPS 85488 WITH SCORE 85863.59
AT ITER 7038 NEW BEST:: SOT 759317 SOS 375574 HAS SOPS 163801 HAS SOUS 95446 HAS SOUPS 85488 WITH SCORE 85863.574
AT ITER 7042 NEW BEST:: SOT 759309 SOS 375540 HAS SOPS 163767 HAS SOUS 95439 HAS SOUPS 85481 WITH SCORE 85856.54
AT ITER 7056 NEW BEST:: SOT 759332 SOS 374726 HAS SOPS 163826 HAS SOUS 95406 HAS SOUPS 85466 WITH SCORE 85840.726
AT ITER 7058 NEW BEST:: SOT 759249 SOS 375083 HAS SOPS 163723 HAS SOUS 95343 HAS SOUPS 85393 WITH SCORE 85768.083
AT ITER 7211 NEW BEST:: SOT 759212 SOS 374903 HAS SOPS 163547 HAS SOUS 95310 HAS SOUPS 85360 WITH SCORE 85734.903
AT ITER 7228 NEW BEST:: SOT 759296 SOS 374976 HAS SOPS 163613 HAS SOUS 95268 HAS SOUPS 85318 WITH SCORE 85692.976
AT ITER 7236 NEW BEST:: SOT 759296 SOS 374934 HAS SOPS 163571 HAS SOUS 95247 HAS SOUPS 85297 WITH SCORE 85671.934
AT ITER 7246 NEW BEST:: SOT 759188 SOS 374826 HAS SOPS 163400 HAS SOUS 95269 HAS SOUPS 85288 WITH SCORE 85662.826
AT ITER 7275 NEW BEST:: SOT 759188 SOS 374840 HAS SOPS 163414 HAS SOUS 95267 HAS SOUPS 85286 WITH SCORE 85660.84
AT ITER 7278 NEW BEST:: SOT 759188 SOS 374840 HAS SOPS 163414 HAS SOUS 95199 HAS SOUPS 85218 WITH SCORE 85592.84
AT ITER 7309 NEW BEST:: SOT 759042 SOS 374202 HAS SOPS 162776 HAS SOUS 95027 HAS SOUPS 85046 WITH SCORE 85420.202
AT ITER 7355 NEW BEST:: SOT 759343 SOS 374503 HAS SOPS 163077 HAS SOUS 95006 HAS SOUPS 85025 WITH SCORE 85399.503
AT ITER 7388 NEW BEST:: SOT 759418 SOS 374578 HAS SOPS 163152 HAS SOUS 94991 HAS SOUPS 85010 WITH SCORE 85384.578
AT ITER 7395 NEW BEST:: SOT 759306 SOS 374466 HAS SOPS 163033 HAS SOUS 94872 HAS SOUPS 84891 WITH SCORE 85265.466
AT ITER 7405 NEW BEST:: SOT 759306 SOS 374452 HAS SOPS 163019 HAS SOUS 94844 HAS SOUPS 84863 WITH SCORE 85237.452
AT ITER 7462 NEW BEST:: SOT 759116 SOS 374121 HAS SOPS 162519 HAS SOUS 94387 HAS SOUPS 84399 WITH SCORE 84773.121
AT ITER 7473 NEW BEST:: SOT 759002 SOS 374304 HAS SOPS 162702 HAS SOUS 94374 HAS SOUPS 84386 WITH SCORE 84760.304
AT ITER 7487 NEW BEST:: SOT 759002 SOS 374304 HAS SOPS 162688 HAS SOUS 94372 HAS SOUPS 84384 WITH SCORE 84758.304
AT ITER 7496 NEW BEST:: SOT 758970 SOS 374272 HAS SOPS 162608 HAS SOUS 94292 HAS SOUPS 84304 WITH SCORE 84678.272
AT ITER 7501 NEW BEST:: SOT 758963 SOS 374210 HAS SOPS 162546 HAS SOUS 94230 HAS SOUPS 84242 WITH SCORE 84616.21
AT ITER 7506 NEW BEST:: SOT 759083 SOS 374330 HAS SOPS 162666 HAS SOUS 94214 HAS SOUPS 84226 WITH SCORE 84600.33
AT ITER 7511 NEW BEST:: SOT 759038 SOS 374289 HAS SOPS 162666 HAS SOUS 94195 HAS SOUPS 84207 WITH SCORE 84581.289
AT ITER 7539 NEW BEST:: SOT 759034 SOS 374281 HAS SOPS 162686 HAS SOUS 94187 HAS SOUPS 84203 WITH SCORE 84577.281
AT ITER 7572 NEW BEST:: SOT 759032 SOS 374277 HAS SOPS 162682 HAS SOUS 94183 HAS SOUPS 84199 WITH SCORE 84573.277
AT ITER 7593 NEW BEST:: SOT 758147 SOS 373392 HAS SOPS 161442 HAS SOUS 94099 HAS SOUPS 84062 WITH SCORE 84435.392
AT ITER 7611 NEW BEST:: SOT 758135 SOS 373515 HAS SOPS 161427 HAS SOUS 94093 HAS SOUPS 84053 WITH SCORE 84426.515
AT ITER 7633 NEW BEST:: SOT 758141 SOS 373521 HAS SOPS 161433 HAS SOUS 94073 HAS SOUPS 84033 WITH SCORE 84406.521
AT ITER 7677 NEW BEST:: SOT 757960 SOS 373434 HAS SOPS 161226 HAS SOUS 94054 HAS SOUPS 83974 WITH SCORE 84347.434
AT ITER 7693 NEW BEST:: SOT 757862 SOS 373330 HAS SOPS 161085 HAS SOUS 93924 HAS SOUPS 83844 WITH SCORE 84217.33
AT ITER 7702 NEW BEST:: SOT 757862 SOS 373330 HAS SOPS 161083 HAS SOUS 93922 HAS SOUPS 83842 WITH SCORE 84215.33
AT ITER 7713 NEW BEST:: SOT 757873 SOS 373341 HAS SOPS 161085 HAS SOUS 93905 HAS SOUPS 83825 WITH SCORE 84198.341
AT ITER 7716 NEW BEST:: SOT 757864 SOS 373314 HAS SOPS 161067 HAS SOUS 93896 HAS SOUPS 83816 WITH SCORE 84189.314
AT ITER 7718 NEW BEST:: SOT 757785 SOS 373165 HAS SOPS 160918 HAS SOUS 93808 HAS SOUPS 83728 WITH SCORE 84101.165
AT ITER 7719 NEW BEST:: SOT 757334 SOS 372349 HAS SOPS 159888 HAS SOUS 93767 HAS SOUPS 83687 WITH SCORE 84059.349
AT ITER 7729 NEW BEST:: SOT 757084 SOS 372234 HAS SOPS 159871 HAS SOUS 93604 HAS SOUPS 83524 WITH SCORE 83896.234
AT ITER 7734 NEW BEST:: SOT 756895 SOS 372072 HAS SOPS 159682 HAS SOUS 93549 HAS SOUPS 83469 WITH SCORE 83841.072
AT ITER 7738 NEW BEST:: SOT 756867 SOS 372044 HAS SOPS 159678 HAS SOUS 93545 HAS SOUPS 83465 WITH SCORE 83837.044
AT ITER 7739 NEW BEST:: SOT 756858 SOS 372035 HAS SOPS 159669 HAS SOUS 93545 HAS SOUPS 83465 WITH SCORE 83837.035
AT ITER 7743 NEW BEST:: SOT 756841 SOS 372250 HAS SOPS 159884 HAS SOUS 93540 HAS SOUPS 83460 WITH SCORE 83832.25
AT ITER 7750 NEW BEST:: SOT 756841 SOS 372250 HAS SOPS 159810 HAS SOUS 93466 HAS SOUPS 83386 WITH SCORE 83758.25
AT ITER 7789 NEW BEST:: SOT 757072 SOS 372526 HAS SOPS 159804 HAS SOUS 93460 HAS SOUPS 83380 WITH SCORE 83752.526
AT ITER 7797 NEW BEST:: SOT 757070 SOS 372520 HAS SOPS 159796 HAS SOUS 93454 HAS SOUPS 83374 WITH SCORE 83746.52
AT ITER 7845 NEW BEST:: SOT 757014 SOS 372457 HAS SOPS 159733 HAS SOUS 93421 HAS SOUPS 83341 WITH SCORE 83713.457
AT ITER 7847 NEW BEST:: SOT 757014 SOS 372451 HAS SOPS 159727 HAS SOUS 93421 HAS SOUPS 83341 WITH SCORE 83713.451
AT ITER 7858 NEW BEST:: SOT 756970 SOS 372363 HAS SOPS 159639 HAS SOUS 93333 HAS SOUPS 83253 WITH SCORE 83625.363
AT ITER 7875 NEW BEST:: SOT 757007 SOS 372400 HAS SOPS 159616 HAS SOUS 93290 HAS SOUPS 83230 WITH SCORE 83602.4
AT ITER 7891 NEW BEST:: SOT 756987 SOS 372361 HAS SOPS 159577 HAS SOUS 93265 HAS SOUPS 83205 WITH SCORE 83577.361
AT ITER 7904 NEW BEST:: SOT 756985 SOS 372291 HAS SOPS 159507 HAS SOUS 93261 HAS SOUPS 83201 WITH SCORE 83573.291
AT ITER 7917 NEW BEST:: SOT 756900 SOS 372161 HAS SOPS 159402 HAS SOUS 93156 HAS SOUPS 83096 WITH SCORE 83468.161
AT ITER 7944 NEW BEST:: SOT 756898 SOS 372194 HAS SOPS 159398 HAS SOUS 93120 HAS SOUPS 83060 WITH SCORE 83432.194
AT ITER 7955 NEW BEST:: SOT 756867 SOS 372157 HAS SOPS 159361 HAS SOUS 93089 HAS SOUPS 83029 WITH SCORE 83401.157
AT ITER 7957 NEW BEST:: SOT 756818 SOS 372074 HAS SOPS 159263 HAS SOUS 92991 HAS SOUPS 82931 WITH SCORE 83303.074
AT ITER 7983 NEW BEST:: SOT 756833 SOS 372089 HAS SOPS 159293 HAS SOUS 92889 HAS SOUPS 82829 WITH SCORE 83201.089
AT ITER 7984 NEW BEST:: SOT 756829 SOS 371964 HAS SOPS 159285 HAS SOUS 92864 HAS SOUPS 82821 WITH SCORE 83192.964
AT ITER 8034 NEW BEST:: SOT 756801 SOS 371884 HAS SOPS 159073 HAS SOUS 92834 HAS SOUPS 82765 WITH SCORE 83136.884
AT ITER 8039 NEW BEST:: SOT 756620 SOS 371688 HAS SOPS 158877 HAS SOUS 92638 HAS SOUPS 82569 WITH SCORE 82940.688
AT ITER 8060 NEW BEST:: SOT 756586 SOS 371674 HAS SOPS 158701 HAS SOUS 92462 HAS SOUPS 82393 WITH SCORE 82764.674
AT ITER 8065 NEW BEST:: SOT 756572 SOS 371701 HAS SOPS 158728 HAS SOUS 92440 HAS SOUPS 82371 WITH SCORE 82742.701
AT ITER 8136 NEW BEST:: SOT 756521 SOS 371606 HAS SOPS 158633 HAS SOUS 92419 HAS SOUPS 82350 WITH SCORE 82721.606
AT ITER 8166 NEW BEST:: SOT 756511 SOS 371643 HAS SOPS 158670 HAS SOUS 92418 HAS SOUPS 82349 WITH SCORE 82720.643
AT ITER 8195 NEW BEST:: SOT 756414 SOS 371218 HAS SOPS 158245 HAS SOUS 92332 HAS SOUPS 82263 WITH SCORE 82634.218
AT ITER 8221 NEW BEST:: SOT 756414 SOS 371232 HAS SOPS 158259 HAS SOUS 92292 HAS SOUPS 82223 WITH SCORE 82594.232
AT ITER 8224 NEW BEST:: SOT 756414 SOS 371058 HAS SOPS 158085 HAS SOUS 92292 HAS SOUPS 82223 WITH SCORE 82594.058
AT ITER 8278 NEW BEST:: SOT 756406 SOS 371050 HAS SOPS 158069 HAS SOUS 92276 HAS SOUPS 82207 WITH SCORE 82578.05
AT ITER 8295 NEW BEST:: SOT 756402 SOS 370927 HAS SOPS 157946 HAS SOUS 92268 HAS SOUPS 82199 WITH SCORE 82569.927
AT ITER 8296 NEW BEST:: SOT 756339 SOS 370890 HAS SOPS 157892 HAS SOUS 92214 HAS SOUPS 82145 WITH SCORE 82515.89
AT ITER 8299 NEW BEST:: SOT 756333 SOS 370886 HAS SOPS 157936 HAS SOUS 92202 HAS SOUPS 82141 WITH SCORE 82511.886
AT ITER 8300 NEW BEST:: SOT 756327 SOS 370868 HAS SOPS 157924 HAS SOUS 92190 HAS SOUPS 82129 WITH SCORE 82499.868
AT ITER 8304 NEW BEST:: SOT 756327 SOS 370864 HAS SOPS 157920 HAS SOUS 92190 HAS SOUPS 82129 WITH SCORE 82499.864
AT ITER 8313 NEW BEST:: SOT 756395 SOS 370857 HAS SOPS 157808 HAS SOUS 92283 HAS SOUPS 82017 WITH SCORE 82387.857
AT ITER 8332 NEW BEST:: SOT 756394 SOS 370857 HAS SOPS 157808 HAS SOUS 92281 HAS SOUPS 82015 WITH SCORE 82385.857
AT ITER 8333 NEW BEST:: SOT 756393 SOS 370863 HAS SOPS 157806 HAS SOUS 92279 HAS SOUPS 82013 WITH SCORE 82383.863
AT ITER 8355 NEW BEST:: SOT 756300 SOS 371929 HAS SOPS 157694 HAS SOUS 92281 HAS SOUPS 81989 WITH SCORE 82360.929
AT ITER 8359 NEW BEST:: SOT 756243 SOS 371893 HAS SOPS 157580 HAS SOUS 92197 HAS SOUPS 81875 WITH SCORE 82246.893
AT ITER 8368 NEW BEST:: SOT 756334 SOS 371850 HAS SOPS 157458 HAS SOUS 92075 HAS SOUPS 81753 WITH SCORE 82124.85
AT ITER 8385 NEW BEST:: SOT 756324 SOS 371838 HAS SOPS 157450 HAS SOUS 92067 HAS SOUPS 81745 WITH SCORE 82116.838
AT ITER 8389 NEW BEST:: SOT 756324 SOS 371827 HAS SOPS 157439 HAS SOUS 92067 HAS SOUPS 81745 WITH SCORE 82116.827
AT ITER 8402 NEW BEST:: SOT 756318 SOS 371820 HAS SOPS 157431 HAS SOUS 92066 HAS SOUPS 81744 WITH SCORE 82115.82
AT ITER 8404 NEW BEST:: SOT 756351 SOS 371992 HAS SOPS 157310 HAS SOUS 91945 HAS SOUPS 81623 WITH SCORE 81994.992
AT ITER 8453 NEW BEST:: SOT 756331 SOS 371972 HAS SOPS 157288 HAS SOUS 91923 HAS SOUPS 81601 WITH SCORE 81972.972
AT ITER 8503 NEW BEST:: SOT 756236 SOS 371874 HAS SOPS 157191 HAS SOUS 91797 HAS SOUPS 81475 WITH SCORE 81846.874
AT ITER 8509 NEW BEST:: SOT 756061 SOS 371674 HAS SOPS 157016 HAS SOUS 91772 HAS SOUPS 81450 WITH SCORE 81821.674
AT ITER 8514 NEW BEST:: SOT 756061 SOS 371679 HAS SOPS 157021 HAS SOUS 91747 HAS SOUPS 81425 WITH SCORE 81796.679
AT ITER 8527 NEW BEST:: SOT 756043 SOS 371661 HAS SOPS 156985 HAS SOUS 91711 HAS SOUPS 81389 WITH SCORE 81760.661
AT ITER 8536 NEW BEST:: SOT 756037 SOS 371562 HAS SOPS 156886 HAS SOUS 91699 HAS SOUPS 81377 WITH SCORE 81748.562
AT ITER 8542 NEW BEST:: SOT 756037 SOS 371524 HAS SOPS 156848 HAS SOUS 91684 HAS SOUPS 81362 WITH SCORE 81733.524
AT ITER 8554 NEW BEST:: SOT 756019 SOS 371515 HAS SOPS 156839 HAS SOUS 91666 HAS SOUPS 81344 WITH SCORE 81715.515
AT ITER 8576 NEW BEST:: SOT 756059 SOS 370847 HAS SOPS 156870 HAS SOUS 91641 HAS SOUPS 81334 WITH SCORE 81704.847
AT ITER 8650 NEW BEST:: SOT 755988 SOS 370805 HAS SOPS 156828 HAS SOUS 91599 HAS SOUPS 81292 WITH SCORE 81662.805
AT ITER 8666 NEW BEST:: SOT 755621 SOS 370400 HAS SOPS 156443 HAS SOUS 91538 HAS SOUPS 81231 WITH SCORE 81601.4
AT ITER 8677 NEW BEST:: SOT 755591 SOS 370166 HAS SOPS 156209 HAS SOUS 91510 HAS SOUPS 81203 WITH SCORE 81573.166
AT ITER 8693 NEW BEST:: SOT 755591 SOS 370148 HAS SOPS 156179 HAS SOUS 91510 HAS SOUPS 81203 WITH SCORE 81573.148
AT ITER 8722 NEW BEST:: SOT 755591 SOS 370113 HAS SOPS 156144 HAS SOUS 91510 HAS SOUPS 81203 WITH SCORE 81573.113
AT ITER 8754 NEW BEST:: SOT 755591 SOS 370089 HAS SOPS 156144 HAS SOUS 91510 HAS SOUPS 81203 WITH SCORE 81573.089
AT ITER 8758 NEW BEST:: SOT 755340 SOS 369804 HAS SOPS 155859 HAS SOUS 91442 HAS SOUPS 81135 WITH SCORE 81504.804
AT ITER 8768 NEW BEST:: SOT 755265 SOS 369704 HAS SOPS 155584 HAS SOUS 91342 HAS SOUPS 81010 WITH SCORE 81379.704
AT ITER 8784 NEW BEST:: SOT 755232 SOS 369671 HAS SOPS 155551 HAS SOUS 91309 HAS SOUPS 80977 WITH SCORE 81346.671
AT ITER 8849 NEW BEST:: SOT 755098 SOS 371566 HAS SOPS 155140 HAS SOUS 91352 HAS SOUPS 80971 WITH SCORE 81342.566
AT ITER 8885 NEW BEST:: SOT 755098 SOS 371421 HAS SOPS 154995 HAS SOUS 91352 HAS SOUPS 80971 WITH SCORE 81342.421
AT ITER 8915 NEW BEST:: SOT 755094 SOS 371417 HAS SOPS 154991 HAS SOUS 91346 HAS SOUPS 80965 WITH SCORE 81336.417
AT ITER 8923 NEW BEST:: SOT 755094 SOS 371369 HAS SOPS 154943 HAS SOUS 91346 HAS SOUPS 80965 WITH SCORE 81336.369
AT ITER 8950 NEW BEST:: SOT 755055 SOS 371374 HAS SOPS 154953 HAS SOUS 91312 HAS SOUPS 80931 WITH SCORE 81302.374
AT ITER 8968 NEW BEST:: SOT 755038 SOS 371357 HAS SOPS 154816 HAS SOUS 91301 HAS SOUPS 80907 WITH SCORE 81278.357
AT ITER 8973 NEW BEST:: SOT 755061 SOS 371371 HAS SOPS 154852 HAS SOUS 91285 HAS SOUPS 80891 WITH SCORE 81262.371
AT ITER 8975 NEW BEST:: SOT 755057 SOS 371599 HAS SOPS 155080 HAS SOUS 91262 HAS SOUPS 80868 WITH SCORE 81239.599
AT ITER 8987 NEW BEST:: SOT 755030 SOS 371583 HAS SOPS 155064 HAS SOUS 91246 HAS SOUPS 80852 WITH SCORE 81223.583
AT ITER 8999 NEW BEST:: SOT 754814 SOS 371367 HAS SOPS 154722 HAS SOUS 91354 HAS SOUPS 80834 WITH SCORE 81205.367
AT ITER 9056 NEW BEST:: SOT 754476 SOS 373356 HAS SOPS 154328 HAS SOUS 91338 HAS SOUPS 80762 WITH SCORE 81135.356
AT ITER 9075 NEW BEST:: SOT 754444 SOS 372892 HAS SOPS 153864 HAS SOUS 91306 HAS SOUPS 80730 WITH SCORE 81102.892
AT ITER 9095 NEW BEST:: SOT 754444 SOS 372892 HAS SOPS 153864 HAS SOUS 91292 HAS SOUPS 80716 WITH SCORE 81088.892
AT ITER 9105 NEW BEST:: SOT 754567 SOS 371936 HAS SOPS 153956 HAS SOUS 91235 HAS SOUPS 80683 WITH SCORE 81054.936
AT ITER 9122 NEW BEST:: SOT 754717 SOS 372086 HAS SOPS 151967 HAS SOUS 91385 HAS SOUPS 80581 WITH SCORE 80953.086
AT ITER 9131 NEW BEST:: SOT 754600 SOS 371969 HAS SOPS 151733 HAS SOUS 91168 HAS SOUPS 80347 WITH SCORE 80718.969
AT ITER 9148 NEW BEST:: SOT 754574 SOS 371923 HAS SOPS 151591 HAS SOUS 91152 HAS SOUPS 80313 WITH SCORE 80684.923
AT ITER 9164 NEW BEST:: SOT 754508 SOS 371857 HAS SOPS 151503 HAS SOUS 91064 HAS SOUPS 80225 WITH SCORE 80596.857
AT ITER 9186 NEW BEST:: SOT 754495 SOS 371844 HAS SOPS 151496 HAS SOUS 91057 HAS SOUPS 80218 WITH SCORE 80589.844
AT ITER 9187 NEW BEST:: SOT 754214 SOS 371281 HAS SOPS 150881 HAS SOUS 91033 HAS SOUPS 80194 WITH SCORE 80565.281
AT ITER 9194 NEW BEST:: SOT 754214 SOS 371241 HAS SOPS 150841 HAS SOUS 91033 HAS SOUPS 80194 WITH SCORE 80565.241
AT ITER 9204 NEW BEST:: SOT 754194 SOS 371267 HAS SOPS 150867 HAS SOUS 90993 HAS SOUPS 80154 WITH SCORE 80525.267
AT ITER 9265 NEW BEST:: SOT 754158 SOS 371179 HAS SOPS 150795 HAS SOUS 90921 HAS SOUPS 80082 WITH SCORE 80453.179
AT ITER 9370 NEW BEST:: SOT 754157 SOS 371316 HAS SOPS 150909 HAS SOUS 90919 HAS SOUPS 80080 WITH SCORE 80451.316
AT ITER 9378 NEW BEST:: SOT 754167 SOS 371212 HAS SOPS 150756 HAS SOUS 90829 HAS SOUPS 79990 WITH SCORE 80361.212
AT ITER 9470 NEW BEST:: SOT 754150 SOS 371195 HAS SOPS 150741 HAS SOUS 90812 HAS SOUPS 79975 WITH SCORE 80346.195
AT ITER 9486 NEW BEST:: SOT 754368 SOS 371461 HAS SOPS 150597 HAS SOUS 90648 HAS SOUPS 79811 WITH SCORE 80182.461
AT ITER 9499 NEW BEST:: SOT 754356 SOS 371437 HAS SOPS 150573 HAS SOUS 90624 HAS SOUPS 79787 WITH SCORE 80158.437
AT ITER 9506 NEW BEST:: SOT 754356 SOS 371425 HAS SOPS 150561 HAS SOUS 90618 HAS SOUPS 79781 WITH SCORE 80152.425
AT ITER 9522 NEW BEST:: SOT 754356 SOS 371350 HAS SOPS 150486 HAS SOUS 90618 HAS SOUPS 79781 WITH SCORE 80152.35
AT ITER 9549 NEW BEST:: SOT 754338 SOS 371440 HAS SOPS 150576 HAS SOUS 90600 HAS SOUPS 79763 WITH SCORE 80134.44
AT ITER 9565 NEW BEST:: SOT 754340 SOS 371442 HAS SOPS 150580 HAS SOUS 90546 HAS SOUPS 79709 WITH SCORE 80080.442
AT ITER 9592 NEW BEST:: SOT 754334 SOS 371518 HAS SOPS 150656 HAS SOUS 90545 HAS SOUPS 79708 WITH SCORE 80079.518
AT ITER 9594 NEW BEST:: SOT 754334 SOS 371492 HAS SOPS 150630 HAS SOUS 90545 HAS SOUPS 79708 WITH SCORE 80079.492
AT ITER 9679 NEW BEST:: SOT 754330 SOS 371488 HAS SOPS 150626 HAS SOUS 90539 HAS SOUPS 79702 WITH SCORE 80073.488
AT ITER 9754 NEW BEST:: SOT 754325 SOS 371688 HAS SOPS 150826 HAS SOUS 90529 HAS SOUPS 79692 WITH SCORE 80063.688
AT ITER 9772 NEW BEST:: SOT 754321 SOS 371684 HAS SOPS 150818 HAS SOUS 90517 HAS SOUPS 79684 WITH SCORE 80055.684
AT ITER 9796 NEW BEST:: SOT 754052 SOS 372045 HAS SOPS 150504 HAS SOUS 90447 HAS SOUPS 79563 WITH SCORE 79935.045
AT ITER 9799 NEW BEST:: SOT 754008 SOS 371957 HAS SOPS 150416 HAS SOUS 90447 HAS SOUPS 79563 WITH SCORE 79934.957
AT ITER 9851 NEW BEST:: SOT 753894 SOS 371882 HAS SOPS 150391 HAS SOUS 90389 HAS SOUPS 79505 WITH SCORE 79876.882
AT ITER 9858 NEW BEST:: SOT 753885 SOS 371910 HAS SOPS 150380 HAS SOUS 90378 HAS SOUPS 79490 WITH SCORE 79861.91
AT ITER 9893 NEW BEST:: SOT 753877 SOS 371898 HAS SOPS 150368 HAS SOUS 90370 HAS SOUPS 79482 WITH SCORE 79853.898
AT ITER 9901 NEW BEST:: SOT 753913 SOS 371934 HAS SOPS 150345 HAS SOUS 90248 HAS SOUPS 79353 WITH SCORE 79724.934
AT ITER 9913 NEW BEST:: SOT 753904 SOS 371888 HAS SOPS 150299 HAS SOUS 90244 HAS SOUPS 79349 WITH SCORE 79720.888
AT ITER 9915 NEW BEST:: SOT 753821 SOS 371809 HAS SOPS 150218 HAS SOUS 90163 HAS SOUPS 79268 WITH SCORE 79639.809
AT ITER 9960 NEW BEST:: SOT 753812 SOS 371800 HAS SOPS 150200 HAS SOUS 90145 HAS SOUPS 79250 WITH SCORE 79621.8
AT ITER 9971 NEW BEST:: SOT 753810 SOS 371812 HAS SOPS 150212 HAS SOUS 90143 HAS SOUPS 79248 WITH SCORE 79619.812
AT ITER 9979 NEW BEST:: SOT 753809 SOS 371811 HAS SOPS 150211 HAS SOUS 90142 HAS SOUPS 79247 WITH SCORE 79618.811
AT ITER 9995 NEW BEST:: SOT 753803 SOS 371786 HAS SOPS 150085 HAS SOUS 90149 HAS SOUPS 79235 WITH SCORE 79606.786
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 172040 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16300516 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-07"
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 EisenbergMcGuire-PT-07, 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 r523-tall-167987247800256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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