About the Execution of smart for FlexibleBarrier-PT-08b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.710 | 3600000.00 | 3599949.00 | 60.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 '/data/fkordon/mcc2020-input.r078-smll-158922972400300.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-08b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400300
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 3.9K Apr 4 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 3 13:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 241K Mar 24 05:37 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 FlexibleBarrier-PT-08b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-08b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589405831019
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08b
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: 920 places, 1057 transitions, 2627 arcs.
AT ITER 0 NEW BEST:: SOT 622975 SOS 301532 HAS SOPS 301532 HAS SOUS 233924 HAS SOUPS 233924 WITH SCORE 234225.532
AT ITER 7 NEW BEST:: SOT 622686 SOS 300665 HAS SOPS 300665 HAS SOUS 233057 HAS SOUPS 233057 WITH SCORE 233357.665
AT ITER 9 NEW BEST:: SOT 622461 SOS 300440 HAS SOPS 300440 HAS SOUS 232832 HAS SOUPS 232832 WITH SCORE 233132.44
AT ITER 12 NEW BEST:: SOT 622407 SOS 300332 HAS SOPS 300332 HAS SOUS 232778 HAS SOUPS 232778 WITH SCORE 233078.332
AT ITER 13 NEW BEST:: SOT 622407 SOS 300067 HAS SOPS 300067 HAS SOUS 232671 HAS SOUPS 232671 WITH SCORE 232971.067
AT ITER 15 NEW BEST:: SOT 622407 SOS 300067 HAS SOPS 300067 HAS SOUS 232660 HAS SOUPS 232660 WITH SCORE 232960.067
AT ITER 28 NEW BEST:: SOT 622407 SOS 300067 HAS SOPS 300067 HAS SOUS 232647 HAS SOUPS 232647 WITH SCORE 232947.067
AT ITER 29 NEW BEST:: SOT 622490 SOS 300233 HAS SOPS 300233 HAS SOUS 232332 HAS SOUPS 232332 WITH SCORE 232632.233
AT ITER 30 NEW BEST:: SOT 622550 SOS 300293 HAS SOPS 300293 HAS SOUS 232074 HAS SOUPS 232074 WITH SCORE 232374.293
AT ITER 32 NEW BEST:: SOT 622559 SOS 299887 HAS SOPS 299887 HAS SOUS 231812 HAS SOUPS 231812 WITH SCORE 232111.887
AT ITER 34 NEW BEST:: SOT 622559 SOS 299519 HAS SOPS 299519 HAS SOUS 231613 HAS SOUPS 231613 WITH SCORE 231912.519
AT ITER 37 NEW BEST:: SOT 618893 SOS 300363 HAS SOPS 300363 HAS SOUS 227851 HAS SOUPS 227851 WITH SCORE 228151.363
AT ITER 38 NEW BEST:: SOT 618589 SOS 299755 HAS SOPS 299755 HAS SOUS 227213 HAS SOUPS 227213 WITH SCORE 227512.755
AT ITER 40 NEW BEST:: SOT 618364 SOS 299628 HAS SOPS 299628 HAS SOUS 227073 HAS SOUPS 227073 WITH SCORE 227372.628
AT ITER 43 NEW BEST:: SOT 618364 SOS 299628 HAS SOPS 299628 HAS SOUS 226999 HAS SOUPS 226999 WITH SCORE 227298.628
AT ITER 46 NEW BEST:: SOT 618364 SOS 299628 HAS SOPS 299628 HAS SOUS 226906 HAS SOUPS 226906 WITH SCORE 227205.628
AT ITER 69 NEW BEST:: SOT 618364 SOS 299412 HAS SOPS 299412 HAS SOUS 226772 HAS SOUPS 226772 WITH SCORE 227071.412
AT ITER 70 NEW BEST:: SOT 617987 SOS 299007 HAS SOPS 299007 HAS SOUS 226402 HAS SOUPS 226402 WITH SCORE 226701.007
AT ITER 72 NEW BEST:: SOT 617875 SOS 299007 HAS SOPS 299007 HAS SOUS 226385 HAS SOUPS 226385 WITH SCORE 226684.007
AT ITER 77 NEW BEST:: SOT 617753 SOS 298763 HAS SOPS 298763 HAS SOUS 226141 HAS SOUPS 226141 WITH SCORE 226439.763
AT ITER 82 NEW BEST:: SOT 617748 SOS 298753 HAS SOPS 298753 HAS SOUS 226110 HAS SOUPS 226110 WITH SCORE 226408.753
AT ITER 86 NEW BEST:: SOT 617688 SOS 298573 HAS SOPS 298573 HAS SOUS 225990 HAS SOUPS 225990 WITH SCORE 226288.573
AT ITER 87 NEW BEST:: SOT 617688 SOS 298249 HAS SOPS 298249 HAS SOUS 225552 HAS SOUPS 225552 WITH SCORE 225850.249
AT ITER 91 NEW BEST:: SOT 617657 SOS 298187 HAS SOPS 298187 HAS SOUS 225521 HAS SOUPS 225521 WITH SCORE 225819.187
AT ITER 102 NEW BEST:: SOT 616425 SOS 297043 HAS SOPS 297043 HAS SOUS 224289 HAS SOUPS 224289 WITH SCORE 224586.043
AT ITER 105 NEW BEST:: SOT 616243 SOS 297009 HAS SOPS 297009 HAS SOUS 224157 HAS SOUPS 224157 WITH SCORE 224454.009
AT ITER 108 NEW BEST:: SOT 616177 SOS 296877 HAS SOPS 296877 HAS SOUS 224091 HAS SOUPS 224091 WITH SCORE 224387.877
AT ITER 109 NEW BEST:: SOT 616139 SOS 296801 HAS SOPS 296801 HAS SOUS 224053 HAS SOUPS 224053 WITH SCORE 224349.801
AT ITER 112 NEW BEST:: SOT 616091 SOS 296531 HAS SOPS 296531 HAS SOUS 223895 HAS SOUPS 223895 WITH SCORE 224191.531
AT ITER 114 NEW BEST:: SOT 616091 SOS 296531 HAS SOPS 296531 HAS SOUS 223853 HAS SOUPS 223853 WITH SCORE 224149.531
AT ITER 121 NEW BEST:: SOT 616044 SOS 296437 HAS SOPS 296437 HAS SOUS 223806 HAS SOUPS 223806 WITH SCORE 224102.437
AT ITER 124 NEW BEST:: SOT 616041 SOS 296431 HAS SOPS 296431 HAS SOUS 223800 HAS SOUPS 223800 WITH SCORE 224096.431
AT ITER 134 NEW BEST:: SOT 615805 SOS 295959 HAS SOPS 295959 HAS SOUS 223328 HAS SOUPS 223328 WITH SCORE 223623.959
AT ITER 137 NEW BEST:: SOT 615730 SOS 294426 HAS SOPS 294426 HAS SOUS 223146 HAS SOUPS 223146 WITH SCORE 223440.426
AT ITER 148 NEW BEST:: SOT 615592 SOS 294288 HAS SOPS 294288 HAS SOUS 223006 HAS SOUPS 223006 WITH SCORE 223300.288
AT ITER 149 NEW BEST:: SOT 615592 SOS 293859 HAS SOPS 293859 HAS SOUS 222725 HAS SOUPS 222725 WITH SCORE 223018.859
AT ITER 152 NEW BEST:: SOT 615332 SOS 293295 HAS SOPS 293295 HAS SOUS 222161 HAS SOUPS 222161 WITH SCORE 222454.295
AT ITER 154 NEW BEST:: SOT 615529 SOS 292997 HAS SOPS 292997 HAS SOUS 222006 HAS SOUPS 222006 WITH SCORE 222298.997
AT ITER 156 NEW BEST:: SOT 615529 SOS 292997 HAS SOPS 292997 HAS SOUS 221973 HAS SOUPS 221973 WITH SCORE 222265.997
AT ITER 157 NEW BEST:: SOT 615529 SOS 292871 HAS SOPS 292871 HAS SOUS 221973 HAS SOUPS 221973 WITH SCORE 222265.871
AT ITER 160 NEW BEST:: SOT 615435 SOS 292487 HAS SOPS 292487 HAS SOUS 221842 HAS SOUPS 221842 WITH SCORE 222134.487
AT ITER 165 NEW BEST:: SOT 615435 SOS 292273 HAS SOPS 292273 HAS SOUS 221628 HAS SOUPS 221628 WITH SCORE 221920.273
AT ITER 168 NEW BEST:: SOT 615435 SOS 292134 HAS SOPS 292134 HAS SOUS 221486 HAS SOUPS 221486 WITH SCORE 221778.134
AT ITER 176 NEW BEST:: SOT 615485 SOS 291946 HAS SOPS 291946 HAS SOUS 221360 HAS SOUPS 221360 WITH SCORE 221651.946
AT ITER 179 NEW BEST:: SOT 615396 SOS 291857 HAS SOPS 291857 HAS SOUS 221360 HAS SOUPS 221360 WITH SCORE 221651.857
AT ITER 183 NEW BEST:: SOT 615396 SOS 291675 HAS SOPS 291675 HAS SOUS 221240 HAS SOUPS 221240 WITH SCORE 221531.675
AT ITER 184 NEW BEST:: SOT 615396 SOS 293570 HAS SOPS 293570 HAS SOUS 220774 HAS SOUPS 220774 WITH SCORE 221067.57
AT ITER 191 NEW BEST:: SOT 615396 SOS 293240 HAS SOPS 293240 HAS SOUS 220772 HAS SOUPS 220772 WITH SCORE 221065.24
AT ITER 193 NEW BEST:: SOT 615434 SOS 293115 HAS SOPS 293115 HAS SOUS 220738 HAS SOUPS 220738 WITH SCORE 221031.115
AT ITER 198 NEW BEST:: SOT 615434 SOS 293115 HAS SOPS 293115 HAS SOUS 220608 HAS SOUPS 220608 WITH SCORE 220901.115
AT ITER 200 NEW BEST:: SOT 615222 SOS 292691 HAS SOPS 292691 HAS SOUS 220396 HAS SOUPS 220396 WITH SCORE 220688.691
AT ITER 207 NEW BEST:: SOT 614873 SOS 292403 HAS SOPS 292403 HAS SOUS 220097 HAS SOUPS 220097 WITH SCORE 220389.403
AT ITER 211 NEW BEST:: SOT 614369 SOS 291935 HAS SOPS 291935 HAS SOUS 219593 HAS SOUPS 219593 WITH SCORE 219884.935
AT ITER 226 NEW BEST:: SOT 614331 SOS 291917 HAS SOPS 291917 HAS SOUS 219575 HAS SOUPS 219575 WITH SCORE 219866.917
AT ITER 230 NEW BEST:: SOT 614264 SOS 291783 HAS SOPS 291783 HAS SOUS 219508 HAS SOUPS 219508 WITH SCORE 219799.783
AT ITER 238 NEW BEST:: SOT 614211 SOS 291677 HAS SOPS 291677 HAS SOUS 219455 HAS SOUPS 219455 WITH SCORE 219746.677
AT ITER 252 NEW BEST:: SOT 614211 SOS 291677 HAS SOPS 291677 HAS SOUS 219452 HAS SOUPS 219452 WITH SCORE 219743.677
AT ITER 257 NEW BEST:: SOT 613881 SOS 291418 HAS SOPS 291418 HAS SOUS 219177 HAS SOUPS 219177 WITH SCORE 219468.418
AT ITER 258 NEW BEST:: SOT 614200 SOS 291132 HAS SOPS 291132 HAS SOUS 219089 HAS SOUPS 219089 WITH SCORE 219380.132
AT ITER 260 NEW BEST:: SOT 614057 SOS 290703 HAS SOPS 290703 HAS SOUS 218660 HAS SOUPS 218660 WITH SCORE 218950.703
AT ITER 263 NEW BEST:: SOT 613934 SOS 290216 HAS SOPS 290216 HAS SOUS 218614 HAS SOUPS 218614 WITH SCORE 218904.216
AT ITER 265 NEW BEST:: SOT 613934 SOS 290216 HAS SOPS 290216 HAS SOUS 218575 HAS SOUPS 218575 WITH SCORE 218865.216
AT ITER 277 NEW BEST:: SOT 613934 SOS 290216 HAS SOPS 290216 HAS SOUS 218565 HAS SOUPS 218565 WITH SCORE 218855.216
AT ITER 279 NEW BEST:: SOT 613934 SOS 290216 HAS SOPS 290216 HAS SOUS 218394 HAS SOUPS 218394 WITH SCORE 218684.216
AT ITER 280 NEW BEST:: SOT 614125 SOS 290164 HAS SOPS 290164 HAS SOUS 218368 HAS SOUPS 218368 WITH SCORE 218658.164
AT ITER 281 NEW BEST:: SOT 613907 SOS 290052 HAS SOPS 290052 HAS SOUS 218150 HAS SOUPS 218150 WITH SCORE 218440.052
AT ITER 282 NEW BEST:: SOT 613734 SOS 289706 HAS SOPS 289706 HAS SOUS 217804 HAS SOUPS 217804 WITH SCORE 218093.706
AT ITER 283 NEW BEST:: SOT 613695 SOS 289667 HAS SOPS 289667 HAS SOUS 217765 HAS SOUPS 217765 WITH SCORE 218054.667
AT ITER 288 NEW BEST:: SOT 613716 SOS 289529 HAS SOPS 289529 HAS SOUS 217683 HAS SOUPS 217683 WITH SCORE 217972.529
AT ITER 289 NEW BEST:: SOT 613624 SOS 288701 HAS SOPS 288701 HAS SOUS 217499 HAS SOUPS 217499 WITH SCORE 217787.701
AT ITER 291 NEW BEST:: SOT 613631 SOS 288836 HAS SOPS 288836 HAS SOUS 217399 HAS SOUPS 217399 WITH SCORE 217687.836
AT ITER 297 NEW BEST:: SOT 613741 SOS 288414 HAS SOPS 288414 HAS SOUS 217136 HAS SOUPS 217136 WITH SCORE 217424.414
AT ITER 299 NEW BEST:: SOT 613842 SOS 288132 HAS SOPS 288132 HAS SOUS 217034 HAS SOUPS 217034 WITH SCORE 217322.132
AT ITER 300 NEW BEST:: SOT 613810 SOS 288068 HAS SOPS 288068 HAS SOUS 216970 HAS SOUPS 216970 WITH SCORE 217258.068
AT ITER 301 NEW BEST:: SOT 613803 SOS 288061 HAS SOPS 288061 HAS SOUS 216970 HAS SOUPS 216970 WITH SCORE 217258.061
AT ITER 303 NEW BEST:: SOT 613504 SOS 287762 HAS SOPS 287762 HAS SOUS 216671 HAS SOUPS 216671 WITH SCORE 216958.762
AT ITER 305 NEW BEST:: SOT 613565 SOS 286074 HAS SOPS 286074 HAS SOUS 216301 HAS SOUPS 216301 WITH SCORE 216587.074
AT ITER 307 NEW BEST:: SOT 613619 SOS 285858 HAS SOPS 285858 HAS SOUS 216003 HAS SOUPS 216003 WITH SCORE 216288.858
AT ITER 313 NEW BEST:: SOT 613468 SOS 285217 HAS SOPS 285217 HAS SOUS 215766 HAS SOUPS 215766 WITH SCORE 216051.217
AT ITER 317 NEW BEST:: SOT 613440 SOS 285189 HAS SOPS 285189 HAS SOUS 215766 HAS SOUPS 215766 WITH SCORE 216051.189
AT ITER 321 NEW BEST:: SOT 613441 SOS 283839 HAS SOPS 283839 HAS SOUS 215767 HAS SOUPS 215767 WITH SCORE 216050.839
AT ITER 323 NEW BEST:: SOT 613441 SOS 283839 HAS SOPS 283839 HAS SOUS 215665 HAS SOUPS 215665 WITH SCORE 215948.839
AT ITER 326 NEW BEST:: SOT 613237 SOS 283750 HAS SOPS 283750 HAS SOUS 215461 HAS SOUPS 215461 WITH SCORE 215744.75
AT ITER 336 NEW BEST:: SOT 613197 SOS 283710 HAS SOPS 283710 HAS SOUS 215421 HAS SOUPS 215421 WITH SCORE 215704.71
AT ITER 337 NEW BEST:: SOT 610079 SOS 282276 HAS SOPS 282276 HAS SOUS 212716 HAS SOUPS 212716 WITH SCORE 212998.276
AT ITER 338 NEW BEST:: SOT 609359 SOS 281642 HAS SOPS 281642 HAS SOUS 212058 HAS SOUPS 212058 WITH SCORE 212339.642
AT ITER 339 NEW BEST:: SOT 609359 SOS 281642 HAS SOPS 281642 HAS SOUS 212057 HAS SOUPS 212057 WITH SCORE 212338.642
AT ITER 343 NEW BEST:: SOT 609224 SOS 281802 HAS SOPS 281802 HAS SOUS 212056 HAS SOUPS 212056 WITH SCORE 212337.802
AT ITER 344 NEW BEST:: SOT 609209 SOS 281742 HAS SOPS 281742 HAS SOUS 212026 HAS SOUPS 212026 WITH SCORE 212307.742
AT ITER 357 NEW BEST:: SOT 609150 SOS 281159 HAS SOPS 281159 HAS SOUS 212011 HAS SOUPS 212011 WITH SCORE 212292.159
AT ITER 360 NEW BEST:: SOT 609150 SOS 281159 HAS SOPS 281159 HAS SOUS 211931 HAS SOUPS 211931 WITH SCORE 212212.159
AT ITER 369 NEW BEST:: SOT 609111 SOS 281081 HAS SOPS 281081 HAS SOUS 211853 HAS SOUPS 211853 WITH SCORE 212134.081
AT ITER 373 NEW BEST:: SOT 609141 SOS 280865 HAS SOPS 280865 HAS SOUS 211721 HAS SOUPS 211721 WITH SCORE 212001.865
AT ITER 382 NEW BEST:: SOT 608992 SOS 280567 HAS SOPS 280567 HAS SOUS 211423 HAS SOUPS 211423 WITH SCORE 211703.567
AT ITER 384 NEW BEST:: SOT 608150 SOS 279725 HAS SOPS 279725 HAS SOUS 210581 HAS SOUPS 210581 WITH SCORE 210860.725
AT ITER 385 NEW BEST:: SOT 607898 SOS 279473 HAS SOPS 279473 HAS SOUS 210329 HAS SOUPS 210329 WITH SCORE 210608.473
AT ITER 391 NEW BEST:: SOT 607898 SOS 279342 HAS SOPS 279342 HAS SOUS 210198 HAS SOUPS 210198 WITH SCORE 210477.342
AT ITER 395 NEW BEST:: SOT 607897 SOS 279040 HAS SOPS 279040 HAS SOUS 209980 HAS SOUPS 209980 WITH SCORE 210259.04
AT ITER 403 NEW BEST:: SOT 607867 SOS 278980 HAS SOPS 278980 HAS SOUS 209964 HAS SOUPS 209964 WITH SCORE 210242.98
AT ITER 416 NEW BEST:: SOT 607867 SOS 278942 HAS SOPS 278942 HAS SOUS 209926 HAS SOUPS 209926 WITH SCORE 210204.942
AT ITER 417 NEW BEST:: SOT 605532 SOS 281876 HAS SOPS 281876 HAS SOUS 207983 HAS SOUPS 207983 WITH SCORE 208264.876
AT ITER 423 NEW BEST:: SOT 605005 SOS 281437 HAS SOPS 281437 HAS SOUS 207497 HAS SOUPS 207497 WITH SCORE 207778.437
AT ITER 424 NEW BEST:: SOT 605008 SOS 281155 HAS SOPS 281155 HAS SOUS 207444 HAS SOUPS 207444 WITH SCORE 207725.155
AT ITER 429 NEW BEST:: SOT 605008 SOS 281155 HAS SOPS 281155 HAS SOUS 207434 HAS SOUPS 207434 WITH SCORE 207715.155
AT ITER 434 NEW BEST:: SOT 605008 SOS 280822 HAS SOPS 280822 HAS SOUS 207101 HAS SOUPS 207101 WITH SCORE 207381.822
AT ITER 436 NEW BEST:: SOT 604915 SOS 280784 HAS SOPS 280784 HAS SOUS 207055 HAS SOUPS 207055 WITH SCORE 207335.784
AT ITER 437 NEW BEST:: SOT 604915 SOS 280761 HAS SOPS 280761 HAS SOUS 207032 HAS SOUPS 207032 WITH SCORE 207312.761
AT ITER 439 NEW BEST:: SOT 604915 SOS 280718 HAS SOPS 280718 HAS SOUS 206989 HAS SOUPS 206989 WITH SCORE 207269.718
AT ITER 440 NEW BEST:: SOT 604917 SOS 280725 HAS SOPS 280725 HAS SOUS 206944 HAS SOUPS 206944 WITH SCORE 207224.725
AT ITER 441 NEW BEST:: SOT 604921 SOS 280729 HAS SOPS 280729 HAS SOUS 206897 HAS SOUPS 206897 WITH SCORE 207177.729
AT ITER 442 NEW BEST:: SOT 604901 SOS 280689 HAS SOPS 280689 HAS SOUS 206857 HAS SOUPS 206857 WITH SCORE 207137.689
AT ITER 445 NEW BEST:: SOT 604805 SOS 280593 HAS SOPS 280593 HAS SOUS 206809 HAS SOUPS 206809 WITH SCORE 207089.593
AT ITER 447 NEW BEST:: SOT 604805 SOS 280097 HAS SOPS 280097 HAS SOUS 206016 HAS SOUPS 206016 WITH SCORE 206296.097
AT ITER 448 NEW BEST:: SOT 604735 SOS 279687 HAS SOPS 279687 HAS SOUS 205946 HAS SOUPS 205946 WITH SCORE 206225.687
AT ITER 452 NEW BEST:: SOT 604934 SOS 279872 HAS SOPS 279872 HAS SOUS 205893 HAS SOUPS 205893 WITH SCORE 206172.872
AT ITER 457 NEW BEST:: SOT 604620 SOS 279773 HAS SOPS 279773 HAS SOUS 205731 HAS SOUPS 205731 WITH SCORE 206010.773
AT ITER 460 NEW BEST:: SOT 604661 SOS 279381 HAS SOPS 279381 HAS SOUS 205377 HAS SOUPS 205377 WITH SCORE 205656.381
AT ITER 465 NEW BEST:: SOT 604426 SOS 278911 HAS SOPS 278911 HAS SOUS 204907 HAS SOUPS 204907 WITH SCORE 205185.911
AT ITER 467 NEW BEST:: SOT 604329 SOS 278696 HAS SOPS 278696 HAS SOUS 204692 HAS SOUPS 204692 WITH SCORE 204970.696
AT ITER 468 NEW BEST:: SOT 604329 SOS 278386 HAS SOPS 278386 HAS SOUS 204149 HAS SOUPS 204149 WITH SCORE 204427.386
AT ITER 475 NEW BEST:: SOT 604285 SOS 278298 HAS SOPS 278298 HAS SOUS 204105 HAS SOUPS 204105 WITH SCORE 204383.298
AT ITER 480 NEW BEST:: SOT 604285 SOS 278216 HAS SOPS 278216 HAS SOUS 204072 HAS SOUPS 204072 WITH SCORE 204350.216
AT ITER 485 NEW BEST:: SOT 604244 SOS 277601 HAS SOPS 277601 HAS SOUS 204031 HAS SOUPS 204031 WITH SCORE 204308.601
AT ITER 491 NEW BEST:: SOT 603761 SOS 283939 HAS SOPS 283939 HAS SOUS 203992 HAS SOUPS 203992 WITH SCORE 204275.939
AT ITER 496 NEW BEST:: SOT 603515 SOS 283447 HAS SOPS 283447 HAS SOUS 203495 HAS SOUPS 203495 WITH SCORE 203778.447
AT ITER 508 NEW BEST:: SOT 603515 SOS 283422 HAS SOPS 283422 HAS SOUS 203445 HAS SOUPS 203445 WITH SCORE 203728.422
AT ITER 512 NEW BEST:: SOT 603715 SOS 283096 HAS SOPS 283096 HAS SOUS 203379 HAS SOUPS 203379 WITH SCORE 203662.096
AT ITER 525 NEW BEST:: SOT 586302 SOS 319549 HAS SOPS 319549 HAS SOUS 187604 HAS SOUPS 187604 WITH SCORE 187923.549
AT ITER 531 NEW BEST:: SOT 586202 SOS 320915 HAS SOPS 320915 HAS SOUS 187504 HAS SOUPS 187504 WITH SCORE 187824.915
AT ITER 532 NEW BEST:: SOT 583839 SOS 322761 HAS SOPS 322761 HAS SOUS 186186 HAS SOUPS 186186 WITH SCORE 186508.761
AT ITER 536 NEW BEST:: SOT 583839 SOS 322761 HAS SOPS 322761 HAS SOUS 186131 HAS SOUPS 186131 WITH SCORE 186453.761
AT ITER 541 NEW BEST:: SOT 583893 SOS 322433 HAS SOPS 322433 HAS SOUS 186038 HAS SOUPS 186038 WITH SCORE 186360.433
AT ITER 548 NEW BEST:: SOT 583719 SOS 321490 HAS SOPS 321490 HAS SOUS 185752 HAS SOUPS 185752 WITH SCORE 186073.49
AT ITER 550 NEW BEST:: SOT 583353 SOS 321024 HAS SOPS 321024 HAS SOUS 185386 HAS SOUPS 185386 WITH SCORE 185707.024
AT ITER 555 NEW BEST:: SOT 583353 SOS 321006 HAS SOPS 321006 HAS SOUS 185377 HAS SOUPS 185377 WITH SCORE 185698.006
AT ITER 560 NEW BEST:: SOT 582963 SOS 320616 HAS SOPS 320616 HAS SOUS 185365 HAS SOUPS 185365 WITH SCORE 185685.616
AT ITER 562 NEW BEST:: SOT 582762 SOS 320415 HAS SOPS 320415 HAS SOUS 185316 HAS SOUPS 185316 WITH SCORE 185636.415
AT ITER 564 NEW BEST:: SOT 582714 SOS 320319 HAS SOPS 320319 HAS SOUS 185220 HAS SOUPS 185220 WITH SCORE 185540.319
AT ITER 565 NEW BEST:: SOT 582685 SOS 320203 HAS SOPS 320203 HAS SOUS 185190 HAS SOUPS 185190 WITH SCORE 185510.203
AT ITER 569 NEW BEST:: SOT 582633 SOS 320147 HAS SOPS 320147 HAS SOUS 185180 HAS SOUPS 185180 WITH SCORE 185500.147
AT ITER 578 NEW BEST:: SOT 582667 SOS 319975 HAS SOPS 319975 HAS SOUS 184974 HAS SOUPS 184974 WITH SCORE 185293.975
AT ITER 594 NEW BEST:: SOT 582648 SOS 319937 HAS SOPS 319937 HAS SOUS 184936 HAS SOUPS 184936 WITH SCORE 185255.937
AT ITER 599 NEW BEST:: SOT 582713 SOS 319525 HAS SOPS 319525 HAS SOUS 184719 HAS SOUPS 184719 WITH SCORE 185038.525
AT ITER 602 NEW BEST:: SOT 583278 SOS 317205 HAS SOPS 317205 HAS SOUS 184417 HAS SOUPS 184417 WITH SCORE 184734.205
AT ITER 608 NEW BEST:: SOT 583278 SOS 317205 HAS SOPS 317205 HAS SOUS 184329 HAS SOUPS 184329 WITH SCORE 184646.205
AT ITER 612 NEW BEST:: SOT 583086 SOS 317013 HAS SOPS 317013 HAS SOUS 184233 HAS SOUPS 184233 WITH SCORE 184550.013
AT ITER 616 NEW BEST:: SOT 582998 SOS 316715 HAS SOPS 316715 HAS SOUS 184057 HAS SOUPS 184057 WITH SCORE 184373.715
AT ITER 617 NEW BEST:: SOT 582297 SOS 315207 HAS SOPS 315207 HAS SOUS 183260 HAS SOUPS 183260 WITH SCORE 183575.207
AT ITER 618 NEW BEST:: SOT 581996 SOS 314605 HAS SOPS 314605 HAS SOUS 183195 HAS SOUPS 183195 WITH SCORE 183509.605
AT ITER 627 NEW BEST:: SOT 581195 SOS 313003 HAS SOPS 313003 HAS SOUS 181996 HAS SOUPS 181996 WITH SCORE 182309.003
AT ITER 628 NEW BEST:: SOT 581181 SOS 312975 HAS SOPS 312975 HAS SOUS 181928 HAS SOUPS 181928 WITH SCORE 182240.975
AT ITER 632 NEW BEST:: SOT 581181 SOS 312964 HAS SOPS 312964 HAS SOUS 181928 HAS SOUPS 181928 WITH SCORE 182240.964
AT ITER 638 NEW BEST:: SOT 580897 SOS 312396 HAS SOPS 312396 HAS SOUS 181258 HAS SOUPS 181258 WITH SCORE 181570.396
AT ITER 640 NEW BEST:: SOT 580379 SOS 311547 HAS SOPS 311547 HAS SOUS 180740 HAS SOUPS 180740 WITH SCORE 181051.547
AT ITER 642 NEW BEST:: SOT 580375 SOS 311531 HAS SOPS 311531 HAS SOUS 180731 HAS SOUPS 180731 WITH SCORE 181042.531
AT ITER 644 NEW BEST:: SOT 580374 SOS 311471 HAS SOPS 311471 HAS SOUS 180730 HAS SOUPS 180730 WITH SCORE 181041.471
AT ITER 658 NEW BEST:: SOT 580100 SOS 310923 HAS SOPS 310923 HAS SOUS 180456 HAS SOUPS 180456 WITH SCORE 180766.923
AT ITER 662 NEW BEST:: SOT 580027 SOS 310704 HAS SOPS 310704 HAS SOUS 180383 HAS SOUPS 180383 WITH SCORE 180693.704
AT ITER 664 NEW BEST:: SOT 579922 SOS 310589 HAS SOPS 310589 HAS SOUS 180278 HAS SOUPS 180278 WITH SCORE 180588.589
AT ITER 665 NEW BEST:: SOT 579784 SOS 310451 HAS SOPS 310451 HAS SOUS 180167 HAS SOUPS 180167 WITH SCORE 180477.451
AT ITER 666 NEW BEST:: SOT 579530 SOS 309684 HAS SOPS 309684 HAS SOUS 179555 HAS SOUPS 179555 WITH SCORE 179864.684
AT ITER 676 NEW BEST:: SOT 579397 SOS 309462 HAS SOPS 309462 HAS SOUS 179422 HAS SOUPS 179422 WITH SCORE 179731.462
AT ITER 680 NEW BEST:: SOT 579397 SOS 309462 HAS SOPS 309462 HAS SOUS 179421 HAS SOUPS 179421 WITH SCORE 179730.462
AT ITER 683 NEW BEST:: SOT 579719 SOS 309753 HAS SOPS 309753 HAS SOUS 179349 HAS SOUPS 179349 WITH SCORE 179658.753
AT ITER 688 NEW BEST:: SOT 579719 SOS 309040 HAS SOPS 309040 HAS SOUS 179349 HAS SOUPS 179349 WITH SCORE 179658.04
AT ITER 689 NEW BEST:: SOT 579719 SOS 308710 HAS SOPS 308710 HAS SOUS 179200 HAS SOUPS 179200 WITH SCORE 179508.71
AT ITER 695 NEW BEST:: SOT 579824 SOS 308815 HAS SOPS 308815 HAS SOUS 179126 HAS SOUPS 179126 WITH SCORE 179434.815
AT ITER 702 NEW BEST:: SOT 579824 SOS 308815 HAS SOPS 308815 HAS SOUS 178922 HAS SOUPS 178922 WITH SCORE 179230.815
AT ITER 703 NEW BEST:: SOT 579824 SOS 308815 HAS SOPS 308815 HAS SOUS 178920 HAS SOUPS 178920 WITH SCORE 179228.815
AT ITER 709 NEW BEST:: SOT 579824 SOS 308815 HAS SOPS 308815 HAS SOUS 178815 HAS SOUPS 178815 WITH SCORE 179123.815
AT ITER 710 NEW BEST:: SOT 579824 SOS 308805 HAS SOPS 308805 HAS SOUS 178815 HAS SOUPS 178815 WITH SCORE 179123.805
AT ITER 711 NEW BEST:: SOT 579824 SOS 308457 HAS SOPS 308457 HAS SOUS 178659 HAS SOUPS 178659 WITH SCORE 178967.457
AT ITER 720 NEW BEST:: SOT 579702 SOS 308335 HAS SOPS 308335 HAS SOUS 178659 HAS SOUPS 178659 WITH SCORE 178967.335
AT ITER 722 NEW BEST:: SOT 579731 SOS 308084 HAS SOPS 308084 HAS SOUS 178280 HAS SOUPS 178280 WITH SCORE 178588.084
AT ITER 726 NEW BEST:: SOT 579731 SOS 308084 HAS SOPS 308084 HAS SOUS 178240 HAS SOUPS 178240 WITH SCORE 178548.084
AT ITER 730 NEW BEST:: SOT 579414 SOS 307450 HAS SOPS 307450 HAS SOUS 177477 HAS SOUPS 177477 WITH SCORE 177784.45
AT ITER 732 NEW BEST:: SOT 579414 SOS 306977 HAS SOPS 306977 HAS SOUS 176630 HAS SOUPS 176630 WITH SCORE 176936.977
AT ITER 735 NEW BEST:: SOT 579373 SOS 306936 HAS SOPS 306936 HAS SOUS 176537 HAS SOUPS 176537 WITH SCORE 176843.936
AT ITER 736 NEW BEST:: SOT 579382 SOS 306945 HAS SOPS 306945 HAS SOUS 176526 HAS SOUPS 176526 WITH SCORE 176832.945
AT ITER 737 NEW BEST:: SOT 579319 SOS 306882 HAS SOPS 306882 HAS SOUS 176400 HAS SOUPS 176400 WITH SCORE 176706.882
AT ITER 742 NEW BEST:: SOT 579165 SOS 306687 HAS SOPS 306687 HAS SOUS 176370 HAS SOUPS 176370 WITH SCORE 176676.687
AT ITER 743 NEW BEST:: SOT 579128 SOS 306526 HAS SOPS 306526 HAS SOUS 176172 HAS SOUPS 176172 WITH SCORE 176478.526
AT ITER 745 NEW BEST:: SOT 579128 SOS 306504 HAS SOPS 306504 HAS SOUS 176159 HAS SOUPS 176159 WITH SCORE 176465.504
AT ITER 747 NEW BEST:: SOT 579143 SOS 306217 HAS SOPS 306217 HAS SOUS 175623 HAS SOUPS 175623 WITH SCORE 175929.217
AT ITER 750 NEW BEST:: SOT 578875 SOS 305949 HAS SOPS 305949 HAS SOUS 175496 HAS SOUPS 175496 WITH SCORE 175801.949
AT ITER 754 NEW BEST:: SOT 578875 SOS 305949 HAS SOPS 305949 HAS SOUS 175311 HAS SOUPS 175311 WITH SCORE 175616.949
AT ITER 756 NEW BEST:: SOT 578875 SOS 305949 HAS SOPS 305949 HAS SOUS 175285 HAS SOUPS 175285 WITH SCORE 175590.949
AT ITER 757 NEW BEST:: SOT 578665 SOS 305699 HAS SOPS 305699 HAS SOUS 175275 HAS SOUPS 175275 WITH SCORE 175580.699
AT ITER 765 NEW BEST:: SOT 578529 SOS 305427 HAS SOPS 305427 HAS SOUS 175139 HAS SOUPS 175139 WITH SCORE 175444.427
AT ITER 770 NEW BEST:: SOT 578407 SOS 305305 HAS SOPS 305305 HAS SOUS 175017 HAS SOUPS 175017 WITH SCORE 175322.305
AT ITER 773 NEW BEST:: SOT 578389 SOS 305287 HAS SOPS 305287 HAS SOUS 175014 HAS SOUPS 175014 WITH SCORE 175319.287
AT ITER 777 NEW BEST:: SOT 578312 SOS 305056 HAS SOPS 305056 HAS SOUS 174937 HAS SOUPS 174937 WITH SCORE 175242.056
AT ITER 778 NEW BEST:: SOT 578311 SOS 305053 HAS SOPS 305053 HAS SOUS 174935 HAS SOUPS 174935 WITH SCORE 175240.053
AT ITER 792 NEW BEST:: SOT 578129 SOS 304871 HAS SOPS 304871 HAS SOUS 174844 HAS SOUPS 174844 WITH SCORE 175148.871
AT ITER 793 NEW BEST:: SOT 578049 SOS 304551 HAS SOPS 304551 HAS SOUS 174764 HAS SOUPS 174764 WITH SCORE 175068.551
AT ITER 794 NEW BEST:: SOT 577990 SOS 304433 HAS SOPS 304433 HAS SOUS 174646 HAS SOUPS 174646 WITH SCORE 174950.433
AT ITER 798 NEW BEST:: SOT 577693 SOS 304136 HAS SOPS 304136 HAS SOUS 174597 HAS SOUPS 174597 WITH SCORE 174901.136
AT ITER 799 NEW BEST:: SOT 577693 SOS 304136 HAS SOPS 304136 HAS SOUS 174596 HAS SOUPS 174596 WITH SCORE 174900.136
AT ITER 803 NEW BEST:: SOT 577595 SOS 304038 HAS SOPS 304038 HAS SOUS 174558 HAS SOUPS 174558 WITH SCORE 174862.038
AT ITER 804 NEW BEST:: SOT 577595 SOS 303932 HAS SOPS 303932 HAS SOUS 174548 HAS SOUPS 174548 WITH SCORE 174851.932
AT ITER 811 NEW BEST:: SOT 577051 SOS 303427 HAS SOPS 303427 HAS SOUS 174466 HAS SOUPS 174466 WITH SCORE 174769.427
AT ITER 822 NEW BEST:: SOT 577059 SOS 303356 HAS SOPS 303356 HAS SOUS 174325 HAS SOUPS 174325 WITH SCORE 174628.356
AT ITER 825 NEW BEST:: SOT 576861 SOS 302960 HAS SOPS 302960 HAS SOUS 173929 HAS SOUPS 173929 WITH SCORE 174231.96
AT ITER 826 NEW BEST:: SOT 576475 SOS 302407 HAS SOPS 302407 HAS SOUS 173762 HAS SOUPS 173762 WITH SCORE 174064.407
AT ITER 827 NEW BEST:: SOT 576220 SOS 302152 HAS SOPS 302152 HAS SOUS 173563 HAS SOUPS 173563 WITH SCORE 173865.152
AT ITER 828 NEW BEST:: SOT 576169 SOS 301999 HAS SOPS 301999 HAS SOUS 173461 HAS SOUPS 173461 WITH SCORE 173762.999
AT ITER 829 NEW BEST:: SOT 576110 SOS 301940 HAS SOPS 301940 HAS SOUS 173457 HAS SOUPS 173457 WITH SCORE 173758.94
AT ITER 834 NEW BEST:: SOT 576124 SOS 301538 HAS SOPS 301538 HAS SOUS 173370 HAS SOUPS 173370 WITH SCORE 173671.538
AT ITER 835 NEW BEST:: SOT 576234 SOS 301483 HAS SOPS 301483 HAS SOUS 172967 HAS SOUPS 172967 WITH SCORE 173268.483
AT ITER 837 NEW BEST:: SOT 576147 SOS 301309 HAS SOPS 301309 HAS SOUS 172880 HAS SOUPS 172880 WITH SCORE 173181.309
AT ITER 839 NEW BEST:: SOT 576163 SOS 301395 HAS SOPS 301395 HAS SOUS 172842 HAS SOUPS 172842 WITH SCORE 173143.395
AT ITER 840 NEW BEST:: SOT 576174 SOS 300969 HAS SOPS 300969 HAS SOUS 172740 HAS SOUPS 172740 WITH SCORE 173040.969
AT ITER 843 NEW BEST:: SOT 576174 SOS 301050 HAS SOPS 301050 HAS SOUS 172659 HAS SOUPS 172659 WITH SCORE 172960.05
AT ITER 845 NEW BEST:: SOT 576633 SOS 301537 HAS SOPS 301537 HAS SOUS 172657 HAS SOUPS 172657 WITH SCORE 172958.537
AT ITER 846 NEW BEST:: SOT 576406 SOS 300742 HAS SOPS 300742 HAS SOUS 172166 HAS SOUPS 172166 WITH SCORE 172466.742
AT ITER 851 NEW BEST:: SOT 576308 SOS 300533 HAS SOPS 300533 HAS SOUS 172012 HAS SOUPS 172012 WITH SCORE 172312.533
AT ITER 852 NEW BEST:: SOT 576266 SOS 300449 HAS SOPS 300449 HAS SOUS 171962 HAS SOUPS 171962 WITH SCORE 172262.449
AT ITER 854 NEW BEST:: SOT 576266 SOS 300439 HAS SOPS 300439 HAS SOUS 171868 HAS SOUPS 171868 WITH SCORE 172168.439
AT ITER 860 NEW BEST:: SOT 576303 SOS 300476 HAS SOPS 300476 HAS SOUS 171855 HAS SOUPS 171855 WITH SCORE 172155.476
AT ITER 866 NEW BEST:: SOT 575857 SOS 300155 HAS SOPS 300155 HAS SOUS 171742 HAS SOUPS 171742 WITH SCORE 172042.155
AT ITER 867 NEW BEST:: SOT 575808 SOS 299677 HAS SOPS 299677 HAS SOUS 171621 HAS SOUPS 171621 WITH SCORE 171920.677
AT ITER 872 NEW BEST:: SOT 575680 SOS 299421 HAS SOPS 299421 HAS SOUS 171493 HAS SOUPS 171493 WITH SCORE 171792.421
AT ITER 876 NEW BEST:: SOT 575751 SOS 299492 HAS SOPS 299492 HAS SOUS 171442 HAS SOUPS 171442 WITH SCORE 171741.492
AT ITER 879 NEW BEST:: SOT 575788 SOS 299529 HAS SOPS 299529 HAS SOUS 171370 HAS SOUPS 171370 WITH SCORE 171669.529
AT ITER 887 NEW BEST:: SOT 575601 SOS 299342 HAS SOPS 299342 HAS SOUS 171104 HAS SOUPS 171104 WITH SCORE 171403.342
AT ITER 897 NEW BEST:: SOT 575558 SOS 299071 HAS SOPS 299071 HAS SOUS 171066 HAS SOUPS 171066 WITH SCORE 171365.071
AT ITER 899 NEW BEST:: SOT 575512 SOS 298986 HAS SOPS 298986 HAS SOUS 170982 HAS SOUPS 170982 WITH SCORE 171280.986
AT ITER 900 NEW BEST:: SOT 575601 SOS 299075 HAS SOPS 299075 HAS SOUS 170850 HAS SOUPS 170850 WITH SCORE 171149.075
AT ITER 906 NEW BEST:: SOT 575601 SOS 298724 HAS SOPS 298724 HAS SOUS 170557 HAS SOUPS 170557 WITH SCORE 170855.724
AT ITER 907 NEW BEST:: SOT 575139 SOS 298297 HAS SOPS 298297 HAS SOUS 169999 HAS SOUPS 169999 WITH SCORE 170297.297
AT ITER 923 NEW BEST:: SOT 575152 SOS 299613 HAS SOPS 299613 HAS SOUS 169977 HAS SOUPS 169977 WITH SCORE 170276.613
AT ITER 938 NEW BEST:: SOT 575200 SOS 299525 HAS SOPS 299525 HAS SOUS 169927 HAS SOUPS 169927 WITH SCORE 170226.525
AT ITER 939 NEW BEST:: SOT 575134 SOS 299393 HAS SOPS 299393 HAS SOUS 169861 HAS SOUPS 169861 WITH SCORE 170160.393
AT ITER 944 NEW BEST:: SOT 575175 SOS 299434 HAS SOPS 299434 HAS SOUS 169855 HAS SOUPS 169855 WITH SCORE 170154.434
AT ITER 945 NEW BEST:: SOT 575161 SOS 299419 HAS SOPS 299419 HAS SOUS 169841 HAS SOUPS 169841 WITH SCORE 170140.419
AT ITER 950 NEW BEST:: SOT 575161 SOS 298954 HAS SOPS 298954 HAS SOUS 169550 HAS SOUPS 169550 WITH SCORE 169848.954
AT ITER 955 NEW BEST:: SOT 575161 SOS 299039 HAS SOPS 299039 HAS SOUS 169492 HAS SOUPS 169492 WITH SCORE 169791.039
AT ITER 956 NEW BEST:: SOT 575200 SOS 299191 HAS SOPS 299191 HAS SOUS 169406 HAS SOUPS 169406 WITH SCORE 169705.191
AT ITER 957 NEW BEST:: SOT 574591 SOS 298594 HAS SOPS 298594 HAS SOUS 169389 HAS SOUPS 169389 WITH SCORE 169687.594
AT ITER 959 NEW BEST:: SOT 574568 SOS 298502 HAS SOPS 298502 HAS SOUS 169343 HAS SOUPS 169343 WITH SCORE 169641.502
AT ITER 960 NEW BEST:: SOT 574568 SOS 298442 HAS SOPS 298442 HAS SOUS 169213 HAS SOUPS 169213 WITH SCORE 169511.442
AT ITER 971 NEW BEST:: SOT 574482 SOS 298356 HAS SOPS 298356 HAS SOUS 169092 HAS SOUPS 169092 WITH SCORE 169390.356
AT ITER 972 NEW BEST:: SOT 574096 SOS 297902 HAS SOPS 297902 HAS SOUS 168706 HAS SOUPS 168706 WITH SCORE 169003.902
AT ITER 977 NEW BEST:: SOT 574082 SOS 297852 HAS SOPS 297852 HAS SOUS 168692 HAS SOUPS 168692 WITH SCORE 168989.852
AT ITER 984 NEW BEST:: SOT 574080 SOS 297846 HAS SOPS 297846 HAS SOUS 168690 HAS SOUPS 168690 WITH SCORE 168987.846
AT ITER 985 NEW BEST:: SOT 573907 SOS 297258 HAS SOPS 297258 HAS SOUS 168407 HAS SOUPS 168407 WITH SCORE 168704.258
AT ITER 995 NEW BEST:: SOT 573778 SOS 297001 HAS SOPS 297001 HAS SOUS 168278 HAS SOUPS 168278 WITH SCORE 168575.001
AT ITER 1010 NEW BEST:: SOT 573758 SOS 296961 HAS SOPS 296961 HAS SOUS 168258 HAS SOUPS 168258 WITH SCORE 168554.961
AT ITER 1013 NEW BEST:: SOT 573729 SOS 296376 HAS SOPS 296376 HAS SOUS 168214 HAS SOUPS 168214 WITH SCORE 168510.376
AT ITER 1026 NEW BEST:: SOT 574036 SOS 296329 HAS SOPS 296329 HAS SOUS 168183 HAS SOUPS 168183 WITH SCORE 168479.329
AT ITER 1031 NEW BEST:: SOT 573920 SOS 296213 HAS SOPS 296213 HAS SOUS 168067 HAS SOUPS 168067 WITH SCORE 168363.213
AT ITER 1033 NEW BEST:: SOT 573836 SOS 295877 HAS SOPS 295877 HAS SOUS 167899 HAS SOUPS 167899 WITH SCORE 168194.877
AT ITER 1035 NEW BEST:: SOT 573836 SOS 295610 HAS SOPS 295610 HAS SOUS 167524 HAS SOUPS 167524 WITH SCORE 167819.61
AT ITER 1043 NEW BEST:: SOT 573800 SOS 295267 HAS SOPS 295267 HAS SOUS 167190 HAS SOUPS 167190 WITH SCORE 167485.267
AT ITER 1058 NEW BEST:: SOT 573622 SOS 295310 HAS SOPS 295310 HAS SOUS 167145 HAS SOUPS 167145 WITH SCORE 167440.31
AT ITER 1061 NEW BEST:: SOT 573459 SOS 295112 HAS SOPS 295112 HAS SOUS 167031 HAS SOUPS 167031 WITH SCORE 167326.112
AT ITER 1062 NEW BEST:: SOT 573493 SOS 295180 HAS SOPS 295180 HAS SOUS 166988 HAS SOUPS 166988 WITH SCORE 167283.18
AT ITER 1064 NEW BEST:: SOT 573612 SOS 295081 HAS SOPS 295081 HAS SOUS 166934 HAS SOUPS 166934 WITH SCORE 167229.081
AT ITER 1066 NEW BEST:: SOT 573612 SOS 295059 HAS SOPS 295059 HAS SOUS 166912 HAS SOUPS 166912 WITH SCORE 167207.059
AT ITER 1070 NEW BEST:: SOT 573576 SOS 295059 HAS SOPS 295059 HAS SOUS 166876 HAS SOUPS 166876 WITH SCORE 167171.059
AT ITER 1074 NEW BEST:: SOT 573697 SOS 294804 HAS SOPS 294804 HAS SOUS 166782 HAS SOUPS 166782 WITH SCORE 167076.804
AT ITER 1075 NEW BEST:: SOT 573703 SOS 294679 HAS SOPS 294679 HAS SOUS 166562 HAS SOUPS 166562 WITH SCORE 166856.679
AT ITER 1076 NEW BEST:: SOT 573722 SOS 293794 HAS SOPS 293794 HAS SOUS 166315 HAS SOUPS 166315 WITH SCORE 166608.794
AT ITER 1079 NEW BEST:: SOT 573403 SOS 292909 HAS SOPS 292909 HAS SOUS 165430 HAS SOUPS 165430 WITH SCORE 165722.909
AT ITER 1081 NEW BEST:: SOT 573036 SOS 292175 HAS SOPS 292175 HAS SOUS 165063 HAS SOUPS 165063 WITH SCORE 165355.175
AT ITER 1082 NEW BEST:: SOT 572980 SOS 292063 HAS SOPS 292063 HAS SOUS 164950 HAS SOUPS 164950 WITH SCORE 165242.063
AT ITER 1085 NEW BEST:: SOT 572997 SOS 291798 HAS SOPS 291798 HAS SOUS 164685 HAS SOUPS 164685 WITH SCORE 164976.798
AT ITER 1090 NEW BEST:: SOT 572780 SOS 291364 HAS SOPS 291364 HAS SOUS 164407 HAS SOUPS 164407 WITH SCORE 164698.364
AT ITER 1091 NEW BEST:: SOT 572845 SOS 290894 HAS SOPS 290894 HAS SOUS 164112 HAS SOUPS 164112 WITH SCORE 164402.894
AT ITER 1093 NEW BEST:: SOT 572838 SOS 290576 HAS SOPS 290576 HAS SOUS 164107 HAS SOUPS 164107 WITH SCORE 164397.576
AT ITER 1117 NEW BEST:: SOT 572652 SOS 290204 HAS SOPS 290204 HAS SOUS 163700 HAS SOUPS 163700 WITH SCORE 163990.204
AT ITER 1123 NEW BEST:: SOT 572568 SOS 290120 HAS SOPS 290120 HAS SOUS 163616 HAS SOUPS 163616 WITH SCORE 163906.12
AT ITER 1126 NEW BEST:: SOT 572481 SOS 290036 HAS SOPS 290036 HAS SOUS 163529 HAS SOUPS 163529 WITH SCORE 163819.036
AT ITER 1133 NEW BEST:: SOT 572387 SOS 289939 HAS SOPS 289939 HAS SOUS 163508 HAS SOUPS 163508 WITH SCORE 163797.939
AT ITER 1137 NEW BEST:: SOT 572328 SOS 289880 HAS SOPS 289880 HAS SOUS 163484 HAS SOUPS 163484 WITH SCORE 163773.88
AT ITER 1151 NEW BEST:: SOT 572287 SOS 289839 HAS SOPS 289839 HAS SOUS 163383 HAS SOUPS 163383 WITH SCORE 163672.839
AT ITER 1155 NEW BEST:: SOT 572016 SOS 289568 HAS SOPS 289568 HAS SOUS 163227 HAS SOUPS 163227 WITH SCORE 163516.568
AT ITER 1170 NEW BEST:: SOT 571844 SOS 289155 HAS SOPS 289155 HAS SOUS 163118 HAS SOUPS 163118 WITH SCORE 163407.155
AT ITER 1173 NEW BEST:: SOT 571739 SOS 289050 HAS SOPS 289050 HAS SOUS 163095 HAS SOUPS 163095 WITH SCORE 163384.05
AT ITER 1179 NEW BEST:: SOT 571735 SOS 289044 HAS SOPS 289044 HAS SOUS 163091 HAS SOUPS 163091 WITH SCORE 163380.044
AT ITER 1187 NEW BEST:: SOT 571646 SOS 288688 HAS SOPS 288688 HAS SOUS 162920 HAS SOUPS 162920 WITH SCORE 163208.688
AT ITER 1188 NEW BEST:: SOT 571248 SOS 287961 HAS SOPS 287961 HAS SOUS 162522 HAS SOUPS 162522 WITH SCORE 162809.961
AT ITER 1195 NEW BEST:: SOT 568669 SOS 286179 HAS SOPS 286179 HAS SOUS 160243 HAS SOUPS 160243 WITH SCORE 160529.179
AT ITER 1206 NEW BEST:: SOT 568669 SOS 286167 HAS SOPS 286167 HAS SOUS 160242 HAS SOUPS 160242 WITH SCORE 160528.167
AT ITER 1217 NEW BEST:: SOT 568612 SOS 286110 HAS SOPS 286110 HAS SOUS 160185 HAS SOUPS 160185 WITH SCORE 160471.11
AT ITER 1219 NEW BEST:: SOT 568493 SOS 285872 HAS SOPS 285872 HAS SOUS 159947 HAS SOUPS 159947 WITH SCORE 160232.872
AT ITER 1223 NEW BEST:: SOT 568493 SOS 285827 HAS SOPS 285827 HAS SOUS 159848 HAS SOUPS 159848 WITH SCORE 160133.827
AT ITER 1225 NEW BEST:: SOT 568294 SOS 285574 HAS SOPS 285574 HAS SOUS 159677 HAS SOUPS 159677 WITH SCORE 159962.574
AT ITER 1229 NEW BEST:: SOT 568097 SOS 285180 HAS SOPS 285180 HAS SOUS 159480 HAS SOUPS 159480 WITH SCORE 159765.18
AT ITER 1233 NEW BEST:: SOT 567887 SOS 285054 HAS SOPS 285054 HAS SOUS 159333 HAS SOUPS 159333 WITH SCORE 159618.054
AT ITER 1238 NEW BEST:: SOT 567887 SOS 284982 HAS SOPS 284982 HAS SOUS 159261 HAS SOUPS 159261 WITH SCORE 159545.982
AT ITER 1240 NEW BEST:: SOT 567866 SOS 284961 HAS SOPS 284961 HAS SOUS 159092 HAS SOUPS 159092 WITH SCORE 159376.961
AT ITER 1242 NEW BEST:: SOT 567689 SOS 284541 HAS SOPS 284541 HAS SOUS 158793 HAS SOUPS 158793 WITH SCORE 159077.541
AT ITER 1245 NEW BEST:: SOT 567689 SOS 284241 HAS SOPS 284241 HAS SOUS 158650 HAS SOUPS 158650 WITH SCORE 158934.241
AT ITER 1250 NEW BEST:: SOT 567710 SOS 284124 HAS SOPS 284124 HAS SOUS 158557 HAS SOUPS 158557 WITH SCORE 158841.124
AT ITER 1256 NEW BEST:: SOT 567479 SOS 283754 HAS SOPS 283754 HAS SOUS 158230 HAS SOUPS 158230 WITH SCORE 158513.754
AT ITER 1260 NEW BEST:: SOT 567372 SOS 283540 HAS SOPS 283540 HAS SOUS 158123 HAS SOUPS 158123 WITH SCORE 158406.54
AT ITER 1268 NEW BEST:: SOT 567372 SOS 283540 HAS SOPS 283540 HAS SOUS 158098 HAS SOUPS 158098 WITH SCORE 158381.54
AT ITER 1283 NEW BEST:: SOT 567468 SOS 283526 HAS SOPS 283526 HAS SOUS 158066 HAS SOUPS 158066 WITH SCORE 158349.526
AT ITER 1290 NEW BEST:: SOT 567407 SOS 283465 HAS SOPS 283465 HAS SOUS 158005 HAS SOUPS 158005 WITH SCORE 158288.465
AT ITER 1298 NEW BEST:: SOT 567435 SOS 283304 HAS SOPS 283304 HAS SOUS 157993 HAS SOUPS 157993 WITH SCORE 158276.304
AT ITER 1305 NEW BEST:: SOT 567446 SOS 283223 HAS SOPS 283223 HAS SOUS 157971 HAS SOUPS 157971 WITH SCORE 158254.223
AT ITER 1307 NEW BEST:: SOT 567416 SOS 283133 HAS SOPS 283133 HAS SOUS 157911 HAS SOUPS 157911 WITH SCORE 158194.133
AT ITER 1317 NEW BEST:: SOT 567416 SOS 283133 HAS SOPS 283133 HAS SOUS 157910 HAS SOUPS 157910 WITH SCORE 158193.133
AT ITER 1320 NEW BEST:: SOT 567403 SOS 283107 HAS SOPS 283107 HAS SOUS 157897 HAS SOUPS 157897 WITH SCORE 158180.107
AT ITER 1321 NEW BEST:: SOT 567255 SOS 283055 HAS SOPS 283055 HAS SOUS 157836 HAS SOUPS 157836 WITH SCORE 158119.055
AT ITER 1335 NEW BEST:: SOT 567229 SOS 283003 HAS SOPS 283003 HAS SOUS 157810 HAS SOUPS 157810 WITH SCORE 158093.003
AT ITER 1339 NEW BEST:: SOT 566892 SOS 282830 HAS SOPS 282830 HAS SOUS 157548 HAS SOUPS 157548 WITH SCORE 157830.83
AT ITER 1341 NEW BEST:: SOT 566892 SOS 282789 HAS SOPS 282789 HAS SOUS 157548 HAS SOUPS 157548 WITH SCORE 157830.789
AT ITER 1343 NEW BEST:: SOT 566801 SOS 282747 HAS SOPS 282747 HAS SOUS 157412 HAS SOUPS 157412 WITH SCORE 157694.747
AT ITER 1347 NEW BEST:: SOT 566791 SOS 282708 HAS SOPS 282708 HAS SOUS 157276 HAS SOUPS 157276 WITH SCORE 157558.708
AT ITER 1369 NEW BEST:: SOT 566811 SOS 282602 HAS SOPS 282602 HAS SOUS 157170 HAS SOUPS 157170 WITH SCORE 157452.602
AT ITER 1371 NEW BEST:: SOT 564652 SOS 283736 HAS SOPS 283736 HAS SOUS 155701 HAS SOUPS 155701 WITH SCORE 155984.736
AT ITER 1379 NEW BEST:: SOT 563358 SOS 286146 HAS SOPS 286146 HAS SOUS 155583 HAS SOUPS 155583 WITH SCORE 155869.146
AT ITER 1383 NEW BEST:: SOT 563349 SOS 286137 HAS SOPS 286137 HAS SOUS 155574 HAS SOUPS 155574 WITH SCORE 155860.137
AT ITER 1384 NEW BEST:: SOT 563251 SOS 285713 HAS SOPS 285713 HAS SOUS 155368 HAS SOUPS 155368 WITH SCORE 155653.713
AT ITER 1392 NEW BEST:: SOT 563251 SOS 285598 HAS SOPS 285598 HAS SOUS 155164 HAS SOUPS 155164 WITH SCORE 155449.598
AT ITER 1405 NEW BEST:: SOT 562373 SOS 285956 HAS SOPS 285956 HAS SOUS 154749 HAS SOUPS 154749 WITH SCORE 155034.956
AT ITER 1409 NEW BEST:: SOT 562010 SOS 285880 HAS SOPS 285880 HAS SOUS 154486 HAS SOUPS 154486 WITH SCORE 154771.88
AT ITER 1411 NEW BEST:: SOT 562028 SOS 285898 HAS SOPS 285898 HAS SOUS 154458 HAS SOUPS 154458 WITH SCORE 154743.898
AT ITER 1421 NEW BEST:: SOT 561758 SOS 285358 HAS SOPS 285358 HAS SOUS 154214 HAS SOUPS 154214 WITH SCORE 154499.358
AT ITER 1425 NEW BEST:: SOT 561573 SOS 284988 HAS SOPS 284988 HAS SOUS 154048 HAS SOUPS 154048 WITH SCORE 154332.988
AT ITER 1428 NEW BEST:: SOT 561454 SOS 284870 HAS SOPS 284870 HAS SOUS 153896 HAS SOUPS 153896 WITH SCORE 154180.87
AT ITER 1432 NEW BEST:: SOT 561932 SOS 285350 HAS SOPS 285350 HAS SOUS 153866 HAS SOUPS 153866 WITH SCORE 154151.35
AT ITER 1438 NEW BEST:: SOT 561919 SOS 285306 HAS SOPS 285306 HAS SOUS 153840 HAS SOUPS 153840 WITH SCORE 154125.306
AT ITER 1439 NEW BEST:: SOT 561424 SOS 284825 HAS SOPS 284825 HAS SOUS 153477 HAS SOUPS 153477 WITH SCORE 153761.825
AT ITER 1445 NEW BEST:: SOT 561284 SOS 284685 HAS SOPS 284685 HAS SOUS 153337 HAS SOUPS 153337 WITH SCORE 153621.685
AT ITER 1446 NEW BEST:: SOT 561284 SOS 284574 HAS SOPS 284574 HAS SOUS 153300 HAS SOUPS 153300 WITH SCORE 153584.574
AT ITER 1456 NEW BEST:: SOT 560825 SOS 285434 HAS SOPS 285434 HAS SOUS 153070 HAS SOUPS 153070 WITH SCORE 153355.434
AT ITER 1457 NEW BEST:: SOT 560825 SOS 283362 HAS SOPS 283362 HAS SOUS 152805 HAS SOUPS 152805 WITH SCORE 153088.362
AT ITER 1461 NEW BEST:: SOT 560825 SOS 283362 HAS SOPS 283362 HAS SOUS 152704 HAS SOUPS 152704 WITH SCORE 152987.362
AT ITER 1468 NEW BEST:: SOT 560499 SOS 283036 HAS SOPS 283036 HAS SOUS 152589 HAS SOUPS 152589 WITH SCORE 152872.036
AT ITER 1470 NEW BEST:: SOT 560296 SOS 282806 HAS SOPS 282806 HAS SOUS 152386 HAS SOUPS 152386 WITH SCORE 152668.806
AT ITER 1471 NEW BEST:: SOT 560281 SOS 282791 HAS SOPS 282791 HAS SOUS 152386 HAS SOUPS 152386 WITH SCORE 152668.791
AT ITER 1481 NEW BEST:: SOT 560263 SOS 282755 HAS SOPS 282755 HAS SOUS 152347 HAS SOUPS 152347 WITH SCORE 152629.755
AT ITER 1482 NEW BEST:: SOT 560230 SOS 282623 HAS SOPS 282623 HAS SOUS 152281 HAS SOUPS 152281 WITH SCORE 152563.623
AT ITER 1483 NEW BEST:: SOT 560213 SOS 282419 HAS SOPS 282419 HAS SOUS 152178 HAS SOUPS 152178 WITH SCORE 152460.419
AT ITER 1485 NEW BEST:: SOT 560054 SOS 281718 HAS SOPS 281718 HAS SOUS 151589 HAS SOUPS 151589 WITH SCORE 151870.718
AT ITER 1488 NEW BEST:: SOT 559834 SOS 281353 HAS SOPS 281353 HAS SOUS 151288 HAS SOUPS 151288 WITH SCORE 151569.353
AT ITER 1489 NEW BEST:: SOT 559723 SOS 281214 HAS SOPS 281214 HAS SOUS 151177 HAS SOUPS 151177 WITH SCORE 151458.214
AT ITER 1491 NEW BEST:: SOT 559691 SOS 281182 HAS SOPS 281182 HAS SOUS 151145 HAS SOUPS 151145 WITH SCORE 151426.182
AT ITER 1494 NEW BEST:: SOT 559423 SOS 281388 HAS SOPS 281388 HAS SOUS 150991 HAS SOUPS 150991 WITH SCORE 151272.388
AT ITER 1496 NEW BEST:: SOT 559281 SOS 281246 HAS SOPS 281246 HAS SOUS 150849 HAS SOUPS 150849 WITH SCORE 151130.246
AT ITER 1499 NEW BEST:: SOT 559223 SOS 281140 HAS SOPS 281140 HAS SOUS 150826 HAS SOUPS 150826 WITH SCORE 151107.14
AT ITER 1500 NEW BEST:: SOT 559263 SOS 281127 HAS SOPS 281127 HAS SOUS 150826 HAS SOUPS 150826 WITH SCORE 151107.127
AT ITER 1503 NEW BEST:: SOT 559750 SOS 279397 HAS SOPS 279397 HAS SOUS 150813 HAS SOUPS 150813 WITH SCORE 151092.397
AT ITER 1504 NEW BEST:: SOT 559626 SOS 279273 HAS SOPS 279273 HAS SOUS 150565 HAS SOUPS 150565 WITH SCORE 150844.273
AT ITER 1512 NEW BEST:: SOT 559626 SOS 279273 HAS SOPS 279273 HAS SOUS 150544 HAS SOUPS 150544 WITH SCORE 150823.273
AT ITER 1522 NEW BEST:: SOT 559522 SOS 277983 HAS SOPS 277983 HAS SOUS 149890 HAS SOUPS 149890 WITH SCORE 150167.983
AT ITER 1528 NEW BEST:: SOT 559188 SOS 277143 HAS SOPS 277143 HAS SOUS 149303 HAS SOUPS 149303 WITH SCORE 149580.143
AT ITER 1533 NEW BEST:: SOT 559079 SOS 276816 HAS SOPS 276816 HAS SOUS 149085 HAS SOUPS 149085 WITH SCORE 149361.816
AT ITER 1538 NEW BEST:: SOT 558984 SOS 276395 HAS SOPS 276395 HAS SOUS 149039 HAS SOUPS 149039 WITH SCORE 149315.395
AT ITER 1540 NEW BEST:: SOT 559023 SOS 276188 HAS SOPS 276188 HAS SOUS 148932 HAS SOUPS 148932 WITH SCORE 149208.188
AT ITER 1557 NEW BEST:: SOT 559023 SOS 276173 HAS SOPS 276173 HAS SOUS 148932 HAS SOUPS 148932 WITH SCORE 149208.173
AT ITER 1561 NEW BEST:: SOT 558621 SOS 275786 HAS SOPS 275786 HAS SOUS 148502 HAS SOUPS 148502 WITH SCORE 148777.786
AT ITER 1563 NEW BEST:: SOT 558621 SOS 275443 HAS SOPS 275443 HAS SOUS 148501 HAS SOUPS 148501 WITH SCORE 148776.443
AT ITER 1579 NEW BEST:: SOT 558621 SOS 275443 HAS SOPS 275443 HAS SOUS 148500 HAS SOUPS 148500 WITH SCORE 148775.443
AT ITER 1586 NEW BEST:: SOT 558388 SOS 274992 HAS SOPS 274992 HAS SOUS 148049 HAS SOUPS 148049 WITH SCORE 148323.992
AT ITER 1598 NEW BEST:: SOT 558306 SOS 274545 HAS SOPS 274545 HAS SOUS 147942 HAS SOUPS 147942 WITH SCORE 148216.545
AT ITER 1599 NEW BEST:: SOT 558035 SOS 274274 HAS SOPS 274274 HAS SOUS 147645 HAS SOUPS 147645 WITH SCORE 147919.274
AT ITER 1603 NEW BEST:: SOT 557603 SOS 300513 HAS SOPS 300513 HAS SOUS 147478 HAS SOUPS 147478 WITH SCORE 147778.513
AT ITER 1604 NEW BEST:: SOT 557628 SOS 300455 HAS SOPS 300455 HAS SOUS 147420 HAS SOUPS 147420 WITH SCORE 147720.455
AT ITER 1607 NEW BEST:: SOT 557526 SOS 300414 HAS SOPS 300414 HAS SOUS 147379 HAS SOUPS 147379 WITH SCORE 147679.414
AT ITER 1608 NEW BEST:: SOT 557526 SOS 300358 HAS SOPS 300358 HAS SOUS 147379 HAS SOUPS 147379 WITH SCORE 147679.358
AT ITER 1614 NEW BEST:: SOT 557363 SOS 300173 HAS SOPS 300173 HAS SOUS 147365 HAS SOUPS 147365 WITH SCORE 147665.173
AT ITER 1616 NEW BEST:: SOT 557296 SOS 299625 HAS SOPS 299625 HAS SOUS 146817 HAS SOUPS 146817 WITH SCORE 147116.625
AT ITER 1617 NEW BEST:: SOT 557295 SOS 299624 HAS SOPS 299624 HAS SOUS 146814 HAS SOUPS 146814 WITH SCORE 147113.624
AT ITER 1620 NEW BEST:: SOT 557223 SOS 299371 HAS SOPS 299371 HAS SOUS 146753 HAS SOUPS 146753 WITH SCORE 147052.371
AT ITER 1621 NEW BEST:: SOT 557064 SOS 299173 HAS SOPS 299173 HAS SOUS 146675 HAS SOUPS 146675 WITH SCORE 146974.173
AT ITER 1627 NEW BEST:: SOT 557141 SOS 298641 HAS SOPS 298641 HAS SOUS 146650 HAS SOUPS 146650 WITH SCORE 146948.641
AT ITER 1628 NEW BEST:: SOT 557113 SOS 298585 HAS SOPS 298585 HAS SOUS 146529 HAS SOUPS 146529 WITH SCORE 146827.585
AT ITER 1632 NEW BEST:: SOT 557080 SOS 298089 HAS SOPS 298089 HAS SOUS 146338 HAS SOUPS 146338 WITH SCORE 146636.089
AT ITER 1634 NEW BEST:: SOT 557080 SOS 298087 HAS SOPS 298087 HAS SOUS 146336 HAS SOUPS 146336 WITH SCORE 146634.087
AT ITER 1639 NEW BEST:: SOT 556995 SOS 298026 HAS SOPS 298026 HAS SOUS 146275 HAS SOUPS 146275 WITH SCORE 146573.026
AT ITER 1640 NEW BEST:: SOT 556965 SOS 297996 HAS SOPS 297996 HAS SOUS 146245 HAS SOUPS 146245 WITH SCORE 146542.996
AT ITER 1642 NEW BEST:: SOT 556965 SOS 297996 HAS SOPS 297996 HAS SOUS 146224 HAS SOUPS 146224 WITH SCORE 146521.996
AT ITER 1645 NEW BEST:: SOT 556965 SOS 297781 HAS SOPS 297781 HAS SOUS 146032 HAS SOUPS 146032 WITH SCORE 146329.781
AT ITER 1654 NEW BEST:: SOT 556938 SOS 297754 HAS SOPS 297754 HAS SOUS 146005 HAS SOUPS 146005 WITH SCORE 146302.754
AT ITER 1657 NEW BEST:: SOT 556934 SOS 297680 HAS SOPS 297680 HAS SOUS 146001 HAS SOUPS 146001 WITH SCORE 146298.68
AT ITER 1672 NEW BEST:: SOT 556934 SOS 297659 HAS SOPS 297659 HAS SOUS 145980 HAS SOUPS 145980 WITH SCORE 146277.659
AT ITER 1673 NEW BEST:: SOT 556885 SOS 297498 HAS SOPS 297498 HAS SOUS 145245 HAS SOUPS 145245 WITH SCORE 145542.498
AT ITER 1684 NEW BEST:: SOT 556856 SOS 297434 HAS SOPS 297434 HAS SOUS 145216 HAS SOUPS 145216 WITH SCORE 145513.434
AT ITER 1711 NEW BEST:: SOT 556808 SOS 296908 HAS SOPS 296908 HAS SOUS 144953 HAS SOUPS 144953 WITH SCORE 145249.908
AT ITER 1724 NEW BEST:: SOT 556577 SOS 294598 HAS SOPS 294598 HAS SOUS 144260 HAS SOUPS 144260 WITH SCORE 144554.598
AT ITER 1730 NEW BEST:: SOT 556572 SOS 294588 HAS SOPS 294588 HAS SOUS 144250 HAS SOUPS 144250 WITH SCORE 144544.588
AT ITER 1740 NEW BEST:: SOT 556556 SOS 294540 HAS SOPS 294540 HAS SOUS 144218 HAS SOUPS 144218 WITH SCORE 144512.54
AT ITER 1744 NEW BEST:: SOT 556583 SOS 294567 HAS SOPS 294567 HAS SOUS 144217 HAS SOUPS 144217 WITH SCORE 144511.567
AT ITER 1747 NEW BEST:: SOT 556583 SOS 294501 HAS SOPS 294501 HAS SOUS 143713 HAS SOUPS 143713 WITH SCORE 144007.501
AT ITER 1762 NEW BEST:: SOT 556613 SOS 294526 HAS SOPS 294526 HAS SOUS 143703 HAS SOUPS 143703 WITH SCORE 143997.526
AT ITER 1775 NEW BEST:: SOT 556584 SOS 294497 HAS SOPS 294497 HAS SOUS 143674 HAS SOUPS 143674 WITH SCORE 143968.497
AT ITER 1777 NEW BEST:: SOT 556447 SOS 294360 HAS SOPS 294360 HAS SOUS 143527 HAS SOUPS 143527 WITH SCORE 143821.36
AT ITER 1779 NEW BEST:: SOT 556447 SOS 294251 HAS SOPS 294251 HAS SOUS 143527 HAS SOUPS 143527 WITH SCORE 143821.251
AT ITER 1794 NEW BEST:: SOT 556447 SOS 294377 HAS SOPS 294377 HAS SOUS 143431 HAS SOUPS 143431 WITH SCORE 143725.377
AT ITER 1795 NEW BEST:: SOT 556443 SOS 294369 HAS SOPS 294369 HAS SOUS 143419 HAS SOUPS 143419 WITH SCORE 143713.369
AT ITER 1803 NEW BEST:: SOT 556109 SOS 293868 HAS SOPS 293868 HAS SOUS 142938 HAS SOUPS 142938 WITH SCORE 143231.868
AT ITER 1805 NEW BEST:: SOT 556252 SOS 294153 HAS SOPS 294153 HAS SOUS 142923 HAS SOUPS 142923 WITH SCORE 143217.153
AT ITER 1808 NEW BEST:: SOT 556395 SOS 293996 HAS SOPS 293996 HAS SOUS 142840 HAS SOUPS 142840 WITH SCORE 143133.996
AT ITER 1809 NEW BEST:: SOT 555762 SOS 293149 HAS SOPS 293149 HAS SOUS 142153 HAS SOUPS 142153 WITH SCORE 142446.149
AT ITER 1813 NEW BEST:: SOT 555606 SOS 292827 HAS SOPS 292827 HAS SOUS 142143 HAS SOUPS 142143 WITH SCORE 142435.827
AT ITER 1816 NEW BEST:: SOT 555590 SOS 292724 HAS SOPS 292724 HAS SOUS 142040 HAS SOUPS 142040 WITH SCORE 142332.724
AT ITER 1829 NEW BEST:: SOT 555578 SOS 292700 HAS SOPS 292700 HAS SOUS 142016 HAS SOUPS 142016 WITH SCORE 142308.7
AT ITER 1830 NEW BEST:: SOT 555517 SOS 292639 HAS SOPS 292639 HAS SOUS 141955 HAS SOUPS 141955 WITH SCORE 142247.639
AT ITER 1831 NEW BEST:: SOT 555517 SOS 292639 HAS SOPS 292639 HAS SOUS 141951 HAS SOUPS 141951 WITH SCORE 142243.639
AT ITER 1836 NEW BEST:: SOT 555457 SOS 292515 HAS SOPS 292515 HAS SOUS 141827 HAS SOUPS 141827 WITH SCORE 142119.515
AT ITER 1837 NEW BEST:: SOT 555386 SOS 291320 HAS SOPS 291320 HAS SOUS 141726 HAS SOUPS 141726 WITH SCORE 142017.32
AT ITER 1838 NEW BEST:: SOT 555386 SOS 291132 HAS SOPS 291132 HAS SOUS 141704 HAS SOUPS 141704 WITH SCORE 141995.132
AT ITER 1844 NEW BEST:: SOT 555309 SOS 291107 HAS SOPS 291107 HAS SOUS 141679 HAS SOUPS 141679 WITH SCORE 141970.107
AT ITER 1857 NEW BEST:: SOT 555305 SOS 291103 HAS SOPS 291103 HAS SOUS 141675 HAS SOUPS 141675 WITH SCORE 141966.103
AT ITER 1858 NEW BEST:: SOT 555389 SOS 290994 HAS SOPS 290994 HAS SOUS 141566 HAS SOUPS 141566 WITH SCORE 141856.994
AT ITER 1862 NEW BEST:: SOT 555189 SOS 290794 HAS SOPS 290794 HAS SOUS 141566 HAS SOUPS 141566 WITH SCORE 141856.794
AT ITER 1865 NEW BEST:: SOT 555408 SOS 289573 HAS SOPS 289573 HAS SOUS 140709 HAS SOUPS 140709 WITH SCORE 140998.573
AT ITER 1870 NEW BEST:: SOT 555120 SOS 289072 HAS SOPS 289072 HAS SOUS 140544 HAS SOUPS 140544 WITH SCORE 140833.072
AT ITER 1892 NEW BEST:: SOT 555106 SOS 289051 HAS SOPS 289051 HAS SOUS 140523 HAS SOUPS 140523 WITH SCORE 140812.051
AT ITER 1895 NEW BEST:: SOT 555061 SOS 288961 HAS SOPS 288961 HAS SOUS 140478 HAS SOUPS 140478 WITH SCORE 140766.961
AT ITER 1913 NEW BEST:: SOT 554942 SOS 288576 HAS SOPS 288576 HAS SOUS 140344 HAS SOUPS 140344 WITH SCORE 140632.576
AT ITER 1932 NEW BEST:: SOT 554830 SOS 287513 HAS SOPS 287513 HAS SOUS 140278 HAS SOUPS 140278 WITH SCORE 140565.513
AT ITER 1933 NEW BEST:: SOT 554817 SOS 287500 HAS SOPS 287500 HAS SOUS 140265 HAS SOUPS 140265 WITH SCORE 140552.5
AT ITER 1938 NEW BEST:: SOT 554772 SOS 286340 HAS SOPS 286340 HAS SOUS 140003 HAS SOUPS 140003 WITH SCORE 140289.34
AT ITER 1939 NEW BEST:: SOT 554742 SOS 286310 HAS SOPS 286310 HAS SOUS 139973 HAS SOUPS 139973 WITH SCORE 140259.31
AT ITER 1943 NEW BEST:: SOT 554742 SOS 286302 HAS SOPS 286302 HAS SOUS 139937 HAS SOUPS 139937 WITH SCORE 140223.302
AT ITER 1944 NEW BEST:: SOT 554712 SOS 286361 HAS SOPS 286361 HAS SOUS 139877 HAS SOUPS 139877 WITH SCORE 140163.361
AT ITER 1950 NEW BEST:: SOT 554653 SOS 286302 HAS SOPS 286302 HAS SOUS 139741 HAS SOUPS 139741 WITH SCORE 140027.302
AT ITER 1968 NEW BEST:: SOT 554650 SOS 286296 HAS SOPS 286296 HAS SOUS 139735 HAS SOUPS 139735 WITH SCORE 140021.296
AT ITER 1982 NEW BEST:: SOT 554633 SOS 286223 HAS SOPS 286223 HAS SOUS 139718 HAS SOUPS 139718 WITH SCORE 140004.223
AT ITER 1990 NEW BEST:: SOT 554633 SOS 286178 HAS SOPS 286178 HAS SOUS 139718 HAS SOUPS 139718 WITH SCORE 140004.178
AT ITER 1995 NEW BEST:: SOT 554222 SOS 285762 HAS SOPS 285762 HAS SOUS 139238 HAS SOUPS 139238 WITH SCORE 139523.762
AT ITER 2003 NEW BEST:: SOT 554250 SOS 285790 HAS SOPS 285790 HAS SOUS 138957 HAS SOUPS 138957 WITH SCORE 139242.79
AT ITER 2004 NEW BEST:: SOT 553931 SOS 285298 HAS SOPS 285298 HAS SOUS 138954 HAS SOUPS 138954 WITH SCORE 139239.298
AT ITER 2015 NEW BEST:: SOT 553814 SOS 285153 HAS SOPS 285153 HAS SOUS 138864 HAS SOUPS 138864 WITH SCORE 139149.153
AT ITER 2020 NEW BEST:: SOT 554011 SOS 283922 HAS SOPS 283922 HAS SOUS 138674 HAS SOUPS 138674 WITH SCORE 138957.922
AT ITER 2024 NEW BEST:: SOT 553992 SOS 283903 HAS SOPS 283903 HAS SOUS 138655 HAS SOUPS 138655 WITH SCORE 138938.903
AT ITER 2029 NEW BEST:: SOT 553981 SOS 284039 HAS SOPS 284039 HAS SOUS 138633 HAS SOUPS 138633 WITH SCORE 138917.039
AT ITER 2035 NEW BEST:: SOT 553887 SOS 283859 HAS SOPS 283859 HAS SOUS 138525 HAS SOUPS 138525 WITH SCORE 138808.859
AT ITER 2047 NEW BEST:: SOT 553887 SOS 283859 HAS SOPS 283859 HAS SOUS 138486 HAS SOUPS 138486 WITH SCORE 138769.859
AT ITER 2066 NEW BEST:: SOT 553961 SOS 283933 HAS SOPS 283933 HAS SOUS 138394 HAS SOUPS 138394 WITH SCORE 138677.933
AT ITER 2072 NEW BEST:: SOT 553919 SOS 283507 HAS SOPS 283507 HAS SOUS 138286 HAS SOUPS 138286 WITH SCORE 138569.507
AT ITER 2074 NEW BEST:: SOT 553597 SOS 283257 HAS SOPS 283257 HAS SOUS 138014 HAS SOUPS 138014 WITH SCORE 138297.257
AT ITER 2085 NEW BEST:: SOT 553490 SOS 282799 HAS SOPS 282799 HAS SOUS 137877 HAS SOUPS 137877 WITH SCORE 138159.799
AT ITER 2089 NEW BEST:: SOT 553437 SOS 282570 HAS SOPS 282570 HAS SOUS 137777 HAS SOUPS 137777 WITH SCORE 138059.57
AT ITER 2109 NEW BEST:: SOT 553522 SOS 282163 HAS SOPS 282163 HAS SOUS 137758 HAS SOUPS 137758 WITH SCORE 138040.163
AT ITER 2124 NEW BEST:: SOT 553510 SOS 282040 HAS SOPS 282040 HAS SOUS 137635 HAS SOUPS 137635 WITH SCORE 137917.04
AT ITER 2131 NEW BEST:: SOT 553078 SOS 281601 HAS SOPS 281601 HAS SOUS 137621 HAS SOUPS 137621 WITH SCORE 137902.601
AT ITER 2139 NEW BEST:: SOT 553064 SOS 281573 HAS SOPS 281573 HAS SOUS 137607 HAS SOUPS 137607 WITH SCORE 137888.573
AT ITER 2143 NEW BEST:: SOT 553037 SOS 281465 HAS SOPS 281465 HAS SOUS 137526 HAS SOUPS 137526 WITH SCORE 137807.465
AT ITER 2156 NEW BEST:: SOT 553037 SOS 281452 HAS SOPS 281452 HAS SOUS 137439 HAS SOUPS 137439 WITH SCORE 137720.452
AT ITER 2178 NEW BEST:: SOT 553084 SOS 281499 HAS SOPS 281499 HAS SOUS 137297 HAS SOUPS 137297 WITH SCORE 137578.499
AT ITER 2183 NEW BEST:: SOT 552897 SOS 281063 HAS SOPS 281063 HAS SOUS 137073 HAS SOUPS 137073 WITH SCORE 137354.063
AT ITER 2197 NEW BEST:: SOT 552892 SOS 281058 HAS SOPS 281058 HAS SOUS 137068 HAS SOUPS 137068 WITH SCORE 137349.058
AT ITER 2202 NEW BEST:: SOT 552850 SOS 280890 HAS SOPS 280890 HAS SOUS 136927 HAS SOUPS 136927 WITH SCORE 137207.89
AT ITER 2223 NEW BEST:: SOT 552837 SOS 280916 HAS SOPS 280916 HAS SOUS 136915 HAS SOUPS 136915 WITH SCORE 137195.916
AT ITER 2232 NEW BEST:: SOT 552805 SOS 280827 HAS SOPS 280827 HAS SOUS 136848 HAS SOUPS 136848 WITH SCORE 137128.827
AT ITER 2251 NEW BEST:: SOT 552805 SOS 280770 HAS SOPS 280770 HAS SOUS 136734 HAS SOUPS 136734 WITH SCORE 137014.77
AT ITER 2252 NEW BEST:: SOT 552598 SOS 280563 HAS SOPS 280563 HAS SOUS 136222 HAS SOUPS 136222 WITH SCORE 136502.563
AT ITER 2255 NEW BEST:: SOT 552606 SOS 280571 HAS SOPS 280571 HAS SOUS 136037 HAS SOUPS 136037 WITH SCORE 136317.571
AT ITER 2260 NEW BEST:: SOT 552599 SOS 280076 HAS SOPS 280076 HAS SOUS 136030 HAS SOUPS 136030 WITH SCORE 136310.076
AT ITER 2263 NEW BEST:: SOT 552604 SOS 280081 HAS SOPS 280081 HAS SOUS 135989 HAS SOUPS 135989 WITH SCORE 136269.081
AT ITER 2270 NEW BEST:: SOT 552604 SOS 280052 HAS SOPS 280052 HAS SOUS 135978 HAS SOUPS 135978 WITH SCORE 136258.052
AT ITER 2282 NEW BEST:: SOT 552588 SOS 280036 HAS SOPS 280036 HAS SOUS 135962 HAS SOUPS 135962 WITH SCORE 136242.036
AT ITER 2284 NEW BEST:: SOT 552588 SOS 280096 HAS SOPS 280096 HAS SOUS 135943 HAS SOUPS 135943 WITH SCORE 136223.096
AT ITER 2286 NEW BEST:: SOT 552561 SOS 280008 HAS SOPS 280008 HAS SOUS 135911 HAS SOUPS 135911 WITH SCORE 136191.008
AT ITER 2308 NEW BEST:: SOT 552313 SOS 279789 HAS SOPS 279789 HAS SOUS 135901 HAS SOUPS 135901 WITH SCORE 136180.789
AT ITER 2315 NEW BEST:: SOT 552322 SOS 279798 HAS SOPS 279798 HAS SOUS 135896 HAS SOUPS 135896 WITH SCORE 136175.798
AT ITER 2316 NEW BEST:: SOT 552655 SOS 279378 HAS SOPS 279378 HAS SOUS 135868 HAS SOUPS 135868 WITH SCORE 136147.378
AT ITER 2318 NEW BEST:: SOT 552585 SOS 279278 HAS SOPS 279278 HAS SOUS 135798 HAS SOUPS 135798 WITH SCORE 136077.278
AT ITER 2338 NEW BEST:: SOT 552614 SOS 279304 HAS SOPS 279304 HAS SOUS 135795 HAS SOUPS 135795 WITH SCORE 136074.304
AT ITER 2342 NEW BEST:: SOT 552593 SOS 279262 HAS SOPS 279262 HAS SOUS 135753 HAS SOUPS 135753 WITH SCORE 136032.262
AT ITER 2346 NEW BEST:: SOT 552631 SOS 279146 HAS SOPS 279146 HAS SOUS 135734 HAS SOUPS 135734 WITH SCORE 136013.146
AT ITER 2357 NEW BEST:: SOT 552590 SOS 279105 HAS SOPS 279105 HAS SOUS 135693 HAS SOUPS 135693 WITH SCORE 135972.105
AT ITER 2362 NEW BEST:: SOT 552424 SOS 278886 HAS SOPS 278886 HAS SOUS 135596 HAS SOUPS 135596 WITH SCORE 135874.886
AT ITER 2365 NEW BEST:: SOT 552397 SOS 278859 HAS SOPS 278859 HAS SOUS 135569 HAS SOUPS 135569 WITH SCORE 135847.859
AT ITER 2370 NEW BEST:: SOT 552455 SOS 278753 HAS SOPS 278753 HAS SOUS 135154 HAS SOUPS 135154 WITH SCORE 135432.753
AT ITER 2372 NEW BEST:: SOT 552322 SOS 278487 HAS SOPS 278487 HAS SOUS 135021 HAS SOUPS 135021 WITH SCORE 135299.487
AT ITER 2375 NEW BEST:: SOT 552177 SOS 277914 HAS SOPS 277914 HAS SOUS 134593 HAS SOUPS 134593 WITH SCORE 134870.914
AT ITER 2387 NEW BEST:: SOT 552100 SOS 277807 HAS SOPS 277807 HAS SOUS 134550 HAS SOUPS 134550 WITH SCORE 134827.807
AT ITER 2394 NEW BEST:: SOT 552027 SOS 280072 HAS SOPS 280072 HAS SOUS 134543 HAS SOUPS 134543 WITH SCORE 134823.072
AT ITER 2396 NEW BEST:: SOT 552032 SOS 280077 HAS SOPS 280077 HAS SOUS 134515 HAS SOUPS 134515 WITH SCORE 134795.077
AT ITER 2403 NEW BEST:: SOT 552152 SOS 279907 HAS SOPS 279907 HAS SOUS 134379 HAS SOUPS 134379 WITH SCORE 134658.907
AT ITER 2406 NEW BEST:: SOT 552152 SOS 279884 HAS SOPS 279884 HAS SOUS 134379 HAS SOUPS 134379 WITH SCORE 134658.884
AT ITER 2413 NEW BEST:: SOT 552125 SOS 279830 HAS SOPS 279830 HAS SOUS 134357 HAS SOUPS 134357 WITH SCORE 134636.83
AT ITER 2424 NEW BEST:: SOT 551970 SOS 279670 HAS SOPS 279670 HAS SOUS 134197 HAS SOUPS 134197 WITH SCORE 134476.67
AT ITER 2426 NEW BEST:: SOT 551955 SOS 279417 HAS SOPS 279417 HAS SOUS 133944 HAS SOUPS 133944 WITH SCORE 134223.417
AT ITER 2451 NEW BEST:: SOT 551940 SOS 279402 HAS SOPS 279402 HAS SOUS 133944 HAS SOUPS 133944 WITH SCORE 134223.402
AT ITER 2452 NEW BEST:: SOT 551944 SOS 278617 HAS SOPS 278617 HAS SOUS 133938 HAS SOUPS 133938 WITH SCORE 134216.617
AT ITER 2453 NEW BEST:: SOT 551861 SOS 278522 HAS SOPS 278522 HAS SOUS 133862 HAS SOUPS 133862 WITH SCORE 134140.522
AT ITER 2475 NEW BEST:: SOT 551898 SOS 278559 HAS SOPS 278559 HAS SOUS 133790 HAS SOUPS 133790 WITH SCORE 134068.559
AT ITER 2484 NEW BEST:: SOT 551897 SOS 278363 HAS SOPS 278363 HAS SOUS 133380 HAS SOUPS 133380 WITH SCORE 133658.363
AT ITER 2487 NEW BEST:: SOT 551799 SOS 278167 HAS SOPS 278167 HAS SOUS 133252 HAS SOUPS 133252 WITH SCORE 133530.167
AT ITER 2493 NEW BEST:: SOT 551799 SOS 278143 HAS SOPS 278143 HAS SOUS 133204 HAS SOUPS 133204 WITH SCORE 133482.143
AT ITER 2527 NEW BEST:: SOT 551736 SOS 278017 HAS SOPS 278017 HAS SOUS 133078 HAS SOUPS 133078 WITH SCORE 133356.017
AT ITER 2528 NEW BEST:: SOT 551644 SOS 277995 HAS SOPS 277995 HAS SOUS 133010 HAS SOUPS 133010 WITH SCORE 133287.995
AT ITER 2532 NEW BEST:: SOT 551634 SOS 277985 HAS SOPS 277985 HAS SOUS 133010 HAS SOUPS 133010 WITH SCORE 133287.985
AT ITER 2542 NEW BEST:: SOT 551634 SOS 277981 HAS SOPS 277981 HAS SOUS 133006 HAS SOUPS 133006 WITH SCORE 133283.981
AT ITER 2546 NEW BEST:: SOT 551629 SOS 277976 HAS SOPS 277976 HAS SOUS 133006 HAS SOUPS 133006 WITH SCORE 133283.976
AT ITER 2551 NEW BEST:: SOT 551734 SOS 277926 HAS SOPS 277926 HAS SOUS 132696 HAS SOUPS 132696 WITH SCORE 132973.926
AT ITER 2576 NEW BEST:: SOT 551775 SOS 276466 HAS SOPS 276466 HAS SOUS 132696 HAS SOUPS 132696 WITH SCORE 132972.466
AT ITER 2578 NEW BEST:: SOT 551746 SOS 276408 HAS SOPS 276408 HAS SOUS 132642 HAS SOUPS 132642 WITH SCORE 132918.408
AT ITER 2579 NEW BEST:: SOT 551746 SOS 276408 HAS SOPS 276408 HAS SOUS 132640 HAS SOUPS 132640 WITH SCORE 132916.408
AT ITER 2583 NEW BEST:: SOT 551708 SOS 276370 HAS SOPS 276370 HAS SOUS 132551 HAS SOUPS 132551 WITH SCORE 132827.37
AT ITER 2587 NEW BEST:: SOT 551657 SOS 276268 HAS SOPS 276268 HAS SOUS 132449 HAS SOUPS 132449 WITH SCORE 132725.268
AT ITER 2590 NEW BEST:: SOT 551628 SOS 276243 HAS SOPS 276243 HAS SOUS 132420 HAS SOUPS 132420 WITH SCORE 132696.243
AT ITER 2591 NEW BEST:: SOT 551628 SOS 276132 HAS SOPS 276132 HAS SOUS 132383 HAS SOUPS 132383 WITH SCORE 132659.132
AT ITER 2592 NEW BEST:: SOT 551696 SOS 275954 HAS SOPS 275954 HAS SOUS 132290 HAS SOUPS 132290 WITH SCORE 132565.954
AT ITER 2603 NEW BEST:: SOT 551670 SOS 275928 HAS SOPS 275928 HAS SOUS 132264 HAS SOUPS 132264 WITH SCORE 132539.928
AT ITER 2608 NEW BEST:: SOT 551660 SOS 275876 HAS SOPS 275876 HAS SOUS 132244 HAS SOUPS 132244 WITH SCORE 132519.876
AT ITER 2610 NEW BEST:: SOT 551623 SOS 275839 HAS SOPS 275839 HAS SOUS 132207 HAS SOUPS 132207 WITH SCORE 132482.839
AT ITER 2614 NEW BEST:: SOT 551623 SOS 275755 HAS SOPS 275755 HAS SOUS 132207 HAS SOUPS 132207 WITH SCORE 132482.755
AT ITER 2616 NEW BEST:: SOT 551401 SOS 275311 HAS SOPS 275311 HAS SOUS 131874 HAS SOUPS 131874 WITH SCORE 132149.311
AT ITER 2620 NEW BEST:: SOT 551401 SOS 275139 HAS SOPS 275139 HAS SOUS 131807 HAS SOUPS 131807 WITH SCORE 132082.139
AT ITER 2634 NEW BEST:: SOT 551401 SOS 275101 HAS SOPS 275101 HAS SOUS 131769 HAS SOUPS 131769 WITH SCORE 132044.101
AT ITER 2653 NEW BEST:: SOT 551333 SOS 275001 HAS SOPS 275001 HAS SOUS 131624 HAS SOUPS 131624 WITH SCORE 131899.001
AT ITER 2665 NEW BEST:: SOT 551333 SOS 275001 HAS SOPS 275001 HAS SOUS 131611 HAS SOUPS 131611 WITH SCORE 131886.001
AT ITER 2666 NEW BEST:: SOT 551306 SOS 274974 HAS SOPS 274974 HAS SOUS 131584 HAS SOUPS 131584 WITH SCORE 131858.974
AT ITER 2667 NEW BEST:: SOT 551218 SOS 274842 HAS SOPS 274842 HAS SOUS 131457 HAS SOUPS 131457 WITH SCORE 131731.842
AT ITER 2671 NEW BEST:: SOT 551218 SOS 274816 HAS SOPS 274816 HAS SOUS 131457 HAS SOUPS 131457 WITH SCORE 131731.816
AT ITER 2674 NEW BEST:: SOT 551159 SOS 274548 HAS SOPS 274548 HAS SOUS 131383 HAS SOUPS 131383 WITH SCORE 131657.548
AT ITER 2689 NEW BEST:: SOT 551122 SOS 274511 HAS SOPS 274511 HAS SOUS 131346 HAS SOUPS 131346 WITH SCORE 131620.511
AT ITER 2691 NEW BEST:: SOT 551122 SOS 274493 HAS SOPS 274493 HAS SOUS 131328 HAS SOUPS 131328 WITH SCORE 131602.493
AT ITER 2698 NEW BEST:: SOT 551122 SOS 274493 HAS SOPS 274493 HAS SOUS 131323 HAS SOUPS 131323 WITH SCORE 131597.493
AT ITER 2701 NEW BEST:: SOT 551195 SOS 274067 HAS SOPS 274067 HAS SOUS 131308 HAS SOUPS 131308 WITH SCORE 131582.067
AT ITER 2703 NEW BEST:: SOT 551153 SOS 273983 HAS SOPS 273983 HAS SOUS 131245 HAS SOUPS 131245 WITH SCORE 131518.983
AT ITER 2715 NEW BEST:: SOT 551092 SOS 273442 HAS SOPS 273442 HAS SOUS 130720 HAS SOUPS 130720 WITH SCORE 130993.442
AT ITER 2717 NEW BEST:: SOT 550929 SOS 273121 HAS SOPS 273121 HAS SOUS 130557 HAS SOUPS 130557 WITH SCORE 130830.121
AT ITER 2721 NEW BEST:: SOT 550924 SOS 273116 HAS SOPS 273116 HAS SOUS 130552 HAS SOUPS 130552 WITH SCORE 130825.116
AT ITER 2752 NEW BEST:: SOT 550796 SOS 272988 HAS SOPS 272988 HAS SOUS 130499 HAS SOUPS 130499 WITH SCORE 130771.988
AT ITER 2763 NEW BEST:: SOT 550595 SOS 272586 HAS SOPS 272586 HAS SOUS 130453 HAS SOUPS 130453 WITH SCORE 130725.586
AT ITER 2768 NEW BEST:: SOT 550582 SOS 272560 HAS SOPS 272560 HAS SOUS 130440 HAS SOUPS 130440 WITH SCORE 130712.56
AT ITER 2793 NEW BEST:: SOT 550571 SOS 272527 HAS SOPS 272527 HAS SOUS 130429 HAS SOUPS 130429 WITH SCORE 130701.527
AT ITER 2795 NEW BEST:: SOT 550428 SOS 272304 HAS SOPS 272304 HAS SOUS 130183 HAS SOUPS 130183 WITH SCORE 130455.304
AT ITER 2800 NEW BEST:: SOT 550293 SOS 272034 HAS SOPS 272034 HAS SOUS 129838 HAS SOUPS 129838 WITH SCORE 130110.034
AT ITER 2807 NEW BEST:: SOT 550293 SOS 272026 HAS SOPS 272026 HAS SOUS 129838 HAS SOUPS 129838 WITH SCORE 130110.026
AT ITER 2811 NEW BEST:: SOT 550400 SOS 272204 HAS SOPS 272204 HAS SOUS 129805 HAS SOUPS 129805 WITH SCORE 130077.204
AT ITER 2814 NEW BEST:: SOT 550451 SOS 272214 HAS SOPS 272214 HAS SOUS 129686 HAS SOUPS 129686 WITH SCORE 129958.214
AT ITER 2833 NEW BEST:: SOT 550424 SOS 272165 HAS SOPS 272165 HAS SOUS 129637 HAS SOUPS 129637 WITH SCORE 129909.165
AT ITER 2841 NEW BEST:: SOT 550352 SOS 271889 HAS SOPS 271889 HAS SOUS 129565 HAS SOUPS 129565 WITH SCORE 129836.889
AT ITER 2845 NEW BEST:: SOT 550352 SOS 271889 HAS SOPS 271889 HAS SOUS 129563 HAS SOUPS 129563 WITH SCORE 129834.889
AT ITER 2879 NEW BEST:: SOT 550363 SOS 271779 HAS SOPS 271779 HAS SOUS 129526 HAS SOUPS 129526 WITH SCORE 129797.779
AT ITER 2891 NEW BEST:: SOT 550111 SOS 271683 HAS SOPS 271683 HAS SOUS 129276 HAS SOUPS 129276 WITH SCORE 129547.683
AT ITER 2905 NEW BEST:: SOT 550049 SOS 273045 HAS SOPS 273045 HAS SOUS 129254 HAS SOUPS 129254 WITH SCORE 129527.045
AT ITER 2909 NEW BEST:: SOT 550057 SOS 273119 HAS SOPS 273119 HAS SOUS 129223 HAS SOUPS 129223 WITH SCORE 129496.119
AT ITER 2918 NEW BEST:: SOT 550045 SOS 273107 HAS SOPS 273107 HAS SOUS 129211 HAS SOUPS 129211 WITH SCORE 129484.107
AT ITER 2930 NEW BEST:: SOT 550033 SOS 273046 HAS SOPS 273046 HAS SOUS 129199 HAS SOUPS 129199 WITH SCORE 129472.046
AT ITER 2944 NEW BEST:: SOT 549976 SOS 273007 HAS SOPS 273007 HAS SOUS 128892 HAS SOUPS 128892 WITH SCORE 129165.007
AT ITER 2948 NEW BEST:: SOT 549968 SOS 272978 HAS SOPS 272978 HAS SOUS 128871 HAS SOUPS 128871 WITH SCORE 129143.978
AT ITER 2964 NEW BEST:: SOT 549968 SOS 272948 HAS SOPS 272948 HAS SOUS 128856 HAS SOUPS 128856 WITH SCORE 129128.948
AT ITER 2977 NEW BEST:: SOT 549925 SOS 272905 HAS SOPS 272905 HAS SOUS 128818 HAS SOUPS 128818 WITH SCORE 129090.905
AT ITER 2984 NEW BEST:: SOT 549851 SOS 272831 HAS SOPS 272831 HAS SOUS 128818 HAS SOUPS 128818 WITH SCORE 129090.831
AT ITER 2996 NEW BEST:: SOT 549952 SOS 273044 HAS SOPS 273044 HAS SOUS 128645 HAS SOUPS 128645 WITH SCORE 128918.044
AT ITER 2999 NEW BEST:: SOT 549942 SOS 273062 HAS SOPS 273062 HAS SOUS 128635 HAS SOUPS 128635 WITH SCORE 128908.062
AT ITER 3020 NEW BEST:: SOT 549817 SOS 272594 HAS SOPS 272594 HAS SOUS 128167 HAS SOUPS 128167 WITH SCORE 128439.594
AT ITER 3023 NEW BEST:: SOT 549722 SOS 272500 HAS SOPS 272500 HAS SOUS 128073 HAS SOUPS 128073 WITH SCORE 128345.5
AT ITER 3026 NEW BEST:: SOT 549720 SOS 272496 HAS SOPS 272496 HAS SOUS 128071 HAS SOUPS 128071 WITH SCORE 128343.496
AT ITER 3043 NEW BEST:: SOT 549719 SOS 272494 HAS SOPS 272494 HAS SOUS 128069 HAS SOUPS 128069 WITH SCORE 128341.494
AT ITER 3049 NEW BEST:: SOT 549514 SOS 272275 HAS SOPS 272275 HAS SOUS 127850 HAS SOUPS 127850 WITH SCORE 128122.275
AT ITER 3050 NEW BEST:: SOT 549380 SOS 272425 HAS SOPS 272425 HAS SOUS 127828 HAS SOUPS 127828 WITH SCORE 128100.425
AT ITER 3054 NEW BEST:: SOT 549368 SOS 272377 HAS SOPS 272377 HAS SOUS 127792 HAS SOUPS 127792 WITH SCORE 128064.377
AT ITER 3066 NEW BEST:: SOT 549372 SOS 272357 HAS SOPS 272357 HAS SOUS 127753 HAS SOUPS 127753 WITH SCORE 128025.357
AT ITER 3074 NEW BEST:: SOT 549328 SOS 272154 HAS SOPS 272154 HAS SOUS 127709 HAS SOUPS 127709 WITH SCORE 127981.154
AT ITER 3079 NEW BEST:: SOT 549305 SOS 272131 HAS SOPS 272131 HAS SOUS 127686 HAS SOUPS 127686 WITH SCORE 127958.131
AT ITER 3088 NEW BEST:: SOT 549292 SOS 270831 HAS SOPS 270831 HAS SOUS 127660 HAS SOUPS 127660 WITH SCORE 127930.831
AT ITER 3094 NEW BEST:: SOT 549310 SOS 270926 HAS SOPS 270926 HAS SOUS 127637 HAS SOUPS 127637 WITH SCORE 127907.926
AT ITER 3121 NEW BEST:: SOT 549279 SOS 270826 HAS SOPS 270826 HAS SOUS 127537 HAS SOUPS 127537 WITH SCORE 127807.826
AT ITER 3124 NEW BEST:: SOT 549262 SOS 270789 HAS SOPS 270789 HAS SOUS 127520 HAS SOUPS 127520 WITH SCORE 127790.789
AT ITER 3127 NEW BEST:: SOT 549225 SOS 270817 HAS SOPS 270817 HAS SOUS 127483 HAS SOUPS 127483 WITH SCORE 127753.817
AT ITER 3131 NEW BEST:: SOT 549225 SOS 270817 HAS SOPS 270817 HAS SOUS 127394 HAS SOUPS 127394 WITH SCORE 127664.817
AT ITER 3136 NEW BEST:: SOT 549105 SOS 270577 HAS SOPS 270577 HAS SOUS 127264 HAS SOUPS 127264 WITH SCORE 127534.577
AT ITER 3141 NEW BEST:: SOT 549075 SOS 271011 HAS SOPS 271011 HAS SOUS 127234 HAS SOUPS 127234 WITH SCORE 127505.011
AT ITER 3166 NEW BEST:: SOT 549130 SOS 271121 HAS SOPS 271121 HAS SOUS 127153 HAS SOUPS 127153 WITH SCORE 127424.121
AT ITER 3179 NEW BEST:: SOT 549101 SOS 270751 HAS SOPS 270751 HAS SOUS 126872 HAS SOUPS 126872 WITH SCORE 127142.751
AT ITER 3186 NEW BEST:: SOT 549095 SOS 270745 HAS SOPS 270745 HAS SOUS 126860 HAS SOUPS 126860 WITH SCORE 127130.745
AT ITER 3187 NEW BEST:: SOT 549095 SOS 270745 HAS SOPS 270745 HAS SOUS 126837 HAS SOUPS 126837 WITH SCORE 127107.745
AT ITER 3204 NEW BEST:: SOT 549095 SOS 270745 HAS SOPS 270745 HAS SOUS 126752 HAS SOUPS 126752 WITH SCORE 127022.745
AT ITER 3221 NEW BEST:: SOT 548889 SOS 270542 HAS SOPS 270542 HAS SOUS 126506 HAS SOUPS 126506 WITH SCORE 126776.542
AT ITER 3225 NEW BEST:: SOT 548836 SOS 270383 HAS SOPS 270383 HAS SOUS 126453 HAS SOUPS 126453 WITH SCORE 126723.383
AT ITER 3226 NEW BEST:: SOT 548836 SOS 270383 HAS SOPS 270383 HAS SOUS 126393 HAS SOUPS 126393 WITH SCORE 126663.383
AT ITER 3228 NEW BEST:: SOT 548837 SOS 269891 HAS SOPS 269891 HAS SOUS 126393 HAS SOUPS 126393 WITH SCORE 126662.891
AT ITER 3240 NEW BEST:: SOT 548799 SOS 269853 HAS SOPS 269853 HAS SOUS 126317 HAS SOUPS 126317 WITH SCORE 126586.853
AT ITER 3248 NEW BEST:: SOT 548769 SOS 269823 HAS SOPS 269823 HAS SOUS 126317 HAS SOUPS 126317 WITH SCORE 126586.823
AT ITER 3266 NEW BEST:: SOT 548734 SOS 269728 HAS SOPS 269728 HAS SOUS 126282 HAS SOUPS 126282 WITH SCORE 126551.728
AT ITER 3267 NEW BEST:: SOT 548641 SOS 269542 HAS SOPS 269542 HAS SOUS 126061 HAS SOUPS 126061 WITH SCORE 126330.542
AT ITER 3270 NEW BEST:: SOT 548709 SOS 269492 HAS SOPS 269492 HAS SOUS 126045 HAS SOUPS 126045 WITH SCORE 126314.492
AT ITER 3276 NEW BEST:: SOT 548640 SOS 269391 HAS SOPS 269391 HAS SOUS 125976 HAS SOUPS 125976 WITH SCORE 126245.391
AT ITER 3279 NEW BEST:: SOT 548499 SOS 269183 HAS SOPS 269183 HAS SOUS 125909 HAS SOUPS 125909 WITH SCORE 126178.183
AT ITER 3294 NEW BEST:: SOT 548499 SOS 269299 HAS SOPS 269299 HAS SOUS 125905 HAS SOUPS 125905 WITH SCORE 126174.299
AT ITER 3310 NEW BEST:: SOT 547711 SOS 268329 HAS SOPS 268329 HAS SOUS 125541 HAS SOUPS 125541 WITH SCORE 125809.329
AT ITER 3311 NEW BEST:: SOT 547691 SOS 268299 HAS SOPS 268299 HAS SOUS 125511 HAS SOUPS 125511 WITH SCORE 125779.299
AT ITER 3316 NEW BEST:: SOT 547600 SOS 268208 HAS SOPS 268208 HAS SOUS 125511 HAS SOUPS 125511 WITH SCORE 125779.208
AT ITER 3320 NEW BEST:: SOT 547458 SOS 267968 HAS SOPS 267968 HAS SOUS 125369 HAS SOUPS 125369 WITH SCORE 125636.968
AT ITER 3331 NEW BEST:: SOT 547455 SOS 267962 HAS SOPS 267962 HAS SOUS 125363 HAS SOUPS 125363 WITH SCORE 125630.962
AT ITER 3334 NEW BEST:: SOT 547454 SOS 267960 HAS SOPS 267960 HAS SOUS 125362 HAS SOUPS 125362 WITH SCORE 125629.96
AT ITER 3350 NEW BEST:: SOT 547429 SOS 267860 HAS SOPS 267860 HAS SOUS 125312 HAS SOUPS 125312 WITH SCORE 125579.86
AT ITER 3356 NEW BEST:: SOT 547471 SOS 268065 HAS SOPS 268065 HAS SOUS 125275 HAS SOUPS 125275 WITH SCORE 125543.065
AT ITER 3359 NEW BEST:: SOT 547323 SOS 268039 HAS SOPS 268039 HAS SOUS 125196 HAS SOUPS 125196 WITH SCORE 125464.039
AT ITER 3370 NEW BEST:: SOT 547079 SOS 267612 HAS SOPS 267612 HAS SOUS 124952 HAS SOUPS 124952 WITH SCORE 125219.612
AT ITER 3374 NEW BEST:: SOT 547053 SOS 267586 HAS SOPS 267586 HAS SOUS 124946 HAS SOUPS 124946 WITH SCORE 125213.586
AT ITER 3383 NEW BEST:: SOT 547053 SOS 267345 HAS SOPS 267345 HAS SOUS 124864 HAS SOUPS 124864 WITH SCORE 125131.345
AT ITER 3398 NEW BEST:: SOT 547053 SOS 267293 HAS SOPS 267293 HAS SOUS 124812 HAS SOUPS 124812 WITH SCORE 125079.293
AT ITER 3401 NEW BEST:: SOT 547014 SOS 267254 HAS SOPS 267254 HAS SOUS 124773 HAS SOUPS 124773 WITH SCORE 125040.254
AT ITER 3405 NEW BEST:: SOT 546975 SOS 267215 HAS SOPS 267215 HAS SOUS 124734 HAS SOUPS 124734 WITH SCORE 125001.215
AT ITER 3420 NEW BEST:: SOT 546974 SOS 267214 HAS SOPS 267214 HAS SOUS 124733 HAS SOUPS 124733 WITH SCORE 125000.214
AT ITER 3423 NEW BEST:: SOT 546974 SOS 267214 HAS SOPS 267214 HAS SOUS 124696 HAS SOUPS 124696 WITH SCORE 124963.214
AT ITER 3431 NEW BEST:: SOT 546974 SOS 266953 HAS SOPS 266953 HAS SOUS 124599 HAS SOUPS 124599 WITH SCORE 124865.953
AT ITER 3437 NEW BEST:: SOT 546917 SOS 266992 HAS SOPS 266992 HAS SOUS 124593 HAS SOUPS 124593 WITH SCORE 124859.992
AT ITER 3450 NEW BEST:: SOT 546786 SOS 266937 HAS SOPS 266937 HAS SOUS 124474 HAS SOUPS 124474 WITH SCORE 124740.937
AT ITER 3453 NEW BEST:: SOT 546744 SOS 266890 HAS SOPS 266890 HAS SOUS 124423 HAS SOUPS 124423 WITH SCORE 124689.89
AT ITER 3454 NEW BEST:: SOT 546508 SOS 266490 HAS SOPS 266490 HAS SOUS 124212 HAS SOUPS 124212 WITH SCORE 124478.49
AT ITER 3460 NEW BEST:: SOT 546394 SOS 265481 HAS SOPS 265481 HAS SOUS 123937 HAS SOUPS 123937 WITH SCORE 124202.481
AT ITER 3462 NEW BEST:: SOT 546316 SOS 265325 HAS SOPS 265325 HAS SOUS 123781 HAS SOUPS 123781 WITH SCORE 124046.325
AT ITER 3472 NEW BEST:: SOT 546222 SOS 265032 HAS SOPS 265032 HAS SOUS 123482 HAS SOUPS 123482 WITH SCORE 123747.032
AT ITER 3494 NEW BEST:: SOT 546222 SOS 265032 HAS SOPS 265032 HAS SOUS 123382 HAS SOUPS 123382 WITH SCORE 123647.032
AT ITER 3505 NEW BEST:: SOT 546414 SOS 265247 HAS SOPS 265247 HAS SOUS 123360 HAS SOUPS 123360 WITH SCORE 123625.247
AT ITER 3509 NEW BEST:: SOT 546349 SOS 265182 HAS SOPS 265182 HAS SOUS 123360 HAS SOUPS 123360 WITH SCORE 123625.182
AT ITER 3510 NEW BEST:: SOT 546146 SOS 264769 HAS SOPS 264769 HAS SOUS 123052 HAS SOUPS 123052 WITH SCORE 123316.769
AT ITER 3512 NEW BEST:: SOT 546070 SOS 264762 HAS SOPS 264762 HAS SOUS 122952 HAS SOUPS 122952 WITH SCORE 123216.762
AT ITER 3526 NEW BEST:: SOT 546063 SOS 264762 HAS SOPS 264762 HAS SOUS 122945 HAS SOUPS 122945 WITH SCORE 123209.762
AT ITER 3540 NEW BEST:: SOT 546063 SOS 264728 HAS SOPS 264728 HAS SOUS 122928 HAS SOUPS 122928 WITH SCORE 123192.728
AT ITER 3565 NEW BEST:: SOT 546062 SOS 264668 HAS SOPS 264668 HAS SOUS 122881 HAS SOUPS 122881 WITH SCORE 123145.668
AT ITER 3577 NEW BEST:: SOT 546062 SOS 264666 HAS SOPS 264666 HAS SOUS 122879 HAS SOUPS 122879 WITH SCORE 123143.666
AT ITER 3583 NEW BEST:: SOT 545954 SOS 264450 HAS SOPS 264450 HAS SOUS 122663 HAS SOUPS 122663 WITH SCORE 122927.45
AT ITER 3584 NEW BEST:: SOT 545954 SOS 264450 HAS SOPS 264450 HAS SOUS 122658 HAS SOUPS 122658 WITH SCORE 122922.45
AT ITER 3595 NEW BEST:: SOT 545927 SOS 264423 HAS SOPS 264423 HAS SOUS 122631 HAS SOUPS 122631 WITH SCORE 122895.423
AT ITER 3608 NEW BEST:: SOT 545953 SOS 264475 HAS SOPS 264475 HAS SOUS 122624 HAS SOUPS 122624 WITH SCORE 122888.475
AT ITER 3610 NEW BEST:: SOT 545953 SOS 264387 HAS SOPS 264387 HAS SOUS 122536 HAS SOUPS 122536 WITH SCORE 122800.387
AT ITER 3612 NEW BEST:: SOT 546044 SOS 264569 HAS SOPS 264569 HAS SOUS 122490 HAS SOUPS 122490 WITH SCORE 122754.569
AT ITER 3622 NEW BEST:: SOT 546035 SOS 264560 HAS SOPS 264560 HAS SOUS 122481 HAS SOUPS 122481 WITH SCORE 122745.56
AT ITER 3633 NEW BEST:: SOT 545905 SOS 264392 HAS SOPS 264392 HAS SOUS 122452 HAS SOUPS 122452 WITH SCORE 122716.392
AT ITER 3636 NEW BEST:: SOT 545877 SOS 264199 HAS SOPS 264199 HAS SOUS 122396 HAS SOUPS 122396 WITH SCORE 122660.199
AT ITER 3670 NEW BEST:: SOT 545877 SOS 264199 HAS SOPS 264199 HAS SOUS 122330 HAS SOUPS 122330 WITH SCORE 122594.199
AT ITER 3686 NEW BEST:: SOT 545837 SOS 264119 HAS SOPS 264119 HAS SOUS 122084 HAS SOUPS 122084 WITH SCORE 122348.119
AT ITER 3691 NEW BEST:: SOT 545837 SOS 263993 HAS SOPS 263993 HAS SOUS 122084 HAS SOUPS 122084 WITH SCORE 122347.993
AT ITER 3701 NEW BEST:: SOT 545802 SOS 263958 HAS SOPS 263958 HAS SOUS 122049 HAS SOUPS 122049 WITH SCORE 122312.958
AT ITER 3726 NEW BEST:: SOT 545788 SOS 263930 HAS SOPS 263930 HAS SOUS 122035 HAS SOUPS 122035 WITH SCORE 122298.93
AT ITER 3741 NEW BEST:: SOT 545788 SOS 263830 HAS SOPS 263830 HAS SOUS 122035 HAS SOUPS 122035 WITH SCORE 122298.83
AT ITER 3743 NEW BEST:: SOT 545788 SOS 263770 HAS SOPS 263770 HAS SOUS 122013 HAS SOUPS 122013 WITH SCORE 122276.77
AT ITER 3747 NEW BEST:: SOT 545773 SOS 263740 HAS SOPS 263740 HAS SOUS 121998 HAS SOUPS 121998 WITH SCORE 122261.74
AT ITER 3754 NEW BEST:: SOT 545701 SOS 263743 HAS SOPS 263743 HAS SOUS 121876 HAS SOUPS 121876 WITH SCORE 122139.743
AT ITER 3757 NEW BEST:: SOT 545701 SOS 263690 HAS SOPS 263690 HAS SOUS 121792 HAS SOUPS 121792 WITH SCORE 122055.69
AT ITER 3761 NEW BEST:: SOT 545699 SOS 263686 HAS SOPS 263686 HAS SOUS 121790 HAS SOUPS 121790 WITH SCORE 122053.686
AT ITER 3767 NEW BEST:: SOT 545717 SOS 263697 HAS SOPS 263697 HAS SOUS 121747 HAS SOUPS 121747 WITH SCORE 122010.697
AT ITER 3780 NEW BEST:: SOT 545702 SOS 263684 HAS SOPS 263684 HAS SOUS 121717 HAS SOUPS 121717 WITH SCORE 121980.684
AT ITER 3788 NEW BEST:: SOT 545718 SOS 263675 HAS SOPS 263675 HAS SOUS 121708 HAS SOUPS 121708 WITH SCORE 121971.675
AT ITER 3802 NEW BEST:: SOT 545316 SOS 262809 HAS SOPS 262809 HAS SOUS 121168 HAS SOUPS 121168 WITH SCORE 121430.809
AT ITER 3806 NEW BEST:: SOT 545450 SOS 262209 HAS SOPS 262209 HAS SOUS 121116 HAS SOUPS 121116 WITH SCORE 121378.209
AT ITER 3811 NEW BEST:: SOT 545381 SOS 262140 HAS SOPS 262140 HAS SOUS 121047 HAS SOUPS 121047 WITH SCORE 121309.14
AT ITER 3814 NEW BEST:: SOT 545222 SOS 261808 HAS SOPS 261808 HAS SOUS 120897 HAS SOUPS 120897 WITH SCORE 121158.808
AT ITER 3815 NEW BEST:: SOT 545012 SOS 261256 HAS SOPS 261256 HAS SOUS 120747 HAS SOUPS 120747 WITH SCORE 121008.256
AT ITER 3845 NEW BEST:: SOT 544544 SOS 260788 HAS SOPS 260788 HAS SOUS 120744 HAS SOUPS 120744 WITH SCORE 121004.788
AT ITER 3853 NEW BEST:: SOT 544537 SOS 260598 HAS SOPS 260598 HAS SOUS 120737 HAS SOUPS 120737 WITH SCORE 120997.598
AT ITER 3878 NEW BEST:: SOT 544500 SOS 260561 HAS SOPS 260561 HAS SOUS 120700 HAS SOUPS 120700 WITH SCORE 120960.561
AT ITER 3889 NEW BEST:: SOT 544444 SOS 260393 HAS SOPS 260393 HAS SOUS 120532 HAS SOUPS 120532 WITH SCORE 120792.393
AT ITER 3905 NEW BEST:: SOT 544444 SOS 260383 HAS SOPS 260383 HAS SOUS 120522 HAS SOUPS 120522 WITH SCORE 120782.383
AT ITER 3917 NEW BEST:: SOT 544444 SOS 260364 HAS SOPS 260364 HAS SOUS 120484 HAS SOUPS 120484 WITH SCORE 120744.364
AT ITER 3923 NEW BEST:: SOT 544401 SOS 260341 HAS SOPS 260341 HAS SOUS 120461 HAS SOUPS 120461 WITH SCORE 120721.341
AT ITER 3925 NEW BEST:: SOT 544240 SOS 260055 HAS SOPS 260055 HAS SOUS 120358 HAS SOUPS 120358 WITH SCORE 120618.055
AT ITER 3929 NEW BEST:: SOT 543947 SOS 259647 HAS SOPS 259647 HAS SOUS 120180 HAS SOUPS 120180 WITH SCORE 120439.647
AT ITER 3939 NEW BEST:: SOT 543933 SOS 259633 HAS SOPS 259633 HAS SOUS 120166 HAS SOUPS 120166 WITH SCORE 120425.633
AT ITER 3946 NEW BEST:: SOT 543842 SOS 259633 HAS SOPS 259633 HAS SOUS 120075 HAS SOUPS 120075 WITH SCORE 120334.633
AT ITER 3977 NEW BEST:: SOT 543793 SOS 259535 HAS SOPS 259535 HAS SOUS 119958 HAS SOUPS 119958 WITH SCORE 120217.535
AT ITER 3989 NEW BEST:: SOT 543754 SOS 259457 HAS SOPS 259457 HAS SOUS 119919 HAS SOUPS 119919 WITH SCORE 120178.457
AT ITER 4007 NEW BEST:: SOT 543684 SOS 259387 HAS SOPS 259387 HAS SOUS 119919 HAS SOUPS 119919 WITH SCORE 120178.387
AT ITER 4013 NEW BEST:: SOT 543814 SOS 259355 HAS SOPS 259355 HAS SOUS 119887 HAS SOUPS 119887 WITH SCORE 120146.355
AT ITER 4017 NEW BEST:: SOT 543814 SOS 259352 HAS SOPS 259352 HAS SOUS 119884 HAS SOUPS 119884 WITH SCORE 120143.352
AT ITER 4026 NEW BEST:: SOT 543555 SOS 259136 HAS SOPS 259136 HAS SOUS 119732 HAS SOUPS 119732 WITH SCORE 119991.136
AT ITER 4041 NEW BEST:: SOT 543579 SOS 259184 HAS SOPS 259184 HAS SOUS 119727 HAS SOUPS 119727 WITH SCORE 119986.184
AT ITER 4053 NEW BEST:: SOT 543579 SOS 259177 HAS SOPS 259177 HAS SOUS 119727 HAS SOUPS 119727 WITH SCORE 119986.177
AT ITER 4057 NEW BEST:: SOT 543623 SOS 259068 HAS SOPS 259068 HAS SOUS 119644 HAS SOUPS 119644 WITH SCORE 119903.068
AT ITER 4072 NEW BEST:: SOT 543898 SOS 259343 HAS SOPS 259343 HAS SOUS 119597 HAS SOUPS 119597 WITH SCORE 119856.343
AT ITER 4073 NEW BEST:: SOT 543873 SOS 258968 HAS SOPS 258968 HAS SOUS 119572 HAS SOUPS 119572 WITH SCORE 119830.968
AT ITER 4090 NEW BEST:: SOT 543769 SOS 258709 HAS SOPS 258709 HAS SOUS 119473 HAS SOUPS 119473 WITH SCORE 119731.709
AT ITER 4092 NEW BEST:: SOT 543704 SOS 254562 HAS SOPS 254562 HAS SOUS 119266 HAS SOUPS 119266 WITH SCORE 119520.562
AT ITER 4102 NEW BEST:: SOT 543704 SOS 254572 HAS SOPS 254572 HAS SOUS 119256 HAS SOUPS 119256 WITH SCORE 119510.572
AT ITER 4115 NEW BEST:: SOT 543960 SOS 254836 HAS SOPS 254836 HAS SOUS 119077 HAS SOUPS 119077 WITH SCORE 119331.836
AT ITER 4140 NEW BEST:: SOT 543960 SOS 254836 HAS SOPS 254836 HAS SOUS 118937 HAS SOUPS 118937 WITH SCORE 119191.836
AT ITER 4142 NEW BEST:: SOT 543820 SOS 254442 HAS SOPS 254442 HAS SOUS 118709 HAS SOUPS 118709 WITH SCORE 118963.442
AT ITER 4153 NEW BEST:: SOT 543865 SOS 254359 HAS SOPS 254359 HAS SOUS 118384 HAS SOUPS 118384 WITH SCORE 118638.359
AT ITER 4160 NEW BEST:: SOT 543931 SOS 254425 HAS SOPS 254425 HAS SOUS 118380 HAS SOUPS 118380 WITH SCORE 118634.425
AT ITER 4162 NEW BEST:: SOT 543918 SOS 254494 HAS SOPS 254494 HAS SOUS 118279 HAS SOUPS 118279 WITH SCORE 118533.494
AT ITER 4178 NEW BEST:: SOT 543857 SOS 254408 HAS SOPS 254408 HAS SOUS 118229 HAS SOUPS 118229 WITH SCORE 118483.408
AT ITER 4181 NEW BEST:: SOT 543857 SOS 254406 HAS SOPS 254406 HAS SOUS 118229 HAS SOUPS 118229 WITH SCORE 118483.406
AT ITER 4186 NEW BEST:: SOT 543933 SOS 254233 HAS SOPS 254233 HAS SOUS 118215 HAS SOUPS 118215 WITH SCORE 118469.233
AT ITER 4189 NEW BEST:: SOT 543722 SOS 254022 HAS SOPS 254022 HAS SOUS 118166 HAS SOUPS 118166 WITH SCORE 118420.022
AT ITER 4207 NEW BEST:: SOT 543713 SOS 254004 HAS SOPS 254004 HAS SOUS 118157 HAS SOUPS 118157 WITH SCORE 118411.004
AT ITER 4209 NEW BEST:: SOT 543705 SOS 255184 HAS SOPS 255184 HAS SOUS 118149 HAS SOUPS 118149 WITH SCORE 118404.184
AT ITER 4226 NEW BEST:: SOT 543674 SOS 254992 HAS SOPS 254992 HAS SOUS 118106 HAS SOUPS 118106 WITH SCORE 118360.992
AT ITER 4234 NEW BEST:: SOT 543590 SOS 254298 HAS SOPS 254298 HAS SOUS 118039 HAS SOUPS 118039 WITH SCORE 118293.298
AT ITER 4243 NEW BEST:: SOT 543588 SOS 254294 HAS SOPS 254294 HAS SOUS 118035 HAS SOUPS 118035 WITH SCORE 118289.294
AT ITER 4251 NEW BEST:: SOT 543588 SOS 254159 HAS SOPS 254159 HAS SOUS 118035 HAS SOUPS 118035 WITH SCORE 118289.159
AT ITER 4259 NEW BEST:: SOT 543582 SOS 254153 HAS SOPS 254153 HAS SOUS 118029 HAS SOUPS 118029 WITH SCORE 118283.153
AT ITER 4267 NEW BEST:: SOT 543472 SOS 253933 HAS SOPS 253933 HAS SOUS 117952 HAS SOUPS 117952 WITH SCORE 118205.933
AT ITER 4332 NEW BEST:: SOT 543461 SOS 253911 HAS SOPS 253911 HAS SOUS 117930 HAS SOUPS 117930 WITH SCORE 118183.911
AT ITER 4345 NEW BEST:: SOT 543461 SOS 253903 HAS SOPS 253903 HAS SOUS 117930 HAS SOUPS 117930 WITH SCORE 118183.903
AT ITER 4350 NEW BEST:: SOT 543388 SOS 253819 HAS SOPS 253819 HAS SOUS 117846 HAS SOUPS 117846 WITH SCORE 118099.819
AT ITER 4365 NEW BEST:: SOT 543423 SOS 253768 HAS SOPS 253768 HAS SOUS 117795 HAS SOUPS 117795 WITH SCORE 118048.768
AT ITER 4379 NEW BEST:: SOT 543416 SOS 253837 HAS SOPS 253837 HAS SOUS 117781 HAS SOUPS 117781 WITH SCORE 118034.837
AT ITER 4380 NEW BEST:: SOT 543416 SOS 253837 HAS SOPS 253837 HAS SOUS 117738 HAS SOUPS 117738 WITH SCORE 117991.837
AT ITER 4397 NEW BEST:: SOT 543202 SOS 253160 HAS SOPS 253160 HAS SOUS 117717 HAS SOUPS 117717 WITH SCORE 117970.16
AT ITER 4400 NEW BEST:: SOT 543257 SOS 253207 HAS SOPS 253207 HAS SOUS 117709 HAS SOUPS 117709 WITH SCORE 117962.207
AT ITER 4408 NEW BEST:: SOT 543250 SOS 253200 HAS SOPS 253200 HAS SOUS 117702 HAS SOUPS 117702 WITH SCORE 117955.2
AT ITER 4414 NEW BEST:: SOT 543248 SOS 252276 HAS SOPS 252276 HAS SOUS 117700 HAS SOUPS 117700 WITH SCORE 117952.276
AT ITER 4422 NEW BEST:: SOT 543238 SOS 252266 HAS SOPS 252266 HAS SOUS 117690 HAS SOUPS 117690 WITH SCORE 117942.266
AT ITER 4425 NEW BEST:: SOT 543222 SOS 252207 HAS SOPS 252207 HAS SOUS 117674 HAS SOUPS 117674 WITH SCORE 117926.207
AT ITER 4439 NEW BEST:: SOT 543127 SOS 252174 HAS SOPS 252174 HAS SOUS 117608 HAS SOUPS 117608 WITH SCORE 117860.174
AT ITER 4446 NEW BEST:: SOT 543116 SOS 252152 HAS SOPS 252152 HAS SOUS 117597 HAS SOUPS 117597 WITH SCORE 117849.152
AT ITER 4459 NEW BEST:: SOT 543100 SOS 252150 HAS SOPS 252150 HAS SOUS 117565 HAS SOUPS 117565 WITH SCORE 117817.15
AT ITER 4478 NEW BEST:: SOT 543066 SOS 252116 HAS SOPS 252116 HAS SOUS 117531 HAS SOUPS 117531 WITH SCORE 117783.116
AT ITER 4495 NEW BEST:: SOT 543062 SOS 251216 HAS SOPS 251216 HAS SOUS 117469 HAS SOUPS 117469 WITH SCORE 117720.216
AT ITER 4501 NEW BEST:: SOT 543087 SOS 251266 HAS SOPS 251266 HAS SOUS 117467 HAS SOUPS 117467 WITH SCORE 117718.266
AT ITER 4515 NEW BEST:: SOT 543006 SOS 251185 HAS SOPS 251185 HAS SOUS 117425 HAS SOUPS 117425 WITH SCORE 117676.185
AT ITER 4532 NEW BEST:: SOT 542848 SOS 251027 HAS SOPS 251027 HAS SOUS 117287 HAS SOUPS 117287 WITH SCORE 117538.027
AT ITER 4541 NEW BEST:: SOT 542841 SOS 250980 HAS SOPS 250980 HAS SOUS 117280 HAS SOUPS 117280 WITH SCORE 117530.98
AT ITER 4542 NEW BEST:: SOT 542830 SOS 250969 HAS SOPS 250969 HAS SOUS 117269 HAS SOUPS 117269 WITH SCORE 117519.969
AT ITER 4557 NEW BEST:: SOT 542855 SOS 251019 HAS SOPS 251019 HAS SOUS 116890 HAS SOUPS 116890 WITH SCORE 117141.019
AT ITER 4571 NEW BEST:: SOT 542730 SOS 251049 HAS SOPS 251049 HAS SOUS 116785 HAS SOUPS 116785 WITH SCORE 117036.049
AT ITER 4591 NEW BEST:: SOT 542720 SOS 251039 HAS SOPS 251039 HAS SOUS 116775 HAS SOUPS 116775 WITH SCORE 117026.039
AT ITER 4594 NEW BEST:: SOT 542647 SOS 250966 HAS SOPS 250966 HAS SOUS 116747 HAS SOUPS 116747 WITH SCORE 116997.966
AT ITER 4596 NEW BEST:: SOT 542951 SOS 251269 HAS SOPS 251269 HAS SOUS 116746 HAS SOUPS 116746 WITH SCORE 116997.269
AT ITER 4601 NEW BEST:: SOT 542965 SOS 250725 HAS SOPS 250725 HAS SOUS 116716 HAS SOUPS 116716 WITH SCORE 116966.725
AT ITER 4605 NEW BEST:: SOT 542965 SOS 250725 HAS SOPS 250725 HAS SOUS 116713 HAS SOUPS 116713 WITH SCORE 116963.725
AT ITER 4646 NEW BEST:: SOT 542933 SOS 250693 HAS SOPS 250693 HAS SOUS 116693 HAS SOUPS 116693 WITH SCORE 116943.693
AT ITER 4647 NEW BEST:: SOT 542933 SOS 250643 HAS SOPS 250643 HAS SOUS 116693 HAS SOUPS 116693 WITH SCORE 116943.643
AT ITER 4652 NEW BEST:: SOT 542924 SOS 250555 HAS SOPS 250555 HAS SOUS 116675 HAS SOUPS 116675 WITH SCORE 116925.555
AT ITER 4667 NEW BEST:: SOT 542820 SOS 250451 HAS SOPS 250451 HAS SOUS 116631 HAS SOUPS 116631 WITH SCORE 116881.451
AT ITER 4672 NEW BEST:: SOT 542598 SOS 250244 HAS SOPS 250244 HAS SOUS 116516 HAS SOUPS 116516 WITH SCORE 116766.244
AT ITER 4675 NEW BEST:: SOT 542436 SOS 250082 HAS SOPS 250082 HAS SOUS 116354 HAS SOUPS 116354 WITH SCORE 116604.082
AT ITER 4682 NEW BEST:: SOT 542379 SOS 249951 HAS SOPS 249951 HAS SOUS 116240 HAS SOUPS 116240 WITH SCORE 116489.951
AT ITER 4688 NEW BEST:: SOT 542276 SOS 249840 HAS SOPS 249840 HAS SOUS 116200 HAS SOUPS 116200 WITH SCORE 116449.84
AT ITER 4700 NEW BEST:: SOT 542283 SOS 249837 HAS SOPS 249837 HAS SOUS 116048 HAS SOUPS 116048 WITH SCORE 116297.837
AT ITER 4710 NEW BEST:: SOT 542043 SOS 249398 HAS SOPS 249398 HAS SOUS 115808 HAS SOUPS 115808 WITH SCORE 116057.398
AT ITER 4723 NEW BEST:: SOT 542009 SOS 249423 HAS SOPS 249423 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 116037.423
AT ITER 4742 NEW BEST:: SOT 541996 SOS 249435 HAS SOPS 249435 HAS SOUS 115762 HAS SOUPS 115762 WITH SCORE 116011.435
AT ITER 4761 NEW BEST:: SOT 541982 SOS 249421 HAS SOPS 249421 HAS SOUS 115756 HAS SOUPS 115756 WITH SCORE 116005.421
AT ITER 4765 NEW BEST:: SOT 541976 SOS 249647 HAS SOPS 249647 HAS SOUS 115750 HAS SOUPS 115750 WITH SCORE 115999.647
AT ITER 4774 NEW BEST:: SOT 541973 SOS 249641 HAS SOPS 249641 HAS SOUS 115747 HAS SOUPS 115747 WITH SCORE 115996.641
AT ITER 4795 NEW BEST:: SOT 541950 SOS 249557 HAS SOPS 249557 HAS SOUS 115701 HAS SOUPS 115701 WITH SCORE 115950.557
AT ITER 4805 NEW BEST:: SOT 541903 SOS 249355 HAS SOPS 249355 HAS SOUS 115470 HAS SOUPS 115470 WITH SCORE 115719.355
AT ITER 4840 NEW BEST:: SOT 541902 SOS 249354 HAS SOPS 249354 HAS SOUS 115470 HAS SOUPS 115470 WITH SCORE 115719.354
AT ITER 4847 NEW BEST:: SOT 541901 SOS 249350 HAS SOPS 249350 HAS SOUS 115468 HAS SOUPS 115468 WITH SCORE 115717.35
AT ITER 4856 NEW BEST:: SOT 541846 SOS 249199 HAS SOPS 249199 HAS SOUS 115390 HAS SOUPS 115390 WITH SCORE 115639.199
AT ITER 4867 NEW BEST:: SOT 541863 SOS 249174 HAS SOPS 249174 HAS SOUS 115365 HAS SOUPS 115365 WITH SCORE 115614.174
AT ITER 4871 NEW BEST:: SOT 541895 SOS 249164 HAS SOPS 249164 HAS SOUS 115355 HAS SOUPS 115355 WITH SCORE 115604.164
AT ITER 4881 NEW BEST:: SOT 541883 SOS 249152 HAS SOPS 249152 HAS SOUS 115343 HAS SOUPS 115343 WITH SCORE 115592.152
AT ITER 4893 NEW BEST:: SOT 541758 SOS 248902 HAS SOPS 248902 HAS SOUS 115172 HAS SOUPS 115172 WITH SCORE 115420.902
AT ITER 4900 NEW BEST:: SOT 541565 SOS 248378 HAS SOPS 248378 HAS SOUS 114924 HAS SOUPS 114924 WITH SCORE 115172.378
AT ITER 4901 NEW BEST:: SOT 541541 SOS 248330 HAS SOPS 248330 HAS SOUS 114876 HAS SOUPS 114876 WITH SCORE 115124.33
AT ITER 4920 NEW BEST:: SOT 541541 SOS 248330 HAS SOPS 248330 HAS SOUS 114860 HAS SOUPS 114860 WITH SCORE 115108.33
AT ITER 4928 NEW BEST:: SOT 541536 SOS 248311 HAS SOPS 248311 HAS SOUS 114859 HAS SOUPS 114859 WITH SCORE 115107.311
AT ITER 4938 NEW BEST:: SOT 541432 SOS 248169 HAS SOPS 248169 HAS SOUS 114783 HAS SOUPS 114783 WITH SCORE 115031.169
AT ITER 4945 NEW BEST:: SOT 541277 SOS 248085 HAS SOPS 248085 HAS SOUS 114707 HAS SOUPS 114707 WITH SCORE 114955.085
AT ITER 4946 NEW BEST:: SOT 541198 SOS 247927 HAS SOPS 247927 HAS SOUS 114683 HAS SOUPS 114683 WITH SCORE 114930.927
AT ITER 4959 NEW BEST:: SOT 541078 SOS 247823 HAS SOPS 247823 HAS SOUS 114437 HAS SOUPS 114437 WITH SCORE 114684.823
AT ITER 4966 NEW BEST:: SOT 540973 SOS 247660 HAS SOPS 247660 HAS SOUS 114308 HAS SOUPS 114308 WITH SCORE 114555.66
AT ITER 4993 NEW BEST:: SOT 540916 SOS 247512 HAS SOPS 247512 HAS SOUS 114285 HAS SOUPS 114285 WITH SCORE 114532.512
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-00 (AX( (AF( ( (! ((potential((tk(P324)>=1) & (tk(P918)>=1))))) & ( ((potential((tk(P326)>=1) & (tk(P906)>=1)))) & ((potential((tk(P617)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-01 (EF( ( ((potential((tk(P189)>=1)))) | (AX( ((potential((tk(P540)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-02 (! (AG( ( ( ( ((potential((tk(P146)>=1)))) & ((potential((tk(P81)>=1)))) ) | ( ((potential((tk(P385)>=1)))) | ((potential((tk(P489)>=1)))) ) ) | (EF( ((potential((tk(P400)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-03 ( (AG( (! ( (! ((potential((tk(P455)>=1))))) & ((potential((tk(P661)>=1)))) )))) & ( (AF( (! ((potential((tk(P257)>=1) & (tk(P126)>=1) & (tk(P697)>=1))))))) | ( (AX( ( ((potential((tk(P893)>=1)))) | ((potential((tk(P823)>=1)))) ))) & (EG( ( ((potential((tk(P856)>=1)))) & ((potential((tk(P300)>=1) & (tk(P257)>=1) & (tk(P762)>=1)))) ))) ) ) )
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-04 (AF( (EU( (! ((potential((tk(P906)>=1))))) , ( ((potential((tk(P449)>=1)))) & ((potential((tk(P529)>=1)))) ) ))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-05 (AF( ( (! (! ( ((potential((tk(P361)>=1)))) | ((potential((tk(P100)>=1)))) ))) & ( ((potential((tk(P501)>=1)))) & (EG( ((potential((tk(P499)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-06 ( ( ( (EF( (! ((potential((tk(P194)>=1))))))) & ((potential((tk(P32)>=1)))) ) & (EX( ( ( ((potential((tk(P815)>=1)))) | ((potential((tk(P432)>=1)))) ) & ( ((potential((tk(P485)>=1) & (tk(P918)>=1)))) & ((potential((tk(P127)>=1)))) ) ))) ) | (! (AX( (AF( ((potential((tk(P894)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-07 (EG( ( (EF( ( ((potential((tk(P244)>=1)))) & ((potential((tk(P72)>=1) & (tk(P918)>=1)))) ))) | (AU( ((potential((tk(P438)>=1)))) , ((potential((tk(P219)>=1)))) )) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-08 (! (AU( ( ((potential((tk(P484)>=1)))) & (! ((potential((tk(P425)>=1) & (tk(P50)>=1) & (tk(P677)>=1))))) ) , (AF( ((potential((tk(P244)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-09 (EG( (! (EG( ( ((potential((tk(P115)>=1)))) | ((potential((tk(P553)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-10 (EF( ((potential((tk(P269)>=1))))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-11 ( ( ( (! (EX( ((potential((tk(P122)>=1) & (tk(P89)>=1) & (tk(P692)>=1))))))) & (AG( ((potential((tk(P573)>=1)))))) ) | ( ( ( ( ((potential((tk(P825)>=1)))) & ((potential((tk(P640)>=1) & (tk(P906)>=1)))) ) | ( ((potential((tk(P800)>=1)))) | ((potential((tk(P665)>=1)))) ) ) & (! ((potential((tk(P249)>=1))))) ) & ((potential((tk(P194)>=1)))) ) ) | ( (EF( ( ( ((potential((tk(P536)>=1)))) & ((potential((tk(P84)>=1)))) ) & ((potential((tk(P412)>=1)))) ))) | ((potential((tk(P168)>=1)))) ) )
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-12 (AG( (! (EG( ( ((potential((tk(P741)>=1)))) | ((potential((tk(P252)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-13 ( (! ( (! ( ( ((potential((tk(P906)>=1)))) | ((potential((tk(P168)>=1)))) ) & ((potential((tk(P137)>=1)))) )) | ((potential((tk(P650)>=1)))) )) | ( ( (EX( ((potential((tk(P866)>=1)))))) | ( (! ( ((potential((tk(P891)>=1)))) | ((potential((tk(P819)>=1)))) )) & (EF( ((potential((tk(P413)>=1)))))) ) ) & (EX( (! ( ((potential((tk(P109)>=1)))) | ((potential((tk(P509)>=1) & (tk(P308)>=1) & (tk(P772)>=1)))) )))) ) )
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-14 ( ( (! (AU( ((potential((tk(P215)>=1)))) , ((potential((tk(P189)>=1)))) ))) | (AF( ((potential((tk(P888)>=1)))))) ) & (AF( (EG( (! ((potential((tk(P549)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-08b-CTLFireability-15 (AG( (EG( (EF( ((potential((tk(P82)>=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="FlexibleBarrier-PT-08b"
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 FlexibleBarrier-PT-08b, 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 r078-smll-158922972400300"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-08b.tgz
mv FlexibleBarrier-PT-08b 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 '
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 ;