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.r099-tall-167814473201040.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 DatabaseWithMutex-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473201040
=====================================================================

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678271727080

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=DatabaseWithMutex-COL-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-08 10:35:30] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-08 10:35:30] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-08 10:35:30] [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-08 10:35:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-08 10:35:31] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 661 ms
[2023-03-08 10:35:31] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 830 PT places and 800.0 transition bindings in 30 ms.
[2023-03-08 10:35:31] [INFO ] Unfolded HLPN to a Petri net with 830 places and 800 transitions 3800 arcs in 69 ms.
[2023-03-08 10:35:31] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-08 10:35:31] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 830 places, 800 transitions and 3800 arcs took 37 ms.
Total runtime 1074 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (COL), instance 10
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: 830 places, 800 transitions, 3800 arcs.
AT ITER 0 NEW BEST:: SOT 433138 SOS 199693 HAS SOPS 199693 HAS SOUS 179376 HAS SOUPS 179376 WITH SCORE 179575.693
AT ITER 5 NEW BEST:: SOT 433081 SOS 200053 HAS SOPS 200053 HAS SOUS 179319 HAS SOUPS 179319 WITH SCORE 179519.053
AT ITER 8 NEW BEST:: SOT 433031 SOS 199953 HAS SOPS 199953 HAS SOUS 179201 HAS SOUPS 179201 WITH SCORE 179400.953
AT ITER 11 NEW BEST:: SOT 432975 SOS 199753 HAS SOPS 199753 HAS SOUS 178991 HAS SOUPS 178991 WITH SCORE 179190.753
AT ITER 14 NEW BEST:: SOT 432947 SOS 199869 HAS SOPS 199869 HAS SOUS 178982 HAS SOUPS 178982 WITH SCORE 179181.869
AT ITER 29 NEW BEST:: SOT 432947 SOS 199828 HAS SOPS 199828 HAS SOUS 178941 HAS SOUPS 178941 WITH SCORE 179140.828
AT ITER 32 NEW BEST:: SOT 432854 SOS 201131 HAS SOPS 201131 HAS SOUS 178857 HAS SOUPS 178857 WITH SCORE 179058.131
AT ITER 34 NEW BEST:: SOT 432854 SOS 201131 HAS SOPS 201131 HAS SOUS 178839 HAS SOUPS 178839 WITH SCORE 179040.131
AT ITER 37 NEW BEST:: SOT 432720 SOS 203173 HAS SOPS 203173 HAS SOUS 178790 HAS SOUPS 178790 WITH SCORE 178993.173
AT ITER 41 NEW BEST:: SOT 432679 SOS 203319 HAS SOPS 203319 HAS SOUS 178740 HAS SOUPS 178740 WITH SCORE 178943.319
AT ITER 50 NEW BEST:: SOT 432742 SOS 203219 HAS SOPS 203219 HAS SOUS 178622 HAS SOUPS 178622 WITH SCORE 178825.219
AT ITER 53 NEW BEST:: SOT 432702 SOS 203139 HAS SOPS 203139 HAS SOUS 178533 HAS SOUPS 178533 WITH SCORE 178736.139
AT ITER 55 NEW BEST:: SOT 432662 SOS 205104 HAS SOPS 205104 HAS SOUS 178448 HAS SOUPS 178448 WITH SCORE 178653.104
AT ITER 59 NEW BEST:: SOT 432662 SOS 205016 HAS SOPS 205016 HAS SOUS 178360 HAS SOUPS 178360 WITH SCORE 178565.016
AT ITER 74 NEW BEST:: SOT 431112 SOS 205218 HAS SOPS 205218 HAS SOUS 177521 HAS SOUPS 177521 WITH SCORE 177726.218
AT ITER 82 NEW BEST:: SOT 430460 SOS 204805 HAS SOPS 204805 HAS SOUS 177108 HAS SOUPS 177108 WITH SCORE 177312.805
AT ITER 84 NEW BEST:: SOT 430543 SOS 204636 HAS SOPS 204636 HAS SOUS 176888 HAS SOUPS 176888 WITH SCORE 177092.636
AT ITER 113 NEW BEST:: SOT 430447 SOS 205096 HAS SOPS 205096 HAS SOUS 176875 HAS SOUPS 176875 WITH SCORE 177080.096
AT ITER 130 NEW BEST:: SOT 430447 SOS 205047 HAS SOPS 205047 HAS SOUS 176826 HAS SOUPS 176826 WITH SCORE 177031.047
AT ITER 131 NEW BEST:: SOT 430323 SOS 206181 HAS SOPS 206181 HAS SOUS 176726 HAS SOUPS 176726 WITH SCORE 176932.181
AT ITER 140 NEW BEST:: SOT 430297 SOS 206414 HAS SOPS 206414 HAS SOUS 176700 HAS SOUPS 176700 WITH SCORE 176906.414
AT ITER 144 NEW BEST:: SOT 430288 SOS 206405 HAS SOPS 206405 HAS SOUS 176637 HAS SOUPS 176637 WITH SCORE 176843.405
AT ITER 145 NEW BEST:: SOT 430200 SOS 208529 HAS SOPS 208529 HAS SOUS 176611 HAS SOUPS 176611 WITH SCORE 176819.529
AT ITER 150 NEW BEST:: SOT 430200 SOS 208462 HAS SOPS 208462 HAS SOUS 176544 HAS SOUPS 176544 WITH SCORE 176752.462
AT ITER 152 NEW BEST:: SOT 430200 SOS 208448 HAS SOPS 208448 HAS SOUS 176530 HAS SOUPS 176530 WITH SCORE 176738.448
AT ITER 162 NEW BEST:: SOT 430176 SOS 209732 HAS SOPS 209732 HAS SOUS 176470 HAS SOUPS 176470 WITH SCORE 176679.732
AT ITER 163 NEW BEST:: SOT 430176 SOS 209646 HAS SOPS 209646 HAS SOUS 176384 HAS SOUPS 176384 WITH SCORE 176593.646
AT ITER 164 NEW BEST:: SOT 430107 SOS 211513 HAS SOPS 211513 HAS SOUS 176333 HAS SOUPS 176333 WITH SCORE 176544.513
AT ITER 175 NEW BEST:: SOT 430200 SOS 211413 HAS SOPS 211413 HAS SOUS 176133 HAS SOUPS 176133 WITH SCORE 176344.413
AT ITER 179 NEW BEST:: SOT 430163 SOS 211339 HAS SOPS 211339 HAS SOUS 176096 HAS SOUPS 176096 WITH SCORE 176307.339
AT ITER 182 NEW BEST:: SOT 430159 SOS 211363 HAS SOPS 211363 HAS SOUS 176088 HAS SOUPS 176088 WITH SCORE 176299.363
AT ITER 193 NEW BEST:: SOT 429865 SOS 211107 HAS SOPS 211107 HAS SOUS 175832 HAS SOUPS 175832 WITH SCORE 176043.107
AT ITER 213 NEW BEST:: SOT 429796 SOS 211039 HAS SOPS 211039 HAS SOUS 175799 HAS SOUPS 175799 WITH SCORE 176010.039
AT ITER 220 NEW BEST:: SOT 429789 SOS 211032 HAS SOPS 211032 HAS SOUS 175785 HAS SOUPS 175785 WITH SCORE 175996.032
AT ITER 224 NEW BEST:: SOT 428776 SOS 210085 HAS SOPS 210085 HAS SOUS 174838 HAS SOUPS 174838 WITH SCORE 175048.085
AT ITER 226 NEW BEST:: SOT 428793 SOS 210025 HAS SOPS 210025 HAS SOUS 174778 HAS SOUPS 174778 WITH SCORE 174988.025
AT ITER 228 NEW BEST:: SOT 428713 SOS 209945 HAS SOPS 209945 HAS SOUS 174708 HAS SOUPS 174708 WITH SCORE 174917.945
AT ITER 231 NEW BEST:: SOT 428633 SOS 209745 HAS SOPS 209745 HAS SOUS 174428 HAS SOUPS 174428 WITH SCORE 174637.745
AT ITER 232 NEW BEST:: SOT 428646 SOS 209645 HAS SOPS 209645 HAS SOUS 174328 HAS SOUPS 174328 WITH SCORE 174537.645
AT ITER 239 NEW BEST:: SOT 428649 SOS 209563 HAS SOPS 209563 HAS SOUS 174243 HAS SOUPS 174243 WITH SCORE 174452.563
AT ITER 242 NEW BEST:: SOT 428604 SOS 212140 HAS SOPS 212140 HAS SOUS 174093 HAS SOUPS 174093 WITH SCORE 174305.14
AT ITER 245 NEW BEST:: SOT 428571 SOS 212074 HAS SOPS 212074 HAS SOUS 173994 HAS SOUPS 173994 WITH SCORE 174206.074
AT ITER 248 NEW BEST:: SOT 428592 SOS 211974 HAS SOPS 211974 HAS SOUS 173862 HAS SOUPS 173862 WITH SCORE 174073.974
AT ITER 249 NEW BEST:: SOT 428553 SOS 213167 HAS SOPS 213167 HAS SOUS 173850 HAS SOUPS 173850 WITH SCORE 174063.167
AT ITER 252 NEW BEST:: SOT 428553 SOS 213159 HAS SOPS 213159 HAS SOUS 173842 HAS SOUPS 173842 WITH SCORE 174055.159
AT ITER 260 NEW BEST:: SOT 428456 SOS 214670 HAS SOPS 214670 HAS SOUS 173763 HAS SOUPS 173763 WITH SCORE 173977.67
AT ITER 265 NEW BEST:: SOT 428456 SOS 214648 HAS SOPS 214648 HAS SOUS 173741 HAS SOUPS 173741 WITH SCORE 173955.648
AT ITER 268 NEW BEST:: SOT 428338 SOS 214497 HAS SOPS 214497 HAS SOUS 173632 HAS SOUPS 173632 WITH SCORE 173846.497
AT ITER 294 NEW BEST:: SOT 428222 SOS 215837 HAS SOPS 215837 HAS SOUS 173571 HAS SOUPS 173571 WITH SCORE 173786.837
AT ITER 295 NEW BEST:: SOT 428222 SOS 215784 HAS SOPS 215784 HAS SOUS 173518 HAS SOUPS 173518 WITH SCORE 173733.784
AT ITER 299 NEW BEST:: SOT 428161 SOS 215752 HAS SOPS 215752 HAS SOUS 173375 HAS SOUPS 173375 WITH SCORE 173590.752
AT ITER 302 NEW BEST:: SOT 428065 SOS 215560 HAS SOPS 215560 HAS SOUS 173174 HAS SOUPS 173174 WITH SCORE 173389.56
AT ITER 308 NEW BEST:: SOT 426853 SOS 216744 HAS SOPS 216744 HAS SOUS 173087 HAS SOUPS 173087 WITH SCORE 173303.744
AT ITER 309 NEW BEST:: SOT 426853 SOS 216708 HAS SOPS 216708 HAS SOUS 173051 HAS SOUPS 173051 WITH SCORE 173267.708
AT ITER 311 NEW BEST:: SOT 426604 SOS 219085 HAS SOPS 219085 HAS SOUS 172766 HAS SOUPS 172766 WITH SCORE 172985.085
AT ITER 313 NEW BEST:: SOT 426604 SOS 218886 HAS SOPS 218886 HAS SOUS 172766 HAS SOUPS 172766 WITH SCORE 172984.886
AT ITER 320 NEW BEST:: SOT 425788 SOS 218121 HAS SOPS 218121 HAS SOUS 171950 HAS SOUPS 171950 WITH SCORE 172168.121
AT ITER 321 NEW BEST:: SOT 425957 SOS 218094 HAS SOPS 218094 HAS SOUS 171896 HAS SOUPS 171896 WITH SCORE 172114.094
AT ITER 331 NEW BEST:: SOT 425957 SOS 218093 HAS SOPS 218093 HAS SOUS 171895 HAS SOUPS 171895 WITH SCORE 172113.093
AT ITER 334 NEW BEST:: SOT 425957 SOS 218067 HAS SOPS 218067 HAS SOUS 171843 HAS SOUPS 171843 WITH SCORE 172061.067
AT ITER 340 NEW BEST:: SOT 425873 SOS 217890 HAS SOPS 217890 HAS SOUS 171666 HAS SOUPS 171666 WITH SCORE 171883.89
AT ITER 348 NEW BEST:: SOT 425848 SOS 217820 HAS SOPS 217820 HAS SOUS 171596 HAS SOUPS 171596 WITH SCORE 171813.82
AT ITER 353 NEW BEST:: SOT 425848 SOS 217755 HAS SOPS 217755 HAS SOUS 171531 HAS SOUPS 171531 WITH SCORE 171748.755
AT ITER 364 NEW BEST:: SOT 425829 SOS 217736 HAS SOPS 217736 HAS SOUS 171512 HAS SOUPS 171512 WITH SCORE 171729.736
AT ITER 366 NEW BEST:: SOT 425449 SOS 217379 HAS SOPS 217379 HAS SOUS 171155 HAS SOUPS 171155 WITH SCORE 171372.379
AT ITER 373 NEW BEST:: SOT 425449 SOS 217366 HAS SOPS 217366 HAS SOUS 171142 HAS SOUPS 171142 WITH SCORE 171359.366
AT ITER 374 NEW BEST:: SOT 425514 SOS 217388 HAS SOPS 217388 HAS SOUS 171133 HAS SOUPS 171133 WITH SCORE 171350.388
AT ITER 392 NEW BEST:: SOT 424481 SOS 217633 HAS SOPS 217633 HAS SOUS 170642 HAS SOUPS 170642 WITH SCORE 170859.633
AT ITER 393 NEW BEST:: SOT 423819 SOS 217255 HAS SOPS 217255 HAS SOUS 170264 HAS SOUPS 170264 WITH SCORE 170481.255
AT ITER 396 NEW BEST:: SOT 423819 SOS 217199 HAS SOPS 217199 HAS SOUS 170264 HAS SOUPS 170264 WITH SCORE 170481.199
AT ITER 406 NEW BEST:: SOT 423721 SOS 217003 HAS SOPS 217003 HAS SOUS 169970 HAS SOUPS 169970 WITH SCORE 170187.003
AT ITER 420 NEW BEST:: SOT 423694 SOS 217232 HAS SOPS 217232 HAS SOUS 169943 HAS SOUPS 169943 WITH SCORE 170160.232
AT ITER 422 NEW BEST:: SOT 423605 SOS 217054 HAS SOPS 217054 HAS SOUS 169676 HAS SOUPS 169676 WITH SCORE 169893.054
AT ITER 427 NEW BEST:: SOT 423713 SOS 216954 HAS SOPS 216954 HAS SOUS 169476 HAS SOUPS 169476 WITH SCORE 169692.954
AT ITER 429 NEW BEST:: SOT 423762 SOS 216854 HAS SOPS 216854 HAS SOUS 169276 HAS SOUPS 169276 WITH SCORE 169492.854
AT ITER 430 NEW BEST:: SOT 423753 SOS 216845 HAS SOPS 216845 HAS SOUS 169236 HAS SOUPS 169236 WITH SCORE 169452.845
AT ITER 439 NEW BEST:: SOT 423364 SOS 216685 HAS SOPS 216685 HAS SOUS 168792 HAS SOUPS 168792 WITH SCORE 169008.685
AT ITER 451 NEW BEST:: SOT 423130 SOS 216477 HAS SOPS 216477 HAS SOUS 168571 HAS SOUPS 168571 WITH SCORE 168787.477
AT ITER 456 NEW BEST:: SOT 423130 SOS 216477 HAS SOPS 216477 HAS SOUS 168392 HAS SOUPS 168392 WITH SCORE 168608.477
AT ITER 457 NEW BEST:: SOT 423130 SOS 216442 HAS SOPS 216442 HAS SOUS 168322 HAS SOUPS 168322 WITH SCORE 168538.442
AT ITER 467 NEW BEST:: SOT 423105 SOS 216358 HAS SOPS 216358 HAS SOUS 168297 HAS SOUPS 168297 WITH SCORE 168513.358
AT ITER 474 NEW BEST:: SOT 422852 SOS 216804 HAS SOPS 216804 HAS SOUS 168165 HAS SOUPS 168165 WITH SCORE 168381.804
AT ITER 501 NEW BEST:: SOT 422075 SOS 216235 HAS SOPS 216235 HAS SOUS 167591 HAS SOUPS 167591 WITH SCORE 167807.235
AT ITER 504 NEW BEST:: SOT 422070 SOS 216230 HAS SOPS 216230 HAS SOUS 167581 HAS SOUPS 167581 WITH SCORE 167797.23
AT ITER 511 NEW BEST:: SOT 421970 SOS 216130 HAS SOPS 216130 HAS SOUS 167529 HAS SOUPS 167529 WITH SCORE 167745.13
AT ITER 518 NEW BEST:: SOT 421565 SOS 215752 HAS SOPS 215752 HAS SOUS 167024 HAS SOUPS 167024 WITH SCORE 167239.752
AT ITER 527 NEW BEST:: SOT 419980 SOS 215932 HAS SOPS 215932 HAS SOUS 165904 HAS SOUPS 165904 WITH SCORE 166119.932
AT ITER 528 NEW BEST:: SOT 419980 SOS 215887 HAS SOPS 215887 HAS SOUS 165859 HAS SOUPS 165859 WITH SCORE 166074.887
AT ITER 538 NEW BEST:: SOT 420020 SOS 215927 HAS SOPS 215927 HAS SOUS 165819 HAS SOUPS 165819 WITH SCORE 166034.927
AT ITER 544 NEW BEST:: SOT 420020 SOS 215879 HAS SOPS 215879 HAS SOUS 165723 HAS SOUPS 165723 WITH SCORE 165938.879
AT ITER 546 NEW BEST:: SOT 419965 SOS 215761 HAS SOPS 215761 HAS SOUS 165550 HAS SOUPS 165550 WITH SCORE 165765.761
AT ITER 547 NEW BEST:: SOT 419919 SOS 215715 HAS SOPS 215715 HAS SOUS 165486 HAS SOUPS 165486 WITH SCORE 165701.715
AT ITER 555 NEW BEST:: SOT 419866 SOS 215662 HAS SOPS 215662 HAS SOUS 165453 HAS SOUPS 165453 WITH SCORE 165668.662
AT ITER 557 NEW BEST:: SOT 419388 SOS 215332 HAS SOPS 215332 HAS SOUS 165123 HAS SOUPS 165123 WITH SCORE 165338.332
AT ITER 574 NEW BEST:: SOT 419383 SOS 215327 HAS SOPS 215327 HAS SOUS 165118 HAS SOUPS 165118 WITH SCORE 165333.327
AT ITER 588 NEW BEST:: SOT 419383 SOS 215314 HAS SOPS 215314 HAS SOUS 165105 HAS SOUPS 165105 WITH SCORE 165320.314
AT ITER 590 NEW BEST:: SOT 419383 SOS 215305 HAS SOPS 215305 HAS SOUS 165096 HAS SOUPS 165096 WITH SCORE 165311.305
AT ITER 598 NEW BEST:: SOT 419383 SOS 215274 HAS SOPS 215274 HAS SOUS 165065 HAS SOUPS 165065 WITH SCORE 165280.274
AT ITER 604 NEW BEST:: SOT 419353 SOS 215244 HAS SOPS 215244 HAS SOUS 165035 HAS SOUPS 165035 WITH SCORE 165250.244
AT ITER 605 NEW BEST:: SOT 419013 SOS 214969 HAS SOPS 214969 HAS SOUS 164760 HAS SOUPS 164760 WITH SCORE 164974.969
AT ITER 607 NEW BEST:: SOT 419013 SOS 214968 HAS SOPS 214968 HAS SOUS 164759 HAS SOUPS 164759 WITH SCORE 164973.968
AT ITER 614 NEW BEST:: SOT 418903 SOS 214777 HAS SOPS 214777 HAS SOUS 164549 HAS SOUPS 164549 WITH SCORE 164763.777
AT ITER 639 NEW BEST:: SOT 418903 SOS 214677 HAS SOPS 214677 HAS SOUS 164449 HAS SOUPS 164449 WITH SCORE 164663.677
AT ITER 642 NEW BEST:: SOT 417138 SOS 213065 HAS SOPS 213065 HAS SOUS 162837 HAS SOUPS 162837 WITH SCORE 163050.065
AT ITER 643 NEW BEST:: SOT 417099 SOS 212933 HAS SOPS 212933 HAS SOUS 162820 HAS SOUPS 162820 WITH SCORE 163032.933
AT ITER 647 NEW BEST:: SOT 417083 SOS 212908 HAS SOPS 212908 HAS SOUS 162779 HAS SOUPS 162779 WITH SCORE 162991.908
AT ITER 658 NEW BEST:: SOT 417080 SOS 212905 HAS SOPS 212905 HAS SOUS 162776 HAS SOUPS 162776 WITH SCORE 162988.905
AT ITER 687 NEW BEST:: SOT 417071 SOS 212528 HAS SOPS 212528 HAS SOUS 162758 HAS SOUPS 162758 WITH SCORE 162970.528
AT ITER 698 NEW BEST:: SOT 417071 SOS 212491 HAS SOPS 212491 HAS SOUS 162684 HAS SOUPS 162684 WITH SCORE 162896.491
AT ITER 700 NEW BEST:: SOT 417071 SOS 212491 HAS SOPS 212491 HAS SOUS 162659 HAS SOUPS 162659 WITH SCORE 162871.491
AT ITER 702 NEW BEST:: SOT 417071 SOS 212406 HAS SOPS 212406 HAS SOUS 162574 HAS SOUPS 162574 WITH SCORE 162786.406
AT ITER 703 NEW BEST:: SOT 416896 SOS 212255 HAS SOPS 212255 HAS SOUS 162423 HAS SOUPS 162423 WITH SCORE 162635.255
AT ITER 704 NEW BEST:: SOT 416861 SOS 212220 HAS SOPS 212220 HAS SOUS 162388 HAS SOUPS 162388 WITH SCORE 162600.22
AT ITER 714 NEW BEST:: SOT 416861 SOS 211890 HAS SOPS 211890 HAS SOUS 162328 HAS SOUPS 162328 WITH SCORE 162539.89
AT ITER 721 NEW BEST:: SOT 416344 SOS 211495 HAS SOPS 211495 HAS SOUS 161933 HAS SOUPS 161933 WITH SCORE 162144.495
AT ITER 733 NEW BEST:: SOT 416240 SOS 211326 HAS SOPS 211326 HAS SOUS 161729 HAS SOUPS 161729 WITH SCORE 161940.326
AT ITER 736 NEW BEST:: SOT 416193 SOS 212361 HAS SOPS 212361 HAS SOUS 161703 HAS SOUPS 161703 WITH SCORE 161915.361
AT ITER 744 NEW BEST:: SOT 416177 SOS 212329 HAS SOPS 212329 HAS SOUS 161655 HAS SOUPS 161655 WITH SCORE 161867.329
AT ITER 753 NEW BEST:: SOT 415376 SOS 213948 HAS SOPS 213948 HAS SOUS 161606 HAS SOUPS 161606 WITH SCORE 161819.948
AT ITER 758 NEW BEST:: SOT 415397 SOS 213917 HAS SOPS 213917 HAS SOUS 161596 HAS SOUPS 161596 WITH SCORE 161809.917
AT ITER 771 NEW BEST:: SOT 415314 SOS 214498 HAS SOPS 214498 HAS SOUS 161513 HAS SOUPS 161513 WITH SCORE 161727.498
AT ITER 772 NEW BEST:: SOT 415011 SOS 213976 HAS SOPS 213976 HAS SOUS 160932 HAS SOUPS 160932 WITH SCORE 161145.976
AT ITER 784 NEW BEST:: SOT 415091 SOS 213431 HAS SOPS 213431 HAS SOUS 160885 HAS SOUPS 160885 WITH SCORE 161098.431
AT ITER 787 NEW BEST:: SOT 415106 SOS 213514 HAS SOPS 213514 HAS SOUS 160847 HAS SOUPS 160847 WITH SCORE 161060.514
AT ITER 797 NEW BEST:: SOT 415095 SOS 213467 HAS SOPS 213467 HAS SOUS 160789 HAS SOUPS 160789 WITH SCORE 161002.467
AT ITER 816 NEW BEST:: SOT 415010 SOS 212532 HAS SOPS 212532 HAS SOUS 160336 HAS SOUPS 160336 WITH SCORE 160548.532
AT ITER 858 NEW BEST:: SOT 414978 SOS 212432 HAS SOPS 212432 HAS SOUS 160331 HAS SOUPS 160331 WITH SCORE 160543.432
AT ITER 882 NEW BEST:: SOT 415238 SOS 212680 HAS SOPS 212680 HAS SOUS 160307 HAS SOUPS 160307 WITH SCORE 160519.68
AT ITER 893 NEW BEST:: SOT 412581 SOS 210400 HAS SOPS 210400 HAS SOUS 157812 HAS SOUPS 157812 WITH SCORE 158022.4
AT ITER 899 NEW BEST:: SOT 412549 SOS 210368 HAS SOPS 210368 HAS SOUS 157780 HAS SOUPS 157780 WITH SCORE 157990.368
AT ITER 908 NEW BEST:: SOT 412451 SOS 210315 HAS SOPS 210315 HAS SOUS 157680 HAS SOUPS 157680 WITH SCORE 157890.315
AT ITER 909 NEW BEST:: SOT 412443 SOS 210307 HAS SOPS 210307 HAS SOUS 157664 HAS SOUPS 157664 WITH SCORE 157874.307
AT ITER 926 NEW BEST:: SOT 412414 SOS 210199 HAS SOPS 210199 HAS SOUS 157627 HAS SOUPS 157627 WITH SCORE 157837.199
AT ITER 936 NEW BEST:: SOT 412468 SOS 210098 HAS SOPS 210098 HAS SOUS 157526 HAS SOUPS 157526 WITH SCORE 157736.098
AT ITER 955 NEW BEST:: SOT 412460 SOS 210136 HAS SOPS 210136 HAS SOUS 157510 HAS SOUPS 157510 WITH SCORE 157720.136
AT ITER 960 NEW BEST:: SOT 412460 SOS 210134 HAS SOPS 210134 HAS SOUS 157508 HAS SOUPS 157508 WITH SCORE 157718.134
AT ITER 961 NEW BEST:: SOT 412438 SOS 210190 HAS SOPS 210190 HAS SOUS 157425 HAS SOUPS 157425 WITH SCORE 157635.19
AT ITER 966 NEW BEST:: SOT 412630 SOS 210382 HAS SOPS 210382 HAS SOUS 157410 HAS SOUPS 157410 WITH SCORE 157620.382
AT ITER 988 NEW BEST:: SOT 412654 SOS 210469 HAS SOPS 210469 HAS SOUS 157408 HAS SOUPS 157408 WITH SCORE 157618.469
AT ITER 993 NEW BEST:: SOT 411131 SOS 210649 HAS SOPS 210649 HAS SOUS 157159 HAS SOUPS 157159 WITH SCORE 157369.649
AT ITER 1004 NEW BEST:: SOT 411240 SOS 209831 HAS SOPS 209831 HAS SOUS 157151 HAS SOUPS 157151 WITH SCORE 157360.831
AT ITER 1015 NEW BEST:: SOT 411098 SOS 209612 HAS SOPS 209612 HAS SOUS 156922 HAS SOUPS 156922 WITH SCORE 157131.612
AT ITER 1016 NEW BEST:: SOT 411251 SOS 209765 HAS SOPS 209765 HAS SOUS 156808 HAS SOUPS 156808 WITH SCORE 157017.765
AT ITER 1026 NEW BEST:: SOT 411189 SOS 209634 HAS SOPS 209634 HAS SOUS 156719 HAS SOUPS 156719 WITH SCORE 156928.634
AT ITER 1030 NEW BEST:: SOT 411189 SOS 209617 HAS SOPS 209617 HAS SOUS 156702 HAS SOUPS 156702 WITH SCORE 156911.617
AT ITER 1035 NEW BEST:: SOT 411189 SOS 209603 HAS SOPS 209603 HAS SOUS 156688 HAS SOUPS 156688 WITH SCORE 156897.603
AT ITER 1038 NEW BEST:: SOT 411178 SOS 209592 HAS SOPS 209592 HAS SOUS 156677 HAS SOUPS 156677 WITH SCORE 156886.592
AT ITER 1061 NEW BEST:: SOT 411089 SOS 209548 HAS SOPS 209548 HAS SOUS 156633 HAS SOUPS 156633 WITH SCORE 156842.548
AT ITER 1062 NEW BEST:: SOT 411089 SOS 209548 HAS SOPS 209548 HAS SOUS 156352 HAS SOUPS 156352 WITH SCORE 156561.548
AT ITER 1066 NEW BEST:: SOT 411055 SOS 209459 HAS SOPS 209459 HAS SOUS 156298 HAS SOUPS 156298 WITH SCORE 156507.459
AT ITER 1069 NEW BEST:: SOT 411179 SOS 209583 HAS SOPS 209583 HAS SOUS 156125 HAS SOUPS 156125 WITH SCORE 156334.583
AT ITER 1077 NEW BEST:: SOT 411179 SOS 209583 HAS SOPS 209583 HAS SOUS 156007 HAS SOUPS 156007 WITH SCORE 156216.583
AT ITER 1080 NEW BEST:: SOT 411246 SOS 209562 HAS SOPS 209562 HAS SOUS 155986 HAS SOUPS 155986 WITH SCORE 156195.562
AT ITER 1091 NEW BEST:: SOT 411205 SOS 209480 HAS SOPS 209480 HAS SOUS 155863 HAS SOUPS 155863 WITH SCORE 156072.48
AT ITER 1113 NEW BEST:: SOT 411205 SOS 209474 HAS SOPS 209474 HAS SOUS 155857 HAS SOUPS 155857 WITH SCORE 156066.474
AT ITER 1124 NEW BEST:: SOT 411190 SOS 209459 HAS SOPS 209459 HAS SOUS 155842 HAS SOUPS 155842 WITH SCORE 156051.459
AT ITER 1126 NEW BEST:: SOT 411045 SOS 211541 HAS SOPS 211541 HAS SOUS 155786 HAS SOUPS 155786 WITH SCORE 155997.541
AT ITER 1128 NEW BEST:: SOT 411245 SOS 211611 HAS SOPS 211611 HAS SOUS 155671 HAS SOUPS 155671 WITH SCORE 155882.611
AT ITER 1133 NEW BEST:: SOT 411231 SOS 211632 HAS SOPS 211632 HAS SOUS 155657 HAS SOUPS 155657 WITH SCORE 155868.632
AT ITER 1141 NEW BEST:: SOT 411216 SOS 211602 HAS SOPS 211602 HAS SOUS 155627 HAS SOUPS 155627 WITH SCORE 155838.602
AT ITER 1152 NEW BEST:: SOT 411195 SOS 211581 HAS SOPS 211581 HAS SOUS 155606 HAS SOUPS 155606 WITH SCORE 155817.581
AT ITER 1159 NEW BEST:: SOT 411150 SOS 211459 HAS SOPS 211459 HAS SOUS 155484 HAS SOUPS 155484 WITH SCORE 155695.459
AT ITER 1164 NEW BEST:: SOT 409789 SOS 210236 HAS SOPS 210236 HAS SOUS 154243 HAS SOUPS 154243 WITH SCORE 154453.236
AT ITER 1170 NEW BEST:: SOT 409796 SOS 210147 HAS SOPS 210147 HAS SOUS 154154 HAS SOUPS 154154 WITH SCORE 154364.147
AT ITER 1181 NEW BEST:: SOT 408532 SOS 210574 HAS SOPS 210574 HAS SOUS 153655 HAS SOUPS 153655 WITH SCORE 153865.574
AT ITER 1212 NEW BEST:: SOT 408559 SOS 210601 HAS SOPS 210601 HAS SOUS 153529 HAS SOUPS 153529 WITH SCORE 153739.601
AT ITER 1231 NEW BEST:: SOT 408531 SOS 210534 HAS SOPS 210534 HAS SOUS 153462 HAS SOUPS 153462 WITH SCORE 153672.534
AT ITER 1235 NEW BEST:: SOT 408388 SOS 211499 HAS SOPS 211499 HAS SOUS 153283 HAS SOUPS 153283 WITH SCORE 153494.499
AT ITER 1260 NEW BEST:: SOT 408388 SOS 211444 HAS SOPS 211444 HAS SOUS 153228 HAS SOUPS 153228 WITH SCORE 153439.444
AT ITER 1264 NEW BEST:: SOT 408388 SOS 211430 HAS SOPS 211430 HAS SOUS 153228 HAS SOUPS 153228 WITH SCORE 153439.43
AT ITER 1271 NEW BEST:: SOT 406967 SOS 210565 HAS SOPS 210565 HAS SOUS 151915 HAS SOUPS 151915 WITH SCORE 152125.565
AT ITER 1275 NEW BEST:: SOT 406912 SOS 211172 HAS SOPS 211172 HAS SOUS 151906 HAS SOUPS 151906 WITH SCORE 152117.172
AT ITER 1280 NEW BEST:: SOT 406675 SOS 211214 HAS SOPS 211214 HAS SOUS 151655 HAS SOUPS 151655 WITH SCORE 151866.214
AT ITER 1293 NEW BEST:: SOT 406577 SOS 211062 HAS SOPS 211062 HAS SOUS 151567 HAS SOUPS 151567 WITH SCORE 151778.062
AT ITER 1297 NEW BEST:: SOT 406601 SOS 211086 HAS SOPS 211086 HAS SOUS 151552 HAS SOUPS 151552 WITH SCORE 151763.086
AT ITER 1301 NEW BEST:: SOT 406603 SOS 211010 HAS SOPS 211010 HAS SOUS 151476 HAS SOUPS 151476 WITH SCORE 151687.01
AT ITER 1312 NEW BEST:: SOT 406650 SOS 211040 HAS SOPS 211040 HAS SOUS 151314 HAS SOUPS 151314 WITH SCORE 151525.04
AT ITER 1313 NEW BEST:: SOT 406280 SOS 210806 HAS SOPS 210806 HAS SOUS 150929 HAS SOUPS 150929 WITH SCORE 151139.806
AT ITER 1328 NEW BEST:: SOT 406228 SOS 210736 HAS SOPS 210736 HAS SOUS 150859 HAS SOUPS 150859 WITH SCORE 151069.736
AT ITER 1351 NEW BEST:: SOT 406223 SOS 210726 HAS SOPS 210726 HAS SOUS 150849 HAS SOUPS 150849 WITH SCORE 151059.726
AT ITER 1363 NEW BEST:: SOT 406104 SOS 209328 HAS SOPS 209328 HAS SOUS 150607 HAS SOUPS 150607 WITH SCORE 150816.328
AT ITER 1365 NEW BEST:: SOT 406044 SOS 209254 HAS SOPS 209254 HAS SOUS 150595 HAS SOUPS 150595 WITH SCORE 150804.254
AT ITER 1375 NEW BEST:: SOT 405949 SOS 209130 HAS SOPS 209130 HAS SOUS 150471 HAS SOUPS 150471 WITH SCORE 150680.13
AT ITER 1398 NEW BEST:: SOT 405945 SOS 209122 HAS SOPS 209122 HAS SOUS 150467 HAS SOUPS 150467 WITH SCORE 150676.122
AT ITER 1402 NEW BEST:: SOT 405945 SOS 209068 HAS SOPS 209068 HAS SOUS 150461 HAS SOUPS 150461 WITH SCORE 150670.068
AT ITER 1408 NEW BEST:: SOT 405945 SOS 209062 HAS SOPS 209062 HAS SOUS 150455 HAS SOUPS 150455 WITH SCORE 150664.062
AT ITER 1411 NEW BEST:: SOT 405941 SOS 209058 HAS SOPS 209058 HAS SOUS 150415 HAS SOUPS 150415 WITH SCORE 150624.058
AT ITER 1414 NEW BEST:: SOT 405939 SOS 209056 HAS SOPS 209056 HAS SOUS 150340 HAS SOUPS 150340 WITH SCORE 150549.056
AT ITER 1425 NEW BEST:: SOT 405942 SOS 209059 HAS SOPS 209059 HAS SOUS 150325 HAS SOUPS 150325 WITH SCORE 150534.059
AT ITER 1450 NEW BEST:: SOT 405867 SOS 208811 HAS SOPS 208811 HAS SOUS 150276 HAS SOUPS 150276 WITH SCORE 150484.811
AT ITER 1456 NEW BEST:: SOT 405894 SOS 208838 HAS SOPS 208838 HAS SOUS 150249 HAS SOUPS 150249 WITH SCORE 150457.838
AT ITER 1481 NEW BEST:: SOT 405523 SOS 209208 HAS SOPS 209208 HAS SOUS 150187 HAS SOUPS 150187 WITH SCORE 150396.208
AT ITER 1507 NEW BEST:: SOT 405650 SOS 209207 HAS SOPS 209207 HAS SOUS 149989 HAS SOUPS 149989 WITH SCORE 150198.207
AT ITER 1524 NEW BEST:: SOT 405649 SOS 209206 HAS SOPS 209206 HAS SOUS 149988 HAS SOUPS 149988 WITH SCORE 150197.206
AT ITER 1527 NEW BEST:: SOT 405617 SOS 209174 HAS SOPS 209174 HAS SOUS 149956 HAS SOUPS 149956 WITH SCORE 150165.174
AT ITER 1528 NEW BEST:: SOT 405565 SOS 208340 HAS SOPS 208340 HAS SOUS 149842 HAS SOUPS 149842 WITH SCORE 150050.34
AT ITER 1532 NEW BEST:: SOT 405537 SOS 208312 HAS SOPS 208312 HAS SOUS 149678 HAS SOUPS 149678 WITH SCORE 149886.312
AT ITER 1538 NEW BEST:: SOT 405583 SOS 208211 HAS SOPS 208211 HAS SOUS 149494 HAS SOUPS 149494 WITH SCORE 149702.211
AT ITER 1544 NEW BEST:: SOT 405537 SOS 208119 HAS SOPS 208119 HAS SOUS 149448 HAS SOUPS 149448 WITH SCORE 149656.119
AT ITER 1545 NEW BEST:: SOT 404753 SOS 208905 HAS SOPS 208905 HAS SOUS 148907 HAS SOUPS 148907 WITH SCORE 149115.905
AT ITER 1553 NEW BEST:: SOT 404760 SOS 208912 HAS SOPS 208912 HAS SOUS 148902 HAS SOUPS 148902 WITH SCORE 149110.912
AT ITER 1557 NEW BEST:: SOT 404760 SOS 208862 HAS SOPS 208862 HAS SOUS 148892 HAS SOUPS 148892 WITH SCORE 149100.862
AT ITER 1562 NEW BEST:: SOT 404760 SOS 208855 HAS SOPS 208855 HAS SOUS 148892 HAS SOUPS 148892 WITH SCORE 149100.855
AT ITER 1565 NEW BEST:: SOT 404760 SOS 208855 HAS SOPS 208855 HAS SOUS 148855 HAS SOUPS 148855 WITH SCORE 149063.855
AT ITER 1569 NEW BEST:: SOT 404690 SOS 208715 HAS SOPS 208715 HAS SOUS 148715 HAS SOUPS 148715 WITH SCORE 148923.715
AT ITER 1573 NEW BEST:: SOT 404801 SOS 207835 HAS SOPS 207835 HAS SOUS 148660 HAS SOUPS 148660 WITH SCORE 148867.835
AT ITER 1580 NEW BEST:: SOT 404727 SOS 208209 HAS SOPS 208209 HAS SOUS 148645 HAS SOUPS 148645 WITH SCORE 148853.209
AT ITER 1582 NEW BEST:: SOT 404714 SOS 208196 HAS SOPS 208196 HAS SOUS 148632 HAS SOUPS 148632 WITH SCORE 148840.196
AT ITER 1584 NEW BEST:: SOT 404690 SOS 208160 HAS SOPS 208160 HAS SOUS 148596 HAS SOUPS 148596 WITH SCORE 148804.16
AT ITER 1599 NEW BEST:: SOT 404231 SOS 207868 HAS SOPS 207868 HAS SOUS 148304 HAS SOUPS 148304 WITH SCORE 148511.868
AT ITER 1638 NEW BEST:: SOT 404136 SOS 207773 HAS SOPS 207773 HAS SOUS 148254 HAS SOUPS 148254 WITH SCORE 148461.773
AT ITER 1649 NEW BEST:: SOT 404136 SOS 207736 HAS SOPS 207736 HAS SOUS 148217 HAS SOUPS 148217 WITH SCORE 148424.736
AT ITER 1653 NEW BEST:: SOT 404274 SOS 207774 HAS SOPS 207774 HAS SOUS 148098 HAS SOUPS 148098 WITH SCORE 148305.774
AT ITER 1654 NEW BEST:: SOT 404274 SOS 207774 HAS SOPS 207774 HAS SOUS 147836 HAS SOUPS 147836 WITH SCORE 148043.774
AT ITER 1674 NEW BEST:: SOT 404228 SOS 207728 HAS SOPS 207728 HAS SOUS 147790 HAS SOUPS 147790 WITH SCORE 147997.728
AT ITER 1677 NEW BEST:: SOT 404220 SOS 207720 HAS SOPS 207720 HAS SOUS 147782 HAS SOUPS 147782 WITH SCORE 147989.72
AT ITER 1679 NEW BEST:: SOT 404152 SOS 207584 HAS SOPS 207584 HAS SOUS 147686 HAS SOUPS 147686 WITH SCORE 147893.584
AT ITER 1685 NEW BEST:: SOT 404152 SOS 207535 HAS SOPS 207535 HAS SOUS 147637 HAS SOUPS 147637 WITH SCORE 147844.535
AT ITER 1715 NEW BEST:: SOT 404152 SOS 207516 HAS SOPS 207516 HAS SOUS 147618 HAS SOUPS 147618 WITH SCORE 147825.516
AT ITER 1729 NEW BEST:: SOT 404121 SOS 207384 HAS SOPS 207384 HAS SOUS 147587 HAS SOUPS 147587 WITH SCORE 147794.384
AT ITER 1735 NEW BEST:: SOT 403906 SOS 207300 HAS SOPS 207300 HAS SOUS 147503 HAS SOUPS 147503 WITH SCORE 147710.3
AT ITER 1744 NEW BEST:: SOT 404156 SOS 207550 HAS SOPS 207550 HAS SOUS 147491 HAS SOUPS 147491 WITH SCORE 147698.55
AT ITER 1760 NEW BEST:: SOT 404066 SOS 207460 HAS SOPS 207460 HAS SOUS 147401 HAS SOUPS 147401 WITH SCORE 147608.46
AT ITER 1763 NEW BEST:: SOT 403927 SOS 207221 HAS SOPS 207221 HAS SOUS 147283 HAS SOUPS 147283 WITH SCORE 147490.221
AT ITER 1768 NEW BEST:: SOT 403927 SOS 207181 HAS SOPS 207181 HAS SOUS 147243 HAS SOUPS 147243 WITH SCORE 147450.181
AT ITER 1775 NEW BEST:: SOT 403926 SOS 207180 HAS SOPS 207180 HAS SOUS 147241 HAS SOUPS 147241 WITH SCORE 147448.18
AT ITER 1782 NEW BEST:: SOT 403926 SOS 207075 HAS SOPS 207075 HAS SOUS 147241 HAS SOUPS 147241 WITH SCORE 147448.075
AT ITER 1788 NEW BEST:: SOT 403925 SOS 207071 HAS SOPS 207071 HAS SOUS 147237 HAS SOUPS 147237 WITH SCORE 147444.071
AT ITER 1798 NEW BEST:: SOT 403569 SOS 207197 HAS SOPS 207197 HAS SOUS 147031 HAS SOUPS 147031 WITH SCORE 147238.197
AT ITER 1812 NEW BEST:: SOT 403488 SOS 207008 HAS SOPS 207008 HAS SOUS 146792 HAS SOUPS 146792 WITH SCORE 146999.008
AT ITER 1824 NEW BEST:: SOT 403204 SOS 206724 HAS SOPS 206724 HAS SOUS 146658 HAS SOUPS 146658 WITH SCORE 146864.724
AT ITER 1833 NEW BEST:: SOT 403132 SOS 206652 HAS SOPS 206652 HAS SOUS 146586 HAS SOUPS 146586 WITH SCORE 146792.652
AT ITER 1835 NEW BEST:: SOT 403072 SOS 206578 HAS SOPS 206578 HAS SOUS 146466 HAS SOUPS 146466 WITH SCORE 146672.578
AT ITER 1843 NEW BEST:: SOT 403072 SOS 206550 HAS SOPS 206550 HAS SOUS 146466 HAS SOUPS 146466 WITH SCORE 146672.55
AT ITER 1851 NEW BEST:: SOT 402972 SOS 206422 HAS SOPS 206422 HAS SOUS 146387 HAS SOUPS 146387 WITH SCORE 146593.422
AT ITER 1863 NEW BEST:: SOT 402932 SOS 206343 HAS SOPS 206343 HAS SOUS 146307 HAS SOUPS 146307 WITH SCORE 146513.343
AT ITER 1868 NEW BEST:: SOT 402932 SOS 205929 HAS SOPS 205929 HAS SOUS 146307 HAS SOUPS 146307 WITH SCORE 146512.929
AT ITER 1870 NEW BEST:: SOT 402932 SOS 205353 HAS SOPS 205353 HAS SOUS 146307 HAS SOUPS 146307 WITH SCORE 146512.353
AT ITER 1876 NEW BEST:: SOT 402900 SOS 205289 HAS SOPS 205289 HAS SOUS 146243 HAS SOUPS 146243 WITH SCORE 146448.289
AT ITER 1911 NEW BEST:: SOT 402900 SOS 204441 HAS SOPS 204441 HAS SOUS 146117 HAS SOUPS 146117 WITH SCORE 146321.441
AT ITER 1963 NEW BEST:: SOT 402963 SOS 204504 HAS SOPS 204504 HAS SOUS 145999 HAS SOUPS 145999 WITH SCORE 146203.504
AT ITER 1965 NEW BEST:: SOT 402823 SOS 204398 HAS SOPS 204398 HAS SOUS 145893 HAS SOUPS 145893 WITH SCORE 146097.398
AT ITER 1966 NEW BEST:: SOT 403022 SOS 204597 HAS SOPS 204597 HAS SOUS 145805 HAS SOUPS 145805 WITH SCORE 146009.597
AT ITER 1970 NEW BEST:: SOT 402929 SOS 204504 HAS SOPS 204504 HAS SOUS 145653 HAS SOUPS 145653 WITH SCORE 145857.504
AT ITER 1977 NEW BEST:: SOT 402925 SOS 204498 HAS SOPS 204498 HAS SOUS 145645 HAS SOUPS 145645 WITH SCORE 145849.498
AT ITER 1984 NEW BEST:: SOT 402865 SOS 204498 HAS SOPS 204498 HAS SOUS 145622 HAS SOUPS 145622 WITH SCORE 145826.498
AT ITER 1988 NEW BEST:: SOT 402550 SOS 204283 HAS SOPS 204283 HAS SOUS 145407 HAS SOUPS 145407 WITH SCORE 145611.283
AT ITER 1996 NEW BEST:: SOT 402547 SOS 204253 HAS SOPS 204253 HAS SOUS 145365 HAS SOUPS 145365 WITH SCORE 145569.253
AT ITER 2003 NEW BEST:: SOT 402350 SOS 204228 HAS SOPS 204228 HAS SOUS 145340 HAS SOUPS 145340 WITH SCORE 145544.228
AT ITER 2013 NEW BEST:: SOT 402307 SOS 204142 HAS SOPS 204142 HAS SOUS 145297 HAS SOUPS 145297 WITH SCORE 145501.142
AT ITER 2018 NEW BEST:: SOT 402235 SOS 204003 HAS SOPS 204003 HAS SOUS 145254 HAS SOUPS 145254 WITH SCORE 145458.003
AT ITER 2019 NEW BEST:: SOT 402129 SOS 203897 HAS SOPS 203897 HAS SOUS 145148 HAS SOUPS 145148 WITH SCORE 145351.897
AT ITER 2029 NEW BEST:: SOT 402094 SOS 203862 HAS SOPS 203862 HAS SOUS 144913 HAS SOUPS 144913 WITH SCORE 145116.862
AT ITER 2031 NEW BEST:: SOT 402294 SOS 204042 HAS SOPS 204042 HAS SOUS 144906 HAS SOUPS 144906 WITH SCORE 145110.042
AT ITER 2033 NEW BEST:: SOT 402232 SOS 203976 HAS SOPS 203976 HAS SOUS 144840 HAS SOUPS 144840 WITH SCORE 145043.976
AT ITER 2038 NEW BEST:: SOT 402229 SOS 203973 HAS SOPS 203973 HAS SOUS 144834 HAS SOUPS 144834 WITH SCORE 145037.973
AT ITER 2043 NEW BEST:: SOT 402229 SOS 203742 HAS SOPS 203742 HAS SOUS 144801 HAS SOUPS 144801 WITH SCORE 145004.742
AT ITER 2082 NEW BEST:: SOT 402229 SOS 203684 HAS SOPS 203684 HAS SOUS 144719 HAS SOUPS 144719 WITH SCORE 144922.684
AT ITER 2106 NEW BEST:: SOT 402181 SOS 203636 HAS SOPS 203636 HAS SOUS 144671 HAS SOUPS 144671 WITH SCORE 144874.636
AT ITER 2130 NEW BEST:: SOT 402096 SOS 203428 HAS SOPS 203428 HAS SOUS 144600 HAS SOUPS 144600 WITH SCORE 144803.428
AT ITER 2140 NEW BEST:: SOT 402156 SOS 203354 HAS SOPS 203354 HAS SOUS 144526 HAS SOUPS 144526 WITH SCORE 144729.354
AT ITER 2149 NEW BEST:: SOT 402131 SOS 203076 HAS SOPS 203076 HAS SOUS 144453 HAS SOUPS 144453 WITH SCORE 144656.076
AT ITER 2161 NEW BEST:: SOT 402116 SOS 203061 HAS SOPS 203061 HAS SOUS 144438 HAS SOUPS 144438 WITH SCORE 144641.061
AT ITER 2172 NEW BEST:: SOT 402032 SOS 202977 HAS SOPS 202977 HAS SOUS 144309 HAS SOUPS 144309 WITH SCORE 144511.977
AT ITER 2177 NEW BEST:: SOT 402032 SOS 202957 HAS SOPS 202957 HAS SOUS 144309 HAS SOUPS 144309 WITH SCORE 144511.957
AT ITER 2186 NEW BEST:: SOT 401852 SOS 203395 HAS SOPS 203395 HAS SOUS 144287 HAS SOUPS 144287 WITH SCORE 144490.395
AT ITER 2187 NEW BEST:: SOT 401835 SOS 203354 HAS SOPS 203354 HAS SOUS 144246 HAS SOUPS 144246 WITH SCORE 144449.354
AT ITER 2189 NEW BEST:: SOT 402017 SOS 203536 HAS SOPS 203536 HAS SOUS 144184 HAS SOUPS 144184 WITH SCORE 144387.536
AT ITER 2201 NEW BEST:: SOT 402042 SOS 203561 HAS SOPS 203561 HAS SOUS 144181 HAS SOUPS 144181 WITH SCORE 144384.561
AT ITER 2208 NEW BEST:: SOT 402006 SOS 203525 HAS SOPS 203525 HAS SOUS 144137 HAS SOUPS 144137 WITH SCORE 144340.525
AT ITER 2210 NEW BEST:: SOT 402020 SOS 203508 HAS SOPS 203508 HAS SOUS 144084 HAS SOUPS 144084 WITH SCORE 144287.508
AT ITER 2223 NEW BEST:: SOT 402005 SOS 203498 HAS SOPS 203498 HAS SOUS 144074 HAS SOUPS 144074 WITH SCORE 144277.498
AT ITER 2225 NEW BEST:: SOT 401994 SOS 203465 HAS SOPS 203465 HAS SOUS 144041 HAS SOUPS 144041 WITH SCORE 144244.465
AT ITER 2230 NEW BEST:: SOT 401949 SOS 203420 HAS SOPS 203420 HAS SOUS 143996 HAS SOUPS 143996 WITH SCORE 144199.42
AT ITER 2241 NEW BEST:: SOT 401931 SOS 203384 HAS SOPS 203384 HAS SOUS 143978 HAS SOUPS 143978 WITH SCORE 144181.384
AT ITER 2242 NEW BEST:: SOT 401926 SOS 203379 HAS SOPS 203379 HAS SOUS 143973 HAS SOUPS 143973 WITH SCORE 144176.379
AT ITER 2243 NEW BEST:: SOT 401893 SOS 203313 HAS SOPS 203313 HAS SOUS 143907 HAS SOUPS 143907 WITH SCORE 144110.313
AT ITER 2245 NEW BEST:: SOT 401858 SOS 203272 HAS SOPS 203272 HAS SOUS 143871 HAS SOUPS 143871 WITH SCORE 144074.272
AT ITER 2246 NEW BEST:: SOT 401858 SOS 203164 HAS SOPS 203164 HAS SOUS 143871 HAS SOUPS 143871 WITH SCORE 144074.164
AT ITER 2255 NEW BEST:: SOT 401808 SOS 202368 HAS SOPS 202368 HAS SOUS 143679 HAS SOUPS 143679 WITH SCORE 143881.368
AT ITER 2261 NEW BEST:: SOT 401808 SOS 202359 HAS SOPS 202359 HAS SOUS 143670 HAS SOUPS 143670 WITH SCORE 143872.359
AT ITER 2280 NEW BEST:: SOT 401808 SOS 202253 HAS SOPS 202253 HAS SOUS 143617 HAS SOUPS 143617 WITH SCORE 143819.253
AT ITER 2286 NEW BEST:: SOT 401736 SOS 202189 HAS SOPS 202189 HAS SOUS 143553 HAS SOUPS 143553 WITH SCORE 143755.189
AT ITER 2303 NEW BEST:: SOT 401725 SOS 203392 HAS SOPS 203392 HAS SOUS 143551 HAS SOUPS 143551 WITH SCORE 143754.392
AT ITER 2308 NEW BEST:: SOT 401725 SOS 203352 HAS SOPS 203352 HAS SOUS 143511 HAS SOUPS 143511 WITH SCORE 143714.352
AT ITER 2313 NEW BEST:: SOT 401350 SOS 203212 HAS SOPS 203212 HAS SOUS 143036 HAS SOUPS 143036 WITH SCORE 143239.212
AT ITER 2332 NEW BEST:: SOT 401350 SOS 203196 HAS SOPS 203196 HAS SOUS 143036 HAS SOUPS 143036 WITH SCORE 143239.196
AT ITER 2351 NEW BEST:: SOT 401191 SOS 203120 HAS SOPS 203120 HAS SOUS 142898 HAS SOUPS 142898 WITH SCORE 143101.12
AT ITER 2355 NEW BEST:: SOT 401133 SOS 203006 HAS SOPS 203006 HAS SOUS 142840 HAS SOUPS 142840 WITH SCORE 143043.006
AT ITER 2362 NEW BEST:: SOT 401039 SOS 202801 HAS SOPS 202801 HAS SOUS 142635 HAS SOUPS 142635 WITH SCORE 142837.801
AT ITER 2365 NEW BEST:: SOT 400915 SOS 202585 HAS SOPS 202585 HAS SOUS 142350 HAS SOUPS 142350 WITH SCORE 142552.585
AT ITER 2411 NEW BEST:: SOT 400755 SOS 202425 HAS SOPS 202425 HAS SOUS 142190 HAS SOUPS 142190 WITH SCORE 142392.425
AT ITER 2413 NEW BEST:: SOT 400663 SOS 202333 HAS SOPS 202333 HAS SOUS 142134 HAS SOUPS 142134 WITH SCORE 142336.333
AT ITER 2418 NEW BEST:: SOT 400663 SOS 202340 HAS SOPS 202340 HAS SOUS 142132 HAS SOUPS 142132 WITH SCORE 142334.34
AT ITER 2436 NEW BEST:: SOT 400365 SOS 202602 HAS SOPS 202602 HAS SOUS 141954 HAS SOUPS 141954 WITH SCORE 142156.602
AT ITER 2440 NEW BEST:: SOT 400279 SOS 202473 HAS SOPS 202473 HAS SOUS 141829 HAS SOUPS 141829 WITH SCORE 142031.473
AT ITER 2446 NEW BEST:: SOT 400270 SOS 202442 HAS SOPS 202442 HAS SOUS 141811 HAS SOUPS 141811 WITH SCORE 142013.442
AT ITER 2449 NEW BEST:: SOT 400261 SOS 202428 HAS SOPS 202428 HAS SOUS 141797 HAS SOUPS 141797 WITH SCORE 141999.428
AT ITER 2455 NEW BEST:: SOT 400320 SOS 202471 HAS SOPS 202471 HAS SOUS 141739 HAS SOUPS 141739 WITH SCORE 141941.471
AT ITER 2463 NEW BEST:: SOT 400129 SOS 202280 HAS SOPS 202280 HAS SOUS 141548 HAS SOUPS 141548 WITH SCORE 141750.28
AT ITER 2469 NEW BEST:: SOT 400121 SOS 202264 HAS SOPS 202264 HAS SOUS 141532 HAS SOUPS 141532 WITH SCORE 141734.264
AT ITER 2481 NEW BEST:: SOT 400121 SOS 202250 HAS SOPS 202250 HAS SOUS 141532 HAS SOUPS 141532 WITH SCORE 141734.25
AT ITER 2528 NEW BEST:: SOT 399950 SOS 202079 HAS SOPS 202079 HAS SOUS 141268 HAS SOUPS 141268 WITH SCORE 141470.079
AT ITER 2534 NEW BEST:: SOT 399950 SOS 202057 HAS SOPS 202057 HAS SOUS 141268 HAS SOUPS 141268 WITH SCORE 141470.057
AT ITER 2536 NEW BEST:: SOT 399896 SOS 202003 HAS SOPS 202003 HAS SOUS 141228 HAS SOUPS 141228 WITH SCORE 141430.003
AT ITER 2538 NEW BEST:: SOT 399818 SOS 201925 HAS SOPS 201925 HAS SOUS 141189 HAS SOUPS 141189 WITH SCORE 141390.925
AT ITER 2547 NEW BEST:: SOT 399663 SOS 201836 HAS SOPS 201836 HAS SOUS 141078 HAS SOUPS 141078 WITH SCORE 141279.836
AT ITER 2548 NEW BEST:: SOT 399654 SOS 201818 HAS SOPS 201818 HAS SOUS 141060 HAS SOUPS 141060 WITH SCORE 141261.818
AT ITER 2555 NEW BEST:: SOT 399634 SOS 201798 HAS SOPS 201798 HAS SOUS 141020 HAS SOUPS 141020 WITH SCORE 141221.798
AT ITER 2560 NEW BEST:: SOT 399634 SOS 201756 HAS SOPS 201756 HAS SOUS 141020 HAS SOUPS 141020 WITH SCORE 141221.756
AT ITER 2564 NEW BEST:: SOT 399632 SOS 201752 HAS SOPS 201752 HAS SOUS 141016 HAS SOUPS 141016 WITH SCORE 141217.752
AT ITER 2586 NEW BEST:: SOT 399609 SOS 201729 HAS SOPS 201729 HAS SOUS 140993 HAS SOUPS 140993 WITH SCORE 141194.729
AT ITER 2612 NEW BEST:: SOT 399592 SOS 201718 HAS SOPS 201718 HAS SOUS 140982 HAS SOUPS 140982 WITH SCORE 141183.718
AT ITER 2620 NEW BEST:: SOT 399592 SOS 201531 HAS SOPS 201531 HAS SOUS 140948 HAS SOUPS 140948 WITH SCORE 141149.531
AT ITER 2624 NEW BEST:: SOT 399555 SOS 201494 HAS SOPS 201494 HAS SOUS 140948 HAS SOUPS 140948 WITH SCORE 141149.494
AT ITER 2628 NEW BEST:: SOT 399572 SOS 201511 HAS SOPS 201511 HAS SOUS 140917 HAS SOUPS 140917 WITH SCORE 141118.511
AT ITER 2637 NEW BEST:: SOT 399572 SOS 201506 HAS SOPS 201506 HAS SOUS 140912 HAS SOUPS 140912 WITH SCORE 141113.506
AT ITER 2645 NEW BEST:: SOT 399568 SOS 201387 HAS SOPS 201387 HAS SOUS 140793 HAS SOUPS 140793 WITH SCORE 140994.387
AT ITER 2674 NEW BEST:: SOT 399494 SOS 201313 HAS SOPS 201313 HAS SOUS 140719 HAS SOUPS 140719 WITH SCORE 140920.313
AT ITER 2682 NEW BEST:: SOT 399639 SOS 200189 HAS SOPS 200189 HAS SOUS 140669 HAS SOUPS 140669 WITH SCORE 140869.189
AT ITER 2683 NEW BEST:: SOT 399685 SOS 200235 HAS SOPS 200235 HAS SOUS 140441 HAS SOUPS 140441 WITH SCORE 140641.235
AT ITER 2686 NEW BEST:: SOT 399673 SOS 200229 HAS SOPS 200229 HAS SOUS 140435 HAS SOUPS 140435 WITH SCORE 140635.229
AT ITER 2691 NEW BEST:: SOT 399375 SOS 200135 HAS SOPS 200135 HAS SOUS 140306 HAS SOUPS 140306 WITH SCORE 140506.135
AT ITER 2701 NEW BEST:: SOT 399370 SOS 200029 HAS SOPS 200029 HAS SOUS 140299 HAS SOUPS 140299 WITH SCORE 140499.029
AT ITER 2714 NEW BEST:: SOT 399331 SOS 199990 HAS SOPS 199990 HAS SOUS 140216 HAS SOUPS 140216 WITH SCORE 140415.99
AT ITER 2720 NEW BEST:: SOT 399201 SOS 200311 HAS SOPS 200311 HAS SOUS 140137 HAS SOUPS 140137 WITH SCORE 140337.311
AT ITER 2723 NEW BEST:: SOT 399197 SOS 200307 HAS SOPS 200307 HAS SOUS 140133 HAS SOUPS 140133 WITH SCORE 140333.307
AT ITER 2747 NEW BEST:: SOT 399197 SOS 200280 HAS SOPS 200280 HAS SOUS 140133 HAS SOUPS 140133 WITH SCORE 140333.28
AT ITER 2748 NEW BEST:: SOT 399170 SOS 200253 HAS SOPS 200253 HAS SOUS 140133 HAS SOUPS 140133 WITH SCORE 140333.253
AT ITER 2775 NEW BEST:: SOT 399145 SOS 199150 HAS SOPS 199150 HAS SOUS 140104 HAS SOUPS 140104 WITH SCORE 140303.15
AT ITER 2776 NEW BEST:: SOT 399168 SOS 199173 HAS SOPS 199173 HAS SOUS 140098 HAS SOUPS 140098 WITH SCORE 140297.173
AT ITER 2778 NEW BEST:: SOT 399108 SOS 199053 HAS SOPS 199053 HAS SOUS 140038 HAS SOUPS 140038 WITH SCORE 140237.053
AT ITER 2792 NEW BEST:: SOT 399156 SOS 198935 HAS SOPS 198935 HAS SOUS 139920 HAS SOUPS 139920 WITH SCORE 140118.935
AT ITER 2794 NEW BEST:: SOT 399156 SOS 198926 HAS SOPS 198926 HAS SOUS 139911 HAS SOUPS 139911 WITH SCORE 140109.926
AT ITER 2796 NEW BEST:: SOT 399156 SOS 198833 HAS SOPS 198833 HAS SOUS 139911 HAS SOUPS 139911 WITH SCORE 140109.833
AT ITER 2804 NEW BEST:: SOT 399118 SOS 198897 HAS SOPS 198897 HAS SOUS 139905 HAS SOUPS 139905 WITH SCORE 140103.897
AT ITER 2810 NEW BEST:: SOT 399004 SOS 198488 HAS SOPS 198488 HAS SOUS 139721 HAS SOUPS 139721 WITH SCORE 139919.488
AT ITER 2831 NEW BEST:: SOT 398997 SOS 198474 HAS SOPS 198474 HAS SOUS 139714 HAS SOUPS 139714 WITH SCORE 139912.474
AT ITER 2834 NEW BEST:: SOT 398979 SOS 198356 HAS SOPS 198356 HAS SOUS 139596 HAS SOUPS 139596 WITH SCORE 139794.356
AT ITER 2835 NEW BEST:: SOT 398748 SOS 198125 HAS SOPS 198125 HAS SOUS 139478 HAS SOUPS 139478 WITH SCORE 139676.125
AT ITER 2850 NEW BEST:: SOT 398744 SOS 198121 HAS SOPS 198121 HAS SOUS 139470 HAS SOUPS 139470 WITH SCORE 139668.121
AT ITER 2859 NEW BEST:: SOT 398736 SOS 198113 HAS SOPS 198113 HAS SOUS 139462 HAS SOUPS 139462 WITH SCORE 139660.113
AT ITER 2873 NEW BEST:: SOT 398656 SOS 198033 HAS SOPS 198033 HAS SOUS 139382 HAS SOUPS 139382 WITH SCORE 139580.033
AT ITER 2874 NEW BEST:: SOT 398532 SOS 197716 HAS SOPS 197716 HAS SOUS 139134 HAS SOUPS 139134 WITH SCORE 139331.716
AT ITER 2877 NEW BEST:: SOT 398660 SOS 197844 HAS SOPS 197844 HAS SOUS 138971 HAS SOUPS 138971 WITH SCORE 139168.844
AT ITER 2884 NEW BEST:: SOT 398563 SOS 198260 HAS SOPS 198260 HAS SOUS 138925 HAS SOUPS 138925 WITH SCORE 139123.26
AT ITER 2885 NEW BEST:: SOT 398546 SOS 199278 HAS SOPS 199278 HAS SOUS 138909 HAS SOUPS 138909 WITH SCORE 139108.278
AT ITER 2896 NEW BEST:: SOT 398546 SOS 199278 HAS SOPS 199278 HAS SOUS 138827 HAS SOUPS 138827 WITH SCORE 139026.278
AT ITER 2900 NEW BEST:: SOT 398378 SOS 199110 HAS SOPS 199110 HAS SOUS 138566 HAS SOUPS 138566 WITH SCORE 138765.11
AT ITER 2902 NEW BEST:: SOT 398320 SOS 199052 HAS SOPS 199052 HAS SOUS 138508 HAS SOUPS 138508 WITH SCORE 138707.052
AT ITER 2907 NEW BEST:: SOT 398331 SOS 199063 HAS SOPS 199063 HAS SOUS 138487 HAS SOUPS 138487 WITH SCORE 138686.063
AT ITER 2918 NEW BEST:: SOT 398312 SOS 199044 HAS SOPS 199044 HAS SOUS 138487 HAS SOUPS 138487 WITH SCORE 138686.044
AT ITER 2919 NEW BEST:: SOT 398312 SOS 198938 HAS SOPS 198938 HAS SOUS 138434 HAS SOUPS 138434 WITH SCORE 138632.938
AT ITER 2924 NEW BEST:: SOT 398323 SOS 198685 HAS SOPS 198685 HAS SOUS 138409 HAS SOUPS 138409 WITH SCORE 138607.685
AT ITER 2936 NEW BEST:: SOT 398271 SOS 198762 HAS SOPS 198762 HAS SOUS 138305 HAS SOUPS 138305 WITH SCORE 138503.762
AT ITER 2944 NEW BEST:: SOT 398129 SOS 198620 HAS SOPS 198620 HAS SOUS 138195 HAS SOUPS 138195 WITH SCORE 138393.62
AT ITER 2949 NEW BEST:: SOT 398140 SOS 198502 HAS SOPS 198502 HAS SOUS 138077 HAS SOUPS 138077 WITH SCORE 138275.502
AT ITER 2966 NEW BEST:: SOT 398074 SOS 198401 HAS SOPS 198401 HAS SOUS 137980 HAS SOUPS 137980 WITH SCORE 138178.401
AT ITER 2985 NEW BEST:: SOT 397993 SOS 198408 HAS SOPS 198408 HAS SOUS 137914 HAS SOUPS 137914 WITH SCORE 138112.408
AT ITER 2991 NEW BEST:: SOT 397889 SOS 198304 HAS SOPS 198304 HAS SOUS 137787 HAS SOUPS 137787 WITH SCORE 137985.304
AT ITER 3017 NEW BEST:: SOT 397865 SOS 198280 HAS SOPS 198280 HAS SOUS 137763 HAS SOUPS 137763 WITH SCORE 137961.28
AT ITER 3044 NEW BEST:: SOT 397863 SOS 198245 HAS SOPS 198245 HAS SOUS 137761 HAS SOUPS 137761 WITH SCORE 137959.245
AT ITER 3058 NEW BEST:: SOT 397794 SOS 197260 HAS SOPS 197260 HAS SOUS 137656 HAS SOUPS 137656 WITH SCORE 137853.26
AT ITER 3066 NEW BEST:: SOT 397766 SOS 197232 HAS SOPS 197232 HAS SOUS 137600 HAS SOUPS 137600 WITH SCORE 137797.232
AT ITER 3077 NEW BEST:: SOT 397861 SOS 197327 HAS SOPS 197327 HAS SOUS 137589 HAS SOUPS 137589 WITH SCORE 137786.327
AT ITER 3080 NEW BEST:: SOT 397977 SOS 195887 HAS SOPS 195887 HAS SOUS 137480 HAS SOUPS 137480 WITH SCORE 137675.887
AT ITER 3092 NEW BEST:: SOT 397932 SOS 195842 HAS SOPS 195842 HAS SOUS 137390 HAS SOUPS 137390 WITH SCORE 137585.842
AT ITER 3095 NEW BEST:: SOT 397912 SOS 195791 HAS SOPS 195791 HAS SOUS 137381 HAS SOUPS 137381 WITH SCORE 137576.791
AT ITER 3125 NEW BEST:: SOT 397912 SOS 195750 HAS SOPS 195750 HAS SOUS 137340 HAS SOUPS 137340 WITH SCORE 137535.75
AT ITER 3139 NEW BEST:: SOT 396958 SOS 194151 HAS SOPS 194151 HAS SOUS 136486 HAS SOUPS 136486 WITH SCORE 136680.151
AT ITER 3145 NEW BEST:: SOT 396766 SOS 194111 HAS SOPS 194111 HAS SOUS 136221 HAS SOUPS 136221 WITH SCORE 136415.111
AT ITER 3153 NEW BEST:: SOT 396696 SOS 194111 HAS SOPS 194111 HAS SOUS 136151 HAS SOUPS 136151 WITH SCORE 136345.111
AT ITER 3187 NEW BEST:: SOT 396638 SOS 193995 HAS SOPS 193995 HAS SOUS 136093 HAS SOUPS 136093 WITH SCORE 136286.995
AT ITER 3224 NEW BEST:: SOT 396662 SOS 194062 HAS SOPS 194062 HAS SOUS 136087 HAS SOUPS 136087 WITH SCORE 136281.062
AT ITER 3225 NEW BEST:: SOT 396662 SOS 194056 HAS SOPS 194056 HAS SOUS 136081 HAS SOUPS 136081 WITH SCORE 136275.056
AT ITER 3226 NEW BEST:: SOT 396654 SOS 194048 HAS SOPS 194048 HAS SOUS 136073 HAS SOUPS 136073 WITH SCORE 136267.048
AT ITER 3238 NEW BEST:: SOT 396767 SOS 194141 HAS SOPS 194141 HAS SOUS 136036 HAS SOUPS 136036 WITH SCORE 136230.141
AT ITER 3252 NEW BEST:: SOT 396802 SOS 194598 HAS SOPS 194598 HAS SOUS 135975 HAS SOUPS 135975 WITH SCORE 136169.598
AT ITER 3261 NEW BEST:: SOT 396511 SOS 195212 HAS SOPS 195212 HAS SOUS 135818 HAS SOUPS 135818 WITH SCORE 136013.212
AT ITER 3285 NEW BEST:: SOT 396490 SOS 195149 HAS SOPS 195149 HAS SOUS 135776 HAS SOUPS 135776 WITH SCORE 135971.149
AT ITER 3300 NEW BEST:: SOT 396490 SOS 195143 HAS SOPS 195143 HAS SOUS 135770 HAS SOUPS 135770 WITH SCORE 135965.143
AT ITER 3309 NEW BEST:: SOT 396462 SOS 195115 HAS SOPS 195115 HAS SOUS 135742 HAS SOUPS 135742 WITH SCORE 135937.115
AT ITER 3311 NEW BEST:: SOT 396462 SOS 195106 HAS SOPS 195106 HAS SOUS 135733 HAS SOUPS 135733 WITH SCORE 135928.106
AT ITER 3320 NEW BEST:: SOT 396462 SOS 195015 HAS SOPS 195015 HAS SOUS 135720 HAS SOUPS 135720 WITH SCORE 135915.015
AT ITER 3374 NEW BEST:: SOT 396462 SOS 195011 HAS SOPS 195011 HAS SOUS 135716 HAS SOUPS 135716 WITH SCORE 135911.011
AT ITER 3389 NEW BEST:: SOT 396450 SOS 194999 HAS SOPS 194999 HAS SOUS 135704 HAS SOUPS 135704 WITH SCORE 135898.999
AT ITER 3399 NEW BEST:: SOT 396458 SOS 194908 HAS SOPS 194908 HAS SOUS 135690 HAS SOUPS 135690 WITH SCORE 135884.908
AT ITER 3410 NEW BEST:: SOT 396315 SOS 194765 HAS SOPS 194765 HAS SOUS 135522 HAS SOUPS 135522 WITH SCORE 135716.765
AT ITER 3443 NEW BEST:: SOT 396293 SOS 194732 HAS SOPS 194732 HAS SOUS 135489 HAS SOUPS 135489 WITH SCORE 135683.732
AT ITER 3446 NEW BEST:: SOT 396236 SOS 194675 HAS SOPS 194675 HAS SOUS 135470 HAS SOUPS 135470 WITH SCORE 135664.675
AT ITER 3452 NEW BEST:: SOT 396225 SOS 194664 HAS SOPS 194664 HAS SOUS 135470 HAS SOUPS 135470 WITH SCORE 135664.664
AT ITER 3461 NEW BEST:: SOT 396304 SOS 194743 HAS SOPS 194743 HAS SOUS 135461 HAS SOUPS 135461 WITH SCORE 135655.743
AT ITER 3485 NEW BEST:: SOT 396206 SOS 194762 HAS SOPS 194762 HAS SOUS 135444 HAS SOUPS 135444 WITH SCORE 135638.762
AT ITER 3486 NEW BEST:: SOT 395870 SOS 195106 HAS SOPS 195106 HAS SOUS 135188 HAS SOUPS 135188 WITH SCORE 135383.106
AT ITER 3487 NEW BEST:: SOT 395865 SOS 195089 HAS SOPS 195089 HAS SOUS 135178 HAS SOUPS 135178 WITH SCORE 135373.089
AT ITER 3512 NEW BEST:: SOT 395865 SOS 195088 HAS SOPS 195088 HAS SOUS 135048 HAS SOUPS 135048 WITH SCORE 135243.088
AT ITER 3520 NEW BEST:: SOT 395823 SOS 194885 HAS SOPS 194885 HAS SOUS 134745 HAS SOUPS 134745 WITH SCORE 134939.885
AT ITER 3532 NEW BEST:: SOT 395740 SOS 194907 HAS SOPS 194907 HAS SOUS 134691 HAS SOUPS 134691 WITH SCORE 134885.907
AT ITER 3541 NEW BEST:: SOT 395888 SOS 195017 HAS SOPS 195017 HAS SOUS 134681 HAS SOUPS 134681 WITH SCORE 134876.017
AT ITER 3546 NEW BEST:: SOT 395853 SOS 194947 HAS SOPS 194947 HAS SOUS 134646 HAS SOUPS 134646 WITH SCORE 134840.947
AT ITER 3548 NEW BEST:: SOT 395839 SOS 194845 HAS SOPS 194845 HAS SOUS 134618 HAS SOUPS 134618 WITH SCORE 134812.845
AT ITER 3571 NEW BEST:: SOT 395876 SOS 194882 HAS SOPS 194882 HAS SOUS 134577 HAS SOUPS 134577 WITH SCORE 134771.882
AT ITER 3581 NEW BEST:: SOT 395855 SOS 194878 HAS SOPS 194878 HAS SOUS 134573 HAS SOUPS 134573 WITH SCORE 134767.878
AT ITER 3585 NEW BEST:: SOT 395705 SOS 194625 HAS SOPS 194625 HAS SOUS 134358 HAS SOUPS 134358 WITH SCORE 134552.625
AT ITER 3589 NEW BEST:: SOT 395625 SOS 194545 HAS SOPS 194545 HAS SOUS 134334 HAS SOUPS 134334 WITH SCORE 134528.545
AT ITER 3598 NEW BEST:: SOT 395510 SOS 194430 HAS SOPS 194430 HAS SOUS 134219 HAS SOUPS 134219 WITH SCORE 134413.43
AT ITER 3608 NEW BEST:: SOT 395466 SOS 194386 HAS SOPS 194386 HAS SOUS 134193 HAS SOUPS 134193 WITH SCORE 134387.386
AT ITER 3625 NEW BEST:: SOT 395366 SOS 194494 HAS SOPS 194494 HAS SOUS 134181 HAS SOUPS 134181 WITH SCORE 134375.494
AT ITER 3644 NEW BEST:: SOT 395339 SOS 194467 HAS SOPS 194467 HAS SOUS 134144 HAS SOUPS 134144 WITH SCORE 134338.467
AT ITER 3664 NEW BEST:: SOT 395088 SOS 194549 HAS SOPS 194549 HAS SOUS 134100 HAS SOUPS 134100 WITH SCORE 134294.549
AT ITER 3669 NEW BEST:: SOT 395046 SOS 194445 HAS SOPS 194445 HAS SOUS 134016 HAS SOUPS 134016 WITH SCORE 134210.445
AT ITER 3671 NEW BEST:: SOT 395081 SOS 194480 HAS SOPS 194480 HAS SOUS 133951 HAS SOUPS 133951 WITH SCORE 134145.48
AT ITER 3674 NEW BEST:: SOT 394975 SOS 194440 HAS SOPS 194440 HAS SOUS 133860 HAS SOUPS 133860 WITH SCORE 134054.44
AT ITER 3679 NEW BEST:: SOT 394953 SOS 194418 HAS SOPS 194418 HAS SOUS 133838 HAS SOUPS 133838 WITH SCORE 134032.418
AT ITER 3702 NEW BEST:: SOT 394935 SOS 194424 HAS SOPS 194424 HAS SOUS 133820 HAS SOUPS 133820 WITH SCORE 134014.424
AT ITER 3706 NEW BEST:: SOT 394935 SOS 194419 HAS SOPS 194419 HAS SOUS 133820 HAS SOUPS 133820 WITH SCORE 134014.419
AT ITER 3734 NEW BEST:: SOT 394908 SOS 194392 HAS SOPS 194392 HAS SOUS 133708 HAS SOUPS 133708 WITH SCORE 133902.392
AT ITER 3791 NEW BEST:: SOT 394908 SOS 194368 HAS SOPS 194368 HAS SOUS 133702 HAS SOUPS 133702 WITH SCORE 133896.368
AT ITER 3794 NEW BEST:: SOT 394929 SOS 194394 HAS SOPS 194394 HAS SOUS 133686 HAS SOUPS 133686 WITH SCORE 133880.394
AT ITER 3804 NEW BEST:: SOT 394899 SOS 194224 HAS SOPS 194224 HAS SOUS 133626 HAS SOUPS 133626 WITH SCORE 133820.224
AT ITER 3811 NEW BEST:: SOT 394902 SOS 193822 HAS SOPS 193822 HAS SOUS 133509 HAS SOUPS 133509 WITH SCORE 133702.822
AT ITER 3813 NEW BEST:: SOT 394972 SOS 193928 HAS SOPS 193928 HAS SOUS 133472 HAS SOUPS 133472 WITH SCORE 133665.928
AT ITER 3832 NEW BEST:: SOT 394972 SOS 193928 HAS SOPS 193928 HAS SOUS 133453 HAS SOUPS 133453 WITH SCORE 133646.928
AT ITER 3833 NEW BEST:: SOT 394574 SOS 194174 HAS SOPS 194174 HAS SOUS 133169 HAS SOUPS 133169 WITH SCORE 133363.174
AT ITER 3834 NEW BEST:: SOT 394566 SOS 194158 HAS SOPS 194158 HAS SOUS 133161 HAS SOUPS 133161 WITH SCORE 133355.158
AT ITER 3838 NEW BEST:: SOT 394555 SOS 194192 HAS SOPS 194192 HAS SOUS 133139 HAS SOUPS 133139 WITH SCORE 133333.192
AT ITER 3842 NEW BEST:: SOT 394605 SOS 194242 HAS SOPS 194242 HAS SOUS 133064 HAS SOUPS 133064 WITH SCORE 133258.242
AT ITER 3849 NEW BEST:: SOT 394491 SOS 194068 HAS SOPS 194068 HAS SOUS 132836 HAS SOUPS 132836 WITH SCORE 133030.068
AT ITER 3853 NEW BEST:: SOT 394491 SOS 194068 HAS SOPS 194068 HAS SOUS 132835 HAS SOUPS 132835 WITH SCORE 133029.068
AT ITER 3854 NEW BEST:: SOT 394491 SOS 194057 HAS SOPS 194057 HAS SOUS 132811 HAS SOUPS 132811 WITH SCORE 133005.057
AT ITER 3868 NEW BEST:: SOT 394316 SOS 193882 HAS SOPS 193882 HAS SOUS 132554 HAS SOUPS 132554 WITH SCORE 132747.882
AT ITER 3878 NEW BEST:: SOT 394444 SOS 194179 HAS SOPS 194179 HAS SOUS 132553 HAS SOUPS 132553 WITH SCORE 132747.179
AT ITER 3903 NEW BEST:: SOT 394336 SOS 194667 HAS SOPS 194667 HAS SOUS 132351 HAS SOUPS 132351 WITH SCORE 132545.667
AT ITER 3942 NEW BEST:: SOT 394336 SOS 194642 HAS SOPS 194642 HAS SOUS 132351 HAS SOUPS 132351 WITH SCORE 132545.642
AT ITER 3962 NEW BEST:: SOT 394334 SOS 194652 HAS SOPS 194652 HAS SOUS 132349 HAS SOUPS 132349 WITH SCORE 132543.652
AT ITER 3975 NEW BEST:: SOT 394333 SOS 194650 HAS SOPS 194650 HAS SOUS 132347 HAS SOUPS 132347 WITH SCORE 132541.65
AT ITER 3981 NEW BEST:: SOT 394209 SOS 195019 HAS SOPS 195019 HAS SOUS 132309 HAS SOUPS 132309 WITH SCORE 132504.019
AT ITER 3995 NEW BEST:: SOT 394202 SOS 195005 HAS SOPS 195005 HAS SOUS 132295 HAS SOUPS 132295 WITH SCORE 132490.005
AT ITER 4000 NEW BEST:: SOT 394245 SOS 194910 HAS SOPS 194910 HAS SOUS 132265 HAS SOUPS 132265 WITH SCORE 132459.91
AT ITER 4020 NEW BEST:: SOT 394218 SOS 194883 HAS SOPS 194883 HAS SOUS 132211 HAS SOUPS 132211 WITH SCORE 132405.883
AT ITER 4026 NEW BEST:: SOT 394306 SOS 194971 HAS SOPS 194971 HAS SOUS 132118 HAS SOUPS 132118 WITH SCORE 132312.971
AT ITER 4045 NEW BEST:: SOT 394298 SOS 194955 HAS SOPS 194955 HAS SOUS 132102 HAS SOUPS 132102 WITH SCORE 132296.955
AT ITER 4061 NEW BEST:: SOT 394181 SOS 194772 HAS SOPS 194772 HAS SOUS 131919 HAS SOUPS 131919 WITH SCORE 132113.772
AT ITER 4079 NEW BEST:: SOT 394191 SOS 194787 HAS SOPS 194787 HAS SOUS 131911 HAS SOUPS 131911 WITH SCORE 132105.787
AT ITER 4084 NEW BEST:: SOT 394191 SOS 194795 HAS SOPS 194795 HAS SOUS 131907 HAS SOUPS 131907 WITH SCORE 132101.795
AT ITER 4096 NEW BEST:: SOT 394160 SOS 194702 HAS SOPS 194702 HAS SOUS 131895 HAS SOUPS 131895 WITH SCORE 132089.702
AT ITER 4108 NEW BEST:: SOT 394133 SOS 194637 HAS SOPS 194637 HAS SOUS 131830 HAS SOUPS 131830 WITH SCORE 132024.637
AT ITER 4126 NEW BEST:: SOT 394133 SOS 194633 HAS SOPS 194633 HAS SOUS 131826 HAS SOUPS 131826 WITH SCORE 132020.633
AT ITER 4127 NEW BEST:: SOT 394114 SOS 194610 HAS SOPS 194610 HAS SOUS 131750 HAS SOUPS 131750 WITH SCORE 131944.61
AT ITER 4130 NEW BEST:: SOT 394114 SOS 194463 HAS SOPS 194463 HAS SOUS 131750 HAS SOUPS 131750 WITH SCORE 131944.463
AT ITER 4131 NEW BEST:: SOT 394233 SOS 194580 HAS SOPS 194580 HAS SOUS 131748 HAS SOUPS 131748 WITH SCORE 131942.58
AT ITER 4133 NEW BEST:: SOT 394210 SOS 194557 HAS SOPS 194557 HAS SOUS 131702 HAS SOUPS 131702 WITH SCORE 131896.557
AT ITER 4135 NEW BEST:: SOT 394187 SOS 194511 HAS SOPS 194511 HAS SOUS 131656 HAS SOUPS 131656 WITH SCORE 131850.511
AT ITER 4159 NEW BEST:: SOT 394185 SOS 194507 HAS SOPS 194507 HAS SOUS 131652 HAS SOUPS 131652 WITH SCORE 131846.507
AT ITER 4179 NEW BEST:: SOT 394174 SOS 194496 HAS SOPS 194496 HAS SOUS 131630 HAS SOUPS 131630 WITH SCORE 131824.496
AT ITER 4180 NEW BEST:: SOT 394163 SOS 194498 HAS SOPS 194498 HAS SOUS 131608 HAS SOUPS 131608 WITH SCORE 131802.498
AT ITER 4200 NEW BEST:: SOT 394137 SOS 194442 HAS SOPS 194442 HAS SOUS 131556 HAS SOUPS 131556 WITH SCORE 131750.442
AT ITER 4204 NEW BEST:: SOT 394151 SOS 194350 HAS SOPS 194350 HAS SOUS 131464 HAS SOUPS 131464 WITH SCORE 131658.35
AT ITER 4206 NEW BEST:: SOT 394126 SOS 194325 HAS SOPS 194325 HAS SOUS 131417 HAS SOUPS 131417 WITH SCORE 131611.325
AT ITER 4256 NEW BEST:: SOT 394111 SOS 194295 HAS SOPS 194295 HAS SOUS 131387 HAS SOUPS 131387 WITH SCORE 131581.295
AT ITER 4257 NEW BEST:: SOT 394230 SOS 194414 HAS SOPS 194414 HAS SOUS 131297 HAS SOUPS 131297 WITH SCORE 131491.414
AT ITER 4258 NEW BEST:: SOT 394267 SOS 194451 HAS SOPS 194451 HAS SOUS 131154 HAS SOUPS 131154 WITH SCORE 131348.451
AT ITER 4344 NEW BEST:: SOT 394272 SOS 194456 HAS SOPS 194456 HAS SOUS 131032 HAS SOUPS 131032 WITH SCORE 131226.456
AT ITER 4399 NEW BEST:: SOT 394215 SOS 194425 HAS SOPS 194425 HAS SOUS 130918 HAS SOUPS 130918 WITH SCORE 131112.425
AT ITER 4403 NEW BEST:: SOT 394215 SOS 194411 HAS SOPS 194411 HAS SOUS 130904 HAS SOUPS 130904 WITH SCORE 131098.411
AT ITER 4412 NEW BEST:: SOT 394209 SOS 194405 HAS SOPS 194405 HAS SOUS 130892 HAS SOUPS 130892 WITH SCORE 131086.405
AT ITER 4488 NEW BEST:: SOT 394187 SOS 194383 HAS SOPS 194383 HAS SOUS 130849 HAS SOUPS 130849 WITH SCORE 131043.383
AT ITER 4490 NEW BEST:: SOT 394141 SOS 194310 HAS SOPS 194310 HAS SOUS 130776 HAS SOUPS 130776 WITH SCORE 130970.31
AT ITER 4493 NEW BEST:: SOT 394329 SOS 194305 HAS SOPS 194305 HAS SOUS 130771 HAS SOUPS 130771 WITH SCORE 130965.305
AT ITER 4494 NEW BEST:: SOT 394229 SOS 195195 HAS SOPS 195195 HAS SOUS 130761 HAS SOUPS 130761 WITH SCORE 130956.195
AT ITER 4496 NEW BEST:: SOT 394213 SOS 195179 HAS SOPS 195179 HAS SOUS 130742 HAS SOUPS 130742 WITH SCORE 130937.179
AT ITER 4502 NEW BEST:: SOT 393942 SOS 195004 HAS SOPS 195004 HAS SOUS 130455 HAS SOUPS 130455 WITH SCORE 130650.004
AT ITER 4512 NEW BEST:: SOT 393903 SOS 194965 HAS SOPS 194965 HAS SOUS 130455 HAS SOUPS 130455 WITH SCORE 130649.965
AT ITER 4524 NEW BEST:: SOT 393903 SOS 194955 HAS SOPS 194955 HAS SOUS 130445 HAS SOUPS 130445 WITH SCORE 130639.955
AT ITER 4527 NEW BEST:: SOT 393221 SOS 196863 HAS SOPS 196863 HAS SOUS 130064 HAS SOUPS 130064 WITH SCORE 130260.863
AT ITER 4547 NEW BEST:: SOT 393212 SOS 196854 HAS SOPS 196854 HAS SOUS 130051 HAS SOUPS 130051 WITH SCORE 130247.854
AT ITER 4558 NEW BEST:: SOT 393178 SOS 196825 HAS SOPS 196825 HAS SOUS 130022 HAS SOUPS 130022 WITH SCORE 130218.825
AT ITER 4575 NEW BEST:: SOT 393175 SOS 196825 HAS SOPS 196825 HAS SOUS 130019 HAS SOUPS 130019 WITH SCORE 130215.825
AT ITER 4592 NEW BEST:: SOT 393159 SOS 196809 HAS SOPS 196809 HAS SOUS 130003 HAS SOUPS 130003 WITH SCORE 130199.809
AT ITER 4594 NEW BEST:: SOT 393145 SOS 196795 HAS SOPS 196795 HAS SOUS 129975 HAS SOUPS 129975 WITH SCORE 130171.795
AT ITER 4599 NEW BEST:: SOT 393105 SOS 196610 HAS SOPS 196610 HAS SOUS 129790 HAS SOUPS 129790 WITH SCORE 129986.61
AT ITER 4603 NEW BEST:: SOT 393049 SOS 196554 HAS SOPS 196554 HAS SOUS 129678 HAS SOUPS 129678 WITH SCORE 129874.554
AT ITER 4606 NEW BEST:: SOT 393063 SOS 196578 HAS SOPS 196578 HAS SOUS 129667 HAS SOUPS 129667 WITH SCORE 129863.578
AT ITER 4611 NEW BEST:: SOT 393063 SOS 196573 HAS SOPS 196573 HAS SOUS 129662 HAS SOUPS 129662 WITH SCORE 129858.573
AT ITER 4616 NEW BEST:: SOT 393049 SOS 196559 HAS SOPS 196559 HAS SOUS 129614 HAS SOUPS 129614 WITH SCORE 129810.559
AT ITER 4630 NEW BEST:: SOT 393039 SOS 196549 HAS SOPS 196549 HAS SOUS 129604 HAS SOUPS 129604 WITH SCORE 129800.549
AT ITER 4637 NEW BEST:: SOT 393039 SOS 196549 HAS SOPS 196549 HAS SOUS 129567 HAS SOUPS 129567 WITH SCORE 129763.549
AT ITER 4648 NEW BEST:: SOT 393024 SOS 196534 HAS SOPS 196534 HAS SOUS 129534 HAS SOUPS 129534 WITH SCORE 129730.534
AT ITER 4674 NEW BEST:: SOT 393024 SOS 196460 HAS SOPS 196460 HAS SOUS 129460 HAS SOUPS 129460 WITH SCORE 129656.46
AT ITER 4676 NEW BEST:: SOT 392944 SOS 196380 HAS SOPS 196380 HAS SOUS 129380 HAS SOUPS 129380 WITH SCORE 129576.38
AT ITER 4681 NEW BEST:: SOT 392944 SOS 196378 HAS SOPS 196378 HAS SOUS 129380 HAS SOUPS 129380 WITH SCORE 129576.378
AT ITER 4724 NEW BEST:: SOT 392944 SOS 196389 HAS SOPS 196389 HAS SOUS 129370 HAS SOUPS 129370 WITH SCORE 129566.389
AT ITER 4731 NEW BEST:: SOT 392838 SOS 196283 HAS SOPS 196283 HAS SOUS 129264 HAS SOUPS 129264 WITH SCORE 129460.283
AT ITER 4766 NEW BEST:: SOT 392838 SOS 195865 HAS SOPS 195865 HAS SOUS 129163 HAS SOUPS 129163 WITH SCORE 129358.865
AT ITER 4777 NEW BEST:: SOT 392770 SOS 195767 HAS SOPS 195767 HAS SOUS 129068 HAS SOUPS 129068 WITH SCORE 129263.767
AT ITER 4787 NEW BEST:: SOT 392770 SOS 195758 HAS SOPS 195758 HAS SOUS 129058 HAS SOUPS 129058 WITH SCORE 129253.758
AT ITER 4802 NEW BEST:: SOT 392767 SOS 195726 HAS SOPS 195726 HAS SOUS 129023 HAS SOUPS 129023 WITH SCORE 129218.726
AT ITER 4818 NEW BEST:: SOT 392766 SOS 195725 HAS SOPS 195725 HAS SOUS 129022 HAS SOUPS 129022 WITH SCORE 129217.725
AT ITER 4835 NEW BEST:: SOT 392777 SOS 195721 HAS SOPS 195721 HAS SOUS 128962 HAS SOUPS 128962 WITH SCORE 129157.721
AT ITER 4860 NEW BEST:: SOT 392777 SOS 195649 HAS SOPS 195649 HAS SOUS 128962 HAS SOUPS 128962 WITH SCORE 129157.649
AT ITER 4868 NEW BEST:: SOT 392740 SOS 195577 HAS SOPS 195577 HAS SOUS 128855 HAS SOUPS 128855 WITH SCORE 129050.577
AT ITER 4869 NEW BEST:: SOT 392711 SOS 195287 HAS SOPS 195287 HAS SOUS 128768 HAS SOUPS 128768 WITH SCORE 128963.287
AT ITER 4901 NEW BEST:: SOT 392654 SOS 195207 HAS SOPS 195207 HAS SOUS 128654 HAS SOUPS 128654 WITH SCORE 128849.207
AT ITER 4924 NEW BEST:: SOT 392653 SOS 195168 HAS SOPS 195168 HAS SOUS 128652 HAS SOUPS 128652 WITH SCORE 128847.168
AT ITER 4932 NEW BEST:: SOT 392467 SOS 195587 HAS SOPS 195587 HAS SOUS 128528 HAS SOUPS 128528 WITH SCORE 128723.587
AT ITER 4938 NEW BEST:: SOT 392467 SOS 195567 HAS SOPS 195567 HAS SOUS 128528 HAS SOUPS 128528 WITH SCORE 128723.567
AT ITER 4946 NEW BEST:: SOT 392461 SOS 195561 HAS SOPS 195561 HAS SOUS 128493 HAS SOUPS 128493 WITH SCORE 128688.561
AT ITER 4961 NEW BEST:: SOT 392549 SOS 195649 HAS SOPS 195649 HAS SOUS 128451 HAS SOUPS 128451 WITH SCORE 128646.649
AT ITER 4962 NEW BEST:: SOT 392567 SOS 195751 HAS SOPS 195751 HAS SOUS 128438 HAS SOUPS 128438 WITH SCORE 128633.751
AT ITER 4989 NEW BEST:: SOT 392640 SOS 195869 HAS SOPS 195869 HAS SOUS 128393 HAS SOUPS 128393 WITH SCORE 128588.869
AT ITER 4992 NEW BEST:: SOT 392632 SOS 195861 HAS SOPS 195861 HAS SOUS 128393 HAS SOUPS 128393 WITH SCORE 128588.861
AT ITER 5009 NEW BEST:: SOT 392476 SOS 195705 HAS SOPS 195705 HAS SOUS 128263 HAS SOUPS 128263 WITH SCORE 128458.705
AT ITER 5023 NEW BEST:: SOT 392427 SOS 195724 HAS SOPS 195724 HAS SOUS 128231 HAS SOUPS 128231 WITH SCORE 128426.724
AT ITER 5033 NEW BEST:: SOT 392435 SOS 195732 HAS SOPS 195732 HAS SOUS 128230 HAS SOUPS 128230 WITH SCORE 128425.732
AT ITER 5042 NEW BEST:: SOT 392435 SOS 195620 HAS SOPS 195620 HAS SOUS 128230 HAS SOUPS 128230 WITH SCORE 128425.62
AT ITER 5050 NEW BEST:: SOT 392424 SOS 195604 HAS SOPS 195604 HAS SOUS 128214 HAS SOUPS 128214 WITH SCORE 128409.604
AT ITER 5067 NEW BEST:: SOT 392336 SOS 195516 HAS SOPS 195516 HAS SOUS 128126 HAS SOUPS 128126 WITH SCORE 128321.516
AT ITER 5105 NEW BEST:: SOT 392271 SOS 195451 HAS SOPS 195451 HAS SOUS 128061 HAS SOUPS 128061 WITH SCORE 128256.451
AT ITER 5107 NEW BEST:: SOT 392271 SOS 194776 HAS SOPS 194776 HAS SOUS 127996 HAS SOUPS 127996 WITH SCORE 128190.776
AT ITER 5132 NEW BEST:: SOT 392235 SOS 194714 HAS SOPS 194714 HAS SOUS 127950 HAS SOUPS 127950 WITH SCORE 128144.714
AT ITER 5134 NEW BEST:: SOT 392235 SOS 194610 HAS SOPS 194610 HAS SOUS 127924 HAS SOUPS 127924 WITH SCORE 128118.61
AT ITER 5135 NEW BEST:: SOT 392240 SOS 194604 HAS SOPS 194604 HAS SOUS 127918 HAS SOUPS 127918 WITH SCORE 128112.604
AT ITER 5136 NEW BEST:: SOT 392233 SOS 194637 HAS SOPS 194637 HAS SOUS 127904 HAS SOUPS 127904 WITH SCORE 128098.637
AT ITER 5143 NEW BEST:: SOT 392261 SOS 194665 HAS SOPS 194665 HAS SOUS 127736 HAS SOUPS 127736 WITH SCORE 127930.665
AT ITER 5163 NEW BEST:: SOT 392260 SOS 194664 HAS SOPS 194664 HAS SOUS 127734 HAS SOUPS 127734 WITH SCORE 127928.664
AT ITER 5188 NEW BEST:: SOT 392343 SOS 194747 HAS SOPS 194747 HAS SOUS 127638 HAS SOUPS 127638 WITH SCORE 127832.747
AT ITER 5202 NEW BEST:: SOT 392432 SOS 194930 HAS SOPS 194930 HAS SOUS 127438 HAS SOUPS 127438 WITH SCORE 127632.93
AT ITER 5211 NEW BEST:: SOT 392426 SOS 194924 HAS SOPS 194924 HAS SOUS 127426 HAS SOUPS 127426 WITH SCORE 127620.924
AT ITER 5213 NEW BEST:: SOT 392416 SOS 194904 HAS SOPS 194904 HAS SOUS 127406 HAS SOUPS 127406 WITH SCORE 127600.904
AT ITER 5217 NEW BEST:: SOT 392532 SOS 195020 HAS SOPS 195020 HAS SOUS 127369 HAS SOUPS 127369 WITH SCORE 127564.02
AT ITER 5221 NEW BEST:: SOT 392582 SOS 194186 HAS SOPS 194186 HAS SOUS 127273 HAS SOUPS 127273 WITH SCORE 127467.186
AT ITER 5243 NEW BEST:: SOT 392545 SOS 194118 HAS SOPS 194118 HAS SOUS 127242 HAS SOUPS 127242 WITH SCORE 127436.118
AT ITER 5254 NEW BEST:: SOT 392545 SOS 194118 HAS SOPS 194118 HAS SOUS 127164 HAS SOUPS 127164 WITH SCORE 127358.118
AT ITER 5286 NEW BEST:: SOT 392508 SOS 194081 HAS SOPS 194081 HAS SOUS 127164 HAS SOUPS 127164 WITH SCORE 127358.081
AT ITER 5312 NEW BEST:: SOT 392508 SOS 194224 HAS SOPS 194224 HAS SOUS 127134 HAS SOUPS 127134 WITH SCORE 127328.224
AT ITER 5338 NEW BEST:: SOT 392497 SOS 194202 HAS SOPS 194202 HAS SOUS 127123 HAS SOUPS 127123 WITH SCORE 127317.202
AT ITER 5343 NEW BEST:: SOT 392468 SOS 194153 HAS SOPS 194153 HAS SOUS 127065 HAS SOUPS 127065 WITH SCORE 127259.153
AT ITER 5349 NEW BEST:: SOT 392417 SOS 194051 HAS SOPS 194051 HAS SOUS 126963 HAS SOUPS 126963 WITH SCORE 127157.051
AT ITER 5352 NEW BEST:: SOT 392412 SOS 194046 HAS SOPS 194046 HAS SOUS 126943 HAS SOUPS 126943 WITH SCORE 127137.046
AT ITER 5366 NEW BEST:: SOT 392350 SOS 194649 HAS SOPS 194649 HAS SOUS 126891 HAS SOUPS 126891 WITH SCORE 127085.649
AT ITER 5377 NEW BEST:: SOT 392451 SOS 194749 HAS SOPS 194749 HAS SOUS 126745 HAS SOUPS 126745 WITH SCORE 126939.749
AT ITER 5406 NEW BEST:: SOT 392451 SOS 194747 HAS SOPS 194747 HAS SOUS 126743 HAS SOUPS 126743 WITH SCORE 126937.747
AT ITER 5495 NEW BEST:: SOT 392404 SOS 194938 HAS SOPS 194938 HAS SOUS 126604 HAS SOUPS 126604 WITH SCORE 126798.938
AT ITER 5518 NEW BEST:: SOT 392403 SOS 194864 HAS SOPS 194864 HAS SOUS 126602 HAS SOUPS 126602 WITH SCORE 126796.864
AT ITER 5535 NEW BEST:: SOT 392362 SOS 194749 HAS SOPS 194749 HAS SOUS 126520 HAS SOUPS 126520 WITH SCORE 126714.749
AT ITER 5579 NEW BEST:: SOT 392382 SOS 194182 HAS SOPS 194182 HAS SOUS 126505 HAS SOUPS 126505 WITH SCORE 126699.182
AT ITER 5599 NEW BEST:: SOT 392354 SOS 194154 HAS SOPS 194154 HAS SOUS 126468 HAS SOUPS 126468 WITH SCORE 126662.154
AT ITER 5621 NEW BEST:: SOT 392375 SOS 194150 HAS SOPS 194150 HAS SOUS 126464 HAS SOUPS 126464 WITH SCORE 126658.15
AT ITER 5635 NEW BEST:: SOT 392444 SOS 194077 HAS SOPS 194077 HAS SOUS 126391 HAS SOUPS 126391 WITH SCORE 126585.077
AT ITER 5706 NEW BEST:: SOT 392444 SOS 194082 HAS SOPS 194082 HAS SOUS 126388 HAS SOUPS 126388 WITH SCORE 126582.082
AT ITER 5745 NEW BEST:: SOT 392422 SOS 193820 HAS SOPS 193820 HAS SOUS 126342 HAS SOUPS 126342 WITH SCORE 126535.82
AT ITER 5754 NEW BEST:: SOT 392342 SOS 193752 HAS SOPS 193752 HAS SOUS 126179 HAS SOUPS 126179 WITH SCORE 126372.752
AT ITER 5758 NEW BEST:: SOT 392263 SOS 193694 HAS SOPS 193694 HAS SOUS 126042 HAS SOUPS 126042 WITH SCORE 126235.694
AT ITER 5764 NEW BEST:: SOT 392263 SOS 193685 HAS SOPS 193685 HAS SOUS 126033 HAS SOUPS 126033 WITH SCORE 126226.685
AT ITER 5768 NEW BEST:: SOT 392263 SOS 193676 HAS SOPS 193676 HAS SOUS 126033 HAS SOUPS 126033 WITH SCORE 126226.676
AT ITER 5769 NEW BEST:: SOT 392256 SOS 193611 HAS SOPS 193611 HAS SOUS 126021 HAS SOUPS 126021 WITH SCORE 126214.611
AT ITER 5793 NEW BEST:: SOT 392231 SOS 193611 HAS SOPS 193611 HAS SOUS 125971 HAS SOUPS 125971 WITH SCORE 126164.611
AT ITER 5804 NEW BEST:: SOT 392296 SOS 193676 HAS SOPS 193676 HAS SOUS 125892 HAS SOUPS 125892 WITH SCORE 126085.676
AT ITER 5842 NEW BEST:: SOT 392294 SOS 193743 HAS SOPS 193743 HAS SOUS 125837 HAS SOUPS 125837 WITH SCORE 126030.743
AT ITER 5850 NEW BEST:: SOT 392301 SOS 193750 HAS SOPS 193750 HAS SOUS 125816 HAS SOUPS 125816 WITH SCORE 126009.75
AT ITER 5873 NEW BEST:: SOT 392291 SOS 193740 HAS SOPS 193740 HAS SOUS 125806 HAS SOUPS 125806 WITH SCORE 125999.74
AT ITER 5879 NEW BEST:: SOT 392469 SOS 192839 HAS SOPS 192839 HAS SOUS 125739 HAS SOUPS 125739 WITH SCORE 125931.839
AT ITER 5898 NEW BEST:: SOT 392433 SOS 192821 HAS SOPS 192821 HAS SOUS 125721 HAS SOUPS 125721 WITH SCORE 125913.821
AT ITER 5908 NEW BEST:: SOT 392424 SOS 192803 HAS SOPS 192803 HAS SOUS 125712 HAS SOUPS 125712 WITH SCORE 125904.803
AT ITER 5942 NEW BEST:: SOT 392192 SOS 192806 HAS SOPS 192806 HAS SOUS 125544 HAS SOUPS 125544 WITH SCORE 125736.806
AT ITER 5973 NEW BEST:: SOT 392192 SOS 192751 HAS SOPS 192751 HAS SOUS 125544 HAS SOUPS 125544 WITH SCORE 125736.751
AT ITER 5980 NEW BEST:: SOT 392144 SOS 192703 HAS SOPS 192703 HAS SOUS 125448 HAS SOUPS 125448 WITH SCORE 125640.703
AT ITER 5981 NEW BEST:: SOT 392138 SOS 192697 HAS SOPS 192697 HAS SOUS 125442 HAS SOUPS 125442 WITH SCORE 125634.697
AT ITER 5983 NEW BEST:: SOT 392096 SOS 192613 HAS SOPS 192613 HAS SOUS 125358 HAS SOUPS 125358 WITH SCORE 125550.613
AT ITER 5987 NEW BEST:: SOT 392059 SOS 192576 HAS SOPS 192576 HAS SOUS 125330 HAS SOUPS 125330 WITH SCORE 125522.576
AT ITER 5995 NEW BEST:: SOT 392059 SOS 192570 HAS SOPS 192570 HAS SOUS 125330 HAS SOUPS 125330 WITH SCORE 125522.57
AT ITER 6006 NEW BEST:: SOT 392059 SOS 192349 HAS SOPS 192349 HAS SOUS 125316 HAS SOUPS 125316 WITH SCORE 125508.349
AT ITER 6029 NEW BEST:: SOT 391874 SOS 192346 HAS SOPS 192346 HAS SOUS 125286 HAS SOUPS 125286 WITH SCORE 125478.346
AT ITER 6054 NEW BEST:: SOT 391723 SOS 192143 HAS SOPS 192143 HAS SOUS 125092 HAS SOUPS 125092 WITH SCORE 125284.143
AT ITER 6068 NEW BEST:: SOT 391262 SOS 191896 HAS SOPS 191896 HAS SOUS 124845 HAS SOUPS 124845 WITH SCORE 125036.896
AT ITER 6072 NEW BEST:: SOT 391251 SOS 191885 HAS SOPS 191885 HAS SOUS 124803 HAS SOUPS 124803 WITH SCORE 124994.885
AT ITER 6092 NEW BEST:: SOT 391224 SOS 191858 HAS SOPS 191858 HAS SOUS 124749 HAS SOUPS 124749 WITH SCORE 124940.858
AT ITER 6105 NEW BEST:: SOT 391224 SOS 191835 HAS SOPS 191835 HAS SOUS 124749 HAS SOUPS 124749 WITH SCORE 124940.835
AT ITER 6107 NEW BEST:: SOT 391209 SOS 191820 HAS SOPS 191820 HAS SOUS 124719 HAS SOUPS 124719 WITH SCORE 124910.82
AT ITER 6110 NEW BEST:: SOT 391191 SOS 191778 HAS SOPS 191778 HAS SOUS 124701 HAS SOUPS 124701 WITH SCORE 124892.778
AT ITER 6180 NEW BEST:: SOT 391223 SOS 191771 HAS SOPS 191771 HAS SOUS 124687 HAS SOUPS 124687 WITH SCORE 124878.771
AT ITER 6215 NEW BEST:: SOT 391052 SOS 191600 HAS SOPS 191600 HAS SOUS 124397 HAS SOUPS 124397 WITH SCORE 124588.6
AT ITER 6245 NEW BEST:: SOT 390753 SOS 191375 HAS SOPS 191375 HAS SOUS 124172 HAS SOUPS 124172 WITH SCORE 124363.375
AT ITER 6281 NEW BEST:: SOT 390752 SOS 191373 HAS SOPS 191373 HAS SOUS 124170 HAS SOUPS 124170 WITH SCORE 124361.373
AT ITER 6298 NEW BEST:: SOT 390746 SOS 191361 HAS SOPS 191361 HAS SOUS 124158 HAS SOUPS 124158 WITH SCORE 124349.361
AT ITER 6303 NEW BEST:: SOT 390649 SOS 191300 HAS SOPS 191300 HAS SOUS 124120 HAS SOUPS 124120 WITH SCORE 124311.3
AT ITER 6316 NEW BEST:: SOT 390557 SOS 191208 HAS SOPS 191208 HAS SOUS 124074 HAS SOUPS 124074 WITH SCORE 124265.208
AT ITER 6328 NEW BEST:: SOT 390505 SOS 191156 HAS SOPS 191156 HAS SOUS 124074 HAS SOUPS 124074 WITH SCORE 124265.156
AT ITER 6336 NEW BEST:: SOT 390505 SOS 191155 HAS SOPS 191155 HAS SOUS 124073 HAS SOUPS 124073 WITH SCORE 124264.155
AT ITER 6396 NEW BEST:: SOT 390499 SOS 191155 HAS SOPS 191155 HAS SOUS 124061 HAS SOUPS 124061 WITH SCORE 124252.155
AT ITER 6402 NEW BEST:: SOT 390495 SOS 191151 HAS SOPS 191151 HAS SOUS 124046 HAS SOUPS 124046 WITH SCORE 124237.151
AT ITER 6419 NEW BEST:: SOT 390457 SOS 191067 HAS SOPS 191067 HAS SOUS 124008 HAS SOUPS 124008 WITH SCORE 124199.067
AT ITER 6438 NEW BEST:: SOT 390461 SOS 191071 HAS SOPS 191071 HAS SOUS 123999 HAS SOUPS 123999 WITH SCORE 124190.071
AT ITER 6460 NEW BEST:: SOT 390451 SOS 191060 HAS SOPS 191060 HAS SOUS 123979 HAS SOUPS 123979 WITH SCORE 124170.06
AT ITER 6501 NEW BEST:: SOT 390447 SOS 191105 HAS SOPS 191105 HAS SOUS 123971 HAS SOUPS 123971 WITH SCORE 124162.105
AT ITER 6519 NEW BEST:: SOT 390483 SOS 191141 HAS SOPS 191141 HAS SOUS 123935 HAS SOUPS 123935 WITH SCORE 124126.141
AT ITER 6532 NEW BEST:: SOT 390492 SOS 191535 HAS SOPS 191535 HAS SOUS 123906 HAS SOUPS 123906 WITH SCORE 124097.535
AT ITER 6543 NEW BEST:: SOT 390503 SOS 191556 HAS SOPS 191556 HAS SOUS 123883 HAS SOUPS 123883 WITH SCORE 124074.556
AT ITER 6634 NEW BEST:: SOT 390477 SOS 191504 HAS SOPS 191504 HAS SOUS 123868 HAS SOUPS 123868 WITH SCORE 124059.504
AT ITER 6642 NEW BEST:: SOT 390468 SOS 191839 HAS SOPS 191839 HAS SOUS 123850 HAS SOUPS 123850 WITH SCORE 124041.839
AT ITER 6677 NEW BEST:: SOT 390465 SOS 191836 HAS SOPS 191836 HAS SOUS 123844 HAS SOUPS 123844 WITH SCORE 124035.836
AT ITER 6679 NEW BEST:: SOT 390464 SOS 191837 HAS SOPS 191837 HAS SOUS 123842 HAS SOUPS 123842 WITH SCORE 124033.837
AT ITER 6696 NEW BEST:: SOT 390452 SOS 191798 HAS SOPS 191798 HAS SOUS 123818 HAS SOUPS 123818 WITH SCORE 124009.798
AT ITER 6698 NEW BEST:: SOT 390487 SOS 191833 HAS SOPS 191833 HAS SOUS 123697 HAS SOUPS 123697 WITH SCORE 123888.833
AT ITER 6711 NEW BEST:: SOT 390494 SOS 190747 HAS SOPS 190747 HAS SOUS 123570 HAS SOUPS 123570 WITH SCORE 123760.747
AT ITER 6728 NEW BEST:: SOT 390489 SOS 190732 HAS SOPS 190732 HAS SOUS 123560 HAS SOUPS 123560 WITH SCORE 123750.732
AT ITER 6733 NEW BEST:: SOT 390386 SOS 191801 HAS SOPS 191801 HAS SOUS 123530 HAS SOUPS 123530 WITH SCORE 123721.801
AT ITER 6738 NEW BEST:: SOT 390385 SOS 191800 HAS SOPS 191800 HAS SOUS 123506 HAS SOUPS 123506 WITH SCORE 123697.8
AT ITER 6744 NEW BEST:: SOT 390382 SOS 191797 HAS SOPS 191797 HAS SOUS 123500 HAS SOUPS 123500 WITH SCORE 123691.797
AT ITER 6751 NEW BEST:: SOT 390373 SOS 191754 HAS SOPS 191754 HAS SOUS 123482 HAS SOUPS 123482 WITH SCORE 123673.754
AT ITER 6765 NEW BEST:: SOT 390368 SOS 191749 HAS SOPS 191749 HAS SOUS 123477 HAS SOUPS 123477 WITH SCORE 123668.749
AT ITER 6772 NEW BEST:: SOT 390386 SOS 191767 HAS SOPS 191767 HAS SOUS 123394 HAS SOUPS 123394 WITH SCORE 123585.767
AT ITER 6782 NEW BEST:: SOT 390268 SOS 192233 HAS SOPS 192233 HAS SOUS 123237 HAS SOUPS 123237 WITH SCORE 123429.233
AT ITER 6808 NEW BEST:: SOT 390299 SOS 192215 HAS SOPS 192215 HAS SOUS 123219 HAS SOUPS 123219 WITH SCORE 123411.215
AT ITER 6812 NEW BEST:: SOT 390299 SOS 192211 HAS SOPS 192211 HAS SOUS 123215 HAS SOUPS 123215 WITH SCORE 123407.211
AT ITER 6827 NEW BEST:: SOT 390274 SOS 192186 HAS SOPS 192186 HAS SOUS 123190 HAS SOUPS 123190 WITH SCORE 123382.186
AT ITER 6848 NEW BEST:: SOT 390250 SOS 192138 HAS SOPS 192138 HAS SOUS 123166 HAS SOUPS 123166 WITH SCORE 123358.138
AT ITER 6868 NEW BEST:: SOT 390245 SOS 192133 HAS SOPS 192133 HAS SOUS 123156 HAS SOUPS 123156 WITH SCORE 123348.133
AT ITER 6869 NEW BEST:: SOT 390245 SOS 192118 HAS SOPS 192118 HAS SOUS 123141 HAS SOUPS 123141 WITH SCORE 123333.118
AT ITER 6882 NEW BEST:: SOT 390141 SOS 192037 HAS SOPS 192037 HAS SOUS 122910 HAS SOUPS 122910 WITH SCORE 123102.037
AT ITER 6896 NEW BEST:: SOT 390089 SOS 191985 HAS SOPS 191985 HAS SOUS 122858 HAS SOUPS 122858 WITH SCORE 123049.985
AT ITER 6912 NEW BEST:: SOT 390018 SOS 191914 HAS SOPS 191914 HAS SOUS 122853 HAS SOUPS 122853 WITH SCORE 123044.914
AT ITER 6921 NEW BEST:: SOT 390036 SOS 191932 HAS SOPS 191932 HAS SOUS 122823 HAS SOUPS 122823 WITH SCORE 123014.932
AT ITER 6928 NEW BEST:: SOT 390036 SOS 191931 HAS SOPS 191931 HAS SOUS 122822 HAS SOUPS 122822 WITH SCORE 123013.931
AT ITER 6944 NEW BEST:: SOT 390036 SOS 191912 HAS SOPS 191912 HAS SOUS 122822 HAS SOUPS 122822 WITH SCORE 123013.912
AT ITER 6953 NEW BEST:: SOT 390018 SOS 191894 HAS SOPS 191894 HAS SOUS 122791 HAS SOUPS 122791 WITH SCORE 122982.894
AT ITER 6989 NEW BEST:: SOT 390017 SOS 191893 HAS SOPS 191893 HAS SOUS 122715 HAS SOUPS 122715 WITH SCORE 122906.893
AT ITER 7008 NEW BEST:: SOT 390002 SOS 191878 HAS SOPS 191878 HAS SOUS 122715 HAS SOUPS 122715 WITH SCORE 122906.878
AT ITER 7010 NEW BEST:: SOT 389936 SOS 191774 HAS SOPS 191774 HAS SOUS 122611 HAS SOUPS 122611 WITH SCORE 122802.774
AT ITER 7013 NEW BEST:: SOT 389926 SOS 191768 HAS SOPS 191768 HAS SOUS 122605 HAS SOUPS 122605 WITH SCORE 122796.768
AT ITER 7040 NEW BEST:: SOT 389926 SOS 191718 HAS SOPS 191718 HAS SOUS 122605 HAS SOUPS 122605 WITH SCORE 122796.718
AT ITER 7052 NEW BEST:: SOT 389926 SOS 191718 HAS SOPS 191718 HAS SOUS 122563 HAS SOUPS 122563 WITH SCORE 122754.718
AT ITER 7079 NEW BEST:: SOT 389926 SOS 191034 HAS SOPS 191034 HAS SOUS 122563 HAS SOUPS 122563 WITH SCORE 122754.034
AT ITER 7089 NEW BEST:: SOT 389926 SOS 191034 HAS SOPS 191034 HAS SOUS 122475 HAS SOUPS 122475 WITH SCORE 122666.034
AT ITER 7097 NEW BEST:: SOT 389920 SOS 191022 HAS SOPS 191022 HAS SOUS 122463 HAS SOUPS 122463 WITH SCORE 122654.022
AT ITER 7108 NEW BEST:: SOT 389903 SOS 190988 HAS SOPS 190988 HAS SOUS 122429 HAS SOUPS 122429 WITH SCORE 122619.988
AT ITER 7119 NEW BEST:: SOT 389903 SOS 190956 HAS SOPS 190956 HAS SOUS 122427 HAS SOUPS 122427 WITH SCORE 122617.956
AT ITER 7130 NEW BEST:: SOT 389903 SOS 190956 HAS SOPS 190956 HAS SOUS 122426 HAS SOUPS 122426 WITH SCORE 122616.956
AT ITER 7155 NEW BEST:: SOT 389960 SOS 191013 HAS SOPS 191013 HAS SOUS 122369 HAS SOUPS 122369 WITH SCORE 122560.013
AT ITER 7161 NEW BEST:: SOT 389847 SOS 190900 HAS SOPS 190900 HAS SOUS 122309 HAS SOUPS 122309 WITH SCORE 122499.9
AT ITER 7178 NEW BEST:: SOT 389840 SOS 190893 HAS SOPS 190893 HAS SOUS 122309 HAS SOUPS 122309 WITH SCORE 122499.893
AT ITER 7197 NEW BEST:: SOT 389830 SOS 190883 HAS SOPS 190883 HAS SOUS 122299 HAS SOUPS 122299 WITH SCORE 122489.883
AT ITER 7219 NEW BEST:: SOT 389777 SOS 190830 HAS SOPS 190830 HAS SOUS 122206 HAS SOUPS 122206 WITH SCORE 122396.83
AT ITER 7243 NEW BEST:: SOT 389824 SOS 190772 HAS SOPS 190772 HAS SOUS 122183 HAS SOUPS 122183 WITH SCORE 122373.772
AT ITER 7245 NEW BEST:: SOT 389794 SOS 190721 HAS SOPS 190721 HAS SOUS 122123 HAS SOUPS 122123 WITH SCORE 122313.721
AT ITER 7275 NEW BEST:: SOT 389775 SOS 190702 HAS SOPS 190702 HAS SOUS 122104 HAS SOUPS 122104 WITH SCORE 122294.702
AT ITER 7280 NEW BEST:: SOT 389744 SOS 190671 HAS SOPS 190671 HAS SOUS 122073 HAS SOUPS 122073 WITH SCORE 122263.671
AT ITER 7282 NEW BEST:: SOT 389744 SOS 190667 HAS SOPS 190667 HAS SOUS 122069 HAS SOUPS 122069 WITH SCORE 122259.667
AT ITER 7305 NEW BEST:: SOT 389750 SOS 190673 HAS SOPS 190673 HAS SOUS 122053 HAS SOUPS 122053 WITH SCORE 122243.673
AT ITER 7308 NEW BEST:: SOT 389762 SOS 190636 HAS SOPS 190636 HAS SOUS 122032 HAS SOUPS 122032 WITH SCORE 122222.636
AT ITER 7311 NEW BEST:: SOT 389795 SOS 190669 HAS SOPS 190669 HAS SOUS 122023 HAS SOUPS 122023 WITH SCORE 122213.669
AT ITER 7317 NEW BEST:: SOT 389795 SOS 190606 HAS SOPS 190606 HAS SOUS 122023 HAS SOUPS 122023 WITH SCORE 122213.606
AT ITER 7451 NEW BEST:: SOT 389791 SOS 190523 HAS SOPS 190523 HAS SOUS 122015 HAS SOUPS 122015 WITH SCORE 122205.523
AT ITER 7468 NEW BEST:: SOT 389782 SOS 190514 HAS SOPS 190514 HAS SOUS 122012 HAS SOUPS 122012 WITH SCORE 122202.514
AT ITER 7470 NEW BEST:: SOT 389782 SOS 190514 HAS SOPS 190514 HAS SOUS 122002 HAS SOUPS 122002 WITH SCORE 122192.514
AT ITER 7515 NEW BEST:: SOT 389727 SOS 190308 HAS SOPS 190308 HAS SOUS 121880 HAS SOUPS 121880 WITH SCORE 122070.308
AT ITER 7517 NEW BEST:: SOT 389649 SOS 190230 HAS SOPS 190230 HAS SOUS 121802 HAS SOUPS 121802 WITH SCORE 121992.23
AT ITER 7520 NEW BEST:: SOT 389606 SOS 190187 HAS SOPS 190187 HAS SOUS 121802 HAS SOUPS 121802 WITH SCORE 121992.187
AT ITER 7528 NEW BEST:: SOT 389606 SOS 190070 HAS SOPS 190070 HAS SOUS 121802 HAS SOUPS 121802 WITH SCORE 121992.07
AT ITER 7533 NEW BEST:: SOT 389606 SOS 190053 HAS SOPS 190053 HAS SOUS 121802 HAS SOUPS 121802 WITH SCORE 121992.053
AT ITER 7579 NEW BEST:: SOT 389606 SOS 190025 HAS SOPS 190025 HAS SOUS 121802 HAS SOUPS 121802 WITH SCORE 121992.025
AT ITER 7584 NEW BEST:: SOT 389635 SOS 190054 HAS SOPS 190054 HAS SOUS 121773 HAS SOUPS 121773 WITH SCORE 121963.054
AT ITER 7593 NEW BEST:: SOT 389543 SOS 189786 HAS SOPS 189786 HAS SOUS 121589 HAS SOUPS 121589 WITH SCORE 121778.786
AT ITER 7596 NEW BEST:: SOT 389543 SOS 189767 HAS SOPS 189767 HAS SOUS 121589 HAS SOUPS 121589 WITH SCORE 121778.767
AT ITER 7647 NEW BEST:: SOT 389507 SOS 189695 HAS SOPS 189695 HAS SOUS 121517 HAS SOUPS 121517 WITH SCORE 121706.695
AT ITER 7685 NEW BEST:: SOT 389507 SOS 189625 HAS SOPS 189625 HAS SOUS 121517 HAS SOUPS 121517 WITH SCORE 121706.625
AT ITER 7687 NEW BEST:: SOT 389481 SOS 189905 HAS SOPS 189905 HAS SOUS 121465 HAS SOUPS 121465 WITH SCORE 121654.905
AT ITER 7692 NEW BEST:: SOT 389479 SOS 189903 HAS SOPS 189903 HAS SOUS 121463 HAS SOUPS 121463 WITH SCORE 121652.903
AT ITER 7711 NEW BEST:: SOT 389455 SOS 189892 HAS SOPS 189892 HAS SOUS 121415 HAS SOUPS 121415 WITH SCORE 121604.892
AT ITER 7714 NEW BEST:: SOT 389453 SOS 189890 HAS SOPS 189890 HAS SOUS 121413 HAS SOUPS 121413 WITH SCORE 121602.89
AT ITER 7745 NEW BEST:: SOT 389453 SOS 189886 HAS SOPS 189886 HAS SOUS 121409 HAS SOUPS 121409 WITH SCORE 121598.886
AT ITER 7789 NEW BEST:: SOT 389453 SOS 189884 HAS SOPS 189884 HAS SOUS 121407 HAS SOUPS 121407 WITH SCORE 121596.884
AT ITER 7805 NEW BEST:: SOT 389429 SOS 189942 HAS SOPS 189942 HAS SOUS 121404 HAS SOUPS 121404 WITH SCORE 121593.942
AT ITER 7814 NEW BEST:: SOT 389350 SOS 190885 HAS SOPS 190885 HAS SOUS 121397 HAS SOUPS 121397 WITH SCORE 121587.885
AT ITER 7856 NEW BEST:: SOT 389319 SOS 190854 HAS SOPS 190854 HAS SOUS 121270 HAS SOUPS 121270 WITH SCORE 121460.854
AT ITER 7857 NEW BEST:: SOT 389279 SOS 190814 HAS SOPS 190814 HAS SOUS 121270 HAS SOUPS 121270 WITH SCORE 121460.814
AT ITER 7875 NEW BEST:: SOT 389279 SOS 190822 HAS SOPS 190822 HAS SOUS 121264 HAS SOUPS 121264 WITH SCORE 121454.822
AT ITER 7886 NEW BEST:: SOT 389280 SOS 190808 HAS SOPS 190808 HAS SOUS 121250 HAS SOUPS 121250 WITH SCORE 121440.808
AT ITER 7891 NEW BEST:: SOT 389287 SOS 190787 HAS SOPS 190787 HAS SOUS 121229 HAS SOUPS 121229 WITH SCORE 121419.787
AT ITER 7925 NEW BEST:: SOT 389246 SOS 190694 HAS SOPS 190694 HAS SOUS 121199 HAS SOUPS 121199 WITH SCORE 121389.694
AT ITER 7937 NEW BEST:: SOT 389235 SOS 190685 HAS SOPS 190685 HAS SOUS 121190 HAS SOUPS 121190 WITH SCORE 121380.685
AT ITER 7955 NEW BEST:: SOT 389189 SOS 190639 HAS SOPS 190639 HAS SOUS 121144 HAS SOUPS 121144 WITH SCORE 121334.639
AT ITER 7965 NEW BEST:: SOT 389167 SOS 190617 HAS SOPS 190617 HAS SOUS 121122 HAS SOUPS 121122 WITH SCORE 121312.617
AT ITER 7968 NEW BEST:: SOT 389139 SOS 190589 HAS SOPS 190589 HAS SOUS 121066 HAS SOUPS 121066 WITH SCORE 121256.589
AT ITER 7986 NEW BEST:: SOT 389110 SOS 190560 HAS SOPS 190560 HAS SOUS 121008 HAS SOUPS 121008 WITH SCORE 121198.56
AT ITER 8052 NEW BEST:: SOT 389087 SOS 190537 HAS SOPS 190537 HAS SOUS 120985 HAS SOUPS 120985 WITH SCORE 121175.537
AT ITER 8060 NEW BEST:: SOT 389087 SOS 190537 HAS SOPS 190537 HAS SOUS 120962 HAS SOUPS 120962 WITH SCORE 121152.537
AT ITER 8062 NEW BEST:: SOT 389080 SOS 190530 HAS SOPS 190530 HAS SOUS 120955 HAS SOUPS 120955 WITH SCORE 121145.53
AT ITER 8071 NEW BEST:: SOT 389079 SOS 190529 HAS SOPS 190529 HAS SOUS 120954 HAS SOUPS 120954 WITH SCORE 121144.529
AT ITER 8115 NEW BEST:: SOT 389080 SOS 190528 HAS SOPS 190528 HAS SOUS 120950 HAS SOUPS 120950 WITH SCORE 121140.528
AT ITER 8149 NEW BEST:: SOT 389072 SOS 190504 HAS SOPS 190504 HAS SOUS 120934 HAS SOUPS 120934 WITH SCORE 121124.504
AT ITER 8155 NEW BEST:: SOT 388988 SOS 190504 HAS SOPS 190504 HAS SOUS 120928 HAS SOUPS 120928 WITH SCORE 121118.504
AT ITER 8159 NEW BEST:: SOT 388968 SOS 190464 HAS SOPS 190464 HAS SOUS 120888 HAS SOUPS 120888 WITH SCORE 121078.464
AT ITER 8171 NEW BEST:: SOT 388968 SOS 190352 HAS SOPS 190352 HAS SOUS 120888 HAS SOUPS 120888 WITH SCORE 121078.352
AT ITER 8208 NEW BEST:: SOT 388968 SOS 190348 HAS SOPS 190348 HAS SOUS 120842 HAS SOUPS 120842 WITH SCORE 121032.348
AT ITER 8210 NEW BEST:: SOT 388940 SOS 190320 HAS SOPS 190320 HAS SOUS 120786 HAS SOUPS 120786 WITH SCORE 120976.32
AT ITER 8211 NEW BEST:: SOT 388856 SOS 190629 HAS SOPS 190629 HAS SOUS 120730 HAS SOUPS 120730 WITH SCORE 120920.629
AT ITER 8214 NEW BEST:: SOT 388888 SOS 190661 HAS SOPS 190661 HAS SOUS 120720 HAS SOUPS 120720 WITH SCORE 120910.661
AT ITER 8222 NEW BEST:: SOT 388907 SOS 190680 HAS SOPS 190680 HAS SOUS 120623 HAS SOUPS 120623 WITH SCORE 120813.68
AT ITER 8225 NEW BEST:: SOT 388864 SOS 190637 HAS SOPS 190637 HAS SOUS 120623 HAS SOUPS 120623 WITH SCORE 120813.637
AT ITER 8226 NEW BEST:: SOT 388844 SOS 190617 HAS SOPS 190617 HAS SOUS 120623 HAS SOUPS 120623 WITH SCORE 120813.617
AT ITER 8271 NEW BEST:: SOT 388844 SOS 190612 HAS SOPS 190612 HAS SOUS 120623 HAS SOUPS 120623 WITH SCORE 120813.612
AT ITER 8293 NEW BEST:: SOT 388844 SOS 190568 HAS SOPS 190568 HAS SOUS 120615 HAS SOUPS 120615 WITH SCORE 120805.568
AT ITER 8294 NEW BEST:: SOT 388844 SOS 190566 HAS SOPS 190566 HAS SOUS 120615 HAS SOUPS 120615 WITH SCORE 120805.566
AT ITER 8295 NEW BEST:: SOT 388821 SOS 190543 HAS SOPS 190543 HAS SOUS 120615 HAS SOUPS 120615 WITH SCORE 120805.543
AT ITER 8304 NEW BEST:: SOT 389023 SOS 190387 HAS SOPS 190387 HAS SOUS 120465 HAS SOUPS 120465 WITH SCORE 120655.387
AT ITER 8317 NEW BEST:: SOT 389023 SOS 190387 HAS SOPS 190387 HAS SOUS 120458 HAS SOUPS 120458 WITH SCORE 120648.387
AT ITER 8335 NEW BEST:: SOT 389003 SOS 190367 HAS SOPS 190367 HAS SOUS 120418 HAS SOUPS 120418 WITH SCORE 120608.367
AT ITER 8341 NEW BEST:: SOT 388896 SOS 190289 HAS SOPS 190289 HAS SOUS 120311 HAS SOUPS 120311 WITH SCORE 120501.289
AT ITER 8375 NEW BEST:: SOT 388860 SOS 190253 HAS SOPS 190253 HAS SOUS 120238 HAS SOUPS 120238 WITH SCORE 120428.253
AT ITER 8388 NEW BEST:: SOT 388860 SOS 190252 HAS SOPS 190252 HAS SOUS 120237 HAS SOUPS 120237 WITH SCORE 120427.252
AT ITER 8417 NEW BEST:: SOT 388815 SOS 190176 HAS SOPS 190176 HAS SOUS 120161 HAS SOUPS 120161 WITH SCORE 120351.176
AT ITER 8418 NEW BEST:: SOT 388559 SOS 190806 HAS SOPS 190806 HAS SOUS 119945 HAS SOUPS 119945 WITH SCORE 120135.806
AT ITER 8437 NEW BEST:: SOT 388523 SOS 190770 HAS SOPS 190770 HAS SOUS 119927 HAS SOUPS 119927 WITH SCORE 120117.77
AT ITER 8444 NEW BEST:: SOT 388467 SOS 189925 HAS SOPS 189925 HAS SOUS 119847 HAS SOUPS 119847 WITH SCORE 120036.925
AT ITER 8445 NEW BEST:: SOT 388453 SOS 189897 HAS SOPS 189897 HAS SOUS 119819 HAS SOUPS 119819 WITH SCORE 120008.897
AT ITER 8450 NEW BEST:: SOT 388453 SOS 189897 HAS SOPS 189897 HAS SOUS 119795 HAS SOUPS 119795 WITH SCORE 119984.897
AT ITER 8464 NEW BEST:: SOT 388461 SOS 189905 HAS SOPS 189905 HAS SOUS 119771 HAS SOUPS 119771 WITH SCORE 119960.905
AT ITER 8474 NEW BEST:: SOT 388461 SOS 188848 HAS SOPS 188848 HAS SOUS 119771 HAS SOUPS 119771 WITH SCORE 119959.848
AT ITER 8483 NEW BEST:: SOT 388398 SOS 188785 HAS SOPS 188785 HAS SOUS 119708 HAS SOUPS 119708 WITH SCORE 119896.785
AT ITER 8518 NEW BEST:: SOT 388342 SOS 188708 HAS SOPS 188708 HAS SOUS 119617 HAS SOUPS 119617 WITH SCORE 119805.708
AT ITER 8520 NEW BEST:: SOT 388342 SOS 188705 HAS SOPS 188705 HAS SOUS 119617 HAS SOUPS 119617 WITH SCORE 119805.705
AT ITER 8525 NEW BEST:: SOT 388333 SOS 188823 HAS SOPS 188823 HAS SOUS 119599 HAS SOUPS 119599 WITH SCORE 119787.823
AT ITER 8526 NEW BEST:: SOT 388333 SOS 188814 HAS SOPS 188814 HAS SOUS 119599 HAS SOUPS 119599 WITH SCORE 119787.814
AT ITER 8559 NEW BEST:: SOT 388307 SOS 188833 HAS SOPS 188833 HAS SOUS 119593 HAS SOUPS 119593 WITH SCORE 119781.833
AT ITER 8575 NEW BEST:: SOT 388275 SOS 188868 HAS SOPS 188868 HAS SOUS 119561 HAS SOUPS 119561 WITH SCORE 119749.868
AT ITER 8591 NEW BEST:: SOT 388251 SOS 188820 HAS SOPS 188820 HAS SOUS 119513 HAS SOUPS 119513 WITH SCORE 119701.82
AT ITER 8636 NEW BEST:: SOT 388251 SOS 188817 HAS SOPS 188817 HAS SOUS 119513 HAS SOUPS 119513 WITH SCORE 119701.817
AT ITER 8644 NEW BEST:: SOT 388236 SOS 188787 HAS SOPS 188787 HAS SOUS 119507 HAS SOUPS 119507 WITH SCORE 119695.787
AT ITER 8645 NEW BEST:: SOT 388564 SOS 189115 HAS SOPS 189115 HAS SOUS 119505 HAS SOUPS 119505 WITH SCORE 119694.115
AT ITER 8666 NEW BEST:: SOT 388564 SOS 189086 HAS SOPS 189086 HAS SOUS 119505 HAS SOUPS 119505 WITH SCORE 119694.086
AT ITER 8673 NEW BEST:: SOT 388521 SOS 189116 HAS SOPS 189116 HAS SOUS 119419 HAS SOUPS 119419 WITH SCORE 119608.116
AT ITER 8691 NEW BEST:: SOT 388465 SOS 188997 HAS SOPS 188997 HAS SOUS 119307 HAS SOUPS 119307 WITH SCORE 119495.997
AT ITER 8703 NEW BEST:: SOT 388457 SOS 188989 HAS SOPS 188989 HAS SOUS 119299 HAS SOUPS 119299 WITH SCORE 119487.989
AT ITER 8708 NEW BEST:: SOT 388558 SOS 189090 HAS SOPS 189090 HAS SOUS 119257 HAS SOUPS 119257 WITH SCORE 119446.09
AT ITER 8726 NEW BEST:: SOT 388543 SOS 189075 HAS SOPS 189075 HAS SOUS 119217 HAS SOUPS 119217 WITH SCORE 119406.075
AT ITER 8752 NEW BEST:: SOT 388538 SOS 189087 HAS SOPS 189087 HAS SOUS 119207 HAS SOUPS 119207 WITH SCORE 119396.087
AT ITER 8759 NEW BEST:: SOT 388472 SOS 189075 HAS SOPS 189075 HAS SOUS 119139 HAS SOUPS 119139 WITH SCORE 119328.075
AT ITER 8772 NEW BEST:: SOT 388275 SOS 189276 HAS SOPS 189276 HAS SOUS 119030 HAS SOUPS 119030 WITH SCORE 119219.276
AT ITER 8841 NEW BEST:: SOT 388252 SOS 189253 HAS SOPS 189253 HAS SOUS 119008 HAS SOUPS 119008 WITH SCORE 119197.253
AT ITER 8890 NEW BEST:: SOT 388252 SOS 189211 HAS SOPS 189211 HAS SOUS 118979 HAS SOUPS 118979 WITH SCORE 119168.211
AT ITER 8903 NEW BEST:: SOT 388243 SOS 189202 HAS SOPS 189202 HAS SOUS 118970 HAS SOUPS 118970 WITH SCORE 119159.202
AT ITER 8905 NEW BEST:: SOT 388251 SOS 189076 HAS SOPS 189076 HAS SOUS 118947 HAS SOUPS 118947 WITH SCORE 119136.076
AT ITER 8927 NEW BEST:: SOT 388285 SOS 189110 HAS SOPS 189110 HAS SOUS 118885 HAS SOUPS 118885 WITH SCORE 119074.11
AT ITER 8939 NEW BEST:: SOT 388282 SOS 189107 HAS SOPS 189107 HAS SOUS 118879 HAS SOUPS 118879 WITH SCORE 119068.107
AT ITER 8945 NEW BEST:: SOT 388281 SOS 189105 HAS SOPS 189105 HAS SOUS 118877 HAS SOUPS 118877 WITH SCORE 119066.105
AT ITER 8946 NEW BEST:: SOT 388169 SOS 188993 HAS SOPS 188993 HAS SOUS 118843 HAS SOUPS 118843 WITH SCORE 119031.993
AT ITER 8995 NEW BEST:: SOT 388160 SOS 188984 HAS SOPS 188984 HAS SOUS 118825 HAS SOUPS 118825 WITH SCORE 119013.984
AT ITER 8996 NEW BEST:: SOT 388037 SOS 189344 HAS SOPS 189344 HAS SOUS 118758 HAS SOUPS 118758 WITH SCORE 118947.344
AT ITER 9005 NEW BEST:: SOT 388026 SOS 189333 HAS SOPS 189333 HAS SOUS 118747 HAS SOUPS 118747 WITH SCORE 118936.333
AT ITER 9010 NEW BEST:: SOT 388010 SOS 189175 HAS SOPS 189175 HAS SOUS 118715 HAS SOUPS 118715 WITH SCORE 118904.175
AT ITER 9040 NEW BEST:: SOT 388005 SOS 189170 HAS SOPS 189170 HAS SOUS 118715 HAS SOUPS 118715 WITH SCORE 118904.17
AT ITER 9082 NEW BEST:: SOT 387978 SOS 189143 HAS SOPS 189143 HAS SOUS 118661 HAS SOUPS 118661 WITH SCORE 118850.143
AT ITER 9129 NEW BEST:: SOT 387963 SOS 191212 HAS SOPS 191212 HAS SOUS 118650 HAS SOUPS 118650 WITH SCORE 118841.212
AT ITER 9151 NEW BEST:: SOT 387963 SOS 191212 HAS SOPS 191212 HAS SOUS 118634 HAS SOUPS 118634 WITH SCORE 118825.212
AT ITER 9163 NEW BEST:: SOT 387930 SOS 190704 HAS SOPS 190704 HAS SOUS 118579 HAS SOUPS 118579 WITH SCORE 118769.704
AT ITER 9174 NEW BEST:: SOT 387928 SOS 190702 HAS SOPS 190702 HAS SOUS 118577 HAS SOUPS 118577 WITH SCORE 118767.702
AT ITER 9186 NEW BEST:: SOT 387923 SOS 190697 HAS SOPS 190697 HAS SOUS 118567 HAS SOUPS 118567 WITH SCORE 118757.697
AT ITER 9234 NEW BEST:: SOT 387921 SOS 190675 HAS SOPS 190675 HAS SOUS 118563 HAS SOUPS 118563 WITH SCORE 118753.675
AT ITER 9245 NEW BEST:: SOT 387899 SOS 190631 HAS SOPS 190631 HAS SOUS 118541 HAS SOUPS 118541 WITH SCORE 118731.631
AT ITER 9248 NEW BEST:: SOT 387768 SOS 190500 HAS SOPS 190500 HAS SOUS 118541 HAS SOUPS 118541 WITH SCORE 118731.5
AT ITER 9265 NEW BEST:: SOT 387768 SOS 190523 HAS SOPS 190523 HAS SOUS 118518 HAS SOUPS 118518 WITH SCORE 118708.523
AT ITER 9267 NEW BEST:: SOT 387764 SOS 190519 HAS SOPS 190519 HAS SOUS 118510 HAS SOUPS 118510 WITH SCORE 118700.519
AT ITER 9279 NEW BEST:: SOT 387733 SOS 190488 HAS SOPS 190488 HAS SOUS 118448 HAS SOUPS 118448 WITH SCORE 118638.488
AT ITER 9374 NEW BEST:: SOT 387726 SOS 190481 HAS SOPS 190481 HAS SOUS 118434 HAS SOUPS 118434 WITH SCORE 118624.481
AT ITER 9400 NEW BEST:: SOT 387726 SOS 190481 HAS SOPS 190481 HAS SOUS 118426 HAS SOUPS 118426 WITH SCORE 118616.481
AT ITER 9446 NEW BEST:: SOT 387717 SOS 190481 HAS SOPS 190481 HAS SOUS 118417 HAS SOUPS 118417 WITH SCORE 118607.481
AT ITER 9451 NEW BEST:: SOT 387712 SOS 190476 HAS SOPS 190476 HAS SOUS 118407 HAS SOUPS 118407 WITH SCORE 118597.476
AT ITER 9454 NEW BEST:: SOT 387707 SOS 192115 HAS SOPS 192115 HAS SOUS 118402 HAS SOUPS 118402 WITH SCORE 118594.115
AT ITER 9492 NEW BEST:: SOT 387706 SOS 192083 HAS SOPS 192083 HAS SOUS 118401 HAS SOUPS 118401 WITH SCORE 118593.083
AT ITER 9553 NEW BEST:: SOT 387706 SOS 192083 HAS SOPS 192083 HAS SOUS 118331 HAS SOUPS 118331 WITH SCORE 118523.083
AT ITER 9559 NEW BEST:: SOT 387713 SOS 192090 HAS SOPS 192090 HAS SOUS 118277 HAS SOUPS 118277 WITH SCORE 118469.09
AT ITER 9581 NEW BEST:: SOT 387648 SOS 192025 HAS SOPS 192025 HAS SOUS 118147 HAS SOUPS 118147 WITH SCORE 118339.025
AT ITER 9594 NEW BEST:: SOT 387510 SOS 191887 HAS SOPS 191887 HAS SOUS 118009 HAS SOUPS 118009 WITH SCORE 118200.887
AT ITER 9597 NEW BEST:: SOT 387409 SOS 191786 HAS SOPS 191786 HAS SOUS 117807 HAS SOUPS 117807 WITH SCORE 117998.786
AT ITER 9606 NEW BEST:: SOT 387385 SOS 191762 HAS SOPS 191762 HAS SOUS 117759 HAS SOUPS 117759 WITH SCORE 117950.762
AT ITER 9607 NEW BEST:: SOT 387385 SOS 191688 HAS SOPS 191688 HAS SOUS 117759 HAS SOUPS 117759 WITH SCORE 117950.688
AT ITER 9641 NEW BEST:: SOT 387385 SOS 191646 HAS SOPS 191646 HAS SOUS 117759 HAS SOUPS 117759 WITH SCORE 117950.646
AT ITER 9644 NEW BEST:: SOT 387385 SOS 191641 HAS SOPS 191641 HAS SOUS 117759 HAS SOUPS 117759 WITH SCORE 117950.641
AT ITER 9650 NEW BEST:: SOT 387401 SOS 191415 HAS SOPS 191415 HAS SOUS 117731 HAS SOUPS 117731 WITH SCORE 117922.415
AT ITER 9656 NEW BEST:: SOT 387415 SOS 191429 HAS SOPS 191429 HAS SOUS 117719 HAS SOUPS 117719 WITH SCORE 117910.429
AT ITER 9666 NEW BEST:: SOT 387413 SOS 191427 HAS SOPS 191427 HAS SOUS 117715 HAS SOUPS 117715 WITH SCORE 117906.427
AT ITER 9701 NEW BEST:: SOT 387423 SOS 191437 HAS SOPS 191437 HAS SOUS 117702 HAS SOUPS 117702 WITH SCORE 117893.437
AT ITER 9704 NEW BEST:: SOT 387420 SOS 191434 HAS SOPS 191434 HAS SOUS 117696 HAS SOUPS 117696 WITH SCORE 117887.434
AT ITER 9706 NEW BEST:: SOT 387446 SOS 191460 HAS SOPS 191460 HAS SOUS 117667 HAS SOUPS 117667 WITH SCORE 117858.46
AT ITER 9709 NEW BEST:: SOT 387384 SOS 191414 HAS SOPS 191414 HAS SOUS 117621 HAS SOUPS 117621 WITH SCORE 117812.414
AT ITER 9713 NEW BEST:: SOT 387378 SOS 191408 HAS SOPS 191408 HAS SOUS 117615 HAS SOUPS 117615 WITH SCORE 117806.408
AT ITER 9744 NEW BEST:: SOT 387375 SOS 191402 HAS SOPS 191402 HAS SOUS 117609 HAS SOUPS 117609 WITH SCORE 117800.402
AT ITER 9767 NEW BEST:: SOT 387375 SOS 191402 HAS SOPS 191402 HAS SOUS 117561 HAS SOUPS 117561 WITH SCORE 117752.402
AT ITER 9781 NEW BEST:: SOT 387332 SOS 191359 HAS SOPS 191359 HAS SOUS 117518 HAS SOUPS 117518 WITH SCORE 117709.359
AT ITER 9798 NEW BEST:: SOT 387321 SOS 191348 HAS SOPS 191348 HAS SOUS 117475 HAS SOUPS 117475 WITH SCORE 117666.348
AT ITER 9828 NEW BEST:: SOT 387283 SOS 191310 HAS SOPS 191310 HAS SOUS 117475 HAS SOUPS 117475 WITH SCORE 117666.31
AT ITER 9829 NEW BEST:: SOT 387278 SOS 191205 HAS SOPS 191205 HAS SOUS 117449 HAS SOUPS 117449 WITH SCORE 117640.205
AT ITER 9851 NEW BEST:: SOT 387256 SOS 191161 HAS SOPS 191161 HAS SOUS 117405 HAS SOUPS 117405 WITH SCORE 117596.161
AT ITER 9859 NEW BEST:: SOT 387232 SOS 191137 HAS SOPS 191137 HAS SOUS 117357 HAS SOUPS 117357 WITH SCORE 117548.137
AT ITER 9873 NEW BEST:: SOT 387180 SOS 191085 HAS SOPS 191085 HAS SOUS 117357 HAS SOUPS 117357 WITH SCORE 117548.085
AT ITER 9891 NEW BEST:: SOT 387190 SOS 191177 HAS SOPS 191177 HAS SOUS 117351 HAS SOUPS 117351 WITH SCORE 117542.177
AT ITER 9911 NEW BEST:: SOT 387190 SOS 191110 HAS SOPS 191110 HAS SOUS 117342 HAS SOUPS 117342 WITH SCORE 117533.11
AT ITER 9965 NEW BEST:: SOT 387187 SOS 190644 HAS SOPS 190644 HAS SOUS 117336 HAS SOUPS 117336 WITH SCORE 117526.644
AT ITER 9990 NEW BEST:: SOT 387171 SOS 191076 HAS SOPS 191076 HAS SOUS 117304 HAS SOUPS 117304 WITH SCORE 117495.076
AT ITER 9991 NEW BEST:: SOT 387171 SOS 191042 HAS SOPS 191042 HAS SOUS 117304 HAS SOUPS 117304 WITH SCORE 117495.042
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12687196 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138260 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="DatabaseWithMutex-COL-10"
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 DatabaseWithMutex-COL-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473201040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-10.tgz
mv DatabaseWithMutex-COL-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;