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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 13:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 13:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 13:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 27K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678447712627

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=DatabaseWithMutex-COL-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 11:28:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 11:28:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 11:28:34] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 11:28:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 11:28:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 413 ms
[2023-03-10 11:28:34] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 830 PT places and 800.0 transition bindings in 14 ms.
[2023-03-10 11:28:34] [INFO ] Unfolded HLPN to a Petri net with 830 places and 800 transitions 3800 arcs in 29 ms.
[2023-03-10 11:28:34] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 11:28:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 830 places, 800 transitions and 3800 arcs took 11 ms.
Total runtime 550 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (COL), instance 10
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: 830 places, 800 transitions, 3800 arcs.
AT ITER 0 NEW BEST:: SOT 433138 SOS 199693 HAS SOPS 199693 HAS SOUS 179376 HAS SOUPS 179376 WITH SCORE 179575.693
AT ITER 13 NEW BEST:: SOT 432891 SOS 202252 HAS SOPS 202252 HAS SOUS 179122 HAS SOUPS 179122 WITH SCORE 179324.252
AT ITER 15 NEW BEST:: SOT 432891 SOS 202219 HAS SOPS 202219 HAS SOUS 179089 HAS SOUPS 179089 WITH SCORE 179291.219
AT ITER 16 NEW BEST:: SOT 432857 SOS 202467 HAS SOPS 202467 HAS SOUS 179055 HAS SOUPS 179055 WITH SCORE 179257.467
AT ITER 24 NEW BEST:: SOT 432857 SOS 202376 HAS SOPS 202376 HAS SOUS 178964 HAS SOUPS 178964 WITH SCORE 179166.376
AT ITER 25 NEW BEST:: SOT 432857 SOS 202312 HAS SOPS 202312 HAS SOUS 178900 HAS SOUPS 178900 WITH SCORE 179102.312
AT ITER 27 NEW BEST:: SOT 432857 SOS 202245 HAS SOPS 202245 HAS SOUS 178833 HAS SOUPS 178833 WITH SCORE 179035.245
AT ITER 30 NEW BEST:: SOT 432857 SOS 202238 HAS SOPS 202238 HAS SOUS 178826 HAS SOUPS 178826 WITH SCORE 179028.238
AT ITER 37 NEW BEST:: SOT 432757 SOS 203602 HAS SOPS 203602 HAS SOUS 178748 HAS SOUPS 178748 WITH SCORE 178951.602
AT ITER 39 NEW BEST:: SOT 432757 SOS 203589 HAS SOPS 203589 HAS SOUS 178735 HAS SOUPS 178735 WITH SCORE 178938.589
AT ITER 48 NEW BEST:: SOT 432757 SOS 203559 HAS SOPS 203559 HAS SOUS 178705 HAS SOUPS 178705 WITH SCORE 178908.559
AT ITER 64 NEW BEST:: SOT 432586 SOS 204768 HAS SOPS 204768 HAS SOUS 178534 HAS SOUPS 178534 WITH SCORE 178738.768
AT ITER 71 NEW BEST:: SOT 432492 SOS 204568 HAS SOPS 204568 HAS SOUS 178331 HAS SOUPS 178331 WITH SCORE 178535.568
AT ITER 82 NEW BEST:: SOT 432394 SOS 205245 HAS SOPS 205245 HAS SOUS 178233 HAS SOUPS 178233 WITH SCORE 178438.245
AT ITER 86 NEW BEST:: SOT 432385 SOS 205227 HAS SOPS 205227 HAS SOUS 178215 HAS SOUPS 178215 WITH SCORE 178420.227
AT ITER 89 NEW BEST:: SOT 432322 SOS 205572 HAS SOPS 205572 HAS SOUS 178206 HAS SOUPS 178206 WITH SCORE 178411.572
AT ITER 94 NEW BEST:: SOT 432218 SOS 206342 HAS SOPS 206342 HAS SOUS 178102 HAS SOUPS 178102 WITH SCORE 178308.342
AT ITER 96 NEW BEST:: SOT 432148 SOS 206515 HAS SOPS 206515 HAS SOUS 178072 HAS SOUPS 178072 WITH SCORE 178278.515
AT ITER 103 NEW BEST:: SOT 430009 SOS 204557 HAS SOPS 204557 HAS SOUS 176114 HAS SOUPS 176114 WITH SCORE 176318.557
AT ITER 104 NEW BEST:: SOT 428536 SOS 204821 HAS SOPS 204821 HAS SOUS 175352 HAS SOUPS 175352 WITH SCORE 175556.821
AT ITER 107 NEW BEST:: SOT 428516 SOS 205599 HAS SOPS 205599 HAS SOUS 175332 HAS SOUPS 175332 WITH SCORE 175537.599
AT ITER 108 NEW BEST:: SOT 427975 SOS 205180 HAS SOPS 205180 HAS SOUS 174913 HAS SOUPS 174913 WITH SCORE 175118.18
AT ITER 113 NEW BEST:: SOT 427494 SOS 204721 HAS SOPS 204721 HAS SOUS 174423 HAS SOUPS 174423 WITH SCORE 174627.721
AT ITER 114 NEW BEST:: SOT 427484 SOS 204701 HAS SOPS 204701 HAS SOUS 174413 HAS SOUPS 174413 WITH SCORE 174617.701
AT ITER 115 NEW BEST:: SOT 427373 SOS 205504 HAS SOPS 205504 HAS SOUS 174302 HAS SOUPS 174302 WITH SCORE 174507.504
AT ITER 138 NEW BEST:: SOT 424605 SOS 203533 HAS SOPS 203533 HAS SOUS 172013 HAS SOUPS 172013 WITH SCORE 172216.533
AT ITER 148 NEW BEST:: SOT 424605 SOS 203104 HAS SOPS 203104 HAS SOUS 172003 HAS SOUPS 172003 WITH SCORE 172206.104
AT ITER 154 NEW BEST:: SOT 423104 SOS 202485 HAS SOPS 202485 HAS SOUS 171044 HAS SOUPS 171044 WITH SCORE 171246.485
AT ITER 162 NEW BEST:: SOT 423104 SOS 202401 HAS SOPS 202401 HAS SOUS 170960 HAS SOUPS 170960 WITH SCORE 171162.401
AT ITER 164 NEW BEST:: SOT 423104 SOS 202343 HAS SOPS 202343 HAS SOUS 170902 HAS SOUPS 170902 WITH SCORE 171104.343
AT ITER 170 NEW BEST:: SOT 421911 SOS 202525 HAS SOPS 202525 HAS SOUS 170270 HAS SOUPS 170270 WITH SCORE 170472.525
AT ITER 180 NEW BEST:: SOT 421911 SOS 202516 HAS SOPS 202516 HAS SOUS 170261 HAS SOUPS 170261 WITH SCORE 170463.516
AT ITER 192 NEW BEST:: SOT 420195 SOS 200945 HAS SOPS 200945 HAS SOUS 168738 HAS SOUPS 168738 WITH SCORE 168938.945
AT ITER 198 NEW BEST:: SOT 420114 SOS 200864 HAS SOPS 200864 HAS SOUS 168657 HAS SOUPS 168657 WITH SCORE 168857.864
AT ITER 229 NEW BEST:: SOT 420114 SOS 200832 HAS SOPS 200832 HAS SOUS 168657 HAS SOUPS 168657 WITH SCORE 168857.832
AT ITER 231 NEW BEST:: SOT 420063 SOS 201605 HAS SOPS 201605 HAS SOUS 168638 HAS SOUPS 168638 WITH SCORE 168839.605
AT ITER 242 NEW BEST:: SOT 418433 SOS 202922 HAS SOPS 202922 HAS SOUS 168371 HAS SOUPS 168371 WITH SCORE 168573.922
AT ITER 254 NEW BEST:: SOT 418335 SOS 202857 HAS SOPS 202857 HAS SOUS 168306 HAS SOUPS 168306 WITH SCORE 168508.857
AT ITER 258 NEW BEST:: SOT 418335 SOS 203617 HAS SOPS 203617 HAS SOUS 168264 HAS SOUPS 168264 WITH SCORE 168467.617
AT ITER 268 NEW BEST:: SOT 418542 SOS 203914 HAS SOPS 203914 HAS SOUS 168253 HAS SOUPS 168253 WITH SCORE 168456.914
AT ITER 269 NEW BEST:: SOT 418470 SOS 204248 HAS SOPS 204248 HAS SOUS 168137 HAS SOUPS 168137 WITH SCORE 168341.248
AT ITER 280 NEW BEST:: SOT 418470 SOS 204228 HAS SOPS 204228 HAS SOUS 168117 HAS SOUPS 168117 WITH SCORE 168321.228
AT ITER 287 NEW BEST:: SOT 418470 SOS 204228 HAS SOPS 204228 HAS SOUS 168038 HAS SOUPS 168038 WITH SCORE 168242.228
AT ITER 294 NEW BEST:: SOT 418472 SOS 204141 HAS SOPS 204141 HAS SOUS 167951 HAS SOUPS 167951 WITH SCORE 168155.141
AT ITER 305 NEW BEST:: SOT 418472 SOS 204140 HAS SOPS 204140 HAS SOUS 167950 HAS SOUPS 167950 WITH SCORE 168154.14
AT ITER 309 NEW BEST:: SOT 418472 SOS 205300 HAS SOPS 205300 HAS SOUS 167940 HAS SOUPS 167940 WITH SCORE 168145.3
AT ITER 312 NEW BEST:: SOT 418120 SOS 205084 HAS SOPS 205084 HAS SOUS 167588 HAS SOUPS 167588 WITH SCORE 167793.084
AT ITER 318 NEW BEST:: SOT 418159 SOS 204884 HAS SOPS 204884 HAS SOUS 167280 HAS SOUPS 167280 WITH SCORE 167484.884
AT ITER 327 NEW BEST:: SOT 418191 SOS 204916 HAS SOPS 204916 HAS SOUS 167158 HAS SOUPS 167158 WITH SCORE 167362.916
AT ITER 334 NEW BEST:: SOT 418182 SOS 204907 HAS SOPS 204907 HAS SOUS 167140 HAS SOUPS 167140 WITH SCORE 167344.907
AT ITER 336 NEW BEST:: SOT 418134 SOS 205997 HAS SOPS 205997 HAS SOUS 167129 HAS SOUPS 167129 WITH SCORE 167334.997
AT ITER 339 NEW BEST:: SOT 418092 SOS 206172 HAS SOPS 206172 HAS SOUS 167060 HAS SOUPS 167060 WITH SCORE 167266.172
AT ITER 343 NEW BEST:: SOT 418076 SOS 206156 HAS SOPS 206156 HAS SOUS 167044 HAS SOUPS 167044 WITH SCORE 167250.156
AT ITER 346 NEW BEST:: SOT 415748 SOS 203901 HAS SOPS 203901 HAS SOUS 164789 HAS SOUPS 164789 WITH SCORE 164992.901
AT ITER 350 NEW BEST:: SOT 415616 SOS 205089 HAS SOPS 205089 HAS SOUS 164617 HAS SOUPS 164617 WITH SCORE 164822.089
AT ITER 367 NEW BEST:: SOT 415608 SOS 204908 HAS SOPS 204908 HAS SOUS 164336 HAS SOUPS 164336 WITH SCORE 164540.908
AT ITER 374 NEW BEST:: SOT 415608 SOS 204886 HAS SOPS 204886 HAS SOUS 164314 HAS SOUPS 164314 WITH SCORE 164518.886
AT ITER 380 NEW BEST:: SOT 415513 SOS 204696 HAS SOPS 204696 HAS SOUS 164061 HAS SOUPS 164061 WITH SCORE 164265.696
AT ITER 381 NEW BEST:: SOT 415513 SOS 204627 HAS SOPS 204627 HAS SOUS 164061 HAS SOUPS 164061 WITH SCORE 164265.627
AT ITER 383 NEW BEST:: SOT 413790 SOS 204855 HAS SOPS 204855 HAS SOUS 163346 HAS SOUPS 163346 WITH SCORE 163550.855
AT ITER 392 NEW BEST:: SOT 413790 SOS 204777 HAS SOPS 204777 HAS SOUS 163268 HAS SOUPS 163268 WITH SCORE 163472.777
AT ITER 405 NEW BEST:: SOT 413780 SOS 204651 HAS SOPS 204651 HAS SOUS 163060 HAS SOUPS 163060 WITH SCORE 163264.651
AT ITER 406 NEW BEST:: SOT 413780 SOS 204646 HAS SOPS 204646 HAS SOUS 163055 HAS SOUPS 163055 WITH SCORE 163259.646
AT ITER 414 NEW BEST:: SOT 412637 SOS 204821 HAS SOPS 204821 HAS SOUS 162498 HAS SOUPS 162498 WITH SCORE 162702.821
AT ITER 419 NEW BEST:: SOT 412272 SOS 204456 HAS SOPS 204456 HAS SOUS 161821 HAS SOUPS 161821 WITH SCORE 162025.456
AT ITER 421 NEW BEST:: SOT 412263 SOS 204447 HAS SOPS 204447 HAS SOUS 161812 HAS SOUPS 161812 WITH SCORE 162016.447
AT ITER 429 NEW BEST:: SOT 412208 SOS 205759 HAS SOPS 205759 HAS SOUS 161790 HAS SOUPS 161790 WITH SCORE 161995.759
AT ITER 438 NEW BEST:: SOT 412347 SOS 205694 HAS SOPS 205694 HAS SOUS 161660 HAS SOUPS 161660 WITH SCORE 161865.694
AT ITER 439 NEW BEST:: SOT 412177 SOS 207738 HAS SOPS 207738 HAS SOUS 161436 HAS SOUPS 161436 WITH SCORE 161643.738
AT ITER 443 NEW BEST:: SOT 412424 SOS 207985 HAS SOPS 207985 HAS SOUS 161433 HAS SOUPS 161433 WITH SCORE 161640.985
AT ITER 462 NEW BEST:: SOT 412352 SOS 207840 HAS SOPS 207840 HAS SOUS 161339 HAS SOUPS 161339 WITH SCORE 161546.84
AT ITER 474 NEW BEST:: SOT 412319 SOS 207774 HAS SOPS 207774 HAS SOUS 161273 HAS SOUPS 161273 WITH SCORE 161480.774
AT ITER 482 NEW BEST:: SOT 412313 SOS 207750 HAS SOPS 207750 HAS SOUS 161241 HAS SOUPS 161241 WITH SCORE 161448.75
AT ITER 488 NEW BEST:: SOT 412382 SOS 207819 HAS SOPS 207819 HAS SOUS 161200 HAS SOUPS 161200 WITH SCORE 161407.819
AT ITER 490 NEW BEST:: SOT 411975 SOS 209983 HAS SOPS 209983 HAS SOUS 160838 HAS SOUPS 160838 WITH SCORE 161047.983
AT ITER 491 NEW BEST:: SOT 411985 SOS 209226 HAS SOPS 209226 HAS SOUS 160829 HAS SOUPS 160829 WITH SCORE 161038.226
AT ITER 494 NEW BEST:: SOT 411901 SOS 209142 HAS SOPS 209142 HAS SOUS 160745 HAS SOUPS 160745 WITH SCORE 160954.142
AT ITER 504 NEW BEST:: SOT 411828 SOS 209069 HAS SOPS 209069 HAS SOUS 160731 HAS SOUPS 160731 WITH SCORE 160940.069
AT ITER 508 NEW BEST:: SOT 411890 SOS 209131 HAS SOPS 209131 HAS SOUS 160693 HAS SOUPS 160693 WITH SCORE 160902.131
AT ITER 516 NEW BEST:: SOT 411887 SOS 209140 HAS SOPS 209140 HAS SOUS 160690 HAS SOUPS 160690 WITH SCORE 160899.14
AT ITER 519 NEW BEST:: SOT 411783 SOS 209039 HAS SOPS 209039 HAS SOUS 160589 HAS SOUPS 160589 WITH SCORE 160798.039
AT ITER 527 NEW BEST:: SOT 411649 SOS 210863 HAS SOPS 210863 HAS SOUS 160491 HAS SOUPS 160491 WITH SCORE 160701.863
AT ITER 535 NEW BEST:: SOT 411587 SOS 210801 HAS SOPS 210801 HAS SOUS 160429 HAS SOUPS 160429 WITH SCORE 160639.801
AT ITER 545 NEW BEST:: SOT 411334 SOS 211247 HAS SOPS 211247 HAS SOUS 160402 HAS SOUPS 160402 WITH SCORE 160613.247
AT ITER 549 NEW BEST:: SOT 411334 SOS 210609 HAS SOPS 210609 HAS SOUS 160402 HAS SOUPS 160402 WITH SCORE 160612.609
AT ITER 554 NEW BEST:: SOT 411328 SOS 210597 HAS SOPS 210597 HAS SOUS 160390 HAS SOUPS 160390 WITH SCORE 160600.597
AT ITER 561 NEW BEST:: SOT 411252 SOS 210639 HAS SOPS 210639 HAS SOUS 160356 HAS SOUPS 160356 WITH SCORE 160566.639
AT ITER 565 NEW BEST:: SOT 411246 SOS 210633 HAS SOPS 210633 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160560.633
AT ITER 567 NEW BEST:: SOT 411246 SOS 210633 HAS SOPS 210633 HAS SOUS 160329 HAS SOUPS 160329 WITH SCORE 160539.633
AT ITER 588 NEW BEST:: SOT 411226 SOS 210559 HAS SOPS 210559 HAS SOUS 160255 HAS SOUPS 160255 WITH SCORE 160465.559
AT ITER 598 NEW BEST:: SOT 411143 SOS 211162 HAS SOPS 211162 HAS SOUS 160089 HAS SOUPS 160089 WITH SCORE 160300.162
AT ITER 604 NEW BEST:: SOT 409619 SOS 209886 HAS SOPS 209886 HAS SOUS 158687 HAS SOUPS 158687 WITH SCORE 158896.886
AT ITER 607 NEW BEST:: SOT 409576 SOS 209800 HAS SOPS 209800 HAS SOUS 158601 HAS SOUPS 158601 WITH SCORE 158810.8
AT ITER 616 NEW BEST:: SOT 409476 SOS 209700 HAS SOPS 209700 HAS SOUS 158262 HAS SOUPS 158262 WITH SCORE 158471.7
AT ITER 636 NEW BEST:: SOT 409347 SOS 209699 HAS SOPS 209699 HAS SOUS 158261 HAS SOUPS 158261 WITH SCORE 158470.699
AT ITER 638 NEW BEST:: SOT 409347 SOS 209696 HAS SOPS 209696 HAS SOUS 158258 HAS SOUPS 158258 WITH SCORE 158467.696
AT ITER 643 NEW BEST:: SOT 409347 SOS 210068 HAS SOPS 210068 HAS SOUS 158075 HAS SOUPS 158075 WITH SCORE 158285.068
AT ITER 647 NEW BEST:: SOT 409275 SOS 210185 HAS SOPS 210185 HAS SOUS 158015 HAS SOUPS 158015 WITH SCORE 158225.185
AT ITER 655 NEW BEST:: SOT 409257 SOS 210167 HAS SOPS 210167 HAS SOUS 157979 HAS SOUPS 157979 WITH SCORE 158189.167
AT ITER 657 NEW BEST:: SOT 409204 SOS 209967 HAS SOPS 209967 HAS SOUS 157781 HAS SOUPS 157781 WITH SCORE 157990.967
AT ITER 673 NEW BEST:: SOT 409119 SOS 209767 HAS SOPS 209767 HAS SOUS 157496 HAS SOUPS 157496 WITH SCORE 157705.767
AT ITER 675 NEW BEST:: SOT 409113 SOS 207908 HAS SOPS 207908 HAS SOUS 157390 HAS SOUPS 157390 WITH SCORE 157597.908
AT ITER 678 NEW BEST:: SOT 409072 SOS 207826 HAS SOPS 207826 HAS SOUS 157267 HAS SOUPS 157267 WITH SCORE 157474.826
AT ITER 719 NEW BEST:: SOT 409050 SOS 207810 HAS SOPS 207810 HAS SOUS 157259 HAS SOUPS 157259 WITH SCORE 157466.81
AT ITER 720 NEW BEST:: SOT 409277 SOS 208037 HAS SOPS 208037 HAS SOUS 157182 HAS SOUPS 157182 WITH SCORE 157390.037
AT ITER 728 NEW BEST:: SOT 408990 SOS 207984 HAS SOPS 207984 HAS SOUS 157123 HAS SOUPS 157123 WITH SCORE 157330.984
AT ITER 731 NEW BEST:: SOT 408609 SOS 207719 HAS SOPS 207719 HAS SOUS 156792 HAS SOUPS 156792 WITH SCORE 156999.719
AT ITER 733 NEW BEST:: SOT 408609 SOS 207332 HAS SOPS 207332 HAS SOUS 156792 HAS SOUPS 156792 WITH SCORE 156999.332
AT ITER 740 NEW BEST:: SOT 408622 SOS 206870 HAS SOPS 206870 HAS SOUS 156696 HAS SOUPS 156696 WITH SCORE 156902.87
AT ITER 741 NEW BEST:: SOT 408648 SOS 206789 HAS SOPS 206789 HAS SOUS 156615 HAS SOUPS 156615 WITH SCORE 156821.789
AT ITER 743 NEW BEST:: SOT 408596 SOS 207757 HAS SOPS 207757 HAS SOUS 156572 HAS SOUPS 156572 WITH SCORE 156779.757
AT ITER 747 NEW BEST:: SOT 408532 SOS 207557 HAS SOPS 207557 HAS SOUS 156550 HAS SOUPS 156550 WITH SCORE 156757.557
AT ITER 758 NEW BEST:: SOT 408446 SOS 207442 HAS SOPS 207442 HAS SOUS 156521 HAS SOUPS 156521 WITH SCORE 156728.442
AT ITER 759 NEW BEST:: SOT 408369 SOS 207285 HAS SOPS 207285 HAS SOUS 156364 HAS SOUPS 156364 WITH SCORE 156571.285
AT ITER 769 NEW BEST:: SOT 408378 SOS 207407 HAS SOPS 207407 HAS SOUS 156289 HAS SOUPS 156289 WITH SCORE 156496.407
AT ITER 776 NEW BEST:: SOT 408306 SOS 207335 HAS SOPS 207335 HAS SOUS 156217 HAS SOUPS 156217 WITH SCORE 156424.335
AT ITER 796 NEW BEST:: SOT 408306 SOS 207399 HAS SOPS 207399 HAS SOUS 156117 HAS SOUPS 156117 WITH SCORE 156324.399
AT ITER 797 NEW BEST:: SOT 408238 SOS 207242 HAS SOPS 207242 HAS SOUS 155981 HAS SOUPS 155981 WITH SCORE 156188.242
AT ITER 814 NEW BEST:: SOT 408204 SOS 207198 HAS SOPS 207198 HAS SOUS 155937 HAS SOUPS 155937 WITH SCORE 156144.198
AT ITER 827 NEW BEST:: SOT 408190 SOS 207156 HAS SOPS 207156 HAS SOUS 155895 HAS SOUPS 155895 WITH SCORE 156102.156
AT ITER 842 NEW BEST:: SOT 408086 SOS 206906 HAS SOPS 206906 HAS SOUS 155770 HAS SOUPS 155770 WITH SCORE 155976.906
AT ITER 843 NEW BEST:: SOT 408328 SOS 207148 HAS SOPS 207148 HAS SOUS 155741 HAS SOUPS 155741 WITH SCORE 155948.148
AT ITER 853 NEW BEST:: SOT 408338 SOS 207138 HAS SOPS 207138 HAS SOUS 155731 HAS SOUPS 155731 WITH SCORE 155938.138
AT ITER 861 NEW BEST:: SOT 408338 SOS 207162 HAS SOPS 207162 HAS SOUS 155714 HAS SOUPS 155714 WITH SCORE 155921.162
AT ITER 871 NEW BEST:: SOT 408366 SOS 207176 HAS SOPS 207176 HAS SOUS 155564 HAS SOUPS 155564 WITH SCORE 155771.176
AT ITER 879 NEW BEST:: SOT 408615 SOS 207425 HAS SOPS 207425 HAS SOUS 155521 HAS SOUPS 155521 WITH SCORE 155728.425
AT ITER 885 NEW BEST:: SOT 408563 SOS 207373 HAS SOPS 207373 HAS SOUS 155512 HAS SOUPS 155512 WITH SCORE 155719.373
AT ITER 887 NEW BEST:: SOT 408406 SOS 207650 HAS SOPS 207650 HAS SOUS 155497 HAS SOUPS 155497 WITH SCORE 155704.65
AT ITER 888 NEW BEST:: SOT 408406 SOS 207650 HAS SOPS 207650 HAS SOUS 155452 HAS SOUPS 155452 WITH SCORE 155659.65
AT ITER 897 NEW BEST:: SOT 408569 SOS 207287 HAS SOPS 207287 HAS SOUS 155417 HAS SOUPS 155417 WITH SCORE 155624.287
AT ITER 915 NEW BEST:: SOT 408562 SOS 207280 HAS SOPS 207280 HAS SOUS 155346 HAS SOUPS 155346 WITH SCORE 155553.28
AT ITER 922 NEW BEST:: SOT 407963 SOS 206769 HAS SOPS 206769 HAS SOUS 154835 HAS SOUPS 154835 WITH SCORE 155041.769
AT ITER 923 NEW BEST:: SOT 408074 SOS 206897 HAS SOPS 206897 HAS SOUS 154667 HAS SOUPS 154667 WITH SCORE 154873.897
AT ITER 929 NEW BEST:: SOT 407955 SOS 206650 HAS SOPS 206650 HAS SOUS 154301 HAS SOUPS 154301 WITH SCORE 154507.65
AT ITER 931 NEW BEST:: SOT 407309 SOS 208267 HAS SOPS 208267 HAS SOUS 154021 HAS SOUPS 154021 WITH SCORE 154229.267
AT ITER 933 NEW BEST:: SOT 407334 SOS 208086 HAS SOPS 208086 HAS SOUS 153740 HAS SOUPS 153740 WITH SCORE 153948.086
AT ITER 940 NEW BEST:: SOT 407312 SOS 208064 HAS SOPS 208064 HAS SOUS 153718 HAS SOUPS 153718 WITH SCORE 153926.064
AT ITER 946 NEW BEST:: SOT 407312 SOS 208010 HAS SOPS 208010 HAS SOUS 153664 HAS SOUPS 153664 WITH SCORE 153872.01
AT ITER 964 NEW BEST:: SOT 407303 SOS 208001 HAS SOPS 208001 HAS SOUS 153646 HAS SOUPS 153646 WITH SCORE 153854.001
AT ITER 970 NEW BEST:: SOT 407303 SOS 208027 HAS SOPS 208027 HAS SOUS 153586 HAS SOUPS 153586 WITH SCORE 153794.027
AT ITER 981 NEW BEST:: SOT 407295 SOS 207941 HAS SOPS 207941 HAS SOUS 153500 HAS SOUPS 153500 WITH SCORE 153707.941
AT ITER 982 NEW BEST:: SOT 407281 SOS 207927 HAS SOPS 207927 HAS SOUS 153486 HAS SOUPS 153486 WITH SCORE 153693.927
AT ITER 1006 NEW BEST:: SOT 407372 SOS 207997 HAS SOPS 207997 HAS SOUS 153455 HAS SOUPS 153455 WITH SCORE 153662.997
AT ITER 1009 NEW BEST:: SOT 407318 SOS 207924 HAS SOPS 207924 HAS SOUS 153386 HAS SOUPS 153386 WITH SCORE 153593.924
AT ITER 1013 NEW BEST:: SOT 407199 SOS 207754 HAS SOPS 207754 HAS SOUS 153216 HAS SOUPS 153216 WITH SCORE 153423.754
AT ITER 1017 NEW BEST:: SOT 407192 SOS 207747 HAS SOPS 207747 HAS SOUS 153202 HAS SOUPS 153202 WITH SCORE 153409.747
AT ITER 1031 NEW BEST:: SOT 406798 SOS 207353 HAS SOPS 207353 HAS SOUS 152808 HAS SOUPS 152808 WITH SCORE 153015.353
AT ITER 1034 NEW BEST:: SOT 406798 SOS 207284 HAS SOPS 207284 HAS SOUS 152739 HAS SOUPS 152739 WITH SCORE 152946.284
AT ITER 1035 NEW BEST:: SOT 406793 SOS 207279 HAS SOPS 207279 HAS SOUS 152734 HAS SOUPS 152734 WITH SCORE 152941.279
AT ITER 1037 NEW BEST:: SOT 406746 SOS 207257 HAS SOPS 207257 HAS SOUS 152712 HAS SOUPS 152712 WITH SCORE 152919.257
AT ITER 1048 NEW BEST:: SOT 406290 SOS 206971 HAS SOPS 206971 HAS SOUS 152426 HAS SOUPS 152426 WITH SCORE 152632.971
AT ITER 1074 NEW BEST:: SOT 406369 SOS 206857 HAS SOPS 206857 HAS SOUS 152212 HAS SOUPS 152212 WITH SCORE 152418.857
AT ITER 1075 NEW BEST:: SOT 406280 SOS 206773 HAS SOPS 206773 HAS SOUS 152029 HAS SOUPS 152029 WITH SCORE 152235.773
AT ITER 1080 NEW BEST:: SOT 406306 SOS 206799 HAS SOPS 206799 HAS SOUS 152003 HAS SOUPS 152003 WITH SCORE 152209.799
AT ITER 1083 NEW BEST:: SOT 406257 SOS 206750 HAS SOPS 206750 HAS SOUS 151905 HAS SOUPS 151905 WITH SCORE 152111.75
AT ITER 1093 NEW BEST:: SOT 406070 SOS 206325 HAS SOPS 206325 HAS SOUS 151751 HAS SOUPS 151751 WITH SCORE 151957.325
AT ITER 1100 NEW BEST:: SOT 406070 SOS 205681 HAS SOPS 205681 HAS SOUS 151625 HAS SOUPS 151625 WITH SCORE 151830.681
AT ITER 1110 NEW BEST:: SOT 405756 SOS 206453 HAS SOPS 206453 HAS SOUS 151486 HAS SOUPS 151486 WITH SCORE 151692.453
AT ITER 1118 NEW BEST:: SOT 405603 SOS 206152 HAS SOPS 206152 HAS SOUS 151334 HAS SOUPS 151334 WITH SCORE 151540.152
AT ITER 1120 NEW BEST:: SOT 405584 SOS 206266 HAS SOPS 206266 HAS SOUS 151296 HAS SOUPS 151296 WITH SCORE 151502.266
AT ITER 1122 NEW BEST:: SOT 405506 SOS 206507 HAS SOPS 206507 HAS SOUS 151275 HAS SOUPS 151275 WITH SCORE 151481.507
AT ITER 1139 NEW BEST:: SOT 405202 SOS 206424 HAS SOPS 206424 HAS SOUS 150874 HAS SOUPS 150874 WITH SCORE 151080.424
AT ITER 1143 NEW BEST:: SOT 404914 SOS 206184 HAS SOPS 206184 HAS SOUS 150634 HAS SOUPS 150634 WITH SCORE 150840.184
AT ITER 1147 NEW BEST:: SOT 404868 SOS 206138 HAS SOPS 206138 HAS SOUS 150588 HAS SOUPS 150588 WITH SCORE 150794.138
AT ITER 1162 NEW BEST:: SOT 404938 SOS 206208 HAS SOPS 206208 HAS SOUS 150484 HAS SOUPS 150484 WITH SCORE 150690.208
AT ITER 1169 NEW BEST:: SOT 404856 SOS 206044 HAS SOPS 206044 HAS SOUS 150320 HAS SOUPS 150320 WITH SCORE 150526.044
AT ITER 1172 NEW BEST:: SOT 404856 SOS 206004 HAS SOPS 206004 HAS SOUS 150280 HAS SOUPS 150280 WITH SCORE 150486.004
AT ITER 1174 NEW BEST:: SOT 404646 SOS 205794 HAS SOPS 205794 HAS SOUS 150070 HAS SOUPS 150070 WITH SCORE 150275.794
AT ITER 1177 NEW BEST:: SOT 404645 SOS 205792 HAS SOPS 205792 HAS SOUS 150069 HAS SOUPS 150069 WITH SCORE 150274.792
AT ITER 1179 NEW BEST:: SOT 404842 SOS 205989 HAS SOPS 205989 HAS SOUS 149983 HAS SOUPS 149983 WITH SCORE 150188.989
AT ITER 1182 NEW BEST:: SOT 404792 SOS 205939 HAS SOPS 205939 HAS SOUS 149958 HAS SOUPS 149958 WITH SCORE 150163.939
AT ITER 1189 NEW BEST:: SOT 404792 SOS 205860 HAS SOPS 205860 HAS SOUS 149879 HAS SOUPS 149879 WITH SCORE 150084.86
AT ITER 1210 NEW BEST:: SOT 404792 SOS 205892 HAS SOPS 205892 HAS SOUS 149847 HAS SOUPS 149847 WITH SCORE 150052.892
AT ITER 1215 NEW BEST:: SOT 404726 SOS 205701 HAS SOPS 205701 HAS SOUS 149800 HAS SOUPS 149800 WITH SCORE 150005.701
AT ITER 1220 NEW BEST:: SOT 404665 SOS 205579 HAS SOPS 205579 HAS SOUS 149678 HAS SOUPS 149678 WITH SCORE 149883.579
AT ITER 1231 NEW BEST:: SOT 404666 SOS 205271 HAS SOPS 205271 HAS SOUS 149600 HAS SOUPS 149600 WITH SCORE 149805.271
AT ITER 1298 NEW BEST:: SOT 404664 SOS 205269 HAS SOPS 205269 HAS SOUS 149599 HAS SOUPS 149599 WITH SCORE 149804.269
AT ITER 1303 NEW BEST:: SOT 404664 SOS 204854 HAS SOPS 204854 HAS SOUS 149561 HAS SOUPS 149561 WITH SCORE 149765.854
AT ITER 1310 NEW BEST:: SOT 404657 SOS 205067 HAS SOPS 205067 HAS SOUS 149515 HAS SOUPS 149515 WITH SCORE 149720.067
AT ITER 1327 NEW BEST:: SOT 404649 SOS 205059 HAS SOPS 205059 HAS SOUS 149507 HAS SOUPS 149507 WITH SCORE 149712.059
AT ITER 1334 NEW BEST:: SOT 404382 SOS 204953 HAS SOPS 204953 HAS SOUS 149401 HAS SOUPS 149401 WITH SCORE 149605.953
AT ITER 1349 NEW BEST:: SOT 404382 SOS 204927 HAS SOPS 204927 HAS SOUS 149375 HAS SOUPS 149375 WITH SCORE 149579.927
AT ITER 1431 NEW BEST:: SOT 404382 SOS 204868 HAS SOPS 204868 HAS SOUS 149316 HAS SOUPS 149316 WITH SCORE 149520.868
AT ITER 1435 NEW BEST:: SOT 404179 SOS 204891 HAS SOPS 204891 HAS SOUS 149040 HAS SOUPS 149040 WITH SCORE 149244.891
AT ITER 1479 NEW BEST:: SOT 404422 SOS 205134 HAS SOPS 205134 HAS SOUS 148961 HAS SOUPS 148961 WITH SCORE 149166.134
AT ITER 1488 NEW BEST:: SOT 404416 SOS 205128 HAS SOPS 205128 HAS SOUS 148936 HAS SOUPS 148936 WITH SCORE 149141.128
AT ITER 1498 NEW BEST:: SOT 404160 SOS 204872 HAS SOPS 204872 HAS SOUS 148916 HAS SOUPS 148916 WITH SCORE 149120.872
AT ITER 1506 NEW BEST:: SOT 404130 SOS 204842 HAS SOPS 204842 HAS SOUS 148886 HAS SOUPS 148886 WITH SCORE 149090.842
AT ITER 1509 NEW BEST:: SOT 404130 SOS 204563 HAS SOPS 204563 HAS SOUS 148836 HAS SOUPS 148836 WITH SCORE 149040.563
AT ITER 1511 NEW BEST:: SOT 404292 SOS 204725 HAS SOPS 204725 HAS SOUS 148742 HAS SOUPS 148742 WITH SCORE 148946.725
AT ITER 1514 NEW BEST:: SOT 403747 SOS 204274 HAS SOPS 204274 HAS SOUS 148291 HAS SOUPS 148291 WITH SCORE 148495.274
AT ITER 1521 NEW BEST:: SOT 403738 SOS 204245 HAS SOPS 204245 HAS SOUS 148214 HAS SOUPS 148214 WITH SCORE 148418.245
AT ITER 1540 NEW BEST:: SOT 403824 SOS 204331 HAS SOPS 204331 HAS SOUS 148117 HAS SOUPS 148117 WITH SCORE 148321.331
AT ITER 1546 NEW BEST:: SOT 403903 SOS 204410 HAS SOPS 204410 HAS SOUS 148096 HAS SOUPS 148096 WITH SCORE 148300.41
AT ITER 1549 NEW BEST:: SOT 403769 SOS 204276 HAS SOPS 204276 HAS SOUS 148020 HAS SOUPS 148020 WITH SCORE 148224.276
AT ITER 1552 NEW BEST:: SOT 403769 SOS 204268 HAS SOPS 204268 HAS SOUS 148012 HAS SOUPS 148012 WITH SCORE 148216.268
AT ITER 1553 NEW BEST:: SOT 403750 SOS 204249 HAS SOPS 204249 HAS SOUS 147993 HAS SOUPS 147993 WITH SCORE 148197.249
AT ITER 1555 NEW BEST:: SOT 403748 SOS 204247 HAS SOPS 204247 HAS SOUS 147892 HAS SOUPS 147892 WITH SCORE 148096.247
AT ITER 1560 NEW BEST:: SOT 403663 SOS 204778 HAS SOPS 204778 HAS SOUS 147743 HAS SOUPS 147743 WITH SCORE 147947.778
AT ITER 1562 NEW BEST:: SOT 403844 SOS 204959 HAS SOPS 204959 HAS SOUS 147587 HAS SOUPS 147587 WITH SCORE 147791.959
AT ITER 1586 NEW BEST:: SOT 403666 SOS 204611 HAS SOPS 204611 HAS SOUS 147460 HAS SOUPS 147460 WITH SCORE 147664.611
AT ITER 1626 NEW BEST:: SOT 403716 SOS 204558 HAS SOPS 204558 HAS SOUS 147374 HAS SOUPS 147374 WITH SCORE 147578.558
AT ITER 1639 NEW BEST:: SOT 403972 SOS 204814 HAS SOPS 204814 HAS SOUS 147331 HAS SOUPS 147331 WITH SCORE 147535.814
AT ITER 1654 NEW BEST:: SOT 403554 SOS 204833 HAS SOPS 204833 HAS SOUS 146980 HAS SOUPS 146980 WITH SCORE 147184.833
AT ITER 1656 NEW BEST:: SOT 402756 SOS 204524 HAS SOPS 204524 HAS SOUS 146652 HAS SOUPS 146652 WITH SCORE 146856.524
AT ITER 1667 NEW BEST:: SOT 402267 SOS 204120 HAS SOPS 204120 HAS SOUS 146248 HAS SOUPS 146248 WITH SCORE 146452.12
AT ITER 1672 NEW BEST:: SOT 402245 SOS 204098 HAS SOPS 204098 HAS SOUS 146226 HAS SOUPS 146226 WITH SCORE 146430.098
AT ITER 1679 NEW BEST:: SOT 402219 SOS 204072 HAS SOPS 204072 HAS SOUS 146116 HAS SOUPS 146116 WITH SCORE 146320.072
AT ITER 1680 NEW BEST:: SOT 402219 SOS 204158 HAS SOPS 204158 HAS SOUS 146016 HAS SOUPS 146016 WITH SCORE 146220.158
AT ITER 1691 NEW BEST:: SOT 401744 SOS 203764 HAS SOPS 203764 HAS SOUS 145622 HAS SOUPS 145622 WITH SCORE 145825.764
AT ITER 1732 NEW BEST:: SOT 401088 SOS 203246 HAS SOPS 203246 HAS SOUS 145029 HAS SOUPS 145029 WITH SCORE 145232.246
AT ITER 1733 NEW BEST:: SOT 400761 SOS 202919 HAS SOPS 202919 HAS SOUS 144702 HAS SOUPS 144702 WITH SCORE 144904.919
AT ITER 1764 NEW BEST:: SOT 400788 SOS 202946 HAS SOPS 202946 HAS SOUS 144675 HAS SOUPS 144675 WITH SCORE 144877.946
AT ITER 1772 NEW BEST:: SOT 400710 SOS 202880 HAS SOPS 202880 HAS SOUS 144597 HAS SOUPS 144597 WITH SCORE 144799.88
AT ITER 1773 NEW BEST:: SOT 400688 SOS 202858 HAS SOPS 202858 HAS SOUS 144575 HAS SOUPS 144575 WITH SCORE 144777.858
AT ITER 1798 NEW BEST:: SOT 400688 SOS 202805 HAS SOPS 202805 HAS SOUS 144494 HAS SOUPS 144494 WITH SCORE 144696.805
AT ITER 1810 NEW BEST:: SOT 400682 SOS 202799 HAS SOPS 202799 HAS SOUS 144494 HAS SOUPS 144494 WITH SCORE 144696.799
AT ITER 1811 NEW BEST:: SOT 400673 SOS 202790 HAS SOPS 202790 HAS SOUS 144485 HAS SOUPS 144485 WITH SCORE 144687.79
AT ITER 1843 NEW BEST:: SOT 400641 SOS 202699 HAS SOPS 202699 HAS SOUS 144290 HAS SOUPS 144290 WITH SCORE 144492.699
AT ITER 1847 NEW BEST:: SOT 400777 SOS 200343 HAS SOPS 200343 HAS SOUS 143849 HAS SOUPS 143849 WITH SCORE 144049.343
AT ITER 1848 NEW BEST:: SOT 400586 SOS 200360 HAS SOPS 200360 HAS SOUS 143685 HAS SOUPS 143685 WITH SCORE 143885.36
AT ITER 1850 NEW BEST:: SOT 400622 SOS 200396 HAS SOPS 200396 HAS SOUS 143640 HAS SOUPS 143640 WITH SCORE 143840.396
AT ITER 1853 NEW BEST:: SOT 400558 SOS 200332 HAS SOPS 200332 HAS SOUS 143576 HAS SOUPS 143576 WITH SCORE 143776.332
AT ITER 1854 NEW BEST:: SOT 400400 SOS 199993 HAS SOPS 199993 HAS SOUS 143237 HAS SOUPS 143237 WITH SCORE 143436.993
AT ITER 1859 NEW BEST:: SOT 400345 SOS 199938 HAS SOPS 199938 HAS SOUS 143182 HAS SOUPS 143182 WITH SCORE 143381.938
AT ITER 1862 NEW BEST:: SOT 398915 SOS 198951 HAS SOPS 198951 HAS SOUS 141843 HAS SOUPS 141843 WITH SCORE 142041.951
AT ITER 1868 NEW BEST:: SOT 398960 SOS 198996 HAS SOPS 198996 HAS SOUS 141643 HAS SOUPS 141643 WITH SCORE 141841.996
AT ITER 1869 NEW BEST:: SOT 398960 SOS 198679 HAS SOPS 198679 HAS SOUS 141626 HAS SOUPS 141626 WITH SCORE 141824.679
AT ITER 1890 NEW BEST:: SOT 398960 SOS 198665 HAS SOPS 198665 HAS SOUS 141612 HAS SOUPS 141612 WITH SCORE 141810.665
AT ITER 1897 NEW BEST:: SOT 398775 SOS 198471 HAS SOPS 198471 HAS SOUS 141418 HAS SOUPS 141418 WITH SCORE 141616.471
AT ITER 1907 NEW BEST:: SOT 398764 SOS 198441 HAS SOPS 198441 HAS SOUS 141207 HAS SOUPS 141207 WITH SCORE 141405.441
AT ITER 1911 NEW BEST:: SOT 398691 SOS 198236 HAS SOPS 198236 HAS SOUS 141097 HAS SOUPS 141097 WITH SCORE 141295.236
AT ITER 1948 NEW BEST:: SOT 398686 SOS 198231 HAS SOPS 198231 HAS SOUS 141092 HAS SOUPS 141092 WITH SCORE 141290.231
AT ITER 1950 NEW BEST:: SOT 398686 SOS 198228 HAS SOPS 198228 HAS SOUS 141092 HAS SOUPS 141092 WITH SCORE 141290.228
AT ITER 1958 NEW BEST:: SOT 398679 SOS 198221 HAS SOPS 198221 HAS SOUS 141078 HAS SOUPS 141078 WITH SCORE 141276.221
AT ITER 1980 NEW BEST:: SOT 398702 SOS 197355 HAS SOPS 197355 HAS SOUS 141065 HAS SOUPS 141065 WITH SCORE 141262.355
AT ITER 1987 NEW BEST:: SOT 398660 SOS 198334 HAS SOPS 198334 HAS SOUS 141023 HAS SOUPS 141023 WITH SCORE 141221.334
AT ITER 1988 NEW BEST:: SOT 398654 SOS 198317 HAS SOPS 198317 HAS SOUS 141006 HAS SOUPS 141006 WITH SCORE 141204.317
AT ITER 1996 NEW BEST:: SOT 398757 SOS 198301 HAS SOPS 198301 HAS SOUS 140990 HAS SOUPS 140990 WITH SCORE 141188.301
AT ITER 2008 NEW BEST:: SOT 398755 SOS 198299 HAS SOPS 198299 HAS SOUS 140988 HAS SOUPS 140988 WITH SCORE 141186.299
AT ITER 2033 NEW BEST:: SOT 398106 SOS 198116 HAS SOPS 198116 HAS SOUS 140413 HAS SOUPS 140413 WITH SCORE 140611.116
AT ITER 2035 NEW BEST:: SOT 398088 SOS 198121 HAS SOPS 198121 HAS SOUS 140377 HAS SOUPS 140377 WITH SCORE 140575.121
AT ITER 2061 NEW BEST:: SOT 397943 SOS 198089 HAS SOPS 198089 HAS SOUS 140345 HAS SOUPS 140345 WITH SCORE 140543.089
AT ITER 2071 NEW BEST:: SOT 397929 SOS 198076 HAS SOPS 198076 HAS SOUS 140331 HAS SOUPS 140331 WITH SCORE 140529.076
AT ITER 2083 NEW BEST:: SOT 397883 SOS 198030 HAS SOPS 198030 HAS SOUS 140297 HAS SOUPS 140297 WITH SCORE 140495.03
AT ITER 2084 NEW BEST:: SOT 397889 SOS 198049 HAS SOPS 198049 HAS SOUS 140219 HAS SOUPS 140219 WITH SCORE 140417.049
AT ITER 2094 NEW BEST:: SOT 397829 SOS 197989 HAS SOPS 197989 HAS SOUS 140159 HAS SOUPS 140159 WITH SCORE 140356.989
AT ITER 2098 NEW BEST:: SOT 398153 SOS 198313 HAS SOPS 198313 HAS SOUS 140156 HAS SOUPS 140156 WITH SCORE 140354.313
AT ITER 2119 NEW BEST:: SOT 398144 SOS 198304 HAS SOPS 198304 HAS SOUS 140138 HAS SOUPS 140138 WITH SCORE 140336.304
AT ITER 2132 NEW BEST:: SOT 398144 SOS 198304 HAS SOPS 198304 HAS SOUS 140084 HAS SOUPS 140084 WITH SCORE 140282.304
AT ITER 2135 NEW BEST:: SOT 398112 SOS 196685 HAS SOPS 196685 HAS SOUS 140020 HAS SOUPS 140020 WITH SCORE 140216.685
AT ITER 2143 NEW BEST:: SOT 397996 SOS 196569 HAS SOPS 196569 HAS SOUS 139904 HAS SOUPS 139904 WITH SCORE 140100.569
AT ITER 2145 NEW BEST:: SOT 397994 SOS 196564 HAS SOPS 196564 HAS SOUS 139901 HAS SOUPS 139901 WITH SCORE 140097.564
AT ITER 2166 NEW BEST:: SOT 397952 SOS 196515 HAS SOPS 196515 HAS SOUS 139894 HAS SOUPS 139894 WITH SCORE 140090.515
AT ITER 2174 NEW BEST:: SOT 397952 SOS 198225 HAS SOPS 198225 HAS SOUS 139746 HAS SOUPS 139746 WITH SCORE 139944.225
AT ITER 2178 NEW BEST:: SOT 397952 SOS 198225 HAS SOPS 198225 HAS SOUS 139730 HAS SOUPS 139730 WITH SCORE 139928.225
AT ITER 2210 NEW BEST:: SOT 397974 SOS 198247 HAS SOPS 198247 HAS SOUS 139694 HAS SOUPS 139694 WITH SCORE 139892.247
AT ITER 2230 NEW BEST:: SOT 397937 SOS 198210 HAS SOPS 198210 HAS SOUS 139657 HAS SOUPS 139657 WITH SCORE 139855.21
AT ITER 2232 NEW BEST:: SOT 397936 SOS 198209 HAS SOPS 198209 HAS SOUS 139655 HAS SOUPS 139655 WITH SCORE 139853.209
AT ITER 2238 NEW BEST:: SOT 397912 SOS 198103 HAS SOPS 198103 HAS SOUS 139637 HAS SOUPS 139637 WITH SCORE 139835.103
AT ITER 2248 NEW BEST:: SOT 397894 SOS 198043 HAS SOPS 198043 HAS SOUS 139628 HAS SOUPS 139628 WITH SCORE 139826.043
AT ITER 2257 NEW BEST:: SOT 397848 SOS 197491 HAS SOPS 197491 HAS SOUS 139536 HAS SOUPS 139536 WITH SCORE 139733.491
AT ITER 2265 NEW BEST:: SOT 397873 SOS 197464 HAS SOPS 197464 HAS SOUS 139509 HAS SOUPS 139509 WITH SCORE 139706.464
AT ITER 2271 NEW BEST:: SOT 397873 SOS 197446 HAS SOPS 197446 HAS SOUS 139491 HAS SOUPS 139491 WITH SCORE 139688.446
AT ITER 2275 NEW BEST:: SOT 397870 SOS 197440 HAS SOPS 197440 HAS SOUS 139485 HAS SOUPS 139485 WITH SCORE 139682.44
AT ITER 2285 NEW BEST:: SOT 397870 SOS 197440 HAS SOPS 197440 HAS SOUS 139447 HAS SOUPS 139447 WITH SCORE 139644.44
AT ITER 2297 NEW BEST:: SOT 397866 SOS 198777 HAS SOPS 198777 HAS SOUS 139439 HAS SOUPS 139439 WITH SCORE 139637.777
AT ITER 2311 NEW BEST:: SOT 397856 SOS 198757 HAS SOPS 198757 HAS SOUS 139419 HAS SOUPS 139419 WITH SCORE 139617.757
AT ITER 2316 NEW BEST:: SOT 397856 SOS 198669 HAS SOPS 198669 HAS SOUS 139385 HAS SOUPS 139385 WITH SCORE 139583.669
AT ITER 2329 NEW BEST:: SOT 397836 SOS 198789 HAS SOPS 198789 HAS SOUS 139365 HAS SOUPS 139365 WITH SCORE 139563.789
AT ITER 2359 NEW BEST:: SOT 397845 SOS 198804 HAS SOPS 198804 HAS SOUS 139347 HAS SOUPS 139347 WITH SCORE 139545.804
AT ITER 2362 NEW BEST:: SOT 397890 SOS 198894 HAS SOPS 198894 HAS SOUS 139322 HAS SOUPS 139322 WITH SCORE 139520.894
AT ITER 2363 NEW BEST:: SOT 397927 SOS 198931 HAS SOPS 198931 HAS SOUS 139307 HAS SOUPS 139307 WITH SCORE 139505.931
AT ITER 2393 NEW BEST:: SOT 397911 SOS 198915 HAS SOPS 198915 HAS SOUS 139291 HAS SOUPS 139291 WITH SCORE 139489.915
AT ITER 2413 NEW BEST:: SOT 397434 SOS 198612 HAS SOPS 198612 HAS SOUS 138988 HAS SOUPS 138988 WITH SCORE 139186.612
AT ITER 2425 NEW BEST:: SOT 397391 SOS 198569 HAS SOPS 198569 HAS SOUS 138949 HAS SOUPS 138949 WITH SCORE 139147.569
AT ITER 2444 NEW BEST:: SOT 397391 SOS 198194 HAS SOPS 198194 HAS SOUS 138923 HAS SOUPS 138923 WITH SCORE 139121.194
AT ITER 2449 NEW BEST:: SOT 397248 SOS 198051 HAS SOPS 198051 HAS SOUS 138780 HAS SOUPS 138780 WITH SCORE 138978.051
AT ITER 2463 NEW BEST:: SOT 397258 SOS 197868 HAS SOPS 197868 HAS SOUS 138597 HAS SOUPS 138597 WITH SCORE 138794.868
AT ITER 2464 NEW BEST:: SOT 397237 SOS 197847 HAS SOPS 197847 HAS SOUS 138576 HAS SOUPS 138576 WITH SCORE 138773.847
AT ITER 2474 NEW BEST:: SOT 397222 SOS 197877 HAS SOPS 197877 HAS SOUS 138524 HAS SOUPS 138524 WITH SCORE 138721.877
AT ITER 2479 NEW BEST:: SOT 395947 SOS 198577 HAS SOPS 198577 HAS SOUS 137607 HAS SOUPS 137607 WITH SCORE 137805.577
AT ITER 2500 NEW BEST:: SOT 395602 SOS 196050 HAS SOPS 196050 HAS SOUS 137354 HAS SOUPS 137354 WITH SCORE 137550.05
AT ITER 2506 NEW BEST:: SOT 395588 SOS 196023 HAS SOPS 196023 HAS SOUS 137326 HAS SOUPS 137326 WITH SCORE 137522.023
AT ITER 2526 NEW BEST:: SOT 395557 SOS 195948 HAS SOPS 195948 HAS SOUS 137282 HAS SOUPS 137282 WITH SCORE 137477.948
AT ITER 2575 NEW BEST:: SOT 394719 SOS 195326 HAS SOPS 195326 HAS SOUS 136660 HAS SOUPS 136660 WITH SCORE 136855.326
AT ITER 2584 NEW BEST:: SOT 394941 SOS 195548 HAS SOPS 195548 HAS SOUS 136646 HAS SOUPS 136646 WITH SCORE 136841.548
AT ITER 2585 NEW BEST:: SOT 394813 SOS 195420 HAS SOPS 195420 HAS SOUS 136518 HAS SOUPS 136518 WITH SCORE 136713.42
AT ITER 2591 NEW BEST:: SOT 394813 SOS 195420 HAS SOPS 195420 HAS SOUS 136481 HAS SOUPS 136481 WITH SCORE 136676.42
AT ITER 2618 NEW BEST:: SOT 394769 SOS 195376 HAS SOPS 195376 HAS SOUS 136437 HAS SOUPS 136437 WITH SCORE 136632.376
AT ITER 2621 NEW BEST:: SOT 394761 SOS 195359 HAS SOPS 195359 HAS SOUS 136421 HAS SOUPS 136421 WITH SCORE 136616.359
AT ITER 2622 NEW BEST:: SOT 394752 SOS 195317 HAS SOPS 195317 HAS SOUS 136379 HAS SOUPS 136379 WITH SCORE 136574.317
AT ITER 2628 NEW BEST:: SOT 394740 SOS 195305 HAS SOPS 195305 HAS SOUS 136324 HAS SOUPS 136324 WITH SCORE 136519.305
AT ITER 2629 NEW BEST:: SOT 394728 SOS 195389 HAS SOPS 195389 HAS SOUS 136300 HAS SOUPS 136300 WITH SCORE 136495.389
AT ITER 2630 NEW BEST:: SOT 394728 SOS 195389 HAS SOPS 195389 HAS SOUS 136257 HAS SOUPS 136257 WITH SCORE 136452.389
AT ITER 2641 NEW BEST:: SOT 394755 SOS 195360 HAS SOPS 195360 HAS SOUS 136201 HAS SOUPS 136201 WITH SCORE 136396.36
AT ITER 2701 NEW BEST:: SOT 394755 SOS 195341 HAS SOPS 195341 HAS SOUS 136182 HAS SOUPS 136182 WITH SCORE 136377.341
AT ITER 2711 NEW BEST:: SOT 394755 SOS 195322 HAS SOPS 195322 HAS SOUS 136182 HAS SOUPS 136182 WITH SCORE 136377.322
AT ITER 2717 NEW BEST:: SOT 394632 SOS 195199 HAS SOPS 195199 HAS SOUS 136059 HAS SOUPS 136059 WITH SCORE 136254.199
AT ITER 2718 NEW BEST:: SOT 394903 SOS 195470 HAS SOPS 195470 HAS SOUS 136006 HAS SOUPS 136006 WITH SCORE 136201.47
AT ITER 2720 NEW BEST:: SOT 394861 SOS 195386 HAS SOPS 195386 HAS SOUS 135964 HAS SOUPS 135964 WITH SCORE 136159.386
AT ITER 2726 NEW BEST:: SOT 394714 SOS 195248 HAS SOPS 195248 HAS SOUS 135913 HAS SOUPS 135913 WITH SCORE 136108.248
AT ITER 2739 NEW BEST:: SOT 394714 SOS 195127 HAS SOPS 195127 HAS SOUS 135891 HAS SOUPS 135891 WITH SCORE 136086.127
AT ITER 2744 NEW BEST:: SOT 394694 SOS 195107 HAS SOPS 195107 HAS SOUS 135891 HAS SOUPS 135891 WITH SCORE 136086.107
AT ITER 2750 NEW BEST:: SOT 394694 SOS 194612 HAS SOPS 194612 HAS SOUS 135891 HAS SOUPS 135891 WITH SCORE 136085.612
AT ITER 2753 NEW BEST:: SOT 394694 SOS 193990 HAS SOPS 193990 HAS SOUS 135881 HAS SOUPS 135881 WITH SCORE 136074.99
AT ITER 2759 NEW BEST:: SOT 394683 SOS 194090 HAS SOPS 194090 HAS SOUS 135870 HAS SOUPS 135870 WITH SCORE 136064.09
AT ITER 2784 NEW BEST:: SOT 394683 SOS 194083 HAS SOPS 194083 HAS SOUS 135870 HAS SOUPS 135870 WITH SCORE 136064.083
AT ITER 2786 NEW BEST:: SOT 394603 SOS 193935 HAS SOPS 193935 HAS SOUS 135722 HAS SOUPS 135722 WITH SCORE 135915.935
AT ITER 2804 NEW BEST:: SOT 394466 SOS 193798 HAS SOPS 193798 HAS SOUS 135585 HAS SOUPS 135585 WITH SCORE 135778.798
AT ITER 2814 NEW BEST:: SOT 394458 SOS 193730 HAS SOPS 193730 HAS SOUS 135517 HAS SOUPS 135517 WITH SCORE 135710.73
AT ITER 2840 NEW BEST:: SOT 394421 SOS 193725 HAS SOPS 193725 HAS SOUS 135480 HAS SOUPS 135480 WITH SCORE 135673.725
AT ITER 2856 NEW BEST:: SOT 394288 SOS 193399 HAS SOPS 193399 HAS SOUS 135234 HAS SOUPS 135234 WITH SCORE 135427.399
AT ITER 2927 NEW BEST:: SOT 394283 SOS 193373 HAS SOPS 193373 HAS SOUS 135203 HAS SOUPS 135203 WITH SCORE 135396.373
AT ITER 2929 NEW BEST:: SOT 394195 SOS 193285 HAS SOPS 193285 HAS SOUS 135115 HAS SOUPS 135115 WITH SCORE 135308.285
AT ITER 2945 NEW BEST:: SOT 394159 SOS 193249 HAS SOPS 193249 HAS SOUS 135092 HAS SOUPS 135092 WITH SCORE 135285.249
AT ITER 2946 NEW BEST:: SOT 394077 SOS 192942 HAS SOPS 192942 HAS SOUS 134953 HAS SOUPS 134953 WITH SCORE 135145.942
AT ITER 2952 NEW BEST:: SOT 394194 SOS 193059 HAS SOPS 193059 HAS SOUS 134894 HAS SOUPS 134894 WITH SCORE 135087.059
AT ITER 2954 NEW BEST:: SOT 394008 SOS 192952 HAS SOPS 192952 HAS SOUS 134778 HAS SOUPS 134778 WITH SCORE 134970.952
AT ITER 2959 NEW BEST:: SOT 394001 SOS 192952 HAS SOPS 192952 HAS SOUS 134764 HAS SOUPS 134764 WITH SCORE 134956.952
AT ITER 2963 NEW BEST:: SOT 393777 SOS 192765 HAS SOPS 192765 HAS SOUS 134728 HAS SOUPS 134728 WITH SCORE 134920.765
AT ITER 2967 NEW BEST:: SOT 393777 SOS 192765 HAS SOPS 192765 HAS SOUS 134725 HAS SOUPS 134725 WITH SCORE 134917.765
AT ITER 2971 NEW BEST:: SOT 393890 SOS 192861 HAS SOPS 192861 HAS SOUS 134708 HAS SOUPS 134708 WITH SCORE 134900.861
AT ITER 2976 NEW BEST:: SOT 393860 SOS 192831 HAS SOPS 192831 HAS SOUS 134625 HAS SOUPS 134625 WITH SCORE 134817.831
AT ITER 2977 NEW BEST:: SOT 393668 SOS 192569 HAS SOPS 192569 HAS SOUS 134450 HAS SOUPS 134450 WITH SCORE 134642.569
AT ITER 2994 NEW BEST:: SOT 393652 SOS 192537 HAS SOPS 192537 HAS SOUS 134402 HAS SOUPS 134402 WITH SCORE 134594.537
AT ITER 3000 NEW BEST:: SOT 393643 SOS 192528 HAS SOPS 192528 HAS SOUS 134384 HAS SOUPS 134384 WITH SCORE 134576.528
AT ITER 3003 NEW BEST:: SOT 393481 SOS 192501 HAS SOPS 192501 HAS SOUS 134357 HAS SOUPS 134357 WITH SCORE 134549.501
AT ITER 3025 NEW BEST:: SOT 393433 SOS 192453 HAS SOPS 192453 HAS SOUS 134357 HAS SOUPS 134357 WITH SCORE 134549.453
AT ITER 3033 NEW BEST:: SOT 393465 SOS 192556 HAS SOPS 192556 HAS SOUS 134318 HAS SOUPS 134318 WITH SCORE 134510.556
AT ITER 3035 NEW BEST:: SOT 393495 SOS 192586 HAS SOPS 192586 HAS SOUS 133974 HAS SOUPS 133974 WITH SCORE 134166.586
AT ITER 3053 NEW BEST:: SOT 393465 SOS 192514 HAS SOPS 192514 HAS SOUS 133914 HAS SOUPS 133914 WITH SCORE 134106.514
AT ITER 3062 NEW BEST:: SOT 393449 SOS 192491 HAS SOPS 192491 HAS SOUS 133891 HAS SOUPS 133891 WITH SCORE 134083.491
AT ITER 3071 NEW BEST:: SOT 393417 SOS 192491 HAS SOPS 192491 HAS SOUS 133827 HAS SOUPS 133827 WITH SCORE 134019.491
AT ITER 3078 NEW BEST:: SOT 393363 SOS 192437 HAS SOPS 192437 HAS SOUS 133773 HAS SOUPS 133773 WITH SCORE 133965.437
AT ITER 3079 NEW BEST:: SOT 393363 SOS 192441 HAS SOPS 192441 HAS SOUS 133738 HAS SOUPS 133738 WITH SCORE 133930.441
AT ITER 3097 NEW BEST:: SOT 393290 SOS 192368 HAS SOPS 192368 HAS SOUS 133723 HAS SOUPS 133723 WITH SCORE 133915.368
AT ITER 3100 NEW BEST:: SOT 393244 SOS 192322 HAS SOPS 192322 HAS SOUS 133666 HAS SOUPS 133666 WITH SCORE 133858.322
AT ITER 3118 NEW BEST:: SOT 393244 SOS 192106 HAS SOPS 192106 HAS SOUS 133666 HAS SOUPS 133666 WITH SCORE 133858.106
AT ITER 3138 NEW BEST:: SOT 393223 SOS 192085 HAS SOPS 192085 HAS SOUS 133645 HAS SOUPS 133645 WITH SCORE 133837.085
AT ITER 3153 NEW BEST:: SOT 393223 SOS 192074 HAS SOPS 192074 HAS SOUS 133645 HAS SOUPS 133645 WITH SCORE 133837.074
AT ITER 3164 NEW BEST:: SOT 393218 SOS 192309 HAS SOPS 192309 HAS SOUS 133635 HAS SOUPS 133635 WITH SCORE 133827.309
AT ITER 3170 NEW BEST:: SOT 393079 SOS 192170 HAS SOPS 192170 HAS SOUS 133631 HAS SOUPS 133631 WITH SCORE 133823.17
AT ITER 3179 NEW BEST:: SOT 393079 SOS 192151 HAS SOPS 192151 HAS SOUS 133631 HAS SOUPS 133631 WITH SCORE 133823.151
AT ITER 3192 NEW BEST:: SOT 393049 SOS 192121 HAS SOPS 192121 HAS SOUS 133614 HAS SOUPS 133614 WITH SCORE 133806.121
AT ITER 3225 NEW BEST:: SOT 393031 SOS 192103 HAS SOPS 192103 HAS SOUS 133596 HAS SOUPS 133596 WITH SCORE 133788.103
AT ITER 3234 NEW BEST:: SOT 393019 SOS 192045 HAS SOPS 192045 HAS SOUS 133550 HAS SOUPS 133550 WITH SCORE 133742.045
AT ITER 3236 NEW BEST:: SOT 392952 SOS 191967 HAS SOPS 191967 HAS SOUS 133522 HAS SOUPS 133522 WITH SCORE 133713.967
AT ITER 3249 NEW BEST:: SOT 392910 SOS 191925 HAS SOPS 191925 HAS SOUS 133498 HAS SOUPS 133498 WITH SCORE 133689.925
AT ITER 3254 NEW BEST:: SOT 392878 SOS 191852 HAS SOPS 191852 HAS SOUS 133425 HAS SOUPS 133425 WITH SCORE 133616.852
AT ITER 3262 NEW BEST:: SOT 392848 SOS 191822 HAS SOPS 191822 HAS SOUS 133395 HAS SOUPS 133395 WITH SCORE 133586.822
AT ITER 3284 NEW BEST:: SOT 392915 SOS 191875 HAS SOPS 191875 HAS SOUS 133385 HAS SOUPS 133385 WITH SCORE 133576.875
AT ITER 3295 NEW BEST:: SOT 392915 SOS 191871 HAS SOPS 191871 HAS SOUS 133381 HAS SOUPS 133381 WITH SCORE 133572.871
AT ITER 3325 NEW BEST:: SOT 392915 SOS 191727 HAS SOPS 191727 HAS SOUS 133381 HAS SOUPS 133381 WITH SCORE 133572.727
AT ITER 3335 NEW BEST:: SOT 392912 SOS 191792 HAS SOPS 191792 HAS SOUS 133375 HAS SOUPS 133375 WITH SCORE 133566.792
AT ITER 3338 NEW BEST:: SOT 392823 SOS 191703 HAS SOPS 191703 HAS SOUS 133259 HAS SOUPS 133259 WITH SCORE 133450.703
AT ITER 3339 NEW BEST:: SOT 392919 SOS 191762 HAS SOPS 191762 HAS SOUS 133252 HAS SOUPS 133252 WITH SCORE 133443.762
AT ITER 3362 NEW BEST:: SOT 392914 SOS 191745 HAS SOPS 191745 HAS SOUS 133226 HAS SOUPS 133226 WITH SCORE 133417.745
AT ITER 3372 NEW BEST:: SOT 392802 SOS 191672 HAS SOPS 191672 HAS SOUS 133138 HAS SOUPS 133138 WITH SCORE 133329.672
AT ITER 3393 NEW BEST:: SOT 392786 SOS 191656 HAS SOPS 191656 HAS SOUS 133104 HAS SOUPS 133104 WITH SCORE 133295.656
AT ITER 3394 NEW BEST:: SOT 392623 SOS 191493 HAS SOPS 191493 HAS SOUS 133021 HAS SOUPS 133021 WITH SCORE 133212.493
AT ITER 3407 NEW BEST:: SOT 392209 SOS 191936 HAS SOPS 191936 HAS SOUS 132692 HAS SOUPS 132692 WITH SCORE 132883.936
AT ITER 3424 NEW BEST:: SOT 392203 SOS 191930 HAS SOPS 191930 HAS SOUS 132686 HAS SOUPS 132686 WITH SCORE 132877.93
AT ITER 3437 NEW BEST:: SOT 392203 SOS 191178 HAS SOPS 191178 HAS SOUS 132686 HAS SOUPS 132686 WITH SCORE 132877.178
AT ITER 3450 NEW BEST:: SOT 392173 SOS 191148 HAS SOPS 191148 HAS SOUS 132656 HAS SOUPS 132656 WITH SCORE 132847.148
AT ITER 3452 NEW BEST:: SOT 392358 SOS 191333 HAS SOPS 191333 HAS SOUS 132585 HAS SOUPS 132585 WITH SCORE 132776.333
AT ITER 3459 NEW BEST:: SOT 392397 SOS 192007 HAS SOPS 192007 HAS SOUS 132571 HAS SOUPS 132571 WITH SCORE 132763.007
AT ITER 3474 NEW BEST:: SOT 392389 SOS 191999 HAS SOPS 191999 HAS SOUS 132563 HAS SOUPS 132563 WITH SCORE 132754.999
AT ITER 3482 NEW BEST:: SOT 392440 SOS 192101 HAS SOPS 192101 HAS SOUS 132541 HAS SOUPS 132541 WITH SCORE 132733.101
AT ITER 3493 NEW BEST:: SOT 392448 SOS 192130 HAS SOPS 192130 HAS SOUS 132536 HAS SOUPS 132536 WITH SCORE 132728.13
AT ITER 3496 NEW BEST:: SOT 392363 SOS 192045 HAS SOPS 192045 HAS SOUS 132395 HAS SOUPS 132395 WITH SCORE 132587.045
AT ITER 3504 NEW BEST:: SOT 392362 SOS 192953 HAS SOPS 192953 HAS SOUS 132394 HAS SOUPS 132394 WITH SCORE 132586.953
AT ITER 3527 NEW BEST:: SOT 392295 SOS 192886 HAS SOPS 192886 HAS SOUS 132255 HAS SOUPS 132255 WITH SCORE 132447.886
AT ITER 3536 NEW BEST:: SOT 392193 SOS 192711 HAS SOPS 192711 HAS SOUS 132080 HAS SOUPS 132080 WITH SCORE 132272.711
AT ITER 3540 NEW BEST:: SOT 392217 SOS 192735 HAS SOPS 192735 HAS SOUS 132071 HAS SOUPS 132071 WITH SCORE 132263.735
AT ITER 3553 NEW BEST:: SOT 392137 SOS 192655 HAS SOPS 192655 HAS SOUS 131949 HAS SOUPS 131949 WITH SCORE 132141.655
AT ITER 3584 NEW BEST:: SOT 392137 SOS 192652 HAS SOPS 192652 HAS SOUS 131949 HAS SOUPS 131949 WITH SCORE 132141.652
AT ITER 3595 NEW BEST:: SOT 392137 SOS 192580 HAS SOPS 192580 HAS SOUS 131949 HAS SOUPS 131949 WITH SCORE 132141.58
AT ITER 3660 NEW BEST:: SOT 392075 SOS 192518 HAS SOPS 192518 HAS SOUS 131825 HAS SOUPS 131825 WITH SCORE 132017.518
AT ITER 3664 NEW BEST:: SOT 392035 SOS 192518 HAS SOPS 192518 HAS SOUS 131785 HAS SOUPS 131785 WITH SCORE 131977.518
AT ITER 3672 NEW BEST:: SOT 392035 SOS 192518 HAS SOPS 192518 HAS SOUS 131711 HAS SOUPS 131711 WITH SCORE 131903.518
AT ITER 3674 NEW BEST:: SOT 392078 SOS 192561 HAS SOPS 192561 HAS SOUS 131687 HAS SOUPS 131687 WITH SCORE 131879.561
AT ITER 3687 NEW BEST:: SOT 392078 SOS 192555 HAS SOPS 192555 HAS SOUS 131687 HAS SOUPS 131687 WITH SCORE 131879.555
AT ITER 3690 NEW BEST:: SOT 392078 SOS 192555 HAS SOPS 192555 HAS SOUS 131674 HAS SOUPS 131674 WITH SCORE 131866.555
AT ITER 3692 NEW BEST:: SOT 392078 SOS 192541 HAS SOPS 192541 HAS SOUS 131651 HAS SOUPS 131651 WITH SCORE 131843.541
AT ITER 3699 NEW BEST:: SOT 392130 SOS 192588 HAS SOPS 192588 HAS SOUS 131427 HAS SOUPS 131427 WITH SCORE 131619.588
AT ITER 3711 NEW BEST:: SOT 392119 SOS 192600 HAS SOPS 192600 HAS SOUS 131405 HAS SOUPS 131405 WITH SCORE 131597.6
AT ITER 3747 NEW BEST:: SOT 392065 SOS 193617 HAS SOPS 193617 HAS SOUS 131297 HAS SOUPS 131297 WITH SCORE 131490.617
AT ITER 3753 NEW BEST:: SOT 392069 SOS 193603 HAS SOPS 193603 HAS SOUS 131287 HAS SOUPS 131287 WITH SCORE 131480.603
AT ITER 3774 NEW BEST:: SOT 392092 SOS 193626 HAS SOPS 193626 HAS SOUS 131267 HAS SOUPS 131267 WITH SCORE 131460.626
AT ITER 3779 NEW BEST:: SOT 392127 SOS 193147 HAS SOPS 193147 HAS SOUS 131264 HAS SOUPS 131264 WITH SCORE 131457.147
AT ITER 3781 NEW BEST:: SOT 392103 SOS 193123 HAS SOPS 193123 HAS SOUS 131240 HAS SOUPS 131240 WITH SCORE 131433.123
AT ITER 3802 NEW BEST:: SOT 392101 SOS 193119 HAS SOPS 193119 HAS SOUS 131236 HAS SOUPS 131236 WITH SCORE 131429.119
AT ITER 3805 NEW BEST:: SOT 392084 SOS 193119 HAS SOPS 193119 HAS SOUS 131202 HAS SOUPS 131202 WITH SCORE 131395.119
AT ITER 3819 NEW BEST:: SOT 392064 SOS 193099 HAS SOPS 193099 HAS SOUS 131139 HAS SOUPS 131139 WITH SCORE 131332.099
AT ITER 3822 NEW BEST:: SOT 392060 SOS 193091 HAS SOPS 193091 HAS SOUS 131135 HAS SOUPS 131135 WITH SCORE 131328.091
AT ITER 3851 NEW BEST:: SOT 392039 SOS 193070 HAS SOPS 193070 HAS SOUS 131135 HAS SOUPS 131135 WITH SCORE 131328.07
AT ITER 3868 NEW BEST:: SOT 391860 SOS 193811 HAS SOPS 193811 HAS SOUS 130957 HAS SOUPS 130957 WITH SCORE 131150.811
AT ITER 3869 NEW BEST:: SOT 391784 SOS 193735 HAS SOPS 193735 HAS SOUS 130957 HAS SOUPS 130957 WITH SCORE 131150.735
AT ITER 3877 NEW BEST:: SOT 391784 SOS 193735 HAS SOPS 193735 HAS SOUS 130923 HAS SOUPS 130923 WITH SCORE 131116.735
AT ITER 3882 NEW BEST:: SOT 391784 SOS 193609 HAS SOPS 193609 HAS SOUS 130905 HAS SOUPS 130905 WITH SCORE 131098.609
AT ITER 3883 NEW BEST:: SOT 391775 SOS 193600 HAS SOPS 193600 HAS SOUS 130887 HAS SOUPS 130887 WITH SCORE 131080.6
AT ITER 3915 NEW BEST:: SOT 391727 SOS 193552 HAS SOPS 193552 HAS SOUS 130887 HAS SOUPS 130887 WITH SCORE 131080.552
AT ITER 3924 NEW BEST:: SOT 391705 SOS 193530 HAS SOPS 193530 HAS SOUS 130837 HAS SOUPS 130837 WITH SCORE 131030.53
AT ITER 3926 NEW BEST:: SOT 391695 SOS 193520 HAS SOPS 193520 HAS SOUS 130827 HAS SOUPS 130827 WITH SCORE 131020.52
AT ITER 3932 NEW BEST:: SOT 391627 SOS 193512 HAS SOPS 193512 HAS SOUS 130759 HAS SOUPS 130759 WITH SCORE 130952.512
AT ITER 3958 NEW BEST:: SOT 391627 SOS 193458 HAS SOPS 193458 HAS SOUS 130759 HAS SOUPS 130759 WITH SCORE 130952.458
AT ITER 3978 NEW BEST:: SOT 391402 SOS 195263 HAS SOPS 195263 HAS SOUS 130618 HAS SOUPS 130618 WITH SCORE 130813.263
AT ITER 3981 NEW BEST:: SOT 391547 SOS 195393 HAS SOPS 195393 HAS SOUS 130559 HAS SOUPS 130559 WITH SCORE 130754.393
AT ITER 3985 NEW BEST:: SOT 391515 SOS 195329 HAS SOPS 195329 HAS SOUS 130495 HAS SOUPS 130495 WITH SCORE 130690.329
AT ITER 3999 NEW BEST:: SOT 391507 SOS 195321 HAS SOPS 195321 HAS SOUS 130487 HAS SOUPS 130487 WITH SCORE 130682.321
AT ITER 4009 NEW BEST:: SOT 391472 SOS 195286 HAS SOPS 195286 HAS SOUS 130471 HAS SOUPS 130471 WITH SCORE 130666.286
AT ITER 4011 NEW BEST:: SOT 391256 SOS 195070 HAS SOPS 195070 HAS SOUS 130255 HAS SOUPS 130255 WITH SCORE 130450.07
AT ITER 4014 NEW BEST:: SOT 391164 SOS 194978 HAS SOPS 194978 HAS SOUS 130163 HAS SOUPS 130163 WITH SCORE 130357.978
AT ITER 4023 NEW BEST:: SOT 390837 SOS 194857 HAS SOPS 194857 HAS SOUS 130042 HAS SOUPS 130042 WITH SCORE 130236.857
AT ITER 4024 NEW BEST:: SOT 390721 SOS 194791 HAS SOPS 194791 HAS SOUS 129926 HAS SOUPS 129926 WITH SCORE 130120.791
AT ITER 4026 NEW BEST:: SOT 390710 SOS 194764 HAS SOPS 194764 HAS SOUS 129904 HAS SOUPS 129904 WITH SCORE 130098.764
AT ITER 4033 NEW BEST:: SOT 390697 SOS 194687 HAS SOPS 194687 HAS SOUS 129827 HAS SOUPS 129827 WITH SCORE 130021.687
AT ITER 4048 NEW BEST:: SOT 390686 SOS 194665 HAS SOPS 194665 HAS SOUS 129805 HAS SOUPS 129805 WITH SCORE 129999.665
AT ITER 4054 NEW BEST:: SOT 390761 SOS 194740 HAS SOPS 194740 HAS SOUS 129523 HAS SOUPS 129523 WITH SCORE 129717.74
AT ITER 4062 NEW BEST:: SOT 390719 SOS 194825 HAS SOPS 194825 HAS SOUS 129497 HAS SOUPS 129497 WITH SCORE 129691.825
AT ITER 4071 NEW BEST:: SOT 390721 SOS 194815 HAS SOPS 194815 HAS SOUS 129489 HAS SOUPS 129489 WITH SCORE 129683.815
AT ITER 4082 NEW BEST:: SOT 390686 SOS 195092 HAS SOPS 195092 HAS SOUS 129465 HAS SOUPS 129465 WITH SCORE 129660.092
AT ITER 4084 NEW BEST:: SOT 390686 SOS 194957 HAS SOPS 194957 HAS SOUS 129440 HAS SOUPS 129440 WITH SCORE 129634.957
AT ITER 4090 NEW BEST:: SOT 390658 SOS 194934 HAS SOPS 194934 HAS SOUS 129417 HAS SOUPS 129417 WITH SCORE 129611.934
AT ITER 4092 NEW BEST:: SOT 390655 SOS 194925 HAS SOPS 194925 HAS SOUS 129411 HAS SOUPS 129411 WITH SCORE 129605.925
AT ITER 4103 NEW BEST:: SOT 390660 SOS 194935 HAS SOPS 194935 HAS SOUS 129274 HAS SOUPS 129274 WITH SCORE 129468.935
AT ITER 4104 NEW BEST:: SOT 390642 SOS 194917 HAS SOPS 194917 HAS SOUS 129238 HAS SOUPS 129238 WITH SCORE 129432.917
AT ITER 4110 NEW BEST:: SOT 390763 SOS 195038 HAS SOPS 195038 HAS SOUS 129234 HAS SOUPS 129234 WITH SCORE 129429.038
AT ITER 4115 NEW BEST:: SOT 390731 SOS 194974 HAS SOPS 194974 HAS SOUS 129202 HAS SOUPS 129202 WITH SCORE 129396.974
AT ITER 4121 NEW BEST:: SOT 390609 SOS 194852 HAS SOPS 194852 HAS SOUS 129080 HAS SOUPS 129080 WITH SCORE 129274.852
AT ITER 4166 NEW BEST:: SOT 390605 SOS 194848 HAS SOPS 194848 HAS SOUS 129072 HAS SOUPS 129072 WITH SCORE 129266.848
AT ITER 4191 NEW BEST:: SOT 390587 SOS 194830 HAS SOPS 194830 HAS SOUS 129012 HAS SOUPS 129012 WITH SCORE 129206.83
AT ITER 4229 NEW BEST:: SOT 390587 SOS 194830 HAS SOPS 194830 HAS SOUS 128998 HAS SOUPS 128998 WITH SCORE 129192.83
AT ITER 4231 NEW BEST:: SOT 390560 SOS 194840 HAS SOPS 194840 HAS SOUS 128981 HAS SOUPS 128981 WITH SCORE 129175.84
AT ITER 4262 NEW BEST:: SOT 390560 SOS 194840 HAS SOPS 194840 HAS SOUS 128974 HAS SOUPS 128974 WITH SCORE 129168.84
AT ITER 4296 NEW BEST:: SOT 390560 SOS 194795 HAS SOPS 194795 HAS SOUS 128929 HAS SOUPS 128929 WITH SCORE 129123.795
AT ITER 4304 NEW BEST:: SOT 390540 SOS 194802 HAS SOPS 194802 HAS SOUS 128889 HAS SOUPS 128889 WITH SCORE 129083.802
AT ITER 4335 NEW BEST:: SOT 390700 SOS 194962 HAS SOPS 194962 HAS SOUS 128818 HAS SOUPS 128818 WITH SCORE 129012.962
AT ITER 4350 NEW BEST:: SOT 390665 SOS 194833 HAS SOPS 194833 HAS SOUS 128808 HAS SOUPS 128808 WITH SCORE 129002.833
AT ITER 4351 NEW BEST:: SOT 390655 SOS 194823 HAS SOPS 194823 HAS SOUS 128788 HAS SOUPS 128788 WITH SCORE 128982.823
AT ITER 4353 NEW BEST:: SOT 390638 SOS 194789 HAS SOPS 194789 HAS SOUS 128754 HAS SOUPS 128754 WITH SCORE 128948.789
AT ITER 4377 NEW BEST:: SOT 390638 SOS 194789 HAS SOPS 194789 HAS SOUS 128749 HAS SOUPS 128749 WITH SCORE 128943.789
AT ITER 4378 NEW BEST:: SOT 390608 SOS 194759 HAS SOPS 194759 HAS SOUS 128749 HAS SOUPS 128749 WITH SCORE 128943.759
AT ITER 4390 NEW BEST:: SOT 390608 SOS 194808 HAS SOPS 194808 HAS SOUS 128723 HAS SOUPS 128723 WITH SCORE 128917.808
AT ITER 4393 NEW BEST:: SOT 390657 SOS 194838 HAS SOPS 194838 HAS SOUS 128638 HAS SOUPS 128638 WITH SCORE 128832.838
AT ITER 4408 NEW BEST:: SOT 390637 SOS 194818 HAS SOPS 194818 HAS SOUS 128618 HAS SOUPS 128618 WITH SCORE 128812.818
AT ITER 4409 NEW BEST:: SOT 390603 SOS 194784 HAS SOPS 194784 HAS SOUS 128528 HAS SOUPS 128528 WITH SCORE 128722.784
AT ITER 4423 NEW BEST:: SOT 390496 SOS 194677 HAS SOPS 194677 HAS SOUS 128528 HAS SOUPS 128528 WITH SCORE 128722.677
AT ITER 4444 NEW BEST:: SOT 390496 SOS 194658 HAS SOPS 194658 HAS SOUS 128509 HAS SOUPS 128509 WITH SCORE 128703.658
AT ITER 4446 NEW BEST:: SOT 390514 SOS 194668 HAS SOPS 194668 HAS SOUS 128501 HAS SOUPS 128501 WITH SCORE 128695.668
AT ITER 4481 NEW BEST:: SOT 390498 SOS 194652 HAS SOPS 194652 HAS SOUS 128399 HAS SOUPS 128399 WITH SCORE 128593.652
AT ITER 4489 NEW BEST:: SOT 390498 SOS 194611 HAS SOPS 194611 HAS SOUS 128399 HAS SOUPS 128399 WITH SCORE 128593.611
AT ITER 4494 NEW BEST:: SOT 390498 SOS 194591 HAS SOPS 194591 HAS SOUS 128399 HAS SOUPS 128399 WITH SCORE 128593.591
AT ITER 4505 NEW BEST:: SOT 390478 SOS 194571 HAS SOPS 194571 HAS SOUS 128359 HAS SOUPS 128359 WITH SCORE 128553.571
AT ITER 4510 NEW BEST:: SOT 390414 SOS 194507 HAS SOPS 194507 HAS SOUS 128263 HAS SOUPS 128263 WITH SCORE 128457.507
AT ITER 4520 NEW BEST:: SOT 390400 SOS 194493 HAS SOPS 194493 HAS SOUS 128227 HAS SOUPS 128227 WITH SCORE 128421.493
AT ITER 4531 NEW BEST:: SOT 390400 SOS 194482 HAS SOPS 194482 HAS SOUS 128227 HAS SOUPS 128227 WITH SCORE 128421.482
AT ITER 4539 NEW BEST:: SOT 390150 SOS 194232 HAS SOPS 194232 HAS SOUS 127977 HAS SOUPS 127977 WITH SCORE 128171.232
AT ITER 4541 NEW BEST:: SOT 390116 SOS 194198 HAS SOPS 194198 HAS SOUS 127915 HAS SOUPS 127915 WITH SCORE 128109.198
AT ITER 4562 NEW BEST:: SOT 390100 SOS 194182 HAS SOPS 194182 HAS SOUS 127912 HAS SOUPS 127912 WITH SCORE 128106.182
AT ITER 4573 NEW BEST:: SOT 390083 SOS 194012 HAS SOPS 194012 HAS SOUS 127895 HAS SOUPS 127895 WITH SCORE 128089.012
AT ITER 4627 NEW BEST:: SOT 390054 SOS 193983 HAS SOPS 193983 HAS SOUS 127837 HAS SOUPS 127837 WITH SCORE 128030.983
AT ITER 4629 NEW BEST:: SOT 390079 SOS 194628 HAS SOPS 194628 HAS SOUS 127831 HAS SOUPS 127831 WITH SCORE 128025.628
AT ITER 4641 NEW BEST:: SOT 390079 SOS 194609 HAS SOPS 194609 HAS SOUS 127812 HAS SOUPS 127812 WITH SCORE 128006.609
AT ITER 4660 NEW BEST:: SOT 390075 SOS 194596 HAS SOPS 194596 HAS SOUS 127795 HAS SOUPS 127795 WITH SCORE 127989.596
AT ITER 4684 NEW BEST:: SOT 389998 SOS 194519 HAS SOPS 194519 HAS SOUS 127718 HAS SOUPS 127718 WITH SCORE 127912.519
AT ITER 4690 NEW BEST:: SOT 389994 SOS 194515 HAS SOPS 194515 HAS SOUS 127701 HAS SOUPS 127701 WITH SCORE 127895.515
AT ITER 4698 NEW BEST:: SOT 389994 SOS 194035 HAS SOPS 194035 HAS SOUS 127644 HAS SOUPS 127644 WITH SCORE 127838.035
AT ITER 4708 NEW BEST:: SOT 389986 SOS 193947 HAS SOPS 193947 HAS SOUS 127628 HAS SOUPS 127628 WITH SCORE 127821.947
AT ITER 4712 NEW BEST:: SOT 389875 SOS 193836 HAS SOPS 193836 HAS SOUS 127406 HAS SOUPS 127406 WITH SCORE 127599.836
AT ITER 4713 NEW BEST:: SOT 389849 SOS 193883 HAS SOPS 193883 HAS SOUS 127373 HAS SOUPS 127373 WITH SCORE 127566.883
AT ITER 4723 NEW BEST:: SOT 389832 SOS 193866 HAS SOPS 193866 HAS SOUS 127364 HAS SOUPS 127364 WITH SCORE 127557.866
AT ITER 4743 NEW BEST:: SOT 389832 SOS 193776 HAS SOPS 193776 HAS SOUS 127364 HAS SOUPS 127364 WITH SCORE 127557.776
AT ITER 4744 NEW BEST:: SOT 389742 SOS 194010 HAS SOPS 194010 HAS SOUS 127252 HAS SOUPS 127252 WITH SCORE 127446.01
AT ITER 4761 NEW BEST:: SOT 389795 SOS 193945 HAS SOPS 193945 HAS SOUS 127127 HAS SOUPS 127127 WITH SCORE 127320.945
AT ITER 4781 NEW BEST:: SOT 389863 SOS 194081 HAS SOPS 194081 HAS SOUS 127123 HAS SOUPS 127123 WITH SCORE 127317.081
AT ITER 4786 NEW BEST:: SOT 389863 SOS 194075 HAS SOPS 194075 HAS SOUS 127123 HAS SOUPS 127123 WITH SCORE 127317.075
AT ITER 4794 NEW BEST:: SOT 389827 SOS 194039 HAS SOPS 194039 HAS SOUS 127087 HAS SOUPS 127087 WITH SCORE 127281.039
AT ITER 4814 NEW BEST:: SOT 389819 SOS 194031 HAS SOPS 194031 HAS SOUS 127071 HAS SOUPS 127071 WITH SCORE 127265.031
AT ITER 4820 NEW BEST:: SOT 389831 SOS 193598 HAS SOPS 193598 HAS SOUS 127056 HAS SOUPS 127056 WITH SCORE 127249.598
AT ITER 4821 NEW BEST:: SOT 389831 SOS 193662 HAS SOPS 193662 HAS SOUS 126992 HAS SOUPS 126992 WITH SCORE 127185.662
AT ITER 4833 NEW BEST:: SOT 389763 SOS 193594 HAS SOPS 193594 HAS SOUS 126856 HAS SOUPS 126856 WITH SCORE 127049.594
AT ITER 4834 NEW BEST:: SOT 389738 SOS 193610 HAS SOPS 193610 HAS SOUS 126849 HAS SOUPS 126849 WITH SCORE 127042.61
AT ITER 4873 NEW BEST:: SOT 389754 SOS 193626 HAS SOPS 193626 HAS SOUS 126829 HAS SOUPS 126829 WITH SCORE 127022.626
AT ITER 4886 NEW BEST:: SOT 389736 SOS 193626 HAS SOPS 193626 HAS SOUS 126793 HAS SOUPS 126793 WITH SCORE 126986.626
AT ITER 4888 NEW BEST:: SOT 389729 SOS 193619 HAS SOPS 193619 HAS SOUS 126786 HAS SOUPS 126786 WITH SCORE 126979.619
AT ITER 4889 NEW BEST:: SOT 389620 SOS 195068 HAS SOPS 195068 HAS SOUS 126777 HAS SOUPS 126777 WITH SCORE 126972.068
AT ITER 4896 NEW BEST:: SOT 389620 SOS 195051 HAS SOPS 195051 HAS SOUS 126760 HAS SOUPS 126760 WITH SCORE 126955.051
AT ITER 4900 NEW BEST:: SOT 389620 SOS 195051 HAS SOPS 195051 HAS SOUS 126746 HAS SOUPS 126746 WITH SCORE 126941.051
AT ITER 4902 NEW BEST:: SOT 389611 SOS 195019 HAS SOPS 195019 HAS SOUS 126689 HAS SOUPS 126689 WITH SCORE 126884.019
AT ITER 4917 NEW BEST:: SOT 389636 SOS 195044 HAS SOPS 195044 HAS SOUS 126587 HAS SOUPS 126587 WITH SCORE 126782.044
AT ITER 4951 NEW BEST:: SOT 389629 SOS 195037 HAS SOPS 195037 HAS SOUS 126573 HAS SOUPS 126573 WITH SCORE 126768.037
AT ITER 4967 NEW BEST:: SOT 389634 SOS 195224 HAS SOPS 195224 HAS SOUS 126296 HAS SOUPS 126296 WITH SCORE 126491.224
AT ITER 4976 NEW BEST:: SOT 389634 SOS 195201 HAS SOPS 195201 HAS SOUS 126296 HAS SOUPS 126296 WITH SCORE 126491.201
AT ITER 4986 NEW BEST:: SOT 389630 SOS 195197 HAS SOPS 195197 HAS SOUS 126292 HAS SOUPS 126292 WITH SCORE 126487.197
AT ITER 4987 NEW BEST:: SOT 389621 SOS 195188 HAS SOPS 195188 HAS SOUS 126274 HAS SOUPS 126274 WITH SCORE 126469.188
AT ITER 4990 NEW BEST:: SOT 389607 SOS 195174 HAS SOPS 195174 HAS SOUS 126260 HAS SOUPS 126260 WITH SCORE 126455.174
AT ITER 4992 NEW BEST:: SOT 389524 SOS 195841 HAS SOPS 195841 HAS SOUS 126181 HAS SOUPS 126181 WITH SCORE 126376.841
AT ITER 5005 NEW BEST:: SOT 389663 SOS 195967 HAS SOPS 195967 HAS SOUS 126127 HAS SOUPS 126127 WITH SCORE 126322.967
AT ITER 5014 NEW BEST:: SOT 389580 SOS 195884 HAS SOPS 195884 HAS SOUS 125976 HAS SOUPS 125976 WITH SCORE 126171.884
AT ITER 5016 NEW BEST:: SOT 389543 SOS 195815 HAS SOPS 195815 HAS SOUS 125898 HAS SOUPS 125898 WITH SCORE 126093.815
AT ITER 5028 NEW BEST:: SOT 389539 SOS 195811 HAS SOPS 195811 HAS SOUS 125890 HAS SOUPS 125890 WITH SCORE 126085.811
AT ITER 5030 NEW BEST:: SOT 389500 SOS 195772 HAS SOPS 195772 HAS SOUS 125807 HAS SOUPS 125807 WITH SCORE 126002.772
AT ITER 5034 NEW BEST:: SOT 389500 SOS 195772 HAS SOPS 195772 HAS SOUS 125805 HAS SOUPS 125805 WITH SCORE 126000.772
AT ITER 5045 NEW BEST:: SOT 389633 SOS 195905 HAS SOPS 195905 HAS SOUS 125765 HAS SOUPS 125765 WITH SCORE 125960.905
AT ITER 5050 NEW BEST:: SOT 389623 SOS 195831 HAS SOPS 195831 HAS SOUS 125745 HAS SOUPS 125745 WITH SCORE 125940.831
AT ITER 5060 NEW BEST:: SOT 389510 SOS 195718 HAS SOPS 195718 HAS SOUS 125519 HAS SOUPS 125519 WITH SCORE 125714.718
AT ITER 5061 NEW BEST:: SOT 389509 SOS 195717 HAS SOPS 195717 HAS SOUS 125518 HAS SOUPS 125518 WITH SCORE 125713.717
AT ITER 5086 NEW BEST:: SOT 389596 SOS 195804 HAS SOPS 195804 HAS SOUS 125477 HAS SOUPS 125477 WITH SCORE 125672.804
AT ITER 5099 NEW BEST:: SOT 389596 SOS 195759 HAS SOPS 195759 HAS SOUS 125476 HAS SOUPS 125476 WITH SCORE 125671.759
AT ITER 5101 NEW BEST:: SOT 389528 SOS 195691 HAS SOPS 195691 HAS SOUS 125472 HAS SOUPS 125472 WITH SCORE 125667.691
AT ITER 5123 NEW BEST:: SOT 389528 SOS 195625 HAS SOPS 195625 HAS SOUS 125472 HAS SOUPS 125472 WITH SCORE 125667.625
AT ITER 5137 NEW BEST:: SOT 389658 SOS 195755 HAS SOPS 195755 HAS SOUS 125402 HAS SOUPS 125402 WITH SCORE 125597.755
AT ITER 5147 NEW BEST:: SOT 389614 SOS 195711 HAS SOPS 195711 HAS SOUS 125358 HAS SOUPS 125358 WITH SCORE 125553.711
AT ITER 5179 NEW BEST:: SOT 389460 SOS 195398 HAS SOPS 195398 HAS SOUS 125349 HAS SOUPS 125349 WITH SCORE 125544.398
AT ITER 5181 NEW BEST:: SOT 389496 SOS 195434 HAS SOPS 195434 HAS SOUS 125237 HAS SOUPS 125237 WITH SCORE 125432.434
AT ITER 5192 NEW BEST:: SOT 389460 SOS 195425 HAS SOPS 195425 HAS SOUS 125228 HAS SOUPS 125228 WITH SCORE 125423.425
AT ITER 5203 NEW BEST:: SOT 389436 SOS 195401 HAS SOPS 195401 HAS SOUS 125204 HAS SOUPS 125204 WITH SCORE 125399.401
AT ITER 5205 NEW BEST:: SOT 389403 SOS 195279 HAS SOPS 195279 HAS SOUS 125138 HAS SOUPS 125138 WITH SCORE 125333.279
AT ITER 5212 NEW BEST:: SOT 389395 SOS 195271 HAS SOPS 195271 HAS SOUS 125130 HAS SOUPS 125130 WITH SCORE 125325.271
AT ITER 5223 NEW BEST:: SOT 389374 SOS 195198 HAS SOPS 195198 HAS SOUS 125088 HAS SOUPS 125088 WITH SCORE 125283.198
AT ITER 5230 NEW BEST:: SOT 389386 SOS 195210 HAS SOPS 195210 HAS SOUS 125086 HAS SOUPS 125086 WITH SCORE 125281.21
AT ITER 5247 NEW BEST:: SOT 389378 SOS 195203 HAS SOPS 195203 HAS SOUS 125070 HAS SOUPS 125070 WITH SCORE 125265.203
AT ITER 5285 NEW BEST:: SOT 389378 SOS 195170 HAS SOPS 195170 HAS SOUS 125064 HAS SOUPS 125064 WITH SCORE 125259.17
AT ITER 5287 NEW BEST:: SOT 389378 SOS 195467 HAS SOPS 195467 HAS SOUS 125046 HAS SOUPS 125046 WITH SCORE 125241.467
AT ITER 5288 NEW BEST:: SOT 389332 SOS 195473 HAS SOPS 195473 HAS SOUS 124948 HAS SOUPS 124948 WITH SCORE 125143.473
AT ITER 5302 NEW BEST:: SOT 389397 SOS 195538 HAS SOPS 195538 HAS SOUS 124918 HAS SOUPS 124918 WITH SCORE 125113.538
AT ITER 5330 NEW BEST:: SOT 389392 SOS 194934 HAS SOPS 194934 HAS SOUS 124898 HAS SOUPS 124898 WITH SCORE 125092.934
AT ITER 5332 NEW BEST:: SOT 389318 SOS 194860 HAS SOPS 194860 HAS SOUS 124898 HAS SOUPS 124898 WITH SCORE 125092.86
AT ITER 5344 NEW BEST:: SOT 389311 SOS 194853 HAS SOPS 194853 HAS SOUS 124877 HAS SOUPS 124877 WITH SCORE 125071.853
AT ITER 5356 NEW BEST:: SOT 389286 SOS 194833 HAS SOPS 194833 HAS SOUS 124857 HAS SOUPS 124857 WITH SCORE 125051.833
AT ITER 5359 NEW BEST:: SOT 389339 SOS 194886 HAS SOPS 194886 HAS SOUS 124840 HAS SOUPS 124840 WITH SCORE 125034.886
AT ITER 5390 NEW BEST:: SOT 389339 SOS 194879 HAS SOPS 194879 HAS SOUS 124833 HAS SOUPS 124833 WITH SCORE 125027.879
AT ITER 5400 NEW BEST:: SOT 389336 SOS 194876 HAS SOPS 194876 HAS SOUS 124827 HAS SOUPS 124827 WITH SCORE 125021.876
AT ITER 5403 NEW BEST:: SOT 389298 SOS 194758 HAS SOPS 194758 HAS SOUS 124779 HAS SOUPS 124779 WITH SCORE 124973.758
AT ITER 5430 NEW BEST:: SOT 389278 SOS 194738 HAS SOPS 194738 HAS SOUS 124739 HAS SOUPS 124739 WITH SCORE 124933.738
AT ITER 5434 NEW BEST:: SOT 389278 SOS 194738 HAS SOPS 194738 HAS SOUS 124685 HAS SOUPS 124685 WITH SCORE 124879.738
AT ITER 5436 NEW BEST:: SOT 389260 SOS 194702 HAS SOPS 194702 HAS SOUS 124668 HAS SOUPS 124668 WITH SCORE 124862.702
AT ITER 5445 NEW BEST:: SOT 389247 SOS 194689 HAS SOPS 194689 HAS SOUS 124642 HAS SOUPS 124642 WITH SCORE 124836.689
AT ITER 5478 NEW BEST:: SOT 389249 SOS 194691 HAS SOPS 194691 HAS SOUS 124629 HAS SOUPS 124629 WITH SCORE 124823.691
AT ITER 5484 NEW BEST:: SOT 389228 SOS 194670 HAS SOPS 194670 HAS SOUS 124608 HAS SOUPS 124608 WITH SCORE 124802.67
AT ITER 5515 NEW BEST:: SOT 389253 SOS 194695 HAS SOPS 194695 HAS SOUS 124602 HAS SOUPS 124602 WITH SCORE 124796.695
AT ITER 5516 NEW BEST:: SOT 389233 SOS 194651 HAS SOPS 194651 HAS SOUS 124394 HAS SOUPS 124394 WITH SCORE 124588.651
AT ITER 5535 NEW BEST:: SOT 389230 SOS 194648 HAS SOPS 194648 HAS SOUS 124388 HAS SOUPS 124388 WITH SCORE 124582.648
AT ITER 5538 NEW BEST:: SOT 389191 SOS 194665 HAS SOPS 194665 HAS SOUS 124310 HAS SOUPS 124310 WITH SCORE 124504.665
AT ITER 5568 NEW BEST:: SOT 389180 SOS 194654 HAS SOPS 194654 HAS SOUS 124288 HAS SOUPS 124288 WITH SCORE 124482.654
AT ITER 5576 NEW BEST:: SOT 389171 SOS 194645 HAS SOPS 194645 HAS SOUS 124288 HAS SOUPS 124288 WITH SCORE 124482.645
AT ITER 5589 NEW BEST:: SOT 389114 SOS 195025 HAS SOPS 195025 HAS SOUS 124237 HAS SOUPS 124237 WITH SCORE 124432.025
AT ITER 5590 NEW BEST:: SOT 389107 SOS 195018 HAS SOPS 195018 HAS SOUS 124223 HAS SOUPS 124223 WITH SCORE 124418.018
AT ITER 5608 NEW BEST:: SOT 389107 SOS 195018 HAS SOPS 195018 HAS SOUS 124191 HAS SOUPS 124191 WITH SCORE 124386.018
AT ITER 5622 NEW BEST:: SOT 389100 SOS 194970 HAS SOPS 194970 HAS SOUS 124177 HAS SOUPS 124177 WITH SCORE 124371.97
AT ITER 5637 NEW BEST:: SOT 389092 SOS 194924 HAS SOPS 194924 HAS SOUS 124162 HAS SOUPS 124162 WITH SCORE 124356.924
AT ITER 5658 NEW BEST:: SOT 388993 SOS 194713 HAS SOPS 194713 HAS SOUS 123986 HAS SOUPS 123986 WITH SCORE 124180.713
AT ITER 5712 NEW BEST:: SOT 388992 SOS 194712 HAS SOPS 194712 HAS SOUS 123984 HAS SOUPS 123984 WITH SCORE 124178.712
AT ITER 5717 NEW BEST:: SOT 388992 SOS 194675 HAS SOPS 194675 HAS SOUS 123984 HAS SOUPS 123984 WITH SCORE 124178.675
AT ITER 5785 NEW BEST:: SOT 388918 SOS 194610 HAS SOPS 194610 HAS SOUS 123984 HAS SOUPS 123984 WITH SCORE 124178.61
AT ITER 5786 NEW BEST:: SOT 388896 SOS 194588 HAS SOPS 194588 HAS SOUS 123929 HAS SOUPS 123929 WITH SCORE 124123.588
AT ITER 5797 NEW BEST:: SOT 388888 SOS 194580 HAS SOPS 194580 HAS SOUS 123929 HAS SOUPS 123929 WITH SCORE 124123.58
AT ITER 5842 NEW BEST:: SOT 388888 SOS 194580 HAS SOPS 194580 HAS SOUS 123910 HAS SOUPS 123910 WITH SCORE 124104.58
AT ITER 5844 NEW BEST:: SOT 388888 SOS 194563 HAS SOPS 194563 HAS SOUS 123893 HAS SOUPS 123893 WITH SCORE 124087.563
AT ITER 5850 NEW BEST:: SOT 388912 SOS 194475 HAS SOPS 194475 HAS SOUS 123848 HAS SOUPS 123848 WITH SCORE 124042.475
AT ITER 5912 NEW BEST:: SOT 388922 SOS 193471 HAS SOPS 193471 HAS SOUS 123828 HAS SOUPS 123828 WITH SCORE 124021.471
AT ITER 5961 NEW BEST:: SOT 388907 SOS 193060 HAS SOPS 193060 HAS SOUS 123788 HAS SOUPS 123788 WITH SCORE 123981.06
AT ITER 5975 NEW BEST:: SOT 388854 SOS 193007 HAS SOPS 193007 HAS SOUS 123658 HAS SOUPS 123658 WITH SCORE 123851.007
AT ITER 5982 NEW BEST:: SOT 388853 SOS 193006 HAS SOPS 193006 HAS SOUS 123656 HAS SOUPS 123656 WITH SCORE 123849.006
AT ITER 5996 NEW BEST:: SOT 388808 SOS 192952 HAS SOPS 192952 HAS SOUS 123629 HAS SOUPS 123629 WITH SCORE 123821.952
AT ITER 6010 NEW BEST:: SOT 388795 SOS 192939 HAS SOPS 192939 HAS SOUS 123616 HAS SOUPS 123616 WITH SCORE 123808.939
AT ITER 6039 NEW BEST:: SOT 388752 SOS 192949 HAS SOPS 192949 HAS SOUS 123530 HAS SOUPS 123530 WITH SCORE 123722.949
AT ITER 6062 NEW BEST:: SOT 388778 SOS 192975 HAS SOPS 192975 HAS SOUS 123504 HAS SOUPS 123504 WITH SCORE 123696.975
AT ITER 6064 NEW BEST:: SOT 388778 SOS 192992 HAS SOPS 192992 HAS SOUS 123494 HAS SOUPS 123494 WITH SCORE 123686.992
AT ITER 6069 NEW BEST:: SOT 388744 SOS 192958 HAS SOPS 192958 HAS SOUS 123426 HAS SOUPS 123426 WITH SCORE 123618.958
AT ITER 6083 NEW BEST:: SOT 388744 SOS 192937 HAS SOPS 192937 HAS SOUS 123426 HAS SOUPS 123426 WITH SCORE 123618.937
AT ITER 6084 NEW BEST:: SOT 388744 SOS 192896 HAS SOPS 192896 HAS SOUS 123426 HAS SOUPS 123426 WITH SCORE 123618.896
AT ITER 6101 NEW BEST:: SOT 388728 SOS 192880 HAS SOPS 192880 HAS SOUS 123394 HAS SOUPS 123394 WITH SCORE 123586.88
AT ITER 6103 NEW BEST:: SOT 388811 SOS 192856 HAS SOPS 192856 HAS SOUS 123377 HAS SOUPS 123377 WITH SCORE 123569.856
AT ITER 6123 NEW BEST:: SOT 388791 SOS 192836 HAS SOPS 192836 HAS SOUS 123337 HAS SOUPS 123337 WITH SCORE 123529.836
AT ITER 6127 NEW BEST:: SOT 388749 SOS 192754 HAS SOPS 192754 HAS SOUS 123255 HAS SOUPS 123255 WITH SCORE 123447.754
AT ITER 6136 NEW BEST:: SOT 388738 SOS 192743 HAS SOPS 192743 HAS SOUS 123233 HAS SOUPS 123233 WITH SCORE 123425.743
AT ITER 6142 NEW BEST:: SOT 388742 SOS 192760 HAS SOPS 192760 HAS SOUS 123224 HAS SOUPS 123224 WITH SCORE 123416.76
AT ITER 6167 NEW BEST:: SOT 388732 SOS 192750 HAS SOPS 192750 HAS SOUS 123214 HAS SOUPS 123214 WITH SCORE 123406.75
AT ITER 6190 NEW BEST:: SOT 388717 SOS 192735 HAS SOPS 192735 HAS SOUS 123139 HAS SOUPS 123139 WITH SCORE 123331.735
AT ITER 6197 NEW BEST:: SOT 388654 SOS 192672 HAS SOPS 192672 HAS SOUS 122992 HAS SOUPS 122992 WITH SCORE 123184.672
AT ITER 6204 NEW BEST:: SOT 388558 SOS 192528 HAS SOPS 192528 HAS SOUS 122877 HAS SOUPS 122877 WITH SCORE 123069.528
AT ITER 6207 NEW BEST:: SOT 388553 SOS 192523 HAS SOPS 192523 HAS SOUS 122872 HAS SOUPS 122872 WITH SCORE 123064.523
AT ITER 6242 NEW BEST:: SOT 388553 SOS 192523 HAS SOPS 192523 HAS SOUS 122867 HAS SOUPS 122867 WITH SCORE 123059.523
AT ITER 6254 NEW BEST:: SOT 388520 SOS 192490 HAS SOPS 192490 HAS SOUS 122834 HAS SOUPS 122834 WITH SCORE 123026.49
AT ITER 6255 NEW BEST:: SOT 388520 SOS 192445 HAS SOPS 192445 HAS SOUS 122834 HAS SOUPS 122834 WITH SCORE 123026.445
AT ITER 6256 NEW BEST:: SOT 388458 SOS 192445 HAS SOPS 192445 HAS SOUS 122710 HAS SOUPS 122710 WITH SCORE 122902.445
AT ITER 6280 NEW BEST:: SOT 388429 SOS 192416 HAS SOPS 192416 HAS SOUS 122649 HAS SOUPS 122649 WITH SCORE 122841.416
AT ITER 6281 NEW BEST:: SOT 388402 SOS 192416 HAS SOPS 192416 HAS SOUS 122644 HAS SOUPS 122644 WITH SCORE 122836.416
AT ITER 6302 NEW BEST:: SOT 388402 SOS 191765 HAS SOPS 191765 HAS SOUS 122644 HAS SOUPS 122644 WITH SCORE 122835.765
AT ITER 6328 NEW BEST:: SOT 388393 SOS 191756 HAS SOPS 191756 HAS SOUS 122626 HAS SOUPS 122626 WITH SCORE 122817.756
AT ITER 6361 NEW BEST:: SOT 388374 SOS 191720 HAS SOPS 191720 HAS SOUS 122590 HAS SOUPS 122590 WITH SCORE 122781.72
AT ITER 6370 NEW BEST:: SOT 388373 SOS 191719 HAS SOPS 191719 HAS SOUS 122590 HAS SOUPS 122590 WITH SCORE 122781.719
AT ITER 6387 NEW BEST:: SOT 388363 SOS 191709 HAS SOPS 191709 HAS SOUS 122570 HAS SOUPS 122570 WITH SCORE 122761.709
AT ITER 6394 NEW BEST:: SOT 388346 SOS 191692 HAS SOPS 191692 HAS SOUS 122553 HAS SOUPS 122553 WITH SCORE 122744.692
AT ITER 6422 NEW BEST:: SOT 388346 SOS 191342 HAS SOPS 191342 HAS SOUS 122503 HAS SOUPS 122503 WITH SCORE 122694.342
AT ITER 6423 NEW BEST:: SOT 388294 SOS 191316 HAS SOPS 191316 HAS SOUS 122477 HAS SOUPS 122477 WITH SCORE 122668.316
AT ITER 6431 NEW BEST:: SOT 388293 SOS 191315 HAS SOPS 191315 HAS SOUS 122475 HAS SOUPS 122475 WITH SCORE 122666.315
AT ITER 6446 NEW BEST:: SOT 388309 SOS 191136 HAS SOPS 191136 HAS SOUS 122469 HAS SOUPS 122469 WITH SCORE 122660.136
AT ITER 6452 NEW BEST:: SOT 388292 SOS 191119 HAS SOPS 191119 HAS SOUS 122452 HAS SOUPS 122452 WITH SCORE 122643.119
AT ITER 6468 NEW BEST:: SOT 388297 SOS 190621 HAS SOPS 190621 HAS SOUS 122400 HAS SOUPS 122400 WITH SCORE 122590.621
AT ITER 6518 NEW BEST:: SOT 388313 SOS 190637 HAS SOPS 190637 HAS SOUS 122394 HAS SOUPS 122394 WITH SCORE 122584.637
AT ITER 6529 NEW BEST:: SOT 388309 SOS 190633 HAS SOPS 190633 HAS SOUS 122390 HAS SOUPS 122390 WITH SCORE 122580.633
AT ITER 6549 NEW BEST:: SOT 388307 SOS 190631 HAS SOPS 190631 HAS SOUS 122388 HAS SOUPS 122388 WITH SCORE 122578.631
AT ITER 6557 NEW BEST:: SOT 388537 SOS 189331 HAS SOPS 189331 HAS SOUS 122326 HAS SOUPS 122326 WITH SCORE 122515.331
AT ITER 6560 NEW BEST:: SOT 388537 SOS 189175 HAS SOPS 189175 HAS SOUS 122296 HAS SOUPS 122296 WITH SCORE 122485.175
AT ITER 6574 NEW BEST:: SOT 388479 SOS 189117 HAS SOPS 189117 HAS SOUS 122259 HAS SOUPS 122259 WITH SCORE 122448.117
AT ITER 6593 NEW BEST:: SOT 388455 SOS 188993 HAS SOPS 188993 HAS SOUS 122211 HAS SOUPS 122211 WITH SCORE 122399.993
AT ITER 6609 NEW BEST:: SOT 388402 SOS 189111 HAS SOPS 189111 HAS SOUS 122177 HAS SOUPS 122177 WITH SCORE 122366.111
AT ITER 6633 NEW BEST:: SOT 388471 SOS 189175 HAS SOPS 189175 HAS SOUS 122172 HAS SOUPS 122172 WITH SCORE 122361.175
AT ITER 6679 NEW BEST:: SOT 388480 SOS 189283 HAS SOPS 189283 HAS SOUS 122149 HAS SOUPS 122149 WITH SCORE 122338.283
AT ITER 6714 NEW BEST:: SOT 388466 SOS 189269 HAS SOPS 189269 HAS SOUS 122135 HAS SOUPS 122135 WITH SCORE 122324.269
AT ITER 6757 NEW BEST:: SOT 388515 SOS 189318 HAS SOPS 189318 HAS SOUS 122099 HAS SOUPS 122099 WITH SCORE 122288.318
AT ITER 6772 NEW BEST:: SOT 388500 SOS 189298 HAS SOPS 189298 HAS SOUS 122069 HAS SOUPS 122069 WITH SCORE 122258.298
AT ITER 6829 NEW BEST:: SOT 388486 SOS 189284 HAS SOPS 189284 HAS SOUS 122041 HAS SOUPS 122041 WITH SCORE 122230.284
AT ITER 6832 NEW BEST:: SOT 388436 SOS 189234 HAS SOPS 189234 HAS SOUS 122005 HAS SOUPS 122005 WITH SCORE 122194.234
AT ITER 6951 NEW BEST:: SOT 388413 SOS 189213 HAS SOPS 189213 HAS SOUS 121984 HAS SOUPS 121984 WITH SCORE 122173.213
AT ITER 6958 NEW BEST:: SOT 388385 SOS 189185 HAS SOPS 189185 HAS SOUS 121928 HAS SOUPS 121928 WITH SCORE 122117.185
AT ITER 6959 NEW BEST:: SOT 388376 SOS 189122 HAS SOPS 189122 HAS SOUS 121924 HAS SOUPS 121924 WITH SCORE 122113.122
AT ITER 6980 NEW BEST:: SOT 388369 SOS 189094 HAS SOPS 189094 HAS SOUS 121916 HAS SOUPS 121916 WITH SCORE 122105.094
AT ITER 7005 NEW BEST:: SOT 388330 SOS 189029 HAS SOPS 189029 HAS SOUS 121880 HAS SOUPS 121880 WITH SCORE 122069.029
AT ITER 7008 NEW BEST:: SOT 388233 SOS 188932 HAS SOPS 188932 HAS SOUS 121777 HAS SOUPS 121777 WITH SCORE 121965.932
AT ITER 7017 NEW BEST:: SOT 388233 SOS 188932 HAS SOPS 188932 HAS SOUS 121773 HAS SOUPS 121773 WITH SCORE 121961.932
AT ITER 7081 NEW BEST:: SOT 388131 SOS 188733 HAS SOPS 188733 HAS SOUS 121678 HAS SOUPS 121678 WITH SCORE 121866.733
AT ITER 7091 NEW BEST:: SOT 388131 SOS 188733 HAS SOPS 188733 HAS SOUS 121623 HAS SOUPS 121623 WITH SCORE 121811.733
AT ITER 7110 NEW BEST:: SOT 388066 SOS 188668 HAS SOPS 188668 HAS SOUS 121558 HAS SOUPS 121558 WITH SCORE 121746.668
AT ITER 7136 NEW BEST:: SOT 388003 SOS 188605 HAS SOPS 188605 HAS SOUS 121558 HAS SOUPS 121558 WITH SCORE 121746.605
AT ITER 7146 NEW BEST:: SOT 388003 SOS 188604 HAS SOPS 188604 HAS SOUS 121557 HAS SOUPS 121557 WITH SCORE 121745.604
AT ITER 7167 NEW BEST:: SOT 388003 SOS 188464 HAS SOPS 188464 HAS SOUS 121557 HAS SOUPS 121557 WITH SCORE 121745.464
AT ITER 7178 NEW BEST:: SOT 388020 SOS 188481 HAS SOPS 188481 HAS SOUS 121547 HAS SOUPS 121547 WITH SCORE 121735.481
AT ITER 7210 NEW BEST:: SOT 388013 SOS 188516 HAS SOPS 188516 HAS SOUS 121533 HAS SOUPS 121533 WITH SCORE 121721.516
AT ITER 7226 NEW BEST:: SOT 388010 SOS 188434 HAS SOPS 188434 HAS SOUS 121530 HAS SOUPS 121530 WITH SCORE 121718.434
AT ITER 7236 NEW BEST:: SOT 387979 SOS 188404 HAS SOPS 188404 HAS SOUS 121500 HAS SOUPS 121500 WITH SCORE 121688.404
AT ITER 7243 NEW BEST:: SOT 387969 SOS 188483 HAS SOPS 188483 HAS SOUS 121480 HAS SOUPS 121480 WITH SCORE 121668.483
AT ITER 7244 NEW BEST:: SOT 387977 SOS 188491 HAS SOPS 188491 HAS SOUS 121418 HAS SOUPS 121418 WITH SCORE 121606.491
AT ITER 7246 NEW BEST:: SOT 387962 SOS 188644 HAS SOPS 188644 HAS SOUS 121388 HAS SOUPS 121388 WITH SCORE 121576.644
AT ITER 7296 NEW BEST:: SOT 387958 SOS 188640 HAS SOPS 188640 HAS SOUS 121384 HAS SOUPS 121384 WITH SCORE 121572.64
AT ITER 7302 NEW BEST:: SOT 387958 SOS 188640 HAS SOPS 188640 HAS SOUS 121356 HAS SOUPS 121356 WITH SCORE 121544.64
AT ITER 7305 NEW BEST:: SOT 387896 SOS 188578 HAS SOPS 188578 HAS SOUS 121294 HAS SOUPS 121294 WITH SCORE 121482.578
AT ITER 7350 NEW BEST:: SOT 387879 SOS 188345 HAS SOPS 188345 HAS SOUS 121260 HAS SOUPS 121260 WITH SCORE 121448.345
AT ITER 7417 NEW BEST:: SOT 387871 SOS 188346 HAS SOPS 188346 HAS SOUS 121244 HAS SOUPS 121244 WITH SCORE 121432.346
AT ITER 7437 NEW BEST:: SOT 387766 SOS 188241 HAS SOPS 188241 HAS SOUS 121085 HAS SOUPS 121085 WITH SCORE 121273.241
AT ITER 7449 NEW BEST:: SOT 387749 SOS 188069 HAS SOPS 188069 HAS SOUS 121044 HAS SOUPS 121044 WITH SCORE 121232.069
AT ITER 7457 NEW BEST:: SOT 387745 SOS 188065 HAS SOPS 188065 HAS SOUS 121040 HAS SOUPS 121040 WITH SCORE 121228.065
AT ITER 7472 NEW BEST:: SOT 387653 SOS 188011 HAS SOPS 188011 HAS SOUS 120986 HAS SOUPS 120986 WITH SCORE 121174.011
AT ITER 7495 NEW BEST:: SOT 387653 SOS 188011 HAS SOPS 188011 HAS SOUS 120981 HAS SOUPS 120981 WITH SCORE 121169.011
AT ITER 7501 NEW BEST:: SOT 387682 SOS 187958 HAS SOPS 187958 HAS SOUS 120928 HAS SOUPS 120928 WITH SCORE 121115.958
AT ITER 7523 NEW BEST:: SOT 387727 SOS 188002 HAS SOPS 188002 HAS SOUS 120914 HAS SOUPS 120914 WITH SCORE 121102.002
AT ITER 7556 NEW BEST:: SOT 387727 SOS 187972 HAS SOPS 187972 HAS SOUS 120884 HAS SOUPS 120884 WITH SCORE 121071.972
AT ITER 7568 NEW BEST:: SOT 387697 SOS 187942 HAS SOPS 187942 HAS SOUS 120778 HAS SOUPS 120778 WITH SCORE 120965.942
AT ITER 7573 NEW BEST:: SOT 387706 SOS 187951 HAS SOPS 187951 HAS SOUS 120762 HAS SOUPS 120762 WITH SCORE 120949.951
AT ITER 7596 NEW BEST:: SOT 387667 SOS 187912 HAS SOPS 187912 HAS SOUS 120684 HAS SOUPS 120684 WITH SCORE 120871.912
AT ITER 7637 NEW BEST:: SOT 387567 SOS 187953 HAS SOPS 187953 HAS SOUS 120485 HAS SOUPS 120485 WITH SCORE 120672.953
AT ITER 7667 NEW BEST:: SOT 387482 SOS 187991 HAS SOPS 187991 HAS SOUS 120400 HAS SOUPS 120400 WITH SCORE 120587.991
AT ITER 7671 NEW BEST:: SOT 387482 SOS 187974 HAS SOPS 187974 HAS SOUS 120383 HAS SOUPS 120383 WITH SCORE 120570.974
AT ITER 7709 NEW BEST:: SOT 387466 SOS 187958 HAS SOPS 187958 HAS SOUS 120353 HAS SOUPS 120353 WITH SCORE 120540.958
AT ITER 7725 NEW BEST:: SOT 387466 SOS 187957 HAS SOPS 187957 HAS SOUS 120352 HAS SOUPS 120352 WITH SCORE 120539.957
AT ITER 7743 NEW BEST:: SOT 387443 SOS 187934 HAS SOPS 187934 HAS SOUS 120306 HAS SOUPS 120306 WITH SCORE 120493.934
AT ITER 7754 NEW BEST:: SOT 387443 SOS 186954 HAS SOPS 186954 HAS SOUS 120306 HAS SOUPS 120306 WITH SCORE 120492.954
AT ITER 7817 NEW BEST:: SOT 387443 SOS 186954 HAS SOPS 186954 HAS SOUS 120298 HAS SOUPS 120298 WITH SCORE 120484.954
AT ITER 7830 NEW BEST:: SOT 387457 SOS 186968 HAS SOPS 186968 HAS SOUS 120246 HAS SOUPS 120246 WITH SCORE 120432.968
AT ITER 7839 NEW BEST:: SOT 387406 SOS 186925 HAS SOPS 186925 HAS SOUS 120152 HAS SOUPS 120152 WITH SCORE 120338.925
AT ITER 7863 NEW BEST:: SOT 387399 SOS 186918 HAS SOPS 186918 HAS SOUS 120145 HAS SOUPS 120145 WITH SCORE 120331.918
AT ITER 7900 NEW BEST:: SOT 387325 SOS 186800 HAS SOPS 186800 HAS SOUS 119982 HAS SOUPS 119982 WITH SCORE 120168.8
AT ITER 7905 NEW BEST:: SOT 387296 SOS 186771 HAS SOPS 186771 HAS SOUS 119953 HAS SOUPS 119953 WITH SCORE 120139.771
AT ITER 7912 NEW BEST:: SOT 387277 SOS 186616 HAS SOPS 186616 HAS SOUS 119933 HAS SOUPS 119933 WITH SCORE 120119.616
AT ITER 7914 NEW BEST:: SOT 387262 SOS 186601 HAS SOPS 186601 HAS SOUS 119918 HAS SOUPS 119918 WITH SCORE 120104.601
AT ITER 7931 NEW BEST:: SOT 387012 SOS 186351 HAS SOPS 186351 HAS SOUS 119877 HAS SOUPS 119877 WITH SCORE 120063.351
AT ITER 7954 NEW BEST:: SOT 387122 SOS 186461 HAS SOPS 186461 HAS SOUS 119833 HAS SOUPS 119833 WITH SCORE 120019.461
AT ITER 8008 NEW BEST:: SOT 387077 SOS 186595 HAS SOPS 186595 HAS SOUS 119813 HAS SOUPS 119813 WITH SCORE 119999.595
AT ITER 8012 NEW BEST:: SOT 387037 SOS 186555 HAS SOPS 186555 HAS SOUS 119792 HAS SOUPS 119792 WITH SCORE 119978.555
AT ITER 8018 NEW BEST:: SOT 387020 SOS 186496 HAS SOPS 186496 HAS SOUS 119758 HAS SOUPS 119758 WITH SCORE 119944.496
AT ITER 8041 NEW BEST:: SOT 387000 SOS 186476 HAS SOPS 186476 HAS SOUS 119738 HAS SOUPS 119738 WITH SCORE 119924.476
AT ITER 8047 NEW BEST:: SOT 386937 SOS 186833 HAS SOPS 186833 HAS SOUS 119675 HAS SOUPS 119675 WITH SCORE 119861.833
AT ITER 8049 NEW BEST:: SOT 386936 SOS 186832 HAS SOPS 186832 HAS SOUS 119673 HAS SOUPS 119673 WITH SCORE 119859.832
AT ITER 8074 NEW BEST:: SOT 386905 SOS 187753 HAS SOPS 187753 HAS SOUS 119611 HAS SOUPS 119611 WITH SCORE 119798.753
AT ITER 8090 NEW BEST:: SOT 386905 SOS 187753 HAS SOPS 187753 HAS SOUS 119595 HAS SOUPS 119595 WITH SCORE 119782.753
AT ITER 8147 NEW BEST:: SOT 386864 SOS 187712 HAS SOPS 187712 HAS SOUS 119554 HAS SOUPS 119554 WITH SCORE 119741.712
AT ITER 8155 NEW BEST:: SOT 386949 SOS 187791 HAS SOPS 187791 HAS SOUS 119548 HAS SOUPS 119548 WITH SCORE 119735.791
AT ITER 8176 NEW BEST:: SOT 386942 SOS 187445 HAS SOPS 187445 HAS SOUS 119534 HAS SOUPS 119534 WITH SCORE 119721.445
AT ITER 8206 NEW BEST:: SOT 386933 SOS 187436 HAS SOPS 187436 HAS SOUS 119525 HAS SOUPS 119525 WITH SCORE 119712.436
AT ITER 8207 NEW BEST:: SOT 386942 SOS 187444 HAS SOPS 187444 HAS SOUS 119489 HAS SOUPS 119489 WITH SCORE 119676.444
AT ITER 8214 NEW BEST:: SOT 386924 SOS 187066 HAS SOPS 187066 HAS SOUS 119453 HAS SOUPS 119453 WITH SCORE 119640.066
AT ITER 8221 NEW BEST:: SOT 386898 SOS 187040 HAS SOPS 187040 HAS SOUS 119427 HAS SOUPS 119427 WITH SCORE 119614.04
AT ITER 8223 NEW BEST:: SOT 386893 SOS 187040 HAS SOPS 187040 HAS SOUS 119417 HAS SOUPS 119417 WITH SCORE 119604.04
AT ITER 8229 NEW BEST:: SOT 386868 SOS 187015 HAS SOPS 187015 HAS SOUS 119417 HAS SOUPS 119417 WITH SCORE 119604.015
AT ITER 8247 NEW BEST:: SOT 386868 SOS 187015 HAS SOPS 187015 HAS SOUS 119416 HAS SOUPS 119416 WITH SCORE 119603.015
AT ITER 8253 NEW BEST:: SOT 386855 SOS 187002 HAS SOPS 187002 HAS SOUS 119358 HAS SOUPS 119358 WITH SCORE 119545.002
AT ITER 8284 NEW BEST:: SOT 386854 SOS 187001 HAS SOPS 187001 HAS SOUS 119356 HAS SOUPS 119356 WITH SCORE 119543.001
AT ITER 8346 NEW BEST:: SOT 386729 SOS 186757 HAS SOPS 186757 HAS SOUS 119321 HAS SOUPS 119321 WITH SCORE 119507.757
AT ITER 8357 NEW BEST:: SOT 386632 SOS 186584 HAS SOPS 186584 HAS SOUS 119279 HAS SOUPS 119279 WITH SCORE 119465.584
AT ITER 8378 NEW BEST:: SOT 386611 SOS 186563 HAS SOPS 186563 HAS SOUS 119191 HAS SOUPS 119191 WITH SCORE 119377.563
AT ITER 8469 NEW BEST:: SOT 386611 SOS 186521 HAS SOPS 186521 HAS SOUS 119183 HAS SOUPS 119183 WITH SCORE 119369.521
AT ITER 8497 NEW BEST:: SOT 386695 SOS 186599 HAS SOPS 186599 HAS SOUS 119169 HAS SOUPS 119169 WITH SCORE 119355.599
AT ITER 8525 NEW BEST:: SOT 386657 SOS 186897 HAS SOPS 186897 HAS SOUS 119093 HAS SOUPS 119093 WITH SCORE 119279.897
AT ITER 8558 NEW BEST:: SOT 386655 SOS 186895 HAS SOPS 186895 HAS SOUS 119091 HAS SOUPS 119091 WITH SCORE 119277.895
AT ITER 8559 NEW BEST:: SOT 386735 SOS 186975 HAS SOPS 186975 HAS SOUS 119047 HAS SOUPS 119047 WITH SCORE 119233.975
AT ITER 8576 NEW BEST:: SOT 386722 SOS 187106 HAS SOPS 187106 HAS SOUS 119021 HAS SOUPS 119021 WITH SCORE 119208.106
AT ITER 8581 NEW BEST:: SOT 386722 SOS 187090 HAS SOPS 187090 HAS SOUS 119021 HAS SOUPS 119021 WITH SCORE 119208.09
AT ITER 8587 NEW BEST:: SOT 386708 SOS 187076 HAS SOPS 187076 HAS SOUS 119007 HAS SOUPS 119007 WITH SCORE 119194.076
AT ITER 8592 NEW BEST:: SOT 386697 SOS 187112 HAS SOPS 187112 HAS SOUS 118985 HAS SOUPS 118985 WITH SCORE 119172.112
AT ITER 8647 NEW BEST:: SOT 386679 SOS 187076 HAS SOPS 187076 HAS SOUS 118949 HAS SOUPS 118949 WITH SCORE 119136.076
AT ITER 8648 NEW BEST:: SOT 386654 SOS 187026 HAS SOPS 187026 HAS SOUS 118899 HAS SOUPS 118899 WITH SCORE 119086.026
AT ITER 8652 NEW BEST:: SOT 386704 SOS 187029 HAS SOPS 187029 HAS SOUS 118895 HAS SOUPS 118895 WITH SCORE 119082.029
AT ITER 8668 NEW BEST:: SOT 386774 SOS 186825 HAS SOPS 186825 HAS SOUS 118878 HAS SOUPS 118878 WITH SCORE 119064.825
AT ITER 8673 NEW BEST:: SOT 386836 SOS 186887 HAS SOPS 186887 HAS SOUS 118804 HAS SOUPS 118804 WITH SCORE 118990.887
AT ITER 8674 NEW BEST:: SOT 386827 SOS 186878 HAS SOPS 186878 HAS SOUS 118786 HAS SOUPS 118786 WITH SCORE 118972.878
AT ITER 8708 NEW BEST:: SOT 386827 SOS 186851 HAS SOPS 186851 HAS SOUS 118759 HAS SOUPS 118759 WITH SCORE 118945.851
AT ITER 8713 NEW BEST:: SOT 386824 SOS 188671 HAS SOPS 188671 HAS SOUS 118753 HAS SOUPS 118753 WITH SCORE 118941.671
AT ITER 8718 NEW BEST:: SOT 386809 SOS 188656 HAS SOPS 188656 HAS SOUS 118723 HAS SOUPS 118723 WITH SCORE 118911.656
AT ITER 8751 NEW BEST:: SOT 386983 SOS 188830 HAS SOPS 188830 HAS SOUS 118689 HAS SOUPS 118689 WITH SCORE 118877.83
AT ITER 8821 NEW BEST:: SOT 386999 SOS 189214 HAS SOPS 189214 HAS SOUS 118684 HAS SOUPS 118684 WITH SCORE 118873.214
AT ITER 8872 NEW BEST:: SOT 387043 SOS 189258 HAS SOPS 189258 HAS SOUS 118679 HAS SOUPS 118679 WITH SCORE 118868.258
AT ITER 8942 NEW BEST:: SOT 387039 SOS 189250 HAS SOPS 189250 HAS SOUS 118679 HAS SOUPS 118679 WITH SCORE 118868.25
AT ITER 9041 NEW BEST:: SOT 387042 SOS 189033 HAS SOPS 189033 HAS SOUS 118646 HAS SOUPS 118646 WITH SCORE 118835.033
AT ITER 9047 NEW BEST:: SOT 387009 SOS 189036 HAS SOPS 189036 HAS SOUS 118615 HAS SOUPS 118615 WITH SCORE 118804.036
AT ITER 9048 NEW BEST:: SOT 386992 SOS 189019 HAS SOPS 189019 HAS SOUS 118581 HAS SOUPS 118581 WITH SCORE 118770.019
AT ITER 9111 NEW BEST:: SOT 386934 SOS 188979 HAS SOPS 188979 HAS SOUS 118523 HAS SOUPS 118523 WITH SCORE 118711.979
AT ITER 9122 NEW BEST:: SOT 386931 SOS 188976 HAS SOPS 188976 HAS SOUS 118517 HAS SOUPS 118517 WITH SCORE 118705.976
AT ITER 9132 NEW BEST:: SOT 386928 SOS 188973 HAS SOPS 188973 HAS SOUS 118517 HAS SOUPS 118517 WITH SCORE 118705.973
AT ITER 9138 NEW BEST:: SOT 386928 SOS 188973 HAS SOPS 188973 HAS SOUS 118497 HAS SOUPS 118497 WITH SCORE 118685.973
AT ITER 9145 NEW BEST:: SOT 386928 SOS 188969 HAS SOPS 188969 HAS SOUS 118497 HAS SOUPS 118497 WITH SCORE 118685.969
AT ITER 9205 NEW BEST:: SOT 386928 SOS 188969 HAS SOPS 188969 HAS SOUS 118487 HAS SOUPS 118487 WITH SCORE 118675.969
AT ITER 9208 NEW BEST:: SOT 386900 SOS 188951 HAS SOPS 188951 HAS SOUS 118469 HAS SOUPS 118469 WITH SCORE 118657.951
AT ITER 9212 NEW BEST:: SOT 386892 SOS 188943 HAS SOPS 188943 HAS SOUS 118461 HAS SOUPS 118461 WITH SCORE 118649.943
AT ITER 9240 NEW BEST:: SOT 386892 SOS 188892 HAS SOPS 188892 HAS SOUS 118410 HAS SOUPS 118410 WITH SCORE 118598.892
AT ITER 9270 NEW BEST:: SOT 386854 SOS 188786 HAS SOPS 188786 HAS SOUS 118304 HAS SOUPS 118304 WITH SCORE 118492.786
AT ITER 9318 NEW BEST:: SOT 386854 SOS 188474 HAS SOPS 188474 HAS SOUS 118304 HAS SOUPS 118304 WITH SCORE 118492.474
AT ITER 9330 NEW BEST:: SOT 386854 SOS 188470 HAS SOPS 188470 HAS SOUS 118300 HAS SOUPS 118300 WITH SCORE 118488.47
AT ITER 9332 NEW BEST:: SOT 386835 SOS 188451 HAS SOPS 188451 HAS SOUS 118262 HAS SOUPS 118262 WITH SCORE 118450.451
AT ITER 9337 NEW BEST:: SOT 386817 SOS 188253 HAS SOPS 188253 HAS SOUS 118226 HAS SOUPS 118226 WITH SCORE 118414.253
AT ITER 9355 NEW BEST:: SOT 386727 SOS 188163 HAS SOPS 188163 HAS SOUS 118191 HAS SOUPS 118191 WITH SCORE 118379.163
AT ITER 9378 NEW BEST:: SOT 386727 SOS 188093 HAS SOPS 188093 HAS SOUS 118121 HAS SOUPS 118121 WITH SCORE 118309.093
AT ITER 9404 NEW BEST:: SOT 386730 SOS 188056 HAS SOPS 188056 HAS SOUS 118120 HAS SOUPS 118120 WITH SCORE 118308.056
AT ITER 9422 NEW BEST:: SOT 386710 SOS 188284 HAS SOPS 188284 HAS SOUS 118080 HAS SOUPS 118080 WITH SCORE 118268.284
AT ITER 9443 NEW BEST:: SOT 386673 SOS 188247 HAS SOPS 188247 HAS SOUS 118006 HAS SOUPS 118006 WITH SCORE 118194.247
AT ITER 9453 NEW BEST:: SOT 386670 SOS 188244 HAS SOPS 188244 HAS SOUS 118003 HAS SOUPS 118003 WITH SCORE 118191.244
AT ITER 9463 NEW BEST:: SOT 386630 SOS 188204 HAS SOPS 188204 HAS SOUS 117963 HAS SOUPS 117963 WITH SCORE 118151.204
AT ITER 9500 NEW BEST:: SOT 386750 SOS 188324 HAS SOPS 188324 HAS SOUS 117929 HAS SOUPS 117929 WITH SCORE 118117.324
AT ITER 9504 NEW BEST:: SOT 386742 SOS 188306 HAS SOPS 188306 HAS SOUS 117909 HAS SOUPS 117909 WITH SCORE 118097.306
AT ITER 9513 NEW BEST:: SOT 386735 SOS 188344 HAS SOPS 188344 HAS SOUS 117885 HAS SOUPS 117885 WITH SCORE 118073.344
AT ITER 9518 NEW BEST:: SOT 386735 SOS 187753 HAS SOPS 187753 HAS SOUS 117809 HAS SOUPS 117809 WITH SCORE 117996.753
AT ITER 9523 NEW BEST:: SOT 386594 SOS 188472 HAS SOPS 188472 HAS SOUS 117729 HAS SOUPS 117729 WITH SCORE 117917.472
AT ITER 9589 NEW BEST:: SOT 386599 SOS 188477 HAS SOPS 188477 HAS SOUS 117672 HAS SOUPS 117672 WITH SCORE 117860.477
AT ITER 9591 NEW BEST:: SOT 386599 SOS 188474 HAS SOPS 188474 HAS SOUS 117672 HAS SOUPS 117672 WITH SCORE 117860.474
AT ITER 9629 NEW BEST:: SOT 386596 SOS 188471 HAS SOPS 188471 HAS SOUS 117669 HAS SOUPS 117669 WITH SCORE 117857.471
AT ITER 9640 NEW BEST:: SOT 386633 SOS 188508 HAS SOPS 188508 HAS SOUS 117623 HAS SOUPS 117623 WITH SCORE 117811.508
AT ITER 9648 NEW BEST:: SOT 386633 SOS 188528 HAS SOPS 188528 HAS SOUS 117565 HAS SOUPS 117565 WITH SCORE 117753.528
AT ITER 9684 NEW BEST:: SOT 386633 SOS 188526 HAS SOPS 188526 HAS SOUS 117565 HAS SOUPS 117565 WITH SCORE 117753.526
AT ITER 9708 NEW BEST:: SOT 386627 SOS 188520 HAS SOPS 188520 HAS SOUS 117559 HAS SOUPS 117559 WITH SCORE 117747.52
AT ITER 9747 NEW BEST:: SOT 386689 SOS 188582 HAS SOPS 188582 HAS SOUS 117370 HAS SOUPS 117370 WITH SCORE 117558.582
AT ITER 9775 NEW BEST:: SOT 386689 SOS 188562 HAS SOPS 188562 HAS SOUS 117370 HAS SOUPS 117370 WITH SCORE 117558.562
AT ITER 9788 NEW BEST:: SOT 386681 SOS 188554 HAS SOPS 188554 HAS SOUS 117370 HAS SOUPS 117370 WITH SCORE 117558.554
AT ITER 9859 NEW BEST:: SOT 386671 SOS 188587 HAS SOPS 188587 HAS SOUS 117350 HAS SOUPS 117350 WITH SCORE 117538.587
AT ITER 9862 NEW BEST:: SOT 386671 SOS 188570 HAS SOPS 188570 HAS SOUS 117350 HAS SOUPS 117350 WITH SCORE 117538.57
AT ITER 9876 NEW BEST:: SOT 386667 SOS 188550 HAS SOPS 188550 HAS SOUS 117346 HAS SOUPS 117346 WITH SCORE 117534.55
AT ITER 9900 NEW BEST:: SOT 386667 SOS 188517 HAS SOPS 188517 HAS SOUS 117346 HAS SOUPS 117346 WITH SCORE 117534.517
AT ITER 9908 NEW BEST:: SOT 386647 SOS 188497 HAS SOPS 188497 HAS SOUS 117344 HAS SOUPS 117344 WITH SCORE 117532.497
AT ITER 9919 NEW BEST:: SOT 386672 SOS 188522 HAS SOPS 188522 HAS SOUS 117343 HAS SOUPS 117343 WITH SCORE 117531.522
AT ITER 9922 NEW BEST:: SOT 386663 SOS 188416 HAS SOPS 188416 HAS SOUS 117327 HAS SOUPS 117327 WITH SCORE 117515.416
AT ITER 9943 NEW BEST:: SOT 386597 SOS 188350 HAS SOPS 188350 HAS SOUS 117261 HAS SOUPS 117261 WITH SCORE 117449.35
AT ITER 9946 NEW BEST:: SOT 386579 SOS 188179 HAS SOPS 188179 HAS SOUS 117216 HAS SOUPS 117216 WITH SCORE 117404.179
AT ITER 9962 NEW BEST:: SOT 386567 SOS 188167 HAS SOPS 188167 HAS SOUS 117192 HAS SOUPS 117192 WITH SCORE 117380.167
AT ITER 9997 NEW BEST:: SOT 386729 SOS 187742 HAS SOPS 187742 HAS SOUS 117141 HAS SOUPS 117141 WITH SCORE 117328.742
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12254568 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121404 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="DatabaseWithMutex-COL-10"
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 DatabaseWithMutex-COL-10, 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 r107-tall-167814485001040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-10.tgz
mv DatabaseWithMutex-COL-10 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 ;