Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979200104.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVs-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 18:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 18:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 18:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 127K 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 1679379436040

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVs-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:17:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:17:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:17:18] [INFO ] Load time of PNML (sax parser for PT used): 75 ms
[2023-03-21 06:17:18] [INFO ] Transformed 283 places.
[2023-03-21 06:17:18] [INFO ] Transformed 383 transitions.
[2023-03-21 06:17:18] [INFO ] Found NUPN structural information;
[2023-03-21 06:17:18] [INFO ] Parsed PT model containing 283 places and 383 transitions and 1840 arcs in 164 ms.
[2023-03-21 06:17:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 283 places, 383 transitions and 1840 arcs took 7 ms.
Total runtime 223 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 020A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 283 places, 383 transitions, 1840 arcs.
AT ITER 0 NEW BEST:: SOT 81387 SOS 69947 HAS SOPS 69947 HAS SOUS 56615 HAS SOUPS 56615 WITH SCORE 56684.947
AT ITER 2 NEW BEST:: SOT 81350 SOS 69910 HAS SOPS 69910 HAS SOUS 56578 HAS SOUPS 56578 WITH SCORE 56647.91
AT ITER 4 NEW BEST:: SOT 81433 SOS 69769 HAS SOPS 69769 HAS SOUS 56465 HAS SOUPS 56465 WITH SCORE 56534.769
AT ITER 5 NEW BEST:: SOT 81474 SOS 69546 HAS SOPS 69546 HAS SOUS 56306 HAS SOUPS 56306 WITH SCORE 56375.546
AT ITER 7 NEW BEST:: SOT 81543 SOS 69510 HAS SOPS 69510 HAS SOUS 56287 HAS SOUPS 56287 WITH SCORE 56356.51
AT ITER 9 NEW BEST:: SOT 81417 SOS 69426 HAS SOPS 69426 HAS SOUS 56203 HAS SOUPS 56203 WITH SCORE 56272.426
AT ITER 10 NEW BEST:: SOT 81371 SOS 69161 HAS SOPS 69161 HAS SOUS 56074 HAS SOUPS 56074 WITH SCORE 56143.161
AT ITER 11 NEW BEST:: SOT 81371 SOS 69104 HAS SOPS 69104 HAS SOUS 56015 HAS SOUPS 56015 WITH SCORE 56084.104
AT ITER 14 NEW BEST:: SOT 81290 SOS 68942 HAS SOPS 68942 HAS SOUS 55929 HAS SOUPS 55929 WITH SCORE 55997.942
AT ITER 18 NEW BEST:: SOT 81312 SOS 68612 HAS SOPS 68612 HAS SOUS 55351 HAS SOUPS 55351 WITH SCORE 55419.612
AT ITER 20 NEW BEST:: SOT 81256 SOS 68351 HAS SOPS 68351 HAS SOUS 55020 HAS SOUPS 55020 WITH SCORE 55088.351
AT ITER 21 NEW BEST:: SOT 81242 SOS 68337 HAS SOPS 68337 HAS SOUS 55006 HAS SOUPS 55006 WITH SCORE 55074.337
AT ITER 22 NEW BEST:: SOT 81239 SOS 68334 HAS SOPS 68334 HAS SOUS 55003 HAS SOUPS 55003 WITH SCORE 55071.334
AT ITER 23 NEW BEST:: SOT 81235 SOS 68330 HAS SOPS 68330 HAS SOUS 54999 HAS SOUPS 54999 WITH SCORE 55067.33
AT ITER 25 NEW BEST:: SOT 81079 SOS 68174 HAS SOPS 68174 HAS SOUS 54843 HAS SOUPS 54843 WITH SCORE 54911.174
AT ITER 28 NEW BEST:: SOT 80965 SOS 68060 HAS SOPS 68060 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54835.06
AT ITER 29 NEW BEST:: SOT 80892 SOS 67987 HAS SOPS 67987 HAS SOUS 54694 HAS SOUPS 54694 WITH SCORE 54761.987
AT ITER 31 NEW BEST:: SOT 80931 SOS 67618 HAS SOPS 67618 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54522.618
AT ITER 32 NEW BEST:: SOT 80928 SOS 67615 HAS SOPS 67615 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54522.615
AT ITER 33 NEW BEST:: SOT 81049 SOS 67520 HAS SOPS 67520 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54514.52
AT ITER 34 NEW BEST:: SOT 80915 SOS 67307 HAS SOPS 67307 HAS SOUS 54247 HAS SOUPS 54247 WITH SCORE 54314.307
AT ITER 40 NEW BEST:: SOT 80834 SOS 67226 HAS SOPS 67226 HAS SOUS 54166 HAS SOUPS 54166 WITH SCORE 54233.226
AT ITER 42 NEW BEST:: SOT 80858 SOS 66998 HAS SOPS 66998 HAS SOUS 53976 HAS SOUPS 53976 WITH SCORE 54042.998
AT ITER 45 NEW BEST:: SOT 80846 SOS 66950 HAS SOPS 66950 HAS SOUS 53916 HAS SOUPS 53916 WITH SCORE 53982.95
AT ITER 50 NEW BEST:: SOT 80777 SOS 66812 HAS SOPS 66812 HAS SOUS 53648 HAS SOUPS 53648 WITH SCORE 53714.812
AT ITER 51 NEW BEST:: SOT 80801 SOS 66486 HAS SOPS 66486 HAS SOUS 52978 HAS SOUPS 52978 WITH SCORE 53044.486
AT ITER 52 NEW BEST:: SOT 80707 SOS 66274 HAS SOPS 66274 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52583.274
AT ITER 54 NEW BEST:: SOT 80671 SOS 66238 HAS SOPS 66238 HAS SOUS 52477 HAS SOUPS 52477 WITH SCORE 52543.238
AT ITER 56 NEW BEST:: SOT 80670 SOS 66241 HAS SOPS 66241 HAS SOUS 52418 HAS SOUPS 52418 WITH SCORE 52484.241
AT ITER 59 NEW BEST:: SOT 80659 SOS 66230 HAS SOPS 66230 HAS SOUS 52417 HAS SOUPS 52417 WITH SCORE 52483.23
AT ITER 61 NEW BEST:: SOT 80601 SOS 65808 HAS SOPS 65808 HAS SOUS 52096 HAS SOUPS 52096 WITH SCORE 52161.808
AT ITER 62 NEW BEST:: SOT 80673 SOS 65349 HAS SOPS 65349 HAS SOUS 51994 HAS SOUPS 51994 WITH SCORE 52059.349
AT ITER 63 NEW BEST:: SOT 80673 SOS 65224 HAS SOPS 65224 HAS SOUS 51751 HAS SOUPS 51751 WITH SCORE 51816.224
AT ITER 64 NEW BEST:: SOT 80618 SOS 65144 HAS SOPS 65144 HAS SOUS 51655 HAS SOUPS 51655 WITH SCORE 51720.144
AT ITER 66 NEW BEST:: SOT 80686 SOS 65060 HAS SOPS 65060 HAS SOUS 51526 HAS SOUPS 51526 WITH SCORE 51591.06
AT ITER 71 NEW BEST:: SOT 80435 SOS 64809 HAS SOPS 64809 HAS SOUS 51275 HAS SOUPS 51275 WITH SCORE 51339.809
AT ITER 73 NEW BEST:: SOT 80337 SOS 64658 HAS SOPS 64658 HAS SOUS 51040 HAS SOUPS 51040 WITH SCORE 51104.658
AT ITER 74 NEW BEST:: SOT 80513 SOS 64656 HAS SOPS 64656 HAS SOUS 51020 HAS SOUPS 51020 WITH SCORE 51084.656
AT ITER 75 NEW BEST:: SOT 80821 SOS 64308 HAS SOPS 64308 HAS SOUS 50383 HAS SOUPS 50383 WITH SCORE 50447.308
AT ITER 78 NEW BEST:: SOT 80782 SOS 64269 HAS SOPS 64269 HAS SOUS 50344 HAS SOUPS 50344 WITH SCORE 50408.269
AT ITER 80 NEW BEST:: SOT 80757 SOS 64159 HAS SOPS 64159 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50246.159
AT ITER 82 NEW BEST:: SOT 80645 SOS 63487 HAS SOPS 63487 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49580.487
AT ITER 83 NEW BEST:: SOT 80643 SOS 63474 HAS SOPS 63474 HAS SOUS 49504 HAS SOUPS 49504 WITH SCORE 49567.474
AT ITER 90 NEW BEST:: SOT 80643 SOS 63429 HAS SOPS 63429 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49320.429
AT ITER 91 NEW BEST:: SOT 80643 SOS 63399 HAS SOPS 63399 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49177.399
AT ITER 93 NEW BEST:: SOT 80301 SOS 63057 HAS SOPS 63057 HAS SOUS 48778 HAS SOUPS 48778 WITH SCORE 48841.057
AT ITER 94 NEW BEST:: SOT 80301 SOS 63030 HAS SOPS 63030 HAS SOUS 48778 HAS SOUPS 48778 WITH SCORE 48841.03
AT ITER 97 NEW BEST:: SOT 80259 SOS 62986 HAS SOPS 62986 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48787.986
AT ITER 100 NEW BEST:: SOT 80259 SOS 62952 HAS SOPS 62952 HAS SOUS 48708 HAS SOUPS 48708 WITH SCORE 48770.952
AT ITER 101 NEW BEST:: SOT 80220 SOS 62877 HAS SOPS 62877 HAS SOUS 48533 HAS SOUPS 48533 WITH SCORE 48595.877
AT ITER 102 NEW BEST:: SOT 80193 SOS 62822 HAS SOPS 62822 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48566.822
AT ITER 103 NEW BEST:: SOT 80146 SOS 62460 HAS SOPS 62460 HAS SOUS 48343 HAS SOUPS 48343 WITH SCORE 48405.46
AT ITER 108 NEW BEST:: SOT 80142 SOS 62397 HAS SOPS 62397 HAS SOUS 48243 HAS SOUPS 48243 WITH SCORE 48305.397
AT ITER 110 NEW BEST:: SOT 80142 SOS 62397 HAS SOPS 62397 HAS SOUS 48237 HAS SOUPS 48237 WITH SCORE 48299.397
AT ITER 113 NEW BEST:: SOT 80154 SOS 62173 HAS SOPS 62173 HAS SOUS 48225 HAS SOUPS 48225 WITH SCORE 48287.173
AT ITER 115 NEW BEST:: SOT 80154 SOS 62103 HAS SOPS 62103 HAS SOUS 48142 HAS SOUPS 48142 WITH SCORE 48204.103
AT ITER 117 NEW BEST:: SOT 80145 SOS 62094 HAS SOPS 62094 HAS SOUS 48136 HAS SOUPS 48136 WITH SCORE 48198.094
AT ITER 118 NEW BEST:: SOT 80101 SOS 61787 HAS SOPS 61787 HAS SOUS 48027 HAS SOUPS 48027 WITH SCORE 48088.787
AT ITER 121 NEW BEST:: SOT 80018 SOS 61704 HAS SOPS 61704 HAS SOUS 47943 HAS SOUPS 47943 WITH SCORE 48004.704
AT ITER 122 NEW BEST:: SOT 79995 SOS 61612 HAS SOPS 61612 HAS SOUS 47805 HAS SOUPS 47805 WITH SCORE 47866.612
AT ITER 127 NEW BEST:: SOT 79950 SOS 61416 HAS SOPS 61416 HAS SOUS 47387 HAS SOUPS 47387 WITH SCORE 47448.416
AT ITER 132 NEW BEST:: SOT 79902 SOS 61368 HAS SOPS 61368 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47400.368
AT ITER 133 NEW BEST:: SOT 79897 SOS 61363 HAS SOPS 61363 HAS SOUS 47334 HAS SOUPS 47334 WITH SCORE 47395.363
AT ITER 138 NEW BEST:: SOT 79833 SOS 61241 HAS SOPS 61241 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47277.241
AT ITER 147 NEW BEST:: SOT 79833 SOS 61215 HAS SOPS 61215 HAS SOUS 47194 HAS SOUPS 47194 WITH SCORE 47255.215
AT ITER 148 NEW BEST:: SOT 79846 SOS 60490 HAS SOPS 60490 HAS SOUS 46690 HAS SOUPS 46690 WITH SCORE 46750.49
AT ITER 155 NEW BEST:: SOT 79822 SOS 60466 HAS SOPS 60466 HAS SOUS 46635 HAS SOUPS 46635 WITH SCORE 46695.466
AT ITER 157 NEW BEST:: SOT 79763 SOS 60129 HAS SOPS 60129 HAS SOUS 46091 HAS SOUPS 46091 WITH SCORE 46151.129
AT ITER 158 NEW BEST:: SOT 79754 SOS 60116 HAS SOPS 60116 HAS SOUS 46088 HAS SOUPS 46088 WITH SCORE 46148.116
AT ITER 160 NEW BEST:: SOT 79751 SOS 60113 HAS SOPS 60113 HAS SOUS 46070 HAS SOUPS 46070 WITH SCORE 46130.113
AT ITER 163 NEW BEST:: SOT 79745 SOS 60077 HAS SOPS 60077 HAS SOUS 46057 HAS SOUPS 46057 WITH SCORE 46117.077
AT ITER 164 NEW BEST:: SOT 79745 SOS 60073 HAS SOPS 60073 HAS SOUS 46053 HAS SOUPS 46053 WITH SCORE 46113.073
AT ITER 166 NEW BEST:: SOT 79738 SOS 59719 HAS SOPS 59719 HAS SOUS 45941 HAS SOUPS 45941 WITH SCORE 46000.719
AT ITER 167 NEW BEST:: SOT 79722 SOS 59434 HAS SOPS 59434 HAS SOUS 45719 HAS SOUPS 45719 WITH SCORE 45778.434
AT ITER 171 NEW BEST:: SOT 79687 SOS 59156 HAS SOPS 59156 HAS SOUS 45510 HAS SOUPS 45510 WITH SCORE 45569.156
AT ITER 175 NEW BEST:: SOT 79643 SOS 59068 HAS SOPS 59068 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45349.068
AT ITER 178 NEW BEST:: SOT 79590 SOS 58803 HAS SOPS 58803 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45033.803
AT ITER 183 NEW BEST:: SOT 79650 SOS 58794 HAS SOPS 58794 HAS SOUS 44940 HAS SOUPS 44940 WITH SCORE 44998.794
AT ITER 184 NEW BEST:: SOT 79534 SOS 58670 HAS SOPS 58670 HAS SOUS 44816 HAS SOUPS 44816 WITH SCORE 44874.67
AT ITER 186 NEW BEST:: SOT 79513 SOS 58649 HAS SOPS 58649 HAS SOUS 44816 HAS SOUPS 44816 WITH SCORE 44874.649
AT ITER 187 NEW BEST:: SOT 79472 SOS 58527 HAS SOPS 58527 HAS SOUS 44763 HAS SOUPS 44763 WITH SCORE 44821.527
AT ITER 191 NEW BEST:: SOT 79432 SOS 58467 HAS SOPS 58467 HAS SOUS 44625 HAS SOUPS 44625 WITH SCORE 44683.467
AT ITER 194 NEW BEST:: SOT 79432 SOS 58411 HAS SOPS 58411 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44508.411
AT ITER 197 NEW BEST:: SOT 79427 SOS 58379 HAS SOPS 58379 HAS SOUS 44437 HAS SOUPS 44437 WITH SCORE 44495.379
AT ITER 200 NEW BEST:: SOT 78886 SOS 57712 HAS SOPS 57712 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43681.712
AT ITER 203 NEW BEST:: SOT 78820 SOS 57364 HAS SOPS 57364 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43520.364
AT ITER 205 NEW BEST:: SOT 78762 SOS 57306 HAS SOPS 57306 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43462.306
AT ITER 211 NEW BEST:: SOT 78742 SOS 57286 HAS SOPS 57286 HAS SOUS 43385 HAS SOUPS 43385 WITH SCORE 43442.286
AT ITER 215 NEW BEST:: SOT 78537 SOS 57188 HAS SOPS 57188 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43434.188
AT ITER 217 NEW BEST:: SOT 78527 SOS 57178 HAS SOPS 57178 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43424.178
AT ITER 226 NEW BEST:: SOT 78517 SOS 57168 HAS SOPS 57168 HAS SOUS 43357 HAS SOUPS 43357 WITH SCORE 43414.168
AT ITER 237 NEW BEST:: SOT 78170 SOS 56617 HAS SOPS 56617 HAS SOUS 42748 HAS SOUPS 42748 WITH SCORE 42804.617
AT ITER 239 NEW BEST:: SOT 78050 SOS 56503 HAS SOPS 56503 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42799.503
AT ITER 245 NEW BEST:: SOT 78048 SOS 56501 HAS SOPS 56501 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42799.501
AT ITER 249 NEW BEST:: SOT 78048 SOS 56407 HAS SOPS 56407 HAS SOUS 42671 HAS SOUPS 42671 WITH SCORE 42727.407
AT ITER 258 NEW BEST:: SOT 77979 SOS 56216 HAS SOPS 56216 HAS SOUS 42579 HAS SOUPS 42579 WITH SCORE 42635.216
AT ITER 260 NEW BEST:: SOT 77519 SOS 55967 HAS SOPS 55967 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41862.967
AT ITER 261 NEW BEST:: SOT 77525 SOS 55973 HAS SOPS 55973 HAS SOUS 41801 HAS SOUPS 41801 WITH SCORE 41856.973
AT ITER 262 NEW BEST:: SOT 77534 SOS 55986 HAS SOPS 55986 HAS SOUS 41797 HAS SOUPS 41797 WITH SCORE 41852.986
AT ITER 265 NEW BEST:: SOT 77303 SOS 55755 HAS SOPS 55755 HAS SOUS 41562 HAS SOUPS 41562 WITH SCORE 41617.755
AT ITER 274 NEW BEST:: SOT 77298 SOS 55750 HAS SOPS 55750 HAS SOUS 41557 HAS SOUPS 41557 WITH SCORE 41612.75
AT ITER 278 NEW BEST:: SOT 77297 SOS 55785 HAS SOPS 55785 HAS SOUS 41524 HAS SOUPS 41524 WITH SCORE 41579.785
AT ITER 279 NEW BEST:: SOT 77293 SOS 55544 HAS SOPS 55544 HAS SOUS 41487 HAS SOUPS 41487 WITH SCORE 41542.544
AT ITER 284 NEW BEST:: SOT 77286 SOS 55537 HAS SOPS 55537 HAS SOUS 41480 HAS SOUPS 41480 WITH SCORE 41535.537
AT ITER 291 NEW BEST:: SOT 77246 SOS 55411 HAS SOPS 55411 HAS SOUS 41263 HAS SOUPS 41263 WITH SCORE 41318.411
AT ITER 301 NEW BEST:: SOT 77429 SOS 55270 HAS SOPS 55270 HAS SOUS 40960 HAS SOUPS 40960 WITH SCORE 41015.27
AT ITER 304 NEW BEST:: SOT 77363 SOS 55136 HAS SOPS 55136 HAS SOUS 40825 HAS SOUPS 40825 WITH SCORE 40880.136
AT ITER 308 NEW BEST:: SOT 77376 SOS 55180 HAS SOPS 55180 HAS SOUS 40812 HAS SOUPS 40812 WITH SCORE 40867.18
AT ITER 311 NEW BEST:: SOT 77388 SOS 55192 HAS SOPS 55192 HAS SOUS 40800 HAS SOUPS 40800 WITH SCORE 40855.192
AT ITER 312 NEW BEST:: SOT 77387 SOS 55191 HAS SOPS 55191 HAS SOUS 40799 HAS SOUPS 40799 WITH SCORE 40854.191
AT ITER 315 NEW BEST:: SOT 77274 SOS 55027 HAS SOPS 55027 HAS SOUS 40555 HAS SOUPS 40555 WITH SCORE 40610.027
AT ITER 321 NEW BEST:: SOT 77251 SOS 54943 HAS SOPS 54943 HAS SOUS 40471 HAS SOUPS 40471 WITH SCORE 40525.943
AT ITER 325 NEW BEST:: SOT 77242 SOS 54943 HAS SOPS 54943 HAS SOUS 40454 HAS SOUPS 40454 WITH SCORE 40508.943
AT ITER 340 NEW BEST:: SOT 77187 SOS 54888 HAS SOPS 54888 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40449.888
AT ITER 347 NEW BEST:: SOT 77185 SOS 54887 HAS SOPS 54887 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40448.887
AT ITER 350 NEW BEST:: SOT 77414 SOS 54726 HAS SOPS 54726 HAS SOUS 40281 HAS SOUPS 40281 WITH SCORE 40335.726
AT ITER 353 NEW BEST:: SOT 77414 SOS 54725 HAS SOPS 54725 HAS SOUS 40220 HAS SOUPS 40220 WITH SCORE 40274.725
AT ITER 357 NEW BEST:: SOT 77253 SOS 54513 HAS SOPS 54513 HAS SOUS 39928 HAS SOUPS 39928 WITH SCORE 39982.513
AT ITER 360 NEW BEST:: SOT 76978 SOS 53993 HAS SOPS 53993 HAS SOUS 39456 HAS SOUPS 39456 WITH SCORE 39509.993
AT ITER 364 NEW BEST:: SOT 76720 SOS 53199 HAS SOPS 53199 HAS SOUS 38877 HAS SOUPS 38877 WITH SCORE 38930.199
AT ITER 367 NEW BEST:: SOT 76710 SOS 53139 HAS SOPS 53139 HAS SOUS 38847 HAS SOUPS 38847 WITH SCORE 38900.139
AT ITER 371 NEW BEST:: SOT 76574 SOS 53303 HAS SOPS 53303 HAS SOUS 38733 HAS SOUPS 38733 WITH SCORE 38786.303
AT ITER 373 NEW BEST:: SOT 76565 SOS 53257 HAS SOPS 53257 HAS SOUS 38732 HAS SOUPS 38732 WITH SCORE 38785.257
AT ITER 376 NEW BEST:: SOT 76565 SOS 53478 HAS SOPS 53478 HAS SOUS 38592 HAS SOUPS 38592 WITH SCORE 38645.478
AT ITER 380 NEW BEST:: SOT 76589 SOS 53153 HAS SOPS 53153 HAS SOUS 38408 HAS SOUPS 38408 WITH SCORE 38461.153
AT ITER 398 NEW BEST:: SOT 76537 SOS 53306 HAS SOPS 53306 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38412.306
AT ITER 403 NEW BEST:: SOT 76430 SOS 53006 HAS SOPS 53006 HAS SOUS 38261 HAS SOUPS 38261 WITH SCORE 38314.006
AT ITER 426 NEW BEST:: SOT 76387 SOS 52963 HAS SOPS 52963 HAS SOUS 38187 HAS SOUPS 38187 WITH SCORE 38239.963
AT ITER 427 NEW BEST:: SOT 76378 SOS 52951 HAS SOPS 52951 HAS SOUS 38171 HAS SOUPS 38171 WITH SCORE 38223.951
AT ITER 432 NEW BEST:: SOT 76378 SOS 53013 HAS SOPS 53013 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 37996.013
AT ITER 437 NEW BEST:: SOT 76157 SOS 52792 HAS SOPS 52792 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37773.792
AT ITER 440 NEW BEST:: SOT 76157 SOS 52780 HAS SOPS 52780 HAS SOUS 37709 HAS SOUPS 37709 WITH SCORE 37761.78
AT ITER 441 NEW BEST:: SOT 76157 SOS 52768 HAS SOPS 52768 HAS SOUS 37706 HAS SOUPS 37706 WITH SCORE 37758.768
AT ITER 456 NEW BEST:: SOT 76145 SOS 52756 HAS SOPS 52756 HAS SOUS 37690 HAS SOUPS 37690 WITH SCORE 37742.756
AT ITER 459 NEW BEST:: SOT 76203 SOS 52866 HAS SOPS 52866 HAS SOUS 37602 HAS SOUPS 37602 WITH SCORE 37654.866
AT ITER 464 NEW BEST:: SOT 76157 SOS 52818 HAS SOPS 52818 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37611.818
AT ITER 475 NEW BEST:: SOT 76164 SOS 53175 HAS SOPS 53175 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37590.175
AT ITER 484 NEW BEST:: SOT 76150 SOS 53033 HAS SOPS 53033 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37535.033
AT ITER 491 NEW BEST:: SOT 76118 SOS 53004 HAS SOPS 53004 HAS SOUS 37450 HAS SOUPS 37450 WITH SCORE 37503.004
AT ITER 496 NEW BEST:: SOT 76118 SOS 52980 HAS SOPS 52980 HAS SOUS 37413 HAS SOUPS 37413 WITH SCORE 37465.98
AT ITER 497 NEW BEST:: SOT 75933 SOS 52818 HAS SOPS 52818 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37302.818
AT ITER 498 NEW BEST:: SOT 75874 SOS 52759 HAS SOPS 52759 HAS SOUS 37191 HAS SOUPS 37191 WITH SCORE 37243.759
AT ITER 505 NEW BEST:: SOT 75845 SOS 52684 HAS SOPS 52684 HAS SOUS 37145 HAS SOUPS 37145 WITH SCORE 37197.684
AT ITER 511 NEW BEST:: SOT 76074 SOS 52608 HAS SOPS 52608 HAS SOUS 37131 HAS SOUPS 37131 WITH SCORE 37183.608
AT ITER 528 NEW BEST:: SOT 75941 SOS 52433 HAS SOPS 52433 HAS SOUS 36956 HAS SOUPS 36956 WITH SCORE 37008.433
AT ITER 532 NEW BEST:: SOT 75941 SOS 52523 HAS SOPS 52523 HAS SOUS 36954 HAS SOUPS 36954 WITH SCORE 37006.523
AT ITER 546 NEW BEST:: SOT 75824 SOS 52200 HAS SOPS 52200 HAS SOUS 36841 HAS SOUPS 36841 WITH SCORE 36893.2
AT ITER 558 NEW BEST:: SOT 75824 SOS 52015 HAS SOPS 52015 HAS SOUS 36738 HAS SOUPS 36738 WITH SCORE 36790.015
AT ITER 562 NEW BEST:: SOT 75770 SOS 51908 HAS SOPS 51908 HAS SOUS 36692 HAS SOUPS 36692 WITH SCORE 36743.908
AT ITER 564 NEW BEST:: SOT 75795 SOS 52008 HAS SOPS 52008 HAS SOUS 36688 HAS SOUPS 36688 WITH SCORE 36740.008
AT ITER 565 NEW BEST:: SOT 75740 SOS 51917 HAS SOPS 51917 HAS SOUS 36597 HAS SOUPS 36597 WITH SCORE 36648.917
AT ITER 570 NEW BEST:: SOT 75764 SOS 51931 HAS SOPS 51931 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36599.931
AT ITER 573 NEW BEST:: SOT 75745 SOS 51854 HAS SOPS 51854 HAS SOUS 36476 HAS SOUPS 36476 WITH SCORE 36527.854
AT ITER 575 NEW BEST:: SOT 75745 SOS 51354 HAS SOPS 51354 HAS SOUS 36336 HAS SOUPS 36336 WITH SCORE 36387.354
AT ITER 583 NEW BEST:: SOT 75745 SOS 51276 HAS SOPS 51276 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36230.276
AT ITER 588 NEW BEST:: SOT 75656 SOS 51187 HAS SOPS 51187 HAS SOUS 36082 HAS SOUPS 36082 WITH SCORE 36133.187
AT ITER 600 NEW BEST:: SOT 75675 SOS 51022 HAS SOPS 51022 HAS SOUS 35699 HAS SOUPS 35699 WITH SCORE 35750.022
AT ITER 602 NEW BEST:: SOT 75675 SOS 51022 HAS SOPS 51022 HAS SOUS 35675 HAS SOUPS 35675 WITH SCORE 35726.022
AT ITER 603 NEW BEST:: SOT 75673 SOS 51020 HAS SOPS 51020 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35724.02
AT ITER 604 NEW BEST:: SOT 75651 SOS 50945 HAS SOPS 50945 HAS SOUS 35606 HAS SOUPS 35606 WITH SCORE 35656.945
AT ITER 613 NEW BEST:: SOT 75618 SOS 50825 HAS SOPS 50825 HAS SOUS 35544 HAS SOUPS 35544 WITH SCORE 35594.825
AT ITER 617 NEW BEST:: SOT 75534 SOS 50421 HAS SOPS 50421 HAS SOUS 35320 HAS SOUPS 35320 WITH SCORE 35370.421
AT ITER 619 NEW BEST:: SOT 75519 SOS 50406 HAS SOPS 50406 HAS SOUS 35300 HAS SOUPS 35300 WITH SCORE 35350.406
AT ITER 622 NEW BEST:: SOT 75519 SOS 50397 HAS SOPS 50397 HAS SOUS 35288 HAS SOUPS 35288 WITH SCORE 35338.397
AT ITER 625 NEW BEST:: SOT 75490 SOS 50368 HAS SOPS 50368 HAS SOUS 35259 HAS SOUPS 35259 WITH SCORE 35309.368
AT ITER 629 NEW BEST:: SOT 75480 SOS 50358 HAS SOPS 50358 HAS SOUS 35249 HAS SOUPS 35249 WITH SCORE 35299.358
AT ITER 647 NEW BEST:: SOT 75380 SOS 50188 HAS SOPS 50188 HAS SOUS 35092 HAS SOUPS 35092 WITH SCORE 35142.188
AT ITER 650 NEW BEST:: SOT 75320 SOS 50128 HAS SOPS 50128 HAS SOUS 35029 HAS SOUPS 35029 WITH SCORE 35079.128
AT ITER 652 NEW BEST:: SOT 75266 SOS 50075 HAS SOPS 50075 HAS SOUS 34963 HAS SOUPS 34963 WITH SCORE 35013.075
AT ITER 655 NEW BEST:: SOT 75253 SOS 50049 HAS SOPS 50049 HAS SOUS 34952 HAS SOUPS 34952 WITH SCORE 35002.049
AT ITER 659 NEW BEST:: SOT 75213 SOS 50009 HAS SOPS 50009 HAS SOUS 34912 HAS SOUPS 34912 WITH SCORE 34962.009
AT ITER 666 NEW BEST:: SOT 75160 SOS 49904 HAS SOPS 49904 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34864.904
AT ITER 672 NEW BEST:: SOT 75155 SOS 49906 HAS SOPS 49906 HAS SOUS 34811 HAS SOUPS 34811 WITH SCORE 34860.906
AT ITER 681 NEW BEST:: SOT 74985 SOS 49736 HAS SOPS 49736 HAS SOUS 34641 HAS SOUPS 34641 WITH SCORE 34690.736
AT ITER 691 NEW BEST:: SOT 74985 SOS 49691 HAS SOPS 49691 HAS SOUS 34590 HAS SOUPS 34590 WITH SCORE 34639.691
AT ITER 698 NEW BEST:: SOT 74885 SOS 49654 HAS SOPS 49654 HAS SOUS 34553 HAS SOUPS 34553 WITH SCORE 34602.654
AT ITER 706 NEW BEST:: SOT 74881 SOS 49650 HAS SOPS 49650 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34598.65
AT ITER 711 NEW BEST:: SOT 74771 SOS 49257 HAS SOPS 49257 HAS SOUS 34287 HAS SOUPS 34287 WITH SCORE 34336.257
AT ITER 724 NEW BEST:: SOT 74705 SOS 49160 HAS SOPS 49160 HAS SOUS 34125 HAS SOUPS 34125 WITH SCORE 34174.16
AT ITER 728 NEW BEST:: SOT 74598 SOS 49104 HAS SOPS 49104 HAS SOUS 34075 HAS SOUPS 34075 WITH SCORE 34124.104
AT ITER 733 NEW BEST:: SOT 74580 SOS 49074 HAS SOPS 49074 HAS SOUS 34045 HAS SOUPS 34045 WITH SCORE 34094.074
AT ITER 735 NEW BEST:: SOT 74564 SOS 49114 HAS SOPS 49114 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34081.114
AT ITER 736 NEW BEST:: SOT 74476 SOS 49026 HAS SOPS 49026 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33993.026
AT ITER 737 NEW BEST:: SOT 74463 SOS 49000 HAS SOPS 49000 HAS SOUS 33931 HAS SOUPS 33931 WITH SCORE 33980.0
AT ITER 738 NEW BEST:: SOT 74447 SOS 48971 HAS SOPS 48971 HAS SOUS 33902 HAS SOUPS 33902 WITH SCORE 33950.971
AT ITER 747 NEW BEST:: SOT 74392 SOS 48861 HAS SOPS 48861 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33745.861
AT ITER 748 NEW BEST:: SOT 74372 SOS 48841 HAS SOPS 48841 HAS SOUS 33677 HAS SOUPS 33677 WITH SCORE 33725.841
AT ITER 750 NEW BEST:: SOT 74326 SOS 48795 HAS SOPS 48795 HAS SOUS 33631 HAS SOUPS 33631 WITH SCORE 33679.795
AT ITER 753 NEW BEST:: SOT 74268 SOS 48754 HAS SOPS 48754 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33660.754
AT ITER 755 NEW BEST:: SOT 74225 SOS 48711 HAS SOPS 48711 HAS SOUS 33561 HAS SOUPS 33561 WITH SCORE 33609.711
AT ITER 756 NEW BEST:: SOT 74165 SOS 48551 HAS SOPS 48551 HAS SOUS 33381 HAS SOUPS 33381 WITH SCORE 33429.551
AT ITER 761 NEW BEST:: SOT 74240 SOS 48739 HAS SOPS 48739 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33426.739
AT ITER 763 NEW BEST:: SOT 74297 SOS 48740 HAS SOPS 48740 HAS SOUS 33359 HAS SOUPS 33359 WITH SCORE 33407.74
AT ITER 770 NEW BEST:: SOT 74424 SOS 48545 HAS SOPS 48545 HAS SOUS 33166 HAS SOUPS 33166 WITH SCORE 33214.545
AT ITER 772 NEW BEST:: SOT 74531 SOS 48501 HAS SOPS 48501 HAS SOUS 33021 HAS SOUPS 33021 WITH SCORE 33069.501
AT ITER 774 NEW BEST:: SOT 74380 SOS 48350 HAS SOPS 48350 HAS SOUS 32870 HAS SOUPS 32870 WITH SCORE 32918.35
AT ITER 775 NEW BEST:: SOT 74363 SOS 48323 HAS SOPS 48323 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32851.323
AT ITER 785 NEW BEST:: SOT 74366 SOS 48356 HAS SOPS 48356 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32833.356
AT ITER 796 NEW BEST:: SOT 74366 SOS 48320 HAS SOPS 48320 HAS SOUS 32737 HAS SOUPS 32737 WITH SCORE 32785.32
AT ITER 797 NEW BEST:: SOT 74186 SOS 48095 HAS SOPS 48095 HAS SOUS 32332 HAS SOUPS 32332 WITH SCORE 32380.095
AT ITER 809 NEW BEST:: SOT 74171 SOS 48080 HAS SOPS 48080 HAS SOUS 32317 HAS SOUPS 32317 WITH SCORE 32365.08
AT ITER 811 NEW BEST:: SOT 74159 SOS 48062 HAS SOPS 48062 HAS SOUS 32305 HAS SOUPS 32305 WITH SCORE 32353.062
AT ITER 814 NEW BEST:: SOT 74143 SOS 48019 HAS SOPS 48019 HAS SOUS 32172 HAS SOUPS 32172 WITH SCORE 32220.019
AT ITER 817 NEW BEST:: SOT 74140 SOS 48012 HAS SOPS 48012 HAS SOUS 32151 HAS SOUPS 32151 WITH SCORE 32199.012
AT ITER 825 NEW BEST:: SOT 74110 SOS 47977 HAS SOPS 47977 HAS SOUS 32111 HAS SOUPS 32111 WITH SCORE 32158.977
AT ITER 834 NEW BEST:: SOT 74016 SOS 47809 HAS SOPS 47809 HAS SOUS 31877 HAS SOUPS 31877 WITH SCORE 31924.809
AT ITER 843 NEW BEST:: SOT 73921 SOS 47676 HAS SOPS 47676 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31772.676
AT ITER 852 NEW BEST:: SOT 73897 SOS 47368 HAS SOPS 47368 HAS SOUS 31593 HAS SOUPS 31593 WITH SCORE 31640.368
AT ITER 861 NEW BEST:: SOT 73870 SOS 47226 HAS SOPS 47226 HAS SOUS 31579 HAS SOUPS 31579 WITH SCORE 31626.226
AT ITER 863 NEW BEST:: SOT 73758 SOS 47123 HAS SOPS 47123 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31523.123
AT ITER 866 NEW BEST:: SOT 73684 SOS 47119 HAS SOPS 47119 HAS SOUS 31451 HAS SOUPS 31451 WITH SCORE 31498.119
AT ITER 870 NEW BEST:: SOT 73658 SOS 47131 HAS SOPS 47131 HAS SOUS 31404 HAS SOUPS 31404 WITH SCORE 31451.131
AT ITER 873 NEW BEST:: SOT 73648 SOS 47121 HAS SOPS 47121 HAS SOUS 31394 HAS SOUPS 31394 WITH SCORE 31441.121
AT ITER 886 NEW BEST:: SOT 73621 SOS 47007 HAS SOPS 47007 HAS SOUS 31178 HAS SOUPS 31178 WITH SCORE 31225.007
AT ITER 893 NEW BEST:: SOT 73553 SOS 46939 HAS SOPS 46939 HAS SOUS 31074 HAS SOUPS 31074 WITH SCORE 31120.939
AT ITER 898 NEW BEST:: SOT 73597 SOS 46910 HAS SOPS 46910 HAS SOUS 31073 HAS SOUPS 31073 WITH SCORE 31119.91
AT ITER 902 NEW BEST:: SOT 73550 SOS 46924 HAS SOPS 46924 HAS SOUS 31030 HAS SOUPS 31030 WITH SCORE 31076.924
AT ITER 910 NEW BEST:: SOT 73556 SOS 46917 HAS SOPS 46917 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31075.917
AT ITER 915 NEW BEST:: SOT 73468 SOS 46904 HAS SOPS 46904 HAS SOUS 30973 HAS SOUPS 30973 WITH SCORE 31019.904
AT ITER 925 NEW BEST:: SOT 73509 SOS 47045 HAS SOPS 47045 HAS SOUS 30941 HAS SOUPS 30941 WITH SCORE 30988.045
AT ITER 926 NEW BEST:: SOT 73523 SOS 47043 HAS SOPS 47043 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30970.043
AT ITER 936 NEW BEST:: SOT 73520 SOS 47031 HAS SOPS 47031 HAS SOUS 30917 HAS SOUPS 30917 WITH SCORE 30964.031
AT ITER 940 NEW BEST:: SOT 73284 SOS 46750 HAS SOPS 46750 HAS SOUS 30506 HAS SOUPS 30506 WITH SCORE 30552.75
AT ITER 941 NEW BEST:: SOT 73280 SOS 46714 HAS SOPS 46714 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30488.714
AT ITER 945 NEW BEST:: SOT 73272 SOS 46706 HAS SOPS 46706 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30456.706
AT ITER 947 NEW BEST:: SOT 73246 SOS 46674 HAS SOPS 46674 HAS SOUS 30366 HAS SOUPS 30366 WITH SCORE 30412.674
AT ITER 957 NEW BEST:: SOT 73233 SOS 46583 HAS SOPS 46583 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 30411.583
AT ITER 962 NEW BEST:: SOT 73175 SOS 46525 HAS SOPS 46525 HAS SOUS 30239 HAS SOUPS 30239 WITH SCORE 30285.525
AT ITER 986 NEW BEST:: SOT 73140 SOS 46490 HAS SOPS 46490 HAS SOUS 30204 HAS SOUPS 30204 WITH SCORE 30250.49
AT ITER 988 NEW BEST:: SOT 73146 SOS 46496 HAS SOPS 46496 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30248.496
AT ITER 1003 NEW BEST:: SOT 73117 SOS 46467 HAS SOPS 46467 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30219.467
AT ITER 1012 NEW BEST:: SOT 73117 SOS 46457 HAS SOPS 46457 HAS SOUS 30166 HAS SOUPS 30166 WITH SCORE 30212.457
AT ITER 1019 NEW BEST:: SOT 73155 SOS 46423 HAS SOPS 46423 HAS SOUS 30132 HAS SOUPS 30132 WITH SCORE 30178.423
AT ITER 1030 NEW BEST:: SOT 73152 SOS 46420 HAS SOPS 46420 HAS SOUS 30123 HAS SOUPS 30123 WITH SCORE 30169.42
AT ITER 1046 NEW BEST:: SOT 73114 SOS 46450 HAS SOPS 46450 HAS SOUS 30047 HAS SOUPS 30047 WITH SCORE 30093.45
AT ITER 1050 NEW BEST:: SOT 73112 SOS 46443 HAS SOPS 46443 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30091.443
AT ITER 1056 NEW BEST:: SOT 73109 SOS 46388 HAS SOPS 46388 HAS SOUS 30040 HAS SOUPS 30040 WITH SCORE 30086.388
AT ITER 1070 NEW BEST:: SOT 73108 SOS 46387 HAS SOPS 46387 HAS SOUS 30039 HAS SOUPS 30039 WITH SCORE 30085.387
AT ITER 1072 NEW BEST:: SOT 73108 SOS 46368 HAS SOPS 46368 HAS SOUS 30039 HAS SOUPS 30039 WITH SCORE 30085.368
AT ITER 1078 NEW BEST:: SOT 73123 SOS 46368 HAS SOPS 46368 HAS SOUS 30030 HAS SOUPS 30030 WITH SCORE 30076.368
AT ITER 1083 NEW BEST:: SOT 73090 SOS 46302 HAS SOPS 46302 HAS SOUS 29940 HAS SOUPS 29940 WITH SCORE 29986.302
AT ITER 1085 NEW BEST:: SOT 73066 SOS 46278 HAS SOPS 46278 HAS SOUS 29916 HAS SOUPS 29916 WITH SCORE 29962.278
AT ITER 1095 NEW BEST:: SOT 72836 SOS 45672 HAS SOPS 45672 HAS SOUS 29549 HAS SOUPS 29549 WITH SCORE 29594.672
AT ITER 1096 NEW BEST:: SOT 72794 SOS 45651 HAS SOPS 45651 HAS SOUS 29528 HAS SOUPS 29528 WITH SCORE 29573.651
AT ITER 1110 NEW BEST:: SOT 72779 SOS 45629 HAS SOPS 45629 HAS SOUS 29499 HAS SOUPS 29499 WITH SCORE 29544.629
AT ITER 1112 NEW BEST:: SOT 72697 SOS 45574 HAS SOPS 45574 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29489.574
AT ITER 1130 NEW BEST:: SOT 72627 SOS 45518 HAS SOPS 45518 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29433.518
AT ITER 1137 NEW BEST:: SOT 72627 SOS 45515 HAS SOPS 45515 HAS SOUS 29362 HAS SOUPS 29362 WITH SCORE 29407.515
AT ITER 1141 NEW BEST:: SOT 72561 SOS 45449 HAS SOPS 45449 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29389.449
AT ITER 1142 NEW BEST:: SOT 72507 SOS 44819 HAS SOPS 44819 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29238.819
AT ITER 1143 NEW BEST:: SOT 72507 SOS 44764 HAS SOPS 44764 HAS SOUS 29192 HAS SOUPS 29192 WITH SCORE 29236.764
AT ITER 1148 NEW BEST:: SOT 72485 SOS 44525 HAS SOPS 44525 HAS SOUS 29142 HAS SOUPS 29142 WITH SCORE 29186.525
AT ITER 1152 NEW BEST:: SOT 72457 SOS 44283 HAS SOPS 44283 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 29010.283
AT ITER 1156 NEW BEST:: SOT 72457 SOS 44283 HAS SOPS 44283 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 29006.283
AT ITER 1163 NEW BEST:: SOT 72457 SOS 44235 HAS SOPS 44235 HAS SOUS 28897 HAS SOUPS 28897 WITH SCORE 28941.235
AT ITER 1169 NEW BEST:: SOT 72457 SOS 44277 HAS SOPS 44277 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28888.277
AT ITER 1177 NEW BEST:: SOT 72283 SOS 44083 HAS SOPS 44083 HAS SOUS 28660 HAS SOUPS 28660 WITH SCORE 28704.083
AT ITER 1179 NEW BEST:: SOT 72156 SOS 43698 HAS SOPS 43698 HAS SOUS 28625 HAS SOUPS 28625 WITH SCORE 28668.698
AT ITER 1202 NEW BEST:: SOT 72114 SOS 43656 HAS SOPS 43656 HAS SOUS 28583 HAS SOUPS 28583 WITH SCORE 28626.656
AT ITER 1204 NEW BEST:: SOT 72068 SOS 43602 HAS SOPS 43602 HAS SOUS 28529 HAS SOUPS 28529 WITH SCORE 28572.602
AT ITER 1207 NEW BEST:: SOT 72018 SOS 43382 HAS SOPS 43382 HAS SOUS 28367 HAS SOUPS 28367 WITH SCORE 28410.382
AT ITER 1217 NEW BEST:: SOT 72018 SOS 43187 HAS SOPS 43187 HAS SOUS 28357 HAS SOUPS 28357 WITH SCORE 28400.187
AT ITER 1227 NEW BEST:: SOT 72053 SOS 43331 HAS SOPS 43331 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28246.331
AT ITER 1239 NEW BEST:: SOT 71792 SOS 43000 HAS SOPS 43000 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27814.0
AT ITER 1242 NEW BEST:: SOT 71744 SOS 42930 HAS SOPS 42930 HAS SOUS 27693 HAS SOUPS 27693 WITH SCORE 27735.93
AT ITER 1247 NEW BEST:: SOT 71736 SOS 42922 HAS SOPS 42922 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27726.922
AT ITER 1248 NEW BEST:: SOT 71723 SOS 42938 HAS SOPS 42938 HAS SOUS 27674 HAS SOUPS 27674 WITH SCORE 27716.938
AT ITER 1255 NEW BEST:: SOT 71633 SOS 42848 HAS SOPS 42848 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27604.848
AT ITER 1281 NEW BEST:: SOT 71591 SOS 42360 HAS SOPS 42360 HAS SOUS 27438 HAS SOUPS 27438 WITH SCORE 27480.36
AT ITER 1294 NEW BEST:: SOT 71546 SOS 42306 HAS SOPS 42306 HAS SOUS 27318 HAS SOUPS 27318 WITH SCORE 27360.306
AT ITER 1309 NEW BEST:: SOT 71455 SOS 42205 HAS SOPS 42205 HAS SOUS 27179 HAS SOUPS 27179 WITH SCORE 27221.205
AT ITER 1331 NEW BEST:: SOT 71434 SOS 42167 HAS SOPS 42167 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27180.167
AT ITER 1348 NEW BEST:: SOT 71433 SOS 42150 HAS SOPS 42150 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27180.15
AT ITER 1349 NEW BEST:: SOT 71407 SOS 42091 HAS SOPS 42091 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27136.091
AT ITER 1355 NEW BEST:: SOT 71389 SOS 41947 HAS SOPS 41947 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27063.947
AT ITER 1368 NEW BEST:: SOT 71240 SOS 41241 HAS SOPS 41241 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26903.241
AT ITER 1383 NEW BEST:: SOT 71226 SOS 41229 HAS SOPS 41229 HAS SOUS 26849 HAS SOUPS 26849 WITH SCORE 26890.229
AT ITER 1405 NEW BEST:: SOT 71107 SOS 40758 HAS SOPS 40758 HAS SOUS 26685 HAS SOUPS 26685 WITH SCORE 26725.758
AT ITER 1409 NEW BEST:: SOT 71052 SOS 40709 HAS SOPS 40709 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26670.709
AT ITER 1410 NEW BEST:: SOT 71048 SOS 40705 HAS SOPS 40705 HAS SOUS 26626 HAS SOUPS 26626 WITH SCORE 26666.705
AT ITER 1421 NEW BEST:: SOT 71049 SOS 40704 HAS SOPS 40704 HAS SOUS 26625 HAS SOUPS 26625 WITH SCORE 26665.704
AT ITER 1425 NEW BEST:: SOT 71037 SOS 40692 HAS SOPS 40692 HAS SOUS 26613 HAS SOUPS 26613 WITH SCORE 26653.692
AT ITER 1435 NEW BEST:: SOT 70937 SOS 40433 HAS SOPS 40433 HAS SOUS 26306 HAS SOUPS 26306 WITH SCORE 26346.433
AT ITER 1436 NEW BEST:: SOT 70947 SOS 40443 HAS SOPS 40443 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26321.443
AT ITER 1442 NEW BEST:: SOT 70937 SOS 40423 HAS SOPS 40423 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26278.423
AT ITER 1446 NEW BEST:: SOT 70925 SOS 40375 HAS SOPS 40375 HAS SOUS 26220 HAS SOUPS 26220 WITH SCORE 26260.375
AT ITER 1453 NEW BEST:: SOT 70915 SOS 40362 HAS SOPS 40362 HAS SOUS 26211 HAS SOUPS 26211 WITH SCORE 26251.362
AT ITER 1460 NEW BEST:: SOT 70898 SOS 40345 HAS SOPS 40345 HAS SOUS 26161 HAS SOUPS 26161 WITH SCORE 26201.345
AT ITER 1461 NEW BEST:: SOT 70890 SOS 40333 HAS SOPS 40333 HAS SOUS 26149 HAS SOUPS 26149 WITH SCORE 26189.333
AT ITER 1469 NEW BEST:: SOT 70884 SOS 40183 HAS SOPS 40183 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26173.183
AT ITER 1478 NEW BEST:: SOT 70836 SOS 40115 HAS SOPS 40115 HAS SOUS 26039 HAS SOUPS 26039 WITH SCORE 26079.115
AT ITER 1485 NEW BEST:: SOT 70774 SOS 40026 HAS SOPS 40026 HAS SOUS 25980 HAS SOUPS 25980 WITH SCORE 26020.026
AT ITER 1494 NEW BEST:: SOT 70761 SOS 40013 HAS SOPS 40013 HAS SOUS 25974 HAS SOUPS 25974 WITH SCORE 26014.013
AT ITER 1498 NEW BEST:: SOT 70761 SOS 39886 HAS SOPS 39886 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 26006.886
AT ITER 1502 NEW BEST:: SOT 70758 SOS 39880 HAS SOPS 39880 HAS SOUS 25955 HAS SOUPS 25955 WITH SCORE 25994.88
AT ITER 1514 NEW BEST:: SOT 70741 SOS 39841 HAS SOPS 39841 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25963.841
AT ITER 1535 NEW BEST:: SOT 70743 SOS 39840 HAS SOPS 39840 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25962.84
AT ITER 1541 NEW BEST:: SOT 70704 SOS 39728 HAS SOPS 39728 HAS SOUS 25793 HAS SOUPS 25793 WITH SCORE 25832.728
AT ITER 1544 NEW BEST:: SOT 70716 SOS 39762 HAS SOPS 39762 HAS SOUS 25765 HAS SOUPS 25765 WITH SCORE 25804.762
AT ITER 1555 NEW BEST:: SOT 70707 SOS 39753 HAS SOPS 39753 HAS SOUS 25756 HAS SOUPS 25756 WITH SCORE 25795.753
AT ITER 1560 NEW BEST:: SOT 70707 SOS 39587 HAS SOPS 39587 HAS SOUS 25735 HAS SOUPS 25735 WITH SCORE 25774.587
AT ITER 1571 NEW BEST:: SOT 70649 SOS 39509 HAS SOPS 39509 HAS SOUS 25585 HAS SOUPS 25585 WITH SCORE 25624.509
AT ITER 1578 NEW BEST:: SOT 70644 SOS 39504 HAS SOPS 39504 HAS SOUS 25535 HAS SOUPS 25535 WITH SCORE 25574.504
AT ITER 1605 NEW BEST:: SOT 70597 SOS 39494 HAS SOPS 39494 HAS SOUS 25526 HAS SOUPS 25526 WITH SCORE 25565.494
AT ITER 1628 NEW BEST:: SOT 70565 SOS 39462 HAS SOPS 39462 HAS SOUS 25494 HAS SOUPS 25494 WITH SCORE 25533.462
AT ITER 1644 NEW BEST:: SOT 70565 SOS 39464 HAS SOPS 39464 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25531.464
AT ITER 1663 NEW BEST:: SOT 70585 SOS 39426 HAS SOPS 39426 HAS SOUS 25414 HAS SOUPS 25414 WITH SCORE 25453.426
AT ITER 1672 NEW BEST:: SOT 70597 SOS 39516 HAS SOPS 39516 HAS SOUS 25408 HAS SOUPS 25408 WITH SCORE 25447.516
AT ITER 1684 NEW BEST:: SOT 70513 SOS 39365 HAS SOPS 39365 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25318.365
AT ITER 1690 NEW BEST:: SOT 70508 SOS 39360 HAS SOPS 39360 HAS SOUS 25274 HAS SOUPS 25274 WITH SCORE 25313.36
AT ITER 1701 NEW BEST:: SOT 70499 SOS 39351 HAS SOPS 39351 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25295.351
AT ITER 1716 NEW BEST:: SOT 70441 SOS 39293 HAS SOPS 39293 HAS SOUS 25169 HAS SOUPS 25169 WITH SCORE 25208.293
AT ITER 1726 NEW BEST:: SOT 70428 SOS 39280 HAS SOPS 39280 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25182.28
AT ITER 1737 NEW BEST:: SOT 70411 SOS 39230 HAS SOPS 39230 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25016.23
AT ITER 1754 NEW BEST:: SOT 70348 SOS 39148 HAS SOPS 39148 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24934.148
AT ITER 1762 NEW BEST:: SOT 70350 SOS 39018 HAS SOPS 39018 HAS SOUS 24783 HAS SOUPS 24783 WITH SCORE 24822.018
AT ITER 1776 NEW BEST:: SOT 70350 SOS 39016 HAS SOPS 39016 HAS SOUS 24783 HAS SOUPS 24783 WITH SCORE 24822.016
AT ITER 1790 NEW BEST:: SOT 70342 SOS 38984 HAS SOPS 38984 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24818.984
AT ITER 1808 NEW BEST:: SOT 70330 SOS 38972 HAS SOPS 38972 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24806.972
AT ITER 1817 NEW BEST:: SOT 70279 SOS 38844 HAS SOPS 38844 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24762.844
AT ITER 1822 NEW BEST:: SOT 70374 SOS 38647 HAS SOPS 38647 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24732.647
AT ITER 1834 NEW BEST:: SOT 70290 SOS 38459 HAS SOPS 38459 HAS SOUS 24544 HAS SOUPS 24544 WITH SCORE 24582.459
AT ITER 1836 NEW BEST:: SOT 70278 SOS 38415 HAS SOPS 38415 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24575.415
AT ITER 1856 NEW BEST:: SOT 70274 SOS 38407 HAS SOPS 38407 HAS SOUS 24533 HAS SOUPS 24533 WITH SCORE 24571.407
AT ITER 1871 NEW BEST:: SOT 70251 SOS 38342 HAS SOPS 38342 HAS SOUS 24483 HAS SOUPS 24483 WITH SCORE 24521.342
AT ITER 1875 NEW BEST:: SOT 70095 SOS 38186 HAS SOPS 38186 HAS SOUS 24235 HAS SOUPS 24235 WITH SCORE 24273.186
AT ITER 1892 NEW BEST:: SOT 70092 SOS 38177 HAS SOPS 38177 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24267.177
AT ITER 1896 NEW BEST:: SOT 70061 SOS 37981 HAS SOPS 37981 HAS SOUS 24207 HAS SOUPS 24207 WITH SCORE 24244.981
AT ITER 1897 NEW BEST:: SOT 70052 SOS 37963 HAS SOPS 37963 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24190.963
AT ITER 1918 NEW BEST:: SOT 70071 SOS 37745 HAS SOPS 37745 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24115.745
AT ITER 1924 NEW BEST:: SOT 70119 SOS 37790 HAS SOPS 37790 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24111.79
AT ITER 1925 NEW BEST:: SOT 70092 SOS 37743 HAS SOPS 37743 HAS SOUS 24066 HAS SOUPS 24066 WITH SCORE 24103.743
AT ITER 1931 NEW BEST:: SOT 70034 SOS 37570 HAS SOPS 37570 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23976.57
AT ITER 1949 NEW BEST:: SOT 69998 SOS 37534 HAS SOPS 37534 HAS SOUS 23903 HAS SOUPS 23903 WITH SCORE 23940.534
AT ITER 1958 NEW BEST:: SOT 70005 SOS 37502 HAS SOPS 37502 HAS SOUS 23870 HAS SOUPS 23870 WITH SCORE 23907.502
AT ITER 1980 NEW BEST:: SOT 69905 SOS 37030 HAS SOPS 37030 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23694.03
AT ITER 1984 NEW BEST:: SOT 69844 SOS 36987 HAS SOPS 36987 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23641.987
AT ITER 1987 NEW BEST:: SOT 69844 SOS 36989 HAS SOPS 36989 HAS SOUS 23601 HAS SOUPS 23601 WITH SCORE 23637.989
AT ITER 1993 NEW BEST:: SOT 69827 SOS 36853 HAS SOPS 36853 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23552.853
AT ITER 2005 NEW BEST:: SOT 69813 SOS 36775 HAS SOPS 36775 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23533.775
AT ITER 2018 NEW BEST:: SOT 69813 SOS 36767 HAS SOPS 36767 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23531.767
AT ITER 2041 NEW BEST:: SOT 69780 SOS 36710 HAS SOPS 36710 HAS SOUS 23457 HAS SOUPS 23457 WITH SCORE 23493.71
AT ITER 2062 NEW BEST:: SOT 69705 SOS 36409 HAS SOPS 36409 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23268.409
AT ITER 2063 NEW BEST:: SOT 69682 SOS 36386 HAS SOPS 36386 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23236.386
AT ITER 2068 NEW BEST:: SOT 69633 SOS 36269 HAS SOPS 36269 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23151.269
AT ITER 2097 NEW BEST:: SOT 69633 SOS 36464 HAS SOPS 36464 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23097.464
AT ITER 2116 NEW BEST:: SOT 69523 SOS 36384 HAS SOPS 36384 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23020.384
AT ITER 2119 NEW BEST:: SOT 69523 SOS 36378 HAS SOPS 36378 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23017.378
AT ITER 2127 NEW BEST:: SOT 69548 SOS 36440 HAS SOPS 36440 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22985.44
AT ITER 2136 NEW BEST:: SOT 69516 SOS 36408 HAS SOPS 36408 HAS SOUS 22885 HAS SOUPS 22885 WITH SCORE 22921.408
AT ITER 2150 NEW BEST:: SOT 69482 SOS 36469 HAS SOPS 36469 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22909.469
AT ITER 2164 NEW BEST:: SOT 69465 SOS 36415 HAS SOPS 36415 HAS SOUS 22869 HAS SOUPS 22869 WITH SCORE 22905.415
AT ITER 2175 NEW BEST:: SOT 69476 SOS 36415 HAS SOPS 36415 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22865.415
AT ITER 2200 NEW BEST:: SOT 69473 SOS 36400 HAS SOPS 36400 HAS SOUS 22820 HAS SOUPS 22820 WITH SCORE 22856.4
AT ITER 2208 NEW BEST:: SOT 69413 SOS 36374 HAS SOPS 36374 HAS SOUS 22794 HAS SOUPS 22794 WITH SCORE 22830.374
AT ITER 2210 NEW BEST:: SOT 69412 SOS 36372 HAS SOPS 36372 HAS SOUS 22789 HAS SOUPS 22789 WITH SCORE 22825.372
AT ITER 2231 NEW BEST:: SOT 69378 SOS 36375 HAS SOPS 36375 HAS SOUS 22785 HAS SOUPS 22785 WITH SCORE 22821.375
AT ITER 2241 NEW BEST:: SOT 69347 SOS 36306 HAS SOPS 36306 HAS SOUS 22752 HAS SOUPS 22752 WITH SCORE 22788.306
AT ITER 2242 NEW BEST:: SOT 69382 SOS 36236 HAS SOPS 36236 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22769.236
AT ITER 2265 NEW BEST:: SOT 69319 SOS 36180 HAS SOPS 36180 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22713.18
AT ITER 2272 NEW BEST:: SOT 69316 SOS 36171 HAS SOPS 36171 HAS SOUS 22593 HAS SOUPS 22593 WITH SCORE 22629.171
AT ITER 2282 NEW BEST:: SOT 69230 SOS 36068 HAS SOPS 36068 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22501.068
AT ITER 2296 NEW BEST:: SOT 69116 SOS 35610 HAS SOPS 35610 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22472.61
AT ITER 2308 NEW BEST:: SOT 69065 SOS 35411 HAS SOPS 35411 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22345.411
AT ITER 2355 NEW BEST:: SOT 69020 SOS 35298 HAS SOPS 35298 HAS SOUS 22248 HAS SOUPS 22248 WITH SCORE 22283.298
AT ITER 2368 NEW BEST:: SOT 68990 SOS 35268 HAS SOPS 35268 HAS SOUS 22218 HAS SOUPS 22218 WITH SCORE 22253.268
AT ITER 2377 NEW BEST:: SOT 69004 SOS 35265 HAS SOPS 35265 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22243.265
AT ITER 2379 NEW BEST:: SOT 69074 SOS 35249 HAS SOPS 35249 HAS SOUS 22207 HAS SOUPS 22207 WITH SCORE 22242.249
AT ITER 2385 NEW BEST:: SOT 69074 SOS 35076 HAS SOPS 35076 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22177.076
AT ITER 2399 NEW BEST:: SOT 69064 SOS 35071 HAS SOPS 35071 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22167.071
AT ITER 2405 NEW BEST:: SOT 69067 SOS 35074 HAS SOPS 35074 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22147.074
AT ITER 2418 NEW BEST:: SOT 68918 SOS 34946 HAS SOPS 34946 HAS SOUS 22025 HAS SOUPS 22025 WITH SCORE 22059.946
AT ITER 2429 NEW BEST:: SOT 68903 SOS 34966 HAS SOPS 34966 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22054.966
AT ITER 2485 NEW BEST:: SOT 68896 SOS 34959 HAS SOPS 34959 HAS SOUS 22013 HAS SOUPS 22013 WITH SCORE 22047.959
AT ITER 2492 NEW BEST:: SOT 68830 SOS 34823 HAS SOPS 34823 HAS SOUS 21970 HAS SOUPS 21970 WITH SCORE 22004.823
AT ITER 2495 NEW BEST:: SOT 68830 SOS 34811 HAS SOPS 34811 HAS SOUS 21958 HAS SOUPS 21958 WITH SCORE 21992.811
AT ITER 2520 NEW BEST:: SOT 68808 SOS 34680 HAS SOPS 34680 HAS SOUS 21954 HAS SOUPS 21954 WITH SCORE 21988.68
AT ITER 2521 NEW BEST:: SOT 68801 SOS 34673 HAS SOPS 34673 HAS SOUS 21947 HAS SOUPS 21947 WITH SCORE 21981.673
AT ITER 2528 NEW BEST:: SOT 68791 SOS 34661 HAS SOPS 34661 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21963.661
AT ITER 2531 NEW BEST:: SOT 68854 SOS 34614 HAS SOPS 34614 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21928.614
AT ITER 2536 NEW BEST:: SOT 68854 SOS 34613 HAS SOPS 34613 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21927.613
AT ITER 2541 NEW BEST:: SOT 68862 SOS 34603 HAS SOPS 34603 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21921.603
AT ITER 2542 NEW BEST:: SOT 68733 SOS 34449 HAS SOPS 34449 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21790.449
AT ITER 2546 NEW BEST:: SOT 68682 SOS 34398 HAS SOPS 34398 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21696.398
AT ITER 2572 NEW BEST:: SOT 68631 SOS 34335 HAS SOPS 34335 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21584.335
AT ITER 2573 NEW BEST:: SOT 68631 SOS 34290 HAS SOPS 34290 HAS SOUS 21526 HAS SOUPS 21526 WITH SCORE 21560.29
AT ITER 2640 NEW BEST:: SOT 68661 SOS 34250 HAS SOPS 34250 HAS SOUS 21486 HAS SOUPS 21486 WITH SCORE 21520.25
AT ITER 2644 NEW BEST:: SOT 68696 SOS 34285 HAS SOPS 34285 HAS SOUS 21480 HAS SOUPS 21480 WITH SCORE 21514.285
AT ITER 2649 NEW BEST:: SOT 68656 SOS 34113 HAS SOPS 34113 HAS SOUS 21440 HAS SOUPS 21440 WITH SCORE 21474.113
AT ITER 2666 NEW BEST:: SOT 68635 SOS 33982 HAS SOPS 33982 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21392.982
AT ITER 2671 NEW BEST:: SOT 68623 SOS 33970 HAS SOPS 33970 HAS SOUS 21347 HAS SOUPS 21347 WITH SCORE 21380.97
AT ITER 2676 NEW BEST:: SOT 68593 SOS 33969 HAS SOPS 33969 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21352.969
AT ITER 2692 NEW BEST:: SOT 68611 SOS 33971 HAS SOPS 33971 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21351.971
AT ITER 2694 NEW BEST:: SOT 68608 SOS 33962 HAS SOPS 33962 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21351.962
AT ITER 2700 NEW BEST:: SOT 68524 SOS 33934 HAS SOPS 33934 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21320.934
AT ITER 2707 NEW BEST:: SOT 68473 SOS 33973 HAS SOPS 33973 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21209.973
AT ITER 2733 NEW BEST:: SOT 68441 SOS 33941 HAS SOPS 33941 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21177.941
AT ITER 2758 NEW BEST:: SOT 68508 SOS 34001 HAS SOPS 34001 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21172.001
AT ITER 2775 NEW BEST:: SOT 68491 SOS 33979 HAS SOPS 33979 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21104.979
AT ITER 2777 NEW BEST:: SOT 68491 SOS 33781 HAS SOPS 33781 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21101.781
AT ITER 2780 NEW BEST:: SOT 68421 SOS 33651 HAS SOPS 33651 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 20994.651
AT ITER 2781 NEW BEST:: SOT 68315 SOS 33513 HAS SOPS 33513 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20886.513
AT ITER 2794 NEW BEST:: SOT 68275 SOS 33446 HAS SOPS 33446 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20801.446
AT ITER 2832 NEW BEST:: SOT 68260 SOS 33438 HAS SOPS 33438 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20793.438
AT ITER 2838 NEW BEST:: SOT 68259 SOS 33368 HAS SOPS 33368 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20741.368
AT ITER 2840 NEW BEST:: SOT 68265 SOS 33374 HAS SOPS 33374 HAS SOUS 20696 HAS SOUPS 20696 WITH SCORE 20729.374
AT ITER 2848 NEW BEST:: SOT 68263 SOS 33370 HAS SOPS 33370 HAS SOUS 20675 HAS SOUPS 20675 WITH SCORE 20708.37
AT ITER 2865 NEW BEST:: SOT 68275 SOS 33348 HAS SOPS 33348 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20695.348
AT ITER 2878 NEW BEST:: SOT 68275 SOS 33297 HAS SOPS 33297 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20676.297
AT ITER 2879 NEW BEST:: SOT 68366 SOS 33355 HAS SOPS 33355 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20655.355
AT ITER 2907 NEW BEST:: SOT 68407 SOS 33255 HAS SOPS 33255 HAS SOUS 20604 HAS SOUPS 20604 WITH SCORE 20637.255
AT ITER 2910 NEW BEST:: SOT 68419 SOS 33387 HAS SOPS 33387 HAS SOUS 20588 HAS SOUPS 20588 WITH SCORE 20621.387
AT ITER 2916 NEW BEST:: SOT 68395 SOS 33363 HAS SOPS 33363 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20607.363
AT ITER 2917 NEW BEST:: SOT 68393 SOS 33362 HAS SOPS 33362 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20606.362
AT ITER 2924 NEW BEST:: SOT 68241 SOS 33149 HAS SOPS 33149 HAS SOUS 20410 HAS SOUPS 20410 WITH SCORE 20443.149
AT ITER 2928 NEW BEST:: SOT 68241 SOS 33131 HAS SOPS 33131 HAS SOUS 20410 HAS SOUPS 20410 WITH SCORE 20443.131
AT ITER 2930 NEW BEST:: SOT 68197 SOS 33095 HAS SOPS 33095 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20406.095
AT ITER 2932 NEW BEST:: SOT 68180 SOS 33094 HAS SOPS 33094 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20401.094
AT ITER 2966 NEW BEST:: SOT 68165 SOS 33013 HAS SOPS 33013 HAS SOUS 20309 HAS SOUPS 20309 WITH SCORE 20342.013
AT ITER 2977 NEW BEST:: SOT 68164 SOS 33006 HAS SOPS 33006 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20336.006
AT ITER 3003 NEW BEST:: SOT 68164 SOS 33000 HAS SOPS 33000 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20336.0
AT ITER 3011 NEW BEST:: SOT 68141 SOS 32938 HAS SOPS 32938 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20248.938
AT ITER 3012 NEW BEST:: SOT 68156 SOS 32941 HAS SOPS 32941 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20245.941
AT ITER 3014 NEW BEST:: SOT 68093 SOS 32892 HAS SOPS 32892 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20181.892
AT ITER 3065 NEW BEST:: SOT 68159 SOS 32890 HAS SOPS 32890 HAS SOUS 20101 HAS SOUPS 20101 WITH SCORE 20133.89
AT ITER 3075 NEW BEST:: SOT 68156 SOS 32886 HAS SOPS 32886 HAS SOUS 20093 HAS SOUPS 20093 WITH SCORE 20125.886
AT ITER 3107 NEW BEST:: SOT 68154 SOS 32884 HAS SOPS 32884 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20123.884
AT ITER 3135 NEW BEST:: SOT 68152 SOS 32882 HAS SOPS 32882 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20121.882
AT ITER 3136 NEW BEST:: SOT 68142 SOS 32806 HAS SOPS 32806 HAS SOUS 20060 HAS SOUPS 20060 WITH SCORE 20092.806
AT ITER 3142 NEW BEST:: SOT 67924 SOS 32518 HAS SOPS 32518 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19790.518
AT ITER 3157 NEW BEST:: SOT 67912 SOS 32482 HAS SOPS 32482 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19790.482
AT ITER 3162 NEW BEST:: SOT 67878 SOS 32437 HAS SOPS 32437 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19745.437
AT ITER 3182 NEW BEST:: SOT 67900 SOS 32482 HAS SOPS 32482 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19744.482
AT ITER 3189 NEW BEST:: SOT 67900 SOS 32482 HAS SOPS 32482 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19741.482
AT ITER 3190 NEW BEST:: SOT 67888 SOS 32479 HAS SOPS 32479 HAS SOUS 19685 HAS SOUPS 19685 WITH SCORE 19717.479
AT ITER 3195 NEW BEST:: SOT 67884 SOS 32467 HAS SOPS 32467 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19713.467
AT ITER 3197 NEW BEST:: SOT 67851 SOS 32434 HAS SOPS 32434 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19647.434
AT ITER 3209 NEW BEST:: SOT 67837 SOS 32406 HAS SOPS 32406 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19633.406
AT ITER 3234 NEW BEST:: SOT 67808 SOS 32371 HAS SOPS 32371 HAS SOUS 19566 HAS SOUPS 19566 WITH SCORE 19598.371
AT ITER 3236 NEW BEST:: SOT 67712 SOS 32275 HAS SOPS 32275 HAS SOUS 19407 HAS SOUPS 19407 WITH SCORE 19439.275
AT ITER 3249 NEW BEST:: SOT 67754 SOS 32064 HAS SOPS 32064 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19438.064
AT ITER 3252 NEW BEST:: SOT 67660 SOS 32036 HAS SOPS 32036 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19285.036
AT ITER 3311 NEW BEST:: SOT 67595 SOS 31998 HAS SOPS 31998 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19213.998
AT ITER 3314 NEW BEST:: SOT 67594 SOS 31995 HAS SOPS 31995 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19210.995
AT ITER 3343 NEW BEST:: SOT 67592 SOS 31993 HAS SOPS 31993 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19210.993
AT ITER 3397 NEW BEST:: SOT 67583 SOS 31984 HAS SOPS 31984 HAS SOUS 19171 HAS SOUPS 19171 WITH SCORE 19202.984
AT ITER 3399 NEW BEST:: SOT 67583 SOS 31967 HAS SOPS 31967 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19177.967
AT ITER 3409 NEW BEST:: SOT 67580 SOS 31841 HAS SOPS 31841 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19113.841
AT ITER 3411 NEW BEST:: SOT 67580 SOS 31849 HAS SOPS 31849 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19112.849
AT ITER 3425 NEW BEST:: SOT 67578 SOS 31837 HAS SOPS 31837 HAS SOUS 19077 HAS SOUPS 19077 WITH SCORE 19108.837
AT ITER 3428 NEW BEST:: SOT 67573 SOS 31841 HAS SOPS 31841 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19107.841
AT ITER 3474 NEW BEST:: SOT 67464 SOS 31656 HAS SOPS 31656 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18945.656
AT ITER 3477 NEW BEST:: SOT 67427 SOS 31619 HAS SOPS 31619 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18908.619
AT ITER 3479 NEW BEST:: SOT 67427 SOS 31624 HAS SOPS 31624 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18899.624
AT ITER 3506 NEW BEST:: SOT 67428 SOS 31631 HAS SOPS 31631 HAS SOUS 18859 HAS SOUPS 18859 WITH SCORE 18890.631
AT ITER 3527 NEW BEST:: SOT 67441 SOS 31629 HAS SOPS 31629 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18888.629
AT ITER 3542 NEW BEST:: SOT 67429 SOS 31620 HAS SOPS 31620 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18876.62
AT ITER 3549 NEW BEST:: SOT 67379 SOS 31570 HAS SOPS 31570 HAS SOUS 18795 HAS SOUPS 18795 WITH SCORE 18826.57
AT ITER 3595 NEW BEST:: SOT 67321 SOS 31434 HAS SOPS 31434 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18808.434
AT ITER 3650 NEW BEST:: SOT 67279 SOS 31512 HAS SOPS 31512 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18765.512
AT ITER 3651 NEW BEST:: SOT 67279 SOS 31452 HAS SOPS 31452 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18765.452
AT ITER 3656 NEW BEST:: SOT 67284 SOS 31332 HAS SOPS 31332 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18740.332
AT ITER 3666 NEW BEST:: SOT 67279 SOS 31423 HAS SOPS 31423 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18720.423
AT ITER 3668 NEW BEST:: SOT 67274 SOS 31324 HAS SOPS 31324 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18711.324
AT ITER 3672 NEW BEST:: SOT 67251 SOS 31191 HAS SOPS 31191 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18644.191
AT ITER 3683 NEW BEST:: SOT 67251 SOS 31031 HAS SOPS 31031 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18595.031
AT ITER 3709 NEW BEST:: SOT 67231 SOS 30897 HAS SOPS 30897 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18586.897
AT ITER 3717 NEW BEST:: SOT 67176 SOS 30842 HAS SOPS 30842 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18535.842
AT ITER 3722 NEW BEST:: SOT 67174 SOS 30839 HAS SOPS 30839 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18532.839
AT ITER 3728 NEW BEST:: SOT 67154 SOS 30819 HAS SOPS 30819 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18512.819
AT ITER 3752 NEW BEST:: SOT 67143 SOS 30688 HAS SOPS 30688 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18481.688
AT ITER 3769 NEW BEST:: SOT 67069 SOS 30598 HAS SOPS 30598 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18391.598
AT ITER 3779 NEW BEST:: SOT 67064 SOS 30583 HAS SOPS 30583 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18376.583
AT ITER 3791 NEW BEST:: SOT 67056 SOS 30543 HAS SOPS 30543 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18346.543
AT ITER 3792 NEW BEST:: SOT 67055 SOS 30523 HAS SOPS 30523 HAS SOUS 18271 HAS SOUPS 18271 WITH SCORE 18301.523
AT ITER 3850 NEW BEST:: SOT 67011 SOS 30338 HAS SOPS 30338 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18257.338
AT ITER 3881 NEW BEST:: SOT 67005 SOS 30341 HAS SOPS 30341 HAS SOUS 18221 HAS SOUPS 18221 WITH SCORE 18251.341
AT ITER 3894 NEW BEST:: SOT 66999 SOS 30329 HAS SOPS 30329 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18198.329
AT ITER 3912 NEW BEST:: SOT 67012 SOS 30237 HAS SOPS 30237 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18071.237
AT ITER 3915 NEW BEST:: SOT 66940 SOS 30165 HAS SOPS 30165 HAS SOUS 17957 HAS SOUPS 17957 WITH SCORE 17987.165
AT ITER 3965 NEW BEST:: SOT 66921 SOS 30117 HAS SOPS 30117 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17939.117
AT ITER 3988 NEW BEST:: SOT 66921 SOS 30117 HAS SOPS 30117 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17935.117
AT ITER 4011 NEW BEST:: SOT 66884 SOS 29948 HAS SOPS 29948 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17878.948
AT ITER 4017 NEW BEST:: SOT 66884 SOS 29926 HAS SOPS 29926 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17869.926
AT ITER 4019 NEW BEST:: SOT 66930 SOS 30056 HAS SOPS 30056 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17845.056
AT ITER 4026 NEW BEST:: SOT 66927 SOS 30050 HAS SOPS 30050 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17842.05
AT ITER 4047 NEW BEST:: SOT 66927 SOS 30039 HAS SOPS 30039 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17818.039
AT ITER 4075 NEW BEST:: SOT 66959 SOS 29919 HAS SOPS 29919 HAS SOUS 17774 HAS SOUPS 17774 WITH SCORE 17803.919
AT ITER 4108 NEW BEST:: SOT 66951 SOS 29919 HAS SOPS 29919 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17795.919
AT ITER 4110 NEW BEST:: SOT 66939 SOS 29914 HAS SOPS 29914 HAS SOUS 17758 HAS SOUPS 17758 WITH SCORE 17787.914
AT ITER 4116 NEW BEST:: SOT 66933 SOS 29897 HAS SOPS 29897 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17770.897
AT ITER 4153 NEW BEST:: SOT 66933 SOS 29891 HAS SOPS 29891 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17764.891
AT ITER 4155 NEW BEST:: SOT 66869 SOS 29935 HAS SOPS 29935 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17712.935
AT ITER 4185 NEW BEST:: SOT 66834 SOS 29832 HAS SOPS 29832 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17615.832
AT ITER 4190 NEW BEST:: SOT 66777 SOS 29793 HAS SOPS 29793 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17576.793
AT ITER 4213 NEW BEST:: SOT 66732 SOS 29748 HAS SOPS 29748 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17505.748
AT ITER 4232 NEW BEST:: SOT 66632 SOS 29616 HAS SOPS 29616 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17445.616
AT ITER 4284 NEW BEST:: SOT 66589 SOS 29564 HAS SOPS 29564 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17374.564
AT ITER 4285 NEW BEST:: SOT 66582 SOS 29552 HAS SOPS 29552 HAS SOUS 17337 HAS SOUPS 17337 WITH SCORE 17366.552
AT ITER 4304 NEW BEST:: SOT 66614 SOS 29851 HAS SOPS 29851 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17330.851
AT ITER 4333 NEW BEST:: SOT 66613 SOS 29850 HAS SOPS 29850 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17329.85
AT ITER 4348 NEW BEST:: SOT 66592 SOS 29820 HAS SOPS 29820 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17290.82
AT ITER 4377 NEW BEST:: SOT 66604 SOS 29843 HAS SOPS 29843 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17282.843
AT ITER 4383 NEW BEST:: SOT 66553 SOS 29771 HAS SOPS 29771 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17281.771
AT ITER 4397 NEW BEST:: SOT 66553 SOS 29763 HAS SOPS 29763 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17265.763
AT ITER 4413 NEW BEST:: SOT 66585 SOS 29795 HAS SOPS 29795 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17220.795
AT ITER 4435 NEW BEST:: SOT 66579 SOS 29787 HAS SOPS 29787 HAS SOUS 17181 HAS SOUPS 17181 WITH SCORE 17210.787
AT ITER 4462 NEW BEST:: SOT 66578 SOS 29786 HAS SOPS 29786 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17209.786
AT ITER 4479 NEW BEST:: SOT 66544 SOS 29740 HAS SOPS 29740 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17168.74
AT ITER 4528 NEW BEST:: SOT 66484 SOS 29722 HAS SOPS 29722 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17098.722
AT ITER 4542 NEW BEST:: SOT 66447 SOS 29715 HAS SOPS 29715 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17065.715
AT ITER 4566 NEW BEST:: SOT 66373 SOS 29627 HAS SOPS 29627 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16956.627
AT ITER 4598 NEW BEST:: SOT 66365 SOS 29619 HAS SOPS 29619 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16948.619
AT ITER 4601 NEW BEST:: SOT 66357 SOS 29571 HAS SOPS 29571 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16932.571
AT ITER 4609 NEW BEST:: SOT 66340 SOS 29581 HAS SOPS 29581 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16915.581
AT ITER 4611 NEW BEST:: SOT 66340 SOS 29618 HAS SOPS 29618 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16906.618
AT ITER 4644 NEW BEST:: SOT 66338 SOS 29602 HAS SOPS 29602 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16898.602
AT ITER 4646 NEW BEST:: SOT 66336 SOS 29601 HAS SOPS 29601 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16896.601
AT ITER 4729 NEW BEST:: SOT 66313 SOS 29689 HAS SOPS 29689 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16857.689
AT ITER 4744 NEW BEST:: SOT 66299 SOS 29623 HAS SOPS 29623 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16847.623
AT ITER 4745 NEW BEST:: SOT 66318 SOS 29681 HAS SOPS 29681 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16711.681
AT ITER 4800 NEW BEST:: SOT 66302 SOS 29665 HAS SOPS 29665 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16703.665
AT ITER 4831 NEW BEST:: SOT 66289 SOS 29662 HAS SOPS 29662 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16700.662
AT ITER 4835 NEW BEST:: SOT 66265 SOS 29634 HAS SOPS 29634 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16672.634
AT ITER 4853 NEW BEST:: SOT 66229 SOS 29566 HAS SOPS 29566 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16628.566
AT ITER 4856 NEW BEST:: SOT 66210 SOS 29542 HAS SOPS 29542 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16604.542
AT ITER 4857 NEW BEST:: SOT 66246 SOS 29544 HAS SOPS 29544 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16571.544
AT ITER 4875 NEW BEST:: SOT 66242 SOS 29542 HAS SOPS 29542 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16569.542
AT ITER 4876 NEW BEST:: SOT 66239 SOS 29540 HAS SOPS 29540 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16567.54
AT ITER 4877 NEW BEST:: SOT 66239 SOS 29561 HAS SOPS 29561 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16560.561
AT ITER 4882 NEW BEST:: SOT 66206 SOS 29603 HAS SOPS 29603 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16516.603
AT ITER 4904 NEW BEST:: SOT 66206 SOS 29618 HAS SOPS 29618 HAS SOUS 16467 HAS SOUPS 16467 WITH SCORE 16496.618
AT ITER 4926 NEW BEST:: SOT 66183 SOS 29580 HAS SOPS 29580 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16461.58
AT ITER 4968 NEW BEST:: SOT 66155 SOS 29573 HAS SOPS 29573 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16411.573
AT ITER 4981 NEW BEST:: SOT 66130 SOS 29547 HAS SOPS 29547 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16367.547
AT ITER 4987 NEW BEST:: SOT 66128 SOS 29525 HAS SOPS 29525 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16363.525
AT ITER 4998 NEW BEST:: SOT 66117 SOS 29460 HAS SOPS 29460 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16343.46
AT ITER 5003 NEW BEST:: SOT 66125 SOS 29516 HAS SOPS 29516 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16327.516
AT ITER 5017 NEW BEST:: SOT 66114 SOS 29515 HAS SOPS 29515 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16314.515
AT ITER 5118 NEW BEST:: SOT 66114 SOS 29429 HAS SOPS 29429 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16284.429
AT ITER 5125 NEW BEST:: SOT 66113 SOS 29425 HAS SOPS 29425 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16269.425
AT ITER 5144 NEW BEST:: SOT 66101 SOS 29353 HAS SOPS 29353 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16233.353
AT ITER 5162 NEW BEST:: SOT 66086 SOS 29338 HAS SOPS 29338 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16218.338
AT ITER 5184 NEW BEST:: SOT 66090 SOS 29316 HAS SOPS 29316 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16215.316
AT ITER 5191 NEW BEST:: SOT 66090 SOS 29263 HAS SOPS 29263 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16201.263
AT ITER 5192 NEW BEST:: SOT 66096 SOS 29275 HAS SOPS 29275 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16192.275
AT ITER 5210 NEW BEST:: SOT 66076 SOS 29259 HAS SOPS 29259 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16191.259
AT ITER 5211 NEW BEST:: SOT 66075 SOS 29249 HAS SOPS 29249 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16187.249
AT ITER 5212 NEW BEST:: SOT 66075 SOS 29249 HAS SOPS 29249 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16177.249
AT ITER 5219 NEW BEST:: SOT 65983 SOS 29157 HAS SOPS 29157 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16038.157
AT ITER 5243 NEW BEST:: SOT 65976 SOS 29150 HAS SOPS 29150 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16031.15
AT ITER 5246 NEW BEST:: SOT 65976 SOS 29143 HAS SOPS 29143 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16025.143
AT ITER 5261 NEW BEST:: SOT 65958 SOS 29115 HAS SOPS 29115 HAS SOUS 15968 HAS SOUPS 15968 WITH SCORE 15997.115
AT ITER 5286 NEW BEST:: SOT 65949 SOS 29125 HAS SOPS 29125 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15988.125
AT ITER 5294 NEW BEST:: SOT 65943 SOS 29117 HAS SOPS 29117 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15978.117
AT ITER 5307 NEW BEST:: SOT 65942 SOS 29115 HAS SOPS 29115 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15975.115
AT ITER 5320 NEW BEST:: SOT 65930 SOS 28983 HAS SOPS 28983 HAS SOUS 15922 HAS SOUPS 15922 WITH SCORE 15950.983
AT ITER 5330 NEW BEST:: SOT 65930 SOS 28983 HAS SOPS 28983 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15938.983
AT ITER 5375 NEW BEST:: SOT 65930 SOS 28984 HAS SOPS 28984 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15930.984
AT ITER 5389 NEW BEST:: SOT 65913 SOS 28967 HAS SOPS 28967 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15904.967
AT ITER 5401 NEW BEST:: SOT 65914 SOS 28977 HAS SOPS 28977 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15901.977
AT ITER 5421 NEW BEST:: SOT 65904 SOS 28987 HAS SOPS 28987 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15892.987
AT ITER 5435 NEW BEST:: SOT 65906 SOS 29009 HAS SOPS 29009 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15888.009
AT ITER 5438 NEW BEST:: SOT 65824 SOS 28918 HAS SOPS 28918 HAS SOUS 15764 HAS SOUPS 15764 WITH SCORE 15792.918
AT ITER 5449 NEW BEST:: SOT 65793 SOS 28887 HAS SOPS 28887 HAS SOUS 15734 HAS SOUPS 15734 WITH SCORE 15762.887
AT ITER 5462 NEW BEST:: SOT 65694 SOS 28410 HAS SOPS 28410 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15606.41
AT ITER 5488 NEW BEST:: SOT 65691 SOS 28407 HAS SOPS 28407 HAS SOUS 15563 HAS SOUPS 15563 WITH SCORE 15591.407
AT ITER 5515 NEW BEST:: SOT 65660 SOS 28376 HAS SOPS 28376 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15492.376
AT ITER 5521 NEW BEST:: SOT 65668 SOS 28334 HAS SOPS 28334 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15492.334
AT ITER 5536 NEW BEST:: SOT 65649 SOS 28318 HAS SOPS 28318 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15479.318
AT ITER 5550 NEW BEST:: SOT 65627 SOS 28409 HAS SOPS 28409 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15464.409
AT ITER 5559 NEW BEST:: SOT 65603 SOS 28369 HAS SOPS 28369 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15383.369
AT ITER 5566 NEW BEST:: SOT 65587 SOS 28273 HAS SOPS 28273 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15383.273
AT ITER 5578 NEW BEST:: SOT 65546 SOS 28187 HAS SOPS 28187 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15324.187
AT ITER 5600 NEW BEST:: SOT 65542 SOS 28183 HAS SOPS 28183 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15324.183
AT ITER 5625 NEW BEST:: SOT 65534 SOS 28175 HAS SOPS 28175 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15316.175
AT ITER 5658 NEW BEST:: SOT 65531 SOS 28172 HAS SOPS 28172 HAS SOUS 15279 HAS SOUPS 15279 WITH SCORE 15307.172
AT ITER 5674 NEW BEST:: SOT 65529 SOS 28168 HAS SOPS 28168 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15305.168
AT ITER 5711 NEW BEST:: SOT 65527 SOS 28166 HAS SOPS 28166 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15303.166
AT ITER 5731 NEW BEST:: SOT 65535 SOS 28158 HAS SOPS 28158 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15298.158
AT ITER 5758 NEW BEST:: SOT 65518 SOS 28116 HAS SOPS 28116 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15264.116
AT ITER 5770 NEW BEST:: SOT 65530 SOS 28114 HAS SOPS 28114 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15252.114
AT ITER 5775 NEW BEST:: SOT 65507 SOS 28100 HAS SOPS 28100 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15211.1
AT ITER 5815 NEW BEST:: SOT 65513 SOS 28130 HAS SOPS 28130 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15205.13
AT ITER 5888 NEW BEST:: SOT 65504 SOS 28110 HAS SOPS 28110 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15192.11
AT ITER 5890 NEW BEST:: SOT 65455 SOS 28049 HAS SOPS 28049 HAS SOUS 15093 HAS SOUPS 15093 WITH SCORE 15121.049
AT ITER 5986 NEW BEST:: SOT 65459 SOS 28092 HAS SOPS 28092 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15112.092
AT ITER 5997 NEW BEST:: SOT 65461 SOS 28102 HAS SOPS 28102 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15110.102
AT ITER 6055 NEW BEST:: SOT 65458 SOS 28099 HAS SOPS 28099 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15107.099
AT ITER 6071 NEW BEST:: SOT 65458 SOS 28097 HAS SOPS 28097 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15103.097
AT ITER 6081 NEW BEST:: SOT 65458 SOS 28123 HAS SOPS 28123 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15082.123
AT ITER 6089 NEW BEST:: SOT 65408 SOS 28073 HAS SOPS 28073 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 15007.073
AT ITER 6090 NEW BEST:: SOT 65459 SOS 28259 HAS SOPS 28259 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 15002.259
AT ITER 6092 NEW BEST:: SOT 65441 SOS 28259 HAS SOPS 28259 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14980.259
AT ITER 6102 NEW BEST:: SOT 65430 SOS 28144 HAS SOPS 28144 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14918.144
AT ITER 6125 NEW BEST:: SOT 65429 SOS 28140 HAS SOPS 28140 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14917.14
AT ITER 6135 NEW BEST:: SOT 65419 SOS 28090 HAS SOPS 28090 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14898.09
AT ITER 6162 NEW BEST:: SOT 65411 SOS 28001 HAS SOPS 28001 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14876.001
AT ITER 6180 NEW BEST:: SOT 65395 SOS 27967 HAS SOPS 27967 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14812.967
AT ITER 6204 NEW BEST:: SOT 65355 SOS 27889 HAS SOPS 27889 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14752.889
AT ITER 6210 NEW BEST:: SOT 65335 SOS 27855 HAS SOPS 27855 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14742.855
AT ITER 6212 NEW BEST:: SOT 65320 SOS 27812 HAS SOPS 27812 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14721.812
AT ITER 6240 NEW BEST:: SOT 65309 SOS 27798 HAS SOPS 27798 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14705.798
AT ITER 6323 NEW BEST:: SOT 65220 SOS 27728 HAS SOPS 27728 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14646.728
AT ITER 6341 NEW BEST:: SOT 65169 SOS 27673 HAS SOPS 27673 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14514.673
AT ITER 6429 NEW BEST:: SOT 65153 SOS 27651 HAS SOPS 27651 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14492.651
AT ITER 6449 NEW BEST:: SOT 65171 SOS 27723 HAS SOPS 27723 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14474.723
AT ITER 6531 NEW BEST:: SOT 65171 SOS 27755 HAS SOPS 27755 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14441.755
AT ITER 6560 NEW BEST:: SOT 65171 SOS 27740 HAS SOPS 27740 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14435.74
AT ITER 6648 NEW BEST:: SOT 65166 SOS 27757 HAS SOPS 27757 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14430.757
AT ITER 6674 NEW BEST:: SOT 65175 SOS 27672 HAS SOPS 27672 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14387.672
AT ITER 6678 NEW BEST:: SOT 65148 SOS 27561 HAS SOPS 27561 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14360.561
AT ITER 6691 NEW BEST:: SOT 65148 SOS 27558 HAS SOPS 27558 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14360.558
AT ITER 6743 NEW BEST:: SOT 65071 SOS 27823 HAS SOPS 27823 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14321.823
AT ITER 6822 NEW BEST:: SOT 65060 SOS 27812 HAS SOPS 27812 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14282.812
AT ITER 6847 NEW BEST:: SOT 65059 SOS 27806 HAS SOPS 27806 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14280.806
AT ITER 6879 NEW BEST:: SOT 65057 SOS 27800 HAS SOPS 27800 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14265.8
AT ITER 6983 NEW BEST:: SOT 65057 SOS 27798 HAS SOPS 27798 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14263.798
AT ITER 6998 NEW BEST:: SOT 65054 SOS 27794 HAS SOPS 27794 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14258.794
AT ITER 7046 NEW BEST:: SOT 65051 SOS 27788 HAS SOPS 27788 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14252.788
AT ITER 7058 NEW BEST:: SOT 65035 SOS 27756 HAS SOPS 27756 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14199.756
AT ITER 7082 NEW BEST:: SOT 65034 SOS 27753 HAS SOPS 27753 HAS SOUS 14170 HAS SOUPS 14170 WITH SCORE 14197.753
AT ITER 7100 NEW BEST:: SOT 65041 SOS 27751 HAS SOPS 27751 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14194.751
AT ITER 7134 NEW BEST:: SOT 65040 SOS 27750 HAS SOPS 27750 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14193.75
AT ITER 7153 NEW BEST:: SOT 65006 SOS 27725 HAS SOPS 27725 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14166.725
AT ITER 7215 NEW BEST:: SOT 64945 SOS 27633 HAS SOPS 27633 HAS SOUS 14065 HAS SOUPS 14065 WITH SCORE 14092.633
AT ITER 7236 NEW BEST:: SOT 64945 SOS 27589 HAS SOPS 27589 HAS SOUS 14046 HAS SOUPS 14046 WITH SCORE 14073.589
AT ITER 7389 NEW BEST:: SOT 64936 SOS 27574 HAS SOPS 27574 HAS SOUS 14034 HAS SOUPS 14034 WITH SCORE 14061.574
AT ITER 7394 NEW BEST:: SOT 64944 SOS 27582 HAS SOPS 27582 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14054.582
AT ITER 7412 NEW BEST:: SOT 64928 SOS 27566 HAS SOPS 27566 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14038.566
AT ITER 7417 NEW BEST:: SOT 64928 SOS 27555 HAS SOPS 27555 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14037.555
AT ITER 7428 NEW BEST:: SOT 64928 SOS 27545 HAS SOPS 27545 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14037.545
AT ITER 7435 NEW BEST:: SOT 64925 SOS 27542 HAS SOPS 27542 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14032.542
AT ITER 7450 NEW BEST:: SOT 64925 SOS 27542 HAS SOPS 27542 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14026.542
AT ITER 7460 NEW BEST:: SOT 64941 SOS 27558 HAS SOPS 27558 HAS SOUS 13993 HAS SOUPS 13993 WITH SCORE 14020.558
AT ITER 7550 NEW BEST:: SOT 64938 SOS 27549 HAS SOPS 27549 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13997.549
AT ITER 7580 NEW BEST:: SOT 64932 SOS 27555 HAS SOPS 27555 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13983.555
AT ITER 7582 NEW BEST:: SOT 64930 SOS 27551 HAS SOPS 27551 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13979.551
AT ITER 7584 NEW BEST:: SOT 64927 SOS 27548 HAS SOPS 27548 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13976.548
AT ITER 7618 NEW BEST:: SOT 64903 SOS 27500 HAS SOPS 27500 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13946.5
AT ITER 7642 NEW BEST:: SOT 64899 SOS 27496 HAS SOPS 27496 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13938.496
AT ITER 7810 NEW BEST:: SOT 64888 SOS 27504 HAS SOPS 27504 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13928.504
AT ITER 7838 NEW BEST:: SOT 64881 SOS 27497 HAS SOPS 27497 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13921.497
AT ITER 7870 NEW BEST:: SOT 64881 SOS 27497 HAS SOPS 27497 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13918.497
AT ITER 7899 NEW BEST:: SOT 64882 SOS 27495 HAS SOPS 27495 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13917.495
AT ITER 7912 NEW BEST:: SOT 64850 SOS 27463 HAS SOPS 27463 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13915.463
AT ITER 7947 NEW BEST:: SOT 64826 SOS 27439 HAS SOPS 27439 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13891.439
AT ITER 7949 NEW BEST:: SOT 64807 SOS 27413 HAS SOPS 27413 HAS SOUS 13861 HAS SOUPS 13861 WITH SCORE 13888.413
AT ITER 7993 NEW BEST:: SOT 64789 SOS 27442 HAS SOPS 27442 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13847.442
AT ITER 8008 NEW BEST:: SOT 64780 SOS 27419 HAS SOPS 27419 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13810.419
AT ITER 8014 NEW BEST:: SOT 64846 SOS 27505 HAS SOPS 27505 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13739.505
AT ITER 8088 NEW BEST:: SOT 64846 SOS 27466 HAS SOPS 27466 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13736.466
AT ITER 8166 NEW BEST:: SOT 64818 SOS 27443 HAS SOPS 27443 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13714.443
AT ITER 8212 NEW BEST:: SOT 64818 SOS 27403 HAS SOPS 27403 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13698.403
AT ITER 8229 NEW BEST:: SOT 64818 SOS 27397 HAS SOPS 27397 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13698.397
AT ITER 8307 NEW BEST:: SOT 64763 SOS 27336 HAS SOPS 27336 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13672.336
AT ITER 8318 NEW BEST:: SOT 64763 SOS 27288 HAS SOPS 27288 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13660.288
AT ITER 8363 NEW BEST:: SOT 64765 SOS 27288 HAS SOPS 27288 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13657.288
AT ITER 8367 NEW BEST:: SOT 64809 SOS 27416 HAS SOPS 27416 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13632.416
AT ITER 8421 NEW BEST:: SOT 64805 SOS 27406 HAS SOPS 27406 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13597.406
AT ITER 8553 NEW BEST:: SOT 64799 SOS 27399 HAS SOPS 27399 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13584.399
AT ITER 8564 NEW BEST:: SOT 64796 SOS 27361 HAS SOPS 27361 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13571.361
AT ITER 8600 NEW BEST:: SOT 64803 SOS 27384 HAS SOPS 27384 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13561.384
AT ITER 8651 NEW BEST:: SOT 64795 SOS 27376 HAS SOPS 27376 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13553.376
AT ITER 8668 NEW BEST:: SOT 64786 SOS 27370 HAS SOPS 27370 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13541.37
AT ITER 8692 NEW BEST:: SOT 64776 SOS 27376 HAS SOPS 27376 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13527.376
AT ITER 8708 NEW BEST:: SOT 64752 SOS 27353 HAS SOPS 27353 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13510.353
AT ITER 8741 NEW BEST:: SOT 64752 SOS 27329 HAS SOPS 27329 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13510.329
AT ITER 8754 NEW BEST:: SOT 64753 SOS 27329 HAS SOPS 27329 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13506.329
AT ITER 8762 NEW BEST:: SOT 64750 SOS 27326 HAS SOPS 27326 HAS SOUS 13476 HAS SOUPS 13476 WITH SCORE 13503.326
AT ITER 8814 NEW BEST:: SOT 64749 SOS 27325 HAS SOPS 27325 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13502.325
AT ITER 8819 NEW BEST:: SOT 64744 SOS 27325 HAS SOPS 27325 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13497.325
AT ITER 8820 NEW BEST:: SOT 64744 SOS 27305 HAS SOPS 27305 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13495.305
AT ITER 8836 NEW BEST:: SOT 64741 SOS 27298 HAS SOPS 27298 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13491.298
AT ITER 8844 NEW BEST:: SOT 64734 SOS 27294 HAS SOPS 27294 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13487.294
AT ITER 8884 NEW BEST:: SOT 64704 SOS 27270 HAS SOPS 27270 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13473.27
AT ITER 8891 NEW BEST:: SOT 64662 SOS 27172 HAS SOPS 27172 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13417.172
AT ITER 8950 NEW BEST:: SOT 64657 SOS 27167 HAS SOPS 27167 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13412.167
AT ITER 8971 NEW BEST:: SOT 64662 SOS 27177 HAS SOPS 27177 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13405.177
AT ITER 8976 NEW BEST:: SOT 64662 SOS 27165 HAS SOPS 27165 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13400.165
AT ITER 8979 NEW BEST:: SOT 64657 SOS 27160 HAS SOPS 27160 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13390.16
AT ITER 8985 NEW BEST:: SOT 64631 SOS 27134 HAS SOPS 27134 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13362.134
AT ITER 8991 NEW BEST:: SOT 64615 SOS 27129 HAS SOPS 27129 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13353.129
AT ITER 9078 NEW BEST:: SOT 64606 SOS 27113 HAS SOPS 27113 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13335.113
AT ITER 9097 NEW BEST:: SOT 64595 SOS 27073 HAS SOPS 27073 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13317.073
AT ITER 9131 NEW BEST:: SOT 64594 SOS 27072 HAS SOPS 27072 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13316.072
AT ITER 9199 NEW BEST:: SOT 64592 SOS 27070 HAS SOPS 27070 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13314.07
AT ITER 9213 NEW BEST:: SOT 64587 SOS 27065 HAS SOPS 27065 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13299.065
AT ITER 9255 NEW BEST:: SOT 64605 SOS 27054 HAS SOPS 27054 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13285.054
AT ITER 9284 NEW BEST:: SOT 64595 SOS 27036 HAS SOPS 27036 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13267.036
AT ITER 9292 NEW BEST:: SOT 64593 SOS 27027 HAS SOPS 27027 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13245.027
AT ITER 9310 NEW BEST:: SOT 64596 SOS 27026 HAS SOPS 27026 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13234.026
AT ITER 9314 NEW BEST:: SOT 64596 SOS 27026 HAS SOPS 27026 HAS SOUS 13186 HAS SOUPS 13186 WITH SCORE 13213.026
AT ITER 9330 NEW BEST:: SOT 64594 SOS 27024 HAS SOPS 27024 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13211.024
AT ITER 9339 NEW BEST:: SOT 64577 SOS 27051 HAS SOPS 27051 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13200.051
AT ITER 9373 NEW BEST:: SOT 64578 SOS 27059 HAS SOPS 27059 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13197.059
AT ITER 9432 NEW BEST:: SOT 64583 SOS 27050 HAS SOPS 27050 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13195.05
AT ITER 9507 NEW BEST:: SOT 64581 SOS 27047 HAS SOPS 27047 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13176.047
AT ITER 9540 NEW BEST:: SOT 64569 SOS 27032 HAS SOPS 27032 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13143.032
AT ITER 9550 NEW BEST:: SOT 64563 SOS 27024 HAS SOPS 27024 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13135.024
AT ITER 9635 NEW BEST:: SOT 64582 SOS 27035 HAS SOPS 27035 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13122.035
AT ITER 9639 NEW BEST:: SOT 64582 SOS 27076 HAS SOPS 27076 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13121.076
AT ITER 9642 NEW BEST:: SOT 64577 SOS 27068 HAS SOPS 27068 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13110.068
AT ITER 9654 NEW BEST:: SOT 64593 SOS 27162 HAS SOPS 27162 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13108.162
AT ITER 9696 NEW BEST:: SOT 64593 SOS 27146 HAS SOPS 27146 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13104.146
AT ITER 9713 NEW BEST:: SOT 64562 SOS 27115 HAS SOPS 27115 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13073.115
AT ITER 9732 NEW BEST:: SOT 64562 SOS 27109 HAS SOPS 27109 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13072.109
AT ITER 9758 NEW BEST:: SOT 64561 SOS 27095 HAS SOPS 27095 HAS SOUS 13043 HAS SOUPS 13043 WITH SCORE 13070.095
AT ITER 9761 NEW BEST:: SOT 64558 SOS 27091 HAS SOPS 27091 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13063.091
AT ITER 9907 NEW BEST:: SOT 64556 SOS 27089 HAS SOPS 27089 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13061.089
AT ITER 9913 NEW BEST:: SOT 64553 SOS 27086 HAS SOPS 27086 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13061.086
AT ITER 9939 NEW BEST:: SOT 64519 SOS 27052 HAS SOPS 27052 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13061.052
AT ITER 9977 NEW BEST:: SOT 64513 SOS 27028 HAS SOPS 27028 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13052.028
AT ITER 9980 NEW BEST:: SOT 64465 SOS 26982 HAS SOPS 26982 HAS SOUS 12979 HAS SOUPS 12979 WITH SCORE 13005.982
AT ITER 9981 NEW BEST:: SOT 64463 SOS 26935 HAS SOPS 26935 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 12995.935
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393352 kB
MemFree: 229936 kB
After kill :
MemTotal: 16393352 kB
MemFree: 16118188 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="ShieldRVs-PT-020A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldRVs-PT-020A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979200104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-020A.tgz
mv ShieldRVs-PT-020A 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 ;