About the Execution of Smart for Peterson-COL-4
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
8762.703 | 3600000.00 | 3598941.00 | 1270.80 | [undef] | Time out reached |
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.r259-smll-167863534700576.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 Peterson-COL-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700576
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 7.5K Feb 25 22:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 22:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 22:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 22:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 22:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 182K Feb 25 22:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 22:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 25 22:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 44K 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 1678822825195
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=Peterson-COL-4
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 19:40:29] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 19:40:29] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 19:40:29] [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 19:40:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 19:40:30] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1268 ms
[2023-03-14 19:40:31] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 500 PT places and 795.0 transition bindings in 50 ms.
[2023-03-14 19:40:31] [INFO ] Unfolded HLPN to a Petri net with 500 places and 730 transitions 2280 arcs in 111 ms.
[2023-03-14 19:40:31] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 20 places and 40 transitions.
[2023-03-14 19:40:31] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 480 places, 690 transitions and 2120 arcs took 25 ms.
Total runtime 1823 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (COL), instance 4
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: 480 places, 690 transitions, 2120 arcs.
AT ITER 0 NEW BEST:: SOT 228555 SOS 90524 HAS SOPS 80547 HAS SOUS 82113 HAS SOUPS 78608 WITH SCORE 78698.524
AT ITER 2 NEW BEST:: SOT 228254 SOS 90415 HAS SOPS 80598 HAS SOUS 81885 HAS SOUPS 78473 WITH SCORE 78563.415
AT ITER 3 NEW BEST:: SOT 228190 SOS 90287 HAS SOPS 80214 HAS SOUS 81501 HAS SOUPS 78089 WITH SCORE 78179.287
AT ITER 4 NEW BEST:: SOT 228089 SOS 90213 HAS SOPS 80120 HAS SOUS 81407 HAS SOUPS 77995 WITH SCORE 78085.213
AT ITER 5 NEW BEST:: SOT 228012 SOS 90059 HAS SOPS 79966 HAS SOUS 81253 HAS SOUPS 77841 WITH SCORE 77931.059
AT ITER 7 NEW BEST:: SOT 227996 SOS 90142 HAS SOPS 80024 HAS SOUS 81267 HAS SOUPS 77827 WITH SCORE 77917.142
AT ITER 9 NEW BEST:: SOT 228038 SOS 90110 HAS SOPS 79992 HAS SOUS 81235 HAS SOUPS 77795 WITH SCORE 77885.11
AT ITER 12 NEW BEST:: SOT 228003 SOS 90040 HAS SOPS 79922 HAS SOUS 81165 HAS SOUPS 77725 WITH SCORE 77815.04
AT ITER 26 NEW BEST:: SOT 227904 SOS 90013 HAS SOPS 79910 HAS SOUS 81153 HAS SOUPS 77713 WITH SCORE 77803.013
AT ITER 27 NEW BEST:: SOT 227860 SOS 89925 HAS SOPS 79822 HAS SOUS 81065 HAS SOUPS 77625 WITH SCORE 77714.925
AT ITER 31 NEW BEST:: SOT 227763 SOS 89731 HAS SOPS 79628 HAS SOUS 80871 HAS SOUPS 77431 WITH SCORE 77520.731
AT ITER 33 NEW BEST:: SOT 226333 SOS 89264 HAS SOPS 79408 HAS SOUS 79629 HAS SOUPS 76273 WITH SCORE 76362.264
AT ITER 37 NEW BEST:: SOT 226244 SOS 89086 HAS SOPS 79230 HAS SOUS 79451 HAS SOUPS 76095 WITH SCORE 76184.086
AT ITER 39 NEW BEST:: SOT 226186 SOS 88980 HAS SOPS 79124 HAS SOUS 79393 HAS SOUPS 76037 WITH SCORE 76125.98
AT ITER 45 NEW BEST:: SOT 226081 SOS 88980 HAS SOPS 79019 HAS SOUS 79288 HAS SOUPS 75932 WITH SCORE 76020.98
AT ITER 50 NEW BEST:: SOT 226043 SOS 88901 HAS SOPS 78940 HAS SOUS 79288 HAS SOUPS 75932 WITH SCORE 76020.901
AT ITER 58 NEW BEST:: SOT 225890 SOS 88146 HAS SOPS 78940 HAS SOUS 79135 HAS SOUPS 75932 WITH SCORE 76020.146
AT ITER 60 NEW BEST:: SOT 225829 SOS 88034 HAS SOPS 78828 HAS SOUS 79074 HAS SOUPS 75871 WITH SCORE 75959.034
AT ITER 61 NEW BEST:: SOT 225829 SOS 87989 HAS SOPS 78828 HAS SOUS 79074 HAS SOUPS 75871 WITH SCORE 75958.989
AT ITER 66 NEW BEST:: SOT 225787 SOS 87914 HAS SOPS 78753 HAS SOUS 79046 HAS SOUPS 75843 WITH SCORE 75930.914
AT ITER 72 NEW BEST:: SOT 225794 SOS 87816 HAS SOPS 78655 HAS SOUS 78948 HAS SOUPS 75745 WITH SCORE 75832.816
AT ITER 74 NEW BEST:: SOT 225697 SOS 87622 HAS SOPS 78461 HAS SOUS 78754 HAS SOUPS 75551 WITH SCORE 75638.622
AT ITER 77 NEW BEST:: SOT 225642 SOS 87504 HAS SOPS 78311 HAS SOUS 78676 HAS SOUPS 75473 WITH SCORE 75560.504
AT ITER 79 NEW BEST:: SOT 225550 SOS 87331 HAS SOPS 78138 HAS SOUS 78560 HAS SOUPS 75357 WITH SCORE 75444.331
AT ITER 81 NEW BEST:: SOT 225471 SOS 87189 HAS SOPS 77996 HAS SOUS 78485 HAS SOUPS 75282 WITH SCORE 75369.189
AT ITER 96 NEW BEST:: SOT 225406 SOS 87059 HAS SOPS 77866 HAS SOUS 78355 HAS SOUPS 75152 WITH SCORE 75239.059
AT ITER 106 NEW BEST:: SOT 225308 SOS 86897 HAS SOPS 77768 HAS SOUS 78257 HAS SOUPS 75054 WITH SCORE 75140.897
AT ITER 113 NEW BEST:: SOT 225210 SOS 85822 HAS SOPS 77611 HAS SOUS 77107 HAS SOUPS 74057 WITH SCORE 74142.822
AT ITER 119 NEW BEST:: SOT 225715 SOS 85056 HAS SOPS 77905 HAS SOUS 76818 HAS SOUPS 73977 WITH SCORE 74062.056
AT ITER 122 NEW BEST:: SOT 225699 SOS 85069 HAS SOPS 77918 HAS SOUS 76788 HAS SOUPS 73947 WITH SCORE 74032.069
AT ITER 123 NEW BEST:: SOT 225407 SOS 86985 HAS SOPS 77357 HAS SOUS 76563 HAS SOUPS 73429 WITH SCORE 73515.985
AT ITER 125 NEW BEST:: SOT 224730 SOS 86408 HAS SOPS 76800 HAS SOUS 75805 HAS SOUPS 72724 WITH SCORE 72810.408
AT ITER 127 NEW BEST:: SOT 224690 SOS 86328 HAS SOPS 76720 HAS SOUS 75725 HAS SOUPS 72644 WITH SCORE 72730.328
AT ITER 135 NEW BEST:: SOT 224663 SOS 86274 HAS SOPS 76666 HAS SOUS 75671 HAS SOUPS 72590 WITH SCORE 72676.274
AT ITER 137 NEW BEST:: SOT 224834 SOS 86616 HAS SOPS 76556 HAS SOUS 75594 HAS SOUPS 72480 WITH SCORE 72566.616
AT ITER 142 NEW BEST:: SOT 224970 SOS 86787 HAS SOPS 76263 HAS SOUS 75548 HAS SOUPS 72187 WITH SCORE 72273.787
AT ITER 146 NEW BEST:: SOT 224290 SOS 86805 HAS SOPS 75544 HAS SOUS 75575 HAS SOUPS 72056 WITH SCORE 72142.805
AT ITER 148 NEW BEST:: SOT 224268 SOS 86761 HAS SOPS 75500 HAS SOUS 75531 HAS SOUPS 72012 WITH SCORE 72098.761
AT ITER 149 NEW BEST:: SOT 223690 SOS 86259 HAS SOPS 75088 HAS SOUS 75043 HAS SOUPS 71524 WITH SCORE 71610.259
AT ITER 154 NEW BEST:: SOT 223900 SOS 86579 HAS SOPS 75068 HAS SOUS 75023 HAS SOUPS 71504 WITH SCORE 71590.579
AT ITER 155 NEW BEST:: SOT 223840 SOS 86459 HAS SOPS 74948 HAS SOUS 74903 HAS SOUPS 71384 WITH SCORE 71470.459
AT ITER 163 NEW BEST:: SOT 223840 SOS 86443 HAS SOPS 74948 HAS SOUS 74902 HAS SOUPS 71384 WITH SCORE 71470.443
AT ITER 165 NEW BEST:: SOT 223806 SOS 86555 HAS SOPS 74931 HAS SOUS 75023 HAS SOUPS 71367 WITH SCORE 71453.555
AT ITER 168 NEW BEST:: SOT 222734 SOS 85537 HAS SOPS 74148 HAS SOUS 74068 HAS SOUPS 70412 WITH SCORE 70497.537
AT ITER 171 NEW BEST:: SOT 222656 SOS 85381 HAS SOPS 73992 HAS SOUS 73912 HAS SOUPS 70256 WITH SCORE 70341.381
AT ITER 175 NEW BEST:: SOT 222515 SOS 85026 HAS SOPS 73772 HAS SOUS 73689 HAS SOUPS 70033 WITH SCORE 70118.026
AT ITER 180 NEW BEST:: SOT 222420 SOS 84940 HAS SOPS 73661 HAS SOUS 73578 HAS SOUPS 69922 WITH SCORE 70006.94
AT ITER 182 NEW BEST:: SOT 222354 SOS 84874 HAS SOPS 73595 HAS SOUS 73512 HAS SOUPS 69856 WITH SCORE 69940.874
AT ITER 191 NEW BEST:: SOT 222260 SOS 84646 HAS SOPS 73367 HAS SOUS 73429 HAS SOUPS 69773 WITH SCORE 69857.646
AT ITER 192 NEW BEST:: SOT 222158 SOS 84477 HAS SOPS 73198 HAS SOUS 73260 HAS SOUPS 69604 WITH SCORE 69688.477
AT ITER 198 NEW BEST:: SOT 222286 SOS 84509 HAS SOPS 73102 HAS SOUS 73356 HAS SOUPS 69572 WITH SCORE 69656.509
AT ITER 217 NEW BEST:: SOT 222187 SOS 84284 HAS SOPS 72940 HAS SOUS 73194 HAS SOUPS 69410 WITH SCORE 69494.284
AT ITER 220 NEW BEST:: SOT 222187 SOS 84252 HAS SOPS 72940 HAS SOUS 73194 HAS SOUPS 69410 WITH SCORE 69494.252
AT ITER 221 NEW BEST:: SOT 222144 SOS 84068 HAS SOPS 72938 HAS SOUS 73067 HAS SOUPS 69326 WITH SCORE 69410.068
AT ITER 229 NEW BEST:: SOT 222074 SOS 83928 HAS SOPS 72798 HAS SOUS 72927 HAS SOUPS 69186 WITH SCORE 69269.928
AT ITER 232 NEW BEST:: SOT 222070 SOS 83920 HAS SOPS 72790 HAS SOUS 72919 HAS SOUPS 69178 WITH SCORE 69261.92
AT ITER 236 NEW BEST:: SOT 222043 SOS 83914 HAS SOPS 72784 HAS SOUS 72865 HAS SOUPS 69124 WITH SCORE 69207.914
AT ITER 251 NEW BEST:: SOT 221923 SOS 82324 HAS SOPS 72004 HAS SOUS 72220 HAS SOUPS 68614 WITH SCORE 68696.324
AT ITER 256 NEW BEST:: SOT 221882 SOS 82242 HAS SOPS 71922 HAS SOUS 72138 HAS SOUPS 68532 WITH SCORE 68614.242
AT ITER 260 NEW BEST:: SOT 221375 SOS 81975 HAS SOPS 71794 HAS SOUS 71827 HAS SOUPS 68284 WITH SCORE 68365.975
AT ITER 263 NEW BEST:: SOT 221375 SOS 81969 HAS SOPS 71788 HAS SOUS 71821 HAS SOUPS 68278 WITH SCORE 68359.969
AT ITER 276 NEW BEST:: SOT 221290 SOS 81845 HAS SOPS 71664 HAS SOUS 71734 HAS SOUPS 68191 WITH SCORE 68272.845
AT ITER 279 NEW BEST:: SOT 221211 SOS 81687 HAS SOPS 71506 HAS SOUS 71576 HAS SOUPS 68033 WITH SCORE 68114.687
AT ITER 280 NEW BEST:: SOT 220776 SOS 81426 HAS SOPS 71593 HAS SOUS 71260 HAS SOUPS 68033 WITH SCORE 68114.426
AT ITER 284 NEW BEST:: SOT 220705 SOS 80992 HAS SOPS 71520 HAS SOUS 70749 HAS SOUPS 67604 WITH SCORE 67684.992
AT ITER 288 NEW BEST:: SOT 220705 SOS 80983 HAS SOPS 71511 HAS SOUS 70740 HAS SOUPS 67595 WITH SCORE 67675.983
AT ITER 301 NEW BEST:: SOT 220782 SOS 81053 HAS SOPS 71369 HAS SOUS 70682 HAS SOUPS 67537 WITH SCORE 67618.053
AT ITER 311 NEW BEST:: SOT 220769 SOS 81027 HAS SOPS 71343 HAS SOUS 70656 HAS SOUPS 67511 WITH SCORE 67592.027
AT ITER 314 NEW BEST:: SOT 220734 SOS 80929 HAS SOPS 71287 HAS SOUS 70579 HAS SOUPS 67441 WITH SCORE 67521.929
AT ITER 317 NEW BEST:: SOT 220689 SOS 81359 HAS SOPS 71720 HAS SOUS 70502 HAS SOUPS 67364 WITH SCORE 67445.359
AT ITER 325 NEW BEST:: SOT 220580 SOS 81250 HAS SOPS 71502 HAS SOUS 70393 HAS SOUPS 67146 WITH SCORE 67227.25
AT ITER 331 NEW BEST:: SOT 220483 SOS 81075 HAS SOPS 71327 HAS SOUS 70295 HAS SOUPS 67048 WITH SCORE 67129.075
AT ITER 333 NEW BEST:: SOT 220482 SOS 81073 HAS SOPS 71325 HAS SOUS 70293 HAS SOUPS 67046 WITH SCORE 67127.073
AT ITER 341 NEW BEST:: SOT 220508 SOS 80594 HAS SOPS 71275 HAS SOUS 69711 HAS SOUPS 66564 WITH SCORE 66644.594
AT ITER 343 NEW BEST:: SOT 220516 SOS 80608 HAS SOPS 71246 HAS SOUS 69682 HAS SOUPS 66535 WITH SCORE 66615.608
AT ITER 347 NEW BEST:: SOT 220516 SOS 80585 HAS SOPS 71338 HAS SOUS 69521 HAS SOUPS 66397 WITH SCORE 66477.585
AT ITER 348 NEW BEST:: SOT 220458 SOS 80519 HAS SOPS 71222 HAS SOUS 69405 HAS SOUPS 66281 WITH SCORE 66361.519
AT ITER 356 NEW BEST:: SOT 220408 SOS 80419 HAS SOPS 71122 HAS SOUS 69305 HAS SOUPS 66181 WITH SCORE 66261.419
AT ITER 365 NEW BEST:: SOT 220348 SOS 80299 HAS SOPS 71002 HAS SOUS 69245 HAS SOUPS 66121 WITH SCORE 66201.299
AT ITER 369 NEW BEST:: SOT 220309 SOS 80169 HAS SOPS 70924 HAS SOUS 69167 HAS SOUPS 66043 WITH SCORE 66123.169
AT ITER 370 NEW BEST:: SOT 219825 SOS 80524 HAS SOPS 70729 HAS SOUS 69133 HAS SOUPS 65893 WITH SCORE 65973.524
AT ITER 379 NEW BEST:: SOT 219773 SOS 79908 HAS SOPS 70113 HAS SOUS 69029 HAS SOUPS 65789 WITH SCORE 65868.908
AT ITER 381 NEW BEST:: SOT 219705 SOS 79880 HAS SOPS 70015 HAS SOUS 68979 HAS SOUPS 65739 WITH SCORE 65818.88
AT ITER 382 NEW BEST:: SOT 219125 SOS 79597 HAS SOPS 69993 HAS SOUS 68679 HAS SOUPS 65511 WITH SCORE 65590.597
AT ITER 385 NEW BEST:: SOT 219125 SOS 79597 HAS SOPS 69993 HAS SOUS 68678 HAS SOUPS 65510 WITH SCORE 65589.597
AT ITER 388 NEW BEST:: SOT 219112 SOS 79571 HAS SOPS 69967 HAS SOUS 68652 HAS SOUPS 65484 WITH SCORE 65563.571
AT ITER 390 NEW BEST:: SOT 219107 SOS 79561 HAS SOPS 69957 HAS SOUS 68642 HAS SOUPS 65474 WITH SCORE 65553.561
AT ITER 407 NEW BEST:: SOT 219104 SOS 79555 HAS SOPS 69951 HAS SOUS 68636 HAS SOUPS 65468 WITH SCORE 65547.555
AT ITER 409 NEW BEST:: SOT 219269 SOS 79778 HAS SOPS 69675 HAS SOUS 68508 HAS SOUPS 65220 WITH SCORE 65299.778
AT ITER 410 NEW BEST:: SOT 219269 SOS 79761 HAS SOPS 69635 HAS SOUS 68478 HAS SOUPS 65190 WITH SCORE 65269.761
AT ITER 417 NEW BEST:: SOT 219269 SOS 79646 HAS SOPS 69635 HAS SOUS 68344 HAS SOUPS 65190 WITH SCORE 65269.646
AT ITER 421 NEW BEST:: SOT 218187 SOS 79345 HAS SOPS 69647 HAS SOUS 67558 HAS SOUPS 64404 WITH SCORE 64483.345
AT ITER 434 NEW BEST:: SOT 218170 SOS 79311 HAS SOPS 69613 HAS SOUS 67524 HAS SOUPS 64370 WITH SCORE 64449.311
AT ITER 436 NEW BEST:: SOT 218146 SOS 79263 HAS SOPS 69565 HAS SOUS 67460 HAS SOUPS 64306 WITH SCORE 64385.263
AT ITER 441 NEW BEST:: SOT 218146 SOS 79194 HAS SOPS 69496 HAS SOUS 67405 HAS SOUPS 64251 WITH SCORE 64330.194
AT ITER 457 NEW BEST:: SOT 218238 SOS 79203 HAS SOPS 69607 HAS SOUS 67330 HAS SOUPS 64247 WITH SCORE 64326.203
AT ITER 463 NEW BEST:: SOT 218250 SOS 79134 HAS SOPS 69610 HAS SOUS 67300 HAS SOUPS 64226 WITH SCORE 64305.134
AT ITER 479 NEW BEST:: SOT 218163 SOS 79022 HAS SOPS 69503 HAS SOUS 67193 HAS SOUPS 64119 WITH SCORE 64198.022
AT ITER 481 NEW BEST:: SOT 218147 SOS 78952 HAS SOPS 69473 HAS SOUS 67160 HAS SOUPS 64089 WITH SCORE 64167.952
AT ITER 500 NEW BEST:: SOT 218147 SOS 78968 HAS SOPS 69489 HAS SOUS 67137 HAS SOUPS 64066 WITH SCORE 64144.968
AT ITER 504 NEW BEST:: SOT 218116 SOS 78906 HAS SOPS 69427 HAS SOUS 67075 HAS SOUPS 64004 WITH SCORE 64082.906
AT ITER 508 NEW BEST:: SOT 218112 SOS 78902 HAS SOPS 69419 HAS SOUS 67067 HAS SOUPS 63996 WITH SCORE 64074.902
AT ITER 523 NEW BEST:: SOT 218070 SOS 78818 HAS SOPS 69335 HAS SOUS 66983 HAS SOUPS 63912 WITH SCORE 63990.818
AT ITER 524 NEW BEST:: SOT 218065 SOS 78808 HAS SOPS 69325 HAS SOUS 66973 HAS SOUPS 63902 WITH SCORE 63980.808
AT ITER 525 NEW BEST:: SOT 218004 SOS 78698 HAS SOPS 69215 HAS SOUS 66867 HAS SOUPS 63796 WITH SCORE 63874.698
AT ITER 529 NEW BEST:: SOT 217967 SOS 78661 HAS SOPS 69119 HAS SOUS 66774 HAS SOUPS 63703 WITH SCORE 63781.661
AT ITER 530 NEW BEST:: SOT 217922 SOS 78490 HAS SOPS 69029 HAS SOUS 66684 HAS SOUPS 63613 WITH SCORE 63691.49
AT ITER 531 NEW BEST:: SOT 217874 SOS 78442 HAS SOPS 68981 HAS SOUS 66636 HAS SOUPS 63565 WITH SCORE 63643.442
AT ITER 534 NEW BEST:: SOT 217844 SOS 78292 HAS SOPS 68921 HAS SOUS 66471 HAS SOUPS 63415 WITH SCORE 63493.292
AT ITER 541 NEW BEST:: SOT 217759 SOS 78143 HAS SOPS 68821 HAS SOUS 66365 HAS SOUPS 63309 WITH SCORE 63387.143
AT ITER 545 NEW BEST:: SOT 217721 SOS 78067 HAS SOPS 68783 HAS SOUS 66327 HAS SOUPS 63271 WITH SCORE 63349.067
AT ITER 552 NEW BEST:: SOT 217702 SOS 77976 HAS SOPS 68731 HAS SOUS 66252 HAS SOUPS 63219 WITH SCORE 63296.976
AT ITER 557 NEW BEST:: SOT 217312 SOS 78575 HAS SOPS 68449 HAS SOUS 66136 HAS SOUPS 62937 WITH SCORE 63015.575
AT ITER 560 NEW BEST:: SOT 217294 SOS 78533 HAS SOPS 68407 HAS SOUS 66100 HAS SOUPS 62901 WITH SCORE 62979.533
AT ITER 567 NEW BEST:: SOT 217313 SOS 78600 HAS SOPS 68474 HAS SOUS 66099 HAS SOUPS 62900 WITH SCORE 62978.6
AT ITER 572 NEW BEST:: SOT 217313 SOS 78800 HAS SOPS 68624 HAS SOUS 66049 HAS SOUPS 62850 WITH SCORE 62928.8
AT ITER 577 NEW BEST:: SOT 217271 SOS 78716 HAS SOPS 68540 HAS SOUS 65965 HAS SOUPS 62766 WITH SCORE 62844.716
AT ITER 578 NEW BEST:: SOT 217263 SOS 78612 HAS SOPS 68428 HAS SOUS 65941 HAS SOUPS 62742 WITH SCORE 62820.612
AT ITER 580 NEW BEST:: SOT 217255 SOS 78596 HAS SOPS 68412 HAS SOUS 65925 HAS SOUPS 62726 WITH SCORE 62804.596
AT ITER 587 NEW BEST:: SOT 217170 SOS 78426 HAS SOPS 68242 HAS SOUS 65755 HAS SOUPS 62556 WITH SCORE 62634.426
AT ITER 612 NEW BEST:: SOT 217162 SOS 78418 HAS SOPS 68234 HAS SOUS 65747 HAS SOUPS 62548 WITH SCORE 62626.418
AT ITER 634 NEW BEST:: SOT 217157 SOS 78413 HAS SOPS 68229 HAS SOUS 65742 HAS SOUPS 62543 WITH SCORE 62621.413
AT ITER 637 NEW BEST:: SOT 217150 SOS 78399 HAS SOPS 68215 HAS SOUS 65728 HAS SOUPS 62529 WITH SCORE 62607.399
AT ITER 642 NEW BEST:: SOT 217090 SOS 78350 HAS SOPS 68144 HAS SOUS 65668 HAS SOUPS 62458 WITH SCORE 62536.35
AT ITER 645 NEW BEST:: SOT 215844 SOS 78961 HAS SOPS 69080 HAS SOUS 64939 HAS SOUPS 61761 WITH SCORE 61839.961
AT ITER 651 NEW BEST:: SOT 215840 SOS 78953 HAS SOPS 69072 HAS SOUS 64931 HAS SOUPS 61753 WITH SCORE 61831.953
AT ITER 652 NEW BEST:: SOT 215709 SOS 78644 HAS SOPS 68763 HAS SOUS 64734 HAS SOUPS 61556 WITH SCORE 61634.644
AT ITER 661 NEW BEST:: SOT 215264 SOS 78203 HAS SOPS 68606 HAS SOUS 64220 HAS SOUPS 61326 WITH SCORE 61404.203
AT ITER 676 NEW BEST:: SOT 215115 SOS 78011 HAS SOPS 68325 HAS SOUS 64015 HAS SOUPS 61121 WITH SCORE 61199.011
AT ITER 690 NEW BEST:: SOT 215041 SOS 77824 HAS SOPS 68138 HAS SOUS 63919 HAS SOUPS 61025 WITH SCORE 61102.824
AT ITER 698 NEW BEST:: SOT 215071 SOS 77791 HAS SOPS 68160 HAS SOUS 63848 HAS SOUPS 60987 WITH SCORE 61064.791
AT ITER 704 NEW BEST:: SOT 214859 SOS 78245 HAS SOPS 67993 HAS SOUS 63851 HAS SOUPS 60893 WITH SCORE 60971.245
AT ITER 707 NEW BEST:: SOT 214859 SOS 78245 HAS SOPS 67993 HAS SOUS 63850 HAS SOUPS 60892 WITH SCORE 60970.245
AT ITER 708 NEW BEST:: SOT 214851 SOS 78179 HAS SOPS 67919 HAS SOUS 63776 HAS SOUPS 60818 WITH SCORE 60896.179
AT ITER 717 NEW BEST:: SOT 214839 SOS 78143 HAS SOPS 67895 HAS SOUS 63752 HAS SOUPS 60794 WITH SCORE 60872.143
AT ITER 721 NEW BEST:: SOT 214817 SOS 78077 HAS SOPS 67818 HAS SOUS 63708 HAS SOUPS 60750 WITH SCORE 60828.077
AT ITER 725 NEW BEST:: SOT 214817 SOS 78055 HAS SOPS 67818 HAS SOUS 63708 HAS SOUPS 60750 WITH SCORE 60828.055
AT ITER 729 NEW BEST:: SOT 214818 SOS 76951 HAS SOPS 67819 HAS SOUS 63605 HAS SOUPS 60720 WITH SCORE 60796.951
AT ITER 733 NEW BEST:: SOT 214757 SOS 76823 HAS SOPS 67697 HAS SOUS 63549 HAS SOUPS 60664 WITH SCORE 60740.823
AT ITER 736 NEW BEST:: SOT 214757 SOS 76720 HAS SOPS 67697 HAS SOUS 63549 HAS SOUPS 60664 WITH SCORE 60740.72
AT ITER 740 NEW BEST:: SOT 214757 SOS 76701 HAS SOPS 67678 HAS SOUS 63530 HAS SOUPS 60645 WITH SCORE 60721.701
AT ITER 741 NEW BEST:: SOT 214718 SOS 76619 HAS SOPS 67639 HAS SOUS 63491 HAS SOUPS 60606 WITH SCORE 60682.619
AT ITER 749 NEW BEST:: SOT 214684 SOS 76558 HAS SOPS 67578 HAS SOUS 63423 HAS SOUPS 60538 WITH SCORE 60614.558
AT ITER 750 NEW BEST:: SOT 214675 SOS 76549 HAS SOPS 67569 HAS SOUS 63413 HAS SOUPS 60528 WITH SCORE 60604.549
AT ITER 756 NEW BEST:: SOT 214243 SOS 76311 HAS SOPS 67037 HAS SOUS 63290 HAS SOUPS 60305 WITH SCORE 60381.311
AT ITER 764 NEW BEST:: SOT 214056 SOS 75937 HAS SOPS 66663 HAS SOUS 62916 HAS SOUPS 59931 WITH SCORE 60006.937
AT ITER 771 NEW BEST:: SOT 214022 SOS 75847 HAS SOPS 66629 HAS SOUS 62882 HAS SOUPS 59897 WITH SCORE 59972.847
AT ITER 790 NEW BEST:: SOT 214012 SOS 75837 HAS SOPS 66619 HAS SOUS 62862 HAS SOUPS 59877 WITH SCORE 59952.837
AT ITER 796 NEW BEST:: SOT 213433 SOS 75514 HAS SOPS 66456 HAS SOUS 62379 HAS SOUPS 59545 WITH SCORE 59620.514
AT ITER 810 NEW BEST:: SOT 213425 SOS 75467 HAS SOPS 66440 HAS SOUS 62363 HAS SOUPS 59529 WITH SCORE 59604.467
AT ITER 813 NEW BEST:: SOT 212835 SOS 75121 HAS SOPS 66082 HAS SOUS 62005 HAS SOUPS 59171 WITH SCORE 59246.121
AT ITER 815 NEW BEST:: SOT 212766 SOS 74983 HAS SOPS 65944 HAS SOUS 61867 HAS SOUPS 59033 WITH SCORE 59107.983
AT ITER 816 NEW BEST:: SOT 212742 SOS 74905 HAS SOPS 65923 HAS SOUS 61835 HAS SOUPS 59001 WITH SCORE 59075.905
AT ITER 822 NEW BEST:: SOT 212734 SOS 74889 HAS SOPS 65907 HAS SOUS 61819 HAS SOUPS 58985 WITH SCORE 59059.889
AT ITER 840 NEW BEST:: SOT 212694 SOS 74769 HAS SOPS 65787 HAS SOUS 61699 HAS SOUPS 58865 WITH SCORE 58939.769
AT ITER 841 NEW BEST:: SOT 212524 SOS 74853 HAS SOPS 65545 HAS SOUS 61762 HAS SOUPS 58826 WITH SCORE 58900.853
AT ITER 843 NEW BEST:: SOT 212471 SOS 74741 HAS SOPS 65463 HAS SOUS 61680 HAS SOUPS 58744 WITH SCORE 58818.741
AT ITER 852 NEW BEST:: SOT 212444 SOS 74687 HAS SOPS 65409 HAS SOUS 61626 HAS SOUPS 58690 WITH SCORE 58764.687
AT ITER 853 NEW BEST:: SOT 212363 SOS 74665 HAS SOPS 65383 HAS SOUS 61551 HAS SOUPS 58596 WITH SCORE 58670.665
AT ITER 867 NEW BEST:: SOT 212348 SOS 74551 HAS SOPS 65269 HAS SOUS 61536 HAS SOUPS 58581 WITH SCORE 58655.551
AT ITER 869 NEW BEST:: SOT 212348 SOS 74532 HAS SOPS 65269 HAS SOUS 61536 HAS SOUPS 58581 WITH SCORE 58655.532
AT ITER 871 NEW BEST:: SOT 212307 SOS 74428 HAS SOPS 65228 HAS SOUS 61495 HAS SOUPS 58540 WITH SCORE 58614.428
AT ITER 889 NEW BEST:: SOT 212162 SOS 74138 HAS SOPS 64938 HAS SOUS 61205 HAS SOUPS 58250 WITH SCORE 58324.138
AT ITER 894 NEW BEST:: SOT 212321 SOS 74082 HAS SOPS 64852 HAS SOUS 61119 HAS SOUPS 58164 WITH SCORE 58238.082
AT ITER 896 NEW BEST:: SOT 212137 SOS 71824 HAS SOPS 63725 HAS SOUS 60276 HAS SOUPS 57516 WITH SCORE 57587.824
AT ITER 924 NEW BEST:: SOT 212106 SOS 71760 HAS SOPS 63663 HAS SOUS 60214 HAS SOUPS 57454 WITH SCORE 57525.76
AT ITER 933 NEW BEST:: SOT 211994 SOS 71712 HAS SOPS 63439 HAS SOUS 59990 HAS SOUPS 57230 WITH SCORE 57301.712
AT ITER 967 NEW BEST:: SOT 211962 SOS 71667 HAS SOPS 63375 HAS SOUS 59926 HAS SOUPS 57166 WITH SCORE 57237.667
AT ITER 972 NEW BEST:: SOT 211952 SOS 71647 HAS SOPS 63355 HAS SOUS 59906 HAS SOUPS 57146 WITH SCORE 57217.647
AT ITER 977 NEW BEST:: SOT 211892 SOS 71587 HAS SOPS 63295 HAS SOUS 59846 HAS SOUPS 57086 WITH SCORE 57157.587
AT ITER 981 NEW BEST:: SOT 211863 SOS 71601 HAS SOPS 63283 HAS SOUS 59834 HAS SOUPS 57074 WITH SCORE 57145.601
AT ITER 983 NEW BEST:: SOT 211853 SOS 71581 HAS SOPS 63263 HAS SOUS 59814 HAS SOUPS 57054 WITH SCORE 57125.581
AT ITER 996 NEW BEST:: SOT 211825 SOS 71428 HAS SOPS 63110 HAS SOUS 59665 HAS SOUPS 56905 WITH SCORE 56976.428
AT ITER 1010 NEW BEST:: SOT 211787 SOS 71494 HAS SOPS 63034 HAS SOUS 59589 HAS SOUPS 56829 WITH SCORE 56900.494
AT ITER 1017 NEW BEST:: SOT 211735 SOS 71390 HAS SOPS 62930 HAS SOUS 59485 HAS SOUPS 56725 WITH SCORE 56796.39
AT ITER 1019 NEW BEST:: SOT 211719 SOS 71358 HAS SOPS 62898 HAS SOUS 59453 HAS SOUPS 56693 WITH SCORE 56764.358
AT ITER 1023 NEW BEST:: SOT 211699 SOS 70898 HAS SOPS 62438 HAS SOUS 59413 HAS SOUPS 56653 WITH SCORE 56723.898
AT ITER 1044 NEW BEST:: SOT 211554 SOS 70753 HAS SOPS 62438 HAS SOUS 59413 HAS SOUPS 56653 WITH SCORE 56723.753
AT ITER 1049 NEW BEST:: SOT 211556 SOS 70755 HAS SOPS 62442 HAS SOUS 59411 HAS SOUPS 56651 WITH SCORE 56721.755
AT ITER 1070 NEW BEST:: SOT 211496 SOS 70669 HAS SOPS 62356 HAS SOUS 59291 HAS SOUPS 56531 WITH SCORE 56601.669
AT ITER 1072 NEW BEST:: SOT 211472 SOS 70621 HAS SOPS 62308 HAS SOUS 59243 HAS SOUPS 56483 WITH SCORE 56553.621
AT ITER 1106 NEW BEST:: SOT 211421 SOS 70366 HAS SOPS 62206 HAS SOUS 59141 HAS SOUPS 56381 WITH SCORE 56451.366
AT ITER 1111 NEW BEST:: SOT 211526 SOS 70383 HAS SOPS 62148 HAS SOUS 59083 HAS SOUPS 56323 WITH SCORE 56393.383
AT ITER 1113 NEW BEST:: SOT 211526 SOS 69709 HAS SOPS 61420 HAS SOUS 59031 HAS SOUPS 56271 WITH SCORE 56340.709
AT ITER 1117 NEW BEST:: SOT 211469 SOS 69641 HAS SOPS 61352 HAS SOUS 58963 HAS SOUPS 56203 WITH SCORE 56272.641
AT ITER 1121 NEW BEST:: SOT 211303 SOS 69806 HAS SOPS 61216 HAS SOUS 58890 HAS SOUPS 56067 WITH SCORE 56136.806
AT ITER 1126 NEW BEST:: SOT 211223 SOS 69646 HAS SOPS 61056 HAS SOUS 58730 HAS SOUPS 55907 WITH SCORE 55976.646
AT ITER 1130 NEW BEST:: SOT 210986 SOS 69596 HAS SOPS 61020 HAS SOUS 58694 HAS SOUPS 55871 WITH SCORE 55940.596
AT ITER 1133 NEW BEST:: SOT 210967 SOS 69558 HAS SOPS 60982 HAS SOUS 58656 HAS SOUPS 55833 WITH SCORE 55902.558
AT ITER 1134 NEW BEST:: SOT 210952 SOS 69528 HAS SOPS 60952 HAS SOUS 58626 HAS SOUPS 55803 WITH SCORE 55872.528
AT ITER 1138 NEW BEST:: SOT 210837 SOS 69298 HAS SOPS 60722 HAS SOUS 58396 HAS SOUPS 55573 WITH SCORE 55642.298
AT ITER 1144 NEW BEST:: SOT 210831 SOS 69292 HAS SOPS 60716 HAS SOUS 58390 HAS SOUPS 55567 WITH SCORE 55636.292
AT ITER 1145 NEW BEST:: SOT 210819 SOS 69268 HAS SOPS 60692 HAS SOUS 58366 HAS SOUPS 55543 WITH SCORE 55612.268
AT ITER 1156 NEW BEST:: SOT 210806 SOS 69242 HAS SOPS 60666 HAS SOUS 58340 HAS SOUPS 55517 WITH SCORE 55586.242
AT ITER 1163 NEW BEST:: SOT 210774 SOS 69194 HAS SOPS 60602 HAS SOUS 58276 HAS SOUPS 55453 WITH SCORE 55522.194
AT ITER 1184 NEW BEST:: SOT 210741 SOS 69128 HAS SOPS 60536 HAS SOUS 58210 HAS SOUPS 55387 WITH SCORE 55456.128
AT ITER 1185 NEW BEST:: SOT 210647 SOS 68940 HAS SOPS 60348 HAS SOUS 58022 HAS SOUPS 55199 WITH SCORE 55267.94
AT ITER 1187 NEW BEST:: SOT 210663 SOS 68916 HAS SOPS 60315 HAS SOUS 57989 HAS SOUPS 55166 WITH SCORE 55234.916
AT ITER 1199 NEW BEST:: SOT 210602 SOS 68923 HAS SOPS 60322 HAS SOUS 57981 HAS SOUPS 55158 WITH SCORE 55226.923
AT ITER 1210 NEW BEST:: SOT 210622 SOS 68661 HAS SOPS 60255 HAS SOUS 57659 HAS SOUPS 54875 WITH SCORE 54943.661
AT ITER 1214 NEW BEST:: SOT 210553 SOS 68523 HAS SOPS 60117 HAS SOUS 57521 HAS SOUPS 54737 WITH SCORE 54805.523
AT ITER 1216 NEW BEST:: SOT 210524 SOS 68478 HAS SOPS 60043 HAS SOUS 57447 HAS SOUPS 54663 WITH SCORE 54731.478
AT ITER 1217 NEW BEST:: SOT 210493 SOS 68429 HAS SOPS 60012 HAS SOUS 57416 HAS SOUPS 54632 WITH SCORE 54700.429
AT ITER 1228 NEW BEST:: SOT 210482 SOS 68407 HAS SOPS 59990 HAS SOUS 57394 HAS SOUPS 54610 WITH SCORE 54678.407
AT ITER 1232 NEW BEST:: SOT 210465 SOS 68340 HAS SOPS 59956 HAS SOUS 57360 HAS SOUPS 54576 WITH SCORE 54644.34
AT ITER 1233 NEW BEST:: SOT 210184 SOS 68089 HAS SOPS 59734 HAS SOUS 57138 HAS SOUPS 54354 WITH SCORE 54422.089
AT ITER 1240 NEW BEST:: SOT 210149 SOS 68029 HAS SOPS 59674 HAS SOUS 57103 HAS SOUPS 54319 WITH SCORE 54387.029
AT ITER 1254 NEW BEST:: SOT 210259 SOS 68051 HAS SOPS 59784 HAS SOUS 57080 HAS SOUPS 54318 WITH SCORE 54386.051
AT ITER 1262 NEW BEST:: SOT 210282 SOS 68093 HAS SOPS 59730 HAS SOUS 57026 HAS SOUPS 54264 WITH SCORE 54332.093
AT ITER 1263 NEW BEST:: SOT 210248 SOS 68064 HAS SOPS 59662 HAS SOUS 56958 HAS SOUPS 54196 WITH SCORE 54264.064
AT ITER 1278 NEW BEST:: SOT 210146 SOS 67952 HAS SOPS 59630 HAS SOUS 56926 HAS SOUPS 54164 WITH SCORE 54231.952
AT ITER 1288 NEW BEST:: SOT 210134 SOS 67929 HAS SOPS 59606 HAS SOUS 56902 HAS SOUPS 54140 WITH SCORE 54207.929
AT ITER 1290 NEW BEST:: SOT 210108 SOS 67819 HAS SOPS 59496 HAS SOUS 56796 HAS SOUPS 54034 WITH SCORE 54101.819
AT ITER 1292 NEW BEST:: SOT 210055 SOS 67132 HAS SOPS 59074 HAS SOUS 56635 HAS SOUPS 53926 WITH SCORE 53993.132
AT ITER 1298 NEW BEST:: SOT 210044 SOS 67110 HAS SOPS 59052 HAS SOUS 56613 HAS SOUPS 53904 WITH SCORE 53971.11
AT ITER 1300 NEW BEST:: SOT 210001 SOS 67016 HAS SOPS 58966 HAS SOUS 56527 HAS SOUPS 53818 WITH SCORE 53885.016
AT ITER 1301 NEW BEST:: SOT 209934 SOS 66882 HAS SOPS 58832 HAS SOUS 56393 HAS SOUPS 53684 WITH SCORE 53750.882
AT ITER 1333 NEW BEST:: SOT 209919 SOS 66852 HAS SOPS 58802 HAS SOUS 56363 HAS SOUPS 53654 WITH SCORE 53720.852
AT ITER 1338 NEW BEST:: SOT 209915 SOS 66844 HAS SOPS 58794 HAS SOUS 56355 HAS SOUPS 53646 WITH SCORE 53712.844
AT ITER 1356 NEW BEST:: SOT 209914 SOS 66842 HAS SOPS 58792 HAS SOUS 56353 HAS SOUPS 53644 WITH SCORE 53710.842
AT ITER 1357 NEW BEST:: SOT 209887 SOS 66866 HAS SOPS 58777 HAS SOUS 56338 HAS SOUPS 53629 WITH SCORE 53695.866
AT ITER 1358 NEW BEST:: SOT 209888 SOS 66868 HAS SOPS 58767 HAS SOUS 56328 HAS SOUPS 53619 WITH SCORE 53685.868
AT ITER 1372 NEW BEST:: SOT 209869 SOS 66970 HAS SOPS 58869 HAS SOUS 56323 HAS SOUPS 53614 WITH SCORE 53680.97
AT ITER 1376 NEW BEST:: SOT 209853 SOS 66938 HAS SOPS 58837 HAS SOUS 56291 HAS SOUPS 53582 WITH SCORE 53648.938
AT ITER 1395 NEW BEST:: SOT 209794 SOS 66820 HAS SOPS 58719 HAS SOUS 56173 HAS SOUPS 53464 WITH SCORE 53530.82
AT ITER 1402 NEW BEST:: SOT 209756 SOS 66915 HAS SOPS 58817 HAS SOUS 56153 HAS SOUPS 53444 WITH SCORE 53510.915
AT ITER 1404 NEW BEST:: SOT 209606 SOS 66719 HAS SOPS 58592 HAS SOUS 55853 HAS SOUPS 53144 WITH SCORE 53210.719
AT ITER 1415 NEW BEST:: SOT 209580 SOS 66682 HAS SOPS 58540 HAS SOUS 55801 HAS SOUPS 53092 WITH SCORE 53158.682
AT ITER 1425 NEW BEST:: SOT 209569 SOS 66660 HAS SOPS 58518 HAS SOUS 55779 HAS SOUPS 53070 WITH SCORE 53136.66
AT ITER 1434 NEW BEST:: SOT 209563 SOS 66658 HAS SOPS 58516 HAS SOUS 55777 HAS SOUPS 53068 WITH SCORE 53134.658
AT ITER 1437 NEW BEST:: SOT 209556 SOS 66644 HAS SOPS 58502 HAS SOUS 55763 HAS SOUPS 53054 WITH SCORE 53120.644
AT ITER 1440 NEW BEST:: SOT 209525 SOS 66582 HAS SOPS 58471 HAS SOUS 55732 HAS SOUPS 53023 WITH SCORE 53089.582
AT ITER 1456 NEW BEST:: SOT 209518 SOS 66575 HAS SOPS 58464 HAS SOUS 55725 HAS SOUPS 53016 WITH SCORE 53082.575
AT ITER 1457 NEW BEST:: SOT 209505 SOS 66549 HAS SOPS 58438 HAS SOUS 55699 HAS SOUPS 52990 WITH SCORE 53056.549
AT ITER 1464 NEW BEST:: SOT 209388 SOS 66405 HAS SOPS 58294 HAS SOUS 55562 HAS SOUPS 52853 WITH SCORE 52919.405
AT ITER 1466 NEW BEST:: SOT 209341 SOS 66311 HAS SOPS 58247 HAS SOUS 55515 HAS SOUPS 52806 WITH SCORE 52872.311
AT ITER 1484 NEW BEST:: SOT 209308 SOS 66245 HAS SOPS 58181 HAS SOUS 55449 HAS SOUPS 52740 WITH SCORE 52806.245
AT ITER 1485 NEW BEST:: SOT 209283 SOS 66223 HAS SOPS 58159 HAS SOUS 55427 HAS SOUPS 52718 WITH SCORE 52784.223
AT ITER 1487 NEW BEST:: SOT 209267 SOS 66191 HAS SOPS 58127 HAS SOUS 55395 HAS SOUPS 52686 WITH SCORE 52752.191
AT ITER 1496 NEW BEST:: SOT 209247 SOS 66167 HAS SOPS 58100 HAS SOUS 55323 HAS SOUPS 52614 WITH SCORE 52680.167
AT ITER 1507 NEW BEST:: SOT 209239 SOS 66151 HAS SOPS 58084 HAS SOUS 55307 HAS SOUPS 52598 WITH SCORE 52664.151
AT ITER 1539 NEW BEST:: SOT 209228 SOS 66129 HAS SOPS 58080 HAS SOUS 55303 HAS SOUPS 52594 WITH SCORE 52660.129
AT ITER 1551 NEW BEST:: SOT 209228 SOS 66117 HAS SOPS 58064 HAS SOUS 55299 HAS SOUPS 52590 WITH SCORE 52656.117
AT ITER 1564 NEW BEST:: SOT 209213 SOS 66087 HAS SOPS 58034 HAS SOUS 55269 HAS SOUPS 52560 WITH SCORE 52626.087
AT ITER 1572 NEW BEST:: SOT 209216 SOS 66069 HAS SOPS 58034 HAS SOUS 55263 HAS SOUPS 52557 WITH SCORE 52623.069
AT ITER 1575 NEW BEST:: SOT 209192 SOS 66069 HAS SOPS 58010 HAS SOUS 55239 HAS SOUPS 52533 WITH SCORE 52599.069
AT ITER 1582 NEW BEST:: SOT 209165 SOS 66015 HAS SOPS 57956 HAS SOUS 55216 HAS SOUPS 52510 WITH SCORE 52576.015
AT ITER 1583 NEW BEST:: SOT 209165 SOS 65919 HAS SOPS 57956 HAS SOUS 55216 HAS SOUPS 52510 WITH SCORE 52575.919
AT ITER 1600 NEW BEST:: SOT 208534 SOS 65332 HAS SOPS 57252 HAS SOUS 54615 HAS SOUPS 51835 WITH SCORE 51900.332
AT ITER 1603 NEW BEST:: SOT 208480 SOS 65281 HAS SOPS 57134 HAS SOUS 54590 HAS SOUPS 51810 WITH SCORE 51875.281
AT ITER 1604 NEW BEST:: SOT 208472 SOS 65265 HAS SOPS 57124 HAS SOUS 54570 HAS SOUPS 51792 WITH SCORE 51857.265
AT ITER 1606 NEW BEST:: SOT 208459 SOS 65252 HAS SOPS 57111 HAS SOUS 54557 HAS SOUPS 51779 WITH SCORE 51844.252
AT ITER 1610 NEW BEST:: SOT 208415 SOS 65164 HAS SOPS 57046 HAS SOUS 54492 HAS SOUPS 51714 WITH SCORE 51779.164
AT ITER 1613 NEW BEST:: SOT 208369 SOS 65184 HAS SOPS 56954 HAS SOUS 54400 HAS SOUPS 51622 WITH SCORE 51687.184
AT ITER 1614 NEW BEST:: SOT 208338 SOS 65122 HAS SOPS 56892 HAS SOUS 54338 HAS SOUPS 51560 WITH SCORE 51625.122
AT ITER 1626 NEW BEST:: SOT 208329 SOS 65104 HAS SOPS 56874 HAS SOUS 54327 HAS SOUPS 51549 WITH SCORE 51614.104
AT ITER 1627 NEW BEST:: SOT 208321 SOS 65101 HAS SOPS 56871 HAS SOUS 54324 HAS SOUPS 51546 WITH SCORE 51611.101
AT ITER 1648 NEW BEST:: SOT 208270 SOS 65016 HAS SOPS 56786 HAS SOUS 54239 HAS SOUPS 51461 WITH SCORE 51526.016
AT ITER 1655 NEW BEST:: SOT 208157 SOS 64828 HAS SOPS 56612 HAS SOUS 54065 HAS SOUPS 51287 WITH SCORE 51351.828
AT ITER 1674 NEW BEST:: SOT 208080 SOS 64542 HAS SOPS 56458 HAS SOUS 53857 HAS SOUPS 51133 WITH SCORE 51197.542
AT ITER 1682 NEW BEST:: SOT 207961 SOS 64304 HAS SOPS 56220 HAS SOUS 53619 HAS SOUPS 50895 WITH SCORE 50959.304
AT ITER 1683 NEW BEST:: SOT 207977 SOS 64330 HAS SOPS 56161 HAS SOUS 53560 HAS SOUPS 50836 WITH SCORE 50900.33
AT ITER 1700 NEW BEST:: SOT 207931 SOS 64527 HAS SOPS 56115 HAS SOUS 53565 HAS SOUPS 50814 WITH SCORE 50878.527
AT ITER 1720 NEW BEST:: SOT 207924 SOS 64513 HAS SOPS 56101 HAS SOUS 53551 HAS SOUPS 50800 WITH SCORE 50864.513
AT ITER 1723 NEW BEST:: SOT 207788 SOS 64425 HAS SOPS 56097 HAS SOUS 53517 HAS SOUPS 50792 WITH SCORE 50856.425
AT ITER 1729 NEW BEST:: SOT 207664 SOS 64766 HAS SOPS 56462 HAS SOUS 53510 HAS SOUPS 50785 WITH SCORE 50849.766
AT ITER 1739 NEW BEST:: SOT 207638 SOS 64714 HAS SOPS 56410 HAS SOUS 53458 HAS SOUPS 50733 WITH SCORE 50797.714
AT ITER 1762 NEW BEST:: SOT 207588 SOS 64614 HAS SOPS 56310 HAS SOUS 53358 HAS SOUPS 50633 WITH SCORE 50697.614
AT ITER 1817 NEW BEST:: SOT 207677 SOS 64115 HAS SOPS 55638 HAS SOUS 53284 HAS SOUPS 50559 WITH SCORE 50623.115
AT ITER 1818 NEW BEST:: SOT 207512 SOS 64363 HAS SOPS 55551 HAS SOUS 53277 HAS SOUPS 50465 WITH SCORE 50529.363
AT ITER 1825 NEW BEST:: SOT 207497 SOS 64333 HAS SOPS 55521 HAS SOUS 53247 HAS SOUPS 50435 WITH SCORE 50499.333
AT ITER 1845 NEW BEST:: SOT 207478 SOS 64326 HAS SOPS 55483 HAS SOUS 53209 HAS SOUPS 50397 WITH SCORE 50461.326
AT ITER 1868 NEW BEST:: SOT 207458 SOS 64306 HAS SOPS 55463 HAS SOUS 53189 HAS SOUPS 50377 WITH SCORE 50441.306
AT ITER 1869 NEW BEST:: SOT 207457 SOS 64304 HAS SOPS 55461 HAS SOUS 53187 HAS SOUPS 50375 WITH SCORE 50439.304
AT ITER 1879 NEW BEST:: SOT 207422 SOS 64269 HAS SOPS 55408 HAS SOUS 53172 HAS SOUPS 50351 WITH SCORE 50415.269
AT ITER 1883 NEW BEST:: SOT 207381 SOS 64276 HAS SOPS 55415 HAS SOUS 53098 HAS SOUPS 50277 WITH SCORE 50341.276
AT ITER 1920 NEW BEST:: SOT 207376 SOS 64237 HAS SOPS 55405 HAS SOUS 53088 HAS SOUPS 50267 WITH SCORE 50331.237
AT ITER 1932 NEW BEST:: SOT 207369 SOS 64223 HAS SOPS 55391 HAS SOUS 53074 HAS SOUPS 50253 WITH SCORE 50317.223
AT ITER 1935 NEW BEST:: SOT 207291 SOS 64142 HAS SOPS 55310 HAS SOUS 52993 HAS SOUPS 50172 WITH SCORE 50236.142
AT ITER 1948 NEW BEST:: SOT 207260 SOS 64037 HAS SOPS 55248 HAS SOUS 52931 HAS SOUPS 50110 WITH SCORE 50174.037
AT ITER 1955 NEW BEST:: SOT 207221 SOS 63990 HAS SOPS 55198 HAS SOUS 52882 HAS SOUPS 50061 WITH SCORE 50124.99
AT ITER 1959 NEW BEST:: SOT 207152 SOS 63857 HAS SOPS 55129 HAS SOUS 52813 HAS SOUPS 49992 WITH SCORE 50055.857
AT ITER 1964 NEW BEST:: SOT 207152 SOS 63934 HAS SOPS 55115 HAS SOUS 52806 HAS SOUPS 49978 WITH SCORE 50041.934
AT ITER 1972 NEW BEST:: SOT 207152 SOS 63932 HAS SOPS 55113 HAS SOUS 52804 HAS SOUPS 49976 WITH SCORE 50039.932
AT ITER 1983 NEW BEST:: SOT 207207 SOS 63930 HAS SOPS 55031 HAS SOUS 52779 HAS SOUPS 49951 WITH SCORE 50014.93
AT ITER 1993 NEW BEST:: SOT 207212 SOS 63915 HAS SOPS 55011 HAS SOUS 52774 HAS SOUPS 49946 WITH SCORE 50009.915
AT ITER 1997 NEW BEST:: SOT 207198 SOS 63687 HAS SOPS 54783 HAS SOUS 52693 HAS SOUPS 49865 WITH SCORE 49928.687
AT ITER 1998 NEW BEST:: SOT 207159 SOS 63647 HAS SOPS 54732 HAS SOUS 52685 HAS SOUPS 49857 WITH SCORE 49920.647
AT ITER 2017 NEW BEST:: SOT 207149 SOS 63632 HAS SOPS 54717 HAS SOUS 52670 HAS SOUPS 49842 WITH SCORE 49905.632
AT ITER 2035 NEW BEST:: SOT 207076 SOS 63549 HAS SOPS 54634 HAS SOUS 52587 HAS SOUPS 49759 WITH SCORE 49822.549
AT ITER 2036 NEW BEST:: SOT 206044 SOS 64443 HAS SOPS 53614 HAS SOUS 52669 HAS SOUPS 49553 WITH SCORE 49617.443
AT ITER 2045 NEW BEST:: SOT 206034 SOS 64423 HAS SOPS 53594 HAS SOUS 52649 HAS SOUPS 49533 WITH SCORE 49597.423
AT ITER 2047 NEW BEST:: SOT 206012 SOS 64379 HAS SOPS 53550 HAS SOUS 52605 HAS SOUPS 49489 WITH SCORE 49553.379
AT ITER 2048 NEW BEST:: SOT 205988 SOS 64385 HAS SOPS 53523 HAS SOUS 52601 HAS SOUPS 49485 WITH SCORE 49549.385
AT ITER 2051 NEW BEST:: SOT 206007 SOS 65127 HAS SOPS 53449 HAS SOUS 52629 HAS SOUPS 49414 WITH SCORE 49479.127
AT ITER 2053 NEW BEST:: SOT 206007 SOS 65095 HAS SOPS 53449 HAS SOUS 52629 HAS SOUPS 49414 WITH SCORE 49479.095
AT ITER 2056 NEW BEST:: SOT 206020 SOS 65034 HAS SOPS 53451 HAS SOUS 52608 HAS SOUPS 49406 WITH SCORE 49471.034
AT ITER 2058 NEW BEST:: SOT 205982 SOS 64958 HAS SOPS 53375 HAS SOUS 52532 HAS SOUPS 49330 WITH SCORE 49394.958
AT ITER 2063 NEW BEST:: SOT 206103 SOS 64976 HAS SOPS 53355 HAS SOUS 52512 HAS SOUPS 49310 WITH SCORE 49374.976
AT ITER 2074 NEW BEST:: SOT 206068 SOS 64870 HAS SOPS 53249 HAS SOUS 52409 HAS SOUPS 49207 WITH SCORE 49271.87
AT ITER 2086 NEW BEST:: SOT 205986 SOS 64795 HAS SOPS 53174 HAS SOUS 52334 HAS SOUPS 49132 WITH SCORE 49196.795
AT ITER 2094 NEW BEST:: SOT 205933 SOS 64689 HAS SOPS 53068 HAS SOUS 52228 HAS SOUPS 49026 WITH SCORE 49090.689
AT ITER 2117 NEW BEST:: SOT 205909 SOS 64650 HAS SOPS 53005 HAS SOUS 52180 HAS SOUPS 48978 WITH SCORE 49042.65
AT ITER 2120 NEW BEST:: SOT 205936 SOS 64607 HAS SOPS 52962 HAS SOUS 52137 HAS SOUPS 48935 WITH SCORE 48999.607
AT ITER 2131 NEW BEST:: SOT 205937 SOS 64628 HAS SOPS 52950 HAS SOUS 52160 HAS SOUPS 48925 WITH SCORE 48989.628
AT ITER 2137 NEW BEST:: SOT 205840 SOS 64434 HAS SOPS 52756 HAS SOUS 51966 HAS SOUPS 48731 WITH SCORE 48795.434
AT ITER 2160 NEW BEST:: SOT 205838 SOS 64430 HAS SOPS 52752 HAS SOUS 51962 HAS SOUPS 48727 WITH SCORE 48791.43
AT ITER 2167 NEW BEST:: SOT 205822 SOS 64398 HAS SOPS 52720 HAS SOUS 51930 HAS SOUPS 48695 WITH SCORE 48759.398
AT ITER 2175 NEW BEST:: SOT 205760 SOS 64338 HAS SOPS 52680 HAS SOUS 51870 HAS SOUPS 48655 WITH SCORE 48719.338
AT ITER 2189 NEW BEST:: SOT 205688 SOS 64258 HAS SOPS 52652 HAS SOUS 51842 HAS SOUPS 48627 WITH SCORE 48691.258
AT ITER 2197 NEW BEST:: SOT 205681 SOS 64250 HAS SOPS 52644 HAS SOUS 51834 HAS SOUPS 48619 WITH SCORE 48683.25
AT ITER 2200 NEW BEST:: SOT 205677 SOS 64246 HAS SOPS 52640 HAS SOUS 51830 HAS SOUPS 48615 WITH SCORE 48679.246
AT ITER 2205 NEW BEST:: SOT 205674 SOS 64240 HAS SOPS 52634 HAS SOUS 51824 HAS SOUPS 48609 WITH SCORE 48673.24
AT ITER 2212 NEW BEST:: SOT 205627 SOS 64118 HAS SOPS 52540 HAS SOUS 51730 HAS SOUPS 48515 WITH SCORE 48579.118
AT ITER 2235 NEW BEST:: SOT 205519 SOS 64355 HAS SOPS 52787 HAS SOUS 51599 HAS SOUPS 48384 WITH SCORE 48448.355
AT ITER 2241 NEW BEST:: SOT 205519 SOS 64344 HAS SOPS 52776 HAS SOUS 51588 HAS SOUPS 48373 WITH SCORE 48437.344
AT ITER 2245 NEW BEST:: SOT 205507 SOS 64344 HAS SOPS 52776 HAS SOUS 51564 HAS SOUPS 48349 WITH SCORE 48413.344
AT ITER 2250 NEW BEST:: SOT 205507 SOS 64318 HAS SOPS 52776 HAS SOUS 51564 HAS SOUPS 48349 WITH SCORE 48413.318
AT ITER 2265 NEW BEST:: SOT 205511 SOS 64182 HAS SOPS 52640 HAS SOUS 51428 HAS SOUPS 48213 WITH SCORE 48277.182
AT ITER 2274 NEW BEST:: SOT 205313 SOS 64011 HAS SOPS 52648 HAS SOUS 51361 HAS SOUPS 48146 WITH SCORE 48210.011
AT ITER 2279 NEW BEST:: SOT 205201 SOS 63895 HAS SOPS 52532 HAS SOUS 51245 HAS SOUPS 48030 WITH SCORE 48093.895
AT ITER 2317 NEW BEST:: SOT 205193 SOS 63879 HAS SOPS 52516 HAS SOUS 51229 HAS SOUPS 48014 WITH SCORE 48077.879
AT ITER 2329 NEW BEST:: SOT 205171 SOS 63857 HAS SOPS 52494 HAS SOUS 51207 HAS SOUPS 47992 WITH SCORE 48055.857
AT ITER 2330 NEW BEST:: SOT 205156 SOS 63692 HAS SOPS 52494 HAS SOUS 51192 HAS SOUPS 47992 WITH SCORE 48055.692
AT ITER 2341 NEW BEST:: SOT 205146 SOS 63682 HAS SOPS 52484 HAS SOUS 51172 HAS SOUPS 47972 WITH SCORE 48035.682
AT ITER 2352 NEW BEST:: SOT 205085 SOS 63596 HAS SOPS 52362 HAS SOUS 51050 HAS SOUPS 47850 WITH SCORE 47913.596
AT ITER 2360 NEW BEST:: SOT 205053 SOS 63532 HAS SOPS 52347 HAS SOUS 51035 HAS SOUPS 47835 WITH SCORE 47898.532
AT ITER 2361 NEW BEST:: SOT 205040 SOS 63512 HAS SOPS 52327 HAS SOUS 51012 HAS SOUPS 47812 WITH SCORE 47875.512
AT ITER 2363 NEW BEST:: SOT 204991 SOS 63389 HAS SOPS 52172 HAS SOUS 50877 HAS SOUPS 47677 WITH SCORE 47740.389
AT ITER 2367 NEW BEST:: SOT 204955 SOS 63317 HAS SOPS 52136 HAS SOUS 50841 HAS SOUPS 47641 WITH SCORE 47704.317
AT ITER 2375 NEW BEST:: SOT 204940 SOS 63310 HAS SOPS 52091 HAS SOUS 50850 HAS SOUPS 47612 WITH SCORE 47675.31
AT ITER 2379 NEW BEST:: SOT 204904 SOS 62784 HAS SOPS 51825 HAS SOUS 50588 HAS SOUPS 47396 WITH SCORE 47458.784
AT ITER 2381 NEW BEST:: SOT 204907 SOS 61924 HAS SOPS 51932 HAS SOUS 50317 HAS SOUPS 47206 WITH SCORE 47267.924
AT ITER 2382 NEW BEST:: SOT 204761 SOS 61749 HAS SOPS 51757 HAS SOUS 50196 HAS SOUPS 47085 WITH SCORE 47146.749
AT ITER 2388 NEW BEST:: SOT 204787 SOS 61765 HAS SOPS 51748 HAS SOUS 50187 HAS SOUPS 47076 WITH SCORE 47137.765
AT ITER 2425 NEW BEST:: SOT 204740 SOS 61952 HAS SOPS 51726 HAS SOUS 50192 HAS SOUPS 47054 WITH SCORE 47115.952
AT ITER 2438 NEW BEST:: SOT 204740 SOS 61924 HAS SOPS 51726 HAS SOUS 50192 HAS SOUPS 47054 WITH SCORE 47115.924
AT ITER 2444 NEW BEST:: SOT 204740 SOS 61868 HAS SOPS 51733 HAS SOUS 50157 HAS SOUPS 47026 WITH SCORE 47087.868
AT ITER 2449 NEW BEST:: SOT 204732 SOS 61852 HAS SOPS 51717 HAS SOUS 50141 HAS SOUPS 47010 WITH SCORE 47071.852
AT ITER 2454 NEW BEST:: SOT 204714 SOS 61786 HAS SOPS 51681 HAS SOUS 50105 HAS SOUPS 46974 WITH SCORE 47035.786
AT ITER 2461 NEW BEST:: SOT 204712 SOS 61780 HAS SOPS 51677 HAS SOUS 50105 HAS SOUPS 46974 WITH SCORE 47035.78
AT ITER 2469 NEW BEST:: SOT 204705 SOS 61736 HAS SOPS 51633 HAS SOUS 50082 HAS SOUPS 46951 WITH SCORE 47012.736
AT ITER 2473 NEW BEST:: SOT 204703 SOS 61762 HAS SOPS 51629 HAS SOUS 50078 HAS SOUPS 46947 WITH SCORE 47008.762
AT ITER 2480 NEW BEST:: SOT 204476 SOS 61490 HAS SOPS 51426 HAS SOUS 49901 HAS SOUPS 46770 WITH SCORE 46831.49
AT ITER 2486 NEW BEST:: SOT 204453 SOS 61440 HAS SOPS 51380 HAS SOUS 49847 HAS SOUPS 46724 WITH SCORE 46785.44
AT ITER 2490 NEW BEST:: SOT 204298 SOS 61395 HAS SOPS 51335 HAS SOUS 49802 HAS SOUPS 46679 WITH SCORE 46740.395
AT ITER 2518 NEW BEST:: SOT 204284 SOS 61367 HAS SOPS 51307 HAS SOUS 49774 HAS SOUPS 46651 WITH SCORE 46712.367
AT ITER 2526 NEW BEST:: SOT 204260 SOS 61334 HAS SOPS 51274 HAS SOUS 49726 HAS SOUPS 46603 WITH SCORE 46664.334
AT ITER 2540 NEW BEST:: SOT 204259 SOS 61332 HAS SOPS 51272 HAS SOUS 49724 HAS SOUPS 46601 WITH SCORE 46662.332
AT ITER 2541 NEW BEST:: SOT 204215 SOS 61244 HAS SOPS 51184 HAS SOUS 49636 HAS SOUPS 46513 WITH SCORE 46574.244
AT ITER 2562 NEW BEST:: SOT 204292 SOS 61283 HAS SOPS 51129 HAS SOUS 49660 HAS SOUPS 46477 WITH SCORE 46538.283
AT ITER 2569 NEW BEST:: SOT 204285 SOS 61246 HAS SOPS 51092 HAS SOUS 49640 HAS SOUPS 46457 WITH SCORE 46518.246
AT ITER 2577 NEW BEST:: SOT 204285 SOS 61225 HAS SOPS 51092 HAS SOUS 49640 HAS SOUPS 46457 WITH SCORE 46518.225
AT ITER 2579 NEW BEST:: SOT 204285 SOS 61214 HAS SOPS 51053 HAS SOUS 49640 HAS SOUPS 46457 WITH SCORE 46518.214
AT ITER 2582 NEW BEST:: SOT 204147 SOS 61190 HAS SOPS 50932 HAS SOUS 49519 HAS SOUPS 46336 WITH SCORE 46397.19
AT ITER 2592 NEW BEST:: SOT 204140 SOS 61166 HAS SOPS 50918 HAS SOUS 49505 HAS SOUPS 46322 WITH SCORE 46383.166
AT ITER 2593 NEW BEST:: SOT 204100 SOS 61072 HAS SOPS 50878 HAS SOUS 49465 HAS SOUPS 46282 WITH SCORE 46343.072
AT ITER 2603 NEW BEST:: SOT 204098 SOS 61070 HAS SOPS 50874 HAS SOUS 49461 HAS SOUPS 46278 WITH SCORE 46339.07
AT ITER 2607 NEW BEST:: SOT 204089 SOS 61052 HAS SOPS 50856 HAS SOUS 49443 HAS SOUPS 46260 WITH SCORE 46321.052
AT ITER 2615 NEW BEST:: SOT 203989 SOS 60956 HAS SOPS 50656 HAS SOUS 49243 HAS SOUPS 46060 WITH SCORE 46120.956
AT ITER 2627 NEW BEST:: SOT 203955 SOS 60968 HAS SOPS 50640 HAS SOUS 49227 HAS SOUPS 46044 WITH SCORE 46104.968
AT ITER 2636 NEW BEST:: SOT 203955 SOS 60941 HAS SOPS 50622 HAS SOUS 49209 HAS SOUPS 46026 WITH SCORE 46086.941
AT ITER 2640 NEW BEST:: SOT 203914 SOS 60859 HAS SOPS 50540 HAS SOUS 49127 HAS SOUPS 45944 WITH SCORE 46004.859
AT ITER 2649 NEW BEST:: SOT 203859 SOS 60764 HAS SOPS 50528 HAS SOUS 49115 HAS SOUPS 45932 WITH SCORE 45992.764
AT ITER 2659 NEW BEST:: SOT 203917 SOS 60822 HAS SOPS 50502 HAS SOUS 49081 HAS SOUPS 45906 WITH SCORE 45966.822
AT ITER 2660 NEW BEST:: SOT 203917 SOS 60799 HAS SOPS 50502 HAS SOUS 49058 HAS SOUPS 45906 WITH SCORE 45966.799
AT ITER 2679 NEW BEST:: SOT 203909 SOS 60831 HAS SOPS 50486 HAS SOUS 49042 HAS SOUPS 45890 WITH SCORE 45950.831
AT ITER 2690 NEW BEST:: SOT 203899 SOS 60811 HAS SOPS 50466 HAS SOUS 49022 HAS SOUPS 45870 WITH SCORE 45930.811
AT ITER 2691 NEW BEST:: SOT 203813 SOS 60849 HAS SOPS 50357 HAS SOUS 48913 HAS SOUPS 45761 WITH SCORE 45821.849
AT ITER 2692 NEW BEST:: SOT 203811 SOS 60845 HAS SOPS 50355 HAS SOUS 48911 HAS SOUPS 45759 WITH SCORE 45819.845
AT ITER 2726 NEW BEST:: SOT 203811 SOS 60799 HAS SOPS 50309 HAS SOUS 48880 HAS SOUPS 45728 WITH SCORE 45788.799
AT ITER 2730 NEW BEST:: SOT 203807 SOS 60786 HAS SOPS 50281 HAS SOUS 48852 HAS SOUPS 45700 WITH SCORE 45760.786
AT ITER 2749 NEW BEST:: SOT 203803 SOS 60778 HAS SOPS 50273 HAS SOUS 48844 HAS SOUPS 45692 WITH SCORE 45752.778
AT ITER 2779 NEW BEST:: SOT 203764 SOS 60700 HAS SOPS 50217 HAS SOUS 48788 HAS SOUPS 45636 WITH SCORE 45696.7
AT ITER 2803 NEW BEST:: SOT 203732 SOS 60599 HAS SOPS 50153 HAS SOUS 48715 HAS SOUPS 45572 WITH SCORE 45632.599
AT ITER 2813 NEW BEST:: SOT 203732 SOS 60549 HAS SOPS 50153 HAS SOUS 48715 HAS SOUPS 45572 WITH SCORE 45632.549
AT ITER 2839 NEW BEST:: SOT 203723 SOS 60531 HAS SOPS 50135 HAS SOUS 48697 HAS SOUPS 45554 WITH SCORE 45614.531
AT ITER 2847 NEW BEST:: SOT 203719 SOS 60527 HAS SOPS 50127 HAS SOUS 48689 HAS SOUPS 45546 WITH SCORE 45606.527
AT ITER 2858 NEW BEST:: SOT 203651 SOS 60459 HAS SOPS 49991 HAS SOUS 48553 HAS SOUPS 45410 WITH SCORE 45470.459
AT ITER 2875 NEW BEST:: SOT 203632 SOS 60421 HAS SOPS 49953 HAS SOUS 48515 HAS SOUPS 45372 WITH SCORE 45432.421
AT ITER 2877 NEW BEST:: SOT 203537 SOS 60231 HAS SOPS 49763 HAS SOUS 48325 HAS SOUPS 45182 WITH SCORE 45242.231
AT ITER 2934 NEW BEST:: SOT 203594 SOS 60757 HAS SOPS 49738 HAS SOUS 48351 HAS SOUPS 45159 WITH SCORE 45219.757
AT ITER 2947 NEW BEST:: SOT 203594 SOS 60741 HAS SOPS 49722 HAS SOUS 48335 HAS SOUPS 45143 WITH SCORE 45203.741
AT ITER 2950 NEW BEST:: SOT 203593 SOS 60739 HAS SOPS 49720 HAS SOUS 48333 HAS SOUPS 45141 WITH SCORE 45201.739
AT ITER 2952 NEW BEST:: SOT 203582 SOS 60703 HAS SOPS 49638 HAS SOUS 48251 HAS SOUPS 45059 WITH SCORE 45119.703
AT ITER 2960 NEW BEST:: SOT 203516 SOS 60571 HAS SOPS 49572 HAS SOUS 48185 HAS SOUPS 44993 WITH SCORE 45053.571
AT ITER 2967 NEW BEST:: SOT 203520 SOS 60464 HAS SOPS 49424 HAS SOUS 48148 HAS SOUPS 44956 WITH SCORE 45016.464
AT ITER 2968 NEW BEST:: SOT 203505 SOS 60449 HAS SOPS 49409 HAS SOUS 48118 HAS SOUPS 44926 WITH SCORE 44986.449
AT ITER 2976 NEW BEST:: SOT 203505 SOS 60442 HAS SOPS 49402 HAS SOUS 48118 HAS SOUPS 44926 WITH SCORE 44986.442
AT ITER 2987 NEW BEST:: SOT 203538 SOS 60456 HAS SOPS 49392 HAS SOUS 48108 HAS SOUPS 44916 WITH SCORE 44976.456
AT ITER 2992 NEW BEST:: SOT 203526 SOS 60432 HAS SOPS 49368 HAS SOUS 48084 HAS SOUPS 44892 WITH SCORE 44952.432
AT ITER 3014 NEW BEST:: SOT 203526 SOS 60332 HAS SOPS 49348 HAS SOUS 48054 HAS SOUPS 44872 WITH SCORE 44932.332
AT ITER 3016 NEW BEST:: SOT 203486 SOS 60272 HAS SOPS 49308 HAS SOUS 48014 HAS SOUPS 44832 WITH SCORE 44892.272
AT ITER 3020 NEW BEST:: SOT 203458 SOS 60030 HAS SOPS 49219 HAS SOUS 47855 HAS SOUPS 44701 WITH SCORE 44761.03
AT ITER 3023 NEW BEST:: SOT 203436 SOS 60005 HAS SOPS 49194 HAS SOUS 47830 HAS SOUPS 44676 WITH SCORE 44736.005
AT ITER 3034 NEW BEST:: SOT 203392 SOS 59917 HAS SOPS 49106 HAS SOUS 47742 HAS SOUPS 44588 WITH SCORE 44647.917
AT ITER 3064 NEW BEST:: SOT 203392 SOS 59906 HAS SOPS 49106 HAS SOUS 47742 HAS SOUPS 44588 WITH SCORE 44647.906
AT ITER 3085 NEW BEST:: SOT 203382 SOS 59876 HAS SOPS 49106 HAS SOUS 47742 HAS SOUPS 44588 WITH SCORE 44647.876
AT ITER 3143 NEW BEST:: SOT 203341 SOS 59788 HAS SOPS 49043 HAS SOUS 47684 HAS SOUPS 44530 WITH SCORE 44589.788
AT ITER 3144 NEW BEST:: SOT 203341 SOS 59616 HAS SOPS 48871 HAS SOUS 47684 HAS SOUPS 44530 WITH SCORE 44589.616
AT ITER 3145 NEW BEST:: SOT 203440 SOS 59549 HAS SOPS 48804 HAS SOUS 47617 HAS SOUPS 44463 WITH SCORE 44522.549
AT ITER 3147 NEW BEST:: SOT 203256 SOS 59181 HAS SOPS 48436 HAS SOUS 47249 HAS SOUPS 44095 WITH SCORE 44154.181
AT ITER 3155 NEW BEST:: SOT 203270 SOS 59130 HAS SOPS 48360 HAS SOUS 47238 HAS SOUPS 44084 WITH SCORE 44143.13
AT ITER 3184 NEW BEST:: SOT 203264 SOS 59118 HAS SOPS 48342 HAS SOUS 47220 HAS SOUPS 44066 WITH SCORE 44125.118
AT ITER 3215 NEW BEST:: SOT 203247 SOS 59306 HAS SOPS 48530 HAS SOUS 47213 HAS SOUPS 44059 WITH SCORE 44118.306
AT ITER 3222 NEW BEST:: SOT 203240 SOS 59292 HAS SOPS 48516 HAS SOUS 47199 HAS SOUPS 44045 WITH SCORE 44104.292
AT ITER 3223 NEW BEST:: SOT 203247 SOS 59299 HAS SOPS 48506 HAS SOUS 47189 HAS SOUPS 44035 WITH SCORE 44094.299
AT ITER 3232 NEW BEST:: SOT 203229 SOS 59324 HAS SOPS 48470 HAS SOUS 47153 HAS SOUPS 43999 WITH SCORE 44058.324
AT ITER 3242 NEW BEST:: SOT 203229 SOS 59310 HAS SOPS 48456 HAS SOUS 47139 HAS SOUPS 43985 WITH SCORE 44044.31
AT ITER 3244 NEW BEST:: SOT 203227 SOS 59307 HAS SOPS 48453 HAS SOUS 47136 HAS SOUPS 43982 WITH SCORE 44041.307
AT ITER 3278 NEW BEST:: SOT 203199 SOS 59251 HAS SOPS 48397 HAS SOUS 47080 HAS SOUPS 43926 WITH SCORE 43985.251
AT ITER 3285 NEW BEST:: SOT 203189 SOS 59241 HAS SOPS 48387 HAS SOUS 47074 HAS SOUPS 43920 WITH SCORE 43979.241
AT ITER 3293 NEW BEST:: SOT 203188 SOS 59240 HAS SOPS 48371 HAS SOUS 47058 HAS SOUPS 43904 WITH SCORE 43963.24
AT ITER 3315 NEW BEST:: SOT 203213 SOS 59229 HAS SOPS 48407 HAS SOUS 47020 HAS SOUPS 43877 WITH SCORE 43936.229
AT ITER 3325 NEW BEST:: SOT 203099 SOS 59595 HAS SOPS 48335 HAS SOUS 46990 HAS SOUPS 43805 WITH SCORE 43864.595
AT ITER 3333 NEW BEST:: SOT 203091 SOS 59587 HAS SOPS 48327 HAS SOUS 46982 HAS SOUPS 43797 WITH SCORE 43856.587
AT ITER 3347 NEW BEST:: SOT 203051 SOS 59557 HAS SOPS 48307 HAS SOUS 46932 HAS SOUPS 43747 WITH SCORE 43806.557
AT ITER 3353 NEW BEST:: SOT 203049 SOS 59578 HAS SOPS 48303 HAS SOUS 46928 HAS SOUPS 43743 WITH SCORE 43802.578
AT ITER 3367 NEW BEST:: SOT 203002 SOS 59682 HAS SOPS 48461 HAS SOUS 46901 HAS SOUPS 43716 WITH SCORE 43775.682
AT ITER 3375 NEW BEST:: SOT 202984 SOS 59646 HAS SOPS 48425 HAS SOUS 46865 HAS SOUPS 43680 WITH SCORE 43739.646
AT ITER 3389 NEW BEST:: SOT 202934 SOS 59676 HAS SOPS 48383 HAS SOUS 46837 HAS SOUPS 43652 WITH SCORE 43711.676
AT ITER 3405 NEW BEST:: SOT 202864 SOS 59536 HAS SOPS 48313 HAS SOUS 46767 HAS SOUPS 43582 WITH SCORE 43641.536
AT ITER 3417 NEW BEST:: SOT 202813 SOS 59434 HAS SOPS 48211 HAS SOUS 46665 HAS SOUPS 43480 WITH SCORE 43539.434
AT ITER 3421 NEW BEST:: SOT 202798 SOS 59716 HAS SOPS 48493 HAS SOUS 46551 HAS SOUPS 43366 WITH SCORE 43425.716
AT ITER 3432 NEW BEST:: SOT 202738 SOS 59596 HAS SOPS 48373 HAS SOUS 46491 HAS SOUPS 43306 WITH SCORE 43365.596
AT ITER 3438 NEW BEST:: SOT 202507 SOS 59226 HAS SOPS 48112 HAS SOUS 46046 HAS SOUPS 43045 WITH SCORE 43104.226
AT ITER 3439 NEW BEST:: SOT 202473 SOS 59169 HAS SOPS 48044 HAS SOUS 45978 HAS SOUPS 42977 WITH SCORE 43036.169
AT ITER 3458 NEW BEST:: SOT 202463 SOS 59149 HAS SOPS 48029 HAS SOUS 45963 HAS SOUPS 42962 WITH SCORE 43021.149
AT ITER 3469 NEW BEST:: SOT 202446 SOS 59139 HAS SOPS 48019 HAS SOUS 45953 HAS SOUPS 42952 WITH SCORE 43011.139
AT ITER 3522 NEW BEST:: SOT 202431 SOS 59002 HAS SOPS 47989 HAS SOUS 45923 HAS SOUPS 42922 WITH SCORE 42981.002
AT ITER 3533 NEW BEST:: SOT 202398 SOS 58981 HAS SOPS 47974 HAS SOUS 45893 HAS SOUPS 42892 WITH SCORE 42950.981
AT ITER 3540 NEW BEST:: SOT 202391 SOS 58977 HAS SOPS 47960 HAS SOUS 45879 HAS SOUPS 42878 WITH SCORE 42936.977
AT ITER 3552 NEW BEST:: SOT 202356 SOS 58907 HAS SOPS 47890 HAS SOUS 45809 HAS SOUPS 42808 WITH SCORE 42866.907
AT ITER 3554 NEW BEST:: SOT 202346 SOS 58887 HAS SOPS 47870 HAS SOUS 45789 HAS SOUPS 42788 WITH SCORE 42846.887
AT ITER 3595 NEW BEST:: SOT 202339 SOS 58873 HAS SOPS 47856 HAS SOUS 45775 HAS SOUPS 42774 WITH SCORE 42832.873
AT ITER 3596 NEW BEST:: SOT 202327 SOS 58885 HAS SOPS 47876 HAS SOUS 45771 HAS SOUPS 42770 WITH SCORE 42828.885
AT ITER 3614 NEW BEST:: SOT 202306 SOS 58843 HAS SOPS 47834 HAS SOUS 45729 HAS SOUPS 42728 WITH SCORE 42786.843
AT ITER 3635 NEW BEST:: SOT 202306 SOS 58836 HAS SOPS 47834 HAS SOUS 45729 HAS SOUPS 42728 WITH SCORE 42786.836
AT ITER 3663 NEW BEST:: SOT 202306 SOS 58825 HAS SOPS 47834 HAS SOUS 45729 HAS SOUPS 42728 WITH SCORE 42786.825
AT ITER 3682 NEW BEST:: SOT 202298 SOS 58817 HAS SOPS 47818 HAS SOUS 45713 HAS SOUPS 42712 WITH SCORE 42770.817
AT ITER 3690 NEW BEST:: SOT 202315 SOS 58835 HAS SOPS 47834 HAS SOUS 45698 HAS SOUPS 42697 WITH SCORE 42755.835
AT ITER 3715 NEW BEST:: SOT 202255 SOS 58715 HAS SOPS 47714 HAS SOUS 45578 HAS SOUPS 42577 WITH SCORE 42635.715
AT ITER 3723 NEW BEST:: SOT 202254 SOS 58714 HAS SOPS 47712 HAS SOUS 45576 HAS SOUPS 42575 WITH SCORE 42633.714
AT ITER 3727 NEW BEST:: SOT 202244 SOS 58694 HAS SOPS 47692 HAS SOUS 45556 HAS SOUPS 42555 WITH SCORE 42613.694
AT ITER 3734 NEW BEST:: SOT 202179 SOS 58639 HAS SOPS 47648 HAS SOUS 45457 HAS SOUPS 42456 WITH SCORE 42514.639
AT ITER 3738 NEW BEST:: SOT 202177 SOS 58558 HAS SOPS 47644 HAS SOUS 45453 HAS SOUPS 42452 WITH SCORE 42510.558
AT ITER 3771 NEW BEST:: SOT 202207 SOS 58487 HAS SOPS 47565 HAS SOUS 45398 HAS SOUPS 42397 WITH SCORE 42455.487
AT ITER 3780 NEW BEST:: SOT 202195 SOS 58463 HAS SOPS 47553 HAS SOUS 45386 HAS SOUPS 42385 WITH SCORE 42443.463
AT ITER 3790 NEW BEST:: SOT 202229 SOS 58152 HAS SOPS 47587 HAS SOUS 45352 HAS SOUPS 42385 WITH SCORE 42443.152
AT ITER 3807 NEW BEST:: SOT 202226 SOS 58132 HAS SOPS 47581 HAS SOUS 45346 HAS SOUPS 42379 WITH SCORE 42437.132
AT ITER 3813 NEW BEST:: SOT 202132 SOS 58680 HAS SOPS 48097 HAS SOUS 45250 HAS SOUPS 42283 WITH SCORE 42341.68
AT ITER 3836 NEW BEST:: SOT 202132 SOS 58683 HAS SOPS 48095 HAS SOUS 45250 HAS SOUPS 42281 WITH SCORE 42339.683
AT ITER 3838 NEW BEST:: SOT 202132 SOS 58650 HAS SOPS 48095 HAS SOUS 45250 HAS SOUPS 42281 WITH SCORE 42339.65
AT ITER 3839 NEW BEST:: SOT 201991 SOS 58415 HAS SOPS 47829 HAS SOUS 45096 HAS SOUPS 42127 WITH SCORE 42185.415
AT ITER 3847 NEW BEST:: SOT 201903 SOS 58322 HAS SOPS 47653 HAS SOUS 44920 HAS SOUPS 41951 WITH SCORE 42009.322
AT ITER 3860 NEW BEST:: SOT 201848 SOS 58212 HAS SOPS 47543 HAS SOUS 44810 HAS SOUPS 41841 WITH SCORE 41899.212
AT ITER 3868 NEW BEST:: SOT 201844 SOS 58208 HAS SOPS 47539 HAS SOUS 44806 HAS SOUPS 41837 WITH SCORE 41895.208
AT ITER 3875 NEW BEST:: SOT 201857 SOS 58078 HAS SOPS 47552 HAS SOUS 44793 HAS SOUPS 41837 WITH SCORE 41895.078
AT ITER 3877 NEW BEST:: SOT 201853 SOS 58070 HAS SOPS 47544 HAS SOUS 44785 HAS SOUPS 41829 WITH SCORE 41887.07
AT ITER 3888 NEW BEST:: SOT 201832 SOS 57591 HAS SOPS 47233 HAS SOUS 44618 HAS SOUPS 41706 WITH SCORE 41763.591
AT ITER 3898 NEW BEST:: SOT 201751 SOS 57639 HAS SOPS 47133 HAS SOUS 44553 HAS SOUPS 41622 WITH SCORE 41679.639
AT ITER 3928 NEW BEST:: SOT 201782 SOS 57707 HAS SOPS 47119 HAS SOUS 44539 HAS SOUPS 41608 WITH SCORE 41665.707
AT ITER 3937 NEW BEST:: SOT 201771 SOS 57740 HAS SOPS 47141 HAS SOUS 44539 HAS SOUPS 41597 WITH SCORE 41654.74
AT ITER 3952 NEW BEST:: SOT 201769 SOS 57737 HAS SOPS 47137 HAS SOUS 44536 HAS SOUPS 41593 WITH SCORE 41650.737
AT ITER 3954 NEW BEST:: SOT 201742 SOS 57735 HAS SOPS 47138 HAS SOUS 44523 HAS SOUPS 41580 WITH SCORE 41637.735
AT ITER 3961 NEW BEST:: SOT 201718 SOS 57684 HAS SOPS 47090 HAS SOUS 44475 HAS SOUPS 41532 WITH SCORE 41589.684
AT ITER 4003 NEW BEST:: SOT 201714 SOS 57672 HAS SOPS 47082 HAS SOUS 44467 HAS SOUPS 41524 WITH SCORE 41581.672
AT ITER 4009 NEW BEST:: SOT 201714 SOS 57636 HAS SOPS 47046 HAS SOUS 44431 HAS SOUPS 41488 WITH SCORE 41545.636
AT ITER 4072 NEW BEST:: SOT 201711 SOS 57637 HAS SOPS 47040 HAS SOUS 44425 HAS SOUPS 41482 WITH SCORE 41539.637
AT ITER 4074 NEW BEST:: SOT 201673 SOS 57599 HAS SOPS 47012 HAS SOUS 44387 HAS SOUPS 41448 WITH SCORE 41505.599
AT ITER 4088 NEW BEST:: SOT 201659 SOS 57571 HAS SOPS 46984 HAS SOUS 44359 HAS SOUPS 41420 WITH SCORE 41477.571
AT ITER 4151 NEW BEST:: SOT 201529 SOS 57316 HAS SOPS 46813 HAS SOUS 44224 HAS SOUPS 41285 WITH SCORE 41342.316
AT ITER 4157 NEW BEST:: SOT 201524 SOS 57256 HAS SOPS 46803 HAS SOUS 44214 HAS SOUPS 41275 WITH SCORE 41332.256
AT ITER 4161 NEW BEST:: SOT 201486 SOS 57199 HAS SOPS 46746 HAS SOUS 44157 HAS SOUPS 41218 WITH SCORE 41275.199
AT ITER 4168 NEW BEST:: SOT 201478 SOS 57182 HAS SOPS 46738 HAS SOUS 44141 HAS SOUPS 41202 WITH SCORE 41259.182
AT ITER 4170 NEW BEST:: SOT 201457 SOS 57140 HAS SOPS 46717 HAS SOUS 44120 HAS SOUPS 41181 WITH SCORE 41238.14
AT ITER 4197 NEW BEST:: SOT 201441 SOS 57188 HAS SOPS 46765 HAS SOUS 44101 HAS SOUPS 41162 WITH SCORE 41219.188
AT ITER 4209 NEW BEST:: SOT 201418 SOS 57165 HAS SOPS 46719 HAS SOUS 44055 HAS SOUPS 41116 WITH SCORE 41173.165
AT ITER 4233 NEW BEST:: SOT 201416 SOS 57278 HAS SOPS 46715 HAS SOUS 44051 HAS SOUPS 41112 WITH SCORE 41169.278
AT ITER 4242 NEW BEST:: SOT 201355 SOS 57156 HAS SOPS 46593 HAS SOUS 44013 HAS SOUPS 41074 WITH SCORE 41131.156
AT ITER 4246 NEW BEST:: SOT 201352 SOS 57150 HAS SOPS 46587 HAS SOUS 44007 HAS SOUPS 41068 WITH SCORE 41125.15
AT ITER 4266 NEW BEST:: SOT 201350 SOS 57148 HAS SOPS 46581 HAS SOUS 44003 HAS SOUPS 41064 WITH SCORE 41121.148
AT ITER 4287 NEW BEST:: SOT 201350 SOS 57148 HAS SOPS 46522 HAS SOUS 43944 HAS SOUPS 41005 WITH SCORE 41062.148
AT ITER 4318 NEW BEST:: SOT 201350 SOS 57122 HAS SOPS 46496 HAS SOUS 43918 HAS SOUPS 40979 WITH SCORE 41036.122
AT ITER 4340 NEW BEST:: SOT 201307 SOS 57076 HAS SOPS 46410 HAS SOUS 43832 HAS SOUPS 40893 WITH SCORE 40950.076
AT ITER 4354 NEW BEST:: SOT 201241 SOS 57010 HAS SOPS 46386 HAS SOUS 43801 HAS SOUPS 40869 WITH SCORE 40926.01
AT ITER 4364 NEW BEST:: SOT 201226 SOS 56980 HAS SOPS 46356 HAS SOUS 43771 HAS SOUPS 40839 WITH SCORE 40895.98
AT ITER 4373 NEW BEST:: SOT 201175 SOS 56949 HAS SOPS 46328 HAS SOUS 43742 HAS SOUPS 40810 WITH SCORE 40866.949
AT ITER 4391 NEW BEST:: SOT 201200 SOS 57136 HAS SOPS 46322 HAS SOUS 43754 HAS SOUPS 40804 WITH SCORE 40861.136
AT ITER 4410 NEW BEST:: SOT 201192 SOS 57120 HAS SOPS 46306 HAS SOUS 43738 HAS SOUPS 40788 WITH SCORE 40845.12
AT ITER 4451 NEW BEST:: SOT 201170 SOS 57076 HAS SOPS 46262 HAS SOUS 43694 HAS SOUPS 40744 WITH SCORE 40801.076
AT ITER 4452 NEW BEST:: SOT 201107 SOS 57046 HAS SOPS 46241 HAS SOUS 43673 HAS SOUPS 40723 WITH SCORE 40780.046
AT ITER 4459 NEW BEST:: SOT 201099 SOS 57030 HAS SOPS 46225 HAS SOUS 43657 HAS SOUPS 40707 WITH SCORE 40764.03
AT ITER 4471 NEW BEST:: SOT 201097 SOS 57026 HAS SOPS 46221 HAS SOUS 43653 HAS SOUPS 40703 WITH SCORE 40760.026
AT ITER 4473 NEW BEST:: SOT 201094 SOS 57020 HAS SOPS 46215 HAS SOUS 43647 HAS SOUPS 40697 WITH SCORE 40754.02
AT ITER 4511 NEW BEST:: SOT 201076 SOS 57002 HAS SOPS 46179 HAS SOUS 43611 HAS SOUPS 40661 WITH SCORE 40718.002
AT ITER 4512 NEW BEST:: SOT 201088 SOS 57008 HAS SOPS 46155 HAS SOUS 43593 HAS SOUPS 40637 WITH SCORE 40694.008
AT ITER 4521 NEW BEST:: SOT 201087 SOS 57006 HAS SOPS 46153 HAS SOUS 43591 HAS SOUPS 40635 WITH SCORE 40692.006
AT ITER 4524 NEW BEST:: SOT 201086 SOS 57004 HAS SOPS 46151 HAS SOUS 43589 HAS SOUPS 40633 WITH SCORE 40690.004
AT ITER 4530 NEW BEST:: SOT 201070 SOS 56972 HAS SOPS 46119 HAS SOUS 43557 HAS SOUPS 40601 WITH SCORE 40657.972
AT ITER 4536 NEW BEST:: SOT 201046 SOS 56840 HAS SOPS 46071 HAS SOUS 43452 HAS SOUPS 40553 WITH SCORE 40609.84
AT ITER 4542 NEW BEST:: SOT 201043 SOS 56834 HAS SOPS 46065 HAS SOUS 43446 HAS SOUPS 40547 WITH SCORE 40603.834
AT ITER 4543 NEW BEST:: SOT 200898 SOS 56584 HAS SOPS 45775 HAS SOUS 43156 HAS SOUPS 40257 WITH SCORE 40313.584
AT ITER 4555 NEW BEST:: SOT 200894 SOS 56576 HAS SOPS 45767 HAS SOUS 43148 HAS SOUPS 40249 WITH SCORE 40305.576
AT ITER 4557 NEW BEST:: SOT 200909 SOS 56576 HAS SOPS 45762 HAS SOUS 43145 HAS SOUPS 40246 WITH SCORE 40302.576
AT ITER 4567 NEW BEST:: SOT 200881 SOS 56438 HAS SOPS 45630 HAS SOUS 43064 HAS SOUPS 40165 WITH SCORE 40221.438
AT ITER 4575 NEW BEST:: SOT 200881 SOS 56403 HAS SOPS 45630 HAS SOUS 43064 HAS SOUPS 40165 WITH SCORE 40221.403
AT ITER 4584 NEW BEST:: SOT 200869 SOS 56379 HAS SOPS 45606 HAS SOUS 43040 HAS SOUPS 40141 WITH SCORE 40197.379
AT ITER 4589 NEW BEST:: SOT 200869 SOS 56337 HAS SOPS 45564 HAS SOUS 43040 HAS SOUPS 40141 WITH SCORE 40197.337
AT ITER 4635 NEW BEST:: SOT 200867 SOS 56333 HAS SOPS 45544 HAS SOUS 43036 HAS SOUPS 40121 WITH SCORE 40177.333
AT ITER 4645 NEW BEST:: SOT 200861 SOS 56255 HAS SOPS 45532 HAS SOUS 43024 HAS SOUPS 40109 WITH SCORE 40165.255
AT ITER 4663 NEW BEST:: SOT 200856 SOS 56254 HAS SOPS 45526 HAS SOUS 43019 HAS SOUPS 40103 WITH SCORE 40159.254
AT ITER 4672 NEW BEST:: SOT 200856 SOS 56176 HAS SOPS 45526 HAS SOUS 43019 HAS SOUPS 40103 WITH SCORE 40159.176
AT ITER 4675 NEW BEST:: SOT 200850 SOS 56170 HAS SOPS 45501 HAS SOUS 42994 HAS SOUPS 40078 WITH SCORE 40134.17
AT ITER 4686 NEW BEST:: SOT 200811 SOS 56196 HAS SOPS 45527 HAS SOUS 42968 HAS SOUPS 40052 WITH SCORE 40108.196
AT ITER 4700 NEW BEST:: SOT 200771 SOS 56161 HAS SOPS 45497 HAS SOUS 42943 HAS SOUPS 40027 WITH SCORE 40083.161
AT ITER 4701 NEW BEST:: SOT 200768 SOS 56802 HAS SOPS 45484 HAS SOUS 42987 HAS SOUPS 40014 WITH SCORE 40070.802
AT ITER 4704 NEW BEST:: SOT 200704 SOS 56690 HAS SOPS 45372 HAS SOUS 42904 HAS SOUPS 39931 WITH SCORE 39987.69
AT ITER 4717 NEW BEST:: SOT 200692 SOS 56864 HAS SOPS 45549 HAS SOUS 42891 HAS SOUPS 39918 WITH SCORE 39974.864
AT ITER 4753 NEW BEST:: SOT 200681 SOS 56842 HAS SOPS 45527 HAS SOUS 42869 HAS SOUPS 39896 WITH SCORE 39952.842
AT ITER 4767 NEW BEST:: SOT 200681 SOS 56835 HAS SOPS 45527 HAS SOUS 42869 HAS SOUPS 39896 WITH SCORE 39952.835
AT ITER 4784 NEW BEST:: SOT 200676 SOS 56830 HAS SOPS 45517 HAS SOUS 42859 HAS SOUPS 39886 WITH SCORE 39942.83
AT ITER 4789 NEW BEST:: SOT 200638 SOS 56775 HAS SOPS 45441 HAS SOUS 42783 HAS SOUPS 39810 WITH SCORE 39866.775
AT ITER 4792 NEW BEST:: SOT 200640 SOS 56775 HAS SOPS 45414 HAS SOUS 42756 HAS SOUPS 39783 WITH SCORE 39839.775
AT ITER 4804 NEW BEST:: SOT 200557 SOS 56842 HAS SOPS 45521 HAS SOUS 42750 HAS SOUPS 39777 WITH SCORE 39833.842
AT ITER 4878 NEW BEST:: SOT 200548 SOS 56833 HAS SOPS 45512 HAS SOUS 42741 HAS SOUPS 39768 WITH SCORE 39824.833
AT ITER 4902 NEW BEST:: SOT 200542 SOS 56809 HAS SOPS 45500 HAS SOUS 42720 HAS SOUPS 39750 WITH SCORE 39806.809
AT ITER 4906 NEW BEST:: SOT 200478 SOS 56632 HAS SOPS 45372 HAS SOUS 42656 HAS SOUPS 39622 WITH SCORE 39678.632
AT ITER 4908 NEW BEST:: SOT 200472 SOS 56630 HAS SOPS 45360 HAS SOUS 42644 HAS SOUPS 39610 WITH SCORE 39666.63
AT ITER 4909 NEW BEST:: SOT 200466 SOS 56618 HAS SOPS 45348 HAS SOUS 42632 HAS SOUPS 39598 WITH SCORE 39654.618
AT ITER 4911 NEW BEST:: SOT 200442 SOS 56570 HAS SOPS 45300 HAS SOUS 42584 HAS SOUPS 39550 WITH SCORE 39606.57
AT ITER 4949 NEW BEST:: SOT 200410 SOS 56473 HAS SOPS 45236 HAS SOUS 42520 HAS SOUPS 39486 WITH SCORE 39542.473
AT ITER 4984 NEW BEST:: SOT 200324 SOS 56739 HAS SOPS 45110 HAS SOUS 42510 HAS SOUPS 39436 WITH SCORE 39492.739
AT ITER 4988 NEW BEST:: SOT 200320 SOS 56720 HAS SOPS 45091 HAS SOUS 42491 HAS SOUPS 39417 WITH SCORE 39473.72
AT ITER 4991 NEW BEST:: SOT 200311 SOS 56702 HAS SOPS 45073 HAS SOUS 42473 HAS SOUPS 39399 WITH SCORE 39455.702
AT ITER 5012 NEW BEST:: SOT 200301 SOS 56697 HAS SOPS 45053 HAS SOUS 42453 HAS SOUPS 39379 WITH SCORE 39435.697
AT ITER 5017 NEW BEST:: SOT 200410 SOS 56806 HAS SOPS 45046 HAS SOUS 42562 HAS SOUPS 39372 WITH SCORE 39428.806
AT ITER 5020 NEW BEST:: SOT 200427 SOS 56823 HAS SOPS 45063 HAS SOUS 42556 HAS SOUPS 39366 WITH SCORE 39422.823
AT ITER 5029 NEW BEST:: SOT 200425 SOS 56819 HAS SOPS 45059 HAS SOUS 42552 HAS SOUPS 39362 WITH SCORE 39418.819
AT ITER 5037 NEW BEST:: SOT 200411 SOS 56791 HAS SOPS 45031 HAS SOUS 42524 HAS SOUPS 39334 WITH SCORE 39390.791
AT ITER 5044 NEW BEST:: SOT 200398 SOS 56765 HAS SOPS 45005 HAS SOUS 42498 HAS SOUPS 39308 WITH SCORE 39364.765
AT ITER 5049 NEW BEST:: SOT 200394 SOS 56757 HAS SOPS 44997 HAS SOUS 42490 HAS SOUPS 39300 WITH SCORE 39356.757
AT ITER 5080 NEW BEST:: SOT 200402 SOS 56527 HAS SOPS 44999 HAS SOUS 42453 HAS SOUPS 39289 WITH SCORE 39345.527
AT ITER 5085 NEW BEST:: SOT 200392 SOS 56517 HAS SOPS 44989 HAS SOUS 42433 HAS SOUPS 39269 WITH SCORE 39325.517
AT ITER 5105 NEW BEST:: SOT 200346 SOS 56419 HAS SOPS 44897 HAS SOUS 42341 HAS SOUPS 39177 WITH SCORE 39233.419
AT ITER 5167 NEW BEST:: SOT 200400 SOS 56323 HAS SOPS 44761 HAS SOUS 42318 HAS SOUPS 39154 WITH SCORE 39210.323
AT ITER 5170 NEW BEST:: SOT 200392 SOS 56307 HAS SOPS 44745 HAS SOUS 42302 HAS SOUPS 39138 WITH SCORE 39194.307
AT ITER 5178 NEW BEST:: SOT 200371 SOS 56309 HAS SOPS 44659 HAS SOUS 42292 HAS SOUPS 39052 WITH SCORE 39108.309
AT ITER 5180 NEW BEST:: SOT 200362 SOS 56291 HAS SOPS 44641 HAS SOUS 42274 HAS SOUPS 39034 WITH SCORE 39090.291
AT ITER 5199 NEW BEST:: SOT 200362 SOS 56286 HAS SOPS 44641 HAS SOUS 42274 HAS SOUPS 39034 WITH SCORE 39090.286
AT ITER 5205 NEW BEST:: SOT 200358 SOS 56278 HAS SOPS 44633 HAS SOUS 42266 HAS SOUPS 39026 WITH SCORE 39082.278
AT ITER 5208 NEW BEST:: SOT 200358 SOS 56038 HAS SOPS 44393 HAS SOUS 42246 HAS SOUPS 39006 WITH SCORE 39062.038
AT ITER 5225 NEW BEST:: SOT 200337 SOS 55996 HAS SOPS 44351 HAS SOUS 42204 HAS SOUPS 38964 WITH SCORE 39019.996
AT ITER 5226 NEW BEST:: SOT 200325 SOS 55978 HAS SOPS 44333 HAS SOUS 42186 HAS SOUPS 38946 WITH SCORE 39001.978
AT ITER 5233 NEW BEST:: SOT 200325 SOS 55990 HAS SOPS 44333 HAS SOUS 42174 HAS SOUPS 38934 WITH SCORE 38989.99
AT ITER 5236 NEW BEST:: SOT 200318 SOS 55948 HAS SOPS 44291 HAS SOUS 42160 HAS SOUPS 38920 WITH SCORE 38975.948
AT ITER 5244 NEW BEST:: SOT 200323 SOS 55989 HAS SOPS 44265 HAS SOUS 42134 HAS SOUPS 38894 WITH SCORE 38949.989
AT ITER 5257 NEW BEST:: SOT 200317 SOS 55955 HAS SOPS 44231 HAS SOUS 42100 HAS SOUPS 38860 WITH SCORE 38915.955
AT ITER 5307 NEW BEST:: SOT 200304 SOS 55929 HAS SOPS 44192 HAS SOUS 42061 HAS SOUPS 38821 WITH SCORE 38876.929
AT ITER 5318 NEW BEST:: SOT 200296 SOS 55913 HAS SOPS 44176 HAS SOUS 42045 HAS SOUPS 38805 WITH SCORE 38860.913
AT ITER 5321 NEW BEST:: SOT 200296 SOS 55860 HAS SOPS 44176 HAS SOUS 42045 HAS SOUPS 38805 WITH SCORE 38860.86
AT ITER 5325 NEW BEST:: SOT 200240 SOS 55776 HAS SOPS 44092 HAS SOUS 41961 HAS SOUPS 38721 WITH SCORE 38776.776
AT ITER 5326 NEW BEST:: SOT 200210 SOS 55716 HAS SOPS 44032 HAS SOUS 41901 HAS SOUPS 38661 WITH SCORE 38716.716
AT ITER 5349 NEW BEST:: SOT 200207 SOS 55710 HAS SOPS 44026 HAS SOUS 41895 HAS SOUPS 38655 WITH SCORE 38710.71
AT ITER 5362 NEW BEST:: SOT 200177 SOS 55681 HAS SOPS 43966 HAS SOUS 41835 HAS SOUPS 38595 WITH SCORE 38650.681
AT ITER 5380 NEW BEST:: SOT 200171 SOS 55716 HAS SOPS 43954 HAS SOUS 41823 HAS SOUPS 38583 WITH SCORE 38638.716
AT ITER 5382 NEW BEST:: SOT 200167 SOS 55708 HAS SOPS 43946 HAS SOUS 41815 HAS SOUPS 38575 WITH SCORE 38630.708
AT ITER 5391 NEW BEST:: SOT 200131 SOS 55672 HAS SOPS 43874 HAS SOUS 41779 HAS SOUPS 38503 WITH SCORE 38558.672
AT ITER 5417 NEW BEST:: SOT 200131 SOS 55656 HAS SOPS 43874 HAS SOUS 41779 HAS SOUPS 38503 WITH SCORE 38558.656
AT ITER 5419 NEW BEST:: SOT 200115 SOS 55624 HAS SOPS 43842 HAS SOUS 41747 HAS SOUPS 38471 WITH SCORE 38526.624
AT ITER 5426 NEW BEST:: SOT 200111 SOS 55620 HAS SOPS 43838 HAS SOUS 41742 HAS SOUPS 38466 WITH SCORE 38521.62
AT ITER 5432 NEW BEST:: SOT 200116 SOS 55561 HAS SOPS 43779 HAS SOUS 41683 HAS SOUPS 38407 WITH SCORE 38462.561
AT ITER 5433 NEW BEST:: SOT 200176 SOS 55477 HAS SOPS 43733 HAS SOUS 41633 HAS SOUPS 38357 WITH SCORE 38412.477
AT ITER 5436 NEW BEST:: SOT 200154 SOS 55495 HAS SOPS 43759 HAS SOUS 41627 HAS SOUPS 38351 WITH SCORE 38406.495
AT ITER 5440 NEW BEST:: SOT 200182 SOS 55551 HAS SOPS 43683 HAS SOUS 41551 HAS SOUPS 38275 WITH SCORE 38330.551
AT ITER 5441 NEW BEST:: SOT 200182 SOS 55553 HAS SOPS 43681 HAS SOUS 41549 HAS SOUPS 38273 WITH SCORE 38328.553
AT ITER 5455 NEW BEST:: SOT 200180 SOS 55551 HAS SOPS 43681 HAS SOUS 41549 HAS SOUPS 38273 WITH SCORE 38328.551
AT ITER 5461 NEW BEST:: SOT 200188 SOS 55579 HAS SOPS 43677 HAS SOUS 41545 HAS SOUPS 38269 WITH SCORE 38324.579
AT ITER 5481 NEW BEST:: SOT 200164 SOS 55563 HAS SOPS 43673 HAS SOUS 41521 HAS SOUPS 38261 WITH SCORE 38316.563
AT ITER 5494 NEW BEST:: SOT 200161 SOS 55558 HAS SOPS 43568 HAS SOUS 41416 HAS SOUPS 38156 WITH SCORE 38211.558
AT ITER 5505 NEW BEST:: SOT 200086 SOS 55505 HAS SOPS 43515 HAS SOUS 41363 HAS SOUPS 38103 WITH SCORE 38158.505
AT ITER 5513 NEW BEST:: SOT 200085 SOS 55503 HAS SOPS 43513 HAS SOUS 41361 HAS SOUPS 38101 WITH SCORE 38156.503
AT ITER 5516 NEW BEST:: SOT 200011 SOS 55505 HAS SOPS 43365 HAS SOUS 41213 HAS SOUPS 37953 WITH SCORE 38008.505
AT ITER 5529 NEW BEST:: SOT 199973 SOS 55467 HAS SOPS 43327 HAS SOUS 41175 HAS SOUPS 37915 WITH SCORE 37970.467
AT ITER 5530 NEW BEST:: SOT 199973 SOS 55459 HAS SOPS 43327 HAS SOUS 41175 HAS SOUPS 37915 WITH SCORE 37970.459
AT ITER 5565 NEW BEST:: SOT 199963 SOS 55439 HAS SOPS 43307 HAS SOUS 41155 HAS SOUPS 37895 WITH SCORE 37950.439
AT ITER 5566 NEW BEST:: SOT 199960 SOS 55397 HAS SOPS 43307 HAS SOUS 41152 HAS SOUPS 37895 WITH SCORE 37950.397
AT ITER 5575 NEW BEST:: SOT 199954 SOS 55437 HAS SOPS 43347 HAS SOUS 41148 HAS SOUPS 37891 WITH SCORE 37946.437
AT ITER 5603 NEW BEST:: SOT 199949 SOS 55427 HAS SOPS 43337 HAS SOUS 41138 HAS SOUPS 37881 WITH SCORE 37936.427
AT ITER 5652 NEW BEST:: SOT 199971 SOS 55481 HAS SOPS 43312 HAS SOUS 41113 HAS SOUPS 37856 WITH SCORE 37911.481
AT ITER 5738 NEW BEST:: SOT 199960 SOS 55501 HAS SOPS 43290 HAS SOUS 41091 HAS SOUPS 37834 WITH SCORE 37889.501
AT ITER 5740 NEW BEST:: SOT 199952 SOS 55493 HAS SOPS 43282 HAS SOUS 41075 HAS SOUPS 37818 WITH SCORE 37873.493
AT ITER 5755 NEW BEST:: SOT 199894 SOS 55375 HAS SOPS 43227 HAS SOUS 41005 HAS SOUPS 37748 WITH SCORE 37803.375
AT ITER 5770 NEW BEST:: SOT 199753 SOS 55530 HAS SOPS 43047 HAS SOUS 41043 HAS SOUPS 37732 WITH SCORE 37787.53
AT ITER 5771 NEW BEST:: SOT 199872 SOS 54863 HAS SOPS 43018 HAS SOUS 40950 HAS SOUPS 37720 WITH SCORE 37774.863
AT ITER 5800 NEW BEST:: SOT 199876 SOS 54862 HAS SOPS 43017 HAS SOUS 40949 HAS SOUPS 37719 WITH SCORE 37773.862
AT ITER 5814 NEW BEST:: SOT 199871 SOS 54837 HAS SOPS 43007 HAS SOUS 40939 HAS SOUPS 37709 WITH SCORE 37763.837
AT ITER 5817 NEW BEST:: SOT 199797 SOS 54690 HAS SOPS 42859 HAS SOUS 40791 HAS SOUPS 37561 WITH SCORE 37615.69
AT ITER 5820 NEW BEST:: SOT 199639 SOS 55084 HAS SOPS 42683 HAS SOUS 40785 HAS SOUPS 37493 WITH SCORE 37548.084
AT ITER 5843 NEW BEST:: SOT 199636 SOS 55078 HAS SOPS 42677 HAS SOUS 40779 HAS SOUPS 37487 WITH SCORE 37542.078
AT ITER 5857 NEW BEST:: SOT 199631 SOS 55068 HAS SOPS 42667 HAS SOUS 40769 HAS SOUPS 37477 WITH SCORE 37532.068
AT ITER 5858 NEW BEST:: SOT 199620 SOS 55046 HAS SOPS 42645 HAS SOUS 40747 HAS SOUPS 37455 WITH SCORE 37510.046
AT ITER 5870 NEW BEST:: SOT 199600 SOS 55006 HAS SOPS 42605 HAS SOUS 40707 HAS SOUPS 37415 WITH SCORE 37470.006
AT ITER 5871 NEW BEST:: SOT 199598 SOS 55002 HAS SOPS 42603 HAS SOUS 40705 HAS SOUPS 37413 WITH SCORE 37468.002
AT ITER 5874 NEW BEST:: SOT 199564 SOS 54934 HAS SOPS 42535 HAS SOUS 40637 HAS SOUPS 37345 WITH SCORE 37399.934
AT ITER 5891 NEW BEST:: SOT 199513 SOS 54816 HAS SOPS 42417 HAS SOUS 40535 HAS SOUPS 37243 WITH SCORE 37297.816
AT ITER 5896 NEW BEST:: SOT 199513 SOS 54814 HAS SOPS 42415 HAS SOUS 40535 HAS SOUPS 37243 WITH SCORE 37297.814
AT ITER 5938 NEW BEST:: SOT 199485 SOS 54776 HAS SOPS 42387 HAS SOUS 40505 HAS SOUPS 37216 WITH SCORE 37270.776
AT ITER 5939 NEW BEST:: SOT 199474 SOS 54760 HAS SOPS 42386 HAS SOUS 40504 HAS SOUPS 37215 WITH SCORE 37269.76
AT ITER 5945 NEW BEST:: SOT 199381 SOS 54595 HAS SOPS 42277 HAS SOUS 40395 HAS SOUPS 37106 WITH SCORE 37160.595
AT ITER 5960 NEW BEST:: SOT 199377 SOS 55107 HAS SOPS 42789 HAS SOUS 40387 HAS SOUPS 37098 WITH SCORE 37153.107
AT ITER 6012 NEW BEST:: SOT 199369 SOS 55091 HAS SOPS 42773 HAS SOUS 40371 HAS SOUPS 37082 WITH SCORE 37137.091
AT ITER 6085 NEW BEST:: SOT 199338 SOS 55062 HAS SOPS 42744 HAS SOUS 40342 HAS SOUPS 37053 WITH SCORE 37108.062
AT ITER 6086 NEW BEST:: SOT 199340 SOS 55066 HAS SOPS 42725 HAS SOUS 40323 HAS SOUPS 37034 WITH SCORE 37089.066
AT ITER 6094 NEW BEST:: SOT 199292 SOS 55001 HAS SOPS 42629 HAS SOUS 40227 HAS SOUPS 36938 WITH SCORE 36993.001
AT ITER 6098 NEW BEST:: SOT 199236 SOS 54983 HAS SOPS 42625 HAS SOUS 40185 HAS SOUPS 36896 WITH SCORE 36950.983
AT ITER 6144 NEW BEST:: SOT 199230 SOS 54971 HAS SOPS 42613 HAS SOUS 40173 HAS SOUPS 36884 WITH SCORE 36938.971
AT ITER 6146 NEW BEST:: SOT 199230 SOS 54950 HAS SOPS 42613 HAS SOUS 40173 HAS SOUPS 36884 WITH SCORE 36938.95
AT ITER 6151 NEW BEST:: SOT 199221 SOS 54932 HAS SOPS 42595 HAS SOUS 40155 HAS SOUPS 36866 WITH SCORE 36920.932
AT ITER 6157 NEW BEST:: SOT 199215 SOS 54920 HAS SOPS 42583 HAS SOUS 40143 HAS SOUPS 36854 WITH SCORE 36908.92
AT ITER 6186 NEW BEST:: SOT 199215 SOS 54922 HAS SOPS 42567 HAS SOUS 40127 HAS SOUPS 36838 WITH SCORE 36892.922
AT ITER 6227 NEW BEST:: SOT 199035 SOS 54692 HAS SOPS 42337 HAS SOUS 39976 HAS SOUPS 36687 WITH SCORE 36741.692
AT ITER 6236 NEW BEST:: SOT 199035 SOS 54671 HAS SOPS 42337 HAS SOUS 39976 HAS SOUPS 36687 WITH SCORE 36741.671
AT ITER 6254 NEW BEST:: SOT 199035 SOS 54628 HAS SOPS 42337 HAS SOUS 39976 HAS SOUPS 36687 WITH SCORE 36741.628
AT ITER 6258 NEW BEST:: SOT 199034 SOS 54626 HAS SOPS 42335 HAS SOUS 39974 HAS SOUPS 36685 WITH SCORE 36739.626
AT ITER 6263 NEW BEST:: SOT 199033 SOS 54624 HAS SOPS 42333 HAS SOUS 39972 HAS SOUPS 36683 WITH SCORE 36737.624
AT ITER 6288 NEW BEST:: SOT 199033 SOS 54603 HAS SOPS 42333 HAS SOUS 39972 HAS SOUPS 36683 WITH SCORE 36737.603
AT ITER 6302 NEW BEST:: SOT 199033 SOS 54524 HAS SOPS 42252 HAS SOUS 39968 HAS SOUPS 36679 WITH SCORE 36733.524
AT ITER 6348 NEW BEST:: SOT 199032 SOS 54522 HAS SOPS 42250 HAS SOUS 39966 HAS SOUPS 36677 WITH SCORE 36731.522
AT ITER 6362 NEW BEST:: SOT 199030 SOS 54441 HAS SOPS 42166 HAS SOUS 39962 HAS SOUPS 36673 WITH SCORE 36727.441
AT ITER 6368 NEW BEST:: SOT 199028 SOS 54437 HAS SOPS 42162 HAS SOUS 39958 HAS SOUPS 36669 WITH SCORE 36723.437
AT ITER 6378 NEW BEST:: SOT 198825 SOS 54571 HAS SOPS 41894 HAS SOUS 39804 HAS SOUPS 36469 WITH SCORE 36523.571
AT ITER 6399 NEW BEST:: SOT 198819 SOS 54589 HAS SOPS 41906 HAS SOUS 39792 HAS SOUPS 36457 WITH SCORE 36511.589
AT ITER 6410 NEW BEST:: SOT 198817 SOS 54595 HAS SOPS 41912 HAS SOUS 39788 HAS SOUPS 36453 WITH SCORE 36507.595
AT ITER 6443 NEW BEST:: SOT 198787 SOS 54535 HAS SOPS 41852 HAS SOUS 39728 HAS SOUPS 36393 WITH SCORE 36447.535
AT ITER 6451 NEW BEST:: SOT 198792 SOS 54498 HAS SOPS 41815 HAS SOUS 39691 HAS SOUPS 36356 WITH SCORE 36410.498
AT ITER 6472 NEW BEST:: SOT 198742 SOS 54405 HAS SOPS 41782 HAS SOUS 39658 HAS SOUPS 36323 WITH SCORE 36377.405
AT ITER 6482 NEW BEST:: SOT 198742 SOS 54401 HAS SOPS 41782 HAS SOUS 39658 HAS SOUPS 36323 WITH SCORE 36377.401
AT ITER 6506 NEW BEST:: SOT 198739 SOS 54398 HAS SOPS 41779 HAS SOUS 39655 HAS SOUPS 36320 WITH SCORE 36374.398
AT ITER 6510 NEW BEST:: SOT 198735 SOS 54395 HAS SOPS 41776 HAS SOUS 39652 HAS SOUPS 36317 WITH SCORE 36371.395
AT ITER 6514 NEW BEST:: SOT 198699 SOS 54359 HAS SOPS 41704 HAS SOUS 39580 HAS SOUPS 36245 WITH SCORE 36299.359
AT ITER 6529 NEW BEST:: SOT 198699 SOS 54344 HAS SOPS 41683 HAS SOUS 39574 HAS SOUPS 36239 WITH SCORE 36293.344
AT ITER 6533 NEW BEST:: SOT 198698 SOS 54342 HAS SOPS 41681 HAS SOUS 39572 HAS SOUPS 36237 WITH SCORE 36291.342
AT ITER 6570 NEW BEST:: SOT 198710 SOS 54366 HAS SOPS 41675 HAS SOUS 39566 HAS SOUPS 36231 WITH SCORE 36285.366
AT ITER 6576 NEW BEST:: SOT 198684 SOS 54240 HAS SOPS 41563 HAS SOUS 39534 HAS SOUPS 36199 WITH SCORE 36253.24
AT ITER 6591 NEW BEST:: SOT 198674 SOS 54220 HAS SOPS 41543 HAS SOUS 39514 HAS SOUPS 36179 WITH SCORE 36233.22
AT ITER 6656 NEW BEST:: SOT 198627 SOS 54126 HAS SOPS 41449 HAS SOUS 39420 HAS SOUPS 36085 WITH SCORE 36139.126
AT ITER 6660 NEW BEST:: SOT 198622 SOS 54153 HAS SOPS 41439 HAS SOUS 39410 HAS SOUPS 36075 WITH SCORE 36129.153
AT ITER 6661 NEW BEST:: SOT 198581 SOS 54102 HAS SOPS 41357 HAS SOUS 39328 HAS SOUPS 35993 WITH SCORE 36047.102
AT ITER 6679 NEW BEST:: SOT 198553 SOS 54074 HAS SOPS 41301 HAS SOUS 39272 HAS SOUPS 35937 WITH SCORE 35991.074
AT ITER 6692 NEW BEST:: SOT 198561 SOS 54014 HAS SOPS 41285 HAS SOUS 39256 HAS SOUPS 35932 WITH SCORE 35986.014
AT ITER 6705 NEW BEST:: SOT 198548 SOS 53988 HAS SOPS 41259 HAS SOUS 39230 HAS SOUPS 35906 WITH SCORE 35959.988
AT ITER 6735 NEW BEST:: SOT 198548 SOS 53973 HAS SOPS 41214 HAS SOUS 39215 HAS SOUPS 35891 WITH SCORE 35944.973
AT ITER 6758 NEW BEST:: SOT 198602 SOS 53982 HAS SOPS 41223 HAS SOUS 39141 HAS SOUPS 35817 WITH SCORE 35870.982
AT ITER 6767 NEW BEST:: SOT 198613 SOS 54019 HAS SOPS 41245 HAS SOUS 39137 HAS SOUPS 35813 WITH SCORE 35867.019
AT ITER 6799 NEW BEST:: SOT 198597 SOS 54003 HAS SOPS 41229 HAS SOUS 39121 HAS SOUPS 35797 WITH SCORE 35851.003
AT ITER 6819 NEW BEST:: SOT 198588 SOS 53985 HAS SOPS 41211 HAS SOUS 39103 HAS SOUPS 35779 WITH SCORE 35832.985
AT ITER 6822 NEW BEST:: SOT 198588 SOS 53908 HAS SOPS 41211 HAS SOUS 39103 HAS SOUPS 35779 WITH SCORE 35832.908
AT ITER 6887 NEW BEST:: SOT 198598 SOS 53918 HAS SOPS 41161 HAS SOUS 39053 HAS SOUPS 35729 WITH SCORE 35782.918
AT ITER 6906 NEW BEST:: SOT 198597 SOS 53916 HAS SOPS 41159 HAS SOUS 39051 HAS SOUPS 35727 WITH SCORE 35780.916
AT ITER 6920 NEW BEST:: SOT 198596 SOS 53888 HAS SOPS 41157 HAS SOUS 39049 HAS SOUPS 35725 WITH SCORE 35778.888
AT ITER 6923 NEW BEST:: SOT 198592 SOS 53866 HAS SOPS 41135 HAS SOUS 39039 HAS SOUPS 35715 WITH SCORE 35768.866
AT ITER 6926 NEW BEST:: SOT 198592 SOS 53831 HAS SOPS 41135 HAS SOUS 39039 HAS SOUPS 35715 WITH SCORE 35768.831
AT ITER 6927 NEW BEST:: SOT 198583 SOS 53813 HAS SOPS 41117 HAS SOUS 39021 HAS SOUPS 35697 WITH SCORE 35750.813
AT ITER 6970 NEW BEST:: SOT 198601 SOS 53823 HAS SOPS 41081 HAS SOUS 39017 HAS SOUPS 35661 WITH SCORE 35714.823
AT ITER 6972 NEW BEST:: SOT 198581 SOS 53823 HAS SOPS 41075 HAS SOUS 39017 HAS SOUPS 35655 WITH SCORE 35708.823
AT ITER 6995 NEW BEST:: SOT 198579 SOS 53819 HAS SOPS 41071 HAS SOUS 39013 HAS SOUPS 35651 WITH SCORE 35704.819
AT ITER 7016 NEW BEST:: SOT 198569 SOS 53809 HAS SOPS 41051 HAS SOUS 38993 HAS SOUPS 35631 WITH SCORE 35684.809
AT ITER 7069 NEW BEST:: SOT 198556 SOS 53787 HAS SOPS 41029 HAS SOUS 38971 HAS SOUPS 35609 WITH SCORE 35662.787
AT ITER 7070 NEW BEST:: SOT 198532 SOS 53739 HAS SOPS 40981 HAS SOUS 38923 HAS SOUPS 35561 WITH SCORE 35614.739
AT ITER 7086 NEW BEST:: SOT 198524 SOS 53740 HAS SOPS 40982 HAS SOUS 38914 HAS SOUPS 35552 WITH SCORE 35605.74
AT ITER 7102 NEW BEST:: SOT 198447 SOS 53951 HAS SOPS 40873 HAS SOUS 38920 HAS SOUPS 35526 WITH SCORE 35579.951
AT ITER 7129 NEW BEST:: SOT 198436 SOS 53905 HAS SOPS 40827 HAS SOUS 38898 HAS SOUPS 35504 WITH SCORE 35557.905
AT ITER 7153 NEW BEST:: SOT 198420 SOS 53873 HAS SOPS 40795 HAS SOUS 38866 HAS SOUPS 35472 WITH SCORE 35525.873
AT ITER 7161 NEW BEST:: SOT 198288 SOS 53794 HAS SOPS 40679 HAS SOUS 38750 HAS SOUPS 35356 WITH SCORE 35409.794
AT ITER 7165 NEW BEST:: SOT 198274 SOS 53732 HAS SOPS 40651 HAS SOUS 38722 HAS SOUPS 35328 WITH SCORE 35381.732
AT ITER 7202 NEW BEST:: SOT 198282 SOS 53675 HAS SOPS 40594 HAS SOUS 38665 HAS SOUPS 35271 WITH SCORE 35324.675
AT ITER 7209 NEW BEST:: SOT 198106 SOS 53961 HAS SOPS 40897 HAS SOUS 38657 HAS SOUPS 35263 WITH SCORE 35316.961
AT ITER 7276 NEW BEST:: SOT 198047 SOS 53876 HAS SOPS 40812 HAS SOUS 38641 HAS SOUPS 35247 WITH SCORE 35300.876
AT ITER 7293 NEW BEST:: SOT 198035 SOS 53834 HAS SOPS 40788 HAS SOUS 38617 HAS SOUPS 35223 WITH SCORE 35276.834
AT ITER 7294 NEW BEST:: SOT 197991 SOS 53702 HAS SOPS 40656 HAS SOUS 38529 HAS SOUPS 35135 WITH SCORE 35188.702
AT ITER 7309 NEW BEST:: SOT 197974 SOS 53659 HAS SOPS 40605 HAS SOUS 38488 HAS SOUPS 35094 WITH SCORE 35147.659
AT ITER 7316 NEW BEST:: SOT 197834 SOS 54386 HAS SOPS 40513 HAS SOUS 38550 HAS SOUPS 35042 WITH SCORE 35096.386
AT ITER 7338 NEW BEST:: SOT 197831 SOS 54380 HAS SOPS 40504 HAS SOUS 38541 HAS SOUPS 35033 WITH SCORE 35087.38
AT ITER 7339 NEW BEST:: SOT 197816 SOS 54110 HAS SOPS 40234 HAS SOUS 38511 HAS SOUPS 35003 WITH SCORE 35057.11
AT ITER 7344 NEW BEST:: SOT 197816 SOS 54099 HAS SOPS 40223 HAS SOUS 38500 HAS SOUPS 34992 WITH SCORE 35046.099
AT ITER 7360 NEW BEST:: SOT 197814 SOS 54095 HAS SOPS 40219 HAS SOUS 38496 HAS SOUPS 34988 WITH SCORE 35042.095
AT ITER 7384 NEW BEST:: SOT 197791 SOS 54053 HAS SOPS 40177 HAS SOUS 38454 HAS SOUPS 34946 WITH SCORE 35000.053
AT ITER 7411 NEW BEST:: SOT 197795 SOS 54057 HAS SOPS 40152 HAS SOUS 38429 HAS SOUPS 34921 WITH SCORE 34975.057
AT ITER 7416 NEW BEST:: SOT 197781 SOS 54029 HAS SOPS 40124 HAS SOUS 38401 HAS SOUPS 34893 WITH SCORE 34947.029
AT ITER 7458 NEW BEST:: SOT 197777 SOS 54021 HAS SOPS 40116 HAS SOUS 38393 HAS SOUPS 34885 WITH SCORE 34939.021
AT ITER 7464 NEW BEST:: SOT 197776 SOS 54019 HAS SOPS 40114 HAS SOUS 38391 HAS SOUPS 34883 WITH SCORE 34937.019
AT ITER 7486 NEW BEST:: SOT 197772 SOS 53993 HAS SOPS 40108 HAS SOUS 38369 HAS SOUPS 34865 WITH SCORE 34918.993
AT ITER 7490 NEW BEST:: SOT 197761 SOS 53971 HAS SOPS 40086 HAS SOUS 38347 HAS SOUPS 34843 WITH SCORE 34896.971
AT ITER 7544 NEW BEST:: SOT 197737 SOS 53826 HAS SOPS 40038 HAS SOUS 38299 HAS SOUPS 34795 WITH SCORE 34848.826
AT ITER 7557 NEW BEST:: SOT 197745 SOS 53842 HAS SOPS 40030 HAS SOUS 38291 HAS SOUPS 34787 WITH SCORE 34840.842
AT ITER 7590 NEW BEST:: SOT 197737 SOS 53820 HAS SOPS 40014 HAS SOUS 38275 HAS SOUPS 34771 WITH SCORE 34824.82
AT ITER 7600 NEW BEST:: SOT 197737 SOS 53792 HAS SOPS 40014 HAS SOUS 38275 HAS SOUPS 34771 WITH SCORE 34824.792
AT ITER 7651 NEW BEST:: SOT 197724 SOS 53779 HAS SOPS 39988 HAS SOUS 38249 HAS SOUPS 34745 WITH SCORE 34798.779
AT ITER 7652 NEW BEST:: SOT 197726 SOS 53772 HAS SOPS 39991 HAS SOUS 38248 HAS SOUPS 34745 WITH SCORE 34798.772
AT ITER 7725 NEW BEST:: SOT 197686 SOS 53692 HAS SOPS 39911 HAS SOUS 38168 HAS SOUPS 34665 WITH SCORE 34718.692
AT ITER 7745 NEW BEST:: SOT 197672 SOS 53690 HAS SOPS 39883 HAS SOUS 38140 HAS SOUPS 34637 WITH SCORE 34690.69
AT ITER 7768 NEW BEST:: SOT 197628 SOS 53602 HAS SOPS 39823 HAS SOUS 38080 HAS SOUPS 34577 WITH SCORE 34630.602
AT ITER 7773 NEW BEST:: SOT 197626 SOS 53600 HAS SOPS 39819 HAS SOUS 38076 HAS SOUPS 34573 WITH SCORE 34626.6
AT ITER 7797 NEW BEST:: SOT 197594 SOS 53576 HAS SOPS 39798 HAS SOUS 38012 HAS SOUPS 34509 WITH SCORE 34562.576
AT ITER 7826 NEW BEST:: SOT 197596 SOS 53545 HAS SOPS 39759 HAS SOUS 37997 HAS SOUPS 34494 WITH SCORE 34547.545
AT ITER 7849 NEW BEST:: SOT 197589 SOS 53531 HAS SOPS 39745 HAS SOUS 37983 HAS SOUPS 34480 WITH SCORE 34533.531
AT ITER 7866 NEW BEST:: SOT 197583 SOS 53519 HAS SOPS 39733 HAS SOUS 37971 HAS SOUPS 34468 WITH SCORE 34521.519
AT ITER 7891 NEW BEST:: SOT 197578 SOS 53509 HAS SOPS 39723 HAS SOUS 37961 HAS SOUPS 34458 WITH SCORE 34511.509
AT ITER 7939 NEW BEST:: SOT 197558 SOS 53469 HAS SOPS 39683 HAS SOUS 37921 HAS SOUPS 34418 WITH SCORE 34471.469
AT ITER 7986 NEW BEST:: SOT 197502 SOS 53266 HAS SOPS 39571 HAS SOUS 37809 HAS SOUPS 34306 WITH SCORE 34359.266
AT ITER 7996 NEW BEST:: SOT 197498 SOS 53262 HAS SOPS 39551 HAS SOUS 37789 HAS SOUPS 34286 WITH SCORE 34339.262
AT ITER 8030 NEW BEST:: SOT 197492 SOS 53250 HAS SOPS 39545 HAS SOUS 37783 HAS SOUPS 34280 WITH SCORE 34333.25
AT ITER 8043 NEW BEST:: SOT 197467 SOS 53171 HAS SOPS 39495 HAS SOUS 37724 HAS SOUPS 34230 WITH SCORE 34283.171
AT ITER 8063 NEW BEST:: SOT 197466 SOS 53169 HAS SOPS 39493 HAS SOUS 37722 HAS SOUPS 34228 WITH SCORE 34281.169
AT ITER 8085 NEW BEST:: SOT 197339 SOS 53521 HAS SOPS 39288 HAS SOUS 37568 HAS SOUPS 34023 WITH SCORE 34076.521
AT ITER 8096 NEW BEST:: SOT 197334 SOS 53511 HAS SOPS 39278 HAS SOUS 37558 HAS SOUPS 34013 WITH SCORE 34066.511
AT ITER 8097 NEW BEST:: SOT 197334 SOS 53508 HAS SOPS 39278 HAS SOUS 37558 HAS SOUPS 34013 WITH SCORE 34066.508
AT ITER 8112 NEW BEST:: SOT 197328 SOS 53496 HAS SOPS 39266 HAS SOUS 37546 HAS SOUPS 34001 WITH SCORE 34054.496
AT ITER 8134 NEW BEST:: SOT 197264 SOS 52814 HAS SOPS 38978 HAS SOUS 37313 HAS SOUPS 33827 WITH SCORE 33879.814
AT ITER 8140 NEW BEST:: SOT 197258 SOS 52808 HAS SOPS 38966 HAS SOUS 37301 HAS SOUPS 33815 WITH SCORE 33867.808
AT ITER 8145 NEW BEST:: SOT 197258 SOS 52798 HAS SOPS 38966 HAS SOUS 37301 HAS SOUPS 33815 WITH SCORE 33867.798
AT ITER 8151 NEW BEST:: SOT 197263 SOS 52653 HAS SOPS 38968 HAS SOUS 37217 HAS SOUPS 33761 WITH SCORE 33813.653
AT ITER 8163 NEW BEST:: SOT 197253 SOS 52633 HAS SOPS 38948 HAS SOUS 37179 HAS SOUPS 33723 WITH SCORE 33775.633
AT ITER 8183 NEW BEST:: SOT 197236 SOS 52599 HAS SOPS 38914 HAS SOUS 37145 HAS SOUPS 33689 WITH SCORE 33741.599
AT ITER 8185 NEW BEST:: SOT 197294 SOS 52560 HAS SOPS 38959 HAS SOUS 37058 HAS SOUPS 33625 WITH SCORE 33677.56
AT ITER 8194 NEW BEST:: SOT 197297 SOS 52563 HAS SOPS 38953 HAS SOUS 37052 HAS SOUPS 33619 WITH SCORE 33671.563
AT ITER 8225 NEW BEST:: SOT 197295 SOS 52561 HAS SOPS 38951 HAS SOUS 37050 HAS SOUPS 33617 WITH SCORE 33669.561
AT ITER 8270 NEW BEST:: SOT 197295 SOS 52561 HAS SOPS 38950 HAS SOUS 37049 HAS SOUPS 33616 WITH SCORE 33668.561
AT ITER 8277 NEW BEST:: SOT 197296 SOS 52578 HAS SOPS 38912 HAS SOUS 37011 HAS SOUPS 33578 WITH SCORE 33630.578
AT ITER 8289 NEW BEST:: SOT 197213 SOS 52476 HAS SOPS 38898 HAS SOUS 36997 HAS SOUPS 33564 WITH SCORE 33616.476
AT ITER 8297 NEW BEST:: SOT 197186 SOS 52521 HAS SOPS 38853 HAS SOUS 36988 HAS SOUPS 33546 WITH SCORE 33598.521
AT ITER 8299 NEW BEST:: SOT 197152 SOS 52453 HAS SOPS 38785 HAS SOUS 36920 HAS SOUPS 33478 WITH SCORE 33530.453
AT ITER 8316 NEW BEST:: SOT 197133 SOS 52399 HAS SOPS 38747 HAS SOUS 36882 HAS SOUPS 33440 WITH SCORE 33492.399
AT ITER 8345 NEW BEST:: SOT 197133 SOS 52392 HAS SOPS 38747 HAS SOUS 36882 HAS SOUPS 33440 WITH SCORE 33492.392
AT ITER 8358 NEW BEST:: SOT 197132 SOS 52391 HAS SOPS 38744 HAS SOUS 36879 HAS SOUPS 33437 WITH SCORE 33489.391
AT ITER 8370 NEW BEST:: SOT 197114 SOS 52355 HAS SOPS 38726 HAS SOUS 36861 HAS SOUPS 33419 WITH SCORE 33471.355
AT ITER 8431 NEW BEST:: SOT 197102 SOS 52343 HAS SOPS 38714 HAS SOUS 36849 HAS SOUPS 33407 WITH SCORE 33459.343
AT ITER 8432 NEW BEST:: SOT 197100 SOS 52341 HAS SOPS 38712 HAS SOUS 36847 HAS SOUPS 33405 WITH SCORE 33457.341
AT ITER 8506 NEW BEST:: SOT 197100 SOS 52329 HAS SOPS 38712 HAS SOUS 36835 HAS SOUPS 33405 WITH SCORE 33457.329
AT ITER 8507 NEW BEST:: SOT 197029 SOS 52411 HAS SOPS 38754 HAS SOUS 36811 HAS SOUPS 33381 WITH SCORE 33433.411
AT ITER 8532 NEW BEST:: SOT 197012 SOS 52438 HAS SOPS 38781 HAS SOUS 36805 HAS SOUPS 33375 WITH SCORE 33427.438
AT ITER 8534 NEW BEST:: SOT 197000 SOS 52426 HAS SOPS 38769 HAS SOUS 36793 HAS SOUPS 33363 WITH SCORE 33415.426
AT ITER 8540 NEW BEST:: SOT 196955 SOS 52381 HAS SOPS 38732 HAS SOUS 36756 HAS SOUPS 33326 WITH SCORE 33378.381
AT ITER 8596 NEW BEST:: SOT 196925 SOS 52321 HAS SOPS 38672 HAS SOUS 36696 HAS SOUPS 33266 WITH SCORE 33318.321
AT ITER 8597 NEW BEST:: SOT 196922 SOS 52318 HAS SOPS 38669 HAS SOUS 36693 HAS SOUPS 33263 WITH SCORE 33315.318
AT ITER 8599 NEW BEST:: SOT 196918 SOS 52310 HAS SOPS 38661 HAS SOUS 36685 HAS SOUPS 33255 WITH SCORE 33307.31
AT ITER 8664 NEW BEST:: SOT 196881 SOS 52295 HAS SOPS 38654 HAS SOUS 36678 HAS SOUPS 33248 WITH SCORE 33300.295
AT ITER 8691 NEW BEST:: SOT 196881 SOS 52290 HAS SOPS 38649 HAS SOUS 36678 HAS SOUPS 33248 WITH SCORE 33300.29
AT ITER 8709 NEW BEST:: SOT 196871 SOS 52280 HAS SOPS 38646 HAS SOUS 36673 HAS SOUPS 33243 WITH SCORE 33295.28
AT ITER 8727 NEW BEST:: SOT 196866 SOS 52270 HAS SOPS 38636 HAS SOUS 36663 HAS SOUPS 33233 WITH SCORE 33285.27
AT ITER 8756 NEW BEST:: SOT 196894 SOS 52308 HAS SOPS 38612 HAS SOUS 36639 HAS SOUPS 33209 WITH SCORE 33261.308
AT ITER 8789 NEW BEST:: SOT 196859 SOS 52259 HAS SOPS 38563 HAS SOUS 36592 HAS SOUPS 33162 WITH SCORE 33214.259
AT ITER 8807 NEW BEST:: SOT 196858 SOS 52234 HAS SOPS 38538 HAS SOUS 36567 HAS SOUPS 33137 WITH SCORE 33189.234
AT ITER 8814 NEW BEST:: SOT 196798 SOS 52089 HAS SOPS 38503 HAS SOUS 36532 HAS SOUPS 33102 WITH SCORE 33154.089
AT ITER 8867 NEW BEST:: SOT 196770 SOS 52061 HAS SOPS 38461 HAS SOUS 36490 HAS SOUPS 33060 WITH SCORE 33112.061
AT ITER 8885 NEW BEST:: SOT 196764 SOS 52077 HAS SOPS 38449 HAS SOUS 36478 HAS SOUPS 33048 WITH SCORE 33100.077
AT ITER 8902 NEW BEST:: SOT 196764 SOS 52084 HAS SOPS 38442 HAS SOUS 36471 HAS SOUPS 33041 WITH SCORE 33093.084
AT ITER 8966 NEW BEST:: SOT 196752 SOS 52069 HAS SOPS 38418 HAS SOUS 36447 HAS SOUPS 33017 WITH SCORE 33069.069
AT ITER 8993 NEW BEST:: SOT 196744 SOS 52273 HAS SOPS 38578 HAS SOUS 36460 HAS SOUPS 33001 WITH SCORE 33053.273
AT ITER 9011 NEW BEST:: SOT 196738 SOS 52261 HAS SOPS 38566 HAS SOUS 36448 HAS SOUPS 32989 WITH SCORE 33041.261
AT ITER 9019 NEW BEST:: SOT 196738 SOS 52255 HAS SOPS 38560 HAS SOUS 36448 HAS SOUPS 32989 WITH SCORE 33041.255
AT ITER 9023 NEW BEST:: SOT 196681 SOS 52197 HAS SOPS 38502 HAS SOUS 36390 HAS SOUPS 32931 WITH SCORE 32983.197
AT ITER 9037 NEW BEST:: SOT 196664 SOS 52180 HAS SOPS 38468 HAS SOUS 36356 HAS SOUPS 32897 WITH SCORE 32949.18
AT ITER 9057 NEW BEST:: SOT 196662 SOS 52160 HAS SOPS 38448 HAS SOUS 36348 HAS SOUPS 32889 WITH SCORE 32941.16
AT ITER 9098 NEW BEST:: SOT 196642 SOS 52200 HAS SOPS 38478 HAS SOUS 36338 HAS SOUPS 32879 WITH SCORE 32931.2
AT ITER 9116 NEW BEST:: SOT 196642 SOS 52534 HAS SOPS 38296 HAS SOUS 36362 HAS SOUPS 32858 WITH SCORE 32910.534
AT ITER 9201 NEW BEST:: SOT 196629 SOS 52521 HAS SOPS 38283 HAS SOUS 36362 HAS SOUPS 32858 WITH SCORE 32910.521
AT ITER 9207 NEW BEST:: SOT 196627 SOS 52518 HAS SOPS 38280 HAS SOUS 36359 HAS SOUPS 32855 WITH SCORE 32907.518
AT ITER 9219 NEW BEST:: SOT 196624 SOS 52512 HAS SOPS 38274 HAS SOUS 36353 HAS SOUPS 32849 WITH SCORE 32901.512
AT ITER 9221 NEW BEST:: SOT 196598 SOS 52519 HAS SOPS 38284 HAS SOUS 36346 HAS SOUPS 32842 WITH SCORE 32894.519
AT ITER 9239 NEW BEST:: SOT 196574 SOS 52471 HAS SOPS 38272 HAS SOUS 36334 HAS SOUPS 32830 WITH SCORE 32882.471
AT ITER 9265 NEW BEST:: SOT 196685 SOS 52426 HAS SOPS 38310 HAS SOUS 36261 HAS SOUPS 32791 WITH SCORE 32843.426
AT ITER 9278 NEW BEST:: SOT 196701 SOS 52407 HAS SOPS 38291 HAS SOUS 36242 HAS SOUPS 32772 WITH SCORE 32824.407
AT ITER 9377 NEW BEST:: SOT 196697 SOS 52399 HAS SOPS 38283 HAS SOUS 36234 HAS SOUPS 32764 WITH SCORE 32816.399
AT ITER 9420 NEW BEST:: SOT 196696 SOS 52401 HAS SOPS 38285 HAS SOUS 36233 HAS SOUPS 32763 WITH SCORE 32815.401
AT ITER 9455 NEW BEST:: SOT 196691 SOS 52391 HAS SOPS 38275 HAS SOUS 36223 HAS SOUPS 32753 WITH SCORE 32805.391
AT ITER 9467 NEW BEST:: SOT 196691 SOS 52373 HAS SOPS 38275 HAS SOUS 36205 HAS SOUPS 32753 WITH SCORE 32805.373
AT ITER 9478 NEW BEST:: SOT 196624 SOS 52297 HAS SOPS 38208 HAS SOUS 36138 HAS SOUPS 32686 WITH SCORE 32738.297
AT ITER 9497 NEW BEST:: SOT 196623 SOS 52299 HAS SOPS 38206 HAS SOUS 36136 HAS SOUPS 32684 WITH SCORE 32736.299
AT ITER 9520 NEW BEST:: SOT 196549 SOS 52151 HAS SOPS 38058 HAS SOUS 35988 HAS SOUPS 32536 WITH SCORE 32588.151
AT ITER 9541 NEW BEST:: SOT 196539 SOS 52136 HAS SOPS 38043 HAS SOUS 35973 HAS SOUPS 32521 WITH SCORE 32573.136
AT ITER 9573 NEW BEST:: SOT 196520 SOS 52254 HAS SOPS 38161 HAS SOUS 35961 HAS SOUPS 32509 WITH SCORE 32561.254
AT ITER 9599 NEW BEST:: SOT 196504 SOS 52222 HAS SOPS 38129 HAS SOUS 35929 HAS SOUPS 32477 WITH SCORE 32529.222
AT ITER 9623 NEW BEST:: SOT 196502 SOS 52218 HAS SOPS 38127 HAS SOUS 35927 HAS SOUPS 32475 WITH SCORE 32527.218
AT ITER 9652 NEW BEST:: SOT 196492 SOS 52438 HAS SOPS 38347 HAS SOUS 35907 HAS SOUPS 32455 WITH SCORE 32507.438
AT ITER 9669 NEW BEST:: SOT 196484 SOS 52426 HAS SOPS 38325 HAS SOUS 35889 HAS SOUPS 32437 WITH SCORE 32489.426
AT ITER 9687 NEW BEST:: SOT 196464 SOS 52384 HAS SOPS 38285 HAS SOUS 35860 HAS SOUPS 32408 WITH SCORE 32460.384
AT ITER 9698 NEW BEST:: SOT 196490 SOS 52196 HAS SOPS 38097 HAS SOUS 35834 HAS SOUPS 32382 WITH SCORE 32434.196
AT ITER 9702 NEW BEST:: SOT 196480 SOS 52176 HAS SOPS 38077 HAS SOUS 35814 HAS SOUPS 32362 WITH SCORE 32414.176
AT ITER 9718 NEW BEST:: SOT 196437 SOS 51849 HAS SOPS 37778 HAS SOUS 35799 HAS SOUPS 32347 WITH SCORE 32398.849
AT ITER 9719 NEW BEST:: SOT 196437 SOS 51809 HAS SOPS 37738 HAS SOUS 35799 HAS SOUPS 32347 WITH SCORE 32398.809
AT ITER 9734 NEW BEST:: SOT 196414 SOS 51786 HAS SOPS 37692 HAS SOUS 35753 HAS SOUPS 32301 WITH SCORE 32352.786
AT ITER 9748 NEW BEST:: SOT 196405 SOS 51488 HAS SOPS 37688 HAS SOUS 35720 HAS SOUPS 32289 WITH SCORE 32340.488
AT ITER 9768 NEW BEST:: SOT 196321 SOS 52164 HAS SOPS 38364 HAS SOUS 35552 HAS SOUPS 32121 WITH SCORE 32173.164
AT ITER 9797 NEW BEST:: SOT 196304 SOS 52326 HAS SOPS 38330 HAS SOUS 35543 HAS SOUPS 32095 WITH SCORE 32147.326
AT ITER 9847 NEW BEST:: SOT 196265 SOS 52396 HAS SOPS 38405 HAS SOUS 35499 HAS SOUPS 32051 WITH SCORE 32103.396
AT ITER 9853 NEW BEST:: SOT 196255 SOS 52376 HAS SOPS 38385 HAS SOUS 35479 HAS SOUPS 32031 WITH SCORE 32083.376
AT ITER 9872 NEW BEST:: SOT 196273 SOS 52391 HAS SOPS 38403 HAS SOUS 35473 HAS SOUPS 32028 WITH SCORE 32080.391
AT ITER 9891 NEW BEST:: SOT 196273 SOS 52473 HAS SOPS 38463 HAS SOUS 35451 HAS SOUPS 32006 WITH SCORE 32058.473
AT ITER 9919 NEW BEST:: SOT 196273 SOS 52496 HAS SOPS 38440 HAS SOUS 35428 HAS SOUPS 31983 WITH SCORE 32035.496
AT ITER 9926 NEW BEST:: SOT 196249 SOS 52656 HAS SOPS 38604 HAS SOUS 35380 HAS SOUPS 31935 WITH SCORE 31987.656
AT ITER 9935 NEW BEST:: SOT 196221 SOS 52517 HAS SOPS 38491 HAS SOUS 35354 HAS SOUPS 31909 WITH SCORE 31961.517
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7414872 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16135100 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="Peterson-COL-4"
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 Peterson-COL-4, 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 r259-smll-167863534700576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-4.tgz
mv Peterson-COL-4 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 '
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 ;