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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 5.5K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 02:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 02:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 02:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 02:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 02:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 176K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679568358808

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=ShieldPPPs-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:46:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:46:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:46:01] [INFO ] Load time of PNML (sax parser for PT used): 128 ms
[2023-03-23 10:46:01] [INFO ] Transformed 623 places.
[2023-03-23 10:46:01] [INFO ] Transformed 523 transitions.
[2023-03-23 10:46:01] [INFO ] Found NUPN structural information;
[2023-03-23 10:46:01] [INFO ] Parsed PT model containing 623 places and 523 transitions and 2006 arcs in 268 ms.
[2023-03-23 10:46:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 623 places, 523 transitions and 2006 arcs took 9 ms.
Total runtime 327 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 020A
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: 623 places, 523 transitions, 2006 arcs.
AT ITER 0 NEW BEST:: SOT 210468 SOS 145944 HAS SOPS 145944 HAS SOUS 110194 HAS SOUPS 110194 WITH SCORE 110339.944
AT ITER 8 NEW BEST:: SOT 210945 SOS 145613 HAS SOPS 145613 HAS SOUS 110118 HAS SOUPS 110118 WITH SCORE 110263.613
AT ITER 13 NEW BEST:: SOT 210849 SOS 145524 HAS SOPS 145524 HAS SOUS 110029 HAS SOUPS 110029 WITH SCORE 110174.524
AT ITER 14 NEW BEST:: SOT 210748 SOS 145019 HAS SOPS 145019 HAS SOUS 110028 HAS SOUPS 110028 WITH SCORE 110173.019
AT ITER 17 NEW BEST:: SOT 210427 SOS 144377 HAS SOPS 144377 HAS SOUS 109707 HAS SOUPS 109707 WITH SCORE 109851.377
AT ITER 18 NEW BEST:: SOT 210351 SOS 143997 HAS SOPS 143997 HAS SOUS 109707 HAS SOUPS 109707 WITH SCORE 109850.997
AT ITER 24 NEW BEST:: SOT 210269 SOS 143915 HAS SOPS 143915 HAS SOUS 109625 HAS SOUPS 109625 WITH SCORE 109768.915
AT ITER 25 NEW BEST:: SOT 210268 SOS 143896 HAS SOPS 143896 HAS SOUS 109599 HAS SOUPS 109599 WITH SCORE 109742.896
AT ITER 27 NEW BEST:: SOT 210076 SOS 143858 HAS SOPS 143858 HAS SOUS 109561 HAS SOUPS 109561 WITH SCORE 109704.858
AT ITER 28 NEW BEST:: SOT 209840 SOS 143721 HAS SOPS 143721 HAS SOUS 109424 HAS SOUPS 109424 WITH SCORE 109567.721
AT ITER 34 NEW BEST:: SOT 209604 SOS 143485 HAS SOPS 143485 HAS SOUS 109188 HAS SOUPS 109188 WITH SCORE 109331.485
AT ITER 37 NEW BEST:: SOT 209588 SOS 143467 HAS SOPS 143467 HAS SOUS 109170 HAS SOUPS 109170 WITH SCORE 109313.467
AT ITER 38 NEW BEST:: SOT 209576 SOS 143455 HAS SOPS 143455 HAS SOUS 109158 HAS SOUPS 109158 WITH SCORE 109301.455
AT ITER 40 NEW BEST:: SOT 209553 SOS 143430 HAS SOPS 143430 HAS SOUS 109133 HAS SOUPS 109133 WITH SCORE 109276.43
AT ITER 43 NEW BEST:: SOT 209364 SOS 142485 HAS SOPS 142485 HAS SOUS 109132 HAS SOUPS 109132 WITH SCORE 109274.485
AT ITER 46 NEW BEST:: SOT 209256 SOS 142266 HAS SOPS 142266 HAS SOUS 108865 HAS SOUPS 108865 WITH SCORE 109007.266
AT ITER 56 NEW BEST:: SOT 209151 SOS 142161 HAS SOPS 142161 HAS SOUS 108760 HAS SOUPS 108760 WITH SCORE 108902.161
AT ITER 61 NEW BEST:: SOT 208931 SOS 141061 HAS SOPS 141061 HAS SOUS 108760 HAS SOUPS 108760 WITH SCORE 108901.061
AT ITER 63 NEW BEST:: SOT 209243 SOS 140233 HAS SOPS 140233 HAS SOUS 108649 HAS SOUPS 108649 WITH SCORE 108789.233
AT ITER 64 NEW BEST:: SOT 208869 SOS 139857 HAS SOPS 139857 HAS SOUS 108382 HAS SOUPS 108382 WITH SCORE 108521.857
AT ITER 70 NEW BEST:: SOT 208563 SOS 139551 HAS SOPS 139551 HAS SOUS 108076 HAS SOUPS 108076 WITH SCORE 108215.551
AT ITER 71 NEW BEST:: SOT 208350 SOS 139112 HAS SOPS 139112 HAS SOUS 107641 HAS SOUPS 107641 WITH SCORE 107780.112
AT ITER 72 NEW BEST:: SOT 208047 SOS 137597 HAS SOPS 137597 HAS SOUS 107641 HAS SOUPS 107641 WITH SCORE 107778.597
AT ITER 79 NEW BEST:: SOT 207852 SOS 137402 HAS SOPS 137402 HAS SOUS 107446 HAS SOUPS 107446 WITH SCORE 107583.402
AT ITER 92 NEW BEST:: SOT 207708 SOS 137285 HAS SOPS 137285 HAS SOUS 107318 HAS SOUPS 107318 WITH SCORE 107455.285
AT ITER 93 NEW BEST:: SOT 207698 SOS 137252 HAS SOPS 137252 HAS SOUS 107285 HAS SOUPS 107285 WITH SCORE 107422.252
AT ITER 103 NEW BEST:: SOT 207697 SOS 137123 HAS SOPS 137123 HAS SOUS 107260 HAS SOUPS 107260 WITH SCORE 107397.123
AT ITER 107 NEW BEST:: SOT 207648 SOS 137074 HAS SOPS 137074 HAS SOUS 107211 HAS SOUPS 107211 WITH SCORE 107348.074
AT ITER 111 NEW BEST:: SOT 207635 SOS 137052 HAS SOPS 137052 HAS SOUS 107188 HAS SOUPS 107188 WITH SCORE 107325.052
AT ITER 118 NEW BEST:: SOT 207442 SOS 136921 HAS SOPS 136921 HAS SOUS 107049 HAS SOUPS 107049 WITH SCORE 107185.921
AT ITER 121 NEW BEST:: SOT 207410 SOS 136888 HAS SOPS 136888 HAS SOUS 107016 HAS SOUPS 107016 WITH SCORE 107152.888
AT ITER 122 NEW BEST:: SOT 207362 SOS 136840 HAS SOPS 136840 HAS SOUS 106968 HAS SOUPS 106968 WITH SCORE 107104.84
AT ITER 123 NEW BEST:: SOT 207275 SOS 136753 HAS SOPS 136753 HAS SOUS 106968 HAS SOUPS 106968 WITH SCORE 107104.753
AT ITER 124 NEW BEST:: SOT 207178 SOS 136786 HAS SOPS 136786 HAS SOUS 106937 HAS SOUPS 106937 WITH SCORE 107073.786
AT ITER 130 NEW BEST:: SOT 206876 SOS 136484 HAS SOPS 136484 HAS SOUS 106635 HAS SOUPS 106635 WITH SCORE 106771.484
AT ITER 133 NEW BEST:: SOT 206772 SOS 136357 HAS SOPS 136357 HAS SOUS 106482 HAS SOUPS 106482 WITH SCORE 106618.357
AT ITER 135 NEW BEST:: SOT 206746 SOS 136331 HAS SOPS 136331 HAS SOUS 106456 HAS SOUPS 106456 WITH SCORE 106592.331
AT ITER 136 NEW BEST:: SOT 206980 SOS 136555 HAS SOPS 136555 HAS SOUS 106445 HAS SOUPS 106445 WITH SCORE 106581.555
AT ITER 145 NEW BEST:: SOT 206972 SOS 136547 HAS SOPS 136547 HAS SOUS 106437 HAS SOUPS 106437 WITH SCORE 106573.547
AT ITER 153 NEW BEST:: SOT 206870 SOS 136634 HAS SOPS 136634 HAS SOUS 106430 HAS SOUPS 106430 WITH SCORE 106566.634
AT ITER 155 NEW BEST:: SOT 206688 SOS 136452 HAS SOPS 136452 HAS SOUS 106248 HAS SOUPS 106248 WITH SCORE 106384.452
AT ITER 158 NEW BEST:: SOT 206607 SOS 136047 HAS SOPS 136047 HAS SOUS 106248 HAS SOUPS 106248 WITH SCORE 106384.047
AT ITER 170 NEW BEST:: SOT 206293 SOS 135733 HAS SOPS 135733 HAS SOUS 105934 HAS SOUPS 105934 WITH SCORE 106069.733
AT ITER 172 NEW BEST:: SOT 206289 SOS 135729 HAS SOPS 135729 HAS SOUS 105930 HAS SOUPS 105930 WITH SCORE 106065.729
AT ITER 204 NEW BEST:: SOT 206579 SOS 135517 HAS SOPS 135517 HAS SOUS 105837 HAS SOUPS 105837 WITH SCORE 105972.517
AT ITER 208 NEW BEST:: SOT 206431 SOS 135369 HAS SOPS 135369 HAS SOUS 105689 HAS SOUPS 105689 WITH SCORE 105824.369
AT ITER 210 NEW BEST:: SOT 206375 SOS 135089 HAS SOPS 135089 HAS SOUS 105688 HAS SOUPS 105688 WITH SCORE 105823.089
AT ITER 215 NEW BEST:: SOT 206367 SOS 135071 HAS SOPS 135071 HAS SOUS 105664 HAS SOUPS 105664 WITH SCORE 105799.071
AT ITER 220 NEW BEST:: SOT 206773 SOS 134872 HAS SOPS 134872 HAS SOUS 105508 HAS SOUPS 105508 WITH SCORE 105642.872
AT ITER 223 NEW BEST:: SOT 206734 SOS 134874 HAS SOPS 134874 HAS SOUS 105488 HAS SOUPS 105488 WITH SCORE 105622.874
AT ITER 234 NEW BEST:: SOT 206599 SOS 134948 HAS SOPS 134948 HAS SOUS 105457 HAS SOUPS 105457 WITH SCORE 105591.948
AT ITER 235 NEW BEST:: SOT 206695 SOS 133824 HAS SOPS 133824 HAS SOUS 105085 HAS SOUPS 105085 WITH SCORE 105218.824
AT ITER 238 NEW BEST:: SOT 206011 SOS 133138 HAS SOPS 133138 HAS SOUS 104399 HAS SOUPS 104399 WITH SCORE 104532.138
AT ITER 241 NEW BEST:: SOT 206016 SOS 133136 HAS SOPS 133136 HAS SOUS 104394 HAS SOUPS 104394 WITH SCORE 104527.136
AT ITER 262 NEW BEST:: SOT 206056 SOS 133077 HAS SOPS 133077 HAS SOUS 104248 HAS SOUPS 104248 WITH SCORE 104381.077
AT ITER 264 NEW BEST:: SOT 206022 SOS 132635 HAS SOPS 132635 HAS SOUS 104135 HAS SOUPS 104135 WITH SCORE 104267.635
AT ITER 265 NEW BEST:: SOT 206008 SOS 132611 HAS SOPS 132611 HAS SOUS 104099 HAS SOUPS 104099 WITH SCORE 104231.611
AT ITER 268 NEW BEST:: SOT 205912 SOS 132515 HAS SOPS 132515 HAS SOUS 104003 HAS SOUPS 104003 WITH SCORE 104135.515
AT ITER 283 NEW BEST:: SOT 205803 SOS 132405 HAS SOPS 132405 HAS SOUS 103893 HAS SOUPS 103893 WITH SCORE 104025.405
AT ITER 284 NEW BEST:: SOT 205786 SOS 132387 HAS SOPS 132387 HAS SOUS 103875 HAS SOUPS 103875 WITH SCORE 104007.387
AT ITER 302 NEW BEST:: SOT 205508 SOS 131942 HAS SOPS 131942 HAS SOUS 103525 HAS SOUPS 103525 WITH SCORE 103656.942
AT ITER 308 NEW BEST:: SOT 205723 SOS 131405 HAS SOPS 131405 HAS SOUS 103309 HAS SOUPS 103309 WITH SCORE 103440.405
AT ITER 311 NEW BEST:: SOT 205707 SOS 131370 HAS SOPS 131370 HAS SOUS 103208 HAS SOUPS 103208 WITH SCORE 103339.37
AT ITER 321 NEW BEST:: SOT 205550 SOS 130585 HAS SOPS 130585 HAS SOUS 103208 HAS SOUPS 103208 WITH SCORE 103338.585
AT ITER 322 NEW BEST:: SOT 205482 SOS 130516 HAS SOPS 130516 HAS SOUS 103139 HAS SOUPS 103139 WITH SCORE 103269.516
AT ITER 325 NEW BEST:: SOT 205787 SOS 129807 HAS SOPS 129807 HAS SOUS 103118 HAS SOUPS 103118 WITH SCORE 103247.807
AT ITER 326 NEW BEST:: SOT 205753 SOS 129773 HAS SOPS 129773 HAS SOUS 103084 HAS SOUPS 103084 WITH SCORE 103213.773
AT ITER 335 NEW BEST:: SOT 206156 SOS 129900 HAS SOPS 129900 HAS SOUS 102532 HAS SOUPS 102532 WITH SCORE 102661.9
AT ITER 343 NEW BEST:: SOT 206054 SOS 129753 HAS SOPS 129753 HAS SOUS 102356 HAS SOUPS 102356 WITH SCORE 102485.753
AT ITER 345 NEW BEST:: SOT 205971 SOS 129338 HAS SOPS 129338 HAS SOUS 102355 HAS SOUPS 102355 WITH SCORE 102484.338
AT ITER 353 NEW BEST:: SOT 205882 SOS 129152 HAS SOPS 129152 HAS SOUS 102217 HAS SOUPS 102217 WITH SCORE 102346.152
AT ITER 374 NEW BEST:: SOT 205874 SOS 129144 HAS SOPS 129144 HAS SOUS 102209 HAS SOUPS 102209 WITH SCORE 102338.144
AT ITER 396 NEW BEST:: SOT 206169 SOS 129234 HAS SOPS 129234 HAS SOUS 102072 HAS SOUPS 102072 WITH SCORE 102201.234
AT ITER 401 NEW BEST:: SOT 206154 SOS 129214 HAS SOPS 129214 HAS SOUS 102038 HAS SOUPS 102038 WITH SCORE 102167.214
AT ITER 403 NEW BEST:: SOT 206123 SOS 129169 HAS SOPS 129169 HAS SOUS 101993 HAS SOUPS 101993 WITH SCORE 102122.169
AT ITER 408 NEW BEST:: SOT 205853 SOS 127819 HAS SOPS 127819 HAS SOUS 101993 HAS SOUPS 101993 WITH SCORE 102120.819
AT ITER 417 NEW BEST:: SOT 205852 SOS 127816 HAS SOPS 127816 HAS SOUS 101989 HAS SOUPS 101989 WITH SCORE 102116.816
AT ITER 418 NEW BEST:: SOT 205851 SOS 127625 HAS SOPS 127625 HAS SOUS 101933 HAS SOUPS 101933 WITH SCORE 102060.625
AT ITER 420 NEW BEST:: SOT 205758 SOS 127531 HAS SOPS 127531 HAS SOUS 101839 HAS SOUPS 101839 WITH SCORE 101966.531
AT ITER 431 NEW BEST:: SOT 205748 SOS 127521 HAS SOPS 127521 HAS SOUS 101829 HAS SOUPS 101829 WITH SCORE 101956.521
AT ITER 437 NEW BEST:: SOT 205747 SOS 126812 HAS SOPS 126812 HAS SOUS 101733 HAS SOUPS 101733 WITH SCORE 101859.812
AT ITER 445 NEW BEST:: SOT 205747 SOS 126347 HAS SOPS 126347 HAS SOUS 101725 HAS SOUPS 101725 WITH SCORE 101851.347
AT ITER 451 NEW BEST:: SOT 205577 SOS 126285 HAS SOPS 126285 HAS SOUS 101531 HAS SOUPS 101531 WITH SCORE 101657.285
AT ITER 453 NEW BEST:: SOT 205531 SOS 126237 HAS SOPS 126237 HAS SOUS 101408 HAS SOUPS 101408 WITH SCORE 101534.237
AT ITER 469 NEW BEST:: SOT 205440 SOS 125455 HAS SOPS 125455 HAS SOUS 100857 HAS SOUPS 100857 WITH SCORE 100982.455
AT ITER 471 NEW BEST:: SOT 205519 SOS 125393 HAS SOPS 125393 HAS SOUS 100789 HAS SOUPS 100789 WITH SCORE 100914.393
AT ITER 474 NEW BEST:: SOT 205395 SOS 125269 HAS SOPS 125269 HAS SOUS 100665 HAS SOUPS 100665 WITH SCORE 100790.269
AT ITER 477 NEW BEST:: SOT 205673 SOS 125611 HAS SOPS 125611 HAS SOUS 100455 HAS SOUPS 100455 WITH SCORE 100580.611
AT ITER 478 NEW BEST:: SOT 205665 SOS 125603 HAS SOPS 125603 HAS SOUS 100447 HAS SOUPS 100447 WITH SCORE 100572.603
AT ITER 479 NEW BEST:: SOT 205776 SOS 125551 HAS SOPS 125551 HAS SOUS 100395 HAS SOUPS 100395 WITH SCORE 100520.551
AT ITER 486 NEW BEST:: SOT 205709 SOS 125327 HAS SOPS 125327 HAS SOUS 99968 HAS SOUPS 99968 WITH SCORE 100093.327
AT ITER 494 NEW BEST:: SOT 205593 SOS 124455 HAS SOPS 124455 HAS SOUS 99624 HAS SOUPS 99624 WITH SCORE 99748.455
AT ITER 500 NEW BEST:: SOT 205533 SOS 124110 HAS SOPS 124110 HAS SOUS 99535 HAS SOUPS 99535 WITH SCORE 99659.11
AT ITER 501 NEW BEST:: SOT 205385 SOS 123948 HAS SOPS 123948 HAS SOUS 99373 HAS SOUPS 99373 WITH SCORE 99496.948
AT ITER 507 NEW BEST:: SOT 205369 SOS 123927 HAS SOPS 123927 HAS SOUS 99352 HAS SOUPS 99352 WITH SCORE 99475.927
AT ITER 508 NEW BEST:: SOT 205302 SOS 123860 HAS SOPS 123860 HAS SOUS 99285 HAS SOUPS 99285 WITH SCORE 99408.86
AT ITER 511 NEW BEST:: SOT 205305 SOS 123859 HAS SOPS 123859 HAS SOUS 99280 HAS SOUPS 99280 WITH SCORE 99403.859
AT ITER 519 NEW BEST:: SOT 205305 SOS 123672 HAS SOPS 123672 HAS SOUS 99231 HAS SOUPS 99231 WITH SCORE 99354.672
AT ITER 532 NEW BEST:: SOT 205319 SOS 123641 HAS SOPS 123641 HAS SOUS 99035 HAS SOUPS 99035 WITH SCORE 99158.641
AT ITER 534 NEW BEST:: SOT 205258 SOS 123580 HAS SOPS 123580 HAS SOUS 98974 HAS SOUPS 98974 WITH SCORE 99097.58
AT ITER 537 NEW BEST:: SOT 205108 SOS 123406 HAS SOPS 123406 HAS SOUS 98270 HAS SOUPS 98270 WITH SCORE 98393.406
AT ITER 541 NEW BEST:: SOT 205105 SOS 123403 HAS SOPS 123403 HAS SOUS 98267 HAS SOUPS 98267 WITH SCORE 98390.403
AT ITER 543 NEW BEST:: SOT 205105 SOS 123387 HAS SOPS 123387 HAS SOUS 98252 HAS SOUPS 98252 WITH SCORE 98375.387
AT ITER 545 NEW BEST:: SOT 204981 SOS 123213 HAS SOPS 123213 HAS SOUS 98078 HAS SOUPS 98078 WITH SCORE 98201.213
AT ITER 551 NEW BEST:: SOT 204975 SOS 123164 HAS SOPS 123164 HAS SOUS 98050 HAS SOUPS 98050 WITH SCORE 98173.164
AT ITER 556 NEW BEST:: SOT 204975 SOS 123162 HAS SOPS 123162 HAS SOUS 98048 HAS SOUPS 98048 WITH SCORE 98171.162
AT ITER 558 NEW BEST:: SOT 204931 SOS 123119 HAS SOPS 123119 HAS SOUS 98010 HAS SOUPS 98010 WITH SCORE 98133.119
AT ITER 563 NEW BEST:: SOT 204938 SOS 123126 HAS SOPS 123126 HAS SOUS 97963 HAS SOUPS 97963 WITH SCORE 98086.126
AT ITER 565 NEW BEST:: SOT 204957 SOS 122776 HAS SOPS 122776 HAS SOUS 97743 HAS SOUPS 97743 WITH SCORE 97865.776
AT ITER 572 NEW BEST:: SOT 204907 SOS 122708 HAS SOPS 122708 HAS SOUS 97675 HAS SOUPS 97675 WITH SCORE 97797.708
AT ITER 576 NEW BEST:: SOT 204907 SOS 122707 HAS SOPS 122707 HAS SOUS 97674 HAS SOUPS 97674 WITH SCORE 97796.707
AT ITER 583 NEW BEST:: SOT 204814 SOS 122657 HAS SOPS 122657 HAS SOUS 97624 HAS SOUPS 97624 WITH SCORE 97746.657
AT ITER 589 NEW BEST:: SOT 204730 SOS 122573 HAS SOPS 122573 HAS SOUS 97540 HAS SOUPS 97540 WITH SCORE 97662.573
AT ITER 598 NEW BEST:: SOT 204730 SOS 122562 HAS SOPS 122562 HAS SOUS 97529 HAS SOUPS 97529 WITH SCORE 97651.562
AT ITER 622 NEW BEST:: SOT 203799 SOS 122751 HAS SOPS 122751 HAS SOUS 97073 HAS SOUPS 97073 WITH SCORE 97195.751
AT ITER 625 NEW BEST:: SOT 203799 SOS 122569 HAS SOPS 122569 HAS SOUS 97073 HAS SOUPS 97073 WITH SCORE 97195.569
AT ITER 633 NEW BEST:: SOT 203733 SOS 122305 HAS SOPS 122305 HAS SOUS 96941 HAS SOUPS 96941 WITH SCORE 97063.305
AT ITER 634 NEW BEST:: SOT 203721 SOS 122290 HAS SOPS 122290 HAS SOUS 96926 HAS SOUPS 96926 WITH SCORE 97048.29
AT ITER 646 NEW BEST:: SOT 203259 SOS 120339 HAS SOPS 120339 HAS SOUS 95887 HAS SOUPS 95887 WITH SCORE 96007.339
AT ITER 651 NEW BEST:: SOT 203199 SOS 120279 HAS SOPS 120279 HAS SOUS 95827 HAS SOUPS 95827 WITH SCORE 95947.279
AT ITER 653 NEW BEST:: SOT 203158 SOS 120238 HAS SOPS 120238 HAS SOUS 95786 HAS SOUPS 95786 WITH SCORE 95906.238
AT ITER 662 NEW BEST:: SOT 202923 SOS 120165 HAS SOPS 120165 HAS SOUS 95706 HAS SOUPS 95706 WITH SCORE 95826.165
AT ITER 669 NEW BEST:: SOT 202922 SOS 119978 HAS SOPS 119978 HAS SOUS 95654 HAS SOUPS 95654 WITH SCORE 95773.978
AT ITER 671 NEW BEST:: SOT 202889 SOS 119704 HAS SOPS 119704 HAS SOUS 95529 HAS SOUPS 95529 WITH SCORE 95648.704
AT ITER 681 NEW BEST:: SOT 202850 SOS 119681 HAS SOPS 119681 HAS SOUS 95497 HAS SOUPS 95497 WITH SCORE 95616.681
AT ITER 685 NEW BEST:: SOT 202807 SOS 119595 HAS SOPS 119595 HAS SOUS 95411 HAS SOUPS 95411 WITH SCORE 95530.595
AT ITER 686 NEW BEST:: SOT 202763 SOS 119466 HAS SOPS 119466 HAS SOUS 95282 HAS SOUPS 95282 WITH SCORE 95401.466
AT ITER 688 NEW BEST:: SOT 202629 SOS 119290 HAS SOPS 119290 HAS SOUS 95101 HAS SOUPS 95101 WITH SCORE 95220.29
AT ITER 698 NEW BEST:: SOT 202458 SOS 118714 HAS SOPS 118714 HAS SOUS 94562 HAS SOUPS 94562 WITH SCORE 94680.714
AT ITER 701 NEW BEST:: SOT 202436 SOS 118685 HAS SOPS 118685 HAS SOUS 94533 HAS SOUPS 94533 WITH SCORE 94651.685
AT ITER 705 NEW BEST:: SOT 202320 SOS 118511 HAS SOPS 118511 HAS SOUS 94359 HAS SOUPS 94359 WITH SCORE 94477.511
AT ITER 714 NEW BEST:: SOT 202196 SOS 118385 HAS SOPS 118385 HAS SOUS 94233 HAS SOUPS 94233 WITH SCORE 94351.385
AT ITER 716 NEW BEST:: SOT 202196 SOS 118205 HAS SOPS 118205 HAS SOUS 94182 HAS SOUPS 94182 WITH SCORE 94300.205
AT ITER 730 NEW BEST:: SOT 202158 SOS 117953 HAS SOPS 117953 HAS SOUS 94182 HAS SOUPS 94182 WITH SCORE 94299.953
AT ITER 735 NEW BEST:: SOT 202152 SOS 117947 HAS SOPS 117947 HAS SOUS 94176 HAS SOUPS 94176 WITH SCORE 94293.947
AT ITER 739 NEW BEST:: SOT 202137 SOS 117932 HAS SOPS 117932 HAS SOUS 94161 HAS SOUPS 94161 WITH SCORE 94278.932
AT ITER 752 NEW BEST:: SOT 202136 SOS 117759 HAS SOPS 117759 HAS SOUS 94151 HAS SOUPS 94151 WITH SCORE 94268.759
AT ITER 757 NEW BEST:: SOT 202125 SOS 117693 HAS SOPS 117693 HAS SOUS 94151 HAS SOUPS 94151 WITH SCORE 94268.693
AT ITER 764 NEW BEST:: SOT 202079 SOS 117381 HAS SOPS 117381 HAS SOUS 94105 HAS SOUPS 94105 WITH SCORE 94222.381
AT ITER 765 NEW BEST:: SOT 202069 SOS 117367 HAS SOPS 117367 HAS SOUS 94078 HAS SOUPS 94078 WITH SCORE 94195.367
AT ITER 775 NEW BEST:: SOT 202069 SOS 117366 HAS SOPS 117366 HAS SOUS 94077 HAS SOUPS 94077 WITH SCORE 94194.366
AT ITER 784 NEW BEST:: SOT 201899 SOS 117196 HAS SOPS 117196 HAS SOUS 93907 HAS SOUPS 93907 WITH SCORE 94024.196
AT ITER 790 NEW BEST:: SOT 201861 SOS 116751 HAS SOPS 116751 HAS SOUS 93693 HAS SOUPS 93693 WITH SCORE 93809.751
AT ITER 794 NEW BEST:: SOT 201877 SOS 116573 HAS SOPS 116573 HAS SOUS 93546 HAS SOUPS 93546 WITH SCORE 93662.573
AT ITER 795 NEW BEST:: SOT 201877 SOS 116336 HAS SOPS 116336 HAS SOUS 93546 HAS SOUPS 93546 WITH SCORE 93662.336
AT ITER 797 NEW BEST:: SOT 201909 SOS 116368 HAS SOPS 116368 HAS SOUS 93510 HAS SOUPS 93510 WITH SCORE 93626.368
AT ITER 809 NEW BEST:: SOT 201877 SOS 116336 HAS SOPS 116336 HAS SOUS 93478 HAS SOUPS 93478 WITH SCORE 93594.336
AT ITER 814 NEW BEST:: SOT 201843 SOS 116302 HAS SOPS 116302 HAS SOUS 93444 HAS SOUPS 93444 WITH SCORE 93560.302
AT ITER 818 NEW BEST:: SOT 202042 SOS 115756 HAS SOPS 115756 HAS SOUS 93332 HAS SOUPS 93332 WITH SCORE 93447.756
AT ITER 821 NEW BEST:: SOT 202040 SOS 115754 HAS SOPS 115754 HAS SOUS 93330 HAS SOUPS 93330 WITH SCORE 93445.754
AT ITER 822 NEW BEST:: SOT 202038 SOS 115575 HAS SOPS 115575 HAS SOUS 93321 HAS SOUPS 93321 WITH SCORE 93436.575
AT ITER 824 NEW BEST:: SOT 201719 SOS 114051 HAS SOPS 114051 HAS SOUS 92706 HAS SOUPS 92706 WITH SCORE 92820.051
AT ITER 834 NEW BEST:: SOT 201521 SOS 113843 HAS SOPS 113843 HAS SOUS 92503 HAS SOUPS 92503 WITH SCORE 92616.843
AT ITER 836 NEW BEST:: SOT 201521 SOS 113653 HAS SOPS 113653 HAS SOUS 92503 HAS SOUPS 92503 WITH SCORE 92616.653
AT ITER 852 NEW BEST:: SOT 201471 SOS 113621 HAS SOPS 113621 HAS SOUS 92471 HAS SOUPS 92471 WITH SCORE 92584.621
AT ITER 854 NEW BEST:: SOT 201304 SOS 113454 HAS SOPS 113454 HAS SOUS 92303 HAS SOUPS 92303 WITH SCORE 92416.454
AT ITER 861 NEW BEST:: SOT 201287 SOS 113434 HAS SOPS 113434 HAS SOUS 92283 HAS SOUPS 92283 WITH SCORE 92396.434
AT ITER 862 NEW BEST:: SOT 200941 SOS 113078 HAS SOPS 113078 HAS SOUS 91920 HAS SOUPS 91920 WITH SCORE 92033.078
AT ITER 871 NEW BEST:: SOT 200683 SOS 112820 HAS SOPS 112820 HAS SOUS 91662 HAS SOUPS 91662 WITH SCORE 91774.82
AT ITER 885 NEW BEST:: SOT 200650 SOS 112787 HAS SOPS 112787 HAS SOUS 91629 HAS SOUPS 91629 WITH SCORE 91741.787
AT ITER 895 NEW BEST:: SOT 200769 SOS 111420 HAS SOPS 111420 HAS SOUS 91311 HAS SOUPS 91311 WITH SCORE 91422.42
AT ITER 896 NEW BEST:: SOT 200438 SOS 111089 HAS SOPS 111089 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91091.089
AT ITER 897 NEW BEST:: SOT 200354 SOS 111010 HAS SOPS 111010 HAS SOUS 90875 HAS SOUPS 90875 WITH SCORE 90986.01
AT ITER 899 NEW BEST:: SOT 200509 SOS 111156 HAS SOPS 111156 HAS SOUS 90844 HAS SOUPS 90844 WITH SCORE 90955.156
AT ITER 904 NEW BEST:: SOT 200183 SOS 110536 HAS SOPS 110536 HAS SOUS 90323 HAS SOUPS 90323 WITH SCORE 90433.536
AT ITER 905 NEW BEST:: SOT 200155 SOS 110242 HAS SOPS 110242 HAS SOUS 90168 HAS SOUPS 90168 WITH SCORE 90278.242
AT ITER 920 NEW BEST:: SOT 200155 SOS 110160 HAS SOPS 110160 HAS SOUS 90127 HAS SOUPS 90127 WITH SCORE 90237.16
AT ITER 923 NEW BEST:: SOT 200155 SOS 110155 HAS SOPS 110155 HAS SOUS 90127 HAS SOUPS 90127 WITH SCORE 90237.155
AT ITER 930 NEW BEST:: SOT 199911 SOS 109752 HAS SOPS 109752 HAS SOUS 89393 HAS SOUPS 89393 WITH SCORE 89502.752
AT ITER 934 NEW BEST:: SOT 199893 SOS 109734 HAS SOPS 109734 HAS SOUS 89375 HAS SOUPS 89375 WITH SCORE 89484.734
AT ITER 938 NEW BEST:: SOT 199831 SOS 109666 HAS SOPS 109666 HAS SOUS 89307 HAS SOUPS 89307 WITH SCORE 89416.666
AT ITER 944 NEW BEST:: SOT 199708 SOS 109623 HAS SOPS 109623 HAS SOUS 89264 HAS SOUPS 89264 WITH SCORE 89373.623
AT ITER 962 NEW BEST:: SOT 199708 SOS 109605 HAS SOPS 109605 HAS SOUS 89246 HAS SOUPS 89246 WITH SCORE 89355.605
AT ITER 970 NEW BEST:: SOT 199773 SOS 109658 HAS SOPS 109658 HAS SOUS 89220 HAS SOUPS 89220 WITH SCORE 89329.658
AT ITER 982 NEW BEST:: SOT 199790 SOS 109600 HAS SOPS 109600 HAS SOUS 89162 HAS SOUPS 89162 WITH SCORE 89271.6
AT ITER 986 NEW BEST:: SOT 199577 SOS 109386 HAS SOPS 109386 HAS SOUS 88948 HAS SOUPS 88948 WITH SCORE 89057.386
AT ITER 1008 NEW BEST:: SOT 199708 SOS 109417 HAS SOPS 109417 HAS SOUS 88836 HAS SOUPS 88836 WITH SCORE 88945.417
AT ITER 1015 NEW BEST:: SOT 199706 SOS 109418 HAS SOPS 109418 HAS SOUS 88834 HAS SOUPS 88834 WITH SCORE 88943.418
AT ITER 1017 NEW BEST:: SOT 199703 SOS 109343 HAS SOPS 109343 HAS SOUS 88795 HAS SOUPS 88795 WITH SCORE 88904.343
AT ITER 1030 NEW BEST:: SOT 199701 SOS 109341 HAS SOPS 109341 HAS SOUS 88793 HAS SOUPS 88793 WITH SCORE 88902.341
AT ITER 1048 NEW BEST:: SOT 199635 SOS 109311 HAS SOPS 109311 HAS SOUS 88763 HAS SOUPS 88763 WITH SCORE 88872.311
AT ITER 1050 NEW BEST:: SOT 199624 SOS 109342 HAS SOPS 109342 HAS SOUS 88699 HAS SOUPS 88699 WITH SCORE 88808.342
AT ITER 1053 NEW BEST:: SOT 199502 SOS 109220 HAS SOPS 109220 HAS SOUS 88577 HAS SOUPS 88577 WITH SCORE 88686.22
AT ITER 1061 NEW BEST:: SOT 199494 SOS 109204 HAS SOPS 109204 HAS SOUS 88555 HAS SOUPS 88555 WITH SCORE 88664.204
AT ITER 1076 NEW BEST:: SOT 198828 SOS 108537 HAS SOPS 108537 HAS SOUS 87888 HAS SOUPS 87888 WITH SCORE 87996.537
AT ITER 1084 NEW BEST:: SOT 198840 SOS 108517 HAS SOPS 108517 HAS SOUS 87868 HAS SOUPS 87868 WITH SCORE 87976.517
AT ITER 1100 NEW BEST:: SOT 198751 SOS 108448 HAS SOPS 108448 HAS SOUS 87727 HAS SOUPS 87727 WITH SCORE 87835.448
AT ITER 1105 NEW BEST:: SOT 198726 SOS 108423 HAS SOPS 108423 HAS SOUS 87702 HAS SOUPS 87702 WITH SCORE 87810.423
AT ITER 1107 NEW BEST:: SOT 198724 SOS 108421 HAS SOPS 108421 HAS SOUS 87700 HAS SOUPS 87700 WITH SCORE 87808.421
AT ITER 1129 NEW BEST:: SOT 198567 SOS 107561 HAS SOPS 107561 HAS SOUS 87571 HAS SOUPS 87571 WITH SCORE 87678.561
AT ITER 1130 NEW BEST:: SOT 198513 SOS 107453 HAS SOPS 107453 HAS SOUS 87409 HAS SOUPS 87409 WITH SCORE 87516.453
AT ITER 1135 NEW BEST:: SOT 198513 SOS 107429 HAS SOPS 107429 HAS SOUS 87385 HAS SOUPS 87385 WITH SCORE 87492.429
AT ITER 1141 NEW BEST:: SOT 198512 SOS 107403 HAS SOPS 107403 HAS SOUS 87330 HAS SOUPS 87330 WITH SCORE 87437.403
AT ITER 1148 NEW BEST:: SOT 198570 SOS 107389 HAS SOPS 107389 HAS SOUS 87315 HAS SOUPS 87315 WITH SCORE 87422.389
AT ITER 1154 NEW BEST:: SOT 198497 SOS 107143 HAS SOPS 107143 HAS SOUS 87069 HAS SOUPS 87069 WITH SCORE 87176.143
AT ITER 1165 NEW BEST:: SOT 198376 SOS 106889 HAS SOPS 106889 HAS SOUS 86825 HAS SOUPS 86825 WITH SCORE 86931.889
AT ITER 1173 NEW BEST:: SOT 198364 SOS 106877 HAS SOPS 106877 HAS SOUS 86809 HAS SOUPS 86809 WITH SCORE 86915.877
AT ITER 1175 NEW BEST:: SOT 198364 SOS 106865 HAS SOPS 106865 HAS SOUS 86797 HAS SOUPS 86797 WITH SCORE 86903.865
AT ITER 1183 NEW BEST:: SOT 198307 SOS 106704 HAS SOPS 106704 HAS SOUS 86688 HAS SOUPS 86688 WITH SCORE 86794.704
AT ITER 1184 NEW BEST:: SOT 198298 SOS 106600 HAS SOPS 106600 HAS SOUS 86680 HAS SOUPS 86680 WITH SCORE 86786.6
AT ITER 1185 NEW BEST:: SOT 198129 SOS 106431 HAS SOPS 106431 HAS SOUS 86511 HAS SOUPS 86511 WITH SCORE 86617.431
AT ITER 1188 NEW BEST:: SOT 198264 SOS 106532 HAS SOPS 106532 HAS SOUS 86502 HAS SOUPS 86502 WITH SCORE 86608.532
AT ITER 1194 NEW BEST:: SOT 198182 SOS 106430 HAS SOPS 106430 HAS SOUS 86400 HAS SOUPS 86400 WITH SCORE 86506.43
AT ITER 1210 NEW BEST:: SOT 198124 SOS 106281 HAS SOPS 106281 HAS SOUS 86160 HAS SOUPS 86160 WITH SCORE 86266.281
AT ITER 1234 NEW BEST:: SOT 198026 SOS 105791 HAS SOPS 105791 HAS SOUS 85964 HAS SOUPS 85964 WITH SCORE 86069.791
AT ITER 1236 NEW BEST:: SOT 197986 SOS 105751 HAS SOPS 105751 HAS SOUS 85964 HAS SOUPS 85964 WITH SCORE 86069.751
AT ITER 1239 NEW BEST:: SOT 197982 SOS 105741 HAS SOPS 105741 HAS SOUS 85954 HAS SOUPS 85954 WITH SCORE 86059.741
AT ITER 1255 NEW BEST:: SOT 198053 SOS 105643 HAS SOPS 105643 HAS SOUS 85838 HAS SOUPS 85838 WITH SCORE 85943.643
AT ITER 1261 NEW BEST:: SOT 197932 SOS 105401 HAS SOPS 105401 HAS SOUS 85596 HAS SOUPS 85596 WITH SCORE 85701.401
AT ITER 1263 NEW BEST:: SOT 197767 SOS 105217 HAS SOPS 105217 HAS SOUS 85412 HAS SOUPS 85412 WITH SCORE 85517.217
AT ITER 1265 NEW BEST:: SOT 197748 SOS 105112 HAS SOPS 105112 HAS SOUS 85273 HAS SOUPS 85273 WITH SCORE 85378.112
AT ITER 1271 NEW BEST:: SOT 197727 SOS 104801 HAS SOPS 104801 HAS SOUS 85247 HAS SOUPS 85247 WITH SCORE 85351.801
AT ITER 1281 NEW BEST:: SOT 197596 SOS 104639 HAS SOPS 104639 HAS SOUS 85041 HAS SOUPS 85041 WITH SCORE 85145.639
AT ITER 1286 NEW BEST:: SOT 197512 SOS 104595 HAS SOPS 104595 HAS SOUS 84997 HAS SOUPS 84997 WITH SCORE 85101.595
AT ITER 1290 NEW BEST:: SOT 197434 SOS 104517 HAS SOPS 104517 HAS SOUS 84919 HAS SOUPS 84919 WITH SCORE 85023.517
AT ITER 1297 NEW BEST:: SOT 197389 SOS 104382 HAS SOPS 104382 HAS SOUS 84918 HAS SOUPS 84918 WITH SCORE 85022.382
AT ITER 1302 NEW BEST:: SOT 197388 SOS 104221 HAS SOPS 104221 HAS SOUS 84877 HAS SOUPS 84877 WITH SCORE 84981.221
AT ITER 1317 NEW BEST:: SOT 197455 SOS 104478 HAS SOPS 104478 HAS SOUS 84713 HAS SOUPS 84713 WITH SCORE 84817.478
AT ITER 1326 NEW BEST:: SOT 197439 SOS 104462 HAS SOPS 104462 HAS SOUS 84697 HAS SOUPS 84697 WITH SCORE 84801.462
AT ITER 1336 NEW BEST:: SOT 197167 SOS 104188 HAS SOPS 104188 HAS SOUS 84287 HAS SOUPS 84287 WITH SCORE 84391.188
AT ITER 1347 NEW BEST:: SOT 197097 SOS 104018 HAS SOPS 104018 HAS SOUS 84117 HAS SOUPS 84117 WITH SCORE 84221.018
AT ITER 1362 NEW BEST:: SOT 196893 SOS 103711 HAS SOPS 103711 HAS SOUS 83810 HAS SOUPS 83810 WITH SCORE 83913.711
AT ITER 1364 NEW BEST:: SOT 196885 SOS 103707 HAS SOPS 103707 HAS SOUS 83793 HAS SOUPS 83793 WITH SCORE 83896.707
AT ITER 1369 NEW BEST:: SOT 196738 SOS 103560 HAS SOPS 103560 HAS SOUS 83646 HAS SOUPS 83646 WITH SCORE 83749.56
AT ITER 1370 NEW BEST:: SOT 196718 SOS 103538 HAS SOPS 103538 HAS SOUS 83624 HAS SOUPS 83624 WITH SCORE 83727.538
AT ITER 1374 NEW BEST:: SOT 196643 SOS 103463 HAS SOPS 103463 HAS SOUS 83459 HAS SOUPS 83459 WITH SCORE 83562.463
AT ITER 1375 NEW BEST:: SOT 196609 SOS 103412 HAS SOPS 103412 HAS SOUS 83408 HAS SOUPS 83408 WITH SCORE 83511.412
AT ITER 1384 NEW BEST:: SOT 196582 SOS 102924 HAS SOPS 102924 HAS SOUS 83267 HAS SOUPS 83267 WITH SCORE 83369.924
AT ITER 1394 NEW BEST:: SOT 196463 SOS 102841 HAS SOPS 102841 HAS SOUS 83235 HAS SOUPS 83235 WITH SCORE 83337.841
AT ITER 1398 NEW BEST:: SOT 196433 SOS 102811 HAS SOPS 102811 HAS SOUS 83205 HAS SOUPS 83205 WITH SCORE 83307.811
AT ITER 1400 NEW BEST:: SOT 196447 SOS 102784 HAS SOPS 102784 HAS SOUS 83198 HAS SOUPS 83198 WITH SCORE 83300.784
AT ITER 1404 NEW BEST:: SOT 196411 SOS 102748 HAS SOPS 102748 HAS SOUS 83162 HAS SOUPS 83162 WITH SCORE 83264.748
AT ITER 1407 NEW BEST:: SOT 196405 SOS 102741 HAS SOPS 102741 HAS SOUS 83155 HAS SOUPS 83155 WITH SCORE 83257.741
AT ITER 1408 NEW BEST:: SOT 196285 SOS 102308 HAS SOPS 102308 HAS SOUS 83126 HAS SOUPS 83126 WITH SCORE 83228.308
AT ITER 1421 NEW BEST:: SOT 196213 SOS 102181 HAS SOPS 102181 HAS SOUS 82999 HAS SOUPS 82999 WITH SCORE 83101.181
AT ITER 1428 NEW BEST:: SOT 196204 SOS 102172 HAS SOPS 102172 HAS SOUS 82990 HAS SOUPS 82990 WITH SCORE 83092.172
AT ITER 1436 NEW BEST:: SOT 196039 SOS 101827 HAS SOPS 101827 HAS SOUS 82687 HAS SOUPS 82687 WITH SCORE 82788.827
AT ITER 1441 NEW BEST:: SOT 196039 SOS 101783 HAS SOPS 101783 HAS SOUS 82687 HAS SOUPS 82687 WITH SCORE 82788.783
AT ITER 1449 NEW BEST:: SOT 195871 SOS 101291 HAS SOPS 101291 HAS SOUS 82438 HAS SOUPS 82438 WITH SCORE 82539.291
AT ITER 1464 NEW BEST:: SOT 195871 SOS 101405 HAS SOPS 101405 HAS SOUS 82366 HAS SOUPS 82366 WITH SCORE 82467.405
AT ITER 1466 NEW BEST:: SOT 195786 SOS 101315 HAS SOPS 101315 HAS SOUS 82276 HAS SOUPS 82276 WITH SCORE 82377.315
AT ITER 1473 NEW BEST:: SOT 195776 SOS 101305 HAS SOPS 101305 HAS SOUS 82266 HAS SOUPS 82266 WITH SCORE 82367.305
AT ITER 1494 NEW BEST:: SOT 195767 SOS 101296 HAS SOPS 101296 HAS SOUS 82252 HAS SOUPS 82252 WITH SCORE 82353.296
AT ITER 1496 NEW BEST:: SOT 195764 SOS 101293 HAS SOPS 101293 HAS SOUS 82249 HAS SOUPS 82249 WITH SCORE 82350.293
AT ITER 1506 NEW BEST:: SOT 195696 SOS 101055 HAS SOPS 101055 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82214.055
AT ITER 1516 NEW BEST:: SOT 195686 SOS 100786 HAS SOPS 100786 HAS SOUS 82045 HAS SOUPS 82045 WITH SCORE 82145.786
AT ITER 1517 NEW BEST:: SOT 195686 SOS 100774 HAS SOPS 100774 HAS SOUS 82030 HAS SOUPS 82030 WITH SCORE 82130.774
AT ITER 1532 NEW BEST:: SOT 195639 SOS 100623 HAS SOPS 100623 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82060.623
AT ITER 1534 NEW BEST:: SOT 195585 SOS 100461 HAS SOPS 100461 HAS SOUS 81943 HAS SOUPS 81943 WITH SCORE 82043.461
AT ITER 1544 NEW BEST:: SOT 195584 SOS 100460 HAS SOPS 100460 HAS SOUS 81942 HAS SOUPS 81942 WITH SCORE 82042.46
AT ITER 1550 NEW BEST:: SOT 195583 SOS 100342 HAS SOPS 100342 HAS SOUS 81847 HAS SOUPS 81847 WITH SCORE 81947.342
AT ITER 1551 NEW BEST:: SOT 195583 SOS 100294 HAS SOPS 100294 HAS SOUS 81811 HAS SOUPS 81811 WITH SCORE 81911.294
AT ITER 1557 NEW BEST:: SOT 195523 SOS 100200 HAS SOPS 100200 HAS SOUS 81717 HAS SOUPS 81717 WITH SCORE 81817.2
AT ITER 1567 NEW BEST:: SOT 194650 SOS 98855 HAS SOPS 98855 HAS SOUS 80372 HAS SOUPS 80372 WITH SCORE 80470.855
AT ITER 1587 NEW BEST:: SOT 194316 SOS 98433 HAS SOPS 98433 HAS SOUS 79950 HAS SOUPS 79950 WITH SCORE 80048.433
AT ITER 1588 NEW BEST:: SOT 194248 SOS 98163 HAS SOPS 98163 HAS SOUS 79946 HAS SOUPS 79946 WITH SCORE 80044.163
AT ITER 1592 NEW BEST:: SOT 194085 SOS 97833 HAS SOPS 97833 HAS SOUS 79829 HAS SOUPS 79829 WITH SCORE 79926.833
AT ITER 1595 NEW BEST:: SOT 193663 SOS 96093 HAS SOPS 96093 HAS SOUS 78386 HAS SOUPS 78386 WITH SCORE 78482.093
AT ITER 1615 NEW BEST:: SOT 193651 SOS 95829 HAS SOPS 95829 HAS SOUS 78286 HAS SOUPS 78286 WITH SCORE 78381.829
AT ITER 1621 NEW BEST:: SOT 193651 SOS 95940 HAS SOPS 95940 HAS SOUS 78284 HAS SOUPS 78284 WITH SCORE 78379.94
AT ITER 1624 NEW BEST:: SOT 193651 SOS 95838 HAS SOPS 95838 HAS SOUS 78284 HAS SOUPS 78284 WITH SCORE 78379.838
AT ITER 1626 NEW BEST:: SOT 193654 SOS 95831 HAS SOPS 95831 HAS SOUS 78277 HAS SOUPS 78277 WITH SCORE 78372.831
AT ITER 1634 NEW BEST:: SOT 193488 SOS 95575 HAS SOPS 95575 HAS SOUS 78097 HAS SOUPS 78097 WITH SCORE 78192.575
AT ITER 1643 NEW BEST:: SOT 193372 SOS 95416 HAS SOPS 95416 HAS SOUS 77906 HAS SOUPS 77906 WITH SCORE 78001.416
AT ITER 1664 NEW BEST:: SOT 193289 SOS 94898 HAS SOPS 94898 HAS SOUS 77533 HAS SOUPS 77533 WITH SCORE 77627.898
AT ITER 1675 NEW BEST:: SOT 193288 SOS 94895 HAS SOPS 94895 HAS SOUS 77519 HAS SOUPS 77519 WITH SCORE 77613.895
AT ITER 1696 NEW BEST:: SOT 193285 SOS 94889 HAS SOPS 94889 HAS SOUS 77513 HAS SOUPS 77513 WITH SCORE 77607.889
AT ITER 1707 NEW BEST:: SOT 193285 SOS 94777 HAS SOPS 94777 HAS SOUS 77513 HAS SOUPS 77513 WITH SCORE 77607.777
AT ITER 1708 NEW BEST:: SOT 193285 SOS 94486 HAS SOPS 94486 HAS SOUS 77323 HAS SOUPS 77323 WITH SCORE 77417.486
AT ITER 1711 NEW BEST:: SOT 193285 SOS 94415 HAS SOPS 94415 HAS SOUS 77311 HAS SOUPS 77311 WITH SCORE 77405.415
AT ITER 1717 NEW BEST:: SOT 193285 SOS 94268 HAS SOPS 94268 HAS SOUS 77232 HAS SOUPS 77232 WITH SCORE 77326.268
AT ITER 1719 NEW BEST:: SOT 193285 SOS 94318 HAS SOPS 94318 HAS SOUS 77224 HAS SOUPS 77224 WITH SCORE 77318.318
AT ITER 1725 NEW BEST:: SOT 193285 SOS 93903 HAS SOPS 93903 HAS SOUS 77198 HAS SOUPS 77198 WITH SCORE 77291.903
AT ITER 1745 NEW BEST:: SOT 193201 SOS 93777 HAS SOPS 93777 HAS SOUS 77072 HAS SOUPS 77072 WITH SCORE 77165.777
AT ITER 1748 NEW BEST:: SOT 193145 SOS 93745 HAS SOPS 93745 HAS SOUS 77053 HAS SOUPS 77053 WITH SCORE 77146.745
AT ITER 1750 NEW BEST:: SOT 193093 SOS 93613 HAS SOPS 93613 HAS SOUS 76869 HAS SOUPS 76869 WITH SCORE 76962.613
AT ITER 1752 NEW BEST:: SOT 193093 SOS 93603 HAS SOPS 93603 HAS SOUS 76859 HAS SOUPS 76859 WITH SCORE 76952.603
AT ITER 1757 NEW BEST:: SOT 193090 SOS 93600 HAS SOPS 93600 HAS SOUS 76856 HAS SOUPS 76856 WITH SCORE 76949.6
AT ITER 1769 NEW BEST:: SOT 193080 SOS 93590 HAS SOPS 93590 HAS SOUS 76846 HAS SOUPS 76846 WITH SCORE 76939.59
AT ITER 1773 NEW BEST:: SOT 193033 SOS 93307 HAS SOPS 93307 HAS SOUS 76722 HAS SOUPS 76722 WITH SCORE 76815.307
AT ITER 1781 NEW BEST:: SOT 193040 SOS 93290 HAS SOPS 93290 HAS SOUS 76692 HAS SOUPS 76692 WITH SCORE 76785.29
AT ITER 1788 NEW BEST:: SOT 192968 SOS 93268 HAS SOPS 93268 HAS SOUS 76652 HAS SOUPS 76652 WITH SCORE 76745.268
AT ITER 1794 NEW BEST:: SOT 192848 SOS 92923 HAS SOPS 92923 HAS SOUS 76311 HAS SOUPS 76311 WITH SCORE 76403.923
AT ITER 1796 NEW BEST:: SOT 192790 SOS 92878 HAS SOPS 92878 HAS SOUS 76266 HAS SOUPS 76266 WITH SCORE 76358.878
AT ITER 1798 NEW BEST:: SOT 192772 SOS 92840 HAS SOPS 92840 HAS SOUS 76228 HAS SOUPS 76228 WITH SCORE 76320.84
AT ITER 1807 NEW BEST:: SOT 192772 SOS 92840 HAS SOPS 92840 HAS SOUS 76223 HAS SOUPS 76223 WITH SCORE 76315.84
AT ITER 1812 NEW BEST:: SOT 192772 SOS 92866 HAS SOPS 92866 HAS SOUS 76222 HAS SOUPS 76222 WITH SCORE 76314.866
AT ITER 1816 NEW BEST:: SOT 192784 SOS 92648 HAS SOPS 92648 HAS SOUS 76078 HAS SOUPS 76078 WITH SCORE 76170.648
AT ITER 1830 NEW BEST:: SOT 192784 SOS 92630 HAS SOPS 92630 HAS SOUS 76072 HAS SOUPS 76072 WITH SCORE 76164.63
AT ITER 1836 NEW BEST:: SOT 192710 SOS 92420 HAS SOPS 92420 HAS SOUS 75794 HAS SOUPS 75794 WITH SCORE 75886.42
AT ITER 1862 NEW BEST:: SOT 192710 SOS 92395 HAS SOPS 92395 HAS SOUS 75744 HAS SOUPS 75744 WITH SCORE 75836.395
AT ITER 1886 NEW BEST:: SOT 192710 SOS 92405 HAS SOPS 92405 HAS SOUS 75655 HAS SOUPS 75655 WITH SCORE 75747.405
AT ITER 1890 NEW BEST:: SOT 192702 SOS 92389 HAS SOPS 92389 HAS SOUS 75639 HAS SOUPS 75639 WITH SCORE 75731.389
AT ITER 1914 NEW BEST:: SOT 192676 SOS 92368 HAS SOPS 92368 HAS SOUS 75611 HAS SOUPS 75611 WITH SCORE 75703.368
AT ITER 1921 NEW BEST:: SOT 192515 SOS 92038 HAS SOPS 92038 HAS SOUS 75449 HAS SOUPS 75449 WITH SCORE 75541.038
AT ITER 1930 NEW BEST:: SOT 192475 SOS 91918 HAS SOPS 91918 HAS SOUS 75447 HAS SOUPS 75447 WITH SCORE 75538.918
AT ITER 1931 NEW BEST:: SOT 192308 SOS 92096 HAS SOPS 92096 HAS SOUS 75404 HAS SOUPS 75404 WITH SCORE 75496.096
AT ITER 1943 NEW BEST:: SOT 192308 SOS 91980 HAS SOPS 91980 HAS SOUS 75280 HAS SOUPS 75280 WITH SCORE 75371.98
AT ITER 1946 NEW BEST:: SOT 192308 SOS 91914 HAS SOPS 91914 HAS SOUS 75214 HAS SOUPS 75214 WITH SCORE 75305.914
AT ITER 1956 NEW BEST:: SOT 192238 SOS 91844 HAS SOPS 91844 HAS SOUS 75144 HAS SOUPS 75144 WITH SCORE 75235.844
AT ITER 1967 NEW BEST:: SOT 192181 SOS 91758 HAS SOPS 91758 HAS SOUS 75058 HAS SOUPS 75058 WITH SCORE 75149.758
AT ITER 1974 NEW BEST:: SOT 192341 SOS 91967 HAS SOPS 91967 HAS SOUS 75022 HAS SOUPS 75022 WITH SCORE 75113.967
AT ITER 1978 NEW BEST:: SOT 192335 SOS 91861 HAS SOPS 91861 HAS SOUS 74977 HAS SOUPS 74977 WITH SCORE 75068.861
AT ITER 1985 NEW BEST:: SOT 192282 SOS 91755 HAS SOPS 91755 HAS SOUS 74818 HAS SOUPS 74818 WITH SCORE 74909.755
AT ITER 1995 NEW BEST:: SOT 192170 SOS 91598 HAS SOPS 91598 HAS SOUS 74712 HAS SOUPS 74712 WITH SCORE 74803.598
AT ITER 2005 NEW BEST:: SOT 192153 SOS 91528 HAS SOPS 91528 HAS SOUS 74642 HAS SOUPS 74642 WITH SCORE 74733.528
AT ITER 2008 NEW BEST:: SOT 192036 SOS 91242 HAS SOPS 91242 HAS SOUS 74277 HAS SOUPS 74277 WITH SCORE 74368.242
AT ITER 2029 NEW BEST:: SOT 192016 SOS 90889 HAS SOPS 90889 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74311.889
AT ITER 2031 NEW BEST:: SOT 192017 SOS 90868 HAS SOPS 90868 HAS SOUS 74205 HAS SOUPS 74205 WITH SCORE 74295.868
AT ITER 2040 NEW BEST:: SOT 192007 SOS 90858 HAS SOPS 90858 HAS SOUS 74195 HAS SOUPS 74195 WITH SCORE 74285.858
AT ITER 2056 NEW BEST:: SOT 192369 SOS 91325 HAS SOPS 91325 HAS SOUS 74108 HAS SOUPS 74108 WITH SCORE 74199.325
AT ITER 2057 NEW BEST:: SOT 192323 SOS 91279 HAS SOPS 91279 HAS SOUS 74062 HAS SOUPS 74062 WITH SCORE 74153.279
AT ITER 2058 NEW BEST:: SOT 192323 SOS 91276 HAS SOPS 91276 HAS SOUS 74062 HAS SOUPS 74062 WITH SCORE 74153.276
AT ITER 2065 NEW BEST:: SOT 192339 SOS 91292 HAS SOPS 91292 HAS SOUS 74026 HAS SOUPS 74026 WITH SCORE 74117.292
AT ITER 2078 NEW BEST:: SOT 192340 SOS 91293 HAS SOPS 91293 HAS SOUS 74014 HAS SOUPS 74014 WITH SCORE 74105.293
AT ITER 2079 NEW BEST:: SOT 192230 SOS 91220 HAS SOPS 91220 HAS SOUS 73946 HAS SOUPS 73946 WITH SCORE 74037.22
AT ITER 2092 NEW BEST:: SOT 192248 SOS 91216 HAS SOPS 91216 HAS SOUS 73909 HAS SOUPS 73909 WITH SCORE 74000.216
AT ITER 2094 NEW BEST:: SOT 192185 SOS 91123 HAS SOPS 91123 HAS SOUS 73816 HAS SOUPS 73816 WITH SCORE 73907.123
AT ITER 2105 NEW BEST:: SOT 192185 SOS 91123 HAS SOPS 91123 HAS SOUS 73812 HAS SOUPS 73812 WITH SCORE 73903.123
AT ITER 2107 NEW BEST:: SOT 192205 SOS 90893 HAS SOPS 90893 HAS SOUS 73487 HAS SOUPS 73487 WITH SCORE 73577.893
AT ITER 2118 NEW BEST:: SOT 192161 SOS 90849 HAS SOPS 90849 HAS SOUS 73443 HAS SOUPS 73443 WITH SCORE 73533.849
AT ITER 2128 NEW BEST:: SOT 192193 SOS 90848 HAS SOPS 90848 HAS SOUS 73442 HAS SOUPS 73442 WITH SCORE 73532.848
AT ITER 2131 NEW BEST:: SOT 192193 SOS 90587 HAS SOPS 90587 HAS SOUS 73355 HAS SOUPS 73355 WITH SCORE 73445.587
AT ITER 2139 NEW BEST:: SOT 192193 SOS 90584 HAS SOPS 90584 HAS SOUS 73355 HAS SOUPS 73355 WITH SCORE 73445.584
AT ITER 2141 NEW BEST:: SOT 192193 SOS 90521 HAS SOPS 90521 HAS SOUS 73292 HAS SOUPS 73292 WITH SCORE 73382.521
AT ITER 2178 NEW BEST:: SOT 192193 SOS 90569 HAS SOPS 90569 HAS SOUS 73244 HAS SOUPS 73244 WITH SCORE 73334.569
AT ITER 2186 NEW BEST:: SOT 192087 SOS 90251 HAS SOPS 90251 HAS SOUS 73032 HAS SOUPS 73032 WITH SCORE 73122.251
AT ITER 2195 NEW BEST:: SOT 192144 SOS 90393 HAS SOPS 90393 HAS SOUS 72996 HAS SOUPS 72996 WITH SCORE 73086.393
AT ITER 2196 NEW BEST:: SOT 192144 SOS 90383 HAS SOPS 90383 HAS SOUS 72986 HAS SOUPS 72986 WITH SCORE 73076.383
AT ITER 2218 NEW BEST:: SOT 192064 SOS 90277 HAS SOPS 90277 HAS SOUS 72880 HAS SOUPS 72880 WITH SCORE 72970.277
AT ITER 2226 NEW BEST:: SOT 192051 SOS 90264 HAS SOPS 90264 HAS SOUS 72855 HAS SOUPS 72855 WITH SCORE 72945.264
AT ITER 2244 NEW BEST:: SOT 191953 SOS 90041 HAS SOPS 90041 HAS SOUS 72637 HAS SOUPS 72637 WITH SCORE 72727.041
AT ITER 2248 NEW BEST:: SOT 191834 SOS 89364 HAS SOPS 89364 HAS SOUS 72605 HAS SOUPS 72605 WITH SCORE 72694.364
AT ITER 2252 NEW BEST:: SOT 191834 SOS 89318 HAS SOPS 89318 HAS SOUS 72605 HAS SOUPS 72605 WITH SCORE 72694.318
AT ITER 2266 NEW BEST:: SOT 191727 SOS 89089 HAS SOPS 89089 HAS SOUS 72244 HAS SOUPS 72244 WITH SCORE 72333.089
AT ITER 2279 NEW BEST:: SOT 191692 SOS 89053 HAS SOPS 89053 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72296.053
AT ITER 2283 NEW BEST:: SOT 191570 SOS 88889 HAS SOPS 88889 HAS SOUS 72043 HAS SOUPS 72043 WITH SCORE 72131.889
AT ITER 2291 NEW BEST:: SOT 191348 SOS 88740 HAS SOPS 88740 HAS SOUS 72007 HAS SOUPS 72007 WITH SCORE 72095.74
AT ITER 2295 NEW BEST:: SOT 191326 SOS 88718 HAS SOPS 88718 HAS SOUS 71985 HAS SOUPS 71985 WITH SCORE 72073.718
AT ITER 2296 NEW BEST:: SOT 191328 SOS 88684 HAS SOPS 88684 HAS SOUS 71951 HAS SOUPS 71951 WITH SCORE 72039.684
AT ITER 2300 NEW BEST:: SOT 191328 SOS 88650 HAS SOPS 88650 HAS SOUS 71917 HAS SOUPS 71917 WITH SCORE 72005.65
AT ITER 2306 NEW BEST:: SOT 191308 SOS 88532 HAS SOPS 88532 HAS SOUS 71853 HAS SOUPS 71853 WITH SCORE 71941.532
AT ITER 2317 NEW BEST:: SOT 191414 SOS 88584 HAS SOPS 88584 HAS SOUS 71829 HAS SOUPS 71829 WITH SCORE 71917.584
AT ITER 2337 NEW BEST:: SOT 191331 SOS 88789 HAS SOPS 88789 HAS SOUS 71744 HAS SOUPS 71744 WITH SCORE 71832.789
AT ITER 2338 NEW BEST:: SOT 191094 SOS 88547 HAS SOPS 88547 HAS SOUS 71484 HAS SOUPS 71484 WITH SCORE 71572.547
AT ITER 2345 NEW BEST:: SOT 191071 SOS 88315 HAS SOPS 88315 HAS SOUS 71326 HAS SOUPS 71326 WITH SCORE 71414.315
AT ITER 2353 NEW BEST:: SOT 191118 SOS 88286 HAS SOPS 88286 HAS SOUS 71190 HAS SOUPS 71190 WITH SCORE 71278.286
AT ITER 2359 NEW BEST:: SOT 191064 SOS 88232 HAS SOPS 88232 HAS SOUS 71136 HAS SOUPS 71136 WITH SCORE 71224.232
AT ITER 2384 NEW BEST:: SOT 191026 SOS 88156 HAS SOPS 88156 HAS SOUS 71136 HAS SOUPS 71136 WITH SCORE 71224.156
AT ITER 2385 NEW BEST:: SOT 191021 SOS 88150 HAS SOPS 88150 HAS SOUS 71136 HAS SOUPS 71136 WITH SCORE 71224.15
AT ITER 2387 NEW BEST:: SOT 191013 SOS 88028 HAS SOPS 88028 HAS SOUS 71115 HAS SOUPS 71115 WITH SCORE 71203.028
AT ITER 2393 NEW BEST:: SOT 190819 SOS 87695 HAS SOPS 87695 HAS SOUS 70782 HAS SOUPS 70782 WITH SCORE 70869.695
AT ITER 2401 NEW BEST:: SOT 190562 SOS 87100 HAS SOPS 87100 HAS SOUS 70318 HAS SOUPS 70318 WITH SCORE 70405.1
AT ITER 2404 NEW BEST:: SOT 190522 SOS 87079 HAS SOPS 87079 HAS SOUS 70273 HAS SOUPS 70273 WITH SCORE 70360.079
AT ITER 2406 NEW BEST:: SOT 190287 SOS 86854 HAS SOPS 86854 HAS SOUS 70177 HAS SOUPS 70177 WITH SCORE 70263.854
AT ITER 2429 NEW BEST:: SOT 190283 SOS 86850 HAS SOPS 86850 HAS SOUS 70173 HAS SOUPS 70173 WITH SCORE 70259.85
AT ITER 2437 NEW BEST:: SOT 190229 SOS 86469 HAS SOPS 86469 HAS SOUS 70152 HAS SOUPS 70152 WITH SCORE 70238.469
AT ITER 2440 NEW BEST:: SOT 190162 SOS 86221 HAS SOPS 86221 HAS SOUS 70036 HAS SOUPS 70036 WITH SCORE 70122.221
AT ITER 2442 NEW BEST:: SOT 190183 SOS 86178 HAS SOPS 86178 HAS SOUS 69979 HAS SOUPS 69979 WITH SCORE 70065.178
AT ITER 2459 NEW BEST:: SOT 190195 SOS 86137 HAS SOPS 86137 HAS SOUS 69925 HAS SOUPS 69925 WITH SCORE 70011.137
AT ITER 2466 NEW BEST:: SOT 190234 SOS 86169 HAS SOPS 86169 HAS SOUS 69898 HAS SOUPS 69898 WITH SCORE 69984.169
AT ITER 2467 NEW BEST:: SOT 190228 SOS 86157 HAS SOPS 86157 HAS SOUS 69880 HAS SOUPS 69880 WITH SCORE 69966.157
AT ITER 2470 NEW BEST:: SOT 190228 SOS 86145 HAS SOPS 86145 HAS SOUS 69858 HAS SOUPS 69858 WITH SCORE 69944.145
AT ITER 2494 NEW BEST:: SOT 190224 SOS 86141 HAS SOPS 86141 HAS SOUS 69851 HAS SOUPS 69851 WITH SCORE 69937.141
AT ITER 2499 NEW BEST:: SOT 190220 SOS 86135 HAS SOPS 86135 HAS SOUS 69846 HAS SOUPS 69846 WITH SCORE 69932.135
AT ITER 2538 NEW BEST:: SOT 190219 SOS 86131 HAS SOPS 86131 HAS SOUS 69843 HAS SOUPS 69843 WITH SCORE 69929.131
AT ITER 2546 NEW BEST:: SOT 190147 SOS 85762 HAS SOPS 85762 HAS SOUS 69747 HAS SOUPS 69747 WITH SCORE 69832.762
AT ITER 2565 NEW BEST:: SOT 190003 SOS 85245 HAS SOPS 85245 HAS SOUS 69299 HAS SOUPS 69299 WITH SCORE 69384.245
AT ITER 2581 NEW BEST:: SOT 190070 SOS 85288 HAS SOPS 85288 HAS SOUS 69047 HAS SOUPS 69047 WITH SCORE 69132.288
AT ITER 2593 NEW BEST:: SOT 190060 SOS 85272 HAS SOPS 85272 HAS SOUS 69031 HAS SOUPS 69031 WITH SCORE 69116.272
AT ITER 2595 NEW BEST:: SOT 190055 SOS 85189 HAS SOPS 85189 HAS SOUS 69027 HAS SOUPS 69027 WITH SCORE 69112.189
AT ITER 2607 NEW BEST:: SOT 189921 SOS 85078 HAS SOPS 85078 HAS SOUS 68911 HAS SOUPS 68911 WITH SCORE 68996.078
AT ITER 2617 NEW BEST:: SOT 189921 SOS 85076 HAS SOPS 85076 HAS SOUS 68909 HAS SOUPS 68909 WITH SCORE 68994.076
AT ITER 2629 NEW BEST:: SOT 189927 SOS 85075 HAS SOPS 85075 HAS SOUS 68908 HAS SOUPS 68908 WITH SCORE 68993.075
AT ITER 2632 NEW BEST:: SOT 189921 SOS 85069 HAS SOPS 85069 HAS SOUS 68902 HAS SOUPS 68902 WITH SCORE 68987.069
AT ITER 2645 NEW BEST:: SOT 189932 SOS 84973 HAS SOPS 84973 HAS SOUS 68878 HAS SOUPS 68878 WITH SCORE 68962.973
AT ITER 2647 NEW BEST:: SOT 189931 SOS 84970 HAS SOPS 84970 HAS SOUS 68874 HAS SOUPS 68874 WITH SCORE 68958.97
AT ITER 2666 NEW BEST:: SOT 189902 SOS 84931 HAS SOPS 84931 HAS SOUS 68840 HAS SOUPS 68840 WITH SCORE 68924.931
AT ITER 2668 NEW BEST:: SOT 189902 SOS 84587 HAS SOPS 84587 HAS SOUS 68840 HAS SOUPS 68840 WITH SCORE 68924.587
AT ITER 2696 NEW BEST:: SOT 189878 SOS 84525 HAS SOPS 84525 HAS SOUS 68808 HAS SOUPS 68808 WITH SCORE 68892.525
AT ITER 2705 NEW BEST:: SOT 189828 SOS 84475 HAS SOPS 84475 HAS SOUS 68733 HAS SOUPS 68733 WITH SCORE 68817.475
AT ITER 2714 NEW BEST:: SOT 189724 SOS 84298 HAS SOPS 84298 HAS SOUS 68717 HAS SOUPS 68717 WITH SCORE 68801.298
AT ITER 2727 NEW BEST:: SOT 189655 SOS 84209 HAS SOPS 84209 HAS SOUS 68477 HAS SOUPS 68477 WITH SCORE 68561.209
AT ITER 2729 NEW BEST:: SOT 189669 SOS 84223 HAS SOPS 84223 HAS SOUS 68458 HAS SOUPS 68458 WITH SCORE 68542.223
AT ITER 2735 NEW BEST:: SOT 189669 SOS 83601 HAS SOPS 83601 HAS SOUS 68395 HAS SOUPS 68395 WITH SCORE 68478.601
AT ITER 2751 NEW BEST:: SOT 189640 SOS 83572 HAS SOPS 83572 HAS SOUS 68366 HAS SOUPS 68366 WITH SCORE 68449.572
AT ITER 2753 NEW BEST:: SOT 189572 SOS 83446 HAS SOPS 83446 HAS SOUS 68238 HAS SOUPS 68238 WITH SCORE 68321.446
AT ITER 2782 NEW BEST:: SOT 189446 SOS 83320 HAS SOPS 83320 HAS SOUS 68112 HAS SOUPS 68112 WITH SCORE 68195.32
AT ITER 2787 NEW BEST:: SOT 189374 SOS 83248 HAS SOPS 83248 HAS SOUS 68040 HAS SOUPS 68040 WITH SCORE 68123.248
AT ITER 2789 NEW BEST:: SOT 189425 SOS 83161 HAS SOPS 83161 HAS SOUS 67983 HAS SOUPS 67983 WITH SCORE 68066.161
AT ITER 2800 NEW BEST:: SOT 189331 SOS 83067 HAS SOPS 83067 HAS SOUS 67889 HAS SOUPS 67889 WITH SCORE 67972.067
AT ITER 2802 NEW BEST:: SOT 189331 SOS 83024 HAS SOPS 83024 HAS SOUS 67875 HAS SOUPS 67875 WITH SCORE 67958.024
AT ITER 2808 NEW BEST:: SOT 189340 SOS 83009 HAS SOPS 83009 HAS SOUS 67860 HAS SOUPS 67860 WITH SCORE 67943.009
AT ITER 2835 NEW BEST:: SOT 189380 SOS 82916 HAS SOPS 82916 HAS SOUS 67821 HAS SOUPS 67821 WITH SCORE 67903.916
AT ITER 2846 NEW BEST:: SOT 189278 SOS 82630 HAS SOPS 82630 HAS SOUS 67666 HAS SOUPS 67666 WITH SCORE 67748.63
AT ITER 2850 NEW BEST:: SOT 189266 SOS 82618 HAS SOPS 82618 HAS SOUS 67654 HAS SOUPS 67654 WITH SCORE 67736.618
AT ITER 2866 NEW BEST:: SOT 189266 SOS 82614 HAS SOPS 82614 HAS SOUS 67654 HAS SOUPS 67654 WITH SCORE 67736.614
AT ITER 2895 NEW BEST:: SOT 189199 SOS 82143 HAS SOPS 82143 HAS SOUS 67361 HAS SOUPS 67361 WITH SCORE 67443.143
AT ITER 2912 NEW BEST:: SOT 189111 SOS 82003 HAS SOPS 82003 HAS SOUS 67221 HAS SOUPS 67221 WITH SCORE 67303.003
AT ITER 2917 NEW BEST:: SOT 189084 SOS 81833 HAS SOPS 81833 HAS SOUS 66937 HAS SOUPS 66937 WITH SCORE 67018.833
AT ITER 2919 NEW BEST:: SOT 189082 SOS 81829 HAS SOPS 81829 HAS SOUS 66929 HAS SOUPS 66929 WITH SCORE 67010.829
AT ITER 2930 NEW BEST:: SOT 188977 SOS 81619 HAS SOPS 81619 HAS SOUS 66925 HAS SOUPS 66925 WITH SCORE 67006.619
AT ITER 2942 NEW BEST:: SOT 188974 SOS 81616 HAS SOPS 81616 HAS SOUS 66922 HAS SOUPS 66922 WITH SCORE 67003.616
AT ITER 2952 NEW BEST:: SOT 188947 SOS 81589 HAS SOPS 81589 HAS SOUS 66889 HAS SOUPS 66889 WITH SCORE 66970.589
AT ITER 2966 NEW BEST:: SOT 188917 SOS 81559 HAS SOPS 81559 HAS SOUS 66887 HAS SOUPS 66887 WITH SCORE 66968.559
AT ITER 2970 NEW BEST:: SOT 188905 SOS 81485 HAS SOPS 81485 HAS SOUS 66813 HAS SOUPS 66813 WITH SCORE 66894.485
AT ITER 2979 NEW BEST:: SOT 188819 SOS 81034 HAS SOPS 81034 HAS SOUS 66597 HAS SOUPS 66597 WITH SCORE 66678.034
AT ITER 3010 NEW BEST:: SOT 188819 SOS 81025 HAS SOPS 81025 HAS SOUS 66588 HAS SOUPS 66588 WITH SCORE 66669.025
AT ITER 3015 NEW BEST:: SOT 188799 SOS 80917 HAS SOPS 80917 HAS SOUS 66546 HAS SOUPS 66546 WITH SCORE 66626.917
AT ITER 3018 NEW BEST:: SOT 188791 SOS 80905 HAS SOPS 80905 HAS SOUS 66534 HAS SOUPS 66534 WITH SCORE 66614.905
AT ITER 3036 NEW BEST:: SOT 188791 SOS 80610 HAS SOPS 80610 HAS SOUS 66455 HAS SOUPS 66455 WITH SCORE 66535.61
AT ITER 3070 NEW BEST:: SOT 188789 SOS 80580 HAS SOPS 80580 HAS SOUS 66441 HAS SOUPS 66441 WITH SCORE 66521.58
AT ITER 3093 NEW BEST:: SOT 188667 SOS 80574 HAS SOPS 80574 HAS SOUS 66436 HAS SOUPS 66436 WITH SCORE 66516.574
AT ITER 3119 NEW BEST:: SOT 188591 SOS 80498 HAS SOPS 80498 HAS SOUS 66360 HAS SOUPS 66360 WITH SCORE 66440.498
AT ITER 3137 NEW BEST:: SOT 188591 SOS 80472 HAS SOPS 80472 HAS SOUS 66359 HAS SOUPS 66359 WITH SCORE 66439.472
AT ITER 3147 NEW BEST:: SOT 188591 SOS 80470 HAS SOPS 80470 HAS SOUS 66358 HAS SOUPS 66358 WITH SCORE 66438.47
AT ITER 3155 NEW BEST:: SOT 188591 SOS 80421 HAS SOPS 80421 HAS SOUS 66328 HAS SOUPS 66328 WITH SCORE 66408.421
AT ITER 3159 NEW BEST:: SOT 188577 SOS 80407 HAS SOPS 80407 HAS SOUS 66314 HAS SOUPS 66314 WITH SCORE 66394.407
AT ITER 3161 NEW BEST:: SOT 188572 SOS 80400 HAS SOPS 80400 HAS SOUS 66300 HAS SOUPS 66300 WITH SCORE 66380.4
AT ITER 3189 NEW BEST:: SOT 188476 SOS 80304 HAS SOPS 80304 HAS SOUS 66277 HAS SOUPS 66277 WITH SCORE 66357.304
AT ITER 3202 NEW BEST:: SOT 188342 SOS 80154 HAS SOPS 80154 HAS SOUS 66160 HAS SOUPS 66160 WITH SCORE 66240.154
AT ITER 3225 NEW BEST:: SOT 188271 SOS 80117 HAS SOPS 80117 HAS SOUS 66123 HAS SOUPS 66123 WITH SCORE 66203.117
AT ITER 3229 NEW BEST:: SOT 188288 SOS 80051 HAS SOPS 80051 HAS SOUS 66057 HAS SOUPS 66057 WITH SCORE 66137.051
AT ITER 3230 NEW BEST:: SOT 188252 SOS 79975 HAS SOPS 79975 HAS SOUS 66053 HAS SOUPS 66053 WITH SCORE 66132.975
AT ITER 3233 NEW BEST:: SOT 188228 SOS 79923 HAS SOPS 79923 HAS SOUS 66001 HAS SOUPS 66001 WITH SCORE 66080.923
AT ITER 3236 NEW BEST:: SOT 188228 SOS 79923 HAS SOPS 79923 HAS SOUS 65998 HAS SOUPS 65998 WITH SCORE 66077.923
AT ITER 3240 NEW BEST:: SOT 188219 SOS 79785 HAS SOPS 79785 HAS SOUS 65911 HAS SOUPS 65911 WITH SCORE 65990.785
AT ITER 3257 NEW BEST:: SOT 188202 SOS 79716 HAS SOPS 79716 HAS SOUS 65842 HAS SOUPS 65842 WITH SCORE 65921.716
AT ITER 3270 NEW BEST:: SOT 188200 SOS 79686 HAS SOPS 79686 HAS SOUS 65828 HAS SOUPS 65828 WITH SCORE 65907.686
AT ITER 3277 NEW BEST:: SOT 188200 SOS 79724 HAS SOPS 79724 HAS SOUS 65800 HAS SOUPS 65800 WITH SCORE 65879.724
AT ITER 3310 NEW BEST:: SOT 188174 SOS 79698 HAS SOPS 79698 HAS SOUS 65774 HAS SOUPS 65774 WITH SCORE 65853.698
AT ITER 3324 NEW BEST:: SOT 188019 SOS 79530 HAS SOPS 79530 HAS SOUS 65606 HAS SOUPS 65606 WITH SCORE 65685.53
AT ITER 3377 NEW BEST:: SOT 187997 SOS 79463 HAS SOPS 79463 HAS SOUS 65579 HAS SOUPS 65579 WITH SCORE 65658.463
AT ITER 3379 NEW BEST:: SOT 187997 SOS 79413 HAS SOPS 79413 HAS SOUS 65554 HAS SOUPS 65554 WITH SCORE 65633.413
AT ITER 3392 NEW BEST:: SOT 187985 SOS 79401 HAS SOPS 79401 HAS SOUS 65542 HAS SOUPS 65542 WITH SCORE 65621.401
AT ITER 3417 NEW BEST:: SOT 187975 SOS 79365 HAS SOPS 79365 HAS SOUS 65508 HAS SOUPS 65508 WITH SCORE 65587.365
AT ITER 3439 NEW BEST:: SOT 187965 SOS 79266 HAS SOPS 79266 HAS SOUS 65503 HAS SOUPS 65503 WITH SCORE 65582.266
AT ITER 3497 NEW BEST:: SOT 187828 SOS 79129 HAS SOPS 79129 HAS SOUS 65483 HAS SOUPS 65483 WITH SCORE 65562.129
AT ITER 3513 NEW BEST:: SOT 187824 SOS 78962 HAS SOPS 78962 HAS SOUS 65475 HAS SOUPS 65475 WITH SCORE 65553.962
AT ITER 3527 NEW BEST:: SOT 187854 SOS 78593 HAS SOPS 78593 HAS SOUS 65406 HAS SOUPS 65406 WITH SCORE 65484.593
AT ITER 3530 NEW BEST:: SOT 187818 SOS 78556 HAS SOPS 78556 HAS SOUS 65368 HAS SOUPS 65368 WITH SCORE 65446.556
AT ITER 3554 NEW BEST:: SOT 188049 SOS 78654 HAS SOPS 78654 HAS SOUS 65221 HAS SOUPS 65221 WITH SCORE 65299.654
AT ITER 3580 NEW BEST:: SOT 188032 SOS 78637 HAS SOPS 78637 HAS SOUS 65204 HAS SOUPS 65204 WITH SCORE 65282.637
AT ITER 3583 NEW BEST:: SOT 187999 SOS 78539 HAS SOPS 78539 HAS SOUS 65106 HAS SOUPS 65106 WITH SCORE 65184.539
AT ITER 3616 NEW BEST:: SOT 188042 SOS 78495 HAS SOPS 78495 HAS SOUS 64985 HAS SOUPS 64985 WITH SCORE 65063.495
AT ITER 3625 NEW BEST:: SOT 187978 SOS 78371 HAS SOPS 78371 HAS SOUS 64932 HAS SOUPS 64932 WITH SCORE 65010.371
AT ITER 3633 NEW BEST:: SOT 187979 SOS 78372 HAS SOPS 78372 HAS SOUS 64930 HAS SOUPS 64930 WITH SCORE 65008.372
AT ITER 3668 NEW BEST:: SOT 187967 SOS 78336 HAS SOPS 78336 HAS SOUS 64906 HAS SOUPS 64906 WITH SCORE 64984.336
AT ITER 3672 NEW BEST:: SOT 187924 SOS 77968 HAS SOPS 77968 HAS SOUS 64698 HAS SOUPS 64698 WITH SCORE 64775.968
AT ITER 3680 NEW BEST:: SOT 187851 SOS 77867 HAS SOPS 77867 HAS SOUS 64597 HAS SOUPS 64597 WITH SCORE 64674.867
AT ITER 3691 NEW BEST:: SOT 187839 SOS 77855 HAS SOPS 77855 HAS SOUS 64585 HAS SOUPS 64585 WITH SCORE 64662.855
AT ITER 3696 NEW BEST:: SOT 187835 SOS 77843 HAS SOPS 77843 HAS SOUS 64585 HAS SOUPS 64585 WITH SCORE 64662.843
AT ITER 3727 NEW BEST:: SOT 187764 SOS 77701 HAS SOPS 77701 HAS SOUS 64568 HAS SOUPS 64568 WITH SCORE 64645.701
AT ITER 3744 NEW BEST:: SOT 187740 SOS 77557 HAS SOPS 77557 HAS SOUS 64568 HAS SOUPS 64568 WITH SCORE 64645.557
AT ITER 3764 NEW BEST:: SOT 187740 SOS 77448 HAS SOPS 77448 HAS SOUS 64506 HAS SOUPS 64506 WITH SCORE 64583.448
AT ITER 3771 NEW BEST:: SOT 187734 SOS 77459 HAS SOPS 77459 HAS SOUS 64488 HAS SOUPS 64488 WITH SCORE 64565.459
AT ITER 3776 NEW BEST:: SOT 187718 SOS 77413 HAS SOPS 77413 HAS SOUS 64442 HAS SOUPS 64442 WITH SCORE 64519.413
AT ITER 3780 NEW BEST:: SOT 187718 SOS 77155 HAS SOPS 77155 HAS SOUS 64270 HAS SOUPS 64270 WITH SCORE 64347.155
AT ITER 3787 NEW BEST:: SOT 187691 SOS 77128 HAS SOPS 77128 HAS SOUS 64243 HAS SOUPS 64243 WITH SCORE 64320.128
AT ITER 3802 NEW BEST:: SOT 187657 SOS 77080 HAS SOPS 77080 HAS SOUS 64195 HAS SOUPS 64195 WITH SCORE 64272.08
AT ITER 3820 NEW BEST:: SOT 187688 SOS 77086 HAS SOPS 77086 HAS SOUS 64172 HAS SOUPS 64172 WITH SCORE 64249.086
AT ITER 3858 NEW BEST:: SOT 187621 SOS 77031 HAS SOPS 77031 HAS SOUS 64011 HAS SOUPS 64011 WITH SCORE 64088.031
AT ITER 3866 NEW BEST:: SOT 187602 SOS 76993 HAS SOPS 76993 HAS SOUS 63973 HAS SOUPS 63973 WITH SCORE 64049.993
AT ITER 3878 NEW BEST:: SOT 187602 SOS 77008 HAS SOPS 77008 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64049.008
AT ITER 3884 NEW BEST:: SOT 187602 SOS 76997 HAS SOPS 76997 HAS SOUS 63954 HAS SOUPS 63954 WITH SCORE 64030.997
AT ITER 3892 NEW BEST:: SOT 187561 SOS 76959 HAS SOPS 76959 HAS SOUS 63935 HAS SOUPS 63935 WITH SCORE 64011.959
AT ITER 3896 NEW BEST:: SOT 187536 SOS 76934 HAS SOPS 76934 HAS SOUS 63910 HAS SOUPS 63910 WITH SCORE 63986.934
AT ITER 3916 NEW BEST:: SOT 187535 SOS 76538 HAS SOPS 76538 HAS SOUS 63880 HAS SOUPS 63880 WITH SCORE 63956.538
AT ITER 3925 NEW BEST:: SOT 187548 SOS 75830 HAS SOPS 75830 HAS SOUS 63741 HAS SOUPS 63741 WITH SCORE 63816.83
AT ITER 3956 NEW BEST:: SOT 187530 SOS 75798 HAS SOPS 75798 HAS SOUS 63727 HAS SOUPS 63727 WITH SCORE 63802.798
AT ITER 3997 NEW BEST:: SOT 187530 SOS 75593 HAS SOPS 75593 HAS SOUS 63686 HAS SOUPS 63686 WITH SCORE 63761.593
AT ITER 4000 NEW BEST:: SOT 187619 SOS 75539 HAS SOPS 75539 HAS SOUS 63632 HAS SOUPS 63632 WITH SCORE 63707.539
AT ITER 4015 NEW BEST:: SOT 187605 SOS 75511 HAS SOPS 75511 HAS SOUS 63590 HAS SOUPS 63590 WITH SCORE 63665.511
AT ITER 4018 NEW BEST:: SOT 187549 SOS 75446 HAS SOPS 75446 HAS SOUS 63513 HAS SOUPS 63513 WITH SCORE 63588.446
AT ITER 4024 NEW BEST:: SOT 187538 SOS 75435 HAS SOPS 75435 HAS SOUS 63502 HAS SOUPS 63502 WITH SCORE 63577.435
AT ITER 4025 NEW BEST:: SOT 187584 SOS 75367 HAS SOPS 75367 HAS SOUS 63422 HAS SOUPS 63422 WITH SCORE 63497.367
AT ITER 4042 NEW BEST:: SOT 187435 SOS 75181 HAS SOPS 75181 HAS SOUS 63236 HAS SOUPS 63236 WITH SCORE 63311.181
AT ITER 4045 NEW BEST:: SOT 187508 SOS 75237 HAS SOPS 75237 HAS SOUS 63235 HAS SOUPS 63235 WITH SCORE 63310.237
AT ITER 4062 NEW BEST:: SOT 187508 SOS 75233 HAS SOPS 75233 HAS SOUS 63229 HAS SOUPS 63229 WITH SCORE 63304.233
AT ITER 4065 NEW BEST:: SOT 187492 SOS 75217 HAS SOPS 75217 HAS SOUS 63213 HAS SOUPS 63213 WITH SCORE 63288.217
AT ITER 4067 NEW BEST:: SOT 187501 SOS 75255 HAS SOPS 75255 HAS SOUS 63198 HAS SOUPS 63198 WITH SCORE 63273.255
AT ITER 4069 NEW BEST:: SOT 187499 SOS 75253 HAS SOPS 75253 HAS SOUS 63196 HAS SOUPS 63196 WITH SCORE 63271.253
AT ITER 4070 NEW BEST:: SOT 187481 SOS 75235 HAS SOPS 75235 HAS SOUS 63178 HAS SOUPS 63178 WITH SCORE 63253.235
AT ITER 4071 NEW BEST:: SOT 187424 SOS 75125 HAS SOPS 75125 HAS SOUS 63037 HAS SOUPS 63037 WITH SCORE 63112.125
AT ITER 4075 NEW BEST:: SOT 187445 SOS 75097 HAS SOPS 75097 HAS SOUS 63030 HAS SOUPS 63030 WITH SCORE 63105.097
AT ITER 4090 NEW BEST:: SOT 187430 SOS 75082 HAS SOPS 75082 HAS SOUS 63015 HAS SOUPS 63015 WITH SCORE 63090.082
AT ITER 4093 NEW BEST:: SOT 187362 SOS 74880 HAS SOPS 74880 HAS SOUS 62813 HAS SOUPS 62813 WITH SCORE 62887.88
AT ITER 4121 NEW BEST:: SOT 187341 SOS 74847 HAS SOPS 74847 HAS SOUS 62786 HAS SOUPS 62786 WITH SCORE 62860.847
AT ITER 4122 NEW BEST:: SOT 187341 SOS 74789 HAS SOPS 74789 HAS SOUS 62784 HAS SOUPS 62784 WITH SCORE 62858.789
AT ITER 4125 NEW BEST:: SOT 187313 SOS 74531 HAS SOPS 74531 HAS SOUS 62670 HAS SOUPS 62670 WITH SCORE 62744.531
AT ITER 4138 NEW BEST:: SOT 187164 SOS 74382 HAS SOPS 74382 HAS SOUS 62521 HAS SOUPS 62521 WITH SCORE 62595.382
AT ITER 4140 NEW BEST:: SOT 187157 SOS 74368 HAS SOPS 74368 HAS SOUS 62513 HAS SOUPS 62513 WITH SCORE 62587.368
AT ITER 4160 NEW BEST:: SOT 187087 SOS 73833 HAS SOPS 73833 HAS SOUS 62509 HAS SOUPS 62509 WITH SCORE 62582.833
AT ITER 4178 NEW BEST:: SOT 186986 SOS 73771 HAS SOPS 73771 HAS SOUS 62242 HAS SOUPS 62242 WITH SCORE 62315.771
AT ITER 4183 NEW BEST:: SOT 186968 SOS 73708 HAS SOPS 73708 HAS SOUS 62206 HAS SOUPS 62206 WITH SCORE 62279.708
AT ITER 4188 NEW BEST:: SOT 186743 SOS 73342 HAS SOPS 73342 HAS SOUS 61840 HAS SOUPS 61840 WITH SCORE 61913.342
AT ITER 4190 NEW BEST:: SOT 186212 SOS 72345 HAS SOPS 72345 HAS SOUS 61010 HAS SOUPS 61010 WITH SCORE 61082.345
AT ITER 4216 NEW BEST:: SOT 186127 SOS 72260 HAS SOPS 72260 HAS SOUS 60925 HAS SOUPS 60925 WITH SCORE 60997.26
AT ITER 4222 NEW BEST:: SOT 186121 SOS 72254 HAS SOPS 72254 HAS SOUS 60919 HAS SOUPS 60919 WITH SCORE 60991.254
AT ITER 4230 NEW BEST:: SOT 186116 SOS 72244 HAS SOPS 72244 HAS SOUS 60914 HAS SOUPS 60914 WITH SCORE 60986.244
AT ITER 4245 NEW BEST:: SOT 186073 SOS 72133 HAS SOPS 72133 HAS SOUS 60769 HAS SOUPS 60769 WITH SCORE 60841.133
AT ITER 4247 NEW BEST:: SOT 186073 SOS 72131 HAS SOPS 72131 HAS SOUS 60752 HAS SOUPS 60752 WITH SCORE 60824.131
AT ITER 4263 NEW BEST:: SOT 186071 SOS 72122 HAS SOPS 72122 HAS SOUS 60743 HAS SOUPS 60743 WITH SCORE 60815.122
AT ITER 4268 NEW BEST:: SOT 186071 SOS 72082 HAS SOPS 72082 HAS SOUS 60705 HAS SOUPS 60705 WITH SCORE 60777.082
AT ITER 4272 NEW BEST:: SOT 186091 SOS 71952 HAS SOPS 71952 HAS SOUS 60674 HAS SOUPS 60674 WITH SCORE 60745.952
AT ITER 4284 NEW BEST:: SOT 186091 SOS 71746 HAS SOPS 71746 HAS SOUS 60468 HAS SOUPS 60468 WITH SCORE 60539.746
AT ITER 4285 NEW BEST:: SOT 186134 SOS 71778 HAS SOPS 71778 HAS SOUS 60437 HAS SOUPS 60437 WITH SCORE 60508.778
AT ITER 4287 NEW BEST:: SOT 186139 SOS 71392 HAS SOPS 71392 HAS SOUS 60305 HAS SOUPS 60305 WITH SCORE 60376.392
AT ITER 4288 NEW BEST:: SOT 186116 SOS 71351 HAS SOPS 71351 HAS SOUS 60264 HAS SOUPS 60264 WITH SCORE 60335.351
AT ITER 4290 NEW BEST:: SOT 186116 SOS 71227 HAS SOPS 71227 HAS SOUS 60264 HAS SOUPS 60264 WITH SCORE 60335.227
AT ITER 4305 NEW BEST:: SOT 186020 SOS 70980 HAS SOPS 70980 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60087.98
AT ITER 4314 NEW BEST:: SOT 185701 SOS 70661 HAS SOPS 70661 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59768.661
AT ITER 4326 NEW BEST:: SOT 185627 SOS 70587 HAS SOPS 70587 HAS SOUS 59624 HAS SOUPS 59624 WITH SCORE 59694.587
AT ITER 4354 NEW BEST:: SOT 185631 SOS 70585 HAS SOPS 70585 HAS SOUS 59537 HAS SOUPS 59537 WITH SCORE 59607.585
AT ITER 4365 NEW BEST:: SOT 185628 SOS 70566 HAS SOPS 70566 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59601.566
AT ITER 4371 NEW BEST:: SOT 185628 SOS 70565 HAS SOPS 70565 HAS SOUS 59528 HAS SOUPS 59528 WITH SCORE 59598.565
AT ITER 4373 NEW BEST:: SOT 185583 SOS 70508 HAS SOPS 70508 HAS SOUS 59471 HAS SOUPS 59471 WITH SCORE 59541.508
AT ITER 4395 NEW BEST:: SOT 185582 SOS 70504 HAS SOPS 70504 HAS SOUS 59467 HAS SOUPS 59467 WITH SCORE 59537.504
AT ITER 4435 NEW BEST:: SOT 185568 SOS 70476 HAS SOPS 70476 HAS SOUS 59422 HAS SOUPS 59422 WITH SCORE 59492.476
AT ITER 4465 NEW BEST:: SOT 185520 SOS 70428 HAS SOPS 70428 HAS SOUS 59374 HAS SOUPS 59374 WITH SCORE 59444.428
AT ITER 4468 NEW BEST:: SOT 185520 SOS 70425 HAS SOPS 70425 HAS SOUS 59371 HAS SOUPS 59371 WITH SCORE 59441.425
AT ITER 4503 NEW BEST:: SOT 185396 SOS 70301 HAS SOPS 70301 HAS SOUS 59245 HAS SOUPS 59245 WITH SCORE 59315.301
AT ITER 4553 NEW BEST:: SOT 185336 SOS 70241 HAS SOPS 70241 HAS SOUS 59185 HAS SOUPS 59185 WITH SCORE 59255.241
AT ITER 4557 NEW BEST:: SOT 185336 SOS 70239 HAS SOPS 70239 HAS SOUS 59183 HAS SOUPS 59183 WITH SCORE 59253.239
AT ITER 4568 NEW BEST:: SOT 185332 SOS 70210 HAS SOPS 70210 HAS SOUS 59162 HAS SOUPS 59162 WITH SCORE 59232.21
AT ITER 4581 NEW BEST:: SOT 185284 SOS 70164 HAS SOPS 70164 HAS SOUS 59116 HAS SOUPS 59116 WITH SCORE 59186.164
AT ITER 4594 NEW BEST:: SOT 185265 SOS 70126 HAS SOPS 70126 HAS SOUS 59078 HAS SOUPS 59078 WITH SCORE 59148.126
AT ITER 4612 NEW BEST:: SOT 185178 SOS 70030 HAS SOPS 70030 HAS SOUS 58979 HAS SOUPS 58979 WITH SCORE 59049.03
AT ITER 4638 NEW BEST:: SOT 185149 SOS 70001 HAS SOPS 70001 HAS SOUS 58950 HAS SOUPS 58950 WITH SCORE 59020.001
AT ITER 4653 NEW BEST:: SOT 185069 SOS 69920 HAS SOPS 69920 HAS SOUS 58890 HAS SOUPS 58890 WITH SCORE 58959.92
AT ITER 4690 NEW BEST:: SOT 185029 SOS 69817 HAS SOPS 69817 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58852.817
AT ITER 4701 NEW BEST:: SOT 185145 SOS 69865 HAS SOPS 69865 HAS SOUS 58747 HAS SOUPS 58747 WITH SCORE 58816.865
AT ITER 4708 NEW BEST:: SOT 185068 SOS 69711 HAS SOPS 69711 HAS SOUS 58593 HAS SOUPS 58593 WITH SCORE 58662.711
AT ITER 4716 NEW BEST:: SOT 185066 SOS 69706 HAS SOPS 69706 HAS SOUS 58590 HAS SOUPS 58590 WITH SCORE 58659.706
AT ITER 4743 NEW BEST:: SOT 185000 SOS 69640 HAS SOPS 69640 HAS SOUS 58524 HAS SOUPS 58524 WITH SCORE 58593.64
AT ITER 4764 NEW BEST:: SOT 184928 SOS 69368 HAS SOPS 69368 HAS SOUS 58372 HAS SOUPS 58372 WITH SCORE 58441.368
AT ITER 4775 NEW BEST:: SOT 184905 SOS 69323 HAS SOPS 69323 HAS SOUS 58338 HAS SOUPS 58338 WITH SCORE 58407.323
AT ITER 4792 NEW BEST:: SOT 184900 SOS 69318 HAS SOPS 69318 HAS SOUS 58333 HAS SOUPS 58333 WITH SCORE 58402.318
AT ITER 4795 NEW BEST:: SOT 184900 SOS 69318 HAS SOPS 69318 HAS SOUS 58291 HAS SOUPS 58291 WITH SCORE 58360.318
AT ITER 4817 NEW BEST:: SOT 184900 SOS 69318 HAS SOPS 69318 HAS SOUS 58282 HAS SOUPS 58282 WITH SCORE 58351.318
AT ITER 4835 NEW BEST:: SOT 184896 SOS 69296 HAS SOPS 69296 HAS SOUS 58260 HAS SOUPS 58260 WITH SCORE 58329.296
AT ITER 4850 NEW BEST:: SOT 184839 SOS 69101 HAS SOPS 69101 HAS SOUS 58258 HAS SOUPS 58258 WITH SCORE 58327.101
AT ITER 4876 NEW BEST:: SOT 184974 SOS 68976 HAS SOPS 68976 HAS SOUS 58221 HAS SOUPS 58221 WITH SCORE 58289.976
AT ITER 4892 NEW BEST:: SOT 184972 SOS 68974 HAS SOPS 68974 HAS SOUS 58219 HAS SOUPS 58219 WITH SCORE 58287.974
AT ITER 4895 NEW BEST:: SOT 184952 SOS 68954 HAS SOPS 68954 HAS SOUS 58199 HAS SOUPS 58199 WITH SCORE 58267.954
AT ITER 4900 NEW BEST:: SOT 184939 SOS 68679 HAS SOPS 68679 HAS SOUS 58016 HAS SOUPS 58016 WITH SCORE 58084.679
AT ITER 4912 NEW BEST:: SOT 184933 SOS 68673 HAS SOPS 68673 HAS SOUS 58013 HAS SOUPS 58013 WITH SCORE 58081.673
AT ITER 4916 NEW BEST:: SOT 184916 SOS 68658 HAS SOPS 68658 HAS SOUS 58009 HAS SOUPS 58009 WITH SCORE 58077.658
AT ITER 4922 NEW BEST:: SOT 184943 SOS 68630 HAS SOPS 68630 HAS SOUS 57997 HAS SOUPS 57997 WITH SCORE 58065.63
AT ITER 4951 NEW BEST:: SOT 184914 SOS 68599 HAS SOPS 68599 HAS SOUS 57948 HAS SOUPS 57948 WITH SCORE 58016.599
AT ITER 4952 NEW BEST:: SOT 184914 SOS 68597 HAS SOPS 68597 HAS SOUS 57946 HAS SOUPS 57946 WITH SCORE 58014.597
AT ITER 4955 NEW BEST:: SOT 184909 SOS 68582 HAS SOPS 68582 HAS SOUS 57926 HAS SOUPS 57926 WITH SCORE 57994.582
AT ITER 4958 NEW BEST:: SOT 184893 SOS 68558 HAS SOPS 68558 HAS SOUS 57901 HAS SOUPS 57901 WITH SCORE 57969.558
AT ITER 4985 NEW BEST:: SOT 184863 SOS 68401 HAS SOPS 68401 HAS SOUS 57812 HAS SOUPS 57812 WITH SCORE 57880.401
AT ITER 4989 NEW BEST:: SOT 184807 SOS 68303 HAS SOPS 68303 HAS SOUS 57728 HAS SOUPS 57728 WITH SCORE 57796.303
AT ITER 5029 NEW BEST:: SOT 184805 SOS 68219 HAS SOPS 68219 HAS SOUS 57715 HAS SOUPS 57715 WITH SCORE 57783.219
AT ITER 5042 NEW BEST:: SOT 184852 SOS 68218 HAS SOPS 68218 HAS SOUS 57714 HAS SOUPS 57714 WITH SCORE 57782.218
AT ITER 5079 NEW BEST:: SOT 184852 SOS 68257 HAS SOPS 68257 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57769.257
AT ITER 5105 NEW BEST:: SOT 184828 SOS 68220 HAS SOPS 68220 HAS SOUS 57664 HAS SOUPS 57664 WITH SCORE 57732.22
AT ITER 5112 NEW BEST:: SOT 184790 SOS 68181 HAS SOPS 68181 HAS SOUS 57625 HAS SOUPS 57625 WITH SCORE 57693.181
AT ITER 5120 NEW BEST:: SOT 184756 SOS 68113 HAS SOPS 68113 HAS SOUS 57574 HAS SOUPS 57574 WITH SCORE 57642.113
AT ITER 5164 NEW BEST:: SOT 184714 SOS 68034 HAS SOPS 68034 HAS SOUS 57528 HAS SOUPS 57528 WITH SCORE 57596.034
AT ITER 5165 NEW BEST:: SOT 184757 SOS 67853 HAS SOPS 67853 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57561.853
AT ITER 5171 NEW BEST:: SOT 184745 SOS 67776 HAS SOPS 67776 HAS SOUS 57456 HAS SOUPS 57456 WITH SCORE 57523.776
AT ITER 5193 NEW BEST:: SOT 184679 SOS 67710 HAS SOPS 67710 HAS SOUS 57390 HAS SOUPS 57390 WITH SCORE 57457.71
AT ITER 5196 NEW BEST:: SOT 184701 SOS 67663 HAS SOPS 67663 HAS SOUS 57353 HAS SOUPS 57353 WITH SCORE 57420.663
AT ITER 5227 NEW BEST:: SOT 184661 SOS 67623 HAS SOPS 67623 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57400.623
AT ITER 5234 NEW BEST:: SOT 184657 SOS 67584 HAS SOPS 67584 HAS SOUS 57298 HAS SOUPS 57298 WITH SCORE 57365.584
AT ITER 5249 NEW BEST:: SOT 184647 SOS 67530 HAS SOPS 67530 HAS SOUS 57284 HAS SOUPS 57284 WITH SCORE 57351.53
AT ITER 5259 NEW BEST:: SOT 184609 SOS 67473 HAS SOPS 67473 HAS SOUS 57227 HAS SOUPS 57227 WITH SCORE 57294.473
AT ITER 5265 NEW BEST:: SOT 184575 SOS 67470 HAS SOPS 67470 HAS SOUS 57224 HAS SOUPS 57224 WITH SCORE 57291.47
AT ITER 5268 NEW BEST:: SOT 184575 SOS 67463 HAS SOPS 67463 HAS SOUS 57217 HAS SOUPS 57217 WITH SCORE 57284.463
AT ITER 5281 NEW BEST:: SOT 184531 SOS 67419 HAS SOPS 67419 HAS SOUS 57173 HAS SOUPS 57173 WITH SCORE 57240.419
AT ITER 5282 NEW BEST:: SOT 184565 SOS 67488 HAS SOPS 67488 HAS SOUS 57139 HAS SOUPS 57139 WITH SCORE 57206.488
AT ITER 5325 NEW BEST:: SOT 184558 SOS 67481 HAS SOPS 67481 HAS SOUS 57132 HAS SOUPS 57132 WITH SCORE 57199.481
AT ITER 5335 NEW BEST:: SOT 184484 SOS 67281 HAS SOPS 67281 HAS SOUS 56939 HAS SOUPS 56939 WITH SCORE 57006.281
AT ITER 5355 NEW BEST:: SOT 184471 SOS 67261 HAS SOPS 67261 HAS SOUS 56919 HAS SOUPS 56919 WITH SCORE 56986.261
AT ITER 5364 NEW BEST:: SOT 184484 SOS 67243 HAS SOPS 67243 HAS SOUS 56901 HAS SOUPS 56901 WITH SCORE 56968.243
AT ITER 5379 NEW BEST:: SOT 184405 SOS 67171 HAS SOPS 67171 HAS SOUS 56829 HAS SOUPS 56829 WITH SCORE 56896.171
AT ITER 5382 NEW BEST:: SOT 184405 SOS 67168 HAS SOPS 67168 HAS SOUS 56826 HAS SOUPS 56826 WITH SCORE 56893.168
AT ITER 5401 NEW BEST:: SOT 184325 SOS 67027 HAS SOPS 67027 HAS SOUS 56644 HAS SOUPS 56644 WITH SCORE 56711.027
AT ITER 5404 NEW BEST:: SOT 184265 SOS 67063 HAS SOPS 67063 HAS SOUS 56602 HAS SOUPS 56602 WITH SCORE 56669.063
AT ITER 5422 NEW BEST:: SOT 184204 SOS 66526 HAS SOPS 66526 HAS SOUS 56602 HAS SOUPS 56602 WITH SCORE 56668.526
AT ITER 5455 NEW BEST:: SOT 184156 SOS 66478 HAS SOPS 66478 HAS SOUS 56531 HAS SOUPS 56531 WITH SCORE 56597.478
AT ITER 5473 NEW BEST:: SOT 184130 SOS 66418 HAS SOPS 66418 HAS SOUS 56450 HAS SOUPS 56450 WITH SCORE 56516.418
AT ITER 5507 NEW BEST:: SOT 183802 SOS 65127 HAS SOPS 65127 HAS SOUS 55785 HAS SOUPS 55785 WITH SCORE 55850.127
AT ITER 5550 NEW BEST:: SOT 183789 SOS 65114 HAS SOPS 65114 HAS SOUS 55772 HAS SOUPS 55772 WITH SCORE 55837.114
AT ITER 5551 NEW BEST:: SOT 183803 SOS 65067 HAS SOPS 65067 HAS SOUS 55725 HAS SOUPS 55725 WITH SCORE 55790.067
AT ITER 5564 NEW BEST:: SOT 183781 SOS 65060 HAS SOPS 65060 HAS SOUS 55696 HAS SOUPS 55696 WITH SCORE 55761.06
AT ITER 5576 NEW BEST:: SOT 183797 SOS 65051 HAS SOPS 65051 HAS SOUS 55685 HAS SOUPS 55685 WITH SCORE 55750.051
AT ITER 5602 NEW BEST:: SOT 183805 SOS 65044 HAS SOPS 65044 HAS SOUS 55614 HAS SOUPS 55614 WITH SCORE 55679.044
AT ITER 5603 NEW BEST:: SOT 183823 SOS 64944 HAS SOPS 64944 HAS SOUS 55598 HAS SOUPS 55598 WITH SCORE 55662.944
AT ITER 5628 NEW BEST:: SOT 183807 SOS 64933 HAS SOPS 64933 HAS SOUS 55595 HAS SOUPS 55595 WITH SCORE 55659.933
AT ITER 5649 NEW BEST:: SOT 183807 SOS 64933 HAS SOPS 64933 HAS SOUS 55573 HAS SOUPS 55573 WITH SCORE 55637.933
AT ITER 5658 NEW BEST:: SOT 183807 SOS 64837 HAS SOPS 64837 HAS SOUS 55525 HAS SOUPS 55525 WITH SCORE 55589.837
AT ITER 5669 NEW BEST:: SOT 183764 SOS 64794 HAS SOPS 64794 HAS SOUS 55429 HAS SOUPS 55429 WITH SCORE 55493.794
AT ITER 5675 NEW BEST:: SOT 183764 SOS 64784 HAS SOPS 64784 HAS SOUS 55403 HAS SOUPS 55403 WITH SCORE 55467.784
AT ITER 5688 NEW BEST:: SOT 183764 SOS 64779 HAS SOPS 64779 HAS SOUS 55398 HAS SOUPS 55398 WITH SCORE 55462.779
AT ITER 5706 NEW BEST:: SOT 183762 SOS 64771 HAS SOPS 64771 HAS SOUS 55386 HAS SOUPS 55386 WITH SCORE 55450.771
AT ITER 5717 NEW BEST:: SOT 183762 SOS 64823 HAS SOPS 64823 HAS SOUS 55318 HAS SOUPS 55318 WITH SCORE 55382.823
AT ITER 5739 NEW BEST:: SOT 183790 SOS 64722 HAS SOPS 64722 HAS SOUS 55280 HAS SOUPS 55280 WITH SCORE 55344.722
AT ITER 5766 NEW BEST:: SOT 183787 SOS 64719 HAS SOPS 64719 HAS SOUS 55278 HAS SOUPS 55278 WITH SCORE 55342.719
AT ITER 5787 NEW BEST:: SOT 183807 SOS 64775 HAS SOPS 64775 HAS SOUS 55271 HAS SOUPS 55271 WITH SCORE 55335.775
AT ITER 5803 NEW BEST:: SOT 183720 SOS 64636 HAS SOPS 64636 HAS SOUS 54935 HAS SOUPS 54935 WITH SCORE 54999.636
AT ITER 5809 NEW BEST:: SOT 183692 SOS 64320 HAS SOPS 64320 HAS SOUS 54702 HAS SOUPS 54702 WITH SCORE 54766.32
AT ITER 5813 NEW BEST:: SOT 183677 SOS 64301 HAS SOPS 64301 HAS SOUS 54683 HAS SOUPS 54683 WITH SCORE 54747.301
AT ITER 5817 NEW BEST:: SOT 183664 SOS 64287 HAS SOPS 64287 HAS SOUS 54671 HAS SOUPS 54671 WITH SCORE 54735.287
AT ITER 5827 NEW BEST:: SOT 183639 SOS 64133 HAS SOPS 64133 HAS SOUS 54517 HAS SOUPS 54517 WITH SCORE 54581.133
AT ITER 5860 NEW BEST:: SOT 183625 SOS 64119 HAS SOPS 64119 HAS SOUS 54503 HAS SOUPS 54503 WITH SCORE 54567.119
AT ITER 5898 NEW BEST:: SOT 183549 SOS 63982 HAS SOPS 63982 HAS SOUS 54366 HAS SOUPS 54366 WITH SCORE 54429.982
AT ITER 5904 NEW BEST:: SOT 183567 SOS 63994 HAS SOPS 63994 HAS SOUS 54298 HAS SOUPS 54298 WITH SCORE 54361.994
AT ITER 5916 NEW BEST:: SOT 183545 SOS 63972 HAS SOPS 63972 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54339.972
AT ITER 5917 NEW BEST:: SOT 183536 SOS 63952 HAS SOPS 63952 HAS SOUS 54256 HAS SOUPS 54256 WITH SCORE 54319.952
AT ITER 5932 NEW BEST:: SOT 183536 SOS 63949 HAS SOPS 63949 HAS SOUS 54253 HAS SOUPS 54253 WITH SCORE 54316.949
AT ITER 5956 NEW BEST:: SOT 183536 SOS 63945 HAS SOPS 63945 HAS SOUS 54251 HAS SOUPS 54251 WITH SCORE 54314.945
AT ITER 5975 NEW BEST:: SOT 183482 SOS 63825 HAS SOPS 63825 HAS SOUS 54015 HAS SOUPS 54015 WITH SCORE 54078.825
AT ITER 6018 NEW BEST:: SOT 183477 SOS 63820 HAS SOPS 63820 HAS SOUS 54005 HAS SOUPS 54005 WITH SCORE 54068.82
AT ITER 6029 NEW BEST:: SOT 183465 SOS 63808 HAS SOPS 63808 HAS SOUS 53983 HAS SOUPS 53983 WITH SCORE 54046.808
AT ITER 6058 NEW BEST:: SOT 183455 SOS 63798 HAS SOPS 63798 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54036.798
AT ITER 6059 NEW BEST:: SOT 183456 SOS 63750 HAS SOPS 63750 HAS SOUS 53929 HAS SOUPS 53929 WITH SCORE 53992.75
AT ITER 6067 NEW BEST:: SOT 183392 SOS 63818 HAS SOPS 63818 HAS SOUS 53910 HAS SOUPS 53910 WITH SCORE 53973.818
AT ITER 6070 NEW BEST:: SOT 183349 SOS 63775 HAS SOPS 63775 HAS SOUS 53867 HAS SOUPS 53867 WITH SCORE 53930.775
AT ITER 6078 NEW BEST:: SOT 183344 SOS 63741 HAS SOPS 63741 HAS SOUS 53833 HAS SOUPS 53833 WITH SCORE 53896.741
AT ITER 6084 NEW BEST:: SOT 183344 SOS 63741 HAS SOPS 63741 HAS SOUS 53819 HAS SOUPS 53819 WITH SCORE 53882.741
AT ITER 6089 NEW BEST:: SOT 183342 SOS 63739 HAS SOPS 63739 HAS SOUS 53817 HAS SOUPS 53817 WITH SCORE 53880.739
AT ITER 6091 NEW BEST:: SOT 183342 SOS 63504 HAS SOPS 63504 HAS SOUS 53700 HAS SOUPS 53700 WITH SCORE 53763.504
AT ITER 6092 NEW BEST:: SOT 183246 SOS 63482 HAS SOPS 63482 HAS SOUS 53697 HAS SOUPS 53697 WITH SCORE 53760.482
AT ITER 6099 NEW BEST:: SOT 183238 SOS 63474 HAS SOPS 63474 HAS SOUS 53696 HAS SOUPS 53696 WITH SCORE 53759.474
AT ITER 6122 NEW BEST:: SOT 183229 SOS 63467 HAS SOPS 63467 HAS SOUS 53689 HAS SOUPS 53689 WITH SCORE 53752.467
AT ITER 6126 NEW BEST:: SOT 183076 SOS 62524 HAS SOPS 62524 HAS SOUS 53635 HAS SOUPS 53635 WITH SCORE 53697.524
AT ITER 6128 NEW BEST:: SOT 183086 SOS 62563 HAS SOPS 62563 HAS SOUS 53633 HAS SOUPS 53633 WITH SCORE 53695.563
AT ITER 6134 NEW BEST:: SOT 183083 SOS 62529 HAS SOPS 62529 HAS SOUS 53599 HAS SOUPS 53599 WITH SCORE 53661.529
AT ITER 6148 NEW BEST:: SOT 183077 SOS 62505 HAS SOPS 62505 HAS SOUS 53593 HAS SOUPS 53593 WITH SCORE 53655.505
AT ITER 6163 NEW BEST:: SOT 183063 SOS 62311 HAS SOPS 62311 HAS SOUS 53489 HAS SOUPS 53489 WITH SCORE 53551.311
AT ITER 6165 NEW BEST:: SOT 182986 SOS 62226 HAS SOPS 62226 HAS SOUS 53404 HAS SOUPS 53404 WITH SCORE 53466.226
AT ITER 6185 NEW BEST:: SOT 182983 SOS 62217 HAS SOPS 62217 HAS SOUS 53315 HAS SOUPS 53315 WITH SCORE 53377.217
AT ITER 6186 NEW BEST:: SOT 182920 SOS 62137 HAS SOPS 62137 HAS SOUS 53235 HAS SOUPS 53235 WITH SCORE 53297.137
AT ITER 6187 NEW BEST:: SOT 182884 SOS 62056 HAS SOPS 62056 HAS SOUS 53160 HAS SOUPS 53160 WITH SCORE 53222.056
AT ITER 6203 NEW BEST:: SOT 182867 SOS 62039 HAS SOPS 62039 HAS SOUS 53143 HAS SOUPS 53143 WITH SCORE 53205.039
AT ITER 6209 NEW BEST:: SOT 182809 SOS 61981 HAS SOPS 61981 HAS SOUS 53085 HAS SOUPS 53085 WITH SCORE 53146.981
AT ITER 6213 NEW BEST:: SOT 182809 SOS 61960 HAS SOPS 61960 HAS SOUS 53064 HAS SOUPS 53064 WITH SCORE 53125.96
AT ITER 6234 NEW BEST:: SOT 182785 SOS 61912 HAS SOPS 61912 HAS SOUS 53016 HAS SOUPS 53016 WITH SCORE 53077.912
AT ITER 6249 NEW BEST:: SOT 182781 SOS 61908 HAS SOPS 61908 HAS SOUS 53012 HAS SOUPS 53012 WITH SCORE 53073.908
AT ITER 6279 NEW BEST:: SOT 182806 SOS 61906 HAS SOPS 61906 HAS SOUS 53009 HAS SOUPS 53009 WITH SCORE 53070.906
AT ITER 6301 NEW BEST:: SOT 182739 SOS 61839 HAS SOPS 61839 HAS SOUS 52977 HAS SOUPS 52977 WITH SCORE 53038.839
AT ITER 6330 NEW BEST:: SOT 182739 SOS 61830 HAS SOPS 61830 HAS SOUS 52971 HAS SOUPS 52971 WITH SCORE 53032.83
AT ITER 6345 NEW BEST:: SOT 182731 SOS 61818 HAS SOPS 61818 HAS SOUS 52967 HAS SOUPS 52967 WITH SCORE 53028.818
AT ITER 6386 NEW BEST:: SOT 182754 SOS 61832 HAS SOPS 61832 HAS SOUS 52962 HAS SOUPS 52962 WITH SCORE 53023.832
AT ITER 6410 NEW BEST:: SOT 182725 SOS 61717 HAS SOPS 61717 HAS SOUS 52942 HAS SOUPS 52942 WITH SCORE 53003.717
AT ITER 6423 NEW BEST:: SOT 182699 SOS 61673 HAS SOPS 61673 HAS SOUS 52853 HAS SOUPS 52853 WITH SCORE 52914.673
AT ITER 6429 NEW BEST:: SOT 182682 SOS 61619 HAS SOPS 61619 HAS SOUS 52832 HAS SOUPS 52832 WITH SCORE 52893.619
AT ITER 6465 NEW BEST:: SOT 182677 SOS 61531 HAS SOPS 61531 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 52886.531
AT ITER 6515 NEW BEST:: SOT 182879 SOS 61629 HAS SOPS 61629 HAS SOUS 52821 HAS SOUPS 52821 WITH SCORE 52882.629
AT ITER 6545 NEW BEST:: SOT 182791 SOS 61546 HAS SOPS 61546 HAS SOUS 52782 HAS SOUPS 52782 WITH SCORE 52843.546
AT ITER 6556 NEW BEST:: SOT 182755 SOS 61534 HAS SOPS 61534 HAS SOUS 52770 HAS SOUPS 52770 WITH SCORE 52831.534
AT ITER 6559 NEW BEST:: SOT 182711 SOS 61398 HAS SOPS 61398 HAS SOUS 52735 HAS SOUPS 52735 WITH SCORE 52796.398
AT ITER 6573 NEW BEST:: SOT 182710 SOS 61395 HAS SOPS 61395 HAS SOUS 52732 HAS SOUPS 52732 WITH SCORE 52793.395
AT ITER 6574 NEW BEST:: SOT 182710 SOS 61369 HAS SOPS 61369 HAS SOUS 52719 HAS SOUPS 52719 WITH SCORE 52780.369
AT ITER 6596 NEW BEST:: SOT 182606 SOS 61184 HAS SOPS 61184 HAS SOUS 52612 HAS SOUPS 52612 WITH SCORE 52673.184
AT ITER 6599 NEW BEST:: SOT 182604 SOS 61171 HAS SOPS 61171 HAS SOUS 52599 HAS SOUPS 52599 WITH SCORE 52660.171
AT ITER 6608 NEW BEST:: SOT 182586 SOS 61159 HAS SOPS 61159 HAS SOUS 52586 HAS SOUPS 52586 WITH SCORE 52647.159
AT ITER 6622 NEW BEST:: SOT 182582 SOS 61155 HAS SOPS 61155 HAS SOUS 52582 HAS SOUPS 52582 WITH SCORE 52643.155
AT ITER 6643 NEW BEST:: SOT 182389 SOS 60813 HAS SOPS 60813 HAS SOUS 52255 HAS SOUPS 52255 WITH SCORE 52315.813
AT ITER 6659 NEW BEST:: SOT 182692 SOS 60862 HAS SOPS 60862 HAS SOUS 52231 HAS SOUPS 52231 WITH SCORE 52291.862
AT ITER 6662 NEW BEST:: SOT 182630 SOS 60754 HAS SOPS 60754 HAS SOUS 52139 HAS SOUPS 52139 WITH SCORE 52199.754
AT ITER 6685 NEW BEST:: SOT 182630 SOS 60796 HAS SOPS 60796 HAS SOUS 52097 HAS SOUPS 52097 WITH SCORE 52157.796
AT ITER 6733 NEW BEST:: SOT 182622 SOS 60788 HAS SOPS 60788 HAS SOUS 52089 HAS SOUPS 52089 WITH SCORE 52149.788
AT ITER 6742 NEW BEST:: SOT 182622 SOS 60756 HAS SOPS 60756 HAS SOUS 52073 HAS SOUPS 52073 WITH SCORE 52133.756
AT ITER 6749 NEW BEST:: SOT 182615 SOS 60749 HAS SOPS 60749 HAS SOUS 52066 HAS SOUPS 52066 WITH SCORE 52126.749
AT ITER 6752 NEW BEST:: SOT 182575 SOS 60663 HAS SOPS 60663 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52064.663
AT ITER 6766 NEW BEST:: SOT 182591 SOS 60633 HAS SOPS 60633 HAS SOUS 51974 HAS SOUPS 51974 WITH SCORE 52034.633
AT ITER 6782 NEW BEST:: SOT 182591 SOS 60617 HAS SOPS 60617 HAS SOUS 51942 HAS SOUPS 51942 WITH SCORE 52002.617
AT ITER 6783 NEW BEST:: SOT 182591 SOS 60585 HAS SOPS 60585 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 51986.585
AT ITER 6791 NEW BEST:: SOT 182591 SOS 60581 HAS SOPS 60581 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 51986.581
AT ITER 6813 NEW BEST:: SOT 182584 SOS 60574 HAS SOPS 60574 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 51986.574
AT ITER 6823 NEW BEST:: SOT 182496 SOS 60170 HAS SOPS 60170 HAS SOUS 51806 HAS SOUPS 51806 WITH SCORE 51866.17
AT ITER 6864 NEW BEST:: SOT 182496 SOS 60122 HAS SOPS 60122 HAS SOUS 51748 HAS SOUPS 51748 WITH SCORE 51808.122
AT ITER 6871 NEW BEST:: SOT 182461 SOS 60055 HAS SOPS 60055 HAS SOUS 51681 HAS SOUPS 51681 WITH SCORE 51741.055
AT ITER 6890 NEW BEST:: SOT 182409 SOS 59967 HAS SOPS 59967 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51653.967
AT ITER 6891 NEW BEST:: SOT 182369 SOS 59750 HAS SOPS 59750 HAS SOUS 51436 HAS SOUPS 51436 WITH SCORE 51495.75
AT ITER 6912 NEW BEST:: SOT 182360 SOS 59741 HAS SOPS 59741 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51486.741
AT ITER 6921 NEW BEST:: SOT 182329 SOS 59692 HAS SOPS 59692 HAS SOUS 51378 HAS SOUPS 51378 WITH SCORE 51437.692
AT ITER 6963 NEW BEST:: SOT 182307 SOS 59637 HAS SOPS 59637 HAS SOUS 51334 HAS SOUPS 51334 WITH SCORE 51393.637
AT ITER 6991 NEW BEST:: SOT 182292 SOS 59562 HAS SOPS 59562 HAS SOUS 51304 HAS SOUPS 51304 WITH SCORE 51363.562
AT ITER 6994 NEW BEST:: SOT 182292 SOS 59560 HAS SOPS 59560 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51354.56
AT ITER 7010 NEW BEST:: SOT 182267 SOS 59535 HAS SOPS 59535 HAS SOUS 51260 HAS SOUPS 51260 WITH SCORE 51319.535
AT ITER 7028 NEW BEST:: SOT 182265 SOS 59533 HAS SOPS 59533 HAS SOUS 51258 HAS SOUPS 51258 WITH SCORE 51317.533
AT ITER 7052 NEW BEST:: SOT 182241 SOS 59506 HAS SOPS 59506 HAS SOUS 51231 HAS SOUPS 51231 WITH SCORE 51290.506
AT ITER 7073 NEW BEST:: SOT 182224 SOS 59489 HAS SOPS 59489 HAS SOUS 51214 HAS SOUPS 51214 WITH SCORE 51273.489
AT ITER 7086 NEW BEST:: SOT 182208 SOS 59454 HAS SOPS 59454 HAS SOUS 51179 HAS SOUPS 51179 WITH SCORE 51238.454
AT ITER 7112 NEW BEST:: SOT 182210 SOS 59430 HAS SOPS 59430 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51227.43
AT ITER 7146 NEW BEST:: SOT 182210 SOS 59426 HAS SOPS 59426 HAS SOUS 51160 HAS SOUPS 51160 WITH SCORE 51219.426
AT ITER 7208 NEW BEST:: SOT 182176 SOS 59352 HAS SOPS 59352 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51215.352
AT ITER 7210 NEW BEST:: SOT 182162 SOS 59332 HAS SOPS 59332 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51189.332
AT ITER 7213 NEW BEST:: SOT 181956 SOS 59138 HAS SOPS 59138 HAS SOUS 51062 HAS SOUPS 51062 WITH SCORE 51121.138
AT ITER 7250 NEW BEST:: SOT 181919 SOS 59101 HAS SOPS 59101 HAS SOUS 51025 HAS SOUPS 51025 WITH SCORE 51084.101
AT ITER 7266 NEW BEST:: SOT 181851 SOS 59087 HAS SOPS 59087 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51070.087
AT ITER 7306 NEW BEST:: SOT 181825 SOS 59044 HAS SOPS 59044 HAS SOUS 50919 HAS SOUPS 50919 WITH SCORE 50978.044
AT ITER 7311 NEW BEST:: SOT 181752 SOS 58971 HAS SOPS 58971 HAS SOUS 50846 HAS SOUPS 50846 WITH SCORE 50904.971
AT ITER 7320 NEW BEST:: SOT 181744 SOS 58963 HAS SOPS 58963 HAS SOUS 50838 HAS SOUPS 50838 WITH SCORE 50896.963
AT ITER 7328 NEW BEST:: SOT 181688 SOS 58907 HAS SOPS 58907 HAS SOUS 50782 HAS SOUPS 50782 WITH SCORE 50840.907
AT ITER 7329 NEW BEST:: SOT 181657 SOS 58788 HAS SOPS 58788 HAS SOUS 50719 HAS SOUPS 50719 WITH SCORE 50777.788
AT ITER 7336 NEW BEST:: SOT 181607 SOS 58523 HAS SOPS 58523 HAS SOUS 50644 HAS SOUPS 50644 WITH SCORE 50702.523
AT ITER 7346 NEW BEST:: SOT 181593 SOS 58509 HAS SOPS 58509 HAS SOUS 50630 HAS SOUPS 50630 WITH SCORE 50688.509
AT ITER 7373 NEW BEST:: SOT 181568 SOS 58259 HAS SOPS 58259 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50684.259
AT ITER 7383 NEW BEST:: SOT 181552 SOS 58211 HAS SOPS 58211 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50684.211
AT ITER 7400 NEW BEST:: SOT 181481 SOS 58109 HAS SOPS 58109 HAS SOUS 50524 HAS SOUPS 50524 WITH SCORE 50582.109
AT ITER 7403 NEW BEST:: SOT 181481 SOS 58071 HAS SOPS 58071 HAS SOUS 50484 HAS SOUPS 50484 WITH SCORE 50542.071
AT ITER 7422 NEW BEST:: SOT 181461 SOS 57862 HAS SOPS 57862 HAS SOUS 50338 HAS SOUPS 50338 WITH SCORE 50395.862
AT ITER 7433 NEW BEST:: SOT 181461 SOS 57855 HAS SOPS 57855 HAS SOUS 50338 HAS SOUPS 50338 WITH SCORE 50395.855
AT ITER 7436 NEW BEST:: SOT 181401 SOS 57795 HAS SOPS 57795 HAS SOUS 50248 HAS SOUPS 50248 WITH SCORE 50305.795
AT ITER 7465 NEW BEST:: SOT 181401 SOS 57773 HAS SOPS 57773 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50283.773
AT ITER 7477 NEW BEST:: SOT 181393 SOS 57739 HAS SOPS 57739 HAS SOUS 50205 HAS SOUPS 50205 WITH SCORE 50262.739
AT ITER 7484 NEW BEST:: SOT 181376 SOS 57701 HAS SOPS 57701 HAS SOUS 50163 HAS SOUPS 50163 WITH SCORE 50220.701
AT ITER 7516 NEW BEST:: SOT 181354 SOS 57679 HAS SOPS 57679 HAS SOUS 50141 HAS SOUPS 50141 WITH SCORE 50198.679
AT ITER 7534 NEW BEST:: SOT 181351 SOS 57676 HAS SOPS 57676 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50195.676
AT ITER 7536 NEW BEST:: SOT 181351 SOS 57661 HAS SOPS 57661 HAS SOUS 50128 HAS SOUPS 50128 WITH SCORE 50185.661
AT ITER 7538 NEW BEST:: SOT 181350 SOS 57660 HAS SOPS 57660 HAS SOUS 50127 HAS SOUPS 50127 WITH SCORE 50184.66
AT ITER 7577 NEW BEST:: SOT 181310 SOS 57633 HAS SOPS 57633 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50168.633
AT ITER 7578 NEW BEST:: SOT 181308 SOS 57625 HAS SOPS 57625 HAS SOUS 50103 HAS SOUPS 50103 WITH SCORE 50160.625
AT ITER 7579 NEW BEST:: SOT 181298 SOS 57587 HAS SOPS 57587 HAS SOUS 50039 HAS SOUPS 50039 WITH SCORE 50096.587
AT ITER 7605 NEW BEST:: SOT 181287 SOS 57529 HAS SOPS 57529 HAS SOUS 49965 HAS SOUPS 49965 WITH SCORE 50022.529
AT ITER 7607 NEW BEST:: SOT 181287 SOS 57446 HAS SOPS 57446 HAS SOUS 49965 HAS SOUPS 49965 WITH SCORE 50022.446
AT ITER 7609 NEW BEST:: SOT 181283 SOS 57527 HAS SOPS 57527 HAS SOUS 49871 HAS SOUPS 49871 WITH SCORE 49928.527
AT ITER 7610 NEW BEST:: SOT 181283 SOS 57528 HAS SOPS 57528 HAS SOUS 49870 HAS SOUPS 49870 WITH SCORE 49927.528
AT ITER 7617 NEW BEST:: SOT 181267 SOS 57512 HAS SOPS 57512 HAS SOUS 49859 HAS SOUPS 49859 WITH SCORE 49916.512
AT ITER 7626 NEW BEST:: SOT 181204 SOS 57449 HAS SOPS 57449 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49853.449
AT ITER 7633 NEW BEST:: SOT 181204 SOS 57290 HAS SOPS 57290 HAS SOUS 49743 HAS SOUPS 49743 WITH SCORE 49800.29
AT ITER 7643 NEW BEST:: SOT 181164 SOS 57236 HAS SOPS 57236 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49726.236
AT ITER 7645 NEW BEST:: SOT 181133 SOS 57127 HAS SOPS 57127 HAS SOUS 49606 HAS SOUPS 49606 WITH SCORE 49663.127
AT ITER 7705 NEW BEST:: SOT 181102 SOS 57090 HAS SOPS 57090 HAS SOUS 49569 HAS SOUPS 49569 WITH SCORE 49626.09
AT ITER 7729 NEW BEST:: SOT 181093 SOS 56977 HAS SOPS 56977 HAS SOUS 49499 HAS SOUPS 49499 WITH SCORE 49555.977
AT ITER 7734 NEW BEST:: SOT 181093 SOS 56973 HAS SOPS 56973 HAS SOUS 49495 HAS SOUPS 49495 WITH SCORE 49551.973
AT ITER 7751 NEW BEST:: SOT 180964 SOS 56844 HAS SOPS 56844 HAS SOUS 49366 HAS SOUPS 49366 WITH SCORE 49422.844
AT ITER 7814 NEW BEST:: SOT 180995 SOS 56875 HAS SOPS 56875 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49397.875
AT ITER 7833 NEW BEST:: SOT 180913 SOS 56793 HAS SOPS 56793 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49315.793
AT ITER 7905 NEW BEST:: SOT 180921 SOS 56761 HAS SOPS 56761 HAS SOUS 49247 HAS SOUPS 49247 WITH SCORE 49303.761
AT ITER 7910 NEW BEST:: SOT 180919 SOS 56740 HAS SOPS 56740 HAS SOUS 49226 HAS SOUPS 49226 WITH SCORE 49282.74
AT ITER 7918 NEW BEST:: SOT 180757 SOS 56563 HAS SOPS 56563 HAS SOUS 49051 HAS SOUPS 49051 WITH SCORE 49107.563
AT ITER 7922 NEW BEST:: SOT 180749 SOS 56555 HAS SOPS 56555 HAS SOUS 49043 HAS SOUPS 49043 WITH SCORE 49099.555
AT ITER 7924 NEW BEST:: SOT 180760 SOS 56541 HAS SOPS 56541 HAS SOUS 49043 HAS SOUPS 49043 WITH SCORE 49099.541
AT ITER 7951 NEW BEST:: SOT 180766 SOS 56568 HAS SOPS 56568 HAS SOUS 49022 HAS SOUPS 49022 WITH SCORE 49078.568
AT ITER 8001 NEW BEST:: SOT 180759 SOS 56558 HAS SOPS 56558 HAS SOUS 49012 HAS SOUPS 49012 WITH SCORE 49068.558
AT ITER 8010 NEW BEST:: SOT 180755 SOS 56550 HAS SOPS 56550 HAS SOUS 49004 HAS SOUPS 49004 WITH SCORE 49060.55
AT ITER 8036 NEW BEST:: SOT 180742 SOS 56530 HAS SOPS 56530 HAS SOUS 48972 HAS SOUPS 48972 WITH SCORE 49028.53
AT ITER 8040 NEW BEST:: SOT 180647 SOS 56456 HAS SOPS 56456 HAS SOUS 48738 HAS SOUPS 48738 WITH SCORE 48794.456
AT ITER 8047 NEW BEST:: SOT 180642 SOS 56451 HAS SOPS 56451 HAS SOUS 48733 HAS SOUPS 48733 WITH SCORE 48789.451
AT ITER 8089 NEW BEST:: SOT 180623 SOS 56394 HAS SOPS 56394 HAS SOUS 48680 HAS SOUPS 48680 WITH SCORE 48736.394
AT ITER 8093 NEW BEST:: SOT 180589 SOS 56351 HAS SOPS 56351 HAS SOUS 48649 HAS SOUPS 48649 WITH SCORE 48705.351
AT ITER 8099 NEW BEST:: SOT 180675 SOS 56343 HAS SOPS 56343 HAS SOUS 48596 HAS SOUPS 48596 WITH SCORE 48652.343
AT ITER 8118 NEW BEST:: SOT 180672 SOS 56328 HAS SOPS 56328 HAS SOUS 48592 HAS SOUPS 48592 WITH SCORE 48648.328
AT ITER 8132 NEW BEST:: SOT 180671 SOS 56325 HAS SOPS 56325 HAS SOUS 48591 HAS SOUPS 48591 WITH SCORE 48647.325
AT ITER 8147 NEW BEST:: SOT 180657 SOS 56322 HAS SOPS 56322 HAS SOUS 48580 HAS SOUPS 48580 WITH SCORE 48636.322
AT ITER 8149 NEW BEST:: SOT 180650 SOS 56299 HAS SOPS 56299 HAS SOUS 48557 HAS SOUPS 48557 WITH SCORE 48613.299
AT ITER 8153 NEW BEST:: SOT 180555 SOS 56270 HAS SOPS 56270 HAS SOUS 48506 HAS SOUPS 48506 WITH SCORE 48562.27
AT ITER 8157 NEW BEST:: SOT 180504 SOS 56162 HAS SOPS 56162 HAS SOUS 48380 HAS SOUPS 48380 WITH SCORE 48436.162
AT ITER 8177 NEW BEST:: SOT 180502 SOS 56158 HAS SOPS 56158 HAS SOUS 48376 HAS SOUPS 48376 WITH SCORE 48432.158
AT ITER 8186 NEW BEST:: SOT 180500 SOS 56154 HAS SOPS 56154 HAS SOUS 48372 HAS SOUPS 48372 WITH SCORE 48428.154
AT ITER 8210 NEW BEST:: SOT 180499 SOS 56154 HAS SOPS 56154 HAS SOUS 48371 HAS SOUPS 48371 WITH SCORE 48427.154
AT ITER 8216 NEW BEST:: SOT 180457 SOS 56073 HAS SOPS 56073 HAS SOUS 48353 HAS SOUPS 48353 WITH SCORE 48409.073
AT ITER 8247 NEW BEST:: SOT 180472 SOS 56065 HAS SOPS 56065 HAS SOUS 48346 HAS SOUPS 48346 WITH SCORE 48402.065
AT ITER 8273 NEW BEST:: SOT 180467 SOS 56035 HAS SOPS 56035 HAS SOUS 48331 HAS SOUPS 48331 WITH SCORE 48387.035
AT ITER 8323 NEW BEST:: SOT 180595 SOS 55977 HAS SOPS 55977 HAS SOUS 48327 HAS SOUPS 48327 WITH SCORE 48382.977
AT ITER 8341 NEW BEST:: SOT 180595 SOS 55959 HAS SOPS 55959 HAS SOUS 48315 HAS SOUPS 48315 WITH SCORE 48370.959
AT ITER 8342 NEW BEST:: SOT 180583 SOS 55947 HAS SOPS 55947 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48358.947
AT ITER 8358 NEW BEST:: SOT 180583 SOS 55944 HAS SOPS 55944 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48355.944
AT ITER 8361 NEW BEST:: SOT 180582 SOS 55932 HAS SOPS 55932 HAS SOUS 48299 HAS SOUPS 48299 WITH SCORE 48354.932
AT ITER 8416 NEW BEST:: SOT 180525 SOS 55932 HAS SOPS 55932 HAS SOUS 48298 HAS SOUPS 48298 WITH SCORE 48353.932
AT ITER 8454 NEW BEST:: SOT 180502 SOS 55908 HAS SOPS 55908 HAS SOUS 48274 HAS SOUPS 48274 WITH SCORE 48329.908
AT ITER 8469 NEW BEST:: SOT 180484 SOS 55888 HAS SOPS 55888 HAS SOUS 48252 HAS SOUPS 48252 WITH SCORE 48307.888
AT ITER 8479 NEW BEST:: SOT 180384 SOS 55792 HAS SOPS 55792 HAS SOUS 48156 HAS SOUPS 48156 WITH SCORE 48211.792
AT ITER 8517 NEW BEST:: SOT 180344 SOS 55729 HAS SOPS 55729 HAS SOUS 48093 HAS SOUPS 48093 WITH SCORE 48148.729
AT ITER 8526 NEW BEST:: SOT 180344 SOS 55723 HAS SOPS 55723 HAS SOUS 48093 HAS SOUPS 48093 WITH SCORE 48148.723
AT ITER 8529 NEW BEST:: SOT 180306 SOS 55495 HAS SOPS 55495 HAS SOUS 47979 HAS SOUPS 47979 WITH SCORE 48034.495
AT ITER 8545 NEW BEST:: SOT 180282 SOS 55433 HAS SOPS 55433 HAS SOUS 47936 HAS SOUPS 47936 WITH SCORE 47991.433
AT ITER 8552 NEW BEST:: SOT 180308 SOS 55412 HAS SOPS 55412 HAS SOUS 47909 HAS SOUPS 47909 WITH SCORE 47964.412
AT ITER 8560 NEW BEST:: SOT 180308 SOS 55412 HAS SOPS 55412 HAS SOUS 47890 HAS SOUPS 47890 WITH SCORE 47945.412
AT ITER 8649 NEW BEST:: SOT 180306 SOS 55408 HAS SOPS 55408 HAS SOUS 47886 HAS SOUPS 47886 WITH SCORE 47941.408
AT ITER 8660 NEW BEST:: SOT 180300 SOS 55402 HAS SOPS 55402 HAS SOUS 47880 HAS SOUPS 47880 WITH SCORE 47935.402
AT ITER 8691 NEW BEST:: SOT 180197 SOS 55509 HAS SOPS 55509 HAS SOUS 47834 HAS SOUPS 47834 WITH SCORE 47889.509
AT ITER 8709 NEW BEST:: SOT 180197 SOS 55507 HAS SOPS 55507 HAS SOUS 47833 HAS SOUPS 47833 WITH SCORE 47888.507
AT ITER 8716 NEW BEST:: SOT 180193 SOS 55495 HAS SOPS 55495 HAS SOUS 47833 HAS SOUPS 47833 WITH SCORE 47888.495
AT ITER 8742 NEW BEST:: SOT 180184 SOS 55480 HAS SOPS 55480 HAS SOUS 47818 HAS SOUPS 47818 WITH SCORE 47873.48
AT ITER 8748 NEW BEST:: SOT 180202 SOS 55451 HAS SOPS 55451 HAS SOUS 47803 HAS SOUPS 47803 WITH SCORE 47858.451
AT ITER 8759 NEW BEST:: SOT 180208 SOS 55443 HAS SOPS 55443 HAS SOUS 47795 HAS SOUPS 47795 WITH SCORE 47850.443
AT ITER 8782 NEW BEST:: SOT 180137 SOS 55375 HAS SOPS 55375 HAS SOUS 47746 HAS SOUPS 47746 WITH SCORE 47801.375
AT ITER 8796 NEW BEST:: SOT 180062 SOS 55197 HAS SOPS 55197 HAS SOUS 47689 HAS SOUPS 47689 WITH SCORE 47744.197
AT ITER 8811 NEW BEST:: SOT 180057 SOS 55192 HAS SOPS 55192 HAS SOUS 47689 HAS SOUPS 47689 WITH SCORE 47744.192
AT ITER 8815 NEW BEST:: SOT 179988 SOS 54974 HAS SOPS 54974 HAS SOUS 47521 HAS SOUPS 47521 WITH SCORE 47575.974
AT ITER 8816 NEW BEST:: SOT 179973 SOS 54907 HAS SOPS 54907 HAS SOUS 47454 HAS SOUPS 47454 WITH SCORE 47508.907
AT ITER 8840 NEW BEST:: SOT 179911 SOS 54845 HAS SOPS 54845 HAS SOUS 47392 HAS SOUPS 47392 WITH SCORE 47446.845
AT ITER 8841 NEW BEST:: SOT 179910 SOS 54844 HAS SOPS 54844 HAS SOUS 47391 HAS SOUPS 47391 WITH SCORE 47445.844
AT ITER 8873 NEW BEST:: SOT 179864 SOS 54747 HAS SOPS 54747 HAS SOUS 47296 HAS SOUPS 47296 WITH SCORE 47350.747
AT ITER 8899 NEW BEST:: SOT 179857 SOS 54740 HAS SOPS 54740 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47343.74
AT ITER 8908 NEW BEST:: SOT 179845 SOS 54724 HAS SOPS 54724 HAS SOUS 47273 HAS SOUPS 47273 WITH SCORE 47327.724
AT ITER 8910 NEW BEST:: SOT 179812 SOS 54682 HAS SOPS 54682 HAS SOUS 47231 HAS SOUPS 47231 WITH SCORE 47285.682
AT ITER 8936 NEW BEST:: SOT 179812 SOS 54591 HAS SOPS 54591 HAS SOUS 47220 HAS SOUPS 47220 WITH SCORE 47274.591
AT ITER 8995 NEW BEST:: SOT 179812 SOS 54554 HAS SOPS 54554 HAS SOUS 47212 HAS SOUPS 47212 WITH SCORE 47266.554
AT ITER 9001 NEW BEST:: SOT 179811 SOS 54551 HAS SOPS 54551 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47264.551
AT ITER 9007 NEW BEST:: SOT 179811 SOS 54546 HAS SOPS 54546 HAS SOUS 47205 HAS SOUPS 47205 WITH SCORE 47259.546
AT ITER 9028 NEW BEST:: SOT 179808 SOS 54536 HAS SOPS 54536 HAS SOUS 47195 HAS SOUPS 47195 WITH SCORE 47249.536
AT ITER 9072 NEW BEST:: SOT 179805 SOS 54533 HAS SOPS 54533 HAS SOUS 47192 HAS SOUPS 47192 WITH SCORE 47246.533
AT ITER 9081 NEW BEST:: SOT 179802 SOS 54530 HAS SOPS 54530 HAS SOUS 47189 HAS SOUPS 47189 WITH SCORE 47243.53
AT ITER 9133 NEW BEST:: SOT 179772 SOS 54480 HAS SOPS 54480 HAS SOUS 47154 HAS SOUPS 47154 WITH SCORE 47208.48
AT ITER 9137 NEW BEST:: SOT 179656 SOS 54174 HAS SOPS 54174 HAS SOUS 46953 HAS SOUPS 46953 WITH SCORE 47007.174
AT ITER 9242 NEW BEST:: SOT 179602 SOS 54120 HAS SOPS 54120 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46953.12
AT ITER 9255 NEW BEST:: SOT 179588 SOS 54073 HAS SOPS 54073 HAS SOUS 46863 HAS SOUPS 46863 WITH SCORE 46917.073
AT ITER 9260 NEW BEST:: SOT 179583 SOS 54063 HAS SOPS 54063 HAS SOUS 46853 HAS SOUPS 46853 WITH SCORE 46907.063
AT ITER 9275 NEW BEST:: SOT 179580 SOS 54054 HAS SOPS 54054 HAS SOUS 46847 HAS SOUPS 46847 WITH SCORE 46901.054
AT ITER 9318 NEW BEST:: SOT 179571 SOS 53959 HAS SOPS 53959 HAS SOUS 46818 HAS SOUPS 46818 WITH SCORE 46871.959
AT ITER 9335 NEW BEST:: SOT 179495 SOS 53961 HAS SOPS 53961 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46850.961
AT ITER 9336 NEW BEST:: SOT 179480 SOS 53895 HAS SOPS 53895 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46811.895
AT ITER 9340 NEW BEST:: SOT 179495 SOS 53916 HAS SOPS 53916 HAS SOUS 46749 HAS SOUPS 46749 WITH SCORE 46802.916
AT ITER 9359 NEW BEST:: SOT 179462 SOS 53883 HAS SOPS 53883 HAS SOUS 46683 HAS SOUPS 46683 WITH SCORE 46736.883
AT ITER 9368 NEW BEST:: SOT 179449 SOS 53945 HAS SOPS 53945 HAS SOUS 46682 HAS SOUPS 46682 WITH SCORE 46735.945
AT ITER 9392 NEW BEST:: SOT 179440 SOS 53936 HAS SOPS 53936 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46726.936
AT ITER 9398 NEW BEST:: SOT 179381 SOS 53877 HAS SOPS 53877 HAS SOUS 46614 HAS SOUPS 46614 WITH SCORE 46667.877
AT ITER 9433 NEW BEST:: SOT 179381 SOS 53852 HAS SOPS 53852 HAS SOUS 46600 HAS SOUPS 46600 WITH SCORE 46653.852
AT ITER 9448 NEW BEST:: SOT 179351 SOS 53744 HAS SOPS 53744 HAS SOUS 46518 HAS SOUPS 46518 WITH SCORE 46571.744
AT ITER 9454 NEW BEST:: SOT 179351 SOS 53734 HAS SOPS 53734 HAS SOUS 46506 HAS SOUPS 46506 WITH SCORE 46559.734
AT ITER 9460 NEW BEST:: SOT 179322 SOS 53670 HAS SOPS 53670 HAS SOUS 46446 HAS SOUPS 46446 WITH SCORE 46499.67
AT ITER 9465 NEW BEST:: SOT 179306 SOS 53654 HAS SOPS 53654 HAS SOUS 46430 HAS SOUPS 46430 WITH SCORE 46483.654
AT ITER 9482 NEW BEST:: SOT 179306 SOS 53616 HAS SOPS 53616 HAS SOUS 46415 HAS SOUPS 46415 WITH SCORE 46468.616
AT ITER 9485 NEW BEST:: SOT 179293 SOS 53569 HAS SOPS 53569 HAS SOUS 46398 HAS SOUPS 46398 WITH SCORE 46451.569
AT ITER 9508 NEW BEST:: SOT 179057 SOS 53229 HAS SOPS 53229 HAS SOUS 46058 HAS SOUPS 46058 WITH SCORE 46111.229
AT ITER 9518 NEW BEST:: SOT 179035 SOS 53182 HAS SOPS 53182 HAS SOUS 46017 HAS SOUPS 46017 WITH SCORE 46070.182
AT ITER 9529 NEW BEST:: SOT 179013 SOS 53160 HAS SOPS 53160 HAS SOUS 45995 HAS SOUPS 45995 WITH SCORE 46048.16
AT ITER 9549 NEW BEST:: SOT 179002 SOS 53143 HAS SOPS 53143 HAS SOUS 45950 HAS SOUPS 45950 WITH SCORE 46003.143
AT ITER 9579 NEW BEST:: SOT 179040 SOS 53216 HAS SOPS 53216 HAS SOUS 45938 HAS SOUPS 45938 WITH SCORE 45991.216
AT ITER 9596 NEW BEST:: SOT 179032 SOS 53226 HAS SOPS 53226 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 45986.226
AT ITER 9656 NEW BEST:: SOT 179020 SOS 53209 HAS SOPS 53209 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45968.209
AT ITER 9666 NEW BEST:: SOT 179009 SOS 53169 HAS SOPS 53169 HAS SOUS 45823 HAS SOUPS 45823 WITH SCORE 45876.169
AT ITER 9696 NEW BEST:: SOT 179003 SOS 53137 HAS SOPS 53137 HAS SOUS 45781 HAS SOUPS 45781 WITH SCORE 45834.137
AT ITER 9723 NEW BEST:: SOT 178989 SOS 53116 HAS SOPS 53116 HAS SOUS 45760 HAS SOUPS 45760 WITH SCORE 45813.116
AT ITER 9740 NEW BEST:: SOT 178983 SOS 53106 HAS SOPS 53106 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45805.106
AT ITER 9742 NEW BEST:: SOT 178983 SOS 53104 HAS SOPS 53104 HAS SOUS 45749 HAS SOUPS 45749 WITH SCORE 45802.104
AT ITER 9786 NEW BEST:: SOT 178983 SOS 53104 HAS SOPS 53104 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45796.104
AT ITER 9788 NEW BEST:: SOT 178983 SOS 53104 HAS SOPS 53104 HAS SOUS 45714 HAS SOUPS 45714 WITH SCORE 45767.104
AT ITER 9811 NEW BEST:: SOT 179000 SOS 53069 HAS SOPS 53069 HAS SOUS 45656 HAS SOUPS 45656 WITH SCORE 45709.069
AT ITER 9815 NEW BEST:: SOT 179000 SOS 53061 HAS SOPS 53061 HAS SOUS 45654 HAS SOUPS 45654 WITH SCORE 45707.061
AT ITER 9847 NEW BEST:: SOT 178926 SOS 52928 HAS SOPS 52928 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45612.928
AT ITER 9883 NEW BEST:: SOT 178846 SOS 52786 HAS SOPS 52786 HAS SOUS 45418 HAS SOUPS 45418 WITH SCORE 45470.786
AT ITER 9895 NEW BEST:: SOT 178830 SOS 52762 HAS SOPS 52762 HAS SOUS 45386 HAS SOUPS 45386 WITH SCORE 45438.762
AT ITER 9903 NEW BEST:: SOT 178830 SOS 52761 HAS SOPS 52761 HAS SOUS 45356 HAS SOUPS 45356 WITH SCORE 45408.761
AT ITER 9904 NEW BEST:: SOT 178830 SOS 52753 HAS SOPS 52753 HAS SOUS 45356 HAS SOUPS 45356 WITH SCORE 45408.753
AT ITER 9922 NEW BEST:: SOT 178823 SOS 52746 HAS SOPS 52746 HAS SOUS 45353 HAS SOUPS 45353 WITH SCORE 45405.746
AT ITER 9958 NEW BEST:: SOT 178557 SOS 52480 HAS SOPS 52480 HAS SOUS 45087 HAS SOUPS 45087 WITH SCORE 45139.48
AT ITER 9961 NEW BEST:: SOT 178522 SOS 52415 HAS SOPS 52415 HAS SOUS 45035 HAS SOUPS 45035 WITH SCORE 45087.415
AT ITER 9964 NEW BEST:: SOT 178489 SOS 52063 HAS SOPS 52063 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44926.063
AT ITER 9965 NEW BEST:: SOT 178575 SOS 52152 HAS SOPS 52152 HAS SOUS 44861 HAS SOUPS 44861 WITH SCORE 44913.152
AT ITER 9983 NEW BEST:: SOT 178575 SOS 51951 HAS SOPS 51951 HAS SOUS 44750 HAS SOUPS 44750 WITH SCORE 44801.951
AT ITER 9986 NEW BEST:: SOT 178617 SOS 51925 HAS SOPS 51925 HAS SOUS 44741 HAS SOUPS 44741 WITH SCORE 44792.925
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 7477312 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121388 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-020A"
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 ShieldPPPs-PT-020A, 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 r395-oct2-167903718800456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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