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.r259-smll-167863534300264.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 NoC3x3-PT-3A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.1K Feb 26 10:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 10:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 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 133K 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 1678730750099

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=NoC3x3-PT-3A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 3A
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: 370 places, 450 transitions, 1773 arcs.
AT ITER 0 NEW BEST:: SOT 139116 SOS 117861 HAS SOPS 117852 HAS SOUS 76742 HAS SOUPS 76733 WITH SCORE 76850.861
AT ITER 5 NEW BEST:: SOT 139116 SOS 117721 HAS SOPS 117712 HAS SOUS 76720 HAS SOUPS 76711 WITH SCORE 76828.721
AT ITER 7 NEW BEST:: SOT 139116 SOS 117271 HAS SOPS 117262 HAS SOUS 76694 HAS SOUPS 76685 WITH SCORE 76802.271
AT ITER 9 NEW BEST:: SOT 139116 SOS 117268 HAS SOPS 117259 HAS SOUS 76694 HAS SOUPS 76685 WITH SCORE 76802.268
AT ITER 10 NEW BEST:: SOT 137861 SOS 116174 HAS SOPS 116165 HAS SOUS 75732 HAS SOUPS 75723 WITH SCORE 75839.174
AT ITER 15 NEW BEST:: SOT 137861 SOS 116079 HAS SOPS 116070 HAS SOUS 75732 HAS SOUPS 75723 WITH SCORE 75839.079
AT ITER 19 NEW BEST:: SOT 137861 SOS 115695 HAS SOPS 115686 HAS SOUS 75678 HAS SOUPS 75669 WITH SCORE 75784.695
AT ITER 21 NEW BEST:: SOT 137605 SOS 115439 HAS SOPS 115430 HAS SOUS 75507 HAS SOUPS 75498 WITH SCORE 75613.439
AT ITER 25 NEW BEST:: SOT 137658 SOS 115538 HAS SOPS 115529 HAS SOUS 75477 HAS SOUPS 75468 WITH SCORE 75583.538
AT ITER 26 NEW BEST:: SOT 136422 SOS 114242 HAS SOPS 114233 HAS SOUS 74197 HAS SOUPS 74188 WITH SCORE 74302.242
AT ITER 29 NEW BEST:: SOT 136269 SOS 114089 HAS SOPS 114080 HAS SOUS 74067 HAS SOUPS 74058 WITH SCORE 74172.089
AT ITER 35 NEW BEST:: SOT 135921 SOS 113791 HAS SOPS 113782 HAS SOUS 73767 HAS SOUPS 73758 WITH SCORE 73871.791
AT ITER 39 NEW BEST:: SOT 135304 SOS 113754 HAS SOPS 113745 HAS SOUS 73410 HAS SOUPS 73401 WITH SCORE 73514.754
AT ITER 41 NEW BEST:: SOT 135272 SOS 113676 HAS SOPS 113667 HAS SOUS 73387 HAS SOUPS 73378 WITH SCORE 73491.676
AT ITER 43 NEW BEST:: SOT 135139 SOS 113386 HAS SOPS 113377 HAS SOUS 73284 HAS SOUPS 73275 WITH SCORE 73388.386
AT ITER 48 NEW BEST:: SOT 134557 SOS 112804 HAS SOPS 112795 HAS SOUS 72889 HAS SOUPS 72880 WITH SCORE 72992.804
AT ITER 53 NEW BEST:: SOT 134557 SOS 112792 HAS SOPS 112783 HAS SOUS 72889 HAS SOUPS 72880 WITH SCORE 72992.792
AT ITER 55 NEW BEST:: SOT 134561 SOS 112788 HAS SOPS 112779 HAS SOUS 72885 HAS SOUPS 72876 WITH SCORE 72988.788
AT ITER 57 NEW BEST:: SOT 133980 SOS 112290 HAS SOPS 112281 HAS SOUS 72302 HAS SOUPS 72293 WITH SCORE 72405.29
AT ITER 58 NEW BEST:: SOT 133399 SOS 111792 HAS SOPS 111783 HAS SOUS 71796 HAS SOUPS 71787 WITH SCORE 71898.792
AT ITER 59 NEW BEST:: SOT 133180 SOS 111573 HAS SOPS 111564 HAS SOUS 71612 HAS SOUPS 71603 WITH SCORE 71714.573
AT ITER 60 NEW BEST:: SOT 133065 SOS 111835 HAS SOPS 111826 HAS SOUS 71510 HAS SOUPS 71501 WITH SCORE 71612.835
AT ITER 63 NEW BEST:: SOT 133027 SOS 111811 HAS SOPS 111802 HAS SOUS 71441 HAS SOUPS 71432 WITH SCORE 71543.811
AT ITER 64 NEW BEST:: SOT 132973 SOS 111699 HAS SOPS 111690 HAS SOUS 71408 HAS SOUPS 71399 WITH SCORE 71510.699
AT ITER 67 NEW BEST:: SOT 133131 SOS 111867 HAS SOPS 111858 HAS SOUS 71232 HAS SOUPS 71223 WITH SCORE 71334.867
AT ITER 68 NEW BEST:: SOT 133161 SOS 111424 HAS SOPS 111415 HAS SOUS 71194 HAS SOUPS 71185 WITH SCORE 71296.424
AT ITER 72 NEW BEST:: SOT 133161 SOS 111284 HAS SOPS 111275 HAS SOUS 71194 HAS SOUPS 71185 WITH SCORE 71296.284
AT ITER 74 NEW BEST:: SOT 132894 SOS 111017 HAS SOPS 111008 HAS SOUS 70993 HAS SOUPS 70984 WITH SCORE 71095.017
AT ITER 77 NEW BEST:: SOT 132671 SOS 110846 HAS SOPS 110837 HAS SOUS 70954 HAS SOUPS 70945 WITH SCORE 71055.846
AT ITER 80 NEW BEST:: SOT 131546 SOS 109721 HAS SOPS 109712 HAS SOUS 69829 HAS SOUPS 69820 WITH SCORE 69929.721
AT ITER 88 NEW BEST:: SOT 131246 SOS 109407 HAS SOPS 109398 HAS SOUS 69742 HAS SOUPS 69733 WITH SCORE 69842.407
AT ITER 90 NEW BEST:: SOT 131150 SOS 109311 HAS SOPS 109302 HAS SOUS 69646 HAS SOUPS 69637 WITH SCORE 69746.311
AT ITER 94 NEW BEST:: SOT 130008 SOS 108097 HAS SOPS 108088 HAS SOUS 69093 HAS SOUPS 69084 WITH SCORE 69192.097
AT ITER 97 NEW BEST:: SOT 129841 SOS 107693 HAS SOPS 107684 HAS SOUS 68627 HAS SOUPS 68618 WITH SCORE 68725.693
AT ITER 98 NEW BEST:: SOT 129235 SOS 107433 HAS SOPS 107424 HAS SOUS 68087 HAS SOUPS 68078 WITH SCORE 68185.433
AT ITER 99 NEW BEST:: SOT 129106 SOS 107304 HAS SOPS 107295 HAS SOUS 67926 HAS SOUPS 67917 WITH SCORE 68024.304
AT ITER 101 NEW BEST:: SOT 129106 SOS 107394 HAS SOPS 107385 HAS SOUS 67911 HAS SOUPS 67902 WITH SCORE 68009.394
AT ITER 105 NEW BEST:: SOT 129009 SOS 106972 HAS SOPS 106963 HAS SOUS 67867 HAS SOUPS 67858 WITH SCORE 67964.972
AT ITER 111 NEW BEST:: SOT 129009 SOS 106386 HAS SOPS 106377 HAS SOUS 67850 HAS SOUPS 67841 WITH SCORE 67947.386
AT ITER 115 NEW BEST:: SOT 128944 SOS 106321 HAS SOPS 106312 HAS SOUS 67785 HAS SOUPS 67776 WITH SCORE 67882.321
AT ITER 122 NEW BEST:: SOT 128779 SOS 106153 HAS SOPS 106144 HAS SOUS 67752 HAS SOUPS 67743 WITH SCORE 67849.153
AT ITER 125 NEW BEST:: SOT 128802 SOS 106220 HAS SOPS 106211 HAS SOUS 67691 HAS SOUPS 67682 WITH SCORE 67788.22
AT ITER 126 NEW BEST:: SOT 128802 SOS 106220 HAS SOPS 106211 HAS SOUS 67673 HAS SOUPS 67664 WITH SCORE 67770.22
AT ITER 127 NEW BEST:: SOT 129004 SOS 106938 HAS SOPS 106929 HAS SOUS 67577 HAS SOUPS 67568 WITH SCORE 67674.938
AT ITER 134 NEW BEST:: SOT 128610 SOS 106544 HAS SOPS 106535 HAS SOUS 67075 HAS SOUPS 67066 WITH SCORE 67172.544
AT ITER 135 NEW BEST:: SOT 128525 SOS 106459 HAS SOPS 106450 HAS SOUS 67024 HAS SOUPS 67015 WITH SCORE 67121.459
AT ITER 138 NEW BEST:: SOT 128505 SOS 106279 HAS SOPS 106270 HAS SOUS 66924 HAS SOUPS 66915 WITH SCORE 67021.279
AT ITER 139 NEW BEST:: SOT 127694 SOS 105580 HAS SOPS 105571 HAS SOUS 66293 HAS SOUPS 66284 WITH SCORE 66389.58
AT ITER 141 NEW BEST:: SOT 127684 SOS 105570 HAS SOPS 105561 HAS SOUS 66283 HAS SOUPS 66274 WITH SCORE 66379.57
AT ITER 144 NEW BEST:: SOT 127175 SOS 105211 HAS SOPS 105202 HAS SOUS 66176 HAS SOUPS 66167 WITH SCORE 66272.211
AT ITER 149 NEW BEST:: SOT 126425 SOS 104461 HAS SOPS 104452 HAS SOUS 65562 HAS SOUPS 65553 WITH SCORE 65657.461
AT ITER 150 NEW BEST:: SOT 126266 SOS 104154 HAS SOPS 104145 HAS SOUS 65470 HAS SOUPS 65461 WITH SCORE 65565.154
AT ITER 151 NEW BEST:: SOT 126145 SOS 103966 HAS SOPS 103957 HAS SOUS 65415 HAS SOUPS 65406 WITH SCORE 65509.966
AT ITER 152 NEW BEST:: SOT 126194 SOS 104027 HAS SOPS 104018 HAS SOUS 65407 HAS SOUPS 65398 WITH SCORE 65502.027
AT ITER 155 NEW BEST:: SOT 125963 SOS 103796 HAS SOPS 103787 HAS SOUS 65022 HAS SOUPS 65013 WITH SCORE 65116.796
AT ITER 164 NEW BEST:: SOT 125851 SOS 103684 HAS SOPS 103675 HAS SOUS 64976 HAS SOUPS 64967 WITH SCORE 65070.684
AT ITER 171 NEW BEST:: SOT 125535 SOS 103368 HAS SOPS 103359 HAS SOUS 64932 HAS SOUPS 64923 WITH SCORE 65026.368
AT ITER 172 NEW BEST:: SOT 125441 SOS 103338 HAS SOPS 103329 HAS SOUS 64908 HAS SOUPS 64899 WITH SCORE 65002.338
AT ITER 175 NEW BEST:: SOT 125267 SOS 103164 HAS SOPS 103155 HAS SOUS 64734 HAS SOUPS 64725 WITH SCORE 64828.164
AT ITER 177 NEW BEST:: SOT 125297 SOS 102649 HAS SOPS 102640 HAS SOUS 64717 HAS SOUPS 64708 WITH SCORE 64810.649
AT ITER 179 NEW BEST:: SOT 125105 SOS 102520 HAS SOPS 102511 HAS SOUS 64391 HAS SOUPS 64382 WITH SCORE 64484.52
AT ITER 188 NEW BEST:: SOT 125079 SOS 102442 HAS SOPS 102433 HAS SOUS 64363 HAS SOUPS 64354 WITH SCORE 64456.442
AT ITER 191 NEW BEST:: SOT 125079 SOS 102271 HAS SOPS 102262 HAS SOUS 64266 HAS SOUPS 64257 WITH SCORE 64359.271
AT ITER 192 NEW BEST:: SOT 125079 SOS 101731 HAS SOPS 101722 HAS SOUS 64212 HAS SOUPS 64203 WITH SCORE 64304.731
AT ITER 195 NEW BEST:: SOT 125079 SOS 101681 HAS SOPS 101672 HAS SOUS 64128 HAS SOUPS 64119 WITH SCORE 64220.681
AT ITER 198 NEW BEST:: SOT 124824 SOS 101426 HAS SOPS 101417 HAS SOUS 63981 HAS SOUPS 63972 WITH SCORE 64073.426
AT ITER 200 NEW BEST:: SOT 124618 SOS 101220 HAS SOPS 101211 HAS SOUS 63880 HAS SOUPS 63871 WITH SCORE 63972.22
AT ITER 201 NEW BEST:: SOT 124496 SOS 101031 HAS SOPS 101022 HAS SOUS 63691 HAS SOUPS 63682 WITH SCORE 63783.031
AT ITER 202 NEW BEST:: SOT 124348 SOS 100855 HAS SOPS 100846 HAS SOUS 63661 HAS SOUPS 63652 WITH SCORE 63752.855
AT ITER 204 NEW BEST:: SOT 124114 SOS 100738 HAS SOPS 100729 HAS SOUS 63538 HAS SOUPS 63529 WITH SCORE 63629.738
AT ITER 206 NEW BEST:: SOT 123928 SOS 100316 HAS SOPS 100307 HAS SOUS 63433 HAS SOUPS 63424 WITH SCORE 63524.316
AT ITER 208 NEW BEST:: SOT 123732 SOS 100120 HAS SOPS 100111 HAS SOUS 63270 HAS SOUPS 63261 WITH SCORE 63361.12
AT ITER 211 NEW BEST:: SOT 123722 SOS 100070 HAS SOPS 100061 HAS SOUS 63270 HAS SOUPS 63261 WITH SCORE 63361.07
AT ITER 215 NEW BEST:: SOT 123555 SOS 99451 HAS SOPS 99442 HAS SOUS 63098 HAS SOUPS 63089 WITH SCORE 63188.451
AT ITER 216 NEW BEST:: SOT 123415 SOS 99311 HAS SOPS 99302 HAS SOUS 62958 HAS SOUPS 62949 WITH SCORE 63048.311
AT ITER 217 NEW BEST:: SOT 123373 SOS 99269 HAS SOPS 99260 HAS SOUS 62916 HAS SOUPS 62907 WITH SCORE 63006.269
AT ITER 219 NEW BEST:: SOT 122524 SOS 98352 HAS SOPS 98343 HAS SOUS 62135 HAS SOUPS 62126 WITH SCORE 62224.352
AT ITER 221 NEW BEST:: SOT 122316 SOS 97808 HAS SOPS 97799 HAS SOUS 62019 HAS SOUPS 62010 WITH SCORE 62107.808
AT ITER 225 NEW BEST:: SOT 122373 SOS 97865 HAS SOPS 97856 HAS SOUS 62002 HAS SOUPS 61993 WITH SCORE 62090.865
AT ITER 228 NEW BEST:: SOT 122373 SOS 97865 HAS SOPS 97856 HAS SOUS 61998 HAS SOUPS 61989 WITH SCORE 62086.865
AT ITER 230 NEW BEST:: SOT 122373 SOS 97753 HAS SOPS 97744 HAS SOUS 61886 HAS SOUPS 61877 WITH SCORE 61974.753
AT ITER 231 NEW BEST:: SOT 122373 SOS 97231 HAS SOPS 97222 HAS SOUS 61803 HAS SOUPS 61794 WITH SCORE 61891.231
AT ITER 236 NEW BEST:: SOT 122391 SOS 97177 HAS SOPS 97168 HAS SOUS 61785 HAS SOUPS 61776 WITH SCORE 61873.177
AT ITER 247 NEW BEST:: SOT 122265 SOS 97137 HAS SOPS 97128 HAS SOUS 61745 HAS SOUPS 61736 WITH SCORE 61833.137
AT ITER 248 NEW BEST:: SOT 122048 SOS 96920 HAS SOPS 96911 HAS SOUS 61730 HAS SOUPS 61721 WITH SCORE 61817.92
AT ITER 250 NEW BEST:: SOT 122040 SOS 96912 HAS SOPS 96903 HAS SOUS 61609 HAS SOUPS 61600 WITH SCORE 61696.912
AT ITER 251 NEW BEST:: SOT 122008 SOS 96850 HAS SOPS 96841 HAS SOUS 61570 HAS SOUPS 61561 WITH SCORE 61657.85
AT ITER 254 NEW BEST:: SOT 121075 SOS 95946 HAS SOPS 95937 HAS SOUS 60550 HAS SOUPS 60541 WITH SCORE 60636.946
AT ITER 256 NEW BEST:: SOT 121000 SOS 95871 HAS SOPS 95862 HAS SOUS 60372 HAS SOUPS 60363 WITH SCORE 60458.871
AT ITER 257 NEW BEST:: SOT 120637 SOS 95508 HAS SOPS 95499 HAS SOUS 60009 HAS SOUPS 60000 WITH SCORE 60095.508
AT ITER 267 NEW BEST:: SOT 120637 SOS 95492 HAS SOPS 95483 HAS SOUS 59993 HAS SOUPS 59984 WITH SCORE 60079.492
AT ITER 272 NEW BEST:: SOT 120637 SOS 95116 HAS SOPS 95107 HAS SOUS 59805 HAS SOUPS 59796 WITH SCORE 59891.116
AT ITER 273 NEW BEST:: SOT 120637 SOS 95134 HAS SOPS 95125 HAS SOUS 59796 HAS SOUPS 59787 WITH SCORE 59882.134
AT ITER 279 NEW BEST:: SOT 120693 SOS 95398 HAS SOPS 95389 HAS SOUS 59768 HAS SOUPS 59759 WITH SCORE 59854.398
AT ITER 281 NEW BEST:: SOT 120302 SOS 95183 HAS SOPS 95174 HAS SOUS 59646 HAS SOUPS 59637 WITH SCORE 59732.183
AT ITER 283 NEW BEST:: SOT 120301 SOS 95182 HAS SOPS 95173 HAS SOUS 59645 HAS SOUPS 59636 WITH SCORE 59731.182
AT ITER 286 NEW BEST:: SOT 120301 SOS 94601 HAS SOPS 94592 HAS SOUS 59638 HAS SOUPS 59629 WITH SCORE 59723.601
AT ITER 287 NEW BEST:: SOT 119341 SOS 93409 HAS SOPS 93400 HAS SOUS 59085 HAS SOUPS 59076 WITH SCORE 59169.409
AT ITER 288 NEW BEST:: SOT 119329 SOS 93289 HAS SOPS 93280 HAS SOUS 59057 HAS SOUPS 59048 WITH SCORE 59141.289
AT ITER 292 NEW BEST:: SOT 119216 SOS 93176 HAS SOPS 93167 HAS SOUS 58944 HAS SOUPS 58935 WITH SCORE 59028.176
AT ITER 293 NEW BEST:: SOT 119174 SOS 93134 HAS SOPS 93125 HAS SOUS 58938 HAS SOUPS 58929 WITH SCORE 59022.134
AT ITER 301 NEW BEST:: SOT 119132 SOS 92423 HAS SOPS 92379 HAS SOUS 58946 HAS SOUPS 58902 WITH SCORE 58994.423
AT ITER 306 NEW BEST:: SOT 119126 SOS 92417 HAS SOPS 92373 HAS SOUS 58940 HAS SOUPS 58896 WITH SCORE 58988.417
AT ITER 307 NEW BEST:: SOT 119126 SOS 92414 HAS SOPS 92370 HAS SOUS 58937 HAS SOUPS 58893 WITH SCORE 58985.414
AT ITER 311 NEW BEST:: SOT 119104 SOS 92392 HAS SOPS 92348 HAS SOUS 58915 HAS SOUPS 58871 WITH SCORE 58963.392
AT ITER 315 NEW BEST:: SOT 118852 SOS 92140 HAS SOPS 92096 HAS SOUS 58663 HAS SOUPS 58619 WITH SCORE 58711.14
AT ITER 320 NEW BEST:: SOT 118841 SOS 91792 HAS SOPS 91748 HAS SOUS 58621 HAS SOUPS 58577 WITH SCORE 58668.792
AT ITER 323 NEW BEST:: SOT 118701 SOS 91570 HAS SOPS 91526 HAS SOUS 58563 HAS SOUPS 58519 WITH SCORE 58610.57
AT ITER 329 NEW BEST:: SOT 118547 SOS 91363 HAS SOPS 91319 HAS SOUS 58510 HAS SOUPS 58466 WITH SCORE 58557.363
AT ITER 330 NEW BEST:: SOT 118465 SOS 91285 HAS SOPS 91241 HAS SOUS 58436 HAS SOUPS 58392 WITH SCORE 58483.285
AT ITER 332 NEW BEST:: SOT 118068 SOS 91117 HAS SOPS 91073 HAS SOUS 58268 HAS SOUPS 58224 WITH SCORE 58315.117
AT ITER 336 NEW BEST:: SOT 117685 SOS 90746 HAS SOPS 90690 HAS SOUS 58055 HAS SOUPS 57999 WITH SCORE 58089.746
AT ITER 337 NEW BEST:: SOT 117499 SOS 90560 HAS SOPS 90504 HAS SOUS 57869 HAS SOUPS 57813 WITH SCORE 57903.56
AT ITER 343 NEW BEST:: SOT 117428 SOS 90480 HAS SOPS 90424 HAS SOUS 57850 HAS SOUPS 57794 WITH SCORE 57884.48
AT ITER 344 NEW BEST:: SOT 117662 SOS 91085 HAS SOPS 91029 HAS SOUS 57725 HAS SOUPS 57669 WITH SCORE 57760.085
AT ITER 345 NEW BEST:: SOT 117504 SOS 90927 HAS SOPS 90871 HAS SOUS 57685 HAS SOUPS 57629 WITH SCORE 57719.927
AT ITER 351 NEW BEST:: SOT 117503 SOS 90926 HAS SOPS 90870 HAS SOUS 57682 HAS SOUPS 57626 WITH SCORE 57716.926
AT ITER 361 NEW BEST:: SOT 117340 SOS 90761 HAS SOPS 90705 HAS SOUS 57565 HAS SOUPS 57509 WITH SCORE 57599.761
AT ITER 364 NEW BEST:: SOT 117170 SOS 90156 HAS SOPS 90100 HAS SOUS 57283 HAS SOUPS 57227 WITH SCORE 57317.156
AT ITER 365 NEW BEST:: SOT 117133 SOS 90118 HAS SOPS 90062 HAS SOUS 56926 HAS SOUPS 56870 WITH SCORE 56960.118
AT ITER 368 NEW BEST:: SOT 117133 SOS 90118 HAS SOPS 90062 HAS SOUS 56922 HAS SOUPS 56866 WITH SCORE 56956.118
AT ITER 370 NEW BEST:: SOT 117051 SOS 90036 HAS SOPS 89980 HAS SOUS 56912 HAS SOUPS 56856 WITH SCORE 56946.036
AT ITER 371 NEW BEST:: SOT 116429 SOS 89174 HAS SOPS 89118 HAS SOUS 56169 HAS SOUPS 56113 WITH SCORE 56202.174
AT ITER 377 NEW BEST:: SOT 116282 SOS 88908 HAS SOPS 88852 HAS SOUS 56093 HAS SOUPS 56037 WITH SCORE 56125.908
AT ITER 378 NEW BEST:: SOT 116290 SOS 88916 HAS SOPS 88860 HAS SOUS 56085 HAS SOUPS 56029 WITH SCORE 56117.916
AT ITER 382 NEW BEST:: SOT 116284 SOS 88904 HAS SOPS 88848 HAS SOUS 56079 HAS SOUPS 56023 WITH SCORE 56111.904
AT ITER 383 NEW BEST:: SOT 115620 SOS 88156 HAS SOPS 88100 HAS SOUS 55358 HAS SOUPS 55302 WITH SCORE 55390.156
AT ITER 384 NEW BEST:: SOT 115589 SOS 88125 HAS SOPS 88069 HAS SOUS 55338 HAS SOUPS 55282 WITH SCORE 55370.125
AT ITER 386 NEW BEST:: SOT 115568 SOS 88104 HAS SOPS 88048 HAS SOUS 55338 HAS SOUPS 55282 WITH SCORE 55370.104
AT ITER 399 NEW BEST:: SOT 115623 SOS 88114 HAS SOPS 88058 HAS SOUS 54945 HAS SOUPS 54889 WITH SCORE 54977.114
AT ITER 403 NEW BEST:: SOT 115557 SOS 88244 HAS SOPS 88188 HAS SOUS 54754 HAS SOUPS 54698 WITH SCORE 54786.244
AT ITER 405 NEW BEST:: SOT 115551 SOS 88241 HAS SOPS 88185 HAS SOUS 54751 HAS SOUPS 54695 WITH SCORE 54783.241
AT ITER 412 NEW BEST:: SOT 115462 SOS 88152 HAS SOPS 88096 HAS SOUS 54662 HAS SOUPS 54606 WITH SCORE 54694.152
AT ITER 415 NEW BEST:: SOT 115354 SOS 88152 HAS SOPS 88096 HAS SOUS 54370 HAS SOUPS 54314 WITH SCORE 54402.152
AT ITER 419 NEW BEST:: SOT 115325 SOS 88044 HAS SOPS 87988 HAS SOUS 54345 HAS SOUPS 54289 WITH SCORE 54377.044
AT ITER 424 NEW BEST:: SOT 115275 SOS 87918 HAS SOPS 87862 HAS SOUS 54143 HAS SOUPS 54087 WITH SCORE 54174.918
AT ITER 427 NEW BEST:: SOT 115210 SOS 87840 HAS SOPS 87784 HAS SOUS 54065 HAS SOUPS 54009 WITH SCORE 54096.84
AT ITER 433 NEW BEST:: SOT 115112 SOS 87578 HAS SOPS 87522 HAS SOUS 53999 HAS SOUPS 53943 WITH SCORE 54030.578
AT ITER 434 NEW BEST:: SOT 115150 SOS 87616 HAS SOPS 87560 HAS SOUS 53847 HAS SOUPS 53791 WITH SCORE 53878.616
AT ITER 435 NEW BEST:: SOT 115006 SOS 87058 HAS SOPS 87002 HAS SOUS 53647 HAS SOUPS 53591 WITH SCORE 53678.058
AT ITER 436 NEW BEST:: SOT 114675 SOS 86681 HAS SOPS 86625 HAS SOUS 53647 HAS SOUPS 53591 WITH SCORE 53677.681
AT ITER 446 NEW BEST:: SOT 114654 SOS 86660 HAS SOPS 86604 HAS SOUS 53626 HAS SOUPS 53570 WITH SCORE 53656.66
AT ITER 449 NEW BEST:: SOT 114516 SOS 85810 HAS SOPS 85626 HAS SOUS 53441 HAS SOUPS 53257 WITH SCORE 53342.81
AT ITER 452 NEW BEST:: SOT 114513 SOS 85807 HAS SOPS 85623 HAS SOUS 53438 HAS SOUPS 53254 WITH SCORE 53339.807
AT ITER 458 NEW BEST:: SOT 114513 SOS 85563 HAS SOPS 85379 HAS SOUS 53393 HAS SOUPS 53209 WITH SCORE 53294.563
AT ITER 470 NEW BEST:: SOT 114513 SOS 85476 HAS SOPS 85279 HAS SOUS 53369 HAS SOUPS 53172 WITH SCORE 53257.476
AT ITER 471 NEW BEST:: SOT 114513 SOS 85369 HAS SOPS 85172 HAS SOUS 53280 HAS SOUPS 53083 WITH SCORE 53168.369
AT ITER 473 NEW BEST:: SOT 114193 SOS 85131 HAS SOPS 84934 HAS SOUS 53221 HAS SOUPS 53024 WITH SCORE 53109.131
AT ITER 475 NEW BEST:: SOT 113673 SOS 84611 HAS SOPS 84414 HAS SOUS 52591 HAS SOUPS 52394 WITH SCORE 52478.611
AT ITER 480 NEW BEST:: SOT 113415 SOS 84353 HAS SOPS 84156 HAS SOUS 52451 HAS SOUPS 52254 WITH SCORE 52338.353
AT ITER 482 NEW BEST:: SOT 113445 SOS 84383 HAS SOPS 84186 HAS SOUS 52429 HAS SOUPS 52232 WITH SCORE 52316.383
AT ITER 486 NEW BEST:: SOT 113275 SOS 84169 HAS SOPS 83972 HAS SOUS 52366 HAS SOUPS 52169 WITH SCORE 52253.169
AT ITER 488 NEW BEST:: SOT 113275 SOS 83980 HAS SOPS 83783 HAS SOUS 52366 HAS SOUPS 52169 WITH SCORE 52252.98
AT ITER 493 NEW BEST:: SOT 113302 SOS 84007 HAS SOPS 83810 HAS SOUS 52353 HAS SOUPS 52156 WITH SCORE 52240.007
AT ITER 499 NEW BEST:: SOT 113025 SOS 83609 HAS SOPS 83412 HAS SOUS 51832 HAS SOUPS 51635 WITH SCORE 51718.609
AT ITER 500 NEW BEST:: SOT 113025 SOS 83577 HAS SOPS 83380 HAS SOUS 51720 HAS SOUPS 51523 WITH SCORE 51606.577
AT ITER 505 NEW BEST:: SOT 113023 SOS 83575 HAS SOPS 83378 HAS SOUS 51716 HAS SOUPS 51519 WITH SCORE 51602.575
AT ITER 507 NEW BEST:: SOT 112265 SOS 82920 HAS SOPS 82723 HAS SOUS 50913 HAS SOUPS 50716 WITH SCORE 50798.92
AT ITER 510 NEW BEST:: SOT 112066 SOS 82729 HAS SOPS 82532 HAS SOUS 50874 HAS SOUPS 50677 WITH SCORE 50759.729
AT ITER 512 NEW BEST:: SOT 111834 SOS 82728 HAS SOPS 82531 HAS SOUS 50640 HAS SOUPS 50443 WITH SCORE 50525.728
AT ITER 513 NEW BEST:: SOT 111751 SOS 82645 HAS SOPS 82448 HAS SOUS 50621 HAS SOUPS 50424 WITH SCORE 50506.645
AT ITER 515 NEW BEST:: SOT 111735 SOS 82621 HAS SOPS 82424 HAS SOUS 50605 HAS SOUPS 50408 WITH SCORE 50490.621
AT ITER 516 NEW BEST:: SOT 111596 SOS 82482 HAS SOPS 82285 HAS SOUS 50572 HAS SOUPS 50375 WITH SCORE 50457.482
AT ITER 517 NEW BEST:: SOT 111588 SOS 82264 HAS SOPS 82067 HAS SOUS 50542 HAS SOUPS 50345 WITH SCORE 50427.264
AT ITER 521 NEW BEST:: SOT 111464 SOS 82165 HAS SOPS 81968 HAS SOUS 50393 HAS SOUPS 50196 WITH SCORE 50278.165
AT ITER 533 NEW BEST:: SOT 111418 SOS 82119 HAS SOPS 81922 HAS SOUS 50375 HAS SOUPS 50178 WITH SCORE 50260.119
AT ITER 535 NEW BEST:: SOT 111418 SOS 82050 HAS SOPS 81853 HAS SOUS 50330 HAS SOUPS 50133 WITH SCORE 50215.05
AT ITER 540 NEW BEST:: SOT 111417 SOS 82049 HAS SOPS 81852 HAS SOUS 50307 HAS SOUPS 50110 WITH SCORE 50192.049
AT ITER 557 NEW BEST:: SOT 111391 SOS 82023 HAS SOPS 81826 HAS SOUS 50307 HAS SOUPS 50110 WITH SCORE 50192.023
AT ITER 559 NEW BEST:: SOT 111376 SOS 82008 HAS SOPS 81811 HAS SOUS 50292 HAS SOUPS 50095 WITH SCORE 50177.008
AT ITER 560 NEW BEST:: SOT 111304 SOS 81936 HAS SOPS 81739 HAS SOUS 50292 HAS SOUPS 50095 WITH SCORE 50176.936
AT ITER 564 NEW BEST:: SOT 111261 SOS 81893 HAS SOPS 81696 HAS SOUS 50249 HAS SOUPS 50052 WITH SCORE 50133.893
AT ITER 569 NEW BEST:: SOT 111311 SOS 82000 HAS SOPS 81745 HAS SOUS 50299 HAS SOUPS 50044 WITH SCORE 50126.0
AT ITER 578 NEW BEST:: SOT 111262 SOS 81930 HAS SOPS 81675 HAS SOUS 50227 HAS SOUPS 49972 WITH SCORE 50053.93
AT ITER 579 NEW BEST:: SOT 111150 SOS 81686 HAS SOPS 81431 HAS SOUS 50137 HAS SOUPS 49882 WITH SCORE 49963.686
AT ITER 580 NEW BEST:: SOT 111026 SOS 81531 HAS SOPS 81276 HAS SOUS 49982 HAS SOUPS 49727 WITH SCORE 49808.531
AT ITER 581 NEW BEST:: SOT 111107 SOS 80960 HAS SOPS 80636 HAS SOUS 49921 HAS SOUPS 49597 WITH SCORE 49677.96
AT ITER 591 NEW BEST:: SOT 111091 SOS 80944 HAS SOPS 80620 HAS SOUS 49905 HAS SOUPS 49581 WITH SCORE 49661.944
AT ITER 594 NEW BEST:: SOT 111022 SOS 80858 HAS SOPS 80534 HAS SOUS 49837 HAS SOUPS 49513 WITH SCORE 49593.858
AT ITER 598 NEW BEST:: SOT 110821 SOS 80393 HAS SOPS 80069 HAS SOUS 49479 HAS SOUPS 49155 WITH SCORE 49235.393
AT ITER 609 NEW BEST:: SOT 110342 SOS 79945 HAS SOPS 79652 HAS SOUS 49031 HAS SOUPS 48738 WITH SCORE 48817.945
AT ITER 614 NEW BEST:: SOT 109900 SOS 79503 HAS SOPS 79210 HAS SOUS 48695 HAS SOUPS 48402 WITH SCORE 48481.503
AT ITER 622 NEW BEST:: SOT 109877 SOS 79480 HAS SOPS 79187 HAS SOUS 48576 HAS SOUPS 48283 WITH SCORE 48362.48
AT ITER 628 NEW BEST:: SOT 109877 SOS 79480 HAS SOPS 79187 HAS SOUS 48566 HAS SOUPS 48273 WITH SCORE 48352.48
AT ITER 634 NEW BEST:: SOT 109863 SOS 79474 HAS SOPS 79181 HAS SOUS 48563 HAS SOUPS 48270 WITH SCORE 48349.474
AT ITER 643 NEW BEST:: SOT 109807 SOS 79386 HAS SOPS 79081 HAS SOUS 48507 HAS SOUPS 48202 WITH SCORE 48281.386
AT ITER 644 NEW BEST:: SOT 109413 SOS 79081 HAS SOPS 78776 HAS SOUS 48116 HAS SOUPS 47811 WITH SCORE 47890.081
AT ITER 650 NEW BEST:: SOT 109383 SOS 79051 HAS SOPS 78746 HAS SOUS 48048 HAS SOUPS 47743 WITH SCORE 47822.051
AT ITER 651 NEW BEST:: SOT 109383 SOS 79045 HAS SOPS 78740 HAS SOUS 48040 HAS SOUPS 47735 WITH SCORE 47814.045
AT ITER 656 NEW BEST:: SOT 108914 SOS 78574 HAS SOPS 78269 HAS SOUS 47678 HAS SOUPS 47373 WITH SCORE 47451.574
AT ITER 673 NEW BEST:: SOT 108906 SOS 78566 HAS SOPS 78261 HAS SOUS 47662 HAS SOUPS 47357 WITH SCORE 47435.566
AT ITER 676 NEW BEST:: SOT 108677 SOS 78222 HAS SOPS 77917 HAS SOUS 47476 HAS SOUPS 47171 WITH SCORE 47249.222
AT ITER 682 NEW BEST:: SOT 108592 SOS 78179 HAS SOPS 77963 HAS SOUS 47120 HAS SOUPS 46904 WITH SCORE 46982.179
AT ITER 684 NEW BEST:: SOT 108541 SOS 78128 HAS SOPS 77912 HAS SOUS 46933 HAS SOUPS 46717 WITH SCORE 46795.128
AT ITER 685 NEW BEST:: SOT 108526 SOS 78113 HAS SOPS 77897 HAS SOUS 46928 HAS SOUPS 46712 WITH SCORE 46790.113
AT ITER 687 NEW BEST:: SOT 108490 SOS 77953 HAS SOPS 77737 HAS SOUS 46892 HAS SOUPS 46676 WITH SCORE 46753.953
AT ITER 690 NEW BEST:: SOT 108479 SOS 77942 HAS SOPS 77704 HAS SOUS 46892 HAS SOUPS 46654 WITH SCORE 46731.942
AT ITER 691 NEW BEST:: SOT 108318 SOS 77781 HAS SOPS 77543 HAS SOUS 46827 HAS SOUPS 46589 WITH SCORE 46666.781
AT ITER 694 NEW BEST:: SOT 108318 SOS 77781 HAS SOPS 77543 HAS SOUS 46754 HAS SOUPS 46516 WITH SCORE 46593.781
AT ITER 695 NEW BEST:: SOT 108312 SOS 77780 HAS SOPS 77542 HAS SOUS 46743 HAS SOUPS 46505 WITH SCORE 46582.78
AT ITER 697 NEW BEST:: SOT 108312 SOS 77713 HAS SOPS 77475 HAS SOUS 46692 HAS SOUPS 46454 WITH SCORE 46531.713
AT ITER 698 NEW BEST:: SOT 108312 SOS 77650 HAS SOPS 77412 HAS SOUS 46692 HAS SOUPS 46454 WITH SCORE 46531.65
AT ITER 704 NEW BEST:: SOT 108312 SOS 77388 HAS SOPS 77080 HAS SOUS 46688 HAS SOUPS 46380 WITH SCORE 46457.388
AT ITER 705 NEW BEST:: SOT 108310 SOS 77386 HAS SOPS 77078 HAS SOUS 46688 HAS SOUPS 46380 WITH SCORE 46457.386
AT ITER 713 NEW BEST:: SOT 108070 SOS 77150 HAS SOPS 76846 HAS SOUS 46290 HAS SOUPS 45986 WITH SCORE 46063.15
AT ITER 714 NEW BEST:: SOT 108107 SOS 76676 HAS SOPS 76372 HAS SOUS 46278 HAS SOUPS 45974 WITH SCORE 46050.676
AT ITER 718 NEW BEST:: SOT 107943 SOS 76509 HAS SOPS 76205 HAS SOUS 46267 HAS SOUPS 45963 WITH SCORE 46039.509
AT ITER 722 NEW BEST:: SOT 107977 SOS 76230 HAS SOPS 75926 HAS SOUS 46233 HAS SOUPS 45929 WITH SCORE 46005.23
AT ITER 735 NEW BEST:: SOT 108026 SOS 76145 HAS SOPS 75841 HAS SOUS 46179 HAS SOUPS 45875 WITH SCORE 45951.145
AT ITER 739 NEW BEST:: SOT 107878 SOS 75997 HAS SOPS 75693 HAS SOUS 46031 HAS SOUPS 45727 WITH SCORE 45802.997
AT ITER 750 NEW BEST:: SOT 107715 SOS 75834 HAS SOPS 75530 HAS SOUS 45890 HAS SOUPS 45586 WITH SCORE 45661.834
AT ITER 751 NEW BEST:: SOT 107608 SOS 75727 HAS SOPS 75423 HAS SOUS 45783 HAS SOUPS 45479 WITH SCORE 45554.727
AT ITER 752 NEW BEST:: SOT 107596 SOS 75697 HAS SOPS 75399 HAS SOUS 45753 HAS SOUPS 45455 WITH SCORE 45530.697
AT ITER 754 NEW BEST:: SOT 107553 SOS 75871 HAS SOPS 75573 HAS SOUS 45719 HAS SOUPS 45421 WITH SCORE 45496.871
AT ITER 755 NEW BEST:: SOT 107546 SOS 75784 HAS SOPS 75486 HAS SOUS 45678 HAS SOUPS 45380 WITH SCORE 45455.784
AT ITER 762 NEW BEST:: SOT 107418 SOS 75470 HAS SOPS 75172 HAS SOUS 45569 HAS SOUPS 45271 WITH SCORE 45346.47
AT ITER 765 NEW BEST:: SOT 107471 SOS 75470 HAS SOPS 75172 HAS SOUS 45565 HAS SOUPS 45267 WITH SCORE 45342.47
AT ITER 770 NEW BEST:: SOT 107326 SOS 74810 HAS SOPS 74512 HAS SOUS 45354 HAS SOUPS 45056 WITH SCORE 45130.81
AT ITER 774 NEW BEST:: SOT 107305 SOS 74789 HAS SOPS 74491 HAS SOUS 45330 HAS SOUPS 45032 WITH SCORE 45106.789
AT ITER 776 NEW BEST:: SOT 107302 SOS 74786 HAS SOPS 74488 HAS SOUS 45327 HAS SOUPS 45029 WITH SCORE 45103.786
AT ITER 779 NEW BEST:: SOT 107285 SOS 74768 HAS SOPS 74470 HAS SOUS 45327 HAS SOUPS 45029 WITH SCORE 45103.768
AT ITER 780 NEW BEST:: SOT 107239 SOS 74722 HAS SOPS 74424 HAS SOUS 45189 HAS SOUPS 44891 WITH SCORE 44965.722
AT ITER 783 NEW BEST:: SOT 107332 SOS 74876 HAS SOPS 74578 HAS SOUS 45170 HAS SOUPS 44872 WITH SCORE 44946.876
AT ITER 787 NEW BEST:: SOT 107332 SOS 74785 HAS SOPS 74487 HAS SOUS 45170 HAS SOUPS 44872 WITH SCORE 44946.785
AT ITER 788 NEW BEST:: SOT 106685 SOS 73932 HAS SOPS 73634 HAS SOUS 44491 HAS SOUPS 44193 WITH SCORE 44266.932
AT ITER 789 NEW BEST:: SOT 106582 SOS 73682 HAS SOPS 73384 HAS SOUS 44442 HAS SOUPS 44144 WITH SCORE 44217.682
AT ITER 794 NEW BEST:: SOT 106605 SOS 73671 HAS SOPS 73373 HAS SOUS 44431 HAS SOUPS 44133 WITH SCORE 44206.671
AT ITER 799 NEW BEST:: SOT 106651 SOS 73694 HAS SOPS 73396 HAS SOUS 44429 HAS SOUPS 44131 WITH SCORE 44204.694
AT ITER 803 NEW BEST:: SOT 106532 SOS 73575 HAS SOPS 73277 HAS SOUS 44413 HAS SOUPS 44115 WITH SCORE 44188.575
AT ITER 805 NEW BEST:: SOT 106493 SOS 73504 HAS SOPS 73206 HAS SOUS 44372 HAS SOUPS 44074 WITH SCORE 44147.504
AT ITER 807 NEW BEST:: SOT 106496 SOS 73495 HAS SOPS 73197 HAS SOUS 44372 HAS SOUPS 44074 WITH SCORE 44147.495
AT ITER 810 NEW BEST:: SOT 106414 SOS 73344 HAS SOPS 73115 HAS SOUS 44166 HAS SOUPS 43937 WITH SCORE 44010.344
AT ITER 811 NEW BEST:: SOT 106459 SOS 73434 HAS SOPS 73205 HAS SOUS 44150 HAS SOUPS 43921 WITH SCORE 43994.434
AT ITER 814 NEW BEST:: SOT 106567 SOS 72729 HAS SOPS 72500 HAS SOUS 43868 HAS SOUPS 43639 WITH SCORE 43711.729
AT ITER 820 NEW BEST:: SOT 106512 SOS 72674 HAS SOPS 72445 HAS SOUS 43813 HAS SOUPS 43584 WITH SCORE 43656.674
AT ITER 822 NEW BEST:: SOT 106264 SOS 72426 HAS SOPS 72197 HAS SOUS 43565 HAS SOUPS 43336 WITH SCORE 43408.426
AT ITER 827 NEW BEST:: SOT 106230 SOS 72723 HAS SOPS 72494 HAS SOUS 43535 HAS SOUPS 43306 WITH SCORE 43378.723
AT ITER 837 NEW BEST:: SOT 106195 SOS 72293 HAS SOPS 72050 HAS SOUS 43494 HAS SOUPS 43263 WITH SCORE 43335.293
AT ITER 839 NEW BEST:: SOT 105993 SOS 71082 HAS SOPS 70839 HAS SOUS 43149 HAS SOUPS 42918 WITH SCORE 42989.082
AT ITER 846 NEW BEST:: SOT 106180 SOS 71158 HAS SOPS 70915 HAS SOUS 43136 HAS SOUPS 42905 WITH SCORE 42976.158
AT ITER 853 NEW BEST:: SOT 106188 SOS 70959 HAS SOPS 70712 HAS SOUS 42951 HAS SOUPS 42716 WITH SCORE 42786.959
AT ITER 855 NEW BEST:: SOT 106188 SOS 70971 HAS SOPS 70724 HAS SOUS 42945 HAS SOUPS 42710 WITH SCORE 42780.971
AT ITER 859 NEW BEST:: SOT 106188 SOS 70779 HAS SOPS 70532 HAS SOUS 42881 HAS SOUPS 42646 WITH SCORE 42716.779
AT ITER 864 NEW BEST:: SOT 106188 SOS 70779 HAS SOPS 70532 HAS SOUS 42815 HAS SOUPS 42580 WITH SCORE 42650.779
AT ITER 869 NEW BEST:: SOT 106124 SOS 70701 HAS SOPS 70454 HAS SOUS 42748 HAS SOUPS 42513 WITH SCORE 42583.701
AT ITER 875 NEW BEST:: SOT 106096 SOS 70659 HAS SOPS 70412 HAS SOUS 42734 HAS SOUPS 42499 WITH SCORE 42569.659
AT ITER 890 NEW BEST:: SOT 105196 SOS 69719 HAS SOPS 69472 HAS SOUS 41787 HAS SOUPS 41552 WITH SCORE 41621.719
AT ITER 893 NEW BEST:: SOT 105196 SOS 69587 HAS SOPS 69340 HAS SOUS 41787 HAS SOUPS 41552 WITH SCORE 41621.587
AT ITER 897 NEW BEST:: SOT 105445 SOS 69927 HAS SOPS 69680 HAS SOUS 41605 HAS SOUPS 41370 WITH SCORE 41439.927
AT ITER 903 NEW BEST:: SOT 105509 SOS 69961 HAS SOPS 69714 HAS SOUS 41516 HAS SOUPS 41281 WITH SCORE 41350.961
AT ITER 904 NEW BEST:: SOT 105472 SOS 69879 HAS SOPS 69632 HAS SOUS 41478 HAS SOUPS 41243 WITH SCORE 41312.879
AT ITER 910 NEW BEST:: SOT 105469 SOS 69876 HAS SOPS 69629 HAS SOUS 41363 HAS SOUPS 41128 WITH SCORE 41197.876
AT ITER 911 NEW BEST:: SOT 105587 SOS 69855 HAS SOPS 69608 HAS SOUS 41302 HAS SOUPS 41067 WITH SCORE 41136.855
AT ITER 914 NEW BEST:: SOT 105636 SOS 69936 HAS SOPS 69689 HAS SOUS 41297 HAS SOUPS 41062 WITH SCORE 41131.936
AT ITER 917 NEW BEST:: SOT 105619 SOS 69774 HAS SOPS 69527 HAS SOUS 41215 HAS SOUPS 40980 WITH SCORE 41049.774
AT ITER 918 NEW BEST:: SOT 105515 SOS 69848 HAS SOPS 69601 HAS SOUS 41111 HAS SOUPS 40876 WITH SCORE 40945.848
AT ITER 923 NEW BEST:: SOT 105472 SOS 69594 HAS SOPS 69371 HAS SOUS 41064 HAS SOUPS 40853 WITH SCORE 40922.594
AT ITER 924 NEW BEST:: SOT 105367 SOS 69489 HAS SOPS 69266 HAS SOUS 41006 HAS SOUPS 40795 WITH SCORE 40864.489
AT ITER 943 NEW BEST:: SOT 105376 SOS 69516 HAS SOPS 69293 HAS SOUS 40997 HAS SOUPS 40786 WITH SCORE 40855.516
AT ITER 944 NEW BEST:: SOT 105266 SOS 69406 HAS SOPS 69183 HAS SOUS 40911 HAS SOUPS 40700 WITH SCORE 40769.406
AT ITER 956 NEW BEST:: SOT 105240 SOS 69539 HAS SOPS 69286 HAS SOUS 40897 HAS SOUPS 40644 WITH SCORE 40713.539
AT ITER 961 NEW BEST:: SOT 105238 SOS 69527 HAS SOPS 69274 HAS SOUS 40895 HAS SOUPS 40642 WITH SCORE 40711.527
AT ITER 967 NEW BEST:: SOT 105316 SOS 69605 HAS SOPS 69352 HAS SOUS 40891 HAS SOUPS 40638 WITH SCORE 40707.605
AT ITER 981 NEW BEST:: SOT 105340 SOS 69629 HAS SOPS 69376 HAS SOUS 40871 HAS SOUPS 40618 WITH SCORE 40687.629
AT ITER 984 NEW BEST:: SOT 105038 SOS 69295 HAS SOPS 69042 HAS SOUS 40539 HAS SOUPS 40286 WITH SCORE 40355.295
AT ITER 986 NEW BEST:: SOT 104988 SOS 69245 HAS SOPS 68992 HAS SOUS 40489 HAS SOUPS 40236 WITH SCORE 40305.245
AT ITER 1008 NEW BEST:: SOT 104975 SOS 69232 HAS SOPS 68979 HAS SOUS 40476 HAS SOUPS 40223 WITH SCORE 40292.232
AT ITER 1010 NEW BEST:: SOT 105013 SOS 69270 HAS SOPS 69017 HAS SOUS 40328 HAS SOUPS 40075 WITH SCORE 40144.27
AT ITER 1029 NEW BEST:: SOT 104799 SOS 68870 HAS SOPS 68617 HAS SOUS 40168 HAS SOUPS 39915 WITH SCORE 39983.87
AT ITER 1033 NEW BEST:: SOT 104656 SOS 68648 HAS SOPS 68395 HAS SOUS 40104 HAS SOUPS 39851 WITH SCORE 39919.648
AT ITER 1035 NEW BEST:: SOT 104677 SOS 68629 HAS SOPS 68376 HAS SOUS 40096 HAS SOUPS 39843 WITH SCORE 39911.629
AT ITER 1037 NEW BEST:: SOT 104677 SOS 68629 HAS SOPS 68376 HAS SOUS 40009 HAS SOUPS 39756 WITH SCORE 39824.629
AT ITER 1041 NEW BEST:: SOT 104531 SOS 68640 HAS SOPS 68387 HAS SOUS 39904 HAS SOUPS 39651 WITH SCORE 39719.64
AT ITER 1043 NEW BEST:: SOT 104430 SOS 68071 HAS SOPS 67818 HAS SOUS 39805 HAS SOUPS 39552 WITH SCORE 39620.071
AT ITER 1044 NEW BEST:: SOT 104340 SOS 68148 HAS SOPS 67937 HAS SOUS 39677 HAS SOUPS 39466 WITH SCORE 39534.148
AT ITER 1051 NEW BEST:: SOT 104340 SOS 68148 HAS SOPS 67937 HAS SOUS 39675 HAS SOUPS 39464 WITH SCORE 39532.148
AT ITER 1053 NEW BEST:: SOT 104281 SOS 68089 HAS SOPS 67878 HAS SOUS 39669 HAS SOUPS 39458 WITH SCORE 39526.089
AT ITER 1062 NEW BEST:: SOT 104248 SOS 68056 HAS SOPS 67845 HAS SOUS 39636 HAS SOUPS 39425 WITH SCORE 39493.056
AT ITER 1067 NEW BEST:: SOT 104102 SOS 67997 HAS SOPS 67786 HAS SOUS 39563 HAS SOUPS 39352 WITH SCORE 39419.997
AT ITER 1068 NEW BEST:: SOT 103889 SOS 68528 HAS SOPS 68384 HAS SOUS 39490 HAS SOUPS 39346 WITH SCORE 39414.528
AT ITER 1071 NEW BEST:: SOT 103765 SOS 68517 HAS SOPS 68179 HAS SOUS 39329 HAS SOUPS 39052 WITH SCORE 39120.517
AT ITER 1073 NEW BEST:: SOT 103760 SOS 68313 HAS SOPS 67975 HAS SOUS 39256 HAS SOUPS 38979 WITH SCORE 39047.313
AT ITER 1074 NEW BEST:: SOT 103634 SOS 68380 HAS SOPS 68073 HAS SOUS 39061 HAS SOUPS 38784 WITH SCORE 38852.38
AT ITER 1078 NEW BEST:: SOT 103634 SOS 68376 HAS SOPS 68069 HAS SOUS 39061 HAS SOUPS 38784 WITH SCORE 38852.376
AT ITER 1079 NEW BEST:: SOT 103634 SOS 68272 HAS SOPS 67965 HAS SOUS 38966 HAS SOUPS 38689 WITH SCORE 38757.272
AT ITER 1090 NEW BEST:: SOT 103628 SOS 68266 HAS SOPS 67959 HAS SOUS 38960 HAS SOUPS 38683 WITH SCORE 38751.266
AT ITER 1093 NEW BEST:: SOT 103628 SOS 68426 HAS SOPS 68119 HAS SOUS 38958 HAS SOUPS 38681 WITH SCORE 38749.426
AT ITER 1095 NEW BEST:: SOT 103563 SOS 68183 HAS SOPS 67876 HAS SOUS 38756 HAS SOUPS 38479 WITH SCORE 38547.183
AT ITER 1107 NEW BEST:: SOT 103501 SOS 68144 HAS SOPS 67837 HAS SOUS 38746 HAS SOUPS 38469 WITH SCORE 38537.144
AT ITER 1114 NEW BEST:: SOT 103634 SOS 68178 HAS SOPS 67871 HAS SOUS 38684 HAS SOUPS 38407 WITH SCORE 38475.178
AT ITER 1115 NEW BEST:: SOT 103634 SOS 68168 HAS SOPS 67855 HAS SOUS 38676 HAS SOUPS 38393 WITH SCORE 38461.168
AT ITER 1118 NEW BEST:: SOT 103634 SOS 68168 HAS SOPS 67855 HAS SOUS 38670 HAS SOUPS 38387 WITH SCORE 38455.168
AT ITER 1121 NEW BEST:: SOT 103482 SOS 68008 HAS SOPS 67695 HAS SOUS 38662 HAS SOUPS 38379 WITH SCORE 38447.008
AT ITER 1125 NEW BEST:: SOT 103519 SOS 68039 HAS SOPS 67726 HAS SOUS 38659 HAS SOUPS 38376 WITH SCORE 38444.039
AT ITER 1128 NEW BEST:: SOT 103501 SOS 68021 HAS SOPS 67708 HAS SOUS 38632 HAS SOUPS 38349 WITH SCORE 38417.021
AT ITER 1131 NEW BEST:: SOT 103485 SOS 68005 HAS SOPS 67692 HAS SOUS 38616 HAS SOUPS 38333 WITH SCORE 38401.005
AT ITER 1134 NEW BEST:: SOT 103059 SOS 67579 HAS SOPS 67266 HAS SOUS 38156 HAS SOUPS 37873 WITH SCORE 37940.579
AT ITER 1147 NEW BEST:: SOT 103059 SOS 67574 HAS SOPS 67261 HAS SOUS 38064 HAS SOUPS 37781 WITH SCORE 37848.574
AT ITER 1150 NEW BEST:: SOT 103023 SOS 67538 HAS SOPS 67225 HAS SOUS 38006 HAS SOUPS 37723 WITH SCORE 37790.538
AT ITER 1154 NEW BEST:: SOT 102920 SOS 67435 HAS SOPS 67122 HAS SOUS 37940 HAS SOUPS 37657 WITH SCORE 37724.435
AT ITER 1163 NEW BEST:: SOT 102896 SOS 67411 HAS SOPS 67098 HAS SOUS 37906 HAS SOUPS 37623 WITH SCORE 37690.411
AT ITER 1166 NEW BEST:: SOT 102892 SOS 67407 HAS SOPS 67094 HAS SOUS 37902 HAS SOUPS 37619 WITH SCORE 37686.407
AT ITER 1172 NEW BEST:: SOT 102773 SOS 67132 HAS SOPS 66819 HAS SOUS 37711 HAS SOUPS 37428 WITH SCORE 37495.132
AT ITER 1176 NEW BEST:: SOT 102773 SOS 67132 HAS SOPS 66819 HAS SOUS 37635 HAS SOUPS 37352 WITH SCORE 37419.132
AT ITER 1177 NEW BEST:: SOT 102774 SOS 67133 HAS SOPS 66820 HAS SOUS 37622 HAS SOUPS 37339 WITH SCORE 37406.133
AT ITER 1181 NEW BEST:: SOT 102595 SOS 66954 HAS SOPS 66641 HAS SOUS 37443 HAS SOUPS 37160 WITH SCORE 37226.954
AT ITER 1187 NEW BEST:: SOT 102485 SOS 66506 HAS SOPS 66193 HAS SOUS 37268 HAS SOUPS 36985 WITH SCORE 37051.506
AT ITER 1193 NEW BEST:: SOT 102481 SOS 66502 HAS SOPS 66189 HAS SOUS 37262 HAS SOUPS 36979 WITH SCORE 37045.502
AT ITER 1194 NEW BEST:: SOT 102344 SOS 66365 HAS SOPS 66052 HAS SOUS 37249 HAS SOUPS 36966 WITH SCORE 37032.365
AT ITER 1198 NEW BEST:: SOT 102336 SOS 66294 HAS SOPS 65944 HAS SOUS 37254 HAS SOUPS 36934 WITH SCORE 37000.294
AT ITER 1203 NEW BEST:: SOT 102336 SOS 66172 HAS SOPS 65816 HAS SOUS 37248 HAS SOUPS 36928 WITH SCORE 36994.172
AT ITER 1204 NEW BEST:: SOT 102323 SOS 65979 HAS SOPS 65623 HAS SOUS 37247 HAS SOUPS 36927 WITH SCORE 36992.979
AT ITER 1210 NEW BEST:: SOT 102320 SOS 65976 HAS SOPS 65620 HAS SOUS 37244 HAS SOUPS 36924 WITH SCORE 36989.976
AT ITER 1218 NEW BEST:: SOT 102308 SOS 65964 HAS SOPS 65608 HAS SOUS 37232 HAS SOUPS 36912 WITH SCORE 36977.964
AT ITER 1248 NEW BEST:: SOT 102282 SOS 65895 HAS SOPS 65540 HAS SOUS 37185 HAS SOUPS 36866 WITH SCORE 36931.895
AT ITER 1249 NEW BEST:: SOT 102253 SOS 65786 HAS SOPS 65431 HAS SOUS 37156 HAS SOUPS 36837 WITH SCORE 36902.786
AT ITER 1252 NEW BEST:: SOT 102233 SOS 65766 HAS SOPS 65411 HAS SOUS 37136 HAS SOUPS 36817 WITH SCORE 36882.766
AT ITER 1254 NEW BEST:: SOT 102252 SOS 65785 HAS SOPS 65430 HAS SOUS 37115 HAS SOUPS 36796 WITH SCORE 36861.785
AT ITER 1260 NEW BEST:: SOT 102030 SOS 65285 HAS SOPS 64930 HAS SOUS 36970 HAS SOUPS 36651 WITH SCORE 36716.285
AT ITER 1263 NEW BEST:: SOT 102030 SOS 65273 HAS SOPS 64912 HAS SOUS 36964 HAS SOUPS 36639 WITH SCORE 36704.273
AT ITER 1265 NEW BEST:: SOT 101393 SOS 64636 HAS SOPS 64275 HAS SOUS 36335 HAS SOUPS 36010 WITH SCORE 36074.636
AT ITER 1268 NEW BEST:: SOT 101493 SOS 64531 HAS SOPS 64170 HAS SOUS 36295 HAS SOUPS 35970 WITH SCORE 36034.531
AT ITER 1271 NEW BEST:: SOT 101493 SOS 64531 HAS SOPS 64170 HAS SOUS 36217 HAS SOUPS 35892 WITH SCORE 35956.531
AT ITER 1273 NEW BEST:: SOT 101520 SOS 64573 HAS SOPS 64212 HAS SOUS 36213 HAS SOUPS 35888 WITH SCORE 35952.573
AT ITER 1274 NEW BEST:: SOT 101354 SOS 64294 HAS SOPS 63933 HAS SOUS 35993 HAS SOUPS 35668 WITH SCORE 35732.294
AT ITER 1278 NEW BEST:: SOT 101359 SOS 64271 HAS SOPS 63910 HAS SOUS 35981 HAS SOUPS 35656 WITH SCORE 35720.271
AT ITER 1280 NEW BEST:: SOT 101347 SOS 63404 HAS SOPS 62957 HAS SOUS 35949 HAS SOUPS 35560 WITH SCORE 35623.404
AT ITER 1284 NEW BEST:: SOT 101366 SOS 63211 HAS SOPS 62764 HAS SOUS 35905 HAS SOUPS 35516 WITH SCORE 35579.211
AT ITER 1285 NEW BEST:: SOT 101360 SOS 63205 HAS SOPS 62758 HAS SOUS 35893 HAS SOUPS 35504 WITH SCORE 35567.205
AT ITER 1288 NEW BEST:: SOT 101306 SOS 63155 HAS SOPS 62708 HAS SOUS 35771 HAS SOUPS 35382 WITH SCORE 35445.155
AT ITER 1293 NEW BEST:: SOT 101185 SOS 63101 HAS SOPS 62654 HAS SOUS 35761 HAS SOUPS 35372 WITH SCORE 35435.101
AT ITER 1294 NEW BEST:: SOT 101185 SOS 63068 HAS SOPS 62621 HAS SOUS 35761 HAS SOUPS 35372 WITH SCORE 35435.068
AT ITER 1300 NEW BEST:: SOT 101185 SOS 63068 HAS SOPS 62621 HAS SOUS 35739 HAS SOUPS 35350 WITH SCORE 35413.068
AT ITER 1301 NEW BEST:: SOT 101186 SOS 63059 HAS SOPS 62569 HAS SOUS 35730 HAS SOUPS 35298 WITH SCORE 35361.059
AT ITER 1302 NEW BEST:: SOT 101186 SOS 63059 HAS SOPS 62569 HAS SOUS 35720 HAS SOUPS 35288 WITH SCORE 35351.059
AT ITER 1309 NEW BEST:: SOT 101186 SOS 63011 HAS SOPS 62521 HAS SOUS 35688 HAS SOUPS 35256 WITH SCORE 35319.011
AT ITER 1315 NEW BEST:: SOT 101091 SOS 62543 HAS SOPS 62053 HAS SOUS 35637 HAS SOUPS 35205 WITH SCORE 35267.543
AT ITER 1323 NEW BEST:: SOT 100854 SOS 62410 HAS SOPS 61920 HAS SOUS 35545 HAS SOUPS 35113 WITH SCORE 35175.41
AT ITER 1326 NEW BEST:: SOT 100931 SOS 62492 HAS SOPS 62002 HAS SOUS 35536 HAS SOUPS 35104 WITH SCORE 35166.492
AT ITER 1337 NEW BEST:: SOT 100629 SOS 62516 HAS SOPS 62026 HAS SOUS 35388 HAS SOUPS 34956 WITH SCORE 35018.516
AT ITER 1349 NEW BEST:: SOT 100579 SOS 62366 HAS SOPS 61876 HAS SOUS 35363 HAS SOUPS 34931 WITH SCORE 34993.366
AT ITER 1352 NEW BEST:: SOT 100579 SOS 62298 HAS SOPS 61842 HAS SOUS 35288 HAS SOUPS 34890 WITH SCORE 34952.298
AT ITER 1357 NEW BEST:: SOT 100625 SOS 62230 HAS SOPS 61774 HAS SOUS 35258 HAS SOUPS 34860 WITH SCORE 34922.23
AT ITER 1365 NEW BEST:: SOT 100625 SOS 62220 HAS SOPS 61764 HAS SOUS 35258 HAS SOUPS 34860 WITH SCORE 34922.22
AT ITER 1367 NEW BEST:: SOT 100669 SOS 62214 HAS SOPS 61758 HAS SOUS 35204 HAS SOUPS 34806 WITH SCORE 34868.214
AT ITER 1368 NEW BEST:: SOT 100590 SOS 62120 HAS SOPS 61664 HAS SOUS 35106 HAS SOUPS 34708 WITH SCORE 34770.12
AT ITER 1372 NEW BEST:: SOT 100614 SOS 61798 HAS SOPS 61342 HAS SOUS 35100 HAS SOUPS 34702 WITH SCORE 34763.798
AT ITER 1377 NEW BEST:: SOT 100652 SOS 61836 HAS SOPS 61380 HAS SOUS 35030 HAS SOUPS 34632 WITH SCORE 34693.836
AT ITER 1378 NEW BEST:: SOT 100639 SOS 61834 HAS SOPS 61378 HAS SOUS 35021 HAS SOUPS 34623 WITH SCORE 34684.834
AT ITER 1385 NEW BEST:: SOT 100510 SOS 61705 HAS SOPS 61249 HAS SOUS 34870 HAS SOUPS 34472 WITH SCORE 34533.705
AT ITER 1386 NEW BEST:: SOT 100453 SOS 61648 HAS SOPS 61192 HAS SOUS 34855 HAS SOUPS 34457 WITH SCORE 34518.648
AT ITER 1390 NEW BEST:: SOT 100405 SOS 61600 HAS SOPS 61144 HAS SOUS 34713 HAS SOUPS 34315 WITH SCORE 34376.6
AT ITER 1397 NEW BEST:: SOT 100389 SOS 61584 HAS SOPS 61128 HAS SOUS 34697 HAS SOUPS 34299 WITH SCORE 34360.584
AT ITER 1409 NEW BEST:: SOT 100389 SOS 61584 HAS SOPS 61128 HAS SOUS 34693 HAS SOUPS 34295 WITH SCORE 34356.584
AT ITER 1415 NEW BEST:: SOT 100363 SOS 61545 HAS SOPS 61076 HAS SOUS 34654 HAS SOUPS 34243 WITH SCORE 34304.545
AT ITER 1417 NEW BEST:: SOT 100363 SOS 61531 HAS SOPS 61062 HAS SOUS 34629 HAS SOUPS 34218 WITH SCORE 34279.531
AT ITER 1418 NEW BEST:: SOT 100355 SOS 61488 HAS SOPS 61019 HAS SOUS 34586 HAS SOUPS 34175 WITH SCORE 34236.488
AT ITER 1425 NEW BEST:: SOT 100341 SOS 61474 HAS SOPS 61005 HAS SOUS 34586 HAS SOUPS 34175 WITH SCORE 34236.474
AT ITER 1427 NEW BEST:: SOT 100337 SOS 61470 HAS SOPS 61001 HAS SOUS 34577 HAS SOUPS 34166 WITH SCORE 34227.47
AT ITER 1430 NEW BEST:: SOT 100262 SOS 61331 HAS SOPS 60862 HAS SOUS 34384 HAS SOUPS 33973 WITH SCORE 34034.331
AT ITER 1439 NEW BEST:: SOT 100352 SOS 61161 HAS SOPS 60692 HAS SOUS 34344 HAS SOUPS 33933 WITH SCORE 33994.161
AT ITER 1440 NEW BEST:: SOT 100297 SOS 61054 HAS SOPS 60585 HAS SOUS 34289 HAS SOUPS 33878 WITH SCORE 33939.054
AT ITER 1442 NEW BEST:: SOT 100227 SOS 60984 HAS SOPS 60515 HAS SOUS 34219 HAS SOUPS 33808 WITH SCORE 33868.984
AT ITER 1453 NEW BEST:: SOT 100186 SOS 60861 HAS SOPS 60392 HAS SOUS 34137 HAS SOUPS 33726 WITH SCORE 33786.861
AT ITER 1454 NEW BEST:: SOT 100152 SOS 60822 HAS SOPS 60353 HAS SOUS 34121 HAS SOUPS 33710 WITH SCORE 33770.822
AT ITER 1461 NEW BEST:: SOT 100062 SOS 60730 HAS SOPS 60261 HAS SOUS 34030 HAS SOUPS 33619 WITH SCORE 33679.73
AT ITER 1462 NEW BEST:: SOT 100062 SOS 60498 HAS SOPS 60029 HAS SOUS 33914 HAS SOUPS 33503 WITH SCORE 33563.498
AT ITER 1463 NEW BEST:: SOT 100050 SOS 60434 HAS SOPS 59965 HAS SOUS 33902 HAS SOUPS 33491 WITH SCORE 33551.434
AT ITER 1469 NEW BEST:: SOT 100042 SOS 60426 HAS SOPS 59957 HAS SOUS 33896 HAS SOUPS 33485 WITH SCORE 33545.426
AT ITER 1471 NEW BEST:: SOT 100042 SOS 60406 HAS SOPS 59937 HAS SOUS 33876 HAS SOUPS 33465 WITH SCORE 33525.406
AT ITER 1473 NEW BEST:: SOT 99990 SOS 60350 HAS SOPS 59881 HAS SOUS 33824 HAS SOUPS 33413 WITH SCORE 33473.35
AT ITER 1481 NEW BEST:: SOT 99928 SOS 60288 HAS SOPS 59819 HAS SOUS 33720 HAS SOUPS 33309 WITH SCORE 33369.288
AT ITER 1491 NEW BEST:: SOT 100037 SOS 60390 HAS SOPS 59921 HAS SOUS 33672 HAS SOUPS 33261 WITH SCORE 33321.39
AT ITER 1492 NEW BEST:: SOT 100016 SOS 60369 HAS SOPS 59900 HAS SOUS 33651 HAS SOUPS 33240 WITH SCORE 33300.369
AT ITER 1493 NEW BEST:: SOT 99958 SOS 60328 HAS SOPS 59859 HAS SOUS 33610 HAS SOUPS 33199 WITH SCORE 33259.328
AT ITER 1496 NEW BEST:: SOT 99939 SOS 60328 HAS SOPS 59859 HAS SOUS 33591 HAS SOUPS 33180 WITH SCORE 33240.328
AT ITER 1498 NEW BEST:: SOT 99939 SOS 60333 HAS SOPS 59859 HAS SOUS 33591 HAS SOUPS 33175 WITH SCORE 33235.333
AT ITER 1507 NEW BEST:: SOT 99918 SOS 60018 HAS SOPS 59544 HAS SOUS 33404 HAS SOUPS 32988 WITH SCORE 33048.018
AT ITER 1512 NEW BEST:: SOT 99918 SOS 60018 HAS SOPS 59544 HAS SOUS 33402 HAS SOUPS 32986 WITH SCORE 33046.018
AT ITER 1513 NEW BEST:: SOT 99918 SOS 60018 HAS SOPS 59544 HAS SOUS 33395 HAS SOUPS 32979 WITH SCORE 33039.018
AT ITER 1521 NEW BEST:: SOT 99874 SOS 60050 HAS SOPS 59576 HAS SOUS 33378 HAS SOUPS 32962 WITH SCORE 33022.05
AT ITER 1533 NEW BEST:: SOT 99758 SOS 60056 HAS SOPS 59582 HAS SOUS 33371 HAS SOUPS 32955 WITH SCORE 33015.056
AT ITER 1540 NEW BEST:: SOT 99757 SOS 60049 HAS SOPS 59566 HAS SOUS 33370 HAS SOUPS 32945 WITH SCORE 33005.049
AT ITER 1541 NEW BEST:: SOT 99732 SOS 60024 HAS SOPS 59541 HAS SOUS 33285 HAS SOUPS 32860 WITH SCORE 32920.024
AT ITER 1561 NEW BEST:: SOT 99714 SOS 59924 HAS SOPS 59441 HAS SOUS 33281 HAS SOUPS 32856 WITH SCORE 32915.924
AT ITER 1566 NEW BEST:: SOT 99680 SOS 59866 HAS SOPS 59407 HAS SOUS 33247 HAS SOUPS 32846 WITH SCORE 32905.866
AT ITER 1570 NEW BEST:: SOT 99680 SOS 59886 HAS SOPS 59427 HAS SOUS 33235 HAS SOUPS 32834 WITH SCORE 32893.886
AT ITER 1572 NEW BEST:: SOT 99644 SOS 59740 HAS SOPS 59281 HAS SOUS 33180 HAS SOUPS 32779 WITH SCORE 32838.74
AT ITER 1573 NEW BEST:: SOT 99668 SOS 59764 HAS SOPS 59305 HAS SOUS 33150 HAS SOUPS 32749 WITH SCORE 32808.764
AT ITER 1577 NEW BEST:: SOT 99668 SOS 59796 HAS SOPS 59337 HAS SOUS 33141 HAS SOUPS 32740 WITH SCORE 32799.796
AT ITER 1579 NEW BEST:: SOT 99648 SOS 59776 HAS SOPS 59317 HAS SOUS 33132 HAS SOUPS 32731 WITH SCORE 32790.776
AT ITER 1582 NEW BEST:: SOT 99637 SOS 59720 HAS SOPS 59261 HAS SOUS 33100 HAS SOUPS 32699 WITH SCORE 32758.72
AT ITER 1593 NEW BEST:: SOT 99649 SOS 59627 HAS SOPS 59168 HAS SOUS 33077 HAS SOUPS 32676 WITH SCORE 32735.627
AT ITER 1606 NEW BEST:: SOT 99725 SOS 59706 HAS SOPS 59247 HAS SOUS 33032 HAS SOUPS 32631 WITH SCORE 32690.706
AT ITER 1607 NEW BEST:: SOT 99725 SOS 59682 HAS SOPS 59223 HAS SOUS 33016 HAS SOUPS 32615 WITH SCORE 32674.682
AT ITER 1614 NEW BEST:: SOT 99709 SOS 59666 HAS SOPS 59207 HAS SOUS 32996 HAS SOUPS 32595 WITH SCORE 32654.666
AT ITER 1623 NEW BEST:: SOT 99709 SOS 59798 HAS SOPS 59339 HAS SOUS 32982 HAS SOUPS 32581 WITH SCORE 32640.798
AT ITER 1631 NEW BEST:: SOT 99709 SOS 59798 HAS SOPS 59339 HAS SOUS 32972 HAS SOUPS 32571 WITH SCORE 32630.798
AT ITER 1636 NEW BEST:: SOT 99540 SOS 59689 HAS SOPS 59170 HAS SOUS 32752 HAS SOUPS 32291 WITH SCORE 32350.689
AT ITER 1645 NEW BEST:: SOT 99582 SOS 59471 HAS SOPS 58952 HAS SOUS 32672 HAS SOUPS 32211 WITH SCORE 32270.471
AT ITER 1647 NEW BEST:: SOT 99585 SOS 59079 HAS SOPS 58560 HAS SOUS 32632 HAS SOUPS 32171 WITH SCORE 32230.079
AT ITER 1649 NEW BEST:: SOT 99520 SOS 59068 HAS SOPS 58549 HAS SOUS 32603 HAS SOUPS 32142 WITH SCORE 32201.068
AT ITER 1655 NEW BEST:: SOT 99457 SOS 58725 HAS SOPS 58206 HAS SOUS 32447 HAS SOUPS 31986 WITH SCORE 32044.725
AT ITER 1658 NEW BEST:: SOT 99520 SOS 58716 HAS SOPS 58197 HAS SOUS 32438 HAS SOUPS 31977 WITH SCORE 32035.716
AT ITER 1665 NEW BEST:: SOT 99367 SOS 58752 HAS SOPS 58233 HAS SOUS 32411 HAS SOUPS 31950 WITH SCORE 32008.752
AT ITER 1666 NEW BEST:: SOT 99373 SOS 58798 HAS SOPS 58279 HAS SOUS 32407 HAS SOUPS 31946 WITH SCORE 32004.798
AT ITER 1673 NEW BEST:: SOT 99401 SOS 58614 HAS SOPS 58095 HAS SOUS 32394 HAS SOUPS 31933 WITH SCORE 31991.614
AT ITER 1674 NEW BEST:: SOT 99113 SOS 58186 HAS SOPS 57667 HAS SOUS 32298 HAS SOUPS 31837 WITH SCORE 31895.186
AT ITER 1677 NEW BEST:: SOT 99028 SOS 58253 HAS SOPS 57734 HAS SOUS 32274 HAS SOUPS 31813 WITH SCORE 31871.253
AT ITER 1683 NEW BEST:: SOT 99028 SOS 58241 HAS SOPS 57722 HAS SOUS 32274 HAS SOUPS 31813 WITH SCORE 31871.241
AT ITER 1687 NEW BEST:: SOT 98998 SOS 58230 HAS SOPS 57749 HAS SOUS 32158 HAS SOUPS 31735 WITH SCORE 31793.23
AT ITER 1688 NEW BEST:: SOT 98986 SOS 58194 HAS SOPS 57713 HAS SOUS 32146 HAS SOUPS 31723 WITH SCORE 31781.194
AT ITER 1692 NEW BEST:: SOT 98986 SOS 58194 HAS SOPS 57713 HAS SOUS 32106 HAS SOUPS 31683 WITH SCORE 31741.194
AT ITER 1693 NEW BEST:: SOT 98991 SOS 58191 HAS SOPS 57710 HAS SOUS 32103 HAS SOUPS 31680 WITH SCORE 31738.191
AT ITER 1704 NEW BEST:: SOT 99077 SOS 58212 HAS SOPS 57680 HAS SOUS 32115 HAS SOUPS 31641 WITH SCORE 31699.212
AT ITER 1705 NEW BEST:: SOT 99074 SOS 58209 HAS SOPS 57677 HAS SOUS 32113 HAS SOUPS 31639 WITH SCORE 31697.209
AT ITER 1707 NEW BEST:: SOT 99056 SOS 57841 HAS SOPS 57283 HAS SOUS 32014 HAS SOUPS 31540 WITH SCORE 31597.841
AT ITER 1713 NEW BEST:: SOT 99024 SOS 57809 HAS SOPS 57251 HAS SOUS 31982 HAS SOUPS 31508 WITH SCORE 31565.809
AT ITER 1731 NEW BEST:: SOT 99147 SOS 57766 HAS SOPS 57208 HAS SOUS 31885 HAS SOUPS 31411 WITH SCORE 31468.766
AT ITER 1733 NEW BEST:: SOT 99071 SOS 57874 HAS SOPS 57351 HAS SOUS 31844 HAS SOUPS 31405 WITH SCORE 31462.874
AT ITER 1744 NEW BEST:: SOT 99023 SOS 57826 HAS SOPS 57303 HAS SOUS 31821 HAS SOUPS 31382 WITH SCORE 31439.826
AT ITER 1752 NEW BEST:: SOT 98976 SOS 57690 HAS SOPS 57167 HAS SOUS 31786 HAS SOUPS 31347 WITH SCORE 31404.69
AT ITER 1754 NEW BEST:: SOT 99011 SOS 57689 HAS SOPS 57130 HAS SOUS 31785 HAS SOUPS 31310 WITH SCORE 31367.689
AT ITER 1757 NEW BEST:: SOT 98875 SOS 57635 HAS SOPS 57076 HAS SOUS 31700 HAS SOUPS 31225 WITH SCORE 31282.635
AT ITER 1758 NEW BEST:: SOT 98852 SOS 57636 HAS SOPS 57077 HAS SOUS 31661 HAS SOUPS 31186 WITH SCORE 31243.636
AT ITER 1771 NEW BEST:: SOT 98888 SOS 57672 HAS SOPS 57113 HAS SOUS 31633 HAS SOUPS 31158 WITH SCORE 31215.672
AT ITER 1773 NEW BEST:: SOT 98897 SOS 57641 HAS SOPS 57082 HAS SOUS 31613 HAS SOUPS 31138 WITH SCORE 31195.641
AT ITER 1775 NEW BEST:: SOT 98852 SOS 57594 HAS SOPS 57035 HAS SOUS 31554 HAS SOUPS 31079 WITH SCORE 31136.594
AT ITER 1776 NEW BEST:: SOT 98768 SOS 57510 HAS SOPS 56951 HAS SOUS 31458 HAS SOUPS 30983 WITH SCORE 31040.51
AT ITER 1794 NEW BEST:: SOT 98768 SOS 57510 HAS SOPS 56924 HAS SOUS 31458 HAS SOUPS 30956 WITH SCORE 31013.51
AT ITER 1797 NEW BEST:: SOT 98744 SOS 57498 HAS SOPS 56912 HAS SOUS 31432 HAS SOUPS 30930 WITH SCORE 30987.498
AT ITER 1813 NEW BEST:: SOT 98744 SOS 57487 HAS SOPS 56901 HAS SOUS 31432 HAS SOUPS 30930 WITH SCORE 30987.487
AT ITER 1816 NEW BEST:: SOT 98672 SOS 57415 HAS SOPS 56829 HAS SOUS 31400 HAS SOUPS 30898 WITH SCORE 30955.415
AT ITER 1821 NEW BEST:: SOT 98672 SOS 57407 HAS SOPS 56821 HAS SOUS 31400 HAS SOUPS 30898 WITH SCORE 30955.407
AT ITER 1835 NEW BEST:: SOT 98667 SOS 57382 HAS SOPS 56796 HAS SOUS 31395 HAS SOUPS 30893 WITH SCORE 30950.382
AT ITER 1839 NEW BEST:: SOT 98602 SOS 57317 HAS SOPS 56731 HAS SOUS 31392 HAS SOUPS 30890 WITH SCORE 30947.317
AT ITER 1857 NEW BEST:: SOT 98600 SOS 57315 HAS SOPS 56729 HAS SOUS 31390 HAS SOUPS 30888 WITH SCORE 30945.315
AT ITER 1870 NEW BEST:: SOT 98574 SOS 57298 HAS SOPS 56712 HAS SOUS 31382 HAS SOUPS 30880 WITH SCORE 30937.298
AT ITER 1871 NEW BEST:: SOT 98523 SOS 57247 HAS SOPS 56661 HAS SOUS 31230 HAS SOUPS 30728 WITH SCORE 30785.247
AT ITER 1872 NEW BEST:: SOT 98543 SOS 57138 HAS SOPS 56531 HAS SOUS 31187 HAS SOUPS 30685 WITH SCORE 30742.138
AT ITER 1873 NEW BEST:: SOT 98309 SOS 56695 HAS SOPS 56088 HAS SOUS 30965 HAS SOUPS 30463 WITH SCORE 30519.695
AT ITER 1878 NEW BEST:: SOT 98314 SOS 56700 HAS SOPS 56093 HAS SOUS 30856 HAS SOUPS 30354 WITH SCORE 30410.7
AT ITER 1887 NEW BEST:: SOT 98314 SOS 56667 HAS SOPS 56060 HAS SOUS 30845 HAS SOUPS 30343 WITH SCORE 30399.667
AT ITER 1899 NEW BEST:: SOT 98244 SOS 56546 HAS SOPS 55939 HAS SOUS 30845 HAS SOUPS 30343 WITH SCORE 30399.546
AT ITER 1900 NEW BEST:: SOT 98204 SOS 56599 HAS SOPS 55992 HAS SOUS 30689 HAS SOUPS 30187 WITH SCORE 30243.599
AT ITER 1905 NEW BEST:: SOT 98245 SOS 56640 HAS SOPS 56033 HAS SOUS 30688 HAS SOUPS 30186 WITH SCORE 30242.64
AT ITER 1919 NEW BEST:: SOT 98245 SOS 56614 HAS SOPS 56001 HAS SOUS 30674 HAS SOUPS 30172 WITH SCORE 30228.614
AT ITER 1925 NEW BEST:: SOT 98112 SOS 56341 HAS SOPS 55868 HAS SOUS 30548 HAS SOUPS 30129 WITH SCORE 30185.341
AT ITER 1929 NEW BEST:: SOT 98058 SOS 56287 HAS SOPS 55814 HAS SOUS 30494 HAS SOUPS 30075 WITH SCORE 30131.287
AT ITER 1930 NEW BEST:: SOT 98058 SOS 56194 HAS SOPS 55721 HAS SOUS 30490 HAS SOUPS 30071 WITH SCORE 30127.194
AT ITER 1937 NEW BEST:: SOT 97899 SOS 55892 HAS SOPS 55419 HAS SOUS 30349 HAS SOUPS 29930 WITH SCORE 29985.892
AT ITER 1941 NEW BEST:: SOT 97898 SOS 55887 HAS SOPS 55414 HAS SOUS 30348 HAS SOUPS 29929 WITH SCORE 29984.887
AT ITER 1943 NEW BEST:: SOT 97891 SOS 55880 HAS SOPS 55407 HAS SOUS 30338 HAS SOUPS 29919 WITH SCORE 29974.88
AT ITER 1958 NEW BEST:: SOT 97940 SOS 55929 HAS SOPS 55456 HAS SOUS 30297 HAS SOUPS 29878 WITH SCORE 29933.929
AT ITER 1969 NEW BEST:: SOT 97944 SOS 55944 HAS SOPS 55471 HAS SOUS 30287 HAS SOUPS 29868 WITH SCORE 29923.944
AT ITER 2010 NEW BEST:: SOT 97908 SOS 55944 HAS SOPS 55471 HAS SOUS 30261 HAS SOUPS 29842 WITH SCORE 29897.944
AT ITER 2014 NEW BEST:: SOT 97893 SOS 55946 HAS SOPS 55473 HAS SOUS 30229 HAS SOUPS 29810 WITH SCORE 29865.946
AT ITER 2029 NEW BEST:: SOT 97893 SOS 55960 HAS SOPS 55487 HAS SOUS 30219 HAS SOUPS 29800 WITH SCORE 29855.96
AT ITER 2032 NEW BEST:: SOT 97893 SOS 55960 HAS SOPS 55487 HAS SOUS 30209 HAS SOUPS 29790 WITH SCORE 29845.96
AT ITER 2042 NEW BEST:: SOT 97874 SOS 55931 HAS SOPS 55468 HAS SOUS 30170 HAS SOUPS 29761 WITH SCORE 29816.931
AT ITER 2063 NEW BEST:: SOT 97858 SOS 55558 HAS SOPS 55095 HAS SOUS 30154 HAS SOUPS 29745 WITH SCORE 29800.558
AT ITER 2064 NEW BEST:: SOT 97824 SOS 55516 HAS SOPS 55053 HAS SOUS 30103 HAS SOUPS 29694 WITH SCORE 29749.516
AT ITER 2081 NEW BEST:: SOT 97824 SOS 55502 HAS SOPS 55035 HAS SOUS 30098 HAS SOUPS 29689 WITH SCORE 29744.502
AT ITER 2083 NEW BEST:: SOT 97824 SOS 55485 HAS SOPS 55018 HAS SOUS 30081 HAS SOUPS 29672 WITH SCORE 29727.485
AT ITER 2102 NEW BEST:: SOT 97670 SOS 54863 HAS SOPS 54396 HAS SOUS 30075 HAS SOUPS 29666 WITH SCORE 29720.863
AT ITER 2108 NEW BEST:: SOT 97614 SOS 54729 HAS SOPS 54262 HAS SOUS 30017 HAS SOUPS 29608 WITH SCORE 29662.729
AT ITER 2115 NEW BEST:: SOT 97634 SOS 54722 HAS SOPS 54255 HAS SOUS 29983 HAS SOUPS 29574 WITH SCORE 29628.722
AT ITER 2126 NEW BEST:: SOT 97632 SOS 54720 HAS SOPS 54253 HAS SOUS 29981 HAS SOUPS 29572 WITH SCORE 29626.72
AT ITER 2129 NEW BEST:: SOT 97622 SOS 54690 HAS SOPS 54223 HAS SOUS 29971 HAS SOUPS 29562 WITH SCORE 29616.69
AT ITER 2131 NEW BEST:: SOT 97580 SOS 54648 HAS SOPS 54181 HAS SOUS 29893 HAS SOUPS 29484 WITH SCORE 29538.648
AT ITER 2135 NEW BEST:: SOT 97535 SOS 54529 HAS SOPS 54062 HAS SOUS 29808 HAS SOUPS 29399 WITH SCORE 29453.529
AT ITER 2142 NEW BEST:: SOT 97535 SOS 54542 HAS SOPS 54075 HAS SOUS 29673 HAS SOUPS 29264 WITH SCORE 29318.542
AT ITER 2150 NEW BEST:: SOT 97531 SOS 54291 HAS SOPS 53824 HAS SOUS 29563 HAS SOUPS 29154 WITH SCORE 29208.291
AT ITER 2156 NEW BEST:: SOT 97506 SOS 53846 HAS SOPS 53379 HAS SOUS 29538 HAS SOUPS 29129 WITH SCORE 29182.846
AT ITER 2168 NEW BEST:: SOT 97407 SOS 53810 HAS SOPS 53343 HAS SOUS 29488 HAS SOUPS 29079 WITH SCORE 29132.81
AT ITER 2181 NEW BEST:: SOT 97349 SOS 53752 HAS SOPS 53285 HAS SOUS 29466 HAS SOUPS 29057 WITH SCORE 29110.752
AT ITER 2192 NEW BEST:: SOT 97275 SOS 53547 HAS SOPS 53080 HAS SOUS 29448 HAS SOUPS 29039 WITH SCORE 29092.547
AT ITER 2193 NEW BEST:: SOT 97215 SOS 53470 HAS SOPS 52990 HAS SOUS 29373 HAS SOUPS 28951 WITH SCORE 29004.47
AT ITER 2196 NEW BEST:: SOT 97169 SOS 53424 HAS SOPS 52944 HAS SOUS 29318 HAS SOUPS 28896 WITH SCORE 28949.424
AT ITER 2209 NEW BEST:: SOT 97133 SOS 53350 HAS SOPS 52870 HAS SOUS 29244 HAS SOUPS 28822 WITH SCORE 28875.35
AT ITER 2216 NEW BEST:: SOT 97102 SOS 53317 HAS SOPS 52837 HAS SOUS 29238 HAS SOUPS 28816 WITH SCORE 28869.317
AT ITER 2217 NEW BEST:: SOT 97115 SOS 53302 HAS SOPS 52822 HAS SOUS 29212 HAS SOUPS 28790 WITH SCORE 28843.302
AT ITER 2236 NEW BEST:: SOT 97114 SOS 53135 HAS SOPS 52537 HAS SOUS 29172 HAS SOUPS 28671 WITH SCORE 28724.135
AT ITER 2248 NEW BEST:: SOT 97128 SOS 53151 HAS SOPS 52553 HAS SOUS 29131 HAS SOUPS 28630 WITH SCORE 28683.151
AT ITER 2266 NEW BEST:: SOT 97218 SOS 53241 HAS SOPS 52643 HAS SOUS 29058 HAS SOUPS 28557 WITH SCORE 28610.241
AT ITER 2268 NEW BEST:: SOT 97137 SOS 52864 HAS SOPS 52266 HAS SOUS 28924 HAS SOUPS 28423 WITH SCORE 28475.864
AT ITER 2284 NEW BEST:: SOT 97152 SOS 52879 HAS SOPS 52281 HAS SOUS 28923 HAS SOUPS 28422 WITH SCORE 28474.879
AT ITER 2290 NEW BEST:: SOT 97068 SOS 52795 HAS SOPS 52197 HAS SOUS 28818 HAS SOUPS 28317 WITH SCORE 28369.795
AT ITER 2295 NEW BEST:: SOT 97068 SOS 52820 HAS SOPS 52222 HAS SOUS 28793 HAS SOUPS 28292 WITH SCORE 28344.82
AT ITER 2299 NEW BEST:: SOT 97039 SOS 52704 HAS SOPS 52106 HAS SOUS 28793 HAS SOUPS 28292 WITH SCORE 28344.704
AT ITER 2307 NEW BEST:: SOT 96995 SOS 52704 HAS SOPS 52106 HAS SOUS 28771 HAS SOUPS 28270 WITH SCORE 28322.704
AT ITER 2315 NEW BEST:: SOT 96982 SOS 52566 HAS SOPS 51968 HAS SOUS 28769 HAS SOUPS 28268 WITH SCORE 28320.566
AT ITER 2324 NEW BEST:: SOT 96864 SOS 52448 HAS SOPS 51850 HAS SOUS 28653 HAS SOUPS 28152 WITH SCORE 28204.448
AT ITER 2326 NEW BEST:: SOT 96779 SOS 52286 HAS SOPS 51688 HAS SOUS 28593 HAS SOUPS 28092 WITH SCORE 28144.286
AT ITER 2334 NEW BEST:: SOT 96807 SOS 52314 HAS SOPS 51716 HAS SOUS 28549 HAS SOUPS 28048 WITH SCORE 28100.314
AT ITER 2355 NEW BEST:: SOT 96777 SOS 52022 HAS SOPS 51424 HAS SOUS 28458 HAS SOUPS 27957 WITH SCORE 28009.022
AT ITER 2367 NEW BEST:: SOT 96777 SOS 52022 HAS SOPS 51424 HAS SOUS 28452 HAS SOUPS 27951 WITH SCORE 28003.022
AT ITER 2370 NEW BEST:: SOT 96759 SOS 51927 HAS SOPS 51329 HAS SOUS 28425 HAS SOUPS 27924 WITH SCORE 27975.927
AT ITER 2374 NEW BEST:: SOT 96759 SOS 51783 HAS SOPS 51185 HAS SOUS 28386 HAS SOUPS 27885 WITH SCORE 27936.783
AT ITER 2385 NEW BEST:: SOT 96759 SOS 51783 HAS SOPS 51185 HAS SOUS 28366 HAS SOUPS 27865 WITH SCORE 27916.783
AT ITER 2397 NEW BEST:: SOT 96839 SOS 51863 HAS SOPS 51265 HAS SOUS 28336 HAS SOUPS 27835 WITH SCORE 27886.863
AT ITER 2409 NEW BEST:: SOT 96833 SOS 51954 HAS SOPS 51356 HAS SOUS 28330 HAS SOUPS 27829 WITH SCORE 27880.954
AT ITER 2413 NEW BEST:: SOT 96830 SOS 51939 HAS SOPS 51341 HAS SOUS 28327 HAS SOUPS 27826 WITH SCORE 27877.939
AT ITER 2418 NEW BEST:: SOT 96802 SOS 51911 HAS SOPS 51313 HAS SOUS 28319 HAS SOUPS 27818 WITH SCORE 27869.911
AT ITER 2432 NEW BEST:: SOT 96732 SOS 51843 HAS SOPS 51246 HAS SOUS 28286 HAS SOUPS 27786 WITH SCORE 27837.843
AT ITER 2438 NEW BEST:: SOT 96732 SOS 51843 HAS SOPS 51246 HAS SOUS 28280 HAS SOUPS 27780 WITH SCORE 27831.843
AT ITER 2439 NEW BEST:: SOT 96718 SOS 51839 HAS SOPS 51242 HAS SOUS 28277 HAS SOUPS 27777 WITH SCORE 27828.839
AT ITER 2444 NEW BEST:: SOT 96626 SOS 51747 HAS SOPS 51150 HAS SOUS 28178 HAS SOUPS 27678 WITH SCORE 27729.747
AT ITER 2446 NEW BEST:: SOT 96541 SOS 51663 HAS SOPS 51066 HAS SOUS 28111 HAS SOUPS 27611 WITH SCORE 27662.663
AT ITER 2456 NEW BEST:: SOT 96537 SOS 51671 HAS SOPS 51038 HAS SOUS 28132 HAS SOUPS 27600 WITH SCORE 27651.671
AT ITER 2459 NEW BEST:: SOT 96533 SOS 51667 HAS SOPS 51034 HAS SOUS 28124 HAS SOUPS 27592 WITH SCORE 27643.667
AT ITER 2466 NEW BEST:: SOT 96503 SOS 51793 HAS SOPS 51160 HAS SOUS 28067 HAS SOUPS 27535 WITH SCORE 27586.793
AT ITER 2469 NEW BEST:: SOT 96507 SOS 51734 HAS SOPS 51101 HAS SOUS 28030 HAS SOUPS 27498 WITH SCORE 27549.734
AT ITER 2483 NEW BEST:: SOT 96477 SOS 51664 HAS SOPS 51071 HAS SOUS 27973 HAS SOUPS 27461 WITH SCORE 27512.664
AT ITER 2488 NEW BEST:: SOT 96391 SOS 51677 HAS SOPS 51084 HAS SOUS 27940 HAS SOUPS 27428 WITH SCORE 27479.677
AT ITER 2511 NEW BEST:: SOT 96343 SOS 51579 HAS SOPS 50986 HAS SOUS 27867 HAS SOUPS 27355 WITH SCORE 27406.579
AT ITER 2524 NEW BEST:: SOT 96275 SOS 51511 HAS SOPS 50918 HAS SOUS 27799 HAS SOUPS 27287 WITH SCORE 27338.511
AT ITER 2541 NEW BEST:: SOT 96216 SOS 51527 HAS SOPS 50946 HAS SOUS 27778 HAS SOUPS 27274 WITH SCORE 27325.527
AT ITER 2544 NEW BEST:: SOT 96194 SOS 51505 HAS SOPS 50924 HAS SOUS 27742 HAS SOUPS 27238 WITH SCORE 27289.505
AT ITER 2548 NEW BEST:: SOT 96183 SOS 51483 HAS SOPS 50902 HAS SOUS 27742 HAS SOUPS 27238 WITH SCORE 27289.483
AT ITER 2550 NEW BEST:: SOT 96145 SOS 51407 HAS SOPS 50826 HAS SOUS 27666 HAS SOUPS 27162 WITH SCORE 27213.407
AT ITER 2551 NEW BEST:: SOT 96118 SOS 51350 HAS SOPS 50769 HAS SOUS 27639 HAS SOUPS 27135 WITH SCORE 27186.35
AT ITER 2600 NEW BEST:: SOT 96096 SOS 51370 HAS SOPS 50747 HAS SOUS 27659 HAS SOUPS 27120 WITH SCORE 27171.37
AT ITER 2602 NEW BEST:: SOT 96056 SOS 51370 HAS SOPS 50747 HAS SOUS 27579 HAS SOUPS 27040 WITH SCORE 27091.37
AT ITER 2608 NEW BEST:: SOT 96056 SOS 51356 HAS SOPS 50733 HAS SOUS 27575 HAS SOUPS 27036 WITH SCORE 27087.356
AT ITER 2625 NEW BEST:: SOT 95959 SOS 51052 HAS SOPS 50429 HAS SOUS 27552 HAS SOUPS 27013 WITH SCORE 27064.052
AT ITER 2639 NEW BEST:: SOT 95869 SOS 50962 HAS SOPS 50339 HAS SOUS 27372 HAS SOUPS 26833 WITH SCORE 26883.962
AT ITER 2641 NEW BEST:: SOT 95845 SOS 50938 HAS SOPS 50315 HAS SOUS 27348 HAS SOUPS 26809 WITH SCORE 26859.938
AT ITER 2644 NEW BEST:: SOT 95778 SOS 51072 HAS SOPS 50449 HAS SOUS 27323 HAS SOUPS 26784 WITH SCORE 26835.072
AT ITER 2647 NEW BEST:: SOT 95810 SOS 51104 HAS SOPS 50481 HAS SOUS 27301 HAS SOUPS 26762 WITH SCORE 26813.104
AT ITER 2661 NEW BEST:: SOT 95800 SOS 51104 HAS SOPS 50481 HAS SOUS 27291 HAS SOUPS 26752 WITH SCORE 26803.104
AT ITER 2665 NEW BEST:: SOT 95849 SOS 51123 HAS SOPS 50500 HAS SOUS 27265 HAS SOUPS 26726 WITH SCORE 26777.123
AT ITER 2670 NEW BEST:: SOT 96201 SOS 51475 HAS SOPS 50852 HAS SOUS 27263 HAS SOUPS 26724 WITH SCORE 26775.475
AT ITER 2693 NEW BEST:: SOT 96201 SOS 51409 HAS SOPS 50786 HAS SOUS 27263 HAS SOUPS 26724 WITH SCORE 26775.409
AT ITER 2697 NEW BEST:: SOT 96185 SOS 51397 HAS SOPS 50778 HAS SOUS 27243 HAS SOUPS 26708 WITH SCORE 26759.397
AT ITER 2701 NEW BEST:: SOT 96179 SOS 51394 HAS SOPS 50775 HAS SOUS 27231 HAS SOUPS 26696 WITH SCORE 26747.394
AT ITER 2713 NEW BEST:: SOT 96085 SOS 50824 HAS SOPS 50205 HAS SOUS 27053 HAS SOUPS 26518 WITH SCORE 26568.824
AT ITER 2716 NEW BEST:: SOT 95956 SOS 50891 HAS SOPS 50272 HAS SOUS 27022 HAS SOUPS 26487 WITH SCORE 26537.891
AT ITER 2726 NEW BEST:: SOT 95942 SOS 50747 HAS SOPS 50128 HAS SOUS 26988 HAS SOUPS 26453 WITH SCORE 26503.747
AT ITER 2730 NEW BEST:: SOT 95868 SOS 50226 HAS SOPS 49607 HAS SOUS 26871 HAS SOUPS 26336 WITH SCORE 26386.226
AT ITER 2748 NEW BEST:: SOT 95868 SOS 50226 HAS SOPS 49607 HAS SOUS 26835 HAS SOUPS 26300 WITH SCORE 26350.226
AT ITER 2753 NEW BEST:: SOT 95548 SOS 50064 HAS SOPS 49445 HAS SOUS 26653 HAS SOUPS 26118 WITH SCORE 26168.064
AT ITER 2757 NEW BEST:: SOT 95539 SOS 50052 HAS SOPS 49433 HAS SOUS 26644 HAS SOUPS 26109 WITH SCORE 26159.052
AT ITER 2765 NEW BEST:: SOT 95553 SOS 50066 HAS SOPS 49447 HAS SOUS 26566 HAS SOUPS 26031 WITH SCORE 26081.066
AT ITER 2786 NEW BEST:: SOT 95559 SOS 50198 HAS SOPS 49453 HAS SOUS 26663 HAS SOUPS 26022 WITH SCORE 26072.198
AT ITER 2787 NEW BEST:: SOT 95613 SOS 50048 HAS SOPS 49303 HAS SOUS 26525 HAS SOUPS 25884 WITH SCORE 25934.048
AT ITER 2791 NEW BEST:: SOT 95623 SOS 50058 HAS SOPS 49313 HAS SOUS 26521 HAS SOUPS 25880 WITH SCORE 25930.058
AT ITER 2798 NEW BEST:: SOT 95585 SOS 50058 HAS SOPS 49313 HAS SOUS 26502 HAS SOUPS 25861 WITH SCORE 25911.058
AT ITER 2809 NEW BEST:: SOT 95585 SOS 50046 HAS SOPS 49301 HAS SOUS 26494 HAS SOUPS 25853 WITH SCORE 25903.046
AT ITER 2818 NEW BEST:: SOT 95560 SOS 49997 HAS SOPS 49252 HAS SOUS 26468 HAS SOUPS 25827 WITH SCORE 25876.997
AT ITER 2828 NEW BEST:: SOT 95596 SOS 50033 HAS SOPS 49288 HAS SOUS 26413 HAS SOUPS 25772 WITH SCORE 25822.033
AT ITER 2848 NEW BEST:: SOT 95568 SOS 50023 HAS SOPS 49278 HAS SOUS 26397 HAS SOUPS 25756 WITH SCORE 25806.023
AT ITER 2850 NEW BEST:: SOT 95562 SOS 49999 HAS SOPS 49254 HAS SOUS 26355 HAS SOUPS 25714 WITH SCORE 25763.999
AT ITER 2859 NEW BEST:: SOT 95509 SOS 49946 HAS SOPS 49201 HAS SOUS 26355 HAS SOUPS 25714 WITH SCORE 25763.946
AT ITER 2872 NEW BEST:: SOT 95526 SOS 49993 HAS SOPS 49248 HAS SOUS 26335 HAS SOUPS 25694 WITH SCORE 25743.993
AT ITER 2879 NEW BEST:: SOT 95522 SOS 49926 HAS SOPS 49181 HAS SOUS 26331 HAS SOUPS 25690 WITH SCORE 25739.926
AT ITER 2887 NEW BEST:: SOT 95517 SOS 49921 HAS SOPS 49176 HAS SOUS 26316 HAS SOUPS 25675 WITH SCORE 25724.921
AT ITER 2898 NEW BEST:: SOT 95507 SOS 49895 HAS SOPS 49150 HAS SOUS 26306 HAS SOUPS 25665 WITH SCORE 25714.895
AT ITER 2915 NEW BEST:: SOT 95435 SOS 49786 HAS SOPS 49041 HAS SOUS 26200 HAS SOUPS 25559 WITH SCORE 25608.786
AT ITER 2924 NEW BEST:: SOT 95387 SOS 49738 HAS SOPS 48993 HAS SOUS 26198 HAS SOUPS 25557 WITH SCORE 25606.738
AT ITER 2940 NEW BEST:: SOT 95371 SOS 49594 HAS SOPS 48849 HAS SOUS 26182 HAS SOUPS 25541 WITH SCORE 25590.594
AT ITER 2941 NEW BEST:: SOT 95357 SOS 49580 HAS SOPS 48835 HAS SOUS 26168 HAS SOUPS 25527 WITH SCORE 25576.58
AT ITER 2968 NEW BEST:: SOT 95357 SOS 49580 HAS SOPS 48835 HAS SOUS 26164 HAS SOUPS 25523 WITH SCORE 25572.58
AT ITER 2972 NEW BEST:: SOT 95449 SOS 49617 HAS SOPS 48872 HAS SOUS 26150 HAS SOUPS 25509 WITH SCORE 25558.617
AT ITER 2981 NEW BEST:: SOT 95450 SOS 49618 HAS SOPS 48873 HAS SOUS 26149 HAS SOUPS 25508 WITH SCORE 25557.618
AT ITER 2982 NEW BEST:: SOT 95414 SOS 49554 HAS SOPS 48809 HAS SOUS 26103 HAS SOUPS 25462 WITH SCORE 25511.554
AT ITER 2994 NEW BEST:: SOT 95430 SOS 49546 HAS SOPS 48801 HAS SOUS 26095 HAS SOUPS 25454 WITH SCORE 25503.546
AT ITER 2995 NEW BEST:: SOT 95434 SOS 49544 HAS SOPS 48799 HAS SOUS 26095 HAS SOUPS 25454 WITH SCORE 25503.544
AT ITER 2997 NEW BEST:: SOT 95278 SOS 49263 HAS SOPS 48518 HAS SOUS 25939 HAS SOUPS 25298 WITH SCORE 25347.263
AT ITER 3001 NEW BEST:: SOT 95278 SOS 49262 HAS SOPS 48517 HAS SOUS 25929 HAS SOUPS 25288 WITH SCORE 25337.262
AT ITER 3017 NEW BEST:: SOT 95298 SOS 49215 HAS SOPS 48470 HAS SOUS 25889 HAS SOUPS 25248 WITH SCORE 25297.215
AT ITER 3020 NEW BEST:: SOT 95218 SOS 49121 HAS SOPS 48376 HAS SOUS 25809 HAS SOUPS 25168 WITH SCORE 25217.121
AT ITER 3026 NEW BEST:: SOT 95205 SOS 49120 HAS SOPS 48375 HAS SOUS 25808 HAS SOUPS 25167 WITH SCORE 25216.12
AT ITER 3047 NEW BEST:: SOT 95205 SOS 49154 HAS SOPS 48409 HAS SOUS 25791 HAS SOUPS 25150 WITH SCORE 25199.154
AT ITER 3063 NEW BEST:: SOT 95038 SOS 48716 HAS SOPS 47971 HAS SOUS 25694 HAS SOUPS 25053 WITH SCORE 25101.716
AT ITER 3121 NEW BEST:: SOT 95036 SOS 48690 HAS SOPS 47945 HAS SOUS 25692 HAS SOUPS 25051 WITH SCORE 25099.69
AT ITER 3126 NEW BEST:: SOT 94995 SOS 48664 HAS SOPS 47919 HAS SOUS 25666 HAS SOUPS 25025 WITH SCORE 25073.664
AT ITER 3129 NEW BEST:: SOT 95006 SOS 48636 HAS SOPS 47891 HAS SOUS 25601 HAS SOUPS 24960 WITH SCORE 25008.636
AT ITER 3134 NEW BEST:: SOT 94940 SOS 48603 HAS SOPS 47858 HAS SOUS 25597 HAS SOUPS 24956 WITH SCORE 25004.603
AT ITER 3177 NEW BEST:: SOT 94923 SOS 48420 HAS SOPS 47658 HAS SOUS 25580 HAS SOUPS 24922 WITH SCORE 24970.42
AT ITER 3183 NEW BEST:: SOT 94883 SOS 48142 HAS SOPS 47380 HAS SOUS 25470 HAS SOUPS 24812 WITH SCORE 24860.142
AT ITER 3193 NEW BEST:: SOT 94839 SOS 48098 HAS SOPS 47336 HAS SOUS 25385 HAS SOUPS 24727 WITH SCORE 24775.098
AT ITER 3200 NEW BEST:: SOT 94839 SOS 48098 HAS SOPS 47334 HAS SOUS 25385 HAS SOUPS 24725 WITH SCORE 24773.098
AT ITER 3235 NEW BEST:: SOT 94804 SOS 48063 HAS SOPS 47299 HAS SOUS 25350 HAS SOUPS 24690 WITH SCORE 24738.063
AT ITER 3242 NEW BEST:: SOT 94742 SOS 48001 HAS SOPS 47237 HAS SOUS 25312 HAS SOUPS 24652 WITH SCORE 24700.001
AT ITER 3251 NEW BEST:: SOT 94742 SOS 48001 HAS SOPS 47237 HAS SOUS 25298 HAS SOUPS 24638 WITH SCORE 24686.001
AT ITER 3256 NEW BEST:: SOT 94754 SOS 47972 HAS SOPS 47208 HAS SOUS 25263 HAS SOUPS 24603 WITH SCORE 24650.972
AT ITER 3268 NEW BEST:: SOT 94816 SOS 48034 HAS SOPS 47270 HAS SOUS 25252 HAS SOUPS 24592 WITH SCORE 24640.034
AT ITER 3276 NEW BEST:: SOT 94554 SOS 48424 HAS SOPS 47660 HAS SOUS 25168 HAS SOUPS 24508 WITH SCORE 24556.424
AT ITER 3299 NEW BEST:: SOT 94465 SOS 48068 HAS SOPS 47304 HAS SOUS 25058 HAS SOUPS 24398 WITH SCORE 24446.068
AT ITER 3310 NEW BEST:: SOT 94465 SOS 48050 HAS SOPS 47286 HAS SOUS 25058 HAS SOUPS 24398 WITH SCORE 24446.05
AT ITER 3319 NEW BEST:: SOT 94454 SOS 48043 HAS SOPS 47279 HAS SOUS 25012 HAS SOUPS 24352 WITH SCORE 24400.043
AT ITER 3325 NEW BEST:: SOT 94400 SOS 48013 HAS SOPS 47249 HAS SOUS 24987 HAS SOUPS 24327 WITH SCORE 24375.013
AT ITER 3337 NEW BEST:: SOT 94382 SOS 47865 HAS SOPS 47101 HAS SOUS 24956 HAS SOUPS 24296 WITH SCORE 24343.865
AT ITER 3351 NEW BEST:: SOT 94382 SOS 47841 HAS SOPS 47077 HAS SOUS 24956 HAS SOUPS 24296 WITH SCORE 24343.841
AT ITER 3355 NEW BEST:: SOT 94385 SOS 47829 HAS SOPS 47065 HAS SOUS 24929 HAS SOUPS 24269 WITH SCORE 24316.829
AT ITER 3362 NEW BEST:: SOT 94322 SOS 47723 HAS SOPS 46959 HAS SOUS 24913 HAS SOUPS 24253 WITH SCORE 24300.723
AT ITER 3378 NEW BEST:: SOT 94323 SOS 46937 HAS SOPS 46170 HAS SOUS 24872 HAS SOUPS 24210 WITH SCORE 24256.937
AT ITER 3393 NEW BEST:: SOT 94327 SOS 46936 HAS SOPS 46169 HAS SOUS 24858 HAS SOUPS 24196 WITH SCORE 24242.936
AT ITER 3398 NEW BEST:: SOT 94339 SOS 47004 HAS SOPS 46181 HAS SOUS 24901 HAS SOUPS 24183 WITH SCORE 24230.004
AT ITER 3410 NEW BEST:: SOT 94343 SOS 46993 HAS SOPS 46170 HAS SOUS 24891 HAS SOUPS 24173 WITH SCORE 24219.993
AT ITER 3424 NEW BEST:: SOT 94280 SOS 47464 HAS SOPS 46641 HAS SOUS 24879 HAS SOUPS 24161 WITH SCORE 24208.464
AT ITER 3431 NEW BEST:: SOT 94258 SOS 47405 HAS SOPS 46582 HAS SOUS 24813 HAS SOUPS 24095 WITH SCORE 24142.405
AT ITER 3446 NEW BEST:: SOT 94208 SOS 47328 HAS SOPS 46505 HAS SOUS 24763 HAS SOUPS 24045 WITH SCORE 24092.328
AT ITER 3479 NEW BEST:: SOT 94208 SOS 47289 HAS SOPS 46466 HAS SOUS 24763 HAS SOUPS 24045 WITH SCORE 24092.289
AT ITER 3484 NEW BEST:: SOT 94207 SOS 47355 HAS SOPS 46513 HAS SOUS 24761 HAS SOUPS 24044 WITH SCORE 24091.355
AT ITER 3489 NEW BEST:: SOT 94155 SOS 47320 HAS SOPS 46478 HAS SOUS 24761 HAS SOUPS 24044 WITH SCORE 24091.32
AT ITER 3501 NEW BEST:: SOT 94170 SOS 47364 HAS SOPS 46478 HAS SOUS 24762 HAS SOUPS 24030 WITH SCORE 24077.364
AT ITER 3503 NEW BEST:: SOT 94158 SOS 47352 HAS SOPS 46466 HAS SOUS 24750 HAS SOUPS 24018 WITH SCORE 24065.352
AT ITER 3558 NEW BEST:: SOT 94206 SOS 47349 HAS SOPS 46463 HAS SOUS 24747 HAS SOUPS 24015 WITH SCORE 24062.349
AT ITER 3561 NEW BEST:: SOT 94197 SOS 47340 HAS SOPS 46454 HAS SOUS 24734 HAS SOUPS 24002 WITH SCORE 24049.34
AT ITER 3578 NEW BEST:: SOT 94185 SOS 47328 HAS SOPS 46442 HAS SOUS 24722 HAS SOUPS 23990 WITH SCORE 24037.328
AT ITER 3588 NEW BEST:: SOT 94160 SOS 47259 HAS SOPS 46373 HAS SOUS 24681 HAS SOUPS 23949 WITH SCORE 23996.259
AT ITER 3593 NEW BEST:: SOT 94152 SOS 47243 HAS SOPS 46357 HAS SOUS 24681 HAS SOUPS 23949 WITH SCORE 23996.243
AT ITER 3594 NEW BEST:: SOT 94106 SOS 47197 HAS SOPS 46311 HAS SOUS 24658 HAS SOUPS 23926 WITH SCORE 23973.197
AT ITER 3616 NEW BEST:: SOT 94093 SOS 47171 HAS SOPS 46285 HAS SOUS 24638 HAS SOUPS 23906 WITH SCORE 23953.171
AT ITER 3629 NEW BEST:: SOT 94049 SOS 47193 HAS SOPS 46274 HAS SOUS 24670 HAS SOUPS 23905 WITH SCORE 23952.193
AT ITER 3634 NEW BEST:: SOT 93834 SOS 47107 HAS SOPS 46188 HAS SOUS 24541 HAS SOUPS 23776 WITH SCORE 23823.107
AT ITER 3637 NEW BEST:: SOT 93822 SOS 47095 HAS SOPS 46176 HAS SOUS 24537 HAS SOUPS 23772 WITH SCORE 23819.095
AT ITER 3674 NEW BEST:: SOT 93804 SOS 47077 HAS SOPS 46158 HAS SOUS 24514 HAS SOUPS 23749 WITH SCORE 23796.077
AT ITER 3687 NEW BEST:: SOT 93749 SOS 46905 HAS SOPS 46105 HAS SOUS 24317 HAS SOUPS 23632 WITH SCORE 23678.905
AT ITER 3702 NEW BEST:: SOT 93756 SOS 46897 HAS SOPS 46097 HAS SOUS 24299 HAS SOUPS 23614 WITH SCORE 23660.897
AT ITER 3710 NEW BEST:: SOT 93747 SOS 46879 HAS SOPS 46079 HAS SOUS 24299 HAS SOUPS 23614 WITH SCORE 23660.879
AT ITER 3716 NEW BEST:: SOT 93682 SOS 46753 HAS SOPS 45953 HAS SOUS 24240 HAS SOUPS 23555 WITH SCORE 23601.753
AT ITER 3722 NEW BEST:: SOT 93740 SOS 46686 HAS SOPS 45886 HAS SOUS 24234 HAS SOUPS 23549 WITH SCORE 23595.686
AT ITER 3754 NEW BEST:: SOT 93780 SOS 46337 HAS SOPS 45537 HAS SOUS 24230 HAS SOUPS 23545 WITH SCORE 23591.337
AT ITER 3778 NEW BEST:: SOT 93780 SOS 46312 HAS SOPS 45507 HAS SOUS 24215 HAS SOUPS 23530 WITH SCORE 23576.312
AT ITER 3800 NEW BEST:: SOT 93780 SOS 46316 HAS SOPS 45511 HAS SOUS 24198 HAS SOUPS 23513 WITH SCORE 23559.316
AT ITER 3806 NEW BEST:: SOT 93756 SOS 46292 HAS SOPS 45487 HAS SOUS 24174 HAS SOUPS 23489 WITH SCORE 23535.292
AT ITER 3829 NEW BEST:: SOT 93937 SOS 46270 HAS SOPS 45410 HAS SOUS 24194 HAS SOUPS 23454 WITH SCORE 23500.27
AT ITER 3839 NEW BEST:: SOT 93937 SOS 46240 HAS SOPS 45380 HAS SOUS 24194 HAS SOUPS 23454 WITH SCORE 23500.24
AT ITER 3850 NEW BEST:: SOT 93937 SOS 46240 HAS SOPS 45380 HAS SOUS 24180 HAS SOUPS 23440 WITH SCORE 23486.24
AT ITER 3854 NEW BEST:: SOT 93926 SOS 46238 HAS SOPS 45378 HAS SOUS 24176 HAS SOUPS 23436 WITH SCORE 23482.238
AT ITER 3860 NEW BEST:: SOT 93881 SOS 46103 HAS SOPS 45243 HAS SOUS 24176 HAS SOUPS 23436 WITH SCORE 23482.103
AT ITER 3865 NEW BEST:: SOT 93894 SOS 46049 HAS SOPS 45189 HAS SOUS 24142 HAS SOUPS 23402 WITH SCORE 23448.049
AT ITER 3874 NEW BEST:: SOT 93870 SOS 46037 HAS SOPS 45183 HAS SOUS 24118 HAS SOUPS 23384 WITH SCORE 23430.037
AT ITER 3895 NEW BEST:: SOT 93870 SOS 46034 HAS SOPS 45181 HAS SOUS 24116 HAS SOUPS 23382 WITH SCORE 23428.034
AT ITER 3896 NEW BEST:: SOT 93800 SOS 45859 HAS SOPS 45033 HAS SOUS 23873 HAS SOUPS 23166 WITH SCORE 23211.859
AT ITER 3897 NEW BEST:: SOT 93801 SOS 45854 HAS SOPS 45028 HAS SOUS 23871 HAS SOUPS 23164 WITH SCORE 23209.854
AT ITER 3910 NEW BEST:: SOT 93791 SOS 45844 HAS SOPS 45018 HAS SOUS 23861 HAS SOUPS 23154 WITH SCORE 23199.844
AT ITER 3937 NEW BEST:: SOT 93763 SOS 45812 HAS SOPS 44986 HAS SOUS 23825 HAS SOUPS 23118 WITH SCORE 23163.812
AT ITER 3967 NEW BEST:: SOT 93751 SOS 45800 HAS SOPS 44974 HAS SOUS 23825 HAS SOUPS 23118 WITH SCORE 23163.8
AT ITER 3995 NEW BEST:: SOT 93733 SOS 45782 HAS SOPS 44956 HAS SOUS 23800 HAS SOUPS 23093 WITH SCORE 23138.782
AT ITER 4014 NEW BEST:: SOT 93796 SOS 45804 HAS SOPS 44978 HAS SOUS 23778 HAS SOUPS 23071 WITH SCORE 23116.804
AT ITER 4029 NEW BEST:: SOT 93820 SOS 45804 HAS SOPS 44978 HAS SOUS 23777 HAS SOUPS 23070 WITH SCORE 23115.804
AT ITER 4067 NEW BEST:: SOT 93820 SOS 45804 HAS SOPS 44978 HAS SOUS 23773 HAS SOUPS 23066 WITH SCORE 23111.804
AT ITER 4107 NEW BEST:: SOT 93820 SOS 45802 HAS SOPS 44976 HAS SOUS 23772 HAS SOUPS 23065 WITH SCORE 23110.802
AT ITER 4109 NEW BEST:: SOT 93682 SOS 45277 HAS SOPS 44451 HAS SOUS 23771 HAS SOUPS 23064 WITH SCORE 23109.277
AT ITER 4112 NEW BEST:: SOT 93742 SOS 45305 HAS SOPS 44479 HAS SOUS 23753 HAS SOUPS 23046 WITH SCORE 23091.305
AT ITER 4130 NEW BEST:: SOT 93727 SOS 45290 HAS SOPS 44464 HAS SOUS 23748 HAS SOUPS 23041 WITH SCORE 23086.29
AT ITER 4173 NEW BEST:: SOT 93727 SOS 45290 HAS SOPS 44464 HAS SOUS 23746 HAS SOUPS 23039 WITH SCORE 23084.29
AT ITER 4179 NEW BEST:: SOT 93721 SOS 45284 HAS SOPS 44458 HAS SOUS 23740 HAS SOUPS 23033 WITH SCORE 23078.284
AT ITER 4209 NEW BEST:: SOT 93721 SOS 45284 HAS SOPS 44458 HAS SOUS 23736 HAS SOUPS 23029 WITH SCORE 23074.284
AT ITER 4226 NEW BEST:: SOT 93721 SOS 45273 HAS SOPS 44447 HAS SOUS 23725 HAS SOUPS 23018 WITH SCORE 23063.273
AT ITER 4260 NEW BEST:: SOT 93712 SOS 45246 HAS SOPS 44420 HAS SOUS 23719 HAS SOUPS 23012 WITH SCORE 23057.246
AT ITER 4270 NEW BEST:: SOT 93820 SOS 44975 HAS SOPS 44140 HAS SOUS 23687 HAS SOUPS 22980 WITH SCORE 23024.975
AT ITER 4284 NEW BEST:: SOT 93728 SOS 44911 HAS SOPS 44076 HAS SOUS 23613 HAS SOUPS 22906 WITH SCORE 22950.911
AT ITER 4286 NEW BEST:: SOT 93722 SOS 44905 HAS SOPS 44070 HAS SOUS 23603 HAS SOUPS 22896 WITH SCORE 22940.905
AT ITER 4298 NEW BEST:: SOT 93722 SOS 45212 HAS SOPS 44400 HAS SOUS 23593 HAS SOUPS 22886 WITH SCORE 22931.212
AT ITER 4312 NEW BEST:: SOT 93722 SOS 45214 HAS SOPS 44402 HAS SOUS 23592 HAS SOUPS 22885 WITH SCORE 22930.214
AT ITER 4327 NEW BEST:: SOT 93716 SOS 45206 HAS SOPS 44394 HAS SOUS 23586 HAS SOUPS 22879 WITH SCORE 22924.206
AT ITER 4332 NEW BEST:: SOT 93748 SOS 45267 HAS SOPS 44455 HAS SOUS 23581 HAS SOUPS 22874 WITH SCORE 22919.267
AT ITER 4352 NEW BEST:: SOT 93793 SOS 45366 HAS SOPS 44500 HAS SOUS 23607 HAS SOUPS 22873 WITH SCORE 22918.366
AT ITER 4360 NEW BEST:: SOT 93493 SOS 45090 HAS SOPS 44224 HAS SOUS 23583 HAS SOUPS 22849 WITH SCORE 22894.09
AT ITER 4362 NEW BEST:: SOT 93490 SOS 45083 HAS SOPS 44217 HAS SOUS 23576 HAS SOUPS 22842 WITH SCORE 22887.083
AT ITER 4393 NEW BEST:: SOT 93449 SOS 45050 HAS SOPS 44188 HAS SOUS 23545 HAS SOUPS 22811 WITH SCORE 22856.05
AT ITER 4408 NEW BEST:: SOT 93427 SOS 44984 HAS SOPS 44122 HAS SOUS 23523 HAS SOUPS 22789 WITH SCORE 22833.984
AT ITER 4428 NEW BEST:: SOT 93458 SOS 45051 HAS SOPS 44121 HAS SOUS 23554 HAS SOUPS 22786 WITH SCORE 22831.051
AT ITER 4482 NEW BEST:: SOT 93458 SOS 45041 HAS SOPS 44111 HAS SOUS 23532 HAS SOUPS 22764 WITH SCORE 22809.041
AT ITER 4486 NEW BEST:: SOT 93460 SOS 44910 HAS SOPS 43980 HAS SOUS 23496 HAS SOUPS 22728 WITH SCORE 22772.91
AT ITER 4490 NEW BEST:: SOT 93460 SOS 44920 HAS SOPS 43980 HAS SOUS 23493 HAS SOUPS 22720 WITH SCORE 22764.92
AT ITER 4491 NEW BEST:: SOT 93432 SOS 44864 HAS SOPS 43924 HAS SOUS 23409 HAS SOUPS 22636 WITH SCORE 22680.864
AT ITER 4500 NEW BEST:: SOT 93353 SOS 44710 HAS SOPS 43845 HAS SOUS 23364 HAS SOUPS 22632 WITH SCORE 22676.71
AT ITER 4502 NEW BEST:: SOT 92999 SOS 44787 HAS SOPS 43922 HAS SOUS 23205 HAS SOUPS 22473 WITH SCORE 22517.787
AT ITER 4506 NEW BEST:: SOT 92971 SOS 44763 HAS SOPS 43898 HAS SOUS 23165 HAS SOUPS 22433 WITH SCORE 22477.763
AT ITER 4518 NEW BEST:: SOT 92953 SOS 44735 HAS SOPS 43860 HAS SOUS 23137 HAS SOUPS 22395 WITH SCORE 22439.735
AT ITER 4550 NEW BEST:: SOT 92953 SOS 44735 HAS SOPS 43859 HAS SOUS 23135 HAS SOUPS 22393 WITH SCORE 22437.735
AT ITER 4597 NEW BEST:: SOT 92939 SOS 44708 HAS SOPS 43832 HAS SOUS 23035 HAS SOUPS 22293 WITH SCORE 22337.708
AT ITER 4604 NEW BEST:: SOT 92936 SOS 44702 HAS SOPS 43826 HAS SOUS 23033 HAS SOUPS 22291 WITH SCORE 22335.702
AT ITER 4614 NEW BEST:: SOT 92920 SOS 44662 HAS SOPS 43786 HAS SOUS 23005 HAS SOUPS 22263 WITH SCORE 22307.662
AT ITER 4621 NEW BEST:: SOT 92761 SOS 44448 HAS SOPS 43572 HAS SOUS 22778 HAS SOUPS 22036 WITH SCORE 22080.448
AT ITER 4622 NEW BEST:: SOT 92731 SOS 44355 HAS SOPS 43479 HAS SOUS 22778 HAS SOUPS 22036 WITH SCORE 22080.355
AT ITER 4623 NEW BEST:: SOT 92670 SOS 44085 HAS SOPS 43209 HAS SOUS 22728 HAS SOUPS 21986 WITH SCORE 22030.085
AT ITER 4629 NEW BEST:: SOT 92665 SOS 44080 HAS SOPS 43204 HAS SOUS 22723 HAS SOUPS 21981 WITH SCORE 22025.08
AT ITER 4661 NEW BEST:: SOT 92665 SOS 44078 HAS SOPS 43202 HAS SOUS 22721 HAS SOUPS 21979 WITH SCORE 22023.078
AT ITER 4675 NEW BEST:: SOT 92662 SOS 44075 HAS SOPS 43199 HAS SOUS 22713 HAS SOUPS 21971 WITH SCORE 22015.075
AT ITER 4683 NEW BEST:: SOT 92579 SOS 43868 HAS SOPS 42992 HAS SOUS 22676 HAS SOUPS 21934 WITH SCORE 21977.868
AT ITER 4699 NEW BEST:: SOT 92409 SOS 43448 HAS SOPS 42572 HAS SOUS 22484 HAS SOUPS 21742 WITH SCORE 21785.448
AT ITER 4761 NEW BEST:: SOT 92401 SOS 43440 HAS SOPS 42564 HAS SOUS 22476 HAS SOUPS 21734 WITH SCORE 21777.44
AT ITER 4763 NEW BEST:: SOT 92399 SOS 43438 HAS SOPS 42562 HAS SOUS 22474 HAS SOUPS 21732 WITH SCORE 21775.438
AT ITER 4815 NEW BEST:: SOT 92313 SOS 43352 HAS SOPS 42476 HAS SOUS 22474 HAS SOUPS 21732 WITH SCORE 21775.352
AT ITER 4819 NEW BEST:: SOT 92296 SOS 43335 HAS SOPS 42459 HAS SOUS 22423 HAS SOUPS 21681 WITH SCORE 21724.335
AT ITER 4824 NEW BEST:: SOT 92248 SOS 43287 HAS SOPS 42411 HAS SOUS 22378 HAS SOUPS 21636 WITH SCORE 21679.287
AT ITER 4873 NEW BEST:: SOT 92246 SOS 43288 HAS SOPS 42413 HAS SOUS 22375 HAS SOUPS 21634 WITH SCORE 21677.288
AT ITER 4877 NEW BEST:: SOT 92215 SOS 43257 HAS SOPS 42382 HAS SOUS 22298 HAS SOUPS 21557 WITH SCORE 21600.257
AT ITER 4879 NEW BEST:: SOT 92215 SOS 43257 HAS SOPS 42382 HAS SOUS 22292 HAS SOUPS 21551 WITH SCORE 21594.257
AT ITER 4886 NEW BEST:: SOT 92215 SOS 43177 HAS SOPS 42302 HAS SOUS 22292 HAS SOUPS 21551 WITH SCORE 21594.177
AT ITER 4909 NEW BEST:: SOT 92195 SOS 43085 HAS SOPS 42210 HAS SOUS 22275 HAS SOUPS 21534 WITH SCORE 21577.085
AT ITER 4922 NEW BEST:: SOT 92173 SOS 42983 HAS SOPS 42108 HAS SOUS 22273 HAS SOUPS 21532 WITH SCORE 21574.983
AT ITER 4951 NEW BEST:: SOT 92155 SOS 42965 HAS SOPS 42090 HAS SOUS 22255 HAS SOUPS 21514 WITH SCORE 21556.965
AT ITER 4962 NEW BEST:: SOT 92155 SOS 42964 HAS SOPS 42089 HAS SOUS 22253 HAS SOUPS 21512 WITH SCORE 21554.964
AT ITER 4973 NEW BEST:: SOT 92152 SOS 42961 HAS SOPS 42086 HAS SOUS 22250 HAS SOUPS 21509 WITH SCORE 21551.961
AT ITER 4987 NEW BEST:: SOT 92256 SOS 43053 HAS SOPS 42178 HAS SOUS 22232 HAS SOUPS 21491 WITH SCORE 21534.053
AT ITER 4998 NEW BEST:: SOT 92256 SOS 43053 HAS SOPS 42178 HAS SOUS 22194 HAS SOUPS 21453 WITH SCORE 21496.053
AT ITER 5012 NEW BEST:: SOT 92256 SOS 42944 HAS SOPS 42068 HAS SOUS 22182 HAS SOUPS 21441 WITH SCORE 21483.944
AT ITER 5023 NEW BEST:: SOT 92246 SOS 42919 HAS SOPS 42043 HAS SOUS 22162 HAS SOUPS 21421 WITH SCORE 21463.919
AT ITER 5078 NEW BEST:: SOT 92232 SOS 42558 HAS SOPS 41682 HAS SOUS 22095 HAS SOUPS 21354 WITH SCORE 21396.558
AT ITER 5080 NEW BEST:: SOT 92232 SOS 42541 HAS SOPS 41682 HAS SOUS 22080 HAS SOUPS 21347 WITH SCORE 21389.541
AT ITER 5096 NEW BEST:: SOT 92223 SOS 42532 HAS SOPS 41673 HAS SOUS 22071 HAS SOUPS 21338 WITH SCORE 21380.532
AT ITER 5128 NEW BEST:: SOT 92261 SOS 42488 HAS SOPS 41629 HAS SOUS 22016 HAS SOUPS 21283 WITH SCORE 21325.488
AT ITER 5133 NEW BEST:: SOT 92261 SOS 42460 HAS SOPS 41597 HAS SOUS 22016 HAS SOUPS 21279 WITH SCORE 21321.46
AT ITER 5136 NEW BEST:: SOT 92259 SOS 42456 HAS SOPS 41593 HAS SOUS 22016 HAS SOUPS 21279 WITH SCORE 21321.456
AT ITER 5188 NEW BEST:: SOT 92259 SOS 42454 HAS SOPS 41591 HAS SOUS 22014 HAS SOUPS 21277 WITH SCORE 21319.454
AT ITER 5196 NEW BEST:: SOT 92215 SOS 42403 HAS SOPS 41540 HAS SOUS 21963 HAS SOUPS 21226 WITH SCORE 21268.403
AT ITER 5204 NEW BEST:: SOT 92215 SOS 42385 HAS SOPS 41522 HAS SOUS 21963 HAS SOUPS 21226 WITH SCORE 21268.385
AT ITER 5209 NEW BEST:: SOT 92150 SOS 42322 HAS SOPS 41459 HAS SOUS 21902 HAS SOUPS 21165 WITH SCORE 21207.322
AT ITER 5210 NEW BEST:: SOT 92161 SOS 42316 HAS SOPS 41453 HAS SOUS 21886 HAS SOUPS 21149 WITH SCORE 21191.316
AT ITER 5217 NEW BEST:: SOT 92133 SOS 42276 HAS SOPS 41413 HAS SOUS 21842 HAS SOUPS 21105 WITH SCORE 21147.276
AT ITER 5224 NEW BEST:: SOT 92087 SOS 42227 HAS SOPS 41364 HAS SOUS 21830 HAS SOUPS 21093 WITH SCORE 21135.227
AT ITER 5249 NEW BEST:: SOT 92087 SOS 42203 HAS SOPS 41340 HAS SOUS 21830 HAS SOUPS 21093 WITH SCORE 21135.203
AT ITER 5276 NEW BEST:: SOT 92086 SOS 42201 HAS SOPS 41338 HAS SOUS 21830 HAS SOUPS 21093 WITH SCORE 21135.201
AT ITER 5301 NEW BEST:: SOT 92096 SOS 42151 HAS SOPS 41288 HAS SOUS 21830 HAS SOUPS 21093 WITH SCORE 21135.151
AT ITER 5327 NEW BEST:: SOT 92057 SOS 42103 HAS SOPS 41240 HAS SOUS 21819 HAS SOUPS 21082 WITH SCORE 21124.103
AT ITER 5349 NEW BEST:: SOT 92057 SOS 42084 HAS SOPS 41221 HAS SOUS 21816 HAS SOUPS 21079 WITH SCORE 21121.084
AT ITER 5356 NEW BEST:: SOT 91971 SOS 41889 HAS SOPS 41082 HAS SOUS 21660 HAS SOUPS 20979 WITH SCORE 21020.889
AT ITER 5384 NEW BEST:: SOT 91955 SOS 42156 HAS SOPS 41382 HAS SOUS 21611 HAS SOUPS 20963 WITH SCORE 21005.156
AT ITER 5396 NEW BEST:: SOT 91952 SOS 42148 HAS SOPS 41374 HAS SOUS 21603 HAS SOUPS 20955 WITH SCORE 20997.148
AT ITER 5422 NEW BEST:: SOT 91930 SOS 42126 HAS SOPS 41352 HAS SOUS 21581 HAS SOUPS 20933 WITH SCORE 20975.126
AT ITER 5512 NEW BEST:: SOT 91871 SOS 42038 HAS SOPS 41264 HAS SOUS 21476 HAS SOUPS 20828 WITH SCORE 20870.038
AT ITER 5539 NEW BEST:: SOT 91848 SOS 42013 HAS SOPS 41259 HAS SOUS 21451 HAS SOUPS 20823 WITH SCORE 20865.013
AT ITER 5548 NEW BEST:: SOT 91848 SOS 42013 HAS SOPS 41259 HAS SOUS 21407 HAS SOUPS 20779 WITH SCORE 20821.013
AT ITER 5555 NEW BEST:: SOT 91726 SOS 41878 HAS SOPS 41124 HAS SOUS 21370 HAS SOUPS 20742 WITH SCORE 20783.878
AT ITER 5558 NEW BEST:: SOT 91706 SOS 41859 HAS SOPS 41106 HAS SOUS 21351 HAS SOUPS 20724 WITH SCORE 20765.859
AT ITER 5560 NEW BEST:: SOT 91706 SOS 41859 HAS SOPS 41106 HAS SOUS 21343 HAS SOUPS 20716 WITH SCORE 20757.859
AT ITER 5576 NEW BEST:: SOT 91706 SOS 41859 HAS SOPS 41106 HAS SOUS 21339 HAS SOUPS 20712 WITH SCORE 20753.859
AT ITER 5580 NEW BEST:: SOT 91703 SOS 41856 HAS SOPS 41103 HAS SOUS 21335 HAS SOUPS 20708 WITH SCORE 20749.856
AT ITER 5591 NEW BEST:: SOT 91681 SOS 41845 HAS SOPS 41092 HAS SOUS 21302 HAS SOUPS 20675 WITH SCORE 20716.845
AT ITER 5604 NEW BEST:: SOT 91665 SOS 41855 HAS SOPS 41102 HAS SOUS 21292 HAS SOUPS 20665 WITH SCORE 20706.855
AT ITER 5611 NEW BEST:: SOT 91646 SOS 41918 HAS SOPS 41075 HAS SOUS 21317 HAS SOUPS 20650 WITH SCORE 20691.918
AT ITER 5617 NEW BEST:: SOT 91646 SOS 41896 HAS SOPS 41053 HAS SOUS 21313 HAS SOUPS 20646 WITH SCORE 20687.896
AT ITER 5648 NEW BEST:: SOT 91671 SOS 41895 HAS SOPS 41003 HAS SOUS 21338 HAS SOUPS 20643 WITH SCORE 20684.895
AT ITER 5660 NEW BEST:: SOT 91586 SOS 41956 HAS SOPS 41064 HAS SOUS 21312 HAS SOUPS 20617 WITH SCORE 20658.956
AT ITER 5693 NEW BEST:: SOT 91571 SOS 41941 HAS SOPS 41049 HAS SOUS 21287 HAS SOUPS 20592 WITH SCORE 20633.941
AT ITER 5702 NEW BEST:: SOT 91571 SOS 41971 HAS SOPS 41049 HAS SOUS 21277 HAS SOUPS 20572 WITH SCORE 20613.971
AT ITER 5714 NEW BEST:: SOT 91483 SOS 42078 HAS SOPS 41156 HAS SOUS 21227 HAS SOUPS 20522 WITH SCORE 20564.078
AT ITER 5731 NEW BEST:: SOT 91483 SOS 42058 HAS SOPS 41136 HAS SOUS 21227 HAS SOUPS 20522 WITH SCORE 20564.058
AT ITER 5746 NEW BEST:: SOT 91477 SOS 42060 HAS SOPS 41138 HAS SOUS 21225 HAS SOUPS 20520 WITH SCORE 20562.06
AT ITER 5753 NEW BEST:: SOT 91439 SOS 42016 HAS SOPS 41094 HAS SOUS 21193 HAS SOUPS 20488 WITH SCORE 20530.016
AT ITER 5780 NEW BEST:: SOT 91378 SOS 42098 HAS SOPS 41176 HAS SOUS 21165 HAS SOUPS 20460 WITH SCORE 20502.098
AT ITER 5789 NEW BEST:: SOT 91402 SOS 42131 HAS SOPS 41209 HAS SOUS 21154 HAS SOUPS 20449 WITH SCORE 20491.131
AT ITER 5820 NEW BEST:: SOT 91511 SOS 41753 HAS SOPS 40831 HAS SOUS 21131 HAS SOUPS 20426 WITH SCORE 20467.753
AT ITER 5831 NEW BEST:: SOT 91482 SOS 41724 HAS SOPS 40802 HAS SOUS 21109 HAS SOUPS 20404 WITH SCORE 20445.724
AT ITER 5857 NEW BEST:: SOT 91465 SOS 41779 HAS SOPS 40857 HAS SOUS 21104 HAS SOUPS 20399 WITH SCORE 20440.779
AT ITER 5922 NEW BEST:: SOT 91465 SOS 41723 HAS SOPS 40801 HAS SOUS 21056 HAS SOUPS 20351 WITH SCORE 20392.723
AT ITER 5923 NEW BEST:: SOT 91460 SOS 41742 HAS SOPS 40820 HAS SOUS 21043 HAS SOUPS 20338 WITH SCORE 20379.742
AT ITER 5926 NEW BEST:: SOT 91398 SOS 41504 HAS SOPS 40582 HAS SOUS 20943 HAS SOUPS 20238 WITH SCORE 20279.504
AT ITER 5942 NEW BEST:: SOT 91398 SOS 41388 HAS SOPS 40466 HAS SOUS 20937 HAS SOUPS 20232 WITH SCORE 20273.388
AT ITER 5965 NEW BEST:: SOT 91404 SOS 41394 HAS SOPS 40472 HAS SOUS 20911 HAS SOUPS 20206 WITH SCORE 20247.394
AT ITER 5989 NEW BEST:: SOT 91400 SOS 41418 HAS SOPS 40496 HAS SOUS 20907 HAS SOUPS 20202 WITH SCORE 20243.418
AT ITER 6004 NEW BEST:: SOT 91401 SOS 41449 HAS SOPS 40527 HAS SOUS 20895 HAS SOUPS 20190 WITH SCORE 20231.449
AT ITER 6011 NEW BEST:: SOT 91398 SOS 41266 HAS SOPS 40344 HAS SOUS 20882 HAS SOUPS 20177 WITH SCORE 20218.266
AT ITER 6019 NEW BEST:: SOT 91433 SOS 41221 HAS SOPS 40299 HAS SOUS 20825 HAS SOUPS 20120 WITH SCORE 20161.221
AT ITER 6026 NEW BEST:: SOT 91420 SOS 41198 HAS SOPS 40276 HAS SOUS 20805 HAS SOUPS 20100 WITH SCORE 20141.198
AT ITER 6112 NEW BEST:: SOT 91419 SOS 41193 HAS SOPS 40271 HAS SOUS 20804 HAS SOUPS 20099 WITH SCORE 20140.193
AT ITER 6134 NEW BEST:: SOT 91418 SOS 41191 HAS SOPS 40269 HAS SOUS 20801 HAS SOUPS 20096 WITH SCORE 20137.191
AT ITER 6141 NEW BEST:: SOT 91458 SOS 41231 HAS SOPS 40309 HAS SOUS 20791 HAS SOUPS 20086 WITH SCORE 20127.231
AT ITER 6157 NEW BEST:: SOT 91456 SOS 41229 HAS SOPS 40307 HAS SOUS 20791 HAS SOUPS 20086 WITH SCORE 20127.229
AT ITER 6172 NEW BEST:: SOT 91448 SOS 41249 HAS SOPS 40327 HAS SOUS 20783 HAS SOUPS 20078 WITH SCORE 20119.249
AT ITER 6180 NEW BEST:: SOT 91457 SOS 41232 HAS SOPS 40310 HAS SOUS 20766 HAS SOUPS 20061 WITH SCORE 20102.232
AT ITER 6195 NEW BEST:: SOT 91467 SOS 41223 HAS SOPS 40301 HAS SOUS 20757 HAS SOUPS 20052 WITH SCORE 20093.223
AT ITER 6199 NEW BEST:: SOT 91465 SOS 41221 HAS SOPS 40299 HAS SOUS 20741 HAS SOUPS 20036 WITH SCORE 20077.221
AT ITER 6226 NEW BEST:: SOT 91466 SOS 41288 HAS SOPS 40298 HAS SOUS 20744 HAS SOUPS 20005 WITH SCORE 20046.288
AT ITER 6287 NEW BEST:: SOT 91463 SOS 41101 HAS SOPS 40111 HAS SOUS 20728 HAS SOUPS 19989 WITH SCORE 20030.101
AT ITER 6308 NEW BEST:: SOT 91463 SOS 41056 HAS SOPS 40081 HAS SOUS 20713 HAS SOUPS 19974 WITH SCORE 20015.056
AT ITER 6322 NEW BEST:: SOT 91461 SOS 41046 HAS SOPS 40071 HAS SOUS 20711 HAS SOUPS 19972 WITH SCORE 20013.046
AT ITER 6330 NEW BEST:: SOT 91450 SOS 41035 HAS SOPS 40060 HAS SOUS 20688 HAS SOUPS 19949 WITH SCORE 19990.035
AT ITER 6335 NEW BEST:: SOT 91450 SOS 41018 HAS SOPS 40043 HAS SOUS 20688 HAS SOUPS 19949 WITH SCORE 19990.018
AT ITER 6338 NEW BEST:: SOT 91450 SOS 40996 HAS SOPS 40021 HAS SOUS 20688 HAS SOUPS 19949 WITH SCORE 19989.996
AT ITER 6368 NEW BEST:: SOT 91450 SOS 40996 HAS SOPS 40021 HAS SOUS 20660 HAS SOUPS 19921 WITH SCORE 19961.996
AT ITER 6376 NEW BEST:: SOT 91432 SOS 40954 HAS SOPS 39979 HAS SOUS 20648 HAS SOUPS 19909 WITH SCORE 19949.954
AT ITER 6409 NEW BEST:: SOT 91364 SOS 40916 HAS SOPS 39941 HAS SOUS 20541 HAS SOUPS 19802 WITH SCORE 19842.916
AT ITER 6438 NEW BEST:: SOT 91330 SOS 40726 HAS SOPS 39719 HAS SOUS 20507 HAS SOUPS 19736 WITH SCORE 19776.726
AT ITER 6451 NEW BEST:: SOT 91328 SOS 40724 HAS SOPS 39717 HAS SOUS 20491 HAS SOUPS 19720 WITH SCORE 19760.724
AT ITER 6459 NEW BEST:: SOT 91319 SOS 40694 HAS SOPS 39687 HAS SOUS 20482 HAS SOUPS 19711 WITH SCORE 19751.694
AT ITER 6537 NEW BEST:: SOT 91298 SOS 40729 HAS SOPS 39722 HAS SOUS 20475 HAS SOUPS 19704 WITH SCORE 19744.729
AT ITER 6538 NEW BEST:: SOT 91265 SOS 40696 HAS SOPS 39689 HAS SOUS 20442 HAS SOUPS 19671 WITH SCORE 19711.696
AT ITER 6539 NEW BEST:: SOT 91260 SOS 40651 HAS SOPS 39644 HAS SOUS 20437 HAS SOUPS 19666 WITH SCORE 19706.651
AT ITER 6542 NEW BEST:: SOT 91256 SOS 40647 HAS SOPS 39640 HAS SOUS 20433 HAS SOUPS 19662 WITH SCORE 19702.647
AT ITER 6559 NEW BEST:: SOT 91184 SOS 40737 HAS SOPS 39730 HAS SOUS 20400 HAS SOUPS 19629 WITH SCORE 19669.737
AT ITER 6570 NEW BEST:: SOT 91178 SOS 40791 HAS SOPS 39784 HAS SOUS 20394 HAS SOUPS 19623 WITH SCORE 19663.791
AT ITER 6616 NEW BEST:: SOT 91178 SOS 40791 HAS SOPS 39784 HAS SOUS 20392 HAS SOUPS 19621 WITH SCORE 19661.791
AT ITER 6638 NEW BEST:: SOT 91182 SOS 40795 HAS SOPS 39788 HAS SOUS 20388 HAS SOUPS 19617 WITH SCORE 19657.795
AT ITER 6643 NEW BEST:: SOT 91220 SOS 40719 HAS SOPS 39712 HAS SOUS 20350 HAS SOUPS 19579 WITH SCORE 19619.719
AT ITER 6653 NEW BEST:: SOT 91190 SOS 40619 HAS SOPS 39612 HAS SOUS 20335 HAS SOUPS 19564 WITH SCORE 19604.619
AT ITER 6689 NEW BEST:: SOT 91190 SOS 40618 HAS SOPS 39611 HAS SOUS 20335 HAS SOUPS 19564 WITH SCORE 19604.618
AT ITER 6694 NEW BEST:: SOT 91194 SOS 40622 HAS SOPS 39615 HAS SOUS 20332 HAS SOUPS 19561 WITH SCORE 19601.622
AT ITER 6719 NEW BEST:: SOT 91222 SOS 40657 HAS SOPS 39650 HAS SOUS 20310 HAS SOUPS 19539 WITH SCORE 19579.657
AT ITER 6744 NEW BEST:: SOT 91226 SOS 40649 HAS SOPS 39642 HAS SOUS 20303 HAS SOUPS 19532 WITH SCORE 19572.649
AT ITER 6756 NEW BEST:: SOT 91227 SOS 40647 HAS SOPS 39640 HAS SOUS 20301 HAS SOUPS 19530 WITH SCORE 19570.647
AT ITER 6803 NEW BEST:: SOT 91256 SOS 40676 HAS SOPS 39669 HAS SOUS 20266 HAS SOUPS 19495 WITH SCORE 19535.676
AT ITER 6847 NEW BEST:: SOT 91232 SOS 40652 HAS SOPS 39645 HAS SOUS 20242 HAS SOUPS 19471 WITH SCORE 19511.652
AT ITER 6857 NEW BEST:: SOT 91216 SOS 40605 HAS SOPS 39598 HAS SOUS 20196 HAS SOUPS 19425 WITH SCORE 19465.605
AT ITER 6873 NEW BEST:: SOT 91214 SOS 40603 HAS SOPS 39596 HAS SOUS 20194 HAS SOUPS 19423 WITH SCORE 19463.603
AT ITER 6875 NEW BEST:: SOT 91212 SOS 40601 HAS SOPS 39594 HAS SOUS 20192 HAS SOUPS 19421 WITH SCORE 19461.601
AT ITER 6887 NEW BEST:: SOT 91198 SOS 40587 HAS SOPS 39580 HAS SOUS 20182 HAS SOUPS 19411 WITH SCORE 19451.587
AT ITER 6942 NEW BEST:: SOT 91194 SOS 40567 HAS SOPS 39560 HAS SOUS 20174 HAS SOUPS 19403 WITH SCORE 19443.567
AT ITER 6955 NEW BEST:: SOT 91195 SOS 40567 HAS SOPS 39559 HAS SOUS 20174 HAS SOUPS 19402 WITH SCORE 19442.567
AT ITER 7049 NEW BEST:: SOT 91193 SOS 40565 HAS SOPS 39557 HAS SOUS 20172 HAS SOUPS 19400 WITH SCORE 19440.565
AT ITER 7068 NEW BEST:: SOT 91193 SOS 40565 HAS SOPS 39557 HAS SOUS 20170 HAS SOUPS 19398 WITH SCORE 19438.565
AT ITER 7099 NEW BEST:: SOT 91192 SOS 40340 HAS SOPS 39332 HAS SOUS 20133 HAS SOUPS 19361 WITH SCORE 19401.34
AT ITER 7114 NEW BEST:: SOT 91187 SOS 40335 HAS SOPS 39327 HAS SOUS 20132 HAS SOUPS 19360 WITH SCORE 19400.335
AT ITER 7134 NEW BEST:: SOT 91155 SOS 40303 HAS SOPS 39295 HAS SOUS 20100 HAS SOUPS 19328 WITH SCORE 19368.303
AT ITER 7146 NEW BEST:: SOT 91151 SOS 40257 HAS SOPS 39249 HAS SOUS 20054 HAS SOUPS 19282 WITH SCORE 19322.257
AT ITER 7205 NEW BEST:: SOT 91151 SOS 40162 HAS SOPS 39154 HAS SOUS 20053 HAS SOUPS 19281 WITH SCORE 19321.162
AT ITER 7266 NEW BEST:: SOT 91105 SOS 40055 HAS SOPS 39047 HAS SOUS 20043 HAS SOUPS 19271 WITH SCORE 19311.055
AT ITER 7289 NEW BEST:: SOT 91198 SOS 39981 HAS SOPS 38973 HAS SOUS 20033 HAS SOUPS 19261 WITH SCORE 19300.981
AT ITER 7328 NEW BEST:: SOT 91174 SOS 39924 HAS SOPS 38916 HAS SOUS 20009 HAS SOUPS 19237 WITH SCORE 19276.924
AT ITER 7388 NEW BEST:: SOT 91262 SOS 40250 HAS SOPS 39243 HAS SOUS 20001 HAS SOUPS 19230 WITH SCORE 19270.25
AT ITER 7408 NEW BEST:: SOT 91246 SOS 40179 HAS SOPS 39172 HAS SOUS 19988 HAS SOUPS 19217 WITH SCORE 19257.179
AT ITER 7510 NEW BEST:: SOT 91243 SOS 40176 HAS SOPS 39169 HAS SOUS 19982 HAS SOUPS 19211 WITH SCORE 19251.176
AT ITER 7511 NEW BEST:: SOT 91270 SOS 40033 HAS SOPS 39014 HAS SOUS 19976 HAS SOUPS 19193 WITH SCORE 19233.033
AT ITER 7527 NEW BEST:: SOT 91270 SOS 40035 HAS SOPS 39017 HAS SOUS 19975 HAS SOUPS 19192 WITH SCORE 19232.035
AT ITER 7545 NEW BEST:: SOT 91263 SOS 40047 HAS SOPS 39029 HAS SOUS 19952 HAS SOUPS 19169 WITH SCORE 19209.047
AT ITER 7624 NEW BEST:: SOT 91265 SOS 40043 HAS SOPS 39025 HAS SOUS 19951 HAS SOUPS 19168 WITH SCORE 19208.043
AT ITER 7662 NEW BEST:: SOT 91267 SOS 40035 HAS SOPS 39017 HAS SOUS 19951 HAS SOUPS 19168 WITH SCORE 19208.035
AT ITER 7663 NEW BEST:: SOT 91294 SOS 40045 HAS SOPS 39027 HAS SOUS 19935 HAS SOUPS 19152 WITH SCORE 19192.045
AT ITER 7758 NEW BEST:: SOT 91244 SOS 40058 HAS SOPS 39051 HAS SOUS 19914 HAS SOUPS 19131 WITH SCORE 19171.058
AT ITER 7779 NEW BEST:: SOT 91218 SOS 40032 HAS SOPS 39025 HAS SOUS 19877 HAS SOUPS 19094 WITH SCORE 19134.032
AT ITER 7796 NEW BEST:: SOT 91207 SOS 39970 HAS SOPS 38957 HAS SOUS 19823 HAS SOUPS 19040 WITH SCORE 19079.97
AT ITER 7811 NEW BEST:: SOT 91205 SOS 39968 HAS SOPS 38955 HAS SOUS 19823 HAS SOUPS 19040 WITH SCORE 19079.968
AT ITER 7861 NEW BEST:: SOT 91209 SOS 39723 HAS SOPS 38709 HAS SOUS 19805 HAS SOUPS 19022 WITH SCORE 19061.723
AT ITER 7908 NEW BEST:: SOT 91232 SOS 39746 HAS SOPS 38732 HAS SOUS 19802 HAS SOUPS 19019 WITH SCORE 19058.746
AT ITER 7929 NEW BEST:: SOT 91172 SOS 39734 HAS SOPS 38720 HAS SOUS 19786 HAS SOUPS 19003 WITH SCORE 19042.734
AT ITER 7964 NEW BEST:: SOT 91169 SOS 39723 HAS SOPS 38709 HAS SOUS 19755 HAS SOUPS 18972 WITH SCORE 19011.723
AT ITER 7998 NEW BEST:: SOT 91169 SOS 39766 HAS SOPS 38727 HAS SOUS 19755 HAS SOUPS 18947 WITH SCORE 18986.766
AT ITER 8019 NEW BEST:: SOT 91121 SOS 39674 HAS SOPS 38635 HAS SOUS 19697 HAS SOUPS 18889 WITH SCORE 18928.674
AT ITER 8024 NEW BEST:: SOT 91121 SOS 39669 HAS SOPS 38630 HAS SOUS 19695 HAS SOUPS 18887 WITH SCORE 18926.669
AT ITER 8025 NEW BEST:: SOT 91107 SOS 39655 HAS SOPS 38616 HAS SOUS 19688 HAS SOUPS 18880 WITH SCORE 18919.655
AT ITER 8097 NEW BEST:: SOT 91117 SOS 39248 HAS SOPS 38182 HAS SOUS 19669 HAS SOUPS 18861 WITH SCORE 18900.248
AT ITER 8120 NEW BEST:: SOT 91114 SOS 39245 HAS SOPS 38179 HAS SOUS 19663 HAS SOUPS 18855 WITH SCORE 18894.245
AT ITER 8144 NEW BEST:: SOT 91096 SOS 39200 HAS SOPS 38134 HAS SOUS 19641 HAS SOUPS 18833 WITH SCORE 18872.2
AT ITER 8195 NEW BEST:: SOT 91088 SOS 39168 HAS SOPS 38126 HAS SOUS 19630 HAS SOUPS 18830 WITH SCORE 18869.168
AT ITER 8207 NEW BEST:: SOT 91078 SOS 39158 HAS SOPS 38116 HAS SOUS 19620 HAS SOUPS 18820 WITH SCORE 18859.158
AT ITER 8270 NEW BEST:: SOT 91080 SOS 39211 HAS SOPS 38169 HAS SOUS 19612 HAS SOUPS 18812 WITH SCORE 18851.211
AT ITER 8325 NEW BEST:: SOT 91014 SOS 39183 HAS SOPS 38141 HAS SOUS 19549 HAS SOUPS 18749 WITH SCORE 18788.183
AT ITER 8336 NEW BEST:: SOT 90994 SOS 39183 HAS SOPS 38141 HAS SOUS 19528 HAS SOUPS 18728 WITH SCORE 18767.183
AT ITER 8341 NEW BEST:: SOT 90988 SOS 39177 HAS SOPS 38135 HAS SOUS 19500 HAS SOUPS 18700 WITH SCORE 18739.177
AT ITER 8351 NEW BEST:: SOT 90983 SOS 39134 HAS SOPS 38092 HAS SOUS 19488 HAS SOUPS 18695 WITH SCORE 18734.134
AT ITER 8357 NEW BEST:: SOT 91003 SOS 39174 HAS SOPS 38132 HAS SOUS 19480 HAS SOUPS 18687 WITH SCORE 18726.174
AT ITER 8419 NEW BEST:: SOT 90997 SOS 39168 HAS SOPS 38126 HAS SOUS 19477 HAS SOUPS 18684 WITH SCORE 18723.168
AT ITER 8422 NEW BEST:: SOT 91011 SOS 39148 HAS SOPS 38106 HAS SOUS 19477 HAS SOUPS 18684 WITH SCORE 18723.148
AT ITER 8437 NEW BEST:: SOT 91005 SOS 39097 HAS SOPS 38100 HAS SOUS 19444 HAS SOUPS 18675 WITH SCORE 18714.097
AT ITER 8474 NEW BEST:: SOT 91014 SOS 39106 HAS SOPS 38109 HAS SOUS 19421 HAS SOUPS 18652 WITH SCORE 18691.106
AT ITER 8501 NEW BEST:: SOT 90970 SOS 39049 HAS SOPS 38052 HAS SOUS 19377 HAS SOUPS 18608 WITH SCORE 18647.049
AT ITER 8512 NEW BEST:: SOT 90949 SOS 39018 HAS SOPS 38031 HAS SOUS 19349 HAS SOUPS 18585 WITH SCORE 18624.018
AT ITER 8530 NEW BEST:: SOT 90938 SOS 39007 HAS SOPS 38020 HAS SOUS 19328 HAS SOUPS 18564 WITH SCORE 18603.007
AT ITER 8550 NEW BEST:: SOT 90968 SOS 38969 HAS SOPS 37982 HAS SOUS 19322 HAS SOUPS 18558 WITH SCORE 18596.969
AT ITER 8554 NEW BEST:: SOT 91002 SOS 38779 HAS SOPS 37792 HAS SOUS 19293 HAS SOUPS 18529 WITH SCORE 18567.779
AT ITER 8590 NEW BEST:: SOT 91003 SOS 38784 HAS SOPS 37797 HAS SOUS 19290 HAS SOUPS 18526 WITH SCORE 18564.784
AT ITER 8638 NEW BEST:: SOT 91003 SOS 38784 HAS SOPS 37797 HAS SOUS 19286 HAS SOUPS 18522 WITH SCORE 18560.784
AT ITER 8649 NEW BEST:: SOT 90965 SOS 38743 HAS SOPS 37756 HAS SOUS 19223 HAS SOUPS 18459 WITH SCORE 18497.743
AT ITER 8699 NEW BEST:: SOT 90962 SOS 38734 HAS SOPS 37747 HAS SOUS 19216 HAS SOUPS 18452 WITH SCORE 18490.734
AT ITER 8739 NEW BEST:: SOT 90972 SOS 38774 HAS SOPS 37802 HAS SOUS 19182 HAS SOUPS 18433 WITH SCORE 18471.774
AT ITER 8768 NEW BEST:: SOT 90983 SOS 38778 HAS SOPS 37806 HAS SOUS 19181 HAS SOUPS 18432 WITH SCORE 18470.778
AT ITER 8825 NEW BEST:: SOT 90983 SOS 38674 HAS SOPS 37702 HAS SOUS 19181 HAS SOUPS 18432 WITH SCORE 18470.674
AT ITER 8856 NEW BEST:: SOT 90957 SOS 38648 HAS SOPS 37676 HAS SOUS 19109 HAS SOUPS 18360 WITH SCORE 18398.648
AT ITER 8913 NEW BEST:: SOT 90957 SOS 38602 HAS SOPS 37622 HAS SOUS 19101 HAS SOUPS 18352 WITH SCORE 18390.602
AT ITER 8957 NEW BEST:: SOT 90960 SOS 38631 HAS SOPS 37651 HAS SOUS 19086 HAS SOUPS 18337 WITH SCORE 18375.631
AT ITER 8972 NEW BEST:: SOT 90959 SOS 38628 HAS SOPS 37646 HAS SOUS 19083 HAS SOUPS 18332 WITH SCORE 18370.628
AT ITER 8983 NEW BEST:: SOT 90956 SOS 38625 HAS SOPS 37643 HAS SOUS 19080 HAS SOUPS 18329 WITH SCORE 18367.625
AT ITER 9046 NEW BEST:: SOT 90960 SOS 38599 HAS SOPS 37615 HAS SOUS 19081 HAS SOUPS 18328 WITH SCORE 18366.599
AT ITER 9087 NEW BEST:: SOT 90940 SOS 38579 HAS SOPS 37595 HAS SOUS 19081 HAS SOUPS 18328 WITH SCORE 18366.579
AT ITER 9091 NEW BEST:: SOT 90950 SOS 38513 HAS SOPS 37511 HAS SOUS 19071 HAS SOUPS 18300 WITH SCORE 18338.513
AT ITER 9105 NEW BEST:: SOT 90705 SOS 38269 HAS SOPS 37267 HAS SOUS 18954 HAS SOUPS 18183 WITH SCORE 18221.269
AT ITER 9107 NEW BEST:: SOT 90705 SOS 38209 HAS SOPS 37207 HAS SOUS 18924 HAS SOUPS 18153 WITH SCORE 18191.209
AT ITER 9119 NEW BEST:: SOT 90696 SOS 38194 HAS SOPS 37192 HAS SOUS 18912 HAS SOUPS 18141 WITH SCORE 18179.194
AT ITER 9145 NEW BEST:: SOT 90663 SOS 38149 HAS SOPS 37147 HAS SOUS 18891 HAS SOUPS 18120 WITH SCORE 18158.149
AT ITER 9198 NEW BEST:: SOT 90657 SOS 38143 HAS SOPS 37141 HAS SOUS 18879 HAS SOUPS 18108 WITH SCORE 18146.143
AT ITER 9200 NEW BEST:: SOT 90655 SOS 38141 HAS SOPS 37139 HAS SOUS 18875 HAS SOUPS 18104 WITH SCORE 18142.141
AT ITER 9237 NEW BEST:: SOT 90649 SOS 38125 HAS SOPS 37123 HAS SOUS 18865 HAS SOUPS 18094 WITH SCORE 18132.125
AT ITER 9263 NEW BEST:: SOT 90650 SOS 38124 HAS SOPS 37124 HAS SOUS 18862 HAS SOUPS 18093 WITH SCORE 18131.124
AT ITER 9295 NEW BEST:: SOT 90663 SOS 38123 HAS SOPS 37123 HAS SOUS 18861 HAS SOUPS 18092 WITH SCORE 18130.123
AT ITER 9303 NEW BEST:: SOT 90652 SOS 38112 HAS SOPS 37112 HAS SOUS 18850 HAS SOUPS 18081 WITH SCORE 18119.112
AT ITER 9321 NEW BEST:: SOT 90649 SOS 38114 HAS SOPS 37114 HAS SOUS 18849 HAS SOUPS 18080 WITH SCORE 18118.114
AT ITER 9364 NEW BEST:: SOT 90645 SOS 38110 HAS SOPS 37110 HAS SOUS 18845 HAS SOUPS 18076 WITH SCORE 18114.11
AT ITER 9396 NEW BEST:: SOT 90659 SOS 38034 HAS SOPS 37036 HAS SOUS 18811 HAS SOUPS 18044 WITH SCORE 18082.034
AT ITER 9457 NEW BEST:: SOT 90649 SOS 38006 HAS SOPS 37008 HAS SOUS 18801 HAS SOUPS 18034 WITH SCORE 18072.006
AT ITER 9548 NEW BEST:: SOT 90649 SOS 38000 HAS SOPS 37000 HAS SOUS 18802 HAS SOUPS 18033 WITH SCORE 18071.0
AT ITER 9574 NEW BEST:: SOT 90597 SOS 38052 HAS SOPS 37052 HAS SOUS 18777 HAS SOUPS 18008 WITH SCORE 18046.052
AT ITER 9615 NEW BEST:: SOT 90549 SOS 37932 HAS SOPS 37004 HAS SOUS 18753 HAS SOUPS 18008 WITH SCORE 18045.932
AT ITER 9632 NEW BEST:: SOT 90547 SOS 37930 HAS SOPS 37002 HAS SOUS 18745 HAS SOUPS 18000 WITH SCORE 18037.93
AT ITER 9655 NEW BEST:: SOT 90547 SOS 37920 HAS SOPS 36987 HAS SOUS 18740 HAS SOUPS 17990 WITH SCORE 18027.92
AT ITER 9727 NEW BEST:: SOT 90572 SOS 37945 HAS SOPS 37012 HAS SOUS 18719 HAS SOUPS 17969 WITH SCORE 18006.945
AT ITER 9738 NEW BEST:: SOT 90572 SOS 37945 HAS SOPS 37012 HAS SOUS 18711 HAS SOUPS 17961 WITH SCORE 17998.945
AT ITER 9778 NEW BEST:: SOT 90571 SOS 37946 HAS SOPS 37013 HAS SOUS 18710 HAS SOUPS 17960 WITH SCORE 17997.946
AT ITER 9783 NEW BEST:: SOT 90559 SOS 37934 HAS SOPS 37001 HAS SOUS 18698 HAS SOUPS 17948 WITH SCORE 17985.934
AT ITER 9828 NEW BEST:: SOT 90545 SOS 37899 HAS SOPS 36966 HAS SOUS 18663 HAS SOUPS 17913 WITH SCORE 17950.899
AT ITER 9834 NEW BEST:: SOT 90545 SOS 37899 HAS SOPS 36966 HAS SOUS 18661 HAS SOUPS 17911 WITH SCORE 17948.899
AT ITER 9844 NEW BEST:: SOT 90546 SOS 37900 HAS SOPS 36967 HAS SOUS 18652 HAS SOUPS 17902 WITH SCORE 17939.9
AT ITER 9915 NEW BEST:: SOT 90540 SOS 37890 HAS SOPS 36957 HAS SOUS 18642 HAS SOUPS 17892 WITH SCORE 17929.89
AT ITER 9942 NEW BEST:: SOT 90518 SOS 37758 HAS SOPS 36825 HAS SOUS 18585 HAS SOUPS 17835 WITH SCORE 17872.758

BK_STOP 1678734273836

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 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="NoC3x3-PT-3A"
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 NoC3x3-PT-3A, 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 r259-smll-167863534300264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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