Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100156.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NQueens-PT-20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100156
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 3.4K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 16:39 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.5K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 02:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 335K 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 NQueens-PT-20-CTLFireability-00
FORMULA_NAME NQueens-PT-20-CTLFireability-01
FORMULA_NAME NQueens-PT-20-CTLFireability-02
FORMULA_NAME NQueens-PT-20-CTLFireability-03
FORMULA_NAME NQueens-PT-20-CTLFireability-04
FORMULA_NAME NQueens-PT-20-CTLFireability-05
FORMULA_NAME NQueens-PT-20-CTLFireability-06
FORMULA_NAME NQueens-PT-20-CTLFireability-07
FORMULA_NAME NQueens-PT-20-CTLFireability-08
FORMULA_NAME NQueens-PT-20-CTLFireability-09
FORMULA_NAME NQueens-PT-20-CTLFireability-10
FORMULA_NAME NQueens-PT-20-CTLFireability-11
FORMULA_NAME NQueens-PT-20-CTLFireability-12
FORMULA_NAME NQueens-PT-20-CTLFireability-13
FORMULA_NAME NQueens-PT-20-CTLFireability-14
FORMULA_NAME NQueens-PT-20-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589637835451

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 20
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: 520 places, 400 transitions, 2000 arcs.
AT ITER 0 NEW BEST:: SOT 173234 SOS 109051 HAS SOPS 109051 HAS SOUS 92783 HAS SOUPS 92783 WITH SCORE 92892.051
AT ITER 6 NEW BEST:: SOT 173214 SOS 110457 HAS SOPS 110457 HAS SOUS 92774 HAS SOUPS 92774 WITH SCORE 92884.457
AT ITER 8 NEW BEST:: SOT 173214 SOS 110446 HAS SOPS 110446 HAS SOUS 92774 HAS SOUPS 92774 WITH SCORE 92884.446
AT ITER 11 NEW BEST:: SOT 173214 SOS 110299 HAS SOPS 110299 HAS SOUS 92774 HAS SOUPS 92774 WITH SCORE 92884.299
AT ITER 12 NEW BEST:: SOT 172582 SOS 116718 HAS SOPS 116718 HAS SOUS 92285 HAS SOUPS 92285 WITH SCORE 92401.718
AT ITER 14 NEW BEST:: SOT 172582 SOS 114415 HAS SOPS 114415 HAS SOUS 92267 HAS SOUPS 92267 WITH SCORE 92381.415
AT ITER 16 NEW BEST:: SOT 172582 SOS 113692 HAS SOPS 113692 HAS SOUS 92267 HAS SOUPS 92267 WITH SCORE 92380.692
AT ITER 17 NEW BEST:: SOT 172530 SOS 113640 HAS SOPS 113640 HAS SOUS 92223 HAS SOUPS 92223 WITH SCORE 92336.64
AT ITER 26 NEW BEST:: SOT 172530 SOS 113425 HAS SOPS 113425 HAS SOUS 92223 HAS SOUPS 92223 WITH SCORE 92336.425
AT ITER 28 NEW BEST:: SOT 172530 SOS 113297 HAS SOPS 113297 HAS SOUS 92223 HAS SOUPS 92223 WITH SCORE 92336.297
AT ITER 29 NEW BEST:: SOT 172530 SOS 113194 HAS SOPS 113194 HAS SOUS 92223 HAS SOUPS 92223 WITH SCORE 92336.194
AT ITER 32 NEW BEST:: SOT 172530 SOS 113044 HAS SOPS 113044 HAS SOUS 92206 HAS SOUPS 92206 WITH SCORE 92319.044
AT ITER 36 NEW BEST:: SOT 172414 SOS 112802 HAS SOPS 112802 HAS SOUS 92089 HAS SOUPS 92089 WITH SCORE 92201.802
AT ITER 46 NEW BEST:: SOT 172274 SOS 112679 HAS SOPS 112679 HAS SOUS 91985 HAS SOUPS 91985 WITH SCORE 92097.679
AT ITER 51 NEW BEST:: SOT 172244 SOS 113102 HAS SOPS 113102 HAS SOUS 91961 HAS SOUPS 91961 WITH SCORE 92074.102
AT ITER 60 NEW BEST:: SOT 172244 SOS 113072 HAS SOPS 113072 HAS SOUS 91961 HAS SOUPS 91961 WITH SCORE 92074.072
AT ITER 61 NEW BEST:: SOT 172155 SOS 112940 HAS SOPS 112940 HAS SOUS 91867 HAS SOUPS 91867 WITH SCORE 91979.94
AT ITER 62 NEW BEST:: SOT 172167 SOS 112933 HAS SOPS 112933 HAS SOUS 91865 HAS SOUPS 91865 WITH SCORE 91977.933
AT ITER 69 NEW BEST:: SOT 172167 SOS 112824 HAS SOPS 112824 HAS SOUS 91865 HAS SOUPS 91865 WITH SCORE 91977.824
AT ITER 70 NEW BEST:: SOT 172044 SOS 112784 HAS SOPS 112784 HAS SOUS 91858 HAS SOUPS 91858 WITH SCORE 91970.784
AT ITER 71 NEW BEST:: SOT 172044 SOS 112676 HAS SOPS 112676 HAS SOUS 91858 HAS SOUPS 91858 WITH SCORE 91970.676
AT ITER 73 NEW BEST:: SOT 172044 SOS 112586 HAS SOPS 112586 HAS SOUS 91858 HAS SOUPS 91858 WITH SCORE 91970.586
AT ITER 79 NEW BEST:: SOT 172133 SOS 112558 HAS SOPS 112558 HAS SOUS 91676 HAS SOUPS 91676 WITH SCORE 91788.558
AT ITER 85 NEW BEST:: SOT 172113 SOS 112552 HAS SOPS 112552 HAS SOUS 91675 HAS SOUPS 91675 WITH SCORE 91787.552
AT ITER 88 NEW BEST:: SOT 172113 SOS 112399 HAS SOPS 112399 HAS SOUS 91675 HAS SOUPS 91675 WITH SCORE 91787.399
AT ITER 97 NEW BEST:: SOT 172037 SOS 113038 HAS SOPS 113038 HAS SOUS 91616 HAS SOUPS 91616 WITH SCORE 91729.038
AT ITER 99 NEW BEST:: SOT 171807 SOS 112771 HAS SOPS 112771 HAS SOUS 91346 HAS SOUPS 91346 WITH SCORE 91458.771
AT ITER 100 NEW BEST:: SOT 171796 SOS 112760 HAS SOPS 112760 HAS SOUS 91335 HAS SOUPS 91335 WITH SCORE 91447.76
AT ITER 106 NEW BEST:: SOT 171672 SOS 112684 HAS SOPS 112684 HAS SOUS 91260 HAS SOUPS 91260 WITH SCORE 91372.684
AT ITER 107 NEW BEST:: SOT 171672 SOS 112654 HAS SOPS 112654 HAS SOUS 91260 HAS SOUPS 91260 WITH SCORE 91372.654
AT ITER 113 NEW BEST:: SOT 171425 SOS 112313 HAS SOPS 112313 HAS SOUS 91045 HAS SOUPS 91045 WITH SCORE 91157.313
AT ITER 114 NEW BEST:: SOT 171425 SOS 112250 HAS SOPS 112250 HAS SOUS 91045 HAS SOUPS 91045 WITH SCORE 91157.25
AT ITER 115 NEW BEST:: SOT 171425 SOS 112089 HAS SOPS 112089 HAS SOUS 91045 HAS SOUPS 91045 WITH SCORE 91157.089
AT ITER 120 NEW BEST:: SOT 171221 SOS 112013 HAS SOPS 112013 HAS SOUS 90984 HAS SOUPS 90984 WITH SCORE 91096.013
AT ITER 121 NEW BEST:: SOT 171221 SOS 111983 HAS SOPS 111983 HAS SOUS 90984 HAS SOUPS 90984 WITH SCORE 91095.983
AT ITER 125 NEW BEST:: SOT 171126 SOS 111943 HAS SOPS 111943 HAS SOUS 90893 HAS SOUPS 90893 WITH SCORE 91004.943
AT ITER 135 NEW BEST:: SOT 171120 SOS 111942 HAS SOPS 111942 HAS SOUS 90869 HAS SOUPS 90869 WITH SCORE 90980.942
AT ITER 137 NEW BEST:: SOT 171120 SOS 111764 HAS SOPS 111764 HAS SOUS 90869 HAS SOUPS 90869 WITH SCORE 90980.764
AT ITER 139 NEW BEST:: SOT 170797 SOS 111450 HAS SOPS 111450 HAS SOUS 90533 HAS SOUPS 90533 WITH SCORE 90644.45
AT ITER 140 NEW BEST:: SOT 170590 SOS 111246 HAS SOPS 111246 HAS SOUS 90329 HAS SOUPS 90329 WITH SCORE 90440.246
AT ITER 142 NEW BEST:: SOT 170651 SOS 111366 HAS SOPS 111366 HAS SOUS 90299 HAS SOUPS 90299 WITH SCORE 90410.366
AT ITER 143 NEW BEST:: SOT 170651 SOS 109564 HAS SOPS 109564 HAS SOUS 90299 HAS SOUPS 90299 WITH SCORE 90408.564
AT ITER 146 NEW BEST:: SOT 170651 SOS 109507 HAS SOPS 109507 HAS SOUS 90299 HAS SOUPS 90299 WITH SCORE 90408.507
AT ITER 150 NEW BEST:: SOT 170620 SOS 109440 HAS SOPS 109440 HAS SOUS 90226 HAS SOUPS 90226 WITH SCORE 90335.44
AT ITER 160 NEW BEST:: SOT 170498 SOS 111254 HAS SOPS 111254 HAS SOUS 90150 HAS SOUPS 90150 WITH SCORE 90261.254
AT ITER 161 NEW BEST:: SOT 170498 SOS 111182 HAS SOPS 111182 HAS SOUS 90150 HAS SOUPS 90150 WITH SCORE 90261.182
AT ITER 164 NEW BEST:: SOT 170498 SOS 111147 HAS SOPS 111147 HAS SOUS 90115 HAS SOUPS 90115 WITH SCORE 90226.147
AT ITER 166 NEW BEST:: SOT 170498 SOS 111109 HAS SOPS 111109 HAS SOUS 90115 HAS SOUPS 90115 WITH SCORE 90226.109
AT ITER 169 NEW BEST:: SOT 170498 SOS 111015 HAS SOPS 111015 HAS SOUS 90098 HAS SOUPS 90098 WITH SCORE 90209.015
AT ITER 170 NEW BEST:: SOT 170444 SOS 110961 HAS SOPS 110961 HAS SOUS 90044 HAS SOUPS 90044 WITH SCORE 90154.961
AT ITER 171 NEW BEST:: SOT 170444 SOS 110898 HAS SOPS 110898 HAS SOUS 90027 HAS SOUPS 90027 WITH SCORE 90137.898
AT ITER 172 NEW BEST:: SOT 170514 SOS 110968 HAS SOPS 110968 HAS SOUS 90007 HAS SOUPS 90007 WITH SCORE 90117.968
AT ITER 177 NEW BEST:: SOT 170514 SOS 110956 HAS SOPS 110956 HAS SOUS 90007 HAS SOUPS 90007 WITH SCORE 90117.956
AT ITER 180 NEW BEST:: SOT 170514 SOS 110867 HAS SOPS 110867 HAS SOUS 89918 HAS SOUPS 89918 WITH SCORE 90028.867
AT ITER 181 NEW BEST:: SOT 170471 SOS 110825 HAS SOPS 110825 HAS SOUS 89876 HAS SOUPS 89876 WITH SCORE 89986.825
AT ITER 193 NEW BEST:: SOT 170471 SOS 106367 HAS SOPS 106367 HAS SOUS 89853 HAS SOUPS 89853 WITH SCORE 89959.367
AT ITER 196 NEW BEST:: SOT 170295 SOS 107011 HAS SOPS 107011 HAS SOUS 89709 HAS SOUPS 89709 WITH SCORE 89816.011
AT ITER 200 NEW BEST:: SOT 170295 SOS 106842 HAS SOPS 106842 HAS SOUS 89709 HAS SOUPS 89709 WITH SCORE 89815.842
AT ITER 201 NEW BEST:: SOT 170075 SOS 106688 HAS SOPS 106688 HAS SOUS 89546 HAS SOUPS 89546 WITH SCORE 89652.688
AT ITER 208 NEW BEST:: SOT 169933 SOS 106563 HAS SOPS 106563 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89574.563
AT ITER 209 NEW BEST:: SOT 169933 SOS 106550 HAS SOPS 106550 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89574.55
AT ITER 214 NEW BEST:: SOT 170000 SOS 104522 HAS SOPS 104522 HAS SOUS 89387 HAS SOUPS 89387 WITH SCORE 89491.522
AT ITER 219 NEW BEST:: SOT 170000 SOS 103995 HAS SOPS 103995 HAS SOUS 89387 HAS SOUPS 89387 WITH SCORE 89490.995
AT ITER 221 NEW BEST:: SOT 170000 SOS 103986 HAS SOPS 103986 HAS SOUS 89387 HAS SOUPS 89387 WITH SCORE 89490.986
AT ITER 223 NEW BEST:: SOT 169775 SOS 104072 HAS SOPS 104072 HAS SOUS 89209 HAS SOUPS 89209 WITH SCORE 89313.072
AT ITER 231 NEW BEST:: SOT 169490 SOS 103921 HAS SOPS 103921 HAS SOUS 88916 HAS SOUPS 88916 WITH SCORE 89019.921
AT ITER 235 NEW BEST:: SOT 169490 SOS 103655 HAS SOPS 103655 HAS SOUS 88916 HAS SOUPS 88916 WITH SCORE 89019.655
AT ITER 236 NEW BEST:: SOT 169490 SOS 103561 HAS SOPS 103561 HAS SOUS 88916 HAS SOUPS 88916 WITH SCORE 89019.561
AT ITER 238 NEW BEST:: SOT 169490 SOS 103461 HAS SOPS 103461 HAS SOUS 88916 HAS SOUPS 88916 WITH SCORE 89019.461
AT ITER 243 NEW BEST:: SOT 169444 SOS 103449 HAS SOPS 103449 HAS SOUS 88879 HAS SOUPS 88879 WITH SCORE 88982.449
AT ITER 248 NEW BEST:: SOT 169428 SOS 103433 HAS SOPS 103433 HAS SOUS 88863 HAS SOUPS 88863 WITH SCORE 88966.433
AT ITER 252 NEW BEST:: SOT 169347 SOS 103352 HAS SOPS 103352 HAS SOUS 88782 HAS SOUPS 88782 WITH SCORE 88885.352
AT ITER 258 NEW BEST:: SOT 169347 SOS 103335 HAS SOPS 103335 HAS SOUS 88782 HAS SOUPS 88782 WITH SCORE 88885.335
AT ITER 260 NEW BEST:: SOT 169347 SOS 103178 HAS SOPS 103178 HAS SOUS 88782 HAS SOUPS 88782 WITH SCORE 88885.178
AT ITER 264 NEW BEST:: SOT 169347 SOS 103088 HAS SOPS 103088 HAS SOUS 88782 HAS SOUPS 88782 WITH SCORE 88885.088
AT ITER 268 NEW BEST:: SOT 169347 SOS 102975 HAS SOPS 102975 HAS SOUS 88759 HAS SOUPS 88759 WITH SCORE 88861.975
AT ITER 269 NEW BEST:: SOT 169107 SOS 104121 HAS SOPS 104121 HAS SOUS 88590 HAS SOUPS 88590 WITH SCORE 88694.121
AT ITER 275 NEW BEST:: SOT 169107 SOS 104093 HAS SOPS 104093 HAS SOUS 88584 HAS SOUPS 88584 WITH SCORE 88688.093
AT ITER 276 NEW BEST:: SOT 169107 SOS 104067 HAS SOPS 104067 HAS SOUS 88584 HAS SOUPS 88584 WITH SCORE 88688.067
AT ITER 279 NEW BEST:: SOT 169042 SOS 103952 HAS SOPS 103952 HAS SOUS 88484 HAS SOUPS 88484 WITH SCORE 88587.952
AT ITER 280 NEW BEST:: SOT 169042 SOS 103952 HAS SOPS 103952 HAS SOUS 88467 HAS SOUPS 88467 WITH SCORE 88570.952
AT ITER 283 NEW BEST:: SOT 169042 SOS 103881 HAS SOPS 103881 HAS SOUS 88467 HAS SOUPS 88467 WITH SCORE 88570.881
AT ITER 285 NEW BEST:: SOT 169056 SOS 103874 HAS SOPS 103874 HAS SOUS 88466 HAS SOUPS 88466 WITH SCORE 88569.874
AT ITER 286 NEW BEST:: SOT 169041 SOS 103857 HAS SOPS 103857 HAS SOUS 88438 HAS SOUPS 88438 WITH SCORE 88541.857
AT ITER 289 NEW BEST:: SOT 169041 SOS 103831 HAS SOPS 103831 HAS SOUS 88438 HAS SOUPS 88438 WITH SCORE 88541.831
AT ITER 291 NEW BEST:: SOT 168866 SOS 104245 HAS SOPS 104245 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88510.245
AT ITER 296 NEW BEST:: SOT 168866 SOS 104160 HAS SOPS 104160 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88510.16
AT ITER 300 NEW BEST:: SOT 168866 SOS 104104 HAS SOPS 104104 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88510.104
AT ITER 306 NEW BEST:: SOT 168866 SOS 104074 HAS SOPS 104074 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88510.074
AT ITER 308 NEW BEST:: SOT 168866 SOS 103754 HAS SOPS 103754 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88509.754
AT ITER 323 NEW BEST:: SOT 168866 SOS 103753 HAS SOPS 103753 HAS SOUS 88406 HAS SOUPS 88406 WITH SCORE 88509.753
AT ITER 326 NEW BEST:: SOT 168807 SOS 103725 HAS SOPS 103725 HAS SOUS 88363 HAS SOUPS 88363 WITH SCORE 88466.725
AT ITER 331 NEW BEST:: SOT 168807 SOS 103553 HAS SOPS 103553 HAS SOUS 88363 HAS SOUPS 88363 WITH SCORE 88466.553
AT ITER 342 NEW BEST:: SOT 168807 SOS 103455 HAS SOPS 103455 HAS SOUS 88363 HAS SOUPS 88363 WITH SCORE 88466.455
AT ITER 346 NEW BEST:: SOT 168807 SOS 103364 HAS SOPS 103364 HAS SOUS 88339 HAS SOUPS 88339 WITH SCORE 88442.364
AT ITER 350 NEW BEST:: SOT 168653 SOS 103370 HAS SOPS 103370 HAS SOUS 88241 HAS SOUPS 88241 WITH SCORE 88344.37
AT ITER 353 NEW BEST:: SOT 168623 SOS 103226 HAS SOPS 103226 HAS SOUS 88143 HAS SOUPS 88143 WITH SCORE 88246.226
AT ITER 355 NEW BEST:: SOT 168584 SOS 103216 HAS SOPS 103216 HAS SOUS 88120 HAS SOUPS 88120 WITH SCORE 88223.216
AT ITER 358 NEW BEST:: SOT 168584 SOS 102952 HAS SOPS 102952 HAS SOUS 88086 HAS SOUPS 88086 WITH SCORE 88188.952
AT ITER 362 NEW BEST:: SOT 168581 SOS 102862 HAS SOPS 102862 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88187.862
AT ITER 364 NEW BEST:: SOT 168581 SOS 102849 HAS SOPS 102849 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88187.849
AT ITER 374 NEW BEST:: SOT 168581 SOS 102737 HAS SOPS 102737 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88187.737
AT ITER 375 NEW BEST:: SOT 168581 SOS 102724 HAS SOPS 102724 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88187.724
AT ITER 377 NEW BEST:: SOT 168581 SOS 102629 HAS SOPS 102629 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88187.629
AT ITER 378 NEW BEST:: SOT 168581 SOS 102632 HAS SOPS 102632 HAS SOUS 88069 HAS SOUPS 88069 WITH SCORE 88171.632
AT ITER 388 NEW BEST:: SOT 168581 SOS 102547 HAS SOPS 102547 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.547
AT ITER 389 NEW BEST:: SOT 168581 SOS 102521 HAS SOPS 102521 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.521
AT ITER 390 NEW BEST:: SOT 168581 SOS 102483 HAS SOPS 102483 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.483
AT ITER 403 NEW BEST:: SOT 168581 SOS 102188 HAS SOPS 102188 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.188
AT ITER 404 NEW BEST:: SOT 168581 SOS 102126 HAS SOPS 102126 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.126
AT ITER 411 NEW BEST:: SOT 168581 SOS 102083 HAS SOPS 102083 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88094.083
AT ITER 412 NEW BEST:: SOT 168581 SOS 101982 HAS SOPS 101982 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88093.982
AT ITER 413 NEW BEST:: SOT 168581 SOS 101753 HAS SOPS 101753 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88093.753
AT ITER 418 NEW BEST:: SOT 168577 SOS 101723 HAS SOPS 101723 HAS SOUS 87974 HAS SOUPS 87974 WITH SCORE 88075.723
AT ITER 421 NEW BEST:: SOT 168497 SOS 101687 HAS SOPS 101687 HAS SOUS 87938 HAS SOUPS 87938 WITH SCORE 88039.687
AT ITER 425 NEW BEST:: SOT 168497 SOS 101535 HAS SOPS 101535 HAS SOUS 87938 HAS SOUPS 87938 WITH SCORE 88039.535
AT ITER 426 NEW BEST:: SOT 168497 SOS 101453 HAS SOPS 101453 HAS SOUS 87938 HAS SOUPS 87938 WITH SCORE 88039.453
AT ITER 428 NEW BEST:: SOT 168497 SOS 101344 HAS SOPS 101344 HAS SOUS 87938 HAS SOUPS 87938 WITH SCORE 88039.344
AT ITER 431 NEW BEST:: SOT 168497 SOS 101323 HAS SOPS 101323 HAS SOUS 87938 HAS SOUPS 87938 WITH SCORE 88039.323
AT ITER 433 NEW BEST:: SOT 168437 SOS 101974 HAS SOPS 101974 HAS SOUS 87888 HAS SOUPS 87888 WITH SCORE 87989.974
AT ITER 441 NEW BEST:: SOT 168395 SOS 101962 HAS SOPS 101962 HAS SOUS 87876 HAS SOUPS 87876 WITH SCORE 87977.962
AT ITER 443 NEW BEST:: SOT 168419 SOS 101959 HAS SOPS 101959 HAS SOUS 87871 HAS SOUPS 87871 WITH SCORE 87972.959
AT ITER 444 NEW BEST:: SOT 168415 SOS 101666 HAS SOPS 101666 HAS SOUS 87854 HAS SOUPS 87854 WITH SCORE 87955.666
AT ITER 459 NEW BEST:: SOT 168415 SOS 101622 HAS SOPS 101622 HAS SOUS 87850 HAS SOUPS 87850 WITH SCORE 87951.622
AT ITER 466 NEW BEST:: SOT 168415 SOS 101602 HAS SOPS 101602 HAS SOUS 87828 HAS SOUPS 87828 WITH SCORE 87929.602
AT ITER 470 NEW BEST:: SOT 168415 SOS 101525 HAS SOPS 101525 HAS SOUS 87828 HAS SOUPS 87828 WITH SCORE 87929.525
AT ITER 478 NEW BEST:: SOT 168215 SOS 101345 HAS SOPS 101345 HAS SOUS 87674 HAS SOUPS 87674 WITH SCORE 87775.345
AT ITER 489 NEW BEST:: SOT 168215 SOS 101249 HAS SOPS 101249 HAS SOUS 87631 HAS SOUPS 87631 WITH SCORE 87732.249
AT ITER 491 NEW BEST:: SOT 168215 SOS 101196 HAS SOPS 101196 HAS SOUS 87631 HAS SOUPS 87631 WITH SCORE 87732.196
AT ITER 501 NEW BEST:: SOT 168215 SOS 99824 HAS SOPS 99824 HAS SOUS 87627 HAS SOUPS 87627 WITH SCORE 87726.824
AT ITER 504 NEW BEST:: SOT 167987 SOS 101727 HAS SOPS 101727 HAS SOUS 87495 HAS SOUPS 87495 WITH SCORE 87596.727
AT ITER 507 NEW BEST:: SOT 167987 SOS 101706 HAS SOPS 101706 HAS SOUS 87495 HAS SOUPS 87495 WITH SCORE 87596.706
AT ITER 509 NEW BEST:: SOT 167987 SOS 101679 HAS SOPS 101679 HAS SOUS 87495 HAS SOUPS 87495 WITH SCORE 87596.679
AT ITER 511 NEW BEST:: SOT 167762 SOS 101804 HAS SOPS 101804 HAS SOUS 87432 HAS SOUPS 87432 WITH SCORE 87533.804
AT ITER 513 NEW BEST:: SOT 167778 SOS 101827 HAS SOPS 101827 HAS SOUS 87431 HAS SOUPS 87431 WITH SCORE 87532.827
AT ITER 519 NEW BEST:: SOT 167615 SOS 102952 HAS SOPS 102952 HAS SOUS 87365 HAS SOUPS 87365 WITH SCORE 87467.952
AT ITER 522 NEW BEST:: SOT 167675 SOS 102949 HAS SOPS 102949 HAS SOUS 87346 HAS SOUPS 87346 WITH SCORE 87448.949
AT ITER 525 NEW BEST:: SOT 167408 SOS 105376 HAS SOPS 105376 HAS SOUS 87216 HAS SOUPS 87216 WITH SCORE 87321.376
AT ITER 540 NEW BEST:: SOT 167402 SOS 105362 HAS SOPS 105362 HAS SOUS 87185 HAS SOUPS 87185 WITH SCORE 87290.362
AT ITER 541 NEW BEST:: SOT 167402 SOS 105303 HAS SOPS 105303 HAS SOUS 87185 HAS SOUPS 87185 WITH SCORE 87290.303
AT ITER 544 NEW BEST:: SOT 167432 SOS 105106 HAS SOPS 105106 HAS SOUS 87088 HAS SOUPS 87088 WITH SCORE 87193.106
AT ITER 545 NEW BEST:: SOT 167190 SOS 105716 HAS SOPS 105716 HAS SOUS 87075 HAS SOUPS 87075 WITH SCORE 87180.716
AT ITER 553 NEW BEST:: SOT 167030 SOS 105717 HAS SOPS 105717 HAS SOUS 87005 HAS SOUPS 87005 WITH SCORE 87110.717
AT ITER 561 NEW BEST:: SOT 167030 SOS 105125 HAS SOPS 105125 HAS SOUS 86956 HAS SOUPS 86956 WITH SCORE 87061.125
AT ITER 563 NEW BEST:: SOT 166768 SOS 104923 HAS SOPS 104923 HAS SOUS 86741 HAS SOUPS 86741 WITH SCORE 86845.923
AT ITER 570 NEW BEST:: SOT 166768 SOS 104896 HAS SOPS 104896 HAS SOUS 86741 HAS SOUPS 86741 WITH SCORE 86845.896
AT ITER 571 NEW BEST:: SOT 166758 SOS 104886 HAS SOPS 104886 HAS SOUS 86734 HAS SOUPS 86734 WITH SCORE 86838.886
AT ITER 572 NEW BEST:: SOT 166758 SOS 104806 HAS SOPS 104806 HAS SOUS 86734 HAS SOUPS 86734 WITH SCORE 86838.806
AT ITER 576 NEW BEST:: SOT 166758 SOS 104714 HAS SOPS 104714 HAS SOUS 86734 HAS SOUPS 86734 WITH SCORE 86838.714
AT ITER 580 NEW BEST:: SOT 166758 SOS 104455 HAS SOPS 104455 HAS SOUS 86728 HAS SOUPS 86728 WITH SCORE 86832.455
AT ITER 588 NEW BEST:: SOT 165768 SOS 104029 HAS SOPS 104029 HAS SOUS 85822 HAS SOUPS 85822 WITH SCORE 85926.029
AT ITER 589 NEW BEST:: SOT 165768 SOS 103854 HAS SOPS 103854 HAS SOUS 85822 HAS SOUPS 85822 WITH SCORE 85925.854
AT ITER 597 NEW BEST:: SOT 165768 SOS 103710 HAS SOPS 103710 HAS SOUS 85822 HAS SOUPS 85822 WITH SCORE 85925.71
AT ITER 598 NEW BEST:: SOT 165768 SOS 103708 HAS SOPS 103708 HAS SOUS 85822 HAS SOUPS 85822 WITH SCORE 85925.708
AT ITER 604 NEW BEST:: SOT 165768 SOS 103633 HAS SOPS 103633 HAS SOUS 85789 HAS SOUPS 85789 WITH SCORE 85892.633
AT ITER 605 NEW BEST:: SOT 165657 SOS 103605 HAS SOPS 103605 HAS SOUS 85745 HAS SOUPS 85745 WITH SCORE 85848.605
AT ITER 609 NEW BEST:: SOT 165657 SOS 103481 HAS SOPS 103481 HAS SOUS 85745 HAS SOUPS 85745 WITH SCORE 85848.481
AT ITER 629 NEW BEST:: SOT 165609 SOS 103341 HAS SOPS 103341 HAS SOUS 85705 HAS SOUPS 85705 WITH SCORE 85808.341
AT ITER 632 NEW BEST:: SOT 165609 SOS 103293 HAS SOPS 103293 HAS SOUS 85705 HAS SOUPS 85705 WITH SCORE 85808.293
AT ITER 638 NEW BEST:: SOT 165555 SOS 103201 HAS SOPS 103201 HAS SOUS 85616 HAS SOUPS 85616 WITH SCORE 85719.201
AT ITER 645 NEW BEST:: SOT 165555 SOS 103052 HAS SOPS 103052 HAS SOUS 85616 HAS SOUPS 85616 WITH SCORE 85719.052
AT ITER 657 NEW BEST:: SOT 165459 SOS 102956 HAS SOPS 102956 HAS SOUS 85520 HAS SOUPS 85520 WITH SCORE 85622.956
AT ITER 660 NEW BEST:: SOT 165451 SOS 102925 HAS SOPS 102925 HAS SOUS 85509 HAS SOUPS 85509 WITH SCORE 85611.925
AT ITER 661 NEW BEST:: SOT 165451 SOS 102888 HAS SOPS 102888 HAS SOUS 85509 HAS SOUPS 85509 WITH SCORE 85611.888
AT ITER 667 NEW BEST:: SOT 165451 SOS 102763 HAS SOPS 102763 HAS SOUS 85509 HAS SOUPS 85509 WITH SCORE 85611.763
AT ITER 678 NEW BEST:: SOT 165451 SOS 102522 HAS SOPS 102522 HAS SOUS 85504 HAS SOUPS 85504 WITH SCORE 85606.522
AT ITER 688 NEW BEST:: SOT 165451 SOS 102138 HAS SOPS 102138 HAS SOUS 85503 HAS SOUPS 85503 WITH SCORE 85605.138
AT ITER 689 NEW BEST:: SOT 165451 SOS 101967 HAS SOPS 101967 HAS SOUS 85503 HAS SOUPS 85503 WITH SCORE 85604.967
AT ITER 702 NEW BEST:: SOT 165480 SOS 101939 HAS SOPS 101939 HAS SOUS 85503 HAS SOUPS 85503 WITH SCORE 85604.939
AT ITER 707 NEW BEST:: SOT 165480 SOS 99570 HAS SOPS 99570 HAS SOUS 85465 HAS SOUPS 85465 WITH SCORE 85564.57
AT ITER 710 NEW BEST:: SOT 165480 SOS 99463 HAS SOPS 99463 HAS SOUS 85465 HAS SOUPS 85465 WITH SCORE 85564.463
AT ITER 714 NEW BEST:: SOT 165566 SOS 99466 HAS SOPS 99466 HAS SOUS 85463 HAS SOUPS 85463 WITH SCORE 85562.466
AT ITER 721 NEW BEST:: SOT 165566 SOS 99320 HAS SOPS 99320 HAS SOUS 85463 HAS SOUPS 85463 WITH SCORE 85562.32
AT ITER 723 NEW BEST:: SOT 165396 SOS 99116 HAS SOPS 99116 HAS SOUS 85305 HAS SOUPS 85305 WITH SCORE 85404.116
AT ITER 726 NEW BEST:: SOT 165396 SOS 99020 HAS SOPS 99020 HAS SOUS 85305 HAS SOUPS 85305 WITH SCORE 85404.02
AT ITER 728 NEW BEST:: SOT 165171 SOS 98814 HAS SOPS 98814 HAS SOUS 85123 HAS SOUPS 85123 WITH SCORE 85221.814
AT ITER 732 NEW BEST:: SOT 165171 SOS 98797 HAS SOPS 98797 HAS SOUS 85123 HAS SOUPS 85123 WITH SCORE 85221.797
AT ITER 742 NEW BEST:: SOT 165150 SOS 98776 HAS SOPS 98776 HAS SOUS 85102 HAS SOUPS 85102 WITH SCORE 85200.776
AT ITER 749 NEW BEST:: SOT 165150 SOS 98776 HAS SOPS 98776 HAS SOUS 85086 HAS SOUPS 85086 WITH SCORE 85184.776
AT ITER 753 NEW BEST:: SOT 165037 SOS 99739 HAS SOPS 99739 HAS SOUS 85025 HAS SOUPS 85025 WITH SCORE 85124.739
AT ITER 754 NEW BEST:: SOT 165037 SOS 99627 HAS SOPS 99627 HAS SOUS 85025 HAS SOUPS 85025 WITH SCORE 85124.627
AT ITER 755 NEW BEST:: SOT 164870 SOS 99872 HAS SOPS 99872 HAS SOUS 84987 HAS SOUPS 84987 WITH SCORE 85086.872
AT ITER 761 NEW BEST:: SOT 164870 SOS 99704 HAS SOPS 99704 HAS SOUS 84987 HAS SOUPS 84987 WITH SCORE 85086.704
AT ITER 771 NEW BEST:: SOT 164671 SOS 100976 HAS SOPS 100976 HAS SOUS 84881 HAS SOUPS 84881 WITH SCORE 84981.976
AT ITER 776 NEW BEST:: SOT 164574 SOS 100953 HAS SOPS 100953 HAS SOUS 84875 HAS SOUPS 84875 WITH SCORE 84975.953
AT ITER 784 NEW BEST:: SOT 164574 SOS 100801 HAS SOPS 100801 HAS SOUS 84875 HAS SOUPS 84875 WITH SCORE 84975.801
AT ITER 789 NEW BEST:: SOT 164710 SOS 100937 HAS SOPS 100937 HAS SOUS 84783 HAS SOUPS 84783 WITH SCORE 84883.937
AT ITER 793 NEW BEST:: SOT 164737 SOS 101063 HAS SOPS 101063 HAS SOUS 84772 HAS SOUPS 84772 WITH SCORE 84873.063
AT ITER 798 NEW BEST:: SOT 164737 SOS 101100 HAS SOPS 101100 HAS SOUS 84744 HAS SOUPS 84744 WITH SCORE 84845.1
AT ITER 805 NEW BEST:: SOT 164737 SOS 101048 HAS SOPS 101048 HAS SOUS 84744 HAS SOUPS 84744 WITH SCORE 84845.048
AT ITER 810 NEW BEST:: SOT 164746 SOS 101194 HAS SOPS 101194 HAS SOUS 84735 HAS SOUPS 84735 WITH SCORE 84836.194
AT ITER 811 NEW BEST:: SOT 164746 SOS 101168 HAS SOPS 101168 HAS SOUS 84716 HAS SOUPS 84716 WITH SCORE 84817.168
AT ITER 816 NEW BEST:: SOT 164700 SOS 101122 HAS SOPS 101122 HAS SOUS 84693 HAS SOUPS 84693 WITH SCORE 84794.122
AT ITER 817 NEW BEST:: SOT 164543 SOS 100893 HAS SOPS 100893 HAS SOUS 84616 HAS SOUPS 84616 WITH SCORE 84716.893
AT ITER 820 NEW BEST:: SOT 164393 SOS 102733 HAS SOPS 102733 HAS SOUS 84558 HAS SOUPS 84558 WITH SCORE 84660.733
AT ITER 821 NEW BEST:: SOT 164393 SOS 102602 HAS SOPS 102602 HAS SOUS 84558 HAS SOUPS 84558 WITH SCORE 84660.602
AT ITER 832 NEW BEST:: SOT 164411 SOS 102612 HAS SOPS 102612 HAS SOUS 84530 HAS SOUPS 84530 WITH SCORE 84632.612
AT ITER 844 NEW BEST:: SOT 164024 SOS 102239 HAS SOPS 102239 HAS SOUS 84267 HAS SOUPS 84267 WITH SCORE 84369.239
AT ITER 846 NEW BEST:: SOT 164024 SOS 102177 HAS SOPS 102177 HAS SOUS 84267 HAS SOUPS 84267 WITH SCORE 84369.177
AT ITER 850 NEW BEST:: SOT 164057 SOS 101951 HAS SOPS 101951 HAS SOUS 84228 HAS SOUPS 84228 WITH SCORE 84329.951
AT ITER 851 NEW BEST:: SOT 164057 SOS 102099 HAS SOPS 102099 HAS SOUS 84222 HAS SOUPS 84222 WITH SCORE 84324.099
AT ITER 860 NEW BEST:: SOT 164040 SOS 102060 HAS SOPS 102060 HAS SOUS 84186 HAS SOUPS 84186 WITH SCORE 84288.06
AT ITER 864 NEW BEST:: SOT 164024 SOS 102142 HAS SOPS 102142 HAS SOUS 84159 HAS SOUPS 84159 WITH SCORE 84261.142
AT ITER 868 NEW BEST:: SOT 164024 SOS 102142 HAS SOPS 102142 HAS SOUS 84140 HAS SOUPS 84140 WITH SCORE 84242.142
AT ITER 869 NEW BEST:: SOT 164024 SOS 101904 HAS SOPS 101904 HAS SOUS 84140 HAS SOUPS 84140 WITH SCORE 84241.904
AT ITER 876 NEW BEST:: SOT 164029 SOS 101819 HAS SOPS 101819 HAS SOUS 84130 HAS SOUPS 84130 WITH SCORE 84231.819
AT ITER 878 NEW BEST:: SOT 164029 SOS 101790 HAS SOPS 101790 HAS SOUS 84085 HAS SOUPS 84085 WITH SCORE 84186.79
AT ITER 883 NEW BEST:: SOT 164035 SOS 101825 HAS SOPS 101825 HAS SOUS 84010 HAS SOUPS 84010 WITH SCORE 84111.825
AT ITER 889 NEW BEST:: SOT 164035 SOS 101709 HAS SOPS 101709 HAS SOUS 83929 HAS SOUPS 83929 WITH SCORE 84030.709
AT ITER 903 NEW BEST:: SOT 164045 SOS 101880 HAS SOPS 101880 HAS SOUS 83908 HAS SOUPS 83908 WITH SCORE 84009.88
AT ITER 907 NEW BEST:: SOT 164045 SOS 101819 HAS SOPS 101819 HAS SOUS 83908 HAS SOUPS 83908 WITH SCORE 84009.819
AT ITER 911 NEW BEST:: SOT 164038 SOS 101643 HAS SOPS 101643 HAS SOUS 83894 HAS SOUPS 83894 WITH SCORE 83995.643
AT ITER 913 NEW BEST:: SOT 164038 SOS 101516 HAS SOPS 101516 HAS SOUS 83865 HAS SOUPS 83865 WITH SCORE 83966.516
AT ITER 914 NEW BEST:: SOT 164038 SOS 100455 HAS SOPS 100455 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83929.455
AT ITER 919 NEW BEST:: SOT 164038 SOS 100445 HAS SOPS 100445 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83929.445
AT ITER 923 NEW BEST:: SOT 164038 SOS 100356 HAS SOPS 100356 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83929.356
AT ITER 929 NEW BEST:: SOT 164038 SOS 100256 HAS SOPS 100256 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83929.256
AT ITER 932 NEW BEST:: SOT 164038 SOS 100049 HAS SOPS 100049 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83929.049
AT ITER 934 NEW BEST:: SOT 164035 SOS 99770 HAS SOPS 99770 HAS SOUS 83767 HAS SOUPS 83767 WITH SCORE 83866.77
AT ITER 935 NEW BEST:: SOT 164035 SOS 99664 HAS SOPS 99664 HAS SOUS 83661 HAS SOUPS 83661 WITH SCORE 83760.664
AT ITER 941 NEW BEST:: SOT 164035 SOS 99605 HAS SOPS 99605 HAS SOUS 83647 HAS SOUPS 83647 WITH SCORE 83746.605
AT ITER 949 NEW BEST:: SOT 163774 SOS 99709 HAS SOPS 99709 HAS SOUS 83583 HAS SOUPS 83583 WITH SCORE 83682.709
AT ITER 950 NEW BEST:: SOT 163774 SOS 99709 HAS SOPS 99709 HAS SOUS 83534 HAS SOUPS 83534 WITH SCORE 83633.709
AT ITER 964 NEW BEST:: SOT 163774 SOS 99060 HAS SOPS 99060 HAS SOUS 83534 HAS SOUPS 83534 WITH SCORE 83633.06
AT ITER 965 NEW BEST:: SOT 163774 SOS 99194 HAS SOPS 99194 HAS SOUS 83488 HAS SOUPS 83488 WITH SCORE 83587.194
AT ITER 983 NEW BEST:: SOT 163753 SOS 99173 HAS SOPS 99173 HAS SOUS 83448 HAS SOUPS 83448 WITH SCORE 83547.173
AT ITER 984 NEW BEST:: SOT 163859 SOS 99248 HAS SOPS 99248 HAS SOUS 83344 HAS SOUPS 83344 WITH SCORE 83443.248
AT ITER 993 NEW BEST:: SOT 163859 SOS 99095 HAS SOPS 99095 HAS SOUS 83344 HAS SOUPS 83344 WITH SCORE 83443.095
AT ITER 997 NEW BEST:: SOT 163859 SOS 99205 HAS SOPS 99205 HAS SOUS 83330 HAS SOUPS 83330 WITH SCORE 83429.205
AT ITER 998 NEW BEST:: SOT 163859 SOS 99198 HAS SOPS 99198 HAS SOUS 83320 HAS SOUPS 83320 WITH SCORE 83419.198
AT ITER 1000 NEW BEST:: SOT 163622 SOS 99312 HAS SOPS 99312 HAS SOUS 83304 HAS SOUPS 83304 WITH SCORE 83403.312
AT ITER 1005 NEW BEST:: SOT 163326 SOS 99101 HAS SOPS 99101 HAS SOUS 83234 HAS SOUPS 83234 WITH SCORE 83333.101
AT ITER 1006 NEW BEST:: SOT 163366 SOS 98957 HAS SOPS 98957 HAS SOUS 83218 HAS SOUPS 83218 WITH SCORE 83316.957
AT ITER 1011 NEW BEST:: SOT 163366 SOS 99144 HAS SOPS 99144 HAS SOUS 83188 HAS SOUPS 83188 WITH SCORE 83287.144
AT ITER 1012 NEW BEST:: SOT 163366 SOS 99135 HAS SOPS 99135 HAS SOUS 83188 HAS SOUPS 83188 WITH SCORE 83287.135
AT ITER 1022 NEW BEST:: SOT 163366 SOS 99042 HAS SOPS 99042 HAS SOUS 83179 HAS SOUPS 83179 WITH SCORE 83278.042
AT ITER 1027 NEW BEST:: SOT 163366 SOS 99006 HAS SOPS 99006 HAS SOUS 83179 HAS SOUPS 83179 WITH SCORE 83278.006
AT ITER 1029 NEW BEST:: SOT 163416 SOS 99112 HAS SOPS 99112 HAS SOUS 83175 HAS SOUPS 83175 WITH SCORE 83274.112
AT ITER 1036 NEW BEST:: SOT 163335 SOS 99031 HAS SOPS 99031 HAS SOUS 83094 HAS SOUPS 83094 WITH SCORE 83193.031
AT ITER 1040 NEW BEST:: SOT 163335 SOS 99031 HAS SOPS 99031 HAS SOUS 83059 HAS SOUPS 83059 WITH SCORE 83158.031
AT ITER 1042 NEW BEST:: SOT 163220 SOS 99156 HAS SOPS 99156 HAS SOUS 82976 HAS SOUPS 82976 WITH SCORE 83075.156
AT ITER 1046 NEW BEST:: SOT 163214 SOS 99205 HAS SOPS 99205 HAS SOUS 82971 HAS SOUPS 82971 WITH SCORE 83070.205
AT ITER 1049 NEW BEST:: SOT 163208 SOS 99189 HAS SOPS 99189 HAS SOUS 82968 HAS SOUPS 82968 WITH SCORE 83067.189
AT ITER 1055 NEW BEST:: SOT 163107 SOS 99004 HAS SOPS 99004 HAS SOUS 82928 HAS SOUPS 82928 WITH SCORE 83027.004
AT ITER 1063 NEW BEST:: SOT 163107 SOS 97407 HAS SOPS 97407 HAS SOUS 82928 HAS SOUPS 82928 WITH SCORE 83025.407
AT ITER 1064 NEW BEST:: SOT 163097 SOS 97187 HAS SOPS 97187 HAS SOUS 82855 HAS SOUPS 82855 WITH SCORE 82952.187
AT ITER 1068 NEW BEST:: SOT 163097 SOS 97165 HAS SOPS 97165 HAS SOUS 82855 HAS SOUPS 82855 WITH SCORE 82952.165
AT ITER 1080 NEW BEST:: SOT 163078 SOS 97143 HAS SOPS 97143 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82927.143
AT ITER 1086 NEW BEST:: SOT 163078 SOS 97044 HAS SOPS 97044 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82927.044
AT ITER 1092 NEW BEST:: SOT 163078 SOS 96980 HAS SOPS 96980 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82926.98
AT ITER 1095 NEW BEST:: SOT 163078 SOS 96888 HAS SOPS 96888 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82926.888
AT ITER 1097 NEW BEST:: SOT 163078 SOS 96768 HAS SOPS 96768 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82926.768
AT ITER 1098 NEW BEST:: SOT 163072 SOS 96705 HAS SOPS 96705 HAS SOUS 82813 HAS SOUPS 82813 WITH SCORE 82909.705
AT ITER 1104 NEW BEST:: SOT 163072 SOS 96521 HAS SOPS 96521 HAS SOUS 82813 HAS SOUPS 82813 WITH SCORE 82909.521
AT ITER 1106 NEW BEST:: SOT 163072 SOS 96333 HAS SOPS 96333 HAS SOUS 82777 HAS SOUPS 82777 WITH SCORE 82873.333
AT ITER 1112 NEW BEST:: SOT 163073 SOS 96293 HAS SOPS 96293 HAS SOUS 82770 HAS SOUPS 82770 WITH SCORE 82866.293
AT ITER 1115 NEW BEST:: SOT 163073 SOS 96285 HAS SOPS 96285 HAS SOUS 82770 HAS SOUPS 82770 WITH SCORE 82866.285
AT ITER 1116 NEW BEST:: SOT 163073 SOS 96266 HAS SOPS 96266 HAS SOUS 82770 HAS SOUPS 82770 WITH SCORE 82866.266
AT ITER 1119 NEW BEST:: SOT 163056 SOS 96249 HAS SOPS 96249 HAS SOUS 82753 HAS SOUPS 82753 WITH SCORE 82849.249
AT ITER 1120 NEW BEST:: SOT 163056 SOS 96430 HAS SOPS 96430 HAS SOUS 82737 HAS SOUPS 82737 WITH SCORE 82833.43
AT ITER 1134 NEW BEST:: SOT 163056 SOS 96344 HAS SOPS 96344 HAS SOUS 82737 HAS SOUPS 82737 WITH SCORE 82833.344
AT ITER 1148 NEW BEST:: SOT 163056 SOS 96429 HAS SOPS 96429 HAS SOUS 82733 HAS SOUPS 82733 WITH SCORE 82829.429
AT ITER 1153 NEW BEST:: SOT 163056 SOS 96280 HAS SOPS 96280 HAS SOUS 82722 HAS SOUPS 82722 WITH SCORE 82818.28
AT ITER 1155 NEW BEST:: SOT 163004 SOS 96228 HAS SOPS 96228 HAS SOUS 82628 HAS SOUPS 82628 WITH SCORE 82724.228
AT ITER 1163 NEW BEST:: SOT 163004 SOS 96133 HAS SOPS 96133 HAS SOUS 82628 HAS SOUPS 82628 WITH SCORE 82724.133
AT ITER 1170 NEW BEST:: SOT 163033 SOS 96162 HAS SOPS 96162 HAS SOUS 82579 HAS SOUPS 82579 WITH SCORE 82675.162
AT ITER 1171 NEW BEST:: SOT 163033 SOS 95858 HAS SOPS 95858 HAS SOUS 82579 HAS SOUPS 82579 WITH SCORE 82674.858
AT ITER 1175 NEW BEST:: SOT 162983 SOS 95818 HAS SOPS 95818 HAS SOUS 82545 HAS SOUPS 82545 WITH SCORE 82640.818
AT ITER 1179 NEW BEST:: SOT 162808 SOS 95745 HAS SOPS 95745 HAS SOUS 82465 HAS SOUPS 82465 WITH SCORE 82560.745
AT ITER 1185 NEW BEST:: SOT 162816 SOS 95753 HAS SOPS 95753 HAS SOUS 82439 HAS SOUPS 82439 WITH SCORE 82534.753
AT ITER 1189 NEW BEST:: SOT 162816 SOS 94741 HAS SOPS 94741 HAS SOUS 82345 HAS SOUPS 82345 WITH SCORE 82439.741
AT ITER 1195 NEW BEST:: SOT 162816 SOS 93621 HAS SOPS 93621 HAS SOUS 82345 HAS SOUPS 82345 WITH SCORE 82438.621
AT ITER 1207 NEW BEST:: SOT 162816 SOS 93744 HAS SOPS 93744 HAS SOUS 82343 HAS SOUPS 82343 WITH SCORE 82436.744
AT ITER 1209 NEW BEST:: SOT 162816 SOS 93713 HAS SOPS 93713 HAS SOUS 82338 HAS SOUPS 82338 WITH SCORE 82431.713
AT ITER 1217 NEW BEST:: SOT 162778 SOS 93668 HAS SOPS 93668 HAS SOUS 82287 HAS SOUPS 82287 WITH SCORE 82380.668
AT ITER 1218 NEW BEST:: SOT 162778 SOS 93632 HAS SOPS 93632 HAS SOUS 82287 HAS SOUPS 82287 WITH SCORE 82380.632
AT ITER 1230 NEW BEST:: SOT 162802 SOS 93446 HAS SOPS 93446 HAS SOUS 82265 HAS SOUPS 82265 WITH SCORE 82358.446
AT ITER 1251 NEW BEST:: SOT 162802 SOS 93418 HAS SOPS 93418 HAS SOUS 82220 HAS SOUPS 82220 WITH SCORE 82313.418
AT ITER 1262 NEW BEST:: SOT 162890 SOS 93420 HAS SOPS 93420 HAS SOUS 82176 HAS SOUPS 82176 WITH SCORE 82269.42
AT ITER 1266 NEW BEST:: SOT 162892 SOS 93344 HAS SOPS 93344 HAS SOUS 82115 HAS SOUPS 82115 WITH SCORE 82208.344
AT ITER 1281 NEW BEST:: SOT 162892 SOS 93238 HAS SOPS 93238 HAS SOUS 82115 HAS SOUPS 82115 WITH SCORE 82208.238
AT ITER 1282 NEW BEST:: SOT 162889 SOS 93235 HAS SOPS 93235 HAS SOUS 82112 HAS SOUPS 82112 WITH SCORE 82205.235
AT ITER 1298 NEW BEST:: SOT 162889 SOS 93042 HAS SOPS 93042 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82053.042
AT ITER 1310 NEW BEST:: SOT 162889 SOS 92822 HAS SOPS 92822 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82052.822
AT ITER 1313 NEW BEST:: SOT 162889 SOS 92636 HAS SOPS 92636 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82052.636
AT ITER 1315 NEW BEST:: SOT 162638 SOS 92443 HAS SOPS 92443 HAS SOUS 81954 HAS SOUPS 81954 WITH SCORE 82046.443
AT ITER 1316 NEW BEST:: SOT 162627 SOS 92386 HAS SOPS 92386 HAS SOUS 81897 HAS SOUPS 81897 WITH SCORE 81989.386
AT ITER 1323 NEW BEST:: SOT 162619 SOS 92351 HAS SOPS 92351 HAS SOUS 81869 HAS SOUPS 81869 WITH SCORE 81961.351
AT ITER 1327 NEW BEST:: SOT 162619 SOS 92231 HAS SOPS 92231 HAS SOUS 81869 HAS SOUPS 81869 WITH SCORE 81961.231
AT ITER 1340 NEW BEST:: SOT 162619 SOS 92208 HAS SOPS 92208 HAS SOUS 81850 HAS SOUPS 81850 WITH SCORE 81942.208
AT ITER 1345 NEW BEST:: SOT 162619 SOS 92166 HAS SOPS 92166 HAS SOUS 81807 HAS SOUPS 81807 WITH SCORE 81899.166
AT ITER 1350 NEW BEST:: SOT 162541 SOS 92069 HAS SOPS 92069 HAS SOUS 81735 HAS SOUPS 81735 WITH SCORE 81827.069
AT ITER 1356 NEW BEST:: SOT 162534 SOS 92062 HAS SOPS 92062 HAS SOUS 81672 HAS SOUPS 81672 WITH SCORE 81764.062
AT ITER 1357 NEW BEST:: SOT 162534 SOS 91995 HAS SOPS 91995 HAS SOUS 81605 HAS SOUPS 81605 WITH SCORE 81696.995
AT ITER 1379 NEW BEST:: SOT 162534 SOS 91973 HAS SOPS 91973 HAS SOUS 81591 HAS SOUPS 81591 WITH SCORE 81682.973
AT ITER 1382 NEW BEST:: SOT 162534 SOS 91966 HAS SOPS 91966 HAS SOUS 81591 HAS SOUPS 81591 WITH SCORE 81682.966
AT ITER 1398 NEW BEST:: SOT 162534 SOS 91960 HAS SOPS 91960 HAS SOUS 81591 HAS SOUPS 81591 WITH SCORE 81682.96
AT ITER 1407 NEW BEST:: SOT 162534 SOS 91943 HAS SOPS 91943 HAS SOUS 81591 HAS SOUPS 81591 WITH SCORE 81682.943
AT ITER 1419 NEW BEST:: SOT 162577 SOS 91925 HAS SOPS 91925 HAS SOUS 81588 HAS SOUPS 81588 WITH SCORE 81679.925
AT ITER 1422 NEW BEST:: SOT 162577 SOS 91924 HAS SOPS 91924 HAS SOUS 81588 HAS SOUPS 81588 WITH SCORE 81679.924
AT ITER 1423 NEW BEST:: SOT 162561 SOS 91908 HAS SOPS 91908 HAS SOUS 81572 HAS SOUPS 81572 WITH SCORE 81663.908
AT ITER 1429 NEW BEST:: SOT 162561 SOS 91772 HAS SOPS 91772 HAS SOUS 81571 HAS SOUPS 81571 WITH SCORE 81662.772
AT ITER 1438 NEW BEST:: SOT 162573 SOS 91711 HAS SOPS 91711 HAS SOUS 81537 HAS SOUPS 81537 WITH SCORE 81628.711
AT ITER 1441 NEW BEST:: SOT 162556 SOS 91739 HAS SOPS 91739 HAS SOUS 81506 HAS SOUPS 81506 WITH SCORE 81597.739
AT ITER 1448 NEW BEST:: SOT 162556 SOS 91816 HAS SOPS 91816 HAS SOUS 81503 HAS SOUPS 81503 WITH SCORE 81594.816
AT ITER 1449 NEW BEST:: SOT 162556 SOS 91735 HAS SOPS 91735 HAS SOUS 81503 HAS SOUPS 81503 WITH SCORE 81594.735
AT ITER 1457 NEW BEST:: SOT 162556 SOS 91621 HAS SOPS 91621 HAS SOUS 81500 HAS SOUPS 81500 WITH SCORE 81591.621
AT ITER 1468 NEW BEST:: SOT 162556 SOS 91608 HAS SOPS 91608 HAS SOUS 81500 HAS SOUPS 81500 WITH SCORE 81591.608
AT ITER 1478 NEW BEST:: SOT 162503 SOS 91539 HAS SOPS 91539 HAS SOUS 81431 HAS SOUPS 81431 WITH SCORE 81522.539
AT ITER 1479 NEW BEST:: SOT 162503 SOS 91273 HAS SOPS 91273 HAS SOUS 81431 HAS SOUPS 81431 WITH SCORE 81522.273
AT ITER 1484 NEW BEST:: SOT 162414 SOS 91184 HAS SOPS 91184 HAS SOUS 81342 HAS SOUPS 81342 WITH SCORE 81433.184
AT ITER 1485 NEW BEST:: SOT 162414 SOS 91179 HAS SOPS 91179 HAS SOUS 81342 HAS SOUPS 81342 WITH SCORE 81433.179
AT ITER 1487 NEW BEST:: SOT 162414 SOS 91103 HAS SOPS 91103 HAS SOUS 81342 HAS SOUPS 81342 WITH SCORE 81433.103
AT ITER 1491 NEW BEST:: SOT 162414 SOS 91025 HAS SOPS 91025 HAS SOUS 81342 HAS SOUPS 81342 WITH SCORE 81433.025
AT ITER 1495 NEW BEST:: SOT 162380 SOS 90853 HAS SOPS 90853 HAS SOUS 81328 HAS SOUPS 81328 WITH SCORE 81418.853
AT ITER 1511 NEW BEST:: SOT 162380 SOS 90849 HAS SOPS 90849 HAS SOUS 81328 HAS SOUPS 81328 WITH SCORE 81418.849
AT ITER 1523 NEW BEST:: SOT 162354 SOS 90823 HAS SOPS 90823 HAS SOUS 81302 HAS SOUPS 81302 WITH SCORE 81392.823
AT ITER 1524 NEW BEST:: SOT 162354 SOS 90761 HAS SOPS 90761 HAS SOUS 81302 HAS SOUPS 81302 WITH SCORE 81392.761
AT ITER 1528 NEW BEST:: SOT 162354 SOS 90662 HAS SOPS 90662 HAS SOUS 81302 HAS SOUPS 81302 WITH SCORE 81392.662
AT ITER 1530 NEW BEST:: SOT 162354 SOS 90634 HAS SOPS 90634 HAS SOUS 81302 HAS SOUPS 81302 WITH SCORE 81392.634
AT ITER 1534 NEW BEST:: SOT 162354 SOS 90571 HAS SOPS 90571 HAS SOUS 81281 HAS SOUPS 81281 WITH SCORE 81371.571
AT ITER 1538 NEW BEST:: SOT 162354 SOS 90571 HAS SOPS 90571 HAS SOUS 81275 HAS SOUPS 81275 WITH SCORE 81365.571
AT ITER 1540 NEW BEST:: SOT 162222 SOS 90439 HAS SOPS 90439 HAS SOUS 81099 HAS SOUPS 81099 WITH SCORE 81189.439
AT ITER 1543 NEW BEST:: SOT 162222 SOS 90278 HAS SOPS 90278 HAS SOUS 81079 HAS SOUPS 81079 WITH SCORE 81169.278
AT ITER 1547 NEW BEST:: SOT 162222 SOS 90211 HAS SOPS 90211 HAS SOUS 81071 HAS SOUPS 81071 WITH SCORE 81161.211
AT ITER 1549 NEW BEST:: SOT 162211 SOS 90259 HAS SOPS 90259 HAS SOUS 81059 HAS SOUPS 81059 WITH SCORE 81149.259
AT ITER 1554 NEW BEST:: SOT 162211 SOS 90211 HAS SOPS 90211 HAS SOUS 81059 HAS SOUPS 81059 WITH SCORE 81149.211
AT ITER 1557 NEW BEST:: SOT 162053 SOS 90108 HAS SOPS 90108 HAS SOUS 81020 HAS SOUPS 81020 WITH SCORE 81110.108
AT ITER 1583 NEW BEST:: SOT 162053 SOS 90082 HAS SOPS 90082 HAS SOUS 81016 HAS SOUPS 81016 WITH SCORE 81106.082
AT ITER 1592 NEW BEST:: SOT 162053 SOS 90060 HAS SOPS 90060 HAS SOUS 81016 HAS SOUPS 81016 WITH SCORE 81106.06
AT ITER 1597 NEW BEST:: SOT 162026 SOS 90033 HAS SOPS 90033 HAS SOUS 80982 HAS SOUPS 80982 WITH SCORE 81072.033
AT ITER 1599 NEW BEST:: SOT 162026 SOS 90020 HAS SOPS 90020 HAS SOUS 80982 HAS SOUPS 80982 WITH SCORE 81072.02
AT ITER 1600 NEW BEST:: SOT 162026 SOS 90020 HAS SOPS 90020 HAS SOUS 80908 HAS SOUPS 80908 WITH SCORE 80998.02
AT ITER 1610 NEW BEST:: SOT 162030 SOS 89946 HAS SOPS 89946 HAS SOUS 80906 HAS SOUPS 80906 WITH SCORE 80995.946
AT ITER 1617 NEW BEST:: SOT 162030 SOS 89895 HAS SOPS 89895 HAS SOUS 80906 HAS SOUPS 80906 WITH SCORE 80995.895
AT ITER 1618 NEW BEST:: SOT 161829 SOS 89722 HAS SOPS 89722 HAS SOUS 80695 HAS SOUPS 80695 WITH SCORE 80784.722
AT ITER 1641 NEW BEST:: SOT 161829 SOS 89655 HAS SOPS 89655 HAS SOUS 80695 HAS SOUPS 80695 WITH SCORE 80784.655
AT ITER 1646 NEW BEST:: SOT 161795 SOS 89593 HAS SOPS 89593 HAS SOUS 80633 HAS SOUPS 80633 WITH SCORE 80722.593
AT ITER 1647 NEW BEST:: SOT 161832 SOS 89770 HAS SOPS 89770 HAS SOUS 80621 HAS SOUPS 80621 WITH SCORE 80710.77
AT ITER 1665 NEW BEST:: SOT 161668 SOS 89634 HAS SOPS 89634 HAS SOUS 80473 HAS SOUPS 80473 WITH SCORE 80562.634
AT ITER 1669 NEW BEST:: SOT 161662 SOS 89759 HAS SOPS 89759 HAS SOUS 80453 HAS SOUPS 80453 WITH SCORE 80542.759
AT ITER 1684 NEW BEST:: SOT 161662 SOS 89753 HAS SOPS 89753 HAS SOUS 80453 HAS SOUPS 80453 WITH SCORE 80542.753
AT ITER 1696 NEW BEST:: SOT 161669 SOS 89551 HAS SOPS 89551 HAS SOUS 80420 HAS SOUPS 80420 WITH SCORE 80509.551
AT ITER 1697 NEW BEST:: SOT 161643 SOS 89621 HAS SOPS 89621 HAS SOUS 80367 HAS SOUPS 80367 WITH SCORE 80456.621
AT ITER 1702 NEW BEST:: SOT 161643 SOS 88604 HAS SOPS 88604 HAS SOUS 80367 HAS SOUPS 80367 WITH SCORE 80455.604
AT ITER 1703 NEW BEST:: SOT 161643 SOS 88588 HAS SOPS 88588 HAS SOUS 80367 HAS SOUPS 80367 WITH SCORE 80455.588
AT ITER 1707 NEW BEST:: SOT 161643 SOS 88583 HAS SOPS 88583 HAS SOUS 80362 HAS SOUPS 80362 WITH SCORE 80450.583
AT ITER 1712 NEW BEST:: SOT 161625 SOS 88565 HAS SOPS 88565 HAS SOUS 80346 HAS SOUPS 80346 WITH SCORE 80434.565
AT ITER 1715 NEW BEST:: SOT 161625 SOS 88552 HAS SOPS 88552 HAS SOUS 80346 HAS SOUPS 80346 WITH SCORE 80434.552
AT ITER 1716 NEW BEST:: SOT 161625 SOS 88507 HAS SOPS 88507 HAS SOUS 80346 HAS SOUPS 80346 WITH SCORE 80434.507
AT ITER 1729 NEW BEST:: SOT 161354 SOS 88251 HAS SOPS 88251 HAS SOUS 80306 HAS SOUPS 80306 WITH SCORE 80394.251
AT ITER 1731 NEW BEST:: SOT 161354 SOS 88251 HAS SOPS 88251 HAS SOUS 80302 HAS SOUPS 80302 WITH SCORE 80390.251
AT ITER 1742 NEW BEST:: SOT 161354 SOS 88201 HAS SOPS 88201 HAS SOUS 80302 HAS SOUPS 80302 WITH SCORE 80390.201
AT ITER 1744 NEW BEST:: SOT 161354 SOS 88243 HAS SOPS 88243 HAS SOUS 80250 HAS SOUPS 80250 WITH SCORE 80338.243
AT ITER 1751 NEW BEST:: SOT 161354 SOS 88208 HAS SOPS 88208 HAS SOUS 80208 HAS SOUPS 80208 WITH SCORE 80296.208
AT ITER 1753 NEW BEST:: SOT 161354 SOS 88204 HAS SOPS 88204 HAS SOUS 80208 HAS SOUPS 80208 WITH SCORE 80296.204
AT ITER 1756 NEW BEST:: SOT 161354 SOS 88162 HAS SOPS 88162 HAS SOUS 80208 HAS SOUPS 80208 WITH SCORE 80296.162
AT ITER 1762 NEW BEST:: SOT 161354 SOS 88177 HAS SOPS 88177 HAS SOUS 80193 HAS SOUPS 80193 WITH SCORE 80281.177
AT ITER 1784 NEW BEST:: SOT 161354 SOS 88312 HAS SOPS 88312 HAS SOUS 80185 HAS SOUPS 80185 WITH SCORE 80273.312
AT ITER 1810 NEW BEST:: SOT 161354 SOS 88297 HAS SOPS 88297 HAS SOUS 80185 HAS SOUPS 80185 WITH SCORE 80273.297
AT ITER 1819 NEW BEST:: SOT 161354 SOS 88385 HAS SOPS 88385 HAS SOUS 80129 HAS SOUPS 80129 WITH SCORE 80217.385
AT ITER 1834 NEW BEST:: SOT 161368 SOS 88377 HAS SOPS 88377 HAS SOUS 80101 HAS SOUPS 80101 WITH SCORE 80189.377
AT ITER 1840 NEW BEST:: SOT 161368 SOS 88347 HAS SOPS 88347 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80181.347
AT ITER 1853 NEW BEST:: SOT 161368 SOS 88526 HAS SOPS 88526 HAS SOUS 80084 HAS SOUPS 80084 WITH SCORE 80172.526
AT ITER 1870 NEW BEST:: SOT 161368 SOS 87355 HAS SOPS 87355 HAS SOUS 80084 HAS SOUPS 80084 WITH SCORE 80171.355
AT ITER 1892 NEW BEST:: SOT 161368 SOS 87178 HAS SOPS 87178 HAS SOUS 80084 HAS SOUPS 80084 WITH SCORE 80171.178
AT ITER 1897 NEW BEST:: SOT 161332 SOS 87142 HAS SOPS 87142 HAS SOUS 80043 HAS SOUPS 80043 WITH SCORE 80130.142
AT ITER 1902 NEW BEST:: SOT 161332 SOS 87117 HAS SOPS 87117 HAS SOUS 80043 HAS SOUPS 80043 WITH SCORE 80130.117
AT ITER 1907 NEW BEST:: SOT 161332 SOS 87195 HAS SOPS 87195 HAS SOUS 80030 HAS SOUPS 80030 WITH SCORE 80117.195
AT ITER 1914 NEW BEST:: SOT 161332 SOS 87146 HAS SOPS 87146 HAS SOUS 79995 HAS SOUPS 79995 WITH SCORE 80082.146
AT ITER 1916 NEW BEST:: SOT 161332 SOS 86732 HAS SOPS 86732 HAS SOUS 79995 HAS SOUPS 79995 WITH SCORE 80081.732
AT ITER 1925 NEW BEST:: SOT 161332 SOS 86614 HAS SOPS 86614 HAS SOUS 79967 HAS SOUPS 79967 WITH SCORE 80053.614
AT ITER 1931 NEW BEST:: SOT 161332 SOS 86593 HAS SOPS 86593 HAS SOUS 79957 HAS SOUPS 79957 WITH SCORE 80043.593
AT ITER 1932 NEW BEST:: SOT 161042 SOS 86729 HAS SOPS 86729 HAS SOUS 79929 HAS SOUPS 79929 WITH SCORE 80015.729
AT ITER 1939 NEW BEST:: SOT 161021 SOS 86708 HAS SOPS 86708 HAS SOUS 79908 HAS SOUPS 79908 WITH SCORE 79994.708
AT ITER 1942 NEW BEST:: SOT 161021 SOS 86691 HAS SOPS 86691 HAS SOUS 79908 HAS SOUPS 79908 WITH SCORE 79994.691
AT ITER 1944 NEW BEST:: SOT 160988 SOS 86683 HAS SOPS 86683 HAS SOUS 79852 HAS SOUPS 79852 WITH SCORE 79938.683
AT ITER 1946 NEW BEST:: SOT 160988 SOS 86655 HAS SOPS 86655 HAS SOUS 79836 HAS SOUPS 79836 WITH SCORE 79922.655
AT ITER 1952 NEW BEST:: SOT 160608 SOS 86918 HAS SOPS 86918 HAS SOUS 79800 HAS SOUPS 79800 WITH SCORE 79886.918
AT ITER 1954 NEW BEST:: SOT 160571 SOS 86896 HAS SOPS 86896 HAS SOUS 79775 HAS SOUPS 79775 WITH SCORE 79861.896
AT ITER 1955 NEW BEST:: SOT 160615 SOS 86911 HAS SOPS 86911 HAS SOUS 79771 HAS SOUPS 79771 WITH SCORE 79857.911
AT ITER 1965 NEW BEST:: SOT 160615 SOS 86906 HAS SOPS 86906 HAS SOUS 79766 HAS SOUPS 79766 WITH SCORE 79852.906
AT ITER 1970 NEW BEST:: SOT 160615 SOS 86996 HAS SOPS 86996 HAS SOUS 79743 HAS SOUPS 79743 WITH SCORE 79829.996
AT ITER 1972 NEW BEST:: SOT 160330 SOS 86769 HAS SOPS 86769 HAS SOUS 79594 HAS SOUPS 79594 WITH SCORE 79680.769
AT ITER 1989 NEW BEST:: SOT 160329 SOS 86881 HAS SOPS 86881 HAS SOUS 79588 HAS SOUPS 79588 WITH SCORE 79674.881
AT ITER 1995 NEW BEST:: SOT 160329 SOS 86859 HAS SOPS 86859 HAS SOUS 79579 HAS SOUPS 79579 WITH SCORE 79665.859
AT ITER 1996 NEW BEST:: SOT 160329 SOS 86858 HAS SOPS 86858 HAS SOUS 79577 HAS SOUPS 79577 WITH SCORE 79663.858
AT ITER 2002 NEW BEST:: SOT 160329 SOS 86752 HAS SOPS 86752 HAS SOUS 79577 HAS SOUPS 79577 WITH SCORE 79663.752
AT ITER 2020 NEW BEST:: SOT 160374 SOS 86786 HAS SOPS 86786 HAS SOUS 79564 HAS SOUPS 79564 WITH SCORE 79650.786
AT ITER 2021 NEW BEST:: SOT 160374 SOS 86765 HAS SOPS 86765 HAS SOUS 79564 HAS SOUPS 79564 WITH SCORE 79650.765
AT ITER 2027 NEW BEST:: SOT 160395 SOS 86786 HAS SOPS 86786 HAS SOUS 79541 HAS SOUPS 79541 WITH SCORE 79627.786
AT ITER 2028 NEW BEST:: SOT 160395 SOS 86630 HAS SOPS 86630 HAS SOUS 79517 HAS SOUPS 79517 WITH SCORE 79603.63
AT ITER 2037 NEW BEST:: SOT 159990 SOS 86759 HAS SOPS 86759 HAS SOUS 79414 HAS SOUPS 79414 WITH SCORE 79500.759
AT ITER 2053 NEW BEST:: SOT 159990 SOS 86722 HAS SOPS 86722 HAS SOUS 79345 HAS SOUPS 79345 WITH SCORE 79431.722
AT ITER 2055 NEW BEST:: SOT 159990 SOS 86685 HAS SOPS 86685 HAS SOUS 79345 HAS SOUPS 79345 WITH SCORE 79431.685
AT ITER 2063 NEW BEST:: SOT 159945 SOS 86615 HAS SOPS 86615 HAS SOUS 79339 HAS SOUPS 79339 WITH SCORE 79425.615
AT ITER 2070 NEW BEST:: SOT 159930 SOS 86608 HAS SOPS 86608 HAS SOUS 79334 HAS SOUPS 79334 WITH SCORE 79420.608
AT ITER 2081 NEW BEST:: SOT 159930 SOS 86607 HAS SOPS 86607 HAS SOUS 79334 HAS SOUPS 79334 WITH SCORE 79420.607
AT ITER 2091 NEW BEST:: SOT 159930 SOS 86613 HAS SOPS 86613 HAS SOUS 79308 HAS SOUPS 79308 WITH SCORE 79394.613
AT ITER 2100 NEW BEST:: SOT 159930 SOS 86557 HAS SOPS 86557 HAS SOUS 79295 HAS SOUPS 79295 WITH SCORE 79381.557
AT ITER 2101 NEW BEST:: SOT 159930 SOS 86477 HAS SOPS 86477 HAS SOUS 79288 HAS SOUPS 79288 WITH SCORE 79374.477
AT ITER 2130 NEW BEST:: SOT 159930 SOS 86497 HAS SOPS 86497 HAS SOUS 79287 HAS SOUPS 79287 WITH SCORE 79373.497
AT ITER 2131 NEW BEST:: SOT 159930 SOS 86454 HAS SOPS 86454 HAS SOUS 79287 HAS SOUPS 79287 WITH SCORE 79373.454
AT ITER 2140 NEW BEST:: SOT 159909 SOS 86416 HAS SOPS 86416 HAS SOUS 79276 HAS SOUPS 79276 WITH SCORE 79362.416
AT ITER 2161 NEW BEST:: SOT 159909 SOS 86536 HAS SOPS 86536 HAS SOUS 79209 HAS SOUPS 79209 WITH SCORE 79295.536
AT ITER 2162 NEW BEST:: SOT 159872 SOS 86274 HAS SOPS 86274 HAS SOUS 79209 HAS SOUPS 79209 WITH SCORE 79295.274
AT ITER 2167 NEW BEST:: SOT 159866 SOS 86407 HAS SOPS 86407 HAS SOUS 79173 HAS SOUPS 79173 WITH SCORE 79259.407
AT ITER 2171 NEW BEST:: SOT 159866 SOS 86353 HAS SOPS 86353 HAS SOUS 79155 HAS SOUPS 79155 WITH SCORE 79241.353
AT ITER 2179 NEW BEST:: SOT 159830 SOS 86317 HAS SOPS 86317 HAS SOUS 79134 HAS SOUPS 79134 WITH SCORE 79220.317
AT ITER 2183 NEW BEST:: SOT 159815 SOS 86286 HAS SOPS 86286 HAS SOUS 79119 HAS SOUPS 79119 WITH SCORE 79205.286
AT ITER 2189 NEW BEST:: SOT 159815 SOS 86281 HAS SOPS 86281 HAS SOUS 79119 HAS SOUPS 79119 WITH SCORE 79205.281
AT ITER 2195 NEW BEST:: SOT 159815 SOS 86830 HAS SOPS 86830 HAS SOUS 79118 HAS SOUPS 79118 WITH SCORE 79204.83
AT ITER 2204 NEW BEST:: SOT 159834 SOS 86970 HAS SOPS 86970 HAS SOUS 79101 HAS SOUPS 79101 WITH SCORE 79187.97
AT ITER 2216 NEW BEST:: SOT 159834 SOS 86941 HAS SOPS 86941 HAS SOUS 79072 HAS SOUPS 79072 WITH SCORE 79158.941
AT ITER 2229 NEW BEST:: SOT 159844 SOS 86948 HAS SOPS 86948 HAS SOUS 79009 HAS SOUPS 79009 WITH SCORE 79095.948
AT ITER 2231 NEW BEST:: SOT 159844 SOS 86729 HAS SOPS 86729 HAS SOUS 78990 HAS SOUPS 78990 WITH SCORE 79076.729
AT ITER 2237 NEW BEST:: SOT 159844 SOS 86718 HAS SOPS 86718 HAS SOUS 78990 HAS SOUPS 78990 WITH SCORE 79076.718
AT ITER 2245 NEW BEST:: SOT 159844 SOS 86718 HAS SOPS 86718 HAS SOUS 78979 HAS SOUPS 78979 WITH SCORE 79065.718
AT ITER 2248 NEW BEST:: SOT 159972 SOS 86659 HAS SOPS 86659 HAS SOUS 78927 HAS SOUPS 78927 WITH SCORE 79013.659
AT ITER 2251 NEW BEST:: SOT 159972 SOS 86633 HAS SOPS 86633 HAS SOUS 78927 HAS SOUPS 78927 WITH SCORE 79013.633
AT ITER 2273 NEW BEST:: SOT 159972 SOS 86598 HAS SOPS 86598 HAS SOUS 78927 HAS SOUPS 78927 WITH SCORE 79013.598
AT ITER 2278 NEW BEST:: SOT 159972 SOS 86599 HAS SOPS 86599 HAS SOUS 78904 HAS SOUPS 78904 WITH SCORE 78990.599
AT ITER 2279 NEW BEST:: SOT 159972 SOS 86593 HAS SOPS 86593 HAS SOUS 78885 HAS SOUPS 78885 WITH SCORE 78971.593
AT ITER 2287 NEW BEST:: SOT 159972 SOS 86532 HAS SOPS 86532 HAS SOUS 78885 HAS SOUPS 78885 WITH SCORE 78971.532
AT ITER 2290 NEW BEST:: SOT 159911 SOS 86575 HAS SOPS 86575 HAS SOUS 78840 HAS SOUPS 78840 WITH SCORE 78926.575
AT ITER 2295 NEW BEST:: SOT 159686 SOS 86421 HAS SOPS 86421 HAS SOUS 78688 HAS SOUPS 78688 WITH SCORE 78774.421
AT ITER 2298 NEW BEST:: SOT 159686 SOS 86385 HAS SOPS 86385 HAS SOUS 78688 HAS SOUPS 78688 WITH SCORE 78774.385
AT ITER 2331 NEW BEST:: SOT 159624 SOS 86287 HAS SOPS 86287 HAS SOUS 78565 HAS SOUPS 78565 WITH SCORE 78651.287
AT ITER 2341 NEW BEST:: SOT 159655 SOS 86109 HAS SOPS 86109 HAS SOUS 78398 HAS SOUPS 78398 WITH SCORE 78484.109
AT ITER 2349 NEW BEST:: SOT 159655 SOS 85793 HAS SOPS 85793 HAS SOUS 78285 HAS SOUPS 78285 WITH SCORE 78370.793
AT ITER 2371 NEW BEST:: SOT 159693 SOS 85790 HAS SOPS 85790 HAS SOUS 78283 HAS SOUPS 78283 WITH SCORE 78368.79
AT ITER 2379 NEW BEST:: SOT 159693 SOS 85787 HAS SOPS 85787 HAS SOUS 78283 HAS SOUPS 78283 WITH SCORE 78368.787
AT ITER 2395 NEW BEST:: SOT 159612 SOS 85697 HAS SOPS 85697 HAS SOUS 78171 HAS SOUPS 78171 WITH SCORE 78256.697
AT ITER 2419 NEW BEST:: SOT 159612 SOS 85675 HAS SOPS 85675 HAS SOUS 78149 HAS SOUPS 78149 WITH SCORE 78234.675
AT ITER 2431 NEW BEST:: SOT 159612 SOS 85484 HAS SOPS 85484 HAS SOUS 78146 HAS SOUPS 78146 WITH SCORE 78231.484
AT ITER 2448 NEW BEST:: SOT 159582 SOS 85499 HAS SOPS 85499 HAS SOUS 78140 HAS SOUPS 78140 WITH SCORE 78225.499
AT ITER 2454 NEW BEST:: SOT 159582 SOS 85459 HAS SOPS 85459 HAS SOUS 78100 HAS SOUPS 78100 WITH SCORE 78185.459
AT ITER 2456 NEW BEST:: SOT 159582 SOS 85454 HAS SOPS 85454 HAS SOUS 78095 HAS SOUPS 78095 WITH SCORE 78180.454
AT ITER 2471 NEW BEST:: SOT 159575 SOS 85447 HAS SOPS 85447 HAS SOUS 78088 HAS SOUPS 78088 WITH SCORE 78173.447
AT ITER 2472 NEW BEST:: SOT 159588 SOS 85106 HAS SOPS 85106 HAS SOUS 78052 HAS SOUPS 78052 WITH SCORE 78137.106
AT ITER 2475 NEW BEST:: SOT 159575 SOS 85113 HAS SOPS 85113 HAS SOUS 78040 HAS SOUPS 78040 WITH SCORE 78125.113
AT ITER 2478 NEW BEST:: SOT 159575 SOS 84928 HAS SOPS 84928 HAS SOUS 78040 HAS SOUPS 78040 WITH SCORE 78124.928
AT ITER 2485 NEW BEST:: SOT 159449 SOS 84981 HAS SOPS 84981 HAS SOUS 78016 HAS SOUPS 78016 WITH SCORE 78100.981
AT ITER 2498 NEW BEST:: SOT 159449 SOS 84949 HAS SOPS 84949 HAS SOUS 78016 HAS SOUPS 78016 WITH SCORE 78100.949
AT ITER 2502 NEW BEST:: SOT 159102 SOS 85256 HAS SOPS 85256 HAS SOUS 78001 HAS SOUPS 78001 WITH SCORE 78086.256
AT ITER 2504 NEW BEST:: SOT 159097 SOS 85251 HAS SOPS 85251 HAS SOUS 77996 HAS SOUPS 77996 WITH SCORE 78081.251
AT ITER 2521 NEW BEST:: SOT 158961 SOS 85115 HAS SOPS 85115 HAS SOUS 77928 HAS SOUPS 77928 WITH SCORE 78013.115
AT ITER 2523 NEW BEST:: SOT 158938 SOS 85048 HAS SOPS 85048 HAS SOUS 77816 HAS SOUPS 77816 WITH SCORE 77901.048
AT ITER 2535 NEW BEST:: SOT 158909 SOS 84935 HAS SOPS 84935 HAS SOUS 77723 HAS SOUPS 77723 WITH SCORE 77807.935
AT ITER 2549 NEW BEST:: SOT 158909 SOS 84885 HAS SOPS 84885 HAS SOUS 77688 HAS SOUPS 77688 WITH SCORE 77772.885
AT ITER 2560 NEW BEST:: SOT 158546 SOS 85199 HAS SOPS 85199 HAS SOUS 77522 HAS SOUPS 77522 WITH SCORE 77607.199
AT ITER 2563 NEW BEST:: SOT 158546 SOS 85162 HAS SOPS 85162 HAS SOUS 77485 HAS SOUPS 77485 WITH SCORE 77570.162
AT ITER 2570 NEW BEST:: SOT 158308 SOS 84950 HAS SOPS 84950 HAS SOUS 77334 HAS SOUPS 77334 WITH SCORE 77418.95
AT ITER 2571 NEW BEST:: SOT 158263 SOS 84876 HAS SOPS 84876 HAS SOUS 77260 HAS SOUPS 77260 WITH SCORE 77344.876
AT ITER 2573 NEW BEST:: SOT 158248 SOS 84845 HAS SOPS 84845 HAS SOUS 77239 HAS SOUPS 77239 WITH SCORE 77323.845
AT ITER 2575 NEW BEST:: SOT 158248 SOS 84655 HAS SOPS 84655 HAS SOUS 77239 HAS SOUPS 77239 WITH SCORE 77323.655
AT ITER 2583 NEW BEST:: SOT 158248 SOS 84406 HAS SOPS 84406 HAS SOUS 77209 HAS SOUPS 77209 WITH SCORE 77293.406
AT ITER 2593 NEW BEST:: SOT 158184 SOS 84342 HAS SOPS 84342 HAS SOUS 77145 HAS SOUPS 77145 WITH SCORE 77229.342
AT ITER 2601 NEW BEST:: SOT 158184 SOS 84286 HAS SOPS 84286 HAS SOUS 77145 HAS SOUPS 77145 WITH SCORE 77229.286
AT ITER 2607 NEW BEST:: SOT 158180 SOS 84265 HAS SOPS 84265 HAS SOUS 77144 HAS SOUPS 77144 WITH SCORE 77228.265
AT ITER 2612 NEW BEST:: SOT 158180 SOS 84244 HAS SOPS 84244 HAS SOUS 77123 HAS SOUPS 77123 WITH SCORE 77207.244
AT ITER 2615 NEW BEST:: SOT 158157 SOS 84282 HAS SOPS 84282 HAS SOUS 77092 HAS SOUPS 77092 WITH SCORE 77176.282
AT ITER 2617 NEW BEST:: SOT 158157 SOS 84257 HAS SOPS 84257 HAS SOUS 77092 HAS SOUPS 77092 WITH SCORE 77176.257
AT ITER 2625 NEW BEST:: SOT 157957 SOS 84152 HAS SOPS 84152 HAS SOUS 76965 HAS SOUPS 76965 WITH SCORE 77049.152
AT ITER 2629 NEW BEST:: SOT 157957 SOS 84099 HAS SOPS 84099 HAS SOUS 76965 HAS SOUPS 76965 WITH SCORE 77049.099
AT ITER 2643 NEW BEST:: SOT 157957 SOS 84048 HAS SOPS 84048 HAS SOUS 76965 HAS SOUPS 76965 WITH SCORE 77049.048
AT ITER 2644 NEW BEST:: SOT 157934 SOS 84025 HAS SOPS 84025 HAS SOUS 76942 HAS SOUPS 76942 WITH SCORE 77026.025
AT ITER 2646 NEW BEST:: SOT 157940 SOS 84092 HAS SOPS 84092 HAS SOUS 76930 HAS SOUPS 76930 WITH SCORE 77014.092
AT ITER 2647 NEW BEST:: SOT 157922 SOS 84502 HAS SOPS 84502 HAS SOUS 76912 HAS SOUPS 76912 WITH SCORE 76996.502
AT ITER 2652 NEW BEST:: SOT 157919 SOS 84499 HAS SOPS 84499 HAS SOUS 76909 HAS SOUPS 76909 WITH SCORE 76993.499
AT ITER 2659 NEW BEST:: SOT 157913 SOS 84493 HAS SOPS 84493 HAS SOUS 76903 HAS SOUPS 76903 WITH SCORE 76987.493
AT ITER 2660 NEW BEST:: SOT 157937 SOS 84426 HAS SOPS 84426 HAS SOUS 76825 HAS SOUPS 76825 WITH SCORE 76909.426
AT ITER 2670 NEW BEST:: SOT 157951 SOS 84527 HAS SOPS 84527 HAS SOUS 76814 HAS SOUPS 76814 WITH SCORE 76898.527
AT ITER 2681 NEW BEST:: SOT 157998 SOS 84564 HAS SOPS 84564 HAS SOUS 76787 HAS SOUPS 76787 WITH SCORE 76871.564
AT ITER 2696 NEW BEST:: SOT 157998 SOS 84529 HAS SOPS 84529 HAS SOUS 76787 HAS SOUPS 76787 WITH SCORE 76871.529
AT ITER 2700 NEW BEST:: SOT 157997 SOS 84491 HAS SOPS 84491 HAS SOUS 76786 HAS SOUPS 76786 WITH SCORE 76870.491
AT ITER 2725 NEW BEST:: SOT 157997 SOS 84477 HAS SOPS 84477 HAS SOUS 76786 HAS SOUPS 76786 WITH SCORE 76870.477
AT ITER 2728 NEW BEST:: SOT 157997 SOS 84361 HAS SOPS 84361 HAS SOUS 76786 HAS SOUPS 76786 WITH SCORE 76870.361
AT ITER 2752 NEW BEST:: SOT 157997 SOS 84273 HAS SOPS 84273 HAS SOUS 76777 HAS SOUPS 76777 WITH SCORE 76861.273
AT ITER 2766 NEW BEST:: SOT 157989 SOS 84203 HAS SOPS 84203 HAS SOUS 76736 HAS SOUPS 76736 WITH SCORE 76820.203
AT ITER 2769 NEW BEST:: SOT 157989 SOS 84173 HAS SOPS 84173 HAS SOUS 76736 HAS SOUPS 76736 WITH SCORE 76820.173
AT ITER 2773 NEW BEST:: SOT 157989 SOS 84169 HAS SOPS 84169 HAS SOUS 76732 HAS SOUPS 76732 WITH SCORE 76816.169
AT ITER 2781 NEW BEST:: SOT 158071 SOS 84223 HAS SOPS 84223 HAS SOUS 76718 HAS SOUPS 76718 WITH SCORE 76802.223
AT ITER 2790 NEW BEST:: SOT 158071 SOS 84210 HAS SOPS 84210 HAS SOUS 76718 HAS SOUPS 76718 WITH SCORE 76802.21
AT ITER 2794 NEW BEST:: SOT 158071 SOS 84165 HAS SOPS 84165 HAS SOUS 76707 HAS SOUPS 76707 WITH SCORE 76791.165
AT ITER 2795 NEW BEST:: SOT 158096 SOS 84111 HAS SOPS 84111 HAS SOUS 76696 HAS SOUPS 76696 WITH SCORE 76780.111
AT ITER 2797 NEW BEST:: SOT 158146 SOS 84141 HAS SOPS 84141 HAS SOUS 76695 HAS SOUPS 76695 WITH SCORE 76779.141
AT ITER 2806 NEW BEST:: SOT 158146 SOS 83934 HAS SOPS 83934 HAS SOUS 76695 HAS SOUPS 76695 WITH SCORE 76778.934
AT ITER 2807 NEW BEST:: SOT 158146 SOS 83906 HAS SOPS 83906 HAS SOUS 76695 HAS SOUPS 76695 WITH SCORE 76778.906
AT ITER 2817 NEW BEST:: SOT 158138 SOS 83898 HAS SOPS 83898 HAS SOUS 76687 HAS SOUPS 76687 WITH SCORE 76770.898
AT ITER 2820 NEW BEST:: SOT 158132 SOS 83840 HAS SOPS 83840 HAS SOUS 76686 HAS SOUPS 76686 WITH SCORE 76769.84
AT ITER 2853 NEW BEST:: SOT 158132 SOS 83750 HAS SOPS 83750 HAS SOUS 76686 HAS SOUPS 76686 WITH SCORE 76769.75
AT ITER 2865 NEW BEST:: SOT 158130 SOS 83748 HAS SOPS 83748 HAS SOUS 76682 HAS SOUPS 76682 WITH SCORE 76765.748
AT ITER 2869 NEW BEST:: SOT 158107 SOS 83224 HAS SOPS 83224 HAS SOUS 76619 HAS SOUPS 76619 WITH SCORE 76702.224
AT ITER 2888 NEW BEST:: SOT 158079 SOS 83196 HAS SOPS 83196 HAS SOUS 76591 HAS SOUPS 76591 WITH SCORE 76674.196
AT ITER 2896 NEW BEST:: SOT 158079 SOS 83192 HAS SOPS 83192 HAS SOUS 76587 HAS SOUPS 76587 WITH SCORE 76670.192
AT ITER 2905 NEW BEST:: SOT 158053 SOS 83237 HAS SOPS 83237 HAS SOUS 76581 HAS SOUPS 76581 WITH SCORE 76664.237
AT ITER 2908 NEW BEST:: SOT 158050 SOS 83234 HAS SOPS 83234 HAS SOUS 76578 HAS SOUPS 76578 WITH SCORE 76661.234
AT ITER 2914 NEW BEST:: SOT 158028 SOS 83198 HAS SOPS 83198 HAS SOUS 76539 HAS SOUPS 76539 WITH SCORE 76622.198
AT ITER 2921 NEW BEST:: SOT 158020 SOS 83190 HAS SOPS 83190 HAS SOUS 76531 HAS SOUPS 76531 WITH SCORE 76614.19
AT ITER 2936 NEW BEST:: SOT 158020 SOS 83123 HAS SOPS 83123 HAS SOUS 76525 HAS SOUPS 76525 WITH SCORE 76608.123
AT ITER 2937 NEW BEST:: SOT 158020 SOS 83085 HAS SOPS 83085 HAS SOUS 76525 HAS SOUPS 76525 WITH SCORE 76608.085
AT ITER 2945 NEW BEST:: SOT 157946 SOS 82998 HAS SOPS 82998 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76531.998
AT ITER 2952 NEW BEST:: SOT 157947 SOS 82958 HAS SOPS 82958 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76531.958
AT ITER 2967 NEW BEST:: SOT 157583 SOS 84089 HAS SOPS 84089 HAS SOUS 76429 HAS SOUPS 76429 WITH SCORE 76513.089
AT ITER 2970 NEW BEST:: SOT 157281 SOS 83846 HAS SOPS 83846 HAS SOUS 76334 HAS SOUPS 76334 WITH SCORE 76417.846
AT ITER 2977 NEW BEST:: SOT 157281 SOS 83783 HAS SOPS 83783 HAS SOUS 76325 HAS SOUPS 76325 WITH SCORE 76408.783
AT ITER 2982 NEW BEST:: SOT 157258 SOS 84404 HAS SOPS 84404 HAS SOUS 76316 HAS SOUPS 76316 WITH SCORE 76400.404
AT ITER 2983 NEW BEST:: SOT 157258 SOS 84386 HAS SOPS 84386 HAS SOUS 76298 HAS SOUPS 76298 WITH SCORE 76382.386
AT ITER 2985 NEW BEST:: SOT 157258 SOS 84358 HAS SOPS 84358 HAS SOUS 76273 HAS SOUPS 76273 WITH SCORE 76357.358
AT ITER 2999 NEW BEST:: SOT 157117 SOS 84217 HAS SOPS 84217 HAS SOUS 76131 HAS SOUPS 76131 WITH SCORE 76215.217
AT ITER 3001 NEW BEST:: SOT 157117 SOS 84206 HAS SOPS 84206 HAS SOUS 76131 HAS SOUPS 76131 WITH SCORE 76215.206
AT ITER 3014 NEW BEST:: SOT 157080 SOS 84133 HAS SOPS 84133 HAS SOUS 76114 HAS SOUPS 76114 WITH SCORE 76198.133
AT ITER 3022 NEW BEST:: SOT 157080 SOS 84114 HAS SOPS 84114 HAS SOUS 76114 HAS SOUPS 76114 WITH SCORE 76198.114
AT ITER 3031 NEW BEST:: SOT 157018 SOS 84045 HAS SOPS 84045 HAS SOUS 76079 HAS SOUPS 76079 WITH SCORE 76163.045
AT ITER 3033 NEW BEST:: SOT 157014 SOS 84043 HAS SOPS 84043 HAS SOUS 76067 HAS SOUPS 76067 WITH SCORE 76151.043
AT ITER 3034 NEW BEST:: SOT 156871 SOS 84009 HAS SOPS 84009 HAS SOUS 76010 HAS SOUPS 76010 WITH SCORE 76094.009
AT ITER 3044 NEW BEST:: SOT 156871 SOS 84008 HAS SOPS 84008 HAS SOUS 76010 HAS SOUPS 76010 WITH SCORE 76094.008
AT ITER 3051 NEW BEST:: SOT 156871 SOS 83993 HAS SOPS 83993 HAS SOUS 76010 HAS SOUPS 76010 WITH SCORE 76093.993
AT ITER 3056 NEW BEST:: SOT 156871 SOS 83976 HAS SOPS 83976 HAS SOUS 75987 HAS SOUPS 75987 WITH SCORE 76070.976
AT ITER 3078 NEW BEST:: SOT 156871 SOS 83867 HAS SOPS 83867 HAS SOUS 75984 HAS SOUPS 75984 WITH SCORE 76067.867
AT ITER 3087 NEW BEST:: SOT 156871 SOS 83850 HAS SOPS 83850 HAS SOUS 75975 HAS SOUPS 75975 WITH SCORE 76058.85
AT ITER 3092 NEW BEST:: SOT 156871 SOS 83832 HAS SOPS 83832 HAS SOUS 75957 HAS SOUPS 75957 WITH SCORE 76040.832
AT ITER 3093 NEW BEST:: SOT 156848 SOS 85718 HAS SOPS 85718 HAS SOUS 75954 HAS SOUPS 75954 WITH SCORE 76039.718
AT ITER 3097 NEW BEST:: SOT 156845 SOS 85709 HAS SOPS 85709 HAS SOUS 75951 HAS SOUPS 75951 WITH SCORE 76036.709
AT ITER 3103 NEW BEST:: SOT 156845 SOS 85651 HAS SOPS 85651 HAS SOUS 75951 HAS SOUPS 75951 WITH SCORE 76036.651
AT ITER 3113 NEW BEST:: SOT 156845 SOS 86082 HAS SOPS 86082 HAS SOUS 75929 HAS SOUPS 75929 WITH SCORE 76015.082
AT ITER 3127 NEW BEST:: SOT 156760 SOS 85927 HAS SOPS 85927 HAS SOUS 75787 HAS SOUPS 75787 WITH SCORE 75872.927
AT ITER 3132 NEW BEST:: SOT 156760 SOS 85895 HAS SOPS 85895 HAS SOUS 75787 HAS SOUPS 75787 WITH SCORE 75872.895
AT ITER 3133 NEW BEST:: SOT 156767 SOS 85864 HAS SOPS 85864 HAS SOUS 75767 HAS SOUPS 75767 WITH SCORE 75852.864
AT ITER 3138 NEW BEST:: SOT 156724 SOS 85798 HAS SOPS 85798 HAS SOUS 75687 HAS SOUPS 75687 WITH SCORE 75772.798
AT ITER 3141 NEW BEST:: SOT 156773 SOS 84442 HAS SOPS 84442 HAS SOUS 75566 HAS SOUPS 75566 WITH SCORE 75650.442
AT ITER 3143 NEW BEST:: SOT 156773 SOS 84398 HAS SOPS 84398 HAS SOUS 75566 HAS SOUPS 75566 WITH SCORE 75650.398
AT ITER 3167 NEW BEST:: SOT 156773 SOS 84313 HAS SOPS 84313 HAS SOUS 75566 HAS SOUPS 75566 WITH SCORE 75650.313
AT ITER 3172 NEW BEST:: SOT 156773 SOS 84293 HAS SOPS 84293 HAS SOUS 75546 HAS SOUPS 75546 WITH SCORE 75630.293
AT ITER 3174 NEW BEST:: SOT 156778 SOS 84316 HAS SOPS 84316 HAS SOUS 75541 HAS SOUPS 75541 WITH SCORE 75625.316
AT ITER 3176 NEW BEST:: SOT 156778 SOS 84315 HAS SOPS 84315 HAS SOUS 75441 HAS SOUPS 75441 WITH SCORE 75525.315
AT ITER 3183 NEW BEST:: SOT 156773 SOS 84295 HAS SOPS 84295 HAS SOUS 75426 HAS SOUPS 75426 WITH SCORE 75510.295
AT ITER 3201 NEW BEST:: SOT 156787 SOS 82502 HAS SOPS 82502 HAS SOUS 75420 HAS SOUPS 75420 WITH SCORE 75502.502
AT ITER 3211 NEW BEST:: SOT 156787 SOS 82437 HAS SOPS 82437 HAS SOUS 75420 HAS SOUPS 75420 WITH SCORE 75502.437
AT ITER 3216 NEW BEST:: SOT 156773 SOS 82454 HAS SOPS 82454 HAS SOUS 75417 HAS SOUPS 75417 WITH SCORE 75499.454
AT ITER 3219 NEW BEST:: SOT 156792 SOS 82407 HAS SOPS 82407 HAS SOUS 75413 HAS SOUPS 75413 WITH SCORE 75495.407
AT ITER 3230 NEW BEST:: SOT 156769 SOS 82463 HAS SOPS 82463 HAS SOUS 75396 HAS SOUPS 75396 WITH SCORE 75478.463
AT ITER 3238 NEW BEST:: SOT 156769 SOS 82454 HAS SOPS 82454 HAS SOUS 75396 HAS SOUPS 75396 WITH SCORE 75478.454
AT ITER 3268 NEW BEST:: SOT 156646 SOS 82331 HAS SOPS 82331 HAS SOUS 75273 HAS SOUPS 75273 WITH SCORE 75355.331
AT ITER 3276 NEW BEST:: SOT 156629 SOS 82328 HAS SOPS 82328 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75331.328
AT ITER 3277 NEW BEST:: SOT 156629 SOS 82316 HAS SOPS 82316 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75331.316
AT ITER 3279 NEW BEST:: SOT 156629 SOS 82265 HAS SOPS 82265 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75331.265
AT ITER 3282 NEW BEST:: SOT 156629 SOS 82259 HAS SOPS 82259 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75331.259
AT ITER 3289 NEW BEST:: SOT 156632 SOS 82263 HAS SOPS 82263 HAS SOUS 75245 HAS SOUPS 75245 WITH SCORE 75327.263
AT ITER 3292 NEW BEST:: SOT 156652 SOS 82231 HAS SOPS 82231 HAS SOUS 75203 HAS SOUPS 75203 WITH SCORE 75285.231
AT ITER 3311 NEW BEST:: SOT 156652 SOS 82227 HAS SOPS 82227 HAS SOUS 75202 HAS SOUPS 75202 WITH SCORE 75284.227
AT ITER 3326 NEW BEST:: SOT 156659 SOS 82246 HAS SOPS 82246 HAS SOUS 75180 HAS SOUPS 75180 WITH SCORE 75262.246
AT ITER 3330 NEW BEST:: SOT 156551 SOS 82148 HAS SOPS 82148 HAS SOUS 75159 HAS SOUPS 75159 WITH SCORE 75241.148
AT ITER 3339 NEW BEST:: SOT 156520 SOS 82095 HAS SOPS 82095 HAS SOUS 75109 HAS SOUPS 75109 WITH SCORE 75191.095
AT ITER 3341 NEW BEST:: SOT 156520 SOS 82087 HAS SOPS 82087 HAS SOUS 75103 HAS SOUPS 75103 WITH SCORE 75185.087
AT ITER 3346 NEW BEST:: SOT 156489 SOS 82056 HAS SOPS 82056 HAS SOUS 75068 HAS SOUPS 75068 WITH SCORE 75150.056
AT ITER 3354 NEW BEST:: SOT 156486 SOS 82053 HAS SOPS 82053 HAS SOUS 75065 HAS SOUPS 75065 WITH SCORE 75147.053
AT ITER 3359 NEW BEST:: SOT 156486 SOS 81954 HAS SOPS 81954 HAS SOUS 75065 HAS SOUPS 75065 WITH SCORE 75146.954
AT ITER 3365 NEW BEST:: SOT 156237 SOS 81744 HAS SOPS 81744 HAS SOUS 74986 HAS SOUPS 74986 WITH SCORE 75067.744
AT ITER 3373 NEW BEST:: SOT 156237 SOS 81680 HAS SOPS 81680 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75003.68
AT ITER 3375 NEW BEST:: SOT 156237 SOS 81659 HAS SOPS 81659 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75003.659
AT ITER 3383 NEW BEST:: SOT 156095 SOS 81642 HAS SOPS 81642 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75003.642
AT ITER 3386 NEW BEST:: SOT 156095 SOS 81636 HAS SOPS 81636 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75003.636
AT ITER 3394 NEW BEST:: SOT 155851 SOS 81399 HAS SOPS 81399 HAS SOUS 74776 HAS SOUPS 74776 WITH SCORE 74857.399
AT ITER 3412 NEW BEST:: SOT 155851 SOS 81297 HAS SOPS 81297 HAS SOUS 74776 HAS SOUPS 74776 WITH SCORE 74857.297
AT ITER 3422 NEW BEST:: SOT 155851 SOS 81296 HAS SOPS 81296 HAS SOUS 74776 HAS SOUPS 74776 WITH SCORE 74857.296
AT ITER 3425 NEW BEST:: SOT 155828 SOS 81273 HAS SOPS 81273 HAS SOUS 74753 HAS SOUPS 74753 WITH SCORE 74834.273
AT ITER 3439 NEW BEST:: SOT 155529 SOS 81485 HAS SOPS 81485 HAS SOUS 74682 HAS SOUPS 74682 WITH SCORE 74763.485
AT ITER 3446 NEW BEST:: SOT 155529 SOS 81595 HAS SOPS 81595 HAS SOUS 74663 HAS SOUPS 74663 WITH SCORE 74744.595
AT ITER 3452 NEW BEST:: SOT 155257 SOS 81323 HAS SOPS 81323 HAS SOUS 74391 HAS SOUPS 74391 WITH SCORE 74472.323
AT ITER 3465 NEW BEST:: SOT 155224 SOS 81290 HAS SOPS 81290 HAS SOUS 74358 HAS SOUPS 74358 WITH SCORE 74439.29
AT ITER 3468 NEW BEST:: SOT 155224 SOS 81240 HAS SOPS 81240 HAS SOUS 74358 HAS SOUPS 74358 WITH SCORE 74439.24
AT ITER 3479 NEW BEST:: SOT 155224 SOS 81240 HAS SOPS 81240 HAS SOUS 74351 HAS SOUPS 74351 WITH SCORE 74432.24
AT ITER 3489 NEW BEST:: SOT 155224 SOS 81217 HAS SOPS 81217 HAS SOUS 74337 HAS SOUPS 74337 WITH SCORE 74418.217
AT ITER 3504 NEW BEST:: SOT 155224 SOS 81229 HAS SOPS 81229 HAS SOUS 74273 HAS SOUPS 74273 WITH SCORE 74354.229
AT ITER 3513 NEW BEST:: SOT 155224 SOS 81189 HAS SOPS 81189 HAS SOUS 74273 HAS SOUPS 74273 WITH SCORE 74354.189
AT ITER 3530 NEW BEST:: SOT 155224 SOS 81128 HAS SOPS 81128 HAS SOUS 74248 HAS SOUPS 74248 WITH SCORE 74329.128
AT ITER 3536 NEW BEST:: SOT 155276 SOS 81202 HAS SOPS 81202 HAS SOUS 74114 HAS SOUPS 74114 WITH SCORE 74195.202
AT ITER 3546 NEW BEST:: SOT 155276 SOS 81174 HAS SOPS 81174 HAS SOUS 74027 HAS SOUPS 74027 WITH SCORE 74108.174
AT ITER 3549 NEW BEST:: SOT 155276 SOS 81108 HAS SOPS 81108 HAS SOUS 74027 HAS SOUPS 74027 WITH SCORE 74108.108
AT ITER 3555 NEW BEST:: SOT 155262 SOS 81075 HAS SOPS 81075 HAS SOUS 74026 HAS SOUPS 74026 WITH SCORE 74107.075
AT ITER 3563 NEW BEST:: SOT 155259 SOS 81066 HAS SOPS 81066 HAS SOUS 74020 HAS SOUPS 74020 WITH SCORE 74101.066
AT ITER 3574 NEW BEST:: SOT 155259 SOS 81031 HAS SOPS 81031 HAS SOUS 73992 HAS SOUPS 73992 WITH SCORE 74073.031
AT ITER 3608 NEW BEST:: SOT 155246 SOS 81029 HAS SOPS 81029 HAS SOUS 73991 HAS SOUPS 73991 WITH SCORE 74072.029
AT ITER 3634 NEW BEST:: SOT 155246 SOS 81022 HAS SOPS 81022 HAS SOUS 73991 HAS SOUPS 73991 WITH SCORE 74072.022
AT ITER 3668 NEW BEST:: SOT 155241 SOS 81006 HAS SOPS 81006 HAS SOUS 73974 HAS SOUPS 73974 WITH SCORE 74055.006
AT ITER 3674 NEW BEST:: SOT 155241 SOS 81006 HAS SOPS 81006 HAS SOUS 73964 HAS SOUPS 73964 WITH SCORE 74045.006
AT ITER 3703 NEW BEST:: SOT 155241 SOS 81006 HAS SOPS 81006 HAS SOUS 73946 HAS SOUPS 73946 WITH SCORE 74027.006
AT ITER 3737 NEW BEST:: SOT 155210 SOS 80945 HAS SOPS 80945 HAS SOUS 73882 HAS SOUPS 73882 WITH SCORE 73962.945
AT ITER 3742 NEW BEST:: SOT 155210 SOS 80903 HAS SOPS 80903 HAS SOUS 73882 HAS SOUPS 73882 WITH SCORE 73962.903
AT ITER 3751 NEW BEST:: SOT 155172 SOS 81405 HAS SOPS 81405 HAS SOUS 73844 HAS SOUPS 73844 WITH SCORE 73925.405
AT ITER 3776 NEW BEST:: SOT 154971 SOS 81223 HAS SOPS 81223 HAS SOUS 73661 HAS SOUPS 73661 WITH SCORE 73742.223
AT ITER 3783 NEW BEST:: SOT 154971 SOS 81216 HAS SOPS 81216 HAS SOUS 73641 HAS SOUPS 73641 WITH SCORE 73722.216
AT ITER 3786 NEW BEST:: SOT 154951 SOS 81159 HAS SOPS 81159 HAS SOUS 73617 HAS SOUPS 73617 WITH SCORE 73698.159
AT ITER 3795 NEW BEST:: SOT 154951 SOS 80834 HAS SOPS 80834 HAS SOUS 73617 HAS SOUPS 73617 WITH SCORE 73697.834
AT ITER 3803 NEW BEST:: SOT 154949 SOS 80832 HAS SOPS 80832 HAS SOUS 73604 HAS SOUPS 73604 WITH SCORE 73684.832
AT ITER 3828 NEW BEST:: SOT 154949 SOS 80792 HAS SOPS 80792 HAS SOUS 73604 HAS SOUPS 73604 WITH SCORE 73684.792
AT ITER 3832 NEW BEST:: SOT 154948 SOS 80791 HAS SOPS 80791 HAS SOUS 73603 HAS SOUPS 73603 WITH SCORE 73683.791
AT ITER 3844 NEW BEST:: SOT 154948 SOS 80821 HAS SOPS 80821 HAS SOUS 73590 HAS SOUPS 73590 WITH SCORE 73670.821
AT ITER 3865 NEW BEST:: SOT 154948 SOS 80861 HAS SOPS 80861 HAS SOUS 73570 HAS SOUPS 73570 WITH SCORE 73650.861
AT ITER 3871 NEW BEST:: SOT 154927 SOS 80840 HAS SOPS 80840 HAS SOUS 73549 HAS SOUPS 73549 WITH SCORE 73629.84
AT ITER 3874 NEW BEST:: SOT 154920 SOS 80810 HAS SOPS 80810 HAS SOUS 73547 HAS SOUPS 73547 WITH SCORE 73627.81
AT ITER 3875 NEW BEST:: SOT 154920 SOS 80750 HAS SOPS 80750 HAS SOUS 73503 HAS SOUPS 73503 WITH SCORE 73583.75
AT ITER 3884 NEW BEST:: SOT 154920 SOS 80726 HAS SOPS 80726 HAS SOUS 73500 HAS SOUPS 73500 WITH SCORE 73580.726
AT ITER 3893 NEW BEST:: SOT 154920 SOS 80713 HAS SOPS 80713 HAS SOUS 73487 HAS SOUPS 73487 WITH SCORE 73567.713
AT ITER 3897 NEW BEST:: SOT 154908 SOS 80701 HAS SOPS 80701 HAS SOUS 73487 HAS SOUPS 73487 WITH SCORE 73567.701
AT ITER 3914 NEW BEST:: SOT 154894 SOS 80687 HAS SOPS 80687 HAS SOUS 73473 HAS SOUPS 73473 WITH SCORE 73553.687
AT ITER 3930 NEW BEST:: SOT 154584 SOS 81209 HAS SOPS 81209 HAS SOUS 73377 HAS SOUPS 73377 WITH SCORE 73458.209
AT ITER 3938 NEW BEST:: SOT 154569 SOS 81194 HAS SOPS 81194 HAS SOUS 73362 HAS SOUPS 73362 WITH SCORE 73443.194
AT ITER 3941 NEW BEST:: SOT 154568 SOS 81193 HAS SOPS 81193 HAS SOUS 73361 HAS SOUPS 73361 WITH SCORE 73442.193
AT ITER 3943 NEW BEST:: SOT 154566 SOS 81191 HAS SOPS 81191 HAS SOUS 73359 HAS SOUPS 73359 WITH SCORE 73440.191
AT ITER 3954 NEW BEST:: SOT 154555 SOS 81141 HAS SOPS 81141 HAS SOUS 73323 HAS SOUPS 73323 WITH SCORE 73404.141
AT ITER 3962 NEW BEST:: SOT 154555 SOS 81062 HAS SOPS 81062 HAS SOUS 73323 HAS SOUPS 73323 WITH SCORE 73404.062
AT ITER 3963 NEW BEST:: SOT 154555 SOS 81054 HAS SOPS 81054 HAS SOUS 73315 HAS SOUPS 73315 WITH SCORE 73396.054
AT ITER 3965 NEW BEST:: SOT 154555 SOS 81010 HAS SOPS 81010 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73390.01
AT ITER 3990 NEW BEST:: SOT 154555 SOS 81001 HAS SOPS 81001 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73390.001
AT ITER 4008 NEW BEST:: SOT 154555 SOS 81000 HAS SOPS 81000 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73390.0
AT ITER 4009 NEW BEST:: SOT 154539 SOS 80984 HAS SOPS 80984 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73373.984
AT ITER 4011 NEW BEST:: SOT 154539 SOS 80952 HAS SOPS 80952 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73373.952
AT ITER 4033 NEW BEST:: SOT 154569 SOS 80897 HAS SOPS 80897 HAS SOUS 73289 HAS SOUPS 73289 WITH SCORE 73369.897
AT ITER 4043 NEW BEST:: SOT 154569 SOS 80889 HAS SOPS 80889 HAS SOUS 73289 HAS SOUPS 73289 WITH SCORE 73369.889
AT ITER 4055 NEW BEST:: SOT 154560 SOS 80839 HAS SOPS 80839 HAS SOUS 73259 HAS SOUPS 73259 WITH SCORE 73339.839
AT ITER 4063 NEW BEST:: SOT 154513 SOS 81950 HAS SOPS 81950 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73142.95
AT ITER 4064 NEW BEST:: SOT 154513 SOS 81947 HAS SOPS 81947 HAS SOUS 73051 HAS SOUPS 73051 WITH SCORE 73132.947
AT ITER 4067 NEW BEST:: SOT 154513 SOS 81387 HAS SOPS 81387 HAS SOUS 73051 HAS SOUPS 73051 WITH SCORE 73132.387
AT ITER 4071 NEW BEST:: SOT 154513 SOS 81306 HAS SOPS 81306 HAS SOUS 73051 HAS SOUPS 73051 WITH SCORE 73132.306
AT ITER 4083 NEW BEST:: SOT 154516 SOS 81365 HAS SOPS 81365 HAS SOUS 72996 HAS SOUPS 72996 WITH SCORE 73077.365
AT ITER 4108 NEW BEST:: SOT 154457 SOS 81613 HAS SOPS 81613 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73066.613
AT ITER 4111 NEW BEST:: SOT 154457 SOS 81541 HAS SOPS 81541 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73066.541
AT ITER 4150 NEW BEST:: SOT 154503 SOS 81272 HAS SOPS 81272 HAS SOUS 72976 HAS SOUPS 72976 WITH SCORE 73057.272
AT ITER 4156 NEW BEST:: SOT 154503 SOS 81432 HAS SOPS 81432 HAS SOUS 72965 HAS SOUPS 72965 WITH SCORE 73046.432
AT ITER 4195 NEW BEST:: SOT 154501 SOS 81474 HAS SOPS 81474 HAS SOUS 72961 HAS SOUPS 72961 WITH SCORE 73042.474
AT ITER 4196 NEW BEST:: SOT 154501 SOS 81472 HAS SOPS 81472 HAS SOUS 72959 HAS SOUPS 72959 WITH SCORE 73040.472
AT ITER 4201 NEW BEST:: SOT 154501 SOS 81423 HAS SOPS 81423 HAS SOUS 72959 HAS SOUPS 72959 WITH SCORE 73040.423
AT ITER 4203 NEW BEST:: SOT 154501 SOS 81369 HAS SOPS 81369 HAS SOUS 72949 HAS SOUPS 72949 WITH SCORE 73030.369
AT ITER 4213 NEW BEST:: SOT 154501 SOS 81316 HAS SOPS 81316 HAS SOUS 72949 HAS SOUPS 72949 WITH SCORE 73030.316
AT ITER 4220 NEW BEST:: SOT 154501 SOS 81259 HAS SOPS 81259 HAS SOUS 72881 HAS SOUPS 72881 WITH SCORE 72962.259
AT ITER 4241 NEW BEST:: SOT 154427 SOS 81162 HAS SOPS 81162 HAS SOUS 72811 HAS SOUPS 72811 WITH SCORE 72892.162
AT ITER 4252 NEW BEST:: SOT 154427 SOS 81191 HAS SOPS 81191 HAS SOUS 72792 HAS SOUPS 72792 WITH SCORE 72873.191
AT ITER 4259 NEW BEST:: SOT 154163 SOS 81174 HAS SOPS 81174 HAS SOUS 72668 HAS SOUPS 72668 WITH SCORE 72749.174
AT ITER 4272 NEW BEST:: SOT 154163 SOS 81129 HAS SOPS 81129 HAS SOUS 72668 HAS SOUPS 72668 WITH SCORE 72749.129
AT ITER 4278 NEW BEST:: SOT 154163 SOS 80928 HAS SOPS 80928 HAS SOUS 72668 HAS SOUPS 72668 WITH SCORE 72748.928
AT ITER 4291 NEW BEST:: SOT 154134 SOS 80915 HAS SOPS 80915 HAS SOUS 72661 HAS SOUPS 72661 WITH SCORE 72741.915
AT ITER 4322 NEW BEST:: SOT 154134 SOS 80909 HAS SOPS 80909 HAS SOUS 72661 HAS SOUPS 72661 WITH SCORE 72741.909
AT ITER 4332 NEW BEST:: SOT 154125 SOS 80900 HAS SOPS 80900 HAS SOUS 72652 HAS SOUPS 72652 WITH SCORE 72732.9
AT ITER 4334 NEW BEST:: SOT 154125 SOS 80896 HAS SOPS 80896 HAS SOUS 72648 HAS SOUPS 72648 WITH SCORE 72728.896
AT ITER 4340 NEW BEST:: SOT 154125 SOS 80892 HAS SOPS 80892 HAS SOUS 72644 HAS SOUPS 72644 WITH SCORE 72724.892
AT ITER 4344 NEW BEST:: SOT 154125 SOS 80879 HAS SOPS 80879 HAS SOUS 72644 HAS SOUPS 72644 WITH SCORE 72724.879
AT ITER 4358 NEW BEST:: SOT 154106 SOS 80866 HAS SOPS 80866 HAS SOUS 72634 HAS SOUPS 72634 WITH SCORE 72714.866
AT ITER 4366 NEW BEST:: SOT 154106 SOS 80858 HAS SOPS 80858 HAS SOUS 72634 HAS SOUPS 72634 WITH SCORE 72714.858
AT ITER 4387 NEW BEST:: SOT 154106 SOS 80841 HAS SOPS 80841 HAS SOUS 72634 HAS SOUPS 72634 WITH SCORE 72714.841
AT ITER 4396 NEW BEST:: SOT 154102 SOS 80691 HAS SOPS 80691 HAS SOUS 72629 HAS SOUPS 72629 WITH SCORE 72709.691
AT ITER 4397 NEW BEST:: SOT 154102 SOS 80559 HAS SOPS 80559 HAS SOUS 72629 HAS SOUPS 72629 WITH SCORE 72709.559
AT ITER 4406 NEW BEST:: SOT 154102 SOS 80565 HAS SOPS 80565 HAS SOUS 72628 HAS SOUPS 72628 WITH SCORE 72708.565
AT ITER 4407 NEW BEST:: SOT 154102 SOS 80760 HAS SOPS 80760 HAS SOUS 72626 HAS SOUPS 72626 WITH SCORE 72706.76
AT ITER 4422 NEW BEST:: SOT 154102 SOS 80951 HAS SOPS 80951 HAS SOUS 72624 HAS SOUPS 72624 WITH SCORE 72704.951
AT ITER 4440 NEW BEST:: SOT 154102 SOS 80913 HAS SOPS 80913 HAS SOUS 72578 HAS SOUPS 72578 WITH SCORE 72658.913
AT ITER 4445 NEW BEST:: SOT 154102 SOS 80802 HAS SOPS 80802 HAS SOUS 72530 HAS SOUPS 72530 WITH SCORE 72610.802
AT ITER 4451 NEW BEST:: SOT 154102 SOS 80784 HAS SOPS 80784 HAS SOUS 72515 HAS SOUPS 72515 WITH SCORE 72595.784
AT ITER 4456 NEW BEST:: SOT 154102 SOS 80724 HAS SOPS 80724 HAS SOUS 72515 HAS SOUPS 72515 WITH SCORE 72595.724
AT ITER 4458 NEW BEST:: SOT 154102 SOS 80685 HAS SOPS 80685 HAS SOUS 72515 HAS SOUPS 72515 WITH SCORE 72595.685
AT ITER 4468 NEW BEST:: SOT 154102 SOS 80708 HAS SOPS 80708 HAS SOUS 72506 HAS SOUPS 72506 WITH SCORE 72586.708
AT ITER 4492 NEW BEST:: SOT 154106 SOS 80762 HAS SOPS 80762 HAS SOUS 72493 HAS SOUPS 72493 WITH SCORE 72573.762
AT ITER 4496 NEW BEST:: SOT 154067 SOS 80727 HAS SOPS 80727 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72562.727
AT ITER 4499 NEW BEST:: SOT 154067 SOS 80727 HAS SOPS 80727 HAS SOUS 72475 HAS SOUPS 72475 WITH SCORE 72555.727
AT ITER 4505 NEW BEST:: SOT 154067 SOS 80715 HAS SOPS 80715 HAS SOUS 72473 HAS SOUPS 72473 WITH SCORE 72553.715
AT ITER 4510 NEW BEST:: SOT 154067 SOS 80709 HAS SOPS 80709 HAS SOUS 72467 HAS SOUPS 72467 WITH SCORE 72547.709
AT ITER 4522 NEW BEST:: SOT 154067 SOS 80644 HAS SOPS 80644 HAS SOUS 72467 HAS SOUPS 72467 WITH SCORE 72547.644
AT ITER 4533 NEW BEST:: SOT 154074 SOS 80605 HAS SOPS 80605 HAS SOUS 72467 HAS SOUPS 72467 WITH SCORE 72547.605
AT ITER 4537 NEW BEST:: SOT 154074 SOS 80585 HAS SOPS 80585 HAS SOUS 72467 HAS SOUPS 72467 WITH SCORE 72547.585
AT ITER 4540 NEW BEST:: SOT 154009 SOS 80675 HAS SOPS 80675 HAS SOUS 72371 HAS SOUPS 72371 WITH SCORE 72451.675
AT ITER 4562 NEW BEST:: SOT 153857 SOS 80518 HAS SOPS 80518 HAS SOUS 72255 HAS SOUPS 72255 WITH SCORE 72335.518
AT ITER 4575 NEW BEST:: SOT 153857 SOS 80473 HAS SOPS 80473 HAS SOUS 72255 HAS SOUPS 72255 WITH SCORE 72335.473
AT ITER 4608 NEW BEST:: SOT 153857 SOS 80535 HAS SOPS 80535 HAS SOUS 72206 HAS SOUPS 72206 WITH SCORE 72286.535
AT ITER 4609 NEW BEST:: SOT 153829 SOS 80516 HAS SOPS 80516 HAS SOUS 72192 HAS SOUPS 72192 WITH SCORE 72272.516
AT ITER 4617 NEW BEST:: SOT 153829 SOS 80492 HAS SOPS 80492 HAS SOUS 72192 HAS SOUPS 72192 WITH SCORE 72272.492
AT ITER 4621 NEW BEST:: SOT 153829 SOS 80477 HAS SOPS 80477 HAS SOUS 72177 HAS SOUPS 72177 WITH SCORE 72257.477
AT ITER 4624 NEW BEST:: SOT 153817 SOS 80465 HAS SOPS 80465 HAS SOUS 72167 HAS SOUPS 72167 WITH SCORE 72247.465
AT ITER 4642 NEW BEST:: SOT 153809 SOS 80418 HAS SOPS 80418 HAS SOUS 72161 HAS SOUPS 72161 WITH SCORE 72241.418
AT ITER 4646 NEW BEST:: SOT 153774 SOS 81556 HAS SOPS 81556 HAS SOUS 72142 HAS SOUPS 72142 WITH SCORE 72223.556
AT ITER 4655 NEW BEST:: SOT 153774 SOS 81532 HAS SOPS 81532 HAS SOUS 72142 HAS SOUPS 72142 WITH SCORE 72223.532
AT ITER 4657 NEW BEST:: SOT 153451 SOS 81993 HAS SOPS 81993 HAS SOUS 72065 HAS SOUPS 72065 WITH SCORE 72146.993
AT ITER 4661 NEW BEST:: SOT 153451 SOS 81974 HAS SOPS 81974 HAS SOUS 72065 HAS SOUPS 72065 WITH SCORE 72146.974
AT ITER 4689 NEW BEST:: SOT 153443 SOS 81927 HAS SOPS 81927 HAS SOUS 72041 HAS SOUPS 72041 WITH SCORE 72122.927
AT ITER 4698 NEW BEST:: SOT 153441 SOS 82089 HAS SOPS 82089 HAS SOUS 72039 HAS SOUPS 72039 WITH SCORE 72121.089
AT ITER 4701 NEW BEST:: SOT 153441 SOS 82050 HAS SOPS 82050 HAS SOUS 72039 HAS SOUPS 72039 WITH SCORE 72121.05
AT ITER 4716 NEW BEST:: SOT 153441 SOS 81977 HAS SOPS 81977 HAS SOUS 72039 HAS SOUPS 72039 WITH SCORE 72120.977
AT ITER 4724 NEW BEST:: SOT 153441 SOS 81966 HAS SOPS 81966 HAS SOUS 72039 HAS SOUPS 72039 WITH SCORE 72120.966
AT ITER 4728 NEW BEST:: SOT 153252 SOS 81777 HAS SOPS 81777 HAS SOUS 71883 HAS SOUPS 71883 WITH SCORE 71964.777
AT ITER 4737 NEW BEST:: SOT 153283 SOS 81761 HAS SOPS 81761 HAS SOUS 71878 HAS SOUPS 71878 WITH SCORE 71959.761
AT ITER 4746 NEW BEST:: SOT 153237 SOS 81616 HAS SOPS 81616 HAS SOUS 71809 HAS SOUPS 71809 WITH SCORE 71890.616
AT ITER 4749 NEW BEST:: SOT 153033 SOS 82354 HAS SOPS 82354 HAS SOUS 71745 HAS SOUPS 71745 WITH SCORE 71827.354
AT ITER 4753 NEW BEST:: SOT 153033 SOS 81525 HAS SOPS 81525 HAS SOUS 71736 HAS SOUPS 71736 WITH SCORE 71817.525
AT ITER 4762 NEW BEST:: SOT 152982 SOS 81474 HAS SOPS 81474 HAS SOUS 71685 HAS SOUPS 71685 WITH SCORE 71766.474
AT ITER 4763 NEW BEST:: SOT 152982 SOS 81465 HAS SOPS 81465 HAS SOUS 71685 HAS SOUPS 71685 WITH SCORE 71766.465
AT ITER 4764 NEW BEST:: SOT 152982 SOS 81503 HAS SOPS 81503 HAS SOUS 71675 HAS SOUPS 71675 WITH SCORE 71756.503
AT ITER 4766 NEW BEST:: SOT 152971 SOS 81442 HAS SOPS 81442 HAS SOUS 71614 HAS SOUPS 71614 WITH SCORE 71695.442
AT ITER 4772 NEW BEST:: SOT 152971 SOS 81442 HAS SOPS 81442 HAS SOUS 71590 HAS SOUPS 71590 WITH SCORE 71671.442
AT ITER 4793 NEW BEST:: SOT 152971 SOS 81310 HAS SOPS 81310 HAS SOUS 71578 HAS SOUPS 71578 WITH SCORE 71659.31
AT ITER 4798 NEW BEST:: SOT 152933 SOS 81272 HAS SOPS 81272 HAS SOUS 71536 HAS SOUPS 71536 WITH SCORE 71617.272
AT ITER 4811 NEW BEST:: SOT 152941 SOS 81214 HAS SOPS 81214 HAS SOUS 71519 HAS SOUPS 71519 WITH SCORE 71600.214
AT ITER 4829 NEW BEST:: SOT 152941 SOS 81147 HAS SOPS 81147 HAS SOUS 71454 HAS SOUPS 71454 WITH SCORE 71535.147
AT ITER 4835 NEW BEST:: SOT 152941 SOS 81110 HAS SOPS 81110 HAS SOUS 71423 HAS SOUPS 71423 WITH SCORE 71504.11
AT ITER 4843 NEW BEST:: SOT 152932 SOS 81091 HAS SOPS 81091 HAS SOUS 71396 HAS SOUPS 71396 WITH SCORE 71477.091
AT ITER 4851 NEW BEST:: SOT 152872 SOS 80910 HAS SOPS 80910 HAS SOUS 71340 HAS SOUPS 71340 WITH SCORE 71420.91
AT ITER 4854 NEW BEST:: SOT 152884 SOS 80883 HAS SOPS 80883 HAS SOUS 71263 HAS SOUPS 71263 WITH SCORE 71343.883
AT ITER 4860 NEW BEST:: SOT 152884 SOS 80851 HAS SOPS 80851 HAS SOUS 71263 HAS SOUPS 71263 WITH SCORE 71343.851
AT ITER 4876 NEW BEST:: SOT 152884 SOS 80813 HAS SOPS 80813 HAS SOUS 71263 HAS SOUPS 71263 WITH SCORE 71343.813
AT ITER 4887 NEW BEST:: SOT 152884 SOS 80807 HAS SOPS 80807 HAS SOUS 71263 HAS SOUPS 71263 WITH SCORE 71343.807
AT ITER 4889 NEW BEST:: SOT 152884 SOS 80757 HAS SOPS 80757 HAS SOUS 71263 HAS SOUPS 71263 WITH SCORE 71343.757
AT ITER 4890 NEW BEST:: SOT 152853 SOS 80726 HAS SOPS 80726 HAS SOUS 71217 HAS SOUPS 71217 WITH SCORE 71297.726
AT ITER 4898 NEW BEST:: SOT 152849 SOS 80807 HAS SOPS 80807 HAS SOUS 71210 HAS SOUPS 71210 WITH SCORE 71290.807
AT ITER 4945 NEW BEST:: SOT 152806 SOS 80961 HAS SOPS 80961 HAS SOUS 71167 HAS SOUPS 71167 WITH SCORE 71247.961
AT ITER 4947 NEW BEST:: SOT 152453 SOS 82068 HAS SOPS 82068 HAS SOUS 71102 HAS SOUPS 71102 WITH SCORE 71184.068
AT ITER 4952 NEW BEST:: SOT 152453 SOS 82056 HAS SOPS 82056 HAS SOUS 71102 HAS SOUPS 71102 WITH SCORE 71184.056
AT ITER 4953 NEW BEST:: SOT 152453 SOS 82027 HAS SOPS 82027 HAS SOUS 71102 HAS SOUPS 71102 WITH SCORE 71184.027
AT ITER 4955 NEW BEST:: SOT 152424 SOS 81998 HAS SOPS 81998 HAS SOUS 71073 HAS SOUPS 71073 WITH SCORE 71154.998
AT ITER 4971 NEW BEST:: SOT 152417 SOS 81898 HAS SOPS 81898 HAS SOUS 71066 HAS SOUPS 71066 WITH SCORE 71147.898
AT ITER 4974 NEW BEST:: SOT 152227 SOS 82198 HAS SOPS 82198 HAS SOUS 70915 HAS SOUPS 70915 WITH SCORE 70997.198
AT ITER 4975 NEW BEST:: SOT 152249 SOS 82150 HAS SOPS 82150 HAS SOUS 70898 HAS SOUPS 70898 WITH SCORE 70980.15
AT ITER 4980 NEW BEST:: SOT 152249 SOS 82150 HAS SOPS 82150 HAS SOUS 70894 HAS SOUPS 70894 WITH SCORE 70976.15
AT ITER 4993 NEW BEST:: SOT 152249 SOS 81986 HAS SOPS 81986 HAS SOUS 70857 HAS SOUPS 70857 WITH SCORE 70938.986
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-20-CTLFireability-00 ( (! (EG( ( ( ((potential((tk(P433)>=1) & (tk(P453)>=1) & (tk(P499)>=1) & (tk(P406)>=1)))) & ((potential((tk(P433)>=1) & (tk(P451)>=1) & (tk(P497)>=1) & (tk(P404)>=1)))) ) & ((potential((tk(P425)>=1) & (tk(P457)>=1) & (tk(P487)>=1) & (tk(P402)>=1)))) )))) | (! ((potential((tk(P422)>=1) & (tk(P468)>=1) & (tk(P492)>=1) & (tk(P410)>=1))))) )
PROPERTY: NQueens-PT-20-CTLFireability-01 (EF( ( (! (EF( ((potential((tk(P425)>=1) & (tk(P457)>=1) & (tk(P487)>=1) & (tk(P402)>=1))))))) & (AX( (! ((potential((tk(P426)>=1) & (tk(P468)>=1) & (tk(P500)>=1) & (tk(P414)>=1))))))) )))
PROPERTY: NQueens-PT-20-CTLFireability-02 (AU( (! (AG( ((potential((tk(P431)>=1) & (tk(P452)>=1) & (tk(P494)>=1) & (tk(P403)>=1))))))) , (! (EF( ((potential((tk(P438)>=1) & (tk(P462)>=1) & (tk(P518)>=1) & (tk(P420)>=1))))))) ))
PROPERTY: NQueens-PT-20-CTLFireability-03 (EU( (EX( ( ((potential((tk(P421)>=1) & (tk(P474)>=1) & (tk(P496)>=1) & (tk(P415)>=1)))) | ((potential((tk(P437)>=1) & (tk(P444)>=1) & (tk(P498)>=1) & (tk(P401)>=1)))) ))) , (EG( ( ((potential((tk(P440)>=1) & (tk(P459)>=1) & (tk(P519)>=1) & (tk(P419)>=1)))) & ((potential((tk(P434)>=1) & (tk(P456)>=1) & (tk(P504)>=1) & (tk(P410)>=1)))) ))) ))
PROPERTY: NQueens-PT-20-CTLFireability-04 (EG( ( ((potential((tk(P422)>=1) & (tk(P460)>=1) & (tk(P484)>=1) & (tk(P402)>=1)))) | ((potential((tk(P432)>=1) & (tk(P454)>=1) & (tk(P498)>=1) & (tk(P406)>=1)))) )))
PROPERTY: NQueens-PT-20-CTLFireability-05 (EX( (AX( ((potential((tk(P437)>=1) & (tk(P463)>=1) & (tk(P517)>=1) & (tk(P420)>=1))))))))
PROPERTY: NQueens-PT-20-CTLFireability-06 (AX( ( (EX( ( ((potential((tk(P425)>=1) & (tk(P459)>=1) & (tk(P489)>=1) & (tk(P404)>=1)))) | ((potential((tk(P427)>=1) & (tk(P469)>=1) & (tk(P503)>=1) & (tk(P416)>=1)))) ))) | (! (! ( ((potential((tk(P437)>=1) & (tk(P459)>=1) & (tk(P513)>=1) & (tk(P416)>=1)))) | ((potential((tk(P425)>=1) & (tk(P474)>=1) & (tk(P504)>=1) & (tk(P419)>=1)))) ))) )))
PROPERTY: NQueens-PT-20-CTLFireability-07 (EG( (AU( ( ((potential((tk(P438)>=1) & (tk(P444)>=1) & (tk(P500)>=1) & (tk(P402)>=1)))) & ((potential((tk(P437)>=1) & (tk(P444)>=1) & (tk(P498)>=1) & (tk(P401)>=1)))) ) , ( ((potential((tk(P421)>=1) & (tk(P472)>=1) & (tk(P494)>=1) & (tk(P413)>=1)))) & ((potential((tk(P440)>=1) & (tk(P450)>=1) & (tk(P510)>=1) & (tk(P410)>=1)))) ) ))))
PROPERTY: NQueens-PT-20-CTLFireability-08 ( (! ((potential((tk(P425)>=1) & (tk(P458)>=1) & (tk(P488)>=1) & (tk(P403)>=1))))) | ( ((potential((tk(P422)>=1) & (tk(P463)>=1) & (tk(P487)>=1) & (tk(P405)>=1)))) & (EG( ((potential((tk(P425)>=1) & (tk(P457)>=1) & (tk(P487)>=1) & (tk(P402)>=1)))))) ) )
PROPERTY: NQueens-PT-20-CTLFireability-09 ( (AG( (EF( ( ((potential((tk(P435)>=1) & (tk(P457)>=1) & (tk(P507)>=1) & (tk(P412)>=1)))) & ((potential((tk(P436)>=1) & (tk(P456)>=1) & (tk(P508)>=1) & (tk(P412)>=1)))) ))))) & (EF( ( (EF( ((potential((tk(P421)>=1) & (tk(P471)>=1) & (tk(P493)>=1) & (tk(P412)>=1)))))) & ( ( ((potential((tk(P429)>=1) & (tk(P453)>=1) & (tk(P491)>=1) & (tk(P402)>=1)))) & ((potential((tk(P440)>=1) & (tk(P458)>=1) & (tk(P518)>=1) & (tk(P418)>=1)))) ) | (! ((potential((tk(P422)>=1) & (tk(P477)>=1) & (tk(P501)>=1) & (tk(P419)>=1))))) ) ))) )
PROPERTY: NQueens-PT-20-CTLFireability-10 ( ( (! (! (! ( ((potential((tk(P432)>=1) & (tk(P456)>=1) & (tk(P500)>=1) & (tk(P408)>=1)))) & ((potential((tk(P424)>=1) & (tk(P472)>=1) & (tk(P500)>=1) & (tk(P416)>=1)))) )))) & ( (AG( ((potential((tk(P435)>=1) & (tk(P462)>=1) & (tk(P512)>=1) & (tk(P417)>=1)))))) | ((potential((tk(P433)>=1) & (tk(P464)>=1) & (tk(P510)>=1) & (tk(P417)>=1)))) ) ) | (EG( (EG( ( ((potential((tk(P421)>=1) & (tk(P460)>=1) & (tk(P482)>=1) & (tk(P401)>=1)))) & ((potential((tk(P421)>=1) & (tk(P465)>=1) & (tk(P487)>=1) & (tk(P406)>=1)))) ))))) )
PROPERTY: NQueens-PT-20-CTLFireability-11 ( (EG( (EF( (! ((potential((tk(P431)>=1) & (tk(P466)>=1) & (tk(P508)>=1) & (tk(P417)>=1))))))))) & (EX( ((potential((tk(P433)>=1) & (tk(P453)>=1) & (tk(P499)>=1) & (tk(P406)>=1)))))) )
PROPERTY: NQueens-PT-20-CTLFireability-12 (AG( (AF( (AG( ((potential((tk(P431)>=1) & (tk(P450)>=1) & (tk(P492)>=1) & (tk(P401)>=1))))))))))
PROPERTY: NQueens-PT-20-CTLFireability-13 (AG( (EF( ((potential((tk(P432)>=1) & (tk(P461)>=1) & (tk(P505)>=1) & (tk(P413)>=1))))))))
PROPERTY: NQueens-PT-20-CTLFireability-14 ( (EU( (AX( ((potential((tk(P431)>=1) & (tk(P452)>=1) & (tk(P494)>=1) & (tk(P403)>=1)))))) , ( ((potential((tk(P424)>=1) & (tk(P464)>=1) & (tk(P492)>=1) & (tk(P408)>=1)))) & (! ((potential((tk(P430)>=1) & (tk(P460)>=1) & (tk(P500)>=1) & (tk(P410)>=1))))) ) )) | (AF( ( (AG( ((potential((tk(P428)>=1) & (tk(P459)>=1) & (tk(P495)>=1) & (tk(P407)>=1)))))) & ((potential((tk(P423)>=1) & (tk(P472)>=1) & (tk(P498)>=1) & (tk(P415)>=1)))) ))) )
PROPERTY: NQueens-PT-20-CTLFireability-15 (AU( (AF( ( ((potential((tk(P429)>=1) & (tk(P469)>=1) & (tk(P507)>=1) & (tk(P418)>=1)))) & ((potential((tk(P432)>=1) & (tk(P451)>=1) & (tk(P495)>=1) & (tk(P403)>=1)))) ))) , ( (AG( ((potential((tk(P433)>=1) & (tk(P455)>=1) & (tk(P501)>=1) & (tk(P408)>=1)))))) | (! ((potential((tk(P437)>=1) & (tk(P444)>=1) & (tk(P498)>=1) & (tk(P401)>=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="NQueens-PT-20"
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 NQueens-PT-20, 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 r108-csrt-158961250100156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NQueens-PT-20.tgz
mv NQueens-PT-20 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;