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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 11K Apr 12 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 12 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 11 04:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 11 04:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.3K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Apr 10 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 10 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 9 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.8K 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.7M 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 1589642716188

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

Filename model.pnml
Petri model created: 844 places, 1812 transitions, 8302 arcs.
AT ITER 0 NEW BEST:: SOT 924185 SOS 509863 HAS SOPS 502960 HAS SOUS 287439 HAS SOUPS 286947 WITH SCORE 287456.863
AT ITER 2 NEW BEST:: SOT 924124 SOS 509741 HAS SOPS 502838 HAS SOUS 287328 HAS SOUPS 286836 WITH SCORE 287345.741
AT ITER 28 NEW BEST:: SOT 924124 SOS 509725 HAS SOPS 502822 HAS SOUS 287312 HAS SOUPS 286820 WITH SCORE 287329.725
AT ITER 31 NEW BEST:: SOT 924124 SOS 509686 HAS SOPS 502783 HAS SOUS 287273 HAS SOUPS 286781 WITH SCORE 287290.686
AT ITER 38 NEW BEST:: SOT 920937 SOS 506613 HAS SOPS 499710 HAS SOUS 286024 HAS SOUPS 285532 WITH SCORE 286038.613
AT ITER 50 NEW BEST:: SOT 920871 SOS 506514 HAS SOPS 499611 HAS SOUS 285914 HAS SOUPS 285422 WITH SCORE 285928.514
AT ITER 64 NEW BEST:: SOT 920871 SOS 506514 HAS SOPS 499611 HAS SOUS 285906 HAS SOUPS 285414 WITH SCORE 285920.514
AT ITER 67 NEW BEST:: SOT 920780 SOS 506995 HAS SOPS 500121 HAS SOUS 285815 HAS SOUPS 285323 WITH SCORE 285829.995
AT ITER 71 NEW BEST:: SOT 920710 SOS 506391 HAS SOPS 499517 HAS SOUS 285791 HAS SOUPS 285299 WITH SCORE 285805.391
AT ITER 87 NEW BEST:: SOT 920686 SOS 506367 HAS SOPS 499485 HAS SOUS 285761 HAS SOUPS 285264 WITH SCORE 285770.367
AT ITER 101 NEW BEST:: SOT 920629 SOS 506253 HAS SOPS 499371 HAS SOUS 285614 HAS SOUPS 285117 WITH SCORE 285623.253
AT ITER 104 NEW BEST:: SOT 920495 SOS 506808 HAS SOPS 499949 HAS SOUS 285432 HAS SOUPS 284935 WITH SCORE 285441.808
AT ITER 106 NEW BEST:: SOT 919535 SOS 506008 HAS SOPS 499149 HAS SOUS 284534 HAS SOUPS 284037 WITH SCORE 284543.008
AT ITER 108 NEW BEST:: SOT 919671 SOS 506085 HAS SOPS 499226 HAS SOUS 284519 HAS SOUPS 284022 WITH SCORE 284528.085
AT ITER 109 NEW BEST:: SOT 918662 SOS 505237 HAS SOPS 498378 HAS SOUS 283929 HAS SOUPS 283432 WITH SCORE 283937.237
AT ITER 116 NEW BEST:: SOT 918437 SOS 505012 HAS SOPS 498153 HAS SOUS 283671 HAS SOUPS 283174 WITH SCORE 283679.012
AT ITER 126 NEW BEST:: SOT 909558 SOS 496460 HAS SOPS 489601 HAS SOUS 280285 HAS SOUPS 279788 WITH SCORE 280284.46
AT ITER 128 NEW BEST:: SOT 909511 SOS 496366 HAS SOPS 489507 HAS SOUS 280098 HAS SOUPS 279601 WITH SCORE 280097.366
AT ITER 134 NEW BEST:: SOT 909478 SOS 496300 HAS SOPS 489441 HAS SOUS 280032 HAS SOUPS 279535 WITH SCORE 280031.3
AT ITER 146 NEW BEST:: SOT 909464 SOS 496286 HAS SOPS 489427 HAS SOUS 280018 HAS SOUPS 279521 WITH SCORE 280017.286
AT ITER 175 NEW BEST:: SOT 909512 SOS 496122 HAS SOPS 489263 HAS SOUS 279854 HAS SOUPS 279357 WITH SCORE 279853.122
AT ITER 184 NEW BEST:: SOT 909455 SOS 496008 HAS SOPS 489149 HAS SOUS 279717 HAS SOUPS 279220 WITH SCORE 279716.008
AT ITER 187 NEW BEST:: SOT 909429 SOS 495956 HAS SOPS 489097 HAS SOUS 279674 HAS SOUPS 279177 WITH SCORE 279672.956
AT ITER 190 NEW BEST:: SOT 909429 SOS 495956 HAS SOPS 489087 HAS SOUS 279654 HAS SOUPS 279157 WITH SCORE 279652.956
AT ITER 194 NEW BEST:: SOT 909393 SOS 495884 HAS SOPS 489015 HAS SOUS 279654 HAS SOUPS 279157 WITH SCORE 279652.884
AT ITER 210 NEW BEST:: SOT 909384 SOS 495866 HAS SOPS 488997 HAS SOUS 279636 HAS SOUPS 279139 WITH SCORE 279634.866
AT ITER 248 NEW BEST:: SOT 909366 SOS 495830 HAS SOPS 488961 HAS SOUS 279582 HAS SOUPS 279085 WITH SCORE 279580.83
AT ITER 252 NEW BEST:: SOT 908830 SOS 495357 HAS SOPS 488488 HAS SOUS 279099 HAS SOUPS 278602 WITH SCORE 279097.357
AT ITER 257 NEW BEST:: SOT 908696 SOS 495557 HAS SOPS 488836 HAS SOUS 279093 HAS SOUPS 278596 WITH SCORE 279091.557
AT ITER 258 NEW BEST:: SOT 900072 SOS 492453 HAS SOPS 485732 HAS SOUS 276020 HAS SOUPS 275523 WITH SCORE 276015.453
AT ITER 259 NEW BEST:: SOT 900002 SOS 491833 HAS SOPS 485112 HAS SOUS 276000 HAS SOUPS 275503 WITH SCORE 275994.833
AT ITER 264 NEW BEST:: SOT 900081 SOS 491912 HAS SOPS 485191 HAS SOUS 274285 HAS SOUPS 273788 WITH SCORE 274279.912
AT ITER 271 NEW BEST:: SOT 896861 SOS 488920 HAS SOPS 482199 HAS SOUS 273306 HAS SOUPS 272809 WITH SCORE 273297.92
AT ITER 291 NEW BEST:: SOT 893392 SOS 485522 HAS SOPS 478801 HAS SOUS 270013 HAS SOUPS 269516 WITH SCORE 270001.522
AT ITER 293 NEW BEST:: SOT 893408 SOS 485513 HAS SOPS 478792 HAS SOUS 270004 HAS SOUPS 269507 WITH SCORE 269992.513
AT ITER 299 NEW BEST:: SOT 891248 SOS 483425 HAS SOPS 476704 HAS SOUS 269068 HAS SOUPS 268571 WITH SCORE 269054.425
AT ITER 306 NEW BEST:: SOT 891286 SOS 483463 HAS SOPS 476742 HAS SOUS 268979 HAS SOUPS 268482 WITH SCORE 268965.463
AT ITER 308 NEW BEST:: SOT 891121 SOS 483298 HAS SOPS 476577 HAS SOUS 268169 HAS SOUPS 267672 WITH SCORE 268155.298
AT ITER 315 NEW BEST:: SOT 891038 SOS 483257 HAS SOPS 476536 HAS SOUS 268128 HAS SOUPS 267631 WITH SCORE 268114.257
AT ITER 323 NEW BEST:: SOT 890948 SOS 484632 HAS SOPS 477874 HAS SOUS 267890 HAS SOUPS 267393 WITH SCORE 267877.632
AT ITER 328 NEW BEST:: SOT 890928 SOS 484612 HAS SOPS 477854 HAS SOUS 267870 HAS SOUPS 267373 WITH SCORE 267857.612
AT ITER 330 NEW BEST:: SOT 890898 SOS 484582 HAS SOPS 477824 HAS SOUS 267840 HAS SOUPS 267343 WITH SCORE 267827.582
AT ITER 331 NEW BEST:: SOT 890898 SOS 484603 HAS SOPS 477845 HAS SOUS 267824 HAS SOUPS 267327 WITH SCORE 267811.603
AT ITER 336 NEW BEST:: SOT 890810 SOS 484515 HAS SOPS 477757 HAS SOUS 267631 HAS SOUPS 267134 WITH SCORE 267618.515
AT ITER 344 NEW BEST:: SOT 890746 SOS 484387 HAS SOPS 477629 HAS SOUS 267439 HAS SOUPS 266942 WITH SCORE 267426.387
AT ITER 353 NEW BEST:: SOT 890521 SOS 484180 HAS SOPS 477422 HAS SOUS 267218 HAS SOUPS 266721 WITH SCORE 267205.18
AT ITER 355 NEW BEST:: SOT 890598 SOS 484334 HAS SOPS 477576 HAS SOUS 267078 HAS SOUPS 266581 WITH SCORE 267065.334
AT ITER 366 NEW BEST:: SOT 888323 SOS 482147 HAS SOPS 475389 HAS SOUS 264742 HAS SOUPS 264245 WITH SCORE 264727.147
AT ITER 370 NEW BEST:: SOT 887633 SOS 481434 HAS SOPS 474676 HAS SOUS 264397 HAS SOUPS 263900 WITH SCORE 264381.434
AT ITER 371 NEW BEST:: SOT 887633 SOS 481114 HAS SOPS 474356 HAS SOUS 264397 HAS SOUPS 263900 WITH SCORE 264381.114
AT ITER 376 NEW BEST:: SOT 886874 SOS 479806 HAS SOPS 473032 HAS SOUS 263244 HAS SOUPS 262747 WITH SCORE 263226.806
AT ITER 380 NEW BEST:: SOT 886800 SOS 479621 HAS SOPS 472847 HAS SOUS 263096 HAS SOUPS 262599 WITH SCORE 263078.621
AT ITER 382 NEW BEST:: SOT 886800 SOS 479645 HAS SOPS 472871 HAS SOUS 263072 HAS SOUPS 262575 WITH SCORE 263054.645
AT ITER 392 NEW BEST:: SOT 885999 SOS 478976 HAS SOPS 472202 HAS SOUS 262599 HAS SOUPS 262102 WITH SCORE 262580.976
AT ITER 394 NEW BEST:: SOT 885999 SOS 478927 HAS SOPS 472153 HAS SOUS 262592 HAS SOUPS 262095 WITH SCORE 262573.927
AT ITER 398 NEW BEST:: SOT 885470 SOS 478456 HAS SOPS 471682 HAS SOUS 262172 HAS SOUPS 261675 WITH SCORE 262153.456
AT ITER 399 NEW BEST:: SOT 885410 SOS 478306 HAS SOPS 471532 HAS SOUS 262052 HAS SOUPS 261555 WITH SCORE 262033.306
AT ITER 410 NEW BEST:: SOT 885410 SOS 478303 HAS SOPS 471529 HAS SOUS 262049 HAS SOUPS 261552 WITH SCORE 262030.303
AT ITER 423 NEW BEST:: SOT 885335 SOS 478228 HAS SOPS 471454 HAS SOUS 262035 HAS SOUPS 261538 WITH SCORE 262016.228
AT ITER 435 NEW BEST:: SOT 885314 SOS 478207 HAS SOPS 471433 HAS SOUS 262014 HAS SOUPS 261517 WITH SCORE 261995.207
AT ITER 446 NEW BEST:: SOT 885309 SOS 478197 HAS SOPS 471423 HAS SOUS 262004 HAS SOUPS 261507 WITH SCORE 261985.197
AT ITER 450 NEW BEST:: SOT 885252 SOS 478063 HAS SOPS 471289 HAS SOUS 261870 HAS SOUPS 261373 WITH SCORE 261851.063
AT ITER 458 NEW BEST:: SOT 885158 SOS 478365 HAS SOPS 471529 HAS SOUS 261506 HAS SOUPS 261009 WITH SCORE 261487.365
AT ITER 461 NEW BEST:: SOT 885144 SOS 478351 HAS SOPS 471515 HAS SOUS 261478 HAS SOUPS 260981 WITH SCORE 261459.351
AT ITER 471 NEW BEST:: SOT 885034 SOS 478395 HAS SOPS 471559 HAS SOUS 261449 HAS SOUPS 260952 WITH SCORE 261430.395
AT ITER 477 NEW BEST:: SOT 885024 SOS 478379 HAS SOPS 471543 HAS SOUS 261433 HAS SOUPS 260936 WITH SCORE 261414.379
AT ITER 487 NEW BEST:: SOT 882860 SOS 476173 HAS SOPS 469337 HAS SOUS 259991 HAS SOUPS 259494 WITH SCORE 259970.173
AT ITER 490 NEW BEST:: SOT 873813 SOS 469491 HAS SOPS 462655 HAS SOUS 256946 HAS SOUPS 256449 WITH SCORE 256918.491
AT ITER 495 NEW BEST:: SOT 873733 SOS 469411 HAS SOPS 462575 HAS SOUS 256786 HAS SOUPS 256289 WITH SCORE 256758.411
AT ITER 518 NEW BEST:: SOT 873648 SOS 469591 HAS SOPS 462939 HAS SOUS 256555 HAS SOUPS 256058 WITH SCORE 256527.591
AT ITER 520 NEW BEST:: SOT 873648 SOS 469071 HAS SOPS 462419 HAS SOUS 256555 HAS SOUPS 256058 WITH SCORE 256527.071
AT ITER 527 NEW BEST:: SOT 873423 SOS 468771 HAS SOPS 462119 HAS SOUS 255910 HAS SOUPS 255413 WITH SCORE 255881.771
AT ITER 528 NEW BEST:: SOT 872436 SOS 468052 HAS SOPS 461400 HAS SOUS 255894 HAS SOUPS 255397 WITH SCORE 255865.052
AT ITER 529 NEW BEST:: SOT 872364 SOS 467980 HAS SOPS 461328 HAS SOUS 255822 HAS SOUPS 255325 WITH SCORE 255792.98
AT ITER 537 NEW BEST:: SOT 872364 SOS 467980 HAS SOPS 461328 HAS SOUS 255821 HAS SOUPS 255324 WITH SCORE 255791.98
AT ITER 549 NEW BEST:: SOT 872336 SOS 467952 HAS SOPS 461300 HAS SOUS 254905 HAS SOUPS 254408 WITH SCORE 254875.952
AT ITER 551 NEW BEST:: SOT 862306 SOS 458714 HAS SOPS 451270 HAS SOUS 245063 HAS SOUPS 244378 WITH SCORE 244836.714
AT ITER 553 NEW BEST:: SOT 852985 SOS 450139 HAS SOPS 442695 HAS SOUS 241679 HAS SOUPS 240994 WITH SCORE 241444.139
AT ITER 557 NEW BEST:: SOT 853051 SOS 450407 HAS SOPS 442963 HAS SOUS 241539 HAS SOUPS 240854 WITH SCORE 241304.407
AT ITER 571 NEW BEST:: SOT 853017 SOS 450339 HAS SOPS 442895 HAS SOUS 241433 HAS SOUPS 240748 WITH SCORE 241198.339
AT ITER 575 NEW BEST:: SOT 850881 SOS 443093 HAS SOPS 435649 HAS SOUS 239674 HAS SOUPS 238989 WITH SCORE 239432.093
AT ITER 583 NEW BEST:: SOT 850883 SOS 443095 HAS SOPS 435651 HAS SOUS 239592 HAS SOUPS 238907 WITH SCORE 239350.095
AT ITER 591 NEW BEST:: SOT 850794 SOS 442861 HAS SOPS 435416 HAS SOUS 239414 HAS SOUPS 238729 WITH SCORE 239171.861
AT ITER 597 NEW BEST:: SOT 850794 SOS 442861 HAS SOPS 435416 HAS SOUS 239413 HAS SOUPS 238728 WITH SCORE 239170.861
AT ITER 605 NEW BEST:: SOT 850923 SOS 442990 HAS SOPS 435465 HAS SOUS 239454 HAS SOUPS 238693 WITH SCORE 239135.99
AT ITER 609 NEW BEST:: SOT 850995 SOS 443062 HAS SOPS 435475 HAS SOUS 239412 HAS SOUPS 238651 WITH SCORE 239094.062
AT ITER 613 NEW BEST:: SOT 850636 SOS 449661 HAS SOPS 442074 HAS SOUS 239232 HAS SOUPS 238471 WITH SCORE 238920.661
AT ITER 614 NEW BEST:: SOT 850573 SOS 449894 HAS SOPS 442503 HAS SOUS 238946 HAS SOUPS 238185 WITH SCORE 238634.894
AT ITER 624 NEW BEST:: SOT 850523 SOS 450193 HAS SOPS 442803 HAS SOUS 238924 HAS SOUPS 238163 WITH SCORE 238613.193
AT ITER 638 NEW BEST:: SOT 850523 SOS 450193 HAS SOPS 442803 HAS SOUS 238880 HAS SOUPS 238119 WITH SCORE 238569.193
AT ITER 643 NEW BEST:: SOT 850413 SOS 450230 HAS SOPS 442840 HAS SOUS 238610 HAS SOUPS 237849 WITH SCORE 238299.23
AT ITER 653 NEW BEST:: SOT 847442 SOS 448253 HAS SOPS 440863 HAS SOUS 238489 HAS SOUPS 237728 WITH SCORE 238176.253
AT ITER 654 NEW BEST:: SOT 847357 SOS 447820 HAS SOPS 440430 HAS SOUS 238284 HAS SOUPS 237523 WITH SCORE 237970.82
AT ITER 655 NEW BEST:: SOT 847331 SOS 447778 HAS SOPS 440388 HAS SOUS 238248 HAS SOUPS 237487 WITH SCORE 237934.778
AT ITER 690 NEW BEST:: SOT 847179 SOS 447606 HAS SOPS 440216 HAS SOUS 238222 HAS SOUPS 237461 WITH SCORE 237908.606
AT ITER 694 NEW BEST:: SOT 846896 SOS 447406 HAS SOPS 440016 HAS SOUS 238220 HAS SOUPS 237459 WITH SCORE 237906.406
AT ITER 701 NEW BEST:: SOT 846994 SOS 447350 HAS SOPS 439960 HAS SOUS 238161 HAS SOUPS 237400 WITH SCORE 237847.35
AT ITER 704 NEW BEST:: SOT 841684 SOS 442190 HAS SOPS 434800 HAS SOUS 236121 HAS SOUPS 235360 WITH SCORE 235802.19
AT ITER 710 NEW BEST:: SOT 841307 SOS 441874 HAS SOPS 434484 HAS SOUS 235717 HAS SOUPS 234956 WITH SCORE 235397.874
AT ITER 726 NEW BEST:: SOT 841127 SOS 441694 HAS SOPS 434304 HAS SOUS 234330 HAS SOUPS 233569 WITH SCORE 234010.694
AT ITER 738 NEW BEST:: SOT 840735 SOS 441318 HAS SOPS 433928 HAS SOUS 233884 HAS SOUPS 233123 WITH SCORE 233564.318
AT ITER 748 NEW BEST:: SOT 840581 SOS 440982 HAS SOPS 433592 HAS SOUS 233588 HAS SOUPS 232827 WITH SCORE 233267.982
AT ITER 772 NEW BEST:: SOT 840745 SOS 441146 HAS SOPS 433690 HAS SOUS 233586 HAS SOUPS 232825 WITH SCORE 233266.146
AT ITER 774 NEW BEST:: SOT 840569 SOS 440926 HAS SOPS 433470 HAS SOUS 232486 HAS SOUPS 231725 WITH SCORE 232165.926
AT ITER 779 NEW BEST:: SOT 840131 SOS 439945 HAS SOPS 432489 HAS SOUS 231917 HAS SOUPS 231156 WITH SCORE 231595.945
AT ITER 794 NEW BEST:: SOT 840030 SOS 439844 HAS SOPS 432388 HAS SOUS 231853 HAS SOUPS 231092 WITH SCORE 231531.844
AT ITER 804 NEW BEST:: SOT 839937 SOS 439756 HAS SOPS 432300 HAS SOUS 231835 HAS SOUPS 231074 WITH SCORE 231513.756
AT ITER 818 NEW BEST:: SOT 839698 SOS 438856 HAS SOPS 428520 HAS SOUS 231755 HAS SOUPS 230706 WITH SCORE 231144.856
AT ITER 822 NEW BEST:: SOT 839018 SOS 438311 HAS SOPS 427975 HAS SOUS 231185 HAS SOUPS 230136 WITH SCORE 230574.311
AT ITER 832 NEW BEST:: SOT 829172 SOS 451841 HAS SOPS 446243 HAS SOUS 223210 HAS SOUPS 222470 WITH SCORE 222921.841
AT ITER 836 NEW BEST:: SOT 829207 SOS 451876 HAS SOPS 446278 HAS SOUS 223160 HAS SOUPS 222420 WITH SCORE 222871.876
AT ITER 837 NEW BEST:: SOT 829125 SOS 451794 HAS SOPS 446196 HAS SOUS 223050 HAS SOUPS 222310 WITH SCORE 222761.794
AT ITER 840 NEW BEST:: SOT 829191 SOS 451860 HAS SOPS 446262 HAS SOUS 223043 HAS SOUPS 222303 WITH SCORE 222754.86
AT ITER 853 NEW BEST:: SOT 829039 SOS 451702 HAS SOPS 446104 HAS SOUS 223004 HAS SOUPS 222264 WITH SCORE 222715.702
AT ITER 857 NEW BEST:: SOT 830506 SOS 453169 HAS SOPS 447571 HAS SOUS 221835 HAS SOUPS 221095 WITH SCORE 221548.169
AT ITER 865 NEW BEST:: SOT 830363 SOS 453048 HAS SOPS 447450 HAS SOUS 221648 HAS SOUPS 220908 WITH SCORE 221361.048
AT ITER 868 NEW BEST:: SOT 826294 SOS 450938 HAS SOPS 445340 HAS SOUS 221017 HAS SOUPS 220277 WITH SCORE 220727.938
AT ITER 869 NEW BEST:: SOT 825900 SOS 450611 HAS SOPS 445013 HAS SOUS 220623 HAS SOUPS 219883 WITH SCORE 220333.611
AT ITER 875 NEW BEST:: SOT 825857 SOS 450568 HAS SOPS 444970 HAS SOUS 220566 HAS SOUPS 219826 WITH SCORE 220276.568
AT ITER 882 NEW BEST:: SOT 825811 SOS 450568 HAS SOPS 444970 HAS SOUS 220474 HAS SOUPS 219734 WITH SCORE 220184.568
AT ITER 893 NEW BEST:: SOT 825811 SOS 450411 HAS SOPS 444682 HAS SOUS 220317 HAS SOUPS 219577 WITH SCORE 220027.411
AT ITER 916 NEW BEST:: SOT 825795 SOS 450395 HAS SOPS 444666 HAS SOUS 220308 HAS SOUPS 219568 WITH SCORE 220018.395
AT ITER 919 NEW BEST:: SOT 825811 SOS 450411 HAS SOPS 444682 HAS SOUS 220266 HAS SOUPS 219526 WITH SCORE 219976.411
AT ITER 921 NEW BEST:: SOT 825791 SOS 450371 HAS SOPS 444642 HAS SOUS 220226 HAS SOUPS 219486 WITH SCORE 219936.371
AT ITER 930 NEW BEST:: SOT 825710 SOS 450243 HAS SOPS 444514 HAS SOUS 220020 HAS SOUPS 219280 WITH SCORE 219730.243
AT ITER 937 NEW BEST:: SOT 825713 SOS 450087 HAS SOPS 444357 HAS SOUS 219942 HAS SOUPS 219202 WITH SCORE 219652.087
AT ITER 946 NEW BEST:: SOT 825440 SOS 449632 HAS SOPS 443902 HAS SOUS 219487 HAS SOUPS 218747 WITH SCORE 219196.632
AT ITER 953 NEW BEST:: SOT 825448 SOS 449640 HAS SOPS 443910 HAS SOUS 219459 HAS SOUPS 218719 WITH SCORE 219168.64
AT ITER 955 NEW BEST:: SOT 825404 SOS 449596 HAS SOPS 443866 HAS SOUS 219437 HAS SOUPS 218697 WITH SCORE 219146.596
AT ITER 960 NEW BEST:: SOT 825378 SOS 449570 HAS SOPS 443840 HAS SOUS 218443 HAS SOUPS 217703 WITH SCORE 218152.57
AT ITER 964 NEW BEST:: SOT 825574 SOS 449515 HAS SOPS 443696 HAS SOUS 218418 HAS SOUPS 217678 WITH SCORE 218127.515
AT ITER 984 NEW BEST:: SOT 825519 SOS 449423 HAS SOPS 443604 HAS SOUS 218326 HAS SOUPS 217586 WITH SCORE 218035.423
AT ITER 999 NEW BEST:: SOT 825513 SOS 449417 HAS SOPS 443598 HAS SOUS 218320 HAS SOUPS 217580 WITH SCORE 218029.417
AT ITER 1005 NEW BEST:: SOT 825468 SOS 448950 HAS SOPS 443131 HAS SOUS 218315 HAS SOUPS 217575 WITH SCORE 218023.95
AT ITER 1012 NEW BEST:: SOT 825355 SOS 448800 HAS SOPS 442981 HAS SOUS 218232 HAS SOUPS 217492 WITH SCORE 217940.8
AT ITER 1022 NEW BEST:: SOT 825333 SOS 448708 HAS SOPS 442889 HAS SOUS 218212 HAS SOUPS 217472 WITH SCORE 217920.708
AT ITER 1043 NEW BEST:: SOT 825292 SOS 450504 HAS SOPS 444707 HAS SOUS 217951 HAS SOUPS 217211 WITH SCORE 217661.504
AT ITER 1056 NEW BEST:: SOT 825292 SOS 450623 HAS SOPS 444826 HAS SOUS 217673 HAS SOUPS 216933 WITH SCORE 217383.623
AT ITER 1057 NEW BEST:: SOT 824953 SOS 449813 HAS SOPS 444016 HAS SOUS 217229 HAS SOUPS 216489 WITH SCORE 216938.813
AT ITER 1059 NEW BEST:: SOT 824883 SOS 449145 HAS SOPS 443348 HAS SOUS 217221 HAS SOUPS 216481 WITH SCORE 216930.145
AT ITER 1060 NEW BEST:: SOT 824732 SOS 448994 HAS SOPS 443197 HAS SOUS 216897 HAS SOUPS 216157 WITH SCORE 216605.994
AT ITER 1062 NEW BEST:: SOT 823611 SOS 447884 HAS SOPS 442087 HAS SOUS 215980 HAS SOUPS 215240 WITH SCORE 215687.884
AT ITER 1122 NEW BEST:: SOT 823611 SOS 447986 HAS SOPS 442189 HAS SOUS 215879 HAS SOUPS 215139 WITH SCORE 215586.986
AT ITER 1123 NEW BEST:: SOT 823550 SOS 447864 HAS SOPS 442067 HAS SOUS 215696 HAS SOUPS 214956 WITH SCORE 215403.864
AT ITER 1130 NEW BEST:: SOT 823087 SOS 447710 HAS SOPS 441913 HAS SOUS 215301 HAS SOUPS 214561 WITH SCORE 215008.71
AT ITER 1134 NEW BEST:: SOT 823087 SOS 447689 HAS SOPS 441892 HAS SOUS 215301 HAS SOUPS 214561 WITH SCORE 215008.689
AT ITER 1149 NEW BEST:: SOT 823100 SOS 447702 HAS SOPS 441851 HAS SOUS 215308 HAS SOUPS 214516 WITH SCORE 214963.702
AT ITER 1155 NEW BEST:: SOT 823149 SOS 447751 HAS SOPS 441900 HAS SOUS 215288 HAS SOUPS 214496 WITH SCORE 214943.751
AT ITER 1160 NEW BEST:: SOT 823079 SOS 447681 HAS SOPS 441830 HAS SOUS 215008 HAS SOUPS 214216 WITH SCORE 214663.681
AT ITER 1162 NEW BEST:: SOT 823114 SOS 447216 HAS SOPS 441365 HAS SOUS 214768 HAS SOUPS 213976 WITH SCORE 214423.216
AT ITER 1164 NEW BEST:: SOT 823106 SOS 447208 HAS SOPS 441357 HAS SOUS 214714 HAS SOUPS 213922 WITH SCORE 214369.208
AT ITER 1181 NEW BEST:: SOT 823095 SOS 446976 HAS SOPS 441125 HAS SOUS 214692 HAS SOUPS 213900 WITH SCORE 214346.976
AT ITER 1188 NEW BEST:: SOT 823083 SOS 446964 HAS SOPS 441113 HAS SOUS 214668 HAS SOUPS 213876 WITH SCORE 214322.964
AT ITER 1209 NEW BEST:: SOT 823079 SOS 446960 HAS SOPS 441109 HAS SOUS 214627 HAS SOUPS 213835 WITH SCORE 214281.96
AT ITER 1216 NEW BEST:: SOT 823079 SOS 446960 HAS SOPS 441109 HAS SOUS 214523 HAS SOUPS 213731 WITH SCORE 214177.96
AT ITER 1233 NEW BEST:: SOT 822996 SOS 446794 HAS SOPS 440943 HAS SOUS 214448 HAS SOUPS 213656 WITH SCORE 214102.794
AT ITER 1244 NEW BEST:: SOT 822658 SOS 446280 HAS SOPS 440429 HAS SOUS 214047 HAS SOUPS 213255 WITH SCORE 213701.28
AT ITER 1254 NEW BEST:: SOT 822658 SOS 446276 HAS SOPS 440425 HAS SOUS 214028 HAS SOUPS 213236 WITH SCORE 213682.276
AT ITER 1256 NEW BEST:: SOT 822658 SOS 446276 HAS SOPS 440425 HAS SOUS 214022 HAS SOUPS 213230 WITH SCORE 213676.276
AT ITER 1257 NEW BEST:: SOT 816984 SOS 443867 HAS SOPS 438016 HAS SOUS 212920 HAS SOUPS 212128 WITH SCORE 212571.867
AT ITER 1265 NEW BEST:: SOT 816964 SOS 443847 HAS SOPS 437976 HAS SOUS 212904 HAS SOUPS 212112 WITH SCORE 212555.847
AT ITER 1272 NEW BEST:: SOT 817012 SOS 443957 HAS SOPS 438086 HAS SOUS 212862 HAS SOUPS 212070 WITH SCORE 212513.957
AT ITER 1275 NEW BEST:: SOT 817000 SOS 443945 HAS SOPS 438054 HAS SOUS 212832 HAS SOUPS 212040 WITH SCORE 212483.945
AT ITER 1277 NEW BEST:: SOT 816980 SOS 443925 HAS SOPS 438034 HAS SOUS 212792 HAS SOUPS 212000 WITH SCORE 212443.925
AT ITER 1287 NEW BEST:: SOT 816464 SOS 443463 HAS SOPS 437572 HAS SOUS 212276 HAS SOUPS 211484 WITH SCORE 211927.463
AT ITER 1305 NEW BEST:: SOT 816522 SOS 443521 HAS SOPS 437610 HAS SOUS 212260 HAS SOUPS 211468 WITH SCORE 211911.521
AT ITER 1312 NEW BEST:: SOT 816522 SOS 442251 HAS SOPS 436340 HAS SOUS 212260 HAS SOUPS 211468 WITH SCORE 211910.251
AT ITER 1320 NEW BEST:: SOT 816512 SOS 442241 HAS SOPS 436330 HAS SOUS 212225 HAS SOUPS 211433 WITH SCORE 211875.241
AT ITER 1326 NEW BEST:: SOT 816512 SOS 442365 HAS SOPS 436454 HAS SOUS 211887 HAS SOUPS 211095 WITH SCORE 211537.365
AT ITER 1334 NEW BEST:: SOT 816807 SOS 442636 HAS SOPS 436725 HAS SOUS 211877 HAS SOUPS 211085 WITH SCORE 211527.636
AT ITER 1336 NEW BEST:: SOT 816767 SOS 442596 HAS SOPS 436685 HAS SOUS 211837 HAS SOUPS 211045 WITH SCORE 211487.596
AT ITER 1338 NEW BEST:: SOT 816699 SOS 442528 HAS SOPS 436617 HAS SOUS 211633 HAS SOUPS 210841 WITH SCORE 211283.528
AT ITER 1345 NEW BEST:: SOT 816389 SOS 442056 HAS SOPS 436145 HAS SOUS 211150 HAS SOUPS 210358 WITH SCORE 210800.056
AT ITER 1355 NEW BEST:: SOT 816389 SOS 441918 HAS SOPS 436007 HAS SOUS 211150 HAS SOUPS 210358 WITH SCORE 210799.918
AT ITER 1361 NEW BEST:: SOT 816171 SOS 441576 HAS SOPS 435665 HAS SOUS 210808 HAS SOUPS 210016 WITH SCORE 210457.576
AT ITER 1362 NEW BEST:: SOT 816822 SOS 442305 HAS SOPS 436394 HAS SOUS 210723 HAS SOUPS 209931 WITH SCORE 210373.305
AT ITER 1365 NEW BEST:: SOT 816697 SOS 442056 HAS SOPS 436145 HAS SOUS 210649 HAS SOUPS 209857 WITH SCORE 210299.056
AT ITER 1367 NEW BEST:: SOT 816688 SOS 442047 HAS SOPS 436136 HAS SOUS 210631 HAS SOUPS 209839 WITH SCORE 210281.047
AT ITER 1374 NEW BEST:: SOT 816437 SOS 441796 HAS SOPS 435885 HAS SOUS 210139 HAS SOUPS 209347 WITH SCORE 209788.796
AT ITER 1377 NEW BEST:: SOT 816429 SOS 441780 HAS SOPS 435869 HAS SOUS 210123 HAS SOUPS 209331 WITH SCORE 209772.78
AT ITER 1394 NEW BEST:: SOT 816343 SOS 441735 HAS SOPS 435824 HAS SOUS 210098 HAS SOUPS 209306 WITH SCORE 209747.735
AT ITER 1403 NEW BEST:: SOT 816342 SOS 441734 HAS SOPS 435823 HAS SOUS 210097 HAS SOUPS 209305 WITH SCORE 209746.734
AT ITER 1429 NEW BEST:: SOT 816246 SOS 441624 HAS SOPS 435713 HAS SOUS 209987 HAS SOUPS 209195 WITH SCORE 209636.624
AT ITER 1447 NEW BEST:: SOT 816165 SOS 441543 HAS SOPS 435632 HAS SOUS 209935 HAS SOUPS 209143 WITH SCORE 209584.543
AT ITER 1448 NEW BEST:: SOT 816165 SOS 441533 HAS SOPS 435622 HAS SOUS 209925 HAS SOUPS 209133 WITH SCORE 209574.533
AT ITER 1454 NEW BEST:: SOT 816127 SOS 441495 HAS SOPS 435584 HAS SOUS 209859 HAS SOUPS 209067 WITH SCORE 209508.495
AT ITER 1458 NEW BEST:: SOT 816105 SOS 441236 HAS SOPS 435325 HAS SOUS 209815 HAS SOUPS 209023 WITH SCORE 209464.236
AT ITER 1472 NEW BEST:: SOT 815947 SOS 440904 HAS SOPS 434993 HAS SOUS 209440 HAS SOUPS 208648 WITH SCORE 209088.904
AT ITER 1483 NEW BEST:: SOT 815965 SOS 440708 HAS SOPS 434814 HAS SOUS 209358 HAS SOUPS 208566 WITH SCORE 209006.708
AT ITER 1485 NEW BEST:: SOT 815841 SOS 441082 HAS SOPS 435218 HAS SOUS 209336 HAS SOUPS 208547 WITH SCORE 208988.082
AT ITER 1492 NEW BEST:: SOT 815828 SOS 441056 HAS SOPS 435192 HAS SOUS 209294 HAS SOUPS 208505 WITH SCORE 208946.056
AT ITER 1505 NEW BEST:: SOT 815730 SOS 439708 HAS SOPS 433844 HAS SOUS 209265 HAS SOUPS 208476 WITH SCORE 208915.708
AT ITER 1518 NEW BEST:: SOT 815725 SOS 439703 HAS SOPS 433839 HAS SOUS 209247 HAS SOUPS 208458 WITH SCORE 208897.703
AT ITER 1532 NEW BEST:: SOT 815707 SOS 439685 HAS SOPS 433813 HAS SOUS 209173 HAS SOUPS 208384 WITH SCORE 208823.685
AT ITER 1539 NEW BEST:: SOT 815665 SOS 439643 HAS SOPS 433757 HAS SOUS 209089 HAS SOUPS 208300 WITH SCORE 208739.643
AT ITER 1541 NEW BEST:: SOT 813066 SOS 437193 HAS SOPS 431307 HAS SOUS 206887 HAS SOUPS 206098 WITH SCORE 206535.193
AT ITER 1547 NEW BEST:: SOT 813066 SOS 437193 HAS SOPS 431307 HAS SOUS 206842 HAS SOUPS 206053 WITH SCORE 206490.193
AT ITER 1560 NEW BEST:: SOT 813046 SOS 437168 HAS SOPS 431282 HAS SOUS 206802 HAS SOUPS 206013 WITH SCORE 206450.168
AT ITER 1582 NEW BEST:: SOT 812957 SOS 437114 HAS SOPS 431228 HAS SOUS 206697 HAS SOUPS 205908 WITH SCORE 206345.114
AT ITER 1598 NEW BEST:: SOT 812742 SOS 436903 HAS SOPS 431017 HAS SOUS 206533 HAS SOUPS 205744 WITH SCORE 206180.903
AT ITER 1612 NEW BEST:: SOT 812718 SOS 436879 HAS SOPS 430969 HAS SOUS 206533 HAS SOUPS 205720 WITH SCORE 206156.879
AT ITER 1614 NEW BEST:: SOT 812694 SOS 436807 HAS SOPS 430873 HAS SOUS 206485 HAS SOUPS 205672 WITH SCORE 206108.807
AT ITER 1618 NEW BEST:: SOT 812530 SOS 436711 HAS SOPS 430777 HAS SOUS 206293 HAS SOUPS 205480 WITH SCORE 205916.711
AT ITER 1623 NEW BEST:: SOT 812541 SOS 420893 HAS SOPS 414959 HAS SOUS 205967 HAS SOUPS 205154 WITH SCORE 205574.893
AT ITER 1633 NEW BEST:: SOT 812511 SOS 420821 HAS SOPS 414887 HAS SOUS 205965 HAS SOUPS 205152 WITH SCORE 205572.821
AT ITER 1639 NEW BEST:: SOT 812121 SOS 420410 HAS SOPS 414476 HAS SOUS 205703 HAS SOUPS 204890 WITH SCORE 205310.41
AT ITER 1651 NEW BEST:: SOT 811339 SOS 419814 HAS SOPS 413880 HAS SOUS 205090 HAS SOUPS 204277 WITH SCORE 204696.814
AT ITER 1661 NEW BEST:: SOT 811228 SOS 419408 HAS SOPS 413475 HAS SOUS 204868 HAS SOUPS 204055 WITH SCORE 204474.408
AT ITER 1662 NEW BEST:: SOT 811098 SOS 419278 HAS SOPS 413345 HAS SOUS 204866 HAS SOUPS 204053 WITH SCORE 204472.278
AT ITER 1674 NEW BEST:: SOT 810967 SOS 419147 HAS SOPS 413214 HAS SOUS 204765 HAS SOUPS 203952 WITH SCORE 204371.147
AT ITER 1675 NEW BEST:: SOT 810907 SOS 419087 HAS SOPS 413154 HAS SOUS 204647 HAS SOUPS 203834 WITH SCORE 204253.087
AT ITER 1681 NEW BEST:: SOT 810907 SOS 419080 HAS SOPS 413147 HAS SOUS 204605 HAS SOUPS 203792 WITH SCORE 204211.08
AT ITER 1698 NEW BEST:: SOT 810830 SOS 419003 HAS SOPS 413070 HAS SOUS 204470 HAS SOUPS 203657 WITH SCORE 204076.003
AT ITER 1703 NEW BEST:: SOT 810804 SOS 418977 HAS SOPS 413044 HAS SOUS 204438 HAS SOUPS 203625 WITH SCORE 204043.977
AT ITER 1714 NEW BEST:: SOT 810663 SOS 418876 HAS SOPS 412943 HAS SOUS 203950 HAS SOUPS 203137 WITH SCORE 203555.876
AT ITER 1716 NEW BEST:: SOT 809971 SOS 418245 HAS SOPS 412312 HAS SOUS 203700 HAS SOUPS 202887 WITH SCORE 203305.245
AT ITER 1718 NEW BEST:: SOT 809867 SOS 418037 HAS SOPS 412052 HAS SOUS 203492 HAS SOUPS 202679 WITH SCORE 203097.037
AT ITER 1725 NEW BEST:: SOT 809525 SOS 417695 HAS SOPS 411710 HAS SOUS 203094 HAS SOUPS 202281 WITH SCORE 202698.695
AT ITER 1756 NEW BEST:: SOT 809510 SOS 417680 HAS SOPS 411695 HAS SOUS 203079 HAS SOUPS 202266 WITH SCORE 202683.68
AT ITER 1760 NEW BEST:: SOT 809260 SOS 415561 HAS SOPS 409563 HAS SOUS 202965 HAS SOUPS 202152 WITH SCORE 202567.561
AT ITER 1768 NEW BEST:: SOT 809337 SOS 415638 HAS SOPS 409640 HAS SOUS 202374 HAS SOUPS 201561 WITH SCORE 201976.638
AT ITER 1772 NEW BEST:: SOT 809360 SOS 415661 HAS SOPS 409643 HAS SOUS 202359 HAS SOUPS 201546 WITH SCORE 201961.661
AT ITER 1779 NEW BEST:: SOT 809290 SOS 415521 HAS SOPS 409503 HAS SOUS 202110 HAS SOUPS 201297 WITH SCORE 201712.521
AT ITER 1841 NEW BEST:: SOT 809290 SOS 415542 HAS SOPS 409524 HAS SOUS 202096 HAS SOUPS 201283 WITH SCORE 201698.542
AT ITER 1847 NEW BEST:: SOT 809274 SOS 415518 HAS SOPS 409500 HAS SOUS 202072 HAS SOUPS 201259 WITH SCORE 201674.518
AT ITER 1853 NEW BEST:: SOT 806560 SOS 412965 HAS SOPS 406947 HAS SOUS 199992 HAS SOUPS 199179 WITH SCORE 199591.965
AT ITER 1859 NEW BEST:: SOT 806522 SOS 412813 HAS SOPS 406785 HAS SOUS 199848 HAS SOUPS 199031 WITH SCORE 199443.813
AT ITER 1860 NEW BEST:: SOT 806556 SOS 412881 HAS SOPS 406853 HAS SOUS 199843 HAS SOUPS 199026 WITH SCORE 199438.881
AT ITER 1861 NEW BEST:: SOT 806556 SOS 412881 HAS SOPS 406853 HAS SOUS 199842 HAS SOUPS 199025 WITH SCORE 199437.881
AT ITER 1872 NEW BEST:: SOT 806556 SOS 412856 HAS SOPS 406828 HAS SOUS 199842 HAS SOUPS 199025 WITH SCORE 199437.856
AT ITER 1876 NEW BEST:: SOT 807225 SOS 410360 HAS SOPS 404332 HAS SOUS 199591 HAS SOUPS 198774 WITH SCORE 199184.36
AT ITER 1891 NEW BEST:: SOT 807243 SOS 410514 HAS SOPS 404486 HAS SOUS 199491 HAS SOUPS 198674 WITH SCORE 199084.514
AT ITER 1895 NEW BEST:: SOT 807146 SOS 410417 HAS SOPS 404389 HAS SOUS 199451 HAS SOUPS 198634 WITH SCORE 199044.417
AT ITER 1898 NEW BEST:: SOT 806750 SOS 410506 HAS SOPS 404556 HAS SOUS 198858 HAS SOUPS 198041 WITH SCORE 198451.506
AT ITER 1926 NEW BEST:: SOT 806740 SOS 410496 HAS SOPS 404546 HAS SOUS 198848 HAS SOUPS 198031 WITH SCORE 198441.496
AT ITER 1941 NEW BEST:: SOT 806452 SOS 410208 HAS SOPS 404258 HAS SOUS 198401 HAS SOUPS 197584 WITH SCORE 197994.208
AT ITER 1954 NEW BEST:: SOT 805385 SOS 409285 HAS SOPS 403335 HAS SOUS 198178 HAS SOUPS 197361 WITH SCORE 197770.285
AT ITER 1957 NEW BEST:: SOT 805379 SOS 409279 HAS SOPS 403329 HAS SOUS 198164 HAS SOUPS 197347 WITH SCORE 197756.279
AT ITER 1962 NEW BEST:: SOT 806022 SOS 409904 HAS SOPS 403954 HAS SOUS 197908 HAS SOUPS 197091 WITH SCORE 197500.904
AT ITER 1963 NEW BEST:: SOT 805961 SOS 409707 HAS SOPS 403757 HAS SOUS 197786 HAS SOUPS 196969 WITH SCORE 197378.707
AT ITER 1975 NEW BEST:: SOT 805861 SOS 409765 HAS SOPS 403815 HAS SOUS 197769 HAS SOUPS 196952 WITH SCORE 197361.765
AT ITER 1984 NEW BEST:: SOT 805199 SOS 409133 HAS SOPS 403183 HAS SOUS 197534 HAS SOUPS 196717 WITH SCORE 197126.133
AT ITER 2010 NEW BEST:: SOT 803272 SOS 407302 HAS SOPS 401352 HAS SOUS 196134 HAS SOUPS 195317 WITH SCORE 195724.302
AT ITER 2023 NEW BEST:: SOT 803272 SOS 407203 HAS SOPS 401253 HAS SOUS 196105 HAS SOUPS 195288 WITH SCORE 195695.203
AT ITER 2042 NEW BEST:: SOT 803270 SOS 407199 HAS SOPS 401249 HAS SOUS 196082 HAS SOUPS 195265 WITH SCORE 195672.199
AT ITER 2062 NEW BEST:: SOT 803262 SOS 407191 HAS SOPS 401241 HAS SOUS 196066 HAS SOUPS 195249 WITH SCORE 195656.191
AT ITER 2112 NEW BEST:: SOT 803233 SOS 407160 HAS SOPS 401210 HAS SOUS 196008 HAS SOUPS 195191 WITH SCORE 195598.16
AT ITER 2141 NEW BEST:: SOT 802219 SOS 406083 HAS SOPS 400133 HAS SOUS 194748 HAS SOUPS 193931 WITH SCORE 194337.083
AT ITER 2145 NEW BEST:: SOT 802219 SOS 406238 HAS SOPS 400288 HAS SOUS 194717 HAS SOUPS 193900 WITH SCORE 194306.238
AT ITER 2146 NEW BEST:: SOT 802134 SOS 406108 HAS SOPS 400158 HAS SOUS 194478 HAS SOUPS 193661 WITH SCORE 194067.108
AT ITER 2188 NEW BEST:: SOT 802081 SOS 406055 HAS SOPS 400105 HAS SOUS 194276 HAS SOUPS 193459 WITH SCORE 193865.055
AT ITER 2197 NEW BEST:: SOT 801985 SOS 405959 HAS SOPS 400009 HAS SOUS 194207 HAS SOUPS 193390 WITH SCORE 193795.959
AT ITER 2216 NEW BEST:: SOT 801819 SOS 405765 HAS SOPS 399815 HAS SOUS 193875 HAS SOUPS 193058 WITH SCORE 193463.765
AT ITER 2226 NEW BEST:: SOT 801799 SOS 405745 HAS SOPS 399795 HAS SOUS 193835 HAS SOUPS 193018 WITH SCORE 193423.745
AT ITER 2227 NEW BEST:: SOT 801799 SOS 405745 HAS SOPS 399795 HAS SOUS 193826 HAS SOUPS 193009 WITH SCORE 193414.745
AT ITER 2238 NEW BEST:: SOT 801734 SOS 405680 HAS SOPS 399730 HAS SOUS 193636 HAS SOUPS 192819 WITH SCORE 193224.68
AT ITER 2240 NEW BEST:: SOT 801574 SOS 400834 HAS SOPS 394884 HAS SOUS 193498 HAS SOUPS 192681 WITH SCORE 193081.834
AT ITER 2249 NEW BEST:: SOT 801398 SOS 400619 HAS SOPS 394669 HAS SOUS 193328 HAS SOUPS 192511 WITH SCORE 192911.619
AT ITER 2254 NEW BEST:: SOT 801303 SOS 400320 HAS SOPS 394370 HAS SOUS 193228 HAS SOUPS 192411 WITH SCORE 192811.32
AT ITER 2260 NEW BEST:: SOT 801064 SOS 398747 HAS SOPS 392797 HAS SOUS 193047 HAS SOUPS 192230 WITH SCORE 192628.747
AT ITER 2273 NEW BEST:: SOT 801001 SOS 398684 HAS SOPS 392734 HAS SOUS 192921 HAS SOUPS 192104 WITH SCORE 192502.684
AT ITER 2298 NEW BEST:: SOT 801093 SOS 398776 HAS SOPS 392826 HAS SOUS 192910 HAS SOUPS 192093 WITH SCORE 192491.776
AT ITER 2301 NEW BEST:: SOT 801586 SOS 399310 HAS SOPS 393360 HAS SOUS 192627 HAS SOUPS 191810 WITH SCORE 192209.31
AT ITER 2309 NEW BEST:: SOT 801067 SOS 398690 HAS SOPS 392740 HAS SOUS 192033 HAS SOUPS 191216 WITH SCORE 191614.69
AT ITER 2329 NEW BEST:: SOT 796577 SOS 394200 HAS SOPS 388250 HAS SOUS 191277 HAS SOUPS 190460 WITH SCORE 190854.2
AT ITER 2350 NEW BEST:: SOT 796535 SOS 394148 HAS SOPS 388198 HAS SOUS 191214 HAS SOUPS 190397 WITH SCORE 190791.148
AT ITER 2356 NEW BEST:: SOT 796409 SOS 393838 HAS SOPS 387888 HAS SOUS 191083 HAS SOUPS 190266 WITH SCORE 190659.838
AT ITER 2397 NEW BEST:: SOT 796409 SOS 393813 HAS SOPS 387863 HAS SOUS 191058 HAS SOUPS 190241 WITH SCORE 190634.813
AT ITER 2411 NEW BEST:: SOT 796324 SOS 393649 HAS SOPS 387698 HAS SOUS 190888 HAS SOUPS 190071 WITH SCORE 190464.649
AT ITER 2421 NEW BEST:: SOT 796334 SOS 393033 HAS SOPS 386721 HAS SOUS 190879 HAS SOUPS 190049 WITH SCORE 190442.033
AT ITER 2425 NEW BEST:: SOT 796236 SOS 392871 HAS SOPS 386559 HAS SOUS 190542 HAS SOUPS 189712 WITH SCORE 190104.871
AT ITER 2427 NEW BEST:: SOT 795823 SOS 392142 HAS SOPS 385830 HAS SOUS 189925 HAS SOUPS 189095 WITH SCORE 189487.142
AT ITER 2432 NEW BEST:: SOT 796183 SOS 391296 HAS SOPS 384984 HAS SOUS 189433 HAS SOUPS 188603 WITH SCORE 188994.296
AT ITER 2435 NEW BEST:: SOT 796176 SOS 391289 HAS SOPS 384977 HAS SOUS 189426 HAS SOUPS 188596 WITH SCORE 188987.289
AT ITER 2445 NEW BEST:: SOT 796065 SOS 391178 HAS SOPS 384866 HAS SOUS 189236 HAS SOUPS 188406 WITH SCORE 188797.178
AT ITER 2472 NEW BEST:: SOT 795582 SOS 390743 HAS SOPS 384431 HAS SOUS 188742 HAS SOUPS 187912 WITH SCORE 188302.743
AT ITER 2477 NEW BEST:: SOT 795572 SOS 390315 HAS SOPS 384003 HAS SOUS 188712 HAS SOUPS 187882 WITH SCORE 188272.315
AT ITER 2481 NEW BEST:: SOT 795554 SOS 390459 HAS SOPS 384168 HAS SOUS 188602 HAS SOUPS 187738 WITH SCORE 188128.459
AT ITER 2491 NEW BEST:: SOT 795554 SOS 390459 HAS SOPS 384168 HAS SOUS 188595 HAS SOUPS 187731 WITH SCORE 188121.459
AT ITER 2503 NEW BEST:: SOT 795162 SOS 390232 HAS SOPS 383941 HAS SOUS 188342 HAS SOUPS 187478 WITH SCORE 187868.232
AT ITER 2504 NEW BEST:: SOT 795162 SOS 390232 HAS SOPS 383941 HAS SOUS 188335 HAS SOUPS 187471 WITH SCORE 187861.232
AT ITER 2507 NEW BEST:: SOT 795128 SOS 390198 HAS SOPS 383907 HAS SOUS 188267 HAS SOUPS 187403 WITH SCORE 187793.198
AT ITER 2512 NEW BEST:: SOT 794813 SOS 391196 HAS SOPS 384185 HAS SOUS 187898 HAS SOUPS 186962 WITH SCORE 187353.196
AT ITER 2524 NEW BEST:: SOT 794739 SOS 391122 HAS SOPS 384111 HAS SOUS 187750 HAS SOUPS 186814 WITH SCORE 187205.122
AT ITER 2528 NEW BEST:: SOT 794844 SOS 391227 HAS SOPS 384216 HAS SOUS 187745 HAS SOUPS 186809 WITH SCORE 187200.227
AT ITER 2553 NEW BEST:: SOT 795124 SOS 391521 HAS SOPS 384510 HAS SOUS 187731 HAS SOUPS 186795 WITH SCORE 187186.521
AT ITER 2564 NEW BEST:: SOT 795899 SOS 392242 HAS SOPS 385231 HAS SOUS 187492 HAS SOUPS 186556 WITH SCORE 186948.242
AT ITER 2570 NEW BEST:: SOT 795882 SOS 392261 HAS SOPS 385250 HAS SOUS 187458 HAS SOUPS 186522 WITH SCORE 186914.261
AT ITER 2573 NEW BEST:: SOT 795848 SOS 392159 HAS SOPS 385148 HAS SOUS 187407 HAS SOUPS 186471 WITH SCORE 186863.159
AT ITER 2576 NEW BEST:: SOT 795412 SOS 391595 HAS SOPS 384584 HAS SOUS 186788 HAS SOUPS 185852 WITH SCORE 186243.595
AT ITER 2586 NEW BEST:: SOT 795391 SOS 391574 HAS SOPS 384563 HAS SOUS 186778 HAS SOUPS 185842 WITH SCORE 186233.574
AT ITER 2594 NEW BEST:: SOT 795373 SOS 392296 HAS SOPS 385312 HAS SOUS 186753 HAS SOUPS 185817 WITH SCORE 186209.296
AT ITER 2597 NEW BEST:: SOT 795386 SOS 392077 HAS SOPS 385093 HAS SOUS 186725 HAS SOUPS 185789 WITH SCORE 186181.077
AT ITER 2599 NEW BEST:: SOT 795176 SOS 391972 HAS SOPS 384988 HAS SOUS 186489 HAS SOUPS 185553 WITH SCORE 185944.972
AT ITER 2623 NEW BEST:: SOT 795168 SOS 391964 HAS SOPS 384980 HAS SOUS 186477 HAS SOUPS 185541 WITH SCORE 185932.964
AT ITER 2625 NEW BEST:: SOT 795105 SOS 391901 HAS SOPS 384917 HAS SOUS 186372 HAS SOUPS 185436 WITH SCORE 185827.901
AT ITER 2628 NEW BEST:: SOT 795145 SOS 391941 HAS SOPS 384957 HAS SOUS 186343 HAS SOUPS 185407 WITH SCORE 185798.941
AT ITER 2630 NEW BEST:: SOT 795032 SOS 392116 HAS SOPS 385132 HAS SOUS 186250 HAS SOUPS 185314 WITH SCORE 185706.116
AT ITER 2661 NEW BEST:: SOT 795068 SOS 392188 HAS SOPS 385204 HAS SOUS 186104 HAS SOUPS 185168 WITH SCORE 185560.188
AT ITER 2684 NEW BEST:: SOT 793758 SOS 390654 HAS SOPS 383670 HAS SOUS 185429 HAS SOUPS 184493 WITH SCORE 184883.654
AT ITER 2693 NEW BEST:: SOT 793676 SOS 390572 HAS SOPS 383588 HAS SOUS 185288 HAS SOUPS 184352 WITH SCORE 184742.572
AT ITER 2695 NEW BEST:: SOT 793656 SOS 390512 HAS SOPS 383528 HAS SOUS 185228 HAS SOUPS 184292 WITH SCORE 184682.512
AT ITER 2703 NEW BEST:: SOT 793588 SOS 390578 HAS SOPS 383674 HAS SOUS 185160 HAS SOUPS 184224 WITH SCORE 184614.578
AT ITER 2722 NEW BEST:: SOT 793622 SOS 390824 HAS SOPS 383947 HAS SOUS 185110 HAS SOUPS 184174 WITH SCORE 184564.824
AT ITER 2726 NEW BEST:: SOT 793571 SOS 390778 HAS SOPS 383901 HAS SOUS 185008 HAS SOUPS 184072 WITH SCORE 184462.778
AT ITER 2729 NEW BEST:: SOT 793571 SOS 390778 HAS SOPS 383901 HAS SOUS 184990 HAS SOUPS 184054 WITH SCORE 184444.778
AT ITER 2734 NEW BEST:: SOT 793577 SOS 390784 HAS SOPS 383907 HAS SOUS 184910 HAS SOUPS 183974 WITH SCORE 184364.784
AT ITER 2736 NEW BEST:: SOT 793561 SOS 390768 HAS SOPS 383891 HAS SOUS 184878 HAS SOUPS 183942 WITH SCORE 184332.768
AT ITER 2768 NEW BEST:: SOT 793456 SOS 390637 HAS SOPS 383760 HAS SOUS 184731 HAS SOUPS 183795 WITH SCORE 184185.637
AT ITER 2803 NEW BEST:: SOT 793301 SOS 390392 HAS SOPS 383515 HAS SOUS 184607 HAS SOUPS 183671 WITH SCORE 184061.392
AT ITER 2814 NEW BEST:: SOT 793275 SOS 390353 HAS SOPS 383476 HAS SOUS 184555 HAS SOUPS 183619 WITH SCORE 184009.353
AT ITER 2817 NEW BEST:: SOT 793166 SOS 390221 HAS SOPS 383327 HAS SOUS 184338 HAS SOUPS 183402 WITH SCORE 183792.221
AT ITER 2823 NEW BEST:: SOT 793100 SOS 390224 HAS SOPS 383330 HAS SOUS 184321 HAS SOUPS 183385 WITH SCORE 183775.224
AT ITER 2841 NEW BEST:: SOT 793085 SOS 390204 HAS SOPS 383310 HAS SOUS 184291 HAS SOUPS 183355 WITH SCORE 183745.204
AT ITER 2869 NEW BEST:: SOT 793069 SOS 390181 HAS SOPS 383287 HAS SOUS 184259 HAS SOUPS 183323 WITH SCORE 183713.181
AT ITER 2909 NEW BEST:: SOT 793008 SOS 390044 HAS SOPS 383180 HAS SOUS 183979 HAS SOUPS 183043 WITH SCORE 183433.044
AT ITER 2913 NEW BEST:: SOT 792918 SOS 389924 HAS SOPS 383060 HAS SOUS 183889 HAS SOUPS 182953 WITH SCORE 183342.924
AT ITER 2916 NEW BEST:: SOT 792914 SOS 389956 HAS SOPS 383092 HAS SOUS 183881 HAS SOUPS 182945 WITH SCORE 183334.956
AT ITER 2921 NEW BEST:: SOT 792947 SOS 389989 HAS SOPS 383125 HAS SOUS 183825 HAS SOUPS 182889 WITH SCORE 183278.989
AT ITER 2941 NEW BEST:: SOT 792945 SOS 389987 HAS SOPS 383123 HAS SOUS 183821 HAS SOUPS 182885 WITH SCORE 183274.987
AT ITER 2972 NEW BEST:: SOT 792845 SOS 387603 HAS SOPS 380739 HAS SOUS 183762 HAS SOUPS 182826 WITH SCORE 183213.603
AT ITER 2982 NEW BEST:: SOT 792847 SOS 383470 HAS SOPS 376606 HAS SOUS 183637 HAS SOUPS 182701 WITH SCORE 183084.47
AT ITER 2992 NEW BEST:: SOT 792890 SOS 383513 HAS SOPS 376649 HAS SOUS 183625 HAS SOUPS 182689 WITH SCORE 183072.513
AT ITER 3002 NEW BEST:: SOT 792821 SOS 383479 HAS SOPS 376615 HAS SOUS 183563 HAS SOUPS 182627 WITH SCORE 183010.479
AT ITER 3004 NEW BEST:: SOT 792811 SOS 383469 HAS SOPS 376605 HAS SOUS 183553 HAS SOUPS 182617 WITH SCORE 183000.469
AT ITER 3011 NEW BEST:: SOT 792915 SOS 383581 HAS SOPS 376717 HAS SOUS 183518 HAS SOUPS 182582 WITH SCORE 182965.581
AT ITER 3016 NEW BEST:: SOT 793121 SOS 383390 HAS SOPS 376308 HAS SOUS 183461 HAS SOUPS 182525 WITH SCORE 182908.39
AT ITER 3028 NEW BEST:: SOT 793056 SOS 383325 HAS SOPS 376243 HAS SOUS 183396 HAS SOUPS 182460 WITH SCORE 182843.325
AT ITER 3035 NEW BEST:: SOT 792940 SOS 383281 HAS SOPS 376199 HAS SOUS 183372 HAS SOUPS 182436 WITH SCORE 182819.281
AT ITER 3040 NEW BEST:: SOT 792932 SOS 383263 HAS SOPS 376181 HAS SOUS 183356 HAS SOUPS 182420 WITH SCORE 182803.263
AT ITER 3046 NEW BEST:: SOT 792931 SOS 383464 HAS SOPS 376381 HAS SOUS 183354 HAS SOUPS 182418 WITH SCORE 182801.464
AT ITER 3058 NEW BEST:: SOT 794374 SOS 385239 HAS SOPS 378156 HAS SOUS 183034 HAS SOUPS 182098 WITH SCORE 182483.239
AT ITER 3061 NEW BEST:: SOT 794325 SOS 385181 HAS SOPS 378098 HAS SOUS 182814 HAS SOUPS 181878 WITH SCORE 182263.181
AT ITER 3081 NEW BEST:: SOT 794306 SOS 385162 HAS SOPS 378079 HAS SOUS 182776 HAS SOUPS 181840 WITH SCORE 182225.162
AT ITER 3088 NEW BEST:: SOT 794214 SOS 385070 HAS SOPS 377987 HAS SOUS 182471 HAS SOUPS 181535 WITH SCORE 181920.07
AT ITER 3132 NEW BEST:: SOT 794222 SOS 385100 HAS SOPS 378017 HAS SOUS 182469 HAS SOUPS 181533 WITH SCORE 181918.1
AT ITER 3135 NEW BEST:: SOT 794976 SOS 385854 HAS SOPS 378771 HAS SOUS 182362 HAS SOUPS 181426 WITH SCORE 181811.854
AT ITER 3137 NEW BEST:: SOT 794951 SOS 385804 HAS SOPS 378721 HAS SOUS 182312 HAS SOUPS 181376 WITH SCORE 181761.804
AT ITER 3141 NEW BEST:: SOT 794951 SOS 385804 HAS SOPS 378721 HAS SOUS 182293 HAS SOUPS 181357 WITH SCORE 181742.804
AT ITER 3143 NEW BEST:: SOT 795363 SOS 385854 HAS SOPS 378771 HAS SOUS 182155 HAS SOUPS 181219 WITH SCORE 181604.854
AT ITER 3157 NEW BEST:: SOT 796193 SOS 386877 HAS SOPS 379794 HAS SOUS 181887 HAS SOUPS 180951 WITH SCORE 181337.877
AT ITER 3161 NEW BEST:: SOT 796217 SOS 386662 HAS SOPS 379579 HAS SOUS 181710 HAS SOUPS 180774 WITH SCORE 181160.662
AT ITER 3173 NEW BEST:: SOT 796222 SOS 386630 HAS SOPS 379457 HAS SOUS 181625 HAS SOUPS 180689 WITH SCORE 181075.63
AT ITER 3187 NEW BEST:: SOT 796279 SOS 386898 HAS SOPS 379821 HAS SOUS 181618 HAS SOUPS 180682 WITH SCORE 181068.898
AT ITER 3196 NEW BEST:: SOT 796794 SOS 387413 HAS SOPS 380336 HAS SOUS 181520 HAS SOUPS 180584 WITH SCORE 180971.413
AT ITER 3203 NEW BEST:: SOT 796661 SOS 387360 HAS SOPS 380283 HAS SOUS 181510 HAS SOUPS 180574 WITH SCORE 180961.36
AT ITER 3235 NEW BEST:: SOT 796596 SOS 387226 HAS SOPS 380149 HAS SOUS 181376 HAS SOUPS 180440 WITH SCORE 180827.226
AT ITER 3245 NEW BEST:: SOT 797415 SOS 387896 HAS SOPS 380819 HAS SOUS 180851 HAS SOUPS 179915 WITH SCORE 180302.896
AT ITER 3248 NEW BEST:: SOT 797366 SOS 388621 HAS SOPS 381570 HAS SOUS 180825 HAS SOUPS 179889 WITH SCORE 180277.621
AT ITER 3255 NEW BEST:: SOT 797364 SOS 388629 HAS SOPS 381578 HAS SOUS 180821 HAS SOUPS 179885 WITH SCORE 180273.629
AT ITER 3272 NEW BEST:: SOT 797352 SOS 388611 HAS SOPS 381554 HAS SOUS 180803 HAS SOUPS 179861 WITH SCORE 180249.611
AT ITER 3276 NEW BEST:: SOT 797329 SOS 388588 HAS SOPS 381531 HAS SOUS 180586 HAS SOUPS 179644 WITH SCORE 180032.588
AT ITER 3316 NEW BEST:: SOT 797328 SOS 388586 HAS SOPS 381529 HAS SOUS 180584 HAS SOUPS 179642 WITH SCORE 180030.586
AT ITER 3330 NEW BEST:: SOT 796995 SOS 388943 HAS SOPS 381966 HAS SOUS 180508 HAS SOUPS 179566 WITH SCORE 179954.943
AT ITER 3331 NEW BEST:: SOT 796995 SOS 388965 HAS SOPS 381988 HAS SOUS 180486 HAS SOUPS 179544 WITH SCORE 179932.965
AT ITER 3334 NEW BEST:: SOT 794117 SOS 386087 HAS SOPS 379110 HAS SOUS 180051 HAS SOUPS 179109 WITH SCORE 179495.087
AT ITER 3335 NEW BEST:: SOT 794047 SOS 385947 HAS SOPS 378970 HAS SOUS 180032 HAS SOUPS 179090 WITH SCORE 179475.947
AT ITER 3336 NEW BEST:: SOT 794034 SOS 385934 HAS SOPS 378937 HAS SOUS 180006 HAS SOUPS 179064 WITH SCORE 179449.934
AT ITER 3354 NEW BEST:: SOT 793998 SOS 385759 HAS SOPS 378762 HAS SOUS 179946 HAS SOUPS 179004 WITH SCORE 179389.759
AT ITER 3358 NEW BEST:: SOT 793758 SOS 385519 HAS SOPS 378522 HAS SOUS 179834 HAS SOUPS 178892 WITH SCORE 179277.519
AT ITER 3361 NEW BEST:: SOT 793740 SOS 385501 HAS SOPS 378484 HAS SOUS 179823 HAS SOUPS 178881 WITH SCORE 179266.501
AT ITER 3374 NEW BEST:: SOT 793980 SOS 383468 HAS SOPS 373946 HAS SOUS 179935 HAS SOUPS 178865 WITH SCORE 179248.468
AT ITER 3376 NEW BEST:: SOT 793437 SOS 382925 HAS SOPS 373403 HAS SOUS 179666 HAS SOUPS 178596 WITH SCORE 178978.925
AT ITER 3394 NEW BEST:: SOT 793426 SOS 382914 HAS SOPS 373392 HAS SOUS 179655 HAS SOUPS 178585 WITH SCORE 178967.914
AT ITER 3406 NEW BEST:: SOT 793419 SOS 382907 HAS SOPS 373385 HAS SOUS 179641 HAS SOUPS 178571 WITH SCORE 178953.907
AT ITER 3413 NEW BEST:: SOT 793294 SOS 382834 HAS SOPS 373312 HAS SOUS 179599 HAS SOUPS 178529 WITH SCORE 178911.834
AT ITER 3430 NEW BEST:: SOT 793287 SOS 382833 HAS SOPS 373311 HAS SOUS 179592 HAS SOUPS 178522 WITH SCORE 178904.833
AT ITER 3441 NEW BEST:: SOT 793267 SOS 384204 HAS SOPS 374682 HAS SOUS 179581 HAS SOUPS 178511 WITH SCORE 178895.204
AT ITER 3444 NEW BEST:: SOT 793244 SOS 384181 HAS SOPS 374659 HAS SOUS 179535 HAS SOUPS 178465 WITH SCORE 178849.181
AT ITER 3469 NEW BEST:: SOT 791913 SOS 382977 HAS SOPS 373455 HAS SOUS 178271 HAS SOUPS 177201 WITH SCORE 177583.977
AT ITER 3477 NEW BEST:: SOT 792031 SOS 383083 HAS SOPS 373561 HAS SOUS 178156 HAS SOUPS 177086 WITH SCORE 177469.083
AT ITER 3504 NEW BEST:: SOT 791706 SOS 382758 HAS SOPS 373236 HAS SOUS 177946 HAS SOUPS 176876 WITH SCORE 177258.758
AT ITER 3513 NEW BEST:: SOT 791706 SOS 382773 HAS SOPS 373251 HAS SOUS 177931 HAS SOUPS 176861 WITH SCORE 177243.773
AT ITER 3520 NEW BEST:: SOT 791702 SOS 382769 HAS SOPS 373247 HAS SOUS 177927 HAS SOUPS 176857 WITH SCORE 177239.769
AT ITER 3522 NEW BEST:: SOT 791687 SOS 382618 HAS SOPS 373096 HAS SOUS 177844 HAS SOUPS 176774 WITH SCORE 177156.618
AT ITER 3528 NEW BEST:: SOT 791686 SOS 382616 HAS SOPS 373094 HAS SOUS 177842 HAS SOUPS 176772 WITH SCORE 177154.616
AT ITER 3534 NEW BEST:: SOT 791629 SOS 382406 HAS SOPS 372884 HAS SOUS 177632 HAS SOUPS 176562 WITH SCORE 176944.406
AT ITER 3536 NEW BEST:: SOT 791629 SOS 382406 HAS SOPS 372884 HAS SOUS 177497 HAS SOUPS 176427 WITH SCORE 176809.406
AT ITER 3541 NEW BEST:: SOT 791628 SOS 382405 HAS SOPS 372883 HAS SOUS 177495 HAS SOUPS 176425 WITH SCORE 176807.405
AT ITER 3558 NEW BEST:: SOT 791627 SOS 382403 HAS SOPS 372881 HAS SOUS 177492 HAS SOUPS 176422 WITH SCORE 176804.403
AT ITER 3562 NEW BEST:: SOT 791627 SOS 382083 HAS SOPS 372561 HAS SOUS 177492 HAS SOUPS 176422 WITH SCORE 176804.083
AT ITER 3563 NEW BEST:: SOT 791512 SOS 381898 HAS SOPS 372376 HAS SOUS 177463 HAS SOUPS 176393 WITH SCORE 176774.898
AT ITER 3600 NEW BEST:: SOT 790934 SOS 381387 HAS SOPS 371865 HAS SOUS 177075 HAS SOUPS 176005 WITH SCORE 176386.387
AT ITER 3614 NEW BEST:: SOT 790934 SOS 381384 HAS SOPS 371862 HAS SOUS 177072 HAS SOUPS 176002 WITH SCORE 176383.384
AT ITER 3615 NEW BEST:: SOT 790934 SOS 380769 HAS SOPS 371247 HAS SOUS 176869 HAS SOUPS 175799 WITH SCORE 176179.769
AT ITER 3636 NEW BEST:: SOT 789986 SOS 379821 HAS SOPS 370299 HAS SOUS 175921 HAS SOUPS 174851 WITH SCORE 175230.821
AT ITER 3639 NEW BEST:: SOT 789926 SOS 379821 HAS SOPS 370299 HAS SOUS 175902 HAS SOUPS 174832 WITH SCORE 175211.821
AT ITER 3643 NEW BEST:: SOT 789914 SOS 379809 HAS SOPS 370287 HAS SOUS 175884 HAS SOUPS 174814 WITH SCORE 175193.809
AT ITER 3651 NEW BEST:: SOT 789338 SOS 379233 HAS SOPS 369711 HAS SOUS 175143 HAS SOUPS 174073 WITH SCORE 174452.233
AT ITER 3664 NEW BEST:: SOT 789338 SOS 379170 HAS SOPS 369648 HAS SOUS 175143 HAS SOUPS 174073 WITH SCORE 174452.17
AT ITER 3682 NEW BEST:: SOT 789255 SOS 378909 HAS SOPS 369387 HAS SOUS 175110 HAS SOUPS 174040 WITH SCORE 174418.909
AT ITER 3685 NEW BEST:: SOT 789057 SOS 378741 HAS SOPS 369219 HAS SOUS 174978 HAS SOUPS 173908 WITH SCORE 174286.741
AT ITER 3708 NEW BEST:: SOT 788954 SOS 378540 HAS SOPS 369018 HAS SOUS 174766 HAS SOUPS 173696 WITH SCORE 174074.54
AT ITER 3717 NEW BEST:: SOT 788706 SOS 378292 HAS SOPS 368770 HAS SOUS 174665 HAS SOUPS 173595 WITH SCORE 173973.292
AT ITER 3722 NEW BEST:: SOT 788706 SOS 378062 HAS SOPS 368540 HAS SOUS 174665 HAS SOUPS 173595 WITH SCORE 173973.062
AT ITER 3730 NEW BEST:: SOT 788670 SOS 378035 HAS SOPS 368513 HAS SOUS 174638 HAS SOUPS 173568 WITH SCORE 173946.035
AT ITER 3731 NEW BEST:: SOT 788670 SOS 378027 HAS SOPS 368505 HAS SOUS 174638 HAS SOUPS 173568 WITH SCORE 173946.027
AT ITER 3738 NEW BEST:: SOT 788629 SOS 378020 HAS SOPS 368498 HAS SOUS 174590 HAS SOUPS 173520 WITH SCORE 173898.02
AT ITER 3764 NEW BEST:: SOT 788636 SOS 377945 HAS SOPS 368423 HAS SOUS 174515 HAS SOUPS 173445 WITH SCORE 173822.945
AT ITER 3789 NEW BEST:: SOT 788601 SOS 377884 HAS SOPS 368362 HAS SOUS 174341 HAS SOUPS 173271 WITH SCORE 173648.884
AT ITER 3810 NEW BEST:: SOT 788600 SOS 377879 HAS SOPS 368297 HAS SOUS 174339 HAS SOUPS 173269 WITH SCORE 173646.879
AT ITER 3813 NEW BEST:: SOT 788515 SOS 379632 HAS SOPS 370050 HAS SOUS 174293 HAS SOUPS 173223 WITH SCORE 173602.632
AT ITER 3844 NEW BEST:: SOT 788461 SOS 379578 HAS SOPS 369996 HAS SOUS 174190 HAS SOUPS 173120 WITH SCORE 173499.578
AT ITER 3854 NEW BEST:: SOT 788397 SOS 379443 HAS SOPS 369861 HAS SOUS 174041 HAS SOUPS 172971 WITH SCORE 173350.443
AT ITER 3859 NEW BEST:: SOT 788316 SOS 379362 HAS SOPS 369780 HAS SOUS 173856 HAS SOUPS 172786 WITH SCORE 173165.362
AT ITER 3867 NEW BEST:: SOT 788079 SOS 379122 HAS SOPS 369540 HAS SOUS 173382 HAS SOUPS 172312 WITH SCORE 172691.122
AT ITER 3876 NEW BEST:: SOT 788064 SOS 379107 HAS SOPS 369525 HAS SOUS 173352 HAS SOUPS 172282 WITH SCORE 172661.107
AT ITER 3894 NEW BEST:: SOT 788344 SOS 379387 HAS SOPS 369805 HAS SOUS 173173 HAS SOUPS 172103 WITH SCORE 172482.387
AT ITER 3902 NEW BEST:: SOT 788407 SOS 379447 HAS SOPS 369865 HAS SOUS 173102 HAS SOUPS 172032 WITH SCORE 172411.447
AT ITER 3905 NEW BEST:: SOT 788365 SOS 379363 HAS SOPS 369781 HAS SOUS 173032 HAS SOUPS 171962 WITH SCORE 172341.363
AT ITER 3916 NEW BEST:: SOT 788336 SOS 379304 HAS SOPS 369835 HAS SOUS 173008 HAS SOUPS 171938 WITH SCORE 172317.304
AT ITER 3925 NEW BEST:: SOT 788395 SOS 379422 HAS SOPS 369953 HAS SOUS 172909 HAS SOUPS 171839 WITH SCORE 172218.422
AT ITER 3929 NEW BEST:: SOT 788395 SOS 379422 HAS SOPS 369953 HAS SOUS 172905 HAS SOUPS 171835 WITH SCORE 172214.422
AT ITER 3963 NEW BEST:: SOT 788257 SOS 379215 HAS SOPS 369746 HAS SOUS 172767 HAS SOUPS 171697 WITH SCORE 172076.215
AT ITER 3971 NEW BEST:: SOT 788223 SOS 379198 HAS SOPS 369729 HAS SOUS 172750 HAS SOUPS 171680 WITH SCORE 172059.198
AT ITER 3988 NEW BEST:: SOT 788184 SOS 379159 HAS SOPS 369690 HAS SOUS 172672 HAS SOUPS 171602 WITH SCORE 171981.159
AT ITER 3997 NEW BEST:: SOT 788184 SOS 378465 HAS SOPS 368996 HAS SOUS 172672 HAS SOUPS 171602 WITH SCORE 171980.465
AT ITER 4025 NEW BEST:: SOT 788169 SOS 378450 HAS SOPS 368981 HAS SOUS 172642 HAS SOUPS 171572 WITH SCORE 171950.45
AT ITER 4036 NEW BEST:: SOT 788085 SOS 378366 HAS SOPS 368897 HAS SOUS 172516 HAS SOUPS 171446 WITH SCORE 171824.366
AT ITER 4054 NEW BEST:: SOT 788031 SOS 378336 HAS SOPS 368867 HAS SOUS 172492 HAS SOUPS 171422 WITH SCORE 171800.336
AT ITER 4074 NEW BEST:: SOT 788056 SOS 378352 HAS SOPS 368883 HAS SOUS 172418 HAS SOUPS 171348 WITH SCORE 171726.352
AT ITER 4076 NEW BEST:: SOT 788044 SOS 378017 HAS SOPS 368608 HAS SOUS 172397 HAS SOUPS 171333 WITH SCORE 171711.017
AT ITER 4087 NEW BEST:: SOT 788018 SOS 377991 HAS SOPS 368582 HAS SOUS 172345 HAS SOUPS 171281 WITH SCORE 171658.991
AT ITER 4089 NEW BEST:: SOT 787956 SOS 377968 HAS SOPS 368559 HAS SOUS 172292 HAS SOUPS 171228 WITH SCORE 171605.968
AT ITER 4099 NEW BEST:: SOT 787675 SOS 377709 HAS SOPS 368300 HAS SOUS 172114 HAS SOUPS 171050 WITH SCORE 171427.709
AT ITER 4113 NEW BEST:: SOT 787585 SOS 377393 HAS SOPS 367984 HAS SOUS 172025 HAS SOUPS 170961 WITH SCORE 171338.393
AT ITER 4114 NEW BEST:: SOT 787469 SOS 377277 HAS SOPS 367868 HAS SOUS 172021 HAS SOUPS 170957 WITH SCORE 171334.277
AT ITER 4120 NEW BEST:: SOT 787759 SOS 377619 HAS SOPS 368210 HAS SOUS 171759 HAS SOUPS 170695 WITH SCORE 171072.619
AT ITER 4125 NEW BEST:: SOT 787657 SOS 377465 HAS SOPS 368056 HAS SOUS 171555 HAS SOUPS 170491 WITH SCORE 170868.465
AT ITER 4143 NEW BEST:: SOT 787473 SOS 377278 HAS SOPS 367869 HAS SOUS 171221 HAS SOUPS 170157 WITH SCORE 170534.278
AT ITER 4173 NEW BEST:: SOT 787473 SOS 377278 HAS SOPS 367869 HAS SOUS 171196 HAS SOUPS 170132 WITH SCORE 170509.278
AT ITER 4192 NEW BEST:: SOT 787473 SOS 377278 HAS SOPS 367849 HAS SOUS 171176 HAS SOUPS 170112 WITH SCORE 170489.278
AT ITER 4203 NEW BEST:: SOT 787473 SOS 377208 HAS SOPS 367779 HAS SOUS 171099 HAS SOUPS 170035 WITH SCORE 170412.208
AT ITER 4215 NEW BEST:: SOT 787415 SOS 377150 HAS SOPS 367721 HAS SOUS 170995 HAS SOUPS 169931 WITH SCORE 170308.15
AT ITER 4238 NEW BEST:: SOT 787384 SOS 377088 HAS SOPS 367659 HAS SOUS 170995 HAS SOUPS 169931 WITH SCORE 170308.088
AT ITER 4254 NEW BEST:: SOT 787393 SOS 377085 HAS SOPS 367656 HAS SOUS 170992 HAS SOUPS 169928 WITH SCORE 170305.085
AT ITER 4270 NEW BEST:: SOT 787396 SOS 377068 HAS SOPS 367639 HAS SOUS 170975 HAS SOUPS 169911 WITH SCORE 170288.068
AT ITER 4281 NEW BEST:: SOT 787365 SOS 377037 HAS SOPS 367608 HAS SOUS 170923 HAS SOUPS 169859 WITH SCORE 170236.037
AT ITER 4290 NEW BEST:: SOT 787325 SOS 376997 HAS SOPS 367568 HAS SOUS 170883 HAS SOUPS 169819 WITH SCORE 170195.997
AT ITER 4311 NEW BEST:: SOT 787321 SOS 376989 HAS SOPS 367560 HAS SOUS 170839 HAS SOUPS 169775 WITH SCORE 170151.989
AT ITER 4315 NEW BEST:: SOT 785741 SOS 375409 HAS SOPS 365980 HAS SOUS 170343 HAS SOUPS 169279 WITH SCORE 169654.409
AT ITER 4320 NEW BEST:: SOT 785671 SOS 374898 HAS SOPS 365469 HAS SOUS 170319 HAS SOUPS 169255 WITH SCORE 169629.898
AT ITER 4326 NEW BEST:: SOT 785666 SOS 374934 HAS SOPS 365505 HAS SOUS 170309 HAS SOUPS 169245 WITH SCORE 169619.934
AT ITER 4349 NEW BEST:: SOT 785625 SOS 374893 HAS SOPS 365464 HAS SOUS 170227 HAS SOUPS 169163 WITH SCORE 169537.893
AT ITER 4352 NEW BEST:: SOT 785617 SOS 374885 HAS SOPS 365456 HAS SOUS 170215 HAS SOUPS 169151 WITH SCORE 169525.885
AT ITER 4360 NEW BEST:: SOT 785594 SOS 374898 HAS SOPS 365469 HAS SOUS 170212 HAS SOUPS 169148 WITH SCORE 169522.898
AT ITER 4386 NEW BEST:: SOT 785585 SOS 374889 HAS SOPS 365460 HAS SOUS 170155 HAS SOUPS 169091 WITH SCORE 169465.889
AT ITER 4394 NEW BEST:: SOT 785554 SOS 377873 HAS SOPS 368444 HAS SOUS 170125 HAS SOUPS 169061 WITH SCORE 169438.873
AT ITER 4399 NEW BEST:: SOT 785534 SOS 377393 HAS SOPS 367964 HAS SOUS 170085 HAS SOUPS 169021 WITH SCORE 169398.393
AT ITER 4409 NEW BEST:: SOT 785393 SOS 376858 HAS SOPS 367429 HAS SOUS 169874 HAS SOUPS 168810 WITH SCORE 169186.858
AT ITER 4416 NEW BEST:: SOT 785213 SOS 376558 HAS SOPS 367129 HAS SOUS 169634 HAS SOUPS 168570 WITH SCORE 168946.558
AT ITER 4458 NEW BEST:: SOT 785207 SOS 376536 HAS SOPS 367107 HAS SOUS 169612 HAS SOUPS 168548 WITH SCORE 168924.536
AT ITER 4462 NEW BEST:: SOT 785165 SOS 376517 HAS SOPS 367088 HAS SOUS 169558 HAS SOUPS 168494 WITH SCORE 168870.517
AT ITER 4478 NEW BEST:: SOT 784805 SOS 375935 HAS SOPS 366354 HAS SOUS 168995 HAS SOUPS 167931 WITH SCORE 168306.935
AT ITER 4481 NEW BEST:: SOT 784776 SOS 375906 HAS SOPS 366325 HAS SOUS 168966 HAS SOUPS 167902 WITH SCORE 168277.906
AT ITER 4519 NEW BEST:: SOT 784791 SOS 375921 HAS SOPS 366340 HAS SOUS 168597 HAS SOUPS 167533 WITH SCORE 167908.921
AT ITER 4538 NEW BEST:: SOT 784791 SOS 375921 HAS SOPS 366309 HAS SOUS 168566 HAS SOUPS 167502 WITH SCORE 167877.921
AT ITER 4546 NEW BEST:: SOT 784754 SOS 375810 HAS SOPS 366235 HAS SOUS 168492 HAS SOUPS 167428 WITH SCORE 167803.81
AT ITER 4574 NEW BEST:: SOT 784754 SOS 375736 HAS SOPS 366161 HAS SOUS 168469 HAS SOUPS 167405 WITH SCORE 167780.736
AT ITER 4578 NEW BEST:: SOT 784622 SOS 373873 HAS SOPS 364298 HAS SOUS 168345 HAS SOUPS 167281 WITH SCORE 167654.873
AT ITER 4590 NEW BEST:: SOT 784542 SOS 373798 HAS SOPS 364223 HAS SOUS 168299 HAS SOUPS 167235 WITH SCORE 167608.798
AT ITER 4612 NEW BEST:: SOT 784527 SOS 373768 HAS SOPS 364193 HAS SOUS 168254 HAS SOUPS 167190 WITH SCORE 167563.768
AT ITER 4638 NEW BEST:: SOT 784561 SOS 373802 HAS SOPS 364227 HAS SOUS 168208 HAS SOUPS 167144 WITH SCORE 167517.802
AT ITER 4640 NEW BEST:: SOT 784537 SOS 373778 HAS SOPS 364203 HAS SOUS 168184 HAS SOUPS 167120 WITH SCORE 167493.778
AT ITER 4648 NEW BEST:: SOT 784519 SOS 373760 HAS SOPS 364165 HAS SOUS 168148 HAS SOUPS 167084 WITH SCORE 167457.76
AT ITER 4654 NEW BEST:: SOT 784519 SOS 373726 HAS SOPS 364131 HAS SOUS 168124 HAS SOUPS 167060 WITH SCORE 167433.726
AT ITER 4657 NEW BEST:: SOT 784667 SOS 373462 HAS SOPS 363703 HAS SOUS 167938 HAS SOUPS 166874 WITH SCORE 167247.462
AT ITER 4665 NEW BEST:: SOT 784641 SOS 373436 HAS SOPS 363677 HAS SOUS 167886 HAS SOUPS 166822 WITH SCORE 167195.436
AT ITER 4667 NEW BEST:: SOT 784586 SOS 373381 HAS SOPS 363611 HAS SOUS 167820 HAS SOUPS 166756 WITH SCORE 167129.381
AT ITER 4682 NEW BEST:: SOT 784586 SOS 373370 HAS SOPS 363600 HAS SOUS 167611 HAS SOUPS 166547 WITH SCORE 166920.37
AT ITER 4704 NEW BEST:: SOT 784415 SOS 373199 HAS SOPS 363429 HAS SOUS 167463 HAS SOUPS 166399 WITH SCORE 166772.199
AT ITER 4719 NEW BEST:: SOT 784381 SOS 373165 HAS SOPS 363395 HAS SOUS 167395 HAS SOUPS 166331 WITH SCORE 166704.165
AT ITER 4745 NEW BEST:: SOT 784402 SOS 373317 HAS SOPS 363547 HAS SOUS 167363 HAS SOUPS 166299 WITH SCORE 166672.317
AT ITER 4750 NEW BEST:: SOT 784430 SOS 373287 HAS SOPS 363517 HAS SOUS 167333 HAS SOUPS 166269 WITH SCORE 166642.287
AT ITER 4758 NEW BEST:: SOT 784430 SOS 373261 HAS SOPS 363491 HAS SOUS 167307 HAS SOUPS 166243 WITH SCORE 166616.261
AT ITER 4788 NEW BEST:: SOT 784418 SOS 373237 HAS SOPS 363467 HAS SOUS 167289 HAS SOUPS 166225 WITH SCORE 166598.237
AT ITER 4834 NEW BEST:: SOT 784514 SOS 373143 HAS SOPS 363264 HAS SOUS 167195 HAS SOUPS 166121 WITH SCORE 166494.143
AT ITER 4841 NEW BEST:: SOT 785233 SOS 373932 HAS SOPS 364053 HAS SOUS 167108 HAS SOUPS 166034 WITH SCORE 166407.932
AT ITER 4848 NEW BEST:: SOT 785233 SOS 373932 HAS SOPS 364053 HAS SOUS 167091 HAS SOUPS 166017 WITH SCORE 166390.932
AT ITER 4850 NEW BEST:: SOT 784709 SOS 373408 HAS SOPS 363529 HAS SOUS 166819 HAS SOUPS 165745 WITH SCORE 166118.408
AT ITER 4857 NEW BEST:: SOT 783729 SOS 372455 HAS SOPS 362576 HAS SOUS 166313 HAS SOUPS 165239 WITH SCORE 165611.455
AT ITER 4862 NEW BEST:: SOT 783723 SOS 372449 HAS SOPS 362541 HAS SOUS 166301 HAS SOUPS 165227 WITH SCORE 165599.449
AT ITER 4883 NEW BEST:: SOT 783705 SOS 372431 HAS SOPS 362523 HAS SOUS 166265 HAS SOUPS 165191 WITH SCORE 165563.431
AT ITER 4885 NEW BEST:: SOT 783734 SOS 372460 HAS SOPS 362547 HAS SOUS 166205 HAS SOUPS 165131 WITH SCORE 165503.46
AT ITER 4891 NEW BEST:: SOT 783714 SOS 372430 HAS SOPS 362517 HAS SOUS 166175 HAS SOUPS 165101 WITH SCORE 165473.43
AT ITER 4900 NEW BEST:: SOT 783750 SOS 372466 HAS SOPS 362553 HAS SOUS 166153 HAS SOUPS 165079 WITH SCORE 165451.466
AT ITER 4901 NEW BEST:: SOT 783677 SOS 372393 HAS SOPS 362480 HAS SOUS 166080 HAS SOUPS 165006 WITH SCORE 165378.393
AT ITER 4916 NEW BEST:: SOT 782043 SOS 370759 HAS SOPS 360846 HAS SOUS 165898 HAS SOUPS 164824 WITH SCORE 165194.759
AT ITER 4939 NEW BEST:: SOT 782093 SOS 370809 HAS SOPS 360834 HAS SOUS 165891 HAS SOUPS 164817 WITH SCORE 165187.809
AT ITER 4955 NEW BEST:: SOT 782083 SOS 370892 HAS SOPS 360923 HAS SOUS 165871 HAS SOUPS 164797 WITH SCORE 165167.892
AT ITER 4964 NEW BEST:: SOT 781990 SOS 370799 HAS SOPS 360830 HAS SOUS 165685 HAS SOUPS 164611 WITH SCORE 164981.799
AT ITER 4965 NEW BEST:: SOT 781976 SOS 370778 HAS SOPS 360809 HAS SOUS 165657 HAS SOUPS 164583 WITH SCORE 164953.778
AT ITER 5008 NEW BEST:: SOT 782222 SOS 371024 HAS SOPS 361055 HAS SOUS 165627 HAS SOUPS 164553 WITH SCORE 164924.024
AT ITER 5026 NEW BEST:: SOT 783143 SOS 371945 HAS SOPS 361976 HAS SOUS 165063 HAS SOUPS 163989 WITH SCORE 164360.945
AT ITER 5029 NEW BEST:: SOT 783051 SOS 371834 HAS SOPS 361865 HAS SOUS 164879 HAS SOUPS 163805 WITH SCORE 164176.834
AT ITER 5032 NEW BEST:: SOT 783051 SOS 371817 HAS SOPS 361848 HAS SOUS 164879 HAS SOUPS 163805 WITH SCORE 164176.817
AT ITER 5056 NEW BEST:: SOT 783000 SOS 371742 HAS SOPS 361773 HAS SOUS 164804 HAS SOUPS 163730 WITH SCORE 164101.742
AT ITER 5067 NEW BEST:: SOT 782270 SOS 370816 HAS SOPS 360847 HAS SOUS 164004 HAS SOUPS 162930 WITH SCORE 163300.816
AT ITER 5074 NEW BEST:: SOT 782236 SOS 370782 HAS SOPS 360788 HAS SOUS 163936 HAS SOUPS 162862 WITH SCORE 163232.782
AT ITER 5101 NEW BEST:: SOT 781911 SOS 370119 HAS SOPS 360125 HAS SOUS 163510 HAS SOUPS 162436 WITH SCORE 162806.119
AT ITER 5102 NEW BEST:: SOT 781947 SOS 370073 HAS SOPS 360079 HAS SOUS 163435 HAS SOUPS 162361 WITH SCORE 162731.073
AT ITER 5106 NEW BEST:: SOT 781954 SOS 370080 HAS SOPS 360080 HAS SOUS 163431 HAS SOUPS 162357 WITH SCORE 162727.08
AT ITER 5125 NEW BEST:: SOT 781800 SOS 369822 HAS SOPS 359822 HAS SOUS 163256 HAS SOUPS 162182 WITH SCORE 162551.822
AT ITER 5131 NEW BEST:: SOT 781817 SOS 369839 HAS SOPS 359839 HAS SOUS 163225 HAS SOUPS 162151 WITH SCORE 162520.839
AT ITER 5137 NEW BEST:: SOT 781561 SOS 369583 HAS SOPS 359583 HAS SOUS 162996 HAS SOUPS 161922 WITH SCORE 162291.583
AT ITER 5143 NEW BEST:: SOT 781503 SOS 369525 HAS SOPS 359525 HAS SOUS 162938 HAS SOUPS 161864 WITH SCORE 162233.525
AT ITER 5145 NEW BEST:: SOT 781362 SOS 369384 HAS SOPS 359384 HAS SOUS 162724 HAS SOUPS 161650 WITH SCORE 162019.384
AT ITER 5155 NEW BEST:: SOT 781332 SOS 369362 HAS SOPS 359362 HAS SOUS 162676 HAS SOUPS 161602 WITH SCORE 161971.362
AT ITER 5177 NEW BEST:: SOT 781362 SOS 369392 HAS SOPS 359392 HAS SOUS 162632 HAS SOUPS 161558 WITH SCORE 161927.392
AT ITER 5185 NEW BEST:: SOT 781144 SOS 369518 HAS SOPS 359534 HAS SOUS 162519 HAS SOUPS 161445 WITH SCORE 161814.518
AT ITER 5189 NEW BEST:: SOT 781058 SOS 369432 HAS SOPS 359448 HAS SOUS 162015 HAS SOUPS 160941 WITH SCORE 161310.432
AT ITER 5205 NEW BEST:: SOT 780946 SOS 369297 HAS SOPS 359313 HAS SOUS 161909 HAS SOUPS 160835 WITH SCORE 161204.297
AT ITER 5211 NEW BEST:: SOT 780939 SOS 369290 HAS SOPS 359306 HAS SOUS 161902 HAS SOUPS 160828 WITH SCORE 161197.29
AT ITER 5216 NEW BEST:: SOT 780939 SOS 369274 HAS SOPS 359290 HAS SOUS 161902 HAS SOUPS 160828 WITH SCORE 161197.274
AT ITER 5218 NEW BEST:: SOT 780939 SOS 369246 HAS SOPS 359262 HAS SOUS 161902 HAS SOUPS 160828 WITH SCORE 161197.246
AT ITER 5222 NEW BEST:: SOT 780903 SOS 369198 HAS SOPS 359214 HAS SOUS 161854 HAS SOUPS 160780 WITH SCORE 161149.198
AT ITER 5224 NEW BEST:: SOT 780871 SOS 369060 HAS SOPS 359076 HAS SOUS 161779 HAS SOUPS 160705 WITH SCORE 161074.06
AT ITER 5242 NEW BEST:: SOT 780536 SOS 368667 HAS SOPS 358683 HAS SOUS 161466 HAS SOUPS 160392 WITH SCORE 160760.667
AT ITER 5244 NEW BEST:: SOT 780466 SOS 368527 HAS SOPS 358543 HAS SOUS 161326 HAS SOUPS 160252 WITH SCORE 160620.527
AT ITER 5251 NEW BEST:: SOT 780144 SOS 367917 HAS SOPS 357840 HAS SOUS 160767 HAS SOUPS 159693 WITH SCORE 160060.917
AT ITER 5255 NEW BEST:: SOT 780144 SOS 367917 HAS SOPS 357840 HAS SOUS 160701 HAS SOUPS 159627 WITH SCORE 159994.917
AT ITER 5279 NEW BEST:: SOT 780144 SOS 367927 HAS SOPS 357850 HAS SOUS 160327 HAS SOUPS 159253 WITH SCORE 159620.927
AT ITER 5294 NEW BEST:: SOT 780118 SOS 367901 HAS SOPS 357824 HAS SOUS 160301 HAS SOUPS 159227 WITH SCORE 159594.901
AT ITER 5305 NEW BEST:: SOT 780101 SOS 367884 HAS SOPS 357807 HAS SOUS 160264 HAS SOUPS 159190 WITH SCORE 159557.884
AT ITER 5312 NEW BEST:: SOT 780089 SOS 367860 HAS SOPS 357783 HAS SOUS 160240 HAS SOUPS 159166 WITH SCORE 159533.86
AT ITER 5314 NEW BEST:: SOT 780422 SOS 368193 HAS SOPS 358116 HAS SOUS 159604 HAS SOUPS 158530 WITH SCORE 158898.193
AT ITER 5316 NEW BEST:: SOT 780071 SOS 367886 HAS SOPS 357809 HAS SOUS 159563 HAS SOUPS 158489 WITH SCORE 158856.886
AT ITER 5323 NEW BEST:: SOT 779948 SOS 367740 HAS SOPS 357663 HAS SOUS 159273 HAS SOUPS 158199 WITH SCORE 158566.74
AT ITER 5346 NEW BEST:: SOT 779933 SOS 367725 HAS SOPS 357648 HAS SOUS 159243 HAS SOUPS 158169 WITH SCORE 158536.725
AT ITER 5365 NEW BEST:: SOT 779911 SOS 367690 HAS SOPS 357613 HAS SOUS 159185 HAS SOUPS 158111 WITH SCORE 158478.69
AT ITER 5384 NEW BEST:: SOT 779879 SOS 367658 HAS SOPS 357581 HAS SOUS 159121 HAS SOUPS 158047 WITH SCORE 158414.658
AT ITER 5396 NEW BEST:: SOT 779869 SOS 367648 HAS SOPS 357571 HAS SOUS 159111 HAS SOUPS 158037 WITH SCORE 158404.648
AT ITER 5409 NEW BEST:: SOT 779863 SOS 367639 HAS SOPS 357562 HAS SOUS 159102 HAS SOUPS 158028 WITH SCORE 158395.639
AT ITER 5422 NEW BEST:: SOT 780081 SOS 367731 HAS SOPS 357654 HAS SOUS 159093 HAS SOUPS 158019 WITH SCORE 158386.731
AT ITER 5461 NEW BEST:: SOT 780051 SOS 367701 HAS SOPS 357624 HAS SOUS 159063 HAS SOUPS 157989 WITH SCORE 158356.701
AT ITER 5468 NEW BEST:: SOT 780031 SOS 367613 HAS SOPS 357536 HAS SOUS 158833 HAS SOUPS 157759 WITH SCORE 158126.613
AT ITER 5481 NEW BEST:: SOT 780027 SOS 367596 HAS SOPS 357519 HAS SOUS 158812 HAS SOUPS 157738 WITH SCORE 158105.596
AT ITER 5488 NEW BEST:: SOT 779967 SOS 367624 HAS SOPS 357623 HAS SOUS 158786 HAS SOUPS 157712 WITH SCORE 158079.624
AT ITER 5490 NEW BEST:: SOT 779872 SOS 367584 HAS SOPS 357589 HAS SOUS 158761 HAS SOUPS 157687 WITH SCORE 158054.584
AT ITER 5500 NEW BEST:: SOT 779836 SOS 367542 HAS SOPS 357547 HAS SOUS 158716 HAS SOUPS 157642 WITH SCORE 158009.542
AT ITER 5501 NEW BEST:: SOT 779776 SOS 367468 HAS SOPS 357473 HAS SOUS 158642 HAS SOUPS 157568 WITH SCORE 157935.468
AT ITER 5520 NEW BEST:: SOT 779729 SOS 367438 HAS SOPS 357443 HAS SOUS 158548 HAS SOUPS 157474 WITH SCORE 157841.438
AT ITER 5559 NEW BEST:: SOT 779712 SOS 367404 HAS SOPS 357409 HAS SOUS 158514 HAS SOUPS 157440 WITH SCORE 157807.404
AT ITER 5570 NEW BEST:: SOT 779657 SOS 367269 HAS SOPS 357219 HAS SOUS 158423 HAS SOUPS 157330 WITH SCORE 157697.269
AT ITER 5573 NEW BEST:: SOT 779646 SOS 367247 HAS SOPS 357197 HAS SOUS 158401 HAS SOUPS 157308 WITH SCORE 157675.247
AT ITER 5579 NEW BEST:: SOT 779621 SOS 367171 HAS SOPS 357152 HAS SOUS 158390 HAS SOUPS 157297 WITH SCORE 157664.171
AT ITER 5625 NEW BEST:: SOT 779618 SOS 366994 HAS SOPS 356982 HAS SOUS 158208 HAS SOUPS 157115 WITH SCORE 157481.994
AT ITER 5626 NEW BEST:: SOT 779511 SOS 366924 HAS SOPS 357028 HAS SOUS 158189 HAS SOUPS 157096 WITH SCORE 157462.924
AT ITER 5647 NEW BEST:: SOT 779519 SOS 366901 HAS SOPS 357005 HAS SOUS 158174 HAS SOUPS 157081 WITH SCORE 157447.901
AT ITER 5649 NEW BEST:: SOT 779452 SOS 366767 HAS SOPS 356871 HAS SOUS 158040 HAS SOUPS 156947 WITH SCORE 157313.767
AT ITER 5653 NEW BEST:: SOT 779456 SOS 366739 HAS SOPS 356827 HAS SOUS 158028 HAS SOUPS 156935 WITH SCORE 157301.739
AT ITER 5661 NEW BEST:: SOT 779354 SOS 366229 HAS SOPS 356317 HAS SOUS 157858 HAS SOUPS 156765 WITH SCORE 157131.229
AT ITER 5679 NEW BEST:: SOT 779263 SOS 366134 HAS SOPS 356222 HAS SOUS 157850 HAS SOUPS 156757 WITH SCORE 157123.134
AT ITER 5680 NEW BEST:: SOT 779263 SOS 366166 HAS SOPS 356113 HAS SOUS 157680 HAS SOUPS 156587 WITH SCORE 156953.166
AT ITER 5706 NEW BEST:: SOT 779164 SOS 366067 HAS SOPS 356014 HAS SOUS 157597 HAS SOUPS 156504 WITH SCORE 156870.067
AT ITER 5734 NEW BEST:: SOT 779160 SOS 366063 HAS SOPS 356010 HAS SOUS 157589 HAS SOUPS 156496 WITH SCORE 156862.063
AT ITER 5772 NEW BEST:: SOT 779152 SOS 366055 HAS SOPS 356002 HAS SOUS 157573 HAS SOUPS 156480 WITH SCORE 156846.055
AT ITER 5774 NEW BEST:: SOT 779114 SOS 365984 HAS SOPS 355931 HAS SOUS 157502 HAS SOUPS 156409 WITH SCORE 156774.984
AT ITER 5775 NEW BEST:: SOT 778975 SOS 365828 HAS SOPS 355775 HAS SOUS 157298 HAS SOUPS 156205 WITH SCORE 156570.828
AT ITER 5784 NEW BEST:: SOT 778929 SOS 365782 HAS SOPS 355729 HAS SOUS 157230 HAS SOUPS 156137 WITH SCORE 156502.782
AT ITER 5811 NEW BEST:: SOT 778878 SOS 365680 HAS SOPS 355627 HAS SOUS 157128 HAS SOUPS 156035 WITH SCORE 156400.68
AT ITER 5812 NEW BEST:: SOT 778874 SOS 365676 HAS SOPS 355623 HAS SOUS 157124 HAS SOUPS 156031 WITH SCORE 156396.676
AT ITER 5831 NEW BEST:: SOT 778849 SOS 365651 HAS SOPS 355598 HAS SOUS 157092 HAS SOUPS 155999 WITH SCORE 156364.651
AT ITER 5842 NEW BEST:: SOT 778816 SOS 365584 HAS SOPS 355531 HAS SOUS 157026 HAS SOUPS 155933 WITH SCORE 156298.584
AT ITER 5853 NEW BEST:: SOT 778744 SOS 365476 HAS SOPS 355423 HAS SOUS 156918 HAS SOUPS 155825 WITH SCORE 156190.476
AT ITER 5872 NEW BEST:: SOT 778557 SOS 365256 HAS SOPS 355203 HAS SOUS 156508 HAS SOUPS 155415 WITH SCORE 155780.256
AT ITER 5875 NEW BEST:: SOT 778565 SOS 365264 HAS SOPS 355211 HAS SOUS 156464 HAS SOUPS 155371 WITH SCORE 155736.264
AT ITER 5919 NEW BEST:: SOT 778451 SOS 365380 HAS SOPS 355327 HAS SOUS 156427 HAS SOUPS 155334 WITH SCORE 155699.38
AT ITER 5923 NEW BEST:: SOT 778519 SOS 365443 HAS SOPS 355390 HAS SOUS 156159 HAS SOUPS 155066 WITH SCORE 155431.443
AT ITER 5943 NEW BEST:: SOT 778519 SOS 365506 HAS SOPS 355432 HAS SOUS 156138 HAS SOUPS 155045 WITH SCORE 155410.506
AT ITER 5944 NEW BEST:: SOT 778339 SOS 365332 HAS SOPS 355405 HAS SOUS 155984 HAS SOUPS 154891 WITH SCORE 155256.332
AT ITER 5979 NEW BEST:: SOT 778224 SOS 365217 HAS SOPS 355290 HAS SOUS 155869 HAS SOUPS 154776 WITH SCORE 155141.217
AT ITER 6008 NEW BEST:: SOT 778260 SOS 365253 HAS SOPS 355326 HAS SOUS 155865 HAS SOUPS 154772 WITH SCORE 155137.253
AT ITER 6013 NEW BEST:: SOT 778158 SOS 365181 HAS SOPS 355254 HAS SOUS 155749 HAS SOUPS 154656 WITH SCORE 155021.181
AT ITER 6039 NEW BEST:: SOT 778158 SOS 365194 HAS SOPS 355267 HAS SOUS 155723 HAS SOUPS 154630 WITH SCORE 154995.194
AT ITER 6051 NEW BEST:: SOT 778148 SOS 365174 HAS SOPS 355247 HAS SOUS 155703 HAS SOUPS 154610 WITH SCORE 154975.174
AT ITER 6058 NEW BEST:: SOT 778727 SOS 365753 HAS SOPS 355826 HAS SOUS 155476 HAS SOUPS 154383 WITH SCORE 154748.753
AT ITER 6059 NEW BEST:: SOT 778727 SOS 365684 HAS SOPS 355826 HAS SOUS 155476 HAS SOUPS 154383 WITH SCORE 154748.684
AT ITER 6073 NEW BEST:: SOT 778720 SOS 365691 HAS SOPS 355826 HAS SOUS 155462 HAS SOUPS 154369 WITH SCORE 154734.691
AT ITER 6075 NEW BEST:: SOT 778546 SOS 365517 HAS SOPS 355652 HAS SOUS 155214 HAS SOUPS 154121 WITH SCORE 154486.517
AT ITER 6089 NEW BEST:: SOT 778292 SOS 365311 HAS SOPS 355446 HAS SOUS 155213 HAS SOUPS 154120 WITH SCORE 154485.311
AT ITER 6131 NEW BEST:: SOT 778212 SOS 365271 HAS SOPS 355406 HAS SOUS 155093 HAS SOUPS 154000 WITH SCORE 154365.271
AT ITER 6144 NEW BEST:: SOT 777878 SOS 364853 HAS SOPS 354988 HAS SOUS 154765 HAS SOUPS 153672 WITH SCORE 154036.853
AT ITER 6163 NEW BEST:: SOT 777801 SOS 364368 HAS SOPS 354503 HAS SOUS 154620 HAS SOUPS 153527 WITH SCORE 153891.368
AT ITER 6168 NEW BEST:: SOT 777798 SOS 364351 HAS SOPS 354486 HAS SOUS 154589 HAS SOUPS 153496 WITH SCORE 153860.351
AT ITER 6240 NEW BEST:: SOT 777667 SOS 364220 HAS SOPS 354355 HAS SOUS 154167 HAS SOUPS 153074 WITH SCORE 153438.22
AT ITER 6242 NEW BEST:: SOT 777702 SOS 364098 HAS SOPS 354233 HAS SOUS 154016 HAS SOUPS 152923 WITH SCORE 153287.098
AT ITER 6247 NEW BEST:: SOT 777723 SOS 364140 HAS SOPS 354275 HAS SOUS 153995 HAS SOUPS 152902 WITH SCORE 153266.14
AT ITER 6285 NEW BEST:: SOT 777723 SOS 364156 HAS SOPS 354291 HAS SOUS 153983 HAS SOUPS 152890 WITH SCORE 153254.156
AT ITER 6289 NEW BEST:: SOT 777657 SOS 364090 HAS SOPS 354225 HAS SOUS 153909 HAS SOUPS 152816 WITH SCORE 153180.09
AT ITER 6315 NEW BEST:: SOT 777582 SOS 364015 HAS SOPS 354150 HAS SOUS 153799 HAS SOUPS 152706 WITH SCORE 153070.015
AT ITER 6319 NEW BEST:: SOT 777565 SOS 363979 HAS SOPS 354114 HAS SOUS 153791 HAS SOUPS 152698 WITH SCORE 153061.979
AT ITER 6330 NEW BEST:: SOT 777490 SOS 363780 HAS SOPS 353915 HAS SOUS 153568 HAS SOUPS 152475 WITH SCORE 152838.78
AT ITER 6349 NEW BEST:: SOT 777472 SOS 363762 HAS SOPS 353897 HAS SOUS 153550 HAS SOUPS 152457 WITH SCORE 152820.762
AT ITER 6351 NEW BEST:: SOT 777469 SOS 363759 HAS SOPS 353894 HAS SOUS 153514 HAS SOUPS 152421 WITH SCORE 152784.759
AT ITER 6356 NEW BEST:: SOT 777469 SOS 363800 HAS SOPS 353935 HAS SOUS 153473 HAS SOUPS 152380 WITH SCORE 152743.8
AT ITER 6365 NEW BEST:: SOT 777450 SOS 363572 HAS SOPS 353707 HAS SOUS 153454 HAS SOUPS 152361 WITH SCORE 152724.572
AT ITER 6372 NEW BEST:: SOT 777232 SOS 363416 HAS SOPS 353551 HAS SOUS 153250 HAS SOUPS 152157 WITH SCORE 152520.416
AT ITER 6377 NEW BEST:: SOT 777232 SOS 363296 HAS SOPS 353431 HAS SOUS 153250 HAS SOUPS 152157 WITH SCORE 152520.296
AT ITER 6378 NEW BEST:: SOT 777220 SOS 363152 HAS SOPS 353299 HAS SOUS 153238 HAS SOUPS 152145 WITH SCORE 152508.152
AT ITER 6387 NEW BEST:: SOT 777316 SOS 363248 HAS SOPS 353395 HAS SOUS 153120 HAS SOUPS 152027 WITH SCORE 152390.248
AT ITER 6392 NEW BEST:: SOT 777276 SOS 363188 HAS SOPS 353335 HAS SOUS 153047 HAS SOUPS 151954 WITH SCORE 152317.188
AT ITER 6401 NEW BEST:: SOT 777252 SOS 363154 HAS SOPS 353301 HAS SOUS 152971 HAS SOUPS 151878 WITH SCORE 152241.154
AT ITER 6402 NEW BEST:: SOT 777274 SOS 363152 HAS SOPS 353299 HAS SOUS 152842 HAS SOUPS 151749 WITH SCORE 152112.152
AT ITER 6408 NEW BEST:: SOT 777238 SOS 363098 HAS SOPS 353245 HAS SOUS 152788 HAS SOUPS 151695 WITH SCORE 152058.098
AT ITER 6411 NEW BEST:: SOT 777237 SOS 363097 HAS SOPS 353244 HAS SOUS 152777 HAS SOUPS 151684 WITH SCORE 152047.097
AT ITER 6416 NEW BEST:: SOT 777228 SOS 363088 HAS SOPS 353235 HAS SOUS 152768 HAS SOUPS 151675 WITH SCORE 152038.088
AT ITER 6418 NEW BEST:: SOT 777228 SOS 362368 HAS SOPS 352515 HAS SOUS 152768 HAS SOUPS 151675 WITH SCORE 152037.368
AT ITER 6425 NEW BEST:: SOT 777251 SOS 362367 HAS SOPS 352514 HAS SOUS 152767 HAS SOUPS 151674 WITH SCORE 152036.367
AT ITER 6433 NEW BEST:: SOT 777244 SOS 362249 HAS SOPS 352396 HAS SOUS 152753 HAS SOUPS 151660 WITH SCORE 152022.249
AT ITER 6438 NEW BEST:: SOT 777207 SOS 362212 HAS SOPS 352359 HAS SOUS 152685 HAS SOUPS 151592 WITH SCORE 151954.212
AT ITER 6452 NEW BEST:: SOT 777214 SOS 362205 HAS SOPS 352352 HAS SOUS 152636 HAS SOUPS 151543 WITH SCORE 151905.205
AT ITER 6468 NEW BEST:: SOT 777256 SOS 362079 HAS SOPS 352226 HAS SOUS 152636 HAS SOUPS 151543 WITH SCORE 151905.079
AT ITER 6471 NEW BEST:: SOT 777211 SOS 361993 HAS SOPS 352140 HAS SOUS 152499 HAS SOUPS 151406 WITH SCORE 151767.993
AT ITER 6494 NEW BEST:: SOT 777100 SOS 361882 HAS SOPS 352029 HAS SOUS 152319 HAS SOUPS 151226 WITH SCORE 151587.882
AT ITER 6510 NEW BEST:: SOT 777100 SOS 361881 HAS SOPS 352028 HAS SOUS 152310 HAS SOUPS 151217 WITH SCORE 151578.881
AT ITER 6520 NEW BEST:: SOT 777192 SOS 365327 HAS SOPS 355474 HAS SOUS 152142 HAS SOUPS 151049 WITH SCORE 151414.327
AT ITER 6538 NEW BEST:: SOT 777144 SOS 365279 HAS SOPS 355426 HAS SOUS 152064 HAS SOUPS 150971 WITH SCORE 151336.279
AT ITER 6539 NEW BEST:: SOT 777165 SOS 365273 HAS SOPS 355420 HAS SOUS 151949 HAS SOUPS 150856 WITH SCORE 151221.273
AT ITER 6606 NEW BEST:: SOT 776768 SOS 364876 HAS SOPS 355023 HAS SOUS 151155 HAS SOUPS 150062 WITH SCORE 150426.876
AT ITER 6652 NEW BEST:: SOT 776730 SOS 364843 HAS SOPS 354990 HAS SOUS 151120 HAS SOUPS 150027 WITH SCORE 150391.843
AT ITER 6685 NEW BEST:: SOT 776687 SOS 364870 HAS SOPS 355034 HAS SOUS 151034 HAS SOUPS 149941 WITH SCORE 150305.87
AT ITER 6776 NEW BEST:: SOT 776677 SOS 364860 HAS SOPS 354991 HAS SOUS 151006 HAS SOUPS 149913 WITH SCORE 150277.86
AT ITER 6779 NEW BEST:: SOT 776650 SOS 361762 HAS SOPS 351893 HAS SOUS 150966 HAS SOUPS 149873 WITH SCORE 150234.762
AT ITER 6819 NEW BEST:: SOT 776612 SOS 361702 HAS SOPS 351833 HAS SOUS 150884 HAS SOUPS 149791 WITH SCORE 150152.702
AT ITER 6833 NEW BEST:: SOT 776600 SOS 361702 HAS SOPS 351833 HAS SOUS 150872 HAS SOUPS 149779 WITH SCORE 150140.702
AT ITER 6837 NEW BEST:: SOT 776571 SOS 361673 HAS SOPS 351804 HAS SOUS 150834 HAS SOUPS 149741 WITH SCORE 150102.673
AT ITER 6866 NEW BEST:: SOT 776499 SOS 360504 HAS SOPS 350635 HAS SOUS 150726 HAS SOUPS 149633 WITH SCORE 149993.504
AT ITER 6873 NEW BEST:: SOT 776409 SOS 360413 HAS SOPS 350544 HAS SOUS 150575 HAS SOUPS 149482 WITH SCORE 149842.413
AT ITER 6909 NEW BEST:: SOT 776432 SOS 360458 HAS SOPS 350589 HAS SOUS 150546 HAS SOUPS 149453 WITH SCORE 149813.458
AT ITER 6923 NEW BEST:: SOT 776414 SOS 360440 HAS SOPS 350571 HAS SOUS 150510 HAS SOUPS 149417 WITH SCORE 149777.44
AT ITER 6924 NEW BEST:: SOT 776384 SOS 360415 HAS SOPS 350546 HAS SOUS 150480 HAS SOUPS 149387 WITH SCORE 149747.415
AT ITER 6940 NEW BEST:: SOT 776345 SOS 360396 HAS SOPS 350527 HAS SOUS 150422 HAS SOUPS 149329 WITH SCORE 149689.396
AT ITER 6941 NEW BEST:: SOT 776270 SOS 360321 HAS SOPS 350472 HAS SOUS 150362 HAS SOUPS 149269 WITH SCORE 149629.321
AT ITER 6988 NEW BEST:: SOT 776134 SOS 360468 HAS SOPS 350619 HAS SOUS 150189 HAS SOUPS 149096 WITH SCORE 149456.468
AT ITER 7014 NEW BEST:: SOT 776097 SOS 360357 HAS SOPS 350491 HAS SOUS 150098 HAS SOUPS 149005 WITH SCORE 149365.357
AT ITER 7017 NEW BEST:: SOT 776082 SOS 360342 HAS SOPS 350476 HAS SOUS 150068 HAS SOUPS 148975 WITH SCORE 149335.342
AT ITER 7028 NEW BEST:: SOT 776014 SOS 360127 HAS SOPS 350261 HAS SOUS 150050 HAS SOUPS 148957 WITH SCORE 149317.127
AT ITER 7030 NEW BEST:: SOT 776014 SOS 360109 HAS SOPS 350243 HAS SOUS 150032 HAS SOUPS 148939 WITH SCORE 149299.109
AT ITER 7031 NEW BEST:: SOT 775910 SOS 360008 HAS SOPS 350142 HAS SOUS 150025 HAS SOUPS 148932 WITH SCORE 149292.008
AT ITER 7085 NEW BEST:: SOT 775528 SOS 359675 HAS SOPS 349809 HAS SOUS 149623 HAS SOUPS 148530 WITH SCORE 148889.675
AT ITER 7106 NEW BEST:: SOT 775488 SOS 359579 HAS SOPS 349713 HAS SOUS 149525 HAS SOUPS 148432 WITH SCORE 148791.579
AT ITER 7108 NEW BEST:: SOT 775484 SOS 359507 HAS SOPS 349641 HAS SOUS 149505 HAS SOUPS 148412 WITH SCORE 148771.507
AT ITER 7109 NEW BEST:: SOT 775340 SOS 359363 HAS SOPS 349497 HAS SOUS 149493 HAS SOUPS 148400 WITH SCORE 148759.363
AT ITER 7112 NEW BEST:: SOT 775326 SOS 359377 HAS SOPS 349511 HAS SOUS 149465 HAS SOUPS 148372 WITH SCORE 148731.377
AT ITER 7129 NEW BEST:: SOT 775273 SOS 358899 HAS SOPS 349033 HAS SOUS 149452 HAS SOUPS 148359 WITH SCORE 148717.899
AT ITER 7148 NEW BEST:: SOT 775284 SOS 358792 HAS SOPS 348926 HAS SOUS 149397 HAS SOUPS 148304 WITH SCORE 148662.792
AT ITER 7152 NEW BEST:: SOT 775267 SOS 358775 HAS SOPS 348889 HAS SOUS 149371 HAS SOUPS 148278 WITH SCORE 148636.775
AT ITER 7169 NEW BEST:: SOT 775266 SOS 358341 HAS SOPS 348455 HAS SOUS 149320 HAS SOUPS 148227 WITH SCORE 148585.341
AT ITER 7176 NEW BEST:: SOT 775205 SOS 358315 HAS SOPS 348429 HAS SOUS 149198 HAS SOUPS 148105 WITH SCORE 148463.315
AT ITER 7199 NEW BEST:: SOT 775125 SOS 358235 HAS SOPS 348349 HAS SOUS 149068 HAS SOUPS 147975 WITH SCORE 148333.235
AT ITER 7202 NEW BEST:: SOT 775245 SOS 358330 HAS SOPS 348444 HAS SOUS 148738 HAS SOUPS 147645 WITH SCORE 148003.33
AT ITER 7237 NEW BEST:: SOT 775173 SOS 358206 HAS SOPS 348320 HAS SOUS 148614 HAS SOUPS 147521 WITH SCORE 147879.206
AT ITER 7242 NEW BEST:: SOT 775134 SOS 357581 HAS SOPS 347695 HAS SOUS 148585 HAS SOUPS 147492 WITH SCORE 147849.581
AT ITER 7257 NEW BEST:: SOT 775124 SOS 357571 HAS SOPS 347685 HAS SOUS 148565 HAS SOUPS 147472 WITH SCORE 147829.571
AT ITER 7264 NEW BEST:: SOT 775094 SOS 357511 HAS SOPS 347625 HAS SOUS 148505 HAS SOUPS 147412 WITH SCORE 147769.511
AT ITER 7356 NEW BEST:: SOT 775086 SOS 357503 HAS SOPS 347617 HAS SOUS 148492 HAS SOUPS 147399 WITH SCORE 147756.503
AT ITER 7392 NEW BEST:: SOT 775022 SOS 357439 HAS SOPS 347553 HAS SOUS 148428 HAS SOUPS 147335 WITH SCORE 147692.439
AT ITER 7397 NEW BEST:: SOT 775017 SOS 357434 HAS SOPS 347548 HAS SOUS 148423 HAS SOUPS 147330 WITH SCORE 147687.434
AT ITER 7440 NEW BEST:: SOT 775001 SOS 357418 HAS SOPS 347532 HAS SOUS 148400 HAS SOUPS 147307 WITH SCORE 147664.418
AT ITER 7468 NEW BEST:: SOT 774993 SOS 357410 HAS SOPS 347524 HAS SOUS 148340 HAS SOUPS 147247 WITH SCORE 147604.41
AT ITER 7482 NEW BEST:: SOT 774993 SOS 357410 HAS SOPS 347524 HAS SOUS 148336 HAS SOUPS 147243 WITH SCORE 147600.41
AT ITER 7502 NEW BEST:: SOT 774993 SOS 357368 HAS SOPS 347482 HAS SOUS 148336 HAS SOUPS 147243 WITH SCORE 147600.368
AT ITER 7521 NEW BEST:: SOT 773526 SOS 355901 HAS SOPS 346015 HAS SOUS 147974 HAS SOUPS 146881 WITH SCORE 147236.901
AT ITER 7538 NEW BEST:: SOT 773557 SOS 355943 HAS SOPS 346057 HAS SOUS 147911 HAS SOUPS 146818 WITH SCORE 147173.943
AT ITER 7563 NEW BEST:: SOT 773541 SOS 355923 HAS SOPS 346037 HAS SOUS 147888 HAS SOUPS 146795 WITH SCORE 147150.923
AT ITER 7578 NEW BEST:: SOT 773537 SOS 355919 HAS SOPS 346033 HAS SOUS 147884 HAS SOUPS 146791 WITH SCORE 147146.919
AT ITER 7590 NEW BEST:: SOT 773453 SOS 355715 HAS SOPS 345829 HAS SOUS 147807 HAS SOUPS 146714 WITH SCORE 147069.715
AT ITER 7592 NEW BEST:: SOT 773134 SOS 355396 HAS SOPS 345510 HAS SOUS 147786 HAS SOUPS 146693 WITH SCORE 147048.396
AT ITER 7594 NEW BEST:: SOT 773119 SOS 355312 HAS SOPS 345426 HAS SOUS 147710 HAS SOUPS 146617 WITH SCORE 146972.312
AT ITER 7608 NEW BEST:: SOT 773119 SOS 355217 HAS SOPS 345331 HAS SOUS 147672 HAS SOUPS 146579 WITH SCORE 146934.217
AT ITER 7621 NEW BEST:: SOT 773018 SOS 355116 HAS SOPS 345230 HAS SOUS 147451 HAS SOUPS 146358 WITH SCORE 146713.116
AT ITER 7656 NEW BEST:: SOT 773040 SOS 355138 HAS SOPS 345252 HAS SOUS 147437 HAS SOUPS 146344 WITH SCORE 146699.138
AT ITER 7683 NEW BEST:: SOT 773026 SOS 355114 HAS SOPS 345228 HAS SOUS 147379 HAS SOUPS 146286 WITH SCORE 146641.114
AT ITER 7697 NEW BEST:: SOT 773026 SOS 355097 HAS SOPS 345211 HAS SOUS 147376 HAS SOUPS 146283 WITH SCORE 146638.097
AT ITER 7705 NEW BEST:: SOT 773020 SOS 355091 HAS SOPS 345205 HAS SOUS 147358 HAS SOUPS 146265 WITH SCORE 146620.091
AT ITER 7716 NEW BEST:: SOT 772837 SOS 354902 HAS SOPS 343796 HAS SOUS 147169 HAS SOUPS 145954 WITH SCORE 146308.902
AT ITER 7735 NEW BEST:: SOT 772814 SOS 354911 HAS SOPS 343805 HAS SOUS 147155 HAS SOUPS 145940 WITH SCORE 146294.911
AT ITER 7757 NEW BEST:: SOT 772807 SOS 354897 HAS SOPS 343791 HAS SOUS 147141 HAS SOUPS 145926 WITH SCORE 146280.897
AT ITER 7764 NEW BEST:: SOT 772853 SOS 355341 HAS SOPS 344235 HAS SOUS 147117 HAS SOUPS 145902 WITH SCORE 146257.341
AT ITER 7779 NEW BEST:: SOT 772877 SOS 355365 HAS SOPS 344259 HAS SOUS 147110 HAS SOUPS 145895 WITH SCORE 146250.365
AT ITER 7780 NEW BEST:: SOT 772877 SOS 355365 HAS SOPS 344259 HAS SOUS 147101 HAS SOUPS 145886 WITH SCORE 146241.365
AT ITER 7835 NEW BEST:: SOT 772850 SOS 355311 HAS SOPS 344205 HAS SOUS 146968 HAS SOUPS 145753 WITH SCORE 146108.311
AT ITER 7875 NEW BEST:: SOT 772816 SOS 355243 HAS SOPS 344137 HAS SOUS 146900 HAS SOUPS 145685 WITH SCORE 146040.243
AT ITER 7891 NEW BEST:: SOT 772791 SOS 355193 HAS SOPS 344087 HAS SOUS 146850 HAS SOUPS 145635 WITH SCORE 145990.193
AT ITER 7901 NEW BEST:: SOT 772785 SOS 355187 HAS SOPS 344081 HAS SOUS 146844 HAS SOUPS 145629 WITH SCORE 145984.187
AT ITER 7913 NEW BEST:: SOT 772719 SOS 355121 HAS SOPS 344015 HAS SOUS 146778 HAS SOUPS 145563 WITH SCORE 145918.121
AT ITER 7914 NEW BEST:: SOT 772710 SOS 355112 HAS SOPS 344005 HAS SOUS 146777 HAS SOUPS 145562 WITH SCORE 145917.112
AT ITER 7917 NEW BEST:: SOT 772642 SOS 355044 HAS SOPS 343937 HAS SOUS 146641 HAS SOUPS 145426 WITH SCORE 145781.044
AT ITER 7964 NEW BEST:: SOT 772589 SOS 354942 HAS SOPS 343835 HAS SOUS 146535 HAS SOUPS 145320 WITH SCORE 145674.942
AT ITER 7990 NEW BEST:: SOT 771977 SOS 353198 HAS SOPS 342091 HAS SOUS 146007 HAS SOUPS 144792 WITH SCORE 145145.198
AT ITER 8009 NEW BEST:: SOT 771932 SOS 353165 HAS SOPS 342058 HAS SOUS 145959 HAS SOUPS 144744 WITH SCORE 145097.165
AT ITER 8025 NEW BEST:: SOT 771926 SOS 353159 HAS SOPS 342052 HAS SOUS 145874 HAS SOUPS 144659 WITH SCORE 145012.159
AT ITER 8083 NEW BEST:: SOT 771875 SOS 353035 HAS SOPS 341928 HAS SOUS 145773 HAS SOUPS 144558 WITH SCORE 144911.035
AT ITER 8087 NEW BEST:: SOT 771818 SOS 352949 HAS SOPS 341842 HAS SOUS 145696 HAS SOUPS 144481 WITH SCORE 144833.949
AT ITER 8142 NEW BEST:: SOT 771790 SOS 352921 HAS SOPS 341814 HAS SOUS 145682 HAS SOUPS 144467 WITH SCORE 144819.921
AT ITER 8145 NEW BEST:: SOT 771708 SOS 352757 HAS SOPS 341650 HAS SOUS 145434 HAS SOUPS 144219 WITH SCORE 144571.757
AT ITER 8147 NEW BEST:: SOT 771684 SOS 352733 HAS SOPS 341626 HAS SOUS 145402 HAS SOUPS 144187 WITH SCORE 144539.733
AT ITER 8179 NEW BEST:: SOT 771690 SOS 352483 HAS SOPS 341376 HAS SOUS 145376 HAS SOUPS 144161 WITH SCORE 144513.483
AT ITER 8264 NEW BEST:: SOT 771595 SOS 352418 HAS SOPS 341311 HAS SOUS 145285 HAS SOUPS 144070 WITH SCORE 144422.418
AT ITER 8295 NEW BEST:: SOT 771562 SOS 352385 HAS SOPS 341278 HAS SOUS 145219 HAS SOUPS 144004 WITH SCORE 144356.385
AT ITER 8335 NEW BEST:: SOT 771561 SOS 352384 HAS SOPS 341277 HAS SOUS 145217 HAS SOUPS 144002 WITH SCORE 144354.384
AT ITER 8338 NEW BEST:: SOT 771640 SOS 352377 HAS SOPS 341270 HAS SOUS 145170 HAS SOUPS 143955 WITH SCORE 144307.377
AT ITER 8341 NEW BEST:: SOT 771515 SOS 352058 HAS SOPS 340826 HAS SOUS 144868 HAS SOUPS 143653 WITH SCORE 144005.058
AT ITER 8348 NEW BEST:: SOT 771602 SOS 352145 HAS SOPS 340913 HAS SOUS 144867 HAS SOUPS 143652 WITH SCORE 144004.145
AT ITER 8378 NEW BEST:: SOT 771584 SOS 352115 HAS SOPS 340883 HAS SOUS 144855 HAS SOUPS 143640 WITH SCORE 143992.115
AT ITER 8387 NEW BEST:: SOT 771652 SOS 352191 HAS SOPS 340959 HAS SOUS 144851 HAS SOUPS 143636 WITH SCORE 143988.191
AT ITER 8405 NEW BEST:: SOT 771635 SOS 352189 HAS SOPS 340957 HAS SOUS 144783 HAS SOUPS 143568 WITH SCORE 143920.189
AT ITER 8410 NEW BEST:: SOT 771633 SOS 352187 HAS SOPS 340955 HAS SOUS 144781 HAS SOUPS 143566 WITH SCORE 143918.187
AT ITER 8429 NEW BEST:: SOT 771626 SOS 352173 HAS SOPS 340941 HAS SOUS 144767 HAS SOUPS 143552 WITH SCORE 143904.173
AT ITER 8432 NEW BEST:: SOT 771627 SOS 352174 HAS SOPS 340942 HAS SOUS 144682 HAS SOUPS 143467 WITH SCORE 143819.174
AT ITER 8434 NEW BEST:: SOT 771623 SOS 352168 HAS SOPS 340936 HAS SOUS 144674 HAS SOUPS 143459 WITH SCORE 143811.168
AT ITER 8502 NEW BEST:: SOT 771580 SOS 352125 HAS SOPS 340893 HAS SOUS 144588 HAS SOUPS 143373 WITH SCORE 143725.125
AT ITER 8503 NEW BEST:: SOT 771671 SOS 352116 HAS SOPS 340884 HAS SOUS 144545 HAS SOUPS 143330 WITH SCORE 143682.116
AT ITER 8504 NEW BEST:: SOT 771588 SOS 350823 HAS SOPS 339591 HAS SOUS 144528 HAS SOUPS 143313 WITH SCORE 143663.823
AT ITER 8552 NEW BEST:: SOT 770689 SOS 349924 HAS SOPS 338692 HAS SOUS 144093 HAS SOUPS 142878 WITH SCORE 143227.924
AT ITER 8577 NEW BEST:: SOT 770667 SOS 349865 HAS SOPS 338633 HAS SOUS 144057 HAS SOUPS 142842 WITH SCORE 143191.865
AT ITER 8600 NEW BEST:: SOT 770601 SOS 349691 HAS SOPS 338459 HAS SOUS 144042 HAS SOUPS 142827 WITH SCORE 143176.691
AT ITER 8604 NEW BEST:: SOT 770650 SOS 349393 HAS SOPS 338161 HAS SOUS 143872 HAS SOUPS 142657 WITH SCORE 143006.393
AT ITER 8611 NEW BEST:: SOT 770648 SOS 349391 HAS SOPS 338159 HAS SOUS 143869 HAS SOUPS 142654 WITH SCORE 143003.391
AT ITER 8619 NEW BEST:: SOT 770634 SOS 349377 HAS SOPS 338152 HAS SOUS 143869 HAS SOUPS 142654 WITH SCORE 143003.377
AT ITER 8629 NEW BEST:: SOT 771324 SOS 350018 HAS SOPS 338793 HAS SOUS 143761 HAS SOUPS 142546 WITH SCORE 142896.018
AT ITER 8638 NEW BEST:: SOT 771321 SOS 350015 HAS SOPS 338790 HAS SOUS 143758 HAS SOUPS 142543 WITH SCORE 142893.015
AT ITER 8639 NEW BEST:: SOT 771307 SOS 350001 HAS SOPS 338776 HAS SOUS 143730 HAS SOUPS 142515 WITH SCORE 142865.001
AT ITER 8648 NEW BEST:: SOT 771224 SOS 349877 HAS SOPS 338652 HAS SOUS 143564 HAS SOUPS 142349 WITH SCORE 142698.877
AT ITER 8650 NEW BEST:: SOT 771232 SOS 349893 HAS SOPS 338668 HAS SOUS 143542 HAS SOUPS 142327 WITH SCORE 142676.893
AT ITER 8652 NEW BEST:: SOT 771181 SOS 349818 HAS SOPS 338593 HAS SOUS 143467 HAS SOUPS 142252 WITH SCORE 142601.818
AT ITER 8660 NEW BEST:: SOT 771103 SOS 349675 HAS SOPS 338450 HAS SOUS 143236 HAS SOUPS 142021 WITH SCORE 142370.675
AT ITER 8671 NEW BEST:: SOT 771048 SOS 349620 HAS SOPS 338395 HAS SOUS 143129 HAS SOUPS 141914 WITH SCORE 142263.62
AT ITER 8676 NEW BEST:: SOT 770978 SOS 349534 HAS SOPS 338309 HAS SOUS 142995 HAS SOUPS 141780 WITH SCORE 142129.534
AT ITER 8681 NEW BEST:: SOT 770978 SOS 349495 HAS SOPS 338270 HAS SOUS 142995 HAS SOUPS 141780 WITH SCORE 142129.495
AT ITER 8695 NEW BEST:: SOT 770968 SOS 349464 HAS SOPS 338239 HAS SOUS 142971 HAS SOUPS 141756 WITH SCORE 142105.464
AT ITER 8703 NEW BEST:: SOT 770917 SOS 349435 HAS SOPS 338210 HAS SOUS 142891 HAS SOUPS 141676 WITH SCORE 142025.435
AT ITER 8711 NEW BEST:: SOT 770950 SOS 349457 HAS SOPS 338232 HAS SOUS 142748 HAS SOUPS 141533 WITH SCORE 141882.457
AT ITER 8725 NEW BEST:: SOT 770925 SOS 349407 HAS SOPS 338182 HAS SOUS 142698 HAS SOUPS 141483 WITH SCORE 141832.407
AT ITER 8727 NEW BEST:: SOT 770868 SOS 349316 HAS SOPS 338091 HAS SOUS 142540 HAS SOUPS 141325 WITH SCORE 141674.316
AT ITER 8750 NEW BEST:: SOT 770857 SOS 349311 HAS SOPS 338086 HAS SOUS 142476 HAS SOUPS 141261 WITH SCORE 141610.311
AT ITER 8853 NEW BEST:: SOT 770850 SOS 349304 HAS SOPS 338064 HAS SOUS 142462 HAS SOUPS 141247 WITH SCORE 141596.304
AT ITER 8868 NEW BEST:: SOT 770843 SOS 349297 HAS SOPS 338057 HAS SOUS 142448 HAS SOUPS 141233 WITH SCORE 141582.297
AT ITER 8874 NEW BEST:: SOT 770858 SOS 349301 HAS SOPS 338061 HAS SOUS 142413 HAS SOUPS 141198 WITH SCORE 141547.301
AT ITER 8891 NEW BEST:: SOT 770781 SOS 349224 HAS SOPS 337984 HAS SOUS 142322 HAS SOUPS 141107 WITH SCORE 141456.224
AT ITER 8911 NEW BEST:: SOT 770691 SOS 348682 HAS SOPS 337442 HAS SOUS 142184 HAS SOUPS 140969 WITH SCORE 141317.682
AT ITER 8912 NEW BEST:: SOT 770485 SOS 348534 HAS SOPS 337294 HAS SOUS 142034 HAS SOUPS 140819 WITH SCORE 141167.534
AT ITER 8924 NEW BEST:: SOT 770348 SOS 348478 HAS SOPS 337238 HAS SOUS 141879 HAS SOUPS 140664 WITH SCORE 141012.478
AT ITER 8963 NEW BEST:: SOT 770362 SOS 348492 HAS SOPS 337252 HAS SOUS 141873 HAS SOUPS 140658 WITH SCORE 141006.492
AT ITER 8972 NEW BEST:: SOT 770254 SOS 348384 HAS SOPS 337144 HAS SOUS 141657 HAS SOUPS 140442 WITH SCORE 140790.384
AT ITER 8987 NEW BEST:: SOT 770261 SOS 348398 HAS SOPS 337158 HAS SOUS 141648 HAS SOUPS 140433 WITH SCORE 140781.398
AT ITER 9001 NEW BEST:: SOT 770022 SOS 347948 HAS SOPS 336708 HAS SOUS 141466 HAS SOUPS 140251 WITH SCORE 140598.948
AT ITER 9009 NEW BEST:: SOT 769989 SOS 347945 HAS SOPS 336705 HAS SOUS 141400 HAS SOUPS 140185 WITH SCORE 140532.945
AT ITER 9010 NEW BEST:: SOT 769994 SOS 347924 HAS SOPS 336696 HAS SOUS 141395 HAS SOUPS 140180 WITH SCORE 140527.924
AT ITER 9024 NEW BEST:: SOT 769958 SOS 347888 HAS SOPS 336660 HAS SOUS 141323 HAS SOUPS 140108 WITH SCORE 140455.888
AT ITER 9026 NEW BEST:: SOT 769958 SOS 348852 HAS SOPS 337624 HAS SOUS 141214 HAS SOUPS 139999 WITH SCORE 140347.852
AT ITER 9044 NEW BEST:: SOT 769937 SOS 348712 HAS SOPS 337484 HAS SOUS 141158 HAS SOUPS 139943 WITH SCORE 140291.712
AT ITER 9062 NEW BEST:: SOT 769979 SOS 348738 HAS SOPS 337510 HAS SOUS 141102 HAS SOUPS 139887 WITH SCORE 140235.738
AT ITER 9076 NEW BEST:: SOT 769979 SOS 348768 HAS SOPS 337510 HAS SOUS 141072 HAS SOUPS 139857 WITH SCORE 140205.768
AT ITER 9098 NEW BEST:: SOT 770007 SOS 348796 HAS SOPS 337538 HAS SOUS 141070 HAS SOUPS 139855 WITH SCORE 140203.796
AT ITER 9099 NEW BEST:: SOT 770005 SOS 348794 HAS SOPS 337536 HAS SOUS 141068 HAS SOUPS 139853 WITH SCORE 140201.794
AT ITER 9123 NEW BEST:: SOT 769967 SOS 348718 HAS SOPS 337460 HAS SOUS 140992 HAS SOUPS 139777 WITH SCORE 140125.718
AT ITER 9134 NEW BEST:: SOT 769957 SOS 348688 HAS SOPS 337420 HAS SOUS 140972 HAS SOUPS 139757 WITH SCORE 140105.688
AT ITER 9143 NEW BEST:: SOT 769944 SOS 348675 HAS SOPS 337407 HAS SOUS 140948 HAS SOUPS 139733 WITH SCORE 140081.675
AT ITER 9192 NEW BEST:: SOT 769924 SOS 348635 HAS SOPS 337367 HAS SOUS 140918 HAS SOUPS 139703 WITH SCORE 140051.635
AT ITER 9210 NEW BEST:: SOT 769759 SOS 348392 HAS SOPS 337124 HAS SOUS 140588 HAS SOUPS 139373 WITH SCORE 139721.392
AT ITER 9213 NEW BEST:: SOT 769750 SOS 348383 HAS SOPS 337115 HAS SOUS 140570 HAS SOUPS 139355 WITH SCORE 139703.383
AT ITER 9217 NEW BEST:: SOT 769698 SOS 348331 HAS SOPS 337063 HAS SOUS 140570 HAS SOUPS 139355 WITH SCORE 139703.331
AT ITER 9256 NEW BEST:: SOT 769687 SOS 347990 HAS SOPS 336722 HAS SOUS 140537 HAS SOUPS 139322 WITH SCORE 139669.99
AT ITER 9258 NEW BEST:: SOT 769548 SOS 347705 HAS SOPS 336511 HAS SOUS 140508 HAS SOUPS 139293 WITH SCORE 139640.705
AT ITER 9266 NEW BEST:: SOT 769494 SOS 347597 HAS SOPS 336403 HAS SOUS 140400 HAS SOUPS 139185 WITH SCORE 139532.597
AT ITER 9287 NEW BEST:: SOT 769494 SOS 347581 HAS SOPS 336387 HAS SOUS 140360 HAS SOUPS 139145 WITH SCORE 139492.581
AT ITER 9338 NEW BEST:: SOT 769331 SOS 347458 HAS SOPS 336264 HAS SOUS 140266 HAS SOUPS 139051 WITH SCORE 139398.458
AT ITER 9393 NEW BEST:: SOT 769297 SOS 347424 HAS SOPS 336230 HAS SOUS 140232 HAS SOUPS 139017 WITH SCORE 139364.424
AT ITER 9424 NEW BEST:: SOT 769293 SOS 347416 HAS SOPS 336222 HAS SOUS 140224 HAS SOUPS 139009 WITH SCORE 139356.416
AT ITER 9432 NEW BEST:: SOT 769278 SOS 347401 HAS SOPS 336207 HAS SOUS 140194 HAS SOUPS 138979 WITH SCORE 139326.401
AT ITER 9448 NEW BEST:: SOT 769278 SOS 347408 HAS SOPS 336214 HAS SOUS 140192 HAS SOUPS 138977 WITH SCORE 139324.408
AT ITER 9457 NEW BEST:: SOT 768806 SOS 347053 HAS SOPS 335859 HAS SOUS 139939 HAS SOUPS 138724 WITH SCORE 139071.053
AT ITER 9470 NEW BEST:: SOT 768914 SOS 347039 HAS SOPS 335852 HAS SOUS 139875 HAS SOUPS 138660 WITH SCORE 139007.039
AT ITER 9475 NEW BEST:: SOT 768782 SOS 346907 HAS SOPS 335705 HAS SOUS 139656 HAS SOUPS 138441 WITH SCORE 138787.907
AT ITER 9498 NEW BEST:: SOT 768773 SOS 346931 HAS SOPS 335729 HAS SOUS 139617 HAS SOUPS 138402 WITH SCORE 138748.931
AT ITER 9545 NEW BEST:: SOT 768776 SOS 346975 HAS SOPS 335773 HAS SOUS 139598 HAS SOUPS 138383 WITH SCORE 138729.975
AT ITER 9605 NEW BEST:: SOT 768602 SOS 346801 HAS SOPS 335599 HAS SOUS 139392 HAS SOUPS 138177 WITH SCORE 138523.801
AT ITER 9614 NEW BEST:: SOT 768479 SOS 346425 HAS SOPS 335223 HAS SOUS 139341 HAS SOUPS 138126 WITH SCORE 138472.425
AT ITER 9667 NEW BEST:: SOT 768422 SOS 346368 HAS SOPS 335166 HAS SOUS 139227 HAS SOUPS 138012 WITH SCORE 138358.368
AT ITER 9684 NEW BEST:: SOT 767883 SOS 345805 HAS SOPS 334603 HAS SOUS 139077 HAS SOUPS 137862 WITH SCORE 138207.805
AT ITER 9685 NEW BEST:: SOT 767999 SOS 345892 HAS SOPS 334690 HAS SOUS 138729 HAS SOUPS 137514 WITH SCORE 137859.892
AT ITER 9723 NEW BEST:: SOT 768116 SOS 345978 HAS SOPS 334776 HAS SOUS 138522 HAS SOUPS 137307 WITH SCORE 137652.978
AT ITER 9739 NEW BEST:: SOT 768278 SOS 346117 HAS SOPS 334915 HAS SOUS 138409 HAS SOUPS 137194 WITH SCORE 137540.117
AT ITER 9753 NEW BEST:: SOT 768278 SOS 346117 HAS SOPS 334915 HAS SOUS 138392 HAS SOUPS 137177 WITH SCORE 137523.117
AT ITER 9772 NEW BEST:: SOT 768270 SOS 346109 HAS SOPS 334907 HAS SOUS 138376 HAS SOUPS 137161 WITH SCORE 137507.109
AT ITER 9781 NEW BEST:: SOT 768198 SOS 346037 HAS SOPS 334835 HAS SOUS 138232 HAS SOUPS 137017 WITH SCORE 137363.037
AT ITER 9807 NEW BEST:: SOT 768183 SOS 346022 HAS SOPS 334820 HAS SOUS 138198 HAS SOUPS 136983 WITH SCORE 137329.022
AT ITER 9812 NEW BEST:: SOT 768132 SOS 345971 HAS SOPS 334769 HAS SOUS 138102 HAS SOUPS 136887 WITH SCORE 137232.971
AT ITER 9819 NEW BEST:: SOT 768122 SOS 345952 HAS SOPS 334750 HAS SOUS 138073 HAS SOUPS 136858 WITH SCORE 137203.952
AT ITER 9840 NEW BEST:: SOT 768130 SOS 345915 HAS SOPS 334713 HAS SOUS 138041 HAS SOUPS 136826 WITH SCORE 137171.915
AT ITER 9842 NEW BEST:: SOT 768116 SOS 345901 HAS SOPS 334699 HAS SOUS 137956 HAS SOUPS 136741 WITH SCORE 137086.901
AT ITER 9859 NEW BEST:: SOT 768092 SOS 345877 HAS SOPS 334675 HAS SOUS 137932 HAS SOUPS 136717 WITH SCORE 137062.877
AT ITER 9869 NEW BEST:: SOT 768085 SOS 345870 HAS SOPS 334668 HAS SOUS 137918 HAS SOUPS 136703 WITH SCORE 137048.87
AT ITER 9871 NEW BEST:: SOT 768085 SOS 345837 HAS SOPS 334660 HAS SOUS 137918 HAS SOUPS 136703 WITH SCORE 137048.837
AT ITER 9903 NEW BEST:: SOT 768053 SOS 345773 HAS SOPS 334596 HAS SOUS 137877 HAS SOUPS 136662 WITH SCORE 137007.773
AT ITER 9924 NEW BEST:: SOT 768026 SOS 345746 HAS SOPS 334569 HAS SOUS 137823 HAS SOUPS 136608 WITH SCORE 136953.746
AT ITER 9932 NEW BEST:: SOT 768008 SOS 345710 HAS SOPS 334533 HAS SOUS 137787 HAS SOUPS 136572 WITH SCORE 136917.71
AT ITER 9995 NEW BEST:: SOT 768010 SOS 345633 HAS SOPS 334447 HAS SOUS 137762 HAS SOUPS 136547 WITH SCORE 136892.633

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-S02J06T10"
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-S02J06T10, 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-158961354800456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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