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-159033469000155.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 ShieldIIPs-PT-030A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000155
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.1K May 14 00:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 00:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 07:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 07:43 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 253K 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 ShieldIIPs-PT-030A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-030A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435551133

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

GOT IT HERE. BS
Petri model created: 753 places, 723 transitions, 3246 arcs.
AT ITER 0 NEW BEST:: SOT 370533 SOS 286255 HAS SOPS 286255 HAS SOUS 241258 HAS SOUPS 241258 WITH SCORE 241544.255
AT ITER 11 NEW BEST:: SOT 370411 SOS 286133 HAS SOPS 286133 HAS SOUS 241136 HAS SOUPS 241136 WITH SCORE 241422.133
AT ITER 18 NEW BEST:: SOT 370253 SOS 286085 HAS SOPS 286085 HAS SOUS 241088 HAS SOUPS 241088 WITH SCORE 241374.085
AT ITER 20 NEW BEST:: SOT 370060 SOS 285954 HAS SOPS 285954 HAS SOUS 240957 HAS SOUPS 240957 WITH SCORE 241242.954
AT ITER 28 NEW BEST:: SOT 370059 SOS 285866 HAS SOPS 285866 HAS SOUS 240869 HAS SOUPS 240869 WITH SCORE 241154.866
AT ITER 37 NEW BEST:: SOT 369945 SOS 285637 HAS SOPS 285637 HAS SOUS 240640 HAS SOUPS 240640 WITH SCORE 240925.637
AT ITER 38 NEW BEST:: SOT 369586 SOS 285278 HAS SOPS 285278 HAS SOUS 240281 HAS SOUPS 240281 WITH SCORE 240566.278
AT ITER 41 NEW BEST:: SOT 369553 SOS 285113 HAS SOPS 285113 HAS SOUS 240281 HAS SOUPS 240281 WITH SCORE 240566.113
AT ITER 48 NEW BEST:: SOT 369553 SOS 284597 HAS SOPS 284597 HAS SOUS 240251 HAS SOUPS 240251 WITH SCORE 240535.597
AT ITER 52 NEW BEST:: SOT 369430 SOS 284474 HAS SOPS 284474 HAS SOUS 240128 HAS SOUPS 240128 WITH SCORE 240412.474
AT ITER 57 NEW BEST:: SOT 369439 SOS 284364 HAS SOPS 284364 HAS SOUS 240018 HAS SOUPS 240018 WITH SCORE 240302.364
AT ITER 61 NEW BEST:: SOT 369246 SOS 283627 HAS SOPS 283627 HAS SOUS 239692 HAS SOUPS 239692 WITH SCORE 239975.627
AT ITER 65 NEW BEST:: SOT 369158 SOS 283539 HAS SOPS 283539 HAS SOUS 239604 HAS SOUPS 239604 WITH SCORE 239887.539
AT ITER 74 NEW BEST:: SOT 369087 SOS 282666 HAS SOPS 282666 HAS SOUS 239554 HAS SOUPS 239554 WITH SCORE 239836.666
AT ITER 75 NEW BEST:: SOT 368906 SOS 282651 HAS SOPS 282651 HAS SOUS 239547 HAS SOUPS 239547 WITH SCORE 239829.651
AT ITER 76 NEW BEST:: SOT 368905 SOS 282529 HAS SOPS 282529 HAS SOUS 239425 HAS SOUPS 239425 WITH SCORE 239707.529
AT ITER 77 NEW BEST:: SOT 368905 SOS 282528 HAS SOPS 282528 HAS SOUS 239424 HAS SOUPS 239424 WITH SCORE 239706.528
AT ITER 87 NEW BEST:: SOT 369006 SOS 282644 HAS SOPS 282644 HAS SOUS 239418 HAS SOUPS 239418 WITH SCORE 239700.644
AT ITER 92 NEW BEST:: SOT 368686 SOS 282324 HAS SOPS 282324 HAS SOUS 239098 HAS SOUPS 239098 WITH SCORE 239380.324
AT ITER 97 NEW BEST:: SOT 368554 SOS 282190 HAS SOPS 282190 HAS SOUS 238964 HAS SOUPS 238964 WITH SCORE 239246.19
AT ITER 98 NEW BEST:: SOT 368239 SOS 281873 HAS SOPS 281873 HAS SOUS 238647 HAS SOUPS 238647 WITH SCORE 238928.873
AT ITER 102 NEW BEST:: SOT 368241 SOS 281351 HAS SOPS 281351 HAS SOUS 238207 HAS SOUPS 238207 WITH SCORE 238488.351
AT ITER 103 NEW BEST:: SOT 368024 SOS 281133 HAS SOPS 281133 HAS SOUS 237989 HAS SOUPS 237989 WITH SCORE 238270.133
AT ITER 109 NEW BEST:: SOT 368064 SOS 281202 HAS SOPS 281202 HAS SOUS 237937 HAS SOUPS 237937 WITH SCORE 238218.202
AT ITER 111 NEW BEST:: SOT 368167 SOS 280788 HAS SOPS 280788 HAS SOUS 237872 HAS SOUPS 237872 WITH SCORE 238152.788
AT ITER 112 NEW BEST:: SOT 367991 SOS 280143 HAS SOPS 280143 HAS SOUS 237674 HAS SOUPS 237674 WITH SCORE 237954.143
AT ITER 113 NEW BEST:: SOT 367987 SOS 280139 HAS SOPS 280139 HAS SOUS 237670 HAS SOUPS 237670 WITH SCORE 237950.139
AT ITER 116 NEW BEST:: SOT 367774 SOS 279926 HAS SOPS 279926 HAS SOUS 237457 HAS SOUPS 237457 WITH SCORE 237736.926
AT ITER 118 NEW BEST:: SOT 368304 SOS 279751 HAS SOPS 279751 HAS SOUS 237421 HAS SOUPS 237421 WITH SCORE 237700.751
AT ITER 119 NEW BEST:: SOT 368303 SOS 279750 HAS SOPS 279750 HAS SOUS 237420 HAS SOUPS 237420 WITH SCORE 237699.75
AT ITER 121 NEW BEST:: SOT 368286 SOS 279731 HAS SOPS 279731 HAS SOUS 237401 HAS SOUPS 237401 WITH SCORE 237680.731
AT ITER 129 NEW BEST:: SOT 368145 SOS 278709 HAS SOPS 278709 HAS SOUS 237183 HAS SOUPS 237183 WITH SCORE 237461.709
AT ITER 130 NEW BEST:: SOT 368136 SOS 278276 HAS SOPS 278276 HAS SOUS 236750 HAS SOUPS 236750 WITH SCORE 237028.276
AT ITER 135 NEW BEST:: SOT 367833 SOS 277972 HAS SOPS 277972 HAS SOUS 236446 HAS SOUPS 236446 WITH SCORE 236723.972
AT ITER 141 NEW BEST:: SOT 367875 SOS 277926 HAS SOPS 277926 HAS SOUS 236199 HAS SOUPS 236199 WITH SCORE 236476.926
AT ITER 144 NEW BEST:: SOT 367875 SOS 278046 HAS SOPS 278046 HAS SOUS 236133 HAS SOUPS 236133 WITH SCORE 236411.046
AT ITER 146 NEW BEST:: SOT 367875 SOS 277990 HAS SOPS 277990 HAS SOUS 236077 HAS SOUPS 236077 WITH SCORE 236354.99
AT ITER 147 NEW BEST:: SOT 367611 SOS 277726 HAS SOPS 277726 HAS SOUS 235813 HAS SOUPS 235813 WITH SCORE 236090.726
AT ITER 154 NEW BEST:: SOT 367611 SOS 277562 HAS SOPS 277562 HAS SOUS 235712 HAS SOUPS 235712 WITH SCORE 235989.562
AT ITER 157 NEW BEST:: SOT 367441 SOS 276541 HAS SOPS 276541 HAS SOUS 235712 HAS SOUPS 235712 WITH SCORE 235988.541
AT ITER 160 NEW BEST:: SOT 367272 SOS 276372 HAS SOPS 276372 HAS SOUS 235543 HAS SOUPS 235543 WITH SCORE 235819.372
AT ITER 161 NEW BEST:: SOT 367194 SOS 276294 HAS SOPS 276294 HAS SOUS 235344 HAS SOUPS 235344 WITH SCORE 235620.294
AT ITER 162 NEW BEST:: SOT 367294 SOS 276492 HAS SOPS 276492 HAS SOUS 235342 HAS SOUPS 235342 WITH SCORE 235618.492
AT ITER 164 NEW BEST:: SOT 367294 SOS 276473 HAS SOPS 276473 HAS SOUS 235323 HAS SOUPS 235323 WITH SCORE 235599.473
AT ITER 169 NEW BEST:: SOT 367062 SOS 276241 HAS SOPS 276241 HAS SOUS 235091 HAS SOUPS 235091 WITH SCORE 235367.241
AT ITER 171 NEW BEST:: SOT 367129 SOS 276173 HAS SOPS 276173 HAS SOUS 235023 HAS SOUPS 235023 WITH SCORE 235299.173
AT ITER 175 NEW BEST:: SOT 367129 SOS 276103 HAS SOPS 276103 HAS SOUS 234977 HAS SOUPS 234977 WITH SCORE 235253.103
AT ITER 176 NEW BEST:: SOT 367374 SOS 275327 HAS SOPS 275327 HAS SOUS 234614 HAS SOUPS 234614 WITH SCORE 234889.327
AT ITER 178 NEW BEST:: SOT 366776 SOS 274753 HAS SOPS 274753 HAS SOUS 234090 HAS SOUPS 234090 WITH SCORE 234364.753
AT ITER 180 NEW BEST:: SOT 366861 SOS 274838 HAS SOPS 274838 HAS SOUS 233777 HAS SOUPS 233777 WITH SCORE 234051.838
AT ITER 181 NEW BEST:: SOT 366819 SOS 274796 HAS SOPS 274796 HAS SOUS 233735 HAS SOUPS 233735 WITH SCORE 234009.796
AT ITER 182 NEW BEST:: SOT 366525 SOS 274599 HAS SOPS 274599 HAS SOUS 233538 HAS SOUPS 233538 WITH SCORE 233812.599
AT ITER 184 NEW BEST:: SOT 366654 SOS 274266 HAS SOPS 274266 HAS SOUS 233199 HAS SOUPS 233199 WITH SCORE 233473.266
AT ITER 186 NEW BEST:: SOT 366581 SOS 273411 HAS SOPS 273411 HAS SOUS 233133 HAS SOUPS 233133 WITH SCORE 233406.411
AT ITER 187 NEW BEST:: SOT 366673 SOS 273301 HAS SOPS 273301 HAS SOUS 233022 HAS SOUPS 233022 WITH SCORE 233295.301
AT ITER 204 NEW BEST:: SOT 366782 SOS 273047 HAS SOPS 273047 HAS SOUS 232882 HAS SOUPS 232882 WITH SCORE 233155.047
AT ITER 207 NEW BEST:: SOT 366779 SOS 273044 HAS SOPS 273044 HAS SOUS 232879 HAS SOUPS 232879 WITH SCORE 233152.044
AT ITER 208 NEW BEST:: SOT 366755 SOS 273018 HAS SOPS 273018 HAS SOUS 232853 HAS SOUPS 232853 WITH SCORE 233126.018
AT ITER 212 NEW BEST:: SOT 366561 SOS 272252 HAS SOPS 272252 HAS SOUS 232528 HAS SOUPS 232528 WITH SCORE 232800.252
AT ITER 223 NEW BEST:: SOT 366299 SOS 271988 HAS SOPS 271988 HAS SOUS 232264 HAS SOUPS 232264 WITH SCORE 232535.988
AT ITER 230 NEW BEST:: SOT 366299 SOS 271473 HAS SOPS 271473 HAS SOUS 232121 HAS SOUPS 232121 WITH SCORE 232392.473
AT ITER 233 NEW BEST:: SOT 366270 SOS 271386 HAS SOPS 271386 HAS SOUS 232034 HAS SOUPS 232034 WITH SCORE 232305.386
AT ITER 234 NEW BEST:: SOT 366270 SOS 271409 HAS SOPS 271409 HAS SOUS 232033 HAS SOUPS 232033 WITH SCORE 232304.409
AT ITER 253 NEW BEST:: SOT 366270 SOS 271222 HAS SOPS 271222 HAS SOUS 232011 HAS SOUPS 232011 WITH SCORE 232282.222
AT ITER 255 NEW BEST:: SOT 366206 SOS 271158 HAS SOPS 271158 HAS SOUS 231947 HAS SOUPS 231947 WITH SCORE 232218.158
AT ITER 256 NEW BEST:: SOT 366206 SOS 270813 HAS SOPS 270813 HAS SOUS 231946 HAS SOUPS 231946 WITH SCORE 232216.813
AT ITER 265 NEW BEST:: SOT 365904 SOS 270511 HAS SOPS 270511 HAS SOUS 231644 HAS SOUPS 231644 WITH SCORE 231914.511
AT ITER 266 NEW BEST:: SOT 365564 SOS 270171 HAS SOPS 270171 HAS SOUS 231243 HAS SOUPS 231243 WITH SCORE 231513.171
AT ITER 267 NEW BEST:: SOT 365501 SOS 270108 HAS SOPS 270108 HAS SOUS 231180 HAS SOUPS 231180 WITH SCORE 231450.108
AT ITER 271 NEW BEST:: SOT 365205 SOS 269812 HAS SOPS 269812 HAS SOUS 230865 HAS SOUPS 230865 WITH SCORE 231134.812
AT ITER 272 NEW BEST:: SOT 364962 SOS 269563 HAS SOPS 269563 HAS SOUS 230616 HAS SOUPS 230616 WITH SCORE 230885.563
AT ITER 273 NEW BEST:: SOT 364962 SOS 269377 HAS SOPS 269377 HAS SOUS 230430 HAS SOUPS 230430 WITH SCORE 230699.377
AT ITER 279 NEW BEST:: SOT 364962 SOS 269233 HAS SOPS 269233 HAS SOUS 230392 HAS SOUPS 230392 WITH SCORE 230661.233
AT ITER 291 NEW BEST:: SOT 364840 SOS 269005 HAS SOPS 269005 HAS SOUS 230154 HAS SOUPS 230154 WITH SCORE 230423.005
AT ITER 292 NEW BEST:: SOT 364515 SOS 268781 HAS SOPS 268781 HAS SOUS 229930 HAS SOUPS 229930 WITH SCORE 230198.781
AT ITER 295 NEW BEST:: SOT 364311 SOS 267905 HAS SOPS 267905 HAS SOUS 229815 HAS SOUPS 229815 WITH SCORE 230082.905
AT ITER 301 NEW BEST:: SOT 364177 SOS 267771 HAS SOPS 267771 HAS SOUS 229681 HAS SOUPS 229681 WITH SCORE 229948.771
AT ITER 302 NEW BEST:: SOT 364017 SOS 267531 HAS SOPS 267531 HAS SOUS 229441 HAS SOUPS 229441 WITH SCORE 229708.531
AT ITER 303 NEW BEST:: SOT 363848 SOS 266875 HAS SOPS 266875 HAS SOUS 229097 HAS SOUPS 229097 WITH SCORE 229363.875
AT ITER 307 NEW BEST:: SOT 363790 SOS 266751 HAS SOPS 266751 HAS SOUS 229087 HAS SOUPS 229087 WITH SCORE 229353.751
AT ITER 308 NEW BEST:: SOT 363698 SOS 266657 HAS SOPS 266657 HAS SOUS 228993 HAS SOUPS 228993 WITH SCORE 229259.657
AT ITER 310 NEW BEST:: SOT 363698 SOS 266656 HAS SOPS 266656 HAS SOUS 228992 HAS SOUPS 228992 WITH SCORE 229258.656
AT ITER 312 NEW BEST:: SOT 363698 SOS 265869 HAS SOPS 265869 HAS SOUS 228671 HAS SOUPS 228671 WITH SCORE 228936.869
AT ITER 318 NEW BEST:: SOT 363336 SOS 264639 HAS SOPS 264639 HAS SOUS 227772 HAS SOUPS 227772 WITH SCORE 228036.639
AT ITER 320 NEW BEST:: SOT 363237 SOS 264540 HAS SOPS 264540 HAS SOUS 227673 HAS SOUPS 227673 WITH SCORE 227937.54
AT ITER 322 NEW BEST:: SOT 363384 SOS 264829 HAS SOPS 264829 HAS SOUS 227650 HAS SOUPS 227650 WITH SCORE 227914.829
AT ITER 330 NEW BEST:: SOT 363381 SOS 264826 HAS SOPS 264826 HAS SOUS 227647 HAS SOUPS 227647 WITH SCORE 227911.826
AT ITER 332 NEW BEST:: SOT 363381 SOS 264538 HAS SOPS 264538 HAS SOUS 227515 HAS SOUPS 227515 WITH SCORE 227779.538
AT ITER 335 NEW BEST:: SOT 363064 SOS 264221 HAS SOPS 264221 HAS SOUS 227198 HAS SOUPS 227198 WITH SCORE 227462.221
AT ITER 347 NEW BEST:: SOT 363064 SOS 264120 HAS SOPS 264120 HAS SOUS 227097 HAS SOUPS 227097 WITH SCORE 227361.12
AT ITER 349 NEW BEST:: SOT 362595 SOS 263745 HAS SOPS 263745 HAS SOUS 226722 HAS SOUPS 226722 WITH SCORE 226985.745
AT ITER 350 NEW BEST:: SOT 362594 SOS 263222 HAS SOPS 263222 HAS SOUS 226294 HAS SOUPS 226294 WITH SCORE 226557.222
AT ITER 354 NEW BEST:: SOT 362474 SOS 263186 HAS SOPS 263186 HAS SOUS 226076 HAS SOUPS 226076 WITH SCORE 226339.186
AT ITER 362 NEW BEST:: SOT 362369 SOS 262612 HAS SOPS 262612 HAS SOUS 225980 HAS SOUPS 225980 WITH SCORE 226242.612
AT ITER 373 NEW BEST:: SOT 362363 SOS 262606 HAS SOPS 262606 HAS SOUS 225974 HAS SOUPS 225974 WITH SCORE 226236.606
AT ITER 378 NEW BEST:: SOT 362224 SOS 262410 HAS SOPS 262410 HAS SOUS 225820 HAS SOUPS 225820 WITH SCORE 226082.41
AT ITER 389 NEW BEST:: SOT 361790 SOS 261641 HAS SOPS 261641 HAS SOUS 224643 HAS SOUPS 224643 WITH SCORE 224904.641
AT ITER 390 NEW BEST:: SOT 362100 SOS 261174 HAS SOPS 261174 HAS SOUS 224543 HAS SOUPS 224543 WITH SCORE 224804.174
AT ITER 398 NEW BEST:: SOT 361997 SOS 261071 HAS SOPS 261071 HAS SOUS 224440 HAS SOUPS 224440 WITH SCORE 224701.071
AT ITER 407 NEW BEST:: SOT 361872 SOS 260946 HAS SOPS 260946 HAS SOUS 224315 HAS SOUPS 224315 WITH SCORE 224575.946
AT ITER 421 NEW BEST:: SOT 361894 SOS 260770 HAS SOPS 260770 HAS SOUS 224139 HAS SOUPS 224139 WITH SCORE 224399.77
AT ITER 422 NEW BEST:: SOT 362007 SOS 260656 HAS SOPS 260656 HAS SOUS 224017 HAS SOUPS 224017 WITH SCORE 224277.656
AT ITER 424 NEW BEST:: SOT 362007 SOS 260664 HAS SOPS 260664 HAS SOUS 224009 HAS SOUPS 224009 WITH SCORE 224269.664
AT ITER 434 NEW BEST:: SOT 362159 SOS 260661 HAS SOPS 260661 HAS SOUS 223917 HAS SOUPS 223917 WITH SCORE 224177.661
AT ITER 439 NEW BEST:: SOT 362159 SOS 260720 HAS SOPS 260720 HAS SOUS 223787 HAS SOUPS 223787 WITH SCORE 224047.72
AT ITER 442 NEW BEST:: SOT 361589 SOS 260292 HAS SOPS 260292 HAS SOUS 223157 HAS SOUPS 223157 WITH SCORE 223417.292
AT ITER 454 NEW BEST:: SOT 361554 SOS 260188 HAS SOPS 260188 HAS SOUS 223053 HAS SOUPS 223053 WITH SCORE 223313.188
AT ITER 456 NEW BEST:: SOT 361535 SOS 260099 HAS SOPS 260099 HAS SOUS 222913 HAS SOUPS 222913 WITH SCORE 223173.099
AT ITER 459 NEW BEST:: SOT 361405 SOS 259969 HAS SOPS 259969 HAS SOUS 222913 HAS SOUPS 222913 WITH SCORE 223172.969
AT ITER 460 NEW BEST:: SOT 361405 SOS 259895 HAS SOPS 259895 HAS SOUS 222909 HAS SOUPS 222909 WITH SCORE 223168.895
AT ITER 468 NEW BEST:: SOT 361056 SOS 259546 HAS SOPS 259546 HAS SOUS 222560 HAS SOUPS 222560 WITH SCORE 222819.546
AT ITER 469 NEW BEST:: SOT 360879 SOS 259367 HAS SOPS 259367 HAS SOUS 222381 HAS SOUPS 222381 WITH SCORE 222640.367
AT ITER 470 NEW BEST:: SOT 360784 SOS 259272 HAS SOPS 259272 HAS SOUS 222286 HAS SOUPS 222286 WITH SCORE 222545.272
AT ITER 471 NEW BEST:: SOT 360779 SOS 259267 HAS SOPS 259267 HAS SOUS 222281 HAS SOUPS 222281 WITH SCORE 222540.267
AT ITER 474 NEW BEST:: SOT 360765 SOS 259253 HAS SOPS 259253 HAS SOUS 222267 HAS SOUPS 222267 WITH SCORE 222526.253
AT ITER 479 NEW BEST:: SOT 360713 SOS 258762 HAS SOPS 258762 HAS SOUS 221963 HAS SOUPS 221963 WITH SCORE 222221.762
AT ITER 483 NEW BEST:: SOT 360653 SOS 258732 HAS SOPS 258732 HAS SOUS 221962 HAS SOUPS 221962 WITH SCORE 222220.732
AT ITER 485 NEW BEST:: SOT 360490 SOS 257942 HAS SOPS 257942 HAS SOUS 221614 HAS SOUPS 221614 WITH SCORE 221871.942
AT ITER 486 NEW BEST:: SOT 360298 SOS 257750 HAS SOPS 257750 HAS SOUS 221422 HAS SOUPS 221422 WITH SCORE 221679.75
AT ITER 492 NEW BEST:: SOT 359742 SOS 257262 HAS SOPS 257262 HAS SOUS 221034 HAS SOUPS 221034 WITH SCORE 221291.262
AT ITER 497 NEW BEST:: SOT 358952 SOS 256472 HAS SOPS 256472 HAS SOUS 220244 HAS SOUPS 220244 WITH SCORE 220500.472
AT ITER 499 NEW BEST:: SOT 358952 SOS 256786 HAS SOPS 256786 HAS SOUS 220137 HAS SOUPS 220137 WITH SCORE 220393.786
AT ITER 509 NEW BEST:: SOT 358915 SOS 256712 HAS SOPS 256712 HAS SOUS 220137 HAS SOUPS 220137 WITH SCORE 220393.712
AT ITER 514 NEW BEST:: SOT 358698 SOS 256495 HAS SOPS 256495 HAS SOUS 219920 HAS SOUPS 219920 WITH SCORE 220176.495
AT ITER 525 NEW BEST:: SOT 358512 SOS 256307 HAS SOPS 256307 HAS SOUS 219732 HAS SOUPS 219732 WITH SCORE 219988.307
AT ITER 526 NEW BEST:: SOT 358114 SOS 255908 HAS SOPS 255908 HAS SOUS 219333 HAS SOUPS 219333 WITH SCORE 219588.908
AT ITER 533 NEW BEST:: SOT 358114 SOS 255895 HAS SOPS 255895 HAS SOUS 219320 HAS SOUPS 219320 WITH SCORE 219575.895
AT ITER 537 NEW BEST:: SOT 358114 SOS 255533 HAS SOPS 255533 HAS SOUS 219221 HAS SOUPS 219221 WITH SCORE 219476.533
AT ITER 541 NEW BEST:: SOT 357919 SOS 255211 HAS SOPS 255211 HAS SOUS 219102 HAS SOUPS 219102 WITH SCORE 219357.211
AT ITER 544 NEW BEST:: SOT 358015 SOS 255431 HAS SOPS 255431 HAS SOUS 219093 HAS SOUPS 219093 WITH SCORE 219348.431
AT ITER 546 NEW BEST:: SOT 357755 SOS 255137 HAS SOPS 255137 HAS SOUS 218799 HAS SOUPS 218799 WITH SCORE 219054.137
AT ITER 550 NEW BEST:: SOT 357755 SOS 255083 HAS SOPS 255083 HAS SOUS 218783 HAS SOUPS 218783 WITH SCORE 219038.083
AT ITER 551 NEW BEST:: SOT 357736 SOS 255064 HAS SOPS 255064 HAS SOUS 218764 HAS SOUPS 218764 WITH SCORE 219019.064
AT ITER 557 NEW BEST:: SOT 357713 SOS 255018 HAS SOPS 255018 HAS SOUS 218718 HAS SOUPS 218718 WITH SCORE 218973.018
AT ITER 561 NEW BEST:: SOT 357712 SOS 255017 HAS SOPS 255017 HAS SOUS 218717 HAS SOUPS 218717 WITH SCORE 218972.017
AT ITER 570 NEW BEST:: SOT 357667 SOS 254972 HAS SOPS 254972 HAS SOUS 218716 HAS SOUPS 218716 WITH SCORE 218970.972
AT ITER 573 NEW BEST:: SOT 357364 SOS 254524 HAS SOPS 254524 HAS SOUS 218268 HAS SOUPS 218268 WITH SCORE 218522.524
AT ITER 584 NEW BEST:: SOT 357316 SOS 254476 HAS SOPS 254476 HAS SOUS 218220 HAS SOUPS 218220 WITH SCORE 218474.476
AT ITER 585 NEW BEST:: SOT 357050 SOS 254210 HAS SOPS 254210 HAS SOUS 217953 HAS SOUPS 217953 WITH SCORE 218207.21
AT ITER 586 NEW BEST:: SOT 356809 SOS 253969 HAS SOPS 253969 HAS SOUS 217712 HAS SOUPS 217712 WITH SCORE 217965.969
AT ITER 589 NEW BEST:: SOT 356677 SOS 253618 HAS SOPS 253618 HAS SOUS 217361 HAS SOUPS 217361 WITH SCORE 217614.618
AT ITER 597 NEW BEST:: SOT 356756 SOS 253142 HAS SOPS 253142 HAS SOUS 217221 HAS SOUPS 217221 WITH SCORE 217474.142
AT ITER 603 NEW BEST:: SOT 356302 SOS 252697 HAS SOPS 252697 HAS SOUS 217039 HAS SOUPS 217039 WITH SCORE 217291.697
AT ITER 606 NEW BEST:: SOT 356273 SOS 252668 HAS SOPS 252668 HAS SOUS 217010 HAS SOUPS 217010 WITH SCORE 217262.668
AT ITER 608 NEW BEST:: SOT 356076 SOS 252623 HAS SOPS 252623 HAS SOUS 216937 HAS SOUPS 216937 WITH SCORE 217189.623
AT ITER 612 NEW BEST:: SOT 356248 SOS 252615 HAS SOPS 252615 HAS SOUS 216929 HAS SOUPS 216929 WITH SCORE 217181.615
AT ITER 615 NEW BEST:: SOT 355787 SOS 251408 HAS SOPS 251408 HAS SOUS 215414 HAS SOUPS 215414 WITH SCORE 215665.408
AT ITER 618 NEW BEST:: SOT 355787 SOS 251364 HAS SOPS 251364 HAS SOUS 215370 HAS SOUPS 215370 WITH SCORE 215621.364
AT ITER 634 NEW BEST:: SOT 355776 SOS 251353 HAS SOPS 251353 HAS SOUS 215359 HAS SOUPS 215359 WITH SCORE 215610.353
AT ITER 638 NEW BEST:: SOT 355558 SOS 251135 HAS SOPS 251135 HAS SOUS 215141 HAS SOUPS 215141 WITH SCORE 215392.135
AT ITER 643 NEW BEST:: SOT 355620 SOS 251125 HAS SOPS 251125 HAS SOUS 215066 HAS SOUPS 215066 WITH SCORE 215317.125
AT ITER 646 NEW BEST:: SOT 355350 SOS 250970 HAS SOPS 250970 HAS SOUS 214911 HAS SOUPS 214911 WITH SCORE 215161.97
AT ITER 648 NEW BEST:: SOT 355028 SOS 250558 HAS SOPS 250558 HAS SOUS 214499 HAS SOUPS 214499 WITH SCORE 214749.558
AT ITER 651 NEW BEST:: SOT 354952 SOS 250482 HAS SOPS 250482 HAS SOUS 214423 HAS SOUPS 214423 WITH SCORE 214673.482
AT ITER 657 NEW BEST:: SOT 355272 SOS 250841 HAS SOPS 250841 HAS SOUS 214397 HAS SOUPS 214397 WITH SCORE 214647.841
AT ITER 662 NEW BEST:: SOT 355269 SOS 250838 HAS SOPS 250838 HAS SOUS 214394 HAS SOUPS 214394 WITH SCORE 214644.838
AT ITER 671 NEW BEST:: SOT 355370 SOS 250963 HAS SOPS 250963 HAS SOUS 214350 HAS SOUPS 214350 WITH SCORE 214600.963
AT ITER 680 NEW BEST:: SOT 355370 SOS 250322 HAS SOPS 250322 HAS SOUS 214167 HAS SOUPS 214167 WITH SCORE 214417.322
AT ITER 684 NEW BEST:: SOT 355370 SOS 250320 HAS SOPS 250320 HAS SOUS 214164 HAS SOUPS 214164 WITH SCORE 214414.32
AT ITER 686 NEW BEST:: SOT 355041 SOS 249177 HAS SOPS 249177 HAS SOUS 213747 HAS SOUPS 213747 WITH SCORE 213996.177
AT ITER 688 NEW BEST:: SOT 355318 SOS 248919 HAS SOPS 248919 HAS SOUS 213706 HAS SOUPS 213706 WITH SCORE 213954.919
AT ITER 689 NEW BEST:: SOT 355318 SOS 248902 HAS SOPS 248902 HAS SOUS 213689 HAS SOUPS 213689 WITH SCORE 213937.902
AT ITER 690 NEW BEST:: SOT 355179 SOS 248583 HAS SOPS 248583 HAS SOUS 213596 HAS SOUPS 213596 WITH SCORE 213844.583
AT ITER 691 NEW BEST:: SOT 355179 SOS 248439 HAS SOPS 248439 HAS SOUS 213337 HAS SOUPS 213337 WITH SCORE 213585.439
AT ITER 692 NEW BEST:: SOT 354876 SOS 248126 HAS SOPS 248126 HAS SOUS 213031 HAS SOUPS 213031 WITH SCORE 213279.126
AT ITER 695 NEW BEST:: SOT 354857 SOS 248107 HAS SOPS 248107 HAS SOUS 213012 HAS SOUPS 213012 WITH SCORE 213260.107
AT ITER 700 NEW BEST:: SOT 354501 SOS 247749 HAS SOPS 247749 HAS SOUS 212654 HAS SOUPS 212654 WITH SCORE 212901.749
AT ITER 717 NEW BEST:: SOT 354503 SOS 247777 HAS SOPS 247777 HAS SOUS 212554 HAS SOUPS 212554 WITH SCORE 212801.777
AT ITER 719 NEW BEST:: SOT 354237 SOS 247390 HAS SOPS 247390 HAS SOUS 212014 HAS SOUPS 212014 WITH SCORE 212261.39
AT ITER 723 NEW BEST:: SOT 354235 SOS 247382 HAS SOPS 247382 HAS SOUS 212010 HAS SOUPS 212010 WITH SCORE 212257.382
AT ITER 724 NEW BEST:: SOT 354148 SOS 247295 HAS SOPS 247295 HAS SOUS 211923 HAS SOUPS 211923 WITH SCORE 212170.295
AT ITER 725 NEW BEST:: SOT 354085 SOS 247290 HAS SOPS 247290 HAS SOUS 211918 HAS SOUPS 211918 WITH SCORE 212165.29
AT ITER 727 NEW BEST:: SOT 354084 SOS 248074 HAS SOPS 248074 HAS SOUS 211909 HAS SOUPS 211909 WITH SCORE 212157.074
AT ITER 734 NEW BEST:: SOT 354020 SOS 248130 HAS SOPS 248130 HAS SOUS 211882 HAS SOUPS 211882 WITH SCORE 212130.13
AT ITER 759 NEW BEST:: SOT 353695 SOS 247805 HAS SOPS 247805 HAS SOUS 211557 HAS SOUPS 211557 WITH SCORE 211804.805
AT ITER 766 NEW BEST:: SOT 353725 SOS 247835 HAS SOPS 247835 HAS SOUS 211531 HAS SOUPS 211531 WITH SCORE 211778.835
AT ITER 767 NEW BEST:: SOT 353511 SOS 247622 HAS SOPS 247622 HAS SOUS 211318 HAS SOUPS 211318 WITH SCORE 211565.622
AT ITER 776 NEW BEST:: SOT 353266 SOS 247439 HAS SOPS 247439 HAS SOUS 211255 HAS SOUPS 211255 WITH SCORE 211502.439
AT ITER 777 NEW BEST:: SOT 353184 SOS 247275 HAS SOPS 247275 HAS SOUS 211172 HAS SOUPS 211172 WITH SCORE 211419.275
AT ITER 786 NEW BEST:: SOT 353158 SOS 247249 HAS SOPS 247249 HAS SOUS 211145 HAS SOUPS 211145 WITH SCORE 211392.249
AT ITER 787 NEW BEST:: SOT 353330 SOS 247128 HAS SOPS 247128 HAS SOUS 210902 HAS SOUPS 210902 WITH SCORE 211149.128
AT ITER 791 NEW BEST:: SOT 353372 SOS 246974 HAS SOPS 246974 HAS SOUS 210634 HAS SOUPS 210634 WITH SCORE 210880.974
AT ITER 796 NEW BEST:: SOT 353453 SOS 247025 HAS SOPS 247025 HAS SOUS 210474 HAS SOUPS 210474 WITH SCORE 210721.025
AT ITER 799 NEW BEST:: SOT 353105 SOS 246621 HAS SOPS 246621 HAS SOUS 210070 HAS SOUPS 210070 WITH SCORE 210316.621
AT ITER 802 NEW BEST:: SOT 353051 SOS 246294 HAS SOPS 246294 HAS SOUS 210069 HAS SOUPS 210069 WITH SCORE 210315.294
AT ITER 812 NEW BEST:: SOT 353066 SOS 246117 HAS SOPS 246117 HAS SOUS 209892 HAS SOUPS 209892 WITH SCORE 210138.117
AT ITER 813 NEW BEST:: SOT 352642 SOS 245693 HAS SOPS 245693 HAS SOUS 209468 HAS SOUPS 209468 WITH SCORE 209713.693
AT ITER 824 NEW BEST:: SOT 352601 SOS 245609 HAS SOPS 245609 HAS SOUS 209343 HAS SOUPS 209343 WITH SCORE 209588.609
AT ITER 826 NEW BEST:: SOT 352182 SOS 245253 HAS SOPS 245253 HAS SOUS 208948 HAS SOUPS 208948 WITH SCORE 209193.253
AT ITER 836 NEW BEST:: SOT 352211 SOS 245294 HAS SOPS 245294 HAS SOUS 208723 HAS SOUPS 208723 WITH SCORE 208968.294
AT ITER 838 NEW BEST:: SOT 352007 SOS 244428 HAS SOPS 244428 HAS SOUS 208349 HAS SOUPS 208349 WITH SCORE 208593.428
AT ITER 843 NEW BEST:: SOT 352007 SOS 244426 HAS SOPS 244426 HAS SOUS 208347 HAS SOUPS 208347 WITH SCORE 208591.426
AT ITER 844 NEW BEST:: SOT 352007 SOS 243977 HAS SOPS 243977 HAS SOUS 208237 HAS SOUPS 208237 WITH SCORE 208480.977
AT ITER 845 NEW BEST:: SOT 351968 SOS 243938 HAS SOPS 243938 HAS SOUS 208159 HAS SOUPS 208159 WITH SCORE 208402.938
AT ITER 869 NEW BEST:: SOT 352053 SOS 243863 HAS SOPS 243863 HAS SOUS 208098 HAS SOUPS 208098 WITH SCORE 208341.863
AT ITER 872 NEW BEST:: SOT 351744 SOS 243540 HAS SOPS 243540 HAS SOUS 207822 HAS SOUPS 207822 WITH SCORE 208065.54
AT ITER 877 NEW BEST:: SOT 351741 SOS 243537 HAS SOPS 243537 HAS SOUS 207819 HAS SOUPS 207819 WITH SCORE 208062.537
AT ITER 881 NEW BEST:: SOT 351716 SOS 243512 HAS SOPS 243512 HAS SOUS 207794 HAS SOUPS 207794 WITH SCORE 208037.512
AT ITER 883 NEW BEST:: SOT 351447 SOS 243243 HAS SOPS 243243 HAS SOUS 207525 HAS SOUPS 207525 WITH SCORE 207768.243
AT ITER 889 NEW BEST:: SOT 351428 SOS 243198 HAS SOPS 243198 HAS SOUS 207480 HAS SOUPS 207480 WITH SCORE 207723.198
AT ITER 897 NEW BEST:: SOT 351357 SOS 242874 HAS SOPS 242874 HAS SOUS 206903 HAS SOUPS 206903 WITH SCORE 207145.874
AT ITER 905 NEW BEST:: SOT 351304 SOS 242821 HAS SOPS 242821 HAS SOUS 206850 HAS SOUPS 206850 WITH SCORE 207092.821
AT ITER 916 NEW BEST:: SOT 351284 SOS 242713 HAS SOPS 242713 HAS SOUS 206810 HAS SOUPS 206810 WITH SCORE 207052.713
AT ITER 918 NEW BEST:: SOT 351226 SOS 242655 HAS SOPS 242655 HAS SOUS 206752 HAS SOUPS 206752 WITH SCORE 206994.655
AT ITER 922 NEW BEST:: SOT 351136 SOS 242240 HAS SOPS 242240 HAS SOUS 206722 HAS SOUPS 206722 WITH SCORE 206964.24
AT ITER 924 NEW BEST:: SOT 350910 SOS 242014 HAS SOPS 242014 HAS SOUS 206496 HAS SOUPS 206496 WITH SCORE 206738.014
AT ITER 926 NEW BEST:: SOT 350764 SOS 241190 HAS SOPS 241190 HAS SOUS 206083 HAS SOUPS 206083 WITH SCORE 206324.19
AT ITER 932 NEW BEST:: SOT 350557 SOS 240571 HAS SOPS 240571 HAS SOUS 205764 HAS SOUPS 205764 WITH SCORE 206004.571
AT ITER 935 NEW BEST:: SOT 350750 SOS 240568 HAS SOPS 240568 HAS SOUS 205603 HAS SOUPS 205603 WITH SCORE 205843.568
AT ITER 936 NEW BEST:: SOT 350593 SOS 240288 HAS SOPS 240288 HAS SOUS 205323 HAS SOUPS 205323 WITH SCORE 205563.288
AT ITER 940 NEW BEST:: SOT 350474 SOS 240169 HAS SOPS 240169 HAS SOUS 205204 HAS SOUPS 205204 WITH SCORE 205444.169
AT ITER 948 NEW BEST:: SOT 350384 SOS 240079 HAS SOPS 240079 HAS SOUS 205114 HAS SOUPS 205114 WITH SCORE 205354.079
AT ITER 949 NEW BEST:: SOT 350232 SOS 239417 HAS SOPS 239417 HAS SOUS 204867 HAS SOUPS 204867 WITH SCORE 205106.417
AT ITER 950 NEW BEST:: SOT 350301 SOS 239547 HAS SOPS 239547 HAS SOUS 204787 HAS SOUPS 204787 WITH SCORE 205026.547
AT ITER 959 NEW BEST:: SOT 350169 SOS 239371 HAS SOPS 239371 HAS SOUS 204611 HAS SOUPS 204611 WITH SCORE 204850.371
AT ITER 961 NEW BEST:: SOT 350000 SOS 239273 HAS SOPS 239273 HAS SOUS 204151 HAS SOUPS 204151 WITH SCORE 204390.273
AT ITER 962 NEW BEST:: SOT 349894 SOS 239114 HAS SOPS 239114 HAS SOUS 204043 HAS SOUPS 204043 WITH SCORE 204282.114
AT ITER 965 NEW BEST:: SOT 349823 SOS 239043 HAS SOPS 239043 HAS SOUS 203971 HAS SOUPS 203971 WITH SCORE 204210.043
AT ITER 967 NEW BEST:: SOT 349823 SOS 238947 HAS SOPS 238947 HAS SOUS 203923 HAS SOUPS 203923 WITH SCORE 204161.947
AT ITER 975 NEW BEST:: SOT 349853 SOS 238881 HAS SOPS 238881 HAS SOUS 203857 HAS SOUPS 203857 WITH SCORE 204095.881
AT ITER 982 NEW BEST:: SOT 349853 SOS 238863 HAS SOPS 238863 HAS SOUS 203839 HAS SOUPS 203839 WITH SCORE 204077.863
AT ITER 983 NEW BEST:: SOT 349853 SOS 238904 HAS SOPS 238904 HAS SOUS 203798 HAS SOUPS 203798 WITH SCORE 204036.904
AT ITER 984 NEW BEST:: SOT 350083 SOS 238354 HAS SOPS 238354 HAS SOUS 203426 HAS SOUPS 203426 WITH SCORE 203664.354
AT ITER 985 NEW BEST:: SOT 349928 SOS 237674 HAS SOPS 237674 HAS SOUS 203113 HAS SOUPS 203113 WITH SCORE 203350.674
AT ITER 987 NEW BEST:: SOT 349696 SOS 237250 HAS SOPS 237250 HAS SOUS 202689 HAS SOUPS 202689 WITH SCORE 202926.25
AT ITER 991 NEW BEST:: SOT 349658 SOS 237210 HAS SOPS 237210 HAS SOUS 202649 HAS SOUPS 202649 WITH SCORE 202886.21
AT ITER 993 NEW BEST:: SOT 349578 SOS 237110 HAS SOPS 237110 HAS SOUS 202549 HAS SOUPS 202549 WITH SCORE 202786.11
AT ITER 994 NEW BEST:: SOT 349577 SOS 236958 HAS SOPS 236958 HAS SOUS 202392 HAS SOUPS 202392 WITH SCORE 202628.958
AT ITER 995 NEW BEST:: SOT 349525 SOS 236907 HAS SOPS 236907 HAS SOUS 202341 HAS SOUPS 202341 WITH SCORE 202577.907
AT ITER 996 NEW BEST:: SOT 349300 SOS 236565 HAS SOPS 236565 HAS SOUS 201999 HAS SOUPS 201999 WITH SCORE 202235.565
AT ITER 1001 NEW BEST:: SOT 349299 SOS 236563 HAS SOPS 236563 HAS SOUS 201997 HAS SOUPS 201997 WITH SCORE 202233.563
AT ITER 1008 NEW BEST:: SOT 348158 SOS 235240 HAS SOPS 235240 HAS SOUS 200869 HAS SOUPS 200869 WITH SCORE 201104.24
AT ITER 1009 NEW BEST:: SOT 348151 SOS 235233 HAS SOPS 235233 HAS SOUS 200862 HAS SOUPS 200862 WITH SCORE 201097.233
AT ITER 1013 NEW BEST:: SOT 348151 SOS 235118 HAS SOPS 235118 HAS SOUS 200691 HAS SOUPS 200691 WITH SCORE 200926.118
AT ITER 1036 NEW BEST:: SOT 348375 SOS 235216 HAS SOPS 235216 HAS SOUS 200572 HAS SOUPS 200572 WITH SCORE 200807.216
AT ITER 1043 NEW BEST:: SOT 348375 SOS 235280 HAS SOPS 235280 HAS SOUS 200571 HAS SOUPS 200571 WITH SCORE 200806.28
AT ITER 1051 NEW BEST:: SOT 348622 SOS 234800 HAS SOPS 234800 HAS SOUS 200041 HAS SOUPS 200041 WITH SCORE 200275.8
AT ITER 1052 NEW BEST:: SOT 348499 SOS 234677 HAS SOPS 234677 HAS SOUS 199918 HAS SOUPS 199918 WITH SCORE 200152.677
AT ITER 1058 NEW BEST:: SOT 348499 SOS 234679 HAS SOPS 234679 HAS SOUS 199806 HAS SOUPS 199806 WITH SCORE 200040.679
AT ITER 1063 NEW BEST:: SOT 348766 SOS 235360 HAS SOPS 235360 HAS SOUS 199757 HAS SOUPS 199757 WITH SCORE 199992.36
AT ITER 1068 NEW BEST:: SOT 349014 SOS 235208 HAS SOPS 235208 HAS SOUS 199558 HAS SOUPS 199558 WITH SCORE 199793.208
AT ITER 1069 NEW BEST:: SOT 349013 SOS 235105 HAS SOPS 235105 HAS SOUS 199555 HAS SOUPS 199555 WITH SCORE 199790.105
AT ITER 1072 NEW BEST:: SOT 349652 SOS 236096 HAS SOPS 236096 HAS SOUS 199173 HAS SOUPS 199173 WITH SCORE 199409.096
AT ITER 1075 NEW BEST:: SOT 349348 SOS 235792 HAS SOPS 235792 HAS SOUS 198869 HAS SOUPS 198869 WITH SCORE 199104.792
AT ITER 1091 NEW BEST:: SOT 349069 SOS 235513 HAS SOPS 235513 HAS SOUS 198589 HAS SOUPS 198589 WITH SCORE 198824.513
AT ITER 1099 NEW BEST:: SOT 348751 SOS 235194 HAS SOPS 235194 HAS SOUS 198270 HAS SOUPS 198270 WITH SCORE 198505.194
AT ITER 1114 NEW BEST:: SOT 348751 SOS 234787 HAS SOPS 234787 HAS SOUS 198123 HAS SOUPS 198123 WITH SCORE 198357.787
AT ITER 1116 NEW BEST:: SOT 348745 SOS 234781 HAS SOPS 234781 HAS SOUS 198117 HAS SOUPS 198117 WITH SCORE 198351.781
AT ITER 1117 NEW BEST:: SOT 348816 SOS 234864 HAS SOPS 234864 HAS SOUS 198066 HAS SOUPS 198066 WITH SCORE 198300.864
AT ITER 1119 NEW BEST:: SOT 348800 SOS 234848 HAS SOPS 234848 HAS SOUS 198049 HAS SOUPS 198049 WITH SCORE 198283.848
AT ITER 1122 NEW BEST:: SOT 348728 SOS 234774 HAS SOPS 234774 HAS SOUS 197975 HAS SOUPS 197975 WITH SCORE 198209.774
AT ITER 1127 NEW BEST:: SOT 348728 SOS 234953 HAS SOPS 234953 HAS SOUS 197972 HAS SOUPS 197972 WITH SCORE 198206.953
AT ITER 1131 NEW BEST:: SOT 348278 SOS 234503 HAS SOPS 234503 HAS SOUS 197522 HAS SOUPS 197522 WITH SCORE 197756.503
AT ITER 1134 NEW BEST:: SOT 348278 SOS 234389 HAS SOPS 234389 HAS SOUS 197300 HAS SOUPS 197300 WITH SCORE 197534.389
AT ITER 1135 NEW BEST:: SOT 348238 SOS 234349 HAS SOPS 234349 HAS SOUS 197260 HAS SOUPS 197260 WITH SCORE 197494.349
AT ITER 1146 NEW BEST:: SOT 348238 SOS 234228 HAS SOPS 234228 HAS SOUS 197229 HAS SOUPS 197229 WITH SCORE 197463.228
AT ITER 1177 NEW BEST:: SOT 348238 SOS 234199 HAS SOPS 234199 HAS SOUS 197171 HAS SOUPS 197171 WITH SCORE 197405.199
AT ITER 1181 NEW BEST:: SOT 347959 SOS 234086 HAS SOPS 234086 HAS SOUS 197035 HAS SOUPS 197035 WITH SCORE 197269.086
AT ITER 1193 NEW BEST:: SOT 347892 SOS 233785 HAS SOPS 233785 HAS SOUS 196856 HAS SOUPS 196856 WITH SCORE 197089.785
AT ITER 1197 NEW BEST:: SOT 347700 SOS 233593 HAS SOPS 233593 HAS SOUS 196623 HAS SOUPS 196623 WITH SCORE 196856.593
AT ITER 1203 NEW BEST:: SOT 347700 SOS 233578 HAS SOPS 233578 HAS SOUS 196623 HAS SOUPS 196623 WITH SCORE 196856.578
AT ITER 1204 NEW BEST:: SOT 347355 SOS 233233 HAS SOPS 233233 HAS SOUS 196278 HAS SOUPS 196278 WITH SCORE 196511.233
AT ITER 1205 NEW BEST:: SOT 347355 SOS 233103 HAS SOPS 233103 HAS SOUS 196249 HAS SOUPS 196249 WITH SCORE 196482.103
AT ITER 1206 NEW BEST:: SOT 347355 SOS 233324 HAS SOPS 233324 HAS SOUS 196194 HAS SOUPS 196194 WITH SCORE 196427.324
AT ITER 1208 NEW BEST:: SOT 347191 SOS 233160 HAS SOPS 233160 HAS SOUS 196030 HAS SOUPS 196030 WITH SCORE 196263.16
AT ITER 1209 NEW BEST:: SOT 347191 SOS 233029 HAS SOPS 233029 HAS SOUS 195899 HAS SOUPS 195899 WITH SCORE 196132.029
AT ITER 1222 NEW BEST:: SOT 347191 SOS 232668 HAS SOPS 232668 HAS SOUS 195686 HAS SOUPS 195686 WITH SCORE 195918.668
AT ITER 1227 NEW BEST:: SOT 347065 SOS 232116 HAS SOPS 232116 HAS SOUS 195547 HAS SOUPS 195547 WITH SCORE 195779.116
AT ITER 1239 NEW BEST:: SOT 347088 SOS 231864 HAS SOPS 231864 HAS SOUS 195511 HAS SOUPS 195511 WITH SCORE 195742.864
AT ITER 1240 NEW BEST:: SOT 346987 SOS 230977 HAS SOPS 230977 HAS SOUS 195148 HAS SOUPS 195148 WITH SCORE 195378.977
AT ITER 1245 NEW BEST:: SOT 347105 SOS 231095 HAS SOPS 231095 HAS SOUS 195147 HAS SOUPS 195147 WITH SCORE 195378.095
AT ITER 1251 NEW BEST:: SOT 347039 SOS 231029 HAS SOPS 231029 HAS SOUS 195081 HAS SOUPS 195081 WITH SCORE 195312.029
AT ITER 1253 NEW BEST:: SOT 347286 SOS 231198 HAS SOPS 231198 HAS SOUS 195044 HAS SOUPS 195044 WITH SCORE 195275.198
AT ITER 1254 NEW BEST:: SOT 347286 SOS 231165 HAS SOPS 231165 HAS SOUS 195011 HAS SOUPS 195011 WITH SCORE 195242.165
AT ITER 1258 NEW BEST:: SOT 346959 SOS 231051 HAS SOPS 231051 HAS SOUS 194897 HAS SOUPS 194897 WITH SCORE 195128.051
AT ITER 1259 NEW BEST:: SOT 346776 SOS 230651 HAS SOPS 230651 HAS SOUS 194674 HAS SOUPS 194674 WITH SCORE 194904.651
AT ITER 1260 NEW BEST:: SOT 346708 SOS 230515 HAS SOPS 230515 HAS SOUS 194537 HAS SOUPS 194537 WITH SCORE 194767.515
AT ITER 1270 NEW BEST:: SOT 346633 SOS 228938 HAS SOPS 228938 HAS SOUS 192836 HAS SOUPS 192836 WITH SCORE 193064.938
AT ITER 1271 NEW BEST:: SOT 346495 SOS 228658 HAS SOPS 228658 HAS SOUS 192556 HAS SOUPS 192556 WITH SCORE 192784.658
AT ITER 1273 NEW BEST:: SOT 346372 SOS 228356 HAS SOPS 228356 HAS SOUS 192277 HAS SOUPS 192277 WITH SCORE 192505.356
AT ITER 1286 NEW BEST:: SOT 346038 SOS 227881 HAS SOPS 227881 HAS SOUS 191802 HAS SOUPS 191802 WITH SCORE 192029.881
AT ITER 1294 NEW BEST:: SOT 345819 SOS 227662 HAS SOPS 227662 HAS SOUS 191583 HAS SOUPS 191583 WITH SCORE 191810.662
AT ITER 1295 NEW BEST:: SOT 345707 SOS 227522 HAS SOPS 227522 HAS SOUS 191387 HAS SOUPS 191387 WITH SCORE 191614.522
AT ITER 1297 NEW BEST:: SOT 345617 SOS 227432 HAS SOPS 227432 HAS SOUS 191297 HAS SOUPS 191297 WITH SCORE 191524.432
AT ITER 1300 NEW BEST:: SOT 345591 SOS 226572 HAS SOPS 226572 HAS SOUS 191175 HAS SOUPS 191175 WITH SCORE 191401.572
AT ITER 1303 NEW BEST:: SOT 345399 SOS 226476 HAS SOPS 226476 HAS SOUS 191174 HAS SOUPS 191174 WITH SCORE 191400.476
AT ITER 1309 NEW BEST:: SOT 345553 SOS 226503 HAS SOPS 226503 HAS SOUS 191124 HAS SOUPS 191124 WITH SCORE 191350.503
AT ITER 1319 NEW BEST:: SOT 345407 SOS 226357 HAS SOPS 226357 HAS SOUS 190978 HAS SOUPS 190978 WITH SCORE 191204.357
AT ITER 1321 NEW BEST:: SOT 345407 SOS 225439 HAS SOPS 225439 HAS SOUS 190624 HAS SOUPS 190624 WITH SCORE 190849.439
AT ITER 1336 NEW BEST:: SOT 345359 SOS 225429 HAS SOPS 225429 HAS SOUS 190620 HAS SOUPS 190620 WITH SCORE 190845.429
AT ITER 1338 NEW BEST:: SOT 345191 SOS 225261 HAS SOPS 225261 HAS SOUS 190452 HAS SOUPS 190452 WITH SCORE 190677.261
AT ITER 1340 NEW BEST:: SOT 345191 SOS 225142 HAS SOPS 225142 HAS SOUS 190416 HAS SOUPS 190416 WITH SCORE 190641.142
AT ITER 1342 NEW BEST:: SOT 345103 SOS 224580 HAS SOPS 224580 HAS SOUS 190211 HAS SOUPS 190211 WITH SCORE 190435.58
AT ITER 1343 NEW BEST:: SOT 344872 SOS 225007 HAS SOPS 225007 HAS SOUS 190076 HAS SOUPS 190076 WITH SCORE 190301.007
AT ITER 1345 NEW BEST:: SOT 344891 SOS 224992 HAS SOPS 224992 HAS SOUS 189974 HAS SOUPS 189974 WITH SCORE 190198.992
AT ITER 1347 NEW BEST:: SOT 344765 SOS 224866 HAS SOPS 224866 HAS SOUS 189805 HAS SOUPS 189805 WITH SCORE 190029.866
AT ITER 1354 NEW BEST:: SOT 345036 SOS 224411 HAS SOPS 224411 HAS SOUS 189775 HAS SOUPS 189775 WITH SCORE 189999.411
AT ITER 1358 NEW BEST:: SOT 344952 SOS 224327 HAS SOPS 224327 HAS SOUS 189691 HAS SOUPS 189691 WITH SCORE 189915.327
AT ITER 1374 NEW BEST:: SOT 344659 SOS 223899 HAS SOPS 223899 HAS SOUS 189263 HAS SOUPS 189263 WITH SCORE 189486.899
AT ITER 1375 NEW BEST:: SOT 344655 SOS 223887 HAS SOPS 223887 HAS SOUS 189259 HAS SOUPS 189259 WITH SCORE 189482.887
AT ITER 1376 NEW BEST:: SOT 344652 SOS 223824 HAS SOPS 223824 HAS SOUS 189247 HAS SOUPS 189247 WITH SCORE 189470.824
AT ITER 1386 NEW BEST:: SOT 344552 SOS 223724 HAS SOPS 223724 HAS SOUS 189147 HAS SOUPS 189147 WITH SCORE 189370.724
AT ITER 1394 NEW BEST:: SOT 344557 SOS 223337 HAS SOPS 223337 HAS SOUS 188550 HAS SOUPS 188550 WITH SCORE 188773.337
AT ITER 1399 NEW BEST:: SOT 344533 SOS 223313 HAS SOPS 223313 HAS SOUS 188497 HAS SOUPS 188497 WITH SCORE 188720.313
AT ITER 1402 NEW BEST:: SOT 344533 SOS 223259 HAS SOPS 223259 HAS SOUS 188494 HAS SOUPS 188494 WITH SCORE 188717.259
AT ITER 1403 NEW BEST:: SOT 344600 SOS 223133 HAS SOPS 223133 HAS SOUS 188368 HAS SOUPS 188368 WITH SCORE 188591.133
AT ITER 1405 NEW BEST:: SOT 344662 SOS 223222 HAS SOPS 223222 HAS SOUS 188337 HAS SOUPS 188337 WITH SCORE 188560.222
AT ITER 1410 NEW BEST:: SOT 344554 SOS 223114 HAS SOPS 223114 HAS SOUS 188229 HAS SOUPS 188229 WITH SCORE 188452.114
AT ITER 1416 NEW BEST:: SOT 344554 SOS 223180 HAS SOPS 223180 HAS SOUS 188211 HAS SOUPS 188211 WITH SCORE 188434.18
AT ITER 1418 NEW BEST:: SOT 344554 SOS 223222 HAS SOPS 223222 HAS SOUS 188207 HAS SOUPS 188207 WITH SCORE 188430.222
AT ITER 1429 NEW BEST:: SOT 344537 SOS 223205 HAS SOPS 223205 HAS SOUS 188190 HAS SOUPS 188190 WITH SCORE 188413.205
AT ITER 1437 NEW BEST:: SOT 344684 SOS 222622 HAS SOPS 222622 HAS SOUS 187648 HAS SOUPS 187648 WITH SCORE 187870.622
AT ITER 1447 NEW BEST:: SOT 344684 SOS 222122 HAS SOPS 222122 HAS SOUS 187549 HAS SOUPS 187549 WITH SCORE 187771.122
AT ITER 1449 NEW BEST:: SOT 344684 SOS 222318 HAS SOPS 222318 HAS SOUS 187460 HAS SOUPS 187460 WITH SCORE 187682.318
AT ITER 1454 NEW BEST:: SOT 344626 SOS 222000 HAS SOPS 222000 HAS SOUS 187144 HAS SOUPS 187144 WITH SCORE 187366.0
AT ITER 1457 NEW BEST:: SOT 344584 SOS 221960 HAS SOPS 221960 HAS SOUS 186717 HAS SOUPS 186717 WITH SCORE 186938.96
AT ITER 1467 NEW BEST:: SOT 344293 SOS 221520 HAS SOPS 221520 HAS SOUS 186363 HAS SOUPS 186363 WITH SCORE 186584.52
AT ITER 1469 NEW BEST:: SOT 344524 SOS 221462 HAS SOPS 221462 HAS SOUS 186001 HAS SOUPS 186001 WITH SCORE 186222.462
AT ITER 1471 NEW BEST:: SOT 344508 SOS 221358 HAS SOPS 221358 HAS SOUS 185897 HAS SOUPS 185897 WITH SCORE 186118.358
AT ITER 1484 NEW BEST:: SOT 344506 SOS 221354 HAS SOPS 221354 HAS SOUS 185796 HAS SOUPS 185796 WITH SCORE 186017.354
AT ITER 1490 NEW BEST:: SOT 344504 SOS 221316 HAS SOPS 221316 HAS SOUS 185724 HAS SOUPS 185724 WITH SCORE 185945.316
AT ITER 1491 NEW BEST:: SOT 344224 SOS 220984 HAS SOPS 220984 HAS SOUS 185422 HAS SOUPS 185422 WITH SCORE 185642.984
AT ITER 1500 NEW BEST:: SOT 344095 SOS 220855 HAS SOPS 220855 HAS SOUS 185293 HAS SOUPS 185293 WITH SCORE 185513.855
AT ITER 1505 NEW BEST:: SOT 344095 SOS 220708 HAS SOPS 220708 HAS SOUS 185293 HAS SOUPS 185293 WITH SCORE 185513.708
AT ITER 1510 NEW BEST:: SOT 344146 SOS 220370 HAS SOPS 220370 HAS SOUS 185015 HAS SOUPS 185015 WITH SCORE 185235.37
AT ITER 1514 NEW BEST:: SOT 344040 SOS 220069 HAS SOPS 220069 HAS SOUS 184779 HAS SOUPS 184779 WITH SCORE 184999.069
AT ITER 1515 NEW BEST:: SOT 343974 SOS 219713 HAS SOPS 219713 HAS SOUS 184695 HAS SOUPS 184695 WITH SCORE 184914.713
AT ITER 1518 NEW BEST:: SOT 343974 SOS 219462 HAS SOPS 219462 HAS SOUS 184392 HAS SOUPS 184392 WITH SCORE 184611.462
AT ITER 1523 NEW BEST:: SOT 343780 SOS 219268 HAS SOPS 219268 HAS SOUS 184198 HAS SOUPS 184198 WITH SCORE 184417.268
AT ITER 1528 NEW BEST:: SOT 343835 SOS 219074 HAS SOPS 219074 HAS SOUS 184150 HAS SOUPS 184150 WITH SCORE 184369.074
AT ITER 1529 NEW BEST:: SOT 343831 SOS 219421 HAS SOPS 219421 HAS SOUS 183574 HAS SOUPS 183574 WITH SCORE 183793.421
AT ITER 1531 NEW BEST:: SOT 343851 SOS 218719 HAS SOPS 218719 HAS SOUS 183296 HAS SOUPS 183296 WITH SCORE 183514.719
AT ITER 1538 NEW BEST:: SOT 343681 SOS 218549 HAS SOPS 218549 HAS SOUS 183126 HAS SOUPS 183126 WITH SCORE 183344.549
AT ITER 1539 NEW BEST:: SOT 343720 SOS 217714 HAS SOPS 217714 HAS SOUS 182093 HAS SOUPS 182093 WITH SCORE 182310.714
AT ITER 1540 NEW BEST:: SOT 343599 SOS 217593 HAS SOPS 217593 HAS SOUS 181972 HAS SOUPS 181972 WITH SCORE 182189.593
AT ITER 1541 NEW BEST:: SOT 343487 SOS 217203 HAS SOPS 217203 HAS SOUS 181881 HAS SOUPS 181881 WITH SCORE 182098.203
AT ITER 1544 NEW BEST:: SOT 343439 SOS 217143 HAS SOPS 217143 HAS SOUS 181833 HAS SOUPS 181833 WITH SCORE 182050.143
AT ITER 1545 NEW BEST:: SOT 343439 SOS 217211 HAS SOPS 217211 HAS SOUS 181832 HAS SOUPS 181832 WITH SCORE 182049.211
AT ITER 1548 NEW BEST:: SOT 343418 SOS 217169 HAS SOPS 217169 HAS SOUS 181790 HAS SOUPS 181790 WITH SCORE 182007.169
AT ITER 1551 NEW BEST:: SOT 343241 SOS 216968 HAS SOPS 216968 HAS SOUS 181627 HAS SOUPS 181627 WITH SCORE 181843.968
AT ITER 1552 NEW BEST:: SOT 343239 SOS 216964 HAS SOPS 216964 HAS SOUS 181623 HAS SOUPS 181623 WITH SCORE 181839.964
AT ITER 1560 NEW BEST:: SOT 343165 SOS 216858 HAS SOPS 216858 HAS SOUS 181421 HAS SOUPS 181421 WITH SCORE 181637.858
AT ITER 1570 NEW BEST:: SOT 343180 SOS 216873 HAS SOPS 216873 HAS SOUS 181266 HAS SOUPS 181266 WITH SCORE 181482.873
AT ITER 1582 NEW BEST:: SOT 343093 SOS 216786 HAS SOPS 216786 HAS SOUS 181179 HAS SOUPS 181179 WITH SCORE 181395.786
AT ITER 1586 NEW BEST:: SOT 342761 SOS 216405 HAS SOPS 216405 HAS SOUS 180607 HAS SOUPS 180607 WITH SCORE 180823.405
AT ITER 1598 NEW BEST:: SOT 342783 SOS 216182 HAS SOPS 216182 HAS SOUS 180492 HAS SOUPS 180492 WITH SCORE 180708.182
AT ITER 1599 NEW BEST:: SOT 342669 SOS 216019 HAS SOPS 216019 HAS SOUS 180440 HAS SOUPS 180440 WITH SCORE 180656.019
AT ITER 1605 NEW BEST:: SOT 342695 SOS 216082 HAS SOPS 216082 HAS SOUS 180428 HAS SOUPS 180428 WITH SCORE 180644.082
AT ITER 1606 NEW BEST:: SOT 342679 SOS 216034 HAS SOPS 216034 HAS SOUS 180364 HAS SOUPS 180364 WITH SCORE 180580.034
AT ITER 1615 NEW BEST:: SOT 342486 SOS 215788 HAS SOPS 215788 HAS SOUS 180005 HAS SOUPS 180005 WITH SCORE 180220.788
AT ITER 1622 NEW BEST:: SOT 342535 SOS 215548 HAS SOPS 215548 HAS SOUS 179986 HAS SOUPS 179986 WITH SCORE 180201.548
AT ITER 1631 NEW BEST:: SOT 342530 SOS 215543 HAS SOPS 215543 HAS SOUS 179981 HAS SOUPS 179981 WITH SCORE 180196.543
AT ITER 1638 NEW BEST:: SOT 342588 SOS 215783 HAS SOPS 215783 HAS SOUS 179892 HAS SOUPS 179892 WITH SCORE 180107.783
AT ITER 1645 NEW BEST:: SOT 342674 SOS 215762 HAS SOPS 215762 HAS SOUS 179871 HAS SOUPS 179871 WITH SCORE 180086.762
AT ITER 1656 NEW BEST:: SOT 342607 SOS 215695 HAS SOPS 215695 HAS SOUS 179804 HAS SOUPS 179804 WITH SCORE 180019.695
AT ITER 1664 NEW BEST:: SOT 342770 SOS 215468 HAS SOPS 215468 HAS SOUS 179803 HAS SOUPS 179803 WITH SCORE 180018.468
AT ITER 1665 NEW BEST:: SOT 342734 SOS 215429 HAS SOPS 215429 HAS SOUS 179764 HAS SOUPS 179764 WITH SCORE 179979.429
AT ITER 1670 NEW BEST:: SOT 342706 SOS 215194 HAS SOPS 215194 HAS SOUS 179458 HAS SOUPS 179458 WITH SCORE 179673.194
AT ITER 1680 NEW BEST:: SOT 342638 SOS 215160 HAS SOPS 215160 HAS SOUS 179390 HAS SOUPS 179390 WITH SCORE 179605.16
AT ITER 1683 NEW BEST:: SOT 342613 SOS 215136 HAS SOPS 215136 HAS SOUS 179366 HAS SOUPS 179366 WITH SCORE 179581.136
AT ITER 1687 NEW BEST:: SOT 342581 SOS 215104 HAS SOPS 215104 HAS SOUS 179334 HAS SOUPS 179334 WITH SCORE 179549.104
AT ITER 1701 NEW BEST:: SOT 342633 SOS 215014 HAS SOPS 215014 HAS SOUS 179244 HAS SOUPS 179244 WITH SCORE 179459.014
AT ITER 1702 NEW BEST:: SOT 342633 SOS 215005 HAS SOPS 215005 HAS SOUS 179235 HAS SOUPS 179235 WITH SCORE 179450.005
AT ITER 1705 NEW BEST:: SOT 342513 SOS 214885 HAS SOPS 214885 HAS SOUS 179115 HAS SOUPS 179115 WITH SCORE 179329.885
AT ITER 1706 NEW BEST:: SOT 342386 SOS 214631 HAS SOPS 214631 HAS SOUS 179022 HAS SOUPS 179022 WITH SCORE 179236.631
AT ITER 1718 NEW BEST:: SOT 342386 SOS 214622 HAS SOPS 214622 HAS SOUS 179013 HAS SOUPS 179013 WITH SCORE 179227.622
AT ITER 1719 NEW BEST:: SOT 342386 SOS 214440 HAS SOPS 214440 HAS SOUS 178901 HAS SOUPS 178901 WITH SCORE 179115.44
AT ITER 1728 NEW BEST:: SOT 342391 SOS 214511 HAS SOPS 214511 HAS SOUS 178611 HAS SOUPS 178611 WITH SCORE 178825.511
AT ITER 1732 NEW BEST:: SOT 342288 SOS 214500 HAS SOPS 214500 HAS SOUS 178536 HAS SOUPS 178536 WITH SCORE 178750.5
AT ITER 1734 NEW BEST:: SOT 342008 SOS 213913 HAS SOPS 213913 HAS SOUS 178289 HAS SOUPS 178289 WITH SCORE 178502.913
AT ITER 1736 NEW BEST:: SOT 342007 SOS 213899 HAS SOPS 213899 HAS SOUS 178275 HAS SOUPS 178275 WITH SCORE 178488.899
AT ITER 1744 NEW BEST:: SOT 341820 SOS 213746 HAS SOPS 213746 HAS SOUS 178122 HAS SOUPS 178122 WITH SCORE 178335.746
AT ITER 1745 NEW BEST:: SOT 341819 SOS 213745 HAS SOPS 213745 HAS SOUS 178121 HAS SOUPS 178121 WITH SCORE 178334.745
AT ITER 1749 NEW BEST:: SOT 341862 SOS 213604 HAS SOPS 213604 HAS SOUS 177980 HAS SOUPS 177980 WITH SCORE 178193.604
AT ITER 1753 NEW BEST:: SOT 341605 SOS 213037 HAS SOPS 213037 HAS SOUS 177344 HAS SOUPS 177344 WITH SCORE 177557.037
AT ITER 1763 NEW BEST:: SOT 341475 SOS 212872 HAS SOPS 212872 HAS SOUS 177048 HAS SOUPS 177048 WITH SCORE 177260.872
AT ITER 1767 NEW BEST:: SOT 341475 SOS 212871 HAS SOPS 212871 HAS SOUS 177048 HAS SOUPS 177048 WITH SCORE 177260.871
AT ITER 1773 NEW BEST:: SOT 341278 SOS 212473 HAS SOPS 212473 HAS SOUS 176717 HAS SOUPS 176717 WITH SCORE 176929.473
AT ITER 1777 NEW BEST:: SOT 341254 SOS 212343 HAS SOPS 212343 HAS SOUS 176563 HAS SOUPS 176563 WITH SCORE 176775.343
AT ITER 1780 NEW BEST:: SOT 340860 SOS 211949 HAS SOPS 211949 HAS SOUS 176169 HAS SOUPS 176169 WITH SCORE 176380.949
AT ITER 1782 NEW BEST:: SOT 340860 SOS 211905 HAS SOPS 211905 HAS SOUS 176051 HAS SOUPS 176051 WITH SCORE 176262.905
AT ITER 1785 NEW BEST:: SOT 341165 SOS 212295 HAS SOPS 212295 HAS SOUS 176042 HAS SOUPS 176042 WITH SCORE 176254.295
AT ITER 1788 NEW BEST:: SOT 341039 SOS 212169 HAS SOPS 212169 HAS SOUS 175916 HAS SOUPS 175916 WITH SCORE 176128.169
AT ITER 1789 NEW BEST:: SOT 340755 SOS 211885 HAS SOPS 211885 HAS SOUS 175632 HAS SOUPS 175632 WITH SCORE 175843.885
AT ITER 1800 NEW BEST:: SOT 340632 SOS 211746 HAS SOPS 211746 HAS SOUS 175493 HAS SOUPS 175493 WITH SCORE 175704.746
AT ITER 1802 NEW BEST:: SOT 340613 SOS 211675 HAS SOPS 211675 HAS SOUS 175388 HAS SOUPS 175388 WITH SCORE 175599.675
AT ITER 1803 NEW BEST:: SOT 340407 SOS 211469 HAS SOPS 211469 HAS SOUS 175182 HAS SOUPS 175182 WITH SCORE 175393.469
AT ITER 1818 NEW BEST:: SOT 340395 SOS 211457 HAS SOPS 211457 HAS SOUS 175172 HAS SOUPS 175172 WITH SCORE 175383.457
AT ITER 1831 NEW BEST:: SOT 340272 SOS 211334 HAS SOPS 211334 HAS SOUS 175088 HAS SOUPS 175088 WITH SCORE 175299.334
AT ITER 1834 NEW BEST:: SOT 340066 SOS 211121 HAS SOPS 211121 HAS SOUS 174875 HAS SOUPS 174875 WITH SCORE 175086.121
AT ITER 1837 NEW BEST:: SOT 340014 SOS 211071 HAS SOPS 211071 HAS SOUS 174825 HAS SOUPS 174825 WITH SCORE 175036.071
AT ITER 1839 NEW BEST:: SOT 340000 SOS 211057 HAS SOPS 211057 HAS SOUS 174809 HAS SOUPS 174809 WITH SCORE 175020.057
AT ITER 1841 NEW BEST:: SOT 340016 SOS 211196 HAS SOPS 211196 HAS SOUS 174677 HAS SOUPS 174677 WITH SCORE 174888.196
AT ITER 1846 NEW BEST:: SOT 339864 SOS 210334 HAS SOPS 210334 HAS SOUS 174574 HAS SOUPS 174574 WITH SCORE 174784.334
AT ITER 1857 NEW BEST:: SOT 339764 SOS 210184 HAS SOPS 210184 HAS SOUS 174274 HAS SOUPS 174274 WITH SCORE 174484.184
AT ITER 1873 NEW BEST:: SOT 339628 SOS 210048 HAS SOPS 210048 HAS SOUS 174138 HAS SOUPS 174138 WITH SCORE 174348.048
AT ITER 1879 NEW BEST:: SOT 339402 SOS 209811 HAS SOPS 209811 HAS SOUS 174077 HAS SOUPS 174077 WITH SCORE 174286.811
AT ITER 1896 NEW BEST:: SOT 339367 SOS 209776 HAS SOPS 209776 HAS SOUS 174042 HAS SOUPS 174042 WITH SCORE 174251.776
AT ITER 1897 NEW BEST:: SOT 339295 SOS 209598 HAS SOPS 209598 HAS SOUS 173899 HAS SOUPS 173899 WITH SCORE 174108.598
AT ITER 1901 NEW BEST:: SOT 339269 SOS 209572 HAS SOPS 209572 HAS SOUS 173873 HAS SOUPS 173873 WITH SCORE 174082.572
AT ITER 1906 NEW BEST:: SOT 339230 SOS 209570 HAS SOPS 209570 HAS SOUS 173871 HAS SOUPS 173871 WITH SCORE 174080.57
AT ITER 1912 NEW BEST:: SOT 339225 SOS 209560 HAS SOPS 209560 HAS SOUS 173866 HAS SOUPS 173866 WITH SCORE 174075.56
AT ITER 1919 NEW BEST:: SOT 339053 SOS 209303 HAS SOPS 209303 HAS SOUS 173694 HAS SOUPS 173694 WITH SCORE 173903.303
AT ITER 1922 NEW BEST:: SOT 339071 SOS 209251 HAS SOPS 209251 HAS SOUS 173642 HAS SOUPS 173642 WITH SCORE 173851.251
AT ITER 1924 NEW BEST:: SOT 339088 SOS 209268 HAS SOPS 209268 HAS SOUS 173639 HAS SOUPS 173639 WITH SCORE 173848.268
AT ITER 1927 NEW BEST:: SOT 339298 SOS 209114 HAS SOPS 209114 HAS SOUS 173493 HAS SOUPS 173493 WITH SCORE 173702.114
AT ITER 1929 NEW BEST:: SOT 339258 SOS 209058 HAS SOPS 209058 HAS SOUS 173437 HAS SOUPS 173437 WITH SCORE 173646.058
AT ITER 1937 NEW BEST:: SOT 339138 SOS 208868 HAS SOPS 208868 HAS SOUS 173293 HAS SOUPS 173293 WITH SCORE 173501.868
AT ITER 1941 NEW BEST:: SOT 338920 SOS 208650 HAS SOPS 208650 HAS SOUS 173027 HAS SOUPS 173027 WITH SCORE 173235.65
AT ITER 1950 NEW BEST:: SOT 338920 SOS 208418 HAS SOPS 208418 HAS SOUS 172897 HAS SOUPS 172897 WITH SCORE 173105.418
AT ITER 1963 NEW BEST:: SOT 338970 SOS 208226 HAS SOPS 208226 HAS SOUS 172893 HAS SOUPS 172893 WITH SCORE 173101.226
AT ITER 1970 NEW BEST:: SOT 338912 SOS 208081 HAS SOPS 208081 HAS SOUS 172777 HAS SOUPS 172777 WITH SCORE 172985.081
AT ITER 1977 NEW BEST:: SOT 339135 SOS 208113 HAS SOPS 208113 HAS SOUS 172735 HAS SOUPS 172735 WITH SCORE 172943.113
AT ITER 1982 NEW BEST:: SOT 339135 SOS 207652 HAS SOPS 207652 HAS SOUS 172521 HAS SOUPS 172521 WITH SCORE 172728.652
AT ITER 1983 NEW BEST:: SOT 338977 SOS 207540 HAS SOPS 207540 HAS SOUS 172409 HAS SOUPS 172409 WITH SCORE 172616.54
AT ITER 1987 NEW BEST:: SOT 338605 SOS 206639 HAS SOPS 206639 HAS SOUS 171845 HAS SOUPS 171845 WITH SCORE 172051.639
AT ITER 1990 NEW BEST:: SOT 338605 SOS 206406 HAS SOPS 206406 HAS SOUS 171284 HAS SOUPS 171284 WITH SCORE 171490.406
AT ITER 2000 NEW BEST:: SOT 338340 SOS 205958 HAS SOPS 205958 HAS SOUS 171148 HAS SOUPS 171148 WITH SCORE 171353.958
AT ITER 2013 NEW BEST:: SOT 338174 SOS 205518 HAS SOPS 205518 HAS SOUS 170821 HAS SOUPS 170821 WITH SCORE 171026.518
AT ITER 2019 NEW BEST:: SOT 338174 SOS 205504 HAS SOPS 205504 HAS SOUS 170807 HAS SOUPS 170807 WITH SCORE 171012.504
AT ITER 2020 NEW BEST:: SOT 337878 SOS 205208 HAS SOPS 205208 HAS SOUS 170511 HAS SOUPS 170511 WITH SCORE 170716.208
AT ITER 2025 NEW BEST:: SOT 337878 SOS 205208 HAS SOPS 205208 HAS SOUS 170500 HAS SOUPS 170500 WITH SCORE 170705.208
AT ITER 2027 NEW BEST:: SOT 338026 SOS 205571 HAS SOPS 205571 HAS SOUS 170254 HAS SOUPS 170254 WITH SCORE 170459.571
AT ITER 2031 NEW BEST:: SOT 337840 SOS 205361 HAS SOPS 205361 HAS SOUS 170056 HAS SOUPS 170056 WITH SCORE 170261.361
AT ITER 2035 NEW BEST:: SOT 337801 SOS 205285 HAS SOPS 205285 HAS SOUS 169950 HAS SOUPS 169950 WITH SCORE 170155.285
AT ITER 2044 NEW BEST:: SOT 337801 SOS 205197 HAS SOPS 205197 HAS SOUS 169862 HAS SOUPS 169862 WITH SCORE 170067.197
AT ITER 2045 NEW BEST:: SOT 337801 SOS 205069 HAS SOPS 205069 HAS SOUS 169734 HAS SOUPS 169734 WITH SCORE 169939.069
AT ITER 2049 NEW BEST:: SOT 337749 SOS 205002 HAS SOPS 205002 HAS SOUS 169667 HAS SOUPS 169667 WITH SCORE 169872.002
AT ITER 2058 NEW BEST:: SOT 337745 SOS 204983 HAS SOPS 204983 HAS SOUS 169648 HAS SOUPS 169648 WITH SCORE 169852.983
AT ITER 2086 NEW BEST:: SOT 337505 SOS 204650 HAS SOPS 204650 HAS SOUS 169315 HAS SOUPS 169315 WITH SCORE 169519.65
AT ITER 2101 NEW BEST:: SOT 337150 SOS 204065 HAS SOPS 204065 HAS SOUS 168730 HAS SOUPS 168730 WITH SCORE 168934.065
AT ITER 2103 NEW BEST:: SOT 337030 SOS 204060 HAS SOPS 204060 HAS SOUS 168725 HAS SOUPS 168725 WITH SCORE 168929.06
AT ITER 2105 NEW BEST:: SOT 337026 SOS 204052 HAS SOPS 204052 HAS SOUS 168717 HAS SOUPS 168717 WITH SCORE 168921.052
AT ITER 2107 NEW BEST:: SOT 337143 SOS 203524 HAS SOPS 203524 HAS SOUS 167932 HAS SOUPS 167932 WITH SCORE 168135.524
AT ITER 2125 NEW BEST:: SOT 337017 SOS 203252 HAS SOPS 203252 HAS SOUS 167660 HAS SOUPS 167660 WITH SCORE 167863.252
AT ITER 2129 NEW BEST:: SOT 336972 SOS 203060 HAS SOPS 203060 HAS SOUS 167468 HAS SOUPS 167468 WITH SCORE 167671.06
AT ITER 2130 NEW BEST:: SOT 336963 SOS 203051 HAS SOPS 203051 HAS SOUS 167468 HAS SOUPS 167468 WITH SCORE 167671.051
AT ITER 2132 NEW BEST:: SOT 336381 SOS 202317 HAS SOPS 202317 HAS SOUS 166734 HAS SOUPS 166734 WITH SCORE 166936.317
AT ITER 2139 NEW BEST:: SOT 336381 SOS 202151 HAS SOPS 202151 HAS SOUS 166568 HAS SOUPS 166568 WITH SCORE 166770.151
AT ITER 2140 NEW BEST:: SOT 336331 SOS 202046 HAS SOPS 202046 HAS SOUS 166473 HAS SOUPS 166473 WITH SCORE 166675.046
AT ITER 2149 NEW BEST:: SOT 336046 SOS 201761 HAS SOPS 201761 HAS SOUS 166419 HAS SOUPS 166419 WITH SCORE 166620.761
AT ITER 2155 NEW BEST:: SOT 335931 SOS 201603 HAS SOPS 201603 HAS SOUS 166212 HAS SOUPS 166212 WITH SCORE 166413.603
AT ITER 2157 NEW BEST:: SOT 335652 SOS 201354 HAS SOPS 201354 HAS SOUS 165832 HAS SOUPS 165832 WITH SCORE 166033.354
AT ITER 2165 NEW BEST:: SOT 335595 SOS 201116 HAS SOPS 201116 HAS SOUS 165443 HAS SOUPS 165443 WITH SCORE 165644.116
AT ITER 2167 NEW BEST:: SOT 335513 SOS 201034 HAS SOPS 201034 HAS SOUS 165361 HAS SOUPS 165361 WITH SCORE 165562.034
AT ITER 2169 NEW BEST:: SOT 335488 SOS 201009 HAS SOPS 201009 HAS SOUS 165336 HAS SOUPS 165336 WITH SCORE 165537.009
AT ITER 2170 NEW BEST:: SOT 335488 SOS 200661 HAS SOPS 200661 HAS SOUS 165068 HAS SOUPS 165068 WITH SCORE 165268.661
AT ITER 2175 NEW BEST:: SOT 335381 SOS 200573 HAS SOPS 200573 HAS SOUS 164980 HAS SOUPS 164980 WITH SCORE 165180.573
AT ITER 2178 NEW BEST:: SOT 335342 SOS 200534 HAS SOPS 200534 HAS SOUS 164941 HAS SOUPS 164941 WITH SCORE 165141.534
AT ITER 2185 NEW BEST:: SOT 335342 SOS 200328 HAS SOPS 200328 HAS SOUS 164632 HAS SOUPS 164632 WITH SCORE 164832.328
AT ITER 2186 NEW BEST:: SOT 335342 SOS 200327 HAS SOPS 200327 HAS SOUS 164631 HAS SOUPS 164631 WITH SCORE 164831.327
AT ITER 2189 NEW BEST:: SOT 335056 SOS 199676 HAS SOPS 199676 HAS SOUS 164036 HAS SOUPS 164036 WITH SCORE 164235.676
AT ITER 2190 NEW BEST:: SOT 334784 SOS 199402 HAS SOPS 199402 HAS SOUS 163762 HAS SOUPS 163762 WITH SCORE 163961.402
AT ITER 2203 NEW BEST:: SOT 334735 SOS 199381 HAS SOPS 199381 HAS SOUS 163741 HAS SOUPS 163741 WITH SCORE 163940.381
AT ITER 2214 NEW BEST:: SOT 334687 SOS 199333 HAS SOPS 199333 HAS SOUS 163693 HAS SOUPS 163693 WITH SCORE 163892.333
AT ITER 2220 NEW BEST:: SOT 334599 SOS 199245 HAS SOPS 199245 HAS SOUS 163624 HAS SOUPS 163624 WITH SCORE 163823.245
AT ITER 2228 NEW BEST:: SOT 334652 SOS 199139 HAS SOPS 199139 HAS SOUS 163495 HAS SOUPS 163495 WITH SCORE 163694.139
AT ITER 2234 NEW BEST:: SOT 334652 SOS 198535 HAS SOPS 198535 HAS SOUS 163322 HAS SOUPS 163322 WITH SCORE 163520.535
AT ITER 2244 NEW BEST:: SOT 334589 SOS 198409 HAS SOPS 198409 HAS SOUS 163237 HAS SOUPS 163237 WITH SCORE 163435.409
AT ITER 2258 NEW BEST:: SOT 334381 SOS 197997 HAS SOPS 197997 HAS SOUS 162901 HAS SOUPS 162901 WITH SCORE 163098.997
AT ITER 2260 NEW BEST:: SOT 334190 SOS 197806 HAS SOPS 197806 HAS SOUS 162710 HAS SOUPS 162710 WITH SCORE 162907.806
AT ITER 2263 NEW BEST:: SOT 333938 SOS 197433 HAS SOPS 197433 HAS SOUS 162359 HAS SOUPS 162359 WITH SCORE 162556.433
AT ITER 2265 NEW BEST:: SOT 333951 SOS 197459 HAS SOPS 197459 HAS SOUS 162084 HAS SOUPS 162084 WITH SCORE 162281.459
AT ITER 2267 NEW BEST:: SOT 333917 SOS 197391 HAS SOPS 197391 HAS SOUS 161990 HAS SOUPS 161990 WITH SCORE 162187.391
AT ITER 2273 NEW BEST:: SOT 333878 SOS 197352 HAS SOPS 197352 HAS SOUS 161951 HAS SOUPS 161951 WITH SCORE 162148.352
AT ITER 2278 NEW BEST:: SOT 333824 SOS 197404 HAS SOPS 197404 HAS SOUS 161918 HAS SOUPS 161918 WITH SCORE 162115.404
AT ITER 2294 NEW BEST:: SOT 333807 SOS 197371 HAS SOPS 197371 HAS SOUS 161885 HAS SOUPS 161885 WITH SCORE 162082.371
AT ITER 2299 NEW BEST:: SOT 333805 SOS 197369 HAS SOPS 197369 HAS SOUS 161883 HAS SOUPS 161883 WITH SCORE 162080.369
AT ITER 2305 NEW BEST:: SOT 333742 SOS 197306 HAS SOPS 197306 HAS SOUS 161820 HAS SOUPS 161820 WITH SCORE 162017.306
AT ITER 2307 NEW BEST:: SOT 333730 SOS 197188 HAS SOPS 197188 HAS SOUS 161786 HAS SOUPS 161786 WITH SCORE 161983.188
AT ITER 2341 NEW BEST:: SOT 333725 SOS 197175 HAS SOPS 197175 HAS SOUS 161738 HAS SOUPS 161738 WITH SCORE 161935.175
AT ITER 2346 NEW BEST:: SOT 333674 SOS 197124 HAS SOPS 197124 HAS SOUS 161687 HAS SOUPS 161687 WITH SCORE 161884.124
AT ITER 2357 NEW BEST:: SOT 333583 SOS 196913 HAS SOPS 196913 HAS SOUS 161356 HAS SOUPS 161356 WITH SCORE 161552.913
AT ITER 2370 NEW BEST:: SOT 333902 SOS 196715 HAS SOPS 196715 HAS SOUS 161346 HAS SOUPS 161346 WITH SCORE 161542.715
AT ITER 2371 NEW BEST:: SOT 333979 SOS 195377 HAS SOPS 195377 HAS SOUS 160413 HAS SOUPS 160413 WITH SCORE 160608.377
AT ITER 2374 NEW BEST:: SOT 334017 SOS 195488 HAS SOPS 195488 HAS SOUS 160311 HAS SOUPS 160311 WITH SCORE 160506.488
AT ITER 2387 NEW BEST:: SOT 333853 SOS 195324 HAS SOPS 195324 HAS SOUS 160147 HAS SOUPS 160147 WITH SCORE 160342.324
AT ITER 2396 NEW BEST:: SOT 333756 SOS 194806 HAS SOPS 194806 HAS SOUS 159973 HAS SOUPS 159973 WITH SCORE 160167.806
AT ITER 2406 NEW BEST:: SOT 333592 SOS 194605 HAS SOPS 194605 HAS SOUS 159772 HAS SOUPS 159772 WITH SCORE 159966.605
AT ITER 2409 NEW BEST:: SOT 333572 SOS 194585 HAS SOPS 194585 HAS SOUS 159752 HAS SOUPS 159752 WITH SCORE 159946.585
AT ITER 2419 NEW BEST:: SOT 333561 SOS 194428 HAS SOPS 194428 HAS SOUS 159500 HAS SOUPS 159500 WITH SCORE 159694.428
AT ITER 2423 NEW BEST:: SOT 333501 SOS 194368 HAS SOPS 194368 HAS SOUS 159281 HAS SOUPS 159281 WITH SCORE 159475.368
AT ITER 2428 NEW BEST:: SOT 333498 SOS 193897 HAS SOPS 193897 HAS SOUS 159180 HAS SOUPS 159180 WITH SCORE 159373.897
AT ITER 2433 NEW BEST:: SOT 333360 SOS 193880 HAS SOPS 193880 HAS SOUS 159163 HAS SOUPS 159163 WITH SCORE 159356.88
AT ITER 2434 NEW BEST:: SOT 333279 SOS 193799 HAS SOPS 193799 HAS SOUS 159082 HAS SOUPS 159082 WITH SCORE 159275.799
AT ITER 2436 NEW BEST:: SOT 333265 SOS 193785 HAS SOPS 193785 HAS SOUS 159068 HAS SOUPS 159068 WITH SCORE 159261.785
AT ITER 2437 NEW BEST:: SOT 333227 SOS 193707 HAS SOPS 193707 HAS SOUS 159003 HAS SOUPS 159003 WITH SCORE 159196.707
AT ITER 2439 NEW BEST:: SOT 333152 SOS 193585 HAS SOPS 193585 HAS SOUS 158833 HAS SOUPS 158833 WITH SCORE 159026.585
AT ITER 2457 NEW BEST:: SOT 333101 SOS 193450 HAS SOPS 193450 HAS SOUS 158739 HAS SOUPS 158739 WITH SCORE 158932.45
AT ITER 2458 NEW BEST:: SOT 332898 SOS 193205 HAS SOPS 193205 HAS SOUS 158205 HAS SOUPS 158205 WITH SCORE 158398.205
AT ITER 2460 NEW BEST:: SOT 332918 SOS 192836 HAS SOPS 192836 HAS SOUS 157990 HAS SOUPS 157990 WITH SCORE 158182.836
AT ITER 2467 NEW BEST:: SOT 332892 SOS 192810 HAS SOPS 192810 HAS SOUS 157964 HAS SOUPS 157964 WITH SCORE 158156.81
AT ITER 2473 NEW BEST:: SOT 332881 SOS 192799 HAS SOPS 192799 HAS SOUS 157953 HAS SOUPS 157953 WITH SCORE 158145.799
AT ITER 2477 NEW BEST:: SOT 332831 SOS 192713 HAS SOPS 192713 HAS SOUS 157876 HAS SOUPS 157876 WITH SCORE 158068.713
AT ITER 2488 NEW BEST:: SOT 333002 SOS 192961 HAS SOPS 192961 HAS SOUS 157795 HAS SOUPS 157795 WITH SCORE 157987.961
AT ITER 2491 NEW BEST:: SOT 332664 SOS 192623 HAS SOPS 192623 HAS SOUS 157522 HAS SOUPS 157522 WITH SCORE 157714.623
AT ITER 2515 NEW BEST:: SOT 332664 SOS 192623 HAS SOPS 192623 HAS SOUS 157508 HAS SOUPS 157508 WITH SCORE 157700.623
AT ITER 2520 NEW BEST:: SOT 332432 SOS 192308 HAS SOPS 192308 HAS SOUS 157193 HAS SOUPS 157193 WITH SCORE 157385.308
AT ITER 2522 NEW BEST:: SOT 332259 SOS 192135 HAS SOPS 192135 HAS SOUS 157020 HAS SOUPS 157020 WITH SCORE 157212.135
AT ITER 2527 NEW BEST:: SOT 332171 SOS 192047 HAS SOPS 192047 HAS SOUS 156932 HAS SOUPS 156932 WITH SCORE 157124.047
AT ITER 2530 NEW BEST:: SOT 332484 SOS 192451 HAS SOPS 192451 HAS SOUS 156871 HAS SOUPS 156871 WITH SCORE 157063.451
AT ITER 2548 NEW BEST:: SOT 332516 SOS 192517 HAS SOPS 192517 HAS SOUS 156869 HAS SOUPS 156869 WITH SCORE 157061.517
AT ITER 2563 NEW BEST:: SOT 332492 SOS 192485 HAS SOPS 192485 HAS SOUS 156865 HAS SOUPS 156865 WITH SCORE 157057.485
AT ITER 2564 NEW BEST:: SOT 332464 SOS 192452 HAS SOPS 192452 HAS SOUS 156832 HAS SOUPS 156832 WITH SCORE 157024.452
AT ITER 2568 NEW BEST:: SOT 332464 SOS 192430 HAS SOPS 192430 HAS SOUS 156810 HAS SOUPS 156810 WITH SCORE 157002.43
AT ITER 2571 NEW BEST:: SOT 332426 SOS 192352 HAS SOPS 192352 HAS SOUS 156713 HAS SOUPS 156713 WITH SCORE 156905.352
AT ITER 2579 NEW BEST:: SOT 332217 SOS 192068 HAS SOPS 192068 HAS SOUS 156309 HAS SOUPS 156309 WITH SCORE 156501.068
AT ITER 2581 NEW BEST:: SOT 332239 SOS 192037 HAS SOPS 192037 HAS SOUS 156256 HAS SOUPS 156256 WITH SCORE 156448.037
AT ITER 2583 NEW BEST:: SOT 332237 SOS 191869 HAS SOPS 191869 HAS SOUS 156178 HAS SOUPS 156178 WITH SCORE 156369.869
AT ITER 2585 NEW BEST:: SOT 332198 SOS 191640 HAS SOPS 191640 HAS SOUS 155987 HAS SOUPS 155987 WITH SCORE 156178.64
AT ITER 2588 NEW BEST:: SOT 332239 SOS 191525 HAS SOPS 191525 HAS SOUS 155704 HAS SOUPS 155704 WITH SCORE 155895.525
AT ITER 2602 NEW BEST:: SOT 332239 SOS 191549 HAS SOPS 191549 HAS SOUS 155680 HAS SOUPS 155680 WITH SCORE 155871.549
AT ITER 2608 NEW BEST:: SOT 332193 SOS 191353 HAS SOPS 191353 HAS SOUS 155570 HAS SOUPS 155570 WITH SCORE 155761.353
AT ITER 2612 NEW BEST:: SOT 331851 SOS 191143 HAS SOPS 191143 HAS SOUS 155427 HAS SOUPS 155427 WITH SCORE 155618.143
AT ITER 2616 NEW BEST:: SOT 331843 SOS 191127 HAS SOPS 191127 HAS SOUS 155411 HAS SOUPS 155411 WITH SCORE 155602.127
AT ITER 2645 NEW BEST:: SOT 331777 SOS 191027 HAS SOPS 191027 HAS SOUS 155328 HAS SOUPS 155328 WITH SCORE 155519.027
AT ITER 2646 NEW BEST:: SOT 331633 SOS 190883 HAS SOPS 190883 HAS SOUS 155184 HAS SOUPS 155184 WITH SCORE 155374.883
AT ITER 2651 NEW BEST:: SOT 331515 SOS 190765 HAS SOPS 190765 HAS SOUS 155066 HAS SOUPS 155066 WITH SCORE 155256.765
AT ITER 2658 NEW BEST:: SOT 331432 SOS 190673 HAS SOPS 190673 HAS SOUS 154974 HAS SOUPS 154974 WITH SCORE 155164.673
AT ITER 2674 NEW BEST:: SOT 331432 SOS 190545 HAS SOPS 190545 HAS SOUS 154864 HAS SOUPS 154864 WITH SCORE 155054.545
AT ITER 2677 NEW BEST:: SOT 331224 SOS 190471 HAS SOPS 190471 HAS SOUS 154712 HAS SOUPS 154712 WITH SCORE 154902.471
AT ITER 2680 NEW BEST:: SOT 331181 SOS 190424 HAS SOPS 190424 HAS SOUS 154665 HAS SOUPS 154665 WITH SCORE 154855.424
AT ITER 2685 NEW BEST:: SOT 331180 SOS 190117 HAS SOPS 190117 HAS SOUS 154609 HAS SOUPS 154609 WITH SCORE 154799.117
AT ITER 2693 NEW BEST:: SOT 331170 SOS 190207 HAS SOPS 190207 HAS SOUS 154596 HAS SOUPS 154596 WITH SCORE 154786.207
AT ITER 2696 NEW BEST:: SOT 331166 SOS 190178 HAS SOPS 190178 HAS SOUS 154567 HAS SOUPS 154567 WITH SCORE 154757.178
AT ITER 2720 NEW BEST:: SOT 331166 SOS 190159 HAS SOPS 190159 HAS SOUS 154496 HAS SOUPS 154496 WITH SCORE 154686.159
AT ITER 2725 NEW BEST:: SOT 331130 SOS 190123 HAS SOPS 190123 HAS SOUS 154460 HAS SOUPS 154460 WITH SCORE 154650.123
AT ITER 2729 NEW BEST:: SOT 331204 SOS 189975 HAS SOPS 189975 HAS SOUS 154460 HAS SOUPS 154460 WITH SCORE 154649.975
AT ITER 2747 NEW BEST:: SOT 331200 SOS 189971 HAS SOPS 189971 HAS SOUS 154456 HAS SOUPS 154456 WITH SCORE 154645.971
AT ITER 2754 NEW BEST:: SOT 331163 SOS 189899 HAS SOPS 189899 HAS SOUS 154244 HAS SOUPS 154244 WITH SCORE 154433.899
AT ITER 2758 NEW BEST:: SOT 330975 SOS 189711 HAS SOPS 189711 HAS SOUS 153872 HAS SOUPS 153872 WITH SCORE 154061.711
AT ITER 2761 NEW BEST:: SOT 330511 SOS 189230 HAS SOPS 189230 HAS SOUS 153391 HAS SOUPS 153391 WITH SCORE 153580.23
AT ITER 2765 NEW BEST:: SOT 330358 SOS 189077 HAS SOPS 189077 HAS SOUS 153238 HAS SOUPS 153238 WITH SCORE 153427.077
AT ITER 2768 NEW BEST:: SOT 330350 SOS 188917 HAS SOPS 188917 HAS SOUS 153024 HAS SOUPS 153024 WITH SCORE 153212.917
AT ITER 2770 NEW BEST:: SOT 330402 SOS 188917 HAS SOPS 188917 HAS SOUS 152972 HAS SOUPS 152972 WITH SCORE 153160.917
AT ITER 2781 NEW BEST:: SOT 330294 SOS 188563 HAS SOPS 188563 HAS SOUS 152822 HAS SOUPS 152822 WITH SCORE 153010.563
AT ITER 2784 NEW BEST:: SOT 330176 SOS 188146 HAS SOPS 188146 HAS SOUS 152627 HAS SOUPS 152627 WITH SCORE 152815.146
AT ITER 2811 NEW BEST:: SOT 330111 SOS 188081 HAS SOPS 188081 HAS SOUS 152554 HAS SOUPS 152554 WITH SCORE 152742.081
AT ITER 2820 NEW BEST:: SOT 330033 SOS 187768 HAS SOPS 187768 HAS SOUS 152045 HAS SOUPS 152045 WITH SCORE 152232.768
AT ITER 2828 NEW BEST:: SOT 330001 SOS 187720 HAS SOPS 187720 HAS SOUS 151997 HAS SOUPS 151997 WITH SCORE 152184.72
AT ITER 2866 NEW BEST:: SOT 330001 SOS 187369 HAS SOPS 187369 HAS SOUS 151976 HAS SOUPS 151976 WITH SCORE 152163.369
AT ITER 2867 NEW BEST:: SOT 329985 SOS 186933 HAS SOPS 186933 HAS SOUS 151677 HAS SOUPS 151677 WITH SCORE 151863.933
AT ITER 2874 NEW BEST:: SOT 329849 SOS 186797 HAS SOPS 186797 HAS SOUS 151541 HAS SOUPS 151541 WITH SCORE 151727.797
AT ITER 2878 NEW BEST:: SOT 329849 SOS 186741 HAS SOPS 186741 HAS SOUS 151485 HAS SOUPS 151485 WITH SCORE 151671.741
AT ITER 2887 NEW BEST:: SOT 329839 SOS 186731 HAS SOPS 186731 HAS SOUS 151475 HAS SOUPS 151475 WITH SCORE 151661.731
AT ITER 2888 NEW BEST:: SOT 329812 SOS 186704 HAS SOPS 186704 HAS SOUS 151448 HAS SOUPS 151448 WITH SCORE 151634.704
AT ITER 2892 NEW BEST:: SOT 329841 SOS 186641 HAS SOPS 186641 HAS SOUS 151385 HAS SOUPS 151385 WITH SCORE 151571.641
AT ITER 2897 NEW BEST:: SOT 329764 SOS 186156 HAS SOPS 186156 HAS SOUS 151375 HAS SOUPS 151375 WITH SCORE 151561.156
AT ITER 2898 NEW BEST:: SOT 329717 SOS 186109 HAS SOPS 186109 HAS SOUS 151328 HAS SOUPS 151328 WITH SCORE 151514.109
AT ITER 2901 NEW BEST:: SOT 329701 SOS 185985 HAS SOPS 185985 HAS SOUS 151231 HAS SOUPS 151231 WITH SCORE 151416.985
AT ITER 2908 NEW BEST:: SOT 329727 SOS 185644 HAS SOPS 185644 HAS SOUS 150865 HAS SOUPS 150865 WITH SCORE 151050.644
AT ITER 2912 NEW BEST:: SOT 329727 SOS 185602 HAS SOPS 185602 HAS SOUS 150813 HAS SOUPS 150813 WITH SCORE 150998.602
AT ITER 2926 NEW BEST:: SOT 329696 SOS 185501 HAS SOPS 185501 HAS SOUS 150711 HAS SOUPS 150711 WITH SCORE 150896.501
AT ITER 2930 NEW BEST:: SOT 329517 SOS 185154 HAS SOPS 185154 HAS SOUS 150364 HAS SOUPS 150364 WITH SCORE 150549.154
AT ITER 2933 NEW BEST:: SOT 329199 SOS 184501 HAS SOPS 184501 HAS SOUS 149831 HAS SOUPS 149831 WITH SCORE 150015.501
AT ITER 2937 NEW BEST:: SOT 329177 SOS 184479 HAS SOPS 184479 HAS SOUS 149809 HAS SOUPS 149809 WITH SCORE 149993.479
AT ITER 2946 NEW BEST:: SOT 329118 SOS 183867 HAS SOPS 183867 HAS SOUS 149375 HAS SOUPS 149375 WITH SCORE 149558.867
AT ITER 2951 NEW BEST:: SOT 329018 SOS 183802 HAS SOPS 183802 HAS SOUS 149301 HAS SOUPS 149301 WITH SCORE 149484.802
AT ITER 2968 NEW BEST:: SOT 328680 SOS 183464 HAS SOPS 183464 HAS SOUS 148963 HAS SOUPS 148963 WITH SCORE 149146.464
AT ITER 2973 NEW BEST:: SOT 328662 SOS 183446 HAS SOPS 183446 HAS SOUS 148945 HAS SOUPS 148945 WITH SCORE 149128.446
AT ITER 2982 NEW BEST:: SOT 328556 SOS 183338 HAS SOPS 183338 HAS SOUS 148837 HAS SOUPS 148837 WITH SCORE 149020.338
AT ITER 3000 NEW BEST:: SOT 328454 SOS 183139 HAS SOPS 183139 HAS SOUS 148705 HAS SOUPS 148705 WITH SCORE 148888.139
AT ITER 3017 NEW BEST:: SOT 328454 SOS 183137 HAS SOPS 183137 HAS SOUS 148705 HAS SOUPS 148705 WITH SCORE 148888.137
AT ITER 3018 NEW BEST:: SOT 328495 SOS 183095 HAS SOPS 183095 HAS SOUS 148635 HAS SOUPS 148635 WITH SCORE 148818.095
AT ITER 3026 NEW BEST:: SOT 328475 SOS 183085 HAS SOPS 183085 HAS SOUS 148625 HAS SOUPS 148625 WITH SCORE 148808.085
AT ITER 3037 NEW BEST:: SOT 328492 SOS 183358 HAS SOPS 183358 HAS SOUS 148495 HAS SOUPS 148495 WITH SCORE 148678.358
AT ITER 3047 NEW BEST:: SOT 328403 SOS 183339 HAS SOPS 183339 HAS SOUS 148494 HAS SOUPS 148494 WITH SCORE 148677.339
AT ITER 3055 NEW BEST:: SOT 328403 SOS 183253 HAS SOPS 183253 HAS SOUS 148483 HAS SOUPS 148483 WITH SCORE 148666.253
AT ITER 3071 NEW BEST:: SOT 328251 SOS 183170 HAS SOPS 183170 HAS SOUS 148233 HAS SOUPS 148233 WITH SCORE 148416.17
AT ITER 3088 NEW BEST:: SOT 328222 SOS 183109 HAS SOPS 183109 HAS SOUS 148172 HAS SOUPS 148172 WITH SCORE 148355.109
AT ITER 3091 NEW BEST:: SOT 328170 SOS 183074 HAS SOPS 183074 HAS SOUS 148090 HAS SOUPS 148090 WITH SCORE 148273.074
AT ITER 3105 NEW BEST:: SOT 328151 SOS 183055 HAS SOPS 183055 HAS SOUS 148071 HAS SOUPS 148071 WITH SCORE 148254.055
AT ITER 3111 NEW BEST:: SOT 328212 SOS 183348 HAS SOPS 183348 HAS SOUS 148024 HAS SOUPS 148024 WITH SCORE 148207.348
AT ITER 3130 NEW BEST:: SOT 328111 SOS 183174 HAS SOPS 183174 HAS SOUS 147955 HAS SOUPS 147955 WITH SCORE 148138.174
AT ITER 3143 NEW BEST:: SOT 328094 SOS 183099 HAS SOPS 183099 HAS SOUS 147910 HAS SOUPS 147910 WITH SCORE 148093.099
AT ITER 3154 NEW BEST:: SOT 328169 SOS 183029 HAS SOPS 183029 HAS SOUS 147898 HAS SOUPS 147898 WITH SCORE 148081.029
AT ITER 3162 NEW BEST:: SOT 328065 SOS 182765 HAS SOPS 182765 HAS SOUS 147442 HAS SOUPS 147442 WITH SCORE 147624.765
AT ITER 3174 NEW BEST:: SOT 327963 SOS 182302 HAS SOPS 182302 HAS SOUS 146997 HAS SOUPS 146997 WITH SCORE 147179.302
AT ITER 3175 NEW BEST:: SOT 327834 SOS 182173 HAS SOPS 182173 HAS SOUS 146868 HAS SOUPS 146868 WITH SCORE 147050.173
AT ITER 3200 NEW BEST:: SOT 327789 SOS 182075 HAS SOPS 182075 HAS SOUS 146770 HAS SOUPS 146770 WITH SCORE 146952.075
AT ITER 3204 NEW BEST:: SOT 327857 SOS 182071 HAS SOPS 182071 HAS SOUS 146766 HAS SOUPS 146766 WITH SCORE 146948.071
AT ITER 3207 NEW BEST:: SOT 327837 SOS 181862 HAS SOPS 181862 HAS SOUS 146515 HAS SOUPS 146515 WITH SCORE 146696.862
AT ITER 3212 NEW BEST:: SOT 328004 SOS 181791 HAS SOPS 181791 HAS SOUS 146439 HAS SOUPS 146439 WITH SCORE 146620.791
AT ITER 3213 NEW BEST:: SOT 327950 SOS 181764 HAS SOPS 181764 HAS SOUS 146412 HAS SOUPS 146412 WITH SCORE 146593.764
AT ITER 3220 NEW BEST:: SOT 327864 SOS 181756 HAS SOPS 181756 HAS SOUS 146214 HAS SOUPS 146214 WITH SCORE 146395.756
AT ITER 3221 NEW BEST:: SOT 327853 SOS 181745 HAS SOPS 181745 HAS SOUS 146203 HAS SOUPS 146203 WITH SCORE 146384.745
AT ITER 3247 NEW BEST:: SOT 327823 SOS 181336 HAS SOPS 181336 HAS SOUS 145800 HAS SOUPS 145800 WITH SCORE 145981.336
AT ITER 3264 NEW BEST:: SOT 327767 SOS 181266 HAS SOPS 181266 HAS SOUS 145730 HAS SOUPS 145730 WITH SCORE 145911.266
AT ITER 3272 NEW BEST:: SOT 327713 SOS 181214 HAS SOPS 181214 HAS SOUS 145678 HAS SOUPS 145678 WITH SCORE 145859.214
AT ITER 3284 NEW BEST:: SOT 327713 SOS 181145 HAS SOPS 181145 HAS SOUS 145609 HAS SOUPS 145609 WITH SCORE 145790.145
AT ITER 3286 NEW BEST:: SOT 327632 SOS 180901 HAS SOPS 180901 HAS SOUS 145365 HAS SOUPS 145365 WITH SCORE 145545.901
AT ITER 3296 NEW BEST:: SOT 327696 SOS 180853 HAS SOPS 180853 HAS SOUS 145328 HAS SOUPS 145328 WITH SCORE 145508.853
AT ITER 3306 NEW BEST:: SOT 327575 SOS 180742 HAS SOPS 180742 HAS SOUS 145136 HAS SOUPS 145136 WITH SCORE 145316.742
AT ITER 3316 NEW BEST:: SOT 327549 SOS 180716 HAS SOPS 180716 HAS SOUS 145110 HAS SOUPS 145110 WITH SCORE 145290.716
AT ITER 3321 NEW BEST:: SOT 327560 SOS 180541 HAS SOPS 180541 HAS SOUS 144987 HAS SOUPS 144987 WITH SCORE 145167.541
AT ITER 3322 NEW BEST:: SOT 327560 SOS 180541 HAS SOPS 180541 HAS SOUS 144969 HAS SOUPS 144969 WITH SCORE 145149.541
AT ITER 3326 NEW BEST:: SOT 327442 SOS 179917 HAS SOPS 179917 HAS SOUS 144657 HAS SOUPS 144657 WITH SCORE 144836.917
AT ITER 3343 NEW BEST:: SOT 327407 SOS 179879 HAS SOPS 179879 HAS SOUS 144619 HAS SOUPS 144619 WITH SCORE 144798.879
AT ITER 3358 NEW BEST:: SOT 327330 SOS 179770 HAS SOPS 179770 HAS SOUS 144478 HAS SOUPS 144478 WITH SCORE 144657.77
AT ITER 3367 NEW BEST:: SOT 327234 SOS 179752 HAS SOPS 179752 HAS SOUS 144460 HAS SOUPS 144460 WITH SCORE 144639.752
AT ITER 3371 NEW BEST:: SOT 327234 SOS 178843 HAS SOPS 178843 HAS SOUS 144442 HAS SOUPS 144442 WITH SCORE 144620.843
AT ITER 3373 NEW BEST:: SOT 327189 SOS 178798 HAS SOPS 178798 HAS SOUS 144382 HAS SOUPS 144382 WITH SCORE 144560.798
AT ITER 3374 NEW BEST:: SOT 327215 SOS 178804 HAS SOPS 178804 HAS SOUS 144377 HAS SOUPS 144377 WITH SCORE 144555.804
AT ITER 3383 NEW BEST:: SOT 327215 SOS 178457 HAS SOPS 178457 HAS SOUS 144323 HAS SOUPS 144323 WITH SCORE 144501.457
AT ITER 3386 NEW BEST:: SOT 327215 SOS 178454 HAS SOPS 178454 HAS SOUS 144320 HAS SOUPS 144320 WITH SCORE 144498.454
AT ITER 3397 NEW BEST:: SOT 327215 SOS 178446 HAS SOPS 178446 HAS SOUS 144312 HAS SOUPS 144312 WITH SCORE 144490.446
AT ITER 3399 NEW BEST:: SOT 327104 SOS 178361 HAS SOPS 178361 HAS SOUS 144227 HAS SOUPS 144227 WITH SCORE 144405.361
AT ITER 3408 NEW BEST:: SOT 327103 SOS 178317 HAS SOPS 178317 HAS SOUS 144172 HAS SOUPS 144172 WITH SCORE 144350.317
AT ITER 3414 NEW BEST:: SOT 327037 SOS 178243 HAS SOPS 178243 HAS SOUS 144109 HAS SOUPS 144109 WITH SCORE 144287.243
AT ITER 3427 NEW BEST:: SOT 326990 SOS 178150 HAS SOPS 178150 HAS SOUS 144016 HAS SOUPS 144016 WITH SCORE 144194.15
AT ITER 3428 NEW BEST:: SOT 326987 SOS 178147 HAS SOPS 178147 HAS SOUS 144013 HAS SOUPS 144013 WITH SCORE 144191.147
AT ITER 3434 NEW BEST:: SOT 326963 SOS 178111 HAS SOPS 178111 HAS SOUS 143953 HAS SOUPS 143953 WITH SCORE 144131.111
AT ITER 3443 NEW BEST:: SOT 327090 SOS 177855 HAS SOPS 177855 HAS SOUS 143759 HAS SOUPS 143759 WITH SCORE 143936.855
AT ITER 3459 NEW BEST:: SOT 327088 SOS 177855 HAS SOPS 177855 HAS SOUS 143757 HAS SOUPS 143757 WITH SCORE 143934.855
AT ITER 3465 NEW BEST:: SOT 327076 SOS 177843 HAS SOPS 177843 HAS SOUS 143745 HAS SOUPS 143745 WITH SCORE 143922.843
AT ITER 3479 NEW BEST:: SOT 327076 SOS 177774 HAS SOPS 177774 HAS SOUS 143702 HAS SOUPS 143702 WITH SCORE 143879.774
AT ITER 3483 NEW BEST:: SOT 327027 SOS 177725 HAS SOPS 177725 HAS SOUS 143653 HAS SOUPS 143653 WITH SCORE 143830.725
AT ITER 3500 NEW BEST:: SOT 327027 SOS 177687 HAS SOPS 177687 HAS SOUS 143641 HAS SOUPS 143641 WITH SCORE 143818.687
AT ITER 3502 NEW BEST:: SOT 326925 SOS 177616 HAS SOPS 177616 HAS SOUS 143596 HAS SOUPS 143596 WITH SCORE 143773.616
AT ITER 3508 NEW BEST:: SOT 326868 SOS 177502 HAS SOPS 177502 HAS SOUS 143311 HAS SOUPS 143311 WITH SCORE 143488.502
AT ITER 3515 NEW BEST:: SOT 326707 SOS 177250 HAS SOPS 177250 HAS SOUS 143059 HAS SOUPS 143059 WITH SCORE 143236.25
AT ITER 3517 NEW BEST:: SOT 326615 SOS 177079 HAS SOPS 177079 HAS SOUS 142838 HAS SOUPS 142838 WITH SCORE 143015.079
AT ITER 3541 NEW BEST:: SOT 326333 SOS 176720 HAS SOPS 176720 HAS SOUS 142456 HAS SOUPS 142456 WITH SCORE 142632.72
AT ITER 3544 NEW BEST:: SOT 326325 SOS 176712 HAS SOPS 176712 HAS SOUS 142448 HAS SOUPS 142448 WITH SCORE 142624.712
AT ITER 3545 NEW BEST:: SOT 326325 SOS 176432 HAS SOPS 176432 HAS SOUS 142448 HAS SOUPS 142448 WITH SCORE 142624.432
AT ITER 3553 NEW BEST:: SOT 325714 SOS 175716 HAS SOPS 175716 HAS SOUS 141801 HAS SOUPS 141801 WITH SCORE 141976.716
AT ITER 3556 NEW BEST:: SOT 325869 SOS 174238 HAS SOPS 174238 HAS SOUS 141456 HAS SOUPS 141456 WITH SCORE 141630.238
AT ITER 3558 NEW BEST:: SOT 325869 SOS 174052 HAS SOPS 174052 HAS SOUS 141302 HAS SOUPS 141302 WITH SCORE 141476.052
AT ITER 3567 NEW BEST:: SOT 326101 SOS 174003 HAS SOPS 174003 HAS SOUS 141253 HAS SOUPS 141253 WITH SCORE 141427.003
AT ITER 3569 NEW BEST:: SOT 326049 SOS 173878 HAS SOPS 173878 HAS SOUS 141124 HAS SOUPS 141124 WITH SCORE 141297.878
AT ITER 3570 NEW BEST:: SOT 325900 SOS 173729 HAS SOPS 173729 HAS SOUS 141033 HAS SOUPS 141033 WITH SCORE 141206.729
AT ITER 3577 NEW BEST:: SOT 325955 SOS 173742 HAS SOPS 173742 HAS SOUS 141022 HAS SOUPS 141022 WITH SCORE 141195.742
AT ITER 3593 NEW BEST:: SOT 325826 SOS 173357 HAS SOPS 173357 HAS SOUS 140762 HAS SOUPS 140762 WITH SCORE 140935.357
AT ITER 3594 NEW BEST:: SOT 325835 SOS 173359 HAS SOPS 173359 HAS SOUS 140756 HAS SOUPS 140756 WITH SCORE 140929.359
AT ITER 3595 NEW BEST:: SOT 325835 SOS 173354 HAS SOPS 173354 HAS SOUS 140751 HAS SOUPS 140751 WITH SCORE 140924.354
AT ITER 3601 NEW BEST:: SOT 325811 SOS 173324 HAS SOPS 173324 HAS SOUS 140583 HAS SOUPS 140583 WITH SCORE 140756.324
AT ITER 3610 NEW BEST:: SOT 325780 SOS 173209 HAS SOPS 173209 HAS SOUS 140485 HAS SOUPS 140485 WITH SCORE 140658.209
AT ITER 3623 NEW BEST:: SOT 325584 SOS 173013 HAS SOPS 173013 HAS SOUS 140289 HAS SOUPS 140289 WITH SCORE 140462.013
AT ITER 3638 NEW BEST:: SOT 325548 SOS 172977 HAS SOPS 172977 HAS SOUS 140253 HAS SOUPS 140253 WITH SCORE 140425.977
AT ITER 3648 NEW BEST:: SOT 325552 SOS 172951 HAS SOPS 172951 HAS SOUS 140228 HAS SOUPS 140228 WITH SCORE 140400.951
AT ITER 3670 NEW BEST:: SOT 325512 SOS 173607 HAS SOPS 173607 HAS SOUS 139820 HAS SOUPS 139820 WITH SCORE 139993.607
AT ITER 3674 NEW BEST:: SOT 325496 SOS 173615 HAS SOPS 173615 HAS SOUS 139808 HAS SOUPS 139808 WITH SCORE 139981.615
AT ITER 3681 NEW BEST:: SOT 325451 SOS 173540 HAS SOPS 173540 HAS SOUS 139748 HAS SOUPS 139748 WITH SCORE 139921.54
AT ITER 3699 NEW BEST:: SOT 325115 SOS 173420 HAS SOPS 173420 HAS SOUS 139598 HAS SOUPS 139598 WITH SCORE 139771.42
AT ITER 3708 NEW BEST:: SOT 325115 SOS 173394 HAS SOPS 173394 HAS SOUS 139572 HAS SOUPS 139572 WITH SCORE 139745.394
AT ITER 3722 NEW BEST:: SOT 325102 SOS 173381 HAS SOPS 173381 HAS SOUS 139559 HAS SOUPS 139559 WITH SCORE 139732.381
AT ITER 3727 NEW BEST:: SOT 324978 SOS 173282 HAS SOPS 173282 HAS SOUS 139124 HAS SOUPS 139124 WITH SCORE 139297.282
AT ITER 3734 NEW BEST:: SOT 324973 SOS 173277 HAS SOPS 173277 HAS SOUS 139119 HAS SOUPS 139119 WITH SCORE 139292.277
AT ITER 3737 NEW BEST:: SOT 324957 SOS 173261 HAS SOPS 173261 HAS SOUS 139103 HAS SOUPS 139103 WITH SCORE 139276.261
AT ITER 3741 NEW BEST:: SOT 325032 SOS 173297 HAS SOPS 173297 HAS SOUS 138967 HAS SOUPS 138967 WITH SCORE 139140.297
AT ITER 3763 NEW BEST:: SOT 325026 SOS 173277 HAS SOPS 173277 HAS SOUS 138961 HAS SOUPS 138961 WITH SCORE 139134.277
AT ITER 3771 NEW BEST:: SOT 324997 SOS 173287 HAS SOPS 173287 HAS SOUS 138899 HAS SOUPS 138899 WITH SCORE 139072.287
AT ITER 3775 NEW BEST:: SOT 324972 SOS 173212 HAS SOPS 173212 HAS SOUS 138799 HAS SOUPS 138799 WITH SCORE 138972.212
AT ITER 3785 NEW BEST:: SOT 324985 SOS 173232 HAS SOPS 173232 HAS SOUS 138704 HAS SOUPS 138704 WITH SCORE 138877.232
AT ITER 3789 NEW BEST:: SOT 324906 SOS 173151 HAS SOPS 173151 HAS SOUS 138623 HAS SOUPS 138623 WITH SCORE 138796.151
AT ITER 3797 NEW BEST:: SOT 324966 SOS 172976 HAS SOPS 172976 HAS SOUS 138224 HAS SOUPS 138224 WITH SCORE 138396.976
AT ITER 3801 NEW BEST:: SOT 324659 SOS 172669 HAS SOPS 172669 HAS SOUS 137859 HAS SOUPS 137859 WITH SCORE 138031.669
AT ITER 3809 NEW BEST:: SOT 324659 SOS 172659 HAS SOPS 172659 HAS SOUS 137849 HAS SOUPS 137849 WITH SCORE 138021.659
AT ITER 3812 NEW BEST:: SOT 324641 SOS 172623 HAS SOPS 172623 HAS SOUS 137795 HAS SOUPS 137795 WITH SCORE 137967.623
AT ITER 3842 NEW BEST:: SOT 324623 SOS 172576 HAS SOPS 172576 HAS SOUS 137759 HAS SOUPS 137759 WITH SCORE 137931.576
AT ITER 3850 NEW BEST:: SOT 324615 SOS 172476 HAS SOPS 172476 HAS SOUS 137734 HAS SOUPS 137734 WITH SCORE 137906.476
AT ITER 3866 NEW BEST:: SOT 324573 SOS 172434 HAS SOPS 172434 HAS SOUS 137692 HAS SOUPS 137692 WITH SCORE 137864.434
AT ITER 3877 NEW BEST:: SOT 324532 SOS 172393 HAS SOPS 172393 HAS SOUS 137651 HAS SOUPS 137651 WITH SCORE 137823.393
AT ITER 3882 NEW BEST:: SOT 324480 SOS 172330 HAS SOPS 172330 HAS SOUS 137588 HAS SOUPS 137588 WITH SCORE 137760.33
AT ITER 3890 NEW BEST:: SOT 324461 SOS 172322 HAS SOPS 172322 HAS SOUS 137580 HAS SOUPS 137580 WITH SCORE 137752.322
AT ITER 3894 NEW BEST:: SOT 324455 SOS 172316 HAS SOPS 172316 HAS SOUS 137574 HAS SOUPS 137574 WITH SCORE 137746.316
AT ITER 3895 NEW BEST:: SOT 324467 SOS 172333 HAS SOPS 172333 HAS SOUS 137565 HAS SOUPS 137565 WITH SCORE 137737.333
AT ITER 3896 NEW BEST:: SOT 324459 SOS 172325 HAS SOPS 172325 HAS SOUS 137557 HAS SOUPS 137557 WITH SCORE 137729.325
AT ITER 3900 NEW BEST:: SOT 324454 SOS 172381 HAS SOPS 172381 HAS SOUS 137552 HAS SOUPS 137552 WITH SCORE 137724.381
AT ITER 3904 NEW BEST:: SOT 324557 SOS 172484 HAS SOPS 172484 HAS SOUS 137542 HAS SOUPS 137542 WITH SCORE 137714.484
AT ITER 3907 NEW BEST:: SOT 324616 SOS 172575 HAS SOPS 172575 HAS SOUS 137467 HAS SOUPS 137467 WITH SCORE 137639.575
AT ITER 3912 NEW BEST:: SOT 324529 SOS 172422 HAS SOPS 172422 HAS SOUS 137442 HAS SOUPS 137442 WITH SCORE 137614.422
AT ITER 3913 NEW BEST:: SOT 324529 SOS 172390 HAS SOPS 172390 HAS SOUS 137410 HAS SOUPS 137410 WITH SCORE 137582.39
AT ITER 3914 NEW BEST:: SOT 324527 SOS 172388 HAS SOPS 172388 HAS SOUS 137408 HAS SOUPS 137408 WITH SCORE 137580.388
AT ITER 3922 NEW BEST:: SOT 324506 SOS 172346 HAS SOPS 172346 HAS SOUS 137221 HAS SOUPS 137221 WITH SCORE 137393.346
AT ITER 3941 NEW BEST:: SOT 324506 SOS 172302 HAS SOPS 172302 HAS SOUS 137160 HAS SOUPS 137160 WITH SCORE 137332.302
AT ITER 3950 NEW BEST:: SOT 324482 SOS 172278 HAS SOPS 172278 HAS SOUS 137136 HAS SOUPS 137136 WITH SCORE 137308.278
AT ITER 3956 NEW BEST:: SOT 324482 SOS 172251 HAS SOPS 172251 HAS SOUS 137109 HAS SOUPS 137109 WITH SCORE 137281.251
AT ITER 3981 NEW BEST:: SOT 324163 SOS 171677 HAS SOPS 171677 HAS SOUS 136830 HAS SOUPS 136830 WITH SCORE 137001.677
AT ITER 3982 NEW BEST:: SOT 324171 SOS 171685 HAS SOPS 171685 HAS SOUS 136802 HAS SOUPS 136802 WITH SCORE 136973.685
AT ITER 3996 NEW BEST:: SOT 324165 SOS 171679 HAS SOPS 171679 HAS SOUS 136796 HAS SOUPS 136796 WITH SCORE 136967.679
AT ITER 4001 NEW BEST:: SOT 324165 SOS 171655 HAS SOPS 171655 HAS SOUS 136772 HAS SOUPS 136772 WITH SCORE 136943.655
AT ITER 4018 NEW BEST:: SOT 324081 SOS 171388 HAS SOPS 171388 HAS SOUS 136624 HAS SOUPS 136624 WITH SCORE 136795.388
AT ITER 4040 NEW BEST:: SOT 324076 SOS 171378 HAS SOPS 171378 HAS SOUS 136614 HAS SOUPS 136614 WITH SCORE 136785.378
AT ITER 4041 NEW BEST:: SOT 324054 SOS 171367 HAS SOPS 171367 HAS SOUS 136603 HAS SOUPS 136603 WITH SCORE 136774.367
AT ITER 4042 NEW BEST:: SOT 324041 SOS 171354 HAS SOPS 171354 HAS SOUS 136579 HAS SOUPS 136579 WITH SCORE 136750.354
AT ITER 4052 NEW BEST:: SOT 324041 SOS 171354 HAS SOPS 171354 HAS SOUS 136528 HAS SOUPS 136528 WITH SCORE 136699.354
AT ITER 4066 NEW BEST:: SOT 324168 SOS 171461 HAS SOPS 171461 HAS SOUS 136436 HAS SOUPS 136436 WITH SCORE 136607.461
AT ITER 4071 NEW BEST:: SOT 324164 SOS 171430 HAS SOPS 171430 HAS SOUS 136420 HAS SOUPS 136420 WITH SCORE 136591.43
AT ITER 4079 NEW BEST:: SOT 324164 SOS 171424 HAS SOPS 171424 HAS SOUS 136420 HAS SOUPS 136420 WITH SCORE 136591.424
AT ITER 4089 NEW BEST:: SOT 323981 SOS 171154 HAS SOPS 171154 HAS SOUS 136212 HAS SOUPS 136212 WITH SCORE 136383.154
AT ITER 4099 NEW BEST:: SOT 323847 SOS 171039 HAS SOPS 171039 HAS SOUS 136097 HAS SOUPS 136097 WITH SCORE 136268.039
AT ITER 4115 NEW BEST:: SOT 323859 SOS 171078 HAS SOPS 171078 HAS SOUS 136096 HAS SOUPS 136096 WITH SCORE 136267.078
AT ITER 4117 NEW BEST:: SOT 323769 SOS 170943 HAS SOPS 170943 HAS SOUS 135961 HAS SOUPS 135961 WITH SCORE 136131.943
AT ITER 4124 NEW BEST:: SOT 323734 SOS 170867 HAS SOPS 170867 HAS SOUS 135885 HAS SOUPS 135885 WITH SCORE 136055.867
AT ITER 4129 NEW BEST:: SOT 323734 SOS 170867 HAS SOPS 170867 HAS SOUS 135717 HAS SOUPS 135717 WITH SCORE 135887.867
AT ITER 4141 NEW BEST:: SOT 323702 SOS 170835 HAS SOPS 170835 HAS SOUS 135685 HAS SOUPS 135685 WITH SCORE 135855.835
AT ITER 4151 NEW BEST:: SOT 323702 SOS 170815 HAS SOPS 170815 HAS SOUS 135660 HAS SOUPS 135660 WITH SCORE 135830.815
AT ITER 4152 NEW BEST:: SOT 323687 SOS 170563 HAS SOPS 170563 HAS SOUS 135591 HAS SOUPS 135591 WITH SCORE 135761.563
AT ITER 4159 NEW BEST:: SOT 323686 SOS 170562 HAS SOPS 170562 HAS SOUS 135590 HAS SOUPS 135590 WITH SCORE 135760.562
AT ITER 4164 NEW BEST:: SOT 323686 SOS 170548 HAS SOPS 170548 HAS SOUS 135584 HAS SOUPS 135584 WITH SCORE 135754.548
AT ITER 4168 NEW BEST:: SOT 323611 SOS 170079 HAS SOPS 170079 HAS SOUS 135451 HAS SOUPS 135451 WITH SCORE 135621.079
AT ITER 4175 NEW BEST:: SOT 323481 SOS 169951 HAS SOPS 169951 HAS SOUS 135323 HAS SOUPS 135323 WITH SCORE 135492.951
AT ITER 4190 NEW BEST:: SOT 323183 SOS 169773 HAS SOPS 169773 HAS SOUS 135050 HAS SOUPS 135050 WITH SCORE 135219.773
AT ITER 4191 NEW BEST:: SOT 323175 SOS 169765 HAS SOPS 169765 HAS SOUS 135042 HAS SOUPS 135042 WITH SCORE 135211.765
AT ITER 4199 NEW BEST:: SOT 323175 SOS 169637 HAS SOPS 169637 HAS SOUS 135038 HAS SOUPS 135038 WITH SCORE 135207.637
AT ITER 4201 NEW BEST:: SOT 323045 SOS 169491 HAS SOPS 169491 HAS SOUS 134626 HAS SOUPS 134626 WITH SCORE 134795.491
AT ITER 4206 NEW BEST:: SOT 323017 SOS 169463 HAS SOPS 169463 HAS SOUS 134598 HAS SOUPS 134598 WITH SCORE 134767.463
AT ITER 4208 NEW BEST:: SOT 322912 SOS 169358 HAS SOPS 169358 HAS SOUS 134493 HAS SOUPS 134493 WITH SCORE 134662.358
AT ITER 4212 NEW BEST:: SOT 322912 SOS 169346 HAS SOPS 169346 HAS SOUS 134469 HAS SOUPS 134469 WITH SCORE 134638.346
AT ITER 4215 NEW BEST:: SOT 322912 SOS 169170 HAS SOPS 169170 HAS SOUS 134417 HAS SOUPS 134417 WITH SCORE 134586.17
AT ITER 4223 NEW BEST:: SOT 323049 SOS 168795 HAS SOPS 168795 HAS SOUS 134389 HAS SOUPS 134389 WITH SCORE 134557.795
AT ITER 4258 NEW BEST:: SOT 323038 SOS 168784 HAS SOPS 168784 HAS SOUS 134389 HAS SOUPS 134389 WITH SCORE 134557.784
AT ITER 4264 NEW BEST:: SOT 323019 SOS 168781 HAS SOPS 168781 HAS SOUS 134384 HAS SOUPS 134384 WITH SCORE 134552.781
AT ITER 4281 NEW BEST:: SOT 322999 SOS 168721 HAS SOPS 168721 HAS SOUS 134324 HAS SOUPS 134324 WITH SCORE 134492.721
AT ITER 4292 NEW BEST:: SOT 323024 SOS 168746 HAS SOPS 168746 HAS SOUS 134311 HAS SOUPS 134311 WITH SCORE 134479.746
AT ITER 4293 NEW BEST:: SOT 323004 SOS 168701 HAS SOPS 168701 HAS SOUS 134277 HAS SOUPS 134277 WITH SCORE 134445.701
AT ITER 4298 NEW BEST:: SOT 322952 SOS 168649 HAS SOPS 168649 HAS SOUS 134225 HAS SOUPS 134225 WITH SCORE 134393.649
AT ITER 4325 NEW BEST:: SOT 322952 SOS 168599 HAS SOPS 168599 HAS SOUS 134200 HAS SOUPS 134200 WITH SCORE 134368.599
AT ITER 4345 NEW BEST:: SOT 322898 SOS 168545 HAS SOPS 168545 HAS SOUS 134146 HAS SOUPS 134146 WITH SCORE 134314.545
AT ITER 4362 NEW BEST:: SOT 322898 SOS 168561 HAS SOPS 168561 HAS SOUS 134143 HAS SOUPS 134143 WITH SCORE 134311.561
AT ITER 4372 NEW BEST:: SOT 322831 SOS 168427 HAS SOPS 168427 HAS SOUS 134137 HAS SOUPS 134137 WITH SCORE 134305.427
AT ITER 4383 NEW BEST:: SOT 322786 SOS 168382 HAS SOPS 168382 HAS SOUS 134047 HAS SOUPS 134047 WITH SCORE 134215.382
AT ITER 4386 NEW BEST:: SOT 322724 SOS 168320 HAS SOPS 168320 HAS SOUS 133985 HAS SOUPS 133985 WITH SCORE 134153.32
AT ITER 4423 NEW BEST:: SOT 322506 SOS 168069 HAS SOPS 168069 HAS SOUS 133734 HAS SOUPS 133734 WITH SCORE 133902.069
AT ITER 4444 NEW BEST:: SOT 322506 SOS 167987 HAS SOPS 167987 HAS SOUS 133668 HAS SOUPS 133668 WITH SCORE 133835.987
AT ITER 4453 NEW BEST:: SOT 322504 SOS 167856 HAS SOPS 167856 HAS SOUS 133594 HAS SOUPS 133594 WITH SCORE 133761.856
AT ITER 4456 NEW BEST:: SOT 322404 SOS 167714 HAS SOPS 167714 HAS SOUS 133410 HAS SOUPS 133410 WITH SCORE 133577.714
AT ITER 4459 NEW BEST:: SOT 322368 SOS 167660 HAS SOPS 167660 HAS SOUS 133338 HAS SOUPS 133338 WITH SCORE 133505.66
AT ITER 4460 NEW BEST:: SOT 322339 SOS 167528 HAS SOPS 167528 HAS SOUS 133314 HAS SOUPS 133314 WITH SCORE 133481.528
AT ITER 4482 NEW BEST:: SOT 322166 SOS 166128 HAS SOPS 166128 HAS SOUS 133037 HAS SOUPS 133037 WITH SCORE 133203.128
AT ITER 4502 NEW BEST:: SOT 322261 SOS 166298 HAS SOPS 166298 HAS SOUS 132803 HAS SOUPS 132803 WITH SCORE 132969.298
AT ITER 4512 NEW BEST:: SOT 322072 SOS 166109 HAS SOPS 166109 HAS SOUS 132586 HAS SOUPS 132586 WITH SCORE 132752.109
AT ITER 4532 NEW BEST:: SOT 322051 SOS 166088 HAS SOPS 166088 HAS SOUS 132565 HAS SOUPS 132565 WITH SCORE 132731.088
AT ITER 4534 NEW BEST:: SOT 322061 SOS 165936 HAS SOPS 165936 HAS SOUS 132489 HAS SOUPS 132489 WITH SCORE 132654.936
AT ITER 4538 NEW BEST:: SOT 322282 SOS 166022 HAS SOPS 166022 HAS SOUS 132416 HAS SOUPS 132416 WITH SCORE 132582.022
AT ITER 4569 NEW BEST:: SOT 322252 SOS 165947 HAS SOPS 165947 HAS SOUS 132356 HAS SOUPS 132356 WITH SCORE 132521.947
AT ITER 4575 NEW BEST:: SOT 322104 SOS 165799 HAS SOPS 165799 HAS SOUS 132297 HAS SOUPS 132297 WITH SCORE 132462.799
AT ITER 4597 NEW BEST:: SOT 322104 SOS 165867 HAS SOPS 165867 HAS SOUS 132295 HAS SOUPS 132295 WITH SCORE 132460.867
AT ITER 4602 NEW BEST:: SOT 321704 SOS 165468 HAS SOPS 165468 HAS SOUS 131896 HAS SOUPS 131896 WITH SCORE 132061.468
AT ITER 4615 NEW BEST:: SOT 321668 SOS 165427 HAS SOPS 165427 HAS SOUS 131688 HAS SOUPS 131688 WITH SCORE 131853.427
AT ITER 4618 NEW BEST:: SOT 321664 SOS 165421 HAS SOPS 165421 HAS SOUS 131680 HAS SOUPS 131680 WITH SCORE 131845.421
AT ITER 4622 NEW BEST:: SOT 321674 SOS 165413 HAS SOPS 165413 HAS SOUS 131672 HAS SOUPS 131672 WITH SCORE 131837.413
AT ITER 4651 NEW BEST:: SOT 321672 SOS 165403 HAS SOPS 165403 HAS SOUS 131627 HAS SOUPS 131627 WITH SCORE 131792.403
AT ITER 4662 NEW BEST:: SOT 321726 SOS 165343 HAS SOPS 165343 HAS SOUS 131624 HAS SOUPS 131624 WITH SCORE 131789.343
AT ITER 4664 NEW BEST:: SOT 321724 SOS 165341 HAS SOPS 165341 HAS SOUS 131622 HAS SOUPS 131622 WITH SCORE 131787.341
AT ITER 4665 NEW BEST:: SOT 321575 SOS 164918 HAS SOPS 164918 HAS SOUS 131087 HAS SOUPS 131087 WITH SCORE 131251.918
AT ITER 4676 NEW BEST:: SOT 321816 SOS 165104 HAS SOPS 165104 HAS SOUS 131064 HAS SOUPS 131064 WITH SCORE 131229.104
AT ITER 4686 NEW BEST:: SOT 321727 SOS 165015 HAS SOPS 165015 HAS SOUS 130975 HAS SOUPS 130975 WITH SCORE 131140.015
AT ITER 4710 NEW BEST:: SOT 321703 SOS 164991 HAS SOPS 164991 HAS SOUS 130951 HAS SOUPS 130951 WITH SCORE 131115.991
AT ITER 4712 NEW BEST:: SOT 321752 SOS 165023 HAS SOPS 165023 HAS SOUS 130928 HAS SOUPS 130928 WITH SCORE 131093.023
AT ITER 4718 NEW BEST:: SOT 321752 SOS 164709 HAS SOPS 164709 HAS SOUS 130923 HAS SOUPS 130923 WITH SCORE 131087.709
AT ITER 4720 NEW BEST:: SOT 321869 SOS 164545 HAS SOPS 164545 HAS SOUS 130759 HAS SOUPS 130759 WITH SCORE 130923.545
AT ITER 4723 NEW BEST:: SOT 321859 SOS 164535 HAS SOPS 164535 HAS SOUS 130749 HAS SOUPS 130749 WITH SCORE 130913.535
AT ITER 4729 NEW BEST:: SOT 321598 SOS 164021 HAS SOPS 164021 HAS SOUS 130281 HAS SOUPS 130281 WITH SCORE 130445.021
AT ITER 4737 NEW BEST:: SOT 321553 SOS 163976 HAS SOPS 163976 HAS SOUS 130256 HAS SOUPS 130256 WITH SCORE 130419.976
AT ITER 4739 NEW BEST:: SOT 321553 SOS 164143 HAS SOPS 164143 HAS SOUS 130136 HAS SOUPS 130136 WITH SCORE 130300.143
AT ITER 4743 NEW BEST:: SOT 321535 SOS 164089 HAS SOPS 164089 HAS SOUS 130014 HAS SOUPS 130014 WITH SCORE 130178.089
AT ITER 4744 NEW BEST:: SOT 321483 SOS 164063 HAS SOPS 164063 HAS SOUS 129988 HAS SOUPS 129988 WITH SCORE 130152.063
AT ITER 4748 NEW BEST:: SOT 321651 SOS 164002 HAS SOPS 164002 HAS SOUS 129933 HAS SOUPS 129933 WITH SCORE 130097.002
AT ITER 4749 NEW BEST:: SOT 321595 SOS 163812 HAS SOPS 163812 HAS SOUS 129839 HAS SOUPS 129839 WITH SCORE 130002.812
AT ITER 4754 NEW BEST:: SOT 321593 SOS 163718 HAS SOPS 163718 HAS SOUS 129746 HAS SOUPS 129746 WITH SCORE 129909.718
AT ITER 4757 NEW BEST:: SOT 321591 SOS 163716 HAS SOPS 163716 HAS SOUS 129744 HAS SOUPS 129744 WITH SCORE 129907.716
AT ITER 4758 NEW BEST:: SOT 321582 SOS 163707 HAS SOPS 163707 HAS SOUS 129735 HAS SOUPS 129735 WITH SCORE 129898.707
AT ITER 4760 NEW BEST:: SOT 321579 SOS 163754 HAS SOPS 163754 HAS SOUS 129731 HAS SOUPS 129731 WITH SCORE 129894.754
AT ITER 4764 NEW BEST:: SOT 321579 SOS 163743 HAS SOPS 163743 HAS SOUS 129720 HAS SOUPS 129720 WITH SCORE 129883.743
AT ITER 4782 NEW BEST:: SOT 321448 SOS 163612 HAS SOPS 163612 HAS SOUS 129589 HAS SOUPS 129589 WITH SCORE 129752.612
AT ITER 4800 NEW BEST:: SOT 321448 SOS 163144 HAS SOPS 163144 HAS SOUS 129355 HAS SOUPS 129355 WITH SCORE 129518.144
AT ITER 4804 NEW BEST:: SOT 321429 SOS 163125 HAS SOPS 163125 HAS SOUS 129336 HAS SOUPS 129336 WITH SCORE 129499.125
AT ITER 4809 NEW BEST:: SOT 321427 SOS 163123 HAS SOPS 163123 HAS SOUS 129334 HAS SOUPS 129334 WITH SCORE 129497.123
AT ITER 4842 NEW BEST:: SOT 321477 SOS 163091 HAS SOPS 163091 HAS SOUS 129270 HAS SOUPS 129270 WITH SCORE 129433.091
AT ITER 4844 NEW BEST:: SOT 321406 SOS 163037 HAS SOPS 163037 HAS SOUS 129156 HAS SOUPS 129156 WITH SCORE 129319.037
AT ITER 4861 NEW BEST:: SOT 321282 SOS 162293 HAS SOPS 162293 HAS SOUS 128908 HAS SOUPS 128908 WITH SCORE 129070.293
AT ITER 4881 NEW BEST:: SOT 321202 SOS 162133 HAS SOPS 162133 HAS SOUS 128748 HAS SOUPS 128748 WITH SCORE 128910.133
AT ITER 4886 NEW BEST:: SOT 321228 SOS 161927 HAS SOPS 161927 HAS SOUS 128728 HAS SOUPS 128728 WITH SCORE 128889.927
AT ITER 4887 NEW BEST:: SOT 321430 SOS 161821 HAS SOPS 161821 HAS SOUS 128621 HAS SOUPS 128621 WITH SCORE 128782.821
AT ITER 4905 NEW BEST:: SOT 321348 SOS 161659 HAS SOPS 161659 HAS SOUS 128391 HAS SOUPS 128391 WITH SCORE 128552.659
AT ITER 4910 NEW BEST:: SOT 321350 SOS 161491 HAS SOPS 161491 HAS SOUS 128253 HAS SOUPS 128253 WITH SCORE 128414.491
AT ITER 4954 NEW BEST:: SOT 321287 SOS 161376 HAS SOPS 161376 HAS SOUS 128142 HAS SOUPS 128142 WITH SCORE 128303.376
AT ITER 4985 NEW BEST:: SOT 321116 SOS 161205 HAS SOPS 161205 HAS SOUS 127867 HAS SOUPS 127867 WITH SCORE 128028.205
AT ITER 4998 NEW BEST:: SOT 321116 SOS 161107 HAS SOPS 161107 HAS SOUS 127798 HAS SOUPS 127798 WITH SCORE 127959.107
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-00 (EG( (EU( potential( ( 1 ) <= (tk(P218)) ),potential( (tk(P577)) <= (tk(P655)) ) ))))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-01 (AG( potential( (tk(P546)) <= (tk(P696)) )))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-02 ( (AG( (EX( potential( ( 1 ) <= (tk(P178)) ))))) | ( (AG( potential( (tk(P623)) <= (tk(P95)) ))) & (! (AG( potential( ( 3 ) <= (tk(P368)) )))) ) )
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-03 (EU( potential( (tk(P286)) <= (tk(P70)) ),( (! potential( (tk(P364)) <= (tk(P387)) )) & ( potential( ( 1 ) <= (tk(P303)) ) & potential( ( 2 ) <= (tk(P605)) ) ) ) ))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-04 (! ( (AF(( potential( (tk(P501)) <= (tk(P425)) ) | potential( (tk(P447)) <= (tk(P259)) ) ))) & (AF(potential( ( 2 ) <= (tk(P502)) ))) ))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-05 (AG( potential( (tk(P366)) <= (tk(P457)) )))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-06 (EG( ( potential( ( 2 ) <= (tk(P328)) ) | (EF(potential( (tk(P233)) <= (tk(P545)) ))) )))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-07 (! ( (EF(potential( ( 2 ) <= (tk(P272)) ))) & ( ( ( potential( ( 2 ) <= (tk(P516)) ) | potential( (tk(P160)) <= (tk(P57)) ) ) | ( potential( (tk(P341)) <= (tk(P142)) ) | potential( (tk(P671)) <= (tk(P384)) ) ) ) | (EX( potential( (tk(P528)) <= (tk(P402)) ))) ) ))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-08 (EG( (! (AX( potential( ( 3 ) <= (tk(P619)) ))))))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-09 (EF((EF(( potential( ( 3 ) <= (tk(P434)) ) & potential( (tk(P324)) <= (tk(P695)) ) )))))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-10 (EG( (! (EG( potential( ( 2 ) <= (tk(P619)) ))))))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-11 ( (! (! (EX( potential( (tk(P663)) <= (tk(P73)) ))))) | (EU( potential( (tk(P223)) <= (tk(P611)) ),( potential( (tk(P361)) <= (tk(P458)) ) & potential( ( 2 ) <= (tk(P488)) ) ) )) )
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-12 (! (AX( (AF(potential( ( 3 ) <= (tk(P551)) ))))))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-13 ( (! (! (! ( potential( ( 1 ) <= (tk(P343)) ) | potential( ( 1 ) <= (tk(P727)) ) )))) & (AU( (! potential( ( 3 ) <= (tk(P420)) )),(! potential( (tk(P676)) <= (tk(P311)) )) )) )
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-14 (AF(( potential( (tk(P671)) <= (tk(P489)) ) & potential( ( 3 ) <= (tk(P44)) ) )))
PROPERTY: ShieldIIPs-PT-030A-CTLCardinality-15 (EG( (AU( potential( (tk(P46)) <= (tk(P310)) ),potential( (tk(P153)) <= (tk(P113)) ) ))))

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="ShieldIIPs-PT-030A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldIIPs-PT-030A, examination is CTLCardinality"
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-159033469000155"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-030A.tgz
mv ShieldIIPs-PT-030A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;