Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943200648.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 PolyORBNT-COL-S05J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943200648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.4K Feb 25 23:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 23:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 23:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 23:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 23:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K 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 1678807988121

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=PolyORBNT-COL-S05J30
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 15:33:10] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 15:33:10] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 15:33:11] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 15:33:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 15:33:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 883 ms
[2023-03-14 15:33:11] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 519 PT places and 1492.0 transition bindings in 38 ms.
[2023-03-14 15:33:12] [INFO ] Unfolded HLPN to a Petri net with 519 places and 1430 transitions 9824 arcs in 88 ms.
[2023-03-14 15:33:12] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 30 places and 30 transitions.
Ensure Unique test removed 655 transitions
Reduce isomorphic transitions removed 655 transitions.
[2023-03-14 15:33:12] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 489 places, 745 transitions and 3959 arcs took 23 ms.
Total runtime 1316 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J30
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: 489 places, 745 transitions, 3959 arcs.
AT ITER 0 NEW BEST:: SOT 224897 SOS 132128 HAS SOPS 132093 HAS SOUS 107731 HAS SOUPS 107724 WITH SCORE 107856.128
AT ITER 2 NEW BEST:: SOT 224932 SOS 131524 HAS SOPS 131489 HAS SOUS 107651 HAS SOUPS 107644 WITH SCORE 107775.524
AT ITER 12 NEW BEST:: SOT 225013 SOS 131524 HAS SOPS 131489 HAS SOUS 107569 HAS SOUPS 107562 WITH SCORE 107693.524
AT ITER 18 NEW BEST:: SOT 225013 SOS 131517 HAS SOPS 131482 HAS SOUS 107562 HAS SOUPS 107555 WITH SCORE 107686.517
AT ITER 27 NEW BEST:: SOT 224987 SOS 131465 HAS SOPS 131430 HAS SOUS 107536 HAS SOUPS 107529 WITH SCORE 107660.465
AT ITER 35 NEW BEST:: SOT 225010 SOS 131465 HAS SOPS 131430 HAS SOUS 107490 HAS SOUPS 107483 WITH SCORE 107614.465
AT ITER 36 NEW BEST:: SOT 224932 SOS 131309 HAS SOPS 131274 HAS SOUS 107412 HAS SOUPS 107405 WITH SCORE 107536.309
AT ITER 38 NEW BEST:: SOT 224867 SOS 131164 HAS SOPS 131129 HAS SOUS 107347 HAS SOUPS 107340 WITH SCORE 107471.164
AT ITER 52 NEW BEST:: SOT 224807 SOS 130744 HAS SOPS 130709 HAS SOUS 107137 HAS SOUPS 107130 WITH SCORE 107260.744
AT ITER 58 NEW BEST:: SOT 224807 SOS 130720 HAS SOPS 130685 HAS SOUS 107107 HAS SOUPS 107100 WITH SCORE 107230.72
AT ITER 60 NEW BEST:: SOT 224807 SOS 130619 HAS SOPS 130584 HAS SOUS 107107 HAS SOUPS 107100 WITH SCORE 107230.619
AT ITER 85 NEW BEST:: SOT 224807 SOS 130573 HAS SOPS 130538 HAS SOUS 107107 HAS SOUPS 107100 WITH SCORE 107230.573
AT ITER 98 NEW BEST:: SOT 224807 SOS 130536 HAS SOPS 130501 HAS SOUS 107107 HAS SOUPS 107100 WITH SCORE 107230.536
AT ITER 110 NEW BEST:: SOT 224765 SOS 130144 HAS SOPS 130109 HAS SOUS 106915 HAS SOUPS 106908 WITH SCORE 107038.144
AT ITER 117 NEW BEST:: SOT 224669 SOS 130208 HAS SOPS 130173 HAS SOUS 106849 HAS SOUPS 106842 WITH SCORE 106972.208
AT ITER 138 NEW BEST:: SOT 224739 SOS 130458 HAS SOPS 130423 HAS SOUS 106845 HAS SOUPS 106838 WITH SCORE 106968.458
AT ITER 143 NEW BEST:: SOT 224848 SOS 130551 HAS SOPS 130516 HAS SOUS 106784 HAS SOUPS 106777 WITH SCORE 106907.551
AT ITER 144 NEW BEST:: SOT 224942 SOS 130640 HAS SOPS 130605 HAS SOUS 106729 HAS SOUPS 106722 WITH SCORE 106852.64
AT ITER 158 NEW BEST:: SOT 225054 SOS 130748 HAS SOPS 130713 HAS SOUS 106603 HAS SOUPS 106596 WITH SCORE 106726.748
AT ITER 160 NEW BEST:: SOT 224956 SOS 130712 HAS SOPS 130677 HAS SOUS 106565 HAS SOUPS 106558 WITH SCORE 106688.712
AT ITER 177 NEW BEST:: SOT 224956 SOS 130712 HAS SOPS 130677 HAS SOUS 106562 HAS SOUPS 106555 WITH SCORE 106685.712
AT ITER 179 NEW BEST:: SOT 224930 SOS 130770 HAS SOPS 130735 HAS SOUS 106519 HAS SOUPS 106512 WITH SCORE 106642.77
AT ITER 188 NEW BEST:: SOT 224822 SOS 130662 HAS SOPS 130627 HAS SOUS 106411 HAS SOUPS 106404 WITH SCORE 106534.662
AT ITER 196 NEW BEST:: SOT 224700 SOS 129696 HAS SOPS 129661 HAS SOUS 106142 HAS SOUPS 106135 WITH SCORE 106264.696
AT ITER 199 NEW BEST:: SOT 224700 SOS 129687 HAS SOPS 129652 HAS SOUS 106142 HAS SOUPS 106135 WITH SCORE 106264.687
AT ITER 202 NEW BEST:: SOT 224700 SOS 129687 HAS SOPS 129652 HAS SOUS 106123 HAS SOUPS 106116 WITH SCORE 106245.687
AT ITER 209 NEW BEST:: SOT 224797 SOS 129724 HAS SOPS 129689 HAS SOUS 106022 HAS SOUPS 106015 WITH SCORE 106144.724
AT ITER 217 NEW BEST:: SOT 224917 SOS 129876 HAS SOPS 129841 HAS SOUS 106014 HAS SOUPS 106007 WITH SCORE 106136.876
AT ITER 228 NEW BEST:: SOT 224917 SOS 129876 HAS SOPS 129841 HAS SOUS 105975 HAS SOUPS 105968 WITH SCORE 106097.876
AT ITER 232 NEW BEST:: SOT 224917 SOS 129776 HAS SOPS 129741 HAS SOUS 105974 HAS SOUPS 105967 WITH SCORE 106096.776
AT ITER 240 NEW BEST:: SOT 224906 SOS 129754 HAS SOPS 129719 HAS SOUS 105808 HAS SOUPS 105801 WITH SCORE 105930.754
AT ITER 244 NEW BEST:: SOT 224862 SOS 129345 HAS SOPS 129310 HAS SOUS 105614 HAS SOUPS 105607 WITH SCORE 105736.345
AT ITER 249 NEW BEST:: SOT 224921 SOS 129348 HAS SOPS 129313 HAS SOUS 105556 HAS SOUPS 105549 WITH SCORE 105678.348
AT ITER 268 NEW BEST:: SOT 224921 SOS 129256 HAS SOPS 129221 HAS SOUS 105441 HAS SOUPS 105434 WITH SCORE 105563.256
AT ITER 275 NEW BEST:: SOT 224881 SOS 129216 HAS SOPS 129181 HAS SOUS 105401 HAS SOUPS 105394 WITH SCORE 105523.216
AT ITER 277 NEW BEST:: SOT 224952 SOS 129235 HAS SOPS 129200 HAS SOUS 105358 HAS SOUPS 105351 WITH SCORE 105480.235
AT ITER 332 NEW BEST:: SOT 224952 SOS 129235 HAS SOPS 129200 HAS SOUS 105350 HAS SOUPS 105343 WITH SCORE 105472.235
AT ITER 333 NEW BEST:: SOT 224945 SOS 128801 HAS SOPS 128766 HAS SOUS 105350 HAS SOUPS 105343 WITH SCORE 105471.801
AT ITER 334 NEW BEST:: SOT 224862 SOS 128303 HAS SOPS 128268 HAS SOUS 105267 HAS SOUPS 105260 WITH SCORE 105388.303
AT ITER 341 NEW BEST:: SOT 224754 SOS 128195 HAS SOPS 128160 HAS SOUS 105159 HAS SOUPS 105152 WITH SCORE 105280.195
AT ITER 343 NEW BEST:: SOT 224821 SOS 128234 HAS SOPS 128199 HAS SOUS 105123 HAS SOUPS 105116 WITH SCORE 105244.234
AT ITER 349 NEW BEST:: SOT 224857 SOS 128263 HAS SOPS 128228 HAS SOUS 105081 HAS SOUPS 105074 WITH SCORE 105202.263
AT ITER 351 NEW BEST:: SOT 224910 SOS 128307 HAS SOPS 128272 HAS SOUS 105003 HAS SOUPS 104996 WITH SCORE 105124.307
AT ITER 370 NEW BEST:: SOT 224910 SOS 128307 HAS SOPS 128272 HAS SOUS 104997 HAS SOUPS 104990 WITH SCORE 105118.307
AT ITER 377 NEW BEST:: SOT 224835 SOS 128272 HAS SOPS 128237 HAS SOUS 104958 HAS SOUPS 104951 WITH SCORE 105079.272
AT ITER 379 NEW BEST:: SOT 224825 SOS 128262 HAS SOPS 128227 HAS SOUS 104948 HAS SOUPS 104941 WITH SCORE 105069.262
AT ITER 383 NEW BEST:: SOT 224825 SOS 128250 HAS SOPS 128215 HAS SOUS 104942 HAS SOUPS 104935 WITH SCORE 105063.25
AT ITER 389 NEW BEST:: SOT 224754 SOS 128234 HAS SOPS 128199 HAS SOUS 104876 HAS SOUPS 104869 WITH SCORE 104997.234
AT ITER 393 NEW BEST:: SOT 224735 SOS 128196 HAS SOPS 128161 HAS SOUS 104857 HAS SOUPS 104850 WITH SCORE 104978.196
AT ITER 394 NEW BEST:: SOT 224678 SOS 127855 HAS SOPS 127820 HAS SOUS 104516 HAS SOUPS 104509 WITH SCORE 104636.855
AT ITER 396 NEW BEST:: SOT 224688 SOS 127859 HAS SOPS 127824 HAS SOUS 104353 HAS SOUPS 104346 WITH SCORE 104473.859
AT ITER 402 NEW BEST:: SOT 224759 SOS 127888 HAS SOPS 127853 HAS SOUS 104296 HAS SOUPS 104289 WITH SCORE 104416.888
AT ITER 403 NEW BEST:: SOT 224795 SOS 127794 HAS SOPS 127759 HAS SOUS 104236 HAS SOUPS 104229 WITH SCORE 104356.794
AT ITER 411 NEW BEST:: SOT 224795 SOS 127794 HAS SOPS 127759 HAS SOUS 104191 HAS SOUPS 104184 WITH SCORE 104311.794
AT ITER 416 NEW BEST:: SOT 224898 SOS 127871 HAS SOPS 127836 HAS SOUS 104060 HAS SOUPS 104053 WITH SCORE 104180.871
AT ITER 417 NEW BEST:: SOT 224757 SOS 127952 HAS SOPS 127917 HAS SOUS 103767 HAS SOUPS 103760 WITH SCORE 103887.952
AT ITER 419 NEW BEST:: SOT 224765 SOS 127958 HAS SOPS 127923 HAS SOUS 103303 HAS SOUPS 103296 WITH SCORE 103423.958
AT ITER 421 NEW BEST:: SOT 224750 SOS 127913 HAS SOPS 127878 HAS SOUS 103288 HAS SOUPS 103281 WITH SCORE 103408.913
AT ITER 435 NEW BEST:: SOT 224741 SOS 127561 HAS SOPS 127526 HAS SOUS 103132 HAS SOUPS 103125 WITH SCORE 103252.561
AT ITER 448 NEW BEST:: SOT 224741 SOS 127497 HAS SOPS 127462 HAS SOUS 103068 HAS SOUPS 103061 WITH SCORE 103188.497
AT ITER 453 NEW BEST:: SOT 224644 SOS 127658 HAS SOPS 127623 HAS SOUS 103041 HAS SOUPS 103034 WITH SCORE 103161.658
AT ITER 465 NEW BEST:: SOT 224608 SOS 127572 HAS SOPS 127537 HAS SOUS 102955 HAS SOUPS 102948 WITH SCORE 103075.572
AT ITER 476 NEW BEST:: SOT 224518 SOS 126897 HAS SOPS 126862 HAS SOUS 102280 HAS SOUPS 102273 WITH SCORE 102399.897
AT ITER 480 NEW BEST:: SOT 224545 SOS 126924 HAS SOPS 126889 HAS SOUS 102230 HAS SOUPS 102223 WITH SCORE 102349.924
AT ITER 499 NEW BEST:: SOT 224608 SOS 126924 HAS SOPS 126889 HAS SOUS 102150 HAS SOUPS 102143 WITH SCORE 102269.924
AT ITER 501 NEW BEST:: SOT 224720 SOS 127049 HAS SOPS 127014 HAS SOUS 102117 HAS SOUPS 102110 WITH SCORE 102237.049
AT ITER 505 NEW BEST:: SOT 220460 SOS 168248 HAS SOPS 168213 HAS SOUS 98300 HAS SOUPS 98293 WITH SCORE 98461.248
AT ITER 511 NEW BEST:: SOT 220460 SOS 168248 HAS SOPS 168213 HAS SOUS 98257 HAS SOUPS 98250 WITH SCORE 98418.248
AT ITER 512 NEW BEST:: SOT 220512 SOS 168286 HAS SOPS 168251 HAS SOUS 98197 HAS SOUPS 98190 WITH SCORE 98358.286
AT ITER 515 NEW BEST:: SOT 220479 SOS 168232 HAS SOPS 168197 HAS SOUS 98080 HAS SOUPS 98073 WITH SCORE 98241.232
AT ITER 539 NEW BEST:: SOT 220466 SOS 168206 HAS SOPS 168171 HAS SOUS 98066 HAS SOUPS 98059 WITH SCORE 98227.206
AT ITER 547 NEW BEST:: SOT 220543 SOS 168283 HAS SOPS 168248 HAS SOUS 98057 HAS SOUPS 98050 WITH SCORE 98218.283
AT ITER 553 NEW BEST:: SOT 220594 SOS 168334 HAS SOPS 168299 HAS SOUS 97983 HAS SOUPS 97976 WITH SCORE 98144.334
AT ITER 555 NEW BEST:: SOT 220503 SOS 168140 HAS SOPS 168105 HAS SOUS 97377 HAS SOUPS 97370 WITH SCORE 97538.14
AT ITER 568 NEW BEST:: SOT 220687 SOS 168324 HAS SOPS 168289 HAS SOUS 97346 HAS SOUPS 97339 WITH SCORE 97507.324
AT ITER 569 NEW BEST:: SOT 220659 SOS 168274 HAS SOPS 168239 HAS SOUS 97294 HAS SOUPS 97287 WITH SCORE 97455.274
AT ITER 582 NEW BEST:: SOT 218073 SOS 165688 HAS SOPS 165653 HAS SOUS 94918 HAS SOUPS 94911 WITH SCORE 95076.688
AT ITER 583 NEW BEST:: SOT 217926 SOS 133252 HAS SOPS 133217 HAS SOUS 94624 HAS SOUPS 94617 WITH SCORE 94750.252
AT ITER 586 NEW BEST:: SOT 217904 SOS 133230 HAS SOPS 133195 HAS SOUS 94522 HAS SOUPS 94515 WITH SCORE 94648.23
AT ITER 600 NEW BEST:: SOT 217904 SOS 133230 HAS SOPS 133195 HAS SOUS 94514 HAS SOUPS 94507 WITH SCORE 94640.23
AT ITER 606 NEW BEST:: SOT 217812 SOS 133213 HAS SOPS 133178 HAS SOUS 94497 HAS SOUPS 94490 WITH SCORE 94623.213
AT ITER 608 NEW BEST:: SOT 217750 SOS 133151 HAS SOPS 133116 HAS SOUS 93856 HAS SOUPS 93849 WITH SCORE 93982.151
AT ITER 617 NEW BEST:: SOT 217749 SOS 133150 HAS SOPS 133115 HAS SOUS 93855 HAS SOUPS 93848 WITH SCORE 93981.15
AT ITER 620 NEW BEST:: SOT 217703 SOS 132789 HAS SOPS 132754 HAS SOUS 93659 HAS SOUPS 93652 WITH SCORE 93784.789
AT ITER 622 NEW BEST:: SOT 217671 SOS 132253 HAS SOPS 132218 HAS SOUS 93056 HAS SOUPS 93049 WITH SCORE 93181.253
AT ITER 629 NEW BEST:: SOT 217674 SOS 132256 HAS SOPS 132221 HAS SOUS 93004 HAS SOUPS 92997 WITH SCORE 93129.256
AT ITER 631 NEW BEST:: SOT 217664 SOS 132246 HAS SOPS 132211 HAS SOUS 92994 HAS SOUPS 92987 WITH SCORE 93119.246
AT ITER 646 NEW BEST:: SOT 217710 SOS 131990 HAS SOPS 131955 HAS SOUS 92910 HAS SOUPS 92903 WITH SCORE 93034.99
AT ITER 650 NEW BEST:: SOT 217696 SOS 131976 HAS SOPS 131941 HAS SOUS 92878 HAS SOUPS 92871 WITH SCORE 93002.976
AT ITER 662 NEW BEST:: SOT 217696 SOS 131928 HAS SOPS 131893 HAS SOUS 92878 HAS SOUPS 92871 WITH SCORE 93002.928
AT ITER 664 NEW BEST:: SOT 217696 SOS 131928 HAS SOPS 131893 HAS SOUS 92854 HAS SOUPS 92847 WITH SCORE 92978.928
AT ITER 666 NEW BEST:: SOT 218168 SOS 131991 HAS SOPS 131931 HAS SOUS 92566 HAS SOUPS 92549 WITH SCORE 92680.991
AT ITER 674 NEW BEST:: SOT 217673 SOS 135626 HAS SOPS 135566 HAS SOUS 92300 HAS SOUPS 92283 WITH SCORE 92418.626
AT ITER 676 NEW BEST:: SOT 217665 SOS 135489 HAS SOPS 135429 HAS SOUS 92284 HAS SOUPS 92267 WITH SCORE 92402.489
AT ITER 679 NEW BEST:: SOT 217735 SOS 134990 HAS SOPS 134930 HAS SOUS 92215 HAS SOUPS 92198 WITH SCORE 92332.99
AT ITER 680 NEW BEST:: SOT 217773 SOS 134944 HAS SOPS 134884 HAS SOUS 92120 HAS SOUPS 92103 WITH SCORE 92237.944
AT ITER 690 NEW BEST:: SOT 217690 SOS 135301 HAS SOPS 135241 HAS SOUS 92094 HAS SOUPS 92077 WITH SCORE 92212.301
AT ITER 694 NEW BEST:: SOT 217692 SOS 135271 HAS SOPS 135211 HAS SOUS 92082 HAS SOUPS 92065 WITH SCORE 92200.271
AT ITER 724 NEW BEST:: SOT 217644 SOS 135175 HAS SOPS 135115 HAS SOUS 92034 HAS SOUPS 92017 WITH SCORE 92152.175
AT ITER 762 NEW BEST:: SOT 217645 SOS 135026 HAS SOPS 134966 HAS SOUS 91975 HAS SOUPS 91958 WITH SCORE 92093.026
AT ITER 764 NEW BEST:: SOT 217715 SOS 135147 HAS SOPS 135082 HAS SOUS 86207 HAS SOUPS 86190 WITH SCORE 86325.147
AT ITER 765 NEW BEST:: SOT 217673 SOS 135137 HAS SOPS 135072 HAS SOUS 86184 HAS SOUPS 86167 WITH SCORE 86302.137
AT ITER 772 NEW BEST:: SOT 217670 SOS 135134 HAS SOPS 135069 HAS SOUS 86009 HAS SOUPS 85992 WITH SCORE 86127.134
AT ITER 798 NEW BEST:: SOT 217663 SOS 135127 HAS SOPS 135062 HAS SOUS 86009 HAS SOUPS 85992 WITH SCORE 86127.127
AT ITER 800 NEW BEST:: SOT 217523 SOS 131825 HAS SOPS 131760 HAS SOUS 85795 HAS SOUPS 85778 WITH SCORE 85909.825
AT ITER 815 NEW BEST:: SOT 217594 SOS 131477 HAS SOPS 131412 HAS SOUS 85750 HAS SOUPS 85733 WITH SCORE 85864.477
AT ITER 821 NEW BEST:: SOT 217594 SOS 131477 HAS SOPS 131412 HAS SOUS 85738 HAS SOUPS 85721 WITH SCORE 85852.477
AT ITER 832 NEW BEST:: SOT 217693 SOS 131494 HAS SOPS 131429 HAS SOUS 85629 HAS SOUPS 85612 WITH SCORE 85743.494
AT ITER 852 NEW BEST:: SOT 217736 SOS 131548 HAS SOPS 131483 HAS SOUS 81930 HAS SOUPS 81913 WITH SCORE 82044.548
AT ITER 856 NEW BEST:: SOT 217736 SOS 131540 HAS SOPS 131475 HAS SOUS 81930 HAS SOUPS 81913 WITH SCORE 82044.54
AT ITER 858 NEW BEST:: SOT 217727 SOS 131522 HAS SOPS 131457 HAS SOUS 81900 HAS SOUPS 81883 WITH SCORE 82014.522
AT ITER 859 NEW BEST:: SOT 217867 SOS 131695 HAS SOPS 131628 HAS SOUS 78952 HAS SOUPS 78935 WITH SCORE 79066.695
AT ITER 861 NEW BEST:: SOT 217867 SOS 131695 HAS SOPS 131628 HAS SOUS 78943 HAS SOUPS 78926 WITH SCORE 79057.695
AT ITER 880 NEW BEST:: SOT 217860 SOS 131688 HAS SOPS 131621 HAS SOUS 78936 HAS SOUPS 78919 WITH SCORE 79050.688
AT ITER 884 NEW BEST:: SOT 217860 SOS 131688 HAS SOPS 131621 HAS SOUS 78933 HAS SOUPS 78916 WITH SCORE 79047.688
AT ITER 888 NEW BEST:: SOT 217824 SOS 131652 HAS SOPS 131585 HAS SOUS 78897 HAS SOUPS 78880 WITH SCORE 79011.652
AT ITER 889 NEW BEST:: SOT 217815 SOS 131605 HAS SOPS 131538 HAS SOUS 78850 HAS SOUPS 78833 WITH SCORE 78964.605
AT ITER 905 NEW BEST:: SOT 217785 SOS 131504 HAS SOPS 131437 HAS SOUS 78732 HAS SOUPS 78715 WITH SCORE 78846.504
AT ITER 911 NEW BEST:: SOT 217691 SOS 131540 HAS SOPS 131473 HAS SOUS 78663 HAS SOUPS 78646 WITH SCORE 78777.54
AT ITER 912 NEW BEST:: SOT 217679 SOS 131480 HAS SOPS 131413 HAS SOUS 78603 HAS SOUPS 78586 WITH SCORE 78717.48
AT ITER 927 NEW BEST:: SOT 217631 SOS 131432 HAS SOPS 131365 HAS SOUS 78521 HAS SOUPS 78504 WITH SCORE 78635.432
AT ITER 939 NEW BEST:: SOT 217596 SOS 131397 HAS SOPS 131330 HAS SOUS 78483 HAS SOUPS 78466 WITH SCORE 78597.397
AT ITER 952 NEW BEST:: SOT 217477 SOS 131278 HAS SOPS 131211 HAS SOUS 78412 HAS SOUPS 78395 WITH SCORE 78526.278
AT ITER 957 NEW BEST:: SOT 217421 SOS 131222 HAS SOPS 131155 HAS SOUS 78281 HAS SOUPS 78264 WITH SCORE 78395.222
AT ITER 962 NEW BEST:: SOT 217417 SOS 131218 HAS SOPS 131151 HAS SOUS 78273 HAS SOUPS 78256 WITH SCORE 78387.218
AT ITER 970 NEW BEST:: SOT 217377 SOS 131178 HAS SOPS 131111 HAS SOUS 78233 HAS SOUPS 78216 WITH SCORE 78347.178
AT ITER 977 NEW BEST:: SOT 217377 SOS 131153 HAS SOPS 131086 HAS SOUS 78208 HAS SOUPS 78191 WITH SCORE 78322.153
AT ITER 984 NEW BEST:: SOT 217349 SOS 131125 HAS SOPS 131058 HAS SOUS 78157 HAS SOUPS 78140 WITH SCORE 78271.125
AT ITER 985 NEW BEST:: SOT 217378 SOS 131154 HAS SOPS 131087 HAS SOUS 78137 HAS SOUPS 78120 WITH SCORE 78251.154
AT ITER 986 NEW BEST:: SOT 217412 SOS 131188 HAS SOPS 131121 HAS SOUS 78115 HAS SOUPS 78098 WITH SCORE 78229.188
AT ITER 988 NEW BEST:: SOT 217412 SOS 131143 HAS SOPS 131076 HAS SOUS 78070 HAS SOUPS 78053 WITH SCORE 78184.143
AT ITER 993 NEW BEST:: SOT 217411 SOS 131141 HAS SOPS 131074 HAS SOUS 78069 HAS SOUPS 78052 WITH SCORE 78183.141
AT ITER 1006 NEW BEST:: SOT 217398 SOS 131115 HAS SOPS 131048 HAS SOUS 78056 HAS SOUPS 78039 WITH SCORE 78170.115
AT ITER 1016 NEW BEST:: SOT 217438 SOS 131155 HAS SOPS 131088 HAS SOUS 77907 HAS SOUPS 77890 WITH SCORE 78021.155
AT ITER 1024 NEW BEST:: SOT 217438 SOS 131138 HAS SOPS 131071 HAS SOUS 77907 HAS SOUPS 77890 WITH SCORE 78021.138
AT ITER 1032 NEW BEST:: SOT 217321 SOS 131157 HAS SOPS 131090 HAS SOUS 77876 HAS SOUPS 77859 WITH SCORE 77990.157
AT ITER 1044 NEW BEST:: SOT 217319 SOS 130909 HAS SOPS 130842 HAS SOUS 77740 HAS SOUPS 77723 WITH SCORE 77853.909
AT ITER 1046 NEW BEST:: SOT 217301 SOS 130759 HAS SOPS 130692 HAS SOUS 77590 HAS SOUPS 77573 WITH SCORE 77703.759
AT ITER 1047 NEW BEST:: SOT 217298 SOS 130753 HAS SOPS 130686 HAS SOUS 77587 HAS SOUPS 77570 WITH SCORE 77700.753
AT ITER 1052 NEW BEST:: SOT 217248 SOS 130703 HAS SOPS 130636 HAS SOUS 77506 HAS SOUPS 77489 WITH SCORE 77619.703
AT ITER 1059 NEW BEST:: SOT 217204 SOS 130670 HAS SOPS 130603 HAS SOUS 77470 HAS SOUPS 77453 WITH SCORE 77583.67
AT ITER 1062 NEW BEST:: SOT 217196 SOS 130662 HAS SOPS 130595 HAS SOUS 77445 HAS SOUPS 77428 WITH SCORE 77558.662
AT ITER 1065 NEW BEST:: SOT 217196 SOS 130662 HAS SOPS 130595 HAS SOUS 77443 HAS SOUPS 77426 WITH SCORE 77556.662
AT ITER 1066 NEW BEST:: SOT 217182 SOS 130606 HAS SOPS 130539 HAS SOUS 77429 HAS SOUPS 77412 WITH SCORE 77542.606
AT ITER 1107 NEW BEST:: SOT 217132 SOS 130556 HAS SOPS 130489 HAS SOUS 77379 HAS SOUPS 77362 WITH SCORE 77492.556
AT ITER 1122 NEW BEST:: SOT 217032 SOS 130456 HAS SOPS 130389 HAS SOUS 77293 HAS SOUPS 77276 WITH SCORE 77406.456
AT ITER 1127 NEW BEST:: SOT 217045 SOS 130176 HAS SOPS 130109 HAS SOUS 77211 HAS SOUPS 77194 WITH SCORE 77324.176
AT ITER 1128 NEW BEST:: SOT 217008 SOS 130139 HAS SOPS 130072 HAS SOUS 77149 HAS SOUPS 77132 WITH SCORE 77262.139
AT ITER 1129 NEW BEST:: SOT 216976 SOS 130126 HAS SOPS 130059 HAS SOUS 77126 HAS SOUPS 77109 WITH SCORE 77239.126
AT ITER 1140 NEW BEST:: SOT 216968 SOS 130118 HAS SOPS 130051 HAS SOUS 77118 HAS SOUPS 77101 WITH SCORE 77231.118
AT ITER 1145 NEW BEST:: SOT 216922 SOS 130052 HAS SOPS 129985 HAS SOUS 77052 HAS SOUPS 77035 WITH SCORE 77165.052
AT ITER 1154 NEW BEST:: SOT 216336 SOS 129466 HAS SOPS 129399 HAS SOUS 76624 HAS SOUPS 76607 WITH SCORE 76736.466
AT ITER 1160 NEW BEST:: SOT 216333 SOS 129463 HAS SOPS 129396 HAS SOUS 76579 HAS SOUPS 76562 WITH SCORE 76691.463
AT ITER 1162 NEW BEST:: SOT 216333 SOS 129439 HAS SOPS 129372 HAS SOUS 76579 HAS SOUPS 76562 WITH SCORE 76691.439
AT ITER 1173 NEW BEST:: SOT 216326 SOS 129404 HAS SOPS 129337 HAS SOUS 76544 HAS SOUPS 76527 WITH SCORE 76656.404
AT ITER 1183 NEW BEST:: SOT 216299 SOS 127703 HAS SOPS 127636 HAS SOUS 76490 HAS SOUPS 76473 WITH SCORE 76600.703
AT ITER 1187 NEW BEST:: SOT 216313 SOS 127717 HAS SOPS 127650 HAS SOUS 76477 HAS SOUPS 76460 WITH SCORE 76587.717
AT ITER 1193 NEW BEST:: SOT 216506 SOS 127389 HAS SOPS 127322 HAS SOUS 76325 HAS SOUPS 76308 WITH SCORE 76435.389
AT ITER 1197 NEW BEST:: SOT 216526 SOS 127409 HAS SOPS 127342 HAS SOUS 76324 HAS SOUPS 76307 WITH SCORE 76434.409
AT ITER 1201 NEW BEST:: SOT 216498 SOS 127145 HAS SOPS 127078 HAS SOUS 76136 HAS SOUPS 76119 WITH SCORE 76246.145
AT ITER 1204 NEW BEST:: SOT 216487 SOS 127134 HAS SOPS 127067 HAS SOUS 76015 HAS SOUPS 75998 WITH SCORE 76125.134
AT ITER 1205 NEW BEST:: SOT 216487 SOS 127134 HAS SOPS 127067 HAS SOUS 76014 HAS SOUPS 75997 WITH SCORE 76124.134
AT ITER 1208 NEW BEST:: SOT 216475 SOS 127110 HAS SOPS 127043 HAS SOUS 75993 HAS SOUPS 75976 WITH SCORE 76103.11
AT ITER 1218 NEW BEST:: SOT 216475 SOS 126977 HAS SOPS 126910 HAS SOUS 75934 HAS SOUPS 75917 WITH SCORE 76043.977
AT ITER 1225 NEW BEST:: SOT 216464 SOS 126999 HAS SOPS 126932 HAS SOUS 75923 HAS SOUPS 75906 WITH SCORE 76032.999
AT ITER 1226 NEW BEST:: SOT 216476 SOS 127011 HAS SOPS 126944 HAS SOUS 75912 HAS SOUPS 75895 WITH SCORE 76022.011
AT ITER 1244 NEW BEST:: SOT 216587 SOS 127175 HAS SOPS 127108 HAS SOUS 73770 HAS SOUPS 73753 WITH SCORE 73880.175
AT ITER 1252 NEW BEST:: SOT 216502 SOS 127040 HAS SOPS 126973 HAS SOUS 73635 HAS SOUPS 73618 WITH SCORE 73745.04
AT ITER 1253 NEW BEST:: SOT 216471 SOS 127008 HAS SOPS 126941 HAS SOUS 73603 HAS SOUPS 73586 WITH SCORE 73713.008
AT ITER 1263 NEW BEST:: SOT 216468 SOS 127005 HAS SOPS 126938 HAS SOUS 73597 HAS SOUPS 73580 WITH SCORE 73707.005
AT ITER 1277 NEW BEST:: SOT 216461 SOS 126991 HAS SOPS 126924 HAS SOUS 73590 HAS SOUPS 73573 WITH SCORE 73699.991
AT ITER 1281 NEW BEST:: SOT 216412 SOS 126942 HAS SOPS 126875 HAS SOUS 73492 HAS SOUPS 73475 WITH SCORE 73601.942
AT ITER 1282 NEW BEST:: SOT 216492 SOS 127022 HAS SOPS 126955 HAS SOUS 73392 HAS SOUPS 73375 WITH SCORE 73502.022
AT ITER 1292 NEW BEST:: SOT 216453 SOS 126983 HAS SOPS 126916 HAS SOUS 73314 HAS SOUPS 73297 WITH SCORE 73423.983
AT ITER 1293 NEW BEST:: SOT 216678 SOS 127376 HAS SOPS 127304 HAS SOUS 71232 HAS SOUPS 71214 WITH SCORE 71341.376
AT ITER 1298 NEW BEST:: SOT 216864 SOS 127655 HAS SOPS 127583 HAS SOUS 69444 HAS SOUPS 69426 WITH SCORE 69553.655
AT ITER 1300 NEW BEST:: SOT 216829 SOS 127285 HAS SOPS 127213 HAS SOUS 69317 HAS SOUPS 69299 WITH SCORE 69426.285
AT ITER 1315 NEW BEST:: SOT 216801 SOS 127229 HAS SOPS 127157 HAS SOUS 68827 HAS SOUPS 68809 WITH SCORE 68936.229
AT ITER 1319 NEW BEST:: SOT 216778 SOS 127206 HAS SOPS 127134 HAS SOUS 68782 HAS SOUPS 68764 WITH SCORE 68891.206
AT ITER 1320 NEW BEST:: SOT 216778 SOS 127267 HAS SOPS 127195 HAS SOUS 68760 HAS SOUPS 68742 WITH SCORE 68869.267
AT ITER 1336 NEW BEST:: SOT 217049 SOS 127412 HAS SOPS 127340 HAS SOUS 68690 HAS SOUPS 68672 WITH SCORE 68799.412
AT ITER 1346 NEW BEST:: SOT 217042 SOS 127405 HAS SOPS 127333 HAS SOUS 68676 HAS SOUPS 68658 WITH SCORE 68785.405
AT ITER 1358 NEW BEST:: SOT 217042 SOS 127432 HAS SOPS 127360 HAS SOUS 68675 HAS SOUPS 68657 WITH SCORE 68784.432
AT ITER 1360 NEW BEST:: SOT 217070 SOS 127488 HAS SOPS 127411 HAS SOUS 68462 HAS SOUPS 68444 WITH SCORE 68571.488
AT ITER 1361 NEW BEST:: SOT 217908 SOS 128506 HAS SOPS 128429 HAS SOUS 67462 HAS SOUPS 67444 WITH SCORE 67572.506
AT ITER 1362 NEW BEST:: SOT 217894 SOS 128536 HAS SOPS 128459 HAS SOUS 67435 HAS SOUPS 67417 WITH SCORE 67545.536
AT ITER 1368 NEW BEST:: SOT 217852 SOS 128523 HAS SOPS 128446 HAS SOUS 67419 HAS SOUPS 67401 WITH SCORE 67529.523
AT ITER 1369 NEW BEST:: SOT 217768 SOS 128383 HAS SOPS 128306 HAS SOUS 67271 HAS SOUPS 67253 WITH SCORE 67381.383
AT ITER 1389 NEW BEST:: SOT 217874 SOS 128437 HAS SOPS 128360 HAS SOUS 67170 HAS SOUPS 67152 WITH SCORE 67280.437
AT ITER 1390 NEW BEST:: SOT 217839 SOS 128409 HAS SOPS 128332 HAS SOUS 67127 HAS SOUPS 67109 WITH SCORE 67237.409
AT ITER 1408 NEW BEST:: SOT 217823 SOS 128401 HAS SOPS 128324 HAS SOUS 67111 HAS SOUPS 67093 WITH SCORE 67221.401
AT ITER 1427 NEW BEST:: SOT 217800 SOS 128263 HAS SOPS 128186 HAS SOUS 66973 HAS SOUPS 66955 WITH SCORE 67083.263
AT ITER 1434 NEW BEST:: SOT 217675 SOS 127870 HAS SOPS 127793 HAS SOUS 66406 HAS SOUPS 66388 WITH SCORE 66515.87
AT ITER 1439 NEW BEST:: SOT 217700 SOS 127895 HAS SOPS 127818 HAS SOUS 66386 HAS SOUPS 66368 WITH SCORE 66495.895
AT ITER 1443 NEW BEST:: SOT 217700 SOS 127805 HAS SOPS 127728 HAS SOUS 66368 HAS SOUPS 66350 WITH SCORE 66477.805
AT ITER 1447 NEW BEST:: SOT 217678 SOS 127783 HAS SOPS 127706 HAS SOUS 66324 HAS SOUPS 66306 WITH SCORE 66433.783
AT ITER 1456 NEW BEST:: SOT 217685 SOS 127682 HAS SOPS 127605 HAS SOUS 66295 HAS SOUPS 66277 WITH SCORE 66404.682
AT ITER 1476 NEW BEST:: SOT 217732 SOS 127729 HAS SOPS 127652 HAS SOUS 66267 HAS SOUPS 66249 WITH SCORE 66376.729
AT ITER 1489 NEW BEST:: SOT 217682 SOS 127610 HAS SOPS 127533 HAS SOUS 66186 HAS SOUPS 66168 WITH SCORE 66295.61
AT ITER 1497 NEW BEST:: SOT 217655 SOS 127591 HAS SOPS 127514 HAS SOUS 66162 HAS SOUPS 66144 WITH SCORE 66271.591
AT ITER 1507 NEW BEST:: SOT 217637 SOS 127627 HAS SOPS 127550 HAS SOUS 66072 HAS SOUPS 66054 WITH SCORE 66181.627
AT ITER 1516 NEW BEST:: SOT 217548 SOS 127423 HAS SOPS 127346 HAS SOUS 65628 HAS SOUPS 65610 WITH SCORE 65737.423
AT ITER 1520 NEW BEST:: SOT 217531 SOS 127389 HAS SOPS 127312 HAS SOUS 65611 HAS SOUPS 65593 WITH SCORE 65720.389
AT ITER 1527 NEW BEST:: SOT 217523 SOS 127373 HAS SOPS 127296 HAS SOUS 65595 HAS SOUPS 65577 WITH SCORE 65704.373
AT ITER 1549 NEW BEST:: SOT 217162 SOS 127198 HAS SOPS 127121 HAS SOUS 65421 HAS SOUPS 65403 WITH SCORE 65530.198
AT ITER 1569 NEW BEST:: SOT 217135 SOS 127036 HAS SOPS 126959 HAS SOUS 65364 HAS SOUPS 65346 WITH SCORE 65473.036
AT ITER 1573 NEW BEST:: SOT 217093 SOS 126994 HAS SOPS 126917 HAS SOUS 65271 HAS SOUPS 65253 WITH SCORE 65379.994
AT ITER 1580 NEW BEST:: SOT 217055 SOS 126956 HAS SOPS 126879 HAS SOUS 65214 HAS SOUPS 65196 WITH SCORE 65322.956
AT ITER 1593 NEW BEST:: SOT 217007 SOS 124910 HAS SOPS 124833 HAS SOUS 65118 HAS SOUPS 65100 WITH SCORE 65224.91
AT ITER 1615 NEW BEST:: SOT 217044 SOS 124746 HAS SOPS 124669 HAS SOUS 65057 HAS SOUPS 65039 WITH SCORE 65163.746
AT ITER 1629 NEW BEST:: SOT 217034 SOS 124736 HAS SOPS 124659 HAS SOUS 65037 HAS SOUPS 65019 WITH SCORE 65143.736
AT ITER 1632 NEW BEST:: SOT 216976 SOS 124620 HAS SOPS 124543 HAS SOUS 64921 HAS SOUPS 64903 WITH SCORE 65027.62
AT ITER 1643 NEW BEST:: SOT 217010 SOS 125115 HAS SOPS 125038 HAS SOUS 64436 HAS SOUPS 64418 WITH SCORE 64543.115
AT ITER 1646 NEW BEST:: SOT 217010 SOS 125115 HAS SOPS 125038 HAS SOUS 64351 HAS SOUPS 64333 WITH SCORE 64458.115
AT ITER 1654 NEW BEST:: SOT 216841 SOS 125100 HAS SOPS 125023 HAS SOUS 64308 HAS SOUPS 64290 WITH SCORE 64415.1
AT ITER 1677 NEW BEST:: SOT 216879 SOS 125138 HAS SOPS 125061 HAS SOUS 64132 HAS SOUPS 64114 WITH SCORE 64239.138
AT ITER 1678 NEW BEST:: SOT 216837 SOS 125040 HAS SOPS 124963 HAS SOUS 63985 HAS SOUPS 63967 WITH SCORE 64092.04
AT ITER 1705 NEW BEST:: SOT 216767 SOS 125034 HAS SOPS 124957 HAS SOUS 63979 HAS SOUPS 63961 WITH SCORE 64086.034
AT ITER 1706 NEW BEST:: SOT 216741 SOS 125021 HAS SOPS 124944 HAS SOUS 63953 HAS SOUPS 63935 WITH SCORE 64060.021
AT ITER 1710 NEW BEST:: SOT 216741 SOS 124963 HAS SOPS 124886 HAS SOUS 63953 HAS SOUPS 63935 WITH SCORE 64059.963
AT ITER 1716 NEW BEST:: SOT 216725 SOS 124947 HAS SOPS 124870 HAS SOUS 63937 HAS SOUPS 63919 WITH SCORE 64043.947
AT ITER 1720 NEW BEST:: SOT 216725 SOS 124947 HAS SOPS 124870 HAS SOUS 63916 HAS SOUPS 63898 WITH SCORE 64022.947
AT ITER 1728 NEW BEST:: SOT 216718 SOS 124940 HAS SOPS 124863 HAS SOUS 63916 HAS SOUPS 63898 WITH SCORE 64022.94
AT ITER 1736 NEW BEST:: SOT 216706 SOS 124928 HAS SOPS 124851 HAS SOUS 63892 HAS SOUPS 63874 WITH SCORE 63998.928
AT ITER 1748 NEW BEST:: SOT 216695 SOS 124917 HAS SOPS 124840 HAS SOUS 63892 HAS SOUPS 63874 WITH SCORE 63998.917
AT ITER 1777 NEW BEST:: SOT 216691 SOS 124913 HAS SOPS 124836 HAS SOUS 63882 HAS SOUPS 63864 WITH SCORE 63988.913
AT ITER 1802 NEW BEST:: SOT 216669 SOS 124891 HAS SOPS 124814 HAS SOUS 63860 HAS SOUPS 63842 WITH SCORE 63966.891
AT ITER 1807 NEW BEST:: SOT 216665 SOS 124887 HAS SOPS 124810 HAS SOUS 63857 HAS SOUPS 63839 WITH SCORE 63963.887
AT ITER 1843 NEW BEST:: SOT 216650 SOS 124872 HAS SOPS 124795 HAS SOUS 63842 HAS SOUPS 63824 WITH SCORE 63948.872
AT ITER 1856 NEW BEST:: SOT 216618 SOS 124808 HAS SOPS 124731 HAS SOUS 63810 HAS SOUPS 63792 WITH SCORE 63916.808
AT ITER 1859 NEW BEST:: SOT 216592 SOS 124782 HAS SOPS 124705 HAS SOUS 63784 HAS SOUPS 63766 WITH SCORE 63890.782
AT ITER 1881 NEW BEST:: SOT 216591 SOS 124781 HAS SOPS 124704 HAS SOUS 63762 HAS SOUPS 63744 WITH SCORE 63868.781
AT ITER 1884 NEW BEST:: SOT 216547 SOS 124716 HAS SOPS 124639 HAS SOUS 63711 HAS SOUPS 63693 WITH SCORE 63817.716
AT ITER 1885 NEW BEST:: SOT 216485 SOS 124682 HAS SOPS 124605 HAS SOUS 63588 HAS SOUPS 63570 WITH SCORE 63694.682
AT ITER 1886 NEW BEST:: SOT 216482 SOS 124679 HAS SOPS 124602 HAS SOUS 63586 HAS SOUPS 63568 WITH SCORE 63692.679
AT ITER 1897 NEW BEST:: SOT 216482 SOS 124665 HAS SOPS 124588 HAS SOUS 63586 HAS SOUPS 63568 WITH SCORE 63692.665
AT ITER 1898 NEW BEST:: SOT 216409 SOS 124682 HAS SOPS 124605 HAS SOUS 63536 HAS SOUPS 63518 WITH SCORE 63642.682
AT ITER 1910 NEW BEST:: SOT 216399 SOS 124530 HAS SOPS 124453 HAS SOUS 63354 HAS SOUPS 63336 WITH SCORE 63460.53
AT ITER 1912 NEW BEST:: SOT 216399 SOS 124395 HAS SOPS 124318 HAS SOUS 63185 HAS SOUPS 63167 WITH SCORE 63291.395
AT ITER 1931 NEW BEST:: SOT 216407 SOS 123902 HAS SOPS 123825 HAS SOUS 63165 HAS SOUPS 63147 WITH SCORE 63270.902
AT ITER 1953 NEW BEST:: SOT 216369 SOS 123830 HAS SOPS 123753 HAS SOUS 63157 HAS SOUPS 63139 WITH SCORE 63262.83
AT ITER 1963 NEW BEST:: SOT 216369 SOS 123830 HAS SOPS 123753 HAS SOUS 63139 HAS SOUPS 63121 WITH SCORE 63244.83
AT ITER 1986 NEW BEST:: SOT 216354 SOS 123803 HAS SOPS 123726 HAS SOUS 63097 HAS SOUPS 63079 WITH SCORE 63202.803
AT ITER 2032 NEW BEST:: SOT 216370 SOS 123819 HAS SOPS 123742 HAS SOUS 63061 HAS SOUPS 63043 WITH SCORE 63166.819
AT ITER 2033 NEW BEST:: SOT 216368 SOS 123817 HAS SOPS 123740 HAS SOUS 63061 HAS SOUPS 63043 WITH SCORE 63166.817
AT ITER 2041 NEW BEST:: SOT 216402 SOS 123790 HAS SOPS 123713 HAS SOUS 63060 HAS SOUPS 63042 WITH SCORE 63165.79
AT ITER 2059 NEW BEST:: SOT 216402 SOS 123789 HAS SOPS 123712 HAS SOUS 63059 HAS SOUPS 63041 WITH SCORE 63164.789
AT ITER 2073 NEW BEST:: SOT 216328 SOS 123715 HAS SOPS 123638 HAS SOUS 63000 HAS SOUPS 62982 WITH SCORE 63105.715
AT ITER 2084 NEW BEST:: SOT 216308 SOS 123695 HAS SOPS 123618 HAS SOUS 62970 HAS SOUPS 62952 WITH SCORE 63075.695
AT ITER 2090 NEW BEST:: SOT 216306 SOS 123691 HAS SOPS 123614 HAS SOUS 62964 HAS SOUPS 62946 WITH SCORE 63069.691
AT ITER 2103 NEW BEST:: SOT 216303 SOS 123620 HAS SOPS 123543 HAS SOUS 62958 HAS SOUPS 62940 WITH SCORE 63063.62
AT ITER 2112 NEW BEST:: SOT 216295 SOS 123415 HAS SOPS 123338 HAS SOUS 62920 HAS SOUPS 62902 WITH SCORE 63025.415
AT ITER 2116 NEW BEST:: SOT 216209 SOS 123329 HAS SOPS 123252 HAS SOUS 62880 HAS SOUPS 62862 WITH SCORE 62985.329
AT ITER 2158 NEW BEST:: SOT 216150 SOS 123270 HAS SOPS 123193 HAS SOUS 62762 HAS SOUPS 62744 WITH SCORE 62867.27
AT ITER 2161 NEW BEST:: SOT 216148 SOS 123268 HAS SOPS 123191 HAS SOUS 62760 HAS SOUPS 62742 WITH SCORE 62865.268
AT ITER 2169 NEW BEST:: SOT 216106 SOS 123221 HAS SOPS 123144 HAS SOUS 62727 HAS SOUPS 62709 WITH SCORE 62832.221
AT ITER 2184 NEW BEST:: SOT 216106 SOS 123172 HAS SOPS 123095 HAS SOUS 62727 HAS SOUPS 62709 WITH SCORE 62832.172
AT ITER 2187 NEW BEST:: SOT 216061 SOS 123127 HAS SOPS 123050 HAS SOUS 62715 HAS SOUPS 62697 WITH SCORE 62820.127
AT ITER 2220 NEW BEST:: SOT 215296 SOS 122362 HAS SOPS 122285 HAS SOUS 62691 HAS SOUPS 62673 WITH SCORE 62795.362
AT ITER 2238 NEW BEST:: SOT 215279 SOS 122345 HAS SOPS 122268 HAS SOUS 62691 HAS SOUPS 62673 WITH SCORE 62795.345
AT ITER 2252 NEW BEST:: SOT 215247 SOS 122304 HAS SOPS 122227 HAS SOUS 62650 HAS SOUPS 62632 WITH SCORE 62754.304
AT ITER 2259 NEW BEST:: SOT 215208 SOS 122265 HAS SOPS 122188 HAS SOUS 62572 HAS SOUPS 62554 WITH SCORE 62676.265
AT ITER 2267 NEW BEST:: SOT 215153 SOS 122123 HAS SOPS 122046 HAS SOUS 62410 HAS SOUPS 62392 WITH SCORE 62514.123
AT ITER 2308 NEW BEST:: SOT 215211 SOS 122181 HAS SOPS 122104 HAS SOUS 62388 HAS SOUPS 62370 WITH SCORE 62492.181
AT ITER 2325 NEW BEST:: SOT 215163 SOS 122077 HAS SOPS 122000 HAS SOUS 62137 HAS SOUPS 62119 WITH SCORE 62241.077
AT ITER 2341 NEW BEST:: SOT 215091 SOS 122052 HAS SOPS 121975 HAS SOUS 62104 HAS SOUPS 62086 WITH SCORE 62208.052
AT ITER 2348 NEW BEST:: SOT 215091 SOS 122033 HAS SOPS 121956 HAS SOUS 62066 HAS SOUPS 62048 WITH SCORE 62170.033
AT ITER 2352 NEW BEST:: SOT 215091 SOS 122015 HAS SOPS 121938 HAS SOUS 62048 HAS SOUPS 62030 WITH SCORE 62152.015
AT ITER 2400 NEW BEST:: SOT 215062 SOS 121986 HAS SOPS 121909 HAS SOUS 61887 HAS SOUPS 61869 WITH SCORE 61990.986
AT ITER 2419 NEW BEST:: SOT 215047 SOS 121971 HAS SOPS 121894 HAS SOUS 61872 HAS SOUPS 61854 WITH SCORE 61975.971
AT ITER 2426 NEW BEST:: SOT 215011 SOS 121917 HAS SOPS 121840 HAS SOUS 61819 HAS SOUPS 61801 WITH SCORE 61922.917
AT ITER 2440 NEW BEST:: SOT 214887 SOS 121790 HAS SOPS 121713 HAS SOUS 61572 HAS SOUPS 61554 WITH SCORE 61675.79
AT ITER 2444 NEW BEST:: SOT 214863 SOS 121742 HAS SOPS 121665 HAS SOUS 61565 HAS SOUPS 61547 WITH SCORE 61668.742
AT ITER 2447 NEW BEST:: SOT 214853 SOS 121732 HAS SOPS 121655 HAS SOUS 61555 HAS SOUPS 61537 WITH SCORE 61658.732
AT ITER 2461 NEW BEST:: SOT 214812 SOS 121691 HAS SOPS 121614 HAS SOUS 61473 HAS SOUPS 61455 WITH SCORE 61576.691
AT ITER 2467 NEW BEST:: SOT 215045 SOS 125391 HAS SOPS 125314 HAS SOUS 61438 HAS SOUPS 61420 WITH SCORE 61545.391
AT ITER 2475 NEW BEST:: SOT 214960 SOS 121974 HAS SOPS 121897 HAS SOUS 61216 HAS SOUPS 61198 WITH SCORE 61319.974
AT ITER 2514 NEW BEST:: SOT 214958 SOS 121930 HAS SOPS 121853 HAS SOUS 61206 HAS SOUPS 61188 WITH SCORE 61309.93
AT ITER 2516 NEW BEST:: SOT 214951 SOS 121893 HAS SOPS 121816 HAS SOUS 61199 HAS SOUPS 61181 WITH SCORE 61302.893
AT ITER 2523 NEW BEST:: SOT 214964 SOS 121906 HAS SOPS 121829 HAS SOUS 61185 HAS SOUPS 61167 WITH SCORE 61288.906
AT ITER 2548 NEW BEST:: SOT 214964 SOS 121782 HAS SOPS 121705 HAS SOUS 61185 HAS SOUPS 61167 WITH SCORE 61288.782
AT ITER 2549 NEW BEST:: SOT 214907 SOS 121755 HAS SOPS 121678 HAS SOUS 61158 HAS SOUPS 61140 WITH SCORE 61261.755
AT ITER 2556 NEW BEST:: SOT 214868 SOS 121716 HAS SOPS 121639 HAS SOUS 61080 HAS SOUPS 61062 WITH SCORE 61183.716
AT ITER 2566 NEW BEST:: SOT 215059 SOS 121907 HAS SOPS 121830 HAS SOUS 60561 HAS SOUPS 60543 WITH SCORE 60664.907
AT ITER 2567 NEW BEST:: SOT 215047 SOS 121883 HAS SOPS 121806 HAS SOUS 60503 HAS SOUPS 60485 WITH SCORE 60606.883
AT ITER 2569 NEW BEST:: SOT 215047 SOS 121878 HAS SOPS 121801 HAS SOUS 60498 HAS SOUPS 60480 WITH SCORE 60601.878
AT ITER 2575 NEW BEST:: SOT 215046 SOS 121877 HAS SOPS 121800 HAS SOUS 60496 HAS SOUPS 60478 WITH SCORE 60599.877
AT ITER 2595 NEW BEST:: SOT 215010 SOS 121805 HAS SOPS 121728 HAS SOUS 60408 HAS SOUPS 60390 WITH SCORE 60511.805
AT ITER 2596 NEW BEST:: SOT 214937 SOS 121787 HAS SOPS 121710 HAS SOUS 60392 HAS SOUPS 60374 WITH SCORE 60495.787
AT ITER 2601 NEW BEST:: SOT 214898 SOS 121769 HAS SOPS 121692 HAS SOUS 60353 HAS SOUPS 60335 WITH SCORE 60456.769
AT ITER 2607 NEW BEST:: SOT 214889 SOS 121724 HAS SOPS 121647 HAS SOUS 60310 HAS SOUPS 60292 WITH SCORE 60413.724
AT ITER 2620 NEW BEST:: SOT 214823 SOS 121658 HAS SOPS 121581 HAS SOUS 60279 HAS SOUPS 60261 WITH SCORE 60382.658
AT ITER 2652 NEW BEST:: SOT 214823 SOS 121634 HAS SOPS 121557 HAS SOUS 60255 HAS SOUPS 60237 WITH SCORE 60358.634
AT ITER 2653 NEW BEST:: SOT 214823 SOS 121614 HAS SOPS 121537 HAS SOUS 60255 HAS SOUPS 60237 WITH SCORE 60358.614
AT ITER 2654 NEW BEST:: SOT 214801 SOS 121592 HAS SOPS 121515 HAS SOUS 60233 HAS SOUPS 60215 WITH SCORE 60336.592
AT ITER 2666 NEW BEST:: SOT 214776 SOS 121542 HAS SOPS 121465 HAS SOUS 60183 HAS SOUPS 60165 WITH SCORE 60286.542
AT ITER 2704 NEW BEST:: SOT 214793 SOS 121559 HAS SOPS 121482 HAS SOUS 60113 HAS SOUPS 60095 WITH SCORE 60216.559
AT ITER 2707 NEW BEST:: SOT 214765 SOS 121424 HAS SOPS 121347 HAS SOUS 59963 HAS SOUPS 59945 WITH SCORE 60066.424
AT ITER 2711 NEW BEST:: SOT 214752 SOS 121411 HAS SOPS 121334 HAS SOUS 59937 HAS SOUPS 59919 WITH SCORE 60040.411
AT ITER 2715 NEW BEST:: SOT 214696 SOS 121269 HAS SOPS 121192 HAS SOUS 59829 HAS SOUPS 59811 WITH SCORE 59932.269
AT ITER 2717 NEW BEST:: SOT 214687 SOS 121260 HAS SOPS 121183 HAS SOUS 59811 HAS SOUPS 59793 WITH SCORE 59914.26
AT ITER 2747 NEW BEST:: SOT 214841 SOS 121414 HAS SOPS 121337 HAS SOUS 59793 HAS SOUPS 59775 WITH SCORE 59896.414
AT ITER 2750 NEW BEST:: SOT 214841 SOS 121414 HAS SOPS 121337 HAS SOUS 59787 HAS SOUPS 59769 WITH SCORE 59890.414
AT ITER 2777 NEW BEST:: SOT 214833 SOS 121406 HAS SOPS 121329 HAS SOUS 59771 HAS SOUPS 59753 WITH SCORE 59874.406
AT ITER 2783 NEW BEST:: SOT 214823 SOS 121396 HAS SOPS 121319 HAS SOUS 59751 HAS SOUPS 59733 WITH SCORE 59854.396
AT ITER 2785 NEW BEST:: SOT 214813 SOS 121386 HAS SOPS 121309 HAS SOUS 59713 HAS SOUPS 59695 WITH SCORE 59816.386
AT ITER 2789 NEW BEST:: SOT 214799 SOS 121372 HAS SOPS 121295 HAS SOUS 59646 HAS SOUPS 59628 WITH SCORE 59749.372
AT ITER 2791 NEW BEST:: SOT 214771 SOS 121344 HAS SOPS 121267 HAS SOUS 59633 HAS SOUPS 59615 WITH SCORE 59736.344
AT ITER 2803 NEW BEST:: SOT 214728 SOS 121357 HAS SOPS 121280 HAS SOUS 59628 HAS SOUPS 59610 WITH SCORE 59731.357
AT ITER 2808 NEW BEST:: SOT 215464 SOS 122128 HAS SOPS 122051 HAS SOUS 59369 HAS SOUPS 59351 WITH SCORE 59473.128
AT ITER 2809 NEW BEST:: SOT 215432 SOS 122096 HAS SOPS 122019 HAS SOUS 59305 HAS SOUPS 59287 WITH SCORE 59409.096
AT ITER 2813 NEW BEST:: SOT 215432 SOS 122131 HAS SOPS 122054 HAS SOUS 59280 HAS SOUPS 59262 WITH SCORE 59384.131
AT ITER 2835 NEW BEST:: SOT 215360 SOS 122059 HAS SOPS 121982 HAS SOUS 59136 HAS SOUPS 59118 WITH SCORE 59240.059
AT ITER 2844 NEW BEST:: SOT 215357 SOS 122056 HAS SOPS 121979 HAS SOUS 59115 HAS SOUPS 59097 WITH SCORE 59219.056
AT ITER 2860 NEW BEST:: SOT 215342 SOS 122026 HAS SOPS 121949 HAS SOUS 59098 HAS SOUPS 59080 WITH SCORE 59202.026
AT ITER 2862 NEW BEST:: SOT 215342 SOS 121862 HAS SOPS 121785 HAS SOUS 58930 HAS SOUPS 58912 WITH SCORE 59033.862
AT ITER 2868 NEW BEST:: SOT 215341 SOS 121861 HAS SOPS 121784 HAS SOUS 58928 HAS SOUPS 58910 WITH SCORE 59031.861
AT ITER 2870 NEW BEST:: SOT 215271 SOS 121843 HAS SOPS 121766 HAS SOUS 58904 HAS SOUPS 58886 WITH SCORE 59007.843
AT ITER 2872 NEW BEST:: SOT 215141 SOS 121751 HAS SOPS 121674 HAS SOUS 58651 HAS SOUPS 58633 WITH SCORE 58754.751
AT ITER 2885 NEW BEST:: SOT 214336 SOS 121089 HAS SOPS 121012 HAS SOUS 58224 HAS SOUPS 58206 WITH SCORE 58327.089
AT ITER 2900 NEW BEST:: SOT 214347 SOS 120989 HAS SOPS 120912 HAS SOUS 58168 HAS SOUPS 58150 WITH SCORE 58270.989
AT ITER 2910 NEW BEST:: SOT 214279 SOS 120921 HAS SOPS 120844 HAS SOUS 58101 HAS SOUPS 58083 WITH SCORE 58203.921
AT ITER 2924 NEW BEST:: SOT 214269 SOS 120911 HAS SOPS 120834 HAS SOUS 58091 HAS SOUPS 58073 WITH SCORE 58193.911
AT ITER 2933 NEW BEST:: SOT 214209 SOS 120791 HAS SOPS 120714 HAS SOUS 57979 HAS SOUPS 57961 WITH SCORE 58081.791
AT ITER 2942 NEW BEST:: SOT 214191 SOS 120755 HAS SOPS 120678 HAS SOUS 57961 HAS SOUPS 57943 WITH SCORE 58063.755
AT ITER 2948 NEW BEST:: SOT 214155 SOS 120719 HAS SOPS 120642 HAS SOUS 57925 HAS SOUPS 57907 WITH SCORE 58027.719
AT ITER 2958 NEW BEST:: SOT 214178 SOS 120727 HAS SOPS 120650 HAS SOUS 57849 HAS SOUPS 57831 WITH SCORE 57951.727
AT ITER 2960 NEW BEST:: SOT 214166 SOS 120715 HAS SOPS 120638 HAS SOUS 57825 HAS SOUPS 57807 WITH SCORE 57927.715
AT ITER 2965 NEW BEST:: SOT 214161 SOS 120733 HAS SOPS 120656 HAS SOUS 57820 HAS SOUPS 57802 WITH SCORE 57922.733
AT ITER 2969 NEW BEST:: SOT 214046 SOS 120722 HAS SOPS 120645 HAS SOUS 57675 HAS SOUPS 57657 WITH SCORE 57777.722
AT ITER 2976 NEW BEST:: SOT 214022 SOS 120698 HAS SOPS 120621 HAS SOUS 57627 HAS SOUPS 57609 WITH SCORE 57729.698
AT ITER 2994 NEW BEST:: SOT 214018 SOS 120706 HAS SOPS 120629 HAS SOUS 57625 HAS SOUPS 57607 WITH SCORE 57727.706
AT ITER 3038 NEW BEST:: SOT 214024 SOS 120621 HAS SOPS 120544 HAS SOUS 57553 HAS SOUPS 57535 WITH SCORE 57655.621
AT ITER 3062 NEW BEST:: SOT 214007 SOS 120621 HAS SOPS 120544 HAS SOUS 57536 HAS SOUPS 57518 WITH SCORE 57638.621
AT ITER 3075 NEW BEST:: SOT 213923 SOS 120550 HAS SOPS 120473 HAS SOUS 57480 HAS SOUPS 57462 WITH SCORE 57582.55
AT ITER 3117 NEW BEST:: SOT 213923 SOS 120530 HAS SOPS 120453 HAS SOUS 57460 HAS SOUPS 57442 WITH SCORE 57562.53
AT ITER 3120 NEW BEST:: SOT 213922 SOS 120528 HAS SOPS 120451 HAS SOUS 57453 HAS SOUPS 57435 WITH SCORE 57555.528
AT ITER 3123 NEW BEST:: SOT 213922 SOS 120522 HAS SOPS 120448 HAS SOUS 57447 HAS SOUPS 57429 WITH SCORE 57549.522
AT ITER 3139 NEW BEST:: SOT 213877 SOS 120523 HAS SOPS 120449 HAS SOUS 57408 HAS SOUPS 57390 WITH SCORE 57510.523
AT ITER 3143 NEW BEST:: SOT 213801 SOS 120447 HAS SOPS 120373 HAS SOUS 57236 HAS SOUPS 57218 WITH SCORE 57338.447
AT ITER 3152 NEW BEST:: SOT 213784 SOS 120430 HAS SOPS 120356 HAS SOUS 57230 HAS SOUPS 57212 WITH SCORE 57332.43
AT ITER 3153 NEW BEST:: SOT 213784 SOS 120427 HAS SOPS 120353 HAS SOUS 57227 HAS SOUPS 57209 WITH SCORE 57329.427
AT ITER 3158 NEW BEST:: SOT 213785 SOS 120605 HAS SOPS 120531 HAS SOUS 57208 HAS SOUPS 57190 WITH SCORE 57310.605
AT ITER 3162 NEW BEST:: SOT 213741 SOS 120456 HAS SOPS 120382 HAS SOUS 57191 HAS SOUPS 57173 WITH SCORE 57293.456
AT ITER 3167 NEW BEST:: SOT 213726 SOS 120441 HAS SOPS 120367 HAS SOUS 57183 HAS SOUPS 57165 WITH SCORE 57285.441
AT ITER 3188 NEW BEST:: SOT 213678 SOS 120436 HAS SOPS 120362 HAS SOUS 57128 HAS SOUPS 57110 WITH SCORE 57230.436
AT ITER 3207 NEW BEST:: SOT 213666 SOS 120412 HAS SOPS 120338 HAS SOUS 57104 HAS SOUPS 57086 WITH SCORE 57206.412
AT ITER 3210 NEW BEST:: SOT 213657 SOS 120403 HAS SOPS 120329 HAS SOUS 57075 HAS SOUPS 57057 WITH SCORE 57177.403
AT ITER 3232 NEW BEST:: SOT 213633 SOS 120355 HAS SOPS 120281 HAS SOUS 57006 HAS SOUPS 56988 WITH SCORE 57108.355
AT ITER 3234 NEW BEST:: SOT 213636 SOS 120358 HAS SOPS 120284 HAS SOUS 56949 HAS SOUPS 56931 WITH SCORE 57051.358
AT ITER 3245 NEW BEST:: SOT 213596 SOS 120249 HAS SOPS 120175 HAS SOUS 56869 HAS SOUPS 56851 WITH SCORE 56971.249
AT ITER 3255 NEW BEST:: SOT 213581 SOS 120219 HAS SOPS 120145 HAS SOUS 56824 HAS SOUPS 56806 WITH SCORE 56926.219
AT ITER 3269 NEW BEST:: SOT 213581 SOS 120219 HAS SOPS 120145 HAS SOUS 56808 HAS SOUPS 56790 WITH SCORE 56910.219
AT ITER 3307 NEW BEST:: SOT 213567 SOS 120205 HAS SOPS 120131 HAS SOUS 56780 HAS SOUPS 56762 WITH SCORE 56882.205
AT ITER 3347 NEW BEST:: SOT 213494 SOS 120191 HAS SOPS 120117 HAS SOUS 56690 HAS SOUPS 56672 WITH SCORE 56792.191
AT ITER 3388 NEW BEST:: SOT 213448 SOS 120188 HAS SOPS 120114 HAS SOUS 56687 HAS SOUPS 56669 WITH SCORE 56789.188
AT ITER 3402 NEW BEST:: SOT 213381 SOS 120191 HAS SOPS 120117 HAS SOUS 56674 HAS SOUPS 56656 WITH SCORE 56776.191
AT ITER 3429 NEW BEST:: SOT 213367 SOS 120175 HAS SOPS 120101 HAS SOUS 56653 HAS SOUPS 56635 WITH SCORE 56755.175
AT ITER 3433 NEW BEST:: SOT 213294 SOS 120089 HAS SOPS 120015 HAS SOUS 56513 HAS SOUPS 56495 WITH SCORE 56615.089
AT ITER 3451 NEW BEST:: SOT 213285 SOS 120080 HAS SOPS 120006 HAS SOUS 56513 HAS SOUPS 56495 WITH SCORE 56615.08
AT ITER 3473 NEW BEST:: SOT 213265 SOS 120068 HAS SOPS 119994 HAS SOUS 56509 HAS SOUPS 56491 WITH SCORE 56611.068
AT ITER 3481 NEW BEST:: SOT 213253 SOS 120056 HAS SOPS 119982 HAS SOUS 56497 HAS SOUPS 56479 WITH SCORE 56599.056
AT ITER 3485 NEW BEST:: SOT 213250 SOS 120053 HAS SOPS 119979 HAS SOUS 56491 HAS SOUPS 56473 WITH SCORE 56593.053
AT ITER 3493 NEW BEST:: SOT 213245 SOS 120048 HAS SOPS 119974 HAS SOUS 56481 HAS SOUPS 56463 WITH SCORE 56583.048
AT ITER 3498 NEW BEST:: SOT 213272 SOS 119945 HAS SOPS 119871 HAS SOUS 56403 HAS SOUPS 56385 WITH SCORE 56504.945
AT ITER 3506 NEW BEST:: SOT 213240 SOS 119881 HAS SOPS 119807 HAS SOUS 56320 HAS SOUPS 56302 WITH SCORE 56421.881
AT ITER 3513 NEW BEST:: SOT 213176 SOS 119753 HAS SOPS 119679 HAS SOUS 56157 HAS SOUPS 56139 WITH SCORE 56258.753
AT ITER 3517 NEW BEST:: SOT 213176 SOS 119724 HAS SOPS 119650 HAS SOUS 56128 HAS SOUPS 56110 WITH SCORE 56229.724
AT ITER 3521 NEW BEST:: SOT 213163 SOS 119705 HAS SOPS 119631 HAS SOUS 56096 HAS SOUPS 56078 WITH SCORE 56197.705
AT ITER 3550 NEW BEST:: SOT 213175 SOS 119717 HAS SOPS 119643 HAS SOUS 56024 HAS SOUPS 56006 WITH SCORE 56125.717
AT ITER 3557 NEW BEST:: SOT 213199 SOS 119741 HAS SOPS 119667 HAS SOUS 56021 HAS SOUPS 56003 WITH SCORE 56122.741
AT ITER 3568 NEW BEST:: SOT 213154 SOS 119696 HAS SOPS 119622 HAS SOUS 56016 HAS SOUPS 55998 WITH SCORE 56117.696
AT ITER 3583 NEW BEST:: SOT 213169 SOS 119589 HAS SOPS 119515 HAS SOUS 55964 HAS SOUPS 55946 WITH SCORE 56065.589
AT ITER 3589 NEW BEST:: SOT 213158 SOS 119578 HAS SOPS 119504 HAS SOUS 55942 HAS SOUPS 55924 WITH SCORE 56043.578
AT ITER 3596 NEW BEST:: SOT 213178 SOS 119598 HAS SOPS 119524 HAS SOUS 55924 HAS SOUPS 55906 WITH SCORE 56025.598
AT ITER 3604 NEW BEST:: SOT 213178 SOS 119496 HAS SOPS 119422 HAS SOUS 55846 HAS SOUPS 55828 WITH SCORE 55947.496
AT ITER 3607 NEW BEST:: SOT 213134 SOS 119452 HAS SOPS 119378 HAS SOUS 55844 HAS SOUPS 55826 WITH SCORE 55945.452
AT ITER 3631 NEW BEST:: SOT 213111 SOS 119429 HAS SOPS 119355 HAS SOUS 55798 HAS SOUPS 55780 WITH SCORE 55899.429
AT ITER 3649 NEW BEST:: SOT 213089 SOS 119407 HAS SOPS 119333 HAS SOUS 55776 HAS SOUPS 55758 WITH SCORE 55877.407
AT ITER 3700 NEW BEST:: SOT 213089 SOS 119373 HAS SOPS 119299 HAS SOUS 55776 HAS SOUPS 55758 WITH SCORE 55877.373
AT ITER 3704 NEW BEST:: SOT 213144 SOS 119465 HAS SOPS 119391 HAS SOUS 55767 HAS SOUPS 55749 WITH SCORE 55868.465
AT ITER 3706 NEW BEST:: SOT 213122 SOS 119421 HAS SOPS 119347 HAS SOUS 55701 HAS SOUPS 55683 WITH SCORE 55802.421
AT ITER 3715 NEW BEST:: SOT 213122 SOS 119384 HAS SOPS 119310 HAS SOUS 55664 HAS SOUPS 55646 WITH SCORE 55765.384
AT ITER 3730 NEW BEST:: SOT 213098 SOS 119360 HAS SOPS 119286 HAS SOUS 55618 HAS SOUPS 55600 WITH SCORE 55719.36
AT ITER 3742 NEW BEST:: SOT 213096 SOS 119358 HAS SOPS 119284 HAS SOUS 55562 HAS SOUPS 55544 WITH SCORE 55663.358
AT ITER 3749 NEW BEST:: SOT 213087 SOS 119365 HAS SOPS 119291 HAS SOUS 55560 HAS SOUPS 55542 WITH SCORE 55661.365
AT ITER 3752 NEW BEST:: SOT 213080 SOS 119358 HAS SOPS 119284 HAS SOUS 55532 HAS SOUPS 55514 WITH SCORE 55633.358
AT ITER 3753 NEW BEST:: SOT 213080 SOS 119079 HAS SOPS 119005 HAS SOUS 55532 HAS SOUPS 55514 WITH SCORE 55633.079
AT ITER 3787 NEW BEST:: SOT 212919 SOS 118997 HAS SOPS 118923 HAS SOUS 55448 HAS SOUPS 55430 WITH SCORE 55548.997
AT ITER 3813 NEW BEST:: SOT 212884 SOS 118952 HAS SOPS 118878 HAS SOUS 55321 HAS SOUPS 55303 WITH SCORE 55421.952
AT ITER 3825 NEW BEST:: SOT 212746 SOS 118814 HAS SOPS 118740 HAS SOUS 55239 HAS SOUPS 55221 WITH SCORE 55339.814
AT ITER 3836 NEW BEST:: SOT 212758 SOS 118826 HAS SOPS 118752 HAS SOUS 55207 HAS SOUPS 55189 WITH SCORE 55307.826
AT ITER 3846 NEW BEST:: SOT 212716 SOS 118784 HAS SOPS 118710 HAS SOUS 55123 HAS SOUPS 55105 WITH SCORE 55223.784
AT ITER 3882 NEW BEST:: SOT 212704 SOS 118772 HAS SOPS 118698 HAS SOUS 55099 HAS SOUPS 55081 WITH SCORE 55199.772
AT ITER 3890 NEW BEST:: SOT 212704 SOS 118731 HAS SOPS 118657 HAS SOUS 55058 HAS SOUPS 55040 WITH SCORE 55158.731
AT ITER 3896 NEW BEST:: SOT 212650 SOS 118677 HAS SOPS 118603 HAS SOUS 55004 HAS SOUPS 54986 WITH SCORE 55104.677
AT ITER 3903 NEW BEST:: SOT 212640 SOS 118661 HAS SOPS 118587 HAS SOUS 54963 HAS SOUPS 54945 WITH SCORE 55063.661
AT ITER 3936 NEW BEST:: SOT 212518 SOS 118529 HAS SOPS 118455 HAS SOUS 54841 HAS SOUPS 54823 WITH SCORE 54941.529
AT ITER 3957 NEW BEST:: SOT 212495 SOS 118468 HAS SOPS 118394 HAS SOUS 54781 HAS SOUPS 54763 WITH SCORE 54881.468
AT ITER 3962 NEW BEST:: SOT 212495 SOS 118460 HAS SOPS 118389 HAS SOUS 54771 HAS SOUPS 54753 WITH SCORE 54871.46
AT ITER 3977 NEW BEST:: SOT 212469 SOS 118434 HAS SOPS 118363 HAS SOUS 54759 HAS SOUPS 54741 WITH SCORE 54859.434
AT ITER 3983 NEW BEST:: SOT 212371 SOS 118370 HAS SOPS 118299 HAS SOUS 54671 HAS SOUPS 54653 WITH SCORE 54771.37
AT ITER 3987 NEW BEST:: SOT 212350 SOS 118349 HAS SOPS 118278 HAS SOUS 54615 HAS SOUPS 54597 WITH SCORE 54715.349
AT ITER 4004 NEW BEST:: SOT 212344 SOS 118376 HAS SOPS 118305 HAS SOUS 54613 HAS SOUPS 54595 WITH SCORE 54713.376
AT ITER 4014 NEW BEST:: SOT 212333 SOS 118349 HAS SOPS 118278 HAS SOUS 54586 HAS SOUPS 54568 WITH SCORE 54686.349
AT ITER 4045 NEW BEST:: SOT 212309 SOS 118353 HAS SOPS 118282 HAS SOUS 54562 HAS SOUPS 54544 WITH SCORE 54662.353
AT ITER 4073 NEW BEST:: SOT 212309 SOS 118308 HAS SOPS 118237 HAS SOUS 54502 HAS SOUPS 54484 WITH SCORE 54602.308
AT ITER 4085 NEW BEST:: SOT 212348 SOS 118155 HAS SOPS 118084 HAS SOUS 54500 HAS SOUPS 54482 WITH SCORE 54600.155
AT ITER 4098 NEW BEST:: SOT 212351 SOS 118158 HAS SOPS 118087 HAS SOUS 54498 HAS SOUPS 54480 WITH SCORE 54598.158
AT ITER 4136 NEW BEST:: SOT 212331 SOS 118005 HAS SOPS 117934 HAS SOUS 54430 HAS SOUPS 54412 WITH SCORE 54530.005
AT ITER 4178 NEW BEST:: SOT 212331 SOS 118005 HAS SOPS 117934 HAS SOUS 54424 HAS SOUPS 54406 WITH SCORE 54524.005
AT ITER 4225 NEW BEST:: SOT 212319 SOS 117976 HAS SOPS 117905 HAS SOUS 54383 HAS SOUPS 54365 WITH SCORE 54482.976
AT ITER 4237 NEW BEST:: SOT 212319 SOS 117962 HAS SOPS 117891 HAS SOUS 54369 HAS SOUPS 54351 WITH SCORE 54468.962
AT ITER 4291 NEW BEST:: SOT 212316 SOS 117950 HAS SOPS 117879 HAS SOUS 54354 HAS SOUPS 54336 WITH SCORE 54453.95
AT ITER 4294 NEW BEST:: SOT 212263 SOS 117924 HAS SOPS 117853 HAS SOUS 54328 HAS SOUPS 54310 WITH SCORE 54427.924
AT ITER 4326 NEW BEST:: SOT 212217 SOS 117878 HAS SOPS 117807 HAS SOUS 54282 HAS SOUPS 54264 WITH SCORE 54381.878
AT ITER 4331 NEW BEST:: SOT 212320 SOS 117945 HAS SOPS 117874 HAS SOUS 54044 HAS SOUPS 54026 WITH SCORE 54143.945
AT ITER 4411 NEW BEST:: SOT 212330 SOS 117867 HAS SOPS 117796 HAS SOUS 54032 HAS SOUPS 54014 WITH SCORE 54131.867
AT ITER 4421 NEW BEST:: SOT 212332 SOS 117868 HAS SOPS 117797 HAS SOUS 54017 HAS SOUPS 53999 WITH SCORE 54116.868
AT ITER 4467 NEW BEST:: SOT 212291 SOS 117860 HAS SOPS 117789 HAS SOUS 53919 HAS SOUPS 53901 WITH SCORE 54018.86
AT ITER 4473 NEW BEST:: SOT 212273 SOS 117816 HAS SOPS 117745 HAS SOUS 53852 HAS SOUPS 53834 WITH SCORE 53951.816
AT ITER 4475 NEW BEST:: SOT 212273 SOS 117816 HAS SOPS 117745 HAS SOUS 53851 HAS SOUPS 53833 WITH SCORE 53950.816
AT ITER 4489 NEW BEST:: SOT 212276 SOS 117819 HAS SOPS 117748 HAS SOUS 53846 HAS SOUPS 53828 WITH SCORE 53945.819
AT ITER 4492 NEW BEST:: SOT 212276 SOS 117819 HAS SOPS 117748 HAS SOUS 53838 HAS SOUPS 53820 WITH SCORE 53937.819
AT ITER 4509 NEW BEST:: SOT 212272 SOS 117707 HAS SOPS 117636 HAS SOUS 53830 HAS SOUPS 53812 WITH SCORE 53929.707
AT ITER 4535 NEW BEST:: SOT 212297 SOS 117621 HAS SOPS 117550 HAS SOUS 53803 HAS SOUPS 53785 WITH SCORE 53902.621
AT ITER 4543 NEW BEST:: SOT 212288 SOS 117661 HAS SOPS 117590 HAS SOUS 53767 HAS SOUPS 53749 WITH SCORE 53866.661
AT ITER 4547 NEW BEST:: SOT 212288 SOS 117661 HAS SOPS 117590 HAS SOUS 53737 HAS SOUPS 53719 WITH SCORE 53836.661
AT ITER 4560 NEW BEST:: SOT 212319 SOS 117692 HAS SOPS 117621 HAS SOUS 53684 HAS SOUPS 53666 WITH SCORE 53783.692
AT ITER 4571 NEW BEST:: SOT 210807 SOS 117330 HAS SOPS 117259 HAS SOUS 53078 HAS SOUPS 53060 WITH SCORE 53177.33
AT ITER 4585 NEW BEST:: SOT 210788 SOS 117311 HAS SOPS 117240 HAS SOUS 53063 HAS SOUPS 53045 WITH SCORE 53162.311
AT ITER 4587 NEW BEST:: SOT 210777 SOS 117300 HAS SOPS 117229 HAS SOUS 53041 HAS SOUPS 53023 WITH SCORE 53140.3
AT ITER 4599 NEW BEST:: SOT 210737 SOS 117260 HAS SOPS 117189 HAS SOUS 52961 HAS SOUPS 52943 WITH SCORE 53060.26
AT ITER 4600 NEW BEST:: SOT 210760 SOS 117248 HAS SOPS 117177 HAS SOUS 52949 HAS SOUPS 52931 WITH SCORE 53048.248
AT ITER 4610 NEW BEST:: SOT 210740 SOS 117228 HAS SOPS 117157 HAS SOUS 52945 HAS SOUPS 52927 WITH SCORE 53044.228
AT ITER 4615 NEW BEST:: SOT 210706 SOS 117194 HAS SOPS 117123 HAS SOUS 52852 HAS SOUPS 52834 WITH SCORE 52951.194
AT ITER 4621 NEW BEST:: SOT 210705 SOS 117184 HAS SOPS 117113 HAS SOUS 52842 HAS SOUPS 52824 WITH SCORE 52941.184
AT ITER 4622 NEW BEST:: SOT 210684 SOS 117104 HAS SOPS 117033 HAS SOUS 52712 HAS SOUPS 52694 WITH SCORE 52811.104
AT ITER 4627 NEW BEST:: SOT 210667 SOS 117079 HAS SOPS 117008 HAS SOUS 52694 HAS SOUPS 52676 WITH SCORE 52793.079
AT ITER 4641 NEW BEST:: SOT 210589 SOS 116917 HAS SOPS 116846 HAS SOUS 52516 HAS SOUPS 52498 WITH SCORE 52614.917
AT ITER 4653 NEW BEST:: SOT 210589 SOS 116891 HAS SOPS 116820 HAS SOUS 52516 HAS SOUPS 52498 WITH SCORE 52614.891
AT ITER 4677 NEW BEST:: SOT 210570 SOS 116839 HAS SOPS 116768 HAS SOUS 52412 HAS SOUPS 52394 WITH SCORE 52510.839
AT ITER 4679 NEW BEST:: SOT 210549 SOS 116797 HAS SOPS 116726 HAS SOUS 52370 HAS SOUPS 52352 WITH SCORE 52468.797
AT ITER 4686 NEW BEST:: SOT 210549 SOS 116781 HAS SOPS 116710 HAS SOUS 52370 HAS SOUPS 52352 WITH SCORE 52468.781
AT ITER 4693 NEW BEST:: SOT 210531 SOS 116772 HAS SOPS 116701 HAS SOUS 52343 HAS SOUPS 52325 WITH SCORE 52441.772
AT ITER 4695 NEW BEST:: SOT 210525 SOS 116764 HAS SOPS 116693 HAS SOUS 52338 HAS SOUPS 52320 WITH SCORE 52436.764
AT ITER 4714 NEW BEST:: SOT 210509 SOS 116732 HAS SOPS 116661 HAS SOUS 52306 HAS SOUPS 52288 WITH SCORE 52404.732
AT ITER 4728 NEW BEST:: SOT 210482 SOS 116667 HAS SOPS 116596 HAS SOUS 52259 HAS SOUPS 52241 WITH SCORE 52357.667
AT ITER 4735 NEW BEST:: SOT 210490 SOS 116675 HAS SOPS 116604 HAS SOUS 52244 HAS SOUPS 52226 WITH SCORE 52342.675
AT ITER 4737 NEW BEST:: SOT 210486 SOS 116662 HAS SOPS 116591 HAS SOUS 52019 HAS SOUPS 52001 WITH SCORE 52117.662
AT ITER 4738 NEW BEST:: SOT 210445 SOS 116615 HAS SOPS 116544 HAS SOUS 51956 HAS SOUPS 51938 WITH SCORE 52054.615
AT ITER 4739 NEW BEST:: SOT 210431 SOS 116587 HAS SOPS 116516 HAS SOUS 51913 HAS SOUPS 51895 WITH SCORE 52011.587
AT ITER 4741 NEW BEST:: SOT 210422 SOS 116573 HAS SOPS 116502 HAS SOUS 51899 HAS SOUPS 51881 WITH SCORE 51997.573
AT ITER 4745 NEW BEST:: SOT 210285 SOS 116455 HAS SOPS 116384 HAS SOUS 51768 HAS SOUPS 51750 WITH SCORE 51866.455
AT ITER 4750 NEW BEST:: SOT 210298 SOS 116468 HAS SOPS 116397 HAS SOUS 51765 HAS SOUPS 51747 WITH SCORE 51863.468
AT ITER 4818 NEW BEST:: SOT 210292 SOS 116456 HAS SOPS 116385 HAS SOUS 51758 HAS SOUPS 51740 WITH SCORE 51856.456
AT ITER 4827 NEW BEST:: SOT 210274 SOS 116478 HAS SOPS 116407 HAS SOUS 51740 HAS SOUPS 51722 WITH SCORE 51838.478
AT ITER 4834 NEW BEST:: SOT 210277 SOS 116053 HAS SOPS 115982 HAS SOUS 51532 HAS SOUPS 51514 WITH SCORE 51630.053
AT ITER 4855 NEW BEST:: SOT 210223 SOS 116061 HAS SOPS 115990 HAS SOUS 51513 HAS SOUPS 51495 WITH SCORE 51611.061
AT ITER 4867 NEW BEST:: SOT 210145 SOS 116046 HAS SOPS 115975 HAS SOUS 51496 HAS SOUPS 51478 WITH SCORE 51594.046
AT ITER 4898 NEW BEST:: SOT 210151 SOS 116045 HAS SOPS 115974 HAS SOUS 51489 HAS SOUPS 51471 WITH SCORE 51587.045
AT ITER 4908 NEW BEST:: SOT 210143 SOS 116037 HAS SOPS 115966 HAS SOUS 51473 HAS SOUPS 51455 WITH SCORE 51571.037
AT ITER 4921 NEW BEST:: SOT 210143 SOS 116561 HAS SOPS 116441 HAS SOUS 51482 HAS SOUPS 51415 WITH SCORE 51531.561
AT ITER 4934 NEW BEST:: SOT 210142 SOS 116643 HAS SOPS 116523 HAS SOUS 51481 HAS SOUPS 51414 WITH SCORE 51530.643
AT ITER 4959 NEW BEST:: SOT 210138 SOS 116635 HAS SOPS 116515 HAS SOUS 51471 HAS SOUPS 51404 WITH SCORE 51520.635
AT ITER 4983 NEW BEST:: SOT 210134 SOS 116542 HAS SOPS 116422 HAS SOUS 51467 HAS SOUPS 51400 WITH SCORE 51516.542
AT ITER 5017 NEW BEST:: SOT 210104 SOS 116512 HAS SOPS 116392 HAS SOUS 51362 HAS SOUPS 51295 WITH SCORE 51411.512
AT ITER 5027 NEW BEST:: SOT 210102 SOS 116510 HAS SOPS 116390 HAS SOUS 51360 HAS SOUPS 51293 WITH SCORE 51409.51
AT ITER 5045 NEW BEST:: SOT 210043 SOS 116418 HAS SOPS 116298 HAS SOUS 51301 HAS SOUPS 51234 WITH SCORE 51350.418
AT ITER 5050 NEW BEST:: SOT 210068 SOS 116443 HAS SOPS 116323 HAS SOUS 51299 HAS SOUPS 51232 WITH SCORE 51348.443
AT ITER 5051 NEW BEST:: SOT 209993 SOS 116400 HAS SOPS 116280 HAS SOUS 51256 HAS SOUPS 51189 WITH SCORE 51305.4
AT ITER 5076 NEW BEST:: SOT 209910 SOS 116317 HAS SOPS 116197 HAS SOUS 51194 HAS SOUPS 51127 WITH SCORE 51243.317
AT ITER 5083 NEW BEST:: SOT 209909 SOS 116317 HAS SOPS 116197 HAS SOUS 51192 HAS SOUPS 51125 WITH SCORE 51241.317
AT ITER 5087 NEW BEST:: SOT 209896 SOS 116304 HAS SOPS 116184 HAS SOUS 51188 HAS SOUPS 51121 WITH SCORE 51237.304
AT ITER 5108 NEW BEST:: SOT 209895 SOS 116303 HAS SOPS 116183 HAS SOUS 51186 HAS SOUPS 51119 WITH SCORE 51235.303
AT ITER 5134 NEW BEST:: SOT 209895 SOS 116303 HAS SOPS 116183 HAS SOUS 51184 HAS SOUPS 51117 WITH SCORE 51233.303
AT ITER 5139 NEW BEST:: SOT 209869 SOS 116246 HAS SOPS 116126 HAS SOUS 51136 HAS SOUPS 51069 WITH SCORE 51185.246
AT ITER 5141 NEW BEST:: SOT 209855 SOS 116232 HAS SOPS 116112 HAS SOUS 51136 HAS SOUPS 51069 WITH SCORE 51185.232
AT ITER 5152 NEW BEST:: SOT 209850 SOS 116227 HAS SOPS 116107 HAS SOUS 51134 HAS SOUPS 51067 WITH SCORE 51183.227
AT ITER 5193 NEW BEST:: SOT 209859 SOS 116225 HAS SOPS 116105 HAS SOUS 51116 HAS SOUPS 51049 WITH SCORE 51165.225
AT ITER 5199 NEW BEST:: SOT 209815 SOS 116181 HAS SOPS 116061 HAS SOUS 51072 HAS SOUPS 51005 WITH SCORE 51121.181
AT ITER 5203 NEW BEST:: SOT 209797 SOS 116163 HAS SOPS 116043 HAS SOUS 51043 HAS SOUPS 50976 WITH SCORE 51092.163
AT ITER 5208 NEW BEST:: SOT 209777 SOS 116143 HAS SOPS 116023 HAS SOUS 51023 HAS SOUPS 50956 WITH SCORE 51072.143
AT ITER 5216 NEW BEST:: SOT 209827 SOS 116231 HAS SOPS 116111 HAS SOUS 51021 HAS SOUPS 50954 WITH SCORE 51070.231
AT ITER 5227 NEW BEST:: SOT 209875 SOS 116232 HAS SOPS 116112 HAS SOUS 51018 HAS SOUPS 50951 WITH SCORE 51067.232
AT ITER 5265 NEW BEST:: SOT 209875 SOS 116198 HAS SOPS 116078 HAS SOUS 50999 HAS SOUPS 50932 WITH SCORE 51048.198
AT ITER 5272 NEW BEST:: SOT 209822 SOS 116145 HAS SOPS 116025 HAS SOUS 50970 HAS SOUPS 50903 WITH SCORE 51019.145
AT ITER 5285 NEW BEST:: SOT 209803 SOS 116104 HAS SOPS 115984 HAS SOUS 50929 HAS SOUPS 50862 WITH SCORE 50978.104
AT ITER 5299 NEW BEST:: SOT 209723 SOS 116024 HAS SOPS 115904 HAS SOUS 50769 HAS SOUPS 50702 WITH SCORE 50818.024
AT ITER 5304 NEW BEST:: SOT 209723 SOS 116024 HAS SOPS 115904 HAS SOUS 50735 HAS SOUPS 50668 WITH SCORE 50784.024
AT ITER 5370 NEW BEST:: SOT 209765 SOS 116066 HAS SOPS 115946 HAS SOUS 50695 HAS SOUPS 50628 WITH SCORE 50744.066
AT ITER 5398 NEW BEST:: SOT 209756 SOS 116057 HAS SOPS 115937 HAS SOUS 50683 HAS SOUPS 50616 WITH SCORE 50732.057
AT ITER 5407 NEW BEST:: SOT 209739 SOS 116027 HAS SOPS 115907 HAS SOUS 50596 HAS SOUPS 50529 WITH SCORE 50645.027
AT ITER 5428 NEW BEST:: SOT 209728 SOS 116107 HAS SOPS 115987 HAS SOUS 50569 HAS SOUPS 50502 WITH SCORE 50618.107
AT ITER 5451 NEW BEST:: SOT 209728 SOS 116107 HAS SOPS 115987 HAS SOUS 50563 HAS SOUPS 50496 WITH SCORE 50612.107
AT ITER 5465 NEW BEST:: SOT 209721 SOS 116100 HAS SOPS 115980 HAS SOUS 50563 HAS SOUPS 50496 WITH SCORE 50612.1
AT ITER 5494 NEW BEST:: SOT 209719 SOS 116079 HAS SOPS 115974 HAS SOUS 50558 HAS SOUPS 50494 WITH SCORE 50610.079
AT ITER 5551 NEW BEST:: SOT 209658 SOS 116042 HAS SOPS 115986 HAS SOUS 50388 HAS SOUPS 50373 WITH SCORE 50489.042
AT ITER 5578 NEW BEST:: SOT 209641 SOS 116025 HAS SOPS 115969 HAS SOUS 50374 HAS SOUPS 50359 WITH SCORE 50475.025
AT ITER 5640 NEW BEST:: SOT 209633 SOS 116017 HAS SOPS 115961 HAS SOUS 50358 HAS SOUPS 50343 WITH SCORE 50459.017
AT ITER 5648 NEW BEST:: SOT 209625 SOS 116024 HAS SOPS 115968 HAS SOUS 50342 HAS SOUPS 50327 WITH SCORE 50443.024
AT ITER 5650 NEW BEST:: SOT 209624 SOS 116023 HAS SOPS 115967 HAS SOUS 50333 HAS SOUPS 50318 WITH SCORE 50434.023
AT ITER 5653 NEW BEST:: SOT 209612 SOS 116011 HAS SOPS 115955 HAS SOUS 50309 HAS SOUPS 50294 WITH SCORE 50410.011
AT ITER 5671 NEW BEST:: SOT 209577 SOS 115842 HAS SOPS 115786 HAS SOUS 50242 HAS SOUPS 50227 WITH SCORE 50342.842
AT ITER 5677 NEW BEST:: SOT 209514 SOS 115804 HAS SOPS 115748 HAS SOUS 50142 HAS SOUPS 50127 WITH SCORE 50242.804
AT ITER 5688 NEW BEST:: SOT 209514 SOS 115779 HAS SOPS 115723 HAS SOUS 50118 HAS SOUPS 50103 WITH SCORE 50218.779
AT ITER 5704 NEW BEST:: SOT 209486 SOS 115751 HAS SOPS 115695 HAS SOUS 50062 HAS SOUPS 50047 WITH SCORE 50162.751
AT ITER 5723 NEW BEST:: SOT 209485 SOS 115749 HAS SOPS 115693 HAS SOUS 50041 HAS SOUPS 50026 WITH SCORE 50141.749
AT ITER 5735 NEW BEST:: SOT 209437 SOS 115470 HAS SOPS 115414 HAS SOUS 49945 HAS SOUPS 49930 WITH SCORE 50045.47
AT ITER 5741 NEW BEST:: SOT 209439 SOS 115472 HAS SOPS 115416 HAS SOUS 49944 HAS SOUPS 49929 WITH SCORE 50044.472
AT ITER 5745 NEW BEST:: SOT 209402 SOS 115435 HAS SOPS 115379 HAS SOUS 49885 HAS SOUPS 49870 WITH SCORE 49985.435
AT ITER 5746 NEW BEST:: SOT 209402 SOS 115423 HAS SOPS 115367 HAS SOUS 49837 HAS SOUPS 49822 WITH SCORE 49937.423
AT ITER 5824 NEW BEST:: SOT 209402 SOS 115374 HAS SOPS 115318 HAS SOUS 49788 HAS SOUPS 49773 WITH SCORE 49888.374
AT ITER 5825 NEW BEST:: SOT 209421 SOS 115393 HAS SOPS 115337 HAS SOUS 49774 HAS SOUPS 49759 WITH SCORE 49874.393
AT ITER 5840 NEW BEST:: SOT 209369 SOS 115341 HAS SOPS 115285 HAS SOUS 49688 HAS SOUPS 49673 WITH SCORE 49788.341
AT ITER 5896 NEW BEST:: SOT 209322 SOS 115455 HAS SOPS 115399 HAS SOUS 49600 HAS SOUPS 49585 WITH SCORE 49700.455
AT ITER 5935 NEW BEST:: SOT 209289 SOS 115422 HAS SOPS 115366 HAS SOUS 49545 HAS SOUPS 49530 WITH SCORE 49645.422
AT ITER 5991 NEW BEST:: SOT 209282 SOS 115415 HAS SOPS 115359 HAS SOUS 49538 HAS SOUPS 49523 WITH SCORE 49638.415
AT ITER 6025 NEW BEST:: SOT 209267 SOS 115385 HAS SOPS 115329 HAS SOUS 49523 HAS SOUPS 49508 WITH SCORE 49623.385
AT ITER 6027 NEW BEST:: SOT 209267 SOS 115385 HAS SOPS 115329 HAS SOUS 49508 HAS SOUPS 49493 WITH SCORE 49608.385
AT ITER 6036 NEW BEST:: SOT 209243 SOS 115361 HAS SOPS 115305 HAS SOUS 49460 HAS SOUPS 49445 WITH SCORE 49560.361
AT ITER 6061 NEW BEST:: SOT 209243 SOS 115358 HAS SOPS 115305 HAS SOUS 49458 HAS SOUPS 49444 WITH SCORE 49559.358
AT ITER 6073 NEW BEST:: SOT 209243 SOS 115358 HAS SOPS 115305 HAS SOUS 49446 HAS SOUPS 49432 WITH SCORE 49547.358
AT ITER 6118 NEW BEST:: SOT 209237 SOS 115323 HAS SOPS 115270 HAS SOUS 49321 HAS SOUPS 49307 WITH SCORE 49422.323
AT ITER 6125 NEW BEST:: SOT 209228 SOS 115310 HAS SOPS 115257 HAS SOUS 49310 HAS SOUPS 49296 WITH SCORE 49411.31
AT ITER 6168 NEW BEST:: SOT 209226 SOS 115308 HAS SOPS 115255 HAS SOUS 49306 HAS SOUPS 49292 WITH SCORE 49407.308
AT ITER 6175 NEW BEST:: SOT 209230 SOS 115299 HAS SOPS 115246 HAS SOUS 49297 HAS SOUPS 49283 WITH SCORE 49398.299
AT ITER 6177 NEW BEST:: SOT 209216 SOS 115285 HAS SOPS 115232 HAS SOUS 49283 HAS SOUPS 49269 WITH SCORE 49384.285
AT ITER 6181 NEW BEST:: SOT 209200 SOS 115269 HAS SOPS 115216 HAS SOUS 49267 HAS SOUPS 49253 WITH SCORE 49368.269
AT ITER 6251 NEW BEST:: SOT 209195 SOS 115264 HAS SOPS 115211 HAS SOUS 49221 HAS SOUPS 49207 WITH SCORE 49322.264
AT ITER 6264 NEW BEST:: SOT 209183 SOS 115222 HAS SOPS 115169 HAS SOUS 49210 HAS SOUPS 49196 WITH SCORE 49311.222
AT ITER 6275 NEW BEST:: SOT 209120 SOS 115109 HAS SOPS 115056 HAS SOUS 49184 HAS SOUPS 49170 WITH SCORE 49285.109
AT ITER 6276 NEW BEST:: SOT 209108 SOS 115085 HAS SOPS 115032 HAS SOUS 49152 HAS SOUPS 49138 WITH SCORE 49253.085
AT ITER 6294 NEW BEST:: SOT 209113 SOS 115090 HAS SOPS 115037 HAS SOUS 49143 HAS SOUPS 49129 WITH SCORE 49244.09
AT ITER 6322 NEW BEST:: SOT 209100 SOS 115064 HAS SOPS 115011 HAS SOUS 49117 HAS SOUPS 49103 WITH SCORE 49218.064
AT ITER 6330 NEW BEST:: SOT 208305 SOS 114249 HAS SOPS 114196 HAS SOUS 48429 HAS SOUPS 48415 WITH SCORE 48529.249
AT ITER 6334 NEW BEST:: SOT 208251 SOS 114141 HAS SOPS 114088 HAS SOUS 48339 HAS SOUPS 48325 WITH SCORE 48439.141
AT ITER 6350 NEW BEST:: SOT 208282 SOS 114172 HAS SOPS 114119 HAS SOUS 48329 HAS SOUPS 48315 WITH SCORE 48429.172
AT ITER 6378 NEW BEST:: SOT 208275 SOS 114165 HAS SOPS 114112 HAS SOUS 48315 HAS SOUPS 48301 WITH SCORE 48415.165
AT ITER 6381 NEW BEST:: SOT 208234 SOS 114124 HAS SOPS 114071 HAS SOUS 48271 HAS SOUPS 48257 WITH SCORE 48371.124
AT ITER 6413 NEW BEST:: SOT 208234 SOS 114124 HAS SOPS 114071 HAS SOUS 48253 HAS SOUPS 48239 WITH SCORE 48353.124
AT ITER 6414 NEW BEST:: SOT 208240 SOS 114078 HAS SOPS 114025 HAS SOUS 48220 HAS SOUPS 48206 WITH SCORE 48320.078
AT ITER 6451 NEW BEST:: SOT 208225 SOS 114048 HAS SOPS 113995 HAS SOUS 48192 HAS SOUPS 48178 WITH SCORE 48292.048
AT ITER 6477 NEW BEST:: SOT 208222 SOS 114045 HAS SOPS 113992 HAS SOUS 48186 HAS SOUPS 48172 WITH SCORE 48286.045
AT ITER 6487 NEW BEST:: SOT 208222 SOS 114042 HAS SOPS 113989 HAS SOUS 48186 HAS SOUPS 48172 WITH SCORE 48286.042
AT ITER 6495 NEW BEST:: SOT 208162 SOS 114071 HAS SOPS 114018 HAS SOUS 48114 HAS SOUPS 48100 WITH SCORE 48214.071
AT ITER 6511 NEW BEST:: SOT 208160 SOS 114069 HAS SOPS 114016 HAS SOUS 48110 HAS SOUPS 48096 WITH SCORE 48210.069
AT ITER 6530 NEW BEST:: SOT 208120 SOS 113964 HAS SOPS 113911 HAS SOUS 48076 HAS SOUPS 48062 WITH SCORE 48175.964
AT ITER 6541 NEW BEST:: SOT 208110 SOS 113966 HAS SOPS 113913 HAS SOUS 48058 HAS SOUPS 48044 WITH SCORE 48157.966
AT ITER 6581 NEW BEST:: SOT 207660 SOS 113591 HAS SOPS 113538 HAS SOUS 47972 HAS SOUPS 47958 WITH SCORE 48071.591
AT ITER 6586 NEW BEST:: SOT 207683 SOS 113588 HAS SOPS 113535 HAS SOUS 47957 HAS SOUPS 47943 WITH SCORE 48056.588
AT ITER 6604 NEW BEST:: SOT 207649 SOS 113520 HAS SOPS 113467 HAS SOUS 47889 HAS SOUPS 47875 WITH SCORE 47988.52
AT ITER 6622 NEW BEST:: SOT 207641 SOS 113504 HAS SOPS 113451 HAS SOUS 47865 HAS SOUPS 47851 WITH SCORE 47964.504
AT ITER 6631 NEW BEST:: SOT 207579 SOS 113442 HAS SOPS 113389 HAS SOUS 47797 HAS SOUPS 47783 WITH SCORE 47896.442
AT ITER 6646 NEW BEST:: SOT 207577 SOS 113438 HAS SOPS 113385 HAS SOUS 47793 HAS SOUPS 47779 WITH SCORE 47892.438
AT ITER 6652 NEW BEST:: SOT 207529 SOS 113341 HAS SOPS 113288 HAS SOUS 47696 HAS SOUPS 47682 WITH SCORE 47795.341
AT ITER 6661 NEW BEST:: SOT 207487 SOS 113299 HAS SOPS 113246 HAS SOUS 47612 HAS SOUPS 47598 WITH SCORE 47711.299
AT ITER 6668 NEW BEST:: SOT 207509 SOS 113279 HAS SOPS 113226 HAS SOUS 47612 HAS SOUPS 47598 WITH SCORE 47711.279
AT ITER 6721 NEW BEST:: SOT 207501 SOS 113271 HAS SOPS 113218 HAS SOUS 47596 HAS SOUPS 47582 WITH SCORE 47695.271
AT ITER 6759 NEW BEST:: SOT 207493 SOS 113263 HAS SOPS 113210 HAS SOUS 47588 HAS SOUPS 47574 WITH SCORE 47687.263
AT ITER 6796 NEW BEST:: SOT 207485 SOS 113263 HAS SOPS 113210 HAS SOUS 47540 HAS SOUPS 47526 WITH SCORE 47639.263
AT ITER 6803 NEW BEST:: SOT 207420 SOS 113119 HAS SOPS 113066 HAS SOUS 47516 HAS SOUPS 47502 WITH SCORE 47615.119
AT ITER 6820 NEW BEST:: SOT 207364 SOS 113007 HAS SOPS 112954 HAS SOUS 47429 HAS SOUPS 47415 WITH SCORE 47528.007
AT ITER 6821 NEW BEST:: SOT 207345 SOS 113032 HAS SOPS 112979 HAS SOUS 47424 HAS SOUPS 47410 WITH SCORE 47523.032
AT ITER 6852 NEW BEST:: SOT 207329 SOS 113016 HAS SOPS 112963 HAS SOUS 47392 HAS SOUPS 47378 WITH SCORE 47491.016
AT ITER 6858 NEW BEST:: SOT 207333 SOS 113002 HAS SOPS 112949 HAS SOUS 47382 HAS SOUPS 47368 WITH SCORE 47481.002
AT ITER 6864 NEW BEST:: SOT 207331 SOS 112998 HAS SOPS 112945 HAS SOUS 47378 HAS SOUPS 47364 WITH SCORE 47476.998
AT ITER 6918 NEW BEST:: SOT 207307 SOS 112974 HAS SOPS 112921 HAS SOUS 47330 HAS SOUPS 47316 WITH SCORE 47428.974
AT ITER 6930 NEW BEST:: SOT 207306 SOS 112972 HAS SOPS 112919 HAS SOUS 47311 HAS SOUPS 47297 WITH SCORE 47409.972
AT ITER 6944 NEW BEST:: SOT 207314 SOS 112988 HAS SOPS 112935 HAS SOUS 47303 HAS SOUPS 47289 WITH SCORE 47401.988
AT ITER 6969 NEW BEST:: SOT 207314 SOS 112988 HAS SOPS 112935 HAS SOUS 47294 HAS SOUPS 47280 WITH SCORE 47392.988
AT ITER 6971 NEW BEST:: SOT 207287 SOS 112931 HAS SOPS 112878 HAS SOUS 47248 HAS SOUPS 47234 WITH SCORE 47346.931
AT ITER 6972 NEW BEST:: SOT 207270 SOS 112897 HAS SOPS 112844 HAS SOUS 47235 HAS SOUPS 47221 WITH SCORE 47333.897
AT ITER 7029 NEW BEST:: SOT 207302 SOS 112830 HAS SOPS 112777 HAS SOUS 47168 HAS SOUPS 47154 WITH SCORE 47266.83
AT ITER 7030 NEW BEST:: SOT 207281 SOS 112788 HAS SOPS 112735 HAS SOUS 47133 HAS SOUPS 47119 WITH SCORE 47231.788
AT ITER 7050 NEW BEST:: SOT 207278 SOS 112785 HAS SOPS 112732 HAS SOUS 47127 HAS SOUPS 47113 WITH SCORE 47225.785
AT ITER 7079 NEW BEST:: SOT 207261 SOS 112770 HAS SOPS 112717 HAS SOUS 47112 HAS SOUPS 47098 WITH SCORE 47210.77
AT ITER 7097 NEW BEST:: SOT 207261 SOS 112770 HAS SOPS 112717 HAS SOUS 47109 HAS SOUPS 47095 WITH SCORE 47207.77
AT ITER 7102 NEW BEST:: SOT 207256 SOS 112765 HAS SOPS 112712 HAS SOUS 47099 HAS SOUPS 47085 WITH SCORE 47197.765
AT ITER 7161 NEW BEST:: SOT 207272 SOS 112781 HAS SOPS 112728 HAS SOUS 47095 HAS SOUPS 47081 WITH SCORE 47193.781
AT ITER 7192 NEW BEST:: SOT 207264 SOS 112765 HAS SOPS 112712 HAS SOUS 47079 HAS SOUPS 47065 WITH SCORE 47177.765
AT ITER 7193 NEW BEST:: SOT 207260 SOS 112761 HAS SOPS 112708 HAS SOUS 47066 HAS SOUPS 47052 WITH SCORE 47164.761
AT ITER 7248 NEW BEST:: SOT 207259 SOS 112759 HAS SOPS 112706 HAS SOUS 47064 HAS SOUPS 47050 WITH SCORE 47162.759
AT ITER 7294 NEW BEST:: SOT 207242 SOS 112742 HAS SOPS 112689 HAS SOUS 47047 HAS SOUPS 47033 WITH SCORE 47145.742
AT ITER 7310 NEW BEST:: SOT 207220 SOS 112675 HAS SOPS 112622 HAS SOUS 46961 HAS SOUPS 46947 WITH SCORE 47059.675
AT ITER 7337 NEW BEST:: SOT 207191 SOS 112617 HAS SOPS 112564 HAS SOUS 46775 HAS SOUPS 46761 WITH SCORE 46873.617
AT ITER 7351 NEW BEST:: SOT 207188 SOS 112614 HAS SOPS 112561 HAS SOUS 46769 HAS SOUPS 46755 WITH SCORE 46867.614
AT ITER 7390 NEW BEST:: SOT 207188 SOS 111809 HAS SOPS 111764 HAS SOUS 46769 HAS SOUPS 46755 WITH SCORE 46866.809
AT ITER 7391 NEW BEST:: SOT 207208 SOS 111829 HAS SOPS 111784 HAS SOUS 46759 HAS SOUPS 46745 WITH SCORE 46856.829
AT ITER 7433 NEW BEST:: SOT 207204 SOS 111783 HAS SOPS 111738 HAS SOUS 46734 HAS SOUPS 46720 WITH SCORE 46831.783
AT ITER 7467 NEW BEST:: SOT 207203 SOS 111782 HAS SOPS 111737 HAS SOUS 46732 HAS SOUPS 46718 WITH SCORE 46829.782
AT ITER 7487 NEW BEST:: SOT 207160 SOS 111696 HAS SOPS 111651 HAS SOUS 46683 HAS SOUPS 46669 WITH SCORE 46780.696
AT ITER 7526 NEW BEST:: SOT 207151 SOS 111678 HAS SOPS 111633 HAS SOUS 46665 HAS SOUPS 46651 WITH SCORE 46762.678
AT ITER 7538 NEW BEST:: SOT 207178 SOS 111705 HAS SOPS 111660 HAS SOUS 46646 HAS SOUPS 46632 WITH SCORE 46743.705
AT ITER 7565 NEW BEST:: SOT 207155 SOS 111682 HAS SOPS 111637 HAS SOUS 46603 HAS SOUPS 46589 WITH SCORE 46700.682
AT ITER 7609 NEW BEST:: SOT 207155 SOS 111675 HAS SOPS 111630 HAS SOUS 46597 HAS SOUPS 46583 WITH SCORE 46694.675
AT ITER 7638 NEW BEST:: SOT 207155 SOS 111650 HAS SOPS 111605 HAS SOUS 46572 HAS SOUPS 46558 WITH SCORE 46669.65
AT ITER 7643 NEW BEST:: SOT 207093 SOS 111560 HAS SOPS 111515 HAS SOUS 46504 HAS SOUPS 46490 WITH SCORE 46601.56
AT ITER 7764 NEW BEST:: SOT 207052 SOS 111558 HAS SOPS 111513 HAS SOUS 46456 HAS SOUPS 46442 WITH SCORE 46553.558
AT ITER 7803 NEW BEST:: SOT 207054 SOS 111548 HAS SOPS 111503 HAS SOUS 46446 HAS SOUPS 46432 WITH SCORE 46543.548
AT ITER 7862 NEW BEST:: SOT 207045 SOS 111539 HAS SOPS 111494 HAS SOUS 46428 HAS SOUPS 46414 WITH SCORE 46525.539
AT ITER 7863 NEW BEST:: SOT 207042 SOS 111536 HAS SOPS 111491 HAS SOUS 46424 HAS SOUPS 46410 WITH SCORE 46521.536
AT ITER 7875 NEW BEST:: SOT 207040 SOS 111536 HAS SOPS 111491 HAS SOUS 46408 HAS SOUPS 46394 WITH SCORE 46505.536
AT ITER 7907 NEW BEST:: SOT 207021 SOS 111517 HAS SOPS 111472 HAS SOUS 46404 HAS SOUPS 46390 WITH SCORE 46501.517
AT ITER 8012 NEW BEST:: SOT 207001 SOS 111507 HAS SOPS 111462 HAS SOUS 46384 HAS SOUPS 46370 WITH SCORE 46481.507
AT ITER 8016 NEW BEST:: SOT 206999 SOS 111505 HAS SOPS 111460 HAS SOUS 46382 HAS SOUPS 46368 WITH SCORE 46479.505
AT ITER 8021 NEW BEST:: SOT 206977 SOS 111483 HAS SOPS 111438 HAS SOUS 46350 HAS SOUPS 46336 WITH SCORE 46447.483
AT ITER 8030 NEW BEST:: SOT 206976 SOS 111477 HAS SOPS 111432 HAS SOUS 46348 HAS SOUPS 46334 WITH SCORE 46445.477
AT ITER 8056 NEW BEST:: SOT 206976 SOS 111419 HAS SOPS 111372 HAS SOUS 46348 HAS SOUPS 46334 WITH SCORE 46445.419
AT ITER 8074 NEW BEST:: SOT 206960 SOS 111389 HAS SOPS 111342 HAS SOUS 46325 HAS SOUPS 46311 WITH SCORE 46422.389
AT ITER 8097 NEW BEST:: SOT 206971 SOS 111380 HAS SOPS 111333 HAS SOUS 46324 HAS SOUPS 46310 WITH SCORE 46421.38
AT ITER 8110 NEW BEST:: SOT 206969 SOS 111378 HAS SOPS 111331 HAS SOUS 46322 HAS SOUPS 46308 WITH SCORE 46419.378
AT ITER 8146 NEW BEST:: SOT 206969 SOS 111378 HAS SOPS 111331 HAS SOUS 46312 HAS SOUPS 46298 WITH SCORE 46409.378
AT ITER 8155 NEW BEST:: SOT 206927 SOS 111462 HAS SOPS 111415 HAS SOUS 46228 HAS SOUPS 46214 WITH SCORE 46325.462
AT ITER 8163 NEW BEST:: SOT 206927 SOS 111459 HAS SOPS 111412 HAS SOUS 46225 HAS SOUPS 46211 WITH SCORE 46322.459
AT ITER 8190 NEW BEST:: SOT 206917 SOS 111449 HAS SOPS 111402 HAS SOUS 46185 HAS SOUPS 46171 WITH SCORE 46282.449
AT ITER 8247 NEW BEST:: SOT 206917 SOS 111449 HAS SOPS 111402 HAS SOUS 46179 HAS SOUPS 46165 WITH SCORE 46276.449
AT ITER 8310 NEW BEST:: SOT 206917 SOS 111441 HAS SOPS 111394 HAS SOUS 46163 HAS SOUPS 46149 WITH SCORE 46260.441
AT ITER 8374 NEW BEST:: SOT 206860 SOS 111342 HAS SOPS 111295 HAS SOUS 46000 HAS SOUPS 45986 WITH SCORE 46097.342
AT ITER 8409 NEW BEST:: SOT 206860 SOS 111340 HAS SOPS 111293 HAS SOUS 46000 HAS SOUPS 45986 WITH SCORE 46097.34
AT ITER 8454 NEW BEST:: SOT 206871 SOS 111362 HAS SOPS 111315 HAS SOUS 45983 HAS SOUPS 45969 WITH SCORE 46080.362
AT ITER 8486 NEW BEST:: SOT 206867 SOS 111358 HAS SOPS 111311 HAS SOUS 45975 HAS SOUPS 45961 WITH SCORE 46072.358
AT ITER 8547 NEW BEST:: SOT 206859 SOS 111347 HAS SOPS 111300 HAS SOUS 45945 HAS SOUPS 45931 WITH SCORE 46042.347
AT ITER 8557 NEW BEST:: SOT 206855 SOS 111339 HAS SOPS 111292 HAS SOUS 45937 HAS SOUPS 45923 WITH SCORE 46034.339
AT ITER 8585 NEW BEST:: SOT 206828 SOS 111312 HAS SOPS 111265 HAS SOUS 45883 HAS SOUPS 45869 WITH SCORE 45980.312
AT ITER 8636 NEW BEST:: SOT 206672 SOS 111220 HAS SOPS 111173 HAS SOUS 45765 HAS SOUPS 45751 WITH SCORE 45862.22
AT ITER 8642 NEW BEST:: SOT 206661 SOS 111209 HAS SOPS 111162 HAS SOUS 45743 HAS SOUPS 45729 WITH SCORE 45840.209
AT ITER 8653 NEW BEST:: SOT 206634 SOS 111155 HAS SOPS 111108 HAS SOUS 45743 HAS SOUPS 45729 WITH SCORE 45840.155
AT ITER 8690 NEW BEST:: SOT 206612 SOS 111150 HAS SOPS 111103 HAS SOUS 45738 HAS SOUPS 45724 WITH SCORE 45835.15
AT ITER 8711 NEW BEST:: SOT 206604 SOS 111142 HAS SOPS 111095 HAS SOUS 45722 HAS SOUPS 45708 WITH SCORE 45819.142
AT ITER 8726 NEW BEST:: SOT 206582 SOS 111098 HAS SOPS 111051 HAS SOUS 45683 HAS SOUPS 45669 WITH SCORE 45780.098
AT ITER 8761 NEW BEST:: SOT 206584 SOS 111082 HAS SOPS 111035 HAS SOUS 45679 HAS SOUPS 45665 WITH SCORE 45776.082
AT ITER 8767 NEW BEST:: SOT 206585 SOS 111084 HAS SOPS 111037 HAS SOUS 45678 HAS SOUPS 45664 WITH SCORE 45775.084
AT ITER 8768 NEW BEST:: SOT 206558 SOS 111057 HAS SOPS 111010 HAS SOUS 45624 HAS SOUPS 45610 WITH SCORE 45721.057
AT ITER 8774 NEW BEST:: SOT 206557 SOS 111056 HAS SOPS 111009 HAS SOUS 45622 HAS SOUPS 45608 WITH SCORE 45719.056
AT ITER 8815 NEW BEST:: SOT 206624 SOS 111102 HAS SOPS 111055 HAS SOUS 45524 HAS SOUPS 45510 WITH SCORE 45621.102
AT ITER 8864 NEW BEST:: SOT 206624 SOS 111102 HAS SOPS 111055 HAS SOUS 45520 HAS SOUPS 45506 WITH SCORE 45617.102
AT ITER 8882 NEW BEST:: SOT 206622 SOS 111100 HAS SOPS 111053 HAS SOUS 45516 HAS SOUPS 45502 WITH SCORE 45613.1
AT ITER 8944 NEW BEST:: SOT 206622 SOS 111100 HAS SOPS 111053 HAS SOUS 45489 HAS SOUPS 45475 WITH SCORE 45586.1
AT ITER 8955 NEW BEST:: SOT 206622 SOS 111100 HAS SOPS 111053 HAS SOUS 45484 HAS SOUPS 45470 WITH SCORE 45581.1
AT ITER 9004 NEW BEST:: SOT 206609 SOS 111094 HAS SOPS 111047 HAS SOUS 45465 HAS SOUPS 45451 WITH SCORE 45562.094
AT ITER 9006 NEW BEST:: SOT 206593 SOS 111062 HAS SOPS 111015 HAS SOUS 45440 HAS SOUPS 45426 WITH SCORE 45537.062
AT ITER 9018 NEW BEST:: SOT 206579 SOS 110985 HAS SOPS 110938 HAS SOUS 45406 HAS SOUPS 45392 WITH SCORE 45502.985
AT ITER 9023 NEW BEST:: SOT 206579 SOS 110969 HAS SOPS 110922 HAS SOUS 45406 HAS SOUPS 45392 WITH SCORE 45502.969
AT ITER 9060 NEW BEST:: SOT 206583 SOS 110942 HAS SOPS 110895 HAS SOUS 45309 HAS SOUPS 45295 WITH SCORE 45405.942
AT ITER 9102 NEW BEST:: SOT 206581 SOS 110940 HAS SOPS 110893 HAS SOUS 45307 HAS SOUPS 45293 WITH SCORE 45403.94
AT ITER 9115 NEW BEST:: SOT 206575 SOS 110929 HAS SOPS 110882 HAS SOUS 45296 HAS SOUPS 45282 WITH SCORE 45392.929
AT ITER 9130 NEW BEST:: SOT 206575 SOS 110929 HAS SOPS 110882 HAS SOUS 45286 HAS SOUPS 45272 WITH SCORE 45382.929
AT ITER 9143 NEW BEST:: SOT 206574 SOS 110928 HAS SOPS 110881 HAS SOUS 45252 HAS SOUPS 45238 WITH SCORE 45348.928
AT ITER 9264 NEW BEST:: SOT 206570 SOS 110924 HAS SOPS 110877 HAS SOUS 45248 HAS SOUPS 45234 WITH SCORE 45344.924
AT ITER 9272 NEW BEST:: SOT 206570 SOS 110924 HAS SOPS 110877 HAS SOUS 45174 HAS SOUPS 45160 WITH SCORE 45270.924
AT ITER 9290 NEW BEST:: SOT 206500 SOS 110769 HAS SOPS 110722 HAS SOUS 45034 HAS SOUPS 45020 WITH SCORE 45130.769
AT ITER 9303 NEW BEST:: SOT 206468 SOS 110705 HAS SOPS 110658 HAS SOUS 44957 HAS SOUPS 44943 WITH SCORE 45053.705
AT ITER 9359 NEW BEST:: SOT 206452 SOS 110685 HAS SOPS 110638 HAS SOUS 44931 HAS SOUPS 44917 WITH SCORE 45027.685
AT ITER 9373 NEW BEST:: SOT 206448 SOS 110681 HAS SOPS 110634 HAS SOUS 44923 HAS SOUPS 44909 WITH SCORE 45019.681
AT ITER 9388 NEW BEST:: SOT 206442 SOS 110681 HAS SOPS 110634 HAS SOUS 44917 HAS SOUPS 44903 WITH SCORE 45013.681
AT ITER 9392 NEW BEST:: SOT 206439 SOS 110675 HAS SOPS 110628 HAS SOUS 44870 HAS SOUPS 44856 WITH SCORE 44966.675
AT ITER 9406 NEW BEST:: SOT 206433 SOS 110669 HAS SOPS 110622 HAS SOUS 44864 HAS SOUPS 44850 WITH SCORE 44960.669
AT ITER 9495 NEW BEST:: SOT 206422 SOS 110658 HAS SOPS 110611 HAS SOUS 44842 HAS SOUPS 44828 WITH SCORE 44938.658
AT ITER 9512 NEW BEST:: SOT 206405 SOS 110641 HAS SOPS 110594 HAS SOUS 44842 HAS SOUPS 44828 WITH SCORE 44938.641
AT ITER 9540 NEW BEST:: SOT 206399 SOS 110629 HAS SOPS 110582 HAS SOUS 44830 HAS SOUPS 44816 WITH SCORE 44926.629
AT ITER 9541 NEW BEST:: SOT 206373 SOS 110603 HAS SOPS 110556 HAS SOUS 44800 HAS SOUPS 44786 WITH SCORE 44896.603
AT ITER 9600 NEW BEST:: SOT 206368 SOS 110598 HAS SOPS 110551 HAS SOUS 44790 HAS SOUPS 44776 WITH SCORE 44886.598
AT ITER 9605 NEW BEST:: SOT 206368 SOS 110597 HAS SOPS 110550 HAS SOUS 44789 HAS SOUPS 44775 WITH SCORE 44885.597
AT ITER 9612 NEW BEST:: SOT 206365 SOS 110569 HAS SOPS 110522 HAS SOUS 44761 HAS SOUPS 44747 WITH SCORE 44857.569
AT ITER 9613 NEW BEST:: SOT 206361 SOS 110565 HAS SOPS 110518 HAS SOUS 44757 HAS SOUPS 44743 WITH SCORE 44853.565
AT ITER 9630 NEW BEST:: SOT 206358 SOS 110562 HAS SOPS 110515 HAS SOUS 44751 HAS SOUPS 44737 WITH SCORE 44847.562
AT ITER 9647 NEW BEST:: SOT 206317 SOS 110572 HAS SOPS 110525 HAS SOUS 44687 HAS SOUPS 44673 WITH SCORE 44783.572
AT ITER 9665 NEW BEST:: SOT 206314 SOS 110566 HAS SOPS 110519 HAS SOUS 44681 HAS SOUPS 44667 WITH SCORE 44777.566
AT ITER 9702 NEW BEST:: SOT 206308 SOS 110560 HAS SOPS 110513 HAS SOUS 44671 HAS SOUPS 44657 WITH SCORE 44767.56
AT ITER 9710 NEW BEST:: SOT 206306 SOS 110556 HAS SOPS 110509 HAS SOUS 44665 HAS SOUPS 44651 WITH SCORE 44761.556
AT ITER 9711 NEW BEST:: SOT 206306 SOS 110555 HAS SOPS 110508 HAS SOUS 44664 HAS SOUPS 44650 WITH SCORE 44760.555
AT ITER 9768 NEW BEST:: SOT 206294 SOS 110543 HAS SOPS 110496 HAS SOUS 44638 HAS SOUPS 44624 WITH SCORE 44734.543
AT ITER 9782 NEW BEST:: SOT 206293 SOS 110543 HAS SOPS 110496 HAS SOUS 44637 HAS SOUPS 44623 WITH SCORE 44733.543
AT ITER 9802 NEW BEST:: SOT 206293 SOS 110543 HAS SOPS 110496 HAS SOUS 44636 HAS SOUPS 44622 WITH SCORE 44732.543
AT ITER 9849 NEW BEST:: SOT 206305 SOS 110555 HAS SOPS 110508 HAS SOUS 44562 HAS SOUPS 44548 WITH SCORE 44658.555
AT ITER 9869 NEW BEST:: SOT 206276 SOS 110496 HAS SOPS 110449 HAS SOUS 44512 HAS SOUPS 44498 WITH SCORE 44608.496
AT ITER 9876 NEW BEST:: SOT 206269 SOS 110489 HAS SOPS 110442 HAS SOUS 44505 HAS SOUPS 44491 WITH SCORE 44601.489
AT ITER 9882 NEW BEST:: SOT 206237 SOS 110516 HAS SOPS 110469 HAS SOUS 44453 HAS SOUPS 44439 WITH SCORE 44549.516
AT ITER 9889 NEW BEST:: SOT 206236 SOS 110515 HAS SOPS 110468 HAS SOUS 44440 HAS SOUPS 44426 WITH SCORE 44536.515
AT ITER 9891 NEW BEST:: SOT 206236 SOS 110484 HAS SOPS 110437 HAS SOUS 44409 HAS SOUPS 44395 WITH SCORE 44505.484
AT ITER 9913 NEW BEST:: SOT 206227 SOS 110475 HAS SOPS 110428 HAS SOUS 44391 HAS SOUPS 44377 WITH SCORE 44487.475
AT ITER 9982 NEW BEST:: SOT 206231 SOS 110460 HAS SOPS 110413 HAS SOUS 44376 HAS SOUPS 44362 WITH SCORE 44472.46
AT ITER 9990 NEW BEST:: SOT 206229 SOS 110458 HAS SOPS 110411 HAS SOUS 44372 HAS SOUPS 44358 WITH SCORE 44468.458
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 286804 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133580 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="PolyORBNT-COL-S05J30"
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 PolyORBNT-COL-S05J30, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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