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.r323-tall-167889194500328.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 Raft-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 17:25 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 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 17:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 89K 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 1679495382650

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=Raft-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 06
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: 188 places, 332 transitions, 1231 arcs.
AT ITER 0 NEW BEST:: SOT 54322 SOS 35622 HAS SOPS 35598 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.622
AT ITER 1 NEW BEST:: SOT 54322 SOS 35237 HAS SOPS 35213 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.237
AT ITER 5 NEW BEST:: SOT 54322 SOS 35082 HAS SOPS 35058 HAS SOUS 28119 HAS SOUPS 28113 WITH SCORE 28148.082
AT ITER 6 NEW BEST:: SOT 54322 SOS 35018 HAS SOPS 34994 HAS SOUS 28097 HAS SOUPS 28091 WITH SCORE 28126.018
AT ITER 8 NEW BEST:: SOT 54100 SOS 34912 HAS SOPS 34870 HAS SOUS 27891 HAS SOUPS 27868 WITH SCORE 27902.912
AT ITER 16 NEW BEST:: SOT 53914 SOS 34797 HAS SOPS 34740 HAS SOUS 27729 HAS SOUPS 27692 WITH SCORE 27726.797
AT ITER 17 NEW BEST:: SOT 53760 SOS 34597 HAS SOPS 34523 HAS SOUS 27496 HAS SOUPS 27457 WITH SCORE 27491.597
AT ITER 18 NEW BEST:: SOT 53760 SOS 34576 HAS SOPS 34502 HAS SOUS 27475 HAS SOUPS 27436 WITH SCORE 27470.576
AT ITER 25 NEW BEST:: SOT 53557 SOS 34373 HAS SOPS 34299 HAS SOUS 27269 HAS SOUPS 27230 WITH SCORE 27264.373
AT ITER 27 NEW BEST:: SOT 53378 SOS 34090 HAS SOPS 33976 HAS SOUS 26960 HAS SOUPS 26900 WITH SCORE 26934.09
AT ITER 28 NEW BEST:: SOT 53290 SOS 33993 HAS SOPS 33865 HAS SOUS 26849 HAS SOUPS 26789 WITH SCORE 26822.993
AT ITER 29 NEW BEST:: SOT 53246 SOS 33884 HAS SOPS 33750 HAS SOUS 26666 HAS SOUPS 26606 WITH SCORE 26639.884
AT ITER 30 NEW BEST:: SOT 53246 SOS 33868 HAS SOPS 33734 HAS SOUS 26650 HAS SOUPS 26590 WITH SCORE 26623.868
AT ITER 32 NEW BEST:: SOT 53247 SOS 33861 HAS SOPS 33726 HAS SOUS 26651 HAS SOUPS 26590 WITH SCORE 26623.861
AT ITER 36 NEW BEST:: SOT 53282 SOS 33630 HAS SOPS 33495 HAS SOUS 26650 HAS SOUPS 26589 WITH SCORE 26622.63
AT ITER 37 NEW BEST:: SOT 53198 SOS 33461 HAS SOPS 33316 HAS SOUS 26405 HAS SOUPS 26335 WITH SCORE 26368.461
AT ITER 38 NEW BEST:: SOT 53198 SOS 33352 HAS SOPS 33207 HAS SOUS 26370 HAS SOUPS 26300 WITH SCORE 26333.352
AT ITER 41 NEW BEST:: SOT 53198 SOS 33346 HAS SOPS 33201 HAS SOUS 26367 HAS SOUPS 26297 WITH SCORE 26330.346
AT ITER 46 NEW BEST:: SOT 53198 SOS 33008 HAS SOPS 32863 HAS SOUS 26333 HAS SOUPS 26263 WITH SCORE 26296.008
AT ITER 48 NEW BEST:: SOT 53198 SOS 33026 HAS SOPS 32881 HAS SOUS 26315 HAS SOUPS 26245 WITH SCORE 26278.026
AT ITER 49 NEW BEST:: SOT 53198 SOS 32937 HAS SOPS 32792 HAS SOUS 26292 HAS SOUPS 26222 WITH SCORE 26254.937
AT ITER 50 NEW BEST:: SOT 53198 SOS 32934 HAS SOPS 32789 HAS SOUS 26289 HAS SOUPS 26219 WITH SCORE 26251.934
AT ITER 56 NEW BEST:: SOT 53198 SOS 32871 HAS SOPS 32726 HAS SOUS 26226 HAS SOUPS 26156 WITH SCORE 26188.871
AT ITER 60 NEW BEST:: SOT 52988 SOS 32826 HAS SOPS 32655 HAS SOUS 26148 HAS SOUPS 26062 WITH SCORE 26094.826
AT ITER 62 NEW BEST:: SOT 52988 SOS 32482 HAS SOPS 32311 HAS SOUS 26108 HAS SOUPS 26022 WITH SCORE 26054.482
AT ITER 65 NEW BEST:: SOT 52988 SOS 32438 HAS SOPS 32267 HAS SOUS 26086 HAS SOUPS 26000 WITH SCORE 26032.438
AT ITER 66 NEW BEST:: SOT 52988 SOS 32407 HAS SOPS 32236 HAS SOUS 26050 HAS SOUPS 25964 WITH SCORE 25996.407
AT ITER 67 NEW BEST:: SOT 52988 SOS 32149 HAS SOPS 31978 HAS SOUS 25872 HAS SOUPS 25786 WITH SCORE 25818.149
AT ITER 68 NEW BEST:: SOT 52988 SOS 32131 HAS SOPS 31960 HAS SOUS 25869 HAS SOUPS 25783 WITH SCORE 25815.131
AT ITER 70 NEW BEST:: SOT 52814 SOS 32054 HAS SOPS 31875 HAS SOUS 25763 HAS SOUPS 25677 WITH SCORE 25709.054
AT ITER 72 NEW BEST:: SOT 52810 SOS 31814 HAS SOPS 31629 HAS SOUS 25518 HAS SOUPS 25432 WITH SCORE 25463.814
AT ITER 75 NEW BEST:: SOT 52810 SOS 31454 HAS SOPS 31269 HAS SOUS 25418 HAS SOUPS 25332 WITH SCORE 25363.454
AT ITER 76 NEW BEST:: SOT 51278 SOS 30432 HAS SOPS 30022 HAS SOUS 24387 HAS SOUPS 24233 WITH SCORE 24263.432
AT ITER 78 NEW BEST:: SOT 50816 SOS 31167 HAS SOPS 30119 HAS SOUS 24419 HAS SOUPS 24207 WITH SCORE 24238.167
AT ITER 81 NEW BEST:: SOT 50819 SOS 31181 HAS SOPS 30131 HAS SOUS 24411 HAS SOUPS 24197 WITH SCORE 24228.181
AT ITER 82 NEW BEST:: SOT 50412 SOS 30512 HAS SOPS 29582 HAS SOUS 23950 HAS SOUPS 23736 WITH SCORE 23766.512
AT ITER 87 NEW BEST:: SOT 50293 SOS 30393 HAS SOPS 29463 HAS SOUS 23802 HAS SOUPS 23588 WITH SCORE 23618.393
AT ITER 89 NEW BEST:: SOT 50293 SOS 30202 HAS SOPS 29272 HAS SOUS 23774 HAS SOUPS 23560 WITH SCORE 23590.202
AT ITER 90 NEW BEST:: SOT 50279 SOS 30039 HAS SOPS 29103 HAS SOUS 23695 HAS SOUPS 23481 WITH SCORE 23511.039
AT ITER 94 NEW BEST:: SOT 49252 SOS 29211 HAS SOPS 28224 HAS SOUS 22950 HAS SOUPS 22702 WITH SCORE 22731.211
AT ITER 100 NEW BEST:: SOT 49252 SOS 29158 HAS SOPS 28171 HAS SOUS 22931 HAS SOUPS 22683 WITH SCORE 22712.158
AT ITER 102 NEW BEST:: SOT 49252 SOS 29032 HAS SOPS 28045 HAS SOUS 22931 HAS SOUPS 22683 WITH SCORE 22712.032
AT ITER 106 NEW BEST:: SOT 49252 SOS 29010 HAS SOPS 27963 HAS SOUS 22909 HAS SOUPS 22661 WITH SCORE 22690.01
AT ITER 109 NEW BEST:: SOT 49066 SOS 28756 HAS SOPS 27747 HAS SOUS 22577 HAS SOUPS 22329 WITH SCORE 22357.756
AT ITER 110 NEW BEST:: SOT 48778 SOS 28404 HAS SOPS 27387 HAS SOUS 22145 HAS SOUPS 21897 WITH SCORE 21925.404
AT ITER 113 NEW BEST:: SOT 48770 SOS 28378 HAS SOPS 27361 HAS SOUS 22137 HAS SOUPS 21889 WITH SCORE 21917.378
AT ITER 115 NEW BEST:: SOT 48770 SOS 28317 HAS SOPS 27361 HAS SOUS 22137 HAS SOUPS 21889 WITH SCORE 21917.317
AT ITER 116 NEW BEST:: SOT 48764 SOS 28307 HAS SOPS 27351 HAS SOUS 22127 HAS SOUPS 21879 WITH SCORE 21907.307
AT ITER 117 NEW BEST:: SOT 48764 SOS 28276 HAS SOPS 27320 HAS SOUS 22105 HAS SOUPS 21857 WITH SCORE 21885.276
AT ITER 123 NEW BEST:: SOT 48013 SOS 31540 HAS SOPS 28503 HAS SOUS 22165 HAS SOUPS 21793 WITH SCORE 21824.54
AT ITER 124 NEW BEST:: SOT 48013 SOS 31182 HAS SOPS 28145 HAS SOUS 22136 HAS SOUPS 21764 WITH SCORE 21795.182
AT ITER 127 NEW BEST:: SOT 48013 SOS 31148 HAS SOPS 28111 HAS SOUS 22136 HAS SOUPS 21764 WITH SCORE 21795.148
AT ITER 133 NEW BEST:: SOT 48062 SOS 31131 HAS SOPS 28052 HAS SOUS 22037 HAS SOUPS 21665 WITH SCORE 21696.131
AT ITER 134 NEW BEST:: SOT 48011 SOS 31080 HAS SOPS 27950 HAS SOUS 21884 HAS SOUPS 21512 WITH SCORE 21543.08
AT ITER 137 NEW BEST:: SOT 48008 SOS 31073 HAS SOPS 27943 HAS SOUS 21877 HAS SOUPS 21505 WITH SCORE 21536.073
AT ITER 140 NEW BEST:: SOT 47791 SOS 30954 HAS SOPS 27713 HAS SOUS 21820 HAS SOUPS 21448 WITH SCORE 21478.954
AT ITER 142 NEW BEST:: SOT 45822 SOS 31082 HAS SOPS 26231 HAS SOUS 20799 HAS SOUPS 20309 WITH SCORE 20340.082
AT ITER 143 NEW BEST:: SOT 45756 SOS 31021 HAS SOPS 26170 HAS SOUS 20764 HAS SOUPS 20274 WITH SCORE 20305.021
AT ITER 148 NEW BEST:: SOT 45564 SOS 30829 HAS SOPS 25966 HAS SOUS 20563 HAS SOUPS 20073 WITH SCORE 20103.829
AT ITER 149 NEW BEST:: SOT 45589 SOS 30829 HAS SOPS 25966 HAS SOUS 20513 HAS SOUPS 20023 WITH SCORE 20053.829
AT ITER 153 NEW BEST:: SOT 45591 SOS 30776 HAS SOPS 25915 HAS SOUS 20513 HAS SOUPS 20023 WITH SCORE 20053.776
AT ITER 158 NEW BEST:: SOT 45591 SOS 30542 HAS SOPS 25681 HAS SOUS 20418 HAS SOUPS 19928 WITH SCORE 19958.542
AT ITER 162 NEW BEST:: SOT 45591 SOS 30513 HAS SOPS 25681 HAS SOUS 20418 HAS SOUPS 19928 WITH SCORE 19958.513
AT ITER 164 NEW BEST:: SOT 45540 SOS 30449 HAS SOPS 25596 HAS SOUS 20374 HAS SOUPS 19884 WITH SCORE 19914.449
AT ITER 166 NEW BEST:: SOT 45376 SOS 30247 HAS SOPS 25356 HAS SOUS 20134 HAS SOUPS 19644 WITH SCORE 19674.247
AT ITER 167 NEW BEST:: SOT 45373 SOS 30244 HAS SOPS 25353 HAS SOUS 20131 HAS SOUPS 19641 WITH SCORE 19671.244
AT ITER 170 NEW BEST:: SOT 45373 SOS 30243 HAS SOPS 25359 HAS SOUS 20131 HAS SOUPS 19641 WITH SCORE 19671.243
AT ITER 173 NEW BEST:: SOT 45101 SOS 30092 HAS SOPS 25206 HAS SOUS 19919 HAS SOUPS 19429 WITH SCORE 19459.092
AT ITER 175 NEW BEST:: SOT 45362 SOS 29572 HAS SOPS 24218 HAS SOUS 20080 HAS SOUPS 19056 WITH SCORE 19085.572
AT ITER 178 NEW BEST:: SOT 45362 SOS 29560 HAS SOPS 24206 HAS SOUS 20071 HAS SOUPS 19047 WITH SCORE 19076.56
AT ITER 183 NEW BEST:: SOT 44454 SOS 29113 HAS SOPS 23380 HAS SOUS 19401 HAS SOUPS 18336 WITH SCORE 18365.113
AT ITER 184 NEW BEST:: SOT 44102 SOS 28786 HAS SOPS 23446 HAS SOUS 19160 HAS SOUPS 18067 WITH SCORE 18095.786
AT ITER 186 NEW BEST:: SOT 44102 SOS 28746 HAS SOPS 23390 HAS SOUS 19160 HAS SOUPS 18067 WITH SCORE 18095.746
AT ITER 190 NEW BEST:: SOT 44196 SOS 28617 HAS SOPS 23269 HAS SOUS 19148 HAS SOUPS 18055 WITH SCORE 18083.617
AT ITER 195 NEW BEST:: SOT 43962 SOS 28592 HAS SOPS 23247 HAS SOUS 19028 HAS SOUPS 17935 WITH SCORE 17963.592
AT ITER 196 NEW BEST:: SOT 43946 SOS 28576 HAS SOPS 23231 HAS SOUS 19008 HAS SOUPS 17915 WITH SCORE 17943.576
AT ITER 200 NEW BEST:: SOT 43845 SOS 28563 HAS SOPS 23215 HAS SOUS 18918 HAS SOUPS 17825 WITH SCORE 17853.563
AT ITER 202 NEW BEST:: SOT 43825 SOS 28407 HAS SOPS 23059 HAS SOUS 18839 HAS SOUPS 17746 WITH SCORE 17774.407
AT ITER 210 NEW BEST:: SOT 43793 SOS 28375 HAS SOPS 23035 HAS SOUS 18815 HAS SOUPS 17722 WITH SCORE 17750.375
AT ITER 220 NEW BEST:: SOT 43660 SOS 28236 HAS SOPS 23001 HAS SOUS 18604 HAS SOUPS 17511 WITH SCORE 17539.236
AT ITER 223 NEW BEST:: SOT 43630 SOS 28206 HAS SOPS 22950 HAS SOUS 18544 HAS SOUPS 17451 WITH SCORE 17479.206
AT ITER 224 NEW BEST:: SOT 43630 SOS 28187 HAS SOPS 22931 HAS SOUS 18544 HAS SOUPS 17451 WITH SCORE 17479.187
AT ITER 227 NEW BEST:: SOT 43518 SOS 28039 HAS SOPS 22745 HAS SOUS 18387 HAS SOUPS 17294 WITH SCORE 17322.039
AT ITER 228 NEW BEST:: SOT 43511 SOS 28045 HAS SOPS 22741 HAS SOUS 18396 HAS SOUPS 17293 WITH SCORE 17321.045
AT ITER 229 NEW BEST:: SOT 42354 SOS 29768 HAS SOPS 22969 HAS SOUS 18044 HAS SOUPS 16834 WITH SCORE 16863.768
AT ITER 241 NEW BEST:: SOT 42354 SOS 29405 HAS SOPS 22861 HAS SOUS 17906 HAS SOUPS 16798 WITH SCORE 16827.405
AT ITER 249 NEW BEST:: SOT 42284 SOS 29335 HAS SOPS 22827 HAS SOUS 17861 HAS SOUPS 16753 WITH SCORE 16782.335
AT ITER 250 NEW BEST:: SOT 41960 SOS 29011 HAS SOPS 22518 HAS SOUS 17563 HAS SOUPS 16455 WITH SCORE 16484.011
AT ITER 253 NEW BEST:: SOT 41977 SOS 29060 HAS SOPS 22616 HAS SOUS 17559 HAS SOUPS 16451 WITH SCORE 16480.06
AT ITER 256 NEW BEST:: SOT 41837 SOS 28967 HAS SOPS 22456 HAS SOUS 17521 HAS SOUPS 16366 WITH SCORE 16394.967
AT ITER 259 NEW BEST:: SOT 41812 SOS 28868 HAS SOPS 22357 HAS SOUS 17478 HAS SOUPS 16323 WITH SCORE 16351.868
AT ITER 266 NEW BEST:: SOT 41540 SOS 28596 HAS SOPS 22069 HAS SOUS 17152 HAS SOUPS 15997 WITH SCORE 16025.596
AT ITER 268 NEW BEST:: SOT 41280 SOS 28554 HAS SOPS 22014 HAS SOUS 16963 HAS SOUPS 15808 WITH SCORE 15836.554
AT ITER 269 NEW BEST:: SOT 40491 SOS 28043 HAS SOPS 21349 HAS SOUS 16360 HAS SOUPS 15174 WITH SCORE 15202.043
AT ITER 272 NEW BEST:: SOT 40491 SOS 28036 HAS SOPS 21370 HAS SOUS 16360 HAS SOUPS 15174 WITH SCORE 15202.036
AT ITER 274 NEW BEST:: SOT 40487 SOS 28032 HAS SOPS 21366 HAS SOUS 16356 HAS SOUPS 15170 WITH SCORE 15198.032
AT ITER 275 NEW BEST:: SOT 40299 SOS 27922 HAS SOPS 21294 HAS SOUS 16214 HAS SOUPS 15028 WITH SCORE 15055.922
AT ITER 276 NEW BEST:: SOT 40299 SOS 27906 HAS SOPS 21229 HAS SOUS 16192 HAS SOUPS 15006 WITH SCORE 15033.906
AT ITER 277 NEW BEST:: SOT 40273 SOS 27880 HAS SOPS 21203 HAS SOUS 16173 HAS SOUPS 14987 WITH SCORE 15014.88
AT ITER 285 NEW BEST:: SOT 40255 SOS 27834 HAS SOPS 21165 HAS SOUS 16092 HAS SOUPS 14906 WITH SCORE 14933.834
AT ITER 289 NEW BEST:: SOT 40255 SOS 27824 HAS SOPS 21155 HAS SOUS 16092 HAS SOUPS 14906 WITH SCORE 14933.824
AT ITER 295 NEW BEST:: SOT 40097 SOS 27666 HAS SOPS 21081 HAS SOUS 16008 HAS SOUPS 14824 WITH SCORE 14851.666
AT ITER 297 NEW BEST:: SOT 40045 SOS 27620 HAS SOPS 21028 HAS SOUS 15978 HAS SOUPS 14793 WITH SCORE 14820.62
AT ITER 302 NEW BEST:: SOT 39866 SOS 27617 HAS SOPS 21371 HAS SOUS 15783 HAS SOUPS 14609 WITH SCORE 14636.617
AT ITER 309 NEW BEST:: SOT 39861 SOS 27580 HAS SOPS 21334 HAS SOUS 15770 HAS SOUPS 14596 WITH SCORE 14623.58
AT ITER 312 NEW BEST:: SOT 39256 SOS 27578 HAS SOPS 21005 HAS SOUS 15477 HAS SOUPS 14287 WITH SCORE 14314.578
AT ITER 320 NEW BEST:: SOT 39172 SOS 27493 HAS SOPS 20879 HAS SOUS 15338 HAS SOUPS 14148 WITH SCORE 14175.493
AT ITER 321 NEW BEST:: SOT 38885 SOS 27449 HAS SOPS 20835 HAS SOUS 15228 HAS SOUPS 14038 WITH SCORE 14065.449
AT ITER 323 NEW BEST:: SOT 38285 SOS 27880 HAS SOPS 20754 HAS SOUS 15099 HAS SOUPS 13861 WITH SCORE 13888.88
AT ITER 326 NEW BEST:: SOT 38285 SOS 27880 HAS SOPS 20744 HAS SOUS 15081 HAS SOUPS 13843 WITH SCORE 13870.88
AT ITER 333 NEW BEST:: SOT 38397 SOS 27825 HAS SOPS 20792 HAS SOUS 14931 HAS SOUPS 13789 WITH SCORE 13816.825
AT ITER 334 NEW BEST:: SOT 38381 SOS 27770 HAS SOPS 20649 HAS SOUS 14915 HAS SOUPS 13773 WITH SCORE 13800.77
AT ITER 335 NEW BEST:: SOT 38206 SOS 27595 HAS SOPS 20474 HAS SOUS 14767 HAS SOUPS 13625 WITH SCORE 13652.595
AT ITER 336 NEW BEST:: SOT 38288 SOS 27669 HAS SOPS 20556 HAS SOUS 14755 HAS SOUPS 13621 WITH SCORE 13648.669
AT ITER 350 NEW BEST:: SOT 38256 SOS 27637 HAS SOPS 20524 HAS SOUS 14718 HAS SOUPS 13584 WITH SCORE 13611.637
AT ITER 352 NEW BEST:: SOT 38230 SOS 27611 HAS SOPS 20485 HAS SOUS 14679 HAS SOUPS 13545 WITH SCORE 13572.611
AT ITER 355 NEW BEST:: SOT 37722 SOS 27184 HAS SOPS 20219 HAS SOUS 14126 HAS SOUPS 13153 WITH SCORE 13180.184
AT ITER 356 NEW BEST:: SOT 37722 SOS 27184 HAS SOPS 20219 HAS SOUS 14124 HAS SOUPS 13151 WITH SCORE 13178.184
AT ITER 357 NEW BEST:: SOT 37654 SOS 27206 HAS SOPS 20556 HAS SOUS 14101 HAS SOUPS 13128 WITH SCORE 13155.206
AT ITER 359 NEW BEST:: SOT 37185 SOS 27530 HAS SOPS 20325 HAS SOUS 13865 HAS SOUPS 12859 WITH SCORE 12886.53
AT ITER 366 NEW BEST:: SOT 37185 SOS 27454 HAS SOPS 20249 HAS SOUS 13846 HAS SOUPS 12840 WITH SCORE 12867.454
AT ITER 368 NEW BEST:: SOT 36791 SOS 28285 HAS SOPS 20227 HAS SOUS 13775 HAS SOUPS 12731 WITH SCORE 12759.285
AT ITER 374 NEW BEST:: SOT 36737 SOS 28231 HAS SOPS 20209 HAS SOUS 13739 HAS SOUPS 12695 WITH SCORE 12723.231
AT ITER 377 NEW BEST:: SOT 36725 SOS 28219 HAS SOPS 20197 HAS SOUS 13727 HAS SOUPS 12683 WITH SCORE 12711.219
AT ITER 380 NEW BEST:: SOT 36625 SOS 28119 HAS SOPS 20101 HAS SOUS 13642 HAS SOUPS 12598 WITH SCORE 12626.119
AT ITER 383 NEW BEST:: SOT 36621 SOS 28099 HAS SOPS 20097 HAS SOUS 13642 HAS SOUPS 12598 WITH SCORE 12626.099
AT ITER 386 NEW BEST:: SOT 36494 SOS 27972 HAS SOPS 19970 HAS SOUS 13548 HAS SOUPS 12504 WITH SCORE 12531.972
AT ITER 389 NEW BEST:: SOT 36494 SOS 27954 HAS SOPS 19978 HAS SOUS 13548 HAS SOUPS 12504 WITH SCORE 12531.954
AT ITER 396 NEW BEST:: SOT 36338 SOS 27798 HAS SOPS 19822 HAS SOUS 13354 HAS SOUPS 12310 WITH SCORE 12337.798
AT ITER 398 NEW BEST:: SOT 36041 SOS 27501 HAS SOPS 19525 HAS SOUS 13287 HAS SOUPS 12243 WITH SCORE 12270.501
AT ITER 402 NEW BEST:: SOT 35878 SOS 27360 HAS SOPS 19384 HAS SOUS 13137 HAS SOUPS 12093 WITH SCORE 12120.36
AT ITER 405 NEW BEST:: SOT 35856 SOS 27338 HAS SOPS 19340 HAS SOUS 13104 HAS SOUPS 12060 WITH SCORE 12087.338
AT ITER 407 NEW BEST:: SOT 35856 SOS 27338 HAS SOPS 19324 HAS SOUS 13092 HAS SOUPS 12048 WITH SCORE 12075.338
AT ITER 412 NEW BEST:: SOT 35876 SOS 27358 HAS SOPS 19207 HAS SOUS 13028 HAS SOUPS 11984 WITH SCORE 12011.358
AT ITER 418 NEW BEST:: SOT 35897 SOS 27379 HAS SOPS 19279 HAS SOUS 13006 HAS SOUPS 11962 WITH SCORE 11989.379
AT ITER 419 NEW BEST:: SOT 35831 SOS 27339 HAS SOPS 19239 HAS SOUS 12986 HAS SOUPS 11942 WITH SCORE 11969.339
AT ITER 426 NEW BEST:: SOT 35739 SOS 27247 HAS SOPS 19269 HAS SOUS 12974 HAS SOUPS 11930 WITH SCORE 11957.247
AT ITER 428 NEW BEST:: SOT 35739 SOS 27171 HAS SOPS 19193 HAS SOUS 12950 HAS SOUPS 11906 WITH SCORE 11933.171
AT ITER 436 NEW BEST:: SOT 35737 SOS 27169 HAS SOPS 19189 HAS SOUS 12947 HAS SOUPS 11903 WITH SCORE 11930.169
AT ITER 441 NEW BEST:: SOT 35737 SOS 27188 HAS SOPS 19238 HAS SOUS 12921 HAS SOUPS 11877 WITH SCORE 11904.188
AT ITER 443 NEW BEST:: SOT 35762 SOS 27001 HAS SOPS 19161 HAS SOUS 12916 HAS SOUPS 11877 WITH SCORE 11904.001
AT ITER 454 NEW BEST:: SOT 35541 SOS 26812 HAS SOPS 18920 HAS SOUS 12891 HAS SOUPS 11820 WITH SCORE 11846.812
AT ITER 455 NEW BEST:: SOT 35534 SOS 26798 HAS SOPS 18906 HAS SOUS 12884 HAS SOUPS 11813 WITH SCORE 11839.798
AT ITER 458 NEW BEST:: SOT 35522 SOS 26792 HAS SOPS 18900 HAS SOUS 12884 HAS SOUPS 11813 WITH SCORE 11839.792
AT ITER 459 NEW BEST:: SOT 35502 SOS 26772 HAS SOPS 18880 HAS SOUS 12864 HAS SOUPS 11793 WITH SCORE 11819.772
AT ITER 460 NEW BEST:: SOT 35496 SOS 26759 HAS SOPS 18862 HAS SOUS 12858 HAS SOUPS 11787 WITH SCORE 11813.759
AT ITER 463 NEW BEST:: SOT 35274 SOS 26546 HAS SOPS 18504 HAS SOUS 12841 HAS SOUPS 11761 WITH SCORE 11787.546
AT ITER 469 NEW BEST:: SOT 34944 SOS 26216 HAS SOPS 18228 HAS SOUS 12565 HAS SOUPS 11485 WITH SCORE 11511.216
AT ITER 478 NEW BEST:: SOT 34936 SOS 26208 HAS SOPS 18234 HAS SOUS 12549 HAS SOUPS 11469 WITH SCORE 11495.208
AT ITER 481 NEW BEST:: SOT 34934 SOS 26206 HAS SOPS 18231 HAS SOUS 12546 HAS SOUPS 11466 WITH SCORE 11492.206
AT ITER 482 NEW BEST:: SOT 34950 SOS 26209 HAS SOPS 18251 HAS SOUS 12543 HAS SOUPS 11463 WITH SCORE 11489.209
AT ITER 486 NEW BEST:: SOT 34928 SOS 26187 HAS SOPS 18207 HAS SOUS 12507 HAS SOUPS 11427 WITH SCORE 11453.187
AT ITER 487 NEW BEST:: SOT 34923 SOS 26182 HAS SOPS 18270 HAS SOUS 12488 HAS SOUPS 11408 WITH SCORE 11434.182
AT ITER 488 NEW BEST:: SOT 34923 SOS 26182 HAS SOPS 18270 HAS SOUS 12485 HAS SOUPS 11405 WITH SCORE 11431.182
AT ITER 492 NEW BEST:: SOT 35017 SOS 26268 HAS SOPS 18081 HAS SOUS 12325 HAS SOUPS 11245 WITH SCORE 11271.268
AT ITER 496 NEW BEST:: SOT 35013 SOS 26264 HAS SOPS 18075 HAS SOUS 12312 HAS SOUPS 11232 WITH SCORE 11258.264
AT ITER 517 NEW BEST:: SOT 34835 SOS 26086 HAS SOPS 17904 HAS SOUS 12129 HAS SOUPS 11049 WITH SCORE 11075.086
AT ITER 523 NEW BEST:: SOT 34821 SOS 26072 HAS SOPS 17880 HAS SOUS 12098 HAS SOUPS 11018 WITH SCORE 11044.072
AT ITER 530 NEW BEST:: SOT 34777 SOS 26071 HAS SOPS 17906 HAS SOUS 12082 HAS SOUPS 11002 WITH SCORE 11028.071
AT ITER 531 NEW BEST:: SOT 34706 SOS 26000 HAS SOPS 17812 HAS SOUS 11992 HAS SOUPS 10912 WITH SCORE 10938.0
AT ITER 533 NEW BEST:: SOT 34678 SOS 25972 HAS SOPS 17770 HAS SOUS 11950 HAS SOUPS 10870 WITH SCORE 10895.972
AT ITER 541 NEW BEST:: SOT 34678 SOS 25951 HAS SOPS 17749 HAS SOUS 11950 HAS SOUPS 10870 WITH SCORE 10895.951
AT ITER 542 NEW BEST:: SOT 34682 SOS 25955 HAS SOPS 17753 HAS SOUS 11949 HAS SOUPS 10869 WITH SCORE 10894.955
AT ITER 545 NEW BEST:: SOT 34682 SOS 25955 HAS SOPS 17753 HAS SOUS 11935 HAS SOUPS 10855 WITH SCORE 10880.955
AT ITER 557 NEW BEST:: SOT 34594 SOS 25867 HAS SOPS 17628 HAS SOUS 11774 HAS SOUPS 10694 WITH SCORE 10719.867
AT ITER 560 NEW BEST:: SOT 34589 SOS 25862 HAS SOPS 17623 HAS SOUS 11769 HAS SOUPS 10689 WITH SCORE 10714.862
AT ITER 565 NEW BEST:: SOT 34589 SOS 25862 HAS SOPS 17623 HAS SOUS 11726 HAS SOUPS 10646 WITH SCORE 10671.862
AT ITER 574 NEW BEST:: SOT 34537 SOS 25810 HAS SOPS 17545 HAS SOUS 11545 HAS SOUPS 10479 WITH SCORE 10504.81
AT ITER 579 NEW BEST:: SOT 34530 SOS 25719 HAS SOPS 17442 HAS SOUS 11526 HAS SOUPS 10460 WITH SCORE 10485.719
AT ITER 580 NEW BEST:: SOT 34576 SOS 25765 HAS SOPS 17488 HAS SOUS 11417 HAS SOUPS 10351 WITH SCORE 10376.765
AT ITER 581 NEW BEST:: SOT 34630 SOS 25359 HAS SOPS 17347 HAS SOUS 11402 HAS SOUPS 10347 WITH SCORE 10372.359
AT ITER 587 NEW BEST:: SOT 34612 SOS 25341 HAS SOPS 17329 HAS SOUS 11366 HAS SOUPS 10311 WITH SCORE 10336.341
AT ITER 590 NEW BEST:: SOT 34483 SOS 25212 HAS SOPS 17114 HAS SOUS 11252 HAS SOUPS 10197 WITH SCORE 10222.212
AT ITER 591 NEW BEST:: SOT 34479 SOS 25208 HAS SOPS 17110 HAS SOUS 11144 HAS SOUPS 10089 WITH SCORE 10114.208
AT ITER 592 NEW BEST:: SOT 34497 SOS 25205 HAS SOPS 16884 HAS SOUS 11117 HAS SOUPS 10062 WITH SCORE 10087.205
AT ITER 595 NEW BEST:: SOT 34457 SOS 25165 HAS SOPS 16844 HAS SOUS 11095 HAS SOUPS 10040 WITH SCORE 10065.165
AT ITER 604 NEW BEST:: SOT 34387 SOS 25098 HAS SOPS 16763 HAS SOUS 11049 HAS SOUPS 9994 WITH SCORE 10019.098
AT ITER 606 NEW BEST:: SOT 34331 SOS 25042 HAS SOPS 16679 HAS SOUS 10975 HAS SOUPS 9920 WITH SCORE 9945.042
AT ITER 617 NEW BEST:: SOT 34331 SOS 25042 HAS SOPS 16679 HAS SOUS 10969 HAS SOUPS 9914 WITH SCORE 9939.042
AT ITER 629 NEW BEST:: SOT 34269 SOS 24980 HAS SOPS 16549 HAS SOUS 10858 HAS SOUPS 9803 WITH SCORE 9827.98
AT ITER 633 NEW BEST:: SOT 34225 SOS 24936 HAS SOPS 16571 HAS SOUS 10836 HAS SOUPS 9781 WITH SCORE 9805.936
AT ITER 640 NEW BEST:: SOT 34091 SOS 24743 HAS SOPS 16079 HAS SOUS 10585 HAS SOUPS 9484 WITH SCORE 9508.743
AT ITER 641 NEW BEST:: SOT 34022 SOS 24610 HAS SOPS 15931 HAS SOUS 10475 HAS SOUPS 9374 WITH SCORE 9398.61
AT ITER 644 NEW BEST:: SOT 34020 SOS 24608 HAS SOPS 15928 HAS SOUS 10443 HAS SOUPS 9342 WITH SCORE 9366.608
AT ITER 651 NEW BEST:: SOT 34078 SOS 24666 HAS SOPS 15880 HAS SOUS 10405 HAS SOUPS 9304 WITH SCORE 9328.666
AT ITER 656 NEW BEST:: SOT 34072 SOS 24660 HAS SOPS 15874 HAS SOUS 10400 HAS SOUPS 9299 WITH SCORE 9323.66
AT ITER 668 NEW BEST:: SOT 34066 SOS 24654 HAS SOPS 15865 HAS SOUS 10391 HAS SOUPS 9290 WITH SCORE 9314.654
AT ITER 669 NEW BEST:: SOT 33896 SOS 24484 HAS SOPS 15664 HAS SOUS 10284 HAS SOUPS 9183 WITH SCORE 9207.484
AT ITER 674 NEW BEST:: SOT 33820 SOS 24408 HAS SOPS 15601 HAS SOUS 10205 HAS SOUPS 9104 WITH SCORE 9128.408
AT ITER 676 NEW BEST:: SOT 33820 SOS 24408 HAS SOPS 15601 HAS SOUS 10177 HAS SOUPS 9076 WITH SCORE 9100.408
AT ITER 686 NEW BEST:: SOT 33818 SOS 24406 HAS SOPS 15598 HAS SOUS 10175 HAS SOUPS 9074 WITH SCORE 9098.406
AT ITER 693 NEW BEST:: SOT 33804 SOS 24392 HAS SOPS 15570 HAS SOUS 10154 HAS SOUPS 9053 WITH SCORE 9077.392
AT ITER 695 NEW BEST:: SOT 33706 SOS 24392 HAS SOPS 15169 HAS SOUS 10129 HAS SOUPS 9028 WITH SCORE 9052.392
AT ITER 697 NEW BEST:: SOT 33650 SOS 24336 HAS SOPS 15057 HAS SOUS 10027 HAS SOUPS 8926 WITH SCORE 8950.336
AT ITER 698 NEW BEST:: SOT 33626 SOS 24106 HAS SOPS 15120 HAS SOUS 10018 HAS SOUPS 8917 WITH SCORE 8941.106
AT ITER 702 NEW BEST:: SOT 33626 SOS 24114 HAS SOPS 15128 HAS SOUS 10017 HAS SOUPS 8916 WITH SCORE 8940.114
AT ITER 706 NEW BEST:: SOT 33623 SOS 24269 HAS SOPS 15228 HAS SOUS 10036 HAS SOUPS 8907 WITH SCORE 8931.269
AT ITER 710 NEW BEST:: SOT 33611 SOS 24257 HAS SOPS 15222 HAS SOUS 10027 HAS SOUPS 8898 WITH SCORE 8922.257
AT ITER 715 NEW BEST:: SOT 33609 SOS 24255 HAS SOPS 15220 HAS SOUS 10023 HAS SOUPS 8894 WITH SCORE 8918.255
AT ITER 735 NEW BEST:: SOT 33598 SOS 24233 HAS SOPS 15173 HAS SOUS 9995 HAS SOUPS 8859 WITH SCORE 8883.233
AT ITER 758 NEW BEST:: SOT 33527 SOS 24162 HAS SOPS 15059 HAS SOUS 9974 HAS SOUPS 8824 WITH SCORE 8848.162
AT ITER 760 NEW BEST:: SOT 33443 SOS 24111 HAS SOPS 14946 HAS SOUS 9876 HAS SOUPS 8693 WITH SCORE 8717.111
AT ITER 772 NEW BEST:: SOT 33411 SOS 24079 HAS SOPS 14859 HAS SOUS 9833 HAS SOUPS 8650 WITH SCORE 8674.079
AT ITER 776 NEW BEST:: SOT 33367 SOS 24035 HAS SOPS 14815 HAS SOUS 9807 HAS SOUPS 8624 WITH SCORE 8648.035
AT ITER 785 NEW BEST:: SOT 33349 SOS 24017 HAS SOPS 14788 HAS SOUS 9780 HAS SOUPS 8597 WITH SCORE 8621.017
AT ITER 805 NEW BEST:: SOT 33343 SOS 24011 HAS SOPS 14782 HAS SOUS 9774 HAS SOUPS 8591 WITH SCORE 8615.011
AT ITER 806 NEW BEST:: SOT 33265 SOS 23933 HAS SOPS 14665 HAS SOUS 9636 HAS SOUPS 8453 WITH SCORE 8476.933
AT ITER 808 NEW BEST:: SOT 33195 SOS 23913 HAS SOPS 14573 HAS SOUS 9643 HAS SOUPS 8438 WITH SCORE 8461.913
AT ITER 809 NEW BEST:: SOT 33195 SOS 23913 HAS SOPS 14573 HAS SOUS 9625 HAS SOUPS 8420 WITH SCORE 8443.913
AT ITER 821 NEW BEST:: SOT 33235 SOS 23896 HAS SOPS 14613 HAS SOUS 9603 HAS SOUPS 8420 WITH SCORE 8443.896
AT ITER 822 NEW BEST:: SOT 33225 SOS 23881 HAS SOPS 14581 HAS SOUS 9593 HAS SOUPS 8410 WITH SCORE 8433.881
AT ITER 846 NEW BEST:: SOT 33221 SOS 23877 HAS SOPS 14567 HAS SOUS 9587 HAS SOUPS 8404 WITH SCORE 8427.877
AT ITER 859 NEW BEST:: SOT 33354 SOS 23005 HAS SOPS 14186 HAS SOUS 9559 HAS SOUPS 8401 WITH SCORE 8424.005
AT ITER 861 NEW BEST:: SOT 33349 SOS 23000 HAS SOPS 14181 HAS SOUS 9549 HAS SOUPS 8391 WITH SCORE 8414.0
AT ITER 863 NEW BEST:: SOT 33365 SOS 23016 HAS SOPS 14163 HAS SOUS 9529 HAS SOUPS 8371 WITH SCORE 8394.016
AT ITER 867 NEW BEST:: SOT 33365 SOS 23016 HAS SOPS 14163 HAS SOUS 9526 HAS SOUPS 8368 WITH SCORE 8391.016
AT ITER 869 NEW BEST:: SOT 33269 SOS 22920 HAS SOPS 14019 HAS SOUS 9415 HAS SOUPS 8257 WITH SCORE 8279.92
AT ITER 873 NEW BEST:: SOT 33228 SOS 22816 HAS SOPS 13898 HAS SOUS 9399 HAS SOUPS 8241 WITH SCORE 8263.816
AT ITER 891 NEW BEST:: SOT 33224 SOS 22812 HAS SOPS 13884 HAS SOUS 9399 HAS SOUPS 8241 WITH SCORE 8263.812
AT ITER 892 NEW BEST:: SOT 33182 SOS 22642 HAS SOPS 13862 HAS SOUS 9398 HAS SOUPS 8240 WITH SCORE 8262.642
AT ITER 920 NEW BEST:: SOT 33202 SOS 22662 HAS SOPS 13854 HAS SOUS 9392 HAS SOUPS 8234 WITH SCORE 8256.662
AT ITER 922 NEW BEST:: SOT 33202 SOS 22662 HAS SOPS 13840 HAS SOUS 9378 HAS SOUPS 8220 WITH SCORE 8242.662
AT ITER 928 NEW BEST:: SOT 33202 SOS 22662 HAS SOPS 13840 HAS SOUS 9377 HAS SOUPS 8219 WITH SCORE 8241.662
AT ITER 944 NEW BEST:: SOT 33216 SOS 22595 HAS SOPS 13800 HAS SOUS 9341 HAS SOUPS 8210 WITH SCORE 8232.595
AT ITER 945 NEW BEST:: SOT 33200 SOS 22579 HAS SOPS 13756 HAS SOUS 9310 HAS SOUPS 8179 WITH SCORE 8201.579
AT ITER 946 NEW BEST:: SOT 33087 SOS 23149 HAS SOPS 14003 HAS SOUS 9245 HAS SOUPS 8114 WITH SCORE 8137.149
AT ITER 949 NEW BEST:: SOT 33054 SOS 23089 HAS SOPS 13921 HAS SOUS 9189 HAS SOUPS 8058 WITH SCORE 8081.089
AT ITER 964 NEW BEST:: SOT 33054 SOS 23089 HAS SOPS 13921 HAS SOUS 9173 HAS SOUPS 8042 WITH SCORE 8065.089
AT ITER 969 NEW BEST:: SOT 32987 SOS 23022 HAS SOPS 13854 HAS SOUS 9160 HAS SOUPS 8029 WITH SCORE 8052.022
AT ITER 970 NEW BEST:: SOT 32880 SOS 23433 HAS SOPS 14010 HAS SOUS 9132 HAS SOUPS 7986 WITH SCORE 8009.433
AT ITER 976 NEW BEST:: SOT 32846 SOS 23399 HAS SOPS 13976 HAS SOUS 9078 HAS SOUPS 7932 WITH SCORE 7955.399
AT ITER 978 NEW BEST:: SOT 32842 SOS 23395 HAS SOPS 13970 HAS SOUS 9078 HAS SOUPS 7932 WITH SCORE 7955.395
AT ITER 981 NEW BEST:: SOT 32842 SOS 23395 HAS SOPS 13970 HAS SOUS 9075 HAS SOUPS 7929 WITH SCORE 7952.395
AT ITER 982 NEW BEST:: SOT 32840 SOS 23393 HAS SOPS 13943 HAS SOUS 9049 HAS SOUPS 7903 WITH SCORE 7926.393
AT ITER 996 NEW BEST:: SOT 32792 SOS 23340 HAS SOPS 13871 HAS SOUS 9042 HAS SOUPS 7896 WITH SCORE 7919.34
AT ITER 1001 NEW BEST:: SOT 32773 SOS 23254 HAS SOPS 13785 HAS SOUS 9015 HAS SOUPS 7869 WITH SCORE 7892.254
AT ITER 1011 NEW BEST:: SOT 32717 SOS 23198 HAS SOPS 13696 HAS SOUS 8963 HAS SOUPS 7817 WITH SCORE 7840.198
AT ITER 1026 NEW BEST:: SOT 32709 SOS 23190 HAS SOPS 13684 HAS SOUS 8961 HAS SOUPS 7815 WITH SCORE 7838.19
AT ITER 1031 NEW BEST:: SOT 32706 SOS 23187 HAS SOPS 13681 HAS SOUS 8958 HAS SOUPS 7812 WITH SCORE 7835.187
AT ITER 1037 NEW BEST:: SOT 32654 SOS 23135 HAS SOPS 13603 HAS SOUS 8877 HAS SOUPS 7731 WITH SCORE 7754.135
AT ITER 1038 NEW BEST:: SOT 32646 SOS 23131 HAS SOPS 13591 HAS SOUS 8873 HAS SOUPS 7723 WITH SCORE 7746.131
AT ITER 1040 NEW BEST:: SOT 32545 SOS 23236 HAS SOPS 13639 HAS SOUS 8850 HAS SOUPS 7700 WITH SCORE 7723.236
AT ITER 1045 NEW BEST:: SOT 32545 SOS 23236 HAS SOPS 13639 HAS SOUS 8838 HAS SOUPS 7688 WITH SCORE 7711.236
AT ITER 1072 NEW BEST:: SOT 32549 SOS 23240 HAS SOPS 13475 HAS SOUS 8744 HAS SOUPS 7594 WITH SCORE 7617.24
AT ITER 1074 NEW BEST:: SOT 32548 SOS 23239 HAS SOPS 13474 HAS SOUS 8744 HAS SOUPS 7594 WITH SCORE 7617.239
AT ITER 1082 NEW BEST:: SOT 32528 SOS 23169 HAS SOPS 13424 HAS SOUS 8734 HAS SOUPS 7584 WITH SCORE 7607.169
AT ITER 1099 NEW BEST:: SOT 32528 SOS 23169 HAS SOPS 13424 HAS SOUS 8728 HAS SOUPS 7578 WITH SCORE 7601.169
AT ITER 1112 NEW BEST:: SOT 32518 SOS 23159 HAS SOPS 13409 HAS SOUS 8718 HAS SOUPS 7568 WITH SCORE 7591.159
AT ITER 1121 NEW BEST:: SOT 32505 SOS 23130 HAS SOPS 13376 HAS SOUS 8704 HAS SOUPS 7554 WITH SCORE 7577.13
AT ITER 1126 NEW BEST:: SOT 32493 SOS 23118 HAS SOPS 13358 HAS SOUS 8691 HAS SOUPS 7541 WITH SCORE 7564.118
AT ITER 1149 NEW BEST:: SOT 32501 SOS 23126 HAS SOPS 13366 HAS SOUS 8689 HAS SOUPS 7539 WITH SCORE 7562.126
AT ITER 1150 NEW BEST:: SOT 32499 SOS 23124 HAS SOPS 13349 HAS SOUS 8673 HAS SOUPS 7523 WITH SCORE 7546.124
AT ITER 1152 NEW BEST:: SOT 32493 SOS 23118 HAS SOPS 13337 HAS SOUS 8657 HAS SOUPS 7507 WITH SCORE 7530.118
AT ITER 1161 NEW BEST:: SOT 32471 SOS 23096 HAS SOPS 13329 HAS SOUS 8624 HAS SOUPS 7474 WITH SCORE 7497.096
AT ITER 1201 NEW BEST:: SOT 32256 SOS 24870 HAS SOPS 13951 HAS SOUS 8644 HAS SOUPS 7449 WITH SCORE 7473.87
AT ITER 1203 NEW BEST:: SOT 32253 SOS 24864 HAS SOPS 13954 HAS SOUS 8638 HAS SOUPS 7446 WITH SCORE 7470.864
AT ITER 1211 NEW BEST:: SOT 32264 SOS 24854 HAS SOPS 13953 HAS SOUS 8626 HAS SOUPS 7434 WITH SCORE 7458.854
AT ITER 1224 NEW BEST:: SOT 32276 SOS 24866 HAS SOPS 13917 HAS SOUS 8592 HAS SOUPS 7400 WITH SCORE 7424.866
AT ITER 1239 NEW BEST:: SOT 32264 SOS 24854 HAS SOPS 13923 HAS SOUS 8586 HAS SOUPS 7394 WITH SCORE 7418.854
AT ITER 1245 NEW BEST:: SOT 32204 SOS 24794 HAS SOPS 13920 HAS SOUS 8571 HAS SOUPS 7379 WITH SCORE 7403.794
AT ITER 1271 NEW BEST:: SOT 32174 SOS 24764 HAS SOPS 13848 HAS SOUS 8520 HAS SOUPS 7328 WITH SCORE 7352.764
AT ITER 1282 NEW BEST:: SOT 32178 SOS 24768 HAS SOPS 13838 HAS SOUS 8516 HAS SOUPS 7324 WITH SCORE 7348.768
AT ITER 1283 NEW BEST:: SOT 32178 SOS 24769 HAS SOPS 13839 HAS SOUS 8515 HAS SOUPS 7323 WITH SCORE 7347.769
AT ITER 1290 NEW BEST:: SOT 32183 SOS 24774 HAS SOPS 13829 HAS SOUS 8510 HAS SOUPS 7318 WITH SCORE 7342.774
AT ITER 1326 NEW BEST:: SOT 32167 SOS 24758 HAS SOPS 13805 HAS SOUS 8494 HAS SOUPS 7302 WITH SCORE 7326.758
AT ITER 1335 NEW BEST:: SOT 32167 SOS 24737 HAS SOPS 13784 HAS SOUS 8494 HAS SOUPS 7302 WITH SCORE 7326.737
AT ITER 1339 NEW BEST:: SOT 32098 SOS 24752 HAS SOPS 13730 HAS SOUS 8510 HAS SOUPS 7280 WITH SCORE 7304.752
AT ITER 1353 NEW BEST:: SOT 32106 SOS 24760 HAS SOPS 13738 HAS SOUS 8483 HAS SOUPS 7253 WITH SCORE 7277.76
AT ITER 1354 NEW BEST:: SOT 32104 SOS 24758 HAS SOPS 13734 HAS SOUS 8479 HAS SOUPS 7249 WITH SCORE 7273.758
AT ITER 1372 NEW BEST:: SOT 32110 SOS 24764 HAS SOPS 13731 HAS SOUS 8476 HAS SOUPS 7246 WITH SCORE 7270.764
AT ITER 1375 NEW BEST:: SOT 32360 SOS 22529 HAS SOPS 12795 HAS SOUS 8404 HAS SOUPS 7226 WITH SCORE 7248.529
AT ITER 1377 NEW BEST:: SOT 32360 SOS 22529 HAS SOPS 12795 HAS SOUS 8402 HAS SOUPS 7224 WITH SCORE 7246.529
AT ITER 1380 NEW BEST:: SOT 32346 SOS 22515 HAS SOPS 12774 HAS SOUS 8380 HAS SOUPS 7202 WITH SCORE 7224.515
AT ITER 1381 NEW BEST:: SOT 32338 SOS 22507 HAS SOPS 12762 HAS SOUS 8373 HAS SOUPS 7195 WITH SCORE 7217.507
AT ITER 1390 NEW BEST:: SOT 32344 SOS 22513 HAS SOPS 12771 HAS SOUS 8366 HAS SOUPS 7188 WITH SCORE 7210.513
AT ITER 1412 NEW BEST:: SOT 32340 SOS 22509 HAS SOPS 12765 HAS SOUS 8366 HAS SOUPS 7188 WITH SCORE 7210.509
AT ITER 1419 NEW BEST:: SOT 32332 SOS 22501 HAS SOPS 12786 HAS SOUS 8358 HAS SOUPS 7180 WITH SCORE 7202.501
AT ITER 1420 NEW BEST:: SOT 32312 SOS 22481 HAS SOPS 12757 HAS SOUS 8310 HAS SOUPS 7132 WITH SCORE 7154.481
AT ITER 1430 NEW BEST:: SOT 32312 SOS 22481 HAS SOPS 12746 HAS SOUS 8299 HAS SOUPS 7121 WITH SCORE 7143.481
AT ITER 1496 NEW BEST:: SOT 32339 SOS 22508 HAS SOPS 12736 HAS SOUS 8274 HAS SOUPS 7096 WITH SCORE 7118.508
AT ITER 1501 NEW BEST:: SOT 32339 SOS 22505 HAS SOPS 12733 HAS SOUS 8274 HAS SOUPS 7096 WITH SCORE 7118.505
AT ITER 1513 NEW BEST:: SOT 32323 SOS 22489 HAS SOPS 12686 HAS SOUS 8237 HAS SOUPS 7053 WITH SCORE 7075.489
AT ITER 1516 NEW BEST:: SOT 32319 SOS 22485 HAS SOPS 12681 HAS SOUS 8231 HAS SOUPS 7047 WITH SCORE 7069.485
AT ITER 1522 NEW BEST:: SOT 32319 SOS 22485 HAS SOPS 12681 HAS SOUS 8208 HAS SOUPS 7024 WITH SCORE 7046.485
AT ITER 1530 NEW BEST:: SOT 32315 SOS 22324 HAS SOPS 12534 HAS SOUS 8204 HAS SOUPS 7020 WITH SCORE 7042.324
AT ITER 1553 NEW BEST:: SOT 32309 SOS 22318 HAS SOPS 12528 HAS SOUS 8190 HAS SOUPS 7006 WITH SCORE 7028.318
AT ITER 1554 NEW BEST:: SOT 32313 SOS 22326 HAS SOPS 12532 HAS SOUS 8186 HAS SOUPS 6998 WITH SCORE 7020.326
AT ITER 1573 NEW BEST:: SOT 32313 SOS 22326 HAS SOPS 12532 HAS SOUS 8181 HAS SOUPS 6993 WITH SCORE 7015.326
AT ITER 1574 NEW BEST:: SOT 32311 SOS 22324 HAS SOPS 12530 HAS SOUS 8181 HAS SOUPS 6993 WITH SCORE 7015.324
AT ITER 1593 NEW BEST:: SOT 32263 SOS 22312 HAS SOPS 12476 HAS SOUS 8153 HAS SOUPS 6965 WITH SCORE 6987.312
AT ITER 1618 NEW BEST:: SOT 32231 SOS 22280 HAS SOPS 12428 HAS SOUS 8103 HAS SOUPS 6915 WITH SCORE 6937.28
AT ITER 1621 NEW BEST:: SOT 32229 SOS 22266 HAS SOPS 12424 HAS SOUS 8094 HAS SOUPS 6910 WITH SCORE 6932.266
AT ITER 1625 NEW BEST:: SOT 32223 SOS 22248 HAS SOPS 12415 HAS SOUS 8094 HAS SOUPS 6910 WITH SCORE 6932.248
AT ITER 1637 NEW BEST:: SOT 32247 SOS 22272 HAS SOPS 12439 HAS SOUS 8084 HAS SOUPS 6900 WITH SCORE 6922.272
AT ITER 1661 NEW BEST:: SOT 32247 SOS 22272 HAS SOPS 12439 HAS SOUS 8080 HAS SOUPS 6896 WITH SCORE 6918.272
AT ITER 1667 NEW BEST:: SOT 32233 SOS 22258 HAS SOPS 12448 HAS SOUS 8067 HAS SOUPS 6891 WITH SCORE 6913.258
AT ITER 1671 NEW BEST:: SOT 32241 SOS 22246 HAS SOPS 12412 HAS SOUS 8065 HAS SOUPS 6889 WITH SCORE 6911.246
AT ITER 1673 NEW BEST:: SOT 32235 SOS 22240 HAS SOPS 12412 HAS SOUS 8065 HAS SOUPS 6889 WITH SCORE 6911.24
AT ITER 1690 NEW BEST:: SOT 32195 SOS 22200 HAS SOPS 12397 HAS SOUS 8055 HAS SOUPS 6879 WITH SCORE 6901.2
AT ITER 1713 NEW BEST:: SOT 32195 SOS 22226 HAS SOPS 12324 HAS SOUS 8000 HAS SOUPS 6824 WITH SCORE 6846.226
AT ITER 1723 NEW BEST:: SOT 32195 SOS 22226 HAS SOPS 12330 HAS SOUS 7991 HAS SOUPS 6815 WITH SCORE 6837.226
AT ITER 1728 NEW BEST:: SOT 32175 SOS 22212 HAS SOPS 12336 HAS SOUS 7975 HAS SOUPS 6799 WITH SCORE 6821.212
AT ITER 1734 NEW BEST:: SOT 32166 SOS 22121 HAS SOPS 12262 HAS SOUS 7941 HAS SOUPS 6782 WITH SCORE 6804.121
AT ITER 1742 NEW BEST:: SOT 32156 SOS 22111 HAS SOPS 12247 HAS SOUS 7940 HAS SOUPS 6781 WITH SCORE 6803.111
AT ITER 1749 NEW BEST:: SOT 32128 SOS 22083 HAS SOPS 12205 HAS SOUS 7898 HAS SOUPS 6739 WITH SCORE 6761.083
AT ITER 1775 NEW BEST:: SOT 32118 SOS 22073 HAS SOPS 12195 HAS SOUS 7878 HAS SOUPS 6719 WITH SCORE 6741.073
AT ITER 1782 NEW BEST:: SOT 32118 SOS 22073 HAS SOPS 12183 HAS SOUS 7866 HAS SOUPS 6707 WITH SCORE 6729.073
AT ITER 1787 NEW BEST:: SOT 32098 SOS 22053 HAS SOPS 12153 HAS SOUS 7836 HAS SOUPS 6677 WITH SCORE 6699.053
AT ITER 1802 NEW BEST:: SOT 32089 SOS 22116 HAS SOPS 12158 HAS SOUS 7856 HAS SOUPS 6645 WITH SCORE 6667.116
AT ITER 1816 NEW BEST:: SOT 32123 SOS 22150 HAS SOPS 12116 HAS SOUS 7852 HAS SOUPS 6641 WITH SCORE 6663.15
AT ITER 1825 NEW BEST:: SOT 32089 SOS 22116 HAS SOPS 12065 HAS SOUS 7801 HAS SOUPS 6590 WITH SCORE 6612.116
AT ITER 1830 NEW BEST:: SOT 32089 SOS 22114 HAS SOPS 12063 HAS SOUS 7801 HAS SOUPS 6590 WITH SCORE 6612.114
AT ITER 1897 NEW BEST:: SOT 32089 SOS 22114 HAS SOPS 12063 HAS SOUS 7798 HAS SOUPS 6587 WITH SCORE 6609.114
AT ITER 1927 NEW BEST:: SOT 32085 SOS 22110 HAS SOPS 12057 HAS SOUS 7784 HAS SOUPS 6573 WITH SCORE 6595.11
AT ITER 1935 NEW BEST:: SOT 32083 SOS 22108 HAS SOPS 12054 HAS SOUS 7781 HAS SOUPS 6570 WITH SCORE 6592.108
AT ITER 1954 NEW BEST:: SOT 32087 SOS 22112 HAS SOPS 12052 HAS SOUS 7779 HAS SOUPS 6568 WITH SCORE 6590.112
AT ITER 1997 NEW BEST:: SOT 32084 SOS 22131 HAS SOPS 12049 HAS SOUS 7776 HAS SOUPS 6543 WITH SCORE 6565.131
AT ITER 2016 NEW BEST:: SOT 32098 SOS 22145 HAS SOPS 12028 HAS SOUS 7781 HAS SOUPS 6537 WITH SCORE 6559.145
AT ITER 2018 NEW BEST:: SOT 32122 SOS 22169 HAS SOPS 11988 HAS SOUS 7760 HAS SOUPS 6516 WITH SCORE 6538.169
AT ITER 2022 NEW BEST:: SOT 32056 SOS 22103 HAS SOPS 11889 HAS SOUS 7681 HAS SOUPS 6437 WITH SCORE 6459.103
AT ITER 2064 NEW BEST:: SOT 32006 SOS 22053 HAS SOPS 11856 HAS SOUS 7648 HAS SOUPS 6404 WITH SCORE 6426.053
AT ITER 2082 NEW BEST:: SOT 31987 SOS 22047 HAS SOPS 11843 HAS SOUS 7641 HAS SOUPS 6397 WITH SCORE 6419.047
AT ITER 2086 NEW BEST:: SOT 31987 SOS 22047 HAS SOPS 11843 HAS SOUS 7632 HAS SOUPS 6388 WITH SCORE 6410.047
AT ITER 2097 NEW BEST:: SOT 31985 SOS 22045 HAS SOPS 11840 HAS SOUS 7629 HAS SOUPS 6385 WITH SCORE 6407.045
AT ITER 2152 NEW BEST:: SOT 31985 SOS 22045 HAS SOPS 11837 HAS SOUS 7625 HAS SOUPS 6381 WITH SCORE 6403.045
AT ITER 2154 NEW BEST:: SOT 31981 SOS 22041 HAS SOPS 11829 HAS SOUS 7619 HAS SOUPS 6375 WITH SCORE 6397.041
AT ITER 2159 NEW BEST:: SOT 31912 SOS 21972 HAS SOPS 11843 HAS SOUS 7589 HAS SOUPS 6345 WITH SCORE 6366.972
AT ITER 2214 NEW BEST:: SOT 31918 SOS 21978 HAS SOPS 11819 HAS SOUS 7573 HAS SOUPS 6329 WITH SCORE 6350.978
AT ITER 2239 NEW BEST:: SOT 31827 SOS 22416 HAS SOPS 11952 HAS SOUS 7576 HAS SOUPS 6319 WITH SCORE 6341.416
AT ITER 2252 NEW BEST:: SOT 31829 SOS 22369 HAS SOPS 11932 HAS SOUS 7566 HAS SOUPS 6318 WITH SCORE 6340.369
AT ITER 2281 NEW BEST:: SOT 31825 SOS 22379 HAS SOPS 11956 HAS SOUS 7562 HAS SOUPS 6314 WITH SCORE 6336.379
AT ITER 2318 NEW BEST:: SOT 31787 SOS 22341 HAS SOPS 11899 HAS SOUS 7510 HAS SOUPS 6262 WITH SCORE 6284.341
AT ITER 2330 NEW BEST:: SOT 31783 SOS 22337 HAS SOPS 11891 HAS SOUS 7506 HAS SOUPS 6258 WITH SCORE 6280.337
AT ITER 2334 NEW BEST:: SOT 31753 SOS 22334 HAS SOPS 11874 HAS SOUS 7505 HAS SOUPS 6257 WITH SCORE 6279.334
AT ITER 2375 NEW BEST:: SOT 31753 SOS 22334 HAS SOPS 11874 HAS SOUS 7497 HAS SOUPS 6249 WITH SCORE 6271.334
AT ITER 2405 NEW BEST:: SOT 31820 SOS 22269 HAS SOPS 11687 HAS SOUS 7464 HAS SOUPS 6216 WITH SCORE 6238.269
AT ITER 2431 NEW BEST:: SOT 31812 SOS 22262 HAS SOPS 11681 HAS SOUS 7441 HAS SOUPS 6193 WITH SCORE 6215.262
AT ITER 2437 NEW BEST:: SOT 31812 SOS 22262 HAS SOPS 11681 HAS SOUS 7437 HAS SOUPS 6189 WITH SCORE 6211.262
AT ITER 2454 NEW BEST:: SOT 31812 SOS 22262 HAS SOPS 11681 HAS SOUS 7433 HAS SOUPS 6185 WITH SCORE 6207.262
AT ITER 2459 NEW BEST:: SOT 31812 SOS 22262 HAS SOPS 11681 HAS SOUS 7428 HAS SOUPS 6180 WITH SCORE 6202.262
AT ITER 2514 NEW BEST:: SOT 31816 SOS 22266 HAS SOPS 11685 HAS SOUS 7425 HAS SOUPS 6177 WITH SCORE 6199.266
AT ITER 2547 NEW BEST:: SOT 31816 SOS 22266 HAS SOPS 11677 HAS SOUS 7426 HAS SOUPS 6174 WITH SCORE 6196.266
AT ITER 2603 NEW BEST:: SOT 31802 SOS 22252 HAS SOPS 11656 HAS SOUS 7424 HAS SOUPS 6172 WITH SCORE 6194.252
AT ITER 2609 NEW BEST:: SOT 31800 SOS 22250 HAS SOPS 11653 HAS SOUS 7421 HAS SOUPS 6169 WITH SCORE 6191.25
AT ITER 2612 NEW BEST:: SOT 31790 SOS 22240 HAS SOPS 11642 HAS SOUS 7411 HAS SOUPS 6159 WITH SCORE 6181.24
AT ITER 2617 NEW BEST:: SOT 31794 SOS 22244 HAS SOPS 11628 HAS SOUS 7408 HAS SOUPS 6156 WITH SCORE 6178.244
AT ITER 2640 NEW BEST:: SOT 31794 SOS 22244 HAS SOPS 11628 HAS SOUS 7407 HAS SOUPS 6155 WITH SCORE 6177.244
AT ITER 2656 NEW BEST:: SOT 31782 SOS 22225 HAS SOPS 11607 HAS SOUS 7385 HAS SOUPS 6133 WITH SCORE 6155.225
AT ITER 2658 NEW BEST:: SOT 31733 SOS 22173 HAS SOPS 11527 HAS SOUS 7318 HAS SOUPS 6066 WITH SCORE 6088.173
AT ITER 2674 NEW BEST:: SOT 31739 SOS 22179 HAS SOPS 11536 HAS SOUS 7312 HAS SOUPS 6062 WITH SCORE 6084.179
AT ITER 2682 NEW BEST:: SOT 31721 SOS 22169 HAS SOPS 11526 HAS SOUS 7310 HAS SOUPS 6060 WITH SCORE 6082.169
AT ITER 2689 NEW BEST:: SOT 31664 SOS 22540 HAS SOPS 11665 HAS SOUS 7316 HAS SOUPS 6056 WITH SCORE 6078.54
AT ITER 2705 NEW BEST:: SOT 31645 SOS 22538 HAS SOPS 11639 HAS SOUS 7300 HAS SOUPS 6019 WITH SCORE 6041.538
AT ITER 2712 NEW BEST:: SOT 31639 SOS 22532 HAS SOPS 11629 HAS SOUS 7296 HAS SOUPS 6015 WITH SCORE 6037.532
AT ITER 2735 NEW BEST:: SOT 31639 SOS 22532 HAS SOPS 11629 HAS SOUS 7289 HAS SOUPS 6008 WITH SCORE 6030.532
AT ITER 2743 NEW BEST:: SOT 31641 SOS 22521 HAS SOPS 11633 HAS SOUS 7266 HAS SOUPS 5998 WITH SCORE 6020.521
AT ITER 2757 NEW BEST:: SOT 31629 SOS 22509 HAS SOPS 11621 HAS SOUS 7257 HAS SOUPS 5989 WITH SCORE 6011.509
AT ITER 2784 NEW BEST:: SOT 31611 SOS 22498 HAS SOPS 11577 HAS SOUS 7259 HAS SOUPS 5984 WITH SCORE 6006.498
AT ITER 2814 NEW BEST:: SOT 31611 SOS 22498 HAS SOPS 11577 HAS SOUS 7256 HAS SOUPS 5981 WITH SCORE 6003.498
AT ITER 2816 NEW BEST:: SOT 31611 SOS 22498 HAS SOPS 11577 HAS SOUS 7253 HAS SOUPS 5978 WITH SCORE 6000.498
AT ITER 2820 NEW BEST:: SOT 31608 SOS 22481 HAS SOPS 11553 HAS SOUS 7207 HAS SOUPS 5932 WITH SCORE 5954.481
AT ITER 2835 NEW BEST:: SOT 31607 SOS 22533 HAS SOPS 11555 HAS SOUS 7233 HAS SOUPS 5931 WITH SCORE 5953.533
AT ITER 2855 NEW BEST:: SOT 31601 SOS 22546 HAS SOPS 11537 HAS SOUS 7221 HAS SOUPS 5919 WITH SCORE 5941.546
AT ITER 2879 NEW BEST:: SOT 31601 SOS 22543 HAS SOPS 11537 HAS SOUS 7215 HAS SOUPS 5916 WITH SCORE 5938.543
AT ITER 2885 NEW BEST:: SOT 31583 SOS 22559 HAS SOPS 11551 HAS SOUS 7203 HAS SOUPS 5904 WITH SCORE 5926.559
AT ITER 2922 NEW BEST:: SOT 31581 SOS 22557 HAS SOPS 11548 HAS SOUS 7193 HAS SOUPS 5894 WITH SCORE 5916.557
AT ITER 2926 NEW BEST:: SOT 31573 SOS 22549 HAS SOPS 11532 HAS SOUS 7189 HAS SOUPS 5890 WITH SCORE 5912.549
AT ITER 2944 NEW BEST:: SOT 31605 SOS 22581 HAS SOPS 11471 HAS SOUS 7126 HAS SOUPS 5827 WITH SCORE 5849.581
AT ITER 2966 NEW BEST:: SOT 31603 SOS 22579 HAS SOPS 11468 HAS SOUS 7124 HAS SOUPS 5825 WITH SCORE 5847.579
AT ITER 2985 NEW BEST:: SOT 31599 SOS 22575 HAS SOPS 11460 HAS SOUS 7118 HAS SOUPS 5819 WITH SCORE 5841.575
AT ITER 3001 NEW BEST:: SOT 31589 SOS 22565 HAS SOPS 11445 HAS SOUS 7108 HAS SOUPS 5809 WITH SCORE 5831.565
AT ITER 3011 NEW BEST:: SOT 31581 SOS 22557 HAS SOPS 11429 HAS SOUS 7085 HAS SOUPS 5786 WITH SCORE 5808.557
AT ITER 3033 NEW BEST:: SOT 31572 SOS 22521 HAS SOPS 11402 HAS SOUS 7076 HAS SOUPS 5777 WITH SCORE 5799.521
AT ITER 3102 NEW BEST:: SOT 31572 SOS 22521 HAS SOPS 11402 HAS SOUS 7074 HAS SOUPS 5775 WITH SCORE 5797.521
AT ITER 3104 NEW BEST:: SOT 31572 SOS 22521 HAS SOPS 11402 HAS SOUS 7073 HAS SOUPS 5774 WITH SCORE 5796.521
AT ITER 3113 NEW BEST:: SOT 31522 SOS 22710 HAS SOPS 11421 HAS SOUS 7063 HAS SOUPS 5764 WITH SCORE 5786.71
AT ITER 3118 NEW BEST:: SOT 31496 SOS 22684 HAS SOPS 11424 HAS SOUS 7054 HAS SOUPS 5763 WITH SCORE 5785.684
AT ITER 3138 NEW BEST:: SOT 31496 SOS 22684 HAS SOPS 11416 HAS SOUS 7046 HAS SOUPS 5755 WITH SCORE 5777.684
AT ITER 3163 NEW BEST:: SOT 31484 SOS 22672 HAS SOPS 11402 HAS SOUS 7034 HAS SOUPS 5743 WITH SCORE 5765.672
AT ITER 3241 NEW BEST:: SOT 31480 SOS 22668 HAS SOPS 11394 HAS SOUS 7011 HAS SOUPS 5720 WITH SCORE 5742.668
AT ITER 3244 NEW BEST:: SOT 31417 SOS 22719 HAS SOPS 11420 HAS SOUS 7005 HAS SOUPS 5714 WITH SCORE 5736.719
AT ITER 3246 NEW BEST:: SOT 31445 SOS 22747 HAS SOPS 11420 HAS SOUS 6993 HAS SOUPS 5702 WITH SCORE 5724.747
AT ITER 3342 NEW BEST:: SOT 31421 SOS 22727 HAS SOPS 11399 HAS SOUS 6984 HAS SOUPS 5693 WITH SCORE 5715.727
AT ITER 3368 NEW BEST:: SOT 31391 SOS 22697 HAS SOPS 11289 HAS SOUS 6937 HAS SOUPS 5646 WITH SCORE 5668.697
AT ITER 3424 NEW BEST:: SOT 31394 SOS 22700 HAS SOPS 11292 HAS SOUS 6933 HAS SOUPS 5642 WITH SCORE 5664.7
AT ITER 3444 NEW BEST:: SOT 31366 SOS 22672 HAS SOPS 11250 HAS SOUS 6891 HAS SOUPS 5600 WITH SCORE 5622.672
AT ITER 3463 NEW BEST:: SOT 31354 SOS 22660 HAS SOPS 11232 HAS SOUS 6882 HAS SOUPS 5591 WITH SCORE 5613.66
AT ITER 3485 NEW BEST:: SOT 31350 SOS 22656 HAS SOPS 11226 HAS SOUS 6878 HAS SOUPS 5587 WITH SCORE 5609.656
AT ITER 3492 NEW BEST:: SOT 31350 SOS 22656 HAS SOPS 11226 HAS SOUS 6877 HAS SOUPS 5586 WITH SCORE 5608.656
AT ITER 3561 NEW BEST:: SOT 31344 SOS 22650 HAS SOPS 11244 HAS SOUS 6873 HAS SOUPS 5582 WITH SCORE 5604.65
AT ITER 3630 NEW BEST:: SOT 31343 SOS 22651 HAS SOPS 11247 HAS SOUS 6872 HAS SOUPS 5581 WITH SCORE 5603.651
AT ITER 3642 NEW BEST:: SOT 31353 SOS 22661 HAS SOPS 11217 HAS SOUS 6869 HAS SOUPS 5574 WITH SCORE 5596.661
AT ITER 3674 NEW BEST:: SOT 31343 SOS 22636 HAS SOPS 11197 HAS SOUS 6859 HAS SOUPS 5569 WITH SCORE 5591.636
AT ITER 3682 NEW BEST:: SOT 31333 SOS 22626 HAS SOPS 11182 HAS SOUS 6839 HAS SOUPS 5549 WITH SCORE 5571.626
AT ITER 3712 NEW BEST:: SOT 31339 SOS 22632 HAS SOPS 11177 HAS SOUS 6836 HAS SOUPS 5542 WITH SCORE 5564.632
AT ITER 3744 NEW BEST:: SOT 31337 SOS 22630 HAS SOPS 11174 HAS SOUS 6833 HAS SOUPS 5539 WITH SCORE 5561.63
AT ITER 3800 NEW BEST:: SOT 31335 SOS 22628 HAS SOPS 11171 HAS SOUS 6829 HAS SOUPS 5535 WITH SCORE 5557.628
AT ITER 3817 NEW BEST:: SOT 31311 SOS 22604 HAS SOPS 11158 HAS SOUS 6821 HAS SOUPS 5527 WITH SCORE 5549.604
AT ITER 3899 NEW BEST:: SOT 31279 SOS 22572 HAS SOPS 11178 HAS SOUS 6772 HAS SOUPS 5495 WITH SCORE 5517.572
AT ITER 3910 NEW BEST:: SOT 31281 SOS 22578 HAS SOPS 11176 HAS SOUS 6772 HAS SOUPS 5493 WITH SCORE 5515.578
AT ITER 3940 NEW BEST:: SOT 31326 SOS 22517 HAS SOPS 11130 HAS SOUS 6772 HAS SOUPS 5493 WITH SCORE 5515.517
AT ITER 3944 NEW BEST:: SOT 31315 SOS 22511 HAS SOPS 11110 HAS SOUS 6764 HAS SOUPS 5477 WITH SCORE 5499.511
AT ITER 3965 NEW BEST:: SOT 31320 SOS 22465 HAS SOPS 11110 HAS SOUS 6733 HAS SOUPS 5474 WITH SCORE 5496.465
AT ITER 3983 NEW BEST:: SOT 31320 SOS 22465 HAS SOPS 11106 HAS SOUS 6730 HAS SOUPS 5471 WITH SCORE 5493.465
AT ITER 4000 NEW BEST:: SOT 31318 SOS 22446 HAS SOPS 11085 HAS SOUS 6725 HAS SOUPS 5466 WITH SCORE 5488.446
AT ITER 4041 NEW BEST:: SOT 31318 SOS 22446 HAS SOPS 11085 HAS SOUS 6722 HAS SOUPS 5463 WITH SCORE 5485.446
AT ITER 4044 NEW BEST:: SOT 31315 SOS 22440 HAS SOPS 11079 HAS SOUS 6719 HAS SOUPS 5460 WITH SCORE 5482.44
AT ITER 4052 NEW BEST:: SOT 31305 SOS 22430 HAS SOPS 11064 HAS SOUS 6703 HAS SOUPS 5444 WITH SCORE 5466.43
AT ITER 4070 NEW BEST:: SOT 31299 SOS 22424 HAS SOPS 11055 HAS SOUS 6694 HAS SOUPS 5435 WITH SCORE 5457.424
AT ITER 4075 NEW BEST:: SOT 31309 SOS 22434 HAS SOPS 11039 HAS SOUS 6690 HAS SOUPS 5431 WITH SCORE 5453.434
AT ITER 4080 NEW BEST:: SOT 31292 SOS 22466 HAS SOPS 11009 HAS SOUS 6696 HAS SOUPS 5411 WITH SCORE 5433.466
AT ITER 4103 NEW BEST:: SOT 31288 SOS 22462 HAS SOPS 11003 HAS SOUS 6690 HAS SOUPS 5405 WITH SCORE 5427.462
AT ITER 4143 NEW BEST:: SOT 31286 SOS 22460 HAS SOPS 10985 HAS SOUS 6692 HAS SOUPS 5402 WITH SCORE 5424.46
AT ITER 4207 NEW BEST:: SOT 31282 SOS 22456 HAS SOPS 10982 HAS SOUS 6689 HAS SOUPS 5399 WITH SCORE 5421.456
AT ITER 4212 NEW BEST:: SOT 31254 SOS 22402 HAS SOPS 10925 HAS SOUS 6651 HAS SOUPS 5361 WITH SCORE 5383.402
AT ITER 4219 NEW BEST:: SOT 31252 SOS 22400 HAS SOPS 10882 HAS SOUS 6649 HAS SOUPS 5349 WITH SCORE 5371.4
AT ITER 4224 NEW BEST:: SOT 31276 SOS 22310 HAS SOPS 10861 HAS SOUS 6646 HAS SOUPS 5346 WITH SCORE 5368.31
AT ITER 4288 NEW BEST:: SOT 31262 SOS 22296 HAS SOPS 10863 HAS SOUS 6645 HAS SOUPS 5345 WITH SCORE 5367.296
AT ITER 4303 NEW BEST:: SOT 31248 SOS 22282 HAS SOPS 10842 HAS SOUS 6626 HAS SOUPS 5326 WITH SCORE 5348.282
AT ITER 4311 NEW BEST:: SOT 31248 SOS 22282 HAS SOPS 10842 HAS SOUS 6624 HAS SOUPS 5324 WITH SCORE 5346.282
AT ITER 4352 NEW BEST:: SOT 31268 SOS 22290 HAS SOPS 10851 HAS SOUS 6611 HAS SOUPS 5311 WITH SCORE 5333.29
AT ITER 4364 NEW BEST:: SOT 31264 SOS 22286 HAS SOPS 10851 HAS SOUS 6607 HAS SOUPS 5307 WITH SCORE 5329.286
AT ITER 4377 NEW BEST:: SOT 31252 SOS 22274 HAS SOPS 10809 HAS SOUS 6565 HAS SOUPS 5265 WITH SCORE 5287.274
AT ITER 4426 NEW BEST:: SOT 31246 SOS 22268 HAS SOPS 10800 HAS SOUS 6556 HAS SOUPS 5256 WITH SCORE 5278.268
AT ITER 4442 NEW BEST:: SOT 31244 SOS 22266 HAS SOPS 10797 HAS SOUS 6552 HAS SOUPS 5252 WITH SCORE 5274.266
AT ITER 4454 NEW BEST:: SOT 31206 SOS 22228 HAS SOPS 10771 HAS SOUS 6518 HAS SOUPS 5218 WITH SCORE 5240.228
AT ITER 4461 NEW BEST:: SOT 31206 SOS 22228 HAS SOPS 10771 HAS SOUS 6509 HAS SOUPS 5209 WITH SCORE 5231.228
AT ITER 4522 NEW BEST:: SOT 31202 SOS 22224 HAS SOPS 10759 HAS SOUS 6503 HAS SOUPS 5203 WITH SCORE 5225.224
AT ITER 4553 NEW BEST:: SOT 31168 SOS 22190 HAS SOPS 10772 HAS SOUS 6500 HAS SOUPS 5200 WITH SCORE 5222.19
AT ITER 4557 NEW BEST:: SOT 31145 SOS 22168 HAS SOPS 10750 HAS SOUS 6469 HAS SOUPS 5169 WITH SCORE 5191.168
AT ITER 4571 NEW BEST:: SOT 31145 SOS 22168 HAS SOPS 10750 HAS SOUS 6468 HAS SOUPS 5168 WITH SCORE 5190.168
AT ITER 4588 NEW BEST:: SOT 31133 SOS 22156 HAS SOPS 10732 HAS SOUS 6450 HAS SOUPS 5150 WITH SCORE 5172.156
AT ITER 4595 NEW BEST:: SOT 31133 SOS 22156 HAS SOPS 10732 HAS SOUS 6447 HAS SOUPS 5147 WITH SCORE 5169.156
AT ITER 4642 NEW BEST:: SOT 31128 SOS 22152 HAS SOPS 10728 HAS SOUS 6441 HAS SOUPS 5141 WITH SCORE 5163.152
AT ITER 4682 NEW BEST:: SOT 31092 SOS 22116 HAS SOPS 10680 HAS SOUS 6417 HAS SOUPS 5117 WITH SCORE 5139.116
AT ITER 4749 NEW BEST:: SOT 31092 SOS 22116 HAS SOPS 10680 HAS SOUS 6416 HAS SOUPS 5116 WITH SCORE 5138.116
AT ITER 4789 NEW BEST:: SOT 31076 SOS 22100 HAS SOPS 10656 HAS SOUS 6392 HAS SOUPS 5092 WITH SCORE 5114.1
AT ITER 4801 NEW BEST:: SOT 31058 SOS 22082 HAS SOPS 10665 HAS SOUS 6383 HAS SOUPS 5092 WITH SCORE 5114.082
AT ITER 4835 NEW BEST:: SOT 31058 SOS 22082 HAS SOPS 10665 HAS SOUS 6378 HAS SOUPS 5087 WITH SCORE 5109.082
AT ITER 4837 NEW BEST:: SOT 31047 SOS 22078 HAS SOPS 10659 HAS SOUS 6375 HAS SOUPS 5084 WITH SCORE 5106.078
AT ITER 4860 NEW BEST:: SOT 31045 SOS 22076 HAS SOPS 10657 HAS SOUS 6373 HAS SOUPS 5082 WITH SCORE 5104.076
AT ITER 4883 NEW BEST:: SOT 31029 SOS 22060 HAS SOPS 10633 HAS SOUS 6351 HAS SOUPS 5060 WITH SCORE 5082.06
AT ITER 4885 NEW BEST:: SOT 31047 SOS 22078 HAS SOPS 10630 HAS SOUS 6338 HAS SOUPS 5047 WITH SCORE 5069.078
AT ITER 4899 NEW BEST:: SOT 31043 SOS 22074 HAS SOPS 10636 HAS SOUS 6338 HAS SOUPS 5047 WITH SCORE 5069.074
AT ITER 4900 NEW BEST:: SOT 31035 SOS 22066 HAS SOPS 10592 HAS SOUS 6310 HAS SOUPS 5019 WITH SCORE 5041.066
AT ITER 4914 NEW BEST:: SOT 31035 SOS 22051 HAS SOPS 10572 HAS SOUS 6295 HAS SOUPS 5004 WITH SCORE 5026.051
AT ITER 4950 NEW BEST:: SOT 31035 SOS 22043 HAS SOPS 10580 HAS SOUS 6279 HAS SOUPS 4988 WITH SCORE 5010.043
AT ITER 4955 NEW BEST:: SOT 31038 SOS 22046 HAS SOPS 10580 HAS SOUS 6278 HAS SOUPS 4984 WITH SCORE 5006.046
AT ITER 4963 NEW BEST:: SOT 31029 SOS 22037 HAS SOPS 10577 HAS SOUS 6272 HAS SOUPS 4978 WITH SCORE 5000.037
AT ITER 5004 NEW BEST:: SOT 31011 SOS 22247 HAS SOPS 10667 HAS SOUS 6272 HAS SOUPS 4973 WITH SCORE 4995.247
AT ITER 5010 NEW BEST:: SOT 31011 SOS 22247 HAS SOPS 10667 HAS SOUS 6264 HAS SOUPS 4965 WITH SCORE 4987.247
AT ITER 5030 NEW BEST:: SOT 31011 SOS 22247 HAS SOPS 10667 HAS SOUS 6263 HAS SOUPS 4964 WITH SCORE 4986.247
AT ITER 5042 NEW BEST:: SOT 31011 SOS 22247 HAS SOPS 10667 HAS SOUS 6239 HAS SOUPS 4940 WITH SCORE 4962.247
AT ITER 5045 NEW BEST:: SOT 31011 SOS 22247 HAS SOPS 10663 HAS SOUS 6236 HAS SOUPS 4937 WITH SCORE 4959.247
AT ITER 5149 NEW BEST:: SOT 30999 SOS 22235 HAS SOPS 10649 HAS SOUS 6225 HAS SOUPS 4926 WITH SCORE 4948.235
AT ITER 5191 NEW BEST:: SOT 30999 SOS 22235 HAS SOPS 10649 HAS SOUS 6217 HAS SOUPS 4918 WITH SCORE 4940.235
AT ITER 5215 NEW BEST:: SOT 30993 SOS 22229 HAS SOPS 10624 HAS SOUS 6208 HAS SOUPS 4909 WITH SCORE 4931.229
AT ITER 5250 NEW BEST:: SOT 30988 SOS 22219 HAS SOPS 10609 HAS SOUS 6203 HAS SOUPS 4904 WITH SCORE 4926.219
AT ITER 5262 NEW BEST:: SOT 30986 SOS 22217 HAS SOPS 10606 HAS SOUS 6199 HAS SOUPS 4900 WITH SCORE 4922.217
AT ITER 5268 NEW BEST:: SOT 30968 SOS 22199 HAS SOPS 10570 HAS SOUS 6175 HAS SOUPS 4876 WITH SCORE 4898.199
AT ITER 5317 NEW BEST:: SOT 30966 SOS 22197 HAS SOPS 10567 HAS SOUS 6168 HAS SOUPS 4869 WITH SCORE 4891.197
AT ITER 5363 NEW BEST:: SOT 30956 SOS 22187 HAS SOPS 10552 HAS SOUS 6153 HAS SOUPS 4854 WITH SCORE 4876.187
AT ITER 5449 NEW BEST:: SOT 30950 SOS 22181 HAS SOPS 10552 HAS SOUS 6153 HAS SOUPS 4854 WITH SCORE 4876.181
AT ITER 5466 NEW BEST:: SOT 30945 SOS 22181 HAS SOPS 10542 HAS SOUS 6153 HAS SOUPS 4849 WITH SCORE 4871.181
AT ITER 5485 NEW BEST:: SOT 30939 SOS 22175 HAS SOPS 10533 HAS SOUS 6144 HAS SOUPS 4840 WITH SCORE 4862.175
AT ITER 5502 NEW BEST:: SOT 30939 SOS 22175 HAS SOPS 10533 HAS SOUS 6137 HAS SOUPS 4833 WITH SCORE 4855.175
AT ITER 5524 NEW BEST:: SOT 30937 SOS 22186 HAS SOPS 10533 HAS SOUS 6143 HAS SOUPS 4832 WITH SCORE 4854.186
AT ITER 5543 NEW BEST:: SOT 30964 SOS 22099 HAS SOPS 10515 HAS SOUS 6143 HAS SOUPS 4832 WITH SCORE 4854.099
AT ITER 5546 NEW BEST:: SOT 30958 SOS 22093 HAS SOPS 10506 HAS SOUS 6131 HAS SOUPS 4820 WITH SCORE 4842.093
AT ITER 5608 NEW BEST:: SOT 30950 SOS 22085 HAS SOPS 10494 HAS SOUS 6115 HAS SOUPS 4804 WITH SCORE 4826.085
AT ITER 5697 NEW BEST:: SOT 30944 SOS 22079 HAS SOPS 10488 HAS SOUS 6104 HAS SOUPS 4793 WITH SCORE 4815.079
AT ITER 5702 NEW BEST:: SOT 30940 SOS 22075 HAS SOPS 10482 HAS SOUS 6098 HAS SOUPS 4787 WITH SCORE 4809.075
AT ITER 5728 NEW BEST:: SOT 30938 SOS 22071 HAS SOPS 10478 HAS SOUS 6096 HAS SOUPS 4785 WITH SCORE 4807.071
AT ITER 5811 NEW BEST:: SOT 30938 SOS 22071 HAS SOPS 10478 HAS SOUS 6093 HAS SOUPS 4782 WITH SCORE 4804.071
AT ITER 5837 NEW BEST:: SOT 30937 SOS 22069 HAS SOPS 10477 HAS SOUS 6090 HAS SOUPS 4780 WITH SCORE 4802.069
AT ITER 5874 NEW BEST:: SOT 30925 SOS 22057 HAS SOPS 10435 HAS SOUS 6066 HAS SOUPS 4756 WITH SCORE 4778.057
AT ITER 5943 NEW BEST:: SOT 30920 SOS 22047 HAS SOPS 10420 HAS SOUS 6049 HAS SOUPS 4739 WITH SCORE 4761.047
AT ITER 5944 NEW BEST:: SOT 30918 SOS 22045 HAS SOPS 10418 HAS SOUS 6047 HAS SOUPS 4737 WITH SCORE 4759.045
AT ITER 5980 NEW BEST:: SOT 30918 SOS 22045 HAS SOPS 10418 HAS SOUS 6045 HAS SOUPS 4735 WITH SCORE 4757.045
AT ITER 6029 NEW BEST:: SOT 30924 SOS 22051 HAS SOPS 10427 HAS SOUS 6043 HAS SOUPS 4733 WITH SCORE 4755.051
AT ITER 6090 NEW BEST:: SOT 30934 SOS 22061 HAS SOPS 10424 HAS SOUS 6040 HAS SOUPS 4730 WITH SCORE 4752.061
AT ITER 6194 NEW BEST:: SOT 30910 SOS 22037 HAS SOPS 10433 HAS SOUS 6040 HAS SOUPS 4730 WITH SCORE 4752.037
AT ITER 6240 NEW BEST:: SOT 30908 SOS 22028 HAS SOPS 10417 HAS SOUS 6036 HAS SOUPS 4726 WITH SCORE 4748.028
AT ITER 6257 NEW BEST:: SOT 30910 SOS 22030 HAS SOPS 10372 HAS SOUS 6000 HAS SOUPS 4690 WITH SCORE 4712.03
AT ITER 6270 NEW BEST:: SOT 30894 SOS 22014 HAS SOPS 10348 HAS SOUS 5976 HAS SOUPS 4666 WITH SCORE 4688.014
AT ITER 6282 NEW BEST:: SOT 30910 SOS 22030 HAS SOPS 10336 HAS SOUS 5965 HAS SOUPS 4655 WITH SCORE 4677.03
AT ITER 6283 NEW BEST:: SOT 30907 SOS 22012 HAS SOPS 10312 HAS SOUS 5956 HAS SOUPS 4646 WITH SCORE 4668.012
AT ITER 6308 NEW BEST:: SOT 30905 SOS 22006 HAS SOPS 10309 HAS SOUS 5952 HAS SOUPS 4642 WITH SCORE 4664.006
AT ITER 6382 NEW BEST:: SOT 30879 SOS 21980 HAS SOPS 10314 HAS SOUS 5952 HAS SOUPS 4642 WITH SCORE 4663.98
AT ITER 6459 NEW BEST:: SOT 30879 SOS 21980 HAS SOPS 10314 HAS SOUS 5951 HAS SOUPS 4641 WITH SCORE 4662.98
AT ITER 6464 NEW BEST:: SOT 30871 SOS 21972 HAS SOPS 10302 HAS SOUS 5948 HAS SOUPS 4638 WITH SCORE 4659.972
AT ITER 6486 NEW BEST:: SOT 30871 SOS 21968 HAS SOPS 10302 HAS SOUS 5940 HAS SOUPS 4634 WITH SCORE 4655.968
AT ITER 6508 NEW BEST:: SOT 30867 SOS 21964 HAS SOPS 10293 HAS SOUS 5934 HAS SOUPS 4628 WITH SCORE 4649.964
AT ITER 6539 NEW BEST:: SOT 30883 SOS 21980 HAS SOPS 10287 HAS SOUS 5928 HAS SOUPS 4622 WITH SCORE 4643.98
AT ITER 6590 NEW BEST:: SOT 30885 SOS 21982 HAS SOPS 10290 HAS SOUS 5911 HAS SOUPS 4605 WITH SCORE 4626.982
AT ITER 6622 NEW BEST:: SOT 30887 SOS 21984 HAS SOPS 10292 HAS SOUS 5910 HAS SOUPS 4604 WITH SCORE 4625.984
AT ITER 6643 NEW BEST:: SOT 30875 SOS 21972 HAS SOPS 10274 HAS SOUS 5890 HAS SOUPS 4584 WITH SCORE 4605.972
AT ITER 6690 NEW BEST:: SOT 30877 SOS 21974 HAS SOPS 10273 HAS SOUS 5889 HAS SOUPS 4583 WITH SCORE 4604.974
AT ITER 6853 NEW BEST:: SOT 30909 SOS 21752 HAS SOPS 10213 HAS SOUS 5880 HAS SOUPS 4580 WITH SCORE 4601.752
AT ITER 6897 NEW BEST:: SOT 30909 SOS 21752 HAS SOPS 10213 HAS SOUS 5876 HAS SOUPS 4576 WITH SCORE 4597.752
AT ITER 6928 NEW BEST:: SOT 30907 SOS 21750 HAS SOPS 10210 HAS SOUS 5873 HAS SOUPS 4573 WITH SCORE 4594.75
AT ITER 6931 NEW BEST:: SOT 30903 SOS 21742 HAS SOPS 10202 HAS SOUS 5869 HAS SOUPS 4569 WITH SCORE 4590.742
AT ITER 6963 NEW BEST:: SOT 30903 SOS 21742 HAS SOPS 10202 HAS SOUS 5867 HAS SOUPS 4567 WITH SCORE 4588.742
AT ITER 6992 NEW BEST:: SOT 30913 SOS 21752 HAS SOPS 10182 HAS SOUS 5852 HAS SOUPS 4552 WITH SCORE 4573.752
AT ITER 7032 NEW BEST:: SOT 30913 SOS 21752 HAS SOPS 10162 HAS SOUS 5835 HAS SOUPS 4535 WITH SCORE 4556.752
AT ITER 7039 NEW BEST:: SOT 30911 SOS 21750 HAS SOPS 10159 HAS SOUS 5832 HAS SOUPS 4532 WITH SCORE 4553.75
AT ITER 7045 NEW BEST:: SOT 30911 SOS 21750 HAS SOPS 10159 HAS SOUS 5827 HAS SOUPS 4527 WITH SCORE 4548.75
AT ITER 7046 NEW BEST:: SOT 30897 SOS 21826 HAS SOPS 10183 HAS SOUS 5827 HAS SOUPS 4525 WITH SCORE 4546.826
AT ITER 7060 NEW BEST:: SOT 30885 SOS 21814 HAS SOPS 10165 HAS SOUS 5800 HAS SOUPS 4498 WITH SCORE 4519.814
AT ITER 7074 NEW BEST:: SOT 30884 SOS 21805 HAS SOPS 10152 HAS SOUS 5799 HAS SOUPS 4497 WITH SCORE 4518.805
AT ITER 7093 NEW BEST:: SOT 30882 SOS 21803 HAS SOPS 10141 HAS SOUS 5788 HAS SOUPS 4486 WITH SCORE 4507.803
AT ITER 7164 NEW BEST:: SOT 30878 SOS 21807 HAS SOPS 10131 HAS SOUS 5794 HAS SOUPS 4484 WITH SCORE 4505.807
AT ITER 7315 NEW BEST:: SOT 30881 SOS 21840 HAS SOPS 10164 HAS SOUS 5788 HAS SOUPS 4478 WITH SCORE 4499.84
AT ITER 7380 NEW BEST:: SOT 30864 SOS 21806 HAS SOPS 10141 HAS SOUS 5763 HAS SOUPS 4464 WITH SCORE 4485.806
AT ITER 7404 NEW BEST:: SOT 30863 SOS 21781 HAS SOPS 10119 HAS SOUS 5758 HAS SOUPS 4459 WITH SCORE 4480.781
AT ITER 7516 NEW BEST:: SOT 30863 SOS 21785 HAS SOPS 10125 HAS SOUS 5757 HAS SOUPS 4458 WITH SCORE 4479.785
AT ITER 7540 NEW BEST:: SOT 30853 SOS 21750 HAS SOPS 10085 HAS SOUS 5745 HAS SOUPS 4441 WITH SCORE 4462.75
AT ITER 7579 NEW BEST:: SOT 30865 SOS 21762 HAS SOPS 10075 HAS SOUS 5742 HAS SOUPS 4438 WITH SCORE 4459.762
AT ITER 7583 NEW BEST:: SOT 30867 SOS 21764 HAS SOPS 10070 HAS SOUS 5737 HAS SOUPS 4433 WITH SCORE 4454.764
AT ITER 7623 NEW BEST:: SOT 30875 SOS 21772 HAS SOPS 10066 HAS SOUS 5735 HAS SOUPS 4431 WITH SCORE 4452.772
AT ITER 7657 NEW BEST:: SOT 30873 SOS 21770 HAS SOPS 10063 HAS SOUS 5732 HAS SOUPS 4428 WITH SCORE 4449.77
AT ITER 7660 NEW BEST:: SOT 30825 SOS 22114 HAS SOPS 10191 HAS SOUS 5728 HAS SOUPS 4416 WITH SCORE 4438.114
AT ITER 7663 NEW BEST:: SOT 30815 SOS 22121 HAS SOPS 10171 HAS SOUS 5741 HAS SOUPS 4412 WITH SCORE 4434.121
AT ITER 7674 NEW BEST:: SOT 30805 SOS 22111 HAS SOPS 10151 HAS SOUS 5726 HAS SOUPS 4397 WITH SCORE 4419.111
AT ITER 7675 NEW BEST:: SOT 30801 SOS 22107 HAS SOPS 10145 HAS SOUS 5723 HAS SOUPS 4394 WITH SCORE 4416.107
AT ITER 7701 NEW BEST:: SOT 30795 SOS 22086 HAS SOPS 10119 HAS SOUS 5722 HAS SOUPS 4388 WITH SCORE 4410.086
AT ITER 7711 NEW BEST:: SOT 30793 SOS 22084 HAS SOPS 10117 HAS SOUS 5719 HAS SOUPS 4385 WITH SCORE 4407.084
AT ITER 7714 NEW BEST:: SOT 30779 SOS 22070 HAS SOPS 10124 HAS SOUS 5719 HAS SOUPS 4385 WITH SCORE 4407.07
AT ITER 7730 NEW BEST:: SOT 30775 SOS 22066 HAS SOPS 10118 HAS SOUS 5711 HAS SOUPS 4377 WITH SCORE 4399.066
AT ITER 7845 NEW BEST:: SOT 30775 SOS 22066 HAS SOPS 10118 HAS SOUS 5704 HAS SOUPS 4370 WITH SCORE 4392.066
AT ITER 7987 NEW BEST:: SOT 30779 SOS 22070 HAS SOPS 10112 HAS SOUS 5698 HAS SOUPS 4364 WITH SCORE 4386.07
AT ITER 8065 NEW BEST:: SOT 30779 SOS 22058 HAS SOPS 10088 HAS SOUS 5698 HAS SOUPS 4364 WITH SCORE 4386.058
AT ITER 8117 NEW BEST:: SOT 30772 SOS 22090 HAS SOPS 10096 HAS SOUS 5696 HAS SOUPS 4361 WITH SCORE 4383.09
AT ITER 8160 NEW BEST:: SOT 30779 SOS 22097 HAS SOPS 10103 HAS SOUS 5686 HAS SOUPS 4351 WITH SCORE 4373.097
AT ITER 8209 NEW BEST:: SOT 30761 SOS 22072 HAS SOPS 10071 HAS SOUS 5679 HAS SOUPS 4344 WITH SCORE 4366.072
AT ITER 8326 NEW BEST:: SOT 30764 SOS 22066 HAS SOPS 10086 HAS SOUS 5670 HAS SOUPS 4344 WITH SCORE 4366.066
AT ITER 8372 NEW BEST:: SOT 30752 SOS 22054 HAS SOPS 10074 HAS SOUS 5660 HAS SOUPS 4334 WITH SCORE 4356.054
AT ITER 8447 NEW BEST:: SOT 30752 SOS 22054 HAS SOPS 10065 HAS SOUS 5648 HAS SOUPS 4322 WITH SCORE 4344.054
AT ITER 8496 NEW BEST:: SOT 30738 SOS 22040 HAS SOPS 10044 HAS SOUS 5626 HAS SOUPS 4300 WITH SCORE 4322.04
AT ITER 8584 NEW BEST:: SOT 30740 SOS 22042 HAS SOPS 10027 HAS SOUS 5628 HAS SOUPS 4297 WITH SCORE 4319.042
AT ITER 8641 NEW BEST:: SOT 30728 SOS 22030 HAS SOPS 10009 HAS SOUS 5616 HAS SOUPS 4285 WITH SCORE 4307.03
AT ITER 8678 NEW BEST:: SOT 30724 SOS 22031 HAS SOPS 10008 HAS SOUS 5615 HAS SOUPS 4284 WITH SCORE 4306.031
AT ITER 8830 NEW BEST:: SOT 30733 SOS 22003 HAS SOPS 9899 HAS SOUS 5606 HAS SOUPS 4253 WITH SCORE 4275.003
AT ITER 8846 NEW BEST:: SOT 30739 SOS 22009 HAS SOPS 9888 HAS SOUS 5600 HAS SOUPS 4247 WITH SCORE 4269.009
AT ITER 8982 NEW BEST:: SOT 30733 SOS 22003 HAS SOPS 9879 HAS SOUS 5590 HAS SOUPS 4237 WITH SCORE 4259.003
AT ITER 8983 NEW BEST:: SOT 30729 SOS 21999 HAS SOPS 9871 HAS SOUS 5582 HAS SOUPS 4229 WITH SCORE 4250.999
AT ITER 9065 NEW BEST:: SOT 30733 SOS 21953 HAS SOPS 9852 HAS SOUS 5581 HAS SOUPS 4229 WITH SCORE 4250.953
AT ITER 9107 NEW BEST:: SOT 30733 SOS 21953 HAS SOPS 9852 HAS SOUS 5579 HAS SOUPS 4227 WITH SCORE 4248.953
AT ITER 9119 NEW BEST:: SOT 30729 SOS 21949 HAS SOPS 9846 HAS SOUS 5575 HAS SOUPS 4223 WITH SCORE 4244.949
AT ITER 9192 NEW BEST:: SOT 30725 SOS 21945 HAS SOPS 9838 HAS SOUS 5569 HAS SOUPS 4217 WITH SCORE 4238.945
AT ITER 9235 NEW BEST:: SOT 30719 SOS 21939 HAS SOPS 9826 HAS SOUS 5557 HAS SOUPS 4205 WITH SCORE 4226.939
AT ITER 9266 NEW BEST:: SOT 30715 SOS 21929 HAS SOPS 9806 HAS SOUS 5553 HAS SOUPS 4199 WITH SCORE 4220.929
AT ITER 9271 NEW BEST:: SOT 30714 SOS 21928 HAS SOPS 9805 HAS SOUS 5553 HAS SOUPS 4199 WITH SCORE 4220.928
AT ITER 9371 NEW BEST:: SOT 30700 SOS 21895 HAS SOPS 9753 HAS SOUS 5534 HAS SOUPS 4180 WITH SCORE 4201.895
AT ITER 9382 NEW BEST:: SOT 30698 SOS 21894 HAS SOPS 9753 HAS SOUS 5533 HAS SOUPS 4179 WITH SCORE 4200.894
AT ITER 9549 NEW BEST:: SOT 30694 SOS 21890 HAS SOPS 9747 HAS SOUS 5525 HAS SOUPS 4171 WITH SCORE 4192.89
AT ITER 9580 NEW BEST:: SOT 30686 SOS 21882 HAS SOPS 9715 HAS SOUS 5493 HAS SOUPS 4139 WITH SCORE 4160.882
AT ITER 9601 NEW BEST:: SOT 30672 SOS 21868 HAS SOPS 9694 HAS SOUS 5472 HAS SOUPS 4118 WITH SCORE 4139.868
AT ITER 9603 NEW BEST:: SOT 30667 SOS 21859 HAS SOPS 9692 HAS SOUS 5465 HAS SOUPS 4118 WITH SCORE 4139.859
AT ITER 9642 NEW BEST:: SOT 30657 SOS 21849 HAS SOPS 9677 HAS SOUS 5442 HAS SOUPS 4095 WITH SCORE 4116.849
AT ITER 9654 NEW BEST:: SOT 30645 SOS 21837 HAS SOPS 9653 HAS SOUS 5425 HAS SOUPS 4078 WITH SCORE 4099.837
AT ITER 9753 NEW BEST:: SOT 30648 SOS 21839 HAS SOPS 9655 HAS SOUS 5423 HAS SOUPS 4076 WITH SCORE 4097.839
AT ITER 9937 NEW BEST:: SOT 30612 SOS 21803 HAS SOPS 9601 HAS SOUS 5406 HAS SOUPS 4059 WITH SCORE 4080.803
AT ITER 9950 NEW BEST:: SOT 30614 SOS 21805 HAS SOPS 9596 HAS SOUS 5403 HAS SOUPS 4056 WITH SCORE 4077.805
AT ITER 9976 NEW BEST:: SOT 30626 SOS 21817 HAS SOPS 9588 HAS SOUS 5397 HAS SOUPS 4050 WITH SCORE 4071.817

BK_STOP 1679497288474

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/smart ${INPUT_SM}

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="Raft-PT-06"
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 Raft-PT-06, 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 r323-tall-167889194500328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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