Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500448.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-8A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 6 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 745K Mar 24 05:37 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 1589644205522

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 317 places, 4293 transitions, 9691 arcs.
AT ITER 0 NEW BEST:: SOT 302177 SOS 230273 HAS SOPS 230273 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77446.273
AT ITER 5 NEW BEST:: SOT 301873 SOS 229981 HAS SOPS 229981 HAS SOUS 76924 HAS SOUPS 76924 WITH SCORE 77153.981
AT ITER 6 NEW BEST:: SOT 301873 SOS 229765 HAS SOPS 229765 HAS SOUS 76924 HAS SOUPS 76924 WITH SCORE 77153.765
AT ITER 8 NEW BEST:: SOT 301437 SOS 229390 HAS SOPS 229390 HAS SOUS 76456 HAS SOUPS 76456 WITH SCORE 76685.39
AT ITER 9 NEW BEST:: SOT 301263 SOS 229216 HAS SOPS 229216 HAS SOUS 76282 HAS SOUPS 76282 WITH SCORE 76511.216
AT ITER 11 NEW BEST:: SOT 301236 SOS 228112 HAS SOPS 227542 HAS SOUS 76271 HAS SOUPS 75701 WITH SCORE 75929.112
AT ITER 12 NEW BEST:: SOT 300762 SOS 227638 HAS SOPS 227068 HAS SOUS 75795 HAS SOUPS 75225 WITH SCORE 75452.638
AT ITER 19 NEW BEST:: SOT 300558 SOS 227434 HAS SOPS 226864 HAS SOUS 75509 HAS SOUPS 74939 WITH SCORE 75166.434
AT ITER 22 NEW BEST:: SOT 300399 SOS 227275 HAS SOPS 226705 HAS SOUS 75349 HAS SOUPS 74779 WITH SCORE 75006.275
AT ITER 23 NEW BEST:: SOT 300034 SOS 226910 HAS SOPS 226340 HAS SOUS 74816 HAS SOUPS 74246 WITH SCORE 74472.91
AT ITER 27 NEW BEST:: SOT 300030 SOS 226870 HAS SOPS 226300 HAS SOUS 74808 HAS SOUPS 74238 WITH SCORE 74464.87
AT ITER 35 NEW BEST:: SOT 299405 SOS 226245 HAS SOPS 225675 HAS SOUS 74262 HAS SOUPS 73692 WITH SCORE 73918.245
AT ITER 37 NEW BEST:: SOT 299162 SOS 226002 HAS SOPS 225432 HAS SOUS 74171 HAS SOUPS 73601 WITH SCORE 73827.002
AT ITER 39 NEW BEST:: SOT 298367 SOS 224680 HAS SOPS 224110 HAS SOUS 73600 HAS SOUPS 73030 WITH SCORE 73254.68
AT ITER 42 NEW BEST:: SOT 300681 SOS 224233 HAS SOPS 223663 HAS SOUS 73598 HAS SOUPS 73028 WITH SCORE 73252.233
AT ITER 43 NEW BEST:: SOT 300919 SOS 224471 HAS SOPS 223901 HAS SOUS 73553 HAS SOUPS 72983 WITH SCORE 73207.471
AT ITER 46 NEW BEST:: SOT 301029 SOS 224047 HAS SOPS 223477 HAS SOUS 73513 HAS SOUPS 72943 WITH SCORE 73167.047
AT ITER 47 NEW BEST:: SOT 300344 SOS 223273 HAS SOPS 222703 HAS SOUS 72846 HAS SOUPS 72276 WITH SCORE 72499.273
AT ITER 49 NEW BEST:: SOT 300264 SOS 223193 HAS SOPS 222623 HAS SOUS 72686 HAS SOUPS 72116 WITH SCORE 72339.193
AT ITER 53 NEW BEST:: SOT 299996 SOS 222925 HAS SOPS 222355 HAS SOUS 72386 HAS SOUPS 71816 WITH SCORE 72038.925
AT ITER 58 NEW BEST:: SOT 299631 SOS 222560 HAS SOPS 221990 HAS SOUS 71836 HAS SOUPS 71266 WITH SCORE 71488.56
AT ITER 61 NEW BEST:: SOT 299625 SOS 222554 HAS SOPS 221984 HAS SOUS 71798 HAS SOUPS 71228 WITH SCORE 71450.554
AT ITER 65 NEW BEST:: SOT 299803 SOS 222205 HAS SOPS 221405 HAS SOUS 71924 HAS SOUPS 71124 WITH SCORE 71346.205
AT ITER 66 NEW BEST:: SOT 299734 SOS 222136 HAS SOPS 221336 HAS SOUS 71855 HAS SOUPS 71055 WITH SCORE 71277.136
AT ITER 67 NEW BEST:: SOT 299664 SOS 222066 HAS SOPS 221266 HAS SOUS 71668 HAS SOUPS 70868 WITH SCORE 71090.066
AT ITER 70 NEW BEST:: SOT 299866 SOS 222268 HAS SOPS 221468 HAS SOUS 71595 HAS SOUPS 70795 WITH SCORE 71017.268
AT ITER 72 NEW BEST:: SOT 298935 SOS 221337 HAS SOPS 220537 HAS SOUS 70698 HAS SOUPS 69898 WITH SCORE 70119.337
AT ITER 80 NEW BEST:: SOT 298788 SOS 221190 HAS SOPS 220390 HAS SOUS 70622 HAS SOUPS 69822 WITH SCORE 70043.19
AT ITER 83 NEW BEST:: SOT 298640 SOS 221042 HAS SOPS 220242 HAS SOUS 70513 HAS SOUPS 69713 WITH SCORE 69934.042
AT ITER 89 NEW BEST:: SOT 298640 SOS 221002 HAS SOPS 220202 HAS SOUS 70513 HAS SOUPS 69713 WITH SCORE 69934.002
AT ITER 90 NEW BEST:: SOT 298640 SOS 221002 HAS SOPS 220202 HAS SOUS 70462 HAS SOUPS 69662 WITH SCORE 69883.002
AT ITER 92 NEW BEST:: SOT 298336 SOS 220698 HAS SOPS 219898 HAS SOUS 70203 HAS SOUPS 69403 WITH SCORE 69623.698
AT ITER 94 NEW BEST:: SOT 297640 SOS 220002 HAS SOPS 219202 HAS SOUS 69661 HAS SOUPS 68861 WITH SCORE 69081.002
AT ITER 99 NEW BEST:: SOT 297649 SOS 220020 HAS SOPS 219220 HAS SOUS 69658 HAS SOUPS 68858 WITH SCORE 69078.02
AT ITER 101 NEW BEST:: SOT 297636 SOS 220007 HAS SOPS 219207 HAS SOUS 69619 HAS SOUPS 68819 WITH SCORE 69039.007
AT ITER 104 NEW BEST:: SOT 297419 SOS 219790 HAS SOPS 218990 HAS SOUS 69268 HAS SOUPS 68468 WITH SCORE 68687.79
AT ITER 107 NEW BEST:: SOT 297395 SOS 219766 HAS SOPS 218966 HAS SOUS 69220 HAS SOUPS 68420 WITH SCORE 68639.766
AT ITER 110 NEW BEST:: SOT 296817 SOS 219188 HAS SOPS 218388 HAS SOUS 68667 HAS SOUPS 67867 WITH SCORE 68086.188
AT ITER 119 NEW BEST:: SOT 296843 SOS 219214 HAS SOPS 218414 HAS SOUS 68536 HAS SOUPS 67736 WITH SCORE 67955.214
AT ITER 122 NEW BEST:: SOT 329579 SOS 248548 HAS SOPS 247748 HAS SOUS 68183 HAS SOUPS 67383 WITH SCORE 67631.548
AT ITER 124 NEW BEST:: SOT 329560 SOS 248529 HAS SOPS 247729 HAS SOUS 68167 HAS SOUPS 67367 WITH SCORE 67615.529
AT ITER 126 NEW BEST:: SOT 329500 SOS 248469 HAS SOPS 247669 HAS SOUS 67926 HAS SOUPS 67126 WITH SCORE 67374.469
AT ITER 128 NEW BEST:: SOT 329495 SOS 248479 HAS SOPS 247684 HAS SOUS 67906 HAS SOUPS 67111 WITH SCORE 67359.479
AT ITER 131 NEW BEST:: SOT 329042 SOS 247486 HAS SOPS 246691 HAS SOUS 67330 HAS SOUPS 66535 WITH SCORE 66782.486
AT ITER 132 NEW BEST:: SOT 328985 SOS 247429 HAS SOPS 246634 HAS SOUS 67207 HAS SOUPS 66412 WITH SCORE 66659.429
AT ITER 137 NEW BEST:: SOT 327793 SOS 244849 HAS SOPS 244054 HAS SOUS 67199 HAS SOUPS 66404 WITH SCORE 66648.849
AT ITER 139 NEW BEST:: SOT 327641 SOS 242899 HAS SOPS 242104 HAS SOUS 66793 HAS SOUPS 65998 WITH SCORE 66240.899
AT ITER 143 NEW BEST:: SOT 327617 SOS 242803 HAS SOPS 242008 HAS SOUS 66780 HAS SOUPS 65985 WITH SCORE 66227.803
AT ITER 145 NEW BEST:: SOT 358110 SOS 272981 HAS SOPS 272186 HAS SOUS 66181 HAS SOUPS 65386 WITH SCORE 65658.981
AT ITER 148 NEW BEST:: SOT 357993 SOS 272864 HAS SOPS 272069 HAS SOUS 66034 HAS SOUPS 65239 WITH SCORE 65511.864
AT ITER 155 NEW BEST:: SOT 357818 SOS 272689 HAS SOPS 271894 HAS SOUS 65774 HAS SOUPS 64979 WITH SCORE 65251.689
AT ITER 159 NEW BEST:: SOT 369581 SOS 281782 HAS SOPS 280987 HAS SOUS 65751 HAS SOUPS 64956 WITH SCORE 65237.782
AT ITER 165 NEW BEST:: SOT 369555 SOS 281756 HAS SOPS 280961 HAS SOUS 65670 HAS SOUPS 64875 WITH SCORE 65156.756
AT ITER 168 NEW BEST:: SOT 369353 SOS 281552 HAS SOPS 280757 HAS SOUS 65232 HAS SOUPS 64437 WITH SCORE 64718.552
AT ITER 169 NEW BEST:: SOT 371037 SOS 277229 HAS SOPS 276434 HAS SOUS 65206 HAS SOUPS 64411 WITH SCORE 64688.229
AT ITER 170 NEW BEST:: SOT 371028 SOS 277306 HAS SOPS 276511 HAS SOUS 65096 HAS SOUPS 64301 WITH SCORE 64578.306
AT ITER 191 NEW BEST:: SOT 370684 SOS 276962 HAS SOPS 276167 HAS SOUS 64803 HAS SOUPS 64008 WITH SCORE 64284.962
AT ITER 206 NEW BEST:: SOT 370401 SOS 276679 HAS SOPS 275884 HAS SOUS 64591 HAS SOUPS 63796 WITH SCORE 64072.679
AT ITER 208 NEW BEST:: SOT 370275 SOS 276553 HAS SOPS 275758 HAS SOUS 64338 HAS SOUPS 63543 WITH SCORE 63819.553
AT ITER 209 NEW BEST:: SOT 369975 SOS 276169 HAS SOPS 275374 HAS SOUS 63908 HAS SOUPS 63113 WITH SCORE 63389.169
AT ITER 215 NEW BEST:: SOT 369975 SOS 276099 HAS SOPS 275304 HAS SOUS 63908 HAS SOUPS 63113 WITH SCORE 63389.099
AT ITER 216 NEW BEST:: SOT 369938 SOS 276062 HAS SOPS 275267 HAS SOUS 63834 HAS SOUPS 63039 WITH SCORE 63315.062
AT ITER 220 NEW BEST:: SOT 368888 SOS 275019 HAS SOPS 274231 HAS SOUS 63796 HAS SOUPS 63008 WITH SCORE 63283.019
AT ITER 224 NEW BEST:: SOT 367845 SOS 272926 HAS SOPS 272138 HAS SOUS 63789 HAS SOUPS 63001 WITH SCORE 63273.926
AT ITER 229 NEW BEST:: SOT 407399 SOS 312232 HAS SOPS 311444 HAS SOUS 63507 HAS SOUPS 62719 WITH SCORE 63031.232
AT ITER 230 NEW BEST:: SOT 407349 SOS 312182 HAS SOPS 311394 HAS SOUS 63400 HAS SOUPS 62612 WITH SCORE 62924.182
AT ITER 233 NEW BEST:: SOT 407194 SOS 311973 HAS SOPS 311185 HAS SOUS 63395 HAS SOUPS 62607 WITH SCORE 62918.973
AT ITER 238 NEW BEST:: SOT 376825 SOS 281432 HAS SOPS 280644 HAS SOUS 62736 HAS SOUPS 61948 WITH SCORE 62229.432
AT ITER 241 NEW BEST:: SOT 363645 SOS 268228 HAS SOPS 267440 HAS SOUS 62547 HAS SOUPS 61759 WITH SCORE 62027.228
AT ITER 246 NEW BEST:: SOT 363618 SOS 268201 HAS SOPS 267413 HAS SOUS 62509 HAS SOUPS 61721 WITH SCORE 61989.201
AT ITER 252 NEW BEST:: SOT 363610 SOS 268146 HAS SOPS 267358 HAS SOUS 62494 HAS SOUPS 61706 WITH SCORE 61974.146
AT ITER 258 NEW BEST:: SOT 363554 SOS 267848 HAS SOPS 267181 HAS SOUS 62205 HAS SOUPS 61538 WITH SCORE 61805.848
AT ITER 259 NEW BEST:: SOT 363554 SOS 267818 HAS SOPS 267181 HAS SOUS 62175 HAS SOUPS 61538 WITH SCORE 61805.818
AT ITER 272 NEW BEST:: SOT 363466 SOS 267744 HAS SOPS 267107 HAS SOUS 62090 HAS SOUPS 61453 WITH SCORE 61720.744
AT ITER 273 NEW BEST:: SOT 363422 SOS 267700 HAS SOPS 267063 HAS SOUS 61988 HAS SOUPS 61351 WITH SCORE 61618.7
AT ITER 278 NEW BEST:: SOT 367960 SOS 272238 HAS SOPS 271601 HAS SOUS 61822 HAS SOUPS 61185 WITH SCORE 61457.238
AT ITER 279 NEW BEST:: SOT 368000 SOS 272278 HAS SOPS 271641 HAS SOUS 61762 HAS SOUPS 61125 WITH SCORE 61397.278
AT ITER 282 NEW BEST:: SOT 368068 SOS 272346 HAS SOPS 271709 HAS SOUS 61575 HAS SOUPS 60938 WITH SCORE 61210.346
AT ITER 283 NEW BEST:: SOT 368056 SOS 272334 HAS SOPS 271697 HAS SOUS 61551 HAS SOUPS 60914 WITH SCORE 61186.334
AT ITER 284 NEW BEST:: SOT 368056 SOS 272298 HAS SOPS 271661 HAS SOUS 61551 HAS SOUPS 60914 WITH SCORE 61186.298
AT ITER 286 NEW BEST:: SOT 376364 SOS 274327 HAS SOPS 273690 HAS SOUS 61480 HAS SOUPS 60843 WITH SCORE 61117.327
AT ITER 287 NEW BEST:: SOT 376357 SOS 274320 HAS SOPS 273683 HAS SOUS 61395 HAS SOUPS 60758 WITH SCORE 61032.32
AT ITER 291 NEW BEST:: SOT 376325 SOS 274288 HAS SOPS 273651 HAS SOUS 61351 HAS SOUPS 60714 WITH SCORE 60988.288
AT ITER 293 NEW BEST:: SOT 376286 SOS 274249 HAS SOPS 273612 HAS SOUS 61339 HAS SOUPS 60702 WITH SCORE 60976.249
AT ITER 296 NEW BEST:: SOT 376531 SOS 274447 HAS SOPS 273857 HAS SOUS 61041 HAS SOUPS 60451 WITH SCORE 60725.447
AT ITER 304 NEW BEST:: SOT 376443 SOS 274359 HAS SOPS 273769 HAS SOUS 60931 HAS SOUPS 60341 WITH SCORE 60615.359
AT ITER 306 NEW BEST:: SOT 375698 SOS 273604 HAS SOPS 273014 HAS SOUS 60921 HAS SOUPS 60331 WITH SCORE 60604.604
AT ITER 307 NEW BEST:: SOT 409871 SOS 307555 HAS SOPS 306965 HAS SOUS 60237 HAS SOUPS 59647 WITH SCORE 59954.555
AT ITER 312 NEW BEST:: SOT 406826 SOS 304468 HAS SOPS 303878 HAS SOUS 60233 HAS SOUPS 59643 WITH SCORE 59947.468
AT ITER 315 NEW BEST:: SOT 406367 SOS 304009 HAS SOPS 303419 HAS SOUS 59680 HAS SOUPS 59090 WITH SCORE 59394.009
AT ITER 321 NEW BEST:: SOT 406367 SOS 304009 HAS SOPS 303419 HAS SOUS 59678 HAS SOUPS 59088 WITH SCORE 59392.009
AT ITER 333 NEW BEST:: SOT 406370 SOS 303992 HAS SOPS 303402 HAS SOUS 59671 HAS SOUPS 59081 WITH SCORE 59384.992
AT ITER 336 NEW BEST:: SOT 406652 SOS 303163 HAS SOPS 302573 HAS SOUS 59631 HAS SOUPS 59041 WITH SCORE 59344.163
AT ITER 341 NEW BEST:: SOT 406602 SOS 303113 HAS SOPS 302523 HAS SOUS 59506 HAS SOUPS 58916 WITH SCORE 59219.113
AT ITER 346 NEW BEST:: SOT 406447 SOS 303001 HAS SOPS 302411 HAS SOUS 59480 HAS SOUPS 58890 WITH SCORE 59193.001
AT ITER 348 NEW BEST:: SOT 406019 SOS 302573 HAS SOPS 301983 HAS SOUS 58982 HAS SOUPS 58392 WITH SCORE 58694.573
AT ITER 355 NEW BEST:: SOT 406157 SOS 302711 HAS SOPS 302121 HAS SOUS 58976 HAS SOUPS 58386 WITH SCORE 58688.711
AT ITER 360 NEW BEST:: SOT 406156 SOS 302644 HAS SOPS 302087 HAS SOUS 58667 HAS SOUPS 58110 WITH SCORE 58412.644
AT ITER 361 NEW BEST:: SOT 406164 SOS 302652 HAS SOPS 302095 HAS SOUS 58654 HAS SOUPS 58097 WITH SCORE 58399.652
AT ITER 375 NEW BEST:: SOT 406202 SOS 302540 HAS SOPS 301983 HAS SOUS 58593 HAS SOUPS 58036 WITH SCORE 58338.54
AT ITER 378 NEW BEST:: SOT 406172 SOS 302510 HAS SOPS 301953 HAS SOUS 58568 HAS SOUPS 58011 WITH SCORE 58313.51
AT ITER 379 NEW BEST:: SOT 406144 SOS 302482 HAS SOPS 301925 HAS SOUS 58549 HAS SOUPS 57992 WITH SCORE 58294.482
AT ITER 380 NEW BEST:: SOT 406113 SOS 302369 HAS SOPS 301894 HAS SOUS 58348 HAS SOUPS 57873 WITH SCORE 58175.369
AT ITER 382 NEW BEST:: SOT 406113 SOS 302369 HAS SOPS 301894 HAS SOUS 58268 HAS SOUPS 57793 WITH SCORE 58095.369
AT ITER 387 NEW BEST:: SOT 403749 SOS 297537 HAS SOPS 297062 HAS SOUS 58240 HAS SOUPS 57765 WITH SCORE 58062.537
AT ITER 392 NEW BEST:: SOT 403288 SOS 297076 HAS SOPS 296601 HAS SOUS 57797 HAS SOUPS 57322 WITH SCORE 57619.076
AT ITER 393 NEW BEST:: SOT 403153 SOS 296941 HAS SOPS 296466 HAS SOUS 57509 HAS SOUPS 57034 WITH SCORE 57330.941
AT ITER 397 NEW BEST:: SOT 403153 SOS 296671 HAS SOPS 296196 HAS SOUS 57509 HAS SOUPS 57034 WITH SCORE 57330.671
AT ITER 402 NEW BEST:: SOT 403202 SOS 295492 HAS SOPS 295017 HAS SOUS 57502 HAS SOUPS 57027 WITH SCORE 57322.492
AT ITER 405 NEW BEST:: SOT 403191 SOS 295449 HAS SOPS 295006 HAS SOUS 57400 HAS SOUPS 56957 WITH SCORE 57252.449
AT ITER 409 NEW BEST:: SOT 411022 SOS 303176 HAS SOPS 302733 HAS SOUS 57379 HAS SOUPS 56936 WITH SCORE 57239.176
AT ITER 410 NEW BEST:: SOT 410426 SOS 302580 HAS SOPS 302137 HAS SOUS 56483 HAS SOUPS 56040 WITH SCORE 56342.58
AT ITER 411 NEW BEST:: SOT 409993 SOS 302209 HAS SOPS 301766 HAS SOUS 56129 HAS SOUPS 55686 WITH SCORE 55988.209
AT ITER 413 NEW BEST:: SOT 409711 SOS 302153 HAS SOPS 301710 HAS SOUS 55946 HAS SOUPS 55503 WITH SCORE 55805.153
AT ITER 414 NEW BEST:: SOT 409580 SOS 302022 HAS SOPS 301579 HAS SOUS 55828 HAS SOUPS 55385 WITH SCORE 55687.022
AT ITER 418 NEW BEST:: SOT 409285 SOS 302147 HAS SOPS 301704 HAS SOUS 55827 HAS SOUPS 55384 WITH SCORE 55686.147
AT ITER 432 NEW BEST:: SOT 409267 SOS 302129 HAS SOPS 301686 HAS SOUS 55796 HAS SOUPS 55353 WITH SCORE 55655.129
AT ITER 433 NEW BEST:: SOT 408684 SOS 301633 HAS SOPS 301190 HAS SOUS 55410 HAS SOUPS 54967 WITH SCORE 55268.633
AT ITER 442 NEW BEST:: SOT 407853 SOS 300682 HAS SOPS 300359 HAS SOUS 54459 HAS SOUPS 54136 WITH SCORE 54436.682
AT ITER 443 NEW BEST:: SOT 407709 SOS 300551 HAS SOPS 300228 HAS SOUS 54008 HAS SOUPS 53685 WITH SCORE 53985.551
AT ITER 445 NEW BEST:: SOT 437021 SOS 328290 HAS SOPS 327770 HAS SOUS 53612 HAS SOUPS 53277 WITH SCORE 53605.29
AT ITER 447 NEW BEST:: SOT 437391 SOS 328780 HAS SOPS 328286 HAS SOUS 53243 HAS SOUPS 52934 WITH SCORE 53262.78
AT ITER 453 NEW BEST:: SOT 437384 SOS 328773 HAS SOPS 328279 HAS SOUS 53241 HAS SOUPS 52932 WITH SCORE 53260.773
AT ITER 460 NEW BEST:: SOT 437350 SOS 328739 HAS SOPS 328245 HAS SOUS 53023 HAS SOUPS 52714 WITH SCORE 53042.739
AT ITER 461 NEW BEST:: SOT 436112 SOS 328180 HAS SOPS 327686 HAS SOUS 51960 HAS SOUPS 51651 WITH SCORE 51979.18
AT ITER 464 NEW BEST:: SOT 436172 SOS 328152 HAS SOPS 327702 HAS SOUS 51886 HAS SOUPS 51601 WITH SCORE 51929.152
AT ITER 472 NEW BEST:: SOT 469063 SOS 360962 HAS SOPS 360512 HAS SOUS 51740 HAS SOUPS 51455 WITH SCORE 51815.962
AT ITER 474 NEW BEST:: SOT 468892 SOS 360791 HAS SOPS 360341 HAS SOUS 51677 HAS SOUPS 51392 WITH SCORE 51752.791
AT ITER 475 NEW BEST:: SOT 468840 SOS 360731 HAS SOPS 360281 HAS SOUS 51582 HAS SOUPS 51297 WITH SCORE 51657.731
AT ITER 477 NEW BEST:: SOT 468668 SOS 360339 HAS SOPS 359889 HAS SOUS 51448 HAS SOUPS 51163 WITH SCORE 51523.339
AT ITER 479 NEW BEST:: SOT 468679 SOS 360350 HAS SOPS 359900 HAS SOUS 51408 HAS SOUPS 51123 WITH SCORE 51483.35
AT ITER 484 NEW BEST:: SOT 468760 SOS 360404 HAS SOPS 359981 HAS SOUS 51332 HAS SOUPS 51074 WITH SCORE 51434.404
AT ITER 486 NEW BEST:: SOT 468751 SOS 359411 HAS SOPS 358988 HAS SOUS 51236 HAS SOUPS 50978 WITH SCORE 51337.411
AT ITER 490 NEW BEST:: SOT 468649 SOS 359353 HAS SOPS 358930 HAS SOUS 51170 HAS SOUPS 50912 WITH SCORE 51271.353
AT ITER 495 NEW BEST:: SOT 468421 SOS 359125 HAS SOPS 358702 HAS SOUS 50994 HAS SOUPS 50736 WITH SCORE 51095.125
AT ITER 498 NEW BEST:: SOT 467954 SOS 358658 HAS SOPS 358235 HAS SOUS 50465 HAS SOUPS 50207 WITH SCORE 50565.658
AT ITER 500 NEW BEST:: SOT 466911 SOS 357622 HAS SOPS 357199 HAS SOUS 50451 HAS SOUPS 50193 WITH SCORE 50550.622
AT ITER 507 NEW BEST:: SOT 466706 SOS 357384 HAS SOPS 356961 HAS SOUS 49972 HAS SOUPS 49714 WITH SCORE 50071.384
AT ITER 511 NEW BEST:: SOT 466706 SOS 357009 HAS SOPS 356586 HAS SOUS 49922 HAS SOUPS 49664 WITH SCORE 50021.009
AT ITER 517 NEW BEST:: SOT 466427 SOS 356730 HAS SOPS 356307 HAS SOUS 49739 HAS SOUPS 49481 WITH SCORE 49837.73
AT ITER 523 NEW BEST:: SOT 466375 SOS 356650 HAS SOPS 356255 HAS SOUS 49650 HAS SOUPS 49420 WITH SCORE 49776.65
AT ITER 531 NEW BEST:: SOT 466485 SOS 356720 HAS SOPS 356325 HAS SOUS 49534 HAS SOUPS 49304 WITH SCORE 49660.72
AT ITER 536 NEW BEST:: SOT 465926 SOS 356161 HAS SOPS 355766 HAS SOUS 49141 HAS SOUPS 48911 WITH SCORE 49267.161
AT ITER 539 NEW BEST:: SOT 474236 SOS 353804 HAS SOPS 353409 HAS SOUS 49128 HAS SOUPS 48898 WITH SCORE 49251.804
AT ITER 540 NEW BEST:: SOT 474186 SOS 353890 HAS SOPS 353495 HAS SOUS 48944 HAS SOUPS 48714 WITH SCORE 49067.89
AT ITER 541 NEW BEST:: SOT 474088 SOS 353792 HAS SOPS 353397 HAS SOUS 48708 HAS SOUPS 48478 WITH SCORE 48831.792
AT ITER 544 NEW BEST:: SOT 473493 SOS 353197 HAS SOPS 352802 HAS SOUS 48073 HAS SOUPS 47843 WITH SCORE 48196.197
AT ITER 551 NEW BEST:: SOT 473908 SOS 353612 HAS SOPS 353217 HAS SOUS 48045 HAS SOUPS 47815 WITH SCORE 48168.612
AT ITER 552 NEW BEST:: SOT 474080 SOS 353762 HAS SOPS 353389 HAS SOUS 47926 HAS SOUPS 47718 WITH SCORE 48071.762
AT ITER 554 NEW BEST:: SOT 474054 SOS 353736 HAS SOPS 353363 HAS SOUS 47874 HAS SOUPS 47666 WITH SCORE 48019.736
AT ITER 556 NEW BEST:: SOT 474147 SOS 353750 HAS SOPS 353377 HAS SOUS 47853 HAS SOUPS 47645 WITH SCORE 47998.75
AT ITER 561 NEW BEST:: SOT 474300 SOS 353903 HAS SOPS 353530 HAS SOUS 47577 HAS SOUPS 47369 WITH SCORE 47722.903
AT ITER 562 NEW BEST:: SOT 474286 SOS 353889 HAS SOPS 353516 HAS SOUS 47573 HAS SOUPS 47365 WITH SCORE 47718.889
AT ITER 564 NEW BEST:: SOT 473974 SOS 353577 HAS SOPS 353204 HAS SOUS 47261 HAS SOUPS 47053 WITH SCORE 47406.577
AT ITER 567 NEW BEST:: SOT 474027 SOS 353630 HAS SOPS 353257 HAS SOUS 47221 HAS SOUPS 47013 WITH SCORE 47366.63
AT ITER 578 NEW BEST:: SOT 473462 SOS 353065 HAS SOPS 352692 HAS SOUS 46522 HAS SOUPS 46314 WITH SCORE 46667.065
AT ITER 587 NEW BEST:: SOT 470162 SOS 349765 HAS SOPS 349392 HAS SOUS 46478 HAS SOUPS 46270 WITH SCORE 46619.765
AT ITER 589 NEW BEST:: SOT 470169 SOS 349687 HAS SOPS 349349 HAS SOUS 46411 HAS SOUPS 46238 WITH SCORE 46587.687
AT ITER 595 NEW BEST:: SOT 470121 SOS 349639 HAS SOPS 349301 HAS SOUS 46380 HAS SOUPS 46207 WITH SCORE 46556.639
AT ITER 602 NEW BEST:: SOT 467609 SOS 347127 HAS SOPS 346789 HAS SOUS 46365 HAS SOUPS 46192 WITH SCORE 46539.127
AT ITER 605 NEW BEST:: SOT 467379 SOS 346897 HAS SOPS 346559 HAS SOUS 46322 HAS SOUPS 46149 WITH SCORE 46495.897
AT ITER 606 NEW BEST:: SOT 467363 SOS 346881 HAS SOPS 346543 HAS SOUS 46174 HAS SOUPS 46001 WITH SCORE 46347.881
AT ITER 611 NEW BEST:: SOT 467172 SOS 346783 HAS SOPS 346445 HAS SOUS 46020 HAS SOUPS 45847 WITH SCORE 46193.783
AT ITER 612 NEW BEST:: SOT 467166 SOS 346777 HAS SOPS 346439 HAS SOUS 46017 HAS SOUPS 45844 WITH SCORE 46190.777
AT ITER 615 NEW BEST:: SOT 467114 SOS 346725 HAS SOPS 346387 HAS SOUS 45929 HAS SOUPS 45756 WITH SCORE 46102.725
AT ITER 619 NEW BEST:: SOT 466725 SOS 345605 HAS SOPS 345267 HAS SOUS 45603 HAS SOUPS 45430 WITH SCORE 45775.605
AT ITER 620 NEW BEST:: SOT 466584 SOS 345464 HAS SOPS 345126 HAS SOUS 45462 HAS SOUPS 45289 WITH SCORE 45634.464
AT ITER 624 NEW BEST:: SOT 466287 SOS 344889 HAS SOPS 344829 HAS SOUS 45026 HAS SOUPS 44992 WITH SCORE 45336.889
AT ITER 629 NEW BEST:: SOT 466303 SOS 344895 HAS SOPS 344835 HAS SOUS 45022 HAS SOUPS 44988 WITH SCORE 45332.895
AT ITER 632 NEW BEST:: SOT 466295 SOS 344879 HAS SOPS 344819 HAS SOUS 45002 HAS SOUPS 44968 WITH SCORE 45312.879
AT ITER 633 NEW BEST:: SOT 466285 SOS 344169 HAS SOPS 344109 HAS SOUS 44997 HAS SOUPS 44963 WITH SCORE 45307.169
AT ITER 641 NEW BEST:: SOT 466103 SOS 343973 HAS SOPS 343913 HAS SOUS 44669 HAS SOUPS 44635 WITH SCORE 44978.973
AT ITER 649 NEW BEST:: SOT 466174 SOS 344037 HAS SOPS 343984 HAS SOUS 44631 HAS SOUPS 44601 WITH SCORE 44945.037
AT ITER 650 NEW BEST:: SOT 466131 SOS 343994 HAS SOPS 343941 HAS SOUS 44610 HAS SOUPS 44580 WITH SCORE 44923.994
AT ITER 655 NEW BEST:: SOT 462257 SOS 340790 HAS SOPS 340737 HAS SOUS 44558 HAS SOUPS 44528 WITH SCORE 44868.79
AT ITER 662 NEW BEST:: SOT 462201 SOS 340734 HAS SOPS 340681 HAS SOUS 44420 HAS SOUPS 44390 WITH SCORE 44730.734
AT ITER 675 NEW BEST:: SOT 462205 SOS 340735 HAS SOPS 340685 HAS SOUS 44415 HAS SOUPS 44388 WITH SCORE 44728.735
AT ITER 676 NEW BEST:: SOT 462197 SOS 340727 HAS SOPS 340677 HAS SOUS 44409 HAS SOUPS 44382 WITH SCORE 44722.727
AT ITER 682 NEW BEST:: SOT 462151 SOS 340681 HAS SOPS 340631 HAS SOUS 44328 HAS SOUPS 44301 WITH SCORE 44641.681
AT ITER 686 NEW BEST:: SOT 461406 SOS 339181 HAS SOPS 339131 HAS SOUS 44323 HAS SOUPS 44296 WITH SCORE 44635.181
AT ITER 687 NEW BEST:: SOT 464976 SOS 342751 HAS SOPS 342701 HAS SOUS 44243 HAS SOUPS 44216 WITH SCORE 44558.751
AT ITER 690 NEW BEST:: SOT 464950 SOS 342725 HAS SOPS 342675 HAS SOUS 44230 HAS SOUPS 44203 WITH SCORE 44545.725
AT ITER 692 NEW BEST:: SOT 464946 SOS 342717 HAS SOPS 342667 HAS SOUS 44228 HAS SOUPS 44201 WITH SCORE 44543.717
AT ITER 693 NEW BEST:: SOT 464799 SOS 341835 HAS SOPS 341785 HAS SOUS 44081 HAS SOUPS 44054 WITH SCORE 44395.835
AT ITER 698 NEW BEST:: SOT 464665 SOS 341701 HAS SOPS 341651 HAS SOUS 43827 HAS SOUPS 43800 WITH SCORE 44141.701
AT ITER 705 NEW BEST:: SOT 464556 SOS 341792 HAS SOPS 341542 HAS SOUS 43826 HAS SOUPS 43699 WITH SCORE 44040.792
AT ITER 707 NEW BEST:: SOT 464514 SOS 341735 HAS SOPS 341485 HAS SOUS 43796 HAS SOUPS 43669 WITH SCORE 44010.735
AT ITER 712 NEW BEST:: SOT 464479 SOS 341700 HAS SOPS 341450 HAS SOUS 43789 HAS SOUPS 43662 WITH SCORE 44003.7
AT ITER 725 NEW BEST:: SOT 464512 SOS 341733 HAS SOPS 341483 HAS SOUS 43736 HAS SOUPS 43609 WITH SCORE 43950.733
AT ITER 748 NEW BEST:: SOT 462873 SOS 338305 HAS SOPS 338055 HAS SOUS 43725 HAS SOUPS 43598 WITH SCORE 43936.305
AT ITER 757 NEW BEST:: SOT 462827 SOS 338259 HAS SOPS 338009 HAS SOUS 43247 HAS SOUPS 43120 WITH SCORE 43458.259
AT ITER 759 NEW BEST:: SOT 438118 SOS 313561 HAS SOPS 313311 HAS SOUS 42824 HAS SOUPS 42697 WITH SCORE 43010.561
AT ITER 767 NEW BEST:: SOT 438110 SOS 313537 HAS SOPS 313287 HAS SOUS 42816 HAS SOUPS 42689 WITH SCORE 43002.537
AT ITER 771 NEW BEST:: SOT 436561 SOS 311988 HAS SOPS 311738 HAS SOUS 41280 HAS SOUPS 41153 WITH SCORE 41464.988
AT ITER 774 NEW BEST:: SOT 436512 SOS 311939 HAS SOPS 311689 HAS SOUS 41210 HAS SOUPS 41083 WITH SCORE 41394.939
AT ITER 782 NEW BEST:: SOT 436508 SOS 311920 HAS SOPS 311670 HAS SOUS 41204 HAS SOUPS 41077 WITH SCORE 41388.92
AT ITER 784 NEW BEST:: SOT 435849 SOS 312317 HAS SOPS 312067 HAS SOUS 41050 HAS SOUPS 40923 WITH SCORE 41235.317
AT ITER 785 NEW BEST:: SOT 435265 SOS 311733 HAS SOPS 311483 HAS SOUS 40832 HAS SOUPS 40705 WITH SCORE 41016.733
AT ITER 790 NEW BEST:: SOT 435021 SOS 311269 HAS SOPS 311019 HAS SOUS 40703 HAS SOUPS 40576 WITH SCORE 40887.269
AT ITER 791 NEW BEST:: SOT 434941 SOS 311096 HAS SOPS 310846 HAS SOUS 40404 HAS SOUPS 40277 WITH SCORE 40588.096
AT ITER 795 NEW BEST:: SOT 434950 SOS 311105 HAS SOPS 310855 HAS SOUS 40382 HAS SOUPS 40255 WITH SCORE 40566.105
AT ITER 798 NEW BEST:: SOT 434956 SOS 311111 HAS SOPS 310861 HAS SOUS 40370 HAS SOUPS 40243 WITH SCORE 40554.111
AT ITER 806 NEW BEST:: SOT 434948 SOS 311103 HAS SOPS 310853 HAS SOUS 40362 HAS SOUPS 40235 WITH SCORE 40546.103
AT ITER 807 NEW BEST:: SOT 406728 SOS 283298 HAS SOPS 283048 HAS SOUS 40381 HAS SOUPS 40254 WITH SCORE 40537.298
AT ITER 813 NEW BEST:: SOT 406722 SOS 283292 HAS SOPS 283042 HAS SOUS 40375 HAS SOUPS 40248 WITH SCORE 40531.292
AT ITER 814 NEW BEST:: SOT 406722 SOS 283172 HAS SOPS 282922 HAS SOUS 40375 HAS SOUPS 40248 WITH SCORE 40531.172
AT ITER 831 NEW BEST:: SOT 406756 SOS 282773 HAS SOPS 282523 HAS SOUS 40328 HAS SOUPS 40201 WITH SCORE 40483.773
AT ITER 833 NEW BEST:: SOT 406665 SOS 282656 HAS SOPS 282406 HAS SOUS 40224 HAS SOUPS 40097 WITH SCORE 40379.656
AT ITER 846 NEW BEST:: SOT 440205 SOS 316252 HAS SOPS 316002 HAS SOUS 40022 HAS SOUPS 39895 WITH SCORE 40211.252
AT ITER 848 NEW BEST:: SOT 440197 SOS 316244 HAS SOPS 315994 HAS SOUS 39984 HAS SOUPS 39857 WITH SCORE 40173.244
AT ITER 849 NEW BEST:: SOT 440213 SOS 316260 HAS SOPS 316010 HAS SOUS 39936 HAS SOUPS 39809 WITH SCORE 40125.26
AT ITER 862 NEW BEST:: SOT 440209 SOS 316178 HAS SOPS 315928 HAS SOUS 39928 HAS SOUPS 39801 WITH SCORE 40117.178
AT ITER 865 NEW BEST:: SOT 439809 SOS 315778 HAS SOPS 315528 HAS SOUS 39474 HAS SOUPS 39347 WITH SCORE 39662.778
AT ITER 869 NEW BEST:: SOT 439650 SOS 315370 HAS SOPS 315120 HAS SOUS 39266 HAS SOUPS 39139 WITH SCORE 39454.37
AT ITER 871 NEW BEST:: SOT 439420 SOS 315140 HAS SOPS 314890 HAS SOUS 38710 HAS SOUPS 38583 WITH SCORE 38898.14
AT ITER 885 NEW BEST:: SOT 439420 SOS 315140 HAS SOPS 314890 HAS SOUS 38670 HAS SOUPS 38543 WITH SCORE 38858.14
AT ITER 889 NEW BEST:: SOT 439414 SOS 315134 HAS SOPS 314884 HAS SOUS 38664 HAS SOUPS 38537 WITH SCORE 38852.134
AT ITER 894 NEW BEST:: SOT 439414 SOS 315134 HAS SOPS 314884 HAS SOUS 38661 HAS SOUPS 38534 WITH SCORE 38849.134
AT ITER 912 NEW BEST:: SOT 437328 SOS 310906 HAS SOPS 310656 HAS SOUS 38647 HAS SOUPS 38520 WITH SCORE 38830.906
AT ITER 915 NEW BEST:: SOT 437177 SOS 310755 HAS SOPS 310505 HAS SOUS 38596 HAS SOUPS 38469 WITH SCORE 38779.755
AT ITER 927 NEW BEST:: SOT 437118 SOS 310670 HAS SOPS 310420 HAS SOUS 38583 HAS SOUPS 38456 WITH SCORE 38766.67
AT ITER 933 NEW BEST:: SOT 435501 SOS 307392 HAS SOPS 307142 HAS SOUS 38572 HAS SOUPS 38445 WITH SCORE 38752.392
AT ITER 939 NEW BEST:: SOT 435119 SOS 295610 HAS SOPS 295360 HAS SOUS 38190 HAS SOUPS 38063 WITH SCORE 38358.61
AT ITER 945 NEW BEST:: SOT 435109 SOS 295600 HAS SOPS 295350 HAS SOUS 38180 HAS SOUPS 38053 WITH SCORE 38348.6
AT ITER 954 NEW BEST:: SOT 435128 SOS 295619 HAS SOPS 295369 HAS SOUS 38173 HAS SOUPS 38046 WITH SCORE 38341.619
AT ITER 957 NEW BEST:: SOT 433040 SOS 293559 HAS SOPS 293309 HAS SOUS 38171 HAS SOUPS 38044 WITH SCORE 38337.559
AT ITER 967 NEW BEST:: SOT 433032 SOS 293547 HAS SOPS 293297 HAS SOUS 38147 HAS SOUPS 38020 WITH SCORE 38313.547
AT ITER 970 NEW BEST:: SOT 433032 SOS 291045 HAS SOPS 290795 HAS SOUS 38147 HAS SOUPS 38020 WITH SCORE 38311.045
AT ITER 971 NEW BEST:: SOT 433016 SOS 291029 HAS SOPS 290779 HAS SOUS 38115 HAS SOUPS 37988 WITH SCORE 38279.029
AT ITER 972 NEW BEST:: SOT 433016 SOS 290930 HAS SOPS 290680 HAS SOUS 38115 HAS SOUPS 37988 WITH SCORE 38278.93
AT ITER 976 NEW BEST:: SOT 432924 SOS 290838 HAS SOPS 290588 HAS SOUS 38115 HAS SOUPS 37988 WITH SCORE 38278.838
AT ITER 991 NEW BEST:: SOT 432918 SOS 290832 HAS SOPS 290582 HAS SOUS 38109 HAS SOUPS 37982 WITH SCORE 38272.832
AT ITER 999 NEW BEST:: SOT 432905 SOS 290819 HAS SOPS 290569 HAS SOUS 38094 HAS SOUPS 37967 WITH SCORE 38257.819
AT ITER 1005 NEW BEST:: SOT 432855 SOS 290769 HAS SOPS 290519 HAS SOUS 38019 HAS SOUPS 37892 WITH SCORE 38182.769
AT ITER 1007 NEW BEST:: SOT 432701 SOS 290615 HAS SOPS 290365 HAS SOUS 37865 HAS SOUPS 37738 WITH SCORE 38028.615
AT ITER 1009 NEW BEST:: SOT 431062 SOS 289041 HAS SOPS 288791 HAS SOUS 37800 HAS SOUPS 37673 WITH SCORE 37962.041
AT ITER 1019 NEW BEST:: SOT 431014 SOS 288993 HAS SOPS 288743 HAS SOUS 37765 HAS SOUPS 37638 WITH SCORE 37926.993
AT ITER 1025 NEW BEST:: SOT 431007 SOS 288986 HAS SOPS 288736 HAS SOUS 37758 HAS SOUPS 37631 WITH SCORE 37919.986
AT ITER 1038 NEW BEST:: SOT 431007 SOS 285626 HAS SOPS 285376 HAS SOUS 37758 HAS SOUPS 37631 WITH SCORE 37916.626
AT ITER 1039 NEW BEST:: SOT 430865 SOS 285480 HAS SOPS 285230 HAS SOUS 37459 HAS SOUPS 37332 WITH SCORE 37617.48
AT ITER 1042 NEW BEST:: SOT 430615 SOS 285795 HAS SOPS 285545 HAS SOUS 37390 HAS SOUPS 37263 WITH SCORE 37548.795
AT ITER 1043 NEW BEST:: SOT 430599 SOS 285779 HAS SOPS 285529 HAS SOUS 37361 HAS SOUPS 37234 WITH SCORE 37519.779
AT ITER 1047 NEW BEST:: SOT 430579 SOS 285679 HAS SOPS 285429 HAS SOUS 37338 HAS SOUPS 37211 WITH SCORE 37496.679
AT ITER 1055 NEW BEST:: SOT 430484 SOS 285364 HAS SOPS 285114 HAS SOUS 37050 HAS SOUPS 36923 WITH SCORE 37208.364
AT ITER 1066 NEW BEST:: SOT 430484 SOS 284235 HAS SOPS 283985 HAS SOUS 37051 HAS SOUPS 36924 WITH SCORE 37208.235
AT ITER 1073 NEW BEST:: SOT 430028 SOS 281936 HAS SOPS 281686 HAS SOUS 36806 HAS SOUPS 36679 WITH SCORE 36960.936
AT ITER 1081 NEW BEST:: SOT 429936 SOS 281814 HAS SOPS 281564 HAS SOUS 36778 HAS SOUPS 36651 WITH SCORE 36932.814
AT ITER 1082 NEW BEST:: SOT 429964 SOS 281842 HAS SOPS 281592 HAS SOUS 36722 HAS SOUPS 36595 WITH SCORE 36876.842
AT ITER 1096 NEW BEST:: SOT 448215 SOS 299138 HAS SOPS 298888 HAS SOUS 36544 HAS SOUPS 36417 WITH SCORE 36716.138
AT ITER 1099 NEW BEST:: SOT 448249 SOS 299172 HAS SOPS 298922 HAS SOUS 36439 HAS SOUPS 36312 WITH SCORE 36611.172
AT ITER 1105 NEW BEST:: SOT 448209 SOS 299132 HAS SOPS 298882 HAS SOUS 36419 HAS SOUPS 36292 WITH SCORE 36591.132
AT ITER 1106 NEW BEST:: SOT 448042 SOS 298965 HAS SOPS 298715 HAS SOUS 36259 HAS SOUPS 36132 WITH SCORE 36430.965
AT ITER 1108 NEW BEST:: SOT 448025 SOS 298948 HAS SOPS 298698 HAS SOUS 36229 HAS SOUPS 36102 WITH SCORE 36400.948
AT ITER 1114 NEW BEST:: SOT 432764 SOS 283024 HAS SOPS 282774 HAS SOUS 36099 HAS SOUPS 35972 WITH SCORE 36255.024
AT ITER 1115 NEW BEST:: SOT 435976 SOS 283060 HAS SOPS 282810 HAS SOUS 36073 HAS SOUPS 35946 WITH SCORE 36229.06
AT ITER 1117 NEW BEST:: SOT 435884 SOS 282968 HAS SOPS 282718 HAS SOUS 36049 HAS SOUPS 35922 WITH SCORE 36204.968
AT ITER 1119 NEW BEST:: SOT 435452 SOS 282388 HAS SOPS 282138 HAS SOUS 35987 HAS SOUPS 35860 WITH SCORE 36142.388
AT ITER 1125 NEW BEST:: SOT 435626 SOS 281989 HAS SOPS 281673 HAS SOUS 35980 HAS SOUPS 35787 WITH SCORE 36068.989
AT ITER 1134 NEW BEST:: SOT 435778 SOS 282260 HAS SOPS 281760 HAS SOUS 35828 HAS SOUPS 35451 WITH SCORE 35733.26
AT ITER 1139 NEW BEST:: SOT 435795 SOS 282381 HAS SOPS 281881 HAS SOUS 35774 HAS SOUPS 35397 WITH SCORE 35679.381
AT ITER 1154 NEW BEST:: SOT 435759 SOS 282273 HAS SOPS 281773 HAS SOUS 35666 HAS SOUPS 35289 WITH SCORE 35571.273
AT ITER 1155 NEW BEST:: SOT 435312 SOS 285749 HAS SOPS 285249 HAS SOUS 35662 HAS SOUPS 35285 WITH SCORE 35570.749
AT ITER 1157 NEW BEST:: SOT 435318 SOS 285767 HAS SOPS 285267 HAS SOUS 35659 HAS SOUPS 35282 WITH SCORE 35567.767
AT ITER 1163 NEW BEST:: SOT 435834 SOS 285008 HAS SOPS 284411 HAS SOUS 35632 HAS SOUPS 35197 WITH SCORE 35482.008
AT ITER 1166 NEW BEST:: SOT 435786 SOS 285008 HAS SOPS 284411 HAS SOUS 35432 HAS SOUPS 34997 WITH SCORE 35282.008
AT ITER 1181 NEW BEST:: SOT 446877 SOS 293068 HAS SOPS 292471 HAS SOUS 35275 HAS SOUPS 34840 WITH SCORE 35133.068
AT ITER 1184 NEW BEST:: SOT 446809 SOS 281697 HAS SOPS 281100 HAS SOUS 35250 HAS SOUPS 34815 WITH SCORE 35096.697
AT ITER 1188 NEW BEST:: SOT 446771 SOS 281507 HAS SOPS 280910 HAS SOUS 35237 HAS SOUPS 34802 WITH SCORE 35083.507
AT ITER 1208 NEW BEST:: SOT 446667 SOS 281403 HAS SOPS 280806 HAS SOUS 35113 HAS SOUPS 34678 WITH SCORE 34959.403
AT ITER 1209 NEW BEST:: SOT 460452 SOS 289769 HAS SOPS 289086 HAS SOUS 35090 HAS SOUPS 34629 WITH SCORE 34918.769
AT ITER 1224 NEW BEST:: SOT 460426 SOS 289743 HAS SOPS 289060 HAS SOUS 35038 HAS SOUPS 34577 WITH SCORE 34866.743
AT ITER 1242 NEW BEST:: SOT 460373 SOS 283949 HAS SOPS 283266 HAS SOUS 34927 HAS SOUPS 34466 WITH SCORE 34749.949
AT ITER 1253 NEW BEST:: SOT 460378 SOS 283994 HAS SOPS 283311 HAS SOUS 34925 HAS SOUPS 34464 WITH SCORE 34747.994
AT ITER 1254 NEW BEST:: SOT 460352 SOS 283968 HAS SOPS 283285 HAS SOUS 34759 HAS SOUPS 34298 WITH SCORE 34581.968
AT ITER 1282 NEW BEST:: SOT 451420 SOS 275353 HAS SOPS 274670 HAS SOUS 34751 HAS SOUPS 34290 WITH SCORE 34565.353
AT ITER 1285 NEW BEST:: SOT 451359 SOS 275292 HAS SOPS 274609 HAS SOUS 34674 HAS SOUPS 34213 WITH SCORE 34488.292
AT ITER 1286 NEW BEST:: SOT 451319 SOS 275205 HAS SOPS 274522 HAS SOUS 34635 HAS SOUPS 34174 WITH SCORE 34449.205
AT ITER 1294 NEW BEST:: SOT 451306 SOS 274435 HAS SOPS 273752 HAS SOUS 34624 HAS SOUPS 34163 WITH SCORE 34437.435
AT ITER 1315 NEW BEST:: SOT 451169 SOS 274298 HAS SOPS 273615 HAS SOUS 34411 HAS SOUPS 33950 WITH SCORE 34224.298
AT ITER 1318 NEW BEST:: SOT 451169 SOS 272681 HAS SOPS 271998 HAS SOUS 34411 HAS SOUPS 33950 WITH SCORE 34222.681
AT ITER 1327 NEW BEST:: SOT 451195 SOS 272707 HAS SOPS 272024 HAS SOUS 34345 HAS SOUPS 33884 WITH SCORE 34156.707
AT ITER 1330 NEW BEST:: SOT 451147 SOS 272647 HAS SOPS 271964 HAS SOUS 34261 HAS SOUPS 33800 WITH SCORE 34072.647
AT ITER 1331 NEW BEST:: SOT 451195 SOS 272623 HAS SOPS 271928 HAS SOUS 34273 HAS SOUPS 33800 WITH SCORE 34072.623
AT ITER 1338 NEW BEST:: SOT 451191 SOS 272619 HAS SOPS 271924 HAS SOUS 34266 HAS SOUPS 33793 WITH SCORE 34065.619
AT ITER 1359 NEW BEST:: SOT 451180 SOS 272608 HAS SOPS 271913 HAS SOUS 34244 HAS SOUPS 33771 WITH SCORE 34043.608
AT ITER 1380 NEW BEST:: SOT 451067 SOS 272360 HAS SOPS 271665 HAS SOUS 34150 HAS SOUPS 33677 WITH SCORE 33949.36
AT ITER 1399 NEW BEST:: SOT 436888 SOS 244017 HAS SOPS 243322 HAS SOUS 33558 HAS SOUPS 33085 WITH SCORE 33329.017
AT ITER 1424 NEW BEST:: SOT 436888 SOS 244017 HAS SOPS 243322 HAS SOUS 33493 HAS SOUPS 33020 WITH SCORE 33264.017
AT ITER 1436 NEW BEST:: SOT 436843 SOS 243747 HAS SOPS 243052 HAS SOUS 33433 HAS SOUPS 32960 WITH SCORE 33203.747
AT ITER 1456 NEW BEST:: SOT 436847 SOS 242213 HAS SOPS 241472 HAS SOUS 33443 HAS SOUPS 32924 WITH SCORE 33166.213
AT ITER 1457 NEW BEST:: SOT 430733 SOS 236099 HAS SOPS 235358 HAS SOUS 33442 HAS SOUPS 32923 WITH SCORE 33159.099
AT ITER 1465 NEW BEST:: SOT 430719 SOS 236085 HAS SOPS 235344 HAS SOUS 33440 HAS SOUPS 32921 WITH SCORE 33157.085
AT ITER 1472 NEW BEST:: SOT 430657 SOS 235922 HAS SOPS 235282 HAS SOUS 33099 HAS SOUPS 32637 WITH SCORE 32872.922
AT ITER 1484 NEW BEST:: SOT 430585 SOS 235850 HAS SOPS 235210 HAS SOUS 33003 HAS SOUPS 32541 WITH SCORE 32776.85
AT ITER 1486 NEW BEST:: SOT 430825 SOS 236244 HAS SOPS 235604 HAS SOUS 32973 HAS SOUPS 32511 WITH SCORE 32747.244
AT ITER 1487 NEW BEST:: SOT 430823 SOS 236242 HAS SOPS 235602 HAS SOUS 32971 HAS SOUPS 32509 WITH SCORE 32745.242
AT ITER 1489 NEW BEST:: SOT 430825 SOS 236181 HAS SOPS 235541 HAS SOUS 32944 HAS SOUPS 32482 WITH SCORE 32718.181
AT ITER 1497 NEW BEST:: SOT 430825 SOS 236181 HAS SOPS 235541 HAS SOUS 32860 HAS SOUPS 32398 WITH SCORE 32634.181
AT ITER 1504 NEW BEST:: SOT 430781 SOS 236209 HAS SOPS 235569 HAS SOUS 32820 HAS SOUPS 32358 WITH SCORE 32594.209
AT ITER 1507 NEW BEST:: SOT 430771 SOS 236199 HAS SOPS 235559 HAS SOUS 32785 HAS SOUPS 32323 WITH SCORE 32559.199
AT ITER 1508 NEW BEST:: SOT 431486 SOS 236069 HAS SOPS 235429 HAS SOUS 32760 HAS SOUPS 32298 WITH SCORE 32534.069
AT ITER 1524 NEW BEST:: SOT 431420 SOS 235990 HAS SOPS 235347 HAS SOUS 32742 HAS SOUPS 32277 WITH SCORE 32512.99
AT ITER 1560 NEW BEST:: SOT 431414 SOS 235830 HAS SOPS 235187 HAS SOUS 32706 HAS SOUPS 32241 WITH SCORE 32476.83
AT ITER 1561 NEW BEST:: SOT 431100 SOS 218188 HAS SOPS 217545 HAS SOUS 32608 HAS SOUPS 32143 WITH SCORE 32361.188
AT ITER 1562 NEW BEST:: SOT 431100 SOS 217994 HAS SOPS 217351 HAS SOUS 32511 HAS SOUPS 32046 WITH SCORE 32263.994
AT ITER 1587 NEW BEST:: SOT 431100 SOS 217964 HAS SOPS 217315 HAS SOUS 32508 HAS SOUPS 32040 WITH SCORE 32257.964
AT ITER 1600 NEW BEST:: SOT 431090 SOS 218064 HAS SOPS 217415 HAS SOUS 32505 HAS SOUPS 32037 WITH SCORE 32255.064
AT ITER 1610 NEW BEST:: SOT 431086 SOS 218060 HAS SOPS 217411 HAS SOUS 32497 HAS SOUPS 32029 WITH SCORE 32247.06
AT ITER 1612 NEW BEST:: SOT 427368 SOS 214342 HAS SOPS 213693 HAS SOUS 32379 HAS SOUPS 31911 WITH SCORE 32125.342
AT ITER 1613 NEW BEST:: SOT 427520 SOS 214794 HAS SOPS 214145 HAS SOUS 32326 HAS SOUPS 31858 WITH SCORE 32072.794
AT ITER 1617 NEW BEST:: SOT 427540 SOS 214814 HAS SOPS 214165 HAS SOUS 32286 HAS SOUPS 31818 WITH SCORE 32032.814
AT ITER 1625 NEW BEST:: SOT 427516 SOS 214792 HAS SOPS 214143 HAS SOUS 32251 HAS SOUPS 31783 WITH SCORE 31997.792
AT ITER 1660 NEW BEST:: SOT 427514 SOS 214790 HAS SOPS 214141 HAS SOUS 32248 HAS SOUPS 31780 WITH SCORE 31994.79
AT ITER 1671 NEW BEST:: SOT 427499 SOS 214775 HAS SOPS 214126 HAS SOUS 32218 HAS SOUPS 31750 WITH SCORE 31964.775
AT ITER 1677 NEW BEST:: SOT 427321 SOS 214553 HAS SOPS 213904 HAS SOUS 32204 HAS SOUPS 31736 WITH SCORE 31950.553
AT ITER 1681 NEW BEST:: SOT 427305 SOS 214537 HAS SOPS 213888 HAS SOUS 32048 HAS SOUPS 31580 WITH SCORE 31794.537
AT ITER 1686 NEW BEST:: SOT 427208 SOS 214082 HAS SOPS 213433 HAS SOUS 31947 HAS SOUPS 31479 WITH SCORE 31693.082
AT ITER 1693 NEW BEST:: SOT 431466 SOS 218126 HAS SOPS 217477 HAS SOUS 31937 HAS SOUPS 31469 WITH SCORE 31687.126
AT ITER 1701 NEW BEST:: SOT 431465 SOS 218113 HAS SOPS 217476 HAS SOUS 31924 HAS SOUPS 31462 WITH SCORE 31680.113
AT ITER 1702 NEW BEST:: SOT 431357 SOS 218005 HAS SOPS 217368 HAS SOUS 31873 HAS SOUPS 31411 WITH SCORE 31629.005
AT ITER 1718 NEW BEST:: SOT 431357 SOS 218005 HAS SOPS 217368 HAS SOUS 31869 HAS SOUPS 31407 WITH SCORE 31625.005
AT ITER 1726 NEW BEST:: SOT 431309 SOS 217974 HAS SOPS 217337 HAS SOUS 31831 HAS SOUPS 31369 WITH SCORE 31586.974
AT ITER 1728 NEW BEST:: SOT 431458 SOS 218245 HAS SOPS 217608 HAS SOUS 31820 HAS SOUPS 31358 WITH SCORE 31576.245
AT ITER 1736 NEW BEST:: SOT 431462 SOS 218236 HAS SOPS 217599 HAS SOUS 31792 HAS SOUPS 31330 WITH SCORE 31548.236
AT ITER 1743 NEW BEST:: SOT 431379 SOS 217397 HAS SOPS 216760 HAS SOUS 31741 HAS SOUPS 31279 WITH SCORE 31496.397
AT ITER 1746 NEW BEST:: SOT 431379 SOS 217624 HAS SOPS 216987 HAS SOUS 31739 HAS SOUPS 31277 WITH SCORE 31494.624
AT ITER 1748 NEW BEST:: SOT 431359 SOS 216859 HAS SOPS 216222 HAS SOUS 31729 HAS SOUPS 31267 WITH SCORE 31483.859
AT ITER 1768 NEW BEST:: SOT 432677 SOS 218113 HAS SOPS 217476 HAS SOUS 31726 HAS SOUPS 31264 WITH SCORE 31482.113
AT ITER 1769 NEW BEST:: SOT 432632 SOS 218088 HAS SOPS 217451 HAS SOUS 31717 HAS SOUPS 31255 WITH SCORE 31473.088
AT ITER 1776 NEW BEST:: SOT 432560 SOS 218016 HAS SOPS 217379 HAS SOUS 31703 HAS SOUPS 31241 WITH SCORE 31459.016
AT ITER 1777 NEW BEST:: SOT 429914 SOS 215388 HAS SOPS 214751 HAS SOUS 31703 HAS SOUPS 31241 WITH SCORE 31456.388
AT ITER 1784 NEW BEST:: SOT 429914 SOS 215178 HAS SOPS 214541 HAS SOUS 31689 HAS SOUPS 31227 WITH SCORE 31442.178
AT ITER 1797 NEW BEST:: SOT 429769 SOS 215033 HAS SOPS 214396 HAS SOUS 31335 HAS SOUPS 30873 WITH SCORE 31088.033
AT ITER 1800 NEW BEST:: SOT 429819 SOS 211761 HAS SOPS 211116 HAS SOUS 31337 HAS SOUPS 30867 WITH SCORE 31078.761
AT ITER 1806 NEW BEST:: SOT 429773 SOS 211813 HAS SOPS 211168 HAS SOUS 31317 HAS SOUPS 30847 WITH SCORE 31058.813
AT ITER 1808 NEW BEST:: SOT 429739 SOS 211779 HAS SOPS 211134 HAS SOUS 31249 HAS SOUPS 30779 WITH SCORE 30990.779
AT ITER 1845 NEW BEST:: SOT 429737 SOS 211742 HAS SOPS 211090 HAS SOUS 31252 HAS SOUPS 30775 WITH SCORE 30986.742
AT ITER 1854 NEW BEST:: SOT 429621 SOS 211911 HAS SOPS 211312 HAS SOUS 31169 HAS SOUPS 30745 WITH SCORE 30956.911
AT ITER 1855 NEW BEST:: SOT 429575 SOS 211843 HAS SOPS 211244 HAS SOUS 31154 HAS SOUPS 30730 WITH SCORE 30941.843
AT ITER 1863 NEW BEST:: SOT 429516 SOS 211784 HAS SOPS 211185 HAS SOUS 31067 HAS SOUPS 30643 WITH SCORE 30854.784
AT ITER 1873 NEW BEST:: SOT 429522 SOS 211724 HAS SOPS 211113 HAS SOUS 31061 HAS SOUPS 30625 WITH SCORE 30836.724
AT ITER 1880 NEW BEST:: SOT 429538 SOS 211797 HAS SOPS 211186 HAS SOUS 31057 HAS SOUPS 30621 WITH SCORE 30832.797
AT ITER 1884 NEW BEST:: SOT 429557 SOS 211816 HAS SOPS 211205 HAS SOUS 31004 HAS SOUPS 30568 WITH SCORE 30779.816
AT ITER 1904 NEW BEST:: SOT 429491 SOS 211629 HAS SOPS 210996 HAS SOUS 30916 HAS SOUPS 30458 WITH SCORE 30669.629
AT ITER 1920 NEW BEST:: SOT 429455 SOS 211593 HAS SOPS 210960 HAS SOUS 30886 HAS SOUPS 30428 WITH SCORE 30639.593
AT ITER 1932 NEW BEST:: SOT 429306 SOS 211540 HAS SOPS 210811 HAS SOUS 30781 HAS SOUPS 30267 WITH SCORE 30478.54
AT ITER 1950 NEW BEST:: SOT 429306 SOS 211603 HAS SOPS 210874 HAS SOUS 30767 HAS SOUPS 30253 WITH SCORE 30464.603
AT ITER 1952 NEW BEST:: SOT 429255 SOS 211535 HAS SOPS 210806 HAS SOUS 30665 HAS SOUPS 30151 WITH SCORE 30362.535
AT ITER 1957 NEW BEST:: SOT 428534 SOS 184204 HAS SOPS 183475 HAS SOUS 30555 HAS SOUPS 30041 WITH SCORE 30225.204
AT ITER 1962 NEW BEST:: SOT 428380 SOS 184229 HAS SOPS 183500 HAS SOUS 30480 HAS SOUPS 29966 WITH SCORE 30150.229
AT ITER 1963 NEW BEST:: SOT 428326 SOS 184220 HAS SOPS 183509 HAS SOUS 30444 HAS SOUPS 29948 WITH SCORE 30132.22
AT ITER 1974 NEW BEST:: SOT 428258 SOS 184370 HAS SOPS 183659 HAS SOUS 30276 HAS SOUPS 29780 WITH SCORE 29964.37
AT ITER 1977 NEW BEST:: SOT 428140 SOS 184218 HAS SOPS 183507 HAS SOUS 30248 HAS SOUPS 29752 WITH SCORE 29936.218
AT ITER 1979 NEW BEST:: SOT 428127 SOS 184205 HAS SOPS 183494 HAS SOUS 30248 HAS SOUPS 29752 WITH SCORE 29936.205
AT ITER 1984 NEW BEST:: SOT 428037 SOS 183665 HAS SOPS 182954 HAS SOUS 30158 HAS SOUPS 29662 WITH SCORE 29845.665
AT ITER 2007 NEW BEST:: SOT 427946 SOS 183542 HAS SOPS 182863 HAS SOUS 30073 HAS SOUPS 29593 WITH SCORE 29776.542
AT ITER 2042 NEW BEST:: SOT 427929 SOS 183525 HAS SOPS 182846 HAS SOUS 30056 HAS SOUPS 29576 WITH SCORE 29759.525
AT ITER 2043 NEW BEST:: SOT 427871 SOS 179233 HAS SOPS 178583 HAS SOUS 30037 HAS SOUPS 29576 WITH SCORE 29755.233
AT ITER 2047 NEW BEST:: SOT 427800 SOS 178630 HAS SOPS 177888 HAS SOUS 29839 HAS SOUPS 29344 WITH SCORE 29522.63
AT ITER 2052 NEW BEST:: SOT 422366 SOS 173216 HAS SOPS 172482 HAS SOUS 29584 HAS SOUPS 29097 WITH SCORE 29270.216
AT ITER 2062 NEW BEST:: SOT 422267 SOS 173117 HAS SOPS 172383 HAS SOUS 29486 HAS SOUPS 28999 WITH SCORE 29172.117
AT ITER 2068 NEW BEST:: SOT 422270 SOS 173120 HAS SOPS 172386 HAS SOUS 29369 HAS SOUPS 28882 WITH SCORE 29055.12
AT ITER 2084 NEW BEST:: SOT 422124 SOS 172974 HAS SOPS 172240 HAS SOUS 29369 HAS SOUPS 28882 WITH SCORE 29054.974
AT ITER 2090 NEW BEST:: SOT 422107 SOS 172809 HAS SOPS 172075 HAS SOUS 29357 HAS SOUPS 28870 WITH SCORE 29042.809
AT ITER 2109 NEW BEST:: SOT 422099 SOS 172801 HAS SOPS 172067 HAS SOUS 29353 HAS SOUPS 28866 WITH SCORE 29038.801
AT ITER 2114 NEW BEST:: SOT 422015 SOS 172551 HAS SOPS 171817 HAS SOUS 29334 HAS SOUPS 28847 WITH SCORE 29019.551
AT ITER 2118 NEW BEST:: SOT 421745 SOS 172209 HAS SOPS 171475 HAS SOUS 29325 HAS SOUPS 28838 WITH SCORE 29010.209
AT ITER 2134 NEW BEST:: SOT 421745 SOS 172584 HAS SOPS 171850 HAS SOUS 29289 HAS SOUPS 28802 WITH SCORE 28974.584
AT ITER 2160 NEW BEST:: SOT 421694 SOS 172313 HAS SOPS 171579 HAS SOUS 29230 HAS SOUPS 28743 WITH SCORE 28915.313
AT ITER 2162 NEW BEST:: SOT 421694 SOS 172310 HAS SOPS 171576 HAS SOUS 29229 HAS SOUPS 28742 WITH SCORE 28914.31
AT ITER 2165 NEW BEST:: SOT 421694 SOS 172180 HAS SOPS 171446 HAS SOUS 29164 HAS SOUPS 28677 WITH SCORE 28849.18
AT ITER 2184 NEW BEST:: SOT 421697 SOS 172191 HAS SOPS 171457 HAS SOUS 29163 HAS SOUPS 28676 WITH SCORE 28848.191
AT ITER 2191 NEW BEST:: SOT 420994 SOS 173419 HAS SOPS 172685 HAS SOUS 29135 HAS SOUPS 28648 WITH SCORE 28821.419
AT ITER 2193 NEW BEST:: SOT 420906 SOS 173331 HAS SOPS 172597 HAS SOUS 28973 HAS SOUPS 28486 WITH SCORE 28659.331
AT ITER 2203 NEW BEST:: SOT 420801 SOS 171827 HAS SOPS 171078 HAS SOUS 28963 HAS SOUPS 28461 WITH SCORE 28632.827
AT ITER 2209 NEW BEST:: SOT 420783 SOS 171809 HAS SOPS 171060 HAS SOUS 28951 HAS SOUPS 28449 WITH SCORE 28620.809
AT ITER 2238 NEW BEST:: SOT 420778 SOS 171789 HAS SOPS 171040 HAS SOUS 28946 HAS SOUPS 28444 WITH SCORE 28615.789
AT ITER 2256 NEW BEST:: SOT 420770 SOS 171781 HAS SOPS 171032 HAS SOUS 28938 HAS SOUPS 28436 WITH SCORE 28607.781
AT ITER 2257 NEW BEST:: SOT 420476 SOS 171471 HAS SOPS 170722 HAS SOUS 28936 HAS SOUPS 28434 WITH SCORE 28605.471
AT ITER 2263 NEW BEST:: SOT 420422 SOS 171417 HAS SOPS 170668 HAS SOUS 28828 HAS SOUPS 28326 WITH SCORE 28497.417
AT ITER 2265 NEW BEST:: SOT 435098 SOS 185665 HAS SOPS 184916 HAS SOUS 28463 HAS SOUPS 27961 WITH SCORE 28146.665
AT ITER 2273 NEW BEST:: SOT 435094 SOS 185657 HAS SOPS 184909 HAS SOUS 28457 HAS SOUPS 27956 WITH SCORE 28141.657
AT ITER 2287 NEW BEST:: SOT 435260 SOS 185723 HAS SOPS 185075 HAS SOUS 28339 HAS SOUPS 27888 WITH SCORE 28073.723
AT ITER 2290 NEW BEST:: SOT 435245 SOS 185652 HAS SOPS 185004 HAS SOUS 28218 HAS SOUPS 27767 WITH SCORE 27952.652
AT ITER 2316 NEW BEST:: SOT 435204 SOS 185651 HAS SOPS 185003 HAS SOUS 28110 HAS SOUPS 27659 WITH SCORE 27844.651
AT ITER 2320 NEW BEST:: SOT 435207 SOS 185584 HAS SOPS 184914 HAS SOUS 28116 HAS SOUPS 27643 WITH SCORE 27828.584
AT ITER 2341 NEW BEST:: SOT 435215 SOS 185514 HAS SOPS 184844 HAS SOUS 28115 HAS SOUPS 27642 WITH SCORE 27827.514
AT ITER 2369 NEW BEST:: SOT 435352 SOS 185794 HAS SOPS 185149 HAS SOUS 28082 HAS SOUPS 27634 WITH SCORE 27819.794
AT ITER 2375 NEW BEST:: SOT 435116 SOS 185534 HAS SOPS 184889 HAS SOUS 28018 HAS SOUPS 27570 WITH SCORE 27755.534
AT ITER 2384 NEW BEST:: SOT 435076 SOS 185374 HAS SOPS 184729 HAS SOUS 27918 HAS SOUPS 27470 WITH SCORE 27655.374
AT ITER 2418 NEW BEST:: SOT 435066 SOS 185364 HAS SOPS 184719 HAS SOUS 27872 HAS SOUPS 27424 WITH SCORE 27609.364
AT ITER 2422 NEW BEST:: SOT 435064 SOS 185362 HAS SOPS 184717 HAS SOUS 27870 HAS SOUPS 27422 WITH SCORE 27607.362
AT ITER 2452 NEW BEST:: SOT 434990 SOS 185137 HAS SOPS 184513 HAS SOUS 27800 HAS SOUPS 27352 WITH SCORE 27537.137
AT ITER 2468 NEW BEST:: SOT 440487 SOS 190404 HAS SOPS 189780 HAS SOUS 27741 HAS SOUPS 27293 WITH SCORE 27483.404
AT ITER 2476 NEW BEST:: SOT 440484 SOS 193232 HAS SOPS 192608 HAS SOUS 27735 HAS SOUPS 27287 WITH SCORE 27480.232
AT ITER 2497 NEW BEST:: SOT 440397 SOS 193116 HAS SOPS 192434 HAS SOUS 27648 HAS SOUPS 27171 WITH SCORE 27364.116
AT ITER 2541 NEW BEST:: SOT 440445 SOS 193212 HAS SOPS 192530 HAS SOUS 27636 HAS SOUPS 27159 WITH SCORE 27352.212
AT ITER 2543 NEW BEST:: SOT 440421 SOS 193188 HAS SOPS 192506 HAS SOUS 27612 HAS SOUPS 27135 WITH SCORE 27328.188
AT ITER 2559 NEW BEST:: SOT 440476 SOS 193287 HAS SOPS 192605 HAS SOUS 27589 HAS SOUPS 27112 WITH SCORE 27305.287
AT ITER 2569 NEW BEST:: SOT 440414 SOS 193127 HAS SOPS 192433 HAS SOUS 27564 HAS SOUPS 27075 WITH SCORE 27268.127
AT ITER 2578 NEW BEST:: SOT 440401 SOS 193100 HAS SOPS 192420 HAS SOUS 27531 HAS SOUPS 27049 WITH SCORE 27242.1
AT ITER 2583 NEW BEST:: SOT 440417 SOS 193116 HAS SOPS 192436 HAS SOUS 27529 HAS SOUPS 27047 WITH SCORE 27240.116
AT ITER 2613 NEW BEST:: SOT 440371 SOS 192942 HAS SOPS 192262 HAS SOUS 27483 HAS SOUPS 27001 WITH SCORE 27193.942
AT ITER 2628 NEW BEST:: SOT 440344 SOS 192915 HAS SOPS 192235 HAS SOUS 27449 HAS SOUPS 26967 WITH SCORE 27159.915
AT ITER 2651 NEW BEST:: SOT 440262 SOS 192833 HAS SOPS 192153 HAS SOUS 27268 HAS SOUPS 26786 WITH SCORE 26978.833
AT ITER 2654 NEW BEST:: SOT 440099 SOS 192610 HAS SOPS 191930 HAS SOUS 27128 HAS SOUPS 26646 WITH SCORE 26838.61
AT ITER 2659 NEW BEST:: SOT 457901 SOS 209696 HAS SOPS 209016 HAS SOUS 26874 HAS SOUPS 26392 WITH SCORE 26601.696
AT ITER 2686 NEW BEST:: SOT 457826 SOS 209621 HAS SOPS 208941 HAS SOUS 26854 HAS SOUPS 26372 WITH SCORE 26581.621
AT ITER 2691 NEW BEST:: SOT 457817 SOS 209593 HAS SOPS 208913 HAS SOUS 26834 HAS SOUPS 26352 WITH SCORE 26561.593
AT ITER 2694 NEW BEST:: SOT 458832 SOS 210608 HAS SOPS 209928 HAS SOUS 26827 HAS SOUPS 26345 WITH SCORE 26555.608
AT ITER 2699 NEW BEST:: SOT 458708 SOS 210470 HAS SOPS 209790 HAS SOUS 26767 HAS SOUPS 26285 WITH SCORE 26495.47
AT ITER 2703 NEW BEST:: SOT 458479 SOS 210402 HAS SOPS 209359 HAS SOUS 26945 HAS SOUPS 26280 WITH SCORE 26490.402
AT ITER 2710 NEW BEST:: SOT 458443 SOS 209934 HAS SOPS 208891 HAS SOUS 26873 HAS SOUPS 26208 WITH SCORE 26417.934
AT ITER 2744 NEW BEST:: SOT 458419 SOS 207864 HAS SOPS 206821 HAS SOUS 26868 HAS SOUPS 26203 WITH SCORE 26410.864
AT ITER 2754 NEW BEST:: SOT 458410 SOS 207855 HAS SOPS 206812 HAS SOUS 26868 HAS SOUPS 26203 WITH SCORE 26410.855
AT ITER 2781 NEW BEST:: SOT 458434 SOS 207679 HAS SOPS 206636 HAS SOUS 26868 HAS SOUPS 26203 WITH SCORE 26410.679
AT ITER 2792 NEW BEST:: SOT 458434 SOS 207515 HAS SOPS 206472 HAS SOUS 26862 HAS SOUPS 26197 WITH SCORE 26404.515
AT ITER 2797 NEW BEST:: SOT 458420 SOS 207501 HAS SOPS 206458 HAS SOUS 26789 HAS SOUPS 26124 WITH SCORE 26331.501
AT ITER 2817 NEW BEST:: SOT 458395 SOS 207436 HAS SOPS 206433 HAS SOUS 26601 HAS SOUPS 25976 WITH SCORE 26183.436
AT ITER 2821 NEW BEST:: SOT 458371 SOS 207424 HAS SOPS 206421 HAS SOUS 26596 HAS SOUPS 25971 WITH SCORE 26178.424
AT ITER 2832 NEW BEST:: SOT 458366 SOS 207234 HAS SOPS 206231 HAS SOUS 26547 HAS SOUPS 25922 WITH SCORE 26129.234
AT ITER 2845 NEW BEST:: SOT 456280 SOS 203048 HAS SOPS 202045 HAS SOUS 26533 HAS SOUPS 25908 WITH SCORE 26111.048
AT ITER 2846 NEW BEST:: SOT 456310 SOS 203084 HAS SOPS 202081 HAS SOUS 26523 HAS SOUPS 25898 WITH SCORE 26101.084
AT ITER 2850 NEW BEST:: SOT 456285 SOS 198934 HAS SOPS 197915 HAS SOUS 26499 HAS SOUPS 25858 WITH SCORE 26056.934
AT ITER 2851 NEW BEST:: SOT 456280 SOS 198919 HAS SOPS 197900 HAS SOUS 26479 HAS SOUPS 25838 WITH SCORE 26036.919
AT ITER 2864 NEW BEST:: SOT 456283 SOS 198922 HAS SOPS 197903 HAS SOUS 26476 HAS SOUPS 25835 WITH SCORE 26033.922
AT ITER 2866 NEW BEST:: SOT 456249 SOS 198808 HAS SOPS 197749 HAS SOUS 26402 HAS SOUPS 25741 WITH SCORE 25939.808
AT ITER 2929 NEW BEST:: SOT 456199 SOS 198891 HAS SOPS 197832 HAS SOUS 26303 HAS SOUPS 25642 WITH SCORE 25840.891
AT ITER 2973 NEW BEST:: SOT 456185 SOS 198548 HAS SOPS 197489 HAS SOUS 26276 HAS SOUPS 25615 WITH SCORE 25813.548
AT ITER 2980 NEW BEST:: SOT 456115 SOS 198456 HAS SOPS 197397 HAS SOUS 26153 HAS SOUPS 25492 WITH SCORE 25690.456
AT ITER 2985 NEW BEST:: SOT 456091 SOS 198432 HAS SOPS 197373 HAS SOUS 26105 HAS SOUPS 25444 WITH SCORE 25642.432
AT ITER 3030 NEW BEST:: SOT 456047 SOS 198388 HAS SOPS 197329 HAS SOUS 26065 HAS SOUPS 25404 WITH SCORE 25602.388
AT ITER 3034 NEW BEST:: SOT 456043 SOS 198384 HAS SOPS 197325 HAS SOUS 26061 HAS SOUPS 25400 WITH SCORE 25598.384
AT ITER 3045 NEW BEST:: SOT 456019 SOS 198168 HAS SOPS 197109 HAS SOUS 26037 HAS SOUPS 25376 WITH SCORE 25574.168
AT ITER 3093 NEW BEST:: SOT 456009 SOS 198158 HAS SOPS 197099 HAS SOUS 26026 HAS SOUPS 25365 WITH SCORE 25563.158
AT ITER 3108 NEW BEST:: SOT 456005 SOS 198154 HAS SOPS 197095 HAS SOUS 26012 HAS SOUPS 25351 WITH SCORE 25549.154
AT ITER 3123 NEW BEST:: SOT 455852 SOS 197999 HAS SOPS 196940 HAS SOUS 26008 HAS SOUPS 25347 WITH SCORE 25544.999
AT ITER 3126 NEW BEST:: SOT 455810 SOS 197949 HAS SOPS 196890 HAS SOUS 25954 HAS SOUPS 25293 WITH SCORE 25490.949
AT ITER 3132 NEW BEST:: SOT 455818 SOS 197949 HAS SOPS 196890 HAS SOUS 25942 HAS SOUPS 25281 WITH SCORE 25478.949
AT ITER 3178 NEW BEST:: SOT 455792 SOS 197923 HAS SOPS 196864 HAS SOUS 25938 HAS SOUPS 25277 WITH SCORE 25474.923
AT ITER 3207 NEW BEST:: SOT 455937 SOS 198068 HAS SOPS 197009 HAS SOUS 25907 HAS SOUPS 25246 WITH SCORE 25444.068
AT ITER 3215 NEW BEST:: SOT 455865 SOS 197996 HAS SOPS 196937 HAS SOUS 25835 HAS SOUPS 25174 WITH SCORE 25371.996
AT ITER 3234 NEW BEST:: SOT 455869 SOS 197760 HAS SOPS 196701 HAS SOUS 25819 HAS SOUPS 25158 WITH SCORE 25355.76
AT ITER 3239 NEW BEST:: SOT 455721 SOS 197797 HAS SOPS 196738 HAS SOUS 25673 HAS SOUPS 25012 WITH SCORE 25209.797
AT ITER 3270 NEW BEST:: SOT 455761 SOS 197837 HAS SOPS 196778 HAS SOUS 25669 HAS SOUPS 25008 WITH SCORE 25205.837
AT ITER 3301 NEW BEST:: SOT 455746 SOS 197816 HAS SOPS 196757 HAS SOUS 25657 HAS SOUPS 24996 WITH SCORE 25193.816
AT ITER 3309 NEW BEST:: SOT 455832 SOS 197902 HAS SOPS 196843 HAS SOUS 25593 HAS SOUPS 24932 WITH SCORE 25129.902
AT ITER 3314 NEW BEST:: SOT 454200 SOS 196270 HAS SOPS 195211 HAS SOUS 25555 HAS SOUPS 24894 WITH SCORE 25090.27
AT ITER 3320 NEW BEST:: SOT 454200 SOS 191758 HAS SOPS 190699 HAS SOUS 25555 HAS SOUPS 24894 WITH SCORE 25085.758
AT ITER 3326 NEW BEST:: SOT 454132 SOS 191690 HAS SOPS 190631 HAS SOUS 25520 HAS SOUPS 24859 WITH SCORE 25050.69
AT ITER 3340 NEW BEST:: SOT 454136 SOS 191712 HAS SOPS 190653 HAS SOUS 25518 HAS SOUPS 24857 WITH SCORE 25048.712
AT ITER 3343 NEW BEST:: SOT 454155 SOS 191713 HAS SOPS 190654 HAS SOUS 25506 HAS SOUPS 24845 WITH SCORE 25036.713
AT ITER 3347 NEW BEST:: SOT 454139 SOS 191697 HAS SOPS 190638 HAS SOUS 25499 HAS SOUPS 24838 WITH SCORE 25029.697
AT ITER 3351 NEW BEST:: SOT 454043 SOS 191601 HAS SOPS 190542 HAS SOUS 25370 HAS SOUPS 24709 WITH SCORE 24900.601
AT ITER 3354 NEW BEST:: SOT 453984 SOS 191605 HAS SOPS 190583 HAS SOUS 25333 HAS SOUPS 24698 WITH SCORE 24889.605
AT ITER 3383 NEW BEST:: SOT 453995 SOS 191683 HAS SOPS 190661 HAS SOUS 25331 HAS SOUPS 24696 WITH SCORE 24887.683
AT ITER 3386 NEW BEST:: SOT 453930 SOS 191570 HAS SOPS 190548 HAS SOUS 25133 HAS SOUPS 24498 WITH SCORE 24689.57
AT ITER 3394 NEW BEST:: SOT 453864 SOS 191504 HAS SOPS 190482 HAS SOUS 25067 HAS SOUPS 24432 WITH SCORE 24623.504
AT ITER 3397 NEW BEST:: SOT 450924 SOS 188564 HAS SOPS 187542 HAS SOUS 25047 HAS SOUPS 24412 WITH SCORE 24600.564
AT ITER 3429 NEW BEST:: SOT 441690 SOS 179566 HAS SOPS 178544 HAS SOUS 24899 HAS SOUPS 24264 WITH SCORE 24443.566
AT ITER 3432 NEW BEST:: SOT 441690 SOS 179566 HAS SOPS 178544 HAS SOUS 24895 HAS SOUPS 24260 WITH SCORE 24439.566
AT ITER 3437 NEW BEST:: SOT 441703 SOS 179627 HAS SOPS 178617 HAS SOUS 24875 HAS SOUPS 24252 WITH SCORE 24431.627
AT ITER 3480 NEW BEST:: SOT 441702 SOS 179626 HAS SOPS 178616 HAS SOUS 24868 HAS SOUPS 24245 WITH SCORE 24424.626
AT ITER 3493 NEW BEST:: SOT 441726 SOS 170946 HAS SOPS 169936 HAS SOUS 24871 HAS SOUPS 24248 WITH SCORE 24418.946
AT ITER 3534 NEW BEST:: SOT 441672 SOS 170842 HAS SOPS 169828 HAS SOUS 24868 HAS SOUPS 24245 WITH SCORE 24415.842
AT ITER 3552 NEW BEST:: SOT 441306 SOS 170317 HAS SOPS 169303 HAS SOUS 24757 HAS SOUPS 24134 WITH SCORE 24304.317
AT ITER 3559 NEW BEST:: SOT 436522 SOS 170681 HAS SOPS 169667 HAS SOUS 24680 HAS SOUPS 24057 WITH SCORE 24227.681
AT ITER 3563 NEW BEST:: SOT 436053 SOS 173726 HAS SOPS 172712 HAS SOUS 24659 HAS SOUPS 24036 WITH SCORE 24209.726
AT ITER 3573 NEW BEST:: SOT 435910 SOS 173633 HAS SOPS 172569 HAS SOUS 24709 HAS SOUPS 24036 WITH SCORE 24209.633
AT ITER 3575 NEW BEST:: SOT 435889 SOS 173612 HAS SOPS 172548 HAS SOUS 24640 HAS SOUPS 23967 WITH SCORE 24140.612
AT ITER 3576 NEW BEST:: SOT 435950 SOS 173825 HAS SOPS 172685 HAS SOUS 24641 HAS SOUPS 23930 WITH SCORE 24103.825
AT ITER 3577 NEW BEST:: SOT 435939 SOS 173828 HAS SOPS 172688 HAS SOUS 24620 HAS SOUPS 23909 WITH SCORE 24082.828
AT ITER 3607 NEW BEST:: SOT 435935 SOS 173824 HAS SOPS 172684 HAS SOUS 24612 HAS SOUPS 23901 WITH SCORE 24074.824
AT ITER 3610 NEW BEST:: SOT 436978 SOS 173190 HAS SOPS 172016 HAS SOUS 24602 HAS SOUPS 23874 WITH SCORE 24047.19
AT ITER 3627 NEW BEST:: SOT 441511 SOS 177345 HAS SOPS 176171 HAS SOUS 24554 HAS SOUPS 23826 WITH SCORE 24003.345
AT ITER 3634 NEW BEST:: SOT 441509 SOS 177312 HAS SOPS 176130 HAS SOUS 24544 HAS SOUPS 23810 WITH SCORE 23987.312
AT ITER 3637 NEW BEST:: SOT 441509 SOS 177312 HAS SOPS 176130 HAS SOUS 24542 HAS SOUPS 23808 WITH SCORE 23985.312
AT ITER 3656 NEW BEST:: SOT 453971 SOS 164925 HAS SOPS 163611 HAS SOUS 24584 HAS SOUPS 23718 WITH SCORE 23882.925
AT ITER 3689 NEW BEST:: SOT 453971 SOS 164925 HAS SOPS 163611 HAS SOUS 24581 HAS SOUPS 23715 WITH SCORE 23879.925
AT ITER 3714 NEW BEST:: SOT 453941 SOS 164981 HAS SOPS 163667 HAS SOUS 24549 HAS SOUPS 23683 WITH SCORE 23847.981
AT ITER 3719 NEW BEST:: SOT 453955 SOS 163022 HAS SOPS 161708 HAS SOUS 24544 HAS SOUPS 23678 WITH SCORE 23841.022
AT ITER 3720 NEW BEST:: SOT 453859 SOS 162926 HAS SOPS 161612 HAS SOUS 24396 HAS SOUPS 23530 WITH SCORE 23692.926
AT ITER 3735 NEW BEST:: SOT 453863 SOS 162930 HAS SOPS 161616 HAS SOUS 24364 HAS SOUPS 23498 WITH SCORE 23660.93
AT ITER 3739 NEW BEST:: SOT 453865 SOS 162917 HAS SOPS 161600 HAS SOUS 24363 HAS SOUPS 23494 WITH SCORE 23656.917
AT ITER 3743 NEW BEST:: SOT 453851 SOS 162840 HAS SOPS 161530 HAS SOUS 24363 HAS SOUPS 23494 WITH SCORE 23656.84
AT ITER 3754 NEW BEST:: SOT 453851 SOS 160796 HAS SOPS 159486 HAS SOUS 24363 HAS SOUPS 23494 WITH SCORE 23654.796
AT ITER 3760 NEW BEST:: SOT 453873 SOS 160808 HAS SOPS 159498 HAS SOUS 24362 HAS SOUPS 23493 WITH SCORE 23653.808
AT ITER 3765 NEW BEST:: SOT 453871 SOS 161821 HAS SOPS 160511 HAS SOUS 24360 HAS SOUPS 23491 WITH SCORE 23652.821
AT ITER 3773 NEW BEST:: SOT 461918 SOS 167111 HAS SOPS 165801 HAS SOUS 24341 HAS SOUPS 23472 WITH SCORE 23639.111
AT ITER 3774 NEW BEST:: SOT 461906 SOS 167099 HAS SOPS 165789 HAS SOUS 24341 HAS SOUPS 23472 WITH SCORE 23639.099
AT ITER 3785 NEW BEST:: SOT 461904 SOS 167097 HAS SOPS 165787 HAS SOUS 24341 HAS SOUPS 23472 WITH SCORE 23639.097
AT ITER 3797 NEW BEST:: SOT 461892 SOS 167085 HAS SOPS 165775 HAS SOUS 24329 HAS SOUPS 23460 WITH SCORE 23627.085
AT ITER 3809 NEW BEST:: SOT 461891 SOS 167084 HAS SOPS 165774 HAS SOUS 24328 HAS SOUPS 23459 WITH SCORE 23626.084
AT ITER 3829 NEW BEST:: SOT 461891 SOS 167030 HAS SOPS 165711 HAS SOUS 24310 HAS SOUPS 23441 WITH SCORE 23608.03
AT ITER 3833 NEW BEST:: SOT 461146 SOS 166285 HAS SOPS 164966 HAS SOUS 24305 HAS SOUPS 23436 WITH SCORE 23602.285
AT ITER 3841 NEW BEST:: SOT 461088 SOS 166227 HAS SOPS 164908 HAS SOUS 24189 HAS SOUPS 23320 WITH SCORE 23486.227
AT ITER 3842 NEW BEST:: SOT 461080 SOS 166219 HAS SOPS 164900 HAS SOUS 24183 HAS SOUPS 23314 WITH SCORE 23480.219
AT ITER 3854 NEW BEST:: SOT 461046 SOS 167693 HAS SOPS 166374 HAS SOUS 24152 HAS SOUPS 23283 WITH SCORE 23450.693
AT ITER 3859 NEW BEST:: SOT 461025 SOS 164501 HAS SOPS 163161 HAS SOUS 24131 HAS SOUPS 23241 WITH SCORE 23405.501
AT ITER 3869 NEW BEST:: SOT 461020 SOS 164496 HAS SOPS 163156 HAS SOUS 24125 HAS SOUPS 23235 WITH SCORE 23399.496
AT ITER 3882 NEW BEST:: SOT 461020 SOS 154024 HAS SOPS 152684 HAS SOUS 24072 HAS SOUPS 23182 WITH SCORE 23336.024
AT ITER 3885 NEW BEST:: SOT 461018 SOS 154010 HAS SOPS 152682 HAS SOUS 24034 HAS SOUPS 23150 WITH SCORE 23304.01
AT ITER 3889 NEW BEST:: SOT 461006 SOS 152216 HAS SOPS 150876 HAS SOUS 24044 HAS SOUPS 23148 WITH SCORE 23300.216
AT ITER 3912 NEW BEST:: SOT 460991 SOS 152201 HAS SOPS 150861 HAS SOUS 24023 HAS SOUPS 23127 WITH SCORE 23279.201
AT ITER 3916 NEW BEST:: SOT 460971 SOS 152094 HAS SOPS 150754 HAS SOUS 23976 HAS SOUPS 23080 WITH SCORE 23232.094
AT ITER 3921 NEW BEST:: SOT 469273 SOS 155845 HAS SOPS 154505 HAS SOUS 23863 HAS SOUPS 22967 WITH SCORE 23122.845
AT ITER 3928 NEW BEST:: SOT 469261 SOS 155779 HAS SOPS 154439 HAS SOUS 23845 HAS SOUPS 22949 WITH SCORE 23104.779
AT ITER 3932 NEW BEST:: SOT 469252 SOS 155770 HAS SOPS 154430 HAS SOUS 23766 HAS SOUPS 22870 WITH SCORE 23025.77
AT ITER 3964 NEW BEST:: SOT 469221 SOS 155739 HAS SOPS 154399 HAS SOUS 23751 HAS SOUPS 22855 WITH SCORE 23010.739
AT ITER 3990 NEW BEST:: SOT 467440 SOS 153902 HAS SOPS 152562 HAS SOUS 23746 HAS SOUPS 22850 WITH SCORE 23003.902
AT ITER 3998 NEW BEST:: SOT 467455 SOS 153917 HAS SOPS 152577 HAS SOUS 23736 HAS SOUPS 22840 WITH SCORE 22993.917
AT ITER 4006 NEW BEST:: SOT 467483 SOS 153877 HAS SOPS 152537 HAS SOUS 23688 HAS SOUPS 22792 WITH SCORE 22945.877
AT ITER 4028 NEW BEST:: SOT 467494 SOS 153910 HAS SOPS 152570 HAS SOUS 23659 HAS SOUPS 22763 WITH SCORE 22916.91
AT ITER 4066 NEW BEST:: SOT 467450 SOS 153866 HAS SOPS 152526 HAS SOUS 23622 HAS SOUPS 22726 WITH SCORE 22879.866
AT ITER 4072 NEW BEST:: SOT 467450 SOS 153866 HAS SOPS 152526 HAS SOUS 23608 HAS SOUPS 22712 WITH SCORE 22865.866
AT ITER 4082 NEW BEST:: SOT 467378 SOS 153794 HAS SOPS 152454 HAS SOUS 23544 HAS SOUPS 22648 WITH SCORE 22801.794
AT ITER 4083 NEW BEST:: SOT 467378 SOS 153639 HAS SOPS 152299 HAS SOUS 23541 HAS SOUPS 22645 WITH SCORE 22798.639
AT ITER 4086 NEW BEST:: SOT 467385 SOS 153646 HAS SOPS 152306 HAS SOUS 23537 HAS SOUPS 22641 WITH SCORE 22794.646
AT ITER 4114 NEW BEST:: SOT 467359 SOS 153418 HAS SOPS 152064 HAS SOUS 23465 HAS SOUPS 22569 WITH SCORE 22722.418
AT ITER 4127 NEW BEST:: SOT 459880 SOS 147690 HAS SOPS 146336 HAS SOUS 23324 HAS SOUPS 22428 WITH SCORE 22575.69
AT ITER 4145 NEW BEST:: SOT 459869 SOS 147679 HAS SOPS 146325 HAS SOUS 23311 HAS SOUPS 22415 WITH SCORE 22562.679
AT ITER 4238 NEW BEST:: SOT 459862 SOS 147618 HAS SOPS 146255 HAS SOUS 23286 HAS SOUPS 22390 WITH SCORE 22537.618
AT ITER 4256 NEW BEST:: SOT 459835 SOS 147596 HAS SOPS 146228 HAS SOUS 23278 HAS SOUPS 22379 WITH SCORE 22526.596
AT ITER 4259 NEW BEST:: SOT 459849 SOS 147586 HAS SOPS 146218 HAS SOUS 23270 HAS SOUPS 22371 WITH SCORE 22518.586
AT ITER 4267 NEW BEST:: SOT 459779 SOS 147488 HAS SOPS 146120 HAS SOUS 23179 HAS SOUPS 22280 WITH SCORE 22427.488
AT ITER 4339 NEW BEST:: SOT 459741 SOS 147450 HAS SOPS 146082 HAS SOUS 23172 HAS SOUPS 22273 WITH SCORE 22420.45
AT ITER 4363 NEW BEST:: SOT 459745 SOS 147454 HAS SOPS 146086 HAS SOUS 23168 HAS SOUPS 22269 WITH SCORE 22416.454
AT ITER 4366 NEW BEST:: SOT 459737 SOS 147446 HAS SOPS 146078 HAS SOUS 23124 HAS SOUPS 22225 WITH SCORE 22372.446
AT ITER 4369 NEW BEST:: SOT 459745 SOS 147454 HAS SOPS 146086 HAS SOUS 23118 HAS SOUPS 22219 WITH SCORE 22366.454
AT ITER 4405 NEW BEST:: SOT 459752 SOS 147428 HAS SOPS 146060 HAS SOUS 23103 HAS SOUPS 22204 WITH SCORE 22351.428
AT ITER 4458 NEW BEST:: SOT 456325 SOS 143955 HAS SOPS 142633 HAS SOUS 23011 HAS SOUPS 22135 WITH SCORE 22278.955
AT ITER 4459 NEW BEST:: SOT 456305 SOS 143935 HAS SOPS 142613 HAS SOUS 22993 HAS SOUPS 22117 WITH SCORE 22260.935
AT ITER 4460 NEW BEST:: SOT 456300 SOS 143930 HAS SOPS 142608 HAS SOUS 22982 HAS SOUPS 22106 WITH SCORE 22249.93
AT ITER 4483 NEW BEST:: SOT 456286 SOS 143863 HAS SOPS 142541 HAS SOUS 22896 HAS SOUPS 22020 WITH SCORE 22163.863
AT ITER 4513 NEW BEST:: SOT 456085 SOS 143662 HAS SOPS 142340 HAS SOUS 22860 HAS SOUPS 21984 WITH SCORE 22127.662
AT ITER 4532 NEW BEST:: SOT 456085 SOS 143038 HAS SOPS 141716 HAS SOUS 22856 HAS SOUPS 21980 WITH SCORE 22123.038
AT ITER 4545 NEW BEST:: SOT 456037 SOS 143035 HAS SOPS 141767 HAS SOUS 22794 HAS SOUPS 21945 WITH SCORE 22088.035
AT ITER 4590 NEW BEST:: SOT 456029 SOS 142648 HAS SOPS 141380 HAS SOUS 22787 HAS SOUPS 21938 WITH SCORE 22080.648
AT ITER 4591 NEW BEST:: SOT 456025 SOS 142644 HAS SOPS 141376 HAS SOUS 22783 HAS SOUPS 21934 WITH SCORE 22076.644
AT ITER 4592 NEW BEST:: SOT 456120 SOS 142700 HAS SOPS 141471 HAS SOUS 22690 HAS SOUPS 21861 WITH SCORE 22003.7
AT ITER 4604 NEW BEST:: SOT 456074 SOS 142470 HAS SOPS 141241 HAS SOUS 22611 HAS SOUPS 21782 WITH SCORE 21924.47
AT ITER 4631 NEW BEST:: SOT 456063 SOS 142466 HAS SOPS 141225 HAS SOUS 22595 HAS SOUPS 21760 WITH SCORE 21902.466
AT ITER 4687 NEW BEST:: SOT 455984 SOS 142387 HAS SOPS 141146 HAS SOUS 22522 HAS SOUPS 21687 WITH SCORE 21829.387
AT ITER 4690 NEW BEST:: SOT 455984 SOS 139987 HAS SOPS 138714 HAS SOUS 22510 HAS SOUPS 21659 WITH SCORE 21798.987
AT ITER 4693 NEW BEST:: SOT 455962 SOS 139898 HAS SOPS 138625 HAS SOUS 22488 HAS SOUPS 21637 WITH SCORE 21776.898
AT ITER 4704 NEW BEST:: SOT 455962 SOS 139860 HAS SOPS 138625 HAS SOUS 22469 HAS SOUPS 21637 WITH SCORE 21776.86
AT ITER 4724 NEW BEST:: SOT 455947 SOS 139845 HAS SOPS 138610 HAS SOUS 22436 HAS SOUPS 21604 WITH SCORE 21743.845
AT ITER 4725 NEW BEST:: SOT 456078 SOS 138131 HAS SOPS 136896 HAS SOUS 22437 HAS SOUPS 21605 WITH SCORE 21743.131
AT ITER 4733 NEW BEST:: SOT 456044 SOS 138115 HAS SOPS 136893 HAS SOUS 22429 HAS SOUPS 21597 WITH SCORE 21735.115
AT ITER 4762 NEW BEST:: SOT 455895 SOS 137786 HAS SOPS 136564 HAS SOUS 22423 HAS SOUPS 21591 WITH SCORE 21728.786
AT ITER 4800 NEW BEST:: SOT 455895 SOS 137786 HAS SOPS 136564 HAS SOUS 22327 HAS SOUPS 21495 WITH SCORE 21632.786
AT ITER 4805 NEW BEST:: SOT 455828 SOS 137885 HAS SOPS 136663 HAS SOUS 22278 HAS SOUPS 21446 WITH SCORE 21583.885
AT ITER 4864 NEW BEST:: SOT 455825 SOS 137882 HAS SOPS 136660 HAS SOUS 22275 HAS SOUPS 21443 WITH SCORE 21580.882
AT ITER 4872 NEW BEST:: SOT 454782 SOS 135780 HAS SOPS 134558 HAS SOUS 22263 HAS SOUPS 21431 WITH SCORE 21566.78
AT ITER 4888 NEW BEST:: SOT 454736 SOS 135734 HAS SOPS 134512 HAS SOUS 22200 HAS SOUPS 21368 WITH SCORE 21503.734
AT ITER 4894 NEW BEST:: SOT 456245 SOS 135927 HAS SOPS 134705 HAS SOUS 22171 HAS SOUPS 21339 WITH SCORE 21474.927
AT ITER 4915 NEW BEST:: SOT 456245 SOS 135939 HAS SOPS 134705 HAS SOUS 22171 HAS SOUPS 21333 WITH SCORE 21468.939
AT ITER 4946 NEW BEST:: SOT 456239 SOS 135933 HAS SOPS 134699 HAS SOUS 22159 HAS SOUPS 21321 WITH SCORE 21456.933
AT ITER 4951 NEW BEST:: SOT 456227 SOS 135921 HAS SOPS 134687 HAS SOUS 22147 HAS SOUPS 21309 WITH SCORE 21444.921
AT ITER 5012 NEW BEST:: SOT 456231 SOS 135925 HAS SOPS 134691 HAS SOUS 22142 HAS SOUPS 21304 WITH SCORE 21439.925
AT ITER 5013 NEW BEST:: SOT 456214 SOS 135908 HAS SOPS 134674 HAS SOUS 22113 HAS SOUPS 21275 WITH SCORE 21410.908
AT ITER 5026 NEW BEST:: SOT 458294 SOS 138000 HAS SOPS 136766 HAS SOUS 22101 HAS SOUPS 21263 WITH SCORE 21401.0
AT ITER 5044 NEW BEST:: SOT 458305 SOS 138011 HAS SOPS 136777 HAS SOUS 22090 HAS SOUPS 21252 WITH SCORE 21390.011
AT ITER 5069 NEW BEST:: SOT 458302 SOS 138008 HAS SOPS 136774 HAS SOUS 22078 HAS SOUPS 21240 WITH SCORE 21378.008
AT ITER 5094 NEW BEST:: SOT 458293 SOS 137999 HAS SOPS 136765 HAS SOUS 22069 HAS SOUPS 21231 WITH SCORE 21368.999
AT ITER 5114 NEW BEST:: SOT 458137 SOS 137906 HAS SOPS 136609 HAS SOUS 22073 HAS SOUPS 21203 WITH SCORE 21340.906
AT ITER 5136 NEW BEST:: SOT 458136 SOS 137863 HAS SOPS 136566 HAS SOUS 22064 HAS SOUPS 21194 WITH SCORE 21331.863
AT ITER 5178 NEW BEST:: SOT 458126 SOS 137853 HAS SOPS 136556 HAS SOUS 22064 HAS SOUPS 21194 WITH SCORE 21331.853
AT ITER 5194 NEW BEST:: SOT 458105 SOS 137832 HAS SOPS 136535 HAS SOUS 22046 HAS SOUPS 21176 WITH SCORE 21313.832
AT ITER 5199 NEW BEST:: SOT 458107 SOS 137834 HAS SOPS 136537 HAS SOUS 22016 HAS SOUPS 21146 WITH SCORE 21283.834
AT ITER 5200 NEW BEST:: SOT 458039 SOS 137794 HAS SOPS 136497 HAS SOUS 22012 HAS SOUPS 21142 WITH SCORE 21279.794
AT ITER 5221 NEW BEST:: SOT 457945 SOS 137658 HAS SOPS 136361 HAS SOUS 21976 HAS SOUPS 21106 WITH SCORE 21243.658
AT ITER 5226 NEW BEST:: SOT 457897 SOS 137568 HAS SOPS 136313 HAS SOUS 21928 HAS SOUPS 21079 WITH SCORE 21216.568
AT ITER 5257 NEW BEST:: SOT 457799 SOS 137419 HAS SOPS 136164 HAS SOUS 21808 HAS SOUPS 20959 WITH SCORE 21096.419
AT ITER 5259 NEW BEST:: SOT 454987 SOS 134607 HAS SOPS 133352 HAS SOUS 21808 HAS SOUPS 20959 WITH SCORE 21093.607
AT ITER 5287 NEW BEST:: SOT 454989 SOS 134609 HAS SOPS 133354 HAS SOUS 21781 HAS SOUPS 20932 WITH SCORE 21066.609
AT ITER 5304 NEW BEST:: SOT 454965 SOS 134316 HAS SOPS 133058 HAS SOUS 21743 HAS SOUPS 20891 WITH SCORE 21025.316
AT ITER 5338 NEW BEST:: SOT 454961 SOS 134312 HAS SOPS 133054 HAS SOUS 21739 HAS SOUPS 20887 WITH SCORE 21021.312
AT ITER 5345 NEW BEST:: SOT 454832 SOS 133724 HAS SOPS 132409 HAS SOUS 21534 HAS SOUPS 20625 WITH SCORE 20758.724
AT ITER 5354 NEW BEST:: SOT 455130 SOS 133000 HAS SOPS 131685 HAS SOUS 21534 HAS SOUPS 20625 WITH SCORE 20758.0
AT ITER 5360 NEW BEST:: SOT 455154 SOS 133204 HAS SOPS 131889 HAS SOUS 21519 HAS SOUPS 20610 WITH SCORE 20743.204
AT ITER 5402 NEW BEST:: SOT 455166 SOS 133116 HAS SOPS 131801 HAS SOUS 21511 HAS SOUPS 20602 WITH SCORE 20735.116
AT ITER 5405 NEW BEST:: SOT 455238 SOS 133317 HAS SOPS 132002 HAS SOUS 21486 HAS SOUPS 20577 WITH SCORE 20710.317
AT ITER 5424 NEW BEST:: SOT 455220 SOS 133299 HAS SOPS 131984 HAS SOUS 21455 HAS SOUPS 20546 WITH SCORE 20679.299
AT ITER 5430 NEW BEST:: SOT 467140 SOS 145431 HAS SOPS 144116 HAS SOUS 21428 HAS SOUPS 20519 WITH SCORE 20664.431
AT ITER 5462 NEW BEST:: SOT 467137 SOS 145398 HAS SOPS 144083 HAS SOUS 21412 HAS SOUPS 20503 WITH SCORE 20648.398
AT ITER 5463 NEW BEST:: SOT 466541 SOS 144802 HAS SOPS 143487 HAS SOUS 21409 HAS SOUPS 20500 WITH SCORE 20644.802
AT ITER 5471 NEW BEST:: SOT 466588 SOS 144850 HAS SOPS 143496 HAS SOUS 21366 HAS SOUPS 20439 WITH SCORE 20583.85
AT ITER 5500 NEW BEST:: SOT 466612 SOS 144982 HAS SOPS 143628 HAS SOUS 21360 HAS SOUPS 20433 WITH SCORE 20577.982
AT ITER 5505 NEW BEST:: SOT 466612 SOS 145002 HAS SOPS 143648 HAS SOUS 21340 HAS SOUPS 20413 WITH SCORE 20558.002
AT ITER 5519 NEW BEST:: SOT 470864 SOS 149174 HAS SOPS 147820 HAS SOUS 21264 HAS SOUPS 20337 WITH SCORE 20486.174
AT ITER 5594 NEW BEST:: SOT 469665 SOS 147936 HAS SOPS 146582 HAS SOUS 21259 HAS SOUPS 20332 WITH SCORE 20479.936
AT ITER 5596 NEW BEST:: SOT 469505 SOS 147769 HAS SOPS 146415 HAS SOUS 21250 HAS SOUPS 20323 WITH SCORE 20470.769
AT ITER 5603 NEW BEST:: SOT 469598 SOS 147866 HAS SOPS 146508 HAS SOUS 21198 HAS SOUPS 20267 WITH SCORE 20414.866
AT ITER 5609 NEW BEST:: SOT 469598 SOS 151616 HAS SOPS 150308 HAS SOUS 21148 HAS SOUPS 20242 WITH SCORE 20393.616
AT ITER 5638 NEW BEST:: SOT 464979 SOS 142658 HAS SOPS 141350 HAS SOUS 21155 HAS SOUPS 20249 WITH SCORE 20391.658
AT ITER 5698 NEW BEST:: SOT 466455 SOS 144014 HAS SOPS 142696 HAS SOUS 21161 HAS SOUPS 20245 WITH SCORE 20389.014
AT ITER 5705 NEW BEST:: SOT 466434 SOS 143963 HAS SOPS 142675 HAS SOUS 21122 HAS SOUPS 20221 WITH SCORE 20364.963
AT ITER 5779 NEW BEST:: SOT 466420 SOS 143949 HAS SOPS 142661 HAS SOUS 21074 HAS SOUPS 20173 WITH SCORE 20316.949
AT ITER 5794 NEW BEST:: SOT 466420 SOS 138436 HAS SOPS 137148 HAS SOUS 21074 HAS SOUPS 20173 WITH SCORE 20311.436
AT ITER 5833 NEW BEST:: SOT 466424 SOS 133778 HAS SOPS 132490 HAS SOUS 21067 HAS SOUPS 20166 WITH SCORE 20299.778
AT ITER 5861 NEW BEST:: SOT 469865 SOS 137035 HAS SOPS 135747 HAS SOUS 21057 HAS SOUPS 20156 WITH SCORE 20293.035
AT ITER 5884 NEW BEST:: SOT 469898 SOS 137236 HAS SOPS 135948 HAS SOUS 21041 HAS SOUPS 20140 WITH SCORE 20277.236
AT ITER 5889 NEW BEST:: SOT 469899 SOS 137265 HAS SOPS 135977 HAS SOUS 21024 HAS SOUPS 20123 WITH SCORE 20260.265
AT ITER 5925 NEW BEST:: SOT 471065 SOS 138437 HAS SOPS 137152 HAS SOUS 21009 HAS SOUPS 20111 WITH SCORE 20249.437
AT ITER 5943 NEW BEST:: SOT 471044 SOS 138398 HAS SOPS 137113 HAS SOUS 20998 HAS SOUPS 20100 WITH SCORE 20238.398
AT ITER 6034 NEW BEST:: SOT 470979 SOS 138333 HAS SOPS 137048 HAS SOUS 20993 HAS SOUPS 20095 WITH SCORE 20233.333
AT ITER 6043 NEW BEST:: SOT 470977 SOS 138331 HAS SOPS 137046 HAS SOUS 20989 HAS SOUPS 20091 WITH SCORE 20229.331
AT ITER 6056 NEW BEST:: SOT 470856 SOS 138093 HAS SOPS 136808 HAS SOUS 20869 HAS SOUPS 19971 WITH SCORE 20109.093
AT ITER 6089 NEW BEST:: SOT 470707 SOS 137940 HAS SOPS 136655 HAS SOUS 20868 HAS SOUPS 19970 WITH SCORE 20107.94
AT ITER 6115 NEW BEST:: SOT 470697 SOS 137930 HAS SOPS 136645 HAS SOUS 20848 HAS SOUPS 19950 WITH SCORE 20087.93
AT ITER 6140 NEW BEST:: SOT 470667 SOS 137900 HAS SOPS 136615 HAS SOUS 20788 HAS SOUPS 19890 WITH SCORE 20027.9
AT ITER 6151 NEW BEST:: SOT 470657 SOS 137850 HAS SOPS 136570 HAS SOUS 20783 HAS SOUPS 19890 WITH SCORE 20027.85
AT ITER 6168 NEW BEST:: SOT 470655 SOS 140804 HAS SOPS 139524 HAS SOUS 20769 HAS SOUPS 19876 WITH SCORE 20016.804
AT ITER 6202 NEW BEST:: SOT 470668 SOS 140889 HAS SOPS 139609 HAS SOUS 20764 HAS SOUPS 19871 WITH SCORE 20011.889
AT ITER 6239 NEW BEST:: SOT 470657 SOS 140878 HAS SOPS 139598 HAS SOUS 20717 HAS SOUPS 19824 WITH SCORE 19964.878
AT ITER 6285 NEW BEST:: SOT 470627 SOS 140848 HAS SOPS 139568 HAS SOUS 20673 HAS SOUPS 19780 WITH SCORE 19920.848
AT ITER 6317 NEW BEST:: SOT 470642 SOS 140813 HAS SOPS 139505 HAS SOUS 20674 HAS SOUPS 19762 WITH SCORE 19902.813
AT ITER 6348 NEW BEST:: SOT 470642 SOS 140736 HAS SOPS 139417 HAS SOUS 20674 HAS SOUPS 19751 WITH SCORE 19891.736
AT ITER 6386 NEW BEST:: SOT 470633 SOS 140721 HAS SOPS 139402 HAS SOUS 20671 HAS SOUPS 19748 WITH SCORE 19888.721
AT ITER 6442 NEW BEST:: SOT 471378 SOS 141436 HAS SOPS 140117 HAS SOUS 20661 HAS SOUPS 19738 WITH SCORE 19879.436
AT ITER 6450 NEW BEST:: SOT 471370 SOS 141428 HAS SOPS 140109 HAS SOUS 20639 HAS SOUPS 19716 WITH SCORE 19857.428
AT ITER 6484 NEW BEST:: SOT 471368 SOS 141426 HAS SOPS 140107 HAS SOUS 20639 HAS SOUPS 19716 WITH SCORE 19857.426
AT ITER 6489 NEW BEST:: SOT 471217 SOS 141114 HAS SOPS 139795 HAS SOUS 20637 HAS SOUPS 19714 WITH SCORE 19855.114
AT ITER 6651 NEW BEST:: SOT 471101 SOS 140998 HAS SOPS 139679 HAS SOUS 20540 HAS SOUPS 19617 WITH SCORE 19757.998
AT ITER 6657 NEW BEST:: SOT 471071 SOS 141071 HAS SOPS 139752 HAS SOUS 20530 HAS SOUPS 19607 WITH SCORE 19748.071
AT ITER 6668 NEW BEST:: SOT 471069 SOS 139474 HAS SOPS 138155 HAS SOUS 20531 HAS SOUPS 19608 WITH SCORE 19747.474
AT ITER 6698 NEW BEST:: SOT 471069 SOS 139475 HAS SOPS 138156 HAS SOUS 20520 HAS SOUPS 19597 WITH SCORE 19736.475
AT ITER 6715 NEW BEST:: SOT 471014 SOS 139420 HAS SOPS 138101 HAS SOUS 20474 HAS SOUPS 19551 WITH SCORE 19690.42
AT ITER 6749 NEW BEST:: SOT 470948 SOS 139339 HAS SOPS 138035 HAS SOUS 20423 HAS SOUPS 19515 WITH SCORE 19654.339
AT ITER 6769 NEW BEST:: SOT 470943 SOS 139334 HAS SOPS 138030 HAS SOUS 20423 HAS SOUPS 19515 WITH SCORE 19654.334
AT ITER 6773 NEW BEST:: SOT 470500 SOS 141998 HAS SOPS 140669 HAS SOUS 20392 HAS SOUPS 19484 WITH SCORE 19625.998
AT ITER 6777 NEW BEST:: SOT 470534 SOS 141990 HAS SOPS 140667 HAS SOUS 20367 HAS SOUPS 19465 WITH SCORE 19606.99
AT ITER 6789 NEW BEST:: SOT 470528 SOS 141984 HAS SOPS 140661 HAS SOUS 20355 HAS SOUPS 19453 WITH SCORE 19594.984
AT ITER 6798 NEW BEST:: SOT 470507 SOS 140892 HAS SOPS 139569 HAS SOUS 20334 HAS SOUPS 19432 WITH SCORE 19572.892
AT ITER 6805 NEW BEST:: SOT 470453 SOS 137834 HAS SOPS 136511 HAS SOUS 20286 HAS SOUPS 19384 WITH SCORE 19521.834
AT ITER 6822 NEW BEST:: SOT 470443 SOS 137784 HAS SOPS 136461 HAS SOUS 20286 HAS SOUPS 19384 WITH SCORE 19521.784
AT ITER 6832 NEW BEST:: SOT 465777 SOS 134913 HAS SOPS 133590 HAS SOUS 20248 HAS SOUPS 19346 WITH SCORE 19480.913
AT ITER 6905 NEW BEST:: SOT 466337 SOS 135473 HAS SOPS 134150 HAS SOUS 20224 HAS SOUPS 19322 WITH SCORE 19457.473
AT ITER 6933 NEW BEST:: SOT 466338 SOS 135474 HAS SOPS 134151 HAS SOUS 20215 HAS SOUPS 19313 WITH SCORE 19448.474
AT ITER 6937 NEW BEST:: SOT 466318 SOS 135459 HAS SOPS 134136 HAS SOUS 20190 HAS SOUPS 19288 WITH SCORE 19423.459
AT ITER 6939 NEW BEST:: SOT 466314 SOS 135455 HAS SOPS 134132 HAS SOUS 20184 HAS SOUPS 19282 WITH SCORE 19417.455
AT ITER 6954 NEW BEST:: SOT 466310 SOS 135363 HAS SOPS 134024 HAS SOUS 20176 HAS SOUPS 19266 WITH SCORE 19401.363
AT ITER 7016 NEW BEST:: SOT 466334 SOS 135387 HAS SOPS 134048 HAS SOUS 20175 HAS SOUPS 19265 WITH SCORE 19400.387
AT ITER 7035 NEW BEST:: SOT 466338 SOS 135391 HAS SOPS 134052 HAS SOUS 20167 HAS SOUPS 19257 WITH SCORE 19392.391
AT ITER 7071 NEW BEST:: SOT 466342 SOS 135395 HAS SOPS 134056 HAS SOUS 20161 HAS SOUPS 19251 WITH SCORE 19386.395
AT ITER 7150 NEW BEST:: SOT 466044 SOS 134794 HAS SOPS 133444 HAS SOUS 20059 HAS SOUPS 19140 WITH SCORE 19274.794
AT ITER 7165 NEW BEST:: SOT 464703 SOS 132112 HAS SOPS 130762 HAS SOUS 20050 HAS SOUPS 19131 WITH SCORE 19263.112
AT ITER 7187 NEW BEST:: SOT 464676 SOS 132076 HAS SOPS 130726 HAS SOUS 20005 HAS SOUPS 19086 WITH SCORE 19218.076
AT ITER 7197 NEW BEST:: SOT 464511 SOS 131747 HAS SOPS 130397 HAS SOUS 20000 HAS SOUPS 19081 WITH SCORE 19212.747
AT ITER 7204 NEW BEST:: SOT 464543 SOS 131753 HAS SOPS 130403 HAS SOUS 19998 HAS SOUPS 19079 WITH SCORE 19210.753
AT ITER 7235 NEW BEST:: SOT 464537 SOS 130764 HAS SOPS 129414 HAS SOUS 19995 HAS SOUPS 19076 WITH SCORE 19206.764
AT ITER 7248 NEW BEST:: SOT 464544 SOS 130771 HAS SOPS 129421 HAS SOUS 19979 HAS SOUPS 19060 WITH SCORE 19190.771
AT ITER 7468 NEW BEST:: SOT 464404 SOS 130627 HAS SOPS 129281 HAS SOUS 19973 HAS SOUPS 19058 WITH SCORE 19188.627
AT ITER 7487 NEW BEST:: SOT 464430 SOS 130988 HAS SOPS 129653 HAS SOUS 19949 HAS SOUPS 19043 WITH SCORE 19173.988
AT ITER 7512 NEW BEST:: SOT 464402 SOS 130894 HAS SOPS 129559 HAS SOUS 19943 HAS SOUPS 19037 WITH SCORE 19167.894
AT ITER 7513 NEW BEST:: SOT 464436 SOS 127562 HAS SOPS 126227 HAS SOUS 19923 HAS SOUPS 19017 WITH SCORE 19144.562
AT ITER 7562 NEW BEST:: SOT 464480 SOS 130884 HAS SOPS 129549 HAS SOUS 19892 HAS SOUPS 18986 WITH SCORE 19116.884
AT ITER 7565 NEW BEST:: SOT 464470 SOS 130758 HAS SOPS 129423 HAS SOUS 19872 HAS SOUPS 18966 WITH SCORE 19096.758
AT ITER 7575 NEW BEST:: SOT 464478 SOS 130718 HAS SOPS 129383 HAS SOUS 19872 HAS SOUPS 18966 WITH SCORE 19096.718
AT ITER 7576 NEW BEST:: SOT 464424 SOS 130628 HAS SOPS 129257 HAS SOUS 19818 HAS SOUPS 18894 WITH SCORE 19024.628
AT ITER 7579 NEW BEST:: SOT 464424 SOS 131884 HAS SOPS 130513 HAS SOUS 19810 HAS SOUPS 18886 WITH SCORE 19017.884
AT ITER 7600 NEW BEST:: SOT 464424 SOS 132470 HAS SOPS 131097 HAS SOUS 19810 HAS SOUPS 18884 WITH SCORE 19016.47
AT ITER 7614 NEW BEST:: SOT 464424 SOS 132304 HAS SOPS 130931 HAS SOUS 19727 HAS SOUPS 18801 WITH SCORE 18933.304
AT ITER 7655 NEW BEST:: SOT 483156 SOS 148638 HAS SOPS 147265 HAS SOUS 19698 HAS SOUPS 18772 WITH SCORE 18920.638
AT ITER 7697 NEW BEST:: SOT 483152 SOS 148629 HAS SOPS 147256 HAS SOUS 19674 HAS SOUPS 18748 WITH SCORE 18896.629
AT ITER 7700 NEW BEST:: SOT 483150 SOS 147405 HAS SOPS 146020 HAS SOUS 19623 HAS SOUPS 18697 WITH SCORE 18844.405
AT ITER 7729 NEW BEST:: SOT 483150 SOS 147383 HAS SOPS 145998 HAS SOUS 19582 HAS SOUPS 18656 WITH SCORE 18803.383
AT ITER 7752 NEW BEST:: SOT 483068 SOS 147059 HAS SOPS 145656 HAS SOUS 19530 HAS SOUPS 18586 WITH SCORE 18733.059
AT ITER 7762 NEW BEST:: SOT 483061 SOS 147052 HAS SOPS 145649 HAS SOUS 19527 HAS SOUPS 18583 WITH SCORE 18730.052
AT ITER 7816 NEW BEST:: SOT 483062 SOS 146955 HAS SOPS 145552 HAS SOUS 19514 HAS SOUPS 18570 WITH SCORE 18716.955
AT ITER 7846 NEW BEST:: SOT 483091 SOS 146984 HAS SOPS 145581 HAS SOUS 19512 HAS SOUPS 18568 WITH SCORE 18714.984
AT ITER 7858 NEW BEST:: SOT 483067 SOS 146960 HAS SOPS 145557 HAS SOUS 19512 HAS SOUPS 18568 WITH SCORE 18714.96
AT ITER 7912 NEW BEST:: SOT 483047 SOS 146890 HAS SOPS 145477 HAS SOUS 19472 HAS SOUPS 18528 WITH SCORE 18674.89
AT ITER 7922 NEW BEST:: SOT 483035 SOS 146884 HAS SOPS 145471 HAS SOUS 19466 HAS SOUPS 18522 WITH SCORE 18668.884
AT ITER 7925 NEW BEST:: SOT 483019 SOS 146878 HAS SOPS 145469 HAS SOUS 19454 HAS SOUPS 18510 WITH SCORE 18656.878
AT ITER 7965 NEW BEST:: SOT 483009 SOS 146868 HAS SOPS 145459 HAS SOUS 19450 HAS SOUPS 18506 WITH SCORE 18652.868
AT ITER 7972 NEW BEST:: SOT 482939 SOS 146735 HAS SOPS 145389 HAS SOUS 19392 HAS SOUPS 18480 WITH SCORE 18626.735
AT ITER 7990 NEW BEST:: SOT 482971 SOS 146807 HAS SOPS 145475 HAS SOUS 19380 HAS SOUPS 18468 WITH SCORE 18614.807
AT ITER 8119 NEW BEST:: SOT 484328 SOS 143122 HAS SOPS 141706 HAS SOUS 19403 HAS SOUPS 18449 WITH SCORE 18592.122
AT ITER 8123 NEW BEST:: SOT 484288 SOS 142948 HAS SOPS 141506 HAS SOUS 19345 HAS SOUPS 18365 WITH SCORE 18507.948
AT ITER 8147 NEW BEST:: SOT 484329 SOS 142814 HAS SOPS 141372 HAS SOUS 19340 HAS SOUPS 18360 WITH SCORE 18502.814
AT ITER 8183 NEW BEST:: SOT 484329 SOS 142806 HAS SOPS 141364 HAS SOUS 19340 HAS SOUPS 18360 WITH SCORE 18502.806
AT ITER 8249 NEW BEST:: SOT 484347 SOS 142828 HAS SOPS 141386 HAS SOUS 19336 HAS SOUPS 18356 WITH SCORE 18498.828
AT ITER 8266 NEW BEST:: SOT 484347 SOS 141514 HAS SOPS 140081 HAS SOUS 19336 HAS SOUPS 18356 WITH SCORE 18497.514
AT ITER 8274 NEW BEST:: SOT 484331 SOS 140016 HAS SOPS 138583 HAS SOUS 19333 HAS SOUPS 18353 WITH SCORE 18493.016
AT ITER 8313 NEW BEST:: SOT 484293 SOS 139924 HAS SOPS 138545 HAS SOUS 19233 HAS SOUPS 18307 WITH SCORE 18446.924
AT ITER 8351 NEW BEST:: SOT 481273 SOS 136959 HAS SOPS 135580 HAS SOUS 19225 HAS SOUPS 18299 WITH SCORE 18435.959
AT ITER 8408 NEW BEST:: SOT 481255 SOS 136941 HAS SOPS 135562 HAS SOUS 19207 HAS SOUPS 18281 WITH SCORE 18417.941
AT ITER 8415 NEW BEST:: SOT 481253 SOS 136939 HAS SOPS 135560 HAS SOUS 19203 HAS SOUPS 18277 WITH SCORE 18413.939
AT ITER 8430 NEW BEST:: SOT 481243 SOS 136929 HAS SOPS 135550 HAS SOUS 19178 HAS SOUPS 18252 WITH SCORE 18388.929
AT ITER 8440 NEW BEST:: SOT 481056 SOS 136742 HAS SOPS 135363 HAS SOUS 19135 HAS SOUPS 18209 WITH SCORE 18345.742
AT ITER 8448 NEW BEST:: SOT 481057 SOS 136772 HAS SOPS 135393 HAS SOUS 19130 HAS SOUPS 18204 WITH SCORE 18340.772
AT ITER 8468 NEW BEST:: SOT 481295 SOS 137366 HAS SOPS 135809 HAS SOUS 19197 HAS SOUPS 18182 WITH SCORE 18319.366
AT ITER 8486 NEW BEST:: SOT 481263 SOS 137334 HAS SOPS 135777 HAS SOUS 19149 HAS SOUPS 18134 WITH SCORE 18271.334
AT ITER 8509 NEW BEST:: SOT 481260 SOS 138480 HAS SOPS 136923 HAS SOUS 19147 HAS SOUPS 18132 WITH SCORE 18270.48
AT ITER 8512 NEW BEST:: SOT 481260 SOS 138480 HAS SOPS 136923 HAS SOUS 19143 HAS SOUPS 18128 WITH SCORE 18266.48
AT ITER 8554 NEW BEST:: SOT 481267 SOS 138460 HAS SOPS 136891 HAS SOUS 19144 HAS SOUPS 18117 WITH SCORE 18255.46
AT ITER 8559 NEW BEST:: SOT 481247 SOS 138436 HAS SOPS 136871 HAS SOUS 19132 HAS SOUPS 18109 WITH SCORE 18247.436
AT ITER 8579 NEW BEST:: SOT 481242 SOS 138359 HAS SOPS 136794 HAS SOUS 19125 HAS SOUPS 18102 WITH SCORE 18240.359
AT ITER 8655 NEW BEST:: SOT 481236 SOS 138353 HAS SOPS 136788 HAS SOUS 19115 HAS SOUPS 18092 WITH SCORE 18230.353
AT ITER 8687 NEW BEST:: SOT 481674 SOS 138791 HAS SOPS 137226 HAS SOUS 19112 HAS SOUPS 18089 WITH SCORE 18227.791
AT ITER 8706 NEW BEST:: SOT 481650 SOS 138767 HAS SOPS 137202 HAS SOUS 19084 HAS SOUPS 18061 WITH SCORE 18199.767
AT ITER 8738 NEW BEST:: SOT 481635 SOS 138747 HAS SOPS 137182 HAS SOUS 19064 HAS SOUPS 18041 WITH SCORE 18179.747
AT ITER 8770 NEW BEST:: SOT 481522 SOS 133804 HAS SOPS 132239 HAS SOUS 19041 HAS SOUPS 18018 WITH SCORE 18151.804
AT ITER 8772 NEW BEST:: SOT 481374 SOS 133655 HAS SOPS 132090 HAS SOUS 19040 HAS SOUPS 18017 WITH SCORE 18150.655
AT ITER 8776 NEW BEST:: SOT 479417 SOS 131802 HAS SOPS 130237 HAS SOUS 19013 HAS SOUPS 17990 WITH SCORE 18121.802
AT ITER 8791 NEW BEST:: SOT 479308 SOS 131843 HAS SOPS 130278 HAS SOUS 18986 HAS SOUPS 17963 WITH SCORE 18094.843
AT ITER 8829 NEW BEST:: SOT 479336 SOS 132935 HAS SOPS 131370 HAS SOUS 18979 HAS SOUPS 17956 WITH SCORE 18088.935
AT ITER 8855 NEW BEST:: SOT 479350 SOS 132903 HAS SOPS 131338 HAS SOUS 18947 HAS SOUPS 17924 WITH SCORE 18056.903
AT ITER 8945 NEW BEST:: SOT 479308 SOS 130413 HAS SOPS 128848 HAS SOUS 18895 HAS SOUPS 17872 WITH SCORE 18002.413
AT ITER 8966 NEW BEST:: SOT 479304 SOS 130393 HAS SOPS 128828 HAS SOUS 18895 HAS SOUPS 17872 WITH SCORE 18002.393
AT ITER 8967 NEW BEST:: SOT 479312 SOS 130391 HAS SOPS 128826 HAS SOUS 18894 HAS SOUPS 17871 WITH SCORE 18001.391
AT ITER 8968 NEW BEST:: SOT 479251 SOS 130330 HAS SOPS 128765 HAS SOUS 18877 HAS SOUPS 17854 WITH SCORE 17984.33
AT ITER 8991 NEW BEST:: SOT 479246 SOS 130325 HAS SOPS 128760 HAS SOUS 18860 HAS SOUPS 17837 WITH SCORE 17967.325
AT ITER 8994 NEW BEST:: SOT 478367 SOS 129419 HAS SOPS 127854 HAS SOUS 18854 HAS SOUPS 17831 WITH SCORE 17960.419
AT ITER 9031 NEW BEST:: SOT 478360 SOS 129405 HAS SOPS 127847 HAS SOUS 18842 HAS SOUPS 17826 WITH SCORE 17955.405
AT ITER 9034 NEW BEST:: SOT 478320 SOS 129365 HAS SOPS 127807 HAS SOUS 18762 HAS SOUPS 17746 WITH SCORE 17875.365
AT ITER 9107 NEW BEST:: SOT 478314 SOS 129359 HAS SOPS 127801 HAS SOUS 18756 HAS SOUPS 17740 WITH SCORE 17869.359
AT ITER 9126 NEW BEST:: SOT 478318 SOS 129356 HAS SOPS 127798 HAS SOUS 18732 HAS SOUPS 17716 WITH SCORE 17845.356
AT ITER 9143 NEW BEST:: SOT 478315 SOS 129342 HAS SOPS 127784 HAS SOUS 18730 HAS SOUPS 17714 WITH SCORE 17843.342
AT ITER 9201 NEW BEST:: SOT 478312 SOS 129339 HAS SOPS 127781 HAS SOUS 18726 HAS SOUPS 17710 WITH SCORE 17839.339
AT ITER 9209 NEW BEST:: SOT 478285 SOS 129320 HAS SOPS 127762 HAS SOUS 18694 HAS SOUPS 17678 WITH SCORE 17807.32
AT ITER 9255 NEW BEST:: SOT 478269 SOS 129350 HAS SOPS 127792 HAS SOUS 18679 HAS SOUPS 17663 WITH SCORE 17792.35
AT ITER 9321 NEW BEST:: SOT 478263 SOS 129344 HAS SOPS 127786 HAS SOUS 18673 HAS SOUPS 17657 WITH SCORE 17786.344
AT ITER 9364 NEW BEST:: SOT 478263 SOS 129344 HAS SOPS 127786 HAS SOUS 18667 HAS SOUPS 17651 WITH SCORE 17780.344
AT ITER 9377 NEW BEST:: SOT 478214 SOS 129289 HAS SOPS 127731 HAS SOUS 18653 HAS SOUPS 17637 WITH SCORE 17766.289
AT ITER 9417 NEW BEST:: SOT 478217 SOS 129164 HAS SOPS 127606 HAS SOUS 18638 HAS SOUPS 17622 WITH SCORE 17751.164
AT ITER 9419 NEW BEST:: SOT 478213 SOS 129160 HAS SOPS 127602 HAS SOUS 18635 HAS SOUPS 17619 WITH SCORE 17748.16
AT ITER 9487 NEW BEST:: SOT 478237 SOS 129225 HAS SOPS 127626 HAS SOUS 18647 HAS SOUPS 17610 WITH SCORE 17739.225
AT ITER 9534 NEW BEST:: SOT 478231 SOS 129213 HAS SOPS 127614 HAS SOUS 18640 HAS SOUPS 17603 WITH SCORE 17732.213
AT ITER 9555 NEW BEST:: SOT 478663 SOS 129645 HAS SOPS 128046 HAS SOUS 18637 HAS SOUPS 17600 WITH SCORE 17729.645
AT ITER 9571 NEW BEST:: SOT 479965 SOS 128362 HAS SOPS 126737 HAS SOUS 18639 HAS SOUPS 17576 WITH SCORE 17704.362
AT ITER 9608 NEW BEST:: SOT 479991 SOS 128320 HAS SOPS 126695 HAS SOUS 18631 HAS SOUPS 17568 WITH SCORE 17696.32
AT ITER 9619 NEW BEST:: SOT 479956 SOS 128129 HAS SOPS 126600 HAS SOUS 18554 HAS SOUPS 17539 WITH SCORE 17667.129
AT ITER 9648 NEW BEST:: SOT 479956 SOS 127839 HAS SOPS 126310 HAS SOUS 18554 HAS SOUPS 17539 WITH SCORE 17666.839
AT ITER 9719 NEW BEST:: SOT 479910 SOS 127637 HAS SOPS 126108 HAS SOUS 18451 HAS SOUPS 17436 WITH SCORE 17563.637
AT ITER 9726 NEW BEST:: SOT 479910 SOS 127355 HAS SOPS 125826 HAS SOUS 18451 HAS SOUPS 17436 WITH SCORE 17563.355
AT ITER 9771 NEW BEST:: SOT 479874 SOS 127308 HAS SOPS 125779 HAS SOUS 18375 HAS SOUPS 17360 WITH SCORE 17487.308
AT ITER 9820 NEW BEST:: SOT 479864 SOS 127292 HAS SOPS 125763 HAS SOUS 18364 HAS SOUPS 17349 WITH SCORE 17476.292
AT ITER 9837 NEW BEST:: SOT 479884 SOS 127300 HAS SOPS 125771 HAS SOUS 18350 HAS SOUPS 17335 WITH SCORE 17462.3
AT ITER 9883 NEW BEST:: SOT 479737 SOS 127153 HAS SOPS 125624 HAS SOUS 18349 HAS SOUPS 17334 WITH SCORE 17461.153
AT ITER 9889 NEW BEST:: SOT 479707 SOS 127123 HAS SOPS 125594 HAS SOUS 18289 HAS SOUPS 17274 WITH SCORE 17401.123
AT ITER 9936 NEW BEST:: SOT 479856 SOS 125614 HAS SOPS 124085 HAS SOUS 18290 HAS SOUPS 17275 WITH SCORE 17400.614
AT ITER 9976 NEW BEST:: SOT 479703 SOS 126013 HAS SOPS 124479 HAS SOUS 18282 HAS SOUPS 17262 WITH SCORE 17388.013

BK_STOP 1589645092891

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 Aborted ${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-8A"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-8A, 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 r108-csrt-158961250500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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