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.r123-tajo-158961354700448.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 PolyORBLF-PT-S02J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 12K Apr 12 05:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 12 05:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Apr 11 04:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 11 04:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.2K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 10 12:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 10 12:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Apr 9 17:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.1K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589642555943

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 690 places, 1434 transitions, 6564 arcs.
AT ITER 0 NEW BEST:: SOT 601586 SOS 333538 HAS SOPS 328708 HAS SOUS 188834 HAS SOUPS 188398 WITH SCORE 188731.538
AT ITER 2 NEW BEST:: SOT 593922 SOS 326875 HAS SOPS 322045 HAS SOUS 185927 HAS SOUPS 185491 WITH SCORE 185817.875
AT ITER 3 NEW BEST:: SOT 591006 SOS 324017 HAS SOPS 319187 HAS SOUS 183077 HAS SOUPS 182641 WITH SCORE 182965.017
AT ITER 11 NEW BEST:: SOT 591000 SOS 324005 HAS SOPS 319175 HAS SOUS 183065 HAS SOUPS 182629 WITH SCORE 182953.005
AT ITER 24 NEW BEST:: SOT 590993 SOS 323998 HAS SOPS 319168 HAS SOUS 183058 HAS SOUPS 182622 WITH SCORE 182945.998
AT ITER 25 NEW BEST:: SOT 590557 SOS 323622 HAS SOPS 318792 HAS SOUS 182622 HAS SOUPS 182186 WITH SCORE 182509.622
AT ITER 29 NEW BEST:: SOT 583331 SOS 318480 HAS SOPS 313650 HAS SOUS 180290 HAS SOUPS 179854 WITH SCORE 180172.48
AT ITER 35 NEW BEST:: SOT 581491 SOS 316697 HAS SOPS 311867 HAS SOUS 178527 HAS SOUPS 178091 WITH SCORE 178407.697
AT ITER 36 NEW BEST:: SOT 581480 SOS 316675 HAS SOPS 311867 HAS SOUS 178494 HAS SOUPS 178058 WITH SCORE 178374.675
AT ITER 49 NEW BEST:: SOT 581252 SOS 316235 HAS SOPS 311427 HAS SOUS 178260 HAS SOUPS 177824 WITH SCORE 178140.235
AT ITER 55 NEW BEST:: SOT 580841 SOS 315872 HAS SOPS 311064 HAS SOUS 177841 HAS SOUPS 177405 WITH SCORE 177720.872
AT ITER 59 NEW BEST:: SOT 580477 SOS 315456 HAS SOPS 310648 HAS SOUS 177425 HAS SOUPS 176989 WITH SCORE 177304.456
AT ITER 65 NEW BEST:: SOT 580493 SOS 317317 HAS SOPS 312486 HAS SOUS 177421 HAS SOUPS 176985 WITH SCORE 177302.317
AT ITER 70 NEW BEST:: SOT 580447 SOS 317225 HAS SOPS 312394 HAS SOUS 177314 HAS SOUPS 176878 WITH SCORE 177195.225
AT ITER 72 NEW BEST:: SOT 579592 SOS 316375 HAS SOPS 311544 HAS SOUS 176446 HAS SOUPS 176010 WITH SCORE 176326.375
AT ITER 83 NEW BEST:: SOT 579553 SOS 316297 HAS SOPS 311466 HAS SOUS 176368 HAS SOUPS 175932 WITH SCORE 176248.297
AT ITER 100 NEW BEST:: SOT 579553 SOS 316315 HAS SOPS 311484 HAS SOUS 176365 HAS SOUPS 175929 WITH SCORE 176245.315
AT ITER 114 NEW BEST:: SOT 579276 SOS 315743 HAS SOPS 310912 HAS SOUS 175892 HAS SOUPS 175456 WITH SCORE 175771.743
AT ITER 136 NEW BEST:: SOT 579186 SOS 316731 HAS SOPS 311880 HAS SOUS 175741 HAS SOUPS 175305 WITH SCORE 175621.731
AT ITER 137 NEW BEST:: SOT 579140 SOS 316639 HAS SOPS 311788 HAS SOUS 175603 HAS SOUPS 175167 WITH SCORE 175483.639
AT ITER 141 NEW BEST:: SOT 579140 SOS 316639 HAS SOPS 311780 HAS SOUS 175601 HAS SOUPS 175158 WITH SCORE 175474.639
AT ITER 150 NEW BEST:: SOT 574589 SOS 312257 HAS SOPS 307398 HAS SOUS 173918 HAS SOUPS 173475 WITH SCORE 173787.257
AT ITER 153 NEW BEST:: SOT 574457 SOS 312125 HAS SOPS 307266 HAS SOUS 173786 HAS SOUPS 173343 WITH SCORE 173655.125
AT ITER 155 NEW BEST:: SOT 572935 SOS 310608 HAS SOPS 305749 HAS SOUS 172240 HAS SOUPS 171797 WITH SCORE 172107.608
AT ITER 165 NEW BEST:: SOT 572863 SOS 310502 HAS SOPS 305643 HAS SOUS 172219 HAS SOUPS 171776 WITH SCORE 172086.502
AT ITER 170 NEW BEST:: SOT 572942 SOS 310660 HAS SOPS 305801 HAS SOUS 172107 HAS SOUPS 171664 WITH SCORE 171974.66
AT ITER 175 NEW BEST:: SOT 572879 SOS 310597 HAS SOPS 305738 HAS SOUS 172099 HAS SOUPS 171656 WITH SCORE 171966.597
AT ITER 182 NEW BEST:: SOT 572315 SOS 310065 HAS SOPS 305206 HAS SOUS 171642 HAS SOUPS 171199 WITH SCORE 171509.065
AT ITER 183 NEW BEST:: SOT 572218 SOS 310259 HAS SOPS 305400 HAS SOUS 171497 HAS SOUPS 171054 WITH SCORE 171364.259
AT ITER 193 NEW BEST:: SOT 572197 SOS 310217 HAS SOPS 305358 HAS SOUS 171467 HAS SOUPS 171024 WITH SCORE 171334.217
AT ITER 196 NEW BEST:: SOT 572193 SOS 310207 HAS SOPS 305352 HAS SOUS 171461 HAS SOUPS 171018 WITH SCORE 171328.207
AT ITER 201 NEW BEST:: SOT 564864 SOS 305237 HAS SOPS 300382 HAS SOUS 168978 HAS SOUPS 168535 WITH SCORE 168840.237
AT ITER 204 NEW BEST:: SOT 564816 SOS 305141 HAS SOPS 300286 HAS SOUS 168902 HAS SOUPS 168459 WITH SCORE 168764.141
AT ITER 205 NEW BEST:: SOT 564816 SOS 304346 HAS SOPS 299491 HAS SOUS 168902 HAS SOUPS 168459 WITH SCORE 168763.346
AT ITER 209 NEW BEST:: SOT 564816 SOS 302597 HAS SOPS 297742 HAS SOUS 168874 HAS SOUPS 168431 WITH SCORE 168733.597
AT ITER 220 NEW BEST:: SOT 564816 SOS 302077 HAS SOPS 297222 HAS SOUS 168874 HAS SOUPS 168431 WITH SCORE 168733.077
AT ITER 224 NEW BEST:: SOT 564789 SOS 302023 HAS SOPS 297168 HAS SOUS 168843 HAS SOUPS 168400 WITH SCORE 168702.023
AT ITER 225 NEW BEST:: SOT 564789 SOS 301514 HAS SOPS 296659 HAS SOUS 168843 HAS SOUPS 168400 WITH SCORE 168701.514
AT ITER 231 NEW BEST:: SOT 564775 SOS 301500 HAS SOPS 296645 HAS SOUS 168675 HAS SOUPS 168232 WITH SCORE 168533.5
AT ITER 239 NEW BEST:: SOT 558613 SOS 296282 HAS SOPS 291427 HAS SOUS 166426 HAS SOUPS 165983 WITH SCORE 166279.282
AT ITER 243 NEW BEST:: SOT 558426 SOS 296095 HAS SOPS 291240 HAS SOUS 166232 HAS SOUPS 165789 WITH SCORE 166085.095
AT ITER 245 NEW BEST:: SOT 558128 SOS 295758 HAS SOPS 290903 HAS SOUS 165877 HAS SOUPS 165434 WITH SCORE 165729.758
AT ITER 246 NEW BEST:: SOT 558033 SOS 295643 HAS SOPS 290788 HAS SOUS 165780 HAS SOUPS 165337 WITH SCORE 165632.643
AT ITER 250 NEW BEST:: SOT 557926 SOS 295536 HAS SOPS 290681 HAS SOUS 165737 HAS SOUPS 165294 WITH SCORE 165589.536
AT ITER 253 NEW BEST:: SOT 557690 SOS 295300 HAS SOPS 290445 HAS SOUS 165303 HAS SOUPS 164860 WITH SCORE 165155.3
AT ITER 256 NEW BEST:: SOT 557674 SOS 295284 HAS SOPS 290360 HAS SOUS 165301 HAS SOUPS 164813 WITH SCORE 165108.284
AT ITER 266 NEW BEST:: SOT 557448 SOS 294822 HAS SOPS 289898 HAS SOUS 164927 HAS SOUPS 164439 WITH SCORE 164733.822
AT ITER 268 NEW BEST:: SOT 557147 SOS 294473 HAS SOPS 289549 HAS SOUS 164560 HAS SOUPS 164072 WITH SCORE 164366.473
AT ITER 273 NEW BEST:: SOT 557061 SOS 294409 HAS SOPS 289485 HAS SOUS 164480 HAS SOUPS 163992 WITH SCORE 164286.409
AT ITER 277 NEW BEST:: SOT 555688 SOS 293041 HAS SOPS 288117 HAS SOUS 163074 HAS SOUPS 162586 WITH SCORE 162879.041
AT ITER 288 NEW BEST:: SOT 555657 SOS 292979 HAS SOPS 288055 HAS SOUS 163032 HAS SOUPS 162544 WITH SCORE 162836.979
AT ITER 290 NEW BEST:: SOT 555115 SOS 292557 HAS SOPS 287633 HAS SOUS 162582 HAS SOUPS 162094 WITH SCORE 162386.557
AT ITER 307 NEW BEST:: SOT 555100 SOS 292542 HAS SOPS 287618 HAS SOUS 162567 HAS SOUPS 162079 WITH SCORE 162371.542
AT ITER 310 NEW BEST:: SOT 555082 SOS 292510 HAS SOPS 287586 HAS SOUS 162535 HAS SOUPS 162047 WITH SCORE 162339.51
AT ITER 313 NEW BEST:: SOT 555087 SOS 292487 HAS SOPS 287563 HAS SOUS 162512 HAS SOUPS 162024 WITH SCORE 162316.487
AT ITER 324 NEW BEST:: SOT 554263 SOS 291775 HAS SOPS 286851 HAS SOUS 161665 HAS SOUPS 161177 WITH SCORE 161468.775
AT ITER 351 NEW BEST:: SOT 554254 SOS 291741 HAS SOPS 286817 HAS SOUS 161631 HAS SOUPS 161143 WITH SCORE 161434.741
AT ITER 354 NEW BEST:: SOT 554259 SOS 291746 HAS SOPS 286688 HAS SOUS 161708 HAS SOUPS 161086 WITH SCORE 161377.746
AT ITER 355 NEW BEST:: SOT 553881 SOS 291382 HAS SOPS 286324 HAS SOUS 161554 HAS SOUPS 160932 WITH SCORE 161223.382
AT ITER 356 NEW BEST:: SOT 553255 SOS 290303 HAS SOPS 285245 HAS SOUS 160475 HAS SOUPS 159853 WITH SCORE 160143.303
AT ITER 366 NEW BEST:: SOT 553191 SOS 290289 HAS SOPS 285231 HAS SOUS 160461 HAS SOUPS 159839 WITH SCORE 160129.289
AT ITER 383 NEW BEST:: SOT 552996 SOS 289389 HAS SOPS 285095 HAS SOUS 160328 HAS SOUPS 159811 WITH SCORE 160100.389
AT ITER 390 NEW BEST:: SOT 551014 SOS 287368 HAS SOPS 283074 HAS SOUS 159379 HAS SOUPS 158862 WITH SCORE 159149.368
AT ITER 400 NEW BEST:: SOT 551324 SOS 287923 HAS SOPS 283629 HAS SOUS 158438 HAS SOUPS 157921 WITH SCORE 158208.923
AT ITER 404 NEW BEST:: SOT 551276 SOS 287731 HAS SOPS 283437 HAS SOUS 158321 HAS SOUPS 157804 WITH SCORE 158091.731
AT ITER 406 NEW BEST:: SOT 551276 SOS 287644 HAS SOPS 283350 HAS SOUS 158321 HAS SOUPS 157804 WITH SCORE 158091.644
AT ITER 428 NEW BEST:: SOT 549886 SOS 286268 HAS SOPS 281974 HAS SOUS 156945 HAS SOUPS 156428 WITH SCORE 156714.268
AT ITER 443 NEW BEST:: SOT 549718 SOS 285933 HAS SOPS 281639 HAS SOUS 156789 HAS SOUPS 156272 WITH SCORE 156557.933
AT ITER 446 NEW BEST:: SOT 549718 SOS 289113 HAS SOPS 284819 HAS SOUS 156667 HAS SOUPS 156150 WITH SCORE 156439.113
AT ITER 483 NEW BEST:: SOT 549289 SOS 288527 HAS SOPS 284233 HAS SOUS 155958 HAS SOUPS 155441 WITH SCORE 155729.527
AT ITER 487 NEW BEST:: SOT 549318 SOS 288509 HAS SOPS 284215 HAS SOUS 155940 HAS SOUPS 155423 WITH SCORE 155711.509
AT ITER 493 NEW BEST:: SOT 546122 SOS 285474 HAS SOPS 281180 HAS SOUS 154709 HAS SOUPS 154192 WITH SCORE 154477.474
AT ITER 498 NEW BEST:: SOT 546148 SOS 285448 HAS SOPS 281154 HAS SOUS 154709 HAS SOUPS 154192 WITH SCORE 154477.448
AT ITER 507 NEW BEST:: SOT 546174 SOS 285474 HAS SOPS 281155 HAS SOUS 154711 HAS SOUPS 154170 WITH SCORE 154455.474
AT ITER 522 NEW BEST:: SOT 544294 SOS 283706 HAS SOPS 279387 HAS SOUS 154136 HAS SOUPS 153595 WITH SCORE 153878.706
AT ITER 523 NEW BEST:: SOT 544266 SOS 283678 HAS SOPS 279359 HAS SOUS 154037 HAS SOUPS 153496 WITH SCORE 153779.678
AT ITER 524 NEW BEST:: SOT 544173 SOS 284008 HAS SOPS 279711 HAS SOUS 154035 HAS SOUPS 153494 WITH SCORE 153778.008
AT ITER 532 NEW BEST:: SOT 544172 SOS 284009 HAS SOPS 279710 HAS SOUS 154034 HAS SOUPS 153493 WITH SCORE 153777.009
AT ITER 544 NEW BEST:: SOT 544142 SOS 283934 HAS SOPS 279635 HAS SOUS 153974 HAS SOUPS 153433 WITH SCORE 153716.934
AT ITER 553 NEW BEST:: SOT 537930 SOS 278457 HAS SOPS 273423 HAS SOUS 147867 HAS SOUPS 147150 WITH SCORE 147428.457
AT ITER 556 NEW BEST:: SOT 537927 SOS 278451 HAS SOPS 273417 HAS SOUS 147861 HAS SOUPS 147144 WITH SCORE 147422.451
AT ITER 557 NEW BEST:: SOT 537953 SOS 278477 HAS SOPS 273443 HAS SOUS 147777 HAS SOUPS 147060 WITH SCORE 147338.477
AT ITER 566 NEW BEST:: SOT 537826 SOS 278230 HAS SOPS 273196 HAS SOUS 147607 HAS SOUPS 146890 WITH SCORE 147168.23
AT ITER 581 NEW BEST:: SOT 537815 SOS 278219 HAS SOPS 273185 HAS SOUS 147596 HAS SOUPS 146879 WITH SCORE 147157.219
AT ITER 582 NEW BEST:: SOT 537879 SOS 278283 HAS SOPS 273193 HAS SOUS 147584 HAS SOUPS 146867 WITH SCORE 147145.283
AT ITER 586 NEW BEST:: SOT 537856 SOS 278260 HAS SOPS 273170 HAS SOUS 147561 HAS SOUPS 146844 WITH SCORE 147122.26
AT ITER 589 NEW BEST:: SOT 536771 SOS 277384 HAS SOPS 272294 HAS SOUS 147366 HAS SOUPS 146649 WITH SCORE 146926.384
AT ITER 629 NEW BEST:: SOT 538806 SOS 279419 HAS SOPS 274329 HAS SOUS 146965 HAS SOUPS 146248 WITH SCORE 146527.419
AT ITER 640 NEW BEST:: SOT 538806 SOS 279419 HAS SOPS 274329 HAS SOUS 146931 HAS SOUPS 146214 WITH SCORE 146493.419
AT ITER 652 NEW BEST:: SOT 538759 SOS 279325 HAS SOPS 274235 HAS SOUS 146790 HAS SOUPS 146073 WITH SCORE 146352.325
AT ITER 666 NEW BEST:: SOT 538586 SOS 278765 HAS SOPS 273675 HAS SOUS 146607 HAS SOUPS 145890 WITH SCORE 146168.765
AT ITER 678 NEW BEST:: SOT 538586 SOS 278735 HAS SOPS 273645 HAS SOUS 146577 HAS SOUPS 145860 WITH SCORE 146138.735
AT ITER 685 NEW BEST:: SOT 538578 SOS 278694 HAS SOPS 273604 HAS SOUS 146536 HAS SOUPS 145819 WITH SCORE 146097.694
AT ITER 692 NEW BEST:: SOT 538531 SOS 279767 HAS SOPS 274697 HAS SOUS 146360 HAS SOUPS 145643 WITH SCORE 145922.767
AT ITER 716 NEW BEST:: SOT 538090 SOS 279326 HAS SOPS 274256 HAS SOUS 146036 HAS SOUPS 145319 WITH SCORE 145598.326
AT ITER 723 NEW BEST:: SOT 538055 SOS 279265 HAS SOPS 274195 HAS SOUS 145618 HAS SOUPS 144901 WITH SCORE 145180.265
AT ITER 734 NEW BEST:: SOT 538054 SOS 279264 HAS SOPS 274180 HAS SOUS 145596 HAS SOUPS 144879 WITH SCORE 145158.264
AT ITER 738 NEW BEST:: SOT 538042 SOS 279246 HAS SOPS 274168 HAS SOUS 145580 HAS SOUPS 144863 WITH SCORE 145142.246
AT ITER 742 NEW BEST:: SOT 537912 SOS 279111 HAS SOPS 274209 HAS SOUS 145497 HAS SOUPS 144780 WITH SCORE 145059.111
AT ITER 753 NEW BEST:: SOT 537823 SOS 275364 HAS SOPS 270462 HAS SOUS 145438 HAS SOUPS 144721 WITH SCORE 144996.364
AT ITER 760 NEW BEST:: SOT 537678 SOS 275219 HAS SOPS 270317 HAS SOUS 145356 HAS SOUPS 144639 WITH SCORE 144914.219
AT ITER 764 NEW BEST:: SOT 534884 SOS 272596 HAS SOPS 267694 HAS SOUS 144039 HAS SOUPS 143322 WITH SCORE 143594.596
AT ITER 767 NEW BEST:: SOT 534450 SOS 272215 HAS SOPS 267313 HAS SOUS 143561 HAS SOUPS 142844 WITH SCORE 143116.215
AT ITER 768 NEW BEST:: SOT 534373 SOS 272138 HAS SOPS 267236 HAS SOUS 143413 HAS SOUPS 142696 WITH SCORE 142968.138
AT ITER 776 NEW BEST:: SOT 534237 SOS 271866 HAS SOPS 266964 HAS SOUS 143187 HAS SOUPS 142470 WITH SCORE 142741.866
AT ITER 784 NEW BEST:: SOT 534187 SOS 271821 HAS SOPS 266919 HAS SOUS 143156 HAS SOUPS 142439 WITH SCORE 142710.821
AT ITER 791 NEW BEST:: SOT 534246 SOS 271821 HAS SOPS 266919 HAS SOUS 143088 HAS SOUPS 142371 WITH SCORE 142642.821
AT ITER 796 NEW BEST:: SOT 534123 SOS 271657 HAS SOPS 266755 HAS SOUS 142924 HAS SOUPS 142207 WITH SCORE 142478.657
AT ITER 808 NEW BEST:: SOT 534045 SOS 271501 HAS SOPS 266599 HAS SOUS 142768 HAS SOUPS 142051 WITH SCORE 142322.501
AT ITER 812 NEW BEST:: SOT 534423 SOS 271781 HAS SOPS 266879 HAS SOUS 142586 HAS SOUPS 141869 WITH SCORE 142140.781
AT ITER 820 NEW BEST:: SOT 534351 SOS 271709 HAS SOPS 266807 HAS SOUS 142529 HAS SOUPS 141812 WITH SCORE 142083.709
AT ITER 821 NEW BEST:: SOT 534140 SOS 271498 HAS SOPS 266596 HAS SOUS 142318 HAS SOUPS 141601 WITH SCORE 141872.498
AT ITER 825 NEW BEST:: SOT 534140 SOS 271463 HAS SOPS 266561 HAS SOUS 142283 HAS SOUPS 141566 WITH SCORE 141837.463
AT ITER 834 NEW BEST:: SOT 534140 SOS 271460 HAS SOPS 266558 HAS SOUS 142283 HAS SOUPS 141566 WITH SCORE 141837.46
AT ITER 841 NEW BEST:: SOT 534122 SOS 271460 HAS SOPS 266558 HAS SOUS 142247 HAS SOUPS 141530 WITH SCORE 141801.46
AT ITER 843 NEW BEST:: SOT 534056 SOS 271394 HAS SOPS 266492 HAS SOUS 142181 HAS SOUPS 141464 WITH SCORE 141735.394
AT ITER 847 NEW BEST:: SOT 530669 SOS 268248 HAS SOPS 263346 HAS SOUS 138894 HAS SOUPS 138177 WITH SCORE 138445.248
AT ITER 854 NEW BEST:: SOT 530647 SOS 268215 HAS SOPS 263313 HAS SOUS 138641 HAS SOUPS 137924 WITH SCORE 138192.215
AT ITER 866 NEW BEST:: SOT 530474 SOS 268082 HAS SOPS 263180 HAS SOUS 138468 HAS SOUPS 137751 WITH SCORE 138019.082
AT ITER 875 NEW BEST:: SOT 530456 SOS 268046 HAS SOPS 263144 HAS SOUS 138432 HAS SOUPS 137715 WITH SCORE 137983.046
AT ITER 892 NEW BEST:: SOT 530315 SOS 267942 HAS SOPS 263040 HAS SOUS 138337 HAS SOUPS 137620 WITH SCORE 137887.942
AT ITER 900 NEW BEST:: SOT 530294 SOS 267921 HAS SOPS 263019 HAS SOUS 138279 HAS SOUPS 137562 WITH SCORE 137829.921
AT ITER 911 NEW BEST:: SOT 530122 SOS 267749 HAS SOPS 262847 HAS SOUS 138270 HAS SOUPS 137553 WITH SCORE 137820.749
AT ITER 917 NEW BEST:: SOT 530065 SOS 267613 HAS SOPS 262711 HAS SOUS 138134 HAS SOUPS 137417 WITH SCORE 137684.613
AT ITER 931 NEW BEST:: SOT 530054 SOS 267589 HAS SOPS 262687 HAS SOUS 138110 HAS SOUPS 137393 WITH SCORE 137660.589
AT ITER 940 NEW BEST:: SOT 529963 SOS 267503 HAS SOPS 262601 HAS SOUS 138055 HAS SOUPS 137338 WITH SCORE 137605.503
AT ITER 941 NEW BEST:: SOT 530004 SOS 267544 HAS SOPS 262598 HAS SOUS 138030 HAS SOUPS 137305 WITH SCORE 137572.544
AT ITER 944 NEW BEST:: SOT 529990 SOS 267507 HAS SOPS 262576 HAS SOUS 138023 HAS SOUPS 137298 WITH SCORE 137565.507
AT ITER 984 NEW BEST:: SOT 525678 SOS 263195 HAS SOPS 258264 HAS SOUS 136798 HAS SOUPS 136073 WITH SCORE 136336.195
AT ITER 1017 NEW BEST:: SOT 525508 SOS 262712 HAS SOPS 255909 HAS SOUS 136564 HAS SOUPS 135605 WITH SCORE 135867.712
AT ITER 1020 NEW BEST:: SOT 525241 SOS 262444 HAS SOPS 255641 HAS SOUS 136208 HAS SOUPS 135249 WITH SCORE 135511.444
AT ITER 1022 NEW BEST:: SOT 525234 SOS 262437 HAS SOPS 255634 HAS SOUS 136194 HAS SOUPS 135235 WITH SCORE 135497.437
AT ITER 1036 NEW BEST:: SOT 525047 SOS 262169 HAS SOPS 255366 HAS SOUS 135926 HAS SOUPS 134967 WITH SCORE 135229.169
AT ITER 1072 NEW BEST:: SOT 524693 SOS 261815 HAS SOPS 255012 HAS SOUS 135674 HAS SOUPS 134715 WITH SCORE 134976.815
AT ITER 1074 NEW BEST:: SOT 524687 SOS 262017 HAS SOPS 255214 HAS SOUS 135499 HAS SOUPS 134540 WITH SCORE 134802.017
AT ITER 1076 NEW BEST:: SOT 524696 SOS 262026 HAS SOPS 255223 HAS SOUS 135441 HAS SOUPS 134482 WITH SCORE 134744.026
AT ITER 1088 NEW BEST:: SOT 524659 SOS 261989 HAS SOPS 255210 HAS SOUS 135420 HAS SOUPS 134461 WITH SCORE 134722.989
AT ITER 1099 NEW BEST:: SOT 524625 SOS 261955 HAS SOPS 255176 HAS SOUS 135323 HAS SOUPS 134364 WITH SCORE 134625.955
AT ITER 1126 NEW BEST:: SOT 524620 SOS 261931 HAS SOPS 255152 HAS SOUS 135313 HAS SOUPS 134354 WITH SCORE 134615.931
AT ITER 1132 NEW BEST:: SOT 524572 SOS 261875 HAS SOPS 255096 HAS SOUS 135249 HAS SOUPS 134290 WITH SCORE 134551.875
AT ITER 1181 NEW BEST:: SOT 524560 SOS 261863 HAS SOPS 255084 HAS SOUS 135210 HAS SOUPS 134251 WITH SCORE 134512.863
AT ITER 1183 NEW BEST:: SOT 524510 SOS 260226 HAS SOPS 253447 HAS SOUS 135079 HAS SOUPS 134120 WITH SCORE 134380.226
AT ITER 1185 NEW BEST:: SOT 524376 SOS 260190 HAS SOPS 253411 HAS SOUS 135028 HAS SOUPS 134069 WITH SCORE 134329.19
AT ITER 1196 NEW BEST:: SOT 522319 SOS 258259 HAS SOPS 251480 HAS SOUS 133557 HAS SOUPS 132598 WITH SCORE 132856.259
AT ITER 1216 NEW BEST:: SOT 522324 SOS 258264 HAS SOPS 251390 HAS SOUS 133562 HAS SOUPS 132595 WITH SCORE 132853.264
AT ITER 1222 NEW BEST:: SOT 522417 SOS 258238 HAS SOPS 251271 HAS SOUS 133536 HAS SOUPS 132569 WITH SCORE 132827.238
AT ITER 1240 NEW BEST:: SOT 522417 SOS 257566 HAS SOPS 250599 HAS SOUS 133536 HAS SOUPS 132569 WITH SCORE 132826.566
AT ITER 1244 NEW BEST:: SOT 522034 SOS 258069 HAS SOPS 251102 HAS SOUS 133481 HAS SOUPS 132514 WITH SCORE 132772.069
AT ITER 1254 NEW BEST:: SOT 521898 SOS 257967 HAS SOPS 251000 HAS SOUS 133379 HAS SOUPS 132412 WITH SCORE 132669.967
AT ITER 1255 NEW BEST:: SOT 521734 SOS 257583 HAS SOPS 250616 HAS SOUS 133127 HAS SOUPS 132160 WITH SCORE 132417.583
AT ITER 1265 NEW BEST:: SOT 521719 SOS 257540 HAS SOPS 250573 HAS SOUS 133099 HAS SOUPS 132132 WITH SCORE 132389.54
AT ITER 1268 NEW BEST:: SOT 521616 SOS 257486 HAS SOPS 250622 HAS SOUS 132874 HAS SOUPS 131907 WITH SCORE 132164.486
AT ITER 1284 NEW BEST:: SOT 521623 SOS 257477 HAS SOPS 250613 HAS SOUS 132856 HAS SOUPS 131889 WITH SCORE 132146.477
AT ITER 1286 NEW BEST:: SOT 521581 SOS 257351 HAS SOPS 250487 HAS SOUS 132790 HAS SOUPS 131823 WITH SCORE 132080.351
AT ITER 1296 NEW BEST:: SOT 520906 SOS 256676 HAS SOPS 249812 HAS SOUS 132696 HAS SOUPS 131729 WITH SCORE 131985.676
AT ITER 1299 NEW BEST:: SOT 520774 SOS 256598 HAS SOPS 249734 HAS SOUS 132539 HAS SOUPS 131572 WITH SCORE 131828.598
AT ITER 1307 NEW BEST:: SOT 520911 SOS 256735 HAS SOPS 249815 HAS SOUS 132542 HAS SOUPS 131566 WITH SCORE 131822.735
AT ITER 1309 NEW BEST:: SOT 520378 SOS 256307 HAS SOPS 249387 HAS SOUS 132499 HAS SOUPS 131523 WITH SCORE 131779.307
AT ITER 1313 NEW BEST:: SOT 520272 SOS 256293 HAS SOPS 249373 HAS SOUS 132460 HAS SOUPS 131484 WITH SCORE 131740.293
AT ITER 1314 NEW BEST:: SOT 520254 SOS 256275 HAS SOPS 249355 HAS SOUS 132442 HAS SOUPS 131466 WITH SCORE 131722.275
AT ITER 1316 NEW BEST:: SOT 519585 SOS 255729 HAS SOPS 248809 HAS SOUS 131719 HAS SOUPS 130743 WITH SCORE 130998.729
AT ITER 1318 NEW BEST:: SOT 519556 SOS 255662 HAS SOPS 248742 HAS SOUS 131652 HAS SOUPS 130676 WITH SCORE 130931.662
AT ITER 1329 NEW BEST:: SOT 519556 SOS 255662 HAS SOPS 248438 HAS SOUS 131652 HAS SOUPS 130638 WITH SCORE 130893.662
AT ITER 1333 NEW BEST:: SOT 519478 SOS 255584 HAS SOPS 248360 HAS SOUS 131479 HAS SOUPS 130465 WITH SCORE 130720.584
AT ITER 1343 NEW BEST:: SOT 519444 SOS 256720 HAS SOPS 249521 HAS SOUS 131262 HAS SOUPS 130254 WITH SCORE 130510.72
AT ITER 1348 NEW BEST:: SOT 519333 SOS 256755 HAS SOPS 249556 HAS SOUS 131254 HAS SOUPS 130246 WITH SCORE 130502.755
AT ITER 1353 NEW BEST:: SOT 519286 SOS 256748 HAS SOPS 249549 HAS SOUS 131241 HAS SOUPS 130233 WITH SCORE 130489.748
AT ITER 1356 NEW BEST:: SOT 519278 SOS 255983 HAS SOPS 248784 HAS SOUS 130851 HAS SOUPS 129843 WITH SCORE 130098.983
AT ITER 1361 NEW BEST:: SOT 519278 SOS 255983 HAS SOPS 248784 HAS SOUS 130819 HAS SOUPS 129811 WITH SCORE 130066.983
AT ITER 1381 NEW BEST:: SOT 519238 SOS 255923 HAS SOPS 248724 HAS SOUS 130759 HAS SOUPS 129751 WITH SCORE 130006.923
AT ITER 1383 NEW BEST:: SOT 519002 SOS 254708 HAS SOPS 247509 HAS SOUS 130495 HAS SOUPS 129487 WITH SCORE 129741.708
AT ITER 1398 NEW BEST:: SOT 519077 SOS 254783 HAS SOPS 247584 HAS SOUS 130469 HAS SOUPS 129461 WITH SCORE 129715.783
AT ITER 1399 NEW BEST:: SOT 519077 SOS 254768 HAS SOPS 247569 HAS SOUS 130439 HAS SOUPS 129431 WITH SCORE 129685.768
AT ITER 1404 NEW BEST:: SOT 519160 SOS 254857 HAS SOPS 247605 HAS SOUS 130417 HAS SOUPS 129397 WITH SCORE 129651.857
AT ITER 1409 NEW BEST:: SOT 519159 SOS 254857 HAS SOPS 247603 HAS SOUS 130415 HAS SOUPS 129395 WITH SCORE 129649.857
AT ITER 1422 NEW BEST:: SOT 519147 SOS 254853 HAS SOPS 247599 HAS SOUS 130413 HAS SOUPS 129393 WITH SCORE 129647.853
AT ITER 1427 NEW BEST:: SOT 518732 SOS 254576 HAS SOPS 247322 HAS SOUS 130192 HAS SOUPS 129172 WITH SCORE 129426.576
AT ITER 1443 NEW BEST:: SOT 518732 SOS 254560 HAS SOPS 247306 HAS SOUS 130184 HAS SOUPS 129164 WITH SCORE 129418.56
AT ITER 1455 NEW BEST:: SOT 518740 SOS 254546 HAS SOPS 247292 HAS SOUS 130148 HAS SOUPS 129128 WITH SCORE 129382.546
AT ITER 1456 NEW BEST:: SOT 518710 SOS 254500 HAS SOPS 247246 HAS SOUS 130116 HAS SOUPS 129096 WITH SCORE 129350.5
AT ITER 1477 NEW BEST:: SOT 518646 SOS 254436 HAS SOPS 247158 HAS SOUS 130011 HAS SOUPS 128986 WITH SCORE 129240.436
AT ITER 1481 NEW BEST:: SOT 518611 SOS 254401 HAS SOPS 247123 HAS SOUS 129874 HAS SOUPS 128849 WITH SCORE 129103.401
AT ITER 1487 NEW BEST:: SOT 518314 SOS 253737 HAS SOPS 246459 HAS SOUS 129510 HAS SOUPS 128485 WITH SCORE 128738.737
AT ITER 1500 NEW BEST:: SOT 518287 SOS 253580 HAS SOPS 246302 HAS SOUS 129353 HAS SOUPS 128328 WITH SCORE 128581.58
AT ITER 1505 NEW BEST:: SOT 518400 SOS 254053 HAS SOPS 246775 HAS SOUS 128817 HAS SOUPS 127792 WITH SCORE 128046.053
AT ITER 1529 NEW BEST:: SOT 518466 SOS 254119 HAS SOPS 246743 HAS SOUS 128791 HAS SOUPS 127742 WITH SCORE 127996.119
AT ITER 1594 NEW BEST:: SOT 518372 SOS 253931 HAS SOPS 246508 HAS SOUS 128603 HAS SOUPS 127554 WITH SCORE 127807.931
AT ITER 1606 NEW BEST:: SOT 518361 SOS 253889 HAS SOPS 246466 HAS SOUS 128581 HAS SOUPS 127532 WITH SCORE 127785.889
AT ITER 1609 NEW BEST:: SOT 518305 SOS 253980 HAS SOPS 246557 HAS SOUS 128537 HAS SOUPS 127488 WITH SCORE 127741.98
AT ITER 1624 NEW BEST:: SOT 518221 SOS 253965 HAS SOPS 246542 HAS SOUS 128522 HAS SOUPS 127473 WITH SCORE 127726.965
AT ITER 1642 NEW BEST:: SOT 518038 SOS 253610 HAS SOPS 246187 HAS SOUS 128334 HAS SOUPS 127285 WITH SCORE 127538.61
AT ITER 1645 NEW BEST:: SOT 518058 SOS 253630 HAS SOPS 246207 HAS SOUS 128331 HAS SOUPS 127282 WITH SCORE 127535.63
AT ITER 1655 NEW BEST:: SOT 518048 SOS 253620 HAS SOPS 246197 HAS SOUS 128311 HAS SOUPS 127262 WITH SCORE 127515.62
AT ITER 1657 NEW BEST:: SOT 518004 SOS 253576 HAS SOPS 246153 HAS SOUS 128303 HAS SOUPS 127254 WITH SCORE 127507.576
AT ITER 1662 NEW BEST:: SOT 518064 SOS 253696 HAS SOPS 246159 HAS SOUS 128292 HAS SOUPS 127243 WITH SCORE 127496.696
AT ITER 1668 NEW BEST:: SOT 517778 SOS 253410 HAS SOPS 245873 HAS SOUS 128071 HAS SOUPS 127022 WITH SCORE 127275.41
AT ITER 1671 NEW BEST:: SOT 517848 SOS 253306 HAS SOPS 245769 HAS SOUS 128024 HAS SOUPS 126975 WITH SCORE 127228.306
AT ITER 1694 NEW BEST:: SOT 517809 SOS 253267 HAS SOPS 245730 HAS SOUS 127939 HAS SOUPS 126890 WITH SCORE 127143.267
AT ITER 1714 NEW BEST:: SOT 517624 SOS 252830 HAS SOPS 245293 HAS SOUS 127621 HAS SOUPS 126572 WITH SCORE 126824.83
AT ITER 1734 NEW BEST:: SOT 517722 SOS 252846 HAS SOPS 245309 HAS SOUS 127572 HAS SOUPS 126523 WITH SCORE 126775.846
AT ITER 1748 NEW BEST:: SOT 517667 SOS 253059 HAS SOPS 245552 HAS SOUS 127552 HAS SOUPS 126503 WITH SCORE 126756.059
AT ITER 1754 NEW BEST:: SOT 517551 SOS 252943 HAS SOPS 245436 HAS SOUS 127378 HAS SOUPS 126329 WITH SCORE 126581.943
AT ITER 1760 NEW BEST:: SOT 517497 SOS 252889 HAS SOPS 245382 HAS SOUS 127324 HAS SOUPS 126275 WITH SCORE 126527.889
AT ITER 1797 NEW BEST:: SOT 517487 SOS 252869 HAS SOPS 245362 HAS SOUS 127304 HAS SOUPS 126255 WITH SCORE 126507.869
AT ITER 1798 NEW BEST:: SOT 517452 SOS 252785 HAS SOPS 245411 HAS SOUS 127299 HAS SOUPS 126250 WITH SCORE 126502.785
AT ITER 1814 NEW BEST:: SOT 517452 SOS 252795 HAS SOPS 245405 HAS SOUS 127261 HAS SOUPS 126212 WITH SCORE 126464.795
AT ITER 1850 NEW BEST:: SOT 517438 SOS 252781 HAS SOPS 245313 HAS SOUS 127128 HAS SOUPS 126079 WITH SCORE 126331.781
AT ITER 1856 NEW BEST:: SOT 515400 SOS 250256 HAS SOPS 242788 HAS SOUS 126004 HAS SOUPS 124955 WITH SCORE 125205.256
AT ITER 1882 NEW BEST:: SOT 515539 SOS 250634 HAS SOPS 243166 HAS SOUS 124554 HAS SOUPS 123505 WITH SCORE 123755.634
AT ITER 1883 NEW BEST:: SOT 514253 SOS 249394 HAS SOPS 241926 HAS SOUS 123638 HAS SOUPS 122589 WITH SCORE 122838.394
AT ITER 1885 NEW BEST:: SOT 514245 SOS 249386 HAS SOPS 241918 HAS SOUS 123630 HAS SOUPS 122581 WITH SCORE 122830.386
AT ITER 1916 NEW BEST:: SOT 514297 SOS 249511 HAS SOPS 241897 HAS SOUS 123532 HAS SOUPS 122483 WITH SCORE 122732.511
AT ITER 1927 NEW BEST:: SOT 514231 SOS 249445 HAS SOPS 241831 HAS SOUS 123422 HAS SOUPS 122373 WITH SCORE 122622.445
AT ITER 1931 NEW BEST:: SOT 514231 SOS 249441 HAS SOPS 241827 HAS SOUS 123418 HAS SOUPS 122369 WITH SCORE 122618.441
AT ITER 1946 NEW BEST:: SOT 514106 SOS 249316 HAS SOPS 241702 HAS SOUS 123293 HAS SOUPS 122244 WITH SCORE 122493.316
AT ITER 1954 NEW BEST:: SOT 515063 SOS 250319 HAS SOPS 242705 HAS SOUS 123275 HAS SOUPS 122226 WITH SCORE 122476.319
AT ITER 1961 NEW BEST:: SOT 515010 SOS 250266 HAS SOPS 242652 HAS SOUS 123222 HAS SOUPS 122173 WITH SCORE 122423.266
AT ITER 1979 NEW BEST:: SOT 515066 SOS 250322 HAS SOPS 242708 HAS SOUS 123110 HAS SOUPS 122061 WITH SCORE 122311.322
AT ITER 2000 NEW BEST:: SOT 514889 SOS 250184 HAS SOPS 242570 HAS SOUS 122917 HAS SOUPS 121868 WITH SCORE 122118.184
AT ITER 2012 NEW BEST:: SOT 514907 SOS 250156 HAS SOPS 242542 HAS SOUS 122896 HAS SOUPS 121847 WITH SCORE 122097.156
AT ITER 2035 NEW BEST:: SOT 514943 SOS 250187 HAS SOPS 242573 HAS SOUS 122747 HAS SOUPS 121698 WITH SCORE 121948.187
AT ITER 2064 NEW BEST:: SOT 514917 SOS 249868 HAS SOPS 242358 HAS SOUS 122541 HAS SOUPS 121492 WITH SCORE 121741.868
AT ITER 2093 NEW BEST:: SOT 514890 SOS 249811 HAS SOPS 242301 HAS SOUS 122487 HAS SOUPS 121438 WITH SCORE 121687.811
AT ITER 2096 NEW BEST:: SOT 514895 SOS 249816 HAS SOPS 242294 HAS SOUS 122443 HAS SOUPS 121394 WITH SCORE 121643.816
AT ITER 2113 NEW BEST:: SOT 514541 SOS 249464 HAS SOPS 241942 HAS SOUS 122226 HAS SOUPS 121177 WITH SCORE 121426.464
AT ITER 2132 NEW BEST:: SOT 514505 SOS 249428 HAS SOPS 241906 HAS SOUS 122226 HAS SOUPS 121177 WITH SCORE 121426.428
AT ITER 2139 NEW BEST:: SOT 514505 SOS 249428 HAS SOPS 241906 HAS SOUS 122223 HAS SOUPS 121174 WITH SCORE 121423.428
AT ITER 2157 NEW BEST:: SOT 514479 SOS 249402 HAS SOPS 241880 HAS SOUS 122093 HAS SOUPS 121044 WITH SCORE 121293.402
AT ITER 2170 NEW BEST:: SOT 514479 SOS 249428 HAS SOPS 241854 HAS SOUS 122067 HAS SOUPS 121018 WITH SCORE 121267.428
AT ITER 2178 NEW BEST:: SOT 514463 SOS 249404 HAS SOPS 241830 HAS SOUS 122043 HAS SOUPS 120994 WITH SCORE 121243.404
AT ITER 2189 NEW BEST:: SOT 514439 SOS 249380 HAS SOPS 241806 HAS SOUS 122019 HAS SOUPS 120970 WITH SCORE 121219.38
AT ITER 2190 NEW BEST:: SOT 514766 SOS 249649 HAS SOPS 242075 HAS SOUS 121629 HAS SOUPS 120580 WITH SCORE 120829.649
AT ITER 2197 NEW BEST:: SOT 514715 SOS 249699 HAS SOPS 242125 HAS SOUS 121570 HAS SOUPS 120521 WITH SCORE 120770.699
AT ITER 2206 NEW BEST:: SOT 514705 SOS 249652 HAS SOPS 242078 HAS SOUS 121557 HAS SOUPS 120508 WITH SCORE 120757.652
AT ITER 2218 NEW BEST:: SOT 514794 SOS 249741 HAS SOPS 242167 HAS SOUS 121430 HAS SOUPS 120381 WITH SCORE 120630.741
AT ITER 2232 NEW BEST:: SOT 514722 SOS 249644 HAS SOPS 242070 HAS SOUS 121380 HAS SOUPS 120331 WITH SCORE 120580.644
AT ITER 2258 NEW BEST:: SOT 514704 SOS 249577 HAS SOPS 242003 HAS SOUS 121313 HAS SOUPS 120264 WITH SCORE 120513.577
AT ITER 2268 NEW BEST:: SOT 516103 SOS 250976 HAS SOPS 243402 HAS SOUS 120654 HAS SOUPS 119605 WITH SCORE 119855.976
AT ITER 2313 NEW BEST:: SOT 516103 SOS 250922 HAS SOPS 243348 HAS SOUS 120624 HAS SOUPS 119575 WITH SCORE 119825.922
AT ITER 2316 NEW BEST:: SOT 516062 SOS 250889 HAS SOPS 243315 HAS SOUS 120603 HAS SOUPS 119554 WITH SCORE 119804.889
AT ITER 2334 NEW BEST:: SOT 514951 SOS 249778 HAS SOPS 242204 HAS SOUS 119596 HAS SOUPS 118547 WITH SCORE 118796.778
AT ITER 2349 NEW BEST:: SOT 514909 SOS 249736 HAS SOPS 242162 HAS SOUS 119554 HAS SOUPS 118505 WITH SCORE 118754.736
AT ITER 2357 NEW BEST:: SOT 514908 SOS 249735 HAS SOPS 242160 HAS SOUS 119553 HAS SOUPS 118503 WITH SCORE 118752.735
AT ITER 2365 NEW BEST:: SOT 515235 SOS 249819 HAS SOPS 242269 HAS SOUS 119451 HAS SOUPS 118400 WITH SCORE 118649.819
AT ITER 2380 NEW BEST:: SOT 515212 SOS 249795 HAS SOPS 242245 HAS SOUS 119427 HAS SOUPS 118376 WITH SCORE 118625.795
AT ITER 2382 NEW BEST:: SOT 515188 SOS 249771 HAS SOPS 242221 HAS SOUS 119379 HAS SOUPS 118328 WITH SCORE 118577.771
AT ITER 2394 NEW BEST:: SOT 515186 SOS 249769 HAS SOPS 242220 HAS SOUS 119378 HAS SOUPS 118327 WITH SCORE 118576.769
AT ITER 2395 NEW BEST:: SOT 514854 SOS 249553 HAS SOPS 242004 HAS SOUS 119241 HAS SOUPS 118190 WITH SCORE 118439.553
AT ITER 2396 NEW BEST:: SOT 514909 SOS 249608 HAS SOPS 241959 HAS SOUS 119161 HAS SOUPS 118110 WITH SCORE 118359.608
AT ITER 2407 NEW BEST:: SOT 514964 SOS 249774 HAS SOPS 242125 HAS SOUS 119117 HAS SOUPS 118066 WITH SCORE 118315.774
AT ITER 2412 NEW BEST:: SOT 514995 SOS 249836 HAS SOPS 242187 HAS SOUS 119110 HAS SOUPS 118059 WITH SCORE 118308.836
AT ITER 2441 NEW BEST:: SOT 514743 SOS 249373 HAS SOPS 241724 HAS SOUS 118990 HAS SOUPS 117939 WITH SCORE 118188.373
AT ITER 2484 NEW BEST:: SOT 514698 SOS 249445 HAS SOPS 241815 HAS SOUS 118956 HAS SOUPS 117905 WITH SCORE 118154.445
AT ITER 2485 NEW BEST:: SOT 514680 SOS 249407 HAS SOPS 241777 HAS SOUS 118921 HAS SOUPS 117870 WITH SCORE 118119.407
AT ITER 2504 NEW BEST:: SOT 514680 SOS 249407 HAS SOPS 241777 HAS SOUS 118914 HAS SOUPS 117863 WITH SCORE 118112.407
AT ITER 2544 NEW BEST:: SOT 514671 SOS 249401 HAS SOPS 241771 HAS SOUS 118896 HAS SOUPS 117845 WITH SCORE 118094.401
AT ITER 2585 NEW BEST:: SOT 514671 SOS 249401 HAS SOPS 241771 HAS SOUS 118887 HAS SOUPS 117836 WITH SCORE 118085.401
AT ITER 2623 NEW BEST:: SOT 514733 SOS 249463 HAS SOPS 241739 HAS SOUS 118816 HAS SOUPS 117765 WITH SCORE 118014.463
AT ITER 2640 NEW BEST:: SOT 514555 SOS 249285 HAS SOPS 241561 HAS SOUS 118566 HAS SOUPS 117515 WITH SCORE 117764.285
AT ITER 2653 NEW BEST:: SOT 514527 SOS 249257 HAS SOPS 241533 HAS SOUS 118510 HAS SOUPS 117459 WITH SCORE 117708.257
AT ITER 2664 NEW BEST:: SOT 514538 SOS 249268 HAS SOPS 241544 HAS SOUS 118499 HAS SOUPS 117448 WITH SCORE 117697.268
AT ITER 2674 NEW BEST:: SOT 514420 SOS 249125 HAS SOPS 241323 HAS SOUS 118347 HAS SOUPS 117296 WITH SCORE 117545.125
AT ITER 2692 NEW BEST:: SOT 514119 SOS 248880 HAS SOPS 241078 HAS SOUS 117921 HAS SOUPS 116870 WITH SCORE 117118.88
AT ITER 2723 NEW BEST:: SOT 514083 SOS 248743 HAS SOPS 240941 HAS SOUS 117791 HAS SOUPS 116740 WITH SCORE 116988.743
AT ITER 2734 NEW BEST:: SOT 513771 SOS 248464 HAS SOPS 240662 HAS SOUS 117409 HAS SOUPS 116358 WITH SCORE 116606.464
AT ITER 2736 NEW BEST:: SOT 513768 SOS 248461 HAS SOPS 240659 HAS SOUS 117406 HAS SOUPS 116355 WITH SCORE 116603.461
AT ITER 2783 NEW BEST:: SOT 513752 SOS 248459 HAS SOPS 240657 HAS SOUS 117404 HAS SOUPS 116353 WITH SCORE 116601.459
AT ITER 2788 NEW BEST:: SOT 513617 SOS 248144 HAS SOPS 240342 HAS SOUS 117224 HAS SOUPS 116173 WITH SCORE 116421.144
AT ITER 2800 NEW BEST:: SOT 513506 SOS 247996 HAS SOPS 240194 HAS SOUS 117113 HAS SOUPS 116062 WITH SCORE 116309.996
AT ITER 2801 NEW BEST:: SOT 513506 SOS 247518 HAS SOPS 239716 HAS SOUS 117073 HAS SOUPS 116022 WITH SCORE 116269.518
AT ITER 2819 NEW BEST:: SOT 513365 SOS 247330 HAS SOPS 239528 HAS SOUS 116932 HAS SOUPS 115881 WITH SCORE 116128.33
AT ITER 2846 NEW BEST:: SOT 513354 SOS 247319 HAS SOPS 239517 HAS SOUS 116910 HAS SOUPS 115859 WITH SCORE 116106.319
AT ITER 2849 NEW BEST:: SOT 513357 SOS 247322 HAS SOPS 239520 HAS SOUS 116860 HAS SOUPS 115809 WITH SCORE 116056.322
AT ITER 2859 NEW BEST:: SOT 513283 SOS 247248 HAS SOPS 239446 HAS SOUS 116786 HAS SOUPS 115735 WITH SCORE 115982.248
AT ITER 2860 NEW BEST:: SOT 513257 SOS 247222 HAS SOPS 239420 HAS SOUS 116734 HAS SOUPS 115683 WITH SCORE 115930.222
AT ITER 2866 NEW BEST:: SOT 513140 SOS 244550 HAS SOPS 236748 HAS SOUS 116654 HAS SOUPS 115603 WITH SCORE 115847.55
AT ITER 2884 NEW BEST:: SOT 513126 SOS 244514 HAS SOPS 236712 HAS SOUS 116604 HAS SOUPS 115553 WITH SCORE 115797.514
AT ITER 2940 NEW BEST:: SOT 513143 SOS 244547 HAS SOPS 236677 HAS SOUS 116571 HAS SOUPS 115520 WITH SCORE 115764.547
AT ITER 2942 NEW BEST:: SOT 512940 SOS 244188 HAS SOPS 236318 HAS SOUS 116269 HAS SOUPS 115218 WITH SCORE 115462.188
AT ITER 2986 NEW BEST:: SOT 512974 SOS 244222 HAS SOPS 236352 HAS SOUS 116251 HAS SOUPS 115200 WITH SCORE 115444.222
AT ITER 2999 NEW BEST:: SOT 512956 SOS 244204 HAS SOPS 236325 HAS SOUS 116224 HAS SOUPS 115173 WITH SCORE 115417.204
AT ITER 3012 NEW BEST:: SOT 512091 SOS 243302 HAS SOPS 235423 HAS SOUS 115823 HAS SOUPS 114772 WITH SCORE 115015.302
AT ITER 3020 NEW BEST:: SOT 512091 SOS 243203 HAS SOPS 235324 HAS SOUS 115732 HAS SOUPS 114681 WITH SCORE 114924.203
AT ITER 3031 NEW BEST:: SOT 512091 SOS 243249 HAS SOPS 235370 HAS SOUS 115716 HAS SOUPS 114665 WITH SCORE 114908.249
AT ITER 3052 NEW BEST:: SOT 512064 SOS 243168 HAS SOPS 235262 HAS SOUS 115635 HAS SOUPS 114584 WITH SCORE 114827.168
AT ITER 3063 NEW BEST:: SOT 511878 SOS 242962 HAS SOPS 235056 HAS SOUS 115429 HAS SOUPS 114378 WITH SCORE 114620.962
AT ITER 3119 NEW BEST:: SOT 511851 SOS 242860 HAS SOPS 234965 HAS SOUS 115331 HAS SOUPS 114280 WITH SCORE 114522.86
AT ITER 3129 NEW BEST:: SOT 511858 SOS 242833 HAS SOPS 234938 HAS SOUS 115327 HAS SOUPS 114276 WITH SCORE 114518.833
AT ITER 3135 NEW BEST:: SOT 511870 SOS 242845 HAS SOPS 234950 HAS SOUS 115314 HAS SOUPS 114263 WITH SCORE 114505.845
AT ITER 3136 NEW BEST:: SOT 511855 SOS 242835 HAS SOPS 234940 HAS SOUS 115309 HAS SOUPS 114258 WITH SCORE 114500.835
AT ITER 3148 NEW BEST:: SOT 511785 SOS 243474 HAS SOPS 235588 HAS SOUS 115236 HAS SOUPS 114186 WITH SCORE 114429.474
AT ITER 3165 NEW BEST:: SOT 511763 SOS 243430 HAS SOPS 235544 HAS SOUS 115192 HAS SOUPS 114142 WITH SCORE 114385.43
AT ITER 3170 NEW BEST:: SOT 511763 SOS 243429 HAS SOPS 235543 HAS SOUS 115191 HAS SOUPS 114141 WITH SCORE 114384.429
AT ITER 3191 NEW BEST:: SOT 511671 SOS 243407 HAS SOPS 235521 HAS SOUS 115177 HAS SOUPS 114127 WITH SCORE 114370.407
AT ITER 3194 NEW BEST:: SOT 511671 SOS 243247 HAS SOPS 235361 HAS SOUS 115175 HAS SOUPS 114125 WITH SCORE 114368.247
AT ITER 3197 NEW BEST:: SOT 511666 SOS 243237 HAS SOPS 235351 HAS SOUS 115165 HAS SOUPS 114115 WITH SCORE 114358.237
AT ITER 3201 NEW BEST:: SOT 511666 SOS 243190 HAS SOPS 235304 HAS SOUS 115165 HAS SOUPS 114115 WITH SCORE 114358.19
AT ITER 3212 NEW BEST:: SOT 511532 SOS 243141 HAS SOPS 235255 HAS SOUS 115059 HAS SOUPS 114009 WITH SCORE 114252.141
AT ITER 3216 NEW BEST:: SOT 511304 SOS 243000 HAS SOPS 235114 HAS SOUS 115027 HAS SOUPS 113977 WITH SCORE 114220.0
AT ITER 3222 NEW BEST:: SOT 511291 SOS 242987 HAS SOPS 235101 HAS SOUS 114988 HAS SOUPS 113938 WITH SCORE 114180.987
AT ITER 3234 NEW BEST:: SOT 511296 SOS 242992 HAS SOPS 235080 HAS SOUS 114975 HAS SOUPS 113925 WITH SCORE 114167.992
AT ITER 3235 NEW BEST:: SOT 511391 SOS 242976 HAS SOPS 235064 HAS SOUS 114787 HAS SOUPS 113737 WITH SCORE 113979.976
AT ITER 3249 NEW BEST:: SOT 511237 SOS 242844 HAS SOPS 234932 HAS SOUS 114611 HAS SOUPS 113561 WITH SCORE 113803.844
AT ITER 3251 NEW BEST:: SOT 511207 SOS 242809 HAS SOPS 234897 HAS SOUS 114576 HAS SOUPS 113526 WITH SCORE 113768.809
AT ITER 3275 NEW BEST:: SOT 511107 SOS 242584 HAS SOPS 234672 HAS SOUS 114426 HAS SOUPS 113376 WITH SCORE 113618.584
AT ITER 3276 NEW BEST:: SOT 511058 SOS 242486 HAS SOPS 234574 HAS SOUS 114328 HAS SOUPS 113278 WITH SCORE 113520.486
AT ITER 3281 NEW BEST:: SOT 511052 SOS 242486 HAS SOPS 234574 HAS SOUS 114316 HAS SOUPS 113266 WITH SCORE 113508.486
AT ITER 3300 NEW BEST:: SOT 510989 SOS 242423 HAS SOPS 234511 HAS SOUS 114283 HAS SOUPS 113233 WITH SCORE 113475.423
AT ITER 3338 NEW BEST:: SOT 510936 SOS 242372 HAS SOPS 234460 HAS SOUS 114179 HAS SOUPS 113129 WITH SCORE 113371.372
AT ITER 3362 NEW BEST:: SOT 510891 SOS 242324 HAS SOPS 234417 HAS SOUS 114134 HAS SOUPS 113084 WITH SCORE 113326.324
AT ITER 3383 NEW BEST:: SOT 510883 SOS 242318 HAS SOPS 234411 HAS SOUS 114119 HAS SOUPS 113069 WITH SCORE 113311.318
AT ITER 3386 NEW BEST:: SOT 510624 SOS 242061 HAS SOPS 234154 HAS SOUS 114087 HAS SOUPS 113037 WITH SCORE 113279.061
AT ITER 3400 NEW BEST:: SOT 510536 SOS 242332 HAS SOPS 234483 HAS SOUS 114036 HAS SOUPS 112986 WITH SCORE 113228.332
AT ITER 3403 NEW BEST:: SOT 510543 SOS 242339 HAS SOPS 234490 HAS SOUS 113990 HAS SOUPS 112940 WITH SCORE 113182.339
AT ITER 3464 NEW BEST:: SOT 510507 SOS 242303 HAS SOPS 234454 HAS SOUS 113981 HAS SOUPS 112931 WITH SCORE 113173.303
AT ITER 3476 NEW BEST:: SOT 510495 SOS 242291 HAS SOPS 234442 HAS SOUS 113957 HAS SOUPS 112907 WITH SCORE 113149.291
AT ITER 3477 NEW BEST:: SOT 510487 SOS 242332 HAS SOPS 234483 HAS SOUS 113942 HAS SOUPS 112892 WITH SCORE 113134.332
AT ITER 3489 NEW BEST:: SOT 510449 SOS 242294 HAS SOPS 234445 HAS SOUS 113847 HAS SOUPS 112797 WITH SCORE 113039.294
AT ITER 3517 NEW BEST:: SOT 510356 SOS 242201 HAS SOPS 234352 HAS SOUS 113706 HAS SOUPS 112656 WITH SCORE 112898.201
AT ITER 3526 NEW BEST:: SOT 510427 SOS 242272 HAS SOPS 234373 HAS SOUS 113648 HAS SOUPS 112598 WITH SCORE 112840.272
AT ITER 3540 NEW BEST:: SOT 510392 SOS 242213 HAS SOPS 234314 HAS SOUS 113582 HAS SOUPS 112532 WITH SCORE 112774.213
AT ITER 3541 NEW BEST:: SOT 510383 SOS 242160 HAS SOPS 234261 HAS SOUS 113529 HAS SOUPS 112479 WITH SCORE 112721.16
AT ITER 3576 NEW BEST:: SOT 510385 SOS 242161 HAS SOPS 234311 HAS SOUS 113517 HAS SOUPS 112467 WITH SCORE 112709.161
AT ITER 3588 NEW BEST:: SOT 510304 SOS 242003 HAS SOPS 234153 HAS SOUS 113472 HAS SOUPS 112422 WITH SCORE 112664.003
AT ITER 3599 NEW BEST:: SOT 510296 SOS 241995 HAS SOPS 234145 HAS SOUS 113464 HAS SOUPS 112414 WITH SCORE 112655.995
AT ITER 3600 NEW BEST:: SOT 510225 SOS 241853 HAS SOPS 234003 HAS SOUS 113360 HAS SOUPS 112310 WITH SCORE 112551.853
AT ITER 3628 NEW BEST:: SOT 510178 SOS 241853 HAS SOPS 234003 HAS SOUS 113168 HAS SOUPS 112118 WITH SCORE 112359.853
AT ITER 3637 NEW BEST:: SOT 509862 SOS 241416 HAS SOPS 233566 HAS SOUS 112844 HAS SOUPS 111794 WITH SCORE 112035.416
AT ITER 3650 NEW BEST:: SOT 509848 SOS 241407 HAS SOPS 233557 HAS SOUS 112830 HAS SOUPS 111780 WITH SCORE 112021.407
AT ITER 3680 NEW BEST:: SOT 509828 SOS 241407 HAS SOPS 233557 HAS SOUS 112810 HAS SOUPS 111760 WITH SCORE 112001.407
AT ITER 3782 NEW BEST:: SOT 509741 SOS 241320 HAS SOPS 233413 HAS SOUS 112785 HAS SOUPS 111735 WITH SCORE 111976.32
AT ITER 3790 NEW BEST:: SOT 509737 SOS 241318 HAS SOPS 233411 HAS SOUS 112783 HAS SOUPS 111733 WITH SCORE 111974.318
AT ITER 3797 NEW BEST:: SOT 509785 SOS 241366 HAS SOPS 233459 HAS SOUS 112429 HAS SOUPS 111379 WITH SCORE 111620.366
AT ITER 3800 NEW BEST:: SOT 509901 SOS 241490 HAS SOPS 233583 HAS SOUS 112425 HAS SOUPS 111375 WITH SCORE 111616.49
AT ITER 3813 NEW BEST:: SOT 509763 SOS 241375 HAS SOPS 233468 HAS SOUS 112287 HAS SOUPS 111237 WITH SCORE 111478.375
AT ITER 3824 NEW BEST:: SOT 509614 SOS 241259 HAS SOPS 233352 HAS SOUS 112138 HAS SOUPS 111088 WITH SCORE 111329.259
AT ITER 3850 NEW BEST:: SOT 509357 SOS 240149 HAS SOPS 232242 HAS SOUS 111761 HAS SOUPS 110711 WITH SCORE 110951.149
AT ITER 3855 NEW BEST:: SOT 509347 SOS 240139 HAS SOPS 232232 HAS SOUS 111751 HAS SOUPS 110701 WITH SCORE 110941.139
AT ITER 3861 NEW BEST:: SOT 509337 SOS 240129 HAS SOPS 232222 HAS SOUS 111731 HAS SOUPS 110681 WITH SCORE 110921.129
AT ITER 3884 NEW BEST:: SOT 509291 SOS 240034 HAS SOPS 232127 HAS SOUS 111634 HAS SOUPS 110584 WITH SCORE 110824.034
AT ITER 3885 NEW BEST:: SOT 509288 SOS 240031 HAS SOPS 232124 HAS SOUS 111631 HAS SOUPS 110581 WITH SCORE 110821.031
AT ITER 3895 NEW BEST:: SOT 509206 SOS 239871 HAS SOPS 231925 HAS SOUS 111506 HAS SOUPS 110456 WITH SCORE 110695.871
AT ITER 3928 NEW BEST:: SOT 509181 SOS 239846 HAS SOPS 231900 HAS SOUS 111456 HAS SOUPS 110406 WITH SCORE 110645.846
AT ITER 3944 NEW BEST:: SOT 509176 SOS 239826 HAS SOPS 231880 HAS SOUS 111436 HAS SOUPS 110386 WITH SCORE 110625.826
AT ITER 3957 NEW BEST:: SOT 509150 SOS 239927 HAS SOPS 231981 HAS SOUS 111364 HAS SOUPS 110314 WITH SCORE 110553.927
AT ITER 3972 NEW BEST:: SOT 509144 SOS 239921 HAS SOPS 231975 HAS SOUS 111326 HAS SOUPS 110276 WITH SCORE 110515.921
AT ITER 3978 NEW BEST:: SOT 509144 SOS 239928 HAS SOPS 231982 HAS SOUS 111325 HAS SOUPS 110275 WITH SCORE 110514.928
AT ITER 3988 NEW BEST:: SOT 509144 SOS 239739 HAS SOPS 231793 HAS SOUS 111032 HAS SOUPS 109982 WITH SCORE 110221.739
AT ITER 3999 NEW BEST:: SOT 508074 SOS 238669 HAS SOPS 230723 HAS SOUS 110755 HAS SOUPS 109705 WITH SCORE 109943.669
AT ITER 4001 NEW BEST:: SOT 507938 SOS 238557 HAS SOPS 230611 HAS SOUS 110622 HAS SOUPS 109572 WITH SCORE 109810.557
AT ITER 4004 NEW BEST:: SOT 507931 SOS 238409 HAS SOPS 230463 HAS SOUS 110612 HAS SOUPS 109562 WITH SCORE 109800.409
AT ITER 4038 NEW BEST:: SOT 507920 SOS 238398 HAS SOPS 230452 HAS SOUS 110590 HAS SOUPS 109540 WITH SCORE 109778.398
AT ITER 4050 NEW BEST:: SOT 507566 SOS 237798 HAS SOPS 229852 HAS SOUS 110026 HAS SOUPS 108976 WITH SCORE 109213.798
AT ITER 4055 NEW BEST:: SOT 507461 SOS 237702 HAS SOPS 229756 HAS SOUS 109961 HAS SOUPS 108911 WITH SCORE 109148.702
AT ITER 4062 NEW BEST:: SOT 507461 SOS 237702 HAS SOPS 229756 HAS SOUS 109944 HAS SOUPS 108894 WITH SCORE 109131.702
AT ITER 4088 NEW BEST:: SOT 507455 SOS 237696 HAS SOPS 229750 HAS SOUS 109932 HAS SOUPS 108882 WITH SCORE 109119.696
AT ITER 4092 NEW BEST:: SOT 507420 SOS 237661 HAS SOPS 229715 HAS SOUS 109314 HAS SOUPS 108264 WITH SCORE 108501.661
AT ITER 4095 NEW BEST:: SOT 507414 SOS 237655 HAS SOPS 229709 HAS SOUS 109296 HAS SOUPS 108246 WITH SCORE 108483.655
AT ITER 4097 NEW BEST:: SOT 507414 SOS 237655 HAS SOPS 229709 HAS SOUS 109252 HAS SOUPS 108202 WITH SCORE 108439.655
AT ITER 4140 NEW BEST:: SOT 507369 SOS 237608 HAS SOPS 229687 HAS SOUS 109190 HAS SOUPS 108147 WITH SCORE 108384.608
AT ITER 4142 NEW BEST:: SOT 507346 SOS 238201 HAS SOPS 230280 HAS SOUS 109179 HAS SOUPS 108136 WITH SCORE 108374.201
AT ITER 4156 NEW BEST:: SOT 507339 SOS 238194 HAS SOPS 230273 HAS SOUS 109172 HAS SOUPS 108129 WITH SCORE 108367.194
AT ITER 4172 NEW BEST:: SOT 507231 SOS 238161 HAS SOPS 230240 HAS SOUS 109165 HAS SOUPS 108122 WITH SCORE 108360.161
AT ITER 4180 NEW BEST:: SOT 507145 SOS 238098 HAS SOPS 230177 HAS SOUS 109124 HAS SOUPS 108081 WITH SCORE 108319.098
AT ITER 4181 NEW BEST:: SOT 507119 SOS 238063 HAS SOPS 230142 HAS SOUS 109072 HAS SOUPS 108029 WITH SCORE 108267.063
AT ITER 4195 NEW BEST:: SOT 506807 SOS 237632 HAS SOPS 229711 HAS SOUS 108846 HAS SOUPS 107803 WITH SCORE 108040.632
AT ITER 4224 NEW BEST:: SOT 506821 SOS 237710 HAS SOPS 229709 HAS SOUS 108815 HAS SOUPS 107772 WITH SCORE 108009.71
AT ITER 4227 NEW BEST:: SOT 506821 SOS 237741 HAS SOPS 229678 HAS SOUS 108784 HAS SOUPS 107741 WITH SCORE 107978.741
AT ITER 4266 NEW BEST:: SOT 506744 SOS 237562 HAS SOPS 229422 HAS SOUS 108579 HAS SOUPS 107536 WITH SCORE 107773.562
AT ITER 4267 NEW BEST:: SOT 506738 SOS 237504 HAS SOPS 229364 HAS SOUS 108515 HAS SOUPS 107472 WITH SCORE 107709.504
AT ITER 4273 NEW BEST:: SOT 506640 SOS 237355 HAS SOPS 229215 HAS SOUS 108417 HAS SOUPS 107374 WITH SCORE 107611.355
AT ITER 4296 NEW BEST:: SOT 506499 SOS 237120 HAS SOPS 228980 HAS SOUS 108182 HAS SOUPS 107139 WITH SCORE 107376.12
AT ITER 4297 NEW BEST:: SOT 506446 SOS 237170 HAS SOPS 229030 HAS SOUS 108106 HAS SOUPS 107063 WITH SCORE 107300.17
AT ITER 4301 NEW BEST:: SOT 506440 SOS 237164 HAS SOPS 229024 HAS SOUS 108044 HAS SOUPS 107001 WITH SCORE 107238.164
AT ITER 4304 NEW BEST:: SOT 506387 SOS 237126 HAS SOPS 228986 HAS SOUS 107991 HAS SOUPS 106948 WITH SCORE 107185.126
AT ITER 4305 NEW BEST:: SOT 507025 SOS 237698 HAS SOPS 229558 HAS SOUS 107987 HAS SOUPS 106944 WITH SCORE 107181.698
AT ITER 4340 NEW BEST:: SOT 506785 SOS 242471 HAS SOPS 233415 HAS SOUS 107716 HAS SOUPS 106545 WITH SCORE 106787.471
AT ITER 4365 NEW BEST:: SOT 506785 SOS 242462 HAS SOPS 233406 HAS SOUS 107707 HAS SOUPS 106536 WITH SCORE 106778.462
AT ITER 4371 NEW BEST:: SOT 506769 SOS 242430 HAS SOPS 233374 HAS SOUS 107675 HAS SOUPS 106504 WITH SCORE 106746.43
AT ITER 4401 NEW BEST:: SOT 506769 SOS 242433 HAS SOPS 233377 HAS SOUS 107667 HAS SOUPS 106496 WITH SCORE 106738.433
AT ITER 4407 NEW BEST:: SOT 506741 SOS 242401 HAS SOPS 233345 HAS SOUS 107602 HAS SOUPS 106431 WITH SCORE 106673.401
AT ITER 4409 NEW BEST:: SOT 506737 SOS 242397 HAS SOPS 233341 HAS SOUS 107564 HAS SOUPS 106393 WITH SCORE 106635.397
AT ITER 4445 NEW BEST:: SOT 506730 SOS 242390 HAS SOPS 233334 HAS SOUS 107525 HAS SOUPS 106354 WITH SCORE 106596.39
AT ITER 4481 NEW BEST:: SOT 506619 SOS 242162 HAS SOPS 233320 HAS SOUS 107469 HAS SOUPS 106298 WITH SCORE 106540.162
AT ITER 4493 NEW BEST:: SOT 506619 SOS 242145 HAS SOPS 233303 HAS SOUS 107452 HAS SOUPS 106281 WITH SCORE 106523.145
AT ITER 4501 NEW BEST:: SOT 507057 SOS 242519 HAS SOPS 233677 HAS SOUS 107112 HAS SOUPS 105941 WITH SCORE 106183.519
AT ITER 4504 NEW BEST:: SOT 506961 SOS 242439 HAS SOPS 233597 HAS SOUS 107065 HAS SOUPS 105894 WITH SCORE 106136.439
AT ITER 4528 NEW BEST:: SOT 506946 SOS 242409 HAS SOPS 233567 HAS SOUS 107035 HAS SOUPS 105864 WITH SCORE 106106.409
AT ITER 4533 NEW BEST:: SOT 506942 SOS 242405 HAS SOPS 233563 HAS SOUS 107027 HAS SOUPS 105856 WITH SCORE 106098.405
AT ITER 4560 NEW BEST:: SOT 506911 SOS 242372 HAS SOPS 233530 HAS SOUS 106965 HAS SOUPS 105794 WITH SCORE 106036.372
AT ITER 4590 NEW BEST:: SOT 506819 SOS 242280 HAS SOPS 233438 HAS SOUS 106801 HAS SOUPS 105630 WITH SCORE 105872.28
AT ITER 4610 NEW BEST:: SOT 506775 SOS 242236 HAS SOPS 233394 HAS SOUS 106753 HAS SOUPS 105582 WITH SCORE 105824.236
AT ITER 4616 NEW BEST:: SOT 505198 SOS 244659 HAS SOPS 238116 HAS SOUS 105832 HAS SOUPS 104787 WITH SCORE 105031.659
AT ITER 4625 NEW BEST:: SOT 505032 SOS 244522 HAS SOPS 237999 HAS SOUS 105808 HAS SOUPS 104763 WITH SCORE 105007.522
AT ITER 4631 NEW BEST:: SOT 505014 SOS 244504 HAS SOPS 237981 HAS SOUS 105772 HAS SOUPS 104727 WITH SCORE 104971.504
AT ITER 4643 NEW BEST:: SOT 505013 SOS 244503 HAS SOPS 237980 HAS SOUS 105771 HAS SOUPS 104726 WITH SCORE 104970.503
AT ITER 4645 NEW BEST:: SOT 505042 SOS 244532 HAS SOPS 238009 HAS SOUS 105722 HAS SOUPS 104677 WITH SCORE 104921.532
AT ITER 4656 NEW BEST:: SOT 504981 SOS 244367 HAS SOPS 237844 HAS SOUS 105686 HAS SOUPS 104641 WITH SCORE 104885.367
AT ITER 4661 NEW BEST:: SOT 505076 SOS 244464 HAS SOPS 237941 HAS SOUS 105589 HAS SOUPS 104544 WITH SCORE 104788.464
AT ITER 4669 NEW BEST:: SOT 505074 SOS 244461 HAS SOPS 237938 HAS SOUS 105585 HAS SOUPS 104540 WITH SCORE 104784.461
AT ITER 4670 NEW BEST:: SOT 505013 SOS 244400 HAS SOPS 237877 HAS SOUS 105472 HAS SOUPS 104427 WITH SCORE 104671.4
AT ITER 4678 NEW BEST:: SOT 505082 SOS 244424 HAS SOPS 237901 HAS SOUS 105423 HAS SOUPS 104378 WITH SCORE 104622.424
AT ITER 4697 NEW BEST:: SOT 505078 SOS 244416 HAS SOPS 237893 HAS SOUS 105414 HAS SOUPS 104369 WITH SCORE 104613.416
AT ITER 4698 NEW BEST:: SOT 505068 SOS 244427 HAS SOPS 237904 HAS SOUS 105339 HAS SOUPS 104294 WITH SCORE 104538.427
AT ITER 4716 NEW BEST:: SOT 504965 SOS 244260 HAS SOPS 237737 HAS SOUS 105172 HAS SOUPS 104127 WITH SCORE 104371.26
AT ITER 4750 NEW BEST:: SOT 505007 SOS 244302 HAS SOPS 237779 HAS SOUS 105086 HAS SOUPS 104041 WITH SCORE 104285.302
AT ITER 4770 NEW BEST:: SOT 504875 SOS 244038 HAS SOPS 237515 HAS SOUS 104842 HAS SOUPS 103797 WITH SCORE 104041.038
AT ITER 4777 NEW BEST:: SOT 504738 SOS 243856 HAS SOPS 237333 HAS SOUS 104703 HAS SOUPS 103658 WITH SCORE 103901.856
AT ITER 4784 NEW BEST:: SOT 504690 SOS 243872 HAS SOPS 237328 HAS SOUS 104670 HAS SOUPS 103604 WITH SCORE 103847.872
AT ITER 4787 NEW BEST:: SOT 503433 SOS 242231 HAS SOPS 235687 HAS SOUS 104460 HAS SOUPS 103394 WITH SCORE 103636.231
AT ITER 4821 NEW BEST:: SOT 503410 SOS 242208 HAS SOPS 235664 HAS SOUS 104440 HAS SOUPS 103374 WITH SCORE 103616.208
AT ITER 4845 NEW BEST:: SOT 503395 SOS 242163 HAS SOPS 235619 HAS SOUS 104395 HAS SOUPS 103329 WITH SCORE 103571.163
AT ITER 4862 NEW BEST:: SOT 503395 SOS 242146 HAS SOPS 235585 HAS SOUS 104378 HAS SOUPS 103312 WITH SCORE 103554.146
AT ITER 4897 NEW BEST:: SOT 503347 SOS 242112 HAS SOPS 235551 HAS SOUS 104324 HAS SOUPS 103258 WITH SCORE 103500.112
AT ITER 4900 NEW BEST:: SOT 503297 SOS 242060 HAS SOPS 235499 HAS SOUS 104319 HAS SOUPS 103253 WITH SCORE 103495.06
AT ITER 4939 NEW BEST:: SOT 503297 SOS 242060 HAS SOPS 235499 HAS SOUS 104314 HAS SOUPS 103248 WITH SCORE 103490.06
AT ITER 4955 NEW BEST:: SOT 503267 SOS 242045 HAS SOPS 235484 HAS SOUS 104277 HAS SOUPS 103211 WITH SCORE 103453.045
AT ITER 4960 NEW BEST:: SOT 503606 SOS 242326 HAS SOPS 235765 HAS SOUS 103790 HAS SOUPS 102724 WITH SCORE 102966.326
AT ITER 4965 NEW BEST:: SOT 503553 SOS 242273 HAS SOPS 235712 HAS SOUS 103737 HAS SOUPS 102671 WITH SCORE 102913.273
AT ITER 4971 NEW BEST:: SOT 503499 SOS 242285 HAS SOPS 235724 HAS SOUS 103625 HAS SOUPS 102559 WITH SCORE 102801.285
AT ITER 4981 NEW BEST:: SOT 503477 SOS 242263 HAS SOPS 235702 HAS SOUS 103585 HAS SOUPS 102519 WITH SCORE 102761.263
AT ITER 4995 NEW BEST:: SOT 503438 SOS 242189 HAS SOPS 235628 HAS SOUS 103546 HAS SOUPS 102480 WITH SCORE 102722.189
AT ITER 5003 NEW BEST:: SOT 503455 SOS 242206 HAS SOPS 235645 HAS SOUS 103541 HAS SOUPS 102475 WITH SCORE 102717.206
AT ITER 5005 NEW BEST:: SOT 503455 SOS 242207 HAS SOPS 235646 HAS SOUS 103451 HAS SOUPS 102385 WITH SCORE 102627.207
AT ITER 5015 NEW BEST:: SOT 503420 SOS 242172 HAS SOPS 235611 HAS SOUS 103372 HAS SOUPS 102306 WITH SCORE 102548.172
AT ITER 5027 NEW BEST:: SOT 503388 SOS 242107 HAS SOPS 235546 HAS SOUS 103307 HAS SOUPS 102241 WITH SCORE 102483.107
AT ITER 5035 NEW BEST:: SOT 503448 SOS 242167 HAS SOPS 235606 HAS SOUS 103267 HAS SOUPS 102201 WITH SCORE 102443.167
AT ITER 5043 NEW BEST:: SOT 503448 SOS 242162 HAS SOPS 235601 HAS SOUS 103262 HAS SOUPS 102196 WITH SCORE 102438.162
AT ITER 5055 NEW BEST:: SOT 503436 SOS 242138 HAS SOPS 235577 HAS SOUS 103238 HAS SOUPS 102172 WITH SCORE 102414.138
AT ITER 5063 NEW BEST:: SOT 503290 SOS 242044 HAS SOPS 235483 HAS SOUS 102987 HAS SOUPS 101921 WITH SCORE 102163.044
AT ITER 5082 NEW BEST:: SOT 503315 SOS 242069 HAS SOPS 235508 HAS SOUS 102983 HAS SOUPS 101917 WITH SCORE 102159.069
AT ITER 5086 NEW BEST:: SOT 503314 SOS 242068 HAS SOPS 235507 HAS SOUS 102981 HAS SOUPS 101915 WITH SCORE 102157.068
AT ITER 5099 NEW BEST:: SOT 503371 SOS 242125 HAS SOPS 235560 HAS SOUS 102897 HAS SOUPS 101831 WITH SCORE 102073.125
AT ITER 5111 NEW BEST:: SOT 503315 SOS 240834 HAS SOPS 233561 HAS SOUS 102813 HAS SOUPS 101720 WITH SCORE 101960.834
AT ITER 5149 NEW BEST:: SOT 503287 SOS 240806 HAS SOPS 233533 HAS SOUS 102757 HAS SOUPS 101664 WITH SCORE 101904.806
AT ITER 5169 NEW BEST:: SOT 503641 SOS 241099 HAS SOPS 233826 HAS SOUS 102336 HAS SOUPS 101243 WITH SCORE 101484.099
AT ITER 5190 NEW BEST:: SOT 503640 SOS 241098 HAS SOPS 233825 HAS SOUS 102327 HAS SOUPS 101234 WITH SCORE 101475.098
AT ITER 5196 NEW BEST:: SOT 503621 SOS 241043 HAS SOPS 233770 HAS SOUS 102278 HAS SOUPS 101185 WITH SCORE 101426.043
AT ITER 5198 NEW BEST:: SOT 503621 SOS 241043 HAS SOPS 233770 HAS SOUS 102270 HAS SOUPS 101177 WITH SCORE 101418.043
AT ITER 5219 NEW BEST:: SOT 503592 SOS 241014 HAS SOPS 233741 HAS SOUS 102239 HAS SOUPS 101146 WITH SCORE 101387.014
AT ITER 5231 NEW BEST:: SOT 503664 SOS 240560 HAS SOPS 233287 HAS SOUS 102015 HAS SOUPS 100922 WITH SCORE 101162.56
AT ITER 5247 NEW BEST:: SOT 503634 SOS 240530 HAS SOPS 233257 HAS SOUS 101947 HAS SOUPS 100854 WITH SCORE 101094.53
AT ITER 5276 NEW BEST:: SOT 503525 SOS 240421 HAS SOPS 233148 HAS SOUS 101789 HAS SOUPS 100696 WITH SCORE 100936.421
AT ITER 5327 NEW BEST:: SOT 503492 SOS 240369 HAS SOPS 233096 HAS SOUS 101738 HAS SOUPS 100645 WITH SCORE 100885.369
AT ITER 5341 NEW BEST:: SOT 502608 SOS 239485 HAS SOPS 232212 HAS SOUS 101510 HAS SOUPS 100417 WITH SCORE 100656.485
AT ITER 5346 NEW BEST:: SOT 502608 SOS 239474 HAS SOPS 232201 HAS SOUS 101510 HAS SOUPS 100417 WITH SCORE 100656.474
AT ITER 5369 NEW BEST:: SOT 502608 SOS 239362 HAS SOPS 232089 HAS SOUS 101486 HAS SOUPS 100393 WITH SCORE 100632.362
AT ITER 5371 NEW BEST:: SOT 502461 SOS 239271 HAS SOPS 231998 HAS SOUS 101414 HAS SOUPS 100321 WITH SCORE 100560.271
AT ITER 5384 NEW BEST:: SOT 502443 SOS 239253 HAS SOPS 231980 HAS SOUS 101378 HAS SOUPS 100285 WITH SCORE 100524.253
AT ITER 5417 NEW BEST:: SOT 502447 SOS 239257 HAS SOPS 231984 HAS SOUS 101365 HAS SOUPS 100272 WITH SCORE 100511.257
AT ITER 5420 NEW BEST:: SOT 502446 SOS 239256 HAS SOPS 231983 HAS SOUS 101363 HAS SOUPS 100270 WITH SCORE 100509.256
AT ITER 5436 NEW BEST:: SOT 502418 SOS 239228 HAS SOPS 231955 HAS SOUS 101243 HAS SOUPS 100150 WITH SCORE 100389.228
AT ITER 5452 NEW BEST:: SOT 502399 SOS 239190 HAS SOPS 231917 HAS SOUS 101224 HAS SOUPS 100131 WITH SCORE 100370.19
AT ITER 5470 NEW BEST:: SOT 502370 SOS 239161 HAS SOPS 231888 HAS SOUS 101190 HAS SOUPS 100097 WITH SCORE 100336.161
AT ITER 5477 NEW BEST:: SOT 502259 SOS 239050 HAS SOPS 231777 HAS SOUS 101078 HAS SOUPS 99985 WITH SCORE 100224.05
AT ITER 5480 NEW BEST:: SOT 502257 SOS 239046 HAS SOPS 231773 HAS SOUS 101074 HAS SOUPS 99981 WITH SCORE 100220.046
AT ITER 5486 NEW BEST:: SOT 502257 SOS 238818 HAS SOPS 231545 HAS SOUS 100960 HAS SOUPS 99867 WITH SCORE 100105.818
AT ITER 5491 NEW BEST:: SOT 502257 SOS 239408 HAS SOPS 232055 HAS SOUS 100960 HAS SOUPS 99857 WITH SCORE 100096.408
AT ITER 5492 NEW BEST:: SOT 502252 SOS 239411 HAS SOPS 232042 HAS SOUS 100950 HAS SOUPS 99847 WITH SCORE 100086.411
AT ITER 5512 NEW BEST:: SOT 502219 SOS 239367 HAS SOPS 231998 HAS SOUS 100906 HAS SOUPS 99803 WITH SCORE 100042.367
AT ITER 5522 NEW BEST:: SOT 502211 SOS 239359 HAS SOPS 231982 HAS SOUS 100890 HAS SOUPS 99787 WITH SCORE 100026.359
AT ITER 5523 NEW BEST:: SOT 502211 SOS 239359 HAS SOPS 231982 HAS SOUS 100888 HAS SOUPS 99785 WITH SCORE 100024.359
AT ITER 5528 NEW BEST:: SOT 502151 SOS 239299 HAS SOPS 231922 HAS SOUS 100768 HAS SOUPS 99665 WITH SCORE 99904.299
AT ITER 5543 NEW BEST:: SOT 501940 SOS 234278 HAS SOPS 227533 HAS SOUS 100406 HAS SOUPS 99389 WITH SCORE 99623.278
AT ITER 5548 NEW BEST:: SOT 501898 SOS 234236 HAS SOPS 227464 HAS SOUS 100391 HAS SOUPS 99374 WITH SCORE 99608.236
AT ITER 5563 NEW BEST:: SOT 501868 SOS 234206 HAS SOPS 227434 HAS SOUS 100321 HAS SOUPS 99304 WITH SCORE 99538.206
AT ITER 5614 NEW BEST:: SOT 501868 SOS 234200 HAS SOPS 227428 HAS SOUS 100315 HAS SOUPS 99298 WITH SCORE 99532.2
AT ITER 5630 NEW BEST:: SOT 501887 SOS 234168 HAS SOPS 227396 HAS SOUS 100302 HAS SOUPS 99285 WITH SCORE 99519.168
AT ITER 5636 NEW BEST:: SOT 501850 SOS 234131 HAS SOPS 227359 HAS SOUS 100290 HAS SOUPS 99273 WITH SCORE 99507.131
AT ITER 5663 NEW BEST:: SOT 501826 SOS 234107 HAS SOPS 227335 HAS SOUS 100242 HAS SOUPS 99225 WITH SCORE 99459.107
AT ITER 5675 NEW BEST:: SOT 501855 SOS 234092 HAS SOPS 227320 HAS SOUS 99985 HAS SOUPS 98968 WITH SCORE 99202.092
AT ITER 5683 NEW BEST:: SOT 501846 SOS 234053 HAS SOPS 227281 HAS SOUS 99970 HAS SOUPS 98953 WITH SCORE 99187.053
AT ITER 5707 NEW BEST:: SOT 501846 SOS 234039 HAS SOPS 227267 HAS SOUS 99956 HAS SOUPS 98939 WITH SCORE 99173.039
AT ITER 5728 NEW BEST:: SOT 501873 SOS 234066 HAS SOPS 227294 HAS SOUS 99943 HAS SOUPS 98926 WITH SCORE 99160.066
AT ITER 5755 NEW BEST:: SOT 501845 SOS 234024 HAS SOPS 227252 HAS SOUS 99901 HAS SOUPS 98884 WITH SCORE 99118.024
AT ITER 5764 NEW BEST:: SOT 501795 SOS 233974 HAS SOPS 227202 HAS SOUS 99853 HAS SOUPS 98836 WITH SCORE 99069.974
AT ITER 5766 NEW BEST:: SOT 501809 SOS 233978 HAS SOPS 227099 HAS SOUS 99771 HAS SOUPS 98754 WITH SCORE 98987.978
AT ITER 5803 NEW BEST:: SOT 501789 SOS 233958 HAS SOPS 227079 HAS SOUS 99705 HAS SOUPS 98688 WITH SCORE 98921.958
AT ITER 5808 NEW BEST:: SOT 501654 SOS 233681 HAS SOPS 226802 HAS SOUS 99428 HAS SOUPS 98411 WITH SCORE 98644.681
AT ITER 5821 NEW BEST:: SOT 501654 SOS 233681 HAS SOPS 226802 HAS SOUS 99420 HAS SOUPS 98403 WITH SCORE 98636.681
AT ITER 5837 NEW BEST:: SOT 501628 SOS 233655 HAS SOPS 226776 HAS SOUS 99313 HAS SOUPS 98296 WITH SCORE 98529.655
AT ITER 5885 NEW BEST:: SOT 501563 SOS 233590 HAS SOPS 226711 HAS SOUS 99254 HAS SOUPS 98237 WITH SCORE 98470.59
AT ITER 5899 NEW BEST:: SOT 501491 SOS 232996 HAS SOPS 226117 HAS SOUS 99128 HAS SOUPS 98111 WITH SCORE 98343.996
AT ITER 5926 NEW BEST:: SOT 501326 SOS 232849 HAS SOPS 225970 HAS SOUS 99122 HAS SOUPS 98105 WITH SCORE 98337.849
AT ITER 5934 NEW BEST:: SOT 501261 SOS 232016 HAS SOPS 225137 HAS SOUS 99078 HAS SOUPS 98061 WITH SCORE 98293.016
AT ITER 5958 NEW BEST:: SOT 501105 SOS 231919 HAS SOPS 225040 HAS SOUS 99005 HAS SOUPS 97988 WITH SCORE 98219.919
AT ITER 5979 NEW BEST:: SOT 501096 SOS 231910 HAS SOPS 225031 HAS SOUS 98996 HAS SOUPS 97979 WITH SCORE 98210.91
AT ITER 5982 NEW BEST:: SOT 501030 SOS 231844 HAS SOPS 224965 HAS SOUS 98864 HAS SOUPS 97847 WITH SCORE 98078.844
AT ITER 6010 NEW BEST:: SOT 501011 SOS 231825 HAS SOPS 224946 HAS SOUS 98826 HAS SOUPS 97809 WITH SCORE 98040.825
AT ITER 6017 NEW BEST:: SOT 500986 SOS 231775 HAS SOPS 224896 HAS SOUS 98776 HAS SOUPS 97759 WITH SCORE 97990.775
AT ITER 6024 NEW BEST:: SOT 500962 SOS 231727 HAS SOPS 224848 HAS SOUS 98744 HAS SOUPS 97727 WITH SCORE 97958.727
AT ITER 6030 NEW BEST:: SOT 500901 SOS 231666 HAS SOPS 224787 HAS SOUS 98657 HAS SOUPS 97640 WITH SCORE 97871.666
AT ITER 6040 NEW BEST:: SOT 500886 SOS 231651 HAS SOPS 224772 HAS SOUS 98656 HAS SOUPS 97639 WITH SCORE 97870.651
AT ITER 6063 NEW BEST:: SOT 500813 SOS 231408 HAS SOPS 224529 HAS SOUS 98607 HAS SOUPS 97590 WITH SCORE 97821.408
AT ITER 6080 NEW BEST:: SOT 500798 SOS 231393 HAS SOPS 224514 HAS SOUS 98592 HAS SOUPS 97575 WITH SCORE 97806.393
AT ITER 6090 NEW BEST:: SOT 500678 SOS 231236 HAS SOPS 224357 HAS SOUS 98435 HAS SOUPS 97418 WITH SCORE 97649.236
AT ITER 6093 NEW BEST:: SOT 500637 SOS 231198 HAS SOPS 224319 HAS SOUS 98381 HAS SOUPS 97364 WITH SCORE 97595.198
AT ITER 6094 NEW BEST:: SOT 500586 SOS 231112 HAS SOPS 224233 HAS SOUS 98327 HAS SOUPS 97310 WITH SCORE 97541.112
AT ITER 6103 NEW BEST:: SOT 500575 SOS 231073 HAS SOPS 224194 HAS SOUS 98235 HAS SOUPS 97218 WITH SCORE 97449.073
AT ITER 6129 NEW BEST:: SOT 500521 SOS 231019 HAS SOPS 224140 HAS SOUS 98127 HAS SOUPS 97110 WITH SCORE 97341.019
AT ITER 6134 NEW BEST:: SOT 500504 SOS 231002 HAS SOPS 224123 HAS SOUS 98103 HAS SOUPS 97086 WITH SCORE 97317.002
AT ITER 6135 NEW BEST:: SOT 500491 SOS 230989 HAS SOPS 224110 HAS SOUS 98090 HAS SOUPS 97073 WITH SCORE 97303.989
AT ITER 6158 NEW BEST:: SOT 500491 SOS 230974 HAS SOPS 224095 HAS SOUS 98081 HAS SOUPS 97064 WITH SCORE 97294.974
AT ITER 6171 NEW BEST:: SOT 500463 SOS 230946 HAS SOPS 224067 HAS SOUS 98071 HAS SOUPS 97054 WITH SCORE 97284.946
AT ITER 6180 NEW BEST:: SOT 500349 SOS 230832 HAS SOPS 223953 HAS SOUS 97843 HAS SOUPS 96826 WITH SCORE 97056.832
AT ITER 6182 NEW BEST:: SOT 500335 SOS 230767 HAS SOPS 223888 HAS SOUS 97778 HAS SOUPS 96761 WITH SCORE 96991.767
AT ITER 6196 NEW BEST:: SOT 500372 SOS 230804 HAS SOPS 223850 HAS SOUS 97625 HAS SOUPS 96608 WITH SCORE 96838.804
AT ITER 6211 NEW BEST:: SOT 500245 SOS 230623 HAS SOPS 223669 HAS SOUS 97444 HAS SOUPS 96427 WITH SCORE 96657.623
AT ITER 6218 NEW BEST:: SOT 500245 SOS 230609 HAS SOPS 223655 HAS SOUS 97405 HAS SOUPS 96388 WITH SCORE 96618.609
AT ITER 6230 NEW BEST:: SOT 500244 SOS 230606 HAS SOPS 223652 HAS SOUS 97403 HAS SOUPS 96386 WITH SCORE 96616.606
AT ITER 6234 NEW BEST:: SOT 500226 SOS 230588 HAS SOPS 223682 HAS SOUS 97343 HAS SOUPS 96374 WITH SCORE 96604.588
AT ITER 6240 NEW BEST:: SOT 500169 SOS 230493 HAS SOPS 223587 HAS SOUS 97267 HAS SOUPS 96298 WITH SCORE 96528.493
AT ITER 6261 NEW BEST:: SOT 500016 SOS 230356 HAS SOPS 223450 HAS SOUS 97238 HAS SOUPS 96269 WITH SCORE 96499.356
AT ITER 6265 NEW BEST:: SOT 500005 SOS 230345 HAS SOPS 223439 HAS SOUS 97225 HAS SOUPS 96256 WITH SCORE 96486.345
AT ITER 6268 NEW BEST:: SOT 500019 SOS 230359 HAS SOPS 223415 HAS SOUS 97168 HAS SOUPS 96199 WITH SCORE 96429.359
AT ITER 6279 NEW BEST:: SOT 500017 SOS 230155 HAS SOPS 223187 HAS SOUS 97142 HAS SOUPS 96173 WITH SCORE 96403.155
AT ITER 6283 NEW BEST:: SOT 499994 SOS 230132 HAS SOPS 223164 HAS SOUS 97116 HAS SOUPS 96147 WITH SCORE 96377.132
AT ITER 6306 NEW BEST:: SOT 500015 SOS 230125 HAS SOPS 223157 HAS SOUS 97046 HAS SOUPS 96077 WITH SCORE 96307.125
AT ITER 6340 NEW BEST:: SOT 500007 SOS 229939 HAS SOPS 222971 HAS SOUS 97030 HAS SOUPS 96061 WITH SCORE 96290.939
AT ITER 6359 NEW BEST:: SOT 499959 SOS 229842 HAS SOPS 222874 HAS SOUS 96947 HAS SOUPS 95978 WITH SCORE 96207.842
AT ITER 6362 NEW BEST:: SOT 499902 SOS 229785 HAS SOPS 222817 HAS SOUS 96833 HAS SOUPS 95864 WITH SCORE 96093.785
AT ITER 6383 NEW BEST:: SOT 499902 SOS 229805 HAS SOPS 222837 HAS SOUS 96823 HAS SOUPS 95854 WITH SCORE 96083.805
AT ITER 6384 NEW BEST:: SOT 499882 SOS 229765 HAS SOPS 222797 HAS SOUS 96823 HAS SOUPS 95854 WITH SCORE 96083.765
AT ITER 6387 NEW BEST:: SOT 499855 SOS 229714 HAS SOPS 222746 HAS SOUS 96740 HAS SOUPS 95771 WITH SCORE 96000.714
AT ITER 6398 NEW BEST:: SOT 499792 SOS 229683 HAS SOPS 222715 HAS SOUS 96657 HAS SOUPS 95688 WITH SCORE 95917.683
AT ITER 6424 NEW BEST:: SOT 499775 SOS 229683 HAS SOPS 222715 HAS SOUS 96640 HAS SOUPS 95671 WITH SCORE 95900.683
AT ITER 6474 NEW BEST:: SOT 499805 SOS 229708 HAS SOPS 222740 HAS SOUS 96622 HAS SOUPS 95653 WITH SCORE 95882.708
AT ITER 6475 NEW BEST:: SOT 499763 SOS 229652 HAS SOPS 222684 HAS SOUS 96538 HAS SOUPS 95569 WITH SCORE 95798.652
AT ITER 6481 NEW BEST:: SOT 499762 SOS 229651 HAS SOPS 222683 HAS SOUS 96536 HAS SOUPS 95567 WITH SCORE 95796.651
AT ITER 6488 NEW BEST:: SOT 499705 SOS 229594 HAS SOPS 222626 HAS SOUS 96478 HAS SOUPS 95509 WITH SCORE 95738.594
AT ITER 6508 NEW BEST:: SOT 499696 SOS 229585 HAS SOPS 222617 HAS SOUS 96467 HAS SOUPS 95498 WITH SCORE 95727.585
AT ITER 6529 NEW BEST:: SOT 499668 SOS 229398 HAS SOPS 222430 HAS SOUS 96437 HAS SOUPS 95468 WITH SCORE 95697.398
AT ITER 6563 NEW BEST:: SOT 499622 SOS 229352 HAS SOPS 222384 HAS SOUS 96418 HAS SOUPS 95449 WITH SCORE 95678.352
AT ITER 6599 NEW BEST:: SOT 499621 SOS 229259 HAS SOPS 222291 HAS SOUS 96416 HAS SOUPS 95447 WITH SCORE 95676.259
AT ITER 6600 NEW BEST:: SOT 499619 SOS 229255 HAS SOPS 222287 HAS SOUS 96412 HAS SOUPS 95443 WITH SCORE 95672.255
AT ITER 6609 NEW BEST:: SOT 499614 SOS 229250 HAS SOPS 222282 HAS SOUS 96407 HAS SOUPS 95438 WITH SCORE 95667.25
AT ITER 6625 NEW BEST:: SOT 499608 SOS 229241 HAS SOPS 222273 HAS SOUS 96395 HAS SOUPS 95426 WITH SCORE 95655.241
AT ITER 6676 NEW BEST:: SOT 499591 SOS 229224 HAS SOPS 222256 HAS SOUS 96381 HAS SOUPS 95412 WITH SCORE 95641.224
AT ITER 6698 NEW BEST:: SOT 499596 SOS 229211 HAS SOPS 222243 HAS SOUS 96368 HAS SOUPS 95399 WITH SCORE 95628.211
AT ITER 6730 NEW BEST:: SOT 499596 SOS 229152 HAS SOPS 222184 HAS SOUS 96301 HAS SOUPS 95332 WITH SCORE 95561.152
AT ITER 6764 NEW BEST:: SOT 499593 SOS 229149 HAS SOPS 222168 HAS SOUS 96282 HAS SOUPS 95313 WITH SCORE 95542.149
AT ITER 6792 NEW BEST:: SOT 499579 SOS 229135 HAS SOPS 222154 HAS SOUS 96240 HAS SOUPS 95271 WITH SCORE 95500.135
AT ITER 6801 NEW BEST:: SOT 499479 SOS 228955 HAS SOPS 221974 HAS SOUS 96200 HAS SOUPS 95231 WITH SCORE 95459.955
AT ITER 6810 NEW BEST:: SOT 499479 SOS 228953 HAS SOPS 221972 HAS SOUS 96198 HAS SOUPS 95229 WITH SCORE 95457.953
AT ITER 6816 NEW BEST:: SOT 499404 SOS 228873 HAS SOPS 221892 HAS SOUS 96093 HAS SOUPS 95124 WITH SCORE 95352.873
AT ITER 6819 NEW BEST:: SOT 499394 SOS 228858 HAS SOPS 221877 HAS SOUS 96078 HAS SOUPS 95109 WITH SCORE 95337.858
AT ITER 6869 NEW BEST:: SOT 499378 SOS 228766 HAS SOPS 221785 HAS SOUS 96032 HAS SOUPS 95063 WITH SCORE 95291.766
AT ITER 6890 NEW BEST:: SOT 499378 SOS 228752 HAS SOPS 221771 HAS SOUS 96032 HAS SOUPS 95063 WITH SCORE 95291.752
AT ITER 6948 NEW BEST:: SOT 499141 SOS 228542 HAS SOPS 221561 HAS SOUS 95998 HAS SOUPS 95029 WITH SCORE 95257.542
AT ITER 6962 NEW BEST:: SOT 499147 SOS 228540 HAS SOPS 221559 HAS SOUS 95996 HAS SOUPS 95027 WITH SCORE 95255.54
AT ITER 6997 NEW BEST:: SOT 498123 SOS 227516 HAS SOPS 220535 HAS SOUS 95688 HAS SOUPS 94719 WITH SCORE 94946.516
AT ITER 7000 NEW BEST:: SOT 498118 SOS 227511 HAS SOPS 220530 HAS SOUS 95678 HAS SOUPS 94709 WITH SCORE 94936.511
AT ITER 7032 NEW BEST:: SOT 498114 SOS 227507 HAS SOPS 220526 HAS SOUS 95633 HAS SOUPS 94664 WITH SCORE 94891.507
AT ITER 7046 NEW BEST:: SOT 498094 SOS 227514 HAS SOPS 220431 HAS SOUS 95556 HAS SOUPS 94587 WITH SCORE 94814.514
AT ITER 7066 NEW BEST:: SOT 497955 SOS 227391 HAS SOPS 220308 HAS SOUS 95516 HAS SOUPS 94547 WITH SCORE 94774.391
AT ITER 7108 NEW BEST:: SOT 497859 SOS 226914 HAS SOPS 219831 HAS SOUS 95346 HAS SOUPS 94377 WITH SCORE 94603.914
AT ITER 7114 NEW BEST:: SOT 497853 SOS 226904 HAS SOPS 219821 HAS SOUS 95336 HAS SOUPS 94367 WITH SCORE 94593.904
AT ITER 7132 NEW BEST:: SOT 498981 SOS 228060 HAS SOPS 220977 HAS SOUS 95190 HAS SOUPS 94221 WITH SCORE 94449.06
AT ITER 7159 NEW BEST:: SOT 498757 SOS 227887 HAS SOPS 220804 HAS SOUS 94940 HAS SOUPS 93971 WITH SCORE 94198.887
AT ITER 7194 NEW BEST:: SOT 498745 SOS 227875 HAS SOPS 220792 HAS SOUS 94916 HAS SOUPS 93947 WITH SCORE 94174.875
AT ITER 7210 NEW BEST:: SOT 498745 SOS 227875 HAS SOPS 220792 HAS SOUS 94904 HAS SOUPS 93935 WITH SCORE 94162.875
AT ITER 7217 NEW BEST:: SOT 498587 SOS 227579 HAS SOPS 220496 HAS SOUS 94654 HAS SOUPS 93685 WITH SCORE 93912.579
AT ITER 7229 NEW BEST:: SOT 498557 SOS 227549 HAS SOPS 220466 HAS SOUS 94594 HAS SOUPS 93625 WITH SCORE 93852.549
AT ITER 7233 NEW BEST:: SOT 498550 SOS 227551 HAS SOPS 220468 HAS SOUS 94569 HAS SOUPS 93600 WITH SCORE 93827.551
AT ITER 7257 NEW BEST:: SOT 498546 SOS 227545 HAS SOPS 220462 HAS SOUS 94563 HAS SOUPS 93594 WITH SCORE 93821.545
AT ITER 7274 NEW BEST:: SOT 498510 SOS 227473 HAS SOPS 220372 HAS SOUS 94491 HAS SOUPS 93522 WITH SCORE 93749.473
AT ITER 7283 NEW BEST:: SOT 498579 SOS 227454 HAS SOPS 220353 HAS SOUS 94438 HAS SOUPS 93469 WITH SCORE 93696.454
AT ITER 7307 NEW BEST:: SOT 498464 SOS 227363 HAS SOPS 220262 HAS SOUS 94369 HAS SOUPS 93400 WITH SCORE 93627.363
AT ITER 7326 NEW BEST:: SOT 498436 SOS 227335 HAS SOPS 220234 HAS SOUS 94327 HAS SOUPS 93358 WITH SCORE 93585.335
AT ITER 7331 NEW BEST:: SOT 498335 SOS 227209 HAS SOPS 220108 HAS SOUS 94248 HAS SOUPS 93279 WITH SCORE 93506.209
AT ITER 7332 NEW BEST:: SOT 498330 SOS 227181 HAS SOPS 220080 HAS SOUS 94220 HAS SOUPS 93251 WITH SCORE 93478.181
AT ITER 7350 NEW BEST:: SOT 498301 SOS 227135 HAS SOPS 220055 HAS SOUS 94099 HAS SOUPS 93151 WITH SCORE 93378.135
AT ITER 7450 NEW BEST:: SOT 498249 SOS 227110 HAS SOPS 220030 HAS SOUS 94074 HAS SOUPS 93126 WITH SCORE 93353.11
AT ITER 7474 NEW BEST:: SOT 498214 SOS 227075 HAS SOPS 219995 HAS SOUS 94027 HAS SOUPS 93079 WITH SCORE 93306.075
AT ITER 7523 NEW BEST:: SOT 498220 SOS 227043 HAS SOPS 219963 HAS SOUS 94017 HAS SOUPS 93069 WITH SCORE 93296.043
AT ITER 7534 NEW BEST:: SOT 498189 SOS 227012 HAS SOPS 219932 HAS SOUS 93955 HAS SOUPS 93007 WITH SCORE 93234.012
AT ITER 7575 NEW BEST:: SOT 498167 SOS 226152 HAS SOPS 219072 HAS SOUS 93904 HAS SOUPS 92956 WITH SCORE 93182.152
AT ITER 7600 NEW BEST:: SOT 498104 SOS 226089 HAS SOPS 219009 HAS SOUS 93844 HAS SOUPS 92896 WITH SCORE 93122.089
AT ITER 7611 NEW BEST:: SOT 498095 SOS 226070 HAS SOPS 218990 HAS SOUS 93829 HAS SOUPS 92881 WITH SCORE 93107.07
AT ITER 7612 NEW BEST:: SOT 498086 SOS 226088 HAS SOPS 219008 HAS SOUS 93814 HAS SOUPS 92866 WITH SCORE 93092.088
AT ITER 7613 NEW BEST:: SOT 498166 SOS 226168 HAS SOPS 219088 HAS SOUS 93796 HAS SOUPS 92848 WITH SCORE 93074.168
AT ITER 7635 NEW BEST:: SOT 498156 SOS 226158 HAS SOPS 219078 HAS SOUS 93782 HAS SOUPS 92834 WITH SCORE 93060.158
AT ITER 7663 NEW BEST:: SOT 498391 SOS 226388 HAS SOPS 219308 HAS SOUS 93777 HAS SOUPS 92829 WITH SCORE 93055.388
AT ITER 7702 NEW BEST:: SOT 498267 SOS 226264 HAS SOPS 219190 HAS SOUS 93725 HAS SOUPS 92777 WITH SCORE 93003.264
AT ITER 7704 NEW BEST:: SOT 498253 SOS 226250 HAS SOPS 219176 HAS SOUS 93666 HAS SOUPS 92718 WITH SCORE 92944.25
AT ITER 7709 NEW BEST:: SOT 498252 SOS 226248 HAS SOPS 219174 HAS SOUS 93664 HAS SOUPS 92716 WITH SCORE 92942.248
AT ITER 7737 NEW BEST:: SOT 498030 SOS 226026 HAS SOPS 218952 HAS SOUS 93371 HAS SOUPS 92423 WITH SCORE 92649.026
AT ITER 7738 NEW BEST:: SOT 498070 SOS 226001 HAS SOPS 218927 HAS SOUS 93360 HAS SOUPS 92412 WITH SCORE 92638.001
AT ITER 7771 NEW BEST:: SOT 498052 SOS 225983 HAS SOPS 218909 HAS SOUS 93349 HAS SOUPS 92401 WITH SCORE 92626.983
AT ITER 7778 NEW BEST:: SOT 498045 SOS 225976 HAS SOPS 218902 HAS SOUS 93340 HAS SOUPS 92392 WITH SCORE 92617.976
AT ITER 7834 NEW BEST:: SOT 498019 SOS 225950 HAS SOPS 218876 HAS SOUS 93335 HAS SOUPS 92387 WITH SCORE 92612.95
AT ITER 7863 NEW BEST:: SOT 497810 SOS 226182 HAS SOPS 219162 HAS SOUS 93322 HAS SOUPS 92374 WITH SCORE 92600.182
AT ITER 7905 NEW BEST:: SOT 497819 SOS 226191 HAS SOPS 219171 HAS SOUS 93319 HAS SOUPS 92371 WITH SCORE 92597.191
AT ITER 7906 NEW BEST:: SOT 497733 SOS 226062 HAS SOPS 219042 HAS SOUS 93190 HAS SOUPS 92242 WITH SCORE 92468.062
AT ITER 7912 NEW BEST:: SOT 497753 SOS 226250 HAS SOPS 219228 HAS SOUS 93167 HAS SOUPS 92219 WITH SCORE 92445.25
AT ITER 7981 NEW BEST:: SOT 497753 SOS 226222 HAS SOPS 219200 HAS SOUS 93167 HAS SOUPS 92219 WITH SCORE 92445.222
AT ITER 7982 NEW BEST:: SOT 497747 SOS 226207 HAS SOPS 219185 HAS SOUS 93158 HAS SOUPS 92210 WITH SCORE 92436.207
AT ITER 7985 NEW BEST:: SOT 497767 SOS 225784 HAS SOPS 218762 HAS SOUS 93009 HAS SOUPS 92061 WITH SCORE 92286.784
AT ITER 8012 NEW BEST:: SOT 497741 SOS 225758 HAS SOPS 218736 HAS SOUS 92992 HAS SOUPS 92044 WITH SCORE 92269.758
AT ITER 8018 NEW BEST:: SOT 497741 SOS 224791 HAS SOPS 217769 HAS SOUS 92992 HAS SOUPS 92044 WITH SCORE 92268.791
AT ITER 8048 NEW BEST:: SOT 497747 SOS 224794 HAS SOPS 217772 HAS SOUS 92989 HAS SOUPS 92041 WITH SCORE 92265.794
AT ITER 8088 NEW BEST:: SOT 497524 SOS 224654 HAS SOPS 217632 HAS SOUS 92959 HAS SOUPS 92011 WITH SCORE 92235.654
AT ITER 8110 NEW BEST:: SOT 497524 SOS 224540 HAS SOPS 217518 HAS SOUS 92949 HAS SOUPS 92001 WITH SCORE 92225.54
AT ITER 8114 NEW BEST:: SOT 497523 SOS 224539 HAS SOPS 217517 HAS SOUS 92948 HAS SOUPS 92000 WITH SCORE 92224.539
AT ITER 8144 NEW BEST:: SOT 497514 SOS 224523 HAS SOPS 217501 HAS SOUS 92932 HAS SOUPS 91984 WITH SCORE 92208.523
AT ITER 8239 NEW BEST:: SOT 497508 SOS 224517 HAS SOPS 217495 HAS SOUS 92926 HAS SOUPS 91978 WITH SCORE 92202.517
AT ITER 8321 NEW BEST:: SOT 497508 SOS 224491 HAS SOPS 217469 HAS SOUS 92926 HAS SOUPS 91978 WITH SCORE 92202.491
AT ITER 8347 NEW BEST:: SOT 497541 SOS 224483 HAS SOPS 217461 HAS SOUS 92918 HAS SOUPS 91970 WITH SCORE 92194.483
AT ITER 8357 NEW BEST:: SOT 497524 SOS 224466 HAS SOPS 217444 HAS SOUS 92901 HAS SOUPS 91953 WITH SCORE 92177.466
AT ITER 8381 NEW BEST:: SOT 497454 SOS 224395 HAS SOPS 217373 HAS SOUS 92865 HAS SOUPS 91917 WITH SCORE 92141.395
AT ITER 8399 NEW BEST:: SOT 497518 SOS 224446 HAS SOPS 217424 HAS SOUS 92857 HAS SOUPS 91909 WITH SCORE 92133.446
AT ITER 8409 NEW BEST:: SOT 497427 SOS 224411 HAS SOPS 217389 HAS SOUS 92827 HAS SOUPS 91879 WITH SCORE 92103.411
AT ITER 8438 NEW BEST:: SOT 497930 SOS 224853 HAS SOPS 217831 HAS SOUS 92691 HAS SOUPS 91743 WITH SCORE 91967.853
AT ITER 8441 NEW BEST:: SOT 497878 SOS 224801 HAS SOPS 217779 HAS SOUS 92613 HAS SOUPS 91665 WITH SCORE 91889.801
AT ITER 8459 NEW BEST:: SOT 497872 SOS 224789 HAS SOPS 217767 HAS SOUS 92601 HAS SOUPS 91653 WITH SCORE 91877.789
AT ITER 8545 NEW BEST:: SOT 497870 SOS 224706 HAS SOPS 217684 HAS SOUS 92580 HAS SOUPS 91632 WITH SCORE 91856.706
AT ITER 8556 NEW BEST:: SOT 497870 SOS 224700 HAS SOPS 217678 HAS SOUS 92571 HAS SOUPS 91623 WITH SCORE 91847.7
AT ITER 8633 NEW BEST:: SOT 497843 SOS 224597 HAS SOPS 217575 HAS SOUS 92508 HAS SOUPS 91560 WITH SCORE 91784.597
AT ITER 8641 NEW BEST:: SOT 497817 SOS 224658 HAS SOPS 217636 HAS SOUS 92497 HAS SOUPS 91549 WITH SCORE 91773.658
AT ITER 8656 NEW BEST:: SOT 497763 SOS 224604 HAS SOPS 217582 HAS SOUS 92453 HAS SOUPS 91505 WITH SCORE 91729.604
AT ITER 8694 NEW BEST:: SOT 497732 SOS 224573 HAS SOPS 217551 HAS SOUS 92418 HAS SOUPS 91470 WITH SCORE 91694.573
AT ITER 8706 NEW BEST:: SOT 497715 SOS 224556 HAS SOPS 217510 HAS SOUS 92386 HAS SOUPS 91438 WITH SCORE 91662.556
AT ITER 8744 NEW BEST:: SOT 497691 SOS 224508 HAS SOPS 217462 HAS SOUS 92338 HAS SOUPS 91390 WITH SCORE 91614.508
AT ITER 8779 NEW BEST:: SOT 496551 SOS 223368 HAS SOPS 216322 HAS SOUS 91768 HAS SOUPS 90820 WITH SCORE 91043.368
AT ITER 8800 NEW BEST:: SOT 496551 SOS 223364 HAS SOPS 216318 HAS SOUS 91768 HAS SOUPS 90820 WITH SCORE 91043.364
AT ITER 8899 NEW BEST:: SOT 496524 SOS 223337 HAS SOPS 216291 HAS SOUS 91681 HAS SOUPS 90733 WITH SCORE 90956.337
AT ITER 8937 NEW BEST:: SOT 496496 SOS 223309 HAS SOPS 216263 HAS SOUS 91503 HAS SOUPS 90555 WITH SCORE 90778.309
AT ITER 9042 NEW BEST:: SOT 496504 SOS 223245 HAS SOPS 216199 HAS SOUS 91431 HAS SOUPS 90483 WITH SCORE 90706.245
AT ITER 9050 NEW BEST:: SOT 496487 SOS 223215 HAS SOPS 216169 HAS SOUS 91401 HAS SOUPS 90453 WITH SCORE 90676.215
AT ITER 9055 NEW BEST:: SOT 496486 SOS 223210 HAS SOPS 216164 HAS SOUS 91399 HAS SOUPS 90451 WITH SCORE 90674.21
AT ITER 9063 NEW BEST:: SOT 496539 SOS 223255 HAS SOPS 216209 HAS SOUS 91353 HAS SOUPS 90405 WITH SCORE 90628.255
AT ITER 9091 NEW BEST:: SOT 496538 SOS 223254 HAS SOPS 216208 HAS SOUS 91317 HAS SOUPS 90369 WITH SCORE 90592.254
AT ITER 9127 NEW BEST:: SOT 496495 SOS 223211 HAS SOPS 216172 HAS SOUS 91289 HAS SOUPS 90341 WITH SCORE 90564.211
AT ITER 9137 NEW BEST:: SOT 496515 SOS 223231 HAS SOPS 216192 HAS SOUS 91268 HAS SOUPS 90320 WITH SCORE 90543.231
AT ITER 9139 NEW BEST:: SOT 496515 SOS 223180 HAS SOPS 216173 HAS SOUS 91255 HAS SOUPS 90307 WITH SCORE 90530.18
AT ITER 9144 NEW BEST:: SOT 496515 SOS 223107 HAS SOPS 216100 HAS SOUS 91241 HAS SOUPS 90293 WITH SCORE 90516.107
AT ITER 9148 NEW BEST:: SOT 496491 SOS 223083 HAS SOPS 216076 HAS SOUS 91117 HAS SOUPS 90169 WITH SCORE 90392.083
AT ITER 9169 NEW BEST:: SOT 496463 SOS 223054 HAS SOPS 216047 HAS SOUS 91088 HAS SOUPS 90140 WITH SCORE 90363.054
AT ITER 9178 NEW BEST:: SOT 496459 SOS 223050 HAS SOPS 216043 HAS SOUS 91080 HAS SOUPS 90132 WITH SCORE 90355.05
AT ITER 9220 NEW BEST:: SOT 496459 SOS 223050 HAS SOPS 216043 HAS SOUS 91065 HAS SOUPS 90117 WITH SCORE 90340.05
AT ITER 9225 NEW BEST:: SOT 496441 SOS 223035 HAS SOPS 216028 HAS SOUS 91017 HAS SOUPS 90069 WITH SCORE 90292.035
AT ITER 9246 NEW BEST:: SOT 496437 SOS 223023 HAS SOPS 216016 HAS SOUS 91013 HAS SOUPS 90065 WITH SCORE 90288.023
AT ITER 9275 NEW BEST:: SOT 496435 SOS 223020 HAS SOPS 216013 HAS SOUS 91011 HAS SOUPS 90063 WITH SCORE 90286.02
AT ITER 9337 NEW BEST:: SOT 496412 SOS 222997 HAS SOPS 215990 HAS SOUS 90966 HAS SOUPS 90018 WITH SCORE 90240.997
AT ITER 9346 NEW BEST:: SOT 496334 SOS 222919 HAS SOPS 215923 HAS SOUS 90942 HAS SOUPS 89994 WITH SCORE 90216.919
AT ITER 9385 NEW BEST:: SOT 496334 SOS 222919 HAS SOPS 215923 HAS SOUS 90918 HAS SOUPS 89970 WITH SCORE 90192.919
AT ITER 9424 NEW BEST:: SOT 496306 SOS 222891 HAS SOPS 215895 HAS SOUS 90758 HAS SOUPS 89810 WITH SCORE 90032.891
AT ITER 9436 NEW BEST:: SOT 496306 SOS 222059 HAS SOPS 215063 HAS SOUS 90756 HAS SOUPS 89808 WITH SCORE 90030.059
AT ITER 9441 NEW BEST:: SOT 496296 SOS 222033 HAS SOPS 215037 HAS SOUS 90754 HAS SOUPS 89806 WITH SCORE 90028.033
AT ITER 9451 NEW BEST:: SOT 496283 SOS 221938 HAS SOPS 214942 HAS SOUS 90730 HAS SOUPS 89782 WITH SCORE 90003.938
AT ITER 9460 NEW BEST:: SOT 496280 SOS 221934 HAS SOPS 214938 HAS SOUS 90724 HAS SOUPS 89776 WITH SCORE 89997.934
AT ITER 9465 NEW BEST:: SOT 496288 SOS 221937 HAS SOPS 214941 HAS SOUS 90711 HAS SOUPS 89763 WITH SCORE 89984.937
AT ITER 9473 NEW BEST:: SOT 496259 SOS 221889 HAS SOPS 214893 HAS SOUS 90663 HAS SOUPS 89715 WITH SCORE 89936.889
AT ITER 9499 NEW BEST:: SOT 496258 SOS 221888 HAS SOPS 214892 HAS SOUS 90601 HAS SOUPS 89653 WITH SCORE 89874.888
AT ITER 9503 NEW BEST:: SOT 496199 SOS 221693 HAS SOPS 214697 HAS SOUS 90562 HAS SOUPS 89614 WITH SCORE 89835.693
AT ITER 9545 NEW BEST:: SOT 496263 SOS 221728 HAS SOPS 214732 HAS SOUS 90555 HAS SOUPS 89607 WITH SCORE 89828.728
AT ITER 9555 NEW BEST:: SOT 496071 SOS 221584 HAS SOPS 214588 HAS SOUS 90411 HAS SOUPS 89463 WITH SCORE 89684.584
AT ITER 9569 NEW BEST:: SOT 496071 SOS 221584 HAS SOPS 214588 HAS SOUS 90408 HAS SOUPS 89460 WITH SCORE 89681.584
AT ITER 9573 NEW BEST:: SOT 496011 SOS 221524 HAS SOPS 214528 HAS SOUS 90315 HAS SOUPS 89367 WITH SCORE 89588.524
AT ITER 9597 NEW BEST:: SOT 495992 SOS 221505 HAS SOPS 214509 HAS SOUS 90297 HAS SOUPS 89349 WITH SCORE 89570.505
AT ITER 9617 NEW BEST:: SOT 495955 SOS 221468 HAS SOPS 214472 HAS SOUS 90260 HAS SOUPS 89312 WITH SCORE 89533.468
AT ITER 9645 NEW BEST:: SOT 495949 SOS 221462 HAS SOPS 214466 HAS SOUS 90248 HAS SOUPS 89300 WITH SCORE 89521.462
AT ITER 9660 NEW BEST:: SOT 495695 SOS 221208 HAS SOPS 214212 HAS SOUS 89853 HAS SOUPS 88905 WITH SCORE 89126.208
AT ITER 9665 NEW BEST:: SOT 495730 SOS 221231 HAS SOPS 214235 HAS SOUS 89738 HAS SOUPS 88790 WITH SCORE 89011.231
AT ITER 9687 NEW BEST:: SOT 495720 SOS 221221 HAS SOPS 214225 HAS SOUS 89734 HAS SOUPS 88786 WITH SCORE 89007.221
AT ITER 9724 NEW BEST:: SOT 495718 SOS 221219 HAS SOPS 214223 HAS SOUS 89729 HAS SOUPS 88781 WITH SCORE 89002.219
AT ITER 9729 NEW BEST:: SOT 495726 SOS 221235 HAS SOPS 214239 HAS SOUS 89726 HAS SOUPS 88778 WITH SCORE 88999.235
AT ITER 9732 NEW BEST:: SOT 495617 SOS 221126 HAS SOPS 214130 HAS SOUS 89615 HAS SOUPS 88667 WITH SCORE 88888.126
AT ITER 9733 NEW BEST:: SOT 495481 SOS 220751 HAS SOPS 213755 HAS SOUS 89445 HAS SOUPS 88497 WITH SCORE 88717.751
AT ITER 9742 NEW BEST:: SOT 495457 SOS 220727 HAS SOPS 213731 HAS SOUS 89397 HAS SOUPS 88449 WITH SCORE 88669.727
AT ITER 9789 NEW BEST:: SOT 495460 SOS 220730 HAS SOPS 213734 HAS SOUS 89264 HAS SOUPS 88316 WITH SCORE 88536.73
AT ITER 9793 NEW BEST:: SOT 495460 SOS 221085 HAS SOPS 214008 HAS SOUS 89211 HAS SOUPS 88263 WITH SCORE 88484.085
AT ITER 9802 NEW BEST:: SOT 495449 SOS 221074 HAS SOPS 213997 HAS SOUS 89189 HAS SOUPS 88241 WITH SCORE 88462.074
AT ITER 9803 NEW BEST:: SOT 495429 SOS 221051 HAS SOPS 213974 HAS SOUS 89179 HAS SOUPS 88231 WITH SCORE 88452.051
AT ITER 9849 NEW BEST:: SOT 495380 SOS 221014 HAS SOPS 213937 HAS SOUS 89139 HAS SOUPS 88191 WITH SCORE 88412.014
AT ITER 9875 NEW BEST:: SOT 495336 SOS 220288 HAS SOPS 213211 HAS SOUS 89057 HAS SOUPS 88109 WITH SCORE 88329.288

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="PolyORBLF-PT-S02J06T08"
export BK_EXAMINATION="StateSpace"
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 PolyORBLF-PT-S02J06T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354700448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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