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

About the Execution of smart for ShieldIIPs-PT-030A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.820 3600000.00 3600030.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-159033469000156.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 ShieldIIPs-PT-030A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000156
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.1K May 14 00:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 00:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 07:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 07:43 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 253K 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 ShieldIIPs-PT-030A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-030A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590435552186

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 030A
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: 753 places, 723 transitions, 3246 arcs.
AT ITER 0 NEW BEST:: SOT 370533 SOS 286255 HAS SOPS 286255 HAS SOUS 241258 HAS SOUPS 241258 WITH SCORE 241544.255
AT ITER 3 NEW BEST:: SOT 370666 SOS 285983 HAS SOPS 285983 HAS SOUS 241099 HAS SOUPS 241099 WITH SCORE 241384.983
AT ITER 8 NEW BEST:: SOT 370665 SOS 285944 HAS SOPS 285944 HAS SOUS 241096 HAS SOUPS 241096 WITH SCORE 241381.944
AT ITER 19 NEW BEST:: SOT 370618 SOS 285709 HAS SOPS 285709 HAS SOUS 241096 HAS SOUPS 241096 WITH SCORE 241381.709
AT ITER 23 NEW BEST:: SOT 370471 SOS 285562 HAS SOPS 285562 HAS SOUS 240949 HAS SOUPS 240949 WITH SCORE 241234.562
AT ITER 31 NEW BEST:: SOT 370373 SOS 284981 HAS SOPS 284981 HAS SOUS 240941 HAS SOUPS 240941 WITH SCORE 241225.981
AT ITER 32 NEW BEST:: SOT 370310 SOS 284089 HAS SOPS 284089 HAS SOUS 240933 HAS SOUPS 240933 WITH SCORE 241217.089
AT ITER 35 NEW BEST:: SOT 370308 SOS 284087 HAS SOPS 284087 HAS SOUS 240931 HAS SOUPS 240931 WITH SCORE 241215.087
AT ITER 36 NEW BEST:: SOT 370308 SOS 283690 HAS SOPS 283690 HAS SOUS 240916 HAS SOUPS 240916 WITH SCORE 241199.69
AT ITER 38 NEW BEST:: SOT 370190 SOS 283191 HAS SOPS 283191 HAS SOUS 240900 HAS SOUPS 240900 WITH SCORE 241183.191
AT ITER 40 NEW BEST:: SOT 370167 SOS 283168 HAS SOPS 283168 HAS SOUS 240877 HAS SOUPS 240877 WITH SCORE 241160.168
AT ITER 51 NEW BEST:: SOT 370067 SOS 283068 HAS SOPS 283068 HAS SOUS 240777 HAS SOUPS 240777 WITH SCORE 241060.068
AT ITER 56 NEW BEST:: SOT 370178 SOS 282697 HAS SOPS 282697 HAS SOUS 240746 HAS SOUPS 240746 WITH SCORE 241028.697
AT ITER 58 NEW BEST:: SOT 370178 SOS 282449 HAS SOPS 282449 HAS SOUS 240672 HAS SOUPS 240672 WITH SCORE 240954.449
AT ITER 63 NEW BEST:: SOT 370012 SOS 282283 HAS SOPS 282283 HAS SOUS 240506 HAS SOUPS 240506 WITH SCORE 240788.283
AT ITER 66 NEW BEST:: SOT 370012 SOS 281890 HAS SOPS 281890 HAS SOUS 240335 HAS SOUPS 240335 WITH SCORE 240616.89
AT ITER 72 NEW BEST:: SOT 369696 SOS 281731 HAS SOPS 281731 HAS SOUS 240176 HAS SOUPS 240176 WITH SCORE 240457.731
AT ITER 77 NEW BEST:: SOT 369301 SOS 281335 HAS SOPS 281335 HAS SOUS 239780 HAS SOUPS 239780 WITH SCORE 240061.335
AT ITER 82 NEW BEST:: SOT 368900 SOS 280933 HAS SOPS 280933 HAS SOUS 239378 HAS SOUPS 239378 WITH SCORE 239658.933
AT ITER 95 NEW BEST:: SOT 368812 SOS 280845 HAS SOPS 280845 HAS SOUS 239170 HAS SOUPS 239170 WITH SCORE 239450.845
AT ITER 100 NEW BEST:: SOT 368578 SOS 280734 HAS SOPS 280734 HAS SOUS 239059 HAS SOUPS 239059 WITH SCORE 239339.734
AT ITER 104 NEW BEST:: SOT 368429 SOS 280067 HAS SOPS 280067 HAS SOUS 238850 HAS SOUPS 238850 WITH SCORE 239130.067
AT ITER 105 NEW BEST:: SOT 368321 SOS 279398 HAS SOPS 279398 HAS SOUS 238535 HAS SOUPS 238535 WITH SCORE 238814.398
AT ITER 109 NEW BEST:: SOT 368224 SOS 279299 HAS SOPS 279299 HAS SOUS 238436 HAS SOUPS 238436 WITH SCORE 238715.299
AT ITER 114 NEW BEST:: SOT 368224 SOS 279285 HAS SOPS 279285 HAS SOUS 238436 HAS SOUPS 238436 WITH SCORE 238715.285
AT ITER 115 NEW BEST:: SOT 368204 SOS 279265 HAS SOPS 279265 HAS SOUS 238279 HAS SOUPS 238279 WITH SCORE 238558.265
AT ITER 117 NEW BEST:: SOT 368056 SOS 279117 HAS SOPS 279117 HAS SOUS 238131 HAS SOUPS 238131 WITH SCORE 238410.117
AT ITER 119 NEW BEST:: SOT 367813 SOS 278874 HAS SOPS 278874 HAS SOUS 237888 HAS SOUPS 237888 WITH SCORE 238166.874
AT ITER 121 NEW BEST:: SOT 367614 SOS 277774 HAS SOPS 277774 HAS SOUS 237543 HAS SOUPS 237543 WITH SCORE 237820.774
AT ITER 124 NEW BEST:: SOT 367528 SOS 277682 HAS SOPS 277682 HAS SOUS 237451 HAS SOUPS 237451 WITH SCORE 237728.682
AT ITER 127 NEW BEST:: SOT 367375 SOS 277056 HAS SOPS 277056 HAS SOUS 237233 HAS SOUPS 237233 WITH SCORE 237510.056
AT ITER 134 NEW BEST:: SOT 367329 SOS 276886 HAS SOPS 276886 HAS SOUS 237063 HAS SOUPS 237063 WITH SCORE 237339.886
AT ITER 136 NEW BEST:: SOT 367328 SOS 276885 HAS SOPS 276885 HAS SOUS 237062 HAS SOUPS 237062 WITH SCORE 237338.885
AT ITER 137 NEW BEST:: SOT 367083 SOS 276640 HAS SOPS 276640 HAS SOUS 236842 HAS SOUPS 236842 WITH SCORE 237118.64
AT ITER 142 NEW BEST:: SOT 367097 SOS 276535 HAS SOPS 276535 HAS SOUS 236737 HAS SOUPS 236737 WITH SCORE 237013.535
AT ITER 145 NEW BEST:: SOT 366747 SOS 276011 HAS SOPS 276011 HAS SOUS 236213 HAS SOUPS 236213 WITH SCORE 236489.011
AT ITER 146 NEW BEST:: SOT 366699 SOS 275962 HAS SOPS 275962 HAS SOUS 236164 HAS SOUPS 236164 WITH SCORE 236439.962
AT ITER 147 NEW BEST:: SOT 366386 SOS 275504 HAS SOPS 275504 HAS SOUS 235706 HAS SOUPS 235706 WITH SCORE 235981.504
AT ITER 150 NEW BEST:: SOT 366779 SOS 275267 HAS SOPS 275267 HAS SOUS 235566 HAS SOUPS 235566 WITH SCORE 235841.267
AT ITER 156 NEW BEST:: SOT 366547 SOS 274952 HAS SOPS 274952 HAS SOUS 235251 HAS SOUPS 235251 WITH SCORE 235525.952
AT ITER 164 NEW BEST:: SOT 366547 SOS 274897 HAS SOPS 274897 HAS SOUS 235251 HAS SOUPS 235251 WITH SCORE 235525.897
AT ITER 165 NEW BEST:: SOT 366546 SOS 274894 HAS SOPS 274894 HAS SOUS 235248 HAS SOUPS 235248 WITH SCORE 235522.894
AT ITER 168 NEW BEST:: SOT 366502 SOS 274850 HAS SOPS 274850 HAS SOUS 235204 HAS SOUPS 235204 WITH SCORE 235478.85
AT ITER 173 NEW BEST:: SOT 366702 SOS 274260 HAS SOPS 274260 HAS SOUS 234873 HAS SOUPS 234873 WITH SCORE 235147.26
AT ITER 174 NEW BEST:: SOT 366440 SOS 273996 HAS SOPS 273996 HAS SOUS 234609 HAS SOUPS 234609 WITH SCORE 234882.996
AT ITER 176 NEW BEST:: SOT 366271 SOS 273827 HAS SOPS 273827 HAS SOUS 234440 HAS SOUPS 234440 WITH SCORE 234713.827
AT ITER 180 NEW BEST:: SOT 365838 SOS 273447 HAS SOPS 273447 HAS SOUS 234060 HAS SOUPS 234060 WITH SCORE 234333.447
AT ITER 189 NEW BEST:: SOT 365571 SOS 273180 HAS SOPS 273180 HAS SOUS 233793 HAS SOUPS 233793 WITH SCORE 234066.18
AT ITER 192 NEW BEST:: SOT 365443 SOS 273052 HAS SOPS 273052 HAS SOUS 233665 HAS SOUPS 233665 WITH SCORE 233938.052
AT ITER 194 NEW BEST:: SOT 365415 SOS 272821 HAS SOPS 272821 HAS SOUS 233658 HAS SOUPS 233658 WITH SCORE 233930.821
AT ITER 195 NEW BEST:: SOT 365384 SOS 272790 HAS SOPS 272790 HAS SOUS 233627 HAS SOUPS 233627 WITH SCORE 233899.79
AT ITER 199 NEW BEST:: SOT 365154 SOS 272559 HAS SOPS 272559 HAS SOUS 233396 HAS SOUPS 233396 WITH SCORE 233668.559
AT ITER 205 NEW BEST:: SOT 365143 SOS 272548 HAS SOPS 272548 HAS SOUS 233385 HAS SOUPS 233385 WITH SCORE 233657.548
AT ITER 224 NEW BEST:: SOT 365056 SOS 272032 HAS SOPS 272032 HAS SOUS 233378 HAS SOUPS 233378 WITH SCORE 233650.032
AT ITER 232 NEW BEST:: SOT 365065 SOS 272032 HAS SOPS 272032 HAS SOUS 233369 HAS SOUPS 233369 WITH SCORE 233641.032
AT ITER 238 NEW BEST:: SOT 365166 SOS 272030 HAS SOPS 272030 HAS SOUS 233367 HAS SOUPS 233367 WITH SCORE 233639.03
AT ITER 240 NEW BEST:: SOT 365082 SOS 271555 HAS SOPS 271555 HAS SOUS 232892 HAS SOUPS 232892 WITH SCORE 233163.555
AT ITER 241 NEW BEST:: SOT 364991 SOS 271462 HAS SOPS 271462 HAS SOUS 232799 HAS SOUPS 232799 WITH SCORE 233070.462
AT ITER 242 NEW BEST:: SOT 364611 SOS 270853 HAS SOPS 270853 HAS SOUS 232272 HAS SOUPS 232272 WITH SCORE 232542.853
AT ITER 254 NEW BEST:: SOT 364611 SOS 270852 HAS SOPS 270852 HAS SOUS 232271 HAS SOUPS 232271 WITH SCORE 232541.852
AT ITER 259 NEW BEST:: SOT 364353 SOS 270792 HAS SOPS 270792 HAS SOUS 232266 HAS SOUPS 232266 WITH SCORE 232536.792
AT ITER 260 NEW BEST:: SOT 364003 SOS 270442 HAS SOPS 270442 HAS SOUS 231916 HAS SOUPS 231916 WITH SCORE 232186.442
AT ITER 263 NEW BEST:: SOT 364504 SOS 270092 HAS SOPS 270092 HAS SOUS 231800 HAS SOUPS 231800 WITH SCORE 232070.092
AT ITER 266 NEW BEST:: SOT 364575 SOS 270023 HAS SOPS 270023 HAS SOUS 231691 HAS SOUPS 231691 WITH SCORE 231961.023
AT ITER 269 NEW BEST:: SOT 364545 SOS 269903 HAS SOPS 269903 HAS SOUS 231661 HAS SOUPS 231661 WITH SCORE 231930.903
AT ITER 271 NEW BEST:: SOT 364639 SOS 269535 HAS SOPS 269535 HAS SOUS 231609 HAS SOUPS 231609 WITH SCORE 231878.535
AT ITER 280 NEW BEST:: SOT 364487 SOS 268809 HAS SOPS 268809 HAS SOUS 231434 HAS SOUPS 231434 WITH SCORE 231702.809
AT ITER 282 NEW BEST:: SOT 364363 SOS 268699 HAS SOPS 268699 HAS SOUS 231324 HAS SOUPS 231324 WITH SCORE 231592.699
AT ITER 287 NEW BEST:: SOT 364623 SOS 268697 HAS SOPS 268697 HAS SOUS 231199 HAS SOUPS 231199 WITH SCORE 231467.697
AT ITER 288 NEW BEST:: SOT 364470 SOS 268544 HAS SOPS 268544 HAS SOUS 231046 HAS SOUPS 231046 WITH SCORE 231314.544
AT ITER 290 NEW BEST:: SOT 364515 SOS 268524 HAS SOPS 268524 HAS SOUS 231046 HAS SOUPS 231046 WITH SCORE 231314.524
AT ITER 292 NEW BEST:: SOT 364423 SOS 268432 HAS SOPS 268432 HAS SOUS 230912 HAS SOUPS 230912 WITH SCORE 231180.432
AT ITER 294 NEW BEST:: SOT 364423 SOS 268392 HAS SOPS 268392 HAS SOUS 230872 HAS SOUPS 230872 WITH SCORE 231140.392
AT ITER 296 NEW BEST:: SOT 363973 SOS 267942 HAS SOPS 267942 HAS SOUS 230422 HAS SOUPS 230422 WITH SCORE 230689.942
AT ITER 297 NEW BEST:: SOT 363838 SOS 267331 HAS SOPS 267331 HAS SOUS 230112 HAS SOUPS 230112 WITH SCORE 230379.331
AT ITER 300 NEW BEST:: SOT 363857 SOS 267328 HAS SOPS 267328 HAS SOUS 230079 HAS SOUPS 230079 WITH SCORE 230346.328
AT ITER 303 NEW BEST:: SOT 363803 SOS 267074 HAS SOPS 267074 HAS SOUS 230063 HAS SOUPS 230063 WITH SCORE 230330.074
AT ITER 316 NEW BEST:: SOT 363742 SOS 267011 HAS SOPS 267011 HAS SOUS 230000 HAS SOUPS 230000 WITH SCORE 230267.011
AT ITER 321 NEW BEST:: SOT 363725 SOS 266994 HAS SOPS 266994 HAS SOUS 229983 HAS SOUPS 229983 WITH SCORE 230249.994
AT ITER 322 NEW BEST:: SOT 363647 SOS 266916 HAS SOPS 266916 HAS SOUS 229905 HAS SOUPS 229905 WITH SCORE 230171.916
AT ITER 323 NEW BEST:: SOT 363561 SOS 266709 HAS SOPS 266709 HAS SOUS 229831 HAS SOUPS 229831 WITH SCORE 230097.709
AT ITER 327 NEW BEST:: SOT 363403 SOS 266549 HAS SOPS 266549 HAS SOUS 229671 HAS SOUPS 229671 WITH SCORE 229937.549
AT ITER 329 NEW BEST:: SOT 363787 SOS 266140 HAS SOPS 266140 HAS SOUS 229605 HAS SOUPS 229605 WITH SCORE 229871.14
AT ITER 333 NEW BEST:: SOT 363369 SOS 265664 HAS SOPS 265664 HAS SOUS 229067 HAS SOUPS 229067 WITH SCORE 229332.664
AT ITER 335 NEW BEST:: SOT 363217 SOS 265512 HAS SOPS 265512 HAS SOUS 228915 HAS SOUPS 228915 WITH SCORE 229180.512
AT ITER 336 NEW BEST:: SOT 363217 SOS 265289 HAS SOPS 265289 HAS SOUS 228792 HAS SOUPS 228792 WITH SCORE 229057.289
AT ITER 337 NEW BEST:: SOT 363773 SOS 266011 HAS SOPS 266011 HAS SOUS 228786 HAS SOUPS 228786 WITH SCORE 229052.011
AT ITER 344 NEW BEST:: SOT 363737 SOS 265975 HAS SOPS 265975 HAS SOUS 228750 HAS SOUPS 228750 WITH SCORE 229015.975
AT ITER 346 NEW BEST:: SOT 364148 SOS 266386 HAS SOPS 266386 HAS SOUS 228654 HAS SOUPS 228654 WITH SCORE 228920.386
AT ITER 347 NEW BEST:: SOT 364510 SOS 265873 HAS SOPS 265873 HAS SOUS 228205 HAS SOUPS 228205 WITH SCORE 228470.873
AT ITER 356 NEW BEST:: SOT 365185 SOS 266062 HAS SOPS 266062 HAS SOUS 228150 HAS SOUPS 228150 WITH SCORE 228416.062
AT ITER 363 NEW BEST:: SOT 364821 SOS 265743 HAS SOPS 265743 HAS SOUS 227878 HAS SOUPS 227878 WITH SCORE 228143.743
AT ITER 366 NEW BEST:: SOT 364580 SOS 265201 HAS SOPS 265201 HAS SOUS 227458 HAS SOUPS 227458 WITH SCORE 227723.201
AT ITER 372 NEW BEST:: SOT 363929 SOS 264550 HAS SOPS 264550 HAS SOUS 226807 HAS SOUPS 226807 WITH SCORE 227071.55
AT ITER 375 NEW BEST:: SOT 363930 SOS 264650 HAS SOPS 264650 HAS SOUS 226792 HAS SOUPS 226792 WITH SCORE 227056.65
AT ITER 377 NEW BEST:: SOT 363641 SOS 264398 HAS SOPS 264398 HAS SOUS 226539 HAS SOUPS 226539 WITH SCORE 226803.398
AT ITER 379 NEW BEST:: SOT 363905 SOS 263542 HAS SOPS 263542 HAS SOUS 226253 HAS SOUPS 226253 WITH SCORE 226516.542
AT ITER 389 NEW BEST:: SOT 363582 SOS 263176 HAS SOPS 263176 HAS SOUS 225958 HAS SOUPS 225958 WITH SCORE 226221.176
AT ITER 390 NEW BEST:: SOT 363406 SOS 263254 HAS SOPS 263254 HAS SOUS 225918 HAS SOUPS 225918 WITH SCORE 226181.254
AT ITER 391 NEW BEST:: SOT 363205 SOS 263171 HAS SOPS 263171 HAS SOUS 225835 HAS SOUPS 225835 WITH SCORE 226098.171
AT ITER 394 NEW BEST:: SOT 363001 SOS 262276 HAS SOPS 262276 HAS SOUS 225632 HAS SOUPS 225632 WITH SCORE 225894.276
AT ITER 396 NEW BEST:: SOT 362780 SOS 261935 HAS SOPS 261935 HAS SOUS 225291 HAS SOUPS 225291 WITH SCORE 225552.935
AT ITER 404 NEW BEST:: SOT 362759 SOS 261914 HAS SOPS 261914 HAS SOUS 225270 HAS SOUPS 225270 WITH SCORE 225531.914
AT ITER 406 NEW BEST:: SOT 362675 SOS 261830 HAS SOPS 261830 HAS SOUS 225186 HAS SOUPS 225186 WITH SCORE 225447.83
AT ITER 408 NEW BEST:: SOT 362288 SOS 261443 HAS SOPS 261443 HAS SOUS 224799 HAS SOUPS 224799 WITH SCORE 225060.443
AT ITER 412 NEW BEST:: SOT 361955 SOS 260871 HAS SOPS 260871 HAS SOUS 224314 HAS SOUPS 224314 WITH SCORE 224574.871
AT ITER 414 NEW BEST:: SOT 361775 SOS 260689 HAS SOPS 260689 HAS SOUS 224132 HAS SOUPS 224132 WITH SCORE 224392.689
AT ITER 418 NEW BEST:: SOT 361726 SOS 260640 HAS SOPS 260640 HAS SOUS 224083 HAS SOUPS 224083 WITH SCORE 224343.64
AT ITER 434 NEW BEST:: SOT 361407 SOS 260404 HAS SOPS 260404 HAS SOUS 223743 HAS SOUPS 223743 WITH SCORE 224003.404
AT ITER 442 NEW BEST:: SOT 361175 SOS 260170 HAS SOPS 260170 HAS SOUS 223509 HAS SOUPS 223509 WITH SCORE 223769.17
AT ITER 443 NEW BEST:: SOT 361159 SOS 260154 HAS SOPS 260154 HAS SOUS 223492 HAS SOUPS 223492 WITH SCORE 223752.154
AT ITER 446 NEW BEST:: SOT 360674 SOS 259335 HAS SOPS 259335 HAS SOUS 222925 HAS SOUPS 222925 WITH SCORE 223184.335
AT ITER 454 NEW BEST:: SOT 360482 SOS 259141 HAS SOPS 259141 HAS SOUS 222731 HAS SOUPS 222731 WITH SCORE 222990.141
AT ITER 457 NEW BEST:: SOT 360468 SOS 259104 HAS SOPS 259104 HAS SOUS 222726 HAS SOUPS 222726 WITH SCORE 222985.104
AT ITER 461 NEW BEST:: SOT 360449 SOS 258473 HAS SOPS 258473 HAS SOUS 222576 HAS SOUPS 222576 WITH SCORE 222834.473
AT ITER 476 NEW BEST:: SOT 360401 SOS 258425 HAS SOPS 258425 HAS SOUS 222528 HAS SOUPS 222528 WITH SCORE 222786.425
AT ITER 483 NEW BEST:: SOT 360400 SOS 258397 HAS SOPS 258397 HAS SOUS 222446 HAS SOUPS 222446 WITH SCORE 222704.397
AT ITER 490 NEW BEST:: SOT 360939 SOS 258454 HAS SOPS 258454 HAS SOUS 221912 HAS SOUPS 221912 WITH SCORE 222170.454
AT ITER 493 NEW BEST:: SOT 361022 SOS 257930 HAS SOPS 257930 HAS SOUS 221779 HAS SOUPS 221779 WITH SCORE 222036.93
AT ITER 500 NEW BEST:: SOT 361004 SOS 257919 HAS SOPS 257919 HAS SOUS 221768 HAS SOUPS 221768 WITH SCORE 222025.919
AT ITER 503 NEW BEST:: SOT 360947 SOS 257669 HAS SOPS 257669 HAS SOUS 221596 HAS SOUPS 221596 WITH SCORE 221853.669
AT ITER 505 NEW BEST:: SOT 360876 SOS 257508 HAS SOPS 257508 HAS SOUS 221499 HAS SOUPS 221499 WITH SCORE 221756.508
AT ITER 510 NEW BEST:: SOT 360843 SOS 257475 HAS SOPS 257475 HAS SOUS 221499 HAS SOUPS 221499 WITH SCORE 221756.475
AT ITER 515 NEW BEST:: SOT 360612 SOS 257264 HAS SOPS 257264 HAS SOUS 221440 HAS SOUPS 221440 WITH SCORE 221697.264
AT ITER 517 NEW BEST:: SOT 360201 SOS 256853 HAS SOPS 256853 HAS SOUS 221029 HAS SOUPS 221029 WITH SCORE 221285.853
AT ITER 537 NEW BEST:: SOT 360108 SOS 256878 HAS SOPS 256878 HAS SOUS 220996 HAS SOUPS 220996 WITH SCORE 221252.878
AT ITER 541 NEW BEST:: SOT 359872 SOS 256502 HAS SOPS 256502 HAS SOUS 220620 HAS SOUPS 220620 WITH SCORE 220876.502
AT ITER 543 NEW BEST:: SOT 359844 SOS 256418 HAS SOPS 256418 HAS SOUS 220536 HAS SOUPS 220536 WITH SCORE 220792.418
AT ITER 545 NEW BEST:: SOT 359854 SOS 256422 HAS SOPS 256422 HAS SOUS 220511 HAS SOUPS 220511 WITH SCORE 220767.422
AT ITER 549 NEW BEST:: SOT 359854 SOS 256400 HAS SOPS 256400 HAS SOUS 220372 HAS SOUPS 220372 WITH SCORE 220628.4
AT ITER 560 NEW BEST:: SOT 359854 SOS 256127 HAS SOPS 256127 HAS SOUS 220361 HAS SOUPS 220361 WITH SCORE 220617.127
AT ITER 563 NEW BEST:: SOT 359905 SOS 255928 HAS SOPS 255928 HAS SOUS 220162 HAS SOUPS 220162 WITH SCORE 220417.928
AT ITER 566 NEW BEST:: SOT 359876 SOS 255899 HAS SOPS 255899 HAS SOUS 220133 HAS SOUPS 220133 WITH SCORE 220388.899
AT ITER 575 NEW BEST:: SOT 360196 SOS 255523 HAS SOPS 255523 HAS SOUS 220015 HAS SOUPS 220015 WITH SCORE 220270.523
AT ITER 576 NEW BEST:: SOT 360113 SOS 255320 HAS SOPS 255320 HAS SOUS 219812 HAS SOUPS 219812 WITH SCORE 220067.32
AT ITER 579 NEW BEST:: SOT 359934 SOS 254519 HAS SOPS 254519 HAS SOUS 219211 HAS SOUPS 219211 WITH SCORE 219465.519
AT ITER 583 NEW BEST:: SOT 359776 SOS 254360 HAS SOPS 254360 HAS SOUS 219052 HAS SOUPS 219052 WITH SCORE 219306.36
AT ITER 592 NEW BEST:: SOT 359542 SOS 253811 HAS SOPS 253811 HAS SOUS 218504 HAS SOUPS 218504 WITH SCORE 218757.811
AT ITER 594 NEW BEST:: SOT 359201 SOS 253356 HAS SOPS 253356 HAS SOUS 218049 HAS SOUPS 218049 WITH SCORE 218302.356
AT ITER 595 NEW BEST:: SOT 359201 SOS 253149 HAS SOPS 253149 HAS SOUS 217978 HAS SOUPS 217978 WITH SCORE 218231.149
AT ITER 602 NEW BEST:: SOT 359210 SOS 253168 HAS SOPS 253168 HAS SOUS 217933 HAS SOUPS 217933 WITH SCORE 218186.168
AT ITER 611 NEW BEST:: SOT 358902 SOS 252860 HAS SOPS 252860 HAS SOUS 217625 HAS SOUPS 217625 WITH SCORE 217877.86
AT ITER 621 NEW BEST:: SOT 358799 SOS 252755 HAS SOPS 252755 HAS SOUS 217520 HAS SOUPS 217520 WITH SCORE 217772.755
AT ITER 625 NEW BEST:: SOT 358798 SOS 252542 HAS SOPS 252542 HAS SOUS 217095 HAS SOUPS 217095 WITH SCORE 217347.542
AT ITER 627 NEW BEST:: SOT 358946 SOS 252425 HAS SOPS 252425 HAS SOUS 216918 HAS SOUPS 216918 WITH SCORE 217170.425
AT ITER 628 NEW BEST:: SOT 359327 SOS 252514 HAS SOPS 252514 HAS SOUS 216886 HAS SOUPS 216886 WITH SCORE 217138.514
AT ITER 636 NEW BEST:: SOT 359327 SOS 252184 HAS SOPS 252184 HAS SOUS 216603 HAS SOUPS 216603 WITH SCORE 216855.184
AT ITER 640 NEW BEST:: SOT 359270 SOS 252070 HAS SOPS 252070 HAS SOUS 216603 HAS SOUPS 216603 WITH SCORE 216855.07
AT ITER 651 NEW BEST:: SOT 358973 SOS 251539 HAS SOPS 251539 HAS SOUS 215964 HAS SOUPS 215964 WITH SCORE 216215.539
AT ITER 659 NEW BEST:: SOT 358792 SOS 251358 HAS SOPS 251358 HAS SOUS 215783 HAS SOUPS 215783 WITH SCORE 216034.358
AT ITER 660 NEW BEST:: SOT 358733 SOS 251299 HAS SOPS 251299 HAS SOUS 215724 HAS SOUPS 215724 WITH SCORE 215975.299
AT ITER 667 NEW BEST:: SOT 358733 SOS 250970 HAS SOPS 250970 HAS SOUS 215685 HAS SOUPS 215685 WITH SCORE 215935.97
AT ITER 668 NEW BEST:: SOT 358361 SOS 250598 HAS SOPS 250598 HAS SOUS 215313 HAS SOUPS 215313 WITH SCORE 215563.598
AT ITER 669 NEW BEST:: SOT 358361 SOS 250409 HAS SOPS 250409 HAS SOUS 214811 HAS SOUPS 214811 WITH SCORE 215061.409
AT ITER 670 NEW BEST:: SOT 358361 SOS 250394 HAS SOPS 250394 HAS SOUS 214796 HAS SOUPS 214796 WITH SCORE 215046.394
AT ITER 680 NEW BEST:: SOT 358302 SOS 250306 HAS SOPS 250306 HAS SOUS 214708 HAS SOUPS 214708 WITH SCORE 214958.306
AT ITER 683 NEW BEST:: SOT 358429 SOS 250466 HAS SOPS 250466 HAS SOUS 214707 HAS SOUPS 214707 WITH SCORE 214957.466
AT ITER 687 NEW BEST:: SOT 358077 SOS 250111 HAS SOPS 250111 HAS SOUS 214352 HAS SOUPS 214352 WITH SCORE 214602.111
AT ITER 690 NEW BEST:: SOT 358262 SOS 250244 HAS SOPS 250244 HAS SOUS 214094 HAS SOUPS 214094 WITH SCORE 214344.244
AT ITER 691 NEW BEST:: SOT 358262 SOS 250310 HAS SOPS 250310 HAS SOUS 214028 HAS SOUPS 214028 WITH SCORE 214278.31
AT ITER 695 NEW BEST:: SOT 358094 SOS 250155 HAS SOPS 250155 HAS SOUS 213647 HAS SOUPS 213647 WITH SCORE 213897.155
AT ITER 696 NEW BEST:: SOT 357895 SOS 249955 HAS SOPS 249955 HAS SOUS 213447 HAS SOUPS 213447 WITH SCORE 213696.955
AT ITER 697 NEW BEST:: SOT 357272 SOS 249975 HAS SOPS 249975 HAS SOUS 213318 HAS SOUPS 213318 WITH SCORE 213567.975
AT ITER 702 NEW BEST:: SOT 357289 SOS 250568 HAS SOPS 250568 HAS SOUS 212022 HAS SOUPS 212022 WITH SCORE 212272.568
AT ITER 703 NEW BEST:: SOT 357255 SOS 250149 HAS SOPS 250149 HAS SOUS 211920 HAS SOUPS 211920 WITH SCORE 212170.149
AT ITER 706 NEW BEST:: SOT 357255 SOS 250038 HAS SOPS 250038 HAS SOUS 211843 HAS SOUPS 211843 WITH SCORE 212093.038
AT ITER 707 NEW BEST:: SOT 357239 SOS 250014 HAS SOPS 250014 HAS SOUS 211819 HAS SOUPS 211819 WITH SCORE 212069.014
AT ITER 709 NEW BEST:: SOT 357253 SOS 249965 HAS SOPS 249965 HAS SOUS 211805 HAS SOUPS 211805 WITH SCORE 212054.965
AT ITER 712 NEW BEST:: SOT 357203 SOS 249851 HAS SOPS 249851 HAS SOUS 211691 HAS SOUPS 211691 WITH SCORE 211940.851
AT ITER 717 NEW BEST:: SOT 357309 SOS 249690 HAS SOPS 249690 HAS SOUS 211582 HAS SOUPS 211582 WITH SCORE 211831.69
AT ITER 718 NEW BEST:: SOT 357309 SOS 249611 HAS SOPS 249611 HAS SOUS 211502 HAS SOUPS 211502 WITH SCORE 211751.611
AT ITER 721 NEW BEST:: SOT 357235 SOS 249537 HAS SOPS 249537 HAS SOUS 211427 HAS SOUPS 211427 WITH SCORE 211676.537
AT ITER 722 NEW BEST:: SOT 357152 SOS 249300 HAS SOPS 249300 HAS SOUS 211274 HAS SOUPS 211274 WITH SCORE 211523.3
AT ITER 731 NEW BEST:: SOT 357142 SOS 249288 HAS SOPS 249288 HAS SOUS 211262 HAS SOUPS 211262 WITH SCORE 211511.288
AT ITER 733 NEW BEST:: SOT 357441 SOS 249425 HAS SOPS 249425 HAS SOUS 211175 HAS SOUPS 211175 WITH SCORE 211424.425
AT ITER 741 NEW BEST:: SOT 357441 SOS 249474 HAS SOPS 249474 HAS SOUS 211126 HAS SOUPS 211126 WITH SCORE 211375.474
AT ITER 742 NEW BEST:: SOT 357140 SOS 249173 HAS SOPS 249173 HAS SOUS 210825 HAS SOUPS 210825 WITH SCORE 211074.173
AT ITER 747 NEW BEST:: SOT 356826 SOS 249185 HAS SOPS 249185 HAS SOUS 210745 HAS SOUPS 210745 WITH SCORE 210994.185
AT ITER 756 NEW BEST:: SOT 356784 SOS 249043 HAS SOPS 249043 HAS SOUS 210702 HAS SOUPS 210702 WITH SCORE 210951.043
AT ITER 759 NEW BEST:: SOT 356509 SOS 248732 HAS SOPS 248732 HAS SOUS 210391 HAS SOUPS 210391 WITH SCORE 210639.732
AT ITER 760 NEW BEST:: SOT 356478 SOS 248531 HAS SOPS 248531 HAS SOUS 210190 HAS SOUPS 210190 WITH SCORE 210438.531
AT ITER 761 NEW BEST:: SOT 356378 SOS 248430 HAS SOPS 248430 HAS SOUS 210089 HAS SOUPS 210089 WITH SCORE 210337.43
AT ITER 764 NEW BEST:: SOT 356819 SOS 248534 HAS SOPS 248534 HAS SOUS 210009 HAS SOUPS 210009 WITH SCORE 210257.534
AT ITER 766 NEW BEST:: SOT 356776 SOS 248491 HAS SOPS 248491 HAS SOUS 209966 HAS SOUPS 209966 WITH SCORE 210214.491
AT ITER 769 NEW BEST:: SOT 356688 SOS 248340 HAS SOPS 248340 HAS SOUS 209815 HAS SOUPS 209815 WITH SCORE 210063.34
AT ITER 770 NEW BEST:: SOT 356333 SOS 247985 HAS SOPS 247985 HAS SOUS 209460 HAS SOUPS 209460 WITH SCORE 209707.985
AT ITER 774 NEW BEST:: SOT 356218 SOS 247870 HAS SOPS 247870 HAS SOUS 209345 HAS SOUPS 209345 WITH SCORE 209592.87
AT ITER 776 NEW BEST:: SOT 356095 SOS 247747 HAS SOPS 247747 HAS SOUS 209222 HAS SOUPS 209222 WITH SCORE 209469.747
AT ITER 778 NEW BEST:: SOT 356077 SOS 247729 HAS SOPS 247729 HAS SOUS 209204 HAS SOUPS 209204 WITH SCORE 209451.729
AT ITER 781 NEW BEST:: SOT 356077 SOS 247615 HAS SOPS 247615 HAS SOUS 209144 HAS SOUPS 209144 WITH SCORE 209391.615
AT ITER 782 NEW BEST:: SOT 356009 SOS 247547 HAS SOPS 247547 HAS SOUS 209050 HAS SOUPS 209050 WITH SCORE 209297.547
AT ITER 785 NEW BEST:: SOT 356009 SOS 247494 HAS SOPS 247494 HAS SOUS 208997 HAS SOUPS 208997 WITH SCORE 209244.494
AT ITER 786 NEW BEST:: SOT 356009 SOS 247277 HAS SOPS 247277 HAS SOUS 208780 HAS SOUPS 208780 WITH SCORE 209027.277
AT ITER 808 NEW BEST:: SOT 356002 SOS 247263 HAS SOPS 247263 HAS SOUS 208780 HAS SOUPS 208780 WITH SCORE 209027.263
AT ITER 816 NEW BEST:: SOT 355999 SOS 247257 HAS SOPS 247257 HAS SOUS 208780 HAS SOUPS 208780 WITH SCORE 209027.257
AT ITER 820 NEW BEST:: SOT 355694 SOS 247098 HAS SOPS 247098 HAS SOUS 208621 HAS SOUPS 208621 WITH SCORE 208868.098
AT ITER 825 NEW BEST:: SOT 355662 SOS 247066 HAS SOPS 247066 HAS SOUS 208589 HAS SOUPS 208589 WITH SCORE 208836.066
AT ITER 827 NEW BEST:: SOT 355751 SOS 246977 HAS SOPS 246977 HAS SOUS 208588 HAS SOUPS 208588 WITH SCORE 208834.977
AT ITER 829 NEW BEST:: SOT 355475 SOS 246701 HAS SOPS 246701 HAS SOUS 208312 HAS SOUPS 208312 WITH SCORE 208558.701
AT ITER 834 NEW BEST:: SOT 355474 SOS 246698 HAS SOPS 246698 HAS SOUS 208309 HAS SOUPS 208309 WITH SCORE 208555.698
AT ITER 837 NEW BEST:: SOT 355474 SOS 246433 HAS SOPS 246433 HAS SOUS 208296 HAS SOUPS 208296 WITH SCORE 208542.433
AT ITER 841 NEW BEST:: SOT 355474 SOS 246445 HAS SOPS 246445 HAS SOUS 208284 HAS SOUPS 208284 WITH SCORE 208530.445
AT ITER 844 NEW BEST:: SOT 355366 SOS 246323 HAS SOPS 246323 HAS SOUS 208162 HAS SOUPS 208162 WITH SCORE 208408.323
AT ITER 847 NEW BEST:: SOT 355302 SOS 246259 HAS SOPS 246259 HAS SOUS 208098 HAS SOUPS 208098 WITH SCORE 208344.259
AT ITER 849 NEW BEST:: SOT 355235 SOS 246192 HAS SOPS 246192 HAS SOUS 208031 HAS SOUPS 208031 WITH SCORE 208277.192
AT ITER 852 NEW BEST:: SOT 355235 SOS 246128 HAS SOPS 246128 HAS SOUS 207967 HAS SOUPS 207967 WITH SCORE 208213.128
AT ITER 853 NEW BEST:: SOT 355144 SOS 246110 HAS SOPS 246110 HAS SOUS 207935 HAS SOUPS 207935 WITH SCORE 208181.11
AT ITER 855 NEW BEST:: SOT 355144 SOS 246064 HAS SOPS 246064 HAS SOUS 207925 HAS SOUPS 207925 WITH SCORE 208171.064
AT ITER 856 NEW BEST:: SOT 354973 SOS 245978 HAS SOPS 245978 HAS SOUS 207811 HAS SOUPS 207811 WITH SCORE 208056.978
AT ITER 859 NEW BEST:: SOT 354909 SOS 245914 HAS SOPS 245914 HAS SOUS 207747 HAS SOUPS 207747 WITH SCORE 207992.914
AT ITER 861 NEW BEST:: SOT 354747 SOS 245590 HAS SOPS 245590 HAS SOUS 207698 HAS SOUPS 207698 WITH SCORE 207943.59
AT ITER 870 NEW BEST:: SOT 354704 SOS 245549 HAS SOPS 245549 HAS SOUS 207659 HAS SOUPS 207659 WITH SCORE 207904.549
AT ITER 872 NEW BEST:: SOT 354697 SOS 245478 HAS SOPS 245478 HAS SOUS 207588 HAS SOUPS 207588 WITH SCORE 207833.478
AT ITER 875 NEW BEST:: SOT 354905 SOS 245740 HAS SOPS 245740 HAS SOUS 207577 HAS SOUPS 207577 WITH SCORE 207822.74
AT ITER 879 NEW BEST:: SOT 354857 SOS 245596 HAS SOPS 245596 HAS SOUS 207283 HAS SOUPS 207283 WITH SCORE 207528.596
AT ITER 884 NEW BEST:: SOT 354902 SOS 245563 HAS SOPS 245563 HAS SOUS 207250 HAS SOUPS 207250 WITH SCORE 207495.563
AT ITER 886 NEW BEST:: SOT 354874 SOS 245535 HAS SOPS 245535 HAS SOUS 207222 HAS SOUPS 207222 WITH SCORE 207467.535
AT ITER 887 NEW BEST:: SOT 354940 SOS 245263 HAS SOPS 245263 HAS SOUS 206988 HAS SOUPS 206988 WITH SCORE 207233.263
AT ITER 888 NEW BEST:: SOT 354610 SOS 245133 HAS SOPS 245133 HAS SOUS 206882 HAS SOUPS 206882 WITH SCORE 207127.133
AT ITER 891 NEW BEST:: SOT 354485 SOS 244997 HAS SOPS 244997 HAS SOUS 206848 HAS SOUPS 206848 WITH SCORE 207092.997
AT ITER 893 NEW BEST:: SOT 354442 SOS 244494 HAS SOPS 244494 HAS SOUS 206666 HAS SOUPS 206666 WITH SCORE 206910.494
AT ITER 894 NEW BEST:: SOT 354631 SOS 244651 HAS SOPS 244651 HAS SOUS 206587 HAS SOUPS 206587 WITH SCORE 206831.651
AT ITER 901 NEW BEST:: SOT 354478 SOS 244498 HAS SOPS 244498 HAS SOUS 206434 HAS SOUPS 206434 WITH SCORE 206678.498
AT ITER 903 NEW BEST:: SOT 354478 SOS 243896 HAS SOPS 243896 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206206.896
AT ITER 904 NEW BEST:: SOT 354087 SOS 243505 HAS SOPS 243505 HAS SOUS 205572 HAS SOUPS 205572 WITH SCORE 205815.505
AT ITER 917 NEW BEST:: SOT 353838 SOS 243350 HAS SOPS 243350 HAS SOUS 205497 HAS SOUPS 205497 WITH SCORE 205740.35
AT ITER 922 NEW BEST:: SOT 353797 SOS 243309 HAS SOPS 243309 HAS SOUS 205456 HAS SOUPS 205456 WITH SCORE 205699.309
AT ITER 925 NEW BEST:: SOT 353565 SOS 243077 HAS SOPS 243077 HAS SOUS 205224 HAS SOUPS 205224 WITH SCORE 205467.077
AT ITER 930 NEW BEST:: SOT 353402 SOS 242426 HAS SOPS 242426 HAS SOUS 204727 HAS SOUPS 204727 WITH SCORE 204969.426
AT ITER 933 NEW BEST:: SOT 353223 SOS 242069 HAS SOPS 242069 HAS SOUS 204370 HAS SOUPS 204370 WITH SCORE 204612.069
AT ITER 935 NEW BEST:: SOT 353066 SOS 241912 HAS SOPS 241912 HAS SOUS 204213 HAS SOUPS 204213 WITH SCORE 204454.912
AT ITER 936 NEW BEST:: SOT 352813 SOS 241659 HAS SOPS 241659 HAS SOUS 203960 HAS SOUPS 203960 WITH SCORE 204201.659
AT ITER 944 NEW BEST:: SOT 352863 SOS 241596 HAS SOPS 241596 HAS SOUS 203897 HAS SOUPS 203897 WITH SCORE 204138.596
AT ITER 949 NEW BEST:: SOT 352812 SOS 241545 HAS SOPS 241545 HAS SOUS 203846 HAS SOUPS 203846 WITH SCORE 204087.545
AT ITER 957 NEW BEST:: SOT 352746 SOS 241381 HAS SOPS 241381 HAS SOUS 203682 HAS SOUPS 203682 WITH SCORE 203923.381
AT ITER 967 NEW BEST:: SOT 352173 SOS 240274 HAS SOPS 240274 HAS SOUS 202848 HAS SOUPS 202848 WITH SCORE 203088.274
AT ITER 989 NEW BEST:: SOT 352092 SOS 240193 HAS SOPS 240193 HAS SOUS 202767 HAS SOUPS 202767 WITH SCORE 203007.193
AT ITER 992 NEW BEST:: SOT 351961 SOS 239942 HAS SOPS 239942 HAS SOUS 202398 HAS SOUPS 202398 WITH SCORE 202637.942
AT ITER 1000 NEW BEST:: SOT 351927 SOS 239745 HAS SOPS 239745 HAS SOUS 202373 HAS SOUPS 202373 WITH SCORE 202612.745
AT ITER 1001 NEW BEST:: SOT 351885 SOS 239690 HAS SOPS 239690 HAS SOUS 202318 HAS SOUPS 202318 WITH SCORE 202557.69
AT ITER 1003 NEW BEST:: SOT 351796 SOS 239478 HAS SOPS 239478 HAS SOUS 202106 HAS SOUPS 202106 WITH SCORE 202345.478
AT ITER 1008 NEW BEST:: SOT 351257 SOS 238531 HAS SOPS 238531 HAS SOUS 201235 HAS SOUPS 201235 WITH SCORE 201473.531
AT ITER 1009 NEW BEST:: SOT 351171 SOS 238898 HAS SOPS 238898 HAS SOUS 201141 HAS SOUPS 201141 WITH SCORE 201379.898
AT ITER 1011 NEW BEST:: SOT 351169 SOS 238896 HAS SOPS 238896 HAS SOUS 201139 HAS SOUPS 201139 WITH SCORE 201377.896
AT ITER 1012 NEW BEST:: SOT 351169 SOS 238688 HAS SOPS 238688 HAS SOUS 200594 HAS SOUPS 200594 WITH SCORE 200832.688
AT ITER 1013 NEW BEST:: SOT 351250 SOS 238150 HAS SOPS 238150 HAS SOUS 200138 HAS SOUPS 200138 WITH SCORE 200376.15
AT ITER 1018 NEW BEST:: SOT 351157 SOS 237934 HAS SOPS 237934 HAS SOUS 199922 HAS SOUPS 199922 WITH SCORE 200159.934
AT ITER 1027 NEW BEST:: SOT 351068 SOS 237545 HAS SOPS 237545 HAS SOUS 199750 HAS SOUPS 199750 WITH SCORE 199987.545
AT ITER 1028 NEW BEST:: SOT 351068 SOS 236845 HAS SOPS 236845 HAS SOUS 199728 HAS SOUPS 199728 WITH SCORE 199964.845
AT ITER 1032 NEW BEST:: SOT 351044 SOS 236819 HAS SOPS 236819 HAS SOUS 199702 HAS SOUPS 199702 WITH SCORE 199938.819
AT ITER 1033 NEW BEST:: SOT 351050 SOS 236608 HAS SOPS 236608 HAS SOUS 199491 HAS SOUPS 199491 WITH SCORE 199727.608
AT ITER 1041 NEW BEST:: SOT 351001 SOS 236559 HAS SOPS 236559 HAS SOUS 199442 HAS SOUPS 199442 WITH SCORE 199678.559
AT ITER 1052 NEW BEST:: SOT 351014 SOS 236460 HAS SOPS 236460 HAS SOUS 199371 HAS SOUPS 199371 WITH SCORE 199607.46
AT ITER 1069 NEW BEST:: SOT 350716 SOS 236199 HAS SOPS 236199 HAS SOUS 199322 HAS SOUPS 199322 WITH SCORE 199558.199
AT ITER 1070 NEW BEST:: SOT 350457 SOS 235940 HAS SOPS 235940 HAS SOUS 199063 HAS SOUPS 199063 WITH SCORE 199298.94
AT ITER 1077 NEW BEST:: SOT 350554 SOS 236013 HAS SOPS 236013 HAS SOUS 198986 HAS SOUPS 198986 WITH SCORE 199222.013
AT ITER 1078 NEW BEST:: SOT 350554 SOS 236003 HAS SOPS 236003 HAS SOUS 198976 HAS SOUPS 198976 WITH SCORE 199212.003
AT ITER 1079 NEW BEST:: SOT 350552 SOS 236001 HAS SOPS 236001 HAS SOUS 198974 HAS SOUPS 198974 WITH SCORE 199210.001
AT ITER 1081 NEW BEST:: SOT 350521 SOS 235970 HAS SOPS 235970 HAS SOUS 198943 HAS SOUPS 198943 WITH SCORE 199178.97
AT ITER 1082 NEW BEST:: SOT 350509 SOS 235916 HAS SOPS 235916 HAS SOUS 198886 HAS SOUPS 198886 WITH SCORE 199121.916
AT ITER 1085 NEW BEST:: SOT 349671 SOS 234932 HAS SOPS 234932 HAS SOUS 197649 HAS SOUPS 197649 WITH SCORE 197883.932
AT ITER 1086 NEW BEST:: SOT 349876 SOS 234917 HAS SOPS 234917 HAS SOUS 197634 HAS SOUPS 197634 WITH SCORE 197868.917
AT ITER 1102 NEW BEST:: SOT 349963 SOS 234891 HAS SOPS 234891 HAS SOUS 197363 HAS SOUPS 197363 WITH SCORE 197597.891
AT ITER 1105 NEW BEST:: SOT 349996 SOS 234890 HAS SOPS 234890 HAS SOUS 197277 HAS SOUPS 197277 WITH SCORE 197511.89
AT ITER 1117 NEW BEST:: SOT 349996 SOS 234841 HAS SOPS 234841 HAS SOUS 197199 HAS SOUPS 197199 WITH SCORE 197433.841
AT ITER 1121 NEW BEST:: SOT 349996 SOS 234832 HAS SOPS 234832 HAS SOUS 197190 HAS SOUPS 197190 WITH SCORE 197424.832
AT ITER 1124 NEW BEST:: SOT 349996 SOS 234808 HAS SOPS 234808 HAS SOUS 196976 HAS SOUPS 196976 WITH SCORE 197210.808
AT ITER 1126 NEW BEST:: SOT 349692 SOS 234299 HAS SOPS 234299 HAS SOUS 196467 HAS SOUPS 196467 WITH SCORE 196701.299
AT ITER 1128 NEW BEST:: SOT 349692 SOS 234171 HAS SOPS 234171 HAS SOUS 196339 HAS SOUPS 196339 WITH SCORE 196573.171
AT ITER 1135 NEW BEST:: SOT 349727 SOS 233922 HAS SOPS 233922 HAS SOUS 196172 HAS SOUPS 196172 WITH SCORE 196405.922
AT ITER 1136 NEW BEST:: SOT 349444 SOS 233639 HAS SOPS 233639 HAS SOUS 195889 HAS SOUPS 195889 WITH SCORE 196122.639
AT ITER 1144 NEW BEST:: SOT 349444 SOS 233594 HAS SOPS 233594 HAS SOUS 195799 HAS SOUPS 195799 WITH SCORE 196032.594
AT ITER 1145 NEW BEST:: SOT 349260 SOS 233427 HAS SOPS 233427 HAS SOUS 195632 HAS SOUPS 195632 WITH SCORE 195865.427
AT ITER 1148 NEW BEST:: SOT 349208 SOS 232856 HAS SOPS 232856 HAS SOUS 195209 HAS SOUPS 195209 WITH SCORE 195441.856
AT ITER 1149 NEW BEST:: SOT 349187 SOS 232849 HAS SOPS 232849 HAS SOUS 195188 HAS SOUPS 195188 WITH SCORE 195420.849
AT ITER 1155 NEW BEST:: SOT 349300 SOS 232692 HAS SOPS 232692 HAS SOUS 195165 HAS SOUPS 195165 WITH SCORE 195397.692
AT ITER 1171 NEW BEST:: SOT 349202 SOS 232547 HAS SOPS 232547 HAS SOUS 195020 HAS SOUPS 195020 WITH SCORE 195252.547
AT ITER 1178 NEW BEST:: SOT 349166 SOS 232462 HAS SOPS 232462 HAS SOUS 194935 HAS SOUPS 194935 WITH SCORE 195167.462
AT ITER 1184 NEW BEST:: SOT 348949 SOS 232317 HAS SOPS 232317 HAS SOUS 194899 HAS SOUPS 194899 WITH SCORE 195131.317
AT ITER 1185 NEW BEST:: SOT 348953 SOS 232290 HAS SOPS 232290 HAS SOUS 194872 HAS SOUPS 194872 WITH SCORE 195104.29
AT ITER 1189 NEW BEST:: SOT 348913 SOS 232166 HAS SOPS 232166 HAS SOUS 194748 HAS SOUPS 194748 WITH SCORE 194980.166
AT ITER 1192 NEW BEST:: SOT 348913 SOS 232309 HAS SOPS 232309 HAS SOUS 194168 HAS SOUPS 194168 WITH SCORE 194400.309
AT ITER 1195 NEW BEST:: SOT 348839 SOS 232187 HAS SOPS 232187 HAS SOUS 194046 HAS SOUPS 194046 WITH SCORE 194278.187
AT ITER 1213 NEW BEST:: SOT 348839 SOS 232167 HAS SOPS 232167 HAS SOUS 194023 HAS SOUPS 194023 WITH SCORE 194255.167
AT ITER 1219 NEW BEST:: SOT 348824 SOS 232182 HAS SOPS 232182 HAS SOUS 194008 HAS SOUPS 194008 WITH SCORE 194240.182
AT ITER 1229 NEW BEST:: SOT 348655 SOS 232005 HAS SOPS 232005 HAS SOUS 193831 HAS SOUPS 193831 WITH SCORE 194063.005
AT ITER 1230 NEW BEST:: SOT 348653 SOS 232003 HAS SOPS 232003 HAS SOUS 193705 HAS SOUPS 193705 WITH SCORE 193937.003
AT ITER 1235 NEW BEST:: SOT 348645 SOS 231995 HAS SOPS 231995 HAS SOUS 193697 HAS SOUPS 193697 WITH SCORE 193928.995
AT ITER 1237 NEW BEST:: SOT 348496 SOS 231026 HAS SOPS 231026 HAS SOUS 192586 HAS SOUPS 192586 WITH SCORE 192817.026
AT ITER 1238 NEW BEST:: SOT 348318 SOS 230696 HAS SOPS 230696 HAS SOUS 192256 HAS SOUPS 192256 WITH SCORE 192486.696
AT ITER 1239 NEW BEST:: SOT 348296 SOS 230674 HAS SOPS 230674 HAS SOUS 192234 HAS SOUPS 192234 WITH SCORE 192464.674
AT ITER 1242 NEW BEST:: SOT 348186 SOS 230396 HAS SOPS 230396 HAS SOUS 191966 HAS SOUPS 191966 WITH SCORE 192196.396
AT ITER 1247 NEW BEST:: SOT 347868 SOS 229888 HAS SOPS 229888 HAS SOUS 191597 HAS SOUPS 191597 WITH SCORE 191826.888
AT ITER 1260 NEW BEST:: SOT 347867 SOS 229833 HAS SOPS 229833 HAS SOUS 191542 HAS SOUPS 191542 WITH SCORE 191771.833
AT ITER 1274 NEW BEST:: SOT 347710 SOS 229676 HAS SOPS 229676 HAS SOUS 191530 HAS SOUPS 191530 WITH SCORE 191759.676
AT ITER 1275 NEW BEST:: SOT 347534 SOS 229463 HAS SOPS 229463 HAS SOUS 191273 HAS SOUPS 191273 WITH SCORE 191502.463
AT ITER 1277 NEW BEST:: SOT 347376 SOS 229026 HAS SOPS 229026 HAS SOUS 191177 HAS SOUPS 191177 WITH SCORE 191406.026
AT ITER 1281 NEW BEST:: SOT 347376 SOS 229112 HAS SOPS 229112 HAS SOUS 191091 HAS SOUPS 191091 WITH SCORE 191320.112
AT ITER 1283 NEW BEST:: SOT 346962 SOS 228698 HAS SOPS 228698 HAS SOUS 190677 HAS SOUPS 190677 WITH SCORE 190905.698
AT ITER 1286 NEW BEST:: SOT 346914 SOS 228602 HAS SOPS 228602 HAS SOUS 190581 HAS SOUPS 190581 WITH SCORE 190809.602
AT ITER 1289 NEW BEST:: SOT 346699 SOS 228378 HAS SOPS 228378 HAS SOUS 190357 HAS SOUPS 190357 WITH SCORE 190585.378
AT ITER 1297 NEW BEST:: SOT 346613 SOS 228168 HAS SOPS 228168 HAS SOUS 190147 HAS SOUPS 190147 WITH SCORE 190375.168
AT ITER 1298 NEW BEST:: SOT 346613 SOS 228168 HAS SOPS 228168 HAS SOUS 190097 HAS SOUPS 190097 WITH SCORE 190325.168
AT ITER 1327 NEW BEST:: SOT 347197 SOS 228388 HAS SOPS 228388 HAS SOUS 189965 HAS SOUPS 189965 WITH SCORE 190193.388
AT ITER 1329 NEW BEST:: SOT 347044 SOS 228183 HAS SOPS 228183 HAS SOUS 189760 HAS SOUPS 189760 WITH SCORE 189988.183
AT ITER 1330 NEW BEST:: SOT 347061 SOS 228245 HAS SOPS 228245 HAS SOUS 189739 HAS SOUPS 189739 WITH SCORE 189967.245
AT ITER 1335 NEW BEST:: SOT 347122 SOS 228190 HAS SOPS 228190 HAS SOUS 189684 HAS SOUPS 189684 WITH SCORE 189912.19
AT ITER 1336 NEW BEST:: SOT 346660 SOS 227752 HAS SOPS 227752 HAS SOUS 189246 HAS SOUPS 189246 WITH SCORE 189473.752
AT ITER 1342 NEW BEST:: SOT 346506 SOS 227598 HAS SOPS 227598 HAS SOUS 189092 HAS SOUPS 189092 WITH SCORE 189319.598
AT ITER 1345 NEW BEST:: SOT 346387 SOS 227562 HAS SOPS 227562 HAS SOUS 189056 HAS SOUPS 189056 WITH SCORE 189283.562
AT ITER 1348 NEW BEST:: SOT 346038 SOS 226769 HAS SOPS 226769 HAS SOUS 187448 HAS SOUPS 187448 WITH SCORE 187674.769
AT ITER 1359 NEW BEST:: SOT 345801 SOS 226532 HAS SOPS 226532 HAS SOUS 187211 HAS SOUPS 187211 WITH SCORE 187437.532
AT ITER 1362 NEW BEST:: SOT 345343 SOS 225890 HAS SOPS 225890 HAS SOUS 186681 HAS SOUPS 186681 WITH SCORE 186906.89
AT ITER 1365 NEW BEST:: SOT 345468 SOS 224982 HAS SOPS 224982 HAS SOUS 186612 HAS SOUPS 186612 WITH SCORE 186836.982
AT ITER 1366 NEW BEST:: SOT 345468 SOS 224915 HAS SOPS 224915 HAS SOUS 186411 HAS SOUPS 186411 WITH SCORE 186635.915
AT ITER 1367 NEW BEST:: SOT 345076 SOS 224523 HAS SOPS 224523 HAS SOUS 186019 HAS SOUPS 186019 WITH SCORE 186243.523
AT ITER 1389 NEW BEST:: SOT 344846 SOS 224165 HAS SOPS 224165 HAS SOUS 185393 HAS SOUPS 185393 WITH SCORE 185617.165
AT ITER 1395 NEW BEST:: SOT 344822 SOS 223999 HAS SOPS 223999 HAS SOUS 185268 HAS SOUPS 185268 WITH SCORE 185491.999
AT ITER 1414 NEW BEST:: SOT 344822 SOS 223911 HAS SOPS 223911 HAS SOUS 185160 HAS SOUPS 185160 WITH SCORE 185383.911
AT ITER 1420 NEW BEST:: SOT 344781 SOS 223703 HAS SOPS 223703 HAS SOUS 185115 HAS SOUPS 185115 WITH SCORE 185338.703
AT ITER 1431 NEW BEST:: SOT 344735 SOS 223019 HAS SOPS 223019 HAS SOUS 185042 HAS SOUPS 185042 WITH SCORE 185265.019
AT ITER 1437 NEW BEST:: SOT 344735 SOS 223276 HAS SOPS 223276 HAS SOUS 185040 HAS SOUPS 185040 WITH SCORE 185263.276
AT ITER 1442 NEW BEST:: SOT 344679 SOS 223121 HAS SOPS 223121 HAS SOUS 184529 HAS SOUPS 184529 WITH SCORE 184752.121
AT ITER 1444 NEW BEST:: SOT 344622 SOS 223036 HAS SOPS 223036 HAS SOUS 184468 HAS SOUPS 184468 WITH SCORE 184691.036
AT ITER 1448 NEW BEST:: SOT 344713 SOS 223029 HAS SOPS 223029 HAS SOUS 184461 HAS SOUPS 184461 WITH SCORE 184684.029
AT ITER 1460 NEW BEST:: SOT 344680 SOS 222996 HAS SOPS 222996 HAS SOUS 184428 HAS SOUPS 184428 WITH SCORE 184650.996
AT ITER 1466 NEW BEST:: SOT 344149 SOS 222389 HAS SOPS 222389 HAS SOUS 183821 HAS SOUPS 183821 WITH SCORE 184043.389
AT ITER 1486 NEW BEST:: SOT 344020 SOS 221756 HAS SOPS 221756 HAS SOUS 183198 HAS SOUPS 183198 WITH SCORE 183419.756
AT ITER 1488 NEW BEST:: SOT 343967 SOS 221728 HAS SOPS 221728 HAS SOUS 183011 HAS SOUPS 183011 WITH SCORE 183232.728
AT ITER 1489 NEW BEST:: SOT 343846 SOS 220898 HAS SOPS 220898 HAS SOUS 182602 HAS SOUPS 182602 WITH SCORE 182822.898
AT ITER 1494 NEW BEST:: SOT 343730 SOS 220772 HAS SOPS 220772 HAS SOUS 182476 HAS SOUPS 182476 WITH SCORE 182696.772
AT ITER 1495 NEW BEST:: SOT 343662 SOS 220706 HAS SOPS 220706 HAS SOUS 182410 HAS SOUPS 182410 WITH SCORE 182630.706
AT ITER 1501 NEW BEST:: SOT 343718 SOS 220650 HAS SOPS 220650 HAS SOUS 182319 HAS SOUPS 182319 WITH SCORE 182539.65
AT ITER 1503 NEW BEST:: SOT 343688 SOS 220620 HAS SOPS 220620 HAS SOUS 182289 HAS SOUPS 182289 WITH SCORE 182509.62
AT ITER 1506 NEW BEST:: SOT 343667 SOS 220599 HAS SOPS 220599 HAS SOUS 182268 HAS SOUPS 182268 WITH SCORE 182488.599
AT ITER 1508 NEW BEST:: SOT 343436 SOS 220366 HAS SOPS 220366 HAS SOUS 182035 HAS SOUPS 182035 WITH SCORE 182255.366
AT ITER 1509 NEW BEST:: SOT 343138 SOS 220068 HAS SOPS 220068 HAS SOUS 181418 HAS SOUPS 181418 WITH SCORE 181638.068
AT ITER 1510 NEW BEST:: SOT 343130 SOS 220060 HAS SOPS 220060 HAS SOUS 181410 HAS SOUPS 181410 WITH SCORE 181630.06
AT ITER 1513 NEW BEST:: SOT 343130 SOS 219956 HAS SOPS 219956 HAS SOUS 181250 HAS SOUPS 181250 WITH SCORE 181469.956
AT ITER 1518 NEW BEST:: SOT 343124 SOS 219950 HAS SOPS 219950 HAS SOUS 181244 HAS SOUPS 181244 WITH SCORE 181463.95
AT ITER 1520 NEW BEST:: SOT 343161 SOS 219919 HAS SOPS 219919 HAS SOUS 180798 HAS SOUPS 180798 WITH SCORE 181017.919
AT ITER 1535 NEW BEST:: SOT 343161 SOS 219763 HAS SOPS 219763 HAS SOUS 180743 HAS SOUPS 180743 WITH SCORE 180962.763
AT ITER 1539 NEW BEST:: SOT 343344 SOS 219763 HAS SOPS 219763 HAS SOUS 180610 HAS SOUPS 180610 WITH SCORE 180829.763
AT ITER 1544 NEW BEST:: SOT 343113 SOS 219379 HAS SOPS 219379 HAS SOUS 180226 HAS SOUPS 180226 WITH SCORE 180445.379
AT ITER 1545 NEW BEST:: SOT 343047 SOS 219311 HAS SOPS 219311 HAS SOUS 180158 HAS SOUPS 180158 WITH SCORE 180377.311
AT ITER 1546 NEW BEST:: SOT 342987 SOS 218474 HAS SOPS 218474 HAS SOUS 179875 HAS SOUPS 179875 WITH SCORE 180093.474
AT ITER 1547 NEW BEST:: SOT 342849 SOS 217538 HAS SOPS 217538 HAS SOUS 179721 HAS SOUPS 179721 WITH SCORE 179938.538
AT ITER 1556 NEW BEST:: SOT 342700 SOS 217389 HAS SOPS 217389 HAS SOUS 179572 HAS SOUPS 179572 WITH SCORE 179789.389
AT ITER 1562 NEW BEST:: SOT 342549 SOS 217091 HAS SOPS 217091 HAS SOUS 179274 HAS SOUPS 179274 WITH SCORE 179491.091
AT ITER 1563 NEW BEST:: SOT 342443 SOS 216224 HAS SOPS 216224 HAS SOUS 179027 HAS SOUPS 179027 WITH SCORE 179243.224
AT ITER 1566 NEW BEST:: SOT 342443 SOS 216207 HAS SOPS 216207 HAS SOUS 178985 HAS SOUPS 178985 WITH SCORE 179201.207
AT ITER 1568 NEW BEST:: SOT 342434 SOS 216198 HAS SOPS 216198 HAS SOUS 178976 HAS SOUPS 178976 WITH SCORE 179192.198
AT ITER 1582 NEW BEST:: SOT 342363 SOS 216173 HAS SOPS 216173 HAS SOUS 178879 HAS SOUPS 178879 WITH SCORE 179095.173
AT ITER 1583 NEW BEST:: SOT 342504 SOS 216031 HAS SOPS 216031 HAS SOUS 178707 HAS SOUPS 178707 WITH SCORE 178923.031
AT ITER 1590 NEW BEST:: SOT 342447 SOS 216084 HAS SOPS 216084 HAS SOUS 178459 HAS SOUPS 178459 WITH SCORE 178675.084
AT ITER 1591 NEW BEST:: SOT 342566 SOS 216375 HAS SOPS 216375 HAS SOUS 178424 HAS SOUPS 178424 WITH SCORE 178640.375
AT ITER 1596 NEW BEST:: SOT 342189 SOS 216019 HAS SOPS 216019 HAS SOUS 178068 HAS SOUPS 178068 WITH SCORE 178284.019
AT ITER 1602 NEW BEST:: SOT 342013 SOS 215641 HAS SOPS 215641 HAS SOUS 177789 HAS SOUPS 177789 WITH SCORE 178004.641
AT ITER 1607 NEW BEST:: SOT 341775 SOS 215167 HAS SOPS 215167 HAS SOUS 177190 HAS SOUPS 177190 WITH SCORE 177405.167
AT ITER 1613 NEW BEST:: SOT 341887 SOS 215150 HAS SOPS 215150 HAS SOUS 177173 HAS SOUPS 177173 WITH SCORE 177388.15
AT ITER 1631 NEW BEST:: SOT 341887 SOS 214973 HAS SOPS 214973 HAS SOUS 176996 HAS SOUPS 176996 WITH SCORE 177210.973
AT ITER 1634 NEW BEST:: SOT 341809 SOS 214783 HAS SOPS 214783 HAS SOUS 176732 HAS SOUPS 176732 WITH SCORE 176946.783
AT ITER 1637 NEW BEST:: SOT 342311 SOS 214840 HAS SOPS 214840 HAS SOUS 176685 HAS SOUPS 176685 WITH SCORE 176899.84
AT ITER 1643 NEW BEST:: SOT 342283 SOS 214812 HAS SOPS 214812 HAS SOUS 176657 HAS SOUPS 176657 WITH SCORE 176871.812
AT ITER 1648 NEW BEST:: SOT 342251 SOS 214748 HAS SOPS 214748 HAS SOUS 176593 HAS SOUPS 176593 WITH SCORE 176807.748
AT ITER 1661 NEW BEST:: SOT 342173 SOS 214619 HAS SOPS 214619 HAS SOUS 176514 HAS SOUPS 176514 WITH SCORE 176728.619
AT ITER 1670 NEW BEST:: SOT 342034 SOS 214480 HAS SOPS 214480 HAS SOUS 176375 HAS SOUPS 176375 WITH SCORE 176589.48
AT ITER 1671 NEW BEST:: SOT 342008 SOS 214134 HAS SOPS 214134 HAS SOUS 176296 HAS SOUPS 176296 WITH SCORE 176510.134
AT ITER 1674 NEW BEST:: SOT 341876 SOS 213802 HAS SOPS 213802 HAS SOUS 176193 HAS SOUPS 176193 WITH SCORE 176406.802
AT ITER 1677 NEW BEST:: SOT 341669 SOS 213635 HAS SOPS 213635 HAS SOUS 176083 HAS SOUPS 176083 WITH SCORE 176296.635
AT ITER 1688 NEW BEST:: SOT 341603 SOS 213536 HAS SOPS 213536 HAS SOUS 176050 HAS SOUPS 176050 WITH SCORE 176263.536
AT ITER 1693 NEW BEST:: SOT 341577 SOS 213510 HAS SOPS 213510 HAS SOUS 176024 HAS SOUPS 176024 WITH SCORE 176237.51
AT ITER 1698 NEW BEST:: SOT 341429 SOS 213296 HAS SOPS 213296 HAS SOUS 175939 HAS SOUPS 175939 WITH SCORE 176152.296
AT ITER 1702 NEW BEST:: SOT 341267 SOS 213098 HAS SOPS 213098 HAS SOUS 175741 HAS SOUPS 175741 WITH SCORE 175954.098
AT ITER 1704 NEW BEST:: SOT 341267 SOS 213017 HAS SOPS 213017 HAS SOUS 175698 HAS SOUPS 175698 WITH SCORE 175911.017
AT ITER 1707 NEW BEST:: SOT 341052 SOS 212802 HAS SOPS 212802 HAS SOUS 175483 HAS SOUPS 175483 WITH SCORE 175695.802
AT ITER 1708 NEW BEST:: SOT 340852 SOS 212602 HAS SOPS 212602 HAS SOUS 175283 HAS SOUPS 175283 WITH SCORE 175495.602
AT ITER 1721 NEW BEST:: SOT 340759 SOS 212509 HAS SOPS 212509 HAS SOUS 175249 HAS SOUPS 175249 WITH SCORE 175461.509
AT ITER 1726 NEW BEST:: SOT 340789 SOS 212509 HAS SOPS 212509 HAS SOUS 175189 HAS SOUPS 175189 WITH SCORE 175401.509
AT ITER 1727 NEW BEST:: SOT 340789 SOS 212241 HAS SOPS 212241 HAS SOUS 175033 HAS SOUPS 175033 WITH SCORE 175245.241
AT ITER 1732 NEW BEST:: SOT 340827 SOS 212281 HAS SOPS 212281 HAS SOUS 174945 HAS SOUPS 174945 WITH SCORE 175157.281
AT ITER 1738 NEW BEST:: SOT 340827 SOS 212237 HAS SOPS 212237 HAS SOUS 174923 HAS SOUPS 174923 WITH SCORE 175135.237
AT ITER 1739 NEW BEST:: SOT 340801 SOS 212088 HAS SOPS 212088 HAS SOUS 174774 HAS SOUPS 174774 WITH SCORE 174986.088
AT ITER 1748 NEW BEST:: SOT 340801 SOS 212086 HAS SOPS 212086 HAS SOUS 174764 HAS SOUPS 174764 WITH SCORE 174976.086
AT ITER 1751 NEW BEST:: SOT 340821 SOS 211537 HAS SOPS 211537 HAS SOUS 174705 HAS SOUPS 174705 WITH SCORE 174916.537
AT ITER 1753 NEW BEST:: SOT 340740 SOS 211580 HAS SOPS 211580 HAS SOUS 174650 HAS SOUPS 174650 WITH SCORE 174861.58
AT ITER 1761 NEW BEST:: SOT 340734 SOS 211574 HAS SOPS 211574 HAS SOUS 174644 HAS SOUPS 174644 WITH SCORE 174855.574
AT ITER 1763 NEW BEST:: SOT 340710 SOS 211538 HAS SOPS 211538 HAS SOUS 174620 HAS SOUPS 174620 WITH SCORE 174831.538
AT ITER 1772 NEW BEST:: SOT 340641 SOS 211362 HAS SOPS 211362 HAS SOUS 174444 HAS SOUPS 174444 WITH SCORE 174655.362
AT ITER 1776 NEW BEST:: SOT 340546 SOS 211267 HAS SOPS 211267 HAS SOUS 174349 HAS SOUPS 174349 WITH SCORE 174560.267
AT ITER 1781 NEW BEST:: SOT 340531 SOS 211252 HAS SOPS 211252 HAS SOUS 174334 HAS SOUPS 174334 WITH SCORE 174545.252
AT ITER 1783 NEW BEST:: SOT 340504 SOS 211225 HAS SOPS 211225 HAS SOUS 174307 HAS SOUPS 174307 WITH SCORE 174518.225
AT ITER 1787 NEW BEST:: SOT 340330 SOS 210794 HAS SOPS 210794 HAS SOUS 174046 HAS SOUPS 174046 WITH SCORE 174256.794
AT ITER 1791 NEW BEST:: SOT 340257 SOS 210721 HAS SOPS 210721 HAS SOUS 173973 HAS SOUPS 173973 WITH SCORE 174183.721
AT ITER 1792 NEW BEST:: SOT 340223 SOS 210687 HAS SOPS 210687 HAS SOUS 173939 HAS SOUPS 173939 WITH SCORE 174149.687
AT ITER 1794 NEW BEST:: SOT 340131 SOS 210601 HAS SOPS 210601 HAS SOUS 173853 HAS SOUPS 173853 WITH SCORE 174063.601
AT ITER 1802 NEW BEST:: SOT 340079 SOS 210575 HAS SOPS 210575 HAS SOUS 173827 HAS SOUPS 173827 WITH SCORE 174037.575
AT ITER 1811 NEW BEST:: SOT 339910 SOS 210288 HAS SOPS 210288 HAS SOUS 173647 HAS SOUPS 173647 WITH SCORE 173857.288
AT ITER 1812 NEW BEST:: SOT 339858 SOS 210236 HAS SOPS 210236 HAS SOUS 173595 HAS SOUPS 173595 WITH SCORE 173805.236
AT ITER 1816 NEW BEST:: SOT 339991 SOS 210225 HAS SOPS 210225 HAS SOUS 173504 HAS SOUPS 173504 WITH SCORE 173714.225
AT ITER 1818 NEW BEST:: SOT 339991 SOS 210124 HAS SOPS 210124 HAS SOUS 173487 HAS SOUPS 173487 WITH SCORE 173697.124
AT ITER 1819 NEW BEST:: SOT 340087 SOS 210142 HAS SOPS 210142 HAS SOUS 173362 HAS SOUPS 173362 WITH SCORE 173572.142
AT ITER 1820 NEW BEST:: SOT 339955 SOS 209900 HAS SOPS 209900 HAS SOUS 173286 HAS SOUPS 173286 WITH SCORE 173495.9
AT ITER 1841 NEW BEST:: SOT 339955 SOS 209858 HAS SOPS 209858 HAS SOUS 173246 HAS SOUPS 173246 WITH SCORE 173455.858
AT ITER 1842 NEW BEST:: SOT 339955 SOS 209860 HAS SOPS 209860 HAS SOUS 173231 HAS SOUPS 173231 WITH SCORE 173440.86
AT ITER 1847 NEW BEST:: SOT 339963 SOS 209476 HAS SOPS 209476 HAS SOUS 173062 HAS SOUPS 173062 WITH SCORE 173271.476
AT ITER 1849 NEW BEST:: SOT 340003 SOS 209482 HAS SOPS 209482 HAS SOUS 173052 HAS SOUPS 173052 WITH SCORE 173261.482
AT ITER 1854 NEW BEST:: SOT 340122 SOS 209464 HAS SOPS 209464 HAS SOUS 172889 HAS SOUPS 172889 WITH SCORE 173098.464
AT ITER 1867 NEW BEST:: SOT 340122 SOS 209346 HAS SOPS 209346 HAS SOUS 172761 HAS SOUPS 172761 WITH SCORE 172970.346
AT ITER 1868 NEW BEST:: SOT 340122 SOS 209375 HAS SOPS 209375 HAS SOUS 172732 HAS SOUPS 172732 WITH SCORE 172941.375
AT ITER 1870 NEW BEST:: SOT 340099 SOS 209329 HAS SOPS 209329 HAS SOUS 172686 HAS SOUPS 172686 WITH SCORE 172895.329
AT ITER 1878 NEW BEST:: SOT 340066 SOS 209307 HAS SOPS 209307 HAS SOUS 172660 HAS SOUPS 172660 WITH SCORE 172869.307
AT ITER 1881 NEW BEST:: SOT 340103 SOS 209262 HAS SOPS 209262 HAS SOUS 172366 HAS SOUPS 172366 WITH SCORE 172575.262
AT ITER 1886 NEW BEST:: SOT 339820 SOS 209112 HAS SOPS 209112 HAS SOUS 172293 HAS SOUPS 172293 WITH SCORE 172502.112
AT ITER 1902 NEW BEST:: SOT 339697 SOS 208980 HAS SOPS 208980 HAS SOUS 172161 HAS SOUPS 172161 WITH SCORE 172369.98
AT ITER 1917 NEW BEST:: SOT 339697 SOS 208949 HAS SOPS 208949 HAS SOUS 172130 HAS SOUPS 172130 WITH SCORE 172338.949
AT ITER 1919 NEW BEST:: SOT 339589 SOS 208903 HAS SOPS 208903 HAS SOUS 172084 HAS SOUPS 172084 WITH SCORE 172292.903
AT ITER 1924 NEW BEST:: SOT 339589 SOS 208883 HAS SOPS 208883 HAS SOUS 172074 HAS SOUPS 172074 WITH SCORE 172282.883
AT ITER 1925 NEW BEST:: SOT 339494 SOS 208784 HAS SOPS 208784 HAS SOUS 171891 HAS SOUPS 171891 WITH SCORE 172099.784
AT ITER 1928 NEW BEST:: SOT 339440 SOS 208730 HAS SOPS 208730 HAS SOUS 171837 HAS SOUPS 171837 WITH SCORE 172045.73
AT ITER 1937 NEW BEST:: SOT 339414 SOS 208714 HAS SOPS 208714 HAS SOUS 171799 HAS SOUPS 171799 WITH SCORE 172007.714
AT ITER 1947 NEW BEST:: SOT 339414 SOS 208308 HAS SOPS 208308 HAS SOUS 171719 HAS SOUPS 171719 WITH SCORE 171927.308
AT ITER 1951 NEW BEST:: SOT 339204 SOS 208098 HAS SOPS 208098 HAS SOUS 171509 HAS SOUPS 171509 WITH SCORE 171717.098
AT ITER 1954 NEW BEST:: SOT 338722 SOS 206483 HAS SOPS 206483 HAS SOUS 170682 HAS SOUPS 170682 WITH SCORE 170888.483
AT ITER 1959 NEW BEST:: SOT 338624 SOS 206323 HAS SOPS 206323 HAS SOUS 170485 HAS SOUPS 170485 WITH SCORE 170691.323
AT ITER 1971 NEW BEST:: SOT 338590 SOS 206241 HAS SOPS 206241 HAS SOUS 170314 HAS SOUPS 170314 WITH SCORE 170520.241
AT ITER 1980 NEW BEST:: SOT 338612 SOS 206368 HAS SOPS 206368 HAS SOUS 170255 HAS SOUPS 170255 WITH SCORE 170461.368
AT ITER 1983 NEW BEST:: SOT 338480 SOS 206253 HAS SOPS 206253 HAS SOUS 170140 HAS SOUPS 170140 WITH SCORE 170346.253
AT ITER 1985 NEW BEST:: SOT 338177 SOS 205911 HAS SOPS 205911 HAS SOUS 169798 HAS SOUPS 169798 WITH SCORE 170003.911
AT ITER 1989 NEW BEST:: SOT 338038 SOS 205772 HAS SOPS 205772 HAS SOUS 169659 HAS SOUPS 169659 WITH SCORE 169864.772
AT ITER 1990 NEW BEST:: SOT 338034 SOS 205768 HAS SOPS 205768 HAS SOUS 169659 HAS SOUPS 169659 WITH SCORE 169864.768
AT ITER 2015 NEW BEST:: SOT 338346 SOS 206027 HAS SOPS 206027 HAS SOUS 169150 HAS SOUPS 169150 WITH SCORE 169356.027
AT ITER 2016 NEW BEST:: SOT 338339 SOS 206020 HAS SOPS 206020 HAS SOUS 169143 HAS SOUPS 169143 WITH SCORE 169349.02
AT ITER 2032 NEW BEST:: SOT 338019 SOS 205700 HAS SOPS 205700 HAS SOUS 168823 HAS SOUPS 168823 WITH SCORE 169028.7
AT ITER 2043 NEW BEST:: SOT 338021 SOS 205035 HAS SOPS 205035 HAS SOUS 168659 HAS SOUPS 168659 WITH SCORE 168864.035
AT ITER 2044 NEW BEST:: SOT 337892 SOS 204906 HAS SOPS 204906 HAS SOUS 168530 HAS SOUPS 168530 WITH SCORE 168734.906
AT ITER 2050 NEW BEST:: SOT 337900 SOS 204898 HAS SOPS 204898 HAS SOUS 168522 HAS SOUPS 168522 WITH SCORE 168726.898
AT ITER 2056 NEW BEST:: SOT 337879 SOS 204861 HAS SOPS 204861 HAS SOUS 168494 HAS SOUPS 168494 WITH SCORE 168698.861
AT ITER 2057 NEW BEST:: SOT 337998 SOS 204310 HAS SOPS 204310 HAS SOUS 167998 HAS SOUPS 167998 WITH SCORE 168202.31
AT ITER 2059 NEW BEST:: SOT 337915 SOS 204227 HAS SOPS 204227 HAS SOUS 167925 HAS SOUPS 167925 WITH SCORE 168129.227
AT ITER 2063 NEW BEST:: SOT 337491 SOS 203793 HAS SOPS 203793 HAS SOUS 167491 HAS SOUPS 167491 WITH SCORE 167694.793
AT ITER 2067 NEW BEST:: SOT 337100 SOS 201905 HAS SOPS 201905 HAS SOUS 166625 HAS SOUPS 166625 WITH SCORE 166826.905
AT ITER 2068 NEW BEST:: SOT 337314 SOS 201972 HAS SOPS 201972 HAS SOUS 166620 HAS SOUPS 166620 WITH SCORE 166821.972
AT ITER 2069 NEW BEST:: SOT 337314 SOS 201654 HAS SOPS 201654 HAS SOUS 166465 HAS SOUPS 166465 WITH SCORE 166666.654
AT ITER 2071 NEW BEST:: SOT 337205 SOS 201543 HAS SOPS 201543 HAS SOUS 166354 HAS SOUPS 166354 WITH SCORE 166555.543
AT ITER 2080 NEW BEST:: SOT 336994 SOS 201346 HAS SOPS 201346 HAS SOUS 166157 HAS SOUPS 166157 WITH SCORE 166358.346
AT ITER 2096 NEW BEST:: SOT 336322 SOS 200358 HAS SOPS 200358 HAS SOUS 165485 HAS SOUPS 165485 WITH SCORE 165685.358
AT ITER 2107 NEW BEST:: SOT 336279 SOS 200319 HAS SOPS 200319 HAS SOUS 165446 HAS SOUPS 165446 WITH SCORE 165646.319
AT ITER 2114 NEW BEST:: SOT 336286 SOS 200843 HAS SOPS 200843 HAS SOUS 165417 HAS SOUPS 165417 WITH SCORE 165617.843
AT ITER 2122 NEW BEST:: SOT 336181 SOS 200738 HAS SOPS 200738 HAS SOUS 165340 HAS SOUPS 165340 WITH SCORE 165540.738
AT ITER 2125 NEW BEST:: SOT 336023 SOS 200639 HAS SOPS 200639 HAS SOUS 165241 HAS SOUPS 165241 WITH SCORE 165441.639
AT ITER 2130 NEW BEST:: SOT 335879 SOS 200495 HAS SOPS 200495 HAS SOUS 165097 HAS SOUPS 165097 WITH SCORE 165297.495
AT ITER 2151 NEW BEST:: SOT 335640 SOS 200235 HAS SOPS 200235 HAS SOUS 164702 HAS SOUPS 164702 WITH SCORE 164902.235
AT ITER 2163 NEW BEST:: SOT 335740 SOS 200315 HAS SOPS 200315 HAS SOUS 164536 HAS SOUPS 164536 WITH SCORE 164736.315
AT ITER 2173 NEW BEST:: SOT 335622 SOS 199961 HAS SOPS 199961 HAS SOUS 164359 HAS SOUPS 164359 WITH SCORE 164558.961
AT ITER 2177 NEW BEST:: SOT 335898 SOS 199959 HAS SOPS 199959 HAS SOUS 164357 HAS SOUPS 164357 WITH SCORE 164556.959
AT ITER 2182 NEW BEST:: SOT 335765 SOS 199320 HAS SOPS 199320 HAS SOUS 163942 HAS SOUPS 163942 WITH SCORE 164141.32
AT ITER 2186 NEW BEST:: SOT 335739 SOS 199215 HAS SOPS 199215 HAS SOUS 163837 HAS SOUPS 163837 WITH SCORE 164036.215
AT ITER 2192 NEW BEST:: SOT 335803 SOS 199457 HAS SOPS 199457 HAS SOUS 163835 HAS SOUPS 163835 WITH SCORE 164034.457
AT ITER 2193 NEW BEST:: SOT 335803 SOS 199435 HAS SOPS 199435 HAS SOUS 163783 HAS SOUPS 163783 WITH SCORE 163982.435
AT ITER 2204 NEW BEST:: SOT 335843 SOS 199430 HAS SOPS 199430 HAS SOUS 163778 HAS SOUPS 163778 WITH SCORE 163977.43
AT ITER 2205 NEW BEST:: SOT 335890 SOS 199539 HAS SOPS 199539 HAS SOUS 163735 HAS SOUPS 163735 WITH SCORE 163934.539
AT ITER 2213 NEW BEST:: SOT 335709 SOS 199307 HAS SOPS 199307 HAS SOUS 163348 HAS SOUPS 163348 WITH SCORE 163547.307
AT ITER 2218 NEW BEST:: SOT 335709 SOS 199063 HAS SOPS 199063 HAS SOUS 163154 HAS SOUPS 163154 WITH SCORE 163353.063
AT ITER 2235 NEW BEST:: SOT 335811 SOS 199127 HAS SOPS 199127 HAS SOUS 163118 HAS SOUPS 163118 WITH SCORE 163317.127
AT ITER 2240 NEW BEST:: SOT 335819 SOS 199099 HAS SOPS 199099 HAS SOUS 163097 HAS SOUPS 163097 WITH SCORE 163296.099
AT ITER 2245 NEW BEST:: SOT 335714 SOS 199029 HAS SOPS 199029 HAS SOUS 163010 HAS SOUPS 163010 WITH SCORE 163209.029
AT ITER 2256 NEW BEST:: SOT 335682 SOS 198591 HAS SOPS 198591 HAS SOUS 162433 HAS SOUPS 162433 WITH SCORE 162631.591
AT ITER 2270 NEW BEST:: SOT 335682 SOS 198611 HAS SOPS 198611 HAS SOUS 162429 HAS SOUPS 162429 WITH SCORE 162627.611
AT ITER 2271 NEW BEST:: SOT 335571 SOS 198577 HAS SOPS 198577 HAS SOUS 162386 HAS SOUPS 162386 WITH SCORE 162584.577
AT ITER 2283 NEW BEST:: SOT 335429 SOS 198435 HAS SOPS 198435 HAS SOUS 162244 HAS SOUPS 162244 WITH SCORE 162442.435
AT ITER 2289 NEW BEST:: SOT 335327 SOS 198381 HAS SOPS 198381 HAS SOUS 162190 HAS SOUPS 162190 WITH SCORE 162388.381
AT ITER 2290 NEW BEST:: SOT 335428 SOS 198096 HAS SOPS 198096 HAS SOUS 162173 HAS SOUPS 162173 WITH SCORE 162371.096
AT ITER 2291 NEW BEST:: SOT 335428 SOS 198070 HAS SOPS 198070 HAS SOUS 162160 HAS SOUPS 162160 WITH SCORE 162358.07
AT ITER 2293 NEW BEST:: SOT 335734 SOS 198376 HAS SOPS 198376 HAS SOUS 162073 HAS SOUPS 162073 WITH SCORE 162271.376
AT ITER 2294 NEW BEST:: SOT 335733 SOS 198375 HAS SOPS 198375 HAS SOUS 162072 HAS SOUPS 162072 WITH SCORE 162270.375
AT ITER 2302 NEW BEST:: SOT 335547 SOS 198187 HAS SOPS 198187 HAS SOUS 161884 HAS SOUPS 161884 WITH SCORE 162082.187
AT ITER 2311 NEW BEST:: SOT 335547 SOS 198187 HAS SOPS 198187 HAS SOUS 161882 HAS SOUPS 161882 WITH SCORE 162080.187
AT ITER 2316 NEW BEST:: SOT 335547 SOS 198183 HAS SOPS 198183 HAS SOUS 161882 HAS SOUPS 161882 WITH SCORE 162080.183
AT ITER 2328 NEW BEST:: SOT 335547 SOS 198165 HAS SOPS 198165 HAS SOUS 161850 HAS SOUPS 161850 WITH SCORE 162048.165
AT ITER 2329 NEW BEST:: SOT 335517 SOS 198105 HAS SOPS 198105 HAS SOUS 161820 HAS SOUPS 161820 WITH SCORE 162018.105
AT ITER 2330 NEW BEST:: SOT 335521 SOS 198193 HAS SOPS 198193 HAS SOUS 161801 HAS SOUPS 161801 WITH SCORE 161999.193
AT ITER 2333 NEW BEST:: SOT 335425 SOS 197858 HAS SOPS 197858 HAS SOUS 161714 HAS SOUPS 161714 WITH SCORE 161911.858
AT ITER 2341 NEW BEST:: SOT 335460 SOS 197832 HAS SOPS 197832 HAS SOUS 161611 HAS SOUPS 161611 WITH SCORE 161808.832
AT ITER 2342 NEW BEST:: SOT 335306 SOS 197678 HAS SOPS 197678 HAS SOUS 161450 HAS SOUPS 161450 WITH SCORE 161647.678
AT ITER 2351 NEW BEST:: SOT 335220 SOS 197592 HAS SOPS 197592 HAS SOUS 161364 HAS SOUPS 161364 WITH SCORE 161561.592
AT ITER 2355 NEW BEST:: SOT 335182 SOS 197547 HAS SOPS 197547 HAS SOUS 161319 HAS SOUPS 161319 WITH SCORE 161516.547
AT ITER 2365 NEW BEST:: SOT 335182 SOS 197474 HAS SOPS 197474 HAS SOUS 161280 HAS SOUPS 161280 WITH SCORE 161477.474
AT ITER 2366 NEW BEST:: SOT 335182 SOS 197164 HAS SOPS 197164 HAS SOUS 161156 HAS SOUPS 161156 WITH SCORE 161353.164
AT ITER 2367 NEW BEST:: SOT 335040 SOS 196085 HAS SOPS 196085 HAS SOUS 161023 HAS SOUPS 161023 WITH SCORE 161219.085
AT ITER 2370 NEW BEST:: SOT 335040 SOS 196145 HAS SOPS 196145 HAS SOUS 160945 HAS SOUPS 160945 WITH SCORE 161141.145
AT ITER 2371 NEW BEST:: SOT 335034 SOS 196084 HAS SOPS 196084 HAS SOUS 160928 HAS SOUPS 160928 WITH SCORE 161124.084
AT ITER 2374 NEW BEST:: SOT 335021 SOS 196048 HAS SOPS 196048 HAS SOUS 160928 HAS SOUPS 160928 WITH SCORE 161124.048
AT ITER 2378 NEW BEST:: SOT 334889 SOS 195916 HAS SOPS 195916 HAS SOUS 160796 HAS SOUPS 160796 WITH SCORE 160991.916
AT ITER 2379 NEW BEST:: SOT 334686 SOS 195733 HAS SOPS 195733 HAS SOUS 160613 HAS SOUPS 160613 WITH SCORE 160808.733
AT ITER 2405 NEW BEST:: SOT 334686 SOS 195722 HAS SOPS 195722 HAS SOUS 160602 HAS SOUPS 160602 WITH SCORE 160797.722
AT ITER 2415 NEW BEST:: SOT 334703 SOS 195624 HAS SOPS 195624 HAS SOUS 160545 HAS SOUPS 160545 WITH SCORE 160740.624
AT ITER 2419 NEW BEST:: SOT 334599 SOS 195107 HAS SOPS 195107 HAS SOUS 159698 HAS SOUPS 159698 WITH SCORE 159893.107
AT ITER 2423 NEW BEST:: SOT 334734 SOS 195218 HAS SOPS 195218 HAS SOUS 159656 HAS SOUPS 159656 WITH SCORE 159851.218
AT ITER 2424 NEW BEST:: SOT 334591 SOS 195075 HAS SOPS 195075 HAS SOUS 159513 HAS SOUPS 159513 WITH SCORE 159708.075
AT ITER 2425 NEW BEST:: SOT 334718 SOS 195196 HAS SOPS 195196 HAS SOUS 159510 HAS SOUPS 159510 WITH SCORE 159705.196
AT ITER 2429 NEW BEST:: SOT 334698 SOS 194821 HAS SOPS 194821 HAS SOUS 159304 HAS SOUPS 159304 WITH SCORE 159498.821
AT ITER 2431 NEW BEST:: SOT 334540 SOS 194683 HAS SOPS 194683 HAS SOUS 159166 HAS SOUPS 159166 WITH SCORE 159360.683
AT ITER 2432 NEW BEST:: SOT 334540 SOS 194653 HAS SOPS 194653 HAS SOUS 159136 HAS SOUPS 159136 WITH SCORE 159330.653
AT ITER 2457 NEW BEST:: SOT 334540 SOS 194639 HAS SOPS 194639 HAS SOUS 159117 HAS SOUPS 159117 WITH SCORE 159311.639
AT ITER 2470 NEW BEST:: SOT 334492 SOS 194566 HAS SOPS 194566 HAS SOUS 159064 HAS SOUPS 159064 WITH SCORE 159258.566
AT ITER 2485 NEW BEST:: SOT 334426 SOS 194500 HAS SOPS 194500 HAS SOUS 158998 HAS SOUPS 158998 WITH SCORE 159192.5
AT ITER 2508 NEW BEST:: SOT 334420 SOS 194494 HAS SOPS 194494 HAS SOUS 158995 HAS SOUPS 158995 WITH SCORE 159189.494
AT ITER 2512 NEW BEST:: SOT 334470 SOS 194490 HAS SOPS 194490 HAS SOUS 158939 HAS SOUPS 158939 WITH SCORE 159133.49
AT ITER 2513 NEW BEST:: SOT 334339 SOS 194359 HAS SOPS 194359 HAS SOUS 158808 HAS SOUPS 158808 WITH SCORE 159002.359
AT ITER 2517 NEW BEST:: SOT 334313 SOS 194333 HAS SOPS 194333 HAS SOUS 158782 HAS SOUPS 158782 WITH SCORE 158976.333
AT ITER 2520 NEW BEST:: SOT 333733 SOS 193633 HAS SOPS 193633 HAS SOUS 158265 HAS SOUPS 158265 WITH SCORE 158458.633
AT ITER 2525 NEW BEST:: SOT 333679 SOS 193579 HAS SOPS 193579 HAS SOUS 158211 HAS SOUPS 158211 WITH SCORE 158404.579
AT ITER 2541 NEW BEST:: SOT 333671 SOS 193540 HAS SOPS 193540 HAS SOUS 158190 HAS SOUPS 158190 WITH SCORE 158383.54
AT ITER 2543 NEW BEST:: SOT 333598 SOS 193490 HAS SOPS 193490 HAS SOUS 158175 HAS SOUPS 158175 WITH SCORE 158368.49
AT ITER 2554 NEW BEST:: SOT 333632 SOS 192610 HAS SOPS 192610 HAS SOUS 157706 HAS SOUPS 157706 WITH SCORE 157898.61
AT ITER 2560 NEW BEST:: SOT 333512 SOS 192522 HAS SOPS 192522 HAS SOUS 157512 HAS SOUPS 157512 WITH SCORE 157704.522
AT ITER 2561 NEW BEST:: SOT 333502 SOS 192498 HAS SOPS 192498 HAS SOUS 157504 HAS SOUPS 157504 WITH SCORE 157696.498
AT ITER 2575 NEW BEST:: SOT 333332 SOS 191450 HAS SOPS 191450 HAS SOUS 157097 HAS SOUPS 157097 WITH SCORE 157288.45
AT ITER 2580 NEW BEST:: SOT 333312 SOS 191242 HAS SOPS 191242 HAS SOUS 156889 HAS SOUPS 156889 WITH SCORE 157080.242
AT ITER 2603 NEW BEST:: SOT 333312 SOS 191101 HAS SOPS 191101 HAS SOUS 156748 HAS SOUPS 156748 WITH SCORE 156939.101
AT ITER 2604 NEW BEST:: SOT 333604 SOS 191409 HAS SOPS 191409 HAS SOUS 156705 HAS SOUPS 156705 WITH SCORE 156896.409
AT ITER 2607 NEW BEST:: SOT 333604 SOS 191411 HAS SOPS 191411 HAS SOUS 156703 HAS SOUPS 156703 WITH SCORE 156894.411
AT ITER 2622 NEW BEST:: SOT 333523 SOS 191275 HAS SOPS 191275 HAS SOUS 156512 HAS SOUPS 156512 WITH SCORE 156703.275
AT ITER 2623 NEW BEST:: SOT 333522 SOS 191270 HAS SOPS 191270 HAS SOUS 156507 HAS SOUPS 156507 WITH SCORE 156698.27
AT ITER 2632 NEW BEST:: SOT 333358 SOS 191197 HAS SOPS 191197 HAS SOUS 156442 HAS SOUPS 156442 WITH SCORE 156633.197
AT ITER 2638 NEW BEST:: SOT 333340 SOS 191131 HAS SOPS 191131 HAS SOUS 156391 HAS SOUPS 156391 WITH SCORE 156582.131
AT ITER 2639 NEW BEST:: SOT 333280 SOS 190601 HAS SOPS 190601 HAS SOUS 156005 HAS SOUPS 156005 WITH SCORE 156195.601
AT ITER 2679 NEW BEST:: SOT 333250 SOS 190595 HAS SOPS 190595 HAS SOUS 155992 HAS SOUPS 155992 WITH SCORE 156182.595
AT ITER 2685 NEW BEST:: SOT 333250 SOS 190484 HAS SOPS 190484 HAS SOUS 155879 HAS SOUPS 155879 WITH SCORE 156069.484
AT ITER 2688 NEW BEST:: SOT 333193 SOS 190427 HAS SOPS 190427 HAS SOUS 155822 HAS SOUPS 155822 WITH SCORE 156012.427
AT ITER 2690 NEW BEST:: SOT 333204 SOS 190331 HAS SOPS 190331 HAS SOUS 155805 HAS SOUPS 155805 WITH SCORE 155995.331
AT ITER 2691 NEW BEST:: SOT 333204 SOS 190293 HAS SOPS 190293 HAS SOUS 155767 HAS SOUPS 155767 WITH SCORE 155957.293
AT ITER 2696 NEW BEST:: SOT 333318 SOS 191403 HAS SOPS 191403 HAS SOUS 155744 HAS SOUPS 155744 WITH SCORE 155935.403
AT ITER 2699 NEW BEST:: SOT 333558 SOS 191442 HAS SOPS 191442 HAS SOUS 155627 HAS SOUPS 155627 WITH SCORE 155818.442
AT ITER 2706 NEW BEST:: SOT 333438 SOS 191322 HAS SOPS 191322 HAS SOUS 155626 HAS SOUPS 155626 WITH SCORE 155817.322
AT ITER 2727 NEW BEST:: SOT 333430 SOS 191306 HAS SOPS 191306 HAS SOUS 155626 HAS SOUPS 155626 WITH SCORE 155817.306
AT ITER 2736 NEW BEST:: SOT 333430 SOS 191306 HAS SOPS 191306 HAS SOUS 155578 HAS SOUPS 155578 WITH SCORE 155769.306
AT ITER 2738 NEW BEST:: SOT 333284 SOS 191325 HAS SOPS 191325 HAS SOUS 155480 HAS SOUPS 155480 WITH SCORE 155671.325
AT ITER 2740 NEW BEST:: SOT 333284 SOS 191322 HAS SOPS 191322 HAS SOUS 155467 HAS SOUPS 155467 WITH SCORE 155658.322
AT ITER 2744 NEW BEST:: SOT 333276 SOS 191314 HAS SOPS 191314 HAS SOUS 155459 HAS SOUPS 155459 WITH SCORE 155650.314
AT ITER 2746 NEW BEST:: SOT 333206 SOS 191220 HAS SOPS 191220 HAS SOUS 155418 HAS SOUPS 155418 WITH SCORE 155609.22
AT ITER 2757 NEW BEST:: SOT 333206 SOS 191191 HAS SOPS 191191 HAS SOUS 155389 HAS SOUPS 155389 WITH SCORE 155580.191
AT ITER 2770 NEW BEST:: SOT 333081 SOS 190827 HAS SOPS 190827 HAS SOUS 155263 HAS SOUPS 155263 WITH SCORE 155453.827
AT ITER 2774 NEW BEST:: SOT 332876 SOS 190668 HAS SOPS 190668 HAS SOUS 155126 HAS SOUPS 155126 WITH SCORE 155316.668
AT ITER 2778 NEW BEST:: SOT 332825 SOS 190566 HAS SOPS 190566 HAS SOUS 154973 HAS SOUPS 154973 WITH SCORE 155163.566
AT ITER 2799 NEW BEST:: SOT 332740 SOS 190481 HAS SOPS 190481 HAS SOUS 154888 HAS SOUPS 154888 WITH SCORE 155078.481
AT ITER 2808 NEW BEST:: SOT 332810 SOS 190479 HAS SOPS 190479 HAS SOUS 154886 HAS SOUPS 154886 WITH SCORE 155076.479
AT ITER 2818 NEW BEST:: SOT 332810 SOS 190477 HAS SOPS 190477 HAS SOUS 154884 HAS SOUPS 154884 WITH SCORE 155074.477
AT ITER 2819 NEW BEST:: SOT 332810 SOS 190045 HAS SOPS 190045 HAS SOUS 154855 HAS SOUPS 154855 WITH SCORE 155045.045
AT ITER 2820 NEW BEST:: SOT 332799 SOS 190045 HAS SOPS 190045 HAS SOUS 154844 HAS SOUPS 154844 WITH SCORE 155034.045
AT ITER 2825 NEW BEST:: SOT 332918 SOS 190176 HAS SOPS 190176 HAS SOUS 154776 HAS SOUPS 154776 WITH SCORE 154966.176
AT ITER 2838 NEW BEST:: SOT 332522 SOS 189612 HAS SOPS 189612 HAS SOUS 154212 HAS SOUPS 154212 WITH SCORE 154401.612
AT ITER 2841 NEW BEST:: SOT 332432 SOS 189522 HAS SOPS 189522 HAS SOUS 154122 HAS SOUPS 154122 WITH SCORE 154311.522
AT ITER 2851 NEW BEST:: SOT 332432 SOS 189439 HAS SOPS 189439 HAS SOUS 153840 HAS SOUPS 153840 WITH SCORE 154029.439
AT ITER 2858 NEW BEST:: SOT 332393 SOS 189400 HAS SOPS 189400 HAS SOUS 153788 HAS SOUPS 153788 WITH SCORE 153977.4
AT ITER 2867 NEW BEST:: SOT 332391 SOS 189394 HAS SOPS 189394 HAS SOUS 153784 HAS SOUPS 153784 WITH SCORE 153973.394
AT ITER 2878 NEW BEST:: SOT 332209 SOS 189212 HAS SOPS 189212 HAS SOUS 153602 HAS SOUPS 153602 WITH SCORE 153791.212
AT ITER 2882 NEW BEST:: SOT 332164 SOS 188987 HAS SOPS 188987 HAS SOUS 153602 HAS SOUPS 153602 WITH SCORE 153790.987
AT ITER 2890 NEW BEST:: SOT 332184 SOS 188760 HAS SOPS 188760 HAS SOUS 153540 HAS SOUPS 153540 WITH SCORE 153728.76
AT ITER 2891 NEW BEST:: SOT 332184 SOS 188537 HAS SOPS 188537 HAS SOUS 153317 HAS SOUPS 153317 WITH SCORE 153505.537
AT ITER 2894 NEW BEST:: SOT 331985 SOS 188291 HAS SOPS 188291 HAS SOUS 153071 HAS SOUPS 153071 WITH SCORE 153259.291
AT ITER 2899 NEW BEST:: SOT 331933 SOS 187971 HAS SOPS 187971 HAS SOUS 152771 HAS SOUPS 152771 WITH SCORE 152958.971
AT ITER 2901 NEW BEST:: SOT 331899 SOS 187937 HAS SOPS 187937 HAS SOUS 152703 HAS SOUPS 152703 WITH SCORE 152890.937
AT ITER 2909 NEW BEST:: SOT 331808 SOS 187859 HAS SOPS 187859 HAS SOUS 152677 HAS SOUPS 152677 WITH SCORE 152864.859
AT ITER 2911 NEW BEST:: SOT 331676 SOS 187661 HAS SOPS 187661 HAS SOUS 152486 HAS SOUPS 152486 WITH SCORE 152673.661
AT ITER 2923 NEW BEST:: SOT 331726 SOS 187627 HAS SOPS 187627 HAS SOUS 152429 HAS SOUPS 152429 WITH SCORE 152616.627
AT ITER 2925 NEW BEST:: SOT 331872 SOS 187537 HAS SOPS 187537 HAS SOUS 152258 HAS SOUPS 152258 WITH SCORE 152445.537
AT ITER 2928 NEW BEST:: SOT 331600 SOS 187265 HAS SOPS 187265 HAS SOUS 151986 HAS SOUPS 151986 WITH SCORE 152173.265
AT ITER 2941 NEW BEST:: SOT 331592 SOS 187135 HAS SOPS 187135 HAS SOUS 151942 HAS SOUPS 151942 WITH SCORE 152129.135
AT ITER 2944 NEW BEST:: SOT 331552 SOS 187003 HAS SOPS 187003 HAS SOUS 151906 HAS SOUPS 151906 WITH SCORE 152093.003
AT ITER 2951 NEW BEST:: SOT 331552 SOS 186903 HAS SOPS 186903 HAS SOUS 151886 HAS SOUPS 151886 WITH SCORE 152072.903
AT ITER 2971 NEW BEST:: SOT 330847 SOS 186198 HAS SOPS 186198 HAS SOUS 151103 HAS SOUPS 151103 WITH SCORE 151289.198
AT ITER 2982 NEW BEST:: SOT 330968 SOS 186188 HAS SOPS 186188 HAS SOUS 151093 HAS SOUPS 151093 WITH SCORE 151279.188
AT ITER 2986 NEW BEST:: SOT 330957 SOS 186185 HAS SOPS 186185 HAS SOUS 151079 HAS SOUPS 151079 WITH SCORE 151265.185
AT ITER 2999 NEW BEST:: SOT 330957 SOS 186171 HAS SOPS 186171 HAS SOUS 151023 HAS SOUPS 151023 WITH SCORE 151209.171
AT ITER 3015 NEW BEST:: SOT 330947 SOS 186161 HAS SOPS 186161 HAS SOUS 151018 HAS SOUPS 151018 WITH SCORE 151204.161
AT ITER 3025 NEW BEST:: SOT 331183 SOS 186174 HAS SOPS 186174 HAS SOUS 150888 HAS SOUPS 150888 WITH SCORE 151074.174
AT ITER 3038 NEW BEST:: SOT 330902 SOS 185908 HAS SOPS 185908 HAS SOUS 150445 HAS SOUPS 150445 WITH SCORE 150630.908
AT ITER 3040 NEW BEST:: SOT 330887 SOS 185893 HAS SOPS 185893 HAS SOUS 150430 HAS SOUPS 150430 WITH SCORE 150615.893
AT ITER 3043 NEW BEST:: SOT 330887 SOS 185889 HAS SOPS 185889 HAS SOUS 150430 HAS SOUPS 150430 WITH SCORE 150615.889
AT ITER 3045 NEW BEST:: SOT 330787 SOS 185831 HAS SOPS 185831 HAS SOUS 150243 HAS SOUPS 150243 WITH SCORE 150428.831
AT ITER 3046 NEW BEST:: SOT 330738 SOS 185838 HAS SOPS 185838 HAS SOUS 150168 HAS SOUPS 150168 WITH SCORE 150353.838
AT ITER 3055 NEW BEST:: SOT 330706 SOS 185662 HAS SOPS 185662 HAS SOUS 149520 HAS SOUPS 149520 WITH SCORE 149705.662
AT ITER 3061 NEW BEST:: SOT 331181 SOS 185681 HAS SOPS 185681 HAS SOUS 149280 HAS SOUPS 149280 WITH SCORE 149465.681
AT ITER 3073 NEW BEST:: SOT 331181 SOS 185664 HAS SOPS 185664 HAS SOUS 149263 HAS SOUPS 149263 WITH SCORE 149448.664
AT ITER 3076 NEW BEST:: SOT 330840 SOS 185480 HAS SOPS 185480 HAS SOUS 149182 HAS SOUPS 149182 WITH SCORE 149367.48
AT ITER 3081 NEW BEST:: SOT 330744 SOS 185336 HAS SOPS 185336 HAS SOUS 149038 HAS SOUPS 149038 WITH SCORE 149223.336
AT ITER 3085 NEW BEST:: SOT 330742 SOS 185189 HAS SOPS 185189 HAS SOUS 148834 HAS SOUPS 148834 WITH SCORE 149019.189
AT ITER 3095 NEW BEST:: SOT 330952 SOS 185555 HAS SOPS 185555 HAS SOUS 148546 HAS SOUPS 148546 WITH SCORE 148731.555
AT ITER 3096 NEW BEST:: SOT 330723 SOS 184558 HAS SOPS 184558 HAS SOUS 148306 HAS SOUPS 148306 WITH SCORE 148490.558
AT ITER 3100 NEW BEST:: SOT 330530 SOS 184365 HAS SOPS 184365 HAS SOUS 148113 HAS SOUPS 148113 WITH SCORE 148297.365
AT ITER 3110 NEW BEST:: SOT 330573 SOS 184408 HAS SOPS 184408 HAS SOUS 148108 HAS SOUPS 148108 WITH SCORE 148292.408
AT ITER 3115 NEW BEST:: SOT 330562 SOS 184397 HAS SOPS 184397 HAS SOUS 148107 HAS SOUPS 148107 WITH SCORE 148291.397
AT ITER 3117 NEW BEST:: SOT 330562 SOS 184371 HAS SOPS 184371 HAS SOUS 148081 HAS SOUPS 148081 WITH SCORE 148265.371
AT ITER 3133 NEW BEST:: SOT 330562 SOS 184301 HAS SOPS 184301 HAS SOUS 148011 HAS SOUPS 148011 WITH SCORE 148195.301
AT ITER 3136 NEW BEST:: SOT 330632 SOS 184184 HAS SOPS 184184 HAS SOUS 147839 HAS SOUPS 147839 WITH SCORE 148023.184
AT ITER 3137 NEW BEST:: SOT 330644 SOS 184160 HAS SOPS 184160 HAS SOUS 147827 HAS SOUPS 147827 WITH SCORE 148011.16
AT ITER 3151 NEW BEST:: SOT 330316 SOS 183943 HAS SOPS 183943 HAS SOUS 147556 HAS SOUPS 147556 WITH SCORE 147739.943
AT ITER 3163 NEW BEST:: SOT 330327 SOS 183761 HAS SOPS 183761 HAS SOUS 147336 HAS SOUPS 147336 WITH SCORE 147519.761
AT ITER 3178 NEW BEST:: SOT 330245 SOS 183679 HAS SOPS 183679 HAS SOUS 147254 HAS SOUPS 147254 WITH SCORE 147437.679
AT ITER 3182 NEW BEST:: SOT 330173 SOS 183607 HAS SOPS 183607 HAS SOUS 147182 HAS SOUPS 147182 WITH SCORE 147365.607
AT ITER 3183 NEW BEST:: SOT 329785 SOS 183413 HAS SOPS 183413 HAS SOUS 146988 HAS SOUPS 146988 WITH SCORE 147171.413
AT ITER 3187 NEW BEST:: SOT 329778 SOS 183406 HAS SOPS 183406 HAS SOUS 146981 HAS SOUPS 146981 WITH SCORE 147164.406
AT ITER 3194 NEW BEST:: SOT 329754 SOS 183374 HAS SOPS 183374 HAS SOUS 146953 HAS SOUPS 146953 WITH SCORE 147136.374
AT ITER 3195 NEW BEST:: SOT 329724 SOS 183284 HAS SOPS 183284 HAS SOUS 146863 HAS SOUPS 146863 WITH SCORE 147046.284
AT ITER 3200 NEW BEST:: SOT 329636 SOS 183207 HAS SOPS 183207 HAS SOUS 146814 HAS SOUPS 146814 WITH SCORE 146997.207
AT ITER 3207 NEW BEST:: SOT 329603 SOS 183174 HAS SOPS 183174 HAS SOUS 146781 HAS SOUPS 146781 WITH SCORE 146964.174
AT ITER 3216 NEW BEST:: SOT 329670 SOS 183359 HAS SOPS 183359 HAS SOUS 146769 HAS SOUPS 146769 WITH SCORE 146952.359
AT ITER 3230 NEW BEST:: SOT 329478 SOS 183060 HAS SOPS 183060 HAS SOUS 146470 HAS SOUPS 146470 WITH SCORE 146653.06
AT ITER 3237 NEW BEST:: SOT 329470 SOS 183052 HAS SOPS 183052 HAS SOUS 146462 HAS SOUPS 146462 WITH SCORE 146645.052
AT ITER 3239 NEW BEST:: SOT 329470 SOS 183051 HAS SOPS 183051 HAS SOUS 146461 HAS SOUPS 146461 WITH SCORE 146644.051
AT ITER 3242 NEW BEST:: SOT 329473 SOS 183037 HAS SOPS 183037 HAS SOUS 146447 HAS SOUPS 146447 WITH SCORE 146630.037
AT ITER 3259 NEW BEST:: SOT 329480 SOS 183044 HAS SOPS 183044 HAS SOUS 146370 HAS SOUPS 146370 WITH SCORE 146553.044
AT ITER 3260 NEW BEST:: SOT 329303 SOS 182867 HAS SOPS 182867 HAS SOUS 146343 HAS SOUPS 146343 WITH SCORE 146525.867
AT ITER 3282 NEW BEST:: SOT 329270 SOS 182801 HAS SOPS 182801 HAS SOUS 146244 HAS SOUPS 146244 WITH SCORE 146426.801
AT ITER 3296 NEW BEST:: SOT 329333 SOS 182731 HAS SOPS 182731 HAS SOUS 146174 HAS SOUPS 146174 WITH SCORE 146356.731
AT ITER 3299 NEW BEST:: SOT 329410 SOS 182300 HAS SOPS 182300 HAS SOUS 145924 HAS SOUPS 145924 WITH SCORE 146106.3
AT ITER 3320 NEW BEST:: SOT 329328 SOS 182175 HAS SOPS 182175 HAS SOUS 145799 HAS SOUPS 145799 WITH SCORE 145981.175
AT ITER 3332 NEW BEST:: SOT 329328 SOS 182170 HAS SOPS 182170 HAS SOUS 145794 HAS SOUPS 145794 WITH SCORE 145976.17
AT ITER 3335 NEW BEST:: SOT 329294 SOS 182133 HAS SOPS 182133 HAS SOUS 145754 HAS SOUPS 145754 WITH SCORE 145936.133
AT ITER 3337 NEW BEST:: SOT 329192 SOS 181748 HAS SOPS 181748 HAS SOUS 145514 HAS SOUPS 145514 WITH SCORE 145695.748
AT ITER 3385 NEW BEST:: SOT 329192 SOS 181752 HAS SOPS 181752 HAS SOUS 145469 HAS SOUPS 145469 WITH SCORE 145650.752
AT ITER 3411 NEW BEST:: SOT 329142 SOS 181702 HAS SOPS 181702 HAS SOUS 145419 HAS SOUPS 145419 WITH SCORE 145600.702
AT ITER 3416 NEW BEST:: SOT 329139 SOS 181741 HAS SOPS 181741 HAS SOUS 145314 HAS SOUPS 145314 WITH SCORE 145495.741
AT ITER 3418 NEW BEST:: SOT 329210 SOS 181832 HAS SOPS 181832 HAS SOUS 145258 HAS SOUPS 145258 WITH SCORE 145439.832
AT ITER 3422 NEW BEST:: SOT 329058 SOS 181676 HAS SOPS 181676 HAS SOUS 145234 HAS SOUPS 145234 WITH SCORE 145415.676
AT ITER 3432 NEW BEST:: SOT 328810 SOS 181428 HAS SOPS 181428 HAS SOUS 144986 HAS SOUPS 144986 WITH SCORE 145167.428
AT ITER 3436 NEW BEST:: SOT 328853 SOS 181342 HAS SOPS 181342 HAS SOUS 144986 HAS SOUPS 144986 WITH SCORE 145167.342
AT ITER 3448 NEW BEST:: SOT 328846 SOS 181252 HAS SOPS 181252 HAS SOUS 144955 HAS SOUPS 144955 WITH SCORE 145136.252
AT ITER 3461 NEW BEST:: SOT 328834 SOS 181108 HAS SOPS 181108 HAS SOUS 144811 HAS SOUPS 144811 WITH SCORE 144992.108
AT ITER 3468 NEW BEST:: SOT 328617 SOS 180891 HAS SOPS 180891 HAS SOUS 144670 HAS SOUPS 144670 WITH SCORE 144850.891
AT ITER 3470 NEW BEST:: SOT 328617 SOS 180865 HAS SOPS 180865 HAS SOUS 144644 HAS SOUPS 144644 WITH SCORE 144824.865
AT ITER 3471 NEW BEST:: SOT 328617 SOS 180840 HAS SOPS 180840 HAS SOUS 144644 HAS SOUPS 144644 WITH SCORE 144824.84
AT ITER 3493 NEW BEST:: SOT 328521 SOS 180617 HAS SOPS 180617 HAS SOUS 144366 HAS SOUPS 144366 WITH SCORE 144546.617
AT ITER 3503 NEW BEST:: SOT 328495 SOS 180617 HAS SOPS 180617 HAS SOUS 144340 HAS SOUPS 144340 WITH SCORE 144520.617
AT ITER 3506 NEW BEST:: SOT 328529 SOS 180443 HAS SOPS 180443 HAS SOUS 144280 HAS SOUPS 144280 WITH SCORE 144460.443
AT ITER 3509 NEW BEST:: SOT 328679 SOS 180669 HAS SOPS 180669 HAS SOUS 144184 HAS SOUPS 144184 WITH SCORE 144364.669
AT ITER 3537 NEW BEST:: SOT 328605 SOS 179869 HAS SOPS 179869 HAS SOUS 143452 HAS SOUPS 143452 WITH SCORE 143631.869
AT ITER 3543 NEW BEST:: SOT 328605 SOS 179866 HAS SOPS 179866 HAS SOUS 143449 HAS SOUPS 143449 WITH SCORE 143628.866
AT ITER 3544 NEW BEST:: SOT 328214 SOS 179475 HAS SOPS 179475 HAS SOUS 143058 HAS SOUPS 143058 WITH SCORE 143237.475
AT ITER 3546 NEW BEST:: SOT 328188 SOS 179449 HAS SOPS 179449 HAS SOUS 142959 HAS SOUPS 142959 WITH SCORE 143138.449
AT ITER 3552 NEW BEST:: SOT 328169 SOS 179430 HAS SOPS 179430 HAS SOUS 142940 HAS SOUPS 142940 WITH SCORE 143119.43
AT ITER 3555 NEW BEST:: SOT 328139 SOS 179400 HAS SOPS 179400 HAS SOUS 142910 HAS SOUPS 142910 WITH SCORE 143089.4
AT ITER 3563 NEW BEST:: SOT 328095 SOS 179350 HAS SOPS 179350 HAS SOUS 142895 HAS SOUPS 142895 WITH SCORE 143074.35
AT ITER 3568 NEW BEST:: SOT 328088 SOS 178936 HAS SOPS 178936 HAS SOUS 142571 HAS SOUPS 142571 WITH SCORE 142749.936
AT ITER 3573 NEW BEST:: SOT 328144 SOS 179024 HAS SOPS 179024 HAS SOUS 142565 HAS SOUPS 142565 WITH SCORE 142744.024
AT ITER 3606 NEW BEST:: SOT 327964 SOS 178655 HAS SOPS 178655 HAS SOUS 142085 HAS SOUPS 142085 WITH SCORE 142263.655
AT ITER 3619 NEW BEST:: SOT 327899 SOS 178645 HAS SOPS 178645 HAS SOUS 142045 HAS SOUPS 142045 WITH SCORE 142223.645
AT ITER 3628 NEW BEST:: SOT 327899 SOS 178225 HAS SOPS 178225 HAS SOUS 141906 HAS SOUPS 141906 WITH SCORE 142084.225
AT ITER 3639 NEW BEST:: SOT 327888 SOS 178192 HAS SOPS 178192 HAS SOUS 141895 HAS SOUPS 141895 WITH SCORE 142073.192
AT ITER 3650 NEW BEST:: SOT 327318 SOS 177774 HAS SOPS 177774 HAS SOUS 141818 HAS SOUPS 141818 WITH SCORE 141995.774
AT ITER 3653 NEW BEST:: SOT 326769 SOS 177225 HAS SOPS 177225 HAS SOUS 141269 HAS SOUPS 141269 WITH SCORE 141446.225
AT ITER 3654 NEW BEST:: SOT 326725 SOS 177170 HAS SOPS 177170 HAS SOUS 141214 HAS SOUPS 141214 WITH SCORE 141391.17
AT ITER 3667 NEW BEST:: SOT 326667 SOS 177188 HAS SOPS 177188 HAS SOUS 141128 HAS SOUPS 141128 WITH SCORE 141305.188
AT ITER 3670 NEW BEST:: SOT 326700 SOS 177122 HAS SOPS 177122 HAS SOUS 141128 HAS SOUPS 141128 WITH SCORE 141305.122
AT ITER 3690 NEW BEST:: SOT 326705 SOS 177102 HAS SOPS 177102 HAS SOUS 141123 HAS SOUPS 141123 WITH SCORE 141300.102
AT ITER 3700 NEW BEST:: SOT 326705 SOS 177102 HAS SOPS 177102 HAS SOUS 141119 HAS SOUPS 141119 WITH SCORE 141296.102
AT ITER 3712 NEW BEST:: SOT 326691 SOS 177088 HAS SOPS 177088 HAS SOUS 141112 HAS SOUPS 141112 WITH SCORE 141289.088
AT ITER 3720 NEW BEST:: SOT 326629 SOS 177026 HAS SOPS 177026 HAS SOUS 141112 HAS SOUPS 141112 WITH SCORE 141289.026
AT ITER 3730 NEW BEST:: SOT 326637 SOS 176971 HAS SOPS 176971 HAS SOUS 141009 HAS SOUPS 141009 WITH SCORE 141185.971
AT ITER 3736 NEW BEST:: SOT 326401 SOS 176722 HAS SOPS 176722 HAS SOUS 140720 HAS SOUPS 140720 WITH SCORE 140896.722
AT ITER 3738 NEW BEST:: SOT 326033 SOS 176354 HAS SOPS 176354 HAS SOUS 140352 HAS SOUPS 140352 WITH SCORE 140528.354
AT ITER 3746 NEW BEST:: SOT 326033 SOS 176472 HAS SOPS 176472 HAS SOUS 140308 HAS SOUPS 140308 WITH SCORE 140484.472
AT ITER 3747 NEW BEST:: SOT 326293 SOS 176850 HAS SOPS 176850 HAS SOUS 140250 HAS SOUPS 140250 WITH SCORE 140426.85
AT ITER 3749 NEW BEST:: SOT 326346 SOS 176903 HAS SOPS 176903 HAS SOUS 140204 HAS SOUPS 140204 WITH SCORE 140380.903
AT ITER 3754 NEW BEST:: SOT 326326 SOS 176883 HAS SOPS 176883 HAS SOUS 140184 HAS SOUPS 140184 WITH SCORE 140360.883
AT ITER 3760 NEW BEST:: SOT 326242 SOS 176825 HAS SOPS 176825 HAS SOUS 140152 HAS SOUPS 140152 WITH SCORE 140328.825
AT ITER 3761 NEW BEST:: SOT 326303 SOS 176866 HAS SOPS 176866 HAS SOUS 140047 HAS SOUPS 140047 WITH SCORE 140223.866
AT ITER 3768 NEW BEST:: SOT 326303 SOS 176863 HAS SOPS 176863 HAS SOUS 139792 HAS SOUPS 139792 WITH SCORE 139968.863
AT ITER 3771 NEW BEST:: SOT 325906 SOS 176416 HAS SOPS 176416 HAS SOUS 139246 HAS SOUPS 139246 WITH SCORE 139422.416
AT ITER 3784 NEW BEST:: SOT 325846 SOS 176179 HAS SOPS 176179 HAS SOUS 138941 HAS SOUPS 138941 WITH SCORE 139117.179
AT ITER 3785 NEW BEST:: SOT 325817 SOS 176114 HAS SOPS 176114 HAS SOUS 138912 HAS SOUPS 138912 WITH SCORE 139088.114
AT ITER 3790 NEW BEST:: SOT 325817 SOS 176105 HAS SOPS 176105 HAS SOUS 138903 HAS SOUPS 138903 WITH SCORE 139079.105
AT ITER 3805 NEW BEST:: SOT 325810 SOS 176098 HAS SOPS 176098 HAS SOUS 138896 HAS SOUPS 138896 WITH SCORE 139072.098
AT ITER 3815 NEW BEST:: SOT 325810 SOS 175932 HAS SOPS 175932 HAS SOUS 138685 HAS SOUPS 138685 WITH SCORE 138860.932
AT ITER 3817 NEW BEST:: SOT 325810 SOS 175730 HAS SOPS 175730 HAS SOUS 138596 HAS SOUPS 138596 WITH SCORE 138771.73
AT ITER 3822 NEW BEST:: SOT 325810 SOS 175660 HAS SOPS 175660 HAS SOUS 138567 HAS SOUPS 138567 WITH SCORE 138742.66
AT ITER 3823 NEW BEST:: SOT 325813 SOS 175669 HAS SOPS 175669 HAS SOUS 138564 HAS SOUPS 138564 WITH SCORE 138739.669
AT ITER 3826 NEW BEST:: SOT 325813 SOS 174940 HAS SOPS 174940 HAS SOUS 138309 HAS SOUPS 138309 WITH SCORE 138483.94
AT ITER 3831 NEW BEST:: SOT 325809 SOS 174936 HAS SOPS 174936 HAS SOUS 138305 HAS SOUPS 138305 WITH SCORE 138479.936
AT ITER 3835 NEW BEST:: SOT 325544 SOS 174694 HAS SOPS 174694 HAS SOUS 138076 HAS SOUPS 138076 WITH SCORE 138250.694
AT ITER 3844 NEW BEST:: SOT 325516 SOS 174700 HAS SOPS 174700 HAS SOUS 138012 HAS SOUPS 138012 WITH SCORE 138186.7
AT ITER 3847 NEW BEST:: SOT 325588 SOS 174834 HAS SOPS 174834 HAS SOUS 138003 HAS SOUPS 138003 WITH SCORE 138177.834
AT ITER 3850 NEW BEST:: SOT 325569 SOS 174815 HAS SOPS 174815 HAS SOUS 138003 HAS SOUPS 138003 WITH SCORE 138177.815
AT ITER 3869 NEW BEST:: SOT 325548 SOS 174879 HAS SOPS 174879 HAS SOUS 137982 HAS SOUPS 137982 WITH SCORE 138156.879
AT ITER 3871 NEW BEST:: SOT 325495 SOS 174826 HAS SOPS 174826 HAS SOUS 137946 HAS SOUPS 137946 WITH SCORE 138120.826
AT ITER 3923 NEW BEST:: SOT 325416 SOS 174686 HAS SOPS 174686 HAS SOUS 137718 HAS SOUPS 137718 WITH SCORE 137892.686
AT ITER 3932 NEW BEST:: SOT 325380 SOS 174650 HAS SOPS 174650 HAS SOUS 137682 HAS SOUPS 137682 WITH SCORE 137856.65
AT ITER 3944 NEW BEST:: SOT 325226 SOS 174496 HAS SOPS 174496 HAS SOUS 137540 HAS SOUPS 137540 WITH SCORE 137714.496
AT ITER 3947 NEW BEST:: SOT 325216 SOS 174487 HAS SOPS 174487 HAS SOUS 137531 HAS SOUPS 137531 WITH SCORE 137705.487
AT ITER 3961 NEW BEST:: SOT 325079 SOS 174312 HAS SOPS 174312 HAS SOUS 137194 HAS SOUPS 137194 WITH SCORE 137368.312
AT ITER 3975 NEW BEST:: SOT 324738 SOS 173808 HAS SOPS 173808 HAS SOUS 136690 HAS SOUPS 136690 WITH SCORE 136863.808
AT ITER 3991 NEW BEST:: SOT 324738 SOS 173749 HAS SOPS 173749 HAS SOUS 136623 HAS SOUPS 136623 WITH SCORE 136796.749
AT ITER 4001 NEW BEST:: SOT 324424 SOS 173435 HAS SOPS 173435 HAS SOUS 136309 HAS SOUPS 136309 WITH SCORE 136482.435
AT ITER 4015 NEW BEST:: SOT 324360 SOS 173371 HAS SOPS 173371 HAS SOUS 136245 HAS SOUPS 136245 WITH SCORE 136418.371
AT ITER 4016 NEW BEST:: SOT 324297 SOS 173308 HAS SOPS 173308 HAS SOUS 136043 HAS SOUPS 136043 WITH SCORE 136216.308
AT ITER 4020 NEW BEST:: SOT 324185 SOS 173196 HAS SOPS 173196 HAS SOUS 135931 HAS SOUPS 135931 WITH SCORE 136104.196
AT ITER 4022 NEW BEST:: SOT 324185 SOS 173168 HAS SOPS 173168 HAS SOUS 135903 HAS SOUPS 135903 WITH SCORE 136076.168
AT ITER 4024 NEW BEST:: SOT 324207 SOS 173135 HAS SOPS 173135 HAS SOUS 135772 HAS SOUPS 135772 WITH SCORE 135945.135
AT ITER 4047 NEW BEST:: SOT 324165 SOS 173093 HAS SOPS 173093 HAS SOUS 135741 HAS SOUPS 135741 WITH SCORE 135914.093
AT ITER 4083 NEW BEST:: SOT 324026 SOS 172903 HAS SOPS 172903 HAS SOUS 135579 HAS SOUPS 135579 WITH SCORE 135751.903
AT ITER 4089 NEW BEST:: SOT 324026 SOS 172903 HAS SOPS 172903 HAS SOUS 135551 HAS SOUPS 135551 WITH SCORE 135723.903
AT ITER 4101 NEW BEST:: SOT 324026 SOS 172820 HAS SOPS 172820 HAS SOUS 135435 HAS SOUPS 135435 WITH SCORE 135607.82
AT ITER 4115 NEW BEST:: SOT 324022 SOS 172808 HAS SOPS 172808 HAS SOUS 135431 HAS SOUPS 135431 WITH SCORE 135603.808
AT ITER 4126 NEW BEST:: SOT 323891 SOS 172291 HAS SOPS 172291 HAS SOUS 134920 HAS SOUPS 134920 WITH SCORE 135092.291
AT ITER 4128 NEW BEST:: SOT 323889 SOS 172289 HAS SOPS 172289 HAS SOUS 134918 HAS SOUPS 134918 WITH SCORE 135090.289
AT ITER 4177 NEW BEST:: SOT 323864 SOS 172264 HAS SOPS 172264 HAS SOUS 134893 HAS SOUPS 134893 WITH SCORE 135065.264
AT ITER 4183 NEW BEST:: SOT 323851 SOS 172238 HAS SOPS 172238 HAS SOUS 134867 HAS SOUPS 134867 WITH SCORE 135039.238
AT ITER 4190 NEW BEST:: SOT 323836 SOS 172076 HAS SOPS 172076 HAS SOUS 134846 HAS SOUPS 134846 WITH SCORE 135018.076
AT ITER 4209 NEW BEST:: SOT 323712 SOS 171572 HAS SOPS 171572 HAS SOUS 134342 HAS SOUPS 134342 WITH SCORE 134513.572
AT ITER 4212 NEW BEST:: SOT 323685 SOS 171545 HAS SOPS 171545 HAS SOUS 134315 HAS SOUPS 134315 WITH SCORE 134486.545
AT ITER 4229 NEW BEST:: SOT 323589 SOS 171468 HAS SOPS 171468 HAS SOUS 134302 HAS SOUPS 134302 WITH SCORE 134473.468
AT ITER 4232 NEW BEST:: SOT 323366 SOS 171156 HAS SOPS 171156 HAS SOUS 133990 HAS SOUPS 133990 WITH SCORE 134161.156
AT ITER 4245 NEW BEST:: SOT 323366 SOS 171120 HAS SOPS 171120 HAS SOUS 133951 HAS SOUPS 133951 WITH SCORE 134122.12
AT ITER 4251 NEW BEST:: SOT 323270 SOS 170802 HAS SOPS 170802 HAS SOUS 133860 HAS SOUPS 133860 WITH SCORE 134030.802
AT ITER 4256 NEW BEST:: SOT 323270 SOS 170790 HAS SOPS 170790 HAS SOUS 133855 HAS SOUPS 133855 WITH SCORE 134025.79
AT ITER 4279 NEW BEST:: SOT 323248 SOS 170715 HAS SOPS 170715 HAS SOUS 133780 HAS SOUPS 133780 WITH SCORE 133950.715
AT ITER 4280 NEW BEST:: SOT 323148 SOS 170631 HAS SOPS 170631 HAS SOUS 133696 HAS SOUPS 133696 WITH SCORE 133866.631
AT ITER 4297 NEW BEST:: SOT 323151 SOS 170575 HAS SOPS 170575 HAS SOUS 133672 HAS SOUPS 133672 WITH SCORE 133842.575
AT ITER 4303 NEW BEST:: SOT 323151 SOS 170577 HAS SOPS 170577 HAS SOUS 133668 HAS SOUPS 133668 WITH SCORE 133838.577
AT ITER 4306 NEW BEST:: SOT 322902 SOS 170074 HAS SOPS 170074 HAS SOUS 133172 HAS SOUPS 133172 WITH SCORE 133342.074
AT ITER 4321 NEW BEST:: SOT 322718 SOS 170047 HAS SOPS 170047 HAS SOUS 133156 HAS SOUPS 133156 WITH SCORE 133326.047
AT ITER 4338 NEW BEST:: SOT 322681 SOS 170001 HAS SOPS 170001 HAS SOUS 133110 HAS SOUPS 133110 WITH SCORE 133280.001
AT ITER 4343 NEW BEST:: SOT 322587 SOS 169907 HAS SOPS 169907 HAS SOUS 133016 HAS SOUPS 133016 WITH SCORE 133185.907
AT ITER 4347 NEW BEST:: SOT 322548 SOS 169782 HAS SOPS 169782 HAS SOUS 132871 HAS SOUPS 132871 WITH SCORE 133040.782
AT ITER 4369 NEW BEST:: SOT 322398 SOS 169537 HAS SOPS 169537 HAS SOUS 132701 HAS SOUPS 132701 WITH SCORE 132870.537
AT ITER 4371 NEW BEST:: SOT 322373 SOS 169303 HAS SOPS 169303 HAS SOUS 132489 HAS SOUPS 132489 WITH SCORE 132658.303
AT ITER 4378 NEW BEST:: SOT 322478 SOS 169390 HAS SOPS 169390 HAS SOUS 132474 HAS SOUPS 132474 WITH SCORE 132643.39
AT ITER 4386 NEW BEST:: SOT 322470 SOS 169366 HAS SOPS 169366 HAS SOUS 132458 HAS SOUPS 132458 WITH SCORE 132627.366
AT ITER 4393 NEW BEST:: SOT 322468 SOS 169364 HAS SOPS 169364 HAS SOUS 132456 HAS SOUPS 132456 WITH SCORE 132625.364
AT ITER 4395 NEW BEST:: SOT 322428 SOS 169124 HAS SOPS 169124 HAS SOUS 132336 HAS SOUPS 132336 WITH SCORE 132505.124
AT ITER 4403 NEW BEST:: SOT 322415 SOS 168943 HAS SOPS 168943 HAS SOUS 132038 HAS SOUPS 132038 WITH SCORE 132206.943
AT ITER 4404 NEW BEST:: SOT 322430 SOS 168886 HAS SOPS 168886 HAS SOUS 131889 HAS SOUPS 131889 WITH SCORE 132057.886
AT ITER 4413 NEW BEST:: SOT 322426 SOS 168880 HAS SOPS 168880 HAS SOUS 131885 HAS SOUPS 131885 WITH SCORE 132053.88
AT ITER 4416 NEW BEST:: SOT 322086 SOS 168322 HAS SOPS 168322 HAS SOUS 131326 HAS SOUPS 131326 WITH SCORE 131494.322
AT ITER 4421 NEW BEST:: SOT 322087 SOS 168230 HAS SOPS 168230 HAS SOUS 131234 HAS SOUPS 131234 WITH SCORE 131402.23
AT ITER 4423 NEW BEST:: SOT 322115 SOS 168266 HAS SOPS 168266 HAS SOUS 131224 HAS SOUPS 131224 WITH SCORE 131392.266
AT ITER 4425 NEW BEST:: SOT 322115 SOS 168282 HAS SOPS 168282 HAS SOUS 131208 HAS SOUPS 131208 WITH SCORE 131376.282
AT ITER 4473 NEW BEST:: SOT 321964 SOS 168086 HAS SOPS 168086 HAS SOUS 131060 HAS SOUPS 131060 WITH SCORE 131228.086
AT ITER 4477 NEW BEST:: SOT 321962 SOS 168082 HAS SOPS 168082 HAS SOUS 131057 HAS SOUPS 131057 WITH SCORE 131225.082
AT ITER 4479 NEW BEST:: SOT 322082 SOS 168001 HAS SOPS 168001 HAS SOUS 130950 HAS SOUPS 130950 WITH SCORE 131118.001
AT ITER 4488 NEW BEST:: SOT 322189 SOS 168081 HAS SOPS 168081 HAS SOUS 130695 HAS SOUPS 130695 WITH SCORE 130863.081
AT ITER 4511 NEW BEST:: SOT 322172 SOS 167641 HAS SOPS 167641 HAS SOUS 130502 HAS SOUPS 130502 WITH SCORE 130669.641
AT ITER 4521 NEW BEST:: SOT 321936 SOS 167201 HAS SOPS 167201 HAS SOUS 130198 HAS SOUPS 130198 WITH SCORE 130365.201
AT ITER 4530 NEW BEST:: SOT 321936 SOS 167202 HAS SOPS 167202 HAS SOUS 130189 HAS SOUPS 130189 WITH SCORE 130356.202
AT ITER 4546 NEW BEST:: SOT 321958 SOS 167173 HAS SOPS 167173 HAS SOUS 130046 HAS SOUPS 130046 WITH SCORE 130213.173
AT ITER 4552 NEW BEST:: SOT 321950 SOS 167157 HAS SOPS 167157 HAS SOUS 130026 HAS SOUPS 130026 WITH SCORE 130193.157
AT ITER 4559 NEW BEST:: SOT 321230 SOS 166538 HAS SOPS 166538 HAS SOUS 129635 HAS SOUPS 129635 WITH SCORE 129801.538
AT ITER 4560 NEW BEST:: SOT 320979 SOS 166385 HAS SOPS 166385 HAS SOUS 129205 HAS SOUPS 129205 WITH SCORE 129371.385
AT ITER 4566 NEW BEST:: SOT 320917 SOS 166366 HAS SOPS 166366 HAS SOUS 129124 HAS SOUPS 129124 WITH SCORE 129290.366
AT ITER 4575 NEW BEST:: SOT 320953 SOS 166404 HAS SOPS 166404 HAS SOUS 129123 HAS SOUPS 129123 WITH SCORE 129289.404
AT ITER 4606 NEW BEST:: SOT 320875 SOS 166192 HAS SOPS 166192 HAS SOUS 128950 HAS SOUPS 128950 WITH SCORE 129116.192
AT ITER 4619 NEW BEST:: SOT 320795 SOS 166032 HAS SOPS 166032 HAS SOUS 128895 HAS SOUPS 128895 WITH SCORE 129061.032
AT ITER 4624 NEW BEST:: SOT 320767 SOS 165525 HAS SOPS 165525 HAS SOUS 128418 HAS SOUPS 128418 WITH SCORE 128583.525
AT ITER 4640 NEW BEST:: SOT 320762 SOS 165515 HAS SOPS 165515 HAS SOUS 128417 HAS SOUPS 128417 WITH SCORE 128582.515
AT ITER 4649 NEW BEST:: SOT 320157 SOS 165439 HAS SOPS 165439 HAS SOUS 128318 HAS SOUPS 128318 WITH SCORE 128483.439
AT ITER 4672 NEW BEST:: SOT 320155 SOS 165437 HAS SOPS 165437 HAS SOUS 128316 HAS SOUPS 128316 WITH SCORE 128481.437
AT ITER 4685 NEW BEST:: SOT 320135 SOS 165771 HAS SOPS 165771 HAS SOUS 128220 HAS SOUPS 128220 WITH SCORE 128385.771
AT ITER 4709 NEW BEST:: SOT 320135 SOS 165591 HAS SOPS 165591 HAS SOUS 128124 HAS SOUPS 128124 WITH SCORE 128289.591
AT ITER 4716 NEW BEST:: SOT 320135 SOS 165375 HAS SOPS 165375 HAS SOUS 128057 HAS SOUPS 128057 WITH SCORE 128222.375
AT ITER 4717 NEW BEST:: SOT 320070 SOS 165064 HAS SOPS 165064 HAS SOUS 127975 HAS SOUPS 127975 WITH SCORE 128140.064
AT ITER 4723 NEW BEST:: SOT 320068 SOS 165062 HAS SOPS 165062 HAS SOUS 127973 HAS SOUPS 127973 WITH SCORE 128138.062
AT ITER 4727 NEW BEST:: SOT 320068 SOS 165035 HAS SOPS 165035 HAS SOUS 127924 HAS SOUPS 127924 WITH SCORE 128089.035
AT ITER 4757 NEW BEST:: SOT 320048 SOS 165015 HAS SOPS 165015 HAS SOUS 127904 HAS SOUPS 127904 WITH SCORE 128069.015
AT ITER 4759 NEW BEST:: SOT 320048 SOS 164949 HAS SOPS 164949 HAS SOUS 127801 HAS SOUPS 127801 WITH SCORE 127965.949
AT ITER 4765 NEW BEST:: SOT 320048 SOS 164949 HAS SOPS 164949 HAS SOUS 127739 HAS SOUPS 127739 WITH SCORE 127903.949
AT ITER 4770 NEW BEST:: SOT 319884 SOS 164701 HAS SOPS 164701 HAS SOUS 127235 HAS SOUPS 127235 WITH SCORE 127399.701
AT ITER 4771 NEW BEST:: SOT 319811 SOS 164584 HAS SOPS 164584 HAS SOUS 127198 HAS SOUPS 127198 WITH SCORE 127362.584
AT ITER 4784 NEW BEST:: SOT 319780 SOS 164357 HAS SOPS 164357 HAS SOUS 127157 HAS SOUPS 127157 WITH SCORE 127321.357
AT ITER 4789 NEW BEST:: SOT 319780 SOS 164047 HAS SOPS 164047 HAS SOUS 127002 HAS SOUPS 127002 WITH SCORE 127166.047
AT ITER 4794 NEW BEST:: SOT 319698 SOS 163949 HAS SOPS 163949 HAS SOUS 126838 HAS SOUPS 126838 WITH SCORE 127001.949
AT ITER 4799 NEW BEST:: SOT 319693 SOS 163919 HAS SOPS 163919 HAS SOUS 126830 HAS SOUPS 126830 WITH SCORE 126993.919
AT ITER 4826 NEW BEST:: SOT 319629 SOS 163807 HAS SOPS 163807 HAS SOUS 126799 HAS SOUPS 126799 WITH SCORE 126962.807
AT ITER 4831 NEW BEST:: SOT 319524 SOS 163691 HAS SOPS 163691 HAS SOUS 126683 HAS SOUPS 126683 WITH SCORE 126846.691
AT ITER 4839 NEW BEST:: SOT 319503 SOS 163607 HAS SOPS 163607 HAS SOUS 126681 HAS SOUPS 126681 WITH SCORE 126844.607
AT ITER 4852 NEW BEST:: SOT 319326 SOS 163212 HAS SOPS 163212 HAS SOUS 126428 HAS SOUPS 126428 WITH SCORE 126591.212
AT ITER 4862 NEW BEST:: SOT 319106 SOS 163036 HAS SOPS 163036 HAS SOUS 126388 HAS SOUPS 126388 WITH SCORE 126551.036
AT ITER 4871 NEW BEST:: SOT 319090 SOS 163032 HAS SOPS 163032 HAS SOUS 126384 HAS SOUPS 126384 WITH SCORE 126547.032
AT ITER 4891 NEW BEST:: SOT 319117 SOS 163028 HAS SOPS 163028 HAS SOUS 126380 HAS SOUPS 126380 WITH SCORE 126543.028
AT ITER 4897 NEW BEST:: SOT 319423 SOS 163334 HAS SOPS 163334 HAS SOUS 126373 HAS SOUPS 126373 WITH SCORE 126536.334
AT ITER 4911 NEW BEST:: SOT 319484 SOS 163274 HAS SOPS 163274 HAS SOUS 126329 HAS SOUPS 126329 WITH SCORE 126492.274
AT ITER 4926 NEW BEST:: SOT 319484 SOS 163190 HAS SOPS 163190 HAS SOUS 126317 HAS SOUPS 126317 WITH SCORE 126480.19
AT ITER 4928 NEW BEST:: SOT 319484 SOS 163151 HAS SOPS 163151 HAS SOUS 126278 HAS SOUPS 126278 WITH SCORE 126441.151
AT ITER 4936 NEW BEST:: SOT 319473 SOS 163151 HAS SOPS 163151 HAS SOUS 126267 HAS SOUPS 126267 WITH SCORE 126430.151
AT ITER 4941 NEW BEST:: SOT 319473 SOS 163093 HAS SOPS 163093 HAS SOUS 126180 HAS SOUPS 126180 WITH SCORE 126343.093
AT ITER 4946 NEW BEST:: SOT 319165 SOS 162851 HAS SOPS 162851 HAS SOUS 126155 HAS SOUPS 126155 WITH SCORE 126317.851
AT ITER 4954 NEW BEST:: SOT 319168 SOS 162802 HAS SOPS 162802 HAS SOUS 126114 HAS SOUPS 126114 WITH SCORE 126276.802
AT ITER 4961 NEW BEST:: SOT 319160 SOS 162794 HAS SOPS 162794 HAS SOUS 126106 HAS SOUPS 126106 WITH SCORE 126268.794
AT ITER 4965 NEW BEST:: SOT 319160 SOS 162746 HAS SOPS 162746 HAS SOUS 126058 HAS SOUPS 126058 WITH SCORE 126220.746
AT ITER 4983 NEW BEST:: SOT 319075 SOS 162634 HAS SOPS 162634 HAS SOUS 125946 HAS SOUPS 125946 WITH SCORE 126108.634
AT ITER 4984 NEW BEST:: SOT 319074 SOS 162630 HAS SOPS 162630 HAS SOUS 125946 HAS SOUPS 125946 WITH SCORE 126108.63
AT ITER 4986 NEW BEST:: SOT 318921 SOS 162477 HAS SOPS 162477 HAS SOUS 125524 HAS SOUPS 125524 WITH SCORE 125686.477
AT ITER 4998 NEW BEST:: SOT 318885 SOS 162407 HAS SOPS 162407 HAS SOUS 125470 HAS SOUPS 125470 WITH SCORE 125632.407
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-00 ( (AX( ( ( ( ((potential((tk(P37)>=1) & (tk(P43)>=1) & (tk(P53)>=1)))) | ((potential((tk(P166)>=1)))) ) & (! ((potential((tk(P406)>=1) & (tk(P419)>=1))))) ) | (EX( ((potential((tk(P547)>=1)))))) ))) | (AG( (AF( (! ((potential((tk(P226)>=1))))))))) )
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-01 (EG( (AX( (EF( ((potential((tk(P4)>=1) & (tk(P25)>=1))))))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-02 (! (! (AF( ( ((potential((tk(P541)>=1)))) & (! ((potential((tk(P539)>=1) & (tk(P549)>=1) & (tk(P553)>=1))))) )))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-03 (AF( ((potential((tk(P482)>=1) & (tk(P492)>=1))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-04 (AU( ( (AF( ((potential((tk(P357)>=1) & (tk(P368)>=1)))))) & ((potential((tk(P51)>=1)))) ) , (EF( ( ((potential((tk(P701)>=1)))) & ((potential((tk(P541)>=1)))) ))) ))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-05 (! (AF( ((potential((tk(P80)>=1) & (tk(P95)>=1)))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-06 (EU( ( ( ((potential((tk(P157)>=1) & (tk(P167)>=1)))) | ( ((potential((tk(P252)>=1)))) | ((potential((tk(P479)>=1) & (tk(P500)>=1)))) ) ) & ( ( ((potential((tk(P613)>=1) & (tk(P646)>=1)))) & ((potential((tk(P57)>=1) & (tk(P68)>=1)))) ) & ( ((potential((tk(P423)>=1)))) & ((potential((tk(P108)>=1) & (tk(P110)>=1)))) ) ) ) , (AF( ( ((potential((tk(P348)>=1)))) | ((potential((tk(P87)>=1) & (tk(P91)>=1) & (tk(P102)>=1)))) ))) ))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-07 ( (AU( ( ((potential((tk(P476)>=1)))) | ((potential((tk(P134)>=1) & (tk(P149)>=1)))) ) , (EG( ((potential((tk(P5)>=1) & (tk(P20)>=1)))))) )) | ( (AG( (AF( ((potential((tk(P214)>=1) & (tk(P222)>=1) & (tk(P228)>=1)))))))) & ( (EG( (! ((potential((tk(P52)>=1))))))) | (EX( (! ((potential((tk(P201)>=1))))))) ) ) )
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-08 ( (AU( (EF( ((potential((tk(P139)>=1) & (tk(P149)>=1) & (tk(P153)>=1)))))) , ((potential((tk(P507)>=1) & (tk(P518)>=1)))) )) | ( ( (AU( ((potential((tk(P706)>=1) & (tk(P719)>=1)))) , ((potential((tk(P239)>=1) & (tk(P247)>=1) & (tk(P251)>=1)))) )) | (! (AF( ((potential((tk(P67)>=1))))))) ) & ( ((potential((tk(P391)>=1)))) & ( (! ( ((potential((tk(P523)>=1)))) | ((potential((tk(P306)>=1) & (tk(P319)>=1)))) )) | (EF( ((potential((tk(P434)>=1) & (tk(P448)>=1)))))) ) ) ) )
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-09 (AX( (EG( (AF( ((potential((tk(P581)>=1) & (tk(P594)>=1))))))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-10 (AF( (! (! ( ( ((potential((tk(P189)>=1) & (tk(P199)>=1) & (tk(P203)>=1)))) & ((potential((tk(P434)>=1) & (tk(P449)>=1)))) ) | ( ((potential((tk(P33)>=1) & (tk(P35)>=1)))) | ((potential((tk(P87)>=1) & (tk(P91)>=1) & (tk(P103)>=1)))) ) )))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-11 (EF( (EU( (! ((potential((tk(P364)>=1) & (tk(P374)>=1) & (tk(P378)>=1))))) , ( ((potential((tk(P473)>=1)))) | ((potential((tk(P222)>=1)))) ) ))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-12 (! (AF( (AX( ( ((potential((tk(P429)>=1) & (tk(P450)>=1)))) | ((potential((tk(P30)>=1) & (tk(P45)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-13 (EX( ( ( ((potential((tk(P613)>=1) & (tk(P646)>=1)))) | (AF( ((potential((tk(P607)>=1) & (tk(P618)>=1)))))) ) | (EX( ((potential((tk(P601)>=1)))))) )))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-14 (AF( (! (AF( ( ((potential((tk(P708)>=1) & (tk(P710)>=1)))) & ((potential((tk(P539)>=1) & (tk(P547)>=1) & (tk(P551)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-030A-CTLFireability-15 ( (EU( (! ( ((potential((tk(P182)>=1) & (tk(P193)>=1)))) & ((potential((tk(P559)>=1) & (tk(P573)>=1)))) )) , (EG( ((potential((tk(P640)>=1) & (tk(P661)>=1)))))) )) & (EF( ((potential((tk(P664)>=1) & (tk(P672)>=1) & (tk(P676)>=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="ShieldIIPs-PT-030A"
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 ShieldIIPs-PT-030A, 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-159033469000156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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