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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 7.1K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K 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 1678459036793

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b016
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b016
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250343 SOS 198996 HAS SOPS 192595 HAS SOUS 100055 HAS SOUPS 99609 WITH SCORE 99807.996
AT ITER 1 NEW BEST:: SOT 250343 SOS 198970 HAS SOPS 192569 HAS SOUS 99894 HAS SOUPS 99448 WITH SCORE 99646.97
AT ITER 6 NEW BEST:: SOT 250343 SOS 198876 HAS SOPS 192475 HAS SOUS 99890 HAS SOUPS 99444 WITH SCORE 99642.876
AT ITER 10 NEW BEST:: SOT 250343 SOS 198814 HAS SOPS 192413 HAS SOUS 99761 HAS SOUPS 99315 WITH SCORE 99513.814
AT ITER 12 NEW BEST:: SOT 250343 SOS 198918 HAS SOPS 192517 HAS SOUS 99656 HAS SOUPS 99210 WITH SCORE 99408.918
AT ITER 13 NEW BEST:: SOT 250343 SOS 199080 HAS SOPS 192679 HAS SOUS 99638 HAS SOUPS 99192 WITH SCORE 99391.08
AT ITER 16 NEW BEST:: SOT 250343 SOS 199068 HAS SOPS 192667 HAS SOUS 99624 HAS SOUPS 99178 WITH SCORE 99377.068
AT ITER 17 NEW BEST:: SOT 250343 SOS 199004 HAS SOPS 192603 HAS SOUS 99592 HAS SOUPS 99146 WITH SCORE 99345.004
AT ITER 21 NEW BEST:: SOT 250327 SOS 198614 HAS SOPS 192415 HAS SOUS 99589 HAS SOUPS 99143 WITH SCORE 99341.614
AT ITER 22 NEW BEST:: SOT 250327 SOS 198600 HAS SOPS 192401 HAS SOUS 99582 HAS SOUPS 99136 WITH SCORE 99334.6
AT ITER 34 NEW BEST:: SOT 250327 SOS 198600 HAS SOPS 192401 HAS SOUS 99579 HAS SOUPS 99133 WITH SCORE 99331.6
AT ITER 36 NEW BEST:: SOT 250327 SOS 198460 HAS SOPS 192261 HAS SOUS 99414 HAS SOUPS 98968 WITH SCORE 99166.46
AT ITER 39 NEW BEST:: SOT 250327 SOS 198412 HAS SOPS 192213 HAS SOUS 99355 HAS SOUPS 98909 WITH SCORE 99107.412
AT ITER 43 NEW BEST:: SOT 250327 SOS 198778 HAS SOPS 192579 HAS SOUS 99262 HAS SOUPS 98816 WITH SCORE 99014.778
AT ITER 48 NEW BEST:: SOT 250327 SOS 198098 HAS SOPS 191899 HAS SOUS 99193 HAS SOUPS 98747 WITH SCORE 98945.098
AT ITER 52 NEW BEST:: SOT 250327 SOS 198286 HAS SOPS 192087 HAS SOUS 99185 HAS SOUPS 98739 WITH SCORE 98937.286
AT ITER 55 NEW BEST:: SOT 250327 SOS 198698 HAS SOPS 192499 HAS SOUS 99114 HAS SOUPS 98668 WITH SCORE 98866.698
AT ITER 57 NEW BEST:: SOT 250327 SOS 198430 HAS SOPS 192231 HAS SOUS 99087 HAS SOUPS 98641 WITH SCORE 98839.43
AT ITER 61 NEW BEST:: SOT 250327 SOS 197543 HAS SOPS 191159 HAS SOUS 99104 HAS SOUPS 98473 WITH SCORE 98670.543
AT ITER 66 NEW BEST:: SOT 250327 SOS 197567 HAS SOPS 191214 HAS SOUS 98611 HAS SOUPS 98011 WITH SCORE 98208.567
AT ITER 71 NEW BEST:: SOT 250327 SOS 197087 HAS SOPS 190734 HAS SOUS 98591 HAS SOUPS 97991 WITH SCORE 98188.087
AT ITER 76 NEW BEST:: SOT 250327 SOS 197039 HAS SOPS 190686 HAS SOUS 98505 HAS SOUPS 97905 WITH SCORE 98102.039
AT ITER 80 NEW BEST:: SOT 250327 SOS 196965 HAS SOPS 190612 HAS SOUS 98468 HAS SOUPS 97868 WITH SCORE 98064.965
AT ITER 81 NEW BEST:: SOT 250327 SOS 196665 HAS SOPS 190462 HAS SOUS 98417 HAS SOUPS 97817 WITH SCORE 98013.665
AT ITER 84 NEW BEST:: SOT 250327 SOS 196665 HAS SOPS 190462 HAS SOUS 98403 HAS SOUPS 97803 WITH SCORE 97999.665
AT ITER 93 NEW BEST:: SOT 250327 SOS 196457 HAS SOPS 190254 HAS SOUS 98351 HAS SOUPS 97751 WITH SCORE 97947.457
AT ITER 94 NEW BEST:: SOT 250348 SOS 196306 HAS SOPS 190103 HAS SOUS 98286 HAS SOUPS 97686 WITH SCORE 97882.306
AT ITER 97 NEW BEST:: SOT 250348 SOS 196106 HAS SOPS 189899 HAS SOUS 98186 HAS SOUPS 97582 WITH SCORE 97778.106
AT ITER 99 NEW BEST:: SOT 250348 SOS 196051 HAS SOPS 189867 HAS SOUS 97918 HAS SOUPS 97337 WITH SCORE 97533.051
AT ITER 100 NEW BEST:: SOT 250348 SOS 196027 HAS SOPS 189843 HAS SOUS 97906 HAS SOUPS 97325 WITH SCORE 97521.027
AT ITER 101 NEW BEST:: SOT 250348 SOS 195923 HAS SOPS 189739 HAS SOUS 97875 HAS SOUPS 97294 WITH SCORE 97489.923
AT ITER 113 NEW BEST:: SOT 250348 SOS 195887 HAS SOPS 189703 HAS SOUS 97857 HAS SOUPS 97276 WITH SCORE 97471.887
AT ITER 131 NEW BEST:: SOT 250348 SOS 195963 HAS SOPS 189804 HAS SOUS 97595 HAS SOUPS 97039 WITH SCORE 97234.963
AT ITER 132 NEW BEST:: SOT 250348 SOS 195827 HAS SOPS 189668 HAS SOUS 97571 HAS SOUPS 97015 WITH SCORE 97210.827
AT ITER 137 NEW BEST:: SOT 250332 SOS 195421 HAS SOPS 189454 HAS SOUS 97552 HAS SOUPS 96996 WITH SCORE 97191.421
AT ITER 139 NEW BEST:: SOT 250332 SOS 195377 HAS SOPS 189410 HAS SOUS 97530 HAS SOUPS 96974 WITH SCORE 97169.377
AT ITER 147 NEW BEST:: SOT 250332 SOS 195455 HAS SOPS 189517 HAS SOUS 97272 HAS SOUPS 96745 WITH SCORE 96940.455
AT ITER 150 NEW BEST:: SOT 250332 SOS 195311 HAS SOPS 189373 HAS SOUS 97249 HAS SOUPS 96722 WITH SCORE 96917.311
AT ITER 160 NEW BEST:: SOT 250332 SOS 195295 HAS SOPS 189357 HAS SOUS 97235 HAS SOUPS 96708 WITH SCORE 96903.295
AT ITER 166 NEW BEST:: SOT 250332 SOS 195077 HAS SOPS 189139 HAS SOUS 97196 HAS SOUPS 96669 WITH SCORE 96864.077
AT ITER 167 NEW BEST:: SOT 248805 SOS 193557 HAS SOPS 187615 HAS SOUS 96717 HAS SOUPS 96186 WITH SCORE 96379.557
AT ITER 171 NEW BEST:: SOT 248805 SOS 193633 HAS SOPS 187691 HAS SOUS 96712 HAS SOUPS 96181 WITH SCORE 96374.633
AT ITER 172 NEW BEST:: SOT 248805 SOS 193631 HAS SOPS 187689 HAS SOUS 96711 HAS SOUPS 96180 WITH SCORE 96373.631
AT ITER 180 NEW BEST:: SOT 248603 SOS 193067 HAS SOPS 187129 HAS SOUS 96538 HAS SOUPS 96007 WITH SCORE 96200.067
AT ITER 181 NEW BEST:: SOT 248603 SOS 193177 HAS SOPS 187239 HAS SOUS 96431 HAS SOUPS 95900 WITH SCORE 96093.177
AT ITER 183 NEW BEST:: SOT 248616 SOS 192930 HAS SOPS 186992 HAS SOUS 96314 HAS SOUPS 95783 WITH SCORE 95975.93
AT ITER 184 NEW BEST:: SOT 248616 SOS 192736 HAS SOPS 186798 HAS SOUS 96196 HAS SOUPS 95665 WITH SCORE 95857.736
AT ITER 190 NEW BEST:: SOT 248616 SOS 191898 HAS SOPS 185502 HAS SOUS 96135 HAS SOUPS 95146 WITH SCORE 95337.898
AT ITER 192 NEW BEST:: SOT 248616 SOS 191836 HAS SOPS 185440 HAS SOUS 96086 HAS SOUPS 95097 WITH SCORE 95288.836
AT ITER 194 NEW BEST:: SOT 221983 SOS 166015 HAS SOPS 158868 HAS SOUS 95367 HAS SOUPS 94301 WITH SCORE 94467.015
AT ITER 197 NEW BEST:: SOT 221983 SOS 166021 HAS SOPS 158881 HAS SOUS 95356 HAS SOUPS 94297 WITH SCORE 94463.021
AT ITER 198 NEW BEST:: SOT 221983 SOS 166018 HAS SOPS 158878 HAS SOUS 95349 HAS SOUPS 94290 WITH SCORE 94456.018
AT ITER 199 NEW BEST:: SOT 221946 SOS 165916 HAS SOPS 158766 HAS SOUS 95310 HAS SOUPS 94251 WITH SCORE 94416.916
AT ITER 203 NEW BEST:: SOT 221946 SOS 165916 HAS SOPS 158766 HAS SOUS 95291 HAS SOUPS 94232 WITH SCORE 94397.916
AT ITER 206 NEW BEST:: SOT 221946 SOS 165908 HAS SOPS 158758 HAS SOUS 95289 HAS SOUPS 94230 WITH SCORE 94395.908
AT ITER 207 NEW BEST:: SOT 221967 SOS 165878 HAS SOPS 158713 HAS SOUS 95262 HAS SOUPS 94203 WITH SCORE 94368.878
AT ITER 209 NEW BEST:: SOT 222007 SOS 165918 HAS SOPS 158737 HAS SOUS 95230 HAS SOUPS 94171 WITH SCORE 94336.918
AT ITER 210 NEW BEST:: SOT 222007 SOS 165840 HAS SOPS 158678 HAS SOUS 95191 HAS SOUPS 94151 WITH SCORE 94316.84
AT ITER 213 NEW BEST:: SOT 221952 SOS 165853 HAS SOPS 158691 HAS SOUS 94996 HAS SOUPS 93956 WITH SCORE 94121.853
AT ITER 215 NEW BEST:: SOT 221936 SOS 165720 HAS SOPS 158551 HAS SOUS 94866 HAS SOUPS 93826 WITH SCORE 93991.72
AT ITER 223 NEW BEST:: SOT 221936 SOS 165554 HAS SOPS 158485 HAS SOUS 94398 HAS SOUPS 93458 WITH SCORE 93623.554
AT ITER 228 NEW BEST:: SOT 221936 SOS 165554 HAS SOPS 158485 HAS SOUS 94318 HAS SOUPS 93378 WITH SCORE 93543.554
AT ITER 231 NEW BEST:: SOT 221936 SOS 165446 HAS SOPS 158343 HAS SOUS 94300 HAS SOUPS 93326 WITH SCORE 93491.446
AT ITER 233 NEW BEST:: SOT 221936 SOS 165416 HAS SOPS 158313 HAS SOUS 94177 HAS SOUPS 93203 WITH SCORE 93368.416
AT ITER 239 NEW BEST:: SOT 221936 SOS 165394 HAS SOPS 158291 HAS SOUS 94149 HAS SOUPS 93175 WITH SCORE 93340.394
AT ITER 242 NEW BEST:: SOT 227179 SOS 170285 HAS SOPS 163498 HAS SOUS 93645 HAS SOUPS 92689 WITH SCORE 92859.285
AT ITER 250 NEW BEST:: SOT 227195 SOS 170477 HAS SOPS 163524 HAS SOUS 93587 HAS SOUPS 92627 WITH SCORE 92797.477
AT ITER 254 NEW BEST:: SOT 227195 SOS 169382 HAS SOPS 162306 HAS SOUS 93229 HAS SOUPS 92269 WITH SCORE 92438.382
AT ITER 258 NEW BEST:: SOT 227163 SOS 169215 HAS SOPS 161817 HAS SOUS 93127 HAS SOUPS 91845 WITH SCORE 92014.215
AT ITER 265 NEW BEST:: SOT 227163 SOS 169174 HAS SOPS 161865 HAS SOUS 92927 HAS SOUPS 91734 WITH SCORE 91903.174
AT ITER 269 NEW BEST:: SOT 227229 SOS 169240 HAS SOPS 161861 HAS SOUS 92993 HAS SOUPS 91730 WITH SCORE 91899.24
AT ITER 273 NEW BEST:: SOT 227229 SOS 169240 HAS SOPS 161861 HAS SOUS 92992 HAS SOUPS 91729 WITH SCORE 91898.24
AT ITER 274 NEW BEST:: SOT 173108 SOS 130040 HAS SOPS 111425 HAS SOUS 87690 HAS SOUPS 86816 WITH SCORE 86946.04
AT ITER 283 NEW BEST:: SOT 173109 SOS 130041 HAS SOPS 111410 HAS SOUS 87675 HAS SOUPS 86801 WITH SCORE 86931.041
AT ITER 287 NEW BEST:: SOT 172995 SOS 129825 HAS SOPS 111092 HAS SOUS 87583 HAS SOUPS 86709 WITH SCORE 86838.825
AT ITER 290 NEW BEST:: SOT 172995 SOS 129787 HAS SOPS 111054 HAS SOUS 87571 HAS SOUPS 86697 WITH SCORE 86826.787
AT ITER 292 NEW BEST:: SOT 172965 SOS 129644 HAS SOPS 110778 HAS SOUS 87233 HAS SOUPS 86359 WITH SCORE 86488.644
AT ITER 297 NEW BEST:: SOT 173014 SOS 129766 HAS SOPS 110973 HAS SOUS 87162 HAS SOUPS 86288 WITH SCORE 86417.766
AT ITER 304 NEW BEST:: SOT 172991 SOS 129743 HAS SOPS 110950 HAS SOUS 87047 HAS SOUPS 86173 WITH SCORE 86302.743
AT ITER 305 NEW BEST:: SOT 172894 SOS 129383 HAS SOPS 110544 HAS SOUS 86485 HAS SOUPS 85637 WITH SCORE 85766.383
AT ITER 307 NEW BEST:: SOT 172855 SOS 129266 HAS SOPS 110388 HAS SOUS 86290 HAS SOUPS 85442 WITH SCORE 85571.266
AT ITER 313 NEW BEST:: SOT 170646 SOS 127057 HAS SOPS 108179 HAS SOUS 84379 HAS SOUPS 83531 WITH SCORE 83658.057
AT ITER 317 NEW BEST:: SOT 170646 SOS 124680 HAS SOPS 106748 HAS SOUS 84322 HAS SOUPS 83533 WITH SCORE 83657.68
AT ITER 324 NEW BEST:: SOT 170696 SOS 124730 HAS SOPS 106798 HAS SOUS 84290 HAS SOUPS 83501 WITH SCORE 83625.73
AT ITER 330 NEW BEST:: SOT 170696 SOS 122435 HAS SOPS 105335 HAS SOUS 84150 HAS SOUPS 83413 WITH SCORE 83535.435
AT ITER 333 NEW BEST:: SOT 170733 SOS 122472 HAS SOPS 105372 HAS SOUS 84023 HAS SOUPS 83286 WITH SCORE 83408.472
AT ITER 353 NEW BEST:: SOT 170518 SOS 122282 HAS SOPS 105191 HAS SOUS 83750 HAS SOUPS 83013 WITH SCORE 83135.282
AT ITER 354 NEW BEST:: SOT 170468 SOS 122232 HAS SOPS 105141 HAS SOUS 83718 HAS SOUPS 82981 WITH SCORE 83103.232
AT ITER 355 NEW BEST:: SOT 170391 SOS 122231 HAS SOPS 104986 HAS SOUS 83640 HAS SOUPS 82903 WITH SCORE 83025.231
AT ITER 356 NEW BEST:: SOT 170425 SOS 122221 HAS SOPS 105010 HAS SOUS 83586 HAS SOUPS 82849 WITH SCORE 82971.221
AT ITER 357 NEW BEST:: SOT 170353 SOS 122136 HAS SOPS 104925 HAS SOUS 83507 HAS SOUPS 82770 WITH SCORE 82892.136
AT ITER 362 NEW BEST:: SOT 170348 SOS 122205 HAS SOPS 104989 HAS SOUS 83492 HAS SOUPS 82755 WITH SCORE 82877.205
AT ITER 368 NEW BEST:: SOT 134148 SOS 94811 HAS SOPS 68789 HAS SOUS 47379 HAS SOUPS 46487 WITH SCORE 46581.811
AT ITER 375 NEW BEST:: SOT 134018 SOS 94681 HAS SOPS 68659 HAS SOUS 47275 HAS SOUPS 46383 WITH SCORE 46477.681
AT ITER 379 NEW BEST:: SOT 134018 SOS 94681 HAS SOPS 68659 HAS SOUS 47243 HAS SOUPS 46351 WITH SCORE 46445.681
AT ITER 388 NEW BEST:: SOT 134126 SOS 94789 HAS SOPS 68605 HAS SOUS 47159 HAS SOUPS 46267 WITH SCORE 46361.789
AT ITER 396 NEW BEST:: SOT 134122 SOS 94785 HAS SOPS 68765 HAS SOUS 47151 HAS SOUPS 46259 WITH SCORE 46353.785
AT ITER 405 NEW BEST:: SOT 133890 SOS 94553 HAS SOPS 68496 HAS SOUS 46833 HAS SOUPS 45941 WITH SCORE 46035.553
AT ITER 407 NEW BEST:: SOT 133832 SOS 94485 HAS SOPS 68370 HAS SOUS 46482 HAS SOUPS 45590 WITH SCORE 45684.485
AT ITER 415 NEW BEST:: SOT 133932 SOS 94591 HAS SOPS 68576 HAS SOUS 46442 HAS SOUPS 45550 WITH SCORE 45644.591
AT ITER 420 NEW BEST:: SOT 133874 SOS 94533 HAS SOPS 68420 HAS SOUS 46180 HAS SOUPS 45288 WITH SCORE 45382.533
AT ITER 423 NEW BEST:: SOT 133692 SOS 94340 HAS SOPS 68220 HAS SOUS 46140 HAS SOUPS 45248 WITH SCORE 45342.34
AT ITER 424 NEW BEST:: SOT 133692 SOS 94356 HAS SOPS 68236 HAS SOUS 46084 HAS SOUPS 45192 WITH SCORE 45286.356
AT ITER 429 NEW BEST:: SOT 133673 SOS 94359 HAS SOPS 68249 HAS SOUS 46065 HAS SOUPS 45175 WITH SCORE 45269.359
AT ITER 430 NEW BEST:: SOT 133639 SOS 94303 HAS SOPS 67965 HAS SOUS 45783 HAS SOUPS 44891 WITH SCORE 44985.303
AT ITER 431 NEW BEST:: SOT 133585 SOS 94249 HAS SOPS 67867 HAS SOUS 45719 HAS SOUPS 44827 WITH SCORE 44921.249
AT ITER 433 NEW BEST:: SOT 133579 SOS 94243 HAS SOPS 67855 HAS SOUS 45701 HAS SOUPS 44809 WITH SCORE 44903.243
AT ITER 434 NEW BEST:: SOT 133027 SOS 93691 HAS SOPS 67211 HAS SOUS 45067 HAS SOUPS 44165 WITH SCORE 44258.691
AT ITER 435 NEW BEST:: SOT 132957 SOS 93621 HAS SOPS 67071 HAS SOUS 44997 HAS SOUPS 44095 WITH SCORE 44188.621
AT ITER 436 NEW BEST:: SOT 132957 SOS 93615 HAS SOPS 67065 HAS SOUS 44997 HAS SOUPS 44095 WITH SCORE 44188.615
AT ITER 465 NEW BEST:: SOT 132893 SOS 93551 HAS SOPS 67001 HAS SOUS 44869 HAS SOUPS 43967 WITH SCORE 44060.551
AT ITER 473 NEW BEST:: SOT 132811 SOS 93469 HAS SOPS 66957 HAS SOUS 44825 HAS SOUPS 43923 WITH SCORE 44016.469
AT ITER 477 NEW BEST:: SOT 132811 SOS 93597 HAS SOPS 67085 HAS SOUS 44696 HAS SOUPS 43794 WITH SCORE 43887.597
AT ITER 480 NEW BEST:: SOT 132713 SOS 93547 HAS SOPS 67133 HAS SOUS 44598 HAS SOUPS 43696 WITH SCORE 43789.547
AT ITER 482 NEW BEST:: SOT 132445 SOS 93279 HAS SOPS 66597 HAS SOUS 44062 HAS SOUPS 43160 WITH SCORE 43253.279
AT ITER 487 NEW BEST:: SOT 132445 SOS 93431 HAS SOPS 66749 HAS SOUS 43896 HAS SOUPS 42994 WITH SCORE 43087.431
AT ITER 498 NEW BEST:: SOT 128856 SOS 96526 HAS SOPS 64416 HAS SOUS 42301 HAS SOUPS 41407 WITH SCORE 41503.526
AT ITER 499 NEW BEST:: SOT 128970 SOS 96640 HAS SOPS 64746 HAS SOUS 42287 HAS SOUPS 41393 WITH SCORE 41489.64
AT ITER 507 NEW BEST:: SOT 128942 SOS 96612 HAS SOPS 64718 HAS SOUS 42245 HAS SOUPS 41351 WITH SCORE 41447.612
AT ITER 511 NEW BEST:: SOT 128882 SOS 96552 HAS SOPS 64642 HAS SOUS 42177 HAS SOUPS 41283 WITH SCORE 41379.552
AT ITER 515 NEW BEST:: SOT 128640 SOS 96310 HAS SOPS 64136 HAS SOUS 41681 HAS SOUPS 40799 WITH SCORE 40895.31
AT ITER 517 NEW BEST:: SOT 128550 SOS 96220 HAS SOPS 63956 HAS SOUS 41531 HAS SOUPS 40649 WITH SCORE 40745.22
AT ITER 519 NEW BEST:: SOT 128510 SOS 96180 HAS SOPS 63916 HAS SOUS 41531 HAS SOUPS 40649 WITH SCORE 40745.18
AT ITER 524 NEW BEST:: SOT 128476 SOS 96146 HAS SOPS 63848 HAS SOUS 41413 HAS SOUPS 40531 WITH SCORE 40627.146
AT ITER 534 NEW BEST:: SOT 128554 SOS 96224 HAS SOPS 63620 HAS SOUS 41357 HAS SOUPS 40475 WITH SCORE 40571.224
AT ITER 538 NEW BEST:: SOT 128488 SOS 96158 HAS SOPS 63538 HAS SOUS 41225 HAS SOUPS 40343 WITH SCORE 40439.158
AT ITER 539 NEW BEST:: SOT 128352 SOS 96002 HAS SOPS 63324 HAS SOUS 41167 HAS SOUPS 40285 WITH SCORE 40381.002
AT ITER 540 NEW BEST:: SOT 128352 SOS 96002 HAS SOPS 63324 HAS SOUS 41137 HAS SOUPS 40255 WITH SCORE 40351.002
AT ITER 541 NEW BEST:: SOT 128352 SOS 96005 HAS SOPS 63327 HAS SOUS 41134 HAS SOUPS 40252 WITH SCORE 40348.005
AT ITER 546 NEW BEST:: SOT 128284 SOS 95937 HAS SOPS 62845 HAS SOUS 40914 HAS SOUPS 40032 WITH SCORE 40127.937
AT ITER 553 NEW BEST:: SOT 128272 SOS 95925 HAS SOPS 62829 HAS SOUS 40894 HAS SOUPS 40012 WITH SCORE 40107.925
AT ITER 571 NEW BEST:: SOT 128158 SOS 95811 HAS SOPS 62661 HAS SOUS 40720 HAS SOUPS 39838 WITH SCORE 39933.811
AT ITER 572 NEW BEST:: SOT 128112 SOS 95765 HAS SOPS 62592 HAS SOUS 40624 HAS SOUPS 39742 WITH SCORE 39837.765
AT ITER 576 NEW BEST:: SOT 128018 SOS 95671 HAS SOPS 62422 HAS SOUS 40380 HAS SOUPS 39498 WITH SCORE 39593.671
AT ITER 577 NEW BEST:: SOT 127950 SOS 95588 HAS SOPS 62271 HAS SOUS 40260 HAS SOUPS 39378 WITH SCORE 39473.588
AT ITER 582 NEW BEST:: SOT 127882 SOS 95520 HAS SOPS 62195 HAS SOUS 40124 HAS SOUPS 39242 WITH SCORE 39337.52
AT ITER 586 NEW BEST:: SOT 127870 SOS 95508 HAS SOPS 62183 HAS SOUS 40108 HAS SOUPS 39226 WITH SCORE 39321.508
AT ITER 601 NEW BEST:: SOT 127793 SOS 95431 HAS SOPS 62029 HAS SOUS 39907 HAS SOUPS 39025 WITH SCORE 39120.431
AT ITER 605 NEW BEST:: SOT 127765 SOS 95417 HAS SOPS 61975 HAS SOUS 39863 HAS SOUPS 38981 WITH SCORE 39076.417
AT ITER 614 NEW BEST:: SOT 127753 SOS 95405 HAS SOPS 61963 HAS SOUS 39851 HAS SOUPS 38969 WITH SCORE 39064.405
AT ITER 616 NEW BEST:: SOT 127951 SOS 95603 HAS SOPS 61467 HAS SOUS 39713 HAS SOUPS 38831 WITH SCORE 38926.603
AT ITER 618 NEW BEST:: SOT 127905 SOS 95557 HAS SOPS 61467 HAS SOUS 39621 HAS SOUPS 38739 WITH SCORE 38834.557
AT ITER 619 NEW BEST:: SOT 127853 SOS 95505 HAS SOPS 61399 HAS SOUS 39553 HAS SOUPS 38671 WITH SCORE 38766.505
AT ITER 632 NEW BEST:: SOT 127820 SOS 95646 HAS SOPS 61555 HAS SOUS 39428 HAS SOUPS 38569 WITH SCORE 38664.646
AT ITER 642 NEW BEST:: SOT 127775 SOS 95601 HAS SOPS 61510 HAS SOUS 39383 HAS SOUPS 38524 WITH SCORE 38619.601
AT ITER 645 NEW BEST:: SOT 127689 SOS 95515 HAS SOPS 61338 HAS SOUS 39267 HAS SOUPS 38408 WITH SCORE 38503.515
AT ITER 656 NEW BEST:: SOT 127551 SOS 95377 HAS SOPS 60840 HAS SOUS 38853 HAS SOUPS 37994 WITH SCORE 38089.377
AT ITER 657 NEW BEST:: SOT 127520 SOS 95312 HAS SOPS 60611 HAS SOUS 38780 HAS SOUPS 37921 WITH SCORE 38016.312
AT ITER 669 NEW BEST:: SOT 127520 SOS 95312 HAS SOPS 60551 HAS SOUS 38600 HAS SOUPS 37741 WITH SCORE 37836.312
AT ITER 675 NEW BEST:: SOT 127560 SOS 95352 HAS SOPS 60589 HAS SOUS 38558 HAS SOUPS 37699 WITH SCORE 37794.352
AT ITER 710 NEW BEST:: SOT 127491 SOS 95266 HAS SOPS 60434 HAS SOUS 38228 HAS SOUPS 37369 WITH SCORE 37464.266
AT ITER 720 NEW BEST:: SOT 127479 SOS 95254 HAS SOPS 60427 HAS SOUS 38211 HAS SOUPS 37362 WITH SCORE 37457.254
AT ITER 722 NEW BEST:: SOT 127429 SOS 95184 HAS SOPS 60337 HAS SOUS 38141 HAS SOUPS 37292 WITH SCORE 37387.184
AT ITER 727 NEW BEST:: SOT 127387 SOS 95217 HAS SOPS 60423 HAS SOUS 38131 HAS SOUPS 37282 WITH SCORE 37377.217
AT ITER 730 NEW BEST:: SOT 127387 SOS 95217 HAS SOPS 60409 HAS SOUS 38117 HAS SOUPS 37268 WITH SCORE 37363.217
AT ITER 735 NEW BEST:: SOT 127371 SOS 95201 HAS SOPS 60377 HAS SOUS 38085 HAS SOUPS 37236 WITH SCORE 37331.201
AT ITER 739 NEW BEST:: SOT 127349 SOS 95179 HAS SOPS 60333 HAS SOUS 38063 HAS SOUPS 37214 WITH SCORE 37309.179
AT ITER 758 NEW BEST:: SOT 127257 SOS 95087 HAS SOPS 59933 HAS SOUS 38005 HAS SOUPS 37156 WITH SCORE 37251.087
AT ITER 761 NEW BEST:: SOT 127239 SOS 95069 HAS SOPS 59897 HAS SOUS 37977 HAS SOUPS 37120 WITH SCORE 37215.069
AT ITER 764 NEW BEST:: SOT 126921 SOS 94751 HAS SOPS 59537 HAS SOUS 37509 HAS SOUPS 36622 WITH SCORE 36716.751
AT ITER 765 NEW BEST:: SOT 126919 SOS 94749 HAS SOPS 59533 HAS SOUS 37507 HAS SOUPS 36620 WITH SCORE 36714.749
AT ITER 767 NEW BEST:: SOT 126897 SOS 94727 HAS SOPS 59489 HAS SOUS 37485 HAS SOUPS 36598 WITH SCORE 36692.727
AT ITER 768 NEW BEST:: SOT 126785 SOS 94615 HAS SOPS 59166 HAS SOUS 37433 HAS SOUPS 36546 WITH SCORE 36640.615
AT ITER 799 NEW BEST:: SOT 126809 SOS 94639 HAS SOPS 59372 HAS SOUS 37385 HAS SOUPS 36498 WITH SCORE 36592.639
AT ITER 800 NEW BEST:: SOT 126793 SOS 94623 HAS SOPS 59352 HAS SOUS 37361 HAS SOUPS 36474 WITH SCORE 36568.623
AT ITER 811 NEW BEST:: SOT 127080 SOS 94902 HAS SOPS 59659 HAS SOUS 37347 HAS SOUPS 36460 WITH SCORE 36554.902
AT ITER 814 NEW BEST:: SOT 127058 SOS 94880 HAS SOPS 59615 HAS SOUS 37341 HAS SOUPS 36454 WITH SCORE 36548.88
AT ITER 819 NEW BEST:: SOT 126626 SOS 94448 HAS SOPS 58830 HAS SOUS 36640 HAS SOUPS 35753 WITH SCORE 35847.448
AT ITER 826 NEW BEST:: SOT 126546 SOS 94368 HAS SOPS 58750 HAS SOUS 36560 HAS SOUPS 35673 WITH SCORE 35767.368
AT ITER 829 NEW BEST:: SOT 126492 SOS 94314 HAS SOPS 58642 HAS SOUS 36452 HAS SOUPS 35565 WITH SCORE 35659.314
AT ITER 834 NEW BEST:: SOT 126512 SOS 94334 HAS SOPS 58592 HAS SOUS 36322 HAS SOUPS 35435 WITH SCORE 35529.334
AT ITER 843 NEW BEST:: SOT 126488 SOS 94310 HAS SOPS 58544 HAS SOUS 36266 HAS SOUPS 35379 WITH SCORE 35473.31
AT ITER 846 NEW BEST:: SOT 126512 SOS 94114 HAS SOPS 58340 HAS SOUS 36225 HAS SOUPS 35338 WITH SCORE 35432.114
AT ITER 871 NEW BEST:: SOT 126270 SOS 93908 HAS SOPS 58126 HAS SOUS 36197 HAS SOUPS 35310 WITH SCORE 35403.908
AT ITER 876 NEW BEST:: SOT 125965 SOS 93531 HAS SOPS 57619 HAS SOUS 35944 HAS SOUPS 35057 WITH SCORE 35150.531
AT ITER 877 NEW BEST:: SOT 125965 SOS 93531 HAS SOPS 57619 HAS SOUS 35932 HAS SOUPS 35045 WITH SCORE 35138.531
AT ITER 878 NEW BEST:: SOT 125949 SOS 93515 HAS SOPS 57587 HAS SOUS 35916 HAS SOUPS 35029 WITH SCORE 35122.515
AT ITER 883 NEW BEST:: SOT 125887 SOS 93453 HAS SOPS 57463 HAS SOUS 35684 HAS SOUPS 34797 WITH SCORE 34890.453
AT ITER 884 NEW BEST:: SOT 125836 SOS 93402 HAS SOPS 57361 HAS SOUS 35646 HAS SOUPS 34759 WITH SCORE 34852.402
AT ITER 885 NEW BEST:: SOT 125864 SOS 93309 HAS SOPS 57231 HAS SOUS 35547 HAS SOUPS 34660 WITH SCORE 34753.309
AT ITER 886 NEW BEST:: SOT 125854 SOS 93299 HAS SOPS 57211 HAS SOUS 35527 HAS SOUPS 34640 WITH SCORE 34733.299
AT ITER 888 NEW BEST:: SOT 125834 SOS 93279 HAS SOPS 57199 HAS SOUS 35515 HAS SOUPS 34628 WITH SCORE 34721.279
AT ITER 889 NEW BEST:: SOT 125845 SOS 93290 HAS SOPS 57228 HAS SOUS 35504 HAS SOUPS 34617 WITH SCORE 34710.29
AT ITER 894 NEW BEST:: SOT 125799 SOS 93244 HAS SOPS 57182 HAS SOUS 35458 HAS SOUPS 34571 WITH SCORE 34664.244
AT ITER 896 NEW BEST:: SOT 125779 SOS 93224 HAS SOPS 57004 HAS SOUS 35366 HAS SOUPS 34479 WITH SCORE 34572.224
AT ITER 912 NEW BEST:: SOT 125779 SOS 93212 HAS SOPS 56992 HAS SOUS 35360 HAS SOUPS 34473 WITH SCORE 34566.212
AT ITER 917 NEW BEST:: SOT 125797 SOS 93230 HAS SOPS 57014 HAS SOUS 35344 HAS SOUPS 34457 WITH SCORE 34550.23
AT ITER 931 NEW BEST:: SOT 125785 SOS 93218 HAS SOPS 57002 HAS SOUS 35324 HAS SOUPS 34437 WITH SCORE 34530.218
AT ITER 937 NEW BEST:: SOT 125470 SOS 92902 HAS SOPS 56371 HAS SOUS 34721 HAS SOUPS 33834 WITH SCORE 33926.902
AT ITER 944 NEW BEST:: SOT 125416 SOS 92848 HAS SOPS 56324 HAS SOUS 34681 HAS SOUPS 33794 WITH SCORE 33886.848
AT ITER 949 NEW BEST:: SOT 125398 SOS 92830 HAS SOPS 56306 HAS SOUS 34663 HAS SOUPS 33776 WITH SCORE 33868.83
AT ITER 959 NEW BEST:: SOT 125476 SOS 92908 HAS SOPS 56302 HAS SOUS 34659 HAS SOUPS 33772 WITH SCORE 33864.908
AT ITER 971 NEW BEST:: SOT 124985 SOS 92499 HAS SOPS 55902 HAS SOUS 34232 HAS SOUPS 33345 WITH SCORE 33437.499
AT ITER 981 NEW BEST:: SOT 124975 SOS 92376 HAS SOPS 55776 HAS SOUS 34179 HAS SOUPS 33292 WITH SCORE 33384.376
AT ITER 993 NEW BEST:: SOT 124941 SOS 92342 HAS SOPS 55759 HAS SOUS 34153 HAS SOUPS 33266 WITH SCORE 33358.342
AT ITER 1004 NEW BEST:: SOT 125003 SOS 92404 HAS SOPS 55947 HAS SOUS 34111 HAS SOUPS 33224 WITH SCORE 33316.404
AT ITER 1006 NEW BEST:: SOT 125009 SOS 92410 HAS SOPS 55988 HAS SOUS 34081 HAS SOUPS 33194 WITH SCORE 33286.41
AT ITER 1016 NEW BEST:: SOT 124897 SOS 92298 HAS SOPS 55812 HAS SOUS 33857 HAS SOUPS 32970 WITH SCORE 33062.298
AT ITER 1024 NEW BEST:: SOT 124893 SOS 92294 HAS SOPS 55804 HAS SOUS 33854 HAS SOUPS 32967 WITH SCORE 33059.294
AT ITER 1029 NEW BEST:: SOT 124941 SOS 92342 HAS SOPS 55834 HAS SOUS 33836 HAS SOUPS 32949 WITH SCORE 33041.342
AT ITER 1035 NEW BEST:: SOT 124957 SOS 92358 HAS SOPS 55876 HAS SOUS 33808 HAS SOUPS 32921 WITH SCORE 33013.358
AT ITER 1048 NEW BEST:: SOT 124887 SOS 92288 HAS SOPS 55774 HAS SOUS 33720 HAS SOUPS 32819 WITH SCORE 32911.288
AT ITER 1050 NEW BEST:: SOT 124999 SOS 92318 HAS SOPS 55756 HAS SOUS 33650 HAS SOUPS 32749 WITH SCORE 32841.318
AT ITER 1051 NEW BEST:: SOT 124961 SOS 92280 HAS SOPS 55632 HAS SOUS 33574 HAS SOUPS 32673 WITH SCORE 32765.28
AT ITER 1062 NEW BEST:: SOT 124961 SOS 92280 HAS SOPS 55632 HAS SOUS 33516 HAS SOUPS 32615 WITH SCORE 32707.28
AT ITER 1063 NEW BEST:: SOT 125007 SOS 92326 HAS SOPS 55636 HAS SOUS 33478 HAS SOUPS 32577 WITH SCORE 32669.326
AT ITER 1064 NEW BEST:: SOT 125001 SOS 92320 HAS SOPS 55628 HAS SOUS 33466 HAS SOUPS 32565 WITH SCORE 32657.32
AT ITER 1079 NEW BEST:: SOT 125045 SOS 93870 HAS SOPS 56490 HAS SOUS 33504 HAS SOUPS 32558 WITH SCORE 32651.87
AT ITER 1082 NEW BEST:: SOT 125065 SOS 93890 HAS SOPS 56520 HAS SOUS 33474 HAS SOUPS 32528 WITH SCORE 32621.89
AT ITER 1089 NEW BEST:: SOT 125108 SOS 93967 HAS SOPS 56579 HAS SOUS 33390 HAS SOUPS 32444 WITH SCORE 32537.967
AT ITER 1093 NEW BEST:: SOT 125074 SOS 93988 HAS SOPS 56628 HAS SOUS 33311 HAS SOUPS 32365 WITH SCORE 32458.988
AT ITER 1096 NEW BEST:: SOT 124998 SOS 93912 HAS SOPS 56536 HAS SOUS 33219 HAS SOUPS 32273 WITH SCORE 32366.912
AT ITER 1102 NEW BEST:: SOT 124984 SOS 93898 HAS SOPS 56508 HAS SOUS 33191 HAS SOUPS 32245 WITH SCORE 32338.898
AT ITER 1103 NEW BEST:: SOT 124852 SOS 93766 HAS SOPS 56414 HAS SOUS 32997 HAS SOUPS 32051 WITH SCORE 32144.766
AT ITER 1122 NEW BEST:: SOT 124750 SOS 93664 HAS SOPS 56202 HAS SOUS 32793 HAS SOUPS 31847 WITH SCORE 31940.664
AT ITER 1123 NEW BEST:: SOT 124632 SOS 93546 HAS SOPS 56002 HAS SOUS 32569 HAS SOUPS 31623 WITH SCORE 31716.546
AT ITER 1125 NEW BEST:: SOT 124640 SOS 93554 HAS SOPS 55994 HAS SOUS 32561 HAS SOUPS 31615 WITH SCORE 31708.554
AT ITER 1129 NEW BEST:: SOT 124590 SOS 93493 HAS SOPS 55932 HAS SOUS 32557 HAS SOUPS 31611 WITH SCORE 31704.493
AT ITER 1139 NEW BEST:: SOT 124412 SOS 93315 HAS SOPS 55710 HAS SOUS 32379 HAS SOUPS 31393 WITH SCORE 31486.315
AT ITER 1141 NEW BEST:: SOT 124273 SOS 93119 HAS SOPS 55425 HAS SOUS 32328 HAS SOUPS 31342 WITH SCORE 31435.119
AT ITER 1146 NEW BEST:: SOT 124223 SOS 93069 HAS SOPS 55375 HAS SOUS 32278 HAS SOUPS 31292 WITH SCORE 31385.069
AT ITER 1147 NEW BEST:: SOT 124281 SOS 93127 HAS SOPS 55491 HAS SOUS 32232 HAS SOUPS 31246 WITH SCORE 31339.127
AT ITER 1151 NEW BEST:: SOT 124123 SOS 92969 HAS SOPS 55231 HAS SOUS 31964 HAS SOUPS 30978 WITH SCORE 31070.969
AT ITER 1170 NEW BEST:: SOT 124123 SOS 92969 HAS SOPS 55187 HAS SOUS 31920 HAS SOUPS 30934 WITH SCORE 31026.969
AT ITER 1181 NEW BEST:: SOT 124123 SOS 92969 HAS SOPS 55187 HAS SOUS 31888 HAS SOUPS 30902 WITH SCORE 30994.969
AT ITER 1216 NEW BEST:: SOT 124105 SOS 92951 HAS SOPS 55151 HAS SOUS 31852 HAS SOUPS 30866 WITH SCORE 30958.951
AT ITER 1231 NEW BEST:: SOT 124059 SOS 92905 HAS SOPS 55295 HAS SOUS 31760 HAS SOUPS 30774 WITH SCORE 30866.905
AT ITER 1234 NEW BEST:: SOT 124110 SOS 92870 HAS SOPS 55256 HAS SOUS 31645 HAS SOUPS 30659 WITH SCORE 30751.87
AT ITER 1247 NEW BEST:: SOT 124142 SOS 92902 HAS SOPS 55320 HAS SOUS 31621 HAS SOUPS 30635 WITH SCORE 30727.902
AT ITER 1249 NEW BEST:: SOT 124142 SOS 92902 HAS SOPS 55320 HAS SOUS 31567 HAS SOUPS 30581 WITH SCORE 30673.902
AT ITER 1278 NEW BEST:: SOT 124120 SOS 92880 HAS SOPS 55320 HAS SOUS 31545 HAS SOUPS 30559 WITH SCORE 30651.88
AT ITER 1288 NEW BEST:: SOT 124120 SOS 92880 HAS SOPS 55312 HAS SOUS 31529 HAS SOUPS 30543 WITH SCORE 30635.88
AT ITER 1296 NEW BEST:: SOT 124056 SOS 92816 HAS SOPS 55200 HAS SOUS 31417 HAS SOUPS 30431 WITH SCORE 30523.816
AT ITER 1310 NEW BEST:: SOT 124056 SOS 92738 HAS SOPS 55122 HAS SOUS 31396 HAS SOUPS 30410 WITH SCORE 30502.738
AT ITER 1318 NEW BEST:: SOT 124026 SOS 92708 HAS SOPS 55092 HAS SOUS 31372 HAS SOUPS 30386 WITH SCORE 30478.708
AT ITER 1322 NEW BEST:: SOT 123930 SOS 92612 HAS SOPS 55044 HAS SOUS 31276 HAS SOUPS 30290 WITH SCORE 30382.612
AT ITER 1323 NEW BEST:: SOT 123928 SOS 92610 HAS SOPS 55040 HAS SOUS 31272 HAS SOUPS 30286 WITH SCORE 30378.61
AT ITER 1331 NEW BEST:: SOT 123928 SOS 92608 HAS SOPS 55036 HAS SOUS 31271 HAS SOUPS 30284 WITH SCORE 30376.608
AT ITER 1334 NEW BEST:: SOT 123902 SOS 92582 HAS SOPS 55016 HAS SOUS 31251 HAS SOUPS 30264 WITH SCORE 30356.582
AT ITER 1347 NEW BEST:: SOT 123862 SOS 92542 HAS SOPS 54976 HAS SOUS 31213 HAS SOUPS 30226 WITH SCORE 30318.542
AT ITER 1356 NEW BEST:: SOT 123848 SOS 92528 HAS SOPS 54956 HAS SOUS 31193 HAS SOUPS 30206 WITH SCORE 30298.528
AT ITER 1361 NEW BEST:: SOT 123710 SOS 92355 HAS SOPS 54714 HAS SOUS 31089 HAS SOUPS 30102 WITH SCORE 30194.355
AT ITER 1368 NEW BEST:: SOT 123706 SOS 92351 HAS SOPS 54710 HAS SOUS 31083 HAS SOUPS 30096 WITH SCORE 30188.351
AT ITER 1378 NEW BEST:: SOT 123670 SOS 92315 HAS SOPS 54638 HAS SOUS 31083 HAS SOUPS 30096 WITH SCORE 30188.315
AT ITER 1386 NEW BEST:: SOT 123628 SOS 92273 HAS SOPS 54596 HAS SOUS 31041 HAS SOUPS 30054 WITH SCORE 30146.273
AT ITER 1388 NEW BEST:: SOT 123574 SOS 92219 HAS SOPS 54623 HAS SOUS 30987 HAS SOUPS 30000 WITH SCORE 30092.219
AT ITER 1389 NEW BEST:: SOT 123330 SOS 91975 HAS SOPS 54420 HAS SOUS 30727 HAS SOUPS 29740 WITH SCORE 29831.975
AT ITER 1433 NEW BEST:: SOT 123300 SOS 91945 HAS SOPS 54258 HAS SOUS 30667 HAS SOUPS 29680 WITH SCORE 29771.945
AT ITER 1434 NEW BEST:: SOT 123294 SOS 91939 HAS SOPS 54218 HAS SOUS 30655 HAS SOUPS 29668 WITH SCORE 29759.939
AT ITER 1436 NEW BEST:: SOT 123184 SOS 91829 HAS SOPS 54050 HAS SOUS 30435 HAS SOUPS 29448 WITH SCORE 29539.829
AT ITER 1443 NEW BEST:: SOT 123184 SOS 91810 HAS SOPS 54040 HAS SOUS 30420 HAS SOUPS 29443 WITH SCORE 29534.81
AT ITER 1454 NEW BEST:: SOT 123174 SOS 91800 HAS SOPS 54020 HAS SOUS 30400 HAS SOUPS 29423 WITH SCORE 29514.8
AT ITER 1490 NEW BEST:: SOT 123172 SOS 91798 HAS SOPS 54017 HAS SOUS 30398 HAS SOUPS 29420 WITH SCORE 29511.798
AT ITER 1491 NEW BEST:: SOT 123133 SOS 91759 HAS SOPS 53960 HAS SOUS 30362 HAS SOUPS 29384 WITH SCORE 29475.759
AT ITER 1513 NEW BEST:: SOT 123099 SOS 91678 HAS SOPS 53838 HAS SOUS 30328 HAS SOUPS 29350 WITH SCORE 29441.678
AT ITER 1531 NEW BEST:: SOT 123099 SOS 91678 HAS SOPS 53812 HAS SOUS 30312 HAS SOUPS 29334 WITH SCORE 29425.678
AT ITER 1539 NEW BEST:: SOT 123095 SOS 91674 HAS SOPS 53804 HAS SOUS 30190 HAS SOUPS 29212 WITH SCORE 29303.674
AT ITER 1545 NEW BEST:: SOT 123129 SOS 91708 HAS SOPS 53872 HAS SOUS 30118 HAS SOUPS 29140 WITH SCORE 29231.708
AT ITER 1548 NEW BEST:: SOT 123122 SOS 91426 HAS SOPS 53461 HAS SOUS 29855 HAS SOUPS 28877 WITH SCORE 28968.426
AT ITER 1552 NEW BEST:: SOT 123072 SOS 91376 HAS SOPS 53299 HAS SOUS 29751 HAS SOUPS 28773 WITH SCORE 28864.376
AT ITER 1584 NEW BEST:: SOT 122958 SOS 91262 HAS SOPS 53137 HAS SOUS 29633 HAS SOUPS 28655 WITH SCORE 28746.262
AT ITER 1593 NEW BEST:: SOT 122965 SOS 89697 HAS SOPS 52279 HAS SOUS 29543 HAS SOUPS 28611 WITH SCORE 28700.697
AT ITER 1597 NEW BEST:: SOT 122949 SOS 89681 HAS SOPS 52247 HAS SOUS 29467 HAS SOUPS 28535 WITH SCORE 28624.681
AT ITER 1601 NEW BEST:: SOT 123483 SOS 88836 HAS SOPS 52540 HAS SOUS 29081 HAS SOUPS 28149 WITH SCORE 28237.836
AT ITER 1613 NEW BEST:: SOT 123533 SOS 88886 HAS SOPS 52436 HAS SOUS 29079 HAS SOUPS 28147 WITH SCORE 28235.886
AT ITER 1630 NEW BEST:: SOT 123625 SOS 88900 HAS SOPS 52470 HAS SOUS 29076 HAS SOUPS 28144 WITH SCORE 28232.9
AT ITER 1645 NEW BEST:: SOT 123547 SOS 88822 HAS SOPS 52238 HAS SOUS 28920 HAS SOUPS 27988 WITH SCORE 28076.822
AT ITER 1647 NEW BEST:: SOT 123489 SOS 88764 HAS SOPS 52154 HAS SOUS 28810 HAS SOUPS 27878 WITH SCORE 27966.764
AT ITER 1649 NEW BEST:: SOT 123487 SOS 88762 HAS SOPS 52150 HAS SOUS 28804 HAS SOUPS 27872 WITH SCORE 27960.762
AT ITER 1651 NEW BEST:: SOT 123487 SOS 88670 HAS SOPS 52058 HAS SOUS 28802 HAS SOUPS 27870 WITH SCORE 27958.67
AT ITER 1655 NEW BEST:: SOT 123465 SOS 88648 HAS SOPS 52058 HAS SOUS 28796 HAS SOUPS 27870 WITH SCORE 27958.648
AT ITER 1656 NEW BEST:: SOT 123497 SOS 88680 HAS SOPS 52066 HAS SOUS 28744 HAS SOUPS 27818 WITH SCORE 27906.68
AT ITER 1665 NEW BEST:: SOT 123493 SOS 88676 HAS SOPS 52058 HAS SOUS 28740 HAS SOUPS 27814 WITH SCORE 27902.676
AT ITER 1671 NEW BEST:: SOT 123493 SOS 88624 HAS SOPS 52005 HAS SOUS 28736 HAS SOUPS 27810 WITH SCORE 27898.624
AT ITER 1686 NEW BEST:: SOT 123412 SOS 88543 HAS SOPS 51884 HAS SOUS 28720 HAS SOUPS 27794 WITH SCORE 27882.543
AT ITER 1695 NEW BEST:: SOT 123328 SOS 88459 HAS SOPS 51774 HAS SOUS 28610 HAS SOUPS 27684 WITH SCORE 27772.459
AT ITER 1697 NEW BEST:: SOT 123328 SOS 88435 HAS SOPS 51750 HAS SOUS 28604 HAS SOUPS 27678 WITH SCORE 27766.435
AT ITER 1702 NEW BEST:: SOT 123266 SOS 88373 HAS SOPS 51599 HAS SOUS 28480 HAS SOUPS 27554 WITH SCORE 27642.373
AT ITER 1705 NEW BEST:: SOT 123266 SOS 88373 HAS SOPS 51553 HAS SOUS 28434 HAS SOUPS 27508 WITH SCORE 27596.373
AT ITER 1709 NEW BEST:: SOT 123244 SOS 88351 HAS SOPS 51487 HAS SOUS 28390 HAS SOUPS 27464 WITH SCORE 27552.351
AT ITER 1717 NEW BEST:: SOT 123128 SOS 88235 HAS SOPS 51371 HAS SOUS 28280 HAS SOUPS 27354 WITH SCORE 27442.235
AT ITER 1750 NEW BEST:: SOT 123212 SOS 88319 HAS SOPS 51383 HAS SOUS 28214 HAS SOUPS 27288 WITH SCORE 27376.319
AT ITER 1785 NEW BEST:: SOT 123204 SOS 88311 HAS SOPS 51403 HAS SOUS 28198 HAS SOUPS 27272 WITH SCORE 27360.311
AT ITER 1795 NEW BEST:: SOT 123204 SOS 88311 HAS SOPS 51394 HAS SOUS 28189 HAS SOUPS 27263 WITH SCORE 27351.311
AT ITER 1796 NEW BEST:: SOT 123046 SOS 88153 HAS SOPS 51372 HAS SOUS 28131 HAS SOUPS 27205 WITH SCORE 27293.153
AT ITER 1804 NEW BEST:: SOT 123071 SOS 88176 HAS SOPS 51317 HAS SOUS 28122 HAS SOUPS 27196 WITH SCORE 27284.176
AT ITER 1808 NEW BEST:: SOT 123071 SOS 88156 HAS SOPS 51297 HAS SOUS 28112 HAS SOUPS 27186 WITH SCORE 27274.156
AT ITER 1816 NEW BEST:: SOT 122979 SOS 88064 HAS SOPS 51159 HAS SOUS 28020 HAS SOUPS 27094 WITH SCORE 27182.064
AT ITER 1831 NEW BEST:: SOT 122979 SOS 88064 HAS SOPS 51159 HAS SOUS 28002 HAS SOUPS 27076 WITH SCORE 27164.064
AT ITER 1840 NEW BEST:: SOT 122987 SOS 88072 HAS SOPS 51125 HAS SOUS 27968 HAS SOUPS 27042 WITH SCORE 27130.072
AT ITER 1842 NEW BEST:: SOT 122979 SOS 88064 HAS SOPS 51109 HAS SOUS 27934 HAS SOUPS 27008 WITH SCORE 27096.064
AT ITER 1845 NEW BEST:: SOT 123005 SOS 88090 HAS SOPS 51136 HAS SOUS 27902 HAS SOUPS 26976 WITH SCORE 27064.09
AT ITER 1855 NEW BEST:: SOT 122963 SOS 88048 HAS SOPS 51052 HAS SOUS 27840 HAS SOUPS 26914 WITH SCORE 27002.048
AT ITER 1872 NEW BEST:: SOT 122963 SOS 87978 HAS SOPS 50982 HAS SOUS 27788 HAS SOUPS 26862 WITH SCORE 26949.978
AT ITER 1878 NEW BEST:: SOT 122963 SOS 87972 HAS SOPS 50948 HAS SOUS 27799 HAS SOUPS 26859 WITH SCORE 26946.972
AT ITER 1881 NEW BEST:: SOT 122913 SOS 87922 HAS SOPS 50848 HAS SOUS 27533 HAS SOUPS 26593 WITH SCORE 26680.922
AT ITER 1883 NEW BEST:: SOT 122913 SOS 87742 HAS SOPS 50668 HAS SOUS 27498 HAS SOUPS 26558 WITH SCORE 26645.742
AT ITER 1884 NEW BEST:: SOT 122919 SOS 87621 HAS SOPS 50546 HAS SOUS 27388 HAS SOUPS 26448 WITH SCORE 26535.621
AT ITER 1886 NEW BEST:: SOT 122909 SOS 87558 HAS SOPS 50507 HAS SOUS 27282 HAS SOUPS 26342 WITH SCORE 26429.558
AT ITER 1889 NEW BEST:: SOT 122883 SOS 87532 HAS SOPS 50481 HAS SOUS 27256 HAS SOUPS 26316 WITH SCORE 26403.532
AT ITER 1912 NEW BEST:: SOT 122883 SOS 87532 HAS SOPS 50481 HAS SOUS 27238 HAS SOUPS 26298 WITH SCORE 26385.532
AT ITER 1930 NEW BEST:: SOT 122879 SOS 87528 HAS SOPS 50473 HAS SOUS 27230 HAS SOUPS 26290 WITH SCORE 26377.528
AT ITER 1931 NEW BEST:: SOT 122811 SOS 87460 HAS SOPS 50475 HAS SOUS 27216 HAS SOUPS 26276 WITH SCORE 26363.46
AT ITER 1932 NEW BEST:: SOT 122657 SOS 87306 HAS SOPS 50241 HAS SOUS 27056 HAS SOUPS 26116 WITH SCORE 26203.306
AT ITER 1942 NEW BEST:: SOT 122631 SOS 87280 HAS SOPS 50189 HAS SOUS 27030 HAS SOUPS 26090 WITH SCORE 26177.28
AT ITER 1958 NEW BEST:: SOT 122629 SOS 87278 HAS SOPS 50186 HAS SOUS 27028 HAS SOUPS 26088 WITH SCORE 26175.278
AT ITER 1975 NEW BEST:: SOT 122629 SOS 88603 HAS SOPS 50907 HAS SOUS 27047 HAS SOUPS 26067 WITH SCORE 26155.603
AT ITER 1978 NEW BEST:: SOT 122623 SOS 88597 HAS SOPS 50895 HAS SOUS 27031 HAS SOUPS 26051 WITH SCORE 26139.597
AT ITER 1988 NEW BEST:: SOT 122625 SOS 88599 HAS SOPS 50880 HAS SOUS 27017 HAS SOUPS 26037 WITH SCORE 26125.599
AT ITER 1997 NEW BEST:: SOT 122567 SOS 88541 HAS SOPS 50764 HAS SOUS 26955 HAS SOUPS 25975 WITH SCORE 26063.541
AT ITER 2006 NEW BEST:: SOT 122561 SOS 88535 HAS SOPS 50746 HAS SOUS 26937 HAS SOUPS 25957 WITH SCORE 26045.535
AT ITER 2008 NEW BEST:: SOT 122489 SOS 88463 HAS SOPS 50722 HAS SOUS 26847 HAS SOUPS 25867 WITH SCORE 25955.463
AT ITER 2012 NEW BEST:: SOT 122405 SOS 88379 HAS SOPS 50388 HAS SOUS 26789 HAS SOUPS 25809 WITH SCORE 25897.379
AT ITER 2079 NEW BEST:: SOT 122414 SOS 88388 HAS SOPS 50387 HAS SOUS 26788 HAS SOUPS 25808 WITH SCORE 25896.388
AT ITER 2082 NEW BEST:: SOT 122548 SOS 88362 HAS SOPS 50383 HAS SOUS 26732 HAS SOUPS 25752 WITH SCORE 25840.362
AT ITER 2095 NEW BEST:: SOT 122574 SOS 88388 HAS SOPS 50281 HAS SOUS 26714 HAS SOUPS 25734 WITH SCORE 25822.388
AT ITER 2102 NEW BEST:: SOT 122637 SOS 89912 HAS SOPS 51211 HAS SOUS 26573 HAS SOUPS 25554 WITH SCORE 25643.912
AT ITER 2103 NEW BEST:: SOT 122663 SOS 89938 HAS SOPS 51263 HAS SOUS 26561 HAS SOUPS 25542 WITH SCORE 25631.938
AT ITER 2114 NEW BEST:: SOT 122687 SOS 89962 HAS SOPS 51219 HAS SOUS 26447 HAS SOUPS 25428 WITH SCORE 25517.962
AT ITER 2115 NEW BEST:: SOT 122869 SOS 90144 HAS SOPS 51355 HAS SOUS 26439 HAS SOUPS 25420 WITH SCORE 25510.144
AT ITER 2132 NEW BEST:: SOT 122859 SOS 90134 HAS SOPS 51345 HAS SOUS 26439 HAS SOUPS 25420 WITH SCORE 25510.134
AT ITER 2137 NEW BEST:: SOT 122872 SOS 90147 HAS SOPS 51359 HAS SOUS 26432 HAS SOUPS 25413 WITH SCORE 25503.147
AT ITER 2142 NEW BEST:: SOT 122848 SOS 90123 HAS SOPS 51323 HAS SOUS 26412 HAS SOUPS 25393 WITH SCORE 25483.123
AT ITER 2144 NEW BEST:: SOT 122840 SOS 90115 HAS SOPS 51307 HAS SOUS 26400 HAS SOUPS 25381 WITH SCORE 25471.115
AT ITER 2153 NEW BEST:: SOT 122840 SOS 90305 HAS SOPS 51497 HAS SOUS 26383 HAS SOUPS 25364 WITH SCORE 25454.305
AT ITER 2161 NEW BEST:: SOT 122837 SOS 90265 HAS SOPS 51476 HAS SOUS 26378 HAS SOUPS 25359 WITH SCORE 25449.265
AT ITER 2165 NEW BEST:: SOT 122815 SOS 90243 HAS SOPS 51434 HAS SOUS 26334 HAS SOUPS 25315 WITH SCORE 25405.243
AT ITER 2177 NEW BEST:: SOT 122607 SOS 90129 HAS SOPS 51237 HAS SOUS 26199 HAS SOUPS 25180 WITH SCORE 25270.129
AT ITER 2197 NEW BEST:: SOT 122579 SOS 90101 HAS SOPS 51147 HAS SOUS 26167 HAS SOUPS 25148 WITH SCORE 25238.101
AT ITER 2200 NEW BEST:: SOT 122483 SOS 90005 HAS SOPS 51053 HAS SOUS 26075 HAS SOUPS 25056 WITH SCORE 25146.005
AT ITER 2226 NEW BEST:: SOT 122473 SOS 89995 HAS SOPS 51043 HAS SOUS 26065 HAS SOUPS 25046 WITH SCORE 25135.995
AT ITER 2244 NEW BEST:: SOT 122455 SOS 89977 HAS SOPS 50986 HAS SOUS 26008 HAS SOUPS 24989 WITH SCORE 25078.977
AT ITER 2258 NEW BEST:: SOT 122278 SOS 89916 HAS SOPS 51021 HAS SOUS 25996 HAS SOUPS 24977 WITH SCORE 25066.916
AT ITER 2277 NEW BEST:: SOT 122222 SOS 89860 HAS SOPS 50937 HAS SOUS 25924 HAS SOUPS 24905 WITH SCORE 24994.86
AT ITER 2289 NEW BEST:: SOT 122222 SOS 90090 HAS SOPS 51167 HAS SOUS 25914 HAS SOUPS 24895 WITH SCORE 24985.09
AT ITER 2301 NEW BEST:: SOT 122224 SOS 90064 HAS SOPS 51143 HAS SOUS 25878 HAS SOUPS 24859 WITH SCORE 24949.064
AT ITER 2306 NEW BEST:: SOT 122188 SOS 90028 HAS SOPS 51071 HAS SOUS 25806 HAS SOUPS 24787 WITH SCORE 24877.028
AT ITER 2320 NEW BEST:: SOT 122172 SOS 90012 HAS SOPS 51055 HAS SOUS 25800 HAS SOUPS 24781 WITH SCORE 24871.012
AT ITER 2340 NEW BEST:: SOT 122184 SOS 90024 HAS SOPS 51045 HAS SOUS 25790 HAS SOUPS 24771 WITH SCORE 24861.024
AT ITER 2341 NEW BEST:: SOT 122170 SOS 90010 HAS SOPS 51017 HAS SOUS 25776 HAS SOUPS 24757 WITH SCORE 24847.01
AT ITER 2349 NEW BEST:: SOT 122132 SOS 89972 HAS SOPS 50969 HAS SOUS 25700 HAS SOUPS 24681 WITH SCORE 24770.972
AT ITER 2354 NEW BEST:: SOT 122124 SOS 89964 HAS SOPS 50969 HAS SOUS 25700 HAS SOUPS 24681 WITH SCORE 24770.964
AT ITER 2364 NEW BEST:: SOT 122114 SOS 89954 HAS SOPS 50969 HAS SOUS 25695 HAS SOUPS 24676 WITH SCORE 24765.954
AT ITER 2367 NEW BEST:: SOT 122130 SOS 89970 HAS SOPS 50913 HAS SOUS 25559 HAS SOUPS 24540 WITH SCORE 24629.97
AT ITER 2401 NEW BEST:: SOT 122130 SOS 89970 HAS SOPS 50907 HAS SOUS 25547 HAS SOUPS 24528 WITH SCORE 24617.97
AT ITER 2410 NEW BEST:: SOT 122118 SOS 89958 HAS SOPS 50883 HAS SOUS 25523 HAS SOUPS 24504 WITH SCORE 24593.958
AT ITER 2420 NEW BEST:: SOT 122088 SOS 89928 HAS SOPS 50913 HAS SOUS 25519 HAS SOUPS 24500 WITH SCORE 24589.928
AT ITER 2423 NEW BEST:: SOT 121974 SOS 89814 HAS SOPS 50741 HAS SOUS 25349 HAS SOUPS 24330 WITH SCORE 24419.814
AT ITER 2429 NEW BEST:: SOT 121914 SOS 89754 HAS SOPS 50681 HAS SOUS 25289 HAS SOUPS 24270 WITH SCORE 24359.754
AT ITER 2452 NEW BEST:: SOT 121802 SOS 89642 HAS SOPS 50625 HAS SOUS 25177 HAS SOUPS 24158 WITH SCORE 24247.642
AT ITER 2453 NEW BEST:: SOT 121802 SOS 89481 HAS SOPS 50464 HAS SOUS 25163 HAS SOUPS 24144 WITH SCORE 24233.481
AT ITER 2467 NEW BEST:: SOT 121808 SOS 89487 HAS SOPS 50530 HAS SOUS 25129 HAS SOUPS 24110 WITH SCORE 24199.487
AT ITER 2470 NEW BEST:: SOT 121784 SOS 89463 HAS SOPS 50482 HAS SOUS 25081 HAS SOUPS 24062 WITH SCORE 24151.463
AT ITER 2498 NEW BEST:: SOT 121810 SOS 89141 HAS SOPS 50146 HAS SOUS 24982 HAS SOUPS 23963 WITH SCORE 24052.141
AT ITER 2511 NEW BEST:: SOT 121770 SOS 89101 HAS SOPS 50106 HAS SOUS 24942 HAS SOUPS 23923 WITH SCORE 24012.101
AT ITER 2515 NEW BEST:: SOT 121762 SOS 89093 HAS SOPS 50098 HAS SOUS 24934 HAS SOUPS 23915 WITH SCORE 24004.093
AT ITER 2520 NEW BEST:: SOT 121975 SOS 89246 HAS SOPS 49969 HAS SOUS 24933 HAS SOUPS 23914 WITH SCORE 24003.246
AT ITER 2545 NEW BEST:: SOT 121975 SOS 89190 HAS SOPS 49913 HAS SOUS 24929 HAS SOUPS 23910 WITH SCORE 23999.19
AT ITER 2552 NEW BEST:: SOT 121937 SOS 89152 HAS SOPS 49893 HAS SOUS 24907 HAS SOUPS 23888 WITH SCORE 23977.152
AT ITER 2563 NEW BEST:: SOT 121859 SOS 89074 HAS SOPS 49815 HAS SOUS 24907 HAS SOUPS 23888 WITH SCORE 23977.074
AT ITER 2582 NEW BEST:: SOT 121845 SOS 89060 HAS SOPS 49831 HAS SOUS 24879 HAS SOUPS 23860 WITH SCORE 23949.06
AT ITER 2612 NEW BEST:: SOT 121845 SOS 87816 HAS SOPS 49067 HAS SOUS 24849 HAS SOUPS 23860 WITH SCORE 23947.816
AT ITER 2629 NEW BEST:: SOT 121839 SOS 87810 HAS SOPS 49061 HAS SOUS 24837 HAS SOUPS 23848 WITH SCORE 23935.81
AT ITER 2656 NEW BEST:: SOT 121827 SOS 87798 HAS SOPS 49037 HAS SOUS 24801 HAS SOUPS 23812 WITH SCORE 23899.798
AT ITER 2663 NEW BEST:: SOT 121737 SOS 87708 HAS SOPS 48937 HAS SOUS 24701 HAS SOUPS 23712 WITH SCORE 23799.708
AT ITER 2680 NEW BEST:: SOT 121772 SOS 87735 HAS SOPS 48954 HAS SOUS 24670 HAS SOUPS 23681 WITH SCORE 23768.735
AT ITER 2686 NEW BEST:: SOT 121772 SOS 87723 HAS SOPS 48942 HAS SOUS 24670 HAS SOUPS 23681 WITH SCORE 23768.723
AT ITER 2692 NEW BEST:: SOT 121708 SOS 87659 HAS SOPS 48844 HAS SOUS 24610 HAS SOUPS 23621 WITH SCORE 23708.659
AT ITER 2707 NEW BEST:: SOT 121694 SOS 87645 HAS SOPS 48830 HAS SOUS 24610 HAS SOUPS 23621 WITH SCORE 23708.645
AT ITER 2708 NEW BEST:: SOT 121684 SOS 87635 HAS SOPS 48820 HAS SOUS 24590 HAS SOUPS 23601 WITH SCORE 23688.635
AT ITER 2715 NEW BEST:: SOT 121676 SOS 87598 HAS SOPS 48778 HAS SOUS 24580 HAS SOUPS 23591 WITH SCORE 23678.598
AT ITER 2728 NEW BEST:: SOT 121666 SOS 87588 HAS SOPS 48758 HAS SOUS 24560 HAS SOUPS 23571 WITH SCORE 23658.588
AT ITER 2757 NEW BEST:: SOT 121594 SOS 87516 HAS SOPS 48714 HAS SOUS 24508 HAS SOUPS 23519 WITH SCORE 23606.516
AT ITER 2781 NEW BEST:: SOT 121594 SOS 87506 HAS SOPS 48704 HAS SOUS 24485 HAS SOUPS 23496 WITH SCORE 23583.506
AT ITER 2849 NEW BEST:: SOT 121598 SOS 87503 HAS SOPS 48763 HAS SOUS 24473 HAS SOUPS 23484 WITH SCORE 23571.503
AT ITER 2852 NEW BEST:: SOT 121598 SOS 87451 HAS SOPS 48711 HAS SOUS 24470 HAS SOUPS 23481 WITH SCORE 23568.451
AT ITER 2863 NEW BEST:: SOT 121620 SOS 87473 HAS SOPS 48757 HAS SOUS 24466 HAS SOUPS 23477 WITH SCORE 23564.473
AT ITER 2872 NEW BEST:: SOT 121616 SOS 87469 HAS SOPS 48749 HAS SOUS 24460 HAS SOUPS 23469 WITH SCORE 23556.469
AT ITER 2904 NEW BEST:: SOT 121643 SOS 87517 HAS SOPS 48796 HAS SOUS 24381 HAS SOUPS 23390 WITH SCORE 23477.517
AT ITER 2907 NEW BEST:: SOT 121643 SOS 87721 HAS SOPS 49000 HAS SOUS 24375 HAS SOUPS 23384 WITH SCORE 23471.721
AT ITER 2943 NEW BEST:: SOT 121479 SOS 87557 HAS SOPS 48720 HAS SOUS 24161 HAS SOUPS 23170 WITH SCORE 23257.557
AT ITER 2948 NEW BEST:: SOT 121495 SOS 87573 HAS SOPS 48752 HAS SOUS 24107 HAS SOUPS 23116 WITH SCORE 23203.573
AT ITER 2949 NEW BEST:: SOT 121459 SOS 87537 HAS SOPS 48698 HAS SOUS 24089 HAS SOUPS 23098 WITH SCORE 23185.537
AT ITER 2950 NEW BEST:: SOT 121439 SOS 87517 HAS SOPS 48568 HAS SOUS 24049 HAS SOUPS 23058 WITH SCORE 23145.517
AT ITER 2957 NEW BEST:: SOT 121411 SOS 87489 HAS SOPS 48484 HAS SOUS 23993 HAS SOUPS 23002 WITH SCORE 23089.489
AT ITER 2970 NEW BEST:: SOT 121411 SOS 87393 HAS SOPS 48388 HAS SOUS 23987 HAS SOUPS 22996 WITH SCORE 23083.393
AT ITER 2972 NEW BEST:: SOT 121278 SOS 87276 HAS SOPS 48266 HAS SOUS 23938 HAS SOUPS 22947 WITH SCORE 23034.276
AT ITER 2979 NEW BEST:: SOT 121278 SOS 87150 HAS SOPS 48140 HAS SOUS 23938 HAS SOUPS 22947 WITH SCORE 23034.15
AT ITER 2982 NEW BEST:: SOT 121274 SOS 87146 HAS SOPS 48120 HAS SOUS 23914 HAS SOUPS 22923 WITH SCORE 23010.146
AT ITER 3075 NEW BEST:: SOT 121270 SOS 87142 HAS SOPS 48114 HAS SOUS 23906 HAS SOUPS 22915 WITH SCORE 23002.142
AT ITER 3113 NEW BEST:: SOT 121270 SOS 87070 HAS SOPS 48042 HAS SOUS 23906 HAS SOUPS 22915 WITH SCORE 23002.07
AT ITER 3217 NEW BEST:: SOT 121166 SOS 86904 HAS SOPS 47773 HAS SOUS 23879 HAS SOUPS 22888 WITH SCORE 22974.904
AT ITER 3237 NEW BEST:: SOT 121212 SOS 86950 HAS SOPS 47817 HAS SOUS 23875 HAS SOUPS 22884 WITH SCORE 22970.95
AT ITER 3247 NEW BEST:: SOT 121206 SOS 86944 HAS SOPS 47809 HAS SOUS 23869 HAS SOUPS 22878 WITH SCORE 22964.944
AT ITER 3270 NEW BEST:: SOT 121116 SOS 86854 HAS SOPS 47674 HAS SOUS 23824 HAS SOUPS 22833 WITH SCORE 22919.854
AT ITER 3278 NEW BEST:: SOT 121116 SOS 86876 HAS SOPS 47696 HAS SOUS 23821 HAS SOUPS 22830 WITH SCORE 22916.876
AT ITER 3294 NEW BEST:: SOT 121108 SOS 86868 HAS SOPS 47736 HAS SOUS 23809 HAS SOUPS 22818 WITH SCORE 22904.868
AT ITER 3306 NEW BEST:: SOT 121124 SOS 86884 HAS SOPS 47674 HAS SOUS 23789 HAS SOUPS 22798 WITH SCORE 22884.884
AT ITER 3313 NEW BEST:: SOT 121124 SOS 86884 HAS SOPS 47672 HAS SOUS 23781 HAS SOUPS 22790 WITH SCORE 22876.884
AT ITER 3341 NEW BEST:: SOT 121162 SOS 87008 HAS SOPS 47747 HAS SOUS 23758 HAS SOUPS 22767 WITH SCORE 22854.008
AT ITER 3379 NEW BEST:: SOT 121148 SOS 86994 HAS SOPS 47733 HAS SOUS 23744 HAS SOUPS 22753 WITH SCORE 22839.994
AT ITER 3387 NEW BEST:: SOT 121158 SOS 87004 HAS SOPS 47717 HAS SOUS 23728 HAS SOUPS 22737 WITH SCORE 22824.004
AT ITER 3404 NEW BEST:: SOT 121192 SOS 87038 HAS SOPS 47695 HAS SOUS 23724 HAS SOUPS 22733 WITH SCORE 22820.038
AT ITER 3405 NEW BEST:: SOT 121184 SOS 87030 HAS SOPS 47679 HAS SOUS 23708 HAS SOUPS 22717 WITH SCORE 22804.03
AT ITER 3416 NEW BEST:: SOT 121210 SOS 86978 HAS SOPS 47603 HAS SOUS 23675 HAS SOUPS 22684 WITH SCORE 22770.978
AT ITER 3417 NEW BEST:: SOT 121210 SOS 86976 HAS SOPS 47615 HAS SOUS 23653 HAS SOUPS 22669 WITH SCORE 22755.976
AT ITER 3442 NEW BEST:: SOT 121300 SOS 87066 HAS SOPS 47569 HAS SOUS 23643 HAS SOUPS 22659 WITH SCORE 22746.066
AT ITER 3495 NEW BEST:: SOT 121333 SOS 87096 HAS SOPS 47584 HAS SOUS 23586 HAS SOUPS 22602 WITH SCORE 22689.096
AT ITER 3506 NEW BEST:: SOT 121117 SOS 86880 HAS SOPS 47608 HAS SOUS 23580 HAS SOUPS 22596 WITH SCORE 22682.88
AT ITER 3528 NEW BEST:: SOT 121117 SOS 86878 HAS SOPS 47606 HAS SOUS 23560 HAS SOUPS 22576 WITH SCORE 22662.878
AT ITER 3536 NEW BEST:: SOT 121263 SOS 86958 HAS SOPS 47787 HAS SOUS 23466 HAS SOUPS 22482 WITH SCORE 22568.958
AT ITER 3543 NEW BEST:: SOT 121255 SOS 86950 HAS SOPS 47763 HAS SOUS 23458 HAS SOUPS 22474 WITH SCORE 22560.95
AT ITER 3544 NEW BEST:: SOT 121231 SOS 86926 HAS SOPS 47715 HAS SOUS 23422 HAS SOUPS 22438 WITH SCORE 22524.926
AT ITER 3555 NEW BEST:: SOT 121225 SOS 86920 HAS SOPS 47713 HAS SOUS 23404 HAS SOUPS 22420 WITH SCORE 22506.92
AT ITER 3568 NEW BEST:: SOT 121221 SOS 86916 HAS SOPS 47705 HAS SOUS 23398 HAS SOUPS 22412 WITH SCORE 22498.916
AT ITER 3571 NEW BEST:: SOT 121221 SOS 86636 HAS SOPS 47425 HAS SOUS 23382 HAS SOUPS 22396 WITH SCORE 22482.636
AT ITER 3582 NEW BEST:: SOT 121228 SOS 86682 HAS SOPS 47468 HAS SOUS 23339 HAS SOUPS 22353 WITH SCORE 22439.682
AT ITER 3596 NEW BEST:: SOT 121200 SOS 86654 HAS SOPS 47426 HAS SOUS 23283 HAS SOUPS 22297 WITH SCORE 22383.654
AT ITER 3605 NEW BEST:: SOT 121200 SOS 86594 HAS SOPS 47366 HAS SOUS 23283 HAS SOUPS 22297 WITH SCORE 22383.594
AT ITER 3609 NEW BEST:: SOT 121168 SOS 86562 HAS SOPS 47302 HAS SOUS 23251 HAS SOUPS 22265 WITH SCORE 22351.562
AT ITER 3658 NEW BEST:: SOT 121168 SOS 86828 HAS SOPS 47568 HAS SOUS 23232 HAS SOUPS 22246 WITH SCORE 22332.828
AT ITER 3664 NEW BEST:: SOT 121166 SOS 86826 HAS SOPS 47515 HAS SOUS 23035 HAS SOUPS 22049 WITH SCORE 22135.826
AT ITER 3667 NEW BEST:: SOT 121136 SOS 86796 HAS SOPS 47417 HAS SOUS 22935 HAS SOUPS 21949 WITH SCORE 22035.796
AT ITER 3686 NEW BEST:: SOT 121130 SOS 86790 HAS SOPS 47417 HAS SOUS 22921 HAS SOUPS 21935 WITH SCORE 22021.79
AT ITER 3709 NEW BEST:: SOT 120867 SOS 87087 HAS SOPS 47232 HAS SOUS 22658 HAS SOUPS 21669 WITH SCORE 21756.087
AT ITER 3725 NEW BEST:: SOT 120831 SOS 87051 HAS SOPS 47160 HAS SOUS 22586 HAS SOUPS 21597 WITH SCORE 21684.051
AT ITER 3728 NEW BEST:: SOT 120819 SOS 87039 HAS SOPS 47148 HAS SOUS 22574 HAS SOUPS 21585 WITH SCORE 21672.039
AT ITER 3755 NEW BEST:: SOT 120815 SOS 87035 HAS SOPS 47144 HAS SOUS 22570 HAS SOUPS 21581 WITH SCORE 21668.035
AT ITER 3760 NEW BEST:: SOT 120808 SOS 87028 HAS SOPS 47130 HAS SOUS 22563 HAS SOUPS 21574 WITH SCORE 21661.028
AT ITER 3773 NEW BEST:: SOT 120760 SOS 86968 HAS SOPS 47022 HAS SOUS 22497 HAS SOUPS 21508 WITH SCORE 21594.968
AT ITER 3792 NEW BEST:: SOT 120712 SOS 86920 HAS SOPS 46926 HAS SOUS 22461 HAS SOUPS 21472 WITH SCORE 21558.92
AT ITER 3806 NEW BEST:: SOT 120676 SOS 86884 HAS SOPS 46906 HAS SOUS 22435 HAS SOUPS 21446 WITH SCORE 21532.884
AT ITER 3818 NEW BEST:: SOT 120674 SOS 86882 HAS SOPS 46866 HAS SOUS 22423 HAS SOUPS 21434 WITH SCORE 21520.882
AT ITER 3821 NEW BEST:: SOT 120674 SOS 86882 HAS SOPS 46856 HAS SOUS 22413 HAS SOUPS 21424 WITH SCORE 21510.882
AT ITER 3842 NEW BEST:: SOT 120710 SOS 86918 HAS SOPS 46928 HAS SOUS 22389 HAS SOUPS 21400 WITH SCORE 21486.918
AT ITER 3846 NEW BEST:: SOT 120678 SOS 86886 HAS SOPS 46902 HAS SOUS 22363 HAS SOUPS 21374 WITH SCORE 21460.886
AT ITER 3861 NEW BEST:: SOT 120678 SOS 86874 HAS SOPS 46890 HAS SOUS 22363 HAS SOUPS 21374 WITH SCORE 21460.874
AT ITER 3876 NEW BEST:: SOT 120611 SOS 86768 HAS SOPS 46717 HAS SOUS 22296 HAS SOUPS 21307 WITH SCORE 21393.768
AT ITER 3881 NEW BEST:: SOT 120581 SOS 86738 HAS SOPS 46717 HAS SOUS 22236 HAS SOUPS 21247 WITH SCORE 21333.738
AT ITER 3895 NEW BEST:: SOT 120581 SOS 86760 HAS SOPS 46739 HAS SOUS 22228 HAS SOUPS 21239 WITH SCORE 21325.76
AT ITER 3916 NEW BEST:: SOT 120579 SOS 86758 HAS SOPS 46731 HAS SOUS 22224 HAS SOUPS 21235 WITH SCORE 21321.758
AT ITER 3956 NEW BEST:: SOT 120579 SOS 86798 HAS SOPS 46771 HAS SOUS 22204 HAS SOUPS 21215 WITH SCORE 21301.798
AT ITER 3972 NEW BEST:: SOT 120544 SOS 86763 HAS SOPS 46701 HAS SOUS 22172 HAS SOUPS 21183 WITH SCORE 21269.763
AT ITER 3981 NEW BEST:: SOT 120581 SOS 86897 HAS SOPS 46872 HAS SOUS 22116 HAS SOUPS 21127 WITH SCORE 21213.897
AT ITER 3983 NEW BEST:: SOT 120581 SOS 86793 HAS SOPS 46768 HAS SOUS 22066 HAS SOUPS 21077 WITH SCORE 21163.793
AT ITER 4011 NEW BEST:: SOT 120581 SOS 86793 HAS SOPS 46700 HAS SOUS 22000 HAS SOUPS 21011 WITH SCORE 21097.793
AT ITER 4017 NEW BEST:: SOT 120581 SOS 86651 HAS SOPS 46558 HAS SOUS 21983 HAS SOUPS 20994 WITH SCORE 21080.651
AT ITER 4027 NEW BEST:: SOT 120574 SOS 86445 HAS SOPS 46369 HAS SOUS 21980 HAS SOUPS 20991 WITH SCORE 21077.445
AT ITER 4036 NEW BEST:: SOT 120574 SOS 86445 HAS SOPS 46351 HAS SOUS 21976 HAS SOUPS 20987 WITH SCORE 21073.445
AT ITER 4057 NEW BEST:: SOT 120572 SOS 86443 HAS SOPS 46349 HAS SOUS 21976 HAS SOUPS 20987 WITH SCORE 21073.443
AT ITER 4061 NEW BEST:: SOT 120565 SOS 86436 HAS SOPS 46282 HAS SOUS 21951 HAS SOUPS 20962 WITH SCORE 21048.436
AT ITER 4067 NEW BEST:: SOT 120549 SOS 86420 HAS SOPS 46252 HAS SOUS 21919 HAS SOUPS 20930 WITH SCORE 21016.42
AT ITER 4069 NEW BEST:: SOT 120559 SOS 86430 HAS SOPS 46282 HAS SOUS 21917 HAS SOUPS 20928 WITH SCORE 21014.43
AT ITER 4072 NEW BEST:: SOT 120535 SOS 86406 HAS SOPS 46154 HAS SOUS 21853 HAS SOUPS 20864 WITH SCORE 20950.406
AT ITER 4087 NEW BEST:: SOT 120525 SOS 86396 HAS SOPS 46132 HAS SOUS 21819 HAS SOUPS 20830 WITH SCORE 20916.396
AT ITER 4096 NEW BEST:: SOT 120501 SOS 86372 HAS SOPS 46120 HAS SOUS 21795 HAS SOUPS 20806 WITH SCORE 20892.372
AT ITER 4109 NEW BEST:: SOT 120495 SOS 86366 HAS SOPS 46158 HAS SOUS 21745 HAS SOUPS 20756 WITH SCORE 20842.366
AT ITER 4168 NEW BEST:: SOT 120491 SOS 86362 HAS SOPS 46126 HAS SOUS 21717 HAS SOUPS 20728 WITH SCORE 20814.362
AT ITER 4229 NEW BEST:: SOT 120488 SOS 86184 HAS SOPS 46017 HAS SOUS 21712 HAS SOUPS 20727 WITH SCORE 20813.184
AT ITER 4235 NEW BEST:: SOT 120488 SOS 85314 HAS SOPS 45467 HAS SOUS 21687 HAS SOUPS 20722 WITH SCORE 20807.314
AT ITER 4244 NEW BEST:: SOT 120430 SOS 85017 HAS SOPS 45395 HAS SOUS 21630 HAS SOUPS 20678 WITH SCORE 20763.017
AT ITER 4258 NEW BEST:: SOT 120424 SOS 85011 HAS SOPS 45368 HAS SOUS 21588 HAS SOUPS 20636 WITH SCORE 20721.011
AT ITER 4265 NEW BEST:: SOT 120430 SOS 85017 HAS SOPS 45316 HAS SOUS 21576 HAS SOUPS 20624 WITH SCORE 20709.017
AT ITER 4266 NEW BEST:: SOT 120338 SOS 84910 HAS SOPS 45074 HAS SOUS 21308 HAS SOUPS 20356 WITH SCORE 20440.91
AT ITER 4283 NEW BEST:: SOT 120334 SOS 84906 HAS SOPS 45090 HAS SOUS 21304 HAS SOUPS 20352 WITH SCORE 20436.906
AT ITER 4309 NEW BEST:: SOT 120334 SOS 84906 HAS SOPS 45072 HAS SOUS 21286 HAS SOUPS 20334 WITH SCORE 20418.906
AT ITER 4313 NEW BEST:: SOT 120334 SOS 84950 HAS SOPS 45116 HAS SOUS 21264 HAS SOUPS 20312 WITH SCORE 20396.95
AT ITER 4342 NEW BEST:: SOT 120322 SOS 84938 HAS SOPS 45114 HAS SOUS 21262 HAS SOUPS 20310 WITH SCORE 20394.938
AT ITER 4353 NEW BEST:: SOT 120312 SOS 84928 HAS SOPS 45094 HAS SOUS 21241 HAS SOUPS 20289 WITH SCORE 20373.928
AT ITER 4399 NEW BEST:: SOT 120317 SOS 84933 HAS SOPS 45099 HAS SOUS 21237 HAS SOUPS 20285 WITH SCORE 20369.933
AT ITER 4429 NEW BEST:: SOT 120215 SOS 84831 HAS SOPS 44931 HAS SOUS 21177 HAS SOUPS 20225 WITH SCORE 20309.831
AT ITER 4447 NEW BEST:: SOT 120199 SOS 84815 HAS SOPS 44915 HAS SOUS 21145 HAS SOUPS 20193 WITH SCORE 20277.815
AT ITER 4481 NEW BEST:: SOT 120175 SOS 84791 HAS SOPS 44867 HAS SOUS 21121 HAS SOUPS 20169 WITH SCORE 20253.791
AT ITER 4500 NEW BEST:: SOT 120173 SOS 84789 HAS SOPS 44863 HAS SOUS 21119 HAS SOUPS 20167 WITH SCORE 20251.789
AT ITER 4510 NEW BEST:: SOT 120173 SOS 84513 HAS SOPS 44683 HAS SOUS 21107 HAS SOUPS 20161 WITH SCORE 20245.513
AT ITER 4517 NEW BEST:: SOT 120165 SOS 84505 HAS SOPS 44573 HAS SOUS 21055 HAS SOUPS 20109 WITH SCORE 20193.505
AT ITER 4541 NEW BEST:: SOT 120175 SOS 84515 HAS SOPS 44593 HAS SOUS 21051 HAS SOUPS 20105 WITH SCORE 20189.515
AT ITER 4557 NEW BEST:: SOT 120175 SOS 84555 HAS SOPS 44633 HAS SOUS 21034 HAS SOUPS 20088 WITH SCORE 20172.555
AT ITER 4578 NEW BEST:: SOT 120175 SOS 84547 HAS SOPS 44625 HAS SOUS 21033 HAS SOUPS 20087 WITH SCORE 20171.547
AT ITER 4617 NEW BEST:: SOT 120175 SOS 84547 HAS SOPS 44625 HAS SOUS 21025 HAS SOUPS 20079 WITH SCORE 20163.547
AT ITER 4626 NEW BEST:: SOT 120136 SOS 84496 HAS SOPS 44532 HAS SOUS 21020 HAS SOUPS 20074 WITH SCORE 20158.496
AT ITER 4646 NEW BEST:: SOT 120084 SOS 84444 HAS SOPS 44484 HAS SOUS 20968 HAS SOUPS 20022 WITH SCORE 20106.444
AT ITER 4685 NEW BEST:: SOT 120078 SOS 84438 HAS SOPS 44476 HAS SOUS 20962 HAS SOUPS 20016 WITH SCORE 20100.438
AT ITER 4694 NEW BEST:: SOT 120040 SOS 84400 HAS SOPS 44424 HAS SOUS 20934 HAS SOUPS 19988 WITH SCORE 20072.4
AT ITER 4701 NEW BEST:: SOT 120023 SOS 84383 HAS SOPS 44369 HAS SOUS 20924 HAS SOUPS 19978 WITH SCORE 20062.383
AT ITER 4723 NEW BEST:: SOT 120003 SOS 84363 HAS SOPS 44321 HAS SOUS 20882 HAS SOUPS 19936 WITH SCORE 20020.363
AT ITER 4726 NEW BEST:: SOT 120003 SOS 84363 HAS SOPS 44319 HAS SOUS 20880 HAS SOUPS 19934 WITH SCORE 20018.363
AT ITER 4780 NEW BEST:: SOT 120003 SOS 84363 HAS SOPS 44339 HAS SOUS 20860 HAS SOUPS 19914 WITH SCORE 19998.363
AT ITER 4786 NEW BEST:: SOT 119994 SOS 84354 HAS SOPS 44321 HAS SOUS 20845 HAS SOUPS 19899 WITH SCORE 19983.354
AT ITER 4796 NEW BEST:: SOT 119982 SOS 84342 HAS SOPS 44297 HAS SOUS 20821 HAS SOUPS 19875 WITH SCORE 19959.342
AT ITER 4813 NEW BEST:: SOT 119914 SOS 84274 HAS SOPS 44222 HAS SOUS 20731 HAS SOUPS 19785 WITH SCORE 19869.274
AT ITER 4817 NEW BEST:: SOT 119912 SOS 84272 HAS SOPS 44218 HAS SOUS 20727 HAS SOUPS 19781 WITH SCORE 19865.272
AT ITER 4826 NEW BEST:: SOT 119900 SOS 84260 HAS SOPS 44206 HAS SOUS 20717 HAS SOUPS 19771 WITH SCORE 19855.26
AT ITER 4893 NEW BEST:: SOT 119898 SOS 84258 HAS SOPS 44176 HAS SOUS 20629 HAS SOUPS 19683 WITH SCORE 19767.258
AT ITER 4915 NEW BEST:: SOT 119898 SOS 84256 HAS SOPS 44174 HAS SOUS 20629 HAS SOUPS 19683 WITH SCORE 19767.256
AT ITER 4972 NEW BEST:: SOT 119898 SOS 84236 HAS SOPS 44154 HAS SOUS 20624 HAS SOUPS 19678 WITH SCORE 19762.236
AT ITER 5011 NEW BEST:: SOT 119926 SOS 84264 HAS SOPS 44170 HAS SOUS 20568 HAS SOUPS 19622 WITH SCORE 19706.264
AT ITER 5015 NEW BEST:: SOT 119928 SOS 84179 HAS SOPS 44082 HAS SOUS 20546 HAS SOUPS 19600 WITH SCORE 19684.179
AT ITER 5038 NEW BEST:: SOT 119868 SOS 84119 HAS SOPS 43982 HAS SOUS 20446 HAS SOUPS 19500 WITH SCORE 19584.119
AT ITER 5064 NEW BEST:: SOT 119868 SOS 84119 HAS SOPS 43980 HAS SOUS 20440 HAS SOUPS 19494 WITH SCORE 19578.119
AT ITER 5068 NEW BEST:: SOT 119866 SOS 84117 HAS SOPS 43989 HAS SOUS 20436 HAS SOUPS 19490 WITH SCORE 19574.117
AT ITER 5099 NEW BEST:: SOT 119866 SOS 84117 HAS SOPS 43986 HAS SOUS 20430 HAS SOUPS 19484 WITH SCORE 19568.117
AT ITER 5144 NEW BEST:: SOT 119866 SOS 84117 HAS SOPS 43989 HAS SOUS 20424 HAS SOUPS 19478 WITH SCORE 19562.117
AT ITER 5158 NEW BEST:: SOT 119812 SOS 84063 HAS SOPS 43919 HAS SOUS 20366 HAS SOUPS 19420 WITH SCORE 19504.063
AT ITER 5171 NEW BEST:: SOT 119812 SOS 84047 HAS SOPS 43903 HAS SOUS 20366 HAS SOUPS 19420 WITH SCORE 19504.047
AT ITER 5202 NEW BEST:: SOT 119812 SOS 84049 HAS SOPS 43905 HAS SOUS 20361 HAS SOUPS 19415 WITH SCORE 19499.049
AT ITER 5232 NEW BEST:: SOT 119812 SOS 84049 HAS SOPS 43905 HAS SOUS 20359 HAS SOUPS 19413 WITH SCORE 19497.049
AT ITER 5233 NEW BEST:: SOT 119810 SOS 84047 HAS SOPS 43905 HAS SOUS 20359 HAS SOUPS 19413 WITH SCORE 19497.047
AT ITER 5245 NEW BEST:: SOT 119822 SOS 84059 HAS SOPS 43923 HAS SOUS 20357 HAS SOUPS 19411 WITH SCORE 19495.059
AT ITER 5296 NEW BEST:: SOT 119806 SOS 84043 HAS SOPS 43907 HAS SOUS 20325 HAS SOUPS 19379 WITH SCORE 19463.043
AT ITER 5307 NEW BEST:: SOT 119806 SOS 84021 HAS SOPS 43907 HAS SOUS 20314 HAS SOUPS 19379 WITH SCORE 19463.021
AT ITER 5364 NEW BEST:: SOT 119824 SOS 84039 HAS SOPS 43769 HAS SOUS 20288 HAS SOUPS 19353 WITH SCORE 19437.039
AT ITER 5368 NEW BEST:: SOT 119822 SOS 84037 HAS SOPS 43767 HAS SOUS 20282 HAS SOUPS 19347 WITH SCORE 19431.037
AT ITER 5373 NEW BEST:: SOT 119822 SOS 84045 HAS SOPS 43775 HAS SOUS 20276 HAS SOUPS 19341 WITH SCORE 19425.045
AT ITER 5382 NEW BEST:: SOT 119718 SOS 83941 HAS SOPS 43671 HAS SOUS 20276 HAS SOUPS 19341 WITH SCORE 19424.941
AT ITER 5387 NEW BEST:: SOT 119957 SOS 84195 HAS SOPS 43962 HAS SOUS 20266 HAS SOUPS 19331 WITH SCORE 19415.195
AT ITER 5394 NEW BEST:: SOT 119949 SOS 84187 HAS SOPS 43950 HAS SOUS 20246 HAS SOUPS 19311 WITH SCORE 19395.187
AT ITER 5396 NEW BEST:: SOT 119935 SOS 84173 HAS SOPS 43936 HAS SOUS 20232 HAS SOUPS 19297 WITH SCORE 19381.173
AT ITER 5450 NEW BEST:: SOT 119931 SOS 84169 HAS SOPS 43928 HAS SOUS 20230 HAS SOUPS 19295 WITH SCORE 19379.169
AT ITER 5454 NEW BEST:: SOT 119925 SOS 84163 HAS SOPS 43910 HAS SOUS 20218 HAS SOUPS 19283 WITH SCORE 19367.163
AT ITER 5487 NEW BEST:: SOT 119903 SOS 84141 HAS SOPS 43866 HAS SOUS 20174 HAS SOUPS 19239 WITH SCORE 19323.141
AT ITER 5497 NEW BEST:: SOT 119848 SOS 83923 HAS SOPS 43619 HAS SOUS 20015 HAS SOUPS 19080 WITH SCORE 19163.923
AT ITER 5515 NEW BEST:: SOT 119848 SOS 83861 HAS SOPS 43506 HAS SOUS 19932 HAS SOUPS 18997 WITH SCORE 19080.861
AT ITER 5516 NEW BEST:: SOT 119862 SOS 83875 HAS SOPS 43516 HAS SOUS 19924 HAS SOUPS 18989 WITH SCORE 19072.875
AT ITER 5579 NEW BEST:: SOT 119850 SOS 83863 HAS SOPS 43476 HAS SOUS 19870 HAS SOUPS 18935 WITH SCORE 19018.863
AT ITER 5612 NEW BEST:: SOT 119846 SOS 83859 HAS SOPS 43464 HAS SOUS 19866 HAS SOUPS 18931 WITH SCORE 19014.859
AT ITER 5670 NEW BEST:: SOT 119844 SOS 83857 HAS SOPS 43464 HAS SOUS 19862 HAS SOUPS 18927 WITH SCORE 19010.857
AT ITER 5676 NEW BEST:: SOT 119844 SOS 83825 HAS SOPS 43432 HAS SOUS 19862 HAS SOUPS 18927 WITH SCORE 19010.825
AT ITER 5714 NEW BEST:: SOT 119848 SOS 83829 HAS SOPS 43422 HAS SOUS 19825 HAS SOUPS 18890 WITH SCORE 18973.829
AT ITER 5738 NEW BEST:: SOT 119820 SOS 83801 HAS SOPS 43394 HAS SOUS 19797 HAS SOUPS 18862 WITH SCORE 18945.801
AT ITER 5743 NEW BEST:: SOT 119816 SOS 83797 HAS SOPS 43390 HAS SOUS 19791 HAS SOUPS 18856 WITH SCORE 18939.797
AT ITER 5769 NEW BEST:: SOT 119816 SOS 83769 HAS SOPS 43362 HAS SOUS 19789 HAS SOUPS 18854 WITH SCORE 18937.769
AT ITER 5770 NEW BEST:: SOT 119786 SOS 84089 HAS SOPS 43718 HAS SOUS 19779 HAS SOUPS 18848 WITH SCORE 18932.089
AT ITER 5773 NEW BEST:: SOT 119786 SOS 84353 HAS SOPS 43982 HAS SOUS 19771 HAS SOUPS 18840 WITH SCORE 18924.353
AT ITER 5829 NEW BEST:: SOT 119786 SOS 84369 HAS SOPS 43998 HAS SOUS 19767 HAS SOUPS 18836 WITH SCORE 18920.369
AT ITER 5850 NEW BEST:: SOT 119786 SOS 84369 HAS SOPS 43998 HAS SOUS 19738 HAS SOUPS 18807 WITH SCORE 18891.369
AT ITER 5862 NEW BEST:: SOT 119736 SOS 84319 HAS SOPS 43946 HAS SOUS 19734 HAS SOUPS 18803 WITH SCORE 18887.319
AT ITER 5866 NEW BEST:: SOT 119732 SOS 84315 HAS SOPS 43952 HAS SOUS 19731 HAS SOUPS 18800 WITH SCORE 18884.315
AT ITER 5883 NEW BEST:: SOT 119726 SOS 84309 HAS SOPS 43940 HAS SOUS 19719 HAS SOUPS 18788 WITH SCORE 18872.309
AT ITER 5909 NEW BEST:: SOT 119718 SOS 84301 HAS SOPS 43936 HAS SOUS 19719 HAS SOUPS 18788 WITH SCORE 18872.301
AT ITER 5966 NEW BEST:: SOT 119730 SOS 84313 HAS SOPS 43908 HAS SOUS 19699 HAS SOUPS 18768 WITH SCORE 18852.313
AT ITER 6038 NEW BEST:: SOT 119404 SOS 84080 HAS SOPS 43515 HAS SOUS 19560 HAS SOUPS 18629 WITH SCORE 18713.08
AT ITER 6050 NEW BEST:: SOT 119446 SOS 84122 HAS SOPS 43553 HAS SOUS 19542 HAS SOUPS 18611 WITH SCORE 18695.122
AT ITER 6056 NEW BEST:: SOT 119508 SOS 84184 HAS SOPS 43615 HAS SOUS 19534 HAS SOUPS 18603 WITH SCORE 18687.184
AT ITER 6068 NEW BEST:: SOT 119508 SOS 84184 HAS SOPS 43607 HAS SOUS 19518 HAS SOUPS 18587 WITH SCORE 18671.184
AT ITER 6072 NEW BEST:: SOT 119508 SOS 84150 HAS SOPS 43573 HAS SOUS 19501 HAS SOUPS 18570 WITH SCORE 18654.15
AT ITER 6087 NEW BEST:: SOT 119508 SOS 84138 HAS SOPS 43561 HAS SOUS 19501 HAS SOUPS 18570 WITH SCORE 18654.138
AT ITER 6108 NEW BEST:: SOT 119508 SOS 84090 HAS SOPS 43513 HAS SOUS 19489 HAS SOUPS 18558 WITH SCORE 18642.09
AT ITER 6158 NEW BEST:: SOT 119533 SOS 84114 HAS SOPS 43522 HAS SOUS 19484 HAS SOUPS 18553 WITH SCORE 18637.114
AT ITER 6168 NEW BEST:: SOT 119527 SOS 84108 HAS SOPS 43510 HAS SOUS 19472 HAS SOUPS 18541 WITH SCORE 18625.108
AT ITER 6210 NEW BEST:: SOT 119527 SOS 83908 HAS SOPS 43310 HAS SOUS 19468 HAS SOUPS 18537 WITH SCORE 18620.908
AT ITER 6220 NEW BEST:: SOT 119519 SOS 83900 HAS SOPS 43302 HAS SOUS 19468 HAS SOUPS 18537 WITH SCORE 18620.9
AT ITER 6235 NEW BEST:: SOT 119530 SOS 83911 HAS SOPS 43313 HAS SOUS 19462 HAS SOUPS 18531 WITH SCORE 18614.911
AT ITER 6253 NEW BEST:: SOT 119530 SOS 83831 HAS SOPS 43233 HAS SOUS 19457 HAS SOUPS 18526 WITH SCORE 18609.831
AT ITER 6278 NEW BEST:: SOT 119492 SOS 83793 HAS SOPS 43233 HAS SOUS 19419 HAS SOUPS 18488 WITH SCORE 18571.793
AT ITER 6286 NEW BEST:: SOT 119328 SOS 83611 HAS SOPS 42988 HAS SOUS 19215 HAS SOUPS 18284 WITH SCORE 18367.611
AT ITER 6333 NEW BEST:: SOT 119344 SOS 83627 HAS SOPS 42956 HAS SOUS 19199 HAS SOUPS 18268 WITH SCORE 18351.627
AT ITER 6359 NEW BEST:: SOT 119344 SOS 83627 HAS SOPS 42902 HAS SOUS 19145 HAS SOUPS 18214 WITH SCORE 18297.627
AT ITER 6487 NEW BEST:: SOT 119344 SOS 83529 HAS SOPS 42804 HAS SOUS 19138 HAS SOUPS 18207 WITH SCORE 18290.529
AT ITER 6507 NEW BEST:: SOT 119383 SOS 83568 HAS SOPS 42843 HAS SOUS 19113 HAS SOUPS 18182 WITH SCORE 18265.568
AT ITER 6530 NEW BEST:: SOT 119379 SOS 83564 HAS SOPS 42827 HAS SOUS 19107 HAS SOUPS 18176 WITH SCORE 18259.564
AT ITER 6566 NEW BEST:: SOT 119373 SOS 83558 HAS SOPS 42827 HAS SOUS 19103 HAS SOUPS 18172 WITH SCORE 18255.558
AT ITER 6579 NEW BEST:: SOT 119373 SOS 83558 HAS SOPS 42751 HAS SOUS 19093 HAS SOUPS 18162 WITH SCORE 18245.558
AT ITER 6591 NEW BEST:: SOT 119269 SOS 83454 HAS SOPS 42665 HAS SOUS 19015 HAS SOUPS 18084 WITH SCORE 18167.454
AT ITER 6639 NEW BEST:: SOT 119237 SOS 83357 HAS SOPS 42486 HAS SOUS 19009 HAS SOUPS 18078 WITH SCORE 18161.357
AT ITER 6649 NEW BEST:: SOT 119229 SOS 83349 HAS SOPS 42474 HAS SOUS 18997 HAS SOUPS 18066 WITH SCORE 18149.349
AT ITER 6658 NEW BEST:: SOT 119229 SOS 83435 HAS SOPS 42560 HAS SOUS 18993 HAS SOUPS 18062 WITH SCORE 18145.435
AT ITER 6819 NEW BEST:: SOT 119229 SOS 83431 HAS SOPS 42556 HAS SOUS 18993 HAS SOUPS 18062 WITH SCORE 18145.431
AT ITER 6851 NEW BEST:: SOT 119181 SOS 83383 HAS SOPS 42510 HAS SOUS 18897 HAS SOUPS 17966 WITH SCORE 18049.383
AT ITER 6866 NEW BEST:: SOT 119181 SOS 83383 HAS SOPS 42510 HAS SOUS 18889 HAS SOUPS 17958 WITH SCORE 18041.383
AT ITER 6898 NEW BEST:: SOT 119183 SOS 83385 HAS SOPS 42506 HAS SOUS 18879 HAS SOUPS 17948 WITH SCORE 18031.385
AT ITER 6914 NEW BEST:: SOT 119169 SOS 83371 HAS SOPS 42464 HAS SOUS 18865 HAS SOUPS 17934 WITH SCORE 18017.371
AT ITER 6934 NEW BEST:: SOT 119165 SOS 83367 HAS SOPS 42462 HAS SOUS 18863 HAS SOUPS 17932 WITH SCORE 18015.367
AT ITER 6964 NEW BEST:: SOT 119151 SOS 83353 HAS SOPS 42450 HAS SOUS 18851 HAS SOUPS 17920 WITH SCORE 18003.353
AT ITER 7003 NEW BEST:: SOT 119149 SOS 83351 HAS SOPS 42446 HAS SOUS 18847 HAS SOUPS 17916 WITH SCORE 17999.351
AT ITER 7030 NEW BEST:: SOT 119145 SOS 83347 HAS SOPS 42446 HAS SOUS 18845 HAS SOUPS 17914 WITH SCORE 17997.347
AT ITER 7064 NEW BEST:: SOT 119125 SOS 83327 HAS SOPS 42436 HAS SOUS 18845 HAS SOUPS 17914 WITH SCORE 17997.327
AT ITER 7065 NEW BEST:: SOT 119171 SOS 83373 HAS SOPS 42480 HAS SOUS 18837 HAS SOUPS 17906 WITH SCORE 17989.373
AT ITER 7074 NEW BEST:: SOT 119157 SOS 83359 HAS SOPS 42466 HAS SOUS 18823 HAS SOUPS 17892 WITH SCORE 17975.359
AT ITER 7089 NEW BEST:: SOT 119085 SOS 83287 HAS SOPS 42278 HAS SOUS 18795 HAS SOUPS 17864 WITH SCORE 17947.287
AT ITER 7096 NEW BEST:: SOT 119064 SOS 83266 HAS SOPS 42248 HAS SOUS 18741 HAS SOUPS 17810 WITH SCORE 17893.266
AT ITER 7149 NEW BEST:: SOT 119064 SOS 83266 HAS SOPS 42262 HAS SOUS 18733 HAS SOUPS 17802 WITH SCORE 17885.266
AT ITER 7179 NEW BEST:: SOT 119042 SOS 83244 HAS SOPS 42240 HAS SOUS 18713 HAS SOUPS 17782 WITH SCORE 17865.244
AT ITER 7184 NEW BEST:: SOT 119040 SOS 83242 HAS SOPS 42268 HAS SOUS 18713 HAS SOUPS 17782 WITH SCORE 17865.242
AT ITER 7296 NEW BEST:: SOT 119036 SOS 83238 HAS SOPS 42262 HAS SOUS 18707 HAS SOUPS 17776 WITH SCORE 17859.238
AT ITER 7359 NEW BEST:: SOT 119037 SOS 83239 HAS SOPS 42262 HAS SOUS 18705 HAS SOUPS 17774 WITH SCORE 17857.239
AT ITER 7393 NEW BEST:: SOT 119029 SOS 83231 HAS SOPS 42254 HAS SOUS 18689 HAS SOUPS 17758 WITH SCORE 17841.231
AT ITER 7417 NEW BEST:: SOT 118950 SOS 81620 HAS SOPS 41813 HAS SOUS 18613 HAS SOUPS 17745 WITH SCORE 17826.62
AT ITER 7437 NEW BEST:: SOT 118932 SOS 81602 HAS SOPS 41777 HAS SOUS 18577 HAS SOUPS 17709 WITH SCORE 17790.602
AT ITER 7483 NEW BEST:: SOT 119006 SOS 81414 HAS SOPS 41766 HAS SOUS 18526 HAS SOUPS 17659 WITH SCORE 17740.414
AT ITER 7537 NEW BEST:: SOT 118942 SOS 81350 HAS SOPS 41675 HAS SOUS 18470 HAS SOUPS 17603 WITH SCORE 17684.35
AT ITER 7538 NEW BEST:: SOT 118920 SOS 81328 HAS SOPS 41631 HAS SOUS 18426 HAS SOUPS 17559 WITH SCORE 17640.328
AT ITER 7569 NEW BEST:: SOT 118920 SOS 81406 HAS SOPS 41709 HAS SOUS 18419 HAS SOUPS 17552 WITH SCORE 17633.406
AT ITER 7624 NEW BEST:: SOT 118904 SOS 81390 HAS SOPS 41667 HAS SOUS 18387 HAS SOUPS 17520 WITH SCORE 17601.39
AT ITER 7630 NEW BEST:: SOT 118882 SOS 81368 HAS SOPS 41645 HAS SOUS 18345 HAS SOUPS 17498 WITH SCORE 17579.368
AT ITER 7663 NEW BEST:: SOT 118876 SOS 81362 HAS SOPS 41636 HAS SOUS 18333 HAS SOUPS 17486 WITH SCORE 17567.362
AT ITER 7687 NEW BEST:: SOT 118876 SOS 81324 HAS SOPS 41598 HAS SOUS 18333 HAS SOUPS 17486 WITH SCORE 17567.324
AT ITER 7746 NEW BEST:: SOT 118852 SOS 81300 HAS SOPS 41586 HAS SOUS 18321 HAS SOUPS 17474 WITH SCORE 17555.3
AT ITER 7796 NEW BEST:: SOT 118852 SOS 81300 HAS SOPS 41586 HAS SOUS 18315 HAS SOUPS 17468 WITH SCORE 17549.3
AT ITER 7821 NEW BEST:: SOT 118844 SOS 81292 HAS SOPS 41576 HAS SOUS 18313 HAS SOUPS 17466 WITH SCORE 17547.292
AT ITER 7902 NEW BEST:: SOT 118833 SOS 81281 HAS SOPS 41538 HAS SOUS 18309 HAS SOUPS 17462 WITH SCORE 17543.281
AT ITER 7930 NEW BEST:: SOT 118862 SOS 81282 HAS SOPS 41427 HAS SOUS 18255 HAS SOUPS 17408 WITH SCORE 17489.282
AT ITER 7932 NEW BEST:: SOT 118862 SOS 81270 HAS SOPS 41415 HAS SOUS 18252 HAS SOUPS 17405 WITH SCORE 17486.27
AT ITER 7939 NEW BEST:: SOT 118862 SOS 81266 HAS SOPS 41411 HAS SOUS 18250 HAS SOUPS 17403 WITH SCORE 17484.266
AT ITER 7981 NEW BEST:: SOT 118828 SOS 81232 HAS SOPS 41343 HAS SOUS 18140 HAS SOUPS 17293 WITH SCORE 17374.232
AT ITER 7984 NEW BEST:: SOT 118761 SOS 81165 HAS SOPS 41276 HAS SOUS 18029 HAS SOUPS 17182 WITH SCORE 17263.165
AT ITER 8009 NEW BEST:: SOT 118761 SOS 81133 HAS SOPS 41244 HAS SOUS 18021 HAS SOUPS 17174 WITH SCORE 17255.133
AT ITER 8045 NEW BEST:: SOT 118757 SOS 81129 HAS SOPS 41236 HAS SOUS 18015 HAS SOUPS 17166 WITH SCORE 17247.129
AT ITER 8074 NEW BEST:: SOT 118775 SOS 81147 HAS SOPS 41378 HAS SOUS 17989 HAS SOUPS 17140 WITH SCORE 17221.147
AT ITER 8129 NEW BEST:: SOT 118775 SOS 80947 HAS SOPS 41178 HAS SOUS 17989 HAS SOUPS 17140 WITH SCORE 17220.947
AT ITER 8143 NEW BEST:: SOT 118767 SOS 80939 HAS SOPS 41166 HAS SOUS 17975 HAS SOUPS 17126 WITH SCORE 17206.939
AT ITER 8144 NEW BEST:: SOT 118769 SOS 80957 HAS SOPS 41162 HAS SOUS 17972 HAS SOUPS 17122 WITH SCORE 17202.957
AT ITER 8210 NEW BEST:: SOT 118763 SOS 80951 HAS SOPS 41138 HAS SOUS 17966 HAS SOUPS 17116 WITH SCORE 17196.951
AT ITER 8217 NEW BEST:: SOT 118752 SOS 80940 HAS SOPS 41143 HAS SOUS 17955 HAS SOUPS 17105 WITH SCORE 17185.94
AT ITER 8330 NEW BEST:: SOT 118726 SOS 80914 HAS SOPS 41115 HAS SOUS 17949 HAS SOUPS 17099 WITH SCORE 17179.914
AT ITER 8395 NEW BEST:: SOT 118760 SOS 80948 HAS SOPS 41185 HAS SOUS 17943 HAS SOUPS 17093 WITH SCORE 17173.948
AT ITER 8453 NEW BEST:: SOT 118760 SOS 80951 HAS SOPS 41188 HAS SOUS 17942 HAS SOUPS 17092 WITH SCORE 17172.951
AT ITER 8459 NEW BEST:: SOT 118746 SOS 80937 HAS SOPS 41174 HAS SOUS 17914 HAS SOUPS 17064 WITH SCORE 17144.937
AT ITER 8464 NEW BEST:: SOT 118738 SOS 80929 HAS SOPS 41158 HAS SOUS 17898 HAS SOUPS 17048 WITH SCORE 17128.929
AT ITER 8515 NEW BEST:: SOT 118670 SOS 80861 HAS SOPS 41073 HAS SOUS 17843 HAS SOUPS 16993 WITH SCORE 17073.861
AT ITER 8587 NEW BEST:: SOT 118670 SOS 80849 HAS SOPS 41061 HAS SOUS 17841 HAS SOUPS 16991 WITH SCORE 17071.849
AT ITER 8641 NEW BEST:: SOT 118669 SOS 80848 HAS SOPS 41061 HAS SOUS 17840 HAS SOUPS 16990 WITH SCORE 17070.848
AT ITER 8651 NEW BEST:: SOT 118659 SOS 80838 HAS SOPS 41034 HAS SOUS 17826 HAS SOUPS 16976 WITH SCORE 17056.838
AT ITER 8658 NEW BEST:: SOT 118653 SOS 80832 HAS SOPS 41018 HAS SOUS 17825 HAS SOUPS 16975 WITH SCORE 17055.832
AT ITER 8685 NEW BEST:: SOT 118659 SOS 80838 HAS SOPS 41054 HAS SOUS 17819 HAS SOUPS 16969 WITH SCORE 17049.838
AT ITER 8718 NEW BEST:: SOT 118655 SOS 80834 HAS SOPS 41064 HAS SOUS 17811 HAS SOUPS 16961 WITH SCORE 17041.834
AT ITER 8737 NEW BEST:: SOT 118633 SOS 80812 HAS SOPS 41076 HAS SOUS 17785 HAS SOUPS 16935 WITH SCORE 17015.812
AT ITER 8774 NEW BEST:: SOT 118633 SOS 80810 HAS SOPS 41074 HAS SOUS 17785 HAS SOUPS 16935 WITH SCORE 17015.81
AT ITER 8856 NEW BEST:: SOT 118628 SOS 80805 HAS SOPS 41069 HAS SOUS 17785 HAS SOUPS 16935 WITH SCORE 17015.805
AT ITER 8879 NEW BEST:: SOT 118630 SOS 80807 HAS SOPS 41065 HAS SOUS 17781 HAS SOUPS 16931 WITH SCORE 17011.807
AT ITER 8883 NEW BEST:: SOT 118600 SOS 80777 HAS SOPS 41005 HAS SOUS 17761 HAS SOUPS 16911 WITH SCORE 16991.777
AT ITER 8972 NEW BEST:: SOT 118602 SOS 80779 HAS SOPS 40997 HAS SOUS 17749 HAS SOUPS 16899 WITH SCORE 16979.779
AT ITER 8979 NEW BEST:: SOT 118602 SOS 80751 HAS SOPS 40969 HAS SOUS 17735 HAS SOUPS 16885 WITH SCORE 16965.751
AT ITER 9003 NEW BEST:: SOT 118598 SOS 80747 HAS SOPS 40961 HAS SOUS 17727 HAS SOUPS 16877 WITH SCORE 16957.747
AT ITER 9038 NEW BEST:: SOT 118598 SOS 80747 HAS SOPS 40961 HAS SOUS 17711 HAS SOUPS 16861 WITH SCORE 16941.747
AT ITER 9039 NEW BEST:: SOT 118598 SOS 80723 HAS SOPS 40937 HAS SOUS 17699 HAS SOUPS 16849 WITH SCORE 16929.723
AT ITER 9055 NEW BEST:: SOT 118558 SOS 80683 HAS SOPS 40857 HAS SOUS 17699 HAS SOUPS 16849 WITH SCORE 16929.683
AT ITER 9165 NEW BEST:: SOT 118598 SOS 80723 HAS SOPS 40761 HAS SOUS 17677 HAS SOUPS 16827 WITH SCORE 16907.723
AT ITER 9178 NEW BEST:: SOT 118586 SOS 80711 HAS SOPS 40743 HAS SOUS 17659 HAS SOUPS 16809 WITH SCORE 16889.711
AT ITER 9218 NEW BEST:: SOT 118658 SOS 80791 HAS SOPS 40836 HAS SOUS 17642 HAS SOUPS 16792 WITH SCORE 16872.791
AT ITER 9276 NEW BEST:: SOT 118658 SOS 80791 HAS SOPS 40834 HAS SOUS 17638 HAS SOUPS 16788 WITH SCORE 16868.791
AT ITER 9326 NEW BEST:: SOT 118658 SOS 80915 HAS SOPS 40958 HAS SOUS 17630 HAS SOUPS 16780 WITH SCORE 16860.915
AT ITER 9358 NEW BEST:: SOT 118658 SOS 80915 HAS SOPS 40958 HAS SOUS 17616 HAS SOUPS 16766 WITH SCORE 16846.915
AT ITER 9362 NEW BEST:: SOT 118658 SOS 81023 HAS SOPS 41066 HAS SOUS 17614 HAS SOUPS 16764 WITH SCORE 16845.023
AT ITER 9394 NEW BEST:: SOT 118610 SOS 80975 HAS SOPS 41114 HAS SOUS 17566 HAS SOUPS 16716 WITH SCORE 16796.975
AT ITER 9398 NEW BEST:: SOT 118583 SOS 80947 HAS SOPS 41061 HAS SOUS 17539 HAS SOUPS 16689 WITH SCORE 16769.947
AT ITER 9403 NEW BEST:: SOT 118575 SOS 80939 HAS SOPS 41057 HAS SOUS 17535 HAS SOUPS 16685 WITH SCORE 16765.939
AT ITER 9481 NEW BEST:: SOT 118611 SOS 80975 HAS SOPS 41109 HAS SOUS 17531 HAS SOUPS 16681 WITH SCORE 16761.975
AT ITER 9530 NEW BEST:: SOT 118611 SOS 80947 HAS SOPS 41081 HAS SOUS 17529 HAS SOUPS 16679 WITH SCORE 16759.947
AT ITER 9608 NEW BEST:: SOT 118577 SOS 80913 HAS SOPS 41053 HAS SOUS 17461 HAS SOUPS 16611 WITH SCORE 16691.913
AT ITER 9618 NEW BEST:: SOT 118577 SOS 80913 HAS SOPS 41057 HAS SOUS 17457 HAS SOUPS 16607 WITH SCORE 16687.913
AT ITER 9712 NEW BEST:: SOT 118577 SOS 81011 HAS SOPS 41155 HAS SOUS 17444 HAS SOUPS 16594 WITH SCORE 16675.011
AT ITER 9724 NEW BEST:: SOT 118577 SOS 81011 HAS SOPS 41155 HAS SOUS 17436 HAS SOUPS 16586 WITH SCORE 16667.011
AT ITER 9738 NEW BEST:: SOT 118577 SOS 81011 HAS SOPS 41155 HAS SOUS 17432 HAS SOUPS 16582 WITH SCORE 16663.011
AT ITER 9791 NEW BEST:: SOT 118561 SOS 80995 HAS SOPS 41127 HAS SOUS 17422 HAS SOUPS 16572 WITH SCORE 16652.995
AT ITER 9803 NEW BEST:: SOT 118565 SOS 80999 HAS SOPS 41119 HAS SOUS 17414 HAS SOUPS 16564 WITH SCORE 16644.999
AT ITER 9822 NEW BEST:: SOT 118567 SOS 81001 HAS SOPS 41115 HAS SOUS 17410 HAS SOUPS 16560 WITH SCORE 16641.001
AT ITER 9828 NEW BEST:: SOT 118567 SOS 81025 HAS SOPS 41139 HAS SOUS 17409 HAS SOUPS 16559 WITH SCORE 16640.025
AT ITER 9830 NEW BEST:: SOT 118567 SOS 80747 HAS SOPS 40861 HAS SOUS 17379 HAS SOUPS 16529 WITH SCORE 16609.747
AT ITER 9853 NEW BEST:: SOT 118565 SOS 80745 HAS SOPS 40859 HAS SOUS 17377 HAS SOUPS 16527 WITH SCORE 16607.745
AT ITER 9862 NEW BEST:: SOT 118565 SOS 80745 HAS SOPS 40859 HAS SOUS 17321 HAS SOUPS 16471 WITH SCORE 16551.745
AT ITER 9886 NEW BEST:: SOT 118579 SOS 80759 HAS SOPS 40819 HAS SOUS 17315 HAS SOUPS 16465 WITH SCORE 16545.759
AT ITER 9903 NEW BEST:: SOT 118575 SOS 80755 HAS SOPS 40811 HAS SOUS 17307 HAS SOUPS 16457 WITH SCORE 16537.755
AT ITER 9907 NEW BEST:: SOT 118575 SOS 80755 HAS SOPS 40811 HAS SOUS 17297 HAS SOUPS 16447 WITH SCORE 16527.755
AT ITER 9975 NEW BEST:: SOT 118569 SOS 80749 HAS SOPS 40813 HAS SOUS 17285 HAS SOUPS 16435 WITH SCORE 16515.749
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10047644 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16155528 kB

BK_TIME_CONFINEMENT_REACHED

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

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-b016"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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