Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100860.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-030A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100860
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.2K May 14 02:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 191K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-030A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590453342129

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 030A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 423 places, 573 transitions, 2760 arcs.
AT ITER 0 NEW BEST:: SOT 182058 SOS 156302 HAS SOPS 156302 HAS SOUS 126747 HAS SOUPS 126747 WITH SCORE 126903.302
AT ITER 1 NEW BEST:: SOT 182054 SOS 156298 HAS SOPS 156298 HAS SOUS 126746 HAS SOUPS 126746 WITH SCORE 126902.298
AT ITER 2 NEW BEST:: SOT 181949 SOS 155878 HAS SOPS 155878 HAS SOUS 126218 HAS SOUPS 126218 WITH SCORE 126373.878
AT ITER 4 NEW BEST:: SOT 181717 SOS 155702 HAS SOPS 155702 HAS SOUS 126042 HAS SOUPS 126042 WITH SCORE 126197.702
AT ITER 6 NEW BEST:: SOT 181584 SOS 154822 HAS SOPS 154822 HAS SOUS 125027 HAS SOUPS 125027 WITH SCORE 125181.822
AT ITER 10 NEW BEST:: SOT 181569 SOS 154763 HAS SOPS 154763 HAS SOUS 124964 HAS SOUPS 124964 WITH SCORE 125118.763
AT ITER 11 NEW BEST:: SOT 181260 SOS 154472 HAS SOPS 154472 HAS SOUS 124673 HAS SOUPS 124673 WITH SCORE 124827.472
AT ITER 14 NEW BEST:: SOT 181226 SOS 154336 HAS SOPS 154336 HAS SOUS 124537 HAS SOUPS 124537 WITH SCORE 124691.336
AT ITER 15 NEW BEST:: SOT 181321 SOS 154022 HAS SOPS 154022 HAS SOUS 124320 HAS SOUPS 124320 WITH SCORE 124474.022
AT ITER 17 NEW BEST:: SOT 181317 SOS 154018 HAS SOPS 154018 HAS SOUS 124316 HAS SOUPS 124316 WITH SCORE 124470.018
AT ITER 19 NEW BEST:: SOT 181190 SOS 153380 HAS SOPS 153380 HAS SOUS 123682 HAS SOUPS 123682 WITH SCORE 123835.38
AT ITER 21 NEW BEST:: SOT 181231 SOS 153114 HAS SOPS 153114 HAS SOUS 123526 HAS SOUPS 123526 WITH SCORE 123679.114
AT ITER 23 NEW BEST:: SOT 181195 SOS 153042 HAS SOPS 153042 HAS SOUS 123345 HAS SOUPS 123345 WITH SCORE 123498.042
AT ITER 24 NEW BEST:: SOT 181163 SOS 153010 HAS SOPS 153010 HAS SOUS 123313 HAS SOUPS 123313 WITH SCORE 123466.01
AT ITER 25 NEW BEST:: SOT 181019 SOS 152237 HAS SOPS 152237 HAS SOUS 122544 HAS SOUPS 122544 WITH SCORE 122696.237
AT ITER 29 NEW BEST:: SOT 180881 SOS 151399 HAS SOPS 151399 HAS SOUS 122002 HAS SOUPS 122002 WITH SCORE 122153.399
AT ITER 30 NEW BEST:: SOT 180823 SOS 151040 HAS SOPS 151040 HAS SOUS 121779 HAS SOUPS 121779 WITH SCORE 121930.04
AT ITER 32 NEW BEST:: SOT 180795 SOS 150956 HAS SOPS 150956 HAS SOUS 121639 HAS SOUPS 121639 WITH SCORE 121789.956
AT ITER 37 NEW BEST:: SOT 180774 SOS 150335 HAS SOPS 150335 HAS SOUS 120613 HAS SOUPS 120613 WITH SCORE 120763.335
AT ITER 40 NEW BEST:: SOT 180774 SOS 150415 HAS SOPS 150415 HAS SOUS 120386 HAS SOUPS 120386 WITH SCORE 120536.415
AT ITER 44 NEW BEST:: SOT 180769 SOS 150410 HAS SOPS 150410 HAS SOUS 120381 HAS SOUPS 120381 WITH SCORE 120531.41
AT ITER 45 NEW BEST:: SOT 180754 SOS 150209 HAS SOPS 150209 HAS SOUS 120341 HAS SOUPS 120341 WITH SCORE 120491.209
AT ITER 48 NEW BEST:: SOT 181220 SOS 150213 HAS SOPS 150213 HAS SOUS 120334 HAS SOUPS 120334 WITH SCORE 120484.213
AT ITER 49 NEW BEST:: SOT 181183 SOS 150139 HAS SOPS 150139 HAS SOUS 120334 HAS SOUPS 120334 WITH SCORE 120484.139
AT ITER 52 NEW BEST:: SOT 181096 SOS 150052 HAS SOPS 150052 HAS SOUS 120247 HAS SOUPS 120247 WITH SCORE 120397.052
AT ITER 53 NEW BEST:: SOT 181113 SOS 149867 HAS SOPS 149867 HAS SOUS 120184 HAS SOUPS 120184 WITH SCORE 120333.867
AT ITER 55 NEW BEST:: SOT 181113 SOS 149621 HAS SOPS 149621 HAS SOUS 119742 HAS SOUPS 119742 WITH SCORE 119891.621
AT ITER 58 NEW BEST:: SOT 181029 SOS 149234 HAS SOPS 149234 HAS SOUS 119528 HAS SOUPS 119528 WITH SCORE 119677.234
AT ITER 62 NEW BEST:: SOT 180979 SOS 149183 HAS SOPS 149183 HAS SOUS 119476 HAS SOUPS 119476 WITH SCORE 119625.183
AT ITER 63 NEW BEST:: SOT 180550 SOS 148754 HAS SOPS 148754 HAS SOUS 119046 HAS SOUPS 119046 WITH SCORE 119194.754
AT ITER 65 NEW BEST:: SOT 180445 SOS 148649 HAS SOPS 148649 HAS SOUS 118941 HAS SOUPS 118941 WITH SCORE 119089.649
AT ITER 66 NEW BEST:: SOT 180418 SOS 148308 HAS SOPS 148308 HAS SOUS 118806 HAS SOUPS 118806 WITH SCORE 118954.308
AT ITER 67 NEW BEST:: SOT 180367 SOS 148257 HAS SOPS 148257 HAS SOUS 118755 HAS SOUPS 118755 WITH SCORE 118903.257
AT ITER 68 NEW BEST:: SOT 180403 SOS 148124 HAS SOPS 148124 HAS SOUS 118239 HAS SOUPS 118239 WITH SCORE 118387.124
AT ITER 69 NEW BEST:: SOT 180403 SOS 147857 HAS SOPS 147857 HAS SOUS 117840 HAS SOUPS 117840 WITH SCORE 117987.857
AT ITER 71 NEW BEST:: SOT 180287 SOS 147117 HAS SOPS 147117 HAS SOUS 117276 HAS SOUPS 117276 WITH SCORE 117423.117
AT ITER 72 NEW BEST:: SOT 180277 SOS 147097 HAS SOPS 147097 HAS SOUS 117266 HAS SOUPS 117266 WITH SCORE 117413.097
AT ITER 73 NEW BEST:: SOT 180290 SOS 146971 HAS SOPS 146971 HAS SOUS 117234 HAS SOUPS 117234 WITH SCORE 117380.971
AT ITER 75 NEW BEST:: SOT 180507 SOS 147436 HAS SOPS 147436 HAS SOUS 117201 HAS SOUPS 117201 WITH SCORE 117348.436
AT ITER 77 NEW BEST:: SOT 180429 SOS 147280 HAS SOPS 147280 HAS SOUS 117052 HAS SOUPS 117052 WITH SCORE 117199.28
AT ITER 78 NEW BEST:: SOT 180389 SOS 147160 HAS SOPS 147160 HAS SOUS 116851 HAS SOUPS 116851 WITH SCORE 116998.16
AT ITER 80 NEW BEST:: SOT 180300 SOS 147071 HAS SOPS 147071 HAS SOUS 116761 HAS SOUPS 116761 WITH SCORE 116908.071
AT ITER 81 NEW BEST:: SOT 180328 SOS 146128 HAS SOPS 146128 HAS SOUS 116332 HAS SOUPS 116332 WITH SCORE 116478.128
AT ITER 82 NEW BEST:: SOT 180326 SOS 146126 HAS SOPS 146126 HAS SOUS 116328 HAS SOUPS 116328 WITH SCORE 116474.126
AT ITER 84 NEW BEST:: SOT 180706 SOS 146519 HAS SOPS 146519 HAS SOUS 116278 HAS SOUPS 116278 WITH SCORE 116424.519
AT ITER 85 NEW BEST:: SOT 180654 SOS 146290 HAS SOPS 146290 HAS SOUS 115947 HAS SOUPS 115947 WITH SCORE 116093.29
AT ITER 86 NEW BEST:: SOT 180552 SOS 146177 HAS SOPS 146177 HAS SOUS 115830 HAS SOUPS 115830 WITH SCORE 115976.177
AT ITER 87 NEW BEST:: SOT 180410 SOS 146102 HAS SOPS 146102 HAS SOUS 115820 HAS SOUPS 115820 WITH SCORE 115966.102
AT ITER 88 NEW BEST:: SOT 180405 SOS 146097 HAS SOPS 146097 HAS SOUS 115815 HAS SOUPS 115815 WITH SCORE 115961.097
AT ITER 91 NEW BEST:: SOT 180352 SOS 146044 HAS SOPS 146044 HAS SOUS 115762 HAS SOUPS 115762 WITH SCORE 115908.044
AT ITER 92 NEW BEST:: SOT 180352 SOS 145923 HAS SOPS 145923 HAS SOUS 115687 HAS SOUPS 115687 WITH SCORE 115832.923
AT ITER 95 NEW BEST:: SOT 180262 SOS 145096 HAS SOPS 145096 HAS SOUS 115502 HAS SOUPS 115502 WITH SCORE 115647.096
AT ITER 99 NEW BEST:: SOT 180121 SOS 144866 HAS SOPS 144866 HAS SOUS 115272 HAS SOUPS 115272 WITH SCORE 115416.866
AT ITER 101 NEW BEST:: SOT 180053 SOS 144221 HAS SOPS 144221 HAS SOUS 114907 HAS SOUPS 114907 WITH SCORE 115051.221
AT ITER 105 NEW BEST:: SOT 180053 SOS 144164 HAS SOPS 144164 HAS SOUS 114907 HAS SOUPS 114907 WITH SCORE 115051.164
AT ITER 106 NEW BEST:: SOT 179885 SOS 143705 HAS SOPS 143705 HAS SOUS 114385 HAS SOUPS 114385 WITH SCORE 114528.705
AT ITER 109 NEW BEST:: SOT 179717 SOS 143500 HAS SOPS 143500 HAS SOUS 114108 HAS SOUPS 114108 WITH SCORE 114251.5
AT ITER 112 NEW BEST:: SOT 179740 SOS 143153 HAS SOPS 143153 HAS SOUS 113286 HAS SOUPS 113286 WITH SCORE 113429.153
AT ITER 117 NEW BEST:: SOT 179700 SOS 143073 HAS SOPS 143073 HAS SOUS 113178 HAS SOUPS 113178 WITH SCORE 113321.073
AT ITER 118 NEW BEST:: SOT 179861 SOS 142736 HAS SOPS 142736 HAS SOUS 113167 HAS SOUPS 113167 WITH SCORE 113309.736
AT ITER 120 NEW BEST:: SOT 179848 SOS 142723 HAS SOPS 142723 HAS SOUS 113161 HAS SOUPS 113161 WITH SCORE 113303.723
AT ITER 123 NEW BEST:: SOT 179808 SOS 142900 HAS SOPS 142900 HAS SOUS 112919 HAS SOUPS 112919 WITH SCORE 113061.9
AT ITER 124 NEW BEST:: SOT 179731 SOS 142295 HAS SOPS 142295 HAS SOUS 112896 HAS SOUPS 112896 WITH SCORE 113038.295
AT ITER 128 NEW BEST:: SOT 179607 SOS 142164 HAS SOPS 142164 HAS SOUS 112765 HAS SOUPS 112765 WITH SCORE 112907.164
AT ITER 129 NEW BEST:: SOT 179536 SOS 142104 HAS SOPS 142104 HAS SOUS 112727 HAS SOUPS 112727 WITH SCORE 112869.104
AT ITER 131 NEW BEST:: SOT 179536 SOS 141874 HAS SOPS 141874 HAS SOUS 112474 HAS SOUPS 112474 WITH SCORE 112615.874
AT ITER 136 NEW BEST:: SOT 179519 SOS 141857 HAS SOPS 141857 HAS SOUS 112457 HAS SOUPS 112457 WITH SCORE 112598.857
AT ITER 139 NEW BEST:: SOT 179458 SOS 141689 HAS SOPS 141689 HAS SOUS 112187 HAS SOUPS 112187 WITH SCORE 112328.689
AT ITER 142 NEW BEST:: SOT 179358 SOS 141589 HAS SOPS 141589 HAS SOUS 112087 HAS SOUPS 112087 WITH SCORE 112228.589
AT ITER 144 NEW BEST:: SOT 179539 SOS 141319 HAS SOPS 141319 HAS SOUS 111918 HAS SOUPS 111918 WITH SCORE 112059.319
AT ITER 145 NEW BEST:: SOT 179547 SOS 141125 HAS SOPS 141125 HAS SOUS 111766 HAS SOUPS 111766 WITH SCORE 111907.125
AT ITER 149 NEW BEST:: SOT 179551 SOS 141184 HAS SOPS 141184 HAS SOUS 111725 HAS SOUPS 111725 WITH SCORE 111866.184
AT ITER 151 NEW BEST:: SOT 179516 SOS 141149 HAS SOPS 141149 HAS SOUS 111690 HAS SOUPS 111690 WITH SCORE 111831.149
AT ITER 153 NEW BEST:: SOT 179394 SOS 141059 HAS SOPS 141059 HAS SOUS 111548 HAS SOUPS 111548 WITH SCORE 111689.059
AT ITER 155 NEW BEST:: SOT 179487 SOS 141120 HAS SOPS 141120 HAS SOUS 111540 HAS SOUPS 111540 WITH SCORE 111681.12
AT ITER 160 NEW BEST:: SOT 179497 SOS 140846 HAS SOPS 140846 HAS SOUS 111354 HAS SOUPS 111354 WITH SCORE 111494.846
AT ITER 163 NEW BEST:: SOT 179446 SOS 140779 HAS SOPS 140779 HAS SOUS 111225 HAS SOUPS 111225 WITH SCORE 111365.779
AT ITER 164 NEW BEST:: SOT 179376 SOS 140709 HAS SOPS 140709 HAS SOUS 111155 HAS SOUPS 111155 WITH SCORE 111295.709
AT ITER 166 NEW BEST:: SOT 179660 SOS 140997 HAS SOPS 140997 HAS SOUS 111125 HAS SOUPS 111125 WITH SCORE 111265.997
AT ITER 170 NEW BEST:: SOT 179515 SOS 140560 HAS SOPS 140560 HAS SOUS 110585 HAS SOUPS 110585 WITH SCORE 110725.56
AT ITER 175 NEW BEST:: SOT 179372 SOS 140417 HAS SOPS 140417 HAS SOUS 110442 HAS SOUPS 110442 WITH SCORE 110582.417
AT ITER 182 NEW BEST:: SOT 179376 SOS 140500 HAS SOPS 140500 HAS SOUS 110415 HAS SOUPS 110415 WITH SCORE 110555.5
AT ITER 183 NEW BEST:: SOT 179376 SOS 140513 HAS SOPS 140513 HAS SOUS 110395 HAS SOUPS 110395 WITH SCORE 110535.513
AT ITER 184 NEW BEST:: SOT 179376 SOS 140513 HAS SOPS 140513 HAS SOUS 110394 HAS SOUPS 110394 WITH SCORE 110534.513
AT ITER 185 NEW BEST:: SOT 179191 SOS 140321 HAS SOPS 140321 HAS SOUS 110142 HAS SOUPS 110142 WITH SCORE 110282.321
AT ITER 186 NEW BEST:: SOT 179110 SOS 140240 HAS SOPS 140240 HAS SOUS 110061 HAS SOUPS 110061 WITH SCORE 110201.24
AT ITER 188 NEW BEST:: SOT 179110 SOS 140239 HAS SOPS 140239 HAS SOUS 110059 HAS SOUPS 110059 WITH SCORE 110199.239
AT ITER 190 NEW BEST:: SOT 178861 SOS 139990 HAS SOPS 139990 HAS SOUS 109808 HAS SOUPS 109808 WITH SCORE 109947.99
AT ITER 191 NEW BEST:: SOT 178677 SOS 139014 HAS SOPS 139014 HAS SOUS 109471 HAS SOUPS 109471 WITH SCORE 109610.014
AT ITER 192 NEW BEST:: SOT 178533 SOS 138870 HAS SOPS 138870 HAS SOUS 109327 HAS SOUPS 109327 WITH SCORE 109465.87
AT ITER 198 NEW BEST:: SOT 178415 SOS 138158 HAS SOPS 138158 HAS SOUS 108919 HAS SOUPS 108919 WITH SCORE 109057.158
AT ITER 204 NEW BEST:: SOT 178361 SOS 138104 HAS SOPS 138104 HAS SOUS 108793 HAS SOUPS 108793 WITH SCORE 108931.104
AT ITER 206 NEW BEST:: SOT 178319 SOS 137541 HAS SOPS 137541 HAS SOUS 108388 HAS SOUPS 108388 WITH SCORE 108525.541
AT ITER 207 NEW BEST:: SOT 178319 SOS 137652 HAS SOPS 137652 HAS SOUS 108373 HAS SOUPS 108373 WITH SCORE 108510.652
AT ITER 213 NEW BEST:: SOT 178262 SOS 137538 HAS SOPS 137538 HAS SOUS 108370 HAS SOUPS 108370 WITH SCORE 108507.538
AT ITER 216 NEW BEST:: SOT 178133 SOS 136858 HAS SOPS 136858 HAS SOUS 107473 HAS SOUPS 107473 WITH SCORE 107609.858
AT ITER 217 NEW BEST:: SOT 178133 SOS 136839 HAS SOPS 136839 HAS SOUS 107472 HAS SOUPS 107472 WITH SCORE 107608.839
AT ITER 226 NEW BEST:: SOT 178098 SOS 136804 HAS SOPS 136804 HAS SOUS 107346 HAS SOUPS 107346 WITH SCORE 107482.804
AT ITER 235 NEW BEST:: SOT 178072 SOS 136778 HAS SOPS 136778 HAS SOUS 107320 HAS SOUPS 107320 WITH SCORE 107456.778
AT ITER 236 NEW BEST:: SOT 178107 SOS 136813 HAS SOPS 136813 HAS SOUS 107177 HAS SOUPS 107177 WITH SCORE 107313.813
AT ITER 238 NEW BEST:: SOT 177424 SOS 136130 HAS SOPS 136130 HAS SOUS 106494 HAS SOUPS 106494 WITH SCORE 106630.13
AT ITER 241 NEW BEST:: SOT 177424 SOS 135902 HAS SOPS 135902 HAS SOUS 106494 HAS SOUPS 106494 WITH SCORE 106629.902
AT ITER 242 NEW BEST:: SOT 177775 SOS 135774 HAS SOPS 135774 HAS SOUS 106361 HAS SOUPS 106361 WITH SCORE 106496.774
AT ITER 247 NEW BEST:: SOT 177775 SOS 135191 HAS SOPS 135191 HAS SOUS 105981 HAS SOUPS 105981 WITH SCORE 106116.191
AT ITER 248 NEW BEST:: SOT 177762 SOS 135152 HAS SOPS 135152 HAS SOUS 105981 HAS SOUPS 105981 WITH SCORE 106116.152
AT ITER 252 NEW BEST:: SOT 177546 SOS 135071 HAS SOPS 135071 HAS SOUS 105796 HAS SOUPS 105796 WITH SCORE 105931.071
AT ITER 253 NEW BEST:: SOT 177379 SOS 134904 HAS SOPS 134904 HAS SOUS 105629 HAS SOUPS 105629 WITH SCORE 105763.904
AT ITER 255 NEW BEST:: SOT 177279 SOS 134754 HAS SOPS 134754 HAS SOUS 105479 HAS SOUPS 105479 WITH SCORE 105613.754
AT ITER 256 NEW BEST:: SOT 177269 SOS 134764 HAS SOPS 134764 HAS SOUS 105474 HAS SOUPS 105474 WITH SCORE 105608.764
AT ITER 260 NEW BEST:: SOT 177207 SOS 134454 HAS SOPS 134454 HAS SOUS 105460 HAS SOUPS 105460 WITH SCORE 105594.454
AT ITER 265 NEW BEST:: SOT 177205 SOS 134452 HAS SOPS 134452 HAS SOUS 105458 HAS SOUPS 105458 WITH SCORE 105592.452
AT ITER 270 NEW BEST:: SOT 177123 SOS 134305 HAS SOPS 134305 HAS SOUS 105063 HAS SOUPS 105063 WITH SCORE 105197.305
AT ITER 271 NEW BEST:: SOT 177117 SOS 134309 HAS SOPS 134309 HAS SOUS 104978 HAS SOUPS 104978 WITH SCORE 105112.309
AT ITER 273 NEW BEST:: SOT 176568 SOS 133503 HAS SOPS 133503 HAS SOUS 104269 HAS SOUPS 104269 WITH SCORE 104402.503
AT ITER 275 NEW BEST:: SOT 176475 SOS 131947 HAS SOPS 131947 HAS SOUS 102722 HAS SOUPS 102722 WITH SCORE 102853.947
AT ITER 277 NEW BEST:: SOT 176475 SOS 131663 HAS SOPS 131663 HAS SOUS 102496 HAS SOUPS 102496 WITH SCORE 102627.663
AT ITER 278 NEW BEST:: SOT 176547 SOS 131760 HAS SOPS 131760 HAS SOUS 102445 HAS SOUPS 102445 WITH SCORE 102576.76
AT ITER 279 NEW BEST:: SOT 176329 SOS 131524 HAS SOPS 131524 HAS SOUS 102132 HAS SOUPS 102132 WITH SCORE 102263.524
AT ITER 280 NEW BEST:: SOT 176309 SOS 131386 HAS SOPS 131386 HAS SOUS 101827 HAS SOUPS 101827 WITH SCORE 101958.386
AT ITER 281 NEW BEST:: SOT 176224 SOS 131297 HAS SOPS 131297 HAS SOUS 101738 HAS SOUPS 101738 WITH SCORE 101869.297
AT ITER 284 NEW BEST:: SOT 176200 SOS 131051 HAS SOPS 131051 HAS SOUS 101623 HAS SOUPS 101623 WITH SCORE 101754.051
AT ITER 287 NEW BEST:: SOT 176041 SOS 130249 HAS SOPS 130249 HAS SOUS 100583 HAS SOUPS 100583 WITH SCORE 100713.249
AT ITER 288 NEW BEST:: SOT 175990 SOS 130185 HAS SOPS 130185 HAS SOUS 100513 HAS SOUPS 100513 WITH SCORE 100643.185
AT ITER 289 NEW BEST:: SOT 176020 SOS 130413 HAS SOPS 130413 HAS SOUS 100504 HAS SOUPS 100504 WITH SCORE 100634.413
AT ITER 297 NEW BEST:: SOT 176030 SOS 130423 HAS SOPS 130423 HAS SOUS 100489 HAS SOUPS 100489 WITH SCORE 100619.423
AT ITER 299 NEW BEST:: SOT 176030 SOS 129756 HAS SOPS 129756 HAS SOUS 100454 HAS SOUPS 100454 WITH SCORE 100583.756
AT ITER 302 NEW BEST:: SOT 175992 SOS 129718 HAS SOPS 129718 HAS SOUS 100415 HAS SOUPS 100415 WITH SCORE 100544.718
AT ITER 303 NEW BEST:: SOT 175984 SOS 129710 HAS SOPS 129710 HAS SOUS 100407 HAS SOUPS 100407 WITH SCORE 100536.71
AT ITER 312 NEW BEST:: SOT 176305 SOS 130302 HAS SOPS 130302 HAS SOUS 100273 HAS SOUPS 100273 WITH SCORE 100403.302
AT ITER 322 NEW BEST:: SOT 176241 SOS 129586 HAS SOPS 129586 HAS SOUS 100197 HAS SOUPS 100197 WITH SCORE 100326.586
AT ITER 325 NEW BEST:: SOT 176164 SOS 129481 HAS SOPS 129481 HAS SOUS 100025 HAS SOUPS 100025 WITH SCORE 100154.481
AT ITER 326 NEW BEST:: SOT 175845 SOS 128947 HAS SOPS 128947 HAS SOUS 99714 HAS SOUPS 99714 WITH SCORE 99842.947
AT ITER 329 NEW BEST:: SOT 175804 SOS 128779 HAS SOPS 128779 HAS SOUS 99628 HAS SOUPS 99628 WITH SCORE 99756.779
AT ITER 334 NEW BEST:: SOT 175968 SOS 128116 HAS SOPS 128116 HAS SOUS 99361 HAS SOUPS 99361 WITH SCORE 99489.116
AT ITER 338 NEW BEST:: SOT 175938 SOS 128086 HAS SOPS 128086 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99459.086
AT ITER 341 NEW BEST:: SOT 175925 SOS 128047 HAS SOPS 128047 HAS SOUS 99279 HAS SOUPS 99279 WITH SCORE 99407.047
AT ITER 343 NEW BEST:: SOT 175600 SOS 127100 HAS SOPS 127100 HAS SOUS 98463 HAS SOUPS 98463 WITH SCORE 98590.1
AT ITER 347 NEW BEST:: SOT 175579 SOS 127016 HAS SOPS 127016 HAS SOUS 98365 HAS SOUPS 98365 WITH SCORE 98492.016
AT ITER 348 NEW BEST:: SOT 175572 SOS 126936 HAS SOPS 126936 HAS SOUS 98281 HAS SOUPS 98281 WITH SCORE 98407.936
AT ITER 349 NEW BEST:: SOT 175565 SOS 126922 HAS SOPS 126922 HAS SOUS 98258 HAS SOUPS 98258 WITH SCORE 98384.922
AT ITER 352 NEW BEST:: SOT 175526 SOS 126787 HAS SOPS 126787 HAS SOUS 98207 HAS SOUPS 98207 WITH SCORE 98333.787
AT ITER 357 NEW BEST:: SOT 175528 SOS 126715 HAS SOPS 126715 HAS SOUS 97942 HAS SOUPS 97942 WITH SCORE 98068.715
AT ITER 364 NEW BEST:: SOT 175605 SOS 126707 HAS SOPS 126707 HAS SOUS 97810 HAS SOUPS 97810 WITH SCORE 97936.707
AT ITER 369 NEW BEST:: SOT 175519 SOS 125306 HAS SOPS 125306 HAS SOUS 97218 HAS SOUPS 97218 WITH SCORE 97343.306
AT ITER 370 NEW BEST:: SOT 175456 SOS 125192 HAS SOPS 125192 HAS SOUS 96850 HAS SOUPS 96850 WITH SCORE 96975.192
AT ITER 372 NEW BEST:: SOT 175307 SOS 125043 HAS SOPS 125043 HAS SOUS 96342 HAS SOUPS 96342 WITH SCORE 96467.043
AT ITER 379 NEW BEST:: SOT 175299 SOS 125035 HAS SOPS 125035 HAS SOUS 96334 HAS SOUPS 96334 WITH SCORE 96459.035
AT ITER 386 NEW BEST:: SOT 175276 SOS 125012 HAS SOPS 125012 HAS SOUS 96311 HAS SOUPS 96311 WITH SCORE 96436.012
AT ITER 392 NEW BEST:: SOT 175164 SOS 125056 HAS SOPS 125056 HAS SOUS 96280 HAS SOUPS 96280 WITH SCORE 96405.056
AT ITER 397 NEW BEST:: SOT 174964 SOS 124821 HAS SOPS 124821 HAS SOUS 96066 HAS SOUPS 96066 WITH SCORE 96190.821
AT ITER 405 NEW BEST:: SOT 174617 SOS 124472 HAS SOPS 124472 HAS SOUS 95568 HAS SOUPS 95568 WITH SCORE 95692.472
AT ITER 412 NEW BEST:: SOT 174582 SOS 123457 HAS SOPS 123457 HAS SOUS 94924 HAS SOUPS 94924 WITH SCORE 95047.457
AT ITER 415 NEW BEST:: SOT 174581 SOS 123457 HAS SOPS 123457 HAS SOUS 94920 HAS SOUPS 94920 WITH SCORE 95043.457
AT ITER 416 NEW BEST:: SOT 174503 SOS 123379 HAS SOPS 123379 HAS SOUS 94841 HAS SOUPS 94841 WITH SCORE 94964.379
AT ITER 419 NEW BEST:: SOT 174686 SOS 123192 HAS SOPS 123192 HAS SOUS 94475 HAS SOUPS 94475 WITH SCORE 94598.192
AT ITER 423 NEW BEST:: SOT 174686 SOS 123074 HAS SOPS 123074 HAS SOUS 94303 HAS SOUPS 94303 WITH SCORE 94426.074
AT ITER 424 NEW BEST:: SOT 174637 SOS 123025 HAS SOPS 123025 HAS SOUS 94254 HAS SOUPS 94254 WITH SCORE 94377.025
AT ITER 427 NEW BEST:: SOT 174590 SOS 122669 HAS SOPS 122669 HAS SOUS 94017 HAS SOUPS 94017 WITH SCORE 94139.669
AT ITER 428 NEW BEST:: SOT 174199 SOS 122207 HAS SOPS 122207 HAS SOUS 93555 HAS SOUPS 93555 WITH SCORE 93677.207
AT ITER 432 NEW BEST:: SOT 174103 SOS 121988 HAS SOPS 121988 HAS SOUS 93263 HAS SOUPS 93263 WITH SCORE 93384.988
AT ITER 433 NEW BEST:: SOT 173969 SOS 121655 HAS SOPS 121655 HAS SOUS 93168 HAS SOUPS 93168 WITH SCORE 93289.655
AT ITER 440 NEW BEST:: SOT 173969 SOS 121612 HAS SOPS 121612 HAS SOUS 93168 HAS SOUPS 93168 WITH SCORE 93289.612
AT ITER 445 NEW BEST:: SOT 173965 SOS 121581 HAS SOPS 121581 HAS SOUS 93137 HAS SOUPS 93137 WITH SCORE 93258.581
AT ITER 448 NEW BEST:: SOT 173816 SOS 121432 HAS SOPS 121432 HAS SOUS 92921 HAS SOUPS 92921 WITH SCORE 93042.432
AT ITER 453 NEW BEST:: SOT 173605 SOS 121221 HAS SOPS 121221 HAS SOUS 92668 HAS SOUPS 92668 WITH SCORE 92789.221
AT ITER 456 NEW BEST:: SOT 173587 SOS 121195 HAS SOPS 121195 HAS SOUS 92646 HAS SOUPS 92646 WITH SCORE 92767.195
AT ITER 458 NEW BEST:: SOT 173564 SOS 121136 HAS SOPS 121136 HAS SOUS 92533 HAS SOUPS 92533 WITH SCORE 92654.136
AT ITER 459 NEW BEST:: SOT 173566 SOS 121126 HAS SOPS 121126 HAS SOUS 92511 HAS SOUPS 92511 WITH SCORE 92632.126
AT ITER 464 NEW BEST:: SOT 173612 SOS 121218 HAS SOPS 121218 HAS SOUS 92286 HAS SOUPS 92286 WITH SCORE 92407.218
AT ITER 470 NEW BEST:: SOT 173529 SOS 121063 HAS SOPS 121063 HAS SOUS 92167 HAS SOUPS 92167 WITH SCORE 92288.063
AT ITER 471 NEW BEST:: SOT 173703 SOS 120157 HAS SOPS 120157 HAS SOUS 91646 HAS SOUPS 91646 WITH SCORE 91766.157
AT ITER 477 NEW BEST:: SOT 173697 SOS 120125 HAS SOPS 120125 HAS SOUS 91527 HAS SOUPS 91527 WITH SCORE 91647.125
AT ITER 478 NEW BEST:: SOT 173697 SOS 119939 HAS SOPS 119939 HAS SOUS 91293 HAS SOUPS 91293 WITH SCORE 91412.939
AT ITER 486 NEW BEST:: SOT 173670 SOS 119777 HAS SOPS 119777 HAS SOUS 91212 HAS SOUPS 91212 WITH SCORE 91331.777
AT ITER 497 NEW BEST:: SOT 173667 SOS 119751 HAS SOPS 119751 HAS SOUS 91212 HAS SOUPS 91212 WITH SCORE 91331.751
AT ITER 501 NEW BEST:: SOT 173486 SOS 119542 HAS SOPS 119542 HAS SOUS 90866 HAS SOUPS 90866 WITH SCORE 90985.542
AT ITER 503 NEW BEST:: SOT 173670 SOS 119228 HAS SOPS 119228 HAS SOUS 90532 HAS SOUPS 90532 WITH SCORE 90651.228
AT ITER 508 NEW BEST:: SOT 173648 SOS 119181 HAS SOPS 119181 HAS SOUS 90490 HAS SOUPS 90490 WITH SCORE 90609.181
AT ITER 509 NEW BEST:: SOT 173618 SOS 118890 HAS SOPS 118890 HAS SOUS 90310 HAS SOUPS 90310 WITH SCORE 90428.89
AT ITER 510 NEW BEST:: SOT 173618 SOS 118813 HAS SOPS 118813 HAS SOUS 90175 HAS SOUPS 90175 WITH SCORE 90293.813
AT ITER 511 NEW BEST:: SOT 173635 SOS 118830 HAS SOPS 118830 HAS SOUS 90134 HAS SOUPS 90134 WITH SCORE 90252.83
AT ITER 516 NEW BEST:: SOT 173600 SOS 118007 HAS SOPS 118007 HAS SOUS 89986 HAS SOUPS 89986 WITH SCORE 90104.007
AT ITER 518 NEW BEST:: SOT 173440 SOS 117772 HAS SOPS 117772 HAS SOUS 89523 HAS SOUPS 89523 WITH SCORE 89640.772
AT ITER 520 NEW BEST:: SOT 173207 SOS 117478 HAS SOPS 117478 HAS SOUS 88896 HAS SOUPS 88896 WITH SCORE 89013.478
AT ITER 522 NEW BEST:: SOT 173177 SOS 117298 HAS SOPS 117298 HAS SOUS 88746 HAS SOUPS 88746 WITH SCORE 88863.298
AT ITER 524 NEW BEST:: SOT 173164 SOS 117359 HAS SOPS 117359 HAS SOUS 88633 HAS SOUPS 88633 WITH SCORE 88750.359
AT ITER 528 NEW BEST:: SOT 173044 SOS 117232 HAS SOPS 117232 HAS SOUS 88499 HAS SOUPS 88499 WITH SCORE 88616.232
AT ITER 532 NEW BEST:: SOT 173044 SOS 117421 HAS SOPS 117421 HAS SOUS 88217 HAS SOUPS 88217 WITH SCORE 88334.421
AT ITER 551 NEW BEST:: SOT 172967 SOS 116802 HAS SOPS 116802 HAS SOUS 87950 HAS SOUPS 87950 WITH SCORE 88066.802
AT ITER 554 NEW BEST:: SOT 172967 SOS 115894 HAS SOPS 115894 HAS SOUS 87587 HAS SOUPS 87587 WITH SCORE 87702.894
AT ITER 559 NEW BEST:: SOT 172957 SOS 115870 HAS SOPS 115870 HAS SOUS 87553 HAS SOUPS 87553 WITH SCORE 87668.87
AT ITER 560 NEW BEST:: SOT 172947 SOS 115860 HAS SOPS 115860 HAS SOUS 87543 HAS SOUPS 87543 WITH SCORE 87658.86
AT ITER 563 NEW BEST:: SOT 173037 SOS 115788 HAS SOPS 115788 HAS SOUS 87453 HAS SOUPS 87453 WITH SCORE 87568.788
AT ITER 566 NEW BEST:: SOT 172643 SOS 115213 HAS SOPS 115213 HAS SOUS 86854 HAS SOUPS 86854 WITH SCORE 86969.213
AT ITER 570 NEW BEST:: SOT 172442 SOS 115012 HAS SOPS 115012 HAS SOUS 86653 HAS SOUPS 86653 WITH SCORE 86768.012
AT ITER 574 NEW BEST:: SOT 172414 SOS 115037 HAS SOPS 115037 HAS SOUS 86569 HAS SOUPS 86569 WITH SCORE 86684.037
AT ITER 576 NEW BEST:: SOT 172414 SOS 115194 HAS SOPS 115194 HAS SOUS 86458 HAS SOUPS 86458 WITH SCORE 86573.194
AT ITER 577 NEW BEST:: SOT 172399 SOS 115171 HAS SOPS 115171 HAS SOUS 86446 HAS SOUPS 86446 WITH SCORE 86561.171
AT ITER 581 NEW BEST:: SOT 172353 SOS 114858 HAS SOPS 114858 HAS SOUS 86410 HAS SOUPS 86410 WITH SCORE 86524.858
AT ITER 583 NEW BEST:: SOT 172135 SOS 114210 HAS SOPS 114210 HAS SOUS 86359 HAS SOUPS 86359 WITH SCORE 86473.21
AT ITER 585 NEW BEST:: SOT 171896 SOS 113949 HAS SOPS 113949 HAS SOUS 86031 HAS SOUPS 86031 WITH SCORE 86144.949
AT ITER 587 NEW BEST:: SOT 171942 SOS 113896 HAS SOPS 113896 HAS SOUS 85978 HAS SOUPS 85978 WITH SCORE 86091.896
AT ITER 613 NEW BEST:: SOT 171942 SOS 113828 HAS SOPS 113828 HAS SOUS 85916 HAS SOUPS 85916 WITH SCORE 86029.828
AT ITER 614 NEW BEST:: SOT 171690 SOS 113526 HAS SOPS 113526 HAS SOUS 85414 HAS SOUPS 85414 WITH SCORE 85527.526
AT ITER 623 NEW BEST:: SOT 171660 SOS 113394 HAS SOPS 113394 HAS SOUS 85240 HAS SOUPS 85240 WITH SCORE 85353.394
AT ITER 626 NEW BEST:: SOT 171803 SOS 112661 HAS SOPS 112661 HAS SOUS 85130 HAS SOUPS 85130 WITH SCORE 85242.661
AT ITER 629 NEW BEST:: SOT 171736 SOS 112586 HAS SOPS 112586 HAS SOUS 85035 HAS SOUPS 85035 WITH SCORE 85147.586
AT ITER 635 NEW BEST:: SOT 171736 SOS 112581 HAS SOPS 112581 HAS SOUS 85023 HAS SOUPS 85023 WITH SCORE 85135.581
AT ITER 640 NEW BEST:: SOT 171446 SOS 112291 HAS SOPS 112291 HAS SOUS 84683 HAS SOUPS 84683 WITH SCORE 84795.291
AT ITER 643 NEW BEST:: SOT 171270 SOS 112047 HAS SOPS 112047 HAS SOUS 84119 HAS SOUPS 84119 WITH SCORE 84231.047
AT ITER 655 NEW BEST:: SOT 171203 SOS 111980 HAS SOPS 111980 HAS SOUS 84091 HAS SOUPS 84091 WITH SCORE 84202.98
AT ITER 662 NEW BEST:: SOT 171178 SOS 111955 HAS SOPS 111955 HAS SOUS 84065 HAS SOUPS 84065 WITH SCORE 84176.955
AT ITER 668 NEW BEST:: SOT 171156 SOS 111933 HAS SOPS 111933 HAS SOUS 84043 HAS SOUPS 84043 WITH SCORE 84154.933
AT ITER 669 NEW BEST:: SOT 170658 SOS 111296 HAS SOPS 111296 HAS SOUS 83379 HAS SOUPS 83379 WITH SCORE 83490.296
AT ITER 670 NEW BEST:: SOT 170623 SOS 111296 HAS SOPS 111296 HAS SOUS 83376 HAS SOUPS 83376 WITH SCORE 83487.296
AT ITER 672 NEW BEST:: SOT 170614 SOS 111211 HAS SOPS 111211 HAS SOUS 83360 HAS SOUPS 83360 WITH SCORE 83471.211
AT ITER 676 NEW BEST:: SOT 170614 SOS 111211 HAS SOPS 111211 HAS SOUS 83259 HAS SOUPS 83259 WITH SCORE 83370.211
AT ITER 682 NEW BEST:: SOT 170624 SOS 111156 HAS SOPS 111156 HAS SOUS 83234 HAS SOUPS 83234 WITH SCORE 83345.156
AT ITER 685 NEW BEST:: SOT 170184 SOS 110608 HAS SOPS 110608 HAS SOUS 82952 HAS SOUPS 82952 WITH SCORE 83062.608
AT ITER 687 NEW BEST:: SOT 170136 SOS 110543 HAS SOPS 110543 HAS SOUS 82887 HAS SOUPS 82887 WITH SCORE 82997.543
AT ITER 690 NEW BEST:: SOT 170130 SOS 110537 HAS SOPS 110537 HAS SOUS 82881 HAS SOUPS 82881 WITH SCORE 82991.537
AT ITER 692 NEW BEST:: SOT 169969 SOS 110466 HAS SOPS 110466 HAS SOUS 82645 HAS SOUPS 82645 WITH SCORE 82755.466
AT ITER 694 NEW BEST:: SOT 169925 SOS 110422 HAS SOPS 110422 HAS SOUS 82601 HAS SOUPS 82601 WITH SCORE 82711.422
AT ITER 696 NEW BEST:: SOT 169916 SOS 110357 HAS SOPS 110357 HAS SOUS 82512 HAS SOUPS 82512 WITH SCORE 82622.357
AT ITER 698 NEW BEST:: SOT 169916 SOS 110348 HAS SOPS 110348 HAS SOUS 82503 HAS SOUPS 82503 WITH SCORE 82613.348
AT ITER 701 NEW BEST:: SOT 169916 SOS 110263 HAS SOPS 110263 HAS SOUS 82332 HAS SOUPS 82332 WITH SCORE 82442.263
AT ITER 703 NEW BEST:: SOT 169916 SOS 110261 HAS SOPS 110261 HAS SOUS 82332 HAS SOUPS 82332 WITH SCORE 82442.261
AT ITER 704 NEW BEST:: SOT 169855 SOS 109975 HAS SOPS 109975 HAS SOUS 82109 HAS SOUPS 82109 WITH SCORE 82218.975
AT ITER 705 NEW BEST:: SOT 169860 SOS 109800 HAS SOPS 109800 HAS SOUS 81970 HAS SOUPS 81970 WITH SCORE 82079.8
AT ITER 714 NEW BEST:: SOT 169780 SOS 109747 HAS SOPS 109747 HAS SOUS 81950 HAS SOUPS 81950 WITH SCORE 82059.747
AT ITER 715 NEW BEST:: SOT 169718 SOS 109626 HAS SOPS 109626 HAS SOUS 81831 HAS SOUPS 81831 WITH SCORE 81940.626
AT ITER 728 NEW BEST:: SOT 169700 SOS 109517 HAS SOPS 109517 HAS SOUS 81629 HAS SOUPS 81629 WITH SCORE 81738.517
AT ITER 737 NEW BEST:: SOT 169672 SOS 109489 HAS SOPS 109489 HAS SOUS 81600 HAS SOUPS 81600 WITH SCORE 81709.489
AT ITER 739 NEW BEST:: SOT 169691 SOS 108708 HAS SOPS 108708 HAS SOUS 81393 HAS SOUPS 81393 WITH SCORE 81501.708
AT ITER 741 NEW BEST:: SOT 169691 SOS 108719 HAS SOPS 108719 HAS SOUS 81382 HAS SOUPS 81382 WITH SCORE 81490.719
AT ITER 743 NEW BEST:: SOT 169677 SOS 108705 HAS SOPS 108705 HAS SOUS 81345 HAS SOUPS 81345 WITH SCORE 81453.705
AT ITER 748 NEW BEST:: SOT 169414 SOS 108303 HAS SOPS 108303 HAS SOUS 81023 HAS SOUPS 81023 WITH SCORE 81131.303
AT ITER 751 NEW BEST:: SOT 169399 SOS 108288 HAS SOPS 108288 HAS SOUS 81008 HAS SOUPS 81008 WITH SCORE 81116.288
AT ITER 758 NEW BEST:: SOT 169399 SOS 108228 HAS SOPS 108228 HAS SOUS 80916 HAS SOUPS 80916 WITH SCORE 81024.228
AT ITER 765 NEW BEST:: SOT 169402 SOS 108226 HAS SOPS 108226 HAS SOUS 80912 HAS SOUPS 80912 WITH SCORE 81020.226
AT ITER 775 NEW BEST:: SOT 169531 SOS 108277 HAS SOPS 108277 HAS SOUS 80808 HAS SOUPS 80808 WITH SCORE 80916.277
AT ITER 776 NEW BEST:: SOT 169330 SOS 108076 HAS SOPS 108076 HAS SOUS 80607 HAS SOUPS 80607 WITH SCORE 80715.076
AT ITER 779 NEW BEST:: SOT 169305 SOS 108051 HAS SOPS 108051 HAS SOUS 80582 HAS SOUPS 80582 WITH SCORE 80690.051
AT ITER 781 NEW BEST:: SOT 169349 SOS 107970 HAS SOPS 107970 HAS SOUS 80572 HAS SOUPS 80572 WITH SCORE 80679.97
AT ITER 782 NEW BEST:: SOT 169249 SOS 107220 HAS SOPS 107220 HAS SOUS 80335 HAS SOUPS 80335 WITH SCORE 80442.22
AT ITER 787 NEW BEST:: SOT 169206 SOS 107136 HAS SOPS 107136 HAS SOUS 80255 HAS SOUPS 80255 WITH SCORE 80362.136
AT ITER 793 NEW BEST:: SOT 169202 SOS 107179 HAS SOPS 107179 HAS SOUS 80090 HAS SOUPS 80090 WITH SCORE 80197.179
AT ITER 796 NEW BEST:: SOT 169191 SOS 107165 HAS SOPS 107165 HAS SOUS 80060 HAS SOUPS 80060 WITH SCORE 80167.165
AT ITER 806 NEW BEST:: SOT 169092 SOS 107041 HAS SOPS 107041 HAS SOUS 79936 HAS SOUPS 79936 WITH SCORE 80043.041
AT ITER 807 NEW BEST:: SOT 168993 SOS 106948 HAS SOPS 106948 HAS SOUS 79826 HAS SOUPS 79826 WITH SCORE 79932.948
AT ITER 810 NEW BEST:: SOT 168970 SOS 106899 HAS SOPS 106899 HAS SOUS 79781 HAS SOUPS 79781 WITH SCORE 79887.899
AT ITER 813 NEW BEST:: SOT 168529 SOS 106091 HAS SOPS 106091 HAS SOUS 79095 HAS SOUPS 79095 WITH SCORE 79201.091
AT ITER 824 NEW BEST:: SOT 168076 SOS 105139 HAS SOPS 105139 HAS SOUS 78244 HAS SOUPS 78244 WITH SCORE 78349.139
AT ITER 828 NEW BEST:: SOT 168064 SOS 105127 HAS SOPS 105127 HAS SOUS 78232 HAS SOUPS 78232 WITH SCORE 78337.127
AT ITER 830 NEW BEST:: SOT 168243 SOS 105125 HAS SOPS 105125 HAS SOUS 78091 HAS SOUPS 78091 WITH SCORE 78196.125
AT ITER 832 NEW BEST:: SOT 168069 SOS 104522 HAS SOPS 104522 HAS SOUS 77378 HAS SOUPS 77378 WITH SCORE 77482.522
AT ITER 833 NEW BEST:: SOT 167949 SOS 104389 HAS SOPS 104389 HAS SOUS 77200 HAS SOUPS 77200 WITH SCORE 77304.389
AT ITER 837 NEW BEST:: SOT 167877 SOS 104295 HAS SOPS 104295 HAS SOUS 77102 HAS SOUPS 77102 WITH SCORE 77206.295
AT ITER 843 NEW BEST:: SOT 167817 SOS 104115 HAS SOPS 104115 HAS SOUS 76973 HAS SOUPS 76973 WITH SCORE 77077.115
AT ITER 847 NEW BEST:: SOT 167768 SOS 104066 HAS SOPS 104066 HAS SOUS 76924 HAS SOUPS 76924 WITH SCORE 77028.066
AT ITER 856 NEW BEST:: SOT 167768 SOS 104024 HAS SOPS 104024 HAS SOUS 76868 HAS SOUPS 76868 WITH SCORE 76972.024
AT ITER 861 NEW BEST:: SOT 167497 SOS 103794 HAS SOPS 103794 HAS SOUS 76785 HAS SOUPS 76785 WITH SCORE 76888.794
AT ITER 865 NEW BEST:: SOT 167477 SOS 103774 HAS SOPS 103774 HAS SOUS 76765 HAS SOUPS 76765 WITH SCORE 76868.774
AT ITER 868 NEW BEST:: SOT 167437 SOS 103734 HAS SOPS 103734 HAS SOUS 76725 HAS SOUPS 76725 WITH SCORE 76828.734
AT ITER 873 NEW BEST:: SOT 167486 SOS 103783 HAS SOPS 103783 HAS SOUS 76699 HAS SOUPS 76699 WITH SCORE 76802.783
AT ITER 878 NEW BEST:: SOT 167484 SOS 103066 HAS SOPS 103066 HAS SOUS 76632 HAS SOUPS 76632 WITH SCORE 76735.066
AT ITER 881 NEW BEST:: SOT 167470 SOS 103044 HAS SOPS 103044 HAS SOUS 76606 HAS SOUPS 76606 WITH SCORE 76709.044
AT ITER 890 NEW BEST:: SOT 167470 SOS 103000 HAS SOPS 103000 HAS SOUS 76606 HAS SOUPS 76606 WITH SCORE 76709.0
AT ITER 892 NEW BEST:: SOT 167410 SOS 102952 HAS SOPS 102952 HAS SOUS 76498 HAS SOUPS 76498 WITH SCORE 76600.952
AT ITER 893 NEW BEST:: SOT 167386 SOS 102920 HAS SOPS 102920 HAS SOUS 76450 HAS SOUPS 76450 WITH SCORE 76552.92
AT ITER 895 NEW BEST:: SOT 167334 SOS 102865 HAS SOPS 102865 HAS SOUS 76379 HAS SOUPS 76379 WITH SCORE 76481.865
AT ITER 905 NEW BEST:: SOT 167254 SOS 102785 HAS SOPS 102785 HAS SOUS 76299 HAS SOUPS 76299 WITH SCORE 76401.785
AT ITER 906 NEW BEST:: SOT 167181 SOS 102675 HAS SOPS 102675 HAS SOUS 76246 HAS SOUPS 76246 WITH SCORE 76348.675
AT ITER 919 NEW BEST:: SOT 167184 SOS 102651 HAS SOPS 102651 HAS SOUS 76186 HAS SOUPS 76186 WITH SCORE 76288.651
AT ITER 920 NEW BEST:: SOT 167059 SOS 102526 HAS SOPS 102526 HAS SOUS 76181 HAS SOUPS 76181 WITH SCORE 76283.526
AT ITER 926 NEW BEST:: SOT 167038 SOS 102505 HAS SOPS 102505 HAS SOUS 76160 HAS SOUPS 76160 WITH SCORE 76262.505
AT ITER 927 NEW BEST:: SOT 166995 SOS 102462 HAS SOPS 102462 HAS SOUS 76117 HAS SOUPS 76117 WITH SCORE 76219.462
AT ITER 932 NEW BEST:: SOT 166903 SOS 102370 HAS SOPS 102370 HAS SOUS 76025 HAS SOUPS 76025 WITH SCORE 76127.37
AT ITER 936 NEW BEST:: SOT 166840 SOS 102297 HAS SOPS 102297 HAS SOUS 76019 HAS SOUPS 76019 WITH SCORE 76121.297
AT ITER 941 NEW BEST:: SOT 166504 SOS 101877 HAS SOPS 101877 HAS SOUS 75447 HAS SOUPS 75447 WITH SCORE 75548.877
AT ITER 943 NEW BEST:: SOT 166430 SOS 101652 HAS SOPS 101652 HAS SOUS 75219 HAS SOUPS 75219 WITH SCORE 75320.652
AT ITER 948 NEW BEST:: SOT 166219 SOS 101441 HAS SOPS 101441 HAS SOUS 75175 HAS SOUPS 75175 WITH SCORE 75276.441
AT ITER 961 NEW BEST:: SOT 166309 SOS 101194 HAS SOPS 101194 HAS SOUS 74671 HAS SOUPS 74671 WITH SCORE 74772.194
AT ITER 963 NEW BEST:: SOT 166082 SOS 100879 HAS SOPS 100879 HAS SOUS 74260 HAS SOUPS 74260 WITH SCORE 74360.879
AT ITER 970 NEW BEST:: SOT 165937 SOS 100664 HAS SOPS 100664 HAS SOUS 73625 HAS SOUPS 73625 WITH SCORE 73725.664
AT ITER 976 NEW BEST:: SOT 165741 SOS 100123 HAS SOPS 100123 HAS SOUS 73291 HAS SOUPS 73291 WITH SCORE 73391.123
AT ITER 978 NEW BEST:: SOT 165662 SOS 99936 HAS SOPS 99936 HAS SOUS 73152 HAS SOUPS 73152 WITH SCORE 73251.936
AT ITER 985 NEW BEST:: SOT 165662 SOS 99780 HAS SOPS 99780 HAS SOUS 73004 HAS SOUPS 73004 WITH SCORE 73103.78
AT ITER 986 NEW BEST:: SOT 165629 SOS 98423 HAS SOPS 98423 HAS SOUS 72902 HAS SOUPS 72902 WITH SCORE 73000.423
AT ITER 987 NEW BEST:: SOT 165615 SOS 98405 HAS SOPS 98405 HAS SOUS 72896 HAS SOUPS 72896 WITH SCORE 72994.405
AT ITER 991 NEW BEST:: SOT 165430 SOS 98202 HAS SOPS 98202 HAS SOUS 72693 HAS SOUPS 72693 WITH SCORE 72791.202
AT ITER 992 NEW BEST:: SOT 165420 SOS 98192 HAS SOPS 98192 HAS SOUS 72683 HAS SOUPS 72683 WITH SCORE 72781.192
AT ITER 993 NEW BEST:: SOT 165441 SOS 98124 HAS SOPS 98124 HAS SOUS 72579 HAS SOUPS 72579 WITH SCORE 72677.124
AT ITER 1002 NEW BEST:: SOT 165318 SOS 98049 HAS SOPS 98049 HAS SOUS 72457 HAS SOUPS 72457 WITH SCORE 72555.049
AT ITER 1007 NEW BEST:: SOT 165318 SOS 98062 HAS SOPS 98062 HAS SOUS 72452 HAS SOUPS 72452 WITH SCORE 72550.062
AT ITER 1010 NEW BEST:: SOT 165310 SOS 98054 HAS SOPS 98054 HAS SOUS 72443 HAS SOUPS 72443 WITH SCORE 72541.054
AT ITER 1013 NEW BEST:: SOT 165288 SOS 97829 HAS SOPS 97829 HAS SOUS 72343 HAS SOUPS 72343 WITH SCORE 72440.829
AT ITER 1022 NEW BEST:: SOT 165187 SOS 97728 HAS SOPS 97728 HAS SOUS 72242 HAS SOUPS 72242 WITH SCORE 72339.728
AT ITER 1024 NEW BEST:: SOT 165169 SOS 97687 HAS SOPS 97687 HAS SOUS 72204 HAS SOUPS 72204 WITH SCORE 72301.687
AT ITER 1028 NEW BEST:: SOT 164845 SOS 97184 HAS SOPS 97184 HAS SOUS 71614 HAS SOUPS 71614 WITH SCORE 71711.184
AT ITER 1047 NEW BEST:: SOT 164863 SOS 97015 HAS SOPS 97015 HAS SOUS 71604 HAS SOUPS 71604 WITH SCORE 71701.015
AT ITER 1048 NEW BEST:: SOT 164835 SOS 96847 HAS SOPS 96847 HAS SOUS 71547 HAS SOUPS 71547 WITH SCORE 71643.847
AT ITER 1053 NEW BEST:: SOT 164795 SOS 96747 HAS SOPS 96747 HAS SOUS 71427 HAS SOUPS 71427 WITH SCORE 71523.747
AT ITER 1055 NEW BEST:: SOT 164795 SOS 96743 HAS SOPS 96743 HAS SOUS 71426 HAS SOUPS 71426 WITH SCORE 71522.743
AT ITER 1066 NEW BEST:: SOT 164795 SOS 96643 HAS SOPS 96643 HAS SOUS 71426 HAS SOUPS 71426 WITH SCORE 71522.643
AT ITER 1070 NEW BEST:: SOT 164608 SOS 96456 HAS SOPS 96456 HAS SOUS 71310 HAS SOUPS 71310 WITH SCORE 71406.456
AT ITER 1071 NEW BEST:: SOT 164616 SOS 96167 HAS SOPS 96167 HAS SOUS 70734 HAS SOUPS 70734 WITH SCORE 70830.167
AT ITER 1078 NEW BEST:: SOT 164598 SOS 96077 HAS SOPS 96077 HAS SOUS 70698 HAS SOUPS 70698 WITH SCORE 70794.077
AT ITER 1091 NEW BEST:: SOT 164598 SOS 96067 HAS SOPS 96067 HAS SOUS 70688 HAS SOUPS 70688 WITH SCORE 70784.067
AT ITER 1094 NEW BEST:: SOT 164289 SOS 95153 HAS SOPS 95153 HAS SOUS 70200 HAS SOUPS 70200 WITH SCORE 70295.153
AT ITER 1104 NEW BEST:: SOT 164269 SOS 95103 HAS SOPS 95103 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70255.103
AT ITER 1110 NEW BEST:: SOT 164190 SOS 95024 HAS SOPS 95024 HAS SOUS 70078 HAS SOUPS 70078 WITH SCORE 70173.024
AT ITER 1111 NEW BEST:: SOT 164085 SOS 94958 HAS SOPS 94958 HAS SOUS 69713 HAS SOUPS 69713 WITH SCORE 69807.958
AT ITER 1113 NEW BEST:: SOT 164060 SOS 94933 HAS SOPS 94933 HAS SOUS 69688 HAS SOUPS 69688 WITH SCORE 69782.933
AT ITER 1117 NEW BEST:: SOT 163762 SOS 94149 HAS SOPS 94149 HAS SOUS 68906 HAS SOUPS 68906 WITH SCORE 69000.149
AT ITER 1122 NEW BEST:: SOT 163826 SOS 94242 HAS SOPS 94242 HAS SOUS 68872 HAS SOUPS 68872 WITH SCORE 68966.242
AT ITER 1134 NEW BEST:: SOT 163839 SOS 94271 HAS SOPS 94271 HAS SOUS 68860 HAS SOUPS 68860 WITH SCORE 68954.271
AT ITER 1148 NEW BEST:: SOT 163839 SOS 94231 HAS SOPS 94231 HAS SOUS 68860 HAS SOUPS 68860 WITH SCORE 68954.231
AT ITER 1152 NEW BEST:: SOT 163839 SOS 94143 HAS SOPS 94143 HAS SOUS 68780 HAS SOUPS 68780 WITH SCORE 68874.143
AT ITER 1158 NEW BEST:: SOT 163809 SOS 94103 HAS SOPS 94103 HAS SOUS 68745 HAS SOUPS 68745 WITH SCORE 68839.103
AT ITER 1165 NEW BEST:: SOT 163826 SOS 94105 HAS SOPS 94105 HAS SOUS 68732 HAS SOUPS 68732 WITH SCORE 68826.105
AT ITER 1177 NEW BEST:: SOT 163826 SOS 94097 HAS SOPS 94097 HAS SOUS 68732 HAS SOUPS 68732 WITH SCORE 68826.097
AT ITER 1181 NEW BEST:: SOT 163826 SOS 94058 HAS SOPS 94058 HAS SOUS 68717 HAS SOUPS 68717 WITH SCORE 68811.058
AT ITER 1182 NEW BEST:: SOT 163703 SOS 93861 HAS SOPS 93861 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68640.861
AT ITER 1186 NEW BEST:: SOT 163497 SOS 93521 HAS SOPS 93521 HAS SOUS 68135 HAS SOUPS 68135 WITH SCORE 68228.521
AT ITER 1189 NEW BEST:: SOT 163445 SOS 93357 HAS SOPS 93357 HAS SOUS 67820 HAS SOUPS 67820 WITH SCORE 67913.357
AT ITER 1199 NEW BEST:: SOT 163513 SOS 93446 HAS SOPS 93446 HAS SOUS 67801 HAS SOUPS 67801 WITH SCORE 67894.446
AT ITER 1210 NEW BEST:: SOT 163462 SOS 93333 HAS SOPS 93333 HAS SOUS 67608 HAS SOUPS 67608 WITH SCORE 67701.333
AT ITER 1217 NEW BEST:: SOT 163421 SOS 93226 HAS SOPS 93226 HAS SOUS 67432 HAS SOUPS 67432 WITH SCORE 67525.226
AT ITER 1222 NEW BEST:: SOT 163356 SOS 93181 HAS SOPS 93181 HAS SOUS 67387 HAS SOUPS 67387 WITH SCORE 67480.181
AT ITER 1225 NEW BEST:: SOT 163248 SOS 92656 HAS SOPS 92656 HAS SOUS 67253 HAS SOUPS 67253 WITH SCORE 67345.656
AT ITER 1228 NEW BEST:: SOT 163178 SOS 92566 HAS SOPS 92566 HAS SOUS 67164 HAS SOUPS 67164 WITH SCORE 67256.566
AT ITER 1230 NEW BEST:: SOT 163159 SOS 92547 HAS SOPS 92547 HAS SOUS 67157 HAS SOUPS 67157 WITH SCORE 67249.547
AT ITER 1234 NEW BEST:: SOT 163089 SOS 92557 HAS SOPS 92557 HAS SOUS 67156 HAS SOUPS 67156 WITH SCORE 67248.557
AT ITER 1245 NEW BEST:: SOT 163045 SOS 92447 HAS SOPS 92447 HAS SOUS 66911 HAS SOUPS 66911 WITH SCORE 67003.447
AT ITER 1249 NEW BEST:: SOT 163032 SOS 92421 HAS SOPS 92421 HAS SOUS 66878 HAS SOUPS 66878 WITH SCORE 66970.421
AT ITER 1250 NEW BEST:: SOT 163081 SOS 92371 HAS SOPS 92371 HAS SOUS 66451 HAS SOUPS 66451 WITH SCORE 66543.371
AT ITER 1257 NEW BEST:: SOT 162990 SOS 92281 HAS SOPS 92281 HAS SOUS 66343 HAS SOUPS 66343 WITH SCORE 66435.281
AT ITER 1259 NEW BEST:: SOT 162939 SOS 92231 HAS SOPS 92231 HAS SOUS 66269 HAS SOUPS 66269 WITH SCORE 66361.231
AT ITER 1260 NEW BEST:: SOT 162855 SOS 92128 HAS SOPS 92128 HAS SOUS 65965 HAS SOUPS 65965 WITH SCORE 66057.128
AT ITER 1268 NEW BEST:: SOT 162778 SOS 92051 HAS SOPS 92051 HAS SOUS 65877 HAS SOUPS 65877 WITH SCORE 65969.051
AT ITER 1270 NEW BEST:: SOT 162822 SOS 91952 HAS SOPS 91952 HAS SOUS 65789 HAS SOUPS 65789 WITH SCORE 65880.952
AT ITER 1271 NEW BEST:: SOT 162810 SOS 91940 HAS SOPS 91940 HAS SOUS 65777 HAS SOUPS 65777 WITH SCORE 65868.94
AT ITER 1278 NEW BEST:: SOT 162913 SOS 92202 HAS SOPS 92202 HAS SOUS 65747 HAS SOUPS 65747 WITH SCORE 65839.202
AT ITER 1284 NEW BEST:: SOT 162818 SOS 91688 HAS SOPS 91688 HAS SOUS 65478 HAS SOUPS 65478 WITH SCORE 65569.688
AT ITER 1289 NEW BEST:: SOT 162786 SOS 91656 HAS SOPS 91656 HAS SOUS 65446 HAS SOUPS 65446 WITH SCORE 65537.656
AT ITER 1298 NEW BEST:: SOT 162796 SOS 91654 HAS SOPS 91654 HAS SOUS 65408 HAS SOUPS 65408 WITH SCORE 65499.654
AT ITER 1299 NEW BEST:: SOT 162796 SOS 91611 HAS SOPS 91611 HAS SOUS 65406 HAS SOUPS 65406 WITH SCORE 65497.611
AT ITER 1303 NEW BEST:: SOT 162744 SOS 91507 HAS SOPS 91507 HAS SOUS 65276 HAS SOUPS 65276 WITH SCORE 65367.507
AT ITER 1312 NEW BEST:: SOT 162742 SOS 91505 HAS SOPS 91505 HAS SOUS 65276 HAS SOUPS 65276 WITH SCORE 65367.505
AT ITER 1314 NEW BEST:: SOT 162425 SOS 91426 HAS SOPS 91426 HAS SOUS 65198 HAS SOUPS 65198 WITH SCORE 65289.426
AT ITER 1324 NEW BEST:: SOT 162085 SOS 91011 HAS SOPS 91011 HAS SOUS 64719 HAS SOUPS 64719 WITH SCORE 64810.011
AT ITER 1329 NEW BEST:: SOT 162121 SOS 91065 HAS SOPS 91065 HAS SOUS 64699 HAS SOUPS 64699 WITH SCORE 64790.065
AT ITER 1335 NEW BEST:: SOT 162094 SOS 91029 HAS SOPS 91029 HAS SOUS 64663 HAS SOUPS 64663 WITH SCORE 64754.029
AT ITER 1337 NEW BEST:: SOT 161401 SOS 89411 HAS SOPS 89411 HAS SOUS 63903 HAS SOUPS 63903 WITH SCORE 63992.411
AT ITER 1362 NEW BEST:: SOT 161373 SOS 89375 HAS SOPS 89375 HAS SOUS 63854 HAS SOUPS 63854 WITH SCORE 63943.375
AT ITER 1363 NEW BEST:: SOT 161373 SOS 89374 HAS SOPS 89374 HAS SOUS 63854 HAS SOUPS 63854 WITH SCORE 63943.374
AT ITER 1384 NEW BEST:: SOT 161496 SOS 89432 HAS SOPS 89432 HAS SOUS 63839 HAS SOUPS 63839 WITH SCORE 63928.432
AT ITER 1385 NEW BEST:: SOT 161496 SOS 89505 HAS SOPS 89505 HAS SOUS 63833 HAS SOUPS 63833 WITH SCORE 63922.505
AT ITER 1386 NEW BEST:: SOT 161402 SOS 89304 HAS SOPS 89304 HAS SOUS 63772 HAS SOUPS 63772 WITH SCORE 63861.304
AT ITER 1388 NEW BEST:: SOT 161360 SOS 89262 HAS SOPS 89262 HAS SOUS 63712 HAS SOUPS 63712 WITH SCORE 63801.262
AT ITER 1394 NEW BEST:: SOT 161313 SOS 89257 HAS SOPS 89257 HAS SOUS 63697 HAS SOUPS 63697 WITH SCORE 63786.257
AT ITER 1396 NEW BEST:: SOT 161134 SOS 89078 HAS SOPS 89078 HAS SOUS 63518 HAS SOUPS 63518 WITH SCORE 63607.078
AT ITER 1397 NEW BEST:: SOT 161113 SOS 89029 HAS SOPS 89029 HAS SOUS 63462 HAS SOUPS 63462 WITH SCORE 63551.029
AT ITER 1400 NEW BEST:: SOT 160737 SOS 88567 HAS SOPS 88567 HAS SOUS 63094 HAS SOUPS 63094 WITH SCORE 63182.567
AT ITER 1412 NEW BEST:: SOT 160737 SOS 88527 HAS SOPS 88527 HAS SOUS 63074 HAS SOUPS 63074 WITH SCORE 63162.527
AT ITER 1416 NEW BEST:: SOT 160624 SOS 88486 HAS SOPS 88486 HAS SOUS 63009 HAS SOUPS 63009 WITH SCORE 63097.486
AT ITER 1422 NEW BEST:: SOT 160494 SOS 88316 HAS SOPS 88316 HAS SOUS 62876 HAS SOUPS 62876 WITH SCORE 62964.316
AT ITER 1425 NEW BEST:: SOT 160355 SOS 88085 HAS SOPS 88085 HAS SOUS 62773 HAS SOUPS 62773 WITH SCORE 62861.085
AT ITER 1432 NEW BEST:: SOT 160299 SOS 87872 HAS SOPS 87872 HAS SOUS 62770 HAS SOUPS 62770 WITH SCORE 62857.872
AT ITER 1444 NEW BEST:: SOT 160317 SOS 87866 HAS SOPS 87866 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62851.866
AT ITER 1448 NEW BEST:: SOT 160269 SOS 87687 HAS SOPS 87687 HAS SOUS 62662 HAS SOUPS 62662 WITH SCORE 62749.687
AT ITER 1453 NEW BEST:: SOT 160269 SOS 87661 HAS SOPS 87661 HAS SOUS 62629 HAS SOUPS 62629 WITH SCORE 62716.661
AT ITER 1455 NEW BEST:: SOT 160269 SOS 87620 HAS SOPS 87620 HAS SOUS 62506 HAS SOUPS 62506 WITH SCORE 62593.62
AT ITER 1456 NEW BEST:: SOT 160226 SOS 87577 HAS SOPS 87577 HAS SOUS 62399 HAS SOUPS 62399 WITH SCORE 62486.577
AT ITER 1457 NEW BEST:: SOT 160136 SOS 87488 HAS SOPS 87488 HAS SOUS 62295 HAS SOUPS 62295 WITH SCORE 62382.488
AT ITER 1464 NEW BEST:: SOT 160080 SOS 86266 HAS SOPS 86266 HAS SOUS 61753 HAS SOUPS 61753 WITH SCORE 61839.266
AT ITER 1471 NEW BEST:: SOT 159889 SOS 86075 HAS SOPS 86075 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61683.075
AT ITER 1473 NEW BEST:: SOT 159902 SOS 86088 HAS SOPS 86088 HAS SOUS 61582 HAS SOUPS 61582 WITH SCORE 61668.088
AT ITER 1475 NEW BEST:: SOT 159831 SOS 85830 HAS SOPS 85830 HAS SOUS 61511 HAS SOUPS 61511 WITH SCORE 61596.83
AT ITER 1478 NEW BEST:: SOT 159681 SOS 86015 HAS SOPS 86015 HAS SOUS 61487 HAS SOUPS 61487 WITH SCORE 61573.015
AT ITER 1483 NEW BEST:: SOT 159649 SOS 85951 HAS SOPS 85951 HAS SOUS 61438 HAS SOUPS 61438 WITH SCORE 61523.951
AT ITER 1491 NEW BEST:: SOT 159618 SOS 86002 HAS SOPS 86002 HAS SOUS 61375 HAS SOUPS 61375 WITH SCORE 61461.002
AT ITER 1492 NEW BEST:: SOT 159663 SOS 86931 HAS SOPS 86931 HAS SOUS 61144 HAS SOUPS 61144 WITH SCORE 61230.931
AT ITER 1493 NEW BEST:: SOT 159632 SOS 86872 HAS SOPS 86872 HAS SOUS 61005 HAS SOUPS 61005 WITH SCORE 61091.872
AT ITER 1501 NEW BEST:: SOT 159331 SOS 86571 HAS SOPS 86571 HAS SOUS 60720 HAS SOUPS 60720 WITH SCORE 60806.571
AT ITER 1508 NEW BEST:: SOT 159319 SOS 86559 HAS SOPS 86559 HAS SOUS 60708 HAS SOUPS 60708 WITH SCORE 60794.559
AT ITER 1509 NEW BEST:: SOT 158999 SOS 85879 HAS SOPS 85879 HAS SOUS 60161 HAS SOUPS 60161 WITH SCORE 60246.879
AT ITER 1512 NEW BEST:: SOT 158912 SOS 85785 HAS SOPS 85785 HAS SOUS 60108 HAS SOUPS 60108 WITH SCORE 60193.785
AT ITER 1516 NEW BEST:: SOT 158912 SOS 85659 HAS SOPS 85659 HAS SOUS 59897 HAS SOUPS 59897 WITH SCORE 59982.659
AT ITER 1528 NEW BEST:: SOT 158886 SOS 85636 HAS SOPS 85636 HAS SOUS 59864 HAS SOUPS 59864 WITH SCORE 59949.636
AT ITER 1539 NEW BEST:: SOT 158886 SOS 85388 HAS SOPS 85388 HAS SOUS 59863 HAS SOUPS 59863 WITH SCORE 59948.388
AT ITER 1543 NEW BEST:: SOT 158891 SOS 85446 HAS SOPS 85446 HAS SOUS 59849 HAS SOUPS 59849 WITH SCORE 59934.446
AT ITER 1546 NEW BEST:: SOT 158722 SOS 85234 HAS SOPS 85234 HAS SOUS 59638 HAS SOUPS 59638 WITH SCORE 59723.234
AT ITER 1549 NEW BEST:: SOT 158608 SOS 85106 HAS SOPS 85106 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59549.106
AT ITER 1559 NEW BEST:: SOT 158598 SOS 85022 HAS SOPS 85022 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59549.022
AT ITER 1561 NEW BEST:: SOT 158512 SOS 84679 HAS SOPS 84679 HAS SOUS 59359 HAS SOUPS 59359 WITH SCORE 59443.679
AT ITER 1562 NEW BEST:: SOT 158577 SOS 84818 HAS SOPS 84818 HAS SOUS 59306 HAS SOUPS 59306 WITH SCORE 59390.818
AT ITER 1563 NEW BEST:: SOT 158500 SOS 84741 HAS SOPS 84741 HAS SOUS 59229 HAS SOUPS 59229 WITH SCORE 59313.741
AT ITER 1575 NEW BEST:: SOT 158579 SOS 83869 HAS SOPS 83869 HAS SOUS 59107 HAS SOUPS 59107 WITH SCORE 59190.869
AT ITER 1579 NEW BEST:: SOT 158056 SOS 83124 HAS SOPS 83124 HAS SOUS 58597 HAS SOUPS 58597 WITH SCORE 58680.124
AT ITER 1582 NEW BEST:: SOT 157880 SOS 82460 HAS SOPS 82460 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58311.46
AT ITER 1584 NEW BEST:: SOT 157880 SOS 82358 HAS SOPS 82358 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58311.358
AT ITER 1585 NEW BEST:: SOT 157786 SOS 82311 HAS SOPS 82311 HAS SOUS 58094 HAS SOUPS 58094 WITH SCORE 58176.311
AT ITER 1591 NEW BEST:: SOT 157787 SOS 82263 HAS SOPS 82263 HAS SOUS 57963 HAS SOUPS 57963 WITH SCORE 58045.263
AT ITER 1597 NEW BEST:: SOT 157739 SOS 82239 HAS SOPS 82239 HAS SOUS 57940 HAS SOUPS 57940 WITH SCORE 58022.239
AT ITER 1624 NEW BEST:: SOT 157739 SOS 82185 HAS SOPS 82185 HAS SOUS 57831 HAS SOUPS 57831 WITH SCORE 57913.185
AT ITER 1631 NEW BEST:: SOT 157739 SOS 82241 HAS SOPS 82241 HAS SOUS 57799 HAS SOUPS 57799 WITH SCORE 57881.241
AT ITER 1641 NEW BEST:: SOT 157686 SOS 82181 HAS SOPS 82181 HAS SOUS 57757 HAS SOUPS 57757 WITH SCORE 57839.181
AT ITER 1642 NEW BEST:: SOT 157262 SOS 82283 HAS SOPS 82283 HAS SOUS 57505 HAS SOUPS 57505 WITH SCORE 57587.283
AT ITER 1646 NEW BEST:: SOT 157283 SOS 82158 HAS SOPS 82158 HAS SOUS 57412 HAS SOUPS 57412 WITH SCORE 57494.158
AT ITER 1660 NEW BEST:: SOT 157103 SOS 81852 HAS SOPS 81852 HAS SOUS 57133 HAS SOUPS 57133 WITH SCORE 57214.852
AT ITER 1665 NEW BEST:: SOT 157050 SOS 81621 HAS SOPS 81621 HAS SOUS 57029 HAS SOUPS 57029 WITH SCORE 57110.621
AT ITER 1668 NEW BEST:: SOT 157134 SOS 81373 HAS SOPS 81373 HAS SOUS 56983 HAS SOUPS 56983 WITH SCORE 57064.373
AT ITER 1672 NEW BEST:: SOT 157076 SOS 81059 HAS SOPS 81059 HAS SOUS 56925 HAS SOUPS 56925 WITH SCORE 57006.059
AT ITER 1696 NEW BEST:: SOT 157083 SOS 81066 HAS SOPS 81066 HAS SOUS 56848 HAS SOUPS 56848 WITH SCORE 56929.066
AT ITER 1704 NEW BEST:: SOT 157024 SOS 80812 HAS SOPS 80812 HAS SOUS 56633 HAS SOUPS 56633 WITH SCORE 56713.812
AT ITER 1716 NEW BEST:: SOT 156958 SOS 80746 HAS SOPS 80746 HAS SOUS 56567 HAS SOUPS 56567 WITH SCORE 56647.746
AT ITER 1717 NEW BEST:: SOT 156942 SOS 80730 HAS SOPS 80730 HAS SOUS 56551 HAS SOUPS 56551 WITH SCORE 56631.73
AT ITER 1726 NEW BEST:: SOT 156911 SOS 80699 HAS SOPS 80699 HAS SOUS 56520 HAS SOUPS 56520 WITH SCORE 56600.699
AT ITER 1728 NEW BEST:: SOT 156699 SOS 80353 HAS SOPS 80353 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56232.353
AT ITER 1735 NEW BEST:: SOT 156699 SOS 80335 HAS SOPS 80335 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56226.335
AT ITER 1737 NEW BEST:: SOT 156594 SOS 80230 HAS SOPS 80230 HAS SOUS 56023 HAS SOUPS 56023 WITH SCORE 56103.23
AT ITER 1743 NEW BEST:: SOT 156594 SOS 80215 HAS SOPS 80215 HAS SOUS 56016 HAS SOUPS 56016 WITH SCORE 56096.215
AT ITER 1759 NEW BEST:: SOT 156501 SOS 80029 HAS SOPS 80029 HAS SOUS 56012 HAS SOUPS 56012 WITH SCORE 56092.029
AT ITER 1763 NEW BEST:: SOT 156391 SOS 79919 HAS SOPS 79919 HAS SOUS 55891 HAS SOUPS 55891 WITH SCORE 55970.919
AT ITER 1764 NEW BEST:: SOT 156382 SOS 79883 HAS SOPS 79883 HAS SOUS 55873 HAS SOUPS 55873 WITH SCORE 55952.883
AT ITER 1776 NEW BEST:: SOT 156010 SOS 79432 HAS SOPS 79432 HAS SOUS 55748 HAS SOUPS 55748 WITH SCORE 55827.432
AT ITER 1782 NEW BEST:: SOT 156199 SOS 79247 HAS SOPS 79247 HAS SOUS 55738 HAS SOUPS 55738 WITH SCORE 55817.247
AT ITER 1784 NEW BEST:: SOT 156199 SOS 79212 HAS SOPS 79212 HAS SOUS 55738 HAS SOUPS 55738 WITH SCORE 55817.212
AT ITER 1786 NEW BEST:: SOT 156186 SOS 79186 HAS SOPS 79186 HAS SOUS 55730 HAS SOUPS 55730 WITH SCORE 55809.186
AT ITER 1798 NEW BEST:: SOT 156118 SOS 79016 HAS SOPS 79016 HAS SOUS 55594 HAS SOUPS 55594 WITH SCORE 55673.016
AT ITER 1799 NEW BEST:: SOT 156105 SOS 78984 HAS SOPS 78984 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55626.984
AT ITER 1818 NEW BEST:: SOT 156068 SOS 76990 HAS SOPS 76990 HAS SOUS 55210 HAS SOUPS 55210 WITH SCORE 55286.99
AT ITER 1822 NEW BEST:: SOT 156071 SOS 77035 HAS SOPS 77035 HAS SOUS 55205 HAS SOUPS 55205 WITH SCORE 55282.035
AT ITER 1841 NEW BEST:: SOT 156062 SOS 76964 HAS SOPS 76964 HAS SOUS 55165 HAS SOUPS 55165 WITH SCORE 55241.964
AT ITER 1853 NEW BEST:: SOT 156019 SOS 76921 HAS SOPS 76921 HAS SOUS 55104 HAS SOUPS 55104 WITH SCORE 55180.921
AT ITER 1860 NEW BEST:: SOT 155878 SOS 76780 HAS SOPS 76780 HAS SOUS 54804 HAS SOUPS 54804 WITH SCORE 54880.78
AT ITER 1863 NEW BEST:: SOT 155878 SOS 76598 HAS SOPS 76598 HAS SOUS 54759 HAS SOUPS 54759 WITH SCORE 54835.598
AT ITER 1866 NEW BEST:: SOT 155799 SOS 76518 HAS SOPS 76518 HAS SOUS 54628 HAS SOUPS 54628 WITH SCORE 54704.518
AT ITER 1877 NEW BEST:: SOT 155704 SOS 76412 HAS SOPS 76412 HAS SOUS 54492 HAS SOUPS 54492 WITH SCORE 54568.412
AT ITER 1881 NEW BEST:: SOT 155704 SOS 76258 HAS SOPS 76258 HAS SOUS 54486 HAS SOUPS 54486 WITH SCORE 54562.258
AT ITER 1887 NEW BEST:: SOT 155729 SOS 76152 HAS SOPS 76152 HAS SOUS 54340 HAS SOUPS 54340 WITH SCORE 54416.152
AT ITER 1889 NEW BEST:: SOT 155729 SOS 76136 HAS SOPS 76136 HAS SOUS 54340 HAS SOUPS 54340 WITH SCORE 54416.136
AT ITER 1900 NEW BEST:: SOT 155617 SOS 75869 HAS SOPS 75869 HAS SOUS 54112 HAS SOUPS 54112 WITH SCORE 54187.869
AT ITER 1910 NEW BEST:: SOT 155617 SOS 75770 HAS SOPS 75770 HAS SOUS 54098 HAS SOUPS 54098 WITH SCORE 54173.77
AT ITER 1918 NEW BEST:: SOT 155615 SOS 75768 HAS SOPS 75768 HAS SOUS 54096 HAS SOUPS 54096 WITH SCORE 54171.768
AT ITER 1922 NEW BEST:: SOT 155597 SOS 75736 HAS SOPS 75736 HAS SOUS 54072 HAS SOUPS 54072 WITH SCORE 54147.736
AT ITER 1923 NEW BEST:: SOT 155597 SOS 75730 HAS SOPS 75730 HAS SOUS 54054 HAS SOUPS 54054 WITH SCORE 54129.73
AT ITER 1929 NEW BEST:: SOT 155539 SOS 75540 HAS SOPS 75540 HAS SOUS 53991 HAS SOUPS 53991 WITH SCORE 54066.54
AT ITER 1932 NEW BEST:: SOT 155566 SOS 75435 HAS SOPS 75435 HAS SOUS 53968 HAS SOUPS 53968 WITH SCORE 54043.435
AT ITER 1938 NEW BEST:: SOT 155444 SOS 75391 HAS SOPS 75391 HAS SOUS 53952 HAS SOUPS 53952 WITH SCORE 54027.391
AT ITER 1946 NEW BEST:: SOT 155438 SOS 75395 HAS SOPS 75395 HAS SOUS 53929 HAS SOUPS 53929 WITH SCORE 54004.395
AT ITER 1951 NEW BEST:: SOT 155335 SOS 75291 HAS SOPS 75291 HAS SOUS 53873 HAS SOUPS 53873 WITH SCORE 53948.291
AT ITER 1955 NEW BEST:: SOT 154945 SOS 74821 HAS SOPS 74821 HAS SOUS 53235 HAS SOUPS 53235 WITH SCORE 53309.821
AT ITER 1969 NEW BEST:: SOT 154887 SOS 74762 HAS SOPS 74762 HAS SOUS 53159 HAS SOUPS 53159 WITH SCORE 53233.762
AT ITER 1978 NEW BEST:: SOT 154782 SOS 74657 HAS SOPS 74657 HAS SOUS 53054 HAS SOUPS 53054 WITH SCORE 53128.657
AT ITER 1996 NEW BEST:: SOT 154672 SOS 74468 HAS SOPS 74468 HAS SOUS 52777 HAS SOUPS 52777 WITH SCORE 52851.468
AT ITER 2007 NEW BEST:: SOT 154671 SOS 74466 HAS SOPS 74466 HAS SOUS 52776 HAS SOUPS 52776 WITH SCORE 52850.466
AT ITER 2018 NEW BEST:: SOT 154627 SOS 74405 HAS SOPS 74405 HAS SOUS 52715 HAS SOUPS 52715 WITH SCORE 52789.405
AT ITER 2019 NEW BEST:: SOT 154472 SOS 74250 HAS SOPS 74250 HAS SOUS 52512 HAS SOUPS 52512 WITH SCORE 52586.25
AT ITER 2022 NEW BEST:: SOT 154424 SOS 74198 HAS SOPS 74198 HAS SOUS 52495 HAS SOUPS 52495 WITH SCORE 52569.198
AT ITER 2023 NEW BEST:: SOT 154424 SOS 74198 HAS SOPS 74198 HAS SOUS 52485 HAS SOUPS 52485 WITH SCORE 52559.198
AT ITER 2029 NEW BEST:: SOT 154330 SOS 73862 HAS SOPS 73862 HAS SOUS 52429 HAS SOUPS 52429 WITH SCORE 52502.862
AT ITER 2037 NEW BEST:: SOT 154243 SOS 73775 HAS SOPS 73775 HAS SOUS 52342 HAS SOUPS 52342 WITH SCORE 52415.775
AT ITER 2038 NEW BEST:: SOT 154243 SOS 73787 HAS SOPS 73787 HAS SOUS 52340 HAS SOUPS 52340 WITH SCORE 52413.787
AT ITER 2040 NEW BEST:: SOT 154120 SOS 73668 HAS SOPS 73668 HAS SOUS 52225 HAS SOUPS 52225 WITH SCORE 52298.668
AT ITER 2047 NEW BEST:: SOT 154108 SOS 73656 HAS SOPS 73656 HAS SOUS 52213 HAS SOUPS 52213 WITH SCORE 52286.656
AT ITER 2061 NEW BEST:: SOT 154120 SOS 73615 HAS SOPS 73615 HAS SOUS 52178 HAS SOUPS 52178 WITH SCORE 52251.615
AT ITER 2068 NEW BEST:: SOT 154102 SOS 73504 HAS SOPS 73504 HAS SOUS 52006 HAS SOUPS 52006 WITH SCORE 52079.504
AT ITER 2069 NEW BEST:: SOT 154042 SOS 73424 HAS SOPS 73424 HAS SOUS 51941 HAS SOUPS 51941 WITH SCORE 52014.424
AT ITER 2071 NEW BEST:: SOT 154024 SOS 73386 HAS SOPS 73386 HAS SOUS 51933 HAS SOUPS 51933 WITH SCORE 52006.386
AT ITER 2074 NEW BEST:: SOT 153950 SOS 73281 HAS SOPS 73281 HAS SOUS 51835 HAS SOUPS 51835 WITH SCORE 51908.281
AT ITER 2086 NEW BEST:: SOT 153950 SOS 72972 HAS SOPS 72972 HAS SOUS 51763 HAS SOUPS 51763 WITH SCORE 51835.972
AT ITER 2089 NEW BEST:: SOT 153916 SOS 72864 HAS SOPS 72864 HAS SOUS 51671 HAS SOUPS 51671 WITH SCORE 51743.864
AT ITER 2103 NEW BEST:: SOT 153971 SOS 72974 HAS SOPS 72974 HAS SOUS 51662 HAS SOUPS 51662 WITH SCORE 51734.974
AT ITER 2115 NEW BEST:: SOT 153947 SOS 72928 HAS SOPS 72928 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51665.928
AT ITER 2118 NEW BEST:: SOT 153947 SOS 72928 HAS SOPS 72928 HAS SOUS 51549 HAS SOUPS 51549 WITH SCORE 51621.928
AT ITER 2128 NEW BEST:: SOT 153919 SOS 72930 HAS SOPS 72930 HAS SOUS 51426 HAS SOUPS 51426 WITH SCORE 51498.93
AT ITER 2135 NEW BEST:: SOT 153895 SOS 72926 HAS SOPS 72926 HAS SOUS 51377 HAS SOUPS 51377 WITH SCORE 51449.926
AT ITER 2136 NEW BEST:: SOT 153895 SOS 73183 HAS SOPS 73183 HAS SOUS 51231 HAS SOUPS 51231 WITH SCORE 51304.183
AT ITER 2138 NEW BEST:: SOT 153883 SOS 73147 HAS SOPS 73147 HAS SOUS 51207 HAS SOUPS 51207 WITH SCORE 51280.147
AT ITER 2146 NEW BEST:: SOT 153779 SOS 72941 HAS SOPS 72941 HAS SOUS 51027 HAS SOUPS 51027 WITH SCORE 51099.941
AT ITER 2151 NEW BEST:: SOT 153728 SOS 72842 HAS SOPS 72842 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51044.842
AT ITER 2158 NEW BEST:: SOT 153743 SOS 73172 HAS SOPS 73172 HAS SOUS 50934 HAS SOUPS 50934 WITH SCORE 51007.172
AT ITER 2160 NEW BEST:: SOT 153710 SOS 73398 HAS SOPS 73398 HAS SOUS 50890 HAS SOUPS 50890 WITH SCORE 50963.398
AT ITER 2173 NEW BEST:: SOT 153720 SOS 73195 HAS SOPS 73195 HAS SOUS 50821 HAS SOUPS 50821 WITH SCORE 50894.195
AT ITER 2183 NEW BEST:: SOT 153372 SOS 72795 HAS SOPS 72795 HAS SOUS 50360 HAS SOUPS 50360 WITH SCORE 50432.795
AT ITER 2185 NEW BEST:: SOT 153348 SOS 72699 HAS SOPS 72699 HAS SOUS 50360 HAS SOUPS 50360 WITH SCORE 50432.699
AT ITER 2190 NEW BEST:: SOT 153269 SOS 72549 HAS SOPS 72549 HAS SOUS 50190 HAS SOUPS 50190 WITH SCORE 50262.549
AT ITER 2196 NEW BEST:: SOT 153217 SOS 72497 HAS SOPS 72497 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50196.497
AT ITER 2199 NEW BEST:: SOT 153142 SOS 72222 HAS SOPS 72222 HAS SOUS 49953 HAS SOUPS 49953 WITH SCORE 50025.222
AT ITER 2208 NEW BEST:: SOT 153132 SOS 72202 HAS SOPS 72202 HAS SOUS 49933 HAS SOUPS 49933 WITH SCORE 50005.202
AT ITER 2211 NEW BEST:: SOT 153105 SOS 72178 HAS SOPS 72178 HAS SOUS 49909 HAS SOUPS 49909 WITH SCORE 49981.178
AT ITER 2214 NEW BEST:: SOT 153037 SOS 72042 HAS SOPS 72042 HAS SOUS 49807 HAS SOUPS 49807 WITH SCORE 49879.042
AT ITER 2231 NEW BEST:: SOT 152975 SOS 71918 HAS SOPS 71918 HAS SOUS 49716 HAS SOUPS 49716 WITH SCORE 49787.918
AT ITER 2238 NEW BEST:: SOT 153188 SOS 71661 HAS SOPS 71661 HAS SOUS 49532 HAS SOUPS 49532 WITH SCORE 49603.661
AT ITER 2240 NEW BEST:: SOT 152769 SOS 71209 HAS SOPS 71209 HAS SOUS 48933 HAS SOUPS 48933 WITH SCORE 49004.209
AT ITER 2244 NEW BEST:: SOT 152769 SOS 71007 HAS SOPS 71007 HAS SOUS 48832 HAS SOUPS 48832 WITH SCORE 48903.007
AT ITER 2246 NEW BEST:: SOT 152739 SOS 70912 HAS SOPS 70912 HAS SOUS 48698 HAS SOUPS 48698 WITH SCORE 48768.912
AT ITER 2249 NEW BEST:: SOT 152739 SOS 70854 HAS SOPS 70854 HAS SOUS 48692 HAS SOUPS 48692 WITH SCORE 48762.854
AT ITER 2251 NEW BEST:: SOT 152734 SOS 70711 HAS SOPS 70711 HAS SOUS 48619 HAS SOUPS 48619 WITH SCORE 48689.711
AT ITER 2253 NEW BEST:: SOT 152721 SOS 70659 HAS SOPS 70659 HAS SOUS 48606 HAS SOUPS 48606 WITH SCORE 48676.659
AT ITER 2275 NEW BEST:: SOT 152679 SOS 70655 HAS SOPS 70655 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48644.655
AT ITER 2277 NEW BEST:: SOT 152666 SOS 70642 HAS SOPS 70642 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48631.642
AT ITER 2282 NEW BEST:: SOT 152666 SOS 70558 HAS SOPS 70558 HAS SOUS 48519 HAS SOUPS 48519 WITH SCORE 48589.558
AT ITER 2302 NEW BEST:: SOT 152274 SOS 70126 HAS SOPS 70126 HAS SOUS 48024 HAS SOUPS 48024 WITH SCORE 48094.126
AT ITER 2305 NEW BEST:: SOT 152274 SOS 70134 HAS SOPS 70134 HAS SOUS 48020 HAS SOUPS 48020 WITH SCORE 48090.134
AT ITER 2325 NEW BEST:: SOT 152266 SOS 70110 HAS SOPS 70110 HAS SOUS 47980 HAS SOUPS 47980 WITH SCORE 48050.11
AT ITER 2326 NEW BEST:: SOT 152253 SOS 70098 HAS SOPS 70098 HAS SOUS 47968 HAS SOUPS 47968 WITH SCORE 48038.098
AT ITER 2334 NEW BEST:: SOT 152398 SOS 70227 HAS SOPS 70227 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47912.227
AT ITER 2339 NEW BEST:: SOT 152366 SOS 70199 HAS SOPS 70199 HAS SOUS 47776 HAS SOUPS 47776 WITH SCORE 47846.199
AT ITER 2359 NEW BEST:: SOT 152344 SOS 70177 HAS SOPS 70177 HAS SOUS 47622 HAS SOUPS 47622 WITH SCORE 47692.177
AT ITER 2361 NEW BEST:: SOT 152337 SOS 70170 HAS SOPS 70170 HAS SOUS 47615 HAS SOUPS 47615 WITH SCORE 47685.17
AT ITER 2368 NEW BEST:: SOT 152540 SOS 69659 HAS SOPS 69659 HAS SOUS 47596 HAS SOUPS 47596 WITH SCORE 47665.659
AT ITER 2370 NEW BEST:: SOT 152575 SOS 69703 HAS SOPS 69703 HAS SOUS 47506 HAS SOUPS 47506 WITH SCORE 47575.703
AT ITER 2382 NEW BEST:: SOT 152569 SOS 69691 HAS SOPS 69691 HAS SOUS 47482 HAS SOUPS 47482 WITH SCORE 47551.691
AT ITER 2385 NEW BEST:: SOT 152553 SOS 69812 HAS SOPS 69812 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47541.812
AT ITER 2389 NEW BEST:: SOT 152556 SOS 70072 HAS SOPS 70072 HAS SOUS 47204 HAS SOUPS 47204 WITH SCORE 47274.072
AT ITER 2395 NEW BEST:: SOT 152472 SOS 69968 HAS SOPS 69968 HAS SOUS 47010 HAS SOUPS 47010 WITH SCORE 47079.968
AT ITER 2398 NEW BEST:: SOT 152454 SOS 69878 HAS SOPS 69878 HAS SOUS 46974 HAS SOUPS 46974 WITH SCORE 47043.878
AT ITER 2399 NEW BEST:: SOT 152302 SOS 69696 HAS SOPS 69696 HAS SOUS 46792 HAS SOUPS 46792 WITH SCORE 46861.696
AT ITER 2401 NEW BEST:: SOT 152218 SOS 69612 HAS SOPS 69612 HAS SOUS 46708 HAS SOUPS 46708 WITH SCORE 46777.612
AT ITER 2409 NEW BEST:: SOT 152117 SOS 69467 HAS SOPS 69467 HAS SOUS 46448 HAS SOUPS 46448 WITH SCORE 46517.467
AT ITER 2419 NEW BEST:: SOT 152023 SOS 69196 HAS SOPS 69196 HAS SOUS 46335 HAS SOUPS 46335 WITH SCORE 46404.196
AT ITER 2433 NEW BEST:: SOT 152083 SOS 69484 HAS SOPS 69484 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46391.484
AT ITER 2439 NEW BEST:: SOT 151995 SOS 69333 HAS SOPS 69333 HAS SOUS 46190 HAS SOUPS 46190 WITH SCORE 46259.333
AT ITER 2440 NEW BEST:: SOT 151928 SOS 69098 HAS SOPS 69098 HAS SOUS 46075 HAS SOUPS 46075 WITH SCORE 46144.098
AT ITER 2441 NEW BEST:: SOT 151924 SOS 69094 HAS SOPS 69094 HAS SOUS 46071 HAS SOUPS 46071 WITH SCORE 46140.094
AT ITER 2443 NEW BEST:: SOT 151886 SOS 69036 HAS SOPS 69036 HAS SOUS 46049 HAS SOUPS 46049 WITH SCORE 46118.036
AT ITER 2448 NEW BEST:: SOT 151884 SOS 69032 HAS SOPS 69032 HAS SOUS 46044 HAS SOUPS 46044 WITH SCORE 46113.032
AT ITER 2456 NEW BEST:: SOT 151903 SOS 69051 HAS SOPS 69051 HAS SOUS 46024 HAS SOUPS 46024 WITH SCORE 46093.051
AT ITER 2462 NEW BEST:: SOT 151650 SOS 67999 HAS SOPS 67999 HAS SOUS 45701 HAS SOUPS 45701 WITH SCORE 45768.999
AT ITER 2472 NEW BEST:: SOT 151632 SOS 67972 HAS SOPS 67972 HAS SOUS 45638 HAS SOUPS 45638 WITH SCORE 45705.972
AT ITER 2484 NEW BEST:: SOT 151596 SOS 67900 HAS SOPS 67900 HAS SOUS 45573 HAS SOUPS 45573 WITH SCORE 45640.9
AT ITER 2494 NEW BEST:: SOT 151593 SOS 67838 HAS SOPS 67838 HAS SOUS 45552 HAS SOUPS 45552 WITH SCORE 45619.838
AT ITER 2499 NEW BEST:: SOT 151559 SOS 67821 HAS SOPS 67821 HAS SOUS 45534 HAS SOUPS 45534 WITH SCORE 45601.821
AT ITER 2500 NEW BEST:: SOT 151491 SOS 67753 HAS SOPS 67753 HAS SOUS 45466 HAS SOUPS 45466 WITH SCORE 45533.753
AT ITER 2524 NEW BEST:: SOT 151361 SOS 67123 HAS SOPS 67123 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45162.123
AT ITER 2537 NEW BEST:: SOT 151359 SOS 67121 HAS SOPS 67121 HAS SOUS 45080 HAS SOUPS 45080 WITH SCORE 45147.121
AT ITER 2546 NEW BEST:: SOT 151264 SOS 66967 HAS SOPS 66967 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45026.967
AT ITER 2553 NEW BEST:: SOT 151279 SOS 66971 HAS SOPS 66971 HAS SOUS 44948 HAS SOUPS 44948 WITH SCORE 45014.971
AT ITER 2560 NEW BEST:: SOT 151279 SOS 66956 HAS SOPS 66956 HAS SOUS 44933 HAS SOUPS 44933 WITH SCORE 44999.956
AT ITER 2562 NEW BEST:: SOT 151247 SOS 66924 HAS SOPS 66924 HAS SOUS 44873 HAS SOUPS 44873 WITH SCORE 44939.924
AT ITER 2565 NEW BEST:: SOT 151256 SOS 66891 HAS SOPS 66891 HAS SOUS 44789 HAS SOUPS 44789 WITH SCORE 44855.891
AT ITER 2570 NEW BEST:: SOT 151235 SOS 66783 HAS SOPS 66783 HAS SOUS 44701 HAS SOUPS 44701 WITH SCORE 44767.783
AT ITER 2582 NEW BEST:: SOT 151235 SOS 66696 HAS SOPS 66696 HAS SOUS 44672 HAS SOUPS 44672 WITH SCORE 44738.696
AT ITER 2590 NEW BEST:: SOT 151274 SOS 66566 HAS SOPS 66566 HAS SOUS 44579 HAS SOUPS 44579 WITH SCORE 44645.566
AT ITER 2601 NEW BEST:: SOT 151274 SOS 66566 HAS SOPS 66566 HAS SOUS 44577 HAS SOUPS 44577 WITH SCORE 44643.566
AT ITER 2613 NEW BEST:: SOT 151201 SOS 65725 HAS SOPS 65725 HAS SOUS 44342 HAS SOUPS 44342 WITH SCORE 44407.725
AT ITER 2614 NEW BEST:: SOT 151092 SOS 65382 HAS SOPS 65382 HAS SOUS 44196 HAS SOUPS 44196 WITH SCORE 44261.382
AT ITER 2615 NEW BEST:: SOT 151297 SOS 65479 HAS SOPS 65479 HAS SOUS 44084 HAS SOUPS 44084 WITH SCORE 44149.479
AT ITER 2622 NEW BEST:: SOT 151297 SOS 65469 HAS SOPS 65469 HAS SOUS 44070 HAS SOUPS 44070 WITH SCORE 44135.469
AT ITER 2627 NEW BEST:: SOT 151246 SOS 65407 HAS SOPS 65407 HAS SOUS 43982 HAS SOUPS 43982 WITH SCORE 44047.407
AT ITER 2628 NEW BEST:: SOT 151146 SOS 65307 HAS SOPS 65307 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43947.307
AT ITER 2640 NEW BEST:: SOT 151048 SOS 65128 HAS SOPS 65128 HAS SOUS 43838 HAS SOUPS 43838 WITH SCORE 43903.128
AT ITER 2655 NEW BEST:: SOT 151041 SOS 65150 HAS SOPS 65150 HAS SOUS 43817 HAS SOUPS 43817 WITH SCORE 43882.15
AT ITER 2666 NEW BEST:: SOT 151015 SOS 65124 HAS SOPS 65124 HAS SOUS 43713 HAS SOUPS 43713 WITH SCORE 43778.124
AT ITER 2676 NEW BEST:: SOT 151015 SOS 65126 HAS SOPS 65126 HAS SOUS 43709 HAS SOUPS 43709 WITH SCORE 43774.126
AT ITER 2679 NEW BEST:: SOT 150993 SOS 65104 HAS SOPS 65104 HAS SOUS 43687 HAS SOUPS 43687 WITH SCORE 43752.104
AT ITER 2693 NEW BEST:: SOT 151011 SOS 65092 HAS SOPS 65092 HAS SOUS 43675 HAS SOUPS 43675 WITH SCORE 43740.092
AT ITER 2705 NEW BEST:: SOT 151011 SOS 65175 HAS SOPS 65175 HAS SOUS 43669 HAS SOUPS 43669 WITH SCORE 43734.175
AT ITER 2708 NEW BEST:: SOT 150898 SOS 64742 HAS SOPS 64742 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43467.742
AT ITER 2728 NEW BEST:: SOT 150839 SOS 64729 HAS SOPS 64729 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43426.729
AT ITER 2729 NEW BEST:: SOT 150826 SOS 64677 HAS SOPS 64677 HAS SOUS 43310 HAS SOUPS 43310 WITH SCORE 43374.677
AT ITER 2740 NEW BEST:: SOT 150732 SOS 64535 HAS SOPS 64535 HAS SOUS 43204 HAS SOUPS 43204 WITH SCORE 43268.535
AT ITER 2744 NEW BEST:: SOT 150584 SOS 64331 HAS SOPS 64331 HAS SOUS 42941 HAS SOUPS 42941 WITH SCORE 43005.331
AT ITER 2757 NEW BEST:: SOT 150528 SOS 64262 HAS SOPS 64262 HAS SOUS 42790 HAS SOUPS 42790 WITH SCORE 42854.262
AT ITER 2773 NEW BEST:: SOT 150520 SOS 64254 HAS SOPS 64254 HAS SOUS 42782 HAS SOUPS 42782 WITH SCORE 42846.254
AT ITER 2801 NEW BEST:: SOT 150556 SOS 64423 HAS SOPS 64423 HAS SOUS 42745 HAS SOUPS 42745 WITH SCORE 42809.423
AT ITER 2806 NEW BEST:: SOT 150560 SOS 64440 HAS SOPS 64440 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42807.44
AT ITER 2814 NEW BEST:: SOT 150510 SOS 64390 HAS SOPS 64390 HAS SOUS 42693 HAS SOUPS 42693 WITH SCORE 42757.39
AT ITER 2832 NEW BEST:: SOT 150466 SOS 64295 HAS SOPS 64295 HAS SOUS 42602 HAS SOUPS 42602 WITH SCORE 42666.295
AT ITER 2839 NEW BEST:: SOT 150396 SOS 64225 HAS SOPS 64225 HAS SOUS 42554 HAS SOUPS 42554 WITH SCORE 42618.225
AT ITER 2840 NEW BEST:: SOT 150338 SOS 64167 HAS SOPS 64167 HAS SOUS 42496 HAS SOUPS 42496 WITH SCORE 42560.167
AT ITER 2842 NEW BEST:: SOT 150330 SOS 64157 HAS SOPS 64157 HAS SOUS 42486 HAS SOUPS 42486 WITH SCORE 42550.157
AT ITER 2846 NEW BEST:: SOT 150308 SOS 64135 HAS SOPS 64135 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42495.135
AT ITER 2857 NEW BEST:: SOT 150300 SOS 64085 HAS SOPS 64085 HAS SOUS 42402 HAS SOUPS 42402 WITH SCORE 42466.085
AT ITER 2880 NEW BEST:: SOT 150285 SOS 64070 HAS SOPS 64070 HAS SOUS 42387 HAS SOUPS 42387 WITH SCORE 42451.07
AT ITER 2885 NEW BEST:: SOT 150240 SOS 63942 HAS SOPS 63942 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42337.942
AT ITER 2889 NEW BEST:: SOT 150092 SOS 64059 HAS SOPS 64059 HAS SOUS 41979 HAS SOUPS 41979 WITH SCORE 42043.059
AT ITER 2892 NEW BEST:: SOT 150076 SOS 64019 HAS SOPS 64019 HAS SOUS 41975 HAS SOUPS 41975 WITH SCORE 42039.019
AT ITER 2910 NEW BEST:: SOT 150060 SOS 63999 HAS SOPS 63999 HAS SOUS 41955 HAS SOUPS 41955 WITH SCORE 42018.999
AT ITER 2943 NEW BEST:: SOT 149953 SOS 63704 HAS SOPS 63704 HAS SOUS 41739 HAS SOUPS 41739 WITH SCORE 41802.704
AT ITER 2954 NEW BEST:: SOT 149922 SOS 63673 HAS SOPS 63673 HAS SOUS 41708 HAS SOUPS 41708 WITH SCORE 41771.673
AT ITER 2964 NEW BEST:: SOT 149930 SOS 63657 HAS SOPS 63657 HAS SOUS 41684 HAS SOUPS 41684 WITH SCORE 41747.657
AT ITER 2965 NEW BEST:: SOT 149931 SOS 63640 HAS SOPS 63640 HAS SOUS 41684 HAS SOUPS 41684 WITH SCORE 41747.64
AT ITER 2967 NEW BEST:: SOT 149878 SOS 63367 HAS SOPS 63367 HAS SOUS 41677 HAS SOUPS 41677 WITH SCORE 41740.367
AT ITER 2973 NEW BEST:: SOT 149872 SOS 63364 HAS SOPS 63364 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41737.364
AT ITER 2975 NEW BEST:: SOT 149870 SOS 63361 HAS SOPS 63361 HAS SOUS 41670 HAS SOUPS 41670 WITH SCORE 41733.361
AT ITER 2978 NEW BEST:: SOT 149859 SOS 63350 HAS SOPS 63350 HAS SOUS 41665 HAS SOUPS 41665 WITH SCORE 41728.35
AT ITER 2989 NEW BEST:: SOT 149760 SOS 63266 HAS SOPS 63266 HAS SOUS 41577 HAS SOUPS 41577 WITH SCORE 41640.266
AT ITER 2992 NEW BEST:: SOT 149693 SOS 63159 HAS SOPS 63159 HAS SOUS 41456 HAS SOUPS 41456 WITH SCORE 41519.159
AT ITER 3011 NEW BEST:: SOT 149680 SOS 63128 HAS SOPS 63128 HAS SOUS 41447 HAS SOUPS 41447 WITH SCORE 41510.128
AT ITER 3012 NEW BEST:: SOT 149669 SOS 63165 HAS SOPS 63165 HAS SOUS 41436 HAS SOUPS 41436 WITH SCORE 41499.165
AT ITER 3018 NEW BEST:: SOT 149669 SOS 63165 HAS SOPS 63165 HAS SOUS 41422 HAS SOUPS 41422 WITH SCORE 41485.165
AT ITER 3021 NEW BEST:: SOT 149656 SOS 63105 HAS SOPS 63105 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41482.105
AT ITER 3031 NEW BEST:: SOT 149586 SOS 63069 HAS SOPS 63069 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41436.069
AT ITER 3035 NEW BEST:: SOT 149509 SOS 62993 HAS SOPS 62993 HAS SOUS 41300 HAS SOUPS 41300 WITH SCORE 41362.993
AT ITER 3061 NEW BEST:: SOT 149475 SOS 62959 HAS SOPS 62959 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41340.959
AT ITER 3077 NEW BEST:: SOT 149432 SOS 62901 HAS SOPS 62901 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41285.901
AT ITER 3080 NEW BEST:: SOT 149457 SOS 62979 HAS SOPS 62979 HAS SOUS 41220 HAS SOUPS 41220 WITH SCORE 41282.979
AT ITER 3082 NEW BEST:: SOT 149473 SOS 62995 HAS SOPS 62995 HAS SOUS 41216 HAS SOUPS 41216 WITH SCORE 41278.995
AT ITER 3087 NEW BEST:: SOT 149364 SOS 62825 HAS SOPS 62825 HAS SOUS 41077 HAS SOUPS 41077 WITH SCORE 41139.825
AT ITER 3101 NEW BEST:: SOT 149335 SOS 62743 HAS SOPS 62743 HAS SOUS 40982 HAS SOUPS 40982 WITH SCORE 41044.743
AT ITER 3118 NEW BEST:: SOT 149339 SOS 62845 HAS SOPS 62845 HAS SOUS 40974 HAS SOUPS 40974 WITH SCORE 41036.845
AT ITER 3124 NEW BEST:: SOT 149288 SOS 62794 HAS SOPS 62794 HAS SOUS 40923 HAS SOUPS 40923 WITH SCORE 40985.794
AT ITER 3127 NEW BEST:: SOT 149275 SOS 62748 HAS SOPS 62748 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40937.748
AT ITER 3129 NEW BEST:: SOT 149231 SOS 62677 HAS SOPS 62677 HAS SOUS 40804 HAS SOUPS 40804 WITH SCORE 40866.677
AT ITER 3144 NEW BEST:: SOT 149226 SOS 62664 HAS SOPS 62664 HAS SOUS 40804 HAS SOUPS 40804 WITH SCORE 40866.664
AT ITER 3194 NEW BEST:: SOT 149218 SOS 62640 HAS SOPS 62640 HAS SOUS 40801 HAS SOUPS 40801 WITH SCORE 40863.64
AT ITER 3195 NEW BEST:: SOT 149163 SOS 62461 HAS SOPS 62461 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40847.461
AT ITER 3205 NEW BEST:: SOT 149163 SOS 62457 HAS SOPS 62457 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40833.457
AT ITER 3208 NEW BEST:: SOT 149154 SOS 62448 HAS SOPS 62448 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40806.448
AT ITER 3209 NEW BEST:: SOT 149134 SOS 62428 HAS SOPS 62428 HAS SOUS 40724 HAS SOUPS 40724 WITH SCORE 40786.428
AT ITER 3215 NEW BEST:: SOT 149132 SOS 62424 HAS SOPS 62424 HAS SOUS 40720 HAS SOUPS 40720 WITH SCORE 40782.424
AT ITER 3225 NEW BEST:: SOT 149132 SOS 62366 HAS SOPS 62366 HAS SOUS 40688 HAS SOUPS 40688 WITH SCORE 40750.366
AT ITER 3230 NEW BEST:: SOT 149076 SOS 61939 HAS SOPS 61939 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40652.939
AT ITER 3236 NEW BEST:: SOT 149094 SOS 61895 HAS SOPS 61895 HAS SOUS 40559 HAS SOUPS 40559 WITH SCORE 40620.895
AT ITER 3239 NEW BEST:: SOT 149043 SOS 61990 HAS SOPS 61990 HAS SOUS 40440 HAS SOUPS 40440 WITH SCORE 40501.99
AT ITER 3288 NEW BEST:: SOT 148781 SOS 61781 HAS SOPS 61781 HAS SOUS 40316 HAS SOUPS 40316 WITH SCORE 40377.781
AT ITER 3290 NEW BEST:: SOT 148754 SOS 61725 HAS SOPS 61725 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40298.725
AT ITER 3336 NEW BEST:: SOT 148725 SOS 61643 HAS SOPS 61643 HAS SOUS 40160 HAS SOUPS 40160 WITH SCORE 40221.643
AT ITER 3353 NEW BEST:: SOT 148699 SOS 61617 HAS SOPS 61617 HAS SOUS 40100 HAS SOUPS 40100 WITH SCORE 40161.617
AT ITER 3362 NEW BEST:: SOT 148635 SOS 61553 HAS SOPS 61553 HAS SOUS 40041 HAS SOUPS 40041 WITH SCORE 40102.553
AT ITER 3370 NEW BEST:: SOT 148615 SOS 61513 HAS SOPS 61513 HAS SOUS 39891 HAS SOUPS 39891 WITH SCORE 39952.513
AT ITER 3371 NEW BEST:: SOT 148558 SOS 61374 HAS SOPS 61374 HAS SOUS 39862 HAS SOUPS 39862 WITH SCORE 39923.374
AT ITER 3377 NEW BEST:: SOT 148506 SOS 61306 HAS SOPS 61306 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39855.306
AT ITER 3409 NEW BEST:: SOT 148516 SOS 61292 HAS SOPS 61292 HAS SOUS 39734 HAS SOUPS 39734 WITH SCORE 39795.292
AT ITER 3415 NEW BEST:: SOT 148490 SOS 61266 HAS SOPS 61266 HAS SOUS 39708 HAS SOUPS 39708 WITH SCORE 39769.266
AT ITER 3416 NEW BEST:: SOT 148476 SOS 61192 HAS SOPS 61192 HAS SOUS 39670 HAS SOUPS 39670 WITH SCORE 39731.192
AT ITER 3419 NEW BEST:: SOT 148473 SOS 61189 HAS SOPS 61189 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39728.189
AT ITER 3465 NEW BEST:: SOT 148469 SOS 61181 HAS SOPS 61181 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39663.181
AT ITER 3471 NEW BEST:: SOT 148415 SOS 61127 HAS SOPS 61127 HAS SOUS 39571 HAS SOUPS 39571 WITH SCORE 39632.127
AT ITER 3477 NEW BEST:: SOT 148398 SOS 60870 HAS SOPS 60870 HAS SOUS 39442 HAS SOUPS 39442 WITH SCORE 39502.87
AT ITER 3478 NEW BEST:: SOT 148396 SOS 60868 HAS SOPS 60868 HAS SOUS 39442 HAS SOUPS 39442 WITH SCORE 39502.868
AT ITER 3494 NEW BEST:: SOT 148290 SOS 60716 HAS SOPS 60716 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39350.716
AT ITER 3507 NEW BEST:: SOT 148289 SOS 60585 HAS SOPS 60585 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39285.585
AT ITER 3511 NEW BEST:: SOT 148245 SOS 60532 HAS SOPS 60532 HAS SOUS 39157 HAS SOUPS 39157 WITH SCORE 39217.532
AT ITER 3538 NEW BEST:: SOT 148264 SOS 60532 HAS SOPS 60532 HAS SOUS 39141 HAS SOUPS 39141 WITH SCORE 39201.532
AT ITER 3568 NEW BEST:: SOT 148233 SOS 60493 HAS SOPS 60493 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39177.493
AT ITER 3571 NEW BEST:: SOT 148233 SOS 60493 HAS SOPS 60493 HAS SOUS 39109 HAS SOUPS 39109 WITH SCORE 39169.493
AT ITER 3573 NEW BEST:: SOT 148168 SOS 60386 HAS SOPS 60386 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39163.386
AT ITER 3576 NEW BEST:: SOT 148189 SOS 60385 HAS SOPS 60385 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39162.385
AT ITER 3614 NEW BEST:: SOT 148188 SOS 60384 HAS SOPS 60384 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39161.384
AT ITER 3653 NEW BEST:: SOT 148251 SOS 60473 HAS SOPS 60473 HAS SOUS 39022 HAS SOUPS 39022 WITH SCORE 39082.473
AT ITER 3658 NEW BEST:: SOT 148167 SOS 60389 HAS SOPS 60389 HAS SOUS 38938 HAS SOUPS 38938 WITH SCORE 38998.389
AT ITER 3677 NEW BEST:: SOT 148160 SOS 60370 HAS SOPS 60370 HAS SOUS 38924 HAS SOUPS 38924 WITH SCORE 38984.37
AT ITER 3685 NEW BEST:: SOT 148171 SOS 60370 HAS SOPS 60370 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38980.37
AT ITER 3692 NEW BEST:: SOT 148162 SOS 60358 HAS SOPS 60358 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38960.358
AT ITER 3693 NEW BEST:: SOT 148134 SOS 60302 HAS SOPS 60302 HAS SOUS 38727 HAS SOUPS 38727 WITH SCORE 38787.302
AT ITER 3719 NEW BEST:: SOT 148124 SOS 60292 HAS SOPS 60292 HAS SOUS 38702 HAS SOUPS 38702 WITH SCORE 38762.292
AT ITER 3723 NEW BEST:: SOT 148025 SOS 60188 HAS SOPS 60188 HAS SOUS 38552 HAS SOUPS 38552 WITH SCORE 38612.188
AT ITER 3730 NEW BEST:: SOT 148025 SOS 60198 HAS SOPS 60198 HAS SOUS 38542 HAS SOUPS 38542 WITH SCORE 38602.198
AT ITER 3785 NEW BEST:: SOT 148004 SOS 60177 HAS SOPS 60177 HAS SOUS 38521 HAS SOUPS 38521 WITH SCORE 38581.177
AT ITER 3787 NEW BEST:: SOT 147863 SOS 59799 HAS SOPS 59799 HAS SOUS 38333 HAS SOUPS 38333 WITH SCORE 38392.799
AT ITER 3791 NEW BEST:: SOT 147817 SOS 59747 HAS SOPS 59747 HAS SOUS 38252 HAS SOUPS 38252 WITH SCORE 38311.747
AT ITER 3806 NEW BEST:: SOT 147794 SOS 59711 HAS SOPS 59711 HAS SOUS 38216 HAS SOUPS 38216 WITH SCORE 38275.711
AT ITER 3812 NEW BEST:: SOT 147726 SOS 59643 HAS SOPS 59643 HAS SOUS 38158 HAS SOUPS 38158 WITH SCORE 38217.643
AT ITER 3820 NEW BEST:: SOT 147509 SOS 59325 HAS SOPS 59325 HAS SOUS 37921 HAS SOUPS 37921 WITH SCORE 37980.325
AT ITER 3831 NEW BEST:: SOT 147501 SOS 59305 HAS SOPS 59305 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37968.305
AT ITER 3832 NEW BEST:: SOT 147501 SOS 59147 HAS SOPS 59147 HAS SOUS 37904 HAS SOUPS 37904 WITH SCORE 37963.147
AT ITER 3850 NEW BEST:: SOT 147419 SOS 59219 HAS SOPS 59219 HAS SOUS 37846 HAS SOUPS 37846 WITH SCORE 37905.219
AT ITER 3878 NEW BEST:: SOT 147416 SOS 59216 HAS SOPS 59216 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37903.216
AT ITER 3888 NEW BEST:: SOT 147277 SOS 59019 HAS SOPS 59019 HAS SOUS 37640 HAS SOUPS 37640 WITH SCORE 37699.019
AT ITER 3956 NEW BEST:: SOT 147261 SOS 58873 HAS SOPS 58873 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37630.873
AT ITER 3960 NEW BEST:: SOT 147241 SOS 58896 HAS SOPS 58896 HAS SOUS 37546 HAS SOUPS 37546 WITH SCORE 37604.896
AT ITER 3984 NEW BEST:: SOT 147241 SOS 58889 HAS SOPS 58889 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37583.889
AT ITER 3997 NEW BEST:: SOT 147241 SOS 58881 HAS SOPS 58881 HAS SOUS 37501 HAS SOUPS 37501 WITH SCORE 37559.881
AT ITER 4020 NEW BEST:: SOT 147234 SOS 58874 HAS SOPS 58874 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37557.874
AT ITER 4034 NEW BEST:: SOT 147146 SOS 59272 HAS SOPS 59272 HAS SOUS 37487 HAS SOUPS 37487 WITH SCORE 37546.272
AT ITER 4039 NEW BEST:: SOT 147114 SOS 59162 HAS SOPS 59162 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37502.162
AT ITER 4051 NEW BEST:: SOT 147104 SOS 59110 HAS SOPS 59110 HAS SOUS 37416 HAS SOUPS 37416 WITH SCORE 37475.11
AT ITER 4069 NEW BEST:: SOT 147092 SOS 59097 HAS SOPS 59097 HAS SOUS 37394 HAS SOUPS 37394 WITH SCORE 37453.097
AT ITER 4088 NEW BEST:: SOT 147032 SOS 59037 HAS SOPS 59037 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37338.037
AT ITER 4098 NEW BEST:: SOT 147061 SOS 58950 HAS SOPS 58950 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37337.95
AT ITER 4124 NEW BEST:: SOT 147075 SOS 58944 HAS SOPS 58944 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37331.944
AT ITER 4148 NEW BEST:: SOT 147006 SOS 58875 HAS SOPS 58875 HAS SOUS 37204 HAS SOUPS 37204 WITH SCORE 37262.875
AT ITER 4172 NEW BEST:: SOT 146916 SOS 58817 HAS SOPS 58817 HAS SOUS 37076 HAS SOUPS 37076 WITH SCORE 37134.817
AT ITER 4198 NEW BEST:: SOT 146893 SOS 58848 HAS SOPS 58848 HAS SOUS 37062 HAS SOUPS 37062 WITH SCORE 37120.848
AT ITER 4199 NEW BEST:: SOT 146888 SOS 58796 HAS SOPS 58796 HAS SOUS 37045 HAS SOUPS 37045 WITH SCORE 37103.796
AT ITER 4204 NEW BEST:: SOT 146860 SOS 58768 HAS SOPS 58768 HAS SOUS 37011 HAS SOUPS 37011 WITH SCORE 37069.768
AT ITER 4219 NEW BEST:: SOT 146873 SOS 58794 HAS SOPS 58794 HAS SOUS 36998 HAS SOUPS 36998 WITH SCORE 37056.794
AT ITER 4250 NEW BEST:: SOT 146842 SOS 58763 HAS SOPS 58763 HAS SOUS 36967 HAS SOUPS 36967 WITH SCORE 37025.763
AT ITER 4252 NEW BEST:: SOT 146840 SOS 58761 HAS SOPS 58761 HAS SOUS 36965 HAS SOUPS 36965 WITH SCORE 37023.761
AT ITER 4270 NEW BEST:: SOT 146789 SOS 58710 HAS SOPS 58710 HAS SOUS 36937 HAS SOUPS 36937 WITH SCORE 36995.71
AT ITER 4272 NEW BEST:: SOT 146738 SOS 58374 HAS SOPS 58374 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36845.374
AT ITER 4278 NEW BEST:: SOT 146656 SOS 58265 HAS SOPS 58265 HAS SOUS 36582 HAS SOUPS 36582 WITH SCORE 36640.265
AT ITER 4290 NEW BEST:: SOT 146656 SOS 58265 HAS SOPS 58265 HAS SOUS 36570 HAS SOUPS 36570 WITH SCORE 36628.265
AT ITER 4296 NEW BEST:: SOT 146646 SOS 58254 HAS SOPS 58254 HAS SOUS 36541 HAS SOUPS 36541 WITH SCORE 36599.254
AT ITER 4304 NEW BEST:: SOT 146622 SOS 58152 HAS SOPS 58152 HAS SOUS 36431 HAS SOUPS 36431 WITH SCORE 36489.152
AT ITER 4326 NEW BEST:: SOT 146629 SOS 58059 HAS SOPS 58059 HAS SOUS 36384 HAS SOUPS 36384 WITH SCORE 36442.059
AT ITER 4344 NEW BEST:: SOT 146629 SOS 57923 HAS SOPS 57923 HAS SOUS 36289 HAS SOUPS 36289 WITH SCORE 36346.923
AT ITER 4347 NEW BEST:: SOT 146629 SOS 57935 HAS SOPS 57935 HAS SOUS 36277 HAS SOUPS 36277 WITH SCORE 36334.935
AT ITER 4415 NEW BEST:: SOT 146634 SOS 57945 HAS SOPS 57945 HAS SOUS 36276 HAS SOUPS 36276 WITH SCORE 36333.945
AT ITER 4423 NEW BEST:: SOT 146564 SOS 57819 HAS SOPS 57819 HAS SOUS 36172 HAS SOUPS 36172 WITH SCORE 36229.819
AT ITER 4449 NEW BEST:: SOT 146559 SOS 57814 HAS SOPS 57814 HAS SOUS 36167 HAS SOUPS 36167 WITH SCORE 36224.814
AT ITER 4463 NEW BEST:: SOT 146584 SOS 57846 HAS SOPS 57846 HAS SOUS 36157 HAS SOUPS 36157 WITH SCORE 36214.846
AT ITER 4476 NEW BEST:: SOT 146551 SOS 57717 HAS SOPS 57717 HAS SOUS 36100 HAS SOUPS 36100 WITH SCORE 36157.717
AT ITER 4485 NEW BEST:: SOT 146527 SOS 57693 HAS SOPS 57693 HAS SOUS 36021 HAS SOUPS 36021 WITH SCORE 36078.693
AT ITER 4523 NEW BEST:: SOT 146559 SOS 57719 HAS SOPS 57719 HAS SOUS 36004 HAS SOUPS 36004 WITH SCORE 36061.719
AT ITER 4581 NEW BEST:: SOT 146543 SOS 57703 HAS SOPS 57703 HAS SOUS 35988 HAS SOUPS 35988 WITH SCORE 36045.703
AT ITER 4622 NEW BEST:: SOT 146543 SOS 57236 HAS SOPS 57236 HAS SOUS 35978 HAS SOUPS 35978 WITH SCORE 36035.236
AT ITER 4627 NEW BEST:: SOT 146519 SOS 57261 HAS SOPS 57261 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35996.261
AT ITER 4636 NEW BEST:: SOT 146467 SOS 57191 HAS SOPS 57191 HAS SOUS 35867 HAS SOUPS 35867 WITH SCORE 35924.191
AT ITER 4644 NEW BEST:: SOT 146416 SOS 57221 HAS SOPS 57221 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35909.221
AT ITER 4677 NEW BEST:: SOT 146448 SOS 57171 HAS SOPS 57171 HAS SOUS 35837 HAS SOUPS 35837 WITH SCORE 35894.171
AT ITER 4686 NEW BEST:: SOT 146387 SOS 57212 HAS SOPS 57212 HAS SOUS 35804 HAS SOUPS 35804 WITH SCORE 35861.212
AT ITER 4690 NEW BEST:: SOT 146387 SOS 57192 HAS SOPS 57192 HAS SOUS 35804 HAS SOUPS 35804 WITH SCORE 35861.192
AT ITER 4719 NEW BEST:: SOT 146328 SOS 57133 HAS SOPS 57133 HAS SOUS 35745 HAS SOUPS 35745 WITH SCORE 35802.133
AT ITER 4735 NEW BEST:: SOT 146328 SOS 57063 HAS SOPS 57063 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35786.063
AT ITER 4741 NEW BEST:: SOT 146326 SOS 57061 HAS SOPS 57061 HAS SOUS 35725 HAS SOUPS 35725 WITH SCORE 35782.061
AT ITER 4757 NEW BEST:: SOT 146323 SOS 57058 HAS SOPS 57058 HAS SOUS 35722 HAS SOUPS 35722 WITH SCORE 35779.058
AT ITER 4788 NEW BEST:: SOT 146285 SOS 57020 HAS SOPS 57020 HAS SOUS 35668 HAS SOUPS 35668 WITH SCORE 35725.02
AT ITER 4794 NEW BEST:: SOT 146268 SOS 57003 HAS SOPS 57003 HAS SOUS 35651 HAS SOUPS 35651 WITH SCORE 35708.003
AT ITER 4819 NEW BEST:: SOT 146273 SOS 56963 HAS SOPS 56963 HAS SOUS 35619 HAS SOUPS 35619 WITH SCORE 35675.963
AT ITER 4849 NEW BEST:: SOT 146207 SOS 56897 HAS SOPS 56897 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35609.897
AT ITER 4885 NEW BEST:: SOT 146192 SOS 56859 HAS SOPS 56859 HAS SOUS 35512 HAS SOUPS 35512 WITH SCORE 35568.859
AT ITER 4889 NEW BEST:: SOT 146185 SOS 56852 HAS SOPS 56852 HAS SOUS 35498 HAS SOUPS 35498 WITH SCORE 35554.852
AT ITER 4901 NEW BEST:: SOT 146081 SOS 56749 HAS SOPS 56749 HAS SOUS 35395 HAS SOUPS 35395 WITH SCORE 35451.749
AT ITER 4907 NEW BEST:: SOT 146066 SOS 56734 HAS SOPS 56734 HAS SOUS 35380 HAS SOUPS 35380 WITH SCORE 35436.734
AT ITER 4923 NEW BEST:: SOT 146066 SOS 56804 HAS SOPS 56804 HAS SOUS 35358 HAS SOUPS 35358 WITH SCORE 35414.804
AT ITER 4956 NEW BEST:: SOT 146075 SOS 56809 HAS SOPS 56809 HAS SOUS 35352 HAS SOUPS 35352 WITH SCORE 35408.809
AT ITER 4962 NEW BEST:: SOT 146041 SOS 56757 HAS SOPS 56757 HAS SOUS 35343 HAS SOUPS 35343 WITH SCORE 35399.757
AT ITER 4984 NEW BEST:: SOT 145993 SOS 56700 HAS SOPS 56700 HAS SOUS 35286 HAS SOUPS 35286 WITH SCORE 35342.7
AT ITER 4986 NEW BEST:: SOT 146014 SOS 56695 HAS SOPS 56695 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35333.695
AT ITER 4996 NEW BEST:: SOT 146093 SOS 56472 HAS SOPS 56472 HAS SOUS 35270 HAS SOUPS 35270 WITH SCORE 35326.472
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-030A-CTLFireability-00 (! (! (AG( ( ( ((potential((tk(P293)>=1) & (tk(P297)>=1) & (tk(P304)>=1)))) & ((potential((tk(P41)>=1) & (tk(P45)>=1) & (tk(P52)>=1)))) ) | (! ((potential((tk(P69)>=1) & (tk(P71)>=1) & (tk(P80)>=1))))) )))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-01 ( ( ( ( ( ( ((potential((tk(P240)>=1)))) & ((potential((tk(P382)>=1) & (tk(P397)>=1) & (tk(P409)>=1)))) ) & ( ((potential((tk(P295)>=1)))) | ((potential((tk(P116)>=1) & (tk(P131)>=1) & (tk(P143)>=1)))) ) ) & (! (! ((potential((tk(P46)>=1) & (tk(P63)>=1) & (tk(P72)>=1)))))) ) & ( ( ( ((potential((tk(P284)>=1) & (tk(P299)>=1) & (tk(P311)>=1)))) & ((potential((tk(P242)>=1) & (tk(P257)>=1) & (tk(P269)>=1)))) ) | ((potential((tk(P354)>=1) & (tk(P369)>=1) & (tk(P381)>=1)))) ) & ( ( ((potential((tk(P146)>=1)))) | ((potential((tk(P251)>=1) & (tk(P255)>=1) & (tk(P262)>=1)))) ) | ((potential((tk(P408)>=1)))) ) ) ) & (EU( ( ((potential((tk(P130)>=1) & (tk(P145)>=1) & (tk(P156)>=1)))) | ((potential((tk(P7)>=1) & (tk(P8)>=1) & (tk(P12)>=1)))) ) , ( ((potential((tk(P384)>=1) & (tk(P386)>=1) & (tk(P391)>=1)))) | ((potential((tk(P133)>=1) & (tk(P134)>=1) & (tk(P139)>=1)))) ) )) ) | (! (AF( ( ( ((potential((tk(P167)>=1) & (tk(P171)>=1) & (tk(P178)>=1)))) & ((potential((tk(P356)>=1)))) ) & ( ((potential((tk(P195)>=1) & (tk(P199)>=1) & (tk(P206)>=1)))) & ((potential((tk(P46)>=1) & (tk(P63)>=1) & (tk(P72)>=1)))) ) )))) )
PROPERTY: ShieldRVs-PT-030A-CTLFireability-02 (AU( ((potential((tk(P41)>=1) & (tk(P43)>=1) & (tk(P52)>=1)))) , ( (AF( ((potential((tk(P301)>=1) & (tk(P302)>=1) & (tk(P307)>=1)))))) | ( ( ((potential((tk(P244)>=1) & (tk(P246)>=1) & (tk(P251)>=1)))) & ((potential((tk(P228)>=1) & (tk(P245)>=1) & (tk(P255)>=1)))) ) & ((potential((tk(P51)>=1) & (tk(P56)>=1)))) ) ) ))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-03 (EF( (! (! ((potential((tk(P32)>=1) & (tk(P49)>=1) & (tk(P59)>=1))))))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-04 (AF( ( ((potential((tk(P74)>=1) & (tk(P91)>=1) & (tk(P101)>=1)))) | (EG( (! ((potential((tk(P237)>=1) & (tk(P239)>=1) & (tk(P248)>=1))))))) )))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-05 (AF( ((potential((tk(P104)>=1) & (tk(P106)>=1) & (tk(P111)>=1))))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-06 (AG( (AG( (! ((potential((tk(P91)>=1) & (tk(P92)>=1) & (tk(P97)>=1)))))))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-07 (AF( (EG( (EG( ((potential((tk(P292)>=1))))))))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-08 (EX( (EU( (! ((potential((tk(P197)>=1))))) , ((potential((tk(P123)>=1) & (tk(P129)>=1) & (tk(P136)>=1)))) ))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-09 ( (! ( ( ((potential((tk(P9)>=1) & (tk(P14)>=1)))) | (AF( ((potential((tk(P328)>=1)))))) ) & (! (! (! ((potential((tk(P217)>=1) & (tk(P218)>=1) & (tk(P222)>=1))))))) )) | (EF( ((potential((tk(P317)>=1) & (tk(P322)>=1)))))) )
PROPERTY: ShieldRVs-PT-030A-CTLFireability-10 ( ( (AX( ((potential((tk(P147)>=1) & (tk(P148)>=1) & (tk(P152)>=1)))))) | (EF( ((potential((tk(P340)>=1) & (tk(P355)>=1) & (tk(P366)>=1)))))) ) | ( (EX( (AX( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1)))))))) & ( (AX( (! ((potential((tk(P72)>=1))))))) | (AU( ((potential((tk(P188)>=1) & (tk(P190)>=1) & (tk(P195)>=1)))) , ((potential((tk(P11)>=1) & (tk(P15)>=1) & (tk(P24)>=1)))) )) ) ) )
PROPERTY: ShieldRVs-PT-030A-CTLFireability-11 (EF( ((potential((tk(P265)>=1) & (tk(P267)>=1) & (tk(P276)>=1))))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-12 ( ( (EG( (! ( ((potential((tk(P25)>=1) & (tk(P29)>=1) & (tk(P38)>=1)))) & ((potential((tk(P237)>=1) & (tk(P241)>=1) & (tk(P248)>=1)))) )))) & (AF( ((potential((tk(P30)>=1)))))) ) & (! ( ((potential((tk(P393)>=1)))) | ((potential((tk(P207)>=1)))) )) )
PROPERTY: ShieldRVs-PT-030A-CTLFireability-13 ( (AX( (EF( ( ((potential((tk(P116)>=1) & (tk(P133)>=1) & (tk(P143)>=1)))) & ((potential((tk(P341)>=1)))) ))))) | (EX( ( (AG( ((potential((tk(P251)>=1) & (tk(P253)>=1) & (tk(P262)>=1)))))) & ( ((potential((tk(P172)>=1) & (tk(P189)>=1) & (tk(P198)>=1)))) | ((potential((tk(P368)>=1) & (tk(P383)>=1) & (tk(P394)>=1)))) ) ))) )
PROPERTY: ShieldRVs-PT-030A-CTLFireability-14 (! (EF( ( ((potential((tk(P189)>=1) & (tk(P190)>=1) & (tk(P195)>=1)))) & (AX( ((potential((tk(P90)>=1) & (tk(P92)>=1) & (tk(P97)>=1)))))) ))))
PROPERTY: ShieldRVs-PT-030A-CTLFireability-15 (! (EG( ( (AF( ((potential((tk(P411)>=1)))))) & (! ((potential((tk(P391)>=1) & (tk(P393)>=1) & (tk(P402)>=1))))) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-030A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-030A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100860"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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