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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 169K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679060203495

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=ShieldIIPs-PT-020A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 020A
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: 503 places, 483 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 165422 SOS 127919 HAS SOPS 127919 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108146.919
AT ITER 1 NEW BEST:: SOT 165376 SOS 127689 HAS SOPS 127689 HAS SOUS 108018 HAS SOUPS 108018 WITH SCORE 108145.689
AT ITER 3 NEW BEST:: SOT 165233 SOS 127050 HAS SOPS 127050 HAS SOUS 107855 HAS SOUPS 107855 WITH SCORE 107982.05
AT ITER 7 NEW BEST:: SOT 165086 SOS 126911 HAS SOPS 126911 HAS SOUS 107716 HAS SOUPS 107716 WITH SCORE 107842.911
AT ITER 15 NEW BEST:: SOT 164958 SOS 126374 HAS SOPS 126374 HAS SOUS 107452 HAS SOUPS 107452 WITH SCORE 107578.374
AT ITER 25 NEW BEST:: SOT 164916 SOS 126332 HAS SOPS 126332 HAS SOUS 107410 HAS SOUPS 107410 WITH SCORE 107536.332
AT ITER 27 NEW BEST:: SOT 164832 SOS 125981 HAS SOPS 125981 HAS SOUS 107312 HAS SOUPS 107312 WITH SCORE 107437.981
AT ITER 42 NEW BEST:: SOT 164699 SOS 125957 HAS SOPS 125957 HAS SOUS 107288 HAS SOUPS 107288 WITH SCORE 107413.957
AT ITER 44 NEW BEST:: SOT 164730 SOS 125924 HAS SOPS 125924 HAS SOUS 107255 HAS SOUPS 107255 WITH SCORE 107380.924
AT ITER 45 NEW BEST:: SOT 164717 SOS 125832 HAS SOPS 125832 HAS SOUS 107163 HAS SOUPS 107163 WITH SCORE 107288.832
AT ITER 46 NEW BEST:: SOT 164714 SOS 125827 HAS SOPS 125827 HAS SOUS 107158 HAS SOUPS 107158 WITH SCORE 107283.827
AT ITER 48 NEW BEST:: SOT 164582 SOS 125284 HAS SOPS 125284 HAS SOUS 106812 HAS SOUPS 106812 WITH SCORE 106937.284
AT ITER 49 NEW BEST:: SOT 164487 SOS 124857 HAS SOPS 124857 HAS SOUS 106627 HAS SOUPS 106627 WITH SCORE 106751.857
AT ITER 50 NEW BEST:: SOT 164487 SOS 124640 HAS SOPS 124640 HAS SOUS 106543 HAS SOUPS 106543 WITH SCORE 106667.64
AT ITER 51 NEW BEST:: SOT 164398 SOS 124550 HAS SOPS 124550 HAS SOUS 106453 HAS SOUPS 106453 WITH SCORE 106577.55
AT ITER 57 NEW BEST:: SOT 164287 SOS 124037 HAS SOPS 124037 HAS SOUS 106287 HAS SOUPS 106287 WITH SCORE 106411.037
AT ITER 71 NEW BEST:: SOT 164265 SOS 124015 HAS SOPS 124015 HAS SOUS 106265 HAS SOUPS 106265 WITH SCORE 106389.015
AT ITER 74 NEW BEST:: SOT 164209 SOS 123879 HAS SOPS 123879 HAS SOUS 106150 HAS SOUPS 106150 WITH SCORE 106273.879
AT ITER 90 NEW BEST:: SOT 164209 SOS 123877 HAS SOPS 123877 HAS SOUS 106148 HAS SOUPS 106148 WITH SCORE 106271.877
AT ITER 92 NEW BEST:: SOT 164241 SOS 123830 HAS SOPS 123830 HAS SOUS 106101 HAS SOUPS 106101 WITH SCORE 106224.83
AT ITER 94 NEW BEST:: SOT 163907 SOS 123496 HAS SOPS 123496 HAS SOUS 105767 HAS SOUPS 105767 WITH SCORE 105890.496
AT ITER 96 NEW BEST:: SOT 163772 SOS 123361 HAS SOPS 123361 HAS SOUS 105549 HAS SOUPS 105549 WITH SCORE 105672.361
AT ITER 104 NEW BEST:: SOT 163637 SOS 123235 HAS SOPS 123235 HAS SOUS 105423 HAS SOUPS 105423 WITH SCORE 105546.235
AT ITER 105 NEW BEST:: SOT 163544 SOS 123142 HAS SOPS 123142 HAS SOUS 105330 HAS SOUPS 105330 WITH SCORE 105453.142
AT ITER 110 NEW BEST:: SOT 163782 SOS 122881 HAS SOPS 122881 HAS SOUS 105185 HAS SOUPS 105185 WITH SCORE 105307.881
AT ITER 112 NEW BEST:: SOT 163779 SOS 122878 HAS SOPS 122878 HAS SOUS 105182 HAS SOUPS 105182 WITH SCORE 105304.878
AT ITER 113 NEW BEST:: SOT 163615 SOS 122714 HAS SOPS 122714 HAS SOUS 105018 HAS SOUPS 105018 WITH SCORE 105140.714
AT ITER 116 NEW BEST:: SOT 163483 SOS 122484 HAS SOPS 122484 HAS SOUS 104869 HAS SOUPS 104869 WITH SCORE 104991.484
AT ITER 119 NEW BEST:: SOT 163480 SOS 122478 HAS SOPS 122478 HAS SOUS 104863 HAS SOUPS 104863 WITH SCORE 104985.478
AT ITER 121 NEW BEST:: SOT 163469 SOS 122467 HAS SOPS 122467 HAS SOUS 104852 HAS SOUPS 104852 WITH SCORE 104974.467
AT ITER 123 NEW BEST:: SOT 163594 SOS 122058 HAS SOPS 122058 HAS SOUS 104667 HAS SOUPS 104667 WITH SCORE 104789.058
AT ITER 128 NEW BEST:: SOT 163488 SOS 121952 HAS SOPS 121952 HAS SOUS 104561 HAS SOUPS 104561 WITH SCORE 104682.952
AT ITER 129 NEW BEST:: SOT 163419 SOS 121579 HAS SOPS 121579 HAS SOUS 104520 HAS SOUPS 104520 WITH SCORE 104641.579
AT ITER 132 NEW BEST:: SOT 163419 SOS 121554 HAS SOPS 121554 HAS SOUS 104508 HAS SOUPS 104508 WITH SCORE 104629.554
AT ITER 144 NEW BEST:: SOT 163870 SOS 121798 HAS SOPS 121798 HAS SOUS 104438 HAS SOUPS 104438 WITH SCORE 104559.798
AT ITER 148 NEW BEST:: SOT 163857 SOS 121785 HAS SOPS 121785 HAS SOUS 104425 HAS SOUPS 104425 WITH SCORE 104546.785
AT ITER 150 NEW BEST:: SOT 163826 SOS 121661 HAS SOPS 121661 HAS SOUS 104363 HAS SOUPS 104363 WITH SCORE 104484.661
AT ITER 153 NEW BEST:: SOT 163934 SOS 120930 HAS SOPS 120930 HAS SOUS 103713 HAS SOUPS 103713 WITH SCORE 103833.93
AT ITER 161 NEW BEST:: SOT 163934 SOS 120934 HAS SOPS 120934 HAS SOUS 103710 HAS SOUPS 103710 WITH SCORE 103830.934
AT ITER 162 NEW BEST:: SOT 163918 SOS 120918 HAS SOPS 120918 HAS SOUS 103694 HAS SOUPS 103694 WITH SCORE 103814.918
AT ITER 164 NEW BEST:: SOT 163912 SOS 120912 HAS SOPS 120912 HAS SOUS 103688 HAS SOUPS 103688 WITH SCORE 103808.912
AT ITER 165 NEW BEST:: SOT 163912 SOS 120784 HAS SOPS 120784 HAS SOUS 103642 HAS SOUPS 103642 WITH SCORE 103762.784
AT ITER 167 NEW BEST:: SOT 163868 SOS 120739 HAS SOPS 120739 HAS SOUS 103597 HAS SOUPS 103597 WITH SCORE 103717.739
AT ITER 172 NEW BEST:: SOT 163800 SOS 120669 HAS SOPS 120669 HAS SOUS 103527 HAS SOUPS 103527 WITH SCORE 103647.669
AT ITER 175 NEW BEST:: SOT 163738 SOS 120392 HAS SOPS 120392 HAS SOUS 103168 HAS SOUPS 103168 WITH SCORE 103288.392
AT ITER 177 NEW BEST:: SOT 163612 SOS 120264 HAS SOPS 120264 HAS SOUS 103040 HAS SOUPS 103040 WITH SCORE 103160.264
AT ITER 179 NEW BEST:: SOT 163434 SOS 120099 HAS SOPS 120099 HAS SOUS 102881 HAS SOUPS 102881 WITH SCORE 103001.099
AT ITER 181 NEW BEST:: SOT 163371 SOS 119974 HAS SOPS 119974 HAS SOUS 102756 HAS SOUPS 102756 WITH SCORE 102875.974
AT ITER 190 NEW BEST:: SOT 163153 SOS 119704 HAS SOPS 119704 HAS SOUS 102486 HAS SOUPS 102486 WITH SCORE 102605.704
AT ITER 195 NEW BEST:: SOT 163137 SOS 119577 HAS SOPS 119577 HAS SOUS 102335 HAS SOUPS 102335 WITH SCORE 102454.577
AT ITER 197 NEW BEST:: SOT 163075 SOS 119549 HAS SOPS 119549 HAS SOUS 102320 HAS SOUPS 102320 WITH SCORE 102439.549
AT ITER 202 NEW BEST:: SOT 163067 SOS 119541 HAS SOPS 119541 HAS SOUS 102312 HAS SOUPS 102312 WITH SCORE 102431.541
AT ITER 208 NEW BEST:: SOT 163003 SOS 119475 HAS SOPS 119475 HAS SOUS 102246 HAS SOUPS 102246 WITH SCORE 102365.475
AT ITER 209 NEW BEST:: SOT 162963 SOS 119293 HAS SOPS 119293 HAS SOUS 102064 HAS SOUPS 102064 WITH SCORE 102183.293
AT ITER 212 NEW BEST:: SOT 162935 SOS 119203 HAS SOPS 119203 HAS SOUS 101974 HAS SOUPS 101974 WITH SCORE 102093.203
AT ITER 217 NEW BEST:: SOT 162847 SOS 119115 HAS SOPS 119115 HAS SOUS 101886 HAS SOUPS 101886 WITH SCORE 102005.115
AT ITER 218 NEW BEST:: SOT 162611 SOS 118877 HAS SOPS 118877 HAS SOUS 101648 HAS SOUPS 101648 WITH SCORE 101766.877
AT ITER 219 NEW BEST:: SOT 162611 SOS 118743 HAS SOPS 118743 HAS SOUS 101514 HAS SOUPS 101514 WITH SCORE 101632.743
AT ITER 224 NEW BEST:: SOT 162482 SOS 118614 HAS SOPS 118614 HAS SOUS 101385 HAS SOUPS 101385 WITH SCORE 101503.614
AT ITER 226 NEW BEST:: SOT 162386 SOS 118040 HAS SOPS 118040 HAS SOUS 101376 HAS SOUPS 101376 WITH SCORE 101494.04
AT ITER 228 NEW BEST:: SOT 162098 SOS 117738 HAS SOPS 117738 HAS SOUS 101074 HAS SOUPS 101074 WITH SCORE 101191.738
AT ITER 234 NEW BEST:: SOT 162082 SOS 117722 HAS SOPS 117722 HAS SOUS 101073 HAS SOUPS 101073 WITH SCORE 101190.722
AT ITER 235 NEW BEST:: SOT 162033 SOS 117673 HAS SOPS 117673 HAS SOUS 101024 HAS SOUPS 101024 WITH SCORE 101141.673
AT ITER 238 NEW BEST:: SOT 161900 SOS 117538 HAS SOPS 117538 HAS SOUS 100889 HAS SOUPS 100889 WITH SCORE 101006.538
AT ITER 245 NEW BEST:: SOT 162073 SOS 117143 HAS SOPS 117143 HAS SOUS 100871 HAS SOUPS 100871 WITH SCORE 100988.143
AT ITER 247 NEW BEST:: SOT 162073 SOS 117143 HAS SOPS 117143 HAS SOUS 100693 HAS SOUPS 100693 WITH SCORE 100810.143
AT ITER 248 NEW BEST:: SOT 161791 SOS 116298 HAS SOPS 116298 HAS SOUS 99875 HAS SOUPS 99875 WITH SCORE 99991.298
AT ITER 253 NEW BEST:: SOT 161737 SOS 115976 HAS SOPS 115976 HAS SOUS 99873 HAS SOUPS 99873 WITH SCORE 99988.976
AT ITER 256 NEW BEST:: SOT 161948 SOS 116197 HAS SOPS 116197 HAS SOUS 99834 HAS SOUPS 99834 WITH SCORE 99950.197
AT ITER 260 NEW BEST:: SOT 161860 SOS 116028 HAS SOPS 116028 HAS SOUS 99771 HAS SOUPS 99771 WITH SCORE 99887.028
AT ITER 263 NEW BEST:: SOT 161979 SOS 115934 HAS SOPS 115934 HAS SOUS 99751 HAS SOUPS 99751 WITH SCORE 99866.934
AT ITER 264 NEW BEST:: SOT 161673 SOS 115628 HAS SOPS 115628 HAS SOUS 99445 HAS SOUPS 99445 WITH SCORE 99560.628
AT ITER 268 NEW BEST:: SOT 161921 SOS 115483 HAS SOPS 115483 HAS SOUS 99271 HAS SOUPS 99271 WITH SCORE 99386.483
AT ITER 273 NEW BEST:: SOT 161904 SOS 115466 HAS SOPS 115466 HAS SOUS 99254 HAS SOUPS 99254 WITH SCORE 99369.466
AT ITER 274 NEW BEST:: SOT 161792 SOS 114912 HAS SOPS 114912 HAS SOUS 99084 HAS SOUPS 99084 WITH SCORE 99198.912
AT ITER 276 NEW BEST:: SOT 161674 SOS 114661 HAS SOPS 114661 HAS SOUS 98767 HAS SOUPS 98767 WITH SCORE 98881.661
AT ITER 280 NEW BEST:: SOT 161674 SOS 114578 HAS SOPS 114578 HAS SOUS 98705 HAS SOUPS 98705 WITH SCORE 98819.578
AT ITER 290 NEW BEST:: SOT 161414 SOS 114222 HAS SOPS 114222 HAS SOUS 98356 HAS SOUPS 98356 WITH SCORE 98470.222
AT ITER 296 NEW BEST:: SOT 161403 SOS 114205 HAS SOPS 114205 HAS SOUS 98339 HAS SOUPS 98339 WITH SCORE 98453.205
AT ITER 298 NEW BEST:: SOT 161393 SOS 114195 HAS SOPS 114195 HAS SOUS 98329 HAS SOUPS 98329 WITH SCORE 98443.195
AT ITER 302 NEW BEST:: SOT 161120 SOS 113922 HAS SOPS 113922 HAS SOUS 98056 HAS SOUPS 98056 WITH SCORE 98169.922
AT ITER 303 NEW BEST:: SOT 161008 SOS 113730 HAS SOPS 113730 HAS SOUS 97864 HAS SOUPS 97864 WITH SCORE 97977.73
AT ITER 305 NEW BEST:: SOT 160999 SOS 113721 HAS SOPS 113721 HAS SOUS 97855 HAS SOUPS 97855 WITH SCORE 97968.721
AT ITER 313 NEW BEST:: SOT 160998 SOS 113717 HAS SOPS 113717 HAS SOUS 97855 HAS SOUPS 97855 WITH SCORE 97968.717
AT ITER 315 NEW BEST:: SOT 161136 SOS 113669 HAS SOPS 113669 HAS SOUS 97793 HAS SOUPS 97793 WITH SCORE 97906.669
AT ITER 320 NEW BEST:: SOT 161132 SOS 113491 HAS SOPS 113491 HAS SOUS 97581 HAS SOUPS 97581 WITH SCORE 97694.491
AT ITER 327 NEW BEST:: SOT 161132 SOS 113481 HAS SOPS 113481 HAS SOUS 97571 HAS SOUPS 97571 WITH SCORE 97684.481
AT ITER 342 NEW BEST:: SOT 161121 SOS 113459 HAS SOPS 113459 HAS SOUS 97557 HAS SOUPS 97557 WITH SCORE 97670.459
AT ITER 345 NEW BEST:: SOT 160974 SOS 113311 HAS SOPS 113311 HAS SOUS 97409 HAS SOUPS 97409 WITH SCORE 97522.311
AT ITER 359 NEW BEST:: SOT 160859 SOS 112917 HAS SOPS 112917 HAS SOUS 97323 HAS SOUPS 97323 WITH SCORE 97435.917
AT ITER 360 NEW BEST:: SOT 160817 SOS 112744 HAS SOPS 112744 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97356.744
AT ITER 372 NEW BEST:: SOT 160488 SOS 112309 HAS SOPS 112309 HAS SOUS 96809 HAS SOUPS 96809 WITH SCORE 96921.309
AT ITER 378 NEW BEST:: SOT 160446 SOS 112267 HAS SOPS 112267 HAS SOUS 96809 HAS SOUPS 96809 WITH SCORE 96921.267
AT ITER 379 NEW BEST:: SOT 160219 SOS 111938 HAS SOPS 111938 HAS SOUS 96391 HAS SOUPS 96391 WITH SCORE 96502.938
AT ITER 380 NEW BEST:: SOT 160105 SOS 111823 HAS SOPS 111823 HAS SOUS 96276 HAS SOUPS 96276 WITH SCORE 96387.823
AT ITER 386 NEW BEST:: SOT 160000 SOS 111717 HAS SOPS 111717 HAS SOUS 96170 HAS SOUPS 96170 WITH SCORE 96281.717
AT ITER 407 NEW BEST:: SOT 160000 SOS 111667 HAS SOPS 111667 HAS SOUS 96080 HAS SOUPS 96080 WITH SCORE 96191.667
AT ITER 425 NEW BEST:: SOT 159961 SOS 111628 HAS SOPS 111628 HAS SOUS 95972 HAS SOUPS 95972 WITH SCORE 96083.628
AT ITER 426 NEW BEST:: SOT 160002 SOS 111293 HAS SOPS 111293 HAS SOUS 95887 HAS SOUPS 95887 WITH SCORE 95998.293
AT ITER 429 NEW BEST:: SOT 159570 SOS 110861 HAS SOPS 110861 HAS SOUS 95455 HAS SOUPS 95455 WITH SCORE 95565.861
AT ITER 431 NEW BEST:: SOT 159570 SOS 110837 HAS SOPS 110837 HAS SOUS 95431 HAS SOUPS 95431 WITH SCORE 95541.837
AT ITER 438 NEW BEST:: SOT 159526 SOS 110827 HAS SOPS 110827 HAS SOUS 95376 HAS SOUPS 95376 WITH SCORE 95486.827
AT ITER 443 NEW BEST:: SOT 159449 SOS 110290 HAS SOPS 110290 HAS SOUS 94874 HAS SOUPS 94874 WITH SCORE 94984.29
AT ITER 444 NEW BEST:: SOT 159444 SOS 110250 HAS SOPS 110250 HAS SOUS 94874 HAS SOUPS 94874 WITH SCORE 94984.25
AT ITER 446 NEW BEST:: SOT 159384 SOS 110070 HAS SOPS 110070 HAS SOUS 94695 HAS SOUPS 94695 WITH SCORE 94805.07
AT ITER 447 NEW BEST:: SOT 159265 SOS 109243 HAS SOPS 109243 HAS SOUS 93976 HAS SOUPS 93976 WITH SCORE 94085.243
AT ITER 451 NEW BEST:: SOT 159264 SOS 109051 HAS SOPS 109051 HAS SOUS 93850 HAS SOUPS 93850 WITH SCORE 93959.051
AT ITER 455 NEW BEST:: SOT 159104 SOS 108583 HAS SOPS 108583 HAS SOUS 93382 HAS SOUPS 93382 WITH SCORE 93490.583
AT ITER 456 NEW BEST:: SOT 158969 SOS 108315 HAS SOPS 108315 HAS SOUS 93114 HAS SOUPS 93114 WITH SCORE 93222.315
AT ITER 459 NEW BEST:: SOT 158969 SOS 108315 HAS SOPS 108315 HAS SOUS 93102 HAS SOUPS 93102 WITH SCORE 93210.315
AT ITER 461 NEW BEST:: SOT 158954 SOS 108300 HAS SOPS 108300 HAS SOUS 93087 HAS SOUPS 93087 WITH SCORE 93195.3
AT ITER 476 NEW BEST:: SOT 158891 SOS 108014 HAS SOPS 108014 HAS SOUS 93053 HAS SOUPS 93053 WITH SCORE 93161.014
AT ITER 487 NEW BEST:: SOT 158886 SOS 108009 HAS SOPS 108009 HAS SOUS 93048 HAS SOUPS 93048 WITH SCORE 93156.009
AT ITER 488 NEW BEST:: SOT 158886 SOS 107937 HAS SOPS 107937 HAS SOUS 92927 HAS SOUPS 92927 WITH SCORE 93034.937
AT ITER 494 NEW BEST:: SOT 158891 SOS 107883 HAS SOPS 107883 HAS SOUS 92646 HAS SOUPS 92646 WITH SCORE 92753.883
AT ITER 498 NEW BEST:: SOT 158902 SOS 107894 HAS SOPS 107894 HAS SOUS 92643 HAS SOUPS 92643 WITH SCORE 92750.894
AT ITER 504 NEW BEST:: SOT 158886 SOS 107870 HAS SOPS 107870 HAS SOUS 92633 HAS SOUPS 92633 WITH SCORE 92740.87
AT ITER 507 NEW BEST:: SOT 158843 SOS 107839 HAS SOPS 107839 HAS SOUS 92617 HAS SOUPS 92617 WITH SCORE 92724.839
AT ITER 511 NEW BEST:: SOT 158210 SOS 107264 HAS SOPS 107264 HAS SOUS 92042 HAS SOUPS 92042 WITH SCORE 92149.264
AT ITER 513 NEW BEST:: SOT 158187 SOS 107262 HAS SOPS 107262 HAS SOUS 92011 HAS SOUPS 92011 WITH SCORE 92118.262
AT ITER 515 NEW BEST:: SOT 157966 SOS 107101 HAS SOPS 107101 HAS SOUS 91850 HAS SOUPS 91850 WITH SCORE 91957.101
AT ITER 517 NEW BEST:: SOT 157957 SOS 106846 HAS SOPS 106846 HAS SOUS 91850 HAS SOUPS 91850 WITH SCORE 91956.846
AT ITER 518 NEW BEST:: SOT 158009 SOS 106772 HAS SOPS 106772 HAS SOUS 91767 HAS SOUPS 91767 WITH SCORE 91873.772
AT ITER 527 NEW BEST:: SOT 158009 SOS 106770 HAS SOPS 106770 HAS SOUS 91570 HAS SOUPS 91570 WITH SCORE 91676.77
AT ITER 528 NEW BEST:: SOT 157983 SOS 106744 HAS SOPS 106744 HAS SOUS 91544 HAS SOUPS 91544 WITH SCORE 91650.744
AT ITER 533 NEW BEST:: SOT 157897 SOS 106658 HAS SOPS 106658 HAS SOUS 91458 HAS SOUPS 91458 WITH SCORE 91564.658
AT ITER 547 NEW BEST:: SOT 157704 SOS 106463 HAS SOPS 106463 HAS SOUS 91263 HAS SOUPS 91263 WITH SCORE 91369.463
AT ITER 555 NEW BEST:: SOT 157686 SOS 106445 HAS SOPS 106445 HAS SOUS 91245 HAS SOUPS 91245 WITH SCORE 91351.445
AT ITER 560 NEW BEST:: SOT 157677 SOS 106323 HAS SOPS 106323 HAS SOUS 91149 HAS SOUPS 91149 WITH SCORE 91255.323
AT ITER 569 NEW BEST:: SOT 157645 SOS 106318 HAS SOPS 106318 HAS SOUS 91144 HAS SOUPS 91144 WITH SCORE 91250.318
AT ITER 600 NEW BEST:: SOT 157563 SOS 106154 HAS SOPS 106154 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91086.154
AT ITER 601 NEW BEST:: SOT 157531 SOS 106099 HAS SOPS 106099 HAS SOUS 90925 HAS SOUPS 90925 WITH SCORE 91031.099
AT ITER 605 NEW BEST:: SOT 157583 SOS 106010 HAS SOPS 106010 HAS SOUS 90836 HAS SOUPS 90836 WITH SCORE 90942.01
AT ITER 608 NEW BEST:: SOT 157527 SOS 105867 HAS SOPS 105867 HAS SOUS 90719 HAS SOUPS 90719 WITH SCORE 90824.867
AT ITER 612 NEW BEST:: SOT 157107 SOS 105447 HAS SOPS 105447 HAS SOUS 90299 HAS SOUPS 90299 WITH SCORE 90404.447
AT ITER 616 NEW BEST:: SOT 156452 SOS 104536 HAS SOPS 104536 HAS SOUS 89339 HAS SOUPS 89339 WITH SCORE 89443.536
AT ITER 623 NEW BEST:: SOT 156429 SOS 104297 HAS SOPS 104297 HAS SOUS 89329 HAS SOUPS 89329 WITH SCORE 89433.297
AT ITER 634 NEW BEST:: SOT 156427 SOS 104213 HAS SOPS 104213 HAS SOUS 89245 HAS SOUPS 89245 WITH SCORE 89349.213
AT ITER 644 NEW BEST:: SOT 156452 SOS 104238 HAS SOPS 104238 HAS SOUS 89188 HAS SOUPS 89188 WITH SCORE 89292.238
AT ITER 654 NEW BEST:: SOT 156380 SOS 104015 HAS SOPS 104015 HAS SOUS 88629 HAS SOUPS 88629 WITH SCORE 88733.015
AT ITER 663 NEW BEST:: SOT 156378 SOS 103756 HAS SOPS 103756 HAS SOUS 88572 HAS SOUPS 88572 WITH SCORE 88675.756
AT ITER 667 NEW BEST:: SOT 156276 SOS 103413 HAS SOPS 103413 HAS SOUS 88365 HAS SOUPS 88365 WITH SCORE 88468.413
AT ITER 670 NEW BEST:: SOT 156377 SOS 103452 HAS SOPS 103452 HAS SOUS 88192 HAS SOUPS 88192 WITH SCORE 88295.452
AT ITER 679 NEW BEST:: SOT 156340 SOS 103415 HAS SOPS 103415 HAS SOUS 88155 HAS SOUPS 88155 WITH SCORE 88258.415
AT ITER 682 NEW BEST:: SOT 156340 SOS 103263 HAS SOPS 103263 HAS SOUS 88100 HAS SOUPS 88100 WITH SCORE 88203.263
AT ITER 685 NEW BEST:: SOT 156340 SOS 103246 HAS SOPS 103246 HAS SOUS 88083 HAS SOUPS 88083 WITH SCORE 88186.246
AT ITER 688 NEW BEST:: SOT 156355 SOS 103248 HAS SOPS 103248 HAS SOUS 88039 HAS SOUPS 88039 WITH SCORE 88142.248
AT ITER 690 NEW BEST:: SOT 156316 SOS 103025 HAS SOPS 103025 HAS SOUS 87917 HAS SOUPS 87917 WITH SCORE 88020.025
AT ITER 698 NEW BEST:: SOT 156274 SOS 102985 HAS SOPS 102985 HAS SOUS 87877 HAS SOUPS 87877 WITH SCORE 87979.985
AT ITER 700 NEW BEST:: SOT 156172 SOS 102976 HAS SOPS 102976 HAS SOUS 87868 HAS SOUPS 87868 WITH SCORE 87970.976
AT ITER 704 NEW BEST:: SOT 156212 SOS 102750 HAS SOPS 102750 HAS SOUS 87431 HAS SOUPS 87431 WITH SCORE 87533.75
AT ITER 706 NEW BEST:: SOT 156186 SOS 102655 HAS SOPS 102655 HAS SOUS 87419 HAS SOUPS 87419 WITH SCORE 87521.655
AT ITER 712 NEW BEST:: SOT 156179 SOS 102648 HAS SOPS 102648 HAS SOUS 87412 HAS SOUPS 87412 WITH SCORE 87514.648
AT ITER 721 NEW BEST:: SOT 156134 SOS 102518 HAS SOPS 102518 HAS SOUS 87372 HAS SOUPS 87372 WITH SCORE 87474.518
AT ITER 724 NEW BEST:: SOT 156122 SOS 102506 HAS SOPS 102506 HAS SOUS 87359 HAS SOUPS 87359 WITH SCORE 87461.506
AT ITER 725 NEW BEST:: SOT 156117 SOS 102476 HAS SOPS 102476 HAS SOUS 87278 HAS SOUPS 87278 WITH SCORE 87380.476
AT ITER 733 NEW BEST:: SOT 155841 SOS 102267 HAS SOPS 102267 HAS SOUS 87006 HAS SOUPS 87006 WITH SCORE 87108.267
AT ITER 735 NEW BEST:: SOT 155648 SOS 101909 HAS SOPS 101909 HAS SOUS 86709 HAS SOUPS 86709 WITH SCORE 86810.909
AT ITER 737 NEW BEST:: SOT 155821 SOS 101939 HAS SOPS 101939 HAS SOUS 86564 HAS SOUPS 86564 WITH SCORE 86665.939
AT ITER 739 NEW BEST:: SOT 155589 SOS 101707 HAS SOPS 101707 HAS SOUS 86332 HAS SOUPS 86332 WITH SCORE 86433.707
AT ITER 747 NEW BEST:: SOT 155582 SOS 101700 HAS SOPS 101700 HAS SOUS 86325 HAS SOUPS 86325 WITH SCORE 86426.7
AT ITER 754 NEW BEST:: SOT 155582 SOS 101698 HAS SOPS 101698 HAS SOUS 86324 HAS SOUPS 86324 WITH SCORE 86425.698
AT ITER 763 NEW BEST:: SOT 155536 SOS 101629 HAS SOPS 101629 HAS SOUS 86257 HAS SOUPS 86257 WITH SCORE 86358.629
AT ITER 769 NEW BEST:: SOT 155463 SOS 101577 HAS SOPS 101577 HAS SOUS 86205 HAS SOUPS 86205 WITH SCORE 86306.577
AT ITER 771 NEW BEST:: SOT 155463 SOS 101502 HAS SOPS 101502 HAS SOUS 86130 HAS SOUPS 86130 WITH SCORE 86231.502
AT ITER 774 NEW BEST:: SOT 155326 SOS 101424 HAS SOPS 101424 HAS SOUS 86052 HAS SOUPS 86052 WITH SCORE 86153.424
AT ITER 778 NEW BEST:: SOT 155359 SOS 101377 HAS SOPS 101377 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86120.377
AT ITER 810 NEW BEST:: SOT 155267 SOS 101361 HAS SOPS 101361 HAS SOUS 86003 HAS SOUPS 86003 WITH SCORE 86104.361
AT ITER 814 NEW BEST:: SOT 155201 SOS 101294 HAS SOPS 101294 HAS SOUS 85936 HAS SOUPS 85936 WITH SCORE 86037.294
AT ITER 817 NEW BEST:: SOT 155371 SOS 101080 HAS SOPS 101080 HAS SOUS 85824 HAS SOUPS 85824 WITH SCORE 85925.08
AT ITER 831 NEW BEST:: SOT 155340 SOS 100979 HAS SOPS 100979 HAS SOUS 85723 HAS SOUPS 85723 WITH SCORE 85823.979
AT ITER 848 NEW BEST:: SOT 155220 SOS 100333 HAS SOPS 100333 HAS SOUS 85332 HAS SOUPS 85332 WITH SCORE 85432.333
AT ITER 850 NEW BEST:: SOT 155346 SOS 100466 HAS SOPS 100466 HAS SOUS 85325 HAS SOUPS 85325 WITH SCORE 85425.466
AT ITER 852 NEW BEST:: SOT 155223 SOS 100215 HAS SOPS 100215 HAS SOUS 85074 HAS SOUPS 85074 WITH SCORE 85174.215
AT ITER 853 NEW BEST:: SOT 155298 SOS 100214 HAS SOPS 100214 HAS SOUS 85073 HAS SOUPS 85073 WITH SCORE 85173.214
AT ITER 854 NEW BEST:: SOT 155349 SOS 100128 HAS SOPS 100128 HAS SOUS 85000 HAS SOUPS 85000 WITH SCORE 85100.128
AT ITER 857 NEW BEST:: SOT 154798 SOS 99389 HAS SOPS 99389 HAS SOUS 84355 HAS SOUPS 84355 WITH SCORE 84454.389
AT ITER 859 NEW BEST:: SOT 154792 SOS 99383 HAS SOPS 99383 HAS SOUS 84349 HAS SOUPS 84349 WITH SCORE 84448.383
AT ITER 865 NEW BEST:: SOT 154733 SOS 99304 HAS SOPS 99304 HAS SOUS 84300 HAS SOUPS 84300 WITH SCORE 84399.304
AT ITER 870 NEW BEST:: SOT 154683 SOS 99262 HAS SOPS 99262 HAS SOUS 84258 HAS SOUPS 84258 WITH SCORE 84357.262
AT ITER 875 NEW BEST:: SOT 154643 SOS 99184 HAS SOPS 99184 HAS SOUS 84191 HAS SOUPS 84191 WITH SCORE 84290.184
AT ITER 876 NEW BEST:: SOT 154624 SOS 98982 HAS SOPS 98982 HAS SOUS 84001 HAS SOUPS 84001 WITH SCORE 84099.982
AT ITER 880 NEW BEST:: SOT 154518 SOS 98847 HAS SOPS 98847 HAS SOUS 83866 HAS SOUPS 83866 WITH SCORE 83964.847
AT ITER 881 NEW BEST:: SOT 154452 SOS 98781 HAS SOPS 98781 HAS SOUS 83800 HAS SOUPS 83800 WITH SCORE 83898.781
AT ITER 892 NEW BEST:: SOT 154416 SOS 98745 HAS SOPS 98745 HAS SOUS 83764 HAS SOUPS 83764 WITH SCORE 83862.745
AT ITER 895 NEW BEST:: SOT 154414 SOS 98743 HAS SOPS 98743 HAS SOUS 83764 HAS SOUPS 83764 WITH SCORE 83862.743
AT ITER 909 NEW BEST:: SOT 154216 SOS 98737 HAS SOPS 98737 HAS SOUS 83677 HAS SOUPS 83677 WITH SCORE 83775.737
AT ITER 912 NEW BEST:: SOT 154214 SOS 98735 HAS SOPS 98735 HAS SOUS 83675 HAS SOUPS 83675 WITH SCORE 83773.735
AT ITER 916 NEW BEST:: SOT 154123 SOS 98584 HAS SOPS 98584 HAS SOUS 83623 HAS SOUPS 83623 WITH SCORE 83721.584
AT ITER 919 NEW BEST:: SOT 154217 SOS 98641 HAS SOPS 98641 HAS SOUS 83582 HAS SOUPS 83582 WITH SCORE 83680.641
AT ITER 931 NEW BEST:: SOT 154044 SOS 98468 HAS SOPS 98468 HAS SOUS 83409 HAS SOUPS 83409 WITH SCORE 83507.468
AT ITER 940 NEW BEST:: SOT 154159 SOS 98357 HAS SOPS 98357 HAS SOUS 83217 HAS SOUPS 83217 WITH SCORE 83315.357
AT ITER 944 NEW BEST:: SOT 153937 SOS 98147 HAS SOPS 98147 HAS SOUS 83007 HAS SOUPS 83007 WITH SCORE 83105.147
AT ITER 945 NEW BEST:: SOT 153781 SOS 97885 HAS SOPS 97885 HAS SOUS 82745 HAS SOUPS 82745 WITH SCORE 82842.885
AT ITER 947 NEW BEST:: SOT 153581 SOS 97258 HAS SOPS 97258 HAS SOUS 81514 HAS SOUPS 81514 WITH SCORE 81611.258
AT ITER 951 NEW BEST:: SOT 153581 SOS 97037 HAS SOPS 97037 HAS SOUS 81492 HAS SOUPS 81492 WITH SCORE 81589.037
AT ITER 953 NEW BEST:: SOT 153513 SOS 96972 HAS SOPS 96972 HAS SOUS 81427 HAS SOUPS 81427 WITH SCORE 81523.972
AT ITER 956 NEW BEST:: SOT 153387 SOS 96846 HAS SOPS 96846 HAS SOUS 81301 HAS SOUPS 81301 WITH SCORE 81397.846
AT ITER 962 NEW BEST:: SOT 153258 SOS 96346 HAS SOPS 96346 HAS SOUS 81087 HAS SOUPS 81087 WITH SCORE 81183.346
AT ITER 973 NEW BEST:: SOT 153144 SOS 96138 HAS SOPS 96138 HAS SOUS 80879 HAS SOUPS 80879 WITH SCORE 80975.138
AT ITER 978 NEW BEST:: SOT 153115 SOS 96109 HAS SOPS 96109 HAS SOUS 80850 HAS SOUPS 80850 WITH SCORE 80946.109
AT ITER 980 NEW BEST:: SOT 153036 SOS 95947 HAS SOPS 95947 HAS SOUS 80572 HAS SOUPS 80572 WITH SCORE 80667.947
AT ITER 982 NEW BEST:: SOT 153085 SOS 95988 HAS SOPS 95988 HAS SOUS 80568 HAS SOUPS 80568 WITH SCORE 80663.988
AT ITER 983 NEW BEST:: SOT 152863 SOS 95766 HAS SOPS 95766 HAS SOUS 80346 HAS SOUPS 80346 WITH SCORE 80441.766
AT ITER 1009 NEW BEST:: SOT 152829 SOS 95730 HAS SOPS 95730 HAS SOUS 80310 HAS SOUPS 80310 WITH SCORE 80405.73
AT ITER 1014 NEW BEST:: SOT 152572 SOS 95209 HAS SOPS 95209 HAS SOUS 79603 HAS SOUPS 79603 WITH SCORE 79698.209
AT ITER 1015 NEW BEST:: SOT 152572 SOS 95133 HAS SOPS 95133 HAS SOUS 79565 HAS SOUPS 79565 WITH SCORE 79660.133
AT ITER 1018 NEW BEST:: SOT 152125 SOS 94643 HAS SOPS 94643 HAS SOUS 79075 HAS SOUPS 79075 WITH SCORE 79169.643
AT ITER 1027 NEW BEST:: SOT 152124 SOS 94642 HAS SOPS 94642 HAS SOUS 79074 HAS SOUPS 79074 WITH SCORE 79168.642
AT ITER 1028 NEW BEST:: SOT 152076 SOS 94578 HAS SOPS 94578 HAS SOUS 79010 HAS SOUPS 79010 WITH SCORE 79104.578
AT ITER 1032 NEW BEST:: SOT 152042 SOS 94688 HAS SOPS 94688 HAS SOUS 78920 HAS SOUPS 78920 WITH SCORE 79014.688
AT ITER 1036 NEW BEST:: SOT 151977 SOS 94623 HAS SOPS 94623 HAS SOUS 78855 HAS SOUPS 78855 WITH SCORE 78949.623
AT ITER 1038 NEW BEST:: SOT 151997 SOS 94593 HAS SOPS 94593 HAS SOUS 78842 HAS SOUPS 78842 WITH SCORE 78936.593
AT ITER 1043 NEW BEST:: SOT 151905 SOS 94499 HAS SOPS 94499 HAS SOUS 78748 HAS SOUPS 78748 WITH SCORE 78842.499
AT ITER 1057 NEW BEST:: SOT 151798 SOS 94384 HAS SOPS 94384 HAS SOUS 78637 HAS SOUPS 78637 WITH SCORE 78731.384
AT ITER 1060 NEW BEST:: SOT 151630 SOS 94369 HAS SOPS 94369 HAS SOUS 78622 HAS SOUPS 78622 WITH SCORE 78716.369
AT ITER 1070 NEW BEST:: SOT 151630 SOS 94428 HAS SOPS 94428 HAS SOUS 78447 HAS SOUPS 78447 WITH SCORE 78541.428
AT ITER 1083 NEW BEST:: SOT 151683 SOS 94363 HAS SOPS 94363 HAS SOUS 78386 HAS SOUPS 78386 WITH SCORE 78480.363
AT ITER 1093 NEW BEST:: SOT 151412 SOS 94087 HAS SOPS 94087 HAS SOUS 78110 HAS SOUPS 78110 WITH SCORE 78204.087
AT ITER 1101 NEW BEST:: SOT 151653 SOS 94442 HAS SOPS 94442 HAS SOUS 78067 HAS SOUPS 78067 WITH SCORE 78161.442
AT ITER 1113 NEW BEST:: SOT 151653 SOS 94206 HAS SOPS 94206 HAS SOUS 77831 HAS SOUPS 77831 WITH SCORE 77925.206
AT ITER 1114 NEW BEST:: SOT 151566 SOS 93985 HAS SOPS 93985 HAS SOUS 77703 HAS SOUPS 77703 WITH SCORE 77796.985
AT ITER 1117 NEW BEST:: SOT 151566 SOS 93917 HAS SOPS 93917 HAS SOUS 77661 HAS SOUPS 77661 WITH SCORE 77754.917
AT ITER 1122 NEW BEST:: SOT 151560 SOS 93911 HAS SOPS 93911 HAS SOUS 77655 HAS SOUPS 77655 WITH SCORE 77748.911
AT ITER 1130 NEW BEST:: SOT 151126 SOS 93462 HAS SOPS 93462 HAS SOUS 77206 HAS SOUPS 77206 WITH SCORE 77299.462
AT ITER 1141 NEW BEST:: SOT 151119 SOS 93445 HAS SOPS 93445 HAS SOUS 77189 HAS SOUPS 77189 WITH SCORE 77282.445
AT ITER 1148 NEW BEST:: SOT 151079 SOS 93300 HAS SOPS 93300 HAS SOUS 77062 HAS SOUPS 77062 WITH SCORE 77155.3
AT ITER 1153 NEW BEST:: SOT 151079 SOS 93294 HAS SOPS 93294 HAS SOUS 77032 HAS SOUPS 77032 WITH SCORE 77125.294
AT ITER 1180 NEW BEST:: SOT 150973 SOS 93188 HAS SOPS 93188 HAS SOUS 76926 HAS SOUPS 76926 WITH SCORE 77019.188
AT ITER 1184 NEW BEST:: SOT 150891 SOS 93090 HAS SOPS 93090 HAS SOUS 76844 HAS SOUPS 76844 WITH SCORE 76937.09
AT ITER 1186 NEW BEST:: SOT 150871 SOS 93150 HAS SOPS 93150 HAS SOUS 76760 HAS SOUPS 76760 WITH SCORE 76853.15
AT ITER 1188 NEW BEST:: SOT 150854 SOS 93080 HAS SOPS 93080 HAS SOUS 76745 HAS SOUPS 76745 WITH SCORE 76838.08
AT ITER 1191 NEW BEST:: SOT 150817 SOS 92969 HAS SOPS 92969 HAS SOUS 76669 HAS SOUPS 76669 WITH SCORE 76761.969
AT ITER 1205 NEW BEST:: SOT 150614 SOS 92458 HAS SOPS 92458 HAS SOUS 76393 HAS SOUPS 76393 WITH SCORE 76485.458
AT ITER 1207 NEW BEST:: SOT 150616 SOS 92456 HAS SOPS 92456 HAS SOUS 76392 HAS SOUPS 76392 WITH SCORE 76484.456
AT ITER 1208 NEW BEST:: SOT 150353 SOS 92097 HAS SOPS 92097 HAS SOUS 76033 HAS SOUPS 76033 WITH SCORE 76125.097
AT ITER 1220 NEW BEST:: SOT 150299 SOS 92043 HAS SOPS 92043 HAS SOUS 75979 HAS SOUPS 75979 WITH SCORE 76071.043
AT ITER 1222 NEW BEST:: SOT 150226 SOS 91678 HAS SOPS 91678 HAS SOUS 75925 HAS SOUPS 75925 WITH SCORE 76016.678
AT ITER 1249 NEW BEST:: SOT 150457 SOS 91992 HAS SOPS 91992 HAS SOUS 75773 HAS SOUPS 75773 WITH SCORE 75864.992
AT ITER 1250 NEW BEST:: SOT 150460 SOS 91995 HAS SOPS 91995 HAS SOUS 75736 HAS SOUPS 75736 WITH SCORE 75827.995
AT ITER 1266 NEW BEST:: SOT 150303 SOS 91585 HAS SOPS 91585 HAS SOUS 75326 HAS SOUPS 75326 WITH SCORE 75417.585
AT ITER 1268 NEW BEST:: SOT 150565 SOS 91560 HAS SOPS 91560 HAS SOUS 75181 HAS SOUPS 75181 WITH SCORE 75272.56
AT ITER 1274 NEW BEST:: SOT 150531 SOS 91498 HAS SOPS 91498 HAS SOUS 74858 HAS SOUPS 74858 WITH SCORE 74949.498
AT ITER 1293 NEW BEST:: SOT 150524 SOS 91491 HAS SOPS 91491 HAS SOUS 74851 HAS SOUPS 74851 WITH SCORE 74942.491
AT ITER 1298 NEW BEST:: SOT 150478 SOS 91445 HAS SOPS 91445 HAS SOUS 74805 HAS SOUPS 74805 WITH SCORE 74896.445
AT ITER 1305 NEW BEST:: SOT 150469 SOS 91344 HAS SOPS 91344 HAS SOUS 74491 HAS SOUPS 74491 WITH SCORE 74582.344
AT ITER 1313 NEW BEST:: SOT 150547 SOS 91370 HAS SOPS 91370 HAS SOUS 74393 HAS SOUPS 74393 WITH SCORE 74484.37
AT ITER 1314 NEW BEST:: SOT 150375 SOS 91105 HAS SOPS 91105 HAS SOUS 74126 HAS SOUPS 74126 WITH SCORE 74217.105
AT ITER 1317 NEW BEST:: SOT 150265 SOS 90995 HAS SOPS 90995 HAS SOUS 74016 HAS SOUPS 74016 WITH SCORE 74106.995
AT ITER 1329 NEW BEST:: SOT 150259 SOS 90980 HAS SOPS 90980 HAS SOUS 74001 HAS SOUPS 74001 WITH SCORE 74091.98
AT ITER 1331 NEW BEST:: SOT 150223 SOS 90944 HAS SOPS 90944 HAS SOUS 73965 HAS SOUPS 73965 WITH SCORE 74055.944
AT ITER 1337 NEW BEST:: SOT 150212 SOS 90762 HAS SOPS 90762 HAS SOUS 73963 HAS SOUPS 73963 WITH SCORE 74053.762
AT ITER 1339 NEW BEST:: SOT 150233 SOS 90764 HAS SOPS 90764 HAS SOUS 73954 HAS SOUPS 73954 WITH SCORE 74044.764
AT ITER 1342 NEW BEST:: SOT 150200 SOS 90698 HAS SOPS 90698 HAS SOUS 73888 HAS SOUPS 73888 WITH SCORE 73978.698
AT ITER 1343 NEW BEST:: SOT 150198 SOS 90694 HAS SOPS 90694 HAS SOUS 73865 HAS SOUPS 73865 WITH SCORE 73955.694
AT ITER 1348 NEW BEST:: SOT 150189 SOS 90676 HAS SOPS 90676 HAS SOUS 73857 HAS SOUPS 73857 WITH SCORE 73947.676
AT ITER 1353 NEW BEST:: SOT 150181 SOS 90646 HAS SOPS 90646 HAS SOUS 73827 HAS SOUPS 73827 WITH SCORE 73917.646
AT ITER 1354 NEW BEST:: SOT 150200 SOS 90621 HAS SOPS 90621 HAS SOUS 73663 HAS SOUPS 73663 WITH SCORE 73753.621
AT ITER 1362 NEW BEST:: SOT 150226 SOS 90588 HAS SOPS 90588 HAS SOUS 73600 HAS SOUPS 73600 WITH SCORE 73690.588
AT ITER 1368 NEW BEST:: SOT 150226 SOS 90618 HAS SOPS 90618 HAS SOUS 73585 HAS SOUPS 73585 WITH SCORE 73675.618
AT ITER 1380 NEW BEST:: SOT 150273 SOS 90455 HAS SOPS 90455 HAS SOUS 73474 HAS SOUPS 73474 WITH SCORE 73564.455
AT ITER 1389 NEW BEST:: SOT 150273 SOS 90419 HAS SOPS 90419 HAS SOUS 73462 HAS SOUPS 73462 WITH SCORE 73552.419
AT ITER 1391 NEW BEST:: SOT 150177 SOS 90323 HAS SOPS 90323 HAS SOUS 73366 HAS SOUPS 73366 WITH SCORE 73456.323
AT ITER 1415 NEW BEST:: SOT 149949 SOS 90093 HAS SOPS 90093 HAS SOUS 73132 HAS SOUPS 73132 WITH SCORE 73222.093
AT ITER 1421 NEW BEST:: SOT 149894 SOS 89981 HAS SOPS 89981 HAS SOUS 73050 HAS SOUPS 73050 WITH SCORE 73139.981
AT ITER 1439 NEW BEST:: SOT 149877 SOS 89964 HAS SOPS 89964 HAS SOUS 73033 HAS SOUPS 73033 WITH SCORE 73122.964
AT ITER 1443 NEW BEST:: SOT 149827 SOS 89914 HAS SOPS 89914 HAS SOUS 72983 HAS SOUPS 72983 WITH SCORE 73072.914
AT ITER 1448 NEW BEST:: SOT 149767 SOS 89874 HAS SOPS 89874 HAS SOUS 72943 HAS SOUPS 72943 WITH SCORE 73032.874
AT ITER 1454 NEW BEST:: SOT 149633 SOS 89670 HAS SOPS 89670 HAS SOUS 72597 HAS SOUPS 72597 WITH SCORE 72686.67
AT ITER 1470 NEW BEST:: SOT 149591 SOS 89628 HAS SOPS 89628 HAS SOUS 72533 HAS SOUPS 72533 WITH SCORE 72622.628
AT ITER 1472 NEW BEST:: SOT 149591 SOS 89627 HAS SOPS 89627 HAS SOUS 72533 HAS SOUPS 72533 WITH SCORE 72622.627
AT ITER 1473 NEW BEST:: SOT 149591 SOS 89591 HAS SOPS 89591 HAS SOUS 72500 HAS SOUPS 72500 WITH SCORE 72589.591
AT ITER 1499 NEW BEST:: SOT 149567 SOS 89511 HAS SOPS 89511 HAS SOUS 72420 HAS SOUPS 72420 WITH SCORE 72509.511
AT ITER 1518 NEW BEST:: SOT 149556 SOS 89500 HAS SOPS 89500 HAS SOUS 72376 HAS SOUPS 72376 WITH SCORE 72465.5
AT ITER 1520 NEW BEST:: SOT 149446 SOS 89304 HAS SOPS 89304 HAS SOUS 72223 HAS SOUPS 72223 WITH SCORE 72312.304
AT ITER 1524 NEW BEST:: SOT 149467 SOS 89270 HAS SOPS 89270 HAS SOUS 72173 HAS SOUPS 72173 WITH SCORE 72262.27
AT ITER 1531 NEW BEST:: SOT 149462 SOS 89260 HAS SOPS 89260 HAS SOUS 72162 HAS SOUPS 72162 WITH SCORE 72251.26
AT ITER 1538 NEW BEST:: SOT 149462 SOS 89188 HAS SOPS 89188 HAS SOUS 72162 HAS SOUPS 72162 WITH SCORE 72251.188
AT ITER 1548 NEW BEST:: SOT 149456 SOS 89106 HAS SOPS 89106 HAS SOUS 72104 HAS SOUPS 72104 WITH SCORE 72193.106
AT ITER 1549 NEW BEST:: SOT 149543 SOS 88253 HAS SOPS 88253 HAS SOUS 72026 HAS SOUPS 72026 WITH SCORE 72114.253
AT ITER 1555 NEW BEST:: SOT 149564 SOS 88238 HAS SOPS 88238 HAS SOUS 72011 HAS SOUPS 72011 WITH SCORE 72099.238
AT ITER 1572 NEW BEST:: SOT 149663 SOS 88445 HAS SOPS 88445 HAS SOUS 71973 HAS SOUPS 71973 WITH SCORE 72061.445
AT ITER 1574 NEW BEST:: SOT 149663 SOS 88430 HAS SOPS 88430 HAS SOUS 71958 HAS SOUPS 71958 WITH SCORE 72046.43
AT ITER 1580 NEW BEST:: SOT 149614 SOS 88383 HAS SOPS 88383 HAS SOUS 71911 HAS SOUPS 71911 WITH SCORE 71999.383
AT ITER 1582 NEW BEST:: SOT 149451 SOS 88155 HAS SOPS 88155 HAS SOUS 71683 HAS SOUPS 71683 WITH SCORE 71771.155
AT ITER 1597 NEW BEST:: SOT 149385 SOS 88089 HAS SOPS 88089 HAS SOUS 71617 HAS SOUPS 71617 WITH SCORE 71705.089
AT ITER 1604 NEW BEST:: SOT 149325 SOS 87981 HAS SOPS 87981 HAS SOUS 71532 HAS SOUPS 71532 WITH SCORE 71619.981
AT ITER 1606 NEW BEST:: SOT 149303 SOS 87959 HAS SOPS 87959 HAS SOUS 71510 HAS SOUPS 71510 WITH SCORE 71597.959
AT ITER 1612 NEW BEST:: SOT 149303 SOS 87900 HAS SOPS 87900 HAS SOUS 71489 HAS SOUPS 71489 WITH SCORE 71576.9
AT ITER 1615 NEW BEST:: SOT 148854 SOS 87451 HAS SOPS 87451 HAS SOUS 71040 HAS SOUPS 71040 WITH SCORE 71127.451
AT ITER 1620 NEW BEST:: SOT 148834 SOS 87362 HAS SOPS 87362 HAS SOUS 70951 HAS SOUPS 70951 WITH SCORE 71038.362
AT ITER 1624 NEW BEST:: SOT 148819 SOS 87347 HAS SOPS 87347 HAS SOUS 70936 HAS SOUPS 70936 WITH SCORE 71023.347
AT ITER 1632 NEW BEST:: SOT 148881 SOS 86556 HAS SOPS 86556 HAS SOUS 70834 HAS SOUPS 70834 WITH SCORE 70920.556
AT ITER 1640 NEW BEST:: SOT 148860 SOS 86174 HAS SOPS 86174 HAS SOUS 70822 HAS SOUPS 70822 WITH SCORE 70908.174
AT ITER 1642 NEW BEST:: SOT 148681 SOS 85995 HAS SOPS 85995 HAS SOUS 70643 HAS SOUPS 70643 WITH SCORE 70728.995
AT ITER 1643 NEW BEST:: SOT 148511 SOS 85845 HAS SOPS 85845 HAS SOUS 70559 HAS SOUPS 70559 WITH SCORE 70644.845
AT ITER 1652 NEW BEST:: SOT 148518 SOS 85845 HAS SOPS 85845 HAS SOUS 70552 HAS SOUPS 70552 WITH SCORE 70637.845
AT ITER 1654 NEW BEST:: SOT 148522 SOS 85845 HAS SOPS 85845 HAS SOUS 70548 HAS SOUPS 70548 WITH SCORE 70633.845
AT ITER 1657 NEW BEST:: SOT 148522 SOS 85845 HAS SOPS 85845 HAS SOUS 70540 HAS SOUPS 70540 WITH SCORE 70625.845
AT ITER 1660 NEW BEST:: SOT 148494 SOS 85817 HAS SOPS 85817 HAS SOUS 70499 HAS SOUPS 70499 WITH SCORE 70584.817
AT ITER 1666 NEW BEST:: SOT 148409 SOS 85732 HAS SOPS 85732 HAS SOUS 70414 HAS SOUPS 70414 WITH SCORE 70499.732
AT ITER 1668 NEW BEST:: SOT 148379 SOS 85688 HAS SOPS 85688 HAS SOUS 70370 HAS SOUPS 70370 WITH SCORE 70455.688
AT ITER 1672 NEW BEST:: SOT 148423 SOS 85635 HAS SOPS 85635 HAS SOUS 70317 HAS SOUPS 70317 WITH SCORE 70402.635
AT ITER 1674 NEW BEST:: SOT 148416 SOS 85628 HAS SOPS 85628 HAS SOUS 70310 HAS SOUPS 70310 WITH SCORE 70395.628
AT ITER 1679 NEW BEST:: SOT 148248 SOS 85453 HAS SOPS 85453 HAS SOUS 70135 HAS SOUPS 70135 WITH SCORE 70220.453
AT ITER 1684 NEW BEST:: SOT 148224 SOS 85429 HAS SOPS 85429 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70196.429
AT ITER 1700 NEW BEST:: SOT 148301 SOS 85392 HAS SOPS 85392 HAS SOUS 70036 HAS SOUPS 70036 WITH SCORE 70121.392
AT ITER 1711 NEW BEST:: SOT 148512 SOS 85709 HAS SOPS 85709 HAS SOUS 70012 HAS SOUPS 70012 WITH SCORE 70097.709
AT ITER 1712 NEW BEST:: SOT 148512 SOS 85712 HAS SOPS 85712 HAS SOUS 69986 HAS SOUPS 69986 WITH SCORE 70071.712
AT ITER 1714 NEW BEST:: SOT 148406 SOS 85541 HAS SOPS 85541 HAS SOUS 69817 HAS SOUPS 69817 WITH SCORE 69902.541
AT ITER 1721 NEW BEST:: SOT 148648 SOS 85599 HAS SOPS 85599 HAS SOUS 69806 HAS SOUPS 69806 WITH SCORE 69891.599
AT ITER 1770 NEW BEST:: SOT 148658 SOS 85593 HAS SOPS 85593 HAS SOUS 69794 HAS SOUPS 69794 WITH SCORE 69879.593
AT ITER 1778 NEW BEST:: SOT 148658 SOS 85577 HAS SOPS 85577 HAS SOUS 69760 HAS SOUPS 69760 WITH SCORE 69845.577
AT ITER 1798 NEW BEST:: SOT 148643 SOS 85560 HAS SOPS 85560 HAS SOUS 69743 HAS SOUPS 69743 WITH SCORE 69828.56
AT ITER 1805 NEW BEST:: SOT 148480 SOS 85477 HAS SOPS 85477 HAS SOUS 69676 HAS SOUPS 69676 WITH SCORE 69761.477
AT ITER 1807 NEW BEST:: SOT 148440 SOS 85437 HAS SOPS 85437 HAS SOUS 69636 HAS SOUPS 69636 WITH SCORE 69721.437
AT ITER 1811 NEW BEST:: SOT 148401 SOS 85381 HAS SOPS 85381 HAS SOUS 69580 HAS SOUPS 69580 WITH SCORE 69665.381
AT ITER 1813 NEW BEST:: SOT 148330 SOS 85310 HAS SOPS 85310 HAS SOUS 69509 HAS SOUPS 69509 WITH SCORE 69594.31
AT ITER 1818 NEW BEST:: SOT 148297 SOS 85084 HAS SOPS 85084 HAS SOUS 69487 HAS SOUPS 69487 WITH SCORE 69572.084
AT ITER 1824 NEW BEST:: SOT 148145 SOS 84582 HAS SOPS 84582 HAS SOUS 69186 HAS SOUPS 69186 WITH SCORE 69270.582
AT ITER 1826 NEW BEST:: SOT 148070 SOS 84461 HAS SOPS 84461 HAS SOUS 68964 HAS SOUPS 68964 WITH SCORE 69048.461
AT ITER 1830 NEW BEST:: SOT 148014 SOS 84383 HAS SOPS 84383 HAS SOUS 68907 HAS SOUPS 68907 WITH SCORE 68991.383
AT ITER 1841 NEW BEST:: SOT 148014 SOS 84381 HAS SOPS 84381 HAS SOUS 68905 HAS SOUPS 68905 WITH SCORE 68989.381
AT ITER 1854 NEW BEST:: SOT 147969 SOS 84336 HAS SOPS 84336 HAS SOUS 68860 HAS SOUPS 68860 WITH SCORE 68944.336
AT ITER 1855 NEW BEST:: SOT 148004 SOS 84264 HAS SOPS 84264 HAS SOUS 68788 HAS SOUPS 68788 WITH SCORE 68872.264
AT ITER 1871 NEW BEST:: SOT 147623 SOS 83748 HAS SOPS 83748 HAS SOUS 68272 HAS SOUPS 68272 WITH SCORE 68355.748
AT ITER 1876 NEW BEST:: SOT 147620 SOS 83745 HAS SOPS 83745 HAS SOUS 68269 HAS SOUPS 68269 WITH SCORE 68352.745
AT ITER 1880 NEW BEST:: SOT 147597 SOS 83676 HAS SOPS 83676 HAS SOUS 68200 HAS SOUPS 68200 WITH SCORE 68283.676
AT ITER 1883 NEW BEST:: SOT 147462 SOS 83496 HAS SOPS 83496 HAS SOUS 68020 HAS SOUPS 68020 WITH SCORE 68103.496
AT ITER 1886 NEW BEST:: SOT 147614 SOS 83718 HAS SOPS 83718 HAS SOUS 67960 HAS SOUPS 67960 WITH SCORE 68043.718
AT ITER 1889 NEW BEST:: SOT 147553 SOS 83657 HAS SOPS 83657 HAS SOUS 67899 HAS SOUPS 67899 WITH SCORE 67982.657
AT ITER 1897 NEW BEST:: SOT 147553 SOS 83657 HAS SOPS 83657 HAS SOUS 67895 HAS SOUPS 67895 WITH SCORE 67978.657
AT ITER 1913 NEW BEST:: SOT 147538 SOS 83642 HAS SOPS 83642 HAS SOUS 67880 HAS SOUPS 67880 WITH SCORE 67963.642
AT ITER 1915 NEW BEST:: SOT 147495 SOS 83599 HAS SOPS 83599 HAS SOUS 67837 HAS SOUPS 67837 WITH SCORE 67920.599
AT ITER 1923 NEW BEST:: SOT 147377 SOS 83481 HAS SOPS 83481 HAS SOUS 67719 HAS SOUPS 67719 WITH SCORE 67802.481
AT ITER 1924 NEW BEST:: SOT 147122 SOS 83226 HAS SOPS 83226 HAS SOUS 67471 HAS SOUPS 67471 WITH SCORE 67554.226
AT ITER 1927 NEW BEST:: SOT 147064 SOS 83092 HAS SOPS 83092 HAS SOUS 67337 HAS SOUPS 67337 WITH SCORE 67420.092
AT ITER 1943 NEW BEST:: SOT 147060 SOS 83088 HAS SOPS 83088 HAS SOUS 67333 HAS SOUPS 67333 WITH SCORE 67416.088
AT ITER 1944 NEW BEST:: SOT 147037 SOS 83065 HAS SOPS 83065 HAS SOUS 67310 HAS SOUPS 67310 WITH SCORE 67393.065
AT ITER 1947 NEW BEST:: SOT 147033 SOS 83061 HAS SOPS 83061 HAS SOUS 67306 HAS SOUPS 67306 WITH SCORE 67389.061
AT ITER 1949 NEW BEST:: SOT 147009 SOS 83021 HAS SOPS 83021 HAS SOUS 67266 HAS SOUPS 67266 WITH SCORE 67349.021
AT ITER 1951 NEW BEST:: SOT 146990 SOS 82729 HAS SOPS 82729 HAS SOUS 67156 HAS SOUPS 67156 WITH SCORE 67238.729
AT ITER 1953 NEW BEST:: SOT 147013 SOS 82701 HAS SOPS 82701 HAS SOUS 67128 HAS SOUPS 67128 WITH SCORE 67210.701
AT ITER 1958 NEW BEST:: SOT 146937 SOS 82625 HAS SOPS 82625 HAS SOUS 67052 HAS SOUPS 67052 WITH SCORE 67134.625
AT ITER 1961 NEW BEST:: SOT 146939 SOS 82619 HAS SOPS 82619 HAS SOUS 67046 HAS SOUPS 67046 WITH SCORE 67128.619
AT ITER 1972 NEW BEST:: SOT 146940 SOS 82611 HAS SOPS 82611 HAS SOUS 67026 HAS SOUPS 67026 WITH SCORE 67108.611
AT ITER 1974 NEW BEST:: SOT 146921 SOS 82573 HAS SOPS 82573 HAS SOUS 66988 HAS SOUPS 66988 WITH SCORE 67070.573
AT ITER 1977 NEW BEST:: SOT 146865 SOS 82189 HAS SOPS 82189 HAS SOUS 66869 HAS SOUPS 66869 WITH SCORE 66951.189
AT ITER 1997 NEW BEST:: SOT 146853 SOS 82165 HAS SOPS 82165 HAS SOUS 66846 HAS SOUPS 66846 WITH SCORE 66928.165
AT ITER 2000 NEW BEST:: SOT 146852 SOS 82170 HAS SOPS 82170 HAS SOUS 66841 HAS SOUPS 66841 WITH SCORE 66923.17
AT ITER 2009 NEW BEST:: SOT 146941 SOS 82020 HAS SOPS 82020 HAS SOUS 66497 HAS SOUPS 66497 WITH SCORE 66579.02
AT ITER 2012 NEW BEST:: SOT 146937 SOS 82016 HAS SOPS 82016 HAS SOUS 66493 HAS SOUPS 66493 WITH SCORE 66575.016
AT ITER 2021 NEW BEST:: SOT 146644 SOS 81684 HAS SOPS 81684 HAS SOUS 66161 HAS SOUPS 66161 WITH SCORE 66242.684
AT ITER 2032 NEW BEST:: SOT 146597 SOS 81386 HAS SOPS 81386 HAS SOUS 66067 HAS SOUPS 66067 WITH SCORE 66148.386
AT ITER 2054 NEW BEST:: SOT 146597 SOS 81172 HAS SOPS 81172 HAS SOUS 65825 HAS SOUPS 65825 WITH SCORE 65906.172
AT ITER 2062 NEW BEST:: SOT 146546 SOS 81121 HAS SOPS 81121 HAS SOUS 65774 HAS SOUPS 65774 WITH SCORE 65855.121
AT ITER 2065 NEW BEST:: SOT 146509 SOS 81084 HAS SOPS 81084 HAS SOUS 65737 HAS SOUPS 65737 WITH SCORE 65818.084
AT ITER 2068 NEW BEST:: SOT 146570 SOS 81145 HAS SOPS 81145 HAS SOUS 65674 HAS SOUPS 65674 WITH SCORE 65755.145
AT ITER 2070 NEW BEST:: SOT 146408 SOS 80983 HAS SOPS 80983 HAS SOUS 65512 HAS SOUPS 65512 WITH SCORE 65592.983
AT ITER 2071 NEW BEST:: SOT 146408 SOS 80948 HAS SOPS 80948 HAS SOUS 65450 HAS SOUPS 65450 WITH SCORE 65530.948
AT ITER 2081 NEW BEST:: SOT 146408 SOS 80909 HAS SOPS 80909 HAS SOUS 65411 HAS SOUPS 65411 WITH SCORE 65491.909
AT ITER 2090 NEW BEST:: SOT 146315 SOS 80755 HAS SOPS 80755 HAS SOUS 65275 HAS SOUPS 65275 WITH SCORE 65355.755
AT ITER 2104 NEW BEST:: SOT 146280 SOS 80680 HAS SOPS 80680 HAS SOUS 65200 HAS SOUPS 65200 WITH SCORE 65280.68
AT ITER 2115 NEW BEST:: SOT 146279 SOS 80679 HAS SOPS 80679 HAS SOUS 65199 HAS SOUPS 65199 WITH SCORE 65279.679
AT ITER 2116 NEW BEST:: SOT 146280 SOS 80527 HAS SOPS 80527 HAS SOUS 65093 HAS SOUPS 65093 WITH SCORE 65173.527
AT ITER 2134 NEW BEST:: SOT 146280 SOS 80460 HAS SOPS 80460 HAS SOUS 65026 HAS SOUPS 65026 WITH SCORE 65106.46
AT ITER 2138 NEW BEST:: SOT 146197 SOS 80293 HAS SOPS 80293 HAS SOUS 64896 HAS SOUPS 64896 WITH SCORE 64976.293
AT ITER 2142 NEW BEST:: SOT 146087 SOS 80036 HAS SOPS 80036 HAS SOUS 64639 HAS SOUPS 64639 WITH SCORE 64719.036
AT ITER 2145 NEW BEST:: SOT 146087 SOS 80023 HAS SOPS 80023 HAS SOUS 64626 HAS SOUPS 64626 WITH SCORE 64706.023
AT ITER 2155 NEW BEST:: SOT 146087 SOS 80038 HAS SOPS 80038 HAS SOUS 64616 HAS SOUPS 64616 WITH SCORE 64696.038
AT ITER 2169 NEW BEST:: SOT 146184 SOS 80149 HAS SOPS 80149 HAS SOUS 64593 HAS SOUPS 64593 WITH SCORE 64673.149
AT ITER 2171 NEW BEST:: SOT 146083 SOS 80017 HAS SOPS 80017 HAS SOUS 64452 HAS SOUPS 64452 WITH SCORE 64532.017
AT ITER 2172 NEW BEST:: SOT 146082 SOS 80016 HAS SOPS 80016 HAS SOUS 64451 HAS SOUPS 64451 WITH SCORE 64531.016
AT ITER 2179 NEW BEST:: SOT 145943 SOS 79877 HAS SOPS 79877 HAS SOUS 64300 HAS SOUPS 64300 WITH SCORE 64379.877
AT ITER 2186 NEW BEST:: SOT 145815 SOS 79749 HAS SOPS 79749 HAS SOUS 64172 HAS SOUPS 64172 WITH SCORE 64251.749
AT ITER 2195 NEW BEST:: SOT 145760 SOS 79694 HAS SOPS 79694 HAS SOUS 64129 HAS SOUPS 64129 WITH SCORE 64208.694
AT ITER 2200 NEW BEST:: SOT 145656 SOS 79629 HAS SOPS 79629 HAS SOUS 64064 HAS SOUPS 64064 WITH SCORE 64143.629
AT ITER 2217 NEW BEST:: SOT 145602 SOS 79575 HAS SOPS 79575 HAS SOUS 63996 HAS SOUPS 63996 WITH SCORE 64075.575
AT ITER 2218 NEW BEST:: SOT 145583 SOS 79549 HAS SOPS 79549 HAS SOUS 63948 HAS SOUPS 63948 WITH SCORE 64027.549
AT ITER 2220 NEW BEST:: SOT 145565 SOS 79513 HAS SOPS 79513 HAS SOUS 63912 HAS SOUPS 63912 WITH SCORE 63991.513
AT ITER 2225 NEW BEST:: SOT 145502 SOS 79450 HAS SOPS 79450 HAS SOUS 63849 HAS SOUPS 63849 WITH SCORE 63928.45
AT ITER 2245 NEW BEST:: SOT 145500 SOS 79330 HAS SOPS 79330 HAS SOUS 63729 HAS SOUPS 63729 WITH SCORE 63808.33
AT ITER 2266 NEW BEST:: SOT 145445 SOS 79184 HAS SOPS 79184 HAS SOUS 63590 HAS SOUPS 63590 WITH SCORE 63669.184
AT ITER 2269 NEW BEST:: SOT 145400 SOS 78686 HAS SOPS 78686 HAS SOUS 63570 HAS SOUPS 63570 WITH SCORE 63648.686
AT ITER 2274 NEW BEST:: SOT 145361 SOS 78684 HAS SOPS 78684 HAS SOUS 63554 HAS SOUPS 63554 WITH SCORE 63632.684
AT ITER 2278 NEW BEST:: SOT 145352 SOS 78675 HAS SOPS 78675 HAS SOUS 63545 HAS SOUPS 63545 WITH SCORE 63623.675
AT ITER 2283 NEW BEST:: SOT 145352 SOS 78675 HAS SOPS 78675 HAS SOUS 63532 HAS SOUPS 63532 WITH SCORE 63610.675
AT ITER 2284 NEW BEST:: SOT 145373 SOS 78926 HAS SOPS 78926 HAS SOUS 63530 HAS SOUPS 63530 WITH SCORE 63608.926
AT ITER 2291 NEW BEST:: SOT 145305 SOS 78851 HAS SOPS 78851 HAS SOUS 63442 HAS SOUPS 63442 WITH SCORE 63520.851
AT ITER 2299 NEW BEST:: SOT 145296 SOS 78841 HAS SOPS 78841 HAS SOUS 63432 HAS SOUPS 63432 WITH SCORE 63510.841
AT ITER 2313 NEW BEST:: SOT 145296 SOS 78831 HAS SOPS 78831 HAS SOUS 63432 HAS SOUPS 63432 WITH SCORE 63510.831
AT ITER 2327 NEW BEST:: SOT 145243 SOS 78826 HAS SOPS 78826 HAS SOUS 63408 HAS SOUPS 63408 WITH SCORE 63486.826
AT ITER 2354 NEW BEST:: SOT 145243 SOS 78826 HAS SOPS 78826 HAS SOUS 63356 HAS SOUPS 63356 WITH SCORE 63434.826
AT ITER 2359 NEW BEST:: SOT 145239 SOS 78832 HAS SOPS 78832 HAS SOUS 63351 HAS SOUPS 63351 WITH SCORE 63429.832
AT ITER 2374 NEW BEST:: SOT 145215 SOS 78760 HAS SOPS 78760 HAS SOUS 63277 HAS SOUPS 63277 WITH SCORE 63355.76
AT ITER 2376 NEW BEST:: SOT 145299 SOS 78147 HAS SOPS 78147 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63221.147
AT ITER 2378 NEW BEST:: SOT 145285 SOS 78133 HAS SOPS 78133 HAS SOUS 63117 HAS SOUPS 63117 WITH SCORE 63195.133
AT ITER 2382 NEW BEST:: SOT 145290 SOS 78137 HAS SOPS 78137 HAS SOUS 63086 HAS SOUPS 63086 WITH SCORE 63164.137
AT ITER 2387 NEW BEST:: SOT 145303 SOS 78239 HAS SOPS 78239 HAS SOUS 63014 HAS SOUPS 63014 WITH SCORE 63092.239
AT ITER 2393 NEW BEST:: SOT 145267 SOS 77951 HAS SOPS 77951 HAS SOUS 62941 HAS SOUPS 62941 WITH SCORE 63018.951
AT ITER 2395 NEW BEST:: SOT 145172 SOS 77800 HAS SOPS 77800 HAS SOUS 62742 HAS SOUPS 62742 WITH SCORE 62819.8
AT ITER 2396 NEW BEST:: SOT 145172 SOS 77747 HAS SOPS 77747 HAS SOUS 62666 HAS SOUPS 62666 WITH SCORE 62743.747
AT ITER 2398 NEW BEST:: SOT 145194 SOS 77764 HAS SOPS 77764 HAS SOUS 62364 HAS SOUPS 62364 WITH SCORE 62441.764
AT ITER 2400 NEW BEST:: SOT 145111 SOS 77158 HAS SOPS 77158 HAS SOUS 62121 HAS SOUPS 62121 WITH SCORE 62198.158
AT ITER 2401 NEW BEST:: SOT 145022 SOS 77036 HAS SOPS 77036 HAS SOUS 62092 HAS SOUPS 62092 WITH SCORE 62169.036
AT ITER 2411 NEW BEST:: SOT 145022 SOS 76847 HAS SOPS 76847 HAS SOUS 62092 HAS SOUPS 62092 WITH SCORE 62168.847
AT ITER 2431 NEW BEST:: SOT 145189 SOS 76958 HAS SOPS 76958 HAS SOUS 61930 HAS SOUPS 61930 WITH SCORE 62006.958
AT ITER 2437 NEW BEST:: SOT 145139 SOS 76908 HAS SOPS 76908 HAS SOUS 61880 HAS SOUPS 61880 WITH SCORE 61956.908
AT ITER 2439 NEW BEST:: SOT 145139 SOS 76903 HAS SOPS 76903 HAS SOUS 61875 HAS SOUPS 61875 WITH SCORE 61951.903
AT ITER 2464 NEW BEST:: SOT 144929 SOS 76653 HAS SOPS 76653 HAS SOUS 61625 HAS SOUPS 61625 WITH SCORE 61701.653
AT ITER 2474 NEW BEST:: SOT 144397 SOS 75939 HAS SOPS 75939 HAS SOUS 60929 HAS SOUPS 60929 WITH SCORE 61004.939
AT ITER 2482 NEW BEST:: SOT 144389 SOS 75931 HAS SOPS 75931 HAS SOUS 60921 HAS SOUPS 60921 WITH SCORE 60996.931
AT ITER 2508 NEW BEST:: SOT 144371 SOS 75905 HAS SOPS 75905 HAS SOUS 60895 HAS SOUPS 60895 WITH SCORE 60970.905
AT ITER 2509 NEW BEST:: SOT 144384 SOS 75752 HAS SOPS 75752 HAS SOUS 60825 HAS SOUPS 60825 WITH SCORE 60900.752
AT ITER 2516 NEW BEST:: SOT 144295 SOS 75720 HAS SOPS 75720 HAS SOUS 60793 HAS SOUPS 60793 WITH SCORE 60868.72
AT ITER 2520 NEW BEST:: SOT 144288 SOS 75693 HAS SOPS 75693 HAS SOUS 60766 HAS SOUPS 60766 WITH SCORE 60841.693
AT ITER 2528 NEW BEST:: SOT 144209 SOS 75637 HAS SOPS 75637 HAS SOUS 60729 HAS SOUPS 60729 WITH SCORE 60804.637
AT ITER 2531 NEW BEST:: SOT 144209 SOS 75416 HAS SOPS 75416 HAS SOUS 60660 HAS SOUPS 60660 WITH SCORE 60735.416
AT ITER 2540 NEW BEST:: SOT 144209 SOS 75068 HAS SOPS 75068 HAS SOUS 60605 HAS SOUPS 60605 WITH SCORE 60680.068
AT ITER 2541 NEW BEST:: SOT 144203 SOS 75062 HAS SOPS 75062 HAS SOUS 60593 HAS SOUPS 60593 WITH SCORE 60668.062
AT ITER 2545 NEW BEST:: SOT 144204 SOS 75110 HAS SOPS 75110 HAS SOUS 60569 HAS SOUPS 60569 WITH SCORE 60644.11
AT ITER 2586 NEW BEST:: SOT 143976 SOS 74805 HAS SOPS 74805 HAS SOUS 60315 HAS SOUPS 60315 WITH SCORE 60389.805
AT ITER 2600 NEW BEST:: SOT 143887 SOS 74766 HAS SOPS 74766 HAS SOUS 60262 HAS SOUPS 60262 WITH SCORE 60336.766
AT ITER 2603 NEW BEST:: SOT 143769 SOS 74495 HAS SOPS 74495 HAS SOUS 60042 HAS SOUPS 60042 WITH SCORE 60116.495
AT ITER 2609 NEW BEST:: SOT 143759 SOS 74479 HAS SOPS 74479 HAS SOUS 60028 HAS SOUPS 60028 WITH SCORE 60102.479
AT ITER 2612 NEW BEST:: SOT 143636 SOS 74321 HAS SOPS 74321 HAS SOUS 59852 HAS SOUPS 59852 WITH SCORE 59926.321
AT ITER 2615 NEW BEST:: SOT 143636 SOS 74225 HAS SOPS 74225 HAS SOUS 59756 HAS SOUPS 59756 WITH SCORE 59830.225
AT ITER 2633 NEW BEST:: SOT 143577 SOS 73802 HAS SOPS 73802 HAS SOUS 59573 HAS SOUPS 59573 WITH SCORE 59646.802
AT ITER 2644 NEW BEST:: SOT 143636 SOS 73350 HAS SOPS 73350 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58856.35
AT ITER 2648 NEW BEST:: SOT 143662 SOS 73343 HAS SOPS 73343 HAS SOUS 58766 HAS SOUPS 58766 WITH SCORE 58839.343
AT ITER 2656 NEW BEST:: SOT 143660 SOS 73341 HAS SOPS 73341 HAS SOUS 58764 HAS SOUPS 58764 WITH SCORE 58837.341
AT ITER 2664 NEW BEST:: SOT 143546 SOS 73210 HAS SOPS 73210 HAS SOUS 58749 HAS SOUPS 58749 WITH SCORE 58822.21
AT ITER 2665 NEW BEST:: SOT 143530 SOS 73162 HAS SOPS 73162 HAS SOUS 58685 HAS SOUPS 58685 WITH SCORE 58758.162
AT ITER 2669 NEW BEST:: SOT 143457 SOS 73063 HAS SOPS 73063 HAS SOUS 58586 HAS SOUPS 58586 WITH SCORE 58659.063
AT ITER 2673 NEW BEST:: SOT 143473 SOS 73061 HAS SOPS 73061 HAS SOUS 58584 HAS SOUPS 58584 WITH SCORE 58657.061
AT ITER 2677 NEW BEST:: SOT 143468 SOS 73056 HAS SOPS 73056 HAS SOUS 58579 HAS SOUPS 58579 WITH SCORE 58652.056
AT ITER 2678 NEW BEST:: SOT 143511 SOS 73262 HAS SOPS 73262 HAS SOUS 58575 HAS SOUPS 58575 WITH SCORE 58648.262
AT ITER 2697 NEW BEST:: SOT 143468 SOS 73219 HAS SOPS 73219 HAS SOUS 58532 HAS SOUPS 58532 WITH SCORE 58605.219
AT ITER 2702 NEW BEST:: SOT 143465 SOS 73216 HAS SOPS 73216 HAS SOUS 58526 HAS SOUPS 58526 WITH SCORE 58599.216
AT ITER 2712 NEW BEST:: SOT 143431 SOS 73214 HAS SOPS 73214 HAS SOUS 58490 HAS SOUPS 58490 WITH SCORE 58563.214
AT ITER 2723 NEW BEST:: SOT 143427 SOS 72730 HAS SOPS 72730 HAS SOUS 58414 HAS SOUPS 58414 WITH SCORE 58486.73
AT ITER 2730 NEW BEST:: SOT 143512 SOS 72728 HAS SOPS 72728 HAS SOUS 58409 HAS SOUPS 58409 WITH SCORE 58481.728
AT ITER 2739 NEW BEST:: SOT 143460 SOS 72581 HAS SOPS 72581 HAS SOUS 58293 HAS SOUPS 58293 WITH SCORE 58365.581
AT ITER 2748 NEW BEST:: SOT 143443 SOS 72665 HAS SOPS 72665 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58316.665
AT ITER 2751 NEW BEST:: SOT 143443 SOS 72656 HAS SOPS 72656 HAS SOUS 58226 HAS SOUPS 58226 WITH SCORE 58298.656
AT ITER 2759 NEW BEST:: SOT 143313 SOS 72500 HAS SOPS 72500 HAS SOUS 58070 HAS SOUPS 58070 WITH SCORE 58142.5
AT ITER 2761 NEW BEST:: SOT 143313 SOS 72341 HAS SOPS 72341 HAS SOUS 57985 HAS SOUPS 57985 WITH SCORE 58057.341
AT ITER 2763 NEW BEST:: SOT 143311 SOS 72270 HAS SOPS 72270 HAS SOUS 57937 HAS SOUPS 57937 WITH SCORE 58009.27
AT ITER 2765 NEW BEST:: SOT 143295 SOS 72254 HAS SOPS 72254 HAS SOUS 57921 HAS SOUPS 57921 WITH SCORE 57993.254
AT ITER 2767 NEW BEST:: SOT 143293 SOS 72250 HAS SOPS 72250 HAS SOUS 57917 HAS SOUPS 57917 WITH SCORE 57989.25
AT ITER 2770 NEW BEST:: SOT 143272 SOS 72189 HAS SOPS 72189 HAS SOUS 57866 HAS SOUPS 57866 WITH SCORE 57938.189
AT ITER 2779 NEW BEST:: SOT 143272 SOS 72171 HAS SOPS 72171 HAS SOUS 57855 HAS SOUPS 57855 WITH SCORE 57927.171
AT ITER 2781 NEW BEST:: SOT 143275 SOS 72065 HAS SOPS 72065 HAS SOUS 57815 HAS SOUPS 57815 WITH SCORE 57887.065
AT ITER 2791 NEW BEST:: SOT 143264 SOS 72020 HAS SOPS 72020 HAS SOUS 57804 HAS SOUPS 57804 WITH SCORE 57876.02
AT ITER 2792 NEW BEST:: SOT 143230 SOS 71930 HAS SOPS 71930 HAS SOUS 57770 HAS SOUPS 57770 WITH SCORE 57841.93
AT ITER 2793 NEW BEST:: SOT 143230 SOS 71893 HAS SOPS 71893 HAS SOUS 57733 HAS SOUPS 57733 WITH SCORE 57804.893
AT ITER 2804 NEW BEST:: SOT 143184 SOS 71890 HAS SOPS 71890 HAS SOUS 57641 HAS SOUPS 57641 WITH SCORE 57712.89
AT ITER 2808 NEW BEST:: SOT 143088 SOS 71828 HAS SOPS 71828 HAS SOUS 57618 HAS SOUPS 57618 WITH SCORE 57689.828
AT ITER 2824 NEW BEST:: SOT 143086 SOS 71826 HAS SOPS 71826 HAS SOUS 57616 HAS SOUPS 57616 WITH SCORE 57687.826
AT ITER 2828 NEW BEST:: SOT 143027 SOS 71775 HAS SOPS 71775 HAS SOUS 57533 HAS SOUPS 57533 WITH SCORE 57604.775
AT ITER 2832 NEW BEST:: SOT 143030 SOS 71785 HAS SOPS 71785 HAS SOUS 57528 HAS SOUPS 57528 WITH SCORE 57599.785
AT ITER 2842 NEW BEST:: SOT 143028 SOS 71783 HAS SOPS 71783 HAS SOUS 57526 HAS SOUPS 57526 WITH SCORE 57597.783
AT ITER 2846 NEW BEST:: SOT 143039 SOS 71781 HAS SOPS 71781 HAS SOUS 57519 HAS SOUPS 57519 WITH SCORE 57590.781
AT ITER 2850 NEW BEST:: SOT 143039 SOS 71733 HAS SOPS 71733 HAS SOUS 57495 HAS SOUPS 57495 WITH SCORE 57566.733
AT ITER 2851 NEW BEST:: SOT 143039 SOS 71553 HAS SOPS 71553 HAS SOUS 57435 HAS SOUPS 57435 WITH SCORE 57506.553
AT ITER 2859 NEW BEST:: SOT 142946 SOS 71349 HAS SOPS 71349 HAS SOUS 57272 HAS SOUPS 57272 WITH SCORE 57343.349
AT ITER 2888 NEW BEST:: SOT 142893 SOS 71312 HAS SOPS 71312 HAS SOUS 57263 HAS SOUPS 57263 WITH SCORE 57334.312
AT ITER 2893 NEW BEST:: SOT 142880 SOS 71299 HAS SOPS 71299 HAS SOUS 57250 HAS SOUPS 57250 WITH SCORE 57321.299
AT ITER 2914 NEW BEST:: SOT 142767 SOS 71009 HAS SOPS 71009 HAS SOUS 56922 HAS SOUPS 56922 WITH SCORE 56993.009
AT ITER 2916 NEW BEST:: SOT 142767 SOS 70997 HAS SOPS 70997 HAS SOUS 56910 HAS SOUPS 56910 WITH SCORE 56980.997
AT ITER 2930 NEW BEST:: SOT 142663 SOS 70893 HAS SOPS 70893 HAS SOUS 56806 HAS SOUPS 56806 WITH SCORE 56876.893
AT ITER 2931 NEW BEST:: SOT 142588 SOS 70818 HAS SOPS 70818 HAS SOUS 56731 HAS SOUPS 56731 WITH SCORE 56801.818
AT ITER 2942 NEW BEST:: SOT 142567 SOS 70789 HAS SOPS 70789 HAS SOUS 56702 HAS SOUPS 56702 WITH SCORE 56772.789
AT ITER 2946 NEW BEST:: SOT 142555 SOS 70744 HAS SOPS 70744 HAS SOUS 56681 HAS SOUPS 56681 WITH SCORE 56751.744
AT ITER 2947 NEW BEST:: SOT 142258 SOS 70395 HAS SOPS 70395 HAS SOUS 56393 HAS SOUPS 56393 WITH SCORE 56463.395
AT ITER 2952 NEW BEST:: SOT 142311 SOS 70169 HAS SOPS 70169 HAS SOUS 56241 HAS SOUPS 56241 WITH SCORE 56311.169
AT ITER 2953 NEW BEST:: SOT 142270 SOS 70128 HAS SOPS 70128 HAS SOUS 56200 HAS SOUPS 56200 WITH SCORE 56270.128
AT ITER 2954 NEW BEST:: SOT 142265 SOS 70123 HAS SOPS 70123 HAS SOUS 56200 HAS SOUPS 56200 WITH SCORE 56270.123
AT ITER 2970 NEW BEST:: SOT 142265 SOS 70099 HAS SOPS 70099 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56222.099
AT ITER 2986 NEW BEST:: SOT 142309 SOS 70143 HAS SOPS 70143 HAS SOUS 56150 HAS SOUPS 56150 WITH SCORE 56220.143
AT ITER 3007 NEW BEST:: SOT 142295 SOS 70122 HAS SOPS 70122 HAS SOUS 56136 HAS SOUPS 56136 WITH SCORE 56206.122
AT ITER 3034 NEW BEST:: SOT 142308 SOS 70158 HAS SOPS 70158 HAS SOUS 56131 HAS SOUPS 56131 WITH SCORE 56201.158
AT ITER 3060 NEW BEST:: SOT 142279 SOS 70114 HAS SOPS 70114 HAS SOUS 56087 HAS SOUPS 56087 WITH SCORE 56157.114
AT ITER 3067 NEW BEST:: SOT 142143 SOS 69906 HAS SOPS 69906 HAS SOUS 55916 HAS SOUPS 55916 WITH SCORE 55985.906
AT ITER 3071 NEW BEST:: SOT 142141 SOS 69902 HAS SOPS 69902 HAS SOUS 55912 HAS SOUPS 55912 WITH SCORE 55981.902
AT ITER 3073 NEW BEST:: SOT 142118 SOS 69758 HAS SOPS 69758 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55838.758
AT ITER 3096 NEW BEST:: SOT 142088 SOS 69502 HAS SOPS 69502 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55717.502
AT ITER 3102 NEW BEST:: SOT 142039 SOS 69460 HAS SOPS 69460 HAS SOUS 55606 HAS SOUPS 55606 WITH SCORE 55675.46
AT ITER 3108 NEW BEST:: SOT 142047 SOS 69472 HAS SOPS 69472 HAS SOUS 55582 HAS SOUPS 55582 WITH SCORE 55651.472
AT ITER 3117 NEW BEST:: SOT 142039 SOS 69444 HAS SOPS 69444 HAS SOUS 55569 HAS SOUPS 55569 WITH SCORE 55638.444
AT ITER 3149 NEW BEST:: SOT 142031 SOS 69436 HAS SOPS 69436 HAS SOUS 55561 HAS SOUPS 55561 WITH SCORE 55630.436
AT ITER 3154 NEW BEST:: SOT 141989 SOS 69394 HAS SOPS 69394 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55588.394
AT ITER 3160 NEW BEST:: SOT 141989 SOS 69447 HAS SOPS 69447 HAS SOUS 55485 HAS SOUPS 55485 WITH SCORE 55554.447
AT ITER 3179 NEW BEST:: SOT 141978 SOS 69402 HAS SOPS 69402 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55518.402
AT ITER 3180 NEW BEST:: SOT 141774 SOS 69123 HAS SOPS 69123 HAS SOUS 55170 HAS SOUPS 55170 WITH SCORE 55239.123
AT ITER 3207 NEW BEST:: SOT 141800 SOS 69142 HAS SOPS 69142 HAS SOUS 55158 HAS SOUPS 55158 WITH SCORE 55227.142
AT ITER 3208 NEW BEST:: SOT 141800 SOS 69142 HAS SOPS 69142 HAS SOUS 55152 HAS SOUPS 55152 WITH SCORE 55221.142
AT ITER 3216 NEW BEST:: SOT 141792 SOS 69156 HAS SOPS 69156 HAS SOUS 55099 HAS SOUPS 55099 WITH SCORE 55168.156
AT ITER 3247 NEW BEST:: SOT 141792 SOS 69147 HAS SOPS 69147 HAS SOUS 55093 HAS SOUPS 55093 WITH SCORE 55162.147
AT ITER 3259 NEW BEST:: SOT 141842 SOS 69202 HAS SOPS 69202 HAS SOUS 55064 HAS SOUPS 55064 WITH SCORE 55133.202
AT ITER 3265 NEW BEST:: SOT 141777 SOS 69057 HAS SOPS 69057 HAS SOUS 54952 HAS SOUPS 54952 WITH SCORE 55021.057
AT ITER 3271 NEW BEST:: SOT 141564 SOS 68882 HAS SOPS 68882 HAS SOUS 54903 HAS SOUPS 54903 WITH SCORE 54971.882
AT ITER 3274 NEW BEST:: SOT 141572 SOS 68874 HAS SOPS 68874 HAS SOUS 54887 HAS SOUPS 54887 WITH SCORE 54955.874
AT ITER 3275 NEW BEST:: SOT 141571 SOS 68871 HAS SOPS 68871 HAS SOUS 54882 HAS SOUPS 54882 WITH SCORE 54950.871
AT ITER 3276 NEW BEST:: SOT 141634 SOS 69076 HAS SOPS 69076 HAS SOUS 54828 HAS SOUPS 54828 WITH SCORE 54897.076
AT ITER 3307 NEW BEST:: SOT 141634 SOS 69071 HAS SOPS 69071 HAS SOUS 54818 HAS SOUPS 54818 WITH SCORE 54887.071
AT ITER 3308 NEW BEST:: SOT 141633 SOS 69048 HAS SOPS 69048 HAS SOUS 54799 HAS SOUPS 54799 WITH SCORE 54868.048
AT ITER 3312 NEW BEST:: SOT 141583 SOS 68944 HAS SOPS 68944 HAS SOUS 54757 HAS SOUPS 54757 WITH SCORE 54825.944
AT ITER 3329 NEW BEST:: SOT 141614 SOS 68977 HAS SOPS 68977 HAS SOUS 54732 HAS SOUPS 54732 WITH SCORE 54800.977
AT ITER 3332 NEW BEST:: SOT 141604 SOS 68967 HAS SOPS 68967 HAS SOUS 54722 HAS SOUPS 54722 WITH SCORE 54790.967
AT ITER 3351 NEW BEST:: SOT 141597 SOS 68960 HAS SOPS 68960 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54783.96
AT ITER 3361 NEW BEST:: SOT 141594 SOS 68957 HAS SOPS 68957 HAS SOUS 54712 HAS SOUPS 54712 WITH SCORE 54780.957
AT ITER 3370 NEW BEST:: SOT 141546 SOS 68820 HAS SOPS 68820 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54715.82
AT ITER 3374 NEW BEST:: SOT 141414 SOS 68465 HAS SOPS 68465 HAS SOUS 54546 HAS SOUPS 54546 WITH SCORE 54614.465
AT ITER 3397 NEW BEST:: SOT 141326 SOS 68213 HAS SOPS 68213 HAS SOUS 54376 HAS SOUPS 54376 WITH SCORE 54444.213
AT ITER 3399 NEW BEST:: SOT 141294 SOS 68196 HAS SOPS 68196 HAS SOUS 54359 HAS SOUPS 54359 WITH SCORE 54427.196
AT ITER 3400 NEW BEST:: SOT 141343 SOS 68607 HAS SOPS 68607 HAS SOUS 54356 HAS SOUPS 54356 WITH SCORE 54424.607
AT ITER 3415 NEW BEST:: SOT 141334 SOS 68598 HAS SOPS 68598 HAS SOUS 54347 HAS SOUPS 54347 WITH SCORE 54415.598
AT ITER 3416 NEW BEST:: SOT 141312 SOS 68457 HAS SOPS 68457 HAS SOUS 54274 HAS SOUPS 54274 WITH SCORE 54342.457
AT ITER 3426 NEW BEST:: SOT 141312 SOS 68418 HAS SOPS 68418 HAS SOUS 54248 HAS SOUPS 54248 WITH SCORE 54316.418
AT ITER 3449 NEW BEST:: SOT 141310 SOS 68414 HAS SOPS 68414 HAS SOUS 54242 HAS SOUPS 54242 WITH SCORE 54310.414
AT ITER 3451 NEW BEST:: SOT 141249 SOS 68460 HAS SOPS 68460 HAS SOUS 54191 HAS SOUPS 54191 WITH SCORE 54259.46
AT ITER 3455 NEW BEST:: SOT 141365 SOS 68496 HAS SOPS 68496 HAS SOUS 53924 HAS SOUPS 53924 WITH SCORE 53992.496
AT ITER 3469 NEW BEST:: SOT 141318 SOS 68399 HAS SOPS 68399 HAS SOUS 53791 HAS SOUPS 53791 WITH SCORE 53859.399
AT ITER 3473 NEW BEST:: SOT 141239 SOS 68293 HAS SOPS 68293 HAS SOUS 53685 HAS SOUPS 53685 WITH SCORE 53753.293
AT ITER 3490 NEW BEST:: SOT 141226 SOS 68269 HAS SOPS 68269 HAS SOUS 53655 HAS SOUPS 53655 WITH SCORE 53723.269
AT ITER 3491 NEW BEST:: SOT 141226 SOS 68268 HAS SOPS 68268 HAS SOUS 53654 HAS SOUPS 53654 WITH SCORE 53722.268
AT ITER 3493 NEW BEST:: SOT 141226 SOS 68220 HAS SOPS 68220 HAS SOUS 53638 HAS SOUPS 53638 WITH SCORE 53706.22
AT ITER 3502 NEW BEST:: SOT 141216 SOS 68160 HAS SOPS 68160 HAS SOUS 53628 HAS SOUPS 53628 WITH SCORE 53696.16
AT ITER 3503 NEW BEST:: SOT 141161 SOS 68007 HAS SOPS 68007 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53637.007
AT ITER 3508 NEW BEST:: SOT 141054 SOS 67710 HAS SOPS 67710 HAS SOUS 53384 HAS SOUPS 53384 WITH SCORE 53451.71
AT ITER 3532 NEW BEST:: SOT 141021 SOS 67636 HAS SOPS 67636 HAS SOUS 53312 HAS SOUPS 53312 WITH SCORE 53379.636
AT ITER 3535 NEW BEST:: SOT 141021 SOS 67461 HAS SOPS 67461 HAS SOUS 53216 HAS SOUPS 53216 WITH SCORE 53283.461
AT ITER 3555 NEW BEST:: SOT 140946 SOS 66981 HAS SOPS 66981 HAS SOUS 53186 HAS SOUPS 53186 WITH SCORE 53252.981
AT ITER 3574 NEW BEST:: SOT 140925 SOS 67260 HAS SOPS 67260 HAS SOUS 53162 HAS SOUPS 53162 WITH SCORE 53229.26
AT ITER 3582 NEW BEST:: SOT 140921 SOS 67253 HAS SOPS 67253 HAS SOUS 53155 HAS SOUPS 53155 WITH SCORE 53222.253
AT ITER 3595 NEW BEST:: SOT 140913 SOS 67248 HAS SOPS 67248 HAS SOUS 53150 HAS SOUPS 53150 WITH SCORE 53217.248
AT ITER 3599 NEW BEST:: SOT 140906 SOS 67208 HAS SOPS 67208 HAS SOUS 53132 HAS SOUPS 53132 WITH SCORE 53199.208
AT ITER 3620 NEW BEST:: SOT 140865 SOS 67126 HAS SOPS 67126 HAS SOUS 53050 HAS SOUPS 53050 WITH SCORE 53117.126
AT ITER 3651 NEW BEST:: SOT 140842 SOS 66376 HAS SOPS 66376 HAS SOUS 52949 HAS SOUPS 52949 WITH SCORE 53015.376
AT ITER 3657 NEW BEST:: SOT 140681 SOS 66072 HAS SOPS 66072 HAS SOUS 52788 HAS SOUPS 52788 WITH SCORE 52854.072
AT ITER 3660 NEW BEST:: SOT 140671 SOS 66062 HAS SOPS 66062 HAS SOUS 52778 HAS SOUPS 52778 WITH SCORE 52844.062
AT ITER 3663 NEW BEST:: SOT 140819 SOS 65823 HAS SOPS 65823 HAS SOUS 52745 HAS SOUPS 52745 WITH SCORE 52810.823
AT ITER 3678 NEW BEST:: SOT 140799 SOS 65771 HAS SOPS 65771 HAS SOUS 52657 HAS SOUPS 52657 WITH SCORE 52722.771
AT ITER 3689 NEW BEST:: SOT 140783 SOS 65739 HAS SOPS 65739 HAS SOUS 52651 HAS SOUPS 52651 WITH SCORE 52716.739
AT ITER 3690 NEW BEST:: SOT 140783 SOS 65712 HAS SOPS 65712 HAS SOUS 52597 HAS SOUPS 52597 WITH SCORE 52662.712
AT ITER 3691 NEW BEST:: SOT 140773 SOS 65702 HAS SOPS 65702 HAS SOUS 52587 HAS SOUPS 52587 WITH SCORE 52652.702
AT ITER 3709 NEW BEST:: SOT 140754 SOS 65634 HAS SOPS 65634 HAS SOUS 52557 HAS SOUPS 52557 WITH SCORE 52622.634
AT ITER 3715 NEW BEST:: SOT 140746 SOS 65560 HAS SOPS 65560 HAS SOUS 52485 HAS SOUPS 52485 WITH SCORE 52550.56
AT ITER 3726 NEW BEST:: SOT 140746 SOS 65535 HAS SOPS 65535 HAS SOUS 52470 HAS SOUPS 52470 WITH SCORE 52535.535
AT ITER 3732 NEW BEST:: SOT 140722 SOS 65497 HAS SOPS 65497 HAS SOUS 52442 HAS SOUPS 52442 WITH SCORE 52507.497
AT ITER 3763 NEW BEST:: SOT 140722 SOS 65497 HAS SOPS 65497 HAS SOUS 52441 HAS SOUPS 52441 WITH SCORE 52506.497
AT ITER 3768 NEW BEST:: SOT 140695 SOS 65461 HAS SOPS 65461 HAS SOUS 52405 HAS SOUPS 52405 WITH SCORE 52470.461
AT ITER 3770 NEW BEST:: SOT 140673 SOS 65417 HAS SOPS 65417 HAS SOUS 52339 HAS SOUPS 52339 WITH SCORE 52404.417
AT ITER 3781 NEW BEST:: SOT 140724 SOS 65411 HAS SOPS 65411 HAS SOUS 52260 HAS SOUPS 52260 WITH SCORE 52325.411
AT ITER 3803 NEW BEST:: SOT 140705 SOS 65392 HAS SOPS 65392 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52306.392
AT ITER 3805 NEW BEST:: SOT 140665 SOS 65371 HAS SOPS 65371 HAS SOUS 52220 HAS SOUPS 52220 WITH SCORE 52285.371
AT ITER 3820 NEW BEST:: SOT 140624 SOS 65295 HAS SOPS 65295 HAS SOUS 52144 HAS SOUPS 52144 WITH SCORE 52209.295
AT ITER 3830 NEW BEST:: SOT 140624 SOS 65293 HAS SOPS 65293 HAS SOUS 52142 HAS SOUPS 52142 WITH SCORE 52207.293
AT ITER 3856 NEW BEST:: SOT 140624 SOS 65289 HAS SOPS 65289 HAS SOUS 52138 HAS SOUPS 52138 WITH SCORE 52203.289
AT ITER 3903 NEW BEST:: SOT 140492 SOS 65063 HAS SOPS 65063 HAS SOUS 51974 HAS SOUPS 51974 WITH SCORE 52039.063
AT ITER 3904 NEW BEST:: SOT 140455 SOS 65042 HAS SOPS 65042 HAS SOUS 51953 HAS SOUPS 51953 WITH SCORE 52018.042
AT ITER 3908 NEW BEST:: SOT 140423 SOS 64429 HAS SOPS 64429 HAS SOUS 51713 HAS SOUPS 51713 WITH SCORE 51777.429
AT ITER 3917 NEW BEST:: SOT 140313 SOS 64299 HAS SOPS 64299 HAS SOUS 51608 HAS SOUPS 51608 WITH SCORE 51672.299
AT ITER 3939 NEW BEST:: SOT 140285 SOS 64271 HAS SOPS 64271 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51640.271
AT ITER 3947 NEW BEST:: SOT 140285 SOS 64247 HAS SOPS 64247 HAS SOUS 51574 HAS SOUPS 51574 WITH SCORE 51638.247
AT ITER 3953 NEW BEST:: SOT 140274 SOS 64236 HAS SOPS 64236 HAS SOUS 51563 HAS SOUPS 51563 WITH SCORE 51627.236
AT ITER 3957 NEW BEST:: SOT 140254 SOS 64213 HAS SOPS 64213 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51601.213
AT ITER 3998 NEW BEST:: SOT 140254 SOS 64322 HAS SOPS 64322 HAS SOUS 51455 HAS SOUPS 51455 WITH SCORE 51519.322
AT ITER 4001 NEW BEST:: SOT 140250 SOS 64223 HAS SOPS 64223 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51461.223
AT ITER 4037 NEW BEST:: SOT 140202 SOS 63935 HAS SOPS 63935 HAS SOUS 51344 HAS SOUPS 51344 WITH SCORE 51407.935
AT ITER 4043 NEW BEST:: SOT 140202 SOS 63938 HAS SOPS 63938 HAS SOUS 51334 HAS SOUPS 51334 WITH SCORE 51397.938
AT ITER 4044 NEW BEST:: SOT 140149 SOS 63873 HAS SOPS 63873 HAS SOUS 51269 HAS SOUPS 51269 WITH SCORE 51332.873
AT ITER 4047 NEW BEST:: SOT 140134 SOS 63846 HAS SOPS 63846 HAS SOUS 51199 HAS SOUPS 51199 WITH SCORE 51262.846
AT ITER 4066 NEW BEST:: SOT 140131 SOS 63843 HAS SOPS 63843 HAS SOUS 51196 HAS SOUPS 51196 WITH SCORE 51259.843
AT ITER 4077 NEW BEST:: SOT 140144 SOS 63859 HAS SOPS 63859 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51251.859
AT ITER 4097 NEW BEST:: SOT 140156 SOS 63842 HAS SOPS 63842 HAS SOUS 51171 HAS SOUPS 51171 WITH SCORE 51234.842
AT ITER 4111 NEW BEST:: SOT 140093 SOS 63502 HAS SOPS 63502 HAS SOUS 50784 HAS SOUPS 50784 WITH SCORE 50847.502
AT ITER 4116 NEW BEST:: SOT 140079 SOS 63382 HAS SOPS 63382 HAS SOUS 50710 HAS SOUPS 50710 WITH SCORE 50773.382
AT ITER 4130 NEW BEST:: SOT 140075 SOS 63363 HAS SOPS 63363 HAS SOUS 50683 HAS SOUPS 50683 WITH SCORE 50746.363
AT ITER 4133 NEW BEST:: SOT 139947 SOS 63051 HAS SOPS 63051 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50471.051
AT ITER 4136 NEW BEST:: SOT 139785 SOS 62889 HAS SOPS 62889 HAS SOUS 50246 HAS SOUPS 50246 WITH SCORE 50308.889
AT ITER 4197 NEW BEST:: SOT 139829 SOS 62933 HAS SOPS 62933 HAS SOUS 50203 HAS SOUPS 50203 WITH SCORE 50265.933
AT ITER 4206 NEW BEST:: SOT 139838 SOS 62961 HAS SOPS 62961 HAS SOUS 50188 HAS SOUPS 50188 WITH SCORE 50250.961
AT ITER 4212 NEW BEST:: SOT 139911 SOS 62885 HAS SOPS 62885 HAS SOUS 50188 HAS SOUPS 50188 WITH SCORE 50250.885
AT ITER 4219 NEW BEST:: SOT 139867 SOS 62744 HAS SOPS 62744 HAS SOUS 49941 HAS SOUPS 49941 WITH SCORE 50003.744
AT ITER 4220 NEW BEST:: SOT 139772 SOS 62671 HAS SOPS 62671 HAS SOUS 49830 HAS SOUPS 49830 WITH SCORE 49892.671
AT ITER 4266 NEW BEST:: SOT 139741 SOS 62640 HAS SOPS 62640 HAS SOUS 49799 HAS SOUPS 49799 WITH SCORE 49861.64
AT ITER 4279 NEW BEST:: SOT 139741 SOS 62387 HAS SOPS 62387 HAS SOUS 49784 HAS SOUPS 49784 WITH SCORE 49846.387
AT ITER 4292 NEW BEST:: SOT 139907 SOS 62517 HAS SOPS 62517 HAS SOUS 49778 HAS SOUPS 49778 WITH SCORE 49840.517
AT ITER 4304 NEW BEST:: SOT 139836 SOS 62428 HAS SOPS 62428 HAS SOUS 49689 HAS SOUPS 49689 WITH SCORE 49751.428
AT ITER 4315 NEW BEST:: SOT 139831 SOS 62431 HAS SOPS 62431 HAS SOUS 49668 HAS SOUPS 49668 WITH SCORE 49730.431
AT ITER 4317 NEW BEST:: SOT 139799 SOS 62478 HAS SOPS 62478 HAS SOUS 49639 HAS SOUPS 49639 WITH SCORE 49701.478
AT ITER 4318 NEW BEST:: SOT 139791 SOS 62454 HAS SOPS 62454 HAS SOUS 49599 HAS SOUPS 49599 WITH SCORE 49661.454
AT ITER 4322 NEW BEST:: SOT 139769 SOS 62325 HAS SOPS 62325 HAS SOUS 49495 HAS SOUPS 49495 WITH SCORE 49557.325
AT ITER 4330 NEW BEST:: SOT 139734 SOS 62283 HAS SOPS 62283 HAS SOUS 49453 HAS SOUPS 49453 WITH SCORE 49515.283
AT ITER 4332 NEW BEST:: SOT 139703 SOS 62266 HAS SOPS 62266 HAS SOUS 49418 HAS SOUPS 49418 WITH SCORE 49480.266
AT ITER 4345 NEW BEST:: SOT 139728 SOS 62244 HAS SOPS 62244 HAS SOUS 49331 HAS SOUPS 49331 WITH SCORE 49393.244
AT ITER 4349 NEW BEST:: SOT 139701 SOS 62233 HAS SOPS 62233 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49382.233
AT ITER 4355 NEW BEST:: SOT 139702 SOS 62222 HAS SOPS 62222 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49377.222
AT ITER 4407 NEW BEST:: SOT 139735 SOS 62072 HAS SOPS 62072 HAS SOUS 49274 HAS SOUPS 49274 WITH SCORE 49336.072
AT ITER 4424 NEW BEST:: SOT 139727 SOS 62064 HAS SOPS 62064 HAS SOUS 49266 HAS SOUPS 49266 WITH SCORE 49328.064
AT ITER 4425 NEW BEST:: SOT 139701 SOS 62026 HAS SOPS 62026 HAS SOUS 49230 HAS SOUPS 49230 WITH SCORE 49292.026
AT ITER 4428 NEW BEST:: SOT 139674 SOS 61999 HAS SOPS 61999 HAS SOUS 49203 HAS SOUPS 49203 WITH SCORE 49264.999
AT ITER 4435 NEW BEST:: SOT 139674 SOS 62008 HAS SOPS 62008 HAS SOUS 49183 HAS SOUPS 49183 WITH SCORE 49245.008
AT ITER 4441 NEW BEST:: SOT 139667 SOS 61994 HAS SOPS 61994 HAS SOUS 49178 HAS SOUPS 49178 WITH SCORE 49239.994
AT ITER 4499 NEW BEST:: SOT 139667 SOS 61964 HAS SOPS 61964 HAS SOUS 49148 HAS SOUPS 49148 WITH SCORE 49209.964
AT ITER 4513 NEW BEST:: SOT 139547 SOS 61565 HAS SOPS 61565 HAS SOUS 49029 HAS SOUPS 49029 WITH SCORE 49090.565
AT ITER 4521 NEW BEST:: SOT 139507 SOS 61463 HAS SOPS 61463 HAS SOUS 48873 HAS SOUPS 48873 WITH SCORE 48934.463
AT ITER 4535 NEW BEST:: SOT 139548 SOS 61504 HAS SOPS 61504 HAS SOUS 48869 HAS SOUPS 48869 WITH SCORE 48930.504
AT ITER 4537 NEW BEST:: SOT 139540 SOS 61436 HAS SOPS 61436 HAS SOUS 48801 HAS SOUPS 48801 WITH SCORE 48862.436
AT ITER 4539 NEW BEST:: SOT 139527 SOS 61423 HAS SOPS 61423 HAS SOUS 48788 HAS SOUPS 48788 WITH SCORE 48849.423
AT ITER 4558 NEW BEST:: SOT 139527 SOS 61417 HAS SOPS 61417 HAS SOUS 48716 HAS SOUPS 48716 WITH SCORE 48777.417
AT ITER 4578 NEW BEST:: SOT 139438 SOS 61291 HAS SOPS 61291 HAS SOUS 48551 HAS SOUPS 48551 WITH SCORE 48612.291
AT ITER 4594 NEW BEST:: SOT 139421 SOS 61271 HAS SOPS 61271 HAS SOUS 48531 HAS SOUPS 48531 WITH SCORE 48592.271
AT ITER 4600 NEW BEST:: SOT 139434 SOS 61258 HAS SOPS 61258 HAS SOUS 48523 HAS SOUPS 48523 WITH SCORE 48584.258
AT ITER 4613 NEW BEST:: SOT 139208 SOS 60893 HAS SOPS 60893 HAS SOUS 48158 HAS SOUPS 48158 WITH SCORE 48218.893
AT ITER 4615 NEW BEST:: SOT 139147 SOS 60883 HAS SOPS 60883 HAS SOUS 48146 HAS SOUPS 48146 WITH SCORE 48206.883
AT ITER 4618 NEW BEST:: SOT 139147 SOS 60854 HAS SOPS 60854 HAS SOUS 48117 HAS SOUPS 48117 WITH SCORE 48177.854
AT ITER 4620 NEW BEST:: SOT 139115 SOS 60822 HAS SOPS 60822 HAS SOUS 48101 HAS SOUPS 48101 WITH SCORE 48161.822
AT ITER 4623 NEW BEST:: SOT 139111 SOS 60814 HAS SOPS 60814 HAS SOUS 48093 HAS SOUPS 48093 WITH SCORE 48153.814
AT ITER 4628 NEW BEST:: SOT 139014 SOS 60752 HAS SOPS 60752 HAS SOUS 47988 HAS SOUPS 47988 WITH SCORE 48048.752
AT ITER 4637 NEW BEST:: SOT 138978 SOS 60716 HAS SOPS 60716 HAS SOUS 47952 HAS SOUPS 47952 WITH SCORE 48012.716
AT ITER 4645 NEW BEST:: SOT 138876 SOS 60597 HAS SOPS 60597 HAS SOUS 47833 HAS SOUPS 47833 WITH SCORE 47893.597
AT ITER 4656 NEW BEST:: SOT 138876 SOS 60584 HAS SOPS 60584 HAS SOUS 47820 HAS SOUPS 47820 WITH SCORE 47880.584
AT ITER 4661 NEW BEST:: SOT 138858 SOS 60548 HAS SOPS 60548 HAS SOUS 47784 HAS SOUPS 47784 WITH SCORE 47844.548
AT ITER 4678 NEW BEST:: SOT 138833 SOS 60513 HAS SOPS 60513 HAS SOUS 47739 HAS SOUPS 47739 WITH SCORE 47799.513
AT ITER 4688 NEW BEST:: SOT 138835 SOS 60474 HAS SOPS 60474 HAS SOUS 47700 HAS SOUPS 47700 WITH SCORE 47760.474
AT ITER 4691 NEW BEST:: SOT 138844 SOS 60481 HAS SOPS 60481 HAS SOUS 47671 HAS SOUPS 47671 WITH SCORE 47731.481
AT ITER 4700 NEW BEST:: SOT 138815 SOS 60452 HAS SOPS 60452 HAS SOUS 47642 HAS SOUPS 47642 WITH SCORE 47702.452
AT ITER 4707 NEW BEST:: SOT 138967 SOS 59783 HAS SOPS 59783 HAS SOUS 47505 HAS SOUPS 47505 WITH SCORE 47564.783
AT ITER 4712 NEW BEST:: SOT 138952 SOS 59768 HAS SOPS 59768 HAS SOUS 47490 HAS SOUPS 47490 WITH SCORE 47549.768
AT ITER 4715 NEW BEST:: SOT 138804 SOS 59769 HAS SOPS 59769 HAS SOUS 47396 HAS SOUPS 47396 WITH SCORE 47455.769
AT ITER 4718 NEW BEST:: SOT 138713 SOS 59549 HAS SOPS 59549 HAS SOUS 47167 HAS SOUPS 47167 WITH SCORE 47226.549
AT ITER 4727 NEW BEST:: SOT 138698 SOS 59534 HAS SOPS 59534 HAS SOUS 47159 HAS SOUPS 47159 WITH SCORE 47218.534
AT ITER 4766 NEW BEST:: SOT 138617 SOS 59441 HAS SOPS 59441 HAS SOUS 47066 HAS SOUPS 47066 WITH SCORE 47125.441
AT ITER 4768 NEW BEST:: SOT 138610 SOS 59434 HAS SOPS 59434 HAS SOUS 47059 HAS SOUPS 47059 WITH SCORE 47118.434
AT ITER 4773 NEW BEST:: SOT 138602 SOS 59426 HAS SOPS 59426 HAS SOUS 47051 HAS SOUPS 47051 WITH SCORE 47110.426
AT ITER 4785 NEW BEST:: SOT 138582 SOS 59322 HAS SOPS 59322 HAS SOUS 46930 HAS SOUPS 46930 WITH SCORE 46989.322
AT ITER 4801 NEW BEST:: SOT 138561 SOS 59238 HAS SOPS 59238 HAS SOUS 46846 HAS SOUPS 46846 WITH SCORE 46905.238
AT ITER 4803 NEW BEST:: SOT 138626 SOS 59121 HAS SOPS 59121 HAS SOUS 46640 HAS SOUPS 46640 WITH SCORE 46699.121
AT ITER 4805 NEW BEST:: SOT 138732 SOS 59087 HAS SOPS 59087 HAS SOUS 46564 HAS SOUPS 46564 WITH SCORE 46623.087
AT ITER 4807 NEW BEST:: SOT 138737 SOS 59047 HAS SOPS 59047 HAS SOUS 46554 HAS SOUPS 46554 WITH SCORE 46613.047
AT ITER 4812 NEW BEST:: SOT 138726 SOS 59025 HAS SOPS 59025 HAS SOUS 46532 HAS SOUPS 46532 WITH SCORE 46591.025
AT ITER 4828 NEW BEST:: SOT 138730 SOS 59021 HAS SOPS 59021 HAS SOUS 46528 HAS SOUPS 46528 WITH SCORE 46587.021
AT ITER 4837 NEW BEST:: SOT 138679 SOS 58922 HAS SOPS 58922 HAS SOUS 46469 HAS SOUPS 46469 WITH SCORE 46527.922
AT ITER 4862 NEW BEST:: SOT 138671 SOS 58914 HAS SOPS 58914 HAS SOUS 46461 HAS SOUPS 46461 WITH SCORE 46519.914
AT ITER 4880 NEW BEST:: SOT 138492 SOS 58719 HAS SOPS 58719 HAS SOUS 46260 HAS SOUPS 46260 WITH SCORE 46318.719
AT ITER 4893 NEW BEST:: SOT 138464 SOS 58691 HAS SOPS 58691 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46290.691
AT ITER 4898 NEW BEST:: SOT 138469 SOS 58710 HAS SOPS 58710 HAS SOUS 46216 HAS SOUPS 46216 WITH SCORE 46274.71
AT ITER 4921 NEW BEST:: SOT 138441 SOS 58692 HAS SOPS 58692 HAS SOUS 46198 HAS SOUPS 46198 WITH SCORE 46256.692
AT ITER 4980 NEW BEST:: SOT 138418 SOS 58607 HAS SOPS 58607 HAS SOUS 46157 HAS SOUPS 46157 WITH SCORE 46215.607
AT ITER 4981 NEW BEST:: SOT 138386 SOS 58571 HAS SOPS 58571 HAS SOUS 46121 HAS SOUPS 46121 WITH SCORE 46179.571
AT ITER 4993 NEW BEST:: SOT 138386 SOS 58537 HAS SOPS 58537 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46145.537
AT ITER 5007 NEW BEST:: SOT 138272 SOS 58495 HAS SOPS 58495 HAS SOUS 46039 HAS SOUPS 46039 WITH SCORE 46097.495
AT ITER 5026 NEW BEST:: SOT 138272 SOS 58546 HAS SOPS 58546 HAS SOUS 46032 HAS SOUPS 46032 WITH SCORE 46090.546
AT ITER 5043 NEW BEST:: SOT 138299 SOS 58493 HAS SOPS 58493 HAS SOUS 46020 HAS SOUPS 46020 WITH SCORE 46078.493
AT ITER 5049 NEW BEST:: SOT 138299 SOS 58491 HAS SOPS 58491 HAS SOUS 46018 HAS SOUPS 46018 WITH SCORE 46076.491
AT ITER 5055 NEW BEST:: SOT 138281 SOS 58419 HAS SOPS 58419 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46004.419
AT ITER 5071 NEW BEST:: SOT 138264 SOS 58371 HAS SOPS 58371 HAS SOUS 45870 HAS SOUPS 45870 WITH SCORE 45928.371
AT ITER 5073 NEW BEST:: SOT 138255 SOS 58289 HAS SOPS 58289 HAS SOUS 45848 HAS SOUPS 45848 WITH SCORE 45906.289
AT ITER 5088 NEW BEST:: SOT 138239 SOS 58273 HAS SOPS 58273 HAS SOUS 45816 HAS SOUPS 45816 WITH SCORE 45874.273
AT ITER 5102 NEW BEST:: SOT 138176 SOS 58210 HAS SOPS 58210 HAS SOUS 45753 HAS SOUPS 45753 WITH SCORE 45811.21
AT ITER 5133 NEW BEST:: SOT 138132 SOS 58188 HAS SOPS 58188 HAS SOUS 45731 HAS SOUPS 45731 WITH SCORE 45789.188
AT ITER 5162 NEW BEST:: SOT 138132 SOS 58023 HAS SOPS 58023 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45756.023
AT ITER 5185 NEW BEST:: SOT 138119 SOS 57861 HAS SOPS 57861 HAS SOUS 45685 HAS SOUPS 45685 WITH SCORE 45742.861
AT ITER 5187 NEW BEST:: SOT 138101 SOS 57773 HAS SOPS 57773 HAS SOUS 45665 HAS SOUPS 45665 WITH SCORE 45722.773
AT ITER 5189 NEW BEST:: SOT 138122 SOS 57782 HAS SOPS 57782 HAS SOUS 45656 HAS SOUPS 45656 WITH SCORE 45713.782
AT ITER 5204 NEW BEST:: SOT 137902 SOS 57562 HAS SOPS 57562 HAS SOUS 45436 HAS SOUPS 45436 WITH SCORE 45493.562
AT ITER 5205 NEW BEST:: SOT 137911 SOS 57571 HAS SOPS 57571 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45484.571
AT ITER 5212 NEW BEST:: SOT 137892 SOS 57476 HAS SOPS 57476 HAS SOUS 45332 HAS SOUPS 45332 WITH SCORE 45389.476
AT ITER 5214 NEW BEST:: SOT 137888 SOS 57468 HAS SOPS 57468 HAS SOUS 45324 HAS SOUPS 45324 WITH SCORE 45381.468
AT ITER 5216 NEW BEST:: SOT 137852 SOS 57381 HAS SOPS 57381 HAS SOUS 45255 HAS SOUPS 45255 WITH SCORE 45312.381
AT ITER 5218 NEW BEST:: SOT 137737 SOS 57028 HAS SOPS 57028 HAS SOUS 45108 HAS SOUPS 45108 WITH SCORE 45165.028
AT ITER 5228 NEW BEST:: SOT 137693 SOS 56976 HAS SOPS 56976 HAS SOUS 45056 HAS SOUPS 45056 WITH SCORE 45112.976
AT ITER 5236 NEW BEST:: SOT 137696 SOS 56946 HAS SOPS 56946 HAS SOUS 45050 HAS SOUPS 45050 WITH SCORE 45106.946
AT ITER 5259 NEW BEST:: SOT 137642 SOS 56925 HAS SOPS 56925 HAS SOUS 45026 HAS SOUPS 45026 WITH SCORE 45082.925
AT ITER 5273 NEW BEST:: SOT 137642 SOS 56924 HAS SOPS 56924 HAS SOUS 45025 HAS SOUPS 45025 WITH SCORE 45081.924
AT ITER 5302 NEW BEST:: SOT 137537 SOS 56819 HAS SOPS 56819 HAS SOUS 44920 HAS SOUPS 44920 WITH SCORE 44976.819
AT ITER 5312 NEW BEST:: SOT 137714 SOS 57162 HAS SOPS 57162 HAS SOUS 44904 HAS SOUPS 44904 WITH SCORE 44961.162
AT ITER 5322 NEW BEST:: SOT 137714 SOS 57114 HAS SOPS 57114 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44931.114
AT ITER 5339 NEW BEST:: SOT 137696 SOS 57096 HAS SOPS 57096 HAS SOUS 44856 HAS SOUPS 44856 WITH SCORE 44913.096
AT ITER 5347 NEW BEST:: SOT 137595 SOS 57046 HAS SOPS 57046 HAS SOUS 44837 HAS SOUPS 44837 WITH SCORE 44894.046
AT ITER 5355 NEW BEST:: SOT 137619 SOS 57074 HAS SOPS 57074 HAS SOUS 44791 HAS SOUPS 44791 WITH SCORE 44848.074
AT ITER 5368 NEW BEST:: SOT 137524 SOS 56957 HAS SOPS 56957 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44811.957
AT ITER 5386 NEW BEST:: SOT 137401 SOS 56875 HAS SOPS 56875 HAS SOUS 44668 HAS SOUPS 44668 WITH SCORE 44724.875
AT ITER 5406 NEW BEST:: SOT 137415 SOS 56898 HAS SOPS 56898 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44685.898
AT ITER 5417 NEW BEST:: SOT 137415 SOS 56893 HAS SOPS 56893 HAS SOUS 44624 HAS SOUPS 44624 WITH SCORE 44680.893
AT ITER 5419 NEW BEST:: SOT 137313 SOS 56605 HAS SOPS 56605 HAS SOUS 44453 HAS SOUPS 44453 WITH SCORE 44509.605
AT ITER 5443 NEW BEST:: SOT 137309 SOS 56563 HAS SOPS 56563 HAS SOUS 44449 HAS SOUPS 44449 WITH SCORE 44505.563
AT ITER 5448 NEW BEST:: SOT 137287 SOS 56505 HAS SOPS 56505 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44449.505
AT ITER 5471 NEW BEST:: SOT 137287 SOS 56538 HAS SOPS 56538 HAS SOUS 44374 HAS SOUPS 44374 WITH SCORE 44430.538
AT ITER 5473 NEW BEST:: SOT 137271 SOS 56452 HAS SOPS 56452 HAS SOUS 44288 HAS SOUPS 44288 WITH SCORE 44344.452
AT ITER 5496 NEW BEST:: SOT 137238 SOS 56419 HAS SOPS 56419 HAS SOUS 44255 HAS SOUPS 44255 WITH SCORE 44311.419
AT ITER 5504 NEW BEST:: SOT 137161 SOS 56304 HAS SOPS 56304 HAS SOUS 44121 HAS SOUPS 44121 WITH SCORE 44177.304
AT ITER 5546 NEW BEST:: SOT 137161 SOS 56212 HAS SOPS 56212 HAS SOUS 43975 HAS SOUPS 43975 WITH SCORE 44031.212
AT ITER 5571 NEW BEST:: SOT 137101 SOS 56093 HAS SOPS 56093 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43912.093
AT ITER 5594 NEW BEST:: SOT 137099 SOS 56091 HAS SOPS 56091 HAS SOUS 43855 HAS SOUPS 43855 WITH SCORE 43911.091
AT ITER 5601 NEW BEST:: SOT 137115 SOS 56052 HAS SOPS 56052 HAS SOUS 43824 HAS SOUPS 43824 WITH SCORE 43880.052
AT ITER 5616 NEW BEST:: SOT 137115 SOS 56033 HAS SOPS 56033 HAS SOUS 43805 HAS SOUPS 43805 WITH SCORE 43861.033
AT ITER 5620 NEW BEST:: SOT 137073 SOS 55991 HAS SOPS 55991 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43818.991
AT ITER 5646 NEW BEST:: SOT 136879 SOS 55745 HAS SOPS 55745 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43572.745
AT ITER 5660 NEW BEST:: SOT 136824 SOS 55609 HAS SOPS 55609 HAS SOUS 43505 HAS SOUPS 43505 WITH SCORE 43560.609
AT ITER 5669 NEW BEST:: SOT 136684 SOS 55469 HAS SOPS 55469 HAS SOUS 43365 HAS SOUPS 43365 WITH SCORE 43420.469
AT ITER 5689 NEW BEST:: SOT 136681 SOS 55469 HAS SOPS 55469 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43419.469
AT ITER 5696 NEW BEST:: SOT 136628 SOS 55416 HAS SOPS 55416 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43417.416
AT ITER 5730 NEW BEST:: SOT 136628 SOS 55384 HAS SOPS 55384 HAS SOUS 43298 HAS SOUPS 43298 WITH SCORE 43353.384
AT ITER 5741 NEW BEST:: SOT 136651 SOS 55382 HAS SOPS 55382 HAS SOUS 43298 HAS SOUPS 43298 WITH SCORE 43353.382
AT ITER 5768 NEW BEST:: SOT 136615 SOS 55346 HAS SOPS 55346 HAS SOUS 43274 HAS SOUPS 43274 WITH SCORE 43329.346
AT ITER 5769 NEW BEST:: SOT 136557 SOS 55269 HAS SOPS 55269 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43181.269
AT ITER 5846 NEW BEST:: SOT 136556 SOS 55268 HAS SOPS 55268 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43180.268
AT ITER 5850 NEW BEST:: SOT 136565 SOS 54963 HAS SOPS 54963 HAS SOUS 43080 HAS SOUPS 43080 WITH SCORE 43134.963
AT ITER 5852 NEW BEST:: SOT 136546 SOS 54941 HAS SOPS 54941 HAS SOUS 43079 HAS SOUPS 43079 WITH SCORE 43133.941
AT ITER 5863 NEW BEST:: SOT 136506 SOS 54901 HAS SOPS 54901 HAS SOUS 43039 HAS SOUPS 43039 WITH SCORE 43093.901
AT ITER 5875 NEW BEST:: SOT 136521 SOS 54894 HAS SOPS 54894 HAS SOUS 43032 HAS SOUPS 43032 WITH SCORE 43086.894
AT ITER 5929 NEW BEST:: SOT 136521 SOS 54821 HAS SOPS 54821 HAS SOUS 42959 HAS SOUPS 42959 WITH SCORE 43013.821
AT ITER 5932 NEW BEST:: SOT 136520 SOS 54817 HAS SOPS 54817 HAS SOUS 42957 HAS SOUPS 42957 WITH SCORE 43011.817
AT ITER 5960 NEW BEST:: SOT 136490 SOS 54760 HAS SOPS 54760 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42953.76
AT ITER 5961 NEW BEST:: SOT 136487 SOS 54753 HAS SOPS 54753 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42953.753
AT ITER 5967 NEW BEST:: SOT 136472 SOS 54719 HAS SOPS 54719 HAS SOUS 42865 HAS SOUPS 42865 WITH SCORE 42919.719
AT ITER 5972 NEW BEST:: SOT 136485 SOS 54732 HAS SOPS 54732 HAS SOUS 42864 HAS SOUPS 42864 WITH SCORE 42918.732
AT ITER 5998 NEW BEST:: SOT 136483 SOS 54730 HAS SOPS 54730 HAS SOUS 42862 HAS SOUPS 42862 WITH SCORE 42916.73
AT ITER 6006 NEW BEST:: SOT 136410 SOS 54620 HAS SOPS 54620 HAS SOUS 42825 HAS SOUPS 42825 WITH SCORE 42879.62
AT ITER 6016 NEW BEST:: SOT 136410 SOS 54550 HAS SOPS 54550 HAS SOUS 42760 HAS SOUPS 42760 WITH SCORE 42814.55
AT ITER 6062 NEW BEST:: SOT 136410 SOS 54582 HAS SOPS 54582 HAS SOUS 42752 HAS SOUPS 42752 WITH SCORE 42806.582
AT ITER 6072 NEW BEST:: SOT 136406 SOS 54576 HAS SOPS 54576 HAS SOUS 42725 HAS SOUPS 42725 WITH SCORE 42779.576
AT ITER 6090 NEW BEST:: SOT 136451 SOS 54531 HAS SOPS 54531 HAS SOUS 42725 HAS SOUPS 42725 WITH SCORE 42779.531
AT ITER 6104 NEW BEST:: SOT 136439 SOS 54448 HAS SOPS 54448 HAS SOUS 42688 HAS SOUPS 42688 WITH SCORE 42742.448
AT ITER 6107 NEW BEST:: SOT 136439 SOS 54442 HAS SOPS 54442 HAS SOUS 42682 HAS SOUPS 42682 WITH SCORE 42736.442
AT ITER 6118 NEW BEST:: SOT 136439 SOS 54405 HAS SOPS 54405 HAS SOUS 42645 HAS SOUPS 42645 WITH SCORE 42699.405
AT ITER 6136 NEW BEST:: SOT 136495 SOS 54426 HAS SOPS 54426 HAS SOUS 42642 HAS SOUPS 42642 WITH SCORE 42696.426
AT ITER 6152 NEW BEST:: SOT 136479 SOS 54410 HAS SOPS 54410 HAS SOUS 42634 HAS SOUPS 42634 WITH SCORE 42688.41
AT ITER 6153 NEW BEST:: SOT 136470 SOS 53962 HAS SOPS 53962 HAS SOUS 42534 HAS SOUPS 42534 WITH SCORE 42587.962
AT ITER 6154 NEW BEST:: SOT 136465 SOS 53957 HAS SOPS 53957 HAS SOUS 42529 HAS SOUPS 42529 WITH SCORE 42582.957
AT ITER 6155 NEW BEST:: SOT 136421 SOS 54008 HAS SOPS 54008 HAS SOUS 42500 HAS SOUPS 42500 WITH SCORE 42554.008
AT ITER 6163 NEW BEST:: SOT 136414 SOS 53925 HAS SOPS 53925 HAS SOUS 42417 HAS SOUPS 42417 WITH SCORE 42470.925
AT ITER 6173 NEW BEST:: SOT 136395 SOS 53904 HAS SOPS 53904 HAS SOUS 42390 HAS SOUPS 42390 WITH SCORE 42443.904
AT ITER 6181 NEW BEST:: SOT 136416 SOS 53910 HAS SOPS 53910 HAS SOUS 42389 HAS SOUPS 42389 WITH SCORE 42442.91
AT ITER 6258 NEW BEST:: SOT 136412 SOS 53904 HAS SOPS 53904 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42436.904
AT ITER 6275 NEW BEST:: SOT 136396 SOS 53888 HAS SOPS 53888 HAS SOUS 42367 HAS SOUPS 42367 WITH SCORE 42420.888
AT ITER 6287 NEW BEST:: SOT 136380 SOS 53878 HAS SOPS 53878 HAS SOUS 42343 HAS SOUPS 42343 WITH SCORE 42396.878
AT ITER 6291 NEW BEST:: SOT 136295 SOS 53776 HAS SOPS 53776 HAS SOUS 42190 HAS SOUPS 42190 WITH SCORE 42243.776
AT ITER 6295 NEW BEST:: SOT 136283 SOS 53764 HAS SOPS 53764 HAS SOUS 42168 HAS SOUPS 42168 WITH SCORE 42221.764
AT ITER 6311 NEW BEST:: SOT 136195 SOS 53715 HAS SOPS 53715 HAS SOUS 42119 HAS SOUPS 42119 WITH SCORE 42172.715
AT ITER 6358 NEW BEST:: SOT 136035 SOS 53502 HAS SOPS 53502 HAS SOUS 41969 HAS SOUPS 41969 WITH SCORE 42022.502
AT ITER 6365 NEW BEST:: SOT 136025 SOS 53492 HAS SOPS 53492 HAS SOUS 41959 HAS SOUPS 41959 WITH SCORE 42012.492
AT ITER 6421 NEW BEST:: SOT 136009 SOS 53491 HAS SOPS 53491 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42011.491
AT ITER 6445 NEW BEST:: SOT 135966 SOS 53448 HAS SOPS 53448 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 41968.448
AT ITER 6448 NEW BEST:: SOT 135924 SOS 53383 HAS SOPS 53383 HAS SOUS 41850 HAS SOUPS 41850 WITH SCORE 41903.383
AT ITER 6469 NEW BEST:: SOT 135923 SOS 53382 HAS SOPS 53382 HAS SOUS 41849 HAS SOUPS 41849 WITH SCORE 41902.382
AT ITER 6474 NEW BEST:: SOT 135824 SOS 53283 HAS SOPS 53283 HAS SOUS 41750 HAS SOUPS 41750 WITH SCORE 41803.283
AT ITER 6481 NEW BEST:: SOT 135773 SOS 53210 HAS SOPS 53210 HAS SOUS 41669 HAS SOUPS 41669 WITH SCORE 41722.21
AT ITER 6503 NEW BEST:: SOT 135775 SOS 53196 HAS SOPS 53196 HAS SOUS 41663 HAS SOUPS 41663 WITH SCORE 41716.196
AT ITER 6518 NEW BEST:: SOT 135758 SOS 53179 HAS SOPS 53179 HAS SOUS 41646 HAS SOUPS 41646 WITH SCORE 41699.179
AT ITER 6522 NEW BEST:: SOT 135734 SOS 53155 HAS SOPS 53155 HAS SOUS 41625 HAS SOUPS 41625 WITH SCORE 41678.155
AT ITER 6531 NEW BEST:: SOT 135755 SOS 53132 HAS SOPS 53132 HAS SOUS 41616 HAS SOUPS 41616 WITH SCORE 41669.132
AT ITER 6605 NEW BEST:: SOT 135755 SOS 53112 HAS SOPS 53112 HAS SOUS 41596 HAS SOUPS 41596 WITH SCORE 41649.112
AT ITER 6613 NEW BEST:: SOT 135726 SOS 52926 HAS SOPS 52926 HAS SOUS 41509 HAS SOUPS 41509 WITH SCORE 41561.926
AT ITER 6658 NEW BEST:: SOT 135673 SOS 52891 HAS SOPS 52891 HAS SOUS 41483 HAS SOUPS 41483 WITH SCORE 41535.891
AT ITER 6669 NEW BEST:: SOT 135598 SOS 52803 HAS SOPS 52803 HAS SOUS 41413 HAS SOUPS 41413 WITH SCORE 41465.803
AT ITER 6676 NEW BEST:: SOT 135558 SOS 52767 HAS SOPS 52767 HAS SOUS 41392 HAS SOUPS 41392 WITH SCORE 41444.767
AT ITER 6679 NEW BEST:: SOT 135558 SOS 52692 HAS SOPS 52692 HAS SOUS 41365 HAS SOUPS 41365 WITH SCORE 41417.692
AT ITER 6704 NEW BEST:: SOT 135475 SOS 52609 HAS SOPS 52609 HAS SOUS 41282 HAS SOUPS 41282 WITH SCORE 41334.609
AT ITER 6713 NEW BEST:: SOT 135481 SOS 52643 HAS SOPS 52643 HAS SOUS 41226 HAS SOUPS 41226 WITH SCORE 41278.643
AT ITER 6724 NEW BEST:: SOT 135477 SOS 52638 HAS SOPS 52638 HAS SOUS 41221 HAS SOUPS 41221 WITH SCORE 41273.638
AT ITER 6729 NEW BEST:: SOT 135483 SOS 52659 HAS SOPS 52659 HAS SOUS 41198 HAS SOUPS 41198 WITH SCORE 41250.659
AT ITER 6736 NEW BEST:: SOT 135483 SOS 52659 HAS SOPS 52659 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41240.659
AT ITER 6780 NEW BEST:: SOT 135464 SOS 52600 HAS SOPS 52600 HAS SOUS 41153 HAS SOUPS 41153 WITH SCORE 41205.6
AT ITER 6795 NEW BEST:: SOT 135370 SOS 52581 HAS SOPS 52581 HAS SOUS 41135 HAS SOUPS 41135 WITH SCORE 41187.581
AT ITER 6819 NEW BEST:: SOT 135323 SOS 52354 HAS SOPS 52354 HAS SOUS 40981 HAS SOUPS 40981 WITH SCORE 41033.354
AT ITER 6831 NEW BEST:: SOT 135289 SOS 52260 HAS SOPS 52260 HAS SOUS 40917 HAS SOUPS 40917 WITH SCORE 40969.26
AT ITER 6872 NEW BEST:: SOT 135217 SOS 52213 HAS SOPS 52213 HAS SOUS 40884 HAS SOUPS 40884 WITH SCORE 40936.213
AT ITER 6875 NEW BEST:: SOT 135217 SOS 52199 HAS SOPS 52199 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40922.199
AT ITER 6893 NEW BEST:: SOT 135199 SOS 52181 HAS SOPS 52181 HAS SOUS 40852 HAS SOUPS 40852 WITH SCORE 40904.181
AT ITER 6928 NEW BEST:: SOT 135215 SOS 52165 HAS SOPS 52165 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40888.165
AT ITER 6933 NEW BEST:: SOT 135207 SOS 52107 HAS SOPS 52107 HAS SOUS 40812 HAS SOUPS 40812 WITH SCORE 40864.107
AT ITER 6936 NEW BEST:: SOT 135226 SOS 52131 HAS SOPS 52131 HAS SOUS 40810 HAS SOUPS 40810 WITH SCORE 40862.131
AT ITER 6938 NEW BEST:: SOT 135229 SOS 52128 HAS SOPS 52128 HAS SOUS 40807 HAS SOUPS 40807 WITH SCORE 40859.128
AT ITER 6977 NEW BEST:: SOT 135229 SOS 52128 HAS SOPS 52128 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40844.128
AT ITER 6979 NEW BEST:: SOT 135241 SOS 52085 HAS SOPS 52085 HAS SOUS 40755 HAS SOUPS 40755 WITH SCORE 40807.085
AT ITER 7001 NEW BEST:: SOT 135213 SOS 52032 HAS SOPS 52032 HAS SOUS 40741 HAS SOUPS 40741 WITH SCORE 40793.032
AT ITER 7011 NEW BEST:: SOT 135215 SOS 52036 HAS SOPS 52036 HAS SOUS 40729 HAS SOUPS 40729 WITH SCORE 40781.036
AT ITER 7023 NEW BEST:: SOT 135279 SOS 51989 HAS SOPS 51989 HAS SOUS 40707 HAS SOUPS 40707 WITH SCORE 40758.989
AT ITER 7037 NEW BEST:: SOT 135278 SOS 51985 HAS SOPS 51985 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40756.985
AT ITER 7039 NEW BEST:: SOT 135272 SOS 51973 HAS SOPS 51973 HAS SOUS 40693 HAS SOUPS 40693 WITH SCORE 40744.973
AT ITER 7044 NEW BEST:: SOT 135272 SOS 51861 HAS SOPS 51861 HAS SOUS 40637 HAS SOUPS 40637 WITH SCORE 40688.861
AT ITER 7088 NEW BEST:: SOT 135252 SOS 51831 HAS SOPS 51831 HAS SOUS 40612 HAS SOUPS 40612 WITH SCORE 40663.831
AT ITER 7100 NEW BEST:: SOT 135279 SOS 51801 HAS SOPS 51801 HAS SOUS 40577 HAS SOUPS 40577 WITH SCORE 40628.801
AT ITER 7104 NEW BEST:: SOT 135273 SOS 51795 HAS SOPS 51795 HAS SOUS 40577 HAS SOUPS 40577 WITH SCORE 40628.795
AT ITER 7151 NEW BEST:: SOT 135273 SOS 51795 HAS SOPS 51795 HAS SOUS 40575 HAS SOUPS 40575 WITH SCORE 40626.795
AT ITER 7197 NEW BEST:: SOT 135270 SOS 51792 HAS SOPS 51792 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40624.792
AT ITER 7223 NEW BEST:: SOT 135284 SOS 51768 HAS SOPS 51768 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40624.768
AT ITER 7230 NEW BEST:: SOT 135338 SOS 51750 HAS SOPS 51750 HAS SOUS 40410 HAS SOUPS 40410 WITH SCORE 40461.75
AT ITER 7233 NEW BEST:: SOT 135334 SOS 51716 HAS SOPS 51716 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40445.716
AT ITER 7308 NEW BEST:: SOT 135248 SOS 51598 HAS SOPS 51598 HAS SOUS 40276 HAS SOUPS 40276 WITH SCORE 40327.598
AT ITER 7350 NEW BEST:: SOT 135244 SOS 51587 HAS SOPS 51587 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40316.587
AT ITER 7355 NEW BEST:: SOT 135244 SOS 51585 HAS SOPS 51585 HAS SOUS 40263 HAS SOUPS 40263 WITH SCORE 40314.585
AT ITER 7360 NEW BEST:: SOT 135242 SOS 51582 HAS SOPS 51582 HAS SOUS 40258 HAS SOUPS 40258 WITH SCORE 40309.582
AT ITER 7363 NEW BEST:: SOT 135238 SOS 51544 HAS SOPS 51544 HAS SOUS 40219 HAS SOUPS 40219 WITH SCORE 40270.544
AT ITER 7376 NEW BEST:: SOT 135198 SOS 51484 HAS SOPS 51484 HAS SOUS 40159 HAS SOUPS 40159 WITH SCORE 40210.484
AT ITER 7383 NEW BEST:: SOT 135203 SOS 51369 HAS SOPS 51369 HAS SOUS 40105 HAS SOUPS 40105 WITH SCORE 40156.369
AT ITER 7386 NEW BEST:: SOT 135103 SOS 51288 HAS SOPS 51288 HAS SOUS 40024 HAS SOUPS 40024 WITH SCORE 40075.288
AT ITER 7392 NEW BEST:: SOT 135084 SOS 51231 HAS SOPS 51231 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40018.231
AT ITER 7406 NEW BEST:: SOT 135087 SOS 51233 HAS SOPS 51233 HAS SOUS 39962 HAS SOUPS 39962 WITH SCORE 40013.233
AT ITER 7431 NEW BEST:: SOT 135061 SOS 51185 HAS SOPS 51185 HAS SOUS 39935 HAS SOUPS 39935 WITH SCORE 39986.185
AT ITER 7433 NEW BEST:: SOT 135054 SOS 51178 HAS SOPS 51178 HAS SOUS 39935 HAS SOUPS 39935 WITH SCORE 39986.178
AT ITER 7454 NEW BEST:: SOT 135054 SOS 51176 HAS SOPS 51176 HAS SOUS 39931 HAS SOUPS 39931 WITH SCORE 39982.176
AT ITER 7456 NEW BEST:: SOT 135048 SOS 51110 HAS SOPS 51110 HAS SOUS 39913 HAS SOUPS 39913 WITH SCORE 39964.11
AT ITER 7458 NEW BEST:: SOT 135020 SOS 51008 HAS SOPS 51008 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39876.008
AT ITER 7550 NEW BEST:: SOT 135008 SOS 50996 HAS SOPS 50996 HAS SOUS 39813 HAS SOUPS 39813 WITH SCORE 39863.996
AT ITER 7559 NEW BEST:: SOT 134906 SOS 50846 HAS SOPS 50846 HAS SOUS 39660 HAS SOUPS 39660 WITH SCORE 39710.846
AT ITER 7562 NEW BEST:: SOT 134896 SOS 50769 HAS SOPS 50769 HAS SOUS 39625 HAS SOUPS 39625 WITH SCORE 39675.769
AT ITER 7564 NEW BEST:: SOT 134891 SOS 50758 HAS SOPS 50758 HAS SOUS 39620 HAS SOUPS 39620 WITH SCORE 39670.758
AT ITER 7566 NEW BEST:: SOT 134891 SOS 50756 HAS SOPS 50756 HAS SOUS 39619 HAS SOUPS 39619 WITH SCORE 39669.756
AT ITER 7579 NEW BEST:: SOT 134875 SOS 50740 HAS SOPS 50740 HAS SOUS 39595 HAS SOUPS 39595 WITH SCORE 39645.74
AT ITER 7611 NEW BEST:: SOT 134862 SOS 50727 HAS SOPS 50727 HAS SOUS 39582 HAS SOUPS 39582 WITH SCORE 39632.727
AT ITER 7612 NEW BEST:: SOT 134850 SOS 50659 HAS SOPS 50659 HAS SOUS 39538 HAS SOUPS 39538 WITH SCORE 39588.659
AT ITER 7615 NEW BEST:: SOT 134850 SOS 50656 HAS SOPS 50656 HAS SOUS 39525 HAS SOUPS 39525 WITH SCORE 39575.656
AT ITER 7646 NEW BEST:: SOT 134834 SOS 50810 HAS SOPS 50810 HAS SOUS 39508 HAS SOUPS 39508 WITH SCORE 39558.81
AT ITER 7655 NEW BEST:: SOT 134832 SOS 50808 HAS SOPS 50808 HAS SOUS 39506 HAS SOUPS 39506 WITH SCORE 39556.808
AT ITER 7657 NEW BEST:: SOT 134831 SOS 50873 HAS SOPS 50873 HAS SOUS 39503 HAS SOUPS 39503 WITH SCORE 39553.873
AT ITER 7671 NEW BEST:: SOT 134852 SOS 50840 HAS SOPS 50840 HAS SOUS 39492 HAS SOUPS 39492 WITH SCORE 39542.84
AT ITER 7678 NEW BEST:: SOT 134823 SOS 50797 HAS SOPS 50797 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39499.797
AT ITER 7698 NEW BEST:: SOT 134811 SOS 50704 HAS SOPS 50704 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39452.704
AT ITER 7715 NEW BEST:: SOT 134828 SOS 50685 HAS SOPS 50685 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39447.685
AT ITER 7718 NEW BEST:: SOT 134824 SOS 50681 HAS SOPS 50681 HAS SOUS 39393 HAS SOUPS 39393 WITH SCORE 39443.681
AT ITER 7731 NEW BEST:: SOT 134761 SOS 50789 HAS SOPS 50789 HAS SOUS 39344 HAS SOUPS 39344 WITH SCORE 39394.789
AT ITER 7733 NEW BEST:: SOT 134558 SOS 50636 HAS SOPS 50636 HAS SOUS 39328 HAS SOUPS 39328 WITH SCORE 39378.636
AT ITER 7745 NEW BEST:: SOT 134558 SOS 50628 HAS SOPS 50628 HAS SOUS 39324 HAS SOUPS 39324 WITH SCORE 39374.628
AT ITER 7746 NEW BEST:: SOT 134264 SOS 50284 HAS SOPS 50284 HAS SOUS 38881 HAS SOUPS 38881 WITH SCORE 38931.284
AT ITER 7765 NEW BEST:: SOT 134223 SOS 50138 HAS SOPS 50138 HAS SOUS 38779 HAS SOUPS 38779 WITH SCORE 38829.138
AT ITER 7767 NEW BEST:: SOT 134381 SOS 50156 HAS SOPS 50156 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38760.156
AT ITER 7774 NEW BEST:: SOT 134407 SOS 50173 HAS SOPS 50173 HAS SOUS 38708 HAS SOUPS 38708 WITH SCORE 38758.173
AT ITER 7786 NEW BEST:: SOT 134397 SOS 50123 HAS SOPS 50123 HAS SOUS 38708 HAS SOUPS 38708 WITH SCORE 38758.123
AT ITER 7799 NEW BEST:: SOT 134393 SOS 50115 HAS SOPS 50115 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38746.115
AT ITER 7806 NEW BEST:: SOT 134352 SOS 50113 HAS SOPS 50113 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38744.113
AT ITER 7821 NEW BEST:: SOT 134352 SOS 50065 HAS SOPS 50065 HAS SOUS 38656 HAS SOUPS 38656 WITH SCORE 38706.065
AT ITER 7870 NEW BEST:: SOT 134352 SOS 50065 HAS SOPS 50065 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38705.065
AT ITER 7893 NEW BEST:: SOT 134296 SOS 49979 HAS SOPS 49979 HAS SOUS 38591 HAS SOUPS 38591 WITH SCORE 38640.979
AT ITER 7909 NEW BEST:: SOT 134296 SOS 49952 HAS SOPS 49952 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38613.952
AT ITER 7939 NEW BEST:: SOT 134269 SOS 49936 HAS SOPS 49936 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38606.936
AT ITER 7948 NEW BEST:: SOT 134269 SOS 49929 HAS SOPS 49929 HAS SOUS 38555 HAS SOUPS 38555 WITH SCORE 38604.929
AT ITER 7976 NEW BEST:: SOT 134202 SOS 49812 HAS SOPS 49812 HAS SOUS 38513 HAS SOUPS 38513 WITH SCORE 38562.812
AT ITER 8006 NEW BEST:: SOT 134137 SOS 49736 HAS SOPS 49736 HAS SOUS 38440 HAS SOUPS 38440 WITH SCORE 38489.736
AT ITER 8007 NEW BEST:: SOT 134125 SOS 49724 HAS SOPS 49724 HAS SOUS 38428 HAS SOUPS 38428 WITH SCORE 38477.724
AT ITER 8077 NEW BEST:: SOT 134110 SOS 49538 HAS SOPS 49538 HAS SOUS 38355 HAS SOUPS 38355 WITH SCORE 38404.538
AT ITER 8086 NEW BEST:: SOT 134107 SOS 49535 HAS SOPS 49535 HAS SOUS 38352 HAS SOUPS 38352 WITH SCORE 38401.535
AT ITER 8099 NEW BEST:: SOT 134087 SOS 49515 HAS SOPS 49515 HAS SOUS 38332 HAS SOUPS 38332 WITH SCORE 38381.515
AT ITER 8160 NEW BEST:: SOT 134087 SOS 49375 HAS SOPS 49375 HAS SOUS 38294 HAS SOUPS 38294 WITH SCORE 38343.375
AT ITER 8166 NEW BEST:: SOT 134059 SOS 49347 HAS SOPS 49347 HAS SOUS 38266 HAS SOUPS 38266 WITH SCORE 38315.347
AT ITER 8187 NEW BEST:: SOT 134025 SOS 49313 HAS SOPS 49313 HAS SOUS 38246 HAS SOUPS 38246 WITH SCORE 38295.313
AT ITER 8238 NEW BEST:: SOT 134049 SOS 49361 HAS SOPS 49361 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38271.361
AT ITER 8247 NEW BEST:: SOT 134035 SOS 49354 HAS SOPS 49354 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38261.354
AT ITER 8249 NEW BEST:: SOT 134028 SOS 49317 HAS SOPS 49317 HAS SOUS 38193 HAS SOUPS 38193 WITH SCORE 38242.317
AT ITER 8299 NEW BEST:: SOT 134012 SOS 49301 HAS SOPS 49301 HAS SOUS 38177 HAS SOUPS 38177 WITH SCORE 38226.301
AT ITER 8300 NEW BEST:: SOT 134012 SOS 49269 HAS SOPS 49269 HAS SOUS 38115 HAS SOUPS 38115 WITH SCORE 38164.269
AT ITER 8315 NEW BEST:: SOT 134008 SOS 49265 HAS SOPS 49265 HAS SOUS 38111 HAS SOUPS 38111 WITH SCORE 38160.265
AT ITER 8319 NEW BEST:: SOT 134008 SOS 49276 HAS SOPS 49276 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38141.276
AT ITER 8332 NEW BEST:: SOT 134008 SOS 49166 HAS SOPS 49166 HAS SOUS 38048 HAS SOUPS 38048 WITH SCORE 38097.166
AT ITER 8365 NEW BEST:: SOT 134051 SOS 49228 HAS SOPS 49228 HAS SOUS 38037 HAS SOUPS 38037 WITH SCORE 38086.228
AT ITER 8372 NEW BEST:: SOT 134024 SOS 49201 HAS SOPS 49201 HAS SOUS 38010 HAS SOUPS 38010 WITH SCORE 38059.201
AT ITER 8402 NEW BEST:: SOT 134019 SOS 49196 HAS SOPS 49196 HAS SOUS 38005 HAS SOUPS 38005 WITH SCORE 38054.196
AT ITER 8415 NEW BEST:: SOT 134013 SOS 49188 HAS SOPS 49188 HAS SOUS 37993 HAS SOUPS 37993 WITH SCORE 38042.188
AT ITER 8423 NEW BEST:: SOT 133954 SOS 49057 HAS SOPS 49057 HAS SOUS 37862 HAS SOUPS 37862 WITH SCORE 37911.057
AT ITER 8429 NEW BEST:: SOT 133988 SOS 49085 HAS SOPS 49085 HAS SOUS 37833 HAS SOUPS 37833 WITH SCORE 37882.085
AT ITER 8482 NEW BEST:: SOT 133923 SOS 48689 HAS SOPS 48689 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37666.689
AT ITER 8483 NEW BEST:: SOT 133949 SOS 48704 HAS SOPS 48704 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37651.704
AT ITER 8489 NEW BEST:: SOT 133950 SOS 48573 HAS SOPS 48573 HAS SOUS 37540 HAS SOUPS 37540 WITH SCORE 37588.573
AT ITER 8506 NEW BEST:: SOT 133944 SOS 48567 HAS SOPS 48567 HAS SOUS 37540 HAS SOUPS 37540 WITH SCORE 37588.567
AT ITER 8512 NEW BEST:: SOT 133952 SOS 48559 HAS SOPS 48559 HAS SOUS 37532 HAS SOUPS 37532 WITH SCORE 37580.559
AT ITER 8528 NEW BEST:: SOT 133952 SOS 48557 HAS SOPS 48557 HAS SOUS 37530 HAS SOUPS 37530 WITH SCORE 37578.557
AT ITER 8584 NEW BEST:: SOT 133956 SOS 48566 HAS SOPS 48566 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37573.566
AT ITER 8590 NEW BEST:: SOT 133932 SOS 48542 HAS SOPS 48542 HAS SOUS 37509 HAS SOUPS 37509 WITH SCORE 37557.542
AT ITER 8620 NEW BEST:: SOT 133957 SOS 48545 HAS SOPS 48545 HAS SOUS 37475 HAS SOUPS 37475 WITH SCORE 37523.545
AT ITER 8651 NEW BEST:: SOT 133955 SOS 48529 HAS SOPS 48529 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37514.529
AT ITER 8658 NEW BEST:: SOT 133954 SOS 48526 HAS SOPS 48526 HAS SOUS 37464 HAS SOUPS 37464 WITH SCORE 37512.526
AT ITER 8663 NEW BEST:: SOT 133950 SOS 48481 HAS SOPS 48481 HAS SOUS 37459 HAS SOUPS 37459 WITH SCORE 37507.481
AT ITER 8736 NEW BEST:: SOT 133876 SOS 48451 HAS SOPS 48451 HAS SOUS 37438 HAS SOUPS 37438 WITH SCORE 37486.451
AT ITER 8741 NEW BEST:: SOT 133849 SOS 48424 HAS SOPS 48424 HAS SOUS 37411 HAS SOUPS 37411 WITH SCORE 37459.424
AT ITER 8751 NEW BEST:: SOT 133849 SOS 48357 HAS SOPS 48357 HAS SOUS 37396 HAS SOUPS 37396 WITH SCORE 37444.357
AT ITER 8811 NEW BEST:: SOT 133849 SOS 48329 HAS SOPS 48329 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37402.329
AT ITER 8845 NEW BEST:: SOT 133922 SOS 48402 HAS SOPS 48402 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37398.402
AT ITER 8867 NEW BEST:: SOT 133901 SOS 48342 HAS SOPS 48342 HAS SOUS 37320 HAS SOUPS 37320 WITH SCORE 37368.342
AT ITER 8875 NEW BEST:: SOT 133868 SOS 48265 HAS SOPS 48265 HAS SOUS 37261 HAS SOUPS 37261 WITH SCORE 37309.265
AT ITER 8878 NEW BEST:: SOT 133872 SOS 48242 HAS SOPS 48242 HAS SOUS 37235 HAS SOUPS 37235 WITH SCORE 37283.242
AT ITER 8887 NEW BEST:: SOT 133872 SOS 48240 HAS SOPS 48240 HAS SOUS 37231 HAS SOUPS 37231 WITH SCORE 37279.24
AT ITER 8909 NEW BEST:: SOT 133838 SOS 48104 HAS SOPS 48104 HAS SOUS 37220 HAS SOUPS 37220 WITH SCORE 37268.104
AT ITER 8911 NEW BEST:: SOT 133838 SOS 47999 HAS SOPS 47999 HAS SOUS 37199 HAS SOUPS 37199 WITH SCORE 37246.999
AT ITER 8916 NEW BEST:: SOT 133853 SOS 47882 HAS SOPS 47882 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37201.882
AT ITER 8930 NEW BEST:: SOT 133783 SOS 47836 HAS SOPS 47836 HAS SOUS 37108 HAS SOUPS 37108 WITH SCORE 37155.836
AT ITER 8939 NEW BEST:: SOT 133783 SOS 47778 HAS SOPS 47778 HAS SOUS 37101 HAS SOUPS 37101 WITH SCORE 37148.778
AT ITER 8969 NEW BEST:: SOT 133777 SOS 47766 HAS SOPS 47766 HAS SOUS 37089 HAS SOUPS 37089 WITH SCORE 37136.766
AT ITER 8970 NEW BEST:: SOT 133744 SOS 47745 HAS SOPS 47745 HAS SOUS 37068 HAS SOUPS 37068 WITH SCORE 37115.745
AT ITER 8984 NEW BEST:: SOT 133763 SOS 47747 HAS SOPS 47747 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37095.747
AT ITER 9018 NEW BEST:: SOT 133750 SOS 47730 HAS SOPS 47730 HAS SOUS 37031 HAS SOUPS 37031 WITH SCORE 37078.73
AT ITER 9021 NEW BEST:: SOT 133734 SOS 47518 HAS SOPS 47518 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 36995.518
AT ITER 9029 NEW BEST:: SOT 133700 SOS 47145 HAS SOPS 47145 HAS SOUS 36829 HAS SOUPS 36829 WITH SCORE 36876.145
AT ITER 9054 NEW BEST:: SOT 133698 SOS 47143 HAS SOPS 47143 HAS SOUS 36825 HAS SOUPS 36825 WITH SCORE 36872.143
AT ITER 9099 NEW BEST:: SOT 133736 SOS 47149 HAS SOPS 47149 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36853.149
AT ITER 9142 NEW BEST:: SOT 133738 SOS 47090 HAS SOPS 47090 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36794.09
AT ITER 9161 NEW BEST:: SOT 133735 SOS 47084 HAS SOPS 47084 HAS SOUS 36741 HAS SOUPS 36741 WITH SCORE 36788.084
AT ITER 9182 NEW BEST:: SOT 133886 SOS 46877 HAS SOPS 46877 HAS SOUS 36719 HAS SOUPS 36719 WITH SCORE 36765.877
AT ITER 9197 NEW BEST:: SOT 133762 SOS 46493 HAS SOPS 46493 HAS SOUS 36543 HAS SOUPS 36543 WITH SCORE 36589.493
AT ITER 9231 NEW BEST:: SOT 133807 SOS 46507 HAS SOPS 46507 HAS SOUS 36537 HAS SOUPS 36537 WITH SCORE 36583.507
AT ITER 9254 NEW BEST:: SOT 133752 SOS 46430 HAS SOPS 46430 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36506.43
AT ITER 9282 NEW BEST:: SOT 133752 SOS 46484 HAS SOPS 46484 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36496.484
AT ITER 9370 NEW BEST:: SOT 133750 SOS 46478 HAS SOPS 46478 HAS SOUS 36440 HAS SOUPS 36440 WITH SCORE 36486.478
AT ITER 9398 NEW BEST:: SOT 133596 SOS 46030 HAS SOPS 46030 HAS SOUS 36236 HAS SOUPS 36236 WITH SCORE 36282.03
AT ITER 9462 NEW BEST:: SOT 133568 SOS 45929 HAS SOPS 45929 HAS SOUS 36135 HAS SOUPS 36135 WITH SCORE 36180.929
AT ITER 9511 NEW BEST:: SOT 133558 SOS 45919 HAS SOPS 45919 HAS SOUS 36125 HAS SOUPS 36125 WITH SCORE 36170.919
AT ITER 9533 NEW BEST:: SOT 133551 SOS 45912 HAS SOPS 45912 HAS SOUS 36118 HAS SOUPS 36118 WITH SCORE 36163.912
AT ITER 9546 NEW BEST:: SOT 133551 SOS 45816 HAS SOPS 45816 HAS SOUS 36104 HAS SOUPS 36104 WITH SCORE 36149.816
AT ITER 9547 NEW BEST:: SOT 133450 SOS 45709 HAS SOPS 45709 HAS SOUS 36039 HAS SOUPS 36039 WITH SCORE 36084.709
AT ITER 9554 NEW BEST:: SOT 133440 SOS 45694 HAS SOPS 45694 HAS SOUS 36034 HAS SOUPS 36034 WITH SCORE 36079.694
AT ITER 9561 NEW BEST:: SOT 133440 SOS 45704 HAS SOPS 45704 HAS SOUS 36031 HAS SOUPS 36031 WITH SCORE 36076.704
AT ITER 9569 NEW BEST:: SOT 133473 SOS 45587 HAS SOPS 45587 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 35935.587
AT ITER 9596 NEW BEST:: SOT 133461 SOS 45579 HAS SOPS 45579 HAS SOUS 35882 HAS SOUPS 35882 WITH SCORE 35927.579
AT ITER 9615 NEW BEST:: SOT 133461 SOS 45564 HAS SOPS 45564 HAS SOUS 35865 HAS SOUPS 35865 WITH SCORE 35910.564
AT ITER 9628 NEW BEST:: SOT 133461 SOS 45548 HAS SOPS 45548 HAS SOUS 35861 HAS SOUPS 35861 WITH SCORE 35906.548
AT ITER 9642 NEW BEST:: SOT 133461 SOS 45541 HAS SOPS 45541 HAS SOUS 35854 HAS SOUPS 35854 WITH SCORE 35899.541
AT ITER 9682 NEW BEST:: SOT 133273 SOS 45328 HAS SOPS 45328 HAS SOUS 35783 HAS SOUPS 35783 WITH SCORE 35828.328
AT ITER 9708 NEW BEST:: SOT 133222 SOS 45260 HAS SOPS 45260 HAS SOUS 35715 HAS SOUPS 35715 WITH SCORE 35760.26
AT ITER 9718 NEW BEST:: SOT 133217 SOS 45255 HAS SOPS 45255 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35755.255
AT ITER 9721 NEW BEST:: SOT 133217 SOS 45179 HAS SOPS 45179 HAS SOUS 35705 HAS SOUPS 35705 WITH SCORE 35750.179
AT ITER 9749 NEW BEST:: SOT 133210 SOS 45130 HAS SOPS 45130 HAS SOUS 35688 HAS SOUPS 35688 WITH SCORE 35733.13
AT ITER 9873 NEW BEST:: SOT 133174 SOS 45089 HAS SOPS 45089 HAS SOUS 35642 HAS SOUPS 35642 WITH SCORE 35687.089
AT ITER 9943 NEW BEST:: SOT 133141 SOS 45054 HAS SOPS 45054 HAS SOUS 35603 HAS SOUPS 35603 WITH SCORE 35648.054
AT ITER 9945 NEW BEST:: SOT 133196 SOS 45031 HAS SOPS 45031 HAS SOUS 35601 HAS SOUPS 35601 WITH SCORE 35646.031
AT ITER 9966 NEW BEST:: SOT 133121 SOS 44956 HAS SOPS 44956 HAS SOUS 35526 HAS SOUPS 35526 WITH SCORE 35570.956
AT ITER 9977 NEW BEST:: SOT 133145 SOS 44927 HAS SOPS 44927 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35531.927
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2111132 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154256 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="ShieldIIPs-PT-020A"
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 ShieldIIPs-PT-020A, 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 r387-oct2-167903711400104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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