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.r291-tall-167873942800400.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 smart
Input is PolyORBLF-COL-S04J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 7.5K Feb 26 14:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 14:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 14:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 14:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678789455588

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S04J04T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:24:18] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:24:18] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:24:18] [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-14 10:24:19] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:24:19] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1154 ms
[2023-03-14 10:24:19] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 554 PT places and 3040.0 transition bindings in 64 ms.
[2023-03-14 10:24:20] [INFO ] Unfolded HLPN to a Petri net with 554 places and 2998 transitions 20754 arcs in 170 ms.
[2023-03-14 10:24:20] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 1626 transitions
Reduce isomorphic transitions removed 1626 transitions.
[2023-03-14 10:24:20] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 554 places, 1372 transitions and 6996 arcs took 37 ms.
Total runtime 1775 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J04T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 554 places, 1372 transitions, 6996 arcs.
AT ITER 0 NEW BEST:: SOT 472643 SOS 289110 HAS SOPS 281716 HAS SOUS 231404 HAS SOUPS 230401 WITH SCORE 230690.11
AT ITER 1 NEW BEST:: SOT 472365 SOS 288929 HAS SOPS 281535 HAS SOUS 231173 HAS SOUPS 230170 WITH SCORE 230458.929
AT ITER 6 NEW BEST:: SOT 472295 SOS 288859 HAS SOPS 281535 HAS SOUS 231170 HAS SOUPS 230167 WITH SCORE 230455.859
AT ITER 10 NEW BEST:: SOT 472172 SOS 288868 HAS SOPS 281544 HAS SOUS 231130 HAS SOUPS 230127 WITH SCORE 230415.868
AT ITER 22 NEW BEST:: SOT 469896 SOS 293267 HAS SOPS 286741 HAS SOUS 228891 HAS SOUPS 228017 WITH SCORE 228310.267
AT ITER 23 NEW BEST:: SOT 469851 SOS 293173 HAS SOPS 286647 HAS SOUS 228801 HAS SOUPS 227927 WITH SCORE 228220.173
AT ITER 30 NEW BEST:: SOT 469710 SOS 293053 HAS SOPS 286527 HAS SOUS 228749 HAS SOUPS 227875 WITH SCORE 228168.053
AT ITER 43 NEW BEST:: SOT 469775 SOS 293342 HAS SOPS 286816 HAS SOUS 228154 HAS SOUPS 227280 WITH SCORE 227573.342
AT ITER 48 NEW BEST:: SOT 469753 SOS 293320 HAS SOPS 286772 HAS SOUS 228111 HAS SOUPS 227236 WITH SCORE 227529.32
AT ITER 57 NEW BEST:: SOT 469735 SOS 293302 HAS SOPS 286736 HAS SOUS 228082 HAS SOUPS 227200 WITH SCORE 227493.302
AT ITER 58 NEW BEST:: SOT 469730 SOS 293297 HAS SOPS 286731 HAS SOUS 228080 HAS SOUPS 227198 WITH SCORE 227491.297
AT ITER 62 NEW BEST:: SOT 469501 SOS 292771 HAS SOPS 286205 HAS SOUS 227622 HAS SOUPS 226740 WITH SCORE 227032.771
AT ITER 79 NEW BEST:: SOT 469495 SOS 292759 HAS SOPS 286193 HAS SOUS 227610 HAS SOUPS 226728 WITH SCORE 227020.759
AT ITER 83 NEW BEST:: SOT 469477 SOS 292741 HAS SOPS 286157 HAS SOUS 227577 HAS SOUPS 226692 WITH SCORE 226984.741
AT ITER 93 NEW BEST:: SOT 459526 SOS 282957 HAS SOPS 276373 HAS SOUS 217799 HAS SOUPS 216914 WITH SCORE 217196.957
AT ITER 95 NEW BEST:: SOT 459526 SOS 282957 HAS SOPS 276373 HAS SOUS 217709 HAS SOUPS 216824 WITH SCORE 217106.957
AT ITER 96 NEW BEST:: SOT 459389 SOS 283141 HAS SOPS 276557 HAS SOUS 217557 HAS SOUPS 216672 WITH SCORE 216955.141
AT ITER 98 NEW BEST:: SOT 459311 SOS 283063 HAS SOPS 276509 HAS SOUS 217509 HAS SOUPS 216624 WITH SCORE 216907.063
AT ITER 114 NEW BEST:: SOT 441743 SOS 265458 HAS SOPS 258904 HAS SOUS 200223 HAS SOUPS 199338 WITH SCORE 199603.458
AT ITER 119 NEW BEST:: SOT 441659 SOS 265374 HAS SOPS 258820 HAS SOUS 200099 HAS SOUPS 199214 WITH SCORE 199479.374
AT ITER 120 NEW BEST:: SOT 441495 SOS 265571 HAS SOPS 259217 HAS SOUS 199963 HAS SOUPS 199078 WITH SCORE 199343.571
AT ITER 127 NEW BEST:: SOT 441413 SOS 265459 HAS SOPS 259209 HAS SOUS 199955 HAS SOUPS 199070 WITH SCORE 199335.459
AT ITER 128 NEW BEST:: SOT 441361 SOS 265407 HAS SOPS 259157 HAS SOUS 199851 HAS SOUPS 198966 WITH SCORE 199231.407
AT ITER 136 NEW BEST:: SOT 441292 SOS 265180 HAS SOPS 258930 HAS SOUS 199792 HAS SOUPS 198907 WITH SCORE 199172.18
AT ITER 139 NEW BEST:: SOT 438900 SOS 265547 HAS SOPS 258016 HAS SOUS 197638 HAS SOUPS 196475 WITH SCORE 196740.547
AT ITER 145 NEW BEST:: SOT 438666 SOS 265289 HAS SOPS 257830 HAS SOUS 197533 HAS SOUPS 196370 WITH SCORE 196635.289
AT ITER 149 NEW BEST:: SOT 438643 SOS 265243 HAS SOPS 257784 HAS SOUS 197487 HAS SOUPS 196324 WITH SCORE 196589.243
AT ITER 150 NEW BEST:: SOT 438643 SOS 265243 HAS SOPS 257755 HAS SOUS 197371 HAS SOUPS 196208 WITH SCORE 196473.243
AT ITER 151 NEW BEST:: SOT 438643 SOS 265619 HAS SOPS 258131 HAS SOUS 196827 HAS SOUPS 195664 WITH SCORE 195929.619
AT ITER 169 NEW BEST:: SOT 438393 SOS 265369 HAS SOPS 257881 HAS SOUS 196585 HAS SOUPS 195422 WITH SCORE 195687.369
AT ITER 176 NEW BEST:: SOT 438277 SOS 265253 HAS SOPS 257823 HAS SOUS 196527 HAS SOUPS 195364 WITH SCORE 195629.253
AT ITER 180 NEW BEST:: SOT 438013 SOS 265090 HAS SOPS 257700 HAS SOUS 196394 HAS SOUPS 195231 WITH SCORE 195496.09
AT ITER 181 NEW BEST:: SOT 438015 SOS 265023 HAS SOPS 257633 HAS SOUS 196327 HAS SOUPS 195164 WITH SCORE 195429.023
AT ITER 184 NEW BEST:: SOT 437528 SOS 264636 HAS SOPS 257399 HAS SOUS 195729 HAS SOUPS 194566 WITH SCORE 194830.636
AT ITER 189 NEW BEST:: SOT 437430 SOS 264538 HAS SOPS 257350 HAS SOUS 195533 HAS SOUPS 194370 WITH SCORE 194634.538
AT ITER 190 NEW BEST:: SOT 437303 SOS 264738 HAS SOPS 257550 HAS SOUS 195114 HAS SOUPS 193951 WITH SCORE 194215.738
AT ITER 192 NEW BEST:: SOT 437246 SOS 264681 HAS SOPS 257493 HAS SOUS 195057 HAS SOUPS 193894 WITH SCORE 194158.681
AT ITER 197 NEW BEST:: SOT 436936 SOS 264399 HAS SOPS 257211 HAS SOUS 193678 HAS SOUPS 192515 WITH SCORE 192779.399
AT ITER 200 NEW BEST:: SOT 436936 SOS 264411 HAS SOPS 257223 HAS SOUS 192436 HAS SOUPS 191273 WITH SCORE 191537.411
AT ITER 215 NEW BEST:: SOT 436913 SOS 264519 HAS SOPS 257331 HAS SOUS 192435 HAS SOUPS 191272 WITH SCORE 191536.519
AT ITER 216 NEW BEST:: SOT 433373 SOS 261190 HAS SOPS 254002 HAS SOUS 188989 HAS SOUPS 187826 WITH SCORE 188087.19
AT ITER 230 NEW BEST:: SOT 433255 SOS 261072 HAS SOPS 253884 HAS SOUS 188851 HAS SOUPS 187688 WITH SCORE 187949.072
AT ITER 234 NEW BEST:: SOT 433161 SOS 261040 HAS SOPS 253852 HAS SOUS 188737 HAS SOUPS 187574 WITH SCORE 187835.04
AT ITER 248 NEW BEST:: SOT 433123 SOS 261002 HAS SOPS 253814 HAS SOUS 188611 HAS SOUPS 187448 WITH SCORE 187709.002
AT ITER 256 NEW BEST:: SOT 433123 SOS 260985 HAS SOPS 253797 HAS SOUS 188482 HAS SOUPS 187319 WITH SCORE 187579.985
AT ITER 264 NEW BEST:: SOT 433064 SOS 260933 HAS SOPS 253745 HAS SOUS 188469 HAS SOUPS 187306 WITH SCORE 187566.933
AT ITER 265 NEW BEST:: SOT 433064 SOS 260933 HAS SOPS 253745 HAS SOUS 188300 HAS SOUPS 187137 WITH SCORE 187397.933
AT ITER 268 NEW BEST:: SOT 433141 SOS 260954 HAS SOPS 253766 HAS SOUS 188196 HAS SOUPS 187033 WITH SCORE 187293.954
AT ITER 274 NEW BEST:: SOT 432663 SOS 260706 HAS SOPS 253518 HAS SOUS 187741 HAS SOUPS 186578 WITH SCORE 186838.706
AT ITER 282 NEW BEST:: SOT 432601 SOS 260706 HAS SOPS 253518 HAS SOUS 187674 HAS SOUPS 186511 WITH SCORE 186771.706
AT ITER 285 NEW BEST:: SOT 432703 SOS 260755 HAS SOPS 253567 HAS SOUS 187651 HAS SOUPS 186488 WITH SCORE 186748.755
AT ITER 293 NEW BEST:: SOT 432682 SOS 260823 HAS SOPS 253635 HAS SOUS 187594 HAS SOUPS 186431 WITH SCORE 186691.823
AT ITER 296 NEW BEST:: SOT 432500 SOS 260663 HAS SOPS 253475 HAS SOUS 187550 HAS SOUPS 186387 WITH SCORE 186647.663
AT ITER 305 NEW BEST:: SOT 429904 SOS 258377 HAS SOPS 251189 HAS SOUS 185250 HAS SOUPS 184087 WITH SCORE 184345.377
AT ITER 323 NEW BEST:: SOT 429904 SOS 258377 HAS SOPS 251189 HAS SOUS 185222 HAS SOUPS 184059 WITH SCORE 184317.377
AT ITER 325 NEW BEST:: SOT 429591 SOS 258128 HAS SOPS 250940 HAS SOUS 184989 HAS SOUPS 183826 WITH SCORE 184084.128
AT ITER 326 NEW BEST:: SOT 429553 SOS 258090 HAS SOPS 250919 HAS SOUS 184965 HAS SOUPS 183805 WITH SCORE 184063.09
AT ITER 343 NEW BEST:: SOT 429463 SOS 258000 HAS SOPS 250874 HAS SOUS 184785 HAS SOUPS 183625 WITH SCORE 183883.0
AT ITER 348 NEW BEST:: SOT 429352 SOS 258264 HAS SOPS 251138 HAS SOUS 184563 HAS SOUPS 183403 WITH SCORE 183661.264
AT ITER 349 NEW BEST:: SOT 429287 SOS 258285 HAS SOPS 251159 HAS SOUS 183787 HAS SOUPS 182627 WITH SCORE 182885.285
AT ITER 351 NEW BEST:: SOT 429245 SOS 258243 HAS SOPS 251117 HAS SOUS 183737 HAS SOUPS 182577 WITH SCORE 182835.243
AT ITER 356 NEW BEST:: SOT 429283 SOS 258116 HAS SOPS 251068 HAS SOUS 183735 HAS SOUPS 182575 WITH SCORE 182833.116
AT ITER 361 NEW BEST:: SOT 429382 SOS 258233 HAS SOPS 251185 HAS SOUS 182221 HAS SOUPS 181061 WITH SCORE 181319.233
AT ITER 372 NEW BEST:: SOT 429287 SOS 258065 HAS SOPS 251017 HAS SOUS 182024 HAS SOUPS 180864 WITH SCORE 181122.065
AT ITER 377 NEW BEST:: SOT 429087 SOS 257841 HAS SOPS 250906 HAS SOUS 181943 HAS SOUPS 180783 WITH SCORE 181040.841
AT ITER 378 NEW BEST:: SOT 428923 SOS 257693 HAS SOPS 250758 HAS SOUS 181882 HAS SOUPS 180722 WITH SCORE 180979.693
AT ITER 380 NEW BEST:: SOT 428921 SOS 257689 HAS SOPS 250754 HAS SOUS 181878 HAS SOUPS 180718 WITH SCORE 180975.689
AT ITER 385 NEW BEST:: SOT 428915 SOS 257683 HAS SOPS 250748 HAS SOUS 181872 HAS SOUPS 180712 WITH SCORE 180969.683
AT ITER 391 NEW BEST:: SOT 428938 SOS 257706 HAS SOPS 250771 HAS SOUS 181850 HAS SOUPS 180690 WITH SCORE 180947.706
AT ITER 406 NEW BEST:: SOT 428707 SOS 256335 HAS SOPS 249400 HAS SOUS 181585 HAS SOUPS 180425 WITH SCORE 180681.335
AT ITER 414 NEW BEST:: SOT 428512 SOS 256095 HAS SOPS 249160 HAS SOUS 181380 HAS SOUPS 180220 WITH SCORE 180476.095
AT ITER 418 NEW BEST:: SOT 428412 SOS 255995 HAS SOPS 249110 HAS SOUS 181314 HAS SOUPS 180161 WITH SCORE 180416.995
AT ITER 421 NEW BEST:: SOT 428350 SOS 256018 HAS SOPS 249133 HAS SOUS 180722 HAS SOUPS 179569 WITH SCORE 179825.018
AT ITER 422 NEW BEST:: SOT 428320 SOS 255841 HAS SOPS 248956 HAS SOUS 180623 HAS SOUPS 179470 WITH SCORE 179725.841
AT ITER 435 NEW BEST:: SOT 428320 SOS 255841 HAS SOPS 248956 HAS SOUS 180545 HAS SOUPS 179392 WITH SCORE 179647.841
AT ITER 449 NEW BEST:: SOT 428320 SOS 255832 HAS SOPS 248947 HAS SOUS 180545 HAS SOUPS 179392 WITH SCORE 179647.832
AT ITER 453 NEW BEST:: SOT 428234 SOS 255676 HAS SOPS 248724 HAS SOUS 180369 HAS SOUPS 179216 WITH SCORE 179471.676
AT ITER 477 NEW BEST:: SOT 428194 SOS 255636 HAS SOPS 248684 HAS SOUS 180239 HAS SOUPS 179086 WITH SCORE 179341.636
AT ITER 479 NEW BEST:: SOT 427963 SOS 255609 HAS SOPS 248774 HAS SOUS 180092 HAS SOUPS 178939 WITH SCORE 179194.609
AT ITER 484 NEW BEST:: SOT 427937 SOS 255583 HAS SOPS 248807 HAS SOUS 179975 HAS SOUPS 178822 WITH SCORE 179077.583
AT ITER 490 NEW BEST:: SOT 421132 SOS 249137 HAS SOPS 242361 HAS SOUS 173229 HAS SOUPS 172076 WITH SCORE 172325.137
AT ITER 491 NEW BEST:: SOT 421006 SOS 249109 HAS SOPS 242319 HAS SOUS 173193 HAS SOUPS 172026 WITH SCORE 172275.109
AT ITER 492 NEW BEST:: SOT 420667 SOS 248898 HAS SOPS 242256 HAS SOUS 172990 HAS SOUPS 171823 WITH SCORE 172071.898
AT ITER 493 NEW BEST:: SOT 420334 SOS 248815 HAS SOPS 242312 HAS SOUS 172759 HAS SOUPS 171592 WITH SCORE 171840.815
AT ITER 495 NEW BEST:: SOT 420278 SOS 248759 HAS SOPS 242256 HAS SOUS 172734 HAS SOUPS 171567 WITH SCORE 171815.759
AT ITER 504 NEW BEST:: SOT 420160 SOS 248705 HAS SOPS 242202 HAS SOUS 172673 HAS SOUPS 171506 WITH SCORE 171754.705
AT ITER 518 NEW BEST:: SOT 420156 SOS 248683 HAS SOPS 242180 HAS SOUS 172665 HAS SOUPS 171498 WITH SCORE 171746.683
AT ITER 519 NEW BEST:: SOT 419923 SOS 248475 HAS SOPS 241972 HAS SOUS 172578 HAS SOUPS 171411 WITH SCORE 171659.475
AT ITER 530 NEW BEST:: SOT 419841 SOS 248393 HAS SOPS 241890 HAS SOUS 172421 HAS SOUPS 171254 WITH SCORE 171502.393
AT ITER 542 NEW BEST:: SOT 419763 SOS 248315 HAS SOPS 241840 HAS SOUS 172405 HAS SOUPS 171238 WITH SCORE 171486.315
AT ITER 557 NEW BEST:: SOT 419597 SOS 248149 HAS SOPS 241757 HAS SOUS 171990 HAS SOUPS 170823 WITH SCORE 171071.149
AT ITER 559 NEW BEST:: SOT 419559 SOS 248111 HAS SOPS 241738 HAS SOUS 171952 HAS SOUPS 170785 WITH SCORE 171033.111
AT ITER 566 NEW BEST:: SOT 419557 SOS 248109 HAS SOPS 241736 HAS SOUS 171944 HAS SOUPS 170777 WITH SCORE 171025.109
AT ITER 573 NEW BEST:: SOT 418129 SOS 246681 HAS SOPS 240308 HAS SOUS 170516 HAS SOUPS 169349 WITH SCORE 169595.681
AT ITER 586 NEW BEST:: SOT 417612 SOS 246257 HAS SOPS 239884 HAS SOUS 170486 HAS SOUPS 169319 WITH SCORE 169565.257
AT ITER 588 NEW BEST:: SOT 417536 SOS 246181 HAS SOPS 239808 HAS SOUS 170422 HAS SOUPS 169255 WITH SCORE 169501.181
AT ITER 594 NEW BEST:: SOT 417536 SOS 246151 HAS SOPS 239778 HAS SOUS 170422 HAS SOUPS 169255 WITH SCORE 169501.151
AT ITER 604 NEW BEST:: SOT 417443 SOS 246122 HAS SOPS 239749 HAS SOUS 170301 HAS SOUPS 169134 WITH SCORE 169380.122
AT ITER 619 NEW BEST:: SOT 417535 SOS 246502 HAS SOPS 240129 HAS SOUS 169729 HAS SOUPS 168562 WITH SCORE 168808.502
AT ITER 623 NEW BEST:: SOT 417502 SOS 246578 HAS SOPS 240205 HAS SOUS 168925 HAS SOUPS 167758 WITH SCORE 168004.578
AT ITER 631 NEW BEST:: SOT 417470 SOS 246498 HAS SOPS 240141 HAS SOUS 168893 HAS SOUPS 167726 WITH SCORE 167972.498
AT ITER 645 NEW BEST:: SOT 417270 SOS 246334 HAS SOPS 239977 HAS SOUS 168788 HAS SOUPS 167621 WITH SCORE 167867.334
AT ITER 647 NEW BEST:: SOT 417053 SOS 246157 HAS SOPS 239878 HAS SOUS 168286 HAS SOUPS 167119 WITH SCORE 167365.157
AT ITER 652 NEW BEST:: SOT 417015 SOS 246081 HAS SOPS 239802 HAS SOUS 168248 HAS SOUPS 167081 WITH SCORE 167327.081
AT ITER 696 NEW BEST:: SOT 416895 SOS 246207 HAS SOPS 239928 HAS SOUS 168165 HAS SOUPS 166998 WITH SCORE 167244.207
AT ITER 714 NEW BEST:: SOT 416763 SOS 245943 HAS SOPS 239664 HAS SOUS 167869 HAS SOUPS 166702 WITH SCORE 166947.943
AT ITER 717 NEW BEST:: SOT 416807 SOS 246036 HAS SOPS 239757 HAS SOUS 167746 HAS SOUPS 166579 WITH SCORE 166825.036
AT ITER 726 NEW BEST:: SOT 416794 SOS 246023 HAS SOPS 239744 HAS SOUS 167720 HAS SOUPS 166553 WITH SCORE 166799.023
AT ITER 735 NEW BEST:: SOT 416558 SOS 245843 HAS SOPS 239564 HAS SOUS 167602 HAS SOUPS 166435 WITH SCORE 166680.843
AT ITER 736 NEW BEST:: SOT 416542 SOS 245827 HAS SOPS 239548 HAS SOUS 167586 HAS SOUPS 166419 WITH SCORE 166664.827
AT ITER 738 NEW BEST:: SOT 416432 SOS 245674 HAS SOPS 239395 HAS SOUS 167366 HAS SOUPS 166199 WITH SCORE 166444.674
AT ITER 743 NEW BEST:: SOT 416432 SOS 245669 HAS SOPS 239395 HAS SOUS 167365 HAS SOUPS 166199 WITH SCORE 166444.669
AT ITER 746 NEW BEST:: SOT 416461 SOS 245698 HAS SOPS 239371 HAS SOUS 167341 HAS SOUPS 166175 WITH SCORE 166420.698
AT ITER 749 NEW BEST:: SOT 416428 SOS 245770 HAS SOPS 239443 HAS SOUS 167275 HAS SOUPS 166109 WITH SCORE 166354.77
AT ITER 756 NEW BEST:: SOT 416428 SOS 244742 HAS SOPS 238415 HAS SOUS 167272 HAS SOUPS 166106 WITH SCORE 166350.742
AT ITER 757 NEW BEST:: SOT 416485 SOS 245388 HAS SOPS 239061 HAS SOUS 167253 HAS SOUPS 166087 WITH SCORE 166332.388
AT ITER 762 NEW BEST:: SOT 416460 SOS 245088 HAS SOPS 238761 HAS SOUS 167231 HAS SOUPS 166065 WITH SCORE 166310.088
AT ITER 766 NEW BEST:: SOT 416460 SOS 247438 HAS SOPS 242017 HAS SOUS 167002 HAS SOUPS 165935 WITH SCORE 166182.438
AT ITER 770 NEW BEST:: SOT 416514 SOS 247520 HAS SOPS 242077 HAS SOUS 166981 HAS SOUPS 165914 WITH SCORE 166161.52
AT ITER 772 NEW BEST:: SOT 416191 SOS 246566 HAS SOPS 241268 HAS SOUS 166865 HAS SOUPS 165798 WITH SCORE 166044.566
AT ITER 775 NEW BEST:: SOT 416166 SOS 246541 HAS SOPS 241291 HAS SOUS 166851 HAS SOUPS 165784 WITH SCORE 166030.541
AT ITER 786 NEW BEST:: SOT 415878 SOS 246288 HAS SOPS 241038 HAS SOUS 166682 HAS SOUPS 165615 WITH SCORE 165861.288
AT ITER 787 NEW BEST:: SOT 415878 SOS 246305 HAS SOPS 241055 HAS SOUS 166637 HAS SOUPS 165570 WITH SCORE 165816.305
AT ITER 794 NEW BEST:: SOT 415802 SOS 246302 HAS SOPS 241052 HAS SOUS 166609 HAS SOUPS 165542 WITH SCORE 165788.302
AT ITER 811 NEW BEST:: SOT 415770 SOS 246270 HAS SOPS 241020 HAS SOUS 166577 HAS SOUPS 165510 WITH SCORE 165756.27
AT ITER 820 NEW BEST:: SOT 415761 SOS 246261 HAS SOPS 241011 HAS SOUS 166545 HAS SOUPS 165478 WITH SCORE 165724.261
AT ITER 835 NEW BEST:: SOT 415761 SOS 246961 HAS SOPS 241711 HAS SOUS 166416 HAS SOUPS 165349 WITH SCORE 165595.961
AT ITER 849 NEW BEST:: SOT 415675 SOS 247457 HAS SOPS 242207 HAS SOUS 166136 HAS SOUPS 165069 WITH SCORE 165316.457
AT ITER 859 NEW BEST:: SOT 415724 SOS 247525 HAS SOPS 242275 HAS SOUS 166126 HAS SOUPS 165059 WITH SCORE 165306.525
AT ITER 863 NEW BEST:: SOT 415672 SOS 247317 HAS SOPS 242067 HAS SOUS 166048 HAS SOUPS 164981 WITH SCORE 165228.317
AT ITER 865 NEW BEST:: SOT 415672 SOS 247558 HAS SOPS 242308 HAS SOUS 165974 HAS SOUPS 164907 WITH SCORE 165154.558
AT ITER 866 NEW BEST:: SOT 415418 SOS 247513 HAS SOPS 242423 HAS SOUS 165886 HAS SOUPS 164821 WITH SCORE 165068.513
AT ITER 932 NEW BEST:: SOT 415418 SOS 246141 HAS SOPS 241051 HAS SOUS 165852 HAS SOUPS 164787 WITH SCORE 165033.141
AT ITER 934 NEW BEST:: SOT 415106 SOS 245979 HAS SOPS 240889 HAS SOUS 165330 HAS SOUPS 164265 WITH SCORE 164510.979
AT ITER 944 NEW BEST:: SOT 415042 SOS 245726 HAS SOPS 240636 HAS SOUS 165266 HAS SOUPS 164201 WITH SCORE 164446.726
AT ITER 946 NEW BEST:: SOT 415042 SOS 245703 HAS SOPS 240613 HAS SOUS 165259 HAS SOUPS 164194 WITH SCORE 164439.703
AT ITER 955 NEW BEST:: SOT 414862 SOS 245519 HAS SOPS 240429 HAS SOUS 165075 HAS SOUPS 164010 WITH SCORE 164255.519
AT ITER 964 NEW BEST:: SOT 414863 SOS 245520 HAS SOPS 240430 HAS SOUS 165064 HAS SOUPS 163999 WITH SCORE 164244.52
AT ITER 968 NEW BEST:: SOT 414858 SOS 245510 HAS SOPS 240420 HAS SOUS 165049 HAS SOUPS 163984 WITH SCORE 164229.51
AT ITER 969 NEW BEST:: SOT 414852 SOS 245483 HAS SOPS 240393 HAS SOUS 165037 HAS SOUPS 163972 WITH SCORE 164217.483
AT ITER 970 NEW BEST:: SOT 414664 SOS 245382 HAS SOPS 240292 HAS SOUS 164780 HAS SOUPS 163715 WITH SCORE 163960.382
AT ITER 982 NEW BEST:: SOT 414664 SOS 241206 HAS SOPS 236116 HAS SOUS 164721 HAS SOUPS 163656 WITH SCORE 163897.206
AT ITER 983 NEW BEST:: SOT 414631 SOS 241173 HAS SOPS 236083 HAS SOUS 164575 HAS SOUPS 163510 WITH SCORE 163751.173
AT ITER 1004 NEW BEST:: SOT 414612 SOS 241154 HAS SOPS 236064 HAS SOUS 164575 HAS SOUPS 163510 WITH SCORE 163751.154
AT ITER 1008 NEW BEST:: SOT 414383 SOS 241176 HAS SOPS 236086 HAS SOUS 164559 HAS SOUPS 163494 WITH SCORE 163735.176
AT ITER 1014 NEW BEST:: SOT 414275 SOS 241068 HAS SOPS 236040 HAS SOUS 164525 HAS SOUPS 163460 WITH SCORE 163701.068
AT ITER 1020 NEW BEST:: SOT 414248 SOS 241041 HAS SOPS 236028 HAS SOUS 164513 HAS SOUPS 163448 WITH SCORE 163689.041
AT ITER 1025 NEW BEST:: SOT 414256 SOS 241049 HAS SOPS 236036 HAS SOUS 164453 HAS SOUPS 163388 WITH SCORE 163629.049
AT ITER 1033 NEW BEST:: SOT 409583 SOS 236361 HAS SOPS 231348 HAS SOUS 159991 HAS SOUPS 158926 WITH SCORE 159162.361
AT ITER 1038 NEW BEST:: SOT 409518 SOS 236286 HAS SOPS 231273 HAS SOUS 159791 HAS SOUPS 158726 WITH SCORE 158962.286
AT ITER 1052 NEW BEST:: SOT 409288 SOS 236006 HAS SOPS 230993 HAS SOUS 159517 HAS SOUPS 158452 WITH SCORE 158688.006
AT ITER 1053 NEW BEST:: SOT 409336 SOS 235282 HAS SOPS 230269 HAS SOUS 159512 HAS SOUPS 158447 WITH SCORE 158682.282
AT ITER 1056 NEW BEST:: SOT 409224 SOS 235169 HAS SOPS 230156 HAS SOUS 159399 HAS SOUPS 158334 WITH SCORE 158569.169
AT ITER 1063 NEW BEST:: SOT 409002 SOS 234923 HAS SOPS 229910 HAS SOUS 159153 HAS SOUPS 158088 WITH SCORE 158322.923
AT ITER 1070 NEW BEST:: SOT 408874 SOS 234564 HAS SOPS 229551 HAS SOUS 159143 HAS SOUPS 158078 WITH SCORE 158312.564
AT ITER 1082 NEW BEST:: SOT 408712 SOS 234402 HAS SOPS 229389 HAS SOUS 158965 HAS SOUPS 157900 WITH SCORE 158134.402
AT ITER 1086 NEW BEST:: SOT 408692 SOS 234382 HAS SOPS 229378 HAS SOUS 158961 HAS SOUPS 157896 WITH SCORE 158130.382
AT ITER 1110 NEW BEST:: SOT 408692 SOS 233957 HAS SOPS 229019 HAS SOUS 158718 HAS SOUPS 157664 WITH SCORE 157897.957
AT ITER 1132 NEW BEST:: SOT 409635 SOS 233848 HAS SOPS 229209 HAS SOUS 157340 HAS SOUPS 156309 WITH SCORE 156542.848
AT ITER 1144 NEW BEST:: SOT 403876 SOS 228526 HAS SOPS 223887 HAS SOUS 153712 HAS SOUPS 152681 WITH SCORE 152909.526
AT ITER 1161 NEW BEST:: SOT 403862 SOS 228400 HAS SOPS 223761 HAS SOUS 153684 HAS SOUPS 152653 WITH SCORE 152881.4
AT ITER 1167 NEW BEST:: SOT 403600 SOS 228166 HAS SOPS 223527 HAS SOUS 153584 HAS SOUPS 152553 WITH SCORE 152781.166
AT ITER 1177 NEW BEST:: SOT 403613 SOS 228179 HAS SOPS 223540 HAS SOUS 153538 HAS SOUPS 152507 WITH SCORE 152735.179
AT ITER 1184 NEW BEST:: SOT 403572 SOS 228151 HAS SOPS 223512 HAS SOUS 153101 HAS SOUPS 152070 WITH SCORE 152298.151
AT ITER 1192 NEW BEST:: SOT 403271 SOS 227903 HAS SOPS 223264 HAS SOUS 152916 HAS SOUPS 151885 WITH SCORE 152112.903
AT ITER 1195 NEW BEST:: SOT 403143 SOS 227775 HAS SOPS 223136 HAS SOUS 152724 HAS SOUPS 151693 WITH SCORE 151920.775
AT ITER 1198 NEW BEST:: SOT 403071 SOS 227722 HAS SOPS 223083 HAS SOUS 152673 HAS SOUPS 151642 WITH SCORE 151869.722
AT ITER 1200 NEW BEST:: SOT 403024 SOS 227581 HAS SOPS 222942 HAS SOUS 152626 HAS SOUPS 151595 WITH SCORE 151822.581
AT ITER 1202 NEW BEST:: SOT 402988 SOS 227509 HAS SOPS 222870 HAS SOUS 152554 HAS SOUPS 151523 WITH SCORE 151750.509
AT ITER 1207 NEW BEST:: SOT 402922 SOS 227443 HAS SOPS 222804 HAS SOUS 152354 HAS SOUPS 151323 WITH SCORE 151550.443
AT ITER 1219 NEW BEST:: SOT 402821 SOS 227547 HAS SOPS 222943 HAS SOUS 152320 HAS SOUPS 151289 WITH SCORE 151516.547
AT ITER 1233 NEW BEST:: SOT 402821 SOS 227487 HAS SOPS 222883 HAS SOUS 152319 HAS SOUPS 151288 WITH SCORE 151515.487
AT ITER 1238 NEW BEST:: SOT 402493 SOS 244423 HAS SOPS 240455 HAS SOUS 152024 HAS SOUPS 151099 WITH SCORE 151343.423
AT ITER 1250 NEW BEST:: SOT 402480 SOS 244410 HAS SOPS 240442 HAS SOUS 151989 HAS SOUPS 151064 WITH SCORE 151308.41
AT ITER 1252 NEW BEST:: SOT 402313 SOS 244243 HAS SOPS 240275 HAS SOUS 151705 HAS SOUPS 150780 WITH SCORE 151024.243
AT ITER 1256 NEW BEST:: SOT 402313 SOS 244416 HAS SOPS 240448 HAS SOUS 151700 HAS SOUPS 150775 WITH SCORE 151019.416
AT ITER 1276 NEW BEST:: SOT 402212 SOS 243696 HAS SOPS 239731 HAS SOUS 151535 HAS SOUPS 150610 WITH SCORE 150853.696
AT ITER 1280 NEW BEST:: SOT 402023 SOS 243556 HAS SOPS 239591 HAS SOUS 151346 HAS SOUPS 150421 WITH SCORE 150664.556
AT ITER 1281 NEW BEST:: SOT 401996 SOS 243529 HAS SOPS 239564 HAS SOUS 151295 HAS SOUPS 150370 WITH SCORE 150613.529
AT ITER 1288 NEW BEST:: SOT 402012 SOS 243603 HAS SOPS 239638 HAS SOUS 150732 HAS SOUPS 149807 WITH SCORE 150050.603
AT ITER 1293 NEW BEST:: SOT 401984 SOS 243575 HAS SOPS 239582 HAS SOUS 150708 HAS SOUPS 149783 WITH SCORE 150026.575
AT ITER 1295 NEW BEST:: SOT 401947 SOS 243501 HAS SOPS 239545 HAS SOUS 150695 HAS SOUPS 149770 WITH SCORE 150013.501
AT ITER 1296 NEW BEST:: SOT 401946 SOS 243500 HAS SOPS 239544 HAS SOUS 150679 HAS SOUPS 149754 WITH SCORE 149997.5
AT ITER 1301 NEW BEST:: SOT 401985 SOS 243539 HAS SOPS 239583 HAS SOUS 150640 HAS SOUPS 149715 WITH SCORE 149958.539
AT ITER 1310 NEW BEST:: SOT 401985 SOS 243539 HAS SOPS 239583 HAS SOUS 150625 HAS SOUPS 149700 WITH SCORE 149943.539
AT ITER 1330 NEW BEST:: SOT 402001 SOS 243537 HAS SOPS 239581 HAS SOUS 150086 HAS SOUPS 149161 WITH SCORE 149404.537
AT ITER 1340 NEW BEST:: SOT 401986 SOS 243516 HAS SOPS 239560 HAS SOUS 150056 HAS SOUPS 149131 WITH SCORE 149374.516
AT ITER 1347 NEW BEST:: SOT 402024 SOS 243554 HAS SOPS 239598 HAS SOUS 150028 HAS SOUPS 149103 WITH SCORE 149346.554
AT ITER 1356 NEW BEST:: SOT 401973 SOS 243335 HAS SOPS 239379 HAS SOUS 150007 HAS SOUPS 149082 WITH SCORE 149325.335
AT ITER 1395 NEW BEST:: SOT 401967 SOS 243329 HAS SOPS 239367 HAS SOUS 149995 HAS SOUPS 149070 WITH SCORE 149313.329
AT ITER 1423 NEW BEST:: SOT 401957 SOS 243311 HAS SOPS 239349 HAS SOUS 149975 HAS SOUPS 149050 WITH SCORE 149293.311
AT ITER 1434 NEW BEST:: SOT 401952 SOS 243306 HAS SOPS 239354 HAS SOUS 149973 HAS SOUPS 149048 WITH SCORE 149291.306
AT ITER 1439 NEW BEST:: SOT 401925 SOS 243241 HAS SOPS 239289 HAS SOUS 149957 HAS SOUPS 149032 WITH SCORE 149275.241
AT ITER 1443 NEW BEST:: SOT 401907 SOS 243223 HAS SOPS 239289 HAS SOUS 149956 HAS SOUPS 149031 WITH SCORE 149274.223
AT ITER 1452 NEW BEST:: SOT 401945 SOS 243128 HAS SOPS 239120 HAS SOUS 149669 HAS SOUPS 148744 WITH SCORE 148987.128
AT ITER 1453 NEW BEST:: SOT 401898 SOS 243034 HAS SOPS 239026 HAS SOUS 149622 HAS SOUPS 148697 WITH SCORE 148940.034
AT ITER 1456 NEW BEST:: SOT 401844 SOS 242967 HAS SOPS 239088 HAS SOUS 149533 HAS SOUPS 148608 WITH SCORE 148850.967
AT ITER 1470 NEW BEST:: SOT 401832 SOS 242439 HAS SOPS 238560 HAS SOUS 149521 HAS SOUPS 148596 WITH SCORE 148838.439
AT ITER 1478 NEW BEST:: SOT 401813 SOS 242375 HAS SOPS 238496 HAS SOUS 148600 HAS SOUPS 147675 WITH SCORE 147917.375
AT ITER 1480 NEW BEST:: SOT 401773 SOS 242388 HAS SOPS 238509 HAS SOUS 148559 HAS SOUPS 147634 WITH SCORE 147876.388
AT ITER 1499 NEW BEST:: SOT 401643 SOS 242205 HAS SOPS 238326 HAS SOUS 148343 HAS SOUPS 147418 WITH SCORE 147660.205
AT ITER 1504 NEW BEST:: SOT 401774 SOS 242631 HAS SOPS 238687 HAS SOUS 148259 HAS SOUPS 147334 WITH SCORE 147576.631
AT ITER 1510 NEW BEST:: SOT 401737 SOS 242482 HAS SOPS 238538 HAS SOUS 147952 HAS SOUPS 147027 WITH SCORE 147269.482
AT ITER 1513 NEW BEST:: SOT 401727 SOS 242472 HAS SOPS 238528 HAS SOUS 147940 HAS SOUPS 147015 WITH SCORE 147257.472
AT ITER 1514 NEW BEST:: SOT 401751 SOS 242496 HAS SOPS 238552 HAS SOUS 147935 HAS SOUPS 147010 WITH SCORE 147252.496
AT ITER 1519 NEW BEST:: SOT 401949 SOS 242788 HAS SOPS 238844 HAS SOUS 147864 HAS SOUPS 146939 WITH SCORE 147181.788
AT ITER 1527 NEW BEST:: SOT 401920 SOS 242799 HAS SOPS 238763 HAS SOUS 147687 HAS SOUPS 146762 WITH SCORE 147004.799
AT ITER 1543 NEW BEST:: SOT 401891 SOS 242725 HAS SOPS 238689 HAS SOUS 147659 HAS SOUPS 146734 WITH SCORE 146976.725
AT ITER 1564 NEW BEST:: SOT 401822 SOS 242656 HAS SOPS 238620 HAS SOUS 147590 HAS SOUPS 146665 WITH SCORE 146907.656
AT ITER 1581 NEW BEST:: SOT 402164 SOS 243051 HAS SOPS 239015 HAS SOUS 146482 HAS SOUPS 145557 WITH SCORE 145800.051
AT ITER 1582 NEW BEST:: SOT 402200 SOS 243144 HAS SOPS 239108 HAS SOUS 146219 HAS SOUPS 145294 WITH SCORE 145537.144
AT ITER 1589 NEW BEST:: SOT 402024 SOS 242946 HAS SOPS 238921 HAS SOUS 146168 HAS SOUPS 145243 WITH SCORE 145485.946
AT ITER 1591 NEW BEST:: SOT 402035 SOS 243139 HAS SOPS 239025 HAS SOUS 146090 HAS SOUPS 145165 WITH SCORE 145408.139
AT ITER 1592 NEW BEST:: SOT 402035 SOS 241717 HAS SOPS 237741 HAS SOUS 144445 HAS SOUPS 143548 WITH SCORE 143789.717
AT ITER 1593 NEW BEST:: SOT 402571 SOS 241143 HAS SOPS 237167 HAS SOUS 144213 HAS SOUPS 143316 WITH SCORE 143557.143
AT ITER 1600 NEW BEST:: SOT 402572 SOS 241103 HAS SOPS 237127 HAS SOUS 144173 HAS SOUPS 143276 WITH SCORE 143517.103
AT ITER 1604 NEW BEST:: SOT 402570 SOS 241101 HAS SOPS 237125 HAS SOUS 144169 HAS SOUPS 143272 WITH SCORE 143513.101
AT ITER 1607 NEW BEST:: SOT 402814 SOS 240644 HAS SOPS 236628 HAS SOUS 140280 HAS SOUPS 139343 WITH SCORE 139583.644
AT ITER 1620 NEW BEST:: SOT 402747 SOS 240838 HAS SOPS 236822 HAS SOUS 140234 HAS SOUPS 139297 WITH SCORE 139537.838
AT ITER 1621 NEW BEST:: SOT 402453 SOS 240493 HAS SOPS 236553 HAS SOUS 139943 HAS SOUPS 139006 WITH SCORE 139246.493
AT ITER 1626 NEW BEST:: SOT 402453 SOS 240461 HAS SOPS 236475 HAS SOUS 139944 HAS SOUPS 138997 WITH SCORE 139237.461
AT ITER 1637 NEW BEST:: SOT 402407 SOS 240415 HAS SOPS 236429 HAS SOUS 139875 HAS SOUPS 138928 WITH SCORE 139168.415
AT ITER 1640 NEW BEST:: SOT 402386 SOS 240394 HAS SOPS 236408 HAS SOUS 139833 HAS SOUPS 138886 WITH SCORE 139126.394
AT ITER 1646 NEW BEST:: SOT 402409 SOS 241005 HAS SOPS 237019 HAS SOUS 139494 HAS SOUPS 138547 WITH SCORE 138788.005
AT ITER 1662 NEW BEST:: SOT 402285 SOS 240881 HAS SOPS 236895 HAS SOUS 139398 HAS SOUPS 138451 WITH SCORE 138691.881
AT ITER 1672 NEW BEST:: SOT 402240 SOS 240836 HAS SOPS 236850 HAS SOUS 139290 HAS SOUPS 138343 WITH SCORE 138583.836
AT ITER 1673 NEW BEST:: SOT 402162 SOS 240118 HAS SOPS 236132 HAS SOUS 139212 HAS SOUPS 138265 WITH SCORE 138505.118
AT ITER 1674 NEW BEST:: SOT 401575 SOS 239500 HAS SOPS 235514 HAS SOUS 138584 HAS SOUPS 137637 WITH SCORE 137876.5
AT ITER 1681 NEW BEST:: SOT 401575 SOS 239480 HAS SOPS 235494 HAS SOUS 138546 HAS SOUPS 137599 WITH SCORE 137838.48
AT ITER 1690 NEW BEST:: SOT 401455 SOS 239360 HAS SOPS 235374 HAS SOUS 138306 HAS SOUPS 137359 WITH SCORE 137598.36
AT ITER 1696 NEW BEST:: SOT 401471 SOS 239447 HAS SOPS 235461 HAS SOUS 138295 HAS SOUPS 137348 WITH SCORE 137587.447
AT ITER 1711 NEW BEST:: SOT 401318 SOS 239301 HAS SOPS 235470 HAS SOUS 138293 HAS SOUPS 137346 WITH SCORE 137585.301
AT ITER 1726 NEW BEST:: SOT 401308 SOS 239291 HAS SOPS 235450 HAS SOUS 138273 HAS SOUPS 137326 WITH SCORE 137565.291
AT ITER 1728 NEW BEST:: SOT 401296 SOS 239279 HAS SOPS 235438 HAS SOUS 138253 HAS SOUPS 137306 WITH SCORE 137545.279
AT ITER 1736 NEW BEST:: SOT 401272 SOS 239213 HAS SOPS 235372 HAS SOUS 138235 HAS SOUPS 137288 WITH SCORE 137527.213
AT ITER 1754 NEW BEST:: SOT 400979 SOS 238790 HAS SOPS 234962 HAS SOUS 137955 HAS SOUPS 137008 WITH SCORE 137246.79
AT ITER 1780 NEW BEST:: SOT 400978 SOS 238789 HAS SOPS 234961 HAS SOUS 137937 HAS SOUPS 136990 WITH SCORE 137228.789
AT ITER 1793 NEW BEST:: SOT 400785 SOS 238403 HAS SOPS 234575 HAS SOUS 137551 HAS SOUPS 136604 WITH SCORE 136842.403
AT ITER 1796 NEW BEST:: SOT 400768 SOS 238403 HAS SOPS 234575 HAS SOUS 137347 HAS SOUPS 136400 WITH SCORE 136638.403
AT ITER 1802 NEW BEST:: SOT 400729 SOS 238364 HAS SOPS 234575 HAS SOUS 137269 HAS SOUPS 136322 WITH SCORE 136560.364
AT ITER 1823 NEW BEST:: SOT 400719 SOS 238354 HAS SOPS 234570 HAS SOUS 137259 HAS SOUPS 136312 WITH SCORE 136550.354
AT ITER 1843 NEW BEST:: SOT 400581 SOS 238155 HAS SOPS 234371 HAS SOUS 137143 HAS SOUPS 136196 WITH SCORE 136434.155
AT ITER 1845 NEW BEST:: SOT 400489 SOS 237976 HAS SOPS 234192 HAS SOUS 137078 HAS SOUPS 136131 WITH SCORE 136368.976
AT ITER 1849 NEW BEST:: SOT 400481 SOS 238056 HAS SOPS 234272 HAS SOUS 137009 HAS SOUPS 136062 WITH SCORE 136300.056
AT ITER 1857 NEW BEST:: SOT 400273 SOS 237848 HAS SOPS 234064 HAS SOUS 136909 HAS SOUPS 135962 WITH SCORE 136199.848
AT ITER 1872 NEW BEST:: SOT 400391 SOS 238827 HAS SOPS 234904 HAS SOUS 136562 HAS SOUPS 135615 WITH SCORE 135853.827
AT ITER 1873 NEW BEST:: SOT 400437 SOS 238873 HAS SOPS 234950 HAS SOUS 136223 HAS SOUPS 135276 WITH SCORE 135514.873
AT ITER 1878 NEW BEST:: SOT 400389 SOS 238825 HAS SOPS 234902 HAS SOUS 136129 HAS SOUPS 135182 WITH SCORE 135420.825
AT ITER 1880 NEW BEST:: SOT 400683 SOS 239777 HAS SOPS 235776 HAS SOUS 136128 HAS SOUPS 135181 WITH SCORE 135420.777
AT ITER 1920 NEW BEST:: SOT 400667 SOS 239761 HAS SOPS 235760 HAS SOUS 136120 HAS SOUPS 135173 WITH SCORE 135412.761
AT ITER 1921 NEW BEST:: SOT 400670 SOS 239807 HAS SOPS 235806 HAS SOUS 136083 HAS SOUPS 135136 WITH SCORE 135375.807
AT ITER 1951 NEW BEST:: SOT 400670 SOS 239803 HAS SOPS 235802 HAS SOUS 136083 HAS SOUPS 135136 WITH SCORE 135375.803
AT ITER 1964 NEW BEST:: SOT 400672 SOS 239740 HAS SOPS 235739 HAS SOUS 136010 HAS SOUPS 135063 WITH SCORE 135302.74
AT ITER 1967 NEW BEST:: SOT 400599 SOS 239588 HAS SOPS 235587 HAS SOUS 135864 HAS SOUPS 134917 WITH SCORE 135156.588
AT ITER 1978 NEW BEST:: SOT 400661 SOS 239650 HAS SOPS 235555 HAS SOUS 135926 HAS SOUPS 134885 WITH SCORE 135124.65
AT ITER 1991 NEW BEST:: SOT 400667 SOS 239656 HAS SOPS 235561 HAS SOUS 135914 HAS SOUPS 134873 WITH SCORE 135112.656
AT ITER 1994 NEW BEST:: SOT 400591 SOS 239580 HAS SOPS 235485 HAS SOUS 135800 HAS SOUPS 134759 WITH SCORE 134998.58
AT ITER 1998 NEW BEST:: SOT 400549 SOS 239576 HAS SOPS 235539 HAS SOUS 135782 HAS SOUPS 134741 WITH SCORE 134980.576
AT ITER 2014 NEW BEST:: SOT 400541 SOS 239568 HAS SOPS 235531 HAS SOUS 135762 HAS SOUPS 134721 WITH SCORE 134960.568
AT ITER 2018 NEW BEST:: SOT 400524 SOS 239585 HAS SOPS 235548 HAS SOUS 135730 HAS SOUPS 134689 WITH SCORE 134928.585
AT ITER 2031 NEW BEST:: SOT 400702 SOS 239792 HAS SOPS 235755 HAS SOUS 135670 HAS SOUPS 134629 WITH SCORE 134868.792
AT ITER 2034 NEW BEST:: SOT 400605 SOS 239619 HAS SOPS 235582 HAS SOUS 135497 HAS SOUPS 134456 WITH SCORE 134695.619
AT ITER 2042 NEW BEST:: SOT 400495 SOS 239509 HAS SOPS 235472 HAS SOUS 135440 HAS SOUPS 134399 WITH SCORE 134638.509
AT ITER 2056 NEW BEST:: SOT 400375 SOS 239398 HAS SOPS 235361 HAS SOUS 135379 HAS SOUPS 134338 WITH SCORE 134577.398
AT ITER 2058 NEW BEST:: SOT 400339 SOS 239362 HAS SOPS 235325 HAS SOUS 135343 HAS SOUPS 134302 WITH SCORE 134541.362
AT ITER 2074 NEW BEST:: SOT 400301 SOS 239324 HAS SOPS 235287 HAS SOUS 135330 HAS SOUPS 134289 WITH SCORE 134528.324
AT ITER 2076 NEW BEST:: SOT 400301 SOS 239343 HAS SOPS 235306 HAS SOUS 135311 HAS SOUPS 134270 WITH SCORE 134509.343
AT ITER 2086 NEW BEST:: SOT 400457 SOS 239562 HAS SOPS 235525 HAS SOUS 135156 HAS SOUPS 134115 WITH SCORE 134354.562
AT ITER 2089 NEW BEST:: SOT 400448 SOS 239553 HAS SOPS 235507 HAS SOUS 135146 HAS SOUPS 134097 WITH SCORE 134336.553
AT ITER 2090 NEW BEST:: SOT 400411 SOS 239501 HAS SOPS 235360 HAS SOUS 135074 HAS SOUPS 134025 WITH SCORE 134264.501
AT ITER 2092 NEW BEST:: SOT 400361 SOS 239133 HAS SOPS 234992 HAS SOUS 134980 HAS SOUPS 133931 WITH SCORE 134170.133
AT ITER 2101 NEW BEST:: SOT 400341 SOS 239093 HAS SOPS 234952 HAS SOUS 134940 HAS SOUPS 133891 WITH SCORE 134130.093
AT ITER 2106 NEW BEST:: SOT 400291 SOS 238902 HAS SOPS 234761 HAS SOUS 134849 HAS SOUPS 133800 WITH SCORE 134038.902
AT ITER 2115 NEW BEST:: SOT 400249 SOS 238860 HAS SOPS 234719 HAS SOUS 134738 HAS SOUPS 133689 WITH SCORE 133927.86
AT ITER 2116 NEW BEST:: SOT 400249 SOS 238860 HAS SOPS 234719 HAS SOUS 134685 HAS SOUPS 133636 WITH SCORE 133874.86
AT ITER 2119 NEW BEST:: SOT 400249 SOS 238864 HAS SOPS 234723 HAS SOUS 134681 HAS SOUPS 133632 WITH SCORE 133870.864
AT ITER 2130 NEW BEST:: SOT 399997 SOS 238675 HAS SOPS 234534 HAS SOUS 134492 HAS SOUPS 133443 WITH SCORE 133681.675
AT ITER 2131 NEW BEST:: SOT 399997 SOS 238193 HAS SOPS 234052 HAS SOUS 134454 HAS SOUPS 133405 WITH SCORE 133643.193
AT ITER 2133 NEW BEST:: SOT 399881 SOS 237688 HAS SOPS 233547 HAS SOUS 134224 HAS SOUPS 133175 WITH SCORE 133412.688
AT ITER 2138 NEW BEST:: SOT 399896 SOS 237773 HAS SOPS 233619 HAS SOUS 134212 HAS SOUPS 133163 WITH SCORE 133400.773
AT ITER 2147 NEW BEST:: SOT 399890 SOS 237767 HAS SOPS 233613 HAS SOUS 134210 HAS SOUPS 133161 WITH SCORE 133398.767
AT ITER 2152 NEW BEST:: SOT 401112 SOS 235642 HAS SOPS 231562 HAS SOUS 129088 HAS SOUPS 128072 WITH SCORE 128307.642
AT ITER 2177 NEW BEST:: SOT 401069 SOS 235561 HAS SOPS 231481 HAS SOUS 128964 HAS SOUPS 127948 WITH SCORE 128183.561
AT ITER 2178 NEW BEST:: SOT 401017 SOS 235441 HAS SOPS 231361 HAS SOUS 128892 HAS SOUPS 127876 WITH SCORE 128111.441
AT ITER 2179 NEW BEST:: SOT 401576 SOS 236087 HAS SOPS 232007 HAS SOUS 128472 HAS SOUPS 127456 WITH SCORE 127692.087
AT ITER 2207 NEW BEST:: SOT 401210 SOS 233947 HAS SOPS 229970 HAS SOUS 128096 HAS SOUPS 127080 WITH SCORE 127313.947
AT ITER 2230 NEW BEST:: SOT 401175 SOS 233912 HAS SOPS 229935 HAS SOUS 128061 HAS SOUPS 127045 WITH SCORE 127278.912
AT ITER 2253 NEW BEST:: SOT 400903 SOS 233570 HAS SOPS 229593 HAS SOUS 127780 HAS SOUPS 126764 WITH SCORE 126997.57
AT ITER 2261 NEW BEST:: SOT 400908 SOS 233562 HAS SOPS 229574 HAS SOUS 127710 HAS SOUPS 126694 WITH SCORE 126927.562
AT ITER 2262 NEW BEST:: SOT 400697 SOS 233125 HAS SOPS 229141 HAS SOUS 127493 HAS SOUPS 126477 WITH SCORE 126710.125
AT ITER 2272 NEW BEST:: SOT 400686 SOS 233114 HAS SOPS 229130 HAS SOUS 127482 HAS SOUPS 126466 WITH SCORE 126699.114
AT ITER 2279 NEW BEST:: SOT 400680 SOS 232914 HAS SOPS 228930 HAS SOUS 127476 HAS SOUPS 126460 WITH SCORE 126692.914
AT ITER 2284 NEW BEST:: SOT 400596 SOS 232824 HAS SOPS 228840 HAS SOUS 127376 HAS SOUPS 126360 WITH SCORE 126592.824
AT ITER 2291 NEW BEST:: SOT 400596 SOS 232844 HAS SOPS 228860 HAS SOUS 127356 HAS SOUPS 126340 WITH SCORE 126572.844
AT ITER 2297 NEW BEST:: SOT 400598 SOS 232869 HAS SOPS 228885 HAS SOUS 127247 HAS SOUPS 126231 WITH SCORE 126463.869
AT ITER 2304 NEW BEST:: SOT 400365 SOS 232649 HAS SOPS 228665 HAS SOUS 127107 HAS SOUPS 126091 WITH SCORE 126323.649
AT ITER 2314 NEW BEST:: SOT 400381 SOS 232044 HAS SOPS 228091 HAS SOUS 127053 HAS SOUPS 126037 WITH SCORE 126269.044
AT ITER 2316 NEW BEST:: SOT 400198 SOS 231596 HAS SOPS 227643 HAS SOUS 127000 HAS SOUPS 125984 WITH SCORE 126215.596
AT ITER 2326 NEW BEST:: SOT 400105 SOS 231521 HAS SOPS 227568 HAS SOUS 126746 HAS SOUPS 125730 WITH SCORE 125961.521
AT ITER 2340 NEW BEST:: SOT 400105 SOS 231521 HAS SOPS 227568 HAS SOUS 126720 HAS SOUPS 125704 WITH SCORE 125935.521
AT ITER 2348 NEW BEST:: SOT 399686 SOS 231187 HAS SOPS 227234 HAS SOUS 126577 HAS SOUPS 125561 WITH SCORE 125792.187
AT ITER 2351 NEW BEST:: SOT 399659 SOS 231160 HAS SOPS 227207 HAS SOUS 126469 HAS SOUPS 125453 WITH SCORE 125684.16
AT ITER 2353 NEW BEST:: SOT 398468 SOS 229947 HAS SOPS 225994 HAS SOUS 125224 HAS SOUPS 124208 WITH SCORE 124437.947
AT ITER 2357 NEW BEST:: SOT 398460 SOS 229939 HAS SOPS 225990 HAS SOUS 125212 HAS SOUPS 124196 WITH SCORE 124425.939
AT ITER 2358 NEW BEST:: SOT 398414 SOS 229893 HAS SOPS 225967 HAS SOUS 125212 HAS SOUPS 124196 WITH SCORE 124425.893
AT ITER 2378 NEW BEST:: SOT 398406 SOS 229849 HAS SOPS 225923 HAS SOUS 125112 HAS SOUPS 124096 WITH SCORE 124325.849
AT ITER 2384 NEW BEST:: SOT 398415 SOS 228926 HAS SOPS 225000 HAS SOUS 125011 HAS SOUPS 123995 WITH SCORE 124223.926
AT ITER 2396 NEW BEST:: SOT 398395 SOS 228863 HAS SOPS 224937 HAS SOUS 124971 HAS SOUPS 123955 WITH SCORE 124183.863
AT ITER 2397 NEW BEST:: SOT 398188 SOS 228656 HAS SOPS 224730 HAS SOUS 124764 HAS SOUPS 123748 WITH SCORE 123976.656
AT ITER 2427 NEW BEST:: SOT 398134 SOS 228656 HAS SOPS 224730 HAS SOUS 124656 HAS SOUPS 123640 WITH SCORE 123868.656
AT ITER 2433 NEW BEST:: SOT 398134 SOS 228656 HAS SOPS 224730 HAS SOUS 124650 HAS SOUPS 123634 WITH SCORE 123862.656
AT ITER 2437 NEW BEST:: SOT 398131 SOS 228653 HAS SOPS 224727 HAS SOUS 124644 HAS SOUPS 123628 WITH SCORE 123856.653
AT ITER 2440 NEW BEST:: SOT 398086 SOS 228608 HAS SOPS 224682 HAS SOUS 124628 HAS SOUPS 123612 WITH SCORE 123840.608
AT ITER 2445 NEW BEST:: SOT 398002 SOS 228527 HAS SOPS 224601 HAS SOUS 124526 HAS SOUPS 123510 WITH SCORE 123738.527
AT ITER 2446 NEW BEST:: SOT 398421 SOS 229007 HAS SOPS 225081 HAS SOUS 124281 HAS SOUPS 123265 WITH SCORE 123494.007
AT ITER 2499 NEW BEST:: SOT 398393 SOS 228061 HAS SOPS 224135 HAS SOUS 124185 HAS SOUPS 123169 WITH SCORE 123397.061
AT ITER 2503 NEW BEST:: SOT 398386 SOS 228061 HAS SOPS 224135 HAS SOUS 124178 HAS SOUPS 123162 WITH SCORE 123390.061
AT ITER 2515 NEW BEST:: SOT 398368 SOS 228043 HAS SOPS 224117 HAS SOUS 124146 HAS SOUPS 123130 WITH SCORE 123358.043
AT ITER 2549 NEW BEST:: SOT 398479 SOS 228218 HAS SOPS 224292 HAS SOUS 122928 HAS SOUPS 121912 WITH SCORE 122140.218
AT ITER 2555 NEW BEST:: SOT 398479 SOS 228480 HAS SOPS 224554 HAS SOUS 122876 HAS SOUPS 121860 WITH SCORE 122088.48
AT ITER 2557 NEW BEST:: SOT 398309 SOS 228329 HAS SOPS 224403 HAS SOUS 122823 HAS SOUPS 121807 WITH SCORE 122035.329
AT ITER 2558 NEW BEST:: SOT 398272 SOS 228292 HAS SOPS 224366 HAS SOUS 122811 HAS SOUPS 121795 WITH SCORE 122023.292
AT ITER 2564 NEW BEST:: SOT 398250 SOS 228270 HAS SOPS 224344 HAS SOUS 122789 HAS SOUPS 121773 WITH SCORE 122001.27
AT ITER 2570 NEW BEST:: SOT 398249 SOS 228271 HAS SOPS 224346 HAS SOUS 122786 HAS SOUPS 121770 WITH SCORE 121998.271
AT ITER 2571 NEW BEST:: SOT 398209 SOS 228429 HAS SOPS 224336 HAS SOUS 122756 HAS SOUPS 121712 WITH SCORE 121940.429
AT ITER 2573 NEW BEST:: SOT 398249 SOS 228151 HAS SOPS 224058 HAS SOUS 122696 HAS SOUPS 121652 WITH SCORE 121880.151
AT ITER 2581 NEW BEST:: SOT 398169 SOS 228099 HAS SOPS 224006 HAS SOUS 122676 HAS SOUPS 121632 WITH SCORE 121860.099
AT ITER 2602 NEW BEST:: SOT 398258 SOS 228116 HAS SOPS 224023 HAS SOUS 122484 HAS SOUPS 121440 WITH SCORE 121668.116
AT ITER 2606 NEW BEST:: SOT 398258 SOS 228106 HAS SOPS 224013 HAS SOUS 122484 HAS SOUPS 121440 WITH SCORE 121668.106
AT ITER 2635 NEW BEST:: SOT 398204 SOS 228070 HAS SOPS 223977 HAS SOUS 122412 HAS SOUPS 121368 WITH SCORE 121596.07
AT ITER 2638 NEW BEST:: SOT 398122 SOS 227988 HAS SOPS 223968 HAS SOUS 122357 HAS SOUPS 121365 WITH SCORE 121592.988
AT ITER 2651 NEW BEST:: SOT 398138 SOS 228052 HAS SOPS 224032 HAS SOUS 122342 HAS SOUPS 121350 WITH SCORE 121578.052
AT ITER 2657 NEW BEST:: SOT 398125 SOS 228039 HAS SOPS 224035 HAS SOUS 122316 HAS SOUPS 121324 WITH SCORE 121552.039
AT ITER 2671 NEW BEST:: SOT 398088 SOS 228046 HAS SOPS 224042 HAS SOUS 122315 HAS SOUPS 121323 WITH SCORE 121551.046
AT ITER 2674 NEW BEST:: SOT 398178 SOS 228532 HAS SOPS 224528 HAS SOUS 122311 HAS SOUPS 121319 WITH SCORE 121547.532
AT ITER 2675 NEW BEST:: SOT 397959 SOS 228341 HAS SOPS 224337 HAS SOUS 122211 HAS SOUPS 121219 WITH SCORE 121447.341
AT ITER 2682 NEW BEST:: SOT 397959 SOS 228341 HAS SOPS 224337 HAS SOUS 122195 HAS SOUPS 121203 WITH SCORE 121431.341
AT ITER 2684 NEW BEST:: SOT 397874 SOS 228259 HAS SOPS 224255 HAS SOUS 122174 HAS SOUPS 121182 WITH SCORE 121410.259
AT ITER 2689 NEW BEST:: SOT 397793 SOS 228146 HAS SOPS 224142 HAS SOUS 121993 HAS SOUPS 121001 WITH SCORE 121229.146
AT ITER 2692 NEW BEST:: SOT 397793 SOS 228148 HAS SOPS 224144 HAS SOUS 121991 HAS SOUPS 120999 WITH SCORE 121227.148
AT ITER 2695 NEW BEST:: SOT 397793 SOS 228181 HAS SOPS 224177 HAS SOUS 121969 HAS SOUPS 120977 WITH SCORE 121205.181
AT ITER 2697 NEW BEST:: SOT 397865 SOS 228382 HAS SOPS 224378 HAS SOUS 121919 HAS SOUPS 120927 WITH SCORE 121155.382
AT ITER 2702 NEW BEST:: SOT 397777 SOS 228294 HAS SOPS 224322 HAS SOUS 121683 HAS SOUPS 120691 WITH SCORE 120919.294
AT ITER 2715 NEW BEST:: SOT 397689 SOS 228118 HAS SOPS 224146 HAS SOUS 121683 HAS SOUPS 120691 WITH SCORE 120919.118
AT ITER 2753 NEW BEST:: SOT 397536 SOS 227888 HAS SOPS 223967 HAS SOUS 121439 HAS SOUPS 120447 WITH SCORE 120674.888
AT ITER 2782 NEW BEST:: SOT 397522 SOS 227874 HAS SOPS 223953 HAS SOUS 121425 HAS SOUPS 120433 WITH SCORE 120660.874
AT ITER 2802 NEW BEST:: SOT 397473 SOS 227898 HAS SOPS 223977 HAS SOUS 121110 HAS SOUPS 120118 WITH SCORE 120345.898
AT ITER 2808 NEW BEST:: SOT 397497 SOS 227922 HAS SOPS 223969 HAS SOUS 121082 HAS SOUPS 120090 WITH SCORE 120317.922
AT ITER 2838 NEW BEST:: SOT 397458 SOS 227886 HAS SOPS 223933 HAS SOUS 120632 HAS SOUPS 119640 WITH SCORE 119867.886
AT ITER 2849 NEW BEST:: SOT 397382 SOS 227677 HAS SOPS 223724 HAS SOUS 120556 HAS SOUPS 119564 WITH SCORE 119791.677
AT ITER 2871 NEW BEST:: SOT 397300 SOS 227504 HAS SOPS 223551 HAS SOUS 120485 HAS SOUPS 119493 WITH SCORE 119720.504
AT ITER 2885 NEW BEST:: SOT 397244 SOS 227389 HAS SOPS 223436 HAS SOUS 120370 HAS SOUPS 119378 WITH SCORE 119605.389
AT ITER 2889 NEW BEST:: SOT 397224 SOS 227349 HAS SOPS 223396 HAS SOUS 120270 HAS SOUPS 119278 WITH SCORE 119505.349
AT ITER 2912 NEW BEST:: SOT 397203 SOS 227307 HAS SOPS 223354 HAS SOUS 120146 HAS SOUPS 119154 WITH SCORE 119381.307
AT ITER 2922 NEW BEST:: SOT 397108 SOS 227185 HAS SOPS 223232 HAS SOUS 120024 HAS SOUPS 119032 WITH SCORE 119259.185
AT ITER 2926 NEW BEST:: SOT 397059 SOS 227155 HAS SOPS 223243 HAS SOUS 120016 HAS SOUPS 119024 WITH SCORE 119251.155
AT ITER 2943 NEW BEST:: SOT 397058 SOS 227152 HAS SOPS 223240 HAS SOUS 120015 HAS SOUPS 119023 WITH SCORE 119250.152
AT ITER 2959 NEW BEST:: SOT 397084 SOS 228751 HAS SOPS 224839 HAS SOUS 119960 HAS SOUPS 118968 WITH SCORE 119196.751
AT ITER 2964 NEW BEST:: SOT 397045 SOS 228725 HAS SOPS 224813 HAS SOUS 119934 HAS SOUPS 118942 WITH SCORE 119170.725
AT ITER 2966 NEW BEST:: SOT 396689 SOS 230259 HAS SOPS 226347 HAS SOUS 119787 HAS SOUPS 118795 WITH SCORE 119025.259
AT ITER 2971 NEW BEST:: SOT 396692 SOS 230275 HAS SOPS 226401 HAS SOUS 119763 HAS SOUPS 118771 WITH SCORE 119001.275
AT ITER 2976 NEW BEST:: SOT 396669 SOS 230229 HAS SOPS 226355 HAS SOUS 119717 HAS SOUPS 118725 WITH SCORE 118955.229
AT ITER 3005 NEW BEST:: SOT 396613 SOS 230089 HAS SOPS 226271 HAS SOUS 119717 HAS SOUPS 118725 WITH SCORE 118955.089
AT ITER 3009 NEW BEST:: SOT 396613 SOS 230089 HAS SOPS 226271 HAS SOUS 119696 HAS SOUPS 118704 WITH SCORE 118934.089
AT ITER 3010 NEW BEST:: SOT 396477 SOS 229936 HAS SOPS 226118 HAS SOUS 119553 HAS SOUPS 118561 WITH SCORE 118790.936
AT ITER 3075 NEW BEST:: SOT 396479 SOS 230071 HAS SOPS 226253 HAS SOUS 119550 HAS SOUPS 118558 WITH SCORE 118788.071
AT ITER 3089 NEW BEST:: SOT 396391 SOS 229635 HAS SOPS 225795 HAS SOUS 119424 HAS SOUPS 118432 WITH SCORE 118661.635
AT ITER 3114 NEW BEST:: SOT 396363 SOS 229614 HAS SOPS 225774 HAS SOUS 119397 HAS SOUPS 118405 WITH SCORE 118634.614
AT ITER 3116 NEW BEST:: SOT 396363 SOS 229668 HAS SOPS 225828 HAS SOUS 119361 HAS SOUPS 118369 WITH SCORE 118598.668
AT ITER 3119 NEW BEST:: SOT 396327 SOS 229632 HAS SOPS 225792 HAS SOUS 119289 HAS SOUPS 118297 WITH SCORE 118526.632
AT ITER 3133 NEW BEST:: SOT 396323 SOS 229628 HAS SOPS 225788 HAS SOUS 119285 HAS SOUPS 118293 WITH SCORE 118522.628
AT ITER 3157 NEW BEST:: SOT 396273 SOS 229434 HAS SOPS 225594 HAS SOUS 119179 HAS SOUPS 118187 WITH SCORE 118416.434
AT ITER 3169 NEW BEST:: SOT 396248 SOS 229409 HAS SOPS 225569 HAS SOUS 119144 HAS SOUPS 118152 WITH SCORE 118381.409
AT ITER 3173 NEW BEST:: SOT 396171 SOS 229295 HAS SOPS 225455 HAS SOUS 119070 HAS SOUPS 118078 WITH SCORE 118307.295
AT ITER 3178 NEW BEST:: SOT 396171 SOS 229295 HAS SOPS 225455 HAS SOUS 119008 HAS SOUPS 118016 WITH SCORE 118245.295
AT ITER 3183 NEW BEST:: SOT 396095 SOS 228611 HAS SOPS 224771 HAS SOUS 118988 HAS SOUPS 117996 WITH SCORE 118224.611
AT ITER 3184 NEW BEST:: SOT 396065 SOS 228581 HAS SOPS 224741 HAS SOUS 118879 HAS SOUPS 117887 WITH SCORE 118115.581
AT ITER 3188 NEW BEST:: SOT 396093 SOS 228455 HAS SOPS 224643 HAS SOUS 118807 HAS SOUPS 117815 WITH SCORE 118043.455
AT ITER 3197 NEW BEST:: SOT 396093 SOS 228107 HAS SOPS 224295 HAS SOUS 118807 HAS SOUPS 117815 WITH SCORE 118043.107
AT ITER 3199 NEW BEST:: SOT 396079 SOS 228083 HAS SOPS 224283 HAS SOUS 118713 HAS SOUPS 117721 WITH SCORE 117949.083
AT ITER 3215 NEW BEST:: SOT 396064 SOS 228131 HAS SOPS 224310 HAS SOUS 118698 HAS SOUPS 117706 WITH SCORE 117934.131
AT ITER 3217 NEW BEST:: SOT 396055 SOS 228122 HAS SOPS 224301 HAS SOUS 118686 HAS SOUPS 117694 WITH SCORE 117922.122
AT ITER 3266 NEW BEST:: SOT 396038 SOS 227969 HAS SOPS 224148 HAS SOUS 118652 HAS SOUPS 117660 WITH SCORE 117887.969
AT ITER 3267 NEW BEST:: SOT 395990 SOS 227942 HAS SOPS 224121 HAS SOUS 118414 HAS SOUPS 117422 WITH SCORE 117649.942
AT ITER 3268 NEW BEST:: SOT 395975 SOS 227912 HAS SOPS 224091 HAS SOUS 118384 HAS SOUPS 117392 WITH SCORE 117619.912
AT ITER 3278 NEW BEST:: SOT 395975 SOS 227825 HAS SOPS 224004 HAS SOUS 118384 HAS SOUPS 117392 WITH SCORE 117619.825
AT ITER 3305 NEW BEST:: SOT 395954 SOS 227797 HAS SOPS 223976 HAS SOUS 118335 HAS SOUPS 117343 WITH SCORE 117570.797
AT ITER 3308 NEW BEST:: SOT 395948 SOS 227785 HAS SOPS 223964 HAS SOUS 118323 HAS SOUPS 117331 WITH SCORE 117558.785
AT ITER 3327 NEW BEST:: SOT 395862 SOS 227685 HAS SOPS 223864 HAS SOUS 118109 HAS SOUPS 117117 WITH SCORE 117344.685
AT ITER 3331 NEW BEST:: SOT 395818 SOS 227627 HAS SOPS 223784 HAS SOUS 118021 HAS SOUPS 117029 WITH SCORE 117256.627
AT ITER 3337 NEW BEST:: SOT 395716 SOS 227525 HAS SOPS 223682 HAS SOUS 117889 HAS SOUPS 116897 WITH SCORE 117124.525
AT ITER 3341 NEW BEST:: SOT 395669 SOS 227478 HAS SOPS 223635 HAS SOUS 117842 HAS SOUPS 116850 WITH SCORE 117077.478
AT ITER 3347 NEW BEST:: SOT 395544 SOS 227353 HAS SOPS 223517 HAS SOUS 117771 HAS SOUPS 116779 WITH SCORE 117006.353
AT ITER 3350 NEW BEST:: SOT 395523 SOS 227325 HAS SOPS 223489 HAS SOUS 117743 HAS SOUPS 116751 WITH SCORE 116978.325
AT ITER 3352 NEW BEST:: SOT 395523 SOS 227325 HAS SOPS 223489 HAS SOUS 117737 HAS SOUPS 116745 WITH SCORE 116972.325
AT ITER 3355 NEW BEST:: SOT 395472 SOS 227274 HAS SOPS 223478 HAS SOUS 117729 HAS SOUPS 116737 WITH SCORE 116964.274
AT ITER 3384 NEW BEST:: SOT 395472 SOS 227260 HAS SOPS 223464 HAS SOUS 117729 HAS SOUPS 116737 WITH SCORE 116964.26
AT ITER 3398 NEW BEST:: SOT 395391 SOS 227284 HAS SOPS 223473 HAS SOUS 117738 HAS SOUPS 116731 WITH SCORE 116958.284
AT ITER 3411 NEW BEST:: SOT 395391 SOS 227248 HAS SOPS 223448 HAS SOUS 117737 HAS SOUPS 116730 WITH SCORE 116957.248
AT ITER 3424 NEW BEST:: SOT 395384 SOS 227082 HAS SOPS 223282 HAS SOUS 117677 HAS SOUPS 116670 WITH SCORE 116897.082
AT ITER 3429 NEW BEST:: SOT 395378 SOS 227076 HAS SOPS 223276 HAS SOUS 117654 HAS SOUPS 116647 WITH SCORE 116874.076
AT ITER 3433 NEW BEST:: SOT 395348 SOS 227046 HAS SOPS 223246 HAS SOUS 117594 HAS SOUPS 116587 WITH SCORE 116814.046
AT ITER 3457 NEW BEST:: SOT 395359 SOS 227092 HAS SOPS 223292 HAS SOUS 117575 HAS SOUPS 116568 WITH SCORE 116795.092
AT ITER 3463 NEW BEST:: SOT 395329 SOS 226970 HAS SOPS 223170 HAS SOUS 117573 HAS SOUPS 116566 WITH SCORE 116792.97
AT ITER 3479 NEW BEST:: SOT 395322 SOS 226963 HAS SOPS 223163 HAS SOUS 117559 HAS SOUPS 116552 WITH SCORE 116778.963
AT ITER 3482 NEW BEST:: SOT 395338 SOS 226947 HAS SOPS 223147 HAS SOUS 117559 HAS SOUPS 116552 WITH SCORE 116778.947
AT ITER 3495 NEW BEST:: SOT 395333 SOS 226942 HAS SOPS 223142 HAS SOUS 117554 HAS SOUPS 116547 WITH SCORE 116773.942
AT ITER 3497 NEW BEST:: SOT 395321 SOS 226930 HAS SOPS 223130 HAS SOUS 117502 HAS SOUPS 116495 WITH SCORE 116721.93
AT ITER 3502 NEW BEST:: SOT 395306 SOS 226916 HAS SOPS 223116 HAS SOUS 117424 HAS SOUPS 116417 WITH SCORE 116643.916
AT ITER 3507 NEW BEST:: SOT 395257 SOS 226826 HAS SOPS 223026 HAS SOUS 117049 HAS SOUPS 116042 WITH SCORE 116268.826
AT ITER 3529 NEW BEST:: SOT 395326 SOS 226843 HAS SOPS 223074 HAS SOUS 116921 HAS SOUPS 115942 WITH SCORE 116168.843
AT ITER 3538 NEW BEST:: SOT 395339 SOS 226757 HAS SOPS 222988 HAS SOUS 116883 HAS SOUPS 115904 WITH SCORE 116130.757
AT ITER 3564 NEW BEST:: SOT 395297 SOS 226651 HAS SOPS 222882 HAS SOUS 116823 HAS SOUPS 115844 WITH SCORE 116070.651
AT ITER 3597 NEW BEST:: SOT 395238 SOS 226592 HAS SOPS 222823 HAS SOUS 116753 HAS SOUPS 115774 WITH SCORE 116000.592
AT ITER 3640 NEW BEST:: SOT 395026 SOS 224877 HAS SOPS 221247 HAS SOUS 116634 HAS SOUPS 115655 WITH SCORE 115879.877
AT ITER 3643 NEW BEST:: SOT 395020 SOS 224871 HAS SOPS 221235 HAS SOUS 116622 HAS SOUPS 115643 WITH SCORE 115867.871
AT ITER 3660 NEW BEST:: SOT 395283 SOS 224758 HAS SOPS 221122 HAS SOUS 115507 HAS SOUPS 114528 WITH SCORE 114752.758
AT ITER 3666 NEW BEST:: SOT 395195 SOS 224670 HAS SOPS 221034 HAS SOUS 115419 HAS SOUPS 114440 WITH SCORE 114664.67
AT ITER 3680 NEW BEST:: SOT 395109 SOS 224576 HAS SOPS 220940 HAS SOUS 115328 HAS SOUPS 114349 WITH SCORE 114573.576
AT ITER 3703 NEW BEST:: SOT 395071 SOS 224354 HAS SOPS 220868 HAS SOUS 115256 HAS SOUPS 114277 WITH SCORE 114501.354
AT ITER 3704 NEW BEST:: SOT 395071 SOS 224513 HAS SOPS 221027 HAS SOUS 115253 HAS SOUPS 114274 WITH SCORE 114498.513
AT ITER 3749 NEW BEST:: SOT 395069 SOS 224511 HAS SOPS 221025 HAS SOUS 115249 HAS SOUPS 114270 WITH SCORE 114494.511
AT ITER 3765 NEW BEST:: SOT 390897 SOS 220438 HAS SOPS 216952 HAS SOUS 111077 HAS SOUPS 110098 WITH SCORE 110318.438
AT ITER 3767 NEW BEST:: SOT 390781 SOS 220293 HAS SOPS 216807 HAS SOUS 110932 HAS SOUPS 109953 WITH SCORE 110173.293
AT ITER 3769 NEW BEST:: SOT 390737 SOS 220444 HAS SOPS 216958 HAS SOUS 110883 HAS SOUPS 109904 WITH SCORE 110124.444
AT ITER 3789 NEW BEST:: SOT 390611 SOS 220266 HAS SOPS 216780 HAS SOUS 110826 HAS SOUPS 109847 WITH SCORE 110067.266
AT ITER 3795 NEW BEST:: SOT 390615 SOS 220312 HAS SOPS 216812 HAS SOUS 110802 HAS SOUPS 109823 WITH SCORE 110043.312
AT ITER 3799 NEW BEST:: SOT 390567 SOS 220252 HAS SOPS 216752 HAS SOUS 110750 HAS SOUPS 109771 WITH SCORE 109991.252
AT ITER 3828 NEW BEST:: SOT 390615 SOS 220300 HAS SOPS 216800 HAS SOUS 110733 HAS SOUPS 109754 WITH SCORE 109974.3
AT ITER 3854 NEW BEST:: SOT 390615 SOS 220291 HAS SOPS 216791 HAS SOUS 110724 HAS SOUPS 109745 WITH SCORE 109965.291
AT ITER 3866 NEW BEST:: SOT 390647 SOS 220323 HAS SOPS 216794 HAS SOUS 110690 HAS SOUPS 109711 WITH SCORE 109931.323
AT ITER 3867 NEW BEST:: SOT 390571 SOS 220247 HAS SOPS 216747 HAS SOUS 110583 HAS SOUPS 109613 WITH SCORE 109833.247
AT ITER 3892 NEW BEST:: SOT 390541 SOS 220217 HAS SOPS 216707 HAS SOUS 110543 HAS SOUPS 109573 WITH SCORE 109793.217
AT ITER 3898 NEW BEST:: SOT 390705 SOS 220915 HAS SOPS 217405 HAS SOUS 110431 HAS SOUPS 109461 WITH SCORE 109681.915
AT ITER 3901 NEW BEST:: SOT 390705 SOS 220915 HAS SOPS 217405 HAS SOUS 110429 HAS SOUPS 109459 WITH SCORE 109679.915
AT ITER 3910 NEW BEST:: SOT 390705 SOS 220824 HAS SOPS 217314 HAS SOUS 110416 HAS SOUPS 109446 WITH SCORE 109666.824
AT ITER 3915 NEW BEST:: SOT 390548 SOS 220376 HAS SOPS 216866 HAS SOUS 110296 HAS SOUPS 109326 WITH SCORE 109546.376
AT ITER 3922 NEW BEST:: SOT 390518 SOS 220356 HAS SOPS 216846 HAS SOUS 110256 HAS SOUPS 109286 WITH SCORE 109506.356
AT ITER 3939 NEW BEST:: SOT 390318 SOS 220036 HAS SOPS 216526 HAS SOUS 110159 HAS SOUPS 109189 WITH SCORE 109409.036
AT ITER 3996 NEW BEST:: SOT 390334 SOS 220121 HAS SOPS 216611 HAS SOUS 110123 HAS SOUPS 109153 WITH SCORE 109373.121
AT ITER 4005 NEW BEST:: SOT 390111 SOS 219860 HAS SOPS 216350 HAS SOUS 109937 HAS SOUPS 108967 WITH SCORE 109186.86
AT ITER 4009 NEW BEST:: SOT 390101 SOS 219882 HAS SOPS 216372 HAS SOUS 109872 HAS SOUPS 108902 WITH SCORE 109121.882
AT ITER 4016 NEW BEST:: SOT 390070 SOS 219851 HAS SOPS 216341 HAS SOUS 109771 HAS SOUPS 108801 WITH SCORE 109020.851
AT ITER 4026 NEW BEST:: SOT 390035 SOS 219838 HAS SOPS 216328 HAS SOUS 109663 HAS SOUPS 108693 WITH SCORE 108912.838
AT ITER 4059 NEW BEST:: SOT 390030 SOS 219836 HAS SOPS 216326 HAS SOUS 109653 HAS SOUPS 108683 WITH SCORE 108902.836
AT ITER 4073 NEW BEST:: SOT 390030 SOS 219798 HAS SOPS 216288 HAS SOUS 109653 HAS SOUPS 108683 WITH SCORE 108902.798
AT ITER 4075 NEW BEST:: SOT 390022 SOS 219790 HAS SOPS 216280 HAS SOUS 109645 HAS SOUPS 108675 WITH SCORE 108894.79
AT ITER 4091 NEW BEST:: SOT 390003 SOS 219765 HAS SOPS 216255 HAS SOUS 109630 HAS SOUPS 108660 WITH SCORE 108879.765
AT ITER 4100 NEW BEST:: SOT 390028 SOS 219781 HAS SOPS 216271 HAS SOUS 109601 HAS SOUPS 108631 WITH SCORE 108850.781
AT ITER 4104 NEW BEST:: SOT 390042 SOS 220028 HAS SOPS 216504 HAS SOUS 109585 HAS SOUPS 108615 WITH SCORE 108835.028
AT ITER 4109 NEW BEST:: SOT 389941 SOS 219385 HAS SOPS 215861 HAS SOUS 109517 HAS SOUPS 108547 WITH SCORE 108766.385
AT ITER 4122 NEW BEST:: SOT 389931 SOS 219375 HAS SOPS 215851 HAS SOUS 109497 HAS SOUPS 108527 WITH SCORE 108746.375
AT ITER 4124 NEW BEST:: SOT 389928 SOS 219372 HAS SOPS 215848 HAS SOUS 109494 HAS SOUPS 108524 WITH SCORE 108743.372
AT ITER 4137 NEW BEST:: SOT 389822 SOS 219266 HAS SOPS 215747 HAS SOUS 109356 HAS SOUPS 108386 WITH SCORE 108605.266
AT ITER 4144 NEW BEST:: SOT 389825 SOS 219269 HAS SOPS 215780 HAS SOUS 109270 HAS SOUPS 108322 WITH SCORE 108541.269
AT ITER 4147 NEW BEST:: SOT 389825 SOS 219269 HAS SOPS 215780 HAS SOUS 109207 HAS SOUPS 108259 WITH SCORE 108478.269
AT ITER 4176 NEW BEST:: SOT 389763 SOS 219260 HAS SOPS 215800 HAS SOUS 109194 HAS SOUPS 108246 WITH SCORE 108465.26
AT ITER 4178 NEW BEST:: SOT 389680 SOS 219177 HAS SOPS 215611 HAS SOUS 109045 HAS SOUPS 108067 WITH SCORE 108286.177
AT ITER 4207 NEW BEST:: SOT 389673 SOS 219170 HAS SOPS 215604 HAS SOUS 109006 HAS SOUPS 108028 WITH SCORE 108247.17
AT ITER 4208 NEW BEST:: SOT 389659 SOS 219156 HAS SOPS 215590 HAS SOUS 108978 HAS SOUPS 108000 WITH SCORE 108219.156
AT ITER 4220 NEW BEST:: SOT 389545 SOS 219076 HAS SOPS 215510 HAS SOUS 108750 HAS SOUPS 107772 WITH SCORE 107991.076
AT ITER 4223 NEW BEST:: SOT 389497 SOS 219028 HAS SOPS 215462 HAS SOUS 108702 HAS SOUPS 107724 WITH SCORE 107943.028
AT ITER 4263 NEW BEST:: SOT 386866 SOS 216875 HAS SOPS 213309 HAS SOUS 106659 HAS SOUPS 105681 WITH SCORE 105897.875
AT ITER 4277 NEW BEST:: SOT 386838 SOS 216854 HAS SOPS 213288 HAS SOUS 106645 HAS SOUPS 105667 WITH SCORE 105883.854
AT ITER 4314 NEW BEST:: SOT 386835 SOS 216851 HAS SOPS 213285 HAS SOUS 106642 HAS SOUPS 105664 WITH SCORE 105880.851
AT ITER 4321 NEW BEST:: SOT 386771 SOS 216771 HAS SOPS 213205 HAS SOUS 106562 HAS SOUPS 105584 WITH SCORE 105800.771
AT ITER 4328 NEW BEST:: SOT 386819 SOS 216819 HAS SOPS 213181 HAS SOUS 106535 HAS SOUPS 105547 WITH SCORE 105763.819
AT ITER 4336 NEW BEST:: SOT 386792 SOS 216765 HAS SOPS 213154 HAS SOUS 106535 HAS SOUPS 105547 WITH SCORE 105763.765
AT ITER 4359 NEW BEST:: SOT 386794 SOS 216778 HAS SOPS 213167 HAS SOUS 106263 HAS SOUPS 105275 WITH SCORE 105491.778
AT ITER 4365 NEW BEST:: SOT 386806 SOS 216798 HAS SOPS 213187 HAS SOUS 106262 HAS SOUPS 105274 WITH SCORE 105490.798
AT ITER 4371 NEW BEST:: SOT 386846 SOS 216838 HAS SOPS 213227 HAS SOUS 106243 HAS SOUPS 105255 WITH SCORE 105471.838
AT ITER 4385 NEW BEST:: SOT 387109 SOS 209047 HAS SOPS 205479 HAS SOUS 104018 HAS SOUPS 103058 WITH SCORE 103267.047
AT ITER 4393 NEW BEST:: SOT 387130 SOS 209027 HAS SOPS 205501 HAS SOUS 103986 HAS SOUPS 103026 WITH SCORE 103235.027
AT ITER 4408 NEW BEST:: SOT 386939 SOS 208841 HAS SOPS 205315 HAS SOUS 103812 HAS SOUPS 102852 WITH SCORE 103060.841
AT ITER 4417 NEW BEST:: SOT 386950 SOS 208852 HAS SOPS 205323 HAS SOUS 103806 HAS SOUPS 102846 WITH SCORE 103054.852
AT ITER 4454 NEW BEST:: SOT 386973 SOS 208921 HAS SOPS 205392 HAS SOUS 103783 HAS SOUPS 102823 WITH SCORE 103031.921
AT ITER 4463 NEW BEST:: SOT 387038 SOS 208986 HAS SOPS 205457 HAS SOUS 103738 HAS SOUPS 102778 WITH SCORE 102986.986
AT ITER 4464 NEW BEST:: SOT 387019 SOS 208969 HAS SOPS 205440 HAS SOUS 103710 HAS SOUPS 102750 WITH SCORE 102958.969
AT ITER 4472 NEW BEST:: SOT 387019 SOS 209156 HAS SOPS 205627 HAS SOUS 103693 HAS SOUPS 102733 WITH SCORE 102942.156
AT ITER 4490 NEW BEST:: SOT 386952 SOS 209284 HAS SOPS 205755 HAS SOUS 103659 HAS SOUPS 102699 WITH SCORE 102908.284
AT ITER 4492 NEW BEST:: SOT 386952 SOS 209268 HAS SOPS 205739 HAS SOUS 103659 HAS SOUPS 102699 WITH SCORE 102908.268
AT ITER 4519 NEW BEST:: SOT 386914 SOS 209230 HAS SOPS 205663 HAS SOUS 103583 HAS SOUPS 102623 WITH SCORE 102832.23
AT ITER 4530 NEW BEST:: SOT 386882 SOS 209198 HAS SOPS 205601 HAS SOUS 103519 HAS SOUPS 102559 WITH SCORE 102768.198
AT ITER 4533 NEW BEST:: SOT 386882 SOS 208994 HAS SOPS 205397 HAS SOUS 103519 HAS SOUPS 102559 WITH SCORE 102767.994
AT ITER 4536 NEW BEST:: SOT 386667 SOS 208779 HAS SOPS 205182 HAS SOUS 103313 HAS SOUPS 102353 WITH SCORE 102561.779
AT ITER 4545 NEW BEST:: SOT 386668 SOS 208789 HAS SOPS 205192 HAS SOUS 103233 HAS SOUPS 102273 WITH SCORE 102481.789
AT ITER 4550 NEW BEST:: SOT 386668 SOS 208777 HAS SOPS 205180 HAS SOUS 103233 HAS SOUPS 102273 WITH SCORE 102481.777
AT ITER 4557 NEW BEST:: SOT 386665 SOS 208774 HAS SOPS 205177 HAS SOUS 103223 HAS SOUPS 102263 WITH SCORE 102471.774
AT ITER 4558 NEW BEST:: SOT 386565 SOS 208363 HAS SOPS 204792 HAS SOUS 103177 HAS SOUPS 102217 WITH SCORE 102425.363
AT ITER 4609 NEW BEST:: SOT 386539 SOS 208337 HAS SOPS 204766 HAS SOUS 103147 HAS SOUPS 102187 WITH SCORE 102395.337
AT ITER 4610 NEW BEST:: SOT 386797 SOS 208652 HAS SOPS 205081 HAS SOUS 103030 HAS SOUPS 102070 WITH SCORE 102278.652
AT ITER 4613 NEW BEST:: SOT 386914 SOS 208579 HAS SOPS 204988 HAS SOUS 102985 HAS SOUPS 102015 WITH SCORE 102223.579
AT ITER 4640 NEW BEST:: SOT 386969 SOS 208514 HAS SOPS 204923 HAS SOUS 102530 HAS SOUPS 101560 WITH SCORE 101768.514
AT ITER 4680 NEW BEST:: SOT 386952 SOS 208497 HAS SOPS 204906 HAS SOUS 102398 HAS SOUPS 101428 WITH SCORE 101636.497
AT ITER 4685 NEW BEST:: SOT 386916 SOS 208497 HAS SOPS 204906 HAS SOUS 102362 HAS SOUPS 101392 WITH SCORE 101600.497
AT ITER 4712 NEW BEST:: SOT 387130 SOS 208816 HAS SOPS 205011 HAS SOUS 102430 HAS SOUPS 101390 WITH SCORE 101598.816
AT ITER 4721 NEW BEST:: SOT 386436 SOS 208095 HAS SOPS 204290 HAS SOUS 101765 HAS SOUPS 100725 WITH SCORE 100933.095
AT ITER 4726 NEW BEST:: SOT 386436 SOS 208095 HAS SOPS 204290 HAS SOUS 101764 HAS SOUPS 100724 WITH SCORE 100932.095
AT ITER 4727 NEW BEST:: SOT 386457 SOS 208116 HAS SOPS 204311 HAS SOUS 101752 HAS SOUPS 100712 WITH SCORE 100920.116
AT ITER 4778 NEW BEST:: SOT 386443 SOS 208081 HAS SOPS 204283 HAS SOUS 101738 HAS SOUPS 100698 WITH SCORE 100906.081
AT ITER 4780 NEW BEST:: SOT 386452 SOS 208090 HAS SOPS 204292 HAS SOUS 101737 HAS SOUPS 100697 WITH SCORE 100905.09
AT ITER 4841 NEW BEST:: SOT 386479 SOS 207880 HAS SOPS 204082 HAS SOUS 101666 HAS SOUPS 100626 WITH SCORE 100833.88
AT ITER 4903 NEW BEST:: SOT 386461 SOS 207799 HAS SOPS 204001 HAS SOUS 101591 HAS SOUPS 100551 WITH SCORE 100758.799
AT ITER 4912 NEW BEST:: SOT 386417 SOS 207755 HAS SOPS 203957 HAS SOUS 101538 HAS SOUPS 100498 WITH SCORE 100705.755
AT ITER 4916 NEW BEST:: SOT 386386 SOS 207724 HAS SOPS 203926 HAS SOUS 101515 HAS SOUPS 100475 WITH SCORE 100682.724
AT ITER 4958 NEW BEST:: SOT 386386 SOS 207724 HAS SOPS 203926 HAS SOUS 101460 HAS SOUPS 100420 WITH SCORE 100627.724
AT ITER 4976 NEW BEST:: SOT 386368 SOS 207706 HAS SOPS 203908 HAS SOUS 101442 HAS SOUPS 100402 WITH SCORE 100609.706
AT ITER 4980 NEW BEST:: SOT 386387 SOS 207748 HAS SOPS 203852 HAS SOUS 101315 HAS SOUPS 100275 WITH SCORE 100482.748
AT ITER 5005 NEW BEST:: SOT 386386 SOS 207747 HAS SOPS 203851 HAS SOUS 101313 HAS SOUPS 100273 WITH SCORE 100480.747
AT ITER 5031 NEW BEST:: SOT 386346 SOS 207545 HAS SOPS 203649 HAS SOUS 101233 HAS SOUPS 100193 WITH SCORE 100400.545
AT ITER 5032 NEW BEST:: SOT 386341 SOS 207525 HAS SOPS 203629 HAS SOUS 101233 HAS SOUPS 100193 WITH SCORE 100400.525
AT ITER 5034 NEW BEST:: SOT 386259 SOS 207451 HAS SOPS 203555 HAS SOUS 101148 HAS SOUPS 100108 WITH SCORE 100315.451
AT ITER 5043 NEW BEST:: SOT 386415 SOS 207584 HAS SOPS 203468 HAS SOUS 101053 HAS SOUPS 99983 WITH SCORE 100190.584
AT ITER 5052 NEW BEST:: SOT 386415 SOS 207626 HAS SOPS 203510 HAS SOUS 101025 HAS SOUPS 99955 WITH SCORE 100162.626
AT ITER 5059 NEW BEST:: SOT 385295 SOS 206975 HAS SOPS 202859 HAS SOUS 101006 HAS SOUPS 99936 WITH SCORE 100142.975
AT ITER 5069 NEW BEST:: SOT 385282 SOS 208791 HAS SOPS 204675 HAS SOUS 100973 HAS SOUPS 99903 WITH SCORE 100111.791
AT ITER 5079 NEW BEST:: SOT 385322 SOS 208703 HAS SOPS 204607 HAS SOUS 100946 HAS SOUPS 99896 WITH SCORE 100104.703
AT ITER 5152 NEW BEST:: SOT 385295 SOS 208597 HAS SOPS 204501 HAS SOUS 100840 HAS SOUPS 99790 WITH SCORE 99998.597
AT ITER 5167 NEW BEST:: SOT 385295 SOS 208597 HAS SOPS 204501 HAS SOUS 100837 HAS SOUPS 99787 WITH SCORE 99995.597
AT ITER 5192 NEW BEST:: SOT 385213 SOS 208550 HAS SOPS 204454 HAS SOUS 100818 HAS SOUPS 99768 WITH SCORE 99976.55
AT ITER 5193 NEW BEST:: SOT 385112 SOS 208449 HAS SOPS 204364 HAS SOUS 100756 HAS SOUPS 99706 WITH SCORE 99914.449
AT ITER 5217 NEW BEST:: SOT 385110 SOS 208445 HAS SOPS 204360 HAS SOUS 100752 HAS SOUPS 99702 WITH SCORE 99910.445
AT ITER 5220 NEW BEST:: SOT 384998 SOS 208351 HAS SOPS 204266 HAS SOUS 100685 HAS SOUPS 99635 WITH SCORE 99843.351
AT ITER 5253 NEW BEST:: SOT 384946 SOS 208303 HAS SOPS 204218 HAS SOUS 100666 HAS SOUPS 99616 WITH SCORE 99824.303
AT ITER 5268 NEW BEST:: SOT 384945 SOS 208292 HAS SOPS 204207 HAS SOUS 100647 HAS SOUPS 99597 WITH SCORE 99805.292
AT ITER 5276 NEW BEST:: SOT 384935 SOS 208217 HAS SOPS 204132 HAS SOUS 100647 HAS SOUPS 99597 WITH SCORE 99805.217
AT ITER 5280 NEW BEST:: SOT 384967 SOS 208062 HAS SOPS 203990 HAS SOUS 100633 HAS SOUPS 99583 WITH SCORE 99791.062
AT ITER 5284 NEW BEST:: SOT 384929 SOS 208024 HAS SOPS 203952 HAS SOUS 100595 HAS SOUPS 99545 WITH SCORE 99753.024
AT ITER 5294 NEW BEST:: SOT 384910 SOS 208042 HAS SOPS 203970 HAS SOUS 100542 HAS SOUPS 99492 WITH SCORE 99700.042
AT ITER 5315 NEW BEST:: SOT 384910 SOS 208048 HAS SOPS 203976 HAS SOUS 100538 HAS SOUPS 99488 WITH SCORE 99696.048
AT ITER 5336 NEW BEST:: SOT 384867 SOS 208036 HAS SOPS 203964 HAS SOUS 100460 HAS SOUPS 99410 WITH SCORE 99618.036
AT ITER 5342 NEW BEST:: SOT 384635 SOS 207733 HAS SOPS 203691 HAS SOUS 100446 HAS SOUPS 99396 WITH SCORE 99603.733
AT ITER 5345 NEW BEST:: SOT 384608 SOS 207706 HAS SOPS 203664 HAS SOUS 100338 HAS SOUPS 99288 WITH SCORE 99495.706
AT ITER 5383 NEW BEST:: SOT 384535 SOS 207636 HAS SOPS 203594 HAS SOUS 100153 HAS SOUPS 99103 WITH SCORE 99310.636
AT ITER 5393 NEW BEST:: SOT 384550 SOS 207651 HAS SOPS 203609 HAS SOUS 100147 HAS SOUPS 99097 WITH SCORE 99304.651
AT ITER 5414 NEW BEST:: SOT 384565 SOS 207658 HAS SOPS 203616 HAS SOUS 100118 HAS SOUPS 99068 WITH SCORE 99275.658
AT ITER 5418 NEW BEST:: SOT 384556 SOS 210140 HAS SOPS 206098 HAS SOUS 100109 HAS SOUPS 99059 WITH SCORE 99269.14
AT ITER 5424 NEW BEST:: SOT 383395 SOS 209302 HAS SOPS 205260 HAS SOUS 99142 HAS SOUPS 98092 WITH SCORE 98301.302
AT ITER 5456 NEW BEST:: SOT 383333 SOS 209240 HAS SOPS 205198 HAS SOUS 99080 HAS SOUPS 98030 WITH SCORE 98239.24
AT ITER 5484 NEW BEST:: SOT 383074 SOS 209901 HAS SOPS 205859 HAS SOUS 98735 HAS SOUPS 97685 WITH SCORE 97894.901
AT ITER 5510 NEW BEST:: SOT 383029 SOS 209739 HAS SOPS 205736 HAS SOUS 98715 HAS SOUPS 97673 WITH SCORE 97882.739
AT ITER 5511 NEW BEST:: SOT 383052 SOS 209702 HAS SOPS 205697 HAS SOUS 98685 HAS SOUPS 97643 WITH SCORE 97852.702
AT ITER 5533 NEW BEST:: SOT 382972 SOS 209640 HAS SOPS 205635 HAS SOUS 98603 HAS SOUPS 97561 WITH SCORE 97770.64
AT ITER 5535 NEW BEST:: SOT 382972 SOS 209640 HAS SOPS 205623 HAS SOUS 98579 HAS SOUPS 97537 WITH SCORE 97746.64
AT ITER 5541 NEW BEST:: SOT 382957 SOS 209452 HAS SOPS 205435 HAS SOUS 98438 HAS SOUPS 97396 WITH SCORE 97605.452
AT ITER 5567 NEW BEST:: SOT 382897 SOS 209392 HAS SOPS 205375 HAS SOUS 98288 HAS SOUPS 97246 WITH SCORE 97455.392
AT ITER 5574 NEW BEST:: SOT 382822 SOS 209317 HAS SOPS 205300 HAS SOUS 98235 HAS SOUPS 97193 WITH SCORE 97402.317
AT ITER 5605 NEW BEST:: SOT 382802 SOS 209297 HAS SOPS 205280 HAS SOUS 98226 HAS SOUPS 97184 WITH SCORE 97393.297
AT ITER 5614 NEW BEST:: SOT 382797 SOS 209292 HAS SOPS 205270 HAS SOUS 98216 HAS SOUPS 97174 WITH SCORE 97383.292
AT ITER 5628 NEW BEST:: SOT 382113 SOS 208596 HAS SOPS 204575 HAS SOUS 97536 HAS SOUPS 96495 WITH SCORE 96703.596
AT ITER 5647 NEW BEST:: SOT 382092 SOS 208568 HAS SOPS 204547 HAS SOUS 97515 HAS SOUPS 96474 WITH SCORE 96682.568
AT ITER 5655 NEW BEST:: SOT 382083 SOS 208544 HAS SOPS 204523 HAS SOUS 97501 HAS SOUPS 96460 WITH SCORE 96668.544
AT ITER 5659 NEW BEST:: SOT 382066 SOS 208480 HAS SOPS 204459 HAS SOUS 97486 HAS SOUPS 96445 WITH SCORE 96653.48
AT ITER 5664 NEW BEST:: SOT 382022 SOS 208436 HAS SOPS 204415 HAS SOUS 97442 HAS SOUPS 96401 WITH SCORE 96609.436
AT ITER 5665 NEW BEST:: SOT 381902 SOS 208316 HAS SOPS 204415 HAS SOUS 97322 HAS SOUPS 96401 WITH SCORE 96609.316
AT ITER 5667 NEW BEST:: SOT 381613 SOS 207926 HAS SOPS 204025 HAS SOUS 97319 HAS SOUPS 96398 WITH SCORE 96605.926
AT ITER 5669 NEW BEST:: SOT 381380 SOS 207679 HAS SOPS 203778 HAS SOUS 97072 HAS SOUPS 96151 WITH SCORE 96358.679
AT ITER 5688 NEW BEST:: SOT 381380 SOS 206316 HAS SOPS 202415 HAS SOUS 97059 HAS SOUPS 96138 WITH SCORE 96344.316
AT ITER 5698 NEW BEST:: SOT 381371 SOS 206312 HAS SOPS 202411 HAS SOUS 96973 HAS SOUPS 96052 WITH SCORE 96258.312
AT ITER 5711 NEW BEST:: SOT 381521 SOS 206533 HAS SOPS 202632 HAS SOUS 96867 HAS SOUPS 95946 WITH SCORE 96152.533
AT ITER 5747 NEW BEST:: SOT 381535 SOS 206547 HAS SOPS 202646 HAS SOUS 96817 HAS SOUPS 95896 WITH SCORE 96102.547
AT ITER 5748 NEW BEST:: SOT 381525 SOS 206567 HAS SOPS 202666 HAS SOUS 96797 HAS SOUPS 95876 WITH SCORE 96082.567
AT ITER 5751 NEW BEST:: SOT 381497 SOS 206512 HAS SOPS 202611 HAS SOUS 96648 HAS SOUPS 95727 WITH SCORE 95933.512
AT ITER 5755 NEW BEST:: SOT 381397 SOS 206407 HAS SOPS 202506 HAS SOUS 96543 HAS SOUPS 95622 WITH SCORE 95828.407
AT ITER 5786 NEW BEST:: SOT 381448 SOS 204026 HAS SOPS 200109 HAS SOUS 95948 HAS SOUPS 95027 WITH SCORE 95231.026
AT ITER 5801 NEW BEST:: SOT 381404 SOS 204004 HAS SOPS 200087 HAS SOUS 95904 HAS SOUPS 94983 WITH SCORE 95187.004
AT ITER 5836 NEW BEST:: SOT 381404 SOS 204004 HAS SOPS 200061 HAS SOUS 95852 HAS SOUPS 94931 WITH SCORE 95135.004
AT ITER 5857 NEW BEST:: SOT 380233 SOS 203757 HAS SOPS 199814 HAS SOUS 95786 HAS SOUPS 94865 WITH SCORE 95068.757
AT ITER 5873 NEW BEST:: SOT 380236 SOS 203760 HAS SOPS 199817 HAS SOUS 95783 HAS SOUPS 94862 WITH SCORE 95065.76
AT ITER 5877 NEW BEST:: SOT 380247 SOS 203771 HAS SOPS 199828 HAS SOUS 95744 HAS SOUPS 94823 WITH SCORE 95026.771
AT ITER 5885 NEW BEST:: SOT 380276 SOS 203653 HAS SOPS 199703 HAS SOUS 95521 HAS SOUPS 94600 WITH SCORE 94803.653
AT ITER 5896 NEW BEST:: SOT 380212 SOS 204376 HAS SOPS 200426 HAS SOUS 95473 HAS SOUPS 94552 WITH SCORE 94756.376
AT ITER 5922 NEW BEST:: SOT 380263 SOS 204536 HAS SOPS 200586 HAS SOUS 95461 HAS SOUPS 94540 WITH SCORE 94744.536
AT ITER 5926 NEW BEST:: SOT 380269 SOS 204542 HAS SOPS 200592 HAS SOUS 95460 HAS SOUPS 94539 WITH SCORE 94743.542
AT ITER 5946 NEW BEST:: SOT 380269 SOS 204575 HAS SOPS 200625 HAS SOUS 95457 HAS SOUPS 94536 WITH SCORE 94740.575
AT ITER 5968 NEW BEST:: SOT 380264 SOS 204624 HAS SOPS 200674 HAS SOUS 95438 HAS SOUPS 94517 WITH SCORE 94721.624
AT ITER 5977 NEW BEST:: SOT 380211 SOS 201962 HAS SOPS 197784 HAS SOUS 95466 HAS SOUPS 94488 WITH SCORE 94689.962
AT ITER 5981 NEW BEST:: SOT 380200 SOS 201951 HAS SOPS 197773 HAS SOUS 95344 HAS SOUPS 94366 WITH SCORE 94567.951
AT ITER 5997 NEW BEST:: SOT 380195 SOS 201901 HAS SOPS 197723 HAS SOUS 95334 HAS SOUPS 94356 WITH SCORE 94557.901
AT ITER 6016 NEW BEST:: SOT 380195 SOS 201969 HAS SOPS 197791 HAS SOUS 95333 HAS SOUPS 94355 WITH SCORE 94556.969
AT ITER 6044 NEW BEST:: SOT 380169 SOS 201998 HAS SOPS 197820 HAS SOUS 95281 HAS SOUPS 94303 WITH SCORE 94504.998
AT ITER 6052 NEW BEST:: SOT 380121 SOS 201950 HAS SOPS 197772 HAS SOUS 95218 HAS SOUPS 94240 WITH SCORE 94441.95
AT ITER 6081 NEW BEST:: SOT 380121 SOS 201950 HAS SOPS 197758 HAS SOUS 95204 HAS SOUPS 94226 WITH SCORE 94427.95
AT ITER 6082 NEW BEST:: SOT 380128 SOS 201273 HAS SOPS 197081 HAS SOUS 95068 HAS SOUPS 94090 WITH SCORE 94291.273
AT ITER 6083 NEW BEST:: SOT 380125 SOS 201261 HAS SOPS 197069 HAS SOUS 95062 HAS SOUPS 94084 WITH SCORE 94285.261
AT ITER 6097 NEW BEST:: SOT 380220 SOS 201357 HAS SOPS 197165 HAS SOUS 95057 HAS SOUPS 94079 WITH SCORE 94280.357
AT ITER 6120 NEW BEST:: SOT 380215 SOS 201352 HAS SOPS 197160 HAS SOUS 95040 HAS SOUPS 94062 WITH SCORE 94263.352
AT ITER 6153 NEW BEST:: SOT 380095 SOS 201106 HAS SOPS 196914 HAS SOUS 94986 HAS SOUPS 94008 WITH SCORE 94209.106
AT ITER 6156 NEW BEST:: SOT 380095 SOS 201017 HAS SOPS 196825 HAS SOUS 94986 HAS SOUPS 94008 WITH SCORE 94209.017
AT ITER 6185 NEW BEST:: SOT 380088 SOS 201010 HAS SOPS 196818 HAS SOUS 94961 HAS SOUPS 93983 WITH SCORE 94184.01
AT ITER 6197 NEW BEST:: SOT 380078 SOS 201015 HAS SOPS 196825 HAS SOUS 94960 HAS SOUPS 93982 WITH SCORE 94183.015
AT ITER 6237 NEW BEST:: SOT 380009 SOS 200937 HAS SOPS 196747 HAS SOUS 94930 HAS SOUPS 93952 WITH SCORE 94152.937
AT ITER 6245 NEW BEST:: SOT 379996 SOS 200924 HAS SOPS 196723 HAS SOUS 94894 HAS SOUPS 93916 WITH SCORE 94116.924
AT ITER 6259 NEW BEST:: SOT 380006 SOS 200934 HAS SOPS 196733 HAS SOUS 94838 HAS SOUPS 93860 WITH SCORE 94060.934
AT ITER 6278 NEW BEST:: SOT 379974 SOS 200902 HAS SOPS 196701 HAS SOUS 94806 HAS SOUPS 93828 WITH SCORE 94028.902
AT ITER 6285 NEW BEST:: SOT 380009 SOS 200644 HAS SOPS 196443 HAS SOUS 94343 HAS SOUPS 93365 WITH SCORE 93565.644
AT ITER 6300 NEW BEST:: SOT 379939 SOS 200217 HAS SOPS 196016 HAS SOUS 94214 HAS SOUPS 93236 WITH SCORE 93436.217
AT ITER 6306 NEW BEST:: SOT 379939 SOS 199867 HAS SOPS 195666 HAS SOUS 94134 HAS SOUPS 93156 WITH SCORE 93355.867
AT ITER 6307 NEW BEST:: SOT 379919 SOS 200927 HAS SOPS 196726 HAS SOUS 94074 HAS SOUPS 93096 WITH SCORE 93296.927
AT ITER 6308 NEW BEST:: SOT 379904 SOS 200928 HAS SOPS 196727 HAS SOUS 94056 HAS SOUPS 93078 WITH SCORE 93278.928
AT ITER 6347 NEW BEST:: SOT 379880 SOS 200903 HAS SOPS 196702 HAS SOUS 94033 HAS SOUPS 93055 WITH SCORE 93255.903
AT ITER 6351 NEW BEST:: SOT 379880 SOS 200903 HAS SOPS 196702 HAS SOUS 93999 HAS SOUPS 93021 WITH SCORE 93221.903
AT ITER 6377 NEW BEST:: SOT 379707 SOS 200730 HAS SOPS 196551 HAS SOUS 93816 HAS SOUPS 92838 WITH SCORE 93038.73
AT ITER 6388 NEW BEST:: SOT 379642 SOS 200689 HAS SOPS 196510 HAS SOUS 93606 HAS SOUPS 92628 WITH SCORE 92828.689
AT ITER 6393 NEW BEST:: SOT 379706 SOS 200753 HAS SOPS 196510 HAS SOUS 93587 HAS SOUPS 92609 WITH SCORE 92809.753
AT ITER 6398 NEW BEST:: SOT 379696 SOS 200743 HAS SOPS 196500 HAS SOUS 93561 HAS SOUPS 92583 WITH SCORE 92783.743
AT ITER 6404 NEW BEST:: SOT 379681 SOS 201208 HAS SOPS 196965 HAS SOUS 93531 HAS SOUPS 92553 WITH SCORE 92754.208
AT ITER 6415 NEW BEST:: SOT 379642 SOS 201169 HAS SOPS 196926 HAS SOUS 93507 HAS SOUPS 92529 WITH SCORE 92730.169
AT ITER 6422 NEW BEST:: SOT 379418 SOS 201016 HAS SOPS 196773 HAS SOUS 93346 HAS SOUPS 92368 WITH SCORE 92569.016
AT ITER 6431 NEW BEST:: SOT 379365 SOS 200963 HAS SOPS 196766 HAS SOUS 93339 HAS SOUPS 92361 WITH SCORE 92561.963
AT ITER 6533 NEW BEST:: SOT 379229 SOS 200754 HAS SOPS 196557 HAS SOUS 93018 HAS SOUPS 92040 WITH SCORE 92240.754
AT ITER 6549 NEW BEST:: SOT 379198 SOS 204458 HAS SOPS 200261 HAS SOUS 92987 HAS SOUPS 92009 WITH SCORE 92213.458
AT ITER 6551 NEW BEST:: SOT 379088 SOS 202464 HAS SOPS 198311 HAS SOUS 92932 HAS SOUPS 91954 WITH SCORE 92156.464
AT ITER 6567 NEW BEST:: SOT 379089 SOS 202465 HAS SOPS 198305 HAS SOUS 92920 HAS SOUPS 91942 WITH SCORE 92144.465
AT ITER 6580 NEW BEST:: SOT 379137 SOS 202528 HAS SOPS 198368 HAS SOUS 92906 HAS SOUPS 91928 WITH SCORE 92130.528
AT ITER 6590 NEW BEST:: SOT 379063 SOS 202158 HAS SOPS 197998 HAS SOUS 92758 HAS SOUPS 91780 WITH SCORE 91982.158
AT ITER 6598 NEW BEST:: SOT 379061 SOS 202154 HAS SOPS 197994 HAS SOUS 92754 HAS SOUPS 91776 WITH SCORE 91978.154
AT ITER 6605 NEW BEST:: SOT 379054 SOS 202147 HAS SOPS 197972 HAS SOUS 92710 HAS SOUPS 91732 WITH SCORE 91934.147
AT ITER 6641 NEW BEST:: SOT 379120 SOS 202235 HAS SOPS 198035 HAS SOUS 92687 HAS SOUPS 91709 WITH SCORE 91911.235
AT ITER 6647 NEW BEST:: SOT 378364 SOS 201479 HAS SOPS 197279 HAS SOUS 92683 HAS SOUPS 91705 WITH SCORE 91906.479
AT ITER 6688 NEW BEST:: SOT 378402 SOS 201431 HAS SOPS 197231 HAS SOUS 92638 HAS SOUPS 91660 WITH SCORE 91861.431
AT ITER 6693 NEW BEST:: SOT 378353 SOS 201233 HAS SOPS 197033 HAS SOUS 92632 HAS SOUPS 91654 WITH SCORE 91855.233
AT ITER 6694 NEW BEST:: SOT 378353 SOS 201238 HAS SOPS 197038 HAS SOUS 92627 HAS SOUPS 91649 WITH SCORE 91850.238
AT ITER 6725 NEW BEST:: SOT 378332 SOS 200811 HAS SOPS 196625 HAS SOUS 92599 HAS SOUPS 91621 WITH SCORE 91821.811
AT ITER 6738 NEW BEST:: SOT 378312 SOS 200791 HAS SOPS 196605 HAS SOUS 92570 HAS SOUPS 91592 WITH SCORE 91792.791
AT ITER 6764 NEW BEST:: SOT 378310 SOS 200789 HAS SOPS 196603 HAS SOUS 92565 HAS SOUPS 91587 WITH SCORE 91787.789
AT ITER 6811 NEW BEST:: SOT 378298 SOS 201812 HAS SOPS 197626 HAS SOUS 92549 HAS SOUPS 91571 WITH SCORE 91772.812
AT ITER 6817 NEW BEST:: SOT 378341 SOS 201855 HAS SOPS 197669 HAS SOUS 92527 HAS SOUPS 91549 WITH SCORE 91750.855
AT ITER 6820 NEW BEST:: SOT 378341 SOS 201867 HAS SOPS 197681 HAS SOUS 92521 HAS SOUPS 91543 WITH SCORE 91744.867
AT ITER 6846 NEW BEST:: SOT 378617 SOS 202143 HAS SOPS 197957 HAS SOUS 92515 HAS SOUPS 91537 WITH SCORE 91739.143
AT ITER 6857 NEW BEST:: SOT 378599 SOS 202080 HAS SOPS 197894 HAS SOUS 92089 HAS SOUPS 91111 WITH SCORE 91313.08
AT ITER 6864 NEW BEST:: SOT 378603 SOS 202042 HAS SOPS 197856 HAS SOUS 92075 HAS SOUPS 91097 WITH SCORE 91299.042
AT ITER 6872 NEW BEST:: SOT 378513 SOS 201989 HAS SOPS 197803 HAS SOUS 92032 HAS SOUPS 91054 WITH SCORE 91255.989
AT ITER 6881 NEW BEST:: SOT 378510 SOS 201986 HAS SOPS 197800 HAS SOUS 92026 HAS SOUPS 91048 WITH SCORE 91249.986
AT ITER 6892 NEW BEST:: SOT 378497 SOS 201947 HAS SOPS 197761 HAS SOUS 92002 HAS SOUPS 91024 WITH SCORE 91225.947
AT ITER 6895 NEW BEST:: SOT 378424 SOS 201879 HAS SOPS 197693 HAS SOUS 91978 HAS SOUPS 91000 WITH SCORE 91201.879
AT ITER 6918 NEW BEST:: SOT 378412 SOS 201867 HAS SOPS 197662 HAS SOUS 91954 HAS SOUPS 90976 WITH SCORE 91177.867
AT ITER 6969 NEW BEST:: SOT 378412 SOS 201869 HAS SOPS 197664 HAS SOUS 91952 HAS SOUPS 90974 WITH SCORE 91175.869
AT ITER 6971 NEW BEST:: SOT 378406 SOS 201863 HAS SOPS 197658 HAS SOUS 91926 HAS SOUPS 90948 WITH SCORE 91149.863
AT ITER 7026 NEW BEST:: SOT 378246 SOS 201719 HAS SOPS 197514 HAS SOUS 91788 HAS SOUPS 90810 WITH SCORE 91011.719
AT ITER 7039 NEW BEST:: SOT 378216 SOS 201679 HAS SOPS 197474 HAS SOUS 91758 HAS SOUPS 90780 WITH SCORE 90981.679
AT ITER 7067 NEW BEST:: SOT 378178 SOS 201590 HAS SOPS 197385 HAS SOUS 91718 HAS SOUPS 90740 WITH SCORE 90941.59
AT ITER 7082 NEW BEST:: SOT 378248 SOS 201544 HAS SOPS 197339 HAS SOUS 91629 HAS SOUPS 90651 WITH SCORE 90852.544
AT ITER 7129 NEW BEST:: SOT 378248 SOS 201631 HAS SOPS 197426 HAS SOUS 91609 HAS SOUPS 90631 WITH SCORE 90832.631
AT ITER 7133 NEW BEST:: SOT 378244 SOS 201627 HAS SOPS 197422 HAS SOUS 91609 HAS SOUPS 90631 WITH SCORE 90832.627
AT ITER 7145 NEW BEST:: SOT 378244 SOS 201627 HAS SOPS 197422 HAS SOUS 91589 HAS SOUPS 90611 WITH SCORE 90812.627
AT ITER 7165 NEW BEST:: SOT 378226 SOS 201609 HAS SOPS 197404 HAS SOUS 91570 HAS SOUPS 90592 WITH SCORE 90793.609
AT ITER 7208 NEW BEST:: SOT 378160 SOS 201543 HAS SOPS 197404 HAS SOUS 91524 HAS SOUPS 90592 WITH SCORE 90793.543
AT ITER 7214 NEW BEST:: SOT 377902 SOS 201285 HAS SOPS 197146 HAS SOUS 91398 HAS SOUPS 90466 WITH SCORE 90667.285
AT ITER 7237 NEW BEST:: SOT 377893 SOS 201276 HAS SOPS 197137 HAS SOUS 91384 HAS SOUPS 90452 WITH SCORE 90653.276
AT ITER 7258 NEW BEST:: SOT 377895 SOS 201243 HAS SOPS 197109 HAS SOUS 91357 HAS SOUPS 90430 WITH SCORE 90631.243
AT ITER 7269 NEW BEST:: SOT 377895 SOS 201243 HAS SOPS 197109 HAS SOUS 91346 HAS SOUPS 90419 WITH SCORE 90620.243
AT ITER 7306 NEW BEST:: SOT 377878 SOS 201226 HAS SOPS 197092 HAS SOUS 91183 HAS SOUPS 90256 WITH SCORE 90457.226
AT ITER 7344 NEW BEST:: SOT 377611 SOS 200759 HAS SOPS 196625 HAS SOUS 91063 HAS SOUPS 90136 WITH SCORE 90336.759
AT ITER 7356 NEW BEST:: SOT 377605 SOS 200753 HAS SOPS 196619 HAS SOUS 91057 HAS SOUPS 90130 WITH SCORE 90330.753
AT ITER 7377 NEW BEST:: SOT 377604 SOS 200718 HAS SOPS 196584 HAS SOUS 91055 HAS SOUPS 90128 WITH SCORE 90328.718
AT ITER 7416 NEW BEST:: SOT 377568 SOS 200628 HAS SOPS 196494 HAS SOUS 90487 HAS SOUPS 89560 WITH SCORE 89760.628
AT ITER 7421 NEW BEST:: SOT 377558 SOS 200603 HAS SOPS 196469 HAS SOUS 90482 HAS SOUPS 89555 WITH SCORE 89755.603
AT ITER 7428 NEW BEST:: SOT 377557 SOS 200401 HAS SOPS 196267 HAS SOUS 90480 HAS SOUPS 89553 WITH SCORE 89753.401
AT ITER 7434 NEW BEST:: SOT 377324 SOS 200202 HAS SOPS 196068 HAS SOUS 90338 HAS SOUPS 89411 WITH SCORE 89611.202
AT ITER 7435 NEW BEST:: SOT 377221 SOS 198810 HAS SOPS 194676 HAS SOUS 90177 HAS SOUPS 89250 WITH SCORE 89448.81
AT ITER 7440 NEW BEST:: SOT 377201 SOS 198790 HAS SOPS 194656 HAS SOUS 90157 HAS SOUPS 89230 WITH SCORE 89428.79
AT ITER 7473 NEW BEST:: SOT 377177 SOS 198766 HAS SOPS 194632 HAS SOUS 90127 HAS SOUPS 89200 WITH SCORE 89398.766
AT ITER 7489 NEW BEST:: SOT 377110 SOS 198717 HAS SOPS 194583 HAS SOUS 90011 HAS SOUPS 89084 WITH SCORE 89282.717
AT ITER 7491 NEW BEST:: SOT 377100 SOS 198707 HAS SOPS 194565 HAS SOUS 89978 HAS SOUPS 89051 WITH SCORE 89249.707
AT ITER 7518 NEW BEST:: SOT 377096 SOS 198703 HAS SOPS 194561 HAS SOUS 89973 HAS SOUPS 89046 WITH SCORE 89244.703
AT ITER 7616 NEW BEST:: SOT 377096 SOS 199219 HAS SOPS 195077 HAS SOUS 89958 HAS SOUPS 89031 WITH SCORE 89230.219
AT ITER 7643 NEW BEST:: SOT 377090 SOS 199213 HAS SOPS 195071 HAS SOUS 89937 HAS SOUPS 89010 WITH SCORE 89209.213
AT ITER 7660 NEW BEST:: SOT 377072 SOS 199141 HAS SOPS 194999 HAS SOUS 89901 HAS SOUPS 88974 WITH SCORE 89173.141
AT ITER 7667 NEW BEST:: SOT 377072 SOS 199138 HAS SOPS 194996 HAS SOUS 89901 HAS SOUPS 88974 WITH SCORE 89173.138
AT ITER 7699 NEW BEST:: SOT 377075 SOS 199141 HAS SOPS 194999 HAS SOUS 89880 HAS SOUPS 88953 WITH SCORE 89152.141
AT ITER 7742 NEW BEST:: SOT 377037 SOS 199121 HAS SOPS 194981 HAS SOUS 89776 HAS SOUPS 88849 WITH SCORE 89048.121
AT ITER 7747 NEW BEST:: SOT 377020 SOS 199087 HAS SOPS 194947 HAS SOUS 89742 HAS SOUPS 88815 WITH SCORE 89014.087
AT ITER 7754 NEW BEST:: SOT 377008 SOS 199135 HAS SOPS 194995 HAS SOUS 89719 HAS SOUPS 88792 WITH SCORE 88991.135
AT ITER 7776 NEW BEST:: SOT 376977 SOS 199013 HAS SOPS 194886 HAS SOUS 89636 HAS SOUPS 88722 WITH SCORE 88921.013
AT ITER 7820 NEW BEST:: SOT 376979 SOS 199014 HAS SOPS 194887 HAS SOUS 89625 HAS SOUPS 88711 WITH SCORE 88910.014
AT ITER 7847 NEW BEST:: SOT 376973 SOS 198996 HAS SOPS 194869 HAS SOUS 89613 HAS SOUPS 88699 WITH SCORE 88897.996
AT ITER 7876 NEW BEST:: SOT 376949 SOS 196570 HAS SOPS 192443 HAS SOUS 89516 HAS SOUPS 88602 WITH SCORE 88798.57
AT ITER 7909 NEW BEST:: SOT 376964 SOS 196585 HAS SOPS 192448 HAS SOUS 89511 HAS SOUPS 88597 WITH SCORE 88793.585
AT ITER 7910 NEW BEST:: SOT 376962 SOS 196583 HAS SOPS 192446 HAS SOUS 89509 HAS SOUPS 88595 WITH SCORE 88791.583
AT ITER 7911 NEW BEST:: SOT 376962 SOS 195490 HAS SOPS 191353 HAS SOUS 89440 HAS SOUPS 88526 WITH SCORE 88721.49
AT ITER 7913 NEW BEST:: SOT 376957 SOS 195480 HAS SOPS 191343 HAS SOUS 89430 HAS SOUPS 88516 WITH SCORE 88711.48
AT ITER 7929 NEW BEST:: SOT 376887 SOS 195410 HAS SOPS 191273 HAS SOUS 89418 HAS SOUPS 88504 WITH SCORE 88699.41
AT ITER 7977 NEW BEST:: SOT 376930 SOS 195906 HAS SOPS 191769 HAS SOUS 89408 HAS SOUPS 88494 WITH SCORE 88689.906
AT ITER 8007 NEW BEST:: SOT 376882 SOS 195858 HAS SOPS 191721 HAS SOUS 89376 HAS SOUPS 88462 WITH SCORE 88657.858
AT ITER 8044 NEW BEST:: SOT 376869 SOS 195845 HAS SOPS 191708 HAS SOUS 89374 HAS SOUPS 88460 WITH SCORE 88655.845
AT ITER 8049 NEW BEST:: SOT 376869 SOS 195819 HAS SOPS 191682 HAS SOUS 89322 HAS SOUPS 88408 WITH SCORE 88603.819
AT ITER 8057 NEW BEST:: SOT 376916 SOS 195691 HAS SOPS 191554 HAS SOUS 89247 HAS SOUPS 88333 WITH SCORE 88528.691
AT ITER 8090 NEW BEST:: SOT 376904 SOS 195679 HAS SOPS 191542 HAS SOUS 89235 HAS SOUPS 88321 WITH SCORE 88516.679
AT ITER 8115 NEW BEST:: SOT 376899 SOS 195674 HAS SOPS 191537 HAS SOUS 89223 HAS SOUPS 88309 WITH SCORE 88504.674
AT ITER 8151 NEW BEST:: SOT 376899 SOS 195538 HAS SOPS 191401 HAS SOUS 89223 HAS SOUPS 88309 WITH SCORE 88504.538
AT ITER 8175 NEW BEST:: SOT 376907 SOS 195526 HAS SOPS 191389 HAS SOUS 89185 HAS SOUPS 88271 WITH SCORE 88466.526
AT ITER 8191 NEW BEST:: SOT 376880 SOS 195378 HAS SOPS 191241 HAS SOUS 89130 HAS SOUPS 88216 WITH SCORE 88411.378
AT ITER 8200 NEW BEST:: SOT 376880 SOS 195429 HAS SOPS 191292 HAS SOUS 89127 HAS SOUPS 88213 WITH SCORE 88408.429
AT ITER 8203 NEW BEST:: SOT 376977 SOS 195526 HAS SOPS 191334 HAS SOUS 89129 HAS SOUPS 88209 WITH SCORE 88404.526
AT ITER 8220 NEW BEST:: SOT 376968 SOS 195440 HAS SOPS 191259 HAS SOUS 89116 HAS SOUPS 88202 WITH SCORE 88397.44
AT ITER 8236 NEW BEST:: SOT 376870 SOS 194225 HAS SOPS 190044 HAS SOUS 89011 HAS SOUPS 88097 WITH SCORE 88291.225
AT ITER 8276 NEW BEST:: SOT 376870 SOS 194225 HAS SOPS 190020 HAS SOUS 89011 HAS SOUPS 88073 WITH SCORE 88267.225
AT ITER 8312 NEW BEST:: SOT 376882 SOS 194261 HAS SOPS 190056 HAS SOUS 88886 HAS SOUPS 87948 WITH SCORE 88142.261
AT ITER 8313 NEW BEST:: SOT 376844 SOS 194218 HAS SOPS 190040 HAS SOUS 88879 HAS SOUPS 87941 WITH SCORE 88135.218
AT ITER 8329 NEW BEST:: SOT 376814 SOS 194160 HAS SOPS 189982 HAS SOUS 88870 HAS SOUPS 87932 WITH SCORE 88126.16
AT ITER 8368 NEW BEST:: SOT 376785 SOS 194146 HAS SOPS 189968 HAS SOUS 88788 HAS SOUPS 87850 WITH SCORE 88044.146
AT ITER 8378 NEW BEST:: SOT 376785 SOS 194080 HAS SOPS 189902 HAS SOUS 88683 HAS SOUPS 87745 WITH SCORE 87939.08
AT ITER 8424 NEW BEST:: SOT 376757 SOS 193296 HAS SOPS 189118 HAS SOUS 88543 HAS SOUPS 87605 WITH SCORE 87798.296
AT ITER 8442 NEW BEST:: SOT 376786 SOS 195177 HAS SOPS 190999 HAS SOUS 88503 HAS SOUPS 87565 WITH SCORE 87760.177
AT ITER 8470 NEW BEST:: SOT 376786 SOS 195177 HAS SOPS 190999 HAS SOUS 88487 HAS SOUPS 87549 WITH SCORE 87744.177
AT ITER 8499 NEW BEST:: SOT 376670 SOS 195061 HAS SOPS 190883 HAS SOUS 88374 HAS SOUPS 87436 WITH SCORE 87631.061
AT ITER 8507 NEW BEST:: SOT 376761 SOS 195232 HAS SOPS 191054 HAS SOUS 88340 HAS SOUPS 87402 WITH SCORE 87597.232
AT ITER 8583 NEW BEST:: SOT 376751 SOS 195222 HAS SOPS 191044 HAS SOUS 88310 HAS SOUPS 87372 WITH SCORE 87567.222
AT ITER 8592 NEW BEST:: SOT 376687 SOS 193974 HAS SOPS 189796 HAS SOUS 88208 HAS SOUPS 87270 WITH SCORE 87463.974
AT ITER 8640 NEW BEST:: SOT 376684 SOS 194028 HAS SOPS 189850 HAS SOUS 88202 HAS SOUPS 87264 WITH SCORE 87458.028
AT ITER 8641 NEW BEST:: SOT 376684 SOS 194069 HAS SOPS 189891 HAS SOUS 87993 HAS SOUPS 87055 WITH SCORE 87249.069
AT ITER 8649 NEW BEST:: SOT 376662 SOS 194002 HAS SOPS 189824 HAS SOUS 87935 HAS SOUPS 86997 WITH SCORE 87191.002
AT ITER 8664 NEW BEST:: SOT 376508 SOS 193930 HAS SOPS 189752 HAS SOUS 87839 HAS SOUPS 86901 WITH SCORE 87094.93
AT ITER 8680 NEW BEST:: SOT 376508 SOS 193930 HAS SOPS 189752 HAS SOUS 87797 HAS SOUPS 86859 WITH SCORE 87052.93
AT ITER 8692 NEW BEST:: SOT 376512 SOS 193934 HAS SOPS 189756 HAS SOUS 87755 HAS SOUPS 86817 WITH SCORE 87010.934
AT ITER 8706 NEW BEST:: SOT 376496 SOS 193901 HAS SOPS 189723 HAS SOUS 87726 HAS SOUPS 86788 WITH SCORE 86981.901
AT ITER 8779 NEW BEST:: SOT 376507 SOS 194133 HAS SOPS 189947 HAS SOUS 87714 HAS SOUPS 86776 WITH SCORE 86970.133
AT ITER 8783 NEW BEST:: SOT 376453 SOS 193995 HAS SOPS 189809 HAS SOUS 87639 HAS SOUPS 86701 WITH SCORE 86894.995
AT ITER 8833 NEW BEST:: SOT 376429 SOS 193971 HAS SOPS 189785 HAS SOUS 87605 HAS SOUPS 86667 WITH SCORE 86860.971
AT ITER 8849 NEW BEST:: SOT 376471 SOS 194593 HAS SOPS 190407 HAS SOUS 87602 HAS SOUPS 86664 WITH SCORE 86858.593
AT ITER 8853 NEW BEST:: SOT 376540 SOS 194740 HAS SOPS 190541 HAS SOUS 87535 HAS SOUPS 86597 WITH SCORE 86791.74
AT ITER 8881 NEW BEST:: SOT 376578 SOS 195020 HAS SOPS 190821 HAS SOUS 87522 HAS SOUPS 86584 WITH SCORE 86779.02
AT ITER 8883 NEW BEST:: SOT 376458 SOS 194900 HAS SOPS 190701 HAS SOUS 87313 HAS SOUPS 86375 WITH SCORE 86569.9
AT ITER 8885 NEW BEST:: SOT 376447 SOS 194856 HAS SOPS 190668 HAS SOUS 87313 HAS SOUPS 86375 WITH SCORE 86569.856
AT ITER 8962 NEW BEST:: SOT 376341 SOS 194991 HAS SOPS 190758 HAS SOUS 87257 HAS SOUPS 86319 WITH SCORE 86513.991
AT ITER 8980 NEW BEST:: SOT 376322 SOS 194972 HAS SOPS 190739 HAS SOUS 87251 HAS SOUPS 86313 WITH SCORE 86507.972
AT ITER 8990 NEW BEST:: SOT 376124 SOS 194762 HAS SOPS 190529 HAS SOUS 87046 HAS SOUPS 86108 WITH SCORE 86302.762
AT ITER 8997 NEW BEST:: SOT 376075 SOS 194740 HAS SOPS 190507 HAS SOUS 87024 HAS SOUPS 86086 WITH SCORE 86280.74
AT ITER 9012 NEW BEST:: SOT 376075 SOS 194740 HAS SOPS 190507 HAS SOUS 86986 HAS SOUPS 86048 WITH SCORE 86242.74
AT ITER 9023 NEW BEST:: SOT 376075 SOS 194321 HAS SOPS 190088 HAS SOUS 86974 HAS SOUPS 86036 WITH SCORE 86230.321
AT ITER 9038 NEW BEST:: SOT 375990 SOS 193732 HAS SOPS 189499 HAS SOUS 86946 HAS SOUPS 86008 WITH SCORE 86201.732
AT ITER 9068 NEW BEST:: SOT 375991 SOS 193733 HAS SOPS 189426 HAS SOUS 86874 HAS SOUPS 85936 WITH SCORE 86129.733
AT ITER 9126 NEW BEST:: SOT 375958 SOS 192987 HAS SOPS 188680 HAS SOUS 86868 HAS SOUPS 85930 WITH SCORE 86122.987
AT ITER 9142 NEW BEST:: SOT 375954 SOS 192979 HAS SOPS 188672 HAS SOUS 86860 HAS SOUPS 85922 WITH SCORE 86114.979
AT ITER 9201 NEW BEST:: SOT 375921 SOS 192946 HAS SOPS 188639 HAS SOUS 86794 HAS SOUPS 85856 WITH SCORE 86048.946
AT ITER 9216 NEW BEST:: SOT 375932 SOS 192957 HAS SOPS 188650 HAS SOUS 86793 HAS SOUPS 85855 WITH SCORE 86047.957
AT ITER 9221 NEW BEST:: SOT 375834 SOS 192716 HAS SOPS 188409 HAS SOUS 86755 HAS SOUPS 85817 WITH SCORE 86009.716
AT ITER 9239 NEW BEST:: SOT 375816 SOS 192698 HAS SOPS 188391 HAS SOUS 86737 HAS SOUPS 85799 WITH SCORE 85991.698
AT ITER 9265 NEW BEST:: SOT 375681 SOS 192563 HAS SOPS 188256 HAS SOUS 86475 HAS SOUPS 85537 WITH SCORE 85729.563
AT ITER 9331 NEW BEST:: SOT 375663 SOS 192469 HAS SOPS 188162 HAS SOUS 86388 HAS SOUPS 85450 WITH SCORE 85642.469
AT ITER 9337 NEW BEST:: SOT 375679 SOS 192485 HAS SOPS 188178 HAS SOUS 86382 HAS SOUPS 85444 WITH SCORE 85636.485
AT ITER 9360 NEW BEST:: SOT 375679 SOS 192489 HAS SOPS 188182 HAS SOUS 86378 HAS SOUPS 85440 WITH SCORE 85632.489
AT ITER 9417 NEW BEST:: SOT 375674 SOS 192474 HAS SOPS 188167 HAS SOUS 86373 HAS SOUPS 85435 WITH SCORE 85627.474
AT ITER 9421 NEW BEST:: SOT 375666 SOS 192490 HAS SOPS 188183 HAS SOUS 86357 HAS SOUPS 85419 WITH SCORE 85611.49
AT ITER 9424 NEW BEST:: SOT 375658 SOS 192435 HAS SOPS 188128 HAS SOUS 86341 HAS SOUPS 85403 WITH SCORE 85595.435
AT ITER 9445 NEW BEST:: SOT 375644 SOS 192421 HAS SOPS 188114 HAS SOUS 86322 HAS SOUPS 85384 WITH SCORE 85576.421
AT ITER 9513 NEW BEST:: SOT 375594 SOS 192125 HAS SOPS 187818 HAS SOUS 86236 HAS SOUPS 85298 WITH SCORE 85490.125
AT ITER 9543 NEW BEST:: SOT 375593 SOS 192124 HAS SOPS 187823 HAS SOUS 86223 HAS SOUPS 85285 WITH SCORE 85477.124
AT ITER 9562 NEW BEST:: SOT 375554 SOS 192035 HAS SOPS 187734 HAS SOUS 86179 HAS SOUPS 85241 WITH SCORE 85433.035
AT ITER 9572 NEW BEST:: SOT 375737 SOS 192268 HAS SOPS 187967 HAS SOUS 86045 HAS SOUPS 85107 WITH SCORE 85299.268
AT ITER 9596 NEW BEST:: SOT 375704 SOS 192173 HAS SOPS 187872 HAS SOUS 85948 HAS SOUPS 85010 WITH SCORE 85202.173
AT ITER 9613 NEW BEST:: SOT 375705 SOS 192181 HAS SOPS 187878 HAS SOUS 85947 HAS SOUPS 85009 WITH SCORE 85201.181
AT ITER 9621 NEW BEST:: SOT 375709 SOS 192217 HAS SOPS 187914 HAS SOUS 85938 HAS SOUPS 85000 WITH SCORE 85192.217
AT ITER 9625 NEW BEST:: SOT 375697 SOS 192106 HAS SOPS 187803 HAS SOUS 85914 HAS SOUPS 84976 WITH SCORE 85168.106
AT ITER 9638 NEW BEST:: SOT 375695 SOS 192102 HAS SOPS 187799 HAS SOUS 85910 HAS SOUPS 84972 WITH SCORE 85164.102
AT ITER 9664 NEW BEST:: SOT 375591 SOS 191938 HAS SOPS 187687 HAS SOUS 85821 HAS SOUPS 84888 WITH SCORE 85079.938
AT ITER 9708 NEW BEST:: SOT 375591 SOS 191865 HAS SOPS 187614 HAS SOUS 85821 HAS SOUPS 84888 WITH SCORE 85079.865
AT ITER 9715 NEW BEST:: SOT 375618 SOS 191904 HAS SOPS 187653 HAS SOUS 85804 HAS SOUPS 84871 WITH SCORE 85062.904
AT ITER 9718 NEW BEST:: SOT 375634 SOS 191920 HAS SOPS 187669 HAS SOUS 85802 HAS SOUPS 84869 WITH SCORE 85060.92
AT ITER 9740 NEW BEST:: SOT 375564 SOS 191877 HAS SOPS 187626 HAS SOUS 85728 HAS SOUPS 84795 WITH SCORE 84986.877
AT ITER 9747 NEW BEST:: SOT 375598 SOS 191837 HAS SOPS 187586 HAS SOUS 85688 HAS SOUPS 84755 WITH SCORE 84946.837
AT ITER 9754 NEW BEST:: SOT 375592 SOS 191832 HAS SOPS 187581 HAS SOUS 85686 HAS SOUPS 84753 WITH SCORE 84944.832
AT ITER 9768 NEW BEST:: SOT 375725 SOS 191965 HAS SOPS 187578 HAS SOUS 85680 HAS SOUPS 84747 WITH SCORE 84938.965
AT ITER 9782 NEW BEST:: SOT 375725 SOS 191960 HAS SOPS 187573 HAS SOUS 85680 HAS SOUPS 84747 WITH SCORE 84938.96
AT ITER 9798 NEW BEST:: SOT 375724 SOS 191959 HAS SOPS 187573 HAS SOUS 85680 HAS SOUPS 84747 WITH SCORE 84938.959
AT ITER 9844 NEW BEST:: SOT 375623 SOS 191368 HAS SOPS 187002 HAS SOUS 85576 HAS SOUPS 84643 WITH SCORE 84834.368
AT ITER 9868 NEW BEST:: SOT 375601 SOS 191346 HAS SOPS 186980 HAS SOUS 85572 HAS SOUPS 84639 WITH SCORE 84830.346
AT ITER 9876 NEW BEST:: SOT 375596 SOS 191221 HAS SOPS 186855 HAS SOUS 85562 HAS SOUPS 84629 WITH SCORE 84820.221
AT ITER 9920 NEW BEST:: SOT 375590 SOS 191228 HAS SOPS 186862 HAS SOUS 85505 HAS SOUPS 84572 WITH SCORE 84763.228
AT ITER 9922 NEW BEST:: SOT 375573 SOS 191193 HAS SOPS 186827 HAS SOUS 85488 HAS SOUPS 84555 WITH SCORE 84746.193
AT ITER 9928 NEW BEST:: SOT 375573 SOS 191194 HAS SOPS 186827 HAS SOUS 85486 HAS SOUPS 84553 WITH SCORE 84744.194
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12589536 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16134832 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J04T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is PolyORBLF-COL-S04J04T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942800400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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