fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508600484
Last Updated
Jun 28, 2020

About the Execution of smart for AutoFlight-PT-24a

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600484.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-24a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600484
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 4.0K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 169K 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 AutoFlight-PT-24a-CTLFireability-00
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-01
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-02
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-03
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-04
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-05
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-06
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-07
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-08
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-09
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-10
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-11
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-12
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-13
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-14
FORMULA_NAME AutoFlight-PT-24a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589174594001

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24a
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: 607 places, 605 transitions, 1940 arcs.
AT ITER 0 NEW BEST:: SOT 279551 SOS 182054 HAS SOPS 182054 HAS SOUS 126611 HAS SOUPS 126611 WITH SCORE 126793.054
AT ITER 1 NEW BEST:: SOT 279551 SOS 181679 HAS SOPS 181679 HAS SOUS 126488 HAS SOUPS 126488 WITH SCORE 126669.679
AT ITER 2 NEW BEST:: SOT 277642 SOS 179370 HAS SOPS 179370 HAS SOUS 125202 HAS SOUPS 125202 WITH SCORE 125381.37
AT ITER 6 NEW BEST:: SOT 277292 SOS 179233 HAS SOPS 178095 HAS SOUS 124694 HAS SOUPS 124360 WITH SCORE 124539.233
AT ITER 8 NEW BEST:: SOT 277292 SOS 178698 HAS SOPS 177560 HAS SOUS 124523 HAS SOUPS 124189 WITH SCORE 124367.698
AT ITER 9 NEW BEST:: SOT 277125 SOS 178586 HAS SOPS 177393 HAS SOUS 124396 HAS SOUPS 124022 WITH SCORE 124200.586
AT ITER 10 NEW BEST:: SOT 276996 SOS 178457 HAS SOPS 177264 HAS SOUS 124295 HAS SOUPS 123921 WITH SCORE 124099.457
AT ITER 11 NEW BEST:: SOT 275925 SOS 176503 HAS SOPS 175310 HAS SOUS 123143 HAS SOUPS 122769 WITH SCORE 122945.503
AT ITER 14 NEW BEST:: SOT 275366 SOS 175943 HAS SOPS 174750 HAS SOUS 122799 HAS SOUPS 122425 WITH SCORE 122600.943
AT ITER 15 NEW BEST:: SOT 275329 SOS 175906 HAS SOPS 174713 HAS SOUS 122762 HAS SOUPS 122388 WITH SCORE 122563.906
AT ITER 16 NEW BEST:: SOT 273451 SOS 173184 HAS SOPS 171991 HAS SOUS 121156 HAS SOUPS 120782 WITH SCORE 120955.184
AT ITER 18 NEW BEST:: SOT 273451 SOS 173184 HAS SOPS 171991 HAS SOUS 121152 HAS SOUPS 120778 WITH SCORE 120951.184
AT ITER 21 NEW BEST:: SOT 273342 SOS 172327 HAS SOPS 171056 HAS SOUS 120558 HAS SOUPS 120106 WITH SCORE 120278.327
AT ITER 22 NEW BEST:: SOT 271645 SOS 169797 HAS SOPS 168526 HAS SOUS 119054 HAS SOUPS 118602 WITH SCORE 118771.797
AT ITER 23 NEW BEST:: SOT 271645 SOS 169196 HAS SOPS 167925 HAS SOUS 118665 HAS SOUPS 118213 WITH SCORE 118382.196
AT ITER 24 NEW BEST:: SOT 271413 SOS 168807 HAS SOPS 167536 HAS SOUS 118450 HAS SOUPS 117998 WITH SCORE 118166.807
AT ITER 26 NEW BEST:: SOT 271126 SOS 168465 HAS SOPS 167249 HAS SOUS 118353 HAS SOUPS 117941 WITH SCORE 118109.465
AT ITER 27 NEW BEST:: SOT 270634 SOS 167973 HAS SOPS 166757 HAS SOUS 118025 HAS SOUPS 117613 WITH SCORE 117780.973
AT ITER 28 NEW BEST:: SOT 270572 SOS 167910 HAS SOPS 166694 HAS SOUS 117962 HAS SOUPS 117550 WITH SCORE 117717.91
AT ITER 29 NEW BEST:: SOT 270572 SOS 167856 HAS SOPS 166640 HAS SOUS 117926 HAS SOUPS 117514 WITH SCORE 117681.856
AT ITER 32 NEW BEST:: SOT 269598 SOS 166881 HAS SOPS 165665 HAS SOUS 117335 HAS SOUPS 116923 WITH SCORE 117089.881
AT ITER 33 NEW BEST:: SOT 269279 SOS 166067 HAS SOPS 164851 HAS SOUS 116840 HAS SOUPS 116428 WITH SCORE 116594.067
AT ITER 37 NEW BEST:: SOT 268217 SOS 165457 HAS SOPS 164241 HAS SOUS 116707 HAS SOUPS 116295 WITH SCORE 116460.457
AT ITER 39 NEW BEST:: SOT 268021 SOS 165261 HAS SOPS 164045 HAS SOUS 116693 HAS SOUPS 116281 WITH SCORE 116446.261
AT ITER 40 NEW BEST:: SOT 267937 SOS 165176 HAS SOPS 163960 HAS SOUS 116608 HAS SOUPS 116196 WITH SCORE 116361.176
AT ITER 41 NEW BEST:: SOT 267634 SOS 164872 HAS SOPS 163656 HAS SOUS 116440 HAS SOUPS 116028 WITH SCORE 116192.872
AT ITER 44 NEW BEST:: SOT 267634 SOS 164606 HAS SOPS 163390 HAS SOUS 116354 HAS SOUPS 115942 WITH SCORE 116106.606
AT ITER 45 NEW BEST:: SOT 266827 SOS 163798 HAS SOPS 162582 HAS SOUS 115546 HAS SOUPS 115134 WITH SCORE 115297.798
AT ITER 47 NEW BEST:: SOT 266779 SOS 163737 HAS SOPS 162521 HAS SOUS 115517 HAS SOUPS 115105 WITH SCORE 115268.737
AT ITER 48 NEW BEST:: SOT 266011 SOS 162027 HAS SOPS 160811 HAS SOUS 114191 HAS SOUPS 113779 WITH SCORE 113941.027
AT ITER 49 NEW BEST:: SOT 266045 SOS 161374 HAS SOPS 160158 HAS SOUS 113827 HAS SOUPS 113415 WITH SCORE 113576.374
AT ITER 52 NEW BEST:: SOT 265567 SOS 161488 HAS SOPS 160271 HAS SOUS 113681 HAS SOUPS 113268 WITH SCORE 113429.488
AT ITER 54 NEW BEST:: SOT 264472 SOS 160542 HAS SOPS 159325 HAS SOUS 113480 HAS SOUPS 113067 WITH SCORE 113227.542
AT ITER 55 NEW BEST:: SOT 263579 SOS 159648 HAS SOPS 158431 HAS SOUS 112738 HAS SOUPS 112325 WITH SCORE 112484.648
AT ITER 59 NEW BEST:: SOT 263468 SOS 159537 HAS SOPS 158320 HAS SOUS 112701 HAS SOUPS 112288 WITH SCORE 112447.537
AT ITER 64 NEW BEST:: SOT 263276 SOS 159344 HAS SOPS 158127 HAS SOUS 112527 HAS SOUPS 112114 WITH SCORE 112273.344
AT ITER 67 NEW BEST:: SOT 261625 SOS 157693 HAS SOPS 156476 HAS SOUS 111488 HAS SOUPS 111075 WITH SCORE 111232.693
AT ITER 69 NEW BEST:: SOT 261625 SOS 157478 HAS SOPS 156261 HAS SOUS 111487 HAS SOUPS 111074 WITH SCORE 111231.478
AT ITER 71 NEW BEST:: SOT 261625 SOS 157256 HAS SOPS 156039 HAS SOUS 111351 HAS SOUPS 110938 WITH SCORE 111095.256
AT ITER 72 NEW BEST:: SOT 261625 SOS 157090 HAS SOPS 155873 HAS SOUS 111185 HAS SOUPS 110772 WITH SCORE 110929.09
AT ITER 77 NEW BEST:: SOT 261274 SOS 156739 HAS SOPS 155522 HAS SOUS 110981 HAS SOUPS 110568 WITH SCORE 110724.739
AT ITER 79 NEW BEST:: SOT 261126 SOS 156380 HAS SOPS 155163 HAS SOUS 110768 HAS SOUPS 110355 WITH SCORE 110511.38
AT ITER 82 NEW BEST:: SOT 261126 SOS 155908 HAS SOPS 154691 HAS SOUS 110464 HAS SOUPS 110051 WITH SCORE 110206.908
AT ITER 89 NEW BEST:: SOT 260989 SOS 155419 HAS SOPS 154126 HAS SOUS 109975 HAS SOUPS 109486 WITH SCORE 109641.419
AT ITER 96 NEW BEST:: SOT 260989 SOS 154983 HAS SOPS 153690 HAS SOUS 109703 HAS SOUPS 109214 WITH SCORE 109368.983
AT ITER 97 NEW BEST:: SOT 261082 SOS 154314 HAS SOPS 152867 HAS SOUS 109384 HAS SOUPS 108741 WITH SCORE 108895.314
AT ITER 98 NEW BEST:: SOT 259795 SOS 153027 HAS SOPS 151580 HAS SOUS 107844 HAS SOUPS 107201 WITH SCORE 107354.027
AT ITER 101 NEW BEST:: SOT 258648 SOS 152095 HAS SOPS 150648 HAS SOUS 107030 HAS SOUPS 106387 WITH SCORE 106539.095
AT ITER 103 NEW BEST:: SOT 258458 SOS 151904 HAS SOPS 150457 HAS SOUS 106946 HAS SOUPS 106303 WITH SCORE 106454.904
AT ITER 110 NEW BEST:: SOT 258458 SOS 151623 HAS SOPS 150176 HAS SOUS 106846 HAS SOUPS 106203 WITH SCORE 106354.623
AT ITER 112 NEW BEST:: SOT 258458 SOS 151647 HAS SOPS 150176 HAS SOUS 106831 HAS SOUPS 106164 WITH SCORE 106315.647
AT ITER 114 NEW BEST:: SOT 258457 SOS 151227 HAS SOPS 149756 HAS SOUS 106557 HAS SOUPS 105890 WITH SCORE 106041.227
AT ITER 121 NEW BEST:: SOT 258105 SOS 150282 HAS SOPS 148811 HAS SOUS 105964 HAS SOUPS 105297 WITH SCORE 105447.282
AT ITER 125 NEW BEST:: SOT 258401 SOS 151447 HAS SOPS 148754 HAS SOUS 106262 HAS SOUPS 105240 WITH SCORE 105391.447
AT ITER 128 NEW BEST:: SOT 258401 SOS 151447 HAS SOPS 148754 HAS SOUS 106151 HAS SOUPS 105129 WITH SCORE 105280.447
AT ITER 134 NEW BEST:: SOT 258400 SOS 151446 HAS SOPS 148753 HAS SOUS 106150 HAS SOUPS 105128 WITH SCORE 105279.446
AT ITER 138 NEW BEST:: SOT 258400 SOS 151445 HAS SOPS 148752 HAS SOUS 106149 HAS SOUPS 105127 WITH SCORE 105278.445
AT ITER 140 NEW BEST:: SOT 258400 SOS 151444 HAS SOPS 148751 HAS SOUS 106148 HAS SOUPS 105126 WITH SCORE 105277.444
AT ITER 144 NEW BEST:: SOT 258182 SOS 151273 HAS SOPS 147756 HAS SOUS 105825 HAS SOUPS 104471 WITH SCORE 104622.273
AT ITER 145 NEW BEST:: SOT 258012 SOS 150381 HAS SOPS 146817 HAS SOUS 105223 HAS SOUPS 103822 WITH SCORE 103972.381
AT ITER 151 NEW BEST:: SOT 257722 SOS 150327 HAS SOPS 145841 HAS SOUS 104847 HAS SOUPS 103166 WITH SCORE 103316.327
AT ITER 158 NEW BEST:: SOT 257548 SOS 149995 HAS SOPS 145509 HAS SOUS 104655 HAS SOUPS 102974 WITH SCORE 103123.995
AT ITER 159 NEW BEST:: SOT 257548 SOS 149850 HAS SOPS 145364 HAS SOUS 104655 HAS SOUPS 102974 WITH SCORE 103123.85
AT ITER 164 NEW BEST:: SOT 257548 SOS 149849 HAS SOPS 145363 HAS SOUS 104654 HAS SOUPS 102973 WITH SCORE 103122.849
AT ITER 165 NEW BEST:: SOT 257139 SOS 149819 HAS SOPS 145333 HAS SOUS 104624 HAS SOUPS 102943 WITH SCORE 103092.819
AT ITER 168 NEW BEST:: SOT 257139 SOS 149819 HAS SOPS 145333 HAS SOUS 104470 HAS SOUPS 102789 WITH SCORE 102938.819
AT ITER 169 NEW BEST:: SOT 257116 SOS 150706 HAS SOPS 145310 HAS SOUS 104667 HAS SOUPS 102766 WITH SCORE 102916.706
AT ITER 172 NEW BEST:: SOT 256729 SOS 150319 HAS SOPS 144923 HAS SOUS 104497 HAS SOUPS 102596 WITH SCORE 102746.319
AT ITER 174 NEW BEST:: SOT 256729 SOS 150077 HAS SOPS 144681 HAS SOUS 104496 HAS SOUPS 102595 WITH SCORE 102745.077
AT ITER 175 NEW BEST:: SOT 256462 SOS 149810 HAS SOPS 144414 HAS SOUS 104229 HAS SOUPS 102328 WITH SCORE 102477.81
AT ITER 185 NEW BEST:: SOT 256071 SOS 149356 HAS SOPS 143944 HAS SOUS 103930 HAS SOUPS 102014 WITH SCORE 102163.356
AT ITER 191 NEW BEST:: SOT 256181 SOS 148908 HAS SOPS 143496 HAS SOUS 103785 HAS SOUPS 101869 WITH SCORE 102017.908
AT ITER 192 NEW BEST:: SOT 255190 SOS 147021 HAS SOPS 141609 HAS SOUS 102634 HAS SOUPS 100718 WITH SCORE 100865.021
AT ITER 195 NEW BEST:: SOT 255020 SOS 146738 HAS SOPS 141295 HAS SOUS 102374 HAS SOUPS 100404 WITH SCORE 100550.738
AT ITER 197 NEW BEST:: SOT 255020 SOS 146668 HAS SOPS 141225 HAS SOUS 102364 HAS SOUPS 100394 WITH SCORE 100540.668
AT ITER 199 NEW BEST:: SOT 253415 SOS 144467 HAS SOPS 139024 HAS SOUS 101073 HAS SOUPS 99103 WITH SCORE 99247.467
AT ITER 204 NEW BEST:: SOT 253391 SOS 144442 HAS SOPS 138999 HAS SOUS 101048 HAS SOUPS 99078 WITH SCORE 99222.442
AT ITER 205 NEW BEST:: SOT 253391 SOS 144473 HAS SOPS 139030 HAS SOUS 101047 HAS SOUPS 99077 WITH SCORE 99221.473
AT ITER 206 NEW BEST:: SOT 253066 SOS 144148 HAS SOPS 138705 HAS SOUS 100722 HAS SOUPS 98752 WITH SCORE 98896.148
AT ITER 211 NEW BEST:: SOT 252793 SOS 143875 HAS SOPS 138432 HAS SOUS 100585 HAS SOUPS 98615 WITH SCORE 98758.875
AT ITER 214 NEW BEST:: SOT 252622 SOS 143703 HAS SOPS 138260 HAS SOUS 100413 HAS SOUPS 98443 WITH SCORE 98586.703
AT ITER 215 NEW BEST:: SOT 252648 SOS 143729 HAS SOPS 138285 HAS SOUS 100081 HAS SOUPS 98110 WITH SCORE 98253.729
AT ITER 216 NEW BEST:: SOT 252616 SOS 143697 HAS SOPS 138253 HAS SOUS 100042 HAS SOUPS 98071 WITH SCORE 98214.697
AT ITER 217 NEW BEST:: SOT 252078 SOS 143342 HAS SOPS 137898 HAS SOUS 99823 HAS SOUPS 97852 WITH SCORE 97995.342
AT ITER 218 NEW BEST:: SOT 252078 SOS 143342 HAS SOPS 137898 HAS SOUS 99779 HAS SOUPS 97808 WITH SCORE 97951.342
AT ITER 229 NEW BEST:: SOT 251921 SOS 142445 HAS SOPS 137140 HAS SOUS 99622 HAS SOUPS 97790 WITH SCORE 97932.445
AT ITER 230 NEW BEST:: SOT 251921 SOS 142257 HAS SOPS 136952 HAS SOUS 99246 HAS SOUPS 97414 WITH SCORE 97556.257
AT ITER 233 NEW BEST:: SOT 251921 SOS 142093 HAS SOPS 136952 HAS SOUS 99205 HAS SOUPS 97414 WITH SCORE 97556.093
AT ITER 234 NEW BEST:: SOT 251823 SOS 142083 HAS SOPS 136854 HAS SOUS 99195 HAS SOUPS 97316 WITH SCORE 97458.083
AT ITER 242 NEW BEST:: SOT 251602 SOS 142545 HAS SOPS 136633 HAS SOUS 99194 HAS SOUPS 97095 WITH SCORE 97237.545
AT ITER 246 NEW BEST:: SOT 250722 SOS 141665 HAS SOPS 135753 HAS SOUS 98653 HAS SOUPS 96554 WITH SCORE 96695.665
AT ITER 249 NEW BEST:: SOT 250428 SOS 141923 HAS SOPS 136011 HAS SOUS 98574 HAS SOUPS 96475 WITH SCORE 96616.923
AT ITER 252 NEW BEST:: SOT 248560 SOS 139178 HAS SOPS 133266 HAS SOUS 96940 HAS SOUPS 94841 WITH SCORE 94980.178
AT ITER 254 NEW BEST:: SOT 248298 SOS 139401 HAS SOPS 133003 HAS SOUS 96660 HAS SOUPS 94390 WITH SCORE 94529.401
AT ITER 255 NEW BEST:: SOT 247428 SOS 138484 HAS SOPS 132133 HAS SOUS 96437 HAS SOUPS 94214 WITH SCORE 94352.484
AT ITER 262 NEW BEST:: SOT 247323 SOS 138372 HAS SOPS 131981 HAS SOUS 96320 HAS SOUPS 94062 WITH SCORE 94200.372
AT ITER 267 NEW BEST:: SOT 247157 SOS 138206 HAS SOPS 131814 HAS SOUS 96277 HAS SOUPS 94019 WITH SCORE 94157.206
AT ITER 275 NEW BEST:: SOT 247157 SOS 138390 HAS SOPS 131398 HAS SOUS 96161 HAS SOUPS 93753 WITH SCORE 93891.39
AT ITER 276 NEW BEST:: SOT 246843 SOS 137308 HAS SOPS 130317 HAS SOUS 95875 HAS SOUPS 93468 WITH SCORE 93605.308
AT ITER 285 NEW BEST:: SOT 246254 SOS 136935 HAS SOPS 129944 HAS SOUS 95644 HAS SOUPS 93237 WITH SCORE 93373.935
AT ITER 290 NEW BEST:: SOT 246073 SOS 136573 HAS SOPS 129582 HAS SOUS 95282 HAS SOUPS 92875 WITH SCORE 93011.573
AT ITER 291 NEW BEST:: SOT 246160 SOS 135790 HAS SOPS 128628 HAS SOUS 94784 HAS SOUPS 92206 WITH SCORE 92341.79
AT ITER 293 NEW BEST:: SOT 246078 SOS 135643 HAS SOPS 128481 HAS SOUS 94637 HAS SOUPS 92059 WITH SCORE 92194.643
AT ITER 295 NEW BEST:: SOT 246078 SOS 135630 HAS SOPS 128468 HAS SOUS 94624 HAS SOUPS 92046 WITH SCORE 92181.63
AT ITER 297 NEW BEST:: SOT 245642 SOS 135193 HAS SOPS 128031 HAS SOUS 94379 HAS SOUPS 91801 WITH SCORE 91936.193
AT ITER 298 NEW BEST:: SOT 245201 SOS 134830 HAS SOPS 127668 HAS SOUS 94124 HAS SOUPS 91546 WITH SCORE 91680.83
AT ITER 304 NEW BEST:: SOT 245346 SOS 134383 HAS SOPS 127081 HAS SOUS 93951 HAS SOUPS 91233 WITH SCORE 91367.383
AT ITER 305 NEW BEST:: SOT 245111 SOS 134307 HAS SOPS 126845 HAS SOUS 93802 HAS SOUPS 90997 WITH SCORE 91131.307
AT ITER 306 NEW BEST:: SOT 244931 SOS 133250 HAS SOPS 125788 HAS SOUS 93526 HAS SOUPS 90721 WITH SCORE 90854.25
AT ITER 308 NEW BEST:: SOT 244297 SOS 132616 HAS SOPS 125154 HAS SOUS 93108 HAS SOUPS 90303 WITH SCORE 90435.616
AT ITER 311 NEW BEST:: SOT 243888 SOS 132206 HAS SOPS 124744 HAS SOUS 92838 HAS SOUPS 90033 WITH SCORE 90165.206
AT ITER 312 NEW BEST:: SOT 243856 SOS 131987 HAS SOPS 124525 HAS SOUS 92759 HAS SOUPS 89954 WITH SCORE 90085.987
AT ITER 317 NEW BEST:: SOT 243856 SOS 131825 HAS SOPS 124363 HAS SOUS 92759 HAS SOUPS 89954 WITH SCORE 90085.825
AT ITER 318 NEW BEST:: SOT 243605 SOS 131574 HAS SOPS 124112 HAS SOUS 92508 HAS SOUPS 89703 WITH SCORE 89834.574
AT ITER 320 NEW BEST:: SOT 242986 SOS 130955 HAS SOPS 123492 HAS SOUS 92152 HAS SOUPS 89347 WITH SCORE 89477.955
AT ITER 324 NEW BEST:: SOT 242986 SOS 130790 HAS SOPS 123327 HAS SOUS 92104 HAS SOUPS 89299 WITH SCORE 89429.79
AT ITER 333 NEW BEST:: SOT 242865 SOS 130669 HAS SOPS 123205 HAS SOUS 92049 HAS SOUPS 89243 WITH SCORE 89373.669
AT ITER 338 NEW BEST:: SOT 242661 SOS 130465 HAS SOPS 123001 HAS SOUS 92049 HAS SOUPS 89243 WITH SCORE 89373.465
AT ITER 353 NEW BEST:: SOT 242520 SOS 130324 HAS SOPS 122860 HAS SOUS 91991 HAS SOUPS 89185 WITH SCORE 89315.324
AT ITER 354 NEW BEST:: SOT 242520 SOS 130228 HAS SOPS 122764 HAS SOUS 91991 HAS SOUPS 89185 WITH SCORE 89315.228
AT ITER 355 NEW BEST:: SOT 242519 SOS 129614 HAS SOPS 122150 HAS SOUS 91654 HAS SOUPS 88848 WITH SCORE 88977.614
AT ITER 356 NEW BEST:: SOT 242105 SOS 128308 HAS SOPS 120844 HAS SOUS 90996 HAS SOUPS 88190 WITH SCORE 88318.308
AT ITER 359 NEW BEST:: SOT 242105 SOS 128318 HAS SOPS 120854 HAS SOUS 90994 HAS SOUPS 88188 WITH SCORE 88316.318
AT ITER 369 NEW BEST:: SOT 242055 SOS 128193 HAS SOPS 120729 HAS SOUS 90967 HAS SOUPS 88161 WITH SCORE 88289.193
AT ITER 370 NEW BEST:: SOT 241856 SOS 127994 HAS SOPS 120530 HAS SOUS 90711 HAS SOUPS 87905 WITH SCORE 88032.994
AT ITER 372 NEW BEST:: SOT 241624 SOS 127488 HAS SOPS 120024 HAS SOUS 90300 HAS SOUPS 87494 WITH SCORE 87621.488
AT ITER 373 NEW BEST:: SOT 241624 SOS 127411 HAS SOPS 119947 HAS SOUS 90300 HAS SOUPS 87494 WITH SCORE 87621.411
AT ITER 376 NEW BEST:: SOT 241646 SOS 127525 HAS SOPS 119969 HAS SOUS 90381 HAS SOUPS 87483 WITH SCORE 87610.525
AT ITER 381 NEW BEST:: SOT 241646 SOS 127433 HAS SOPS 119877 HAS SOUS 90335 HAS SOUPS 87437 WITH SCORE 87564.433
AT ITER 382 NEW BEST:: SOT 241625 SOS 127348 HAS SOPS 119792 HAS SOUS 90245 HAS SOUPS 87347 WITH SCORE 87474.348
AT ITER 389 NEW BEST:: SOT 241494 SOS 127217 HAS SOPS 119661 HAS SOUS 90140 HAS SOUPS 87242 WITH SCORE 87369.217
AT ITER 394 NEW BEST:: SOT 241494 SOS 127003 HAS SOPS 119447 HAS SOUS 90082 HAS SOUPS 87184 WITH SCORE 87311.003
AT ITER 400 NEW BEST:: SOT 240032 SOS 125699 HAS SOPS 118143 HAS SOUS 89100 HAS SOUPS 86202 WITH SCORE 86327.699
AT ITER 406 NEW BEST:: SOT 239165 SOS 125451 HAS SOPS 117756 HAS SOUS 88901 HAS SOUPS 85864 WITH SCORE 85989.451
AT ITER 410 NEW BEST:: SOT 237521 SOS 123788 HAS SOPS 116093 HAS SOUS 87904 HAS SOUPS 84867 WITH SCORE 84990.788
AT ITER 413 NEW BEST:: SOT 237527 SOS 123794 HAS SOPS 116041 HAS SOUS 87910 HAS SOUPS 84815 WITH SCORE 84938.794
AT ITER 415 NEW BEST:: SOT 237149 SOS 122767 HAS SOPS 115014 HAS SOUS 87468 HAS SOUPS 84373 WITH SCORE 84495.767
AT ITER 422 NEW BEST:: SOT 237149 SOS 122450 HAS SOPS 114837 HAS SOUS 87467 HAS SOUPS 84372 WITH SCORE 84494.45
AT ITER 424 NEW BEST:: SOT 237449 SOS 122132 HAS SOPS 114519 HAS SOUS 87312 HAS SOUPS 84217 WITH SCORE 84339.132
AT ITER 425 NEW BEST:: SOT 237096 SOS 121637 HAS SOPS 114024 HAS SOUS 87031 HAS SOUPS 83936 WITH SCORE 84057.637
AT ITER 441 NEW BEST:: SOT 237086 SOS 121627 HAS SOPS 114014 HAS SOUS 87021 HAS SOUPS 83926 WITH SCORE 84047.627
AT ITER 445 NEW BEST:: SOT 236993 SOS 121172 HAS SOPS 113559 HAS SOUS 86789 HAS SOUPS 83694 WITH SCORE 83815.172
AT ITER 446 NEW BEST:: SOT 236944 SOS 121074 HAS SOPS 113461 HAS SOUS 86642 HAS SOUPS 83547 WITH SCORE 83668.074
AT ITER 450 NEW BEST:: SOT 237000 SOS 121130 HAS SOPS 113517 HAS SOUS 86472 HAS SOUPS 83377 WITH SCORE 83498.13
AT ITER 451 NEW BEST:: SOT 236918 SOS 121047 HAS SOPS 113434 HAS SOUS 86423 HAS SOUPS 83328 WITH SCORE 83449.047
AT ITER 455 NEW BEST:: SOT 236173 SOS 120457 HAS SOPS 112844 HAS SOUS 86017 HAS SOUPS 82922 WITH SCORE 83042.457
AT ITER 459 NEW BEST:: SOT 236128 SOS 120378 HAS SOPS 112754 HAS SOUS 85938 HAS SOUPS 82832 WITH SCORE 82952.378
AT ITER 460 NEW BEST:: SOT 236152 SOS 120273 HAS SOPS 112649 HAS SOUS 85907 HAS SOUPS 82801 WITH SCORE 82921.273
AT ITER 462 NEW BEST:: SOT 236124 SOS 120454 HAS SOPS 112621 HAS SOUS 85940 HAS SOUPS 82739 WITH SCORE 82859.454
AT ITER 467 NEW BEST:: SOT 236124 SOS 120421 HAS SOPS 112588 HAS SOUS 85939 HAS SOUPS 82738 WITH SCORE 82858.421
AT ITER 468 NEW BEST:: SOT 236124 SOS 120153 HAS SOPS 112320 HAS SOUS 85777 HAS SOUPS 82576 WITH SCORE 82696.153
AT ITER 469 NEW BEST:: SOT 235423 SOS 119452 HAS SOPS 111618 HAS SOUS 85365 HAS SOUPS 82164 WITH SCORE 82283.452
AT ITER 471 NEW BEST:: SOT 235143 SOS 119171 HAS SOPS 111337 HAS SOUS 85140 HAS SOUPS 81939 WITH SCORE 82058.171
AT ITER 473 NEW BEST:: SOT 235142 SOS 118722 HAS SOPS 110888 HAS SOUS 84852 HAS SOUPS 81651 WITH SCORE 81769.722
AT ITER 474 NEW BEST:: SOT 235265 SOS 118310 HAS SOPS 110476 HAS SOUS 84725 HAS SOUPS 81524 WITH SCORE 81642.31
AT ITER 476 NEW BEST:: SOT 235302 SOS 118289 HAS SOPS 110455 HAS SOUS 84704 HAS SOUPS 81503 WITH SCORE 81621.289
AT ITER 480 NEW BEST:: SOT 235200 SOS 118208 HAS SOPS 110374 HAS SOUS 84631 HAS SOUPS 81430 WITH SCORE 81548.208
AT ITER 482 NEW BEST:: SOT 235050 SOS 118617 HAS SOPS 110012 HAS SOUS 84693 HAS SOUPS 81068 WITH SCORE 81186.617
AT ITER 486 NEW BEST:: SOT 235050 SOS 118474 HAS SOPS 109869 HAS SOUS 84550 HAS SOUPS 80925 WITH SCORE 81043.474
AT ITER 497 NEW BEST:: SOT 234609 SOS 117984 HAS SOPS 109379 HAS SOUS 84256 HAS SOUPS 80631 WITH SCORE 80748.984
AT ITER 498 NEW BEST:: SOT 233065 SOS 115910 HAS SOPS 107305 HAS SOUS 83014 HAS SOUPS 79389 WITH SCORE 79504.91
AT ITER 499 NEW BEST:: SOT 232963 SOS 115793 HAS SOPS 107135 HAS SOUS 82897 HAS SOUPS 79219 WITH SCORE 79334.793
AT ITER 507 NEW BEST:: SOT 232745 SOS 115689 HAS SOPS 107031 HAS SOUS 82793 HAS SOUPS 79115 WITH SCORE 79230.689
AT ITER 508 NEW BEST:: SOT 232745 SOS 115630 HAS SOPS 106972 HAS SOUS 82793 HAS SOUPS 79115 WITH SCORE 79230.63
AT ITER 509 NEW BEST:: SOT 232217 SOS 114739 HAS SOPS 106081 HAS SOUS 82254 HAS SOUPS 78576 WITH SCORE 78690.739
AT ITER 510 NEW BEST:: SOT 232170 SOS 114601 HAS SOPS 105901 HAS SOUS 82202 HAS SOUPS 78482 WITH SCORE 78596.601
AT ITER 513 NEW BEST:: SOT 232133 SOS 114564 HAS SOPS 105864 HAS SOUS 82165 HAS SOUPS 78445 WITH SCORE 78559.564
AT ITER 516 NEW BEST:: SOT 231780 SOS 114211 HAS SOPS 105511 HAS SOUS 81812 HAS SOUPS 78092 WITH SCORE 78206.211
AT ITER 517 NEW BEST:: SOT 231603 SOS 114034 HAS SOPS 105334 HAS SOUS 81635 HAS SOUPS 77915 WITH SCORE 78029.034
AT ITER 518 NEW BEST:: SOT 231513 SOS 114081 HAS SOPS 105243 HAS SOUS 81618 HAS SOUPS 77824 WITH SCORE 77938.081
AT ITER 519 NEW BEST:: SOT 231558 SOS 114126 HAS SOPS 105137 HAS SOUS 81663 HAS SOUPS 77718 WITH SCORE 77832.126
AT ITER 525 NEW BEST:: SOT 231557 SOS 113927 HAS SOPS 105036 HAS SOUS 81661 HAS SOUPS 77716 WITH SCORE 77829.927
AT ITER 528 NEW BEST:: SOT 231556 SOS 113672 HAS SOPS 104781 HAS SOUS 81500 HAS SOUPS 77555 WITH SCORE 77668.672
AT ITER 530 NEW BEST:: SOT 231555 SOS 113671 HAS SOPS 104780 HAS SOUS 81499 HAS SOUPS 77554 WITH SCORE 77667.671
AT ITER 533 NEW BEST:: SOT 231505 SOS 113599 HAS SOPS 104696 HAS SOUS 81427 HAS SOUPS 77470 WITH SCORE 77583.599
AT ITER 534 NEW BEST:: SOT 231314 SOS 113372 HAS SOPS 104314 HAS SOUS 81345 HAS SOUPS 77307 WITH SCORE 77420.372
AT ITER 537 NEW BEST:: SOT 231413 SOS 113337 HAS SOPS 104279 HAS SOUS 81312 HAS SOUPS 77274 WITH SCORE 77387.337
AT ITER 540 NEW BEST:: SOT 231406 SOS 113043 HAS SOPS 103985 HAS SOUS 81210 HAS SOUPS 77172 WITH SCORE 77285.043
AT ITER 542 NEW BEST:: SOT 231406 SOS 112641 HAS SOPS 103583 HAS SOUS 81068 HAS SOUPS 77030 WITH SCORE 77142.641
AT ITER 550 NEW BEST:: SOT 231319 SOS 112554 HAS SOPS 103496 HAS SOUS 81067 HAS SOUPS 77029 WITH SCORE 77141.554
AT ITER 551 NEW BEST:: SOT 231318 SOS 112206 HAS SOPS 103148 HAS SOUS 80975 HAS SOUPS 76937 WITH SCORE 77049.206
AT ITER 552 NEW BEST:: SOT 231318 SOS 112804 HAS SOPS 103746 HAS SOUS 80893 HAS SOUPS 76855 WITH SCORE 76967.804
AT ITER 559 NEW BEST:: SOT 231095 SOS 112581 HAS SOPS 103523 HAS SOUS 80532 HAS SOUPS 76494 WITH SCORE 76606.581
AT ITER 560 NEW BEST:: SOT 231095 SOS 112329 HAS SOPS 103271 HAS SOUS 80280 HAS SOUPS 76242 WITH SCORE 76354.329
AT ITER 561 NEW BEST:: SOT 231095 SOS 112328 HAS SOPS 103270 HAS SOUS 80279 HAS SOUPS 76241 WITH SCORE 76353.328
AT ITER 563 NEW BEST:: SOT 231008 SOS 112241 HAS SOPS 103182 HAS SOUS 80277 HAS SOUPS 76239 WITH SCORE 76351.241
AT ITER 565 NEW BEST:: SOT 230625 SOS 111319 HAS SOPS 102260 HAS SOUS 79723 HAS SOUPS 75685 WITH SCORE 75796.319
AT ITER 573 NEW BEST:: SOT 230625 SOS 111197 HAS SOPS 102138 HAS SOUS 79723 HAS SOUPS 75685 WITH SCORE 75796.197
AT ITER 583 NEW BEST:: SOT 230625 SOS 111197 HAS SOPS 102138 HAS SOUS 79557 HAS SOUPS 75519 WITH SCORE 75630.197
AT ITER 586 NEW BEST:: SOT 230480 SOS 111052 HAS SOPS 101993 HAS SOUS 79412 HAS SOUPS 75374 WITH SCORE 75485.052
AT ITER 589 NEW BEST:: SOT 230272 SOS 110844 HAS SOPS 101785 HAS SOUS 79178 HAS SOUPS 75140 WITH SCORE 75250.844
AT ITER 599 NEW BEST:: SOT 230112 SOS 110673 HAS SOPS 101614 HAS SOUS 79007 HAS SOUPS 74969 WITH SCORE 75079.673
AT ITER 603 NEW BEST:: SOT 229621 SOS 110182 HAS SOPS 101123 HAS SOUS 78736 HAS SOUPS 74698 WITH SCORE 74808.182
AT ITER 604 NEW BEST:: SOT 228460 SOS 109446 HAS SOPS 100387 HAS SOUS 78517 HAS SOUPS 74479 WITH SCORE 74588.446
AT ITER 605 NEW BEST:: SOT 228517 SOS 109705 HAS SOPS 100535 HAS SOUS 78599 HAS SOUPS 74468 WITH SCORE 74577.705
AT ITER 608 NEW BEST:: SOT 228406 SOS 110167 HAS SOPS 100997 HAS SOUS 78525 HAS SOUPS 74394 WITH SCORE 74504.167
AT ITER 613 NEW BEST:: SOT 228403 SOS 110270 HAS SOPS 100884 HAS SOUS 78522 HAS SOUPS 74336 WITH SCORE 74446.27
AT ITER 614 NEW BEST:: SOT 228403 SOS 109943 HAS SOPS 100557 HAS SOUS 78395 HAS SOUPS 74209 WITH SCORE 74318.943
AT ITER 618 NEW BEST:: SOT 227868 SOS 109408 HAS SOPS 100022 HAS SOUS 78110 HAS SOUPS 73924 WITH SCORE 74033.408
AT ITER 623 NEW BEST:: SOT 227764 SOS 109304 HAS SOPS 99918 HAS SOUS 78006 HAS SOUPS 73820 WITH SCORE 73929.304
AT ITER 630 NEW BEST:: SOT 226922 SOS 107759 HAS SOPS 98373 HAS SOUS 77117 HAS SOUPS 72931 WITH SCORE 73038.759
AT ITER 635 NEW BEST:: SOT 227000 SOS 107710 HAS SOPS 98324 HAS SOUS 77075 HAS SOUPS 72889 WITH SCORE 72996.71
AT ITER 636 NEW BEST:: SOT 227263 SOS 107813 HAS SOPS 98350 HAS SOUS 77047 HAS SOUPS 72784 WITH SCORE 72891.813
AT ITER 638 NEW BEST:: SOT 227165 SOS 107679 HAS SOPS 98216 HAS SOUS 76913 HAS SOUPS 72650 WITH SCORE 72757.679
AT ITER 639 NEW BEST:: SOT 226804 SOS 107318 HAS SOPS 97854 HAS SOUS 76669 HAS SOUPS 72405 WITH SCORE 72512.318
AT ITER 641 NEW BEST:: SOT 226001 SOS 106683 HAS SOPS 97219 HAS SOUS 76104 HAS SOUPS 71840 WITH SCORE 71946.683
AT ITER 642 NEW BEST:: SOT 226001 SOS 106567 HAS SOPS 97103 HAS SOUS 76056 HAS SOUPS 71792 WITH SCORE 71898.567
AT ITER 643 NEW BEST:: SOT 225963 SOS 106529 HAS SOPS 97018 HAS SOUS 76018 HAS SOUPS 71707 WITH SCORE 71813.529
AT ITER 645 NEW BEST:: SOT 225869 SOS 106267 HAS SOPS 96756 HAS SOUS 75863 HAS SOUPS 71552 WITH SCORE 71658.267
AT ITER 646 NEW BEST:: SOT 225783 SOS 105569 HAS SOPS 96670 HAS SOUS 75573 HAS SOUPS 71466 WITH SCORE 71571.569
AT ITER 650 NEW BEST:: SOT 225771 SOS 105287 HAS SOPS 96388 HAS SOUS 75460 HAS SOUPS 71353 WITH SCORE 71458.287
AT ITER 653 NEW BEST:: SOT 225896 SOS 105351 HAS SOPS 96452 HAS SOUS 75399 HAS SOUPS 71292 WITH SCORE 71397.351
AT ITER 655 NEW BEST:: SOT 225863 SOS 105182 HAS SOPS 96219 HAS SOUS 75166 HAS SOUPS 71059 WITH SCORE 71164.182
AT ITER 673 NEW BEST:: SOT 225750 SOS 105140 HAS SOPS 96177 HAS SOUS 75124 HAS SOUPS 71017 WITH SCORE 71122.14
AT ITER 683 NEW BEST:: SOT 225603 SOS 104854 HAS SOPS 95798 HAS SOUS 75027 HAS SOUPS 70827 WITH SCORE 70931.854
AT ITER 686 NEW BEST:: SOT 225455 SOS 104706 HAS SOPS 95650 HAS SOUS 74953 HAS SOUPS 70753 WITH SCORE 70857.706
AT ITER 692 NEW BEST:: SOT 224738 SOS 103914 HAS SOPS 94858 HAS SOUS 74500 HAS SOUPS 70300 WITH SCORE 70403.914
AT ITER 696 NEW BEST:: SOT 224622 SOS 103798 HAS SOPS 94742 HAS SOUS 74384 HAS SOUPS 70184 WITH SCORE 70287.798
AT ITER 708 NEW BEST:: SOT 224598 SOS 103786 HAS SOPS 94718 HAS SOUS 74372 HAS SOUPS 70160 WITH SCORE 70263.786
AT ITER 713 NEW BEST:: SOT 224598 SOS 103763 HAS SOPS 94695 HAS SOUS 74372 HAS SOUPS 70160 WITH SCORE 70263.763
AT ITER 722 NEW BEST:: SOT 224516 SOS 103680 HAS SOPS 94646 HAS SOUS 74289 HAS SOUPS 70111 WITH SCORE 70214.68
AT ITER 731 NEW BEST:: SOT 224490 SOS 103576 HAS SOPS 94542 HAS SOUS 74211 HAS SOUPS 70033 WITH SCORE 70136.576
AT ITER 734 NEW BEST:: SOT 224446 SOS 103532 HAS SOPS 94577 HAS SOUS 74147 HAS SOUPS 70023 WITH SCORE 70126.532
AT ITER 735 NEW BEST:: SOT 224384 SOS 103308 HAS SOPS 94353 HAS SOUS 74004 HAS SOUPS 69880 WITH SCORE 69983.308
AT ITER 737 NEW BEST:: SOT 224376 SOS 103300 HAS SOPS 94345 HAS SOUS 73988 HAS SOUPS 69864 WITH SCORE 69967.3
AT ITER 745 NEW BEST:: SOT 224359 SOS 103283 HAS SOPS 94328 HAS SOUS 73971 HAS SOUPS 69847 WITH SCORE 69950.283
AT ITER 747 NEW BEST:: SOT 224370 SOS 103268 HAS SOPS 94313 HAS SOUS 73956 HAS SOUPS 69832 WITH SCORE 69935.268
AT ITER 749 NEW BEST:: SOT 224369 SOS 103190 HAS SOPS 94312 HAS SOUS 73878 HAS SOUPS 69831 WITH SCORE 69934.19
AT ITER 750 NEW BEST:: SOT 224343 SOS 103138 HAS SOPS 94260 HAS SOUS 73839 HAS SOUPS 69792 WITH SCORE 69895.138
AT ITER 756 NEW BEST:: SOT 224291 SOS 103085 HAS SOPS 94207 HAS SOUS 73838 HAS SOUPS 69791 WITH SCORE 69894.085
AT ITER 762 NEW BEST:: SOT 223917 SOS 102686 HAS SOPS 93808 HAS SOUS 73620 HAS SOUPS 69573 WITH SCORE 69675.686
AT ITER 769 NEW BEST:: SOT 223616 SOS 101671 HAS SOPS 92857 HAS SOUS 73034 HAS SOUPS 68987 WITH SCORE 69088.671
AT ITER 771 NEW BEST:: SOT 223616 SOS 101671 HAS SOPS 92747 HAS SOUS 72924 HAS SOUPS 68767 WITH SCORE 68868.671
AT ITER 774 NEW BEST:: SOT 223510 SOS 101565 HAS SOPS 92607 HAS SOUS 72950 HAS SOUPS 68759 WITH SCORE 68860.565
AT ITER 781 NEW BEST:: SOT 222988 SOS 100931 HAS SOPS 91973 HAS SOUS 72490 HAS SOUPS 68299 WITH SCORE 68399.931
AT ITER 783 NEW BEST:: SOT 222988 SOS 100931 HAS SOPS 91973 HAS SOUS 72342 HAS SOUPS 68151 WITH SCORE 68251.931
AT ITER 792 NEW BEST:: SOT 222300 SOS 100192 HAS SOPS 91233 HAS SOUS 71946 HAS SOUPS 67755 WITH SCORE 67855.192
AT ITER 802 NEW BEST:: SOT 222479 SOS 100357 HAS SOPS 91358 HAS SOUS 71973 HAS SOUPS 67742 WITH SCORE 67842.357
AT ITER 806 NEW BEST:: SOT 222468 SOS 100346 HAS SOPS 91347 HAS SOUS 71962 HAS SOUPS 67731 WITH SCORE 67831.346
AT ITER 810 NEW BEST:: SOT 221522 SOS 99744 HAS SOPS 90834 HAS SOUS 71534 HAS SOUPS 67392 WITH SCORE 67491.744
AT ITER 812 NEW BEST:: SOT 221464 SOS 99686 HAS SOPS 90776 HAS SOUS 71418 HAS SOUPS 67276 WITH SCORE 67375.686
AT ITER 813 NEW BEST:: SOT 221410 SOS 99657 HAS SOPS 90722 HAS SOUS 71419 HAS SOUPS 67222 WITH SCORE 67321.657
AT ITER 814 NEW BEST:: SOT 221408 SOS 99651 HAS SOPS 90716 HAS SOUS 71415 HAS SOUPS 67218 WITH SCORE 67317.651
AT ITER 818 NEW BEST:: SOT 221276 SOS 99431 HAS SOPS 90496 HAS SOUS 71283 HAS SOUPS 67086 WITH SCORE 67185.431
AT ITER 823 NEW BEST:: SOT 220913 SOS 98914 HAS SOPS 90484 HAS SOUS 70766 HAS SOUPS 67074 WITH SCORE 67172.914
AT ITER 835 NEW BEST:: SOT 220711 SOS 98770 HAS SOPS 90275 HAS SOUS 70646 HAS SOUPS 66937 WITH SCORE 67035.77
AT ITER 838 NEW BEST:: SOT 220670 SOS 98791 HAS SOPS 90296 HAS SOUS 70625 HAS SOUPS 66916 WITH SCORE 67014.791
AT ITER 839 NEW BEST:: SOT 220661 SOS 98791 HAS SOPS 90278 HAS SOUS 70616 HAS SOUPS 66889 WITH SCORE 66987.791
AT ITER 840 NEW BEST:: SOT 220543 SOS 98673 HAS SOPS 90160 HAS SOUS 70537 HAS SOUPS 66810 WITH SCORE 66908.673
AT ITER 841 NEW BEST:: SOT 220403 SOS 98113 HAS SOPS 89600 HAS SOUS 70406 HAS SOUPS 66679 WITH SCORE 66777.113
AT ITER 847 NEW BEST:: SOT 220403 SOS 98112 HAS SOPS 89600 HAS SOUS 70406 HAS SOUPS 66679 WITH SCORE 66777.112
AT ITER 850 NEW BEST:: SOT 220361 SOS 98007 HAS SOPS 89495 HAS SOUS 70343 HAS SOUPS 66616 WITH SCORE 66714.007
AT ITER 856 NEW BEST:: SOT 220163 SOS 97808 HAS SOPS 89296 HAS SOUS 70336 HAS SOUPS 66609 WITH SCORE 66706.808
AT ITER 858 NEW BEST:: SOT 220163 SOS 97445 HAS SOPS 88933 HAS SOUS 70336 HAS SOUPS 66609 WITH SCORE 66706.445
AT ITER 861 NEW BEST:: SOT 220163 SOS 97304 HAS SOPS 88792 HAS SOUS 70195 HAS SOUPS 66468 WITH SCORE 66565.304
AT ITER 863 NEW BEST:: SOT 219903 SOS 97039 HAS SOPS 88527 HAS SOUS 70008 HAS SOUPS 66281 WITH SCORE 66378.039
AT ITER 867 NEW BEST:: SOT 219855 SOS 96991 HAS SOPS 88563 HAS SOUS 69912 HAS SOUPS 66185 WITH SCORE 66281.991
AT ITER 870 NEW BEST:: SOT 219890 SOS 96988 HAS SOPS 88560 HAS SOUS 69907 HAS SOUPS 66180 WITH SCORE 66276.988
AT ITER 873 NEW BEST:: SOT 219868 SOS 96608 HAS SOPS 88180 HAS SOUS 69627 HAS SOUPS 65900 WITH SCORE 65996.608
AT ITER 874 NEW BEST:: SOT 219782 SOS 96479 HAS SOPS 88094 HAS SOUS 69560 HAS SOUPS 65876 WITH SCORE 65972.479
AT ITER 876 NEW BEST:: SOT 219691 SOS 96388 HAS SOPS 88003 HAS SOUS 69469 HAS SOUPS 65785 WITH SCORE 65881.388
AT ITER 880 NEW BEST:: SOT 219595 SOS 96301 HAS SOPS 87916 HAS SOUS 69374 HAS SOUPS 65690 WITH SCORE 65786.301
AT ITER 882 NEW BEST:: SOT 219595 SOS 96284 HAS SOPS 87899 HAS SOUS 69373 HAS SOUPS 65689 WITH SCORE 65785.284
AT ITER 889 NEW BEST:: SOT 219589 SOS 96278 HAS SOPS 87893 HAS SOUS 69367 HAS SOUPS 65683 WITH SCORE 65779.278
AT ITER 896 NEW BEST:: SOT 219472 SOS 96083 HAS SOPS 87698 HAS SOUS 69250 HAS SOUPS 65566 WITH SCORE 65662.083
AT ITER 897 NEW BEST:: SOT 219471 SOS 96082 HAS SOPS 87696 HAS SOUS 69248 HAS SOUPS 65564 WITH SCORE 65660.082
AT ITER 899 NEW BEST:: SOT 219344 SOS 96135 HAS SOPS 87646 HAS SOUS 69224 HAS SOUPS 65437 WITH SCORE 65533.135
AT ITER 902 NEW BEST:: SOT 219356 SOS 96132 HAS SOPS 87643 HAS SOUS 69221 HAS SOUPS 65434 WITH SCORE 65530.132
AT ITER 905 NEW BEST:: SOT 219356 SOS 96132 HAS SOPS 87643 HAS SOUS 69205 HAS SOUPS 65418 WITH SCORE 65514.132
AT ITER 921 NEW BEST:: SOT 219336 SOS 96112 HAS SOPS 87623 HAS SOUS 69185 HAS SOUPS 65398 WITH SCORE 65494.112
AT ITER 935 NEW BEST:: SOT 219291 SOS 96033 HAS SOPS 87544 HAS SOUS 69106 HAS SOUPS 65319 WITH SCORE 65415.033
AT ITER 936 NEW BEST:: SOT 218947 SOS 95689 HAS SOPS 87200 HAS SOUS 68977 HAS SOUPS 65190 WITH SCORE 65285.689
AT ITER 942 NEW BEST:: SOT 218944 SOS 95385 HAS SOPS 86896 HAS SOUS 68968 HAS SOUPS 65181 WITH SCORE 65276.385
AT ITER 944 NEW BEST:: SOT 218904 SOS 95058 HAS SOPS 86569 HAS SOUS 68733 HAS SOUPS 64946 WITH SCORE 65041.058
AT ITER 950 NEW BEST:: SOT 218904 SOS 94881 HAS SOPS 86392 HAS SOUS 68703 HAS SOUPS 64916 WITH SCORE 65010.881
AT ITER 976 NEW BEST:: SOT 218784 SOS 94641 HAS SOPS 86152 HAS SOUS 68543 HAS SOUPS 64756 WITH SCORE 64850.641
AT ITER 979 NEW BEST:: SOT 218777 SOS 94634 HAS SOPS 86145 HAS SOUS 68536 HAS SOUPS 64749 WITH SCORE 64843.634
AT ITER 983 NEW BEST:: SOT 218769 SOS 94626 HAS SOPS 86120 HAS SOUS 68528 HAS SOUPS 64724 WITH SCORE 64818.626
AT ITER 986 NEW BEST:: SOT 218790 SOS 94647 HAS SOPS 86059 HAS SOUS 68467 HAS SOUPS 64663 WITH SCORE 64757.647
AT ITER 992 NEW BEST:: SOT 218283 SOS 94037 HAS SOPS 85449 HAS SOUS 68041 HAS SOUPS 64237 WITH SCORE 64331.037
AT ITER 994 NEW BEST:: SOT 218274 SOS 94028 HAS SOPS 85431 HAS SOUS 67875 HAS SOUPS 64071 WITH SCORE 64165.028
AT ITER 995 NEW BEST:: SOT 218317 SOS 94071 HAS SOPS 85474 HAS SOUS 67850 HAS SOUPS 64046 WITH SCORE 64140.071
AT ITER 999 NEW BEST:: SOT 218291 SOS 94045 HAS SOPS 85422 HAS SOUS 67824 HAS SOUPS 63994 WITH SCORE 64088.045
AT ITER 1000 NEW BEST:: SOT 218180 SOS 93688 HAS SOPS 85065 HAS SOUS 67590 HAS SOUPS 63760 WITH SCORE 63853.688
AT ITER 1001 NEW BEST:: SOT 218173 SOS 93681 HAS SOPS 85058 HAS SOUS 67583 HAS SOUPS 63753 WITH SCORE 63846.681
AT ITER 1007 NEW BEST:: SOT 217679 SOS 93314 HAS SOPS 84691 HAS SOUS 67455 HAS SOUPS 63625 WITH SCORE 63718.314
AT ITER 1017 NEW BEST:: SOT 217667 SOS 93302 HAS SOPS 84679 HAS SOUS 67443 HAS SOUPS 63613 WITH SCORE 63706.302
AT ITER 1023 NEW BEST:: SOT 217548 SOS 93459 HAS SOPS 84836 HAS SOUS 67295 HAS SOUPS 63465 WITH SCORE 63558.459
AT ITER 1025 NEW BEST:: SOT 217154 SOS 93051 HAS SOPS 84428 HAS SOUS 67046 HAS SOUPS 63216 WITH SCORE 63309.051
AT ITER 1028 NEW BEST:: SOT 217321 SOS 92930 HAS SOPS 84307 HAS SOUS 66919 HAS SOUPS 63089 WITH SCORE 63181.93
AT ITER 1035 NEW BEST:: SOT 217321 SOS 92925 HAS SOPS 84291 HAS SOUS 66914 HAS SOUPS 63073 WITH SCORE 63165.925
AT ITER 1040 NEW BEST:: SOT 217350 SOS 93130 HAS SOPS 84320 HAS SOUS 66928 HAS SOUPS 63043 WITH SCORE 63136.13
AT ITER 1041 NEW BEST:: SOT 217344 SOS 93124 HAS SOPS 84314 HAS SOUS 66924 HAS SOUPS 63039 WITH SCORE 63132.124
AT ITER 1050 NEW BEST:: SOT 217419 SOS 93022 HAS SOPS 84212 HAS SOUS 66850 HAS SOUPS 62965 WITH SCORE 63058.022
AT ITER 1057 NEW BEST:: SOT 217361 SOS 92964 HAS SOPS 84154 HAS SOUS 66850 HAS SOUPS 62965 WITH SCORE 63057.964
AT ITER 1059 NEW BEST:: SOT 217393 SOS 92912 HAS SOPS 83838 HAS SOUS 66800 HAS SOUPS 62849 WITH SCORE 62941.912
AT ITER 1066 NEW BEST:: SOT 217316 SOS 92835 HAS SOPS 83663 HAS SOUS 66599 HAS SOUPS 62550 WITH SCORE 62642.835
AT ITER 1070 NEW BEST:: SOT 217316 SOS 92823 HAS SOPS 83651 HAS SOUS 66595 HAS SOUPS 62546 WITH SCORE 62638.823
AT ITER 1085 NEW BEST:: SOT 217310 SOS 92808 HAS SOPS 83636 HAS SOUS 66589 HAS SOUPS 62540 WITH SCORE 62632.808
AT ITER 1088 NEW BEST:: SOT 217303 SOS 92801 HAS SOPS 83629 HAS SOUS 66517 HAS SOUPS 62468 WITH SCORE 62560.801
AT ITER 1090 NEW BEST:: SOT 217166 SOS 91587 HAS SOPS 82415 HAS SOUS 66209 HAS SOUPS 62160 WITH SCORE 62251.587
AT ITER 1102 NEW BEST:: SOT 217324 SOS 91485 HAS SOPS 82313 HAS SOUS 66143 HAS SOUPS 62094 WITH SCORE 62185.485
AT ITER 1105 NEW BEST:: SOT 217323 SOS 91349 HAS SOPS 82177 HAS SOUS 66059 HAS SOUPS 62010 WITH SCORE 62101.349
AT ITER 1116 NEW BEST:: SOT 217323 SOS 91220 HAS SOPS 82048 HAS SOUS 66014 HAS SOUPS 61965 WITH SCORE 62056.22
AT ITER 1119 NEW BEST:: SOT 217398 SOS 91295 HAS SOPS 82123 HAS SOUS 65900 HAS SOUPS 61851 WITH SCORE 61942.295
AT ITER 1123 NEW BEST:: SOT 217397 SOS 91294 HAS SOPS 82121 HAS SOUS 65898 HAS SOUPS 61849 WITH SCORE 61940.294
AT ITER 1126 NEW BEST:: SOT 217397 SOS 91192 HAS SOPS 82019 HAS SOUS 65796 HAS SOUPS 61747 WITH SCORE 61838.192
AT ITER 1143 NEW BEST:: SOT 217397 SOS 91146 HAS SOPS 81915 HAS SOUS 65692 HAS SOUPS 61643 WITH SCORE 61734.146
AT ITER 1146 NEW BEST:: SOT 217280 SOS 91273 HAS SOPS 81686 HAS SOUS 65630 HAS SOUPS 61414 WITH SCORE 61505.273
AT ITER 1151 NEW BEST:: SOT 217539 SOS 91497 HAS SOPS 81654 HAS SOUS 65855 HAS SOUPS 61383 WITH SCORE 61474.497
AT ITER 1152 NEW BEST:: SOT 217531 SOS 91501 HAS SOPS 81658 HAS SOUS 65847 HAS SOUPS 61375 WITH SCORE 61466.501
AT ITER 1155 NEW BEST:: SOT 217481 SOS 92044 HAS SOPS 81384 HAS SOUS 65796 HAS SOUPS 61101 WITH SCORE 61193.044
AT ITER 1164 NEW BEST:: SOT 217274 SOS 91948 HAS SOPS 81053 HAS SOUS 65599 HAS SOUPS 60755 WITH SCORE 60846.948
AT ITER 1166 NEW BEST:: SOT 217272 SOS 91946 HAS SOPS 81051 HAS SOUS 65597 HAS SOUPS 60753 WITH SCORE 60844.946
AT ITER 1170 NEW BEST:: SOT 217248 SOS 91858 HAS SOPS 80963 HAS SOUS 65509 HAS SOUPS 60665 WITH SCORE 60756.858
AT ITER 1179 NEW BEST:: SOT 217222 SOS 91780 HAS SOPS 80911 HAS SOUS 65457 HAS SOUPS 60639 WITH SCORE 60730.78
AT ITER 1181 NEW BEST:: SOT 217196 SOS 91608 HAS SOPS 80779 HAS SOUS 65338 HAS SOUPS 60560 WITH SCORE 60651.608
AT ITER 1182 NEW BEST:: SOT 217247 SOS 91325 HAS SOPS 80496 HAS SOUS 65113 HAS SOUPS 60335 WITH SCORE 60426.325
AT ITER 1184 NEW BEST:: SOT 217211 SOS 91253 HAS SOPS 80424 HAS SOUS 65077 HAS SOUPS 60299 WITH SCORE 60390.253
AT ITER 1187 NEW BEST:: SOT 217146 SOS 91236 HAS SOPS 80358 HAS SOUS 65060 HAS SOUPS 60233 WITH SCORE 60324.236
AT ITER 1190 NEW BEST:: SOT 217164 SOS 91008 HAS SOPS 80130 HAS SOUS 64954 HAS SOUPS 60127 WITH SCORE 60218.008
AT ITER 1194 NEW BEST:: SOT 217164 SOS 90991 HAS SOPS 80130 HAS SOUS 64937 HAS SOUPS 60127 WITH SCORE 60217.991
AT ITER 1195 NEW BEST:: SOT 216917 SOS 90690 HAS SOPS 79829 HAS SOUS 64744 HAS SOUPS 59934 WITH SCORE 60024.69
AT ITER 1209 NEW BEST:: SOT 216883 SOS 90656 HAS SOPS 79795 HAS SOUS 64654 HAS SOUPS 59844 WITH SCORE 59934.656
AT ITER 1214 NEW BEST:: SOT 216854 SOS 91022 HAS SOPS 79623 HAS SOUS 64624 HAS SOUPS 59672 WITH SCORE 59763.022
AT ITER 1221 NEW BEST:: SOT 216944 SOS 91134 HAS SOPS 79713 HAS SOUS 64564 HAS SOUPS 59590 WITH SCORE 59681.134
AT ITER 1230 NEW BEST:: SOT 216944 SOS 91152 HAS SOPS 79722 HAS SOUS 64555 HAS SOUPS 59581 WITH SCORE 59672.152
AT ITER 1240 NEW BEST:: SOT 216860 SOS 90900 HAS SOPS 79470 HAS SOUS 64387 HAS SOUPS 59413 WITH SCORE 59503.9
AT ITER 1241 NEW BEST:: SOT 216860 SOS 91176 HAS SOPS 79378 HAS SOUS 64387 HAS SOUPS 59321 WITH SCORE 59412.176
AT ITER 1247 NEW BEST:: SOT 216643 SOS 90364 HAS SOPS 78566 HAS SOUS 64009 HAS SOUPS 58943 WITH SCORE 59033.364
AT ITER 1253 NEW BEST:: SOT 216624 SOS 90345 HAS SOPS 78581 HAS SOUS 63942 HAS SOUPS 58910 WITH SCORE 59000.345
AT ITER 1257 NEW BEST:: SOT 216611 SOS 90368 HAS SOPS 78604 HAS SOUS 63941 HAS SOUPS 58909 WITH SCORE 58999.368
AT ITER 1258 NEW BEST:: SOT 216611 SOS 90281 HAS SOPS 78517 HAS SOUS 63941 HAS SOUPS 58909 WITH SCORE 58999.281
AT ITER 1271 NEW BEST:: SOT 216562 SOS 90232 HAS SOPS 78468 HAS SOUS 63843 HAS SOUPS 58811 WITH SCORE 58901.232
AT ITER 1272 NEW BEST:: SOT 216779 SOS 90196 HAS SOPS 78432 HAS SOUS 63807 HAS SOUPS 58775 WITH SCORE 58865.196
AT ITER 1287 NEW BEST:: SOT 216779 SOS 90161 HAS SOPS 78397 HAS SOUS 63772 HAS SOUPS 58740 WITH SCORE 58830.161
AT ITER 1288 NEW BEST:: SOT 216818 SOS 90221 HAS SOPS 78374 HAS SOUS 63809 HAS SOUPS 58694 WITH SCORE 58784.221
AT ITER 1289 NEW BEST:: SOT 216654 SOS 90057 HAS SOPS 78128 HAS SOUS 63727 HAS SOUPS 58530 WITH SCORE 58620.057
AT ITER 1291 NEW BEST:: SOT 216654 SOS 89975 HAS SOPS 78046 HAS SOUS 63686 HAS SOUPS 58489 WITH SCORE 58578.975
AT ITER 1296 NEW BEST:: SOT 216552 SOS 90019 HAS SOPS 78090 HAS SOUS 63672 HAS SOUPS 58475 WITH SCORE 58565.019
AT ITER 1299 NEW BEST:: SOT 216594 SOS 90061 HAS SOPS 77806 HAS SOUS 63517 HAS SOUPS 58191 WITH SCORE 58281.061
AT ITER 1306 NEW BEST:: SOT 216577 SOS 89858 HAS SOPS 77603 HAS SOUS 63407 HAS SOUPS 58081 WITH SCORE 58170.858
AT ITER 1314 NEW BEST:: SOT 216553 SOS 89479 HAS SOPS 77306 HAS SOUS 63222 HAS SOUPS 57978 WITH SCORE 58067.479
AT ITER 1315 NEW BEST:: SOT 216605 SOS 89917 HAS SOPS 77358 HAS SOUS 63339 HAS SOUPS 57961 WITH SCORE 58050.917
AT ITER 1326 NEW BEST:: SOT 216598 SOS 89910 HAS SOPS 77351 HAS SOUS 63332 HAS SOUPS 57954 WITH SCORE 58043.91
AT ITER 1328 NEW BEST:: SOT 216453 SOS 89719 HAS SOPS 77160 HAS SOUS 63220 HAS SOUPS 57842 WITH SCORE 57931.719
AT ITER 1334 NEW BEST:: SOT 216397 SOS 89106 HAS SOPS 76547 HAS SOUS 63207 HAS SOUPS 57829 WITH SCORE 57918.106
AT ITER 1337 NEW BEST:: SOT 216397 SOS 89077 HAS SOPS 76518 HAS SOUS 63182 HAS SOUPS 57804 WITH SCORE 57893.077
AT ITER 1339 NEW BEST:: SOT 216397 SOS 89081 HAS SOPS 76516 HAS SOUS 63180 HAS SOUPS 57800 WITH SCORE 57889.081
AT ITER 1344 NEW BEST:: SOT 216448 SOS 88968 HAS SOPS 76403 HAS SOUS 63142 HAS SOUPS 57762 WITH SCORE 57850.968
AT ITER 1360 NEW BEST:: SOT 216518 SOS 89197 HAS SOPS 76416 HAS SOUS 63193 HAS SOUPS 57759 WITH SCORE 57848.197
AT ITER 1364 NEW BEST:: SOT 216476 SOS 89209 HAS SOPS 76237 HAS SOUS 63205 HAS SOUPS 57580 WITH SCORE 57669.209
AT ITER 1374 NEW BEST:: SOT 216476 SOS 88783 HAS SOPS 75811 HAS SOUS 62992 HAS SOUPS 57367 WITH SCORE 57455.783
AT ITER 1375 NEW BEST:: SOT 216425 SOS 88768 HAS SOPS 75775 HAS SOUS 62983 HAS SOUPS 57337 WITH SCORE 57425.768
AT ITER 1379 NEW BEST:: SOT 215951 SOS 88688 HAS SOPS 75524 HAS SOUS 62911 HAS SOUPS 57094 WITH SCORE 57182.688
AT ITER 1382 NEW BEST:: SOT 215912 SOS 88648 HAS SOPS 75486 HAS SOUS 62873 HAS SOUPS 57056 WITH SCORE 57144.648
AT ITER 1385 NEW BEST:: SOT 215912 SOS 88696 HAS SOPS 75438 HAS SOUS 62873 HAS SOUPS 57032 WITH SCORE 57120.696
AT ITER 1387 NEW BEST:: SOT 215848 SOS 88609 HAS SOPS 75351 HAS SOUS 62786 HAS SOUPS 56945 WITH SCORE 57033.609
AT ITER 1396 NEW BEST:: SOT 215848 SOS 88769 HAS SOPS 75511 HAS SOUS 62690 HAS SOUPS 56849 WITH SCORE 56937.769
AT ITER 1424 NEW BEST:: SOT 215815 SOS 88736 HAS SOPS 75444 HAS SOUS 62658 HAS SOUPS 56783 WITH SCORE 56871.736
AT ITER 1435 NEW BEST:: SOT 215803 SOS 88724 HAS SOPS 75432 HAS SOUS 62650 HAS SOUPS 56775 WITH SCORE 56863.724
AT ITER 1444 NEW BEST:: SOT 215705 SOS 88619 HAS SOPS 75327 HAS SOUS 62570 HAS SOUPS 56695 WITH SCORE 56783.619
AT ITER 1449 NEW BEST:: SOT 215705 SOS 88654 HAS SOPS 75362 HAS SOUS 62563 HAS SOUPS 56688 WITH SCORE 56776.654
AT ITER 1451 NEW BEST:: SOT 215634 SOS 88521 HAS SOPS 75338 HAS SOUS 62539 HAS SOUPS 56664 WITH SCORE 56752.521
AT ITER 1454 NEW BEST:: SOT 215633 SOS 88510 HAS SOPS 75336 HAS SOUS 62537 HAS SOUPS 56662 WITH SCORE 56750.51
AT ITER 1458 NEW BEST:: SOT 215595 SOS 88356 HAS SOPS 75182 HAS SOUS 62487 HAS SOUPS 56612 WITH SCORE 56700.356
AT ITER 1460 NEW BEST:: SOT 215614 SOS 88338 HAS SOPS 75164 HAS SOUS 62469 HAS SOUPS 56594 WITH SCORE 56682.338
AT ITER 1462 NEW BEST:: SOT 215614 SOS 88316 HAS SOPS 75142 HAS SOUS 62458 HAS SOUPS 56583 WITH SCORE 56671.316
AT ITER 1465 NEW BEST:: SOT 215603 SOS 88198 HAS SOPS 75024 HAS SOUS 62436 HAS SOUPS 56561 WITH SCORE 56649.198
AT ITER 1470 NEW BEST:: SOT 215523 SOS 88052 HAS SOPS 74986 HAS SOUS 62395 HAS SOUPS 56547 WITH SCORE 56635.052
AT ITER 1478 NEW BEST:: SOT 215378 SOS 87818 HAS SOPS 74955 HAS SOUS 62016 HAS SOUPS 56257 WITH SCORE 56344.818
AT ITER 1479 NEW BEST:: SOT 215463 SOS 87903 HAS SOPS 74954 HAS SOUS 62101 HAS SOUPS 56256 WITH SCORE 56343.903
AT ITER 1487 NEW BEST:: SOT 215485 SOS 87868 HAS SOPS 74919 HAS SOUS 62066 HAS SOUPS 56221 WITH SCORE 56308.868
AT ITER 1491 NEW BEST:: SOT 215388 SOS 87729 HAS SOPS 74725 HAS SOUS 61925 HAS SOUPS 56027 WITH SCORE 56114.729
AT ITER 1493 NEW BEST:: SOT 215323 SOS 87690 HAS SOPS 74686 HAS SOUS 61886 HAS SOUPS 55988 WITH SCORE 56075.69
AT ITER 1497 NEW BEST:: SOT 215778 SOS 87609 HAS SOPS 74605 HAS SOUS 61805 HAS SOUPS 55907 WITH SCORE 55994.609
AT ITER 1503 NEW BEST:: SOT 215962 SOS 87656 HAS SOPS 74589 HAS SOUS 61852 HAS SOUPS 55891 WITH SCORE 55978.656
AT ITER 1504 NEW BEST:: SOT 215927 SOS 87621 HAS SOPS 74554 HAS SOUS 61817 HAS SOUPS 55856 WITH SCORE 55943.621
AT ITER 1511 NEW BEST:: SOT 215864 SOS 87432 HAS SOPS 74365 HAS SOUS 61754 HAS SOUPS 55793 WITH SCORE 55880.432
AT ITER 1522 NEW BEST:: SOT 215864 SOS 87788 HAS SOPS 74365 HAS SOUS 61665 HAS SOUPS 55615 WITH SCORE 55702.788
AT ITER 1532 NEW BEST:: SOT 215826 SOS 87769 HAS SOPS 74346 HAS SOUS 61646 HAS SOUPS 55596 WITH SCORE 55683.769
AT ITER 1545 NEW BEST:: SOT 215626 SOS 87569 HAS SOPS 74041 HAS SOUS 61446 HAS SOUPS 55291 WITH SCORE 55378.569
AT ITER 1554 NEW BEST:: SOT 215596 SOS 87494 HAS SOPS 73966 HAS SOUS 61405 HAS SOUPS 55250 WITH SCORE 55337.494
AT ITER 1556 NEW BEST:: SOT 215584 SOS 87482 HAS SOPS 73942 HAS SOUS 61402 HAS SOUPS 55238 WITH SCORE 55325.482
AT ITER 1560 NEW BEST:: SOT 215633 SOS 87501 HAS SOPS 73961 HAS SOUS 61381 HAS SOUPS 55217 WITH SCORE 55304.501
AT ITER 1563 NEW BEST:: SOT 215505 SOS 87460 HAS SOPS 73920 HAS SOUS 61207 HAS SOUPS 55043 WITH SCORE 55130.46
AT ITER 1568 NEW BEST:: SOT 215473 SOS 87428 HAS SOPS 73888 HAS SOUS 61191 HAS SOUPS 55027 WITH SCORE 55114.428
AT ITER 1573 NEW BEST:: SOT 215438 SOS 87356 HAS SOPS 73816 HAS SOUS 61119 HAS SOUPS 54955 WITH SCORE 55042.356
AT ITER 1584 NEW BEST:: SOT 215379 SOS 87340 HAS SOPS 73815 HAS SOUS 61118 HAS SOUPS 54954 WITH SCORE 55041.34
AT ITER 1585 NEW BEST:: SOT 215268 SOS 87393 HAS SOPS 73868 HAS SOUS 61007 HAS SOUPS 54843 WITH SCORE 54930.393
AT ITER 1586 NEW BEST:: SOT 215220 SOS 87345 HAS SOPS 73820 HAS SOUS 61007 HAS SOUPS 54843 WITH SCORE 54930.345
AT ITER 1590 NEW BEST:: SOT 215093 SOS 87058 HAS SOPS 73791 HAS SOUS 60880 HAS SOUPS 54814 WITH SCORE 54901.058
AT ITER 1591 NEW BEST:: SOT 215093 SOS 86990 HAS SOPS 73587 HAS SOUS 60846 HAS SOUPS 54746 WITH SCORE 54832.99
AT ITER 1596 NEW BEST:: SOT 215098 SOS 87142 HAS SOPS 73544 HAS SOUS 60851 HAS SOUPS 54703 WITH SCORE 54790.142
AT ITER 1607 NEW BEST:: SOT 215081 SOS 87013 HAS SOPS 73527 HAS SOUS 60736 HAS SOUPS 54686 WITH SCORE 54773.013
AT ITER 1616 NEW BEST:: SOT 215068 SOS 87000 HAS SOPS 73514 HAS SOUS 60723 HAS SOUPS 54673 WITH SCORE 54760.0
AT ITER 1619 NEW BEST:: SOT 215034 SOS 86966 HAS SOPS 73446 HAS SOUS 60655 HAS SOUPS 54605 WITH SCORE 54691.966
AT ITER 1633 NEW BEST:: SOT 214916 SOS 86847 HAS SOPS 73327 HAS SOUS 60643 HAS SOUPS 54593 WITH SCORE 54679.847
AT ITER 1634 NEW BEST:: SOT 214991 SOS 86741 HAS SOPS 73221 HAS SOUS 60557 HAS SOUPS 54507 WITH SCORE 54593.741
AT ITER 1637 NEW BEST:: SOT 214991 SOS 86756 HAS SOPS 73176 HAS SOUS 60542 HAS SOUPS 54477 WITH SCORE 54563.756
AT ITER 1638 NEW BEST:: SOT 214944 SOS 86803 HAS SOPS 73082 HAS SOUS 60542 HAS SOUPS 54383 WITH SCORE 54469.803
AT ITER 1670 NEW BEST:: SOT 214938 SOS 86773 HAS SOPS 73076 HAS SOUS 60536 HAS SOUPS 54383 WITH SCORE 54469.773
AT ITER 1698 NEW BEST:: SOT 214856 SOS 86742 HAS SOPS 73045 HAS SOUS 60505 HAS SOUPS 54352 WITH SCORE 54438.742
AT ITER 1701 NEW BEST:: SOT 214845 SOS 86541 HAS SOPS 72797 HAS SOUS 60383 HAS SOUPS 54183 WITH SCORE 54269.541
AT ITER 1707 NEW BEST:: SOT 214840 SOS 86531 HAS SOPS 72792 HAS SOUS 60373 HAS SOUPS 54178 WITH SCORE 54264.531
AT ITER 1723 NEW BEST:: SOT 214850 SOS 86686 HAS SOPS 72771 HAS SOUS 60402 HAS SOUPS 54157 WITH SCORE 54243.686
AT ITER 1725 NEW BEST:: SOT 214848 SOS 86684 HAS SOPS 72676 HAS SOUS 60400 HAS SOUPS 54062 WITH SCORE 54148.684
AT ITER 1733 NEW BEST:: SOT 214854 SOS 86676 HAS SOPS 72668 HAS SOUS 60392 HAS SOUPS 54054 WITH SCORE 54140.676
AT ITER 1735 NEW BEST:: SOT 214870 SOS 86671 HAS SOPS 72663 HAS SOUS 60378 HAS SOUPS 54040 WITH SCORE 54126.671
AT ITER 1742 NEW BEST:: SOT 214866 SOS 86661 HAS SOPS 72653 HAS SOUS 60372 HAS SOUPS 54034 WITH SCORE 54120.661
AT ITER 1747 NEW BEST:: SOT 214857 SOS 86652 HAS SOPS 72635 HAS SOUS 60363 HAS SOUPS 54016 WITH SCORE 54102.652
AT ITER 1753 NEW BEST:: SOT 214626 SOS 86677 HAS SOPS 72532 HAS SOUS 60302 HAS SOUPS 53913 WITH SCORE 53999.677
AT ITER 1754 NEW BEST:: SOT 214626 SOS 86599 HAS SOPS 72454 HAS SOUS 60302 HAS SOUPS 53913 WITH SCORE 53999.599
AT ITER 1764 NEW BEST:: SOT 214626 SOS 86599 HAS SOPS 72411 HAS SOUS 60302 HAS SOUPS 53870 WITH SCORE 53956.599
AT ITER 1771 NEW BEST:: SOT 214604 SOS 86566 HAS SOPS 72378 HAS SOUS 60269 HAS SOUPS 53837 WITH SCORE 53923.566
AT ITER 1777 NEW BEST:: SOT 214571 SOS 86533 HAS SOPS 72253 HAS SOUS 60144 HAS SOUPS 53712 WITH SCORE 53798.533
AT ITER 1788 NEW BEST:: SOT 214567 SOS 86525 HAS SOPS 72245 HAS SOUS 60136 HAS SOUPS 53704 WITH SCORE 53790.525
AT ITER 1793 NEW BEST:: SOT 214307 SOS 86499 HAS SOPS 72219 HAS SOUS 60110 HAS SOUPS 53678 WITH SCORE 53764.499
AT ITER 1794 NEW BEST:: SOT 214308 SOS 86356 HAS SOPS 72076 HAS SOUS 60014 HAS SOUPS 53582 WITH SCORE 53668.356
AT ITER 1799 NEW BEST:: SOT 214270 SOS 86318 HAS SOPS 72019 HAS SOUS 59995 HAS SOUPS 53544 WITH SCORE 53630.318
AT ITER 1806 NEW BEST:: SOT 214317 SOS 86317 HAS SOPS 72018 HAS SOUS 59980 HAS SOUPS 53529 WITH SCORE 53615.317
AT ITER 1808 NEW BEST:: SOT 214278 SOS 86278 HAS SOPS 71979 HAS SOUS 59941 HAS SOUPS 53490 WITH SCORE 53576.278
AT ITER 1814 NEW BEST:: SOT 214151 SOS 86439 HAS SOPS 72140 HAS SOUS 59842 HAS SOUPS 53391 WITH SCORE 53477.439
AT ITER 1826 NEW BEST:: SOT 214145 SOS 86433 HAS SOPS 72134 HAS SOUS 59737 HAS SOUPS 53286 WITH SCORE 53372.433
AT ITER 1837 NEW BEST:: SOT 214145 SOS 86431 HAS SOPS 72127 HAS SOUS 59735 HAS SOUPS 53279 WITH SCORE 53365.431
AT ITER 1841 NEW BEST:: SOT 214091 SOS 86323 HAS SOPS 71965 HAS SOUS 59573 HAS SOUPS 53117 WITH SCORE 53203.323
AT ITER 1845 NEW BEST:: SOT 213963 SOS 85626 HAS SOPS 71268 HAS SOUS 59187 HAS SOUPS 52731 WITH SCORE 52816.626
AT ITER 1848 NEW BEST:: SOT 213979 SOS 85610 HAS SOPS 71252 HAS SOUS 59171 HAS SOUPS 52715 WITH SCORE 52800.61
AT ITER 1852 NEW BEST:: SOT 214052 SOS 85455 HAS SOPS 71097 HAS SOUS 59042 HAS SOUPS 52586 WITH SCORE 52671.455
AT ITER 1853 NEW BEST:: SOT 213998 SOS 85321 HAS SOPS 70963 HAS SOUS 58988 HAS SOUPS 52532 WITH SCORE 52617.321
AT ITER 1854 NEW BEST:: SOT 213865 SOS 85103 HAS SOPS 70745 HAS SOUS 58943 HAS SOUPS 52487 WITH SCORE 52572.103
AT ITER 1855 NEW BEST:: SOT 213689 SOS 84845 HAS SOPS 70487 HAS SOUS 58767 HAS SOUPS 52311 WITH SCORE 52395.845
AT ITER 1864 NEW BEST:: SOT 213587 SOS 84711 HAS SOPS 70283 HAS SOUS 58698 HAS SOUPS 52186 WITH SCORE 52270.711
AT ITER 1896 NEW BEST:: SOT 213646 SOS 84652 HAS SOPS 70224 HAS SOUS 58639 HAS SOUPS 52127 WITH SCORE 52211.652
AT ITER 1901 NEW BEST:: SOT 213647 SOS 84647 HAS SOPS 70219 HAS SOUS 58635 HAS SOUPS 52123 WITH SCORE 52207.647
AT ITER 1914 NEW BEST:: SOT 213805 SOS 85657 HAS SOPS 70191 HAS SOUS 59006 HAS SOUPS 52095 WITH SCORE 52180.657
AT ITER 1915 NEW BEST:: SOT 213664 SOS 85635 HAS SOPS 70191 HAS SOUS 59006 HAS SOUPS 52095 WITH SCORE 52180.635
AT ITER 1918 NEW BEST:: SOT 213651 SOS 85622 HAS SOPS 70165 HAS SOUS 58993 HAS SOUPS 52069 WITH SCORE 52154.622
AT ITER 1927 NEW BEST:: SOT 213631 SOS 85704 HAS SOPS 70120 HAS SOUS 59014 HAS SOUPS 52024 WITH SCORE 52109.704
AT ITER 1943 NEW BEST:: SOT 213539 SOS 85451 HAS SOPS 69867 HAS SOUS 58668 HAS SOUPS 51678 WITH SCORE 51763.451
AT ITER 1956 NEW BEST:: SOT 213539 SOS 85388 HAS SOPS 69804 HAS SOUS 58668 HAS SOUPS 51678 WITH SCORE 51763.388
AT ITER 1963 NEW BEST:: SOT 213503 SOS 85304 HAS SOPS 69720 HAS SOUS 58608 HAS SOUPS 51618 WITH SCORE 51703.304
AT ITER 1971 NEW BEST:: SOT 213477 SOS 85278 HAS SOPS 69668 HAS SOUS 58556 HAS SOUPS 51540 WITH SCORE 51625.278
AT ITER 1976 NEW BEST:: SOT 213460 SOS 85176 HAS SOPS 69566 HAS SOUS 58505 HAS SOUPS 51489 WITH SCORE 51574.176
AT ITER 1984 NEW BEST:: SOT 213427 SOS 85077 HAS SOPS 69467 HAS SOUS 58472 HAS SOUPS 51456 WITH SCORE 51541.077
AT ITER 1985 NEW BEST:: SOT 213486 SOS 85482 HAS SOPS 69526 HAS SOUS 58686 HAS SOUPS 51455 WITH SCORE 51540.482
AT ITER 1986 NEW BEST:: SOT 213486 SOS 85425 HAS SOPS 69469 HAS SOUS 58685 HAS SOUPS 51454 WITH SCORE 51539.425
AT ITER 1992 NEW BEST:: SOT 213486 SOS 85191 HAS SOPS 69235 HAS SOUS 58619 HAS SOUPS 51388 WITH SCORE 51473.191
AT ITER 1997 NEW BEST:: SOT 213696 SOS 85200 HAS SOPS 69163 HAS SOUS 58547 HAS SOUPS 51316 WITH SCORE 51401.2
AT ITER 1998 NEW BEST:: SOT 213684 SOS 85226 HAS SOPS 69161 HAS SOUS 58529 HAS SOUPS 51298 WITH SCORE 51383.226
AT ITER 2007 NEW BEST:: SOT 213684 SOS 84952 HAS SOPS 68887 HAS SOUS 58529 HAS SOUPS 51298 WITH SCORE 51382.952
AT ITER 2012 NEW BEST:: SOT 213684 SOS 84842 HAS SOPS 68777 HAS SOUS 58419 HAS SOUPS 51188 WITH SCORE 51272.842
AT ITER 2044 NEW BEST:: SOT 213654 SOS 84808 HAS SOPS 68743 HAS SOUS 58385 HAS SOUPS 51154 WITH SCORE 51238.808
AT ITER 2052 NEW BEST:: SOT 213652 SOS 84888 HAS SOPS 68823 HAS SOUS 58337 HAS SOUPS 51106 WITH SCORE 51190.888
AT ITER 2058 NEW BEST:: SOT 213652 SOS 84888 HAS SOPS 68823 HAS SOUS 58286 HAS SOUPS 51055 WITH SCORE 51139.888
AT ITER 2085 NEW BEST:: SOT 213261 SOS 84490 HAS SOPS 68446 HAS SOUS 58147 HAS SOUPS 50937 WITH SCORE 51021.49
AT ITER 2093 NEW BEST:: SOT 213086 SOS 84215 HAS SOPS 68361 HAS SOUS 57872 HAS SOUPS 50852 WITH SCORE 50936.215
AT ITER 2100 NEW BEST:: SOT 213120 SOS 84220 HAS SOPS 68366 HAS SOUS 57868 HAS SOUPS 50848 WITH SCORE 50932.22
AT ITER 2108 NEW BEST:: SOT 213120 SOS 84164 HAS SOPS 68310 HAS SOUS 57840 HAS SOUPS 50820 WITH SCORE 50904.164
AT ITER 2111 NEW BEST:: SOT 213116 SOS 84156 HAS SOPS 68302 HAS SOUS 57832 HAS SOUPS 50812 WITH SCORE 50896.156
AT ITER 2115 NEW BEST:: SOT 212988 SOS 83750 HAS SOPS 67896 HAS SOUS 57603 HAS SOUPS 50583 WITH SCORE 50666.75
AT ITER 2124 NEW BEST:: SOT 212956 SOS 83694 HAS SOPS 67840 HAS SOUS 57571 HAS SOUPS 50551 WITH SCORE 50634.694
AT ITER 2127 NEW BEST:: SOT 212941 SOS 83679 HAS SOPS 67825 HAS SOUS 57556 HAS SOUPS 50536 WITH SCORE 50619.679
AT ITER 2138 NEW BEST:: SOT 212926 SOS 83538 HAS SOPS 67684 HAS SOUS 57425 HAS SOUPS 50405 WITH SCORE 50488.538
AT ITER 2142 NEW BEST:: SOT 212818 SOS 83362 HAS SOPS 67482 HAS SOUS 57223 HAS SOUPS 50203 WITH SCORE 50286.362
AT ITER 2143 NEW BEST:: SOT 212769 SOS 83313 HAS SOPS 67407 HAS SOUS 57200 HAS SOUPS 50154 WITH SCORE 50237.313
AT ITER 2150 NEW BEST:: SOT 212792 SOS 83484 HAS SOPS 67403 HAS SOUS 57273 HAS SOUPS 50150 WITH SCORE 50233.484
AT ITER 2163 NEW BEST:: SOT 212792 SOS 83534 HAS SOPS 67303 HAS SOUS 57273 HAS SOUPS 50100 WITH SCORE 50183.534
AT ITER 2170 NEW BEST:: SOT 212746 SOS 83488 HAS SOPS 67257 HAS SOUS 57227 HAS SOUPS 50054 WITH SCORE 50137.488
AT ITER 2184 NEW BEST:: SOT 212752 SOS 83494 HAS SOPS 67263 HAS SOUS 57131 HAS SOUPS 49958 WITH SCORE 50041.494
AT ITER 2191 NEW BEST:: SOT 212732 SOS 83420 HAS SOPS 67074 HAS SOUS 57057 HAS SOUPS 49769 WITH SCORE 49852.42
AT ITER 2192 NEW BEST:: SOT 212738 SOS 83420 HAS SOPS 67074 HAS SOUS 57056 HAS SOUPS 49768 WITH SCORE 49851.42
AT ITER 2202 NEW BEST:: SOT 212703 SOS 83245 HAS SOPS 67039 HAS SOUS 56986 HAS SOUPS 49733 WITH SCORE 49816.245
AT ITER 2203 NEW BEST:: SOT 212771 SOS 83177 HAS SOPS 66971 HAS SOUS 56918 HAS SOUPS 49665 WITH SCORE 49748.177
AT ITER 2208 NEW BEST:: SOT 212588 SOS 82994 HAS SOPS 66788 HAS SOUS 56796 HAS SOUPS 49543 WITH SCORE 49625.994
AT ITER 2219 NEW BEST:: SOT 212477 SOS 82883 HAS SOPS 66677 HAS SOUS 56685 HAS SOUPS 49432 WITH SCORE 49514.883
AT ITER 2220 NEW BEST:: SOT 212490 SOS 82758 HAS SOPS 66596 HAS SOUS 56610 HAS SOUPS 49401 WITH SCORE 49483.758
AT ITER 2258 NEW BEST:: SOT 212490 SOS 82743 HAS SOPS 66581 HAS SOUS 56600 HAS SOUPS 49391 WITH SCORE 49473.743
AT ITER 2265 NEW BEST:: SOT 212352 SOS 82651 HAS SOPS 66627 HAS SOUS 56462 HAS SOUPS 49391 WITH SCORE 49473.651
AT ITER 2266 NEW BEST:: SOT 212373 SOS 83601 HAS SOPS 66433 HAS SOUS 56582 HAS SOUPS 49197 WITH SCORE 49280.601
AT ITER 2282 NEW BEST:: SOT 212357 SOS 83445 HAS SOPS 66277 HAS SOUS 56513 HAS SOUPS 49128 WITH SCORE 49211.445
AT ITER 2287 NEW BEST:: SOT 212357 SOS 83545 HAS SOPS 66261 HAS SOUS 56497 HAS SOUPS 49112 WITH SCORE 49195.545
AT ITER 2316 NEW BEST:: SOT 212690 SOS 84530 HAS SOPS 66357 HAS SOUS 56707 HAS SOUPS 49057 WITH SCORE 49141.53
AT ITER 2321 NEW BEST:: SOT 212690 SOS 84516 HAS SOPS 66343 HAS SOUS 56707 HAS SOUPS 49057 WITH SCORE 49141.516
AT ITER 2325 NEW BEST:: SOT 212690 SOS 84427 HAS SOPS 66254 HAS SOUS 56618 HAS SOUPS 48968 WITH SCORE 49052.427
AT ITER 2361 NEW BEST:: SOT 212666 SOS 84355 HAS SOPS 66230 HAS SOUS 56594 HAS SOUPS 48956 WITH SCORE 49040.355
AT ITER 2368 NEW BEST:: SOT 212637 SOS 84336 HAS SOPS 66210 HAS SOUS 56592 HAS SOUPS 48953 WITH SCORE 49037.336
AT ITER 2375 NEW BEST:: SOT 212635 SOS 84350 HAS SOPS 66224 HAS SOUS 56590 HAS SOUPS 48951 WITH SCORE 49035.35
AT ITER 2382 NEW BEST:: SOT 212708 SOS 84314 HAS SOPS 66188 HAS SOUS 56562 HAS SOUPS 48923 WITH SCORE 49007.314
AT ITER 2383 NEW BEST:: SOT 212674 SOS 84280 HAS SOPS 66120 HAS SOUS 56528 HAS SOUPS 48855 WITH SCORE 48939.28
AT ITER 2403 NEW BEST:: SOT 212548 SOS 84042 HAS SOPS 65882 HAS SOUS 56290 HAS SOUPS 48617 WITH SCORE 48701.042
AT ITER 2417 NEW BEST:: SOT 212651 SOS 84683 HAS SOPS 65985 HAS SOUS 56423 HAS SOUPS 48552 WITH SCORE 48636.683
AT ITER 2421 NEW BEST:: SOT 212640 SOS 84780 HAS SOPS 65963 HAS SOUS 56377 HAS SOUPS 48506 WITH SCORE 48590.78
AT ITER 2423 NEW BEST:: SOT 212640 SOS 84684 HAS SOPS 65963 HAS SOUS 56377 HAS SOUPS 48506 WITH SCORE 48590.684
AT ITER 2442 NEW BEST:: SOT 212465 SOS 85186 HAS SOPS 65788 HAS SOUS 56454 HAS SOUPS 48331 WITH SCORE 48416.186
AT ITER 2457 NEW BEST:: SOT 212453 SOS 84978 HAS SOPS 65580 HAS SOUS 56442 HAS SOUPS 48319 WITH SCORE 48403.978
AT ITER 2458 NEW BEST:: SOT 212423 SOS 84918 HAS SOPS 65520 HAS SOUS 56412 HAS SOUPS 48289 WITH SCORE 48373.918
AT ITER 2474 NEW BEST:: SOT 212390 SOS 84900 HAS SOPS 65502 HAS SOUS 56356 HAS SOUPS 48233 WITH SCORE 48317.9
AT ITER 2475 NEW BEST:: SOT 212346 SOS 84812 HAS SOPS 65458 HAS SOUS 56268 HAS SOUPS 48189 WITH SCORE 48273.812
AT ITER 2495 NEW BEST:: SOT 212333 SOS 84799 HAS SOPS 65406 HAS SOUS 56255 HAS SOUPS 48137 WITH SCORE 48221.799
AT ITER 2505 NEW BEST:: SOT 212369 SOS 84755 HAS SOPS 65362 HAS SOUS 56251 HAS SOUPS 48133 WITH SCORE 48217.755
AT ITER 2509 NEW BEST:: SOT 212241 SOS 84239 HAS SOPS 65358 HAS SOUS 56119 HAS SOUPS 48129 WITH SCORE 48213.239
AT ITER 2526 NEW BEST:: SOT 212109 SOS 84074 HAS SOPS 65193 HAS SOUS 56020 HAS SOUPS 48030 WITH SCORE 48114.074
AT ITER 2530 NEW BEST:: SOT 212010 SOS 83975 HAS SOPS 65094 HAS SOUS 55921 HAS SOUPS 47931 WITH SCORE 48014.975
AT ITER 2547 NEW BEST:: SOT 212004 SOS 83951 HAS SOPS 65082 HAS SOUS 55820 HAS SOUPS 47919 WITH SCORE 48002.951
AT ITER 2552 NEW BEST:: SOT 212004 SOS 83135 HAS SOPS 64250 HAS SOUS 55804 HAS SOUPS 47887 WITH SCORE 47970.135
AT ITER 2562 NEW BEST:: SOT 211932 SOS 83063 HAS SOPS 64178 HAS SOUS 55768 HAS SOUPS 47851 WITH SCORE 47934.063
AT ITER 2566 NEW BEST:: SOT 211926 SOS 83057 HAS SOPS 64172 HAS SOUS 55765 HAS SOUPS 47848 WITH SCORE 47931.057
AT ITER 2571 NEW BEST:: SOT 211914 SOS 82232 HAS SOPS 63347 HAS SOUS 55757 HAS SOUPS 47840 WITH SCORE 47922.232
AT ITER 2575 NEW BEST:: SOT 211871 SOS 82213 HAS SOPS 63328 HAS SOUS 55738 HAS SOUPS 47821 WITH SCORE 47903.213
AT ITER 2580 NEW BEST:: SOT 211871 SOS 82117 HAS SOPS 63232 HAS SOUS 55738 HAS SOUPS 47821 WITH SCORE 47903.117
AT ITER 2590 NEW BEST:: SOT 211869 SOS 82200 HAS SOPS 63273 HAS SOUS 55722 HAS SOUPS 47805 WITH SCORE 47887.2
AT ITER 2598 NEW BEST:: SOT 211826 SOS 82157 HAS SOPS 63230 HAS SOUS 55679 HAS SOUPS 47762 WITH SCORE 47844.157
AT ITER 2616 NEW BEST:: SOT 211769 SOS 82021 HAS SOPS 63094 HAS SOUS 55543 HAS SOUPS 47626 WITH SCORE 47708.021
AT ITER 2618 NEW BEST:: SOT 211752 SOS 81961 HAS SOPS 63042 HAS SOUS 55483 HAS SOUPS 47574 WITH SCORE 47655.961
AT ITER 2632 NEW BEST:: SOT 211752 SOS 81849 HAS SOPS 62930 HAS SOUS 55371 HAS SOUPS 47462 WITH SCORE 47543.849
AT ITER 2650 NEW BEST:: SOT 211726 SOS 81803 HAS SOPS 62884 HAS SOUS 55345 HAS SOUPS 47436 WITH SCORE 47517.803
AT ITER 2651 NEW BEST:: SOT 211726 SOS 81800 HAS SOPS 62881 HAS SOUS 55345 HAS SOUPS 47436 WITH SCORE 47517.8
AT ITER 2656 NEW BEST:: SOT 211551 SOS 81557 HAS SOPS 62638 HAS SOUS 55222 HAS SOUPS 47313 WITH SCORE 47394.557
AT ITER 2669 NEW BEST:: SOT 211678 SOS 81787 HAS SOPS 62737 HAS SOUS 55340 HAS SOUPS 47300 WITH SCORE 47381.787
AT ITER 2675 NEW BEST:: SOT 211649 SOS 81730 HAS SOPS 62679 HAS SOUS 55283 HAS SOUPS 47242 WITH SCORE 47323.73
AT ITER 2678 NEW BEST:: SOT 211776 SOS 81857 HAS SOPS 62584 HAS SOUS 55262 HAS SOUPS 47147 WITH SCORE 47228.857
AT ITER 2679 NEW BEST:: SOT 211704 SOS 81594 HAS SOPS 62512 HAS SOUS 55103 HAS SOUPS 47075 WITH SCORE 47156.594
AT ITER 2683 NEW BEST:: SOT 211704 SOS 81551 HAS SOPS 62426 HAS SOUS 55103 HAS SOUPS 47032 WITH SCORE 47113.551
AT ITER 2689 NEW BEST:: SOT 211772 SOS 82006 HAS SOPS 62324 HAS SOUS 55154 HAS SOUPS 46930 WITH SCORE 47012.006
AT ITER 2709 NEW BEST:: SOT 211715 SOS 81944 HAS SOPS 62262 HAS SOUS 55144 HAS SOUPS 46920 WITH SCORE 47001.944
AT ITER 2714 NEW BEST:: SOT 211710 SOS 81939 HAS SOPS 62168 HAS SOUS 55050 HAS SOUPS 46826 WITH SCORE 46907.939
AT ITER 2745 NEW BEST:: SOT 211710 SOS 81842 HAS SOPS 62071 HAS SOUS 55050 HAS SOUPS 46826 WITH SCORE 46907.842
AT ITER 2761 NEW BEST:: SOT 211666 SOS 81732 HAS SOPS 61961 HAS SOUS 54997 HAS SOUPS 46773 WITH SCORE 46854.732
AT ITER 2769 NEW BEST:: SOT 211660 SOS 81714 HAS SOPS 61943 HAS SOUS 54979 HAS SOUPS 46755 WITH SCORE 46836.714
AT ITER 2786 NEW BEST:: SOT 211591 SOS 81645 HAS SOPS 61805 HAS SOUS 54910 HAS SOUPS 46617 WITH SCORE 46698.645
AT ITER 2803 NEW BEST:: SOT 211511 SOS 81521 HAS SOPS 61681 HAS SOUS 54786 HAS SOUPS 46493 WITH SCORE 46574.521
AT ITER 2805 NEW BEST:: SOT 211469 SOS 81479 HAS SOPS 61639 HAS SOUS 54744 HAS SOUPS 46451 WITH SCORE 46532.479
AT ITER 2808 NEW BEST:: SOT 211469 SOS 81476 HAS SOPS 61636 HAS SOUS 54741 HAS SOUPS 46448 WITH SCORE 46529.476
AT ITER 2812 NEW BEST:: SOT 211401 SOS 81232 HAS SOPS 61392 HAS SOUS 54565 HAS SOUPS 46272 WITH SCORE 46353.232
AT ITER 2822 NEW BEST:: SOT 211401 SOS 81257 HAS SOPS 61391 HAS SOUS 54564 HAS SOUPS 46271 WITH SCORE 46352.257
AT ITER 2831 NEW BEST:: SOT 211401 SOS 81267 HAS SOPS 61389 HAS SOUS 54574 HAS SOUPS 46269 WITH SCORE 46350.267
AT ITER 2835 NEW BEST:: SOT 211380 SOS 81170 HAS SOPS 61292 HAS SOUS 54477 HAS SOUPS 46172 WITH SCORE 46253.17
AT ITER 2839 NEW BEST:: SOT 211377 SOS 81167 HAS SOPS 61289 HAS SOUS 54477 HAS SOUPS 46172 WITH SCORE 46253.167
AT ITER 2848 NEW BEST:: SOT 211281 SOS 81071 HAS SOPS 61193 HAS SOUS 54381 HAS SOUPS 46076 WITH SCORE 46157.071
AT ITER 2859 NEW BEST:: SOT 211281 SOS 80996 HAS SOPS 61118 HAS SOUS 54331 HAS SOUPS 46026 WITH SCORE 46106.996
AT ITER 2879 NEW BEST:: SOT 211249 SOS 80964 HAS SOPS 61086 HAS SOUS 54299 HAS SOUPS 45994 WITH SCORE 46074.964
AT ITER 2896 NEW BEST:: SOT 211281 SOS 80996 HAS SOPS 61118 HAS SOUS 54298 HAS SOUPS 45993 WITH SCORE 46073.996
AT ITER 2901 NEW BEST:: SOT 211162 SOS 81016 HAS SOPS 61138 HAS SOUS 54296 HAS SOUPS 45991 WITH SCORE 46072.016
AT ITER 2915 NEW BEST:: SOT 211130 SOS 80936 HAS SOPS 61058 HAS SOUS 54248 HAS SOUPS 45943 WITH SCORE 46023.936
AT ITER 2925 NEW BEST:: SOT 210875 SOS 80900 HAS SOPS 61022 HAS SOUS 53738 HAS SOUPS 45433 WITH SCORE 45513.9
AT ITER 2926 NEW BEST:: SOT 210602 SOS 80424 HAS SOPS 61022 HAS SOUS 53411 HAS SOUPS 45433 WITH SCORE 45513.424
AT ITER 2937 NEW BEST:: SOT 210551 SOS 80340 HAS SOPS 60905 HAS SOUS 53309 HAS SOUPS 45331 WITH SCORE 45411.34
AT ITER 2945 NEW BEST:: SOT 210551 SOS 80231 HAS SOPS 60796 HAS SOUS 53200 HAS SOUPS 45222 WITH SCORE 45302.231
AT ITER 2961 NEW BEST:: SOT 210510 SOS 80212 HAS SOPS 60740 HAS SOUS 53159 HAS SOUPS 45181 WITH SCORE 45261.212
AT ITER 2963 NEW BEST:: SOT 210504 SOS 80151 HAS SOPS 60679 HAS SOUS 53098 HAS SOUPS 45120 WITH SCORE 45200.151
AT ITER 2966 NEW BEST:: SOT 210444 SOS 80145 HAS SOPS 60673 HAS SOUS 53085 HAS SOUPS 45107 WITH SCORE 45187.145
AT ITER 2977 NEW BEST:: SOT 210457 SOS 80154 HAS SOPS 60682 HAS SOUS 53079 HAS SOUPS 45101 WITH SCORE 45181.154
AT ITER 2980 NEW BEST:: SOT 210454 SOS 80140 HAS SOPS 60668 HAS SOUS 53076 HAS SOUPS 45098 WITH SCORE 45178.14
AT ITER 2983 NEW BEST:: SOT 210439 SOS 80125 HAS SOPS 60653 HAS SOUS 53046 HAS SOUPS 45068 WITH SCORE 45148.125
AT ITER 3000 NEW BEST:: SOT 210399 SOS 79947 HAS SOPS 60545 HAS SOUS 52993 HAS SOUPS 45015 WITH SCORE 45094.947
AT ITER 3009 NEW BEST:: SOT 210476 SOS 79876 HAS SOPS 60527 HAS SOUS 52909 HAS SOUPS 44981 WITH SCORE 45060.876
AT ITER 3010 NEW BEST:: SOT 210522 SOS 79826 HAS SOPS 60477 HAS SOUS 52884 HAS SOUPS 44956 WITH SCORE 45035.826
AT ITER 3013 NEW BEST:: SOT 210538 SOS 79810 HAS SOPS 60461 HAS SOUS 52868 HAS SOUPS 44940 WITH SCORE 45019.81
AT ITER 3018 NEW BEST:: SOT 210406 SOS 79710 HAS SOPS 60361 HAS SOUS 52768 HAS SOUPS 44840 WITH SCORE 44919.71
AT ITER 3022 NEW BEST:: SOT 210358 SOS 79738 HAS SOPS 60308 HAS SOUS 52720 HAS SOUPS 44792 WITH SCORE 44871.738
AT ITER 3024 NEW BEST:: SOT 210345 SOS 79725 HAS SOPS 60292 HAS SOUS 52714 HAS SOUPS 44786 WITH SCORE 44865.725
AT ITER 3027 NEW BEST:: SOT 210368 SOS 79584 HAS SOPS 60151 HAS SOUS 52573 HAS SOUPS 44645 WITH SCORE 44724.584
AT ITER 3040 NEW BEST:: SOT 210335 SOS 79237 HAS SOPS 59804 HAS SOUS 52507 HAS SOUPS 44579 WITH SCORE 44658.237
AT ITER 3047 NEW BEST:: SOT 210325 SOS 79227 HAS SOPS 59756 HAS SOUS 52497 HAS SOUPS 44550 WITH SCORE 44629.227
AT ITER 3055 NEW BEST:: SOT 210322 SOS 79195 HAS SOPS 59750 HAS SOUS 52491 HAS SOUPS 44544 WITH SCORE 44623.195
AT ITER 3070 NEW BEST:: SOT 210227 SOS 79038 HAS SOPS 59622 HAS SOUS 52363 HAS SOUPS 44416 WITH SCORE 44495.038
AT ITER 3082 NEW BEST:: SOT 210078 SOS 79082 HAS SOPS 59575 HAS SOUS 52282 HAS SOUPS 44335 WITH SCORE 44414.082
AT ITER 3128 NEW BEST:: SOT 210077 SOS 79081 HAS SOPS 59573 HAS SOUS 52255 HAS SOUPS 44333 WITH SCORE 44412.081
AT ITER 3133 NEW BEST:: SOT 210077 SOS 79230 HAS SOPS 59558 HAS SOUS 52281 HAS SOUPS 44318 WITH SCORE 44397.23
AT ITER 3146 NEW BEST:: SOT 209993 SOS 79061 HAS SOPS 59421 HAS SOUS 52144 HAS SOUPS 44181 WITH SCORE 44260.061
AT ITER 3152 NEW BEST:: SOT 209919 SOS 78623 HAS SOPS 59403 HAS SOUS 52021 HAS SOUPS 44163 WITH SCORE 44241.623
AT ITER 3161 NEW BEST:: SOT 209864 SOS 78452 HAS SOPS 59232 HAS SOUS 51905 HAS SOUPS 44047 WITH SCORE 44125.452
AT ITER 3180 NEW BEST:: SOT 209766 SOS 78354 HAS SOPS 59085 HAS SOUS 51758 HAS SOUPS 43900 WITH SCORE 43978.354
AT ITER 3181 NEW BEST:: SOT 209747 SOS 78560 HAS SOPS 59066 HAS SOUS 51877 HAS SOUPS 43881 WITH SCORE 43959.56
AT ITER 3197 NEW BEST:: SOT 209690 SOS 78446 HAS SOPS 58952 HAS SOUS 51763 HAS SOUPS 43767 WITH SCORE 43845.446
AT ITER 3199 NEW BEST:: SOT 209532 SOS 78253 HAS SOPS 58759 HAS SOUS 51649 HAS SOUPS 43653 WITH SCORE 43731.253
AT ITER 3213 NEW BEST:: SOT 209445 SOS 78166 HAS SOPS 58672 HAS SOUS 51620 HAS SOUPS 43624 WITH SCORE 43702.166
AT ITER 3267 NEW BEST:: SOT 209445 SOS 78039 HAS SOPS 58545 HAS SOUS 51558 HAS SOUPS 43562 WITH SCORE 43640.039
AT ITER 3270 NEW BEST:: SOT 209405 SOS 77751 HAS SOPS 58505 HAS SOUS 51456 HAS SOUPS 43522 WITH SCORE 43599.751
AT ITER 3280 NEW BEST:: SOT 209436 SOS 77778 HAS SOPS 58497 HAS SOUS 51483 HAS SOUPS 43514 WITH SCORE 43591.778
AT ITER 3296 NEW BEST:: SOT 209436 SOS 77778 HAS SOPS 58497 HAS SOUS 51345 HAS SOUPS 43376 WITH SCORE 43453.778
AT ITER 3312 NEW BEST:: SOT 209388 SOS 77798 HAS SOPS 58442 HAS SOUS 51339 HAS SOUPS 43369 WITH SCORE 43446.798
AT ITER 3342 NEW BEST:: SOT 209361 SOS 77771 HAS SOPS 58415 HAS SOUS 51312 HAS SOUPS 43342 WITH SCORE 43419.771
AT ITER 3372 NEW BEST:: SOT 209589 SOS 78657 HAS SOPS 58112 HAS SOUS 51433 HAS SOUPS 43153 WITH SCORE 43231.657
AT ITER 3377 NEW BEST:: SOT 209729 SOS 79639 HAS SOPS 58066 HAS SOUS 51644 HAS SOUPS 43107 WITH SCORE 43186.639
AT ITER 3392 NEW BEST:: SOT 209722 SOS 79678 HAS SOPS 58048 HAS SOUS 51630 HAS SOUPS 43089 WITH SCORE 43168.678
AT ITER 3419 NEW BEST:: SOT 209722 SOS 79670 HAS SOPS 58040 HAS SOUS 51622 HAS SOUPS 43081 WITH SCORE 43160.67
AT ITER 3441 NEW BEST:: SOT 209720 SOS 79666 HAS SOPS 58036 HAS SOUS 51620 HAS SOUPS 43079 WITH SCORE 43158.666
AT ITER 3448 NEW BEST:: SOT 209699 SOS 78632 HAS SOPS 57002 HAS SOUS 51578 HAS SOUPS 43037 WITH SCORE 43115.632
AT ITER 3469 NEW BEST:: SOT 209680 SOS 78613 HAS SOPS 56964 HAS SOUS 51575 HAS SOUPS 43018 WITH SCORE 43096.613
AT ITER 3484 NEW BEST:: SOT 209692 SOS 78589 HAS SOPS 56940 HAS SOUS 51551 HAS SOUPS 42994 WITH SCORE 43072.589
AT ITER 3488 NEW BEST:: SOT 209689 SOS 78586 HAS SOPS 56932 HAS SOUS 51548 HAS SOUPS 42986 WITH SCORE 43064.586
AT ITER 3501 NEW BEST:: SOT 209673 SOS 79067 HAS SOPS 56916 HAS SOUS 51606 HAS SOUPS 42970 WITH SCORE 43049.067
AT ITER 3514 NEW BEST:: SOT 209704 SOS 79043 HAS SOPS 56892 HAS SOUS 51582 HAS SOUPS 42946 WITH SCORE 43025.043
AT ITER 3520 NEW BEST:: SOT 209620 SOS 78659 HAS SOPS 56508 HAS SOUS 51328 HAS SOUPS 42692 WITH SCORE 42770.659
AT ITER 3529 NEW BEST:: SOT 209596 SOS 78624 HAS SOPS 56449 HAS SOUS 51269 HAS SOUPS 42633 WITH SCORE 42711.624
AT ITER 3539 NEW BEST:: SOT 209492 SOS 78468 HAS SOPS 56293 HAS SOUS 51165 HAS SOUPS 42529 WITH SCORE 42607.468
AT ITER 3546 NEW BEST:: SOT 209492 SOS 78402 HAS SOPS 56227 HAS SOUS 51165 HAS SOUPS 42529 WITH SCORE 42607.402
AT ITER 3550 NEW BEST:: SOT 209441 SOS 78374 HAS SOPS 56199 HAS SOUS 51114 HAS SOUPS 42478 WITH SCORE 42556.374
AT ITER 3554 NEW BEST:: SOT 209431 SOS 78350 HAS SOPS 56175 HAS SOUS 51104 HAS SOUPS 42468 WITH SCORE 42546.35
AT ITER 3558 NEW BEST:: SOT 209397 SOS 78334 HAS SOPS 56159 HAS SOUS 51096 HAS SOUPS 42460 WITH SCORE 42538.334
AT ITER 3579 NEW BEST:: SOT 209358 SOS 78295 HAS SOPS 56035 HAS SOUS 51057 HAS SOUPS 42421 WITH SCORE 42499.295
AT ITER 3586 NEW BEST:: SOT 209157 SOS 78136 HAS SOPS 55876 HAS SOUS 50961 HAS SOUPS 42325 WITH SCORE 42403.136
AT ITER 3588 NEW BEST:: SOT 209209 SOS 78103 HAS SOPS 55843 HAS SOUS 50928 HAS SOUPS 42292 WITH SCORE 42370.103
AT ITER 3597 NEW BEST:: SOT 209259 SOS 78485 HAS SOPS 55893 HAS SOUS 51009 HAS SOUPS 42041 WITH SCORE 42119.485
AT ITER 3615 NEW BEST:: SOT 209247 SOS 78547 HAS SOPS 55879 HAS SOUS 50995 HAS SOUPS 42000 WITH SCORE 42078.547
AT ITER 3635 NEW BEST:: SOT 209137 SOS 78411 HAS SOPS 55743 HAS SOUS 50914 HAS SOUPS 41919 WITH SCORE 41997.411
AT ITER 3642 NEW BEST:: SOT 209101 SOS 78354 HAS SOPS 55686 HAS SOUS 50893 HAS SOUPS 41898 WITH SCORE 41976.354
AT ITER 3644 NEW BEST:: SOT 209138 SOS 78391 HAS SOPS 55724 HAS SOUS 50885 HAS SOUPS 41891 WITH SCORE 41969.391
AT ITER 3650 NEW BEST:: SOT 209160 SOS 78369 HAS SOPS 55702 HAS SOUS 50864 HAS SOUPS 41870 WITH SCORE 41948.369
AT ITER 3669 NEW BEST:: SOT 209157 SOS 78466 HAS SOPS 55799 HAS SOUS 50849 HAS SOUPS 41855 WITH SCORE 41933.466
AT ITER 3678 NEW BEST:: SOT 209156 SOS 78465 HAS SOPS 55797 HAS SOUS 50848 HAS SOUPS 41853 WITH SCORE 41931.465
AT ITER 3692 NEW BEST:: SOT 209156 SOS 78350 HAS SOPS 55674 HAS SOUS 50848 HAS SOUPS 41853 WITH SCORE 41931.35
AT ITER 3705 NEW BEST:: SOT 209156 SOS 78382 HAS SOPS 55666 HAS SOUS 50856 HAS SOUPS 41845 WITH SCORE 41923.382
AT ITER 3707 NEW BEST:: SOT 209129 SOS 78257 HAS SOPS 55639 HAS SOUS 50731 HAS SOUPS 41818 WITH SCORE 41896.257
AT ITER 3713 NEW BEST:: SOT 209122 SOS 78212 HAS SOPS 55625 HAS SOUS 50708 HAS SOUPS 41811 WITH SCORE 41889.212
AT ITER 3723 NEW BEST:: SOT 209114 SOS 78172 HAS SOPS 55585 HAS SOUS 50684 HAS SOUPS 41787 WITH SCORE 41865.172
AT ITER 3726 NEW BEST:: SOT 209110 SOS 78162 HAS SOPS 55575 HAS SOUS 50678 HAS SOUPS 41781 WITH SCORE 41859.162
AT ITER 3737 NEW BEST:: SOT 209242 SOS 78590 HAS SOPS 55493 HAS SOUS 50810 HAS SOUPS 41762 WITH SCORE 41840.59
AT ITER 3787 NEW BEST:: SOT 209090 SOS 78454 HAS SOPS 55357 HAS SOUS 50694 HAS SOUPS 41646 WITH SCORE 41724.454
AT ITER 3808 NEW BEST:: SOT 208921 SOS 77890 HAS SOPS 55357 HAS SOUS 50525 HAS SOUPS 41646 WITH SCORE 41723.89
AT ITER 3812 NEW BEST:: SOT 208920 SOS 77889 HAS SOPS 55356 HAS SOUS 50523 HAS SOUPS 41644 WITH SCORE 41721.889
AT ITER 3840 NEW BEST:: SOT 208910 SOS 77864 HAS SOPS 55331 HAS SOUS 50514 HAS SOUPS 41635 WITH SCORE 41712.864
AT ITER 3848 NEW BEST:: SOT 208907 SOS 77848 HAS SOPS 55315 HAS SOUS 50511 HAS SOUPS 41632 WITH SCORE 41709.848
AT ITER 3869 NEW BEST:: SOT 208902 SOS 77720 HAS SOPS 55187 HAS SOUS 50383 HAS SOUPS 41504 WITH SCORE 41581.72
AT ITER 3899 NEW BEST:: SOT 208893 SOS 77711 HAS SOPS 55178 HAS SOUS 50365 HAS SOUPS 41486 WITH SCORE 41563.711
AT ITER 3908 NEW BEST:: SOT 208791 SOS 77666 HAS SOPS 55133 HAS SOUS 50320 HAS SOUPS 41441 WITH SCORE 41518.666
AT ITER 3916 NEW BEST:: SOT 208671 SOS 77284 HAS SOPS 55104 HAS SOUS 50171 HAS SOUPS 41412 WITH SCORE 41489.284
AT ITER 3928 NEW BEST:: SOT 208501 SOS 77044 HAS SOPS 54957 HAS SOUS 50066 HAS SOUPS 41400 WITH SCORE 41477.044
AT ITER 3953 NEW BEST:: SOT 208486 SOS 76962 HAS SOPS 54884 HAS SOUS 50017 HAS SOUPS 41351 WITH SCORE 41427.962
AT ITER 3955 NEW BEST:: SOT 208515 SOS 76917 HAS SOPS 54839 HAS SOUS 49943 HAS SOUPS 41277 WITH SCORE 41353.917
AT ITER 3977 NEW BEST:: SOT 208411 SOS 76965 HAS SOPS 54887 HAS SOUS 49922 HAS SOUPS 41256 WITH SCORE 41332.965
AT ITER 3986 NEW BEST:: SOT 208346 SOS 76911 HAS SOPS 54755 HAS SOUS 49790 HAS SOUPS 41046 WITH SCORE 41122.911
AT ITER 4012 NEW BEST:: SOT 208314 SOS 76847 HAS SOPS 54691 HAS SOUS 49758 HAS SOUPS 41014 WITH SCORE 41090.847
AT ITER 4047 NEW BEST:: SOT 208303 SOS 76834 HAS SOPS 54656 HAS SOUS 49745 HAS SOUPS 40990 WITH SCORE 41066.834
AT ITER 4050 NEW BEST:: SOT 208301 SOS 76855 HAS SOPS 54656 HAS SOUS 49762 HAS SOUPS 40986 WITH SCORE 41062.855
AT ITER 4093 NEW BEST:: SOT 208307 SOS 76861 HAS SOPS 54662 HAS SOUS 49759 HAS SOUPS 40983 WITH SCORE 41059.861
AT ITER 4099 NEW BEST:: SOT 208325 SOS 76666 HAS SOPS 54627 HAS SOUS 49665 HAS SOUPS 40978 WITH SCORE 41054.666
AT ITER 4167 NEW BEST:: SOT 208305 SOS 76646 HAS SOPS 54603 HAS SOUS 49649 HAS SOUPS 40962 WITH SCORE 41038.646
AT ITER 4178 NEW BEST:: SOT 208293 SOS 76633 HAS SOPS 54590 HAS SOUS 49636 HAS SOUPS 40949 WITH SCORE 41025.633
AT ITER 4190 NEW BEST:: SOT 208315 SOS 76819 HAS SOPS 54612 HAS SOUS 49639 HAS SOUPS 40911 WITH SCORE 40987.819
AT ITER 4247 NEW BEST:: SOT 208327 SOS 76813 HAS SOPS 54606 HAS SOUS 49633 HAS SOUPS 40905 WITH SCORE 40981.813
AT ITER 4248 NEW BEST:: SOT 208323 SOS 76809 HAS SOPS 54602 HAS SOUS 49629 HAS SOUPS 40901 WITH SCORE 40977.809
AT ITER 4255 NEW BEST:: SOT 208323 SOS 76812 HAS SOPS 54602 HAS SOUS 49629 HAS SOUPS 40898 WITH SCORE 40974.812
AT ITER 4280 NEW BEST:: SOT 208323 SOS 76216 HAS SOPS 54602 HAS SOUS 49603 HAS SOUPS 40898 WITH SCORE 40974.216
AT ITER 4333 NEW BEST:: SOT 208137 SOS 76466 HAS SOPS 54852 HAS SOUS 49599 HAS SOUPS 40894 WITH SCORE 40970.466
AT ITER 4335 NEW BEST:: SOT 208137 SOS 76466 HAS SOPS 54852 HAS SOUS 49595 HAS SOUPS 40890 WITH SCORE 40966.466
AT ITER 4391 NEW BEST:: SOT 208137 SOS 76460 HAS SOPS 54852 HAS SOUS 49589 HAS SOUPS 40890 WITH SCORE 40966.46
AT ITER 4407 NEW BEST:: SOT 208116 SOS 76439 HAS SOPS 54831 HAS SOUS 49567 HAS SOUPS 40868 WITH SCORE 40944.439
AT ITER 4423 NEW BEST:: SOT 208116 SOS 76420 HAS SOPS 54812 HAS SOUS 49567 HAS SOUPS 40868 WITH SCORE 40944.42
AT ITER 4451 NEW BEST:: SOT 208126 SOS 76370 HAS SOPS 54762 HAS SOUS 49537 HAS SOUPS 40838 WITH SCORE 40914.37
AT ITER 4453 NEW BEST:: SOT 208104 SOS 76361 HAS SOPS 54753 HAS SOUS 49516 HAS SOUPS 40817 WITH SCORE 40893.361
AT ITER 4465 NEW BEST:: SOT 208084 SOS 76341 HAS SOPS 54713 HAS SOUS 49496 HAS SOUPS 40777 WITH SCORE 40853.341
AT ITER 4467 NEW BEST:: SOT 208072 SOS 76329 HAS SOPS 54701 HAS SOUS 49484 HAS SOUPS 40765 WITH SCORE 40841.329
AT ITER 4484 NEW BEST:: SOT 208008 SOS 76320 HAS SOPS 54627 HAS SOUS 49465 HAS SOUPS 40691 WITH SCORE 40767.32
AT ITER 4528 NEW BEST:: SOT 208008 SOS 76168 HAS SOPS 54540 HAS SOUS 49378 HAS SOUPS 40669 WITH SCORE 40745.168
AT ITER 4532 NEW BEST:: SOT 208116 SOS 76159 HAS SOPS 54531 HAS SOUS 49369 HAS SOUPS 40660 WITH SCORE 40736.159
AT ITER 4534 NEW BEST:: SOT 208099 SOS 76137 HAS SOPS 54509 HAS SOUS 49364 HAS SOUPS 40655 WITH SCORE 40731.137
AT ITER 4535 NEW BEST:: SOT 208051 SOS 76167 HAS SOPS 54278 HAS SOUS 49452 HAS SOUPS 40519 WITH SCORE 40595.167
AT ITER 4552 NEW BEST:: SOT 208031 SOS 76137 HAS SOPS 54258 HAS SOUS 49422 HAS SOUPS 40499 WITH SCORE 40575.137
AT ITER 4574 NEW BEST:: SOT 208031 SOS 76153 HAS SOPS 54242 HAS SOUS 49422 HAS SOUPS 40491 WITH SCORE 40567.153
AT ITER 4600 NEW BEST:: SOT 208037 SOS 76048 HAS SOPS 54137 HAS SOUS 49371 HAS SOUPS 40440 WITH SCORE 40516.048
AT ITER 4614 NEW BEST:: SOT 208035 SOS 76046 HAS SOPS 54133 HAS SOUS 49365 HAS SOUPS 40436 WITH SCORE 40512.046
AT ITER 4617 NEW BEST:: SOT 207926 SOS 76047 HAS SOPS 54134 HAS SOUS 49257 HAS SOUPS 40328 WITH SCORE 40404.047
AT ITER 4620 NEW BEST:: SOT 207860 SOS 75959 HAS SOPS 54046 HAS SOUS 49191 HAS SOUPS 40262 WITH SCORE 40337.959
AT ITER 4630 NEW BEST:: SOT 207845 SOS 75934 HAS SOPS 54021 HAS SOUS 49176 HAS SOUPS 40247 WITH SCORE 40322.934
AT ITER 4646 NEW BEST:: SOT 207841 SOS 75930 HAS SOPS 54020 HAS SOUS 49172 HAS SOUPS 40246 WITH SCORE 40321.93
AT ITER 4675 NEW BEST:: SOT 207835 SOS 75896 HAS SOPS 53986 HAS SOUS 49132 HAS SOUPS 40206 WITH SCORE 40281.896
AT ITER 4679 NEW BEST:: SOT 207802 SOS 75904 HAS SOPS 53994 HAS SOUS 49126 HAS SOUPS 40200 WITH SCORE 40275.904
AT ITER 4681 NEW BEST:: SOT 207755 SOS 76360 HAS SOPS 54450 HAS SOUS 49009 HAS SOUPS 40083 WITH SCORE 40159.36
AT ITER 4732 NEW BEST:: SOT 207755 SOS 76454 HAS SOPS 54544 HAS SOUS 48915 HAS SOUPS 39989 WITH SCORE 40065.454
AT ITER 4777 NEW BEST:: SOT 207743 SOS 76442 HAS SOPS 54520 HAS SOUS 48903 HAS SOUPS 39965 WITH SCORE 40041.442
AT ITER 4787 NEW BEST:: SOT 207681 SOS 76380 HAS SOPS 54458 HAS SOUS 48864 HAS SOUPS 39926 WITH SCORE 40002.38
AT ITER 4794 NEW BEST:: SOT 207634 SOS 76742 HAS SOPS 54228 HAS SOUS 48817 HAS SOUPS 39696 WITH SCORE 39772.742
AT ITER 4806 NEW BEST:: SOT 207592 SOS 76658 HAS SOPS 54228 HAS SOUS 48733 HAS SOUPS 39696 WITH SCORE 39772.658
AT ITER 4814 NEW BEST:: SOT 207566 SOS 76606 HAS SOPS 54176 HAS SOUS 48618 HAS SOUPS 39581 WITH SCORE 39657.606
AT ITER 4818 NEW BEST:: SOT 207528 SOS 76568 HAS SOPS 54138 HAS SOUS 48580 HAS SOUPS 39543 WITH SCORE 39619.568
AT ITER 4819 NEW BEST:: SOT 207525 SOS 76562 HAS SOPS 54129 HAS SOUS 48574 HAS SOUPS 39534 WITH SCORE 39610.562
AT ITER 4827 NEW BEST:: SOT 207525 SOS 76562 HAS SOPS 54129 HAS SOUS 48545 HAS SOUPS 39505 WITH SCORE 39581.562
AT ITER 4830 NEW BEST:: SOT 207523 SOS 76485 HAS SOPS 54200 HAS SOUS 48541 HAS SOUPS 39501 WITH SCORE 39577.485
AT ITER 4845 NEW BEST:: SOT 207533 SOS 76495 HAS SOPS 54176 HAS SOUS 48551 HAS SOUPS 39477 WITH SCORE 39553.495
AT ITER 4847 NEW BEST:: SOT 207522 SOS 76485 HAS SOPS 54166 HAS SOUS 48541 HAS SOUPS 39467 WITH SCORE 39543.485
AT ITER 4860 NEW BEST:: SOT 207522 SOS 76511 HAS SOPS 54024 HAS SOUS 48511 HAS SOUPS 39381 WITH SCORE 39457.511
AT ITER 4871 NEW BEST:: SOT 207522 SOS 76380 HAS SOPS 53893 HAS SOUS 48464 HAS SOUPS 39334 WITH SCORE 39410.38
AT ITER 4875 NEW BEST:: SOT 207521 SOS 76379 HAS SOPS 53887 HAS SOUS 48458 HAS SOUPS 39328 WITH SCORE 39404.379
AT ITER 4884 NEW BEST:: SOT 207521 SOS 76302 HAS SOPS 53887 HAS SOUS 48458 HAS SOUPS 39328 WITH SCORE 39404.302
AT ITER 4893 NEW BEST:: SOT 207524 SOS 76234 HAS SOPS 53819 HAS SOUS 48424 HAS SOUPS 39294 WITH SCORE 39370.234
AT ITER 4918 NEW BEST:: SOT 207524 SOS 76250 HAS SOPS 53819 HAS SOUS 48420 HAS SOUPS 39286 WITH SCORE 39362.25
AT ITER 4944 NEW BEST:: SOT 207395 SOS 76150 HAS SOPS 53719 HAS SOUS 48361 HAS SOUPS 39227 WITH SCORE 39303.15
AT ITER 4946 NEW BEST:: SOT 207530 SOS 76060 HAS SOPS 53695 HAS SOUS 48352 HAS SOUPS 39218 WITH SCORE 39294.06
AT ITER 4951 NEW BEST:: SOT 207530 SOS 76130 HAS SOPS 53625 HAS SOUS 48352 HAS SOUPS 39183 WITH SCORE 39259.13
AT ITER 4952 NEW BEST:: SOT 207528 SOS 76126 HAS SOPS 53621 HAS SOUS 48348 HAS SOUPS 39179 WITH SCORE 39255.126
AT ITER 4959 NEW BEST:: SOT 207506 SOS 76110 HAS SOPS 53605 HAS SOUS 48336 HAS SOUPS 39167 WITH SCORE 39243.11
AT ITER 4969 NEW BEST:: SOT 207506 SOS 76087 HAS SOPS 53582 HAS SOUS 48336 HAS SOUPS 39167 WITH SCORE 39243.087
AT ITER 4970 NEW BEST:: SOT 207495 SOS 76065 HAS SOPS 53560 HAS SOUS 48325 HAS SOUPS 39156 WITH SCORE 39232.065
AT ITER 4975 NEW BEST:: SOT 207413 SOS 76024 HAS SOPS 53519 HAS SOUS 48284 HAS SOUPS 39115 WITH SCORE 39191.024
AT ITER 4976 NEW BEST:: SOT 207397 SOS 75943 HAS SOPS 53496 HAS SOUS 48261 HAS SOUPS 39092 WITH SCORE 39167.943
AT ITER 4988 NEW BEST:: SOT 207333 SOS 75887 HAS SOPS 53412 HAS SOUS 48229 HAS SOUPS 39032 WITH SCORE 39107.887
AT ITER 4998 NEW BEST:: SOT 207329 SOS 75860 HAS SOPS 53385 HAS SOUS 48202 HAS SOUPS 39005 WITH SCORE 39080.86
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-24a-CTLFireability-00 (AU( ( ( ( ((potential((tk(P112)>=1)))) | ((potential((tk(P296)>=1)))) ) & (! ((potential((tk(P174)>=1))))) ) | (AG( ((potential((tk(P3)>=1)))))) ) , (EF( ( ((potential((tk(P33)>=1) & (tk(P441)>=1)))) & ((potential((tk(P92)>=1) & (tk(P377)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-24a-CTLFireability-01 (EX( ( (EF( ((potential((tk(P15)>=1) & (tk(P414)>=1)))))) & (AF( ((potential((tk(P148)>=1) & (tk(P263)>=1)))))) )))
PROPERTY: AutoFlight-PT-24a-CTLFireability-02 (! (AG( (AG( (! ((potential((tk(P119)>=1) & (tk(P560)>=1))))))))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-03 (EG( (AF( ((potential((tk(P140)>=1))))))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-04 (AU( (! ( ( ((potential((tk(P52)>=1)))) & ((potential((tk(P90)>=1)))) ) & ( ((potential((tk(P80)>=1)))) & ((potential((tk(P25)>=1)))) ) )) , (EG( ( ((potential((tk(P61)>=1) & (tk(P445)>=1)))) | ((potential((tk(P85)>=1) & (tk(P376)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-24a-CTLFireability-05 (AF( (AF( (EG( ((potential((tk(P284)>=1))))))))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-06 (EU( ((potential((tk(P282)>=1)))) , (! (AF( ((potential((tk(P32)>=1) & (tk(P487)>=1))))))) ))
PROPERTY: AutoFlight-PT-24a-CTLFireability-07 (EG( ( ( ( ((potential((tk(P113)>=1) & (tk(P258)>=1)))) | ((potential((tk(P599)>=1) & (tk(P606)>=1)))) ) | ( (! ((potential((tk(P134)>=1) & (tk(P431)>=1))))) | ((potential((tk(P42)>=1)))) ) ) | ( ((potential((tk(P67)>=1) & (tk(P517)>=1)))) & (EF( ((potential((tk(P46)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-24a-CTLFireability-08 ( (EG( ( ( ((potential((tk(P35)>=1) & (tk(P488)>=1)))) | ((potential((tk(P179)>=1) & (tk(P483)>=1)))) ) | (! ( ((potential((tk(P407)>=1)))) | ((potential((tk(P174)>=1)))) )) ))) | (EX( (EF( ( ((potential((tk(P22)>=1) & (tk(P367)>=1)))) & ((potential((tk(P95)>=1)))) ))))) )
PROPERTY: AutoFlight-PT-24a-CTLFireability-09 ( (EG( (! ( ((potential((tk(P119)>=1)))) & ( ((potential((tk(P272)>=1)))) | ((potential((tk(P140)>=1)))) ) )))) | ( (! ((potential((tk(P102)>=1))))) & (! ( (AF( ((potential((tk(P188)>=1) & (tk(P501)>=1)))))) | ((potential((tk(P91)>=1)))) )) ) )
PROPERTY: AutoFlight-PT-24a-CTLFireability-10 ( ( (AX( (! ( ((potential((tk(P24)>=1)))) & ((potential((tk(P211)>=1) & (tk(P544)>=1)))) )))) | ( (AF( ( ((potential((tk(P180)>=1)))) & ((potential((tk(P79)>=1) & (tk(P350)>=1)))) ))) | (! (EX( ((potential((tk(P155)>=1) & (tk(P336)>=1))))))) ) ) & ( (EU( (! ((potential((tk(P92)>=1) & (tk(P425)>=1))))) , ( ((potential((tk(P70)>=1) & (tk(P518)>=1)))) | ((potential((tk(P277)>=1)))) ) )) & (! (! (! ( ((potential((tk(P118)>=1)))) | ((potential((tk(P89)>=1) & (tk(P449)>=1)))) )))) ) )
PROPERTY: AutoFlight-PT-24a-CTLFireability-11 (AF( (EG( ( ( ((potential((tk(P120)>=1) & (tk(P331)>=1)))) | ((potential((tk(P302)>=1)))) ) & ( ((potential((tk(P85)>=1) & (tk(P254)>=1)))) & ((potential((tk(P221)>=1) & (tk(P567)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-12 (! (AF( ((potential((tk(P141)>=1) & (tk(P262)>=1)))))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-13 (AF( (! (AF( ((potential((tk(P57)>=1) & (tk(P250)>=1)))))))))
PROPERTY: AutoFlight-PT-24a-CTLFireability-14 ( (EG( (! ((potential((tk(P73)>=1))))))) | ((potential((tk(P292)>=1)))) )
PROPERTY: AutoFlight-PT-24a-CTLFireability-15 ( (AU( ( (! ((potential((tk(P156)>=1) & (tk(P361)>=1))))) | ( ((potential((tk(P108)>=1)))) & ((potential((tk(P15)>=1) & (tk(P414)>=1)))) ) ) , ( (! ((potential((tk(P43)>=1) & (tk(P248)>=1))))) & ( ((potential((tk(P112)>=1)))) & ((potential((tk(P399)>=1)))) ) ) )) | ((potential((tk(P239)>=1) & (tk(P603)>=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="AutoFlight-PT-24a"
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 AutoFlight-PT-24a, 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 r003-smll-158897508600484"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a 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 ;