Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943000512.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-PT-S02J04T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 19K Feb 26 13:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 13:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 13:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 139K Feb 26 13:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 54K Feb 26 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 249K Feb 26 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 65K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 329K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 906K Mar 5 18:23 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 1678797685069

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S02J04T10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 752 places, 1572 transitions, 7262 arcs.
AT ITER 0 NEW BEST:: SOT 715590 SOS 379362 HAS SOPS 372459 HAS SOUS 221796 HAS SOUPS 221303 WITH SCORE 221682.362
AT ITER 24 NEW BEST:: SOT 715590 SOS 379712 HAS SOPS 372809 HAS SOUS 221723 HAS SOUPS 221230 WITH SCORE 221609.712
AT ITER 25 NEW BEST:: SOT 715538 SOS 379997 HAS SOPS 373117 HAS SOUS 221694 HAS SOUPS 221201 WITH SCORE 221580.997
AT ITER 34 NEW BEST:: SOT 715349 SOS 379618 HAS SOPS 372738 HAS SOUS 221518 HAS SOUPS 221025 WITH SCORE 221404.618
AT ITER 39 NEW BEST:: SOT 715169 SOS 379378 HAS SOPS 372498 HAS SOUS 221248 HAS SOUPS 220755 WITH SCORE 221134.378
AT ITER 40 NEW BEST:: SOT 715149 SOS 379352 HAS SOPS 372472 HAS SOUS 221222 HAS SOUPS 220729 WITH SCORE 221108.352
AT ITER 58 NEW BEST:: SOT 715025 SOS 379228 HAS SOPS 372348 HAS SOUS 221129 HAS SOUPS 220636 WITH SCORE 221015.228
AT ITER 59 NEW BEST:: SOT 714867 SOS 379141 HAS SOPS 372444 HAS SOUS 221037 HAS SOUPS 220544 WITH SCORE 220923.141
AT ITER 68 NEW BEST:: SOT 714624 SOS 378898 HAS SOPS 372201 HAS SOUS 220351 HAS SOUPS 219858 WITH SCORE 220236.898
AT ITER 84 NEW BEST:: SOT 714624 SOS 378898 HAS SOPS 372201 HAS SOUS 220341 HAS SOUPS 219848 WITH SCORE 220226.898
AT ITER 88 NEW BEST:: SOT 714366 SOS 378640 HAS SOPS 371943 HAS SOUS 219306 HAS SOUPS 218813 WITH SCORE 219191.64
AT ITER 91 NEW BEST:: SOT 714598 SOS 378587 HAS SOPS 371766 HAS SOUS 219222 HAS SOUPS 218729 WITH SCORE 219107.587
AT ITER 93 NEW BEST:: SOT 714111 SOS 378259 HAS SOPS 371438 HAS SOUS 218944 HAS SOUPS 218451 WITH SCORE 218829.259
AT ITER 95 NEW BEST:: SOT 707079 SOS 372801 HAS SOPS 364406 HAS SOUS 211990 HAS SOUPS 211209 WITH SCORE 211581.801
AT ITER 99 NEW BEST:: SOT 706644 SOS 370896 HAS SOPS 362606 HAS SOUS 211765 HAS SOUPS 210984 WITH SCORE 211354.896
AT ITER 103 NEW BEST:: SOT 706304 SOS 370622 HAS SOPS 362332 HAS SOUS 211491 HAS SOUPS 210710 WITH SCORE 211080.622
AT ITER 108 NEW BEST:: SOT 705760 SOS 370147 HAS SOPS 361857 HAS SOUS 210920 HAS SOUPS 210139 WITH SCORE 210509.147
AT ITER 111 NEW BEST:: SOT 705778 SOS 370092 HAS SOPS 361802 HAS SOUS 210230 HAS SOUPS 209449 WITH SCORE 209819.092
AT ITER 139 NEW BEST:: SOT 705753 SOS 370042 HAS SOPS 361752 HAS SOUS 210180 HAS SOUPS 209399 WITH SCORE 209769.042
AT ITER 145 NEW BEST:: SOT 705739 SOS 370042 HAS SOPS 361752 HAS SOUS 210166 HAS SOUPS 209385 WITH SCORE 209755.042
AT ITER 147 NEW BEST:: SOT 705614 SOS 369917 HAS SOPS 361627 HAS SOUS 209666 HAS SOUPS 208885 WITH SCORE 209254.917
AT ITER 157 NEW BEST:: SOT 705725 SOS 369885 HAS SOPS 361595 HAS SOUS 209634 HAS SOUPS 208853 WITH SCORE 209222.885
AT ITER 164 NEW BEST:: SOT 705653 SOS 369768 HAS SOPS 361478 HAS SOUS 209550 HAS SOUPS 208769 WITH SCORE 209138.768
AT ITER 168 NEW BEST:: SOT 705445 SOS 369929 HAS SOPS 361479 HAS SOUS 209501 HAS SOUPS 208583 WITH SCORE 208952.929
AT ITER 169 NEW BEST:: SOT 705445 SOS 369907 HAS SOPS 361457 HAS SOUS 209479 HAS SOUPS 208561 WITH SCORE 208930.907
AT ITER 176 NEW BEST:: SOT 705150 SOS 372851 HAS SOPS 364401 HAS SOUS 209299 HAS SOUPS 208381 WITH SCORE 208753.851
AT ITER 177 NEW BEST:: SOT 700062 SOS 367776 HAS SOPS 359326 HAS SOUS 206951 HAS SOUPS 206033 WITH SCORE 206400.776
AT ITER 188 NEW BEST:: SOT 699904 SOS 367692 HAS SOPS 359401 HAS SOUS 206835 HAS SOUPS 205917 WITH SCORE 206284.692
AT ITER 189 NEW BEST:: SOT 699533 SOS 367286 HAS SOPS 358995 HAS SOUS 206399 HAS SOUPS 205481 WITH SCORE 205848.286
AT ITER 191 NEW BEST:: SOT 698852 SOS 366442 HAS SOPS 357964 HAS SOUS 205631 HAS SOUPS 204713 WITH SCORE 205079.442
AT ITER 198 NEW BEST:: SOT 699311 SOS 366901 HAS SOPS 358423 HAS SOUS 205449 HAS SOUPS 204531 WITH SCORE 204897.901
AT ITER 199 NEW BEST:: SOT 699221 SOS 366805 HAS SOPS 358327 HAS SOUS 205269 HAS SOUPS 204351 WITH SCORE 204717.805
AT ITER 207 NEW BEST:: SOT 699022 SOS 366538 HAS SOPS 358060 HAS SOUS 205109 HAS SOUPS 204191 WITH SCORE 204557.538
AT ITER 214 NEW BEST:: SOT 691467 SOS 363319 HAS SOPS 354841 HAS SOUS 202850 HAS SOUPS 201932 WITH SCORE 202295.319
AT ITER 215 NEW BEST:: SOT 691116 SOS 362912 HAS SOPS 354434 HAS SOUS 202442 HAS SOUPS 201524 WITH SCORE 201886.912
AT ITER 217 NEW BEST:: SOT 691043 SOS 362790 HAS SOPS 354312 HAS SOUS 202338 HAS SOUPS 201420 WITH SCORE 201782.79
AT ITER 221 NEW BEST:: SOT 690566 SOS 362451 HAS SOPS 353973 HAS SOUS 202004 HAS SOUPS 201086 WITH SCORE 201448.451
AT ITER 222 NEW BEST:: SOT 691043 SOS 362830 HAS SOPS 354352 HAS SOUS 201782 HAS SOUPS 200864 WITH SCORE 201226.83
AT ITER 243 NEW BEST:: SOT 691029 SOS 362816 HAS SOPS 354338 HAS SOUS 201754 HAS SOUPS 200836 WITH SCORE 201198.816
AT ITER 251 NEW BEST:: SOT 689682 SOS 361474 HAS SOPS 352996 HAS SOUS 200377 HAS SOUPS 199459 WITH SCORE 199820.474
AT ITER 256 NEW BEST:: SOT 689561 SOS 361360 HAS SOPS 352882 HAS SOUS 200227 HAS SOUPS 199309 WITH SCORE 199670.36
AT ITER 277 NEW BEST:: SOT 689435 SOS 361150 HAS SOPS 352672 HAS SOUS 199975 HAS SOUPS 199057 WITH SCORE 199418.15
AT ITER 278 NEW BEST:: SOT 689435 SOS 360698 HAS SOPS 352220 HAS SOUS 199975 HAS SOUPS 199057 WITH SCORE 199417.698
AT ITER 280 NEW BEST:: SOT 688028 SOS 359346 HAS SOPS 350868 HAS SOUS 199893 HAS SOUPS 198975 WITH SCORE 199334.346
AT ITER 282 NEW BEST:: SOT 686992 SOS 358315 HAS SOPS 349837 HAS SOUS 198857 HAS SOUPS 197939 WITH SCORE 198297.315
AT ITER 286 NEW BEST:: SOT 685085 SOS 355619 HAS SOPS 347141 HAS SOUS 198039 HAS SOUPS 197121 WITH SCORE 197476.619
AT ITER 296 NEW BEST:: SOT 684918 SOS 355120 HAS SOPS 346642 HAS SOUS 197540 HAS SOUPS 196622 WITH SCORE 196977.12
AT ITER 297 NEW BEST:: SOT 684898 SOS 355100 HAS SOPS 346530 HAS SOUS 197444 HAS SOUPS 196526 WITH SCORE 196881.1
AT ITER 301 NEW BEST:: SOT 684788 SOS 354943 HAS SOPS 346373 HAS SOUS 197090 HAS SOUPS 196172 WITH SCORE 196526.943
AT ITER 305 NEW BEST:: SOT 684778 SOS 354888 HAS SOPS 346318 HAS SOUS 197035 HAS SOUPS 196117 WITH SCORE 196471.888
AT ITER 311 NEW BEST:: SOT 684301 SOS 354411 HAS SOPS 345841 HAS SOUS 195430 HAS SOUPS 194512 WITH SCORE 194866.411
AT ITER 324 NEW BEST:: SOT 684277 SOS 354338 HAS SOPS 345768 HAS SOUS 195410 HAS SOUPS 194492 WITH SCORE 194846.338
AT ITER 340 NEW BEST:: SOT 684037 SOS 353846 HAS SOPS 345276 HAS SOUS 195196 HAS SOUPS 194278 WITH SCORE 194631.846
AT ITER 342 NEW BEST:: SOT 679049 SOS 348696 HAS SOPS 339964 HAS SOUS 192801 HAS SOUPS 191883 WITH SCORE 192231.696
AT ITER 346 NEW BEST:: SOT 678942 SOS 348655 HAS SOPS 339913 HAS SOUS 192758 HAS SOUPS 191831 WITH SCORE 192179.655
AT ITER 358 NEW BEST:: SOT 678864 SOS 349499 HAS SOPS 340768 HAS SOUS 192604 HAS SOUPS 191677 WITH SCORE 192026.499
AT ITER 364 NEW BEST:: SOT 678789 SOS 349424 HAS SOPS 340693 HAS SOUS 192575 HAS SOUPS 191648 WITH SCORE 191997.424
AT ITER 371 NEW BEST:: SOT 678463 SOS 349098 HAS SOPS 340367 HAS SOUS 191137 HAS SOUPS 190210 WITH SCORE 190559.098
AT ITER 373 NEW BEST:: SOT 678439 SOS 349058 HAS SOPS 340327 HAS SOUS 191097 HAS SOUPS 190170 WITH SCORE 190519.058
AT ITER 382 NEW BEST:: SOT 678427 SOS 349033 HAS SOPS 340302 HAS SOUS 191085 HAS SOUPS 190158 WITH SCORE 190507.033
AT ITER 389 NEW BEST:: SOT 678372 SOS 348923 HAS SOPS 340192 HAS SOUS 190975 HAS SOUPS 190048 WITH SCORE 190396.923
AT ITER 390 NEW BEST:: SOT 678298 SOS 348849 HAS SOPS 340108 HAS SOUS 190874 HAS SOUPS 189947 WITH SCORE 190295.849
AT ITER 394 NEW BEST:: SOT 678214 SOS 348765 HAS SOPS 340024 HAS SOUS 190715 HAS SOUPS 189788 WITH SCORE 190136.765
AT ITER 396 NEW BEST:: SOT 676474 SOS 347065 HAS SOPS 338324 HAS SOUS 189975 HAS SOUPS 189048 WITH SCORE 189395.065
AT ITER 397 NEW BEST:: SOT 666707 SOS 353681 HAS SOPS 349776 HAS SOUS 181168 HAS SOUPS 180599 WITH SCORE 180952.681
AT ITER 403 NEW BEST:: SOT 666636 SOS 353548 HAS SOPS 349792 HAS SOUS 181157 HAS SOUPS 180596 WITH SCORE 180949.548
AT ITER 405 NEW BEST:: SOT 666636 SOS 353488 HAS SOPS 349732 HAS SOUS 181097 HAS SOUPS 180536 WITH SCORE 180889.488
AT ITER 406 NEW BEST:: SOT 666616 SOS 353468 HAS SOPS 349712 HAS SOUS 181077 HAS SOUPS 180516 WITH SCORE 180869.468
AT ITER 412 NEW BEST:: SOT 666307 SOS 353226 HAS SOPS 349470 HAS SOUS 180746 HAS SOUPS 180185 WITH SCORE 180538.226
AT ITER 419 NEW BEST:: SOT 665880 SOS 352946 HAS SOPS 349190 HAS SOUS 180436 HAS SOUPS 179875 WITH SCORE 180227.946
AT ITER 423 NEW BEST:: SOT 664872 SOS 351938 HAS SOPS 348182 HAS SOUS 180040 HAS SOUPS 179479 WITH SCORE 179830.938
AT ITER 424 NEW BEST:: SOT 661396 SOS 348226 HAS SOPS 344308 HAS SOUS 178306 HAS SOUPS 177745 WITH SCORE 178093.226
AT ITER 427 NEW BEST:: SOT 661383 SOS 347851 HAS SOPS 343933 HAS SOUS 178280 HAS SOUPS 177719 WITH SCORE 178066.851
AT ITER 439 NEW BEST:: SOT 661344 SOS 347773 HAS SOPS 343855 HAS SOUS 178279 HAS SOUPS 177718 WITH SCORE 178065.773
AT ITER 441 NEW BEST:: SOT 660970 SOS 347490 HAS SOPS 343582 HAS SOUS 177914 HAS SOUPS 177353 WITH SCORE 177700.49
AT ITER 445 NEW BEST:: SOT 660904 SOS 347360 HAS SOPS 343452 HAS SOUS 177871 HAS SOUPS 177310 WITH SCORE 177657.36
AT ITER 460 NEW BEST:: SOT 660477 SOS 347137 HAS SOPS 343229 HAS SOUS 177028 HAS SOUPS 176467 WITH SCORE 176814.137
AT ITER 473 NEW BEST:: SOT 660477 SOS 345248 HAS SOPS 341340 HAS SOUS 177028 HAS SOUPS 176467 WITH SCORE 176812.248
AT ITER 475 NEW BEST:: SOT 660477 SOS 345248 HAS SOPS 341340 HAS SOUS 177026 HAS SOUPS 176465 WITH SCORE 176810.248
AT ITER 477 NEW BEST:: SOT 660477 SOS 345230 HAS SOPS 341322 HAS SOUS 177010 HAS SOUPS 176449 WITH SCORE 176794.23
AT ITER 491 NEW BEST:: SOT 658300 SOS 343034 HAS SOPS 339126 HAS SOUS 175872 HAS SOUPS 175311 WITH SCORE 175654.034
AT ITER 497 NEW BEST:: SOT 658377 SOS 343111 HAS SOPS 339183 HAS SOUS 175784 HAS SOUPS 175223 WITH SCORE 175566.111
AT ITER 509 NEW BEST:: SOT 658278 SOS 343012 HAS SOPS 339084 HAS SOUS 175581 HAS SOUPS 175020 WITH SCORE 175363.012
AT ITER 515 NEW BEST:: SOT 658221 SOS 342914 HAS SOPS 338986 HAS SOUS 175519 HAS SOUPS 174958 WITH SCORE 175300.914
AT ITER 539 NEW BEST:: SOT 658243 SOS 342936 HAS SOPS 338988 HAS SOUS 175506 HAS SOUPS 174945 WITH SCORE 175287.936
AT ITER 558 NEW BEST:: SOT 658243 SOS 342936 HAS SOPS 338988 HAS SOUS 175482 HAS SOUPS 174921 WITH SCORE 175263.936
AT ITER 561 NEW BEST:: SOT 658229 SOS 342922 HAS SOPS 338960 HAS SOUS 175454 HAS SOUPS 174893 WITH SCORE 175235.922
AT ITER 563 NEW BEST:: SOT 658160 SOS 343002 HAS SOPS 339040 HAS SOUS 175448 HAS SOUPS 174887 WITH SCORE 175230.002
AT ITER 591 NEW BEST:: SOT 657708 SOS 340045 HAS SOPS 336083 HAS SOUS 175153 HAS SOUPS 174592 WITH SCORE 174932.045
AT ITER 593 NEW BEST:: SOT 657507 SOS 339643 HAS SOPS 335681 HAS SOUS 174751 HAS SOUPS 174190 WITH SCORE 174529.643
AT ITER 599 NEW BEST:: SOT 657504 SOS 339640 HAS SOPS 335678 HAS SOUS 174693 HAS SOUPS 174132 WITH SCORE 174471.64
AT ITER 602 NEW BEST:: SOT 657554 SOS 339634 HAS SOPS 335672 HAS SOUS 174687 HAS SOUPS 174126 WITH SCORE 174465.634
AT ITER 618 NEW BEST:: SOT 657518 SOS 339598 HAS SOPS 335636 HAS SOUS 174687 HAS SOUPS 174126 WITH SCORE 174465.598
AT ITER 626 NEW BEST:: SOT 656793 SOS 338873 HAS SOPS 334911 HAS SOUS 174362 HAS SOUPS 173801 WITH SCORE 174139.873
AT ITER 628 NEW BEST:: SOT 656754 SOS 338795 HAS SOPS 334833 HAS SOUS 174310 HAS SOUPS 173749 WITH SCORE 174087.795
AT ITER 663 NEW BEST:: SOT 656820 SOS 338679 HAS SOPS 334717 HAS SOUS 174194 HAS SOUPS 173633 WITH SCORE 173971.679
AT ITER 668 NEW BEST:: SOT 657212 SOS 324407 HAS SOPS 315584 HAS SOUS 173929 HAS SOUPS 173095 WITH SCORE 173419.407
AT ITER 672 NEW BEST:: SOT 657311 SOS 324536 HAS SOPS 315713 HAS SOUS 173221 HAS SOUPS 172387 WITH SCORE 172711.536
AT ITER 674 NEW BEST:: SOT 657300 SOS 324053 HAS SOPS 315230 HAS SOUS 173188 HAS SOUPS 172354 WITH SCORE 172678.053
AT ITER 675 NEW BEST:: SOT 657295 SOS 324048 HAS SOPS 315220 HAS SOUS 173183 HAS SOUPS 172349 WITH SCORE 172673.048
AT ITER 683 NEW BEST:: SOT 657295 SOS 324074 HAS SOPS 315246 HAS SOUS 173071 HAS SOUPS 172237 WITH SCORE 172561.074
AT ITER 684 NEW BEST:: SOT 657297 SOS 324076 HAS SOPS 315248 HAS SOUS 173002 HAS SOUPS 172168 WITH SCORE 172492.076
AT ITER 686 NEW BEST:: SOT 656588 SOS 323420 HAS SOPS 314592 HAS SOUS 172796 HAS SOUPS 171962 WITH SCORE 172285.42
AT ITER 692 NEW BEST:: SOT 656692 SOS 323429 HAS SOPS 314601 HAS SOUS 172583 HAS SOUPS 171749 WITH SCORE 172072.429
AT ITER 694 NEW BEST:: SOT 656683 SOS 323420 HAS SOPS 314592 HAS SOUS 172565 HAS SOUPS 171731 WITH SCORE 172054.42
AT ITER 711 NEW BEST:: SOT 656791 SOS 323528 HAS SOPS 314618 HAS SOUS 172524 HAS SOUPS 171690 WITH SCORE 172013.528
AT ITER 758 NEW BEST:: SOT 656791 SOS 323527 HAS SOPS 314617 HAS SOUS 172523 HAS SOUPS 171689 WITH SCORE 172012.527
AT ITER 764 NEW BEST:: SOT 656791 SOS 323060 HAS SOPS 314150 HAS SOUS 172260 HAS SOUPS 171426 WITH SCORE 171749.06
AT ITER 786 NEW BEST:: SOT 656654 SOS 322928 HAS SOPS 314018 HAS SOUS 172256 HAS SOUPS 171422 WITH SCORE 171744.928
AT ITER 792 NEW BEST:: SOT 656898 SOS 323441 HAS SOPS 314531 HAS SOUS 172233 HAS SOUPS 171399 WITH SCORE 171722.441
AT ITER 810 NEW BEST:: SOT 655651 SOS 322237 HAS SOPS 313327 HAS SOUS 171717 HAS SOUPS 170883 WITH SCORE 171205.237
AT ITER 811 NEW BEST:: SOT 655547 SOS 322133 HAS SOPS 313223 HAS SOUS 171604 HAS SOUPS 170770 WITH SCORE 171092.133
AT ITER 880 NEW BEST:: SOT 655498 SOS 322035 HAS SOPS 313125 HAS SOUS 171506 HAS SOUPS 170672 WITH SCORE 170994.035
AT ITER 883 NEW BEST:: SOT 655385 SOS 321847 HAS SOPS 313007 HAS SOUS 171489 HAS SOUPS 170661 WITH SCORE 170982.847
AT ITER 890 NEW BEST:: SOT 655361 SOS 321823 HAS SOPS 312983 HAS SOUS 171366 HAS SOUPS 170538 WITH SCORE 170859.823
AT ITER 893 NEW BEST:: SOT 655310 SOS 321768 HAS SOPS 312928 HAS SOUS 171298 HAS SOUPS 170470 WITH SCORE 170791.768
AT ITER 894 NEW BEST:: SOT 655057 SOS 321369 HAS SOPS 312529 HAS SOUS 171023 HAS SOUPS 170195 WITH SCORE 170516.369
AT ITER 907 NEW BEST:: SOT 655022 SOS 321341 HAS SOPS 312501 HAS SOUS 170673 HAS SOUPS 169845 WITH SCORE 170166.341
AT ITER 909 NEW BEST:: SOT 655019 SOS 321335 HAS SOPS 312495 HAS SOUS 170667 HAS SOUPS 169839 WITH SCORE 170160.335
AT ITER 913 NEW BEST:: SOT 654929 SOS 321202 HAS SOPS 312362 HAS SOUS 170439 HAS SOUPS 169611 WITH SCORE 169932.202
AT ITER 927 NEW BEST:: SOT 654802 SOS 320918 HAS SOPS 312077 HAS SOUS 170144 HAS SOUPS 169316 WITH SCORE 169636.918
AT ITER 929 NEW BEST:: SOT 654498 SOS 320669 HAS SOPS 311828 HAS SOUS 169868 HAS SOUPS 169040 WITH SCORE 169360.669
AT ITER 931 NEW BEST:: SOT 654435 SOS 320628 HAS SOPS 311947 HAS SOUS 169819 HAS SOUPS 168991 WITH SCORE 169311.628
AT ITER 966 NEW BEST:: SOT 654435 SOS 320574 HAS SOPS 311893 HAS SOUS 169738 HAS SOUPS 168910 WITH SCORE 169230.574
AT ITER 991 NEW BEST:: SOT 654403 SOS 320542 HAS SOPS 311861 HAS SOUS 169674 HAS SOUPS 168846 WITH SCORE 169166.542
AT ITER 993 NEW BEST:: SOT 653328 SOS 319546 HAS SOPS 310865 HAS SOUS 168678 HAS SOUPS 167850 WITH SCORE 168169.546
AT ITER 997 NEW BEST:: SOT 653294 SOS 319512 HAS SOPS 310831 HAS SOUS 168610 HAS SOUPS 167782 WITH SCORE 168101.512
AT ITER 998 NEW BEST:: SOT 653404 SOS 319536 HAS SOPS 310855 HAS SOUS 168546 HAS SOUPS 167718 WITH SCORE 168037.536
AT ITER 1003 NEW BEST:: SOT 653505 SOS 319638 HAS SOPS 310957 HAS SOUS 168539 HAS SOUPS 167711 WITH SCORE 168030.638
AT ITER 1011 NEW BEST:: SOT 653499 SOS 319673 HAS SOPS 310992 HAS SOUS 168436 HAS SOUPS 167608 WITH SCORE 167927.673
AT ITER 1013 NEW BEST:: SOT 650092 SOS 317083 HAS SOPS 308402 HAS SOUS 167219 HAS SOUPS 166391 WITH SCORE 166708.083
AT ITER 1015 NEW BEST:: SOT 649126 SOS 316122 HAS SOPS 307441 HAS SOUS 166253 HAS SOUPS 165425 WITH SCORE 165741.122
AT ITER 1016 NEW BEST:: SOT 648238 SOS 315185 HAS SOPS 306504 HAS SOUS 165228 HAS SOUPS 164400 WITH SCORE 164715.185
AT ITER 1027 NEW BEST:: SOT 648133 SOS 315010 HAS SOPS 306329 HAS SOUS 165053 HAS SOUPS 164225 WITH SCORE 164540.01
AT ITER 1032 NEW BEST:: SOT 648128 SOS 315000 HAS SOPS 306319 HAS SOUS 165021 HAS SOUPS 164193 WITH SCORE 164508.0
AT ITER 1033 NEW BEST:: SOT 648261 SOS 315083 HAS SOPS 306402 HAS SOUS 164599 HAS SOUPS 163771 WITH SCORE 164086.083
AT ITER 1041 NEW BEST:: SOT 648135 SOS 314957 HAS SOPS 306339 HAS SOUS 164597 HAS SOUPS 163769 WITH SCORE 164083.957
AT ITER 1050 NEW BEST:: SOT 647981 SOS 315222 HAS SOPS 306604 HAS SOUS 164443 HAS SOUPS 163615 WITH SCORE 163930.222
AT ITER 1052 NEW BEST:: SOT 647717 SOS 314892 HAS SOPS 306274 HAS SOUS 164113 HAS SOUPS 163285 WITH SCORE 163599.892
AT ITER 1061 NEW BEST:: SOT 647676 SOS 314813 HAS SOPS 306195 HAS SOUS 163943 HAS SOUPS 163115 WITH SCORE 163429.813
AT ITER 1065 NEW BEST:: SOT 646340 SOS 313477 HAS SOPS 304859 HAS SOUS 163520 HAS SOUPS 162692 WITH SCORE 163005.477
AT ITER 1070 NEW BEST:: SOT 646006 SOS 313289 HAS SOPS 304671 HAS SOUS 163369 HAS SOUPS 162541 WITH SCORE 162854.289
AT ITER 1088 NEW BEST:: SOT 644928 SOS 312273 HAS SOPS 303655 HAS SOUS 162620 HAS SOUPS 161792 WITH SCORE 162104.273
AT ITER 1095 NEW BEST:: SOT 645383 SOS 313148 HAS SOPS 304530 HAS SOUS 161982 HAS SOUPS 161154 WITH SCORE 161467.148
AT ITER 1122 NEW BEST:: SOT 643463 SOS 311272 HAS SOPS 302654 HAS SOUS 161130 HAS SOUPS 160302 WITH SCORE 160613.272
AT ITER 1124 NEW BEST:: SOT 643463 SOS 311200 HAS SOPS 302582 HAS SOUS 161130 HAS SOUPS 160302 WITH SCORE 160613.2
AT ITER 1128 NEW BEST:: SOT 643158 SOS 310895 HAS SOPS 302277 HAS SOUS 159248 HAS SOUPS 158420 WITH SCORE 158730.895
AT ITER 1144 NEW BEST:: SOT 643020 SOS 310757 HAS SOPS 302139 HAS SOUS 159122 HAS SOUPS 158294 WITH SCORE 158604.757
AT ITER 1145 NEW BEST:: SOT 643106 SOS 311443 HAS SOPS 302825 HAS SOUS 157374 HAS SOUPS 156546 WITH SCORE 156857.443
AT ITER 1151 NEW BEST:: SOT 643000 SOS 310867 HAS SOPS 302249 HAS SOUS 157024 HAS SOUPS 156196 WITH SCORE 156506.867
AT ITER 1155 NEW BEST:: SOT 643000 SOS 310863 HAS SOPS 302245 HAS SOUS 157024 HAS SOUPS 156196 WITH SCORE 156506.863
AT ITER 1176 NEW BEST:: SOT 642267 SOS 310211 HAS SOPS 301593 HAS SOUS 156867 HAS SOUPS 156039 WITH SCORE 156349.211
AT ITER 1192 NEW BEST:: SOT 642243 SOS 310139 HAS SOPS 301497 HAS SOUS 156819 HAS SOUPS 155991 WITH SCORE 156301.139
AT ITER 1201 NEW BEST:: SOT 642009 SOS 309547 HAS SOPS 300905 HAS SOUS 156527 HAS SOUPS 155699 WITH SCORE 156008.547
AT ITER 1212 NEW BEST:: SOT 641931 SOS 309430 HAS SOPS 300788 HAS SOUS 156410 HAS SOUPS 155582 WITH SCORE 155891.43
AT ITER 1232 NEW BEST:: SOT 641931 SOS 309430 HAS SOPS 300788 HAS SOUS 156409 HAS SOUPS 155581 WITH SCORE 155890.43
AT ITER 1239 NEW BEST:: SOT 641939 SOS 309451 HAS SOPS 300695 HAS SOUS 156370 HAS SOUPS 155480 WITH SCORE 155789.451
AT ITER 1249 NEW BEST:: SOT 641920 SOS 309422 HAS SOPS 300666 HAS SOUS 156332 HAS SOUPS 155442 WITH SCORE 155751.422
AT ITER 1262 NEW BEST:: SOT 641796 SOS 309299 HAS SOPS 300543 HAS SOUS 156210 HAS SOUPS 155320 WITH SCORE 155629.299
AT ITER 1269 NEW BEST:: SOT 641691 SOS 309194 HAS SOPS 300438 HAS SOUS 156098 HAS SOUPS 155208 WITH SCORE 155517.194
AT ITER 1277 NEW BEST:: SOT 641688 SOS 309191 HAS SOPS 300435 HAS SOUS 156090 HAS SOUPS 155200 WITH SCORE 155509.191
AT ITER 1283 NEW BEST:: SOT 641251 SOS 308233 HAS SOPS 299477 HAS SOUS 155897 HAS SOUPS 155007 WITH SCORE 155315.233
AT ITER 1304 NEW BEST:: SOT 641194 SOS 308176 HAS SOPS 299420 HAS SOUS 155822 HAS SOUPS 154932 WITH SCORE 155240.176
AT ITER 1306 NEW BEST:: SOT 641114 SOS 308088 HAS SOPS 299332 HAS SOUS 155654 HAS SOUPS 154764 WITH SCORE 155072.088
AT ITER 1316 NEW BEST:: SOT 640032 SOS 307016 HAS SOPS 298260 HAS SOUS 154822 HAS SOUPS 153932 WITH SCORE 154239.016
AT ITER 1324 NEW BEST:: SOT 640106 SOS 307272 HAS SOPS 298516 HAS SOUS 154728 HAS SOUPS 153838 WITH SCORE 154145.272
AT ITER 1358 NEW BEST:: SOT 640059 SOS 307215 HAS SOPS 298459 HAS SOUS 154634 HAS SOUPS 153744 WITH SCORE 154051.215
AT ITER 1365 NEW BEST:: SOT 640021 SOS 307700 HAS SOPS 298951 HAS SOUS 154593 HAS SOUPS 153703 WITH SCORE 154010.7
AT ITER 1370 NEW BEST:: SOT 640001 SOS 307680 HAS SOPS 298931 HAS SOUS 154553 HAS SOUPS 153663 WITH SCORE 153970.68
AT ITER 1377 NEW BEST:: SOT 640280 SOS 307795 HAS SOPS 299046 HAS SOUS 154177 HAS SOUPS 153287 WITH SCORE 153594.795
AT ITER 1385 NEW BEST:: SOT 640136 SOS 307724 HAS SOPS 299166 HAS SOUS 153991 HAS SOUPS 153101 WITH SCORE 153408.724
AT ITER 1434 NEW BEST:: SOT 639983 SOS 307381 HAS SOPS 298823 HAS SOUS 153875 HAS SOUPS 152985 WITH SCORE 153292.381
AT ITER 1435 NEW BEST:: SOT 639995 SOS 307393 HAS SOPS 298802 HAS SOUS 153818 HAS SOUPS 152928 WITH SCORE 153235.393
AT ITER 1441 NEW BEST:: SOT 639951 SOS 307393 HAS SOPS 298802 HAS SOUS 153761 HAS SOUPS 152871 WITH SCORE 153178.393
AT ITER 1443 NEW BEST:: SOT 639915 SOS 307357 HAS SOPS 298756 HAS SOUS 153706 HAS SOUPS 152814 WITH SCORE 153121.357
AT ITER 1458 NEW BEST:: SOT 639622 SOS 307238 HAS SOPS 298638 HAS SOUS 153643 HAS SOUPS 152751 WITH SCORE 153058.238
AT ITER 1504 NEW BEST:: SOT 639798 SOS 307724 HAS SOPS 299124 HAS SOUS 152248 HAS SOUPS 151356 WITH SCORE 151663.724
AT ITER 1511 NEW BEST:: SOT 639840 SOS 307889 HAS SOPS 299289 HAS SOUS 152161 HAS SOUPS 151269 WITH SCORE 151576.889
AT ITER 1513 NEW BEST:: SOT 639815 SOS 307851 HAS SOPS 299251 HAS SOUS 152151 HAS SOUPS 151259 WITH SCORE 151566.851
AT ITER 1532 NEW BEST:: SOT 639759 SOS 307795 HAS SOPS 299195 HAS SOUS 152095 HAS SOUPS 151203 WITH SCORE 151510.795
AT ITER 1538 NEW BEST:: SOT 639614 SOS 307679 HAS SOPS 299079 HAS SOUS 151892 HAS SOUPS 151000 WITH SCORE 151307.679
AT ITER 1543 NEW BEST:: SOT 639578 SOS 307661 HAS SOPS 299061 HAS SOUS 151844 HAS SOUPS 150952 WITH SCORE 151259.661
AT ITER 1548 NEW BEST:: SOT 639450 SOS 307592 HAS SOPS 298992 HAS SOUS 151788 HAS SOUPS 150896 WITH SCORE 151203.592
AT ITER 1561 NEW BEST:: SOT 639393 SOS 307466 HAS SOPS 298866 HAS SOUS 151772 HAS SOUPS 150880 WITH SCORE 151187.466
AT ITER 1585 NEW BEST:: SOT 639075 SOS 307263 HAS SOPS 298663 HAS SOUS 151572 HAS SOUPS 150680 WITH SCORE 150987.263
AT ITER 1589 NEW BEST:: SOT 639069 SOS 307125 HAS SOPS 298525 HAS SOUS 151434 HAS SOUPS 150542 WITH SCORE 150849.125
AT ITER 1594 NEW BEST:: SOT 638975 SOS 306937 HAS SOPS 298337 HAS SOUS 151287 HAS SOUPS 150395 WITH SCORE 150701.937
AT ITER 1595 NEW BEST:: SOT 638928 SOS 306777 HAS SOPS 298177 HAS SOUS 151193 HAS SOUPS 150301 WITH SCORE 150607.777
AT ITER 1610 NEW BEST:: SOT 638919 SOS 306768 HAS SOPS 298159 HAS SOUS 151172 HAS SOUPS 150277 WITH SCORE 150583.768
AT ITER 1625 NEW BEST:: SOT 638807 SOS 307272 HAS SOPS 298677 HAS SOUS 151104 HAS SOUPS 150209 WITH SCORE 150516.272
AT ITER 1640 NEW BEST:: SOT 638498 SOS 307075 HAS SOPS 298480 HAS SOUS 150784 HAS SOUPS 149889 WITH SCORE 150196.075
AT ITER 1651 NEW BEST:: SOT 637277 SOS 305818 HAS SOPS 297223 HAS SOUS 149698 HAS SOUPS 148803 WITH SCORE 149108.818
AT ITER 1667 NEW BEST:: SOT 635594 SOS 304227 HAS SOPS 295632 HAS SOUS 148102 HAS SOUPS 147207 WITH SCORE 147511.227
AT ITER 1675 NEW BEST:: SOT 635566 SOS 304666 HAS SOPS 296089 HAS SOUS 148081 HAS SOUPS 147189 WITH SCORE 147493.666
AT ITER 1678 NEW BEST:: SOT 635756 SOS 304825 HAS SOPS 296248 HAS SOUS 148062 HAS SOUPS 147170 WITH SCORE 147474.825
AT ITER 1692 NEW BEST:: SOT 635756 SOS 304489 HAS SOPS 295912 HAS SOUS 148046 HAS SOUPS 147154 WITH SCORE 147458.489
AT ITER 1717 NEW BEST:: SOT 635641 SOS 304108 HAS SOPS 295531 HAS SOUS 147990 HAS SOUPS 147098 WITH SCORE 147402.108
AT ITER 1724 NEW BEST:: SOT 635641 SOS 304074 HAS SOPS 295497 HAS SOUS 147990 HAS SOUPS 147098 WITH SCORE 147402.074
AT ITER 1735 NEW BEST:: SOT 635430 SOS 303751 HAS SOPS 295174 HAS SOUS 147798 HAS SOUPS 146906 WITH SCORE 147209.751
AT ITER 1747 NEW BEST:: SOT 635373 SOS 303694 HAS SOPS 295231 HAS SOUS 147731 HAS SOUPS 146839 WITH SCORE 147142.694
AT ITER 1754 NEW BEST:: SOT 635352 SOS 303673 HAS SOPS 295210 HAS SOUS 147689 HAS SOUPS 146797 WITH SCORE 147100.673
AT ITER 1790 NEW BEST:: SOT 635338 SOS 303607 HAS SOPS 295144 HAS SOUS 147632 HAS SOUPS 146740 WITH SCORE 147043.607
AT ITER 1798 NEW BEST:: SOT 635325 SOS 303592 HAS SOPS 294946 HAS SOUS 147461 HAS SOUPS 146527 WITH SCORE 146830.592
AT ITER 1814 NEW BEST:: SOT 635308 SOS 303558 HAS SOPS 294912 HAS SOUS 147427 HAS SOUPS 146493 WITH SCORE 146796.558
AT ITER 1855 NEW BEST:: SOT 634994 SOS 303068 HAS SOPS 294422 HAS SOUS 147040 HAS SOUPS 146106 WITH SCORE 146409.068
AT ITER 1870 NEW BEST:: SOT 634999 SOS 303073 HAS SOPS 294417 HAS SOUS 147014 HAS SOUPS 146077 WITH SCORE 146380.073
AT ITER 1875 NEW BEST:: SOT 634993 SOS 303061 HAS SOPS 294405 HAS SOUS 146918 HAS SOUPS 145981 WITH SCORE 146284.061
AT ITER 1876 NEW BEST:: SOT 634919 SOS 302987 HAS SOPS 294331 HAS SOUS 146896 HAS SOUPS 145959 WITH SCORE 146261.987
AT ITER 1881 NEW BEST:: SOT 634892 SOS 303013 HAS SOPS 294357 HAS SOUS 146798 HAS SOUPS 145861 WITH SCORE 146164.013
AT ITER 1893 NEW BEST:: SOT 634566 SOS 302348 HAS SOPS 293692 HAS SOUS 146579 HAS SOUPS 145642 WITH SCORE 145944.348
AT ITER 1913 NEW BEST:: SOT 634566 SOS 302348 HAS SOPS 293689 HAS SOUS 146579 HAS SOUPS 145639 WITH SCORE 145941.348
AT ITER 1941 NEW BEST:: SOT 634501 SOS 303115 HAS SOPS 294469 HAS SOUS 146542 HAS SOUPS 145602 WITH SCORE 145905.115
AT ITER 1952 NEW BEST:: SOT 634483 SOS 303214 HAS SOPS 294568 HAS SOUS 146485 HAS SOUPS 145545 WITH SCORE 145848.214
AT ITER 1958 NEW BEST:: SOT 634449 SOS 303081 HAS SOPS 294463 HAS SOUS 146384 HAS SOUPS 145444 WITH SCORE 145747.081
AT ITER 1971 NEW BEST:: SOT 634412 SOS 303044 HAS SOPS 294426 HAS SOUS 146349 HAS SOUPS 145409 WITH SCORE 145712.044
AT ITER 1973 NEW BEST:: SOT 634402 SOS 303024 HAS SOPS 294406 HAS SOUS 146329 HAS SOUPS 145389 WITH SCORE 145692.024
AT ITER 2030 NEW BEST:: SOT 633939 SOS 303244 HAS SOPS 294626 HAS SOUS 146025 HAS SOUPS 145085 WITH SCORE 145388.244
AT ITER 2087 NEW BEST:: SOT 633878 SOS 303183 HAS SOPS 294565 HAS SOUS 146009 HAS SOUPS 145069 WITH SCORE 145372.183
AT ITER 2094 NEW BEST:: SOT 633876 SOS 303181 HAS SOPS 294563 HAS SOUS 146005 HAS SOUPS 145065 WITH SCORE 145368.181
AT ITER 2119 NEW BEST:: SOT 633826 SOS 303145 HAS SOPS 294527 HAS SOUS 145913 HAS SOUPS 144973 WITH SCORE 145276.145
AT ITER 2120 NEW BEST:: SOT 633696 SOS 302838 HAS SOPS 294220 HAS SOUS 145873 HAS SOUPS 144933 WITH SCORE 145235.838
AT ITER 2123 NEW BEST:: SOT 633688 SOS 302830 HAS SOPS 294212 HAS SOUS 145857 HAS SOUPS 144917 WITH SCORE 145219.83
AT ITER 2131 NEW BEST:: SOT 633590 SOS 302691 HAS SOPS 294073 HAS SOUS 145689 HAS SOUPS 144749 WITH SCORE 145051.691
AT ITER 2147 NEW BEST:: SOT 633387 SOS 302278 HAS SOPS 293660 HAS SOUS 145396 HAS SOUPS 144456 WITH SCORE 144758.278
AT ITER 2152 NEW BEST:: SOT 633333 SOS 302170 HAS SOPS 293552 HAS SOUS 145387 HAS SOUPS 144447 WITH SCORE 144749.17
AT ITER 2153 NEW BEST:: SOT 633681 SOS 302518 HAS SOPS 293970 HAS SOUS 145100 HAS SOUPS 144160 WITH SCORE 144462.518
AT ITER 2167 NEW BEST:: SOT 633718 SOS 302768 HAS SOPS 294220 HAS SOUS 145082 HAS SOUPS 144142 WITH SCORE 144444.768
AT ITER 2168 NEW BEST:: SOT 633718 SOS 302674 HAS SOPS 294126 HAS SOUS 144887 HAS SOUPS 143947 WITH SCORE 144249.674
AT ITER 2191 NEW BEST:: SOT 633604 SOS 302560 HAS SOPS 294012 HAS SOUS 144773 HAS SOUPS 143833 WITH SCORE 144135.56
AT ITER 2193 NEW BEST:: SOT 633234 SOS 302370 HAS SOPS 293822 HAS SOUS 144583 HAS SOUPS 143643 WITH SCORE 143945.37
AT ITER 2197 NEW BEST:: SOT 633300 SOS 302436 HAS SOPS 293888 HAS SOUS 143974 HAS SOUPS 143034 WITH SCORE 143336.436
AT ITER 2222 NEW BEST:: SOT 633282 SOS 302481 HAS SOPS 293933 HAS SOUS 143919 HAS SOUPS 142979 WITH SCORE 143281.481
AT ITER 2226 NEW BEST:: SOT 633320 SOS 302821 HAS SOPS 294273 HAS SOUS 143889 HAS SOUPS 142949 WITH SCORE 143251.821
AT ITER 2243 NEW BEST:: SOT 633184 SOS 302685 HAS SOPS 294137 HAS SOUS 143617 HAS SOUPS 142677 WITH SCORE 142979.685
AT ITER 2255 NEW BEST:: SOT 633137 SOS 302628 HAS SOPS 294080 HAS SOUS 143523 HAS SOUPS 142583 WITH SCORE 142885.628
AT ITER 2270 NEW BEST:: SOT 633005 SOS 302496 HAS SOPS 293948 HAS SOUS 143394 HAS SOUPS 142454 WITH SCORE 142756.496
AT ITER 2296 NEW BEST:: SOT 632902 SOS 302439 HAS SOPS 293891 HAS SOUS 143337 HAS SOUPS 142397 WITH SCORE 142699.439
AT ITER 2310 NEW BEST:: SOT 632817 SOS 302358 HAS SOPS 293810 HAS SOUS 143222 HAS SOUPS 142282 WITH SCORE 142584.358
AT ITER 2319 NEW BEST:: SOT 632846 SOS 302413 HAS SOPS 293749 HAS SOUS 143189 HAS SOUPS 142249 WITH SCORE 142551.413
AT ITER 2320 NEW BEST:: SOT 632935 SOS 302467 HAS SOPS 293592 HAS SOUS 143065 HAS SOUPS 142125 WITH SCORE 142427.467
AT ITER 2322 NEW BEST:: SOT 632928 SOS 302496 HAS SOPS 293621 HAS SOUS 142965 HAS SOUPS 142025 WITH SCORE 142327.496
AT ITER 2331 NEW BEST:: SOT 632928 SOS 302496 HAS SOPS 293621 HAS SOUS 142959 HAS SOUPS 142019 WITH SCORE 142321.496
AT ITER 2357 NEW BEST:: SOT 632904 SOS 301987 HAS SOPS 293112 HAS SOUS 142890 HAS SOUPS 141950 WITH SCORE 142251.987
AT ITER 2381 NEW BEST:: SOT 632810 SOS 301931 HAS SOPS 293056 HAS SOUS 142881 HAS SOUPS 141941 WITH SCORE 142242.931
AT ITER 2401 NEW BEST:: SOT 632807 SOS 301850 HAS SOPS 293014 HAS SOUS 142878 HAS SOUPS 141941 WITH SCORE 142242.85
AT ITER 2405 NEW BEST:: SOT 632851 SOS 301894 HAS SOPS 292991 HAS SOUS 142863 HAS SOUPS 141926 WITH SCORE 142227.894
AT ITER 2416 NEW BEST:: SOT 631190 SOS 300341 HAS SOPS 291438 HAS SOUS 142336 HAS SOUPS 141399 WITH SCORE 141699.341
AT ITER 2418 NEW BEST:: SOT 631190 SOS 300341 HAS SOPS 291438 HAS SOUS 142311 HAS SOUPS 141374 WITH SCORE 141674.341
AT ITER 2445 NEW BEST:: SOT 631064 SOS 300156 HAS SOPS 291253 HAS SOUS 141917 HAS SOUPS 140980 WITH SCORE 141280.156
AT ITER 2459 NEW BEST:: SOT 631050 SOS 300142 HAS SOPS 291239 HAS SOUS 141889 HAS SOUPS 140952 WITH SCORE 141252.142
AT ITER 2464 NEW BEST:: SOT 630912 SOS 300073 HAS SOPS 291170 HAS SOUS 141766 HAS SOUPS 140829 WITH SCORE 141129.073
AT ITER 2472 NEW BEST:: SOT 630807 SOS 299973 HAS SOPS 291070 HAS SOUS 141669 HAS SOUPS 140732 WITH SCORE 141031.973
AT ITER 2481 NEW BEST:: SOT 630807 SOS 299974 HAS SOPS 291071 HAS SOUS 141665 HAS SOUPS 140728 WITH SCORE 141027.974
AT ITER 2486 NEW BEST:: SOT 630789 SOS 299944 HAS SOPS 291041 HAS SOUS 141635 HAS SOUPS 140698 WITH SCORE 140997.944
AT ITER 2490 NEW BEST:: SOT 630786 SOS 299922 HAS SOPS 291019 HAS SOUS 141628 HAS SOUPS 140691 WITH SCORE 140990.922
AT ITER 2491 NEW BEST:: SOT 630754 SOS 299890 HAS SOPS 290945 HAS SOUS 141507 HAS SOUPS 140570 WITH SCORE 140869.89
AT ITER 2538 NEW BEST:: SOT 630754 SOS 299957 HAS SOPS 291012 HAS SOUS 141475 HAS SOUPS 140538 WITH SCORE 140837.957
AT ITER 2545 NEW BEST:: SOT 630744 SOS 298856 HAS SOPS 290969 HAS SOUS 141427 HAS SOUPS 140520 WITH SCORE 140818.856
AT ITER 2547 NEW BEST:: SOT 630691 SOS 298803 HAS SOPS 290916 HAS SOUS 141364 HAS SOUPS 140457 WITH SCORE 140755.803
AT ITER 2552 NEW BEST:: SOT 630561 SOS 298730 HAS SOPS 290843 HAS SOUS 141196 HAS SOUPS 140289 WITH SCORE 140587.73
AT ITER 2570 NEW BEST:: SOT 630600 SOS 298541 HAS SOPS 290654 HAS SOUS 141007 HAS SOUPS 140100 WITH SCORE 140398.541
AT ITER 2577 NEW BEST:: SOT 630652 SOS 298821 HAS SOPS 290934 HAS SOUS 140736 HAS SOUPS 139829 WITH SCORE 140127.821
AT ITER 2585 NEW BEST:: SOT 630528 SOS 298697 HAS SOPS 290810 HAS SOUS 140488 HAS SOUPS 139581 WITH SCORE 139879.697
AT ITER 2595 NEW BEST:: SOT 630440 SOS 298690 HAS SOPS 290803 HAS SOUS 140445 HAS SOUPS 139538 WITH SCORE 139836.69
AT ITER 2609 NEW BEST:: SOT 630145 SOS 297921 HAS SOPS 290034 HAS SOUS 140005 HAS SOUPS 139098 WITH SCORE 139395.921
AT ITER 2613 NEW BEST:: SOT 630130 SOS 297936 HAS SOPS 290064 HAS SOUS 139963 HAS SOUPS 139056 WITH SCORE 139353.936
AT ITER 2633 NEW BEST:: SOT 630125 SOS 297909 HAS SOPS 290037 HAS SOUS 139926 HAS SOUPS 139019 WITH SCORE 139316.909
AT ITER 2638 NEW BEST:: SOT 630121 SOS 297905 HAS SOPS 290029 HAS SOUS 139914 HAS SOUPS 139007 WITH SCORE 139304.905
AT ITER 2649 NEW BEST:: SOT 630131 SOS 297925 HAS SOPS 290049 HAS SOUS 139875 HAS SOUPS 138968 WITH SCORE 139265.925
AT ITER 2656 NEW BEST:: SOT 630102 SOS 299670 HAS SOPS 290133 HAS SOUS 139867 HAS SOUPS 138919 WITH SCORE 139218.67
AT ITER 2657 NEW BEST:: SOT 630137 SOS 299712 HAS SOPS 290175 HAS SOUS 139849 HAS SOUPS 138901 WITH SCORE 139200.712
AT ITER 2687 NEW BEST:: SOT 630124 SOS 299686 HAS SOPS 290149 HAS SOUS 139823 HAS SOUPS 138875 WITH SCORE 139174.686
AT ITER 2702 NEW BEST:: SOT 630061 SOS 299678 HAS SOPS 290141 HAS SOUS 139656 HAS SOUPS 138708 WITH SCORE 139007.678
AT ITER 2711 NEW BEST:: SOT 630059 SOS 299198 HAS SOPS 287921 HAS SOUS 139666 HAS SOUPS 138544 WITH SCORE 138843.198
AT ITER 2722 NEW BEST:: SOT 629957 SOS 299069 HAS SOPS 287792 HAS SOUS 139524 HAS SOUPS 138402 WITH SCORE 138701.069
AT ITER 2743 NEW BEST:: SOT 629888 SOS 299000 HAS SOPS 287723 HAS SOUS 139386 HAS SOUPS 138264 WITH SCORE 138563.0
AT ITER 2748 NEW BEST:: SOT 629906 SOS 298991 HAS SOPS 287714 HAS SOUS 139377 HAS SOUPS 138255 WITH SCORE 138553.991
AT ITER 2751 NEW BEST:: SOT 629950 SOS 299029 HAS SOPS 287752 HAS SOUS 139353 HAS SOUPS 138231 WITH SCORE 138530.029
AT ITER 2754 NEW BEST:: SOT 629878 SOS 299006 HAS SOPS 287852 HAS SOUS 139331 HAS SOUPS 138209 WITH SCORE 138508.006
AT ITER 2762 NEW BEST:: SOT 629595 SOS 298744 HAS SOPS 287590 HAS SOUS 139038 HAS SOUPS 137916 WITH SCORE 138214.744
AT ITER 2781 NEW BEST:: SOT 629684 SOS 298833 HAS SOPS 287647 HAS SOUS 139012 HAS SOUPS 137890 WITH SCORE 138188.833
AT ITER 2791 NEW BEST:: SOT 629713 SOS 298862 HAS SOPS 287635 HAS SOUS 138938 HAS SOUPS 137816 WITH SCORE 138114.862
AT ITER 2795 NEW BEST:: SOT 629681 SOS 298829 HAS SOPS 287602 HAS SOUS 138898 HAS SOUPS 137776 WITH SCORE 138074.829
AT ITER 2811 NEW BEST:: SOT 629697 SOS 298845 HAS SOPS 287618 HAS SOUS 138842 HAS SOUPS 137720 WITH SCORE 138018.845
AT ITER 2815 NEW BEST:: SOT 628551 SOS 297640 HAS SOPS 286413 HAS SOUS 138197 HAS SOUPS 137075 WITH SCORE 137372.64
AT ITER 2816 NEW BEST:: SOT 628548 SOS 297587 HAS SOPS 286360 HAS SOUS 138194 HAS SOUPS 137072 WITH SCORE 137369.587
AT ITER 2820 NEW BEST:: SOT 628479 SOS 297518 HAS SOPS 286291 HAS SOUS 138155 HAS SOUPS 137033 WITH SCORE 137330.518
AT ITER 2839 NEW BEST:: SOT 628446 SOS 297412 HAS SOPS 286185 HAS SOUS 138049 HAS SOUPS 136927 WITH SCORE 137224.412
AT ITER 2863 NEW BEST:: SOT 624522 SOS 293488 HAS SOPS 282261 HAS SOUS 136477 HAS SOUPS 135355 WITH SCORE 135648.488
AT ITER 2864 NEW BEST:: SOT 624516 SOS 293476 HAS SOPS 282249 HAS SOUS 136465 HAS SOUPS 135343 WITH SCORE 135636.476
AT ITER 2871 NEW BEST:: SOT 624371 SOS 293360 HAS SOPS 282133 HAS SOUS 136262 HAS SOUPS 135140 WITH SCORE 135433.36
AT ITER 2883 NEW BEST:: SOT 624364 SOS 293354 HAS SOPS 282127 HAS SOUS 136248 HAS SOUPS 135126 WITH SCORE 135419.354
AT ITER 2884 NEW BEST:: SOT 624354 SOS 293334 HAS SOPS 282107 HAS SOUS 136130 HAS SOUPS 135008 WITH SCORE 135301.334
AT ITER 2886 NEW BEST:: SOT 624308 SOS 293288 HAS SOPS 282061 HAS SOUS 135282 HAS SOUPS 134160 WITH SCORE 134453.288
AT ITER 2945 NEW BEST:: SOT 624253 SOS 293323 HAS SOPS 282096 HAS SOUS 135154 HAS SOUPS 134032 WITH SCORE 134325.323
AT ITER 2954 NEW BEST:: SOT 623931 SOS 293053 HAS SOPS 281826 HAS SOUS 135153 HAS SOUPS 134031 WITH SCORE 134324.053
AT ITER 2963 NEW BEST:: SOT 623927 SOS 293051 HAS SOPS 281824 HAS SOUS 135151 HAS SOUPS 134029 WITH SCORE 134322.051
AT ITER 2972 NEW BEST:: SOT 623892 SOS 293087 HAS SOPS 281853 HAS SOUS 135138 HAS SOUPS 134016 WITH SCORE 134309.087
AT ITER 2976 NEW BEST:: SOT 623879 SOS 293009 HAS SOPS 281775 HAS SOUS 135125 HAS SOUPS 134003 WITH SCORE 134296.009
AT ITER 2980 NEW BEST:: SOT 623879 SOS 292898 HAS SOPS 281664 HAS SOUS 135125 HAS SOUPS 134003 WITH SCORE 134295.898
AT ITER 2993 NEW BEST:: SOT 623991 SOS 292805 HAS SOPS 281455 HAS SOUS 135128 HAS SOUPS 133890 WITH SCORE 134182.805
AT ITER 3009 NEW BEST:: SOT 623894 SOS 292742 HAS SOPS 281392 HAS SOUS 135002 HAS SOUPS 133764 WITH SCORE 134056.742
AT ITER 3016 NEW BEST:: SOT 623877 SOS 292710 HAS SOPS 281360 HAS SOUS 134985 HAS SOUPS 133747 WITH SCORE 134039.71
AT ITER 3020 NEW BEST:: SOT 623841 SOS 292655 HAS SOPS 281305 HAS SOUS 134930 HAS SOUPS 133692 WITH SCORE 133984.655
AT ITER 3037 NEW BEST:: SOT 623841 SOS 292671 HAS SOPS 281321 HAS SOUS 134832 HAS SOUPS 133594 WITH SCORE 133886.671
AT ITER 3047 NEW BEST:: SOT 623877 SOS 292634 HAS SOPS 281284 HAS SOUS 134637 HAS SOUPS 133399 WITH SCORE 133691.634
AT ITER 3074 NEW BEST:: SOT 624156 SOS 292913 HAS SOPS 281563 HAS SOUS 134382 HAS SOUPS 133144 WITH SCORE 133436.913
AT ITER 3078 NEW BEST:: SOT 624156 SOS 292914 HAS SOPS 281564 HAS SOUS 134381 HAS SOUPS 133143 WITH SCORE 133435.914
AT ITER 3083 NEW BEST:: SOT 624161 SOS 292919 HAS SOPS 281559 HAS SOUS 134362 HAS SOUPS 133122 WITH SCORE 133414.919
AT ITER 3086 NEW BEST:: SOT 624094 SOS 292838 HAS SOPS 281478 HAS SOUS 134212 HAS SOUPS 132972 WITH SCORE 133264.838
AT ITER 3094 NEW BEST:: SOT 624053 SOS 292797 HAS SOPS 281437 HAS SOUS 134171 HAS SOUPS 132931 WITH SCORE 133223.797
AT ITER 3114 NEW BEST:: SOT 622268 SOS 291012 HAS SOPS 279652 HAS SOUS 133726 HAS SOUPS 132486 WITH SCORE 132777.012
AT ITER 3117 NEW BEST:: SOT 622268 SOS 291012 HAS SOPS 279652 HAS SOUS 133717 HAS SOUPS 132477 WITH SCORE 132768.012
AT ITER 3118 NEW BEST:: SOT 622202 SOS 290572 HAS SOPS 279250 HAS SOUS 133543 HAS SOUPS 132303 WITH SCORE 132593.572
AT ITER 3128 NEW BEST:: SOT 622165 SOS 290572 HAS SOPS 279250 HAS SOUS 133469 HAS SOUPS 132229 WITH SCORE 132519.572
AT ITER 3147 NEW BEST:: SOT 622129 SOS 290608 HAS SOPS 279286 HAS SOUS 133289 HAS SOUPS 132049 WITH SCORE 132339.608
AT ITER 3162 NEW BEST:: SOT 619424 SOS 288069 HAS SOPS 276747 HAS SOUS 133071 HAS SOUPS 131831 WITH SCORE 132119.069
AT ITER 3174 NEW BEST:: SOT 619466 SOS 288111 HAS SOPS 276789 HAS SOUS 133047 HAS SOUPS 131807 WITH SCORE 132095.111
AT ITER 3178 NEW BEST:: SOT 617570 SOS 286306 HAS SOPS 274984 HAS SOUS 132218 HAS SOUPS 130978 WITH SCORE 131264.306
AT ITER 3207 NEW BEST:: SOT 617568 SOS 286302 HAS SOPS 274980 HAS SOUS 132216 HAS SOUPS 130976 WITH SCORE 131262.302
AT ITER 3221 NEW BEST:: SOT 617559 SOS 286269 HAS SOPS 274947 HAS SOUS 132210 HAS SOUPS 130970 WITH SCORE 131256.269
AT ITER 3268 NEW BEST:: SOT 617457 SOS 286710 HAS SOPS 275403 HAS SOUS 132045 HAS SOUPS 130808 WITH SCORE 131094.71
AT ITER 3271 NEW BEST:: SOT 617449 SOS 286710 HAS SOPS 275387 HAS SOUS 132021 HAS SOUPS 130784 WITH SCORE 131070.71
AT ITER 3296 NEW BEST:: SOT 617449 SOS 286677 HAS SOPS 275354 HAS SOUS 131988 HAS SOUPS 130751 WITH SCORE 131037.677
AT ITER 3313 NEW BEST:: SOT 617448 SOS 286675 HAS SOPS 275352 HAS SOUS 131986 HAS SOUPS 130749 WITH SCORE 131035.675
AT ITER 3320 NEW BEST:: SOT 617439 SOS 286666 HAS SOPS 275343 HAS SOUS 131970 HAS SOUPS 130733 WITH SCORE 131019.666
AT ITER 3335 NEW BEST:: SOT 616737 SOS 285866 HAS SOPS 274491 HAS SOUS 131612 HAS SOUPS 130375 WITH SCORE 130660.866
AT ITER 3345 NEW BEST:: SOT 616681 SOS 285810 HAS SOPS 274323 HAS SOUS 131471 HAS SOUPS 130234 WITH SCORE 130519.81
AT ITER 3356 NEW BEST:: SOT 616634 SOS 286017 HAS SOPS 274536 HAS SOUS 131410 HAS SOUPS 130173 WITH SCORE 130459.017
AT ITER 3364 NEW BEST:: SOT 616634 SOS 285907 HAS SOPS 274426 HAS SOUS 131410 HAS SOUPS 130173 WITH SCORE 130458.907
AT ITER 3365 NEW BEST:: SOT 616600 SOS 285856 HAS SOPS 274375 HAS SOUS 131342 HAS SOUPS 130105 WITH SCORE 130390.856
AT ITER 3386 NEW BEST:: SOT 616582 SOS 285783 HAS SOPS 274232 HAS SOUS 131260 HAS SOUPS 130023 WITH SCORE 130308.783
AT ITER 3458 NEW BEST:: SOT 616558 SOS 285759 HAS SOPS 274202 HAS SOUS 131198 HAS SOUPS 129961 WITH SCORE 130246.759
AT ITER 3462 NEW BEST:: SOT 617508 SOS 286608 HAS SOPS 275051 HAS SOUS 130663 HAS SOUPS 129426 WITH SCORE 129712.608
AT ITER 3473 NEW BEST:: SOT 617508 SOS 286582 HAS SOPS 275051 HAS SOUS 130579 HAS SOUPS 129342 WITH SCORE 129628.582
AT ITER 3499 NEW BEST:: SOT 617479 SOS 286553 HAS SOPS 275022 HAS SOUS 130550 HAS SOUPS 129313 WITH SCORE 129599.553
AT ITER 3500 NEW BEST:: SOT 617441 SOS 286515 HAS SOPS 274984 HAS SOUS 130507 HAS SOUPS 129270 WITH SCORE 129556.515
AT ITER 3508 NEW BEST:: SOT 617440 SOS 286514 HAS SOPS 274983 HAS SOUS 130121 HAS SOUPS 128884 WITH SCORE 129170.514
AT ITER 3519 NEW BEST:: SOT 615741 SOS 284740 HAS SOPS 273209 HAS SOUS 129459 HAS SOUPS 128222 WITH SCORE 128506.74
AT ITER 3534 NEW BEST:: SOT 615472 SOS 284594 HAS SOPS 273063 HAS SOUS 129318 HAS SOUPS 128081 WITH SCORE 128365.594
AT ITER 3555 NEW BEST:: SOT 615272 SOS 284394 HAS SOPS 272863 HAS SOUS 129118 HAS SOUPS 127881 WITH SCORE 128165.394
AT ITER 3567 NEW BEST:: SOT 615269 SOS 284391 HAS SOPS 272860 HAS SOUS 129102 HAS SOUPS 127865 WITH SCORE 128149.391
AT ITER 3573 NEW BEST:: SOT 615176 SOS 284331 HAS SOPS 272800 HAS SOUS 128998 HAS SOUPS 127761 WITH SCORE 128045.331
AT ITER 3586 NEW BEST:: SOT 615226 SOS 284350 HAS SOPS 272819 HAS SOUS 128967 HAS SOUPS 127730 WITH SCORE 128014.35
AT ITER 3589 NEW BEST:: SOT 615215 SOS 284328 HAS SOPS 272797 HAS SOUS 128945 HAS SOUPS 127708 WITH SCORE 127992.328
AT ITER 3597 NEW BEST:: SOT 615179 SOS 284256 HAS SOPS 272725 HAS SOUS 128873 HAS SOUPS 127636 WITH SCORE 127920.256
AT ITER 3612 NEW BEST:: SOT 615151 SOS 284224 HAS SOPS 272693 HAS SOUS 128869 HAS SOUPS 127632 WITH SCORE 127916.224
AT ITER 3623 NEW BEST:: SOT 612463 SOS 281632 HAS SOPS 270101 HAS SOUS 127813 HAS SOUPS 126576 WITH SCORE 126857.632
AT ITER 3632 NEW BEST:: SOT 612440 SOS 281609 HAS SOPS 270051 HAS SOUS 127787 HAS SOUPS 126550 WITH SCORE 126831.609
AT ITER 3662 NEW BEST:: SOT 612309 SOS 281478 HAS SOPS 269920 HAS SOUS 127565 HAS SOUPS 126328 WITH SCORE 126609.478
AT ITER 3665 NEW BEST:: SOT 612783 SOS 281999 HAS SOPS 270441 HAS SOUS 127512 HAS SOUPS 126275 WITH SCORE 126556.999
AT ITER 3670 NEW BEST:: SOT 612758 SOS 281953 HAS SOPS 270395 HAS SOUS 127462 HAS SOUPS 126225 WITH SCORE 126506.953
AT ITER 3676 NEW BEST:: SOT 612726 SOS 281889 HAS SOPS 270331 HAS SOUS 127398 HAS SOUPS 126161 WITH SCORE 126442.889
AT ITER 3690 NEW BEST:: SOT 612726 SOS 282037 HAS SOPS 270519 HAS SOUS 127371 HAS SOUPS 126138 WITH SCORE 126420.037
AT ITER 3721 NEW BEST:: SOT 612712 SOS 282079 HAS SOPS 270561 HAS SOUS 127368 HAS SOUPS 126135 WITH SCORE 126417.079
AT ITER 3727 NEW BEST:: SOT 612695 SOS 282045 HAS SOPS 270527 HAS SOUS 127344 HAS SOUPS 126111 WITH SCORE 126393.045
AT ITER 3731 NEW BEST:: SOT 612657 SOS 282007 HAS SOPS 270489 HAS SOUS 127268 HAS SOUPS 126035 WITH SCORE 126317.007
AT ITER 3736 NEW BEST:: SOT 612619 SOS 281984 HAS SOPS 270467 HAS SOUS 127250 HAS SOUPS 126017 WITH SCORE 126298.984
AT ITER 3763 NEW BEST:: SOT 612588 SOS 281903 HAS SOPS 270386 HAS SOUS 127122 HAS SOUPS 125889 WITH SCORE 126170.903
AT ITER 3766 NEW BEST:: SOT 612582 SOS 281897 HAS SOPS 270380 HAS SOUS 127035 HAS SOUPS 125802 WITH SCORE 126083.897
AT ITER 3791 NEW BEST:: SOT 612569 SOS 281455 HAS SOPS 269925 HAS SOUS 126959 HAS SOUPS 125725 WITH SCORE 126006.455
AT ITER 3797 NEW BEST:: SOT 612667 SOS 281553 HAS SOPS 269986 HAS SOUS 126934 HAS SOUPS 125700 WITH SCORE 125981.553
AT ITER 3809 NEW BEST:: SOT 612851 SOS 281469 HAS SOPS 269902 HAS SOUS 126918 HAS SOUPS 125684 WITH SCORE 125965.469
AT ITER 3813 NEW BEST:: SOT 612819 SOS 281373 HAS SOPS 269806 HAS SOUS 126918 HAS SOUPS 125684 WITH SCORE 125965.373
AT ITER 3827 NEW BEST:: SOT 612999 SOS 281503 HAS SOPS 269936 HAS SOUS 126477 HAS SOUPS 125243 WITH SCORE 125524.503
AT ITER 3861 NEW BEST:: SOT 612953 SOS 281699 HAS SOPS 270144 HAS SOUS 126436 HAS SOUPS 125202 WITH SCORE 125483.699
AT ITER 3900 NEW BEST:: SOT 612953 SOS 281641 HAS SOPS 270086 HAS SOUS 126436 HAS SOUPS 125202 WITH SCORE 125483.641
AT ITER 3901 NEW BEST:: SOT 612950 SOS 281617 HAS SOPS 270062 HAS SOUS 126430 HAS SOUPS 125196 WITH SCORE 125477.617
AT ITER 3922 NEW BEST:: SOT 612912 SOS 281596 HAS SOPS 270085 HAS SOUS 126418 HAS SOUPS 125184 WITH SCORE 125465.596
AT ITER 3926 NEW BEST:: SOT 612844 SOS 281449 HAS SOPS 269938 HAS SOUS 126271 HAS SOUPS 125037 WITH SCORE 125318.449
AT ITER 3935 NEW BEST:: SOT 612844 SOS 281447 HAS SOPS 269936 HAS SOUS 126270 HAS SOUPS 125036 WITH SCORE 125317.447
AT ITER 3942 NEW BEST:: SOT 612844 SOS 281450 HAS SOPS 269939 HAS SOUS 126264 HAS SOUPS 125030 WITH SCORE 125311.45
AT ITER 3956 NEW BEST:: SOT 612739 SOS 281275 HAS SOPS 269764 HAS SOUS 126054 HAS SOUPS 124820 WITH SCORE 125101.275
AT ITER 3957 NEW BEST:: SOT 612615 SOS 281151 HAS SOPS 269640 HAS SOUS 125930 HAS SOUPS 124696 WITH SCORE 124977.151
AT ITER 3960 NEW BEST:: SOT 612511 SOS 281048 HAS SOPS 269537 HAS SOUS 125763 HAS SOUPS 124529 WITH SCORE 124810.048
AT ITER 3970 NEW BEST:: SOT 612435 SOS 280814 HAS SOPS 269249 HAS SOUS 125551 HAS SOUPS 124317 WITH SCORE 124597.814
AT ITER 4031 NEW BEST:: SOT 612401 SOS 280824 HAS SOPS 269259 HAS SOUS 125517 HAS SOUPS 124283 WITH SCORE 124563.824
AT ITER 4053 NEW BEST:: SOT 612399 SOS 280790 HAS SOPS 269231 HAS SOUS 125485 HAS SOUPS 124251 WITH SCORE 124531.79
AT ITER 4058 NEW BEST:: SOT 612372 SOS 280736 HAS SOPS 269177 HAS SOUS 125409 HAS SOUPS 124175 WITH SCORE 124455.736
AT ITER 4076 NEW BEST:: SOT 612312 SOS 280647 HAS SOPS 269088 HAS SOUS 124989 HAS SOUPS 123755 WITH SCORE 124035.647
AT ITER 4082 NEW BEST:: SOT 612252 SOS 280577 HAS SOPS 269018 HAS SOUS 124859 HAS SOUPS 123625 WITH SCORE 123905.577
AT ITER 4138 NEW BEST:: SOT 612244 SOS 280574 HAS SOPS 269015 HAS SOUS 124856 HAS SOUPS 123622 WITH SCORE 123902.574
AT ITER 4145 NEW BEST:: SOT 612217 SOS 280538 HAS SOPS 268979 HAS SOUS 124820 HAS SOUPS 123586 WITH SCORE 123866.538
AT ITER 4150 NEW BEST:: SOT 612153 SOS 283168 HAS SOPS 271609 HAS SOUS 124802 HAS SOUPS 123568 WITH SCORE 123851.168
AT ITER 4194 NEW BEST:: SOT 612177 SOS 283295 HAS SOPS 271633 HAS SOUS 124747 HAS SOUPS 123513 WITH SCORE 123796.295
AT ITER 4217 NEW BEST:: SOT 612167 SOS 283280 HAS SOPS 271618 HAS SOUS 124727 HAS SOUPS 123493 WITH SCORE 123776.28
AT ITER 4230 NEW BEST:: SOT 612158 SOS 283262 HAS SOPS 271600 HAS SOUS 124709 HAS SOUPS 123475 WITH SCORE 123758.262
AT ITER 4251 NEW BEST:: SOT 612264 SOS 283405 HAS SOPS 271565 HAS SOUS 124708 HAS SOUPS 123474 WITH SCORE 123757.405
AT ITER 4261 NEW BEST:: SOT 612236 SOS 283405 HAS SOPS 271565 HAS SOUS 124582 HAS SOUPS 123348 WITH SCORE 123631.405
AT ITER 4267 NEW BEST:: SOT 612162 SOS 283307 HAS SOPS 271467 HAS SOUS 124407 HAS SOUPS 123173 WITH SCORE 123456.307
AT ITER 4272 NEW BEST:: SOT 612111 SOS 283256 HAS SOPS 271416 HAS SOUS 124325 HAS SOUPS 123091 WITH SCORE 123374.256
AT ITER 4284 NEW BEST:: SOT 612111 SOS 283256 HAS SOPS 271416 HAS SOUS 124304 HAS SOUPS 123070 WITH SCORE 123353.256
AT ITER 4298 NEW BEST:: SOT 612103 SOS 283248 HAS SOPS 271408 HAS SOUS 124292 HAS SOUPS 123058 WITH SCORE 123341.248
AT ITER 4302 NEW BEST:: SOT 612103 SOS 283272 HAS SOPS 271384 HAS SOUS 124244 HAS SOUPS 123010 WITH SCORE 123293.272
AT ITER 4326 NEW BEST:: SOT 612042 SOS 283211 HAS SOPS 271323 HAS SOUS 124175 HAS SOUPS 122941 WITH SCORE 123224.211
AT ITER 4331 NEW BEST:: SOT 612018 SOS 283187 HAS SOPS 271299 HAS SOUS 124161 HAS SOUPS 122927 WITH SCORE 123210.187
AT ITER 4336 NEW BEST:: SOT 611984 SOS 283241 HAS SOPS 271353 HAS SOUS 124138 HAS SOUPS 122904 WITH SCORE 123187.241
AT ITER 4344 NEW BEST:: SOT 611975 SOS 283214 HAS SOPS 271326 HAS SOUS 124100 HAS SOUPS 122866 WITH SCORE 123149.214
AT ITER 4349 NEW BEST:: SOT 611985 SOS 283292 HAS SOPS 271404 HAS SOUS 123950 HAS SOUPS 122716 WITH SCORE 122999.292
AT ITER 4362 NEW BEST:: SOT 611968 SOS 283275 HAS SOPS 271387 HAS SOUS 123913 HAS SOUPS 122679 WITH SCORE 122962.275
AT ITER 4394 NEW BEST:: SOT 611965 SOS 283255 HAS SOPS 271367 HAS SOUS 123863 HAS SOUPS 122629 WITH SCORE 122912.255
AT ITER 4413 NEW BEST:: SOT 611933 SOS 283223 HAS SOPS 271335 HAS SOUS 123824 HAS SOUPS 122590 WITH SCORE 122873.223
AT ITER 4418 NEW BEST:: SOT 611929 SOS 283219 HAS SOPS 271331 HAS SOUS 123816 HAS SOUPS 122582 WITH SCORE 122865.219
AT ITER 4438 NEW BEST:: SOT 611918 SOS 283200 HAS SOPS 271312 HAS SOUS 123813 HAS SOUPS 122579 WITH SCORE 122862.2
AT ITER 4471 NEW BEST:: SOT 611765 SOS 283047 HAS SOPS 271159 HAS SOUS 123660 HAS SOUPS 122426 WITH SCORE 122709.047
AT ITER 4479 NEW BEST:: SOT 611720 SOS 283002 HAS SOPS 271114 HAS SOUS 123583 HAS SOUPS 122349 WITH SCORE 122632.002
AT ITER 4491 NEW BEST:: SOT 611640 SOS 282832 HAS SOPS 270944 HAS SOUS 123458 HAS SOUPS 122224 WITH SCORE 122506.832
AT ITER 4532 NEW BEST:: SOT 611496 SOS 282700 HAS SOPS 270812 HAS SOUS 123182 HAS SOUPS 121948 WITH SCORE 122230.7
AT ITER 4551 NEW BEST:: SOT 611418 SOS 282622 HAS SOPS 270734 HAS SOUS 123104 HAS SOUPS 121870 WITH SCORE 122152.622
AT ITER 4567 NEW BEST:: SOT 611219 SOS 282423 HAS SOPS 270363 HAS SOUS 122947 HAS SOUPS 121541 WITH SCORE 121823.423
AT ITER 4572 NEW BEST:: SOT 611219 SOS 282417 HAS SOPS 270357 HAS SOUS 122934 HAS SOUPS 121528 WITH SCORE 121810.417
AT ITER 4586 NEW BEST:: SOT 611217 SOS 282415 HAS SOPS 270355 HAS SOUS 122932 HAS SOUPS 121526 WITH SCORE 121808.415
AT ITER 4587 NEW BEST:: SOT 611235 SOS 282401 HAS SOPS 270340 HAS SOUS 122910 HAS SOUPS 121504 WITH SCORE 121786.401
AT ITER 4596 NEW BEST:: SOT 611228 SOS 282394 HAS SOPS 270326 HAS SOUS 122895 HAS SOUPS 121489 WITH SCORE 121771.394
AT ITER 4602 NEW BEST:: SOT 611076 SOS 282310 HAS SOPS 270242 HAS SOUS 122743 HAS SOUPS 121337 WITH SCORE 121619.31
AT ITER 4632 NEW BEST:: SOT 611094 SOS 282313 HAS SOPS 270245 HAS SOUS 122731 HAS SOUPS 121325 WITH SCORE 121607.313
AT ITER 4633 NEW BEST:: SOT 611064 SOS 282264 HAS SOPS 270196 HAS SOUS 122681 HAS SOUPS 121275 WITH SCORE 121557.264
AT ITER 4657 NEW BEST:: SOT 610996 SOS 282162 HAS SOPS 270094 HAS SOUS 122511 HAS SOUPS 121105 WITH SCORE 121387.162
AT ITER 4664 NEW BEST:: SOT 610995 SOS 282160 HAS SOPS 270092 HAS SOUS 122496 HAS SOUPS 121090 WITH SCORE 121372.16
AT ITER 4701 NEW BEST:: SOT 610950 SOS 282262 HAS SOPS 270194 HAS SOUS 122429 HAS SOUPS 121023 WITH SCORE 121305.262
AT ITER 4717 NEW BEST:: SOT 610722 SOS 281660 HAS SOPS 269592 HAS SOUS 122161 HAS SOUPS 120755 WITH SCORE 121036.66
AT ITER 4730 NEW BEST:: SOT 610632 SOS 281682 HAS SOPS 269791 HAS SOUS 122132 HAS SOUPS 120726 WITH SCORE 121007.682
AT ITER 4745 NEW BEST:: SOT 610632 SOS 281682 HAS SOPS 269791 HAS SOUS 122094 HAS SOUPS 120688 WITH SCORE 120969.682
AT ITER 4753 NEW BEST:: SOT 610637 SOS 281680 HAS SOPS 269789 HAS SOUS 122092 HAS SOUPS 120686 WITH SCORE 120967.68
AT ITER 4759 NEW BEST:: SOT 610637 SOS 281626 HAS SOPS 269735 HAS SOUS 122092 HAS SOUPS 120686 WITH SCORE 120967.626
AT ITER 4761 NEW BEST:: SOT 610624 SOS 281600 HAS SOPS 269709 HAS SOUS 122053 HAS SOUPS 120647 WITH SCORE 120928.6
AT ITER 4799 NEW BEST:: SOT 610688 SOS 281664 HAS SOPS 269773 HAS SOUS 122050 HAS SOUPS 120644 WITH SCORE 120925.664
AT ITER 4808 NEW BEST:: SOT 610660 SOS 281636 HAS SOPS 269745 HAS SOUS 121994 HAS SOUPS 120588 WITH SCORE 120869.636
AT ITER 4827 NEW BEST:: SOT 610654 SOS 281627 HAS SOPS 269736 HAS SOUS 121985 HAS SOUPS 120579 WITH SCORE 120860.627
AT ITER 4832 NEW BEST:: SOT 610654 SOS 281627 HAS SOPS 269735 HAS SOUS 121983 HAS SOUPS 120577 WITH SCORE 120858.627
AT ITER 4833 NEW BEST:: SOT 610603 SOS 281566 HAS SOPS 269674 HAS SOUS 121885 HAS SOUPS 120479 WITH SCORE 120760.566
AT ITER 4837 NEW BEST:: SOT 610612 SOS 281575 HAS SOPS 269674 HAS SOUS 121876 HAS SOUPS 120470 WITH SCORE 120751.575
AT ITER 4902 NEW BEST:: SOT 610600 SOS 281551 HAS SOPS 269650 HAS SOUS 121852 HAS SOUPS 120446 WITH SCORE 120727.551
AT ITER 4912 NEW BEST:: SOT 610600 SOS 281551 HAS SOPS 269650 HAS SOUS 121830 HAS SOUPS 120424 WITH SCORE 120705.551
AT ITER 4939 NEW BEST:: SOT 610611 SOS 281562 HAS SOPS 269616 HAS SOUS 121717 HAS SOUPS 120311 WITH SCORE 120592.562
AT ITER 4945 NEW BEST:: SOT 610628 SOS 281508 HAS SOPS 269562 HAS SOUS 121677 HAS SOUPS 120271 WITH SCORE 120552.508
AT ITER 4953 NEW BEST:: SOT 610619 SOS 281499 HAS SOPS 269553 HAS SOUS 121659 HAS SOUPS 120253 WITH SCORE 120534.499
AT ITER 5002 NEW BEST:: SOT 610637 SOS 281517 HAS SOPS 269553 HAS SOUS 121641 HAS SOUPS 120235 WITH SCORE 120516.517
AT ITER 5025 NEW BEST:: SOT 610622 SOS 281502 HAS SOPS 269538 HAS SOUS 121616 HAS SOUPS 120210 WITH SCORE 120491.502
AT ITER 5060 NEW BEST:: SOT 610622 SOS 281502 HAS SOPS 269538 HAS SOUS 121613 HAS SOUPS 120207 WITH SCORE 120488.502
AT ITER 5113 NEW BEST:: SOT 610376 SOS 281012 HAS SOPS 269048 HAS SOUS 121365 HAS SOUPS 119959 WITH SCORE 120240.012
AT ITER 5116 NEW BEST:: SOT 610370 SOS 281000 HAS SOPS 269036 HAS SOUS 121353 HAS SOUPS 119947 WITH SCORE 120228.0
AT ITER 5121 NEW BEST:: SOT 610370 SOS 281000 HAS SOPS 269036 HAS SOUS 121340 HAS SOUPS 119934 WITH SCORE 120215.0
AT ITER 5122 NEW BEST:: SOT 610365 SOS 280995 HAS SOPS 269026 HAS SOUS 121325 HAS SOUPS 119919 WITH SCORE 120199.995
AT ITER 5162 NEW BEST:: SOT 610069 SOS 280699 HAS SOPS 268730 HAS SOUS 121107 HAS SOUPS 119701 WITH SCORE 119981.699
AT ITER 5167 NEW BEST:: SOT 608575 SOS 279205 HAS SOPS 267236 HAS SOUS 120474 HAS SOUPS 119068 WITH SCORE 119347.205
AT ITER 5175 NEW BEST:: SOT 608574 SOS 279204 HAS SOPS 267234 HAS SOUS 120473 HAS SOUPS 119067 WITH SCORE 119346.204
AT ITER 5179 NEW BEST:: SOT 608574 SOS 279052 HAS SOPS 267082 HAS SOUS 120463 HAS SOUPS 119057 WITH SCORE 119336.052
AT ITER 5181 NEW BEST:: SOT 608737 SOS 279214 HAS SOPS 267090 HAS SOUS 120357 HAS SOUPS 118951 WITH SCORE 119230.214
AT ITER 5203 NEW BEST:: SOT 608744 SOS 278983 HAS SOPS 266859 HAS SOUS 120239 HAS SOUPS 118833 WITH SCORE 119111.983
AT ITER 5221 NEW BEST:: SOT 608674 SOS 278923 HAS SOPS 266799 HAS SOUS 120099 HAS SOUPS 118693 WITH SCORE 118971.923
AT ITER 5259 NEW BEST:: SOT 608666 SOS 278835 HAS SOPS 266719 HAS SOUS 120091 HAS SOUPS 118685 WITH SCORE 118963.835
AT ITER 5280 NEW BEST:: SOT 608655 SOS 278820 HAS SOPS 266704 HAS SOUS 120069 HAS SOUPS 118663 WITH SCORE 118941.82
AT ITER 5283 NEW BEST:: SOT 608644 SOS 278809 HAS SOPS 266723 HAS SOUS 120062 HAS SOUPS 118656 WITH SCORE 118934.809
AT ITER 5349 NEW BEST:: SOT 608642 SOS 278789 HAS SOPS 266723 HAS SOUS 120060 HAS SOUPS 118656 WITH SCORE 118934.789
AT ITER 5370 NEW BEST:: SOT 608641 SOS 278787 HAS SOPS 266721 HAS SOUS 120058 HAS SOUPS 118654 WITH SCORE 118932.787
AT ITER 5374 NEW BEST:: SOT 608601 SOS 278571 HAS SOPS 266505 HAS SOUS 119978 HAS SOUPS 118574 WITH SCORE 118852.571
AT ITER 5388 NEW BEST:: SOT 608587 SOS 278557 HAS SOPS 266491 HAS SOUS 119950 HAS SOUPS 118546 WITH SCORE 118824.557
AT ITER 5390 NEW BEST:: SOT 608588 SOS 278495 HAS SOPS 266429 HAS SOUS 119890 HAS SOUPS 118486 WITH SCORE 118764.495
AT ITER 5391 NEW BEST:: SOT 608580 SOS 278513 HAS SOPS 266447 HAS SOUS 119869 HAS SOUPS 118465 WITH SCORE 118743.513
AT ITER 5397 NEW BEST:: SOT 608580 SOS 278053 HAS SOPS 265987 HAS SOUS 119869 HAS SOUPS 118465 WITH SCORE 118743.053
AT ITER 5403 NEW BEST:: SOT 608514 SOS 277950 HAS SOPS 265884 HAS SOUS 119737 HAS SOUPS 118333 WITH SCORE 118610.95
AT ITER 5420 NEW BEST:: SOT 608499 SOS 277940 HAS SOPS 265874 HAS SOUS 119737 HAS SOUPS 118333 WITH SCORE 118610.94
AT ITER 5436 NEW BEST:: SOT 608499 SOS 277920 HAS SOPS 265854 HAS SOUS 119717 HAS SOUPS 118313 WITH SCORE 118590.92
AT ITER 5465 NEW BEST:: SOT 608435 SOS 277449 HAS SOPS 265383 HAS SOUS 119693 HAS SOUPS 118289 WITH SCORE 118566.449
AT ITER 5501 NEW BEST:: SOT 608403 SOS 277429 HAS SOPS 265363 HAS SOUS 119673 HAS SOUPS 118269 WITH SCORE 118546.429
AT ITER 5504 NEW BEST:: SOT 608378 SOS 277420 HAS SOPS 265354 HAS SOUS 119637 HAS SOUPS 118233 WITH SCORE 118510.42
AT ITER 5520 NEW BEST:: SOT 608366 SOS 277372 HAS SOPS 265306 HAS SOUS 119589 HAS SOUPS 118185 WITH SCORE 118462.372
AT ITER 5573 NEW BEST:: SOT 608279 SOS 277285 HAS SOPS 265219 HAS SOUS 119549 HAS SOUPS 118145 WITH SCORE 118422.285
AT ITER 5578 NEW BEST:: SOT 608090 SOS 277096 HAS SOPS 265030 HAS SOUS 119273 HAS SOUPS 117869 WITH SCORE 118146.096
AT ITER 5595 NEW BEST:: SOT 607783 SOS 276762 HAS SOPS 264696 HAS SOUS 118958 HAS SOUPS 117554 WITH SCORE 117830.762
AT ITER 5598 NEW BEST:: SOT 607779 SOS 276784 HAS SOPS 264718 HAS SOUS 118920 HAS SOUPS 117516 WITH SCORE 117792.784
AT ITER 5605 NEW BEST:: SOT 607734 SOS 276737 HAS SOPS 264671 HAS SOUS 118865 HAS SOUPS 117461 WITH SCORE 117737.737
AT ITER 5610 NEW BEST:: SOT 607557 SOS 276950 HAS SOPS 264884 HAS SOUS 118783 HAS SOUPS 117379 WITH SCORE 117655.95
AT ITER 5637 NEW BEST:: SOT 607345 SOS 276509 HAS SOPS 264443 HAS SOUS 118342 HAS SOUPS 116938 WITH SCORE 117214.509
AT ITER 5645 NEW BEST:: SOT 607336 SOS 276444 HAS SOPS 264378 HAS SOUS 118277 HAS SOUPS 116873 WITH SCORE 117149.444
AT ITER 5653 NEW BEST:: SOT 607407 SOS 276515 HAS SOPS 264449 HAS SOUS 118267 HAS SOUPS 116863 WITH SCORE 117139.515
AT ITER 5683 NEW BEST:: SOT 607387 SOS 276495 HAS SOPS 264429 HAS SOUS 118207 HAS SOUPS 116803 WITH SCORE 117079.495
AT ITER 5694 NEW BEST:: SOT 607372 SOS 276480 HAS SOPS 264410 HAS SOUS 118186 HAS SOUPS 116782 WITH SCORE 117058.48
AT ITER 5707 NEW BEST:: SOT 607361 SOS 276458 HAS SOPS 264388 HAS SOUS 118164 HAS SOUPS 116760 WITH SCORE 117036.458
AT ITER 5729 NEW BEST:: SOT 606868 SOS 276004 HAS SOPS 263934 HAS SOUS 117986 HAS SOUPS 116582 WITH SCORE 116858.004
AT ITER 5738 NEW BEST:: SOT 606868 SOS 275998 HAS SOPS 263928 HAS SOUS 117986 HAS SOUPS 116582 WITH SCORE 116857.998
AT ITER 5747 NEW BEST:: SOT 606858 SOS 275978 HAS SOPS 263908 HAS SOUS 117966 HAS SOUPS 116562 WITH SCORE 116837.978
AT ITER 5808 NEW BEST:: SOT 606838 SOS 275958 HAS SOPS 263888 HAS SOUS 117946 HAS SOUPS 116542 WITH SCORE 116817.958
AT ITER 5822 NEW BEST:: SOT 606790 SOS 275926 HAS SOPS 263856 HAS SOUS 117914 HAS SOUPS 116510 WITH SCORE 116785.926
AT ITER 5876 NEW BEST:: SOT 606784 SOS 275920 HAS SOPS 263850 HAS SOUS 117899 HAS SOUPS 116495 WITH SCORE 116770.92
AT ITER 5931 NEW BEST:: SOT 606778 SOS 275796 HAS SOPS 263726 HAS SOUS 117837 HAS SOUPS 116433 WITH SCORE 116708.796
AT ITER 5950 NEW BEST:: SOT 606740 SOS 275713 HAS SOPS 263643 HAS SOUS 117776 HAS SOUPS 116372 WITH SCORE 116647.713
AT ITER 5952 NEW BEST:: SOT 606723 SOS 275696 HAS SOPS 263626 HAS SOUS 117708 HAS SOUPS 116304 WITH SCORE 116579.696
AT ITER 6008 NEW BEST:: SOT 606686 SOS 275659 HAS SOPS 263600 HAS SOUS 117696 HAS SOUPS 116292 WITH SCORE 116567.659
AT ITER 6017 NEW BEST:: SOT 606668 SOS 275497 HAS SOPS 263438 HAS SOUS 117696 HAS SOUPS 116292 WITH SCORE 116567.497
AT ITER 6041 NEW BEST:: SOT 606658 SOS 275487 HAS SOPS 263428 HAS SOUS 117676 HAS SOUPS 116272 WITH SCORE 116547.487
AT ITER 6045 NEW BEST:: SOT 606642 SOS 275471 HAS SOPS 263412 HAS SOUS 117644 HAS SOUPS 116240 WITH SCORE 116515.471
AT ITER 6065 NEW BEST:: SOT 606642 SOS 275454 HAS SOPS 263395 HAS SOUS 117610 HAS SOUPS 116206 WITH SCORE 116481.454
AT ITER 6091 NEW BEST:: SOT 606559 SOS 275366 HAS SOPS 263307 HAS SOUS 117539 HAS SOUPS 116135 WITH SCORE 116410.366
AT ITER 6107 NEW BEST:: SOT 606525 SOS 275397 HAS SOPS 263344 HAS SOUS 117536 HAS SOUPS 116132 WITH SCORE 116407.397
AT ITER 6111 NEW BEST:: SOT 606513 SOS 275404 HAS SOPS 263351 HAS SOUS 117481 HAS SOUPS 116077 WITH SCORE 116352.404
AT ITER 6138 NEW BEST:: SOT 606516 SOS 275407 HAS SOPS 263354 HAS SOUS 117473 HAS SOUPS 116069 WITH SCORE 116344.407
AT ITER 6150 NEW BEST:: SOT 606277 SOS 275228 HAS SOPS 263175 HAS SOUS 117234 HAS SOUPS 115830 WITH SCORE 116105.228
AT ITER 6151 NEW BEST:: SOT 606277 SOS 275222 HAS SOPS 263166 HAS SOUS 117234 HAS SOUPS 115830 WITH SCORE 116105.222
AT ITER 6153 NEW BEST:: SOT 606158 SOS 275157 HAS SOPS 263101 HAS SOUS 117104 HAS SOUPS 115700 WITH SCORE 115975.157
AT ITER 6174 NEW BEST:: SOT 606038 SOS 275037 HAS SOPS 262981 HAS SOUS 116777 HAS SOUPS 115373 WITH SCORE 115648.037
AT ITER 6178 NEW BEST:: SOT 606129 SOS 275091 HAS SOPS 263035 HAS SOUS 116761 HAS SOUPS 115357 WITH SCORE 115632.091
AT ITER 6200 NEW BEST:: SOT 606112 SOS 275021 HAS SOPS 262965 HAS SOUS 116727 HAS SOUPS 115323 WITH SCORE 115598.021
AT ITER 6219 NEW BEST:: SOT 606073 SOS 274982 HAS SOPS 262926 HAS SOUS 116727 HAS SOUPS 115323 WITH SCORE 115597.982
AT ITER 6222 NEW BEST:: SOT 606081 SOS 274894 HAS SOPS 262838 HAS SOUS 116684 HAS SOUPS 115280 WITH SCORE 115554.894
AT ITER 6227 NEW BEST:: SOT 606061 SOS 274884 HAS SOPS 262828 HAS SOUS 116684 HAS SOUPS 115280 WITH SCORE 115554.884
AT ITER 6231 NEW BEST:: SOT 606043 SOS 274866 HAS SOPS 262810 HAS SOUS 116666 HAS SOUPS 115262 WITH SCORE 115536.866
AT ITER 6236 NEW BEST:: SOT 605964 SOS 274918 HAS SOPS 262862 HAS SOUS 116599 HAS SOUPS 115195 WITH SCORE 115469.918
AT ITER 6252 NEW BEST:: SOT 605798 SOS 274723 HAS SOPS 262667 HAS SOUS 116440 HAS SOUPS 115036 WITH SCORE 115310.723
AT ITER 6264 NEW BEST:: SOT 605678 SOS 274420 HAS SOPS 262364 HAS SOUS 116261 HAS SOUPS 114857 WITH SCORE 115131.42
AT ITER 6271 NEW BEST:: SOT 605669 SOS 274411 HAS SOPS 262355 HAS SOUS 116223 HAS SOUPS 114819 WITH SCORE 115093.411
AT ITER 6283 NEW BEST:: SOT 605538 SOS 273910 HAS SOPS 261854 HAS SOUS 116109 HAS SOUPS 114705 WITH SCORE 114978.91
AT ITER 6326 NEW BEST:: SOT 605530 SOS 273902 HAS SOPS 261846 HAS SOUS 116097 HAS SOUPS 114693 WITH SCORE 114966.902
AT ITER 6363 NEW BEST:: SOT 605526 SOS 273898 HAS SOPS 261842 HAS SOUS 116036 HAS SOUPS 114632 WITH SCORE 114905.898
AT ITER 6395 NEW BEST:: SOT 605501 SOS 273836 HAS SOPS 261780 HAS SOUS 115974 HAS SOUPS 114570 WITH SCORE 114843.836
AT ITER 6397 NEW BEST:: SOT 605447 SOS 273782 HAS SOPS 261726 HAS SOUS 115866 HAS SOUPS 114462 WITH SCORE 114735.782
AT ITER 6401 NEW BEST:: SOT 605430 SOS 274101 HAS SOPS 262042 HAS SOUS 115842 HAS SOUPS 114438 WITH SCORE 114712.101
AT ITER 6411 NEW BEST:: SOT 605310 SOS 273876 HAS SOPS 261817 HAS SOUS 115617 HAS SOUPS 114213 WITH SCORE 114486.876
AT ITER 6451 NEW BEST:: SOT 605284 SOS 273837 HAS SOPS 261778 HAS SOUS 115552 HAS SOUPS 114148 WITH SCORE 114421.837
AT ITER 6456 NEW BEST:: SOT 605275 SOS 273900 HAS SOPS 261841 HAS SOUS 115543 HAS SOUPS 114139 WITH SCORE 114412.9
AT ITER 6460 NEW BEST:: SOT 605272 SOS 273897 HAS SOPS 261832 HAS SOUS 115531 HAS SOUPS 114127 WITH SCORE 114400.897
AT ITER 6463 NEW BEST:: SOT 605249 SOS 273874 HAS SOPS 261809 HAS SOUS 115508 HAS SOUPS 114104 WITH SCORE 114377.874
AT ITER 6467 NEW BEST:: SOT 605246 SOS 269972 HAS SOPS 257907 HAS SOUS 115350 HAS SOUPS 113946 WITH SCORE 114215.972
AT ITER 6477 NEW BEST:: SOT 605238 SOS 270043 HAS SOPS 257978 HAS SOUS 115334 HAS SOUPS 113930 WITH SCORE 114200.043
AT ITER 6478 NEW BEST:: SOT 605252 SOS 270057 HAS SOPS 257992 HAS SOUS 115324 HAS SOUPS 113920 WITH SCORE 114190.057
AT ITER 6491 NEW BEST:: SOT 605241 SOS 270046 HAS SOPS 257981 HAS SOUS 115291 HAS SOUPS 113887 WITH SCORE 114157.046
AT ITER 6533 NEW BEST:: SOT 605195 SOS 269931 HAS SOPS 257866 HAS SOUS 115222 HAS SOUPS 113818 WITH SCORE 114087.931
AT ITER 6543 NEW BEST:: SOT 605169 SOS 269862 HAS SOPS 257797 HAS SOUS 115153 HAS SOUPS 113749 WITH SCORE 114018.862
AT ITER 6658 NEW BEST:: SOT 605084 SOS 269777 HAS SOPS 257712 HAS SOUS 115068 HAS SOUPS 113664 WITH SCORE 113933.777
AT ITER 6696 NEW BEST:: SOT 605070 SOS 269762 HAS SOPS 257697 HAS SOUS 114969 HAS SOUPS 113565 WITH SCORE 113834.762
AT ITER 6742 NEW BEST:: SOT 605053 SOS 269780 HAS SOPS 257715 HAS SOUS 114919 HAS SOUPS 113515 WITH SCORE 113784.78
AT ITER 6743 NEW BEST:: SOT 605010 SOS 269694 HAS SOPS 257629 HAS SOUS 114874 HAS SOUPS 113470 WITH SCORE 113739.694
AT ITER 6761 NEW BEST:: SOT 604962 SOS 269636 HAS SOPS 257571 HAS SOUS 114816 HAS SOUPS 113412 WITH SCORE 113681.636
AT ITER 6770 NEW BEST:: SOT 604950 SOS 269612 HAS SOPS 257547 HAS SOUS 114792 HAS SOUPS 113388 WITH SCORE 113657.612
AT ITER 6810 NEW BEST:: SOT 604985 SOS 269649 HAS SOPS 257584 HAS SOUS 114790 HAS SOUPS 113386 WITH SCORE 113655.649
AT ITER 6814 NEW BEST:: SOT 604985 SOS 269374 HAS SOPS 257309 HAS SOUS 114790 HAS SOUPS 113386 WITH SCORE 113655.374
AT ITER 6824 NEW BEST:: SOT 604980 SOS 269339 HAS SOPS 257304 HAS SOUS 114753 HAS SOUPS 113352 WITH SCORE 113621.339
AT ITER 6838 NEW BEST:: SOT 604979 SOS 269338 HAS SOPS 257303 HAS SOUS 114751 HAS SOUPS 113350 WITH SCORE 113619.338
AT ITER 6845 NEW BEST:: SOT 604839 SOS 269198 HAS SOPS 257163 HAS SOUS 114509 HAS SOUPS 113108 WITH SCORE 113377.198
AT ITER 6876 NEW BEST:: SOT 604851 SOS 269159 HAS SOPS 257124 HAS SOUS 114504 HAS SOUPS 113103 WITH SCORE 113372.159
AT ITER 6879 NEW BEST:: SOT 604834 SOS 269142 HAS SOPS 257107 HAS SOUS 114504 HAS SOUPS 113103 WITH SCORE 113372.142
AT ITER 6881 NEW BEST:: SOT 604768 SOS 268878 HAS SOPS 256843 HAS SOUS 114372 HAS SOUPS 112971 WITH SCORE 113239.878
AT ITER 6897 NEW BEST:: SOT 604768 SOS 268913 HAS SOPS 256878 HAS SOUS 114369 HAS SOUPS 112968 WITH SCORE 113236.913
AT ITER 6902 NEW BEST:: SOT 604797 SOS 268894 HAS SOPS 256859 HAS SOUS 114357 HAS SOUPS 112956 WITH SCORE 113224.894
AT ITER 6906 NEW BEST:: SOT 604751 SOS 268848 HAS SOPS 256813 HAS SOUS 114311 HAS SOUPS 112910 WITH SCORE 113178.848
AT ITER 6935 NEW BEST:: SOT 604263 SOS 268350 HAS SOPS 256315 HAS SOUS 113852 HAS SOUPS 112451 WITH SCORE 112719.35
AT ITER 6943 NEW BEST:: SOT 604133 SOS 268229 HAS SOPS 256194 HAS SOUS 113811 HAS SOUPS 112410 WITH SCORE 112678.229
AT ITER 6950 NEW BEST:: SOT 603929 SOS 267938 HAS SOPS 255903 HAS SOUS 113471 HAS SOUPS 112070 WITH SCORE 112337.938
AT ITER 6952 NEW BEST:: SOT 603779 SOS 269937 HAS SOPS 257902 HAS SOUS 113390 HAS SOUPS 111989 WITH SCORE 112258.937
AT ITER 6999 NEW BEST:: SOT 603767 SOS 269925 HAS SOPS 257890 HAS SOUS 113366 HAS SOUPS 111965 WITH SCORE 112234.925
AT ITER 7012 NEW BEST:: SOT 603767 SOS 270258 HAS SOPS 258223 HAS SOUS 113319 HAS SOUPS 111918 WITH SCORE 112188.258
AT ITER 7061 NEW BEST:: SOT 603801 SOS 270292 HAS SOPS 258187 HAS SOUS 113127 HAS SOUPS 111726 WITH SCORE 111996.292
AT ITER 7074 NEW BEST:: SOT 603722 SOS 270041 HAS SOPS 257826 HAS SOUS 112850 HAS SOUPS 111449 WITH SCORE 111719.041
AT ITER 7106 NEW BEST:: SOT 603796 SOS 270115 HAS SOPS 257900 HAS SOUS 112776 HAS SOUPS 111375 WITH SCORE 111645.115
AT ITER 7138 NEW BEST:: SOT 603783 SOS 270102 HAS SOPS 257887 HAS SOUS 112750 HAS SOUPS 111349 WITH SCORE 111619.102
AT ITER 7142 NEW BEST:: SOT 603741 SOS 270060 HAS SOPS 257845 HAS SOUS 112687 HAS SOUPS 111286 WITH SCORE 111556.06
AT ITER 7151 NEW BEST:: SOT 602778 SOS 269140 HAS SOPS 256925 HAS SOUS 111799 HAS SOUPS 110398 WITH SCORE 110667.14
AT ITER 7154 NEW BEST:: SOT 602769 SOS 269131 HAS SOPS 256916 HAS SOUS 111787 HAS SOUPS 110386 WITH SCORE 110655.131
AT ITER 7193 NEW BEST:: SOT 602749 SOS 269111 HAS SOPS 256896 HAS SOUS 111767 HAS SOUPS 110366 WITH SCORE 110635.111
AT ITER 7195 NEW BEST:: SOT 602768 SOS 269081 HAS SOPS 256866 HAS SOUS 111694 HAS SOUPS 110293 WITH SCORE 110562.081
AT ITER 7196 NEW BEST:: SOT 602741 SOS 269033 HAS SOPS 256818 HAS SOUS 111640 HAS SOUPS 110239 WITH SCORE 110508.033
AT ITER 7202 NEW BEST:: SOT 602740 SOS 269032 HAS SOPS 256817 HAS SOUS 111639 HAS SOUPS 110238 WITH SCORE 110507.032
AT ITER 7211 NEW BEST:: SOT 602717 SOS 269009 HAS SOPS 256828 HAS SOUS 111607 HAS SOUPS 110227 WITH SCORE 110496.009
AT ITER 7223 NEW BEST:: SOT 602717 SOS 268991 HAS SOPS 256810 HAS SOUS 111607 HAS SOUPS 110227 WITH SCORE 110495.991
AT ITER 7239 NEW BEST:: SOT 602717 SOS 268880 HAS SOPS 256614 HAS SOUS 111448 HAS SOUPS 110068 WITH SCORE 110336.88
AT ITER 7257 NEW BEST:: SOT 602712 SOS 268880 HAS SOPS 256614 HAS SOUS 111443 HAS SOUPS 110063 WITH SCORE 110331.88
AT ITER 7266 NEW BEST:: SOT 602674 SOS 268613 HAS SOPS 256347 HAS SOUS 111176 HAS SOUPS 109796 WITH SCORE 110064.613
AT ITER 7271 NEW BEST:: SOT 602674 SOS 268609 HAS SOPS 256343 HAS SOUS 111168 HAS SOUPS 109788 WITH SCORE 110056.609
AT ITER 7272 NEW BEST:: SOT 602661 SOS 268653 HAS SOPS 256387 HAS SOUS 111165 HAS SOUPS 109785 WITH SCORE 110053.653
AT ITER 7301 NEW BEST:: SOT 602642 SOS 268634 HAS SOPS 256368 HAS SOUS 111146 HAS SOUPS 109766 WITH SCORE 110034.634
AT ITER 7337 NEW BEST:: SOT 602563 SOS 268525 HAS SOPS 256259 HAS SOUS 111082 HAS SOUPS 109702 WITH SCORE 109970.525
AT ITER 7338 NEW BEST:: SOT 602543 SOS 268505 HAS SOPS 256239 HAS SOUS 111042 HAS SOUPS 109662 WITH SCORE 109930.505
AT ITER 7341 NEW BEST:: SOT 602543 SOS 268505 HAS SOPS 256239 HAS SOUS 111038 HAS SOUPS 109658 WITH SCORE 109926.505
AT ITER 7353 NEW BEST:: SOT 602668 SOS 268690 HAS SOPS 256424 HAS SOUS 111021 HAS SOUPS 109641 WITH SCORE 109909.69
AT ITER 7365 NEW BEST:: SOT 602657 SOS 268679 HAS SOPS 256413 HAS SOUS 110999 HAS SOUPS 109619 WITH SCORE 109887.679
AT ITER 7367 NEW BEST:: SOT 602781 SOS 268510 HAS SOPS 256243 HAS SOUS 110984 HAS SOUPS 109604 WITH SCORE 109872.51
AT ITER 7368 NEW BEST:: SOT 602752 SOS 268347 HAS SOPS 256080 HAS SOUS 110971 HAS SOUPS 109591 WITH SCORE 109859.347
AT ITER 7369 NEW BEST:: SOT 602773 SOS 268368 HAS SOPS 255961 HAS SOUS 110863 HAS SOUPS 109472 WITH SCORE 109740.368
AT ITER 7404 NEW BEST:: SOT 602789 SOS 268391 HAS SOPS 255922 HAS SOUS 110825 HAS SOUPS 109434 WITH SCORE 109702.391
AT ITER 7434 NEW BEST:: SOT 602740 SOS 268311 HAS SOPS 255842 HAS SOUS 110758 HAS SOUPS 109367 WITH SCORE 109635.311
AT ITER 7449 NEW BEST:: SOT 602812 SOS 268365 HAS SOPS 255896 HAS SOUS 110722 HAS SOUPS 109331 WITH SCORE 109599.365
AT ITER 7462 NEW BEST:: SOT 602800 SOS 268353 HAS SOPS 255884 HAS SOUS 110716 HAS SOUPS 109325 WITH SCORE 109593.353
AT ITER 7465 NEW BEST:: SOT 602786 SOS 268339 HAS SOPS 255870 HAS SOUS 110702 HAS SOUPS 109311 WITH SCORE 109579.339
AT ITER 7469 NEW BEST:: SOT 602777 SOS 268292 HAS SOPS 255823 HAS SOUS 110649 HAS SOUPS 109258 WITH SCORE 109526.292
AT ITER 7473 NEW BEST:: SOT 602763 SOS 268490 HAS SOPS 256021 HAS SOUS 110647 HAS SOUPS 109256 WITH SCORE 109524.49
AT ITER 7509 NEW BEST:: SOT 602751 SOS 268478 HAS SOPS 256009 HAS SOUS 110623 HAS SOUPS 109232 WITH SCORE 109500.478
AT ITER 7559 NEW BEST:: SOT 602714 SOS 268441 HAS SOPS 255972 HAS SOUS 110576 HAS SOUPS 109185 WITH SCORE 109453.441
AT ITER 7647 NEW BEST:: SOT 602596 SOS 268329 HAS SOPS 255860 HAS SOUS 110464 HAS SOUPS 109073 WITH SCORE 109341.329
AT ITER 7650 NEW BEST:: SOT 602008 SOS 267742 HAS SOPS 255273 HAS SOUS 109871 HAS SOUPS 108480 WITH SCORE 108747.742
AT ITER 7654 NEW BEST:: SOT 602007 SOS 267741 HAS SOPS 255272 HAS SOUS 109869 HAS SOUPS 108478 WITH SCORE 108745.741
AT ITER 7699 NEW BEST:: SOT 601995 SOS 267817 HAS SOPS 255348 HAS SOUS 109841 HAS SOUPS 108450 WITH SCORE 108717.817
AT ITER 7713 NEW BEST:: SOT 601994 SOS 267816 HAS SOPS 255347 HAS SOUS 109773 HAS SOUPS 108382 WITH SCORE 108649.816
AT ITER 7729 NEW BEST:: SOT 601994 SOS 267816 HAS SOPS 255347 HAS SOUS 109739 HAS SOUPS 108348 WITH SCORE 108615.816
AT ITER 7740 NEW BEST:: SOT 601985 SOS 267798 HAS SOPS 255329 HAS SOUS 109689 HAS SOUPS 108298 WITH SCORE 108565.798
AT ITER 7754 NEW BEST:: SOT 601964 SOS 267777 HAS SOPS 255267 HAS SOUS 109629 HAS SOUPS 108249 WITH SCORE 108516.777
AT ITER 7765 NEW BEST:: SOT 601940 SOS 268272 HAS SOPS 255762 HAS SOUS 109402 HAS SOUPS 108022 WITH SCORE 108290.272
AT ITER 7778 NEW BEST:: SOT 602018 SOS 268370 HAS SOPS 255785 HAS SOUS 109273 HAS SOUPS 107893 WITH SCORE 108161.37
AT ITER 7781 NEW BEST:: SOT 601998 SOS 268350 HAS SOPS 255765 HAS SOUS 109177 HAS SOUPS 107797 WITH SCORE 108065.35
AT ITER 7835 NEW BEST:: SOT 601773 SOS 268125 HAS SOPS 255540 HAS SOUS 108925 HAS SOUPS 107545 WITH SCORE 107813.125
AT ITER 7849 NEW BEST:: SOT 601671 SOS 267998 HAS SOPS 255413 HAS SOUS 108843 HAS SOUPS 107463 WITH SCORE 107730.998
AT ITER 7851 NEW BEST:: SOT 601674 SOS 268029 HAS SOPS 255444 HAS SOUS 108747 HAS SOUPS 107367 WITH SCORE 107635.029
AT ITER 7852 NEW BEST:: SOT 601721 SOS 268085 HAS SOPS 255588 HAS SOUS 108744 HAS SOUPS 107364 WITH SCORE 107632.085
AT ITER 7883 NEW BEST:: SOT 601740 SOS 267983 HAS SOPS 255536 HAS SOUS 108742 HAS SOUPS 107362 WITH SCORE 107629.983
AT ITER 7886 NEW BEST:: SOT 601691 SOS 267919 HAS SOPS 255515 HAS SOUS 108693 HAS SOUPS 107313 WITH SCORE 107580.919
AT ITER 7902 NEW BEST:: SOT 601626 SOS 267866 HAS SOPS 255462 HAS SOUS 108640 HAS SOUPS 107260 WITH SCORE 107527.866
AT ITER 7913 NEW BEST:: SOT 601480 SOS 267720 HAS SOPS 255316 HAS SOUS 108282 HAS SOUPS 106902 WITH SCORE 107169.72
AT ITER 7915 NEW BEST:: SOT 601434 SOS 267496 HAS SOPS 255118 HAS SOUS 108251 HAS SOUPS 106871 WITH SCORE 107138.496
AT ITER 7921 NEW BEST:: SOT 601359 SOS 267421 HAS SOPS 255043 HAS SOUS 108230 HAS SOUPS 106850 WITH SCORE 107117.421
AT ITER 7931 NEW BEST:: SOT 601355 SOS 267405 HAS SOPS 255027 HAS SOUS 108222 HAS SOUPS 106842 WITH SCORE 107109.405
AT ITER 7955 NEW BEST:: SOT 601200 SOS 267276 HAS SOPS 254898 HAS SOUS 108089 HAS SOUPS 106709 WITH SCORE 106976.276
AT ITER 8000 NEW BEST:: SOT 601417 SOS 267457 HAS SOPS 255079 HAS SOUS 108055 HAS SOUPS 106675 WITH SCORE 106942.457
AT ITER 8019 NEW BEST:: SOT 601423 SOS 267367 HAS SOPS 254989 HAS SOUS 107965 HAS SOUPS 106585 WITH SCORE 106852.367
AT ITER 8040 NEW BEST:: SOT 601203 SOS 267147 HAS SOPS 254769 HAS SOUS 107878 HAS SOUPS 106498 WITH SCORE 106765.147
AT ITER 8056 NEW BEST:: SOT 601203 SOS 267147 HAS SOPS 254769 HAS SOUS 107876 HAS SOUPS 106496 WITH SCORE 106763.147
AT ITER 8070 NEW BEST:: SOT 600961 SOS 266905 HAS SOPS 254527 HAS SOUS 107706 HAS SOUPS 106326 WITH SCORE 106592.905
AT ITER 8075 NEW BEST:: SOT 600961 SOS 266905 HAS SOPS 254527 HAS SOUS 107701 HAS SOUPS 106321 WITH SCORE 106587.905
AT ITER 8087 NEW BEST:: SOT 600924 SOS 266868 HAS SOPS 254490 HAS SOUS 107664 HAS SOUPS 106284 WITH SCORE 106550.868
AT ITER 8157 NEW BEST:: SOT 600913 SOS 266857 HAS SOPS 254479 HAS SOUS 107642 HAS SOUPS 106262 WITH SCORE 106528.857
AT ITER 8161 NEW BEST:: SOT 601058 SOS 266846 HAS SOPS 254468 HAS SOUS 107514 HAS SOUPS 106134 WITH SCORE 106400.846
AT ITER 8171 NEW BEST:: SOT 601065 SOS 266888 HAS SOPS 254510 HAS SOUS 107486 HAS SOUPS 106106 WITH SCORE 106372.888
AT ITER 8187 NEW BEST:: SOT 600933 SOS 267059 HAS SOPS 254681 HAS SOUS 107325 HAS SOUPS 105945 WITH SCORE 106212.059
AT ITER 8218 NEW BEST:: SOT 600919 SOS 267045 HAS SOPS 254667 HAS SOUS 107297 HAS SOUPS 105917 WITH SCORE 106184.045
AT ITER 8221 NEW BEST:: SOT 600889 SOS 267015 HAS SOPS 254637 HAS SOUS 107267 HAS SOUPS 105887 WITH SCORE 106154.015
AT ITER 8244 NEW BEST:: SOT 600869 SOS 266995 HAS SOPS 254617 HAS SOUS 107227 HAS SOUPS 105847 WITH SCORE 106113.995
AT ITER 8272 NEW BEST:: SOT 600869 SOS 266983 HAS SOPS 254599 HAS SOUS 107221 HAS SOUPS 105841 WITH SCORE 106107.983
AT ITER 8301 NEW BEST:: SOT 600779 SOS 266893 HAS SOPS 254509 HAS SOUS 107136 HAS SOUPS 105756 WITH SCORE 106022.893
AT ITER 8321 NEW BEST:: SOT 600781 SOS 266889 HAS SOPS 254505 HAS SOUS 107132 HAS SOUPS 105752 WITH SCORE 106018.889
AT ITER 8349 NEW BEST:: SOT 600732 SOS 266809 HAS SOPS 254425 HAS SOUS 107065 HAS SOUPS 105685 WITH SCORE 105951.809
AT ITER 8405 NEW BEST:: SOT 600743 SOS 266762 HAS SOPS 254378 HAS SOUS 107019 HAS SOUPS 105639 WITH SCORE 105905.762
AT ITER 8414 NEW BEST:: SOT 600820 SOS 266735 HAS SOPS 254265 HAS SOUS 107010 HAS SOUPS 105630 WITH SCORE 105896.735
AT ITER 8417 NEW BEST:: SOT 600820 SOS 266666 HAS SOPS 254196 HAS SOUS 106941 HAS SOUPS 105561 WITH SCORE 105827.666
AT ITER 8444 NEW BEST:: SOT 600822 SOS 266631 HAS SOPS 254161 HAS SOUS 106938 HAS SOUPS 105558 WITH SCORE 105824.631
AT ITER 8455 NEW BEST:: SOT 600738 SOS 266547 HAS SOPS 254077 HAS SOUS 106901 HAS SOUPS 105521 WITH SCORE 105787.547
AT ITER 8482 NEW BEST:: SOT 600574 SOS 266160 HAS SOPS 253690 HAS SOUS 106696 HAS SOUPS 105316 WITH SCORE 105582.16
AT ITER 8510 NEW BEST:: SOT 600538 SOS 266120 HAS SOPS 253650 HAS SOUS 106656 HAS SOUPS 105276 WITH SCORE 105542.12
AT ITER 8536 NEW BEST:: SOT 600519 SOS 265883 HAS SOPS 253413 HAS SOUS 106609 HAS SOUPS 105229 WITH SCORE 105494.883
AT ITER 8541 NEW BEST:: SOT 599797 SOS 265161 HAS SOPS 252691 HAS SOUS 106427 HAS SOUPS 105047 WITH SCORE 105312.161
AT ITER 8568 NEW BEST:: SOT 599694 SOS 265038 HAS SOPS 252568 HAS SOUS 106416 HAS SOUPS 105036 WITH SCORE 105301.038
AT ITER 8577 NEW BEST:: SOT 599689 SOS 265033 HAS SOPS 252563 HAS SOUS 106413 HAS SOUPS 105033 WITH SCORE 105298.033
AT ITER 8593 NEW BEST:: SOT 599689 SOS 265018 HAS SOPS 252548 HAS SOUS 106413 HAS SOUPS 105033 WITH SCORE 105298.018
AT ITER 8630 NEW BEST:: SOT 599689 SOS 264978 HAS SOPS 252508 HAS SOUS 106413 HAS SOUPS 105033 WITH SCORE 105297.978
AT ITER 8636 NEW BEST:: SOT 599685 SOS 264976 HAS SOPS 252506 HAS SOUS 106409 HAS SOUPS 105029 WITH SCORE 105293.976
AT ITER 8641 NEW BEST:: SOT 599678 SOS 264932 HAS SOPS 252462 HAS SOUS 106395 HAS SOUPS 105015 WITH SCORE 105279.932
AT ITER 8645 NEW BEST:: SOT 599657 SOS 264890 HAS SOPS 252420 HAS SOUS 106353 HAS SOUPS 104973 WITH SCORE 105237.89
AT ITER 8665 NEW BEST:: SOT 599658 SOS 265691 HAS SOPS 252501 HAS SOUS 106345 HAS SOUPS 104946 WITH SCORE 105211.691
AT ITER 8674 NEW BEST:: SOT 599642 SOS 265675 HAS SOPS 252485 HAS SOUS 106329 HAS SOUPS 104930 WITH SCORE 105195.675
AT ITER 8677 NEW BEST:: SOT 599684 SOS 265734 HAS SOPS 252544 HAS SOUS 106301 HAS SOUPS 104902 WITH SCORE 105167.734
AT ITER 8696 NEW BEST:: SOT 599680 SOS 265730 HAS SOPS 252540 HAS SOUS 106293 HAS SOUPS 104894 WITH SCORE 105159.73
AT ITER 8721 NEW BEST:: SOT 599659 SOS 265709 HAS SOPS 252519 HAS SOUS 106053 HAS SOUPS 104654 WITH SCORE 104919.709
AT ITER 8755 NEW BEST:: SOT 599676 SOS 265726 HAS SOPS 252536 HAS SOUS 105996 HAS SOUPS 104597 WITH SCORE 104862.726
AT ITER 8769 NEW BEST:: SOT 599672 SOS 265718 HAS SOPS 252528 HAS SOUS 105988 HAS SOUPS 104589 WITH SCORE 104854.718
AT ITER 8779 NEW BEST:: SOT 599638 SOS 265684 HAS SOPS 252494 HAS SOUS 105979 HAS SOUPS 104580 WITH SCORE 104845.684
AT ITER 8804 NEW BEST:: SOT 599560 SOS 265141 HAS SOPS 251951 HAS SOUS 105912 HAS SOUPS 104513 WITH SCORE 104778.141
AT ITER 8834 NEW BEST:: SOT 599479 SOS 265033 HAS SOPS 251843 HAS SOUS 105804 HAS SOUPS 104405 WITH SCORE 104670.033
AT ITER 8842 NEW BEST:: SOT 599529 SOS 265083 HAS SOPS 251893 HAS SOUS 105784 HAS SOUPS 104385 WITH SCORE 104650.083
AT ITER 8857 NEW BEST:: SOT 599495 SOS 265049 HAS SOPS 251837 HAS SOUS 105739 HAS SOUPS 104340 WITH SCORE 104605.049
AT ITER 8914 NEW BEST:: SOT 599451 SOS 265005 HAS SOPS 251793 HAS SOUS 105717 HAS SOUPS 104318 WITH SCORE 104583.005
AT ITER 8921 NEW BEST:: SOT 599439 SOS 264993 HAS SOPS 251781 HAS SOUS 105693 HAS SOUPS 104294 WITH SCORE 104558.993
AT ITER 8938 NEW BEST:: SOT 599461 SOS 265015 HAS SOPS 251792 HAS SOUS 105698 HAS SOUPS 104289 WITH SCORE 104554.015
AT ITER 8963 NEW BEST:: SOT 599461 SOS 265028 HAS SOPS 251805 HAS SOUS 105649 HAS SOUPS 104240 WITH SCORE 104505.028
AT ITER 8964 NEW BEST:: SOT 599501 SOS 265107 HAS SOPS 251804 HAS SOUS 105612 HAS SOUPS 104203 WITH SCORE 104468.107
AT ITER 9006 NEW BEST:: SOT 599484 SOS 265073 HAS SOPS 251780 HAS SOUS 105598 HAS SOUPS 104189 WITH SCORE 104454.073
AT ITER 9022 NEW BEST:: SOT 599461 SOS 265028 HAS SOPS 251735 HAS SOUS 105596 HAS SOUPS 104187 WITH SCORE 104452.028
AT ITER 9030 NEW BEST:: SOT 599427 SOS 264994 HAS SOPS 251630 HAS SOUS 105456 HAS SOUPS 104047 WITH SCORE 104311.994
AT ITER 9031 NEW BEST:: SOT 599174 SOS 264791 HAS SOPS 251427 HAS SOUS 105385 HAS SOUPS 103976 WITH SCORE 104240.791
AT ITER 9065 NEW BEST:: SOT 599114 SOS 264720 HAS SOPS 251356 HAS SOUS 105265 HAS SOUPS 103856 WITH SCORE 104120.72
AT ITER 9078 NEW BEST:: SOT 599111 SOS 264717 HAS SOPS 251353 HAS SOUS 105262 HAS SOUPS 103853 WITH SCORE 104117.717
AT ITER 9096 NEW BEST:: SOT 599061 SOS 264642 HAS SOPS 251278 HAS SOUS 105187 HAS SOUPS 103778 WITH SCORE 104042.642
AT ITER 9123 NEW BEST:: SOT 599025 SOS 264606 HAS SOPS 251180 HAS SOUS 105155 HAS SOUPS 103746 WITH SCORE 104010.606
AT ITER 9140 NEW BEST:: SOT 599019 SOS 264584 HAS SOPS 251178 HAS SOUS 105149 HAS SOUPS 103742 WITH SCORE 104006.584
AT ITER 9184 NEW BEST:: SOT 598980 SOS 264570 HAS SOPS 251164 HAS SOUS 105135 HAS SOUPS 103728 WITH SCORE 103992.57
AT ITER 9198 NEW BEST:: SOT 598991 SOS 264549 HAS SOPS 251143 HAS SOUS 105125 HAS SOUPS 103718 WITH SCORE 103982.549
AT ITER 9222 NEW BEST:: SOT 598965 SOS 264510 HAS SOPS 251104 HAS SOUS 105073 HAS SOUPS 103666 WITH SCORE 103930.51
AT ITER 9224 NEW BEST:: SOT 598904 SOS 263326 HAS SOPS 249920 HAS SOUS 105027 HAS SOUPS 103620 WITH SCORE 103883.326
AT ITER 9246 NEW BEST:: SOT 598890 SOS 263312 HAS SOPS 249906 HAS SOUS 104879 HAS SOUPS 103472 WITH SCORE 103735.312
AT ITER 9282 NEW BEST:: SOT 598893 SOS 263282 HAS SOPS 249876 HAS SOUS 104879 HAS SOUPS 103472 WITH SCORE 103735.282
AT ITER 9287 NEW BEST:: SOT 598892 SOS 263281 HAS SOPS 249875 HAS SOUS 104878 HAS SOUPS 103471 WITH SCORE 103734.281
AT ITER 9293 NEW BEST:: SOT 598892 SOS 263281 HAS SOPS 249875 HAS SOUS 104872 HAS SOUPS 103465 WITH SCORE 103728.281
AT ITER 9298 NEW BEST:: SOT 598886 SOS 263275 HAS SOPS 249869 HAS SOUS 104866 HAS SOUPS 103459 WITH SCORE 103722.275
AT ITER 9311 NEW BEST:: SOT 598691 SOS 263102 HAS SOPS 249696 HAS SOUS 104817 HAS SOUPS 103410 WITH SCORE 103673.102
AT ITER 9362 NEW BEST:: SOT 598691 SOS 262990 HAS SOPS 249584 HAS SOUS 104747 HAS SOUPS 103340 WITH SCORE 103602.99
AT ITER 9402 NEW BEST:: SOT 598691 SOS 262989 HAS SOPS 249583 HAS SOUS 104746 HAS SOUPS 103339 WITH SCORE 103601.989
AT ITER 9434 NEW BEST:: SOT 598734 SOS 263999 HAS SOPS 250593 HAS SOUS 104708 HAS SOUPS 103301 WITH SCORE 103564.999
AT ITER 9440 NEW BEST:: SOT 598675 SOS 263760 HAS SOPS 250354 HAS SOUS 104690 HAS SOUPS 103283 WITH SCORE 103546.76
AT ITER 9468 NEW BEST:: SOT 598607 SOS 263615 HAS SOPS 250209 HAS SOUS 104598 HAS SOUPS 103191 WITH SCORE 103454.615
AT ITER 9504 NEW BEST:: SOT 598526 SOS 263546 HAS SOPS 250140 HAS SOUS 104598 HAS SOUPS 103191 WITH SCORE 103454.546
AT ITER 9518 NEW BEST:: SOT 598467 SOS 263532 HAS SOPS 250126 HAS SOUS 104584 HAS SOUPS 103177 WITH SCORE 103440.532
AT ITER 9525 NEW BEST:: SOT 598430 SOS 263436 HAS SOPS 249290 HAS SOUS 104510 HAS SOUPS 103029 WITH SCORE 103292.436
AT ITER 9550 NEW BEST:: SOT 598430 SOS 263412 HAS SOPS 249266 HAS SOUS 104477 HAS SOUPS 102996 WITH SCORE 103259.412
AT ITER 9566 NEW BEST:: SOT 598420 SOS 263402 HAS SOPS 249234 HAS SOUS 104457 HAS SOUPS 102976 WITH SCORE 103239.402
AT ITER 9581 NEW BEST:: SOT 598263 SOS 263280 HAS SOPS 249112 HAS SOUS 104298 HAS SOUPS 102817 WITH SCORE 103080.28
AT ITER 9589 NEW BEST:: SOT 598205 SOS 263678 HAS SOPS 249510 HAS SOUS 104236 HAS SOUPS 102755 WITH SCORE 103018.678
AT ITER 9614 NEW BEST:: SOT 597874 SOS 263398 HAS SOPS 249230 HAS SOUS 103801 HAS SOUPS 102320 WITH SCORE 102583.398
AT ITER 9639 NEW BEST:: SOT 597714 SOS 263258 HAS SOPS 249090 HAS SOUS 103651 HAS SOUPS 102170 WITH SCORE 102433.258
AT ITER 9654 NEW BEST:: SOT 597721 SOS 263265 HAS SOPS 249104 HAS SOUS 103644 HAS SOUPS 102163 WITH SCORE 102426.265
AT ITER 9687 NEW BEST:: SOT 597686 SOS 263160 HAS SOPS 248999 HAS SOUS 103539 HAS SOUPS 102058 WITH SCORE 102321.16
AT ITER 9727 NEW BEST:: SOT 597576 SOS 263104 HAS SOPS 248943 HAS SOUS 103496 HAS SOUPS 102015 WITH SCORE 102278.104
AT ITER 9745 NEW BEST:: SOT 597577 SOS 263103 HAS SOPS 248942 HAS SOUS 103487 HAS SOUPS 102006 WITH SCORE 102269.103
AT ITER 9759 NEW BEST:: SOT 597556 SOS 263180 HAS SOPS 249026 HAS SOUS 103480 HAS SOUPS 102000 WITH SCORE 102263.18
AT ITER 9803 NEW BEST:: SOT 597556 SOS 263180 HAS SOPS 249026 HAS SOUS 103472 HAS SOUPS 101992 WITH SCORE 102255.18
AT ITER 9810 NEW BEST:: SOT 597546 SOS 263260 HAS SOPS 249106 HAS SOUS 103452 HAS SOUPS 101972 WITH SCORE 102235.26
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10575492 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150884 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-S02J04T10"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S02J04T10, 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 r291-tall-167873943000512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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