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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.7K Feb 26 14:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 14:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 15:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 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 1679190392574

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-Z4T4N10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 01:46:35] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 01:46:35] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 01:46:35] [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 01:46:36] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 01:46:36] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 683 ms
[2023-03-19 01:46:36] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 376 PT places and 750.0 transition bindings in 22 ms.
[2023-03-19 01:46:36] [INFO ] Unfolded HLPN to a Petri net with 376 places and 750 transitions 2410 arcs in 55 ms.
[2023-03-19 01:46:36] [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 01:46:36] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 376 places, 550 transitions and 1610 arcs took 16 ms.
Total runtime 1033 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N10
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 7 NEW BEST:: SOT 143045 SOS 94813 HAS SOPS 94813 HAS SOUS 61372 HAS SOUPS 61372 WITH SCORE 61466.813
AT ITER 8 NEW BEST:: SOT 142966 SOS 94016 HAS SOPS 94016 HAS SOUS 61310 HAS SOUPS 61310 WITH SCORE 61404.016
AT ITER 9 NEW BEST:: SOT 142905 SOS 93847 HAS SOPS 93847 HAS SOUS 61043 HAS SOUPS 61043 WITH SCORE 61136.847
AT ITER 14 NEW BEST:: SOT 142828 SOS 93007 HAS SOPS 93007 HAS SOUS 60977 HAS SOUPS 60977 WITH SCORE 61070.007
AT ITER 16 NEW BEST:: SOT 142756 SOS 92827 HAS SOPS 92827 HAS SOUS 60699 HAS SOUPS 60699 WITH SCORE 60791.827
AT ITER 19 NEW BEST:: SOT 142751 SOS 92817 HAS SOPS 92817 HAS SOUS 60696 HAS SOUPS 60696 WITH SCORE 60788.817
AT ITER 21 NEW BEST:: SOT 142706 SOS 92861 HAS SOPS 92861 HAS SOUS 60570 HAS SOUPS 60570 WITH SCORE 60662.861
AT ITER 36 NEW BEST:: SOT 142648 SOS 92803 HAS SOPS 92803 HAS SOUS 60452 HAS SOUPS 60452 WITH SCORE 60544.803
AT ITER 37 NEW BEST:: SOT 143926 SOS 92733 HAS SOPS 92733 HAS SOUS 57727 HAS SOUPS 57727 WITH SCORE 57819.733
AT ITER 44 NEW BEST:: SOT 143908 SOS 92835 HAS SOPS 92835 HAS SOUS 57691 HAS SOUPS 57691 WITH SCORE 57783.835
AT ITER 45 NEW BEST:: SOT 143908 SOS 92833 HAS SOPS 92833 HAS SOUS 57690 HAS SOUPS 57690 WITH SCORE 57782.833
AT ITER 55 NEW BEST:: SOT 143835 SOS 92652 HAS SOPS 92652 HAS SOUS 57411 HAS SOUPS 57411 WITH SCORE 57503.652
AT ITER 56 NEW BEST:: SOT 143835 SOS 92436 HAS SOPS 92436 HAS SOUS 57194 HAS SOUPS 57194 WITH SCORE 57286.436
AT ITER 61 NEW BEST:: SOT 143835 SOS 92487 HAS SOPS 92487 HAS SOUS 57185 HAS SOUPS 57185 WITH SCORE 57277.487
AT ITER 64 NEW BEST:: SOT 143835 SOS 92249 HAS SOPS 92249 HAS SOUS 57067 HAS SOUPS 57067 WITH SCORE 57159.249
AT ITER 69 NEW BEST:: SOT 144824 SOS 91767 HAS SOPS 91767 HAS SOUS 54691 HAS SOUPS 54691 WITH SCORE 54782.767
AT ITER 74 NEW BEST:: SOT 144787 SOS 91619 HAS SOPS 91619 HAS SOUS 54590 HAS SOUPS 54590 WITH SCORE 54681.619
AT ITER 76 NEW BEST:: SOT 144787 SOS 91409 HAS SOPS 91409 HAS SOUS 54589 HAS SOUPS 54589 WITH SCORE 54680.409
AT ITER 81 NEW BEST:: SOT 144787 SOS 91301 HAS SOPS 91301 HAS SOUS 54589 HAS SOUPS 54589 WITH SCORE 54680.301
AT ITER 82 NEW BEST:: SOT 144712 SOS 91151 HAS SOPS 91151 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54612.151
AT ITER 84 NEW BEST:: SOT 146189 SOS 91149 HAS SOPS 91149 HAS SOUS 52429 HAS SOUPS 52429 WITH SCORE 52520.149
AT ITER 105 NEW BEST:: SOT 146160 SOS 90934 HAS SOPS 90934 HAS SOUS 52400 HAS SOUPS 52400 WITH SCORE 52490.934
AT ITER 113 NEW BEST:: SOT 146100 SOS 90844 HAS SOPS 90844 HAS SOUS 52307 HAS SOUPS 52307 WITH SCORE 52397.844
AT ITER 114 NEW BEST:: SOT 146020 SOS 90725 HAS SOPS 90725 HAS SOUS 52274 HAS SOUPS 52274 WITH SCORE 52364.725
AT ITER 125 NEW BEST:: SOT 146022 SOS 90461 HAS SOPS 90461 HAS SOUS 52221 HAS SOUPS 52221 WITH SCORE 52311.461
AT ITER 133 NEW BEST:: SOT 145986 SOS 90251 HAS SOPS 90251 HAS SOUS 52185 HAS SOUPS 52185 WITH SCORE 52275.251
AT ITER 134 NEW BEST:: SOT 145986 SOS 90203 HAS SOPS 90203 HAS SOUS 52185 HAS SOUPS 52185 WITH SCORE 52275.203
AT ITER 139 NEW BEST:: SOT 145963 SOS 90160 HAS SOPS 90160 HAS SOUS 52136 HAS SOUPS 52136 WITH SCORE 52226.16
AT ITER 143 NEW BEST:: SOT 145918 SOS 90115 HAS SOPS 90115 HAS SOUS 52063 HAS SOUPS 52063 WITH SCORE 52153.115
AT ITER 148 NEW BEST:: SOT 145916 SOS 89876 HAS SOPS 89876 HAS SOUS 52023 HAS SOUPS 52023 WITH SCORE 52112.876
AT ITER 151 NEW BEST:: SOT 145861 SOS 89783 HAS SOPS 89783 HAS SOUS 52005 HAS SOUPS 52005 WITH SCORE 52094.783
AT ITER 154 NEW BEST:: SOT 138840 SOS 93752 HAS SOPS 93752 HAS SOUS 45254 HAS SOUPS 45254 WITH SCORE 45347.752
AT ITER 160 NEW BEST:: SOT 138802 SOS 93714 HAS SOPS 93714 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45286.714
AT ITER 162 NEW BEST:: SOT 138744 SOS 93656 HAS SOPS 93656 HAS SOUS 45135 HAS SOUPS 45135 WITH SCORE 45228.656
AT ITER 173 NEW BEST:: SOT 138708 SOS 93620 HAS SOPS 93620 HAS SOUS 45099 HAS SOUPS 45099 WITH SCORE 45192.62
AT ITER 176 NEW BEST:: SOT 138654 SOS 93566 HAS SOPS 93566 HAS SOUS 44903 HAS SOUPS 44903 WITH SCORE 44996.566
AT ITER 178 NEW BEST:: SOT 138654 SOS 93516 HAS SOPS 93516 HAS SOUS 44878 HAS SOUPS 44878 WITH SCORE 44971.516
AT ITER 183 NEW BEST:: SOT 138698 SOS 93470 HAS SOPS 93470 HAS SOUS 44863 HAS SOUPS 44863 WITH SCORE 44956.47
AT ITER 190 NEW BEST:: SOT 138626 SOS 84488 HAS SOPS 84488 HAS SOUS 44791 HAS SOUPS 44791 WITH SCORE 44875.488
AT ITER 196 NEW BEST:: SOT 138478 SOS 84015 HAS SOPS 84015 HAS SOUS 44615 HAS SOUPS 44615 WITH SCORE 44699.015
AT ITER 200 NEW BEST:: SOT 138456 SOS 83993 HAS SOPS 83993 HAS SOUS 44507 HAS SOUPS 44507 WITH SCORE 44590.993
AT ITER 203 NEW BEST:: SOT 138429 SOS 83969 HAS SOPS 83969 HAS SOUS 44483 HAS SOUPS 44483 WITH SCORE 44566.969
AT ITER 208 NEW BEST:: SOT 138370 SOS 83826 HAS SOPS 83826 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44299.826
AT ITER 212 NEW BEST:: SOT 138360 SOS 83826 HAS SOPS 83826 HAS SOUS 44196 HAS SOUPS 44196 WITH SCORE 44279.826
AT ITER 216 NEW BEST:: SOT 138410 SOS 83795 HAS SOPS 83795 HAS SOUS 44196 HAS SOUPS 44196 WITH SCORE 44279.795
AT ITER 227 NEW BEST:: SOT 134014 SOS 79399 HAS SOPS 79399 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42434.399
AT ITER 228 NEW BEST:: SOT 134014 SOS 79360 HAS SOPS 79360 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42434.36
AT ITER 231 NEW BEST:: SOT 133991 SOS 79337 HAS SOPS 79337 HAS SOUS 42331 HAS SOUPS 42331 WITH SCORE 42410.337
AT ITER 237 NEW BEST:: SOT 133982 SOS 78959 HAS SOPS 78959 HAS SOUS 42321 HAS SOUPS 42321 WITH SCORE 42399.959
AT ITER 239 NEW BEST:: SOT 133982 SOS 78980 HAS SOPS 78980 HAS SOUS 42314 HAS SOUPS 42314 WITH SCORE 42392.98
AT ITER 245 NEW BEST:: SOT 133982 SOS 78980 HAS SOPS 78980 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42380.98
AT ITER 258 NEW BEST:: SOT 134005 SOS 78954 HAS SOPS 78954 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42296.954
AT ITER 263 NEW BEST:: SOT 133962 SOS 78864 HAS SOPS 78864 HAS SOUS 42104 HAS SOUPS 42104 WITH SCORE 42182.864
AT ITER 266 NEW BEST:: SOT 133957 SOS 78805 HAS SOPS 78805 HAS SOUS 42063 HAS SOUPS 42063 WITH SCORE 42141.805
AT ITER 293 NEW BEST:: SOT 133890 SOS 78496 HAS SOPS 78496 HAS SOUS 42062 HAS SOUPS 42062 WITH SCORE 42140.496
AT ITER 298 NEW BEST:: SOT 133801 SOS 78207 HAS SOPS 78207 HAS SOUS 41923 HAS SOUPS 41923 WITH SCORE 42001.207
AT ITER 308 NEW BEST:: SOT 133721 SOS 77982 HAS SOPS 77982 HAS SOUS 41761 HAS SOUPS 41761 WITH SCORE 41838.982
AT ITER 311 NEW BEST:: SOT 133721 SOS 77982 HAS SOPS 77982 HAS SOUS 41660 HAS SOUPS 41660 WITH SCORE 41737.982
AT ITER 324 NEW BEST:: SOT 133680 SOS 77840 HAS SOPS 77840 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41695.84
AT ITER 326 NEW BEST:: SOT 133554 SOS 77661 HAS SOPS 77661 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41541.661
AT ITER 330 NEW BEST:: SOT 133554 SOS 77661 HAS SOPS 77661 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41503.661
AT ITER 333 NEW BEST:: SOT 133554 SOS 77609 HAS SOPS 77609 HAS SOUS 41413 HAS SOUPS 41413 WITH SCORE 41490.609
AT ITER 335 NEW BEST:: SOT 133434 SOS 77489 HAS SOPS 77489 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41450.489
AT ITER 344 NEW BEST:: SOT 133423 SOS 77478 HAS SOPS 77478 HAS SOUS 41351 HAS SOUPS 41351 WITH SCORE 41428.478
AT ITER 347 NEW BEST:: SOT 133366 SOS 76883 HAS SOPS 76883 HAS SOUS 41323 HAS SOUPS 41323 WITH SCORE 41399.883
AT ITER 353 NEW BEST:: SOT 133331 SOS 76647 HAS SOPS 76647 HAS SOUS 41288 HAS SOUPS 41288 WITH SCORE 41364.647
AT ITER 354 NEW BEST:: SOT 133316 SOS 76608 HAS SOPS 76608 HAS SOUS 41195 HAS SOUPS 41195 WITH SCORE 41271.608
AT ITER 355 NEW BEST:: SOT 133329 SOS 76573 HAS SOPS 76573 HAS SOUS 41107 HAS SOUPS 41107 WITH SCORE 41183.573
AT ITER 367 NEW BEST:: SOT 133278 SOS 76522 HAS SOPS 76522 HAS SOUS 41052 HAS SOUPS 41052 WITH SCORE 41128.522
AT ITER 373 NEW BEST:: SOT 133265 SOS 76509 HAS SOPS 76509 HAS SOUS 41026 HAS SOUPS 41026 WITH SCORE 41102.509
AT ITER 382 NEW BEST:: SOT 133267 SOS 76511 HAS SOPS 76511 HAS SOUS 41018 HAS SOUPS 41018 WITH SCORE 41094.511
AT ITER 386 NEW BEST:: SOT 133228 SOS 76472 HAS SOPS 76472 HAS SOUS 40940 HAS SOUPS 40940 WITH SCORE 41016.472
AT ITER 402 NEW BEST:: SOT 133218 SOS 76452 HAS SOPS 76452 HAS SOUS 40898 HAS SOUPS 40898 WITH SCORE 40974.452
AT ITER 409 NEW BEST:: SOT 133218 SOS 76479 HAS SOPS 76479 HAS SOUS 40889 HAS SOUPS 40889 WITH SCORE 40965.479
AT ITER 417 NEW BEST:: SOT 133192 SOS 76443 HAS SOPS 76443 HAS SOUS 40848 HAS SOUPS 40848 WITH SCORE 40924.443
AT ITER 418 NEW BEST:: SOT 133192 SOS 76443 HAS SOPS 76443 HAS SOUS 40844 HAS SOUPS 40844 WITH SCORE 40920.443
AT ITER 420 NEW BEST:: SOT 133118 SOS 76368 HAS SOPS 76368 HAS SOUS 40707 HAS SOUPS 40707 WITH SCORE 40783.368
AT ITER 421 NEW BEST:: SOT 133089 SOS 76272 HAS SOPS 76272 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40649.272
AT ITER 441 NEW BEST:: SOT 133053 SOS 76236 HAS SOPS 76236 HAS SOUS 40554 HAS SOUPS 40554 WITH SCORE 40630.236
AT ITER 446 NEW BEST:: SOT 133052 SOS 76285 HAS SOPS 76285 HAS SOUS 40536 HAS SOUPS 40536 WITH SCORE 40612.285
AT ITER 453 NEW BEST:: SOT 133034 SOS 76231 HAS SOPS 76231 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40446.231
AT ITER 454 NEW BEST:: SOT 132993 SOS 76190 HAS SOPS 76190 HAS SOUS 40288 HAS SOUPS 40288 WITH SCORE 40364.19
AT ITER 455 NEW BEST:: SOT 132989 SOS 76186 HAS SOPS 76186 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40361.186
AT ITER 456 NEW BEST:: SOT 132982 SOS 76136 HAS SOPS 76136 HAS SOUS 40278 HAS SOUPS 40278 WITH SCORE 40354.136
AT ITER 469 NEW BEST:: SOT 132978 SOS 76128 HAS SOPS 76128 HAS SOUS 40270 HAS SOUPS 40270 WITH SCORE 40346.128
AT ITER 479 NEW BEST:: SOT 132935 SOS 75956 HAS SOPS 75956 HAS SOUS 40240 HAS SOUPS 40240 WITH SCORE 40315.956
AT ITER 485 NEW BEST:: SOT 132924 SOS 75945 HAS SOPS 75945 HAS SOUS 40218 HAS SOUPS 40218 WITH SCORE 40293.945
AT ITER 503 NEW BEST:: SOT 131052 SOS 74072 HAS SOPS 74072 HAS SOUS 39634 HAS SOUPS 39634 WITH SCORE 39708.072
AT ITER 509 NEW BEST:: SOT 131087 SOS 74397 HAS SOPS 74397 HAS SOUS 39619 HAS SOUPS 39619 WITH SCORE 39693.397
AT ITER 510 NEW BEST:: SOT 131087 SOS 74397 HAS SOPS 74397 HAS SOUS 39616 HAS SOUPS 39616 WITH SCORE 39690.397
AT ITER 516 NEW BEST:: SOT 131061 SOS 74371 HAS SOPS 74371 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39686.371
AT ITER 525 NEW BEST:: SOT 131013 SOS 74111 HAS SOPS 74111 HAS SOUS 39606 HAS SOUPS 39606 WITH SCORE 39680.111
AT ITER 528 NEW BEST:: SOT 131011 SOS 74107 HAS SOPS 74107 HAS SOUS 39593 HAS SOUPS 39593 WITH SCORE 39667.107
AT ITER 530 NEW BEST:: SOT 131022 SOS 74140 HAS SOPS 74140 HAS SOUS 39560 HAS SOUPS 39560 WITH SCORE 39634.14
AT ITER 539 NEW BEST:: SOT 131136 SOS 74834 HAS SOPS 74834 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39618.834
AT ITER 548 NEW BEST:: SOT 130402 SOS 74100 HAS SOPS 74100 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38860.1
AT ITER 554 NEW BEST:: SOT 130391 SOS 74089 HAS SOPS 74089 HAS SOUS 38764 HAS SOUPS 38764 WITH SCORE 38838.089
AT ITER 556 NEW BEST:: SOT 130380 SOS 74078 HAS SOPS 74078 HAS SOUS 38748 HAS SOUPS 38748 WITH SCORE 38822.078
AT ITER 558 NEW BEST:: SOT 130334 SOS 74028 HAS SOPS 74028 HAS SOUS 38668 HAS SOUPS 38668 WITH SCORE 38742.028
AT ITER 561 NEW BEST:: SOT 130262 SOS 73983 HAS SOPS 73983 HAS SOUS 38494 HAS SOUPS 38494 WITH SCORE 38567.983
AT ITER 564 NEW BEST:: SOT 130203 SOS 73887 HAS SOPS 73887 HAS SOUS 38329 HAS SOUPS 38329 WITH SCORE 38402.887
AT ITER 576 NEW BEST:: SOT 130190 SOS 73909 HAS SOPS 73909 HAS SOUS 38268 HAS SOUPS 38268 WITH SCORE 38341.909
AT ITER 580 NEW BEST:: SOT 130179 SOS 73865 HAS SOPS 73865 HAS SOUS 38257 HAS SOUPS 38257 WITH SCORE 38330.865
AT ITER 581 NEW BEST:: SOT 130178 SOS 73864 HAS SOPS 73864 HAS SOUS 38255 HAS SOUPS 38255 WITH SCORE 38328.864
AT ITER 584 NEW BEST:: SOT 130178 SOS 73864 HAS SOPS 73864 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38304.864
AT ITER 590 NEW BEST:: SOT 130166 SOS 73692 HAS SOPS 73692 HAS SOUS 38200 HAS SOUPS 38200 WITH SCORE 38273.692
AT ITER 603 NEW BEST:: SOT 130285 SOS 73774 HAS SOPS 73774 HAS SOUS 38192 HAS SOUPS 38192 WITH SCORE 38265.774
AT ITER 608 NEW BEST:: SOT 129894 SOS 73353 HAS SOPS 73353 HAS SOUS 38044 HAS SOUPS 38044 WITH SCORE 38117.353
AT ITER 630 NEW BEST:: SOT 128057 SOS 71770 HAS SOPS 71770 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37901.77
AT ITER 633 NEW BEST:: SOT 128065 SOS 71778 HAS SOPS 71778 HAS SOUS 37762 HAS SOUPS 37762 WITH SCORE 37833.778
AT ITER 646 NEW BEST:: SOT 128059 SOS 71883 HAS SOPS 71883 HAS SOUS 37725 HAS SOUPS 37725 WITH SCORE 37796.883
AT ITER 647 NEW BEST:: SOT 128057 SOS 71879 HAS SOPS 71879 HAS SOUS 37719 HAS SOUPS 37719 WITH SCORE 37790.879
AT ITER 649 NEW BEST:: SOT 128053 SOS 71875 HAS SOPS 71875 HAS SOUS 37711 HAS SOUPS 37711 WITH SCORE 37782.875
AT ITER 651 NEW BEST:: SOT 127798 SOS 71624 HAS SOPS 71624 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37431.624
AT ITER 656 NEW BEST:: SOT 127706 SOS 71519 HAS SOPS 71519 HAS SOUS 37229 HAS SOUPS 37229 WITH SCORE 37300.519
AT ITER 668 NEW BEST:: SOT 127694 SOS 71458 HAS SOPS 71458 HAS SOUS 37217 HAS SOUPS 37217 WITH SCORE 37288.458
AT ITER 670 NEW BEST:: SOT 127658 SOS 71367 HAS SOPS 71367 HAS SOUS 37196 HAS SOUPS 37196 WITH SCORE 37267.367
AT ITER 674 NEW BEST:: SOT 127694 SOS 71403 HAS SOPS 71403 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37189.403
AT ITER 707 NEW BEST:: SOT 127652 SOS 71110 HAS SOPS 71110 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37158.11
AT ITER 710 NEW BEST:: SOT 127631 SOS 71089 HAS SOPS 71089 HAS SOUS 37045 HAS SOUPS 37045 WITH SCORE 37116.089
AT ITER 713 NEW BEST:: SOT 127485 SOS 70206 HAS SOPS 70206 HAS SOUS 36999 HAS SOUPS 36999 WITH SCORE 37069.206
AT ITER 715 NEW BEST:: SOT 127479 SOS 70200 HAS SOPS 70200 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36959.2
AT ITER 716 NEW BEST:: SOT 127435 SOS 70156 HAS SOPS 70156 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36939.156
AT ITER 724 NEW BEST:: SOT 127474 SOS 70384 HAS SOPS 70384 HAS SOUS 36814 HAS SOUPS 36814 WITH SCORE 36884.384
AT ITER 736 NEW BEST:: SOT 127287 SOS 70224 HAS SOPS 70224 HAS SOUS 36729 HAS SOUPS 36729 WITH SCORE 36799.224
AT ITER 744 NEW BEST:: SOT 127269 SOS 70204 HAS SOPS 70204 HAS SOUS 36134 HAS SOUPS 36134 WITH SCORE 36204.204
AT ITER 745 NEW BEST:: SOT 127292 SOS 70100 HAS SOPS 70100 HAS SOUS 36082 HAS SOUPS 36082 WITH SCORE 36152.1
AT ITER 746 NEW BEST:: SOT 127325 SOS 70519 HAS SOPS 70519 HAS SOUS 36044 HAS SOUPS 36044 WITH SCORE 36114.519
AT ITER 752 NEW BEST:: SOT 127315 SOS 70492 HAS SOPS 70492 HAS SOUS 36041 HAS SOUPS 36041 WITH SCORE 36111.492
AT ITER 759 NEW BEST:: SOT 127315 SOS 70399 HAS SOPS 70399 HAS SOUS 36025 HAS SOUPS 36025 WITH SCORE 36095.399
AT ITER 764 NEW BEST:: SOT 127309 SOS 70393 HAS SOPS 70393 HAS SOUS 36013 HAS SOUPS 36013 WITH SCORE 36083.393
AT ITER 766 NEW BEST:: SOT 127296 SOS 70234 HAS SOPS 70234 HAS SOUS 35932 HAS SOUPS 35932 WITH SCORE 36002.234
AT ITER 767 NEW BEST:: SOT 127274 SOS 70212 HAS SOPS 70212 HAS SOUS 35889 HAS SOUPS 35889 WITH SCORE 35959.212
AT ITER 769 NEW BEST:: SOT 127274 SOS 70157 HAS SOPS 70157 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35904.157
AT ITER 782 NEW BEST:: SOT 127274 SOS 70154 HAS SOPS 70154 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35904.154
AT ITER 792 NEW BEST:: SOT 127225 SOS 70105 HAS SOPS 70105 HAS SOUS 35785 HAS SOUPS 35785 WITH SCORE 35855.105
AT ITER 795 NEW BEST:: SOT 127222 SOS 70099 HAS SOPS 70099 HAS SOUS 35779 HAS SOUPS 35779 WITH SCORE 35849.099
AT ITER 802 NEW BEST:: SOT 127196 SOS 70071 HAS SOPS 70071 HAS SOUS 35737 HAS SOUPS 35737 WITH SCORE 35807.071
AT ITER 810 NEW BEST:: SOT 127169 SOS 70044 HAS SOPS 70044 HAS SOUS 35721 HAS SOUPS 35721 WITH SCORE 35791.044
AT ITER 813 NEW BEST:: SOT 127169 SOS 70044 HAS SOPS 70044 HAS SOUS 35712 HAS SOUPS 35712 WITH SCORE 35782.044
AT ITER 815 NEW BEST:: SOT 127215 SOS 70043 HAS SOPS 70043 HAS SOUS 35711 HAS SOUPS 35711 WITH SCORE 35781.043
AT ITER 818 NEW BEST:: SOT 127206 SOS 70085 HAS SOPS 70085 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35763.085
AT ITER 838 NEW BEST:: SOT 127206 SOS 70067 HAS SOPS 70067 HAS SOUS 35650 HAS SOUPS 35650 WITH SCORE 35720.067
AT ITER 843 NEW BEST:: SOT 127206 SOS 70055 HAS SOPS 70055 HAS SOUS 35650 HAS SOUPS 35650 WITH SCORE 35720.055
AT ITER 846 NEW BEST:: SOT 127301 SOS 70155 HAS SOPS 70155 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35458.155
AT ITER 852 NEW BEST:: SOT 127266 SOS 70111 HAS SOPS 70111 HAS SOUS 35309 HAS SOUPS 35309 WITH SCORE 35379.111
AT ITER 864 NEW BEST:: SOT 127287 SOS 70126 HAS SOPS 70126 HAS SOUS 35243 HAS SOUPS 35243 WITH SCORE 35313.126
AT ITER 868 NEW BEST:: SOT 127262 SOS 70076 HAS SOPS 70076 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35263.076
AT ITER 872 NEW BEST:: SOT 127234 SOS 70021 HAS SOPS 70021 HAS SOUS 35125 HAS SOUPS 35125 WITH SCORE 35195.021
AT ITER 891 NEW BEST:: SOT 127229 SOS 70026 HAS SOPS 70026 HAS SOUS 35120 HAS SOUPS 35120 WITH SCORE 35190.026
AT ITER 892 NEW BEST:: SOT 127206 SOS 70003 HAS SOPS 70003 HAS SOUS 35118 HAS SOUPS 35118 WITH SCORE 35188.003
AT ITER 893 NEW BEST:: SOT 127206 SOS 70003 HAS SOPS 70003 HAS SOUS 35115 HAS SOUPS 35115 WITH SCORE 35185.003
AT ITER 910 NEW BEST:: SOT 127320 SOS 70117 HAS SOPS 70117 HAS SOUS 35075 HAS SOUPS 35075 WITH SCORE 35145.117
AT ITER 911 NEW BEST:: SOT 127320 SOS 70102 HAS SOPS 70102 HAS SOUS 35075 HAS SOUPS 35075 WITH SCORE 35145.102
AT ITER 913 NEW BEST:: SOT 127316 SOS 70098 HAS SOPS 70098 HAS SOUS 35043 HAS SOUPS 35043 WITH SCORE 35113.098
AT ITER 914 NEW BEST:: SOT 127292 SOS 70050 HAS SOPS 70050 HAS SOUS 35031 HAS SOUPS 35031 WITH SCORE 35101.05
AT ITER 916 NEW BEST:: SOT 127226 SOS 69969 HAS SOPS 69969 HAS SOUS 34886 HAS SOUPS 34886 WITH SCORE 34955.969
AT ITER 920 NEW BEST:: SOT 127246 SOS 69996 HAS SOPS 69996 HAS SOUS 34881 HAS SOUPS 34881 WITH SCORE 34950.996
AT ITER 927 NEW BEST:: SOT 127310 SOS 70046 HAS SOPS 70046 HAS SOUS 34825 HAS SOUPS 34825 WITH SCORE 34895.046
AT ITER 946 NEW BEST:: SOT 127287 SOS 70001 HAS SOPS 70001 HAS SOUS 34779 HAS SOUPS 34779 WITH SCORE 34849.001
AT ITER 955 NEW BEST:: SOT 127289 SOS 70088 HAS SOPS 70088 HAS SOUS 34766 HAS SOUPS 34766 WITH SCORE 34836.088
AT ITER 961 NEW BEST:: SOT 127289 SOS 70088 HAS SOPS 70088 HAS SOUS 34765 HAS SOUPS 34765 WITH SCORE 34835.088
AT ITER 974 NEW BEST:: SOT 127180 SOS 69968 HAS SOPS 69968 HAS SOUS 34543 HAS SOUPS 34543 WITH SCORE 34612.968
AT ITER 975 NEW BEST:: SOT 127164 SOS 69944 HAS SOPS 69944 HAS SOUS 34519 HAS SOUPS 34519 WITH SCORE 34588.944
AT ITER 982 NEW BEST:: SOT 127151 SOS 69876 HAS SOPS 69876 HAS SOUS 34515 HAS SOUPS 34515 WITH SCORE 34584.876
AT ITER 1003 NEW BEST:: SOT 127162 SOS 69887 HAS SOPS 69887 HAS SOUS 34290 HAS SOUPS 34290 WITH SCORE 34359.887
AT ITER 1012 NEW BEST:: SOT 127222 SOS 70325 HAS SOPS 70325 HAS SOUS 34112 HAS SOUPS 34112 WITH SCORE 34182.325
AT ITER 1027 NEW BEST:: SOT 127180 SOS 69942 HAS SOPS 69942 HAS SOUS 34083 HAS SOUPS 34083 WITH SCORE 34152.942
AT ITER 1049 NEW BEST:: SOT 127112 SOS 71937 HAS SOPS 71937 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34086.937
AT ITER 1057 NEW BEST:: SOT 127148 SOS 71973 HAS SOPS 71973 HAS SOUS 33862 HAS SOUPS 33862 WITH SCORE 33933.973
AT ITER 1065 NEW BEST:: SOT 127048 SOS 71823 HAS SOPS 71823 HAS SOUS 33712 HAS SOUPS 33712 WITH SCORE 33783.823
AT ITER 1067 NEW BEST:: SOT 127005 SOS 71780 HAS SOPS 71780 HAS SOUS 33648 HAS SOUPS 33648 WITH SCORE 33719.78
AT ITER 1072 NEW BEST:: SOT 126975 SOS 71562 HAS SOPS 71562 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33706.562
AT ITER 1086 NEW BEST:: SOT 126990 SOS 72000 HAS SOPS 72000 HAS SOUS 33242 HAS SOUPS 33242 WITH SCORE 33314.0
AT ITER 1096 NEW BEST:: SOT 126943 SOS 71953 HAS SOPS 71953 HAS SOUS 33148 HAS SOUPS 33148 WITH SCORE 33219.953
AT ITER 1099 NEW BEST:: SOT 126847 SOS 71857 HAS SOPS 71857 HAS SOUS 33100 HAS SOUPS 33100 WITH SCORE 33171.857
AT ITER 1117 NEW BEST:: SOT 126826 SOS 71836 HAS SOPS 71836 HAS SOUS 33041 HAS SOUPS 33041 WITH SCORE 33112.836
AT ITER 1126 NEW BEST:: SOT 126791 SOS 71797 HAS SOPS 71797 HAS SOUS 32969 HAS SOUPS 32969 WITH SCORE 33040.797
AT ITER 1132 NEW BEST:: SOT 126736 SOS 71742 HAS SOPS 71742 HAS SOUS 32859 HAS SOUPS 32859 WITH SCORE 32930.742
AT ITER 1144 NEW BEST:: SOT 126711 SOS 71692 HAS SOPS 71692 HAS SOUS 32809 HAS SOUPS 32809 WITH SCORE 32880.692
AT ITER 1153 NEW BEST:: SOT 126711 SOS 71692 HAS SOPS 71692 HAS SOUS 32797 HAS SOUPS 32797 WITH SCORE 32868.692
AT ITER 1159 NEW BEST:: SOT 126716 SOS 71732 HAS SOPS 71732 HAS SOUS 32790 HAS SOUPS 32790 WITH SCORE 32861.732
AT ITER 1160 NEW BEST:: SOT 126635 SOS 71540 HAS SOPS 71540 HAS SOUS 32585 HAS SOUPS 32585 WITH SCORE 32656.54
AT ITER 1171 NEW BEST:: SOT 126583 SOS 71388 HAS SOPS 71388 HAS SOUS 32533 HAS SOUPS 32533 WITH SCORE 32604.388
AT ITER 1173 NEW BEST:: SOT 126583 SOS 71319 HAS SOPS 71319 HAS SOUS 32483 HAS SOUPS 32483 WITH SCORE 32554.319
AT ITER 1200 NEW BEST:: SOT 126571 SOS 71307 HAS SOPS 71307 HAS SOUS 32459 HAS SOUPS 32459 WITH SCORE 32530.307
AT ITER 1212 NEW BEST:: SOT 126515 SOS 71251 HAS SOPS 71251 HAS SOUS 32385 HAS SOUPS 32385 WITH SCORE 32456.251
AT ITER 1251 NEW BEST:: SOT 126633 SOS 71385 HAS SOPS 71385 HAS SOUS 32317 HAS SOUPS 32317 WITH SCORE 32388.385
AT ITER 1252 NEW BEST:: SOT 125699 SOS 70103 HAS SOPS 70103 HAS SOUS 31728 HAS SOUPS 31728 WITH SCORE 31798.103
AT ITER 1259 NEW BEST:: SOT 125699 SOS 70103 HAS SOPS 70103 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31794.103
AT ITER 1262 NEW BEST:: SOT 125740 SOS 70135 HAS SOPS 70135 HAS SOUS 31665 HAS SOUPS 31665 WITH SCORE 31735.135
AT ITER 1265 NEW BEST:: SOT 125729 SOS 70124 HAS SOPS 70124 HAS SOUS 31632 HAS SOUPS 31632 WITH SCORE 31702.124
AT ITER 1272 NEW BEST:: SOT 125699 SOS 69961 HAS SOPS 69961 HAS SOUS 31586 HAS SOUPS 31586 WITH SCORE 31655.961
AT ITER 1289 NEW BEST:: SOT 125714 SOS 70119 HAS SOPS 70119 HAS SOUS 31578 HAS SOUPS 31578 WITH SCORE 31648.119
AT ITER 1291 NEW BEST:: SOT 125714 SOS 70119 HAS SOPS 70119 HAS SOUS 31564 HAS SOUPS 31564 WITH SCORE 31634.119
AT ITER 1304 NEW BEST:: SOT 125709 SOS 70099 HAS SOPS 70099 HAS SOUS 31554 HAS SOUPS 31554 WITH SCORE 31624.099
AT ITER 1313 NEW BEST:: SOT 125712 SOS 69956 HAS SOPS 69956 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31615.956
AT ITER 1319 NEW BEST:: SOT 125712 SOS 69926 HAS SOPS 69926 HAS SOUS 31461 HAS SOUPS 31461 WITH SCORE 31530.926
AT ITER 1322 NEW BEST:: SOT 125671 SOS 69885 HAS SOPS 69885 HAS SOUS 31256 HAS SOUPS 31256 WITH SCORE 31325.885
AT ITER 1336 NEW BEST:: SOT 125651 SOS 69865 HAS SOPS 69865 HAS SOUS 31216 HAS SOUPS 31216 WITH SCORE 31285.865
AT ITER 1338 NEW BEST:: SOT 125649 SOS 69863 HAS SOPS 69863 HAS SOUS 31215 HAS SOUPS 31215 WITH SCORE 31284.863
AT ITER 1347 NEW BEST:: SOT 125631 SOS 69845 HAS SOPS 69845 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31242.845
AT ITER 1371 NEW BEST:: SOT 125636 SOS 69850 HAS SOPS 69850 HAS SOUS 31168 HAS SOUPS 31168 WITH SCORE 31237.85
AT ITER 1373 NEW BEST:: SOT 125636 SOS 69850 HAS SOPS 69850 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31233.85
AT ITER 1375 NEW BEST:: SOT 125636 SOS 69850 HAS SOPS 69850 HAS SOUS 31160 HAS SOUPS 31160 WITH SCORE 31229.85
AT ITER 1376 NEW BEST:: SOT 125667 SOS 69831 HAS SOPS 69831 HAS SOUS 31052 HAS SOUPS 31052 WITH SCORE 31121.831
AT ITER 1386 NEW BEST:: SOT 125535 SOS 69017 HAS SOPS 69017 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31038.017
AT ITER 1395 NEW BEST:: SOT 125480 SOS 68955 HAS SOPS 68955 HAS SOUS 30862 HAS SOUPS 30862 WITH SCORE 30930.955
AT ITER 1397 NEW BEST:: SOT 125433 SOS 68823 HAS SOPS 68823 HAS SOUS 30846 HAS SOUPS 30846 WITH SCORE 30914.823
AT ITER 1398 NEW BEST:: SOT 125361 SOS 68679 HAS SOPS 68679 HAS SOUS 30702 HAS SOUPS 30702 WITH SCORE 30770.679
AT ITER 1401 NEW BEST:: SOT 125447 SOS 68765 HAS SOPS 68765 HAS SOUS 30700 HAS SOUPS 30700 WITH SCORE 30768.765
AT ITER 1405 NEW BEST:: SOT 125447 SOS 68765 HAS SOPS 68765 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30760.765
AT ITER 1409 NEW BEST:: SOT 125455 SOS 68718 HAS SOPS 68718 HAS SOUS 30634 HAS SOUPS 30634 WITH SCORE 30702.718
AT ITER 1415 NEW BEST:: SOT 125455 SOS 68718 HAS SOPS 68718 HAS SOUS 30613 HAS SOUPS 30613 WITH SCORE 30681.718
AT ITER 1426 NEW BEST:: SOT 125421 SOS 68687 HAS SOPS 68687 HAS SOUS 30582 HAS SOUPS 30582 WITH SCORE 30650.687
AT ITER 1429 NEW BEST:: SOT 125362 SOS 68628 HAS SOPS 68628 HAS SOUS 30523 HAS SOUPS 30523 WITH SCORE 30591.628
AT ITER 1431 NEW BEST:: SOT 125094 SOS 69970 HAS SOPS 69970 HAS SOUS 30485 HAS SOUPS 30485 WITH SCORE 30554.97
AT ITER 1450 NEW BEST:: SOT 125076 SOS 69971 HAS SOPS 69971 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30498.971
AT ITER 1466 NEW BEST:: SOT 125078 SOS 69973 HAS SOPS 69973 HAS SOUS 30411 HAS SOUPS 30411 WITH SCORE 30480.973
AT ITER 1469 NEW BEST:: SOT 125078 SOS 69973 HAS SOPS 69973 HAS SOUS 30387 HAS SOUPS 30387 WITH SCORE 30456.973
AT ITER 1477 NEW BEST:: SOT 125034 SOS 70028 HAS SOPS 70028 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 30435.028
AT ITER 1481 NEW BEST:: SOT 125027 SOS 70021 HAS SOPS 70021 HAS SOUS 30340 HAS SOUPS 30340 WITH SCORE 30410.021
AT ITER 1482 NEW BEST:: SOT 125014 SOS 69968 HAS SOPS 69968 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30408.968
AT ITER 1487 NEW BEST:: SOT 125038 SOS 69992 HAS SOPS 69992 HAS SOUS 30303 HAS SOUPS 30303 WITH SCORE 30372.992
AT ITER 1494 NEW BEST:: SOT 125023 SOS 69977 HAS SOPS 69977 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 30360.977
AT ITER 1502 NEW BEST:: SOT 125074 SOS 69704 HAS SOPS 69704 HAS SOUS 30285 HAS SOUPS 30285 WITH SCORE 30354.704
AT ITER 1513 NEW BEST:: SOT 125086 SOS 69702 HAS SOPS 69702 HAS SOUS 30283 HAS SOUPS 30283 WITH SCORE 30352.702
AT ITER 1528 NEW BEST:: SOT 125075 SOS 69658 HAS SOPS 69658 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30330.658
AT ITER 1541 NEW BEST:: SOT 125058 SOS 69641 HAS SOPS 69641 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30313.641
AT ITER 1563 NEW BEST:: SOT 124967 SOS 68916 HAS SOPS 68916 HAS SOUS 30228 HAS SOUPS 30228 WITH SCORE 30296.916
AT ITER 1566 NEW BEST:: SOT 124959 SOS 68805 HAS SOPS 68805 HAS SOUS 30220 HAS SOUPS 30220 WITH SCORE 30288.805
AT ITER 1581 NEW BEST:: SOT 124933 SOS 68779 HAS SOPS 68779 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30230.779
AT ITER 1583 NEW BEST:: SOT 124930 SOS 68776 HAS SOPS 68776 HAS SOUS 30155 HAS SOUPS 30155 WITH SCORE 30223.776
AT ITER 1636 NEW BEST:: SOT 124889 SOS 68735 HAS SOPS 68735 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30141.735
AT ITER 1642 NEW BEST:: SOT 124889 SOS 68735 HAS SOPS 68735 HAS SOUS 30041 HAS SOUPS 30041 WITH SCORE 30109.735
AT ITER 1646 NEW BEST:: SOT 124837 SOS 68631 HAS SOPS 68631 HAS SOUS 29937 HAS SOUPS 29937 WITH SCORE 30005.631
AT ITER 1652 NEW BEST:: SOT 124837 SOS 68631 HAS SOPS 68631 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 30004.631
AT ITER 1667 NEW BEST:: SOT 124836 SOS 68630 HAS SOPS 68630 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 30002.63
AT ITER 1694 NEW BEST:: SOT 124778 SOS 68588 HAS SOPS 68588 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29806.588
AT ITER 1712 NEW BEST:: SOT 124778 SOS 68588 HAS SOPS 68588 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29799.588
AT ITER 1720 NEW BEST:: SOT 124753 SOS 68563 HAS SOPS 68563 HAS SOUS 29681 HAS SOUPS 29681 WITH SCORE 29749.563
AT ITER 1725 NEW BEST:: SOT 124781 SOS 68344 HAS SOPS 68344 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29719.344
AT ITER 1739 NEW BEST:: SOT 124753 SOS 68316 HAS SOPS 68316 HAS SOUS 29532 HAS SOUPS 29532 WITH SCORE 29600.316
AT ITER 1743 NEW BEST:: SOT 124704 SOS 67898 HAS SOPS 67898 HAS SOUS 29471 HAS SOUPS 29471 WITH SCORE 29538.898
AT ITER 1746 NEW BEST:: SOT 124643 SOS 67653 HAS SOPS 67653 HAS SOUS 29359 HAS SOUPS 29359 WITH SCORE 29426.653
AT ITER 1766 NEW BEST:: SOT 124635 SOS 67623 HAS SOPS 67623 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29358.623
AT ITER 1767 NEW BEST:: SOT 124615 SOS 67572 HAS SOPS 67572 HAS SOUS 29271 HAS SOUPS 29271 WITH SCORE 29338.572
AT ITER 1770 NEW BEST:: SOT 124127 SOS 71898 HAS SOPS 71898 HAS SOUS 29002 HAS SOUPS 29002 WITH SCORE 29073.898
AT ITER 1778 NEW BEST:: SOT 124037 SOS 71808 HAS SOPS 71808 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28873.808
AT ITER 1794 NEW BEST:: SOT 124032 SOS 71803 HAS SOPS 71803 HAS SOUS 28769 HAS SOUPS 28769 WITH SCORE 28840.803
AT ITER 1799 NEW BEST:: SOT 124021 SOS 71716 HAS SOPS 71716 HAS SOUS 28766 HAS SOUPS 28766 WITH SCORE 28837.716
AT ITER 1802 NEW BEST:: SOT 124046 SOS 71714 HAS SOPS 71714 HAS SOUS 28750 HAS SOUPS 28750 WITH SCORE 28821.714
AT ITER 1825 NEW BEST:: SOT 124046 SOS 71758 HAS SOPS 71758 HAS SOUS 28706 HAS SOUPS 28706 WITH SCORE 28777.758
AT ITER 1829 NEW BEST:: SOT 124046 SOS 71758 HAS SOPS 71758 HAS SOUS 28705 HAS SOUPS 28705 WITH SCORE 28776.758
AT ITER 1833 NEW BEST:: SOT 124038 SOS 71726 HAS SOPS 71726 HAS SOUS 28681 HAS SOUPS 28681 WITH SCORE 28752.726
AT ITER 1839 NEW BEST:: SOT 123944 SOS 71634 HAS SOPS 71634 HAS SOUS 28679 HAS SOUPS 28679 WITH SCORE 28750.634
AT ITER 1841 NEW BEST:: SOT 123940 SOS 71554 HAS SOPS 71554 HAS SOUS 28563 HAS SOUPS 28563 WITH SCORE 28634.554
AT ITER 1856 NEW BEST:: SOT 123873 SOS 71210 HAS SOPS 71210 HAS SOUS 28426 HAS SOUPS 28426 WITH SCORE 28497.21
AT ITER 1866 NEW BEST:: SOT 123867 SOS 71047 HAS SOPS 71047 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28467.047
AT ITER 1867 NEW BEST:: SOT 123865 SOS 71047 HAS SOPS 71047 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28463.047
AT ITER 1885 NEW BEST:: SOT 123849 SOS 71031 HAS SOPS 71031 HAS SOUS 28331 HAS SOUPS 28331 WITH SCORE 28402.031
AT ITER 1895 NEW BEST:: SOT 123841 SOS 71023 HAS SOPS 71023 HAS SOUS 28307 HAS SOUPS 28307 WITH SCORE 28378.023
AT ITER 1900 NEW BEST:: SOT 123836 SOS 71013 HAS SOPS 71013 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28368.013
AT ITER 1904 NEW BEST:: SOT 123836 SOS 71006 HAS SOPS 71006 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28368.006
AT ITER 1905 NEW BEST:: SOT 123829 SOS 70999 HAS SOPS 70999 HAS SOUS 28276 HAS SOUPS 28276 WITH SCORE 28346.999
AT ITER 1930 NEW BEST:: SOT 123748 SOS 70927 HAS SOPS 70927 HAS SOUS 28261 HAS SOUPS 28261 WITH SCORE 28331.927
AT ITER 1937 NEW BEST:: SOT 123777 SOS 70925 HAS SOPS 70925 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28329.925
AT ITER 1938 NEW BEST:: SOT 123675 SOS 70367 HAS SOPS 70367 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28213.367
AT ITER 1939 NEW BEST:: SOT 123626 SOS 69502 HAS SOPS 69502 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28116.502
AT ITER 1952 NEW BEST:: SOT 123626 SOS 69446 HAS SOPS 69446 HAS SOUS 27991 HAS SOUPS 27991 WITH SCORE 28060.446
AT ITER 1969 NEW BEST:: SOT 123567 SOS 69387 HAS SOPS 69387 HAS SOUS 27840 HAS SOUPS 27840 WITH SCORE 27909.387
AT ITER 1979 NEW BEST:: SOT 123580 SOS 69673 HAS SOPS 69673 HAS SOUS 27803 HAS SOUPS 27803 WITH SCORE 27872.673
AT ITER 1980 NEW BEST:: SOT 123530 SOS 69623 HAS SOPS 69623 HAS SOUS 27703 HAS SOUPS 27703 WITH SCORE 27772.623
AT ITER 1982 NEW BEST:: SOT 123509 SOS 69602 HAS SOPS 69602 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27730.602
AT ITER 1992 NEW BEST:: SOT 123509 SOS 69602 HAS SOPS 69602 HAS SOUS 27659 HAS SOUPS 27659 WITH SCORE 27728.602
AT ITER 2007 NEW BEST:: SOT 123501 SOS 69594 HAS SOPS 69594 HAS SOUS 27651 HAS SOUPS 27651 WITH SCORE 27720.594
AT ITER 2032 NEW BEST:: SOT 123439 SOS 69532 HAS SOPS 69532 HAS SOUS 27589 HAS SOUPS 27589 WITH SCORE 27658.532
AT ITER 2038 NEW BEST:: SOT 123431 SOS 69524 HAS SOPS 69524 HAS SOUS 27573 HAS SOUPS 27573 WITH SCORE 27642.524
AT ITER 2041 NEW BEST:: SOT 123428 SOS 69507 HAS SOPS 69507 HAS SOUS 27549 HAS SOUPS 27549 WITH SCORE 27618.507
AT ITER 2051 NEW BEST:: SOT 123405 SOS 69585 HAS SOPS 69585 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27560.585
AT ITER 2056 NEW BEST:: SOT 123325 SOS 69447 HAS SOPS 69447 HAS SOUS 27481 HAS SOUPS 27481 WITH SCORE 27550.447
AT ITER 2058 NEW BEST:: SOT 123323 SOS 69445 HAS SOPS 69445 HAS SOUS 27471 HAS SOUPS 27471 WITH SCORE 27540.445
AT ITER 2090 NEW BEST:: SOT 123345 SOS 69467 HAS SOPS 69467 HAS SOUS 27365 HAS SOUPS 27365 WITH SCORE 27434.467
AT ITER 2091 NEW BEST:: SOT 123339 SOS 69461 HAS SOPS 69461 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27430.461
AT ITER 2093 NEW BEST:: SOT 123306 SOS 69365 HAS SOPS 69365 HAS SOUS 27268 HAS SOUPS 27268 WITH SCORE 27337.365
AT ITER 2105 NEW BEST:: SOT 123302 SOS 69365 HAS SOPS 69365 HAS SOUS 27264 HAS SOUPS 27264 WITH SCORE 27333.365
AT ITER 2111 NEW BEST:: SOT 123302 SOS 69323 HAS SOPS 69323 HAS SOUS 27206 HAS SOUPS 27206 WITH SCORE 27275.323
AT ITER 2137 NEW BEST:: SOT 123289 SOS 69321 HAS SOPS 69321 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27163.321
AT ITER 2139 NEW BEST:: SOT 123313 SOS 69327 HAS SOPS 69327 HAS SOUS 27070 HAS SOUPS 27070 WITH SCORE 27139.327
AT ITER 2145 NEW BEST:: SOT 123251 SOS 69249 HAS SOPS 69249 HAS SOUS 26992 HAS SOUPS 26992 WITH SCORE 27061.249
AT ITER 2150 NEW BEST:: SOT 123249 SOS 69247 HAS SOPS 69247 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27060.247
AT ITER 2154 NEW BEST:: SOT 123219 SOS 69217 HAS SOPS 69217 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27046.217
AT ITER 2168 NEW BEST:: SOT 123205 SOS 69267 HAS SOPS 69267 HAS SOUS 26949 HAS SOUPS 26949 WITH SCORE 27018.267
AT ITER 2172 NEW BEST:: SOT 123170 SOS 69249 HAS SOPS 69249 HAS SOUS 26879 HAS SOUPS 26879 WITH SCORE 26948.249
AT ITER 2186 NEW BEST:: SOT 123165 SOS 68780 HAS SOPS 68780 HAS SOUS 26790 HAS SOUPS 26790 WITH SCORE 26858.78
AT ITER 2191 NEW BEST:: SOT 123143 SOS 68758 HAS SOPS 68758 HAS SOUS 26779 HAS SOUPS 26779 WITH SCORE 26847.758
AT ITER 2194 NEW BEST:: SOT 123102 SOS 69009 HAS SOPS 69009 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26753.009
AT ITER 2236 NEW BEST:: SOT 123098 SOS 69005 HAS SOPS 69005 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26753.005
AT ITER 2251 NEW BEST:: SOT 123094 SOS 68993 HAS SOPS 68993 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26744.993
AT ITER 2263 NEW BEST:: SOT 123085 SOS 68984 HAS SOPS 68984 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26744.984
AT ITER 2264 NEW BEST:: SOT 123144 SOS 69015 HAS SOPS 69015 HAS SOUS 26662 HAS SOUPS 26662 WITH SCORE 26731.015
AT ITER 2276 NEW BEST:: SOT 123144 SOS 69015 HAS SOPS 69015 HAS SOUS 26656 HAS SOUPS 26656 WITH SCORE 26725.015
AT ITER 2307 NEW BEST:: SOT 123130 SOS 68944 HAS SOPS 68944 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26637.944
AT ITER 2321 NEW BEST:: SOT 123083 SOS 68756 HAS SOPS 68756 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26637.756
AT ITER 2330 NEW BEST:: SOT 123050 SOS 68745 HAS SOPS 68745 HAS SOUS 26493 HAS SOUPS 26493 WITH SCORE 26561.745
AT ITER 2350 NEW BEST:: SOT 123029 SOS 68724 HAS SOPS 68724 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26506.724
AT ITER 2375 NEW BEST:: SOT 123022 SOS 68717 HAS SOPS 68717 HAS SOUS 26435 HAS SOUPS 26435 WITH SCORE 26503.717
AT ITER 2392 NEW BEST:: SOT 122938 SOS 68633 HAS SOPS 68633 HAS SOUS 26351 HAS SOUPS 26351 WITH SCORE 26419.633
AT ITER 2397 NEW BEST:: SOT 122936 SOS 68621 HAS SOPS 68621 HAS SOUS 26347 HAS SOUPS 26347 WITH SCORE 26415.621
AT ITER 2411 NEW BEST:: SOT 122816 SOS 68341 HAS SOPS 68341 HAS SOUS 26267 HAS SOUPS 26267 WITH SCORE 26335.341
AT ITER 2416 NEW BEST:: SOT 122778 SOS 68162 HAS SOPS 68162 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26294.162
AT ITER 2472 NEW BEST:: SOT 122770 SOS 68154 HAS SOPS 68154 HAS SOUS 26213 HAS SOUPS 26213 WITH SCORE 26281.154
AT ITER 2483 NEW BEST:: SOT 122659 SOS 67256 HAS SOPS 67256 HAS SOUS 26119 HAS SOUPS 26119 WITH SCORE 26186.256
AT ITER 2513 NEW BEST:: SOT 122640 SOS 67237 HAS SOPS 67237 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26148.237
AT ITER 2518 NEW BEST:: SOT 122639 SOS 67235 HAS SOPS 67235 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26146.235
AT ITER 2529 NEW BEST:: SOT 122610 SOS 67177 HAS SOPS 67177 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26117.177
AT ITER 2530 NEW BEST:: SOT 122621 SOS 67181 HAS SOPS 67181 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26116.181
AT ITER 2538 NEW BEST:: SOT 122635 SOS 67195 HAS SOPS 67195 HAS SOUS 26030 HAS SOUPS 26030 WITH SCORE 26097.195
AT ITER 2544 NEW BEST:: SOT 122531 SOS 66935 HAS SOPS 66935 HAS SOUS 26011 HAS SOUPS 26011 WITH SCORE 26077.935
AT ITER 2546 NEW BEST:: SOT 122494 SOS 66898 HAS SOPS 66898 HAS SOUS 25976 HAS SOUPS 25976 WITH SCORE 26042.898
AT ITER 2559 NEW BEST:: SOT 122479 SOS 66883 HAS SOPS 66883 HAS SOUS 25913 HAS SOUPS 25913 WITH SCORE 25979.883
AT ITER 2562 NEW BEST:: SOT 122479 SOS 66879 HAS SOPS 66879 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25977.879
AT ITER 2566 NEW BEST:: SOT 122479 SOS 66879 HAS SOPS 66879 HAS SOUS 25910 HAS SOUPS 25910 WITH SCORE 25976.879
AT ITER 2597 NEW BEST:: SOT 122473 SOS 66871 HAS SOPS 66871 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25968.871
AT ITER 2608 NEW BEST:: SOT 122380 SOS 67798 HAS SOPS 67798 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25919.798
AT ITER 2609 NEW BEST:: SOT 122380 SOS 67794 HAS SOPS 67794 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25918.794
AT ITER 2617 NEW BEST:: SOT 122384 SOS 67798 HAS SOPS 67798 HAS SOUS 25847 HAS SOUPS 25847 WITH SCORE 25914.798
AT ITER 2623 NEW BEST:: SOT 122388 SOS 67798 HAS SOPS 67798 HAS SOUS 25835 HAS SOUPS 25835 WITH SCORE 25902.798
AT ITER 2630 NEW BEST:: SOT 122397 SOS 67807 HAS SOPS 67807 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25901.807
AT ITER 2638 NEW BEST:: SOT 122384 SOS 67828 HAS SOPS 67828 HAS SOUS 25816 HAS SOUPS 25816 WITH SCORE 25883.828
AT ITER 2666 NEW BEST:: SOT 122361 SOS 67775 HAS SOPS 67775 HAS SOUS 25800 HAS SOUPS 25800 WITH SCORE 25867.775
AT ITER 2672 NEW BEST:: SOT 122342 SOS 67756 HAS SOPS 67756 HAS SOUS 25792 HAS SOUPS 25792 WITH SCORE 25859.756
AT ITER 2707 NEW BEST:: SOT 122256 SOS 67683 HAS SOPS 67683 HAS SOUS 25772 HAS SOUPS 25772 WITH SCORE 25839.683
AT ITER 2715 NEW BEST:: SOT 122236 SOS 67640 HAS SOPS 67640 HAS SOUS 25749 HAS SOUPS 25749 WITH SCORE 25816.64
AT ITER 2740 NEW BEST:: SOT 122231 SOS 67635 HAS SOPS 67635 HAS SOUS 25739 HAS SOUPS 25739 WITH SCORE 25806.635
AT ITER 2744 NEW BEST:: SOT 122233 SOS 67623 HAS SOPS 67623 HAS SOUS 25716 HAS SOUPS 25716 WITH SCORE 25783.623
AT ITER 2770 NEW BEST:: SOT 122257 SOS 67647 HAS SOPS 67647 HAS SOUS 25704 HAS SOUPS 25704 WITH SCORE 25771.647
AT ITER 2775 NEW BEST:: SOT 122237 SOS 67506 HAS SOPS 67506 HAS SOUS 25671 HAS SOUPS 25671 WITH SCORE 25738.506
AT ITER 2791 NEW BEST:: SOT 122237 SOS 67529 HAS SOPS 67529 HAS SOUS 25658 HAS SOUPS 25658 WITH SCORE 25725.529
AT ITER 2800 NEW BEST:: SOT 122225 SOS 67517 HAS SOPS 67517 HAS SOUS 25634 HAS SOUPS 25634 WITH SCORE 25701.517
AT ITER 2802 NEW BEST:: SOT 122223 SOS 67515 HAS SOPS 67515 HAS SOUS 25630 HAS SOUPS 25630 WITH SCORE 25697.515
AT ITER 2804 NEW BEST:: SOT 122219 SOS 67511 HAS SOPS 67511 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25689.511
AT ITER 2805 NEW BEST:: SOT 122206 SOS 67503 HAS SOPS 67503 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25681.503
AT ITER 2827 NEW BEST:: SOT 122213 SOS 67734 HAS SOPS 67734 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25639.734
AT ITER 2829 NEW BEST:: SOT 122238 SOS 68817 HAS SOPS 68817 HAS SOUS 25568 HAS SOUPS 25568 WITH SCORE 25636.817
AT ITER 2839 NEW BEST:: SOT 122236 SOS 68815 HAS SOPS 68815 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25625.815
AT ITER 2840 NEW BEST:: SOT 122236 SOS 68815 HAS SOPS 68815 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25622.815
AT ITER 2850 NEW BEST:: SOT 122236 SOS 68815 HAS SOPS 68815 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25621.815
AT ITER 2869 NEW BEST:: SOT 122197 SOS 68481 HAS SOPS 68481 HAS SOUS 25521 HAS SOUPS 25521 WITH SCORE 25589.481
AT ITER 2878 NEW BEST:: SOT 122192 SOS 68476 HAS SOPS 68476 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25580.476
AT ITER 2889 NEW BEST:: SOT 122190 SOS 68474 HAS SOPS 68474 HAS SOUS 25504 HAS SOUPS 25504 WITH SCORE 25572.474
AT ITER 2893 NEW BEST:: SOT 122190 SOS 68543 HAS SOPS 68543 HAS SOUS 25474 HAS SOUPS 25474 WITH SCORE 25542.543
AT ITER 2896 NEW BEST:: SOT 122188 SOS 68541 HAS SOPS 68541 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25532.541
AT ITER 2919 NEW BEST:: SOT 122177 SOS 68530 HAS SOPS 68530 HAS SOUS 25442 HAS SOUPS 25442 WITH SCORE 25510.53
AT ITER 2927 NEW BEST:: SOT 122239 SOS 68455 HAS SOPS 68455 HAS SOUS 25398 HAS SOUPS 25398 WITH SCORE 25466.455
AT ITER 2938 NEW BEST:: SOT 122253 SOS 68312 HAS SOPS 68312 HAS SOUS 25387 HAS SOUPS 25387 WITH SCORE 25455.312
AT ITER 2946 NEW BEST:: SOT 122239 SOS 68298 HAS SOPS 68298 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25426.298
AT ITER 2949 NEW BEST:: SOT 122144 SOS 69968 HAS SOPS 69968 HAS SOUS 25335 HAS SOUPS 25335 WITH SCORE 25404.968
AT ITER 3007 NEW BEST:: SOT 122134 SOS 69988 HAS SOPS 69988 HAS SOUS 25315 HAS SOUPS 25315 WITH SCORE 25384.988
AT ITER 3015 NEW BEST:: SOT 122146 SOS 69983 HAS SOPS 69983 HAS SOUS 25310 HAS SOUPS 25310 WITH SCORE 25379.983
AT ITER 3018 NEW BEST:: SOT 122111 SOS 69914 HAS SOPS 69914 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25344.914
AT ITER 3043 NEW BEST:: SOT 122111 SOS 69914 HAS SOPS 69914 HAS SOUS 25254 HAS SOUPS 25254 WITH SCORE 25323.914
AT ITER 3060 NEW BEST:: SOT 122107 SOS 69894 HAS SOPS 69894 HAS SOUS 25246 HAS SOUPS 25246 WITH SCORE 25315.894
AT ITER 3075 NEW BEST:: SOT 122051 SOS 69502 HAS SOPS 69502 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25287.502
AT ITER 3083 NEW BEST:: SOT 121942 SOS 69639 HAS SOPS 69639 HAS SOUS 25167 HAS SOUPS 25167 WITH SCORE 25236.639
AT ITER 3091 NEW BEST:: SOT 121915 SOS 69680 HAS SOPS 69680 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25217.68
AT ITER 3102 NEW BEST:: SOT 121890 SOS 69635 HAS SOPS 69635 HAS SOUS 25110 HAS SOUPS 25110 WITH SCORE 25179.635
AT ITER 3110 NEW BEST:: SOT 121883 SOS 69628 HAS SOPS 69628 HAS SOUS 25097 HAS SOUPS 25097 WITH SCORE 25166.628
AT ITER 3118 NEW BEST:: SOT 121867 SOS 69612 HAS SOPS 69612 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25117.612
AT ITER 3124 NEW BEST:: SOT 121828 SOS 69544 HAS SOPS 69544 HAS SOUS 25009 HAS SOUPS 25009 WITH SCORE 25078.544
AT ITER 3128 NEW BEST:: SOT 121807 SOS 69496 HAS SOPS 69496 HAS SOUS 24994 HAS SOUPS 24994 WITH SCORE 25063.496
AT ITER 3135 NEW BEST:: SOT 121811 SOS 69500 HAS SOPS 69500 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25050.5
AT ITER 3159 NEW BEST:: SOT 121784 SOS 69473 HAS SOPS 69473 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25050.473
AT ITER 3174 NEW BEST:: SOT 121793 SOS 69511 HAS SOPS 69511 HAS SOUS 24973 HAS SOUPS 24973 WITH SCORE 25042.511
AT ITER 3180 NEW BEST:: SOT 121796 SOS 69484 HAS SOPS 69484 HAS SOUS 24966 HAS SOUPS 24966 WITH SCORE 25035.484
AT ITER 3189 NEW BEST:: SOT 121515 SOS 71998 HAS SOPS 71998 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24864.998
AT ITER 3206 NEW BEST:: SOT 121524 SOS 72007 HAS SOPS 72007 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24857.007
AT ITER 3221 NEW BEST:: SOT 121505 SOS 71988 HAS SOPS 71988 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24825.988
AT ITER 3271 NEW BEST:: SOT 121510 SOS 71993 HAS SOPS 71993 HAS SOUS 24713 HAS SOUPS 24713 WITH SCORE 24784.993
AT ITER 3282 NEW BEST:: SOT 121479 SOS 71962 HAS SOPS 71962 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24737.962
AT ITER 3299 NEW BEST:: SOT 121487 SOS 71968 HAS SOPS 71968 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24733.968
AT ITER 3303 NEW BEST:: SOT 121489 SOS 71970 HAS SOPS 71970 HAS SOUS 24658 HAS SOUPS 24658 WITH SCORE 24729.97
AT ITER 3309 NEW BEST:: SOT 121560 SOS 72041 HAS SOPS 72041 HAS SOUS 24656 HAS SOUPS 24656 WITH SCORE 24728.041
AT ITER 3310 NEW BEST:: SOT 121548 SOS 72029 HAS SOPS 72029 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24704.029
AT ITER 3316 NEW BEST:: SOT 121520 SOS 72001 HAS SOPS 72001 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24648.001
AT ITER 3318 NEW BEST:: SOT 121520 SOS 71937 HAS SOPS 71937 HAS SOUS 24566 HAS SOUPS 24566 WITH SCORE 24637.937
AT ITER 3323 NEW BEST:: SOT 121511 SOS 71928 HAS SOPS 71928 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24514.928
AT ITER 3332 NEW BEST:: SOT 121421 SOS 71838 HAS SOPS 71838 HAS SOUS 24361 HAS SOUPS 24361 WITH SCORE 24432.838
AT ITER 3336 NEW BEST:: SOT 121379 SOS 71796 HAS SOPS 71796 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24417.796
AT ITER 3346 NEW BEST:: SOT 121343 SOS 71760 HAS SOPS 71760 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24399.76
AT ITER 3357 NEW BEST:: SOT 121357 SOS 71784 HAS SOPS 71784 HAS SOUS 24326 HAS SOUPS 24326 WITH SCORE 24397.784
AT ITER 3363 NEW BEST:: SOT 121349 SOS 71760 HAS SOPS 71760 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24385.76
AT ITER 3378 NEW BEST:: SOT 121345 SOS 71772 HAS SOPS 71772 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24381.772
AT ITER 3380 NEW BEST:: SOT 121315 SOS 71742 HAS SOPS 71742 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24302.742
AT ITER 3381 NEW BEST:: SOT 121302 SOS 71729 HAS SOPS 71729 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24281.729
AT ITER 3383 NEW BEST:: SOT 121299 SOS 71726 HAS SOPS 71726 HAS SOUS 24207 HAS SOUPS 24207 WITH SCORE 24278.726
AT ITER 3388 NEW BEST:: SOT 121246 SOS 71322 HAS SOPS 71322 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24225.322
AT ITER 3391 NEW BEST:: SOT 121245 SOS 71318 HAS SOPS 71318 HAS SOUS 24152 HAS SOUPS 24152 WITH SCORE 24223.318
AT ITER 3398 NEW BEST:: SOT 121232 SOS 71306 HAS SOPS 71306 HAS SOUS 24141 HAS SOUPS 24141 WITH SCORE 24212.306
AT ITER 3417 NEW BEST:: SOT 121232 SOS 71224 HAS SOPS 71224 HAS SOUS 24141 HAS SOUPS 24141 WITH SCORE 24212.224
AT ITER 3436 NEW BEST:: SOT 121125 SOS 71066 HAS SOPS 71066 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23963.066
AT ITER 3447 NEW BEST:: SOT 121122 SOS 71060 HAS SOPS 71060 HAS SOUS 23883 HAS SOUPS 23883 WITH SCORE 23954.06
AT ITER 3454 NEW BEST:: SOT 121097 SOS 71032 HAS SOPS 71032 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23939.032
AT ITER 3458 NEW BEST:: SOT 121069 SOS 71004 HAS SOPS 71004 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23883.004
AT ITER 3495 NEW BEST:: SOT 121069 SOS 70964 HAS SOPS 70964 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 23872.964
AT ITER 3503 NEW BEST:: SOT 121069 SOS 69653 HAS SOPS 69653 HAS SOUS 23787 HAS SOUPS 23787 WITH SCORE 23856.653
AT ITER 3550 NEW BEST:: SOT 121043 SOS 69639 HAS SOPS 69639 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23851.639
AT ITER 3555 NEW BEST:: SOT 121041 SOS 69637 HAS SOPS 69637 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23847.637
AT ITER 3618 NEW BEST:: SOT 121021 SOS 69506 HAS SOPS 69506 HAS SOUS 23724 HAS SOUPS 23724 WITH SCORE 23793.506
AT ITER 3666 NEW BEST:: SOT 120919 SOS 69404 HAS SOPS 69404 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23657.404
AT ITER 3668 NEW BEST:: SOT 120912 SOS 69348 HAS SOPS 69348 HAS SOUS 23573 HAS SOUPS 23573 WITH SCORE 23642.348
AT ITER 3709 NEW BEST:: SOT 120887 SOS 69223 HAS SOPS 69223 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23617.223
AT ITER 3742 NEW BEST:: SOT 120885 SOS 69221 HAS SOPS 69221 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23609.221
AT ITER 3743 NEW BEST:: SOT 120877 SOS 69213 HAS SOPS 69213 HAS SOUS 23504 HAS SOUPS 23504 WITH SCORE 23573.213
AT ITER 3746 NEW BEST:: SOT 120876 SOS 69212 HAS SOPS 69212 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23571.212
AT ITER 3754 NEW BEST:: SOT 120876 SOS 69212 HAS SOPS 69212 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23570.212
AT ITER 3758 NEW BEST:: SOT 120874 SOS 69212 HAS SOPS 69212 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23566.212
AT ITER 3766 NEW BEST:: SOT 120865 SOS 69155 HAS SOPS 69155 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23560.155
AT ITER 3767 NEW BEST:: SOT 120924 SOS 66361 HAS SOPS 66361 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23540.361
AT ITER 3781 NEW BEST:: SOT 120922 SOS 66297 HAS SOPS 66297 HAS SOUS 23410 HAS SOUPS 23410 WITH SCORE 23476.297
AT ITER 3806 NEW BEST:: SOT 120906 SOS 66364 HAS SOPS 66364 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23436.364
AT ITER 3807 NEW BEST:: SOT 120891 SOS 66329 HAS SOPS 66329 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23421.329
AT ITER 3872 NEW BEST:: SOT 120858 SOS 66042 HAS SOPS 66042 HAS SOUS 23324 HAS SOUPS 23324 WITH SCORE 23390.042
AT ITER 3874 NEW BEST:: SOT 120858 SOS 65994 HAS SOPS 65994 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23373.994
AT ITER 3878 NEW BEST:: SOT 120858 SOS 65994 HAS SOPS 65994 HAS SOUS 23304 HAS SOUPS 23304 WITH SCORE 23369.994
AT ITER 3879 NEW BEST:: SOT 120858 SOS 65994 HAS SOPS 65994 HAS SOUS 23303 HAS SOUPS 23303 WITH SCORE 23368.994
AT ITER 3885 NEW BEST:: SOT 120847 SOS 65950 HAS SOPS 65950 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23357.95
AT ITER 3896 NEW BEST:: SOT 120830 SOS 65922 HAS SOPS 65922 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23329.922
AT ITER 3919 NEW BEST:: SOT 120830 SOS 65922 HAS SOPS 65922 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23297.922
AT ITER 3926 NEW BEST:: SOT 120829 SOS 65921 HAS SOPS 65921 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23294.921
AT ITER 3933 NEW BEST:: SOT 120819 SOS 65911 HAS SOPS 65911 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23268.911
AT ITER 3943 NEW BEST:: SOT 120814 SOS 65906 HAS SOPS 65906 HAS SOUS 23180 HAS SOUPS 23180 WITH SCORE 23245.906
AT ITER 3944 NEW BEST:: SOT 120814 SOS 65906 HAS SOPS 65906 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23241.906
AT ITER 3992 NEW BEST:: SOT 120814 SOS 65904 HAS SOPS 65904 HAS SOUS 23175 HAS SOUPS 23175 WITH SCORE 23240.904
AT ITER 4019 NEW BEST:: SOT 120768 SOS 65646 HAS SOPS 65646 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23187.646
AT ITER 4028 NEW BEST:: SOT 120780 SOS 65651 HAS SOPS 65651 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23180.651
AT ITER 4035 NEW BEST:: SOT 120779 SOS 65624 HAS SOPS 65624 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23179.624
AT ITER 4040 NEW BEST:: SOT 120794 SOS 65649 HAS SOPS 65649 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23165.649
AT ITER 4058 NEW BEST:: SOT 120792 SOS 65646 HAS SOPS 65646 HAS SOUS 23096 HAS SOUPS 23096 WITH SCORE 23161.646
AT ITER 4068 NEW BEST:: SOT 120812 SOS 65666 HAS SOPS 65666 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23151.666
AT ITER 4080 NEW BEST:: SOT 120801 SOS 65655 HAS SOPS 65655 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23150.655
AT ITER 4084 NEW BEST:: SOT 120799 SOS 65651 HAS SOPS 65651 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23146.651
AT ITER 4093 NEW BEST:: SOT 120784 SOS 65636 HAS SOPS 65636 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23102.636
AT ITER 4122 NEW BEST:: SOT 120766 SOS 65618 HAS SOPS 65618 HAS SOUS 22988 HAS SOUPS 22988 WITH SCORE 23053.618
AT ITER 4161 NEW BEST:: SOT 120776 SOS 65627 HAS SOPS 65627 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23051.627
AT ITER 4181 NEW BEST:: SOT 120773 SOS 65729 HAS SOPS 65729 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23037.729
AT ITER 4206 NEW BEST:: SOT 120772 SOS 65728 HAS SOPS 65728 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23037.728
AT ITER 4209 NEW BEST:: SOT 120763 SOS 65719 HAS SOPS 65719 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 23028.719
AT ITER 4223 NEW BEST:: SOT 120763 SOS 65683 HAS SOPS 65683 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 23028.683
AT ITER 4231 NEW BEST:: SOT 120746 SOS 65785 HAS SOPS 65785 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22977.785
AT ITER 4242 NEW BEST:: SOT 120759 SOS 65918 HAS SOPS 65918 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22960.918
AT ITER 4247 NEW BEST:: SOT 120757 SOS 65920 HAS SOPS 65920 HAS SOUS 22894 HAS SOUPS 22894 WITH SCORE 22959.92
AT ITER 4249 NEW BEST:: SOT 120794 SOS 66612 HAS SOPS 66612 HAS SOUS 22854 HAS SOUPS 22854 WITH SCORE 22920.612
AT ITER 4251 NEW BEST:: SOT 120795 SOS 66613 HAS SOPS 66613 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22901.613
AT ITER 4287 NEW BEST:: SOT 120795 SOS 66613 HAS SOPS 66613 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22895.613
AT ITER 4311 NEW BEST:: SOT 120795 SOS 66613 HAS SOPS 66613 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22893.613
AT ITER 4326 NEW BEST:: SOT 120795 SOS 66609 HAS SOPS 66609 HAS SOUS 22826 HAS SOUPS 22826 WITH SCORE 22892.609
AT ITER 4366 NEW BEST:: SOT 120778 SOS 66518 HAS SOPS 66518 HAS SOUS 22790 HAS SOUPS 22790 WITH SCORE 22856.518
AT ITER 4376 NEW BEST:: SOT 120763 SOS 66503 HAS SOPS 66503 HAS SOUS 22753 HAS SOUPS 22753 WITH SCORE 22819.503
AT ITER 4381 NEW BEST:: SOT 120763 SOS 66623 HAS SOPS 66623 HAS SOUS 22723 HAS SOUPS 22723 WITH SCORE 22789.623
AT ITER 4398 NEW BEST:: SOT 120761 SOS 66619 HAS SOPS 66619 HAS SOUS 22721 HAS SOUPS 22721 WITH SCORE 22787.619
AT ITER 4409 NEW BEST:: SOT 120750 SOS 66606 HAS SOPS 66606 HAS SOUS 22701 HAS SOUPS 22701 WITH SCORE 22767.606
AT ITER 4425 NEW BEST:: SOT 120740 SOS 66642 HAS SOPS 66642 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22760.642
AT ITER 4462 NEW BEST:: SOT 120736 SOS 66626 HAS SOPS 66626 HAS SOUS 22686 HAS SOUPS 22686 WITH SCORE 22752.626
AT ITER 4491 NEW BEST:: SOT 120729 SOS 66612 HAS SOPS 66612 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22745.612
AT ITER 4494 NEW BEST:: SOT 120719 SOS 66285 HAS SOPS 66285 HAS SOUS 22627 HAS SOUPS 22627 WITH SCORE 22693.285
AT ITER 4529 NEW BEST:: SOT 120642 SOS 66256 HAS SOPS 66256 HAS SOUS 22580 HAS SOUPS 22580 WITH SCORE 22646.256
AT ITER 4541 NEW BEST:: SOT 120606 SOS 66025 HAS SOPS 66025 HAS SOUS 22558 HAS SOUPS 22558 WITH SCORE 22624.025
AT ITER 4606 NEW BEST:: SOT 120608 SOS 66027 HAS SOPS 66027 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22622.027
AT ITER 4640 NEW BEST:: SOT 120603 SOS 66017 HAS SOPS 66017 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22612.017
AT ITER 4671 NEW BEST:: SOT 120580 SOS 66033 HAS SOPS 66033 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22603.033
AT ITER 4676 NEW BEST:: SOT 120576 SOS 66021 HAS SOPS 66021 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22601.021
AT ITER 4677 NEW BEST:: SOT 120568 SOS 66013 HAS SOPS 66013 HAS SOUS 22525 HAS SOUPS 22525 WITH SCORE 22591.013
AT ITER 4690 NEW BEST:: SOT 120500 SOS 65940 HAS SOPS 65940 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22509.94
AT ITER 4695 NEW BEST:: SOT 120531 SOS 65971 HAS SOPS 65971 HAS SOUS 22422 HAS SOUPS 22422 WITH SCORE 22487.971
AT ITER 4761 NEW BEST:: SOT 120525 SOS 65965 HAS SOPS 65965 HAS SOUS 22416 HAS SOUPS 22416 WITH SCORE 22481.965
AT ITER 4769 NEW BEST:: SOT 120501 SOS 65941 HAS SOPS 65941 HAS SOUS 22404 HAS SOUPS 22404 WITH SCORE 22469.941
AT ITER 4785 NEW BEST:: SOT 120497 SOS 65937 HAS SOPS 65937 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22461.937
AT ITER 4801 NEW BEST:: SOT 120498 SOS 65986 HAS SOPS 65986 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22451.986
AT ITER 4809 NEW BEST:: SOT 120484 SOS 65928 HAS SOPS 65928 HAS SOUS 22374 HAS SOUPS 22374 WITH SCORE 22439.928
AT ITER 4811 NEW BEST:: SOT 120481 SOS 65925 HAS SOPS 65925 HAS SOUS 22341 HAS SOUPS 22341 WITH SCORE 22406.925
AT ITER 4819 NEW BEST:: SOT 120455 SOS 65899 HAS SOPS 65899 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22368.899
AT ITER 4859 NEW BEST:: SOT 120383 SOS 66279 HAS SOPS 66279 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22341.279
AT ITER 4901 NEW BEST:: SOT 120381 SOS 66277 HAS SOPS 66277 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22337.277
AT ITER 4963 NEW BEST:: SOT 120381 SOS 66277 HAS SOPS 66277 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22310.277
AT ITER 4975 NEW BEST:: SOT 120381 SOS 66277 HAS SOPS 66277 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22305.277
AT ITER 4976 NEW BEST:: SOT 120328 SOS 66224 HAS SOPS 66224 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22252.224
AT ITER 4990 NEW BEST:: SOT 120328 SOS 66252 HAS SOPS 66252 HAS SOUS 22179 HAS SOUPS 22179 WITH SCORE 22245.252
AT ITER 5034 NEW BEST:: SOT 120319 SOS 66243 HAS SOPS 66243 HAS SOUS 22134 HAS SOUPS 22134 WITH SCORE 22200.243
AT ITER 5051 NEW BEST:: SOT 120361 SOS 66014 HAS SOPS 66014 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22192.014
AT ITER 5059 NEW BEST:: SOT 120357 SOS 66010 HAS SOPS 66010 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22177.01
AT ITER 5063 NEW BEST:: SOT 120336 SOS 65948 HAS SOPS 65948 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22117.948
AT ITER 5086 NEW BEST:: SOT 120343 SOS 65955 HAS SOPS 65955 HAS SOUS 22045 HAS SOUPS 22045 WITH SCORE 22110.955
AT ITER 5095 NEW BEST:: SOT 120362 SOS 65943 HAS SOPS 65943 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22105.943
AT ITER 5149 NEW BEST:: SOT 120337 SOS 65729 HAS SOPS 65729 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22085.729
AT ITER 5176 NEW BEST:: SOT 120337 SOS 65745 HAS SOPS 65745 HAS SOUS 22016 HAS SOUPS 22016 WITH SCORE 22081.745
AT ITER 5199 NEW BEST:: SOT 120323 SOS 65731 HAS SOPS 65731 HAS SOUS 21974 HAS SOUPS 21974 WITH SCORE 22039.731
AT ITER 5202 NEW BEST:: SOT 120269 SOS 65554 HAS SOPS 65554 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21985.554
AT ITER 5212 NEW BEST:: SOT 120259 SOS 65514 HAS SOPS 65514 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21965.514
AT ITER 5219 NEW BEST:: SOT 120254 SOS 65284 HAS SOPS 65284 HAS SOUS 21884 HAS SOUPS 21884 WITH SCORE 21949.284
AT ITER 5257 NEW BEST:: SOT 120214 SOS 65244 HAS SOPS 65244 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21888.244
AT ITER 5277 NEW BEST:: SOT 120214 SOS 65235 HAS SOPS 65235 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21885.235
AT ITER 5331 NEW BEST:: SOT 120233 SOS 65405 HAS SOPS 65405 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21861.405
AT ITER 5356 NEW BEST:: SOT 120232 SOS 65551 HAS SOPS 65551 HAS SOUS 21758 HAS SOUPS 21758 WITH SCORE 21823.551
AT ITER 5368 NEW BEST:: SOT 120177 SOS 65519 HAS SOPS 65519 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21816.519
AT ITER 5383 NEW BEST:: SOT 120174 SOS 65516 HAS SOPS 65516 HAS SOUS 21743 HAS SOUPS 21743 WITH SCORE 21808.516
AT ITER 5403 NEW BEST:: SOT 120174 SOS 65534 HAS SOPS 65534 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21796.534
AT ITER 5430 NEW BEST:: SOT 120173 SOS 65671 HAS SOPS 65671 HAS SOUS 21705 HAS SOUPS 21705 WITH SCORE 21770.671
AT ITER 5432 NEW BEST:: SOT 120100 SOS 65456 HAS SOPS 65456 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21737.456
AT ITER 5459 NEW BEST:: SOT 120100 SOS 65454 HAS SOPS 65454 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21736.454
AT ITER 5473 NEW BEST:: SOT 120090 SOS 65444 HAS SOPS 65444 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21716.444
AT ITER 5502 NEW BEST:: SOT 120067 SOS 65269 HAS SOPS 65269 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21686.269
AT ITER 5508 NEW BEST:: SOT 120053 SOS 65271 HAS SOPS 65271 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21659.271
AT ITER 5537 NEW BEST:: SOT 120049 SOS 65251 HAS SOPS 65251 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21655.251
AT ITER 5566 NEW BEST:: SOT 120020 SOS 65209 HAS SOPS 65209 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21649.209
AT ITER 5582 NEW BEST:: SOT 120020 SOS 65193 HAS SOPS 65193 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21649.193
AT ITER 5600 NEW BEST:: SOT 120020 SOS 65193 HAS SOPS 65193 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21625.193
AT ITER 5624 NEW BEST:: SOT 120022 SOS 65201 HAS SOPS 65201 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21623.201
AT ITER 5638 NEW BEST:: SOT 120013 SOS 65201 HAS SOPS 65201 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21605.201
AT ITER 5652 NEW BEST:: SOT 120013 SOS 65192 HAS SOPS 65192 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21594.192
AT ITER 5659 NEW BEST:: SOT 119997 SOS 65176 HAS SOPS 65176 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21578.176
AT ITER 5730 NEW BEST:: SOT 119992 SOS 65171 HAS SOPS 65171 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21570.171
AT ITER 5737 NEW BEST:: SOT 119977 SOS 65156 HAS SOPS 65156 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21540.156
AT ITER 5769 NEW BEST:: SOT 119962 SOS 65141 HAS SOPS 65141 HAS SOUS 21445 HAS SOUPS 21445 WITH SCORE 21510.141
AT ITER 5870 NEW BEST:: SOT 119954 SOS 65133 HAS SOPS 65133 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21502.133
AT ITER 5880 NEW BEST:: SOT 119945 SOS 65106 HAS SOPS 65106 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21487.106
AT ITER 5883 NEW BEST:: SOT 119942 SOS 65103 HAS SOPS 65103 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21482.103
AT ITER 5884 NEW BEST:: SOT 119940 SOS 65096 HAS SOPS 65096 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21436.096
AT ITER 5885 NEW BEST:: SOT 119922 SOS 65006 HAS SOPS 65006 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21400.006
AT ITER 5889 NEW BEST:: SOT 119922 SOS 64713 HAS SOPS 64713 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21399.713
AT ITER 5962 NEW BEST:: SOT 119923 SOS 64718 HAS SOPS 64718 HAS SOUS 21323 HAS SOUPS 21323 WITH SCORE 21387.718
AT ITER 5985 NEW BEST:: SOT 119917 SOS 64712 HAS SOPS 64712 HAS SOUS 21317 HAS SOUPS 21317 WITH SCORE 21381.712
AT ITER 6005 NEW BEST:: SOT 119917 SOS 64712 HAS SOPS 64712 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21367.712
AT ITER 6054 NEW BEST:: SOT 119925 SOS 64715 HAS SOPS 64715 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21365.715
AT ITER 6092 NEW BEST:: SOT 119915 SOS 64693 HAS SOPS 64693 HAS SOUS 21257 HAS SOUPS 21257 WITH SCORE 21321.693
AT ITER 6095 NEW BEST:: SOT 119865 SOS 65010 HAS SOPS 65010 HAS SOUS 21177 HAS SOUPS 21177 WITH SCORE 21242.01
AT ITER 6101 NEW BEST:: SOT 119857 SOS 65002 HAS SOPS 65002 HAS SOUS 21169 HAS SOUPS 21169 WITH SCORE 21234.002
AT ITER 6138 NEW BEST:: SOT 119853 SOS 64982 HAS SOPS 64982 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21229.982
AT ITER 6147 NEW BEST:: SOT 119852 SOS 64981 HAS SOPS 64981 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21227.981
AT ITER 6178 NEW BEST:: SOT 119848 SOS 64979 HAS SOPS 64979 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21223.979
AT ITER 6199 NEW BEST:: SOT 119834 SOS 64909 HAS SOPS 64909 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21209.909
AT ITER 6229 NEW BEST:: SOT 119819 SOS 64894 HAS SOPS 64894 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21179.894
AT ITER 6262 NEW BEST:: SOT 119819 SOS 64894 HAS SOPS 64894 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21178.894
AT ITER 6266 NEW BEST:: SOT 119819 SOS 64874 HAS SOPS 64874 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21173.874
AT ITER 6281 NEW BEST:: SOT 119804 SOS 64732 HAS SOPS 64732 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21122.732
AT ITER 6297 NEW BEST:: SOT 119807 SOS 64799 HAS SOPS 64799 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21112.799
AT ITER 6300 NEW BEST:: SOT 119800 SOS 64792 HAS SOPS 64792 HAS SOUS 21005 HAS SOUPS 21005 WITH SCORE 21069.792
AT ITER 6315 NEW BEST:: SOT 119792 SOS 64774 HAS SOPS 64774 HAS SOUS 20982 HAS SOUPS 20982 WITH SCORE 21046.774
AT ITER 6321 NEW BEST:: SOT 119833 SOS 64837 HAS SOPS 64837 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 21025.837
AT ITER 6347 NEW BEST:: SOT 119828 SOS 64832 HAS SOPS 64832 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 21023.832
AT ITER 6364 NEW BEST:: SOT 119819 SOS 64789 HAS SOPS 64789 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20984.789
AT ITER 6372 NEW BEST:: SOT 119819 SOS 64801 HAS SOPS 64801 HAS SOUS 20914 HAS SOUPS 20914 WITH SCORE 20978.801
AT ITER 6373 NEW BEST:: SOT 119816 SOS 64801 HAS SOPS 64801 HAS SOUS 20908 HAS SOUPS 20908 WITH SCORE 20972.801
AT ITER 6387 NEW BEST:: SOT 119816 SOS 64789 HAS SOPS 64789 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20959.789
AT ITER 6412 NEW BEST:: SOT 119824 SOS 64789 HAS SOPS 64789 HAS SOUS 20877 HAS SOUPS 20877 WITH SCORE 20941.789
AT ITER 6434 NEW BEST:: SOT 119812 SOS 64777 HAS SOPS 64777 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20917.777
AT ITER 6438 NEW BEST:: SOT 119736 SOS 64786 HAS SOPS 64786 HAS SOUS 20845 HAS SOUPS 20845 WITH SCORE 20909.786
AT ITER 6453 NEW BEST:: SOT 119746 SOS 64791 HAS SOPS 64791 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20899.791
AT ITER 6469 NEW BEST:: SOT 119748 SOS 64793 HAS SOPS 64793 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20895.793
AT ITER 6500 NEW BEST:: SOT 119796 SOS 64885 HAS SOPS 64885 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20886.885
AT ITER 6504 NEW BEST:: SOT 119805 SOS 64894 HAS SOPS 64894 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20866.894
AT ITER 6507 NEW BEST:: SOT 119817 SOS 64906 HAS SOPS 64906 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20827.906
AT ITER 6514 NEW BEST:: SOT 119814 SOS 64891 HAS SOPS 64891 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20824.891
AT ITER 6527 NEW BEST:: SOT 119805 SOS 64882 HAS SOPS 64882 HAS SOUS 20716 HAS SOUPS 20716 WITH SCORE 20780.882
AT ITER 6573 NEW BEST:: SOT 119805 SOS 64716 HAS SOPS 64716 HAS SOUS 20681 HAS SOUPS 20681 WITH SCORE 20745.716
AT ITER 6611 NEW BEST:: SOT 119803 SOS 64792 HAS SOPS 64792 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20743.792
AT ITER 6627 NEW BEST:: SOT 119783 SOS 64684 HAS SOPS 64684 HAS SOUS 20661 HAS SOUPS 20661 WITH SCORE 20725.684
AT ITER 6651 NEW BEST:: SOT 119748 SOS 64581 HAS SOPS 64581 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20723.581
AT ITER 6728 NEW BEST:: SOT 119746 SOS 64578 HAS SOPS 64578 HAS SOUS 20657 HAS SOUPS 20657 WITH SCORE 20721.578
AT ITER 6741 NEW BEST:: SOT 119746 SOS 64586 HAS SOPS 64586 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20697.586
AT ITER 6759 NEW BEST:: SOT 119732 SOS 64572 HAS SOPS 64572 HAS SOUS 20600 HAS SOUPS 20600 WITH SCORE 20664.572
AT ITER 6796 NEW BEST:: SOT 119754 SOS 64504 HAS SOPS 64504 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20658.504
AT ITER 6805 NEW BEST:: SOT 119742 SOS 64480 HAS SOPS 64480 HAS SOUS 20570 HAS SOUPS 20570 WITH SCORE 20634.48
AT ITER 6842 NEW BEST:: SOT 119742 SOS 64478 HAS SOPS 64478 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20630.478
AT ITER 6849 NEW BEST:: SOT 119737 SOS 64478 HAS SOPS 64478 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20620.478
AT ITER 6857 NEW BEST:: SOT 119737 SOS 64478 HAS SOPS 64478 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20613.478
AT ITER 6871 NEW BEST:: SOT 119654 SOS 64352 HAS SOPS 64352 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20576.352
AT ITER 6889 NEW BEST:: SOT 119649 SOS 64347 HAS SOPS 64347 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20560.347
AT ITER 6918 NEW BEST:: SOT 119632 SOS 64258 HAS SOPS 64258 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20526.258
AT ITER 6931 NEW BEST:: SOT 119659 SOS 64285 HAS SOPS 64285 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20497.285
AT ITER 6933 NEW BEST:: SOT 119665 SOS 64291 HAS SOPS 64291 HAS SOUS 20424 HAS SOUPS 20424 WITH SCORE 20488.291
AT ITER 6934 NEW BEST:: SOT 119666 SOS 64240 HAS SOPS 64240 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20476.24
AT ITER 6946 NEW BEST:: SOT 119666 SOS 64234 HAS SOPS 64234 HAS SOUS 20409 HAS SOUPS 20409 WITH SCORE 20473.234
AT ITER 6947 NEW BEST:: SOT 119642 SOS 64210 HAS SOPS 64210 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20457.21
AT ITER 6963 NEW BEST:: SOT 119642 SOS 64206 HAS SOPS 64206 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20455.206
AT ITER 6971 NEW BEST:: SOT 119628 SOS 64104 HAS SOPS 64104 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20446.104
AT ITER 6972 NEW BEST:: SOT 119626 SOS 64102 HAS SOPS 64102 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20436.102
AT ITER 7032 NEW BEST:: SOT 119623 SOS 64099 HAS SOPS 64099 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20426.099
AT ITER 7059 NEW BEST:: SOT 119618 SOS 66886 HAS SOPS 66886 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20404.886
AT ITER 7111 NEW BEST:: SOT 119616 SOS 66884 HAS SOPS 66884 HAS SOUS 20337 HAS SOUPS 20337 WITH SCORE 20403.884
AT ITER 7127 NEW BEST:: SOT 119606 SOS 66866 HAS SOPS 66866 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20393.866
AT ITER 7148 NEW BEST:: SOT 119603 SOS 66836 HAS SOPS 66836 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20390.836
AT ITER 7172 NEW BEST:: SOT 119579 SOS 66780 HAS SOPS 66780 HAS SOUS 20292 HAS SOUPS 20292 WITH SCORE 20358.78
AT ITER 7175 NEW BEST:: SOT 119574 SOS 66775 HAS SOPS 66775 HAS SOUS 20282 HAS SOUPS 20282 WITH SCORE 20348.775
AT ITER 7176 NEW BEST:: SOT 119574 SOS 66839 HAS SOPS 66839 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20332.839
AT ITER 7180 NEW BEST:: SOT 119592 SOS 66803 HAS SOPS 66803 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20326.803
AT ITER 7181 NEW BEST:: SOT 119591 SOS 66802 HAS SOPS 66802 HAS SOUS 20258 HAS SOUPS 20258 WITH SCORE 20324.802
AT ITER 7186 NEW BEST:: SOT 119591 SOS 64147 HAS SOPS 64147 HAS SOUS 20240 HAS SOUPS 20240 WITH SCORE 20304.147
AT ITER 7194 NEW BEST:: SOT 119580 SOS 64016 HAS SOPS 64016 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20300.016
AT ITER 7196 NEW BEST:: SOT 119573 SOS 64009 HAS SOPS 64009 HAS SOUS 20222 HAS SOUPS 20222 WITH SCORE 20286.009
AT ITER 7215 NEW BEST:: SOT 119576 SOS 63892 HAS SOPS 63892 HAS SOUS 20219 HAS SOUPS 20219 WITH SCORE 20282.892
AT ITER 7234 NEW BEST:: SOT 119570 SOS 63886 HAS SOPS 63886 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20274.886
AT ITER 7257 NEW BEST:: SOT 119568 SOS 63878 HAS SOPS 63878 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20273.878
AT ITER 7265 NEW BEST:: SOT 119563 SOS 63868 HAS SOPS 63868 HAS SOUS 20205 HAS SOUPS 20205 WITH SCORE 20268.868
AT ITER 7322 NEW BEST:: SOT 119555 SOS 63876 HAS SOPS 63876 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20252.876
AT ITER 7348 NEW BEST:: SOT 119499 SOS 63916 HAS SOPS 63916 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20234.916
AT ITER 7400 NEW BEST:: SOT 119491 SOS 63908 HAS SOPS 63908 HAS SOUS 20155 HAS SOUPS 20155 WITH SCORE 20218.908
AT ITER 7458 NEW BEST:: SOT 119488 SOS 63899 HAS SOPS 63899 HAS SOUS 20152 HAS SOUPS 20152 WITH SCORE 20215.899
AT ITER 7461 NEW BEST:: SOT 119487 SOS 63892 HAS SOPS 63892 HAS SOUS 20151 HAS SOUPS 20151 WITH SCORE 20214.892
AT ITER 7466 NEW BEST:: SOT 119485 SOS 63890 HAS SOPS 63890 HAS SOUS 20147 HAS SOUPS 20147 WITH SCORE 20210.89
AT ITER 7468 NEW BEST:: SOT 119479 SOS 63878 HAS SOPS 63878 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20204.878
AT ITER 7469 NEW BEST:: SOT 119484 SOS 63888 HAS SOPS 63888 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20190.888
AT ITER 7475 NEW BEST:: SOT 119479 SOS 63878 HAS SOPS 63878 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20185.878
AT ITER 7484 NEW BEST:: SOT 119474 SOS 63829 HAS SOPS 63829 HAS SOUS 20106 HAS SOUPS 20106 WITH SCORE 20169.829
AT ITER 7504 NEW BEST:: SOT 119456 SOS 63811 HAS SOPS 63811 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20160.811
AT ITER 7536 NEW BEST:: SOT 119473 SOS 63832 HAS SOPS 63832 HAS SOUS 20069 HAS SOUPS 20069 WITH SCORE 20132.832
AT ITER 7560 NEW BEST:: SOT 119473 SOS 63822 HAS SOPS 63822 HAS SOUS 20064 HAS SOUPS 20064 WITH SCORE 20127.822
AT ITER 7561 NEW BEST:: SOT 119417 SOS 63766 HAS SOPS 63766 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20058.766
AT ITER 7580 NEW BEST:: SOT 119394 SOS 63748 HAS SOPS 63748 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20039.748
AT ITER 7601 NEW BEST:: SOT 119386 SOS 63740 HAS SOPS 63740 HAS SOUS 19948 HAS SOUPS 19948 WITH SCORE 20011.74
AT ITER 7647 NEW BEST:: SOT 119386 SOS 63744 HAS SOPS 63744 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 20007.744
AT ITER 7672 NEW BEST:: SOT 119358 SOS 63645 HAS SOPS 63645 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19985.645
AT ITER 7677 NEW BEST:: SOT 119352 SOS 63633 HAS SOPS 63633 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19973.633
AT ITER 7688 NEW BEST:: SOT 119318 SOS 63565 HAS SOPS 63565 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19939.565
AT ITER 7694 NEW BEST:: SOT 119317 SOS 63564 HAS SOPS 63564 HAS SOUS 19858 HAS SOUPS 19858 WITH SCORE 19921.564
AT ITER 7713 NEW BEST:: SOT 119314 SOS 63699 HAS SOPS 63699 HAS SOUS 19841 HAS SOUPS 19841 WITH SCORE 19904.699
AT ITER 7777 NEW BEST:: SOT 119308 SOS 63713 HAS SOPS 63713 HAS SOUS 19824 HAS SOUPS 19824 WITH SCORE 19887.713
AT ITER 7779 NEW BEST:: SOT 119308 SOS 63710 HAS SOPS 63710 HAS SOUS 19824 HAS SOUPS 19824 WITH SCORE 19887.71
AT ITER 7782 NEW BEST:: SOT 119298 SOS 63660 HAS SOPS 63660 HAS SOUS 19804 HAS SOUPS 19804 WITH SCORE 19867.66
AT ITER 7805 NEW BEST:: SOT 119292 SOS 63630 HAS SOPS 63630 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19861.63
AT ITER 7808 NEW BEST:: SOT 119295 SOS 63773 HAS SOPS 63773 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19832.773
AT ITER 7815 NEW BEST:: SOT 119307 SOS 63748 HAS SOPS 63748 HAS SOUS 19767 HAS SOUPS 19767 WITH SCORE 19830.748
AT ITER 7817 NEW BEST:: SOT 119310 SOS 63747 HAS SOPS 63747 HAS SOUS 19766 HAS SOUPS 19766 WITH SCORE 19829.747
AT ITER 7830 NEW BEST:: SOT 119310 SOS 63747 HAS SOPS 63747 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19821.747
AT ITER 7901 NEW BEST:: SOT 119313 SOS 63750 HAS SOPS 63750 HAS SOUS 19757 HAS SOUPS 19757 WITH SCORE 19820.75
AT ITER 7911 NEW BEST:: SOT 119308 SOS 63740 HAS SOPS 63740 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19808.74
AT ITER 7916 NEW BEST:: SOT 119319 SOS 63742 HAS SOPS 63742 HAS SOUS 19738 HAS SOUPS 19738 WITH SCORE 19801.742
AT ITER 7994 NEW BEST:: SOT 119305 SOS 63845 HAS SOPS 63845 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19777.845
AT ITER 8013 NEW BEST:: SOT 119318 SOS 63858 HAS SOPS 63858 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19755.858
AT ITER 8026 NEW BEST:: SOT 119317 SOS 63857 HAS SOPS 63857 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19755.857
AT ITER 8034 NEW BEST:: SOT 119311 SOS 63827 HAS SOPS 63827 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19743.827
AT ITER 8206 NEW BEST:: SOT 119321 SOS 63866 HAS SOPS 63866 HAS SOUS 19671 HAS SOUPS 19671 WITH SCORE 19734.866
AT ITER 8220 NEW BEST:: SOT 119303 SOS 63848 HAS SOPS 63848 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19690.848
AT ITER 8261 NEW BEST:: SOT 119299 SOS 63844 HAS SOPS 63844 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19669.844
AT ITER 8295 NEW BEST:: SOT 119299 SOS 63832 HAS SOPS 63832 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19663.832
AT ITER 8305 NEW BEST:: SOT 119271 SOS 63841 HAS SOPS 63841 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19611.841
AT ITER 8314 NEW BEST:: SOT 119259 SOS 63749 HAS SOPS 63749 HAS SOUS 19544 HAS SOUPS 19544 WITH SCORE 19607.749
AT ITER 8323 NEW BEST:: SOT 119301 SOS 63789 HAS SOPS 63789 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19602.789
AT ITER 8325 NEW BEST:: SOT 119300 SOS 63788 HAS SOPS 63788 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19600.788
AT ITER 8333 NEW BEST:: SOT 119300 SOS 63788 HAS SOPS 63788 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19595.788
AT ITER 8344 NEW BEST:: SOT 119269 SOS 63744 HAS SOPS 63744 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19539.744
AT ITER 8452 NEW BEST:: SOT 119260 SOS 63735 HAS SOPS 63735 HAS SOUS 19470 HAS SOUPS 19470 WITH SCORE 19533.735
AT ITER 8462 NEW BEST:: SOT 119259 SOS 63696 HAS SOPS 63696 HAS SOUS 19447 HAS SOUPS 19447 WITH SCORE 19510.696
AT ITER 8465 NEW BEST:: SOT 119303 SOS 63740 HAS SOPS 63740 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19507.74
AT ITER 8470 NEW BEST:: SOT 119357 SOS 63794 HAS SOPS 63794 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19492.794
AT ITER 8577 NEW BEST:: SOT 119332 SOS 63769 HAS SOPS 63769 HAS SOUS 19342 HAS SOUPS 19342 WITH SCORE 19405.769
AT ITER 8578 NEW BEST:: SOT 119335 SOS 63772 HAS SOPS 63772 HAS SOUS 19328 HAS SOUPS 19328 WITH SCORE 19391.772
AT ITER 8614 NEW BEST:: SOT 119305 SOS 63631 HAS SOPS 63631 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19389.631
AT ITER 8680 NEW BEST:: SOT 119317 SOS 63328 HAS SOPS 63328 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19310.328
AT ITER 8683 NEW BEST:: SOT 119315 SOS 63321 HAS SOPS 63321 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19303.321
AT ITER 8691 NEW BEST:: SOT 119299 SOS 63305 HAS SOPS 63305 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19298.305
AT ITER 8720 NEW BEST:: SOT 119307 SOS 63421 HAS SOPS 63421 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19287.421
AT ITER 8935 NEW BEST:: SOT 119306 SOS 63423 HAS SOPS 63423 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19286.423
AT ITER 8943 NEW BEST:: SOT 119275 SOS 63299 HAS SOPS 63299 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19255.299
AT ITER 8962 NEW BEST:: SOT 119266 SOS 63290 HAS SOPS 63290 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19255.29
AT ITER 8979 NEW BEST:: SOT 119225 SOS 63195 HAS SOPS 63195 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19190.195
AT ITER 8989 NEW BEST:: SOT 119218 SOS 63188 HAS SOPS 63188 HAS SOUS 19113 HAS SOUPS 19113 WITH SCORE 19176.188
AT ITER 9111 NEW BEST:: SOT 119232 SOS 63231 HAS SOPS 63231 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19175.231
AT ITER 9123 NEW BEST:: SOT 119228 SOS 63227 HAS SOPS 63227 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19164.227
AT ITER 9147 NEW BEST:: SOT 119209 SOS 62969 HAS SOPS 62969 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19123.969
AT ITER 9152 NEW BEST:: SOT 119173 SOS 62625 HAS SOPS 62625 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19112.625
AT ITER 9166 NEW BEST:: SOT 119159 SOS 62617 HAS SOPS 62617 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19104.617
AT ITER 9167 NEW BEST:: SOT 119184 SOS 62580 HAS SOPS 62580 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19074.58
AT ITER 9196 NEW BEST:: SOT 119184 SOS 62580 HAS SOPS 62580 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19068.58
AT ITER 9207 NEW BEST:: SOT 119188 SOS 62584 HAS SOPS 62584 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19061.584
AT ITER 9230 NEW BEST:: SOT 119183 SOS 62579 HAS SOPS 62579 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19058.579
AT ITER 9259 NEW BEST:: SOT 119183 SOS 62579 HAS SOPS 62579 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 19034.579
AT ITER 9284 NEW BEST:: SOT 119190 SOS 62578 HAS SOPS 62578 HAS SOUS 18970 HAS SOUPS 18970 WITH SCORE 19032.578
AT ITER 9317 NEW BEST:: SOT 119148 SOS 62536 HAS SOPS 62536 HAS SOUS 18970 HAS SOUPS 18970 WITH SCORE 19032.536
AT ITER 9341 NEW BEST:: SOT 119021 SOS 63363 HAS SOPS 63363 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18929.363
AT ITER 9351 NEW BEST:: SOT 119028 SOS 63370 HAS SOPS 63370 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18913.37
AT ITER 9352 NEW BEST:: SOT 118993 SOS 63311 HAS SOPS 63311 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18864.311
AT ITER 9369 NEW BEST:: SOT 118983 SOS 63401 HAS SOPS 63401 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18822.401
AT ITER 9373 NEW BEST:: SOT 118954 SOS 63631 HAS SOPS 63631 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18793.631
AT ITER 9378 NEW BEST:: SOT 118986 SOS 63566 HAS SOPS 63566 HAS SOUS 18716 HAS SOUPS 18716 WITH SCORE 18779.566
AT ITER 9395 NEW BEST:: SOT 118976 SOS 63565 HAS SOPS 63565 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18777.565
AT ITER 9417 NEW BEST:: SOT 118976 SOS 63565 HAS SOPS 63565 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18774.565
AT ITER 9427 NEW BEST:: SOT 118971 SOS 63537 HAS SOPS 63537 HAS SOUS 18701 HAS SOUPS 18701 WITH SCORE 18764.537
AT ITER 9436 NEW BEST:: SOT 118971 SOS 63477 HAS SOPS 63477 HAS SOUS 18701 HAS SOUPS 18701 WITH SCORE 18764.477
AT ITER 9439 NEW BEST:: SOT 118971 SOS 63469 HAS SOPS 63469 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18760.469
AT ITER 9453 NEW BEST:: SOT 118975 SOS 63474 HAS SOPS 63474 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18757.474
AT ITER 9454 NEW BEST:: SOT 118953 SOS 63448 HAS SOPS 63448 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18717.448
AT ITER 9458 NEW BEST:: SOT 118939 SOS 63370 HAS SOPS 63370 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18702.37
AT ITER 9484 NEW BEST:: SOT 118935 SOS 63366 HAS SOPS 63366 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18674.366
AT ITER 9493 NEW BEST:: SOT 118944 SOS 63375 HAS SOPS 63375 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18653.375
AT ITER 9498 NEW BEST:: SOT 118931 SOS 63362 HAS SOPS 63362 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18632.362
AT ITER 9546 NEW BEST:: SOT 118909 SOS 63404 HAS SOPS 63404 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18609.404
AT ITER 9553 NEW BEST:: SOT 118900 SOS 63417 HAS SOPS 63417 HAS SOUS 18542 HAS SOUPS 18542 WITH SCORE 18605.417
AT ITER 9638 NEW BEST:: SOT 118898 SOS 63415 HAS SOPS 63415 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18603.415
AT ITER 9673 NEW BEST:: SOT 118884 SOS 63392 HAS SOPS 63392 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18581.392
AT ITER 9849 NEW BEST:: SOT 118901 SOS 63417 HAS SOPS 63417 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18579.417
AT ITER 9867 NEW BEST:: SOT 118894 SOS 63408 HAS SOPS 63408 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18550.408
AT ITER 9870 NEW BEST:: SOT 118894 SOS 63402 HAS SOPS 63402 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18547.402
AT ITER 9872 NEW BEST:: SOT 118892 SOS 63394 HAS SOPS 63394 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18543.394
AT ITER 9874 NEW BEST:: SOT 118850 SOS 63339 HAS SOPS 63339 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18492.339
AT ITER 9889 NEW BEST:: SOT 118840 SOS 63329 HAS SOPS 63329 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18471.329
AT ITER 9912 NEW BEST:: SOT 118828 SOS 63317 HAS SOPS 63317 HAS SOUS 18400 HAS SOUPS 18400 WITH SCORE 18463.317
AT ITER 9927 NEW BEST:: SOT 118821 SOS 63310 HAS SOPS 63310 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18440.31
AT ITER 9948 NEW BEST:: SOT 118797 SOS 63150 HAS SOPS 63150 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18411.15
AT ITER 9954 NEW BEST:: SOT 118798 SOS 63151 HAS SOPS 63151 HAS SOUS 18341 HAS SOUPS 18341 WITH SCORE 18404.151
AT ITER 9982 NEW BEST:: SOT 118798 SOS 63159 HAS SOPS 63159 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18402.159
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 924404 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16136000 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-Z4T4N10"
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-Z4T4N10, 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-167912696601088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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