About the Execution of smart for ShieldPPPt-PT-030A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15772.460 | 3600000.00 | 3600010.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800684.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 ShieldPPPt-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-159033469800684
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.4K May 14 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:53 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 201K 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 ShieldPPPt-PT-030A-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-030A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590449597160
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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: 753 places, 543 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 336733 SOS 282189 HAS SOPS 282189 HAS SOUS 227632 HAS SOUPS 227632 WITH SCORE 227914.189
AT ITER 5 NEW BEST:: SOT 336137 SOS 281890 HAS SOPS 281890 HAS SOUS 227549 HAS SOUPS 227549 WITH SCORE 227830.89
AT ITER 6 NEW BEST:: SOT 336137 SOS 281188 HAS SOPS 281188 HAS SOUS 227540 HAS SOUPS 227540 WITH SCORE 227821.188
AT ITER 7 NEW BEST:: SOT 335827 SOS 280997 HAS SOPS 280997 HAS SOUS 227449 HAS SOUPS 227449 WITH SCORE 227729.997
AT ITER 8 NEW BEST:: SOT 335384 SOS 280595 HAS SOPS 280595 HAS SOUS 226775 HAS SOUPS 226775 WITH SCORE 227055.595
AT ITER 9 NEW BEST:: SOT 334938 SOS 279407 HAS SOPS 279407 HAS SOUS 225844 HAS SOUPS 225844 WITH SCORE 226123.407
AT ITER 11 NEW BEST:: SOT 334938 SOS 278721 HAS SOPS 278721 HAS SOUS 225844 HAS SOUPS 225844 WITH SCORE 226122.721
AT ITER 12 NEW BEST:: SOT 334678 SOS 278496 HAS SOPS 278496 HAS SOUS 225653 HAS SOUPS 225653 WITH SCORE 225931.496
AT ITER 13 NEW BEST:: SOT 334192 SOS 278008 HAS SOPS 278008 HAS SOUS 225165 HAS SOUPS 225165 WITH SCORE 225443.008
AT ITER 20 NEW BEST:: SOT 334192 SOS 277934 HAS SOPS 277934 HAS SOUS 225163 HAS SOUPS 225163 WITH SCORE 225440.934
AT ITER 22 NEW BEST:: SOT 333855 SOS 277562 HAS SOPS 277562 HAS SOUS 224755 HAS SOUPS 224755 WITH SCORE 225032.562
AT ITER 23 NEW BEST:: SOT 333855 SOS 277159 HAS SOPS 277159 HAS SOUS 224584 HAS SOUPS 224584 WITH SCORE 224861.159
AT ITER 24 NEW BEST:: SOT 333855 SOS 276438 HAS SOPS 276438 HAS SOUS 224582 HAS SOUPS 224582 WITH SCORE 224858.438
AT ITER 25 NEW BEST:: SOT 333506 SOS 276089 HAS SOPS 276089 HAS SOUS 224233 HAS SOUPS 224233 WITH SCORE 224509.089
AT ITER 28 NEW BEST:: SOT 333028 SOS 273952 HAS SOPS 273952 HAS SOUS 223015 HAS SOUPS 223015 WITH SCORE 223288.952
AT ITER 29 NEW BEST:: SOT 331774 SOS 272698 HAS SOPS 272698 HAS SOUS 221780 HAS SOUPS 221780 WITH SCORE 222052.698
AT ITER 40 NEW BEST:: SOT 331648 SOS 272572 HAS SOPS 272572 HAS SOUS 221654 HAS SOUPS 221654 WITH SCORE 221926.572
AT ITER 43 NEW BEST:: SOT 331314 SOS 272296 HAS SOPS 272296 HAS SOUS 221437 HAS SOUPS 221437 WITH SCORE 221709.296
AT ITER 44 NEW BEST:: SOT 331314 SOS 271765 HAS SOPS 271765 HAS SOUS 221430 HAS SOUPS 221430 WITH SCORE 221701.765
AT ITER 45 NEW BEST:: SOT 330577 SOS 271028 HAS SOPS 271028 HAS SOUS 220693 HAS SOUPS 220693 WITH SCORE 220964.028
AT ITER 48 NEW BEST:: SOT 330504 SOS 270955 HAS SOPS 270955 HAS SOUS 220691 HAS SOUPS 220691 WITH SCORE 220961.955
AT ITER 51 NEW BEST:: SOT 330450 SOS 270901 HAS SOPS 270901 HAS SOUS 220637 HAS SOUPS 220637 WITH SCORE 220907.901
AT ITER 55 NEW BEST:: SOT 330450 SOS 270357 HAS SOPS 270357 HAS SOUS 220634 HAS SOUPS 220634 WITH SCORE 220904.357
AT ITER 66 NEW BEST:: SOT 330307 SOS 270214 HAS SOPS 270214 HAS SOUS 220491 HAS SOUPS 220491 WITH SCORE 220761.214
AT ITER 67 NEW BEST:: SOT 330307 SOS 269019 HAS SOPS 269019 HAS SOUS 220488 HAS SOUPS 220488 WITH SCORE 220757.019
AT ITER 68 NEW BEST:: SOT 330063 SOS 268764 HAS SOPS 268764 HAS SOUS 220233 HAS SOUPS 220233 WITH SCORE 220501.764
AT ITER 73 NEW BEST:: SOT 329143 SOS 267083 HAS SOPS 267083 HAS SOUS 218937 HAS SOUPS 218937 WITH SCORE 219204.083
AT ITER 74 NEW BEST:: SOT 328976 SOS 266992 HAS SOPS 266992 HAS SOUS 218925 HAS SOUPS 218925 WITH SCORE 219191.992
AT ITER 76 NEW BEST:: SOT 328976 SOS 265892 HAS SOPS 265892 HAS SOUS 218917 HAS SOUPS 218917 WITH SCORE 219182.892
AT ITER 77 NEW BEST:: SOT 328763 SOS 265677 HAS SOPS 265677 HAS SOUS 218701 HAS SOUPS 218701 WITH SCORE 218966.677
AT ITER 80 NEW BEST:: SOT 328089 SOS 265003 HAS SOPS 265003 HAS SOUS 218239 HAS SOUPS 218239 WITH SCORE 218504.003
AT ITER 81 NEW BEST:: SOT 327503 SOS 264415 HAS SOPS 264415 HAS SOUS 217659 HAS SOUPS 217659 WITH SCORE 217923.415
AT ITER 82 NEW BEST:: SOT 326813 SOS 263495 HAS SOPS 263495 HAS SOUS 216509 HAS SOUPS 216509 WITH SCORE 216772.495
AT ITER 83 NEW BEST:: SOT 326567 SOS 263249 HAS SOPS 263249 HAS SOUS 216261 HAS SOUPS 216261 WITH SCORE 216524.249
AT ITER 86 NEW BEST:: SOT 326567 SOS 262973 HAS SOPS 262973 HAS SOUS 216242 HAS SOUPS 216242 WITH SCORE 216504.973
AT ITER 88 NEW BEST:: SOT 326360 SOS 262805 HAS SOPS 262805 HAS SOUS 216113 HAS SOUPS 216113 WITH SCORE 216375.805
AT ITER 89 NEW BEST:: SOT 326068 SOS 261522 HAS SOPS 261522 HAS SOUS 215261 HAS SOUPS 215261 WITH SCORE 215522.522
AT ITER 91 NEW BEST:: SOT 325852 SOS 261280 HAS SOPS 261280 HAS SOUS 214932 HAS SOUPS 214932 WITH SCORE 215193.28
AT ITER 92 NEW BEST:: SOT 325848 SOS 261276 HAS SOPS 261276 HAS SOUS 214919 HAS SOUPS 214919 WITH SCORE 215180.276
AT ITER 93 NEW BEST:: SOT 325457 SOS 259423 HAS SOPS 259423 HAS SOUS 214011 HAS SOUPS 214011 WITH SCORE 214270.423
AT ITER 95 NEW BEST:: SOT 325457 SOS 258517 HAS SOPS 258517 HAS SOUS 214002 HAS SOUPS 214002 WITH SCORE 214260.517
AT ITER 97 NEW BEST:: SOT 325079 SOS 258139 HAS SOPS 258139 HAS SOUS 213756 HAS SOUPS 213756 WITH SCORE 214014.139
AT ITER 98 NEW BEST:: SOT 324673 SOS 257733 HAS SOPS 257733 HAS SOUS 213348 HAS SOUPS 213348 WITH SCORE 213605.733
AT ITER 100 NEW BEST:: SOT 324664 SOS 257724 HAS SOPS 257724 HAS SOUS 213339 HAS SOUPS 213339 WITH SCORE 213596.724
AT ITER 103 NEW BEST:: SOT 324507 SOS 257565 HAS SOPS 257565 HAS SOUS 213180 HAS SOUPS 213180 WITH SCORE 213437.565
AT ITER 105 NEW BEST:: SOT 323823 SOS 256881 HAS SOPS 256881 HAS SOUS 212587 HAS SOUPS 212587 WITH SCORE 212843.881
AT ITER 112 NEW BEST:: SOT 323523 SOS 256581 HAS SOPS 256581 HAS SOUS 212187 HAS SOUPS 212187 WITH SCORE 212443.581
AT ITER 114 NEW BEST:: SOT 323399 SOS 256457 HAS SOPS 256457 HAS SOUS 212063 HAS SOUPS 212063 WITH SCORE 212319.457
AT ITER 115 NEW BEST:: SOT 323094 SOS 256152 HAS SOPS 256152 HAS SOUS 211756 HAS SOUPS 211756 WITH SCORE 212012.152
AT ITER 118 NEW BEST:: SOT 322836 SOS 255892 HAS SOPS 255892 HAS SOUS 211495 HAS SOUPS 211495 WITH SCORE 211750.892
AT ITER 121 NEW BEST:: SOT 322764 SOS 255818 HAS SOPS 255818 HAS SOUS 211421 HAS SOUPS 211421 WITH SCORE 211676.818
AT ITER 122 NEW BEST:: SOT 321685 SOS 253220 HAS SOPS 253220 HAS SOUS 209715 HAS SOUPS 209715 WITH SCORE 209968.22
AT ITER 123 NEW BEST:: SOT 321648 SOS 252982 HAS SOPS 252982 HAS SOUS 209486 HAS SOUPS 209486 WITH SCORE 209738.982
AT ITER 127 NEW BEST:: SOT 321153 SOS 252203 HAS SOPS 252203 HAS SOUS 208813 HAS SOUPS 208813 WITH SCORE 209065.203
AT ITER 129 NEW BEST:: SOT 321276 SOS 251162 HAS SOPS 251162 HAS SOUS 208805 HAS SOUPS 208805 WITH SCORE 209056.162
AT ITER 130 NEW BEST:: SOT 320819 SOS 250705 HAS SOPS 250705 HAS SOUS 208378 HAS SOUPS 208378 WITH SCORE 208628.705
AT ITER 131 NEW BEST:: SOT 320819 SOS 250059 HAS SOPS 250059 HAS SOUS 208336 HAS SOUPS 208336 WITH SCORE 208586.059
AT ITER 135 NEW BEST:: SOT 320761 SOS 249999 HAS SOPS 249999 HAS SOUS 208276 HAS SOUPS 208276 WITH SCORE 208525.999
AT ITER 139 NEW BEST:: SOT 320578 SOS 249549 HAS SOPS 249549 HAS SOUS 208049 HAS SOUPS 208049 WITH SCORE 208298.549
AT ITER 145 NEW BEST:: SOT 319684 SOS 248655 HAS SOPS 248655 HAS SOUS 207300 HAS SOUPS 207300 WITH SCORE 207548.655
AT ITER 146 NEW BEST:: SOT 319684 SOS 248655 HAS SOPS 248655 HAS SOUS 207299 HAS SOUPS 207299 WITH SCORE 207547.655
AT ITER 148 NEW BEST:: SOT 318780 SOS 247069 HAS SOPS 247069 HAS SOUS 205953 HAS SOUPS 205953 WITH SCORE 206200.069
AT ITER 154 NEW BEST:: SOT 318780 SOS 246436 HAS SOPS 246436 HAS SOUS 205830 HAS SOUPS 205830 WITH SCORE 206076.436
AT ITER 155 NEW BEST:: SOT 318616 SOS 246192 HAS SOPS 246192 HAS SOUS 205585 HAS SOUPS 205585 WITH SCORE 205831.192
AT ITER 158 NEW BEST:: SOT 318616 SOS 245479 HAS SOPS 245479 HAS SOUS 205560 HAS SOUPS 205560 WITH SCORE 205805.479
AT ITER 159 NEW BEST:: SOT 318333 SOS 245196 HAS SOPS 245196 HAS SOUS 205400 HAS SOUPS 205400 WITH SCORE 205645.196
AT ITER 160 NEW BEST:: SOT 317280 SOS 244143 HAS SOPS 244143 HAS SOUS 204199 HAS SOUPS 204199 WITH SCORE 204443.143
AT ITER 161 NEW BEST:: SOT 316983 SOS 243846 HAS SOPS 243846 HAS SOUS 203986 HAS SOUPS 203986 WITH SCORE 204229.846
AT ITER 163 NEW BEST:: SOT 316821 SOS 243754 HAS SOPS 243754 HAS SOUS 203968 HAS SOUPS 203968 WITH SCORE 204211.754
AT ITER 164 NEW BEST:: SOT 316521 SOS 243452 HAS SOPS 243452 HAS SOUS 203729 HAS SOUPS 203729 WITH SCORE 203972.452
AT ITER 167 NEW BEST:: SOT 316146 SOS 241559 HAS SOPS 241559 HAS SOUS 202840 HAS SOUPS 202840 WITH SCORE 203081.559
AT ITER 171 NEW BEST:: SOT 315370 SOS 240763 HAS SOPS 240763 HAS SOUS 202044 HAS SOUPS 202044 WITH SCORE 202284.763
AT ITER 174 NEW BEST:: SOT 315370 SOS 240339 HAS SOPS 240339 HAS SOUS 202044 HAS SOUPS 202044 WITH SCORE 202284.339
AT ITER 175 NEW BEST:: SOT 315253 SOS 240222 HAS SOPS 240222 HAS SOUS 201927 HAS SOUPS 201927 WITH SCORE 202167.222
AT ITER 176 NEW BEST:: SOT 315253 SOS 239134 HAS SOPS 239134 HAS SOUS 201704 HAS SOUPS 201704 WITH SCORE 201943.134
AT ITER 182 NEW BEST:: SOT 315252 SOS 239131 HAS SOPS 239131 HAS SOUS 201701 HAS SOUPS 201701 WITH SCORE 201940.131
AT ITER 183 NEW BEST:: SOT 314475 SOS 237550 HAS SOPS 237550 HAS SOUS 200428 HAS SOUPS 200428 WITH SCORE 200665.55
AT ITER 188 NEW BEST:: SOT 313562 SOS 236638 HAS SOPS 236638 HAS SOUS 199182 HAS SOUPS 199182 WITH SCORE 199418.638
AT ITER 189 NEW BEST:: SOT 313390 SOS 236466 HAS SOPS 236466 HAS SOUS 199010 HAS SOUPS 199010 WITH SCORE 199246.466
AT ITER 198 NEW BEST:: SOT 312840 SOS 235916 HAS SOPS 235916 HAS SOUS 198186 HAS SOUPS 198186 WITH SCORE 198421.916
AT ITER 202 NEW BEST:: SOT 312684 SOS 235760 HAS SOPS 235760 HAS SOUS 198030 HAS SOUPS 198030 WITH SCORE 198265.76
AT ITER 203 NEW BEST:: SOT 312684 SOS 235472 HAS SOPS 235472 HAS SOUS 198021 HAS SOUPS 198021 WITH SCORE 198256.472
AT ITER 204 NEW BEST:: SOT 312290 SOS 235078 HAS SOPS 235078 HAS SOUS 197727 HAS SOUPS 197727 WITH SCORE 197962.078
AT ITER 206 NEW BEST:: SOT 311988 SOS 234864 HAS SOPS 234864 HAS SOUS 197592 HAS SOUPS 197592 WITH SCORE 197826.864
AT ITER 211 NEW BEST:: SOT 310940 SOS 233277 HAS SOPS 233277 HAS SOUS 196005 HAS SOUPS 196005 WITH SCORE 196238.277
AT ITER 212 NEW BEST:: SOT 310641 SOS 233227 HAS SOPS 233227 HAS SOUS 195551 HAS SOUPS 195551 WITH SCORE 195784.227
AT ITER 215 NEW BEST:: SOT 310511 SOS 233097 HAS SOPS 233097 HAS SOUS 195421 HAS SOUPS 195421 WITH SCORE 195654.097
AT ITER 217 NEW BEST:: SOT 310155 SOS 232741 HAS SOPS 232741 HAS SOUS 195065 HAS SOUPS 195065 WITH SCORE 195297.741
AT ITER 219 NEW BEST:: SOT 310117 SOS 232732 HAS SOPS 232732 HAS SOUS 195047 HAS SOUPS 195047 WITH SCORE 195279.732
AT ITER 220 NEW BEST:: SOT 309894 SOS 232106 HAS SOPS 232106 HAS SOUS 194629 HAS SOUPS 194629 WITH SCORE 194861.106
AT ITER 221 NEW BEST:: SOT 309916 SOS 232088 HAS SOPS 232088 HAS SOUS 194611 HAS SOUPS 194611 WITH SCORE 194843.088
AT ITER 222 NEW BEST:: SOT 309482 SOS 231599 HAS SOPS 231599 HAS SOUS 193948 HAS SOUPS 193948 WITH SCORE 194179.599
AT ITER 227 NEW BEST:: SOT 308837 SOS 230954 HAS SOPS 230954 HAS SOUS 193301 HAS SOUPS 193301 WITH SCORE 193531.954
AT ITER 229 NEW BEST:: SOT 308776 SOS 230797 HAS SOPS 230797 HAS SOUS 193144 HAS SOUPS 193144 WITH SCORE 193374.797
AT ITER 231 NEW BEST:: SOT 308267 SOS 230288 HAS SOPS 230288 HAS SOUS 192844 HAS SOUPS 192844 WITH SCORE 193074.288
AT ITER 237 NEW BEST:: SOT 308267 SOS 229769 HAS SOPS 229769 HAS SOUS 192682 HAS SOUPS 192682 WITH SCORE 192911.769
AT ITER 239 NEW BEST:: SOT 308267 SOS 229769 HAS SOPS 229769 HAS SOUS 192558 HAS SOUPS 192558 WITH SCORE 192787.769
AT ITER 241 NEW BEST:: SOT 308267 SOS 229474 HAS SOPS 229474 HAS SOUS 192488 HAS SOUPS 192488 WITH SCORE 192717.474
AT ITER 243 NEW BEST:: SOT 308267 SOS 229266 HAS SOPS 229266 HAS SOUS 192384 HAS SOUPS 192384 WITH SCORE 192613.266
AT ITER 247 NEW BEST:: SOT 308267 SOS 228974 HAS SOPS 228974 HAS SOUS 192376 HAS SOUPS 192376 WITH SCORE 192604.974
AT ITER 248 NEW BEST:: SOT 308107 SOS 228745 HAS SOPS 228745 HAS SOUS 192146 HAS SOUPS 192146 WITH SCORE 192374.745
AT ITER 249 NEW BEST:: SOT 308026 SOS 228340 HAS SOPS 228340 HAS SOUS 191984 HAS SOUPS 191984 WITH SCORE 192212.34
AT ITER 251 NEW BEST:: SOT 307819 SOS 228133 HAS SOPS 228133 HAS SOUS 191646 HAS SOUPS 191646 WITH SCORE 191874.133
AT ITER 253 NEW BEST:: SOT 307601 SOS 227915 HAS SOPS 227915 HAS SOUS 191407 HAS SOUPS 191407 WITH SCORE 191634.915
AT ITER 254 NEW BEST:: SOT 307334 SOS 227646 HAS SOPS 227646 HAS SOUS 191138 HAS SOUPS 191138 WITH SCORE 191365.646
AT ITER 255 NEW BEST:: SOT 307110 SOS 227134 HAS SOPS 227134 HAS SOUS 190606 HAS SOUPS 190606 WITH SCORE 190833.134
AT ITER 258 NEW BEST:: SOT 307027 SOS 227005 HAS SOPS 227005 HAS SOUS 190546 HAS SOUPS 190546 WITH SCORE 190773.005
AT ITER 259 NEW BEST:: SOT 306734 SOS 226632 HAS SOPS 226632 HAS SOUS 190173 HAS SOUPS 190173 WITH SCORE 190399.632
AT ITER 262 NEW BEST:: SOT 306680 SOS 226555 HAS SOPS 226555 HAS SOUS 190072 HAS SOUPS 190072 WITH SCORE 190298.555
AT ITER 268 NEW BEST:: SOT 306114 SOS 224856 HAS SOPS 224856 HAS SOUS 189175 HAS SOUPS 189175 WITH SCORE 189399.856
AT ITER 269 NEW BEST:: SOT 306117 SOS 224791 HAS SOPS 224791 HAS SOUS 189041 HAS SOUPS 189041 WITH SCORE 189265.791
AT ITER 277 NEW BEST:: SOT 306012 SOS 224686 HAS SOPS 224686 HAS SOUS 188936 HAS SOUPS 188936 WITH SCORE 189160.686
AT ITER 280 NEW BEST:: SOT 305831 SOS 224505 HAS SOPS 224505 HAS SOUS 188751 HAS SOUPS 188751 WITH SCORE 188975.505
AT ITER 281 NEW BEST:: SOT 305635 SOS 224309 HAS SOPS 224309 HAS SOUS 188555 HAS SOUPS 188555 WITH SCORE 188779.309
AT ITER 282 NEW BEST:: SOT 305529 SOS 224150 HAS SOPS 224150 HAS SOUS 188396 HAS SOUPS 188396 WITH SCORE 188620.15
AT ITER 284 NEW BEST:: SOT 305361 SOS 223980 HAS SOPS 223980 HAS SOUS 188226 HAS SOUPS 188226 WITH SCORE 188449.98
AT ITER 286 NEW BEST:: SOT 305361 SOS 223892 HAS SOPS 223892 HAS SOUS 188137 HAS SOUPS 188137 WITH SCORE 188360.892
AT ITER 288 NEW BEST:: SOT 304399 SOS 222962 HAS SOPS 222962 HAS SOUS 187231 HAS SOUPS 187231 WITH SCORE 187453.962
AT ITER 291 NEW BEST:: SOT 304399 SOS 222896 HAS SOPS 222896 HAS SOUS 187231 HAS SOUPS 187231 WITH SCORE 187453.896
AT ITER 293 NEW BEST:: SOT 304047 SOS 222584 HAS SOPS 222584 HAS SOUS 186958 HAS SOUPS 186958 WITH SCORE 187180.584
AT ITER 297 NEW BEST:: SOT 303983 SOS 221947 HAS SOPS 221947 HAS SOUS 186723 HAS SOUPS 186723 WITH SCORE 186944.947
AT ITER 298 NEW BEST:: SOT 303226 SOS 220458 HAS SOPS 220458 HAS SOUS 185510 HAS SOUPS 185510 WITH SCORE 185730.458
AT ITER 299 NEW BEST:: SOT 302311 SOS 219543 HAS SOPS 219543 HAS SOUS 184595 HAS SOUPS 184595 WITH SCORE 184814.543
AT ITER 300 NEW BEST:: SOT 302222 SOS 219454 HAS SOPS 219454 HAS SOUS 184506 HAS SOUPS 184506 WITH SCORE 184725.454
AT ITER 303 NEW BEST:: SOT 302076 SOS 218660 HAS SOPS 218660 HAS SOUS 184234 HAS SOUPS 184234 WITH SCORE 184452.66
AT ITER 304 NEW BEST:: SOT 302076 SOS 218081 HAS SOPS 218081 HAS SOUS 184234 HAS SOUPS 184234 WITH SCORE 184452.081
AT ITER 306 NEW BEST:: SOT 301213 SOS 217218 HAS SOPS 217218 HAS SOUS 183422 HAS SOUPS 183422 WITH SCORE 183639.218
AT ITER 308 NEW BEST:: SOT 300975 SOS 216980 HAS SOPS 216980 HAS SOUS 183258 HAS SOUPS 183258 WITH SCORE 183474.98
AT ITER 309 NEW BEST:: SOT 300799 SOS 215599 HAS SOPS 215599 HAS SOUS 182762 HAS SOUPS 182762 WITH SCORE 182977.599
AT ITER 316 NEW BEST:: SOT 300549 SOS 215349 HAS SOPS 215349 HAS SOUS 182510 HAS SOUPS 182510 WITH SCORE 182725.349
AT ITER 324 NEW BEST:: SOT 300549 SOS 215283 HAS SOPS 215283 HAS SOUS 182510 HAS SOUPS 182510 WITH SCORE 182725.283
AT ITER 328 NEW BEST:: SOT 300488 SOS 215221 HAS SOPS 215221 HAS SOUS 182448 HAS SOUPS 182448 WITH SCORE 182663.221
AT ITER 329 NEW BEST:: SOT 300172 SOS 213761 HAS SOPS 213761 HAS SOUS 181372 HAS SOUPS 181372 WITH SCORE 181585.761
AT ITER 331 NEW BEST:: SOT 300129 SOS 213718 HAS SOPS 213718 HAS SOUS 181329 HAS SOUPS 181329 WITH SCORE 181542.718
AT ITER 335 NEW BEST:: SOT 299826 SOS 213255 HAS SOPS 213255 HAS SOUS 180865 HAS SOUPS 180865 WITH SCORE 181078.255
AT ITER 336 NEW BEST:: SOT 299870 SOS 213299 HAS SOPS 213299 HAS SOUS 180809 HAS SOUPS 180809 WITH SCORE 181022.299
AT ITER 338 NEW BEST:: SOT 299578 SOS 213007 HAS SOPS 213007 HAS SOUS 180517 HAS SOUPS 180517 WITH SCORE 180730.007
AT ITER 343 NEW BEST:: SOT 299061 SOS 212488 HAS SOPS 212488 HAS SOUS 179998 HAS SOUPS 179998 WITH SCORE 180210.488
AT ITER 345 NEW BEST:: SOT 298820 SOS 212245 HAS SOPS 212245 HAS SOUS 179853 HAS SOUPS 179853 WITH SCORE 180065.245
AT ITER 346 NEW BEST:: SOT 298276 SOS 211670 HAS SOPS 211670 HAS SOUS 179357 HAS SOUPS 179357 WITH SCORE 179568.67
AT ITER 347 NEW BEST:: SOT 298276 SOS 211553 HAS SOPS 211553 HAS SOUS 179354 HAS SOUPS 179354 WITH SCORE 179565.553
AT ITER 350 NEW BEST:: SOT 297598 SOS 210911 HAS SOPS 210911 HAS SOUS 178749 HAS SOUPS 178749 WITH SCORE 178959.911
AT ITER 356 NEW BEST:: SOT 296686 SOS 209873 HAS SOPS 209873 HAS SOUS 177695 HAS SOUPS 177695 WITH SCORE 177904.873
AT ITER 358 NEW BEST:: SOT 296686 SOS 209782 HAS SOPS 209782 HAS SOUS 177695 HAS SOUPS 177695 WITH SCORE 177904.782
AT ITER 366 NEW BEST:: SOT 296686 SOS 209616 HAS SOPS 209616 HAS SOUS 177657 HAS SOUPS 177657 WITH SCORE 177866.616
AT ITER 367 NEW BEST:: SOT 296398 SOS 209328 HAS SOPS 209328 HAS SOUS 177641 HAS SOUPS 177641 WITH SCORE 177850.328
AT ITER 370 NEW BEST:: SOT 296199 SOS 209203 HAS SOPS 209203 HAS SOUS 177515 HAS SOUPS 177515 WITH SCORE 177724.203
AT ITER 371 NEW BEST:: SOT 296124 SOS 209053 HAS SOPS 209053 HAS SOUS 177365 HAS SOUPS 177365 WITH SCORE 177574.053
AT ITER 373 NEW BEST:: SOT 296214 SOS 209223 HAS SOPS 209223 HAS SOUS 177187 HAS SOUPS 177187 WITH SCORE 177396.223
AT ITER 381 NEW BEST:: SOT 296214 SOS 208897 HAS SOPS 208897 HAS SOUS 177187 HAS SOUPS 177187 WITH SCORE 177395.897
AT ITER 382 NEW BEST:: SOT 296051 SOS 208734 HAS SOPS 208734 HAS SOUS 177024 HAS SOUPS 177024 WITH SCORE 177232.734
AT ITER 385 NEW BEST:: SOT 295640 SOS 208323 HAS SOPS 208323 HAS SOUS 176662 HAS SOUPS 176662 WITH SCORE 176870.323
AT ITER 391 NEW BEST:: SOT 295612 SOS 208295 HAS SOPS 208295 HAS SOUS 176634 HAS SOUPS 176634 WITH SCORE 176842.295
AT ITER 394 NEW BEST:: SOT 295426 SOS 207534 HAS SOPS 207534 HAS SOUS 176182 HAS SOUPS 176182 WITH SCORE 176389.534
AT ITER 395 NEW BEST:: SOT 295391 SOS 207499 HAS SOPS 207499 HAS SOUS 176147 HAS SOUPS 176147 WITH SCORE 176354.499
AT ITER 400 NEW BEST:: SOT 295391 SOS 207110 HAS SOPS 207110 HAS SOUS 176063 HAS SOUPS 176063 WITH SCORE 176270.11
AT ITER 406 NEW BEST:: SOT 294736 SOS 206091 HAS SOPS 206091 HAS SOUS 175153 HAS SOUPS 175153 WITH SCORE 175359.091
AT ITER 408 NEW BEST:: SOT 294444 SOS 205799 HAS SOPS 205799 HAS SOUS 174859 HAS SOUPS 174859 WITH SCORE 175064.799
AT ITER 409 NEW BEST:: SOT 294600 SOS 205354 HAS SOPS 205354 HAS SOUS 174850 HAS SOUPS 174850 WITH SCORE 175055.354
AT ITER 414 NEW BEST:: SOT 294554 SOS 204499 HAS SOPS 204499 HAS SOUS 174154 HAS SOUPS 174154 WITH SCORE 174358.499
AT ITER 416 NEW BEST:: SOT 294554 SOS 204555 HAS SOPS 204555 HAS SOUS 174151 HAS SOUPS 174151 WITH SCORE 174355.555
AT ITER 417 NEW BEST:: SOT 294069 SOS 203374 HAS SOPS 203374 HAS SOUS 173019 HAS SOUPS 173019 WITH SCORE 173222.374
AT ITER 419 NEW BEST:: SOT 294069 SOS 203431 HAS SOPS 203431 HAS SOUS 173016 HAS SOUPS 173016 WITH SCORE 173219.431
AT ITER 421 NEW BEST:: SOT 294024 SOS 203360 HAS SOPS 203360 HAS SOUS 172906 HAS SOUPS 172906 WITH SCORE 173109.36
AT ITER 423 NEW BEST:: SOT 293900 SOS 203236 HAS SOPS 203236 HAS SOUS 172782 HAS SOUPS 172782 WITH SCORE 172985.236
AT ITER 425 NEW BEST:: SOT 293884 SOS 203156 HAS SOPS 203156 HAS SOUS 172750 HAS SOUPS 172750 WITH SCORE 172953.156
AT ITER 426 NEW BEST:: SOT 293825 SOS 203132 HAS SOPS 203132 HAS SOUS 172726 HAS SOUPS 172726 WITH SCORE 172929.132
AT ITER 428 NEW BEST:: SOT 293724 SOS 203031 HAS SOPS 203031 HAS SOUS 172623 HAS SOUPS 172623 WITH SCORE 172826.031
AT ITER 429 NEW BEST:: SOT 293174 SOS 202249 HAS SOPS 202249 HAS SOUS 171921 HAS SOUPS 171921 WITH SCORE 172123.249
AT ITER 432 NEW BEST:: SOT 293037 SOS 201839 HAS SOPS 201839 HAS SOUS 171698 HAS SOUPS 171698 WITH SCORE 171899.839
AT ITER 439 NEW BEST:: SOT 292617 SOS 200861 HAS SOPS 200861 HAS SOUS 171151 HAS SOUPS 171151 WITH SCORE 171351.861
AT ITER 446 NEW BEST:: SOT 292609 SOS 200814 HAS SOPS 200814 HAS SOUS 171135 HAS SOUPS 171135 WITH SCORE 171335.814
AT ITER 448 NEW BEST:: SOT 292349 SOS 199821 HAS SOPS 199821 HAS SOUS 170158 HAS SOUPS 170158 WITH SCORE 170357.821
AT ITER 450 NEW BEST:: SOT 292349 SOS 199809 HAS SOPS 199809 HAS SOUS 170146 HAS SOUPS 170146 WITH SCORE 170345.809
AT ITER 454 NEW BEST:: SOT 291955 SOS 199483 HAS SOPS 199483 HAS SOUS 169820 HAS SOUPS 169820 WITH SCORE 170019.483
AT ITER 460 NEW BEST:: SOT 291796 SOS 199324 HAS SOPS 199324 HAS SOUS 169661 HAS SOUPS 169661 WITH SCORE 169860.324
AT ITER 463 NEW BEST:: SOT 291594 SOS 198787 HAS SOPS 198787 HAS SOUS 169312 HAS SOUPS 169312 WITH SCORE 169510.787
AT ITER 464 NEW BEST:: SOT 291613 SOS 198542 HAS SOPS 198542 HAS SOUS 169306 HAS SOUPS 169306 WITH SCORE 169504.542
AT ITER 465 NEW BEST:: SOT 291604 SOS 198362 HAS SOPS 198362 HAS SOUS 169174 HAS SOUPS 169174 WITH SCORE 169372.362
AT ITER 467 NEW BEST:: SOT 291604 SOS 198176 HAS SOPS 198176 HAS SOUS 169174 HAS SOUPS 169174 WITH SCORE 169372.176
AT ITER 484 NEW BEST:: SOT 291446 SOS 197778 HAS SOPS 197778 HAS SOUS 168805 HAS SOUPS 168805 WITH SCORE 169002.778
AT ITER 485 NEW BEST:: SOT 291326 SOS 197610 HAS SOPS 197610 HAS SOUS 168685 HAS SOUPS 168685 WITH SCORE 168882.61
AT ITER 487 NEW BEST:: SOT 291216 SOS 197500 HAS SOPS 197500 HAS SOUS 168575 HAS SOUPS 168575 WITH SCORE 168772.5
AT ITER 491 NEW BEST:: SOT 290844 SOS 196840 HAS SOPS 196840 HAS SOUS 168057 HAS SOUPS 168057 WITH SCORE 168253.84
AT ITER 492 NEW BEST:: SOT 290579 SOS 196575 HAS SOPS 196575 HAS SOUS 167792 HAS SOUPS 167792 WITH SCORE 167988.575
AT ITER 494 NEW BEST:: SOT 290579 SOS 196496 HAS SOPS 196496 HAS SOUS 167792 HAS SOUPS 167792 WITH SCORE 167988.496
AT ITER 504 NEW BEST:: SOT 290355 SOS 196272 HAS SOPS 196272 HAS SOUS 167567 HAS SOUPS 167567 WITH SCORE 167763.272
AT ITER 507 NEW BEST:: SOT 290049 SOS 195623 HAS SOPS 195623 HAS SOUS 166918 HAS SOUPS 166918 WITH SCORE 167113.623
AT ITER 510 NEW BEST:: SOT 290019 SOS 195565 HAS SOPS 195565 HAS SOUS 166831 HAS SOUPS 166831 WITH SCORE 167026.565
AT ITER 513 NEW BEST:: SOT 289934 SOS 195225 HAS SOPS 195225 HAS SOUS 166661 HAS SOUPS 166661 WITH SCORE 166856.225
AT ITER 517 NEW BEST:: SOT 289786 SOS 194889 HAS SOPS 194889 HAS SOUS 166508 HAS SOUPS 166508 WITH SCORE 166702.889
AT ITER 518 NEW BEST:: SOT 289735 SOS 194838 HAS SOPS 194838 HAS SOUS 166457 HAS SOUPS 166457 WITH SCORE 166651.838
AT ITER 524 NEW BEST:: SOT 289792 SOS 194878 HAS SOPS 194878 HAS SOUS 166452 HAS SOUPS 166452 WITH SCORE 166646.878
AT ITER 530 NEW BEST:: SOT 289471 SOS 194555 HAS SOPS 194555 HAS SOUS 166129 HAS SOUPS 166129 WITH SCORE 166323.555
AT ITER 542 NEW BEST:: SOT 289585 SOS 194669 HAS SOPS 194669 HAS SOUS 166105 HAS SOUPS 166105 WITH SCORE 166299.669
AT ITER 543 NEW BEST:: SOT 289240 SOS 194324 HAS SOPS 194324 HAS SOUS 165478 HAS SOUPS 165478 WITH SCORE 165672.324
AT ITER 545 NEW BEST:: SOT 289005 SOS 193651 HAS SOPS 193651 HAS SOUS 165131 HAS SOUPS 165131 WITH SCORE 165324.651
AT ITER 546 NEW BEST:: SOT 288689 SOS 193335 HAS SOPS 193335 HAS SOUS 164815 HAS SOUPS 164815 WITH SCORE 165008.335
AT ITER 547 NEW BEST:: SOT 288532 SOS 193178 HAS SOPS 193178 HAS SOUS 164656 HAS SOUPS 164656 WITH SCORE 164849.178
AT ITER 548 NEW BEST:: SOT 288475 SOS 193121 HAS SOPS 193121 HAS SOUS 164599 HAS SOUPS 164599 WITH SCORE 164792.121
AT ITER 552 NEW BEST:: SOT 288469 SOS 193094 HAS SOPS 193094 HAS SOUS 164448 HAS SOUPS 164448 WITH SCORE 164641.094
AT ITER 555 NEW BEST:: SOT 288133 SOS 192758 HAS SOPS 192758 HAS SOUS 164002 HAS SOUPS 164002 WITH SCORE 164194.758
AT ITER 559 NEW BEST:: SOT 288104 SOS 192729 HAS SOPS 192729 HAS SOUS 164002 HAS SOUPS 164002 WITH SCORE 164194.729
AT ITER 561 NEW BEST:: SOT 287952 SOS 192606 HAS SOPS 192606 HAS SOUS 163879 HAS SOUPS 163879 WITH SCORE 164071.606
AT ITER 567 NEW BEST:: SOT 287467 SOS 192551 HAS SOPS 192551 HAS SOUS 163398 HAS SOUPS 163398 WITH SCORE 163590.551
AT ITER 577 NEW BEST:: SOT 287416 SOS 191673 HAS SOPS 191673 HAS SOUS 162992 HAS SOUPS 162992 WITH SCORE 163183.673
AT ITER 578 NEW BEST:: SOT 286963 SOS 191224 HAS SOPS 191224 HAS SOUS 162279 HAS SOUPS 162279 WITH SCORE 162470.224
AT ITER 579 NEW BEST:: SOT 286884 SOS 191117 HAS SOPS 191117 HAS SOUS 162251 HAS SOUPS 162251 WITH SCORE 162442.117
AT ITER 585 NEW BEST:: SOT 286509 SOS 190903 HAS SOPS 190903 HAS SOUS 161747 HAS SOUPS 161747 WITH SCORE 161937.903
AT ITER 587 NEW BEST:: SOT 286509 SOS 190903 HAS SOPS 190903 HAS SOUS 161667 HAS SOUPS 161667 WITH SCORE 161857.903
AT ITER 589 NEW BEST:: SOT 286509 SOS 190902 HAS SOPS 190902 HAS SOUS 161666 HAS SOUPS 161666 WITH SCORE 161856.902
AT ITER 592 NEW BEST:: SOT 286365 SOS 190524 HAS SOPS 190524 HAS SOUS 161288 HAS SOUPS 161288 WITH SCORE 161478.524
AT ITER 593 NEW BEST:: SOT 286365 SOS 189768 HAS SOPS 189768 HAS SOUS 161094 HAS SOUPS 161094 WITH SCORE 161283.768
AT ITER 607 NEW BEST:: SOT 286342 SOS 189745 HAS SOPS 189745 HAS SOUS 161048 HAS SOUPS 161048 WITH SCORE 161237.745
AT ITER 614 NEW BEST:: SOT 286128 SOS 189531 HAS SOPS 189531 HAS SOUS 160834 HAS SOUPS 160834 WITH SCORE 161023.531
AT ITER 615 NEW BEST:: SOT 286021 SOS 189424 HAS SOPS 189424 HAS SOUS 160517 HAS SOUPS 160517 WITH SCORE 160706.424
AT ITER 621 NEW BEST:: SOT 285853 SOS 189256 HAS SOPS 189256 HAS SOUS 160403 HAS SOUPS 160403 WITH SCORE 160592.256
AT ITER 624 NEW BEST:: SOT 285730 SOS 189133 HAS SOPS 189133 HAS SOUS 160279 HAS SOUPS 160279 WITH SCORE 160468.133
AT ITER 625 NEW BEST:: SOT 285727 SOS 189130 HAS SOPS 189130 HAS SOUS 160276 HAS SOUPS 160276 WITH SCORE 160465.13
AT ITER 628 NEW BEST:: SOT 285688 SOS 189132 HAS SOPS 189132 HAS SOUS 160248 HAS SOUPS 160248 WITH SCORE 160437.132
AT ITER 629 NEW BEST:: SOT 285405 SOS 188143 HAS SOPS 188143 HAS SOUS 159714 HAS SOUPS 159714 WITH SCORE 159902.143
AT ITER 630 NEW BEST:: SOT 285405 SOS 188014 HAS SOPS 188014 HAS SOUS 159594 HAS SOUPS 159594 WITH SCORE 159782.014
AT ITER 632 NEW BEST:: SOT 285015 SOS 187624 HAS SOPS 187624 HAS SOUS 159096 HAS SOUPS 159096 WITH SCORE 159283.624
AT ITER 635 NEW BEST:: SOT 284924 SOS 187522 HAS SOPS 187522 HAS SOUS 158994 HAS SOUPS 158994 WITH SCORE 159181.522
AT ITER 636 NEW BEST:: SOT 284931 SOS 187499 HAS SOPS 187499 HAS SOUS 158971 HAS SOUPS 158971 WITH SCORE 159158.499
AT ITER 637 NEW BEST:: SOT 284538 SOS 187106 HAS SOPS 187106 HAS SOUS 158593 HAS SOUPS 158593 WITH SCORE 158780.106
AT ITER 639 NEW BEST:: SOT 284538 SOS 186913 HAS SOPS 186913 HAS SOUS 158546 HAS SOUPS 158546 WITH SCORE 158732.913
AT ITER 641 NEW BEST:: SOT 284538 SOS 186816 HAS SOPS 186816 HAS SOUS 158449 HAS SOUPS 158449 WITH SCORE 158635.816
AT ITER 648 NEW BEST:: SOT 283971 SOS 184913 HAS SOPS 184913 HAS SOUS 157088 HAS SOUPS 157088 WITH SCORE 157272.913
AT ITER 650 NEW BEST:: SOT 283971 SOS 184842 HAS SOPS 184842 HAS SOUS 157087 HAS SOUPS 157087 WITH SCORE 157271.842
AT ITER 651 NEW BEST:: SOT 283822 SOS 184693 HAS SOPS 184693 HAS SOUS 156783 HAS SOUPS 156783 WITH SCORE 156967.693
AT ITER 654 NEW BEST:: SOT 283816 SOS 184681 HAS SOPS 184681 HAS SOUS 156771 HAS SOUPS 156771 WITH SCORE 156955.681
AT ITER 657 NEW BEST:: SOT 283364 SOS 184062 HAS SOPS 184062 HAS SOUS 156221 HAS SOUPS 156221 WITH SCORE 156405.062
AT ITER 660 NEW BEST:: SOT 283364 SOS 184062 HAS SOPS 184062 HAS SOUS 156214 HAS SOUPS 156214 WITH SCORE 156398.062
AT ITER 661 NEW BEST:: SOT 283364 SOS 182933 HAS SOPS 182933 HAS SOUS 155385 HAS SOUPS 155385 WITH SCORE 155567.933
AT ITER 663 NEW BEST:: SOT 283178 SOS 182745 HAS SOPS 182745 HAS SOUS 155196 HAS SOUPS 155196 WITH SCORE 155378.745
AT ITER 677 NEW BEST:: SOT 283164 SOS 182731 HAS SOPS 182731 HAS SOUS 155182 HAS SOUPS 155182 WITH SCORE 155364.731
AT ITER 679 NEW BEST:: SOT 283104 SOS 182641 HAS SOPS 182641 HAS SOUS 155092 HAS SOUPS 155092 WITH SCORE 155274.641
AT ITER 681 NEW BEST:: SOT 283046 SOS 182231 HAS SOPS 182231 HAS SOUS 154682 HAS SOUPS 154682 WITH SCORE 154864.231
AT ITER 682 NEW BEST:: SOT 283029 SOS 182155 HAS SOPS 182155 HAS SOUS 154648 HAS SOUPS 154648 WITH SCORE 154830.155
AT ITER 690 NEW BEST:: SOT 283084 SOS 182223 HAS SOPS 182223 HAS SOUS 154491 HAS SOUPS 154491 WITH SCORE 154673.223
AT ITER 693 NEW BEST:: SOT 283153 SOS 181196 HAS SOPS 181196 HAS SOUS 153985 HAS SOUPS 153985 WITH SCORE 154166.196
AT ITER 694 NEW BEST:: SOT 282366 SOS 180022 HAS SOPS 180022 HAS SOUS 153198 HAS SOUPS 153198 WITH SCORE 153378.022
AT ITER 696 NEW BEST:: SOT 282009 SOS 179665 HAS SOPS 179665 HAS SOUS 153091 HAS SOUPS 153091 WITH SCORE 153270.665
AT ITER 699 NEW BEST:: SOT 281978 SOS 179632 HAS SOPS 179632 HAS SOUS 153058 HAS SOUPS 153058 WITH SCORE 153237.632
AT ITER 700 NEW BEST:: SOT 281887 SOS 179415 HAS SOPS 179415 HAS SOUS 152895 HAS SOUPS 152895 WITH SCORE 153074.415
AT ITER 703 NEW BEST:: SOT 281871 SOS 179399 HAS SOPS 179399 HAS SOUS 152877 HAS SOUPS 152877 WITH SCORE 153056.399
AT ITER 705 NEW BEST:: SOT 281545 SOS 178881 HAS SOPS 178881 HAS SOUS 152407 HAS SOUPS 152407 WITH SCORE 152585.881
AT ITER 714 NEW BEST:: SOT 281545 SOS 178879 HAS SOPS 178879 HAS SOUS 152245 HAS SOUPS 152245 WITH SCORE 152423.879
AT ITER 719 NEW BEST:: SOT 281499 SOS 178833 HAS SOPS 178833 HAS SOUS 152175 HAS SOUPS 152175 WITH SCORE 152353.833
AT ITER 726 NEW BEST:: SOT 281304 SOS 178531 HAS SOPS 178531 HAS SOUS 151872 HAS SOUPS 151872 WITH SCORE 152050.531
AT ITER 730 NEW BEST:: SOT 281067 SOS 178082 HAS SOPS 178082 HAS SOUS 151423 HAS SOUPS 151423 WITH SCORE 151601.082
AT ITER 733 NEW BEST:: SOT 281042 SOS 178057 HAS SOPS 178057 HAS SOUS 151398 HAS SOUPS 151398 WITH SCORE 151576.057
AT ITER 738 NEW BEST:: SOT 280747 SOS 177686 HAS SOPS 177686 HAS SOUS 151027 HAS SOUPS 151027 WITH SCORE 151204.686
AT ITER 740 NEW BEST:: SOT 280802 SOS 177517 HAS SOPS 177517 HAS SOUS 151026 HAS SOUPS 151026 WITH SCORE 151203.517
AT ITER 743 NEW BEST:: SOT 280499 SOS 177233 HAS SOPS 177233 HAS SOUS 150761 HAS SOUPS 150761 WITH SCORE 150938.233
AT ITER 744 NEW BEST:: SOT 280237 SOS 176840 HAS SOPS 176840 HAS SOUS 150489 HAS SOUPS 150489 WITH SCORE 150665.84
AT ITER 747 NEW BEST:: SOT 280182 SOS 176785 HAS SOPS 176785 HAS SOUS 150434 HAS SOUPS 150434 WITH SCORE 150610.785
AT ITER 748 NEW BEST:: SOT 279801 SOS 176402 HAS SOPS 176402 HAS SOUS 150054 HAS SOUPS 150054 WITH SCORE 150230.402
AT ITER 752 NEW BEST:: SOT 279691 SOS 176292 HAS SOPS 176292 HAS SOUS 149943 HAS SOUPS 149943 WITH SCORE 150119.292
AT ITER 757 NEW BEST:: SOT 279531 SOS 176132 HAS SOPS 176132 HAS SOUS 149623 HAS SOUPS 149623 WITH SCORE 149799.132
AT ITER 758 NEW BEST:: SOT 279396 SOS 175941 HAS SOPS 175941 HAS SOUS 149432 HAS SOUPS 149432 WITH SCORE 149607.941
AT ITER 760 NEW BEST:: SOT 279396 SOS 175649 HAS SOPS 175649 HAS SOUS 149140 HAS SOUPS 149140 WITH SCORE 149315.649
AT ITER 762 NEW BEST:: SOT 279371 SOS 175747 HAS SOPS 175747 HAS SOUS 149071 HAS SOUPS 149071 WITH SCORE 149246.747
AT ITER 766 NEW BEST:: SOT 279348 SOS 175724 HAS SOPS 175724 HAS SOUS 149048 HAS SOUPS 149048 WITH SCORE 149223.724
AT ITER 767 NEW BEST:: SOT 279348 SOS 175724 HAS SOPS 175724 HAS SOUS 148953 HAS SOUPS 148953 WITH SCORE 149128.724
AT ITER 768 NEW BEST:: SOT 279179 SOS 175445 HAS SOPS 175445 HAS SOUS 148730 HAS SOUPS 148730 WITH SCORE 148905.445
AT ITER 770 NEW BEST:: SOT 279175 SOS 175441 HAS SOPS 175441 HAS SOUS 148724 HAS SOUPS 148724 WITH SCORE 148899.441
AT ITER 774 NEW BEST:: SOT 278937 SOS 175203 HAS SOPS 175203 HAS SOUS 148486 HAS SOUPS 148486 WITH SCORE 148661.203
AT ITER 775 NEW BEST:: SOT 278991 SOS 174676 HAS SOPS 174676 HAS SOUS 148443 HAS SOUPS 148443 WITH SCORE 148617.676
AT ITER 776 NEW BEST:: SOT 278918 SOS 174263 HAS SOPS 174263 HAS SOUS 148297 HAS SOUPS 148297 WITH SCORE 148471.263
AT ITER 778 NEW BEST:: SOT 278280 SOS 173355 HAS SOPS 173355 HAS SOUS 147372 HAS SOUPS 147372 WITH SCORE 147545.355
AT ITER 779 NEW BEST:: SOT 277557 SOS 171040 HAS SOPS 171040 HAS SOUS 146176 HAS SOUPS 146176 WITH SCORE 146347.04
AT ITER 782 NEW BEST:: SOT 277557 SOS 170368 HAS SOPS 170368 HAS SOUS 146176 HAS SOUPS 146176 WITH SCORE 146346.368
AT ITER 783 NEW BEST:: SOT 277554 SOS 170278 HAS SOPS 170278 HAS SOUS 146086 HAS SOUPS 146086 WITH SCORE 146256.278
AT ITER 787 NEW BEST:: SOT 277530 SOS 170242 HAS SOPS 170242 HAS SOUS 146050 HAS SOUPS 146050 WITH SCORE 146220.242
AT ITER 791 NEW BEST:: SOT 277530 SOS 170242 HAS SOPS 170242 HAS SOUS 146034 HAS SOUPS 146034 WITH SCORE 146204.242
AT ITER 795 NEW BEST:: SOT 277481 SOS 170190 HAS SOPS 170190 HAS SOUS 145982 HAS SOUPS 145982 WITH SCORE 146152.19
AT ITER 800 NEW BEST:: SOT 277481 SOS 169588 HAS SOPS 169588 HAS SOUS 145801 HAS SOUPS 145801 WITH SCORE 145970.588
AT ITER 811 NEW BEST:: SOT 277197 SOS 169304 HAS SOPS 169304 HAS SOUS 145399 HAS SOUPS 145399 WITH SCORE 145568.304
AT ITER 816 NEW BEST:: SOT 277197 SOS 169246 HAS SOPS 169246 HAS SOUS 145399 HAS SOUPS 145399 WITH SCORE 145568.246
AT ITER 817 NEW BEST:: SOT 277194 SOS 168551 HAS SOPS 168551 HAS SOUS 145372 HAS SOUPS 145372 WITH SCORE 145540.551
AT ITER 827 NEW BEST:: SOT 277215 SOS 168539 HAS SOPS 168539 HAS SOUS 145360 HAS SOUPS 145360 WITH SCORE 145528.539
AT ITER 846 NEW BEST:: SOT 277214 SOS 168536 HAS SOPS 168536 HAS SOUS 145357 HAS SOUPS 145357 WITH SCORE 145525.536
AT ITER 853 NEW BEST:: SOT 276431 SOS 166996 HAS SOPS 166996 HAS SOUS 144138 HAS SOUPS 144138 WITH SCORE 144304.996
AT ITER 855 NEW BEST:: SOT 276273 SOS 166701 HAS SOPS 166701 HAS SOUS 143843 HAS SOUPS 143843 WITH SCORE 144009.701
AT ITER 856 NEW BEST:: SOT 276160 SOS 166426 HAS SOPS 166426 HAS SOUS 143569 HAS SOUPS 143569 WITH SCORE 143735.426
AT ITER 865 NEW BEST:: SOT 276160 SOS 166426 HAS SOPS 166426 HAS SOUS 143568 HAS SOUPS 143568 WITH SCORE 143734.426
AT ITER 871 NEW BEST:: SOT 275658 SOS 165622 HAS SOPS 165622 HAS SOUS 143084 HAS SOUPS 143084 WITH SCORE 143249.622
AT ITER 872 NEW BEST:: SOT 275632 SOS 165534 HAS SOPS 165534 HAS SOUS 143060 HAS SOUPS 143060 WITH SCORE 143225.534
AT ITER 876 NEW BEST:: SOT 275600 SOS 165502 HAS SOPS 165502 HAS SOUS 143028 HAS SOUPS 143028 WITH SCORE 143193.502
AT ITER 882 NEW BEST:: SOT 275488 SOS 165390 HAS SOPS 165390 HAS SOUS 142916 HAS SOUPS 142916 WITH SCORE 143081.39
AT ITER 884 NEW BEST:: SOT 275470 SOS 165372 HAS SOPS 165372 HAS SOUS 142898 HAS SOUPS 142898 WITH SCORE 143063.372
AT ITER 887 NEW BEST:: SOT 275470 SOS 165224 HAS SOPS 165224 HAS SOUS 142750 HAS SOUPS 142750 WITH SCORE 142915.224
AT ITER 891 NEW BEST:: SOT 275230 SOS 164776 HAS SOPS 164776 HAS SOUS 142311 HAS SOUPS 142311 WITH SCORE 142475.776
AT ITER 892 NEW BEST:: SOT 275206 SOS 164752 HAS SOPS 164752 HAS SOUS 142287 HAS SOUPS 142287 WITH SCORE 142451.752
AT ITER 899 NEW BEST:: SOT 275147 SOS 164693 HAS SOPS 164693 HAS SOUS 142228 HAS SOUPS 142228 WITH SCORE 142392.693
AT ITER 903 NEW BEST:: SOT 274954 SOS 164542 HAS SOPS 164542 HAS SOUS 142077 HAS SOUPS 142077 WITH SCORE 142241.542
AT ITER 918 NEW BEST:: SOT 275087 SOS 164486 HAS SOPS 164486 HAS SOUS 142021 HAS SOUPS 142021 WITH SCORE 142185.486
AT ITER 919 NEW BEST:: SOT 275087 SOS 164296 HAS SOPS 164296 HAS SOUS 141905 HAS SOUPS 141905 WITH SCORE 142069.296
AT ITER 920 NEW BEST:: SOT 275003 SOS 164170 HAS SOPS 164170 HAS SOUS 141779 HAS SOUPS 141779 WITH SCORE 141943.17
AT ITER 922 NEW BEST:: SOT 274995 SOS 164146 HAS SOPS 164146 HAS SOUS 141762 HAS SOUPS 141762 WITH SCORE 141926.146
AT ITER 929 NEW BEST:: SOT 274995 SOS 164023 HAS SOPS 164023 HAS SOUS 141744 HAS SOUPS 141744 WITH SCORE 141908.023
AT ITER 931 NEW BEST:: SOT 274980 SOS 163999 HAS SOPS 163999 HAS SOUS 141719 HAS SOUPS 141719 WITH SCORE 141882.999
AT ITER 932 NEW BEST:: SOT 274879 SOS 163658 HAS SOPS 163658 HAS SOUS 141584 HAS SOUPS 141584 WITH SCORE 141747.658
AT ITER 935 NEW BEST:: SOT 274737 SOS 163297 HAS SOPS 163297 HAS SOUS 141296 HAS SOUPS 141296 WITH SCORE 141459.297
AT ITER 950 NEW BEST:: SOT 274737 SOS 163125 HAS SOPS 163125 HAS SOUS 141296 HAS SOUPS 141296 WITH SCORE 141459.125
AT ITER 952 NEW BEST:: SOT 274637 SOS 162916 HAS SOPS 162916 HAS SOUS 141087 HAS SOUPS 141087 WITH SCORE 141249.916
AT ITER 953 NEW BEST:: SOT 274650 SOS 162914 HAS SOPS 162914 HAS SOUS 141085 HAS SOUPS 141085 WITH SCORE 141247.914
AT ITER 954 NEW BEST:: SOT 274650 SOS 162440 HAS SOPS 162440 HAS SOUS 140924 HAS SOUPS 140924 WITH SCORE 141086.44
AT ITER 958 NEW BEST:: SOT 274513 SOS 161821 HAS SOPS 161821 HAS SOUS 140783 HAS SOUPS 140783 WITH SCORE 140944.821
AT ITER 959 NEW BEST:: SOT 274331 SOS 161397 HAS SOPS 161397 HAS SOUS 140385 HAS SOUPS 140385 WITH SCORE 140546.397
AT ITER 965 NEW BEST:: SOT 274307 SOS 161361 HAS SOPS 161361 HAS SOUS 140349 HAS SOUPS 140349 WITH SCORE 140510.361
AT ITER 976 NEW BEST:: SOT 274307 SOS 161243 HAS SOPS 161243 HAS SOUS 140291 HAS SOUPS 140291 WITH SCORE 140452.243
AT ITER 986 NEW BEST:: SOT 274277 SOS 161183 HAS SOPS 161183 HAS SOUS 140231 HAS SOUPS 140231 WITH SCORE 140392.183
AT ITER 988 NEW BEST:: SOT 274277 SOS 161164 HAS SOPS 161164 HAS SOUS 140211 HAS SOUPS 140211 WITH SCORE 140372.164
AT ITER 995 NEW BEST:: SOT 274060 SOS 160947 HAS SOPS 160947 HAS SOUS 139993 HAS SOUPS 139993 WITH SCORE 140153.947
AT ITER 1000 NEW BEST:: SOT 273972 SOS 160859 HAS SOPS 160859 HAS SOUS 139905 HAS SOUPS 139905 WITH SCORE 140065.859
AT ITER 1008 NEW BEST:: SOT 273876 SOS 160763 HAS SOPS 160763 HAS SOUS 139809 HAS SOUPS 139809 WITH SCORE 139969.763
AT ITER 1011 NEW BEST:: SOT 273896 SOS 160589 HAS SOPS 160589 HAS SOUS 139769 HAS SOUPS 139769 WITH SCORE 139929.589
AT ITER 1013 NEW BEST:: SOT 273896 SOS 160261 HAS SOPS 160261 HAS SOUS 139711 HAS SOUPS 139711 WITH SCORE 139871.261
AT ITER 1014 NEW BEST:: SOT 273896 SOS 160207 HAS SOPS 160207 HAS SOUS 139707 HAS SOUPS 139707 WITH SCORE 139867.207
AT ITER 1018 NEW BEST:: SOT 273737 SOS 159690 HAS SOPS 159690 HAS SOUS 139431 HAS SOUPS 139431 WITH SCORE 139590.69
AT ITER 1022 NEW BEST:: SOT 273608 SOS 159561 HAS SOPS 159561 HAS SOUS 139311 HAS SOUPS 139311 WITH SCORE 139470.561
AT ITER 1025 NEW BEST:: SOT 273608 SOS 159514 HAS SOPS 159514 HAS SOUS 139311 HAS SOUPS 139311 WITH SCORE 139470.514
AT ITER 1028 NEW BEST:: SOT 273608 SOS 159556 HAS SOPS 159556 HAS SOUS 139308 HAS SOUPS 139308 WITH SCORE 139467.556
AT ITER 1030 NEW BEST:: SOT 273608 SOS 159314 HAS SOPS 159314 HAS SOUS 139297 HAS SOUPS 139297 WITH SCORE 139456.314
AT ITER 1033 NEW BEST:: SOT 273606 SOS 159309 HAS SOPS 159309 HAS SOUS 139292 HAS SOUPS 139292 WITH SCORE 139451.309
AT ITER 1041 NEW BEST:: SOT 273491 SOS 159230 HAS SOPS 159230 HAS SOUS 139207 HAS SOUPS 139207 WITH SCORE 139366.23
AT ITER 1042 NEW BEST:: SOT 273399 SOS 159138 HAS SOPS 159138 HAS SOUS 139081 HAS SOUPS 139081 WITH SCORE 139240.138
AT ITER 1043 NEW BEST:: SOT 273371 SOS 159060 HAS SOPS 159060 HAS SOUS 139064 HAS SOUPS 139064 WITH SCORE 139223.06
AT ITER 1045 NEW BEST:: SOT 273371 SOS 158596 HAS SOPS 158596 HAS SOUS 138986 HAS SOUPS 138986 WITH SCORE 139144.596
AT ITER 1049 NEW BEST:: SOT 273032 SOS 158079 HAS SOPS 158079 HAS SOUS 138469 HAS SOUPS 138469 WITH SCORE 138627.079
AT ITER 1058 NEW BEST:: SOT 272811 SOS 157858 HAS SOPS 157858 HAS SOUS 138244 HAS SOUPS 138244 WITH SCORE 138401.858
AT ITER 1071 NEW BEST:: SOT 272406 SOS 157453 HAS SOPS 157453 HAS SOUS 138015 HAS SOUPS 138015 WITH SCORE 138172.453
AT ITER 1072 NEW BEST:: SOT 272860 SOS 156582 HAS SOPS 156582 HAS SOUS 137723 HAS SOUPS 137723 WITH SCORE 137879.582
AT ITER 1073 NEW BEST:: SOT 272866 SOS 156223 HAS SOPS 156223 HAS SOUS 137440 HAS SOUPS 137440 WITH SCORE 137596.223
AT ITER 1076 NEW BEST:: SOT 272831 SOS 156188 HAS SOPS 156188 HAS SOUS 137405 HAS SOUPS 137405 WITH SCORE 137561.188
AT ITER 1078 NEW BEST:: SOT 272831 SOS 156146 HAS SOPS 156146 HAS SOUS 137391 HAS SOUPS 137391 WITH SCORE 137547.146
AT ITER 1081 NEW BEST:: SOT 272761 SOS 156088 HAS SOPS 156088 HAS SOUS 137302 HAS SOUPS 137302 WITH SCORE 137458.088
AT ITER 1083 NEW BEST:: SOT 272761 SOS 156053 HAS SOPS 156053 HAS SOUS 137267 HAS SOUPS 137267 WITH SCORE 137423.053
AT ITER 1091 NEW BEST:: SOT 272760 SOS 155314 HAS SOPS 155314 HAS SOUS 137116 HAS SOUPS 137116 WITH SCORE 137271.314
AT ITER 1102 NEW BEST:: SOT 272684 SOS 155238 HAS SOPS 155238 HAS SOUS 137040 HAS SOUPS 137040 WITH SCORE 137195.238
AT ITER 1105 NEW BEST:: SOT 272684 SOS 155186 HAS SOPS 155186 HAS SOUS 137020 HAS SOUPS 137020 WITH SCORE 137175.186
AT ITER 1107 NEW BEST:: SOT 272633 SOS 155178 HAS SOPS 155178 HAS SOUS 137010 HAS SOUPS 137010 WITH SCORE 137165.178
AT ITER 1110 NEW BEST:: SOT 272583 SOS 154724 HAS SOPS 154724 HAS SOUS 136708 HAS SOUPS 136708 WITH SCORE 136862.724
AT ITER 1115 NEW BEST:: SOT 272583 SOS 153611 HAS SOPS 153611 HAS SOUS 136708 HAS SOUPS 136708 WITH SCORE 136861.611
AT ITER 1117 NEW BEST:: SOT 272508 SOS 153424 HAS SOPS 153424 HAS SOUS 136521 HAS SOUPS 136521 WITH SCORE 136674.424
AT ITER 1120 NEW BEST:: SOT 272508 SOS 153413 HAS SOPS 153413 HAS SOUS 136510 HAS SOUPS 136510 WITH SCORE 136663.413
AT ITER 1121 NEW BEST:: SOT 272507 SOS 153074 HAS SOPS 153074 HAS SOUS 136384 HAS SOUPS 136384 WITH SCORE 136537.074
AT ITER 1123 NEW BEST:: SOT 272507 SOS 153051 HAS SOPS 153051 HAS SOUS 136361 HAS SOUPS 136361 WITH SCORE 136514.051
AT ITER 1125 NEW BEST:: SOT 272485 SOS 151850 HAS SOPS 151850 HAS SOUS 136147 HAS SOUPS 136147 WITH SCORE 136298.85
AT ITER 1134 NEW BEST:: SOT 272322 SOS 151141 HAS SOPS 151141 HAS SOUS 135392 HAS SOUPS 135392 WITH SCORE 135543.141
AT ITER 1135 NEW BEST:: SOT 272322 SOS 150872 HAS SOPS 150872 HAS SOUS 135260 HAS SOUPS 135260 WITH SCORE 135410.872
AT ITER 1137 NEW BEST:: SOT 272321 SOS 150871 HAS SOPS 150871 HAS SOUS 135260 HAS SOUPS 135260 WITH SCORE 135410.871
AT ITER 1150 NEW BEST:: SOT 272261 SOS 150679 HAS SOPS 150679 HAS SOUS 135200 HAS SOUPS 135200 WITH SCORE 135350.679
AT ITER 1154 NEW BEST:: SOT 272261 SOS 150642 HAS SOPS 150642 HAS SOUS 135167 HAS SOUPS 135167 WITH SCORE 135317.642
AT ITER 1156 NEW BEST:: SOT 272261 SOS 150613 HAS SOPS 150613 HAS SOUS 135138 HAS SOUPS 135138 WITH SCORE 135288.613
AT ITER 1161 NEW BEST:: SOT 271820 SOS 150344 HAS SOPS 150344 HAS SOUS 134869 HAS SOUPS 134869 WITH SCORE 135019.344
AT ITER 1163 NEW BEST:: SOT 271695 SOS 150219 HAS SOPS 150219 HAS SOUS 134741 HAS SOUPS 134741 WITH SCORE 134891.219
AT ITER 1180 NEW BEST:: SOT 271443 SOS 149967 HAS SOPS 149967 HAS SOUS 134489 HAS SOUPS 134489 WITH SCORE 134638.967
AT ITER 1181 NEW BEST:: SOT 271390 SOS 149835 HAS SOPS 149835 HAS SOUS 134357 HAS SOUPS 134357 WITH SCORE 134506.835
AT ITER 1184 NEW BEST:: SOT 271580 SOS 149807 HAS SOPS 149807 HAS SOUS 134329 HAS SOUPS 134329 WITH SCORE 134478.807
AT ITER 1197 NEW BEST:: SOT 271388 SOS 149580 HAS SOPS 149580 HAS SOUS 133957 HAS SOUPS 133957 WITH SCORE 134106.58
AT ITER 1198 NEW BEST:: SOT 271388 SOS 149549 HAS SOPS 149549 HAS SOUS 133926 HAS SOUPS 133926 WITH SCORE 134075.549
AT ITER 1200 NEW BEST:: SOT 271370 SOS 149522 HAS SOPS 149522 HAS SOUS 133899 HAS SOUPS 133899 WITH SCORE 134048.522
AT ITER 1209 NEW BEST:: SOT 271315 SOS 149448 HAS SOPS 149448 HAS SOUS 133789 HAS SOUPS 133789 WITH SCORE 133938.448
AT ITER 1213 NEW BEST:: SOT 270918 SOS 149051 HAS SOPS 149051 HAS SOUS 133481 HAS SOUPS 133481 WITH SCORE 133630.051
AT ITER 1215 NEW BEST:: SOT 270868 SOS 148976 HAS SOPS 148976 HAS SOUS 133406 HAS SOUPS 133406 WITH SCORE 133554.976
AT ITER 1233 NEW BEST:: SOT 270708 SOS 148655 HAS SOPS 148655 HAS SOUS 133203 HAS SOUPS 133203 WITH SCORE 133351.655
AT ITER 1241 NEW BEST:: SOT 270706 SOS 148653 HAS SOPS 148653 HAS SOUS 133201 HAS SOUPS 133201 WITH SCORE 133349.653
AT ITER 1247 NEW BEST:: SOT 270736 SOS 148592 HAS SOPS 148592 HAS SOUS 133171 HAS SOUPS 133171 WITH SCORE 133319.592
AT ITER 1253 NEW BEST:: SOT 270736 SOS 148518 HAS SOPS 148518 HAS SOUS 133130 HAS SOUPS 133130 WITH SCORE 133278.518
AT ITER 1258 NEW BEST:: SOT 270683 SOS 148465 HAS SOPS 148465 HAS SOUS 133077 HAS SOUPS 133077 WITH SCORE 133225.465
AT ITER 1264 NEW BEST:: SOT 270686 SOS 148375 HAS SOPS 148375 HAS SOUS 133048 HAS SOUPS 133048 WITH SCORE 133196.375
AT ITER 1269 NEW BEST:: SOT 270498 SOS 148187 HAS SOPS 148187 HAS SOUS 132860 HAS SOUPS 132860 WITH SCORE 133008.187
AT ITER 1273 NEW BEST:: SOT 270126 SOS 147815 HAS SOPS 147815 HAS SOUS 132488 HAS SOUPS 132488 WITH SCORE 132635.815
AT ITER 1281 NEW BEST:: SOT 270084 SOS 147647 HAS SOPS 147647 HAS SOUS 132381 HAS SOUPS 132381 WITH SCORE 132528.647
AT ITER 1287 NEW BEST:: SOT 270084 SOS 147112 HAS SOPS 147112 HAS SOUS 132063 HAS SOUPS 132063 WITH SCORE 132210.112
AT ITER 1312 NEW BEST:: SOT 270084 SOS 147112 HAS SOPS 147112 HAS SOUS 131998 HAS SOUPS 131998 WITH SCORE 132145.112
AT ITER 1315 NEW BEST:: SOT 270080 SOS 147108 HAS SOPS 147108 HAS SOUS 131994 HAS SOUPS 131994 WITH SCORE 132141.108
AT ITER 1320 NEW BEST:: SOT 270080 SOS 146536 HAS SOPS 146536 HAS SOUS 131768 HAS SOUPS 131768 WITH SCORE 131914.536
AT ITER 1321 NEW BEST:: SOT 270080 SOS 146412 HAS SOPS 146412 HAS SOUS 131644 HAS SOUPS 131644 WITH SCORE 131790.412
AT ITER 1328 NEW BEST:: SOT 270013 SOS 146256 HAS SOPS 146256 HAS SOUS 131488 HAS SOUPS 131488 WITH SCORE 131634.256
AT ITER 1329 NEW BEST:: SOT 270013 SOS 146252 HAS SOPS 146252 HAS SOUS 131488 HAS SOUPS 131488 WITH SCORE 131634.252
AT ITER 1334 NEW BEST:: SOT 269882 SOS 146153 HAS SOPS 146153 HAS SOUS 131461 HAS SOUPS 131461 WITH SCORE 131607.153
AT ITER 1339 NEW BEST:: SOT 269882 SOS 145406 HAS SOPS 145406 HAS SOUS 131337 HAS SOUPS 131337 WITH SCORE 131482.406
AT ITER 1340 NEW BEST:: SOT 269826 SOS 145350 HAS SOPS 145350 HAS SOUS 131281 HAS SOUPS 131281 WITH SCORE 131426.35
AT ITER 1346 NEW BEST:: SOT 269826 SOS 145173 HAS SOPS 145173 HAS SOUS 131162 HAS SOUPS 131162 WITH SCORE 131307.173
AT ITER 1356 NEW BEST:: SOT 269868 SOS 144257 HAS SOPS 144257 HAS SOUS 130957 HAS SOUPS 130957 WITH SCORE 131101.257
AT ITER 1363 NEW BEST:: SOT 269868 SOS 144087 HAS SOPS 144087 HAS SOUS 130787 HAS SOUPS 130787 WITH SCORE 130931.087
AT ITER 1367 NEW BEST:: SOT 269866 SOS 142878 HAS SOPS 142878 HAS SOUS 130498 HAS SOUPS 130498 WITH SCORE 130640.878
AT ITER 1369 NEW BEST:: SOT 269685 SOS 142697 HAS SOPS 142697 HAS SOUS 130341 HAS SOUPS 130341 WITH SCORE 130483.697
AT ITER 1376 NEW BEST:: SOT 269685 SOS 142518 HAS SOPS 142518 HAS SOUS 130227 HAS SOUPS 130227 WITH SCORE 130369.518
AT ITER 1396 NEW BEST:: SOT 269685 SOS 142456 HAS SOPS 142456 HAS SOUS 130218 HAS SOUPS 130218 WITH SCORE 130360.456
AT ITER 1399 NEW BEST:: SOT 269512 SOS 142239 HAS SOPS 142239 HAS SOUS 129945 HAS SOUPS 129945 WITH SCORE 130087.239
AT ITER 1400 NEW BEST:: SOT 269441 SOS 142628 HAS SOPS 142628 HAS SOUS 129912 HAS SOUPS 129912 WITH SCORE 130054.628
AT ITER 1415 NEW BEST:: SOT 269439 SOS 142605 HAS SOPS 142605 HAS SOUS 129889 HAS SOUPS 129889 WITH SCORE 130031.605
AT ITER 1418 NEW BEST:: SOT 269377 SOS 142541 HAS SOPS 142541 HAS SOUS 129825 HAS SOUPS 129825 WITH SCORE 129967.541
AT ITER 1420 NEW BEST:: SOT 269377 SOS 142328 HAS SOPS 142328 HAS SOUS 129761 HAS SOUPS 129761 WITH SCORE 129903.328
AT ITER 1425 NEW BEST:: SOT 269377 SOS 142270 HAS SOPS 142270 HAS SOUS 129732 HAS SOUPS 129732 WITH SCORE 129874.27
AT ITER 1426 NEW BEST:: SOT 269345 SOS 142236 HAS SOPS 142236 HAS SOUS 129706 HAS SOUPS 129706 WITH SCORE 129848.236
AT ITER 1427 NEW BEST:: SOT 269068 SOS 141887 HAS SOPS 141887 HAS SOUS 129357 HAS SOUPS 129357 WITH SCORE 129498.887
AT ITER 1431 NEW BEST:: SOT 269043 SOS 141848 HAS SOPS 141848 HAS SOUS 129318 HAS SOUPS 129318 WITH SCORE 129459.848
AT ITER 1434 NEW BEST:: SOT 269043 SOS 141782 HAS SOPS 141782 HAS SOUS 129318 HAS SOUPS 129318 WITH SCORE 129459.782
AT ITER 1438 NEW BEST:: SOT 269010 SOS 141716 HAS SOPS 141716 HAS SOUS 129252 HAS SOUPS 129252 WITH SCORE 129393.716
AT ITER 1440 NEW BEST:: SOT 268839 SOS 141103 HAS SOPS 141103 HAS SOUS 128639 HAS SOUPS 128639 WITH SCORE 128780.103
AT ITER 1443 NEW BEST:: SOT 268724 SOS 140941 HAS SOPS 140941 HAS SOUS 128475 HAS SOUPS 128475 WITH SCORE 128615.941
AT ITER 1447 NEW BEST:: SOT 268724 SOS 140718 HAS SOPS 140718 HAS SOUS 128472 HAS SOUPS 128472 WITH SCORE 128612.718
AT ITER 1452 NEW BEST:: SOT 268560 SOS 140554 HAS SOPS 140554 HAS SOUS 128308 HAS SOUPS 128308 WITH SCORE 128448.554
AT ITER 1453 NEW BEST:: SOT 268417 SOS 140175 HAS SOPS 140175 HAS SOUS 127929 HAS SOUPS 127929 WITH SCORE 128069.175
AT ITER 1455 NEW BEST:: SOT 268415 SOS 140173 HAS SOPS 140173 HAS SOUS 127927 HAS SOUPS 127927 WITH SCORE 128067.173
AT ITER 1458 NEW BEST:: SOT 268278 SOS 140035 HAS SOPS 140035 HAS SOUS 127844 HAS SOUPS 127844 WITH SCORE 127984.035
AT ITER 1476 NEW BEST:: SOT 268247 SOS 140004 HAS SOPS 140004 HAS SOUS 127813 HAS SOUPS 127813 WITH SCORE 127953.004
AT ITER 1482 NEW BEST:: SOT 268223 SOS 139974 HAS SOPS 139974 HAS SOUS 127788 HAS SOUPS 127788 WITH SCORE 127927.974
AT ITER 1484 NEW BEST:: SOT 268171 SOS 139922 HAS SOPS 139922 HAS SOUS 127736 HAS SOUPS 127736 WITH SCORE 127875.922
AT ITER 1487 NEW BEST:: SOT 267753 SOS 139307 HAS SOPS 139307 HAS SOUS 127121 HAS SOUPS 127121 WITH SCORE 127260.307
AT ITER 1491 NEW BEST:: SOT 267655 SOS 139209 HAS SOPS 139209 HAS SOUS 127023 HAS SOUPS 127023 WITH SCORE 127162.209
AT ITER 1498 NEW BEST:: SOT 267636 SOS 139174 HAS SOPS 139174 HAS SOUS 126988 HAS SOUPS 126988 WITH SCORE 127127.174
AT ITER 1499 NEW BEST:: SOT 267636 SOS 139065 HAS SOPS 139065 HAS SOUS 126879 HAS SOUPS 126879 WITH SCORE 127018.065
AT ITER 1500 NEW BEST:: SOT 267634 SOS 139024 HAS SOPS 139024 HAS SOUS 126860 HAS SOUPS 126860 WITH SCORE 126999.024
AT ITER 1501 NEW BEST:: SOT 267649 SOS 138929 HAS SOPS 138929 HAS SOUS 126765 HAS SOUPS 126765 WITH SCORE 126903.929
AT ITER 1503 NEW BEST:: SOT 267398 SOS 138537 HAS SOPS 138537 HAS SOUS 126314 HAS SOUPS 126314 WITH SCORE 126452.537
AT ITER 1514 NEW BEST:: SOT 267358 SOS 138497 HAS SOPS 138497 HAS SOUS 126273 HAS SOUPS 126273 WITH SCORE 126411.497
AT ITER 1519 NEW BEST:: SOT 267199 SOS 138338 HAS SOPS 138338 HAS SOUS 126114 HAS SOUPS 126114 WITH SCORE 126252.338
AT ITER 1520 NEW BEST:: SOT 267190 SOS 138320 HAS SOPS 138320 HAS SOUS 126096 HAS SOUPS 126096 WITH SCORE 126234.32
AT ITER 1521 NEW BEST:: SOT 266685 SOS 137752 HAS SOPS 137752 HAS SOUS 125528 HAS SOUPS 125528 WITH SCORE 125665.752
AT ITER 1528 NEW BEST:: SOT 266643 SOS 137696 HAS SOPS 137696 HAS SOUS 125472 HAS SOUPS 125472 WITH SCORE 125609.696
AT ITER 1529 NEW BEST:: SOT 266453 SOS 137197 HAS SOPS 137197 HAS SOUS 125042 HAS SOUPS 125042 WITH SCORE 125179.197
AT ITER 1541 NEW BEST:: SOT 266715 SOS 137013 HAS SOPS 137013 HAS SOUS 125001 HAS SOUPS 125001 WITH SCORE 125138.013
AT ITER 1549 NEW BEST:: SOT 266715 SOS 137004 HAS SOPS 137004 HAS SOUS 124998 HAS SOUPS 124998 WITH SCORE 125135.004
AT ITER 1552 NEW BEST:: SOT 266687 SOS 136976 HAS SOPS 136976 HAS SOUS 124970 HAS SOUPS 124970 WITH SCORE 125106.976
AT ITER 1562 NEW BEST:: SOT 266638 SOS 136927 HAS SOPS 136927 HAS SOUS 124867 HAS SOUPS 124867 WITH SCORE 125003.927
AT ITER 1566 NEW BEST:: SOT 266587 SOS 136834 HAS SOPS 136834 HAS SOUS 124774 HAS SOUPS 124774 WITH SCORE 124910.834
AT ITER 1579 NEW BEST:: SOT 266590 SOS 136816 HAS SOPS 136816 HAS SOUS 124737 HAS SOUPS 124737 WITH SCORE 124873.816
AT ITER 1585 NEW BEST:: SOT 266566 SOS 136745 HAS SOPS 136745 HAS SOUS 124666 HAS SOUPS 124666 WITH SCORE 124802.745
AT ITER 1586 NEW BEST:: SOT 266566 SOS 136686 HAS SOPS 136686 HAS SOUS 124607 HAS SOUPS 124607 WITH SCORE 124743.686
AT ITER 1594 NEW BEST:: SOT 266347 SOS 136328 HAS SOPS 136328 HAS SOUS 124186 HAS SOUPS 124186 WITH SCORE 124322.328
AT ITER 1596 NEW BEST:: SOT 266269 SOS 136226 HAS SOPS 136226 HAS SOUS 124084 HAS SOUPS 124084 WITH SCORE 124220.226
AT ITER 1599 NEW BEST:: SOT 266350 SOS 136151 HAS SOPS 136151 HAS SOUS 124028 HAS SOUPS 124028 WITH SCORE 124164.151
AT ITER 1608 NEW BEST:: SOT 266335 SOS 136095 HAS SOPS 136095 HAS SOUS 123972 HAS SOUPS 123972 WITH SCORE 124108.095
AT ITER 1611 NEW BEST:: SOT 265971 SOS 135399 HAS SOPS 135399 HAS SOUS 123364 HAS SOUPS 123364 WITH SCORE 123499.399
AT ITER 1614 NEW BEST:: SOT 265339 SOS 134815 HAS SOPS 134815 HAS SOUS 122814 HAS SOUPS 122814 WITH SCORE 122948.815
AT ITER 1615 NEW BEST:: SOT 265287 SOS 134763 HAS SOPS 134763 HAS SOUS 122762 HAS SOUPS 122762 WITH SCORE 122896.763
AT ITER 1620 NEW BEST:: SOT 264958 SOS 134782 HAS SOPS 134782 HAS SOUS 122692 HAS SOUPS 122692 WITH SCORE 122826.782
AT ITER 1626 NEW BEST:: SOT 264768 SOS 134044 HAS SOPS 134044 HAS SOUS 122016 HAS SOUPS 122016 WITH SCORE 122150.044
AT ITER 1640 NEW BEST:: SOT 264731 SOS 133982 HAS SOPS 133982 HAS SOUS 121950 HAS SOUPS 121950 WITH SCORE 122083.982
AT ITER 1641 NEW BEST:: SOT 264731 SOS 133852 HAS SOPS 133852 HAS SOUS 121950 HAS SOUPS 121950 WITH SCORE 122083.852
AT ITER 1648 NEW BEST:: SOT 264749 SOS 133702 HAS SOPS 133702 HAS SOUS 121851 HAS SOUPS 121851 WITH SCORE 121984.702
AT ITER 1657 NEW BEST:: SOT 264749 SOS 133702 HAS SOPS 133702 HAS SOUS 121830 HAS SOUPS 121830 WITH SCORE 121963.702
AT ITER 1665 NEW BEST:: SOT 264749 SOS 133519 HAS SOPS 133519 HAS SOUS 121727 HAS SOUPS 121727 WITH SCORE 121860.519
AT ITER 1668 NEW BEST:: SOT 264749 SOS 133519 HAS SOPS 133519 HAS SOUS 121719 HAS SOUPS 121719 WITH SCORE 121852.519
AT ITER 1688 NEW BEST:: SOT 264737 SOS 133507 HAS SOPS 133507 HAS SOUS 121707 HAS SOUPS 121707 WITH SCORE 121840.507
AT ITER 1693 NEW BEST:: SOT 264702 SOS 133472 HAS SOPS 133472 HAS SOUS 121637 HAS SOUPS 121637 WITH SCORE 121770.472
AT ITER 1697 NEW BEST:: SOT 264702 SOS 133206 HAS SOPS 133206 HAS SOUS 121577 HAS SOUPS 121577 WITH SCORE 121710.206
AT ITER 1722 NEW BEST:: SOT 264667 SOS 133107 HAS SOPS 133107 HAS SOUS 121425 HAS SOUPS 121425 WITH SCORE 121558.107
AT ITER 1725 NEW BEST:: SOT 264441 SOS 132881 HAS SOPS 132881 HAS SOUS 121063 HAS SOUPS 121063 WITH SCORE 121195.881
AT ITER 1726 NEW BEST:: SOT 264329 SOS 132685 HAS SOPS 132685 HAS SOUS 120783 HAS SOUPS 120783 WITH SCORE 120915.685
AT ITER 1729 NEW BEST:: SOT 264327 SOS 132681 HAS SOPS 132681 HAS SOUS 120779 HAS SOUPS 120779 WITH SCORE 120911.681
AT ITER 1736 NEW BEST:: SOT 264297 SOS 132561 HAS SOPS 132561 HAS SOUS 120668 HAS SOUPS 120668 WITH SCORE 120800.561
AT ITER 1746 NEW BEST:: SOT 264296 SOS 132525 HAS SOPS 132525 HAS SOUS 120666 HAS SOUPS 120666 WITH SCORE 120798.525
AT ITER 1757 NEW BEST:: SOT 264239 SOS 132468 HAS SOPS 132468 HAS SOUS 120609 HAS SOUPS 120609 WITH SCORE 120741.468
AT ITER 1758 NEW BEST:: SOT 264108 SOS 132291 HAS SOPS 132291 HAS SOUS 120432 HAS SOUPS 120432 WITH SCORE 120564.291
AT ITER 1759 NEW BEST:: SOT 264086 SOS 132247 HAS SOPS 132247 HAS SOUS 120388 HAS SOUPS 120388 WITH SCORE 120520.247
AT ITER 1760 NEW BEST:: SOT 263953 SOS 132047 HAS SOPS 132047 HAS SOUS 120204 HAS SOUPS 120204 WITH SCORE 120336.047
AT ITER 1803 NEW BEST:: SOT 263834 SOS 131672 HAS SOPS 131672 HAS SOUS 119829 HAS SOUPS 119829 WITH SCORE 119960.672
AT ITER 1813 NEW BEST:: SOT 263770 SOS 131544 HAS SOPS 131544 HAS SOUS 119765 HAS SOUPS 119765 WITH SCORE 119896.544
AT ITER 1815 NEW BEST:: SOT 263749 SOS 131523 HAS SOPS 131523 HAS SOUS 119744 HAS SOUPS 119744 WITH SCORE 119875.523
AT ITER 1826 NEW BEST:: SOT 263817 SOS 131501 HAS SOPS 131501 HAS SOUS 119742 HAS SOUPS 119742 WITH SCORE 119873.501
AT ITER 1830 NEW BEST:: SOT 263790 SOS 131474 HAS SOPS 131474 HAS SOUS 119715 HAS SOUPS 119715 WITH SCORE 119846.474
AT ITER 1834 NEW BEST:: SOT 263860 SOS 131421 HAS SOPS 131421 HAS SOUS 119662 HAS SOUPS 119662 WITH SCORE 119793.421
AT ITER 1838 NEW BEST:: SOT 263856 SOS 131415 HAS SOPS 131415 HAS SOUS 119656 HAS SOUPS 119656 WITH SCORE 119787.415
AT ITER 1841 NEW BEST:: SOT 263856 SOS 131415 HAS SOPS 131415 HAS SOUS 119566 HAS SOUPS 119566 WITH SCORE 119697.415
AT ITER 1850 NEW BEST:: SOT 263709 SOS 131275 HAS SOPS 131275 HAS SOUS 119426 HAS SOUPS 119426 WITH SCORE 119557.275
AT ITER 1858 NEW BEST:: SOT 263660 SOS 131290 HAS SOPS 131290 HAS SOUS 119383 HAS SOUPS 119383 WITH SCORE 119514.29
AT ITER 1860 NEW BEST:: SOT 263569 SOS 131125 HAS SOPS 131125 HAS SOUS 119292 HAS SOUPS 119292 WITH SCORE 119423.125
AT ITER 1867 NEW BEST:: SOT 263553 SOS 130435 HAS SOPS 130435 HAS SOUS 119227 HAS SOUPS 119227 WITH SCORE 119357.435
AT ITER 1886 NEW BEST:: SOT 263422 SOS 130164 HAS SOPS 130164 HAS SOUS 118968 HAS SOUPS 118968 WITH SCORE 119098.164
AT ITER 1887 NEW BEST:: SOT 263422 SOS 130164 HAS SOPS 130164 HAS SOUS 118936 HAS SOUPS 118936 WITH SCORE 119066.164
AT ITER 1893 NEW BEST:: SOT 263422 SOS 130101 HAS SOPS 130101 HAS SOUS 118915 HAS SOUPS 118915 WITH SCORE 119045.101
AT ITER 1895 NEW BEST:: SOT 263207 SOS 129662 HAS SOPS 129662 HAS SOUS 118476 HAS SOUPS 118476 WITH SCORE 118605.662
AT ITER 1907 NEW BEST:: SOT 263207 SOS 129531 HAS SOPS 129531 HAS SOUS 118345 HAS SOUPS 118345 WITH SCORE 118474.531
AT ITER 1908 NEW BEST:: SOT 263207 SOS 129044 HAS SOPS 129044 HAS SOUS 118285 HAS SOUPS 118285 WITH SCORE 118414.044
AT ITER 1916 NEW BEST:: SOT 263056 SOS 128888 HAS SOPS 128888 HAS SOUS 118129 HAS SOUPS 118129 WITH SCORE 118257.888
AT ITER 1917 NEW BEST:: SOT 263023 SOS 128855 HAS SOPS 128855 HAS SOUS 118096 HAS SOUPS 118096 WITH SCORE 118224.855
AT ITER 1919 NEW BEST:: SOT 262933 SOS 128766 HAS SOPS 128766 HAS SOUS 118007 HAS SOUPS 118007 WITH SCORE 118135.766
AT ITER 1927 NEW BEST:: SOT 262891 SOS 128695 HAS SOPS 128695 HAS SOUS 117936 HAS SOUPS 117936 WITH SCORE 118064.695
AT ITER 1934 NEW BEST:: SOT 262891 SOS 128634 HAS SOPS 128634 HAS SOUS 117875 HAS SOUPS 117875 WITH SCORE 118003.634
AT ITER 1939 NEW BEST:: SOT 262891 SOS 128625 HAS SOPS 128625 HAS SOUS 117866 HAS SOUPS 117866 WITH SCORE 117994.625
AT ITER 1945 NEW BEST:: SOT 262907 SOS 128602 HAS SOPS 128602 HAS SOUS 117754 HAS SOUPS 117754 WITH SCORE 117882.602
AT ITER 1954 NEW BEST:: SOT 262879 SOS 128574 HAS SOPS 128574 HAS SOUS 117754 HAS SOUPS 117754 WITH SCORE 117882.574
AT ITER 1957 NEW BEST:: SOT 262704 SOS 128399 HAS SOPS 128399 HAS SOUS 117689 HAS SOUPS 117689 WITH SCORE 117817.399
AT ITER 1959 NEW BEST:: SOT 262704 SOS 128441 HAS SOPS 128441 HAS SOUS 117658 HAS SOUPS 117658 WITH SCORE 117786.441
AT ITER 1960 NEW BEST:: SOT 262562 SOS 128296 HAS SOPS 128296 HAS SOUS 117513 HAS SOUPS 117513 WITH SCORE 117641.296
AT ITER 1968 NEW BEST:: SOT 262354 SOS 128293 HAS SOPS 128293 HAS SOUS 117173 HAS SOUPS 117173 WITH SCORE 117301.293
AT ITER 1973 NEW BEST:: SOT 262338 SOS 128277 HAS SOPS 128277 HAS SOUS 117157 HAS SOUPS 117157 WITH SCORE 117285.277
AT ITER 1982 NEW BEST:: SOT 262338 SOS 128220 HAS SOPS 128220 HAS SOUS 117157 HAS SOUPS 117157 WITH SCORE 117285.22
AT ITER 1984 NEW BEST:: SOT 262184 SOS 128079 HAS SOPS 128079 HAS SOUS 116950 HAS SOUPS 116950 WITH SCORE 117078.079
AT ITER 1985 NEW BEST:: SOT 262122 SOS 128017 HAS SOPS 128017 HAS SOUS 116888 HAS SOUPS 116888 WITH SCORE 117016.017
AT ITER 1987 NEW BEST:: SOT 262362 SOS 128226 HAS SOPS 128226 HAS SOUS 116851 HAS SOUPS 116851 WITH SCORE 116979.226
AT ITER 1997 NEW BEST:: SOT 262362 SOS 127969 HAS SOPS 127969 HAS SOUS 116808 HAS SOUPS 116808 WITH SCORE 116935.969
AT ITER 2001 NEW BEST:: SOT 262236 SOS 127747 HAS SOPS 127747 HAS SOUS 116676 HAS SOUPS 116676 WITH SCORE 116803.747
AT ITER 2004 NEW BEST:: SOT 262120 SOS 127599 HAS SOPS 127599 HAS SOUS 116556 HAS SOUPS 116556 WITH SCORE 116683.599
AT ITER 2013 NEW BEST:: SOT 261881 SOS 127359 HAS SOPS 127359 HAS SOUS 116316 HAS SOUPS 116316 WITH SCORE 116443.359
AT ITER 2020 NEW BEST:: SOT 261685 SOS 126626 HAS SOPS 126626 HAS SOUS 115889 HAS SOUPS 115889 WITH SCORE 116015.626
AT ITER 2033 NEW BEST:: SOT 261908 SOS 126784 HAS SOPS 126784 HAS SOUS 115811 HAS SOUPS 115811 WITH SCORE 115937.784
AT ITER 2036 NEW BEST:: SOT 262164 SOS 126833 HAS SOPS 126833 HAS SOUS 115793 HAS SOUPS 115793 WITH SCORE 115919.833
AT ITER 2063 NEW BEST:: SOT 262164 SOS 126785 HAS SOPS 126785 HAS SOUS 115793 HAS SOUPS 115793 WITH SCORE 115919.785
AT ITER 2068 NEW BEST:: SOT 262164 SOS 126518 HAS SOPS 126518 HAS SOUS 115704 HAS SOUPS 115704 WITH SCORE 115830.518
AT ITER 2070 NEW BEST:: SOT 262091 SOS 126445 HAS SOPS 126445 HAS SOUS 115631 HAS SOUPS 115631 WITH SCORE 115757.445
AT ITER 2075 NEW BEST:: SOT 262072 SOS 126403 HAS SOPS 126403 HAS SOUS 115626 HAS SOUPS 115626 WITH SCORE 115752.403
AT ITER 2080 NEW BEST:: SOT 262052 SOS 126303 HAS SOPS 126303 HAS SOUS 115510 HAS SOUPS 115510 WITH SCORE 115636.303
AT ITER 2082 NEW BEST:: SOT 261990 SOS 126243 HAS SOPS 126243 HAS SOUS 115450 HAS SOUPS 115450 WITH SCORE 115576.243
AT ITER 2104 NEW BEST:: SOT 261970 SOS 126203 HAS SOPS 126203 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115536.203
AT ITER 2118 NEW BEST:: SOT 261856 SOS 126067 HAS SOPS 126067 HAS SOUS 115256 HAS SOUPS 115256 WITH SCORE 115382.067
AT ITER 2134 NEW BEST:: SOT 261856 SOS 126011 HAS SOPS 126011 HAS SOUS 115200 HAS SOUPS 115200 WITH SCORE 115326.011
AT ITER 2135 NEW BEST:: SOT 261710 SOS 125420 HAS SOPS 125420 HAS SOUS 114832 HAS SOUPS 114832 WITH SCORE 114957.42
AT ITER 2138 NEW BEST:: SOT 261650 SOS 125360 HAS SOPS 125360 HAS SOUS 114772 HAS SOUPS 114772 WITH SCORE 114897.36
AT ITER 2149 NEW BEST:: SOT 261452 SOS 125180 HAS SOPS 125180 HAS SOUS 114592 HAS SOUPS 114592 WITH SCORE 114717.18
AT ITER 2150 NEW BEST:: SOT 261412 SOS 125140 HAS SOPS 125140 HAS SOUS 114552 HAS SOUPS 114552 WITH SCORE 114677.14
AT ITER 2154 NEW BEST:: SOT 261412 SOS 125108 HAS SOPS 125108 HAS SOUS 114520 HAS SOUPS 114520 WITH SCORE 114645.108
AT ITER 2156 NEW BEST:: SOT 261325 SOS 124684 HAS SOPS 124684 HAS SOUS 114259 HAS SOUPS 114259 WITH SCORE 114383.684
AT ITER 2163 NEW BEST:: SOT 261154 SOS 124721 HAS SOPS 124721 HAS SOUS 114224 HAS SOUPS 114224 WITH SCORE 114348.721
AT ITER 2169 NEW BEST:: SOT 261127 SOS 124694 HAS SOPS 124694 HAS SOUS 114197 HAS SOUPS 114197 WITH SCORE 114321.694
AT ITER 2174 NEW BEST:: SOT 261053 SOS 124661 HAS SOPS 124661 HAS SOUS 114164 HAS SOUPS 114164 WITH SCORE 114288.661
AT ITER 2178 NEW BEST:: SOT 260965 SOS 123720 HAS SOPS 123720 HAS SOUS 113748 HAS SOUPS 113748 WITH SCORE 113871.72
AT ITER 2179 NEW BEST:: SOT 260849 SOS 122952 HAS SOPS 122952 HAS SOUS 113260 HAS SOUPS 113260 WITH SCORE 113382.952
AT ITER 2183 NEW BEST:: SOT 260627 SOS 122332 HAS SOPS 122332 HAS SOUS 112834 HAS SOUPS 112834 WITH SCORE 112956.332
AT ITER 2194 NEW BEST:: SOT 260627 SOS 122238 HAS SOPS 122238 HAS SOUS 112792 HAS SOUPS 112792 WITH SCORE 112914.238
AT ITER 2195 NEW BEST:: SOT 260596 SOS 122207 HAS SOPS 122207 HAS SOUS 112761 HAS SOUPS 112761 WITH SCORE 112883.207
AT ITER 2198 NEW BEST:: SOT 260595 SOS 122161 HAS SOPS 122161 HAS SOUS 112715 HAS SOUPS 112715 WITH SCORE 112837.161
AT ITER 2209 NEW BEST:: SOT 260552 SOS 122113 HAS SOPS 122113 HAS SOUS 112667 HAS SOUPS 112667 WITH SCORE 112789.113
AT ITER 2215 NEW BEST:: SOT 260175 SOS 121338 HAS SOPS 121338 HAS SOUS 112064 HAS SOUPS 112064 WITH SCORE 112185.338
AT ITER 2228 NEW BEST:: SOT 260175 SOS 121277 HAS SOPS 121277 HAS SOUS 112003 HAS SOUPS 112003 WITH SCORE 112124.277
AT ITER 2239 NEW BEST:: SOT 260180 SOS 121227 HAS SOPS 121227 HAS SOUS 111953 HAS SOUPS 111953 WITH SCORE 112074.227
AT ITER 2245 NEW BEST:: SOT 260205 SOS 121215 HAS SOPS 121215 HAS SOUS 111941 HAS SOUPS 111941 WITH SCORE 112062.215
AT ITER 2249 NEW BEST:: SOT 260202 SOS 121214 HAS SOPS 121214 HAS SOUS 111935 HAS SOUPS 111935 WITH SCORE 112056.214
AT ITER 2267 NEW BEST:: SOT 260202 SOS 121140 HAS SOPS 121140 HAS SOUS 111796 HAS SOUPS 111796 WITH SCORE 111917.14
AT ITER 2276 NEW BEST:: SOT 260233 SOS 121136 HAS SOPS 121136 HAS SOUS 111792 HAS SOUPS 111792 WITH SCORE 111913.136
AT ITER 2307 NEW BEST:: SOT 260151 SOS 120943 HAS SOPS 120943 HAS SOUS 111629 HAS SOUPS 111629 WITH SCORE 111749.943
AT ITER 2315 NEW BEST:: SOT 259963 SOS 120557 HAS SOPS 120557 HAS SOUS 111243 HAS SOUPS 111243 WITH SCORE 111363.557
AT ITER 2325 NEW BEST:: SOT 259967 SOS 120563 HAS SOPS 120563 HAS SOUS 111208 HAS SOUPS 111208 WITH SCORE 111328.563
AT ITER 2331 NEW BEST:: SOT 259917 SOS 120440 HAS SOPS 120440 HAS SOUS 111038 HAS SOUPS 111038 WITH SCORE 111158.44
AT ITER 2337 NEW BEST:: SOT 259739 SOS 120642 HAS SOPS 120642 HAS SOUS 110984 HAS SOUPS 110984 WITH SCORE 111104.642
AT ITER 2339 NEW BEST:: SOT 259637 SOS 120488 HAS SOPS 120488 HAS SOUS 110830 HAS SOUPS 110830 WITH SCORE 110950.488
AT ITER 2352 NEW BEST:: SOT 259604 SOS 120408 HAS SOPS 120408 HAS SOUS 110750 HAS SOUPS 110750 WITH SCORE 110870.408
AT ITER 2371 NEW BEST:: SOT 259577 SOS 120381 HAS SOPS 120381 HAS SOUS 110723 HAS SOUPS 110723 WITH SCORE 110843.381
AT ITER 2385 NEW BEST:: SOT 259562 SOS 120208 HAS SOPS 120208 HAS SOUS 110668 HAS SOUPS 110668 WITH SCORE 110788.208
AT ITER 2393 NEW BEST:: SOT 259558 SOS 120200 HAS SOPS 120200 HAS SOUS 110664 HAS SOUPS 110664 WITH SCORE 110784.2
AT ITER 2409 NEW BEST:: SOT 259396 SOS 119957 HAS SOPS 119957 HAS SOUS 110421 HAS SOUPS 110421 WITH SCORE 110540.957
AT ITER 2449 NEW BEST:: SOT 258623 SOS 118918 HAS SOPS 118918 HAS SOUS 109382 HAS SOUPS 109382 WITH SCORE 109500.918
AT ITER 2466 NEW BEST:: SOT 258499 SOS 118758 HAS SOPS 118758 HAS SOUS 109222 HAS SOUPS 109222 WITH SCORE 109340.758
AT ITER 2479 NEW BEST:: SOT 257994 SOS 118131 HAS SOPS 118131 HAS SOUS 108337 HAS SOUPS 108337 WITH SCORE 108455.131
AT ITER 2485 NEW BEST:: SOT 257994 SOS 118121 HAS SOPS 118121 HAS SOUS 108337 HAS SOUPS 108337 WITH SCORE 108455.121
AT ITER 2487 NEW BEST:: SOT 257868 SOS 117995 HAS SOPS 117995 HAS SOUS 108211 HAS SOUPS 108211 WITH SCORE 108328.995
AT ITER 2500 NEW BEST:: SOT 257580 SOS 117047 HAS SOPS 117047 HAS SOUS 107593 HAS SOUPS 107593 WITH SCORE 107710.047
AT ITER 2501 NEW BEST:: SOT 257574 SOS 117160 HAS SOPS 117160 HAS SOUS 107545 HAS SOUPS 107545 WITH SCORE 107662.16
AT ITER 2504 NEW BEST:: SOT 257574 SOS 117071 HAS SOPS 117071 HAS SOUS 107469 HAS SOUPS 107469 WITH SCORE 107586.071
AT ITER 2538 NEW BEST:: SOT 257289 SOS 116867 HAS SOPS 116867 HAS SOUS 107349 HAS SOUPS 107349 WITH SCORE 107465.867
AT ITER 2543 NEW BEST:: SOT 257165 SOS 116367 HAS SOPS 116367 HAS SOUS 106997 HAS SOUPS 106997 WITH SCORE 107113.367
AT ITER 2549 NEW BEST:: SOT 257074 SOS 116232 HAS SOPS 116232 HAS SOUS 106806 HAS SOUPS 106806 WITH SCORE 106922.232
AT ITER 2560 NEW BEST:: SOT 257040 SOS 116198 HAS SOPS 116198 HAS SOUS 106800 HAS SOUPS 106800 WITH SCORE 106916.198
AT ITER 2566 NEW BEST:: SOT 256938 SOS 116293 HAS SOPS 116293 HAS SOUS 106656 HAS SOUPS 106656 WITH SCORE 106772.293
AT ITER 2571 NEW BEST:: SOT 256855 SOS 116110 HAS SOPS 116110 HAS SOUS 106523 HAS SOUPS 106523 WITH SCORE 106639.11
AT ITER 2590 NEW BEST:: SOT 256811 SOS 116069 HAS SOPS 116069 HAS SOUS 106482 HAS SOUPS 106482 WITH SCORE 106598.069
AT ITER 2598 NEW BEST:: SOT 256786 SOS 116052 HAS SOPS 116052 HAS SOUS 106436 HAS SOUPS 106436 WITH SCORE 106552.052
AT ITER 2601 NEW BEST:: SOT 256642 SOS 115908 HAS SOPS 115908 HAS SOUS 106292 HAS SOUPS 106292 WITH SCORE 106407.908
AT ITER 2612 NEW BEST:: SOT 256491 SOS 115762 HAS SOPS 115762 HAS SOUS 106073 HAS SOUPS 106073 WITH SCORE 106188.762
AT ITER 2614 NEW BEST:: SOT 256461 SOS 115732 HAS SOPS 115732 HAS SOUS 106013 HAS SOUPS 106013 WITH SCORE 106128.732
AT ITER 2621 NEW BEST:: SOT 256447 SOS 115718 HAS SOPS 115718 HAS SOUS 105999 HAS SOUPS 105999 WITH SCORE 106114.718
AT ITER 2624 NEW BEST:: SOT 256447 SOS 115710 HAS SOPS 115710 HAS SOUS 105998 HAS SOUPS 105998 WITH SCORE 106113.71
AT ITER 2631 NEW BEST:: SOT 256421 SOS 115684 HAS SOPS 115684 HAS SOUS 105946 HAS SOUPS 105946 WITH SCORE 106061.684
AT ITER 2640 NEW BEST:: SOT 256395 SOS 115646 HAS SOPS 115646 HAS SOUS 105908 HAS SOUPS 105908 WITH SCORE 106023.646
AT ITER 2650 NEW BEST:: SOT 256316 SOS 115444 HAS SOPS 115444 HAS SOUS 105688 HAS SOUPS 105688 WITH SCORE 105803.444
AT ITER 2652 NEW BEST:: SOT 256314 SOS 115358 HAS SOPS 115358 HAS SOUS 105630 HAS SOUPS 105630 WITH SCORE 105745.358
AT ITER 2660 NEW BEST:: SOT 256268 SOS 115174 HAS SOPS 115174 HAS SOUS 105492 HAS SOUPS 105492 WITH SCORE 105607.174
AT ITER 2666 NEW BEST:: SOT 256291 SOS 115146 HAS SOPS 115146 HAS SOUS 105464 HAS SOUPS 105464 WITH SCORE 105579.146
AT ITER 2678 NEW BEST:: SOT 256305 SOS 115144 HAS SOPS 115144 HAS SOUS 105462 HAS SOUPS 105462 WITH SCORE 105577.144
AT ITER 2680 NEW BEST:: SOT 256142 SOS 114923 HAS SOPS 114923 HAS SOUS 105215 HAS SOUPS 105215 WITH SCORE 105329.923
AT ITER 2690 NEW BEST:: SOT 256142 SOS 114923 HAS SOPS 114923 HAS SOUS 105210 HAS SOUPS 105210 WITH SCORE 105324.923
AT ITER 2699 NEW BEST:: SOT 256114 SOS 114815 HAS SOPS 114815 HAS SOUS 105175 HAS SOUPS 105175 WITH SCORE 105289.815
AT ITER 2703 NEW BEST:: SOT 256090 SOS 114479 HAS SOPS 114479 HAS SOUS 104926 HAS SOUPS 104926 WITH SCORE 105040.479
AT ITER 2706 NEW BEST:: SOT 256090 SOS 114345 HAS SOPS 114345 HAS SOUS 104792 HAS SOUPS 104792 WITH SCORE 104906.345
AT ITER 2713 NEW BEST:: SOT 256047 SOS 114284 HAS SOPS 114284 HAS SOUS 104763 HAS SOUPS 104763 WITH SCORE 104877.284
AT ITER 2729 NEW BEST:: SOT 256038 SOS 114275 HAS SOPS 114275 HAS SOUS 104754 HAS SOUPS 104754 WITH SCORE 104868.275
AT ITER 2730 NEW BEST:: SOT 255926 SOS 114163 HAS SOPS 114163 HAS SOUS 104642 HAS SOUPS 104642 WITH SCORE 104756.163
AT ITER 2765 NEW BEST:: SOT 255919 SOS 114156 HAS SOPS 114156 HAS SOUS 104628 HAS SOUPS 104628 WITH SCORE 104742.156
AT ITER 2790 NEW BEST:: SOT 255953 SOS 114108 HAS SOPS 114108 HAS SOUS 104595 HAS SOUPS 104595 WITH SCORE 104709.108
AT ITER 2796 NEW BEST:: SOT 255917 SOS 114072 HAS SOPS 114072 HAS SOUS 104582 HAS SOUPS 104582 WITH SCORE 104696.072
AT ITER 2800 NEW BEST:: SOT 255917 SOS 114068 HAS SOPS 114068 HAS SOUS 104582 HAS SOUPS 104582 WITH SCORE 104696.068
AT ITER 2805 NEW BEST:: SOT 255899 SOS 114014 HAS SOPS 114014 HAS SOUS 104546 HAS SOUPS 104546 WITH SCORE 104660.014
AT ITER 2827 NEW BEST:: SOT 255890 SOS 113992 HAS SOPS 113992 HAS SOUS 104524 HAS SOUPS 104524 WITH SCORE 104637.992
AT ITER 2829 NEW BEST:: SOT 255589 SOS 113740 HAS SOPS 113740 HAS SOUS 104272 HAS SOUPS 104272 WITH SCORE 104385.74
AT ITER 2833 NEW BEST:: SOT 255584 SOS 113730 HAS SOPS 113730 HAS SOUS 104262 HAS SOUPS 104262 WITH SCORE 104375.73
AT ITER 2835 NEW BEST:: SOT 255584 SOS 113580 HAS SOPS 113580 HAS SOUS 104164 HAS SOUPS 104164 WITH SCORE 104277.58
AT ITER 2839 NEW BEST:: SOT 255540 SOS 113536 HAS SOPS 113536 HAS SOUS 104120 HAS SOUPS 104120 WITH SCORE 104233.536
AT ITER 2850 NEW BEST:: SOT 255385 SOS 113275 HAS SOPS 113275 HAS SOUS 103859 HAS SOUPS 103859 WITH SCORE 103972.275
AT ITER 2857 NEW BEST:: SOT 255365 SOS 113253 HAS SOPS 113253 HAS SOUS 103837 HAS SOUPS 103837 WITH SCORE 103950.253
AT ITER 2863 NEW BEST:: SOT 255365 SOS 113241 HAS SOPS 113241 HAS SOUS 103825 HAS SOUPS 103825 WITH SCORE 103938.241
AT ITER 2868 NEW BEST:: SOT 255365 SOS 113116 HAS SOPS 113116 HAS SOUS 103700 HAS SOUPS 103700 WITH SCORE 103813.116
AT ITER 2898 NEW BEST:: SOT 255267 SOS 112864 HAS SOPS 112864 HAS SOUS 103479 HAS SOUPS 103479 WITH SCORE 103591.864
AT ITER 2915 NEW BEST:: SOT 255291 SOS 112817 HAS SOPS 112817 HAS SOUS 103468 HAS SOUPS 103468 WITH SCORE 103580.817
AT ITER 2927 NEW BEST:: SOT 255288 SOS 112808 HAS SOPS 112808 HAS SOUS 103462 HAS SOUPS 103462 WITH SCORE 103574.808
AT ITER 2936 NEW BEST:: SOT 255155 SOS 112490 HAS SOPS 112490 HAS SOUS 103027 HAS SOUPS 103027 WITH SCORE 103139.49
AT ITER 2951 NEW BEST:: SOT 255155 SOS 112432 HAS SOPS 112432 HAS SOUS 102969 HAS SOUPS 102969 WITH SCORE 103081.432
AT ITER 2953 NEW BEST:: SOT 255152 SOS 112428 HAS SOPS 112428 HAS SOUS 102965 HAS SOUPS 102965 WITH SCORE 103077.428
AT ITER 2963 NEW BEST:: SOT 254989 SOS 112324 HAS SOPS 112324 HAS SOUS 102757 HAS SOUPS 102757 WITH SCORE 102869.324
AT ITER 2967 NEW BEST:: SOT 254786 SOS 111779 HAS SOPS 111779 HAS SOUS 102337 HAS SOUPS 102337 WITH SCORE 102448.779
AT ITER 2972 NEW BEST:: SOT 254860 SOS 111811 HAS SOPS 111811 HAS SOUS 102263 HAS SOUPS 102263 WITH SCORE 102374.811
AT ITER 2973 NEW BEST:: SOT 254834 SOS 111785 HAS SOPS 111785 HAS SOUS 102263 HAS SOUPS 102263 WITH SCORE 102374.785
AT ITER 2979 NEW BEST:: SOT 254832 SOS 111605 HAS SOPS 111605 HAS SOUS 102229 HAS SOUPS 102229 WITH SCORE 102340.605
AT ITER 2990 NEW BEST:: SOT 254711 SOS 111582 HAS SOPS 111582 HAS SOUS 102206 HAS SOUPS 102206 WITH SCORE 102317.582
AT ITER 2992 NEW BEST:: SOT 254708 SOS 111555 HAS SOPS 111555 HAS SOUS 102195 HAS SOUPS 102195 WITH SCORE 102306.555
AT ITER 3004 NEW BEST:: SOT 254618 SOS 111465 HAS SOPS 111465 HAS SOUS 102105 HAS SOUPS 102105 WITH SCORE 102216.465
AT ITER 3005 NEW BEST:: SOT 254691 SOS 111319 HAS SOPS 111319 HAS SOUS 101959 HAS SOUPS 101959 WITH SCORE 102070.319
AT ITER 3010 NEW BEST:: SOT 254856 SOS 111209 HAS SOPS 111209 HAS SOUS 101849 HAS SOUPS 101849 WITH SCORE 101960.209
AT ITER 3014 NEW BEST:: SOT 254726 SOS 111079 HAS SOPS 111079 HAS SOUS 101645 HAS SOUPS 101645 WITH SCORE 101756.079
AT ITER 3020 NEW BEST:: SOT 254708 SOS 110932 HAS SOPS 110932 HAS SOUS 101498 HAS SOUPS 101498 WITH SCORE 101608.932
AT ITER 3028 NEW BEST:: SOT 254714 SOS 110716 HAS SOPS 110716 HAS SOUS 101446 HAS SOUPS 101446 WITH SCORE 101556.716
AT ITER 3032 NEW BEST:: SOT 254649 SOS 110651 HAS SOPS 110651 HAS SOUS 101381 HAS SOUPS 101381 WITH SCORE 101491.651
AT ITER 3036 NEW BEST:: SOT 254689 SOS 110048 HAS SOPS 110048 HAS SOUS 101246 HAS SOUPS 101246 WITH SCORE 101356.048
AT ITER 3047 NEW BEST:: SOT 254606 SOS 109698 HAS SOPS 109698 HAS SOUS 100896 HAS SOUPS 100896 WITH SCORE 101005.698
AT ITER 3048 NEW BEST:: SOT 254585 SOS 109677 HAS SOPS 109677 HAS SOUS 100875 HAS SOUPS 100875 WITH SCORE 100984.677
AT ITER 3050 NEW BEST:: SOT 254159 SOS 109387 HAS SOPS 109387 HAS SOUS 100356 HAS SOUPS 100356 WITH SCORE 100465.387
AT ITER 3052 NEW BEST:: SOT 254061 SOS 109288 HAS SOPS 109288 HAS SOUS 100257 HAS SOUPS 100257 WITH SCORE 100366.288
AT ITER 3058 NEW BEST:: SOT 254061 SOS 109278 HAS SOPS 109278 HAS SOUS 100247 HAS SOUPS 100247 WITH SCORE 100356.278
AT ITER 3068 NEW BEST:: SOT 254033 SOS 109138 HAS SOPS 109138 HAS SOUS 100179 HAS SOUPS 100179 WITH SCORE 100288.138
AT ITER 3075 NEW BEST:: SOT 254020 SOS 109125 HAS SOPS 109125 HAS SOUS 100166 HAS SOUPS 100166 WITH SCORE 100275.125
AT ITER 3081 NEW BEST:: SOT 253762 SOS 108867 HAS SOPS 108867 HAS SOUS 99908 HAS SOUPS 99908 WITH SCORE 100016.867
AT ITER 3084 NEW BEST:: SOT 253691 SOS 108796 HAS SOPS 108796 HAS SOUS 99837 HAS SOUPS 99837 WITH SCORE 99945.796
AT ITER 3085 NEW BEST:: SOT 253617 SOS 108744 HAS SOPS 108744 HAS SOUS 99785 HAS SOUPS 99785 WITH SCORE 99893.744
AT ITER 3090 NEW BEST:: SOT 253641 SOS 108733 HAS SOPS 108733 HAS SOUS 99774 HAS SOUPS 99774 WITH SCORE 99882.733
AT ITER 3098 NEW BEST:: SOT 253597 SOS 108565 HAS SOPS 108565 HAS SOUS 99651 HAS SOUPS 99651 WITH SCORE 99759.565
AT ITER 3104 NEW BEST:: SOT 253402 SOS 108302 HAS SOPS 108302 HAS SOUS 99388 HAS SOUPS 99388 WITH SCORE 99496.302
AT ITER 3105 NEW BEST:: SOT 253391 SOS 108294 HAS SOPS 108294 HAS SOUS 99380 HAS SOUPS 99380 WITH SCORE 99488.294
AT ITER 3109 NEW BEST:: SOT 253345 SOS 108261 HAS SOPS 108261 HAS SOUS 99347 HAS SOUPS 99347 WITH SCORE 99455.261
AT ITER 3114 NEW BEST:: SOT 253309 SOS 108225 HAS SOPS 108225 HAS SOUS 99242 HAS SOUPS 99242 WITH SCORE 99350.225
AT ITER 3124 NEW BEST:: SOT 253271 SOS 108149 HAS SOPS 108149 HAS SOUS 99204 HAS SOUPS 99204 WITH SCORE 99312.149
AT ITER 3127 NEW BEST:: SOT 253212 SOS 108121 HAS SOPS 108121 HAS SOUS 99176 HAS SOUPS 99176 WITH SCORE 99284.121
AT ITER 3142 NEW BEST:: SOT 253209 SOS 108118 HAS SOPS 108118 HAS SOUS 99173 HAS SOUPS 99173 WITH SCORE 99281.118
AT ITER 3147 NEW BEST:: SOT 253210 SOS 107955 HAS SOPS 107955 HAS SOUS 99133 HAS SOUPS 99133 WITH SCORE 99240.955
AT ITER 3157 NEW BEST:: SOT 253176 SOS 107856 HAS SOPS 107856 HAS SOUS 99034 HAS SOUPS 99034 WITH SCORE 99141.856
AT ITER 3172 NEW BEST:: SOT 253156 SOS 107776 HAS SOPS 107776 HAS SOUS 98994 HAS SOUPS 98994 WITH SCORE 99101.776
AT ITER 3179 NEW BEST:: SOT 253139 SOS 107385 HAS SOPS 107385 HAS SOUS 98781 HAS SOUPS 98781 WITH SCORE 98888.385
AT ITER 3180 NEW BEST:: SOT 253089 SOS 107285 HAS SOPS 107285 HAS SOUS 98731 HAS SOUPS 98731 WITH SCORE 98838.285
AT ITER 3181 NEW BEST:: SOT 253026 SOS 107221 HAS SOPS 107221 HAS SOUS 98667 HAS SOUPS 98667 WITH SCORE 98774.221
AT ITER 3202 NEW BEST:: SOT 252932 SOS 107061 HAS SOPS 107061 HAS SOUS 98507 HAS SOUPS 98507 WITH SCORE 98614.061
AT ITER 3207 NEW BEST:: SOT 252856 SOS 106929 HAS SOPS 106929 HAS SOUS 98368 HAS SOUPS 98368 WITH SCORE 98474.929
AT ITER 3217 NEW BEST:: SOT 252578 SOS 106501 HAS SOPS 106501 HAS SOUS 97922 HAS SOUPS 97922 WITH SCORE 98028.501
AT ITER 3224 NEW BEST:: SOT 252563 SOS 106499 HAS SOPS 106499 HAS SOUS 97921 HAS SOUPS 97921 WITH SCORE 98027.499
AT ITER 3227 NEW BEST:: SOT 252539 SOS 106334 HAS SOPS 106334 HAS SOUS 97786 HAS SOUPS 97786 WITH SCORE 97892.334
AT ITER 3235 NEW BEST:: SOT 252486 SOS 106239 HAS SOPS 106239 HAS SOUS 97719 HAS SOUPS 97719 WITH SCORE 97825.239
AT ITER 3237 NEW BEST:: SOT 251938 SOS 105691 HAS SOPS 105691 HAS SOUS 97171 HAS SOUPS 97171 WITH SCORE 97276.691
AT ITER 3256 NEW BEST:: SOT 251935 SOS 105688 HAS SOPS 105688 HAS SOUS 97168 HAS SOUPS 97168 WITH SCORE 97273.688
AT ITER 3260 NEW BEST:: SOT 251944 SOS 105631 HAS SOPS 105631 HAS SOUS 97130 HAS SOUPS 97130 WITH SCORE 97235.631
AT ITER 3267 NEW BEST:: SOT 251944 SOS 105645 HAS SOPS 105645 HAS SOUS 97093 HAS SOUPS 97093 WITH SCORE 97198.645
AT ITER 3276 NEW BEST:: SOT 251942 SOS 105641 HAS SOPS 105641 HAS SOUS 97089 HAS SOUPS 97089 WITH SCORE 97194.641
AT ITER 3284 NEW BEST:: SOT 251942 SOS 105641 HAS SOPS 105641 HAS SOUS 97087 HAS SOUPS 97087 WITH SCORE 97192.641
AT ITER 3295 NEW BEST:: SOT 251640 SOS 105206 HAS SOPS 105206 HAS SOUS 96652 HAS SOUPS 96652 WITH SCORE 96757.206
AT ITER 3325 NEW BEST:: SOT 251640 SOS 105185 HAS SOPS 105185 HAS SOUS 96650 HAS SOUPS 96650 WITH SCORE 96755.185
AT ITER 3329 NEW BEST:: SOT 251454 SOS 104960 HAS SOPS 104960 HAS SOUS 96425 HAS SOUPS 96425 WITH SCORE 96529.96
AT ITER 3338 NEW BEST:: SOT 251449 SOS 104955 HAS SOPS 104955 HAS SOUS 96420 HAS SOUPS 96420 WITH SCORE 96524.955
AT ITER 3347 NEW BEST:: SOT 251442 SOS 104952 HAS SOPS 104952 HAS SOUS 96363 HAS SOUPS 96363 WITH SCORE 96467.952
AT ITER 3357 NEW BEST:: SOT 251412 SOS 104837 HAS SOPS 104837 HAS SOUS 96214 HAS SOUPS 96214 WITH SCORE 96318.837
AT ITER 3366 NEW BEST:: SOT 251223 SOS 104414 HAS SOPS 104414 HAS SOUS 95908 HAS SOUPS 95908 WITH SCORE 96012.414
AT ITER 3374 NEW BEST:: SOT 251212 SOS 104367 HAS SOPS 104367 HAS SOUS 95861 HAS SOUPS 95861 WITH SCORE 95965.367
AT ITER 3394 NEW BEST:: SOT 251179 SOS 104301 HAS SOPS 104301 HAS SOUS 95810 HAS SOUPS 95810 WITH SCORE 95914.301
AT ITER 3396 NEW BEST:: SOT 251135 SOS 104191 HAS SOPS 104191 HAS SOUS 95722 HAS SOUPS 95722 WITH SCORE 95826.191
AT ITER 3406 NEW BEST:: SOT 251071 SOS 104022 HAS SOPS 104022 HAS SOUS 95617 HAS SOUPS 95617 WITH SCORE 95721.022
AT ITER 3410 NEW BEST:: SOT 251070 SOS 104000 HAS SOPS 104000 HAS SOUS 95614 HAS SOUPS 95614 WITH SCORE 95718.0
AT ITER 3418 NEW BEST:: SOT 251055 SOS 103985 HAS SOPS 103985 HAS SOUS 95599 HAS SOUPS 95599 WITH SCORE 95702.985
AT ITER 3421 NEW BEST:: SOT 251118 SOS 103992 HAS SOPS 103992 HAS SOUS 95571 HAS SOUPS 95571 WITH SCORE 95674.992
AT ITER 3430 NEW BEST:: SOT 251030 SOS 103904 HAS SOPS 103904 HAS SOUS 95483 HAS SOUPS 95483 WITH SCORE 95586.904
AT ITER 3431 NEW BEST:: SOT 251030 SOS 103841 HAS SOPS 103841 HAS SOUS 95447 HAS SOUPS 95447 WITH SCORE 95550.841
AT ITER 3434 NEW BEST:: SOT 251030 SOS 103771 HAS SOPS 103771 HAS SOUS 95377 HAS SOUPS 95377 WITH SCORE 95480.771
AT ITER 3437 NEW BEST:: SOT 251003 SOS 103744 HAS SOPS 103744 HAS SOUS 95350 HAS SOUPS 95350 WITH SCORE 95453.744
AT ITER 3441 NEW BEST:: SOT 251003 SOS 103712 HAS SOPS 103712 HAS SOUS 95350 HAS SOUPS 95350 WITH SCORE 95453.712
AT ITER 3457 NEW BEST:: SOT 250989 SOS 103698 HAS SOPS 103698 HAS SOUS 95336 HAS SOUPS 95336 WITH SCORE 95439.698
AT ITER 3462 NEW BEST:: SOT 251006 SOS 103507 HAS SOPS 103507 HAS SOUS 95145 HAS SOUPS 95145 WITH SCORE 95248.507
AT ITER 3465 NEW BEST:: SOT 251006 SOS 103447 HAS SOPS 103447 HAS SOUS 95114 HAS SOUPS 95114 WITH SCORE 95217.447
AT ITER 3471 NEW BEST:: SOT 250705 SOS 103109 HAS SOPS 103109 HAS SOUS 94776 HAS SOUPS 94776 WITH SCORE 94879.109
AT ITER 3481 NEW BEST:: SOT 250772 SOS 103029 HAS SOPS 103029 HAS SOUS 94696 HAS SOUPS 94696 WITH SCORE 94799.029
AT ITER 3485 NEW BEST:: SOT 250759 SOS 103003 HAS SOPS 103003 HAS SOUS 94670 HAS SOUPS 94670 WITH SCORE 94773.003
AT ITER 3501 NEW BEST:: SOT 250645 SOS 102845 HAS SOPS 102845 HAS SOUS 94519 HAS SOUPS 94519 WITH SCORE 94621.845
AT ITER 3508 NEW BEST:: SOT 250578 SOS 102895 HAS SOPS 102895 HAS SOUS 94474 HAS SOUPS 94474 WITH SCORE 94576.895
AT ITER 3531 NEW BEST:: SOT 250578 SOS 102816 HAS SOPS 102816 HAS SOUS 94428 HAS SOUPS 94428 WITH SCORE 94530.816
AT ITER 3535 NEW BEST:: SOT 250541 SOS 102779 HAS SOPS 102779 HAS SOUS 94391 HAS SOUPS 94391 WITH SCORE 94493.779
AT ITER 3546 NEW BEST:: SOT 250517 SOS 102775 HAS SOPS 102775 HAS SOUS 94383 HAS SOUPS 94383 WITH SCORE 94485.775
AT ITER 3551 NEW BEST:: SOT 250507 SOS 102765 HAS SOPS 102765 HAS SOUS 94373 HAS SOUPS 94373 WITH SCORE 94475.765
AT ITER 3555 NEW BEST:: SOT 250505 SOS 102763 HAS SOPS 102763 HAS SOUS 94360 HAS SOUPS 94360 WITH SCORE 94462.763
AT ITER 3569 NEW BEST:: SOT 250508 SOS 102532 HAS SOPS 102532 HAS SOUS 94201 HAS SOUPS 94201 WITH SCORE 94303.532
AT ITER 3600 NEW BEST:: SOT 250521 SOS 102727 HAS SOPS 102727 HAS SOUS 94151 HAS SOUPS 94151 WITH SCORE 94253.727
AT ITER 3611 NEW BEST:: SOT 250479 SOS 102664 HAS SOPS 102664 HAS SOUS 94088 HAS SOUPS 94088 WITH SCORE 94190.664
AT ITER 3621 NEW BEST:: SOT 250465 SOS 102632 HAS SOPS 102632 HAS SOUS 94054 HAS SOUPS 94054 WITH SCORE 94156.632
AT ITER 3625 NEW BEST:: SOT 250376 SOS 102536 HAS SOPS 102536 HAS SOUS 93991 HAS SOUPS 93991 WITH SCORE 94093.536
AT ITER 3656 NEW BEST:: SOT 250371 SOS 102531 HAS SOPS 102531 HAS SOUS 93986 HAS SOUPS 93986 WITH SCORE 94088.531
AT ITER 3677 NEW BEST:: SOT 250360 SOS 102476 HAS SOPS 102476 HAS SOUS 93981 HAS SOUPS 93981 WITH SCORE 94083.476
AT ITER 3680 NEW BEST:: SOT 250313 SOS 102432 HAS SOPS 102432 HAS SOUS 93937 HAS SOUPS 93937 WITH SCORE 94039.432
AT ITER 3687 NEW BEST:: SOT 250308 SOS 102422 HAS SOPS 102422 HAS SOUS 93932 HAS SOUPS 93932 WITH SCORE 94034.422
AT ITER 3692 NEW BEST:: SOT 250208 SOS 102274 HAS SOPS 102274 HAS SOUS 93784 HAS SOUPS 93784 WITH SCORE 93886.274
AT ITER 3695 NEW BEST:: SOT 250076 SOS 102140 HAS SOPS 102140 HAS SOUS 93650 HAS SOUPS 93650 WITH SCORE 93752.14
AT ITER 3699 NEW BEST:: SOT 250033 SOS 102082 HAS SOPS 102082 HAS SOUS 93592 HAS SOUPS 93592 WITH SCORE 93694.082
AT ITER 3710 NEW BEST:: SOT 250033 SOS 102081 HAS SOPS 102081 HAS SOUS 93591 HAS SOUPS 93591 WITH SCORE 93693.081
AT ITER 3714 NEW BEST:: SOT 250030 SOS 101987 HAS SOPS 101987 HAS SOUS 93542 HAS SOUPS 93542 WITH SCORE 93643.987
AT ITER 3720 NEW BEST:: SOT 250030 SOS 101984 HAS SOPS 101984 HAS SOUS 93539 HAS SOUPS 93539 WITH SCORE 93640.984
AT ITER 3734 NEW BEST:: SOT 249995 SOS 101975 HAS SOPS 101975 HAS SOUS 93530 HAS SOUPS 93530 WITH SCORE 93631.975
AT ITER 3741 NEW BEST:: SOT 249977 SOS 101921 HAS SOPS 101921 HAS SOUS 93500 HAS SOUPS 93500 WITH SCORE 93601.921
AT ITER 3745 NEW BEST:: SOT 249967 SOS 101911 HAS SOPS 101911 HAS SOUS 93474 HAS SOUPS 93474 WITH SCORE 93575.911
AT ITER 3766 NEW BEST:: SOT 249956 SOS 101900 HAS SOPS 101900 HAS SOUS 93463 HAS SOUPS 93463 WITH SCORE 93564.9
AT ITER 3769 NEW BEST:: SOT 249919 SOS 101814 HAS SOPS 101814 HAS SOUS 93396 HAS SOUPS 93396 WITH SCORE 93497.814
AT ITER 3772 NEW BEST:: SOT 249854 SOS 101749 HAS SOPS 101749 HAS SOUS 93331 HAS SOUPS 93331 WITH SCORE 93432.749
AT ITER 3797 NEW BEST:: SOT 249854 SOS 101741 HAS SOPS 101741 HAS SOUS 93326 HAS SOUPS 93326 WITH SCORE 93427.741
AT ITER 3800 NEW BEST:: SOT 249741 SOS 101515 HAS SOPS 101515 HAS SOUS 93100 HAS SOUPS 93100 WITH SCORE 93201.515
AT ITER 3811 NEW BEST:: SOT 249707 SOS 101409 HAS SOPS 101409 HAS SOUS 93006 HAS SOUPS 93006 WITH SCORE 93107.409
AT ITER 3827 NEW BEST:: SOT 249679 SOS 101379 HAS SOPS 101379 HAS SOUS 92976 HAS SOUPS 92976 WITH SCORE 93077.379
AT ITER 3833 NEW BEST:: SOT 249718 SOS 101242 HAS SOPS 101242 HAS SOUS 92953 HAS SOUPS 92953 WITH SCORE 93054.242
AT ITER 3839 NEW BEST:: SOT 249718 SOS 101192 HAS SOPS 101192 HAS SOUS 92903 HAS SOUPS 92903 WITH SCORE 93004.192
AT ITER 3840 NEW BEST:: SOT 249702 SOS 101172 HAS SOPS 101172 HAS SOUS 92883 HAS SOUPS 92883 WITH SCORE 92984.172
AT ITER 3845 NEW BEST:: SOT 249654 SOS 101124 HAS SOPS 101124 HAS SOUS 92835 HAS SOUPS 92835 WITH SCORE 92936.124
AT ITER 3851 NEW BEST:: SOT 249615 SOS 101063 HAS SOPS 101063 HAS SOUS 92752 HAS SOUPS 92752 WITH SCORE 92853.063
AT ITER 3912 NEW BEST:: SOT 249531 SOS 100811 HAS SOPS 100811 HAS SOUS 92584 HAS SOUPS 92584 WITH SCORE 92684.811
AT ITER 3942 NEW BEST:: SOT 249372 SOS 100652 HAS SOPS 100652 HAS SOUS 92425 HAS SOUPS 92425 WITH SCORE 92525.652
AT ITER 3948 NEW BEST:: SOT 249357 SOS 100637 HAS SOPS 100637 HAS SOUS 92405 HAS SOUPS 92405 WITH SCORE 92505.637
AT ITER 3949 NEW BEST:: SOT 249475 SOS 100755 HAS SOPS 100755 HAS SOUS 92379 HAS SOUPS 92379 WITH SCORE 92479.755
AT ITER 3956 NEW BEST:: SOT 249392 SOS 100672 HAS SOPS 100672 HAS SOUS 92376 HAS SOUPS 92376 WITH SCORE 92476.672
AT ITER 3977 NEW BEST:: SOT 249400 SOS 100626 HAS SOPS 100626 HAS SOUS 92326 HAS SOUPS 92326 WITH SCORE 92426.626
AT ITER 3979 NEW BEST:: SOT 249254 SOS 100453 HAS SOPS 100453 HAS SOUS 92112 HAS SOUPS 92112 WITH SCORE 92212.453
AT ITER 4002 NEW BEST:: SOT 249201 SOS 100357 HAS SOPS 100357 HAS SOUS 92043 HAS SOUPS 92043 WITH SCORE 92143.357
AT ITER 4021 NEW BEST:: SOT 249082 SOS 100238 HAS SOPS 100238 HAS SOUS 91924 HAS SOUPS 91924 WITH SCORE 92024.238
AT ITER 4026 NEW BEST:: SOT 249082 SOS 100092 HAS SOPS 100092 HAS SOUS 91807 HAS SOUPS 91807 WITH SCORE 91907.092
AT ITER 4032 NEW BEST:: SOT 249080 SOS 100082 HAS SOPS 100082 HAS SOUS 91801 HAS SOUPS 91801 WITH SCORE 91901.082
AT ITER 4033 NEW BEST:: SOT 249058 SOS 100060 HAS SOPS 100060 HAS SOUS 91801 HAS SOUPS 91801 WITH SCORE 91901.06
AT ITER 4042 NEW BEST:: SOT 249078 SOS 100074 HAS SOPS 100074 HAS SOUS 91783 HAS SOUPS 91783 WITH SCORE 91883.074
AT ITER 4046 NEW BEST:: SOT 249027 SOS 100023 HAS SOPS 100023 HAS SOUS 91769 HAS SOUPS 91769 WITH SCORE 91869.023
AT ITER 4085 NEW BEST:: SOT 249008 SOS 99871 HAS SOPS 99871 HAS SOUS 91617 HAS SOUPS 91617 WITH SCORE 91716.871
AT ITER 4097 NEW BEST:: SOT 248996 SOS 99859 HAS SOPS 99859 HAS SOUS 91588 HAS SOUPS 91588 WITH SCORE 91687.859
AT ITER 4106 NEW BEST:: SOT 248980 SOS 99779 HAS SOPS 99779 HAS SOUS 91556 HAS SOUPS 91556 WITH SCORE 91655.779
AT ITER 4123 NEW BEST:: SOT 248916 SOS 99674 HAS SOPS 99674 HAS SOUS 91430 HAS SOUPS 91430 WITH SCORE 91529.674
AT ITER 4128 NEW BEST:: SOT 248913 SOS 99745 HAS SOPS 99745 HAS SOUS 91420 HAS SOUPS 91420 WITH SCORE 91519.745
AT ITER 4129 NEW BEST:: SOT 248925 SOS 99694 HAS SOPS 99694 HAS SOUS 91384 HAS SOUPS 91384 WITH SCORE 91483.694
AT ITER 4133 NEW BEST:: SOT 248977 SOS 99710 HAS SOPS 99710 HAS SOUS 91368 HAS SOUPS 91368 WITH SCORE 91467.71
AT ITER 4172 NEW BEST:: SOT 248955 SOS 99686 HAS SOPS 99686 HAS SOUS 91344 HAS SOUPS 91344 WITH SCORE 91443.686
AT ITER 4173 NEW BEST:: SOT 248976 SOS 99529 HAS SOPS 99529 HAS SOUS 91212 HAS SOUPS 91212 WITH SCORE 91311.529
AT ITER 4178 NEW BEST:: SOT 248960 SOS 99500 HAS SOPS 99500 HAS SOUS 91183 HAS SOUPS 91183 WITH SCORE 91282.5
AT ITER 4179 NEW BEST:: SOT 248985 SOS 99525 HAS SOPS 99525 HAS SOUS 91171 HAS SOUPS 91171 WITH SCORE 91270.525
AT ITER 4191 NEW BEST:: SOT 248985 SOS 99492 HAS SOPS 99492 HAS SOUS 91138 HAS SOUPS 91138 WITH SCORE 91237.492
AT ITER 4206 NEW BEST:: SOT 248991 SOS 99498 HAS SOPS 99498 HAS SOUS 91116 HAS SOUPS 91116 WITH SCORE 91215.498
AT ITER 4207 NEW BEST:: SOT 248980 SOS 99478 HAS SOPS 99478 HAS SOUS 91096 HAS SOUPS 91096 WITH SCORE 91195.478
AT ITER 4209 NEW BEST:: SOT 248878 SOS 99121 HAS SOPS 99121 HAS SOUS 90814 HAS SOUPS 90814 WITH SCORE 90913.121
AT ITER 4212 NEW BEST:: SOT 248656 SOS 99009 HAS SOPS 99009 HAS SOUS 90702 HAS SOUPS 90702 WITH SCORE 90801.009
AT ITER 4234 NEW BEST:: SOT 248595 SOS 98948 HAS SOPS 98948 HAS SOUS 90641 HAS SOUPS 90641 WITH SCORE 90739.948
AT ITER 4236 NEW BEST:: SOT 248595 SOS 98947 HAS SOPS 98947 HAS SOUS 90640 HAS SOUPS 90640 WITH SCORE 90738.947
AT ITER 4247 NEW BEST:: SOT 248513 SOS 98872 HAS SOPS 98872 HAS SOUS 90565 HAS SOUPS 90565 WITH SCORE 90663.872
AT ITER 4269 NEW BEST:: SOT 248463 SOS 98776 HAS SOPS 98776 HAS SOUS 90465 HAS SOUPS 90465 WITH SCORE 90563.776
AT ITER 4275 NEW BEST:: SOT 248459 SOS 98772 HAS SOPS 98772 HAS SOUS 90461 HAS SOUPS 90461 WITH SCORE 90559.772
AT ITER 4279 NEW BEST:: SOT 248527 SOS 98271 HAS SOPS 98271 HAS SOUS 90118 HAS SOUPS 90118 WITH SCORE 90216.271
AT ITER 4284 NEW BEST:: SOT 248487 SOS 98173 HAS SOPS 98173 HAS SOUS 90038 HAS SOUPS 90038 WITH SCORE 90136.173
AT ITER 4295 NEW BEST:: SOT 248505 SOS 98171 HAS SOPS 98171 HAS SOUS 90036 HAS SOUPS 90036 WITH SCORE 90134.171
AT ITER 4308 NEW BEST:: SOT 248469 SOS 98130 HAS SOPS 98130 HAS SOUS 89995 HAS SOUPS 89995 WITH SCORE 90093.13
AT ITER 4353 NEW BEST:: SOT 248394 SOS 98055 HAS SOPS 98055 HAS SOUS 89920 HAS SOUPS 89920 WITH SCORE 90018.055
AT ITER 4362 NEW BEST:: SOT 248428 SOS 98025 HAS SOPS 98025 HAS SOUS 89890 HAS SOUPS 89890 WITH SCORE 89988.025
AT ITER 4391 NEW BEST:: SOT 248419 SOS 97998 HAS SOPS 97998 HAS SOUS 89863 HAS SOUPS 89863 WITH SCORE 89960.998
AT ITER 4408 NEW BEST:: SOT 248419 SOS 97985 HAS SOPS 97985 HAS SOUS 89858 HAS SOUPS 89858 WITH SCORE 89955.985
AT ITER 4429 NEW BEST:: SOT 248301 SOS 97801 HAS SOPS 97801 HAS SOUS 89674 HAS SOUPS 89674 WITH SCORE 89771.801
AT ITER 4468 NEW BEST:: SOT 248049 SOS 97514 HAS SOPS 97514 HAS SOUS 89387 HAS SOUPS 89387 WITH SCORE 89484.514
AT ITER 4471 NEW BEST:: SOT 248049 SOS 97458 HAS SOPS 97458 HAS SOUS 89331 HAS SOUPS 89331 WITH SCORE 89428.458
AT ITER 4513 NEW BEST:: SOT 248049 SOS 97370 HAS SOPS 97370 HAS SOUS 89257 HAS SOUPS 89257 WITH SCORE 89354.37
AT ITER 4519 NEW BEST:: SOT 248049 SOS 97365 HAS SOPS 97365 HAS SOUS 89252 HAS SOUPS 89252 WITH SCORE 89349.365
AT ITER 4520 NEW BEST:: SOT 248022 SOS 97248 HAS SOPS 97248 HAS SOUS 89195 HAS SOUPS 89195 WITH SCORE 89292.248
AT ITER 4530 NEW BEST:: SOT 248063 SOS 97197 HAS SOPS 97197 HAS SOUS 89144 HAS SOUPS 89144 WITH SCORE 89241.197
AT ITER 4531 NEW BEST:: SOT 248063 SOS 97159 HAS SOPS 97159 HAS SOUS 89103 HAS SOUPS 89103 WITH SCORE 89200.159
AT ITER 4532 NEW BEST:: SOT 248056 SOS 97152 HAS SOPS 97152 HAS SOUS 89103 HAS SOUPS 89103 WITH SCORE 89200.152
AT ITER 4534 NEW BEST:: SOT 248042 SOS 97093 HAS SOPS 97093 HAS SOUS 89059 HAS SOUPS 89059 WITH SCORE 89156.093
AT ITER 4542 NEW BEST:: SOT 247950 SOS 96959 HAS SOPS 96959 HAS SOUS 88911 HAS SOUPS 88911 WITH SCORE 89007.959
AT ITER 4566 NEW BEST:: SOT 247926 SOS 96890 HAS SOPS 96890 HAS SOUS 88842 HAS SOUPS 88842 WITH SCORE 88938.89
AT ITER 4574 NEW BEST:: SOT 247899 SOS 96809 HAS SOPS 96809 HAS SOUS 88793 HAS SOUPS 88793 WITH SCORE 88889.809
AT ITER 4585 NEW BEST:: SOT 247899 SOS 96813 HAS SOPS 96813 HAS SOUS 88788 HAS SOUPS 88788 WITH SCORE 88884.813
AT ITER 4600 NEW BEST:: SOT 247851 SOS 96665 HAS SOPS 96665 HAS SOUS 88640 HAS SOUPS 88640 WITH SCORE 88736.665
AT ITER 4601 NEW BEST:: SOT 247851 SOS 96643 HAS SOPS 96643 HAS SOUS 88632 HAS SOUPS 88632 WITH SCORE 88728.643
AT ITER 4617 NEW BEST:: SOT 247843 SOS 96635 HAS SOPS 96635 HAS SOUS 88624 HAS SOUPS 88624 WITH SCORE 88720.635
AT ITER 4641 NEW BEST:: SOT 247843 SOS 96600 HAS SOPS 96600 HAS SOUS 88589 HAS SOUPS 88589 WITH SCORE 88685.6
AT ITER 4668 NEW BEST:: SOT 247840 SOS 96597 HAS SOPS 96597 HAS SOUS 88586 HAS SOUPS 88586 WITH SCORE 88682.597
AT ITER 4670 NEW BEST:: SOT 247898 SOS 96570 HAS SOPS 96570 HAS SOUS 88563 HAS SOUPS 88563 WITH SCORE 88659.57
AT ITER 4671 NEW BEST:: SOT 247840 SOS 96512 HAS SOPS 96512 HAS SOUS 88453 HAS SOUPS 88453 WITH SCORE 88549.512
AT ITER 4676 NEW BEST:: SOT 247743 SOS 96405 HAS SOPS 96405 HAS SOUS 88360 HAS SOUPS 88360 WITH SCORE 88456.405
AT ITER 4681 NEW BEST:: SOT 247743 SOS 96397 HAS SOPS 96397 HAS SOUS 88352 HAS SOUPS 88352 WITH SCORE 88448.397
AT ITER 4689 NEW BEST:: SOT 247743 SOS 96304 HAS SOPS 96304 HAS SOUS 88259 HAS SOUPS 88259 WITH SCORE 88355.304
AT ITER 4693 NEW BEST:: SOT 247742 SOS 96303 HAS SOPS 96303 HAS SOUS 88258 HAS SOUPS 88258 WITH SCORE 88354.303
AT ITER 4702 NEW BEST:: SOT 247682 SOS 96135 HAS SOPS 96135 HAS SOUS 88138 HAS SOUPS 88138 WITH SCORE 88234.135
AT ITER 4713 NEW BEST:: SOT 247682 SOS 96133 HAS SOPS 96133 HAS SOUS 88125 HAS SOUPS 88125 WITH SCORE 88221.133
AT ITER 4715 NEW BEST:: SOT 247648 SOS 96099 HAS SOPS 96099 HAS SOUS 88091 HAS SOUPS 88091 WITH SCORE 88187.099
AT ITER 4741 NEW BEST:: SOT 247643 SOS 96092 HAS SOPS 96092 HAS SOUS 88081 HAS SOUPS 88081 WITH SCORE 88177.092
AT ITER 4750 NEW BEST:: SOT 247635 SOS 96080 HAS SOPS 96080 HAS SOUS 88069 HAS SOUPS 88069 WITH SCORE 88165.08
AT ITER 4752 NEW BEST:: SOT 247625 SOS 96060 HAS SOPS 96060 HAS SOUS 88049 HAS SOUPS 88049 WITH SCORE 88145.06
AT ITER 4764 NEW BEST:: SOT 247583 SOS 96018 HAS SOPS 96018 HAS SOUS 88007 HAS SOUPS 88007 WITH SCORE 88103.018
AT ITER 4772 NEW BEST:: SOT 247687 SOS 95729 HAS SOPS 95729 HAS SOUS 87866 HAS SOUPS 87866 WITH SCORE 87961.729
AT ITER 4778 NEW BEST:: SOT 247695 SOS 95716 HAS SOPS 95716 HAS SOUS 87862 HAS SOUPS 87862 WITH SCORE 87957.716
AT ITER 4786 NEW BEST:: SOT 247696 SOS 95418 HAS SOPS 95418 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87829.418
AT ITER 4791 NEW BEST:: SOT 247683 SOS 95345 HAS SOPS 95345 HAS SOUS 87687 HAS SOUPS 87687 WITH SCORE 87782.345
AT ITER 4800 NEW BEST:: SOT 247674 SOS 95298 HAS SOPS 95298 HAS SOUS 87640 HAS SOUPS 87640 WITH SCORE 87735.298
AT ITER 4814 NEW BEST:: SOT 247668 SOS 95292 HAS SOPS 95292 HAS SOUS 87634 HAS SOUPS 87634 WITH SCORE 87729.292
AT ITER 4839 NEW BEST:: SOT 247595 SOS 95219 HAS SOPS 95219 HAS SOUS 87561 HAS SOUPS 87561 WITH SCORE 87656.219
AT ITER 4841 NEW BEST:: SOT 247514 SOS 95138 HAS SOPS 95138 HAS SOUS 87480 HAS SOUPS 87480 WITH SCORE 87575.138
AT ITER 4850 NEW BEST:: SOT 247487 SOS 95111 HAS SOPS 95111 HAS SOUS 87468 HAS SOUPS 87468 WITH SCORE 87563.111
AT ITER 4854 NEW BEST:: SOT 247473 SOS 95097 HAS SOPS 95097 HAS SOUS 87454 HAS SOUPS 87454 WITH SCORE 87549.097
AT ITER 4889 NEW BEST:: SOT 247473 SOS 95094 HAS SOPS 95094 HAS SOUS 87451 HAS SOUPS 87451 WITH SCORE 87546.094
AT ITER 4906 NEW BEST:: SOT 247443 SOS 95040 HAS SOPS 95040 HAS SOUS 87401 HAS SOUPS 87401 WITH SCORE 87496.04
AT ITER 4917 NEW BEST:: SOT 247443 SOS 95016 HAS SOPS 95016 HAS SOUS 87401 HAS SOUPS 87401 WITH SCORE 87496.016
AT ITER 4918 NEW BEST:: SOT 247406 SOS 95021 HAS SOPS 95021 HAS SOUS 87383 HAS SOUPS 87383 WITH SCORE 87478.021
AT ITER 4924 NEW BEST:: SOT 247396 SOS 95005 HAS SOPS 95005 HAS SOUS 87364 HAS SOUPS 87364 WITH SCORE 87459.005
AT ITER 4926 NEW BEST:: SOT 247305 SOS 94914 HAS SOPS 94914 HAS SOUS 87273 HAS SOUPS 87273 WITH SCORE 87367.914
AT ITER 4929 NEW BEST:: SOT 247276 SOS 94848 HAS SOPS 94848 HAS SOUS 87215 HAS SOUPS 87215 WITH SCORE 87309.848
AT ITER 4935 NEW BEST:: SOT 247217 SOS 94825 HAS SOPS 94825 HAS SOUS 87186 HAS SOUPS 87186 WITH SCORE 87280.825
AT ITER 4961 NEW BEST:: SOT 247191 SOS 94777 HAS SOPS 94777 HAS SOUS 87160 HAS SOUPS 87160 WITH SCORE 87254.777
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-00 (EF( ((potential((tk(P318)>=1) & (tk(P320)>=1))))))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-01 (EF( (AG( (EG( ((potential((tk(P418)>=1) & (tk(P420)>=1))))))))))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-02 ( (EX( ( (AX( ((potential((tk(P657)>=1) & (tk(P672)>=1)))))) | (AX( ((potential((tk(P517)>=1) & (tk(P528)>=1)))))) ))) | (EG( (EF( ( ((potential((tk(P741)>=1)))) & ((potential((tk(P25)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-03 ( (! ( (AF( (! ((potential((tk(P332)>=1) & (tk(P347)>=1))))))) | ( (EG( ((potential((tk(P56)>=1) & (tk(P73)>=1)))))) & ( (! ((potential((tk(P375)>=1))))) | ((potential((tk(P71)>=1)))) ) ) )) | (EF( ( (AX( ((potential((tk(P632)>=1) & (tk(P647)>=1)))))) | (EX( ((potential((tk(P73)>=1)))))) ))) )
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-04 (EF( ( (! ( ( ((potential((tk(P41)>=1) & (tk(P75)>=1)))) | ((potential((tk(P696)>=1) & (tk(P711)>=1)))) ) & ( ((potential((tk(P550)>=1)))) | ((potential((tk(P630)>=1) & (tk(P649)>=1)))) ) )) & ( ( ((potential((tk(P42)>=1) & (tk(P53)>=1)))) & ((potential((tk(P377)>=1)))) ) | ((potential((tk(P648)>=1)))) ) )))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-05 ( (EF( ( (AG( ((potential((tk(P233)>=1) & (tk(P235)>=1)))))) & (AF( ((potential((tk(P444)>=1) & (tk(P451)>=1)))))) ))) | ((potential((tk(P87)>=1) & (tk(P97)>=1)))) )
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-06 (EU( (! (EX( ((potential((tk(P548)>=1))))))) , (AX( ( ((potential((tk(P237)>=1) & (tk(P247)>=1)))) & ((potential((tk(P134)>=1) & (tk(P151)>=1)))) ))) ))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-07 (EF( (! (! (EG( ((potential((tk(P579)>=1) & (tk(P602)>=1))))))))))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-08 (EU( (! (AX( ((potential((tk(P2)>=1) & (tk(P25)>=1))))))) , ( (AF( ((potential((tk(P602)>=1)))))) & (! ( ((potential((tk(P456)>=1) & (tk(P473)>=1)))) & ((potential((tk(P218)>=1) & (tk(P220)>=1)))) )) ) ))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-09 (EX( ( (! (EF( ((potential((tk(P30)>=1) & (tk(P49)>=1))))))) | ( (EX( ((potential((tk(P442)>=1) & (tk(P453)>=1)))))) | (AG( ((potential((tk(P184)>=1) & (tk(P201)>=1)))))) ) )))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-10 (AG( (AF( (! ((potential((tk(P493)>=1) & (tk(P495)>=1)))))))))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-11 ( ( (EX( (! ( ((potential((tk(P419)>=1) & (tk(P426)>=1)))) | ((potential((tk(P742)>=1) & (tk(P753)>=1)))) )))) | (! (AU( ((potential((tk(P34)>=1) & (tk(P51)>=1)))) , ((potential((tk(P487)>=1) & (tk(P497)>=1)))) ))) ) & (AG( (AF( (! ((potential((tk(P330)>=1) & (tk(P349)>=1))))))))) )
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-12 (EF( (EU( ( ((potential((tk(P668)>=1) & (tk(P670)>=1)))) | ((potential((tk(P427)>=1)))) ) , ( ((potential((tk(P408)>=1) & (tk(P410)>=1)))) | ((potential((tk(P59)>=1) & (tk(P76)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-13 (AF( ( (! (EF( ((potential((tk(P25)>=1))))))) | ((potential((tk(P46)>=1) & (tk(P61)>=1)))) )))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-14 (EF( ( (AU( ((potential((tk(P268)>=1) & (tk(P270)>=1)))) , ((potential((tk(P319)>=1) & (tk(P326)>=1)))) )) & ( ( ( ((potential((tk(P318)>=1) & (tk(P320)>=1)))) & ((potential((tk(P159)>=1) & (tk(P176)>=1)))) ) & ((potential((tk(P277)>=1)))) ) | (! ( ((potential((tk(P321)>=1) & (tk(P336)>=1)))) | ((potential((tk(P413)>=1) & (tk(P415)>=1)))) )) ) )))
PROPERTY: ShieldPPPt-PT-030A-CTLFireability-15 (EU( (EG( (! ((potential((tk(P127)>=1))))))) , ((potential((tk(P600)>=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="ShieldPPPt-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 ShieldPPPt-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-159033469800684"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-030A.tgz
mv ShieldPPPt-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 '
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 ;