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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 15:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 192K 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 1678774225197

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=Parking-PT-432
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 432
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: 529 places, 785 transitions, 2329 arcs.
AT ITER 0 NEW BEST:: SOT 241005 SOS 171690 HAS SOPS 171690 HAS SOUS 112047 HAS SOUPS 112047 WITH SCORE 112218.69
AT ITER 2 NEW BEST:: SOT 240137 SOS 170631 HAS SOPS 170355 HAS SOUS 111618 HAS SOUPS 111342 WITH SCORE 111512.631
AT ITER 3 NEW BEST:: SOT 239841 SOS 170335 HAS SOPS 170059 HAS SOUS 111406 HAS SOUPS 111130 WITH SCORE 111300.335
AT ITER 4 NEW BEST:: SOT 239841 SOS 170191 HAS SOPS 169915 HAS SOUS 111345 HAS SOUPS 111069 WITH SCORE 111239.191
AT ITER 7 NEW BEST:: SOT 239022 SOS 168864 HAS SOPS 168396 HAS SOUS 110578 HAS SOUPS 110110 WITH SCORE 110278.864
AT ITER 9 NEW BEST:: SOT 238376 SOS 168095 HAS SOPS 167445 HAS SOUS 110226 HAS SOUPS 109576 WITH SCORE 109744.095
AT ITER 10 NEW BEST:: SOT 238376 SOS 168095 HAS SOPS 167445 HAS SOUS 110156 HAS SOUPS 109506 WITH SCORE 109674.095
AT ITER 12 NEW BEST:: SOT 237804 SOS 167523 HAS SOPS 166873 HAS SOUS 109706 HAS SOUPS 109056 WITH SCORE 109223.523
AT ITER 13 NEW BEST:: SOT 237691 SOS 167410 HAS SOPS 166760 HAS SOUS 109565 HAS SOUPS 108915 WITH SCORE 109082.41
AT ITER 15 NEW BEST:: SOT 236915 SOS 166634 HAS SOPS 165984 HAS SOUS 108991 HAS SOUPS 108341 WITH SCORE 108507.634
AT ITER 21 NEW BEST:: SOT 236790 SOS 166509 HAS SOPS 165859 HAS SOUS 108920 HAS SOUPS 108270 WITH SCORE 108436.509
AT ITER 23 NEW BEST:: SOT 236790 SOS 166131 HAS SOPS 165481 HAS SOUS 108909 HAS SOUPS 108259 WITH SCORE 108425.131
AT ITER 30 NEW BEST:: SOT 236790 SOS 165990 HAS SOPS 165340 HAS SOUS 108908 HAS SOUPS 108258 WITH SCORE 108423.99
AT ITER 33 NEW BEST:: SOT 236625 SOS 165645 HAS SOPS 164995 HAS SOUS 108878 HAS SOUPS 108228 WITH SCORE 108393.645
AT ITER 40 NEW BEST:: SOT 236602 SOS 165622 HAS SOPS 164972 HAS SOUS 108855 HAS SOUPS 108205 WITH SCORE 108370.622
AT ITER 41 NEW BEST:: SOT 236602 SOS 165622 HAS SOPS 164972 HAS SOUS 108844 HAS SOUPS 108194 WITH SCORE 108359.622
AT ITER 42 NEW BEST:: SOT 236434 SOS 165454 HAS SOPS 164804 HAS SOUS 108533 HAS SOUPS 107883 WITH SCORE 108048.454
AT ITER 43 NEW BEST:: SOT 236312 SOS 164359 HAS SOPS 163709 HAS SOUS 108370 HAS SOUPS 107720 WITH SCORE 107884.359
AT ITER 45 NEW BEST:: SOT 236312 SOS 164307 HAS SOPS 163657 HAS SOUS 108370 HAS SOUPS 107720 WITH SCORE 107884.307
AT ITER 48 NEW BEST:: SOT 235854 SOS 163849 HAS SOPS 163199 HAS SOUS 107942 HAS SOUPS 107292 WITH SCORE 107455.849
AT ITER 50 NEW BEST:: SOT 239621 SOS 167967 HAS SOPS 166958 HAS SOUS 108221 HAS SOUPS 107212 WITH SCORE 107379.967
AT ITER 52 NEW BEST:: SOT 239538 SOS 167883 HAS SOPS 166874 HAS SOUS 108137 HAS SOUPS 107128 WITH SCORE 107295.883
AT ITER 54 NEW BEST:: SOT 239538 SOS 167883 HAS SOPS 166874 HAS SOUS 108127 HAS SOUPS 107118 WITH SCORE 107285.883
AT ITER 55 NEW BEST:: SOT 239444 SOS 167670 HAS SOPS 166663 HAS SOUS 107992 HAS SOUPS 106985 WITH SCORE 107152.67
AT ITER 56 NEW BEST:: SOT 239444 SOS 167235 HAS SOPS 166228 HAS SOUS 107927 HAS SOUPS 106920 WITH SCORE 107087.235
AT ITER 57 NEW BEST:: SOT 239045 SOS 166836 HAS SOPS 165829 HAS SOUS 107682 HAS SOUPS 106675 WITH SCORE 106841.836
AT ITER 60 NEW BEST:: SOT 238069 SOS 165376 HAS SOPS 164369 HAS SOUS 106706 HAS SOUPS 105699 WITH SCORE 105864.376
AT ITER 61 NEW BEST:: SOT 238069 SOS 165310 HAS SOPS 164303 HAS SOUS 106706 HAS SOUPS 105699 WITH SCORE 105864.31
AT ITER 62 NEW BEST:: SOT 238069 SOS 165310 HAS SOPS 164303 HAS SOUS 106695 HAS SOUPS 105688 WITH SCORE 105853.31
AT ITER 64 NEW BEST:: SOT 238020 SOS 165645 HAS SOPS 164393 HAS SOUS 106844 HAS SOUPS 105592 WITH SCORE 105757.645
AT ITER 65 NEW BEST:: SOT 237716 SOS 165341 HAS SOPS 164089 HAS SOUS 106634 HAS SOUPS 105382 WITH SCORE 105547.341
AT ITER 69 NEW BEST:: SOT 237576 SOS 165087 HAS SOPS 163835 HAS SOUS 106548 HAS SOUPS 105296 WITH SCORE 105461.087
AT ITER 70 NEW BEST:: SOT 237646 SOS 164474 HAS SOPS 163222 HAS SOUS 106401 HAS SOUPS 105149 WITH SCORE 105313.474
AT ITER 71 NEW BEST:: SOT 236993 SOS 163850 HAS SOPS 162569 HAS SOUS 105794 HAS SOUPS 104513 WITH SCORE 104676.85
AT ITER 72 NEW BEST:: SOT 236993 SOS 163714 HAS SOPS 162433 HAS SOUS 105794 HAS SOUPS 104513 WITH SCORE 104676.714
AT ITER 76 NEW BEST:: SOT 236486 SOS 163207 HAS SOPS 161926 HAS SOUS 105404 HAS SOUPS 104123 WITH SCORE 104286.207
AT ITER 79 NEW BEST:: SOT 235987 SOS 162708 HAS SOPS 161426 HAS SOUS 105405 HAS SOUPS 104123 WITH SCORE 104285.708
AT ITER 86 NEW BEST:: SOT 235987 SOS 162334 HAS SOPS 161052 HAS SOUS 105218 HAS SOUPS 103936 WITH SCORE 104098.334
AT ITER 89 NEW BEST:: SOT 235151 SOS 161995 HAS SOPS 160387 HAS SOUS 104974 HAS SOUPS 103366 WITH SCORE 103527.995
AT ITER 90 NEW BEST:: SOT 235151 SOS 161538 HAS SOPS 159930 HAS SOUS 104680 HAS SOUPS 103072 WITH SCORE 103233.538
AT ITER 91 NEW BEST:: SOT 235151 SOS 161450 HAS SOPS 159842 HAS SOUS 104679 HAS SOUPS 103071 WITH SCORE 103232.45
AT ITER 93 NEW BEST:: SOT 235151 SOS 160560 HAS SOPS 159197 HAS SOUS 104315 HAS SOUPS 102952 WITH SCORE 103112.56
AT ITER 95 NEW BEST:: SOT 235085 SOS 160326 HAS SOPS 158963 HAS SOUS 104293 HAS SOUPS 102930 WITH SCORE 103090.326
AT ITER 96 NEW BEST:: SOT 235085 SOS 160110 HAS SOPS 158747 HAS SOUS 104149 HAS SOUPS 102786 WITH SCORE 102946.11
AT ITER 97 NEW BEST:: SOT 235085 SOS 159527 HAS SOPS 158164 HAS SOUS 103796 HAS SOUPS 102433 WITH SCORE 102592.527
AT ITER 99 NEW BEST:: SOT 235069 SOS 159495 HAS SOPS 158132 HAS SOUS 103780 HAS SOUPS 102417 WITH SCORE 102576.495
AT ITER 103 NEW BEST:: SOT 234865 SOS 159360 HAS SOPS 157928 HAS SOUS 103747 HAS SOUPS 102315 WITH SCORE 102474.36
AT ITER 105 NEW BEST:: SOT 233984 SOS 158603 HAS SOPS 156927 HAS SOUS 103275 HAS SOUPS 101599 WITH SCORE 101757.603
AT ITER 112 NEW BEST:: SOT 233965 SOS 158584 HAS SOPS 156908 HAS SOUS 103256 HAS SOUPS 101580 WITH SCORE 101738.584
AT ITER 114 NEW BEST:: SOT 233965 SOS 158584 HAS SOPS 156908 HAS SOUS 103160 HAS SOUPS 101484 WITH SCORE 101642.584
AT ITER 115 NEW BEST:: SOT 233965 SOS 158583 HAS SOPS 156907 HAS SOUS 103159 HAS SOUPS 101483 WITH SCORE 101641.583
AT ITER 116 NEW BEST:: SOT 233965 SOS 158582 HAS SOPS 156906 HAS SOUS 103158 HAS SOUPS 101482 WITH SCORE 101640.582
AT ITER 117 NEW BEST:: SOT 233794 SOS 158428 HAS SOPS 156752 HAS SOUS 103049 HAS SOUPS 101373 WITH SCORE 101531.428
AT ITER 122 NEW BEST:: SOT 233794 SOS 157964 HAS SOPS 156288 HAS SOUS 102993 HAS SOUPS 101317 WITH SCORE 101474.964
AT ITER 127 NEW BEST:: SOT 233442 SOS 154154 HAS SOPS 152221 HAS SOUS 102752 HAS SOUPS 100819 WITH SCORE 100973.154
AT ITER 128 NEW BEST:: SOT 233339 SOS 154323 HAS SOPS 152355 HAS SOUS 102693 HAS SOUPS 100725 WITH SCORE 100879.323
AT ITER 130 NEW BEST:: SOT 233339 SOS 154268 HAS SOPS 152300 HAS SOUS 102692 HAS SOUPS 100724 WITH SCORE 100878.268
AT ITER 133 NEW BEST:: SOT 232919 SOS 153529 HAS SOPS 151462 HAS SOUS 102249 HAS SOUPS 100182 WITH SCORE 100335.529
AT ITER 136 NEW BEST:: SOT 232854 SOS 153464 HAS SOPS 151397 HAS SOUS 102186 HAS SOUPS 100119 WITH SCORE 100272.464
AT ITER 139 NEW BEST:: SOT 232835 SOS 153445 HAS SOPS 151378 HAS SOUS 102167 HAS SOUPS 100100 WITH SCORE 100253.445
AT ITER 141 NEW BEST:: SOT 232276 SOS 152886 HAS SOPS 150819 HAS SOUS 101827 HAS SOUPS 99760 WITH SCORE 99912.886
AT ITER 148 NEW BEST:: SOT 232174 SOS 152732 HAS SOPS 150665 HAS SOUS 101741 HAS SOUPS 99674 WITH SCORE 99826.732
AT ITER 152 NEW BEST:: SOT 231830 SOS 152230 HAS SOPS 150163 HAS SOUS 101397 HAS SOUPS 99330 WITH SCORE 99482.23
AT ITER 153 NEW BEST:: SOT 231566 SOS 152019 HAS SOPS 149899 HAS SOUS 101253 HAS SOUPS 99133 WITH SCORE 99285.019
AT ITER 154 NEW BEST:: SOT 231565 SOS 151876 HAS SOPS 149756 HAS SOUS 101110 HAS SOUPS 98990 WITH SCORE 99141.876
AT ITER 156 NEW BEST:: SOT 231312 SOS 151623 HAS SOPS 149503 HAS SOUS 100958 HAS SOUPS 98838 WITH SCORE 98989.623
AT ITER 158 NEW BEST:: SOT 230960 SOS 151293 HAS SOPS 149142 HAS SOUS 100619 HAS SOUPS 98483 WITH SCORE 98634.293
AT ITER 159 NEW BEST:: SOT 230338 SOS 150016 HAS SOPS 147762 HAS SOUS 99964 HAS SOUPS 97725 WITH SCORE 97875.016
AT ITER 160 NEW BEST:: SOT 230338 SOS 149947 HAS SOPS 147693 HAS SOUS 99941 HAS SOUPS 97702 WITH SCORE 97851.947
AT ITER 161 NEW BEST:: SOT 230308 SOS 149917 HAS SOPS 147663 HAS SOUS 99911 HAS SOUPS 97672 WITH SCORE 97821.917
AT ITER 163 NEW BEST:: SOT 230289 SOS 149135 HAS SOPS 146881 HAS SOUS 99845 HAS SOUPS 97606 WITH SCORE 97755.135
AT ITER 165 NEW BEST:: SOT 230289 SOS 149135 HAS SOPS 146881 HAS SOUS 99838 HAS SOUPS 97599 WITH SCORE 97748.135
AT ITER 169 NEW BEST:: SOT 230236 SOS 149300 HAS SOPS 147046 HAS SOUS 99785 HAS SOUPS 97546 WITH SCORE 97695.3
AT ITER 176 NEW BEST:: SOT 229808 SOS 148872 HAS SOPS 146618 HAS SOUS 99357 HAS SOUPS 97118 WITH SCORE 97266.872
AT ITER 177 NEW BEST:: SOT 228725 SOS 147148 HAS SOPS 144894 HAS SOUS 98169 HAS SOUPS 95930 WITH SCORE 96077.148
AT ITER 179 NEW BEST:: SOT 229441 SOS 147540 HAS SOPS 145286 HAS SOUS 98129 HAS SOUPS 95890 WITH SCORE 96037.54
AT ITER 180 NEW BEST:: SOT 229441 SOS 147539 HAS SOPS 145285 HAS SOUS 98128 HAS SOUPS 95889 WITH SCORE 96036.539
AT ITER 181 NEW BEST:: SOT 229441 SOS 146970 HAS SOPS 144716 HAS SOUS 98047 HAS SOUPS 95808 WITH SCORE 95954.97
AT ITER 183 NEW BEST:: SOT 229441 SOS 146798 HAS SOPS 144544 HAS SOUS 98027 HAS SOUPS 95788 WITH SCORE 95934.798
AT ITER 189 NEW BEST:: SOT 229304 SOS 146257 HAS SOPS 144003 HAS SOUS 97694 HAS SOUPS 95455 WITH SCORE 95601.257
AT ITER 190 NEW BEST:: SOT 229275 SOS 146228 HAS SOPS 143974 HAS SOUS 97657 HAS SOUPS 95418 WITH SCORE 95564.228
AT ITER 201 NEW BEST:: SOT 229263 SOS 145362 HAS SOPS 143108 HAS SOUS 97032 HAS SOUPS 94793 WITH SCORE 94938.362
AT ITER 202 NEW BEST:: SOT 229217 SOS 145267 HAS SOPS 143011 HAS SOUS 96937 HAS SOUPS 94696 WITH SCORE 94841.267
AT ITER 205 NEW BEST:: SOT 228700 SOS 144546 HAS SOPS 142290 HAS SOUS 96420 HAS SOUPS 94179 WITH SCORE 94323.546
AT ITER 206 NEW BEST:: SOT 228699 SOS 144461 HAS SOPS 142240 HAS SOUS 96335 HAS SOUPS 94129 WITH SCORE 94273.461
AT ITER 207 NEW BEST:: SOT 228699 SOS 144251 HAS SOPS 142030 HAS SOUS 96265 HAS SOUPS 94059 WITH SCORE 94203.251
AT ITER 208 NEW BEST:: SOT 228699 SOS 144250 HAS SOPS 142029 HAS SOUS 96264 HAS SOUPS 94058 WITH SCORE 94202.25
AT ITER 213 NEW BEST:: SOT 228699 SOS 143644 HAS SOPS 141423 HAS SOUS 96232 HAS SOUPS 94026 WITH SCORE 94169.644
AT ITER 215 NEW BEST:: SOT 223849 SOS 138100 HAS SOPS 135879 HAS SOUS 92402 HAS SOUPS 90196 WITH SCORE 90334.1
AT ITER 216 NEW BEST:: SOT 223849 SOS 137821 HAS SOPS 135600 HAS SOUS 92402 HAS SOUPS 90196 WITH SCORE 90333.821
AT ITER 217 NEW BEST:: SOT 223849 SOS 137659 HAS SOPS 135438 HAS SOUS 92358 HAS SOUPS 90152 WITH SCORE 90289.659
AT ITER 225 NEW BEST:: SOT 223852 SOS 137506 HAS SOPS 135285 HAS SOUS 92256 HAS SOUPS 90050 WITH SCORE 90187.506
AT ITER 228 NEW BEST:: SOT 223920 SOS 136750 HAS SOPS 134529 HAS SOUS 92054 HAS SOUPS 89848 WITH SCORE 89984.75
AT ITER 230 NEW BEST:: SOT 223576 SOS 138175 HAS SOPS 135389 HAS SOUS 90290 HAS SOUPS 87939 WITH SCORE 88077.175
AT ITER 233 NEW BEST:: SOT 223488 SOS 138087 HAS SOPS 135301 HAS SOUS 90202 HAS SOUPS 87851 WITH SCORE 87989.087
AT ITER 234 NEW BEST:: SOT 223274 SOS 137873 HAS SOPS 135087 HAS SOUS 90018 HAS SOUPS 87667 WITH SCORE 87804.873
AT ITER 235 NEW BEST:: SOT 222914 SOS 137636 HAS SOPS 134850 HAS SOUS 89862 HAS SOUPS 87511 WITH SCORE 87648.636
AT ITER 236 NEW BEST:: SOT 222827 SOS 136639 HAS SOPS 133853 HAS SOUS 89366 HAS SOUPS 87015 WITH SCORE 87151.639
AT ITER 240 NEW BEST:: SOT 222783 SOS 136551 HAS SOPS 133765 HAS SOUS 89322 HAS SOUPS 86971 WITH SCORE 87107.551
AT ITER 245 NEW BEST:: SOT 222449 SOS 136177 HAS SOPS 133351 HAS SOUS 89073 HAS SOUPS 86682 WITH SCORE 86818.177
AT ITER 248 NEW BEST:: SOT 222449 SOS 136128 HAS SOPS 133302 HAS SOUS 89024 HAS SOUPS 86633 WITH SCORE 86769.128
AT ITER 249 NEW BEST:: SOT 222490 SOS 136309 HAS SOPS 133483 HAS SOUS 88987 HAS SOUPS 86596 WITH SCORE 86732.309
AT ITER 253 NEW BEST:: SOT 222139 SOS 136043 HAS SOPS 133132 HAS SOUS 88948 HAS SOUPS 86472 WITH SCORE 86608.043
AT ITER 259 NEW BEST:: SOT 222107 SOS 135383 HAS SOPS 132472 HAS SOUS 88801 HAS SOUPS 86325 WITH SCORE 86460.383
AT ITER 263 NEW BEST:: SOT 221726 SOS 135002 HAS SOPS 132064 HAS SOUS 88420 HAS SOUPS 85917 WITH SCORE 86052.002
AT ITER 264 NEW BEST:: SOT 221726 SOS 135001 HAS SOPS 132063 HAS SOUS 88420 HAS SOUPS 85917 WITH SCORE 86052.001
AT ITER 266 NEW BEST:: SOT 221182 SOS 134633 HAS SOPS 131518 HAS SOUS 88293 HAS SOUPS 85613 WITH SCORE 85747.633
AT ITER 269 NEW BEST:: SOT 221182 SOS 134609 HAS SOPS 131494 HAS SOUS 88293 HAS SOUPS 85613 WITH SCORE 85747.609
AT ITER 276 NEW BEST:: SOT 221180 SOS 133567 HAS SOPS 130340 HAS SOUS 88373 HAS SOUPS 85581 WITH SCORE 85714.567
AT ITER 280 NEW BEST:: SOT 221202 SOS 133589 HAS SOPS 130362 HAS SOUS 88339 HAS SOUPS 85547 WITH SCORE 85680.589
AT ITER 281 NEW BEST:: SOT 221073 SOS 133460 HAS SOPS 130232 HAS SOUS 88274 HAS SOUPS 85481 WITH SCORE 85614.46
AT ITER 284 NEW BEST:: SOT 220889 SOS 133092 HAS SOPS 129772 HAS SOUS 88090 HAS SOUPS 85205 WITH SCORE 85338.092
AT ITER 290 NEW BEST:: SOT 220945 SOS 133092 HAS SOPS 129772 HAS SOUS 88034 HAS SOUPS 85149 WITH SCORE 85282.092
AT ITER 294 NEW BEST:: SOT 220742 SOS 132981 HAS SOPS 129569 HAS SOUS 87917 HAS SOUPS 84940 WITH SCORE 85072.981
AT ITER 295 NEW BEST:: SOT 220732 SOS 132949 HAS SOPS 129537 HAS SOUS 87907 HAS SOUPS 84930 WITH SCORE 85062.949
AT ITER 297 NEW BEST:: SOT 220330 SOS 132559 HAS SOPS 129147 HAS SOUS 87643 HAS SOUPS 84666 WITH SCORE 84798.559
AT ITER 301 NEW BEST:: SOT 220350 SOS 132579 HAS SOPS 129167 HAS SOUS 87623 HAS SOUPS 84646 WITH SCORE 84778.579
AT ITER 302 NEW BEST:: SOT 220350 SOS 132492 HAS SOPS 129080 HAS SOUS 87536 HAS SOUPS 84559 WITH SCORE 84691.492
AT ITER 303 NEW BEST:: SOT 220257 SOS 132689 HAS SOPS 129079 HAS SOUS 87496 HAS SOUPS 84321 WITH SCORE 84453.689
AT ITER 307 NEW BEST:: SOT 219648 SOS 132079 HAS SOPS 128469 HAS SOUS 87068 HAS SOUPS 83893 WITH SCORE 84025.079
AT ITER 308 NEW BEST:: SOT 219648 SOS 132033 HAS SOPS 128423 HAS SOUS 86999 HAS SOUPS 83824 WITH SCORE 83956.033
AT ITER 310 NEW BEST:: SOT 219056 SOS 130981 HAS SOPS 127371 HAS SOUS 86447 HAS SOUPS 83272 WITH SCORE 83402.981
AT ITER 311 NEW BEST:: SOT 219055 SOS 130980 HAS SOPS 127370 HAS SOUS 86447 HAS SOUPS 83272 WITH SCORE 83402.98
AT ITER 315 NEW BEST:: SOT 218019 SOS 129409 HAS SOPS 125799 HAS SOUS 85340 HAS SOUPS 82165 WITH SCORE 82294.409
AT ITER 317 NEW BEST:: SOT 217983 SOS 129319 HAS SOPS 125754 HAS SOUS 85286 HAS SOUPS 82156 WITH SCORE 82285.319
AT ITER 320 NEW BEST:: SOT 217130 SOS 128466 HAS SOPS 124901 HAS SOUS 84517 HAS SOUPS 81387 WITH SCORE 81515.466
AT ITER 324 NEW BEST:: SOT 215348 SOS 126756 HAS SOPS 123191 HAS SOUS 83368 HAS SOUPS 80238 WITH SCORE 80364.756
AT ITER 335 NEW BEST:: SOT 215273 SOS 126655 HAS SOPS 123115 HAS SOUS 83316 HAS SOUPS 80211 WITH SCORE 80337.655
AT ITER 342 NEW BEST:: SOT 214973 SOS 126390 HAS SOPS 122751 HAS SOUS 83115 HAS SOUPS 79911 WITH SCORE 80037.39
AT ITER 346 NEW BEST:: SOT 214588 SOS 126068 HAS SOPS 122366 HAS SOUS 83000 HAS SOUPS 79733 WITH SCORE 79859.068
AT ITER 348 NEW BEST:: SOT 214383 SOS 125863 HAS SOPS 122161 HAS SOUS 82795 HAS SOUPS 79528 WITH SCORE 79653.863
AT ITER 350 NEW BEST:: SOT 214379 SOS 125862 HAS SOPS 122160 HAS SOUS 82789 HAS SOUPS 79522 WITH SCORE 79647.862
AT ITER 353 NEW BEST:: SOT 214169 SOS 125652 HAS SOPS 121950 HAS SOUS 82679 HAS SOUPS 79412 WITH SCORE 79537.652
AT ITER 355 NEW BEST:: SOT 214169 SOS 125580 HAS SOPS 121878 HAS SOUS 82679 HAS SOUPS 79412 WITH SCORE 79537.58
AT ITER 359 NEW BEST:: SOT 214098 SOS 125580 HAS SOPS 121878 HAS SOUS 82608 HAS SOUPS 79341 WITH SCORE 79466.58
AT ITER 360 NEW BEST:: SOT 213978 SOS 125365 HAS SOPS 121663 HAS SOUS 82410 HAS SOUPS 79143 WITH SCORE 79268.365
AT ITER 362 NEW BEST:: SOT 213509 SOS 124933 HAS SOPS 121101 HAS SOUS 82224 HAS SOUPS 78827 WITH SCORE 78951.933
AT ITER 363 NEW BEST:: SOT 213509 SOS 124843 HAS SOPS 121011 HAS SOUS 82164 HAS SOUPS 78767 WITH SCORE 78891.843
AT ITER 364 NEW BEST:: SOT 213509 SOS 124735 HAS SOPS 120903 HAS SOUS 82164 HAS SOUPS 78767 WITH SCORE 78891.735
AT ITER 367 NEW BEST:: SOT 213676 SOS 124902 HAS SOPS 121070 HAS SOUS 81997 HAS SOUPS 78600 WITH SCORE 78724.902
AT ITER 372 NEW BEST:: SOT 217489 SOS 129318 HAS SOPS 125112 HAS SOUS 82265 HAS SOUPS 78494 WITH SCORE 78623.318
AT ITER 382 NEW BEST:: SOT 217449 SOS 129278 HAS SOPS 125072 HAS SOUS 82265 HAS SOUPS 78494 WITH SCORE 78623.278
AT ITER 384 NEW BEST:: SOT 217448 SOS 129166 HAS SOPS 124960 HAS SOUS 82153 HAS SOUPS 78382 WITH SCORE 78511.166
AT ITER 386 NEW BEST:: SOT 217121 SOS 128868 HAS SOPS 124632 HAS SOUS 82062 HAS SOUPS 78261 WITH SCORE 78389.868
AT ITER 390 NEW BEST:: SOT 216932 SOS 128601 HAS SOPS 124365 HAS SOUS 81984 HAS SOUPS 78183 WITH SCORE 78311.601
AT ITER 391 NEW BEST:: SOT 216867 SOS 128536 HAS SOPS 124300 HAS SOUS 81789 HAS SOUPS 77988 WITH SCORE 78116.536
AT ITER 392 NEW BEST:: SOT 216383 SOS 128052 HAS SOPS 123816 HAS SOUS 81467 HAS SOUPS 77666 WITH SCORE 77794.052
AT ITER 394 NEW BEST:: SOT 216362 SOS 128031 HAS SOPS 123795 HAS SOUS 81446 HAS SOUPS 77645 WITH SCORE 77773.031
AT ITER 395 NEW BEST:: SOT 216306 SOS 127975 HAS SOPS 123739 HAS SOUS 81418 HAS SOUPS 77617 WITH SCORE 77744.975
AT ITER 397 NEW BEST:: SOT 216126 SOS 127915 HAS SOPS 123679 HAS SOUS 81160 HAS SOUPS 77359 WITH SCORE 77486.915
AT ITER 402 NEW BEST:: SOT 216120 SOS 127913 HAS SOPS 123673 HAS SOUS 81158 HAS SOUPS 77353 WITH SCORE 77480.913
AT ITER 403 NEW BEST:: SOT 215876 SOS 127866 HAS SOPS 123429 HAS SOUS 81344 HAS SOUPS 77342 WITH SCORE 77469.866
AT ITER 404 NEW BEST:: SOT 215874 SOS 127860 HAS SOPS 123423 HAS SOUS 81340 HAS SOUPS 77338 WITH SCORE 77465.86
AT ITER 408 NEW BEST:: SOT 215880 SOS 128166 HAS SOPS 123729 HAS SOUS 81337 HAS SOUPS 77335 WITH SCORE 77463.166
AT ITER 410 NEW BEST:: SOT 214448 SOS 126734 HAS SOPS 122297 HAS SOUS 81248 HAS SOUPS 77246 WITH SCORE 77372.734
AT ITER 413 NEW BEST:: SOT 214415 SOS 126701 HAS SOPS 122264 HAS SOUS 81215 HAS SOUPS 77213 WITH SCORE 77339.701
AT ITER 414 NEW BEST:: SOT 214356 SOS 126366 HAS SOPS 121929 HAS SOUS 81045 HAS SOUPS 77043 WITH SCORE 77169.366
AT ITER 416 NEW BEST:: SOT 214024 SOS 126049 HAS SOPS 121596 HAS SOUS 80920 HAS SOUPS 76902 WITH SCORE 77028.049
AT ITER 417 NEW BEST:: SOT 213718 SOS 125796 HAS SOPS 121290 HAS SOUS 80700 HAS SOUPS 76629 WITH SCORE 76754.796
AT ITER 419 NEW BEST:: SOT 213671 SOS 125749 HAS SOPS 121243 HAS SOUS 80657 HAS SOUPS 76586 WITH SCORE 76711.749
AT ITER 421 NEW BEST:: SOT 213497 SOS 124531 HAS SOPS 120025 HAS SOUS 80483 HAS SOUPS 76412 WITH SCORE 76536.531
AT ITER 422 NEW BEST:: SOT 213488 SOS 124521 HAS SOPS 120015 HAS SOUS 80473 HAS SOUPS 76402 WITH SCORE 76526.521
AT ITER 423 NEW BEST:: SOT 213335 SOS 124390 HAS SOPS 119872 HAS SOUS 80384 HAS SOUPS 76301 WITH SCORE 76425.39
AT ITER 424 NEW BEST:: SOT 212715 SOS 119348 HAS SOPS 114452 HAS SOUS 79907 HAS SOUPS 75446 WITH SCORE 75565.348
AT ITER 427 NEW BEST:: SOT 212678 SOS 118904 HAS SOPS 114008 HAS SOUS 79833 HAS SOUPS 75372 WITH SCORE 75490.904
AT ITER 430 NEW BEST:: SOT 212486 SOS 118808 HAS SOPS 113816 HAS SOUS 79641 HAS SOUPS 75084 WITH SCORE 75202.808
AT ITER 436 NEW BEST:: SOT 212404 SOS 118709 HAS SOPS 113717 HAS SOUS 79501 HAS SOUPS 74944 WITH SCORE 75062.709
AT ITER 439 NEW BEST:: SOT 212038 SOS 118343 HAS SOPS 113351 HAS SOUS 79305 HAS SOUPS 74748 WITH SCORE 74866.343
AT ITER 440 NEW BEST:: SOT 211945 SOS 118250 HAS SOPS 113258 HAS SOUS 79212 HAS SOUPS 74655 WITH SCORE 74773.25
AT ITER 443 NEW BEST:: SOT 211927 SOS 118338 HAS SOPS 113287 HAS SOUS 79253 HAS SOUPS 74637 WITH SCORE 74755.338
AT ITER 444 NEW BEST:: SOT 211842 SOS 118289 HAS SOPS 113190 HAS SOUS 79212 HAS SOUPS 74548 WITH SCORE 74666.289
AT ITER 449 NEW BEST:: SOT 211839 SOS 118073 HAS SOPS 112974 HAS SOUS 79085 HAS SOUPS 74421 WITH SCORE 74539.073
AT ITER 451 NEW BEST:: SOT 211792 SOS 118063 HAS SOPS 112791 HAS SOUS 79075 HAS SOUPS 74238 WITH SCORE 74356.063
AT ITER 452 NEW BEST:: SOT 211654 SOS 118063 HAS SOPS 112791 HAS SOUS 79006 HAS SOUPS 74169 WITH SCORE 74287.063
AT ITER 453 NEW BEST:: SOT 211654 SOS 114377 HAS SOPS 109105 HAS SOUS 78854 HAS SOUPS 74017 WITH SCORE 74131.377
AT ITER 455 NEW BEST:: SOT 211575 SOS 114298 HAS SOPS 108966 HAS SOUS 78775 HAS SOUPS 73878 WITH SCORE 73992.298
AT ITER 458 NEW BEST:: SOT 210974 SOS 113707 HAS SOPS 108161 HAS SOUS 78388 HAS SOUPS 73277 WITH SCORE 73390.707
AT ITER 462 NEW BEST:: SOT 210974 SOS 113533 HAS SOPS 107987 HAS SOUS 78328 HAS SOUPS 73217 WITH SCORE 73330.533
AT ITER 463 NEW BEST:: SOT 210929 SOS 113488 HAS SOPS 107942 HAS SOUS 78237 HAS SOUPS 73126 WITH SCORE 73239.488
AT ITER 464 NEW BEST:: SOT 210811 SOS 113370 HAS SOPS 107824 HAS SOUS 78119 HAS SOUPS 73008 WITH SCORE 73121.37
AT ITER 467 NEW BEST:: SOT 210811 SOS 112730 HAS SOPS 107184 HAS SOUS 78119 HAS SOUPS 73008 WITH SCORE 73120.73
AT ITER 470 NEW BEST:: SOT 210583 SOS 112350 HAS SOPS 106804 HAS SOUS 77891 HAS SOUPS 72780 WITH SCORE 72892.35
AT ITER 478 NEW BEST:: SOT 210622 SOS 112122 HAS SOPS 106576 HAS SOUS 77841 HAS SOUPS 72730 WITH SCORE 72842.122
AT ITER 480 NEW BEST:: SOT 210729 SOS 111714 HAS SOPS 106168 HAS SOUS 77431 HAS SOUPS 72320 WITH SCORE 72431.714
AT ITER 483 NEW BEST:: SOT 210729 SOS 111698 HAS SOPS 106152 HAS SOUS 77431 HAS SOUPS 72320 WITH SCORE 72431.698
AT ITER 484 NEW BEST:: SOT 210715 SOS 111669 HAS SOPS 106123 HAS SOUS 77429 HAS SOUPS 72318 WITH SCORE 72429.669
AT ITER 485 NEW BEST:: SOT 210647 SOS 111532 HAS SOPS 106027 HAS SOUS 77386 HAS SOUPS 72316 WITH SCORE 72427.532
AT ITER 490 NEW BEST:: SOT 210666 SOS 111528 HAS SOPS 106023 HAS SOUS 77300 HAS SOUPS 72230 WITH SCORE 72341.528
AT ITER 496 NEW BEST:: SOT 210621 SOS 111438 HAS SOPS 105933 HAS SOUS 77255 HAS SOUPS 72185 WITH SCORE 72296.438
AT ITER 501 NEW BEST:: SOT 210599 SOS 111416 HAS SOPS 105911 HAS SOUS 77233 HAS SOUPS 72163 WITH SCORE 72274.416
AT ITER 503 NEW BEST:: SOT 210648 SOS 111899 HAS SOPS 106009 HAS SOUS 77502 HAS SOUPS 72047 WITH SCORE 72158.899
AT ITER 513 NEW BEST:: SOT 210585 SOS 111794 HAS SOPS 105904 HAS SOUS 77418 HAS SOUPS 71963 WITH SCORE 72074.794
AT ITER 515 NEW BEST:: SOT 210565 SOS 111720 HAS SOPS 105830 HAS SOUS 77398 HAS SOUPS 71943 WITH SCORE 72054.72
AT ITER 522 NEW BEST:: SOT 210557 SOS 111627 HAS SOPS 105753 HAS SOUS 77328 HAS SOUPS 71889 WITH SCORE 72000.627
AT ITER 524 NEW BEST:: SOT 209960 SOS 112198 HAS SOPS 106324 HAS SOUS 76752 HAS SOUPS 71313 WITH SCORE 71425.198
AT ITER 529 NEW BEST:: SOT 209954 SOS 112192 HAS SOPS 106318 HAS SOUS 76746 HAS SOUPS 71307 WITH SCORE 71419.192
AT ITER 538 NEW BEST:: SOT 209888 SOS 111957 HAS SOPS 106083 HAS SOUS 76644 HAS SOUPS 71205 WITH SCORE 71316.957
AT ITER 543 NEW BEST:: SOT 209933 SOS 111906 HAS SOPS 106032 HAS SOUS 76517 HAS SOUPS 71078 WITH SCORE 71189.906
AT ITER 550 NEW BEST:: SOT 209821 SOS 111502 HAS SOPS 105628 HAS SOUS 76311 HAS SOUPS 70872 WITH SCORE 70983.502
AT ITER 554 NEW BEST:: SOT 209625 SOS 111189 HAS SOPS 105171 HAS SOUS 76001 HAS SOUPS 70418 WITH SCORE 70529.189
AT ITER 557 NEW BEST:: SOT 209723 SOS 111108 HAS SOPS 105090 HAS SOUS 76001 HAS SOUPS 70418 WITH SCORE 70529.108
AT ITER 560 NEW BEST:: SOT 209666 SOS 111051 HAS SOPS 105033 HAS SOUS 75944 HAS SOUPS 70361 WITH SCORE 70472.051
AT ITER 562 NEW BEST:: SOT 209665 SOS 110922 HAS SOPS 104904 HAS SOUS 75815 HAS SOUPS 70232 WITH SCORE 70342.922
AT ITER 566 NEW BEST:: SOT 209665 SOS 110835 HAS SOPS 104860 HAS SOUS 75771 HAS SOUPS 70231 WITH SCORE 70341.835
AT ITER 574 NEW BEST:: SOT 209511 SOS 110787 HAS SOPS 104711 HAS SOUS 75723 HAS SOUPS 70082 WITH SCORE 70192.787
AT ITER 580 NEW BEST:: SOT 209414 SOS 110638 HAS SOPS 104562 HAS SOUS 75574 HAS SOUPS 69933 WITH SCORE 70043.638
AT ITER 583 NEW BEST:: SOT 209289 SOS 110513 HAS SOPS 104437 HAS SOUS 75327 HAS SOUPS 69686 WITH SCORE 69796.513
AT ITER 588 NEW BEST:: SOT 209214 SOS 110380 HAS SOPS 104316 HAS SOUS 75252 HAS SOUPS 69623 WITH SCORE 69733.38
AT ITER 589 NEW BEST:: SOT 209292 SOS 110614 HAS SOPS 104363 HAS SOUS 75408 HAS SOUPS 69592 WITH SCORE 69702.614
AT ITER 590 NEW BEST:: SOT 209329 SOS 110651 HAS SOPS 104363 HAS SOUS 75375 HAS SOUPS 69555 WITH SCORE 69665.651
AT ITER 591 NEW BEST:: SOT 209289 SOS 110411 HAS SOPS 104123 HAS SOUS 75255 HAS SOUPS 69435 WITH SCORE 69545.411
AT ITER 593 NEW BEST:: SOT 209276 SOS 110398 HAS SOPS 104110 HAS SOUS 75242 HAS SOUPS 69422 WITH SCORE 69532.398
AT ITER 598 NEW BEST:: SOT 209220 SOS 110342 HAS SOPS 104054 HAS SOUS 75186 HAS SOUPS 69366 WITH SCORE 69476.342
AT ITER 609 NEW BEST:: SOT 209142 SOS 110264 HAS SOPS 103976 HAS SOUS 75030 HAS SOUPS 69210 WITH SCORE 69320.264
AT ITER 614 NEW BEST:: SOT 209014 SOS 110112 HAS SOPS 103824 HAS SOUS 74994 HAS SOUPS 69174 WITH SCORE 69284.112
AT ITER 616 NEW BEST:: SOT 208855 SOS 110002 HAS SOPS 103696 HAS SOUS 74899 HAS SOUPS 69061 WITH SCORE 69171.002
AT ITER 617 NEW BEST:: SOT 209003 SOS 110149 HAS SOPS 103843 HAS SOUS 74895 HAS SOUPS 69057 WITH SCORE 69167.149
AT ITER 619 NEW BEST:: SOT 208933 SOS 110079 HAS SOPS 103724 HAS SOUS 74874 HAS SOUPS 68987 WITH SCORE 69097.079
AT ITER 620 NEW BEST:: SOT 208917 SOS 110031 HAS SOPS 103676 HAS SOUS 74858 HAS SOUPS 68971 WITH SCORE 69081.031
AT ITER 621 NEW BEST:: SOT 208883 SOS 109997 HAS SOPS 103642 HAS SOUS 74841 HAS SOUPS 68954 WITH SCORE 69063.997
AT ITER 628 NEW BEST:: SOT 208833 SOS 109897 HAS SOPS 103592 HAS SOUS 74741 HAS SOUPS 68904 WITH SCORE 69013.897
AT ITER 629 NEW BEST:: SOT 208807 SOS 109888 HAS SOPS 103583 HAS SOUS 74616 HAS SOUPS 68779 WITH SCORE 68888.888
AT ITER 630 NEW BEST:: SOT 208086 SOS 109655 HAS SOPS 103177 HAS SOUS 74295 HAS SOUPS 68300 WITH SCORE 68409.655
AT ITER 633 NEW BEST:: SOT 208086 SOS 109124 HAS SOPS 102646 HAS SOUS 74217 HAS SOUPS 68222 WITH SCORE 68331.124
AT ITER 636 NEW BEST:: SOT 208085 SOS 109123 HAS SOPS 102644 HAS SOUS 74216 HAS SOUPS 68220 WITH SCORE 68329.123
AT ITER 637 NEW BEST:: SOT 208060 SOS 109226 HAS SOPS 102674 HAS SOUS 74287 HAS SOUPS 68218 WITH SCORE 68327.226
AT ITER 648 NEW BEST:: SOT 208060 SOS 109250 HAS SOPS 102698 HAS SOUS 74243 HAS SOUPS 68174 WITH SCORE 68283.25
AT ITER 661 NEW BEST:: SOT 207978 SOS 108875 HAS SOPS 102493 HAS SOUS 74068 HAS SOUPS 68169 WITH SCORE 68277.875
AT ITER 667 NEW BEST:: SOT 207803 SOS 108774 HAS SOPS 102318 HAS SOUS 74055 HAS SOUPS 68082 WITH SCORE 68190.774
AT ITER 669 NEW BEST:: SOT 207753 SOS 108706 HAS SOPS 102225 HAS SOUS 74012 HAS SOUPS 68014 WITH SCORE 68122.706
AT ITER 675 NEW BEST:: SOT 207753 SOS 108582 HAS SOPS 102101 HAS SOUS 73941 HAS SOUPS 67943 WITH SCORE 68051.582
AT ITER 676 NEW BEST:: SOT 207731 SOS 108455 HAS SOPS 101974 HAS SOUS 73919 HAS SOUPS 67921 WITH SCORE 68029.455
AT ITER 697 NEW BEST:: SOT 205619 SOS 106235 HAS SOPS 99754 HAS SOUS 72347 HAS SOUPS 66349 WITH SCORE 66455.235
AT ITER 700 NEW BEST:: SOT 204971 SOS 105542 HAS SOPS 99061 HAS SOUS 72014 HAS SOUPS 66016 WITH SCORE 66121.542
AT ITER 701 NEW BEST:: SOT 204975 SOS 105541 HAS SOPS 99060 HAS SOUS 72013 HAS SOUPS 66015 WITH SCORE 66120.541
AT ITER 702 NEW BEST:: SOT 204820 SOS 105386 HAS SOPS 98719 HAS SOUS 71889 HAS SOUPS 65705 WITH SCORE 65810.386
AT ITER 704 NEW BEST:: SOT 204710 SOS 105214 HAS SOPS 98670 HAS SOUS 71827 HAS SOUPS 65643 WITH SCORE 65748.214
AT ITER 713 NEW BEST:: SOT 204639 SOS 105009 HAS SOPS 98465 HAS SOUS 71756 HAS SOUPS 65572 WITH SCORE 65677.009
AT ITER 715 NEW BEST:: SOT 204141 SOS 104369 HAS SOPS 97825 HAS SOUS 71272 HAS SOUPS 65088 WITH SCORE 65192.369
AT ITER 721 NEW BEST:: SOT 203811 SOS 104039 HAS SOPS 97495 HAS SOUS 71212 HAS SOUPS 65028 WITH SCORE 65132.039
AT ITER 722 NEW BEST:: SOT 203701 SOS 103883 HAS SOPS 97275 HAS SOUS 71185 HAS SOUPS 64937 WITH SCORE 65040.883
AT ITER 725 NEW BEST:: SOT 203683 SOS 103853 HAS SOPS 97245 HAS SOUS 71167 HAS SOUPS 64919 WITH SCORE 65022.853
AT ITER 726 NEW BEST:: SOT 203611 SOS 103757 HAS SOPS 97149 HAS SOUS 71167 HAS SOUPS 64919 WITH SCORE 65022.757
AT ITER 736 NEW BEST:: SOT 203853 SOS 104413 HAS SOPS 97805 HAS SOUS 71166 HAS SOUPS 64918 WITH SCORE 65022.413
AT ITER 739 NEW BEST:: SOT 203781 SOS 104323 HAS SOPS 97715 HAS SOUS 71094 HAS SOUPS 64846 WITH SCORE 64950.323
AT ITER 743 NEW BEST:: SOT 203761 SOS 104303 HAS SOPS 97675 HAS SOUS 71074 HAS SOUPS 64806 WITH SCORE 64910.303
AT ITER 746 NEW BEST:: SOT 203657 SOS 104199 HAS SOPS 97571 HAS SOUS 70970 HAS SOUPS 64702 WITH SCORE 64806.199
AT ITER 757 NEW BEST:: SOT 203659 SOS 104135 HAS SOPS 97473 HAS SOUS 70954 HAS SOUPS 64652 WITH SCORE 64756.135
AT ITER 761 NEW BEST:: SOT 203486 SOS 104249 HAS SOPS 97581 HAS SOUS 70787 HAS SOUPS 64479 WITH SCORE 64583.249
AT ITER 763 NEW BEST:: SOT 203372 SOS 103697 HAS SOPS 97240 HAS SOUS 70454 HAS SOUPS 64357 WITH SCORE 64460.697
AT ITER 764 NEW BEST:: SOT 203400 SOS 103725 HAS SOPS 97219 HAS SOUS 70482 HAS SOUPS 64336 WITH SCORE 64439.725
AT ITER 775 NEW BEST:: SOT 203316 SOS 103687 HAS SOPS 97138 HAS SOUS 70442 HAS SOUPS 64253 WITH SCORE 64356.687
AT ITER 778 NEW BEST:: SOT 203234 SOS 103359 HAS SOPS 96873 HAS SOUS 70297 HAS SOUPS 64171 WITH SCORE 64274.359
AT ITER 785 NEW BEST:: SOT 203186 SOS 103311 HAS SOPS 96874 HAS SOUS 70200 HAS SOUPS 64123 WITH SCORE 64226.311
AT ITER 789 NEW BEST:: SOT 202934 SOS 102959 HAS SOPS 96522 HAS SOUS 69948 HAS SOUPS 63871 WITH SCORE 63973.959
AT ITER 797 NEW BEST:: SOT 202934 SOS 102953 HAS SOPS 96516 HAS SOUS 69948 HAS SOUPS 63871 WITH SCORE 63973.953
AT ITER 799 NEW BEST:: SOT 203267 SOS 103284 HAS SOPS 96800 HAS SOUS 69758 HAS SOUPS 63814 WITH SCORE 63917.284
AT ITER 804 NEW BEST:: SOT 203267 SOS 103278 HAS SOPS 96794 HAS SOUS 69746 HAS SOUPS 63802 WITH SCORE 63905.278
AT ITER 806 NEW BEST:: SOT 203267 SOS 100886 HAS SOPS 94402 HAS SOUS 69618 HAS SOUPS 63674 WITH SCORE 63774.886
AT ITER 813 NEW BEST:: SOT 203341 SOS 100960 HAS SOPS 94476 HAS SOUS 69617 HAS SOUPS 63673 WITH SCORE 63773.96
AT ITER 818 NEW BEST:: SOT 203341 SOS 100960 HAS SOPS 94476 HAS SOUS 69596 HAS SOUPS 63652 WITH SCORE 63752.96
AT ITER 823 NEW BEST:: SOT 203292 SOS 100911 HAS SOPS 94427 HAS SOUS 69547 HAS SOUPS 63603 WITH SCORE 63703.911
AT ITER 827 NEW BEST:: SOT 203216 SOS 100850 HAS SOPS 94366 HAS SOUS 69476 HAS SOUPS 63532 WITH SCORE 63632.85
AT ITER 828 NEW BEST:: SOT 203232 SOS 100774 HAS SOPS 94290 HAS SOUS 69430 HAS SOUPS 63486 WITH SCORE 63586.774
AT ITER 834 NEW BEST:: SOT 203204 SOS 100718 HAS SOPS 94234 HAS SOUS 69402 HAS SOUPS 63458 WITH SCORE 63558.718
AT ITER 837 NEW BEST:: SOT 203087 SOS 100557 HAS SOPS 94073 HAS SOUS 69358 HAS SOUPS 63414 WITH SCORE 63514.557
AT ITER 838 NEW BEST:: SOT 202861 SOS 101005 HAS SOPS 94282 HAS SOUS 69549 HAS SOUPS 63366 WITH SCORE 63467.005
AT ITER 840 NEW BEST:: SOT 202858 SOS 101002 HAS SOPS 94279 HAS SOUS 69547 HAS SOUPS 63364 WITH SCORE 63465.002
AT ITER 847 NEW BEST:: SOT 202832 SOS 100976 HAS SOPS 94227 HAS SOUS 69547 HAS SOUPS 63338 WITH SCORE 63438.976
AT ITER 848 NEW BEST:: SOT 202822 SOS 101012 HAS SOPS 94263 HAS SOUS 69540 HAS SOUPS 63331 WITH SCORE 63432.012
AT ITER 850 NEW BEST:: SOT 202729 SOS 100909 HAS SOPS 94160 HAS SOUS 69407 HAS SOUPS 63198 WITH SCORE 63298.909
AT ITER 859 NEW BEST:: SOT 202583 SOS 100428 HAS SOPS 93825 HAS SOUS 69072 HAS SOUPS 63009 WITH SCORE 63109.428
AT ITER 865 NEW BEST:: SOT 202583 SOS 100403 HAS SOPS 93800 HAS SOUS 69047 HAS SOUPS 62984 WITH SCORE 63084.403
AT ITER 888 NEW BEST:: SOT 202459 SOS 99921 HAS SOPS 93318 HAS SOUS 68861 HAS SOUPS 62798 WITH SCORE 62897.921
AT ITER 891 NEW BEST:: SOT 202452 SOS 99961 HAS SOPS 93324 HAS SOUS 68868 HAS SOUPS 62771 WITH SCORE 62870.961
AT ITER 892 NEW BEST:: SOT 202452 SOS 99952 HAS SOPS 93313 HAS SOUS 68870 HAS SOUPS 62771 WITH SCORE 62870.952
AT ITER 894 NEW BEST:: SOT 202283 SOS 99783 HAS SOPS 93144 HAS SOUS 68750 HAS SOUPS 62651 WITH SCORE 62750.783
AT ITER 900 NEW BEST:: SOT 202333 SOS 99833 HAS SOPS 93194 HAS SOUS 68708 HAS SOUPS 62609 WITH SCORE 62708.833
AT ITER 910 NEW BEST:: SOT 202277 SOS 99786 HAS SOPS 93147 HAS SOUS 68655 HAS SOUPS 62556 WITH SCORE 62655.786
AT ITER 921 NEW BEST:: SOT 205217 SOS 102179 HAS SOPS 95540 HAS SOUS 68626 HAS SOUPS 62527 WITH SCORE 62629.179
AT ITER 923 NEW BEST:: SOT 205189 SOS 102213 HAS SOPS 95525 HAS SOUS 68639 HAS SOUPS 62491 WITH SCORE 62593.213
AT ITER 926 NEW BEST:: SOT 205228 SOS 102268 HAS SOPS 95580 HAS SOUS 68587 HAS SOUPS 62439 WITH SCORE 62541.268
AT ITER 930 NEW BEST:: SOT 205171 SOS 102099 HAS SOPS 95411 HAS SOUS 68423 HAS SOUPS 62275 WITH SCORE 62377.099
AT ITER 932 NEW BEST:: SOT 205167 SOS 102095 HAS SOPS 95407 HAS SOUS 68419 HAS SOUPS 62271 WITH SCORE 62373.095
AT ITER 938 NEW BEST:: SOT 205156 SOS 102084 HAS SOPS 95396 HAS SOUS 68419 HAS SOUPS 62271 WITH SCORE 62373.084
AT ITER 951 NEW BEST:: SOT 205088 SOS 102041 HAS SOPS 95319 HAS SOUS 68410 HAS SOUPS 62228 WITH SCORE 62330.041
AT ITER 961 NEW BEST:: SOT 204978 SOS 101920 HAS SOPS 95198 HAS SOUS 68399 HAS SOUPS 62217 WITH SCORE 62318.92
AT ITER 966 NEW BEST:: SOT 204911 SOS 101880 HAS SOPS 95151 HAS SOUS 68374 HAS SOUPS 62185 WITH SCORE 62286.88
AT ITER 967 NEW BEST:: SOT 204911 SOS 101763 HAS SOPS 95066 HAS SOUS 68340 HAS SOUPS 62151 WITH SCORE 62252.763
AT ITER 971 NEW BEST:: SOT 204899 SOS 101837 HAS SOPS 95140 HAS SOUS 68323 HAS SOUPS 62134 WITH SCORE 62235.837
AT ITER 983 NEW BEST:: SOT 204890 SOS 101819 HAS SOPS 95125 HAS SOUS 68320 HAS SOUPS 62131 WITH SCORE 62232.819
AT ITER 987 NEW BEST:: SOT 204706 SOS 101369 HAS SOPS 94675 HAS SOUS 68054 HAS SOUPS 61865 WITH SCORE 61966.369
AT ITER 991 NEW BEST:: SOT 204584 SOS 101064 HAS SOPS 94370 HAS SOUS 67871 HAS SOUPS 61682 WITH SCORE 61783.064
AT ITER 992 NEW BEST:: SOT 204584 SOS 101062 HAS SOPS 94370 HAS SOUS 67869 HAS SOUPS 61682 WITH SCORE 61783.062
AT ITER 994 NEW BEST:: SOT 204714 SOS 98077 HAS SOPS 91385 HAS SOUS 67724 HAS SOUPS 61537 WITH SCORE 61635.077
AT ITER 995 NEW BEST:: SOT 204664 SOS 97965 HAS SOPS 91273 HAS SOUS 67662 HAS SOUPS 61475 WITH SCORE 61572.965
AT ITER 996 NEW BEST:: SOT 204664 SOS 97789 HAS SOPS 91097 HAS SOUS 67662 HAS SOUPS 61475 WITH SCORE 61572.789
AT ITER 1013 NEW BEST:: SOT 204720 SOS 97769 HAS SOPS 91077 HAS SOUS 67586 HAS SOUPS 61399 WITH SCORE 61496.769
AT ITER 1019 NEW BEST:: SOT 204669 SOS 97705 HAS SOPS 91013 HAS SOUS 67484 HAS SOUPS 61297 WITH SCORE 61394.705
AT ITER 1030 NEW BEST:: SOT 204462 SOS 97533 HAS SOPS 90841 HAS SOUS 67300 HAS SOUPS 61113 WITH SCORE 61210.533
AT ITER 1039 NEW BEST:: SOT 204276 SOS 97486 HAS SOPS 90794 HAS SOUS 67217 HAS SOUPS 61030 WITH SCORE 61127.486
AT ITER 1043 NEW BEST:: SOT 204034 SOS 98884 HAS SOPS 92192 HAS SOUS 67211 HAS SOUPS 61024 WITH SCORE 61122.884
AT ITER 1046 NEW BEST:: SOT 204034 SOS 98899 HAS SOPS 92207 HAS SOUS 67202 HAS SOUPS 61015 WITH SCORE 61113.899
AT ITER 1048 NEW BEST:: SOT 203734 SOS 98539 HAS SOPS 91847 HAS SOUS 66992 HAS SOUPS 60805 WITH SCORE 60903.539
AT ITER 1063 NEW BEST:: SOT 203791 SOS 98527 HAS SOPS 91835 HAS SOUS 66894 HAS SOUPS 60707 WITH SCORE 60805.527
AT ITER 1064 NEW BEST:: SOT 203791 SOS 98484 HAS SOPS 91792 HAS SOUS 66851 HAS SOUPS 60664 WITH SCORE 60762.484
AT ITER 1071 NEW BEST:: SOT 203815 SOS 98385 HAS SOPS 91693 HAS SOUS 66781 HAS SOUPS 60594 WITH SCORE 60692.385
AT ITER 1072 NEW BEST:: SOT 203613 SOS 98471 HAS SOPS 91618 HAS SOUS 66857 HAS SOUPS 60509 WITH SCORE 60607.471
AT ITER 1082 NEW BEST:: SOT 203573 SOS 98399 HAS SOPS 91554 HAS SOUS 66817 HAS SOUPS 60477 WITH SCORE 60575.399
AT ITER 1090 NEW BEST:: SOT 203568 SOS 98245 HAS SOPS 91509 HAS SOUS 66668 HAS SOUPS 60437 WITH SCORE 60535.245
AT ITER 1092 NEW BEST:: SOT 202818 SOS 97405 HAS SOPS 90669 HAS SOUS 66248 HAS SOUPS 60017 WITH SCORE 60114.405
AT ITER 1104 NEW BEST:: SOT 202692 SOS 96884 HAS SOPS 90150 HAS SOUS 65914 HAS SOUPS 59685 WITH SCORE 59781.884
AT ITER 1110 NEW BEST:: SOT 202958 SOS 97167 HAS SOPS 90433 HAS SOUS 65834 HAS SOUPS 59605 WITH SCORE 59702.167
AT ITER 1114 NEW BEST:: SOT 202881 SOS 97123 HAS SOPS 90389 HAS SOUS 65757 HAS SOUPS 59528 WITH SCORE 59625.123
AT ITER 1115 NEW BEST:: SOT 202845 SOS 97122 HAS SOPS 90388 HAS SOUS 65756 HAS SOUPS 59527 WITH SCORE 59624.122
AT ITER 1117 NEW BEST:: SOT 202850 SOS 97010 HAS SOPS 90276 HAS SOUS 65743 HAS SOUPS 59514 WITH SCORE 59611.01
AT ITER 1122 NEW BEST:: SOT 202912 SOS 97072 HAS SOPS 90338 HAS SOUS 65712 HAS SOUPS 59483 WITH SCORE 59580.072
AT ITER 1127 NEW BEST:: SOT 202832 SOS 96992 HAS SOPS 90258 HAS SOUS 65712 HAS SOUPS 59483 WITH SCORE 59579.992
AT ITER 1129 NEW BEST:: SOT 202832 SOS 96648 HAS SOPS 90084 HAS SOUS 65538 HAS SOUPS 59479 WITH SCORE 59575.648
AT ITER 1131 NEW BEST:: SOT 202832 SOS 96681 HAS SOPS 90142 HAS SOUS 65509 HAS SOUPS 59475 WITH SCORE 59571.681
AT ITER 1135 NEW BEST:: SOT 202832 SOS 96657 HAS SOPS 90118 HAS SOUS 65509 HAS SOUPS 59475 WITH SCORE 59571.657
AT ITER 1137 NEW BEST:: SOT 202832 SOS 96537 HAS SOPS 89998 HAS SOUS 65449 HAS SOUPS 59415 WITH SCORE 59511.537
AT ITER 1148 NEW BEST:: SOT 202735 SOS 96440 HAS SOPS 89901 HAS SOUS 65352 HAS SOUPS 59318 WITH SCORE 59414.44
AT ITER 1156 NEW BEST:: SOT 202713 SOS 96385 HAS SOPS 89846 HAS SOUS 65319 HAS SOUPS 59285 WITH SCORE 59381.385
AT ITER 1165 NEW BEST:: SOT 202826 SOS 96498 HAS SOPS 89959 HAS SOUS 65312 HAS SOUPS 59278 WITH SCORE 59374.498
AT ITER 1169 NEW BEST:: SOT 202685 SOS 96587 HAS SOPS 90048 HAS SOUS 65263 HAS SOUPS 59229 WITH SCORE 59325.587
AT ITER 1175 NEW BEST:: SOT 202731 SOS 96633 HAS SOPS 90094 HAS SOUS 65189 HAS SOUPS 59155 WITH SCORE 59251.633
AT ITER 1183 NEW BEST:: SOT 202517 SOS 96465 HAS SOPS 89926 HAS SOUS 65059 HAS SOUPS 59025 WITH SCORE 59121.465
AT ITER 1186 NEW BEST:: SOT 202385 SOS 96333 HAS SOPS 89794 HAS SOUS 64927 HAS SOUPS 58893 WITH SCORE 58989.333
AT ITER 1196 NEW BEST:: SOT 202348 SOS 96296 HAS SOPS 89786 HAS SOUS 64919 HAS SOUPS 58885 WITH SCORE 58981.296
AT ITER 1198 NEW BEST:: SOT 202315 SOS 96241 HAS SOPS 89731 HAS SOUS 64886 HAS SOUPS 58852 WITH SCORE 58948.241
AT ITER 1208 NEW BEST:: SOT 202363 SOS 95761 HAS SOPS 89299 HAS SOUS 64838 HAS SOUPS 58852 WITH SCORE 58947.761
AT ITER 1218 NEW BEST:: SOT 202342 SOS 95719 HAS SOPS 89257 HAS SOUS 64796 HAS SOUPS 58810 WITH SCORE 58905.719
AT ITER 1220 NEW BEST:: SOT 202341 SOS 95718 HAS SOPS 89256 HAS SOUS 64795 HAS SOUPS 58809 WITH SCORE 58904.718
AT ITER 1227 NEW BEST:: SOT 202284 SOS 95661 HAS SOPS 89199 HAS SOUS 64772 HAS SOUPS 58786 WITH SCORE 58881.661
AT ITER 1230 NEW BEST:: SOT 202301 SOS 95630 HAS SOPS 89168 HAS SOUS 64741 HAS SOUPS 58755 WITH SCORE 58850.63
AT ITER 1231 NEW BEST:: SOT 202267 SOS 95664 HAS SOPS 89202 HAS SOUS 64707 HAS SOUPS 58721 WITH SCORE 58816.664
AT ITER 1234 NEW BEST:: SOT 202190 SOS 95416 HAS SOPS 89011 HAS SOUS 64519 HAS SOUPS 58590 WITH SCORE 58685.416
AT ITER 1235 NEW BEST:: SOT 201965 SOS 95143 HAS SOPS 88725 HAS SOUS 64328 HAS SOUPS 58386 WITH SCORE 58481.143
AT ITER 1240 NEW BEST:: SOT 201969 SOS 95213 HAS SOPS 88614 HAS SOUS 64398 HAS SOUPS 58275 WITH SCORE 58370.213
AT ITER 1245 NEW BEST:: SOT 201963 SOS 95207 HAS SOPS 88608 HAS SOUS 64386 HAS SOUPS 58263 WITH SCORE 58358.207
AT ITER 1246 NEW BEST:: SOT 204037 SOS 96156 HAS SOPS 89819 HAS SOUS 64073 HAS SOUPS 58212 WITH SCORE 58308.156
AT ITER 1249 NEW BEST:: SOT 203910 SOS 96090 HAS SOPS 89870 HAS SOUS 63868 HAS SOUPS 58124 WITH SCORE 58220.09
AT ITER 1263 NEW BEST:: SOT 203791 SOS 95881 HAS SOPS 89661 HAS SOUS 63749 HAS SOUPS 58005 WITH SCORE 58100.881
AT ITER 1274 NEW BEST:: SOT 203755 SOS 95845 HAS SOPS 89608 HAS SOUS 63736 HAS SOUPS 57975 WITH SCORE 58070.845
AT ITER 1280 NEW BEST:: SOT 203812 SOS 95817 HAS SOPS 89580 HAS SOUS 63736 HAS SOUPS 57975 WITH SCORE 58070.817
AT ITER 1284 NEW BEST:: SOT 203658 SOS 95429 HAS SOPS 89192 HAS SOUS 63582 HAS SOUPS 57821 WITH SCORE 57916.429
AT ITER 1294 NEW BEST:: SOT 203670 SOS 95440 HAS SOPS 89203 HAS SOUS 63580 HAS SOUPS 57819 WITH SCORE 57914.44
AT ITER 1300 NEW BEST:: SOT 203653 SOS 95423 HAS SOPS 89183 HAS SOUS 63570 HAS SOUPS 57806 WITH SCORE 57901.423
AT ITER 1301 NEW BEST:: SOT 203452 SOS 95470 HAS SOPS 88829 HAS SOUS 63865 HAS SOUPS 57700 WITH SCORE 57795.47
AT ITER 1305 NEW BEST:: SOT 203452 SOS 95459 HAS SOPS 88818 HAS SOUS 63854 HAS SOUPS 57689 WITH SCORE 57784.459
AT ITER 1312 NEW BEST:: SOT 203430 SOS 95437 HAS SOPS 88845 HAS SOUS 63784 HAS SOUPS 57668 WITH SCORE 57763.437
AT ITER 1313 NEW BEST:: SOT 204107 SOS 95829 HAS SOPS 89237 HAS SOUS 63770 HAS SOUPS 57654 WITH SCORE 57749.829
AT ITER 1319 NEW BEST:: SOT 204189 SOS 96011 HAS SOPS 89419 HAS SOUS 63766 HAS SOUPS 57650 WITH SCORE 57746.011
AT ITER 1322 NEW BEST:: SOT 204243 SOS 96065 HAS SOPS 89473 HAS SOUS 63760 HAS SOUPS 57644 WITH SCORE 57740.065
AT ITER 1327 NEW BEST:: SOT 204243 SOS 96063 HAS SOPS 89471 HAS SOUS 63759 HAS SOUPS 57643 WITH SCORE 57739.063
AT ITER 1331 NEW BEST:: SOT 204232 SOS 96032 HAS SOPS 89440 HAS SOUS 63747 HAS SOUPS 57631 WITH SCORE 57727.032
AT ITER 1341 NEW BEST:: SOT 204156 SOS 95956 HAS SOPS 89364 HAS SOUS 63709 HAS SOUPS 57593 WITH SCORE 57688.956
AT ITER 1352 NEW BEST:: SOT 204139 SOS 95939 HAS SOPS 89318 HAS SOUS 63663 HAS SOUPS 57547 WITH SCORE 57642.939
AT ITER 1364 NEW BEST:: SOT 204062 SOS 95709 HAS SOPS 89221 HAS SOUS 63379 HAS SOUPS 57396 WITH SCORE 57491.709
AT ITER 1370 NEW BEST:: SOT 204062 SOS 95677 HAS SOPS 89189 HAS SOUS 63347 HAS SOUPS 57364 WITH SCORE 57459.677
AT ITER 1372 NEW BEST:: SOT 204024 SOS 95403 HAS SOPS 88915 HAS SOUS 63160 HAS SOUPS 57177 WITH SCORE 57272.403
AT ITER 1386 NEW BEST:: SOT 203804 SOS 95486 HAS SOPS 88677 HAS SOUS 63371 HAS SOUPS 57067 WITH SCORE 57162.486
AT ITER 1391 NEW BEST:: SOT 203748 SOS 95347 HAS SOPS 88565 HAS SOUS 63297 HAS SOUPS 57020 WITH SCORE 57115.347
AT ITER 1400 NEW BEST:: SOT 203748 SOS 95292 HAS SOPS 88510 HAS SOUS 63265 HAS SOUPS 56988 WITH SCORE 57083.292
AT ITER 1418 NEW BEST:: SOT 203745 SOS 95286 HAS SOPS 88504 HAS SOUS 63259 HAS SOUPS 56982 WITH SCORE 57077.286
AT ITER 1421 NEW BEST:: SOT 203722 SOS 95263 HAS SOPS 88481 HAS SOUS 63236 HAS SOUPS 56959 WITH SCORE 57054.263
AT ITER 1423 NEW BEST:: SOT 203682 SOS 95400 HAS SOPS 88483 HAS SOUS 63331 HAS SOUPS 56919 WITH SCORE 57014.4
AT ITER 1431 NEW BEST:: SOT 203650 SOS 95350 HAS SOPS 88433 HAS SOUS 63303 HAS SOUPS 56891 WITH SCORE 56986.35
AT ITER 1443 NEW BEST:: SOT 203650 SOS 95269 HAS SOPS 88352 HAS SOUS 63303 HAS SOUPS 56891 WITH SCORE 56986.269
AT ITER 1450 NEW BEST:: SOT 203625 SOS 94886 HAS SOPS 88018 HAS SOUS 63132 HAS SOUPS 56769 WITH SCORE 56863.886
AT ITER 1453 NEW BEST:: SOT 203605 SOS 94532 HAS SOPS 87664 HAS SOUS 63043 HAS SOUPS 56680 WITH SCORE 56774.532
AT ITER 1456 NEW BEST:: SOT 203548 SOS 94361 HAS SOPS 87493 HAS SOUS 62929 HAS SOUPS 56566 WITH SCORE 56660.361
AT ITER 1461 NEW BEST:: SOT 203437 SOS 94250 HAS SOPS 87382 HAS SOUS 62905 HAS SOUPS 56542 WITH SCORE 56636.25
AT ITER 1476 NEW BEST:: SOT 203384 SOS 94244 HAS SOPS 87376 HAS SOUS 62899 HAS SOUPS 56536 WITH SCORE 56630.244
AT ITER 1486 NEW BEST:: SOT 203384 SOS 94229 HAS SOPS 87361 HAS SOUS 62884 HAS SOUPS 56521 WITH SCORE 56615.229
AT ITER 1495 NEW BEST:: SOT 203328 SOS 94173 HAS SOPS 87305 HAS SOUS 62857 HAS SOUPS 56494 WITH SCORE 56588.173
AT ITER 1497 NEW BEST:: SOT 203186 SOS 94316 HAS SOPS 87310 HAS SOUS 62946 HAS SOUPS 56445 WITH SCORE 56539.316
AT ITER 1503 NEW BEST:: SOT 203333 SOS 94273 HAS SOPS 87187 HAS SOUS 62950 HAS SOUPS 56369 WITH SCORE 56463.273
AT ITER 1514 NEW BEST:: SOT 203293 SOS 94213 HAS SOPS 87127 HAS SOUS 62910 HAS SOUPS 56329 WITH SCORE 56423.213
AT ITER 1520 NEW BEST:: SOT 203142 SOS 94533 HAS SOPS 87116 HAS SOUS 63108 HAS SOUPS 56196 WITH SCORE 56290.533
AT ITER 1523 NEW BEST:: SOT 203266 SOS 94821 HAS SOPS 87226 HAS SOUS 63272 HAS SOUPS 56182 WITH SCORE 56276.821
AT ITER 1536 NEW BEST:: SOT 203217 SOS 94658 HAS SOPS 87120 HAS SOUS 63166 HAS SOUPS 56133 WITH SCORE 56227.658
AT ITER 1539 NEW BEST:: SOT 203069 SOS 94510 HAS SOPS 86972 HAS SOUS 63112 HAS SOUPS 56079 WITH SCORE 56173.51
AT ITER 1544 NEW BEST:: SOT 203091 SOS 94526 HAS SOPS 86988 HAS SOUS 63109 HAS SOUPS 56076 WITH SCORE 56170.526
AT ITER 1548 NEW BEST:: SOT 203062 SOS 94550 HAS SOPS 86963 HAS SOUS 63133 HAS SOUPS 56051 WITH SCORE 56145.55
AT ITER 1549 NEW BEST:: SOT 203020 SOS 94518 HAS SOPS 86931 HAS SOUS 63091 HAS SOUPS 56009 WITH SCORE 56103.518
AT ITER 1550 NEW BEST:: SOT 202962 SOS 94332 HAS SOPS 86745 HAS SOUS 62905 HAS SOUPS 55823 WITH SCORE 55917.332
AT ITER 1555 NEW BEST:: SOT 202940 SOS 94310 HAS SOPS 86723 HAS SOUS 62911 HAS SOUPS 55815 WITH SCORE 55909.31
AT ITER 1559 NEW BEST:: SOT 202896 SOS 94266 HAS SOPS 86679 HAS SOUS 62867 HAS SOUPS 55771 WITH SCORE 55865.266
AT ITER 1560 NEW BEST:: SOT 202956 SOS 93726 HAS SOPS 86139 HAS SOUS 62867 HAS SOUPS 55771 WITH SCORE 55864.726
AT ITER 1561 NEW BEST:: SOT 202712 SOS 94305 HAS SOPS 86289 HAS SOUS 62913 HAS SOUPS 55705 WITH SCORE 55799.305
AT ITER 1574 NEW BEST:: SOT 202712 SOS 94305 HAS SOPS 86277 HAS SOUS 62909 HAS SOUPS 55693 WITH SCORE 55787.305
AT ITER 1580 NEW BEST:: SOT 202675 SOS 94166 HAS SOPS 86172 HAS SOUS 62804 HAS SOUPS 55622 WITH SCORE 55716.166
AT ITER 1593 NEW BEST:: SOT 201879 SOS 93294 HAS SOPS 85300 HAS SOUS 62768 HAS SOUPS 55586 WITH SCORE 55679.294
AT ITER 1595 NEW BEST:: SOT 201874 SOS 93284 HAS SOPS 85290 HAS SOUS 62763 HAS SOUPS 55581 WITH SCORE 55674.284
AT ITER 1607 NEW BEST:: SOT 201849 SOS 93259 HAS SOPS 85240 HAS SOUS 62763 HAS SOUPS 55556 WITH SCORE 55649.259
AT ITER 1611 NEW BEST:: SOT 201816 SOS 93226 HAS SOPS 85240 HAS SOUS 62730 HAS SOUPS 55556 WITH SCORE 55649.226
AT ITER 1619 NEW BEST:: SOT 201304 SOS 92647 HAS SOPS 84822 HAS SOUS 62548 HAS SOUPS 55374 WITH SCORE 55466.647
AT ITER 1636 NEW BEST:: SOT 201359 SOS 92604 HAS SOPS 84774 HAS SOUS 62505 HAS SOUPS 55326 WITH SCORE 55418.604
AT ITER 1640 NEW BEST:: SOT 201477 SOS 92839 HAS SOPS 84931 HAS SOUS 62552 HAS SOUPS 55295 WITH SCORE 55387.839
AT ITER 1643 NEW BEST:: SOT 201429 SOS 92791 HAS SOPS 84883 HAS SOUS 62552 HAS SOUPS 55295 WITH SCORE 55387.791
AT ITER 1659 NEW BEST:: SOT 201431 SOS 92640 HAS SOPS 84874 HAS SOUS 62408 HAS SOUPS 55293 WITH SCORE 55385.64
AT ITER 1664 NEW BEST:: SOT 201225 SOS 92316 HAS SOPS 84550 HAS SOUS 62395 HAS SOUPS 55280 WITH SCORE 55372.316
AT ITER 1677 NEW BEST:: SOT 201185 SOS 92276 HAS SOPS 84510 HAS SOUS 62355 HAS SOUPS 55240 WITH SCORE 55332.276
AT ITER 1684 NEW BEST:: SOT 200659 SOS 92228 HAS SOPS 84445 HAS SOUS 62147 HAS SOUPS 55015 WITH SCORE 55107.228
AT ITER 1695 NEW BEST:: SOT 200659 SOS 92186 HAS SOPS 84403 HAS SOUS 62147 HAS SOUPS 55015 WITH SCORE 55107.186
AT ITER 1698 NEW BEST:: SOT 200659 SOS 92150 HAS SOPS 84367 HAS SOUS 62147 HAS SOUPS 55015 WITH SCORE 55107.15
AT ITER 1704 NEW BEST:: SOT 200558 SOS 92190 HAS SOPS 84174 HAS SOUS 62328 HAS SOUPS 54963 WITH SCORE 55055.19
AT ITER 1709 NEW BEST:: SOT 200426 SOS 92868 HAS SOPS 84752 HAS SOUS 62314 HAS SOUPS 54851 WITH SCORE 54943.868
AT ITER 1714 NEW BEST:: SOT 200426 SOS 92868 HAS SOPS 84746 HAS SOUS 62314 HAS SOUPS 54845 WITH SCORE 54937.868
AT ITER 1724 NEW BEST:: SOT 200424 SOS 92863 HAS SOPS 84742 HAS SOUS 62311 HAS SOUPS 54843 WITH SCORE 54935.863
AT ITER 1728 NEW BEST:: SOT 200040 SOS 91949 HAS SOPS 83828 HAS SOUS 61741 HAS SOUPS 54273 WITH SCORE 54364.949
AT ITER 1730 NEW BEST:: SOT 199775 SOS 91645 HAS SOPS 83524 HAS SOUS 61669 HAS SOUPS 54201 WITH SCORE 54292.645
AT ITER 1739 NEW BEST:: SOT 199815 SOS 91745 HAS SOPS 83493 HAS SOUS 61598 HAS SOUPS 54130 WITH SCORE 54221.745
AT ITER 1759 NEW BEST:: SOT 199981 SOS 93984 HAS SOPS 85732 HAS SOUS 61446 HAS SOUPS 53978 WITH SCORE 54071.984
AT ITER 1761 NEW BEST:: SOT 200030 SOS 94029 HAS SOPS 85695 HAS SOUS 61491 HAS SOUPS 53941 WITH SCORE 54035.029
AT ITER 1764 NEW BEST:: SOT 200030 SOS 93996 HAS SOPS 85673 HAS SOUS 61469 HAS SOUPS 53930 WITH SCORE 54023.996
AT ITER 1780 NEW BEST:: SOT 200002 SOS 93882 HAS SOPS 85559 HAS SOUS 61441 HAS SOUPS 53902 WITH SCORE 53995.882
AT ITER 1786 NEW BEST:: SOT 200002 SOS 93882 HAS SOPS 85526 HAS SOUS 61441 HAS SOUPS 53869 WITH SCORE 53962.882
AT ITER 1799 NEW BEST:: SOT 200044 SOS 93842 HAS SOPS 85486 HAS SOUS 61401 HAS SOUPS 53829 WITH SCORE 53922.842
AT ITER 1803 NEW BEST:: SOT 200016 SOS 93368 HAS SOPS 84965 HAS SOUS 61411 HAS SOUPS 53792 WITH SCORE 53885.368
AT ITER 1824 NEW BEST:: SOT 199875 SOS 93227 HAS SOPS 84824 HAS SOUS 61364 HAS SOUPS 53745 WITH SCORE 53838.227
AT ITER 1825 NEW BEST:: SOT 199698 SOS 93280 HAS SOPS 84877 HAS SOUS 61288 HAS SOUPS 53669 WITH SCORE 53762.28
AT ITER 1836 NEW BEST:: SOT 200844 SOS 94551 HAS SOPS 86028 HAS SOUS 61402 HAS SOUPS 53663 WITH SCORE 53757.551
AT ITER 1842 NEW BEST:: SOT 200840 SOS 94547 HAS SOPS 86028 HAS SOUS 61398 HAS SOUPS 53663 WITH SCORE 53757.547
AT ITER 1850 NEW BEST:: SOT 200815 SOS 94522 HAS SOPS 85953 HAS SOUS 61373 HAS SOUPS 53588 WITH SCORE 53682.522
AT ITER 1860 NEW BEST:: SOT 200775 SOS 94442 HAS SOPS 85913 HAS SOUS 61293 HAS SOUPS 53548 WITH SCORE 53642.442
AT ITER 1863 NEW BEST:: SOT 200743 SOS 94410 HAS SOPS 85857 HAS SOUS 61251 HAS SOUPS 53482 WITH SCORE 53576.41
AT ITER 1864 NEW BEST:: SOT 200743 SOS 94275 HAS SOPS 85722 HAS SOUS 61116 HAS SOUPS 53347 WITH SCORE 53441.275
AT ITER 1869 NEW BEST:: SOT 200758 SOS 94017 HAS SOPS 85464 HAS SOUS 60911 HAS SOUPS 53142 WITH SCORE 53236.017
AT ITER 1877 NEW BEST:: SOT 200630 SOS 93795 HAS SOPS 85242 HAS SOUS 60783 HAS SOUPS 53014 WITH SCORE 53107.795
AT ITER 1906 NEW BEST:: SOT 200606 SOS 93776 HAS SOPS 85202 HAS SOUS 60761 HAS SOUPS 52971 WITH SCORE 53064.776
AT ITER 1908 NEW BEST:: SOT 200406 SOS 93536 HAS SOPS 84962 HAS SOUS 60585 HAS SOUPS 52795 WITH SCORE 52888.536
AT ITER 1913 NEW BEST:: SOT 200334 SOS 93464 HAS SOPS 84890 HAS SOUS 60513 HAS SOUPS 52723 WITH SCORE 52816.464
AT ITER 1921 NEW BEST:: SOT 200330 SOS 93456 HAS SOPS 84882 HAS SOUS 60505 HAS SOUPS 52715 WITH SCORE 52808.456
AT ITER 1931 NEW BEST:: SOT 200530 SOS 93436 HAS SOPS 84657 HAS SOUS 60484 HAS SOUPS 52497 WITH SCORE 52590.436
AT ITER 1955 NEW BEST:: SOT 200374 SOS 93229 HAS SOPS 84450 HAS SOUS 60396 HAS SOUPS 52409 WITH SCORE 52502.229
AT ITER 1962 NEW BEST:: SOT 200374 SOS 93187 HAS SOPS 84408 HAS SOUS 60388 HAS SOUPS 52401 WITH SCORE 52494.187
AT ITER 1971 NEW BEST:: SOT 200309 SOS 93186 HAS SOPS 84342 HAS SOUS 60322 HAS SOUPS 52335 WITH SCORE 52428.186
AT ITER 1980 NEW BEST:: SOT 200201 SOS 93078 HAS SOPS 84234 HAS SOUS 60269 HAS SOUPS 52282 WITH SCORE 52375.078
AT ITER 1982 NEW BEST:: SOT 199983 SOS 92638 HAS SOPS 83867 HAS SOUS 60094 HAS SOUPS 52180 WITH SCORE 52272.638
AT ITER 1992 NEW BEST:: SOT 199979 SOS 92627 HAS SOPS 83860 HAS SOUS 60090 HAS SOUPS 52178 WITH SCORE 52270.627
AT ITER 1994 NEW BEST:: SOT 199968 SOS 92616 HAS SOPS 83849 HAS SOUS 60068 HAS SOUPS 52156 WITH SCORE 52248.616
AT ITER 2007 NEW BEST:: SOT 199965 SOS 92607 HAS SOPS 83840 HAS SOUS 60062 HAS SOUPS 52150 WITH SCORE 52242.607
AT ITER 2010 NEW BEST:: SOT 199943 SOS 92585 HAS SOPS 83796 HAS SOUS 60040 HAS SOUPS 52106 WITH SCORE 52198.585
AT ITER 2020 NEW BEST:: SOT 199925 SOS 92434 HAS SOPS 83585 HAS SOUS 60073 HAS SOUPS 52079 WITH SCORE 52171.434
AT ITER 2027 NEW BEST:: SOT 199918 SOS 92427 HAS SOPS 83578 HAS SOUS 60066 HAS SOUPS 52072 WITH SCORE 52164.427
AT ITER 2030 NEW BEST:: SOT 199858 SOS 92241 HAS SOPS 83392 HAS SOUS 60002 HAS SOUPS 52008 WITH SCORE 52100.241
AT ITER 2033 NEW BEST:: SOT 199846 SOS 92217 HAS SOPS 83368 HAS SOUS 59986 HAS SOUPS 51992 WITH SCORE 52084.217
AT ITER 2047 NEW BEST:: SOT 199844 SOS 92211 HAS SOPS 83362 HAS SOUS 59980 HAS SOUPS 51986 WITH SCORE 52078.211
AT ITER 2060 NEW BEST:: SOT 199839 SOS 92206 HAS SOPS 83352 HAS SOUS 59975 HAS SOUPS 51976 WITH SCORE 52068.206
AT ITER 2069 NEW BEST:: SOT 199813 SOS 92324 HAS SOPS 83308 HAS SOUS 60119 HAS SOUPS 51958 WITH SCORE 52050.324
AT ITER 2070 NEW BEST:: SOT 199728 SOS 92239 HAS SOPS 83223 HAS SOUS 60003 HAS SOUPS 51842 WITH SCORE 51934.239
AT ITER 2080 NEW BEST:: SOT 199724 SOS 91755 HAS SOPS 82739 HAS SOUS 59999 HAS SOUPS 51838 WITH SCORE 51929.755
AT ITER 2107 NEW BEST:: SOT 199703 SOS 91727 HAS SOPS 82711 HAS SOUS 59992 HAS SOUPS 51831 WITH SCORE 51922.727
AT ITER 2121 NEW BEST:: SOT 199696 SOS 91725 HAS SOPS 82709 HAS SOUS 59926 HAS SOUPS 51765 WITH SCORE 51856.725
AT ITER 2130 NEW BEST:: SOT 199692 SOS 91717 HAS SOPS 82701 HAS SOUS 59922 HAS SOUPS 51761 WITH SCORE 51852.717
AT ITER 2142 NEW BEST:: SOT 199692 SOS 91699 HAS SOPS 82683 HAS SOUS 59916 HAS SOUPS 51755 WITH SCORE 51846.699
AT ITER 2146 NEW BEST:: SOT 199450 SOS 89515 HAS SOPS 80499 HAS SOUS 59584 HAS SOUPS 51423 WITH SCORE 51512.515
AT ITER 2151 NEW BEST:: SOT 199341 SOS 89363 HAS SOPS 80343 HAS SOUS 59463 HAS SOUPS 51298 WITH SCORE 51387.363
AT ITER 2161 NEW BEST:: SOT 199314 SOS 89354 HAS SOPS 80334 HAS SOUS 59454 HAS SOUPS 51289 WITH SCORE 51378.354
AT ITER 2167 NEW BEST:: SOT 199145 SOS 89385 HAS SOPS 80363 HAS SOUS 59314 HAS SOUPS 51147 WITH SCORE 51236.385
AT ITER 2171 NEW BEST:: SOT 199170 SOS 89408 HAS SOPS 80348 HAS SOUS 59337 HAS SOUPS 51132 WITH SCORE 51221.408
AT ITER 2175 NEW BEST:: SOT 199123 SOS 89361 HAS SOPS 80301 HAS SOUS 59229 HAS SOUPS 51024 WITH SCORE 51113.361
AT ITER 2176 NEW BEST:: SOT 199107 SOS 89337 HAS SOPS 80269 HAS SOUS 59221 HAS SOUPS 51008 WITH SCORE 51097.337
AT ITER 2183 NEW BEST:: SOT 199107 SOS 87879 HAS SOPS 78811 HAS SOUS 59221 HAS SOUPS 51008 WITH SCORE 51095.879
AT ITER 2190 NEW BEST:: SOT 199107 SOS 87986 HAS SOPS 78918 HAS SOUS 59220 HAS SOUPS 51007 WITH SCORE 51094.986
AT ITER 2194 NEW BEST:: SOT 199081 SOS 87960 HAS SOPS 78879 HAS SOUS 59207 HAS SOUPS 50981 WITH SCORE 51068.96
AT ITER 2196 NEW BEST:: SOT 199022 SOS 87859 HAS SOPS 78736 HAS SOUS 59127 HAS SOUPS 50859 WITH SCORE 50946.859
AT ITER 2203 NEW BEST:: SOT 199016 SOS 87844 HAS SOPS 78721 HAS SOUS 59118 HAS SOUPS 50850 WITH SCORE 50937.844
AT ITER 2205 NEW BEST:: SOT 199015 SOS 87843 HAS SOPS 78720 HAS SOUS 59117 HAS SOUPS 50849 WITH SCORE 50936.843
AT ITER 2208 NEW BEST:: SOT 199015 SOS 87837 HAS SOPS 78720 HAS SOUS 59111 HAS SOUPS 50849 WITH SCORE 50936.837
AT ITER 2222 NEW BEST:: SOT 199208 SOS 90097 HAS SOPS 80980 HAS SOUS 58890 HAS SOUPS 50628 WITH SCORE 50718.097
AT ITER 2224 NEW BEST:: SOT 199140 SOS 89992 HAS SOPS 80875 HAS SOUS 58785 HAS SOUPS 50523 WITH SCORE 50612.992
AT ITER 2232 NEW BEST:: SOT 199142 SOS 89846 HAS SOPS 80761 HAS SOUS 58770 HAS SOUPS 50516 WITH SCORE 50605.846
AT ITER 2234 NEW BEST:: SOT 199080 SOS 89722 HAS SOPS 80637 HAS SOUS 58708 HAS SOUPS 50454 WITH SCORE 50543.722
AT ITER 2239 NEW BEST:: SOT 199080 SOS 89762 HAS SOPS 80657 HAS SOUS 58708 HAS SOUPS 50434 WITH SCORE 50523.762
AT ITER 2247 NEW BEST:: SOT 198848 SOS 89514 HAS SOPS 80312 HAS SOUS 58573 HAS SOUPS 50202 WITH SCORE 50291.514
AT ITER 2258 NEW BEST:: SOT 198816 SOS 89482 HAS SOPS 80248 HAS SOUS 58541 HAS SOUPS 50138 WITH SCORE 50227.482
AT ITER 2263 NEW BEST:: SOT 198871 SOS 89449 HAS SOPS 80215 HAS SOUS 58203 HAS SOUPS 49800 WITH SCORE 49889.449
AT ITER 2271 NEW BEST:: SOT 198858 SOS 89436 HAS SOPS 80202 HAS SOUS 58177 HAS SOUPS 49774 WITH SCORE 49863.436
AT ITER 2276 NEW BEST:: SOT 198866 SOS 89220 HAS SOPS 80063 HAS SOUS 58018 HAS SOUPS 49692 WITH SCORE 49781.22
AT ITER 2306 NEW BEST:: SOT 198819 SOS 89143 HAS SOPS 79986 HAS SOUS 57911 HAS SOUPS 49585 WITH SCORE 49674.143
AT ITER 2311 NEW BEST:: SOT 198593 SOS 88917 HAS SOPS 79760 HAS SOUS 57768 HAS SOUPS 49442 WITH SCORE 49530.917
AT ITER 2314 NEW BEST:: SOT 198621 SOS 89033 HAS SOPS 79749 HAS SOUS 57884 HAS SOUPS 49431 WITH SCORE 49520.033
AT ITER 2320 NEW BEST:: SOT 198151 SOS 88563 HAS SOPS 79279 HAS SOUS 57843 HAS SOUPS 49390 WITH SCORE 49478.563
AT ITER 2323 NEW BEST:: SOT 198122 SOS 88534 HAS SOPS 79250 HAS SOUS 57814 HAS SOUPS 49361 WITH SCORE 49449.534
AT ITER 2329 NEW BEST:: SOT 198240 SOS 88395 HAS SOPS 79262 HAS SOUS 57648 HAS SOUPS 49346 WITH SCORE 49434.395
AT ITER 2330 NEW BEST:: SOT 198482 SOS 87306 HAS SOPS 78173 HAS SOUS 57648 HAS SOUPS 49346 WITH SCORE 49433.306
AT ITER 2345 NEW BEST:: SOT 198457 SOS 87281 HAS SOPS 78144 HAS SOUS 57644 HAS SOUPS 49338 WITH SCORE 49425.281
AT ITER 2348 NEW BEST:: SOT 198483 SOS 87218 HAS SOPS 78145 HAS SOUS 57555 HAS SOUPS 49313 WITH SCORE 49400.218
AT ITER 2362 NEW BEST:: SOT 198453 SOS 87188 HAS SOPS 78106 HAS SOUS 57546 HAS SOUPS 49295 WITH SCORE 49382.188
AT ITER 2369 NEW BEST:: SOT 198394 SOS 87041 HAS SOPS 77959 HAS SOUS 57431 HAS SOUPS 49180 WITH SCORE 49267.041
AT ITER 2381 NEW BEST:: SOT 198358 SOS 86777 HAS SOPS 77697 HAS SOUS 57377 HAS SOUPS 49126 WITH SCORE 49212.777
AT ITER 2390 NEW BEST:: SOT 198358 SOS 86590 HAS SOPS 77510 HAS SOUS 57366 HAS SOUPS 49115 WITH SCORE 49201.59
AT ITER 2393 NEW BEST:: SOT 198368 SOS 86540 HAS SOPS 77475 HAS SOUS 57361 HAS SOUPS 49110 WITH SCORE 49196.54
AT ITER 2395 NEW BEST:: SOT 198368 SOS 86525 HAS SOPS 77460 HAS SOUS 57361 HAS SOUPS 49110 WITH SCORE 49196.525
AT ITER 2404 NEW BEST:: SOT 198294 SOS 86303 HAS SOPS 77312 HAS SOUS 57250 HAS SOUPS 49036 WITH SCORE 49122.303
AT ITER 2405 NEW BEST:: SOT 198114 SOS 86068 HAS SOPS 77077 HAS SOUS 57195 HAS SOUPS 48981 WITH SCORE 49067.068
AT ITER 2414 NEW BEST:: SOT 198064 SOS 85949 HAS SOPS 76797 HAS SOUS 57253 HAS SOUPS 48878 WITH SCORE 48963.949
AT ITER 2415 NEW BEST:: SOT 198051 SOS 85887 HAS SOPS 76735 HAS SOUS 57213 HAS SOUPS 48838 WITH SCORE 48923.887
AT ITER 2416 NEW BEST:: SOT 197903 SOS 85751 HAS SOPS 76587 HAS SOUS 57144 HAS SOUPS 48757 WITH SCORE 48842.751
AT ITER 2417 NEW BEST:: SOT 197849 SOS 85643 HAS SOPS 76533 HAS SOUS 57144 HAS SOUPS 48757 WITH SCORE 48842.643
AT ITER 2430 NEW BEST:: SOT 197775 SOS 85569 HAS SOPS 76435 HAS SOUS 57120 HAS SOUPS 48709 WITH SCORE 48794.569
AT ITER 2437 NEW BEST:: SOT 197757 SOS 85507 HAS SOPS 76373 HAS SOUS 57111 HAS SOUPS 48700 WITH SCORE 48785.507
AT ITER 2454 NEW BEST:: SOT 197634 SOS 85514 HAS SOPS 76191 HAS SOUS 57097 HAS SOUPS 48497 WITH SCORE 48582.514
AT ITER 2465 NEW BEST:: SOT 197610 SOS 85490 HAS SOPS 76134 HAS SOUS 57082 HAS SOUPS 48449 WITH SCORE 48534.49
AT ITER 2470 NEW BEST:: SOT 197598 SOS 85478 HAS SOPS 76122 HAS SOUS 57070 HAS SOUPS 48437 WITH SCORE 48522.478
AT ITER 2484 NEW BEST:: SOT 197575 SOS 85386 HAS SOPS 76076 HAS SOUS 57001 HAS SOUPS 48414 WITH SCORE 48499.386
AT ITER 2491 NEW BEST:: SOT 197574 SOS 85344 HAS SOPS 76139 HAS SOUS 56895 HAS SOUPS 48413 WITH SCORE 48498.344
AT ITER 2510 NEW BEST:: SOT 197530 SOS 85357 HAS SOPS 76105 HAS SOUS 56905 HAS SOUPS 48376 WITH SCORE 48461.357
AT ITER 2530 NEW BEST:: SOT 197357 SOS 83115 HAS SOPS 73863 HAS SOUS 56386 HAS SOUPS 47857 WITH SCORE 47940.115
AT ITER 2551 NEW BEST:: SOT 197330 SOS 83061 HAS SOPS 73809 HAS SOUS 56359 HAS SOUPS 47830 WITH SCORE 47913.061
AT ITER 2558 NEW BEST:: SOT 197325 SOS 83044 HAS SOPS 73792 HAS SOUS 56354 HAS SOUPS 47825 WITH SCORE 47908.044
AT ITER 2569 NEW BEST:: SOT 197305 SOS 83024 HAS SOPS 73772 HAS SOUS 56334 HAS SOUPS 47805 WITH SCORE 47888.024
AT ITER 2580 NEW BEST:: SOT 197287 SOS 82797 HAS SOPS 73545 HAS SOUS 56327 HAS SOUPS 47798 WITH SCORE 47880.797
AT ITER 2584 NEW BEST:: SOT 197259 SOS 82769 HAS SOPS 73503 HAS SOUS 56299 HAS SOUPS 47770 WITH SCORE 47852.769
AT ITER 2596 NEW BEST:: SOT 197221 SOS 82760 HAS SOPS 73470 HAS SOUS 56300 HAS SOUPS 47747 WITH SCORE 47829.76
AT ITER 2611 NEW BEST:: SOT 197181 SOS 82710 HAS SOPS 73430 HAS SOUS 56280 HAS SOUPS 47737 WITH SCORE 47819.71
AT ITER 2622 NEW BEST:: SOT 197144 SOS 82673 HAS SOPS 73393 HAS SOUS 56243 HAS SOUPS 47700 WITH SCORE 47782.673
AT ITER 2626 NEW BEST:: SOT 197102 SOS 82631 HAS SOPS 73351 HAS SOUS 56217 HAS SOUPS 47674 WITH SCORE 47756.631
AT ITER 2629 NEW BEST:: SOT 197100 SOS 82715 HAS SOPS 73354 HAS SOUS 56294 HAS SOUPS 47670 WITH SCORE 47752.715
AT ITER 2633 NEW BEST:: SOT 197098 SOS 82713 HAS SOPS 73352 HAS SOUS 56290 HAS SOUPS 47666 WITH SCORE 47748.713
AT ITER 2637 NEW BEST:: SOT 197048 SOS 82663 HAS SOPS 73302 HAS SOUS 56146 HAS SOUPS 47522 WITH SCORE 47604.663
AT ITER 2643 NEW BEST:: SOT 196936 SOS 82542 HAS SOPS 73181 HAS SOUS 56103 HAS SOUPS 47479 WITH SCORE 47561.542
AT ITER 2662 NEW BEST:: SOT 196919 SOS 82508 HAS SOPS 73147 HAS SOUS 56069 HAS SOUPS 47445 WITH SCORE 47527.508
AT ITER 2681 NEW BEST:: SOT 196887 SOS 82555 HAS SOPS 73194 HAS SOUS 56066 HAS SOUPS 47442 WITH SCORE 47524.555
AT ITER 2688 NEW BEST:: SOT 196797 SOS 82475 HAS SOPS 73114 HAS SOUS 55986 HAS SOUPS 47362 WITH SCORE 47444.475
AT ITER 2704 NEW BEST:: SOT 196785 SOS 82445 HAS SOPS 73090 HAS SOUS 55962 HAS SOUPS 47344 WITH SCORE 47426.445
AT ITER 2708 NEW BEST:: SOT 196785 SOS 82400 HAS SOPS 73045 HAS SOUS 55962 HAS SOUPS 47344 WITH SCORE 47426.4
AT ITER 2728 NEW BEST:: SOT 196779 SOS 82394 HAS SOPS 73039 HAS SOUS 55956 HAS SOUPS 47338 WITH SCORE 47420.394
AT ITER 2730 NEW BEST:: SOT 196833 SOS 82565 HAS SOPS 73070 HAS SOUS 55933 HAS SOUPS 47315 WITH SCORE 47397.565
AT ITER 2731 NEW BEST:: SOT 196824 SOS 82556 HAS SOPS 73061 HAS SOUS 55933 HAS SOUPS 47315 WITH SCORE 47397.556
AT ITER 2744 NEW BEST:: SOT 196376 SOS 82104 HAS SOPS 72609 HAS SOUS 55861 HAS SOUPS 47243 WITH SCORE 47325.104
AT ITER 2748 NEW BEST:: SOT 196376 SOS 82047 HAS SOPS 72552 HAS SOUS 55839 HAS SOUPS 47221 WITH SCORE 47303.047
AT ITER 2752 NEW BEST:: SOT 196376 SOS 82044 HAS SOPS 72549 HAS SOUS 55839 HAS SOUPS 47221 WITH SCORE 47303.044
AT ITER 2761 NEW BEST:: SOT 196328 SOS 81950 HAS SOPS 72455 HAS SOUS 55777 HAS SOUPS 47159 WITH SCORE 47240.95
AT ITER 2801 NEW BEST:: SOT 196271 SOS 81891 HAS SOPS 72396 HAS SOUS 55720 HAS SOUPS 47102 WITH SCORE 47183.891
AT ITER 2805 NEW BEST:: SOT 196270 SOS 81890 HAS SOPS 72394 HAS SOUS 55718 HAS SOUPS 47100 WITH SCORE 47181.89
AT ITER 2814 NEW BEST:: SOT 195937 SOS 81557 HAS SOPS 72029 HAS SOUS 55705 HAS SOUPS 47087 WITH SCORE 47168.557
AT ITER 2815 NEW BEST:: SOT 195913 SOS 81514 HAS SOPS 71986 HAS SOUS 55674 HAS SOUPS 47056 WITH SCORE 47137.514
AT ITER 2817 NEW BEST:: SOT 195769 SOS 82121 HAS SOPS 72593 HAS SOUS 55602 HAS SOUPS 46984 WITH SCORE 47066.121
AT ITER 2818 NEW BEST:: SOT 195690 SOS 82039 HAS SOPS 72511 HAS SOUS 55553 HAS SOUPS 46935 WITH SCORE 47017.039
AT ITER 2820 NEW BEST:: SOT 195681 SOS 82020 HAS SOPS 72493 HAS SOUS 55534 HAS SOUPS 46917 WITH SCORE 46999.02
AT ITER 2828 NEW BEST:: SOT 195552 SOS 81797 HAS SOPS 72270 HAS SOUS 55397 HAS SOUPS 46780 WITH SCORE 46861.797
AT ITER 2829 NEW BEST:: SOT 195558 SOS 81795 HAS SOPS 72268 HAS SOUS 55348 HAS SOUPS 46731 WITH SCORE 46812.795
AT ITER 2831 NEW BEST:: SOT 195620 SOS 81811 HAS SOPS 72212 HAS SOUS 55364 HAS SOUPS 46675 WITH SCORE 46756.811
AT ITER 2849 NEW BEST:: SOT 195543 SOS 82182 HAS SOPS 72457 HAS SOUS 55477 HAS SOUPS 46662 WITH SCORE 46744.182
AT ITER 2851 NEW BEST:: SOT 195542 SOS 82181 HAS SOPS 72456 HAS SOUS 55476 HAS SOUPS 46661 WITH SCORE 46743.181
AT ITER 2863 NEW BEST:: SOT 195523 SOS 82162 HAS SOPS 72434 HAS SOUS 55465 HAS SOUPS 46647 WITH SCORE 46729.162
AT ITER 2870 NEW BEST:: SOT 195499 SOS 82147 HAS SOPS 72407 HAS SOUS 55462 HAS SOUPS 46632 WITH SCORE 46714.147
AT ITER 2882 NEW BEST:: SOT 195481 SOS 82117 HAS SOPS 72377 HAS SOUS 55444 HAS SOUPS 46614 WITH SCORE 46696.117
AT ITER 2889 NEW BEST:: SOT 195481 SOS 81452 HAS SOPS 71712 HAS SOUS 55311 HAS SOUPS 46481 WITH SCORE 46562.452
AT ITER 2904 NEW BEST:: SOT 195461 SOS 81398 HAS SOPS 71658 HAS SOUS 55311 HAS SOUPS 46481 WITH SCORE 46562.398
AT ITER 2910 NEW BEST:: SOT 195455 SOS 81368 HAS SOPS 71628 HAS SOUS 55292 HAS SOUPS 46462 WITH SCORE 46543.368
AT ITER 2917 NEW BEST:: SOT 195466 SOS 81334 HAS SOPS 71594 HAS SOUS 55258 HAS SOUPS 46428 WITH SCORE 46509.334
AT ITER 2919 NEW BEST:: SOT 195438 SOS 81264 HAS SOPS 71538 HAS SOUS 55216 HAS SOUPS 46400 WITH SCORE 46481.264
AT ITER 2922 NEW BEST:: SOT 195454 SOS 81254 HAS SOPS 71528 HAS SOUS 55215 HAS SOUPS 46399 WITH SCORE 46480.254
AT ITER 2963 NEW BEST:: SOT 195454 SOS 81235 HAS SOPS 71509 HAS SOUS 55196 HAS SOUPS 46380 WITH SCORE 46461.235
AT ITER 2964 NEW BEST:: SOT 195473 SOS 81221 HAS SOPS 71501 HAS SOUS 55178 HAS SOUPS 46368 WITH SCORE 46449.221
AT ITER 2993 NEW BEST:: SOT 195448 SOS 81196 HAS SOPS 71476 HAS SOUS 55153 HAS SOUPS 46343 WITH SCORE 46424.196
AT ITER 2997 NEW BEST:: SOT 195440 SOS 81189 HAS SOPS 71469 HAS SOUS 55152 HAS SOUPS 46342 WITH SCORE 46423.189
AT ITER 3021 NEW BEST:: SOT 195388 SOS 81137 HAS SOPS 71417 HAS SOUS 55147 HAS SOUPS 46337 WITH SCORE 46418.137
AT ITER 3032 NEW BEST:: SOT 195665 SOS 81377 HAS SOPS 71657 HAS SOUS 55121 HAS SOUPS 46311 WITH SCORE 46392.377
AT ITER 3036 NEW BEST:: SOT 195618 SOS 81163 HAS SOPS 71552 HAS SOUS 54907 HAS SOUPS 46206 WITH SCORE 46287.163
AT ITER 3040 NEW BEST:: SOT 195582 SOS 81127 HAS SOPS 71516 HAS SOUS 54907 HAS SOUPS 46206 WITH SCORE 46287.127
AT ITER 3061 NEW BEST:: SOT 195543 SOS 81048 HAS SOPS 71437 HAS SOUS 54878 HAS SOUPS 46177 WITH SCORE 46258.048
AT ITER 3064 NEW BEST:: SOT 198775 SOS 83630 HAS SOPS 74019 HAS SOUS 54779 HAS SOUPS 46078 WITH SCORE 46161.63
AT ITER 3072 NEW BEST:: SOT 198703 SOS 83541 HAS SOPS 73930 HAS SOUS 54743 HAS SOUPS 46042 WITH SCORE 46125.541
AT ITER 3083 NEW BEST:: SOT 198788 SOS 83623 HAS SOPS 74012 HAS SOUS 54727 HAS SOUPS 46026 WITH SCORE 46109.623
AT ITER 3088 NEW BEST:: SOT 198788 SOS 83542 HAS SOPS 73768 HAS SOUS 54554 HAS SOUPS 45853 WITH SCORE 45936.542
AT ITER 3095 NEW BEST:: SOT 198772 SOS 83368 HAS SOPS 73594 HAS SOUS 54554 HAS SOUPS 45853 WITH SCORE 45936.368
AT ITER 3101 NEW BEST:: SOT 198691 SOS 83287 HAS SOPS 73513 HAS SOUS 54554 HAS SOUPS 45853 WITH SCORE 45936.287
AT ITER 3115 NEW BEST:: SOT 198592 SOS 83134 HAS SOPS 73360 HAS SOUS 54464 HAS SOUPS 45763 WITH SCORE 45846.134
AT ITER 3122 NEW BEST:: SOT 198586 SOS 83089 HAS SOPS 73315 HAS SOUS 54455 HAS SOUPS 45754 WITH SCORE 45837.089
AT ITER 3123 NEW BEST:: SOT 198578 SOS 83081 HAS SOPS 73307 HAS SOUS 54455 HAS SOUPS 45754 WITH SCORE 45837.081
AT ITER 3132 NEW BEST:: SOT 198579 SOS 83004 HAS SOPS 73230 HAS SOUS 54415 HAS SOUPS 45714 WITH SCORE 45797.004
AT ITER 3141 NEW BEST:: SOT 198568 SOS 83061 HAS SOPS 73287 HAS SOUS 54403 HAS SOUPS 45702 WITH SCORE 45785.061
AT ITER 3161 NEW BEST:: SOT 198585 SOS 83078 HAS SOPS 73272 HAS SOUS 54420 HAS SOUPS 45687 WITH SCORE 45770.078
AT ITER 3165 NEW BEST:: SOT 198492 SOS 82985 HAS SOPS 73179 HAS SOUS 54393 HAS SOUPS 45660 WITH SCORE 45742.985
AT ITER 3174 NEW BEST:: SOT 198466 SOS 82959 HAS SOPS 73153 HAS SOUS 54380 HAS SOUPS 45647 WITH SCORE 45729.959
AT ITER 3178 NEW BEST:: SOT 198425 SOS 82918 HAS SOPS 73112 HAS SOUS 54339 HAS SOUPS 45606 WITH SCORE 45688.918
AT ITER 3186 NEW BEST:: SOT 198413 SOS 82907 HAS SOPS 73101 HAS SOUS 54323 HAS SOUPS 45590 WITH SCORE 45672.907
AT ITER 3206 NEW BEST:: SOT 198413 SOS 82729 HAS SOPS 72923 HAS SOUS 54319 HAS SOUPS 45586 WITH SCORE 45668.729
AT ITER 3207 NEW BEST:: SOT 198288 SOS 82058 HAS SOPS 72252 HAS SOUS 54160 HAS SOUPS 45427 WITH SCORE 45509.058
AT ITER 3215 NEW BEST:: SOT 198276 SOS 81955 HAS SOPS 72206 HAS SOUS 54068 HAS SOUPS 45392 WITH SCORE 45473.955
AT ITER 3218 NEW BEST:: SOT 198256 SOS 81941 HAS SOPS 72166 HAS SOUS 54064 HAS SOUPS 45362 WITH SCORE 45443.941
AT ITER 3220 NEW BEST:: SOT 198115 SOS 81689 HAS SOPS 71914 HAS SOUS 53812 HAS SOUPS 45110 WITH SCORE 45191.689
AT ITER 3230 NEW BEST:: SOT 198037 SOS 81495 HAS SOPS 71722 HAS SOUS 53763 HAS SOUPS 45063 WITH SCORE 45144.495
AT ITER 3258 NEW BEST:: SOT 197982 SOS 81304 HAS SOPS 71531 HAS SOUS 53721 HAS SOUPS 45021 WITH SCORE 45102.304
AT ITER 3260 NEW BEST:: SOT 197812 SOS 81052 HAS SOPS 71365 HAS SOUS 53636 HAS SOUPS 44936 WITH SCORE 45017.052
AT ITER 3262 NEW BEST:: SOT 197812 SOS 80974 HAS SOPS 71287 HAS SOUS 53558 HAS SOUPS 44858 WITH SCORE 44938.974
AT ITER 3284 NEW BEST:: SOT 197811 SOS 80883 HAS SOPS 71196 HAS SOUS 53484 HAS SOUPS 44784 WITH SCORE 44864.883
AT ITER 3286 NEW BEST:: SOT 197811 SOS 80965 HAS SOPS 71237 HAS SOUS 53443 HAS SOUPS 44743 WITH SCORE 44823.965
AT ITER 3304 NEW BEST:: SOT 197849 SOS 80917 HAS SOPS 71189 HAS SOUS 53442 HAS SOUPS 44742 WITH SCORE 44822.917
AT ITER 3308 NEW BEST:: SOT 197806 SOS 80874 HAS SOPS 71189 HAS SOUS 53399 HAS SOUPS 44742 WITH SCORE 44822.874
AT ITER 3311 NEW BEST:: SOT 197779 SOS 80384 HAS SOPS 71024 HAS SOUS 53144 HAS SOUPS 44672 WITH SCORE 44752.384
AT ITER 3314 NEW BEST:: SOT 197725 SOS 80365 HAS SOPS 70970 HAS SOUS 53160 HAS SOUPS 44653 WITH SCORE 44733.365
AT ITER 3320 NEW BEST:: SOT 197703 SOS 80317 HAS SOPS 70922 HAS SOUS 53156 HAS SOUPS 44649 WITH SCORE 44729.317
AT ITER 3329 NEW BEST:: SOT 197697 SOS 80237 HAS SOPS 70873 HAS SOUS 53113 HAS SOUPS 44637 WITH SCORE 44717.237
AT ITER 3332 NEW BEST:: SOT 197638 SOS 80119 HAS SOPS 70755 HAS SOUS 53106 HAS SOUPS 44630 WITH SCORE 44710.119
AT ITER 3336 NEW BEST:: SOT 197622 SOS 80078 HAS SOPS 70730 HAS SOUS 53096 HAS SOUPS 44628 WITH SCORE 44708.078
AT ITER 3345 NEW BEST:: SOT 197688 SOS 80243 HAS SOPS 70763 HAS SOUS 53063 HAS SOUPS 44595 WITH SCORE 44675.243
AT ITER 3355 NEW BEST:: SOT 197676 SOS 80231 HAS SOPS 70751 HAS SOUS 53051 HAS SOUPS 44583 WITH SCORE 44663.231
AT ITER 3360 NEW BEST:: SOT 197587 SOS 80160 HAS SOPS 70680 HAS SOUS 52972 HAS SOUPS 44504 WITH SCORE 44584.16
AT ITER 3373 NEW BEST:: SOT 197720 SOS 80372 HAS SOPS 70786 HAS SOUS 53056 HAS SOUPS 44482 WITH SCORE 44562.372
AT ITER 3380 NEW BEST:: SOT 197648 SOS 80390 HAS SOPS 70804 HAS SOUS 53000 HAS SOUPS 44426 WITH SCORE 44506.39
AT ITER 3448 NEW BEST:: SOT 197597 SOS 80125 HAS SOPS 70539 HAS SOUS 52895 HAS SOUPS 44321 WITH SCORE 44401.125
AT ITER 3467 NEW BEST:: SOT 197556 SOS 80141 HAS SOPS 70501 HAS SOUS 52912 HAS SOUPS 44284 WITH SCORE 44364.141
AT ITER 3482 NEW BEST:: SOT 197556 SOS 77588 HAS SOPS 67948 HAS SOUS 52911 HAS SOUPS 44283 WITH SCORE 44360.588
AT ITER 3488 NEW BEST:: SOT 197449 SOS 77525 HAS SOPS 67899 HAS SOUS 52881 HAS SOUPS 44253 WITH SCORE 44330.525
AT ITER 3489 NEW BEST:: SOT 197509 SOS 77285 HAS SOPS 67659 HAS SOUS 52868 HAS SOUPS 44240 WITH SCORE 44317.285
AT ITER 3511 NEW BEST:: SOT 197479 SOS 77225 HAS SOPS 67599 HAS SOUS 52838 HAS SOUPS 44210 WITH SCORE 44287.225
AT ITER 3515 NEW BEST:: SOT 197457 SOS 77203 HAS SOPS 67577 HAS SOUS 52860 HAS SOUPS 44210 WITH SCORE 44287.203
AT ITER 3524 NEW BEST:: SOT 197433 SOS 77133 HAS SOPS 67559 HAS SOUS 52793 HAS SOUPS 44195 WITH SCORE 44272.133
AT ITER 3527 NEW BEST:: SOT 197425 SOS 77096 HAS SOPS 67522 HAS SOUS 52756 HAS SOUPS 44158 WITH SCORE 44235.096
AT ITER 3530 NEW BEST:: SOT 197420 SOS 77126 HAS SOPS 67546 HAS SOUS 52752 HAS SOUPS 44148 WITH SCORE 44225.126
AT ITER 3534 NEW BEST:: SOT 197420 SOS 77126 HAS SOPS 67546 HAS SOUS 52747 HAS SOUPS 44143 WITH SCORE 44220.126
AT ITER 3561 NEW BEST:: SOT 197419 SOS 77125 HAS SOPS 67459 HAS SOUS 52813 HAS SOUPS 44123 WITH SCORE 44200.125
AT ITER 3584 NEW BEST:: SOT 197360 SOS 76968 HAS SOPS 67302 HAS SOUS 52656 HAS SOUPS 43966 WITH SCORE 44042.968
AT ITER 3621 NEW BEST:: SOT 197357 SOS 76965 HAS SOPS 67299 HAS SOUS 52650 HAS SOUPS 43960 WITH SCORE 44036.965
AT ITER 3622 NEW BEST:: SOT 197305 SOS 76944 HAS SOPS 67284 HAS SOUS 52631 HAS SOUPS 43945 WITH SCORE 44021.944
AT ITER 3637 NEW BEST:: SOT 197255 SOS 76890 HAS SOPS 67234 HAS SOUS 52623 HAS SOUPS 43941 WITH SCORE 44017.89
AT ITER 3652 NEW BEST:: SOT 197211 SOS 76702 HAS SOPS 67046 HAS SOUS 52535 HAS SOUPS 43853 WITH SCORE 43929.702
AT ITER 3671 NEW BEST:: SOT 197199 SOS 76661 HAS SOPS 67005 HAS SOUS 52506 HAS SOUPS 43824 WITH SCORE 43900.661
AT ITER 3675 NEW BEST:: SOT 197177 SOS 76601 HAS SOPS 66945 HAS SOUS 52459 HAS SOUPS 43777 WITH SCORE 43853.601
AT ITER 3678 NEW BEST:: SOT 197127 SOS 76476 HAS SOPS 66820 HAS SOUS 52384 HAS SOUPS 43702 WITH SCORE 43778.476
AT ITER 3681 NEW BEST:: SOT 197060 SOS 76409 HAS SOPS 66753 HAS SOUS 52384 HAS SOUPS 43702 WITH SCORE 43778.409
AT ITER 3707 NEW BEST:: SOT 196856 SOS 76035 HAS SOPS 66379 HAS SOUS 52155 HAS SOUPS 43473 WITH SCORE 43549.035
AT ITER 3724 NEW BEST:: SOT 196826 SOS 75974 HAS SOPS 66319 HAS SOUS 52099 HAS SOUPS 43413 WITH SCORE 43488.974
AT ITER 3735 NEW BEST:: SOT 196832 SOS 75971 HAS SOPS 66328 HAS SOUS 52076 HAS SOUPS 43402 WITH SCORE 43477.971
AT ITER 3756 NEW BEST:: SOT 196908 SOS 75864 HAS SOPS 66221 HAS SOUS 52007 HAS SOUPS 43333 WITH SCORE 43408.864
AT ITER 3768 NEW BEST:: SOT 196815 SOS 75783 HAS SOPS 66140 HAS SOUS 51963 HAS SOUPS 43289 WITH SCORE 43364.783
AT ITER 3772 NEW BEST:: SOT 196836 SOS 75804 HAS SOPS 66161 HAS SOUS 51953 HAS SOUPS 43279 WITH SCORE 43354.804
AT ITER 3786 NEW BEST:: SOT 197078 SOS 76080 HAS SOPS 66444 HAS SOUS 51945 HAS SOUPS 43278 WITH SCORE 43354.08
AT ITER 3792 NEW BEST:: SOT 197074 SOS 76052 HAS SOPS 66416 HAS SOUS 51941 HAS SOUPS 43274 WITH SCORE 43350.052
AT ITER 3801 NEW BEST:: SOT 197074 SOS 76052 HAS SOPS 66416 HAS SOUS 51937 HAS SOUPS 43270 WITH SCORE 43346.052
AT ITER 3802 NEW BEST:: SOT 197062 SOS 76040 HAS SOPS 66392 HAS SOUS 51925 HAS SOUPS 43246 WITH SCORE 43322.04
AT ITER 3820 NEW BEST:: SOT 197064 SOS 76031 HAS SOPS 66383 HAS SOUS 51914 HAS SOUPS 43235 WITH SCORE 43311.031
AT ITER 3868 NEW BEST:: SOT 197076 SOS 75986 HAS SOPS 66338 HAS SOUS 51869 HAS SOUPS 43190 WITH SCORE 43265.986
AT ITER 3885 NEW BEST:: SOT 197037 SOS 75947 HAS SOPS 66265 HAS SOUS 51836 HAS SOUPS 43123 WITH SCORE 43198.947
AT ITER 3913 NEW BEST:: SOT 196986 SOS 75999 HAS SOPS 66258 HAS SOUS 51862 HAS SOUPS 43090 WITH SCORE 43165.999
AT ITER 3917 NEW BEST:: SOT 196962 SOS 75915 HAS SOPS 66174 HAS SOUS 51826 HAS SOUPS 43054 WITH SCORE 43129.915
AT ITER 3918 NEW BEST:: SOT 196872 SOS 75825 HAS SOPS 66084 HAS SOUS 51826 HAS SOUPS 43054 WITH SCORE 43129.825
AT ITER 3920 NEW BEST:: SOT 196858 SOS 75697 HAS SOPS 65956 HAS SOUS 51769 HAS SOUPS 42997 WITH SCORE 43072.697
AT ITER 3929 NEW BEST:: SOT 196798 SOS 75557 HAS SOPS 65836 HAS SOUS 51669 HAS SOUPS 42917 WITH SCORE 42992.557
AT ITER 3937 NEW BEST:: SOT 196819 SOS 75543 HAS SOPS 65822 HAS SOUS 51655 HAS SOUPS 42903 WITH SCORE 42978.543
AT ITER 3943 NEW BEST:: SOT 196968 SOS 75698 HAS SOPS 65977 HAS SOUS 51606 HAS SOUPS 42854 WITH SCORE 42929.698
AT ITER 3947 NEW BEST:: SOT 196960 SOS 75650 HAS SOPS 65929 HAS SOUS 51590 HAS SOUPS 42838 WITH SCORE 42913.65
AT ITER 3948 NEW BEST:: SOT 196721 SOS 75328 HAS SOPS 65600 HAS SOUS 51533 HAS SOUPS 42774 WITH SCORE 42849.328
AT ITER 3955 NEW BEST:: SOT 196717 SOS 75324 HAS SOPS 65596 HAS SOUS 51533 HAS SOUPS 42774 WITH SCORE 42849.324
AT ITER 3985 NEW BEST:: SOT 196222 SOS 73908 HAS SOPS 64180 HAS SOUS 51443 HAS SOUPS 42684 WITH SCORE 42757.908
AT ITER 3987 NEW BEST:: SOT 196149 SOS 73877 HAS SOPS 63926 HAS SOUS 51463 HAS SOUPS 42481 WITH SCORE 42554.877
AT ITER 3989 NEW BEST:: SOT 196176 SOS 73733 HAS SOPS 63868 HAS SOUS 51347 HAS SOUPS 42451 WITH SCORE 42524.733
AT ITER 3993 NEW BEST:: SOT 196141 SOS 73688 HAS SOPS 63823 HAS SOUS 51312 HAS SOUPS 42416 WITH SCORE 42489.688
AT ITER 3996 NEW BEST:: SOT 196133 SOS 73699 HAS SOPS 63842 HAS SOUS 51300 HAS SOUPS 42410 WITH SCORE 42483.699
AT ITER 4008 NEW BEST:: SOT 196257 SOS 73915 HAS SOPS 63943 HAS SOUS 51237 HAS SOUPS 42338 WITH SCORE 42411.915
AT ITER 4020 NEW BEST:: SOT 196257 SOS 73914 HAS SOPS 63942 HAS SOUS 51235 HAS SOUPS 42336 WITH SCORE 42409.914
AT ITER 4022 NEW BEST:: SOT 196245 SOS 73910 HAS SOPS 63924 HAS SOUS 51231 HAS SOUPS 42318 WITH SCORE 42391.91
AT ITER 4023 NEW BEST:: SOT 196239 SOS 73904 HAS SOPS 63918 HAS SOUS 51225 HAS SOUPS 42312 WITH SCORE 42385.904
AT ITER 4029 NEW BEST:: SOT 196235 SOS 73900 HAS SOPS 63918 HAS SOUS 51221 HAS SOUPS 42312 WITH SCORE 42385.9
AT ITER 4039 NEW BEST:: SOT 196214 SOS 73943 HAS SOPS 63836 HAS SOUS 51264 HAS SOUPS 42230 WITH SCORE 42303.943
AT ITER 4059 NEW BEST:: SOT 196352 SOS 73641 HAS SOPS 63534 HAS SOUS 51226 HAS SOUPS 42192 WITH SCORE 42265.641
AT ITER 4094 NEW BEST:: SOT 196375 SOS 73766 HAS SOPS 63646 HAS SOUS 51234 HAS SOUPS 42187 WITH SCORE 42260.766
AT ITER 4107 NEW BEST:: SOT 196331 SOS 73704 HAS SOPS 63584 HAS SOUS 51184 HAS SOUPS 42137 WITH SCORE 42210.704
AT ITER 4111 NEW BEST:: SOT 196347 SOS 73735 HAS SOPS 63599 HAS SOUS 51198 HAS SOUPS 42135 WITH SCORE 42208.735
AT ITER 4114 NEW BEST:: SOT 196281 SOS 73491 HAS SOPS 63427 HAS SOUS 51026 HAS SOUPS 42032 WITH SCORE 42105.491
AT ITER 4116 NEW BEST:: SOT 196273 SOS 73435 HAS SOPS 63411 HAS SOUS 50970 HAS SOUPS 42016 WITH SCORE 42089.435
AT ITER 4133 NEW BEST:: SOT 196234 SOS 73336 HAS SOPS 63312 HAS SOUS 50922 HAS SOUPS 41968 WITH SCORE 42041.336
AT ITER 4147 NEW BEST:: SOT 196228 SOS 73328 HAS SOPS 63304 HAS SOUS 50918 HAS SOUPS 41964 WITH SCORE 42037.328
AT ITER 4183 NEW BEST:: SOT 196207 SOS 72853 HAS SOPS 63045 HAS SOUS 50659 HAS SOUPS 41921 WITH SCORE 41993.853
AT ITER 4202 NEW BEST:: SOT 196186 SOS 72825 HAS SOPS 63017 HAS SOUS 50645 HAS SOUPS 41907 WITH SCORE 41979.825
AT ITER 4223 NEW BEST:: SOT 196110 SOS 72718 HAS SOPS 62827 HAS SOUS 50614 HAS SOUPS 41793 WITH SCORE 41865.718
AT ITER 4228 NEW BEST:: SOT 196110 SOS 72715 HAS SOPS 62824 HAS SOUS 50614 HAS SOUPS 41793 WITH SCORE 41865.715
AT ITER 4232 NEW BEST:: SOT 196222 SOS 72803 HAS SOPS 62864 HAS SOUS 50638 HAS SOUPS 41769 WITH SCORE 41841.803
AT ITER 4251 NEW BEST:: SOT 196204 SOS 72789 HAS SOPS 62850 HAS SOUS 50632 HAS SOUPS 41763 WITH SCORE 41835.789
AT ITER 4266 NEW BEST:: SOT 196212 SOS 72657 HAS SOPS 62752 HAS SOUS 50551 HAS SOUPS 41691 WITH SCORE 41763.657
AT ITER 4271 NEW BEST:: SOT 196206 SOS 72648 HAS SOPS 62743 HAS SOUS 50545 HAS SOUPS 41685 WITH SCORE 41757.648
AT ITER 4284 NEW BEST:: SOT 196201 SOS 72662 HAS SOPS 62733 HAS SOUS 50559 HAS SOUPS 41675 WITH SCORE 41747.662
AT ITER 4286 NEW BEST:: SOT 196197 SOS 72656 HAS SOPS 62727 HAS SOUS 50555 HAS SOUPS 41671 WITH SCORE 41743.656
AT ITER 4343 NEW BEST:: SOT 196070 SOS 72596 HAS SOPS 62600 HAS SOUS 50526 HAS SOUPS 41595 WITH SCORE 41667.596
AT ITER 4358 NEW BEST:: SOT 195980 SOS 72452 HAS SOPS 62492 HAS SOUS 50436 HAS SOUPS 41541 WITH SCORE 41613.452
AT ITER 4361 NEW BEST:: SOT 195980 SOS 72452 HAS SOPS 62492 HAS SOUS 50429 HAS SOUPS 41534 WITH SCORE 41606.452
AT ITER 4367 NEW BEST:: SOT 196065 SOS 72377 HAS SOPS 62417 HAS SOUS 50425 HAS SOUPS 41530 WITH SCORE 41602.377
AT ITER 4371 NEW BEST:: SOT 196029 SOS 72339 HAS SOPS 62379 HAS SOUS 50423 HAS SOUPS 41528 WITH SCORE 41600.339
AT ITER 4383 NEW BEST:: SOT 195809 SOS 71877 HAS SOPS 61917 HAS SOUS 50383 HAS SOUPS 41488 WITH SCORE 41559.877
AT ITER 4395 NEW BEST:: SOT 195800 SOS 71868 HAS SOPS 61908 HAS SOUS 50365 HAS SOUPS 41470 WITH SCORE 41541.868
AT ITER 4399 NEW BEST:: SOT 195788 SOS 71856 HAS SOPS 61896 HAS SOUS 50353 HAS SOUPS 41458 WITH SCORE 41529.856
AT ITER 4434 NEW BEST:: SOT 195735 SOS 71803 HAS SOPS 61847 HAS SOUS 50342 HAS SOUPS 41447 WITH SCORE 41518.803
AT ITER 4441 NEW BEST:: SOT 195692 SOS 71697 HAS SOPS 61741 HAS SOUS 50236 HAS SOUPS 41341 WITH SCORE 41412.697
AT ITER 4450 NEW BEST:: SOT 195659 SOS 71664 HAS SOPS 61708 HAS SOUS 50170 HAS SOUPS 41275 WITH SCORE 41346.664
AT ITER 4456 NEW BEST:: SOT 195620 SOS 71657 HAS SOPS 61701 HAS SOUS 50159 HAS SOUPS 41264 WITH SCORE 41335.657
AT ITER 4457 NEW BEST:: SOT 194287 SOS 70263 HAS SOPS 60267 HAS SOUS 50105 HAS SOUPS 41170 WITH SCORE 41240.263
AT ITER 4482 NEW BEST:: SOT 194303 SOS 70259 HAS SOPS 60263 HAS SOUS 50093 HAS SOUPS 41158 WITH SCORE 41228.259
AT ITER 4493 NEW BEST:: SOT 194291 SOS 70222 HAS SOPS 60245 HAS SOUS 50068 HAS SOUPS 41152 WITH SCORE 41222.222
AT ITER 4497 NEW BEST:: SOT 194319 SOS 70246 HAS SOPS 60269 HAS SOUS 50054 HAS SOUPS 41138 WITH SCORE 41208.246
AT ITER 4505 NEW BEST:: SOT 194310 SOS 70209 HAS SOPS 60280 HAS SOUS 49961 HAS SOUPS 41120 WITH SCORE 41190.209
AT ITER 4511 NEW BEST:: SOT 194310 SOS 70169 HAS SOPS 60240 HAS SOUS 49921 HAS SOUPS 41080 WITH SCORE 41150.169
AT ITER 4514 NEW BEST:: SOT 194310 SOS 70155 HAS SOPS 60226 HAS SOUS 49921 HAS SOUPS 41080 WITH SCORE 41150.155
AT ITER 4522 NEW BEST:: SOT 194345 SOS 70190 HAS SOPS 60233 HAS SOUS 49928 HAS SOUPS 41059 WITH SCORE 41129.19
AT ITER 4528 NEW BEST:: SOT 194261 SOS 70079 HAS SOPS 60122 HAS SOUS 49821 HAS SOUPS 40952 WITH SCORE 41022.079
AT ITER 4536 NEW BEST:: SOT 194261 SOS 69848 HAS SOPS 59891 HAS SOUS 49779 HAS SOUPS 40910 WITH SCORE 40979.848
AT ITER 4544 NEW BEST:: SOT 194222 SOS 69790 HAS SOPS 59826 HAS SOUS 49747 HAS SOUPS 40871 WITH SCORE 40940.79
AT ITER 4557 NEW BEST:: SOT 194133 SOS 69523 HAS SOPS 59648 HAS SOUS 49569 HAS SOUPS 40782 WITH SCORE 40851.523
AT ITER 4564 NEW BEST:: SOT 193981 SOS 69371 HAS SOPS 59496 HAS SOUS 49499 HAS SOUPS 40712 WITH SCORE 40781.371
AT ITER 4567 NEW BEST:: SOT 193933 SOS 69252 HAS SOPS 59377 HAS SOUS 49428 HAS SOUPS 40641 WITH SCORE 40710.252
AT ITER 4577 NEW BEST:: SOT 193917 SOS 69244 HAS SOPS 59361 HAS SOUS 49420 HAS SOUPS 40625 WITH SCORE 40694.244
AT ITER 4602 NEW BEST:: SOT 193915 SOS 69294 HAS SOPS 59363 HAS SOUS 49450 HAS SOUPS 40623 WITH SCORE 40692.294
AT ITER 4618 NEW BEST:: SOT 193993 SOS 69261 HAS SOPS 59433 HAS SOUS 49322 HAS SOUPS 40598 WITH SCORE 40667.261
AT ITER 4632 NEW BEST:: SOT 193959 SOS 69194 HAS SOPS 59366 HAS SOUS 49305 HAS SOUPS 40581 WITH SCORE 40650.194
AT ITER 4669 NEW BEST:: SOT 193903 SOS 69138 HAS SOPS 59387 HAS SOUS 49277 HAS SOUPS 40553 WITH SCORE 40622.138
AT ITER 4673 NEW BEST:: SOT 193918 SOS 69153 HAS SOPS 59402 HAS SOUS 49218 HAS SOUPS 40494 WITH SCORE 40563.153
AT ITER 4675 NEW BEST:: SOT 193914 SOS 69145 HAS SOPS 59394 HAS SOUS 49214 HAS SOUPS 40490 WITH SCORE 40559.145
AT ITER 4683 NEW BEST:: SOT 193914 SOS 69143 HAS SOPS 59392 HAS SOUS 49212 HAS SOUPS 40488 WITH SCORE 40557.143
AT ITER 4696 NEW BEST:: SOT 193879 SOS 69059 HAS SOPS 59308 HAS SOUS 49122 HAS SOUPS 40398 WITH SCORE 40467.059
AT ITER 4698 NEW BEST:: SOT 193952 SOS 68816 HAS SOPS 59065 HAS SOUS 49098 HAS SOUPS 40374 WITH SCORE 40442.816
AT ITER 4701 NEW BEST:: SOT 193910 SOS 68345 HAS SOPS 58594 HAS SOUS 49098 HAS SOUPS 40374 WITH SCORE 40442.345
AT ITER 4704 NEW BEST:: SOT 193892 SOS 68303 HAS SOPS 58552 HAS SOUS 49086 HAS SOUPS 40362 WITH SCORE 40430.303
AT ITER 4714 NEW BEST:: SOT 193885 SOS 68296 HAS SOPS 58545 HAS SOUS 49086 HAS SOUPS 40362 WITH SCORE 40430.296
AT ITER 4717 NEW BEST:: SOT 193859 SOS 68254 HAS SOPS 58503 HAS SOUS 49072 HAS SOUPS 40348 WITH SCORE 40416.254
AT ITER 4721 NEW BEST:: SOT 193825 SOS 68134 HAS SOPS 58383 HAS SOUS 49045 HAS SOUPS 40321 WITH SCORE 40389.134
AT ITER 4722 NEW BEST:: SOT 193821 SOS 68130 HAS SOPS 58232 HAS SOUS 49184 HAS SOUPS 40313 WITH SCORE 40381.13
AT ITER 4725 NEW BEST:: SOT 193822 SOS 68131 HAS SOPS 58195 HAS SOUS 49220 HAS SOUPS 40311 WITH SCORE 40379.131
AT ITER 4757 NEW BEST:: SOT 193819 SOS 68128 HAS SOPS 58182 HAS SOUS 49224 HAS SOUPS 40305 WITH SCORE 40373.128
AT ITER 4767 NEW BEST:: SOT 193815 SOS 68124 HAS SOPS 58178 HAS SOUS 49216 HAS SOUPS 40297 WITH SCORE 40365.124
AT ITER 4786 NEW BEST:: SOT 193815 SOS 68168 HAS SOPS 58222 HAS SOUS 49203 HAS SOUPS 40284 WITH SCORE 40352.168
AT ITER 4800 NEW BEST:: SOT 193818 SOS 68159 HAS SOPS 58213 HAS SOUS 49198 HAS SOUPS 40279 WITH SCORE 40347.159
AT ITER 4801 NEW BEST:: SOT 193823 SOS 68145 HAS SOPS 58199 HAS SOUS 49179 HAS SOUPS 40260 WITH SCORE 40328.145
AT ITER 4803 NEW BEST:: SOT 193814 SOS 68136 HAS SOPS 58181 HAS SOUS 49170 HAS SOUPS 40242 WITH SCORE 40310.136
AT ITER 4839 NEW BEST:: SOT 193807 SOS 68153 HAS SOPS 58198 HAS SOUS 49163 HAS SOUPS 40235 WITH SCORE 40303.153
AT ITER 4849 NEW BEST:: SOT 193807 SOS 68020 HAS SOPS 58065 HAS SOUS 49163 HAS SOUPS 40235 WITH SCORE 40303.02
AT ITER 4853 NEW BEST:: SOT 193807 SOS 68015 HAS SOPS 58060 HAS SOUS 49158 HAS SOUPS 40230 WITH SCORE 40298.015
AT ITER 4862 NEW BEST:: SOT 193740 SOS 67768 HAS SOPS 57863 HAS SOUS 48994 HAS SOUPS 40116 WITH SCORE 40183.768
AT ITER 4870 NEW BEST:: SOT 193754 SOS 67691 HAS SOPS 57865 HAS SOUS 48846 HAS SOUPS 40047 WITH SCORE 40114.691
AT ITER 4877 NEW BEST:: SOT 195032 SOS 68884 HAS SOPS 58963 HAS SOUS 48905 HAS SOUPS 40045 WITH SCORE 40113.884
AT ITER 4878 NEW BEST:: SOT 194913 SOS 68534 HAS SOPS 58622 HAS SOUS 48692 HAS SOUPS 39832 WITH SCORE 39900.534
AT ITER 4884 NEW BEST:: SOT 194912 SOS 68532 HAS SOPS 58620 HAS SOUS 48691 HAS SOUPS 39831 WITH SCORE 39899.532
AT ITER 4885 NEW BEST:: SOT 194897 SOS 68502 HAS SOPS 58620 HAS SOUS 48661 HAS SOUPS 39831 WITH SCORE 39899.502
AT ITER 4908 NEW BEST:: SOT 195031 SOS 68639 HAS SOPS 58668 HAS SOUS 48659 HAS SOUPS 39774 WITH SCORE 39842.639
AT ITER 4915 NEW BEST:: SOT 195103 SOS 68705 HAS SOPS 58734 HAS SOUS 48616 HAS SOUPS 39731 WITH SCORE 39799.705
AT ITER 4932 NEW BEST:: SOT 195111 SOS 68705 HAS SOPS 58734 HAS SOUS 48612 HAS SOUPS 39727 WITH SCORE 39795.705
AT ITER 4934 NEW BEST:: SOT 195207 SOS 66648 HAS SOPS 56506 HAS SOUS 48631 HAS SOUPS 39575 WITH SCORE 39641.648
AT ITER 4936 NEW BEST:: SOT 195161 SOS 66531 HAS SOPS 56389 HAS SOUS 48547 HAS SOUPS 39491 WITH SCORE 39557.531
AT ITER 4951 NEW BEST:: SOT 195104 SOS 66634 HAS SOPS 56492 HAS SOUS 48540 HAS SOUPS 39484 WITH SCORE 39550.634
AT ITER 4966 NEW BEST:: SOT 195068 SOS 66598 HAS SOPS 56456 HAS SOUS 48504 HAS SOUPS 39448 WITH SCORE 39514.598
AT ITER 4980 NEW BEST:: SOT 195054 SOS 66577 HAS SOPS 56435 HAS SOUS 48490 HAS SOUPS 39434 WITH SCORE 39500.577
AT ITER 4987 NEW BEST:: SOT 195052 SOS 66569 HAS SOPS 56429 HAS SOUS 48484 HAS SOUPS 39430 WITH SCORE 39496.569
AT ITER 4998 NEW BEST:: SOT 195122 SOS 66639 HAS SOPS 56499 HAS SOUS 48465 HAS SOUPS 39411 WITH SCORE 39477.639
AT ITER 5029 NEW BEST:: SOT 195106 SOS 66623 HAS SOPS 56467 HAS SOUS 48449 HAS SOUPS 39379 WITH SCORE 39445.623
AT ITER 5052 NEW BEST:: SOT 195162 SOS 66657 HAS SOPS 56501 HAS SOUS 48423 HAS SOUPS 39353 WITH SCORE 39419.657
AT ITER 5077 NEW BEST:: SOT 195142 SOS 66632 HAS SOPS 56486 HAS SOUS 48413 HAS SOUPS 39343 WITH SCORE 39409.632
AT ITER 5094 NEW BEST:: SOT 195142 SOS 66618 HAS SOPS 56472 HAS SOUS 48413 HAS SOUPS 39343 WITH SCORE 39409.618
AT ITER 5099 NEW BEST:: SOT 195142 SOS 66601 HAS SOPS 56455 HAS SOUS 48396 HAS SOUPS 39326 WITH SCORE 39392.601
AT ITER 5118 NEW BEST:: SOT 195142 SOS 66573 HAS SOPS 56427 HAS SOUS 48382 HAS SOUPS 39312 WITH SCORE 39378.573
AT ITER 5127 NEW BEST:: SOT 195114 SOS 66550 HAS SOPS 56340 HAS SOUS 48369 HAS SOUPS 39235 WITH SCORE 39301.55
AT ITER 5130 NEW BEST:: SOT 195084 SOS 66514 HAS SOPS 56304 HAS SOUS 48348 HAS SOUPS 39214 WITH SCORE 39280.514
AT ITER 5146 NEW BEST:: SOT 194988 SOS 66324 HAS SOPS 56114 HAS SOUS 48341 HAS SOUPS 39207 WITH SCORE 39273.324
AT ITER 5180 NEW BEST:: SOT 194912 SOS 66236 HAS SOPS 56026 HAS SOUS 48329 HAS SOUPS 39195 WITH SCORE 39261.236
AT ITER 5189 NEW BEST:: SOT 194930 SOS 66215 HAS SOPS 56005 HAS SOUS 48312 HAS SOUPS 39178 WITH SCORE 39244.215
AT ITER 5196 NEW BEST:: SOT 194945 SOS 66188 HAS SOPS 55978 HAS SOUS 48269 HAS SOUPS 39135 WITH SCORE 39201.188
AT ITER 5216 NEW BEST:: SOT 194936 SOS 66168 HAS SOPS 55958 HAS SOUS 48256 HAS SOUPS 39122 WITH SCORE 39188.168
AT ITER 5222 NEW BEST:: SOT 195450 SOS 66753 HAS SOPS 56487 HAS SOUS 48304 HAS SOUPS 39114 WITH SCORE 39180.753
AT ITER 5252 NEW BEST:: SOT 195450 SOS 66706 HAS SOPS 56487 HAS SOUS 48257 HAS SOUPS 39114 WITH SCORE 39180.706
AT ITER 5270 NEW BEST:: SOT 195343 SOS 66657 HAS SOPS 56348 HAS SOUS 48226 HAS SOUPS 38993 WITH SCORE 39059.657
AT ITER 5276 NEW BEST:: SOT 195343 SOS 66653 HAS SOPS 56344 HAS SOUS 48222 HAS SOUPS 38989 WITH SCORE 39055.653
AT ITER 5290 NEW BEST:: SOT 195325 SOS 66635 HAS SOPS 56326 HAS SOUS 48204 HAS SOUPS 38971 WITH SCORE 39037.635
AT ITER 5306 NEW BEST:: SOT 195317 SOS 66615 HAS SOPS 56302 HAS SOUS 48196 HAS SOUPS 38959 WITH SCORE 39025.615
AT ITER 5308 NEW BEST:: SOT 195307 SOS 66605 HAS SOPS 56278 HAS SOUS 48186 HAS SOUPS 38935 WITH SCORE 39001.605
AT ITER 5322 NEW BEST:: SOT 195301 SOS 66599 HAS SOPS 56260 HAS SOUS 48186 HAS SOUPS 38923 WITH SCORE 38989.599
AT ITER 5362 NEW BEST:: SOT 195252 SOS 66452 HAS SOPS 56113 HAS SOUS 48088 HAS SOUPS 38825 WITH SCORE 38891.452
AT ITER 5381 NEW BEST:: SOT 195252 SOS 66454 HAS SOPS 55992 HAS SOUS 48203 HAS SOUPS 38817 WITH SCORE 38883.454
AT ITER 5388 NEW BEST:: SOT 194931 SOS 66090 HAS SOPS 55668 HAS SOUS 48034 HAS SOUPS 38688 WITH SCORE 38754.09
AT ITER 5395 NEW BEST:: SOT 194954 SOS 66031 HAS SOPS 55655 HAS SOUS 47965 HAS SOUPS 38665 WITH SCORE 38731.031
AT ITER 5408 NEW BEST:: SOT 194941 SOS 65925 HAS SOPS 55549 HAS SOUS 47911 HAS SOUPS 38611 WITH SCORE 38676.925
AT ITER 5424 NEW BEST:: SOT 194775 SOS 65661 HAS SOPS 55285 HAS SOUS 47867 HAS SOUPS 38567 WITH SCORE 38632.661
AT ITER 5439 NEW BEST:: SOT 194775 SOS 65697 HAS SOPS 55392 HAS SOUS 47829 HAS SOUPS 38566 WITH SCORE 38631.697
AT ITER 5447 NEW BEST:: SOT 194782 SOS 65704 HAS SOPS 55399 HAS SOUS 47818 HAS SOUPS 38555 WITH SCORE 38620.704
AT ITER 5475 NEW BEST:: SOT 194758 SOS 65714 HAS SOPS 55403 HAS SOUS 47810 HAS SOUPS 38541 WITH SCORE 38606.714
AT ITER 5491 NEW BEST:: SOT 194738 SOS 65700 HAS SOPS 55376 HAS SOUS 47803 HAS SOUPS 38521 WITH SCORE 38586.7
AT ITER 5500 NEW BEST:: SOT 194735 SOS 65697 HAS SOPS 55370 HAS SOUS 47800 HAS SOUPS 38515 WITH SCORE 38580.697
AT ITER 5537 NEW BEST:: SOT 194713 SOS 65675 HAS SOPS 55348 HAS SOUS 47767 HAS SOUPS 38482 WITH SCORE 38547.675
AT ITER 5546 NEW BEST:: SOT 194674 SOS 65491 HAS SOPS 55164 HAS SOUS 47748 HAS SOUPS 38463 WITH SCORE 38528.491
AT ITER 5575 NEW BEST:: SOT 194645 SOS 65462 HAS SOPS 55106 HAS SOUS 47748 HAS SOUPS 38434 WITH SCORE 38499.462
AT ITER 5580 NEW BEST:: SOT 194561 SOS 65295 HAS SOPS 54939 HAS SOUS 47724 HAS SOUPS 38410 WITH SCORE 38475.295
AT ITER 5664 NEW BEST:: SOT 194614 SOS 65360 HAS SOPS 55004 HAS SOUS 47683 HAS SOUPS 38369 WITH SCORE 38434.36
AT ITER 5665 NEW BEST:: SOT 194608 SOS 65288 HAS SOPS 54932 HAS SOUS 47677 HAS SOUPS 38363 WITH SCORE 38428.288
AT ITER 5668 NEW BEST:: SOT 194592 SOS 65264 HAS SOPS 54908 HAS SOUS 47661 HAS SOUPS 38347 WITH SCORE 38412.264
AT ITER 5683 NEW BEST:: SOT 194560 SOS 65198 HAS SOPS 54842 HAS SOUS 47627 HAS SOUPS 38313 WITH SCORE 38378.198
AT ITER 5715 NEW BEST:: SOT 194325 SOS 64751 HAS SOPS 54395 HAS SOUS 47396 HAS SOUPS 38082 WITH SCORE 38146.751
AT ITER 5750 NEW BEST:: SOT 194323 SOS 64809 HAS SOPS 54453 HAS SOUS 47394 HAS SOUPS 38080 WITH SCORE 38144.809
AT ITER 5764 NEW BEST:: SOT 194336 SOS 64630 HAS SOPS 54261 HAS SOUS 47215 HAS SOUPS 37888 WITH SCORE 37952.63
AT ITER 5771 NEW BEST:: SOT 194336 SOS 64211 HAS SOPS 53842 HAS SOUS 47206 HAS SOUPS 37879 WITH SCORE 37943.211
AT ITER 5775 NEW BEST:: SOT 194314 SOS 64189 HAS SOPS 53820 HAS SOUS 47195 HAS SOUPS 37868 WITH SCORE 37932.189
AT ITER 5791 NEW BEST:: SOT 194480 SOS 64308 HAS SOPS 53939 HAS SOUS 47165 HAS SOUPS 37838 WITH SCORE 37902.308
AT ITER 5810 NEW BEST:: SOT 194509 SOS 64276 HAS SOPS 53907 HAS SOUS 47133 HAS SOUPS 37806 WITH SCORE 37870.276
AT ITER 5813 NEW BEST:: SOT 194509 SOS 64248 HAS SOPS 53879 HAS SOUS 47119 HAS SOUPS 37792 WITH SCORE 37856.248
AT ITER 5817 NEW BEST:: SOT 194484 SOS 64202 HAS SOPS 53801 HAS SOUS 47056 HAS SOUPS 37713 WITH SCORE 37777.202
AT ITER 5834 NEW BEST:: SOT 194469 SOS 64194 HAS SOPS 53793 HAS SOUS 47055 HAS SOUPS 37712 WITH SCORE 37776.194
AT ITER 5839 NEW BEST:: SOT 194473 SOS 64198 HAS SOPS 53787 HAS SOUS 47059 HAS SOUPS 37706 WITH SCORE 37770.198
AT ITER 5869 NEW BEST:: SOT 194441 SOS 64165 HAS SOPS 53754 HAS SOUS 47055 HAS SOUPS 37702 WITH SCORE 37766.165
AT ITER 5889 NEW BEST:: SOT 194441 SOS 64118 HAS SOPS 53707 HAS SOUS 47055 HAS SOUPS 37702 WITH SCORE 37766.118
AT ITER 5896 NEW BEST:: SOT 194680 SOS 64678 HAS SOPS 54267 HAS SOUS 47006 HAS SOUPS 37653 WITH SCORE 37717.678
AT ITER 5897 NEW BEST:: SOT 194693 SOS 64637 HAS SOPS 54212 HAS SOUS 46978 HAS SOUPS 37625 WITH SCORE 37689.637
AT ITER 5909 NEW BEST:: SOT 194691 SOS 64635 HAS SOPS 54210 HAS SOUS 46976 HAS SOUPS 37623 WITH SCORE 37687.635
AT ITER 5914 NEW BEST:: SOT 194681 SOS 64615 HAS SOPS 54190 HAS SOUS 46966 HAS SOUPS 37613 WITH SCORE 37677.615
AT ITER 5934 NEW BEST:: SOT 194696 SOS 64630 HAS SOPS 54173 HAS SOUS 46917 HAS SOUPS 37564 WITH SCORE 37628.63
AT ITER 5958 NEW BEST:: SOT 194854 SOS 64549 HAS SOPS 54092 HAS SOUS 46906 HAS SOUPS 37553 WITH SCORE 37617.549
AT ITER 5981 NEW BEST:: SOT 194856 SOS 64559 HAS SOPS 54102 HAS SOUS 46885 HAS SOUPS 37532 WITH SCORE 37596.559
AT ITER 5989 NEW BEST:: SOT 194891 SOS 64594 HAS SOPS 54112 HAS SOUS 46824 HAS SOUPS 37467 WITH SCORE 37531.594
AT ITER 6000 NEW BEST:: SOT 194889 SOS 64683 HAS SOPS 54145 HAS SOUS 46818 HAS SOUPS 37433 WITH SCORE 37497.683
AT ITER 6001 NEW BEST:: SOT 194937 SOS 64243 HAS SOPS 53705 HAS SOUS 46810 HAS SOUPS 37425 WITH SCORE 37489.243
AT ITER 6007 NEW BEST:: SOT 194873 SOS 64162 HAS SOPS 53624 HAS SOUS 46793 HAS SOUPS 37408 WITH SCORE 37472.162
AT ITER 6016 NEW BEST:: SOT 194870 SOS 64159 HAS SOPS 53621 HAS SOUS 46787 HAS SOUPS 37402 WITH SCORE 37466.159
AT ITER 6021 NEW BEST:: SOT 194928 SOS 63918 HAS SOPS 53380 HAS SOUS 46766 HAS SOUPS 37381 WITH SCORE 37444.918
AT ITER 6024 NEW BEST:: SOT 194912 SOS 63902 HAS SOPS 53364 HAS SOUS 46750 HAS SOUPS 37365 WITH SCORE 37428.902
AT ITER 6040 NEW BEST:: SOT 194915 SOS 63901 HAS SOPS 53363 HAS SOUS 46750 HAS SOUPS 37365 WITH SCORE 37428.901
AT ITER 6044 NEW BEST:: SOT 194901 SOS 63913 HAS SOPS 53260 HAS SOUS 46762 HAS SOUPS 37262 WITH SCORE 37325.913
AT ITER 6078 NEW BEST:: SOT 194913 SOS 63905 HAS SOPS 53252 HAS SOUS 46754 HAS SOUPS 37254 WITH SCORE 37317.905
AT ITER 6165 NEW BEST:: SOT 194902 SOS 63894 HAS SOPS 53241 HAS SOUS 46743 HAS SOUPS 37243 WITH SCORE 37306.894
AT ITER 6186 NEW BEST:: SOT 194913 SOS 63905 HAS SOPS 53230 HAS SOUS 46761 HAS SOUPS 37239 WITH SCORE 37302.905
AT ITER 6195 NEW BEST:: SOT 194947 SOS 63880 HAS SOPS 53205 HAS SOUS 46718 HAS SOUPS 37196 WITH SCORE 37259.88
AT ITER 6196 NEW BEST:: SOT 194947 SOS 63893 HAS SOPS 53205 HAS SOUS 46705 HAS SOUPS 37170 WITH SCORE 37233.893
AT ITER 6216 NEW BEST:: SOT 194946 SOS 63890 HAS SOPS 53203 HAS SOUS 46703 HAS SOUPS 37169 WITH SCORE 37232.89
AT ITER 6281 NEW BEST:: SOT 194864 SOS 63361 HAS SOPS 52674 HAS SOUS 46451 HAS SOUPS 36917 WITH SCORE 36980.361
AT ITER 6286 NEW BEST:: SOT 194864 SOS 63344 HAS SOPS 52657 HAS SOUS 46445 HAS SOUPS 36911 WITH SCORE 36974.344
AT ITER 6300 NEW BEST:: SOT 194920 SOS 63176 HAS SOPS 52489 HAS SOUS 46445 HAS SOUPS 36911 WITH SCORE 36974.176
AT ITER 6304 NEW BEST:: SOT 194920 SOS 63174 HAS SOPS 52487 HAS SOUS 46445 HAS SOUPS 36911 WITH SCORE 36974.174
AT ITER 6312 NEW BEST:: SOT 194894 SOS 63122 HAS SOPS 52435 HAS SOUS 46419 HAS SOUPS 36885 WITH SCORE 36948.122
AT ITER 6352 NEW BEST:: SOT 194889 SOS 63117 HAS SOPS 52430 HAS SOUS 46419 HAS SOUPS 36885 WITH SCORE 36948.117
AT ITER 6362 NEW BEST:: SOT 194889 SOS 63105 HAS SOPS 52430 HAS SOUS 46407 HAS SOUPS 36885 WITH SCORE 36948.105
AT ITER 6365 NEW BEST:: SOT 194889 SOS 63087 HAS SOPS 52405 HAS SOUS 46412 HAS SOUPS 36885 WITH SCORE 36948.087
AT ITER 6369 NEW BEST:: SOT 194857 SOS 63055 HAS SOPS 52364 HAS SOUS 46389 HAS SOUPS 36853 WITH SCORE 36916.055
AT ITER 6392 NEW BEST:: SOT 194857 SOS 62259 HAS SOPS 51568 HAS SOUS 46389 HAS SOUPS 36853 WITH SCORE 36915.259
AT ITER 6428 NEW BEST:: SOT 194857 SOS 62199 HAS SOPS 51508 HAS SOUS 46389 HAS SOUPS 36853 WITH SCORE 36915.199
AT ITER 6429 NEW BEST:: SOT 194846 SOS 62182 HAS SOPS 51500 HAS SOUS 46385 HAS SOUPS 36849 WITH SCORE 36911.182
AT ITER 6432 NEW BEST:: SOT 194835 SOS 62267 HAS SOPS 51492 HAS SOUS 46432 HAS SOUPS 36803 WITH SCORE 36865.267
AT ITER 6438 NEW BEST:: SOT 194824 SOS 62256 HAS SOPS 51481 HAS SOUS 46432 HAS SOUPS 36803 WITH SCORE 36865.256
AT ITER 6458 NEW BEST:: SOT 194824 SOS 62246 HAS SOPS 51471 HAS SOUS 46422 HAS SOUPS 36793 WITH SCORE 36855.246
AT ITER 6477 NEW BEST:: SOT 194810 SOS 62204 HAS SOPS 51443 HAS SOUS 46394 HAS SOUPS 36779 WITH SCORE 36841.204
AT ITER 6480 NEW BEST:: SOT 194810 SOS 62143 HAS SOPS 51443 HAS SOUS 46333 HAS SOUPS 36779 WITH SCORE 36841.143
AT ITER 6525 NEW BEST:: SOT 195325 SOS 62680 HAS SOPS 51980 HAS SOUS 46308 HAS SOUPS 36754 WITH SCORE 36816.68
AT ITER 6540 NEW BEST:: SOT 195340 SOS 62679 HAS SOPS 51979 HAS SOUS 46302 HAS SOUPS 36748 WITH SCORE 36810.679
AT ITER 6571 NEW BEST:: SOT 195320 SOS 62639 HAS SOPS 51939 HAS SOUS 46282 HAS SOUPS 36728 WITH SCORE 36790.639
AT ITER 6579 NEW BEST:: SOT 195129 SOS 62448 HAS SOPS 51679 HAS SOUS 46160 HAS SOUPS 36537 WITH SCORE 36599.448
AT ITER 6591 NEW BEST:: SOT 195124 SOS 62443 HAS SOPS 51665 HAS SOUS 46155 HAS SOUPS 36523 WITH SCORE 36585.443
AT ITER 6614 NEW BEST:: SOT 195113 SOS 62414 HAS SOPS 51636 HAS SOUS 46144 HAS SOUPS 36512 WITH SCORE 36574.414
AT ITER 6621 NEW BEST:: SOT 195107 SOS 62392 HAS SOPS 51614 HAS SOUS 46138 HAS SOUPS 36506 WITH SCORE 36568.392
AT ITER 6623 NEW BEST:: SOT 195099 SOS 62380 HAS SOPS 51602 HAS SOUS 46130 HAS SOUPS 36498 WITH SCORE 36560.38
AT ITER 6627 NEW BEST:: SOT 195063 SOS 62344 HAS SOPS 51566 HAS SOUS 46112 HAS SOUPS 36480 WITH SCORE 36542.344
AT ITER 6644 NEW BEST:: SOT 195090 SOS 62192 HAS SOPS 51497 HAS SOUS 45991 HAS SOUPS 36442 WITH SCORE 36504.192
AT ITER 6646 NEW BEST:: SOT 195090 SOS 62192 HAS SOPS 51497 HAS SOUS 45974 HAS SOUPS 36425 WITH SCORE 36487.192
AT ITER 6651 NEW BEST:: SOT 195089 SOS 62191 HAS SOPS 51496 HAS SOUS 45973 HAS SOUPS 36424 WITH SCORE 36486.191
AT ITER 6701 NEW BEST:: SOT 195066 SOS 62168 HAS SOPS 51473 HAS SOUS 45973 HAS SOUPS 36424 WITH SCORE 36486.168
AT ITER 6703 NEW BEST:: SOT 195050 SOS 62152 HAS SOPS 51457 HAS SOUS 45965 HAS SOUPS 36416 WITH SCORE 36478.152
AT ITER 6735 NEW BEST:: SOT 195050 SOS 62117 HAS SOPS 51422 HAS SOUS 45965 HAS SOUPS 36416 WITH SCORE 36478.117
AT ITER 6761 NEW BEST:: SOT 195035 SOS 62102 HAS SOPS 51407 HAS SOUS 45956 HAS SOUPS 36407 WITH SCORE 36469.102
AT ITER 6770 NEW BEST:: SOT 195017 SOS 62030 HAS SOPS 51371 HAS SOUS 45902 HAS SOUPS 36389 WITH SCORE 36451.03
AT ITER 6777 NEW BEST:: SOT 194925 SOS 61888 HAS SOPS 51219 HAS SOUS 45763 HAS SOUPS 36240 WITH SCORE 36301.888
AT ITER 6897 NEW BEST:: SOT 195138 SOS 61971 HAS SOPS 51302 HAS SOUS 45748 HAS SOUPS 36225 WITH SCORE 36286.971
AT ITER 6902 NEW BEST:: SOT 195090 SOS 61923 HAS SOPS 51254 HAS SOUS 45716 HAS SOUPS 36193 WITH SCORE 36254.923
AT ITER 6943 NEW BEST:: SOT 195062 SOS 61901 HAS SOPS 51232 HAS SOUS 45706 HAS SOUPS 36183 WITH SCORE 36244.901
AT ITER 6944 NEW BEST:: SOT 195062 SOS 61906 HAS SOPS 51221 HAS SOUS 45711 HAS SOUPS 36172 WITH SCORE 36233.906
AT ITER 6985 NEW BEST:: SOT 195041 SOS 61885 HAS SOPS 51200 HAS SOUS 45690 HAS SOUPS 36151 WITH SCORE 36212.885
AT ITER 6998 NEW BEST:: SOT 195041 SOS 61663 HAS SOPS 50978 HAS SOUS 45567 HAS SOUPS 36028 WITH SCORE 36089.663
AT ITER 7018 NEW BEST:: SOT 195046 SOS 61666 HAS SOPS 50981 HAS SOUS 45564 HAS SOUPS 36025 WITH SCORE 36086.666
AT ITER 7031 NEW BEST:: SOT 195154 SOS 60790 HAS SOPS 50105 HAS SOUS 45504 HAS SOUPS 35965 WITH SCORE 36025.79
AT ITER 7056 NEW BEST:: SOT 195120 SOS 60756 HAS SOPS 50071 HAS SOUS 45487 HAS SOUPS 35948 WITH SCORE 36008.756
AT ITER 7062 NEW BEST:: SOT 195122 SOS 60774 HAS SOPS 49976 HAS SOUS 45574 HAS SOUPS 35922 WITH SCORE 35982.774
AT ITER 7074 NEW BEST:: SOT 195104 SOS 60675 HAS SOPS 49897 HAS SOUS 45536 HAS SOUPS 35904 WITH SCORE 35964.675
AT ITER 7082 NEW BEST:: SOT 195102 SOS 60669 HAS SOPS 49891 HAS SOUS 45532 HAS SOUPS 35900 WITH SCORE 35960.669
AT ITER 7096 NEW BEST:: SOT 195074 SOS 60627 HAS SOPS 49849 HAS SOUS 45490 HAS SOUPS 35858 WITH SCORE 35918.627
AT ITER 7107 NEW BEST:: SOT 195055 SOS 60606 HAS SOPS 49828 HAS SOUS 45469 HAS SOUPS 35837 WITH SCORE 35897.606
AT ITER 7117 NEW BEST:: SOT 195048 SOS 60578 HAS SOPS 49807 HAS SOUS 45448 HAS SOUPS 35823 WITH SCORE 35883.578
AT ITER 7140 NEW BEST:: SOT 195052 SOS 60540 HAS SOPS 49793 HAS SOUS 45414 HAS SOUPS 35813 WITH SCORE 35873.54
AT ITER 7147 NEW BEST:: SOT 194953 SOS 60441 HAS SOPS 49694 HAS SOUS 45404 HAS SOUPS 35803 WITH SCORE 35863.441
AT ITER 7153 NEW BEST:: SOT 194953 SOS 60394 HAS SOPS 49647 HAS SOUS 45404 HAS SOUPS 35803 WITH SCORE 35863.394
AT ITER 7208 NEW BEST:: SOT 194952 SOS 60393 HAS SOPS 49638 HAS SOUS 45403 HAS SOUPS 35794 WITH SCORE 35854.393
AT ITER 7231 NEW BEST:: SOT 194908 SOS 60349 HAS SOPS 49606 HAS SOUS 45383 HAS SOUPS 35774 WITH SCORE 35834.349
AT ITER 7239 NEW BEST:: SOT 194896 SOS 60337 HAS SOPS 49594 HAS SOUS 45371 HAS SOUPS 35762 WITH SCORE 35822.337
AT ITER 7282 NEW BEST:: SOT 194894 SOS 60332 HAS SOPS 49589 HAS SOUS 45368 HAS SOUPS 35759 WITH SCORE 35819.332
AT ITER 7294 NEW BEST:: SOT 194894 SOS 60305 HAS SOPS 49562 HAS SOUS 45341 HAS SOUPS 35732 WITH SCORE 35792.305
AT ITER 7312 NEW BEST:: SOT 194886 SOS 60289 HAS SOPS 49546 HAS SOUS 45333 HAS SOUPS 35724 WITH SCORE 35784.289
AT ITER 7326 NEW BEST:: SOT 194930 SOS 60319 HAS SOPS 49576 HAS SOUS 45319 HAS SOUPS 35710 WITH SCORE 35770.319
AT ITER 7328 NEW BEST:: SOT 194919 SOS 60308 HAS SOPS 49565 HAS SOUS 45312 HAS SOUPS 35703 WITH SCORE 35763.308
AT ITER 7333 NEW BEST:: SOT 194932 SOS 60262 HAS SOPS 49551 HAS SOUS 45262 HAS SOUPS 35685 WITH SCORE 35745.262
AT ITER 7334 NEW BEST:: SOT 194944 SOS 60245 HAS SOPS 49534 HAS SOUS 45258 HAS SOUPS 35681 WITH SCORE 35741.245
AT ITER 7367 NEW BEST:: SOT 194917 SOS 60218 HAS SOPS 49507 HAS SOUS 45223 HAS SOUPS 35646 WITH SCORE 35706.218
AT ITER 7375 NEW BEST:: SOT 194917 SOS 60196 HAS SOPS 49507 HAS SOUS 45176 HAS SOUPS 35621 WITH SCORE 35681.196
AT ITER 7380 NEW BEST:: SOT 194860 SOS 60138 HAS SOPS 49449 HAS SOUS 45160 HAS SOUPS 35605 WITH SCORE 35665.138
AT ITER 7403 NEW BEST:: SOT 194848 SOS 60120 HAS SOPS 49431 HAS SOUS 45142 HAS SOUPS 35587 WITH SCORE 35647.12
AT ITER 7442 NEW BEST:: SOT 195139 SOS 60337 HAS SOPS 49574 HAS SOUS 45182 HAS SOUPS 35553 WITH SCORE 35613.337
AT ITER 7443 NEW BEST:: SOT 195133 SOS 60347 HAS SOPS 49564 HAS SOUS 45198 HAS SOUPS 35549 WITH SCORE 35609.347
AT ITER 7551 NEW BEST:: SOT 195021 SOS 60176 HAS SOPS 49443 HAS SOUS 45136 HAS SOUPS 35487 WITH SCORE 35547.176
AT ITER 7554 NEW BEST:: SOT 195018 SOS 60167 HAS SOPS 49434 HAS SOUS 45133 HAS SOUPS 35484 WITH SCORE 35544.167
AT ITER 7631 NEW BEST:: SOT 195261 SOS 59948 HAS SOPS 49215 HAS SOUS 45059 HAS SOUPS 35410 WITH SCORE 35469.948
AT ITER 7665 NEW BEST:: SOT 195257 SOS 59944 HAS SOPS 49211 HAS SOUS 45055 HAS SOUPS 35406 WITH SCORE 35465.944
AT ITER 7668 NEW BEST:: SOT 195257 SOS 59941 HAS SOPS 49208 HAS SOUS 45054 HAS SOUPS 35405 WITH SCORE 35464.941
AT ITER 7693 NEW BEST:: SOT 195285 SOS 59887 HAS SOPS 49154 HAS SOUS 45024 HAS SOUPS 35375 WITH SCORE 35434.887
AT ITER 7695 NEW BEST:: SOT 194991 SOS 59453 HAS SOPS 48720 HAS SOUS 44982 HAS SOUPS 35333 WITH SCORE 35392.453
AT ITER 7728 NEW BEST:: SOT 194920 SOS 59318 HAS SOPS 48581 HAS SOUS 44914 HAS SOUPS 35261 WITH SCORE 35320.318
AT ITER 7741 NEW BEST:: SOT 194916 SOS 59314 HAS SOPS 48575 HAS SOUS 44912 HAS SOUPS 35257 WITH SCORE 35316.314
AT ITER 7746 NEW BEST:: SOT 194890 SOS 59288 HAS SOPS 48523 HAS SOUS 44886 HAS SOUPS 35205 WITH SCORE 35264.288
AT ITER 7842 NEW BEST:: SOT 194927 SOS 59477 HAS SOPS 48712 HAS SOUS 44857 HAS SOUPS 35176 WITH SCORE 35235.477
AT ITER 7885 NEW BEST:: SOT 194927 SOS 59477 HAS SOPS 48712 HAS SOUS 44847 HAS SOUPS 35166 WITH SCORE 35225.477
AT ITER 7907 NEW BEST:: SOT 194993 SOS 59269 HAS SOPS 48470 HAS SOUS 44859 HAS SOUPS 35144 WITH SCORE 35203.269
AT ITER 7931 NEW BEST:: SOT 194968 SOS 59219 HAS SOPS 48445 HAS SOUS 44809 HAS SOUPS 35119 WITH SCORE 35178.219
AT ITER 7934 NEW BEST:: SOT 194918 SOS 59150 HAS SOPS 48376 HAS SOUS 44747 HAS SOUPS 35057 WITH SCORE 35116.15
AT ITER 7942 NEW BEST:: SOT 194891 SOS 59111 HAS SOPS 48337 HAS SOUS 44744 HAS SOUPS 35054 WITH SCORE 35113.111
AT ITER 7946 NEW BEST:: SOT 194883 SOS 59106 HAS SOPS 48293 HAS SOUS 44740 HAS SOUPS 35011 WITH SCORE 35070.106
AT ITER 7962 NEW BEST:: SOT 194913 SOS 59076 HAS SOPS 48263 HAS SOUS 44740 HAS SOUPS 35011 WITH SCORE 35070.076
AT ITER 7990 NEW BEST:: SOT 194873 SOS 59036 HAS SOPS 48243 HAS SOUS 44700 HAS SOUPS 34991 WITH SCORE 35050.036
AT ITER 8000 NEW BEST:: SOT 194900 SOS 58955 HAS SOPS 48162 HAS SOUS 44700 HAS SOUPS 34991 WITH SCORE 35049.955
AT ITER 8018 NEW BEST:: SOT 194900 SOS 58952 HAS SOPS 48159 HAS SOUS 44700 HAS SOUPS 34991 WITH SCORE 35049.952
AT ITER 8051 NEW BEST:: SOT 194837 SOS 58936 HAS SOPS 48143 HAS SOUS 44637 HAS SOUPS 34928 WITH SCORE 34986.936
AT ITER 8055 NEW BEST:: SOT 194837 SOS 58936 HAS SOPS 48143 HAS SOUS 44597 HAS SOUPS 34888 WITH SCORE 34946.936
AT ITER 8159 NEW BEST:: SOT 194844 SOS 58927 HAS SOPS 48134 HAS SOUS 44581 HAS SOUPS 34872 WITH SCORE 34930.927
AT ITER 8161 NEW BEST:: SOT 194811 SOS 58887 HAS SOPS 48094 HAS SOUS 44515 HAS SOUPS 34806 WITH SCORE 34864.887
AT ITER 8172 NEW BEST:: SOT 194459 SOS 58530 HAS SOPS 47737 HAS SOUS 44466 HAS SOUPS 34757 WITH SCORE 34815.53
AT ITER 8174 NEW BEST:: SOT 194436 SOS 58507 HAS SOPS 47714 HAS SOUS 44443 HAS SOUPS 34734 WITH SCORE 34792.507
AT ITER 8179 NEW BEST:: SOT 194439 SOS 58510 HAS SOPS 47690 HAS SOUS 44446 HAS SOUPS 34710 WITH SCORE 34768.51
AT ITER 8215 NEW BEST:: SOT 194419 SOS 58423 HAS SOPS 47593 HAS SOUS 44428 HAS SOUPS 34682 WITH SCORE 34740.423
AT ITER 8218 NEW BEST:: SOT 194359 SOS 58387 HAS SOPS 47557 HAS SOUS 44398 HAS SOUPS 34652 WITH SCORE 34710.387
AT ITER 8247 NEW BEST:: SOT 194350 SOS 58369 HAS SOPS 47539 HAS SOUS 44389 HAS SOUPS 34643 WITH SCORE 34701.369
AT ITER 8253 NEW BEST:: SOT 194350 SOS 58299 HAS SOPS 47469 HAS SOUS 44389 HAS SOUPS 34643 WITH SCORE 34701.299
AT ITER 8315 NEW BEST:: SOT 194344 SOS 58293 HAS SOPS 47463 HAS SOUS 44383 HAS SOUPS 34637 WITH SCORE 34695.293
AT ITER 8366 NEW BEST:: SOT 194344 SOS 58242 HAS SOPS 47412 HAS SOUS 44383 HAS SOUPS 34637 WITH SCORE 34695.242
AT ITER 8377 NEW BEST:: SOT 194326 SOS 58139 HAS SOPS 47309 HAS SOUS 44347 HAS SOUPS 34601 WITH SCORE 34659.139
AT ITER 8388 NEW BEST:: SOT 194260 SOS 57941 HAS SOPS 47111 HAS SOUS 44281 HAS SOUPS 34535 WITH SCORE 34592.941
AT ITER 8403 NEW BEST:: SOT 194258 SOS 57929 HAS SOPS 47101 HAS SOUS 44277 HAS SOUPS 34533 WITH SCORE 34590.929
AT ITER 8411 NEW BEST:: SOT 194255 SOS 57978 HAS SOPS 47150 HAS SOUS 44276 HAS SOUPS 34532 WITH SCORE 34589.978
AT ITER 8448 NEW BEST:: SOT 194249 SOS 57963 HAS SOPS 47135 HAS SOUS 44254 HAS SOUPS 34510 WITH SCORE 34567.963
AT ITER 8465 NEW BEST:: SOT 194569 SOS 58243 HAS SOPS 47415 HAS SOUS 44244 HAS SOUPS 34500 WITH SCORE 34558.243
AT ITER 8498 NEW BEST:: SOT 194555 SOS 58208 HAS SOPS 47380 HAS SOUS 44209 HAS SOUPS 34465 WITH SCORE 34523.208
AT ITER 8504 NEW BEST:: SOT 194527 SOS 58208 HAS SOPS 47352 HAS SOUS 44209 HAS SOUPS 34437 WITH SCORE 34495.208
AT ITER 8512 NEW BEST:: SOT 194511 SOS 58216 HAS SOPS 47360 HAS SOUS 44193 HAS SOUPS 34421 WITH SCORE 34479.216
AT ITER 8521 NEW BEST:: SOT 194499 SOS 58204 HAS SOPS 47348 HAS SOUS 44187 HAS SOUPS 34415 WITH SCORE 34473.204
AT ITER 8541 NEW BEST:: SOT 194805 SOS 58616 HAS SOPS 47686 HAS SOUS 44146 HAS SOUPS 34374 WITH SCORE 34432.616
AT ITER 8555 NEW BEST:: SOT 194742 SOS 58490 HAS SOPS 47623 HAS SOUS 44146 HAS SOUPS 34374 WITH SCORE 34432.49
AT ITER 8561 NEW BEST:: SOT 194742 SOS 58442 HAS SOPS 47575 HAS SOUS 44146 HAS SOUPS 34374 WITH SCORE 34432.442
AT ITER 8568 NEW BEST:: SOT 196732 SOS 60387 HAS SOPS 49520 HAS SOUS 44111 HAS SOUPS 34339 WITH SCORE 34399.387
AT ITER 8596 NEW BEST:: SOT 196732 SOS 60375 HAS SOPS 49508 HAS SOUS 44111 HAS SOUPS 34339 WITH SCORE 34399.375
AT ITER 8608 NEW BEST:: SOT 196835 SOS 60546 HAS SOPS 49679 HAS SOUS 44108 HAS SOUPS 34336 WITH SCORE 34396.546
AT ITER 8613 NEW BEST:: SOT 197047 SOS 58604 HAS SOPS 47737 HAS SOUS 44088 HAS SOUPS 34316 WITH SCORE 34374.604
AT ITER 8630 NEW BEST:: SOT 197004 SOS 58561 HAS SOPS 47689 HAS SOUS 44064 HAS SOUPS 34287 WITH SCORE 34345.561
AT ITER 8668 NEW BEST:: SOT 196957 SOS 58549 HAS SOPS 47677 HAS SOUS 44036 HAS SOUPS 34259 WITH SCORE 34317.549
AT ITER 8685 NEW BEST:: SOT 196998 SOS 58590 HAS SOPS 47718 HAS SOUS 44024 HAS SOUPS 34247 WITH SCORE 34305.59
AT ITER 8687 NEW BEST:: SOT 196996 SOS 58588 HAS SOPS 47678 HAS SOUS 44058 HAS SOUPS 34243 WITH SCORE 34301.588
AT ITER 8712 NEW BEST:: SOT 196996 SOS 58562 HAS SOPS 47652 HAS SOUS 44032 HAS SOUPS 34217 WITH SCORE 34275.562
AT ITER 8776 NEW BEST:: SOT 196919 SOS 58422 HAS SOPS 47512 HAS SOUS 44018 HAS SOUPS 34203 WITH SCORE 34261.422
AT ITER 8795 NEW BEST:: SOT 197021 SOS 58500 HAS SOPS 47590 HAS SOUS 44003 HAS SOUPS 34188 WITH SCORE 34246.5
AT ITER 8810 NEW BEST:: SOT 197034 SOS 58535 HAS SOPS 47585 HAS SOUS 43976 HAS SOUPS 34141 WITH SCORE 34199.535
AT ITER 8836 NEW BEST:: SOT 197738 SOS 58964 HAS SOPS 48122 HAS SOUS 43832 HAS SOUPS 34105 WITH SCORE 34163.964
AT ITER 8840 NEW BEST:: SOT 197732 SOS 58949 HAS SOPS 48110 HAS SOUS 43823 HAS SOUPS 34099 WITH SCORE 34157.949
AT ITER 8882 NEW BEST:: SOT 197688 SOS 58839 HAS SOPS 48000 HAS SOUS 43815 HAS SOUPS 34091 WITH SCORE 34149.839
AT ITER 8922 NEW BEST:: SOT 197686 SOS 58837 HAS SOPS 47998 HAS SOUS 43814 HAS SOUPS 34090 WITH SCORE 34148.837
AT ITER 8947 NEW BEST:: SOT 197686 SOS 58851 HAS SOPS 47997 HAS SOUS 43828 HAS SOUPS 34089 WITH SCORE 34147.851
AT ITER 9014 NEW BEST:: SOT 197668 SOS 58793 HAS SOPS 47960 HAS SOUS 43789 HAS SOUPS 34071 WITH SCORE 34129.793
AT ITER 9025 NEW BEST:: SOT 197614 SOS 58711 HAS SOPS 47878 HAS SOUS 43751 HAS SOUPS 34033 WITH SCORE 34091.711
AT ITER 9040 NEW BEST:: SOT 197584 SOS 58681 HAS SOPS 47809 HAS SOUS 43730 HAS SOUPS 33973 WITH SCORE 34031.681
AT ITER 9068 NEW BEST:: SOT 197661 SOS 58758 HAS SOPS 47886 HAS SOUS 43729 HAS SOUPS 33972 WITH SCORE 34030.758
AT ITER 9088 NEW BEST:: SOT 197655 SOS 58748 HAS SOPS 47876 HAS SOUS 43727 HAS SOUPS 33970 WITH SCORE 34028.748
AT ITER 9095 NEW BEST:: SOT 197653 SOS 58749 HAS SOPS 47874 HAS SOUS 43723 HAS SOUPS 33966 WITH SCORE 34024.749
AT ITER 9114 NEW BEST:: SOT 197653 SOS 58717 HAS SOPS 47844 HAS SOUS 43723 HAS SOUPS 33966 WITH SCORE 34024.717
AT ITER 9202 NEW BEST:: SOT 197628 SOS 58668 HAS SOPS 47795 HAS SOUS 43673 HAS SOUPS 33916 WITH SCORE 33974.668
AT ITER 9206 NEW BEST:: SOT 197620 SOS 58660 HAS SOPS 47787 HAS SOUS 43656 HAS SOUPS 33899 WITH SCORE 33957.66
AT ITER 9207 NEW BEST:: SOT 197610 SOS 58653 HAS SOPS 47755 HAS SOUS 43657 HAS SOUPS 33875 WITH SCORE 33933.653
AT ITER 9215 NEW BEST:: SOT 197658 SOS 58745 HAS SOPS 47805 HAS SOUS 43697 HAS SOUPS 33873 WITH SCORE 33931.745
AT ITER 9293 NEW BEST:: SOT 197693 SOS 58782 HAS SOPS 47840 HAS SOUS 43687 HAS SOUPS 33861 WITH SCORE 33919.782
AT ITER 9303 NEW BEST:: SOT 197673 SOS 58759 HAS SOPS 47817 HAS SOUS 43673 HAS SOUPS 33847 WITH SCORE 33905.759
AT ITER 9327 NEW BEST:: SOT 197673 SOS 58758 HAS SOPS 47816 HAS SOUS 43672 HAS SOUPS 33846 WITH SCORE 33904.758
AT ITER 9334 NEW BEST:: SOT 197706 SOS 58821 HAS SOPS 47852 HAS SOUS 43681 HAS SOUPS 33840 WITH SCORE 33898.821
AT ITER 9356 NEW BEST:: SOT 197703 SOS 58818 HAS SOPS 47849 HAS SOUS 43681 HAS SOUPS 33840 WITH SCORE 33898.818
AT ITER 9358 NEW BEST:: SOT 197703 SOS 58892 HAS SOPS 47849 HAS SOUS 43742 HAS SOUPS 33827 WITH SCORE 33885.892
AT ITER 9386 NEW BEST:: SOT 197757 SOS 58946 HAS SOPS 47903 HAS SOUS 43715 HAS SOUPS 33800 WITH SCORE 33858.946
AT ITER 9396 NEW BEST:: SOT 197739 SOS 58863 HAS SOPS 47820 HAS SOUS 43697 HAS SOUPS 33782 WITH SCORE 33840.863
AT ITER 9415 NEW BEST:: SOT 197729 SOS 58893 HAS SOPS 47855 HAS SOUS 43687 HAS SOUPS 33777 WITH SCORE 33835.893
AT ITER 9429 NEW BEST:: SOT 197725 SOS 58881 HAS SOPS 47847 HAS SOUS 43679 HAS SOUPS 33773 WITH SCORE 33831.881
AT ITER 9433 NEW BEST:: SOT 197719 SOS 58875 HAS SOPS 47835 HAS SOUS 43673 HAS SOUPS 33761 WITH SCORE 33819.875
AT ITER 9441 NEW BEST:: SOT 197614 SOS 58755 HAS SOPS 47668 HAS SOUS 43559 HAS SOUPS 33670 WITH SCORE 33728.755
AT ITER 9517 NEW BEST:: SOT 197566 SOS 58880 HAS SOPS 47771 HAS SOUS 43579 HAS SOUPS 33668 WITH SCORE 33726.88
AT ITER 9534 NEW BEST:: SOT 197565 SOS 58879 HAS SOPS 47769 HAS SOUS 43577 HAS SOUPS 33665 WITH SCORE 33723.879
AT ITER 9614 NEW BEST:: SOT 197501 SOS 58757 HAS SOPS 47647 HAS SOUS 43455 HAS SOUPS 33543 WITH SCORE 33601.757
AT ITER 9615 NEW BEST:: SOT 197494 SOS 58688 HAS SOPS 47578 HAS SOUS 43414 HAS SOUPS 33502 WITH SCORE 33560.688
AT ITER 9628 NEW BEST:: SOT 197457 SOS 58507 HAS SOPS 47369 HAS SOUS 43357 HAS SOUPS 33428 WITH SCORE 33486.507
AT ITER 9667 NEW BEST:: SOT 197471 SOS 58504 HAS SOPS 47366 HAS SOUS 43347 HAS SOUPS 33418 WITH SCORE 33476.504
AT ITER 9668 NEW BEST:: SOT 197473 SOS 58470 HAS SOPS 47336 HAS SOUS 43345 HAS SOUPS 33418 WITH SCORE 33476.47
AT ITER 9733 NEW BEST:: SOT 197470 SOS 58408 HAS SOPS 47274 HAS SOUS 43339 HAS SOUPS 33412 WITH SCORE 33470.408
AT ITER 9793 NEW BEST:: SOT 197526 SOS 58229 HAS SOPS 47095 HAS SOUS 43304 HAS SOUPS 33377 WITH SCORE 33435.229
AT ITER 9797 NEW BEST:: SOT 197493 SOS 58163 HAS SOPS 47029 HAS SOUS 43272 HAS SOUPS 33345 WITH SCORE 33403.163
AT ITER 9809 NEW BEST:: SOT 197466 SOS 58156 HAS SOPS 47022 HAS SOUS 43268 HAS SOUPS 33341 WITH SCORE 33399.156
AT ITER 9820 NEW BEST:: SOT 197448 SOS 58099 HAS SOPS 46977 HAS SOUS 43253 HAS SOUPS 33338 WITH SCORE 33396.099
AT ITER 9827 NEW BEST:: SOT 197446 SOS 58104 HAS SOPS 46982 HAS SOUS 43251 HAS SOUPS 33336 WITH SCORE 33394.104
AT ITER 9839 NEW BEST:: SOT 197403 SOS 57884 HAS SOPS 46859 HAS SOUS 43092 HAS SOUPS 33274 WITH SCORE 33331.884
AT ITER 9873 NEW BEST:: SOT 197403 SOS 57881 HAS SOPS 46856 HAS SOUS 43089 HAS SOUPS 33271 WITH SCORE 33328.881
AT ITER 9895 NEW BEST:: SOT 197390 SOS 57855 HAS SOPS 46865 HAS SOUS 43041 HAS SOUPS 33258 WITH SCORE 33315.855
AT ITER 9919 NEW BEST:: SOT 197377 SOS 57855 HAS SOPS 46839 HAS SOUS 43028 HAS SOUPS 33232 WITH SCORE 33289.855
AT ITER 9924 NEW BEST:: SOT 197356 SOS 57834 HAS SOPS 46841 HAS SOUS 42963 HAS SOUPS 33190 WITH SCORE 33247.834
AT ITER 9945 NEW BEST:: SOT 197284 SOS 57956 HAS SOPS 46901 HAS SOUS 42966 HAS SOUPS 33149 WITH SCORE 33206.956
AT ITER 9972 NEW BEST:: SOT 197284 SOS 57944 HAS SOPS 46892 HAS SOUS 42957 HAS SOUPS 33143 WITH SCORE 33200.944
AT ITER 9985 NEW BEST:: SOT 197324 SOS 57984 HAS SOPS 46932 HAS SOUS 42945 HAS SOUPS 33131 WITH SCORE 33188.984
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 149216 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16295528 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="Parking-PT-432"
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 Parking-PT-432, 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 r259-smll-167863534500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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