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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.730 3600000.00 3599969.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-159033469300348.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 ShieldIIPt-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-159033469300348
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 3.4K May 14 01:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 13:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 13:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:16 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 212K 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 ShieldIIPt-PT-040A-CTLFireability-00
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-01
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-02
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-03
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-04
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-05
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-06
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-07
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-08
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-09
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-10
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-11
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-12
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-13
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-14
FORMULA_NAME ShieldIIPt-PT-040A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439856043

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (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: 763 places, 563 transitions, 2406 arcs.
AT ITER 0 NEW BEST:: SOT 343677 SOS 290323 HAS SOPS 290323 HAS SOUS 254793 HAS SOUPS 254793 WITH SCORE 255083.323
AT ITER 2 NEW BEST:: SOT 343677 SOS 290337 HAS SOPS 290337 HAS SOUS 254786 HAS SOUPS 254786 WITH SCORE 255076.337
AT ITER 3 NEW BEST:: SOT 343677 SOS 290337 HAS SOPS 290337 HAS SOUS 254784 HAS SOUPS 254784 WITH SCORE 255074.337
AT ITER 4 NEW BEST:: SOT 343316 SOS 289993 HAS SOPS 289993 HAS SOUS 254330 HAS SOUPS 254330 WITH SCORE 254619.993
AT ITER 5 NEW BEST:: SOT 343316 SOS 289718 HAS SOPS 289718 HAS SOUS 254240 HAS SOUPS 254240 WITH SCORE 254529.718
AT ITER 7 NEW BEST:: SOT 342971 SOS 289519 HAS SOPS 289519 HAS SOUS 253808 HAS SOUPS 253808 WITH SCORE 254097.519
AT ITER 8 NEW BEST:: SOT 342723 SOS 289271 HAS SOPS 289271 HAS SOUS 253348 HAS SOUPS 253348 WITH SCORE 253637.271
AT ITER 9 NEW BEST:: SOT 342723 SOS 289303 HAS SOPS 289303 HAS SOUS 253347 HAS SOUPS 253347 WITH SCORE 253636.303
AT ITER 11 NEW BEST:: SOT 342811 SOS 289200 HAS SOPS 289200 HAS SOUS 253180 HAS SOUPS 253180 WITH SCORE 253469.2
AT ITER 12 NEW BEST:: SOT 342811 SOS 289200 HAS SOPS 289200 HAS SOUS 253178 HAS SOUPS 253178 WITH SCORE 253467.2
AT ITER 13 NEW BEST:: SOT 342811 SOS 288833 HAS SOPS 288833 HAS SOUS 253074 HAS SOUPS 253074 WITH SCORE 253362.833
AT ITER 15 NEW BEST:: SOT 342261 SOS 287394 HAS SOPS 287394 HAS SOUS 252207 HAS SOUPS 252207 WITH SCORE 252494.394
AT ITER 17 NEW BEST:: SOT 341667 SOS 286405 HAS SOPS 286405 HAS SOUS 250736 HAS SOUPS 250736 WITH SCORE 251022.405
AT ITER 18 NEW BEST:: SOT 341437 SOS 286175 HAS SOPS 286175 HAS SOUS 250506 HAS SOUPS 250506 WITH SCORE 250792.175
AT ITER 19 NEW BEST:: SOT 341061 SOS 285799 HAS SOPS 285799 HAS SOUS 249952 HAS SOUPS 249952 WITH SCORE 250237.799
AT ITER 20 NEW BEST:: SOT 340702 SOS 285438 HAS SOPS 285438 HAS SOUS 249591 HAS SOUPS 249591 WITH SCORE 249876.438
AT ITER 22 NEW BEST:: SOT 340702 SOS 285645 HAS SOPS 285645 HAS SOUS 249560 HAS SOUPS 249560 WITH SCORE 249845.645
AT ITER 24 NEW BEST:: SOT 340501 SOS 285444 HAS SOPS 285444 HAS SOUS 249249 HAS SOUPS 249249 WITH SCORE 249534.444
AT ITER 26 NEW BEST:: SOT 340485 SOS 285428 HAS SOPS 285428 HAS SOUS 249233 HAS SOUPS 249233 WITH SCORE 249518.428
AT ITER 27 NEW BEST:: SOT 340472 SOS 285415 HAS SOPS 285415 HAS SOUS 249220 HAS SOUPS 249220 WITH SCORE 249505.415
AT ITER 29 NEW BEST:: SOT 340472 SOS 285415 HAS SOPS 285415 HAS SOUS 249204 HAS SOUPS 249204 WITH SCORE 249489.415
AT ITER 30 NEW BEST:: SOT 340245 SOS 285256 HAS SOPS 285256 HAS SOUS 249112 HAS SOUPS 249112 WITH SCORE 249397.256
AT ITER 31 NEW BEST:: SOT 340133 SOS 285144 HAS SOPS 285144 HAS SOUS 248789 HAS SOUPS 248789 WITH SCORE 249074.144
AT ITER 33 NEW BEST:: SOT 339822 SOS 284833 HAS SOPS 284833 HAS SOUS 248476 HAS SOUPS 248476 WITH SCORE 248760.833
AT ITER 35 NEW BEST:: SOT 339744 SOS 284755 HAS SOPS 284755 HAS SOUS 248415 HAS SOUPS 248415 WITH SCORE 248699.755
AT ITER 36 NEW BEST:: SOT 339362 SOS 283712 HAS SOPS 283712 HAS SOUS 247720 HAS SOUPS 247720 WITH SCORE 248003.712
AT ITER 37 NEW BEST:: SOT 339362 SOS 283259 HAS SOPS 283259 HAS SOUS 247569 HAS SOUPS 247569 WITH SCORE 247852.259
AT ITER 38 NEW BEST:: SOT 339165 SOS 283151 HAS SOPS 283151 HAS SOUS 247560 HAS SOUPS 247560 WITH SCORE 247843.151
AT ITER 39 NEW BEST:: SOT 339165 SOS 282695 HAS SOPS 282695 HAS SOUS 247408 HAS SOUPS 247408 WITH SCORE 247690.695
AT ITER 40 NEW BEST:: SOT 339165 SOS 282485 HAS SOPS 282485 HAS SOUS 247202 HAS SOUPS 247202 WITH SCORE 247484.485
AT ITER 44 NEW BEST:: SOT 338689 SOS 282009 HAS SOPS 282009 HAS SOUS 246581 HAS SOUPS 246581 WITH SCORE 246863.009
AT ITER 45 NEW BEST:: SOT 338556 SOS 281876 HAS SOPS 281876 HAS SOUS 246448 HAS SOUPS 246448 WITH SCORE 246729.876
AT ITER 46 NEW BEST:: SOT 338270 SOS 281590 HAS SOPS 281590 HAS SOUS 246001 HAS SOUPS 246001 WITH SCORE 246282.59
AT ITER 49 NEW BEST:: SOT 338270 SOS 281450 HAS SOPS 281450 HAS SOUS 245999 HAS SOUPS 245999 WITH SCORE 246280.45
AT ITER 50 NEW BEST:: SOT 338231 SOS 281411 HAS SOPS 281411 HAS SOUS 245960 HAS SOUPS 245960 WITH SCORE 246241.411
AT ITER 51 NEW BEST:: SOT 338231 SOS 281161 HAS SOPS 281161 HAS SOUS 245795 HAS SOUPS 245795 WITH SCORE 246076.161
AT ITER 54 NEW BEST:: SOT 337978 SOS 280908 HAS SOPS 280908 HAS SOUS 245542 HAS SOUPS 245542 WITH SCORE 245822.908
AT ITER 55 NEW BEST:: SOT 337978 SOS 280470 HAS SOPS 280470 HAS SOUS 245425 HAS SOUPS 245425 WITH SCORE 245705.47
AT ITER 56 NEW BEST:: SOT 337436 SOS 279118 HAS SOPS 279118 HAS SOUS 244511 HAS SOUPS 244511 WITH SCORE 244790.118
AT ITER 57 NEW BEST:: SOT 337207 SOS 278152 HAS SOPS 278152 HAS SOUS 243396 HAS SOUPS 243396 WITH SCORE 243674.152
AT ITER 61 NEW BEST:: SOT 337207 SOS 277704 HAS SOPS 277704 HAS SOUS 243039 HAS SOUPS 243039 WITH SCORE 243316.704
AT ITER 62 NEW BEST:: SOT 337138 SOS 277545 HAS SOPS 277545 HAS SOUS 242712 HAS SOUPS 242712 WITH SCORE 242989.545
AT ITER 64 NEW BEST:: SOT 337138 SOS 277167 HAS SOPS 277167 HAS SOUS 242607 HAS SOUPS 242607 WITH SCORE 242884.167
AT ITER 65 NEW BEST:: SOT 337138 SOS 277164 HAS SOPS 277164 HAS SOUS 242607 HAS SOUPS 242607 WITH SCORE 242884.164
AT ITER 67 NEW BEST:: SOT 336770 SOS 276796 HAS SOPS 276796 HAS SOUS 242055 HAS SOUPS 242055 WITH SCORE 242331.796
AT ITER 69 NEW BEST:: SOT 336472 SOS 276498 HAS SOPS 276498 HAS SOUS 241590 HAS SOUPS 241590 WITH SCORE 241866.498
AT ITER 70 NEW BEST:: SOT 336472 SOS 276498 HAS SOPS 276498 HAS SOUS 241541 HAS SOUPS 241541 WITH SCORE 241817.498
AT ITER 72 NEW BEST:: SOT 336326 SOS 275618 HAS SOPS 275618 HAS SOUS 240768 HAS SOUPS 240768 WITH SCORE 241043.618
AT ITER 73 NEW BEST:: SOT 336326 SOS 275189 HAS SOPS 275189 HAS SOUS 240624 HAS SOUPS 240624 WITH SCORE 240899.189
AT ITER 75 NEW BEST:: SOT 336084 SOS 274945 HAS SOPS 274945 HAS SOUS 240380 HAS SOUPS 240380 WITH SCORE 240654.945
AT ITER 76 NEW BEST:: SOT 335654 SOS 274515 HAS SOPS 274515 HAS SOUS 239715 HAS SOUPS 239715 WITH SCORE 239989.515
AT ITER 77 NEW BEST:: SOT 335585 SOS 274446 HAS SOPS 274446 HAS SOUS 239646 HAS SOUPS 239646 WITH SCORE 239920.446
AT ITER 79 NEW BEST:: SOT 335291 SOS 274152 HAS SOPS 274152 HAS SOUS 239368 HAS SOUPS 239368 WITH SCORE 239642.152
AT ITER 80 NEW BEST:: SOT 335264 SOS 274125 HAS SOPS 274125 HAS SOUS 239347 HAS SOUPS 239347 WITH SCORE 239621.125
AT ITER 82 NEW BEST:: SOT 335239 SOS 274100 HAS SOPS 274100 HAS SOUS 239322 HAS SOUPS 239322 WITH SCORE 239596.1
AT ITER 85 NEW BEST:: SOT 335239 SOS 274098 HAS SOPS 274098 HAS SOUS 239291 HAS SOUPS 239291 WITH SCORE 239565.098
AT ITER 87 NEW BEST:: SOT 335050 SOS 273909 HAS SOPS 273909 HAS SOUS 239100 HAS SOUPS 239100 WITH SCORE 239373.909
AT ITER 90 NEW BEST:: SOT 334606 SOS 273090 HAS SOPS 273090 HAS SOUS 238656 HAS SOUPS 238656 WITH SCORE 238929.09
AT ITER 91 NEW BEST:: SOT 334296 SOS 272115 HAS SOPS 272115 HAS SOUS 237880 HAS SOUPS 237880 WITH SCORE 238152.115
AT ITER 92 NEW BEST:: SOT 333908 SOS 271727 HAS SOPS 271727 HAS SOUS 237339 HAS SOUPS 237339 WITH SCORE 237610.727
AT ITER 93 NEW BEST:: SOT 333888 SOS 270827 HAS SOPS 270827 HAS SOUS 236958 HAS SOUPS 236958 WITH SCORE 237228.827
AT ITER 94 NEW BEST:: SOT 333881 SOS 269989 HAS SOPS 269989 HAS SOUS 236433 HAS SOUPS 236433 WITH SCORE 236702.989
AT ITER 95 NEW BEST:: SOT 333881 SOS 269473 HAS SOPS 269473 HAS SOUS 235939 HAS SOUPS 235939 WITH SCORE 236208.473
AT ITER 97 NEW BEST:: SOT 333764 SOS 268967 HAS SOPS 268967 HAS SOUS 235693 HAS SOUPS 235693 WITH SCORE 235961.967
AT ITER 103 NEW BEST:: SOT 333618 SOS 268821 HAS SOPS 268821 HAS SOUS 235405 HAS SOUPS 235405 WITH SCORE 235673.821
AT ITER 104 NEW BEST:: SOT 333514 SOS 268717 HAS SOPS 268717 HAS SOUS 235301 HAS SOUPS 235301 WITH SCORE 235569.717
AT ITER 106 NEW BEST:: SOT 333219 SOS 267845 HAS SOPS 267845 HAS SOUS 234969 HAS SOUPS 234969 WITH SCORE 235236.845
AT ITER 107 NEW BEST:: SOT 333074 SOS 267498 HAS SOPS 267498 HAS SOUS 234794 HAS SOUPS 234794 WITH SCORE 235061.498
AT ITER 108 NEW BEST:: SOT 333074 SOS 266910 HAS SOPS 266910 HAS SOUS 234647 HAS SOUPS 234647 WITH SCORE 234913.91
AT ITER 109 NEW BEST:: SOT 332913 SOS 266749 HAS SOPS 266749 HAS SOUS 234488 HAS SOUPS 234488 WITH SCORE 234754.749
AT ITER 112 NEW BEST:: SOT 332268 SOS 265380 HAS SOPS 265380 HAS SOUS 233331 HAS SOUPS 233331 WITH SCORE 233596.38
AT ITER 114 NEW BEST:: SOT 331566 SOS 264760 HAS SOPS 264760 HAS SOUS 232514 HAS SOUPS 232514 WITH SCORE 232778.76
AT ITER 116 NEW BEST:: SOT 331566 SOS 264440 HAS SOPS 264440 HAS SOUS 232354 HAS SOUPS 232354 WITH SCORE 232618.44
AT ITER 117 NEW BEST:: SOT 331639 SOS 263743 HAS SOPS 263743 HAS SOUS 231863 HAS SOUPS 231863 WITH SCORE 232126.743
AT ITER 118 NEW BEST:: SOT 331330 SOS 263323 HAS SOPS 263323 HAS SOUS 231351 HAS SOUPS 231351 WITH SCORE 231614.323
AT ITER 123 NEW BEST:: SOT 330948 SOS 262941 HAS SOPS 262941 HAS SOUS 230886 HAS SOUPS 230886 WITH SCORE 231148.941
AT ITER 124 NEW BEST:: SOT 330323 SOS 261254 HAS SOPS 261254 HAS SOUS 229838 HAS SOUPS 229838 WITH SCORE 230099.254
AT ITER 125 NEW BEST:: SOT 329888 SOS 260045 HAS SOPS 260045 HAS SOUS 229001 HAS SOUPS 229001 WITH SCORE 229261.045
AT ITER 128 NEW BEST:: SOT 329732 SOS 259653 HAS SOPS 259653 HAS SOUS 228819 HAS SOUPS 228819 WITH SCORE 229078.653
AT ITER 132 NEW BEST:: SOT 329558 SOS 258691 HAS SOPS 258691 HAS SOUS 228143 HAS SOUPS 228143 WITH SCORE 228401.691
AT ITER 134 NEW BEST:: SOT 329137 SOS 258270 HAS SOPS 258270 HAS SOUS 227574 HAS SOUPS 227574 WITH SCORE 227832.27
AT ITER 135 NEW BEST:: SOT 328645 SOS 257776 HAS SOPS 257776 HAS SOUS 227341 HAS SOUPS 227341 WITH SCORE 227598.776
AT ITER 136 NEW BEST:: SOT 328645 SOS 257164 HAS SOPS 257164 HAS SOUS 227178 HAS SOUPS 227178 WITH SCORE 227435.164
AT ITER 137 NEW BEST:: SOT 328326 SOS 256994 HAS SOPS 256994 HAS SOUS 227175 HAS SOUPS 227175 WITH SCORE 227431.994
AT ITER 139 NEW BEST:: SOT 327824 SOS 256492 HAS SOPS 256492 HAS SOUS 226829 HAS SOUPS 226829 WITH SCORE 227085.492
AT ITER 140 NEW BEST:: SOT 327824 SOS 256554 HAS SOPS 256554 HAS SOUS 226678 HAS SOUPS 226678 WITH SCORE 226934.554
AT ITER 141 NEW BEST:: SOT 327644 SOS 256374 HAS SOPS 256374 HAS SOUS 226498 HAS SOUPS 226498 WITH SCORE 226754.374
AT ITER 142 NEW BEST:: SOT 327644 SOS 255867 HAS SOPS 255867 HAS SOUS 226089 HAS SOUPS 226089 WITH SCORE 226344.867
AT ITER 143 NEW BEST:: SOT 327644 SOS 255725 HAS SOPS 255725 HAS SOUS 226013 HAS SOUPS 226013 WITH SCORE 226268.725
AT ITER 145 NEW BEST:: SOT 327516 SOS 255297 HAS SOPS 255297 HAS SOUS 225759 HAS SOUPS 225759 WITH SCORE 226014.297
AT ITER 146 NEW BEST:: SOT 327472 SOS 255253 HAS SOPS 255253 HAS SOUS 225676 HAS SOUPS 225676 WITH SCORE 225931.253
AT ITER 147 NEW BEST:: SOT 327472 SOS 254775 HAS SOPS 254775 HAS SOUS 225027 HAS SOUPS 225027 WITH SCORE 225281.775
AT ITER 149 NEW BEST:: SOT 326971 SOS 253843 HAS SOPS 253843 HAS SOUS 224196 HAS SOUPS 224196 WITH SCORE 224449.843
AT ITER 151 NEW BEST:: SOT 326971 SOS 253507 HAS SOPS 253507 HAS SOUS 224027 HAS SOUPS 224027 WITH SCORE 224280.507
AT ITER 152 NEW BEST:: SOT 326971 SOS 253496 HAS SOPS 253496 HAS SOUS 224027 HAS SOUPS 224027 WITH SCORE 224280.496
AT ITER 153 NEW BEST:: SOT 326799 SOS 252718 HAS SOPS 252718 HAS SOUS 223583 HAS SOUPS 223583 WITH SCORE 223835.718
AT ITER 154 NEW BEST:: SOT 326799 SOS 252119 HAS SOPS 252119 HAS SOUS 223490 HAS SOUPS 223490 WITH SCORE 223742.119
AT ITER 156 NEW BEST:: SOT 326488 SOS 251671 HAS SOPS 251671 HAS SOUS 223042 HAS SOUPS 223042 WITH SCORE 223293.671
AT ITER 163 NEW BEST:: SOT 326335 SOS 251518 HAS SOPS 251518 HAS SOUS 222889 HAS SOUPS 222889 WITH SCORE 223140.518
AT ITER 165 NEW BEST:: SOT 326358 SOS 251286 HAS SOPS 251286 HAS SOUS 222665 HAS SOUPS 222665 WITH SCORE 222916.286
AT ITER 168 NEW BEST:: SOT 326358 SOS 250810 HAS SOPS 250810 HAS SOUS 222635 HAS SOUPS 222635 WITH SCORE 222885.81
AT ITER 169 NEW BEST:: SOT 326022 SOS 249696 HAS SOPS 249696 HAS SOUS 221713 HAS SOUPS 221713 WITH SCORE 221962.696
AT ITER 172 NEW BEST:: SOT 326019 SOS 249684 HAS SOPS 249684 HAS SOUS 221707 HAS SOUPS 221707 WITH SCORE 221956.684
AT ITER 173 NEW BEST:: SOT 325638 SOS 248762 HAS SOPS 248762 HAS SOUS 221150 HAS SOUPS 221150 WITH SCORE 221398.762
AT ITER 174 NEW BEST:: SOT 325292 SOS 248416 HAS SOPS 248416 HAS SOUS 220682 HAS SOUPS 220682 WITH SCORE 220930.416
AT ITER 176 NEW BEST:: SOT 325187 SOS 248311 HAS SOPS 248311 HAS SOUS 220577 HAS SOUPS 220577 WITH SCORE 220825.311
AT ITER 177 NEW BEST:: SOT 324773 SOS 247897 HAS SOPS 247897 HAS SOUS 220328 HAS SOUPS 220328 WITH SCORE 220575.897
AT ITER 178 NEW BEST:: SOT 324773 SOS 247492 HAS SOPS 247492 HAS SOUS 220196 HAS SOUPS 220196 WITH SCORE 220443.492
AT ITER 183 NEW BEST:: SOT 324745 SOS 246826 HAS SOPS 246826 HAS SOUS 219876 HAS SOUPS 219876 WITH SCORE 220122.826
AT ITER 184 NEW BEST:: SOT 324744 SOS 246417 HAS SOPS 246417 HAS SOUS 219779 HAS SOUPS 219779 WITH SCORE 220025.417
AT ITER 185 NEW BEST:: SOT 324945 SOS 246082 HAS SOPS 246082 HAS SOUS 219721 HAS SOUPS 219721 WITH SCORE 219967.082
AT ITER 187 NEW BEST:: SOT 324336 SOS 245086 HAS SOPS 245086 HAS SOUS 218276 HAS SOUPS 218276 WITH SCORE 218521.086
AT ITER 188 NEW BEST:: SOT 324336 SOS 245054 HAS SOPS 245054 HAS SOUS 218244 HAS SOUPS 218244 WITH SCORE 218489.054
AT ITER 189 NEW BEST:: SOT 324635 SOS 244843 HAS SOPS 244843 HAS SOUS 218224 HAS SOUPS 218224 WITH SCORE 218468.843
AT ITER 193 NEW BEST:: SOT 324635 SOS 244540 HAS SOPS 244540 HAS SOUS 217987 HAS SOUPS 217987 WITH SCORE 218231.54
AT ITER 194 NEW BEST:: SOT 324635 SOS 243995 HAS SOPS 243995 HAS SOUS 217714 HAS SOUPS 217714 WITH SCORE 217957.995
AT ITER 195 NEW BEST:: SOT 324463 SOS 243769 HAS SOPS 243769 HAS SOUS 217488 HAS SOUPS 217488 WITH SCORE 217731.769
AT ITER 198 NEW BEST:: SOT 323826 SOS 243037 HAS SOPS 243037 HAS SOUS 216757 HAS SOUPS 216757 WITH SCORE 217000.037
AT ITER 199 NEW BEST:: SOT 323485 SOS 242696 HAS SOPS 242696 HAS SOUS 216190 HAS SOUPS 216190 WITH SCORE 216432.696
AT ITER 207 NEW BEST:: SOT 323485 SOS 242682 HAS SOPS 242682 HAS SOUS 216190 HAS SOUPS 216190 WITH SCORE 216432.682
AT ITER 209 NEW BEST:: SOT 323485 SOS 242555 HAS SOPS 242555 HAS SOUS 216063 HAS SOUPS 216063 WITH SCORE 216305.555
AT ITER 211 NEW BEST:: SOT 323503 SOS 242481 HAS SOPS 242481 HAS SOUS 215989 HAS SOUPS 215989 WITH SCORE 216231.481
AT ITER 212 NEW BEST:: SOT 323502 SOS 241605 HAS SOPS 241605 HAS SOUS 215757 HAS SOUPS 215757 WITH SCORE 215998.605
AT ITER 214 NEW BEST:: SOT 323550 SOS 240338 HAS SOPS 240338 HAS SOUS 215465 HAS SOUPS 215465 WITH SCORE 215705.338
AT ITER 218 NEW BEST:: SOT 323322 SOS 239959 HAS SOPS 239959 HAS SOUS 214990 HAS SOUPS 214990 WITH SCORE 215229.959
AT ITER 227 NEW BEST:: SOT 323064 SOS 239701 HAS SOPS 239701 HAS SOUS 214580 HAS SOUPS 214580 WITH SCORE 214819.701
AT ITER 232 NEW BEST:: SOT 323064 SOS 239573 HAS SOPS 239573 HAS SOUS 214580 HAS SOUPS 214580 WITH SCORE 214819.573
AT ITER 233 NEW BEST:: SOT 323064 SOS 239573 HAS SOPS 239573 HAS SOUS 214566 HAS SOUPS 214566 WITH SCORE 214805.573
AT ITER 235 NEW BEST:: SOT 323021 SOS 238868 HAS SOPS 238868 HAS SOUS 213899 HAS SOUPS 213899 WITH SCORE 214137.868
AT ITER 236 NEW BEST:: SOT 323015 SOS 238856 HAS SOPS 238856 HAS SOUS 213887 HAS SOUPS 213887 WITH SCORE 214125.856
AT ITER 237 NEW BEST:: SOT 322733 SOS 238480 HAS SOPS 238480 HAS SOUS 213503 HAS SOUPS 213503 WITH SCORE 213741.48
AT ITER 239 NEW BEST:: SOT 322609 SOS 238356 HAS SOPS 238356 HAS SOUS 213441 HAS SOUPS 213441 WITH SCORE 213679.356
AT ITER 242 NEW BEST:: SOT 322609 SOS 238219 HAS SOPS 238219 HAS SOUS 213440 HAS SOUPS 213440 WITH SCORE 213678.219
AT ITER 244 NEW BEST:: SOT 322501 SOS 238057 HAS SOPS 238057 HAS SOUS 213278 HAS SOUPS 213278 WITH SCORE 213516.057
AT ITER 245 NEW BEST:: SOT 322501 SOS 237500 HAS SOPS 237500 HAS SOUS 213277 HAS SOUPS 213277 WITH SCORE 213514.5
AT ITER 246 NEW BEST:: SOT 322461 SOS 237460 HAS SOPS 237460 HAS SOUS 213257 HAS SOUPS 213257 WITH SCORE 213494.46
AT ITER 247 NEW BEST:: SOT 322186 SOS 237435 HAS SOPS 237435 HAS SOUS 212974 HAS SOUPS 212974 WITH SCORE 213211.435
AT ITER 248 NEW BEST:: SOT 322186 SOS 237435 HAS SOPS 237435 HAS SOUS 212972 HAS SOUPS 212972 WITH SCORE 213209.435
AT ITER 249 NEW BEST:: SOT 321846 SOS 236693 HAS SOPS 236693 HAS SOUS 212300 HAS SOUPS 212300 WITH SCORE 212536.693
AT ITER 252 NEW BEST:: SOT 321846 SOS 236449 HAS SOPS 236449 HAS SOUS 212228 HAS SOUPS 212228 WITH SCORE 212464.449
AT ITER 253 NEW BEST:: SOT 321515 SOS 235410 HAS SOPS 235410 HAS SOUS 211504 HAS SOUPS 211504 WITH SCORE 211739.41
AT ITER 254 NEW BEST:: SOT 321515 SOS 235288 HAS SOPS 235288 HAS SOUS 211502 HAS SOUPS 211502 WITH SCORE 211737.288
AT ITER 255 NEW BEST:: SOT 321240 SOS 235011 HAS SOPS 235011 HAS SOUS 211286 HAS SOUPS 211286 WITH SCORE 211521.011
AT ITER 256 NEW BEST:: SOT 321150 SOS 234921 HAS SOPS 234921 HAS SOUS 211196 HAS SOUPS 211196 WITH SCORE 211430.921
AT ITER 257 NEW BEST:: SOT 321114 SOS 234883 HAS SOPS 234883 HAS SOUS 211194 HAS SOUPS 211194 WITH SCORE 211428.883
AT ITER 258 NEW BEST:: SOT 321114 SOS 234380 HAS SOPS 234380 HAS SOUS 211089 HAS SOUPS 211089 WITH SCORE 211323.38
AT ITER 261 NEW BEST:: SOT 320857 SOS 234026 HAS SOPS 234026 HAS SOUS 210778 HAS SOUPS 210778 WITH SCORE 211012.026
AT ITER 266 NEW BEST:: SOT 320560 SOS 233583 HAS SOPS 233583 HAS SOUS 210253 HAS SOUPS 210253 WITH SCORE 210486.583
AT ITER 267 NEW BEST:: SOT 320560 SOS 233583 HAS SOPS 233583 HAS SOUS 210168 HAS SOUPS 210168 WITH SCORE 210401.583
AT ITER 272 NEW BEST:: SOT 320443 SOS 233350 HAS SOPS 233350 HAS SOUS 209935 HAS SOUPS 209935 WITH SCORE 210168.35
AT ITER 273 NEW BEST:: SOT 320442 SOS 233349 HAS SOPS 233349 HAS SOUS 209934 HAS SOUPS 209934 WITH SCORE 210167.349
AT ITER 275 NEW BEST:: SOT 320318 SOS 233224 HAS SOPS 233224 HAS SOUS 209891 HAS SOUPS 209891 WITH SCORE 210124.224
AT ITER 279 NEW BEST:: SOT 320318 SOS 233208 HAS SOPS 233208 HAS SOUS 209674 HAS SOUPS 209674 WITH SCORE 209907.208
AT ITER 281 NEW BEST:: SOT 320293 SOS 232772 HAS SOPS 232772 HAS SOUS 209466 HAS SOUPS 209466 WITH SCORE 209698.772
AT ITER 282 NEW BEST:: SOT 319625 SOS 231506 HAS SOPS 231506 HAS SOUS 208221 HAS SOUPS 208221 WITH SCORE 208452.506
AT ITER 283 NEW BEST:: SOT 319625 SOS 231166 HAS SOPS 231166 HAS SOUS 208220 HAS SOUPS 208220 WITH SCORE 208451.166
AT ITER 286 NEW BEST:: SOT 319538 SOS 231076 HAS SOPS 231076 HAS SOUS 208217 HAS SOUPS 208217 WITH SCORE 208448.076
AT ITER 288 NEW BEST:: SOT 319560 SOS 230264 HAS SOPS 230264 HAS SOUS 207576 HAS SOUPS 207576 WITH SCORE 207806.264
AT ITER 290 NEW BEST:: SOT 319576 SOS 230288 HAS SOPS 230288 HAS SOUS 207513 HAS SOUPS 207513 WITH SCORE 207743.288
AT ITER 291 NEW BEST:: SOT 319327 SOS 230097 HAS SOPS 230097 HAS SOUS 207257 HAS SOUPS 207257 WITH SCORE 207487.097
AT ITER 292 NEW BEST:: SOT 319231 SOS 229748 HAS SOPS 229748 HAS SOUS 207089 HAS SOUPS 207089 WITH SCORE 207318.748
AT ITER 295 NEW BEST:: SOT 319219 SOS 229736 HAS SOPS 229736 HAS SOUS 207077 HAS SOUPS 207077 WITH SCORE 207306.736
AT ITER 297 NEW BEST:: SOT 318956 SOS 229519 HAS SOPS 229519 HAS SOUS 206860 HAS SOUPS 206860 WITH SCORE 207089.519
AT ITER 299 NEW BEST:: SOT 318956 SOS 228855 HAS SOPS 228855 HAS SOUS 206604 HAS SOUPS 206604 WITH SCORE 206832.855
AT ITER 303 NEW BEST:: SOT 318825 SOS 228777 HAS SOPS 228777 HAS SOUS 206526 HAS SOUPS 206526 WITH SCORE 206754.777
AT ITER 306 NEW BEST:: SOT 318693 SOS 228645 HAS SOPS 228645 HAS SOUS 206215 HAS SOUPS 206215 WITH SCORE 206443.645
AT ITER 310 NEW BEST:: SOT 318693 SOS 228557 HAS SOPS 228557 HAS SOUS 206187 HAS SOUPS 206187 WITH SCORE 206415.557
AT ITER 312 NEW BEST:: SOT 318693 SOS 228043 HAS SOPS 228043 HAS SOUS 205993 HAS SOUPS 205993 WITH SCORE 206221.043
AT ITER 315 NEW BEST:: SOT 318693 SOS 227807 HAS SOPS 227807 HAS SOUS 205540 HAS SOUPS 205540 WITH SCORE 205767.807
AT ITER 317 NEW BEST:: SOT 318871 SOS 227684 HAS SOPS 227684 HAS SOUS 205456 HAS SOUPS 205456 WITH SCORE 205683.684
AT ITER 325 NEW BEST:: SOT 318833 SOS 227646 HAS SOPS 227646 HAS SOUS 205418 HAS SOUPS 205418 WITH SCORE 205645.646
AT ITER 326 NEW BEST:: SOT 318751 SOS 227564 HAS SOPS 227564 HAS SOUS 205398 HAS SOUPS 205398 WITH SCORE 205625.564
AT ITER 329 NEW BEST:: SOT 318751 SOS 227545 HAS SOPS 227545 HAS SOUS 205398 HAS SOUPS 205398 WITH SCORE 205625.545
AT ITER 333 NEW BEST:: SOT 318751 SOS 226848 HAS SOPS 226848 HAS SOUS 205310 HAS SOUPS 205310 WITH SCORE 205536.848
AT ITER 336 NEW BEST:: SOT 318736 SOS 226833 HAS SOPS 226833 HAS SOUS 205295 HAS SOUPS 205295 WITH SCORE 205521.833
AT ITER 339 NEW BEST:: SOT 318569 SOS 226666 HAS SOPS 226666 HAS SOUS 205128 HAS SOUPS 205128 WITH SCORE 205354.666
AT ITER 341 NEW BEST:: SOT 318618 SOS 226715 HAS SOPS 226715 HAS SOUS 205078 HAS SOUPS 205078 WITH SCORE 205304.715
AT ITER 348 NEW BEST:: SOT 318494 SOS 226591 HAS SOPS 226591 HAS SOUS 204830 HAS SOUPS 204830 WITH SCORE 205056.591
AT ITER 349 NEW BEST:: SOT 318494 SOS 226311 HAS SOPS 226311 HAS SOUS 204687 HAS SOUPS 204687 WITH SCORE 204913.311
AT ITER 351 NEW BEST:: SOT 318061 SOS 225624 HAS SOPS 225624 HAS SOUS 203991 HAS SOUPS 203991 WITH SCORE 204216.624
AT ITER 355 NEW BEST:: SOT 318061 SOS 225050 HAS SOPS 225050 HAS SOUS 203655 HAS SOUPS 203655 WITH SCORE 203880.05
AT ITER 357 NEW BEST:: SOT 317696 SOS 224464 HAS SOPS 224464 HAS SOUS 202946 HAS SOUPS 202946 WITH SCORE 203170.464
AT ITER 361 NEW BEST:: SOT 317662 SOS 224006 HAS SOPS 224006 HAS SOUS 202470 HAS SOUPS 202470 WITH SCORE 202694.006
AT ITER 362 NEW BEST:: SOT 317662 SOS 223759 HAS SOPS 223759 HAS SOUS 202223 HAS SOUPS 202223 WITH SCORE 202446.759
AT ITER 363 NEW BEST:: SOT 317282 SOS 223379 HAS SOPS 223379 HAS SOUS 201808 HAS SOUPS 201808 WITH SCORE 202031.379
AT ITER 366 NEW BEST:: SOT 317254 SOS 223351 HAS SOPS 223351 HAS SOUS 201780 HAS SOUPS 201780 WITH SCORE 202003.351
AT ITER 367 NEW BEST:: SOT 316978 SOS 222937 HAS SOPS 222937 HAS SOUS 201228 HAS SOUPS 201228 WITH SCORE 201450.937
AT ITER 374 NEW BEST:: SOT 316899 SOS 222858 HAS SOPS 222858 HAS SOUS 201026 HAS SOUPS 201026 WITH SCORE 201248.858
AT ITER 377 NEW BEST:: SOT 316746 SOS 222591 HAS SOPS 222591 HAS SOUS 200846 HAS SOUPS 200846 WITH SCORE 201068.591
AT ITER 378 NEW BEST:: SOT 316738 SOS 222348 HAS SOPS 222348 HAS SOUS 200568 HAS SOUPS 200568 WITH SCORE 200790.348
AT ITER 379 NEW BEST:: SOT 316072 SOS 220662 HAS SOPS 220662 HAS SOUS 199378 HAS SOUPS 199378 WITH SCORE 199598.662
AT ITER 385 NEW BEST:: SOT 316072 SOS 220605 HAS SOPS 220605 HAS SOUS 199378 HAS SOUPS 199378 WITH SCORE 199598.605
AT ITER 386 NEW BEST:: SOT 316207 SOS 220710 HAS SOPS 220710 HAS SOUS 199282 HAS SOUPS 199282 WITH SCORE 199502.71
AT ITER 388 NEW BEST:: SOT 316223 SOS 220742 HAS SOPS 220742 HAS SOUS 199168 HAS SOUPS 199168 WITH SCORE 199388.742
AT ITER 392 NEW BEST:: SOT 316223 SOS 221331 HAS SOPS 221331 HAS SOUS 198983 HAS SOUPS 198983 WITH SCORE 199204.331
AT ITER 394 NEW BEST:: SOT 315952 SOS 221060 HAS SOPS 221060 HAS SOUS 198691 HAS SOUPS 198691 WITH SCORE 198912.06
AT ITER 396 NEW BEST:: SOT 315452 SOS 220625 HAS SOPS 220625 HAS SOUS 198256 HAS SOUPS 198256 WITH SCORE 198476.625
AT ITER 397 NEW BEST:: SOT 315452 SOS 220403 HAS SOPS 220403 HAS SOUS 198034 HAS SOUPS 198034 WITH SCORE 198254.403
AT ITER 401 NEW BEST:: SOT 315233 SOS 219894 HAS SOPS 219894 HAS SOUS 197564 HAS SOUPS 197564 WITH SCORE 197783.894
AT ITER 404 NEW BEST:: SOT 314841 SOS 219306 HAS SOPS 219306 HAS SOUS 196976 HAS SOUPS 196976 WITH SCORE 197195.306
AT ITER 405 NEW BEST:: SOT 314751 SOS 219211 HAS SOPS 219211 HAS SOUS 196827 HAS SOUPS 196827 WITH SCORE 197046.211
AT ITER 407 NEW BEST:: SOT 314751 SOS 219049 HAS SOPS 219049 HAS SOUS 196667 HAS SOUPS 196667 WITH SCORE 196886.049
AT ITER 409 NEW BEST:: SOT 314633 SOS 218896 HAS SOPS 218896 HAS SOUS 196366 HAS SOUPS 196366 WITH SCORE 196584.896
AT ITER 414 NEW BEST:: SOT 314431 SOS 218693 HAS SOPS 218693 HAS SOUS 196163 HAS SOUPS 196163 WITH SCORE 196381.693
AT ITER 421 NEW BEST:: SOT 314431 SOS 218648 HAS SOPS 218648 HAS SOUS 196133 HAS SOUPS 196133 WITH SCORE 196351.648
AT ITER 423 NEW BEST:: SOT 314173 SOS 217508 HAS SOPS 217508 HAS SOUS 195323 HAS SOUPS 195323 WITH SCORE 195540.508
AT ITER 424 NEW BEST:: SOT 313933 SOS 217266 HAS SOPS 217266 HAS SOUS 195081 HAS SOUPS 195081 WITH SCORE 195298.266
AT ITER 425 NEW BEST:: SOT 313877 SOS 217210 HAS SOPS 217210 HAS SOUS 195025 HAS SOUPS 195025 WITH SCORE 195242.21
AT ITER 426 NEW BEST:: SOT 314066 SOS 216233 HAS SOPS 216233 HAS SOUS 194657 HAS SOUPS 194657 WITH SCORE 194873.233
AT ITER 429 NEW BEST:: SOT 314040 SOS 216207 HAS SOPS 216207 HAS SOUS 194631 HAS SOUPS 194631 WITH SCORE 194847.207
AT ITER 431 NEW BEST:: SOT 314089 SOS 216256 HAS SOPS 216256 HAS SOUS 194569 HAS SOUPS 194569 WITH SCORE 194785.256
AT ITER 434 NEW BEST:: SOT 314075 SOS 216234 HAS SOPS 216234 HAS SOUS 194547 HAS SOUPS 194547 WITH SCORE 194763.234
AT ITER 443 NEW BEST:: SOT 314021 SOS 216180 HAS SOPS 216180 HAS SOUS 194385 HAS SOUPS 194385 WITH SCORE 194601.18
AT ITER 444 NEW BEST:: SOT 313832 SOS 215935 HAS SOPS 215935 HAS SOUS 194182 HAS SOUPS 194182 WITH SCORE 194397.935
AT ITER 445 NEW BEST:: SOT 313744 SOS 215657 HAS SOPS 215657 HAS SOUS 194016 HAS SOUPS 194016 WITH SCORE 194231.657
AT ITER 449 NEW BEST:: SOT 313715 SOS 215511 HAS SOPS 215511 HAS SOUS 193959 HAS SOUPS 193959 WITH SCORE 194174.511
AT ITER 451 NEW BEST:: SOT 313656 SOS 215452 HAS SOPS 215452 HAS SOUS 193841 HAS SOUPS 193841 WITH SCORE 194056.452
AT ITER 457 NEW BEST:: SOT 313656 SOS 215126 HAS SOPS 215126 HAS SOUS 193695 HAS SOUPS 193695 WITH SCORE 193910.126
AT ITER 458 NEW BEST:: SOT 313568 SOS 214994 HAS SOPS 214994 HAS SOUS 193563 HAS SOUPS 193563 WITH SCORE 193777.994
AT ITER 459 NEW BEST:: SOT 313566 SOS 214992 HAS SOPS 214992 HAS SOUS 193527 HAS SOUPS 193527 WITH SCORE 193741.992
AT ITER 462 NEW BEST:: SOT 313503 SOS 214803 HAS SOPS 214803 HAS SOUS 193401 HAS SOUPS 193401 WITH SCORE 193615.803
AT ITER 464 NEW BEST:: SOT 313270 SOS 214132 HAS SOPS 214132 HAS SOUS 192852 HAS SOUPS 192852 WITH SCORE 193066.132
AT ITER 466 NEW BEST:: SOT 313499 SOS 213538 HAS SOPS 213538 HAS SOUS 192683 HAS SOUPS 192683 WITH SCORE 192896.538
AT ITER 469 NEW BEST:: SOT 313357 SOS 213369 HAS SOPS 213369 HAS SOUS 192617 HAS SOUPS 192617 WITH SCORE 192830.369
AT ITER 470 NEW BEST:: SOT 313167 SOS 213178 HAS SOPS 213178 HAS SOUS 192426 HAS SOUPS 192426 WITH SCORE 192639.178
AT ITER 476 NEW BEST:: SOT 312941 SOS 212670 HAS SOPS 212670 HAS SOUS 192059 HAS SOUPS 192059 WITH SCORE 192271.67
AT ITER 477 NEW BEST:: SOT 312941 SOS 212175 HAS SOPS 212175 HAS SOUS 191891 HAS SOUPS 191891 WITH SCORE 192103.175
AT ITER 478 NEW BEST:: SOT 312999 SOS 212026 HAS SOPS 212026 HAS SOUS 191887 HAS SOUPS 191887 WITH SCORE 192099.026
AT ITER 480 NEW BEST:: SOT 312888 SOS 211862 HAS SOPS 211862 HAS SOUS 191451 HAS SOUPS 191451 WITH SCORE 191662.862
AT ITER 481 NEW BEST:: SOT 312862 SOS 211836 HAS SOPS 211836 HAS SOUS 191425 HAS SOUPS 191425 WITH SCORE 191636.836
AT ITER 483 NEW BEST:: SOT 312862 SOS 212109 HAS SOPS 212109 HAS SOUS 191387 HAS SOUPS 191387 WITH SCORE 191599.109
AT ITER 486 NEW BEST:: SOT 312784 SOS 212034 HAS SOPS 212034 HAS SOUS 191166 HAS SOUPS 191166 WITH SCORE 191378.034
AT ITER 489 NEW BEST:: SOT 312784 SOS 212060 HAS SOPS 212060 HAS SOUS 191165 HAS SOUPS 191165 WITH SCORE 191377.06
AT ITER 491 NEW BEST:: SOT 312784 SOS 211664 HAS SOPS 211664 HAS SOUS 190754 HAS SOUPS 190754 WITH SCORE 190965.664
AT ITER 492 NEW BEST:: SOT 312784 SOS 210836 HAS SOPS 210836 HAS SOUS 190492 HAS SOUPS 190492 WITH SCORE 190702.836
AT ITER 493 NEW BEST:: SOT 312185 SOS 210119 HAS SOPS 210119 HAS SOUS 189659 HAS SOUPS 189659 WITH SCORE 189869.119
AT ITER 494 NEW BEST:: SOT 312185 SOS 209763 HAS SOPS 209763 HAS SOUS 189658 HAS SOUPS 189658 WITH SCORE 189867.763
AT ITER 496 NEW BEST:: SOT 312185 SOS 209255 HAS SOPS 209255 HAS SOUS 189556 HAS SOUPS 189556 WITH SCORE 189765.255
AT ITER 500 NEW BEST:: SOT 312185 SOS 209014 HAS SOPS 209014 HAS SOUS 189556 HAS SOUPS 189556 WITH SCORE 189765.014
AT ITER 501 NEW BEST:: SOT 312112 SOS 208874 HAS SOPS 208874 HAS SOUS 189402 HAS SOUPS 189402 WITH SCORE 189610.874
AT ITER 502 NEW BEST:: SOT 312031 SOS 208685 HAS SOPS 208685 HAS SOUS 189267 HAS SOUPS 189267 WITH SCORE 189475.685
AT ITER 507 NEW BEST:: SOT 311326 SOS 207404 HAS SOPS 207404 HAS SOUS 188006 HAS SOUPS 188006 WITH SCORE 188213.404
AT ITER 509 NEW BEST:: SOT 311280 SOS 206995 HAS SOPS 206995 HAS SOUS 187564 HAS SOUPS 187564 WITH SCORE 187770.995
AT ITER 510 NEW BEST:: SOT 310660 SOS 205816 HAS SOPS 205816 HAS SOUS 186566 HAS SOUPS 186566 WITH SCORE 186771.816
AT ITER 512 NEW BEST:: SOT 311142 SOS 205559 HAS SOPS 205559 HAS SOUS 186541 HAS SOUPS 186541 WITH SCORE 186746.559
AT ITER 513 NEW BEST:: SOT 311031 SOS 205448 HAS SOPS 205448 HAS SOUS 186300 HAS SOUPS 186300 WITH SCORE 186505.448
AT ITER 514 NEW BEST:: SOT 311031 SOS 205294 HAS SOPS 205294 HAS SOUS 186177 HAS SOUPS 186177 WITH SCORE 186382.294
AT ITER 517 NEW BEST:: SOT 310947 SOS 205210 HAS SOPS 205210 HAS SOUS 186093 HAS SOUPS 186093 WITH SCORE 186298.21
AT ITER 526 NEW BEST:: SOT 310806 SOS 205174 HAS SOPS 205174 HAS SOUS 186057 HAS SOUPS 186057 WITH SCORE 186262.174
AT ITER 528 NEW BEST:: SOT 310796 SOS 205163 HAS SOPS 205163 HAS SOUS 186046 HAS SOUPS 186046 WITH SCORE 186251.163
AT ITER 532 NEW BEST:: SOT 310794 SOS 205161 HAS SOPS 205161 HAS SOUS 186044 HAS SOUPS 186044 WITH SCORE 186249.161
AT ITER 535 NEW BEST:: SOT 310306 SOS 204673 HAS SOPS 204673 HAS SOUS 185362 HAS SOUPS 185362 WITH SCORE 185566.673
AT ITER 536 NEW BEST:: SOT 310306 SOS 204675 HAS SOPS 204675 HAS SOUS 185334 HAS SOUPS 185334 WITH SCORE 185538.675
AT ITER 537 NEW BEST:: SOT 310306 SOS 204675 HAS SOPS 204675 HAS SOUS 185262 HAS SOUPS 185262 WITH SCORE 185466.675
AT ITER 542 NEW BEST:: SOT 310020 SOS 204443 HAS SOPS 204443 HAS SOUS 184881 HAS SOUPS 184881 WITH SCORE 185085.443
AT ITER 547 NEW BEST:: SOT 309963 SOS 204367 HAS SOPS 204367 HAS SOUS 184805 HAS SOUPS 184805 WITH SCORE 185009.367
AT ITER 558 NEW BEST:: SOT 309963 SOS 204443 HAS SOPS 204443 HAS SOUS 184803 HAS SOUPS 184803 WITH SCORE 185007.443
AT ITER 562 NEW BEST:: SOT 309963 SOS 204113 HAS SOPS 204113 HAS SOUS 184583 HAS SOUPS 184583 WITH SCORE 184787.113
AT ITER 564 NEW BEST:: SOT 309443 SOS 203225 HAS SOPS 203225 HAS SOUS 183971 HAS SOUPS 183971 WITH SCORE 184174.225
AT ITER 568 NEW BEST:: SOT 309488 SOS 202467 HAS SOPS 202467 HAS SOUS 183520 HAS SOUPS 183520 WITH SCORE 183722.467
AT ITER 572 NEW BEST:: SOT 308898 SOS 201772 HAS SOPS 201772 HAS SOUS 182829 HAS SOUPS 182829 WITH SCORE 183030.772
AT ITER 573 NEW BEST:: SOT 308916 SOS 201790 HAS SOPS 201790 HAS SOUS 182703 HAS SOUPS 182703 WITH SCORE 182904.79
AT ITER 581 NEW BEST:: SOT 308836 SOS 201710 HAS SOPS 201710 HAS SOUS 182623 HAS SOUPS 182623 WITH SCORE 182824.71
AT ITER 587 NEW BEST:: SOT 308659 SOS 201530 HAS SOPS 201530 HAS SOUS 182443 HAS SOUPS 182443 WITH SCORE 182644.53
AT ITER 589 NEW BEST:: SOT 308531 SOS 200497 HAS SOPS 200497 HAS SOUS 181717 HAS SOUPS 181717 WITH SCORE 181917.497
AT ITER 590 NEW BEST:: SOT 308531 SOS 200257 HAS SOPS 200257 HAS SOUS 181637 HAS SOUPS 181637 WITH SCORE 181837.257
AT ITER 591 NEW BEST:: SOT 308531 SOS 200442 HAS SOPS 200442 HAS SOUS 181606 HAS SOUPS 181606 WITH SCORE 181806.442
AT ITER 592 NEW BEST:: SOT 307850 SOS 199806 HAS SOPS 199806 HAS SOUS 180970 HAS SOUPS 180970 WITH SCORE 181169.806
AT ITER 593 NEW BEST:: SOT 307366 SOS 198951 HAS SOPS 198951 HAS SOUS 180300 HAS SOUPS 180300 WITH SCORE 180498.951
AT ITER 594 NEW BEST:: SOT 307163 SOS 198644 HAS SOPS 198644 HAS SOUS 179776 HAS SOUPS 179776 WITH SCORE 179974.644
AT ITER 598 NEW BEST:: SOT 307084 SOS 198436 HAS SOPS 198436 HAS SOUS 179568 HAS SOUPS 179568 WITH SCORE 179766.436
AT ITER 600 NEW BEST:: SOT 306822 SOS 198043 HAS SOPS 198043 HAS SOUS 179092 HAS SOUPS 179092 WITH SCORE 179290.043
AT ITER 601 NEW BEST:: SOT 306745 SOS 197966 HAS SOPS 197966 HAS SOUS 179015 HAS SOUPS 179015 WITH SCORE 179212.966
AT ITER 602 NEW BEST:: SOT 306567 SOS 197788 HAS SOPS 197788 HAS SOUS 178890 HAS SOUPS 178890 WITH SCORE 179087.788
AT ITER 604 NEW BEST:: SOT 306521 SOS 197742 HAS SOPS 197742 HAS SOUS 178883 HAS SOUPS 178883 WITH SCORE 179080.742
AT ITER 606 NEW BEST:: SOT 306343 SOS 197433 HAS SOPS 197433 HAS SOUS 178574 HAS SOUPS 178574 WITH SCORE 178771.433
AT ITER 609 NEW BEST:: SOT 306108 SOS 196939 HAS SOPS 196939 HAS SOUS 178138 HAS SOUPS 178138 WITH SCORE 178334.939
AT ITER 611 NEW BEST:: SOT 306004 SOS 196667 HAS SOPS 196667 HAS SOUS 177866 HAS SOUPS 177866 WITH SCORE 178062.667
AT ITER 612 NEW BEST:: SOT 305787 SOS 196637 HAS SOPS 196637 HAS SOUS 177835 HAS SOUPS 177835 WITH SCORE 178031.637
AT ITER 613 NEW BEST:: SOT 305787 SOS 196513 HAS SOPS 196513 HAS SOUS 177707 HAS SOUPS 177707 WITH SCORE 177903.513
AT ITER 614 NEW BEST:: SOT 305875 SOS 196461 HAS SOPS 196461 HAS SOUS 177655 HAS SOUPS 177655 WITH SCORE 177851.461
AT ITER 619 NEW BEST:: SOT 305812 SOS 196398 HAS SOPS 196398 HAS SOUS 177592 HAS SOUPS 177592 WITH SCORE 177788.398
AT ITER 622 NEW BEST:: SOT 305660 SOS 195942 HAS SOPS 195942 HAS SOUS 177228 HAS SOUPS 177228 WITH SCORE 177423.942
AT ITER 623 NEW BEST:: SOT 305773 SOS 195939 HAS SOPS 195939 HAS SOUS 177225 HAS SOUPS 177225 WITH SCORE 177420.939
AT ITER 626 NEW BEST:: SOT 305540 SOS 195374 HAS SOPS 195374 HAS SOUS 176653 HAS SOUPS 176653 WITH SCORE 176848.374
AT ITER 637 NEW BEST:: SOT 305310 SOS 195256 HAS SOPS 195256 HAS SOUS 176453 HAS SOUPS 176453 WITH SCORE 176648.256
AT ITER 641 NEW BEST:: SOT 305310 SOS 194972 HAS SOPS 194972 HAS SOUS 176169 HAS SOUPS 176169 WITH SCORE 176363.972
AT ITER 642 NEW BEST:: SOT 305182 SOS 194844 HAS SOPS 194844 HAS SOUS 176041 HAS SOUPS 176041 WITH SCORE 176235.844
AT ITER 643 NEW BEST:: SOT 305143 SOS 194805 HAS SOPS 194805 HAS SOUS 175963 HAS SOUPS 175963 WITH SCORE 176157.805
AT ITER 644 NEW BEST:: SOT 305080 SOS 194742 HAS SOPS 194742 HAS SOUS 175856 HAS SOUPS 175856 WITH SCORE 176050.742
AT ITER 645 NEW BEST:: SOT 304911 SOS 194228 HAS SOPS 194228 HAS SOUS 175342 HAS SOUPS 175342 WITH SCORE 175536.228
AT ITER 647 NEW BEST:: SOT 304911 SOS 194125 HAS SOPS 194125 HAS SOUS 175242 HAS SOUPS 175242 WITH SCORE 175436.125
AT ITER 648 NEW BEST:: SOT 304812 SOS 194082 HAS SOPS 194082 HAS SOUS 175199 HAS SOUPS 175199 WITH SCORE 175393.082
AT ITER 649 NEW BEST:: SOT 304812 SOS 194071 HAS SOPS 194071 HAS SOUS 175186 HAS SOUPS 175186 WITH SCORE 175380.071
AT ITER 652 NEW BEST:: SOT 304660 SOS 193672 HAS SOPS 193672 HAS SOUS 175013 HAS SOUPS 175013 WITH SCORE 175206.672
AT ITER 654 NEW BEST:: SOT 304715 SOS 193264 HAS SOPS 193264 HAS SOUS 174995 HAS SOUPS 174995 WITH SCORE 175188.264
AT ITER 661 NEW BEST:: SOT 304642 SOS 193190 HAS SOPS 193190 HAS SOUS 174921 HAS SOUPS 174921 WITH SCORE 175114.19
AT ITER 668 NEW BEST:: SOT 304128 SOS 192546 HAS SOPS 192546 HAS SOUS 174499 HAS SOUPS 174499 WITH SCORE 174691.546
AT ITER 672 NEW BEST:: SOT 303361 SOS 191542 HAS SOPS 191542 HAS SOUS 173626 HAS SOUPS 173626 WITH SCORE 173817.542
AT ITER 673 NEW BEST:: SOT 303359 SOS 191530 HAS SOPS 191530 HAS SOUS 173614 HAS SOUPS 173614 WITH SCORE 173805.53
AT ITER 674 NEW BEST:: SOT 303359 SOS 191498 HAS SOPS 191498 HAS SOUS 173582 HAS SOUPS 173582 WITH SCORE 173773.498
AT ITER 682 NEW BEST:: SOT 303286 SOS 191317 HAS SOPS 191317 HAS SOUS 173499 HAS SOUPS 173499 WITH SCORE 173690.317
AT ITER 683 NEW BEST:: SOT 303286 SOS 191317 HAS SOPS 191317 HAS SOUS 173338 HAS SOUPS 173338 WITH SCORE 173529.317
AT ITER 687 NEW BEST:: SOT 303286 SOS 190989 HAS SOPS 190989 HAS SOUS 173062 HAS SOUPS 173062 WITH SCORE 173252.989
AT ITER 688 NEW BEST:: SOT 303030 SOS 190328 HAS SOPS 190328 HAS SOUS 172486 HAS SOUPS 172486 WITH SCORE 172676.328
AT ITER 689 NEW BEST:: SOT 303030 SOS 190312 HAS SOPS 190312 HAS SOUS 172478 HAS SOUPS 172478 WITH SCORE 172668.312
AT ITER 691 NEW BEST:: SOT 302744 SOS 190026 HAS SOPS 190026 HAS SOUS 172192 HAS SOUPS 172192 WITH SCORE 172382.026
AT ITER 694 NEW BEST:: SOT 302688 SOS 189914 HAS SOPS 189914 HAS SOUS 172080 HAS SOUPS 172080 WITH SCORE 172269.914
AT ITER 699 NEW BEST:: SOT 302624 SOS 189849 HAS SOPS 189849 HAS SOUS 172015 HAS SOUPS 172015 WITH SCORE 172204.849
AT ITER 705 NEW BEST:: SOT 302622 SOS 189815 HAS SOPS 189815 HAS SOUS 171981 HAS SOUPS 171981 WITH SCORE 172170.815
AT ITER 707 NEW BEST:: SOT 302607 SOS 189800 HAS SOPS 189800 HAS SOUS 171966 HAS SOUPS 171966 WITH SCORE 172155.8
AT ITER 709 NEW BEST:: SOT 302431 SOS 189624 HAS SOPS 189624 HAS SOUS 171912 HAS SOUPS 171912 WITH SCORE 172101.624
AT ITER 711 NEW BEST:: SOT 302125 SOS 189318 HAS SOPS 189318 HAS SOUS 171606 HAS SOUPS 171606 WITH SCORE 171795.318
AT ITER 712 NEW BEST:: SOT 301887 SOS 188942 HAS SOPS 188942 HAS SOUS 171230 HAS SOUPS 171230 WITH SCORE 171418.942
AT ITER 713 NEW BEST:: SOT 301776 SOS 188831 HAS SOPS 188831 HAS SOUS 171119 HAS SOUPS 171119 WITH SCORE 171307.831
AT ITER 716 NEW BEST:: SOT 301720 SOS 188706 HAS SOPS 188706 HAS SOUS 171007 HAS SOUPS 171007 WITH SCORE 171195.706
AT ITER 720 NEW BEST:: SOT 301193 SOS 188073 HAS SOPS 188073 HAS SOUS 170465 HAS SOUPS 170465 WITH SCORE 170653.073
AT ITER 723 NEW BEST:: SOT 300822 SOS 187702 HAS SOPS 187702 HAS SOUS 170094 HAS SOUPS 170094 WITH SCORE 170281.702
AT ITER 728 NEW BEST:: SOT 300822 SOS 187591 HAS SOPS 187591 HAS SOUS 169983 HAS SOUPS 169983 WITH SCORE 170170.591
AT ITER 729 NEW BEST:: SOT 300723 SOS 187492 HAS SOPS 187492 HAS SOUS 169850 HAS SOUPS 169850 WITH SCORE 170037.492
AT ITER 730 NEW BEST:: SOT 300723 SOS 187393 HAS SOPS 187393 HAS SOUS 169847 HAS SOUPS 169847 WITH SCORE 170034.393
AT ITER 731 NEW BEST:: SOT 300425 SOS 187144 HAS SOPS 187144 HAS SOUS 169801 HAS SOUPS 169801 WITH SCORE 169988.144
AT ITER 733 NEW BEST:: SOT 300425 SOS 186845 HAS SOPS 186845 HAS SOUS 169403 HAS SOUPS 169403 WITH SCORE 169589.845
AT ITER 734 NEW BEST:: SOT 300425 SOS 186696 HAS SOPS 186696 HAS SOUS 169323 HAS SOUPS 169323 WITH SCORE 169509.696
AT ITER 735 NEW BEST:: SOT 300122 SOS 186258 HAS SOPS 186258 HAS SOUS 169118 HAS SOUPS 169118 WITH SCORE 169304.258
AT ITER 738 NEW BEST:: SOT 300027 SOS 186163 HAS SOPS 186163 HAS SOUS 169023 HAS SOUPS 169023 WITH SCORE 169209.163
AT ITER 740 NEW BEST:: SOT 299802 SOS 185938 HAS SOPS 185938 HAS SOUS 168798 HAS SOUPS 168798 WITH SCORE 168983.938
AT ITER 745 NEW BEST:: SOT 299798 SOS 185934 HAS SOPS 185934 HAS SOUS 168794 HAS SOUPS 168794 WITH SCORE 168979.934
AT ITER 746 NEW BEST:: SOT 299471 SOS 184770 HAS SOPS 184770 HAS SOUS 167942 HAS SOUPS 167942 WITH SCORE 168126.77
AT ITER 747 NEW BEST:: SOT 299247 SOS 184586 HAS SOPS 184586 HAS SOUS 167758 HAS SOUPS 167758 WITH SCORE 167942.586
AT ITER 751 NEW BEST:: SOT 299247 SOS 184471 HAS SOPS 184471 HAS SOUS 167643 HAS SOUPS 167643 WITH SCORE 167827.471
AT ITER 756 NEW BEST:: SOT 299190 SOS 184414 HAS SOPS 184414 HAS SOUS 167586 HAS SOUPS 167586 WITH SCORE 167770.414
AT ITER 757 NEW BEST:: SOT 299110 SOS 184461 HAS SOPS 184461 HAS SOUS 167450 HAS SOUPS 167450 WITH SCORE 167634.461
AT ITER 760 NEW BEST:: SOT 299110 SOS 184507 HAS SOPS 184507 HAS SOUS 167437 HAS SOUPS 167437 WITH SCORE 167621.507
AT ITER 762 NEW BEST:: SOT 299027 SOS 184422 HAS SOPS 184422 HAS SOUS 167369 HAS SOUPS 167369 WITH SCORE 167553.422
AT ITER 763 NEW BEST:: SOT 298871 SOS 184223 HAS SOPS 184223 HAS SOUS 167156 HAS SOUPS 167156 WITH SCORE 167340.223
AT ITER 765 NEW BEST:: SOT 298572 SOS 183924 HAS SOPS 183924 HAS SOUS 166734 HAS SOUPS 166734 WITH SCORE 166917.924
AT ITER 767 NEW BEST:: SOT 298572 SOS 183899 HAS SOPS 183899 HAS SOUS 166709 HAS SOUPS 166709 WITH SCORE 166892.899
AT ITER 769 NEW BEST:: SOT 298496 SOS 183653 HAS SOPS 183653 HAS SOUS 166456 HAS SOUPS 166456 WITH SCORE 166639.653
AT ITER 770 NEW BEST:: SOT 298353 SOS 183600 HAS SOPS 183600 HAS SOUS 166403 HAS SOUPS 166403 WITH SCORE 166586.6
AT ITER 771 NEW BEST:: SOT 298330 SOS 183577 HAS SOPS 183577 HAS SOUS 166357 HAS SOUPS 166357 WITH SCORE 166540.577
AT ITER 772 NEW BEST:: SOT 297856 SOS 183042 HAS SOPS 183042 HAS SOUS 165459 HAS SOUPS 165459 WITH SCORE 165642.042
AT ITER 776 NEW BEST:: SOT 297856 SOS 183355 HAS SOPS 183355 HAS SOUS 165362 HAS SOUPS 165362 WITH SCORE 165545.355
AT ITER 780 NEW BEST:: SOT 297856 SOS 183354 HAS SOPS 183354 HAS SOUS 165361 HAS SOUPS 165361 WITH SCORE 165544.354
AT ITER 781 NEW BEST:: SOT 297816 SOS 183274 HAS SOPS 183274 HAS SOUS 165281 HAS SOUPS 165281 WITH SCORE 165464.274
AT ITER 784 NEW BEST:: SOT 297672 SOS 182606 HAS SOPS 182606 HAS SOUS 165018 HAS SOUPS 165018 WITH SCORE 165200.606
AT ITER 787 NEW BEST:: SOT 297698 SOS 182494 HAS SOPS 182494 HAS SOUS 164991 HAS SOUPS 164991 WITH SCORE 165173.494
AT ITER 790 NEW BEST:: SOT 297629 SOS 182425 HAS SOPS 182425 HAS SOUS 164922 HAS SOUPS 164922 WITH SCORE 165104.425
AT ITER 792 NEW BEST:: SOT 297629 SOS 182370 HAS SOPS 182370 HAS SOUS 164867 HAS SOUPS 164867 WITH SCORE 165049.37
AT ITER 793 NEW BEST:: SOT 297619 SOS 182360 HAS SOPS 182360 HAS SOUS 164857 HAS SOUPS 164857 WITH SCORE 165039.36
AT ITER 798 NEW BEST:: SOT 297529 SOS 182270 HAS SOPS 182270 HAS SOUS 164677 HAS SOUPS 164677 WITH SCORE 164859.27
AT ITER 803 NEW BEST:: SOT 297285 SOS 181803 HAS SOPS 181803 HAS SOUS 164210 HAS SOUPS 164210 WITH SCORE 164391.803
AT ITER 804 NEW BEST:: SOT 297285 SOS 181803 HAS SOPS 181803 HAS SOUS 164208 HAS SOUPS 164208 WITH SCORE 164389.803
AT ITER 806 NEW BEST:: SOT 297046 SOS 181417 HAS SOPS 181417 HAS SOUS 164055 HAS SOUPS 164055 WITH SCORE 164236.417
AT ITER 813 NEW BEST:: SOT 296576 SOS 180313 HAS SOPS 180313 HAS SOUS 163403 HAS SOUPS 163403 WITH SCORE 163583.313
AT ITER 814 NEW BEST:: SOT 296424 SOS 180159 HAS SOPS 180159 HAS SOUS 163249 HAS SOUPS 163249 WITH SCORE 163429.159
AT ITER 817 NEW BEST:: SOT 296425 SOS 179938 HAS SOPS 179938 HAS SOUS 163133 HAS SOUPS 163133 WITH SCORE 163312.938
AT ITER 821 NEW BEST:: SOT 296325 SOS 179969 HAS SOPS 179969 HAS SOUS 163105 HAS SOUPS 163105 WITH SCORE 163284.969
AT ITER 827 NEW BEST:: SOT 296480 SOS 179943 HAS SOPS 179943 HAS SOUS 163085 HAS SOUPS 163085 WITH SCORE 163264.943
AT ITER 830 NEW BEST:: SOT 296181 SOS 179644 HAS SOPS 179644 HAS SOUS 162786 HAS SOUPS 162786 WITH SCORE 162965.644
AT ITER 834 NEW BEST:: SOT 295805 SOS 179264 HAS SOPS 179264 HAS SOUS 162350 HAS SOUPS 162350 WITH SCORE 162529.264
AT ITER 837 NEW BEST:: SOT 295765 SOS 179224 HAS SOPS 179224 HAS SOUS 162280 HAS SOUPS 162280 WITH SCORE 162459.224
AT ITER 838 NEW BEST:: SOT 295793 SOS 179245 HAS SOPS 179245 HAS SOUS 162270 HAS SOUPS 162270 WITH SCORE 162449.245
AT ITER 845 NEW BEST:: SOT 295799 SOS 179229 HAS SOPS 179229 HAS SOUS 162254 HAS SOUPS 162254 WITH SCORE 162433.229
AT ITER 849 NEW BEST:: SOT 295864 SOS 178967 HAS SOPS 178967 HAS SOUS 161992 HAS SOUPS 161992 WITH SCORE 162170.967
AT ITER 857 NEW BEST:: SOT 295864 SOS 178726 HAS SOPS 178726 HAS SOUS 161887 HAS SOUPS 161887 WITH SCORE 162065.726
AT ITER 860 NEW BEST:: SOT 295864 SOS 178530 HAS SOPS 178530 HAS SOUS 161805 HAS SOUPS 161805 WITH SCORE 161983.53
AT ITER 887 NEW BEST:: SOT 295687 SOS 178438 HAS SOPS 178438 HAS SOUS 161569 HAS SOUPS 161569 WITH SCORE 161747.438
AT ITER 890 NEW BEST:: SOT 295706 SOS 178457 HAS SOPS 178457 HAS SOUS 161554 HAS SOUPS 161554 WITH SCORE 161732.457
AT ITER 893 NEW BEST:: SOT 295581 SOS 177832 HAS SOPS 177832 HAS SOUS 161304 HAS SOUPS 161304 WITH SCORE 161481.832
AT ITER 895 NEW BEST:: SOT 295581 SOS 177812 HAS SOPS 177812 HAS SOUS 161304 HAS SOUPS 161304 WITH SCORE 161481.812
AT ITER 901 NEW BEST:: SOT 295640 SOS 177855 HAS SOPS 177855 HAS SOUS 161249 HAS SOUPS 161249 WITH SCORE 161426.855
AT ITER 919 NEW BEST:: SOT 295645 SOS 177794 HAS SOPS 177794 HAS SOUS 161188 HAS SOUPS 161188 WITH SCORE 161365.794
AT ITER 921 NEW BEST:: SOT 295646 SOS 177798 HAS SOPS 177798 HAS SOUS 161143 HAS SOUPS 161143 WITH SCORE 161320.798
AT ITER 925 NEW BEST:: SOT 295646 SOS 177727 HAS SOPS 177727 HAS SOUS 161143 HAS SOUPS 161143 WITH SCORE 161320.727
AT ITER 926 NEW BEST:: SOT 294831 SOS 176068 HAS SOPS 176068 HAS SOUS 160198 HAS SOUPS 160198 WITH SCORE 160374.068
AT ITER 930 NEW BEST:: SOT 294631 SOS 176385 HAS SOPS 176385 HAS SOUS 160164 HAS SOUPS 160164 WITH SCORE 160340.385
AT ITER 937 NEW BEST:: SOT 294511 SOS 175817 HAS SOPS 175817 HAS SOUS 159771 HAS SOUPS 159771 WITH SCORE 159946.817
AT ITER 941 NEW BEST:: SOT 294504 SOS 175352 HAS SOPS 175352 HAS SOUS 159406 HAS SOUPS 159406 WITH SCORE 159581.352
AT ITER 944 NEW BEST:: SOT 294276 SOS 175124 HAS SOPS 175124 HAS SOUS 159178 HAS SOUPS 159178 WITH SCORE 159353.124
AT ITER 947 NEW BEST:: SOT 294190 SOS 174818 HAS SOPS 174818 HAS SOUS 158945 HAS SOUPS 158945 WITH SCORE 159119.818
AT ITER 949 NEW BEST:: SOT 294095 SOS 174438 HAS SOPS 174438 HAS SOUS 158660 HAS SOUPS 158660 WITH SCORE 158834.438
AT ITER 950 NEW BEST:: SOT 294081 SOS 174366 HAS SOPS 174366 HAS SOUS 158523 HAS SOUPS 158523 WITH SCORE 158697.366
AT ITER 952 NEW BEST:: SOT 293958 SOS 174166 HAS SOPS 174166 HAS SOUS 158327 HAS SOUPS 158327 WITH SCORE 158501.166
AT ITER 957 NEW BEST:: SOT 294019 SOS 174309 HAS SOPS 174309 HAS SOUS 158319 HAS SOUPS 158319 WITH SCORE 158493.309
AT ITER 959 NEW BEST:: SOT 294019 SOS 173979 HAS SOPS 173979 HAS SOUS 158209 HAS SOUPS 158209 WITH SCORE 158382.979
AT ITER 961 NEW BEST:: SOT 294118 SOS 173974 HAS SOPS 173974 HAS SOUS 158204 HAS SOUPS 158204 WITH SCORE 158377.974
AT ITER 964 NEW BEST:: SOT 294118 SOS 173972 HAS SOPS 173972 HAS SOUS 158202 HAS SOUPS 158202 WITH SCORE 158375.972
AT ITER 965 NEW BEST:: SOT 294118 SOS 173916 HAS SOPS 173916 HAS SOUS 158146 HAS SOUPS 158146 WITH SCORE 158319.916
AT ITER 967 NEW BEST:: SOT 293912 SOS 173517 HAS SOPS 173517 HAS SOUS 157747 HAS SOUPS 157747 WITH SCORE 157920.517
AT ITER 971 NEW BEST:: SOT 293880 SOS 173453 HAS SOPS 173453 HAS SOUS 157683 HAS SOUPS 157683 WITH SCORE 157856.453
AT ITER 977 NEW BEST:: SOT 293674 SOS 172810 HAS SOPS 172810 HAS SOUS 157049 HAS SOUPS 157049 WITH SCORE 157221.81
AT ITER 980 NEW BEST:: SOT 293588 SOS 172552 HAS SOPS 172552 HAS SOUS 156963 HAS SOUPS 156963 WITH SCORE 157135.552
AT ITER 983 NEW BEST:: SOT 293643 SOS 171511 HAS SOPS 171511 HAS SOUS 156536 HAS SOUPS 156536 WITH SCORE 156707.511
AT ITER 987 NEW BEST:: SOT 293643 SOS 171377 HAS SOPS 171377 HAS SOUS 156469 HAS SOUPS 156469 WITH SCORE 156640.377
AT ITER 992 NEW BEST:: SOT 293526 SOS 171260 HAS SOPS 171260 HAS SOUS 156341 HAS SOUPS 156341 WITH SCORE 156512.26
AT ITER 999 NEW BEST:: SOT 293428 SOS 171162 HAS SOPS 171162 HAS SOUS 156160 HAS SOUPS 156160 WITH SCORE 156331.162
AT ITER 1007 NEW BEST:: SOT 293422 SOS 171144 HAS SOPS 171144 HAS SOUS 156058 HAS SOUPS 156058 WITH SCORE 156229.144
AT ITER 1015 NEW BEST:: SOT 293422 SOS 171136 HAS SOPS 171136 HAS SOUS 156058 HAS SOUPS 156058 WITH SCORE 156229.136
AT ITER 1016 NEW BEST:: SOT 293343 SOS 171011 HAS SOPS 171011 HAS SOUS 155946 HAS SOUPS 155946 WITH SCORE 156117.011
AT ITER 1017 NEW BEST:: SOT 293095 SOS 170777 HAS SOPS 170777 HAS SOUS 155579 HAS SOUPS 155579 WITH SCORE 155749.777
AT ITER 1019 NEW BEST:: SOT 293091 SOS 170773 HAS SOPS 170773 HAS SOUS 155579 HAS SOUPS 155579 WITH SCORE 155749.773
AT ITER 1020 NEW BEST:: SOT 293052 SOS 170734 HAS SOPS 170734 HAS SOUS 155540 HAS SOUPS 155540 WITH SCORE 155710.734
AT ITER 1021 NEW BEST:: SOT 293063 SOS 170617 HAS SOPS 170617 HAS SOUS 155423 HAS SOUPS 155423 WITH SCORE 155593.617
AT ITER 1022 NEW BEST:: SOT 293223 SOS 170322 HAS SOPS 170322 HAS SOUS 155277 HAS SOUPS 155277 WITH SCORE 155447.322
AT ITER 1026 NEW BEST:: SOT 293091 SOS 170078 HAS SOPS 170078 HAS SOUS 155033 HAS SOUPS 155033 WITH SCORE 155203.078
AT ITER 1028 NEW BEST:: SOT 293093 SOS 170009 HAS SOPS 170009 HAS SOUS 154964 HAS SOUPS 154964 WITH SCORE 155134.009
AT ITER 1036 NEW BEST:: SOT 292097 SOS 168582 HAS SOPS 168582 HAS SOUS 153823 HAS SOUPS 153823 WITH SCORE 153991.582
AT ITER 1040 NEW BEST:: SOT 291817 SOS 168200 HAS SOPS 168200 HAS SOUS 153385 HAS SOUPS 153385 WITH SCORE 153553.2
AT ITER 1042 NEW BEST:: SOT 291593 SOS 167666 HAS SOPS 167666 HAS SOUS 153026 HAS SOUPS 153026 WITH SCORE 153193.666
AT ITER 1053 NEW BEST:: SOT 291381 SOS 167715 HAS SOPS 167715 HAS SOUS 152911 HAS SOUPS 152911 WITH SCORE 153078.715
AT ITER 1054 NEW BEST:: SOT 291183 SOS 167517 HAS SOPS 167517 HAS SOUS 152713 HAS SOUPS 152713 WITH SCORE 152880.517
AT ITER 1060 NEW BEST:: SOT 290947 SOS 167080 HAS SOPS 167080 HAS SOUS 152241 HAS SOUPS 152241 WITH SCORE 152408.08
AT ITER 1061 NEW BEST:: SOT 290947 SOS 166924 HAS SOPS 166924 HAS SOUS 152163 HAS SOUPS 152163 WITH SCORE 152329.924
AT ITER 1067 NEW BEST:: SOT 290851 SOS 166787 HAS SOPS 166787 HAS SOUS 152026 HAS SOUPS 152026 WITH SCORE 152192.787
AT ITER 1068 NEW BEST:: SOT 290813 SOS 166464 HAS SOPS 166464 HAS SOUS 151985 HAS SOUPS 151985 WITH SCORE 152151.464
AT ITER 1074 NEW BEST:: SOT 290865 SOS 166516 HAS SOPS 166516 HAS SOUS 151969 HAS SOUPS 151969 WITH SCORE 152135.516
AT ITER 1075 NEW BEST:: SOT 290785 SOS 166436 HAS SOPS 166436 HAS SOUS 151887 HAS SOUPS 151887 WITH SCORE 152053.436
AT ITER 1080 NEW BEST:: SOT 290767 SOS 166400 HAS SOPS 166400 HAS SOUS 151833 HAS SOUPS 151833 WITH SCORE 151999.4
AT ITER 1081 NEW BEST:: SOT 290608 SOS 166023 HAS SOPS 166023 HAS SOUS 151456 HAS SOUPS 151456 WITH SCORE 151622.023
AT ITER 1083 NEW BEST:: SOT 290608 SOS 165911 HAS SOPS 165911 HAS SOUS 151400 HAS SOUPS 151400 WITH SCORE 151565.911
AT ITER 1085 NEW BEST:: SOT 290512 SOS 165815 HAS SOPS 165815 HAS SOUS 151304 HAS SOUPS 151304 WITH SCORE 151469.815
AT ITER 1088 NEW BEST:: SOT 290512 SOS 165764 HAS SOPS 165764 HAS SOUS 151248 HAS SOUPS 151248 WITH SCORE 151413.764
AT ITER 1090 NEW BEST:: SOT 290512 SOS 165614 HAS SOPS 165614 HAS SOUS 151165 HAS SOUPS 151165 WITH SCORE 151330.614
AT ITER 1091 NEW BEST:: SOT 290339 SOS 165283 HAS SOPS 165283 HAS SOUS 151100 HAS SOUPS 151100 WITH SCORE 151265.283
AT ITER 1096 NEW BEST:: SOT 290339 SOS 165122 HAS SOPS 165122 HAS SOUS 151081 HAS SOUPS 151081 WITH SCORE 151246.122
AT ITER 1097 NEW BEST:: SOT 290473 SOS 164908 HAS SOPS 164908 HAS SOUS 151068 HAS SOUPS 151068 WITH SCORE 151232.908
AT ITER 1098 NEW BEST:: SOT 290473 SOS 164853 HAS SOPS 164853 HAS SOUS 151062 HAS SOUPS 151062 WITH SCORE 151226.853
AT ITER 1101 NEW BEST:: SOT 290455 SOS 164835 HAS SOPS 164835 HAS SOUS 151044 HAS SOUPS 151044 WITH SCORE 151208.835
AT ITER 1102 NEW BEST:: SOT 289907 SOS 163923 HAS SOPS 163923 HAS SOUS 150212 HAS SOUPS 150212 WITH SCORE 150375.923
AT ITER 1103 NEW BEST:: SOT 289861 SOS 163783 HAS SOPS 163783 HAS SOUS 150118 HAS SOUPS 150118 WITH SCORE 150281.783
AT ITER 1127 NEW BEST:: SOT 289888 SOS 163765 HAS SOPS 163765 HAS SOUS 150100 HAS SOUPS 150100 WITH SCORE 150263.765
AT ITER 1128 NEW BEST:: SOT 289888 SOS 163749 HAS SOPS 163749 HAS SOUS 150100 HAS SOUPS 150100 WITH SCORE 150263.749
AT ITER 1131 NEW BEST:: SOT 289888 SOS 163628 HAS SOPS 163628 HAS SOUS 150085 HAS SOUPS 150085 WITH SCORE 150248.628
AT ITER 1141 NEW BEST:: SOT 290203 SOS 163144 HAS SOPS 163144 HAS SOUS 149894 HAS SOUPS 149894 WITH SCORE 150057.144
AT ITER 1149 NEW BEST:: SOT 290203 SOS 162992 HAS SOPS 162992 HAS SOUS 149818 HAS SOUPS 149818 WITH SCORE 149980.992
AT ITER 1151 NEW BEST:: SOT 290105 SOS 162808 HAS SOPS 162808 HAS SOUS 149634 HAS SOUPS 149634 WITH SCORE 149796.808
AT ITER 1155 NEW BEST:: SOT 289936 SOS 162851 HAS SOPS 162851 HAS SOUS 149619 HAS SOUPS 149619 WITH SCORE 149781.851
AT ITER 1157 NEW BEST:: SOT 289936 SOS 162812 HAS SOPS 162812 HAS SOUS 149619 HAS SOUPS 149619 WITH SCORE 149781.812
AT ITER 1158 NEW BEST:: SOT 289905 SOS 162709 HAS SOPS 162709 HAS SOUS 149516 HAS SOUPS 149516 WITH SCORE 149678.709
AT ITER 1162 NEW BEST:: SOT 289905 SOS 162681 HAS SOPS 162681 HAS SOUS 149488 HAS SOUPS 149488 WITH SCORE 149650.681
AT ITER 1164 NEW BEST:: SOT 289701 SOS 162477 HAS SOPS 162477 HAS SOUS 149284 HAS SOUPS 149284 WITH SCORE 149446.477
AT ITER 1170 NEW BEST:: SOT 289336 SOS 162065 HAS SOPS 162065 HAS SOUS 148872 HAS SOUPS 148872 WITH SCORE 149034.065
AT ITER 1172 NEW BEST:: SOT 289344 SOS 162073 HAS SOPS 162073 HAS SOUS 148837 HAS SOUPS 148837 WITH SCORE 148999.073
AT ITER 1177 NEW BEST:: SOT 289040 SOS 161769 HAS SOPS 161769 HAS SOUS 148533 HAS SOUPS 148533 WITH SCORE 148694.769
AT ITER 1179 NEW BEST:: SOT 288996 SOS 161306 HAS SOPS 161306 HAS SOUS 148150 HAS SOUPS 148150 WITH SCORE 148311.306
AT ITER 1183 NEW BEST:: SOT 288954 SOS 161264 HAS SOPS 161264 HAS SOUS 148108 HAS SOUPS 148108 WITH SCORE 148269.264
AT ITER 1189 NEW BEST:: SOT 288786 SOS 161196 HAS SOPS 161196 HAS SOUS 148018 HAS SOUPS 148018 WITH SCORE 148179.196
AT ITER 1190 NEW BEST:: SOT 288786 SOS 161151 HAS SOPS 161151 HAS SOUS 147941 HAS SOUPS 147941 WITH SCORE 148102.151
AT ITER 1191 NEW BEST:: SOT 288782 SOS 161147 HAS SOPS 161147 HAS SOUS 147937 HAS SOUPS 147937 WITH SCORE 148098.147
AT ITER 1192 NEW BEST:: SOT 288569 SOS 160926 HAS SOPS 160926 HAS SOUS 147605 HAS SOUPS 147605 WITH SCORE 147765.926
AT ITER 1193 NEW BEST:: SOT 288446 SOS 160906 HAS SOPS 160906 HAS SOUS 147585 HAS SOUPS 147585 WITH SCORE 147745.906
AT ITER 1194 NEW BEST:: SOT 288398 SOS 160858 HAS SOPS 160858 HAS SOUS 147537 HAS SOUPS 147537 WITH SCORE 147697.858
AT ITER 1200 NEW BEST:: SOT 288157 SOS 159956 HAS SOPS 159956 HAS SOUS 147159 HAS SOUPS 147159 WITH SCORE 147318.956
AT ITER 1207 NEW BEST:: SOT 288091 SOS 159857 HAS SOPS 159857 HAS SOUS 147027 HAS SOUPS 147027 WITH SCORE 147186.857
AT ITER 1211 NEW BEST:: SOT 288091 SOS 159851 HAS SOPS 159851 HAS SOUS 146997 HAS SOUPS 146997 WITH SCORE 147156.851
AT ITER 1213 NEW BEST:: SOT 287805 SOS 159565 HAS SOPS 159565 HAS SOUS 146711 HAS SOUPS 146711 WITH SCORE 146870.565
AT ITER 1214 NEW BEST:: SOT 287792 SOS 159624 HAS SOPS 159624 HAS SOUS 146612 HAS SOUPS 146612 WITH SCORE 146771.624
AT ITER 1228 NEW BEST:: SOT 287792 SOS 159491 HAS SOPS 159491 HAS SOUS 146570 HAS SOUPS 146570 WITH SCORE 146729.491
AT ITER 1233 NEW BEST:: SOT 287792 SOS 159247 HAS SOPS 159247 HAS SOUS 146448 HAS SOUPS 146448 WITH SCORE 146607.247
AT ITER 1234 NEW BEST:: SOT 287721 SOS 159105 HAS SOPS 159105 HAS SOUS 146306 HAS SOUPS 146306 WITH SCORE 146465.105
AT ITER 1238 NEW BEST:: SOT 287657 SOS 158977 HAS SOPS 158977 HAS SOUS 146210 HAS SOUPS 146210 WITH SCORE 146368.977
AT ITER 1241 NEW BEST:: SOT 287649 SOS 158925 HAS SOPS 158925 HAS SOUS 146122 HAS SOUPS 146122 WITH SCORE 146280.925
AT ITER 1244 NEW BEST:: SOT 287649 SOS 158910 HAS SOPS 158910 HAS SOUS 146107 HAS SOUPS 146107 WITH SCORE 146265.91
AT ITER 1246 NEW BEST:: SOT 287407 SOS 158668 HAS SOPS 158668 HAS SOUS 145865 HAS SOUPS 145865 WITH SCORE 146023.668
AT ITER 1248 NEW BEST:: SOT 287385 SOS 158591 HAS SOPS 158591 HAS SOUS 145821 HAS SOUPS 145821 WITH SCORE 145979.591
AT ITER 1249 NEW BEST:: SOT 287228 SOS 157910 HAS SOPS 157910 HAS SOUS 145332 HAS SOUPS 145332 WITH SCORE 145489.91
AT ITER 1251 NEW BEST:: SOT 286952 SOS 157803 HAS SOPS 157803 HAS SOUS 145280 HAS SOUPS 145280 WITH SCORE 145437.803
AT ITER 1262 NEW BEST:: SOT 286725 SOS 157685 HAS SOPS 157685 HAS SOUS 145273 HAS SOUPS 145273 WITH SCORE 145430.685
AT ITER 1270 NEW BEST:: SOT 286639 SOS 157556 HAS SOPS 157556 HAS SOUS 145155 HAS SOUPS 145155 WITH SCORE 145312.556
AT ITER 1283 NEW BEST:: SOT 286594 SOS 157511 HAS SOPS 157511 HAS SOUS 145110 HAS SOUPS 145110 WITH SCORE 145267.511
AT ITER 1288 NEW BEST:: SOT 286550 SOS 157335 HAS SOPS 157335 HAS SOUS 144934 HAS SOUPS 144934 WITH SCORE 145091.335
AT ITER 1296 NEW BEST:: SOT 286580 SOS 156838 HAS SOPS 156838 HAS SOUS 144778 HAS SOUPS 144778 WITH SCORE 144934.838
AT ITER 1298 NEW BEST:: SOT 286580 SOS 156838 HAS SOPS 156838 HAS SOUS 144759 HAS SOUPS 144759 WITH SCORE 144915.838
AT ITER 1301 NEW BEST:: SOT 286580 SOS 156776 HAS SOPS 156776 HAS SOUS 144759 HAS SOUPS 144759 WITH SCORE 144915.776
AT ITER 1304 NEW BEST:: SOT 286580 SOS 156716 HAS SOPS 156716 HAS SOUS 144729 HAS SOUPS 144729 WITH SCORE 144885.716
AT ITER 1310 NEW BEST:: SOT 286172 SOS 156200 HAS SOPS 156200 HAS SOUS 144321 HAS SOUPS 144321 WITH SCORE 144477.2
AT ITER 1311 NEW BEST:: SOT 286067 SOS 156095 HAS SOPS 156095 HAS SOUS 144216 HAS SOUPS 144216 WITH SCORE 144372.095
AT ITER 1314 NEW BEST:: SOT 286328 SOS 156356 HAS SOPS 156356 HAS SOUS 144169 HAS SOUPS 144169 WITH SCORE 144325.356
AT ITER 1316 NEW BEST:: SOT 286157 SOS 156328 HAS SOPS 156328 HAS SOUS 144129 HAS SOUPS 144129 WITH SCORE 144285.328
AT ITER 1317 NEW BEST:: SOT 286095 SOS 156266 HAS SOPS 156266 HAS SOUS 144067 HAS SOUPS 144067 WITH SCORE 144223.266
AT ITER 1321 NEW BEST:: SOT 286095 SOS 156230 HAS SOPS 156230 HAS SOUS 144067 HAS SOUPS 144067 WITH SCORE 144223.23
AT ITER 1324 NEW BEST:: SOT 286057 SOS 156167 HAS SOPS 156167 HAS SOUS 144028 HAS SOUPS 144028 WITH SCORE 144184.167
AT ITER 1328 NEW BEST:: SOT 285980 SOS 155832 HAS SOPS 155832 HAS SOUS 143874 HAS SOUPS 143874 WITH SCORE 144029.832
AT ITER 1331 NEW BEST:: SOT 285694 SOS 155550 HAS SOPS 155550 HAS SOUS 143806 HAS SOUPS 143806 WITH SCORE 143961.55
AT ITER 1333 NEW BEST:: SOT 285625 SOS 155274 HAS SOPS 155274 HAS SOUS 143668 HAS SOUPS 143668 WITH SCORE 143823.274
AT ITER 1337 NEW BEST:: SOT 285625 SOS 155133 HAS SOPS 155133 HAS SOUS 143439 HAS SOUPS 143439 WITH SCORE 143594.133
AT ITER 1338 NEW BEST:: SOT 285613 SOS 155121 HAS SOPS 155121 HAS SOUS 143427 HAS SOUPS 143427 WITH SCORE 143582.121
AT ITER 1340 NEW BEST:: SOT 285613 SOS 155104 HAS SOPS 155104 HAS SOUS 143410 HAS SOUPS 143410 WITH SCORE 143565.104
AT ITER 1341 NEW BEST:: SOT 285453 SOS 154735 HAS SOPS 154735 HAS SOUS 143060 HAS SOUPS 143060 WITH SCORE 143214.735
AT ITER 1346 NEW BEST:: SOT 284892 SOS 154099 HAS SOPS 154099 HAS SOUS 142555 HAS SOUPS 142555 WITH SCORE 142709.099
AT ITER 1354 NEW BEST:: SOT 284854 SOS 154061 HAS SOPS 154061 HAS SOUS 142517 HAS SOUPS 142517 WITH SCORE 142671.061
AT ITER 1357 NEW BEST:: SOT 284726 SOS 153855 HAS SOPS 153855 HAS SOUS 142318 HAS SOUPS 142318 WITH SCORE 142471.855
AT ITER 1359 NEW BEST:: SOT 284651 SOS 153767 HAS SOPS 153767 HAS SOUS 142230 HAS SOUPS 142230 WITH SCORE 142383.767
AT ITER 1362 NEW BEST:: SOT 284629 SOS 153658 HAS SOPS 153658 HAS SOUS 141916 HAS SOUPS 141916 WITH SCORE 142069.658
AT ITER 1364 NEW BEST:: SOT 284628 SOS 153657 HAS SOPS 153657 HAS SOUS 141915 HAS SOUPS 141915 WITH SCORE 142068.657
AT ITER 1371 NEW BEST:: SOT 284562 SOS 153591 HAS SOPS 153591 HAS SOUS 141849 HAS SOUPS 141849 WITH SCORE 142002.591
AT ITER 1376 NEW BEST:: SOT 284556 SOS 153585 HAS SOPS 153585 HAS SOUS 141841 HAS SOUPS 141841 WITH SCORE 141994.585
AT ITER 1379 NEW BEST:: SOT 284539 SOS 153561 HAS SOPS 153561 HAS SOUS 141829 HAS SOUPS 141829 WITH SCORE 141982.561
AT ITER 1391 NEW BEST:: SOT 284529 SOS 153551 HAS SOPS 153551 HAS SOUS 141819 HAS SOUPS 141819 WITH SCORE 141972.551
AT ITER 1395 NEW BEST:: SOT 284459 SOS 153446 HAS SOPS 153446 HAS SOUS 141714 HAS SOUPS 141714 WITH SCORE 141867.446
AT ITER 1409 NEW BEST:: SOT 283899 SOS 153549 HAS SOPS 153549 HAS SOUS 141445 HAS SOUPS 141445 WITH SCORE 141598.549
AT ITER 1413 NEW BEST:: SOT 283847 SOS 153445 HAS SOPS 153445 HAS SOUS 141341 HAS SOUPS 141341 WITH SCORE 141494.445
AT ITER 1427 NEW BEST:: SOT 283832 SOS 153430 HAS SOPS 153430 HAS SOUS 141326 HAS SOUPS 141326 WITH SCORE 141479.43
AT ITER 1428 NEW BEST:: SOT 283754 SOS 153274 HAS SOPS 153274 HAS SOUS 141170 HAS SOUPS 141170 WITH SCORE 141323.274
AT ITER 1430 NEW BEST:: SOT 283581 SOS 152928 HAS SOPS 152928 HAS SOUS 140887 HAS SOUPS 140887 WITH SCORE 141039.928
AT ITER 1443 NEW BEST:: SOT 283432 SOS 152935 HAS SOPS 152935 HAS SOUS 140715 HAS SOUPS 140715 WITH SCORE 140867.935
AT ITER 1450 NEW BEST:: SOT 283363 SOS 152622 HAS SOPS 152622 HAS SOUS 140590 HAS SOUPS 140590 WITH SCORE 140742.622
AT ITER 1454 NEW BEST:: SOT 283251 SOS 152534 HAS SOPS 152534 HAS SOUS 140502 HAS SOUPS 140502 WITH SCORE 140654.534
AT ITER 1455 NEW BEST:: SOT 283214 SOS 152520 HAS SOPS 152520 HAS SOUS 140488 HAS SOUPS 140488 WITH SCORE 140640.52
AT ITER 1456 NEW BEST:: SOT 283192 SOS 152498 HAS SOPS 152498 HAS SOUS 140466 HAS SOUPS 140466 WITH SCORE 140618.498
AT ITER 1460 NEW BEST:: SOT 283192 SOS 152396 HAS SOPS 152396 HAS SOUS 140364 HAS SOUPS 140364 WITH SCORE 140516.396
AT ITER 1461 NEW BEST:: SOT 283191 SOS 152395 HAS SOPS 152395 HAS SOUS 140359 HAS SOUPS 140359 WITH SCORE 140511.395
AT ITER 1467 NEW BEST:: SOT 283025 SOS 151995 HAS SOPS 151995 HAS SOUS 140016 HAS SOUPS 140016 WITH SCORE 140167.995
AT ITER 1476 NEW BEST:: SOT 283033 SOS 152366 HAS SOPS 152366 HAS SOUS 139951 HAS SOUPS 139951 WITH SCORE 140103.366
AT ITER 1477 NEW BEST:: SOT 282761 SOS 152091 HAS SOPS 152091 HAS SOUS 139917 HAS SOUPS 139917 WITH SCORE 140069.091
AT ITER 1481 NEW BEST:: SOT 282445 SOS 152117 HAS SOPS 152117 HAS SOUS 139532 HAS SOUPS 139532 WITH SCORE 139684.117
AT ITER 1482 NEW BEST:: SOT 282513 SOS 152031 HAS SOPS 152031 HAS SOUS 139468 HAS SOUPS 139468 WITH SCORE 139620.031
AT ITER 1485 NEW BEST:: SOT 282503 SOS 152021 HAS SOPS 152021 HAS SOUS 139453 HAS SOUPS 139453 WITH SCORE 139605.021
AT ITER 1493 NEW BEST:: SOT 282503 SOS 151939 HAS SOPS 151939 HAS SOUS 139393 HAS SOUPS 139393 WITH SCORE 139544.939
AT ITER 1496 NEW BEST:: SOT 282503 SOS 151901 HAS SOPS 151901 HAS SOUS 139393 HAS SOUPS 139393 WITH SCORE 139544.901
AT ITER 1501 NEW BEST:: SOT 282452 SOS 151770 HAS SOPS 151770 HAS SOUS 139262 HAS SOUPS 139262 WITH SCORE 139413.77
AT ITER 1514 NEW BEST:: SOT 282331 SOS 151263 HAS SOPS 151263 HAS SOUS 138755 HAS SOUPS 138755 WITH SCORE 138906.263
AT ITER 1519 NEW BEST:: SOT 282266 SOS 151198 HAS SOPS 151198 HAS SOUS 138664 HAS SOUPS 138664 WITH SCORE 138815.198
AT ITER 1522 NEW BEST:: SOT 282159 SOS 150967 HAS SOPS 150967 HAS SOUS 138433 HAS SOUPS 138433 WITH SCORE 138583.967
AT ITER 1525 NEW BEST:: SOT 281957 SOS 150739 HAS SOPS 150739 HAS SOUS 138149 HAS SOUPS 138149 WITH SCORE 138299.739
AT ITER 1527 NEW BEST:: SOT 281957 SOS 150738 HAS SOPS 150738 HAS SOUS 138148 HAS SOUPS 138148 WITH SCORE 138298.738
AT ITER 1530 NEW BEST:: SOT 281956 SOS 150447 HAS SOPS 150447 HAS SOUS 137902 HAS SOUPS 137902 WITH SCORE 138052.447
AT ITER 1531 NEW BEST:: SOT 281825 SOS 150295 HAS SOPS 150295 HAS SOUS 137753 HAS SOUPS 137753 WITH SCORE 137903.295
AT ITER 1536 NEW BEST:: SOT 281627 SOS 150096 HAS SOPS 150096 HAS SOUS 137599 HAS SOUPS 137599 WITH SCORE 137749.096
AT ITER 1537 NEW BEST:: SOT 281588 SOS 150018 HAS SOPS 150018 HAS SOUS 137530 HAS SOUPS 137530 WITH SCORE 137680.018
AT ITER 1539 NEW BEST:: SOT 281616 SOS 149984 HAS SOPS 149984 HAS SOUS 137496 HAS SOUPS 137496 WITH SCORE 137645.984
AT ITER 1544 NEW BEST:: SOT 281488 SOS 149841 HAS SOPS 149841 HAS SOUS 137353 HAS SOUPS 137353 WITH SCORE 137502.841
AT ITER 1558 NEW BEST:: SOT 281440 SOS 149649 HAS SOPS 149649 HAS SOUS 137090 HAS SOUPS 137090 WITH SCORE 137239.649
AT ITER 1562 NEW BEST:: SOT 281421 SOS 149630 HAS SOPS 149630 HAS SOUS 137088 HAS SOUPS 137088 WITH SCORE 137237.63
AT ITER 1566 NEW BEST:: SOT 281425 SOS 149912 HAS SOPS 149912 HAS SOUS 137086 HAS SOUPS 137086 WITH SCORE 137235.912
AT ITER 1569 NEW BEST:: SOT 281115 SOS 149696 HAS SOPS 149696 HAS SOUS 136826 HAS SOUPS 136826 WITH SCORE 136975.696
AT ITER 1576 NEW BEST:: SOT 281025 SOS 149051 HAS SOPS 149051 HAS SOUS 136613 HAS SOUPS 136613 WITH SCORE 136762.051
AT ITER 1583 NEW BEST:: SOT 281025 SOS 148943 HAS SOPS 148943 HAS SOUS 136505 HAS SOUPS 136505 WITH SCORE 136653.943
AT ITER 1593 NEW BEST:: SOT 281033 SOS 148839 HAS SOPS 148839 HAS SOUS 136401 HAS SOUPS 136401 WITH SCORE 136549.839
AT ITER 1599 NEW BEST:: SOT 281033 SOS 148589 HAS SOPS 148589 HAS SOUS 136297 HAS SOUPS 136297 WITH SCORE 136445.589
AT ITER 1601 NEW BEST:: SOT 281007 SOS 148547 HAS SOPS 148547 HAS SOUS 136255 HAS SOUPS 136255 WITH SCORE 136403.547
AT ITER 1606 NEW BEST:: SOT 281007 SOS 148493 HAS SOPS 148493 HAS SOUS 136092 HAS SOUPS 136092 WITH SCORE 136240.493
AT ITER 1610 NEW BEST:: SOT 280734 SOS 148268 HAS SOPS 148268 HAS SOUS 135867 HAS SOUPS 135867 WITH SCORE 136015.268
AT ITER 1627 NEW BEST:: SOT 280722 SOS 148256 HAS SOPS 148256 HAS SOUS 135815 HAS SOUPS 135815 WITH SCORE 135963.256
AT ITER 1629 NEW BEST:: SOT 280268 SOS 147080 HAS SOPS 147080 HAS SOUS 134852 HAS SOUPS 134852 WITH SCORE 134999.08
AT ITER 1631 NEW BEST:: SOT 280228 SOS 147035 HAS SOPS 147035 HAS SOUS 134807 HAS SOUPS 134807 WITH SCORE 134954.035
AT ITER 1633 NEW BEST:: SOT 280110 SOS 146688 HAS SOPS 146688 HAS SOUS 134571 HAS SOUPS 134571 WITH SCORE 134717.688
AT ITER 1635 NEW BEST:: SOT 279949 SOS 146575 HAS SOPS 146575 HAS SOUS 134458 HAS SOUPS 134458 WITH SCORE 134604.575
AT ITER 1646 NEW BEST:: SOT 279907 SOS 146495 HAS SOPS 146495 HAS SOUS 134378 HAS SOUPS 134378 WITH SCORE 134524.495
AT ITER 1649 NEW BEST:: SOT 279907 SOS 146116 HAS SOPS 146116 HAS SOUS 134308 HAS SOUPS 134308 WITH SCORE 134454.116
AT ITER 1652 NEW BEST:: SOT 279921 SOS 145966 HAS SOPS 145966 HAS SOUS 134264 HAS SOUPS 134264 WITH SCORE 134409.966
AT ITER 1655 NEW BEST:: SOT 279743 SOS 145659 HAS SOPS 145659 HAS SOUS 134046 HAS SOUPS 134046 WITH SCORE 134191.659
AT ITER 1665 NEW BEST:: SOT 279700 SOS 145613 HAS SOPS 145613 HAS SOUS 134000 HAS SOUPS 134000 WITH SCORE 134145.613
AT ITER 1666 NEW BEST:: SOT 279578 SOS 145555 HAS SOPS 145555 HAS SOUS 133820 HAS SOUPS 133820 WITH SCORE 133965.555
AT ITER 1668 NEW BEST:: SOT 279571 SOS 145527 HAS SOPS 145527 HAS SOUS 133806 HAS SOUPS 133806 WITH SCORE 133951.527
AT ITER 1671 NEW BEST:: SOT 279651 SOS 145462 HAS SOPS 145462 HAS SOUS 133721 HAS SOUPS 133721 WITH SCORE 133866.462
AT ITER 1675 NEW BEST:: SOT 279651 SOS 145402 HAS SOPS 145402 HAS SOUS 133721 HAS SOUPS 133721 WITH SCORE 133866.402
AT ITER 1676 NEW BEST:: SOT 279581 SOS 145223 HAS SOPS 145223 HAS SOUS 133581 HAS SOUPS 133581 WITH SCORE 133726.223
AT ITER 1681 NEW BEST:: SOT 279510 SOS 144939 HAS SOPS 144939 HAS SOUS 133439 HAS SOUPS 133439 WITH SCORE 133583.939
AT ITER 1683 NEW BEST:: SOT 279478 SOS 144875 HAS SOPS 144875 HAS SOUS 133375 HAS SOUPS 133375 WITH SCORE 133519.875
AT ITER 1687 NEW BEST:: SOT 279418 SOS 144755 HAS SOPS 144755 HAS SOUS 133255 HAS SOUPS 133255 WITH SCORE 133399.755
AT ITER 1695 NEW BEST:: SOT 279418 SOS 144639 HAS SOPS 144639 HAS SOUS 133197 HAS SOUPS 133197 WITH SCORE 133341.639
AT ITER 1700 NEW BEST:: SOT 279376 SOS 144513 HAS SOPS 144513 HAS SOUS 133113 HAS SOUPS 133113 WITH SCORE 133257.513
AT ITER 1709 NEW BEST:: SOT 279340 SOS 144612 HAS SOPS 144612 HAS SOUS 133041 HAS SOUPS 133041 WITH SCORE 133185.612
AT ITER 1711 NEW BEST:: SOT 279330 SOS 144806 HAS SOPS 144806 HAS SOUS 132925 HAS SOUPS 132925 WITH SCORE 133069.806
AT ITER 1720 NEW BEST:: SOT 279469 SOS 144945 HAS SOPS 144945 HAS SOUS 132899 HAS SOUPS 132899 WITH SCORE 133043.945
AT ITER 1734 NEW BEST:: SOT 279448 SOS 144916 HAS SOPS 144916 HAS SOUS 132870 HAS SOUPS 132870 WITH SCORE 133014.916
AT ITER 1748 NEW BEST:: SOT 279340 SOS 144813 HAS SOPS 144813 HAS SOUS 132767 HAS SOUPS 132767 WITH SCORE 132911.813
AT ITER 1753 NEW BEST:: SOT 279317 SOS 144728 HAS SOPS 144728 HAS SOUS 132682 HAS SOUPS 132682 WITH SCORE 132826.728
AT ITER 1755 NEW BEST:: SOT 279305 SOS 144716 HAS SOPS 144716 HAS SOUS 132661 HAS SOUPS 132661 WITH SCORE 132805.716
AT ITER 1758 NEW BEST:: SOT 279279 SOS 144690 HAS SOPS 144690 HAS SOUS 132635 HAS SOUPS 132635 WITH SCORE 132779.69
AT ITER 1767 NEW BEST:: SOT 279237 SOS 144582 HAS SOPS 144582 HAS SOUS 132551 HAS SOUPS 132551 WITH SCORE 132695.582
AT ITER 1779 NEW BEST:: SOT 279235 SOS 144580 HAS SOPS 144580 HAS SOUS 132549 HAS SOUPS 132549 WITH SCORE 132693.58
AT ITER 1793 NEW BEST:: SOT 278768 SOS 143760 HAS SOPS 143760 HAS SOUS 132082 HAS SOUPS 132082 WITH SCORE 132225.76
AT ITER 1795 NEW BEST:: SOT 278709 SOS 143700 HAS SOPS 143700 HAS SOUS 132023 HAS SOUPS 132023 WITH SCORE 132166.7
AT ITER 1799 NEW BEST:: SOT 278541 SOS 143504 HAS SOPS 143504 HAS SOUS 131827 HAS SOUPS 131827 WITH SCORE 131970.504
AT ITER 1802 NEW BEST:: SOT 278251 SOS 143286 HAS SOPS 143286 HAS SOUS 131546 HAS SOUPS 131546 WITH SCORE 131689.286
AT ITER 1806 NEW BEST:: SOT 278251 SOS 143132 HAS SOPS 143132 HAS SOUS 131546 HAS SOUPS 131546 WITH SCORE 131689.132
AT ITER 1807 NEW BEST:: SOT 278326 SOS 142927 HAS SOPS 142927 HAS SOUS 131341 HAS SOUPS 131341 WITH SCORE 131483.927
AT ITER 1824 NEW BEST:: SOT 278222 SOS 142907 HAS SOPS 142907 HAS SOUS 131321 HAS SOUPS 131321 WITH SCORE 131463.907
AT ITER 1831 NEW BEST:: SOT 277978 SOS 142555 HAS SOPS 142555 HAS SOUS 130969 HAS SOUPS 130969 WITH SCORE 131111.555
AT ITER 1832 NEW BEST:: SOT 277976 SOS 142543 HAS SOPS 142543 HAS SOUS 130957 HAS SOUPS 130957 WITH SCORE 131099.543
AT ITER 1838 NEW BEST:: SOT 278152 SOS 142390 HAS SOPS 142390 HAS SOUS 130804 HAS SOUPS 130804 WITH SCORE 130946.39
AT ITER 1839 NEW BEST:: SOT 278085 SOS 142323 HAS SOPS 142323 HAS SOUS 130737 HAS SOUPS 130737 WITH SCORE 130879.323
AT ITER 1845 NEW BEST:: SOT 278113 SOS 142322 HAS SOPS 142322 HAS SOUS 130736 HAS SOUPS 130736 WITH SCORE 130878.322
AT ITER 1864 NEW BEST:: SOT 278087 SOS 142296 HAS SOPS 142296 HAS SOUS 130710 HAS SOUPS 130710 WITH SCORE 130852.296
AT ITER 1866 NEW BEST:: SOT 278109 SOS 142100 HAS SOPS 142100 HAS SOUS 130696 HAS SOUPS 130696 WITH SCORE 130838.1
AT ITER 1871 NEW BEST:: SOT 278107 SOS 141517 HAS SOPS 141517 HAS SOUS 130594 HAS SOUPS 130594 WITH SCORE 130735.517
AT ITER 1875 NEW BEST:: SOT 278104 SOS 141514 HAS SOPS 141514 HAS SOUS 130591 HAS SOUPS 130591 WITH SCORE 130732.514
AT ITER 1885 NEW BEST:: SOT 278166 SOS 141493 HAS SOPS 141493 HAS SOUS 130570 HAS SOUPS 130570 WITH SCORE 130711.493
AT ITER 1894 NEW BEST:: SOT 278166 SOS 141485 HAS SOPS 141485 HAS SOUS 130569 HAS SOUPS 130569 WITH SCORE 130710.485
AT ITER 1903 NEW BEST:: SOT 278085 SOS 141294 HAS SOPS 141294 HAS SOUS 130370 HAS SOUPS 130370 WITH SCORE 130511.294
AT ITER 1906 NEW BEST:: SOT 278140 SOS 140972 HAS SOPS 140972 HAS SOUS 130135 HAS SOUPS 130135 WITH SCORE 130275.972
AT ITER 1912 NEW BEST:: SOT 278060 SOS 140892 HAS SOPS 140892 HAS SOUS 130055 HAS SOUPS 130055 WITH SCORE 130195.892
AT ITER 1914 NEW BEST:: SOT 278060 SOS 140846 HAS SOPS 140846 HAS SOUS 130032 HAS SOUPS 130032 WITH SCORE 130172.846
AT ITER 1920 NEW BEST:: SOT 278058 SOS 140865 HAS SOPS 140865 HAS SOUS 130015 HAS SOUPS 130015 WITH SCORE 130155.865
AT ITER 1921 NEW BEST:: SOT 278065 SOS 140863 HAS SOPS 140863 HAS SOUS 130013 HAS SOUPS 130013 WITH SCORE 130153.863
AT ITER 1924 NEW BEST:: SOT 278061 SOS 140855 HAS SOPS 140855 HAS SOUS 130009 HAS SOUPS 130009 WITH SCORE 130149.855
AT ITER 1931 NEW BEST:: SOT 278061 SOS 140829 HAS SOPS 140829 HAS SOUS 130009 HAS SOUPS 130009 WITH SCORE 130149.829
AT ITER 1933 NEW BEST:: SOT 278017 SOS 140785 HAS SOPS 140785 HAS SOUS 129965 HAS SOUPS 129965 WITH SCORE 130105.785
AT ITER 1939 NEW BEST:: SOT 277937 SOS 140591 HAS SOPS 140591 HAS SOUS 129900 HAS SOUPS 129900 WITH SCORE 130040.591
AT ITER 1944 NEW BEST:: SOT 278053 SOS 140549 HAS SOPS 140549 HAS SOUS 129858 HAS SOUPS 129858 WITH SCORE 129998.549
AT ITER 1955 NEW BEST:: SOT 278053 SOS 140472 HAS SOPS 140472 HAS SOUS 129781 HAS SOUPS 129781 WITH SCORE 129921.472
AT ITER 1957 NEW BEST:: SOT 277590 SOS 140106 HAS SOPS 140106 HAS SOUS 129415 HAS SOUPS 129415 WITH SCORE 129555.106
AT ITER 1958 NEW BEST:: SOT 277521 SOS 140020 HAS SOPS 140020 HAS SOUS 129329 HAS SOUPS 129329 WITH SCORE 129469.02
AT ITER 1962 NEW BEST:: SOT 277575 SOS 139999 HAS SOPS 139999 HAS SOUS 129308 HAS SOUPS 129308 WITH SCORE 129447.999
AT ITER 1965 NEW BEST:: SOT 277461 SOS 139982 HAS SOPS 139982 HAS SOUS 129291 HAS SOUPS 129291 WITH SCORE 129430.982
AT ITER 1979 NEW BEST:: SOT 277455 SOS 139934 HAS SOPS 139934 HAS SOUS 129252 HAS SOUPS 129252 WITH SCORE 129391.934
AT ITER 1982 NEW BEST:: SOT 277433 SOS 139912 HAS SOPS 139912 HAS SOUS 129230 HAS SOUPS 129230 WITH SCORE 129369.912
AT ITER 1990 NEW BEST:: SOT 277433 SOS 139912 HAS SOPS 139912 HAS SOUS 129194 HAS SOUPS 129194 WITH SCORE 129333.912
AT ITER 1994 NEW BEST:: SOT 277421 SOS 139886 HAS SOPS 139886 HAS SOUS 129170 HAS SOUPS 129170 WITH SCORE 129309.886
AT ITER 1995 NEW BEST:: SOT 277402 SOS 139849 HAS SOPS 139849 HAS SOUS 129133 HAS SOUPS 129133 WITH SCORE 129272.849
AT ITER 1996 NEW BEST:: SOT 277259 SOS 139579 HAS SOPS 139579 HAS SOUS 128824 HAS SOUPS 128824 WITH SCORE 128963.579
AT ITER 2002 NEW BEST:: SOT 277262 SOS 139582 HAS SOPS 139582 HAS SOUS 128806 HAS SOUPS 128806 WITH SCORE 128945.582
AT ITER 2003 NEW BEST:: SOT 277262 SOS 139430 HAS SOPS 139430 HAS SOUS 128730 HAS SOUPS 128730 WITH SCORE 128869.43
AT ITER 2006 NEW BEST:: SOT 277043 SOS 139053 HAS SOPS 139053 HAS SOUS 128353 HAS SOUPS 128353 WITH SCORE 128492.053
AT ITER 2008 NEW BEST:: SOT 276959 SOS 138969 HAS SOPS 138969 HAS SOUS 128269 HAS SOUPS 128269 WITH SCORE 128407.969
AT ITER 2009 NEW BEST:: SOT 276959 SOS 138787 HAS SOPS 138787 HAS SOUS 128269 HAS SOUPS 128269 WITH SCORE 128407.787
AT ITER 2016 NEW BEST:: SOT 276909 SOS 138737 HAS SOPS 138737 HAS SOUS 128219 HAS SOUPS 128219 WITH SCORE 128357.737
AT ITER 2017 NEW BEST:: SOT 276898 SOS 138679 HAS SOPS 138679 HAS SOUS 128161 HAS SOUPS 128161 WITH SCORE 128299.679
AT ITER 2026 NEW BEST:: SOT 276898 SOS 138637 HAS SOPS 138637 HAS SOUS 128140 HAS SOUPS 128140 WITH SCORE 128278.637
AT ITER 2027 NEW BEST:: SOT 276842 SOS 138637 HAS SOPS 138637 HAS SOUS 127984 HAS SOUPS 127984 WITH SCORE 128122.637
AT ITER 2029 NEW BEST:: SOT 276842 SOS 138627 HAS SOPS 138627 HAS SOUS 127831 HAS SOUPS 127831 WITH SCORE 127969.627
AT ITER 2030 NEW BEST:: SOT 276842 SOS 138588 HAS SOPS 138588 HAS SOUS 127792 HAS SOUPS 127792 WITH SCORE 127930.588
AT ITER 2037 NEW BEST:: SOT 276730 SOS 138477 HAS SOPS 138477 HAS SOUS 127610 HAS SOUPS 127610 WITH SCORE 127748.477
AT ITER 2040 NEW BEST:: SOT 276478 SOS 137943 HAS SOPS 137943 HAS SOUS 127202 HAS SOUPS 127202 WITH SCORE 127339.943
AT ITER 2043 NEW BEST:: SOT 276416 SOS 138118 HAS SOPS 138118 HAS SOUS 127146 HAS SOUPS 127146 WITH SCORE 127284.118
AT ITER 2044 NEW BEST:: SOT 276286 SOS 137914 HAS SOPS 137914 HAS SOUS 126942 HAS SOUPS 126942 WITH SCORE 127079.914
AT ITER 2046 NEW BEST:: SOT 276168 SOS 137488 HAS SOPS 137488 HAS SOUS 126670 HAS SOUPS 126670 WITH SCORE 126807.488
AT ITER 2052 NEW BEST:: SOT 275903 SOS 137178 HAS SOPS 137178 HAS SOUS 126360 HAS SOUPS 126360 WITH SCORE 126497.178
AT ITER 2053 NEW BEST:: SOT 275899 SOS 137170 HAS SOPS 137170 HAS SOUS 126356 HAS SOUPS 126356 WITH SCORE 126493.17
AT ITER 2082 NEW BEST:: SOT 275886 SOS 137161 HAS SOPS 137161 HAS SOUS 126347 HAS SOUPS 126347 WITH SCORE 126484.161
AT ITER 2083 NEW BEST:: SOT 275817 SOS 136951 HAS SOPS 136951 HAS SOUS 126288 HAS SOUPS 126288 WITH SCORE 126424.951
AT ITER 2090 NEW BEST:: SOT 275741 SOS 136874 HAS SOPS 136874 HAS SOUS 126238 HAS SOUPS 126238 WITH SCORE 126374.874
AT ITER 2112 NEW BEST:: SOT 275633 SOS 136754 HAS SOPS 136754 HAS SOUS 126118 HAS SOUPS 126118 WITH SCORE 126254.754
AT ITER 2118 NEW BEST:: SOT 275578 SOS 136655 HAS SOPS 136655 HAS SOUS 126078 HAS SOUPS 126078 WITH SCORE 126214.655
AT ITER 2120 NEW BEST:: SOT 275594 SOS 136671 HAS SOPS 136671 HAS SOUS 126037 HAS SOUPS 126037 WITH SCORE 126173.671
AT ITER 2142 NEW BEST:: SOT 275584 SOS 136651 HAS SOPS 136651 HAS SOUS 126017 HAS SOUPS 126017 WITH SCORE 126153.651
AT ITER 2160 NEW BEST:: SOT 275584 SOS 136576 HAS SOPS 136576 HAS SOUS 125942 HAS SOUPS 125942 WITH SCORE 126078.576
AT ITER 2165 NEW BEST:: SOT 275417 SOS 136323 HAS SOPS 136323 HAS SOUS 125693 HAS SOUPS 125693 WITH SCORE 125829.323
AT ITER 2167 NEW BEST:: SOT 275371 SOS 136037 HAS SOPS 136037 HAS SOUS 125662 HAS SOUPS 125662 WITH SCORE 125798.037
AT ITER 2175 NEW BEST:: SOT 275408 SOS 135778 HAS SOPS 135778 HAS SOUS 125403 HAS SOUPS 125403 WITH SCORE 125538.778
AT ITER 2176 NEW BEST:: SOT 275371 SOS 135772 HAS SOPS 135772 HAS SOUS 125397 HAS SOUPS 125397 WITH SCORE 125532.772
AT ITER 2190 NEW BEST:: SOT 275271 SOS 135700 HAS SOPS 135700 HAS SOUS 125325 HAS SOUPS 125325 WITH SCORE 125460.7
AT ITER 2196 NEW BEST:: SOT 275244 SOS 135673 HAS SOPS 135673 HAS SOUS 125298 HAS SOUPS 125298 WITH SCORE 125433.673
AT ITER 2198 NEW BEST:: SOT 275152 SOS 135489 HAS SOPS 135489 HAS SOUS 125228 HAS SOUPS 125228 WITH SCORE 125363.489
AT ITER 2207 NEW BEST:: SOT 274982 SOS 134660 HAS SOPS 134660 HAS SOUS 124628 HAS SOUPS 124628 WITH SCORE 124762.66
AT ITER 2213 NEW BEST:: SOT 274921 SOS 134599 HAS SOPS 134599 HAS SOUS 124538 HAS SOUPS 124538 WITH SCORE 124672.599
AT ITER 2220 NEW BEST:: SOT 274742 SOS 134181 HAS SOPS 134181 HAS SOUS 124120 HAS SOUPS 124120 WITH SCORE 124254.181
AT ITER 2221 NEW BEST:: SOT 274594 SOS 133912 HAS SOPS 133912 HAS SOUS 123829 HAS SOUPS 123829 WITH SCORE 123962.912
AT ITER 2223 NEW BEST:: SOT 274448 SOS 133739 HAS SOPS 133739 HAS SOUS 123666 HAS SOUPS 123666 WITH SCORE 123799.739
AT ITER 2224 NEW BEST:: SOT 274433 SOS 133664 HAS SOPS 133664 HAS SOUS 123591 HAS SOUPS 123591 WITH SCORE 123724.664
AT ITER 2228 NEW BEST:: SOT 274420 SOS 133638 HAS SOPS 133638 HAS SOUS 123565 HAS SOUPS 123565 WITH SCORE 123698.638
AT ITER 2233 NEW BEST:: SOT 274127 SOS 133302 HAS SOPS 133302 HAS SOUS 123534 HAS SOUPS 123534 WITH SCORE 123667.302
AT ITER 2239 NEW BEST:: SOT 274125 SOS 133300 HAS SOPS 133300 HAS SOUS 123532 HAS SOUPS 123532 WITH SCORE 123665.3
AT ITER 2243 NEW BEST:: SOT 274125 SOS 133299 HAS SOPS 133299 HAS SOUS 123531 HAS SOUPS 123531 WITH SCORE 123664.299
AT ITER 2244 NEW BEST:: SOT 274002 SOS 133102 HAS SOPS 133102 HAS SOUS 123521 HAS SOUPS 123521 WITH SCORE 123654.102
AT ITER 2247 NEW BEST:: SOT 274019 SOS 133031 HAS SOPS 133031 HAS SOUS 123432 HAS SOUPS 123432 WITH SCORE 123565.031
AT ITER 2267 NEW BEST:: SOT 274049 SOS 132849 HAS SOPS 132849 HAS SOUS 123317 HAS SOUPS 123317 WITH SCORE 123449.849
AT ITER 2273 NEW BEST:: SOT 274049 SOS 132657 HAS SOPS 132657 HAS SOUS 123125 HAS SOUPS 123125 WITH SCORE 123257.657
AT ITER 2275 NEW BEST:: SOT 273805 SOS 132794 HAS SOPS 132794 HAS SOUS 122925 HAS SOUPS 122925 WITH SCORE 123057.794
AT ITER 2279 NEW BEST:: SOT 273514 SOS 132213 HAS SOPS 132213 HAS SOUS 122344 HAS SOUPS 122344 WITH SCORE 122476.213
AT ITER 2280 NEW BEST:: SOT 273507 SOS 132167 HAS SOPS 132167 HAS SOUS 122341 HAS SOUPS 122341 WITH SCORE 122473.167
AT ITER 2288 NEW BEST:: SOT 273523 SOS 132127 HAS SOPS 132127 HAS SOUS 122303 HAS SOUPS 122303 WITH SCORE 122435.127
AT ITER 2295 NEW BEST:: SOT 273523 SOS 132101 HAS SOPS 132101 HAS SOUS 122303 HAS SOUPS 122303 WITH SCORE 122435.101
AT ITER 2301 NEW BEST:: SOT 273486 SOS 131872 HAS SOPS 131872 HAS SOUS 122074 HAS SOUPS 122074 WITH SCORE 122205.872
AT ITER 2302 NEW BEST:: SOT 273424 SOS 131876 HAS SOPS 131876 HAS SOUS 122012 HAS SOUPS 122012 WITH SCORE 122143.876
AT ITER 2303 NEW BEST:: SOT 273422 SOS 131864 HAS SOPS 131864 HAS SOUS 121948 HAS SOUPS 121948 WITH SCORE 122079.864
AT ITER 2306 NEW BEST:: SOT 273415 SOS 131857 HAS SOPS 131857 HAS SOUS 121912 HAS SOUPS 121912 WITH SCORE 122043.857
AT ITER 2315 NEW BEST:: SOT 273536 SOS 131783 HAS SOPS 131783 HAS SOUS 121782 HAS SOUPS 121782 WITH SCORE 121913.783
AT ITER 2318 NEW BEST:: SOT 273551 SOS 131802 HAS SOPS 131802 HAS SOUS 121746 HAS SOUPS 121746 WITH SCORE 121877.802
AT ITER 2320 NEW BEST:: SOT 273488 SOS 131739 HAS SOPS 131739 HAS SOUS 121683 HAS SOUPS 121683 WITH SCORE 121814.739
AT ITER 2333 NEW BEST:: SOT 273402 SOS 131567 HAS SOPS 131567 HAS SOUS 121511 HAS SOUPS 121511 WITH SCORE 121642.567
AT ITER 2341 NEW BEST:: SOT 273366 SOS 131397 HAS SOPS 131397 HAS SOUS 121439 HAS SOUPS 121439 WITH SCORE 121570.397
AT ITER 2346 NEW BEST:: SOT 273209 SOS 130907 HAS SOPS 130907 HAS SOUS 120949 HAS SOUPS 120949 WITH SCORE 121079.907
AT ITER 2348 NEW BEST:: SOT 273057 SOS 130877 HAS SOPS 130877 HAS SOUS 120892 HAS SOUPS 120892 WITH SCORE 121022.877
AT ITER 2350 NEW BEST:: SOT 273035 SOS 130855 HAS SOPS 130855 HAS SOUS 120870 HAS SOUPS 120870 WITH SCORE 121000.855
AT ITER 2355 NEW BEST:: SOT 272994 SOS 130732 HAS SOPS 130732 HAS SOUS 120788 HAS SOUPS 120788 WITH SCORE 120918.732
AT ITER 2368 NEW BEST:: SOT 272815 SOS 130490 HAS SOPS 130490 HAS SOUS 120480 HAS SOUPS 120480 WITH SCORE 120610.49
AT ITER 2384 NEW BEST:: SOT 272786 SOS 130461 HAS SOPS 130461 HAS SOUS 120451 HAS SOUPS 120451 WITH SCORE 120581.461
AT ITER 2387 NEW BEST:: SOT 272778 SOS 130429 HAS SOPS 130429 HAS SOUS 120404 HAS SOUPS 120404 WITH SCORE 120534.429
AT ITER 2405 NEW BEST:: SOT 272778 SOS 130412 HAS SOPS 130412 HAS SOUS 120387 HAS SOUPS 120387 WITH SCORE 120517.412
AT ITER 2417 NEW BEST:: SOT 272707 SOS 130137 HAS SOPS 130137 HAS SOUS 120304 HAS SOUPS 120304 WITH SCORE 120434.137
AT ITER 2418 NEW BEST:: SOT 272679 SOS 130109 HAS SOPS 130109 HAS SOUS 120251 HAS SOUPS 120251 WITH SCORE 120381.109
AT ITER 2427 NEW BEST:: SOT 272679 SOS 130109 HAS SOPS 130109 HAS SOUS 120239 HAS SOUPS 120239 WITH SCORE 120369.109
AT ITER 2437 NEW BEST:: SOT 272659 SOS 130037 HAS SOPS 130037 HAS SOUS 120177 HAS SOUPS 120177 WITH SCORE 120307.037
AT ITER 2448 NEW BEST:: SOT 272659 SOS 129964 HAS SOPS 129964 HAS SOUS 120128 HAS SOUPS 120128 WITH SCORE 120257.964
AT ITER 2460 NEW BEST:: SOT 272659 SOS 129962 HAS SOPS 129962 HAS SOUS 120126 HAS SOUPS 120126 WITH SCORE 120255.962
AT ITER 2467 NEW BEST:: SOT 272659 SOS 129956 HAS SOPS 129956 HAS SOUS 120123 HAS SOUPS 120123 WITH SCORE 120252.956
AT ITER 2470 NEW BEST:: SOT 272514 SOS 129732 HAS SOPS 129732 HAS SOUS 119917 HAS SOUPS 119917 WITH SCORE 120046.732
AT ITER 2478 NEW BEST:: SOT 272503 SOS 129721 HAS SOPS 129721 HAS SOUS 119906 HAS SOUPS 119906 WITH SCORE 120035.721
AT ITER 2479 NEW BEST:: SOT 272619 SOS 129657 HAS SOPS 129657 HAS SOUS 119673 HAS SOUPS 119673 WITH SCORE 119802.657
AT ITER 2480 NEW BEST:: SOT 272619 SOS 129604 HAS SOPS 129604 HAS SOUS 119567 HAS SOUPS 119567 WITH SCORE 119696.604
AT ITER 2490 NEW BEST:: SOT 272615 SOS 129596 HAS SOPS 129596 HAS SOUS 119559 HAS SOUPS 119559 WITH SCORE 119688.596
AT ITER 2498 NEW BEST:: SOT 272593 SOS 129533 HAS SOPS 129533 HAS SOUS 119496 HAS SOUPS 119496 WITH SCORE 119625.533
AT ITER 2501 NEW BEST:: SOT 272695 SOS 129287 HAS SOPS 129287 HAS SOUS 119491 HAS SOUPS 119491 WITH SCORE 119620.287
AT ITER 2507 NEW BEST:: SOT 272606 SOS 129304 HAS SOPS 129304 HAS SOUS 119476 HAS SOUPS 119476 WITH SCORE 119605.304
AT ITER 2508 NEW BEST:: SOT 272594 SOS 129286 HAS SOPS 129286 HAS SOUS 119430 HAS SOUPS 119430 WITH SCORE 119559.286
AT ITER 2515 NEW BEST:: SOT 272594 SOS 129217 HAS SOPS 129217 HAS SOUS 119361 HAS SOUPS 119361 WITH SCORE 119490.217
AT ITER 2522 NEW BEST:: SOT 272527 SOS 129083 HAS SOPS 129083 HAS SOUS 119226 HAS SOUPS 119226 WITH SCORE 119355.083
AT ITER 2523 NEW BEST:: SOT 272475 SOS 128972 HAS SOPS 128972 HAS SOUS 119115 HAS SOUPS 119115 WITH SCORE 119243.972
AT ITER 2535 NEW BEST:: SOT 272463 SOS 128936 HAS SOPS 128936 HAS SOUS 119079 HAS SOUPS 119079 WITH SCORE 119207.936
AT ITER 2547 NEW BEST:: SOT 272383 SOS 128906 HAS SOPS 128906 HAS SOUS 119011 HAS SOUPS 119011 WITH SCORE 119139.906
AT ITER 2551 NEW BEST:: SOT 272383 SOS 128805 HAS SOPS 128805 HAS SOUS 118910 HAS SOUPS 118910 WITH SCORE 119038.805
AT ITER 2552 NEW BEST:: SOT 272287 SOS 128661 HAS SOPS 128661 HAS SOUS 118766 HAS SOUPS 118766 WITH SCORE 118894.661
AT ITER 2553 NEW BEST:: SOT 272207 SOS 128581 HAS SOPS 128581 HAS SOUS 118726 HAS SOUPS 118726 WITH SCORE 118854.581
AT ITER 2554 NEW BEST:: SOT 272207 SOS 128585 HAS SOPS 128585 HAS SOUS 118646 HAS SOUPS 118646 WITH SCORE 118774.585
AT ITER 2562 NEW BEST:: SOT 272107 SOS 128523 HAS SOPS 128523 HAS SOUS 118584 HAS SOUPS 118584 WITH SCORE 118712.523
AT ITER 2563 NEW BEST:: SOT 271939 SOS 128282 HAS SOPS 128282 HAS SOUS 118298 HAS SOUPS 118298 WITH SCORE 118426.282
AT ITER 2564 NEW BEST:: SOT 271889 SOS 128313 HAS SOPS 128313 HAS SOUS 118201 HAS SOUPS 118201 WITH SCORE 118329.313
AT ITER 2593 NEW BEST:: SOT 271707 SOS 128029 HAS SOPS 128029 HAS SOUS 117917 HAS SOUPS 117917 WITH SCORE 118045.029
AT ITER 2598 NEW BEST:: SOT 271674 SOS 127881 HAS SOPS 127881 HAS SOUS 117827 HAS SOUPS 117827 WITH SCORE 117954.881
AT ITER 2604 NEW BEST:: SOT 271674 SOS 127878 HAS SOPS 127878 HAS SOUS 117824 HAS SOUPS 117824 WITH SCORE 117951.878
AT ITER 2613 NEW BEST:: SOT 271474 SOS 127381 HAS SOPS 127381 HAS SOUS 117344 HAS SOUPS 117344 WITH SCORE 117471.381
AT ITER 2617 NEW BEST:: SOT 271513 SOS 127319 HAS SOPS 127319 HAS SOUS 117108 HAS SOUPS 117108 WITH SCORE 117235.319
AT ITER 2622 NEW BEST:: SOT 271474 SOS 127278 HAS SOPS 127278 HAS SOUS 117030 HAS SOUPS 117030 WITH SCORE 117157.278
AT ITER 2626 NEW BEST:: SOT 271396 SOS 127054 HAS SOPS 127054 HAS SOUS 116884 HAS SOUPS 116884 WITH SCORE 117011.054
AT ITER 2627 NEW BEST:: SOT 271396 SOS 127034 HAS SOPS 127034 HAS SOUS 116864 HAS SOUPS 116864 WITH SCORE 116991.034
AT ITER 2630 NEW BEST:: SOT 271204 SOS 126834 HAS SOPS 126834 HAS SOUS 116687 HAS SOUPS 116687 WITH SCORE 116813.834
AT ITER 2646 NEW BEST:: SOT 271010 SOS 126790 HAS SOPS 126790 HAS SOUS 116685 HAS SOUPS 116685 WITH SCORE 116811.79
AT ITER 2648 NEW BEST:: SOT 271010 SOS 126751 HAS SOPS 126751 HAS SOUS 116685 HAS SOUPS 116685 WITH SCORE 116811.751
AT ITER 2650 NEW BEST:: SOT 270990 SOS 126652 HAS SOPS 126652 HAS SOUS 116645 HAS SOUPS 116645 WITH SCORE 116771.652
AT ITER 2659 NEW BEST:: SOT 271069 SOS 126648 HAS SOPS 126648 HAS SOUS 116641 HAS SOUPS 116641 WITH SCORE 116767.648
AT ITER 2667 NEW BEST:: SOT 271013 SOS 126571 HAS SOPS 126571 HAS SOUS 116534 HAS SOUPS 116534 WITH SCORE 116660.571
AT ITER 2670 NEW BEST:: SOT 270893 SOS 126381 HAS SOPS 126381 HAS SOUS 116444 HAS SOUPS 116444 WITH SCORE 116570.381
AT ITER 2678 NEW BEST:: SOT 270750 SOS 125497 HAS SOPS 125497 HAS SOUS 115994 HAS SOUPS 115994 WITH SCORE 116119.497
AT ITER 2682 NEW BEST:: SOT 270728 SOS 125368 HAS SOPS 125368 HAS SOUS 115857 HAS SOUPS 115857 WITH SCORE 115982.368
AT ITER 2683 NEW BEST:: SOT 270726 SOS 125366 HAS SOPS 125366 HAS SOUS 115855 HAS SOUPS 115855 WITH SCORE 115980.366
AT ITER 2702 NEW BEST:: SOT 270791 SOS 125302 HAS SOPS 125302 HAS SOUS 115791 HAS SOUPS 115791 WITH SCORE 115916.302
AT ITER 2721 NEW BEST:: SOT 270662 SOS 125044 HAS SOPS 125044 HAS SOUS 115533 HAS SOUPS 115533 WITH SCORE 115658.044
AT ITER 2732 NEW BEST:: SOT 270481 SOS 124863 HAS SOPS 124863 HAS SOUS 115358 HAS SOUPS 115358 WITH SCORE 115482.863
AT ITER 2734 NEW BEST:: SOT 270464 SOS 124881 HAS SOPS 124881 HAS SOUS 115339 HAS SOUPS 115339 WITH SCORE 115463.881
AT ITER 2735 NEW BEST:: SOT 270464 SOS 124616 HAS SOPS 124616 HAS SOUS 115203 HAS SOUPS 115203 WITH SCORE 115327.616
AT ITER 2736 NEW BEST:: SOT 270533 SOS 124602 HAS SOPS 124602 HAS SOUS 115131 HAS SOUPS 115131 WITH SCORE 115255.602
AT ITER 2744 NEW BEST:: SOT 270523 SOS 124334 HAS SOPS 124334 HAS SOUS 114863 HAS SOUPS 114863 WITH SCORE 114987.334
AT ITER 2757 NEW BEST:: SOT 270526 SOS 124319 HAS SOPS 124319 HAS SOUS 114860 HAS SOUPS 114860 WITH SCORE 114984.319
AT ITER 2769 NEW BEST:: SOT 270321 SOS 124038 HAS SOPS 124038 HAS SOUS 114453 HAS SOUPS 114453 WITH SCORE 114577.038
AT ITER 2783 NEW BEST:: SOT 270375 SOS 123997 HAS SOPS 123997 HAS SOUS 114446 HAS SOUPS 114446 WITH SCORE 114569.997
AT ITER 2784 NEW BEST:: SOT 270331 SOS 123777 HAS SOPS 123777 HAS SOUS 114314 HAS SOUPS 114314 WITH SCORE 114437.777
AT ITER 2788 NEW BEST:: SOT 270121 SOS 123881 HAS SOPS 123881 HAS SOUS 114092 HAS SOUPS 114092 WITH SCORE 114215.881
AT ITER 2794 NEW BEST:: SOT 270074 SOS 123834 HAS SOPS 123834 HAS SOUS 114024 HAS SOUPS 114024 WITH SCORE 114147.834
AT ITER 2803 NEW BEST:: SOT 270055 SOS 123696 HAS SOPS 123696 HAS SOUS 113906 HAS SOUPS 113906 WITH SCORE 114029.696
AT ITER 2806 NEW BEST:: SOT 270055 SOS 123684 HAS SOPS 123684 HAS SOUS 113906 HAS SOUPS 113906 WITH SCORE 114029.684
AT ITER 2809 NEW BEST:: SOT 270055 SOS 123654 HAS SOPS 123654 HAS SOUS 113876 HAS SOUPS 113876 WITH SCORE 113999.654
AT ITER 2815 NEW BEST:: SOT 270041 SOS 123626 HAS SOPS 123626 HAS SOUS 113848 HAS SOUPS 113848 WITH SCORE 113971.626
AT ITER 2833 NEW BEST:: SOT 270012 SOS 123569 HAS SOPS 123569 HAS SOUS 113791 HAS SOUPS 113791 WITH SCORE 113914.569
AT ITER 2839 NEW BEST:: SOT 269984 SOS 123559 HAS SOPS 123559 HAS SOUS 113781 HAS SOUPS 113781 WITH SCORE 113904.559
AT ITER 2843 NEW BEST:: SOT 269977 SOS 123531 HAS SOPS 123531 HAS SOUS 113736 HAS SOUPS 113736 WITH SCORE 113859.531
AT ITER 2854 NEW BEST:: SOT 269977 SOS 123459 HAS SOPS 123459 HAS SOUS 113604 HAS SOUPS 113604 WITH SCORE 113727.459
AT ITER 2865 NEW BEST:: SOT 269915 SOS 123397 HAS SOPS 123397 HAS SOUS 113542 HAS SOUPS 113542 WITH SCORE 113665.397
AT ITER 2871 NEW BEST:: SOT 269874 SOS 123365 HAS SOPS 123365 HAS SOUS 113531 HAS SOUPS 113531 WITH SCORE 113654.365
AT ITER 2875 NEW BEST:: SOT 269762 SOS 123184 HAS SOPS 123184 HAS SOUS 113350 HAS SOUPS 113350 WITH SCORE 113473.184
AT ITER 2877 NEW BEST:: SOT 269510 SOS 122932 HAS SOPS 122932 HAS SOUS 112994 HAS SOUPS 112994 WITH SCORE 113116.932
AT ITER 2879 NEW BEST:: SOT 269519 SOS 122944 HAS SOPS 122944 HAS SOUS 112972 HAS SOUPS 112972 WITH SCORE 113094.944
AT ITER 2880 NEW BEST:: SOT 269530 SOS 122838 HAS SOPS 122838 HAS SOUS 112941 HAS SOUPS 112941 WITH SCORE 113063.838
AT ITER 2889 NEW BEST:: SOT 269400 SOS 122708 HAS SOPS 122708 HAS SOUS 112811 HAS SOUPS 112811 WITH SCORE 112933.708
AT ITER 2893 NEW BEST:: SOT 269266 SOS 122574 HAS SOPS 122574 HAS SOUS 112677 HAS SOUPS 112677 WITH SCORE 112799.574
AT ITER 2911 NEW BEST:: SOT 269266 SOS 122561 HAS SOPS 122561 HAS SOUS 112675 HAS SOUPS 112675 WITH SCORE 112797.561
AT ITER 2920 NEW BEST:: SOT 269267 SOS 122638 HAS SOPS 122638 HAS SOUS 112579 HAS SOUPS 112579 WITH SCORE 112701.638
AT ITER 2922 NEW BEST:: SOT 269087 SOS 122458 HAS SOPS 122458 HAS SOUS 112313 HAS SOUPS 112313 WITH SCORE 112435.458
AT ITER 2933 NEW BEST:: SOT 269008 SOS 122379 HAS SOPS 122379 HAS SOUS 112234 HAS SOUPS 112234 WITH SCORE 112356.379
AT ITER 2938 NEW BEST:: SOT 269008 SOS 122281 HAS SOPS 122281 HAS SOUS 112202 HAS SOUPS 112202 WITH SCORE 112324.281
AT ITER 2940 NEW BEST:: SOT 269073 SOS 122242 HAS SOPS 122242 HAS SOUS 112163 HAS SOUPS 112163 WITH SCORE 112285.242
AT ITER 2955 NEW BEST:: SOT 268792 SOS 121804 HAS SOPS 121804 HAS SOUS 111725 HAS SOUPS 111725 WITH SCORE 111846.804
AT ITER 2958 NEW BEST:: SOT 268741 SOS 121644 HAS SOPS 121644 HAS SOUS 111565 HAS SOUPS 111565 WITH SCORE 111686.644
AT ITER 2963 NEW BEST:: SOT 268741 SOS 121552 HAS SOPS 121552 HAS SOUS 111547 HAS SOUPS 111547 WITH SCORE 111668.552
AT ITER 2966 NEW BEST:: SOT 268606 SOS 121417 HAS SOPS 121417 HAS SOUS 111412 HAS SOUPS 111412 WITH SCORE 111533.417
AT ITER 2985 NEW BEST:: SOT 268600 SOS 121409 HAS SOPS 121409 HAS SOUS 111404 HAS SOUPS 111404 WITH SCORE 111525.409
AT ITER 2989 NEW BEST:: SOT 268437 SOS 121322 HAS SOPS 121322 HAS SOUS 111237 HAS SOUPS 111237 WITH SCORE 111358.322
AT ITER 2994 NEW BEST:: SOT 268371 SOS 120996 HAS SOPS 120996 HAS SOUS 111213 HAS SOUPS 111213 WITH SCORE 111333.996
AT ITER 3008 NEW BEST:: SOT 268371 SOS 120913 HAS SOPS 120913 HAS SOUS 111067 HAS SOUPS 111067 WITH SCORE 111187.913
AT ITER 3016 NEW BEST:: SOT 268346 SOS 120888 HAS SOPS 120888 HAS SOUS 111042 HAS SOUPS 111042 WITH SCORE 111162.888
AT ITER 3023 NEW BEST:: SOT 268346 SOS 120875 HAS SOPS 120875 HAS SOUS 111029 HAS SOUPS 111029 WITH SCORE 111149.875
AT ITER 3027 NEW BEST:: SOT 268346 SOS 120824 HAS SOPS 120824 HAS SOUS 110978 HAS SOUPS 110978 WITH SCORE 111098.824
AT ITER 3045 NEW BEST:: SOT 268346 SOS 120793 HAS SOPS 120793 HAS SOUS 110947 HAS SOUPS 110947 WITH SCORE 111067.793
AT ITER 3052 NEW BEST:: SOT 268318 SOS 120759 HAS SOPS 120759 HAS SOUS 110866 HAS SOUPS 110866 WITH SCORE 110986.759
AT ITER 3054 NEW BEST:: SOT 268202 SOS 120595 HAS SOPS 120595 HAS SOUS 110750 HAS SOUPS 110750 WITH SCORE 110870.595
AT ITER 3055 NEW BEST:: SOT 268202 SOS 120577 HAS SOPS 120577 HAS SOUS 110750 HAS SOUPS 110750 WITH SCORE 110870.577
AT ITER 3056 NEW BEST:: SOT 268307 SOS 120620 HAS SOPS 120620 HAS SOUS 110748 HAS SOUPS 110748 WITH SCORE 110868.62
AT ITER 3058 NEW BEST:: SOT 268294 SOS 120169 HAS SOPS 120169 HAS SOUS 110510 HAS SOUPS 110510 WITH SCORE 110630.169
AT ITER 3059 NEW BEST:: SOT 268301 SOS 120009 HAS SOPS 120009 HAS SOUS 110506 HAS SOUPS 110506 WITH SCORE 110626.009
AT ITER 3074 NEW BEST:: SOT 268301 SOS 119980 HAS SOPS 119980 HAS SOUS 110477 HAS SOUPS 110477 WITH SCORE 110596.98
AT ITER 3098 NEW BEST:: SOT 268496 SOS 119979 HAS SOPS 119979 HAS SOUS 110476 HAS SOUPS 110476 WITH SCORE 110595.979
AT ITER 3123 NEW BEST:: SOT 268478 SOS 119961 HAS SOPS 119961 HAS SOUS 110458 HAS SOUPS 110458 WITH SCORE 110577.961
AT ITER 3127 NEW BEST:: SOT 268478 SOS 119886 HAS SOPS 119886 HAS SOUS 110433 HAS SOUPS 110433 WITH SCORE 110552.886
AT ITER 3134 NEW BEST:: SOT 268418 SOS 119736 HAS SOPS 119736 HAS SOUS 110343 HAS SOUPS 110343 WITH SCORE 110462.736
AT ITER 3139 NEW BEST:: SOT 268412 SOS 119730 HAS SOPS 119730 HAS SOUS 110337 HAS SOUPS 110337 WITH SCORE 110456.73
AT ITER 3150 NEW BEST:: SOT 268412 SOS 119711 HAS SOPS 119711 HAS SOUS 110273 HAS SOUPS 110273 WITH SCORE 110392.711
AT ITER 3155 NEW BEST:: SOT 268352 SOS 119541 HAS SOPS 119541 HAS SOUS 110139 HAS SOUPS 110139 WITH SCORE 110258.541
AT ITER 3156 NEW BEST:: SOT 268335 SOS 119472 HAS SOPS 119472 HAS SOUS 110070 HAS SOUPS 110070 WITH SCORE 110189.472
AT ITER 3157 NEW BEST:: SOT 268335 SOS 119399 HAS SOPS 119399 HAS SOUS 110034 HAS SOUPS 110034 WITH SCORE 110153.399
AT ITER 3159 NEW BEST:: SOT 268236 SOS 119247 HAS SOPS 119247 HAS SOUS 109833 HAS SOUPS 109833 WITH SCORE 109952.247
AT ITER 3162 NEW BEST:: SOT 268198 SOS 119169 HAS SOPS 119169 HAS SOUS 109755 HAS SOUPS 109755 WITH SCORE 109874.169
AT ITER 3163 NEW BEST:: SOT 268151 SOS 119122 HAS SOPS 119122 HAS SOUS 109708 HAS SOUPS 109708 WITH SCORE 109827.122
AT ITER 3177 NEW BEST:: SOT 268155 SOS 119433 HAS SOPS 119433 HAS SOUS 109676 HAS SOUPS 109676 WITH SCORE 109795.433
AT ITER 3186 NEW BEST:: SOT 268126 SOS 119375 HAS SOPS 119375 HAS SOUS 109618 HAS SOUPS 109618 WITH SCORE 109737.375
AT ITER 3198 NEW BEST:: SOT 268041 SOS 119275 HAS SOPS 119275 HAS SOUS 109471 HAS SOUPS 109471 WITH SCORE 109590.275
AT ITER 3207 NEW BEST:: SOT 267922 SOS 119156 HAS SOPS 119156 HAS SOUS 109352 HAS SOUPS 109352 WITH SCORE 109471.156
AT ITER 3217 NEW BEST:: SOT 267791 SOS 119025 HAS SOPS 119025 HAS SOUS 109221 HAS SOUPS 109221 WITH SCORE 109340.025
AT ITER 3219 NEW BEST:: SOT 267690 SOS 118876 HAS SOPS 118876 HAS SOUS 109191 HAS SOUPS 109191 WITH SCORE 109309.876
AT ITER 3222 NEW BEST:: SOT 267690 SOS 118711 HAS SOPS 118711 HAS SOUS 109042 HAS SOUPS 109042 WITH SCORE 109160.711
AT ITER 3223 NEW BEST:: SOT 267672 SOS 118582 HAS SOPS 118582 HAS SOUS 109006 HAS SOUPS 109006 WITH SCORE 109124.582
AT ITER 3226 NEW BEST:: SOT 267731 SOS 118641 HAS SOPS 118641 HAS SOUS 108962 HAS SOUPS 108962 WITH SCORE 109080.641
AT ITER 3234 NEW BEST:: SOT 267732 SOS 118642 HAS SOPS 118642 HAS SOUS 108959 HAS SOUPS 108959 WITH SCORE 109077.642
AT ITER 3244 NEW BEST:: SOT 267663 SOS 118710 HAS SOPS 118710 HAS SOUS 108955 HAS SOUPS 108955 WITH SCORE 109073.71
AT ITER 3250 NEW BEST:: SOT 267632 SOS 118728 HAS SOPS 118728 HAS SOUS 108944 HAS SOUPS 108944 WITH SCORE 109062.728
AT ITER 3261 NEW BEST:: SOT 267499 SOS 118188 HAS SOPS 118188 HAS SOUS 108449 HAS SOUPS 108449 WITH SCORE 108567.188
AT ITER 3265 NEW BEST:: SOT 267499 SOS 118112 HAS SOPS 118112 HAS SOUS 108411 HAS SOUPS 108411 WITH SCORE 108529.112
AT ITER 3284 NEW BEST:: SOT 267481 SOS 117886 HAS SOPS 117886 HAS SOUS 108289 HAS SOUPS 108289 WITH SCORE 108406.886
AT ITER 3298 NEW BEST:: SOT 267389 SOS 117794 HAS SOPS 117794 HAS SOUS 108197 HAS SOUPS 108197 WITH SCORE 108314.794
AT ITER 3300 NEW BEST:: SOT 267389 SOS 117640 HAS SOPS 117640 HAS SOUS 108112 HAS SOUPS 108112 WITH SCORE 108229.64
AT ITER 3312 NEW BEST:: SOT 267386 SOS 117637 HAS SOPS 117637 HAS SOUS 108112 HAS SOUPS 108112 WITH SCORE 108229.637
AT ITER 3315 NEW BEST:: SOT 267269 SOS 117632 HAS SOPS 117632 HAS SOUS 108107 HAS SOUPS 108107 WITH SCORE 108224.632
AT ITER 3321 NEW BEST:: SOT 267198 SOS 117482 HAS SOPS 117482 HAS SOUS 107957 HAS SOUPS 107957 WITH SCORE 108074.482
AT ITER 3334 NEW BEST:: SOT 266922 SOS 117108 HAS SOPS 117108 HAS SOUS 107583 HAS SOUPS 107583 WITH SCORE 107700.108
AT ITER 3337 NEW BEST:: SOT 266934 SOS 117004 HAS SOPS 117004 HAS SOUS 107503 HAS SOUPS 107503 WITH SCORE 107620.004
AT ITER 3349 NEW BEST:: SOT 266899 SOS 116918 HAS SOPS 116918 HAS SOUS 107499 HAS SOUPS 107499 WITH SCORE 107615.918
AT ITER 3375 NEW BEST:: SOT 266899 SOS 116915 HAS SOPS 116915 HAS SOUS 107461 HAS SOUPS 107461 WITH SCORE 107577.915
AT ITER 3381 NEW BEST:: SOT 266858 SOS 116751 HAS SOPS 116751 HAS SOUS 107338 HAS SOUPS 107338 WITH SCORE 107454.751
AT ITER 3389 NEW BEST:: SOT 267107 SOS 117149 HAS SOPS 117149 HAS SOUS 107327 HAS SOUPS 107327 WITH SCORE 107444.149
AT ITER 3390 NEW BEST:: SOT 267107 SOS 117099 HAS SOPS 117099 HAS SOUS 107277 HAS SOUPS 107277 WITH SCORE 107394.099
AT ITER 3392 NEW BEST:: SOT 267151 SOS 117031 HAS SOPS 117031 HAS SOUS 107257 HAS SOUPS 107257 WITH SCORE 107374.031
AT ITER 3400 NEW BEST:: SOT 267131 SOS 116973 HAS SOPS 116973 HAS SOUS 107256 HAS SOUPS 107256 WITH SCORE 107372.973
AT ITER 3405 NEW BEST:: SOT 267010 SOS 116337 HAS SOPS 116337 HAS SOUS 106868 HAS SOUPS 106868 WITH SCORE 106984.337
AT ITER 3424 NEW BEST:: SOT 266911 SOS 116246 HAS SOPS 116246 HAS SOUS 106777 HAS SOUPS 106777 WITH SCORE 106893.246
AT ITER 3425 NEW BEST:: SOT 266695 SOS 115462 HAS SOPS 115462 HAS SOUS 106188 HAS SOUPS 106188 WITH SCORE 106303.462
AT ITER 3426 NEW BEST:: SOT 266656 SOS 115393 HAS SOPS 115393 HAS SOUS 106119 HAS SOUPS 106119 WITH SCORE 106234.393
AT ITER 3430 NEW BEST:: SOT 266582 SOS 115207 HAS SOPS 115207 HAS SOUS 105933 HAS SOUPS 105933 WITH SCORE 106048.207
AT ITER 3436 NEW BEST:: SOT 266542 SOS 115167 HAS SOPS 115167 HAS SOUS 105893 HAS SOUPS 105893 WITH SCORE 106008.167
AT ITER 3472 NEW BEST:: SOT 266467 SOS 115146 HAS SOPS 115146 HAS SOUS 105872 HAS SOUPS 105872 WITH SCORE 105987.146
AT ITER 3476 NEW BEST:: SOT 266467 SOS 115092 HAS SOPS 115092 HAS SOUS 105872 HAS SOUPS 105872 WITH SCORE 105987.092
AT ITER 3478 NEW BEST:: SOT 266234 SOS 114395 HAS SOPS 114395 HAS SOUS 105376 HAS SOUPS 105376 WITH SCORE 105490.395
AT ITER 3481 NEW BEST:: SOT 266233 SOS 114394 HAS SOPS 114394 HAS SOUS 105375 HAS SOUPS 105375 WITH SCORE 105489.394
AT ITER 3489 NEW BEST:: SOT 266118 SOS 113934 HAS SOPS 113934 HAS SOUS 105014 HAS SOUPS 105014 WITH SCORE 105127.934
AT ITER 3492 NEW BEST:: SOT 265953 SOS 113650 HAS SOPS 113650 HAS SOUS 104730 HAS SOUPS 104730 WITH SCORE 104843.65
AT ITER 3500 NEW BEST:: SOT 265953 SOS 113644 HAS SOPS 113644 HAS SOUS 104702 HAS SOUPS 104702 WITH SCORE 104815.644
AT ITER 3511 NEW BEST:: SOT 265941 SOS 113620 HAS SOPS 113620 HAS SOUS 104678 HAS SOUPS 104678 WITH SCORE 104791.62
AT ITER 3531 NEW BEST:: SOT 265883 SOS 113504 HAS SOPS 113504 HAS SOUS 104591 HAS SOUPS 104591 WITH SCORE 104704.504
AT ITER 3547 NEW BEST:: SOT 265899 SOS 113501 HAS SOPS 113501 HAS SOUS 104588 HAS SOUPS 104588 WITH SCORE 104701.501
AT ITER 3549 NEW BEST:: SOT 265935 SOS 113373 HAS SOPS 113373 HAS SOUS 104460 HAS SOUPS 104460 WITH SCORE 104573.373
AT ITER 3563 NEW BEST:: SOT 265922 SOS 113363 HAS SOPS 113363 HAS SOUS 104445 HAS SOUPS 104445 WITH SCORE 104558.363
AT ITER 3574 NEW BEST:: SOT 265922 SOS 113220 HAS SOPS 113220 HAS SOUS 104423 HAS SOUPS 104423 WITH SCORE 104536.22
AT ITER 3603 NEW BEST:: SOT 265854 SOS 113207 HAS SOPS 113207 HAS SOUS 104353 HAS SOUPS 104353 WITH SCORE 104466.207
AT ITER 3606 NEW BEST:: SOT 265854 SOS 112962 HAS SOPS 112962 HAS SOUS 104320 HAS SOUPS 104320 WITH SCORE 104432.962
AT ITER 3629 NEW BEST:: SOT 265813 SOS 112921 HAS SOPS 112921 HAS SOUS 104279 HAS SOUPS 104279 WITH SCORE 104391.921
AT ITER 3635 NEW BEST:: SOT 265795 SOS 112876 HAS SOPS 112876 HAS SOUS 104234 HAS SOUPS 104234 WITH SCORE 104346.876
AT ITER 3643 NEW BEST:: SOT 265626 SOS 112748 HAS SOPS 112748 HAS SOUS 104082 HAS SOUPS 104082 WITH SCORE 104194.748
AT ITER 3661 NEW BEST:: SOT 265354 SOS 112168 HAS SOPS 112168 HAS SOUS 103478 HAS SOUPS 103478 WITH SCORE 103590.168
AT ITER 3667 NEW BEST:: SOT 264824 SOS 111576 HAS SOPS 111576 HAS SOUS 103124 HAS SOUPS 103124 WITH SCORE 103235.576
AT ITER 3671 NEW BEST:: SOT 264841 SOS 111578 HAS SOPS 111578 HAS SOUS 103076 HAS SOUPS 103076 WITH SCORE 103187.578
AT ITER 3675 NEW BEST:: SOT 264841 SOS 111578 HAS SOPS 111578 HAS SOUS 103052 HAS SOUPS 103052 WITH SCORE 103163.578
AT ITER 3676 NEW BEST:: SOT 264841 SOS 111575 HAS SOPS 111575 HAS SOUS 103049 HAS SOUPS 103049 WITH SCORE 103160.575
AT ITER 3679 NEW BEST:: SOT 264697 SOS 111431 HAS SOPS 111431 HAS SOUS 103008 HAS SOUPS 103008 WITH SCORE 103119.431
AT ITER 3684 NEW BEST:: SOT 264592 SOS 111326 HAS SOPS 111326 HAS SOUS 102994 HAS SOUPS 102994 WITH SCORE 103105.326
AT ITER 3685 NEW BEST:: SOT 264597 SOS 111277 HAS SOPS 111277 HAS SOUS 102958 HAS SOUPS 102958 WITH SCORE 103069.277
AT ITER 3712 NEW BEST:: SOT 264600 SOS 111227 HAS SOPS 111227 HAS SOUS 102908 HAS SOUPS 102908 WITH SCORE 103019.227
AT ITER 3717 NEW BEST:: SOT 264455 SOS 110935 HAS SOPS 110935 HAS SOUS 102697 HAS SOUPS 102697 WITH SCORE 102807.935
AT ITER 3724 NEW BEST:: SOT 264453 SOS 110931 HAS SOPS 110931 HAS SOUS 102693 HAS SOUPS 102693 WITH SCORE 102803.931
AT ITER 3732 NEW BEST:: SOT 264413 SOS 110951 HAS SOPS 110951 HAS SOUS 102613 HAS SOUPS 102613 WITH SCORE 102723.951
AT ITER 3738 NEW BEST:: SOT 264391 SOS 110929 HAS SOPS 110929 HAS SOUS 102591 HAS SOUPS 102591 WITH SCORE 102701.929
AT ITER 3744 NEW BEST:: SOT 264290 SOS 110800 HAS SOPS 110800 HAS SOUS 102414 HAS SOUPS 102414 WITH SCORE 102524.8
AT ITER 3746 NEW BEST:: SOT 264304 SOS 110728 HAS SOPS 110728 HAS SOUS 102342 HAS SOUPS 102342 WITH SCORE 102452.728
AT ITER 3763 NEW BEST:: SOT 264300 SOS 110720 HAS SOPS 110720 HAS SOUS 102334 HAS SOUPS 102334 WITH SCORE 102444.72
AT ITER 3777 NEW BEST:: SOT 264291 SOS 110640 HAS SOPS 110640 HAS SOUS 102288 HAS SOUPS 102288 WITH SCORE 102398.64
AT ITER 3779 NEW BEST:: SOT 264279 SOS 110628 HAS SOPS 110628 HAS SOUS 102276 HAS SOUPS 102276 WITH SCORE 102386.628
AT ITER 3784 NEW BEST:: SOT 264163 SOS 110653 HAS SOPS 110653 HAS SOUS 102250 HAS SOUPS 102250 WITH SCORE 102360.653
AT ITER 3787 NEW BEST:: SOT 264031 SOS 110531 HAS SOPS 110531 HAS SOUS 102118 HAS SOUPS 102118 WITH SCORE 102228.531
AT ITER 3854 NEW BEST:: SOT 264014 SOS 110493 HAS SOPS 110493 HAS SOUS 102080 HAS SOUPS 102080 WITH SCORE 102190.493
AT ITER 3867 NEW BEST:: SOT 264014 SOS 110394 HAS SOPS 110394 HAS SOUS 101975 HAS SOUPS 101975 WITH SCORE 102085.394
AT ITER 3886 NEW BEST:: SOT 263994 SOS 110366 HAS SOPS 110366 HAS SOUS 101947 HAS SOUPS 101947 WITH SCORE 102057.366
AT ITER 3905 NEW BEST:: SOT 263924 SOS 110261 HAS SOPS 110261 HAS SOUS 101842 HAS SOUPS 101842 WITH SCORE 101952.261
AT ITER 3906 NEW BEST:: SOT 263761 SOS 109944 HAS SOPS 109944 HAS SOUS 101525 HAS SOUPS 101525 WITH SCORE 101634.944
AT ITER 3917 NEW BEST:: SOT 263701 SOS 109815 HAS SOPS 109815 HAS SOUS 101421 HAS SOUPS 101421 WITH SCORE 101530.815
AT ITER 3926 NEW BEST:: SOT 263629 SOS 109683 HAS SOPS 109683 HAS SOUS 101234 HAS SOUPS 101234 WITH SCORE 101343.683
AT ITER 3936 NEW BEST:: SOT 263572 SOS 109612 HAS SOPS 109612 HAS SOUS 101040 HAS SOUPS 101040 WITH SCORE 101149.612
AT ITER 3961 NEW BEST:: SOT 263777 SOS 109622 HAS SOPS 109622 HAS SOUS 100976 HAS SOUPS 100976 WITH SCORE 101085.622
AT ITER 3970 NEW BEST:: SOT 263777 SOS 109555 HAS SOPS 109555 HAS SOUS 100945 HAS SOUPS 100945 WITH SCORE 101054.555
AT ITER 3973 NEW BEST:: SOT 263762 SOS 109540 HAS SOPS 109540 HAS SOUS 100930 HAS SOUPS 100930 WITH SCORE 101039.54
AT ITER 3977 NEW BEST:: SOT 263690 SOS 109430 HAS SOPS 109430 HAS SOUS 100805 HAS SOUPS 100805 WITH SCORE 100914.43
AT ITER 4010 NEW BEST:: SOT 263696 SOS 109288 HAS SOPS 109288 HAS SOUS 100663 HAS SOUPS 100663 WITH SCORE 100772.288
AT ITER 4034 NEW BEST:: SOT 263740 SOS 109266 HAS SOPS 109266 HAS SOUS 100617 HAS SOUPS 100617 WITH SCORE 100726.266
AT ITER 4047 NEW BEST:: SOT 263682 SOS 109150 HAS SOPS 109150 HAS SOUS 100536 HAS SOUPS 100536 WITH SCORE 100645.15
AT ITER 4048 NEW BEST:: SOT 263683 SOS 109014 HAS SOPS 109014 HAS SOUS 100387 HAS SOUPS 100387 WITH SCORE 100496.014
AT ITER 4058 NEW BEST:: SOT 263634 SOS 108914 HAS SOPS 108914 HAS SOUS 100333 HAS SOUPS 100333 WITH SCORE 100441.914
AT ITER 4059 NEW BEST:: SOT 263634 SOS 108909 HAS SOPS 108909 HAS SOUS 100333 HAS SOUPS 100333 WITH SCORE 100441.909
AT ITER 4091 NEW BEST:: SOT 263538 SOS 108813 HAS SOPS 108813 HAS SOUS 100171 HAS SOUPS 100171 WITH SCORE 100279.813
AT ITER 4107 NEW BEST:: SOT 263432 SOS 108556 HAS SOPS 108556 HAS SOUS 99973 HAS SOUPS 99973 WITH SCORE 100081.556
AT ITER 4117 NEW BEST:: SOT 263363 SOS 108435 HAS SOPS 108435 HAS SOUS 99913 HAS SOUPS 99913 WITH SCORE 100021.435
AT ITER 4147 NEW BEST:: SOT 263325 SOS 108378 HAS SOPS 108378 HAS SOUS 99856 HAS SOUPS 99856 WITH SCORE 99964.378
AT ITER 4179 NEW BEST:: SOT 263325 SOS 108374 HAS SOPS 108374 HAS SOUS 99852 HAS SOUPS 99852 WITH SCORE 99960.374
AT ITER 4181 NEW BEST:: SOT 263292 SOS 108337 HAS SOPS 108337 HAS SOUS 99815 HAS SOUPS 99815 WITH SCORE 99923.337
AT ITER 4191 NEW BEST:: SOT 263282 SOS 108317 HAS SOPS 108317 HAS SOUS 99795 HAS SOUPS 99795 WITH SCORE 99903.317
AT ITER 4201 NEW BEST:: SOT 263255 SOS 108290 HAS SOPS 108290 HAS SOUS 99768 HAS SOUPS 99768 WITH SCORE 99876.29
AT ITER 4202 NEW BEST:: SOT 263255 SOS 108266 HAS SOPS 108266 HAS SOUS 99768 HAS SOUPS 99768 WITH SCORE 99876.266
AT ITER 4204 NEW BEST:: SOT 263253 SOS 108264 HAS SOPS 108264 HAS SOUS 99766 HAS SOUPS 99766 WITH SCORE 99874.264
AT ITER 4216 NEW BEST:: SOT 263156 SOS 108084 HAS SOPS 108084 HAS SOUS 99586 HAS SOUPS 99586 WITH SCORE 99694.084
AT ITER 4218 NEW BEST:: SOT 263075 SOS 107975 HAS SOPS 107975 HAS SOUS 99477 HAS SOUPS 99477 WITH SCORE 99584.975
AT ITER 4224 NEW BEST:: SOT 263057 SOS 107831 HAS SOPS 107831 HAS SOUS 99382 HAS SOUPS 99382 WITH SCORE 99489.831
AT ITER 4236 NEW BEST:: SOT 262993 SOS 107659 HAS SOPS 107659 HAS SOUS 99271 HAS SOUPS 99271 WITH SCORE 99378.659
AT ITER 4248 NEW BEST:: SOT 263034 SOS 107660 HAS SOPS 107660 HAS SOUS 99259 HAS SOUPS 99259 WITH SCORE 99366.66
AT ITER 4249 NEW BEST:: SOT 263034 SOS 107599 HAS SOPS 107599 HAS SOUS 99198 HAS SOUPS 99198 WITH SCORE 99305.599
AT ITER 4260 NEW BEST:: SOT 262975 SOS 107540 HAS SOPS 107540 HAS SOUS 99139 HAS SOUPS 99139 WITH SCORE 99246.54
AT ITER 4261 NEW BEST:: SOT 262975 SOS 107540 HAS SOPS 107540 HAS SOUS 99087 HAS SOUPS 99087 WITH SCORE 99194.54
AT ITER 4271 NEW BEST:: SOT 262971 SOS 107532 HAS SOPS 107532 HAS SOUS 99079 HAS SOUPS 99079 WITH SCORE 99186.532
AT ITER 4279 NEW BEST:: SOT 262971 SOS 107544 HAS SOPS 107544 HAS SOUS 99076 HAS SOUPS 99076 WITH SCORE 99183.544
AT ITER 4284 NEW BEST:: SOT 262933 SOS 107506 HAS SOPS 107506 HAS SOUS 99038 HAS SOUPS 99038 WITH SCORE 99145.506
AT ITER 4288 NEW BEST:: SOT 262934 SOS 107507 HAS SOPS 107507 HAS SOUS 99035 HAS SOUPS 99035 WITH SCORE 99142.507
AT ITER 4297 NEW BEST:: SOT 262929 SOS 107502 HAS SOPS 107502 HAS SOUS 99030 HAS SOUPS 99030 WITH SCORE 99137.502
AT ITER 4303 NEW BEST:: SOT 262871 SOS 107426 HAS SOPS 107426 HAS SOUS 98954 HAS SOUPS 98954 WITH SCORE 99061.426
AT ITER 4312 NEW BEST:: SOT 262903 SOS 107426 HAS SOPS 107426 HAS SOUS 98804 HAS SOUPS 98804 WITH SCORE 98911.426
AT ITER 4326 NEW BEST:: SOT 262903 SOS 107350 HAS SOPS 107350 HAS SOUS 98728 HAS SOUPS 98728 WITH SCORE 98835.35
AT ITER 4330 NEW BEST:: SOT 262903 SOS 107164 HAS SOPS 107164 HAS SOUS 98706 HAS SOUPS 98706 WITH SCORE 98813.164
AT ITER 4331 NEW BEST:: SOT 262883 SOS 107130 HAS SOPS 107130 HAS SOUS 98658 HAS SOUPS 98658 WITH SCORE 98765.13
AT ITER 4336 NEW BEST:: SOT 262883 SOS 107130 HAS SOPS 107130 HAS SOUS 98635 HAS SOUPS 98635 WITH SCORE 98742.13
AT ITER 4338 NEW BEST:: SOT 262899 SOS 107051 HAS SOPS 107051 HAS SOUS 98497 HAS SOUPS 98497 WITH SCORE 98604.051
AT ITER 4344 NEW BEST:: SOT 262835 SOS 106987 HAS SOPS 106987 HAS SOUS 98352 HAS SOUPS 98352 WITH SCORE 98458.987
AT ITER 4359 NEW BEST:: SOT 262835 SOS 106977 HAS SOPS 106977 HAS SOUS 98342 HAS SOUPS 98342 WITH SCORE 98448.977
AT ITER 4369 NEW BEST:: SOT 262807 SOS 106865 HAS SOPS 106865 HAS SOUS 98286 HAS SOUPS 98286 WITH SCORE 98392.865
AT ITER 4370 NEW BEST:: SOT 262805 SOS 106863 HAS SOPS 106863 HAS SOUS 98284 HAS SOUPS 98284 WITH SCORE 98390.863
AT ITER 4371 NEW BEST:: SOT 262805 SOS 106549 HAS SOPS 106549 HAS SOUS 98151 HAS SOUPS 98151 WITH SCORE 98257.549
AT ITER 4375 NEW BEST:: SOT 262803 SOS 106467 HAS SOPS 106467 HAS SOUS 98000 HAS SOUPS 98000 WITH SCORE 98106.467
AT ITER 4381 NEW BEST:: SOT 262803 SOS 106272 HAS SOPS 106272 HAS SOUS 97937 HAS SOUPS 97937 WITH SCORE 98043.272
AT ITER 4387 NEW BEST:: SOT 262775 SOS 106216 HAS SOPS 106216 HAS SOUS 97881 HAS SOUPS 97881 WITH SCORE 97987.216
AT ITER 4392 NEW BEST:: SOT 262765 SOS 106176 HAS SOPS 106176 HAS SOUS 97851 HAS SOUPS 97851 WITH SCORE 97957.176
AT ITER 4393 NEW BEST:: SOT 262634 SOS 105889 HAS SOPS 105889 HAS SOUS 97608 HAS SOUPS 97608 WITH SCORE 97713.889
AT ITER 4397 NEW BEST:: SOT 262640 SOS 105889 HAS SOPS 105889 HAS SOUS 97586 HAS SOUPS 97586 WITH SCORE 97691.889
AT ITER 4405 NEW BEST:: SOT 262476 SOS 105749 HAS SOPS 105749 HAS SOUS 97446 HAS SOUPS 97446 WITH SCORE 97551.749
AT ITER 4410 NEW BEST:: SOT 262448 SOS 105707 HAS SOPS 105707 HAS SOUS 97404 HAS SOUPS 97404 WITH SCORE 97509.707
AT ITER 4416 NEW BEST:: SOT 262416 SOS 105538 HAS SOPS 105538 HAS SOUS 97309 HAS SOUPS 97309 WITH SCORE 97414.538
AT ITER 4434 NEW BEST:: SOT 262388 SOS 105510 HAS SOPS 105510 HAS SOUS 97281 HAS SOUPS 97281 WITH SCORE 97386.51
AT ITER 4447 NEW BEST:: SOT 262348 SOS 105430 HAS SOPS 105430 HAS SOUS 97241 HAS SOUPS 97241 WITH SCORE 97346.43
AT ITER 4455 NEW BEST:: SOT 262338 SOS 105421 HAS SOPS 105421 HAS SOUS 97232 HAS SOUPS 97232 WITH SCORE 97337.421
AT ITER 4494 NEW BEST:: SOT 262338 SOS 105385 HAS SOPS 105385 HAS SOUS 97210 HAS SOUPS 97210 WITH SCORE 97315.385
AT ITER 4498 NEW BEST:: SOT 262299 SOS 105346 HAS SOPS 105346 HAS SOUS 97171 HAS SOUPS 97171 WITH SCORE 97276.346
AT ITER 4500 NEW BEST:: SOT 262330 SOS 105362 HAS SOPS 105362 HAS SOUS 97161 HAS SOUPS 97161 WITH SCORE 97266.362
AT ITER 4519 NEW BEST:: SOT 262316 SOS 105334 HAS SOPS 105334 HAS SOUS 97147 HAS SOUPS 97147 WITH SCORE 97252.334
AT ITER 4521 NEW BEST:: SOT 262355 SOS 105253 HAS SOPS 105253 HAS SOUS 97128 HAS SOUPS 97128 WITH SCORE 97233.253
AT ITER 4531 NEW BEST:: SOT 262362 SOS 105179 HAS SOPS 105179 HAS SOUS 97040 HAS SOUPS 97040 WITH SCORE 97145.179
AT ITER 4535 NEW BEST:: SOT 262362 SOS 105041 HAS SOPS 105041 HAS SOUS 97040 HAS SOUPS 97040 WITH SCORE 97145.041
AT ITER 4538 NEW BEST:: SOT 262262 SOS 104941 HAS SOPS 104941 HAS SOUS 96940 HAS SOUPS 96940 WITH SCORE 97044.941
AT ITER 4550 NEW BEST:: SOT 262262 SOS 104865 HAS SOPS 104865 HAS SOUS 96864 HAS SOUPS 96864 WITH SCORE 96968.865
AT ITER 4557 NEW BEST:: SOT 262262 SOS 104633 HAS SOPS 104633 HAS SOUS 96864 HAS SOUPS 96864 WITH SCORE 96968.633
AT ITER 4561 NEW BEST:: SOT 262150 SOS 104521 HAS SOPS 104521 HAS SOUS 96752 HAS SOUPS 96752 WITH SCORE 96856.521
AT ITER 4563 NEW BEST:: SOT 262132 SOS 104503 HAS SOPS 104503 HAS SOUS 96734 HAS SOUPS 96734 WITH SCORE 96838.503
AT ITER 4577 NEW BEST:: SOT 262167 SOS 104619 HAS SOPS 104619 HAS SOUS 96686 HAS SOUPS 96686 WITH SCORE 96790.619
AT ITER 4609 NEW BEST:: SOT 262222 SOS 104648 HAS SOPS 104648 HAS SOUS 96651 HAS SOUPS 96651 WITH SCORE 96755.648
AT ITER 4610 NEW BEST:: SOT 262233 SOS 104632 HAS SOPS 104632 HAS SOUS 96635 HAS SOUPS 96635 WITH SCORE 96739.632
AT ITER 4623 NEW BEST:: SOT 262152 SOS 104500 HAS SOPS 104500 HAS SOUS 96551 HAS SOUPS 96551 WITH SCORE 96655.5
AT ITER 4628 NEW BEST:: SOT 262054 SOS 104369 HAS SOPS 104369 HAS SOUS 96355 HAS SOUPS 96355 WITH SCORE 96459.369
AT ITER 4643 NEW BEST:: SOT 261930 SOS 104245 HAS SOPS 104245 HAS SOUS 96231 HAS SOUPS 96231 WITH SCORE 96335.245
AT ITER 4650 NEW BEST:: SOT 261930 SOS 104172 HAS SOPS 104172 HAS SOUS 96170 HAS SOUPS 96170 WITH SCORE 96274.172
AT ITER 4674 NEW BEST:: SOT 261734 SOS 103976 HAS SOPS 103976 HAS SOUS 96054 HAS SOUPS 96054 WITH SCORE 96157.976
AT ITER 4678 NEW BEST:: SOT 261734 SOS 103972 HAS SOPS 103972 HAS SOUS 96050 HAS SOUPS 96050 WITH SCORE 96153.972
AT ITER 4680 NEW BEST:: SOT 261695 SOS 103717 HAS SOPS 103717 HAS SOUS 95956 HAS SOUPS 95956 WITH SCORE 96059.717
AT ITER 4697 NEW BEST:: SOT 261695 SOS 103717 HAS SOPS 103717 HAS SOUS 95948 HAS SOUPS 95948 WITH SCORE 96051.717
AT ITER 4712 NEW BEST:: SOT 261612 SOS 103551 HAS SOPS 103551 HAS SOUS 95734 HAS SOUPS 95734 WITH SCORE 95837.551
AT ITER 4717 NEW BEST:: SOT 261506 SOS 103247 HAS SOPS 103247 HAS SOUS 95513 HAS SOUPS 95513 WITH SCORE 95616.247
AT ITER 4750 NEW BEST:: SOT 261500 SOS 103229 HAS SOPS 103229 HAS SOUS 95495 HAS SOUPS 95495 WITH SCORE 95598.229
AT ITER 4762 NEW BEST:: SOT 261491 SOS 103220 HAS SOPS 103220 HAS SOUS 95477 HAS SOUPS 95477 WITH SCORE 95580.22
AT ITER 4794 NEW BEST:: SOT 261519 SOS 103276 HAS SOPS 103276 HAS SOUS 95432 HAS SOUPS 95432 WITH SCORE 95535.276
AT ITER 4799 NEW BEST:: SOT 261484 SOS 103200 HAS SOPS 103200 HAS SOUS 95356 HAS SOUPS 95356 WITH SCORE 95459.2
AT ITER 4805 NEW BEST:: SOT 261319 SOS 102964 HAS SOPS 102964 HAS SOUS 95128 HAS SOUPS 95128 WITH SCORE 95230.964
AT ITER 4816 NEW BEST:: SOT 261319 SOS 102924 HAS SOPS 102924 HAS SOUS 95088 HAS SOUPS 95088 WITH SCORE 95190.924
AT ITER 4821 NEW BEST:: SOT 261307 SOS 102912 HAS SOPS 102912 HAS SOUS 94928 HAS SOUPS 94928 WITH SCORE 95030.912
AT ITER 4823 NEW BEST:: SOT 261285 SOS 102868 HAS SOPS 102868 HAS SOUS 94884 HAS SOUPS 94884 WITH SCORE 94986.868
AT ITER 4829 NEW BEST:: SOT 261241 SOS 102825 HAS SOPS 102825 HAS SOUS 94842 HAS SOUPS 94842 WITH SCORE 94944.825
AT ITER 4844 NEW BEST:: SOT 261197 SOS 102781 HAS SOPS 102781 HAS SOUS 94801 HAS SOUPS 94801 WITH SCORE 94903.781
AT ITER 4854 NEW BEST:: SOT 261084 SOS 102668 HAS SOPS 102668 HAS SOUS 94688 HAS SOUPS 94688 WITH SCORE 94790.668
AT ITER 4856 NEW BEST:: SOT 261040 SOS 102500 HAS SOPS 102500 HAS SOUS 94618 HAS SOUPS 94618 WITH SCORE 94720.5
AT ITER 4870 NEW BEST:: SOT 260916 SOS 102376 HAS SOPS 102376 HAS SOUS 94500 HAS SOUPS 94500 WITH SCORE 94602.376
AT ITER 4871 NEW BEST:: SOT 260913 SOS 102370 HAS SOPS 102370 HAS SOUS 94497 HAS SOUPS 94497 WITH SCORE 94599.37
AT ITER 4882 NEW BEST:: SOT 260913 SOS 102148 HAS SOPS 102148 HAS SOUS 94466 HAS SOUPS 94466 WITH SCORE 94568.148
AT ITER 4891 NEW BEST:: SOT 260911 SOS 102140 HAS SOPS 102140 HAS SOUS 94441 HAS SOUPS 94441 WITH SCORE 94543.14
AT ITER 4895 NEW BEST:: SOT 260852 SOS 102001 HAS SOPS 102001 HAS SOUS 94364 HAS SOUPS 94364 WITH SCORE 94466.001
AT ITER 4904 NEW BEST:: SOT 260810 SOS 101910 HAS SOPS 101910 HAS SOUS 94273 HAS SOUPS 94273 WITH SCORE 94374.91
AT ITER 4909 NEW BEST:: SOT 260750 SOS 101823 HAS SOPS 101823 HAS SOUS 94186 HAS SOUPS 94186 WITH SCORE 94287.823
AT ITER 4911 NEW BEST:: SOT 260614 SOS 101622 HAS SOPS 101622 HAS SOUS 94000 HAS SOUPS 94000 WITH SCORE 94101.622
AT ITER 4935 NEW BEST:: SOT 260622 SOS 101609 HAS SOPS 101609 HAS SOUS 93987 HAS SOUPS 93987 WITH SCORE 94088.609
AT ITER 4941 NEW BEST:: SOT 260607 SOS 101513 HAS SOPS 101513 HAS SOUS 93891 HAS SOUPS 93891 WITH SCORE 93992.513
AT ITER 4948 NEW BEST:: SOT 260582 SOS 101509 HAS SOPS 101509 HAS SOUS 93855 HAS SOUPS 93855 WITH SCORE 93956.509
AT ITER 4967 NEW BEST:: SOT 260582 SOS 101382 HAS SOPS 101382 HAS SOUS 93728 HAS SOUPS 93728 WITH SCORE 93829.382
AT ITER 4972 NEW BEST:: SOT 260544 SOS 101246 HAS SOPS 101246 HAS SOUS 93630 HAS SOUPS 93630 WITH SCORE 93731.246
AT ITER 4973 NEW BEST:: SOT 260515 SOS 101136 HAS SOPS 101136 HAS SOUS 93520 HAS SOUPS 93520 WITH SCORE 93621.136
AT ITER 4981 NEW BEST:: SOT 260515 SOS 100989 HAS SOPS 100989 HAS SOUS 93357 HAS SOUPS 93357 WITH SCORE 93457.989
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-00 ( (! (EF( ( ( ((potential((tk(P484)>=1) & (tk(P495)>=1)))) | ((potential((tk(P727)>=1) & (tk(P740)>=1)))) ) & ( ((potential((tk(P431)>=1) & (tk(P456)>=1)))) | ((potential((tk(P237)>=1) & (tk(P248)>=1)))) ) )))) & (EG( ( (! ((potential((tk(P601)>=1) & (tk(P605)>=1) & (tk(P611)>=1))))) | ((potential((tk(P754)>=1)))) ))) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-01 (EF( ( ((potential((tk(P25)>=1) & (tk(P36)>=1)))) & (! (EF( ((potential((tk(P608)>=1))))))) )))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-02 (! (EF( (AF( ( ((potential((tk(P69)>=1) & (tk(P73)>=1) & (tk(P79)>=1)))) | ((potential((tk(P243)>=1)))) ))))))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-03 (AG( ( ( (EX( ((potential((tk(P40)>=1)))))) & (AG( ((potential((tk(P33)>=1) & (tk(P39)>=1) & (tk(P41)>=1)))))) ) | (! ((potential((tk(P26)>=1) & (tk(P35)>=1))))) )))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-04 ( (AF( ( (EF( ((potential((tk(P268)>=1)))))) & (! ( ((potential((tk(P72)>=1) & (tk(P87)>=1)))) & ((potential((tk(P25)>=1) & (tk(P36)>=1)))) )) ))) | ( (EF( (EF( ((potential((tk(P745)>=1) & (tk(P762)>=1)))))))) & ((potential((tk(P91)>=1) & (tk(P106)>=1)))) ) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-05 (! ( (EG( ( ( ((potential((tk(P273)>=1) & (tk(P282)>=1)))) & ((potential((tk(P135)>=1)))) ) & (! ((potential((tk(P503)>=1) & (tk(P514)>=1))))) ))) | ( ((potential((tk(P271)>=1) & (tk(P284)>=1)))) | (EF( ((potential((tk(P414)>=1)))))) ) ))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-06 (EF( ( ( ((potential((tk(P526)>=1) & (tk(P551)>=1)))) | ((potential((tk(P433)>=1) & (tk(P448)>=1)))) ) & ( (! ( ((potential((tk(P110)>=1)))) & ((potential((tk(P190)>=1)))) )) | (! (! ((potential((tk(P300)>=1)))))) ) )))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-07 ( (EF( (AG( ( ((potential((tk(P726)>=1) & (tk(P743)>=1)))) | ((potential((tk(P114)>=1)))) ))))) | (EX( ( ( ( ((potential((tk(P131)>=1)))) & ((potential((tk(P585)>=1)))) ) & ( ((potential((tk(P179)>=1) & (tk(P181)>=1)))) | ((potential((tk(P449)>=1) & (tk(P453)>=1) & (tk(P459)>=1)))) ) ) & (AX( ((potential((tk(P633)>=1) & (tk(P644)>=1)))))) ))) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-08 (EF( (EU( (! ((potential((tk(P480)>=1) & (tk(P493)>=1))))) , ( ((potential((tk(P97)>=1)))) & ((potential((tk(P746)>=1) & (tk(P759)>=1)))) ) ))))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-09 ( (EF( (AG( ((potential((tk(P566)>=1) & (tk(P581)>=1)))))))) & (! (! (! (AF( ((potential((tk(P709)>=1) & (tk(P720)>=1))))))))) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-10 ( (! ( ((potential((tk(P716)>=1) & (tk(P741)>=1)))) | (EF( ( ((potential((tk(P76)>=1)))) & ((potential((tk(P756)>=1)))) ))) )) | ( ((potential((tk(P260)>=1) & (tk(P285)>=1)))) & ( (EG( ((potential((tk(P736)>=1) & (tk(P742)>=1) & (tk(P744)>=1)))))) | ( (! ((potential((tk(P280)>=1) & (tk(P286)>=1) & (tk(P288)>=1))))) & (! ( ((potential((tk(P608)>=1)))) | ((potential((tk(P442)>=1) & (tk(P455)>=1)))) )) ) ) ) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-11 (EU( (! (! (! ((potential((tk(P249)>=1))))))) , (AG( ( ((potential((tk(P422)>=1) & (tk(P439)>=1)))) | ((potential((tk(P116)>=1)))) ))) ))
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-12 ( (EX( ((potential((tk(P180)>=1) & (tk(P191)>=1)))))) | ( ( (EF( ( ((potential((tk(P249)>=1)))) & ((potential((tk(P520)>=1) & (tk(P529)>=1)))) ))) | ((potential((tk(P262)>=1) & (tk(P277)>=1)))) ) | ((potential((tk(P91)>=1)))) ) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-13 ( ( (EX( ( ((potential((tk(P758)>=1)))) & (! ((potential((tk(P290)>=1) & (tk(P303)>=1))))) ))) | (EG( ( ( ((potential((tk(P404)>=1) & (tk(P417)>=1)))) | ((potential((tk(P502)>=1) & (tk(P504)>=1)))) ) | ( ((potential((tk(P266)>=1)))) | ((potential((tk(P452)>=1)))) ) ))) ) | (! (EF( ((potential((tk(P394)>=1) & (tk(P400)>=1) & (tk(P402)>=1))))))) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-14 ( ( (! ( (EF( ((potential((tk(P680)>=1)))))) | ((potential((tk(P735)>=1) & (tk(P760)>=1)))) )) | ((potential((tk(P294)>=1) & (tk(P305)>=1)))) ) & ( ((potential((tk(P365)>=1) & (tk(P382)>=1)))) | (! ( (AG( ((potential((tk(P564)>=1) & (tk(P589)>=1)))))) | ( ( ((potential((tk(P363)>=1)))) | ((potential((tk(P28)>=1) & (tk(P39)>=1)))) ) & ( ((potential((tk(P36)>=1)))) | ((potential((tk(P468)>=1) & (tk(P472)>=1) & (tk(P478)>=1)))) ) ) )) ) )
PROPERTY: ShieldIIPt-PT-040A-CTLFireability-15 (! (EF( ( ( ( ((potential((tk(P449)>=1) & (tk(P453)>=1) & (tk(P459)>=1)))) & ((potential((tk(P355)>=1) & (tk(P380)>=1)))) ) | ((potential((tk(P547)>=1)))) ) & ((potential((tk(P262)>=1) & (tk(P277)>=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="ShieldIIPt-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 ShieldIIPt-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-159033469300348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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