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.r171-tall-167838859000704.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is FunctionPointer-PT-b064, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838859000704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 25 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 391K 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 1679499980875

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b064
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 15:46:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 15:46:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 15:46:22] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-22 15:46:22] [INFO ] Transformed 306 places.
[2023-03-22 15:46:22] [INFO ] Transformed 840 transitions.
[2023-03-22 15:46:22] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 154 ms.
[2023-03-22 15:46:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 11 ms.
Total runtime 190 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b064
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 2 NEW BEST:: SOT 250193 SOS 199114 HAS SOPS 192875 HAS SOUS 100097 HAS SOUPS 99661 WITH SCORE 99860.114
AT ITER 3 NEW BEST:: SOT 250193 SOS 199156 HAS SOPS 192917 HAS SOUS 100076 HAS SOUPS 99640 WITH SCORE 99839.156
AT ITER 6 NEW BEST:: SOT 250193 SOS 199252 HAS SOPS 193013 HAS SOUS 100064 HAS SOUPS 99628 WITH SCORE 99827.252
AT ITER 7 NEW BEST:: SOT 250193 SOS 199284 HAS SOPS 193045 HAS SOUS 100042 HAS SOUPS 99606 WITH SCORE 99805.284
AT ITER 11 NEW BEST:: SOT 250193 SOS 199184 HAS SOPS 192945 HAS SOUS 100038 HAS SOUPS 99602 WITH SCORE 99801.184
AT ITER 12 NEW BEST:: SOT 250193 SOS 199578 HAS SOPS 193339 HAS SOUS 99971 HAS SOUPS 99535 WITH SCORE 99734.578
AT ITER 19 NEW BEST:: SOT 250193 SOS 199422 HAS SOPS 193183 HAS SOUS 99885 HAS SOUPS 99449 WITH SCORE 99648.422
AT ITER 21 NEW BEST:: SOT 250193 SOS 199276 HAS SOPS 193037 HAS SOUS 99812 HAS SOUPS 99376 WITH SCORE 99575.276
AT ITER 24 NEW BEST:: SOT 250193 SOS 199156 HAS SOPS 192917 HAS SOUS 99780 HAS SOUPS 99344 WITH SCORE 99543.156
AT ITER 25 NEW BEST:: SOT 250193 SOS 199256 HAS SOPS 193017 HAS SOUS 99632 HAS SOUPS 99196 WITH SCORE 99395.256
AT ITER 26 NEW BEST:: SOT 250193 SOS 199576 HAS SOPS 193337 HAS SOUS 99578 HAS SOUPS 99142 WITH SCORE 99341.576
AT ITER 29 NEW BEST:: SOT 244596 SOS 193994 HAS SOPS 187755 HAS SOUS 99201 HAS SOUPS 98765 WITH SCORE 98958.994
AT ITER 33 NEW BEST:: SOT 244580 SOS 192006 HAS SOPS 185226 HAS SOUS 99392 HAS SOUPS 97997 WITH SCORE 98189.006
AT ITER 34 NEW BEST:: SOT 244580 SOS 191940 HAS SOPS 185160 HAS SOUS 99357 HAS SOUPS 97962 WITH SCORE 98153.94
AT ITER 35 NEW BEST:: SOT 244564 SOS 191709 HAS SOPS 184999 HAS SOUS 99325 HAS SOUPS 97930 WITH SCORE 98121.709
AT ITER 36 NEW BEST:: SOT 244564 SOS 191829 HAS SOPS 185150 HAS SOUS 99277 HAS SOUPS 97913 WITH SCORE 98104.829
AT ITER 38 NEW BEST:: SOT 232436 SOS 179809 HAS SOPS 173038 HAS SOUS 92689 HAS SOUPS 91293 WITH SCORE 91472.809
AT ITER 46 NEW BEST:: SOT 232436 SOS 179806 HAS SOPS 173035 HAS SOUS 92687 HAS SOUPS 91291 WITH SCORE 91470.806
AT ITER 47 NEW BEST:: SOT 232436 SOS 179565 HAS SOPS 172732 HAS SOUS 92701 HAS SOUPS 91243 WITH SCORE 91422.565
AT ITER 51 NEW BEST:: SOT 232420 SOS 179549 HAS SOPS 172810 HAS SOUS 92683 HAS SOUPS 91225 WITH SCORE 91404.549
AT ITER 52 NEW BEST:: SOT 232420 SOS 179427 HAS SOPS 172688 HAS SOUS 92620 HAS SOUPS 91162 WITH SCORE 91341.427
AT ITER 54 NEW BEST:: SOT 232420 SOS 179313 HAS SOPS 172560 HAS SOUS 92587 HAS SOUPS 91115 WITH SCORE 91294.313
AT ITER 55 NEW BEST:: SOT 232420 SOS 179163 HAS SOPS 172269 HAS SOUS 92512 HAS SOUPS 90899 WITH SCORE 91078.163
AT ITER 57 NEW BEST:: SOT 232470 SOS 179085 HAS SOPS 172063 HAS SOUS 92513 HAS SOUPS 90762 WITH SCORE 90941.085
AT ITER 59 NEW BEST:: SOT 232470 SOS 179079 HAS SOPS 172083 HAS SOUS 92458 HAS SOUPS 90733 WITH SCORE 90912.079
AT ITER 60 NEW BEST:: SOT 213950 SOS 161123 HAS SOPS 153600 HAS SOUS 86327 HAS SOUPS 84554 WITH SCORE 84715.123
AT ITER 65 NEW BEST:: SOT 215190 SOS 160683 HAS SOPS 151910 HAS SOUS 82739 HAS SOUPS 80918 WITH SCORE 81078.683
AT ITER 66 NEW BEST:: SOT 215174 SOS 160539 HAS SOPS 151750 HAS SOUS 82739 HAS SOUPS 80886 WITH SCORE 81046.539
AT ITER 78 NEW BEST:: SOT 215174 SOS 160923 HAS SOPS 151878 HAS SOUS 82675 HAS SOUPS 80758 WITH SCORE 80918.923
AT ITER 82 NEW BEST:: SOT 215174 SOS 160573 HAS SOPS 151528 HAS SOUS 82513 HAS SOUPS 80596 WITH SCORE 80756.573
AT ITER 91 NEW BEST:: SOT 215190 SOS 160393 HAS SOPS 151348 HAS SOUS 82325 HAS SOUPS 80408 WITH SCORE 80568.393
AT ITER 94 NEW BEST:: SOT 215233 SOS 160147 HAS SOPS 150951 HAS SOUS 82312 HAS SOUPS 80307 WITH SCORE 80467.147
AT ITER 103 NEW BEST:: SOT 215233 SOS 159839 HAS SOPS 150643 HAS SOUS 82196 HAS SOUPS 80191 WITH SCORE 80350.839
AT ITER 110 NEW BEST:: SOT 215233 SOS 159639 HAS SOPS 150343 HAS SOUS 82146 HAS SOUPS 80091 WITH SCORE 80250.639
AT ITER 111 NEW BEST:: SOT 215196 SOS 159521 HAS SOPS 150312 HAS SOUS 81991 HAS SOUPS 80004 WITH SCORE 80163.521
AT ITER 112 NEW BEST:: SOT 215196 SOS 159391 HAS SOPS 150182 HAS SOUS 81977 HAS SOUPS 79990 WITH SCORE 80149.391
AT ITER 113 NEW BEST:: SOT 215180 SOS 159011 HAS SOPS 149786 HAS SOUS 81963 HAS SOUPS 79876 WITH SCORE 80035.011
AT ITER 114 NEW BEST:: SOT 215180 SOS 158985 HAS SOPS 149760 HAS SOUS 81962 HAS SOUPS 79875 WITH SCORE 80033.985
AT ITER 125 NEW BEST:: SOT 215252 SOS 158407 HAS SOPS 149182 HAS SOUS 81851 HAS SOUPS 79764 WITH SCORE 79922.407
AT ITER 132 NEW BEST:: SOT 215252 SOS 158407 HAS SOPS 149182 HAS SOUS 81842 HAS SOUPS 79755 WITH SCORE 79913.407
AT ITER 133 NEW BEST:: SOT 215252 SOS 158417 HAS SOPS 149192 HAS SOUS 81827 HAS SOUPS 79745 WITH SCORE 79903.417
AT ITER 135 NEW BEST:: SOT 215252 SOS 158387 HAS SOPS 149162 HAS SOUS 81806 HAS SOUPS 79724 WITH SCORE 79882.387
AT ITER 161 NEW BEST:: SOT 215252 SOS 158027 HAS SOPS 148802 HAS SOUS 81796 HAS SOUPS 79714 WITH SCORE 79872.027
AT ITER 175 NEW BEST:: SOT 215291 SOS 158136 HAS SOPS 148915 HAS SOUS 81754 HAS SOUPS 79672 WITH SCORE 79830.136
AT ITER 176 NEW BEST:: SOT 215281 SOS 157904 HAS SOPS 148573 HAS SOUS 81744 HAS SOUPS 79606 WITH SCORE 79763.904
AT ITER 179 NEW BEST:: SOT 215321 SOS 157703 HAS SOPS 148323 HAS SOUS 81495 HAS SOUPS 79357 WITH SCORE 79514.703
AT ITER 182 NEW BEST:: SOT 215321 SOS 157683 HAS SOPS 148303 HAS SOUS 81495 HAS SOUPS 79357 WITH SCORE 79514.683
AT ITER 185 NEW BEST:: SOT 215321 SOS 157509 HAS SOPS 148129 HAS SOUS 81460 HAS SOUPS 79322 WITH SCORE 79479.509
AT ITER 210 NEW BEST:: SOT 215347 SOS 157535 HAS SOPS 148139 HAS SOUS 81450 HAS SOUPS 79312 WITH SCORE 79469.535
AT ITER 211 NEW BEST:: SOT 215347 SOS 157057 HAS SOPS 147525 HAS SOUS 81275 HAS SOUPS 79069 WITH SCORE 79226.057
AT ITER 214 NEW BEST:: SOT 215441 SOS 157021 HAS SOPS 147593 HAS SOUS 81134 HAS SOUPS 78980 WITH SCORE 79137.021
AT ITER 224 NEW BEST:: SOT 215441 SOS 157049 HAS SOPS 147621 HAS SOUS 81078 HAS SOUPS 78924 WITH SCORE 79081.049
AT ITER 240 NEW BEST:: SOT 215441 SOS 157045 HAS SOPS 147617 HAS SOUS 81076 HAS SOUPS 78922 WITH SCORE 79079.045
AT ITER 241 NEW BEST:: SOT 215463 SOS 156558 HAS SOPS 147130 HAS SOUS 80713 HAS SOUPS 78559 WITH SCORE 78715.558
AT ITER 248 NEW BEST:: SOT 215463 SOS 156834 HAS SOPS 147292 HAS SOUS 80599 HAS SOUPS 78445 WITH SCORE 78601.834
AT ITER 250 NEW BEST:: SOT 215495 SOS 156634 HAS SOPS 147092 HAS SOUS 80515 HAS SOUPS 78361 WITH SCORE 78517.634
AT ITER 259 NEW BEST:: SOT 215495 SOS 156660 HAS SOPS 147118 HAS SOUS 80476 HAS SOUPS 78322 WITH SCORE 78478.66
AT ITER 262 NEW BEST:: SOT 215726 SOS 150198 HAS SOPS 143483 HAS SOUS 80212 HAS SOUPS 78269 WITH SCORE 78419.198
AT ITER 265 NEW BEST:: SOT 215726 SOS 150187 HAS SOPS 143450 HAS SOUS 80212 HAS SOUPS 78258 WITH SCORE 78408.187
AT ITER 266 NEW BEST:: SOT 215726 SOS 150039 HAS SOPS 143302 HAS SOUS 80138 HAS SOUPS 78184 WITH SCORE 78334.039
AT ITER 273 NEW BEST:: SOT 215726 SOS 149693 HAS SOPS 142956 HAS SOUS 79918 HAS SOUPS 77964 WITH SCORE 78113.693
AT ITER 274 NEW BEST:: SOT 215722 SOS 149547 HAS SOPS 142806 HAS SOUS 79837 HAS SOUPS 77883 WITH SCORE 78032.547
AT ITER 276 NEW BEST:: SOT 214798 SOS 148623 HAS SOPS 141982 HAS SOUS 79181 HAS SOUPS 77287 WITH SCORE 77435.623
AT ITER 277 NEW BEST:: SOT 214798 SOS 145524 HAS SOPS 140019 HAS SOUS 79025 HAS SOUPS 77202 WITH SCORE 77347.524
AT ITER 279 NEW BEST:: SOT 214805 SOS 145307 HAS SOPS 139776 HAS SOUS 78954 HAS SOUPS 77117 WITH SCORE 77262.307
AT ITER 283 NEW BEST:: SOT 214789 SOS 145291 HAS SOPS 139744 HAS SOUS 78923 HAS SOUPS 77085 WITH SCORE 77230.291
AT ITER 295 NEW BEST:: SOT 214767 SOS 145269 HAS SOPS 139590 HAS SOUS 78910 HAS SOUPS 76940 WITH SCORE 77085.269
AT ITER 296 NEW BEST:: SOT 214767 SOS 145197 HAS SOPS 139586 HAS SOUS 78834 HAS SOUPS 76898 WITH SCORE 77043.197
AT ITER 297 NEW BEST:: SOT 214767 SOS 144997 HAS SOPS 139054 HAS SOUS 78897 HAS SOUPS 76795 WITH SCORE 76939.997
AT ITER 299 NEW BEST:: SOT 214771 SOS 145005 HAS SOPS 139066 HAS SOUS 78893 HAS SOUPS 76791 WITH SCORE 76936.005
AT ITER 300 NEW BEST:: SOT 214771 SOS 145005 HAS SOPS 139066 HAS SOUS 78876 HAS SOUPS 76774 WITH SCORE 76919.005
AT ITER 302 NEW BEST:: SOT 214685 SOS 144885 HAS SOPS 138894 HAS SOUS 78704 HAS SOUPS 76602 WITH SCORE 76746.885
AT ITER 305 NEW BEST:: SOT 214679 SOS 144876 HAS SOPS 138882 HAS SOUS 78704 HAS SOUPS 76602 WITH SCORE 76746.876
AT ITER 308 NEW BEST:: SOT 214705 SOS 144588 HAS SOPS 138433 HAS SOUS 78642 HAS SOUPS 76445 WITH SCORE 76589.588
AT ITER 309 NEW BEST:: SOT 214705 SOS 144920 HAS SOPS 138765 HAS SOUS 78481 HAS SOUPS 76284 WITH SCORE 76428.92
AT ITER 310 NEW BEST:: SOT 214705 SOS 144678 HAS SOPS 138523 HAS SOUS 78470 HAS SOUPS 76273 WITH SCORE 76417.678
AT ITER 321 NEW BEST:: SOT 214691 SOS 144664 HAS SOPS 138495 HAS SOUS 78452 HAS SOUPS 76245 WITH SCORE 76389.664
AT ITER 324 NEW BEST:: SOT 214691 SOS 144582 HAS SOPS 138413 HAS SOUS 78411 HAS SOUPS 76204 WITH SCORE 76348.582
AT ITER 325 NEW BEST:: SOT 214691 SOS 143836 HAS SOPS 137667 HAS SOUS 78132 HAS SOUPS 75925 WITH SCORE 76068.836
AT ITER 329 NEW BEST:: SOT 214817 SOS 143857 HAS SOPS 137596 HAS SOUS 78077 HAS SOUPS 75870 WITH SCORE 76013.857
AT ITER 340 NEW BEST:: SOT 214817 SOS 143551 HAS SOPS 137290 HAS SOUS 77583 HAS SOUPS 75376 WITH SCORE 75519.551
AT ITER 342 NEW BEST:: SOT 214817 SOS 143878 HAS SOPS 137617 HAS SOUS 77574 HAS SOUPS 75367 WITH SCORE 75510.878
AT ITER 343 NEW BEST:: SOT 214817 SOS 143858 HAS SOPS 137597 HAS SOUS 77567 HAS SOUPS 75360 WITH SCORE 75503.858
AT ITER 345 NEW BEST:: SOT 214834 SOS 143851 HAS SOPS 137566 HAS SOUS 77536 HAS SOUPS 75329 WITH SCORE 75472.851
AT ITER 347 NEW BEST:: SOT 214834 SOS 143773 HAS SOPS 137424 HAS SOUS 77569 HAS SOUPS 75320 WITH SCORE 75463.773
AT ITER 348 NEW BEST:: SOT 214834 SOS 143691 HAS SOPS 137450 HAS SOUS 77250 HAS SOUPS 75001 WITH SCORE 75144.691
AT ITER 352 NEW BEST:: SOT 214834 SOS 143695 HAS SOPS 137454 HAS SOUS 77144 HAS SOUPS 74895 WITH SCORE 75038.695
AT ITER 357 NEW BEST:: SOT 214834 SOS 143695 HAS SOPS 137454 HAS SOUS 76649 HAS SOUPS 74400 WITH SCORE 74543.695
AT ITER 359 NEW BEST:: SOT 214834 SOS 143629 HAS SOPS 137388 HAS SOUS 76616 HAS SOUPS 74367 WITH SCORE 74510.629
AT ITER 361 NEW BEST:: SOT 214834 SOS 143532 HAS SOPS 137291 HAS SOUS 76599 HAS SOUPS 74350 WITH SCORE 74493.532
AT ITER 363 NEW BEST:: SOT 214834 SOS 143301 HAS SOPS 137060 HAS SOUS 76451 HAS SOUPS 74202 WITH SCORE 74345.301
AT ITER 365 NEW BEST:: SOT 215290 SOS 142677 HAS SOPS 136436 HAS SOUS 75910 HAS SOUPS 73661 WITH SCORE 73803.677
AT ITER 368 NEW BEST:: SOT 215290 SOS 142389 HAS SOPS 136148 HAS SOUS 74844 HAS SOUPS 72595 WITH SCORE 72737.389
AT ITER 370 NEW BEST:: SOT 215254 SOS 142251 HAS SOPS 136111 HAS SOUS 74717 HAS SOUPS 72468 WITH SCORE 72610.251
AT ITER 375 NEW BEST:: SOT 215218 SOS 142349 HAS SOPS 136173 HAS SOUS 74431 HAS SOUPS 72182 WITH SCORE 72324.349
AT ITER 378 NEW BEST:: SOT 215232 SOS 142093 HAS SOPS 135885 HAS SOUS 74254 HAS SOUPS 72005 WITH SCORE 72147.093
AT ITER 380 NEW BEST:: SOT 215235 SOS 142096 HAS SOPS 135876 HAS SOUS 74245 HAS SOUPS 71996 WITH SCORE 72138.096
AT ITER 381 NEW BEST:: SOT 215235 SOS 141877 HAS SOPS 135657 HAS SOUS 74201 HAS SOUPS 71952 WITH SCORE 72093.877
AT ITER 392 NEW BEST:: SOT 215235 SOS 141365 HAS SOPS 135254 HAS SOUS 73375 HAS SOUPS 71126 WITH SCORE 71267.365
AT ITER 395 NEW BEST:: SOT 215331 SOS 141489 HAS SOPS 135418 HAS SOUS 73371 HAS SOUPS 71122 WITH SCORE 71263.489
AT ITER 398 NEW BEST:: SOT 215315 SOS 141478 HAS SOPS 135416 HAS SOUS 73369 HAS SOUPS 71120 WITH SCORE 71261.478
AT ITER 400 NEW BEST:: SOT 215315 SOS 141406 HAS SOPS 135344 HAS SOUS 73265 HAS SOUPS 71016 WITH SCORE 71157.406
AT ITER 406 NEW BEST:: SOT 215315 SOS 138452 HAS SOPS 133473 HAS SOUS 71743 HAS SOUPS 69584 WITH SCORE 69722.452
AT ITER 407 NEW BEST:: SOT 215315 SOS 138452 HAS SOPS 133407 HAS SOUS 71725 HAS SOUPS 69533 WITH SCORE 69671.452
AT ITER 411 NEW BEST:: SOT 215315 SOS 138404 HAS SOPS 133359 HAS SOUS 71713 HAS SOUPS 69521 WITH SCORE 69659.404
AT ITER 413 NEW BEST:: SOT 215315 SOS 138290 HAS SOPS 133245 HAS SOUS 71675 HAS SOUPS 69483 WITH SCORE 69621.29
AT ITER 415 NEW BEST:: SOT 215315 SOS 138190 HAS SOPS 133055 HAS SOUS 71670 HAS SOUPS 69433 WITH SCORE 69571.19
AT ITER 416 NEW BEST:: SOT 215315 SOS 138190 HAS SOPS 133055 HAS SOUS 71606 HAS SOUPS 69369 WITH SCORE 69507.19
AT ITER 427 NEW BEST:: SOT 215299 SOS 138158 HAS SOPS 133023 HAS SOUS 71606 HAS SOUPS 69369 WITH SCORE 69507.158
AT ITER 428 NEW BEST:: SOT 215299 SOS 137576 HAS SOPS 132441 HAS SOUS 71423 HAS SOUPS 69186 WITH SCORE 69323.576
AT ITER 434 NEW BEST:: SOT 215299 SOS 136382 HAS SOPS 131247 HAS SOUS 70907 HAS SOUPS 68670 WITH SCORE 68806.382
AT ITER 435 NEW BEST:: SOT 215299 SOS 135774 HAS SOPS 130639 HAS SOUS 70743 HAS SOUPS 68506 WITH SCORE 68641.774
AT ITER 439 NEW BEST:: SOT 215299 SOS 135720 HAS SOPS 130585 HAS SOUS 70671 HAS SOUPS 68434 WITH SCORE 68569.72
AT ITER 443 NEW BEST:: SOT 215299 SOS 135698 HAS SOPS 130563 HAS SOUS 70660 HAS SOUPS 68423 WITH SCORE 68558.698
AT ITER 446 NEW BEST:: SOT 215385 SOS 135671 HAS SOPS 130536 HAS SOUS 70625 HAS SOUPS 68388 WITH SCORE 68523.671
AT ITER 451 NEW BEST:: SOT 215641 SOS 135847 HAS SOPS 130776 HAS SOUS 69851 HAS SOUPS 67614 WITH SCORE 67749.847
AT ITER 457 NEW BEST:: SOT 215641 SOS 135613 HAS SOPS 130542 HAS SOUS 69639 HAS SOUPS 67402 WITH SCORE 67537.613
AT ITER 459 NEW BEST:: SOT 215641 SOS 135611 HAS SOPS 130540 HAS SOUS 69637 HAS SOUPS 67400 WITH SCORE 67535.611
AT ITER 460 NEW BEST:: SOT 216216 SOS 134125 HAS SOPS 128965 HAS SOUS 69095 HAS SOUPS 66858 WITH SCORE 66992.125
AT ITER 464 NEW BEST:: SOT 216268 SOS 133825 HAS SOPS 128862 HAS SOUS 68248 HAS SOUPS 66138 WITH SCORE 66271.825
AT ITER 472 NEW BEST:: SOT 216268 SOS 133711 HAS SOPS 128748 HAS SOUS 68215 HAS SOUPS 66105 WITH SCORE 66238.711
AT ITER 481 NEW BEST:: SOT 216268 SOS 133482 HAS SOPS 128519 HAS SOUS 68102 HAS SOUPS 65992 WITH SCORE 66125.482
AT ITER 483 NEW BEST:: SOT 216173 SOS 132916 HAS SOPS 127949 HAS SOUS 67781 HAS SOUPS 65671 WITH SCORE 65803.916
AT ITER 484 NEW BEST:: SOT 216173 SOS 132878 HAS SOPS 127911 HAS SOUS 67778 HAS SOUPS 65668 WITH SCORE 65800.878
AT ITER 485 NEW BEST:: SOT 216177 SOS 132875 HAS SOPS 127865 HAS SOUS 67711 HAS SOUPS 65595 WITH SCORE 65727.875
AT ITER 495 NEW BEST:: SOT 216289 SOS 132879 HAS SOPS 127869 HAS SOUS 67604 HAS SOUPS 65488 WITH SCORE 65620.879
AT ITER 499 NEW BEST:: SOT 216542 SOS 132380 HAS SOPS 127343 HAS SOUS 66792 HAS SOUPS 64676 WITH SCORE 64808.38
AT ITER 504 NEW BEST:: SOT 216542 SOS 132188 HAS SOPS 127151 HAS SOUS 66744 HAS SOUPS 64628 WITH SCORE 64760.188
AT ITER 505 NEW BEST:: SOT 216538 SOS 132184 HAS SOPS 127147 HAS SOUS 66740 HAS SOUPS 64624 WITH SCORE 64756.184
AT ITER 506 NEW BEST:: SOT 216448 SOS 131689 HAS SOPS 126562 HAS SOUS 66658 HAS SOUPS 64542 WITH SCORE 64673.689
AT ITER 508 NEW BEST:: SOT 216203 SOS 131467 HAS SOPS 126357 HAS SOUS 66557 HAS SOUPS 64441 WITH SCORE 64572.467
AT ITER 511 NEW BEST:: SOT 216191 SOS 131449 HAS SOPS 126327 HAS SOUS 66527 HAS SOUPS 64411 WITH SCORE 64542.449
AT ITER 514 NEW BEST:: SOT 216202 SOS 131316 HAS SOPS 126175 HAS SOUS 66324 HAS SOUPS 64208 WITH SCORE 64339.316
AT ITER 516 NEW BEST:: SOT 216143 SOS 131501 HAS SOPS 126539 HAS SOUS 66195 HAS SOUPS 64165 WITH SCORE 64296.501
AT ITER 531 NEW BEST:: SOT 216143 SOS 131386 HAS SOPS 126424 HAS SOUS 66178 HAS SOUPS 64148 WITH SCORE 64279.386
AT ITER 532 NEW BEST:: SOT 216201 SOS 131416 HAS SOPS 126414 HAS SOUS 66078 HAS SOUPS 64048 WITH SCORE 64179.416
AT ITER 533 NEW BEST:: SOT 216201 SOS 131278 HAS SOPS 126322 HAS SOUS 66009 HAS SOUPS 64002 WITH SCORE 64133.278
AT ITER 537 NEW BEST:: SOT 216201 SOS 131048 HAS SOPS 126092 HAS SOUS 65996 HAS SOUPS 63989 WITH SCORE 64120.048
AT ITER 538 NEW BEST:: SOT 216201 SOS 130626 HAS SOPS 125670 HAS SOUS 65895 HAS SOUPS 63888 WITH SCORE 64018.626
AT ITER 546 NEW BEST:: SOT 216019 SOS 130587 HAS SOPS 125784 HAS SOUS 65789 HAS SOUPS 63864 WITH SCORE 63994.587
AT ITER 549 NEW BEST:: SOT 216019 SOS 130785 HAS SOPS 125982 HAS SOUS 65764 HAS SOUPS 63839 WITH SCORE 63969.785
AT ITER 556 NEW BEST:: SOT 216069 SOS 130581 HAS SOPS 125778 HAS SOUS 65716 HAS SOUPS 63791 WITH SCORE 63921.581
AT ITER 563 NEW BEST:: SOT 216069 SOS 130565 HAS SOPS 125762 HAS SOUS 65700 HAS SOUPS 63775 WITH SCORE 63905.565
AT ITER 564 NEW BEST:: SOT 216069 SOS 130323 HAS SOPS 125520 HAS SOUS 65700 HAS SOUPS 63775 WITH SCORE 63905.323
AT ITER 566 NEW BEST:: SOT 216069 SOS 130306 HAS SOPS 125503 HAS SOUS 65496 HAS SOUPS 63571 WITH SCORE 63701.306
AT ITER 567 NEW BEST:: SOT 216041 SOS 130278 HAS SOPS 125461 HAS SOUS 65482 HAS SOUPS 63557 WITH SCORE 63687.278
AT ITER 568 NEW BEST:: SOT 216041 SOS 130218 HAS SOPS 125401 HAS SOUS 65480 HAS SOUPS 63555 WITH SCORE 63685.218
AT ITER 576 NEW BEST:: SOT 216041 SOS 130218 HAS SOPS 125458 HAS SOUS 65476 HAS SOUPS 63551 WITH SCORE 63681.218
AT ITER 581 NEW BEST:: SOT 216041 SOS 130072 HAS SOPS 125325 HAS SOUS 65420 HAS SOUPS 63495 WITH SCORE 63625.072
AT ITER 582 NEW BEST:: SOT 216056 SOS 130279 HAS SOPS 125532 HAS SOUS 65406 HAS SOUPS 63481 WITH SCORE 63611.279
AT ITER 590 NEW BEST:: SOT 215978 SOS 130201 HAS SOPS 125440 HAS SOUS 65316 HAS SOUPS 63391 WITH SCORE 63521.201
AT ITER 601 NEW BEST:: SOT 215978 SOS 130145 HAS SOPS 125398 HAS SOUS 65302 HAS SOUPS 63377 WITH SCORE 63507.145
AT ITER 613 NEW BEST:: SOT 216056 SOS 130008 HAS SOPS 125271 HAS SOUS 65275 HAS SOUPS 63350 WITH SCORE 63480.008
AT ITER 617 NEW BEST:: SOT 216043 SOS 129995 HAS SOPS 125240 HAS SOUS 65234 HAS SOUPS 63303 WITH SCORE 63432.995
AT ITER 625 NEW BEST:: SOT 217271 SOS 130813 HAS SOPS 126494 HAS SOUS 64849 HAS SOUPS 62982 WITH SCORE 63112.813
AT ITER 629 NEW BEST:: SOT 217271 SOS 130225 HAS SOPS 125906 HAS SOUS 64407 HAS SOUPS 62540 WITH SCORE 62670.225
AT ITER 635 NEW BEST:: SOT 222420 SOS 134910 HAS SOPS 131041 HAS SOUS 63708 HAS SOUPS 61860 WITH SCORE 61994.91
AT ITER 636 NEW BEST:: SOT 222420 SOS 134904 HAS SOPS 131035 HAS SOUS 63705 HAS SOUPS 61857 WITH SCORE 61991.904
AT ITER 639 NEW BEST:: SOT 222420 SOS 134836 HAS SOPS 130965 HAS SOUS 63689 HAS SOUPS 61841 WITH SCORE 61975.836
AT ITER 643 NEW BEST:: SOT 222423 SOS 134761 HAS SOPS 130890 HAS SOUS 63689 HAS SOUPS 61841 WITH SCORE 61975.761
AT ITER 650 NEW BEST:: SOT 222423 SOS 134739 HAS SOPS 130868 HAS SOUS 63670 HAS SOUPS 61822 WITH SCORE 61956.739
AT ITER 653 NEW BEST:: SOT 222423 SOS 134703 HAS SOPS 130832 HAS SOUS 63645 HAS SOUPS 61797 WITH SCORE 61931.703
AT ITER 657 NEW BEST:: SOT 222423 SOS 134676 HAS SOPS 130805 HAS SOUS 63624 HAS SOUPS 61776 WITH SCORE 61910.676
AT ITER 659 NEW BEST:: SOT 222423 SOS 134588 HAS SOPS 130591 HAS SOUS 63643 HAS SOUPS 61732 WITH SCORE 61866.588
AT ITER 668 NEW BEST:: SOT 222423 SOS 133904 HAS SOPS 129907 HAS SOUS 63444 HAS SOUPS 61533 WITH SCORE 61666.904
AT ITER 670 NEW BEST:: SOT 222423 SOS 133836 HAS SOPS 129873 HAS SOUS 63393 HAS SOUPS 61499 WITH SCORE 61632.836
AT ITER 677 NEW BEST:: SOT 222423 SOS 133774 HAS SOPS 129811 HAS SOUS 63386 HAS SOUPS 61492 WITH SCORE 61625.774
AT ITER 684 NEW BEST:: SOT 222435 SOS 133199 HAS SOPS 129631 HAS SOUS 63072 HAS SOUPS 61391 WITH SCORE 61524.199
AT ITER 686 NEW BEST:: SOT 222435 SOS 133161 HAS SOPS 129593 HAS SOUS 63053 HAS SOUPS 61372 WITH SCORE 61505.161
AT ITER 687 NEW BEST:: SOT 222435 SOS 132911 HAS SOPS 129343 HAS SOUS 63034 HAS SOUPS 61353 WITH SCORE 61485.911
AT ITER 690 NEW BEST:: SOT 222435 SOS 132841 HAS SOPS 129273 HAS SOUS 63009 HAS SOUPS 61328 WITH SCORE 61460.841
AT ITER 694 NEW BEST:: SOT 222435 SOS 132573 HAS SOPS 129185 HAS SOUS 62841 HAS SOUPS 61250 WITH SCORE 61382.573
AT ITER 705 NEW BEST:: SOT 222435 SOS 132535 HAS SOPS 129147 HAS SOUS 62839 HAS SOUPS 61248 WITH SCORE 61380.535
AT ITER 713 NEW BEST:: SOT 222435 SOS 132425 HAS SOPS 128971 HAS SOUS 62871 HAS SOUPS 61232 WITH SCORE 61364.425
AT ITER 717 NEW BEST:: SOT 222435 SOS 132317 HAS SOPS 128863 HAS SOUS 62824 HAS SOUPS 61185 WITH SCORE 61317.317
AT ITER 721 NEW BEST:: SOT 222435 SOS 132329 HAS SOPS 128875 HAS SOUS 62818 HAS SOUPS 61179 WITH SCORE 61311.329
AT ITER 729 NEW BEST:: SOT 222990 SOS 132829 HAS SOPS 129402 HAS SOUS 62546 HAS SOUPS 60907 WITH SCORE 61039.829
AT ITER 733 NEW BEST:: SOT 222119 SOS 132075 HAS SOPS 128590 HAS SOUS 61777 HAS SOUPS 60122 WITH SCORE 60254.075
AT ITER 737 NEW BEST:: SOT 222119 SOS 132033 HAS SOPS 128548 HAS SOUS 61756 HAS SOUPS 60101 WITH SCORE 60233.033
AT ITER 742 NEW BEST:: SOT 222131 SOS 132204 HAS SOPS 128460 HAS SOUS 61863 HAS SOUPS 60063 WITH SCORE 60195.204
AT ITER 745 NEW BEST:: SOT 222057 SOS 131888 HAS SOPS 128144 HAS SOUS 61807 HAS SOUPS 60007 WITH SCORE 60138.888
AT ITER 755 NEW BEST:: SOT 222030 SOS 131800 HAS SOPS 128056 HAS SOUS 61675 HAS SOUPS 59875 WITH SCORE 60006.8
AT ITER 759 NEW BEST:: SOT 222028 SOS 131798 HAS SOPS 128033 HAS SOUS 61673 HAS SOUPS 59852 WITH SCORE 59983.798
AT ITER 760 NEW BEST:: SOT 222124 SOS 131924 HAS SOPS 128199 HAS SOUS 61623 HAS SOUPS 59802 WITH SCORE 59933.924
AT ITER 768 NEW BEST:: SOT 204886 SOS 117048 HAS SOPS 111423 HAS SOUS 61358 HAS SOUPS 59657 WITH SCORE 59774.048
AT ITER 771 NEW BEST:: SOT 204809 SOS 116958 HAS SOPS 111270 HAS SOUS 61351 HAS SOUPS 59650 WITH SCORE 59766.958
AT ITER 775 NEW BEST:: SOT 204785 SOS 116934 HAS SOPS 111228 HAS SOUS 61315 HAS SOUPS 59614 WITH SCORE 59730.934
AT ITER 777 NEW BEST:: SOT 204785 SOS 117166 HAS SOPS 111460 HAS SOUS 61187 HAS SOUPS 59486 WITH SCORE 59603.166
AT ITER 781 NEW BEST:: SOT 204785 SOS 116854 HAS SOPS 111148 HAS SOUS 61147 HAS SOUPS 59446 WITH SCORE 59562.854
AT ITER 785 NEW BEST:: SOT 204775 SOS 116519 HAS SOPS 110803 HAS SOUS 61074 HAS SOUPS 59373 WITH SCORE 59489.519
AT ITER 808 NEW BEST:: SOT 204775 SOS 116549 HAS SOPS 110833 HAS SOUS 61059 HAS SOUPS 59358 WITH SCORE 59474.549
AT ITER 812 NEW BEST:: SOT 204775 SOS 116547 HAS SOPS 110833 HAS SOUS 61051 HAS SOUPS 59351 WITH SCORE 59467.547
AT ITER 813 NEW BEST:: SOT 204810 SOS 116467 HAS SOPS 110620 HAS SOUS 60955 HAS SOUPS 59204 WITH SCORE 59320.467
AT ITER 817 NEW BEST:: SOT 204810 SOS 116111 HAS SOPS 110192 HAS SOUS 60938 HAS SOUPS 59151 WITH SCORE 59267.111
AT ITER 819 NEW BEST:: SOT 204810 SOS 116201 HAS SOPS 110282 HAS SOUS 60913 HAS SOUPS 59126 WITH SCORE 59242.201
AT ITER 826 NEW BEST:: SOT 204810 SOS 116245 HAS SOPS 110326 HAS SOUS 60902 HAS SOUPS 59115 WITH SCORE 59231.245
AT ITER 831 NEW BEST:: SOT 204752 SOS 116171 HAS SOPS 110250 HAS SOUS 60843 HAS SOUPS 59056 WITH SCORE 59172.171
AT ITER 837 NEW BEST:: SOT 204701 SOS 115995 HAS SOPS 109931 HAS SOUS 60819 HAS SOUPS 58977 WITH SCORE 59092.995
AT ITER 839 NEW BEST:: SOT 204701 SOS 115939 HAS SOPS 109875 HAS SOUS 60819 HAS SOUPS 58977 WITH SCORE 59092.939
AT ITER 845 NEW BEST:: SOT 204701 SOS 115917 HAS SOPS 109853 HAS SOUS 60797 HAS SOUPS 58955 WITH SCORE 59070.917
AT ITER 855 NEW BEST:: SOT 204751 SOS 115842 HAS SOPS 109771 HAS SOUS 60688 HAS SOUPS 58846 WITH SCORE 58961.842
AT ITER 867 NEW BEST:: SOT 204702 SOS 115959 HAS SOPS 109934 HAS SOUS 60617 HAS SOUPS 58775 WITH SCORE 58890.959
AT ITER 875 NEW BEST:: SOT 204702 SOS 115927 HAS SOPS 109902 HAS SOUS 60601 HAS SOUPS 58759 WITH SCORE 58874.927
AT ITER 876 NEW BEST:: SOT 204702 SOS 115927 HAS SOPS 109902 HAS SOUS 60584 HAS SOUPS 58742 WITH SCORE 58857.927
AT ITER 878 NEW BEST:: SOT 205054 SOS 116279 HAS SOPS 110264 HAS SOUS 60566 HAS SOUPS 58724 WITH SCORE 58840.279
AT ITER 888 NEW BEST:: SOT 205008 SOS 116217 HAS SOPS 110202 HAS SOUS 60525 HAS SOUPS 58683 WITH SCORE 58799.217
AT ITER 895 NEW BEST:: SOT 205008 SOS 116145 HAS SOPS 110166 HAS SOUS 60489 HAS SOUPS 58665 WITH SCORE 58781.145
AT ITER 898 NEW BEST:: SOT 205008 SOS 115899 HAS SOPS 109920 HAS SOUS 60371 HAS SOUPS 58547 WITH SCORE 58662.899
AT ITER 902 NEW BEST:: SOT 205008 SOS 115575 HAS SOPS 109596 HAS SOUS 60278 HAS SOUPS 58454 WITH SCORE 58569.575
AT ITER 904 NEW BEST:: SOT 205007 SOS 115444 HAS SOPS 109464 HAS SOUS 60243 HAS SOUPS 58419 WITH SCORE 58534.444
AT ITER 919 NEW BEST:: SOT 205007 SOS 115432 HAS SOPS 109452 HAS SOUS 60242 HAS SOUPS 58418 WITH SCORE 58533.432
AT ITER 921 NEW BEST:: SOT 205007 SOS 115138 HAS SOPS 109432 HAS SOUS 60095 HAS SOUPS 58408 WITH SCORE 58523.138
AT ITER 922 NEW BEST:: SOT 205007 SOS 114984 HAS SOPS 109180 HAS SOUS 60119 HAS SOUPS 58383 WITH SCORE 58497.984
AT ITER 930 NEW BEST:: SOT 205073 SOS 115023 HAS SOPS 109208 HAS SOUS 59901 HAS SOUPS 58165 WITH SCORE 58280.023
AT ITER 931 NEW BEST:: SOT 205074 SOS 115017 HAS SOPS 109195 HAS SOUS 59892 HAS SOUPS 58156 WITH SCORE 58271.017
AT ITER 936 NEW BEST:: SOT 205074 SOS 114757 HAS SOPS 108935 HAS SOUS 59827 HAS SOUPS 58091 WITH SCORE 58205.757
AT ITER 938 NEW BEST:: SOT 205074 SOS 112455 HAS SOPS 106633 HAS SOUS 59663 HAS SOUPS 57927 WITH SCORE 58039.455
AT ITER 965 NEW BEST:: SOT 205074 SOS 112265 HAS SOPS 106569 HAS SOUS 59561 HAS SOUPS 57888 WITH SCORE 58000.265
AT ITER 966 NEW BEST:: SOT 205074 SOS 112307 HAS SOPS 106545 HAS SOUS 59582 HAS SOUPS 57876 WITH SCORE 57988.307
AT ITER 970 NEW BEST:: SOT 205126 SOS 112370 HAS SOPS 106636 HAS SOUS 59564 HAS SOUPS 57858 WITH SCORE 57970.37
AT ITER 974 NEW BEST:: SOT 205130 SOS 112465 HAS SOPS 106719 HAS SOUS 59548 HAS SOUPS 57842 WITH SCORE 57954.465
AT ITER 985 NEW BEST:: SOT 205043 SOS 112370 HAS SOPS 106602 HAS SOUS 59459 HAS SOUPS 57753 WITH SCORE 57865.37
AT ITER 988 NEW BEST:: SOT 205043 SOS 112344 HAS SOPS 106602 HAS SOUS 59446 HAS SOUPS 57753 WITH SCORE 57865.344
AT ITER 989 NEW BEST:: SOT 205041 SOS 112342 HAS SOPS 106600 HAS SOUS 59444 HAS SOUPS 57751 WITH SCORE 57863.342
AT ITER 992 NEW BEST:: SOT 205119 SOS 112285 HAS SOPS 106589 HAS SOUS 59433 HAS SOUPS 57740 WITH SCORE 57852.285
AT ITER 993 NEW BEST:: SOT 205115 SOS 112246 HAS SOPS 106439 HAS SOUS 59359 HAS SOUPS 57618 WITH SCORE 57730.246
AT ITER 996 NEW BEST:: SOT 205115 SOS 112116 HAS SOPS 106309 HAS SOUS 59323 HAS SOUPS 57582 WITH SCORE 57694.116
AT ITER 998 NEW BEST:: SOT 205130 SOS 111728 HAS SOPS 105896 HAS SOUS 59237 HAS SOUPS 57496 WITH SCORE 57607.728
AT ITER 1000 NEW BEST:: SOT 206307 SOS 112757 HAS SOPS 106887 HAS SOUS 58736 HAS SOUPS 56995 WITH SCORE 57107.757
AT ITER 1002 NEW BEST:: SOT 206320 SOS 112770 HAS SOPS 106838 HAS SOUS 58749 HAS SOUPS 56946 WITH SCORE 57058.77
AT ITER 1008 NEW BEST:: SOT 206320 SOS 112592 HAS SOPS 106778 HAS SOUS 58660 HAS SOUPS 56916 WITH SCORE 57028.592
AT ITER 1010 NEW BEST:: SOT 206315 SOS 112560 HAS SOPS 106679 HAS SOUS 58478 HAS SOUPS 56734 WITH SCORE 56846.56
AT ITER 1012 NEW BEST:: SOT 206315 SOS 112542 HAS SOPS 106661 HAS SOUS 58478 HAS SOUPS 56734 WITH SCORE 56846.542
AT ITER 1016 NEW BEST:: SOT 206315 SOS 111878 HAS SOPS 105997 HAS SOUS 58312 HAS SOUPS 56568 WITH SCORE 56679.878
AT ITER 1023 NEW BEST:: SOT 206239 SOS 111802 HAS SOPS 105813 HAS SOUS 58328 HAS SOUPS 56552 WITH SCORE 56663.802
AT ITER 1028 NEW BEST:: SOT 206241 SOS 111674 HAS SOPS 105461 HAS SOUS 58268 HAS SOUPS 56379 WITH SCORE 56490.674
AT ITER 1045 NEW BEST:: SOT 206214 SOS 111791 HAS SOPS 105382 HAS SOUS 58313 HAS SOUPS 56326 WITH SCORE 56437.791
AT ITER 1048 NEW BEST:: SOT 206214 SOS 111697 HAS SOPS 105288 HAS SOUS 58313 HAS SOUPS 56326 WITH SCORE 56437.697
AT ITER 1050 NEW BEST:: SOT 206214 SOS 111675 HAS SOPS 105266 HAS SOUS 58292 HAS SOUPS 56305 WITH SCORE 56416.675
AT ITER 1057 NEW BEST:: SOT 206214 SOS 111675 HAS SOPS 105242 HAS SOUS 58292 HAS SOUPS 56293 WITH SCORE 56404.675
AT ITER 1061 NEW BEST:: SOT 206179 SOS 111626 HAS SOPS 105163 HAS SOUS 58241 HAS SOUPS 56242 WITH SCORE 56353.626
AT ITER 1063 NEW BEST:: SOT 206179 SOS 111771 HAS SOPS 105308 HAS SOUS 58180 HAS SOUPS 56181 WITH SCORE 56292.771
AT ITER 1066 NEW BEST:: SOT 206159 SOS 111783 HAS SOPS 105372 HAS SOUS 58076 HAS SOUPS 56077 WITH SCORE 56188.783
AT ITER 1068 NEW BEST:: SOT 206159 SOS 111711 HAS SOPS 105300 HAS SOUS 57986 HAS SOUPS 55987 WITH SCORE 56098.711
AT ITER 1086 NEW BEST:: SOT 205107 SOS 110642 HAS SOPS 104214 HAS SOUS 56842 HAS SOUPS 54843 WITH SCORE 54953.642
AT ITER 1098 NEW BEST:: SOT 205075 SOS 110610 HAS SOPS 104166 HAS SOUS 56826 HAS SOUPS 54827 WITH SCORE 54937.61
AT ITER 1108 NEW BEST:: SOT 205075 SOS 110630 HAS SOPS 104168 HAS SOUS 56834 HAS SOUPS 54826 WITH SCORE 54936.63
AT ITER 1124 NEW BEST:: SOT 206086 SOS 111614 HAS SOPS 105163 HAS SOUS 56783 HAS SOUPS 54775 WITH SCORE 54886.614
AT ITER 1129 NEW BEST:: SOT 206035 SOS 111473 HAS SOPS 105022 HAS SOUS 56767 HAS SOUPS 54759 WITH SCORE 54870.473
AT ITER 1160 NEW BEST:: SOT 206035 SOS 111467 HAS SOPS 105016 HAS SOUS 56764 HAS SOUPS 54756 WITH SCORE 54867.467
AT ITER 1168 NEW BEST:: SOT 206125 SOS 111237 HAS SOPS 104636 HAS SOUS 56714 HAS SOUPS 54706 WITH SCORE 54817.237
AT ITER 1177 NEW BEST:: SOT 206125 SOS 111231 HAS SOPS 104624 HAS SOUS 56708 HAS SOUPS 54700 WITH SCORE 54811.231
AT ITER 1179 NEW BEST:: SOT 206048 SOS 111153 HAS SOPS 104515 HAS SOUS 56594 HAS SOUPS 54586 WITH SCORE 54697.153
AT ITER 1183 NEW BEST:: SOT 206042 SOS 111017 HAS SOPS 104308 HAS SOUS 56551 HAS SOUPS 54509 WITH SCORE 54620.017
AT ITER 1185 NEW BEST:: SOT 206137 SOS 110482 HAS SOPS 103673 HAS SOUS 56389 HAS SOUPS 54347 WITH SCORE 54457.482
AT ITER 1199 NEW BEST:: SOT 206137 SOS 110476 HAS SOPS 103667 HAS SOUS 56385 HAS SOUPS 54343 WITH SCORE 54453.476
AT ITER 1202 NEW BEST:: SOT 206122 SOS 110448 HAS SOPS 103624 HAS SOUS 56342 HAS SOUPS 54300 WITH SCORE 54410.448
AT ITER 1205 NEW BEST:: SOT 206251 SOS 110018 HAS SOPS 103085 HAS SOUS 56233 HAS SOUPS 54191 WITH SCORE 54301.018
AT ITER 1208 NEW BEST:: SOT 206203 SOS 109976 HAS SOPS 102995 HAS SOUS 56021 HAS SOUPS 53979 WITH SCORE 54088.976
AT ITER 1214 NEW BEST:: SOT 206203 SOS 109954 HAS SOPS 102973 HAS SOUS 55991 HAS SOUPS 53949 WITH SCORE 54058.954
AT ITER 1216 NEW BEST:: SOT 206203 SOS 109926 HAS SOPS 102945 HAS SOUS 55963 HAS SOUPS 53921 WITH SCORE 54030.926
AT ITER 1217 NEW BEST:: SOT 206203 SOS 109842 HAS SOPS 102861 HAS SOUS 55921 HAS SOUPS 53879 WITH SCORE 53988.842
AT ITER 1223 NEW BEST:: SOT 206203 SOS 109842 HAS SOPS 102861 HAS SOUS 55911 HAS SOUPS 53869 WITH SCORE 53978.842
AT ITER 1241 NEW BEST:: SOT 206203 SOS 109742 HAS SOPS 102761 HAS SOUS 55894 HAS SOUPS 53852 WITH SCORE 53961.742
AT ITER 1247 NEW BEST:: SOT 206203 SOS 109700 HAS SOPS 102719 HAS SOUS 55880 HAS SOUPS 53838 WITH SCORE 53947.7
AT ITER 1259 NEW BEST:: SOT 206195 SOS 109680 HAS SOPS 102745 HAS SOUS 55848 HAS SOUPS 53806 WITH SCORE 53915.68
AT ITER 1271 NEW BEST:: SOT 206109 SOS 109602 HAS SOPS 102654 HAS SOUS 55805 HAS SOUPS 53763 WITH SCORE 53872.602
AT ITER 1277 NEW BEST:: SOT 206109 SOS 109520 HAS SOPS 102572 HAS SOUS 55805 HAS SOUPS 53763 WITH SCORE 53872.52
AT ITER 1286 NEW BEST:: SOT 206109 SOS 109508 HAS SOPS 102560 HAS SOUS 55795 HAS SOUPS 53753 WITH SCORE 53862.508
AT ITER 1288 NEW BEST:: SOT 206163 SOS 109607 HAS SOPS 102637 HAS SOUS 55735 HAS SOUPS 53693 WITH SCORE 53802.607
AT ITER 1310 NEW BEST:: SOT 206163 SOS 109551 HAS SOPS 102581 HAS SOUS 55707 HAS SOUPS 53665 WITH SCORE 53774.551
AT ITER 1329 NEW BEST:: SOT 206163 SOS 109515 HAS SOPS 102545 HAS SOUS 55652 HAS SOUPS 53610 WITH SCORE 53719.515
AT ITER 1331 NEW BEST:: SOT 206163 SOS 109331 HAS SOPS 102361 HAS SOUS 55593 HAS SOUPS 53551 WITH SCORE 53660.331
AT ITER 1334 NEW BEST:: SOT 206163 SOS 109341 HAS SOPS 102371 HAS SOUS 55590 HAS SOUPS 53548 WITH SCORE 53657.341
AT ITER 1336 NEW BEST:: SOT 182209 SOS 104035 HAS SOPS 82664 HAS SOUS 54019 HAS SOUPS 51998 WITH SCORE 52102.035
AT ITER 1370 NEW BEST:: SOT 182485 SOS 104311 HAS SOPS 82336 HAS SOUS 53977 HAS SOUPS 51956 WITH SCORE 52060.311
AT ITER 1375 NEW BEST:: SOT 182554 SOS 104390 HAS SOPS 82463 HAS SOUS 53936 HAS SOUPS 51915 WITH SCORE 52019.39
AT ITER 1380 NEW BEST:: SOT 182434 SOS 104270 HAS SOPS 82407 HAS SOUS 53876 HAS SOUPS 51859 WITH SCORE 51963.27
AT ITER 1382 NEW BEST:: SOT 182313 SOS 104149 HAS SOPS 82416 HAS SOUS 53817 HAS SOUPS 51800 WITH SCORE 51904.149
AT ITER 1384 NEW BEST:: SOT 182321 SOS 104157 HAS SOPS 82394 HAS SOUS 53735 HAS SOUPS 51718 WITH SCORE 51822.157
AT ITER 1390 NEW BEST:: SOT 182704 SOS 104182 HAS SOPS 81852 HAS SOUS 53364 HAS SOUPS 51347 WITH SCORE 51451.182
AT ITER 1399 NEW BEST:: SOT 182639 SOS 104110 HAS SOPS 81751 HAS SOUS 53313 HAS SOUPS 51296 WITH SCORE 51400.11
AT ITER 1400 NEW BEST:: SOT 181058 SOS 102272 HAS SOPS 79913 HAS SOUS 51544 HAS SOUPS 49527 WITH SCORE 49629.272
AT ITER 1414 NEW BEST:: SOT 181005 SOS 102225 HAS SOPS 79866 HAS SOUS 51494 HAS SOUPS 49477 WITH SCORE 49579.225
AT ITER 1417 NEW BEST:: SOT 181005 SOS 102207 HAS SOPS 79854 HAS SOUS 51485 HAS SOUPS 49471 WITH SCORE 49573.207
AT ITER 1423 NEW BEST:: SOT 181005 SOS 102185 HAS SOPS 79832 HAS SOUS 51480 HAS SOUPS 49466 WITH SCORE 49568.185
AT ITER 1425 NEW BEST:: SOT 181128 SOS 102281 HAS SOPS 79563 HAS SOUS 51473 HAS SOUPS 49459 WITH SCORE 49561.281
AT ITER 1427 NEW BEST:: SOT 181124 SOS 102275 HAS SOPS 79557 HAS SOUS 51468 HAS SOUPS 49454 WITH SCORE 49556.275
AT ITER 1428 NEW BEST:: SOT 194853 SOS 98958 HAS SOPS 90458 HAS SOUS 45905 HAS SOUPS 44002 WITH SCORE 44100.958
AT ITER 1430 NEW BEST:: SOT 194853 SOS 98902 HAS SOPS 90402 HAS SOUS 45877 HAS SOUPS 43974 WITH SCORE 44072.902
AT ITER 1437 NEW BEST:: SOT 194853 SOS 98772 HAS SOPS 90272 HAS SOUS 45813 HAS SOUPS 43910 WITH SCORE 44008.772
AT ITER 1438 NEW BEST:: SOT 194853 SOS 98688 HAS SOPS 90188 HAS SOUS 45813 HAS SOUPS 43910 WITH SCORE 44008.688
AT ITER 1440 NEW BEST:: SOT 194853 SOS 99034 HAS SOPS 90534 HAS SOUS 45285 HAS SOUPS 43382 WITH SCORE 43481.034
AT ITER 1450 NEW BEST:: SOT 194851 SOS 99032 HAS SOPS 90532 HAS SOUS 45283 HAS SOUPS 43380 WITH SCORE 43479.032
AT ITER 1455 NEW BEST:: SOT 194851 SOS 98954 HAS SOPS 90454 HAS SOUS 45244 HAS SOUPS 43341 WITH SCORE 43439.954
AT ITER 1461 NEW BEST:: SOT 194851 SOS 98938 HAS SOPS 90454 HAS SOUS 45236 HAS SOUPS 43341 WITH SCORE 43439.938
AT ITER 1484 NEW BEST:: SOT 194851 SOS 98822 HAS SOPS 89971 HAS SOUS 44390 HAS SOUPS 42495 WITH SCORE 42593.822
AT ITER 1494 NEW BEST:: SOT 194910 SOS 98576 HAS SOPS 89034 HAS SOUS 44117 HAS SOUPS 42222 WITH SCORE 42320.576
AT ITER 1500 NEW BEST:: SOT 194914 SOS 98576 HAS SOPS 89034 HAS SOUS 44088 HAS SOUPS 42193 WITH SCORE 42291.576
AT ITER 1503 NEW BEST:: SOT 195861 SOS 99508 HAS SOPS 89561 HAS SOUS 43922 HAS SOUPS 42027 WITH SCORE 42126.508
AT ITER 1504 NEW BEST:: SOT 195861 SOS 99466 HAS SOPS 89519 HAS SOUS 43901 HAS SOUPS 42006 WITH SCORE 42105.466
AT ITER 1510 NEW BEST:: SOT 195861 SOS 99348 HAS SOPS 89401 HAS SOUS 43898 HAS SOUPS 42003 WITH SCORE 42102.348
AT ITER 1526 NEW BEST:: SOT 195861 SOS 99304 HAS SOPS 89399 HAS SOUS 43876 HAS SOUPS 42002 WITH SCORE 42101.304
AT ITER 1531 NEW BEST:: SOT 195786 SOS 99152 HAS SOPS 89172 HAS SOUS 43801 HAS SOUPS 41927 WITH SCORE 42026.152
AT ITER 1536 NEW BEST:: SOT 195786 SOS 99252 HAS SOPS 88640 HAS SOUS 42266 HAS SOUPS 40392 WITH SCORE 40491.252
AT ITER 1538 NEW BEST:: SOT 195786 SOS 99216 HAS SOPS 88604 HAS SOUS 42258 HAS SOUPS 40384 WITH SCORE 40483.216
AT ITER 1541 NEW BEST:: SOT 195786 SOS 99210 HAS SOPS 88598 HAS SOUS 42243 HAS SOUPS 40369 WITH SCORE 40468.21
AT ITER 1546 NEW BEST:: SOT 195786 SOS 99120 HAS SOPS 88508 HAS SOUS 42243 HAS SOUPS 40369 WITH SCORE 40468.12
AT ITER 1548 NEW BEST:: SOT 195786 SOS 99012 HAS SOPS 88400 HAS SOUS 42216 HAS SOUPS 40342 WITH SCORE 40441.012
AT ITER 1550 NEW BEST:: SOT 195786 SOS 98956 HAS SOPS 88344 HAS SOUS 42188 HAS SOUPS 40314 WITH SCORE 40412.956
AT ITER 1552 NEW BEST:: SOT 195786 SOS 98938 HAS SOPS 88326 HAS SOUS 42187 HAS SOUPS 40313 WITH SCORE 40411.938
AT ITER 1554 NEW BEST:: SOT 195786 SOS 98920 HAS SOPS 88308 HAS SOUS 42178 HAS SOUPS 40304 WITH SCORE 40402.92
AT ITER 1558 NEW BEST:: SOT 195786 SOS 98948 HAS SOPS 88308 HAS SOUS 42178 HAS SOUPS 40290 WITH SCORE 40388.948
AT ITER 1559 NEW BEST:: SOT 195786 SOS 98908 HAS SOPS 88268 HAS SOUS 42170 HAS SOUPS 40282 WITH SCORE 40380.908
AT ITER 1562 NEW BEST:: SOT 195786 SOS 98884 HAS SOPS 88244 HAS SOUS 42158 HAS SOUPS 40270 WITH SCORE 40368.884
AT ITER 1563 NEW BEST:: SOT 195782 SOS 98864 HAS SOPS 88243 HAS SOUS 42146 HAS SOUPS 40268 WITH SCORE 40366.864
AT ITER 1565 NEW BEST:: SOT 195747 SOS 98817 HAS SOPS 88196 HAS SOUS 42139 HAS SOUPS 40261 WITH SCORE 40359.817
AT ITER 1566 NEW BEST:: SOT 195756 SOS 98820 HAS SOPS 88131 HAS SOUS 42092 HAS SOUPS 40214 WITH SCORE 40312.82
AT ITER 1568 NEW BEST:: SOT 195756 SOS 98860 HAS SOPS 88171 HAS SOUS 42088 HAS SOUPS 40210 WITH SCORE 40308.86
AT ITER 1573 NEW BEST:: SOT 195756 SOS 98752 HAS SOPS 88063 HAS SOUS 42061 HAS SOUPS 40183 WITH SCORE 40281.752
AT ITER 1581 NEW BEST:: SOT 195756 SOS 98736 HAS SOPS 88047 HAS SOUS 42056 HAS SOUPS 40178 WITH SCORE 40276.736
AT ITER 1584 NEW BEST:: SOT 195756 SOS 98682 HAS SOPS 87965 HAS SOUS 42043 HAS SOUPS 40151 WITH SCORE 40249.682
AT ITER 1592 NEW BEST:: SOT 195756 SOS 98648 HAS SOPS 87965 HAS SOUS 42009 HAS SOUPS 40134 WITH SCORE 40232.648
AT ITER 1597 NEW BEST:: SOT 195756 SOS 98644 HAS SOPS 87961 HAS SOUS 42009 HAS SOUPS 40134 WITH SCORE 40232.644
AT ITER 1611 NEW BEST:: SOT 195756 SOS 98576 HAS SOPS 87893 HAS SOUS 42008 HAS SOUPS 40133 WITH SCORE 40231.576
AT ITER 1645 NEW BEST:: SOT 195756 SOS 98520 HAS SOPS 87837 HAS SOUS 41980 HAS SOUPS 40105 WITH SCORE 40203.52
AT ITER 1653 NEW BEST:: SOT 195609 SOS 98364 HAS SOPS 87514 HAS SOUS 41662 HAS SOUPS 39786 WITH SCORE 39884.364
AT ITER 1675 NEW BEST:: SOT 195609 SOS 98278 HAS SOPS 87428 HAS SOUS 41641 HAS SOUPS 39765 WITH SCORE 39863.278
AT ITER 1676 NEW BEST:: SOT 195609 SOS 98234 HAS SOPS 87362 HAS SOUS 41630 HAS SOUPS 39743 WITH SCORE 39841.234
AT ITER 1694 NEW BEST:: SOT 195624 SOS 98117 HAS SOPS 87195 HAS SOUS 41561 HAS SOUPS 39674 WITH SCORE 39772.117
AT ITER 1700 NEW BEST:: SOT 195624 SOS 97917 HAS SOPS 86995 HAS SOUS 41528 HAS SOUPS 39641 WITH SCORE 39738.917
AT ITER 1703 NEW BEST:: SOT 195623 SOS 97916 HAS SOPS 86993 HAS SOUS 41526 HAS SOUPS 39639 WITH SCORE 39736.916
AT ITER 1706 NEW BEST:: SOT 195621 SOS 97914 HAS SOPS 86991 HAS SOUS 41522 HAS SOUPS 39635 WITH SCORE 39732.914
AT ITER 1740 NEW BEST:: SOT 195621 SOS 97934 HAS SOPS 87011 HAS SOUS 41521 HAS SOUPS 39634 WITH SCORE 39731.934
AT ITER 1748 NEW BEST:: SOT 195621 SOS 97864 HAS SOPS 86941 HAS SOUS 41519 HAS SOUPS 39632 WITH SCORE 39729.864
AT ITER 1756 NEW BEST:: SOT 195621 SOS 97788 HAS SOPS 86729 HAS SOUS 41568 HAS SOUPS 39613 WITH SCORE 39710.788
AT ITER 1794 NEW BEST:: SOT 195318 SOS 97229 HAS SOPS 85968 HAS SOUS 41388 HAS SOUPS 39433 WITH SCORE 39530.229
AT ITER 1803 NEW BEST:: SOT 195351 SOS 97298 HAS SOPS 86037 HAS SOUS 41379 HAS SOUPS 39424 WITH SCORE 39521.298
AT ITER 1808 NEW BEST:: SOT 195351 SOS 97316 HAS SOPS 86143 HAS SOUS 41309 HAS SOUPS 39398 WITH SCORE 39495.316
AT ITER 1815 NEW BEST:: SOT 195336 SOS 97331 HAS SOPS 86158 HAS SOUS 41303 HAS SOUPS 39392 WITH SCORE 39489.331
AT ITER 1832 NEW BEST:: SOT 195385 SOS 97219 HAS SOPS 85997 HAS SOUS 41216 HAS SOUPS 39305 WITH SCORE 39402.219
AT ITER 1835 NEW BEST:: SOT 195385 SOS 97229 HAS SOPS 86007 HAS SOUS 41212 HAS SOUPS 39301 WITH SCORE 39398.229
AT ITER 1844 NEW BEST:: SOT 195385 SOS 97253 HAS SOPS 86031 HAS SOUS 41209 HAS SOUPS 39298 WITH SCORE 39395.253
AT ITER 1856 NEW BEST:: SOT 195498 SOS 97298 HAS SOPS 85995 HAS SOUS 41163 HAS SOUPS 39255 WITH SCORE 39352.298
AT ITER 1862 NEW BEST:: SOT 195498 SOS 97292 HAS SOPS 85989 HAS SOUS 41160 HAS SOUPS 39252 WITH SCORE 39349.292
AT ITER 1872 NEW BEST:: SOT 195486 SOS 97280 HAS SOPS 85955 HAS SOUS 41129 HAS SOUPS 39218 WITH SCORE 39315.28
AT ITER 1875 NEW BEST:: SOT 195486 SOS 97302 HAS SOPS 85977 HAS SOUS 41114 HAS SOUPS 39203 WITH SCORE 39300.302
AT ITER 1881 NEW BEST:: SOT 195486 SOS 97216 HAS SOPS 85891 HAS SOUS 41096 HAS SOUPS 39185 WITH SCORE 39282.216
AT ITER 1894 NEW BEST:: SOT 195486 SOS 97072 HAS SOPS 85747 HAS SOUS 41080 HAS SOUPS 39169 WITH SCORE 39266.072
AT ITER 1895 NEW BEST:: SOT 195486 SOS 97012 HAS SOPS 85687 HAS SOUS 41063 HAS SOUPS 39152 WITH SCORE 39249.012
AT ITER 1897 NEW BEST:: SOT 195486 SOS 97050 HAS SOPS 85725 HAS SOUS 41060 HAS SOUPS 39149 WITH SCORE 39246.05
AT ITER 1898 NEW BEST:: SOT 195550 SOS 97114 HAS SOPS 85789 HAS SOUS 41056 HAS SOUPS 39145 WITH SCORE 39242.114
AT ITER 1901 NEW BEST:: SOT 195550 SOS 97330 HAS SOPS 86005 HAS SOUS 40923 HAS SOUPS 39012 WITH SCORE 39109.33
AT ITER 1904 NEW BEST:: SOT 195550 SOS 97448 HAS SOPS 86123 HAS SOUS 40902 HAS SOUPS 38991 WITH SCORE 39088.448
AT ITER 1905 NEW BEST:: SOT 195550 SOS 97432 HAS SOPS 86107 HAS SOUS 40894 HAS SOUPS 38983 WITH SCORE 39080.432
AT ITER 1914 NEW BEST:: SOT 195550 SOS 97416 HAS SOPS 86091 HAS SOUS 40886 HAS SOUPS 38975 WITH SCORE 39072.416
AT ITER 1921 NEW BEST:: SOT 195550 SOS 97396 HAS SOPS 86071 HAS SOUS 40860 HAS SOUPS 38949 WITH SCORE 39046.396
AT ITER 1926 NEW BEST:: SOT 195550 SOS 97378 HAS SOPS 86053 HAS SOUS 40839 HAS SOUPS 38928 WITH SCORE 39025.378
AT ITER 1935 NEW BEST:: SOT 195546 SOS 97374 HAS SOPS 86017 HAS SOUS 40805 HAS SOUPS 38894 WITH SCORE 38991.374
AT ITER 1944 NEW BEST:: SOT 195546 SOS 97356 HAS SOPS 85999 HAS SOUS 40743 HAS SOUPS 38832 WITH SCORE 38929.356
AT ITER 1951 NEW BEST:: SOT 195546 SOS 97282 HAS SOPS 85925 HAS SOUS 40728 HAS SOUPS 38817 WITH SCORE 38914.282
AT ITER 1969 NEW BEST:: SOT 195546 SOS 97262 HAS SOPS 85905 HAS SOUS 40709 HAS SOUPS 38798 WITH SCORE 38895.262
AT ITER 1991 NEW BEST:: SOT 195546 SOS 97258 HAS SOPS 85901 HAS SOUS 40673 HAS SOUPS 38762 WITH SCORE 38859.258
AT ITER 1992 NEW BEST:: SOT 195531 SOS 97218 HAS SOPS 85826 HAS SOUS 40570 HAS SOUPS 38659 WITH SCORE 38756.218
AT ITER 1993 NEW BEST:: SOT 195531 SOS 97208 HAS SOPS 85816 HAS SOUS 40565 HAS SOUPS 38654 WITH SCORE 38751.208
AT ITER 2006 NEW BEST:: SOT 195531 SOS 97124 HAS SOPS 85648 HAS SOUS 40565 HAS SOUPS 38612 WITH SCORE 38709.124
AT ITER 2015 NEW BEST:: SOT 195531 SOS 97108 HAS SOPS 85632 HAS SOUS 40557 HAS SOUPS 38604 WITH SCORE 38701.108
AT ITER 2018 NEW BEST:: SOT 195531 SOS 97096 HAS SOPS 85620 HAS SOUS 40557 HAS SOUPS 38604 WITH SCORE 38701.096
AT ITER 2023 NEW BEST:: SOT 195531 SOS 97056 HAS SOPS 85580 HAS SOUS 40547 HAS SOUPS 38594 WITH SCORE 38691.056
AT ITER 2031 NEW BEST:: SOT 195503 SOS 97028 HAS SOPS 85494 HAS SOUS 40461 HAS SOUPS 38508 WITH SCORE 38605.028
AT ITER 2036 NEW BEST:: SOT 195503 SOS 97016 HAS SOPS 85482 HAS SOUS 40455 HAS SOUPS 38502 WITH SCORE 38599.016
AT ITER 2041 NEW BEST:: SOT 195503 SOS 97006 HAS SOPS 85462 HAS SOUS 40455 HAS SOUPS 38497 WITH SCORE 38594.006
AT ITER 2053 NEW BEST:: SOT 195499 SOS 97002 HAS SOPS 85454 HAS SOUS 40447 HAS SOUPS 38489 WITH SCORE 38586.002
AT ITER 2054 NEW BEST:: SOT 195499 SOS 96990 HAS SOPS 85442 HAS SOUS 40444 HAS SOUPS 38486 WITH SCORE 38582.99
AT ITER 2056 NEW BEST:: SOT 195499 SOS 96990 HAS SOPS 85442 HAS SOUS 40376 HAS SOUPS 38418 WITH SCORE 38514.99
AT ITER 2060 NEW BEST:: SOT 195499 SOS 96976 HAS SOPS 85414 HAS SOUS 40376 HAS SOUPS 38411 WITH SCORE 38507.976
AT ITER 2085 NEW BEST:: SOT 195499 SOS 96958 HAS SOPS 85396 HAS SOUS 40367 HAS SOUPS 38402 WITH SCORE 38498.958
AT ITER 2089 NEW BEST:: SOT 195499 SOS 96876 HAS SOPS 85314 HAS SOUS 40326 HAS SOUPS 38361 WITH SCORE 38457.876
AT ITER 2098 NEW BEST:: SOT 195499 SOS 96788 HAS SOPS 85226 HAS SOUS 40313 HAS SOUPS 38348 WITH SCORE 38444.788
AT ITER 2099 NEW BEST:: SOT 195499 SOS 96766 HAS SOPS 85204 HAS SOUS 40302 HAS SOUPS 38337 WITH SCORE 38433.766
AT ITER 2107 NEW BEST:: SOT 195499 SOS 96334 HAS SOPS 84772 HAS SOUS 40299 HAS SOUPS 38334 WITH SCORE 38430.334
AT ITER 2118 NEW BEST:: SOT 195493 SOS 96328 HAS SOPS 84769 HAS SOUS 40296 HAS SOUPS 38331 WITH SCORE 38427.328
AT ITER 2127 NEW BEST:: SOT 195493 SOS 96346 HAS SOPS 84787 HAS SOUS 40247 HAS SOUPS 38282 WITH SCORE 38378.346
AT ITER 2132 NEW BEST:: SOT 195455 SOS 96249 HAS SOPS 84673 HAS SOUS 40156 HAS SOUPS 38191 WITH SCORE 38287.249
AT ITER 2144 NEW BEST:: SOT 195455 SOS 96359 HAS SOPS 84699 HAS SOUS 40177 HAS SOUPS 38170 WITH SCORE 38266.359
AT ITER 2160 NEW BEST:: SOT 195455 SOS 96341 HAS SOPS 84681 HAS SOUS 40159 HAS SOUPS 38152 WITH SCORE 38248.341
AT ITER 2169 NEW BEST:: SOT 195455 SOS 96119 HAS SOPS 84459 HAS SOUS 40126 HAS SOUPS 38119 WITH SCORE 38215.119
AT ITER 2176 NEW BEST:: SOT 195455 SOS 96157 HAS SOPS 84497 HAS SOUS 40097 HAS SOUPS 38090 WITH SCORE 38186.157
AT ITER 2185 NEW BEST:: SOT 195455 SOS 96097 HAS SOPS 84437 HAS SOUS 40097 HAS SOUPS 38090 WITH SCORE 38186.097
AT ITER 2195 NEW BEST:: SOT 195329 SOS 95971 HAS SOPS 84311 HAS SOUS 40051 HAS SOUPS 38044 WITH SCORE 38139.971
AT ITER 2210 NEW BEST:: SOT 195329 SOS 96045 HAS SOPS 84385 HAS SOUS 40050 HAS SOUPS 38043 WITH SCORE 38139.045
AT ITER 2213 NEW BEST:: SOT 195409 SOS 96125 HAS SOPS 84465 HAS SOUS 40030 HAS SOUPS 38023 WITH SCORE 38119.125
AT ITER 2218 NEW BEST:: SOT 195373 SOS 96089 HAS SOPS 84435 HAS SOUS 40000 HAS SOUPS 37993 WITH SCORE 38089.089
AT ITER 2219 NEW BEST:: SOT 195440 SOS 96106 HAS SOPS 84446 HAS SOUS 39988 HAS SOUPS 37981 WITH SCORE 38077.106
AT ITER 2229 NEW BEST:: SOT 195440 SOS 96098 HAS SOPS 84438 HAS SOUS 39986 HAS SOUPS 37979 WITH SCORE 38075.098
AT ITER 2231 NEW BEST:: SOT 195440 SOS 96048 HAS SOPS 84388 HAS SOUS 39986 HAS SOUPS 37979 WITH SCORE 38075.048
AT ITER 2233 NEW BEST:: SOT 195440 SOS 96020 HAS SOPS 84360 HAS SOUS 39943 HAS SOUPS 37936 WITH SCORE 38032.02
AT ITER 2236 NEW BEST:: SOT 195519 SOS 96147 HAS SOPS 84487 HAS SOUS 39886 HAS SOUPS 37879 WITH SCORE 37975.147
AT ITER 2248 NEW BEST:: SOT 195519 SOS 96029 HAS SOPS 84369 HAS SOUS 39886 HAS SOUPS 37879 WITH SCORE 37975.029
AT ITER 2272 NEW BEST:: SOT 195519 SOS 95929 HAS SOPS 84269 HAS SOUS 39822 HAS SOUPS 37815 WITH SCORE 37910.929
AT ITER 2279 NEW BEST:: SOT 195519 SOS 95737 HAS SOPS 84077 HAS SOUS 39758 HAS SOUPS 37751 WITH SCORE 37846.737
AT ITER 2282 NEW BEST:: SOT 195515 SOS 95733 HAS SOPS 84069 HAS SOUS 39726 HAS SOUPS 37719 WITH SCORE 37814.733
AT ITER 2284 NEW BEST:: SOT 195515 SOS 95637 HAS SOPS 83973 HAS SOUS 39678 HAS SOUPS 37671 WITH SCORE 37766.637
AT ITER 2290 NEW BEST:: SOT 195515 SOS 95527 HAS SOPS 83823 HAS SOUS 39676 HAS SOUPS 37649 WITH SCORE 37744.527
AT ITER 2291 NEW BEST:: SOT 195515 SOS 95385 HAS SOPS 83681 HAS SOUS 39641 HAS SOUPS 37614 WITH SCORE 37709.385
AT ITER 2312 NEW BEST:: SOT 195515 SOS 95367 HAS SOPS 83663 HAS SOUS 39636 HAS SOUPS 37609 WITH SCORE 37704.367
AT ITER 2317 NEW BEST:: SOT 195515 SOS 95359 HAS SOPS 83655 HAS SOUS 39632 HAS SOUPS 37605 WITH SCORE 37700.359
AT ITER 2322 NEW BEST:: SOT 195515 SOS 95321 HAS SOPS 83705 HAS SOUS 39569 HAS SOUPS 37586 WITH SCORE 37681.321
AT ITER 2325 NEW BEST:: SOT 195515 SOS 95307 HAS SOPS 83691 HAS SOUS 39562 HAS SOUPS 37579 WITH SCORE 37674.307
AT ITER 2333 NEW BEST:: SOT 195515 SOS 95287 HAS SOPS 83661 HAS SOUS 39562 HAS SOUPS 37574 WITH SCORE 37669.287
AT ITER 2335 NEW BEST:: SOT 195515 SOS 95287 HAS SOPS 83630 HAS SOUS 39502 HAS SOUPS 37514 WITH SCORE 37609.287
AT ITER 2342 NEW BEST:: SOT 195511 SOS 95283 HAS SOPS 83626 HAS SOUS 39498 HAS SOUPS 37510 WITH SCORE 37605.283
AT ITER 2347 NEW BEST:: SOT 195511 SOS 95105 HAS SOPS 83448 HAS SOUS 39498 HAS SOUPS 37510 WITH SCORE 37605.105
AT ITER 2357 NEW BEST:: SOT 195504 SOS 95098 HAS SOPS 83441 HAS SOUS 39491 HAS SOUPS 37503 WITH SCORE 37598.098
AT ITER 2363 NEW BEST:: SOT 195504 SOS 94906 HAS SOPS 83249 HAS SOUS 39395 HAS SOUPS 37407 WITH SCORE 37501.906
AT ITER 2383 NEW BEST:: SOT 195498 SOS 94887 HAS SOPS 83098 HAS SOUS 39252 HAS SOUPS 37261 WITH SCORE 37355.887
AT ITER 2389 NEW BEST:: SOT 195498 SOS 94837 HAS SOPS 83048 HAS SOUS 39242 HAS SOUPS 37251 WITH SCORE 37345.837
AT ITER 2397 NEW BEST:: SOT 195546 SOS 94885 HAS SOPS 83096 HAS SOUS 39236 HAS SOUPS 37245 WITH SCORE 37339.885
AT ITER 2398 NEW BEST:: SOT 195546 SOS 94885 HAS SOPS 83096 HAS SOUS 39218 HAS SOUPS 37227 WITH SCORE 37321.885
AT ITER 2417 NEW BEST:: SOT 195546 SOS 94787 HAS SOPS 82998 HAS SOUS 39169 HAS SOUPS 37178 WITH SCORE 37272.787
AT ITER 2427 NEW BEST:: SOT 195546 SOS 94729 HAS SOPS 82940 HAS SOUS 39140 HAS SOUPS 37149 WITH SCORE 37243.729
AT ITER 2432 NEW BEST:: SOT 195546 SOS 94747 HAS SOPS 82958 HAS SOUS 39113 HAS SOUPS 37122 WITH SCORE 37216.747
AT ITER 2448 NEW BEST:: SOT 195546 SOS 94613 HAS SOPS 82824 HAS SOUS 39093 HAS SOUPS 37102 WITH SCORE 37196.613
AT ITER 2449 NEW BEST:: SOT 195562 SOS 94765 HAS SOPS 82976 HAS SOUS 39015 HAS SOUPS 37024 WITH SCORE 37118.765
AT ITER 2450 NEW BEST:: SOT 195580 SOS 94783 HAS SOPS 82956 HAS SOUS 38995 HAS SOUPS 37004 WITH SCORE 37098.783
AT ITER 2454 NEW BEST:: SOT 195549 SOS 94748 HAS SOPS 82887 HAS SOUS 38964 HAS SOUPS 36973 WITH SCORE 37067.748
AT ITER 2461 NEW BEST:: SOT 195549 SOS 94700 HAS SOPS 82839 HAS SOUS 38939 HAS SOUPS 36948 WITH SCORE 37042.7
AT ITER 2464 NEW BEST:: SOT 195549 SOS 94484 HAS SOPS 82623 HAS SOUS 38919 HAS SOUPS 36928 WITH SCORE 37022.484
AT ITER 2483 NEW BEST:: SOT 195538 SOS 93687 HAS SOPS 81760 HAS SOUS 38838 HAS SOUPS 36847 WITH SCORE 36940.687
AT ITER 2488 NEW BEST:: SOT 195538 SOS 93635 HAS SOPS 81708 HAS SOUS 38825 HAS SOUPS 36834 WITH SCORE 36927.635
AT ITER 2490 NEW BEST:: SOT 195542 SOS 92875 HAS SOPS 80936 HAS SOUS 38719 HAS SOUPS 36728 WITH SCORE 36820.875
AT ITER 2498 NEW BEST:: SOT 195540 SOS 92873 HAS SOPS 80910 HAS SOUS 38693 HAS SOUPS 36702 WITH SCORE 36794.873
AT ITER 2499 NEW BEST:: SOT 195540 SOS 92937 HAS SOPS 80974 HAS SOUS 38578 HAS SOUPS 36587 WITH SCORE 36679.937
AT ITER 2548 NEW BEST:: SOT 195540 SOS 92889 HAS SOPS 80926 HAS SOUS 38570 HAS SOUPS 36579 WITH SCORE 36671.889
AT ITER 2555 NEW BEST:: SOT 195690 SOS 92973 HAS SOPS 80390 HAS SOUS 38546 HAS SOUPS 36555 WITH SCORE 36647.973
AT ITER 2561 NEW BEST:: SOT 195840 SOS 93123 HAS SOPS 80366 HAS SOUS 38510 HAS SOUPS 36519 WITH SCORE 36612.123
AT ITER 2567 NEW BEST:: SOT 195840 SOS 93141 HAS SOPS 80384 HAS SOUS 38503 HAS SOUPS 36512 WITH SCORE 36605.141
AT ITER 2568 NEW BEST:: SOT 195808 SOS 93109 HAS SOPS 80350 HAS SOUS 38483 HAS SOUPS 36492 WITH SCORE 36585.109
AT ITER 2573 NEW BEST:: SOT 195808 SOS 92859 HAS SOPS 80100 HAS SOUS 38409 HAS SOUPS 36418 WITH SCORE 36510.859
AT ITER 2593 NEW BEST:: SOT 195808 SOS 92859 HAS SOPS 80090 HAS SOUS 38399 HAS SOUPS 36408 WITH SCORE 36500.859
AT ITER 2650 NEW BEST:: SOT 195794 SOS 92845 HAS SOPS 80086 HAS SOUS 38389 HAS SOUPS 36398 WITH SCORE 36490.845
AT ITER 2652 NEW BEST:: SOT 195794 SOS 92819 HAS SOPS 80060 HAS SOUS 38376 HAS SOUPS 36385 WITH SCORE 36477.819
AT ITER 2656 NEW BEST:: SOT 195794 SOS 92799 HAS SOPS 80040 HAS SOUS 38366 HAS SOUPS 36375 WITH SCORE 36467.799
AT ITER 2665 NEW BEST:: SOT 195794 SOS 92739 HAS SOPS 79980 HAS SOUS 38351 HAS SOUPS 36360 WITH SCORE 36452.739
AT ITER 2671 NEW BEST:: SOT 195794 SOS 92635 HAS SOPS 79876 HAS SOUS 38336 HAS SOUPS 36345 WITH SCORE 36437.635
AT ITER 2685 NEW BEST:: SOT 195766 SOS 92607 HAS SOPS 79820 HAS SOUS 38326 HAS SOUPS 36335 WITH SCORE 36427.607
AT ITER 2697 NEW BEST:: SOT 195828 SOS 92669 HAS SOPS 79816 HAS SOUS 38268 HAS SOUPS 36277 WITH SCORE 36369.669
AT ITER 2700 NEW BEST:: SOT 195828 SOS 92647 HAS SOPS 79810 HAS SOUS 38257 HAS SOUPS 36274 WITH SCORE 36366.647
AT ITER 2701 NEW BEST:: SOT 195798 SOS 92617 HAS SOPS 79780 HAS SOUS 38217 HAS SOUPS 36234 WITH SCORE 36326.617
AT ITER 2713 NEW BEST:: SOT 195798 SOS 92605 HAS SOPS 79768 HAS SOUS 38217 HAS SOUPS 36234 WITH SCORE 36326.605
AT ITER 2718 NEW BEST:: SOT 195798 SOS 92625 HAS SOPS 79788 HAS SOUS 38191 HAS SOUPS 36208 WITH SCORE 36300.625
AT ITER 2724 NEW BEST:: SOT 195784 SOS 92611 HAS SOPS 79732 HAS SOUS 38177 HAS SOUPS 36194 WITH SCORE 36286.611
AT ITER 2733 NEW BEST:: SOT 195784 SOS 92577 HAS SOPS 79698 HAS SOUS 38160 HAS SOUPS 36177 WITH SCORE 36269.577
AT ITER 2736 NEW BEST:: SOT 195756 SOS 92549 HAS SOPS 79670 HAS SOUS 38130 HAS SOUPS 36147 WITH SCORE 36239.549
AT ITER 2746 NEW BEST:: SOT 195756 SOS 92419 HAS SOPS 79540 HAS SOUS 38065 HAS SOUPS 36082 WITH SCORE 36174.419
AT ITER 2768 NEW BEST:: SOT 195756 SOS 92401 HAS SOPS 79522 HAS SOUS 38056 HAS SOUPS 36073 WITH SCORE 36165.401
AT ITER 2771 NEW BEST:: SOT 195828 SOS 92473 HAS SOPS 79534 HAS SOUS 38012 HAS SOUPS 36029 WITH SCORE 36121.473
AT ITER 2772 NEW BEST:: SOT 195812 SOS 92457 HAS SOPS 79518 HAS SOUS 37996 HAS SOUPS 36013 WITH SCORE 36105.457
AT ITER 2803 NEW BEST:: SOT 195812 SOS 92409 HAS SOPS 79470 HAS SOUS 37996 HAS SOUPS 36013 WITH SCORE 36105.409
AT ITER 2808 NEW BEST:: SOT 195812 SOS 92375 HAS SOPS 79436 HAS SOUS 37979 HAS SOUPS 35996 WITH SCORE 36088.375
AT ITER 2823 NEW BEST:: SOT 195812 SOS 92361 HAS SOPS 79422 HAS SOUS 37972 HAS SOUPS 35989 WITH SCORE 36081.361
AT ITER 2836 NEW BEST:: SOT 195814 SOS 92257 HAS SOPS 79318 HAS SOUS 37921 HAS SOUPS 35938 WITH SCORE 36030.257
AT ITER 2837 NEW BEST:: SOT 195814 SOS 92253 HAS SOPS 79314 HAS SOUS 37919 HAS SOUPS 35936 WITH SCORE 36028.253
AT ITER 2839 NEW BEST:: SOT 195886 SOS 92315 HAS SOPS 78872 HAS SOUS 37853 HAS SOUPS 35870 WITH SCORE 35962.315
AT ITER 2844 NEW BEST:: SOT 195886 SOS 92347 HAS SOPS 78954 HAS SOUS 37826 HAS SOUPS 35868 WITH SCORE 35960.347
AT ITER 2854 NEW BEST:: SOT 195886 SOS 92271 HAS SOPS 78878 HAS SOUS 37816 HAS SOUPS 35858 WITH SCORE 35950.271
AT ITER 2861 NEW BEST:: SOT 195930 SOS 92315 HAS SOPS 78658 HAS SOUS 37774 HAS SOUPS 35816 WITH SCORE 35908.315
AT ITER 2863 NEW BEST:: SOT 195930 SOS 92303 HAS SOPS 78646 HAS SOUS 37768 HAS SOUPS 35810 WITH SCORE 35902.303
AT ITER 2864 NEW BEST:: SOT 195906 SOS 92215 HAS SOPS 78366 HAS SOUS 37728 HAS SOUPS 35770 WITH SCORE 35862.215
AT ITER 2871 NEW BEST:: SOT 195906 SOS 92041 HAS SOPS 78192 HAS SOUS 37698 HAS SOUPS 35740 WITH SCORE 35832.041
AT ITER 2888 NEW BEST:: SOT 195906 SOS 92150 HAS SOPS 78301 HAS SOUS 37681 HAS SOUPS 35723 WITH SCORE 35815.15
AT ITER 2891 NEW BEST:: SOT 195906 SOS 92100 HAS SOPS 78301 HAS SOUS 37656 HAS SOUPS 35723 WITH SCORE 35815.1
AT ITER 2903 NEW BEST:: SOT 195886 SOS 92080 HAS SOPS 78311 HAS SOUS 37626 HAS SOUPS 35693 WITH SCORE 35785.08
AT ITER 2914 NEW BEST:: SOT 195886 SOS 92078 HAS SOPS 78309 HAS SOUS 37625 HAS SOUPS 35692 WITH SCORE 35784.078
AT ITER 2917 NEW BEST:: SOT 195886 SOS 92022 HAS SOPS 78253 HAS SOUS 37610 HAS SOUPS 35677 WITH SCORE 35769.022
AT ITER 2931 NEW BEST:: SOT 196030 SOS 92166 HAS SOPS 78397 HAS SOUS 37596 HAS SOUPS 35663 WITH SCORE 35755.166
AT ITER 2943 NEW BEST:: SOT 196030 SOS 92166 HAS SOPS 78397 HAS SOUS 37524 HAS SOUPS 35591 WITH SCORE 35683.166
AT ITER 2944 NEW BEST:: SOT 196030 SOS 92048 HAS SOPS 78279 HAS SOUS 37524 HAS SOUPS 35591 WITH SCORE 35683.048
AT ITER 2958 NEW BEST:: SOT 196030 SOS 92012 HAS SOPS 78243 HAS SOUS 37519 HAS SOUPS 35586 WITH SCORE 35678.012
AT ITER 2973 NEW BEST:: SOT 196030 SOS 92010 HAS SOPS 78241 HAS SOUS 37517 HAS SOUPS 35584 WITH SCORE 35676.01
AT ITER 2975 NEW BEST:: SOT 196030 SOS 91934 HAS SOPS 78165 HAS SOUS 37479 HAS SOUPS 35546 WITH SCORE 35637.934
AT ITER 2999 NEW BEST:: SOT 196030 SOS 91912 HAS SOPS 78143 HAS SOUS 37479 HAS SOUPS 35546 WITH SCORE 35637.912
AT ITER 3030 NEW BEST:: SOT 196030 SOS 91734 HAS SOPS 77965 HAS SOUS 37438 HAS SOUPS 35505 WITH SCORE 35596.734
AT ITER 3073 NEW BEST:: SOT 196030 SOS 91722 HAS SOPS 77953 HAS SOUS 37438 HAS SOUPS 35505 WITH SCORE 35596.722
AT ITER 3076 NEW BEST:: SOT 196036 SOS 91728 HAS SOPS 77941 HAS SOUS 37426 HAS SOUPS 35493 WITH SCORE 35584.728
AT ITER 3084 NEW BEST:: SOT 196036 SOS 91538 HAS SOPS 77751 HAS SOUS 37425 HAS SOUPS 35492 WITH SCORE 35583.538
AT ITER 3115 NEW BEST:: SOT 196036 SOS 91526 HAS SOPS 77739 HAS SOUS 37421 HAS SOUPS 35488 WITH SCORE 35579.526
AT ITER 3118 NEW BEST:: SOT 196092 SOS 91501 HAS SOPS 77673 HAS SOUS 37419 HAS SOUPS 35486 WITH SCORE 35577.501
AT ITER 3127 NEW BEST:: SOT 196190 SOS 91525 HAS SOPS 77412 HAS SOUS 37351 HAS SOUPS 35406 WITH SCORE 35497.525
AT ITER 3136 NEW BEST:: SOT 196190 SOS 91195 HAS SOPS 77082 HAS SOUS 37300 HAS SOUPS 35355 WITH SCORE 35446.195
AT ITER 3153 NEW BEST:: SOT 196190 SOS 91195 HAS SOPS 77082 HAS SOUS 37291 HAS SOUPS 35346 WITH SCORE 35437.195
AT ITER 3171 NEW BEST:: SOT 196200 SOS 90701 HAS SOPS 76574 HAS SOUS 37190 HAS SOUPS 35245 WITH SCORE 35335.701
AT ITER 3181 NEW BEST:: SOT 196200 SOS 90769 HAS SOPS 76642 HAS SOUS 37182 HAS SOUPS 35237 WITH SCORE 35327.769
AT ITER 3198 NEW BEST:: SOT 196200 SOS 90695 HAS SOPS 76568 HAS SOUS 37086 HAS SOUPS 35141 WITH SCORE 35231.695
AT ITER 3203 NEW BEST:: SOT 196200 SOS 90689 HAS SOPS 76562 HAS SOUS 37086 HAS SOUPS 35141 WITH SCORE 35231.689
AT ITER 3214 NEW BEST:: SOT 196200 SOS 90607 HAS SOPS 76480 HAS SOUS 37067 HAS SOUPS 35122 WITH SCORE 35212.607
AT ITER 3216 NEW BEST:: SOT 196200 SOS 90675 HAS SOPS 76470 HAS SOUS 37101 HAS SOUPS 35117 WITH SCORE 35207.675
AT ITER 3221 NEW BEST:: SOT 196200 SOS 90617 HAS SOPS 76412 HAS SOUS 37087 HAS SOUPS 35103 WITH SCORE 35193.617
AT ITER 3262 NEW BEST:: SOT 196200 SOS 90427 HAS SOPS 76222 HAS SOUS 36895 HAS SOUPS 34911 WITH SCORE 35001.427
AT ITER 3268 NEW BEST:: SOT 196200 SOS 90383 HAS SOPS 76178 HAS SOUS 36873 HAS SOUPS 34889 WITH SCORE 34979.383
AT ITER 3276 NEW BEST:: SOT 196200 SOS 90389 HAS SOPS 76184 HAS SOUS 36866 HAS SOUPS 34882 WITH SCORE 34972.389
AT ITER 3296 NEW BEST:: SOT 196200 SOS 90385 HAS SOPS 76180 HAS SOUS 36866 HAS SOUPS 34882 WITH SCORE 34972.385
AT ITER 3316 NEW BEST:: SOT 196200 SOS 90383 HAS SOPS 76178 HAS SOUS 36865 HAS SOUPS 34881 WITH SCORE 34971.383
AT ITER 3340 NEW BEST:: SOT 196200 SOS 90381 HAS SOPS 76176 HAS SOUS 36864 HAS SOUPS 34880 WITH SCORE 34970.381
AT ITER 3356 NEW BEST:: SOT 196207 SOS 90388 HAS SOPS 76190 HAS SOUS 36797 HAS SOUPS 34813 WITH SCORE 34903.388
AT ITER 3393 NEW BEST:: SOT 196207 SOS 90344 HAS SOPS 76146 HAS SOUS 36775 HAS SOUPS 34791 WITH SCORE 34881.344
AT ITER 3420 NEW BEST:: SOT 196207 SOS 90302 HAS SOPS 76128 HAS SOUS 36754 HAS SOUPS 34782 WITH SCORE 34872.302
AT ITER 3438 NEW BEST:: SOT 196443 SOS 90538 HAS SOPS 76300 HAS SOUS 36722 HAS SOUPS 34750 WITH SCORE 34840.538
AT ITER 3448 NEW BEST:: SOT 196443 SOS 90458 HAS SOPS 76220 HAS SOUS 36717 HAS SOUPS 34745 WITH SCORE 34835.458
AT ITER 3457 NEW BEST:: SOT 196443 SOS 90296 HAS SOPS 76058 HAS SOUS 36717 HAS SOUPS 34745 WITH SCORE 34835.296
AT ITER 3512 NEW BEST:: SOT 196443 SOS 90296 HAS SOPS 76058 HAS SOUS 36716 HAS SOUPS 34744 WITH SCORE 34834.296
AT ITER 3520 NEW BEST:: SOT 196443 SOS 90478 HAS SOPS 76240 HAS SOUS 36675 HAS SOUPS 34703 WITH SCORE 34793.478
AT ITER 3544 NEW BEST:: SOT 196443 SOS 90482 HAS SOPS 76244 HAS SOUS 36674 HAS SOUPS 34702 WITH SCORE 34792.482
AT ITER 3559 NEW BEST:: SOT 196443 SOS 90438 HAS SOPS 76232 HAS SOUS 36652 HAS SOUPS 34696 WITH SCORE 34786.438
AT ITER 3568 NEW BEST:: SOT 196443 SOS 90418 HAS SOPS 76212 HAS SOUS 36652 HAS SOUPS 34696 WITH SCORE 34786.418
AT ITER 3585 NEW BEST:: SOT 196377 SOS 90346 HAS SOPS 76140 HAS SOUS 36583 HAS SOUPS 34627 WITH SCORE 34717.346
AT ITER 3591 NEW BEST:: SOT 196377 SOS 90340 HAS SOPS 76134 HAS SOUS 36579 HAS SOUPS 34623 WITH SCORE 34713.34
AT ITER 3592 NEW BEST:: SOT 196377 SOS 90336 HAS SOPS 76130 HAS SOUS 36575 HAS SOUPS 34619 WITH SCORE 34709.336
AT ITER 3598 NEW BEST:: SOT 196377 SOS 90336 HAS SOPS 76128 HAS SOUS 36573 HAS SOUPS 34617 WITH SCORE 34707.336
AT ITER 3610 NEW BEST:: SOT 196365 SOS 90324 HAS SOPS 76133 HAS SOUS 36561 HAS SOUPS 34605 WITH SCORE 34695.324
AT ITER 3628 NEW BEST:: SOT 196349 SOS 90308 HAS SOPS 76109 HAS SOUS 36537 HAS SOUPS 34581 WITH SCORE 34671.308
AT ITER 3640 NEW BEST:: SOT 196347 SOS 90306 HAS SOPS 76107 HAS SOUS 36535 HAS SOUPS 34579 WITH SCORE 34669.306
AT ITER 3644 NEW BEST:: SOT 196225 SOS 90184 HAS SOPS 75463 HAS SOUS 36327 HAS SOUPS 34371 WITH SCORE 34461.184
AT ITER 3659 NEW BEST:: SOT 196225 SOS 90164 HAS SOPS 75443 HAS SOUS 36322 HAS SOUPS 34366 WITH SCORE 34456.164
AT ITER 3661 NEW BEST:: SOT 196225 SOS 90132 HAS SOPS 75411 HAS SOUS 36318 HAS SOUPS 34362 WITH SCORE 34452.132
AT ITER 3669 NEW BEST:: SOT 196225 SOS 90252 HAS SOPS 75531 HAS SOUS 36245 HAS SOUPS 34289 WITH SCORE 34379.252
AT ITER 3677 NEW BEST:: SOT 196225 SOS 88310 HAS SOPS 73827 HAS SOUS 36126 HAS SOUPS 34289 WITH SCORE 34377.31
AT ITER 3714 NEW BEST:: SOT 196225 SOS 88302 HAS SOPS 73827 HAS SOUS 36118 HAS SOUPS 34285 WITH SCORE 34373.302
AT ITER 3715 NEW BEST:: SOT 196169 SOS 88257 HAS SOPS 74439 HAS SOUS 36114 HAS SOUPS 34281 WITH SCORE 34369.257
AT ITER 3718 NEW BEST:: SOT 196169 SOS 88111 HAS SOPS 74293 HAS SOUS 36098 HAS SOUPS 34265 WITH SCORE 34353.111
AT ITER 3731 NEW BEST:: SOT 196169 SOS 88107 HAS SOPS 74289 HAS SOUS 36096 HAS SOUPS 34263 WITH SCORE 34351.107
AT ITER 3750 NEW BEST:: SOT 196175 SOS 88113 HAS SOPS 74288 HAS SOUS 36079 HAS SOUPS 34246 WITH SCORE 34334.113
AT ITER 3757 NEW BEST:: SOT 196175 SOS 88099 HAS SOPS 74274 HAS SOUS 36072 HAS SOUPS 34239 WITH SCORE 34327.099
AT ITER 3771 NEW BEST:: SOT 196119 SOS 88043 HAS SOPS 74212 HAS SOUS 36010 HAS SOUPS 34177 WITH SCORE 34265.043
AT ITER 3783 NEW BEST:: SOT 196119 SOS 88043 HAS SOPS 74212 HAS SOUS 35985 HAS SOUPS 34152 WITH SCORE 34240.043
AT ITER 3792 NEW BEST:: SOT 195999 SOS 87923 HAS SOPS 74092 HAS SOUS 35985 HAS SOUPS 34152 WITH SCORE 34239.923
AT ITER 3812 NEW BEST:: SOT 195983 SOS 87907 HAS SOPS 74116 HAS SOUS 35969 HAS SOUPS 34136 WITH SCORE 34223.907
AT ITER 3817 NEW BEST:: SOT 195983 SOS 87913 HAS SOPS 74122 HAS SOUS 35947 HAS SOUPS 34114 WITH SCORE 34201.913
AT ITER 3831 NEW BEST:: SOT 195983 SOS 87889 HAS SOPS 74098 HAS SOUS 35935 HAS SOUPS 34102 WITH SCORE 34189.889
AT ITER 3855 NEW BEST:: SOT 195983 SOS 87929 HAS SOPS 74138 HAS SOUS 35924 HAS SOUPS 34091 WITH SCORE 34178.929
AT ITER 3889 NEW BEST:: SOT 195983 SOS 87657 HAS SOPS 74096 HAS SOUS 35792 HAS SOUPS 34074 WITH SCORE 34161.657
AT ITER 3902 NEW BEST:: SOT 195983 SOS 87640 HAS SOPS 74079 HAS SOUS 35755 HAS SOUPS 34037 WITH SCORE 34124.64
AT ITER 3916 NEW BEST:: SOT 195983 SOS 87456 HAS SOPS 73985 HAS SOUS 35663 HAS SOUPS 33990 WITH SCORE 34077.456
AT ITER 3927 NEW BEST:: SOT 195857 SOS 87330 HAS SOPS 73733 HAS SOUS 35411 HAS SOUPS 33738 WITH SCORE 33825.33
AT ITER 3953 NEW BEST:: SOT 195857 SOS 87330 HAS SOPS 73733 HAS SOUS 35377 HAS SOUPS 33704 WITH SCORE 33791.33
AT ITER 3955 NEW BEST:: SOT 195857 SOS 87262 HAS SOPS 73699 HAS SOUS 35343 HAS SOUPS 33687 WITH SCORE 33774.262
AT ITER 3966 NEW BEST:: SOT 195857 SOS 87332 HAS SOPS 73769 HAS SOUS 35341 HAS SOUPS 33685 WITH SCORE 33772.332
AT ITER 3976 NEW BEST:: SOT 195857 SOS 87332 HAS SOPS 73759 HAS SOUS 35329 HAS SOUPS 33673 WITH SCORE 33760.332
AT ITER 3983 NEW BEST:: SOT 195857 SOS 87242 HAS SOPS 73669 HAS SOUS 35329 HAS SOUPS 33673 WITH SCORE 33760.242
AT ITER 3995 NEW BEST:: SOT 195857 SOS 87190 HAS SOPS 73617 HAS SOUS 35308 HAS SOUPS 33652 WITH SCORE 33739.19
AT ITER 3999 NEW BEST:: SOT 195857 SOS 87152 HAS SOPS 73579 HAS SOUS 35289 HAS SOUPS 33633 WITH SCORE 33720.152
AT ITER 4006 NEW BEST:: SOT 195857 SOS 87198 HAS SOPS 73625 HAS SOUS 35288 HAS SOUPS 33632 WITH SCORE 33719.198
AT ITER 4062 NEW BEST:: SOT 195857 SOS 87224 HAS SOPS 73587 HAS SOUS 35294 HAS SOUPS 33574 WITH SCORE 33661.224
AT ITER 4064 NEW BEST:: SOT 192865 SOS 86215 HAS SOPS 70785 HAS SOUS 33127 HAS SOUPS 31455 WITH SCORE 31541.215
AT ITER 4072 NEW BEST:: SOT 192865 SOS 86215 HAS SOPS 70807 HAS SOUS 33105 HAS SOUPS 31433 WITH SCORE 31519.215
AT ITER 4089 NEW BEST:: SOT 192877 SOS 86227 HAS SOPS 70741 HAS SOUS 33087 HAS SOUPS 31415 WITH SCORE 31501.227
AT ITER 4094 NEW BEST:: SOT 192877 SOS 86117 HAS SOPS 70631 HAS SOUS 33081 HAS SOUPS 31409 WITH SCORE 31495.117
AT ITER 4106 NEW BEST:: SOT 192877 SOS 86227 HAS SOPS 70741 HAS SOUS 33046 HAS SOUPS 31374 WITH SCORE 31460.227
AT ITER 4122 NEW BEST:: SOT 192877 SOS 86289 HAS SOPS 70611 HAS SOUS 33077 HAS SOUPS 31309 WITH SCORE 31395.289
AT ITER 4137 NEW BEST:: SOT 192877 SOS 86229 HAS SOPS 70399 HAS SOUS 33047 HAS SOUPS 31203 WITH SCORE 31289.229
AT ITER 4173 NEW BEST:: SOT 192877 SOS 85961 HAS SOPS 70131 HAS SOUS 33040 HAS SOUPS 31196 WITH SCORE 31281.961
AT ITER 4176 NEW BEST:: SOT 192871 SOS 85955 HAS SOPS 70121 HAS SOUS 33034 HAS SOUPS 31190 WITH SCORE 31275.955
AT ITER 4187 NEW BEST:: SOT 192871 SOS 85871 HAS SOPS 70037 HAS SOUS 33013 HAS SOUPS 31169 WITH SCORE 31254.871
AT ITER 4191 NEW BEST:: SOT 192871 SOS 85895 HAS SOPS 70013 HAS SOUS 33025 HAS SOUPS 31157 WITH SCORE 31242.895
AT ITER 4195 NEW BEST:: SOT 192871 SOS 85813 HAS SOPS 69961 HAS SOUS 32984 HAS SOUPS 31131 WITH SCORE 31216.813
AT ITER 4198 NEW BEST:: SOT 192877 SOS 85819 HAS SOPS 69967 HAS SOUS 32982 HAS SOUPS 31129 WITH SCORE 31214.819
AT ITER 4200 NEW BEST:: SOT 192877 SOS 85761 HAS SOPS 69909 HAS SOUS 32982 HAS SOUPS 31129 WITH SCORE 31214.761
AT ITER 4212 NEW BEST:: SOT 192877 SOS 85711 HAS SOPS 69859 HAS SOUS 32981 HAS SOUPS 31128 WITH SCORE 31213.711
AT ITER 4213 NEW BEST:: SOT 192877 SOS 85685 HAS SOPS 69833 HAS SOUS 32968 HAS SOUPS 31115 WITH SCORE 31200.685
AT ITER 4249 NEW BEST:: SOT 192877 SOS 85595 HAS SOPS 69793 HAS SOUS 32923 HAS SOUPS 31095 WITH SCORE 31180.595
AT ITER 4252 NEW BEST:: SOT 192877 SOS 85697 HAS SOPS 69895 HAS SOUS 32872 HAS SOUPS 31044 WITH SCORE 31129.697
AT ITER 4260 NEW BEST:: SOT 192877 SOS 85681 HAS SOPS 69879 HAS SOUS 32864 HAS SOUPS 31036 WITH SCORE 31121.681
AT ITER 4275 NEW BEST:: SOT 192877 SOS 85639 HAS SOPS 69837 HAS SOUS 32843 HAS SOUPS 31015 WITH SCORE 31100.639
AT ITER 4293 NEW BEST:: SOT 192877 SOS 85651 HAS SOPS 69849 HAS SOUS 32840 HAS SOUPS 31012 WITH SCORE 31097.651
AT ITER 4295 NEW BEST:: SOT 192877 SOS 85647 HAS SOPS 69845 HAS SOUS 32840 HAS SOUPS 31012 WITH SCORE 31097.647
AT ITER 4327 NEW BEST:: SOT 192861 SOS 85632 HAS SOPS 69811 HAS SOUS 32828 HAS SOUPS 31000 WITH SCORE 31085.632
AT ITER 4357 NEW BEST:: SOT 192861 SOS 85632 HAS SOPS 69811 HAS SOUS 32827 HAS SOUPS 30999 WITH SCORE 31084.632
AT ITER 4362 NEW BEST:: SOT 193085 SOS 85856 HAS SOPS 69875 HAS SOUS 32757 HAS SOUPS 30929 WITH SCORE 31014.856
AT ITER 4368 NEW BEST:: SOT 193081 SOS 85852 HAS SOPS 69855 HAS SOUS 32745 HAS SOUPS 30917 WITH SCORE 31002.852
AT ITER 4376 NEW BEST:: SOT 193081 SOS 85852 HAS SOPS 69919 HAS SOUS 32681 HAS SOUPS 30885 WITH SCORE 30970.852
AT ITER 4398 NEW BEST:: SOT 193081 SOS 85834 HAS SOPS 69919 HAS SOUS 32672 HAS SOUPS 30885 WITH SCORE 30970.834
AT ITER 4456 NEW BEST:: SOT 193081 SOS 85946 HAS SOPS 70031 HAS SOUS 32664 HAS SOUPS 30877 WITH SCORE 30962.946
AT ITER 4457 NEW BEST:: SOT 193081 SOS 85908 HAS SOPS 69993 HAS SOUS 32645 HAS SOUPS 30858 WITH SCORE 30943.908
AT ITER 4473 NEW BEST:: SOT 193081 SOS 85882 HAS SOPS 69967 HAS SOUS 32645 HAS SOUPS 30858 WITH SCORE 30943.882
AT ITER 4476 NEW BEST:: SOT 193081 SOS 85838 HAS SOPS 69923 HAS SOUS 32633 HAS SOUPS 30846 WITH SCORE 30931.838
AT ITER 4479 NEW BEST:: SOT 193081 SOS 85832 HAS SOPS 69917 HAS SOUS 32630 HAS SOUPS 30843 WITH SCORE 30928.832
AT ITER 4545 NEW BEST:: SOT 193075 SOS 85826 HAS SOPS 69895 HAS SOUS 32626 HAS SOUPS 30839 WITH SCORE 30924.826
AT ITER 4550 NEW BEST:: SOT 193063 SOS 85814 HAS SOPS 69879 HAS SOUS 32610 HAS SOUPS 30823 WITH SCORE 30908.814
AT ITER 4566 NEW BEST:: SOT 193063 SOS 85676 HAS SOPS 69741 HAS SOUS 32589 HAS SOUPS 30802 WITH SCORE 30887.676
AT ITER 4572 NEW BEST:: SOT 193063 SOS 85656 HAS SOPS 69625 HAS SOUS 32627 HAS SOUPS 30792 WITH SCORE 30877.656
AT ITER 4578 NEW BEST:: SOT 193063 SOS 86296 HAS SOPS 70173 HAS SOUS 32671 HAS SOUPS 30790 WITH SCORE 30876.296
AT ITER 4602 NEW BEST:: SOT 193063 SOS 86298 HAS SOPS 70175 HAS SOUS 32652 HAS SOUPS 30771 WITH SCORE 30857.298
AT ITER 4604 NEW BEST:: SOT 192940 SOS 86173 HAS SOPS 70037 HAS SOUS 32501 HAS SOUPS 30620 WITH SCORE 30706.173
AT ITER 4617 NEW BEST:: SOT 192940 SOS 86195 HAS SOPS 70059 HAS SOUS 32496 HAS SOUPS 30615 WITH SCORE 30701.195
AT ITER 4619 NEW BEST:: SOT 192940 SOS 86205 HAS SOPS 70069 HAS SOUS 32493 HAS SOUPS 30612 WITH SCORE 30698.205
AT ITER 4630 NEW BEST:: SOT 192940 SOS 86183 HAS SOPS 70047 HAS SOUS 32482 HAS SOUPS 30601 WITH SCORE 30687.183
AT ITER 4634 NEW BEST:: SOT 192498 SOS 85805 HAS SOPS 69553 HAS SOUS 32184 HAS SOUPS 30287 WITH SCORE 30372.805
AT ITER 4658 NEW BEST:: SOT 192498 SOS 85739 HAS SOPS 69529 HAS SOUS 32151 HAS SOUPS 30275 WITH SCORE 30360.739
AT ITER 4672 NEW BEST:: SOT 192498 SOS 85733 HAS SOPS 69523 HAS SOUS 32148 HAS SOUPS 30272 WITH SCORE 30357.733
AT ITER 4713 NEW BEST:: SOT 192508 SOS 85743 HAS SOPS 69387 HAS SOUS 32130 HAS SOUPS 30254 WITH SCORE 30339.743
AT ITER 4745 NEW BEST:: SOT 192489 SOS 85724 HAS SOPS 69305 HAS SOUS 32096 HAS SOUPS 30220 WITH SCORE 30305.724
AT ITER 4747 NEW BEST:: SOT 192489 SOS 85708 HAS SOPS 69289 HAS SOUS 32088 HAS SOUPS 30212 WITH SCORE 30297.708
AT ITER 4782 NEW BEST:: SOT 192489 SOS 85694 HAS SOPS 69275 HAS SOUS 32081 HAS SOUPS 30205 WITH SCORE 30290.694
AT ITER 4788 NEW BEST:: SOT 192489 SOS 85666 HAS SOPS 69247 HAS SOUS 32074 HAS SOUPS 30198 WITH SCORE 30283.666
AT ITER 4793 NEW BEST:: SOT 192489 SOS 85524 HAS SOPS 69105 HAS SOUS 32061 HAS SOUPS 30185 WITH SCORE 30270.524
AT ITER 4810 NEW BEST:: SOT 192489 SOS 85422 HAS SOPS 69003 HAS SOUS 32044 HAS SOUPS 30168 WITH SCORE 30253.422
AT ITER 4840 NEW BEST:: SOT 192489 SOS 85346 HAS SOPS 68927 HAS SOUS 32038 HAS SOUPS 30162 WITH SCORE 30247.346
AT ITER 4876 NEW BEST:: SOT 192489 SOS 85180 HAS SOPS 68859 HAS SOUS 31955 HAS SOUPS 30128 WITH SCORE 30213.18
AT ITER 4890 NEW BEST:: SOT 192519 SOS 85210 HAS SOPS 68872 HAS SOUS 31951 HAS SOUPS 30124 WITH SCORE 30209.21
AT ITER 4897 NEW BEST:: SOT 192519 SOS 85218 HAS SOPS 68880 HAS SOUS 31946 HAS SOUPS 30119 WITH SCORE 30204.218
AT ITER 4915 NEW BEST:: SOT 192519 SOS 85180 HAS SOPS 68792 HAS SOUS 31952 HAS SOUPS 30100 WITH SCORE 30185.18
AT ITER 4926 NEW BEST:: SOT 192457 SOS 85079 HAS SOPS 68660 HAS SOUS 31933 HAS SOUPS 30081 WITH SCORE 30166.079
AT ITER 4984 NEW BEST:: SOT 192457 SOS 85051 HAS SOPS 68632 HAS SOUS 31919 HAS SOUPS 30067 WITH SCORE 30152.051
AT ITER 4985 NEW BEST:: SOT 192457 SOS 84997 HAS SOPS 68640 HAS SOUS 31888 HAS SOUPS 30067 WITH SCORE 30151.997
AT ITER 4988 NEW BEST:: SOT 192483 SOS 85023 HAS SOPS 68652 HAS SOUS 31880 HAS SOUPS 30059 WITH SCORE 30144.023
AT ITER 5010 NEW BEST:: SOT 192441 SOS 84978 HAS SOPS 68585 HAS SOUS 31846 HAS SOUPS 30025 WITH SCORE 30109.978
AT ITER 5016 NEW BEST:: SOT 192441 SOS 84984 HAS SOPS 68591 HAS SOUS 31843 HAS SOUPS 30022 WITH SCORE 30106.984
AT ITER 5036 NEW BEST:: SOT 192441 SOS 84976 HAS SOPS 68583 HAS SOUS 31843 HAS SOUPS 30022 WITH SCORE 30106.976
AT ITER 5054 NEW BEST:: SOT 192441 SOS 85052 HAS SOPS 68603 HAS SOUS 31868 HAS SOUPS 30019 WITH SCORE 30104.052
AT ITER 5056 NEW BEST:: SOT 192441 SOS 85086 HAS SOPS 68637 HAS SOUS 31856 HAS SOUPS 30007 WITH SCORE 30092.086
AT ITER 5168 NEW BEST:: SOT 192441 SOS 85076 HAS SOPS 68627 HAS SOUS 31854 HAS SOUPS 30005 WITH SCORE 30090.076
AT ITER 5180 NEW BEST:: SOT 192441 SOS 85040 HAS SOPS 68591 HAS SOUS 31838 HAS SOUPS 29989 WITH SCORE 30074.04
AT ITER 5190 NEW BEST:: SOT 192441 SOS 84984 HAS SOPS 68535 HAS SOUS 31832 HAS SOUPS 29983 WITH SCORE 30067.984
AT ITER 5193 NEW BEST:: SOT 192441 SOS 84980 HAS SOPS 68531 HAS SOUS 31830 HAS SOUPS 29981 WITH SCORE 30065.98
AT ITER 5205 NEW BEST:: SOT 192441 SOS 84970 HAS SOPS 68521 HAS SOUS 31825 HAS SOUPS 29976 WITH SCORE 30060.97
AT ITER 5247 NEW BEST:: SOT 192441 SOS 84962 HAS SOPS 68513 HAS SOUS 31823 HAS SOUPS 29974 WITH SCORE 30058.962
AT ITER 5251 NEW BEST:: SOT 192441 SOS 84948 HAS SOPS 68499 HAS SOUS 31807 HAS SOUPS 29958 WITH SCORE 30042.948
AT ITER 5255 NEW BEST:: SOT 192441 SOS 84914 HAS SOPS 68465 HAS SOUS 31790 HAS SOUPS 29941 WITH SCORE 30025.914
AT ITER 5308 NEW BEST:: SOT 192441 SOS 84878 HAS SOPS 68429 HAS SOUS 31790 HAS SOUPS 29941 WITH SCORE 30025.878
AT ITER 5316 NEW BEST:: SOT 192441 SOS 84870 HAS SOPS 68425 HAS SOUS 31786 HAS SOUPS 29939 WITH SCORE 30023.87
AT ITER 5373 NEW BEST:: SOT 192449 SOS 84878 HAS SOPS 68423 HAS SOUS 31784 HAS SOUPS 29937 WITH SCORE 30021.878
AT ITER 5386 NEW BEST:: SOT 192445 SOS 84857 HAS SOPS 68402 HAS SOUS 31760 HAS SOUPS 29913 WITH SCORE 29997.857
AT ITER 5387 NEW BEST:: SOT 192354 SOS 84766 HAS SOPS 68272 HAS SOUS 31617 HAS SOUPS 29770 WITH SCORE 29854.766
AT ITER 5403 NEW BEST:: SOT 192294 SOS 84706 HAS SOPS 68182 HAS SOUS 31583 HAS SOUPS 29724 WITH SCORE 29808.706
AT ITER 5456 NEW BEST:: SOT 192294 SOS 84702 HAS SOPS 68180 HAS SOUS 31580 HAS SOUPS 29722 WITH SCORE 29806.702
AT ITER 5479 NEW BEST:: SOT 192294 SOS 84700 HAS SOPS 68178 HAS SOUS 31580 HAS SOUPS 29722 WITH SCORE 29806.7
AT ITER 5480 NEW BEST:: SOT 192294 SOS 84698 HAS SOPS 68178 HAS SOUS 31578 HAS SOUPS 29721 WITH SCORE 29805.698
AT ITER 5523 NEW BEST:: SOT 192221 SOS 84625 HAS SOPS 67192 HAS SOUS 31492 HAS SOUPS 29635 WITH SCORE 29719.625
AT ITER 5547 NEW BEST:: SOT 192221 SOS 84601 HAS SOPS 67192 HAS SOUS 31480 HAS SOUPS 29635 WITH SCORE 29719.601
AT ITER 5549 NEW BEST:: SOT 192221 SOS 84565 HAS SOPS 67156 HAS SOUS 31471 HAS SOUPS 29626 WITH SCORE 29710.565
AT ITER 5563 NEW BEST:: SOT 192221 SOS 84567 HAS SOPS 67158 HAS SOUS 31462 HAS SOUPS 29617 WITH SCORE 29701.567
AT ITER 5572 NEW BEST:: SOT 192221 SOS 84561 HAS SOPS 67152 HAS SOUS 31462 HAS SOUPS 29617 WITH SCORE 29701.561
AT ITER 5583 NEW BEST:: SOT 192221 SOS 84547 HAS SOPS 67138 HAS SOUS 31462 HAS SOUPS 29617 WITH SCORE 29701.547
AT ITER 5629 NEW BEST:: SOT 192221 SOS 84527 HAS SOPS 67118 HAS SOUS 31453 HAS SOUPS 29608 WITH SCORE 29692.527
AT ITER 5638 NEW BEST:: SOT 192221 SOS 84527 HAS SOPS 67043 HAS SOUS 31448 HAS SOUPS 29603 WITH SCORE 29687.527
AT ITER 5641 NEW BEST:: SOT 192221 SOS 84483 HAS SOPS 66999 HAS SOUS 31437 HAS SOUPS 29592 WITH SCORE 29676.483
AT ITER 5647 NEW BEST:: SOT 192221 SOS 84521 HAS SOPS 67037 HAS SOUS 31420 HAS SOUPS 29575 WITH SCORE 29659.521
AT ITER 5649 NEW BEST:: SOT 192203 SOS 84503 HAS SOPS 66975 HAS SOUS 31389 HAS SOUPS 29544 WITH SCORE 29628.503
AT ITER 5682 NEW BEST:: SOT 192173 SOS 84473 HAS SOPS 66987 HAS SOUS 31344 HAS SOUPS 29499 WITH SCORE 29583.473
AT ITER 5691 NEW BEST:: SOT 192173 SOS 84469 HAS SOPS 66983 HAS SOUS 31342 HAS SOUPS 29497 WITH SCORE 29581.469
AT ITER 5730 NEW BEST:: SOT 192173 SOS 84441 HAS SOPS 66955 HAS SOUS 31330 HAS SOUPS 29485 WITH SCORE 29569.441
AT ITER 5735 NEW BEST:: SOT 192173 SOS 84453 HAS SOPS 66967 HAS SOUS 31324 HAS SOUPS 29479 WITH SCORE 29563.453
AT ITER 5755 NEW BEST:: SOT 192173 SOS 84453 HAS SOPS 66819 HAS SOUS 31250 HAS SOUPS 29405 WITH SCORE 29489.453
AT ITER 5817 NEW BEST:: SOT 192123 SOS 84403 HAS SOPS 66769 HAS SOUS 31250 HAS SOUPS 29405 WITH SCORE 29489.403
AT ITER 5829 NEW BEST:: SOT 192123 SOS 84395 HAS SOPS 66761 HAS SOUS 31246 HAS SOUPS 29401 WITH SCORE 29485.395
AT ITER 5830 NEW BEST:: SOT 192123 SOS 84361 HAS SOPS 66727 HAS SOUS 31246 HAS SOUPS 29401 WITH SCORE 29485.361
AT ITER 5834 NEW BEST:: SOT 192151 SOS 84389 HAS SOPS 66755 HAS SOUS 31234 HAS SOUPS 29389 WITH SCORE 29473.389
AT ITER 5839 NEW BEST:: SOT 192151 SOS 84389 HAS SOPS 66755 HAS SOUS 31228 HAS SOUPS 29383 WITH SCORE 29467.389
AT ITER 5841 NEW BEST:: SOT 192151 SOS 84379 HAS SOPS 66745 HAS SOUS 31223 HAS SOUPS 29378 WITH SCORE 29462.379
AT ITER 5884 NEW BEST:: SOT 192121 SOS 84349 HAS SOPS 66735 HAS SOUS 31219 HAS SOUPS 29374 WITH SCORE 29458.349
AT ITER 5906 NEW BEST:: SOT 192117 SOS 84345 HAS SOPS 66730 HAS SOUS 31215 HAS SOUPS 29369 WITH SCORE 29453.345
AT ITER 5920 NEW BEST:: SOT 192112 SOS 84340 HAS SOPS 66720 HAS SOUS 31210 HAS SOUPS 29364 WITH SCORE 29448.34
AT ITER 5936 NEW BEST:: SOT 192112 SOS 84292 HAS SOPS 66672 HAS SOUS 31198 HAS SOUPS 29352 WITH SCORE 29436.292
AT ITER 5941 NEW BEST:: SOT 192112 SOS 84258 HAS SOPS 66638 HAS SOUS 31181 HAS SOUPS 29335 WITH SCORE 29419.258
AT ITER 5978 NEW BEST:: SOT 192112 SOS 84158 HAS SOPS 66538 HAS SOUS 31172 HAS SOUPS 29326 WITH SCORE 29410.158
AT ITER 6023 NEW BEST:: SOT 192112 SOS 84030 HAS SOPS 66410 HAS SOUS 31095 HAS SOUPS 29249 WITH SCORE 29333.03
AT ITER 6049 NEW BEST:: SOT 192112 SOS 84028 HAS SOPS 66408 HAS SOUS 31094 HAS SOUPS 29248 WITH SCORE 29332.028
AT ITER 6057 NEW BEST:: SOT 192070 SOS 83986 HAS SOPS 66324 HAS SOUS 31010 HAS SOUPS 29164 WITH SCORE 29247.986
AT ITER 6059 NEW BEST:: SOT 192068 SOS 83984 HAS SOPS 66360 HAS SOUS 31008 HAS SOUPS 29162 WITH SCORE 29245.984
AT ITER 6065 NEW BEST:: SOT 192068 SOS 84060 HAS SOPS 66436 HAS SOUS 30994 HAS SOUPS 29148 WITH SCORE 29232.06
AT ITER 6068 NEW BEST:: SOT 192084 SOS 84076 HAS SOPS 66484 HAS SOUS 30978 HAS SOUPS 29132 WITH SCORE 29216.076
AT ITER 6069 NEW BEST:: SOT 192084 SOS 84038 HAS SOPS 66446 HAS SOUS 30978 HAS SOUPS 29132 WITH SCORE 29216.038
AT ITER 6091 NEW BEST:: SOT 192084 SOS 84024 HAS SOPS 66432 HAS SOUS 30978 HAS SOUPS 29132 WITH SCORE 29216.024
AT ITER 6112 NEW BEST:: SOT 192084 SOS 84014 HAS SOPS 66422 HAS SOUS 30973 HAS SOUPS 29127 WITH SCORE 29211.014
AT ITER 6118 NEW BEST:: SOT 192077 SOS 83996 HAS SOPS 66397 HAS SOUS 30952 HAS SOUPS 29106 WITH SCORE 29189.996
AT ITER 6134 NEW BEST:: SOT 192057 SOS 83976 HAS SOPS 66373 HAS SOUS 30928 HAS SOUPS 29082 WITH SCORE 29165.976
AT ITER 6141 NEW BEST:: SOT 192057 SOS 83962 HAS SOPS 66359 HAS SOUS 30928 HAS SOUPS 29082 WITH SCORE 29165.962
AT ITER 6147 NEW BEST:: SOT 192057 SOS 83922 HAS SOPS 66319 HAS SOUS 30928 HAS SOUPS 29082 WITH SCORE 29165.922
AT ITER 6157 NEW BEST:: SOT 192057 SOS 83704 HAS SOPS 66067 HAS SOUS 30938 HAS SOUPS 29075 WITH SCORE 29158.704
AT ITER 6164 NEW BEST:: SOT 192056 SOS 83703 HAS SOPS 66099 HAS SOUS 30910 HAS SOUPS 29047 WITH SCORE 29130.703
AT ITER 6186 NEW BEST:: SOT 192056 SOS 83673 HAS SOPS 66083 HAS SOUS 30895 HAS SOUPS 29039 WITH SCORE 29122.673
AT ITER 6195 NEW BEST:: SOT 192056 SOS 83663 HAS SOPS 66073 HAS SOUS 30890 HAS SOUPS 29034 WITH SCORE 29117.663
AT ITER 6199 NEW BEST:: SOT 192056 SOS 83635 HAS SOPS 66045 HAS SOUS 30876 HAS SOUPS 29020 WITH SCORE 29103.635
AT ITER 6327 NEW BEST:: SOT 192056 SOS 83605 HAS SOPS 66035 HAS SOUS 30861 HAS SOUPS 29015 WITH SCORE 29098.605
AT ITER 6335 NEW BEST:: SOT 192056 SOS 83407 HAS SOPS 65837 HAS SOUS 30860 HAS SOUPS 29014 WITH SCORE 29097.407
AT ITER 6349 NEW BEST:: SOT 192238 SOS 83589 HAS SOPS 66009 HAS SOUS 30840 HAS SOUPS 28994 WITH SCORE 29077.589
AT ITER 6366 NEW BEST:: SOT 192238 SOS 83633 HAS SOPS 66053 HAS SOUS 30833 HAS SOUPS 28987 WITH SCORE 29070.633
AT ITER 6397 NEW BEST:: SOT 192242 SOS 83637 HAS SOPS 66061 HAS SOUS 30827 HAS SOUPS 28981 WITH SCORE 29064.637
AT ITER 6403 NEW BEST:: SOT 192242 SOS 83721 HAS SOPS 66145 HAS SOUS 30800 HAS SOUPS 28954 WITH SCORE 29037.721
AT ITER 6415 NEW BEST:: SOT 192242 SOS 83671 HAS SOPS 66095 HAS SOUS 30775 HAS SOUPS 28929 WITH SCORE 29012.671
AT ITER 6432 NEW BEST:: SOT 192240 SOS 83669 HAS SOPS 66089 HAS SOUS 30771 HAS SOUPS 28925 WITH SCORE 29008.669
AT ITER 6433 NEW BEST:: SOT 192240 SOS 83669 HAS SOPS 66089 HAS SOUS 30751 HAS SOUPS 28905 WITH SCORE 28988.669
AT ITER 6442 NEW BEST:: SOT 192238 SOS 83667 HAS SOPS 66083 HAS SOUS 30749 HAS SOUPS 28903 WITH SCORE 28986.667
AT ITER 6451 NEW BEST:: SOT 192238 SOS 83633 HAS SOPS 66049 HAS SOUS 30745 HAS SOUPS 28899 WITH SCORE 28982.633
AT ITER 6452 NEW BEST:: SOT 192238 SOS 83551 HAS SOPS 65925 HAS SOUS 30725 HAS SOUPS 28858 WITH SCORE 28941.551
AT ITER 6454 NEW BEST:: SOT 192122 SOS 83435 HAS SOPS 65805 HAS SOUS 30721 HAS SOUPS 28854 WITH SCORE 28937.435
AT ITER 6529 NEW BEST:: SOT 192122 SOS 83409 HAS SOPS 65779 HAS SOUS 30715 HAS SOUPS 28848 WITH SCORE 28931.409
AT ITER 6540 NEW BEST:: SOT 192122 SOS 83365 HAS SOPS 65735 HAS SOUS 30715 HAS SOUPS 28848 WITH SCORE 28931.365
AT ITER 6542 NEW BEST:: SOT 192122 SOS 83381 HAS SOPS 65751 HAS SOUS 30714 HAS SOUPS 28847 WITH SCORE 28930.381
AT ITER 6550 NEW BEST:: SOT 192122 SOS 83281 HAS SOPS 65651 HAS SOUS 30707 HAS SOUPS 28840 WITH SCORE 28923.281
AT ITER 6586 NEW BEST:: SOT 192122 SOS 83223 HAS SOPS 65593 HAS SOUS 30707 HAS SOUPS 28840 WITH SCORE 28923.223
AT ITER 6621 NEW BEST:: SOT 192122 SOS 83219 HAS SOPS 65589 HAS SOUS 30707 HAS SOUPS 28840 WITH SCORE 28923.219
AT ITER 6661 NEW BEST:: SOT 191556 SOS 82829 HAS SOPS 65052 HAS SOUS 30524 HAS SOUPS 28629 WITH SCORE 28711.829
AT ITER 6691 NEW BEST:: SOT 191556 SOS 82829 HAS SOPS 65038 HAS SOUS 30496 HAS SOUPS 28601 WITH SCORE 28683.829
AT ITER 6704 NEW BEST:: SOT 191556 SOS 82829 HAS SOPS 64984 HAS SOUS 30478 HAS SOUPS 28583 WITH SCORE 28665.829
AT ITER 6757 NEW BEST:: SOT 191556 SOS 82783 HAS SOPS 64938 HAS SOUS 30478 HAS SOUPS 28583 WITH SCORE 28665.783
AT ITER 6768 NEW BEST:: SOT 191556 SOS 82893 HAS SOPS 65048 HAS SOUS 30467 HAS SOUPS 28572 WITH SCORE 28654.893
AT ITER 6791 NEW BEST:: SOT 191556 SOS 82863 HAS SOPS 65028 HAS SOUS 30452 HAS SOUPS 28562 WITH SCORE 28644.863
AT ITER 6859 NEW BEST:: SOT 191552 SOS 82859 HAS SOPS 65028 HAS SOUS 30448 HAS SOUPS 28558 WITH SCORE 28640.859
AT ITER 6882 NEW BEST:: SOT 191552 SOS 82847 HAS SOPS 65016 HAS SOUS 30442 HAS SOUPS 28552 WITH SCORE 28634.847
AT ITER 6891 NEW BEST:: SOT 191552 SOS 82845 HAS SOPS 65014 HAS SOUS 30441 HAS SOUPS 28551 WITH SCORE 28633.845
AT ITER 6895 NEW BEST:: SOT 191532 SOS 82825 HAS SOPS 64944 HAS SOUS 30415 HAS SOUPS 28525 WITH SCORE 28607.825
AT ITER 6897 NEW BEST:: SOT 191532 SOS 82749 HAS SOPS 64868 HAS SOUS 30382 HAS SOUPS 28492 WITH SCORE 28574.749
AT ITER 6924 NEW BEST:: SOT 191532 SOS 82625 HAS SOPS 64744 HAS SOUS 30360 HAS SOUPS 28470 WITH SCORE 28552.625
AT ITER 6926 NEW BEST:: SOT 191532 SOS 82549 HAS SOPS 64668 HAS SOUS 30348 HAS SOUPS 28458 WITH SCORE 28540.549
AT ITER 6931 NEW BEST:: SOT 191511 SOS 82436 HAS SOPS 64555 HAS SOUS 30345 HAS SOUPS 28455 WITH SCORE 28537.436
AT ITER 6935 NEW BEST:: SOT 191511 SOS 82372 HAS SOPS 64523 HAS SOUS 30313 HAS SOUPS 28439 WITH SCORE 28521.372
AT ITER 6970 NEW BEST:: SOT 191484 SOS 82330 HAS SOPS 64349 HAS SOUS 30327 HAS SOUPS 28438 WITH SCORE 28520.33
AT ITER 6980 NEW BEST:: SOT 191484 SOS 82306 HAS SOPS 64325 HAS SOUS 30327 HAS SOUPS 28438 WITH SCORE 28520.306
AT ITER 6984 NEW BEST:: SOT 191490 SOS 82312 HAS SOPS 64334 HAS SOUS 30321 HAS SOUPS 28432 WITH SCORE 28514.312
AT ITER 6987 NEW BEST:: SOT 191490 SOS 82294 HAS SOPS 64316 HAS SOUS 30321 HAS SOUPS 28432 WITH SCORE 28514.294
AT ITER 7037 NEW BEST:: SOT 191490 SOS 82292 HAS SOPS 64314 HAS SOUS 30320 HAS SOUPS 28431 WITH SCORE 28513.292
AT ITER 7080 NEW BEST:: SOT 191482 SOS 82210 HAS SOPS 64231 HAS SOUS 30257 HAS SOUPS 28368 WITH SCORE 28450.21
AT ITER 7092 NEW BEST:: SOT 191482 SOS 82272 HAS SOPS 64293 HAS SOUS 30255 HAS SOUPS 28366 WITH SCORE 28448.272
AT ITER 7096 NEW BEST:: SOT 191482 SOS 82254 HAS SOPS 64275 HAS SOUS 30255 HAS SOUPS 28366 WITH SCORE 28448.254
AT ITER 7142 NEW BEST:: SOT 191482 SOS 82190 HAS SOPS 64211 HAS SOUS 30242 HAS SOUPS 28353 WITH SCORE 28435.19
AT ITER 7143 NEW BEST:: SOT 191482 SOS 82109 HAS SOPS 64130 HAS SOUS 30232 HAS SOUPS 28343 WITH SCORE 28425.109
AT ITER 7159 NEW BEST:: SOT 191482 SOS 81773 HAS SOPS 63794 HAS SOUS 30232 HAS SOUPS 28343 WITH SCORE 28424.773
AT ITER 7177 NEW BEST:: SOT 191482 SOS 81769 HAS SOPS 63790 HAS SOUS 30232 HAS SOUPS 28343 WITH SCORE 28424.769
AT ITER 7198 NEW BEST:: SOT 191482 SOS 81769 HAS SOPS 63790 HAS SOUS 30230 HAS SOUPS 28341 WITH SCORE 28422.769
AT ITER 7290 NEW BEST:: SOT 191482 SOS 81745 HAS SOPS 63766 HAS SOUS 30230 HAS SOUPS 28341 WITH SCORE 28422.745
AT ITER 7330 NEW BEST:: SOT 191464 SOS 81727 HAS SOPS 63748 HAS SOUS 30212 HAS SOUPS 28323 WITH SCORE 28404.727
AT ITER 7386 NEW BEST:: SOT 191464 SOS 81707 HAS SOPS 63738 HAS SOUS 30202 HAS SOUPS 28318 WITH SCORE 28399.707
AT ITER 7392 NEW BEST:: SOT 191464 SOS 81703 HAS SOPS 63734 HAS SOUS 30200 HAS SOUPS 28316 WITH SCORE 28397.703
AT ITER 7394 NEW BEST:: SOT 191468 SOS 81707 HAS SOPS 63742 HAS SOUS 30173 HAS SOUPS 28289 WITH SCORE 28370.707
AT ITER 7409 NEW BEST:: SOT 191468 SOS 81687 HAS SOPS 63722 HAS SOUS 30173 HAS SOUPS 28289 WITH SCORE 28370.687
AT ITER 7458 NEW BEST:: SOT 191468 SOS 81687 HAS SOPS 63722 HAS SOUS 30172 HAS SOUPS 28288 WITH SCORE 28369.687
AT ITER 7491 NEW BEST:: SOT 191468 SOS 81691 HAS SOPS 63734 HAS SOUS 30166 HAS SOUPS 28286 WITH SCORE 28367.691
AT ITER 7511 NEW BEST:: SOT 191468 SOS 81595 HAS SOPS 63622 HAS SOUS 30174 HAS SOUPS 28286 WITH SCORE 28367.595
AT ITER 7535 NEW BEST:: SOT 191468 SOS 81553 HAS SOPS 63580 HAS SOUS 30153 HAS SOUPS 28265 WITH SCORE 28346.553
AT ITER 7562 NEW BEST:: SOT 191468 SOS 81543 HAS SOPS 63570 HAS SOUS 30148 HAS SOUPS 28260 WITH SCORE 28341.543
AT ITER 7603 NEW BEST:: SOT 191489 SOS 81428 HAS SOPS 63413 HAS SOUS 30129 HAS SOUPS 28241 WITH SCORE 28322.428
AT ITER 7632 NEW BEST:: SOT 191481 SOS 81420 HAS SOPS 63397 HAS SOUS 30113 HAS SOUPS 28225 WITH SCORE 28306.42
AT ITER 7676 NEW BEST:: SOT 191452 SOS 81350 HAS SOPS 63233 HAS SOUS 30095 HAS SOUPS 28185 WITH SCORE 28266.35
AT ITER 7678 NEW BEST:: SOT 191450 SOS 81348 HAS SOPS 63231 HAS SOUS 30093 HAS SOUPS 28183 WITH SCORE 28264.348
AT ITER 7706 NEW BEST:: SOT 191450 SOS 81346 HAS SOPS 63229 HAS SOUS 30092 HAS SOUPS 28182 WITH SCORE 28263.346
AT ITER 7724 NEW BEST:: SOT 191420 SOS 81316 HAS SOPS 63169 HAS SOUS 30048 HAS SOUPS 28138 WITH SCORE 28219.316
AT ITER 7751 NEW BEST:: SOT 191420 SOS 81322 HAS SOPS 63235 HAS SOUS 29997 HAS SOUPS 28117 WITH SCORE 28198.322
AT ITER 7809 NEW BEST:: SOT 191420 SOS 81322 HAS SOPS 63205 HAS SOUS 29997 HAS SOUPS 28102 WITH SCORE 28183.322
AT ITER 7931 NEW BEST:: SOT 191420 SOS 81194 HAS SOPS 63077 HAS SOUS 29997 HAS SOUPS 28102 WITH SCORE 28183.194
AT ITER 7977 NEW BEST:: SOT 191420 SOS 81252 HAS SOPS 63077 HAS SOUS 30018 HAS SOUPS 28094 WITH SCORE 28175.252
AT ITER 8003 NEW BEST:: SOT 191420 SOS 81236 HAS SOPS 63061 HAS SOUS 30017 HAS SOUPS 28093 WITH SCORE 28174.236
AT ITER 8004 NEW BEST:: SOT 191654 SOS 81470 HAS SOPS 63241 HAS SOUS 29999 HAS SOUPS 28075 WITH SCORE 28156.47
AT ITER 8012 NEW BEST:: SOT 191671 SOS 81487 HAS SOPS 63236 HAS SOUS 29998 HAS SOUPS 28074 WITH SCORE 28155.487
AT ITER 8019 NEW BEST:: SOT 191637 SOS 81453 HAS SOPS 63236 HAS SOUS 29984 HAS SOUPS 28060 WITH SCORE 28141.453
AT ITER 8147 NEW BEST:: SOT 191633 SOS 81386 HAS SOPS 63148 HAS SOUS 29980 HAS SOUPS 28056 WITH SCORE 28137.386
AT ITER 8169 NEW BEST:: SOT 191633 SOS 81380 HAS SOPS 63142 HAS SOUS 29978 HAS SOUPS 28054 WITH SCORE 28135.38
AT ITER 8197 NEW BEST:: SOT 191621 SOS 81368 HAS SOPS 63118 HAS SOUS 29965 HAS SOUPS 28041 WITH SCORE 28122.368
AT ITER 8245 NEW BEST:: SOT 191621 SOS 81350 HAS SOPS 63100 HAS SOUS 29956 HAS SOUPS 28032 WITH SCORE 28113.35
AT ITER 8376 NEW BEST:: SOT 191621 SOS 81338 HAS SOPS 63088 HAS SOUS 29950 HAS SOUPS 28026 WITH SCORE 28107.338
AT ITER 8538 NEW BEST:: SOT 191589 SOS 81306 HAS SOPS 62984 HAS SOUS 29882 HAS SOUPS 27958 WITH SCORE 28039.306
AT ITER 8548 NEW BEST:: SOT 191429 SOS 81212 HAS SOPS 62854 HAS SOUS 29747 HAS SOUPS 27814 WITH SCORE 27895.212
AT ITER 8596 NEW BEST:: SOT 191429 SOS 81198 HAS SOPS 62840 HAS SOUS 29740 HAS SOUPS 27807 WITH SCORE 27888.198
AT ITER 8621 NEW BEST:: SOT 191429 SOS 81200 HAS SOPS 62842 HAS SOUS 29732 HAS SOUPS 27799 WITH SCORE 27880.2
AT ITER 8624 NEW BEST:: SOT 191429 SOS 81192 HAS SOPS 62834 HAS SOUS 29732 HAS SOUPS 27799 WITH SCORE 27880.192
AT ITER 8688 NEW BEST:: SOT 191425 SOS 81188 HAS SOPS 62798 HAS SOUS 29724 HAS SOUPS 27791 WITH SCORE 27872.188
AT ITER 8731 NEW BEST:: SOT 191411 SOS 81174 HAS SOPS 62784 HAS SOUS 29710 HAS SOUPS 27777 WITH SCORE 27858.174
AT ITER 8733 NEW BEST:: SOT 191411 SOS 81166 HAS SOPS 62776 HAS SOUS 29708 HAS SOUPS 27775 WITH SCORE 27856.166
AT ITER 8791 NEW BEST:: SOT 191411 SOS 81068 HAS SOPS 62776 HAS SOUS 29651 HAS SOUPS 27767 WITH SCORE 27848.068
AT ITER 8812 NEW BEST:: SOT 191399 SOS 81062 HAS SOPS 62766 HAS SOUS 29641 HAS SOUPS 27756 WITH SCORE 27837.062
AT ITER 8823 NEW BEST:: SOT 191331 SOS 80994 HAS SOPS 62694 HAS SOUS 29641 HAS SOUPS 27756 WITH SCORE 27836.994
AT ITER 8824 NEW BEST:: SOT 191331 SOS 81002 HAS SOPS 62702 HAS SOUS 29639 HAS SOUPS 27754 WITH SCORE 27835.002
AT ITER 8854 NEW BEST:: SOT 191331 SOS 80998 HAS SOPS 62698 HAS SOUS 29637 HAS SOUPS 27752 WITH SCORE 27832.998
AT ITER 8877 NEW BEST:: SOT 191331 SOS 80776 HAS SOPS 62350 HAS SOUS 29637 HAS SOUPS 27752 WITH SCORE 27832.776
AT ITER 8964 NEW BEST:: SOT 191331 SOS 80752 HAS SOPS 62348 HAS SOUS 29625 HAS SOUPS 27751 WITH SCORE 27831.752
AT ITER 9015 NEW BEST:: SOT 191253 SOS 80674 HAS SOPS 62264 HAS SOUS 29597 HAS SOUPS 27723 WITH SCORE 27803.674
AT ITER 9059 NEW BEST:: SOT 191253 SOS 80674 HAS SOPS 62264 HAS SOUS 29594 HAS SOUPS 27720 WITH SCORE 27800.674
AT ITER 9124 NEW BEST:: SOT 191253 SOS 80668 HAS SOPS 62258 HAS SOUS 29585 HAS SOUPS 27711 WITH SCORE 27791.668
AT ITER 9161 NEW BEST:: SOT 191249 SOS 80664 HAS SOPS 62258 HAS SOUS 29575 HAS SOUPS 27701 WITH SCORE 27781.664
AT ITER 9178 NEW BEST:: SOT 191249 SOS 80660 HAS SOPS 62254 HAS SOUS 29573 HAS SOUPS 27699 WITH SCORE 27779.66
AT ITER 9192 NEW BEST:: SOT 191249 SOS 80664 HAS SOPS 62258 HAS SOUS 29567 HAS SOUPS 27693 WITH SCORE 27773.664
AT ITER 9196 NEW BEST:: SOT 191249 SOS 80652 HAS SOPS 62246 HAS SOUS 29567 HAS SOUPS 27693 WITH SCORE 27773.652
AT ITER 9237 NEW BEST:: SOT 191271 SOS 80674 HAS SOPS 62230 HAS SOUS 29551 HAS SOUPS 27677 WITH SCORE 27757.674
AT ITER 9252 NEW BEST:: SOT 191271 SOS 80746 HAS SOPS 62302 HAS SOUS 29550 HAS SOUPS 27676 WITH SCORE 27756.746
AT ITER 9255 NEW BEST:: SOT 191271 SOS 80742 HAS SOPS 62298 HAS SOUS 29548 HAS SOUPS 27674 WITH SCORE 27754.742
AT ITER 9276 NEW BEST:: SOT 191266 SOS 80733 HAS SOPS 62289 HAS SOUS 29545 HAS SOUPS 27671 WITH SCORE 27751.733
AT ITER 9369 NEW BEST:: SOT 191266 SOS 80709 HAS SOPS 62265 HAS SOUS 29544 HAS SOUPS 27670 WITH SCORE 27750.709
AT ITER 9379 NEW BEST:: SOT 191266 SOS 80731 HAS SOPS 62287 HAS SOUS 29529 HAS SOUPS 27655 WITH SCORE 27735.731
AT ITER 9385 NEW BEST:: SOT 191266 SOS 80723 HAS SOPS 62301 HAS SOUS 29514 HAS SOUPS 27651 WITH SCORE 27731.723
AT ITER 9408 NEW BEST:: SOT 191266 SOS 80703 HAS SOPS 62281 HAS SOUS 29514 HAS SOUPS 27651 WITH SCORE 27731.703
AT ITER 9425 NEW BEST:: SOT 191266 SOS 80697 HAS SOPS 62283 HAS SOUS 29507 HAS SOUPS 27648 WITH SCORE 27728.697
AT ITER 9435 NEW BEST:: SOT 191304 SOS 80660 HAS SOPS 62133 HAS SOUS 29457 HAS SOUPS 27634 WITH SCORE 27714.66
AT ITER 9467 NEW BEST:: SOT 191304 SOS 80602 HAS SOPS 62075 HAS SOUS 29448 HAS SOUPS 27625 WITH SCORE 27705.602
AT ITER 9476 NEW BEST:: SOT 191352 SOS 80630 HAS SOPS 62115 HAS SOUS 29371 HAS SOUPS 27552 WITH SCORE 27632.63
AT ITER 9574 NEW BEST:: SOT 191334 SOS 80612 HAS SOPS 62097 HAS SOUS 29353 HAS SOUPS 27534 WITH SCORE 27614.612
AT ITER 9643 NEW BEST:: SOT 191292 SOS 80570 HAS SOPS 62027 HAS SOUS 29325 HAS SOUPS 27506 WITH SCORE 27586.57
AT ITER 9648 NEW BEST:: SOT 191290 SOS 80520 HAS SOPS 61972 HAS SOUS 29318 HAS SOUPS 27499 WITH SCORE 27579.52
AT ITER 9670 NEW BEST:: SOT 191280 SOS 80510 HAS SOPS 61944 HAS SOUS 29294 HAS SOUPS 27475 WITH SCORE 27555.51
AT ITER 9675 NEW BEST:: SOT 191254 SOS 80484 HAS SOPS 61906 HAS SOUS 29256 HAS SOUPS 27437 WITH SCORE 27517.484
AT ITER 9740 NEW BEST:: SOT 191200 SOS 80430 HAS SOPS 61910 HAS SOUS 29204 HAS SOUPS 27385 WITH SCORE 27465.43
AT ITER 9823 NEW BEST:: SOT 191200 SOS 80412 HAS SOPS 61892 HAS SOUS 29202 HAS SOUPS 27383 WITH SCORE 27463.412
AT ITER 9903 NEW BEST:: SOT 191052 SOS 80264 HAS SOPS 61740 HAS SOUS 29148 HAS SOUPS 27329 WITH SCORE 27409.264
AT ITER 9919 NEW BEST:: SOT 191110 SOS 80322 HAS SOPS 62648 HAS SOUS 29060 HAS SOUPS 27241 WITH SCORE 27321.322
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14125220 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122952 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FunctionPointer-PT-b064"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FunctionPointer-PT-b064, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838859000704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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