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.r138-smll-158961502600276.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 Raft-PT-09, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600276
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 Raft-PT-09-CTLFireability-00
FORMULA_NAME Raft-PT-09-CTLFireability-01
FORMULA_NAME Raft-PT-09-CTLFireability-02
FORMULA_NAME Raft-PT-09-CTLFireability-03
FORMULA_NAME Raft-PT-09-CTLFireability-04
FORMULA_NAME Raft-PT-09-CTLFireability-05
FORMULA_NAME Raft-PT-09-CTLFireability-06
FORMULA_NAME Raft-PT-09-CTLFireability-07
FORMULA_NAME Raft-PT-09-CTLFireability-08
FORMULA_NAME Raft-PT-09-CTLFireability-09
FORMULA_NAME Raft-PT-09-CTLFireability-10
FORMULA_NAME Raft-PT-09-CTLFireability-11
FORMULA_NAME Raft-PT-09-CTLFireability-12
FORMULA_NAME Raft-PT-09-CTLFireability-13
FORMULA_NAME Raft-PT-09-CTLFireability-14
FORMULA_NAME Raft-PT-09-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589807560797

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 09
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: 413 places, 710 transitions, 2728 arcs.
AT ITER 0 NEW BEST:: SOT 258253 SOS 174932 HAS SOPS 174896 HAS SOUS 137429 HAS SOUPS 137420 WITH SCORE 137594.932
AT ITER 1 NEW BEST:: SOT 258253 SOS 174832 HAS SOPS 174796 HAS SOUS 137429 HAS SOUPS 137420 WITH SCORE 137594.832
AT ITER 6 NEW BEST:: SOT 258209 SOS 174786 HAS SOPS 174740 HAS SOUS 137240 HAS SOUPS 137222 WITH SCORE 137396.786
AT ITER 10 NEW BEST:: SOT 258209 SOS 174660 HAS SOPS 174614 HAS SOUS 137240 HAS SOUPS 137222 WITH SCORE 137396.66
AT ITER 11 NEW BEST:: SOT 258130 SOS 173445 HAS SOPS 173399 HAS SOUS 136935 HAS SOUPS 136917 WITH SCORE 137090.445
AT ITER 12 NEW BEST:: SOT 257782 SOS 173070 HAS SOPS 172984 HAS SOUS 136559 HAS SOUPS 136502 WITH SCORE 136675.07
AT ITER 13 NEW BEST:: SOT 251515 SOS 165045 HAS SOPS 164959 HAS SOUS 129719 HAS SOUPS 129662 WITH SCORE 129827.045
AT ITER 18 NEW BEST:: SOT 251515 SOS 165045 HAS SOPS 164959 HAS SOUS 129689 HAS SOUPS 129632 WITH SCORE 129797.045
AT ITER 21 NEW BEST:: SOT 251577 SOS 164635 HAS SOPS 164549 HAS SOUS 129689 HAS SOUPS 129632 WITH SCORE 129796.635
AT ITER 23 NEW BEST:: SOT 249207 SOS 169497 HAS SOPS 163404 HAS SOUS 128914 HAS SOUPS 128555 WITH SCORE 128724.497
AT ITER 25 NEW BEST:: SOT 249207 SOS 168115 HAS SOPS 162022 HAS SOUS 128914 HAS SOUPS 128555 WITH SCORE 128723.115
AT ITER 26 NEW BEST:: SOT 249207 SOS 168089 HAS SOPS 161996 HAS SOUS 128888 HAS SOUPS 128529 WITH SCORE 128697.089
AT ITER 27 NEW BEST:: SOT 248857 SOS 168090 HAS SOPS 161971 HAS SOUS 128673 HAS SOUPS 128289 WITH SCORE 128457.09
AT ITER 30 NEW BEST:: SOT 248765 SOS 167804 HAS SOPS 161670 HAS SOUS 128208 HAS SOUPS 127810 WITH SCORE 127977.804
AT ITER 31 NEW BEST:: SOT 248462 SOS 167489 HAS SOPS 161288 HAS SOUS 127892 HAS SOUPS 127428 WITH SCORE 127595.489
AT ITER 32 NEW BEST:: SOT 248248 SOS 167124 HAS SOPS 160895 HAS SOUS 127321 HAS SOUPS 126855 WITH SCORE 127022.124
AT ITER 34 NEW BEST:: SOT 248060 SOS 167240 HAS SOPS 160995 HAS SOUS 127289 HAS SOUPS 126808 WITH SCORE 126975.24
AT ITER 37 NEW BEST:: SOT 248060 SOS 167275 HAS SOPS 160879 HAS SOUS 127176 HAS SOUPS 126695 WITH SCORE 126862.275
AT ITER 39 NEW BEST:: SOT 248060 SOS 167275 HAS SOPS 160879 HAS SOUS 127141 HAS SOUPS 126660 WITH SCORE 126827.275
AT ITER 42 NEW BEST:: SOT 247931 SOS 167203 HAS SOPS 160745 HAS SOUS 127105 HAS SOUPS 126624 WITH SCORE 126791.203
AT ITER 43 NEW BEST:: SOT 247493 SOS 167569 HAS SOPS 161083 HAS SOUS 126920 HAS SOUPS 126439 WITH SCORE 126606.569
AT ITER 50 NEW BEST:: SOT 247493 SOS 167494 HAS SOPS 161008 HAS SOUS 126845 HAS SOUPS 126364 WITH SCORE 126531.494
AT ITER 52 NEW BEST:: SOT 247756 SOS 166341 HAS SOPS 159855 HAS SOUS 126775 HAS SOUPS 126294 WITH SCORE 126460.341
AT ITER 53 NEW BEST:: SOT 246878 SOS 165310 HAS SOPS 158810 HAS SOUS 125784 HAS SOUPS 125252 WITH SCORE 125417.31
AT ITER 54 NEW BEST:: SOT 246878 SOS 165118 HAS SOPS 158810 HAS SOUS 125759 HAS SOUPS 125227 WITH SCORE 125392.118
AT ITER 56 NEW BEST:: SOT 246190 SOS 164367 HAS SOPS 158005 HAS SOUS 124918 HAS SOUPS 124364 WITH SCORE 124528.367
AT ITER 57 NEW BEST:: SOT 246190 SOS 164366 HAS SOPS 157924 HAS SOUS 124899 HAS SOUPS 124305 WITH SCORE 124469.366
AT ITER 59 NEW BEST:: SOT 245959 SOS 164261 HAS SOPS 157800 HAS SOUS 124733 HAS SOUPS 124139 WITH SCORE 124303.261
AT ITER 60 NEW BEST:: SOT 245625 SOS 163649 HAS SOPS 157184 HAS SOUS 123865 HAS SOUPS 123271 WITH SCORE 123434.649
AT ITER 61 NEW BEST:: SOT 245612 SOS 163438 HAS SOPS 156965 HAS SOUS 123449 HAS SOUPS 122855 WITH SCORE 123018.438
AT ITER 62 NEW BEST:: SOT 245101 SOS 163042 HAS SOPS 156510 HAS SOUS 122968 HAS SOUPS 122364 WITH SCORE 122527.042
AT ITER 64 NEW BEST:: SOT 245015 SOS 162661 HAS SOPS 156129 HAS SOUS 122815 HAS SOUPS 122211 WITH SCORE 122373.661
AT ITER 67 NEW BEST:: SOT 244973 SOS 162563 HAS SOPS 156031 HAS SOUS 122731 HAS SOUPS 122127 WITH SCORE 122289.563
AT ITER 68 NEW BEST:: SOT 244973 SOS 162447 HAS SOPS 155915 HAS SOUS 122614 HAS SOUPS 122010 WITH SCORE 122172.447
AT ITER 71 NEW BEST:: SOT 244722 SOS 162171 HAS SOPS 155823 HAS SOUS 122493 HAS SOUPS 121899 WITH SCORE 122061.171
AT ITER 75 NEW BEST:: SOT 244190 SOS 161618 HAS SOPS 155206 HAS SOUS 121905 HAS SOUPS 121251 WITH SCORE 121412.618
AT ITER 76 NEW BEST:: SOT 243674 SOS 161485 HAS SOPS 155035 HAS SOUS 121705 HAS SOUPS 121048 WITH SCORE 121209.485
AT ITER 78 NEW BEST:: SOT 243674 SOS 161428 HAS SOPS 154978 HAS SOUS 121705 HAS SOUPS 121048 WITH SCORE 121209.428
AT ITER 81 NEW BEST:: SOT 243674 SOS 160872 HAS SOPS 154422 HAS SOUS 121705 HAS SOUPS 121048 WITH SCORE 121208.872
AT ITER 82 NEW BEST:: SOT 243318 SOS 160516 HAS SOPS 154066 HAS SOUS 121349 HAS SOUPS 120692 WITH SCORE 120852.516
AT ITER 83 NEW BEST:: SOT 243652 SOS 160287 HAS SOPS 153863 HAS SOUS 121321 HAS SOUPS 120664 WITH SCORE 120824.287
AT ITER 84 NEW BEST:: SOT 243629 SOS 160218 HAS SOPS 153794 HAS SOUS 121275 HAS SOUPS 120618 WITH SCORE 120778.218
AT ITER 86 NEW BEST:: SOT 243622 SOS 160203 HAS SOPS 153779 HAS SOUS 121275 HAS SOUPS 120618 WITH SCORE 120778.203
AT ITER 89 NEW BEST:: SOT 243622 SOS 160153 HAS SOPS 153729 HAS SOUS 121245 HAS SOUPS 120588 WITH SCORE 120748.153
AT ITER 90 NEW BEST:: SOT 243622 SOS 158552 HAS SOPS 152128 HAS SOUS 121245 HAS SOUPS 120588 WITH SCORE 120746.552
AT ITER 91 NEW BEST:: SOT 240571 SOS 167633 HAS SOPS 152247 HAS SOUS 121196 HAS SOUPS 120216 WITH SCORE 120383.633
AT ITER 93 NEW BEST:: SOT 240415 SOS 167630 HAS SOPS 152238 HAS SOUS 121154 HAS SOUPS 120174 WITH SCORE 120341.63
AT ITER 94 NEW BEST:: SOT 240203 SOS 167303 HAS SOPS 151744 HAS SOUS 120660 HAS SOUPS 119680 WITH SCORE 119847.303
AT ITER 100 NEW BEST:: SOT 240193 SOS 167293 HAS SOPS 151734 HAS SOUS 120650 HAS SOUPS 119670 WITH SCORE 119837.293
AT ITER 101 NEW BEST:: SOT 239491 SOS 166819 HAS SOPS 151146 HAS SOUS 120176 HAS SOUPS 119158 WITH SCORE 119324.819
AT ITER 103 NEW BEST:: SOT 239491 SOS 165363 HAS SOPS 150124 HAS SOUS 120128 HAS SOUPS 119110 WITH SCORE 119275.363
AT ITER 104 NEW BEST:: SOT 239009 SOS 164870 HAS SOPS 149559 HAS SOUS 119466 HAS SOUPS 118415 WITH SCORE 118579.87
AT ITER 108 NEW BEST:: SOT 238652 SOS 164508 HAS SOPS 149178 HAS SOUS 119132 HAS SOUPS 118081 WITH SCORE 118245.508
AT ITER 109 NEW BEST:: SOT 238188 SOS 164026 HAS SOPS 148649 HAS SOUS 118603 HAS SOUPS 117552 WITH SCORE 117716.026
AT ITER 110 NEW BEST:: SOT 234029 SOS 167574 HAS SOPS 145480 HAS SOUS 116424 HAS SOUPS 115109 WITH SCORE 115276.574
AT ITER 115 NEW BEST:: SOT 233491 SOS 167042 HAS SOPS 144905 HAS SOUS 115659 HAS SOUPS 114317 WITH SCORE 114484.042
AT ITER 118 NEW BEST:: SOT 233407 SOS 166958 HAS SOPS 144821 HAS SOUS 115575 HAS SOUPS 114233 WITH SCORE 114399.958
AT ITER 119 NEW BEST:: SOT 233059 SOS 166610 HAS SOPS 144473 HAS SOUS 115224 HAS SOUPS 113882 WITH SCORE 114048.61
AT ITER 120 NEW BEST:: SOT 232980 SOS 166525 HAS SOPS 144142 HAS SOUS 115046 HAS SOUPS 113703 WITH SCORE 113869.525
AT ITER 121 NEW BEST:: SOT 232980 SOS 166451 HAS SOPS 144074 HAS SOUS 115009 HAS SOUPS 113666 WITH SCORE 113832.451
AT ITER 122 NEW BEST:: SOT 232980 SOS 166415 HAS SOPS 144074 HAS SOUS 115009 HAS SOUPS 113666 WITH SCORE 113832.415
AT ITER 123 NEW BEST:: SOT 233063 SOS 165934 HAS SOPS 143593 HAS SOUS 115008 HAS SOUPS 113665 WITH SCORE 113830.934
AT ITER 126 NEW BEST:: SOT 233063 SOS 165869 HAS SOPS 143528 HAS SOUS 115008 HAS SOUPS 113665 WITH SCORE 113830.869
AT ITER 128 NEW BEST:: SOT 233063 SOS 165809 HAS SOPS 143692 HAS SOUS 115003 HAS SOUPS 113660 WITH SCORE 113825.809
AT ITER 129 NEW BEST:: SOT 233063 SOS 164646 HAS SOPS 142529 HAS SOUS 114979 HAS SOUPS 113636 WITH SCORE 113800.646
AT ITER 130 NEW BEST:: SOT 233063 SOS 164472 HAS SOPS 142355 HAS SOUS 114979 HAS SOUPS 113636 WITH SCORE 113800.472
AT ITER 131 NEW BEST:: SOT 233063 SOS 164473 HAS SOPS 142356 HAS SOUS 114974 HAS SOUPS 113631 WITH SCORE 113795.473
AT ITER 132 NEW BEST:: SOT 233087 SOS 163900 HAS SOPS 142047 HAS SOUS 114966 HAS SOUPS 113623 WITH SCORE 113786.9
AT ITER 133 NEW BEST:: SOT 232895 SOS 163708 HAS SOPS 141768 HAS SOUS 114687 HAS SOUPS 113344 WITH SCORE 113507.708
AT ITER 134 NEW BEST:: SOT 232895 SOS 163682 HAS SOPS 141742 HAS SOUS 114686 HAS SOUPS 113343 WITH SCORE 113506.682
AT ITER 138 NEW BEST:: SOT 232895 SOS 163688 HAS SOPS 141742 HAS SOUS 114680 HAS SOUPS 113337 WITH SCORE 113500.688
AT ITER 139 NEW BEST:: SOT 232508 SOS 163214 HAS SOPS 141268 HAS SOUS 114277 HAS SOUPS 112934 WITH SCORE 113097.214
AT ITER 141 NEW BEST:: SOT 232320 SOS 162991 HAS SOPS 140990 HAS SOUS 113983 HAS SOUPS 112640 WITH SCORE 112802.991
AT ITER 142 NEW BEST:: SOT 232320 SOS 162987 HAS SOPS 140986 HAS SOUS 113981 HAS SOUPS 112638 WITH SCORE 112800.987
AT ITER 143 NEW BEST:: SOT 232409 SOS 162513 HAS SOPS 140512 HAS SOUS 113803 HAS SOUPS 112460 WITH SCORE 112622.513
AT ITER 148 NEW BEST:: SOT 232409 SOS 162359 HAS SOPS 140488 HAS SOUS 113803 HAS SOUPS 112460 WITH SCORE 112622.359
AT ITER 161 NEW BEST:: SOT 231969 SOS 162003 HAS SOPS 140167 HAS SOUS 113363 HAS SOUPS 112020 WITH SCORE 112182.003
AT ITER 163 NEW BEST:: SOT 231583 SOS 161617 HAS SOPS 139781 HAS SOUS 112916 HAS SOUPS 111573 WITH SCORE 111734.617
AT ITER 165 NEW BEST:: SOT 231583 SOS 161425 HAS SOPS 139781 HAS SOUS 112916 HAS SOUPS 111573 WITH SCORE 111734.425
AT ITER 166 NEW BEST:: SOT 231300 SOS 161218 HAS SOPS 139538 HAS SOUS 112350 HAS SOUPS 111007 WITH SCORE 111168.218
AT ITER 171 NEW BEST:: SOT 230881 SOS 161484 HAS SOPS 139813 HAS SOUS 112283 HAS SOUPS 110940 WITH SCORE 111101.484
AT ITER 174 NEW BEST:: SOT 230907 SOS 161538 HAS SOPS 139765 HAS SOUS 112273 HAS SOUPS 110930 WITH SCORE 111091.538
AT ITER 175 NEW BEST:: SOT 230625 SOS 161256 HAS SOPS 139483 HAS SOUS 111991 HAS SOUPS 110648 WITH SCORE 110809.256
AT ITER 179 NEW BEST:: SOT 230625 SOS 161266 HAS SOPS 139493 HAS SOUS 111959 HAS SOUPS 110616 WITH SCORE 110777.266
AT ITER 180 NEW BEST:: SOT 226037 SOS 161369 HAS SOPS 136172 HAS SOUS 109109 HAS SOUPS 107510 WITH SCORE 107671.369
AT ITER 186 NEW BEST:: SOT 225954 SOS 161139 HAS SOPS 135899 HAS SOUS 108812 HAS SOUPS 107213 WITH SCORE 107374.139
AT ITER 190 NEW BEST:: SOT 225950 SOS 161135 HAS SOPS 135891 HAS SOUS 108803 HAS SOUPS 107204 WITH SCORE 107365.135
AT ITER 191 NEW BEST:: SOT 225923 SOS 161108 HAS SOPS 135837 HAS SOUS 108749 HAS SOUPS 107150 WITH SCORE 107311.108
AT ITER 193 NEW BEST:: SOT 225923 SOS 161279 HAS SOPS 136008 HAS SOUS 108684 HAS SOUPS 107085 WITH SCORE 107246.279
AT ITER 194 NEW BEST:: SOT 225876 SOS 160979 HAS SOPS 135708 HAS SOUS 108541 HAS SOUPS 106942 WITH SCORE 107102.979
AT ITER 196 NEW BEST:: SOT 225876 SOS 160840 HAS SOPS 135785 HAS SOUS 108532 HAS SOUPS 106933 WITH SCORE 107093.84
AT ITER 198 NEW BEST:: SOT 225846 SOS 160580 HAS SOPS 135498 HAS SOUS 108472 HAS SOUPS 106873 WITH SCORE 107033.58
AT ITER 199 NEW BEST:: SOT 224800 SOS 159500 HAS SOPS 134166 HAS SOUS 107011 HAS SOUPS 105412 WITH SCORE 105571.5
AT ITER 207 NEW BEST:: SOT 224834 SOS 159534 HAS SOPS 134067 HAS SOUS 106823 HAS SOUPS 105196 WITH SCORE 105355.534
AT ITER 208 NEW BEST:: SOT 224586 SOS 159286 HAS SOPS 134013 HAS SOUS 106759 HAS SOUPS 105134 WITH SCORE 105293.286
AT ITER 209 NEW BEST:: SOT 224586 SOS 159280 HAS SOPS 134009 HAS SOUS 106759 HAS SOUPS 105134 WITH SCORE 105293.28
AT ITER 214 NEW BEST:: SOT 224586 SOS 159128 HAS SOPS 133857 HAS SOUS 106759 HAS SOUPS 105134 WITH SCORE 105293.128
AT ITER 218 NEW BEST:: SOT 224498 SOS 158980 HAS SOPS 133659 HAS SOUS 106467 HAS SOUPS 104842 WITH SCORE 105000.98
AT ITER 219 NEW BEST:: SOT 223962 SOS 158607 HAS SOPS 133616 HAS SOUS 106244 HAS SOUPS 104619 WITH SCORE 104777.607
AT ITER 221 NEW BEST:: SOT 223878 SOS 158403 HAS SOPS 133448 HAS SOUS 106075 HAS SOUPS 104450 WITH SCORE 104608.403
AT ITER 222 NEW BEST:: SOT 223863 SOS 158268 HAS SOPS 133318 HAS SOUS 106004 HAS SOUPS 104379 WITH SCORE 104537.268
AT ITER 225 NEW BEST:: SOT 223782 SOS 158187 HAS SOPS 133156 HAS SOUS 105842 HAS SOUPS 104217 WITH SCORE 104375.187
AT ITER 228 NEW BEST:: SOT 223586 SOS 158204 HAS SOPS 133173 HAS SOUS 105751 HAS SOUPS 104126 WITH SCORE 104284.204
AT ITER 233 NEW BEST:: SOT 223594 SOS 158212 HAS SOPS 133181 HAS SOUS 105743 HAS SOUPS 104118 WITH SCORE 104276.212
AT ITER 237 NEW BEST:: SOT 223594 SOS 158140 HAS SOPS 133181 HAS SOUS 105743 HAS SOUPS 104118 WITH SCORE 104276.14
AT ITER 240 NEW BEST:: SOT 222308 SOS 156676 HAS SOPS 132037 HAS SOUS 104443 HAS SOUPS 102818 WITH SCORE 102974.676
AT ITER 241 NEW BEST:: SOT 222308 SOS 156500 HAS SOPS 131935 HAS SOUS 104415 HAS SOUPS 102790 WITH SCORE 102946.5
AT ITER 243 NEW BEST:: SOT 222305 SOS 156339 HAS SOPS 131506 HAS SOUS 104016 HAS SOUPS 102391 WITH SCORE 102547.339
AT ITER 244 NEW BEST:: SOT 222305 SOS 156127 HAS SOPS 131294 HAS SOUS 104016 HAS SOUPS 102391 WITH SCORE 102547.127
AT ITER 245 NEW BEST:: SOT 222305 SOS 155945 HAS SOPS 131112 HAS SOUS 103972 HAS SOUPS 102347 WITH SCORE 102502.945
AT ITER 246 NEW BEST:: SOT 222305 SOS 155944 HAS SOPS 131111 HAS SOUS 103911 HAS SOUPS 102286 WITH SCORE 102441.944
AT ITER 247 NEW BEST:: SOT 222305 SOS 155944 HAS SOPS 131111 HAS SOUS 103876 HAS SOUPS 102251 WITH SCORE 102406.944
AT ITER 248 NEW BEST:: SOT 222104 SOS 156759 HAS SOPS 131017 HAS SOUS 103855 HAS SOUPS 102207 WITH SCORE 102363.759
AT ITER 249 NEW BEST:: SOT 221201 SOS 155903 HAS SOPS 130605 HAS SOUS 103467 HAS SOUPS 101819 WITH SCORE 101974.903
AT ITER 250 NEW BEST:: SOT 221107 SOS 155741 HAS SOPS 130436 HAS SOUS 103298 HAS SOUPS 101650 WITH SCORE 101805.741
AT ITER 253 NEW BEST:: SOT 221106 SOS 155740 HAS SOPS 130435 HAS SOUS 103297 HAS SOUPS 101649 WITH SCORE 101804.74
AT ITER 258 NEW BEST:: SOT 220611 SOS 155353 HAS SOPS 130156 HAS SOUS 103018 HAS SOUPS 101370 WITH SCORE 101525.353
AT ITER 259 NEW BEST:: SOT 219771 SOS 154354 HAS SOPS 129132 HAS SOUS 101810 HAS SOUPS 100162 WITH SCORE 100316.354
AT ITER 260 NEW BEST:: SOT 219751 SOS 154334 HAS SOPS 129112 HAS SOUS 101810 HAS SOUPS 100162 WITH SCORE 100316.334
AT ITER 262 NEW BEST:: SOT 219742 SOS 154325 HAS SOPS 129094 HAS SOUS 101783 HAS SOUPS 100135 WITH SCORE 100289.325
AT ITER 263 NEW BEST:: SOT 219707 SOS 154290 HAS SOPS 129054 HAS SOUS 101738 HAS SOUPS 100090 WITH SCORE 100244.29
AT ITER 265 NEW BEST:: SOT 219559 SOS 154077 HAS SOPS 128832 HAS SOUS 101550 HAS SOUPS 99902 WITH SCORE 100056.077
AT ITER 266 NEW BEST:: SOT 219086 SOS 153775 HAS SOPS 129084 HAS SOUS 101412 HAS SOUPS 99855 WITH SCORE 100008.775
AT ITER 267 NEW BEST:: SOT 218956 SOS 153645 HAS SOPS 128935 HAS SOUS 101244 HAS SOUPS 99687 WITH SCORE 99840.645
AT ITER 272 NEW BEST:: SOT 218654 SOS 152681 HAS SOPS 127219 HAS SOUS 100590 HAS SOUPS 99034 WITH SCORE 99186.681
AT ITER 275 NEW BEST:: SOT 218654 SOS 152601 HAS SOPS 127219 HAS SOUS 100590 HAS SOUPS 99034 WITH SCORE 99186.601
AT ITER 278 NEW BEST:: SOT 218332 SOS 152563 HAS SOPS 127181 HAS SOUS 100480 HAS SOUPS 98924 WITH SCORE 99076.563
AT ITER 279 NEW BEST:: SOT 217280 SOS 151511 HAS SOPS 126664 HAS SOUS 100150 HAS SOUPS 98594 WITH SCORE 98745.511
AT ITER 281 NEW BEST:: SOT 217199 SOS 151483 HAS SOPS 126623 HAS SOUS 100069 HAS SOUPS 98513 WITH SCORE 98664.483
AT ITER 285 NEW BEST:: SOT 217221 SOS 151505 HAS SOPS 126645 HAS SOUS 100068 HAS SOUPS 98512 WITH SCORE 98663.505
AT ITER 286 NEW BEST:: SOT 216959 SOS 151335 HAS SOPS 127185 HAS SOUS 99661 HAS SOUPS 98105 WITH SCORE 98256.335
AT ITER 290 NEW BEST:: SOT 213593 SOS 150153 HAS SOPS 124451 HAS SOUS 97034 HAS SOUPS 95358 WITH SCORE 95508.153
AT ITER 291 NEW BEST:: SOT 213019 SOS 149579 HAS SOPS 123841 HAS SOUS 96512 HAS SOUPS 94778 WITH SCORE 94927.579
AT ITER 293 NEW BEST:: SOT 212977 SOS 149537 HAS SOPS 123799 HAS SOUS 96482 HAS SOUPS 94748 WITH SCORE 94897.537
AT ITER 294 NEW BEST:: SOT 212977 SOS 149537 HAS SOPS 123799 HAS SOUS 96474 HAS SOUPS 94740 WITH SCORE 94889.537
AT ITER 295 NEW BEST:: SOT 212977 SOS 149424 HAS SOPS 123799 HAS SOUS 96474 HAS SOUPS 94740 WITH SCORE 94889.424
AT ITER 297 NEW BEST:: SOT 212977 SOS 149424 HAS SOPS 123799 HAS SOUS 96449 HAS SOUPS 94715 WITH SCORE 94864.424
AT ITER 299 NEW BEST:: SOT 212862 SOS 149194 HAS SOPS 123569 HAS SOUS 96143 HAS SOUPS 94409 WITH SCORE 94558.194
AT ITER 301 NEW BEST:: SOT 212448 SOS 148780 HAS SOPS 123138 HAS SOUS 95695 HAS SOUPS 93961 WITH SCORE 94109.78
AT ITER 302 NEW BEST:: SOT 212474 SOS 148784 HAS SOPS 122996 HAS SOUS 95633 HAS SOUPS 93899 WITH SCORE 94047.784
AT ITER 304 NEW BEST:: SOT 211670 SOS 147855 HAS SOPS 122229 HAS SOUS 94819 HAS SOUPS 93085 WITH SCORE 93232.855
AT ITER 306 NEW BEST:: SOT 211659 SOS 147853 HAS SOPS 122207 HAS SOUS 94797 HAS SOUPS 93063 WITH SCORE 93210.853
AT ITER 307 NEW BEST:: SOT 211562 SOS 147756 HAS SOPS 122056 HAS SOUS 94654 HAS SOUPS 92920 WITH SCORE 93067.756
AT ITER 309 NEW BEST:: SOT 211514 SOS 147744 HAS SOPS 121845 HAS SOUS 94553 HAS SOUPS 92785 WITH SCORE 92932.744
AT ITER 312 NEW BEST:: SOT 211514 SOS 147709 HAS SOPS 121810 HAS SOUS 94553 HAS SOUPS 92785 WITH SCORE 92932.709
AT ITER 316 NEW BEST:: SOT 211373 SOS 147456 HAS SOPS 121545 HAS SOUS 94307 HAS SOUPS 92539 WITH SCORE 92686.456
AT ITER 323 NEW BEST:: SOT 211373 SOS 147371 HAS SOPS 121321 HAS SOUS 94222 HAS SOUPS 92454 WITH SCORE 92601.371
AT ITER 324 NEW BEST:: SOT 211297 SOS 147234 HAS SOPS 121097 HAS SOUS 94151 HAS SOUPS 92383 WITH SCORE 92530.234
AT ITER 326 NEW BEST:: SOT 210500 SOS 146471 HAS SOPS 120341 HAS SOUS 93203 HAS SOUPS 91435 WITH SCORE 91581.471
AT ITER 327 NEW BEST:: SOT 210456 SOS 146406 HAS SOPS 120255 HAS SOUS 93115 HAS SOUPS 91347 WITH SCORE 91493.406
AT ITER 330 NEW BEST:: SOT 210378 SOS 146259 HAS SOPS 120099 HAS SOUS 92959 HAS SOUPS 91191 WITH SCORE 91337.259
AT ITER 334 NEW BEST:: SOT 210176 SOS 146057 HAS SOPS 119796 HAS SOUS 92704 HAS SOUPS 90936 WITH SCORE 91082.057
AT ITER 339 NEW BEST:: SOT 210176 SOS 145060 HAS SOPS 118918 HAS SOUS 92638 HAS SOUPS 90870 WITH SCORE 91015.06
AT ITER 340 NEW BEST:: SOT 210056 SOS 144863 HAS SOPS 118738 HAS SOUS 92514 HAS SOUPS 90746 WITH SCORE 90890.863
AT ITER 341 NEW BEST:: SOT 209973 SOS 144583 HAS SOPS 118183 HAS SOUS 92232 HAS SOUPS 90464 WITH SCORE 90608.583
AT ITER 344 NEW BEST:: SOT 206810 SOS 142725 HAS SOPS 115578 HAS SOUS 89789 HAS SOUPS 87931 WITH SCORE 88073.725
AT ITER 345 NEW BEST:: SOT 206810 SOS 142697 HAS SOPS 115511 HAS SOUS 89789 HAS SOUPS 87931 WITH SCORE 88073.697
AT ITER 346 NEW BEST:: SOT 206806 SOS 142615 HAS SOPS 115241 HAS SOUS 89770 HAS SOUPS 87912 WITH SCORE 88054.615
AT ITER 348 NEW BEST:: SOT 206744 SOS 142547 HAS SOPS 115105 HAS SOUS 89634 HAS SOUPS 87776 WITH SCORE 87918.547
AT ITER 349 NEW BEST:: SOT 206664 SOS 142467 HAS SOPS 115025 HAS SOUS 89554 HAS SOUPS 87696 WITH SCORE 87838.467
AT ITER 352 NEW BEST:: SOT 205904 SOS 141878 HAS SOPS 114861 HAS SOUS 89148 HAS SOUPS 87290 WITH SCORE 87431.878
AT ITER 353 NEW BEST:: SOT 205866 SOS 141840 HAS SOPS 114804 HAS SOUS 89073 HAS SOUPS 87215 WITH SCORE 87356.84
AT ITER 358 NEW BEST:: SOT 205866 SOS 141840 HAS SOPS 114804 HAS SOUS 89064 HAS SOUPS 87206 WITH SCORE 87347.84
AT ITER 362 NEW BEST:: SOT 205844 SOS 141818 HAS SOPS 114760 HAS SOUS 89020 HAS SOUPS 87162 WITH SCORE 87303.818
AT ITER 363 NEW BEST:: SOT 205804 SOS 141778 HAS SOPS 114720 HAS SOUS 88980 HAS SOUPS 87122 WITH SCORE 87263.778
AT ITER 364 NEW BEST:: SOT 205804 SOS 141653 HAS SOPS 114808 HAS SOUS 88980 HAS SOUPS 87122 WITH SCORE 87263.653
AT ITER 369 NEW BEST:: SOT 205822 SOS 141671 HAS SOPS 114801 HAS SOUS 88973 HAS SOUPS 87115 WITH SCORE 87256.671
AT ITER 374 NEW BEST:: SOT 205828 SOS 141677 HAS SOPS 114807 HAS SOUS 88889 HAS SOUPS 87031 WITH SCORE 87172.677
AT ITER 376 NEW BEST:: SOT 205826 SOS 141510 HAS SOPS 114803 HAS SOUS 88830 HAS SOUPS 86972 WITH SCORE 87113.51
AT ITER 377 NEW BEST:: SOT 205540 SOS 141224 HAS SOPS 114374 HAS SOUS 88361 HAS SOUPS 86503 WITH SCORE 86644.224
AT ITER 378 NEW BEST:: SOT 205359 SOS 140926 HAS SOPS 114044 HAS SOUS 87872 HAS SOUPS 86014 WITH SCORE 86154.926
AT ITER 381 NEW BEST:: SOT 204100 SOS 139803 HAS SOPS 113079 HAS SOUS 86623 HAS SOUPS 84765 WITH SCORE 84904.803
AT ITER 382 NEW BEST:: SOT 204034 SOS 139737 HAS SOPS 113013 HAS SOUS 86557 HAS SOUPS 84699 WITH SCORE 84838.737
AT ITER 384 NEW BEST:: SOT 204008 SOS 139711 HAS SOPS 112974 HAS SOUS 86529 HAS SOUPS 84660 WITH SCORE 84799.711
AT ITER 385 NEW BEST:: SOT 203829 SOS 139532 HAS SOPS 112697 HAS SOUS 86206 HAS SOUPS 84337 WITH SCORE 84476.532
AT ITER 387 NEW BEST:: SOT 203180 SOS 139318 HAS SOPS 112476 HAS SOUS 86008 HAS SOUPS 84139 WITH SCORE 84278.318
AT ITER 388 NEW BEST:: SOT 203162 SOS 139375 HAS SOPS 112303 HAS SOUS 85972 HAS SOUPS 84103 WITH SCORE 84242.375
AT ITER 391 NEW BEST:: SOT 203130 SOS 139343 HAS SOPS 112287 HAS SOUS 85956 HAS SOUPS 84087 WITH SCORE 84226.343
AT ITER 393 NEW BEST:: SOT 203008 SOS 139155 HAS SOPS 111761 HAS SOUS 85596 HAS SOUPS 83727 WITH SCORE 83866.155
AT ITER 394 NEW BEST:: SOT 202864 SOS 138982 HAS SOPS 111634 HAS SOUS 85483 HAS SOUPS 83614 WITH SCORE 83752.982
AT ITER 395 NEW BEST:: SOT 202795 SOS 138913 HAS SOPS 111565 HAS SOUS 85414 HAS SOUPS 83545 WITH SCORE 83683.913
AT ITER 399 NEW BEST:: SOT 202795 SOS 139013 HAS SOPS 111495 HAS SOUS 85379 HAS SOUPS 83510 WITH SCORE 83649.013
AT ITER 401 NEW BEST:: SOT 202550 SOS 138768 HAS SOPS 111118 HAS SOUS 84879 HAS SOUPS 83010 WITH SCORE 83148.768
AT ITER 403 NEW BEST:: SOT 201836 SOS 138054 HAS SOPS 110404 HAS SOUS 84268 HAS SOUPS 82399 WITH SCORE 82537.054
AT ITER 404 NEW BEST:: SOT 201878 SOS 137985 HAS SOPS 110335 HAS SOUS 84199 HAS SOUPS 82330 WITH SCORE 82467.985
AT ITER 407 NEW BEST:: SOT 201875 SOS 138101 HAS SOPS 110435 HAS SOUS 84193 HAS SOUPS 82324 WITH SCORE 82462.101
AT ITER 409 NEW BEST:: SOT 201875 SOS 138029 HAS SOPS 110399 HAS SOUS 84193 HAS SOUPS 82324 WITH SCORE 82462.029
AT ITER 412 NEW BEST:: SOT 201875 SOS 138183 HAS SOPS 110470 HAS SOUS 84174 HAS SOUPS 82305 WITH SCORE 82443.183
AT ITER 413 NEW BEST:: SOT 201876 SOS 138165 HAS SOPS 110452 HAS SOUS 84174 HAS SOUPS 82305 WITH SCORE 82443.165
AT ITER 414 NEW BEST:: SOT 201652 SOS 137941 HAS SOPS 110451 HAS SOUS 84104 HAS SOUPS 82235 WITH SCORE 82372.941
AT ITER 416 NEW BEST:: SOT 201652 SOS 137903 HAS SOPS 110413 HAS SOUS 84104 HAS SOUPS 82235 WITH SCORE 82372.903
AT ITER 417 NEW BEST:: SOT 201659 SOS 137707 HAS SOPS 110224 HAS SOUS 84061 HAS SOUPS 82192 WITH SCORE 82329.707
AT ITER 419 NEW BEST:: SOT 201686 SOS 137664 HAS SOPS 110103 HAS SOUS 84038 HAS SOUPS 82169 WITH SCORE 82306.664
AT ITER 420 NEW BEST:: SOT 201396 SOS 137511 HAS SOPS 109950 HAS SOUS 83895 HAS SOUPS 82026 WITH SCORE 82163.511
AT ITER 426 NEW BEST:: SOT 201396 SOS 137363 HAS SOPS 109802 HAS SOUS 83804 HAS SOUPS 81935 WITH SCORE 82072.363
AT ITER 427 NEW BEST:: SOT 201358 SOS 137271 HAS SOPS 109923 HAS SOUS 83694 HAS SOUPS 81825 WITH SCORE 81962.271
AT ITER 428 NEW BEST:: SOT 201358 SOS 137106 HAS SOPS 109791 HAS SOUS 83661 HAS SOUPS 81792 WITH SCORE 81929.106
AT ITER 431 NEW BEST:: SOT 201305 SOS 136961 HAS SOPS 109646 HAS SOUS 83555 HAS SOUPS 81686 WITH SCORE 81822.961
AT ITER 435 NEW BEST:: SOT 201173 SOS 136697 HAS SOPS 109434 HAS SOUS 83159 HAS SOUPS 81290 WITH SCORE 81426.697
AT ITER 442 NEW BEST:: SOT 201077 SOS 136602 HAS SOPS 109177 HAS SOUS 82969 HAS SOUPS 81100 WITH SCORE 81236.602
AT ITER 449 NEW BEST:: SOT 201043 SOS 136387 HAS SOPS 108962 HAS SOUS 82956 HAS SOUPS 81087 WITH SCORE 81223.387
AT ITER 450 NEW BEST:: SOT 200941 SOS 136285 HAS SOPS 108962 HAS SOUS 82910 HAS SOUPS 81061 WITH SCORE 81197.285
AT ITER 459 NEW BEST:: SOT 200941 SOS 136227 HAS SOPS 108904 HAS SOUS 82910 HAS SOUPS 81061 WITH SCORE 81197.227
AT ITER 460 NEW BEST:: SOT 200883 SOS 136106 HAS SOPS 108788 HAS SOUS 82794 HAS SOUPS 80945 WITH SCORE 81081.106
AT ITER 463 NEW BEST:: SOT 200883 SOS 135925 HAS SOPS 108788 HAS SOUS 82794 HAS SOUPS 80945 WITH SCORE 81080.925
AT ITER 465 NEW BEST:: SOT 200551 SOS 135593 HAS SOPS 108542 HAS SOUS 82556 HAS SOUPS 80732 WITH SCORE 80867.593
AT ITER 469 NEW BEST:: SOT 200551 SOS 135489 HAS SOPS 107858 HAS SOUS 82318 HAS SOUPS 80494 WITH SCORE 80629.489
AT ITER 470 NEW BEST:: SOT 200517 SOS 135085 HAS SOPS 107454 HAS SOUS 82284 HAS SOUPS 80460 WITH SCORE 80595.085
AT ITER 476 NEW BEST:: SOT 200253 SOS 135373 HAS SOPS 107874 HAS SOUS 82080 HAS SOUPS 80256 WITH SCORE 80391.373
AT ITER 478 NEW BEST:: SOT 200207 SOS 135318 HAS SOPS 107819 HAS SOUS 82053 HAS SOUPS 80229 WITH SCORE 80364.318
AT ITER 479 NEW BEST:: SOT 200230 SOS 135341 HAS SOPS 107811 HAS SOUS 81949 HAS SOUPS 80125 WITH SCORE 80260.341
AT ITER 480 NEW BEST:: SOT 199946 SOS 134704 HAS SOPS 107174 HAS SOUS 81509 HAS SOUPS 79685 WITH SCORE 79819.704
AT ITER 481 NEW BEST:: SOT 200218 SOS 134188 HAS SOPS 106697 HAS SOUS 81497 HAS SOUPS 79673 WITH SCORE 79807.188
AT ITER 482 NEW BEST:: SOT 200192 SOS 134175 HAS SOPS 106697 HAS SOUS 81484 HAS SOUPS 79660 WITH SCORE 79794.175
AT ITER 487 NEW BEST:: SOT 200069 SOS 133983 HAS SOPS 106546 HAS SOUS 81336 HAS SOUPS 79512 WITH SCORE 79645.983
AT ITER 489 NEW BEST:: SOT 199811 SOS 133725 HAS SOPS 106676 HAS SOUS 81302 HAS SOUPS 79482 WITH SCORE 79615.725
AT ITER 494 NEW BEST:: SOT 194957 SOS 133868 HAS SOPS 104180 HAS SOUS 78471 HAS SOUPS 76439 WITH SCORE 76572.868
AT ITER 496 NEW BEST:: SOT 194889 SOS 133794 HAS SOPS 104106 HAS SOUS 78391 HAS SOUPS 76359 WITH SCORE 76492.794
AT ITER 507 NEW BEST:: SOT 194505 SOS 133542 HAS SOPS 103770 HAS SOUS 78079 HAS SOUPS 76035 WITH SCORE 76168.542
AT ITER 515 NEW BEST:: SOT 194422 SOS 133447 HAS SOPS 103675 HAS SOUS 77934 HAS SOUPS 75890 WITH SCORE 76023.447
AT ITER 516 NEW BEST:: SOT 194173 SOS 133207 HAS SOPS 103354 HAS SOUS 77442 HAS SOUPS 75398 WITH SCORE 75531.207
AT ITER 520 NEW BEST:: SOT 194173 SOS 133198 HAS SOPS 103346 HAS SOUS 77442 HAS SOUPS 75398 WITH SCORE 75531.198
AT ITER 524 NEW BEST:: SOT 193705 SOS 132730 HAS SOPS 103119 HAS SOUS 77165 HAS SOUPS 75121 WITH SCORE 75253.73
AT ITER 527 NEW BEST:: SOT 193634 SOS 132659 HAS SOPS 103048 HAS SOUS 77094 HAS SOUPS 75050 WITH SCORE 75182.659
AT ITER 528 NEW BEST:: SOT 193582 SOS 132865 HAS SOPS 103450 HAS SOUS 77042 HAS SOUPS 74998 WITH SCORE 75130.865
AT ITER 529 NEW BEST:: SOT 193084 SOS 132447 HAS SOPS 103260 HAS SOUS 76878 HAS SOUPS 74834 WITH SCORE 74966.447
AT ITER 530 NEW BEST:: SOT 192898 SOS 132261 HAS SOPS 103083 HAS SOUS 76701 HAS SOUPS 74657 WITH SCORE 74789.261
AT ITER 531 NEW BEST:: SOT 192452 SOS 131774 HAS SOPS 102867 HAS SOUS 76337 HAS SOUPS 74319 WITH SCORE 74450.774
AT ITER 536 NEW BEST:: SOT 192327 SOS 131696 HAS SOPS 102835 HAS SOUS 76212 HAS SOUPS 74194 WITH SCORE 74325.696
AT ITER 537 NEW BEST:: SOT 192289 SOS 131658 HAS SOPS 102778 HAS SOUS 76155 HAS SOUPS 74137 WITH SCORE 74268.658
AT ITER 542 NEW BEST:: SOT 192083 SOS 131452 HAS SOPS 102444 HAS SOUS 75950 HAS SOUPS 73943 WITH SCORE 74074.452
AT ITER 543 NEW BEST:: SOT 192083 SOS 131429 HAS SOPS 102685 HAS SOUS 75950 HAS SOUPS 73943 WITH SCORE 74074.429
AT ITER 544 NEW BEST:: SOT 192034 SOS 131375 HAS SOPS 102626 HAS SOUS 75891 HAS SOUPS 73884 WITH SCORE 74015.375
AT ITER 548 NEW BEST:: SOT 191520 SOS 132566 HAS SOPS 102956 HAS SOUS 75750 HAS SOUPS 73704 WITH SCORE 73836.566
AT ITER 550 NEW BEST:: SOT 191404 SOS 132401 HAS SOPS 102929 HAS SOUS 75717 HAS SOUPS 73671 WITH SCORE 73803.401
AT ITER 554 NEW BEST:: SOT 191404 SOS 132333 HAS SOPS 102861 HAS SOUS 75655 HAS SOUPS 73609 WITH SCORE 73741.333
AT ITER 560 NEW BEST:: SOT 191271 SOS 132208 HAS SOPS 102744 HAS SOUS 75538 HAS SOUPS 73492 WITH SCORE 73624.208
AT ITER 561 NEW BEST:: SOT 191235 SOS 132172 HAS SOPS 102708 HAS SOUS 75537 HAS SOUPS 73491 WITH SCORE 73623.172
AT ITER 568 NEW BEST:: SOT 191231 SOS 132168 HAS SOPS 102704 HAS SOUS 75537 HAS SOUPS 73491 WITH SCORE 73623.168
AT ITER 574 NEW BEST:: SOT 191086 SOS 132023 HAS SOPS 102285 HAS SOUS 75263 HAS SOUPS 73217 WITH SCORE 73349.023
AT ITER 579 NEW BEST:: SOT 191074 SOS 131913 HAS SOPS 102169 HAS SOUS 75245 HAS SOUPS 73199 WITH SCORE 73330.913
AT ITER 581 NEW BEST:: SOT 190863 SOS 131640 HAS SOPS 101842 HAS SOUS 74842 HAS SOUPS 72796 WITH SCORE 72927.64
AT ITER 582 NEW BEST:: SOT 190856 SOS 131725 HAS SOPS 101920 HAS SOUS 74828 HAS SOUPS 72782 WITH SCORE 72913.725
AT ITER 585 NEW BEST:: SOT 190836 SOS 131705 HAS SOPS 101789 HAS SOUS 74793 HAS SOUPS 72745 WITH SCORE 72876.705
AT ITER 586 NEW BEST:: SOT 190785 SOS 131483 HAS SOPS 101636 HAS SOUS 74640 HAS SOUPS 72592 WITH SCORE 72723.483
AT ITER 587 NEW BEST:: SOT 190878 SOS 131525 HAS SOPS 101519 HAS SOUS 74621 HAS SOUPS 72573 WITH SCORE 72704.525
AT ITER 590 NEW BEST:: SOT 190878 SOS 131405 HAS SOPS 101399 HAS SOUS 74621 HAS SOUPS 72573 WITH SCORE 72704.405
AT ITER 592 NEW BEST:: SOT 190886 SOS 131413 HAS SOPS 101415 HAS SOUS 74594 HAS SOUPS 72546 WITH SCORE 72677.413
AT ITER 594 NEW BEST:: SOT 190847 SOS 131412 HAS SOPS 101278 HAS SOUS 74495 HAS SOUPS 72447 WITH SCORE 72578.412
AT ITER 599 NEW BEST:: SOT 188085 SOS 132303 HAS SOPS 99437 HAS SOUS 72736 HAS SOUPS 70561 WITH SCORE 70693.303
AT ITER 606 NEW BEST:: SOT 188073 SOS 132234 HAS SOPS 99311 HAS SOUS 72684 HAS SOUPS 70509 WITH SCORE 70641.234
AT ITER 608 NEW BEST:: SOT 188050 SOS 132092 HAS SOPS 99169 HAS SOUS 72677 HAS SOUPS 70502 WITH SCORE 70634.092
AT ITER 610 NEW BEST:: SOT 188050 SOS 132062 HAS SOPS 99129 HAS SOUS 72647 HAS SOUPS 70472 WITH SCORE 70604.062
AT ITER 615 NEW BEST:: SOT 187636 SOS 131910 HAS SOPS 98813 HAS SOUS 72411 HAS SOUPS 70236 WITH SCORE 70367.91
AT ITER 618 NEW BEST:: SOT 187605 SOS 131853 HAS SOPS 98756 HAS SOUS 72278 HAS SOUPS 70103 WITH SCORE 70234.853
AT ITER 619 NEW BEST:: SOT 187591 SOS 131839 HAS SOPS 98727 HAS SOUS 72224 HAS SOUPS 70049 WITH SCORE 70180.839
AT ITER 620 NEW BEST:: SOT 187443 SOS 131687 HAS SOPS 98652 HAS SOUS 72099 HAS SOUPS 69924 WITH SCORE 70055.687
AT ITER 621 NEW BEST:: SOT 187443 SOS 131465 HAS SOPS 98430 HAS SOUS 72099 HAS SOUPS 69924 WITH SCORE 70055.465
AT ITER 624 NEW BEST:: SOT 187443 SOS 130492 HAS SOPS 97635 HAS SOUS 71876 HAS SOUPS 69701 WITH SCORE 69831.492
AT ITER 631 NEW BEST:: SOT 187557 SOS 130656 HAS SOPS 97535 HAS SOUS 71869 HAS SOUPS 69665 WITH SCORE 69795.656
AT ITER 636 NEW BEST:: SOT 187513 SOS 130568 HAS SOPS 97514 HAS SOUS 71737 HAS SOUPS 69533 WITH SCORE 69663.568
AT ITER 642 NEW BEST:: SOT 187427 SOS 130444 HAS SOPS 97390 HAS SOUS 71575 HAS SOUPS 69371 WITH SCORE 69501.444
AT ITER 643 NEW BEST:: SOT 187093 SOS 130021 HAS SOPS 96838 HAS SOUS 71009 HAS SOUPS 68805 WITH SCORE 68935.021
AT ITER 648 NEW BEST:: SOT 187093 SOS 129950 HAS SOPS 96838 HAS SOUS 71009 HAS SOUPS 68805 WITH SCORE 68934.95
AT ITER 649 NEW BEST:: SOT 187077 SOS 129934 HAS SOPS 96871 HAS SOUS 70985 HAS SOUPS 68781 WITH SCORE 68910.934
AT ITER 651 NEW BEST:: SOT 186937 SOS 129794 HAS SOPS 96537 HAS SOUS 70765 HAS SOUPS 68544 WITH SCORE 68673.794
AT ITER 657 NEW BEST:: SOT 186707 SOS 129893 HAS SOPS 96939 HAS SOUS 70699 HAS SOUPS 68487 WITH SCORE 68616.893
AT ITER 659 NEW BEST:: SOT 186707 SOS 129893 HAS SOPS 96909 HAS SOUS 70684 HAS SOUPS 68472 WITH SCORE 68601.893
AT ITER 660 NEW BEST:: SOT 186531 SOS 129717 HAS SOPS 96689 HAS SOUS 70420 HAS SOUPS 68208 WITH SCORE 68337.717
AT ITER 665 NEW BEST:: SOT 186531 SOS 129633 HAS SOPS 96689 HAS SOUS 70420 HAS SOUPS 68208 WITH SCORE 68337.633
AT ITER 668 NEW BEST:: SOT 185808 SOS 128914 HAS SOPS 96019 HAS SOUS 69740 HAS SOUPS 67528 WITH SCORE 67656.914
AT ITER 669 NEW BEST:: SOT 185824 SOS 128937 HAS SOPS 96074 HAS SOUS 69739 HAS SOUPS 67527 WITH SCORE 67655.937
AT ITER 676 NEW BEST:: SOT 185353 SOS 128466 HAS SOPS 95603 HAS SOUS 69351 HAS SOUPS 67139 WITH SCORE 67267.466
AT ITER 679 NEW BEST:: SOT 185141 SOS 128254 HAS SOPS 95497 HAS SOUS 69126 HAS SOUPS 66942 WITH SCORE 67070.254
AT ITER 680 NEW BEST:: SOT 185001 SOS 128114 HAS SOPS 95217 HAS SOUS 68916 HAS SOUPS 66732 WITH SCORE 66860.114
AT ITER 683 NEW BEST:: SOT 184988 SOS 128131 HAS SOPS 95191 HAS SOUS 68889 HAS SOUPS 66705 WITH SCORE 66833.131
AT ITER 687 NEW BEST:: SOT 184972 SOS 128591 HAS SOPS 95644 HAS SOUS 68876 HAS SOUPS 66692 WITH SCORE 66820.591
AT ITER 691 NEW BEST:: SOT 184854 SOS 128473 HAS SOPS 95544 HAS SOUS 68757 HAS SOUPS 66591 WITH SCORE 66719.473
AT ITER 692 NEW BEST:: SOT 184889 SOS 128181 HAS SOPS 95252 HAS SOUS 68744 HAS SOUPS 66578 WITH SCORE 66706.181
AT ITER 694 NEW BEST:: SOT 184852 SOS 128144 HAS SOPS 95178 HAS SOUS 68670 HAS SOUPS 66504 WITH SCORE 66632.144
AT ITER 695 NEW BEST:: SOT 184683 SOS 127975 HAS SOPS 95019 HAS SOUS 68520 HAS SOUPS 66345 WITH SCORE 66472.975
AT ITER 700 NEW BEST:: SOT 184671 SOS 127963 HAS SOPS 94971 HAS SOUS 68457 HAS SOUPS 66282 WITH SCORE 66409.963
AT ITER 703 NEW BEST:: SOT 184633 SOS 127917 HAS SOPS 94955 HAS SOUS 68445 HAS SOUPS 66270 WITH SCORE 66397.917
AT ITER 705 NEW BEST:: SOT 184407 SOS 127691 HAS SOPS 94729 HAS SOUS 68239 HAS SOUPS 66064 WITH SCORE 66191.691
AT ITER 716 NEW BEST:: SOT 184407 SOS 127675 HAS SOPS 94713 HAS SOUS 68239 HAS SOUPS 66064 WITH SCORE 66191.675
AT ITER 718 NEW BEST:: SOT 184082 SOS 127350 HAS SOPS 94786 HAS SOUS 68194 HAS SOUPS 66019 WITH SCORE 66146.35
AT ITER 726 NEW BEST:: SOT 184085 SOS 127380 HAS SOPS 94816 HAS SOUS 68191 HAS SOUPS 66016 WITH SCORE 66143.38
AT ITER 727 NEW BEST:: SOT 184077 SOS 127443 HAS SOPS 94629 HAS SOUS 68096 HAS SOUPS 65921 WITH SCORE 66048.443
AT ITER 731 NEW BEST:: SOT 184077 SOS 127443 HAS SOPS 94434 HAS SOUS 68048 HAS SOUPS 65873 WITH SCORE 66000.443
AT ITER 735 NEW BEST:: SOT 177299 SOS 125120 HAS SOPS 88929 HAS SOUS 62747 HAS SOUPS 60362 WITH SCORE 60487.12
AT ITER 736 NEW BEST:: SOT 177295 SOS 125116 HAS SOPS 88921 HAS SOUS 62743 HAS SOUPS 60358 WITH SCORE 60483.116
AT ITER 739 NEW BEST:: SOT 177177 SOS 124894 HAS SOPS 88581 HAS SOUS 62569 HAS SOUPS 60184 WITH SCORE 60308.894
AT ITER 742 NEW BEST:: SOT 177177 SOS 124645 HAS SOPS 88249 HAS SOUS 62437 HAS SOUPS 60052 WITH SCORE 60176.645
AT ITER 744 NEW BEST:: SOT 176460 SOS 125293 HAS SOPS 88030 HAS SOUS 61988 HAS SOUPS 59564 WITH SCORE 59689.293
AT ITER 750 NEW BEST:: SOT 176297 SOS 125130 HAS SOPS 87781 HAS SOUS 61769 HAS SOUPS 59345 WITH SCORE 59470.13
AT ITER 752 NEW BEST:: SOT 176269 SOS 125102 HAS SOPS 87739 HAS SOUS 61683 HAS SOUPS 59259 WITH SCORE 59384.102
AT ITER 758 NEW BEST:: SOT 176259 SOS 125092 HAS SOPS 87724 HAS SOUS 61604 HAS SOUPS 59180 WITH SCORE 59305.092
AT ITER 760 NEW BEST:: SOT 176221 SOS 125051 HAS SOPS 87648 HAS SOUS 61547 HAS SOUPS 59123 WITH SCORE 59248.051
AT ITER 763 NEW BEST:: SOT 176147 SOS 124940 HAS SOPS 87537 HAS SOUS 61421 HAS SOUPS 58997 WITH SCORE 59121.94
AT ITER 769 NEW BEST:: SOT 175965 SOS 124760 HAS SOPS 87591 HAS SOUS 61411 HAS SOUPS 58987 WITH SCORE 59111.76
AT ITER 772 NEW BEST:: SOT 175961 SOS 124728 HAS SOPS 87566 HAS SOUS 61403 HAS SOUPS 58979 WITH SCORE 59103.728
AT ITER 773 NEW BEST:: SOT 175961 SOS 124712 HAS SOPS 87550 HAS SOUS 61403 HAS SOUPS 58979 WITH SCORE 59103.712
AT ITER 776 NEW BEST:: SOT 175902 SOS 124639 HAS SOPS 87477 HAS SOUS 61354 HAS SOUPS 58930 WITH SCORE 59054.639
AT ITER 784 NEW BEST:: SOT 175382 SOS 124119 HAS SOPS 87397 HAS SOUS 61053 HAS SOUPS 58640 WITH SCORE 58764.119
AT ITER 785 NEW BEST:: SOT 174888 SOS 123506 HAS SOPS 87013 HAS SOUS 60643 HAS SOUPS 58230 WITH SCORE 58353.506
AT ITER 794 NEW BEST:: SOT 174753 SOS 123351 HAS SOPS 86814 HAS SOUS 60581 HAS SOUPS 58168 WITH SCORE 58291.351
AT ITER 798 NEW BEST:: SOT 174308 SOS 123072 HAS SOPS 86724 HAS SOUS 60406 HAS SOUPS 57993 WITH SCORE 58116.072
AT ITER 800 NEW BEST:: SOT 174299 SOS 123086 HAS SOPS 86706 HAS SOUS 60388 HAS SOUPS 57975 WITH SCORE 58098.086
AT ITER 806 NEW BEST:: SOT 174204 SOS 122855 HAS SOPS 86468 HAS SOUS 60229 HAS SOUPS 57816 WITH SCORE 57938.855
AT ITER 811 NEW BEST:: SOT 170188 SOS 127288 HAS SOPS 85568 HAS SOUS 57439 HAS SOUPS 54813 WITH SCORE 54940.288
AT ITER 812 NEW BEST:: SOT 170015 SOS 127239 HAS SOPS 85209 HAS SOUS 56992 HAS SOUPS 54366 WITH SCORE 54493.239
AT ITER 814 NEW BEST:: SOT 169957 SOS 127181 HAS SOPS 85173 HAS SOUS 56951 HAS SOUPS 54330 WITH SCORE 54457.181
AT ITER 817 NEW BEST:: SOT 169739 SOS 126963 HAS SOPS 84982 HAS SOUS 56725 HAS SOUPS 54104 WITH SCORE 54230.963
AT ITER 824 NEW BEST:: SOT 169679 SOS 126903 HAS SOPS 84922 HAS SOUS 56665 HAS SOUPS 54044 WITH SCORE 54170.903
AT ITER 827 NEW BEST:: SOT 169670 SOS 126894 HAS SOPS 84898 HAS SOUS 56640 HAS SOUPS 54019 WITH SCORE 54145.894
AT ITER 832 NEW BEST:: SOT 169660 SOS 127205 HAS SOPS 85186 HAS SOUS 56627 HAS SOUPS 54006 WITH SCORE 54133.205
AT ITER 839 NEW BEST:: SOT 169654 SOS 127199 HAS SOPS 85177 HAS SOUS 56618 HAS SOUPS 53997 WITH SCORE 54124.199
AT ITER 842 NEW BEST:: SOT 169654 SOS 127199 HAS SOPS 85141 HAS SOUS 56600 HAS SOUPS 53979 WITH SCORE 54106.199
AT ITER 843 NEW BEST:: SOT 169580 SOS 127125 HAS SOPS 85030 HAS SOUS 56476 HAS SOUPS 53855 WITH SCORE 53982.125
AT ITER 848 NEW BEST:: SOT 169398 SOS 126943 HAS SOPS 84757 HAS SOUS 56203 HAS SOUPS 53582 WITH SCORE 53708.943
AT ITER 851 NEW BEST:: SOT 169374 SOS 126908 HAS SOPS 84673 HAS SOUS 56109 HAS SOUPS 53488 WITH SCORE 53614.908
AT ITER 852 NEW BEST:: SOT 169286 SOS 126820 HAS SOPS 84541 HAS SOUS 56055 HAS SOUPS 53434 WITH SCORE 53560.82
AT ITER 853 NEW BEST:: SOT 169124 SOS 126567 HAS SOPS 84321 HAS SOUS 55996 HAS SOUPS 53375 WITH SCORE 53501.567
AT ITER 860 NEW BEST:: SOT 169058 SOS 126501 HAS SOPS 84189 HAS SOUS 55864 HAS SOUPS 53243 WITH SCORE 53369.501
AT ITER 863 NEW BEST:: SOT 169058 SOS 126501 HAS SOPS 84131 HAS SOUS 55806 HAS SOUPS 53185 WITH SCORE 53311.501
AT ITER 865 NEW BEST:: SOT 169058 SOS 126501 HAS SOPS 84131 HAS SOUS 55793 HAS SOUPS 53172 WITH SCORE 53298.501
AT ITER 867 NEW BEST:: SOT 169043 SOS 126471 HAS SOPS 84101 HAS SOUS 55763 HAS SOUPS 53142 WITH SCORE 53268.471
AT ITER 873 NEW BEST:: SOT 168920 SOS 126348 HAS SOPS 84067 HAS SOUS 55621 HAS SOUPS 53061 WITH SCORE 53187.348
AT ITER 881 NEW BEST:: SOT 168801 SOS 126229 HAS SOPS 83916 HAS SOUS 55508 HAS SOUPS 52948 WITH SCORE 53074.229
AT ITER 883 NEW BEST:: SOT 168894 SOS 126274 HAS SOPS 83961 HAS SOUS 55480 HAS SOUPS 52920 WITH SCORE 53046.274
AT ITER 887 NEW BEST:: SOT 168770 SOS 126150 HAS SOPS 83938 HAS SOUS 55425 HAS SOUPS 52865 WITH SCORE 52991.15
AT ITER 889 NEW BEST:: SOT 168770 SOS 126150 HAS SOPS 83938 HAS SOUS 55414 HAS SOUPS 52854 WITH SCORE 52980.15
AT ITER 895 NEW BEST:: SOT 168033 SOS 129129 HAS SOPS 84158 HAS SOUS 55384 HAS SOUPS 52746 WITH SCORE 52875.129
AT ITER 906 NEW BEST:: SOT 167977 SOS 129073 HAS SOPS 84058 HAS SOUS 55284 HAS SOUPS 52646 WITH SCORE 52775.073
AT ITER 909 NEW BEST:: SOT 167955 SOS 129040 HAS SOPS 84058 HAS SOUS 55284 HAS SOUPS 52646 WITH SCORE 52775.04
AT ITER 910 NEW BEST:: SOT 167891 SOS 128976 HAS SOPS 83930 HAS SOUS 55177 HAS SOUPS 52539 WITH SCORE 52667.976
AT ITER 912 NEW BEST:: SOT 167891 SOS 128954 HAS SOPS 83919 HAS SOUS 55177 HAS SOUPS 52539 WITH SCORE 52667.954
AT ITER 913 NEW BEST:: SOT 167755 SOS 128777 HAS SOPS 83635 HAS SOUS 54979 HAS SOUPS 52341 WITH SCORE 52469.777
AT ITER 914 NEW BEST:: SOT 167698 SOS 128714 HAS SOPS 83515 HAS SOUS 54808 HAS SOUPS 52170 WITH SCORE 52298.714
AT ITER 923 NEW BEST:: SOT 167596 SOS 128612 HAS SOPS 83502 HAS SOUS 54759 HAS SOUPS 52124 WITH SCORE 52252.612
AT ITER 928 NEW BEST:: SOT 167570 SOS 128586 HAS SOPS 83463 HAS SOUS 54733 HAS SOUPS 52098 WITH SCORE 52226.586
AT ITER 948 NEW BEST:: SOT 167404 SOS 128420 HAS SOPS 83205 HAS SOUS 54446 HAS SOUPS 51811 WITH SCORE 51939.42
AT ITER 953 NEW BEST:: SOT 167166 SOS 128182 HAS SOPS 82835 HAS SOUS 54164 HAS SOUPS 51529 WITH SCORE 51657.182
AT ITER 980 NEW BEST:: SOT 167098 SOS 128114 HAS SOPS 82733 HAS SOUS 54062 HAS SOUPS 51427 WITH SCORE 51555.114
AT ITER 984 NEW BEST:: SOT 167086 SOS 128081 HAS SOPS 82502 HAS SOUS 54046 HAS SOUPS 51411 WITH SCORE 51539.081
AT ITER 985 NEW BEST:: SOT 167028 SOS 128023 HAS SOPS 82415 HAS SOUS 53944 HAS SOUPS 51309 WITH SCORE 51437.023
AT ITER 988 NEW BEST:: SOT 166816 SOS 127811 HAS SOPS 81943 HAS SOUS 53422 HAS SOUPS 50787 WITH SCORE 50914.811
AT ITER 996 NEW BEST:: SOT 166872 SOS 127867 HAS SOPS 81891 HAS SOUS 53408 HAS SOUPS 50773 WITH SCORE 50900.867
AT ITER 1001 NEW BEST:: SOT 166712 SOS 127707 HAS SOPS 81771 HAS SOUS 53319 HAS SOUPS 50684 WITH SCORE 50811.707
AT ITER 1011 NEW BEST:: SOT 166676 SOS 127671 HAS SOPS 81717 HAS SOUS 53265 HAS SOUPS 50630 WITH SCORE 50757.671
AT ITER 1014 NEW BEST:: SOT 166610 SOS 127605 HAS SOPS 81587 HAS SOUS 53231 HAS SOUPS 50545 WITH SCORE 50672.605
AT ITER 1020 NEW BEST:: SOT 166588 SOS 127540 HAS SOPS 81543 HAS SOUS 53198 HAS SOUPS 50512 WITH SCORE 50639.54
AT ITER 1025 NEW BEST:: SOT 166714 SOS 126312 HAS SOPS 80486 HAS SOUS 53125 HAS SOUPS 50439 WITH SCORE 50565.312
AT ITER 1033 NEW BEST:: SOT 166573 SOS 126273 HAS SOPS 80447 HAS SOUS 53018 HAS SOUPS 50332 WITH SCORE 50458.273
AT ITER 1035 NEW BEST:: SOT 166573 SOS 126273 HAS SOPS 80447 HAS SOUS 53005 HAS SOUPS 50319 WITH SCORE 50445.273
AT ITER 1043 NEW BEST:: SOT 166557 SOS 126238 HAS SOPS 80454 HAS SOUS 52977 HAS SOUPS 50291 WITH SCORE 50417.238
AT ITER 1045 NEW BEST:: SOT 166251 SOS 125932 HAS SOPS 79995 HAS SOUS 52501 HAS SOUPS 49815 WITH SCORE 49940.932
AT ITER 1051 NEW BEST:: SOT 166217 SOS 125898 HAS SOPS 79944 HAS SOUS 52433 HAS SOUPS 49747 WITH SCORE 49872.898
AT ITER 1052 NEW BEST:: SOT 166059 SOS 125740 HAS SOPS 79790 HAS SOUS 52274 HAS SOUPS 49588 WITH SCORE 49713.74
AT ITER 1055 NEW BEST:: SOT 165960 SOS 125701 HAS SOPS 79691 HAS SOUS 52255 HAS SOUPS 49569 WITH SCORE 49694.701
AT ITER 1063 NEW BEST:: SOT 165940 SOS 125691 HAS SOPS 79681 HAS SOUS 52245 HAS SOUPS 49559 WITH SCORE 49684.691
AT ITER 1071 NEW BEST:: SOT 165814 SOS 125565 HAS SOPS 79492 HAS SOUS 52088 HAS SOUPS 49402 WITH SCORE 49527.565
AT ITER 1072 NEW BEST:: SOT 165593 SOS 125592 HAS SOPS 79660 HAS SOUS 52029 HAS SOUPS 49343 WITH SCORE 49468.592
AT ITER 1077 NEW BEST:: SOT 165457 SOS 125526 HAS SOPS 79496 HAS SOUS 51708 HAS SOUPS 49022 WITH SCORE 49147.526
AT ITER 1086 NEW BEST:: SOT 165171 SOS 126357 HAS SOPS 80176 HAS SOUS 51519 HAS SOUPS 48833 WITH SCORE 48959.357
AT ITER 1089 NEW BEST:: SOT 165113 SOS 126299 HAS SOPS 80089 HAS SOUS 51421 HAS SOUPS 48735 WITH SCORE 48861.299
AT ITER 1094 NEW BEST:: SOT 165113 SOS 126299 HAS SOPS 80089 HAS SOUS 51415 HAS SOUPS 48729 WITH SCORE 48855.299
AT ITER 1114 NEW BEST:: SOT 165113 SOS 126269 HAS SOPS 80089 HAS SOUS 51415 HAS SOUPS 48729 WITH SCORE 48855.269
AT ITER 1115 NEW BEST:: SOT 165113 SOS 126269 HAS SOPS 80089 HAS SOUS 51414 HAS SOUPS 48728 WITH SCORE 48854.269
AT ITER 1123 NEW BEST:: SOT 165087 SOS 126243 HAS SOPS 80063 HAS SOUS 51300 HAS SOUPS 48614 WITH SCORE 48740.243
AT ITER 1131 NEW BEST:: SOT 165087 SOS 126207 HAS SOPS 80027 HAS SOUS 51228 HAS SOUPS 48542 WITH SCORE 48668.207
AT ITER 1135 NEW BEST:: SOT 165087 SOS 126207 HAS SOPS 80027 HAS SOUS 51174 HAS SOUPS 48488 WITH SCORE 48614.207
AT ITER 1140 NEW BEST:: SOT 164950 SOS 126070 HAS SOPS 79944 HAS SOUS 51056 HAS SOUPS 48370 WITH SCORE 48496.07
AT ITER 1146 NEW BEST:: SOT 164924 SOS 126044 HAS SOPS 79892 HAS SOUS 51017 HAS SOUPS 48331 WITH SCORE 48457.044
AT ITER 1150 NEW BEST:: SOT 164844 SOS 125964 HAS SOPS 79908 HAS SOUS 51012 HAS SOUPS 48326 WITH SCORE 48451.964
AT ITER 1153 NEW BEST:: SOT 164840 SOS 125960 HAS SOPS 79902 HAS SOUS 50965 HAS SOUPS 48279 WITH SCORE 48404.96
AT ITER 1156 NEW BEST:: SOT 164710 SOS 125830 HAS SOPS 79614 HAS SOUS 50705 HAS SOUPS 48019 WITH SCORE 48144.83
AT ITER 1163 NEW BEST:: SOT 164710 SOS 125830 HAS SOPS 79614 HAS SOUS 50642 HAS SOUPS 47956 WITH SCORE 48081.83
AT ITER 1175 NEW BEST:: SOT 164688 SOS 125808 HAS SOPS 79570 HAS SOUS 50580 HAS SOUPS 47894 WITH SCORE 48019.808
AT ITER 1180 NEW BEST:: SOT 164779 SOS 125899 HAS SOPS 79661 HAS SOUS 50521 HAS SOUPS 47835 WITH SCORE 47960.899
AT ITER 1191 NEW BEST:: SOT 164779 SOS 125899 HAS SOPS 79645 HAS SOUS 50513 HAS SOUPS 47827 WITH SCORE 47952.899
AT ITER 1192 NEW BEST:: SOT 164690 SOS 125810 HAS SOPS 79764 HAS SOUS 50505 HAS SOUPS 47819 WITH SCORE 47944.81
AT ITER 1194 NEW BEST:: SOT 164620 SOS 125740 HAS SOPS 79624 HAS SOUS 50456 HAS SOUPS 47770 WITH SCORE 47895.74
AT ITER 1195 NEW BEST:: SOT 164488 SOS 125608 HAS SOPS 79626 HAS SOUS 50386 HAS SOUPS 47700 WITH SCORE 47825.608
AT ITER 1200 NEW BEST:: SOT 164444 SOS 125564 HAS SOPS 79538 HAS SOUS 50320 HAS SOUPS 47634 WITH SCORE 47759.564
AT ITER 1206 NEW BEST:: SOT 164404 SOS 125524 HAS SOPS 79458 HAS SOUS 50260 HAS SOUPS 47574 WITH SCORE 47699.524
AT ITER 1215 NEW BEST:: SOT 164400 SOS 125520 HAS SOPS 79452 HAS SOUS 50254 HAS SOUPS 47568 WITH SCORE 47693.52
AT ITER 1217 NEW BEST:: SOT 164348 SOS 125468 HAS SOPS 79452 HAS SOUS 50254 HAS SOUPS 47568 WITH SCORE 47693.468
AT ITER 1236 NEW BEST:: SOT 164286 SOS 125406 HAS SOPS 79359 HAS SOUS 50069 HAS SOUPS 47383 WITH SCORE 47508.406
AT ITER 1237 NEW BEST:: SOT 164286 SOS 125406 HAS SOPS 79359 HAS SOUS 50048 HAS SOUPS 47362 WITH SCORE 47487.406
AT ITER 1241 NEW BEST:: SOT 164174 SOS 125294 HAS SOPS 79191 HAS SOUS 49869 HAS SOUPS 47183 WITH SCORE 47308.294
AT ITER 1242 NEW BEST:: SOT 164059 SOS 125636 HAS SOPS 79109 HAS SOUS 49809 HAS SOUPS 47112 WITH SCORE 47237.636
AT ITER 1250 NEW BEST:: SOT 164013 SOS 125590 HAS SOPS 79040 HAS SOUS 49740 HAS SOUPS 47043 WITH SCORE 47168.59
AT ITER 1257 NEW BEST:: SOT 163903 SOS 125480 HAS SOPS 78855 HAS SOUS 49545 HAS SOUPS 46848 WITH SCORE 46973.48
AT ITER 1262 NEW BEST:: SOT 163903 SOS 125480 HAS SOPS 78855 HAS SOUS 49503 HAS SOUPS 46806 WITH SCORE 46931.48
AT ITER 1277 NEW BEST:: SOT 163743 SOS 125320 HAS SOPS 78663 HAS SOUS 49383 HAS SOUPS 46686 WITH SCORE 46811.32
AT ITER 1281 NEW BEST:: SOT 163707 SOS 125284 HAS SOPS 78609 HAS SOUS 49347 HAS SOUPS 46650 WITH SCORE 46775.284
AT ITER 1283 NEW BEST:: SOT 163674 SOS 125251 HAS SOPS 78576 HAS SOUS 49325 HAS SOUPS 46628 WITH SCORE 46753.251
AT ITER 1286 NEW BEST:: SOT 163631 SOS 125208 HAS SOPS 78396 HAS SOUS 49171 HAS SOUPS 46474 WITH SCORE 46599.208
AT ITER 1290 NEW BEST:: SOT 163631 SOS 125144 HAS SOPS 78353 HAS SOUS 49171 HAS SOUPS 46474 WITH SCORE 46599.144
AT ITER 1294 NEW BEST:: SOT 163537 SOS 125025 HAS SOPS 78187 HAS SOUS 49026 HAS SOUPS 46329 WITH SCORE 46454.025
AT ITER 1298 NEW BEST:: SOT 163509 SOS 124997 HAS SOPS 78258 HAS SOUS 49013 HAS SOUPS 46316 WITH SCORE 46440.997
AT ITER 1303 NEW BEST:: SOT 163322 SOS 124810 HAS SOPS 78143 HAS SOUS 48973 HAS SOUPS 46276 WITH SCORE 46400.81
AT ITER 1312 NEW BEST:: SOT 163250 SOS 124659 HAS SOPS 78025 HAS SOUS 48910 HAS SOUPS 46213 WITH SCORE 46337.659
AT ITER 1315 NEW BEST:: SOT 163104 SOS 124473 HAS SOPS 77766 HAS SOUS 48715 HAS SOUPS 46018 WITH SCORE 46142.473
AT ITER 1326 NEW BEST:: SOT 163090 SOS 124459 HAS SOPS 77738 HAS SOUS 48701 HAS SOUPS 46004 WITH SCORE 46128.459
AT ITER 1328 NEW BEST:: SOT 163090 SOS 124427 HAS SOPS 77738 HAS SOUS 48701 HAS SOUPS 46004 WITH SCORE 46128.427
AT ITER 1329 NEW BEST:: SOT 162909 SOS 125905 HAS SOPS 78013 HAS SOUS 48700 HAS SOUPS 45973 WITH SCORE 46098.905
AT ITER 1330 NEW BEST:: SOT 162901 SOS 125897 HAS SOPS 78001 HAS SOUS 48688 HAS SOUPS 45961 WITH SCORE 46086.897
AT ITER 1341 NEW BEST:: SOT 163051 SOS 126047 HAS SOPS 77977 HAS SOUS 48616 HAS SOUPS 45889 WITH SCORE 46015.047
AT ITER 1347 NEW BEST:: SOT 162991 SOS 125959 HAS SOPS 77827 HAS SOUS 48526 HAS SOUPS 45799 WITH SCORE 45924.959
AT ITER 1351 NEW BEST:: SOT 162730 SOS 125686 HAS SOPS 77370 HAS SOUS 48095 HAS SOUPS 45368 WITH SCORE 45493.686
AT ITER 1361 NEW BEST:: SOT 162730 SOS 125683 HAS SOPS 77370 HAS SOUS 48095 HAS SOUPS 45368 WITH SCORE 45493.683
AT ITER 1362 NEW BEST:: SOT 162714 SOS 125667 HAS SOPS 77354 HAS SOUS 48079 HAS SOUPS 45352 WITH SCORE 45477.667
AT ITER 1369 NEW BEST:: SOT 162851 SOS 125832 HAS SOPS 77018 HAS SOUS 47910 HAS SOUPS 45183 WITH SCORE 45308.832
AT ITER 1370 NEW BEST:: SOT 162851 SOS 125814 HAS SOPS 77018 HAS SOUS 47910 HAS SOUPS 45183 WITH SCORE 45308.814
AT ITER 1386 NEW BEST:: SOT 162843 SOS 125806 HAS SOPS 77006 HAS SOUS 47898 HAS SOUPS 45171 WITH SCORE 45296.806
AT ITER 1393 NEW BEST:: SOT 162843 SOS 125806 HAS SOPS 77006 HAS SOUS 47874 HAS SOUPS 45147 WITH SCORE 45272.806
AT ITER 1395 NEW BEST:: SOT 162679 SOS 125642 HAS SOPS 76760 HAS SOUS 47628 HAS SOUPS 44901 WITH SCORE 45026.642
AT ITER 1398 NEW BEST:: SOT 162631 SOS 125594 HAS SOPS 76688 HAS SOUS 47556 HAS SOUPS 44829 WITH SCORE 44954.594
AT ITER 1411 NEW BEST:: SOT 162555 SOS 125518 HAS SOPS 76536 HAS SOUS 47404 HAS SOUPS 44677 WITH SCORE 44802.518
AT ITER 1426 NEW BEST:: SOT 162474 SOS 125437 HAS SOPS 76400 HAS SOUS 47241 HAS SOUPS 44514 WITH SCORE 44639.437
AT ITER 1434 NEW BEST:: SOT 162473 SOS 125595 HAS SOPS 76558 HAS SOUS 47240 HAS SOUPS 44513 WITH SCORE 44638.595
AT ITER 1436 NEW BEST:: SOT 162466 SOS 125581 HAS SOPS 76544 HAS SOUS 47239 HAS SOUPS 44512 WITH SCORE 44637.581
AT ITER 1454 NEW BEST:: SOT 162406 SOS 125499 HAS SOPS 76477 HAS SOUS 47216 HAS SOUPS 44489 WITH SCORE 44614.499
AT ITER 1458 NEW BEST:: SOT 162356 SOS 125408 HAS SOPS 76402 HAS SOUS 47185 HAS SOUPS 44458 WITH SCORE 44583.408
AT ITER 1461 NEW BEST:: SOT 162347 SOS 125442 HAS SOPS 76397 HAS SOUS 47182 HAS SOUPS 44454 WITH SCORE 44579.442
AT ITER 1463 NEW BEST:: SOT 162289 SOS 125384 HAS SOPS 76310 HAS SOUS 47066 HAS SOUPS 44338 WITH SCORE 44463.384
AT ITER 1473 NEW BEST:: SOT 162290 SOS 125085 HAS SOPS 76031 HAS SOUS 47057 HAS SOUPS 44329 WITH SCORE 44454.085
AT ITER 1474 NEW BEST:: SOT 162246 SOS 125041 HAS SOPS 75829 HAS SOUS 46991 HAS SOUPS 44261 WITH SCORE 44386.041
AT ITER 1488 NEW BEST:: SOT 162116 SOS 124911 HAS SOPS 75645 HAS SOUS 46759 HAS SOUPS 44029 WITH SCORE 44153.911
AT ITER 1496 NEW BEST:: SOT 162056 SOS 124851 HAS SOPS 75555 HAS SOUS 46638 HAS SOUPS 43908 WITH SCORE 44032.851
AT ITER 1498 NEW BEST:: SOT 162004 SOS 124799 HAS SOPS 75516 HAS SOUS 46599 HAS SOUPS 43869 WITH SCORE 43993.799
AT ITER 1505 NEW BEST:: SOT 161908 SOS 124734 HAS SOPS 75610 HAS SOUS 46572 HAS SOUPS 43842 WITH SCORE 43966.734
AT ITER 1508 NEW BEST:: SOT 161895 SOS 124721 HAS SOPS 75597 HAS SOUS 46571 HAS SOUPS 43841 WITH SCORE 43965.721
AT ITER 1513 NEW BEST:: SOT 161940 SOS 124716 HAS SOPS 75592 HAS SOUS 46468 HAS SOUPS 43738 WITH SCORE 43862.716
AT ITER 1523 NEW BEST:: SOT 161380 SOS 124156 HAS SOPS 75240 HAS SOUS 46039 HAS SOUPS 43309 WITH SCORE 43433.156
AT ITER 1528 NEW BEST:: SOT 161301 SOS 124077 HAS SOPS 75093 HAS SOUS 45919 HAS SOUPS 43189 WITH SCORE 43313.077
AT ITER 1529 NEW BEST:: SOT 161297 SOS 124073 HAS SOPS 75092 HAS SOUS 45918 HAS SOUPS 43188 WITH SCORE 43312.073
AT ITER 1530 NEW BEST:: SOT 161295 SOS 124069 HAS SOPS 75062 HAS SOUS 45915 HAS SOUPS 43185 WITH SCORE 43309.069
AT ITER 1541 NEW BEST:: SOT 161263 SOS 124037 HAS SOPS 75038 HAS SOUS 45883 HAS SOUPS 43153 WITH SCORE 43277.037
AT ITER 1542 NEW BEST:: SOT 161196 SOS 123946 HAS SOPS 74909 HAS SOUS 45742 HAS SOUPS 43012 WITH SCORE 43135.946
AT ITER 1544 NEW BEST:: SOT 161158 SOS 123869 HAS SOPS 74750 HAS SOUS 45685 HAS SOUPS 42955 WITH SCORE 43078.869
AT ITER 1545 NEW BEST:: SOT 161122 SOS 123833 HAS SOPS 74696 HAS SOUS 45659 HAS SOUPS 42929 WITH SCORE 43052.833
AT ITER 1550 NEW BEST:: SOT 161102 SOS 123813 HAS SOPS 74676 HAS SOUS 45644 HAS SOUPS 42914 WITH SCORE 43037.813
AT ITER 1551 NEW BEST:: SOT 160834 SOS 125505 HAS SOPS 74907 HAS SOUS 45633 HAS SOUPS 42866 WITH SCORE 42991.505
AT ITER 1554 NEW BEST:: SOT 160812 SOS 125483 HAS SOPS 74840 HAS SOUS 45611 HAS SOUPS 42844 WITH SCORE 42969.483
AT ITER 1556 NEW BEST:: SOT 160804 SOS 125403 HAS SOPS 74760 HAS SOUS 45605 HAS SOUPS 42838 WITH SCORE 42963.403
AT ITER 1559 NEW BEST:: SOT 160794 SOS 125393 HAS SOPS 74745 HAS SOUS 45586 HAS SOUPS 42819 WITH SCORE 42944.393
AT ITER 1561 NEW BEST:: SOT 160794 SOS 125393 HAS SOPS 74745 HAS SOUS 45579 HAS SOUPS 42812 WITH SCORE 42937.393
AT ITER 1565 NEW BEST:: SOT 160768 SOS 125367 HAS SOPS 74719 HAS SOUS 45501 HAS SOUPS 42734 WITH SCORE 42859.367
AT ITER 1568 NEW BEST:: SOT 160618 SOS 125217 HAS SOPS 74419 HAS SOUS 45166 HAS SOUPS 42399 WITH SCORE 42524.217
AT ITER 1574 NEW BEST:: SOT 160612 SOS 125211 HAS SOPS 74410 HAS SOUS 45102 HAS SOUPS 42335 WITH SCORE 42460.211
AT ITER 1575 NEW BEST:: SOT 160533 SOS 125165 HAS SOPS 74450 HAS SOUS 45098 HAS SOUPS 42331 WITH SCORE 42456.165
AT ITER 1577 NEW BEST:: SOT 160566 SOS 125198 HAS SOPS 74333 HAS SOUS 45007 HAS SOUPS 42240 WITH SCORE 42365.198
AT ITER 1589 NEW BEST:: SOT 160522 SOS 125154 HAS SOPS 74355 HAS SOUS 45002 HAS SOUPS 42235 WITH SCORE 42360.154
AT ITER 1604 NEW BEST:: SOT 160618 SOS 125250 HAS SOPS 74307 HAS SOUS 44990 HAS SOUPS 42223 WITH SCORE 42348.25
AT ITER 1605 NEW BEST:: SOT 160590 SOS 125222 HAS SOPS 74265 HAS SOUS 44948 HAS SOUPS 42181 WITH SCORE 42306.222
AT ITER 1613 NEW BEST:: SOT 160640 SOS 125272 HAS SOPS 74188 HAS SOUS 44946 HAS SOUPS 42179 WITH SCORE 42304.272
AT ITER 1622 NEW BEST:: SOT 160300 SOS 127225 HAS SOPS 75052 HAS SOUS 44980 HAS SOUPS 42168 WITH SCORE 42295.225
AT ITER 1649 NEW BEST:: SOT 160212 SOS 127137 HAS SOPS 74899 HAS SOUS 44886 HAS SOUPS 42074 WITH SCORE 42201.137
AT ITER 1652 NEW BEST:: SOT 160212 SOS 127137 HAS SOPS 74899 HAS SOUS 44854 HAS SOUPS 42042 WITH SCORE 42169.137
AT ITER 1671 NEW BEST:: SOT 160204 SOS 127129 HAS SOPS 74887 HAS SOUS 44827 HAS SOUPS 42015 WITH SCORE 42142.129
AT ITER 1678 NEW BEST:: SOT 160196 SOS 127121 HAS SOPS 74879 HAS SOUS 44819 HAS SOUPS 42007 WITH SCORE 42134.121
AT ITER 1681 NEW BEST:: SOT 159882 SOS 126807 HAS SOPS 74729 HAS SOUS 44669 HAS SOUPS 41857 WITH SCORE 41983.807
AT ITER 1682 NEW BEST:: SOT 159882 SOS 126807 HAS SOPS 74729 HAS SOUS 44629 HAS SOUPS 41817 WITH SCORE 41943.807
AT ITER 1692 NEW BEST:: SOT 159713 SOS 126680 HAS SOPS 74654 HAS SOUS 44512 HAS SOUPS 41700 WITH SCORE 41826.68
AT ITER 1700 NEW BEST:: SOT 159713 SOS 126680 HAS SOPS 74654 HAS SOUS 44488 HAS SOUPS 41676 WITH SCORE 41802.68
AT ITER 1704 NEW BEST:: SOT 159693 SOS 126660 HAS SOPS 74624 HAS SOUS 44448 HAS SOUPS 41636 WITH SCORE 41762.66
AT ITER 1713 NEW BEST:: SOT 159591 SOS 126558 HAS SOPS 74475 HAS SOUS 44236 HAS SOUPS 41424 WITH SCORE 41550.558
AT ITER 1718 NEW BEST:: SOT 159553 SOS 126520 HAS SOPS 74479 HAS SOUS 44214 HAS SOUPS 41402 WITH SCORE 41528.52
AT ITER 1719 NEW BEST:: SOT 159451 SOS 126418 HAS SOPS 74419 HAS SOUS 44133 HAS SOUPS 41321 WITH SCORE 41447.418
AT ITER 1720 NEW BEST:: SOT 159391 SOS 126358 HAS SOPS 74329 HAS SOUS 44043 HAS SOUPS 41231 WITH SCORE 41357.358
AT ITER 1722 NEW BEST:: SOT 159379 SOS 126346 HAS SOPS 74269 HAS SOUS 43989 HAS SOUPS 41177 WITH SCORE 41303.346
AT ITER 1723 NEW BEST:: SOT 159286 SOS 126253 HAS SOPS 74176 HAS SOUS 43896 HAS SOUPS 41084 WITH SCORE 41210.253
AT ITER 1726 NEW BEST:: SOT 159023 SOS 126642 HAS SOPS 74153 HAS SOUS 43708 HAS SOUPS 40881 WITH SCORE 41007.642
AT ITER 1743 NEW BEST:: SOT 158940 SOS 126509 HAS SOPS 73979 HAS SOUS 43571 HAS SOUPS 40744 WITH SCORE 40870.509
AT ITER 1750 NEW BEST:: SOT 158993 SOS 126562 HAS SOPS 74032 HAS SOUS 43527 HAS SOUPS 40700 WITH SCORE 40826.562
AT ITER 1754 NEW BEST:: SOT 158999 SOS 126568 HAS SOPS 74010 HAS SOUS 43512 HAS SOUPS 40685 WITH SCORE 40811.568
AT ITER 1756 NEW BEST:: SOT 158881 SOS 126450 HAS SOPS 73774 HAS SOUS 43290 HAS SOUPS 40463 WITH SCORE 40589.45
AT ITER 1759 NEW BEST:: SOT 158851 SOS 126420 HAS SOPS 73864 HAS SOUS 43290 HAS SOUPS 40463 WITH SCORE 40589.42
AT ITER 1761 NEW BEST:: SOT 158795 SOS 126933 HAS SOPS 74019 HAS SOUS 43295 HAS SOUPS 40459 WITH SCORE 40585.933
AT ITER 1768 NEW BEST:: SOT 158745 SOS 126858 HAS SOPS 73944 HAS SOUS 43220 HAS SOUPS 40384 WITH SCORE 40510.858
AT ITER 1771 NEW BEST:: SOT 158725 SOS 126838 HAS SOPS 73914 HAS SOUS 43180 HAS SOUPS 40344 WITH SCORE 40470.838
AT ITER 1780 NEW BEST:: SOT 158723 SOS 126836 HAS SOPS 73911 HAS SOUS 43168 HAS SOUPS 40332 WITH SCORE 40458.836
AT ITER 1786 NEW BEST:: SOT 158723 SOS 126836 HAS SOPS 73911 HAS SOUS 43147 HAS SOUPS 40311 WITH SCORE 40437.836
AT ITER 1792 NEW BEST:: SOT 158631 SOS 126744 HAS SOPS 73857 HAS SOUS 43087 HAS SOUPS 40251 WITH SCORE 40377.744
AT ITER 1797 NEW BEST:: SOT 158663 SOS 126532 HAS SOPS 73645 HAS SOUS 43081 HAS SOUPS 40245 WITH SCORE 40371.532
AT ITER 1798 NEW BEST:: SOT 158659 SOS 126528 HAS SOPS 73647 HAS SOUS 43079 HAS SOUPS 40243 WITH SCORE 40369.528
AT ITER 1802 NEW BEST:: SOT 158629 SOS 126368 HAS SOPS 73587 HAS SOUS 43034 HAS SOUPS 40198 WITH SCORE 40324.368
AT ITER 1807 NEW BEST:: SOT 158613 SOS 126352 HAS SOPS 73595 HAS SOUS 43034 HAS SOUPS 40198 WITH SCORE 40324.352
AT ITER 1811 NEW BEST:: SOT 158355 SOS 126094 HAS SOPS 73337 HAS SOUS 42744 HAS SOUPS 39908 WITH SCORE 40034.094
AT ITER 1813 NEW BEST:: SOT 158269 SOS 126008 HAS SOPS 73208 HAS SOUS 42572 HAS SOUPS 39736 WITH SCORE 39862.008
AT ITER 1818 NEW BEST:: SOT 158223 SOS 125962 HAS SOPS 73116 HAS SOUS 42503 HAS SOUPS 39667 WITH SCORE 39792.962
AT ITER 1834 NEW BEST:: SOT 157957 SOS 125744 HAS SOPS 72690 HAS SOUS 42270 HAS SOUPS 39434 WITH SCORE 39559.744
AT ITER 1844 NEW BEST:: SOT 157879 SOS 125635 HAS SOPS 72550 HAS SOUS 42134 HAS SOUPS 39298 WITH SCORE 39423.635
AT ITER 1858 NEW BEST:: SOT 157658 SOS 125414 HAS SOPS 72279 HAS SOUS 41863 HAS SOUPS 39027 WITH SCORE 39152.414
AT ITER 1868 NEW BEST:: SOT 157587 SOS 125796 HAS SOPS 72635 HAS SOUS 41766 HAS SOUPS 38930 WITH SCORE 39055.796
AT ITER 1876 NEW BEST:: SOT 156412 SOS 132650 HAS SOPS 74883 HAS SOUS 41547 HAS SOUPS 38571 WITH SCORE 38703.65
AT ITER 1881 NEW BEST:: SOT 156344 SOS 132582 HAS SOPS 74814 HAS SOUS 41388 HAS SOUPS 38412 WITH SCORE 38544.582
AT ITER 1884 NEW BEST:: SOT 156350 SOS 132588 HAS SOPS 74802 HAS SOUS 41382 HAS SOUPS 38406 WITH SCORE 38538.588
AT ITER 1892 NEW BEST:: SOT 156348 SOS 132586 HAS SOPS 74800 HAS SOUS 41382 HAS SOUPS 38406 WITH SCORE 38538.586
AT ITER 1893 NEW BEST:: SOT 156410 SOS 132648 HAS SOPS 74662 HAS SOUS 41271 HAS SOUPS 38295 WITH SCORE 38427.648
AT ITER 1894 NEW BEST:: SOT 156410 SOS 132648 HAS SOPS 74622 HAS SOUS 41281 HAS SOUPS 38285 WITH SCORE 38417.648
AT ITER 1895 NEW BEST:: SOT 156118 SOS 132356 HAS SOPS 74565 HAS SOUS 41146 HAS SOUPS 38150 WITH SCORE 38282.356
AT ITER 1905 NEW BEST:: SOT 156107 SOS 132345 HAS SOPS 74550 HAS SOUS 41117 HAS SOUPS 38121 WITH SCORE 38253.345
AT ITER 1918 NEW BEST:: SOT 156127 SOS 132365 HAS SOPS 74636 HAS SOUS 41103 HAS SOUPS 38107 WITH SCORE 38239.365
AT ITER 1934 NEW BEST:: SOT 156127 SOS 132365 HAS SOPS 74636 HAS SOUS 41091 HAS SOUPS 38095 WITH SCORE 38227.365
AT ITER 1943 NEW BEST:: SOT 156127 SOS 132365 HAS SOPS 74636 HAS SOUS 41077 HAS SOUPS 38081 WITH SCORE 38213.365
AT ITER 1944 NEW BEST:: SOT 156029 SOS 132267 HAS SOPS 74489 HAS SOUS 40930 HAS SOUPS 37934 WITH SCORE 38066.267
AT ITER 1957 NEW BEST:: SOT 156029 SOS 132267 HAS SOPS 74480 HAS SOUS 40921 HAS SOUPS 37925 WITH SCORE 38057.267
AT ITER 1958 NEW BEST:: SOT 155916 SOS 133525 HAS SOPS 74927 HAS SOUS 40935 HAS SOUPS 37919 WITH SCORE 38052.525
AT ITER 1962 NEW BEST:: SOT 155916 SOS 133525 HAS SOPS 74927 HAS SOUS 40907 HAS SOUPS 37891 WITH SCORE 38024.525
AT ITER 1971 NEW BEST:: SOT 155904 SOS 133513 HAS SOPS 74910 HAS SOUS 40889 HAS SOUPS 37873 WITH SCORE 38006.513
AT ITER 1997 NEW BEST:: SOT 155912 SOS 132938 HAS SOPS 74362 HAS SOUS 40842 HAS SOUPS 37826 WITH SCORE 37958.938
AT ITER 2004 NEW BEST:: SOT 155833 SOS 132707 HAS SOPS 74131 HAS SOUS 40725 HAS SOUPS 37709 WITH SCORE 37841.707
AT ITER 2016 NEW BEST:: SOT 155759 SOS 132633 HAS SOPS 73983 HAS SOUS 40591 HAS SOUPS 37575 WITH SCORE 37707.633
AT ITER 2019 NEW BEST:: SOT 155739 SOS 132334 HAS SOPS 73550 HAS SOUS 40510 HAS SOUPS 37494 WITH SCORE 37626.334
AT ITER 2036 NEW BEST:: SOT 155576 SOS 132232 HAS SOPS 73396 HAS SOUS 40330 HAS SOUPS 37314 WITH SCORE 37446.232
AT ITER 2045 NEW BEST:: SOT 155577 SOS 132233 HAS SOPS 73234 HAS SOUS 40249 HAS SOUPS 37233 WITH SCORE 37365.233
AT ITER 2051 NEW BEST:: SOT 155554 SOS 132217 HAS SOPS 73125 HAS SOUS 40180 HAS SOUPS 37164 WITH SCORE 37296.217
AT ITER 2059 NEW BEST:: SOT 155376 SOS 132049 HAS SOPS 72858 HAS SOUS 39844 HAS SOUPS 36828 WITH SCORE 36960.049
AT ITER 2073 NEW BEST:: SOT 155358 SOS 132031 HAS SOPS 72840 HAS SOUS 39808 HAS SOUPS 36792 WITH SCORE 36924.031
AT ITER 2083 NEW BEST:: SOT 155347 SOS 131986 HAS SOPS 72821 HAS SOUS 39793 HAS SOUPS 36777 WITH SCORE 36908.986
AT ITER 2090 NEW BEST:: SOT 155327 SOS 131966 HAS SOPS 72811 HAS SOUS 39763 HAS SOUPS 36747 WITH SCORE 36878.966
AT ITER 2107 NEW BEST:: SOT 155333 SOS 131824 HAS SOPS 72751 HAS SOUS 39755 HAS SOUPS 36741 WITH SCORE 36872.824
AT ITER 2109 NEW BEST:: SOT 155332 SOS 131823 HAS SOPS 72748 HAS SOUS 39753 HAS SOUPS 36739 WITH SCORE 36870.823
AT ITER 2117 NEW BEST:: SOT 155308 SOS 131799 HAS SOPS 72716 HAS SOUS 39729 HAS SOUPS 36715 WITH SCORE 36846.799
AT ITER 2135 NEW BEST:: SOT 155198 SOS 131689 HAS SOPS 72633 HAS SOUS 39662 HAS SOUPS 36648 WITH SCORE 36779.689
AT ITER 2164 NEW BEST:: SOT 155195 SOS 131714 HAS SOPS 72655 HAS SOUS 39656 HAS SOUPS 36642 WITH SCORE 36773.714
AT ITER 2169 NEW BEST:: SOT 154919 SOS 131438 HAS SOPS 72231 HAS SOUS 39089 HAS SOUPS 36075 WITH SCORE 36206.438
AT ITER 2175 NEW BEST:: SOT 154883 SOS 131336 HAS SOPS 72114 HAS SOUS 39049 HAS SOUPS 36035 WITH SCORE 36166.336
AT ITER 2179 NEW BEST:: SOT 154815 SOS 131268 HAS SOPS 72012 HAS SOUS 38988 HAS SOUPS 35974 WITH SCORE 36105.268
AT ITER 2181 NEW BEST:: SOT 154802 SOS 131255 HAS SOPS 72006 HAS SOUS 38953 HAS SOUPS 35939 WITH SCORE 36070.255
AT ITER 2201 NEW BEST:: SOT 154795 SOS 131248 HAS SOPS 72000 HAS SOUS 38939 HAS SOUPS 35925 WITH SCORE 36056.248
AT ITER 2222 NEW BEST:: SOT 154769 SOS 131248 HAS SOPS 71974 HAS SOUS 38926 HAS SOUPS 35912 WITH SCORE 36043.248
AT ITER 2224 NEW BEST:: SOT 154683 SOS 131162 HAS SOPS 71845 HAS SOUS 38716 HAS SOUPS 35702 WITH SCORE 35833.162
AT ITER 2232 NEW BEST:: SOT 154677 SOS 131156 HAS SOPS 71812 HAS SOUS 38707 HAS SOUPS 35693 WITH SCORE 35824.156
AT ITER 2235 NEW BEST:: SOT 154661 SOS 131140 HAS SOPS 71788 HAS SOUS 38675 HAS SOUPS 35661 WITH SCORE 35792.14
AT ITER 2272 NEW BEST:: SOT 154632 SOS 131111 HAS SOPS 71759 HAS SOUS 38671 HAS SOUPS 35657 WITH SCORE 35788.111
AT ITER 2281 NEW BEST:: SOT 154580 SOS 131059 HAS SOPS 71707 HAS SOUS 38592 HAS SOUPS 35578 WITH SCORE 35709.059
AT ITER 2283 NEW BEST:: SOT 154555 SOS 131155 HAS SOPS 71803 HAS SOUS 38553 HAS SOUPS 35539 WITH SCORE 35670.155
AT ITER 2290 NEW BEST:: SOT 154555 SOS 131155 HAS SOPS 71803 HAS SOUS 38551 HAS SOUPS 35537 WITH SCORE 35668.155
AT ITER 2293 NEW BEST:: SOT 154503 SOS 131103 HAS SOPS 71725 HAS SOUS 38473 HAS SOUPS 35459 WITH SCORE 35590.103
AT ITER 2309 NEW BEST:: SOT 154413 SOS 131013 HAS SOPS 71650 HAS SOUS 38383 HAS SOUPS 35369 WITH SCORE 35500.013
AT ITER 2315 NEW BEST:: SOT 154383 SOS 130983 HAS SOPS 71645 HAS SOUS 38371 HAS SOUPS 35357 WITH SCORE 35487.983
AT ITER 2328 NEW BEST:: SOT 154399 SOS 130999 HAS SOPS 71577 HAS SOUS 38372 HAS SOUPS 35324 WITH SCORE 35454.999
AT ITER 2344 NEW BEST:: SOT 154383 SOS 130983 HAS SOPS 71561 HAS SOUS 38324 HAS SOUPS 35276 WITH SCORE 35406.983
AT ITER 2353 NEW BEST:: SOT 154321 SOS 130908 HAS SOPS 71486 HAS SOUS 38257 HAS SOUPS 35209 WITH SCORE 35339.908
AT ITER 2359 NEW BEST:: SOT 154365 SOS 130952 HAS SOPS 71434 HAS SOUS 38253 HAS SOUPS 35178 WITH SCORE 35308.952
AT ITER 2364 NEW BEST:: SOT 154225 SOS 130812 HAS SOPS 71434 HAS SOUS 38197 HAS SOUPS 35122 WITH SCORE 35252.812
AT ITER 2387 NEW BEST:: SOT 153991 SOS 130695 HAS SOPS 71200 HAS SOUS 38080 HAS SOUPS 35005 WITH SCORE 35135.695
AT ITER 2388 NEW BEST:: SOT 153860 SOS 130539 HAS SOPS 71034 HAS SOUS 37959 HAS SOUPS 34884 WITH SCORE 35014.539
AT ITER 2395 NEW BEST:: SOT 153842 SOS 130521 HAS SOPS 71062 HAS SOUS 37956 HAS SOUPS 34881 WITH SCORE 35011.521
AT ITER 2396 NEW BEST:: SOT 153788 SOS 130467 HAS SOPS 71062 HAS SOUS 37956 HAS SOUPS 34881 WITH SCORE 35011.467
AT ITER 2410 NEW BEST:: SOT 153508 SOS 130187 HAS SOPS 70753 HAS SOUS 37885 HAS SOUPS 34810 WITH SCORE 34940.187
AT ITER 2427 NEW BEST:: SOT 153543 SOS 130222 HAS SOPS 70675 HAS SOUS 37855 HAS SOUPS 34780 WITH SCORE 34910.222
AT ITER 2428 NEW BEST:: SOT 153555 SOS 130195 HAS SOPS 70653 HAS SOUS 37793 HAS SOUPS 34718 WITH SCORE 34848.195
AT ITER 2432 NEW BEST:: SOT 153553 SOS 130193 HAS SOPS 70649 HAS SOUS 37763 HAS SOUPS 34688 WITH SCORE 34818.193
AT ITER 2443 NEW BEST:: SOT 153555 SOS 130195 HAS SOPS 70637 HAS SOUS 37754 HAS SOUPS 34679 WITH SCORE 34809.195
AT ITER 2463 NEW BEST:: SOT 153549 SOS 130293 HAS SOPS 70619 HAS SOUS 37748 HAS SOUPS 34673 WITH SCORE 34803.293
AT ITER 2464 NEW BEST:: SOT 153442 SOS 130186 HAS SOPS 70512 HAS SOUS 37557 HAS SOUPS 34482 WITH SCORE 34612.186
AT ITER 2468 NEW BEST:: SOT 153620 SOS 130364 HAS SOPS 70412 HAS SOUS 37556 HAS SOUPS 34481 WITH SCORE 34611.364
AT ITER 2525 NEW BEST:: SOT 153513 SOS 130264 HAS SOPS 70377 HAS SOUS 37477 HAS SOUPS 34402 WITH SCORE 34532.264
AT ITER 2532 NEW BEST:: SOT 153513 SOS 130007 HAS SOPS 70138 HAS SOUS 37477 HAS SOUPS 34402 WITH SCORE 34532.007
AT ITER 2536 NEW BEST:: SOT 153553 SOS 130047 HAS SOPS 70118 HAS SOUS 37457 HAS SOUPS 34382 WITH SCORE 34512.047
AT ITER 2539 NEW BEST:: SOT 153523 SOS 130017 HAS SOPS 70073 HAS SOUS 37412 HAS SOUPS 34337 WITH SCORE 34467.017
AT ITER 2542 NEW BEST:: SOT 153505 SOS 129999 HAS SOPS 70046 HAS SOUS 37393 HAS SOUPS 34318 WITH SCORE 34447.999
AT ITER 2560 NEW BEST:: SOT 153505 SOS 129999 HAS SOPS 70046 HAS SOUS 37390 HAS SOUPS 34315 WITH SCORE 34444.999
AT ITER 2569 NEW BEST:: SOT 153501 SOS 129995 HAS SOPS 70038 HAS SOUS 37382 HAS SOUPS 34307 WITH SCORE 34436.995
AT ITER 2573 NEW BEST:: SOT 153497 SOS 129991 HAS SOPS 70030 HAS SOUS 37374 HAS SOUPS 34299 WITH SCORE 34428.991
AT ITER 2582 NEW BEST:: SOT 153469 SOS 129963 HAS SOPS 69988 HAS SOUS 37368 HAS SOUPS 34293 WITH SCORE 34422.963
AT ITER 2590 NEW BEST:: SOT 153381 SOS 129875 HAS SOPS 69812 HAS SOUS 37192 HAS SOUPS 34117 WITH SCORE 34246.875
AT ITER 2606 NEW BEST:: SOT 153365 SOS 129859 HAS SOPS 69796 HAS SOUS 37172 HAS SOUPS 34097 WITH SCORE 34226.859
AT ITER 2610 NEW BEST:: SOT 153255 SOS 129763 HAS SOPS 69700 HAS SOUS 37082 HAS SOUPS 34007 WITH SCORE 34136.763
AT ITER 2616 NEW BEST:: SOT 153107 SOS 129615 HAS SOPS 69536 HAS SOUS 36926 HAS SOUPS 33851 WITH SCORE 33980.615
AT ITER 2634 NEW BEST:: SOT 153058 SOS 129566 HAS SOPS 69510 HAS SOUS 36895 HAS SOUPS 33820 WITH SCORE 33949.566
AT ITER 2635 NEW BEST:: SOT 153020 SOS 129528 HAS SOPS 69467 HAS SOUS 36845 HAS SOUPS 33770 WITH SCORE 33899.528
AT ITER 2654 NEW BEST:: SOT 152980 SOS 129488 HAS SOPS 69407 HAS SOUS 36814 HAS SOUPS 33739 WITH SCORE 33868.488
AT ITER 2683 NEW BEST:: SOT 152980 SOS 129488 HAS SOPS 69407 HAS SOUS 36789 HAS SOUPS 33714 WITH SCORE 33843.488
AT ITER 2696 NEW BEST:: SOT 152980 SOS 129488 HAS SOPS 69327 HAS SOUS 36720 HAS SOUPS 33644 WITH SCORE 33773.488
AT ITER 2700 NEW BEST:: SOT 153000 SOS 129508 HAS SOPS 69169 HAS SOUS 36552 HAS SOUPS 33476 WITH SCORE 33605.508
AT ITER 2713 NEW BEST:: SOT 152990 SOS 129498 HAS SOPS 69159 HAS SOUS 36552 HAS SOUPS 33476 WITH SCORE 33605.498
AT ITER 2720 NEW BEST:: SOT 152976 SOS 129510 HAS SOPS 69171 HAS SOUS 36519 HAS SOUPS 33443 WITH SCORE 33572.51
AT ITER 2730 NEW BEST:: SOT 152958 SOS 129492 HAS SOPS 69133 HAS SOUS 36485 HAS SOUPS 33409 WITH SCORE 33538.492
AT ITER 2732 NEW BEST:: SOT 152965 SOS 129499 HAS SOPS 69098 HAS SOUS 36471 HAS SOUPS 33395 WITH SCORE 33524.499
AT ITER 2745 NEW BEST:: SOT 152965 SOS 129499 HAS SOPS 69070 HAS SOUS 36478 HAS SOUPS 33388 WITH SCORE 33517.499
AT ITER 2753 NEW BEST:: SOT 152929 SOS 129463 HAS SOPS 69034 HAS SOUS 36377 HAS SOUPS 33287 WITH SCORE 33416.463
AT ITER 2760 NEW BEST:: SOT 152983 SOS 129517 HAS SOPS 69003 HAS SOUS 36375 HAS SOUPS 33285 WITH SCORE 33414.517
AT ITER 2770 NEW BEST:: SOT 152939 SOS 129473 HAS SOPS 68915 HAS SOUS 36309 HAS SOUPS 33219 WITH SCORE 33348.473
AT ITER 2775 NEW BEST:: SOT 152906 SOS 129440 HAS SOPS 68894 HAS SOUS 36282 HAS SOUPS 33192 WITH SCORE 33321.44
AT ITER 2791 NEW BEST:: SOT 152861 SOS 129395 HAS SOPS 68849 HAS SOUS 36199 HAS SOUPS 33109 WITH SCORE 33238.395
AT ITER 2806 NEW BEST:: SOT 152678 SOS 129212 HAS SOPS 68535 HAS SOUS 35831 HAS SOUPS 32741 WITH SCORE 32870.212
AT ITER 2808 NEW BEST:: SOT 152676 SOS 129210 HAS SOPS 68530 HAS SOUS 35830 HAS SOUPS 32740 WITH SCORE 32869.21
AT ITER 2817 NEW BEST:: SOT 152615 SOS 129137 HAS SOPS 68374 HAS SOUS 35791 HAS SOUPS 32701 WITH SCORE 32830.137
AT ITER 2827 NEW BEST:: SOT 152580 SOS 129102 HAS SOPS 68339 HAS SOUS 35731 HAS SOUPS 32641 WITH SCORE 32770.102
AT ITER 2832 NEW BEST:: SOT 152890 SOS 129412 HAS SOPS 68354 HAS SOUS 35722 HAS SOUPS 32629 WITH SCORE 32758.412
AT ITER 2833 NEW BEST:: SOT 152888 SOS 129410 HAS SOPS 68351 HAS SOUS 35718 HAS SOUPS 32625 WITH SCORE 32754.41
AT ITER 2840 NEW BEST:: SOT 152844 SOS 129356 HAS SOPS 68305 HAS SOUS 35652 HAS SOUPS 32559 WITH SCORE 32688.356
AT ITER 2841 NEW BEST:: SOT 152804 SOS 129316 HAS SOPS 68220 HAS SOUS 35572 HAS SOUPS 32479 WITH SCORE 32608.316
AT ITER 2849 NEW BEST:: SOT 152763 SOS 129275 HAS SOPS 68138 HAS SOUS 35449 HAS SOUPS 32356 WITH SCORE 32485.275
AT ITER 2852 NEW BEST:: SOT 152721 SOS 129233 HAS SOPS 68099 HAS SOUS 35406 HAS SOUPS 32313 WITH SCORE 32442.233
AT ITER 2864 NEW BEST:: SOT 152750 SOS 129227 HAS SOPS 68062 HAS SOUS 35272 HAS SOUPS 32179 WITH SCORE 32308.227
AT ITER 2873 NEW BEST:: SOT 152750 SOS 129227 HAS SOPS 68062 HAS SOUS 35271 HAS SOUPS 32178 WITH SCORE 32307.227
AT ITER 2885 NEW BEST:: SOT 152726 SOS 129203 HAS SOPS 68014 HAS SOUS 35235 HAS SOUPS 32142 WITH SCORE 32271.203
AT ITER 2893 NEW BEST:: SOT 152656 SOS 129133 HAS SOPS 67909 HAS SOUS 35130 HAS SOUPS 32037 WITH SCORE 32166.133
AT ITER 2921 NEW BEST:: SOT 152666 SOS 129143 HAS SOPS 67900 HAS SOUS 35127 HAS SOUPS 32034 WITH SCORE 32163.143
AT ITER 2933 NEW BEST:: SOT 152652 SOS 129129 HAS SOPS 67876 HAS SOUS 35103 HAS SOUPS 32010 WITH SCORE 32139.129
AT ITER 2958 NEW BEST:: SOT 152525 SOS 128965 HAS SOPS 67633 HAS SOUS 34928 HAS SOUPS 31835 WITH SCORE 31963.965
AT ITER 2962 NEW BEST:: SOT 152523 SOS 128963 HAS SOPS 67630 HAS SOUS 34924 HAS SOUPS 31831 WITH SCORE 31959.963
AT ITER 2975 NEW BEST:: SOT 152458 SOS 128883 HAS SOPS 67585 HAS SOUS 34869 HAS SOUPS 31776 WITH SCORE 31904.883
AT ITER 3011 NEW BEST:: SOT 152406 SOS 128831 HAS SOPS 67507 HAS SOUS 34765 HAS SOUPS 31672 WITH SCORE 31800.831
AT ITER 3012 NEW BEST:: SOT 152389 SOS 128814 HAS SOPS 67473 HAS SOUS 34748 HAS SOUPS 31655 WITH SCORE 31783.814
AT ITER 3016 NEW BEST:: SOT 152331 SOS 128756 HAS SOPS 67399 HAS SOUS 34636 HAS SOUPS 31543 WITH SCORE 31671.756
AT ITER 3043 NEW BEST:: SOT 152153 SOS 128578 HAS SOPS 67318 HAS SOUS 34576 HAS SOUPS 31486 WITH SCORE 31614.578
AT ITER 3050 NEW BEST:: SOT 152211 SOS 128636 HAS SOPS 67261 HAS SOUS 34555 HAS SOUPS 31465 WITH SCORE 31593.636
AT ITER 3060 NEW BEST:: SOT 152211 SOS 128636 HAS SOPS 67261 HAS SOUS 34545 HAS SOUPS 31455 WITH SCORE 31583.636
AT ITER 3072 NEW BEST:: SOT 151958 SOS 128451 HAS SOPS 67039 HAS SOUS 34294 HAS SOUPS 31203 WITH SCORE 31331.451
AT ITER 3081 NEW BEST:: SOT 151936 SOS 128429 HAS SOPS 67006 HAS SOUS 34250 HAS SOUPS 31159 WITH SCORE 31287.429
AT ITER 3091 NEW BEST:: SOT 151780 SOS 128273 HAS SOPS 66833 HAS SOUS 34171 HAS SOUPS 31080 WITH SCORE 31208.273
AT ITER 3101 NEW BEST:: SOT 151780 SOS 128273 HAS SOPS 66693 HAS SOUS 34066 HAS SOUPS 30975 WITH SCORE 31103.273
AT ITER 3110 NEW BEST:: SOT 151391 SOS 129698 HAS SOPS 66794 HAS SOUS 33875 HAS SOUPS 30748 WITH SCORE 30877.698
AT ITER 3122 NEW BEST:: SOT 151389 SOS 129696 HAS SOPS 66791 HAS SOUS 33872 HAS SOUPS 30745 WITH SCORE 30874.696
AT ITER 3126 NEW BEST:: SOT 151373 SOS 129680 HAS SOPS 66783 HAS SOUS 33860 HAS SOUPS 30733 WITH SCORE 30862.68
AT ITER 3132 NEW BEST:: SOT 151341 SOS 129648 HAS SOPS 66743 HAS SOUS 33859 HAS SOUPS 30732 WITH SCORE 30861.648
AT ITER 3152 NEW BEST:: SOT 151293 SOS 129600 HAS SOPS 66671 HAS SOUS 33807 HAS SOUPS 30680 WITH SCORE 30809.6
AT ITER 3163 NEW BEST:: SOT 151281 SOS 129588 HAS SOPS 66659 HAS SOUS 33801 HAS SOUPS 30674 WITH SCORE 30803.588
AT ITER 3169 NEW BEST:: SOT 151229 SOS 129536 HAS SOPS 66607 HAS SOUS 33749 HAS SOUPS 30622 WITH SCORE 30751.536
AT ITER 3177 NEW BEST:: SOT 151221 SOS 129528 HAS SOPS 66591 HAS SOUS 33737 HAS SOUPS 30610 WITH SCORE 30739.528
AT ITER 3179 NEW BEST:: SOT 151034 SOS 129341 HAS SOPS 66356 HAS SOUS 33621 HAS SOUPS 30494 WITH SCORE 30623.341
AT ITER 3181 NEW BEST:: SOT 151024 SOS 129331 HAS SOPS 66350 HAS SOUS 33615 HAS SOUPS 30488 WITH SCORE 30617.331
AT ITER 3183 NEW BEST:: SOT 150990 SOS 129197 HAS SOPS 66239 HAS SOUS 33594 HAS SOUPS 30467 WITH SCORE 30596.197
AT ITER 3195 NEW BEST:: SOT 150970 SOS 129177 HAS SOPS 66209 HAS SOUS 33564 HAS SOUPS 30437 WITH SCORE 30566.177
AT ITER 3259 NEW BEST:: SOT 150924 SOS 129165 HAS SOPS 66174 HAS SOUS 33475 HAS SOUPS 30348 WITH SCORE 30477.165
AT ITER 3262 NEW BEST:: SOT 150912 SOS 129153 HAS SOPS 66202 HAS SOUS 33457 HAS SOUPS 30330 WITH SCORE 30459.153
AT ITER 3270 NEW BEST:: SOT 151289 SOS 124707 HAS SOPS 64401 HAS SOUS 33266 HAS SOUPS 30213 WITH SCORE 30337.707
AT ITER 3284 NEW BEST:: SOT 151297 SOS 124715 HAS SOPS 64417 HAS SOUS 33235 HAS SOUPS 30182 WITH SCORE 30306.715
AT ITER 3287 NEW BEST:: SOT 151259 SOS 124677 HAS SOPS 64341 HAS SOUS 33131 HAS SOUPS 30078 WITH SCORE 30202.677
AT ITER 3319 NEW BEST:: SOT 151190 SOS 124608 HAS SOPS 64235 HAS SOUS 33025 HAS SOUPS 29972 WITH SCORE 30096.608
AT ITER 3325 NEW BEST:: SOT 151106 SOS 124524 HAS SOPS 64067 HAS SOUS 32899 HAS SOUPS 29846 WITH SCORE 29970.524
AT ITER 3353 NEW BEST:: SOT 151062 SOS 124480 HAS SOPS 64001 HAS SOUS 32833 HAS SOUPS 29780 WITH SCORE 29904.48
AT ITER 3358 NEW BEST:: SOT 151048 SOS 124466 HAS SOPS 63980 HAS SOUS 32805 HAS SOUPS 29752 WITH SCORE 29876.466
AT ITER 3393 NEW BEST:: SOT 151033 SOS 124446 HAS SOPS 63950 HAS SOUS 32780 HAS SOUPS 29727 WITH SCORE 29851.446
AT ITER 3394 NEW BEST:: SOT 151019 SOS 124432 HAS SOPS 63929 HAS SOUS 32759 HAS SOUPS 29706 WITH SCORE 29830.432
AT ITER 3403 NEW BEST:: SOT 151005 SOS 124418 HAS SOPS 63918 HAS SOUS 32755 HAS SOUPS 29702 WITH SCORE 29826.418
AT ITER 3410 NEW BEST:: SOT 150979 SOS 124392 HAS SOPS 63879 HAS SOUS 32716 HAS SOUPS 29663 WITH SCORE 29787.392
AT ITER 3413 NEW BEST:: SOT 150977 SOS 124390 HAS SOPS 63876 HAS SOUS 32713 HAS SOUPS 29660 WITH SCORE 29784.39
AT ITER 3416 NEW BEST:: SOT 150973 SOS 124394 HAS SOPS 63892 HAS SOUS 32709 HAS SOUPS 29656 WITH SCORE 29780.394
AT ITER 3441 NEW BEST:: SOT 150953 SOS 124374 HAS SOPS 63880 HAS SOUS 32697 HAS SOUPS 29644 WITH SCORE 29768.374
AT ITER 3451 NEW BEST:: SOT 150995 SOS 124416 HAS SOPS 63943 HAS SOUS 32696 HAS SOUPS 29643 WITH SCORE 29767.416
AT ITER 3469 NEW BEST:: SOT 150959 SOS 124380 HAS SOPS 63843 HAS SOUS 32596 HAS SOUPS 29543 WITH SCORE 29667.38
AT ITER 3478 NEW BEST:: SOT 150925 SOS 124346 HAS SOPS 63738 HAS SOUS 32563 HAS SOUPS 29510 WITH SCORE 29634.346
AT ITER 3493 NEW BEST:: SOT 150925 SOS 124346 HAS SOPS 63738 HAS SOUS 32545 HAS SOUPS 29492 WITH SCORE 29616.346
AT ITER 3500 NEW BEST:: SOT 150774 SOS 124195 HAS SOPS 63574 HAS SOUS 32381 HAS SOUPS 29328 WITH SCORE 29452.195
AT ITER 3513 NEW BEST:: SOT 150748 SOS 124169 HAS SOPS 63535 HAS SOUS 32342 HAS SOUPS 29289 WITH SCORE 29413.169
AT ITER 3514 NEW BEST:: SOT 150754 SOS 124175 HAS SOPS 63544 HAS SOUS 32321 HAS SOUPS 29268 WITH SCORE 29392.175
AT ITER 3531 NEW BEST:: SOT 150742 SOS 124163 HAS SOPS 63526 HAS SOUS 32303 HAS SOUPS 29250 WITH SCORE 29374.163
AT ITER 3560 NEW BEST:: SOT 150628 SOS 124049 HAS SOPS 63355 HAS SOUS 32090 HAS SOUPS 29037 WITH SCORE 29161.049
AT ITER 3562 NEW BEST:: SOT 150628 SOS 124049 HAS SOPS 63179 HAS SOUS 31958 HAS SOUPS 28905 WITH SCORE 29029.049
AT ITER 3566 NEW BEST:: SOT 150460 SOS 123881 HAS SOPS 62927 HAS SOUS 31656 HAS SOUPS 28603 WITH SCORE 28726.881
AT ITER 3568 NEW BEST:: SOT 150460 SOS 123881 HAS SOPS 62903 HAS SOUS 31637 HAS SOUPS 28584 WITH SCORE 28707.881
AT ITER 3571 NEW BEST:: SOT 150460 SOS 123881 HAS SOPS 62903 HAS SOUS 31629 HAS SOUPS 28576 WITH SCORE 28699.881
AT ITER 3572 NEW BEST:: SOT 150446 SOS 123867 HAS SOPS 62906 HAS SOUS 31621 HAS SOUPS 28568 WITH SCORE 28691.867
AT ITER 3585 NEW BEST:: SOT 150494 SOS 123915 HAS SOPS 62898 HAS SOUS 31620 HAS SOUPS 28567 WITH SCORE 28690.915
AT ITER 3595 NEW BEST:: SOT 150484 SOS 123905 HAS SOPS 62878 HAS SOUS 31596 HAS SOUPS 28543 WITH SCORE 28666.905
AT ITER 3621 NEW BEST:: SOT 150584 SOS 122232 HAS SOPS 62303 HAS SOUS 31567 HAS SOUPS 28541 WITH SCORE 28663.232
AT ITER 3641 NEW BEST:: SOT 150548 SOS 122196 HAS SOPS 62249 HAS SOUS 31496 HAS SOUPS 28470 WITH SCORE 28592.196
AT ITER 3661 NEW BEST:: SOT 150540 SOS 122187 HAS SOPS 62240 HAS SOUS 31463 HAS SOUPS 28437 WITH SCORE 28559.187
AT ITER 3680 NEW BEST:: SOT 150510 SOS 122157 HAS SOPS 62219 HAS SOUS 31418 HAS SOUPS 28392 WITH SCORE 28514.157
AT ITER 3723 NEW BEST:: SOT 150462 SOS 122109 HAS SOPS 62123 HAS SOUS 31346 HAS SOUPS 28320 WITH SCORE 28442.109
AT ITER 3753 NEW BEST:: SOT 150474 SOS 122121 HAS SOPS 62123 HAS SOUS 31340 HAS SOUPS 28314 WITH SCORE 28436.121
AT ITER 3760 NEW BEST:: SOT 150480 SOS 122127 HAS SOPS 62107 HAS SOUS 31328 HAS SOUPS 28302 WITH SCORE 28424.127
AT ITER 3776 NEW BEST:: SOT 150450 SOS 122097 HAS SOPS 62054 HAS SOUS 31291 HAS SOUPS 28265 WITH SCORE 28387.097
AT ITER 3819 NEW BEST:: SOT 150471 SOS 122087 HAS SOPS 62051 HAS SOUS 31282 HAS SOUPS 28256 WITH SCORE 28378.087
AT ITER 3836 NEW BEST:: SOT 150467 SOS 122083 HAS SOPS 62037 HAS SOUS 31274 HAS SOUPS 28248 WITH SCORE 28370.083
AT ITER 3839 NEW BEST:: SOT 150521 SOS 122080 HAS SOPS 62046 HAS SOUS 31232 HAS SOUPS 28206 WITH SCORE 28328.08
AT ITER 3847 NEW BEST:: SOT 150453 SOS 122012 HAS SOPS 61944 HAS SOUS 31130 HAS SOUPS 28104 WITH SCORE 28226.012
AT ITER 3850 NEW BEST:: SOT 150441 SOS 122000 HAS SOPS 61916 HAS SOUS 31112 HAS SOUPS 28086 WITH SCORE 28208.0
AT ITER 3856 NEW BEST:: SOT 150441 SOS 122000 HAS SOPS 61916 HAS SOUS 31085 HAS SOUPS 28059 WITH SCORE 28181.0
AT ITER 3858 NEW BEST:: SOT 150385 SOS 121944 HAS SOPS 61883 HAS SOUS 31049 HAS SOUPS 28023 WITH SCORE 28144.944
AT ITER 3861 NEW BEST:: SOT 150367 SOS 121926 HAS SOPS 61888 HAS SOUS 31046 HAS SOUPS 28020 WITH SCORE 28141.926
AT ITER 3867 NEW BEST:: SOT 150287 SOS 121846 HAS SOPS 61808 HAS SOUS 30870 HAS SOUPS 27844 WITH SCORE 27965.846
AT ITER 3869 NEW BEST:: SOT 150287 SOS 121846 HAS SOPS 61808 HAS SOUS 30855 HAS SOUPS 27829 WITH SCORE 27950.846
AT ITER 3902 NEW BEST:: SOT 150130 SOS 122953 HAS SOPS 62151 HAS SOUS 30854 HAS SOUPS 27806 WITH SCORE 27928.953
AT ITER 3910 NEW BEST:: SOT 150110 SOS 122933 HAS SOPS 62111 HAS SOUS 30813 HAS SOUPS 27765 WITH SCORE 27887.933
AT ITER 3930 NEW BEST:: SOT 150051 SOS 122874 HAS SOPS 62056 HAS SOUS 30758 HAS SOUPS 27710 WITH SCORE 27832.874
AT ITER 3939 NEW BEST:: SOT 150034 SOS 122854 HAS SOPS 62053 HAS SOUS 30757 HAS SOUPS 27709 WITH SCORE 27831.854
AT ITER 3941 NEW BEST:: SOT 150010 SOS 122830 HAS SOPS 62017 HAS SOUS 30721 HAS SOUPS 27673 WITH SCORE 27795.83
AT ITER 3959 NEW BEST:: SOT 149964 SOS 122689 HAS SOPS 61910 HAS SOUS 30650 HAS SOUPS 27602 WITH SCORE 27724.689
AT ITER 3989 NEW BEST:: SOT 149980 SOS 122732 HAS SOPS 61877 HAS SOUS 30617 HAS SOUPS 27569 WITH SCORE 27691.732
AT ITER 3994 NEW BEST:: SOT 149973 SOS 122725 HAS SOPS 61870 HAS SOUS 30610 HAS SOUPS 27562 WITH SCORE 27684.725
AT ITER 3997 NEW BEST:: SOT 149968 SOS 122720 HAS SOPS 61865 HAS SOUS 30605 HAS SOUPS 27557 WITH SCORE 27679.72
AT ITER 3999 NEW BEST:: SOT 149954 SOS 122706 HAS SOPS 61844 HAS SOUS 30589 HAS SOUPS 27541 WITH SCORE 27663.706
AT ITER 4037 NEW BEST:: SOT 149946 SOS 122698 HAS SOPS 61832 HAS SOUS 30577 HAS SOUPS 27529 WITH SCORE 27651.698
AT ITER 4049 NEW BEST:: SOT 149938 SOS 122690 HAS SOPS 61820 HAS SOUS 30510 HAS SOUPS 27462 WITH SCORE 27584.69
AT ITER 4054 NEW BEST:: SOT 149938 SOS 122690 HAS SOPS 61820 HAS SOUS 30467 HAS SOUPS 27419 WITH SCORE 27541.69
AT ITER 4089 NEW BEST:: SOT 149878 SOS 122630 HAS SOPS 61730 HAS SOUS 30377 HAS SOUPS 27329 WITH SCORE 27451.63
AT ITER 4113 NEW BEST:: SOT 149816 SOS 122568 HAS SOPS 61668 HAS SOUS 30365 HAS SOUPS 27317 WITH SCORE 27439.568
AT ITER 4115 NEW BEST:: SOT 149816 SOS 122568 HAS SOPS 61668 HAS SOUS 30352 HAS SOUPS 27304 WITH SCORE 27426.568
AT ITER 4131 NEW BEST:: SOT 149822 SOS 122670 HAS SOPS 61695 HAS SOUS 30325 HAS SOUPS 27277 WITH SCORE 27399.67
AT ITER 4152 NEW BEST:: SOT 149706 SOS 122554 HAS SOPS 61521 HAS SOUS 30151 HAS SOUPS 27103 WITH SCORE 27225.554
AT ITER 4166 NEW BEST:: SOT 149700 SOS 122548 HAS SOPS 61552 HAS SOUS 30142 HAS SOUPS 27094 WITH SCORE 27216.548
AT ITER 4170 NEW BEST:: SOT 149642 SOS 122490 HAS SOPS 61460 HAS SOUS 30050 HAS SOUPS 27002 WITH SCORE 27124.49
AT ITER 4184 NEW BEST:: SOT 149658 SOS 122506 HAS SOPS 61484 HAS SOUS 30037 HAS SOUPS 26989 WITH SCORE 27111.506
AT ITER 4201 NEW BEST:: SOT 149652 SOS 122500 HAS SOPS 61475 HAS SOUS 30025 HAS SOUPS 26977 WITH SCORE 27099.5
AT ITER 4224 NEW BEST:: SOT 149648 SOS 122511 HAS SOPS 61446 HAS SOUS 30012 HAS SOUPS 26964 WITH SCORE 27086.511
AT ITER 4231 NEW BEST:: SOT 149516 SOS 122379 HAS SOPS 61267 HAS SOUS 29785 HAS SOUPS 26737 WITH SCORE 26859.379
AT ITER 4234 NEW BEST:: SOT 149458 SOS 122321 HAS SOPS 61180 HAS SOUS 29678 HAS SOUPS 26630 WITH SCORE 26752.321
AT ITER 4243 NEW BEST:: SOT 149440 SOS 122303 HAS SOPS 61153 HAS SOUS 29655 HAS SOUPS 26607 WITH SCORE 26729.303
AT ITER 4248 NEW BEST:: SOT 149454 SOS 122289 HAS SOPS 61111 HAS SOUS 29655 HAS SOUPS 26607 WITH SCORE 26729.289
AT ITER 4261 NEW BEST:: SOT 149454 SOS 122289 HAS SOPS 61111 HAS SOUS 29647 HAS SOUPS 26599 WITH SCORE 26721.289
AT ITER 4278 NEW BEST:: SOT 149450 SOS 122285 HAS SOPS 61105 HAS SOUS 29641 HAS SOUPS 26593 WITH SCORE 26715.285
AT ITER 4285 NEW BEST:: SOT 149420 SOS 122255 HAS SOPS 61036 HAS SOUS 29596 HAS SOUPS 26548 WITH SCORE 26670.255
AT ITER 4290 NEW BEST:: SOT 149418 SOS 122253 HAS SOPS 61032 HAS SOUS 29592 HAS SOUPS 26544 WITH SCORE 26666.253
AT ITER 4306 NEW BEST:: SOT 149418 SOS 122253 HAS SOPS 61032 HAS SOUS 29582 HAS SOUPS 26534 WITH SCORE 26656.253
AT ITER 4309 NEW BEST:: SOT 149418 SOS 122253 HAS SOPS 61032 HAS SOUS 29565 HAS SOUPS 26517 WITH SCORE 26639.253
AT ITER 4331 NEW BEST:: SOT 149297 SOS 122101 HAS SOPS 60849 HAS SOUS 29266 HAS SOUPS 26218 WITH SCORE 26340.101
AT ITER 4335 NEW BEST:: SOT 149399 SOS 122203 HAS SOPS 60777 HAS SOUS 29183 HAS SOUPS 26135 WITH SCORE 26257.203
AT ITER 4343 NEW BEST:: SOT 149404 SOS 122208 HAS SOPS 60782 HAS SOUS 29144 HAS SOUPS 26096 WITH SCORE 26218.208
AT ITER 4347 NEW BEST:: SOT 149400 SOS 122204 HAS SOPS 60776 HAS SOUS 29120 HAS SOUPS 26072 WITH SCORE 26194.204
AT ITER 4352 NEW BEST:: SOT 149349 SOS 122153 HAS SOPS 60716 HAS SOUS 29051 HAS SOUPS 26003 WITH SCORE 26125.153
AT ITER 4386 NEW BEST:: SOT 149329 SOS 122133 HAS SOPS 60706 HAS SOUS 29036 HAS SOUPS 25988 WITH SCORE 26110.133
AT ITER 4390 NEW BEST:: SOT 149273 SOS 122077 HAS SOPS 60622 HAS SOUS 28916 HAS SOUPS 25868 WITH SCORE 25990.077
AT ITER 4398 NEW BEST:: SOT 149241 SOS 122045 HAS SOPS 60574 HAS SOUS 28874 HAS SOUPS 25826 WITH SCORE 25948.045
AT ITER 4416 NEW BEST:: SOT 149217 SOS 122021 HAS SOPS 60550 HAS SOUS 28846 HAS SOUPS 25798 WITH SCORE 25920.021
AT ITER 4420 NEW BEST:: SOT 149101 SOS 121905 HAS SOPS 60463 HAS SOUS 28782 HAS SOUPS 25734 WITH SCORE 25855.905
AT ITER 4435 NEW BEST:: SOT 149213 SOS 122017 HAS SOPS 60283 HAS SOUS 28711 HAS SOUPS 25663 WITH SCORE 25785.017
AT ITER 4442 NEW BEST:: SOT 149225 SOS 122029 HAS SOPS 60295 HAS SOUS 28669 HAS SOUPS 25621 WITH SCORE 25743.029
AT ITER 4470 NEW BEST:: SOT 149151 SOS 121955 HAS SOPS 60190 HAS SOUS 28574 HAS SOUPS 25526 WITH SCORE 25647.955
AT ITER 4473 NEW BEST:: SOT 149141 SOS 121945 HAS SOPS 60113 HAS SOUS 28505 HAS SOUPS 25457 WITH SCORE 25578.945
AT ITER 4474 NEW BEST:: SOT 149133 SOS 121937 HAS SOPS 60101 HAS SOUS 28497 HAS SOUPS 25449 WITH SCORE 25570.937
AT ITER 4480 NEW BEST:: SOT 149091 SOS 121895 HAS SOPS 60172 HAS SOUS 28477 HAS SOUPS 25429 WITH SCORE 25550.895
AT ITER 4488 NEW BEST:: SOT 149106 SOS 121605 HAS SOPS 60082 HAS SOUS 28462 HAS SOUPS 25419 WITH SCORE 25540.605
AT ITER 4498 NEW BEST:: SOT 149102 SOS 121601 HAS SOPS 60076 HAS SOUS 28455 HAS SOUPS 25412 WITH SCORE 25533.601
AT ITER 4513 NEW BEST:: SOT 149110 SOS 121557 HAS SOPS 59910 HAS SOUS 28420 HAS SOUPS 25377 WITH SCORE 25498.557
AT ITER 4517 NEW BEST:: SOT 149145 SOS 121335 HAS SOPS 59696 HAS SOUS 28420 HAS SOUPS 25377 WITH SCORE 25498.335
AT ITER 4519 NEW BEST:: SOT 149145 SOS 121335 HAS SOPS 59696 HAS SOUS 28418 HAS SOUPS 25375 WITH SCORE 25496.335
AT ITER 4528 NEW BEST:: SOT 149121 SOS 121311 HAS SOPS 59678 HAS SOUS 28394 HAS SOUPS 25351 WITH SCORE 25472.311
AT ITER 4570 NEW BEST:: SOT 149017 SOS 121207 HAS SOPS 59522 HAS SOUS 28187 HAS SOUPS 25144 WITH SCORE 25265.207
AT ITER 4581 NEW BEST:: SOT 148986 SOS 121176 HAS SOPS 59413 HAS SOUS 28127 HAS SOUPS 25084 WITH SCORE 25205.176
AT ITER 4604 NEW BEST:: SOT 148972 SOS 121162 HAS SOPS 59392 HAS SOUS 28106 HAS SOUPS 25063 WITH SCORE 25184.162
AT ITER 4612 NEW BEST:: SOT 148984 SOS 121198 HAS SOPS 59425 HAS SOUS 28099 HAS SOUPS 25056 WITH SCORE 25177.198
AT ITER 4614 NEW BEST:: SOT 148978 SOS 121192 HAS SOPS 59425 HAS SOUS 28096 HAS SOUPS 25053 WITH SCORE 25174.192
AT ITER 4616 NEW BEST:: SOT 148972 SOS 121186 HAS SOPS 59416 HAS SOUS 28074 HAS SOUPS 25031 WITH SCORE 25152.186
AT ITER 4640 NEW BEST:: SOT 148958 SOS 121172 HAS SOPS 59395 HAS SOUS 28055 HAS SOUPS 25012 WITH SCORE 25133.172
AT ITER 4671 NEW BEST:: SOT 148801 SOS 121942 HAS SOPS 59345 HAS SOUS 28018 HAS SOUPS 24955 WITH SCORE 25076.942
AT ITER 4673 NEW BEST:: SOT 148783 SOS 121924 HAS SOPS 59322 HAS SOUS 27991 HAS SOUPS 24928 WITH SCORE 25049.924
AT ITER 4692 NEW BEST:: SOT 148763 SOS 121904 HAS SOPS 59292 HAS SOUS 27959 HAS SOUPS 24896 WITH SCORE 25017.904
AT ITER 4711 NEW BEST:: SOT 148783 SOS 121924 HAS SOPS 59294 HAS SOUS 27948 HAS SOUPS 24885 WITH SCORE 25006.924
AT ITER 4716 NEW BEST:: SOT 148718 SOS 121859 HAS SOPS 59185 HAS SOUS 27795 HAS SOUPS 24732 WITH SCORE 24853.859
AT ITER 4723 NEW BEST:: SOT 148652 SOS 121793 HAS SOPS 59218 HAS SOUS 27762 HAS SOUPS 24699 WITH SCORE 24820.793
AT ITER 4735 NEW BEST:: SOT 148624 SOS 121765 HAS SOPS 59176 HAS SOUS 27680 HAS SOUPS 24617 WITH SCORE 24738.765
AT ITER 4736 NEW BEST:: SOT 148620 SOS 121761 HAS SOPS 59172 HAS SOUS 27676 HAS SOUPS 24613 WITH SCORE 24734.761
AT ITER 4768 NEW BEST:: SOT 148592 SOS 121733 HAS SOPS 59130 HAS SOUS 27634 HAS SOUPS 24571 WITH SCORE 24692.733
AT ITER 4806 NEW BEST:: SOT 148584 SOS 121725 HAS SOPS 59118 HAS SOUS 27618 HAS SOUPS 24555 WITH SCORE 24676.725
AT ITER 4820 NEW BEST:: SOT 148550 SOS 121691 HAS SOPS 59061 HAS SOUS 27561 HAS SOUPS 24498 WITH SCORE 24619.691
AT ITER 4832 NEW BEST:: SOT 148562 SOS 121703 HAS SOPS 59061 HAS SOUS 27555 HAS SOUPS 24492 WITH SCORE 24613.703
AT ITER 4844 NEW BEST:: SOT 148562 SOS 121703 HAS SOPS 59049 HAS SOUS 27546 HAS SOUPS 24483 WITH SCORE 24604.703
AT ITER 4862 NEW BEST:: SOT 148532 SOS 121673 HAS SOPS 59004 HAS SOUS 27503 HAS SOUPS 24440 WITH SCORE 24561.673
AT ITER 4874 NEW BEST:: SOT 148532 SOS 121673 HAS SOPS 59004 HAS SOUS 27500 HAS SOUPS 24437 WITH SCORE 24558.673
AT ITER 4903 NEW BEST:: SOT 148522 SOS 121663 HAS SOPS 58999 HAS SOUS 27497 HAS SOUPS 24434 WITH SCORE 24555.663
AT ITER 4905 NEW BEST:: SOT 148456 SOS 121593 HAS SOPS 58867 HAS SOUS 27398 HAS SOUPS 24335 WITH SCORE 24456.593
AT ITER 4913 NEW BEST:: SOT 148452 SOS 121587 HAS SOPS 58859 HAS SOUS 27390 HAS SOUPS 24327 WITH SCORE 24448.587
AT ITER 4914 NEW BEST:: SOT 148413 SOS 121548 HAS SOPS 58905 HAS SOUS 27378 HAS SOUPS 24315 WITH SCORE 24436.548
AT ITER 4924 NEW BEST:: SOT 148386 SOS 121502 HAS SOPS 58849 HAS SOUS 27334 HAS SOUPS 24271 WITH SCORE 24392.502
AT ITER 4949 NEW BEST:: SOT 148122 SOS 121322 HAS SOPS 58652 HAS SOUS 27304 HAS SOUPS 24241 WITH SCORE 24362.322
AT ITER 4979 NEW BEST:: SOT 148076 SOS 121276 HAS SOPS 58606 HAS SOUS 27276 HAS SOUPS 24213 WITH SCORE 24334.276
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-09-CTLFireability-00 (EU( (! ( ( ((potential((tk(P406)>=1) & (tk(P336)>=1)))) | ((potential((tk(P391)>=1) & (tk(P347)>=1)))) ) & ((potential((tk(P391)>=1) & (tk(P226)>=1)))) )) , (AF( ( ((potential((tk(P401)>=1) & (tk(P316)>=1)))) & ((potential((tk(P411)>=1)))) ))) ))
PROPERTY: Raft-PT-09-CTLFireability-01 (AF( ( ( (EX( ((potential((tk(P401)>=1) & (tk(P34)>=1)))))) & (AX( ((potential((tk(P396)>=1) & (tk(P70)>=1)))))) ) & ((potential((tk(P371)>=1) & (tk(P290)>=1)))) )))
PROPERTY: Raft-PT-09-CTLFireability-02 (AU( ( (! ( ((potential((tk(P391)>=1) & (tk(P22)>=1)))) & ((potential((tk(P381)>=1) & (tk(P338)>=1)))) )) & (! (! ((potential((tk(P396)>=1)))))) ) , ( (AF( ((potential((tk(P391)>=1) & (tk(P22)>=1)))))) | ((potential((tk(P381)>=1) & (tk(P339)>=1)))) ) ))
PROPERTY: Raft-PT-09-CTLFireability-03 (! (! (EG( (! ((potential((tk(P396)>=1) & (tk(P149)>=1)))))))))
PROPERTY: Raft-PT-09-CTLFireability-04 (EG( (! (! (! ((potential((tk(P371)>=1) & (tk(P208)>=1)))))))))
PROPERTY: Raft-PT-09-CTLFireability-05 (EG( (EU( (! ((potential((tk(P396)>=1) & (tk(P150)>=1))))) , ((potential((tk(P391)>=1) & (tk(P241)>=1)))) ))))
PROPERTY: Raft-PT-09-CTLFireability-06 (AX( (AG( (AF( ((potential((tk(P406)>=1) & (tk(P356)>=1))))))))))
PROPERTY: Raft-PT-09-CTLFireability-07 (! (AG( ( (AX( ((potential((tk(P401)>=1) & (tk(P113)>=1)))))) | ( (! ((potential((tk(P371)>=1) & (tk(P208)>=1))))) | ( ((potential((tk(P365)>=1)))) & ((potential((tk(P391)>=1) & (tk(P231)>=1)))) ) ) ))))
PROPERTY: Raft-PT-09-CTLFireability-08 (EG( (EF( ( ( ((potential((tk(P381)>=1) & (tk(P52)>=1)))) | ((potential((tk(P391)>=1) & (tk(P226)>=1)))) ) & (! ((potential((tk(P391)>=1) & (tk(P407)>=1))))) )))))
PROPERTY: Raft-PT-09-CTLFireability-09 (AX( (AU( ( ((potential((tk(P371)>=1) & (tk(P76)>=1)))) | ((potential((tk(P376)>=1)))) ) , (! ((potential((tk(P386)>=1) & (tk(P176)>=1))))) ))))
PROPERTY: Raft-PT-09-CTLFireability-10 (EG( ( (! ( ( ((potential((tk(P376)>=1) & (tk(P295)>=1)))) & ((potential((tk(P366)>=1) & (tk(P41)>=1)))) ) | (! ((potential((tk(P401)>=1) & (tk(P272)>=1))))) )) | ( (! ( ((potential((tk(P371)>=1) & (tk(P3)>=1)))) & ((potential((tk(P406)>=1) & (tk(P356)>=1)))) )) | (AG( ((potential((tk(P391)>=1) & (tk(P185)>=1)))))) ) )))
PROPERTY: Raft-PT-09-CTLFireability-11 ( ( (! (! ((potential((tk(P376)>=1) & (tk(P295)>=1)))))) & (AF( ( ( ((potential((tk(P401)>=1) & (tk(P311)>=1)))) | ((potential((tk(P374)>=1)))) ) | (! ((potential((tk(P396)>=1) & (tk(P246)>=1))))) ))) ) | (EG( (EF( ( ((potential((tk(P401)>=1) & (tk(P316)>=1)))) & ((potential((tk(P393)>=1)))) ))))) )
PROPERTY: Raft-PT-09-CTLFireability-12 ( (AG( (! (EG( ((potential((tk(P386)>=1) & (tk(P166)>=1))))))))) & (AF( (! (EX( ((potential((tk(P381)>=1) & (tk(P298)>=1))))))))) )
PROPERTY: Raft-PT-09-CTLFireability-13 (AX( (AF( ( ( ((potential((tk(P396)>=1) & (tk(P313)>=1)))) & ((potential((tk(P401)>=1) & (tk(P301)>=1)))) ) & ((potential((tk(P386)>=1) & (tk(P263)>=1)))) )))))
PROPERTY: Raft-PT-09-CTLFireability-14 (EF( ( (! (AF( ((potential((tk(P386)>=1) & (tk(P176)>=1))))))) & (AU( ((potential((tk(P366)>=1) & (tk(P164)>=1)))) , ((potential((tk(P386)>=1) & (tk(P304)>=1)))) )) )))
PROPERTY: Raft-PT-09-CTLFireability-15 (! (EU( (EF( ((potential((tk(P386)>=1) & (tk(P264)>=1)))))) , ( ((potential((tk(P401)>=1) & (tk(P194)>=1)))) & ((potential((tk(P376)>=1) & (tk(P175)>=1)))) ) )))

BK_STOP 1589809556576

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 477 Aborted ${SMART} ${INPUT_SM}

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="Raft-PT-09"
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 Raft-PT-09, 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 r138-smll-158961502600276"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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