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.r003-oct2-167813590600272.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AirplaneLD-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590600272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 37K Feb 26 11:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 153K Feb 26 11:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 55K Feb 26 11:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 325K Feb 26 11:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 39K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 200K Feb 26 11:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 806K Feb 26 11:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 89K Feb 26 11:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 542K Feb 26 11:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 433K Mar 5 18:22 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 1678472783162

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=AirplaneLD-PT-0100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0100
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: 719 places, 808 transitions, 3078 arcs.
AT ITER 0 NEW BEST:: SOT 449294 SOS 226686 HAS SOPS 191929 HAS SOUS 160023 HAS SOUPS 125269 WITH SCORE 125495.686
AT ITER 4 NEW BEST:: SOT 448988 SOS 226573 HAS SOPS 191816 HAS SOUS 159934 HAS SOUPS 125180 WITH SCORE 125406.573
AT ITER 7 NEW BEST:: SOT 448731 SOS 226491 HAS SOPS 191734 HAS SOUS 159796 HAS SOUPS 125042 WITH SCORE 125268.491
AT ITER 8 NEW BEST:: SOT 448673 SOS 226375 HAS SOPS 191676 HAS SOUS 159680 HAS SOUPS 124984 WITH SCORE 125210.375
AT ITER 11 NEW BEST:: SOT 448570 SOS 226375 HAS SOPS 191676 HAS SOUS 159577 HAS SOUPS 124881 WITH SCORE 125107.375
AT ITER 16 NEW BEST:: SOT 448545 SOS 226375 HAS SOPS 191676 HAS SOUS 159552 HAS SOUPS 124856 WITH SCORE 125082.375
AT ITER 17 NEW BEST:: SOT 448438 SOS 226161 HAS SOPS 191569 HAS SOUS 159338 HAS SOUPS 124749 WITH SCORE 124975.161
AT ITER 19 NEW BEST:: SOT 448420 SOS 226125 HAS SOPS 191551 HAS SOUS 159302 HAS SOUPS 124731 WITH SCORE 124957.125
AT ITER 21 NEW BEST:: SOT 448236 SOS 225725 HAS SOPS 191367 HAS SOUS 158934 HAS SOUPS 124579 WITH SCORE 124804.725
AT ITER 26 NEW BEST:: SOT 448236 SOS 225712 HAS SOPS 191354 HAS SOUS 158921 HAS SOUPS 124566 WITH SCORE 124791.712
AT ITER 27 NEW BEST:: SOT 447941 SOS 225568 HAS SOPS 191210 HAS SOUS 158638 HAS SOUPS 124283 WITH SCORE 124508.568
AT ITER 29 NEW BEST:: SOT 447841 SOS 225568 HAS SOPS 191210 HAS SOUS 158538 HAS SOUPS 124183 WITH SCORE 124408.568
AT ITER 33 NEW BEST:: SOT 447841 SOS 225987 HAS SOPS 191210 HAS SOUS 158593 HAS SOUPS 124001 WITH SCORE 124226.987
AT ITER 36 NEW BEST:: SOT 447543 SOS 225841 HAS SOPS 191064 HAS SOUS 158297 HAS SOUPS 123705 WITH SCORE 123930.841
AT ITER 40 NEW BEST:: SOT 447543 SOS 226108 HAS SOPS 191064 HAS SOUS 158304 HAS SOUPS 123575 WITH SCORE 123801.108
AT ITER 44 NEW BEST:: SOT 447636 SOS 226710 HAS SOPS 191157 HAS SOUS 158563 HAS SOUPS 123552 WITH SCORE 123778.71
AT ITER 49 NEW BEST:: SOT 447599 SOS 226673 HAS SOPS 191120 HAS SOUS 158489 HAS SOUPS 123478 WITH SCORE 123704.673
AT ITER 53 NEW BEST:: SOT 447566 SOS 226673 HAS SOPS 191120 HAS SOUS 158456 HAS SOUPS 123445 WITH SCORE 123671.673
AT ITER 58 NEW BEST:: SOT 447437 SOS 226673 HAS SOPS 191172 HAS SOUS 158327 HAS SOUPS 123368 WITH SCORE 123594.673
AT ITER 61 NEW BEST:: SOT 447161 SOS 226571 HAS SOPS 191070 HAS SOUS 158113 HAS SOUPS 123154 WITH SCORE 123380.571
AT ITER 62 NEW BEST:: SOT 446991 SOS 226571 HAS SOPS 191070 HAS SOUS 157943 HAS SOUPS 122984 WITH SCORE 123210.571
AT ITER 65 NEW BEST:: SOT 446988 SOS 226565 HAS SOPS 191067 HAS SOUS 157937 HAS SOUPS 122981 WITH SCORE 123207.565
AT ITER 71 NEW BEST:: SOT 447068 SOS 227141 HAS SOPS 191147 HAS SOUS 158140 HAS SOUPS 122932 WITH SCORE 123159.141
AT ITER 80 NEW BEST:: SOT 447068 SOS 227422 HAS SOPS 191147 HAS SOUS 158237 HAS SOUPS 122840 WITH SCORE 123067.422
AT ITER 86 NEW BEST:: SOT 447068 SOS 227748 HAS SOPS 191147 HAS SOUS 158253 HAS SOUPS 122685 WITH SCORE 122912.748
AT ITER 97 NEW BEST:: SOT 447052 SOS 228059 HAS SOPS 191131 HAS SOUS 158260 HAS SOUPS 122509 WITH SCORE 122737.059
AT ITER 102 NEW BEST:: SOT 443282 SOS 224339 HAS SOPS 188539 HAS SOUS 154539 HAS SOUPS 119916 WITH SCORE 120140.339
AT ITER 104 NEW BEST:: SOT 443202 SOS 224259 HAS SOPS 188459 HAS SOUS 154379 HAS SOUPS 119756 WITH SCORE 119980.259
AT ITER 106 NEW BEST:: SOT 443202 SOS 224622 HAS SOPS 188459 HAS SOUS 154420 HAS SOUPS 119595 WITH SCORE 119819.622
AT ITER 107 NEW BEST:: SOT 443047 SOS 224704 HAS SOPS 188604 HAS SOUS 154347 HAS SOUPS 119585 WITH SCORE 119809.704
AT ITER 109 NEW BEST:: SOT 442975 SOS 224560 HAS SOPS 188532 HAS SOUS 154203 HAS SOUPS 119513 WITH SCORE 119737.56
AT ITER 116 NEW BEST:: SOT 442799 SOS 224208 HAS SOPS 188356 HAS SOUS 153851 HAS SOUPS 119337 WITH SCORE 119561.208
AT ITER 119 NEW BEST:: SOT 442750 SOS 224110 HAS SOPS 188307 HAS SOUS 153753 HAS SOUPS 119288 WITH SCORE 119512.11
AT ITER 130 NEW BEST:: SOT 442632 SOS 223874 HAS SOPS 188189 HAS SOUS 153517 HAS SOUPS 119170 WITH SCORE 119393.874
AT ITER 132 NEW BEST:: SOT 442539 SOS 223688 HAS SOPS 188096 HAS SOUS 153331 HAS SOUPS 119077 WITH SCORE 119300.688
AT ITER 133 NEW BEST:: SOT 442280 SOS 223613 HAS SOPS 188021 HAS SOUS 153168 HAS SOUPS 118914 WITH SCORE 119137.613
AT ITER 136 NEW BEST:: SOT 442097 SOS 223247 HAS SOPS 187838 HAS SOUS 152802 HAS SOUPS 118731 WITH SCORE 118954.247
AT ITER 138 NEW BEST:: SOT 441811 SOS 223138 HAS SOPS 187729 HAS SOUS 152516 HAS SOUPS 118445 WITH SCORE 118668.138
AT ITER 139 NEW BEST:: SOT 441746 SOS 223073 HAS SOPS 187664 HAS SOUS 152450 HAS SOUPS 118379 WITH SCORE 118602.073
AT ITER 147 NEW BEST:: SOT 441730 SOS 223057 HAS SOPS 187648 HAS SOUS 152418 HAS SOUPS 118347 WITH SCORE 118570.057
AT ITER 148 NEW BEST:: SOT 441553 SOS 222703 HAS SOPS 187471 HAS SOUS 152064 HAS SOUPS 118170 WITH SCORE 118392.703
AT ITER 155 NEW BEST:: SOT 441487 SOS 222571 HAS SOPS 187405 HAS SOUS 151932 HAS SOUPS 118104 WITH SCORE 118326.571
AT ITER 157 NEW BEST:: SOT 441438 SOS 222473 HAS SOPS 187356 HAS SOUS 151834 HAS SOUPS 118055 WITH SCORE 118277.473
AT ITER 158 NEW BEST:: SOT 441265 SOS 222127 HAS SOPS 187183 HAS SOUS 151488 HAS SOUPS 117882 WITH SCORE 118104.127
AT ITER 160 NEW BEST:: SOT 441265 SOS 222299 HAS SOPS 187183 HAS SOUS 151488 HAS SOUPS 117803 WITH SCORE 118025.299
AT ITER 164 NEW BEST:: SOT 441134 SOS 222299 HAS SOPS 187257 HAS SOUS 151357 HAS SOUPS 117746 WITH SCORE 117968.299
AT ITER 165 NEW BEST:: SOT 440971 SOS 222375 HAS SOPS 187383 HAS SOUS 151270 HAS SOUPS 117709 WITH SCORE 117931.375
AT ITER 172 NEW BEST:: SOT 440801 SOS 222035 HAS SOPS 187213 HAS SOUS 150930 HAS SOUPS 117539 WITH SCORE 117761.035
AT ITER 175 NEW BEST:: SOT 440893 SOS 222635 HAS SOPS 187305 HAS SOUS 151201 HAS SOUPS 117514 WITH SCORE 117736.635
AT ITER 176 NEW BEST:: SOT 440974 SOS 223213 HAS SOPS 187386 HAS SOUS 151372 HAS SOUPS 117467 WITH SCORE 117690.213
AT ITER 179 NEW BEST:: SOT 440927 SOS 223213 HAS SOPS 187386 HAS SOUS 151325 HAS SOUPS 117420 WITH SCORE 117643.213
AT ITER 183 NEW BEST:: SOT 440848 SOS 223055 HAS SOPS 187307 HAS SOUS 151167 HAS SOUPS 117341 WITH SCORE 117564.055
AT ITER 184 NEW BEST:: SOT 440720 SOS 222732 HAS SOPS 187179 HAS SOUS 150911 HAS SOUPS 117280 WITH SCORE 117502.732
AT ITER 187 NEW BEST:: SOT 440583 SOS 222733 HAS SOPS 187180 HAS SOUS 150801 HAS SOUPS 117170 WITH SCORE 117392.733
AT ITER 200 NEW BEST:: SOT 440448 SOS 222382 HAS SOPS 187045 HAS SOUS 150531 HAS SOUPS 117116 WITH SCORE 117338.382
AT ITER 207 NEW BEST:: SOT 440330 SOS 222146 HAS SOPS 186927 HAS SOUS 150295 HAS SOUPS 116998 WITH SCORE 117220.146
AT ITER 210 NEW BEST:: SOT 440330 SOS 222126 HAS SOPS 186887 HAS SOUS 150275 HAS SOUPS 116958 WITH SCORE 117180.126
AT ITER 240 NEW BEST:: SOT 440219 SOS 221904 HAS SOPS 186776 HAS SOUS 150053 HAS SOUPS 116847 WITH SCORE 117068.904
AT ITER 245 NEW BEST:: SOT 440041 SOS 221504 HAS SOPS 186598 HAS SOUS 149697 HAS SOUPS 116713 WITH SCORE 116934.504
AT ITER 246 NEW BEST:: SOT 440033 SOS 221496 HAS SOPS 186590 HAS SOUS 149681 HAS SOUPS 116697 WITH SCORE 116918.496
AT ITER 251 NEW BEST:: SOT 439987 SOS 221404 HAS SOPS 186544 HAS SOUS 149589 HAS SOUPS 116651 WITH SCORE 116872.404
AT ITER 259 NEW BEST:: SOT 439987 SOS 221776 HAS SOPS 186544 HAS SOUS 149617 HAS SOUPS 116479 WITH SCORE 116700.776
AT ITER 265 NEW BEST:: SOT 439890 SOS 221776 HAS SOPS 186544 HAS SOUS 149520 HAS SOUPS 116382 WITH SCORE 116603.776
AT ITER 280 NEW BEST:: SOT 423718 SOS 268243 HAS SOPS 233093 HAS SOUS 134378 HAS SOUPS 101322 WITH SCORE 101590.243
AT ITER 288 NEW BEST:: SOT 423703 SOS 268228 HAS SOPS 233078 HAS SOUS 134348 HAS SOUPS 101292 WITH SCORE 101560.228
AT ITER 289 NEW BEST:: SOT 423686 SOS 268211 HAS SOPS 233061 HAS SOUS 134314 HAS SOUPS 101258 WITH SCORE 101526.211
AT ITER 294 NEW BEST:: SOT 423508 SOS 268211 HAS SOPS 233101 HAS SOUS 134136 HAS SOUPS 101120 WITH SCORE 101388.211
AT ITER 303 NEW BEST:: SOT 423370 SOS 268211 HAS SOPS 233101 HAS SOUS 133998 HAS SOUPS 100982 WITH SCORE 101250.211
AT ITER 305 NEW BEST:: SOT 423370 SOS 268221 HAS SOPS 233081 HAS SOUS 134006 HAS SOUPS 100962 WITH SCORE 101230.221
AT ITER 309 NEW BEST:: SOT 423121 SOS 268079 HAS SOPS 232939 HAS SOUS 133757 HAS SOUPS 100713 WITH SCORE 100981.079
AT ITER 321 NEW BEST:: SOT 423033 SOS 267991 HAS SOPS 232851 HAS SOUS 133671 HAS SOUPS 100627 WITH SCORE 100894.991
AT ITER 327 NEW BEST:: SOT 422968 SOS 268345 HAS SOPS 232786 HAS SOUS 133666 HAS SOUPS 100350 WITH SCORE 100618.345
AT ITER 335 NEW BEST:: SOT 422946 SOS 268301 HAS SOPS 232764 HAS SOUS 133622 HAS SOUPS 100328 WITH SCORE 100596.301
AT ITER 347 NEW BEST:: SOT 422764 SOS 268325 HAS SOPS 232826 HAS SOUS 133464 HAS SOUPS 100208 WITH SCORE 100476.325
AT ITER 349 NEW BEST:: SOT 422737 SOS 268298 HAS SOPS 232799 HAS SOUS 133410 HAS SOUPS 100154 WITH SCORE 100422.298
AT ITER 356 NEW BEST:: SOT 422336 SOS 267897 HAS SOPS 232479 HAS SOUS 133153 HAS SOUPS 99897 WITH SCORE 100164.897
AT ITER 358 NEW BEST:: SOT 422130 SOS 267691 HAS SOPS 232273 HAS SOUS 133042 HAS SOUPS 99786 WITH SCORE 100053.691
AT ITER 362 NEW BEST:: SOT 421902 SOS 267611 HAS SOPS 232193 HAS SOUS 132884 HAS SOUPS 99628 WITH SCORE 99895.611
AT ITER 365 NEW BEST:: SOT 421529 SOS 267373 HAS SOPS 231955 HAS SOUS 132678 HAS SOUPS 99422 WITH SCORE 99689.373
AT ITER 370 NEW BEST:: SOT 421390 SOS 267234 HAS SOPS 231816 HAS SOUS 132580 HAS SOUPS 99324 WITH SCORE 99591.234
AT ITER 373 NEW BEST:: SOT 421390 SOS 267648 HAS SOPS 231816 HAS SOUS 132614 HAS SOUPS 99134 WITH SCORE 99401.648
AT ITER 383 NEW BEST:: SOT 421246 SOS 267648 HAS SOPS 231908 HAS SOUS 132470 HAS SOUPS 99082 WITH SCORE 99349.648
AT ITER 387 NEW BEST:: SOT 420964 SOS 267145 HAS SOPS 231626 HAS SOUS 132127 HAS SOUPS 98960 WITH SCORE 99227.145
AT ITER 392 NEW BEST:: SOT 420544 SOS 266345 HAS SOPS 231367 HAS SOUS 131668 HAS SOUPS 98881 WITH SCORE 99147.345
AT ITER 399 NEW BEST:: SOT 420455 SOS 266256 HAS SOPS 231278 HAS SOUS 131662 HAS SOUPS 98875 WITH SCORE 99141.256
AT ITER 409 NEW BEST:: SOT 420316 SOS 266256 HAS SOPS 231278 HAS SOUS 131523 HAS SOUPS 98736 WITH SCORE 99002.256
AT ITER 410 NEW BEST:: SOT 420270 SOS 266210 HAS SOPS 231232 HAS SOUS 131431 HAS SOUPS 98644 WITH SCORE 98910.21
AT ITER 412 NEW BEST:: SOT 420270 SOS 266120 HAS SOPS 231232 HAS SOUS 131341 HAS SOUPS 98644 WITH SCORE 98910.12
AT ITER 419 NEW BEST:: SOT 420270 SOS 266068 HAS SOPS 231180 HAS SOUS 131289 HAS SOUPS 98592 WITH SCORE 98858.068
AT ITER 420 NEW BEST:: SOT 419870 SOS 265433 HAS SOPS 230780 HAS SOUS 130724 HAS SOUPS 98262 WITH SCORE 98527.433
AT ITER 421 NEW BEST:: SOT 419470 SOS 264763 HAS SOPS 230380 HAS SOUS 130194 HAS SOUPS 98002 WITH SCORE 98266.763
AT ITER 430 NEW BEST:: SOT 419426 SOS 264719 HAS SOPS 230336 HAS SOUS 130150 HAS SOUPS 97958 WITH SCORE 98222.719
AT ITER 434 NEW BEST:: SOT 419226 SOS 264342 HAS SOPS 230136 HAS SOUS 129927 HAS SOUPS 97912 WITH SCORE 98176.342
AT ITER 438 NEW BEST:: SOT 419125 SOS 264241 HAS SOPS 230035 HAS SOUS 129927 HAS SOUPS 97912 WITH SCORE 98176.241
AT ITER 440 NEW BEST:: SOT 419125 SOS 264339 HAS SOPS 230035 HAS SOUS 129927 HAS SOUPS 97863 WITH SCORE 98127.339
AT ITER 441 NEW BEST:: SOT 418978 SOS 264192 HAS SOPS 229888 HAS SOUS 129903 HAS SOUPS 97839 WITH SCORE 98103.192
AT ITER 446 NEW BEST:: SOT 418978 SOS 264596 HAS SOPS 229888 HAS SOUS 129921 HAS SOUPS 97646 WITH SCORE 97910.596
AT ITER 450 NEW BEST:: SOT 418978 SOS 265076 HAS SOPS 229888 HAS SOUS 129993 HAS SOUPS 97442 WITH SCORE 97707.076
AT ITER 459 NEW BEST:: SOT 418846 SOS 265076 HAS SOPS 229930 HAS SOUS 129861 HAS SOUPS 97352 WITH SCORE 97617.076
AT ITER 460 NEW BEST:: SOT 418640 SOS 264951 HAS SOPS 229805 HAS SOUS 129655 HAS SOUPS 97146 WITH SCORE 97410.951
AT ITER 466 NEW BEST:: SOT 418258 SOS 264695 HAS SOPS 229549 HAS SOUS 129430 HAS SOUPS 96921 WITH SCORE 97185.695
AT ITER 468 NEW BEST:: SOT 418228 SOS 264665 HAS SOPS 229519 HAS SOUS 129370 HAS SOUPS 96861 WITH SCORE 97125.665
AT ITER 469 NEW BEST:: SOT 418208 SOS 264625 HAS SOPS 229499 HAS SOUS 129330 HAS SOUPS 96841 WITH SCORE 97105.625
AT ITER 472 NEW BEST:: SOT 418208 SOS 239540 HAS SOPS 204332 HAS SOUS 129163 HAS SOUPS 96592 WITH SCORE 96831.54
AT ITER 473 NEW BEST:: SOT 418147 SOS 239479 HAS SOPS 204271 HAS SOUS 129041 HAS SOUPS 96470 WITH SCORE 96709.479
AT ITER 474 NEW BEST:: SOT 417673 SOS 238606 HAS SOPS 203955 HAS SOUS 128508 HAS SOUPS 96353 WITH SCORE 96591.606
AT ITER 490 NEW BEST:: SOT 417602 SOS 238464 HAS SOPS 203884 HAS SOUS 128366 HAS SOUPS 96282 WITH SCORE 96520.464
AT ITER 492 NEW BEST:: SOT 417545 SOS 238350 HAS SOPS 203827 HAS SOUS 128252 HAS SOUPS 96225 WITH SCORE 96463.35
AT ITER 494 NEW BEST:: SOT 417599 SOS 238903 HAS SOPS 203881 HAS SOUS 128627 HAS SOUPS 96217 WITH SCORE 96455.903
AT ITER 495 NEW BEST:: SOT 417449 SOS 238915 HAS SOPS 204001 HAS SOUS 128489 HAS SOUPS 96187 WITH SCORE 96425.915
AT ITER 497 NEW BEST:: SOT 417191 SOS 238811 HAS SOPS 203897 HAS SOUS 128231 HAS SOUPS 95929 WITH SCORE 96167.811
AT ITER 506 NEW BEST:: SOT 417116 SOS 238595 HAS SOPS 203822 HAS SOUS 128081 HAS SOUPS 95779 WITH SCORE 96017.595
AT ITER 508 NEW BEST:: SOT 417036 SOS 238515 HAS SOPS 203742 HAS SOUS 128001 HAS SOUPS 95699 WITH SCORE 95937.515
AT ITER 510 NEW BEST:: SOT 417036 SOS 238937 HAS SOPS 203742 HAS SOUS 128049 HAS SOUPS 95512 WITH SCORE 95750.937
AT ITER 513 NEW BEST:: SOT 416979 SOS 238880 HAS SOPS 203685 HAS SOUS 128049 HAS SOUPS 95512 WITH SCORE 95750.88
AT ITER 517 NEW BEST:: SOT 416881 SOS 238782 HAS SOPS 203587 HAS SOUS 128049 HAS SOUPS 95512 WITH SCORE 95750.782
AT ITER 522 NEW BEST:: SOT 416881 SOS 238777 HAS SOPS 203582 HAS SOUS 128046 HAS SOUPS 95509 WITH SCORE 95747.777
AT ITER 530 NEW BEST:: SOT 416881 SOS 238960 HAS SOPS 203582 HAS SOUS 128046 HAS SOUPS 95447 WITH SCORE 95685.96
AT ITER 531 NEW BEST:: SOT 416958 SOS 239591 HAS SOPS 203659 HAS SOUS 128414 HAS SOUPS 95431 WITH SCORE 95670.591
AT ITER 540 NEW BEST:: SOT 416493 SOS 239384 HAS SOPS 203452 HAS SOUS 128332 HAS SOUPS 95349 WITH SCORE 95588.384
AT ITER 548 NEW BEST:: SOT 416463 SOS 239354 HAS SOPS 203422 HAS SOUS 128314 HAS SOUPS 95331 WITH SCORE 95570.354
AT ITER 549 NEW BEST:: SOT 416463 SOS 239340 HAS SOPS 203422 HAS SOUS 128300 HAS SOUPS 95331 WITH SCORE 95570.34
AT ITER 555 NEW BEST:: SOT 416463 SOS 239340 HAS SOPS 203422 HAS SOUS 128226 HAS SOUPS 95257 WITH SCORE 95496.34
AT ITER 556 NEW BEST:: SOT 416379 SOS 239172 HAS SOPS 203338 HAS SOUS 128058 HAS SOUPS 95173 WITH SCORE 95412.172
AT ITER 558 NEW BEST:: SOT 416204 SOS 238887 HAS SOPS 203163 HAS SOUS 127818 HAS SOUPS 95043 WITH SCORE 95281.887
AT ITER 568 NEW BEST:: SOT 416187 SOS 238853 HAS SOPS 203146 HAS SOUS 127801 HAS SOUPS 95043 WITH SCORE 95281.853
AT ITER 569 NEW BEST:: SOT 416181 SOS 238847 HAS SOPS 203140 HAS SOUS 127789 HAS SOUPS 95031 WITH SCORE 95269.847
AT ITER 575 NEW BEST:: SOT 416064 SOS 238730 HAS SOPS 203023 HAS SOUS 127555 HAS SOUPS 94797 WITH SCORE 95035.73
AT ITER 576 NEW BEST:: SOT 415964 SOS 238730 HAS SOPS 203023 HAS SOUS 127455 HAS SOUPS 94697 WITH SCORE 94935.73
AT ITER 589 NEW BEST:: SOT 415983 SOS 238805 HAS SOPS 202949 HAS SOUS 127474 HAS SOUPS 94623 WITH SCORE 94861.805
AT ITER 597 NEW BEST:: SOT 415881 SOS 238805 HAS SOPS 202949 HAS SOUS 127372 HAS SOUPS 94521 WITH SCORE 94759.805
AT ITER 598 NEW BEST:: SOT 415878 SOS 238576 HAS SOPS 202946 HAS SOUS 127072 HAS SOUPS 94447 WITH SCORE 94685.576
AT ITER 614 NEW BEST:: SOT 415635 SOS 238529 HAS SOPS 202899 HAS SOUS 126957 HAS SOUPS 94332 WITH SCORE 94570.529
AT ITER 621 NEW BEST:: SOT 415474 SOS 238207 HAS SOPS 202738 HAS SOUS 126796 HAS SOUPS 94332 WITH SCORE 94570.207
AT ITER 623 NEW BEST:: SOT 415139 SOS 237872 HAS SOPS 202403 HAS SOUS 126582 HAS SOUPS 94118 WITH SCORE 94355.872
AT ITER 624 NEW BEST:: SOT 415012 SOS 237872 HAS SOPS 202419 HAS SOUS 126455 HAS SOUPS 94007 WITH SCORE 94244.872
AT ITER 627 NEW BEST:: SOT 414694 SOS 237563 HAS SOPS 202110 HAS SOUS 126242 HAS SOUPS 93794 WITH SCORE 94031.563
AT ITER 638 NEW BEST:: SOT 414694 SOS 237909 HAS SOPS 202110 HAS SOUS 126296 HAS SOUPS 93648 WITH SCORE 93885.909
AT ITER 639 NEW BEST:: SOT 414612 SOS 237745 HAS SOPS 202110 HAS SOUS 126214 HAS SOUPS 93648 WITH SCORE 93885.745
AT ITER 643 NEW BEST:: SOT 414612 SOS 237858 HAS SOPS 202110 HAS SOUS 126214 HAS SOUPS 93611 WITH SCORE 93848.858
AT ITER 651 NEW BEST:: SOT 414212 SOS 237207 HAS SOPS 201710 HAS SOUS 125665 HAS SOUPS 93313 WITH SCORE 93550.207
AT ITER 655 NEW BEST:: SOT 414013 SOS 237008 HAS SOPS 201511 HAS SOUS 125267 HAS SOUPS 92915 WITH SCORE 93152.008
AT ITER 658 NEW BEST:: SOT 413887 SOS 236817 HAS SOPS 201385 HAS SOUS 125080 HAS SOUPS 92793 WITH SCORE 93029.817
AT ITER 669 NEW BEST:: SOT 413748 SOS 236678 HAS SOPS 201246 HAS SOUS 124941 HAS SOUPS 92654 WITH SCORE 92890.678
AT ITER 671 NEW BEST:: SOT 413604 SOS 236678 HAS SOPS 201246 HAS SOUS 124797 HAS SOUPS 92510 WITH SCORE 92746.678
AT ITER 681 NEW BEST:: SOT 413604 SOS 236696 HAS SOPS 201246 HAS SOUS 124797 HAS SOUPS 92492 WITH SCORE 92728.696
AT ITER 682 NEW BEST:: SOT 414440 SOS 232027 HAS SOPS 192213 HAS SOUS 125633 HAS SOUPS 89018 WITH SCORE 89250.027
AT ITER 684 NEW BEST:: SOT 414391 SOS 231978 HAS SOPS 192164 HAS SOUS 125537 HAS SOUPS 88922 WITH SCORE 89153.978
AT ITER 692 NEW BEST:: SOT 414280 SOS 231978 HAS SOPS 192190 HAS SOUS 125426 HAS SOUPS 88837 WITH SCORE 89068.978
AT ITER 695 NEW BEST:: SOT 413972 SOS 231780 HAS SOPS 191992 HAS SOUS 125355 HAS SOUPS 88766 WITH SCORE 88997.78
AT ITER 699 NEW BEST:: SOT 413965 SOS 231766 HAS SOPS 191992 HAS SOUS 125348 HAS SOUPS 88766 WITH SCORE 88997.766
AT ITER 711 NEW BEST:: SOT 414007 SOS 232212 HAS SOPS 192034 HAS SOUS 125440 HAS SOUPS 88695 WITH SCORE 88927.212
AT ITER 719 NEW BEST:: SOT 414007 SOS 232298 HAS SOPS 192034 HAS SOUS 125514 HAS SOUPS 88689 WITH SCORE 88921.298
AT ITER 726 NEW BEST:: SOT 413965 SOS 232214 HAS SOPS 191992 HAS SOUS 125430 HAS SOUPS 88647 WITH SCORE 88879.214
AT ITER 740 NEW BEST:: SOT 413841 SOS 232090 HAS SOPS 191868 HAS SOUS 125306 HAS SOUPS 88523 WITH SCORE 88755.09
AT ITER 741 NEW BEST:: SOT 413703 SOS 231952 HAS SOPS 191730 HAS SOUS 125030 HAS SOUPS 88247 WITH SCORE 88478.952
AT ITER 751 NEW BEST:: SOT 413617 SOS 231954 HAS SOPS 191732 HAS SOUS 124946 HAS SOUPS 88163 WITH SCORE 88394.954
AT ITER 757 NEW BEST:: SOT 413650 SOS 232379 HAS SOPS 191765 HAS SOUS 125119 HAS SOUPS 88074 WITH SCORE 88306.379
AT ITER 775 NEW BEST:: SOT 413650 SOS 232570 HAS SOPS 191765 HAS SOUS 125119 HAS SOUPS 88028 WITH SCORE 88260.57
AT ITER 777 NEW BEST:: SOT 413573 SOS 232377 HAS SOPS 191726 HAS SOUS 125042 HAS SOUPS 88028 WITH SCORE 88260.377
AT ITER 778 NEW BEST:: SOT 420249 SOS 230863 HAS SOPS 180568 HAS SOUS 122131 HAS SOUPS 85117 WITH SCORE 85347.863
AT ITER 788 NEW BEST:: SOT 420233 SOS 230863 HAS SOPS 180568 HAS SOUS 122115 HAS SOUPS 85101 WITH SCORE 85331.863
AT ITER 789 NEW BEST:: SOT 420288 SOS 230770 HAS SOPS 180423 HAS SOUS 121981 HAS SOUPS 84967 WITH SCORE 85197.77
AT ITER 792 NEW BEST:: SOT 420288 SOS 230770 HAS SOPS 180423 HAS SOUS 121930 HAS SOUPS 84916 WITH SCORE 85146.77
AT ITER 796 NEW BEST:: SOT 420387 SOS 230865 HAS SOPS 180387 HAS SOUS 121858 HAS SOUPS 84844 WITH SCORE 85074.865
AT ITER 799 NEW BEST:: SOT 420353 SOS 230831 HAS SOPS 180353 HAS SOUS 121790 HAS SOUPS 84776 WITH SCORE 85006.831
AT ITER 808 NEW BEST:: SOT 420353 SOS 230831 HAS SOPS 180353 HAS SOUS 121711 HAS SOUPS 84697 WITH SCORE 84927.831
AT ITER 809 NEW BEST:: SOT 420311 SOS 230789 HAS SOPS 180311 HAS SOUS 121627 HAS SOUPS 84613 WITH SCORE 84843.789
AT ITER 812 NEW BEST:: SOT 420311 SOS 230917 HAS SOPS 180311 HAS SOUS 121627 HAS SOUPS 84549 WITH SCORE 84779.917
AT ITER 820 NEW BEST:: SOT 420311 SOS 230905 HAS SOPS 180311 HAS SOUS 121615 HAS SOUPS 84549 WITH SCORE 84779.905
AT ITER 821 NEW BEST:: SOT 420311 SOS 231381 HAS SOPS 180311 HAS SOUS 121615 HAS SOUPS 84311 WITH SCORE 84542.381
AT ITER 824 NEW BEST:: SOT 420040 SOS 231211 HAS SOPS 180141 HAS SOUS 121344 HAS SOUPS 84040 WITH SCORE 84271.211
AT ITER 835 NEW BEST:: SOT 419887 SOS 230793 HAS SOPS 179988 HAS SOUS 121191 HAS SOUPS 84040 WITH SCORE 84270.793
AT ITER 855 NEW BEST:: SOT 419697 SOS 230713 HAS SOPS 179908 HAS SOUS 121078 HAS SOUPS 83927 WITH SCORE 84157.713
AT ITER 857 NEW BEST:: SOT 419697 SOS 230818 HAS SOPS 179908 HAS SOUS 121078 HAS SOUPS 83846 WITH SCORE 84076.818
AT ITER 861 NEW BEST:: SOT 419697 SOS 230880 HAS SOPS 179908 HAS SOUS 121073 HAS SOUPS 83810 WITH SCORE 84040.88
AT ITER 863 NEW BEST:: SOT 419620 SOS 230611 HAS SOPS 179831 HAS SOUS 120919 HAS SOUPS 83752 WITH SCORE 83982.611
AT ITER 866 NEW BEST:: SOT 419555 SOS 230416 HAS SOPS 179766 HAS SOUS 120854 HAS SOUPS 83752 WITH SCORE 83982.416
AT ITER 873 NEW BEST:: SOT 419550 SOS 230401 HAS SOPS 179761 HAS SOUS 120849 HAS SOUPS 83752 WITH SCORE 83982.401
AT ITER 875 NEW BEST:: SOT 419552 SOS 230854 HAS SOPS 179763 HAS SOUS 120853 HAS SOUPS 83540 WITH SCORE 83770.854
AT ITER 876 NEW BEST:: SOT 419581 SOS 231003 HAS SOPS 179792 HAS SOUS 120911 HAS SOUPS 83538 WITH SCORE 83769.003
AT ITER 883 NEW BEST:: SOT 419539 SOS 231003 HAS SOPS 179792 HAS SOUS 120869 HAS SOUPS 83496 WITH SCORE 83727.003
AT ITER 884 NEW BEST:: SOT 419646 SOS 231939 HAS SOPS 179899 HAS SOUS 121110 HAS SOUPS 83298 WITH SCORE 83529.939
AT ITER 915 NEW BEST:: SOT 419562 SOS 231939 HAS SOPS 179959 HAS SOUS 121026 HAS SOUPS 83274 WITH SCORE 83505.939
AT ITER 936 NEW BEST:: SOT 419562 SOS 232033 HAS SOPS 179959 HAS SOUS 121026 HAS SOUPS 83227 WITH SCORE 83459.033
AT ITER 940 NEW BEST:: SOT 419562 SOS 232002 HAS SOPS 179928 HAS SOUS 121026 HAS SOUPS 83227 WITH SCORE 83459.002
AT ITER 948 NEW BEST:: SOT 419526 SOS 232002 HAS SOPS 179928 HAS SOUS 120990 HAS SOUPS 83191 WITH SCORE 83423.002
AT ITER 951 NEW BEST:: SOT 419504 SOS 231953 HAS SOPS 179906 HAS SOUS 120971 HAS SOUPS 83172 WITH SCORE 83403.953
AT ITER 968 NEW BEST:: SOT 419503 SOS 231944 HAS SOPS 179905 HAS SOUS 120961 HAS SOUPS 83170 WITH SCORE 83401.944
AT ITER 998 NEW BEST:: SOT 419493 SOS 231913 HAS SOPS 179895 HAS SOUS 120920 HAS SOUPS 83150 WITH SCORE 83381.913
AT ITER 1012 NEW BEST:: SOT 419455 SOS 231875 HAS SOPS 179857 HAS SOUS 120844 HAS SOUPS 83074 WITH SCORE 83305.875
AT ITER 1014 NEW BEST:: SOT 419516 SOS 231936 HAS SOPS 179853 HAS SOUS 120836 HAS SOUPS 83066 WITH SCORE 83297.936
AT ITER 1015 NEW BEST:: SOT 419580 SOS 232328 HAS SOPS 179653 HAS SOUS 121046 HAS SOUPS 82866 WITH SCORE 83098.328
AT ITER 1018 NEW BEST:: SOT 419675 SOS 232930 HAS SOPS 179748 HAS SOUS 121236 HAS SOUPS 82851 WITH SCORE 83083.93
AT ITER 1021 NEW BEST:: SOT 419675 SOS 232923 HAS SOPS 179741 HAS SOUS 121222 HAS SOUPS 82837 WITH SCORE 83069.923
AT ITER 1031 NEW BEST:: SOT 419803 SOS 233307 HAS SOPS 179741 HAS SOUS 121222 HAS SOUPS 82709 WITH SCORE 82942.307
AT ITER 1032 NEW BEST:: SOT 419645 SOS 232833 HAS SOPS 179583 HAS SOUS 121064 HAS SOUPS 82709 WITH SCORE 82941.833
AT ITER 1039 NEW BEST:: SOT 419645 SOS 233319 HAS SOPS 179583 HAS SOUS 121064 HAS SOUPS 82534 WITH SCORE 82767.319
AT ITER 1043 NEW BEST:: SOT 419672 SOS 233373 HAS SOPS 179583 HAS SOUS 121064 HAS SOUPS 82507 WITH SCORE 82740.373
AT ITER 1056 NEW BEST:: SOT 430824 SOS 234314 HAS SOPS 168345 HAS SOUS 132216 HAS SOUPS 81650 WITH SCORE 81884.314
AT ITER 1075 NEW BEST:: SOT 430824 SOS 234238 HAS SOPS 168193 HAS SOUS 132140 HAS SOUPS 81498 WITH SCORE 81732.238
AT ITER 1077 NEW BEST:: SOT 430824 SOS 234238 HAS SOPS 168087 HAS SOUS 132140 HAS SOUPS 81392 WITH SCORE 81626.238
AT ITER 1078 NEW BEST:: SOT 430824 SOS 234565 HAS SOPS 168087 HAS SOUS 132140 HAS SOUPS 81332 WITH SCORE 81566.565
AT ITER 1091 NEW BEST:: SOT 430824 SOS 234566 HAS SOPS 168085 HAS SOUS 132140 HAS SOUPS 81330 WITH SCORE 81564.566
AT ITER 1092 NEW BEST:: SOT 430824 SOS 234520 HAS SOPS 168085 HAS SOUS 132094 HAS SOUPS 81330 WITH SCORE 81564.52
AT ITER 1099 NEW BEST:: SOT 430864 SOS 234655 HAS SOPS 167975 HAS SOUS 132079 HAS SOUPS 81220 WITH SCORE 81454.655
AT ITER 1117 NEW BEST:: SOT 430834 SOS 234625 HAS SOPS 167945 HAS SOUS 132019 HAS SOUPS 81160 WITH SCORE 81394.625
AT ITER 1155 NEW BEST:: SOT 430834 SOS 234597 HAS SOPS 167805 HAS SOUS 131991 HAS SOUPS 81020 WITH SCORE 81254.597
AT ITER 1164 NEW BEST:: SOT 430834 SOS 228596 HAS SOPS 161763 HAS SOUS 131950 HAS SOUPS 80938 WITH SCORE 81166.596
AT ITER 1169 NEW BEST:: SOT 431174 SOS 229513 HAS SOPS 161569 HAS SOUS 132428 HAS SOUPS 80743 WITH SCORE 80972.513
AT ITER 1176 NEW BEST:: SOT 431174 SOS 229513 HAS SOPS 161447 HAS SOUS 132306 HAS SOUPS 80621 WITH SCORE 80850.513
AT ITER 1192 NEW BEST:: SOT 431600 SOS 230642 HAS SOPS 161329 HAS SOUS 132769 HAS SOUPS 80323 WITH SCORE 80553.642
AT ITER 1194 NEW BEST:: SOT 431608 SOS 230650 HAS SOPS 161337 HAS SOUS 132688 HAS SOUPS 80242 WITH SCORE 80472.65
AT ITER 1199 NEW BEST:: SOT 431531 SOS 230573 HAS SOPS 161357 HAS SOUS 132631 HAS SOUPS 80185 WITH SCORE 80415.573
AT ITER 1200 NEW BEST:: SOT 431711 SOS 230770 HAS SOPS 161218 HAS SOUS 132760 HAS SOUPS 79978 WITH SCORE 80208.77
AT ITER 1201 NEW BEST:: SOT 431711 SOS 230883 HAS SOPS 161049 HAS SOUS 132619 HAS SOUPS 79696 WITH SCORE 79926.883
AT ITER 1211 NEW BEST:: SOT 431721 SOS 230879 HAS SOPS 161027 HAS SOUS 132607 HAS SOUPS 79684 WITH SCORE 79914.879
AT ITER 1215 NEW BEST:: SOT 431732 SOS 231308 HAS SOPS 161038 HAS SOUS 132629 HAS SOUPS 79606 WITH SCORE 79837.308
AT ITER 1222 NEW BEST:: SOT 431732 SOS 231308 HAS SOPS 161026 HAS SOUS 132617 HAS SOUPS 79594 WITH SCORE 79825.308
AT ITER 1225 NEW BEST:: SOT 431824 SOS 231608 HAS SOPS 160908 HAS SOUS 132709 HAS SOUPS 79420 WITH SCORE 79651.608
AT ITER 1226 NEW BEST:: SOT 431848 SOS 231654 HAS SOPS 160838 HAS SOUS 132733 HAS SOUPS 79328 WITH SCORE 79559.654
AT ITER 1230 NEW BEST:: SOT 401653 SOS 201459 HAS SOPS 130486 HAS SOUS 102180 HAS SOUPS 48775 WITH SCORE 48976.459
AT ITER 1231 NEW BEST:: SOT 401653 SOS 201458 HAS SOPS 130486 HAS SOUS 102180 HAS SOUPS 48775 WITH SCORE 48976.458
AT ITER 1233 NEW BEST:: SOT 401653 SOS 201458 HAS SOPS 130486 HAS SOUS 102137 HAS SOUPS 48732 WITH SCORE 48933.458
AT ITER 1234 NEW BEST:: SOT 401633 SOS 201438 HAS SOPS 130466 HAS SOUS 102117 HAS SOUPS 48712 WITH SCORE 48913.438
AT ITER 1238 NEW BEST:: SOT 401633 SOS 201417 HAS SOPS 130466 HAS SOUS 102117 HAS SOUPS 48712 WITH SCORE 48913.417
AT ITER 1261 NEW BEST:: SOT 401633 SOS 201618 HAS SOPS 130466 HAS SOUS 102117 HAS SOUPS 48700 WITH SCORE 48901.618
AT ITER 1269 NEW BEST:: SOT 401767 SOS 201770 HAS SOPS 130224 HAS SOUS 102251 HAS SOUPS 48440 WITH SCORE 48641.77
AT ITER 1270 NEW BEST:: SOT 401767 SOS 201758 HAS SOPS 130224 HAS SOUS 102251 HAS SOUPS 48440 WITH SCORE 48641.758
AT ITER 1291 NEW BEST:: SOT 401584 SOS 201469 HAS SOPS 130041 HAS SOUS 102081 HAS SOUPS 48376 WITH SCORE 48577.469
AT ITER 1305 NEW BEST:: SOT 401600 SOS 201817 HAS SOPS 130057 HAS SOUS 102113 HAS SOUPS 48285 WITH SCORE 48486.817
AT ITER 1312 NEW BEST:: SOT 401469 SOS 201609 HAS SOPS 129926 HAS SOUS 101982 HAS SOUPS 48231 WITH SCORE 48432.609
AT ITER 1315 NEW BEST:: SOT 401561 SOS 201773 HAS SOPS 129996 HAS SOUS 101982 HAS SOUPS 48137 WITH SCORE 48338.773
AT ITER 1323 NEW BEST:: SOT 401561 SOS 201738 HAS SOPS 129996 HAS SOUS 101982 HAS SOUPS 48137 WITH SCORE 48338.738
AT ITER 1324 NEW BEST:: SOT 401754 SOS 201899 HAS SOPS 129962 HAS SOUS 101874 HAS SOUPS 48029 WITH SCORE 48230.899
AT ITER 1339 NEW BEST:: SOT 401831 SOS 202084 HAS SOPS 130039 HAS SOUS 101920 HAS SOUPS 48021 WITH SCORE 48223.084
AT ITER 1354 NEW BEST:: SOT 401766 SOS 202019 HAS SOPS 129974 HAS SOUS 101790 HAS SOUPS 47891 WITH SCORE 48093.019
AT ITER 1361 NEW BEST:: SOT 401800 SOS 190223 HAS SOPS 118004 HAS SOUS 101737 HAS SOUPS 47751 WITH SCORE 47941.223
AT ITER 1362 NEW BEST:: SOT 401976 SOS 190553 HAS SOPS 117992 HAS SOUS 101913 HAS SOUPS 47641 WITH SCORE 47831.553
AT ITER 1365 NEW BEST:: SOT 402090 SOS 190889 HAS SOPS 117912 HAS SOUS 102027 HAS SOUPS 47494 WITH SCORE 47684.889
AT ITER 1368 NEW BEST:: SOT 402090 SOS 190889 HAS SOPS 117704 HAS SOUS 102027 HAS SOUPS 47286 WITH SCORE 47476.889
AT ITER 1391 NEW BEST:: SOT 402090 SOS 191186 HAS SOPS 117704 HAS SOUS 102027 HAS SOUPS 47230 WITH SCORE 47421.186
AT ITER 1394 NEW BEST:: SOT 402456 SOS 191968 HAS SOPS 117678 HAS SOUS 102406 HAS SOUPS 47024 WITH SCORE 47215.968
AT ITER 1401 NEW BEST:: SOT 400206 SOS 221103 HAS SOPS 146994 HAS SOUS 100231 HAS SOUPS 45030 WITH SCORE 45251.103
AT ITER 1408 NEW BEST:: SOT 400564 SOS 222038 HAS SOPS 146936 HAS SOUS 100589 HAS SOUPS 44783 WITH SCORE 45005.038
AT ITER 1427 NEW BEST:: SOT 400419 SOS 221893 HAS SOPS 146791 HAS SOUS 100487 HAS SOUPS 44681 WITH SCORE 44902.893
AT ITER 1433 NEW BEST:: SOT 400419 SOS 221895 HAS SOPS 146787 HAS SOUS 100487 HAS SOUPS 44677 WITH SCORE 44898.895
AT ITER 1439 NEW BEST:: SOT 400435 SOS 221943 HAS SOPS 146787 HAS SOUS 100487 HAS SOUPS 44661 WITH SCORE 44882.943
AT ITER 1443 NEW BEST:: SOT 400056 SOS 221557 HAS SOPS 146588 HAS SOUS 100281 HAS SOUPS 44642 WITH SCORE 44863.557
AT ITER 1470 NEW BEST:: SOT 400056 SOS 221527 HAS SOPS 146588 HAS SOUS 100281 HAS SOUPS 44642 WITH SCORE 44863.527
AT ITER 1471 NEW BEST:: SOT 400056 SOS 221461 HAS SOPS 146588 HAS SOUS 100281 HAS SOUPS 44642 WITH SCORE 44863.461
AT ITER 1497 NEW BEST:: SOT 400056 SOS 221445 HAS SOPS 146556 HAS SOUS 100265 HAS SOUPS 44610 WITH SCORE 44831.445
AT ITER 1510 NEW BEST:: SOT 400050 SOS 221439 HAS SOPS 146550 HAS SOUS 100253 HAS SOUPS 44598 WITH SCORE 44819.439
AT ITER 1512 NEW BEST:: SOT 400124 SOS 221504 HAS SOPS 146532 HAS SOUS 100242 HAS SOUPS 44504 WITH SCORE 44725.504
AT ITER 1520 NEW BEST:: SOT 400124 SOS 221382 HAS SOPS 146532 HAS SOUS 100242 HAS SOUPS 44504 WITH SCORE 44725.382
AT ITER 1526 NEW BEST:: SOT 400043 SOS 221301 HAS SOPS 146451 HAS SOUS 100238 HAS SOUPS 44500 WITH SCORE 44721.301
AT ITER 1536 NEW BEST:: SOT 400023 SOS 221281 HAS SOPS 146451 HAS SOUS 100238 HAS SOUPS 44500 WITH SCORE 44721.281
AT ITER 1545 NEW BEST:: SOT 400074 SOS 221370 HAS SOPS 146464 HAS SOUS 100239 HAS SOUPS 44425 WITH SCORE 44646.37
AT ITER 1548 NEW BEST:: SOT 399886 SOS 221182 HAS SOPS 146079 HAS SOUS 99863 HAS SOUPS 44049 WITH SCORE 44270.182
AT ITER 1553 NEW BEST:: SOT 399800 SOS 221058 HAS SOPS 145993 HAS SOUS 99739 HAS SOUPS 43963 WITH SCORE 44184.058
AT ITER 1556 NEW BEST:: SOT 399829 SOS 221608 HAS SOPS 146022 HAS SOUS 99797 HAS SOUPS 43836 WITH SCORE 44057.608
AT ITER 1574 NEW BEST:: SOT 399813 SOS 221592 HAS SOPS 146006 HAS SOUS 99765 HAS SOUPS 43804 WITH SCORE 44025.592
AT ITER 1583 NEW BEST:: SOT 399867 SOS 221664 HAS SOPS 145998 HAS SOUS 99819 HAS SOUPS 43778 WITH SCORE 43999.664
AT ITER 1602 NEW BEST:: SOT 399867 SOS 221642 HAS SOPS 145998 HAS SOUS 99819 HAS SOUPS 43778 WITH SCORE 43999.642
AT ITER 1603 NEW BEST:: SOT 399867 SOS 221578 HAS SOPS 145998 HAS SOUS 99755 HAS SOUPS 43778 WITH SCORE 43999.578
AT ITER 1605 NEW BEST:: SOT 399867 SOS 221499 HAS SOPS 145998 HAS SOUS 99755 HAS SOUPS 43778 WITH SCORE 43999.499
AT ITER 1606 NEW BEST:: SOT 399867 SOS 221458 HAS SOPS 145998 HAS SOUS 99714 HAS SOUPS 43778 WITH SCORE 43999.458
AT ITER 1615 NEW BEST:: SOT 399867 SOS 221334 HAS SOPS 145998 HAS SOUS 99714 HAS SOUPS 43778 WITH SCORE 43999.334
AT ITER 1616 NEW BEST:: SOT 400051 SOS 221904 HAS SOPS 145800 HAS SOUS 99898 HAS SOUPS 43478 WITH SCORE 43699.904
AT ITER 1620 NEW BEST:: SOT 399853 SOS 221706 HAS SOPS 145602 HAS SOUS 99786 HAS SOUPS 43366 WITH SCORE 43587.706
AT ITER 1621 NEW BEST:: SOT 399883 SOS 222301 HAS SOPS 145632 HAS SOUS 99846 HAS SOUPS 43277 WITH SCORE 43499.301
AT ITER 1629 NEW BEST:: SOT 400009 SOS 222636 HAS SOPS 145614 HAS SOUS 99972 HAS SOUPS 43186 WITH SCORE 43408.636
AT ITER 1634 NEW BEST:: SOT 399837 SOS 222501 HAS SOPS 145614 HAS SOUS 99972 HAS SOUPS 43186 WITH SCORE 43408.501
AT ITER 1672 NEW BEST:: SOT 399837 SOS 222723 HAS SOPS 145455 HAS SOUS 99972 HAS SOUPS 42932 WITH SCORE 43154.723
AT ITER 1680 NEW BEST:: SOT 399780 SOS 222666 HAS SOPS 145341 HAS SOUS 99858 HAS SOUPS 42818 WITH SCORE 43040.666
AT ITER 1693 NEW BEST:: SOT 399780 SOS 222666 HAS SOPS 145337 HAS SOUS 99858 HAS SOUPS 42814 WITH SCORE 43036.666
AT ITER 1695 NEW BEST:: SOT 400130 SOS 223481 HAS SOPS 145479 HAS SOUS 100208 HAS SOUPS 42771 WITH SCORE 42994.481
AT ITER 1697 NEW BEST:: SOT 400165 SOS 223678 HAS SOPS 145316 HAS SOUS 100123 HAS SOUPS 42566 WITH SCORE 42789.678
AT ITER 1698 NEW BEST:: SOT 400165 SOS 223666 HAS SOPS 144932 HAS SOUS 100111 HAS SOUPS 42182 WITH SCORE 42405.666
AT ITER 1718 NEW BEST:: SOT 400165 SOS 223710 HAS SOPS 144932 HAS SOUS 100111 HAS SOUPS 42160 WITH SCORE 42383.71
AT ITER 1720 NEW BEST:: SOT 400216 SOS 223863 HAS SOPS 144983 HAS SOUS 100121 HAS SOUPS 42119 WITH SCORE 42342.863
AT ITER 1722 NEW BEST:: SOT 400339 SOS 224218 HAS SOPS 145106 HAS SOUS 100201 HAS SOUPS 42064 WITH SCORE 42288.218
AT ITER 1736 NEW BEST:: SOT 400339 SOS 224166 HAS SOPS 145106 HAS SOUS 100201 HAS SOUPS 42064 WITH SCORE 42288.166
AT ITER 1737 NEW BEST:: SOT 400339 SOS 224160 HAS SOPS 144818 HAS SOUS 100195 HAS SOUPS 41776 WITH SCORE 42000.16
AT ITER 1755 NEW BEST:: SOT 400338 SOS 224116 HAS SOPS 144774 HAS SOUS 100194 HAS SOUPS 41775 WITH SCORE 41999.116
AT ITER 1761 NEW BEST:: SOT 400338 SOS 224118 HAS SOPS 144770 HAS SOUS 100194 HAS SOUPS 41771 WITH SCORE 41995.118
AT ITER 1774 NEW BEST:: SOT 400404 SOS 224461 HAS SOPS 144436 HAS SOUS 100260 HAS SOUPS 41394 WITH SCORE 41618.461
AT ITER 1788 NEW BEST:: SOT 400404 SOS 224461 HAS SOPS 144436 HAS SOUS 100259 HAS SOUPS 41393 WITH SCORE 41617.461
AT ITER 1792 NEW BEST:: SOT 400404 SOS 224424 HAS SOPS 144436 HAS SOUS 100259 HAS SOUPS 41393 WITH SCORE 41617.424
AT ITER 1806 NEW BEST:: SOT 400381 SOS 224401 HAS SOPS 144390 HAS SOUS 100213 HAS SOUPS 41347 WITH SCORE 41571.401
AT ITER 1810 NEW BEST:: SOT 400321 SOS 224341 HAS SOPS 144270 HAS SOUS 100093 HAS SOUPS 41227 WITH SCORE 41451.341
AT ITER 1828 NEW BEST:: SOT 400321 SOS 224341 HAS SOPS 144242 HAS SOUS 100093 HAS SOUPS 41199 WITH SCORE 41423.341
AT ITER 1833 NEW BEST:: SOT 400405 SOS 224741 HAS SOPS 143884 HAS SOUS 100177 HAS SOUPS 40789 WITH SCORE 41013.741
AT ITER 1839 NEW BEST:: SOT 397196 SOS 223324 HAS SOPS 144462 HAS SOUS 96962 HAS SOUPS 39569 WITH SCORE 39792.324
AT ITER 1842 NEW BEST:: SOT 397196 SOS 223457 HAS SOPS 144462 HAS SOUS 96962 HAS SOUPS 39554 WITH SCORE 39777.457
AT ITER 1843 NEW BEST:: SOT 397196 SOS 223455 HAS SOPS 144462 HAS SOUS 96962 HAS SOUPS 39554 WITH SCORE 39777.455
AT ITER 1889 NEW BEST:: SOT 397207 SOS 224083 HAS SOPS 144473 HAS SOUS 96984 HAS SOUPS 39367 WITH SCORE 39591.083
AT ITER 1938 NEW BEST:: SOT 397207 SOS 224037 HAS SOPS 144473 HAS SOUS 96984 HAS SOUPS 39367 WITH SCORE 39591.037
AT ITER 1940 NEW BEST:: SOT 397312 SOS 224571 HAS SOPS 144403 HAS SOUS 97089 HAS SOUPS 39090 WITH SCORE 39314.571
AT ITER 1948 NEW BEST:: SOT 397311 SOS 224499 HAS SOPS 144331 HAS SOUS 97088 HAS SOUPS 39089 WITH SCORE 39313.499
AT ITER 1954 NEW BEST:: SOT 397121 SOS 224196 HAS SOPS 144141 HAS SOUS 96898 HAS SOUPS 38994 WITH SCORE 39218.196
AT ITER 1957 NEW BEST:: SOT 396989 SOS 224064 HAS SOPS 144009 HAS SOUS 96882 HAS SOUPS 38978 WITH SCORE 39202.064
AT ITER 1987 NEW BEST:: SOT 396989 SOS 224402 HAS SOPS 144009 HAS SOUS 96882 HAS SOUPS 38946 WITH SCORE 39170.402
AT ITER 1993 NEW BEST:: SOT 396989 SOS 224493 HAS SOPS 144009 HAS SOUS 96882 HAS SOUPS 38912 WITH SCORE 39136.493
AT ITER 1995 NEW BEST:: SOT 396861 SOS 224237 HAS SOPS 143881 HAS SOUS 96754 HAS SOUPS 38848 WITH SCORE 39072.237
AT ITER 2000 NEW BEST:: SOT 396902 SOS 224360 HAS SOPS 143922 HAS SOUS 96754 HAS SOUPS 38807 WITH SCORE 39031.36
AT ITER 2005 NEW BEST:: SOT 397027 SOS 225275 HAS SOPS 144047 HAS SOUS 97023 HAS SOUPS 38779 WITH SCORE 39004.275
AT ITER 2036 NEW BEST:: SOT 396981 SOS 225229 HAS SOPS 144001 HAS SOUS 97023 HAS SOUPS 38779 WITH SCORE 39004.229
AT ITER 2054 NEW BEST:: SOT 396981 SOS 225508 HAS SOPS 144001 HAS SOUS 97023 HAS SOUPS 38675 WITH SCORE 38900.508
AT ITER 2078 NEW BEST:: SOT 397074 SOS 225877 HAS SOPS 144012 HAS SOUS 97116 HAS SOUPS 38548 WITH SCORE 38773.877
AT ITER 2090 NEW BEST:: SOT 397074 SOS 225758 HAS SOPS 144012 HAS SOUS 97116 HAS SOUPS 38548 WITH SCORE 38773.758
AT ITER 2092 NEW BEST:: SOT 397074 SOS 225744 HAS SOPS 144012 HAS SOUS 97116 HAS SOUPS 38548 WITH SCORE 38773.744
AT ITER 2093 NEW BEST:: SOT 397074 SOS 225744 HAS SOPS 144012 HAS SOUS 97079 HAS SOUPS 38511 WITH SCORE 38736.744
AT ITER 2104 NEW BEST:: SOT 396886 SOS 225556 HAS SOPS 143824 HAS SOUS 96961 HAS SOUPS 38393 WITH SCORE 38618.556
AT ITER 2105 NEW BEST:: SOT 396877 SOS 225547 HAS SOPS 143815 HAS SOUS 96943 HAS SOUPS 38375 WITH SCORE 38600.547
AT ITER 2111 NEW BEST:: SOT 397050 SOS 225702 HAS SOPS 143583 HAS SOUS 96807 HAS SOUPS 38150 WITH SCORE 38375.702
AT ITER 2117 NEW BEST:: SOT 397000 SOS 225602 HAS SOPS 143533 HAS SOUS 96757 HAS SOUPS 38125 WITH SCORE 38350.602
AT ITER 2119 NEW BEST:: SOT 396999 SOS 225543 HAS SOPS 143429 HAS SOUS 96801 HAS SOUPS 38124 WITH SCORE 38349.543
AT ITER 2137 NEW BEST:: SOT 396999 SOS 225493 HAS SOPS 143429 HAS SOUS 96801 HAS SOUPS 38124 WITH SCORE 38349.493
AT ITER 2146 NEW BEST:: SOT 397014 SOS 225625 HAS SOPS 143325 HAS SOUS 96814 HAS SOUPS 37901 WITH SCORE 38126.625
AT ITER 2151 NEW BEST:: SOT 397009 SOS 225620 HAS SOPS 143320 HAS SOUS 96804 HAS SOUPS 37891 WITH SCORE 38116.62
AT ITER 2172 NEW BEST:: SOT 397009 SOS 225513 HAS SOPS 143320 HAS SOUS 96804 HAS SOUPS 37891 WITH SCORE 38116.513
AT ITER 2178 NEW BEST:: SOT 397009 SOS 225443 HAS SOPS 143320 HAS SOUS 96804 HAS SOUPS 37891 WITH SCORE 38116.443
AT ITER 2179 NEW BEST:: SOT 396893 SOS 225327 HAS SOPS 143204 HAS SOUS 96572 HAS SOUPS 37659 WITH SCORE 37884.327
AT ITER 2191 NEW BEST:: SOT 396902 SOS 225251 HAS SOPS 143061 HAS SOUS 96485 HAS SOUPS 37505 WITH SCORE 37730.251
AT ITER 2198 NEW BEST:: SOT 397327 SOS 226406 HAS SOPS 143343 HAS SOUS 96910 HAS SOUPS 37422 WITH SCORE 37648.406
AT ITER 2217 NEW BEST:: SOT 397327 SOS 226361 HAS SOPS 143343 HAS SOUS 96865 HAS SOUPS 37422 WITH SCORE 37648.361
AT ITER 2231 NEW BEST:: SOT 397235 SOS 226177 HAS SOPS 143067 HAS SOUS 96681 HAS SOUPS 37146 WITH SCORE 37372.177
AT ITER 2235 NEW BEST:: SOT 397301 SOS 226375 HAS SOPS 143067 HAS SOUS 96681 HAS SOUPS 37080 WITH SCORE 37306.375
AT ITER 2277 NEW BEST:: SOT 397301 SOS 226342 HAS SOPS 143067 HAS SOUS 96681 HAS SOUPS 37080 WITH SCORE 37306.342
AT ITER 2305 NEW BEST:: SOT 397355 SOS 226672 HAS SOPS 143121 HAS SOUS 96789 HAS SOUPS 37050 WITH SCORE 37276.672
AT ITER 2317 NEW BEST:: SOT 397463 SOS 226750 HAS SOPS 143037 HAS SOUS 96757 HAS SOUPS 36856 WITH SCORE 37082.75
AT ITER 2329 NEW BEST:: SOT 397463 SOS 226760 HAS SOPS 143032 HAS SOUS 96757 HAS SOUPS 36846 WITH SCORE 37072.76
AT ITER 2335 NEW BEST:: SOT 397606 SOS 226903 HAS SOPS 143012 HAS SOUS 96717 HAS SOUPS 36806 WITH SCORE 37032.903
AT ITER 2337 NEW BEST:: SOT 397552 SOS 226675 HAS SOPS 142958 HAS SOUS 96609 HAS SOUPS 36796 WITH SCORE 37022.675
AT ITER 2340 NEW BEST:: SOT 397552 SOS 226675 HAS SOPS 142758 HAS SOUS 96609 HAS SOUPS 36596 WITH SCORE 36822.675
AT ITER 2345 NEW BEST:: SOT 397552 SOS 226702 HAS SOPS 142704 HAS SOUS 96609 HAS SOUPS 36542 WITH SCORE 36768.702
AT ITER 2346 NEW BEST:: SOT 397544 SOS 226694 HAS SOPS 142696 HAS SOUS 96601 HAS SOUPS 36534 WITH SCORE 36760.694
AT ITER 2354 NEW BEST:: SOT 397875 SOS 227545 HAS SOPS 142942 HAS SOUS 96932 HAS SOUPS 36520 WITH SCORE 36747.545
AT ITER 2355 NEW BEST:: SOT 397956 SOS 227840 HAS SOPS 142651 HAS SOUS 96783 HAS SOUPS 36141 WITH SCORE 36368.84
AT ITER 2362 NEW BEST:: SOT 397913 SOS 227797 HAS SOPS 142565 HAS SOUS 96697 HAS SOUPS 36055 WITH SCORE 36282.797
AT ITER 2366 NEW BEST:: SOT 397869 SOS 227606 HAS SOPS 142146 HAS SOUS 96615 HAS SOUPS 35973 WITH SCORE 36200.606
AT ITER 2368 NEW BEST:: SOT 397799 SOS 227394 HAS SOPS 142076 HAS SOUS 96475 HAS SOUPS 35904 WITH SCORE 36131.394
AT ITER 2372 NEW BEST:: SOT 397821 SOS 227460 HAS SOPS 142076 HAS SOUS 96475 HAS SOUPS 35882 WITH SCORE 36109.46
AT ITER 2378 NEW BEST:: SOT 397865 SOS 227758 HAS SOPS 141686 HAS SOUS 96519 HAS SOUPS 35478 WITH SCORE 35705.758
AT ITER 2386 NEW BEST:: SOT 397807 SOS 236075 HAS SOPS 149937 HAS SOUS 96545 HAS SOUPS 35438 WITH SCORE 35674.075
AT ITER 2393 NEW BEST:: SOT 397807 SOS 236049 HAS SOPS 149937 HAS SOUS 96545 HAS SOUPS 35438 WITH SCORE 35674.049
AT ITER 2395 NEW BEST:: SOT 397916 SOS 236376 HAS SOPS 149937 HAS SOUS 96545 HAS SOUPS 35329 WITH SCORE 35565.376
AT ITER 2396 NEW BEST:: SOT 397916 SOS 236402 HAS SOPS 149867 HAS SOUS 96545 HAS SOUPS 35233 WITH SCORE 35469.402
AT ITER 2404 NEW BEST:: SOT 397762 SOS 236248 HAS SOPS 149713 HAS SOUS 96499 HAS SOUPS 35187 WITH SCORE 35423.248
AT ITER 2416 NEW BEST:: SOT 398012 SOS 236564 HAS SOPS 149669 HAS SOUS 96690 HAS SOUPS 35018 WITH SCORE 35254.564
AT ITER 2417 NEW BEST:: SOT 398012 SOS 236562 HAS SOPS 149669 HAS SOUS 96688 HAS SOUPS 35018 WITH SCORE 35254.562
AT ITER 2432 NEW BEST:: SOT 397921 SOS 236471 HAS SOPS 149578 HAS SOUS 96606 HAS SOUPS 34936 WITH SCORE 35172.471
AT ITER 2434 NEW BEST:: SOT 397892 SOS 236442 HAS SOPS 149488 HAS SOUS 96548 HAS SOUPS 34878 WITH SCORE 35114.442
AT ITER 2450 NEW BEST:: SOT 398087 SOS 236703 HAS SOPS 149535 HAS SOUS 96743 HAS SOUPS 34859 WITH SCORE 35095.703
AT ITER 2458 NEW BEST:: SOT 396926 SOS 236101 HAS SOPS 148860 HAS SOUS 95582 HAS SOUPS 33625 WITH SCORE 33861.101
AT ITER 2466 NEW BEST:: SOT 396926 SOS 236367 HAS SOPS 148860 HAS SOUS 95582 HAS SOUPS 33510 WITH SCORE 33746.367
AT ITER 2490 NEW BEST:: SOT 396466 SOS 235800 HAS SOPS 148507 HAS SOUS 95225 HAS SOUPS 33367 WITH SCORE 33602.8
AT ITER 2497 NEW BEST:: SOT 396466 SOS 235733 HAS SOPS 148507 HAS SOUS 95225 HAS SOUPS 33367 WITH SCORE 33602.733
AT ITER 2500 NEW BEST:: SOT 396762 SOS 236539 HAS SOPS 148630 HAS SOUS 95521 HAS SOUPS 33260 WITH SCORE 33496.539
AT ITER 2505 NEW BEST:: SOT 396734 SOS 236511 HAS SOPS 148602 HAS SOUS 95473 HAS SOUPS 33212 WITH SCORE 33448.511
AT ITER 2508 NEW BEST:: SOT 396583 SOS 236356 HAS SOPS 148313 HAS SOUS 95184 HAS SOUPS 32923 WITH SCORE 33159.356
AT ITER 2524 NEW BEST:: SOT 396583 SOS 236224 HAS SOPS 148313 HAS SOUS 95184 HAS SOUPS 32923 WITH SCORE 33159.224
AT ITER 2561 NEW BEST:: SOT 396581 SOS 236222 HAS SOPS 148311 HAS SOUS 95180 HAS SOUPS 32919 WITH SCORE 33155.222
AT ITER 2567 NEW BEST:: SOT 396557 SOS 236198 HAS SOPS 148287 HAS SOUS 95156 HAS SOUPS 32895 WITH SCORE 33131.198
AT ITER 2588 NEW BEST:: SOT 396557 SOS 236192 HAS SOPS 148287 HAS SOUS 95156 HAS SOUPS 32895 WITH SCORE 33131.192
AT ITER 2590 NEW BEST:: SOT 396466 SOS 236195 HAS SOPS 148124 HAS SOUS 95231 HAS SOUPS 32804 WITH SCORE 33040.195
AT ITER 2607 NEW BEST:: SOT 396396 SOS 236125 HAS SOPS 147873 HAS SOUS 95095 HAS SOUPS 32668 WITH SCORE 32904.125
AT ITER 2624 NEW BEST:: SOT 396396 SOS 236543 HAS SOPS 147873 HAS SOUS 95095 HAS SOUPS 32516 WITH SCORE 32752.543
AT ITER 2634 NEW BEST:: SOT 396374 SOS 236521 HAS SOPS 147829 HAS SOUS 95051 HAS SOUPS 32472 WITH SCORE 32708.521
AT ITER 2636 NEW BEST:: SOT 396086 SOS 235909 HAS SOPS 147577 HAS SOUS 94763 HAS SOUPS 32382 WITH SCORE 32617.909
AT ITER 2647 NEW BEST:: SOT 396115 SOS 236044 HAS SOPS 147515 HAS SOUS 94792 HAS SOUPS 32229 WITH SCORE 32465.044
AT ITER 2653 NEW BEST:: SOT 396379 SOS 236381 HAS SOPS 147538 HAS SOUS 95032 HAS SOUPS 32155 WITH SCORE 32391.381
AT ITER 2654 NEW BEST:: SOT 395844 SOS 268025 HAS SOPS 179364 HAS SOUS 94565 HAS SOUPS 31870 WITH SCORE 32138.025
AT ITER 2662 NEW BEST:: SOT 395802 SOS 267962 HAS SOPS 179322 HAS SOUS 94523 HAS SOUPS 31849 WITH SCORE 32116.962
AT ITER 2675 NEW BEST:: SOT 395882 SOS 268097 HAS SOPS 179347 HAS SOUS 94603 HAS SOUPS 31819 WITH SCORE 32087.097
AT ITER 2684 NEW BEST:: SOT 395866 SOS 268059 HAS SOPS 179283 HAS SOUS 94571 HAS SOUPS 31787 WITH SCORE 32055.059
AT ITER 2689 NEW BEST:: SOT 395828 SOS 267983 HAS SOPS 179245 HAS SOUS 94533 HAS SOUPS 31768 WITH SCORE 32035.983
AT ITER 2694 NEW BEST:: SOT 395532 SOS 267253 HAS SOPS 179009 HAS SOUS 94237 HAS SOUPS 31749 WITH SCORE 32016.253
AT ITER 2719 NEW BEST:: SOT 395386 SOS 267107 HAS SOPS 178863 HAS SOUS 94091 HAS SOUPS 31603 WITH SCORE 31870.107
AT ITER 2720 NEW BEST:: SOT 395386 SOS 267125 HAS SOPS 178845 HAS SOUS 94091 HAS SOUPS 31567 WITH SCORE 31834.125
AT ITER 2729 NEW BEST:: SOT 395353 SOS 267092 HAS SOPS 178812 HAS SOUS 94082 HAS SOUPS 31558 WITH SCORE 31825.092
AT ITER 2732 NEW BEST:: SOT 395353 SOS 267283 HAS SOPS 178812 HAS SOUS 94082 HAS SOUPS 31542 WITH SCORE 31809.283
AT ITER 2739 NEW BEST:: SOT 395386 SOS 267316 HAS SOPS 178735 HAS SOUS 93928 HAS SOUPS 31388 WITH SCORE 31655.316
AT ITER 2767 NEW BEST:: SOT 395354 SOS 267284 HAS SOPS 178703 HAS SOUS 93864 HAS SOUPS 31324 WITH SCORE 31591.284
AT ITER 2774 NEW BEST:: SOT 395334 SOS 267264 HAS SOPS 178683 HAS SOUS 93844 HAS SOUPS 31304 WITH SCORE 31571.264
AT ITER 2776 NEW BEST:: SOT 395039 SOS 266858 HAS SOPS 178499 HAS SOUS 93549 HAS SOUPS 31231 WITH SCORE 31497.858
AT ITER 2783 NEW BEST:: SOT 395321 SOS 267140 HAS SOPS 178540 HAS SOUS 93464 HAS SOUPS 31146 WITH SCORE 31413.14
AT ITER 2785 NEW BEST:: SOT 395321 SOS 267130 HAS SOPS 178540 HAS SOUS 93464 HAS SOUPS 31146 WITH SCORE 31413.13
AT ITER 2808 NEW BEST:: SOT 395321 SOS 267095 HAS SOPS 178540 HAS SOUS 93464 HAS SOUPS 31146 WITH SCORE 31413.095
AT ITER 2812 NEW BEST:: SOT 395317 SOS 267091 HAS SOPS 178536 HAS SOUS 93456 HAS SOUPS 31138 WITH SCORE 31405.091
AT ITER 2838 NEW BEST:: SOT 395317 SOS 267047 HAS SOPS 178536 HAS SOUS 93456 HAS SOUPS 31138 WITH SCORE 31405.047
AT ITER 2883 NEW BEST:: SOT 395317 SOS 267011 HAS SOPS 178536 HAS SOUS 93456 HAS SOUPS 31138 WITH SCORE 31405.011
AT ITER 2884 NEW BEST:: SOT 395280 SOS 266974 HAS SOPS 178499 HAS SOUS 93382 HAS SOUPS 31064 WITH SCORE 31330.974
AT ITER 2893 NEW BEST:: SOT 395280 SOS 266974 HAS SOPS 178495 HAS SOUS 93378 HAS SOUPS 31056 WITH SCORE 31322.974
AT ITER 2904 NEW BEST:: SOT 395352 SOS 267046 HAS SOPS 178567 HAS SOUS 93350 HAS SOUPS 31028 WITH SCORE 31295.046
AT ITER 2910 NEW BEST:: SOT 395352 SOS 267046 HAS SOPS 178561 HAS SOUS 93344 HAS SOUPS 31016 WITH SCORE 31283.046
AT ITER 2921 NEW BEST:: SOT 395386 SOS 267114 HAS SOPS 178561 HAS SOUS 93344 HAS SOUPS 30982 WITH SCORE 31249.114
AT ITER 2922 NEW BEST:: SOT 395386 SOS 267029 HAS SOPS 178561 HAS SOUS 93344 HAS SOUPS 30982 WITH SCORE 31249.029
AT ITER 2932 NEW BEST:: SOT 395386 SOS 266951 HAS SOPS 178561 HAS SOUS 93344 HAS SOUPS 30982 WITH SCORE 31248.951
AT ITER 2939 NEW BEST:: SOT 395588 SOS 267503 HAS SOPS 178597 HAS SOUS 93398 HAS SOUPS 30852 WITH SCORE 31119.503
AT ITER 2951 NEW BEST:: SOT 395588 SOS 267341 HAS SOPS 178597 HAS SOUS 93236 HAS SOUPS 30852 WITH SCORE 31119.341
AT ITER 2955 NEW BEST:: SOT 395815 SOS 267568 HAS SOPS 178722 HAS SOUS 93226 HAS SOUPS 30740 WITH SCORE 31007.568
AT ITER 2958 NEW BEST:: SOT 395862 SOS 267709 HAS SOPS 178769 HAS SOUS 93226 HAS SOUPS 30693 WITH SCORE 30960.709
AT ITER 2973 NEW BEST:: SOT 395862 SOS 267689 HAS SOPS 178769 HAS SOUS 93226 HAS SOUPS 30693 WITH SCORE 30960.689
AT ITER 2987 NEW BEST:: SOT 395860 SOS 267687 HAS SOPS 178767 HAS SOUS 93225 HAS SOUPS 30692 WITH SCORE 30959.687
AT ITER 3023 NEW BEST:: SOT 395860 SOS 267847 HAS SOPS 178687 HAS SOUS 93225 HAS SOUPS 30532 WITH SCORE 30799.847
AT ITER 3028 NEW BEST:: SOT 395860 SOS 267879 HAS SOPS 178671 HAS SOUS 93225 HAS SOUPS 30500 WITH SCORE 30767.879
AT ITER 3033 NEW BEST:: SOT 395948 SOS 268143 HAS SOPS 178671 HAS SOUS 93225 HAS SOUPS 30412 WITH SCORE 30680.143
AT ITER 3044 NEW BEST:: SOT 395836 SOS 268031 HAS SOPS 178559 HAS SOUS 93113 HAS SOUPS 30300 WITH SCORE 30568.031
AT ITER 3047 NEW BEST:: SOT 395743 SOS 267938 HAS SOPS 178466 HAS SOUS 93020 HAS SOUPS 30207 WITH SCORE 30474.938
AT ITER 3056 NEW BEST:: SOT 395743 SOS 267915 HAS SOPS 178466 HAS SOUS 93020 HAS SOUPS 30207 WITH SCORE 30474.915
AT ITER 3076 NEW BEST:: SOT 395724 SOS 267896 HAS SOPS 178447 HAS SOUS 93001 HAS SOUPS 30188 WITH SCORE 30455.896
AT ITER 3101 NEW BEST:: SOT 395336 SOS 266946 HAS SOPS 178137 HAS SOUS 92613 HAS SOUPS 30159 WITH SCORE 30425.946
AT ITER 3119 NEW BEST:: SOT 395333 SOS 266943 HAS SOPS 178131 HAS SOUS 92607 HAS SOUPS 30153 WITH SCORE 30419.943
AT ITER 3126 NEW BEST:: SOT 395333 SOS 267346 HAS SOPS 178131 HAS SOUS 92607 HAS SOUPS 30030 WITH SCORE 30297.346
AT ITER 3146 NEW BEST:: SOT 395333 SOS 267329 HAS SOPS 178131 HAS SOUS 92607 HAS SOUPS 30030 WITH SCORE 30297.329
AT ITER 3152 NEW BEST:: SOT 395529 SOS 267895 HAS SOPS 178249 HAS SOUS 92803 HAS SOUPS 29963 WITH SCORE 30230.895
AT ITER 3185 NEW BEST:: SOT 395133 SOS 266933 HAS SOPS 177929 HAS SOUS 92407 HAS SOUPS 29926 WITH SCORE 30192.933
AT ITER 3229 NEW BEST:: SOT 395127 SOS 266927 HAS SOPS 177923 HAS SOUS 92401 HAS SOUPS 29920 WITH SCORE 30186.927
AT ITER 3234 NEW BEST:: SOT 395106 SOS 267592 HAS SOPS 178602 HAS SOUS 92387 HAS SOUPS 29913 WITH SCORE 30180.592
AT ITER 3236 NEW BEST:: SOT 395106 SOS 267628 HAS SOPS 178584 HAS SOUS 92387 HAS SOUPS 29877 WITH SCORE 30144.628
AT ITER 3238 NEW BEST:: SOT 395012 SOS 267479 HAS SOPS 178490 HAS SOUS 92293 HAS SOUPS 29837 WITH SCORE 30104.479
AT ITER 3249 NEW BEST:: SOT 395012 SOS 267409 HAS SOPS 178490 HAS SOUS 92293 HAS SOUPS 29837 WITH SCORE 30104.409
AT ITER 3250 NEW BEST:: SOT 395119 SOS 267498 HAS SOPS 178425 HAS SOUS 92257 HAS SOUPS 29790 WITH SCORE 30057.498
AT ITER 3260 NEW BEST:: SOT 391777 SOS 269049 HAS SOPS 179976 HAS SOUS 89013 HAS SOUPS 26546 WITH SCORE 26815.049
AT ITER 3268 NEW BEST:: SOT 391383 SOS 268187 HAS SOPS 179652 HAS SOUS 88619 HAS SOUPS 26456 WITH SCORE 26724.187
AT ITER 3269 NEW BEST:: SOT 391374 SOS 268178 HAS SOPS 179643 HAS SOUS 88601 HAS SOUPS 26438 WITH SCORE 26706.178
AT ITER 3285 NEW BEST:: SOT 391347 SOS 268151 HAS SOPS 179616 HAS SOUS 88547 HAS SOUPS 26384 WITH SCORE 26652.151
AT ITER 3289 NEW BEST:: SOT 391261 SOS 268132 HAS SOPS 179530 HAS SOUS 88528 HAS SOUPS 26298 WITH SCORE 26566.132
AT ITER 3329 NEW BEST:: SOT 391304 SOS 268367 HAS SOPS 179477 HAS SOUS 88571 HAS SOUPS 26149 WITH SCORE 26417.367
AT ITER 3369 NEW BEST:: SOT 391304 SOS 268757 HAS SOPS 179477 HAS SOUS 88571 HAS SOUPS 26043 WITH SCORE 26311.757
AT ITER 3400 NEW BEST:: SOT 391304 SOS 268757 HAS SOPS 179477 HAS SOUS 88547 HAS SOUPS 26019 WITH SCORE 26287.757
AT ITER 3438 NEW BEST:: SOT 390982 SOS 268023 HAS SOPS 179233 HAS SOUS 88225 HAS SOUPS 25981 WITH SCORE 26249.023
AT ITER 3439 NEW BEST:: SOT 390941 SOS 267982 HAS SOPS 179192 HAS SOUS 88184 HAS SOUPS 25940 WITH SCORE 26207.982
AT ITER 3463 NEW BEST:: SOT 390941 SOS 267936 HAS SOPS 179192 HAS SOUS 88184 HAS SOUPS 25940 WITH SCORE 26207.936
AT ITER 3469 NEW BEST:: SOT 390941 SOS 267895 HAS SOPS 179192 HAS SOUS 88184 HAS SOUPS 25940 WITH SCORE 26207.895
AT ITER 3474 NEW BEST:: SOT 390897 SOS 267807 HAS SOPS 179104 HAS SOUS 88096 HAS SOUPS 25852 WITH SCORE 26119.807
AT ITER 3477 NEW BEST:: SOT 390897 SOS 267805 HAS SOPS 179104 HAS SOUS 88096 HAS SOUPS 25852 WITH SCORE 26119.805
AT ITER 3494 NEW BEST:: SOT 390908 SOS 267838 HAS SOPS 179104 HAS SOUS 88107 HAS SOUPS 25841 WITH SCORE 26108.838
AT ITER 3518 NEW BEST:: SOT 390782 SOS 267576 HAS SOPS 178988 HAS SOUS 87981 HAS SOUPS 25793 WITH SCORE 26060.576
AT ITER 3522 NEW BEST:: SOT 390912 SOS 267966 HAS SOPS 178988 HAS SOUS 87981 HAS SOUPS 25663 WITH SCORE 25930.966
AT ITER 3538 NEW BEST:: SOT 390912 SOS 267852 HAS SOPS 178988 HAS SOUS 87981 HAS SOUPS 25663 WITH SCORE 25930.852
AT ITER 3539 NEW BEST:: SOT 390848 SOS 267368 HAS SOPS 178924 HAS SOUS 87829 HAS SOUPS 25599 WITH SCORE 25866.368
AT ITER 3543 NEW BEST:: SOT 390887 SOS 267446 HAS SOPS 178938 HAS SOUS 87843 HAS SOUPS 25574 WITH SCORE 25841.446
AT ITER 3546 NEW BEST:: SOT 390893 SOS 267890 HAS SOPS 178944 HAS SOUS 87855 HAS SOUPS 25449 WITH SCORE 25716.89
AT ITER 3569 NEW BEST:: SOT 390893 SOS 267879 HAS SOPS 178933 HAS SOUS 87855 HAS SOUPS 25449 WITH SCORE 25716.879
AT ITER 3573 NEW BEST:: SOT 390883 SOS 267859 HAS SOPS 178923 HAS SOUS 87845 HAS SOUPS 25444 WITH SCORE 25711.859
AT ITER 3600 NEW BEST:: SOT 390883 SOS 267799 HAS SOPS 178923 HAS SOUS 87845 HAS SOUPS 25444 WITH SCORE 25711.799
AT ITER 3601 NEW BEST:: SOT 390585 SOS 267121 HAS SOPS 178707 HAS SOUS 87547 HAS SOUPS 25418 WITH SCORE 25685.121
AT ITER 3614 NEW BEST:: SOT 390585 SOS 267109 HAS SOPS 178707 HAS SOUS 87547 HAS SOUPS 25418 WITH SCORE 25685.109
AT ITER 3617 NEW BEST:: SOT 390585 SOS 267053 HAS SOPS 178707 HAS SOUS 87547 HAS SOUPS 25418 WITH SCORE 25685.053
AT ITER 3620 NEW BEST:: SOT 390585 SOS 267001 HAS SOPS 178707 HAS SOUS 87495 HAS SOUPS 25418 WITH SCORE 25685.001
AT ITER 3642 NEW BEST:: SOT 390585 SOS 267198 HAS SOPS 178707 HAS SOUS 87495 HAS SOUPS 25325 WITH SCORE 25592.198
AT ITER 3658 NEW BEST:: SOT 390597 SOS 267228 HAS SOPS 178701 HAS SOUS 87507 HAS SOUPS 25301 WITH SCORE 25568.228
AT ITER 3667 NEW BEST:: SOT 390586 SOS 267210 HAS SOPS 178690 HAS SOUS 87478 HAS SOUPS 25279 WITH SCORE 25546.21
AT ITER 3680 NEW BEST:: SOT 390587 SOS 267651 HAS SOPS 178691 HAS SOUS 87480 HAS SOUPS 25202 WITH SCORE 25469.651
AT ITER 3690 NEW BEST:: SOT 390239 SOS 266955 HAS SOPS 178343 HAS SOUS 87132 HAS SOUPS 25028 WITH SCORE 25294.955
AT ITER 3695 NEW BEST:: SOT 390262 SOS 267024 HAS SOPS 178366 HAS SOUS 87132 HAS SOUPS 25005 WITH SCORE 25272.024
AT ITER 3700 NEW BEST:: SOT 390448 SOS 267210 HAS SOPS 178345 HAS SOUS 87070 HAS SOUPS 24943 WITH SCORE 25210.21
AT ITER 3702 NEW BEST:: SOT 390391 SOS 267096 HAS SOPS 178288 HAS SOUS 86956 HAS SOUPS 24886 WITH SCORE 25153.096
AT ITER 3723 NEW BEST:: SOT 390391 SOS 267060 HAS SOPS 178288 HAS SOUS 86956 HAS SOUPS 24886 WITH SCORE 25153.06
AT ITER 3724 NEW BEST:: SOT 390389 SOS 267027 HAS SOPS 178255 HAS SOUS 86952 HAS SOUPS 24882 WITH SCORE 25149.027
AT ITER 3735 NEW BEST:: SOT 390397 SOS 267051 HAS SOPS 178263 HAS SOUS 86952 HAS SOUPS 24874 WITH SCORE 25141.051
AT ITER 3761 NEW BEST:: SOT 390387 SOS 267041 HAS SOPS 178253 HAS SOUS 86937 HAS SOUPS 24859 WITH SCORE 25126.041
AT ITER 3784 NEW BEST:: SOT 389797 SOS 265715 HAS SOPS 177809 HAS SOUS 86347 HAS SOUPS 24783 WITH SCORE 25048.715
AT ITER 3788 NEW BEST:: SOT 389910 SOS 266028 HAS SOPS 177922 HAS SOUS 86373 HAS SOUPS 24709 WITH SCORE 24975.028
AT ITER 3796 NEW BEST:: SOT 389943 SOS 266061 HAS SOPS 177931 HAS SOUS 86337 HAS SOUPS 24673 WITH SCORE 24939.061
AT ITER 3839 NEW BEST:: SOT 390074 SOS 266263 HAS SOPS 177991 HAS SOUS 86468 HAS SOUPS 24662 WITH SCORE 24928.263
AT ITER 3879 NEW BEST:: SOT 390074 SOS 266755 HAS SOPS 177991 HAS SOUS 86468 HAS SOUPS 24459 WITH SCORE 24725.755
AT ITER 3896 NEW BEST:: SOT 390242 SOS 266923 HAS SOPS 177960 HAS SOUS 86406 HAS SOUPS 24397 WITH SCORE 24663.923
AT ITER 3898 NEW BEST:: SOT 390150 SOS 266831 HAS SOPS 177868 HAS SOUS 86368 HAS SOUPS 24359 WITH SCORE 24625.831
AT ITER 3907 NEW BEST:: SOT 390150 SOS 266889 HAS SOPS 177810 HAS SOUS 86368 HAS SOUPS 24243 WITH SCORE 24509.889
AT ITER 3913 NEW BEST:: SOT 389982 SOS 266721 HAS SOPS 177642 HAS SOUS 86368 HAS SOUPS 24243 WITH SCORE 24509.721
AT ITER 3916 NEW BEST:: SOT 390042 SOS 267293 HAS SOPS 177702 HAS SOUS 86488 HAS SOUPS 24214 WITH SCORE 24481.293
AT ITER 3927 NEW BEST:: SOT 390470 SOS 268339 HAS SOPS 178002 HAS SOUS 86916 HAS SOUPS 24205 WITH SCORE 24473.339
AT ITER 3939 NEW BEST:: SOT 390470 SOS 268322 HAS SOPS 178002 HAS SOUS 86916 HAS SOUPS 24205 WITH SCORE 24473.322
AT ITER 3967 NEW BEST:: SOT 390666 SOS 268806 HAS SOPS 178119 HAS SOUS 87112 HAS SOUPS 24178 WITH SCORE 24446.806
AT ITER 4023 NEW BEST:: SOT 391332 SOS 270387 HAS SOPS 178551 HAS SOUS 87711 HAS SOUPS 24119 WITH SCORE 24389.387
AT ITER 4027 NEW BEST:: SOT 391313 SOS 270368 HAS SOPS 178532 HAS SOUS 87673 HAS SOUPS 24081 WITH SCORE 24351.368
AT ITER 4037 NEW BEST:: SOT 391240 SOS 270295 HAS SOPS 178459 HAS SOUS 87637 HAS SOUPS 24045 WITH SCORE 24315.295
AT ITER 4038 NEW BEST:: SOT 391240 SOS 270102 HAS SOPS 178459 HAS SOUS 87637 HAS SOUPS 24045 WITH SCORE 24315.102
AT ITER 4047 NEW BEST:: SOT 391233 SOS 270095 HAS SOPS 178366 HAS SOUS 87623 HAS SOUPS 24031 WITH SCORE 24301.095
AT ITER 4065 NEW BEST:: SOT 391233 SOS 269947 HAS SOPS 178366 HAS SOUS 87590 HAS SOUPS 24031 WITH SCORE 24300.947
AT ITER 4108 NEW BEST:: SOT 391233 SOS 269944 HAS SOPS 178366 HAS SOUS 87590 HAS SOUPS 24031 WITH SCORE 24300.944
AT ITER 4125 NEW BEST:: SOT 391233 SOS 269912 HAS SOPS 178366 HAS SOUS 87590 HAS SOUPS 24031 WITH SCORE 24300.912
AT ITER 4126 NEW BEST:: SOT 391261 SOS 270194 HAS SOPS 178394 HAS SOUS 87646 HAS SOUPS 24029 WITH SCORE 24299.194
AT ITER 4130 NEW BEST:: SOT 391091 SOS 269854 HAS SOPS 178224 HAS SOUS 87476 HAS SOUPS 23944 WITH SCORE 24213.854
AT ITER 4138 NEW BEST:: SOT 391078 SOS 269841 HAS SOPS 178211 HAS SOUS 87450 HAS SOUPS 23918 WITH SCORE 24187.841
AT ITER 4152 NEW BEST:: SOT 391078 SOS 269841 HAS SOPS 178211 HAS SOUS 87436 HAS SOUPS 23904 WITH SCORE 24173.841
AT ITER 4169 NEW BEST:: SOT 391084 SOS 269853 HAS SOPS 178211 HAS SOUS 87442 HAS SOUPS 23898 WITH SCORE 24167.853
AT ITER 4176 NEW BEST:: SOT 391084 SOS 269834 HAS SOPS 178211 HAS SOUS 87442 HAS SOUPS 23898 WITH SCORE 24167.834
AT ITER 4187 NEW BEST:: SOT 391076 SOS 269826 HAS SOPS 178203 HAS SOUS 87426 HAS SOUPS 23882 WITH SCORE 24151.826
AT ITER 4189 NEW BEST:: SOT 390671 SOS 269005 HAS SOPS 177809 HAS SOUS 87021 HAS SOUPS 23696 WITH SCORE 23965.005
AT ITER 4205 NEW BEST:: SOT 390600 SOS 268934 HAS SOPS 177809 HAS SOUS 87021 HAS SOUPS 23696 WITH SCORE 23964.934
AT ITER 4233 NEW BEST:: SOT 390594 SOS 268928 HAS SOPS 177803 HAS SOUS 87009 HAS SOUPS 23684 WITH SCORE 23952.928
AT ITER 4234 NEW BEST:: SOT 390594 SOS 268908 HAS SOPS 177803 HAS SOUS 87009 HAS SOUPS 23684 WITH SCORE 23952.908
AT ITER 4239 NEW BEST:: SOT 390594 SOS 268908 HAS SOPS 177797 HAS SOUS 86997 HAS SOUPS 23672 WITH SCORE 23940.908
AT ITER 4253 NEW BEST:: SOT 390458 SOS 268772 HAS SOPS 177661 HAS SOUS 86981 HAS SOUPS 23656 WITH SCORE 23924.772
AT ITER 4261 NEW BEST:: SOT 390458 SOS 253997 HAS SOPS 162812 HAS SOUS 86932 HAS SOUPS 23533 WITH SCORE 23786.997
AT ITER 4263 NEW BEST:: SOT 390445 SOS 253716 HAS SOPS 162799 HAS SOUS 86898 HAS SOUPS 23520 WITH SCORE 23773.716
AT ITER 4281 NEW BEST:: SOT 390264 SOS 253295 HAS SOPS 162677 HAS SOUS 86717 HAS SOUPS 23518 WITH SCORE 23771.295
AT ITER 4306 NEW BEST:: SOT 390136 SOS 253167 HAS SOPS 162549 HAS SOUS 86591 HAS SOUPS 23392 WITH SCORE 23645.167
AT ITER 4312 NEW BEST:: SOT 390108 SOS 253139 HAS SOPS 162521 HAS SOUS 86578 HAS SOUPS 23379 WITH SCORE 23632.139
AT ITER 4320 NEW BEST:: SOT 390108 SOS 253140 HAS SOPS 162487 HAS SOUS 86561 HAS SOUPS 23345 WITH SCORE 23598.14
AT ITER 4323 NEW BEST:: SOT 390163 SOS 253279 HAS SOPS 162513 HAS SOUS 86616 HAS SOUPS 23329 WITH SCORE 23582.279
AT ITER 4325 NEW BEST:: SOT 390163 SOS 253274 HAS SOPS 162513 HAS SOUS 86616 HAS SOUPS 23329 WITH SCORE 23582.274
AT ITER 4415 NEW BEST:: SOT 390148 SOS 253259 HAS SOPS 162498 HAS SOUS 86601 HAS SOUPS 23314 WITH SCORE 23567.259
AT ITER 4423 NEW BEST:: SOT 390274 SOS 253835 HAS SOPS 162992 HAS SOUS 86639 HAS SOUPS 23270 WITH SCORE 23523.835
AT ITER 4458 NEW BEST:: SOT 390274 SOS 254201 HAS SOPS 162992 HAS SOUS 86639 HAS SOUPS 23223 WITH SCORE 23477.201
AT ITER 4459 NEW BEST:: SOT 390245 SOS 254172 HAS SOPS 162963 HAS SOUS 86581 HAS SOUPS 23165 WITH SCORE 23419.172
AT ITER 4480 NEW BEST:: SOT 390243 SOS 254170 HAS SOPS 162961 HAS SOUS 86577 HAS SOUPS 23161 WITH SCORE 23415.17
AT ITER 4509 NEW BEST:: SOT 390219 SOS 254146 HAS SOPS 162937 HAS SOUS 86577 HAS SOUPS 23161 WITH SCORE 23415.146
AT ITER 4523 NEW BEST:: SOT 390219 SOS 254136 HAS SOPS 162937 HAS SOUS 86577 HAS SOUPS 23161 WITH SCORE 23415.136
AT ITER 4531 NEW BEST:: SOT 390100 SOS 254017 HAS SOPS 162818 HAS SOUS 86567 HAS SOUPS 23151 WITH SCORE 23405.017
AT ITER 4536 NEW BEST:: SOT 390094 SOS 254011 HAS SOPS 162702 HAS SOUS 86555 HAS SOUPS 23139 WITH SCORE 23393.011
AT ITER 4582 NEW BEST:: SOT 390094 SOS 253890 HAS SOPS 162702 HAS SOUS 86555 HAS SOUPS 23139 WITH SCORE 23392.89
AT ITER 4600 NEW BEST:: SOT 390094 SOS 254296 HAS SOPS 162702 HAS SOUS 86555 HAS SOUPS 23078 WITH SCORE 23332.296
AT ITER 4604 NEW BEST:: SOT 390104 SOS 254326 HAS SOPS 162702 HAS SOUS 86555 HAS SOUPS 23068 WITH SCORE 23322.326
AT ITER 4633 NEW BEST:: SOT 390007 SOS 254229 HAS SOPS 162605 HAS SOUS 86541 HAS SOUPS 23054 WITH SCORE 23308.229
AT ITER 4647 NEW BEST:: SOT 390007 SOS 254144 HAS SOPS 162605 HAS SOUS 86541 HAS SOUPS 23054 WITH SCORE 23308.144
AT ITER 4664 NEW BEST:: SOT 390064 SOS 254673 HAS SOPS 162662 HAS SOUS 86655 HAS SOUPS 23038 WITH SCORE 23292.673
AT ITER 4684 NEW BEST:: SOT 390064 SOS 254587 HAS SOPS 162662 HAS SOUS 86655 HAS SOUPS 23038 WITH SCORE 23292.587
AT ITER 4739 NEW BEST:: SOT 390002 SOS 254463 HAS SOPS 162600 HAS SOUS 86593 HAS SOUPS 23007 WITH SCORE 23261.463
AT ITER 4745 NEW BEST:: SOT 389793 SOS 254254 HAS SOPS 162391 HAS SOUS 86507 HAS SOUPS 22921 WITH SCORE 23175.254
AT ITER 4767 NEW BEST:: SOT 389792 SOS 254253 HAS SOPS 162390 HAS SOUS 86505 HAS SOUPS 22919 WITH SCORE 23173.253
AT ITER 4769 NEW BEST:: SOT 389694 SOS 254155 HAS SOPS 162292 HAS SOUS 86469 HAS SOUPS 22883 WITH SCORE 23137.155
AT ITER 4821 NEW BEST:: SOT 389684 SOS 254145 HAS SOPS 162282 HAS SOUS 86469 HAS SOUPS 22883 WITH SCORE 23137.145
AT ITER 4860 NEW BEST:: SOT 389367 SOS 253763 HAS SOPS 162030 HAS SOUS 86262 HAS SOUPS 22806 WITH SCORE 23059.763
AT ITER 4900 NEW BEST:: SOT 389367 SOS 253711 HAS SOPS 162030 HAS SOUS 86262 HAS SOUPS 22806 WITH SCORE 23059.711
AT ITER 4903 NEW BEST:: SOT 389367 SOS 254009 HAS SOPS 162030 HAS SOUS 86262 HAS SOUPS 22783 WITH SCORE 23037.009
AT ITER 4938 NEW BEST:: SOT 389367 SOS 254009 HAS SOPS 162030 HAS SOUS 86256 HAS SOUPS 22777 WITH SCORE 23031.009
AT ITER 4945 NEW BEST:: SOT 389329 SOS 253933 HAS SOPS 161992 HAS SOUS 86218 HAS SOUPS 22758 WITH SCORE 23011.933
AT ITER 4950 NEW BEST:: SOT 389329 SOS 253931 HAS SOPS 161992 HAS SOUS 86218 HAS SOUPS 22758 WITH SCORE 23011.931
AT ITER 4976 NEW BEST:: SOT 389327 SOS 253927 HAS SOPS 161990 HAS SOUS 86216 HAS SOUPS 22757 WITH SCORE 23010.927
AT ITER 4988 NEW BEST:: SOT 388838 SOS 252880 HAS SOPS 161570 HAS SOUS 85727 HAS SOUPS 22616 WITH SCORE 22868.88
AT ITER 5001 NEW BEST:: SOT 388824 SOS 252866 HAS SOPS 161556 HAS SOUS 85713 HAS SOUPS 22602 WITH SCORE 22854.866
AT ITER 5006 NEW BEST:: SOT 388824 SOS 252805 HAS SOPS 161556 HAS SOUS 85713 HAS SOUPS 22602 WITH SCORE 22854.805
AT ITER 5019 NEW BEST:: SOT 388543 SOS 252196 HAS SOPS 161322 HAS SOUS 85432 HAS SOUPS 22532 WITH SCORE 22784.196
AT ITER 5039 NEW BEST:: SOT 388543 SOS 252112 HAS SOPS 161322 HAS SOUS 85432 HAS SOUPS 22532 WITH SCORE 22784.112
AT ITER 5047 NEW BEST:: SOT 388589 SOS 252217 HAS SOPS 161309 HAS SOUS 85478 HAS SOUPS 22460 WITH SCORE 22712.217
AT ITER 5097 NEW BEST:: SOT 388516 SOS 253126 HAS SOPS 162271 HAS SOUS 85382 HAS SOUPS 22417 WITH SCORE 22670.126
AT ITER 5134 NEW BEST:: SOT 388478 SOS 253088 HAS SOPS 162195 HAS SOUS 85306 HAS SOUPS 22341 WITH SCORE 22594.088
AT ITER 5143 NEW BEST:: SOT 388369 SOS 252519 HAS SOPS 162086 HAS SOUS 85088 HAS SOUPS 22269 WITH SCORE 22521.519
AT ITER 5148 NEW BEST:: SOT 388191 SOS 252341 HAS SOPS 161908 HAS SOUS 84910 HAS SOUPS 22091 WITH SCORE 22343.341
AT ITER 5149 NEW BEST:: SOT 388111 SOS 252261 HAS SOPS 161828 HAS SOUS 84750 HAS SOUPS 21931 WITH SCORE 22183.261
AT ITER 5154 NEW BEST:: SOT 388099 SOS 252249 HAS SOPS 161816 HAS SOUS 84726 HAS SOUPS 21907 WITH SCORE 22159.249
AT ITER 5169 NEW BEST:: SOT 388043 SOS 252137 HAS SOPS 161760 HAS SOUS 84670 HAS SOUPS 21879 WITH SCORE 22131.137
AT ITER 5180 NEW BEST:: SOT 387996 SOS 252178 HAS SOPS 161506 HAS SOUS 84623 HAS SOUPS 21832 WITH SCORE 22084.178
AT ITER 5183 NEW BEST:: SOT 387996 SOS 252108 HAS SOPS 161506 HAS SOUS 84623 HAS SOUPS 21832 WITH SCORE 22084.108
AT ITER 5184 NEW BEST:: SOT 387996 SOS 252108 HAS SOPS 161504 HAS SOUS 84619 HAS SOUPS 21828 WITH SCORE 22080.108
AT ITER 5190 NEW BEST:: SOT 387969 SOS 252081 HAS SOPS 161477 HAS SOUS 84565 HAS SOUPS 21774 WITH SCORE 22026.081
AT ITER 5192 NEW BEST:: SOT 387937 SOS 251953 HAS SOPS 161445 HAS SOUS 84501 HAS SOUPS 21758 WITH SCORE 22009.953
AT ITER 5199 NEW BEST:: SOT 387939 SOS 252021 HAS SOPS 161447 HAS SOUS 84505 HAS SOUPS 21729 WITH SCORE 21981.021
AT ITER 5215 NEW BEST:: SOT 387927 SOS 252009 HAS SOPS 161435 HAS SOUS 84493 HAS SOUPS 21717 WITH SCORE 21969.009
AT ITER 5217 NEW BEST:: SOT 388048 SOS 252130 HAS SOPS 161556 HAS SOUS 84485 HAS SOUPS 21709 WITH SCORE 21961.13
AT ITER 5237 NEW BEST:: SOT 387382 SOS 250608 HAS SOPS 161065 HAS SOUS 83827 HAS SOUPS 21650 WITH SCORE 21900.608
AT ITER 5246 NEW BEST:: SOT 387382 SOS 250588 HAS SOPS 161065 HAS SOUS 83827 HAS SOUPS 21650 WITH SCORE 21900.588
AT ITER 5253 NEW BEST:: SOT 387376 SOS 250582 HAS SOPS 161037 HAS SOUS 83815 HAS SOUPS 21638 WITH SCORE 21888.582
AT ITER 5269 NEW BEST:: SOT 387353 SOS 250559 HAS SOPS 161014 HAS SOUS 83792 HAS SOUPS 21615 WITH SCORE 21865.559
AT ITER 5280 NEW BEST:: SOT 387272 SOS 250478 HAS SOPS 160933 HAS SOUS 83790 HAS SOUPS 21613 WITH SCORE 21863.478
AT ITER 5293 NEW BEST:: SOT 387152 SOS 250238 HAS SOPS 160813 HAS SOUS 83670 HAS SOUPS 21553 WITH SCORE 21803.238
AT ITER 5296 NEW BEST:: SOT 387149 SOS 250235 HAS SOPS 160807 HAS SOUS 83664 HAS SOUPS 21547 WITH SCORE 21797.235
AT ITER 5311 NEW BEST:: SOT 386909 SOS 249924 HAS SOPS 160669 HAS SOUS 83455 HAS SOUPS 21511 WITH SCORE 21760.924
AT ITER 5327 NEW BEST:: SOT 386909 SOS 249932 HAS SOPS 160653 HAS SOUS 83447 HAS SOUPS 21479 WITH SCORE 21728.932
AT ITER 5374 NEW BEST:: SOT 386900 SOS 249906 HAS SOPS 160652 HAS SOUS 83421 HAS SOUPS 21478 WITH SCORE 21727.906
AT ITER 5375 NEW BEST:: SOT 386878 SOS 249884 HAS SOPS 160630 HAS SOUS 83377 HAS SOUPS 21434 WITH SCORE 21683.884
AT ITER 5456 NEW BEST:: SOT 386911 SOS 249917 HAS SOPS 160613 HAS SOUS 83343 HAS SOUPS 21400 WITH SCORE 21649.917
AT ITER 5471 NEW BEST:: SOT 386947 SOS 249953 HAS SOPS 160649 HAS SOUS 83185 HAS SOUPS 21242 WITH SCORE 21491.953
AT ITER 5524 NEW BEST:: SOT 387071 SOS 250153 HAS SOPS 160697 HAS SOUS 83309 HAS SOUPS 21214 WITH SCORE 21464.153
AT ITER 5526 NEW BEST:: SOT 387041 SOS 250123 HAS SOPS 160667 HAS SOUS 83279 HAS SOUPS 21184 WITH SCORE 21434.123
AT ITER 5544 NEW BEST:: SOT 386975 SOS 250057 HAS SOPS 160601 HAS SOUS 83219 HAS SOUPS 21124 WITH SCORE 21374.057
AT ITER 5545 NEW BEST:: SOT 386950 SOS 249997 HAS SOPS 160576 HAS SOUS 83134 HAS SOUPS 21074 WITH SCORE 21323.997
AT ITER 5555 NEW BEST:: SOT 386813 SOS 249860 HAS SOPS 160439 HAS SOUS 83074 HAS SOUPS 21014 WITH SCORE 21263.86
AT ITER 5598 NEW BEST:: SOT 386813 SOS 249860 HAS SOPS 160437 HAS SOUS 83070 HAS SOUPS 21010 WITH SCORE 21259.86
AT ITER 5620 NEW BEST:: SOT 386637 SOS 249070 HAS SOPS 160261 HAS SOUS 82598 HAS SOUPS 20834 WITH SCORE 21083.07
AT ITER 5660 NEW BEST:: SOT 386637 SOS 249065 HAS SOPS 160261 HAS SOUS 82598 HAS SOUPS 20834 WITH SCORE 21083.065
AT ITER 5668 NEW BEST:: SOT 386636 SOS 249064 HAS SOPS 160102 HAS SOUS 82596 HAS SOUPS 20832 WITH SCORE 21081.064
AT ITER 5679 NEW BEST:: SOT 386688 SOS 249116 HAS SOPS 160100 HAS SOUS 82592 HAS SOUPS 20828 WITH SCORE 21077.116
AT ITER 5686 NEW BEST:: SOT 386688 SOS 249114 HAS SOPS 160100 HAS SOUS 82592 HAS SOUPS 20828 WITH SCORE 21077.114
AT ITER 5689 NEW BEST:: SOT 386736 SOS 249209 HAS SOPS 160101 HAS SOUS 82633 HAS SOUPS 20775 WITH SCORE 21024.209
AT ITER 5696 NEW BEST:: SOT 386736 SOS 249126 HAS SOPS 160101 HAS SOUS 82633 HAS SOUPS 20775 WITH SCORE 21024.126
AT ITER 5709 NEW BEST:: SOT 386778 SOS 249240 HAS SOPS 160109 HAS SOUS 82645 HAS SOUPS 20749 WITH SCORE 20998.24
AT ITER 5764 NEW BEST:: SOT 386687 SOS 249053 HAS SOPS 160018 HAS SOUS 82559 HAS SOUPS 20711 WITH SCORE 20960.053
AT ITER 5765 NEW BEST:: SOT 386679 SOS 249045 HAS SOPS 160010 HAS SOUS 82559 HAS SOUPS 20711 WITH SCORE 20960.045
AT ITER 5770 NEW BEST:: SOT 386609 SOS 248740 HAS SOPS 159940 HAS SOUS 82388 HAS SOUPS 20673 WITH SCORE 20921.74
AT ITER 5774 NEW BEST:: SOT 386452 SOS 248182 HAS SOPS 159783 HAS SOUS 82074 HAS SOUPS 20582 WITH SCORE 20830.182
AT ITER 5841 NEW BEST:: SOT 386341 SOS 247925 HAS SOPS 159672 HAS SOUS 81998 HAS SOUPS 20579 WITH SCORE 20826.925
AT ITER 5850 NEW BEST:: SOT 386430 SOS 248150 HAS SOPS 159761 HAS SOUS 82040 HAS SOUPS 20553 WITH SCORE 20801.15
AT ITER 5899 NEW BEST:: SOT 386400 SOS 248098 HAS SOPS 159745 HAS SOUS 81988 HAS SOUPS 20537 WITH SCORE 20785.098
AT ITER 5901 NEW BEST:: SOT 386388 SOS 248086 HAS SOPS 159733 HAS SOUS 81976 HAS SOUPS 20525 WITH SCORE 20773.086
AT ITER 5905 NEW BEST:: SOT 386388 SOS 248079 HAS SOPS 159733 HAS SOUS 81976 HAS SOUPS 20525 WITH SCORE 20773.079
AT ITER 5911 NEW BEST:: SOT 386388 SOS 248059 HAS SOPS 159733 HAS SOUS 81976 HAS SOUPS 20525 WITH SCORE 20773.059
AT ITER 5919 NEW BEST:: SOT 386468 SOS 248139 HAS SOPS 159701 HAS SOUS 81912 HAS SOUPS 20461 WITH SCORE 20709.139
AT ITER 5938 NEW BEST:: SOT 386428 SOS 248099 HAS SOPS 159661 HAS SOUS 81832 HAS SOUPS 20381 WITH SCORE 20629.099
AT ITER 5984 NEW BEST:: SOT 386428 SOS 248088 HAS SOPS 159661 HAS SOUS 81832 HAS SOUPS 20381 WITH SCORE 20629.088
AT ITER 5987 NEW BEST:: SOT 386650 SOS 248469 HAS SOPS 159724 HAS SOUS 82054 HAS SOUPS 20285 WITH SCORE 20533.469
AT ITER 6032 NEW BEST:: SOT 386573 SOS 248005 HAS SOPS 159647 HAS SOUS 81900 HAS SOUPS 20244 WITH SCORE 20492.005
AT ITER 6065 NEW BEST:: SOT 386613 SOS 248125 HAS SOPS 159647 HAS SOUS 81900 HAS SOUPS 20204 WITH SCORE 20452.125
AT ITER 6132 NEW BEST:: SOT 386597 SOS 248109 HAS SOPS 159631 HAS SOUS 81868 HAS SOUPS 20172 WITH SCORE 20420.109
AT ITER 6147 NEW BEST:: SOT 386597 SOS 247885 HAS SOPS 159631 HAS SOUS 81791 HAS SOUPS 20172 WITH SCORE 20419.885
AT ITER 6189 NEW BEST:: SOT 386487 SOS 247180 HAS SOPS 159521 HAS SOUS 81571 HAS SOUPS 20133 WITH SCORE 20380.18
AT ITER 6235 NEW BEST:: SOT 386449 SOS 247066 HAS SOPS 159483 HAS SOUS 81495 HAS SOUPS 20095 WITH SCORE 20342.066
AT ITER 6329 NEW BEST:: SOT 386449 SOS 247027 HAS SOPS 159483 HAS SOUS 81495 HAS SOUPS 20095 WITH SCORE 20342.027
AT ITER 6368 NEW BEST:: SOT 386449 SOS 246996 HAS SOPS 159483 HAS SOUS 81464 HAS SOUPS 20095 WITH SCORE 20341.996
AT ITER 6379 NEW BEST:: SOT 386540 SOS 247269 HAS SOPS 159483 HAS SOUS 81464 HAS SOUPS 20004 WITH SCORE 20251.269
AT ITER 6382 NEW BEST:: SOT 386412 SOS 246989 HAS SOPS 159355 HAS SOUS 81360 HAS SOUPS 19976 WITH SCORE 20222.989
AT ITER 6437 NEW BEST:: SOT 386395 SOS 246972 HAS SOPS 159338 HAS SOUS 81343 HAS SOUPS 19959 WITH SCORE 20205.972
AT ITER 6451 NEW BEST:: SOT 386333 SOS 246641 HAS SOPS 159276 HAS SOUS 81219 HAS SOUPS 19923 WITH SCORE 20169.641
AT ITER 6497 NEW BEST:: SOT 386330 SOS 246638 HAS SOPS 159273 HAS SOUS 81213 HAS SOUPS 19917 WITH SCORE 20163.638
AT ITER 6498 NEW BEST:: SOT 386330 SOS 246625 HAS SOPS 159273 HAS SOUS 81213 HAS SOUPS 19917 WITH SCORE 20163.625
AT ITER 6503 NEW BEST:: SOT 386253 SOS 246352 HAS SOPS 159196 HAS SOUS 81059 HAS SOUPS 19861 WITH SCORE 20107.352
AT ITER 6536 NEW BEST:: SOT 386253 SOS 246331 HAS SOPS 159196 HAS SOUS 81059 HAS SOUPS 19861 WITH SCORE 20107.331
AT ITER 6538 NEW BEST:: SOT 386253 SOS 246325 HAS SOPS 159196 HAS SOUS 81059 HAS SOUPS 19861 WITH SCORE 20107.325
AT ITER 6581 NEW BEST:: SOT 386253 SOS 246293 HAS SOPS 159196 HAS SOUS 81059 HAS SOUPS 19861 WITH SCORE 20107.293
AT ITER 6625 NEW BEST:: SOT 386193 SOS 246173 HAS SOPS 159136 HAS SOUS 80999 HAS SOUPS 19831 WITH SCORE 20077.173
AT ITER 6646 NEW BEST:: SOT 386189 SOS 246169 HAS SOPS 159132 HAS SOUS 80995 HAS SOUPS 19827 WITH SCORE 20073.169
AT ITER 6676 NEW BEST:: SOT 386189 SOS 246124 HAS SOPS 159132 HAS SOUS 80995 HAS SOUPS 19827 WITH SCORE 20073.124
AT ITER 6705 NEW BEST:: SOT 386232 SOS 246253 HAS SOPS 159175 HAS SOUS 80995 HAS SOUPS 19784 WITH SCORE 20030.253
AT ITER 6710 NEW BEST:: SOT 386194 SOS 246177 HAS SOPS 159137 HAS SOUS 80957 HAS SOUPS 19765 WITH SCORE 20011.177
AT ITER 6735 NEW BEST:: SOT 385794 SOS 245229 HAS SOPS 158844 HAS SOUS 80557 HAS SOUPS 19746 WITH SCORE 19991.229
AT ITER 6741 NEW BEST:: SOT 385809 SOS 245274 HAS SOPS 158844 HAS SOUS 80557 HAS SOUPS 19731 WITH SCORE 19976.274
AT ITER 6750 NEW BEST:: SOT 385839 SOS 245364 HAS SOPS 158844 HAS SOUS 80587 HAS SOUPS 19701 WITH SCORE 19946.364
AT ITER 6759 NEW BEST:: SOT 385861 SOS 245430 HAS SOPS 158844 HAS SOUS 80587 HAS SOUPS 19679 WITH SCORE 19924.43
AT ITER 6798 NEW BEST:: SOT 385843 SOS 245412 HAS SOPS 158808 HAS SOUS 80551 HAS SOUPS 19643 WITH SCORE 19888.412
AT ITER 6811 NEW BEST:: SOT 385843 SOS 245603 HAS SOPS 158808 HAS SOUS 80551 HAS SOUPS 19610 WITH SCORE 19855.603
AT ITER 6834 NEW BEST:: SOT 385838 SOS 245594 HAS SOPS 158803 HAS SOUS 80545 HAS SOUPS 19608 WITH SCORE 19853.594
AT ITER 6850 NEW BEST:: SOT 385821 SOS 245577 HAS SOPS 158769 HAS SOUS 80511 HAS SOUPS 19574 WITH SCORE 19819.577
AT ITER 6853 NEW BEST:: SOT 385818 SOS 245574 HAS SOPS 158766 HAS SOUS 80505 HAS SOUPS 19568 WITH SCORE 19813.574
AT ITER 7002 NEW BEST:: SOT 385769 SOS 245473 HAS SOPS 158720 HAS SOUS 80456 HAS SOUPS 19548 WITH SCORE 19793.473
AT ITER 7019 NEW BEST:: SOT 385769 SOS 245342 HAS SOPS 158720 HAS SOUS 80456 HAS SOUPS 19548 WITH SCORE 19793.342
AT ITER 7039 NEW BEST:: SOT 385769 SOS 245155 HAS SOPS 158720 HAS SOUS 80456 HAS SOUPS 19548 WITH SCORE 19793.155
AT ITER 7082 NEW BEST:: SOT 385778 SOS 245182 HAS SOPS 158720 HAS SOUS 80465 HAS SOUPS 19539 WITH SCORE 19784.182
AT ITER 7119 NEW BEST:: SOT 385778 SOS 245181 HAS SOPS 158720 HAS SOUS 80465 HAS SOUPS 19539 WITH SCORE 19784.181
AT ITER 7136 NEW BEST:: SOT 385797 SOS 245200 HAS SOPS 158727 HAS SOUS 80441 HAS SOUPS 19515 WITH SCORE 19760.2
AT ITER 7204 NEW BEST:: SOT 385810 SOS 245213 HAS SOPS 158694 HAS SOUS 80375 HAS SOUPS 19449 WITH SCORE 19694.213
AT ITER 7311 NEW BEST:: SOT 385781 SOS 245184 HAS SOPS 158665 HAS SOUS 80375 HAS SOUPS 19449 WITH SCORE 19694.184
AT ITER 7325 NEW BEST:: SOT 385744 SOS 245001 HAS SOPS 158628 HAS SOUS 80301 HAS SOUPS 19448 WITH SCORE 19693.001
AT ITER 7359 NEW BEST:: SOT 385410 SOS 244333 HAS SOPS 158294 HAS SOUS 79967 HAS SOUPS 19281 WITH SCORE 19525.333
AT ITER 7374 NEW BEST:: SOT 385410 SOS 244317 HAS SOPS 158294 HAS SOUS 79967 HAS SOUPS 19281 WITH SCORE 19525.317
AT ITER 7380 NEW BEST:: SOT 385482 SOS 244389 HAS SOPS 158366 HAS SOUS 79961 HAS SOUPS 19275 WITH SCORE 19519.389
AT ITER 7389 NEW BEST:: SOT 385482 SOS 244236 HAS SOPS 158366 HAS SOUS 79961 HAS SOUPS 19275 WITH SCORE 19519.236
AT ITER 7465 NEW BEST:: SOT 385482 SOS 244225 HAS SOPS 158366 HAS SOUS 79961 HAS SOUPS 19275 WITH SCORE 19519.225
AT ITER 7481 NEW BEST:: SOT 385482 SOS 244215 HAS SOPS 158366 HAS SOUS 79961 HAS SOUPS 19275 WITH SCORE 19519.215
AT ITER 7483 NEW BEST:: SOT 385475 SOS 244208 HAS SOPS 158359 HAS SOUS 79947 HAS SOUPS 19261 WITH SCORE 19505.208
AT ITER 7613 NEW BEST:: SOT 385450 SOS 244183 HAS SOPS 158222 HAS SOUS 79897 HAS SOUPS 19211 WITH SCORE 19455.183
AT ITER 7621 NEW BEST:: SOT 385450 SOS 244197 HAS SOPS 158222 HAS SOUS 79897 HAS SOUPS 19204 WITH SCORE 19448.197
AT ITER 7627 NEW BEST:: SOT 385535 SOS 244452 HAS SOPS 158222 HAS SOUS 79982 HAS SOUPS 19119 WITH SCORE 19363.452
AT ITER 7630 NEW BEST:: SOT 385466 SOS 244383 HAS SOPS 158153 HAS SOUS 79982 HAS SOUPS 19119 WITH SCORE 19363.383
AT ITER 7719 NEW BEST:: SOT 385466 SOS 244259 HAS SOPS 158153 HAS SOUS 79982 HAS SOUPS 19119 WITH SCORE 19363.259
AT ITER 7806 NEW BEST:: SOT 385475 SOS 244286 HAS SOPS 158162 HAS SOUS 79982 HAS SOUPS 19110 WITH SCORE 19354.286
AT ITER 7815 NEW BEST:: SOT 385509 SOS 244388 HAS SOPS 158162 HAS SOUS 79982 HAS SOUPS 19076 WITH SCORE 19320.388
AT ITER 7822 NEW BEST:: SOT 385514 SOS 244403 HAS SOPS 158162 HAS SOUS 79987 HAS SOUPS 19071 WITH SCORE 19315.403
AT ITER 7843 NEW BEST:: SOT 385514 SOS 244375 HAS SOPS 158162 HAS SOUS 79987 HAS SOUPS 19071 WITH SCORE 19315.375
AT ITER 7859 NEW BEST:: SOT 385514 SOS 244332 HAS SOPS 158162 HAS SOUS 79987 HAS SOUPS 19071 WITH SCORE 19315.332
AT ITER 7867 NEW BEST:: SOT 385514 SOS 244332 HAS SOPS 158150 HAS SOUS 79963 HAS SOUPS 19047 WITH SCORE 19291.332
AT ITER 7949 NEW BEST:: SOT 385511 SOS 244329 HAS SOPS 158144 HAS SOUS 79957 HAS SOUPS 19041 WITH SCORE 19285.329
AT ITER 7969 NEW BEST:: SOT 385497 SOS 244315 HAS SOPS 158130 HAS SOUS 79929 HAS SOUPS 19013 WITH SCORE 19257.315
AT ITER 7985 NEW BEST:: SOT 385354 SOS 244006 HAS SOPS 158010 HAS SOUS 79786 HAS SOUPS 18976 WITH SCORE 19220.006
AT ITER 7986 NEW BEST:: SOT 385371 SOS 244057 HAS SOPS 158010 HAS SOUS 79803 HAS SOUPS 18959 WITH SCORE 19203.057
AT ITER 7999 NEW BEST:: SOT 385369 SOS 244055 HAS SOPS 157916 HAS SOUS 79799 HAS SOUPS 18955 WITH SCORE 19199.055
AT ITER 8024 NEW BEST:: SOT 385345 SOS 244031 HAS SOPS 157892 HAS SOUS 79751 HAS SOUPS 18907 WITH SCORE 19151.031
AT ITER 8033 NEW BEST:: SOT 385336 SOS 244022 HAS SOPS 157883 HAS SOUS 79733 HAS SOUPS 18889 WITH SCORE 19133.022
AT ITER 8084 NEW BEST:: SOT 385336 SOS 244016 HAS SOPS 157883 HAS SOUS 79733 HAS SOUPS 18889 WITH SCORE 19133.016
AT ITER 8093 NEW BEST:: SOT 385249 SOS 243874 HAS SOPS 157796 HAS SOUS 79608 HAS SOUPS 18819 WITH SCORE 19062.874
AT ITER 8096 NEW BEST:: SOT 385218 SOS 243843 HAS SOPS 157765 HAS SOUS 79608 HAS SOUPS 18819 WITH SCORE 19062.843
AT ITER 8121 NEW BEST:: SOT 385307 SOS 244110 HAS SOPS 157854 HAS SOUS 79608 HAS SOUPS 18730 WITH SCORE 18974.11
AT ITER 8175 NEW BEST:: SOT 385287 SOS 244090 HAS SOPS 157834 HAS SOUS 79608 HAS SOUPS 18730 WITH SCORE 18974.09
AT ITER 8198 NEW BEST:: SOT 385277 SOS 244080 HAS SOPS 157824 HAS SOUS 79598 HAS SOUPS 18720 WITH SCORE 18964.08
AT ITER 8240 NEW BEST:: SOT 385289 SOS 244116 HAS SOPS 157824 HAS SOUS 79598 HAS SOUPS 18708 WITH SCORE 18952.116
AT ITER 8243 NEW BEST:: SOT 385387 SOS 244410 HAS SOPS 157824 HAS SOUS 79696 HAS SOUPS 18610 WITH SCORE 18854.41
AT ITER 8251 NEW BEST:: SOT 385387 SOS 244492 HAS SOPS 157824 HAS SOUS 79696 HAS SOUPS 18569 WITH SCORE 18813.492
AT ITER 8306 NEW BEST:: SOT 385387 SOS 244483 HAS SOPS 157824 HAS SOUS 79696 HAS SOUPS 18569 WITH SCORE 18813.483
AT ITER 8346 NEW BEST:: SOT 385405 SOS 244827 HAS SOPS 157842 HAS SOUS 79732 HAS SOUPS 18545 WITH SCORE 18789.827
AT ITER 8364 NEW BEST:: SOT 385382 SOS 244781 HAS SOPS 157842 HAS SOUS 79686 HAS SOUPS 18545 WITH SCORE 18789.781
AT ITER 8415 NEW BEST:: SOT 385706 SOS 245549 HAS SOPS 158046 HAS SOUS 80010 HAS SOUPS 18527 WITH SCORE 18772.549
AT ITER 8440 NEW BEST:: SOT 385664 SOS 245465 HAS SOPS 158004 HAS SOUS 79968 HAS SOUPS 18506 WITH SCORE 18751.465
AT ITER 8441 NEW BEST:: SOT 385675 SOS 245681 HAS SOPS 158015 HAS SOUS 79990 HAS SOUPS 18491 WITH SCORE 18736.681
AT ITER 8520 NEW BEST:: SOT 385722 SOS 235648 HAS SOPS 147874 HAS SOUS 80037 HAS SOUPS 18484 WITH SCORE 18719.648
AT ITER 8524 NEW BEST:: SOT 385638 SOS 235480 HAS SOPS 147790 HAS SOUS 79953 HAS SOUPS 18442 WITH SCORE 18677.48
AT ITER 8556 NEW BEST:: SOT 385524 SOS 235252 HAS SOPS 147676 HAS SOUS 79839 HAS SOUPS 18385 WITH SCORE 18620.252
AT ITER 8568 NEW BEST:: SOT 385524 SOS 235184 HAS SOPS 147676 HAS SOUS 79839 HAS SOUPS 18385 WITH SCORE 18620.184
AT ITER 8569 NEW BEST:: SOT 385528 SOS 235196 HAS SOPS 147680 HAS SOUS 79839 HAS SOUPS 18381 WITH SCORE 18616.196
AT ITER 8608 NEW BEST:: SOT 385504 SOS 235172 HAS SOPS 147656 HAS SOUS 79821 HAS SOUPS 18363 WITH SCORE 18598.172
AT ITER 8628 NEW BEST:: SOT 385504 SOS 235172 HAS SOPS 147648 HAS SOUS 79805 HAS SOUPS 18347 WITH SCORE 18582.172
AT ITER 8644 NEW BEST:: SOT 385916 SOS 236160 HAS SOPS 147896 HAS SOUS 80217 HAS SOUPS 18310 WITH SCORE 18546.16
AT ITER 8676 NEW BEST:: SOT 385964 SOS 236304 HAS SOPS 147896 HAS SOUS 80217 HAS SOUPS 18262 WITH SCORE 18498.304
AT ITER 8701 NEW BEST:: SOT 385962 SOS 236302 HAS SOPS 147894 HAS SOUS 80213 HAS SOUPS 18258 WITH SCORE 18494.302
AT ITER 8736 NEW BEST:: SOT 385990 SOS 236374 HAS SOPS 147922 HAS SOUS 80225 HAS SOUPS 18248 WITH SCORE 18484.374
AT ITER 8884 NEW BEST:: SOT 386035 SOS 236509 HAS SOPS 147922 HAS SOUS 80225 HAS SOUPS 18203 WITH SCORE 18439.509
AT ITER 8896 NEW BEST:: SOT 386035 SOS 236508 HAS SOPS 147922 HAS SOUS 80225 HAS SOUPS 18203 WITH SCORE 18439.508
AT ITER 8906 NEW BEST:: SOT 386004 SOS 236477 HAS SOPS 147891 HAS SOUS 80225 HAS SOUPS 18203 WITH SCORE 18439.477
AT ITER 8916 NEW BEST:: SOT 386014 SOS 236497 HAS SOPS 147891 HAS SOUS 80235 HAS SOUPS 18193 WITH SCORE 18429.497
AT ITER 8928 NEW BEST:: SOT 386081 SOS 236564 HAS SOPS 147867 HAS SOUS 80187 HAS SOUPS 18145 WITH SCORE 18381.564
AT ITER 8932 NEW BEST:: SOT 386081 SOS 236534 HAS SOPS 147867 HAS SOUS 80187 HAS SOUPS 18145 WITH SCORE 18381.534
AT ITER 8952 NEW BEST:: SOT 386044 SOS 236452 HAS SOPS 147838 HAS SOUS 80105 HAS SOUPS 18116 WITH SCORE 18352.452
AT ITER 8974 NEW BEST:: SOT 386041 SOS 236449 HAS SOPS 147835 HAS SOUS 80099 HAS SOUPS 18110 WITH SCORE 18346.449
AT ITER 8996 NEW BEST:: SOT 385907 SOS 236149 HAS SOPS 147701 HAS SOUS 79997 HAS SOUPS 18091 WITH SCORE 18327.149
AT ITER 9003 NEW BEST:: SOT 385907 SOS 236070 HAS SOPS 147701 HAS SOUS 79997 HAS SOUPS 18091 WITH SCORE 18327.07
AT ITER 9011 NEW BEST:: SOT 385886 SOS 236049 HAS SOPS 147680 HAS SOUS 79955 HAS SOUPS 18049 WITH SCORE 18285.049
AT ITER 9021 NEW BEST:: SOT 385586 SOS 235660 HAS SOPS 147469 HAS SOUS 79757 HAS SOUPS 18029 WITH SCORE 18264.66
AT ITER 9072 NEW BEST:: SOT 385584 SOS 235658 HAS SOPS 147467 HAS SOUS 79755 HAS SOUPS 18027 WITH SCORE 18262.658
AT ITER 9135 NEW BEST:: SOT 385563 SOS 235637 HAS SOPS 147446 HAS SOUS 79713 HAS SOUPS 17985 WITH SCORE 18220.637
AT ITER 9165 NEW BEST:: SOT 385595 SOS 235733 HAS SOPS 147446 HAS SOUS 79745 HAS SOUPS 17953 WITH SCORE 18188.733
AT ITER 9187 NEW BEST:: SOT 385668 SOS 235806 HAS SOPS 147424 HAS SOUS 79701 HAS SOUPS 17909 WITH SCORE 18144.806
AT ITER 9207 NEW BEST:: SOT 385628 SOS 235766 HAS SOPS 147384 HAS SOUS 79693 HAS SOUPS 17901 WITH SCORE 18136.766
AT ITER 9235 NEW BEST:: SOT 385592 SOS 235730 HAS SOPS 147312 HAS SOUS 79621 HAS SOUPS 17829 WITH SCORE 18064.73
AT ITER 9261 NEW BEST:: SOT 385582 SOS 235720 HAS SOPS 147302 HAS SOUS 79601 HAS SOUPS 17809 WITH SCORE 18044.72
AT ITER 9287 NEW BEST:: SOT 385582 SOS 235639 HAS SOPS 147302 HAS SOUS 79601 HAS SOUPS 17809 WITH SCORE 18044.639
AT ITER 9319 NEW BEST:: SOT 385568 SOS 235625 HAS SOPS 147288 HAS SOUS 79587 HAS SOUPS 17795 WITH SCORE 18030.625
AT ITER 9443 NEW BEST:: SOT 385568 SOS 235623 HAS SOPS 147288 HAS SOUS 79587 HAS SOUPS 17795 WITH SCORE 18030.623
AT ITER 9448 NEW BEST:: SOT 385568 SOS 235614 HAS SOPS 147288 HAS SOUS 79587 HAS SOUPS 17795 WITH SCORE 18030.614
AT ITER 9557 NEW BEST:: SOT 385546 SOS 235592 HAS SOPS 147266 HAS SOUS 79565 HAS SOUPS 17773 WITH SCORE 18008.592
AT ITER 9573 NEW BEST:: SOT 385540 SOS 235572 HAS SOPS 147260 HAS SOUS 79553 HAS SOUPS 17768 WITH SCORE 18003.572
AT ITER 9600 NEW BEST:: SOT 385539 SOS 235571 HAS SOPS 147259 HAS SOUS 79551 HAS SOUPS 17766 WITH SCORE 18001.571
AT ITER 9673 NEW BEST:: SOT 385525 SOS 235557 HAS SOPS 147245 HAS SOUS 79537 HAS SOUPS 17752 WITH SCORE 17987.557
AT ITER 9720 NEW BEST:: SOT 385525 SOS 235631 HAS SOPS 147245 HAS SOUS 79537 HAS SOUPS 17715 WITH SCORE 17950.631
AT ITER 9724 NEW BEST:: SOT 384059 SOS 235589 HAS SOPS 148471 HAS SOUS 78071 HAS SOUPS 17517 WITH SCORE 17752.589
AT ITER 9731 NEW BEST:: SOT 384043 SOS 235573 HAS SOPS 148455 HAS SOUS 78055 HAS SOUPS 17501 WITH SCORE 17736.573
AT ITER 9748 NEW BEST:: SOT 383994 SOS 236185 HAS SOPS 149141 HAS SOUS 78005 HAS SOUPS 17488 WITH SCORE 17724.185
AT ITER 9756 NEW BEST:: SOT 383976 SOS 236167 HAS SOPS 149123 HAS SOUS 77987 HAS SOUPS 17470 WITH SCORE 17706.167
AT ITER 9767 NEW BEST:: SOT 384015 SOS 236284 HAS SOPS 149123 HAS SOUS 77987 HAS SOUPS 17431 WITH SCORE 17667.284
AT ITER 9923 NEW BEST:: SOT 383966 SOS 236235 HAS SOPS 149074 HAS SOUS 77889 HAS SOUPS 17333 WITH SCORE 17569.235
AT ITER 9975 NEW BEST:: SOT 383854 SOS 236123 HAS SOPS 148962 HAS SOUS 77889 HAS SOUPS 17333 WITH SCORE 17569.123
STATE_SPACE STATES 34877423 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 308 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 155007424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472826155

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

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="AirplaneLD-PT-0100"
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 AirplaneLD-PT-0100, 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 r003-oct2-167813590600272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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