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.r483-tall-167912696501048.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 UtilityControlRoom-COL-Z4T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 8.4K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679187219606

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=UtilityControlRoom-COL-Z4T3N10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:53:43] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:53:43] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:53:43] [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-19 00:53:43] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:53:43] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 655 ms
[2023-03-19 00:53:43] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 376 PT places and 750.0 transition bindings in 25 ms.
[2023-03-19 00:53:44] [INFO ] Unfolded HLPN to a Petri net with 376 places and 750 transitions 2410 arcs in 62 ms.
[2023-03-19 00:53:44] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Drop transitions removed 40 transitions
Redundant transition composition rules discarded 40 transitions
[2023-03-19 00:53:44] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 376 places, 550 transitions and 1610 arcs took 15 ms.
Total runtime 995 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T3N10
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: 376 places, 550 transitions, 1610 arcs.
AT ITER 0 NEW BEST:: SOT 143045 SOS 94928 HAS SOPS 94928 HAS SOUS 61667 HAS SOUPS 61667 WITH SCORE 61761.928
AT ITER 2 NEW BEST:: SOT 143029 SOS 94912 HAS SOPS 94912 HAS SOUS 61601 HAS SOUPS 61601 WITH SCORE 61695.912
AT ITER 4 NEW BEST:: SOT 143029 SOS 94912 HAS SOPS 94912 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61691.912
AT ITER 13 NEW BEST:: SOT 143029 SOS 94998 HAS SOPS 94998 HAS SOUS 61577 HAS SOUPS 61577 WITH SCORE 61671.998
AT ITER 20 NEW BEST:: SOT 142997 SOS 94747 HAS SOPS 94747 HAS SOUS 61545 HAS SOUPS 61545 WITH SCORE 61639.747
AT ITER 21 NEW BEST:: SOT 142966 SOS 94768 HAS SOPS 94768 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61556.768
AT ITER 24 NEW BEST:: SOT 142810 SOS 95022 HAS SOPS 95022 HAS SOUS 61448 HAS SOUPS 61448 WITH SCORE 61543.022
AT ITER 35 NEW BEST:: SOT 142805 SOS 95017 HAS SOPS 95017 HAS SOUS 61405 HAS SOUPS 61405 WITH SCORE 61500.017
AT ITER 38 NEW BEST:: SOT 141579 SOS 93922 HAS SOPS 93922 HAS SOUS 60302 HAS SOUPS 60302 WITH SCORE 60395.922
AT ITER 40 NEW BEST:: SOT 141593 SOS 93936 HAS SOPS 93936 HAS SOUS 60278 HAS SOUPS 60278 WITH SCORE 60371.936
AT ITER 48 NEW BEST:: SOT 141545 SOS 93903 HAS SOPS 93903 HAS SOUS 60212 HAS SOUPS 60212 WITH SCORE 60305.903
AT ITER 52 NEW BEST:: SOT 141545 SOS 93903 HAS SOPS 93903 HAS SOUS 60208 HAS SOUPS 60208 WITH SCORE 60301.903
AT ITER 54 NEW BEST:: SOT 141545 SOS 93818 HAS SOPS 93818 HAS SOUS 60019 HAS SOUPS 60019 WITH SCORE 60112.818
AT ITER 55 NEW BEST:: SOT 141510 SOS 93838 HAS SOPS 93838 HAS SOUS 59929 HAS SOUPS 59929 WITH SCORE 60022.838
AT ITER 56 NEW BEST:: SOT 141510 SOS 93812 HAS SOPS 93812 HAS SOUS 59823 HAS SOUPS 59823 WITH SCORE 59916.812
AT ITER 61 NEW BEST:: SOT 141442 SOS 92745 HAS SOPS 92745 HAS SOUS 59781 HAS SOUPS 59781 WITH SCORE 59873.745
AT ITER 63 NEW BEST:: SOT 141442 SOS 92685 HAS SOPS 92685 HAS SOUS 59447 HAS SOUPS 59447 WITH SCORE 59539.685
AT ITER 68 NEW BEST:: SOT 141442 SOS 92662 HAS SOPS 92662 HAS SOUS 59341 HAS SOUPS 59341 WITH SCORE 59433.662
AT ITER 73 NEW BEST:: SOT 141442 SOS 92640 HAS SOPS 92640 HAS SOUS 59181 HAS SOUPS 59181 WITH SCORE 59273.64
AT ITER 77 NEW BEST:: SOT 141362 SOS 92562 HAS SOPS 92562 HAS SOUS 59111 HAS SOUPS 59111 WITH SCORE 59203.562
AT ITER 80 NEW BEST:: SOT 141328 SOS 92357 HAS SOPS 92357 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59169.357
AT ITER 83 NEW BEST:: SOT 141328 SOS 92318 HAS SOPS 92318 HAS SOUS 58855 HAS SOUPS 58855 WITH SCORE 58947.318
AT ITER 91 NEW BEST:: SOT 141824 SOS 91394 HAS SOPS 91394 HAS SOUS 57318 HAS SOUPS 57318 WITH SCORE 57409.394
AT ITER 92 NEW BEST:: SOT 141824 SOS 91221 HAS SOPS 91221 HAS SOUS 57132 HAS SOUPS 57132 WITH SCORE 57223.221
AT ITER 93 NEW BEST:: SOT 141824 SOS 91391 HAS SOPS 91391 HAS SOUS 57012 HAS SOUPS 57012 WITH SCORE 57103.391
AT ITER 94 NEW BEST:: SOT 141830 SOS 91286 HAS SOPS 91286 HAS SOUS 56660 HAS SOUPS 56660 WITH SCORE 56751.286
AT ITER 95 NEW BEST:: SOT 141830 SOS 91206 HAS SOPS 91206 HAS SOUS 56346 HAS SOUPS 56346 WITH SCORE 56437.206
AT ITER 98 NEW BEST:: SOT 141830 SOS 91041 HAS SOPS 91041 HAS SOUS 56227 HAS SOUPS 56227 WITH SCORE 56318.041
AT ITER 101 NEW BEST:: SOT 141830 SOS 90866 HAS SOPS 90866 HAS SOUS 55966 HAS SOUPS 55966 WITH SCORE 56056.866
AT ITER 103 NEW BEST:: SOT 141830 SOS 90753 HAS SOPS 90753 HAS SOUS 55447 HAS SOUPS 55447 WITH SCORE 55537.753
AT ITER 114 NEW BEST:: SOT 141830 SOS 90826 HAS SOPS 90826 HAS SOUS 55438 HAS SOUPS 55438 WITH SCORE 55528.826
AT ITER 115 NEW BEST:: SOT 141830 SOS 90700 HAS SOPS 90700 HAS SOUS 55146 HAS SOUPS 55146 WITH SCORE 55236.7
AT ITER 116 NEW BEST:: SOT 141810 SOS 90587 HAS SOPS 90587 HAS SOUS 55126 HAS SOUPS 55126 WITH SCORE 55216.587
AT ITER 120 NEW BEST:: SOT 141810 SOS 90587 HAS SOPS 90587 HAS SOUS 55122 HAS SOUPS 55122 WITH SCORE 55212.587
AT ITER 123 NEW BEST:: SOT 141810 SOS 90408 HAS SOPS 90408 HAS SOUS 54854 HAS SOUPS 54854 WITH SCORE 54944.408
AT ITER 124 NEW BEST:: SOT 141810 SOS 90408 HAS SOPS 90408 HAS SOUS 54848 HAS SOUPS 54848 WITH SCORE 54938.408
AT ITER 127 NEW BEST:: SOT 141810 SOS 90321 HAS SOPS 90321 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54807.321
AT ITER 130 NEW BEST:: SOT 141810 SOS 90262 HAS SOPS 90262 HAS SOUS 54658 HAS SOUPS 54658 WITH SCORE 54748.262
AT ITER 133 NEW BEST:: SOT 141810 SOS 90262 HAS SOPS 90262 HAS SOUS 54657 HAS SOUPS 54657 WITH SCORE 54747.262
AT ITER 147 NEW BEST:: SOT 141798 SOS 90181 HAS SOPS 90181 HAS SOUS 54518 HAS SOUPS 54518 WITH SCORE 54608.181
AT ITER 156 NEW BEST:: SOT 141798 SOS 90126 HAS SOPS 90126 HAS SOUS 54295 HAS SOUPS 54295 WITH SCORE 54385.126
AT ITER 168 NEW BEST:: SOT 141798 SOS 90126 HAS SOPS 90126 HAS SOUS 54209 HAS SOUPS 54209 WITH SCORE 54299.126
AT ITER 169 NEW BEST:: SOT 141798 SOS 90126 HAS SOPS 90126 HAS SOUS 54200 HAS SOUPS 54200 WITH SCORE 54290.126
AT ITER 188 NEW BEST:: SOT 141780 SOS 90036 HAS SOPS 90036 HAS SOUS 54164 HAS SOUPS 54164 WITH SCORE 54254.036
AT ITER 190 NEW BEST:: SOT 141753 SOS 89973 HAS SOPS 89973 HAS SOUS 54128 HAS SOUPS 54128 WITH SCORE 54217.973
AT ITER 199 NEW BEST:: SOT 141790 SOS 90240 HAS SOPS 90240 HAS SOUS 54084 HAS SOUPS 54084 WITH SCORE 54174.24
AT ITER 200 NEW BEST:: SOT 141790 SOS 90162 HAS SOPS 90162 HAS SOUS 54067 HAS SOUPS 54067 WITH SCORE 54157.162
AT ITER 203 NEW BEST:: SOT 141770 SOS 90142 HAS SOPS 90142 HAS SOUS 54027 HAS SOUPS 54027 WITH SCORE 54117.142
AT ITER 211 NEW BEST:: SOT 141770 SOS 90067 HAS SOPS 90067 HAS SOUS 53989 HAS SOUPS 53989 WITH SCORE 54079.067
AT ITER 216 NEW BEST:: SOT 141770 SOS 90067 HAS SOPS 90067 HAS SOUS 53925 HAS SOUPS 53925 WITH SCORE 54015.067
AT ITER 218 NEW BEST:: SOT 141730 SOS 89947 HAS SOPS 89947 HAS SOUS 53737 HAS SOUPS 53737 WITH SCORE 53826.947
AT ITER 227 NEW BEST:: SOT 141730 SOS 89935 HAS SOPS 89935 HAS SOUS 53540 HAS SOUPS 53540 WITH SCORE 53629.935
AT ITER 228 NEW BEST:: SOT 141730 SOS 89935 HAS SOPS 89935 HAS SOUS 53539 HAS SOUPS 53539 WITH SCORE 53628.935
AT ITER 233 NEW BEST:: SOT 141793 SOS 89890 HAS SOPS 89890 HAS SOUS 53396 HAS SOUPS 53396 WITH SCORE 53485.89
AT ITER 237 NEW BEST:: SOT 141830 SOS 89956 HAS SOPS 89956 HAS SOUS 53382 HAS SOUPS 53382 WITH SCORE 53471.956
AT ITER 241 NEW BEST:: SOT 141853 SOS 89904 HAS SOPS 89904 HAS SOUS 53353 HAS SOUPS 53353 WITH SCORE 53442.904
AT ITER 244 NEW BEST:: SOT 141853 SOS 89807 HAS SOPS 89807 HAS SOUS 53076 HAS SOUPS 53076 WITH SCORE 53165.807
AT ITER 254 NEW BEST:: SOT 141853 SOS 89730 HAS SOPS 89730 HAS SOUS 52992 HAS SOUPS 52992 WITH SCORE 53081.73
AT ITER 255 NEW BEST:: SOT 141853 SOS 89661 HAS SOPS 89661 HAS SOUS 52920 HAS SOUPS 52920 WITH SCORE 53009.661
AT ITER 261 NEW BEST:: SOT 141824 SOS 89298 HAS SOPS 89298 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52952.298
AT ITER 268 NEW BEST:: SOT 141824 SOS 89246 HAS SOPS 89246 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52823.246
AT ITER 272 NEW BEST:: SOT 141771 SOS 89029 HAS SOPS 89029 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52823.029
AT ITER 275 NEW BEST:: SOT 141771 SOS 89029 HAS SOPS 89029 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52811.029
AT ITER 279 NEW BEST:: SOT 141771 SOS 89029 HAS SOPS 89029 HAS SOUS 52677 HAS SOUPS 52677 WITH SCORE 52766.029
AT ITER 281 NEW BEST:: SOT 142038 SOS 87581 HAS SOPS 87581 HAS SOUS 52427 HAS SOUPS 52427 WITH SCORE 52514.581
AT ITER 292 NEW BEST:: SOT 142038 SOS 87581 HAS SOPS 87581 HAS SOUS 52423 HAS SOUPS 52423 WITH SCORE 52510.581
AT ITER 297 NEW BEST:: SOT 142038 SOS 87581 HAS SOPS 87581 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52474.581
AT ITER 298 NEW BEST:: SOT 142038 SOS 87581 HAS SOPS 87581 HAS SOUS 52375 HAS SOUPS 52375 WITH SCORE 52462.581
AT ITER 301 NEW BEST:: SOT 142038 SOS 87581 HAS SOPS 87581 HAS SOUS 52343 HAS SOUPS 52343 WITH SCORE 52430.581
AT ITER 316 NEW BEST:: SOT 142052 SOS 87481 HAS SOPS 87481 HAS SOUS 52281 HAS SOUPS 52281 WITH SCORE 52368.481
AT ITER 323 NEW BEST:: SOT 129659 SOS 83972 HAS SOPS 83972 HAS SOUS 40005 HAS SOUPS 40005 WITH SCORE 40088.972
AT ITER 325 NEW BEST:: SOT 129591 SOS 83904 HAS SOPS 83904 HAS SOUS 39925 HAS SOUPS 39925 WITH SCORE 40008.904
AT ITER 331 NEW BEST:: SOT 129540 SOS 83853 HAS SOPS 83853 HAS SOUS 39897 HAS SOUPS 39897 WITH SCORE 39980.853
AT ITER 333 NEW BEST:: SOT 129548 SOS 83846 HAS SOPS 83846 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39973.846
AT ITER 337 NEW BEST:: SOT 129496 SOS 83802 HAS SOPS 83802 HAS SOUS 39854 HAS SOUPS 39854 WITH SCORE 39937.802
AT ITER 345 NEW BEST:: SOT 129323 SOS 82763 HAS SOPS 82763 HAS SOUS 39722 HAS SOUPS 39722 WITH SCORE 39804.763
AT ITER 349 NEW BEST:: SOT 129313 SOS 82743 HAS SOPS 82743 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39794.743
AT ITER 354 NEW BEST:: SOT 129303 SOS 82733 HAS SOPS 82733 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39684.733
AT ITER 356 NEW BEST:: SOT 129363 SOS 82793 HAS SOPS 82793 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39517.793
AT ITER 357 NEW BEST:: SOT 129274 SOS 82688 HAS SOPS 82688 HAS SOUS 39273 HAS SOUPS 39273 WITH SCORE 39355.688
AT ITER 358 NEW BEST:: SOT 129238 SOS 82580 HAS SOPS 82580 HAS SOUS 39237 HAS SOUPS 39237 WITH SCORE 39319.58
AT ITER 363 NEW BEST:: SOT 129244 SOS 82590 HAS SOPS 82590 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39234.59
AT ITER 368 NEW BEST:: SOT 129329 SOS 82707 HAS SOPS 82707 HAS SOUS 39116 HAS SOUPS 39116 WITH SCORE 39198.707
AT ITER 373 NEW BEST:: SOT 129310 SOS 82688 HAS SOPS 82688 HAS SOUS 39093 HAS SOUPS 39093 WITH SCORE 39175.688
AT ITER 377 NEW BEST:: SOT 129217 SOS 82529 HAS SOPS 82529 HAS SOUS 38905 HAS SOUPS 38905 WITH SCORE 38987.529
AT ITER 390 NEW BEST:: SOT 129190 SOS 82480 HAS SOPS 82480 HAS SOUS 38851 HAS SOUPS 38851 WITH SCORE 38933.48
AT ITER 394 NEW BEST:: SOT 129185 SOS 82475 HAS SOPS 82475 HAS SOUS 38795 HAS SOUPS 38795 WITH SCORE 38877.475
AT ITER 403 NEW BEST:: SOT 129117 SOS 82407 HAS SOPS 82407 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38777.407
AT ITER 413 NEW BEST:: SOT 129113 SOS 82403 HAS SOPS 82403 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38769.403
AT ITER 417 NEW BEST:: SOT 129111 SOS 82401 HAS SOPS 82401 HAS SOUS 38685 HAS SOUPS 38685 WITH SCORE 38767.401
AT ITER 419 NEW BEST:: SOT 129084 SOS 82374 HAS SOPS 82374 HAS SOUS 38631 HAS SOUPS 38631 WITH SCORE 38713.374
AT ITER 421 NEW BEST:: SOT 129081 SOS 82371 HAS SOPS 82371 HAS SOUS 38586 HAS SOUPS 38586 WITH SCORE 38668.371
AT ITER 423 NEW BEST:: SOT 129208 SOS 82498 HAS SOPS 82498 HAS SOUS 38429 HAS SOUPS 38429 WITH SCORE 38511.498
AT ITER 424 NEW BEST:: SOT 129208 SOS 82498 HAS SOPS 82498 HAS SOUS 38386 HAS SOUPS 38386 WITH SCORE 38468.498
AT ITER 426 NEW BEST:: SOT 129208 SOS 82498 HAS SOPS 82498 HAS SOUS 38358 HAS SOUPS 38358 WITH SCORE 38440.498
AT ITER 428 NEW BEST:: SOT 129200 SOS 82490 HAS SOPS 82490 HAS SOUS 38014 HAS SOUPS 38014 WITH SCORE 38096.49
AT ITER 433 NEW BEST:: SOT 129139 SOS 82060 HAS SOPS 82060 HAS SOUS 37958 HAS SOUPS 37958 WITH SCORE 38040.06
AT ITER 443 NEW BEST:: SOT 129139 SOS 82060 HAS SOPS 82060 HAS SOUS 37921 HAS SOUPS 37921 WITH SCORE 38003.06
AT ITER 447 NEW BEST:: SOT 129133 SOS 82054 HAS SOPS 82054 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37997.054
AT ITER 454 NEW BEST:: SOT 129105 SOS 81934 HAS SOPS 81934 HAS SOUS 37842 HAS SOUPS 37842 WITH SCORE 37923.934
AT ITER 463 NEW BEST:: SOT 128891 SOS 81720 HAS SOPS 81720 HAS SOUS 37814 HAS SOUPS 37814 WITH SCORE 37895.72
AT ITER 474 NEW BEST:: SOT 128881 SOS 81710 HAS SOPS 81710 HAS SOUS 37804 HAS SOUPS 37804 WITH SCORE 37885.71
AT ITER 493 NEW BEST:: SOT 128801 SOS 81630 HAS SOPS 81630 HAS SOUS 37644 HAS SOUPS 37644 WITH SCORE 37725.63
AT ITER 495 NEW BEST:: SOT 128794 SOS 81558 HAS SOPS 81558 HAS SOUS 37621 HAS SOUPS 37621 WITH SCORE 37702.558
AT ITER 529 NEW BEST:: SOT 128794 SOS 81546 HAS SOPS 81546 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37699.546
AT ITER 545 NEW BEST:: SOT 128881 SOS 81633 HAS SOPS 81633 HAS SOUS 37548 HAS SOUPS 37548 WITH SCORE 37629.633
AT ITER 546 NEW BEST:: SOT 128842 SOS 81594 HAS SOPS 81594 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37594.594
AT ITER 559 NEW BEST:: SOT 128834 SOS 81586 HAS SOPS 81586 HAS SOUS 37502 HAS SOUPS 37502 WITH SCORE 37583.586
AT ITER 565 NEW BEST:: SOT 128777 SOS 81529 HAS SOPS 81529 HAS SOUS 37472 HAS SOUPS 37472 WITH SCORE 37553.529
AT ITER 568 NEW BEST:: SOT 128716 SOS 81468 HAS SOPS 81468 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37431.468
AT ITER 571 NEW BEST:: SOT 128739 SOS 81491 HAS SOPS 81491 HAS SOUS 37341 HAS SOUPS 37341 WITH SCORE 37422.491
AT ITER 575 NEW BEST:: SOT 128734 SOS 81436 HAS SOPS 81436 HAS SOUS 37341 HAS SOUPS 37341 WITH SCORE 37422.436
AT ITER 591 NEW BEST:: SOT 128716 SOS 81418 HAS SOPS 81418 HAS SOUS 37305 HAS SOUPS 37305 WITH SCORE 37386.418
AT ITER 592 NEW BEST:: SOT 128689 SOS 81391 HAS SOPS 81391 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37337.391
AT ITER 597 NEW BEST:: SOT 128696 SOS 81398 HAS SOPS 81398 HAS SOUS 37249 HAS SOUPS 37249 WITH SCORE 37330.398
AT ITER 610 NEW BEST:: SOT 128559 SOS 80568 HAS SOPS 80568 HAS SOUS 37230 HAS SOUPS 37230 WITH SCORE 37310.568
AT ITER 612 NEW BEST:: SOT 128502 SOS 80504 HAS SOPS 80504 HAS SOUS 37098 HAS SOUPS 37098 WITH SCORE 37178.504
AT ITER 614 NEW BEST:: SOT 128489 SOS 80491 HAS SOPS 80491 HAS SOUS 37081 HAS SOUPS 37081 WITH SCORE 37161.491
AT ITER 617 NEW BEST:: SOT 128522 SOS 80524 HAS SOPS 80524 HAS SOUS 37058 HAS SOUPS 37058 WITH SCORE 37138.524
AT ITER 627 NEW BEST:: SOT 128512 SOS 80514 HAS SOPS 80514 HAS SOUS 37004 HAS SOUPS 37004 WITH SCORE 37084.514
AT ITER 634 NEW BEST:: SOT 128482 SOS 80484 HAS SOPS 80484 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37068.484
AT ITER 643 NEW BEST:: SOT 128357 SOS 79858 HAS SOPS 79858 HAS SOUS 36931 HAS SOUPS 36931 WITH SCORE 37010.858
AT ITER 644 NEW BEST:: SOT 128347 SOS 79828 HAS SOPS 79828 HAS SOUS 36921 HAS SOUPS 36921 WITH SCORE 37000.828
AT ITER 648 NEW BEST:: SOT 128347 SOS 79828 HAS SOPS 79828 HAS SOUS 36913 HAS SOUPS 36913 WITH SCORE 36992.828
AT ITER 657 NEW BEST:: SOT 128347 SOS 79828 HAS SOPS 79828 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36988.828
AT ITER 659 NEW BEST:: SOT 128347 SOS 79790 HAS SOPS 79790 HAS SOUS 36890 HAS SOUPS 36890 WITH SCORE 36969.79
AT ITER 678 NEW BEST:: SOT 128321 SOS 79764 HAS SOPS 79764 HAS SOUS 36880 HAS SOUPS 36880 WITH SCORE 36959.764
AT ITER 690 NEW BEST:: SOT 128327 SOS 79820 HAS SOPS 79820 HAS SOUS 36840 HAS SOUPS 36840 WITH SCORE 36919.82
AT ITER 695 NEW BEST:: SOT 128315 SOS 79808 HAS SOPS 79808 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36895.808
AT ITER 698 NEW BEST:: SOT 128255 SOS 79262 HAS SOPS 79262 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36872.262
AT ITER 716 NEW BEST:: SOT 128261 SOS 79256 HAS SOPS 79256 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36866.256
AT ITER 717 NEW BEST:: SOT 128242 SOS 79237 HAS SOPS 79237 HAS SOUS 36749 HAS SOUPS 36749 WITH SCORE 36828.237
AT ITER 718 NEW BEST:: SOT 128247 SOS 79311 HAS SOPS 79311 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36760.311
AT ITER 725 NEW BEST:: SOT 128204 SOS 79377 HAS SOPS 79377 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36707.377
AT ITER 733 NEW BEST:: SOT 128166 SOS 79187 HAS SOPS 79187 HAS SOUS 36596 HAS SOUPS 36596 WITH SCORE 36675.187
AT ITER 739 NEW BEST:: SOT 128104 SOS 78724 HAS SOPS 78724 HAS SOUS 36534 HAS SOUPS 36534 WITH SCORE 36612.724
AT ITER 747 NEW BEST:: SOT 128073 SOS 78660 HAS SOPS 78660 HAS SOUS 36417 HAS SOUPS 36417 WITH SCORE 36495.66
AT ITER 748 NEW BEST:: SOT 128108 SOS 78695 HAS SOPS 78695 HAS SOUS 36292 HAS SOUPS 36292 WITH SCORE 36370.695
AT ITER 753 NEW BEST:: SOT 128106 SOS 78693 HAS SOPS 78693 HAS SOUS 36260 HAS SOUPS 36260 WITH SCORE 36338.693
AT ITER 762 NEW BEST:: SOT 128088 SOS 78675 HAS SOPS 78675 HAS SOUS 36234 HAS SOUPS 36234 WITH SCORE 36312.675
AT ITER 763 NEW BEST:: SOT 128065 SOS 78652 HAS SOPS 78652 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36243.652
AT ITER 776 NEW BEST:: SOT 128042 SOS 78606 HAS SOPS 78606 HAS SOUS 36134 HAS SOUPS 36134 WITH SCORE 36212.606
AT ITER 780 NEW BEST:: SOT 127993 SOS 78557 HAS SOPS 78557 HAS SOUS 36113 HAS SOUPS 36113 WITH SCORE 36191.557
AT ITER 783 NEW BEST:: SOT 127560 SOS 78124 HAS SOPS 78124 HAS SOUS 35869 HAS SOUPS 35869 WITH SCORE 35947.124
AT ITER 786 NEW BEST:: SOT 127528 SOS 78092 HAS SOPS 78092 HAS SOUS 35759 HAS SOUPS 35759 WITH SCORE 35837.092
AT ITER 799 NEW BEST:: SOT 127437 SOS 78001 HAS SOPS 78001 HAS SOUS 35659 HAS SOUPS 35659 WITH SCORE 35737.001
AT ITER 803 NEW BEST:: SOT 127435 SOS 77817 HAS SOPS 77817 HAS SOUS 35494 HAS SOUPS 35494 WITH SCORE 35571.817
AT ITER 805 NEW BEST:: SOT 127370 SOS 77705 HAS SOPS 77705 HAS SOUS 35297 HAS SOUPS 35297 WITH SCORE 35374.705
AT ITER 814 NEW BEST:: SOT 127370 SOS 77703 HAS SOPS 77703 HAS SOUS 35297 HAS SOUPS 35297 WITH SCORE 35374.703
AT ITER 821 NEW BEST:: SOT 127360 SOS 77665 HAS SOPS 77665 HAS SOUS 35086 HAS SOUPS 35086 WITH SCORE 35163.665
AT ITER 828 NEW BEST:: SOT 127357 SOS 77662 HAS SOPS 77662 HAS SOUS 35080 HAS SOUPS 35080 WITH SCORE 35157.662
AT ITER 832 NEW BEST:: SOT 127357 SOS 77662 HAS SOPS 77662 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35118.662
AT ITER 833 NEW BEST:: SOT 127357 SOS 77662 HAS SOPS 77662 HAS SOUS 35033 HAS SOUPS 35033 WITH SCORE 35110.662
AT ITER 850 NEW BEST:: SOT 127284 SOS 77082 HAS SOPS 77082 HAS SOUS 35013 HAS SOUPS 35013 WITH SCORE 35090.082
AT ITER 851 NEW BEST:: SOT 127284 SOS 77029 HAS SOPS 77029 HAS SOUS 35005 HAS SOUPS 35005 WITH SCORE 35082.029
AT ITER 864 NEW BEST:: SOT 127284 SOS 77011 HAS SOPS 77011 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35073.011
AT ITER 865 NEW BEST:: SOT 127299 SOS 76951 HAS SOPS 76951 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 35012.951
AT ITER 867 NEW BEST:: SOT 127220 SOS 76876 HAS SOPS 76876 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34963.876
AT ITER 878 NEW BEST:: SOT 127174 SOS 76662 HAS SOPS 76662 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34963.662
AT ITER 894 NEW BEST:: SOT 127169 SOS 76657 HAS SOPS 76657 HAS SOUS 34877 HAS SOUPS 34877 WITH SCORE 34953.657
AT ITER 904 NEW BEST:: SOT 127087 SOS 76575 HAS SOPS 76575 HAS SOUS 34877 HAS SOUPS 34877 WITH SCORE 34953.575
AT ITER 924 NEW BEST:: SOT 127084 SOS 76572 HAS SOPS 76572 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34950.572
AT ITER 928 NEW BEST:: SOT 127035 SOS 76530 HAS SOPS 76530 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34923.53
AT ITER 932 NEW BEST:: SOT 127034 SOS 76529 HAS SOPS 76529 HAS SOUS 34845 HAS SOUPS 34845 WITH SCORE 34921.529
AT ITER 936 NEW BEST:: SOT 127009 SOS 76322 HAS SOPS 76322 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34916.322
AT ITER 939 NEW BEST:: SOT 126964 SOS 76277 HAS SOPS 76277 HAS SOUS 34750 HAS SOUPS 34750 WITH SCORE 34826.277
AT ITER 940 NEW BEST:: SOT 126964 SOS 76277 HAS SOPS 76277 HAS SOUS 34749 HAS SOUPS 34749 WITH SCORE 34825.277
AT ITER 943 NEW BEST:: SOT 126826 SOS 76139 HAS SOPS 76139 HAS SOUS 34676 HAS SOUPS 34676 WITH SCORE 34752.139
AT ITER 951 NEW BEST:: SOT 126826 SOS 76139 HAS SOPS 76139 HAS SOUS 34669 HAS SOUPS 34669 WITH SCORE 34745.139
AT ITER 971 NEW BEST:: SOT 126820 SOS 76103 HAS SOPS 76103 HAS SOUS 34648 HAS SOUPS 34648 WITH SCORE 34724.103
AT ITER 981 NEW BEST:: SOT 126799 SOS 75982 HAS SOPS 75982 HAS SOUS 34602 HAS SOUPS 34602 WITH SCORE 34677.982
AT ITER 985 NEW BEST:: SOT 126799 SOS 76006 HAS SOPS 76006 HAS SOUS 34596 HAS SOUPS 34596 WITH SCORE 34672.006
AT ITER 999 NEW BEST:: SOT 126810 SOS 75944 HAS SOPS 75944 HAS SOUS 34591 HAS SOUPS 34591 WITH SCORE 34666.944
AT ITER 1004 NEW BEST:: SOT 126721 SOS 75855 HAS SOPS 75855 HAS SOUS 34415 HAS SOUPS 34415 WITH SCORE 34490.855
AT ITER 1012 NEW BEST:: SOT 126663 SOS 75765 HAS SOPS 75765 HAS SOUS 34384 HAS SOUPS 34384 WITH SCORE 34459.765
AT ITER 1039 NEW BEST:: SOT 126633 SOS 75735 HAS SOPS 75735 HAS SOUS 34354 HAS SOUPS 34354 WITH SCORE 34429.735
AT ITER 1043 NEW BEST:: SOT 126658 SOS 76185 HAS SOPS 76185 HAS SOUS 34327 HAS SOUPS 34327 WITH SCORE 34403.185
AT ITER 1044 NEW BEST:: SOT 126658 SOS 76185 HAS SOPS 76185 HAS SOUS 34323 HAS SOUPS 34323 WITH SCORE 34399.185
AT ITER 1045 NEW BEST:: SOT 126679 SOS 76156 HAS SOPS 76156 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34310.156
AT ITER 1052 NEW BEST:: SOT 126658 SOS 76081 HAS SOPS 76081 HAS SOUS 34225 HAS SOUPS 34225 WITH SCORE 34301.081
AT ITER 1055 NEW BEST:: SOT 126650 SOS 76081 HAS SOPS 76081 HAS SOUS 34217 HAS SOUPS 34217 WITH SCORE 34293.081
AT ITER 1064 NEW BEST:: SOT 126627 SOS 76058 HAS SOPS 76058 HAS SOUS 34216 HAS SOUPS 34216 WITH SCORE 34292.058
AT ITER 1078 NEW BEST:: SOT 126605 SOS 76102 HAS SOPS 76102 HAS SOUS 34194 HAS SOUPS 34194 WITH SCORE 34270.102
AT ITER 1084 NEW BEST:: SOT 126686 SOS 76183 HAS SOPS 76183 HAS SOUS 34130 HAS SOUPS 34130 WITH SCORE 34206.183
AT ITER 1092 NEW BEST:: SOT 126659 SOS 76042 HAS SOPS 76042 HAS SOUS 34103 HAS SOUPS 34103 WITH SCORE 34179.042
AT ITER 1097 NEW BEST:: SOT 126658 SOS 76024 HAS SOPS 76024 HAS SOUS 34068 HAS SOUPS 34068 WITH SCORE 34144.024
AT ITER 1103 NEW BEST:: SOT 126629 SOS 75993 HAS SOPS 75993 HAS SOUS 34016 HAS SOUPS 34016 WITH SCORE 34091.993
AT ITER 1107 NEW BEST:: SOT 126634 SOS 75946 HAS SOPS 75946 HAS SOUS 33995 HAS SOUPS 33995 WITH SCORE 34070.946
AT ITER 1118 NEW BEST:: SOT 126625 SOS 75901 HAS SOPS 75901 HAS SOUS 33986 HAS SOUPS 33986 WITH SCORE 34061.901
AT ITER 1130 NEW BEST:: SOT 126609 SOS 75735 HAS SOPS 75735 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34039.735
AT ITER 1137 NEW BEST:: SOT 126630 SOS 75743 HAS SOPS 75743 HAS SOUS 33951 HAS SOUPS 33951 WITH SCORE 34026.743
AT ITER 1176 NEW BEST:: SOT 126645 SOS 75758 HAS SOPS 75758 HAS SOUS 33923 HAS SOUPS 33923 WITH SCORE 33998.758
AT ITER 1182 NEW BEST:: SOT 126768 SOS 75881 HAS SOPS 75881 HAS SOUS 33794 HAS SOUPS 33794 WITH SCORE 33869.881
AT ITER 1204 NEW BEST:: SOT 126762 SOS 75875 HAS SOPS 75875 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33857.875
AT ITER 1206 NEW BEST:: SOT 126758 SOS 75943 HAS SOPS 75943 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33834.943
AT ITER 1214 NEW BEST:: SOT 126742 SOS 76018 HAS SOPS 76018 HAS SOUS 33742 HAS SOUPS 33742 WITH SCORE 33818.018
AT ITER 1232 NEW BEST:: SOT 126710 SOS 75986 HAS SOPS 75986 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33753.986
AT ITER 1233 NEW BEST:: SOT 126607 SOS 75960 HAS SOPS 75960 HAS SOUS 33639 HAS SOUPS 33639 WITH SCORE 33714.96
AT ITER 1238 NEW BEST:: SOT 126570 SOS 75886 HAS SOPS 75886 HAS SOUS 33565 HAS SOUPS 33565 WITH SCORE 33640.886
AT ITER 1247 NEW BEST:: SOT 126500 SOS 75757 HAS SOPS 75757 HAS SOUS 33508 HAS SOUPS 33508 WITH SCORE 33583.757
AT ITER 1258 NEW BEST:: SOT 126116 SOS 75373 HAS SOPS 75373 HAS SOUS 33504 HAS SOUPS 33504 WITH SCORE 33579.373
AT ITER 1260 NEW BEST:: SOT 126113 SOS 75379 HAS SOPS 75379 HAS SOUS 33498 HAS SOUPS 33498 WITH SCORE 33573.379
AT ITER 1264 NEW BEST:: SOT 126147 SOS 75604 HAS SOPS 75604 HAS SOUS 33447 HAS SOUPS 33447 WITH SCORE 33522.604
AT ITER 1267 NEW BEST:: SOT 126118 SOS 75575 HAS SOPS 75575 HAS SOUS 33389 HAS SOUPS 33389 WITH SCORE 33464.575
AT ITER 1281 NEW BEST:: SOT 126174 SOS 75631 HAS SOPS 75631 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33375.631
AT ITER 1305 NEW BEST:: SOT 126174 SOS 75631 HAS SOPS 75631 HAS SOUS 33200 HAS SOUPS 33200 WITH SCORE 33275.631
AT ITER 1310 NEW BEST:: SOT 126165 SOS 75735 HAS SOPS 75735 HAS SOUS 33177 HAS SOUPS 33177 WITH SCORE 33252.735
AT ITER 1316 NEW BEST:: SOT 126161 SOS 75731 HAS SOPS 75731 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33244.731
AT ITER 1318 NEW BEST:: SOT 126161 SOS 75764 HAS SOPS 75764 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33237.764
AT ITER 1320 NEW BEST:: SOT 126137 SOS 75716 HAS SOPS 75716 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33225.716
AT ITER 1329 NEW BEST:: SOT 126134 SOS 75713 HAS SOPS 75713 HAS SOUS 33144 HAS SOUPS 33144 WITH SCORE 33219.713
AT ITER 1330 NEW BEST:: SOT 126158 SOS 75737 HAS SOPS 75737 HAS SOUS 33100 HAS SOUPS 33100 WITH SCORE 33175.737
AT ITER 1334 NEW BEST:: SOT 126118 SOS 75737 HAS SOPS 75737 HAS SOUS 33018 HAS SOUPS 33018 WITH SCORE 33093.737
AT ITER 1341 NEW BEST:: SOT 126099 SOS 75718 HAS SOPS 75718 HAS SOUS 32961 HAS SOUPS 32961 WITH SCORE 33036.718
AT ITER 1342 NEW BEST:: SOT 126103 SOS 75722 HAS SOPS 75722 HAS SOUS 32919 HAS SOUPS 32919 WITH SCORE 32994.722
AT ITER 1387 NEW BEST:: SOT 125859 SOS 76792 HAS SOPS 76792 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32861.792
AT ITER 1390 NEW BEST:: SOT 125835 SOS 73978 HAS SOPS 73978 HAS SOUS 32761 HAS SOUPS 32761 WITH SCORE 32834.978
AT ITER 1395 NEW BEST:: SOT 125801 SOS 73944 HAS SOPS 73944 HAS SOUS 32670 HAS SOUPS 32670 WITH SCORE 32743.944
AT ITER 1403 NEW BEST:: SOT 125477 SOS 72996 HAS SOPS 72996 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32640.996
AT ITER 1404 NEW BEST:: SOT 125494 SOS 73013 HAS SOPS 73013 HAS SOUS 32485 HAS SOUPS 32485 WITH SCORE 32558.013
AT ITER 1407 NEW BEST:: SOT 125489 SOS 73003 HAS SOPS 73003 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32548.003
AT ITER 1423 NEW BEST:: SOT 125440 SOS 72890 HAS SOPS 72890 HAS SOUS 32319 HAS SOUPS 32319 WITH SCORE 32391.89
AT ITER 1424 NEW BEST:: SOT 125419 SOS 72869 HAS SOPS 72869 HAS SOUS 32256 HAS SOUPS 32256 WITH SCORE 32328.869
AT ITER 1432 NEW BEST:: SOT 125396 SOS 72777 HAS SOPS 72777 HAS SOUS 32233 HAS SOUPS 32233 WITH SCORE 32305.777
AT ITER 1433 NEW BEST:: SOT 125372 SOS 72500 HAS SOPS 72500 HAS SOUS 32216 HAS SOUPS 32216 WITH SCORE 32288.5
AT ITER 1442 NEW BEST:: SOT 125333 SOS 72314 HAS SOPS 72314 HAS SOUS 32177 HAS SOUPS 32177 WITH SCORE 32249.314
AT ITER 1443 NEW BEST:: SOT 125313 SOS 72381 HAS SOPS 72381 HAS SOUS 32146 HAS SOUPS 32146 WITH SCORE 32218.381
AT ITER 1456 NEW BEST:: SOT 125270 SOS 72045 HAS SOPS 72045 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32185.045
AT ITER 1463 NEW BEST:: SOT 125269 SOS 72044 HAS SOPS 72044 HAS SOUS 32096 HAS SOUPS 32096 WITH SCORE 32168.044
AT ITER 1499 NEW BEST:: SOT 125268 SOS 71999 HAS SOPS 71999 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32155.999
AT ITER 1506 NEW BEST:: SOT 125240 SOS 71971 HAS SOPS 71971 HAS SOUS 32082 HAS SOUPS 32082 WITH SCORE 32153.971
AT ITER 1515 NEW BEST:: SOT 125240 SOS 71971 HAS SOPS 71971 HAS SOUS 32074 HAS SOUPS 32074 WITH SCORE 32145.971
AT ITER 1517 NEW BEST:: SOT 125295 SOS 71767 HAS SOPS 71767 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32133.767
AT ITER 1541 NEW BEST:: SOT 125549 SOS 71992 HAS SOPS 71992 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32127.992
AT ITER 1554 NEW BEST:: SOT 125577 SOS 71954 HAS SOPS 71954 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32122.954
AT ITER 1563 NEW BEST:: SOT 125555 SOS 71932 HAS SOPS 71932 HAS SOUS 32007 HAS SOUPS 32007 WITH SCORE 32078.932
AT ITER 1570 NEW BEST:: SOT 125479 SOS 71357 HAS SOPS 71357 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31980.357
AT ITER 1583 NEW BEST:: SOT 125477 SOS 71385 HAS SOPS 71385 HAS SOUS 31895 HAS SOUPS 31895 WITH SCORE 31966.385
AT ITER 1587 NEW BEST:: SOT 125477 SOS 71451 HAS SOPS 71451 HAS SOUS 31889 HAS SOUPS 31889 WITH SCORE 31960.451
AT ITER 1588 NEW BEST:: SOT 125456 SOS 71430 HAS SOPS 71430 HAS SOUS 31843 HAS SOUPS 31843 WITH SCORE 31914.43
AT ITER 1591 NEW BEST:: SOT 125541 SOS 71512 HAS SOPS 71512 HAS SOUS 31816 HAS SOUPS 31816 WITH SCORE 31887.512
AT ITER 1599 NEW BEST:: SOT 125572 SOS 71798 HAS SOPS 71798 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31871.798
AT ITER 1604 NEW BEST:: SOT 125550 SOS 71864 HAS SOPS 71864 HAS SOUS 31762 HAS SOUPS 31762 WITH SCORE 31833.864
AT ITER 1629 NEW BEST:: SOT 125517 SOS 71930 HAS SOPS 71930 HAS SOUS 31696 HAS SOUPS 31696 WITH SCORE 31767.93
AT ITER 1630 NEW BEST:: SOT 125512 SOS 71911 HAS SOPS 71911 HAS SOUS 31692 HAS SOUPS 31692 WITH SCORE 31763.911
AT ITER 1635 NEW BEST:: SOT 125536 SOS 71899 HAS SOPS 71899 HAS SOUS 31692 HAS SOUPS 31692 WITH SCORE 31763.899
AT ITER 1645 NEW BEST:: SOT 125535 SOS 71895 HAS SOPS 71895 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31761.895
AT ITER 1646 NEW BEST:: SOT 125532 SOS 71871 HAS SOPS 71871 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31758.871
AT ITER 1647 NEW BEST:: SOT 125534 SOS 71869 HAS SOPS 71869 HAS SOUS 31679 HAS SOUPS 31679 WITH SCORE 31750.869
AT ITER 1653 NEW BEST:: SOT 125534 SOS 71869 HAS SOPS 71869 HAS SOUS 31634 HAS SOUPS 31634 WITH SCORE 31705.869
AT ITER 1669 NEW BEST:: SOT 125524 SOS 71889 HAS SOPS 71889 HAS SOUS 31624 HAS SOUPS 31624 WITH SCORE 31695.889
AT ITER 1728 NEW BEST:: SOT 125515 SOS 71880 HAS SOPS 71880 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31681.88
AT ITER 1736 NEW BEST:: SOT 125482 SOS 71877 HAS SOPS 71877 HAS SOUS 31578 HAS SOUPS 31578 WITH SCORE 31649.877
AT ITER 1754 NEW BEST:: SOT 125426 SOS 71759 HAS SOPS 71759 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31513.759
AT ITER 1755 NEW BEST:: SOT 125419 SOS 71752 HAS SOPS 71752 HAS SOUS 31427 HAS SOUPS 31427 WITH SCORE 31498.752
AT ITER 1757 NEW BEST:: SOT 125409 SOS 71762 HAS SOPS 71762 HAS SOUS 31407 HAS SOUPS 31407 WITH SCORE 31478.762
AT ITER 1764 NEW BEST:: SOT 125373 SOS 71726 HAS SOPS 71726 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31460.726
AT ITER 1806 NEW BEST:: SOT 125364 SOS 71717 HAS SOPS 71717 HAS SOUS 31368 HAS SOUPS 31368 WITH SCORE 31439.717
AT ITER 1807 NEW BEST:: SOT 125358 SOS 71711 HAS SOPS 71711 HAS SOUS 31354 HAS SOUPS 31354 WITH SCORE 31425.711
AT ITER 1819 NEW BEST:: SOT 125341 SOS 72482 HAS SOPS 72482 HAS SOUS 31351 HAS SOUPS 31351 WITH SCORE 31423.482
AT ITER 1822 NEW BEST:: SOT 125355 SOS 72482 HAS SOPS 72482 HAS SOUS 31343 HAS SOUPS 31343 WITH SCORE 31415.482
AT ITER 1829 NEW BEST:: SOT 125283 SOS 72410 HAS SOPS 72410 HAS SOUS 31181 HAS SOUPS 31181 WITH SCORE 31253.41
AT ITER 1855 NEW BEST:: SOT 125297 SOS 72369 HAS SOPS 72369 HAS SOUS 31178 HAS SOUPS 31178 WITH SCORE 31250.369
AT ITER 1857 NEW BEST:: SOT 125315 SOS 72387 HAS SOPS 72387 HAS SOUS 31088 HAS SOUPS 31088 WITH SCORE 31160.387
AT ITER 1887 NEW BEST:: SOT 125270 SOS 72477 HAS SOPS 72477 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31115.477
AT ITER 1891 NEW BEST:: SOT 125219 SOS 71934 HAS SOPS 71934 HAS SOUS 31019 HAS SOUPS 31019 WITH SCORE 31090.934
AT ITER 1897 NEW BEST:: SOT 125107 SOS 71822 HAS SOPS 71822 HAS SOUS 31014 HAS SOUPS 31014 WITH SCORE 31085.822
AT ITER 1902 NEW BEST:: SOT 125107 SOS 71822 HAS SOPS 71822 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31071.822
AT ITER 1909 NEW BEST:: SOT 125103 SOS 71814 HAS SOPS 71814 HAS SOUS 30992 HAS SOUPS 30992 WITH SCORE 31063.814
AT ITER 1914 NEW BEST:: SOT 125246 SOS 71825 HAS SOPS 71825 HAS SOUS 30713 HAS SOUPS 30713 WITH SCORE 30784.825
AT ITER 1915 NEW BEST:: SOT 125252 SOS 71831 HAS SOPS 71831 HAS SOUS 30698 HAS SOUPS 30698 WITH SCORE 30769.831
AT ITER 1929 NEW BEST:: SOT 125248 SOS 71827 HAS SOPS 71827 HAS SOUS 30696 HAS SOUPS 30696 WITH SCORE 30767.827
AT ITER 1937 NEW BEST:: SOT 125249 SOS 71825 HAS SOPS 71825 HAS SOUS 30691 HAS SOUPS 30691 WITH SCORE 30762.825
AT ITER 1940 NEW BEST:: SOT 125174 SOS 71750 HAS SOPS 71750 HAS SOUS 30652 HAS SOUPS 30652 WITH SCORE 30723.75
AT ITER 1944 NEW BEST:: SOT 125134 SOS 71707 HAS SOPS 71707 HAS SOUS 30600 HAS SOUPS 30600 WITH SCORE 30671.707
AT ITER 1946 NEW BEST:: SOT 125066 SOS 71605 HAS SOPS 71605 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30554.605
AT ITER 1949 NEW BEST:: SOT 125096 SOS 71665 HAS SOPS 71665 HAS SOUS 30426 HAS SOUPS 30426 WITH SCORE 30497.665
AT ITER 1967 NEW BEST:: SOT 124907 SOS 71321 HAS SOPS 71321 HAS SOUS 30147 HAS SOUPS 30147 WITH SCORE 30218.321
AT ITER 1970 NEW BEST:: SOT 124907 SOS 71313 HAS SOPS 71313 HAS SOUS 30147 HAS SOUPS 30147 WITH SCORE 30218.313
AT ITER 1971 NEW BEST:: SOT 124891 SOS 71233 HAS SOPS 71233 HAS SOUS 30131 HAS SOUPS 30131 WITH SCORE 30202.233
AT ITER 1976 NEW BEST:: SOT 124882 SOS 71224 HAS SOPS 71224 HAS SOUS 30110 HAS SOUPS 30110 WITH SCORE 30181.224
AT ITER 1989 NEW BEST:: SOT 124838 SOS 70988 HAS SOPS 70988 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30140.988
AT ITER 2003 NEW BEST:: SOT 124798 SOS 70953 HAS SOPS 70953 HAS SOUS 29986 HAS SOUPS 29986 WITH SCORE 30056.953
AT ITER 2011 NEW BEST:: SOT 124651 SOS 70806 HAS SOPS 70806 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29875.806
AT ITER 2020 NEW BEST:: SOT 124647 SOS 70802 HAS SOPS 70802 HAS SOUS 29789 HAS SOUPS 29789 WITH SCORE 29859.802
AT ITER 2028 NEW BEST:: SOT 124622 SOS 70822 HAS SOPS 70822 HAS SOUS 29787 HAS SOUPS 29787 WITH SCORE 29857.822
AT ITER 2029 NEW BEST:: SOT 124597 SOS 70889 HAS SOPS 70889 HAS SOUS 29723 HAS SOUPS 29723 WITH SCORE 29793.889
AT ITER 2030 NEW BEST:: SOT 124557 SOS 70751 HAS SOPS 70751 HAS SOUS 29695 HAS SOUPS 29695 WITH SCORE 29765.751
AT ITER 2038 NEW BEST:: SOT 124514 SOS 70708 HAS SOPS 70708 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29679.708
AT ITER 2053 NEW BEST:: SOT 124484 SOS 70678 HAS SOPS 70678 HAS SOUS 29594 HAS SOUPS 29594 WITH SCORE 29664.678
AT ITER 2058 NEW BEST:: SOT 124433 SOS 70627 HAS SOPS 70627 HAS SOUS 29543 HAS SOUPS 29543 WITH SCORE 29613.627
AT ITER 2069 NEW BEST:: SOT 124406 SOS 70202 HAS SOPS 70202 HAS SOUS 29482 HAS SOUPS 29482 WITH SCORE 29552.202
AT ITER 2097 NEW BEST:: SOT 124375 SOS 70171 HAS SOPS 70171 HAS SOUS 29477 HAS SOUPS 29477 WITH SCORE 29547.171
AT ITER 2100 NEW BEST:: SOT 124269 SOS 70065 HAS SOPS 70065 HAS SOUS 29164 HAS SOUPS 29164 WITH SCORE 29234.065
AT ITER 2119 NEW BEST:: SOT 124269 SOS 70057 HAS SOPS 70057 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29232.057
AT ITER 2137 NEW BEST:: SOT 124263 SOS 70026 HAS SOPS 70026 HAS SOUS 29122 HAS SOUPS 29122 WITH SCORE 29192.026
AT ITER 2141 NEW BEST:: SOT 124228 SOS 69991 HAS SOPS 69991 HAS SOUS 28991 HAS SOUPS 28991 WITH SCORE 29060.991
AT ITER 2146 NEW BEST:: SOT 124229 SOS 69795 HAS SOPS 69795 HAS SOUS 28980 HAS SOUPS 28980 WITH SCORE 29049.795
AT ITER 2162 NEW BEST:: SOT 124221 SOS 69766 HAS SOPS 69766 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29041.766
AT ITER 2205 NEW BEST:: SOT 124215 SOS 69760 HAS SOPS 69760 HAS SOUS 28969 HAS SOUPS 28969 WITH SCORE 29038.76
AT ITER 2221 NEW BEST:: SOT 124215 SOS 69741 HAS SOPS 69741 HAS SOUS 28931 HAS SOUPS 28931 WITH SCORE 29000.741
AT ITER 2225 NEW BEST:: SOT 124226 SOS 69752 HAS SOPS 69752 HAS SOUS 28899 HAS SOUPS 28899 WITH SCORE 28968.752
AT ITER 2256 NEW BEST:: SOT 124219 SOS 69752 HAS SOPS 69752 HAS SOUS 28892 HAS SOUPS 28892 WITH SCORE 28961.752
AT ITER 2275 NEW BEST:: SOT 124116 SOS 69649 HAS SOPS 69649 HAS SOUS 28832 HAS SOUPS 28832 WITH SCORE 28901.649
AT ITER 2277 NEW BEST:: SOT 124112 SOS 69629 HAS SOPS 69629 HAS SOUS 28820 HAS SOUPS 28820 WITH SCORE 28889.629
AT ITER 2278 NEW BEST:: SOT 123973 SOS 69022 HAS SOPS 69022 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28742.022
AT ITER 2285 NEW BEST:: SOT 123973 SOS 69022 HAS SOPS 69022 HAS SOUS 28665 HAS SOUPS 28665 WITH SCORE 28734.022
AT ITER 2288 NEW BEST:: SOT 123966 SOS 69015 HAS SOPS 69015 HAS SOUS 28651 HAS SOUPS 28651 WITH SCORE 28720.015
AT ITER 2296 NEW BEST:: SOT 123849 SOS 68822 HAS SOPS 68822 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28574.822
AT ITER 2319 NEW BEST:: SOT 123814 SOS 68787 HAS SOPS 68787 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28496.787
AT ITER 2321 NEW BEST:: SOT 123759 SOS 68627 HAS SOPS 68627 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28446.627
AT ITER 2323 NEW BEST:: SOT 123750 SOS 68618 HAS SOPS 68618 HAS SOUS 28369 HAS SOUPS 28369 WITH SCORE 28437.618
AT ITER 2327 NEW BEST:: SOT 123745 SOS 68613 HAS SOPS 68613 HAS SOUS 28364 HAS SOUPS 28364 WITH SCORE 28432.613
AT ITER 2343 NEW BEST:: SOT 123695 SOS 68403 HAS SOPS 68403 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28342.403
AT ITER 2349 NEW BEST:: SOT 123657 SOS 68603 HAS SOPS 68603 HAS SOUS 28212 HAS SOUPS 28212 WITH SCORE 28280.603
AT ITER 2369 NEW BEST:: SOT 123673 SOS 68619 HAS SOPS 68619 HAS SOUS 28140 HAS SOUPS 28140 WITH SCORE 28208.619
AT ITER 2385 NEW BEST:: SOT 123662 SOS 68608 HAS SOPS 68608 HAS SOUS 28118 HAS SOUPS 28118 WITH SCORE 28186.608
AT ITER 2392 NEW BEST:: SOT 123598 SOS 68148 HAS SOPS 68148 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28149.148
AT ITER 2393 NEW BEST:: SOT 123595 SOS 68145 HAS SOPS 68145 HAS SOUS 28070 HAS SOUPS 28070 WITH SCORE 28138.145
AT ITER 2395 NEW BEST:: SOT 123587 SOS 68145 HAS SOPS 68145 HAS SOUS 28062 HAS SOUPS 28062 WITH SCORE 28130.145
AT ITER 2404 NEW BEST:: SOT 123646 SOS 68204 HAS SOPS 68204 HAS SOUS 28006 HAS SOUPS 28006 WITH SCORE 28074.204
AT ITER 2445 NEW BEST:: SOT 123644 SOS 68263 HAS SOPS 68263 HAS SOUS 27990 HAS SOUPS 27990 WITH SCORE 28058.263
AT ITER 2449 NEW BEST:: SOT 123613 SOS 68171 HAS SOPS 68171 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 28023.171
AT ITER 2459 NEW BEST:: SOT 123651 SOS 68209 HAS SOPS 68209 HAS SOUS 27913 HAS SOUPS 27913 WITH SCORE 27981.209
AT ITER 2463 NEW BEST:: SOT 123574 SOS 68132 HAS SOPS 68132 HAS SOUS 27855 HAS SOUPS 27855 WITH SCORE 27923.132
AT ITER 2468 NEW BEST:: SOT 123510 SOS 68056 HAS SOPS 68056 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27906.056
AT ITER 2470 NEW BEST:: SOT 123270 SOS 67575 HAS SOPS 67575 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27728.575
AT ITER 2481 NEW BEST:: SOT 123266 SOS 67571 HAS SOPS 67571 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27720.571
AT ITER 2482 NEW BEST:: SOT 123265 SOS 67570 HAS SOPS 67570 HAS SOUS 27650 HAS SOUPS 27650 WITH SCORE 27717.57
AT ITER 2512 NEW BEST:: SOT 123250 SOS 67547 HAS SOPS 67547 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27692.547
AT ITER 2517 NEW BEST:: SOT 123281 SOS 67689 HAS SOPS 67689 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27610.689
AT ITER 2519 NEW BEST:: SOT 123362 SOS 67736 HAS SOPS 67736 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27575.736
AT ITER 2522 NEW BEST:: SOT 123372 SOS 67511 HAS SOPS 67511 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27572.511
AT ITER 2544 NEW BEST:: SOT 123372 SOS 67333 HAS SOPS 67333 HAS SOUS 27492 HAS SOUPS 27492 WITH SCORE 27559.333
AT ITER 2545 NEW BEST:: SOT 123367 SOS 67328 HAS SOPS 67328 HAS SOUS 27482 HAS SOUPS 27482 WITH SCORE 27549.328
AT ITER 2565 NEW BEST:: SOT 123367 SOS 67328 HAS SOPS 67328 HAS SOUS 27476 HAS SOUPS 27476 WITH SCORE 27543.328
AT ITER 2566 NEW BEST:: SOT 123281 SOS 67242 HAS SOPS 67242 HAS SOUS 27359 HAS SOUPS 27359 WITH SCORE 27426.242
AT ITER 2573 NEW BEST:: SOT 123281 SOS 67242 HAS SOPS 67242 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27423.242
AT ITER 2591 NEW BEST:: SOT 123280 SOS 67177 HAS SOPS 67177 HAS SOUS 27339 HAS SOUPS 27339 WITH SCORE 27406.177
AT ITER 2595 NEW BEST:: SOT 123252 SOS 67149 HAS SOPS 67149 HAS SOUS 27239 HAS SOUPS 27239 WITH SCORE 27306.149
AT ITER 2597 NEW BEST:: SOT 123260 SOS 67149 HAS SOPS 67149 HAS SOUS 27231 HAS SOUPS 27231 WITH SCORE 27298.149
AT ITER 2608 NEW BEST:: SOT 123254 SOS 67143 HAS SOPS 67143 HAS SOUS 27225 HAS SOUPS 27225 WITH SCORE 27292.143
AT ITER 2613 NEW BEST:: SOT 123274 SOS 67107 HAS SOPS 67107 HAS SOUS 27215 HAS SOUPS 27215 WITH SCORE 27282.107
AT ITER 2623 NEW BEST:: SOT 123259 SOS 67125 HAS SOPS 67125 HAS SOUS 27174 HAS SOUPS 27174 WITH SCORE 27241.125
AT ITER 2629 NEW BEST:: SOT 123253 SOS 67113 HAS SOPS 67113 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27235.113
AT ITER 2670 NEW BEST:: SOT 123253 SOS 67113 HAS SOPS 67113 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27233.113
AT ITER 2673 NEW BEST:: SOT 123270 SOS 67165 HAS SOPS 67165 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27221.165
AT ITER 2678 NEW BEST:: SOT 123255 SOS 67195 HAS SOPS 67195 HAS SOUS 27124 HAS SOUPS 27124 WITH SCORE 27191.195
AT ITER 2698 NEW BEST:: SOT 123272 SOS 67212 HAS SOPS 67212 HAS SOUS 27122 HAS SOUPS 27122 WITH SCORE 27189.212
AT ITER 2704 NEW BEST:: SOT 123268 SOS 67208 HAS SOPS 67208 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27181.208
AT ITER 2707 NEW BEST:: SOT 123233 SOS 67161 HAS SOPS 67161 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27154.161
AT ITER 2708 NEW BEST:: SOT 123233 SOS 67156 HAS SOPS 67156 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27154.156
AT ITER 2717 NEW BEST:: SOT 123231 SOS 67154 HAS SOPS 67154 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27150.154
AT ITER 2719 NEW BEST:: SOT 123231 SOS 67151 HAS SOPS 67151 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27150.151
AT ITER 2722 NEW BEST:: SOT 123231 SOS 67126 HAS SOPS 67126 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27145.126
AT ITER 2739 NEW BEST:: SOT 123233 SOS 66922 HAS SOPS 66922 HAS SOUS 27072 HAS SOUPS 27072 WITH SCORE 27138.922
AT ITER 2741 NEW BEST:: SOT 123233 SOS 66922 HAS SOPS 66922 HAS SOUS 27064 HAS SOUPS 27064 WITH SCORE 27130.922
AT ITER 2747 NEW BEST:: SOT 123224 SOS 66877 HAS SOPS 66877 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27121.877
AT ITER 2748 NEW BEST:: SOT 123225 SOS 66772 HAS SOPS 66772 HAS SOUS 27027 HAS SOUPS 27027 WITH SCORE 27093.772
AT ITER 2762 NEW BEST:: SOT 123224 SOS 66771 HAS SOPS 66771 HAS SOUS 27026 HAS SOUPS 27026 WITH SCORE 27092.771
AT ITER 2780 NEW BEST:: SOT 123219 SOS 66766 HAS SOPS 66766 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 27025.766
AT ITER 2786 NEW BEST:: SOT 123219 SOS 66766 HAS SOPS 66766 HAS SOUS 26938 HAS SOUPS 26938 WITH SCORE 27004.766
AT ITER 2790 NEW BEST:: SOT 123212 SOS 66759 HAS SOPS 66759 HAS SOUS 26914 HAS SOUPS 26914 WITH SCORE 26980.759
AT ITER 2794 NEW BEST:: SOT 123268 SOS 66259 HAS SOPS 66259 HAS SOUS 26850 HAS SOUPS 26850 WITH SCORE 26916.259
AT ITER 2803 NEW BEST:: SOT 123223 SOS 66214 HAS SOPS 66214 HAS SOUS 26760 HAS SOUPS 26760 WITH SCORE 26826.214
AT ITER 2810 NEW BEST:: SOT 123221 SOS 66218 HAS SOPS 66218 HAS SOUS 26758 HAS SOUPS 26758 WITH SCORE 26824.218
AT ITER 2825 NEW BEST:: SOT 123174 SOS 65671 HAS SOPS 65671 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26797.671
AT ITER 2881 NEW BEST:: SOT 123193 SOS 65690 HAS SOPS 65690 HAS SOUS 26729 HAS SOUPS 26729 WITH SCORE 26794.69
AT ITER 2884 NEW BEST:: SOT 123136 SOS 66501 HAS SOPS 66501 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26761.501
AT ITER 2890 NEW BEST:: SOT 123160 SOS 66264 HAS SOPS 66264 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26703.264
AT ITER 2923 NEW BEST:: SOT 123142 SOS 66228 HAS SOPS 66228 HAS SOUS 26619 HAS SOUPS 26619 WITH SCORE 26685.228
AT ITER 2931 NEW BEST:: SOT 123121 SOS 66207 HAS SOPS 66207 HAS SOUS 26577 HAS SOUPS 26577 WITH SCORE 26643.207
AT ITER 2934 NEW BEST:: SOT 123097 SOS 66229 HAS SOPS 66229 HAS SOUS 26529 HAS SOUPS 26529 WITH SCORE 26595.229
AT ITER 2958 NEW BEST:: SOT 123097 SOS 66395 HAS SOPS 66395 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26552.395
AT ITER 2988 NEW BEST:: SOT 123059 SOS 66243 HAS SOPS 66243 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26502.243
AT ITER 2989 NEW BEST:: SOT 123059 SOS 66311 HAS SOPS 66311 HAS SOUS 26419 HAS SOUPS 26419 WITH SCORE 26485.311
AT ITER 2993 NEW BEST:: SOT 122997 SOS 66258 HAS SOPS 66258 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26366.258
AT ITER 3010 NEW BEST:: SOT 122999 SOS 66260 HAS SOPS 66260 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26334.26
AT ITER 3011 NEW BEST:: SOT 123038 SOS 66307 HAS SOPS 66307 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26331.307
AT ITER 3014 NEW BEST:: SOT 123033 SOS 66300 HAS SOPS 66300 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26323.3
AT ITER 3017 NEW BEST:: SOT 123019 SOS 66354 HAS SOPS 66354 HAS SOUS 26229 HAS SOUPS 26229 WITH SCORE 26295.354
AT ITER 3036 NEW BEST:: SOT 122916 SOS 74326 HAS SOPS 74326 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26267.326
AT ITER 3044 NEW BEST:: SOT 122945 SOS 74355 HAS SOPS 74355 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26234.355
AT ITER 3051 NEW BEST:: SOT 122923 SOS 74333 HAS SOPS 74333 HAS SOUS 26116 HAS SOUPS 26116 WITH SCORE 26190.333
AT ITER 3058 NEW BEST:: SOT 122923 SOS 74327 HAS SOPS 74327 HAS SOUS 26113 HAS SOUPS 26113 WITH SCORE 26187.327
AT ITER 3071 NEW BEST:: SOT 122919 SOS 74321 HAS SOPS 74321 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26183.321
AT ITER 3098 NEW BEST:: SOT 122919 SOS 74178 HAS SOPS 74178 HAS SOUS 26074 HAS SOUPS 26074 WITH SCORE 26148.178
AT ITER 3105 NEW BEST:: SOT 122878 SOS 74126 HAS SOPS 74126 HAS SOUS 26019 HAS SOUPS 26019 WITH SCORE 26093.126
AT ITER 3124 NEW BEST:: SOT 122905 SOS 74088 HAS SOPS 74088 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26075.088
AT ITER 3164 NEW BEST:: SOT 122881 SOS 74058 HAS SOPS 74058 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26045.058
AT ITER 3173 NEW BEST:: SOT 122846 SOS 74023 HAS SOPS 74023 HAS SOUS 25916 HAS SOUPS 25916 WITH SCORE 25990.023
AT ITER 3177 NEW BEST:: SOT 122758 SOS 73847 HAS SOPS 73847 HAS SOUS 25828 HAS SOUPS 25828 WITH SCORE 25901.847
AT ITER 3192 NEW BEST:: SOT 122779 SOS 74124 HAS SOPS 74124 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25889.124
AT ITER 3194 NEW BEST:: SOT 122778 SOS 74123 HAS SOPS 74123 HAS SOUS 25814 HAS SOUPS 25814 WITH SCORE 25888.123
AT ITER 3237 NEW BEST:: SOT 122721 SOS 73895 HAS SOPS 73895 HAS SOUS 25757 HAS SOUPS 25757 WITH SCORE 25830.895
AT ITER 3245 NEW BEST:: SOT 122714 SOS 73867 HAS SOPS 73867 HAS SOUS 25750 HAS SOUPS 25750 WITH SCORE 25823.867
AT ITER 3248 NEW BEST:: SOT 122708 SOS 73861 HAS SOPS 73861 HAS SOUS 25744 HAS SOUPS 25744 WITH SCORE 25817.861
AT ITER 3266 NEW BEST:: SOT 122708 SOS 73847 HAS SOPS 73847 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25775.847
AT ITER 3267 NEW BEST:: SOT 122697 SOS 73812 HAS SOPS 73812 HAS SOUS 25700 HAS SOUPS 25700 WITH SCORE 25773.812
AT ITER 3301 NEW BEST:: SOT 122697 SOS 73787 HAS SOPS 73787 HAS SOUS 25700 HAS SOUPS 25700 WITH SCORE 25773.787
AT ITER 3321 NEW BEST:: SOT 122629 SOS 73747 HAS SOPS 73747 HAS SOUS 25532 HAS SOUPS 25532 WITH SCORE 25605.747
AT ITER 3326 NEW BEST:: SOT 122618 SOS 73725 HAS SOPS 73725 HAS SOUS 25521 HAS SOUPS 25521 WITH SCORE 25594.725
AT ITER 3331 NEW BEST:: SOT 122596 SOS 73681 HAS SOPS 73681 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25565.681
AT ITER 3349 NEW BEST:: SOT 122582 SOS 73709 HAS SOPS 73709 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25537.709
AT ITER 3352 NEW BEST:: SOT 122581 SOS 73708 HAS SOPS 73708 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25535.708
AT ITER 3356 NEW BEST:: SOT 122559 SOS 73699 HAS SOPS 73699 HAS SOUS 25401 HAS SOUPS 25401 WITH SCORE 25474.699
AT ITER 3365 NEW BEST:: SOT 122491 SOS 73267 HAS SOPS 73267 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25376.267
AT ITER 3385 NEW BEST:: SOT 122450 SOS 73181 HAS SOPS 73181 HAS SOUS 25247 HAS SOUPS 25247 WITH SCORE 25320.181
AT ITER 3403 NEW BEST:: SOT 122426 SOS 73181 HAS SOPS 73181 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25272.181
AT ITER 3413 NEW BEST:: SOT 122345 SOS 73100 HAS SOPS 73100 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25164.1
AT ITER 3416 NEW BEST:: SOT 122343 SOS 73082 HAS SOPS 73082 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25162.082
AT ITER 3420 NEW BEST:: SOT 122342 SOS 73081 HAS SOPS 73081 HAS SOUS 25087 HAS SOUPS 25087 WITH SCORE 25160.081
AT ITER 3498 NEW BEST:: SOT 122339 SOS 73211 HAS SOPS 73211 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25123.211
AT ITER 3509 NEW BEST:: SOT 122297 SOS 73169 HAS SOPS 73169 HAS SOUS 24966 HAS SOUPS 24966 WITH SCORE 25039.169
AT ITER 3523 NEW BEST:: SOT 122276 SOS 73148 HAS SOPS 73148 HAS SOUS 24903 HAS SOUPS 24903 WITH SCORE 24976.148
AT ITER 3580 NEW BEST:: SOT 122274 SOS 73145 HAS SOPS 73145 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24970.145
AT ITER 3591 NEW BEST:: SOT 122271 SOS 73142 HAS SOPS 73142 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24961.142
AT ITER 3636 NEW BEST:: SOT 122273 SOS 73036 HAS SOPS 73036 HAS SOUS 24784 HAS SOUPS 24784 WITH SCORE 24857.036
AT ITER 3674 NEW BEST:: SOT 122261 SOS 73024 HAS SOPS 73024 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24833.024
AT ITER 3688 NEW BEST:: SOT 122277 SOS 73040 HAS SOPS 73040 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24829.04
AT ITER 3707 NEW BEST:: SOT 122275 SOS 73000 HAS SOPS 73000 HAS SOUS 24732 HAS SOUPS 24732 WITH SCORE 24805.0
AT ITER 3708 NEW BEST:: SOT 122275 SOS 73060 HAS SOPS 73060 HAS SOUS 24717 HAS SOUPS 24717 WITH SCORE 24790.06
AT ITER 3718 NEW BEST:: SOT 122242 SOS 72831 HAS SOPS 72831 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24738.831
AT ITER 3728 NEW BEST:: SOT 122242 SOS 72943 HAS SOPS 72943 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24710.943
AT ITER 3741 NEW BEST:: SOT 122307 SOS 73041 HAS SOPS 73041 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24703.041
AT ITER 3755 NEW BEST:: SOT 122264 SOS 72955 HAS SOPS 72955 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24656.955
AT ITER 3769 NEW BEST:: SOT 122255 SOS 72937 HAS SOPS 72937 HAS SOUS 24575 HAS SOUPS 24575 WITH SCORE 24647.937
AT ITER 3775 NEW BEST:: SOT 122238 SOS 72852 HAS SOPS 72852 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24613.852
AT ITER 3782 NEW BEST:: SOT 122245 SOS 72850 HAS SOPS 72850 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24609.85
AT ITER 3822 NEW BEST:: SOT 122243 SOS 72848 HAS SOPS 72848 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24603.848
AT ITER 3831 NEW BEST:: SOT 122229 SOS 72778 HAS SOPS 72778 HAS SOUS 24503 HAS SOUPS 24503 WITH SCORE 24575.778
AT ITER 3834 NEW BEST:: SOT 122229 SOS 72783 HAS SOPS 72783 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24570.783
AT ITER 3846 NEW BEST:: SOT 122220 SOS 72774 HAS SOPS 72774 HAS SOUS 24480 HAS SOUPS 24480 WITH SCORE 24552.774
AT ITER 3848 NEW BEST:: SOT 122225 SOS 72747 HAS SOPS 72747 HAS SOUS 24477 HAS SOUPS 24477 WITH SCORE 24549.747
AT ITER 3852 NEW BEST:: SOT 122223 SOS 72751 HAS SOPS 72751 HAS SOUS 24475 HAS SOUPS 24475 WITH SCORE 24547.751
AT ITER 3856 NEW BEST:: SOT 122178 SOS 72706 HAS SOPS 72706 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24457.706
AT ITER 3884 NEW BEST:: SOT 122178 SOS 72706 HAS SOPS 72706 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24453.706
AT ITER 3898 NEW BEST:: SOT 122190 SOS 72932 HAS SOPS 72932 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24444.932
AT ITER 3902 NEW BEST:: SOT 122198 SOS 72821 HAS SOPS 72821 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24440.821
AT ITER 3921 NEW BEST:: SOT 121983 SOS 72606 HAS SOPS 72606 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24400.606
AT ITER 3951 NEW BEST:: SOT 121955 SOS 72589 HAS SOPS 72589 HAS SOUS 24257 HAS SOUPS 24257 WITH SCORE 24329.589
AT ITER 3953 NEW BEST:: SOT 121946 SOS 72580 HAS SOPS 72580 HAS SOUS 24226 HAS SOUPS 24226 WITH SCORE 24298.58
AT ITER 3982 NEW BEST:: SOT 121918 SOS 72532 HAS SOPS 72532 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24243.532
AT ITER 3988 NEW BEST:: SOT 121867 SOS 72481 HAS SOPS 72481 HAS SOUS 24099 HAS SOUPS 24099 WITH SCORE 24171.481
AT ITER 3991 NEW BEST:: SOT 121818 SOS 72432 HAS SOPS 72432 HAS SOUS 24084 HAS SOUPS 24084 WITH SCORE 24156.432
AT ITER 3993 NEW BEST:: SOT 121747 SOS 72349 HAS SOPS 72349 HAS SOUS 23894 HAS SOUPS 23894 WITH SCORE 23966.349
AT ITER 4004 NEW BEST:: SOT 121740 SOS 72326 HAS SOPS 72326 HAS SOUS 23882 HAS SOUPS 23882 WITH SCORE 23954.326
AT ITER 4005 NEW BEST:: SOT 121729 SOS 72304 HAS SOPS 72304 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 23943.304
AT ITER 4018 NEW BEST:: SOT 121704 SOS 73050 HAS SOPS 73050 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23920.05
AT ITER 4038 NEW BEST:: SOT 121701 SOS 73056 HAS SOPS 73056 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23917.056
AT ITER 4040 NEW BEST:: SOT 121691 SOS 73046 HAS SOPS 73046 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23892.046
AT ITER 4041 NEW BEST:: SOT 121653 SOS 72880 HAS SOPS 72880 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23833.88
AT ITER 4071 NEW BEST:: SOT 121597 SOS 72824 HAS SOPS 72824 HAS SOUS 23734 HAS SOUPS 23734 WITH SCORE 23806.824
AT ITER 4078 NEW BEST:: SOT 121584 SOS 72811 HAS SOPS 72811 HAS SOUS 23725 HAS SOUPS 23725 WITH SCORE 23797.811
AT ITER 4092 NEW BEST:: SOT 121552 SOS 72502 HAS SOPS 72502 HAS SOUS 23722 HAS SOUPS 23722 WITH SCORE 23794.502
AT ITER 4110 NEW BEST:: SOT 121552 SOS 72502 HAS SOPS 72502 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23784.502
AT ITER 4120 NEW BEST:: SOT 121552 SOS 72652 HAS SOPS 72652 HAS SOUS 23694 HAS SOUPS 23694 WITH SCORE 23766.652
AT ITER 4140 NEW BEST:: SOT 121475 SOS 72447 HAS SOPS 72447 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23740.447
AT ITER 4151 NEW BEST:: SOT 121454 SOS 72405 HAS SOPS 72405 HAS SOUS 23647 HAS SOUPS 23647 WITH SCORE 23719.405
AT ITER 4155 NEW BEST:: SOT 121462 SOS 72418 HAS SOPS 72418 HAS SOUS 23641 HAS SOUPS 23641 WITH SCORE 23713.418
AT ITER 4161 NEW BEST:: SOT 121472 SOS 72428 HAS SOPS 72428 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23683.428
AT ITER 4185 NEW BEST:: SOT 121453 SOS 72356 HAS SOPS 72356 HAS SOUS 23592 HAS SOUPS 23592 WITH SCORE 23664.356
AT ITER 4214 NEW BEST:: SOT 121449 SOS 72365 HAS SOPS 72365 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23660.365
AT ITER 4261 NEW BEST:: SOT 121434 SOS 72337 HAS SOPS 72337 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23643.337
AT ITER 4274 NEW BEST:: SOT 121409 SOS 72312 HAS SOPS 72312 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23597.312
AT ITER 4282 NEW BEST:: SOT 121401 SOS 72304 HAS SOPS 72304 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23581.304
AT ITER 4299 NEW BEST:: SOT 121398 SOS 72299 HAS SOPS 72299 HAS SOUS 23476 HAS SOUPS 23476 WITH SCORE 23548.299
AT ITER 4310 NEW BEST:: SOT 121398 SOS 72299 HAS SOPS 72299 HAS SOUS 23475 HAS SOUPS 23475 WITH SCORE 23547.299
AT ITER 4371 NEW BEST:: SOT 121398 SOS 72252 HAS SOPS 72252 HAS SOUS 23451 HAS SOUPS 23451 WITH SCORE 23523.252
AT ITER 4378 NEW BEST:: SOT 121392 SOS 72228 HAS SOPS 72228 HAS SOUS 23445 HAS SOUPS 23445 WITH SCORE 23517.228
AT ITER 4392 NEW BEST:: SOT 121471 SOS 72246 HAS SOPS 72246 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23505.246
AT ITER 4393 NEW BEST:: SOT 121467 SOS 72242 HAS SOPS 72242 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23497.242
AT ITER 4394 NEW BEST:: SOT 121466 SOS 72320 HAS SOPS 72320 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23483.32
AT ITER 4401 NEW BEST:: SOT 121430 SOS 72248 HAS SOPS 72248 HAS SOUS 23404 HAS SOUPS 23404 WITH SCORE 23476.248
AT ITER 4428 NEW BEST:: SOT 121430 SOS 72352 HAS SOPS 72352 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23450.352
AT ITER 4434 NEW BEST:: SOT 121428 SOS 72350 HAS SOPS 72350 HAS SOUS 23376 HAS SOUPS 23376 WITH SCORE 23448.35
AT ITER 4441 NEW BEST:: SOT 121426 SOS 72348 HAS SOPS 72348 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23446.348
AT ITER 4453 NEW BEST:: SOT 121409 SOS 72331 HAS SOPS 72331 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23409.331
AT ITER 4457 NEW BEST:: SOT 121391 SOS 72303 HAS SOPS 72303 HAS SOUS 23329 HAS SOUPS 23329 WITH SCORE 23401.303
AT ITER 4464 NEW BEST:: SOT 121365 SOS 74129 HAS SOPS 74129 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23364.129
AT ITER 4483 NEW BEST:: SOT 121365 SOS 74321 HAS SOPS 74321 HAS SOUS 23242 HAS SOUPS 23242 WITH SCORE 23316.321
AT ITER 4512 NEW BEST:: SOT 121357 SOS 74308 HAS SOPS 74308 HAS SOUS 23231 HAS SOUPS 23231 WITH SCORE 23305.308
AT ITER 4513 NEW BEST:: SOT 121354 SOS 74305 HAS SOPS 74305 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23275.305
AT ITER 4520 NEW BEST:: SOT 121348 SOS 74299 HAS SOPS 74299 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23263.299
AT ITER 4543 NEW BEST:: SOT 121277 SOS 74168 HAS SOPS 74168 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23195.168
AT ITER 4568 NEW BEST:: SOT 121277 SOS 74179 HAS SOPS 74179 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23181.179
AT ITER 4591 NEW BEST:: SOT 121212 SOS 74147 HAS SOPS 74147 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 23047.147
AT ITER 4606 NEW BEST:: SOT 121205 SOS 74140 HAS SOPS 74140 HAS SOUS 22953 HAS SOUPS 22953 WITH SCORE 23027.14
AT ITER 4609 NEW BEST:: SOT 121198 SOS 74127 HAS SOPS 74127 HAS SOUS 22944 HAS SOUPS 22944 WITH SCORE 23018.127
AT ITER 4643 NEW BEST:: SOT 121158 SOS 74061 HAS SOPS 74061 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22942.061
AT ITER 4655 NEW BEST:: SOT 121152 SOS 74025 HAS SOPS 74025 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22924.025
AT ITER 4685 NEW BEST:: SOT 121139 SOS 74012 HAS SOPS 74012 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22895.012
AT ITER 4695 NEW BEST:: SOT 121111 SOS 73984 HAS SOPS 73984 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22877.984
AT ITER 4696 NEW BEST:: SOT 121088 SOS 73961 HAS SOPS 73961 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22831.961
AT ITER 4709 NEW BEST:: SOT 121077 SOS 73950 HAS SOPS 73950 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22830.95
AT ITER 4711 NEW BEST:: SOT 121075 SOS 74190 HAS SOPS 74190 HAS SOUS 22755 HAS SOUPS 22755 WITH SCORE 22829.19
AT ITER 4740 NEW BEST:: SOT 121072 SOS 74187 HAS SOPS 74187 HAS SOUS 22749 HAS SOUPS 22749 WITH SCORE 22823.187
AT ITER 4753 NEW BEST:: SOT 121044 SOS 74159 HAS SOPS 74159 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22807.159
AT ITER 4762 NEW BEST:: SOT 121056 SOS 74171 HAS SOPS 74171 HAS SOUS 22715 HAS SOUPS 22715 WITH SCORE 22789.171
AT ITER 4766 NEW BEST:: SOT 121046 SOS 74075 HAS SOPS 74075 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22758.075
AT ITER 4768 NEW BEST:: SOT 121057 SOS 73925 HAS SOPS 73925 HAS SOUS 22658 HAS SOUPS 22658 WITH SCORE 22731.925
AT ITER 4835 NEW BEST:: SOT 121051 SOS 73891 HAS SOPS 73891 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22718.891
AT ITER 4840 NEW BEST:: SOT 121026 SOS 73842 HAS SOPS 73842 HAS SOUS 22600 HAS SOUPS 22600 WITH SCORE 22673.842
AT ITER 4844 NEW BEST:: SOT 120997 SOS 73806 HAS SOPS 73806 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22637.806
AT ITER 4847 NEW BEST:: SOT 120993 SOS 73814 HAS SOPS 73814 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22633.814
AT ITER 4851 NEW BEST:: SOT 120996 SOS 73813 HAS SOPS 73813 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22622.813
AT ITER 4859 NEW BEST:: SOT 120984 SOS 73801 HAS SOPS 73801 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22610.801
AT ITER 4939 NEW BEST:: SOT 120984 SOS 73791 HAS SOPS 73791 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22609.791
AT ITER 4954 NEW BEST:: SOT 120943 SOS 73792 HAS SOPS 73792 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22589.792
AT ITER 4958 NEW BEST:: SOT 120933 SOS 73782 HAS SOPS 73782 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22588.782
AT ITER 4965 NEW BEST:: SOT 120904 SOS 73753 HAS SOPS 73753 HAS SOUS 22491 HAS SOUPS 22491 WITH SCORE 22564.753
AT ITER 5006 NEW BEST:: SOT 120902 SOS 73741 HAS SOPS 73741 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22558.741
AT ITER 5014 NEW BEST:: SOT 120891 SOS 73730 HAS SOPS 73730 HAS SOUS 22459 HAS SOUPS 22459 WITH SCORE 22532.73
AT ITER 5018 NEW BEST:: SOT 120890 SOS 73774 HAS SOPS 73774 HAS SOUS 22454 HAS SOUPS 22454 WITH SCORE 22527.774
AT ITER 5029 NEW BEST:: SOT 120720 SOS 74139 HAS SOPS 74139 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22513.139
AT ITER 5105 NEW BEST:: SOT 120714 SOS 74133 HAS SOPS 74133 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22507.133
AT ITER 5109 NEW BEST:: SOT 120735 SOS 74154 HAS SOPS 74154 HAS SOUS 22406 HAS SOUPS 22406 WITH SCORE 22480.154
AT ITER 5115 NEW BEST:: SOT 120676 SOS 74095 HAS SOPS 74095 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22470.095
AT ITER 5125 NEW BEST:: SOT 120576 SOS 73995 HAS SOPS 73995 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22369.995
AT ITER 5159 NEW BEST:: SOT 120560 SOS 73979 HAS SOPS 73979 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22337.979
AT ITER 5175 NEW BEST:: SOT 120559 SOS 73978 HAS SOPS 73978 HAS SOUS 22259 HAS SOUPS 22259 WITH SCORE 22332.978
AT ITER 5176 NEW BEST:: SOT 120563 SOS 73982 HAS SOPS 73982 HAS SOUS 22255 HAS SOUPS 22255 WITH SCORE 22328.982
AT ITER 5179 NEW BEST:: SOT 120506 SOS 73868 HAS SOPS 73868 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22241.868
AT ITER 5180 NEW BEST:: SOT 120485 SOS 73826 HAS SOPS 73826 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22199.826
AT ITER 5183 NEW BEST:: SOT 120469 SOS 73759 HAS SOPS 73759 HAS SOUS 22076 HAS SOUPS 22076 WITH SCORE 22149.759
AT ITER 5196 NEW BEST:: SOT 120469 SOS 73739 HAS SOPS 73739 HAS SOUS 22076 HAS SOUPS 22076 WITH SCORE 22149.739
AT ITER 5232 NEW BEST:: SOT 120464 SOS 73745 HAS SOPS 73745 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22147.745
AT ITER 5245 NEW BEST:: SOT 120462 SOS 73743 HAS SOPS 73743 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22143.743
AT ITER 5294 NEW BEST:: SOT 120480 SOS 73695 HAS SOPS 73695 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22140.695
AT ITER 5310 NEW BEST:: SOT 120474 SOS 73689 HAS SOPS 73689 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22110.689
AT ITER 5339 NEW BEST:: SOT 120474 SOS 73769 HAS SOPS 73769 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22090.769
AT ITER 5372 NEW BEST:: SOT 120453 SOS 73748 HAS SOPS 73748 HAS SOUS 22005 HAS SOUPS 22005 WITH SCORE 22078.748
AT ITER 5436 NEW BEST:: SOT 120441 SOS 73784 HAS SOPS 73784 HAS SOUS 21977 HAS SOUPS 21977 WITH SCORE 22050.784
AT ITER 5489 NEW BEST:: SOT 120479 SOS 73822 HAS SOPS 73822 HAS SOUS 21958 HAS SOUPS 21958 WITH SCORE 22031.822
AT ITER 5504 NEW BEST:: SOT 120465 SOS 73808 HAS SOPS 73808 HAS SOUS 21885 HAS SOUPS 21885 WITH SCORE 21958.808
AT ITER 5515 NEW BEST:: SOT 120451 SOS 73794 HAS SOPS 73794 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21944.794
AT ITER 5546 NEW BEST:: SOT 120446 SOS 73535 HAS SOPS 73535 HAS SOUS 21801 HAS SOUPS 21801 WITH SCORE 21874.535
AT ITER 5558 NEW BEST:: SOT 120464 SOS 73535 HAS SOPS 73535 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21871.535
AT ITER 5575 NEW BEST:: SOT 120445 SOS 73516 HAS SOPS 73516 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21836.516
AT ITER 5589 NEW BEST:: SOT 120383 SOS 73286 HAS SOPS 73286 HAS SOUS 21730 HAS SOUPS 21730 WITH SCORE 21803.286
AT ITER 5597 NEW BEST:: SOT 120369 SOS 73214 HAS SOPS 73214 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21794.214
AT ITER 5600 NEW BEST:: SOT 120367 SOS 73216 HAS SOPS 73216 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21790.216
AT ITER 5606 NEW BEST:: SOT 120322 SOS 73035 HAS SOPS 73035 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21717.035
AT ITER 5607 NEW BEST:: SOT 120322 SOS 73357 HAS SOPS 73357 HAS SOUS 21637 HAS SOUPS 21637 WITH SCORE 21710.357
AT ITER 5653 NEW BEST:: SOT 120322 SOS 73489 HAS SOPS 73489 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21677.489
AT ITER 5664 NEW BEST:: SOT 120314 SOS 73473 HAS SOPS 73473 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21661.473
AT ITER 5670 NEW BEST:: SOT 120293 SOS 73452 HAS SOPS 73452 HAS SOUS 21546 HAS SOUPS 21546 WITH SCORE 21619.452
AT ITER 5706 NEW BEST:: SOT 120313 SOS 73576 HAS SOPS 73576 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21613.576
AT ITER 5712 NEW BEST:: SOT 120277 SOS 73750 HAS SOPS 73750 HAS SOUS 21485 HAS SOUPS 21485 WITH SCORE 21558.75
AT ITER 5776 NEW BEST:: SOT 120261 SOS 73742 HAS SOPS 73742 HAS SOUS 21466 HAS SOUPS 21466 WITH SCORE 21539.742
AT ITER 5783 NEW BEST:: SOT 120222 SOS 73677 HAS SOPS 73677 HAS SOUS 21420 HAS SOUPS 21420 WITH SCORE 21493.677
AT ITER 5819 NEW BEST:: SOT 120196 SOS 73651 HAS SOPS 73651 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21441.651
AT ITER 5827 NEW BEST:: SOT 120203 SOS 73722 HAS SOPS 73722 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21439.722
AT ITER 5897 NEW BEST:: SOT 120203 SOS 73834 HAS SOPS 73834 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21411.834
AT ITER 5907 NEW BEST:: SOT 120197 SOS 73833 HAS SOPS 73833 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21408.833
AT ITER 5909 NEW BEST:: SOT 120188 SOS 73824 HAS SOPS 73824 HAS SOUS 21317 HAS SOUPS 21317 WITH SCORE 21390.824
AT ITER 5921 NEW BEST:: SOT 120188 SOS 73824 HAS SOPS 73824 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21374.824
AT ITER 5991 NEW BEST:: SOT 120173 SOS 73718 HAS SOPS 73718 HAS SOUS 21291 HAS SOUPS 21291 WITH SCORE 21364.718
AT ITER 6001 NEW BEST:: SOT 120173 SOS 73778 HAS SOPS 73778 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21349.778
AT ITER 6037 NEW BEST:: SOT 120172 SOS 73777 HAS SOPS 73777 HAS SOUS 21261 HAS SOUPS 21261 WITH SCORE 21334.777
AT ITER 6061 NEW BEST:: SOT 120172 SOS 73842 HAS SOPS 73842 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21326.842
AT ITER 6085 NEW BEST:: SOT 120062 SOS 73740 HAS SOPS 73740 HAS SOUS 21168 HAS SOUPS 21168 WITH SCORE 21241.74
AT ITER 6097 NEW BEST:: SOT 120056 SOS 73734 HAS SOPS 73734 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21229.734
AT ITER 6123 NEW BEST:: SOT 120053 SOS 73731 HAS SOPS 73731 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21223.731
AT ITER 6126 NEW BEST:: SOT 120045 SOS 73723 HAS SOPS 73723 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21206.723
AT ITER 6129 NEW BEST:: SOT 120031 SOS 73791 HAS SOPS 73791 HAS SOUS 21095 HAS SOUPS 21095 WITH SCORE 21168.791
AT ITER 6145 NEW BEST:: SOT 120035 SOS 73859 HAS SOPS 73859 HAS SOUS 21074 HAS SOUPS 21074 WITH SCORE 21147.859
AT ITER 6225 NEW BEST:: SOT 120035 SOS 73859 HAS SOPS 73859 HAS SOUS 21063 HAS SOUPS 21063 WITH SCORE 21136.859
AT ITER 6270 NEW BEST:: SOT 120028 SOS 73852 HAS SOPS 73852 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21122.852
AT ITER 6285 NEW BEST:: SOT 119980 SOS 73824 HAS SOPS 73824 HAS SOUS 21039 HAS SOUPS 21039 WITH SCORE 21112.824
AT ITER 6302 NEW BEST:: SOT 119982 SOS 73826 HAS SOPS 73826 HAS SOUS 21035 HAS SOUPS 21035 WITH SCORE 21108.826
AT ITER 6346 NEW BEST:: SOT 119932 SOS 73785 HAS SOPS 73785 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21091.785
AT ITER 6366 NEW BEST:: SOT 119842 SOS 74711 HAS SOPS 74711 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20992.711
AT ITER 6527 NEW BEST:: SOT 119834 SOS 74703 HAS SOPS 74703 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20957.703
AT ITER 6533 NEW BEST:: SOT 119820 SOS 74689 HAS SOPS 74689 HAS SOUS 20814 HAS SOUPS 20814 WITH SCORE 20888.689
AT ITER 6565 NEW BEST:: SOT 119815 SOS 74677 HAS SOPS 74677 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20885.677
AT ITER 6598 NEW BEST:: SOT 119841 SOS 74412 HAS SOPS 74412 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20879.412
AT ITER 6654 NEW BEST:: SOT 119839 SOS 74411 HAS SOPS 74411 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20878.411
AT ITER 6668 NEW BEST:: SOT 119803 SOS 74071 HAS SOPS 74071 HAS SOUS 20799 HAS SOUPS 20799 WITH SCORE 20873.071
AT ITER 6743 NEW BEST:: SOT 119791 SOS 74015 HAS SOPS 74015 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20856.015
AT ITER 6783 NEW BEST:: SOT 119791 SOS 73881 HAS SOPS 73881 HAS SOUS 20734 HAS SOUPS 20734 WITH SCORE 20807.881
AT ITER 6788 NEW BEST:: SOT 119791 SOS 73881 HAS SOPS 73881 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20752.881
AT ITER 6821 NEW BEST:: SOT 119783 SOS 73873 HAS SOPS 73873 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20736.873
AT ITER 6885 NEW BEST:: SOT 119756 SOS 73846 HAS SOPS 73846 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20724.846
AT ITER 6891 NEW BEST:: SOT 119754 SOS 73844 HAS SOPS 73844 HAS SOUS 20634 HAS SOUPS 20634 WITH SCORE 20707.844
AT ITER 6976 NEW BEST:: SOT 119742 SOS 73832 HAS SOPS 73832 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20695.832
AT ITER 6994 NEW BEST:: SOT 119741 SOS 73833 HAS SOPS 73833 HAS SOUS 20617 HAS SOUPS 20617 WITH SCORE 20690.833
AT ITER 7026 NEW BEST:: SOT 119728 SOS 73901 HAS SOPS 73901 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20669.901
AT ITER 7027 NEW BEST:: SOT 119764 SOS 73937 HAS SOPS 73937 HAS SOUS 20593 HAS SOUPS 20593 WITH SCORE 20666.937
AT ITER 7039 NEW BEST:: SOT 119738 SOS 73878 HAS SOPS 73878 HAS SOUS 20550 HAS SOUPS 20550 WITH SCORE 20623.878
AT ITER 7048 NEW BEST:: SOT 119731 SOS 73840 HAS SOPS 73840 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20586.84
AT ITER 7062 NEW BEST:: SOT 119715 SOS 73824 HAS SOPS 73824 HAS SOUS 20497 HAS SOUPS 20497 WITH SCORE 20570.824
AT ITER 7069 NEW BEST:: SOT 119714 SOS 73823 HAS SOPS 73823 HAS SOUS 20495 HAS SOUPS 20495 WITH SCORE 20568.823
AT ITER 7077 NEW BEST:: SOT 119660 SOS 73925 HAS SOPS 73925 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20501.925
AT ITER 7096 NEW BEST:: SOT 119655 SOS 73689 HAS SOPS 73689 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20491.689
AT ITER 7117 NEW BEST:: SOT 119658 SOS 73708 HAS SOPS 73708 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20484.708
AT ITER 7139 NEW BEST:: SOT 119653 SOS 73703 HAS SOPS 73703 HAS SOUS 20401 HAS SOUPS 20401 WITH SCORE 20474.703
AT ITER 7157 NEW BEST:: SOT 119652 SOS 73702 HAS SOPS 73702 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20466.702
AT ITER 7218 NEW BEST:: SOT 119644 SOS 73673 HAS SOPS 73673 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20455.673
AT ITER 7243 NEW BEST:: SOT 119640 SOS 73612 HAS SOPS 73612 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20443.612
AT ITER 7287 NEW BEST:: SOT 119614 SOS 73586 HAS SOPS 73586 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20369.586
AT ITER 7296 NEW BEST:: SOT 119610 SOS 73582 HAS SOPS 73582 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20357.582
AT ITER 7303 NEW BEST:: SOT 119595 SOS 73567 HAS SOPS 73567 HAS SOUS 20250 HAS SOUPS 20250 WITH SCORE 20323.567
AT ITER 7309 NEW BEST:: SOT 119589 SOS 73561 HAS SOPS 73561 HAS SOUS 20238 HAS SOUPS 20238 WITH SCORE 20311.561
AT ITER 7329 NEW BEST:: SOT 119589 SOS 73555 HAS SOPS 73555 HAS SOUS 20235 HAS SOUPS 20235 WITH SCORE 20308.555
AT ITER 7366 NEW BEST:: SOT 119529 SOS 73326 HAS SOPS 73326 HAS SOUS 20187 HAS SOUPS 20187 WITH SCORE 20260.326
AT ITER 7369 NEW BEST:: SOT 119550 SOS 73347 HAS SOPS 73347 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20248.347
AT ITER 7370 NEW BEST:: SOT 119548 SOS 73345 HAS SOPS 73345 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20246.345
AT ITER 7387 NEW BEST:: SOT 119548 SOS 73333 HAS SOPS 73333 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20243.333
AT ITER 7389 NEW BEST:: SOT 119545 SOS 73330 HAS SOPS 73330 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20217.33
AT ITER 7391 NEW BEST:: SOT 119545 SOS 73358 HAS SOPS 73358 HAS SOUS 20137 HAS SOUPS 20137 WITH SCORE 20210.358
AT ITER 7396 NEW BEST:: SOT 119539 SOS 73352 HAS SOPS 73352 HAS SOUS 20125 HAS SOUPS 20125 WITH SCORE 20198.352
AT ITER 7428 NEW BEST:: SOT 119529 SOS 73302 HAS SOPS 73302 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20178.302
AT ITER 7430 NEW BEST:: SOT 119529 SOS 73302 HAS SOPS 73302 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20171.302
AT ITER 7433 NEW BEST:: SOT 119529 SOS 73297 HAS SOPS 73297 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20156.297
AT ITER 7439 NEW BEST:: SOT 119361 SOS 72757 HAS SOPS 72757 HAS SOUS 19982 HAS SOUPS 19982 WITH SCORE 20054.757
AT ITER 7447 NEW BEST:: SOT 119360 SOS 72762 HAS SOPS 72762 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 20046.762
AT ITER 7556 NEW BEST:: SOT 119326 SOS 72694 HAS SOPS 72694 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19988.694
AT ITER 7575 NEW BEST:: SOT 119323 SOS 72670 HAS SOPS 72670 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19985.67
AT ITER 7596 NEW BEST:: SOT 119323 SOS 72726 HAS SOPS 72726 HAS SOUS 19899 HAS SOUPS 19899 WITH SCORE 19971.726
AT ITER 7617 NEW BEST:: SOT 119308 SOS 72648 HAS SOPS 72648 HAS SOUS 19884 HAS SOUPS 19884 WITH SCORE 19956.648
AT ITER 7641 NEW BEST:: SOT 119322 SOS 72414 HAS SOPS 72414 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19908.414
AT ITER 7679 NEW BEST:: SOT 119299 SOS 72391 HAS SOPS 72391 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19885.391
AT ITER 7707 NEW BEST:: SOT 119291 SOS 72351 HAS SOPS 72351 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19869.351
AT ITER 7725 NEW BEST:: SOT 119284 SOS 72150 HAS SOPS 72150 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19854.15
AT ITER 7766 NEW BEST:: SOT 119262 SOS 72128 HAS SOPS 72128 HAS SOUS 19748 HAS SOUPS 19748 WITH SCORE 19820.128
AT ITER 7800 NEW BEST:: SOT 119265 SOS 72148 HAS SOPS 72148 HAS SOUS 19746 HAS SOUPS 19746 WITH SCORE 19818.148
AT ITER 7810 NEW BEST:: SOT 119269 SOS 72109 HAS SOPS 72109 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19805.109
AT ITER 7821 NEW BEST:: SOT 119243 SOS 72083 HAS SOPS 72083 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19715.083
AT ITER 7826 NEW BEST:: SOT 119244 SOS 71958 HAS SOPS 71958 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19699.958
AT ITER 7831 NEW BEST:: SOT 119227 SOS 71240 HAS SOPS 71240 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19662.24
AT ITER 7896 NEW BEST:: SOT 119220 SOS 71223 HAS SOPS 71223 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19655.223
AT ITER 7906 NEW BEST:: SOT 119220 SOS 71223 HAS SOPS 71223 HAS SOUS 19570 HAS SOUPS 19570 WITH SCORE 19641.223
AT ITER 7927 NEW BEST:: SOT 119246 SOS 71249 HAS SOPS 71249 HAS SOUS 19566 HAS SOUPS 19566 WITH SCORE 19637.249
AT ITER 7935 NEW BEST:: SOT 119246 SOS 71249 HAS SOPS 71249 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19628.249
AT ITER 7989 NEW BEST:: SOT 119245 SOS 71248 HAS SOPS 71248 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19618.248
AT ITER 7996 NEW BEST:: SOT 119221 SOS 71224 HAS SOPS 71224 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19609.224
AT ITER 8011 NEW BEST:: SOT 119190 SOS 71193 HAS SOPS 71193 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19516.193
AT ITER 8023 NEW BEST:: SOT 119190 SOS 71209 HAS SOPS 71209 HAS SOUS 19441 HAS SOUPS 19441 WITH SCORE 19512.209
AT ITER 8033 NEW BEST:: SOT 119176 SOS 71181 HAS SOPS 71181 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19484.181
AT ITER 8041 NEW BEST:: SOT 119171 SOS 71176 HAS SOPS 71176 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19479.176
AT ITER 8075 NEW BEST:: SOT 119166 SOS 71119 HAS SOPS 71119 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19474.119
AT ITER 8079 NEW BEST:: SOT 119165 SOS 71118 HAS SOPS 71118 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19471.118
AT ITER 8084 NEW BEST:: SOT 119163 SOS 71122 HAS SOPS 71122 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19467.122
AT ITER 8089 NEW BEST:: SOT 119006 SOS 70965 HAS SOPS 70965 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19399.965
AT ITER 8116 NEW BEST:: SOT 119006 SOS 70965 HAS SOPS 70965 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19395.965
AT ITER 8141 NEW BEST:: SOT 119006 SOS 70965 HAS SOPS 70965 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19386.965
AT ITER 8205 NEW BEST:: SOT 119017 SOS 70946 HAS SOPS 70946 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19378.946
AT ITER 8235 NEW BEST:: SOT 118979 SOS 70720 HAS SOPS 70720 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19331.72
AT ITER 8257 NEW BEST:: SOT 118956 SOS 70789 HAS SOPS 70789 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19317.789
AT ITER 8267 NEW BEST:: SOT 118940 SOS 70666 HAS SOPS 70666 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19301.666
AT ITER 8288 NEW BEST:: SOT 118934 SOS 70660 HAS SOPS 70660 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19289.66
AT ITER 8298 NEW BEST:: SOT 118934 SOS 70635 HAS SOPS 70635 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19289.635
AT ITER 8320 NEW BEST:: SOT 118932 SOS 70629 HAS SOPS 70629 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19285.629
AT ITER 8324 NEW BEST:: SOT 118919 SOS 70594 HAS SOPS 70594 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19255.594
AT ITER 8361 NEW BEST:: SOT 118929 SOS 70604 HAS SOPS 70604 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19231.604
AT ITER 8365 NEW BEST:: SOT 118943 SOS 70628 HAS SOPS 70628 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19230.628
AT ITER 8380 NEW BEST:: SOT 118919 SOS 70532 HAS SOPS 70532 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19206.532
AT ITER 8383 NEW BEST:: SOT 118919 SOS 70532 HAS SOPS 70532 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19182.532
AT ITER 8394 NEW BEST:: SOT 118910 SOS 70506 HAS SOPS 70506 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19152.506
AT ITER 8412 NEW BEST:: SOT 118902 SOS 70478 HAS SOPS 70478 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19151.478
AT ITER 8438 NEW BEST:: SOT 118895 SOS 70498 HAS SOPS 70498 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19125.498
AT ITER 8577 NEW BEST:: SOT 118871 SOS 70378 HAS SOPS 70378 HAS SOUS 19007 HAS SOUPS 19007 WITH SCORE 19077.378
AT ITER 8605 NEW BEST:: SOT 118863 SOS 70370 HAS SOPS 70370 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19063.37
AT ITER 8611 NEW BEST:: SOT 118857 SOS 70382 HAS SOPS 70382 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19051.382
AT ITER 8682 NEW BEST:: SOT 118857 SOS 70382 HAS SOPS 70382 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19050.382
AT ITER 8705 NEW BEST:: SOT 118854 SOS 70381 HAS SOPS 70381 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19048.381
AT ITER 8738 NEW BEST:: SOT 118845 SOS 70372 HAS SOPS 70372 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 19030.372
AT ITER 8776 NEW BEST:: SOT 118843 SOS 70370 HAS SOPS 70370 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 19024.37
AT ITER 8832 NEW BEST:: SOT 118837 SOS 70364 HAS SOPS 70364 HAS SOUS 18951 HAS SOUPS 18951 WITH SCORE 19021.364
AT ITER 8849 NEW BEST:: SOT 118832 SOS 70365 HAS SOPS 70365 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 19018.365
AT ITER 8876 NEW BEST:: SOT 118828 SOS 70361 HAS SOPS 70361 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 19010.361
AT ITER 8889 NEW BEST:: SOT 118807 SOS 70340 HAS SOPS 70340 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18962.34
AT ITER 8937 NEW BEST:: SOT 118792 SOS 70249 HAS SOPS 70249 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18935.249
AT ITER 8987 NEW BEST:: SOT 118780 SOS 70237 HAS SOPS 70237 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18907.237
AT ITER 9014 NEW BEST:: SOT 118776 SOS 70233 HAS SOPS 70233 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18896.233
AT ITER 9015 NEW BEST:: SOT 118776 SOS 70213 HAS SOPS 70213 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18896.213
AT ITER 9017 NEW BEST:: SOT 118763 SOS 70200 HAS SOPS 70200 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18870.2
AT ITER 9026 NEW BEST:: SOT 118763 SOS 70185 HAS SOPS 70185 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18870.185
AT ITER 9064 NEW BEST:: SOT 118763 SOS 69434 HAS SOPS 69434 HAS SOUS 18782 HAS SOUPS 18782 WITH SCORE 18851.434
AT ITER 9108 NEW BEST:: SOT 118749 SOS 69508 HAS SOPS 69508 HAS SOUS 18746 HAS SOUPS 18746 WITH SCORE 18815.508
AT ITER 9112 NEW BEST:: SOT 118774 SOS 69533 HAS SOPS 69533 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18787.533
AT ITER 9114 NEW BEST:: SOT 118751 SOS 69468 HAS SOPS 69468 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18777.468
AT ITER 9143 NEW BEST:: SOT 118744 SOS 69461 HAS SOPS 69461 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18763.461
AT ITER 9162 NEW BEST:: SOT 118743 SOS 69459 HAS SOPS 69459 HAS SOUS 18691 HAS SOUPS 18691 WITH SCORE 18760.459
AT ITER 9163 NEW BEST:: SOT 118732 SOS 69360 HAS SOPS 69360 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18753.36
AT ITER 9207 NEW BEST:: SOT 118718 SOS 69339 HAS SOPS 69339 HAS SOUS 18656 HAS SOUPS 18656 WITH SCORE 18725.339
AT ITER 9218 NEW BEST:: SOT 118718 SOS 69339 HAS SOPS 69339 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18722.339
AT ITER 9268 NEW BEST:: SOT 118716 SOS 69337 HAS SOPS 69337 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18714.337
AT ITER 9284 NEW BEST:: SOT 118672 SOS 69281 HAS SOPS 69281 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18707.281
AT ITER 9313 NEW BEST:: SOT 118652 SOS 69261 HAS SOPS 69261 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18697.261
AT ITER 9327 NEW BEST:: SOT 118655 SOS 69264 HAS SOPS 69264 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18694.264
AT ITER 9390 NEW BEST:: SOT 118655 SOS 69261 HAS SOPS 69261 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18691.261
AT ITER 9438 NEW BEST:: SOT 118718 SOS 69338 HAS SOPS 69338 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18658.338
AT ITER 9439 NEW BEST:: SOT 118703 SOS 69084 HAS SOPS 69084 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18654.084
AT ITER 9465 NEW BEST:: SOT 118706 SOS 69067 HAS SOPS 69067 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18654.067
AT ITER 9488 NEW BEST:: SOT 118686 SOS 69022 HAS SOPS 69022 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18639.022
AT ITER 9497 NEW BEST:: SOT 118680 SOS 69016 HAS SOPS 69016 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18621.016
AT ITER 9524 NEW BEST:: SOT 118627 SOS 68963 HAS SOPS 68963 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18619.963
AT ITER 9525 NEW BEST:: SOT 118623 SOS 68987 HAS SOPS 68987 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18607.987
AT ITER 9532 NEW BEST:: SOT 118623 SOS 69011 HAS SOPS 69011 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18604.011
AT ITER 9584 NEW BEST:: SOT 118621 SOS 69008 HAS SOPS 69008 HAS SOUS 18532 HAS SOUPS 18532 WITH SCORE 18601.008
AT ITER 9641 NEW BEST:: SOT 118615 SOS 69000 HAS SOPS 69000 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18593.0
AT ITER 9646 NEW BEST:: SOT 118611 SOS 68996 HAS SOPS 68996 HAS SOUS 18512 HAS SOUPS 18512 WITH SCORE 18580.996
AT ITER 9726 NEW BEST:: SOT 118583 SOS 68954 HAS SOPS 68954 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18538.954
AT ITER 9734 NEW BEST:: SOT 118583 SOS 68948 HAS SOPS 68948 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18532.948
AT ITER 9736 NEW BEST:: SOT 118574 SOS 68794 HAS SOPS 68794 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18514.794
AT ITER 9749 NEW BEST:: SOT 118537 SOS 68759 HAS SOPS 68759 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18466.759
AT ITER 9775 NEW BEST:: SOT 118583 SOS 68811 HAS SOPS 68811 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18465.811
AT ITER 9811 NEW BEST:: SOT 118575 SOS 68743 HAS SOPS 68743 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18457.743
AT ITER 9824 NEW BEST:: SOT 118571 SOS 68735 HAS SOPS 68735 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18449.735
AT ITER 9826 NEW BEST:: SOT 118562 SOS 68711 HAS SOPS 68711 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18446.711
AT ITER 9881 NEW BEST:: SOT 118561 SOS 68710 HAS SOPS 68710 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18444.71
AT ITER 9885 NEW BEST:: SOT 118560 SOS 68709 HAS SOPS 68709 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18436.709
AT ITER 9888 NEW BEST:: SOT 118539 SOS 68625 HAS SOPS 68625 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18415.625
AT ITER 9903 NEW BEST:: SOT 118526 SOS 68609 HAS SOPS 68609 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18382.609
AT ITER 9996 NEW BEST:: SOT 118524 SOS 68607 HAS SOPS 68607 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18382.607
AT ITER 9997 NEW BEST:: SOT 118524 SOS 68672 HAS SOPS 68672 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18363.672
AT ITER 9999 NEW BEST:: SOT 118524 SOS 68670 HAS SOPS 68670 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18363.67
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 347136 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16136136 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="UtilityControlRoom-COL-Z4T3N10"
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 UtilityControlRoom-COL-Z4T3N10, 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 r483-tall-167912696501048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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