fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470100876
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVs-PT-040A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.760 3600000.00 3600010.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100876.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-040A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100876
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.4K May 14 02:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 02:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 19:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 19:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 09:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 256K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-040A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590453767075

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 040A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 563 places, 763 transitions, 3680 arcs.
AT ITER 0 NEW BEST:: SOT 322742 SOS 276836 HAS SOPS 276836 HAS SOUS 224624 HAS SOUPS 224624 WITH SCORE 224900.836
AT ITER 1 NEW BEST:: SOT 322558 SOS 276678 HAS SOPS 276678 HAS SOUS 224465 HAS SOUPS 224465 WITH SCORE 224741.678
AT ITER 2 NEW BEST:: SOT 322556 SOS 276676 HAS SOPS 276676 HAS SOUS 224462 HAS SOUPS 224462 WITH SCORE 224738.676
AT ITER 4 NEW BEST:: SOT 322848 SOS 276480 HAS SOPS 276480 HAS SOUS 223522 HAS SOUPS 223522 WITH SCORE 223798.48
AT ITER 5 NEW BEST:: SOT 322971 SOS 275442 HAS SOPS 275442 HAS SOUS 222084 HAS SOUPS 222084 WITH SCORE 222359.442
AT ITER 7 NEW BEST:: SOT 322883 SOS 275069 HAS SOPS 275069 HAS SOUS 221812 HAS SOUPS 221812 WITH SCORE 222087.069
AT ITER 11 NEW BEST:: SOT 322705 SOS 274325 HAS SOPS 274325 HAS SOUS 220705 HAS SOUPS 220705 WITH SCORE 220979.325
AT ITER 12 NEW BEST:: SOT 322702 SOS 274322 HAS SOPS 274322 HAS SOUS 220702 HAS SOUPS 220702 WITH SCORE 220976.322
AT ITER 14 NEW BEST:: SOT 322636 SOS 273664 HAS SOPS 273664 HAS SOUS 220211 HAS SOUPS 220211 WITH SCORE 220484.664
AT ITER 15 NEW BEST:: SOT 322891 SOS 273239 HAS SOPS 273239 HAS SOUS 219729 HAS SOUPS 219729 WITH SCORE 220002.239
AT ITER 16 NEW BEST:: SOT 322888 SOS 273236 HAS SOPS 273236 HAS SOUS 219726 HAS SOUPS 219726 WITH SCORE 219999.236
AT ITER 18 NEW BEST:: SOT 322743 SOS 273091 HAS SOPS 273091 HAS SOUS 219581 HAS SOUPS 219581 WITH SCORE 219854.091
AT ITER 19 NEW BEST:: SOT 322741 SOS 273089 HAS SOPS 273089 HAS SOUS 219578 HAS SOUPS 219578 WITH SCORE 219851.089
AT ITER 20 NEW BEST:: SOT 322938 SOS 272837 HAS SOPS 272837 HAS SOUS 219219 HAS SOUPS 219219 WITH SCORE 219491.837
AT ITER 23 NEW BEST:: SOT 322715 SOS 272197 HAS SOPS 272197 HAS SOUS 218324 HAS SOUPS 218324 WITH SCORE 218596.197
AT ITER 28 NEW BEST:: SOT 322640 SOS 271338 HAS SOPS 271338 HAS SOUS 217509 HAS SOUPS 217509 WITH SCORE 217780.338
AT ITER 30 NEW BEST:: SOT 322560 SOS 271296 HAS SOPS 271296 HAS SOUS 217499 HAS SOUPS 217499 WITH SCORE 217770.296
AT ITER 31 NEW BEST:: SOT 322526 SOS 271228 HAS SOPS 271228 HAS SOUS 217499 HAS SOUPS 217499 WITH SCORE 217770.228
AT ITER 33 NEW BEST:: SOT 322327 SOS 269793 HAS SOPS 269793 HAS SOUS 217011 HAS SOUPS 217011 WITH SCORE 217280.793
AT ITER 34 NEW BEST:: SOT 322327 SOS 269508 HAS SOPS 269508 HAS SOUS 216806 HAS SOUPS 216806 WITH SCORE 217075.508
AT ITER 35 NEW BEST:: SOT 322229 SOS 269375 HAS SOPS 269375 HAS SOUS 216695 HAS SOUPS 216695 WITH SCORE 216964.375
AT ITER 36 NEW BEST:: SOT 322304 SOS 269066 HAS SOPS 269066 HAS SOUS 216457 HAS SOUPS 216457 WITH SCORE 216726.066
AT ITER 37 NEW BEST:: SOT 322304 SOS 268989 HAS SOPS 268989 HAS SOUS 215870 HAS SOUPS 215870 WITH SCORE 216138.989
AT ITER 40 NEW BEST:: SOT 322302 SOS 268987 HAS SOPS 268987 HAS SOUS 215867 HAS SOUPS 215867 WITH SCORE 216135.987
AT ITER 41 NEW BEST:: SOT 322198 SOS 268883 HAS SOPS 268883 HAS SOUS 215762 HAS SOUPS 215762 WITH SCORE 216030.883
AT ITER 43 NEW BEST:: SOT 322069 SOS 268193 HAS SOPS 268193 HAS SOUS 215071 HAS SOUPS 215071 WITH SCORE 215339.193
AT ITER 44 NEW BEST:: SOT 322059 SOS 267522 HAS SOPS 267522 HAS SOUS 214514 HAS SOUPS 214514 WITH SCORE 214781.522
AT ITER 47 NEW BEST:: SOT 322059 SOS 267534 HAS SOPS 267534 HAS SOUS 214508 HAS SOUPS 214508 WITH SCORE 214775.534
AT ITER 49 NEW BEST:: SOT 322956 SOS 267736 HAS SOPS 267736 HAS SOUS 214454 HAS SOUPS 214454 WITH SCORE 214721.736
AT ITER 50 NEW BEST:: SOT 322764 SOS 267544 HAS SOPS 267544 HAS SOUS 214262 HAS SOUPS 214262 WITH SCORE 214529.544
AT ITER 51 NEW BEST:: SOT 322764 SOS 267612 HAS SOPS 267612 HAS SOUS 214216 HAS SOUPS 214216 WITH SCORE 214483.612
AT ITER 52 NEW BEST:: SOT 322764 SOS 267430 HAS SOPS 267430 HAS SOUS 214128 HAS SOUPS 214128 WITH SCORE 214395.43
AT ITER 54 NEW BEST:: SOT 322541 SOS 266635 HAS SOPS 266635 HAS SOUS 213482 HAS SOUPS 213482 WITH SCORE 213748.635
AT ITER 57 NEW BEST:: SOT 322413 SOS 266123 HAS SOPS 266123 HAS SOUS 213095 HAS SOUPS 213095 WITH SCORE 213361.123
AT ITER 59 NEW BEST:: SOT 322997 SOS 265684 HAS SOPS 265684 HAS SOUS 212402 HAS SOUPS 212402 WITH SCORE 212667.684
AT ITER 60 NEW BEST:: SOT 322714 SOS 264108 HAS SOPS 264108 HAS SOUS 211598 HAS SOUPS 211598 WITH SCORE 211862.108
AT ITER 62 NEW BEST:: SOT 322624 SOS 263212 HAS SOPS 263212 HAS SOUS 209987 HAS SOUPS 209987 WITH SCORE 210250.212
AT ITER 63 NEW BEST:: SOT 322539 SOS 262990 HAS SOPS 262990 HAS SOUS 209921 HAS SOUPS 209921 WITH SCORE 210183.99
AT ITER 64 NEW BEST:: SOT 322537 SOS 262988 HAS SOPS 262988 HAS SOUS 209917 HAS SOUPS 209917 WITH SCORE 210179.988
AT ITER 65 NEW BEST:: SOT 322343 SOS 262794 HAS SOPS 262794 HAS SOUS 209723 HAS SOUPS 209723 WITH SCORE 209985.794
AT ITER 70 NEW BEST:: SOT 322308 SOS 262526 HAS SOPS 262526 HAS SOUS 209452 HAS SOUPS 209452 WITH SCORE 209714.526
AT ITER 73 NEW BEST:: SOT 322271 SOS 262337 HAS SOPS 262337 HAS SOUS 209311 HAS SOUPS 209311 WITH SCORE 209573.337
AT ITER 82 NEW BEST:: SOT 322271 SOS 262526 HAS SOPS 262526 HAS SOUS 209197 HAS SOUPS 209197 WITH SCORE 209459.526
AT ITER 84 NEW BEST:: SOT 322244 SOS 262499 HAS SOPS 262499 HAS SOUS 209194 HAS SOUPS 209194 WITH SCORE 209456.499
AT ITER 86 NEW BEST:: SOT 322215 SOS 262412 HAS SOPS 262412 HAS SOUS 209135 HAS SOUPS 209135 WITH SCORE 209397.412
AT ITER 87 NEW BEST:: SOT 322212 SOS 262409 HAS SOPS 262409 HAS SOUS 209132 HAS SOUPS 209132 WITH SCORE 209394.409
AT ITER 88 NEW BEST:: SOT 322184 SOS 262353 HAS SOPS 262353 HAS SOUS 209076 HAS SOUPS 209076 WITH SCORE 209338.353
AT ITER 89 NEW BEST:: SOT 321878 SOS 262029 HAS SOPS 262029 HAS SOUS 208638 HAS SOUPS 208638 WITH SCORE 208900.029
AT ITER 90 NEW BEST:: SOT 321803 SOS 261954 HAS SOPS 261954 HAS SOUS 208563 HAS SOUPS 208563 WITH SCORE 208824.954
AT ITER 92 NEW BEST:: SOT 321272 SOS 261258 HAS SOPS 261258 HAS SOUS 207864 HAS SOUPS 207864 WITH SCORE 208125.258
AT ITER 98 NEW BEST:: SOT 321287 SOS 260514 HAS SOPS 260514 HAS SOUS 206970 HAS SOUPS 206970 WITH SCORE 207230.514
AT ITER 100 NEW BEST:: SOT 320714 SOS 259941 HAS SOPS 259941 HAS SOUS 206397 HAS SOUPS 206397 WITH SCORE 206656.941
AT ITER 101 NEW BEST:: SOT 320468 SOS 259112 HAS SOPS 259112 HAS SOUS 205768 HAS SOUPS 205768 WITH SCORE 206027.112
AT ITER 102 NEW BEST:: SOT 320456 SOS 258893 HAS SOPS 258893 HAS SOUS 205405 HAS SOUPS 205405 WITH SCORE 205663.893
AT ITER 107 NEW BEST:: SOT 320249 SOS 258686 HAS SOPS 258686 HAS SOUS 205198 HAS SOUPS 205198 WITH SCORE 205456.686
AT ITER 108 NEW BEST:: SOT 319970 SOS 258407 HAS SOPS 258407 HAS SOUS 204918 HAS SOUPS 204918 WITH SCORE 205176.407
AT ITER 110 NEW BEST:: SOT 319954 SOS 257828 HAS SOPS 257828 HAS SOUS 204298 HAS SOUPS 204298 WITH SCORE 204555.828
AT ITER 111 NEW BEST:: SOT 320269 SOS 256834 HAS SOPS 256834 HAS SOUS 203785 HAS SOUPS 203785 WITH SCORE 204041.834
AT ITER 113 NEW BEST:: SOT 320195 SOS 256427 HAS SOPS 256427 HAS SOUS 203633 HAS SOUPS 203633 WITH SCORE 203889.427
AT ITER 117 NEW BEST:: SOT 320295 SOS 255547 HAS SOPS 255547 HAS SOUS 202892 HAS SOUPS 202892 WITH SCORE 203147.547
AT ITER 118 NEW BEST:: SOT 320295 SOS 255456 HAS SOPS 255456 HAS SOUS 202747 HAS SOUPS 202747 WITH SCORE 203002.456
AT ITER 119 NEW BEST:: SOT 320290 SOS 255451 HAS SOPS 255451 HAS SOUS 202742 HAS SOUPS 202742 WITH SCORE 202997.451
AT ITER 121 NEW BEST:: SOT 320124 SOS 255285 HAS SOPS 255285 HAS SOUS 202381 HAS SOUPS 202381 WITH SCORE 202636.285
AT ITER 122 NEW BEST:: SOT 320072 SOS 255181 HAS SOPS 255181 HAS SOUS 202277 HAS SOUPS 202277 WITH SCORE 202532.181
AT ITER 123 NEW BEST:: SOT 320072 SOS 255178 HAS SOPS 255178 HAS SOUS 202276 HAS SOUPS 202276 WITH SCORE 202531.178
AT ITER 138 NEW BEST:: SOT 320018 SOS 254810 HAS SOPS 254810 HAS SOUS 201997 HAS SOUPS 201997 WITH SCORE 202251.81
AT ITER 139 NEW BEST:: SOT 320136 SOS 254334 HAS SOPS 254334 HAS SOUS 201773 HAS SOUPS 201773 WITH SCORE 202027.334
AT ITER 141 NEW BEST:: SOT 320161 SOS 254334 HAS SOPS 254334 HAS SOUS 201770 HAS SOUPS 201770 WITH SCORE 202024.334
AT ITER 142 NEW BEST:: SOT 320154 SOS 254317 HAS SOPS 254317 HAS SOUS 201766 HAS SOUPS 201766 WITH SCORE 202020.317
AT ITER 152 NEW BEST:: SOT 319995 SOS 254158 HAS SOPS 254158 HAS SOUS 201607 HAS SOUPS 201607 WITH SCORE 201861.158
AT ITER 155 NEW BEST:: SOT 319835 SOS 254052 HAS SOPS 254052 HAS SOUS 201473 HAS SOUPS 201473 WITH SCORE 201727.052
AT ITER 156 NEW BEST:: SOT 319833 SOS 254050 HAS SOPS 254050 HAS SOUS 201471 HAS SOUPS 201471 WITH SCORE 201725.05
AT ITER 163 NEW BEST:: SOT 320162 SOS 253965 HAS SOPS 253965 HAS SOUS 201124 HAS SOUPS 201124 WITH SCORE 201377.965
AT ITER 164 NEW BEST:: SOT 320107 SOS 252877 HAS SOPS 252877 HAS SOUS 200364 HAS SOUPS 200364 WITH SCORE 200616.877
AT ITER 165 NEW BEST:: SOT 320026 SOS 252715 HAS SOPS 252715 HAS SOUS 200364 HAS SOUPS 200364 WITH SCORE 200616.715
AT ITER 170 NEW BEST:: SOT 319876 SOS 252021 HAS SOPS 252021 HAS SOUS 199794 HAS SOUPS 199794 WITH SCORE 200046.021
AT ITER 173 NEW BEST:: SOT 319814 SOS 251895 HAS SOPS 251895 HAS SOUS 199732 HAS SOUPS 199732 WITH SCORE 199983.895
AT ITER 177 NEW BEST:: SOT 319806 SOS 251887 HAS SOPS 251887 HAS SOUS 199724 HAS SOUPS 199724 WITH SCORE 199975.887
AT ITER 179 NEW BEST:: SOT 319642 SOS 251309 HAS SOPS 251309 HAS SOUS 198985 HAS SOUPS 198985 WITH SCORE 199236.309
AT ITER 180 NEW BEST:: SOT 319331 SOS 250995 HAS SOPS 250995 HAS SOUS 198578 HAS SOUPS 198578 WITH SCORE 198828.995
AT ITER 183 NEW BEST:: SOT 319277 SOS 250941 HAS SOPS 250941 HAS SOUS 198524 HAS SOUPS 198524 WITH SCORE 198774.941
AT ITER 185 NEW BEST:: SOT 319280 SOS 250832 HAS SOPS 250832 HAS SOUS 198383 HAS SOUPS 198383 WITH SCORE 198633.832
AT ITER 187 NEW BEST:: SOT 319563 SOS 250947 HAS SOPS 250947 HAS SOUS 198125 HAS SOUPS 198125 WITH SCORE 198375.947
AT ITER 188 NEW BEST:: SOT 319533 SOS 250917 HAS SOPS 250917 HAS SOUS 198095 HAS SOUPS 198095 WITH SCORE 198345.917
AT ITER 190 NEW BEST:: SOT 319533 SOS 251005 HAS SOPS 251005 HAS SOUS 198084 HAS SOUPS 198084 WITH SCORE 198335.005
AT ITER 192 NEW BEST:: SOT 319514 SOS 250967 HAS SOPS 250967 HAS SOUS 198046 HAS SOUPS 198046 WITH SCORE 198296.967
AT ITER 193 NEW BEST:: SOT 319340 SOS 249740 HAS SOPS 249740 HAS SOUS 197045 HAS SOUPS 197045 WITH SCORE 197294.74
AT ITER 195 NEW BEST:: SOT 319337 SOS 249723 HAS SOPS 249723 HAS SOUS 197031 HAS SOUPS 197031 WITH SCORE 197280.723
AT ITER 200 NEW BEST:: SOT 319174 SOS 249211 HAS SOPS 249211 HAS SOUS 196928 HAS SOUPS 196928 WITH SCORE 197177.211
AT ITER 203 NEW BEST:: SOT 319112 SOS 249025 HAS SOPS 249025 HAS SOUS 196679 HAS SOUPS 196679 WITH SCORE 196928.025
AT ITER 204 NEW BEST:: SOT 318914 SOS 248918 HAS SOPS 248918 HAS SOUS 196575 HAS SOUPS 196575 WITH SCORE 196823.918
AT ITER 206 NEW BEST:: SOT 318775 SOS 247747 HAS SOPS 247747 HAS SOUS 196003 HAS SOUPS 196003 WITH SCORE 196250.747
AT ITER 212 NEW BEST:: SOT 318626 SOS 247598 HAS SOPS 247598 HAS SOUS 195854 HAS SOUPS 195854 WITH SCORE 196101.598
AT ITER 213 NEW BEST:: SOT 318625 SOS 247597 HAS SOPS 247597 HAS SOUS 195853 HAS SOUPS 195853 WITH SCORE 196100.597
AT ITER 219 NEW BEST:: SOT 318625 SOS 247235 HAS SOPS 247235 HAS SOUS 195491 HAS SOUPS 195491 WITH SCORE 195738.235
AT ITER 220 NEW BEST:: SOT 318811 SOS 246841 HAS SOPS 246841 HAS SOUS 195254 HAS SOUPS 195254 WITH SCORE 195500.841
AT ITER 222 NEW BEST:: SOT 319051 SOS 245763 HAS SOPS 245763 HAS SOUS 195045 HAS SOUPS 195045 WITH SCORE 195290.763
AT ITER 228 NEW BEST:: SOT 319043 SOS 245755 HAS SOPS 245755 HAS SOUS 195035 HAS SOUPS 195035 WITH SCORE 195280.755
AT ITER 237 NEW BEST:: SOT 319070 SOS 244757 HAS SOPS 244757 HAS SOUS 194262 HAS SOUPS 194262 WITH SCORE 194506.757
AT ITER 239 NEW BEST:: SOT 318921 SOS 244608 HAS SOPS 244608 HAS SOUS 194113 HAS SOUPS 194113 WITH SCORE 194357.608
AT ITER 243 NEW BEST:: SOT 318880 SOS 244499 HAS SOPS 244499 HAS SOUS 193952 HAS SOUPS 193952 WITH SCORE 194196.499
AT ITER 246 NEW BEST:: SOT 318567 SOS 244331 HAS SOPS 244331 HAS SOUS 193843 HAS SOUPS 193843 WITH SCORE 194087.331
AT ITER 247 NEW BEST:: SOT 318382 SOS 243524 HAS SOPS 243524 HAS SOUS 193175 HAS SOUPS 193175 WITH SCORE 193418.524
AT ITER 254 NEW BEST:: SOT 318417 SOS 243367 HAS SOPS 243367 HAS SOUS 193063 HAS SOUPS 193063 WITH SCORE 193306.367
AT ITER 258 NEW BEST:: SOT 317978 SOS 243189 HAS SOPS 243189 HAS SOUS 192939 HAS SOUPS 192939 WITH SCORE 193182.189
AT ITER 259 NEW BEST:: SOT 317689 SOS 242713 HAS SOPS 242713 HAS SOUS 192435 HAS SOUPS 192435 WITH SCORE 192677.713
AT ITER 269 NEW BEST:: SOT 317747 SOS 242630 HAS SOPS 242630 HAS SOUS 192385 HAS SOUPS 192385 WITH SCORE 192627.63
AT ITER 271 NEW BEST:: SOT 317934 SOS 242320 HAS SOPS 242320 HAS SOUS 192202 HAS SOUPS 192202 WITH SCORE 192444.32
AT ITER 273 NEW BEST:: SOT 317931 SOS 242317 HAS SOPS 242317 HAS SOUS 192199 HAS SOUPS 192199 WITH SCORE 192441.317
AT ITER 275 NEW BEST:: SOT 317809 SOS 242318 HAS SOPS 242318 HAS SOUS 192180 HAS SOUPS 192180 WITH SCORE 192422.318
AT ITER 277 NEW BEST:: SOT 317795 SOS 242262 HAS SOPS 242262 HAS SOUS 192151 HAS SOUPS 192151 WITH SCORE 192393.262
AT ITER 278 NEW BEST:: SOT 317478 SOS 241823 HAS SOPS 241823 HAS SOUS 191711 HAS SOUPS 191711 WITH SCORE 191952.823
AT ITER 279 NEW BEST:: SOT 316512 SOS 241104 HAS SOPS 241104 HAS SOUS 191238 HAS SOUPS 191238 WITH SCORE 191479.104
AT ITER 280 NEW BEST:: SOT 316485 SOS 241000 HAS SOPS 241000 HAS SOUS 191146 HAS SOUPS 191146 WITH SCORE 191387.0
AT ITER 281 NEW BEST:: SOT 316398 SOS 240265 HAS SOPS 240265 HAS SOUS 191001 HAS SOUPS 191001 WITH SCORE 191241.265
AT ITER 282 NEW BEST:: SOT 316273 SOS 240140 HAS SOPS 240140 HAS SOUS 190751 HAS SOUPS 190751 WITH SCORE 190991.14
AT ITER 287 NEW BEST:: SOT 316275 SOS 239911 HAS SOPS 239911 HAS SOUS 190396 HAS SOUPS 190396 WITH SCORE 190635.911
AT ITER 295 NEW BEST:: SOT 316024 SOS 237873 HAS SOPS 237873 HAS SOUS 190293 HAS SOUPS 190293 WITH SCORE 190530.873
AT ITER 298 NEW BEST:: SOT 316024 SOS 238075 HAS SOPS 238075 HAS SOUS 190207 HAS SOUPS 190207 WITH SCORE 190445.075
AT ITER 301 NEW BEST:: SOT 316446 SOS 237881 HAS SOPS 237881 HAS SOUS 190048 HAS SOUPS 190048 WITH SCORE 190285.881
AT ITER 303 NEW BEST:: SOT 316200 SOS 237635 HAS SOPS 237635 HAS SOUS 189799 HAS SOUPS 189799 WITH SCORE 190036.635
AT ITER 306 NEW BEST:: SOT 316024 SOS 236335 HAS SOPS 236335 HAS SOUS 189387 HAS SOUPS 189387 WITH SCORE 189623.335
AT ITER 309 NEW BEST:: SOT 316087 SOS 235223 HAS SOPS 235223 HAS SOUS 189351 HAS SOUPS 189351 WITH SCORE 189586.223
AT ITER 315 NEW BEST:: SOT 316114 SOS 235223 HAS SOPS 235223 HAS SOUS 189344 HAS SOUPS 189344 WITH SCORE 189579.223
AT ITER 320 NEW BEST:: SOT 316114 SOS 234837 HAS SOPS 234837 HAS SOUS 189246 HAS SOUPS 189246 WITH SCORE 189480.837
AT ITER 327 NEW BEST:: SOT 316104 SOS 234770 HAS SOPS 234770 HAS SOUS 189171 HAS SOUPS 189171 WITH SCORE 189405.77
AT ITER 328 NEW BEST:: SOT 316282 SOS 234762 HAS SOPS 234762 HAS SOUS 188680 HAS SOUPS 188680 WITH SCORE 188914.762
AT ITER 333 NEW BEST:: SOT 316183 SOS 234061 HAS SOPS 234061 HAS SOUS 188388 HAS SOUPS 188388 WITH SCORE 188622.061
AT ITER 334 NEW BEST:: SOT 316007 SOS 233917 HAS SOPS 233917 HAS SOUS 188275 HAS SOUPS 188275 WITH SCORE 188508.917
AT ITER 337 NEW BEST:: SOT 316004 SOS 233908 HAS SOPS 233908 HAS SOUS 188263 HAS SOUPS 188263 WITH SCORE 188496.908
AT ITER 338 NEW BEST:: SOT 315980 SOS 233882 HAS SOPS 233882 HAS SOUS 188213 HAS SOUPS 188213 WITH SCORE 188446.882
AT ITER 339 NEW BEST:: SOT 315980 SOS 233857 HAS SOPS 233857 HAS SOUS 188188 HAS SOUPS 188188 WITH SCORE 188421.857
AT ITER 346 NEW BEST:: SOT 315940 SOS 233788 HAS SOPS 233788 HAS SOUS 188119 HAS SOUPS 188119 WITH SCORE 188352.788
AT ITER 349 NEW BEST:: SOT 315724 SOS 233464 HAS SOPS 233464 HAS SOUS 187795 HAS SOUPS 187795 WITH SCORE 188028.464
AT ITER 350 NEW BEST:: SOT 315718 SOS 233446 HAS SOPS 233446 HAS SOUS 187760 HAS SOUPS 187760 WITH SCORE 187993.446
AT ITER 352 NEW BEST:: SOT 315718 SOS 233446 HAS SOPS 233446 HAS SOUS 187754 HAS SOUPS 187754 WITH SCORE 187987.446
AT ITER 355 NEW BEST:: SOT 315718 SOS 233425 HAS SOPS 233425 HAS SOUS 187750 HAS SOUPS 187750 WITH SCORE 187983.425
AT ITER 356 NEW BEST:: SOT 315457 SOS 233223 HAS SOPS 233223 HAS SOUS 187160 HAS SOUPS 187160 WITH SCORE 187393.223
AT ITER 358 NEW BEST:: SOT 315592 SOS 232289 HAS SOPS 232289 HAS SOUS 187052 HAS SOUPS 187052 WITH SCORE 187284.289
AT ITER 359 NEW BEST:: SOT 315587 SOS 232273 HAS SOPS 232273 HAS SOUS 187037 HAS SOUPS 187037 WITH SCORE 187269.273
AT ITER 365 NEW BEST:: SOT 315686 SOS 231836 HAS SOPS 231836 HAS SOUS 186976 HAS SOUPS 186976 WITH SCORE 187207.836
AT ITER 368 NEW BEST:: SOT 315438 SOS 231526 HAS SOPS 231526 HAS SOUS 186480 HAS SOUPS 186480 WITH SCORE 186711.526
AT ITER 369 NEW BEST:: SOT 315425 SOS 230955 HAS SOPS 230955 HAS SOUS 186403 HAS SOUPS 186403 WITH SCORE 186633.955
AT ITER 372 NEW BEST:: SOT 315270 SOS 230688 HAS SOPS 230688 HAS SOUS 185936 HAS SOUPS 185936 WITH SCORE 186166.688
AT ITER 374 NEW BEST:: SOT 315152 SOS 230570 HAS SOPS 230570 HAS SOUS 185818 HAS SOUPS 185818 WITH SCORE 186048.57
AT ITER 375 NEW BEST:: SOT 314595 SOS 229870 HAS SOPS 229870 HAS SOUS 185121 HAS SOUPS 185121 WITH SCORE 185350.87
AT ITER 380 NEW BEST:: SOT 314554 SOS 229829 HAS SOPS 229829 HAS SOUS 185121 HAS SOUPS 185121 WITH SCORE 185350.829
AT ITER 381 NEW BEST:: SOT 314554 SOS 229878 HAS SOPS 229878 HAS SOUS 185107 HAS SOUPS 185107 WITH SCORE 185336.878
AT ITER 382 NEW BEST:: SOT 313980 SOS 228914 HAS SOPS 228914 HAS SOUS 184307 HAS SOUPS 184307 WITH SCORE 184535.914
AT ITER 386 NEW BEST:: SOT 314105 SOS 228803 HAS SOPS 228803 HAS SOUS 184100 HAS SOUPS 184100 WITH SCORE 184328.803
AT ITER 392 NEW BEST:: SOT 314105 SOS 227952 HAS SOPS 227952 HAS SOUS 183821 HAS SOUPS 183821 WITH SCORE 184048.952
AT ITER 400 NEW BEST:: SOT 314105 SOS 227755 HAS SOPS 227755 HAS SOUS 183567 HAS SOUPS 183567 WITH SCORE 183794.755
AT ITER 405 NEW BEST:: SOT 313891 SOS 227541 HAS SOPS 227541 HAS SOUS 183353 HAS SOUPS 183353 WITH SCORE 183580.541
AT ITER 409 NEW BEST:: SOT 313735 SOS 227385 HAS SOPS 227385 HAS SOUS 183197 HAS SOUPS 183197 WITH SCORE 183424.385
AT ITER 411 NEW BEST:: SOT 313262 SOS 226951 HAS SOPS 226951 HAS SOUS 182651 HAS SOUPS 182651 WITH SCORE 182877.951
AT ITER 413 NEW BEST:: SOT 312984 SOS 226669 HAS SOPS 226669 HAS SOUS 182371 HAS SOUPS 182371 WITH SCORE 182597.669
AT ITER 414 NEW BEST:: SOT 312973 SOS 226658 HAS SOPS 226658 HAS SOUS 182359 HAS SOUPS 182359 WITH SCORE 182585.658
AT ITER 417 NEW BEST:: SOT 312953 SOS 226638 HAS SOPS 226638 HAS SOUS 182339 HAS SOUPS 182339 WITH SCORE 182565.638
AT ITER 421 NEW BEST:: SOT 312880 SOS 226624 HAS SOPS 226624 HAS SOUS 182179 HAS SOUPS 182179 WITH SCORE 182405.624
AT ITER 424 NEW BEST:: SOT 312703 SOS 225918 HAS SOPS 225918 HAS SOUS 181302 HAS SOUPS 181302 WITH SCORE 181527.918
AT ITER 429 NEW BEST:: SOT 312695 SOS 225895 HAS SOPS 225895 HAS SOUS 181278 HAS SOUPS 181278 WITH SCORE 181503.895
AT ITER 434 NEW BEST:: SOT 312609 SOS 225603 HAS SOPS 225603 HAS SOUS 180868 HAS SOUPS 180868 WITH SCORE 181093.603
AT ITER 437 NEW BEST:: SOT 312270 SOS 225318 HAS SOPS 225318 HAS SOUS 180637 HAS SOUPS 180637 WITH SCORE 180862.318
AT ITER 444 NEW BEST:: SOT 312008 SOS 224752 HAS SOPS 224752 HAS SOUS 179887 HAS SOUPS 179887 WITH SCORE 180111.752
AT ITER 445 NEW BEST:: SOT 311386 SOS 224077 HAS SOPS 224077 HAS SOUS 179106 HAS SOUPS 179106 WITH SCORE 179330.077
AT ITER 446 NEW BEST:: SOT 311417 SOS 224092 HAS SOPS 224092 HAS SOUS 179079 HAS SOUPS 179079 WITH SCORE 179303.092
AT ITER 447 NEW BEST:: SOT 311465 SOS 223441 HAS SOPS 223441 HAS SOUS 178772 HAS SOUPS 178772 WITH SCORE 178995.441
AT ITER 450 NEW BEST:: SOT 311465 SOS 223511 HAS SOPS 223511 HAS SOUS 178755 HAS SOUPS 178755 WITH SCORE 178978.511
AT ITER 458 NEW BEST:: SOT 311492 SOS 223406 HAS SOPS 223406 HAS SOUS 178671 HAS SOUPS 178671 WITH SCORE 178894.406
AT ITER 461 NEW BEST:: SOT 311492 SOS 222938 HAS SOPS 222938 HAS SOUS 178302 HAS SOUPS 178302 WITH SCORE 178524.938
AT ITER 463 NEW BEST:: SOT 311518 SOS 222964 HAS SOPS 222964 HAS SOUS 178268 HAS SOUPS 178268 WITH SCORE 178490.964
AT ITER 464 NEW BEST:: SOT 311416 SOS 222862 HAS SOPS 222862 HAS SOUS 178166 HAS SOUPS 178166 WITH SCORE 178388.862
AT ITER 465 NEW BEST:: SOT 311312 SOS 222605 HAS SOPS 222605 HAS SOUS 177963 HAS SOUPS 177963 WITH SCORE 178185.605
AT ITER 466 NEW BEST:: SOT 311311 SOS 222603 HAS SOPS 222603 HAS SOUS 177961 HAS SOUPS 177961 WITH SCORE 178183.603
AT ITER 467 NEW BEST:: SOT 311272 SOS 222524 HAS SOPS 222524 HAS SOUS 177882 HAS SOUPS 177882 WITH SCORE 178104.524
AT ITER 469 NEW BEST:: SOT 311163 SOS 221967 HAS SOPS 221967 HAS SOUS 177307 HAS SOUPS 177307 WITH SCORE 177528.967
AT ITER 472 NEW BEST:: SOT 310932 SOS 221746 HAS SOPS 221746 HAS SOUS 176808 HAS SOUPS 176808 WITH SCORE 177029.746
AT ITER 475 NEW BEST:: SOT 310927 SOS 221739 HAS SOPS 221739 HAS SOUS 176807 HAS SOUPS 176807 WITH SCORE 177028.739
AT ITER 480 NEW BEST:: SOT 310716 SOS 221826 HAS SOPS 221826 HAS SOUS 176683 HAS SOUPS 176683 WITH SCORE 176904.826
AT ITER 484 NEW BEST:: SOT 310721 SOS 221968 HAS SOPS 221968 HAS SOUS 176675 HAS SOUPS 176675 WITH SCORE 176896.968
AT ITER 485 NEW BEST:: SOT 310792 SOS 221885 HAS SOPS 221885 HAS SOUS 176659 HAS SOUPS 176659 WITH SCORE 176880.885
AT ITER 486 NEW BEST:: SOT 310813 SOS 221785 HAS SOPS 221785 HAS SOUS 176650 HAS SOUPS 176650 WITH SCORE 176871.785
AT ITER 490 NEW BEST:: SOT 310910 SOS 221851 HAS SOPS 221851 HAS SOUS 176586 HAS SOUPS 176586 WITH SCORE 176807.851
AT ITER 491 NEW BEST:: SOT 311004 SOS 221963 HAS SOPS 221963 HAS SOUS 176435 HAS SOUPS 176435 WITH SCORE 176656.963
AT ITER 493 NEW BEST:: SOT 310917 SOS 221751 HAS SOPS 221751 HAS SOUS 176435 HAS SOUPS 176435 WITH SCORE 176656.751
AT ITER 494 NEW BEST:: SOT 310931 SOS 221665 HAS SOPS 221665 HAS SOUS 176428 HAS SOUPS 176428 WITH SCORE 176649.665
AT ITER 500 NEW BEST:: SOT 310879 SOS 221505 HAS SOPS 221505 HAS SOUS 176353 HAS SOUPS 176353 WITH SCORE 176574.505
AT ITER 504 NEW BEST:: SOT 311167 SOS 222199 HAS SOPS 222199 HAS SOUS 176238 HAS SOUPS 176238 WITH SCORE 176460.199
AT ITER 505 NEW BEST:: SOT 311256 SOS 221892 HAS SOPS 221892 HAS SOUS 175724 HAS SOUPS 175724 WITH SCORE 175945.892
AT ITER 511 NEW BEST:: SOT 311156 SOS 221692 HAS SOPS 221692 HAS SOUS 175528 HAS SOUPS 175528 WITH SCORE 175749.692
AT ITER 515 NEW BEST:: SOT 311156 SOS 221842 HAS SOPS 221842 HAS SOUS 175454 HAS SOUPS 175454 WITH SCORE 175675.842
AT ITER 518 NEW BEST:: SOT 311156 SOS 221790 HAS SOPS 221790 HAS SOUS 175405 HAS SOUPS 175405 WITH SCORE 175626.79
AT ITER 524 NEW BEST:: SOT 311112 SOS 221640 HAS SOPS 221640 HAS SOUS 175337 HAS SOUPS 175337 WITH SCORE 175558.64
AT ITER 525 NEW BEST:: SOT 311112 SOS 221643 HAS SOPS 221643 HAS SOUS 175334 HAS SOUPS 175334 WITH SCORE 175555.643
AT ITER 549 NEW BEST:: SOT 310572 SOS 220951 HAS SOPS 220951 HAS SOUS 174369 HAS SOUPS 174369 WITH SCORE 174589.951
AT ITER 550 NEW BEST:: SOT 310592 SOS 220977 HAS SOPS 220977 HAS SOUS 174031 HAS SOUPS 174031 WITH SCORE 174251.977
AT ITER 556 NEW BEST:: SOT 310727 SOS 220774 HAS SOPS 220774 HAS SOUS 173963 HAS SOUPS 173963 WITH SCORE 174183.774
AT ITER 562 NEW BEST:: SOT 310599 SOS 220562 HAS SOPS 220562 HAS SOUS 173715 HAS SOUPS 173715 WITH SCORE 173935.562
AT ITER 569 NEW BEST:: SOT 310698 SOS 220600 HAS SOPS 220600 HAS SOUS 173602 HAS SOUPS 173602 WITH SCORE 173822.6
AT ITER 577 NEW BEST:: SOT 310075 SOS 219674 HAS SOPS 219674 HAS SOUS 173054 HAS SOUPS 173054 WITH SCORE 173273.674
AT ITER 579 NEW BEST:: SOT 310058 SOS 219631 HAS SOPS 219631 HAS SOUS 173024 HAS SOUPS 173024 WITH SCORE 173243.631
AT ITER 581 NEW BEST:: SOT 310359 SOS 220011 HAS SOPS 220011 HAS SOUS 172997 HAS SOUPS 172997 WITH SCORE 173217.011
AT ITER 583 NEW BEST:: SOT 310093 SOS 220057 HAS SOPS 220057 HAS SOUS 172241 HAS SOUPS 172241 WITH SCORE 172461.057
AT ITER 584 NEW BEST:: SOT 310093 SOS 219979 HAS SOPS 219979 HAS SOUS 172161 HAS SOUPS 172161 WITH SCORE 172380.979
AT ITER 589 NEW BEST:: SOT 310052 SOS 219941 HAS SOPS 219941 HAS SOUS 172129 HAS SOUPS 172129 WITH SCORE 172348.941
AT ITER 598 NEW BEST:: SOT 310052 SOS 220182 HAS SOPS 220182 HAS SOUS 172104 HAS SOUPS 172104 WITH SCORE 172324.182
AT ITER 599 NEW BEST:: SOT 310028 SOS 220158 HAS SOPS 220158 HAS SOUS 172080 HAS SOUPS 172080 WITH SCORE 172300.158
AT ITER 602 NEW BEST:: SOT 309971 SOS 220101 HAS SOPS 220101 HAS SOUS 172023 HAS SOUPS 172023 WITH SCORE 172243.101
AT ITER 603 NEW BEST:: SOT 310004 SOS 219801 HAS SOPS 219801 HAS SOUS 172010 HAS SOUPS 172010 WITH SCORE 172229.801
AT ITER 606 NEW BEST:: SOT 309910 SOS 219882 HAS SOPS 219882 HAS SOUS 171998 HAS SOUPS 171998 WITH SCORE 172217.882
AT ITER 607 NEW BEST:: SOT 309664 SOS 219496 HAS SOPS 219496 HAS SOUS 171612 HAS SOUPS 171612 WITH SCORE 171831.496
AT ITER 609 NEW BEST:: SOT 309757 SOS 219208 HAS SOPS 219208 HAS SOUS 171075 HAS SOUPS 171075 WITH SCORE 171294.208
AT ITER 610 NEW BEST:: SOT 308985 SOS 218561 HAS SOPS 218561 HAS SOUS 170343 HAS SOUPS 170343 WITH SCORE 170561.561
AT ITER 612 NEW BEST:: SOT 308985 SOS 218652 HAS SOPS 218652 HAS SOUS 170261 HAS SOUPS 170261 WITH SCORE 170479.652
AT ITER 615 NEW BEST:: SOT 308959 SOS 218626 HAS SOPS 218626 HAS SOUS 170235 HAS SOUPS 170235 WITH SCORE 170453.626
AT ITER 625 NEW BEST:: SOT 308868 SOS 218444 HAS SOPS 218444 HAS SOUS 170209 HAS SOUPS 170209 WITH SCORE 170427.444
AT ITER 627 NEW BEST:: SOT 308877 SOS 217966 HAS SOPS 217966 HAS SOUS 170049 HAS SOUPS 170049 WITH SCORE 170266.966
AT ITER 628 NEW BEST:: SOT 308619 SOS 217621 HAS SOPS 217621 HAS SOUS 169356 HAS SOUPS 169356 WITH SCORE 169573.621
AT ITER 629 NEW BEST:: SOT 308630 SOS 217376 HAS SOPS 217376 HAS SOUS 169116 HAS SOUPS 169116 WITH SCORE 169333.376
AT ITER 637 NEW BEST:: SOT 308341 SOS 217087 HAS SOPS 217087 HAS SOUS 168853 HAS SOUPS 168853 WITH SCORE 169070.087
AT ITER 640 NEW BEST:: SOT 308147 SOS 216893 HAS SOPS 216893 HAS SOUS 168659 HAS SOUPS 168659 WITH SCORE 168875.893
AT ITER 646 NEW BEST:: SOT 307916 SOS 216654 HAS SOPS 216654 HAS SOUS 168418 HAS SOUPS 168418 WITH SCORE 168634.654
AT ITER 647 NEW BEST:: SOT 307878 SOS 216616 HAS SOPS 216616 HAS SOUS 168380 HAS SOUPS 168380 WITH SCORE 168596.616
AT ITER 648 NEW BEST:: SOT 307851 SOS 215702 HAS SOPS 215702 HAS SOUS 168304 HAS SOUPS 168304 WITH SCORE 168519.702
AT ITER 655 NEW BEST:: SOT 307851 SOS 215715 HAS SOPS 215715 HAS SOUS 168250 HAS SOUPS 168250 WITH SCORE 168465.715
AT ITER 656 NEW BEST:: SOT 307851 SOS 215508 HAS SOPS 215508 HAS SOUS 168227 HAS SOUPS 168227 WITH SCORE 168442.508
AT ITER 658 NEW BEST:: SOT 307887 SOS 215569 HAS SOPS 215569 HAS SOUS 168153 HAS SOUPS 168153 WITH SCORE 168368.569
AT ITER 666 NEW BEST:: SOT 307857 SOS 215531 HAS SOPS 215531 HAS SOUS 168115 HAS SOUPS 168115 WITH SCORE 168330.531
AT ITER 671 NEW BEST:: SOT 308137 SOS 215811 HAS SOPS 215811 HAS SOUS 168111 HAS SOUPS 168111 WITH SCORE 168326.811
AT ITER 672 NEW BEST:: SOT 308137 SOS 215723 HAS SOPS 215723 HAS SOUS 168070 HAS SOUPS 168070 WITH SCORE 168285.723
AT ITER 675 NEW BEST:: SOT 308236 SOS 215822 HAS SOPS 215822 HAS SOUS 168020 HAS SOUPS 168020 WITH SCORE 168235.822
AT ITER 679 NEW BEST:: SOT 308196 SOS 215780 HAS SOPS 215780 HAS SOUS 167973 HAS SOUPS 167973 WITH SCORE 168188.78
AT ITER 681 NEW BEST:: SOT 308116 SOS 215624 HAS SOPS 215624 HAS SOUS 167810 HAS SOUPS 167810 WITH SCORE 168025.624
AT ITER 683 NEW BEST:: SOT 308189 SOS 215614 HAS SOPS 215614 HAS SOUS 167788 HAS SOUPS 167788 WITH SCORE 168003.614
AT ITER 690 NEW BEST:: SOT 308074 SOS 215499 HAS SOPS 215499 HAS SOUS 167673 HAS SOUPS 167673 WITH SCORE 167888.499
AT ITER 697 NEW BEST:: SOT 307777 SOS 215107 HAS SOPS 215107 HAS SOUS 167354 HAS SOUPS 167354 WITH SCORE 167569.107
AT ITER 699 NEW BEST:: SOT 307786 SOS 214779 HAS SOPS 214779 HAS SOUS 166868 HAS SOUPS 166868 WITH SCORE 167082.779
AT ITER 701 NEW BEST:: SOT 307786 SOS 214819 HAS SOPS 214819 HAS SOUS 166828 HAS SOUPS 166828 WITH SCORE 167042.819
AT ITER 708 NEW BEST:: SOT 307592 SOS 214622 HAS SOPS 214622 HAS SOUS 166393 HAS SOUPS 166393 WITH SCORE 166607.622
AT ITER 713 NEW BEST:: SOT 307212 SOS 213200 HAS SOPS 213200 HAS SOUS 165257 HAS SOUPS 165257 WITH SCORE 165470.2
AT ITER 714 NEW BEST:: SOT 306892 SOS 211984 HAS SOPS 211984 HAS SOUS 164154 HAS SOUPS 164154 WITH SCORE 164365.984
AT ITER 717 NEW BEST:: SOT 306973 SOS 211160 HAS SOPS 211160 HAS SOUS 163204 HAS SOUPS 163204 WITH SCORE 163415.16
AT ITER 718 NEW BEST:: SOT 306973 SOS 211005 HAS SOPS 211005 HAS SOUS 163173 HAS SOUPS 163173 WITH SCORE 163384.005
AT ITER 719 NEW BEST:: SOT 306973 SOS 211005 HAS SOPS 211005 HAS SOUS 163160 HAS SOUPS 163160 WITH SCORE 163371.005
AT ITER 724 NEW BEST:: SOT 306921 SOS 210799 HAS SOPS 210799 HAS SOUS 162962 HAS SOUPS 162962 WITH SCORE 163172.799
AT ITER 726 NEW BEST:: SOT 306593 SOS 210260 HAS SOPS 210260 HAS SOUS 162408 HAS SOUPS 162408 WITH SCORE 162618.26
AT ITER 728 NEW BEST:: SOT 306382 SOS 209990 HAS SOPS 209990 HAS SOUS 162114 HAS SOUPS 162114 WITH SCORE 162323.99
AT ITER 729 NEW BEST:: SOT 306336 SOS 209867 HAS SOPS 209867 HAS SOUS 162016 HAS SOUPS 162016 WITH SCORE 162225.867
AT ITER 730 NEW BEST:: SOT 306400 SOS 209718 HAS SOPS 209718 HAS SOUS 161950 HAS SOUPS 161950 WITH SCORE 162159.718
AT ITER 735 NEW BEST:: SOT 306268 SOS 209586 HAS SOPS 209586 HAS SOUS 161798 HAS SOUPS 161798 WITH SCORE 162007.586
AT ITER 748 NEW BEST:: SOT 306231 SOS 209383 HAS SOPS 209383 HAS SOUS 161600 HAS SOUPS 161600 WITH SCORE 161809.383
AT ITER 749 NEW BEST:: SOT 306028 SOS 209180 HAS SOPS 209180 HAS SOUS 161289 HAS SOUPS 161289 WITH SCORE 161498.18
AT ITER 759 NEW BEST:: SOT 305991 SOS 208863 HAS SOPS 208863 HAS SOUS 160924 HAS SOUPS 160924 WITH SCORE 161132.863
AT ITER 760 NEW BEST:: SOT 305797 SOS 208572 HAS SOPS 208572 HAS SOUS 160592 HAS SOUPS 160592 WITH SCORE 160800.572
AT ITER 762 NEW BEST:: SOT 305664 SOS 208403 HAS SOPS 208403 HAS SOUS 160423 HAS SOUPS 160423 WITH SCORE 160631.403
AT ITER 771 NEW BEST:: SOT 305594 SOS 208333 HAS SOPS 208333 HAS SOUS 160073 HAS SOUPS 160073 WITH SCORE 160281.333
AT ITER 774 NEW BEST:: SOT 305522 SOS 208385 HAS SOPS 208385 HAS SOUS 159860 HAS SOUPS 159860 WITH SCORE 160068.385
AT ITER 777 NEW BEST:: SOT 305478 SOS 208341 HAS SOPS 208341 HAS SOUS 159816 HAS SOUPS 159816 WITH SCORE 160024.341
AT ITER 787 NEW BEST:: SOT 305478 SOS 208321 HAS SOPS 208321 HAS SOUS 159808 HAS SOUPS 159808 WITH SCORE 160016.321
AT ITER 791 NEW BEST:: SOT 305584 SOS 208574 HAS SOPS 208574 HAS SOUS 159622 HAS SOUPS 159622 WITH SCORE 159830.574
AT ITER 793 NEW BEST:: SOT 305443 SOS 208324 HAS SOPS 208324 HAS SOUS 159569 HAS SOUPS 159569 WITH SCORE 159777.324
AT ITER 799 NEW BEST:: SOT 305382 SOS 206814 HAS SOPS 206814 HAS SOUS 158619 HAS SOUPS 158619 WITH SCORE 158825.814
AT ITER 804 NEW BEST:: SOT 305382 SOS 206979 HAS SOPS 206979 HAS SOUS 158439 HAS SOUPS 158439 WITH SCORE 158645.979
AT ITER 815 NEW BEST:: SOT 305135 SOS 206732 HAS SOPS 206732 HAS SOUS 158192 HAS SOUPS 158192 WITH SCORE 158398.732
AT ITER 817 NEW BEST:: SOT 305683 SOS 207567 HAS SOPS 207567 HAS SOUS 157958 HAS SOUPS 157958 WITH SCORE 158165.567
AT ITER 823 NEW BEST:: SOT 305683 SOS 206783 HAS SOPS 206783 HAS SOUS 157028 HAS SOUPS 157028 WITH SCORE 157234.783
AT ITER 826 NEW BEST:: SOT 305676 SOS 206818 HAS SOPS 206818 HAS SOUS 156997 HAS SOUPS 156997 WITH SCORE 157203.818
AT ITER 827 NEW BEST:: SOT 305406 SOS 206536 HAS SOPS 206536 HAS SOUS 156715 HAS SOUPS 156715 WITH SCORE 156921.536
AT ITER 829 NEW BEST:: SOT 305167 SOS 206297 HAS SOPS 206297 HAS SOUS 156409 HAS SOUPS 156409 WITH SCORE 156615.297
AT ITER 831 NEW BEST:: SOT 305224 SOS 206205 HAS SOPS 206205 HAS SOUS 156385 HAS SOUPS 156385 WITH SCORE 156591.205
AT ITER 832 NEW BEST:: SOT 304711 SOS 204468 HAS SOPS 204468 HAS SOUS 155151 HAS SOUPS 155151 WITH SCORE 155355.468
AT ITER 834 NEW BEST:: SOT 304546 SOS 204303 HAS SOPS 204303 HAS SOUS 154986 HAS SOUPS 154986 WITH SCORE 155190.303
AT ITER 835 NEW BEST:: SOT 304493 SOS 203879 HAS SOPS 203879 HAS SOUS 154880 HAS SOUPS 154880 WITH SCORE 155083.879
AT ITER 837 NEW BEST:: SOT 304468 SOS 203854 HAS SOPS 203854 HAS SOUS 154859 HAS SOUPS 154859 WITH SCORE 155062.854
AT ITER 838 NEW BEST:: SOT 304366 SOS 203446 HAS SOPS 203446 HAS SOUS 154553 HAS SOUPS 154553 WITH SCORE 154756.446
AT ITER 841 NEW BEST:: SOT 304339 SOS 203398 HAS SOPS 203398 HAS SOUS 154438 HAS SOUPS 154438 WITH SCORE 154641.398
AT ITER 842 NEW BEST:: SOT 304339 SOS 203288 HAS SOPS 203288 HAS SOUS 154438 HAS SOUPS 154438 WITH SCORE 154641.288
AT ITER 843 NEW BEST:: SOT 304151 SOS 201820 HAS SOPS 201820 HAS SOUS 153887 HAS SOUPS 153887 WITH SCORE 154088.82
AT ITER 847 NEW BEST:: SOT 304082 SOS 200939 HAS SOPS 200939 HAS SOUS 153643 HAS SOUPS 153643 WITH SCORE 153843.939
AT ITER 849 NEW BEST:: SOT 304195 SOS 200976 HAS SOPS 200976 HAS SOUS 153454 HAS SOUPS 153454 WITH SCORE 153654.976
AT ITER 850 NEW BEST:: SOT 303922 SOS 200407 HAS SOPS 200407 HAS SOUS 153060 HAS SOUPS 153060 WITH SCORE 153260.407
AT ITER 851 NEW BEST:: SOT 304101 SOS 200707 HAS SOPS 200707 HAS SOUS 152659 HAS SOUPS 152659 WITH SCORE 152859.707
AT ITER 858 NEW BEST:: SOT 304071 SOS 200677 HAS SOPS 200677 HAS SOUS 152607 HAS SOUPS 152607 WITH SCORE 152807.677
AT ITER 860 NEW BEST:: SOT 303719 SOS 198741 HAS SOPS 198741 HAS SOUS 151748 HAS SOUPS 151748 WITH SCORE 151946.741
AT ITER 865 NEW BEST:: SOT 303680 SOS 198401 HAS SOPS 198401 HAS SOUS 151702 HAS SOUPS 151702 WITH SCORE 151900.401
AT ITER 866 NEW BEST:: SOT 303680 SOS 198341 HAS SOPS 198341 HAS SOUS 151665 HAS SOUPS 151665 WITH SCORE 151863.341
AT ITER 867 NEW BEST:: SOT 303663 SOS 198167 HAS SOPS 198167 HAS SOUS 151631 HAS SOUPS 151631 WITH SCORE 151829.167
AT ITER 869 NEW BEST:: SOT 303663 SOS 198167 HAS SOPS 198167 HAS SOUS 151629 HAS SOUPS 151629 WITH SCORE 151827.167
AT ITER 871 NEW BEST:: SOT 303699 SOS 198208 HAS SOPS 198208 HAS SOUS 151521 HAS SOUPS 151521 WITH SCORE 151719.208
AT ITER 875 NEW BEST:: SOT 303679 SOS 198184 HAS SOPS 198184 HAS SOUS 151497 HAS SOUPS 151497 WITH SCORE 151695.184
AT ITER 876 NEW BEST:: SOT 303577 SOS 198041 HAS SOPS 198041 HAS SOUS 151391 HAS SOUPS 151391 WITH SCORE 151589.041
AT ITER 877 NEW BEST:: SOT 303578 SOS 197860 HAS SOPS 197860 HAS SOUS 151329 HAS SOUPS 151329 WITH SCORE 151526.86
AT ITER 882 NEW BEST:: SOT 303398 SOS 197061 HAS SOPS 197061 HAS SOUS 150691 HAS SOUPS 150691 WITH SCORE 150888.061
AT ITER 886 NEW BEST:: SOT 303242 SOS 196749 HAS SOPS 196749 HAS SOUS 150691 HAS SOUPS 150691 WITH SCORE 150887.749
AT ITER 887 NEW BEST:: SOT 303082 SOS 196589 HAS SOPS 196589 HAS SOUS 150531 HAS SOUPS 150531 WITH SCORE 150727.589
AT ITER 899 NEW BEST:: SOT 302975 SOS 195163 HAS SOPS 195163 HAS SOUS 149856 HAS SOUPS 149856 WITH SCORE 150051.163
AT ITER 900 NEW BEST:: SOT 302851 SOS 194750 HAS SOPS 194750 HAS SOUS 149613 HAS SOUPS 149613 WITH SCORE 149807.75
AT ITER 901 NEW BEST:: SOT 303114 SOS 195141 HAS SOPS 195141 HAS SOUS 149485 HAS SOUPS 149485 WITH SCORE 149680.141
AT ITER 907 NEW BEST:: SOT 302957 SOS 194479 HAS SOPS 194479 HAS SOUS 148824 HAS SOUPS 148824 WITH SCORE 149018.479
AT ITER 911 NEW BEST:: SOT 303046 SOS 194779 HAS SOPS 194779 HAS SOUS 148331 HAS SOUPS 148331 WITH SCORE 148525.779
AT ITER 912 NEW BEST:: SOT 302875 SOS 194556 HAS SOPS 194556 HAS SOUS 148265 HAS SOUPS 148265 WITH SCORE 148459.556
AT ITER 913 NEW BEST:: SOT 303044 SOS 194419 HAS SOPS 194419 HAS SOUS 148128 HAS SOUPS 148128 WITH SCORE 148322.419
AT ITER 916 NEW BEST:: SOT 302975 SOS 194350 HAS SOPS 194350 HAS SOUS 148092 HAS SOUPS 148092 WITH SCORE 148286.35
AT ITER 917 NEW BEST:: SOT 302915 SOS 194290 HAS SOPS 194290 HAS SOUS 148031 HAS SOUPS 148031 WITH SCORE 148225.29
AT ITER 918 NEW BEST:: SOT 302915 SOS 193995 HAS SOPS 193995 HAS SOUS 147972 HAS SOUPS 147972 WITH SCORE 148165.995
AT ITER 931 NEW BEST:: SOT 302905 SOS 193985 HAS SOPS 193985 HAS SOUS 147952 HAS SOUPS 147952 WITH SCORE 148145.985
AT ITER 933 NEW BEST:: SOT 302845 SOS 193925 HAS SOPS 193925 HAS SOUS 147892 HAS SOUPS 147892 WITH SCORE 148085.925
AT ITER 942 NEW BEST:: SOT 302711 SOS 192324 HAS SOPS 192324 HAS SOUS 147688 HAS SOUPS 147688 WITH SCORE 147880.324
AT ITER 945 NEW BEST:: SOT 302985 SOS 192442 HAS SOPS 192442 HAS SOUS 147584 HAS SOUPS 147584 WITH SCORE 147776.442
AT ITER 949 NEW BEST:: SOT 302918 SOS 192308 HAS SOPS 192308 HAS SOUS 147358 HAS SOUPS 147358 WITH SCORE 147550.308
AT ITER 954 NEW BEST:: SOT 302918 SOS 192375 HAS SOPS 192375 HAS SOUS 147346 HAS SOUPS 147346 WITH SCORE 147538.375
AT ITER 959 NEW BEST:: SOT 302664 SOS 192116 HAS SOPS 192116 HAS SOUS 147085 HAS SOUPS 147085 WITH SCORE 147277.116
AT ITER 960 NEW BEST:: SOT 302587 SOS 191928 HAS SOPS 191928 HAS SOUS 147007 HAS SOUPS 147007 WITH SCORE 147198.928
AT ITER 962 NEW BEST:: SOT 301878 SOS 190839 HAS SOPS 190839 HAS SOUS 145894 HAS SOUPS 145894 WITH SCORE 146084.839
AT ITER 964 NEW BEST:: SOT 301834 SOS 190146 HAS SOPS 190146 HAS SOUS 145890 HAS SOUPS 145890 WITH SCORE 146080.146
AT ITER 965 NEW BEST:: SOT 301658 SOS 189926 HAS SOPS 189926 HAS SOUS 145494 HAS SOUPS 145494 WITH SCORE 145683.926
AT ITER 969 NEW BEST:: SOT 301560 SOS 189534 HAS SOPS 189534 HAS SOUS 145441 HAS SOUPS 145441 WITH SCORE 145630.534
AT ITER 971 NEW BEST:: SOT 301540 SOS 189418 HAS SOPS 189418 HAS SOUS 145366 HAS SOUPS 145366 WITH SCORE 145555.418
AT ITER 973 NEW BEST:: SOT 301790 SOS 188983 HAS SOPS 188983 HAS SOUS 145282 HAS SOUPS 145282 WITH SCORE 145470.983
AT ITER 974 NEW BEST:: SOT 301716 SOS 188909 HAS SOPS 188909 HAS SOUS 145134 HAS SOUPS 145134 WITH SCORE 145322.909
AT ITER 975 NEW BEST:: SOT 301562 SOS 188873 HAS SOPS 188873 HAS SOUS 145063 HAS SOUPS 145063 WITH SCORE 145251.873
AT ITER 983 NEW BEST:: SOT 301508 SOS 189023 HAS SOPS 189023 HAS SOUS 145060 HAS SOUPS 145060 WITH SCORE 145249.023
AT ITER 994 NEW BEST:: SOT 301504 SOS 189019 HAS SOPS 189019 HAS SOUS 145055 HAS SOUPS 145055 WITH SCORE 145244.019
AT ITER 995 NEW BEST:: SOT 301705 SOS 188152 HAS SOPS 188152 HAS SOUS 144924 HAS SOUPS 144924 WITH SCORE 145112.152
AT ITER 998 NEW BEST:: SOT 301695 SOS 188112 HAS SOPS 188112 HAS SOUS 144924 HAS SOUPS 144924 WITH SCORE 145112.112
AT ITER 1001 NEW BEST:: SOT 301543 SOS 187835 HAS SOPS 187835 HAS SOUS 144709 HAS SOUPS 144709 WITH SCORE 144896.835
AT ITER 1017 NEW BEST:: SOT 301754 SOS 187679 HAS SOPS 187679 HAS SOUS 144448 HAS SOUPS 144448 WITH SCORE 144635.679
AT ITER 1022 NEW BEST:: SOT 301714 SOS 187591 HAS SOPS 187591 HAS SOUS 144416 HAS SOUPS 144416 WITH SCORE 144603.591
AT ITER 1025 NEW BEST:: SOT 301551 SOS 187428 HAS SOPS 187428 HAS SOUS 144253 HAS SOUPS 144253 WITH SCORE 144440.428
AT ITER 1028 NEW BEST:: SOT 301548 SOS 187416 HAS SOPS 187416 HAS SOUS 144239 HAS SOUPS 144239 WITH SCORE 144426.416
AT ITER 1029 NEW BEST:: SOT 301173 SOS 187041 HAS SOPS 187041 HAS SOUS 143864 HAS SOUPS 143864 WITH SCORE 144051.041
AT ITER 1033 NEW BEST:: SOT 300872 SOS 186858 HAS SOPS 186858 HAS SOUS 143684 HAS SOUPS 143684 WITH SCORE 143870.858
AT ITER 1034 NEW BEST:: SOT 300769 SOS 186755 HAS SOPS 186755 HAS SOUS 143581 HAS SOUPS 143581 WITH SCORE 143767.755
AT ITER 1042 NEW BEST:: SOT 301057 SOS 187044 HAS SOPS 187044 HAS SOUS 143379 HAS SOUPS 143379 WITH SCORE 143566.044
AT ITER 1049 NEW BEST:: SOT 300936 SOS 186263 HAS SOPS 186263 HAS SOUS 142705 HAS SOUPS 142705 WITH SCORE 142891.263
AT ITER 1050 NEW BEST:: SOT 300434 SOS 185662 HAS SOPS 185662 HAS SOUS 142080 HAS SOUPS 142080 WITH SCORE 142265.662
AT ITER 1055 NEW BEST:: SOT 300190 SOS 185372 HAS SOPS 185372 HAS SOUS 141763 HAS SOUPS 141763 WITH SCORE 141948.372
AT ITER 1056 NEW BEST:: SOT 300014 SOS 185052 HAS SOPS 185052 HAS SOUS 141316 HAS SOUPS 141316 WITH SCORE 141501.052
AT ITER 1064 NEW BEST:: SOT 300014 SOS 185040 HAS SOPS 185040 HAS SOUS 141316 HAS SOUPS 141316 WITH SCORE 141501.04
AT ITER 1065 NEW BEST:: SOT 299939 SOS 184960 HAS SOPS 184960 HAS SOUS 141278 HAS SOUPS 141278 WITH SCORE 141462.96
AT ITER 1067 NEW BEST:: SOT 299472 SOS 184493 HAS SOPS 184493 HAS SOUS 140787 HAS SOUPS 140787 WITH SCORE 140971.493
AT ITER 1081 NEW BEST:: SOT 299253 SOS 184083 HAS SOPS 184083 HAS SOUS 140142 HAS SOUPS 140142 WITH SCORE 140326.083
AT ITER 1083 NEW BEST:: SOT 299214 SOS 183981 HAS SOPS 183981 HAS SOUS 139957 HAS SOUPS 139957 WITH SCORE 140140.981
AT ITER 1086 NEW BEST:: SOT 299138 SOS 183905 HAS SOPS 183905 HAS SOUS 139826 HAS SOUPS 139826 WITH SCORE 140009.905
AT ITER 1088 NEW BEST:: SOT 299138 SOS 183818 HAS SOPS 183818 HAS SOUS 139784 HAS SOUPS 139784 WITH SCORE 139967.818
AT ITER 1089 NEW BEST:: SOT 299060 SOS 183652 HAS SOPS 183652 HAS SOUS 139784 HAS SOUPS 139784 WITH SCORE 139967.652
AT ITER 1096 NEW BEST:: SOT 299080 SOS 183601 HAS SOPS 183601 HAS SOUS 139681 HAS SOUPS 139681 WITH SCORE 139864.601
AT ITER 1104 NEW BEST:: SOT 299101 SOS 183421 HAS SOPS 183421 HAS SOUS 139473 HAS SOUPS 139473 WITH SCORE 139656.421
AT ITER 1105 NEW BEST:: SOT 299101 SOS 183258 HAS SOPS 183258 HAS SOUS 139241 HAS SOUPS 139241 WITH SCORE 139424.258
AT ITER 1108 NEW BEST:: SOT 299072 SOS 183208 HAS SOPS 183208 HAS SOUS 139072 HAS SOUPS 139072 WITH SCORE 139255.208
AT ITER 1112 NEW BEST:: SOT 299072 SOS 183208 HAS SOPS 183208 HAS SOUS 138768 HAS SOUPS 138768 WITH SCORE 138951.208
AT ITER 1114 NEW BEST:: SOT 299072 SOS 183065 HAS SOPS 183065 HAS SOUS 138679 HAS SOUPS 138679 WITH SCORE 138862.065
AT ITER 1120 NEW BEST:: SOT 299059 SOS 183039 HAS SOPS 183039 HAS SOUS 138658 HAS SOUPS 138658 WITH SCORE 138841.039
AT ITER 1124 NEW BEST:: SOT 299059 SOS 183021 HAS SOPS 183021 HAS SOUS 138590 HAS SOUPS 138590 WITH SCORE 138773.021
AT ITER 1125 NEW BEST:: SOT 299052 SOS 182970 HAS SOPS 182970 HAS SOUS 138539 HAS SOUPS 138539 WITH SCORE 138721.97
AT ITER 1135 NEW BEST:: SOT 298880 SOS 182798 HAS SOPS 182798 HAS SOUS 138367 HAS SOUPS 138367 WITH SCORE 138549.798
AT ITER 1145 NEW BEST:: SOT 298817 SOS 182735 HAS SOPS 182735 HAS SOUS 138304 HAS SOUPS 138304 WITH SCORE 138486.735
AT ITER 1154 NEW BEST:: SOT 298805 SOS 182700 HAS SOPS 182700 HAS SOUS 138273 HAS SOUPS 138273 WITH SCORE 138455.7
AT ITER 1155 NEW BEST:: SOT 298805 SOS 182720 HAS SOPS 182720 HAS SOUS 138127 HAS SOUPS 138127 WITH SCORE 138309.72
AT ITER 1162 NEW BEST:: SOT 298733 SOS 182648 HAS SOPS 182648 HAS SOUS 138055 HAS SOUPS 138055 WITH SCORE 138237.648
AT ITER 1163 NEW BEST:: SOT 298078 SOS 181643 HAS SOPS 181643 HAS SOUS 136817 HAS SOUPS 136817 WITH SCORE 136998.643
AT ITER 1165 NEW BEST:: SOT 298145 SOS 181668 HAS SOPS 181668 HAS SOUS 136483 HAS SOUPS 136483 WITH SCORE 136664.668
AT ITER 1179 NEW BEST:: SOT 297955 SOS 181478 HAS SOPS 181478 HAS SOUS 136293 HAS SOUPS 136293 WITH SCORE 136474.478
AT ITER 1180 NEW BEST:: SOT 297982 SOS 181494 HAS SOPS 181494 HAS SOUS 136271 HAS SOUPS 136271 WITH SCORE 136452.494
AT ITER 1182 NEW BEST:: SOT 297982 SOS 181974 HAS SOPS 181974 HAS SOUS 136123 HAS SOUPS 136123 WITH SCORE 136304.974
AT ITER 1188 NEW BEST:: SOT 297919 SOS 181445 HAS SOPS 181445 HAS SOUS 136029 HAS SOUPS 136029 WITH SCORE 136210.445
AT ITER 1203 NEW BEST:: SOT 297919 SOS 181197 HAS SOPS 181197 HAS SOUS 135967 HAS SOUPS 135967 WITH SCORE 136148.197
AT ITER 1206 NEW BEST:: SOT 297377 SOS 180073 HAS SOPS 180073 HAS SOUS 135184 HAS SOUPS 135184 WITH SCORE 135364.073
AT ITER 1209 NEW BEST:: SOT 297254 SOS 179721 HAS SOPS 179721 HAS SOUS 135128 HAS SOUPS 135128 WITH SCORE 135307.721
AT ITER 1210 NEW BEST:: SOT 297254 SOS 179700 HAS SOPS 179700 HAS SOUS 135128 HAS SOUPS 135128 WITH SCORE 135307.7
AT ITER 1215 NEW BEST:: SOT 297211 SOS 179648 HAS SOPS 179648 HAS SOUS 135056 HAS SOUPS 135056 WITH SCORE 135235.648
AT ITER 1219 NEW BEST:: SOT 297072 SOS 179369 HAS SOPS 179369 HAS SOUS 134797 HAS SOUPS 134797 WITH SCORE 134976.369
AT ITER 1221 NEW BEST:: SOT 297051 SOS 179355 HAS SOPS 179355 HAS SOUS 134783 HAS SOUPS 134783 WITH SCORE 134962.355
AT ITER 1224 NEW BEST:: SOT 296763 SOS 179067 HAS SOPS 179067 HAS SOUS 134495 HAS SOUPS 134495 WITH SCORE 134674.067
AT ITER 1225 NEW BEST:: SOT 296320 SOS 178620 HAS SOPS 178620 HAS SOUS 133924 HAS SOUPS 133924 WITH SCORE 134102.62
AT ITER 1226 NEW BEST:: SOT 296299 SOS 178599 HAS SOPS 178599 HAS SOUS 133896 HAS SOUPS 133896 WITH SCORE 134074.599
AT ITER 1227 NEW BEST:: SOT 296433 SOS 178569 HAS SOPS 178569 HAS SOUS 133866 HAS SOUPS 133866 WITH SCORE 134044.569
AT ITER 1228 NEW BEST:: SOT 296415 SOS 178479 HAS SOPS 178479 HAS SOUS 133775 HAS SOUPS 133775 WITH SCORE 133953.479
AT ITER 1232 NEW BEST:: SOT 296415 SOS 178399 HAS SOPS 178399 HAS SOUS 133650 HAS SOUPS 133650 WITH SCORE 133828.399
AT ITER 1239 NEW BEST:: SOT 296415 SOS 178427 HAS SOPS 178427 HAS SOUS 133622 HAS SOUPS 133622 WITH SCORE 133800.427
AT ITER 1249 NEW BEST:: SOT 296020 SOS 177919 HAS SOPS 177919 HAS SOUS 132979 HAS SOUPS 132979 WITH SCORE 133156.919
AT ITER 1250 NEW BEST:: SOT 295867 SOS 177766 HAS SOPS 177766 HAS SOUS 132826 HAS SOUPS 132826 WITH SCORE 133003.766
AT ITER 1253 NEW BEST:: SOT 295876 SOS 177820 HAS SOPS 177820 HAS SOUS 132825 HAS SOUPS 132825 WITH SCORE 133002.82
AT ITER 1258 NEW BEST:: SOT 295692 SOS 177636 HAS SOPS 177636 HAS SOUS 132641 HAS SOUPS 132641 WITH SCORE 132818.636
AT ITER 1259 NEW BEST:: SOT 295692 SOS 177676 HAS SOPS 177676 HAS SOUS 132640 HAS SOUPS 132640 WITH SCORE 132817.676
AT ITER 1260 NEW BEST:: SOT 295614 SOS 177364 HAS SOPS 177364 HAS SOUS 132406 HAS SOUPS 132406 WITH SCORE 132583.364
AT ITER 1262 NEW BEST:: SOT 295614 SOS 176656 HAS SOPS 176656 HAS SOUS 132190 HAS SOUPS 132190 WITH SCORE 132366.656
AT ITER 1264 NEW BEST:: SOT 295614 SOS 176688 HAS SOPS 176688 HAS SOUS 132166 HAS SOUPS 132166 WITH SCORE 132342.688
AT ITER 1267 NEW BEST:: SOT 295574 SOS 176731 HAS SOPS 176731 HAS SOUS 132023 HAS SOUPS 132023 WITH SCORE 132199.731
AT ITER 1269 NEW BEST:: SOT 295574 SOS 176415 HAS SOPS 176415 HAS SOUS 132005 HAS SOUPS 132005 WITH SCORE 132181.415
AT ITER 1277 NEW BEST:: SOT 295459 SOS 176300 HAS SOPS 176300 HAS SOUS 131890 HAS SOUPS 131890 WITH SCORE 132066.3
AT ITER 1279 NEW BEST:: SOT 295349 SOS 176190 HAS SOPS 176190 HAS SOUS 131780 HAS SOUPS 131780 WITH SCORE 131956.19
AT ITER 1287 NEW BEST:: SOT 295244 SOS 176085 HAS SOPS 176085 HAS SOUS 131570 HAS SOUPS 131570 WITH SCORE 131746.085
AT ITER 1292 NEW BEST:: SOT 294988 SOS 175829 HAS SOPS 175829 HAS SOUS 131314 HAS SOUPS 131314 WITH SCORE 131489.829
AT ITER 1299 NEW BEST:: SOT 294935 SOS 175108 HAS SOPS 175108 HAS SOUS 131015 HAS SOUPS 131015 WITH SCORE 131190.108
AT ITER 1308 NEW BEST:: SOT 294796 SOS 175010 HAS SOPS 175010 HAS SOUS 130842 HAS SOUPS 130842 WITH SCORE 131017.01
AT ITER 1309 NEW BEST:: SOT 294345 SOS 174837 HAS SOPS 174837 HAS SOUS 129891 HAS SOUPS 129891 WITH SCORE 130065.837
AT ITER 1321 NEW BEST:: SOT 294401 SOS 174616 HAS SOPS 174616 HAS SOUS 129883 HAS SOUPS 129883 WITH SCORE 130057.616
AT ITER 1324 NEW BEST:: SOT 294345 SOS 174576 HAS SOPS 174576 HAS SOUS 129843 HAS SOUPS 129843 WITH SCORE 130017.576
AT ITER 1339 NEW BEST:: SOT 294345 SOS 174567 HAS SOPS 174567 HAS SOUS 129840 HAS SOUPS 129840 WITH SCORE 130014.567
AT ITER 1346 NEW BEST:: SOT 294321 SOS 174565 HAS SOPS 174565 HAS SOUS 129417 HAS SOUPS 129417 WITH SCORE 129591.565
AT ITER 1347 NEW BEST:: SOT 294321 SOS 174418 HAS SOPS 174418 HAS SOUS 129368 HAS SOUPS 129368 WITH SCORE 129542.418
AT ITER 1349 NEW BEST:: SOT 294235 SOS 173583 HAS SOPS 173583 HAS SOUS 129032 HAS SOUPS 129032 WITH SCORE 129205.583
AT ITER 1360 NEW BEST:: SOT 294235 SOS 173617 HAS SOPS 173617 HAS SOUS 128998 HAS SOUPS 128998 WITH SCORE 129171.617
AT ITER 1361 NEW BEST:: SOT 293888 SOS 173272 HAS SOPS 173272 HAS SOUS 128686 HAS SOUPS 128686 WITH SCORE 128859.272
AT ITER 1373 NEW BEST:: SOT 293874 SOS 173220 HAS SOPS 173220 HAS SOUS 128634 HAS SOUPS 128634 WITH SCORE 128807.22
AT ITER 1389 NEW BEST:: SOT 293874 SOS 173328 HAS SOPS 173328 HAS SOUS 128399 HAS SOUPS 128399 WITH SCORE 128572.328
AT ITER 1402 NEW BEST:: SOT 293828 SOS 173310 HAS SOPS 173310 HAS SOUS 128369 HAS SOUPS 128369 WITH SCORE 128542.31
AT ITER 1403 NEW BEST:: SOT 293557 SOS 172932 HAS SOPS 172932 HAS SOUS 127919 HAS SOUPS 127919 WITH SCORE 128091.932
AT ITER 1409 NEW BEST:: SOT 293586 SOS 172874 HAS SOPS 172874 HAS SOUS 127919 HAS SOUPS 127919 WITH SCORE 128091.874
AT ITER 1414 NEW BEST:: SOT 293669 SOS 172722 HAS SOPS 172722 HAS SOUS 127905 HAS SOUPS 127905 WITH SCORE 128077.722
AT ITER 1417 NEW BEST:: SOT 293561 SOS 172620 HAS SOPS 172620 HAS SOUS 127789 HAS SOUPS 127789 WITH SCORE 127961.62
AT ITER 1419 NEW BEST:: SOT 293448 SOS 172507 HAS SOPS 172507 HAS SOUS 127676 HAS SOUPS 127676 WITH SCORE 127848.507
AT ITER 1420 NEW BEST:: SOT 293501 SOS 172566 HAS SOPS 172566 HAS SOUS 127665 HAS SOUPS 127665 WITH SCORE 127837.566
AT ITER 1426 NEW BEST:: SOT 293509 SOS 172502 HAS SOPS 172502 HAS SOUS 127641 HAS SOUPS 127641 WITH SCORE 127813.502
AT ITER 1431 NEW BEST:: SOT 293376 SOS 172149 HAS SOPS 172149 HAS SOUS 127430 HAS SOUPS 127430 WITH SCORE 127602.149
AT ITER 1432 NEW BEST:: SOT 293335 SOS 172054 HAS SOPS 172054 HAS SOUS 127335 HAS SOUPS 127335 WITH SCORE 127507.054
AT ITER 1437 NEW BEST:: SOT 293297 SOS 172016 HAS SOPS 172016 HAS SOUS 127297 HAS SOUPS 127297 WITH SCORE 127469.016
AT ITER 1439 NEW BEST:: SOT 293280 SOS 171960 HAS SOPS 171960 HAS SOUS 127210 HAS SOUPS 127210 WITH SCORE 127381.96
AT ITER 1442 NEW BEST:: SOT 293280 SOS 171669 HAS SOPS 171669 HAS SOUS 126881 HAS SOUPS 126881 WITH SCORE 127052.669
AT ITER 1452 NEW BEST:: SOT 293136 SOS 171811 HAS SOPS 171811 HAS SOUS 126770 HAS SOUPS 126770 WITH SCORE 126941.811
AT ITER 1454 NEW BEST:: SOT 293136 SOS 171521 HAS SOPS 171521 HAS SOUS 126596 HAS SOUPS 126596 WITH SCORE 126767.521
AT ITER 1461 NEW BEST:: SOT 293212 SOS 171629 HAS SOPS 171629 HAS SOUS 126569 HAS SOUPS 126569 WITH SCORE 126740.629
AT ITER 1465 NEW BEST:: SOT 292956 SOS 171238 HAS SOPS 171238 HAS SOUS 126115 HAS SOUPS 126115 WITH SCORE 126286.238
AT ITER 1472 NEW BEST:: SOT 292496 SOS 170289 HAS SOPS 170289 HAS SOUS 125720 HAS SOUPS 125720 WITH SCORE 125890.289
AT ITER 1476 NEW BEST:: SOT 292501 SOS 170179 HAS SOPS 170179 HAS SOUS 125632 HAS SOUPS 125632 WITH SCORE 125802.179
AT ITER 1477 NEW BEST:: SOT 292452 SOS 170135 HAS SOPS 170135 HAS SOUS 125593 HAS SOUPS 125593 WITH SCORE 125763.135
AT ITER 1483 NEW BEST:: SOT 292612 SOS 169984 HAS SOPS 169984 HAS SOUS 125559 HAS SOUPS 125559 WITH SCORE 125728.984
AT ITER 1485 NEW BEST:: SOT 292484 SOS 169856 HAS SOPS 169856 HAS SOUS 125431 HAS SOUPS 125431 WITH SCORE 125600.856
AT ITER 1494 NEW BEST:: SOT 292304 SOS 169823 HAS SOPS 169823 HAS SOUS 125366 HAS SOUPS 125366 WITH SCORE 125535.823
AT ITER 1495 NEW BEST:: SOT 292468 SOS 170909 HAS SOPS 170909 HAS SOUS 125353 HAS SOUPS 125353 WITH SCORE 125523.909
AT ITER 1508 NEW BEST:: SOT 292492 SOS 170761 HAS SOPS 170761 HAS SOUS 125178 HAS SOUPS 125178 WITH SCORE 125348.761
AT ITER 1512 NEW BEST:: SOT 292487 SOS 170732 HAS SOPS 170732 HAS SOUS 125149 HAS SOUPS 125149 WITH SCORE 125319.732
AT ITER 1518 NEW BEST:: SOT 292425 SOS 170663 HAS SOPS 170663 HAS SOUS 124743 HAS SOUPS 124743 WITH SCORE 124913.663
AT ITER 1523 NEW BEST:: SOT 292424 SOS 170661 HAS SOPS 170661 HAS SOUS 124743 HAS SOUPS 124743 WITH SCORE 124913.661
AT ITER 1525 NEW BEST:: SOT 292399 SOS 170611 HAS SOPS 170611 HAS SOUS 124717 HAS SOUPS 124717 WITH SCORE 124887.611
AT ITER 1531 NEW BEST:: SOT 292387 SOS 170593 HAS SOPS 170593 HAS SOUS 124705 HAS SOUPS 124705 WITH SCORE 124875.593
AT ITER 1541 NEW BEST:: SOT 292382 SOS 170588 HAS SOPS 170588 HAS SOUS 124700 HAS SOUPS 124700 WITH SCORE 124870.588
AT ITER 1547 NEW BEST:: SOT 292254 SOS 170460 HAS SOPS 170460 HAS SOUS 124572 HAS SOUPS 124572 WITH SCORE 124742.46
AT ITER 1551 NEW BEST:: SOT 292182 SOS 170388 HAS SOPS 170388 HAS SOUS 124500 HAS SOUPS 124500 WITH SCORE 124670.388
AT ITER 1554 NEW BEST:: SOT 292118 SOS 170214 HAS SOPS 170214 HAS SOUS 124451 HAS SOUPS 124451 WITH SCORE 124621.214
AT ITER 1555 NEW BEST:: SOT 292269 SOS 170294 HAS SOPS 170294 HAS SOUS 124242 HAS SOUPS 124242 WITH SCORE 124412.294
AT ITER 1557 NEW BEST:: SOT 291851 SOS 169749 HAS SOPS 169749 HAS SOUS 123697 HAS SOUPS 123697 WITH SCORE 123866.749
AT ITER 1560 NEW BEST:: SOT 291894 SOS 169915 HAS SOPS 169915 HAS SOUS 123565 HAS SOUPS 123565 WITH SCORE 123734.915
AT ITER 1566 NEW BEST:: SOT 291745 SOS 169377 HAS SOPS 169377 HAS SOUS 123544 HAS SOUPS 123544 WITH SCORE 123713.377
AT ITER 1572 NEW BEST:: SOT 291720 SOS 169326 HAS SOPS 169326 HAS SOUS 123470 HAS SOUPS 123470 WITH SCORE 123639.326
AT ITER 1578 NEW BEST:: SOT 291640 SOS 168846 HAS SOPS 168846 HAS SOUS 123302 HAS SOUPS 123302 WITH SCORE 123470.846
AT ITER 1586 NEW BEST:: SOT 291636 SOS 168826 HAS SOPS 168826 HAS SOUS 123292 HAS SOUPS 123292 WITH SCORE 123460.826
AT ITER 1588 NEW BEST:: SOT 291606 SOS 168796 HAS SOPS 168796 HAS SOUS 123262 HAS SOUPS 123262 WITH SCORE 123430.796
AT ITER 1589 NEW BEST:: SOT 291382 SOS 167922 HAS SOPS 167922 HAS SOUS 122819 HAS SOUPS 122819 WITH SCORE 122986.922
AT ITER 1591 NEW BEST:: SOT 291342 SOS 167862 HAS SOPS 167862 HAS SOUS 122755 HAS SOUPS 122755 WITH SCORE 122922.862
AT ITER 1593 NEW BEST:: SOT 291168 SOS 167064 HAS SOPS 167064 HAS SOUS 122425 HAS SOUPS 122425 WITH SCORE 122592.064
AT ITER 1596 NEW BEST:: SOT 290983 SOS 166879 HAS SOPS 166879 HAS SOUS 122240 HAS SOUPS 122240 WITH SCORE 122406.879
AT ITER 1598 NEW BEST:: SOT 290865 SOS 166671 HAS SOPS 166671 HAS SOUS 122022 HAS SOUPS 122022 WITH SCORE 122188.671
AT ITER 1607 NEW BEST:: SOT 290863 SOS 166669 HAS SOPS 166669 HAS SOUS 122018 HAS SOUPS 122018 WITH SCORE 122184.669
AT ITER 1616 NEW BEST:: SOT 290863 SOS 166707 HAS SOPS 166707 HAS SOUS 121999 HAS SOUPS 121999 WITH SCORE 122165.707
AT ITER 1623 NEW BEST:: SOT 290836 SOS 166653 HAS SOPS 166653 HAS SOUS 121918 HAS SOUPS 121918 WITH SCORE 122084.653
AT ITER 1625 NEW BEST:: SOT 290836 SOS 166653 HAS SOPS 166653 HAS SOUS 121903 HAS SOUPS 121903 WITH SCORE 122069.653
AT ITER 1626 NEW BEST:: SOT 290836 SOS 166744 HAS SOPS 166744 HAS SOUS 121797 HAS SOUPS 121797 WITH SCORE 121963.744
AT ITER 1629 NEW BEST:: SOT 290753 SOS 166638 HAS SOPS 166638 HAS SOUS 121728 HAS SOUPS 121728 WITH SCORE 121894.638
AT ITER 1634 NEW BEST:: SOT 290552 SOS 166417 HAS SOPS 166417 HAS SOUS 121431 HAS SOUPS 121431 WITH SCORE 121597.417
AT ITER 1639 NEW BEST:: SOT 290070 SOS 165832 HAS SOPS 165832 HAS SOUS 120846 HAS SOUPS 120846 WITH SCORE 121011.832
AT ITER 1645 NEW BEST:: SOT 289954 SOS 165727 HAS SOPS 165727 HAS SOUS 120779 HAS SOUPS 120779 WITH SCORE 120944.727
AT ITER 1648 NEW BEST:: SOT 289954 SOS 165792 HAS SOPS 165792 HAS SOUS 120714 HAS SOUPS 120714 WITH SCORE 120879.792
AT ITER 1650 NEW BEST:: SOT 289974 SOS 165832 HAS SOPS 165832 HAS SOUS 120706 HAS SOUPS 120706 WITH SCORE 120871.832
AT ITER 1653 NEW BEST:: SOT 289869 SOS 165805 HAS SOPS 165805 HAS SOUS 120679 HAS SOUPS 120679 WITH SCORE 120844.805
AT ITER 1655 NEW BEST:: SOT 289692 SOS 165628 HAS SOPS 165628 HAS SOUS 120502 HAS SOUPS 120502 WITH SCORE 120667.628
AT ITER 1659 NEW BEST:: SOT 289539 SOS 165332 HAS SOPS 165332 HAS SOUS 120340 HAS SOUPS 120340 WITH SCORE 120505.332
AT ITER 1660 NEW BEST:: SOT 289301 SOS 164965 HAS SOPS 164965 HAS SOUS 119907 HAS SOUPS 119907 WITH SCORE 120071.965
AT ITER 1662 NEW BEST:: SOT 289301 SOS 165167 HAS SOPS 165167 HAS SOUS 119806 HAS SOUPS 119806 WITH SCORE 119971.167
AT ITER 1664 NEW BEST:: SOT 289237 SOS 165026 HAS SOPS 165026 HAS SOUS 119763 HAS SOUPS 119763 WITH SCORE 119928.026
AT ITER 1673 NEW BEST:: SOT 289035 SOS 165190 HAS SOPS 165190 HAS SOUS 119468 HAS SOUPS 119468 WITH SCORE 119633.19
AT ITER 1677 NEW BEST:: SOT 289059 SOS 165166 HAS SOPS 165166 HAS SOUS 119444 HAS SOUPS 119444 WITH SCORE 119609.166
AT ITER 1681 NEW BEST:: SOT 288931 SOS 165038 HAS SOPS 165038 HAS SOUS 119316 HAS SOUPS 119316 WITH SCORE 119481.038
AT ITER 1683 NEW BEST:: SOT 288931 SOS 166440 HAS SOPS 166440 HAS SOUS 119090 HAS SOUPS 119090 WITH SCORE 119256.44
AT ITER 1691 NEW BEST:: SOT 288837 SOS 166342 HAS SOPS 166342 HAS SOUS 118992 HAS SOUPS 118992 WITH SCORE 119158.342
AT ITER 1695 NEW BEST:: SOT 288793 SOS 166166 HAS SOPS 166166 HAS SOUS 118917 HAS SOUPS 118917 WITH SCORE 119083.166
AT ITER 1704 NEW BEST:: SOT 288793 SOS 166166 HAS SOPS 166166 HAS SOUS 118916 HAS SOUPS 118916 WITH SCORE 119082.166
AT ITER 1716 NEW BEST:: SOT 288762 SOS 166135 HAS SOPS 166135 HAS SOUS 118885 HAS SOUPS 118885 WITH SCORE 119051.135
AT ITER 1718 NEW BEST:: SOT 288863 SOS 166361 HAS SOPS 166361 HAS SOUS 118871 HAS SOUPS 118871 WITH SCORE 119037.361
AT ITER 1720 NEW BEST:: SOT 288681 SOS 166179 HAS SOPS 166179 HAS SOUS 118647 HAS SOUPS 118647 WITH SCORE 118813.179
AT ITER 1729 NEW BEST:: SOT 288528 SOS 166043 HAS SOPS 166043 HAS SOUS 118511 HAS SOUPS 118511 WITH SCORE 118677.043
AT ITER 1751 NEW BEST:: SOT 288508 SOS 166023 HAS SOPS 166023 HAS SOUS 118501 HAS SOUPS 118501 WITH SCORE 118667.023
AT ITER 1754 NEW BEST:: SOT 288312 SOS 165634 HAS SOPS 165634 HAS SOUS 118098 HAS SOUPS 118098 WITH SCORE 118263.634
AT ITER 1756 NEW BEST:: SOT 288298 SOS 165620 HAS SOPS 165620 HAS SOUS 118084 HAS SOUPS 118084 WITH SCORE 118249.62
AT ITER 1761 NEW BEST:: SOT 288466 SOS 165680 HAS SOPS 165680 HAS SOUS 118069 HAS SOUPS 118069 WITH SCORE 118234.68
AT ITER 1763 NEW BEST:: SOT 288466 SOS 165720 HAS SOPS 165720 HAS SOUS 117756 HAS SOUPS 117756 WITH SCORE 117921.72
AT ITER 1765 NEW BEST:: SOT 288443 SOS 165565 HAS SOPS 165565 HAS SOUS 117726 HAS SOUPS 117726 WITH SCORE 117891.565
AT ITER 1767 NEW BEST:: SOT 288436 SOS 165558 HAS SOPS 165558 HAS SOUS 117719 HAS SOUPS 117719 WITH SCORE 117884.558
AT ITER 1772 NEW BEST:: SOT 288427 SOS 165712 HAS SOPS 165712 HAS SOUS 117710 HAS SOUPS 117710 WITH SCORE 117875.712
AT ITER 1774 NEW BEST:: SOT 288406 SOS 165691 HAS SOPS 165691 HAS SOUS 117689 HAS SOUPS 117689 WITH SCORE 117854.691
AT ITER 1775 NEW BEST:: SOT 288145 SOS 165430 HAS SOPS 165430 HAS SOUS 117428 HAS SOUPS 117428 WITH SCORE 117593.43
AT ITER 1787 NEW BEST:: SOT 288145 SOS 165265 HAS SOPS 165265 HAS SOUS 117362 HAS SOUPS 117362 WITH SCORE 117527.265
AT ITER 1795 NEW BEST:: SOT 288153 SOS 165273 HAS SOPS 165273 HAS SOUS 117354 HAS SOUPS 117354 WITH SCORE 117519.273
AT ITER 1799 NEW BEST:: SOT 288153 SOS 165286 HAS SOPS 165286 HAS SOUS 117273 HAS SOUPS 117273 WITH SCORE 117438.286
AT ITER 1812 NEW BEST:: SOT 288107 SOS 165240 HAS SOPS 165240 HAS SOUS 117227 HAS SOUPS 117227 WITH SCORE 117392.24
AT ITER 1814 NEW BEST:: SOT 288055 SOS 165084 HAS SOPS 165084 HAS SOUS 117175 HAS SOUPS 117175 WITH SCORE 117340.084
AT ITER 1816 NEW BEST:: SOT 288049 SOS 165108 HAS SOPS 165108 HAS SOUS 117145 HAS SOUPS 117145 WITH SCORE 117310.108
AT ITER 1823 NEW BEST:: SOT 288049 SOS 164926 HAS SOPS 164926 HAS SOUS 117125 HAS SOUPS 117125 WITH SCORE 117289.926
AT ITER 1827 NEW BEST:: SOT 287915 SOS 164792 HAS SOPS 164792 HAS SOUS 117080 HAS SOUPS 117080 WITH SCORE 117244.792
AT ITER 1837 NEW BEST:: SOT 287660 SOS 164537 HAS SOPS 164537 HAS SOUS 116813 HAS SOUPS 116813 WITH SCORE 116977.537
AT ITER 1845 NEW BEST:: SOT 287624 SOS 164492 HAS SOPS 164492 HAS SOUS 116540 HAS SOUPS 116540 WITH SCORE 116704.492
AT ITER 1849 NEW BEST:: SOT 287556 SOS 164240 HAS SOPS 164240 HAS SOUS 116344 HAS SOUPS 116344 WITH SCORE 116508.24
AT ITER 1850 NEW BEST:: SOT 287452 SOS 163962 HAS SOPS 163962 HAS SOUS 116067 HAS SOUPS 116067 WITH SCORE 116230.962
AT ITER 1855 NEW BEST:: SOT 287452 SOS 163932 HAS SOPS 163932 HAS SOUS 116027 HAS SOUPS 116027 WITH SCORE 116190.932
AT ITER 1858 NEW BEST:: SOT 287471 SOS 163875 HAS SOPS 163875 HAS SOUS 115970 HAS SOUPS 115970 WITH SCORE 116133.875
AT ITER 1865 NEW BEST:: SOT 287192 SOS 163441 HAS SOPS 163441 HAS SOUS 115931 HAS SOUPS 115931 WITH SCORE 116094.441
AT ITER 1875 NEW BEST:: SOT 287267 SOS 163937 HAS SOPS 163937 HAS SOUS 115821 HAS SOUPS 115821 WITH SCORE 115984.937
AT ITER 1886 NEW BEST:: SOT 286902 SOS 163530 HAS SOPS 163530 HAS SOUS 115391 HAS SOUPS 115391 WITH SCORE 115554.53
AT ITER 1899 NEW BEST:: SOT 286902 SOS 163512 HAS SOPS 163512 HAS SOUS 115391 HAS SOUPS 115391 WITH SCORE 115554.512
AT ITER 1901 NEW BEST:: SOT 286624 SOS 163234 HAS SOPS 163234 HAS SOUS 115097 HAS SOUPS 115097 WITH SCORE 115260.234
AT ITER 1902 NEW BEST:: SOT 286610 SOS 163203 HAS SOPS 163203 HAS SOUS 115009 HAS SOUPS 115009 WITH SCORE 115172.203
AT ITER 1915 NEW BEST:: SOT 286565 SOS 163113 HAS SOPS 163113 HAS SOUS 114778 HAS SOUPS 114778 WITH SCORE 114941.113
AT ITER 1921 NEW BEST:: SOT 286561 SOS 163097 HAS SOPS 163097 HAS SOUS 114776 HAS SOUPS 114776 WITH SCORE 114939.097
AT ITER 1922 NEW BEST:: SOT 286559 SOS 163099 HAS SOPS 163099 HAS SOUS 114766 HAS SOUPS 114766 WITH SCORE 114929.099
AT ITER 1923 NEW BEST:: SOT 286456 SOS 162865 HAS SOPS 162865 HAS SOUS 114348 HAS SOUPS 114348 WITH SCORE 114510.865
AT ITER 1928 NEW BEST:: SOT 286398 SOS 162807 HAS SOPS 162807 HAS SOUS 114278 HAS SOUPS 114278 WITH SCORE 114440.807
AT ITER 1938 NEW BEST:: SOT 286331 SOS 162746 HAS SOPS 162746 HAS SOUS 114085 HAS SOUPS 114085 WITH SCORE 114247.746
AT ITER 1945 NEW BEST:: SOT 286179 SOS 162594 HAS SOPS 162594 HAS SOUS 113933 HAS SOUPS 113933 WITH SCORE 114095.594
AT ITER 1946 NEW BEST:: SOT 285680 SOS 162388 HAS SOPS 162388 HAS SOUS 113153 HAS SOUPS 113153 WITH SCORE 113315.388
AT ITER 1956 NEW BEST:: SOT 285598 SOS 162306 HAS SOPS 162306 HAS SOUS 113071 HAS SOUPS 113071 WITH SCORE 113233.306
AT ITER 1960 NEW BEST:: SOT 285556 SOS 162180 HAS SOPS 162180 HAS SOUS 112891 HAS SOUPS 112891 WITH SCORE 113053.18
AT ITER 1967 NEW BEST:: SOT 285556 SOS 162144 HAS SOPS 162144 HAS SOUS 112851 HAS SOUPS 112851 WITH SCORE 113013.144
AT ITER 1976 NEW BEST:: SOT 285286 SOS 160940 HAS SOPS 160940 HAS SOUS 112671 HAS SOUPS 112671 WITH SCORE 112831.94
AT ITER 1986 NEW BEST:: SOT 285221 SOS 160850 HAS SOPS 160850 HAS SOUS 112565 HAS SOUPS 112565 WITH SCORE 112725.85
AT ITER 1991 NEW BEST:: SOT 285128 SOS 160644 HAS SOPS 160644 HAS SOUS 112359 HAS SOUPS 112359 WITH SCORE 112519.644
AT ITER 1995 NEW BEST:: SOT 285128 SOS 160630 HAS SOPS 160630 HAS SOUS 112331 HAS SOUPS 112331 WITH SCORE 112491.63
AT ITER 1999 NEW BEST:: SOT 285185 SOS 160606 HAS SOPS 160606 HAS SOUS 112214 HAS SOUPS 112214 WITH SCORE 112374.606
AT ITER 2002 NEW BEST:: SOT 285174 SOS 160595 HAS SOPS 160595 HAS SOUS 112214 HAS SOUPS 112214 WITH SCORE 112374.595
AT ITER 2012 NEW BEST:: SOT 285166 SOS 160515 HAS SOPS 160515 HAS SOUS 112206 HAS SOUPS 112206 WITH SCORE 112366.515
AT ITER 2014 NEW BEST:: SOT 285129 SOS 160272 HAS SOPS 160272 HAS SOUS 112099 HAS SOUPS 112099 WITH SCORE 112259.272
AT ITER 2020 NEW BEST:: SOT 285234 SOS 160354 HAS SOPS 160354 HAS SOUS 112091 HAS SOUPS 112091 WITH SCORE 112251.354
AT ITER 2025 NEW BEST:: SOT 285257 SOS 160427 HAS SOPS 160427 HAS SOUS 111975 HAS SOUPS 111975 WITH SCORE 112135.427
AT ITER 2033 NEW BEST:: SOT 285238 SOS 160463 HAS SOPS 160463 HAS SOUS 111878 HAS SOUPS 111878 WITH SCORE 112038.463
AT ITER 2036 NEW BEST:: SOT 285290 SOS 160929 HAS SOPS 160929 HAS SOUS 111695 HAS SOUPS 111695 WITH SCORE 111855.929
AT ITER 2046 NEW BEST:: SOT 285283 SOS 160927 HAS SOPS 160927 HAS SOUS 111672 HAS SOUPS 111672 WITH SCORE 111832.927
AT ITER 2047 NEW BEST:: SOT 285232 SOS 160843 HAS SOPS 160843 HAS SOUS 111588 HAS SOUPS 111588 WITH SCORE 111748.843
AT ITER 2051 NEW BEST:: SOT 285227 SOS 160727 HAS SOPS 160727 HAS SOUS 111568 HAS SOUPS 111568 WITH SCORE 111728.727
AT ITER 2058 NEW BEST:: SOT 285227 SOS 160727 HAS SOPS 160727 HAS SOUS 111564 HAS SOUPS 111564 WITH SCORE 111724.727
AT ITER 2064 NEW BEST:: SOT 285112 SOS 160515 HAS SOPS 160515 HAS SOUS 111238 HAS SOUPS 111238 WITH SCORE 111398.515
AT ITER 2068 NEW BEST:: SOT 284877 SOS 160186 HAS SOPS 160186 HAS SOUS 110862 HAS SOUPS 110862 WITH SCORE 111022.186
AT ITER 2070 NEW BEST:: SOT 284877 SOS 160185 HAS SOPS 160185 HAS SOUS 110861 HAS SOUPS 110861 WITH SCORE 111021.185
AT ITER 2080 NEW BEST:: SOT 284861 SOS 160161 HAS SOPS 160161 HAS SOUS 110805 HAS SOUPS 110805 WITH SCORE 110965.161
AT ITER 2127 NEW BEST:: SOT 284861 SOS 160134 HAS SOPS 160134 HAS SOUS 110796 HAS SOUPS 110796 WITH SCORE 110956.134
AT ITER 2134 NEW BEST:: SOT 285177 SOS 160245 HAS SOPS 160245 HAS SOUS 110721 HAS SOUPS 110721 WITH SCORE 110881.245
AT ITER 2154 NEW BEST:: SOT 285091 SOS 159944 HAS SOPS 159944 HAS SOUS 110492 HAS SOUPS 110492 WITH SCORE 110651.944
AT ITER 2169 NEW BEST:: SOT 285048 SOS 159858 HAS SOPS 159858 HAS SOUS 110397 HAS SOUPS 110397 WITH SCORE 110556.858
AT ITER 2170 NEW BEST:: SOT 285046 SOS 159948 HAS SOPS 159948 HAS SOUS 110361 HAS SOUPS 110361 WITH SCORE 110520.948
AT ITER 2185 NEW BEST:: SOT 284656 SOS 159378 HAS SOPS 159378 HAS SOUS 109707 HAS SOUPS 109707 WITH SCORE 109866.378
AT ITER 2189 NEW BEST:: SOT 284457 SOS 159179 HAS SOPS 159179 HAS SOUS 109508 HAS SOUPS 109508 WITH SCORE 109667.179
AT ITER 2192 NEW BEST:: SOT 284480 SOS 159171 HAS SOPS 159171 HAS SOUS 109488 HAS SOUPS 109488 WITH SCORE 109647.171
AT ITER 2194 NEW BEST:: SOT 284465 SOS 159156 HAS SOPS 159156 HAS SOUS 109473 HAS SOUPS 109473 WITH SCORE 109632.156
AT ITER 2220 NEW BEST:: SOT 284471 SOS 159086 HAS SOPS 159086 HAS SOUS 109347 HAS SOUPS 109347 WITH SCORE 109506.086
AT ITER 2230 NEW BEST:: SOT 284471 SOS 159087 HAS SOPS 159087 HAS SOUS 109268 HAS SOUPS 109268 WITH SCORE 109427.087
AT ITER 2242 NEW BEST:: SOT 284352 SOS 158930 HAS SOPS 158930 HAS SOUS 108958 HAS SOUPS 108958 WITH SCORE 109116.93
AT ITER 2243 NEW BEST:: SOT 284336 SOS 158906 HAS SOPS 158906 HAS SOUS 108934 HAS SOUPS 108934 WITH SCORE 109092.906
AT ITER 2245 NEW BEST:: SOT 284321 SOS 158853 HAS SOPS 158853 HAS SOUS 108932 HAS SOUPS 108932 WITH SCORE 109090.853
AT ITER 2246 NEW BEST:: SOT 284313 SOS 158709 HAS SOPS 158709 HAS SOUS 108755 HAS SOUPS 108755 WITH SCORE 108913.709
AT ITER 2247 NEW BEST:: SOT 284257 SOS 158653 HAS SOPS 158653 HAS SOUS 108699 HAS SOUPS 108699 WITH SCORE 108857.653
AT ITER 2253 NEW BEST:: SOT 284152 SOS 158565 HAS SOPS 158565 HAS SOUS 108611 HAS SOUPS 108611 WITH SCORE 108769.565
AT ITER 2261 NEW BEST:: SOT 284115 SOS 158520 HAS SOPS 158520 HAS SOUS 108527 HAS SOUPS 108527 WITH SCORE 108685.52
AT ITER 2264 NEW BEST:: SOT 283968 SOS 158090 HAS SOPS 158090 HAS SOUS 108514 HAS SOUPS 108514 WITH SCORE 108672.09
AT ITER 2273 NEW BEST:: SOT 283932 SOS 158030 HAS SOPS 158030 HAS SOUS 108430 HAS SOUPS 108430 WITH SCORE 108588.03
AT ITER 2277 NEW BEST:: SOT 283965 SOS 158000 HAS SOPS 158000 HAS SOUS 108306 HAS SOUPS 108306 WITH SCORE 108464.0
AT ITER 2286 NEW BEST:: SOT 283977 SOS 158006 HAS SOPS 158006 HAS SOUS 108282 HAS SOUPS 108282 WITH SCORE 108440.006
AT ITER 2288 NEW BEST:: SOT 283957 SOS 157981 HAS SOPS 157981 HAS SOUS 108252 HAS SOUPS 108252 WITH SCORE 108409.981
AT ITER 2291 NEW BEST:: SOT 283949 SOS 157949 HAS SOPS 157949 HAS SOUS 108237 HAS SOUPS 108237 WITH SCORE 108394.949
AT ITER 2297 NEW BEST:: SOT 283259 SOS 157512 HAS SOPS 157512 HAS SOUS 107885 HAS SOUPS 107885 WITH SCORE 108042.512
AT ITER 2301 NEW BEST:: SOT 283258 SOS 157511 HAS SOPS 157511 HAS SOUS 107880 HAS SOUPS 107880 WITH SCORE 108037.511
AT ITER 2303 NEW BEST:: SOT 283200 SOS 157453 HAS SOPS 157453 HAS SOUS 107827 HAS SOUPS 107827 WITH SCORE 107984.453
AT ITER 2310 NEW BEST:: SOT 283040 SOS 157293 HAS SOPS 157293 HAS SOUS 107667 HAS SOUPS 107667 WITH SCORE 107824.293
AT ITER 2315 NEW BEST:: SOT 283000 SOS 156943 HAS SOPS 156943 HAS SOUS 107580 HAS SOUPS 107580 WITH SCORE 107736.943
AT ITER 2318 NEW BEST:: SOT 282958 SOS 157010 HAS SOPS 157010 HAS SOUS 107572 HAS SOUPS 107572 WITH SCORE 107729.01
AT ITER 2320 NEW BEST:: SOT 282860 SOS 156933 HAS SOPS 156933 HAS SOUS 107495 HAS SOUPS 107495 WITH SCORE 107651.933
AT ITER 2328 NEW BEST:: SOT 282877 SOS 157122 HAS SOPS 157122 HAS SOUS 107429 HAS SOUPS 107429 WITH SCORE 107586.122
AT ITER 2341 NEW BEST:: SOT 282770 SOS 157018 HAS SOPS 157018 HAS SOUS 107313 HAS SOUPS 107313 WITH SCORE 107470.018
AT ITER 2345 NEW BEST:: SOT 282922 SOS 156640 HAS SOPS 156640 HAS SOUS 107044 HAS SOUPS 107044 WITH SCORE 107200.64
AT ITER 2353 NEW BEST:: SOT 282834 SOS 156448 HAS SOPS 156448 HAS SOUS 106752 HAS SOUPS 106752 WITH SCORE 106908.448
AT ITER 2359 NEW BEST:: SOT 282700 SOS 156309 HAS SOPS 156309 HAS SOUS 106591 HAS SOUPS 106591 WITH SCORE 106747.309
AT ITER 2360 NEW BEST:: SOT 282700 SOS 156286 HAS SOPS 156286 HAS SOUS 106575 HAS SOUPS 106575 WITH SCORE 106731.286
AT ITER 2361 NEW BEST:: SOT 282752 SOS 156234 HAS SOPS 156234 HAS SOUS 106471 HAS SOUPS 106471 WITH SCORE 106627.234
AT ITER 2366 NEW BEST:: SOT 282672 SOS 156216 HAS SOPS 156216 HAS SOUS 106453 HAS SOUPS 106453 WITH SCORE 106609.216
AT ITER 2369 NEW BEST:: SOT 282677 SOS 155809 HAS SOPS 155809 HAS SOUS 106331 HAS SOUPS 106331 WITH SCORE 106486.809
AT ITER 2380 NEW BEST:: SOT 282498 SOS 155061 HAS SOPS 155061 HAS SOUS 105840 HAS SOUPS 105840 WITH SCORE 105995.061
AT ITER 2384 NEW BEST:: SOT 282480 SOS 155043 HAS SOPS 155043 HAS SOUS 105828 HAS SOUPS 105828 WITH SCORE 105983.043
AT ITER 2386 NEW BEST:: SOT 282494 SOS 154755 HAS SOPS 154755 HAS SOUS 105535 HAS SOUPS 105535 WITH SCORE 105689.755
AT ITER 2400 NEW BEST:: SOT 282384 SOS 154716 HAS SOPS 154716 HAS SOUS 105494 HAS SOUPS 105494 WITH SCORE 105648.716
AT ITER 2401 NEW BEST:: SOT 282245 SOS 154574 HAS SOPS 154574 HAS SOUS 105452 HAS SOUPS 105452 WITH SCORE 105606.574
AT ITER 2407 NEW BEST:: SOT 282254 SOS 154603 HAS SOPS 154603 HAS SOUS 105445 HAS SOUPS 105445 WITH SCORE 105599.603
AT ITER 2416 NEW BEST:: SOT 281824 SOS 154173 HAS SOPS 154173 HAS SOUS 105015 HAS SOUPS 105015 WITH SCORE 105169.173
AT ITER 2418 NEW BEST:: SOT 281896 SOS 154136 HAS SOPS 154136 HAS SOUS 104982 HAS SOUPS 104982 WITH SCORE 105136.136
AT ITER 2422 NEW BEST:: SOT 281831 SOS 154071 HAS SOPS 154071 HAS SOUS 104913 HAS SOUPS 104913 WITH SCORE 105067.071
AT ITER 2427 NEW BEST:: SOT 281819 SOS 154065 HAS SOPS 154065 HAS SOUS 104911 HAS SOUPS 104911 WITH SCORE 105065.065
AT ITER 2444 NEW BEST:: SOT 281816 SOS 154031 HAS SOPS 154031 HAS SOUS 104877 HAS SOUPS 104877 WITH SCORE 105031.031
AT ITER 2449 NEW BEST:: SOT 281818 SOS 154029 HAS SOPS 154029 HAS SOUS 104875 HAS SOUPS 104875 WITH SCORE 105029.029
AT ITER 2451 NEW BEST:: SOT 281800 SOS 153963 HAS SOPS 153963 HAS SOUS 104772 HAS SOUPS 104772 WITH SCORE 104925.963
AT ITER 2482 NEW BEST:: SOT 281784 SOS 153927 HAS SOPS 153927 HAS SOUS 104738 HAS SOUPS 104738 WITH SCORE 104891.927
AT ITER 2485 NEW BEST:: SOT 281791 SOS 153548 HAS SOPS 153548 HAS SOUS 104724 HAS SOUPS 104724 WITH SCORE 104877.548
AT ITER 2486 NEW BEST:: SOT 281777 SOS 153534 HAS SOPS 153534 HAS SOUS 104702 HAS SOUPS 104702 WITH SCORE 104855.534
AT ITER 2488 NEW BEST:: SOT 281712 SOS 153447 HAS SOPS 153447 HAS SOUS 104678 HAS SOUPS 104678 WITH SCORE 104831.447
AT ITER 2494 NEW BEST:: SOT 281738 SOS 153393 HAS SOPS 153393 HAS SOUS 104646 HAS SOUPS 104646 WITH SCORE 104799.393
AT ITER 2502 NEW BEST:: SOT 281479 SOS 153089 HAS SOPS 153089 HAS SOUS 104342 HAS SOUPS 104342 WITH SCORE 104495.089
AT ITER 2512 NEW BEST:: SOT 281364 SOS 152885 HAS SOPS 152885 HAS SOUS 104270 HAS SOUPS 104270 WITH SCORE 104422.885
AT ITER 2515 NEW BEST:: SOT 281364 SOS 152904 HAS SOPS 152904 HAS SOUS 104263 HAS SOUPS 104263 WITH SCORE 104415.904
AT ITER 2519 NEW BEST:: SOT 281243 SOS 152236 HAS SOPS 152236 HAS SOUS 103989 HAS SOUPS 103989 WITH SCORE 104141.236
AT ITER 2532 NEW BEST:: SOT 281291 SOS 152807 HAS SOPS 152807 HAS SOUS 103955 HAS SOUPS 103955 WITH SCORE 104107.807
AT ITER 2535 NEW BEST:: SOT 281310 SOS 152731 HAS SOPS 152731 HAS SOUS 103885 HAS SOUPS 103885 WITH SCORE 104037.731
AT ITER 2540 NEW BEST:: SOT 281328 SOS 152749 HAS SOPS 152749 HAS SOUS 103866 HAS SOUPS 103866 WITH SCORE 104018.749
AT ITER 2542 NEW BEST:: SOT 281304 SOS 152717 HAS SOPS 152717 HAS SOUS 103834 HAS SOUPS 103834 WITH SCORE 103986.717
AT ITER 2565 NEW BEST:: SOT 281161 SOS 152068 HAS SOPS 152068 HAS SOUS 103643 HAS SOUPS 103643 WITH SCORE 103795.068
AT ITER 2571 NEW BEST:: SOT 281130 SOS 151879 HAS SOPS 151879 HAS SOUS 103421 HAS SOUPS 103421 WITH SCORE 103572.879
AT ITER 2605 NEW BEST:: SOT 281057 SOS 151680 HAS SOPS 151680 HAS SOUS 103222 HAS SOUPS 103222 WITH SCORE 103373.68
AT ITER 2610 NEW BEST:: SOT 280905 SOS 151564 HAS SOPS 151564 HAS SOUS 103070 HAS SOUPS 103070 WITH SCORE 103221.564
AT ITER 2621 NEW BEST:: SOT 280927 SOS 151608 HAS SOPS 151608 HAS SOUS 103018 HAS SOUPS 103018 WITH SCORE 103169.608
AT ITER 2624 NEW BEST:: SOT 280920 SOS 151601 HAS SOPS 151601 HAS SOUS 102963 HAS SOUPS 102963 WITH SCORE 103114.601
AT ITER 2625 NEW BEST:: SOT 280908 SOS 151589 HAS SOPS 151589 HAS SOUS 102951 HAS SOUPS 102951 WITH SCORE 103102.589
AT ITER 2630 NEW BEST:: SOT 280908 SOS 151598 HAS SOPS 151598 HAS SOUS 102802 HAS SOUPS 102802 WITH SCORE 102953.598
AT ITER 2631 NEW BEST:: SOT 280870 SOS 151560 HAS SOPS 151560 HAS SOUS 102781 HAS SOUPS 102781 WITH SCORE 102932.56
AT ITER 2632 NEW BEST:: SOT 280721 SOS 151274 HAS SOPS 151274 HAS SOUS 102309 HAS SOUPS 102309 WITH SCORE 102460.274
AT ITER 2637 NEW BEST:: SOT 280669 SOS 151214 HAS SOPS 151214 HAS SOUS 102235 HAS SOUPS 102235 WITH SCORE 102386.214
AT ITER 2656 NEW BEST:: SOT 280649 SOS 151218 HAS SOPS 151218 HAS SOUS 102205 HAS SOUPS 102205 WITH SCORE 102356.218
AT ITER 2663 NEW BEST:: SOT 280649 SOS 151215 HAS SOPS 151215 HAS SOUS 102202 HAS SOUPS 102202 WITH SCORE 102353.215
AT ITER 2683 NEW BEST:: SOT 280702 SOS 151286 HAS SOPS 151286 HAS SOUS 102139 HAS SOUPS 102139 WITH SCORE 102290.286
AT ITER 2684 NEW BEST:: SOT 280630 SOS 151214 HAS SOPS 151214 HAS SOUS 102067 HAS SOUPS 102067 WITH SCORE 102218.214
AT ITER 2685 NEW BEST:: SOT 280737 SOS 151360 HAS SOPS 151360 HAS SOUS 101969 HAS SOUPS 101969 WITH SCORE 102120.36
AT ITER 2688 NEW BEST:: SOT 280543 SOS 150833 HAS SOPS 150833 HAS SOUS 101580 HAS SOUPS 101580 WITH SCORE 101730.833
AT ITER 2689 NEW BEST:: SOT 280518 SOS 150849 HAS SOPS 150849 HAS SOUS 101513 HAS SOUPS 101513 WITH SCORE 101663.849
AT ITER 2695 NEW BEST:: SOT 280408 SOS 150708 HAS SOPS 150708 HAS SOUS 101297 HAS SOUPS 101297 WITH SCORE 101447.708
AT ITER 2700 NEW BEST:: SOT 280409 SOS 150709 HAS SOPS 150709 HAS SOUS 101125 HAS SOUPS 101125 WITH SCORE 101275.709
AT ITER 2713 NEW BEST:: SOT 280352 SOS 150815 HAS SOPS 150815 HAS SOUS 101116 HAS SOUPS 101116 WITH SCORE 101266.815
AT ITER 2723 NEW BEST:: SOT 280345 SOS 150886 HAS SOPS 150886 HAS SOUS 101107 HAS SOUPS 101107 WITH SCORE 101257.886
AT ITER 2728 NEW BEST:: SOT 280337 SOS 150878 HAS SOPS 150878 HAS SOUS 101099 HAS SOUPS 101099 WITH SCORE 101249.878
AT ITER 2735 NEW BEST:: SOT 280184 SOS 150650 HAS SOPS 150650 HAS SOUS 100823 HAS SOUPS 100823 WITH SCORE 100973.65
AT ITER 2736 NEW BEST:: SOT 280160 SOS 150538 HAS SOPS 150538 HAS SOUS 100745 HAS SOUPS 100745 WITH SCORE 100895.538
AT ITER 2737 NEW BEST:: SOT 279807 SOS 150249 HAS SOPS 150249 HAS SOUS 100515 HAS SOUPS 100515 WITH SCORE 100665.249
AT ITER 2744 NEW BEST:: SOT 279806 SOS 150248 HAS SOPS 150248 HAS SOUS 100514 HAS SOUPS 100514 WITH SCORE 100664.248
AT ITER 2746 NEW BEST:: SOT 279521 SOS 148926 HAS SOPS 148926 HAS SOUS 100310 HAS SOUPS 100310 WITH SCORE 100458.926
AT ITER 2749 NEW BEST:: SOT 279446 SOS 148824 HAS SOPS 148824 HAS SOUS 100208 HAS SOUPS 100208 WITH SCORE 100356.824
AT ITER 2751 NEW BEST:: SOT 279431 SOS 148809 HAS SOPS 148809 HAS SOUS 100193 HAS SOUPS 100193 WITH SCORE 100341.809
AT ITER 2754 NEW BEST:: SOT 279453 SOS 148827 HAS SOPS 148827 HAS SOUS 100185 HAS SOUPS 100185 WITH SCORE 100333.827
AT ITER 2757 NEW BEST:: SOT 279453 SOS 148768 HAS SOPS 148768 HAS SOUS 100056 HAS SOUPS 100056 WITH SCORE 100204.768
AT ITER 2758 NEW BEST:: SOT 278995 SOS 147846 HAS SOPS 147846 HAS SOUS 99464 HAS SOUPS 99464 WITH SCORE 99611.846
AT ITER 2767 NEW BEST:: SOT 279005 SOS 147846 HAS SOPS 147846 HAS SOUS 99454 HAS SOUPS 99454 WITH SCORE 99601.846
AT ITER 2783 NEW BEST:: SOT 278994 SOS 147779 HAS SOPS 147779 HAS SOUS 99354 HAS SOUPS 99354 WITH SCORE 99501.779
AT ITER 2796 NEW BEST:: SOT 278825 SOS 147610 HAS SOPS 147610 HAS SOUS 99170 HAS SOUPS 99170 WITH SCORE 99317.61
AT ITER 2797 NEW BEST:: SOT 278435 SOS 147220 HAS SOPS 147220 HAS SOUS 98706 HAS SOUPS 98706 WITH SCORE 98853.22
AT ITER 2801 NEW BEST:: SOT 278435 SOS 146761 HAS SOPS 146761 HAS SOUS 98696 HAS SOUPS 98696 WITH SCORE 98842.761
AT ITER 2806 NEW BEST:: SOT 278436 SOS 146762 HAS SOPS 146762 HAS SOUS 98602 HAS SOUPS 98602 WITH SCORE 98748.762
AT ITER 2807 NEW BEST:: SOT 278436 SOS 146519 HAS SOPS 146519 HAS SOUS 98589 HAS SOUPS 98589 WITH SCORE 98735.519
AT ITER 2823 NEW BEST:: SOT 278436 SOS 146511 HAS SOPS 146511 HAS SOUS 98569 HAS SOUPS 98569 WITH SCORE 98715.511
AT ITER 2831 NEW BEST:: SOT 278788 SOS 147625 HAS SOPS 147625 HAS SOUS 98442 HAS SOUPS 98442 WITH SCORE 98589.625
AT ITER 2857 NEW BEST:: SOT 278727 SOS 147530 HAS SOPS 147530 HAS SOUS 98381 HAS SOUPS 98381 WITH SCORE 98528.53
AT ITER 2868 NEW BEST:: SOT 278513 SOS 146810 HAS SOPS 146810 HAS SOUS 98191 HAS SOUPS 98191 WITH SCORE 98337.81
AT ITER 2869 NEW BEST:: SOT 278354 SOS 146716 HAS SOPS 146716 HAS SOUS 98081 HAS SOUPS 98081 WITH SCORE 98227.716
AT ITER 2872 NEW BEST:: SOT 278342 SOS 146708 HAS SOPS 146708 HAS SOUS 98077 HAS SOUPS 98077 WITH SCORE 98223.708
AT ITER 2889 NEW BEST:: SOT 278320 SOS 146686 HAS SOPS 146686 HAS SOUS 97893 HAS SOUPS 97893 WITH SCORE 98039.686
AT ITER 2893 NEW BEST:: SOT 278354 SOS 147006 HAS SOPS 147006 HAS SOUS 97852 HAS SOUPS 97852 WITH SCORE 97999.006
AT ITER 2897 NEW BEST:: SOT 278308 SOS 146960 HAS SOPS 146960 HAS SOUS 97806 HAS SOUPS 97806 WITH SCORE 97952.96
AT ITER 2923 NEW BEST:: SOT 278318 SOS 146970 HAS SOPS 146970 HAS SOUS 97796 HAS SOUPS 97796 WITH SCORE 97942.97
AT ITER 2924 NEW BEST:: SOT 278237 SOS 146760 HAS SOPS 146760 HAS SOUS 97715 HAS SOUPS 97715 WITH SCORE 97861.76
AT ITER 2927 NEW BEST:: SOT 278237 SOS 146273 HAS SOPS 146273 HAS SOUS 97635 HAS SOUPS 97635 WITH SCORE 97781.273
AT ITER 2941 NEW BEST:: SOT 278237 SOS 146268 HAS SOPS 146268 HAS SOUS 97635 HAS SOUPS 97635 WITH SCORE 97781.268
AT ITER 2948 NEW BEST:: SOT 278237 SOS 146182 HAS SOPS 146182 HAS SOUS 97503 HAS SOUPS 97503 WITH SCORE 97649.182
AT ITER 2969 NEW BEST:: SOT 278255 SOS 146158 HAS SOPS 146158 HAS SOUS 97475 HAS SOUPS 97475 WITH SCORE 97621.158
AT ITER 2970 NEW BEST:: SOT 278169 SOS 146038 HAS SOPS 146038 HAS SOUS 97359 HAS SOUPS 97359 WITH SCORE 97505.038
AT ITER 2981 NEW BEST:: SOT 278169 SOS 146022 HAS SOPS 146022 HAS SOUS 97358 HAS SOUPS 97358 WITH SCORE 97504.022
AT ITER 2983 NEW BEST:: SOT 278152 SOS 146005 HAS SOPS 146005 HAS SOUS 97341 HAS SOUPS 97341 WITH SCORE 97487.005
AT ITER 2991 NEW BEST:: SOT 278110 SOS 145963 HAS SOPS 145963 HAS SOUS 97299 HAS SOUPS 97299 WITH SCORE 97444.963
AT ITER 3006 NEW BEST:: SOT 278099 SOS 145867 HAS SOPS 145867 HAS SOUS 97280 HAS SOUPS 97280 WITH SCORE 97425.867
AT ITER 3009 NEW BEST:: SOT 278099 SOS 145867 HAS SOPS 145867 HAS SOUS 97252 HAS SOUPS 97252 WITH SCORE 97397.867
AT ITER 3013 NEW BEST:: SOT 278084 SOS 145852 HAS SOPS 145852 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97389.852
AT ITER 3030 NEW BEST:: SOT 277954 SOS 145722 HAS SOPS 145722 HAS SOUS 97114 HAS SOUPS 97114 WITH SCORE 97259.722
AT ITER 3042 NEW BEST:: SOT 277774 SOS 145516 HAS SOPS 145516 HAS SOUS 96767 HAS SOUPS 96767 WITH SCORE 96912.516
AT ITER 3069 NEW BEST:: SOT 277774 SOS 145590 HAS SOPS 145590 HAS SOUS 96651 HAS SOUPS 96651 WITH SCORE 96796.59
AT ITER 3090 NEW BEST:: SOT 277640 SOS 145456 HAS SOPS 145456 HAS SOUS 96517 HAS SOUPS 96517 WITH SCORE 96662.456
AT ITER 3091 NEW BEST:: SOT 277562 SOS 145378 HAS SOPS 145378 HAS SOUS 96466 HAS SOUPS 96466 WITH SCORE 96611.378
AT ITER 3095 NEW BEST:: SOT 277572 SOS 145366 HAS SOPS 145366 HAS SOUS 96389 HAS SOUPS 96389 WITH SCORE 96534.366
AT ITER 3109 NEW BEST:: SOT 277475 SOS 145269 HAS SOPS 145269 HAS SOUS 96292 HAS SOUPS 96292 WITH SCORE 96437.269
AT ITER 3113 NEW BEST:: SOT 277460 SOS 145240 HAS SOPS 145240 HAS SOUS 96221 HAS SOUPS 96221 WITH SCORE 96366.24
AT ITER 3141 NEW BEST:: SOT 277406 SOS 145186 HAS SOPS 145186 HAS SOUS 96167 HAS SOUPS 96167 WITH SCORE 96312.186
AT ITER 3162 NEW BEST:: SOT 277400 SOS 145161 HAS SOPS 145161 HAS SOUS 96142 HAS SOUPS 96142 WITH SCORE 96287.161
AT ITER 3175 NEW BEST:: SOT 277391 SOS 145143 HAS SOPS 145143 HAS SOUS 96124 HAS SOUPS 96124 WITH SCORE 96269.143
AT ITER 3176 NEW BEST:: SOT 277391 SOS 145074 HAS SOPS 145074 HAS SOUS 96079 HAS SOUPS 96079 WITH SCORE 96224.074
AT ITER 3178 NEW BEST:: SOT 277391 SOS 144844 HAS SOPS 144844 HAS SOUS 96035 HAS SOUPS 96035 WITH SCORE 96179.844
AT ITER 3217 NEW BEST:: SOT 277322 SOS 144711 HAS SOPS 144711 HAS SOUS 95935 HAS SOUPS 95935 WITH SCORE 96079.711
AT ITER 3230 NEW BEST:: SOT 277322 SOS 144698 HAS SOPS 144698 HAS SOUS 95917 HAS SOUPS 95917 WITH SCORE 96061.698
AT ITER 3276 NEW BEST:: SOT 277276 SOS 144514 HAS SOPS 144514 HAS SOUS 95871 HAS SOUPS 95871 WITH SCORE 96015.514
AT ITER 3287 NEW BEST:: SOT 277192 SOS 144457 HAS SOPS 144457 HAS SOUS 95777 HAS SOUPS 95777 WITH SCORE 95921.457
AT ITER 3291 NEW BEST:: SOT 277195 SOS 144457 HAS SOPS 144457 HAS SOUS 95774 HAS SOUPS 95774 WITH SCORE 95918.457
AT ITER 3300 NEW BEST:: SOT 277040 SOS 144288 HAS SOPS 144288 HAS SOUS 95605 HAS SOUPS 95605 WITH SCORE 95749.288
AT ITER 3301 NEW BEST:: SOT 277026 SOS 144177 HAS SOPS 144177 HAS SOUS 95535 HAS SOUPS 95535 WITH SCORE 95679.177
AT ITER 3313 NEW BEST:: SOT 276826 SOS 143722 HAS SOPS 143722 HAS SOUS 95154 HAS SOUPS 95154 WITH SCORE 95297.722
AT ITER 3314 NEW BEST:: SOT 276783 SOS 143637 HAS SOPS 143637 HAS SOUS 94969 HAS SOUPS 94969 WITH SCORE 95112.637
AT ITER 3317 NEW BEST:: SOT 276755 SOS 143537 HAS SOPS 143537 HAS SOUS 94900 HAS SOUPS 94900 WITH SCORE 95043.537
AT ITER 3321 NEW BEST:: SOT 276643 SOS 143369 HAS SOPS 143369 HAS SOUS 94788 HAS SOUPS 94788 WITH SCORE 94931.369
AT ITER 3322 NEW BEST:: SOT 276617 SOS 143348 HAS SOPS 143348 HAS SOUS 94767 HAS SOUPS 94767 WITH SCORE 94910.348
AT ITER 3332 NEW BEST:: SOT 276617 SOS 143262 HAS SOPS 143262 HAS SOUS 94760 HAS SOUPS 94760 WITH SCORE 94903.262
AT ITER 3333 NEW BEST:: SOT 276459 SOS 142126 HAS SOPS 142126 HAS SOUS 94527 HAS SOUPS 94527 WITH SCORE 94669.126
AT ITER 3338 NEW BEST:: SOT 276397 SOS 142092 HAS SOPS 142092 HAS SOUS 94513 HAS SOUPS 94513 WITH SCORE 94655.092
AT ITER 3349 NEW BEST:: SOT 276177 SOS 141920 HAS SOPS 141920 HAS SOUS 94385 HAS SOUPS 94385 WITH SCORE 94526.92
AT ITER 3360 NEW BEST:: SOT 276147 SOS 141890 HAS SOPS 141890 HAS SOUS 94355 HAS SOUPS 94355 WITH SCORE 94496.89
AT ITER 3363 NEW BEST:: SOT 276337 SOS 141738 HAS SOPS 141738 HAS SOUS 94208 HAS SOUPS 94208 WITH SCORE 94349.738
AT ITER 3368 NEW BEST:: SOT 276316 SOS 141717 HAS SOPS 141717 HAS SOUS 94193 HAS SOUPS 94193 WITH SCORE 94334.717
AT ITER 3370 NEW BEST:: SOT 276352 SOS 141645 HAS SOPS 141645 HAS SOUS 94040 HAS SOUPS 94040 WITH SCORE 94181.645
AT ITER 3377 NEW BEST:: SOT 276536 SOS 141556 HAS SOPS 141556 HAS SOUS 93948 HAS SOUPS 93948 WITH SCORE 94089.556
AT ITER 3378 NEW BEST:: SOT 276625 SOS 141554 HAS SOPS 141554 HAS SOUS 93936 HAS SOUPS 93936 WITH SCORE 94077.554
AT ITER 3401 NEW BEST:: SOT 276618 SOS 141463 HAS SOPS 141463 HAS SOUS 93909 HAS SOUPS 93909 WITH SCORE 94050.463
AT ITER 3410 NEW BEST:: SOT 276582 SOS 141258 HAS SOPS 141258 HAS SOUS 93857 HAS SOUPS 93857 WITH SCORE 93998.258
AT ITER 3414 NEW BEST:: SOT 276582 SOS 141186 HAS SOPS 141186 HAS SOUS 93797 HAS SOUPS 93797 WITH SCORE 93938.186
AT ITER 3419 NEW BEST:: SOT 276579 SOS 141174 HAS SOPS 141174 HAS SOUS 93788 HAS SOUPS 93788 WITH SCORE 93929.174
AT ITER 3421 NEW BEST:: SOT 276579 SOS 141246 HAS SOPS 141246 HAS SOUS 93769 HAS SOUPS 93769 WITH SCORE 93910.246
AT ITER 3425 NEW BEST:: SOT 276620 SOS 141120 HAS SOPS 141120 HAS SOUS 93753 HAS SOUPS 93753 WITH SCORE 93894.12
AT ITER 3433 NEW BEST:: SOT 276570 SOS 140615 HAS SOPS 140615 HAS SOUS 93619 HAS SOUPS 93619 WITH SCORE 93759.615
AT ITER 3441 NEW BEST:: SOT 276570 SOS 140564 HAS SOPS 140564 HAS SOUS 93592 HAS SOUPS 93592 WITH SCORE 93732.564
AT ITER 3468 NEW BEST:: SOT 276191 SOS 139603 HAS SOPS 139603 HAS SOUS 93182 HAS SOUPS 93182 WITH SCORE 93321.603
AT ITER 3469 NEW BEST:: SOT 276191 SOS 139195 HAS SOPS 139195 HAS SOUS 93099 HAS SOUPS 93099 WITH SCORE 93238.195
AT ITER 3472 NEW BEST:: SOT 276191 SOS 138637 HAS SOPS 138637 HAS SOUS 92980 HAS SOUPS 92980 WITH SCORE 93118.637
AT ITER 3477 NEW BEST:: SOT 276155 SOS 138565 HAS SOPS 138565 HAS SOUS 92917 HAS SOUPS 92917 WITH SCORE 93055.565
AT ITER 3479 NEW BEST:: SOT 276057 SOS 138266 HAS SOPS 138266 HAS SOUS 92736 HAS SOUPS 92736 WITH SCORE 92874.266
AT ITER 3491 NEW BEST:: SOT 276015 SOS 138177 HAS SOPS 138177 HAS SOUS 92722 HAS SOUPS 92722 WITH SCORE 92860.177
AT ITER 3497 NEW BEST:: SOT 275964 SOS 138106 HAS SOPS 138106 HAS SOUS 92640 HAS SOUPS 92640 WITH SCORE 92778.106
AT ITER 3506 NEW BEST:: SOT 275973 SOS 138017 HAS SOPS 138017 HAS SOUS 92622 HAS SOUPS 92622 WITH SCORE 92760.017
AT ITER 3509 NEW BEST:: SOT 275850 SOS 137893 HAS SOPS 137893 HAS SOUS 92498 HAS SOUPS 92498 WITH SCORE 92635.893
AT ITER 3512 NEW BEST:: SOT 275767 SOS 137611 HAS SOPS 137611 HAS SOUS 92242 HAS SOUPS 92242 WITH SCORE 92379.611
AT ITER 3518 NEW BEST:: SOT 275701 SOS 137567 HAS SOPS 137567 HAS SOUS 92198 HAS SOUPS 92198 WITH SCORE 92335.567
AT ITER 3522 NEW BEST:: SOT 275282 SOS 137005 HAS SOPS 137005 HAS SOUS 91715 HAS SOUPS 91715 WITH SCORE 91852.005
AT ITER 3528 NEW BEST:: SOT 275314 SOS 136828 HAS SOPS 136828 HAS SOUS 91662 HAS SOUPS 91662 WITH SCORE 91798.828
AT ITER 3533 NEW BEST:: SOT 275341 SOS 136617 HAS SOPS 136617 HAS SOUS 91412 HAS SOUPS 91412 WITH SCORE 91548.617
AT ITER 3541 NEW BEST:: SOT 275316 SOS 136577 HAS SOPS 136577 HAS SOUS 91367 HAS SOUPS 91367 WITH SCORE 91503.577
AT ITER 3551 NEW BEST:: SOT 275441 SOS 136393 HAS SOPS 136393 HAS SOUS 91177 HAS SOUPS 91177 WITH SCORE 91313.393
AT ITER 3554 NEW BEST:: SOT 275393 SOS 136273 HAS SOPS 136273 HAS SOUS 91057 HAS SOUPS 91057 WITH SCORE 91193.273
AT ITER 3561 NEW BEST:: SOT 275391 SOS 136163 HAS SOPS 136163 HAS SOUS 90947 HAS SOUPS 90947 WITH SCORE 91083.163
AT ITER 3588 NEW BEST:: SOT 275291 SOS 136047 HAS SOPS 136047 HAS SOUS 90831 HAS SOUPS 90831 WITH SCORE 90967.047
AT ITER 3590 NEW BEST:: SOT 275216 SOS 135972 HAS SOPS 135972 HAS SOUS 90756 HAS SOUPS 90756 WITH SCORE 90891.972
AT ITER 3594 NEW BEST:: SOT 275204 SOS 135938 HAS SOPS 135938 HAS SOUS 90749 HAS SOUPS 90749 WITH SCORE 90884.938
AT ITER 3596 NEW BEST:: SOT 275204 SOS 135920 HAS SOPS 135920 HAS SOUS 90704 HAS SOUPS 90704 WITH SCORE 90839.92
AT ITER 3601 NEW BEST:: SOT 275194 SOS 135698 HAS SOPS 135698 HAS SOUS 90368 HAS SOUPS 90368 WITH SCORE 90503.698
AT ITER 3610 NEW BEST:: SOT 275192 SOS 135689 HAS SOPS 135689 HAS SOUS 90359 HAS SOUPS 90359 WITH SCORE 90494.689
AT ITER 3620 NEW BEST:: SOT 274861 SOS 135505 HAS SOPS 135505 HAS SOUS 90153 HAS SOUPS 90153 WITH SCORE 90288.505
AT ITER 3621 NEW BEST:: SOT 274843 SOS 135495 HAS SOPS 135495 HAS SOUS 90153 HAS SOUPS 90153 WITH SCORE 90288.495
AT ITER 3637 NEW BEST:: SOT 274817 SOS 135389 HAS SOPS 135389 HAS SOUS 90047 HAS SOUPS 90047 WITH SCORE 90182.389
AT ITER 3654 NEW BEST:: SOT 274927 SOS 135944 HAS SOPS 135944 HAS SOUS 89811 HAS SOUPS 89811 WITH SCORE 89946.944
AT ITER 3658 NEW BEST:: SOT 274909 SOS 135914 HAS SOPS 135914 HAS SOUS 89781 HAS SOUPS 89781 WITH SCORE 89916.914
AT ITER 3663 NEW BEST:: SOT 274907 SOS 135914 HAS SOPS 135914 HAS SOUS 89775 HAS SOUPS 89775 WITH SCORE 89910.914
AT ITER 3665 NEW BEST:: SOT 274890 SOS 135948 HAS SOPS 135948 HAS SOUS 89724 HAS SOUPS 89724 WITH SCORE 89859.948
AT ITER 3668 NEW BEST:: SOT 274914 SOS 135956 HAS SOPS 135956 HAS SOUS 89712 HAS SOUPS 89712 WITH SCORE 89847.956
AT ITER 3670 NEW BEST:: SOT 274863 SOS 135872 HAS SOPS 135872 HAS SOUS 89640 HAS SOUPS 89640 WITH SCORE 89775.872
AT ITER 3671 NEW BEST:: SOT 274795 SOS 135909 HAS SOPS 135909 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89726.909
AT ITER 3692 NEW BEST:: SOT 274833 SOS 135835 HAS SOPS 135835 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89726.835
AT ITER 3716 NEW BEST:: SOT 274833 SOS 135779 HAS SOPS 135779 HAS SOUS 89523 HAS SOUPS 89523 WITH SCORE 89658.779
AT ITER 3721 NEW BEST:: SOT 274815 SOS 135761 HAS SOPS 135761 HAS SOUS 89505 HAS SOUPS 89505 WITH SCORE 89640.761
AT ITER 3724 NEW BEST:: SOT 274746 SOS 135579 HAS SOPS 135579 HAS SOUS 89314 HAS SOUPS 89314 WITH SCORE 89449.579
AT ITER 3744 NEW BEST:: SOT 274595 SOS 135327 HAS SOPS 135327 HAS SOUS 88925 HAS SOUPS 88925 WITH SCORE 89060.327
AT ITER 3754 NEW BEST:: SOT 274570 SOS 135219 HAS SOPS 135219 HAS SOUS 88809 HAS SOUPS 88809 WITH SCORE 88944.219
AT ITER 3757 NEW BEST:: SOT 274558 SOS 135057 HAS SOPS 135057 HAS SOUS 88792 HAS SOUPS 88792 WITH SCORE 88927.057
AT ITER 3768 NEW BEST:: SOT 274502 SOS 135016 HAS SOPS 135016 HAS SOUS 88615 HAS SOUPS 88615 WITH SCORE 88750.016
AT ITER 3782 NEW BEST:: SOT 274410 SOS 134878 HAS SOPS 134878 HAS SOUS 88496 HAS SOUPS 88496 WITH SCORE 88630.878
AT ITER 3794 NEW BEST:: SOT 274380 SOS 134848 HAS SOPS 134848 HAS SOUS 88466 HAS SOUPS 88466 WITH SCORE 88600.848
AT ITER 3798 NEW BEST:: SOT 274266 SOS 134818 HAS SOPS 134818 HAS SOUS 88436 HAS SOUPS 88436 WITH SCORE 88570.818
AT ITER 3803 NEW BEST:: SOT 273988 SOS 134522 HAS SOPS 134522 HAS SOUS 88202 HAS SOUPS 88202 WITH SCORE 88336.522
AT ITER 3812 NEW BEST:: SOT 273980 SOS 134514 HAS SOPS 134514 HAS SOUS 88194 HAS SOUPS 88194 WITH SCORE 88328.514
AT ITER 3816 NEW BEST:: SOT 274054 SOS 134124 HAS SOPS 134124 HAS SOUS 87947 HAS SOUPS 87947 WITH SCORE 88081.124
AT ITER 3819 NEW BEST:: SOT 274007 SOS 134171 HAS SOPS 134171 HAS SOUS 87890 HAS SOUPS 87890 WITH SCORE 88024.171
AT ITER 3825 NEW BEST:: SOT 273971 SOS 134111 HAS SOPS 134111 HAS SOUS 87830 HAS SOUPS 87830 WITH SCORE 87964.111
AT ITER 3832 NEW BEST:: SOT 274100 SOS 134230 HAS SOPS 134230 HAS SOUS 87774 HAS SOUPS 87774 WITH SCORE 87908.23
AT ITER 3839 NEW BEST:: SOT 274132 SOS 133985 HAS SOPS 133985 HAS SOUS 87702 HAS SOUPS 87702 WITH SCORE 87835.985
AT ITER 3840 NEW BEST:: SOT 274132 SOS 133943 HAS SOPS 133943 HAS SOUS 87631 HAS SOUPS 87631 WITH SCORE 87764.943
AT ITER 3846 NEW BEST:: SOT 274127 SOS 133918 HAS SOPS 133918 HAS SOUS 87628 HAS SOUPS 87628 WITH SCORE 87761.918
AT ITER 3851 NEW BEST:: SOT 274103 SOS 133730 HAS SOPS 133730 HAS SOUS 87519 HAS SOUPS 87519 WITH SCORE 87652.73
AT ITER 3858 NEW BEST:: SOT 274188 SOS 133802 HAS SOPS 133802 HAS SOUS 87511 HAS SOUPS 87511 WITH SCORE 87644.802
AT ITER 3874 NEW BEST:: SOT 274188 SOS 133788 HAS SOPS 133788 HAS SOUS 87501 HAS SOUPS 87501 WITH SCORE 87634.788
AT ITER 3885 NEW BEST:: SOT 273990 SOS 133258 HAS SOPS 133258 HAS SOUS 87157 HAS SOUPS 87157 WITH SCORE 87290.258
AT ITER 3886 NEW BEST:: SOT 273990 SOS 133386 HAS SOPS 133386 HAS SOUS 87053 HAS SOUPS 87053 WITH SCORE 87186.386
AT ITER 3889 NEW BEST:: SOT 273890 SOS 133253 HAS SOPS 133253 HAS SOUS 86832 HAS SOUPS 86832 WITH SCORE 86965.253
AT ITER 3906 NEW BEST:: SOT 273874 SOS 133237 HAS SOPS 133237 HAS SOUS 86816 HAS SOUPS 86816 WITH SCORE 86949.237
AT ITER 3908 NEW BEST:: SOT 273776 SOS 133385 HAS SOPS 133385 HAS SOUS 86773 HAS SOUPS 86773 WITH SCORE 86906.385
AT ITER 3911 NEW BEST:: SOT 273768 SOS 133369 HAS SOPS 133369 HAS SOUS 86757 HAS SOUPS 86757 WITH SCORE 86890.369
AT ITER 3922 NEW BEST:: SOT 273742 SOS 133343 HAS SOPS 133343 HAS SOUS 86725 HAS SOUPS 86725 WITH SCORE 86858.343
AT ITER 3945 NEW BEST:: SOT 273763 SOS 133364 HAS SOPS 133364 HAS SOUS 86704 HAS SOUPS 86704 WITH SCORE 86837.364
AT ITER 3957 NEW BEST:: SOT 273646 SOS 133247 HAS SOPS 133247 HAS SOUS 86511 HAS SOUPS 86511 WITH SCORE 86644.247
AT ITER 3966 NEW BEST:: SOT 273627 SOS 133228 HAS SOPS 133228 HAS SOUS 86492 HAS SOUPS 86492 WITH SCORE 86625.228
AT ITER 3987 NEW BEST:: SOT 273615 SOS 133216 HAS SOPS 133216 HAS SOUS 86427 HAS SOUPS 86427 WITH SCORE 86560.216
AT ITER 3991 NEW BEST:: SOT 273441 SOS 132945 HAS SOPS 132945 HAS SOUS 85780 HAS SOUPS 85780 WITH SCORE 85912.945
AT ITER 3993 NEW BEST:: SOT 273429 SOS 132933 HAS SOPS 132933 HAS SOUS 85768 HAS SOUPS 85768 WITH SCORE 85900.933
AT ITER 4013 NEW BEST:: SOT 273298 SOS 132865 HAS SOPS 132865 HAS SOUS 85631 HAS SOUPS 85631 WITH SCORE 85763.865
AT ITER 4022 NEW BEST:: SOT 273240 SOS 132807 HAS SOPS 132807 HAS SOUS 85589 HAS SOUPS 85589 WITH SCORE 85721.807
AT ITER 4025 NEW BEST:: SOT 273240 SOS 132017 HAS SOPS 132017 HAS SOUS 85507 HAS SOUPS 85507 WITH SCORE 85639.017
AT ITER 4026 NEW BEST:: SOT 273204 SOS 132066 HAS SOPS 132066 HAS SOUS 85474 HAS SOUPS 85474 WITH SCORE 85606.066
AT ITER 4028 NEW BEST:: SOT 273159 SOS 132021 HAS SOPS 132021 HAS SOUS 85425 HAS SOUPS 85425 WITH SCORE 85557.021
AT ITER 4031 NEW BEST:: SOT 273159 SOS 131634 HAS SOPS 131634 HAS SOUS 85306 HAS SOUPS 85306 WITH SCORE 85437.634
AT ITER 4045 NEW BEST:: SOT 273078 SOS 131591 HAS SOPS 131591 HAS SOUS 84961 HAS SOUPS 84961 WITH SCORE 85092.591
AT ITER 4049 NEW BEST:: SOT 273228 SOS 131537 HAS SOPS 131537 HAS SOUS 84886 HAS SOUPS 84886 WITH SCORE 85017.537
AT ITER 4055 NEW BEST:: SOT 273111 SOS 130694 HAS SOPS 130694 HAS SOUS 84638 HAS SOUPS 84638 WITH SCORE 84768.694
AT ITER 4070 NEW BEST:: SOT 273105 SOS 130664 HAS SOPS 130664 HAS SOUS 84602 HAS SOUPS 84602 WITH SCORE 84732.664
AT ITER 4076 NEW BEST:: SOT 272898 SOS 130416 HAS SOPS 130416 HAS SOUS 84352 HAS SOUPS 84352 WITH SCORE 84482.416
AT ITER 4089 NEW BEST:: SOT 272826 SOS 130091 HAS SOPS 130091 HAS SOUS 84286 HAS SOUPS 84286 WITH SCORE 84416.091
AT ITER 4105 NEW BEST:: SOT 272796 SOS 130075 HAS SOPS 130075 HAS SOUS 84284 HAS SOUPS 84284 WITH SCORE 84414.075
AT ITER 4115 NEW BEST:: SOT 272796 SOS 130170 HAS SOPS 130170 HAS SOUS 84246 HAS SOUPS 84246 WITH SCORE 84376.17
AT ITER 4117 NEW BEST:: SOT 272716 SOS 130074 HAS SOPS 130074 HAS SOUS 84097 HAS SOUPS 84097 WITH SCORE 84227.074
AT ITER 4122 NEW BEST:: SOT 272674 SOS 129984 HAS SOPS 129984 HAS SOUS 84035 HAS SOUPS 84035 WITH SCORE 84164.984
AT ITER 4130 NEW BEST:: SOT 272470 SOS 129639 HAS SOPS 129639 HAS SOUS 84028 HAS SOUPS 84028 WITH SCORE 84157.639
AT ITER 4132 NEW BEST:: SOT 272497 SOS 129477 HAS SOPS 129477 HAS SOUS 84001 HAS SOUPS 84001 WITH SCORE 84130.477
AT ITER 4135 NEW BEST:: SOT 272439 SOS 129343 HAS SOPS 129343 HAS SOUS 83731 HAS SOUPS 83731 WITH SCORE 83860.343
AT ITER 4146 NEW BEST:: SOT 272396 SOS 129300 HAS SOPS 129300 HAS SOUS 83688 HAS SOUPS 83688 WITH SCORE 83817.3
AT ITER 4150 NEW BEST:: SOT 272392 SOS 129296 HAS SOPS 129296 HAS SOUS 83668 HAS SOUPS 83668 WITH SCORE 83797.296
AT ITER 4153 NEW BEST:: SOT 272244 SOS 129148 HAS SOPS 129148 HAS SOUS 83520 HAS SOUPS 83520 WITH SCORE 83649.148
AT ITER 4169 NEW BEST:: SOT 272177 SOS 129014 HAS SOPS 129014 HAS SOUS 83520 HAS SOUPS 83520 WITH SCORE 83649.014
AT ITER 4176 NEW BEST:: SOT 272056 SOS 128746 HAS SOPS 128746 HAS SOUS 83399 HAS SOUPS 83399 WITH SCORE 83527.746
AT ITER 4191 NEW BEST:: SOT 272055 SOS 128745 HAS SOPS 128745 HAS SOUS 83398 HAS SOUPS 83398 WITH SCORE 83526.745
AT ITER 4194 NEW BEST:: SOT 271983 SOS 128673 HAS SOPS 128673 HAS SOUS 83326 HAS SOUPS 83326 WITH SCORE 83454.673
AT ITER 4211 NEW BEST:: SOT 271935 SOS 128687 HAS SOPS 128687 HAS SOUS 83024 HAS SOUPS 83024 WITH SCORE 83152.687
AT ITER 4221 NEW BEST:: SOT 271935 SOS 128645 HAS SOPS 128645 HAS SOUS 83019 HAS SOUPS 83019 WITH SCORE 83147.645
AT ITER 4223 NEW BEST:: SOT 271935 SOS 128576 HAS SOPS 128576 HAS SOUS 82893 HAS SOUPS 82893 WITH SCORE 83021.576
AT ITER 4258 NEW BEST:: SOT 271936 SOS 128565 HAS SOPS 128565 HAS SOUS 82882 HAS SOUPS 82882 WITH SCORE 83010.565
AT ITER 4273 NEW BEST:: SOT 271936 SOS 128577 HAS SOPS 128577 HAS SOUS 82879 HAS SOUPS 82879 WITH SCORE 83007.577
AT ITER 4296 NEW BEST:: SOT 271930 SOS 128571 HAS SOPS 128571 HAS SOUS 82879 HAS SOUPS 82879 WITH SCORE 83007.571
AT ITER 4301 NEW BEST:: SOT 271980 SOS 128555 HAS SOPS 128555 HAS SOUS 82863 HAS SOUPS 82863 WITH SCORE 82991.555
AT ITER 4315 NEW BEST:: SOT 271929 SOS 128351 HAS SOPS 128351 HAS SOUS 82805 HAS SOUPS 82805 WITH SCORE 82933.351
AT ITER 4330 NEW BEST:: SOT 271917 SOS 128312 HAS SOPS 128312 HAS SOUS 82781 HAS SOUPS 82781 WITH SCORE 82909.312
AT ITER 4342 NEW BEST:: SOT 271920 SOS 128312 HAS SOPS 128312 HAS SOUS 82778 HAS SOUPS 82778 WITH SCORE 82906.312
AT ITER 4362 NEW BEST:: SOT 271888 SOS 128310 HAS SOPS 128310 HAS SOUS 82668 HAS SOUPS 82668 WITH SCORE 82796.31
AT ITER 4365 NEW BEST:: SOT 271869 SOS 128253 HAS SOPS 128253 HAS SOUS 82601 HAS SOUPS 82601 WITH SCORE 82729.253
AT ITER 4389 NEW BEST:: SOT 271866 SOS 128250 HAS SOPS 128250 HAS SOUS 82595 HAS SOUPS 82595 WITH SCORE 82723.25
AT ITER 4396 NEW BEST:: SOT 271880 SOS 128263 HAS SOPS 128263 HAS SOUS 82585 HAS SOUPS 82585 WITH SCORE 82713.263
AT ITER 4409 NEW BEST:: SOT 271879 SOS 128262 HAS SOPS 128262 HAS SOUS 82584 HAS SOUPS 82584 WITH SCORE 82712.262
AT ITER 4411 NEW BEST:: SOT 271864 SOS 128247 HAS SOPS 128247 HAS SOUS 82572 HAS SOUPS 82572 WITH SCORE 82700.247
AT ITER 4413 NEW BEST:: SOT 271816 SOS 128066 HAS SOPS 128066 HAS SOUS 82560 HAS SOUPS 82560 WITH SCORE 82688.066
AT ITER 4416 NEW BEST:: SOT 271674 SOS 127792 HAS SOPS 127792 HAS SOUS 82374 HAS SOUPS 82374 WITH SCORE 82501.792
AT ITER 4462 NEW BEST:: SOT 271644 SOS 127390 HAS SOPS 127390 HAS SOUS 82202 HAS SOUPS 82202 WITH SCORE 82329.39
AT ITER 4479 NEW BEST:: SOT 271646 SOS 127171 HAS SOPS 127171 HAS SOUS 82127 HAS SOUPS 82127 WITH SCORE 82254.171
AT ITER 4480 NEW BEST:: SOT 271604 SOS 127070 HAS SOPS 127070 HAS SOUS 82043 HAS SOUPS 82043 WITH SCORE 82170.07
AT ITER 4492 NEW BEST:: SOT 271515 SOS 126979 HAS SOPS 126979 HAS SOUS 81917 HAS SOUPS 81917 WITH SCORE 82043.979
AT ITER 4496 NEW BEST:: SOT 271362 SOS 126826 HAS SOPS 126826 HAS SOUS 81764 HAS SOUPS 81764 WITH SCORE 81890.826
AT ITER 4500 NEW BEST:: SOT 271337 SOS 126801 HAS SOPS 126801 HAS SOUS 81739 HAS SOUPS 81739 WITH SCORE 81865.801
AT ITER 4512 NEW BEST:: SOT 271303 SOS 126697 HAS SOPS 126697 HAS SOUS 81561 HAS SOUPS 81561 WITH SCORE 81687.697
AT ITER 4522 NEW BEST:: SOT 271296 SOS 126683 HAS SOPS 126683 HAS SOUS 81532 HAS SOUPS 81532 WITH SCORE 81658.683
AT ITER 4524 NEW BEST:: SOT 271296 SOS 126599 HAS SOPS 126599 HAS SOUS 81532 HAS SOUPS 81532 WITH SCORE 81658.599
AT ITER 4529 NEW BEST:: SOT 271296 SOS 126587 HAS SOPS 126587 HAS SOUS 81523 HAS SOUPS 81523 WITH SCORE 81649.587
AT ITER 4539 NEW BEST:: SOT 271297 SOS 126562 HAS SOPS 126562 HAS SOUS 81383 HAS SOUPS 81383 WITH SCORE 81509.562
AT ITER 4542 NEW BEST:: SOT 271285 SOS 126474 HAS SOPS 126474 HAS SOUS 81123 HAS SOUPS 81123 WITH SCORE 81249.474
AT ITER 4546 NEW BEST:: SOT 271191 SOS 126303 HAS SOPS 126303 HAS SOUS 81123 HAS SOUPS 81123 WITH SCORE 81249.303
AT ITER 4557 NEW BEST:: SOT 271172 SOS 126284 HAS SOPS 126284 HAS SOUS 81119 HAS SOUPS 81119 WITH SCORE 81245.284
AT ITER 4562 NEW BEST:: SOT 271152 SOS 126336 HAS SOPS 126336 HAS SOUS 81089 HAS SOUPS 81089 WITH SCORE 81215.336
AT ITER 4564 NEW BEST:: SOT 271150 SOS 126279 HAS SOPS 126279 HAS SOUS 80996 HAS SOUPS 80996 WITH SCORE 81122.279
AT ITER 4567 NEW BEST:: SOT 271170 SOS 125757 HAS SOPS 125757 HAS SOUS 80790 HAS SOUPS 80790 WITH SCORE 80915.757
AT ITER 4585 NEW BEST:: SOT 271169 SOS 125756 HAS SOPS 125756 HAS SOUS 80787 HAS SOUPS 80787 WITH SCORE 80912.756
AT ITER 4590 NEW BEST:: SOT 271131 SOS 125709 HAS SOPS 125709 HAS SOUS 80747 HAS SOUPS 80747 WITH SCORE 80872.709
AT ITER 4592 NEW BEST:: SOT 271110 SOS 125680 HAS SOPS 125680 HAS SOUS 80743 HAS SOUPS 80743 WITH SCORE 80868.68
AT ITER 4597 NEW BEST:: SOT 271110 SOS 125664 HAS SOPS 125664 HAS SOUS 80727 HAS SOUPS 80727 WITH SCORE 80852.664
AT ITER 4614 NEW BEST:: SOT 271110 SOS 125639 HAS SOPS 125639 HAS SOUS 80606 HAS SOUPS 80606 WITH SCORE 80731.639
AT ITER 4620 NEW BEST:: SOT 271071 SOS 125529 HAS SOPS 125529 HAS SOUS 80515 HAS SOUPS 80515 WITH SCORE 80640.529
AT ITER 4640 NEW BEST:: SOT 271033 SOS 125483 HAS SOPS 125483 HAS SOUS 80469 HAS SOUPS 80469 WITH SCORE 80594.483
AT ITER 4686 NEW BEST:: SOT 271033 SOS 125684 HAS SOPS 125684 HAS SOUS 80423 HAS SOUPS 80423 WITH SCORE 80548.684
AT ITER 4719 NEW BEST:: SOT 271033 SOS 125680 HAS SOPS 125680 HAS SOUS 80415 HAS SOUPS 80415 WITH SCORE 80540.68
AT ITER 4727 NEW BEST:: SOT 271033 SOS 125515 HAS SOPS 125515 HAS SOUS 80367 HAS SOUPS 80367 WITH SCORE 80492.515
AT ITER 4740 NEW BEST:: SOT 270995 SOS 125463 HAS SOPS 125463 HAS SOUS 80329 HAS SOUPS 80329 WITH SCORE 80454.463
AT ITER 4744 NEW BEST:: SOT 270767 SOS 125197 HAS SOPS 125197 HAS SOUS 79964 HAS SOUPS 79964 WITH SCORE 80089.197
AT ITER 4748 NEW BEST:: SOT 270470 SOS 125023 HAS SOPS 125023 HAS SOUS 79922 HAS SOUPS 79922 WITH SCORE 80047.023
AT ITER 4757 NEW BEST:: SOT 270435 SOS 124988 HAS SOPS 124988 HAS SOUS 79892 HAS SOUPS 79892 WITH SCORE 80016.988
AT ITER 4768 NEW BEST:: SOT 270435 SOS 125154 HAS SOPS 125154 HAS SOUS 79883 HAS SOUPS 79883 WITH SCORE 80008.154
AT ITER 4786 NEW BEST:: SOT 270346 SOS 125046 HAS SOPS 125046 HAS SOUS 79756 HAS SOUPS 79756 WITH SCORE 79881.046
AT ITER 4793 NEW BEST:: SOT 270328 SOS 125058 HAS SOPS 125058 HAS SOUS 79727 HAS SOUPS 79727 WITH SCORE 79852.058
AT ITER 4796 NEW BEST:: SOT 270278 SOS 125003 HAS SOPS 125003 HAS SOUS 79628 HAS SOUPS 79628 WITH SCORE 79753.003
AT ITER 4843 NEW BEST:: SOT 270278 SOS 124876 HAS SOPS 124876 HAS SOUS 79617 HAS SOUPS 79617 WITH SCORE 79741.876
AT ITER 4846 NEW BEST:: SOT 270455 SOS 124799 HAS SOPS 124799 HAS SOUS 79581 HAS SOUPS 79581 WITH SCORE 79705.799
AT ITER 4848 NEW BEST:: SOT 270429 SOS 124875 HAS SOPS 124875 HAS SOUS 79559 HAS SOUPS 79559 WITH SCORE 79683.875
AT ITER 4850 NEW BEST:: SOT 270419 SOS 124840 HAS SOPS 124840 HAS SOUS 79539 HAS SOUPS 79539 WITH SCORE 79663.84
AT ITER 4860 NEW BEST:: SOT 270408 SOS 124791 HAS SOPS 124791 HAS SOUS 79443 HAS SOUPS 79443 WITH SCORE 79567.791
AT ITER 4861 NEW BEST:: SOT 270478 SOS 124725 HAS SOPS 124725 HAS SOUS 79380 HAS SOUPS 79380 WITH SCORE 79504.725
AT ITER 4898 NEW BEST:: SOT 270478 SOS 124746 HAS SOPS 124746 HAS SOUS 79373 HAS SOUPS 79373 WITH SCORE 79497.746
AT ITER 4910 NEW BEST:: SOT 270115 SOS 124383 HAS SOPS 124383 HAS SOUS 79010 HAS SOUPS 79010 WITH SCORE 79134.383
AT ITER 4912 NEW BEST:: SOT 270107 SOS 124365 HAS SOPS 124365 HAS SOUS 78996 HAS SOUPS 78996 WITH SCORE 79120.365
AT ITER 4923 NEW BEST:: SOT 270330 SOS 124272 HAS SOPS 124272 HAS SOUS 78981 HAS SOUPS 78981 WITH SCORE 79105.272
AT ITER 4930 NEW BEST:: SOT 270284 SOS 124235 HAS SOPS 124235 HAS SOUS 78972 HAS SOUPS 78972 WITH SCORE 79096.235
AT ITER 4935 NEW BEST:: SOT 270280 SOS 124229 HAS SOPS 124229 HAS SOUS 78966 HAS SOUPS 78966 WITH SCORE 79090.229
AT ITER 4950 NEW BEST:: SOT 270280 SOS 124223 HAS SOPS 124223 HAS SOUS 78964 HAS SOUPS 78964 WITH SCORE 79088.223
AT ITER 4959 NEW BEST:: SOT 270020 SOS 123590 HAS SOPS 123590 HAS SOUS 78630 HAS SOUPS 78630 WITH SCORE 78753.59
AT ITER 4977 NEW BEST:: SOT 270007 SOS 123577 HAS SOPS 123577 HAS SOUS 78617 HAS SOUPS 78617 WITH SCORE 78740.577
AT ITER 4981 NEW BEST:: SOT 270012 SOS 123567 HAS SOPS 123567 HAS SOUS 78617 HAS SOUPS 78617 WITH SCORE 78740.567
AT ITER 4987 NEW BEST:: SOT 269995 SOS 123546 HAS SOPS 123546 HAS SOUS 78602 HAS SOUPS 78602 WITH SCORE 78725.546
AT ITER 4995 NEW BEST:: SOT 269991 SOS 123538 HAS SOPS 123538 HAS SOUS 78594 HAS SOUPS 78594 WITH SCORE 78717.538
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-040A-CTLFireability-00 (AG( (! (AF( ((potential((tk(P440)>=1) & (tk(P442)>=1) & (tk(P446)>=1)))))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-01 (EX( (! (EF( ( ((potential((tk(P187)>=1)))) | ((potential((tk(P96)>=1)))) ))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-02 (AU( (! (EF( ((potential((tk(P443)>=1) & (tk(P448)>=1))))))) , ( ( (! ((potential((tk(P383)>=1))))) | (! ((potential((tk(P419)>=1) & (tk(P423)>=1) & (tk(P430)>=1))))) ) & (AF( ((potential((tk(P315)>=1) & (tk(P316)>=1) & (tk(P320)>=1)))))) ) ))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-03 ( (EG( ( (AF( ((potential((tk(P452)>=1) & (tk(P467)>=1) & (tk(P479)>=1)))))) & (EF( ((potential((tk(P193)>=1) & (tk(P199)>=1) & (tk(P206)>=1)))))) ))) | (EU( ((potential((tk(P158)>=1) & (tk(P173)>=1) & (tk(P184)>=1)))) , (AG( ((potential((tk(P272)>=1)))))) )) )
PROPERTY: ShieldRVs-PT-040A-CTLFireability-04 (EF( ((potential((tk(P6)>=1) & (tk(P8)>=1) & (tk(P13)>=1))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-05 (AG( (AF( (EX( ((potential((tk(P530)>=1))))))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-06 (EF( ( ( (EF( ((potential((tk(P60)>=1) & (tk(P75)>=1) & (tk(P86)>=1)))))) | (EG( ((potential((tk(P237)>=1) & (tk(P239)>=1) & (tk(P248)>=1)))))) ) | (EF( ( ((potential((tk(P348)>=1)))) | ((potential((tk(P97)>=1) & (tk(P99)>=1) & (tk(P108)>=1)))) ))) )))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-07 (AG( (AF( ( ((potential((tk(P161)>=1) & (tk(P162)>=1) & (tk(P167)>=1)))) | ((potential((tk(P506)>=1)))) )))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-08 (AX( (AF( ((potential((tk(P321)>=1) & (tk(P323)>=1) & (tk(P332)>=1))))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-09 (EF( ((potential((tk(P263)>=1) & (tk(P267)>=1) & (tk(P276)>=1))))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-10 ( ( (AF( (AG( ((potential((tk(P445)>=1) & (tk(P451)>=1) & (tk(P458)>=1)))))))) | ( (EF( ( ((potential((tk(P18)>=1) & (tk(P33)>=1) & (tk(P45)>=1)))) & ((potential((tk(P180)>=1)))) ))) | (AU( ((potential((tk(P46)>=1) & (tk(P63)>=1) & (tk(P72)>=1)))) , ((potential((tk(P201)>=1)))) )) ) ) | ( ((potential((tk(P508)>=1) & (tk(P523)>=1) & (tk(P535)>=1)))) & ( (! ((potential((tk(P4)>=1) & (tk(P21)>=1) & (tk(P31)>=1))))) & ((potential((tk(P312)>=1) & (tk(P329)>=1) & (tk(P338)>=1)))) ) ) )
PROPERTY: ShieldRVs-PT-040A-CTLFireability-11 (AG( (AU( (! ((potential((tk(P53)>=1) & (tk(P57)>=1) & (tk(P66)>=1))))) , ((potential((tk(P487)>=1) & (tk(P493)>=1) & (tk(P500)>=1)))) ))))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-12 ( (EF( ((potential((tk(P410)>=1) & (tk(P425)>=1) & (tk(P437)>=1)))))) & (EU( ( ( ((potential((tk(P361)>=1)))) & ((potential((tk(P501)>=1) & (tk(P505)>=1) & (tk(P514)>=1)))) ) | ( ((potential((tk(P482)>=1)))) & ((potential((tk(P228)>=1) & (tk(P243)>=1) & (tk(P255)>=1)))) ) ) , ( (! ((potential((tk(P461)>=1) & (tk(P465)>=1) & (tk(P472)>=1))))) | ((potential((tk(P482)>=1) & (tk(P484)>=1) & (tk(P489)>=1)))) ) )) )
PROPERTY: ShieldRVs-PT-040A-CTLFireability-13 ( (AX( (AF( ((potential((tk(P58)>=1)))))))) & (! ((potential((tk(P60)>=1) & (tk(P75)>=1) & (tk(P86)>=1))))) )
PROPERTY: ShieldRVs-PT-040A-CTLFireability-14 (EU( (! ( ((potential((tk(P18)>=1) & (tk(P33)>=1) & (tk(P45)>=1)))) | ((potential((tk(P454)>=1)))) )) , ((potential((tk(P125)>=1) & (tk(P129)>=1) & (tk(P136)>=1)))) ))
PROPERTY: ShieldRVs-PT-040A-CTLFireability-15 (AF( (EG( ((potential((tk(P485)>=1) & (tk(P490)>=1))))))))

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldRVs-PT-040A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-040A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100876"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-040A.tgz
mv ShieldRVs-PT-040A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;