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-167873943100632.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-S06J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943100632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 28K Feb 26 14:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 14:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 444K Feb 26 14:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 14:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 52K Feb 26 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 273K Feb 26 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 534K Feb 26 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.4M Feb 26 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:35 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 14M 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 1678806986796

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-S06J06T08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T08
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: 894 places, 14334 transitions, 119772 arcs.
AT ITER 0 NEW BEST:: SOT 8322897 SOS 4985904 HAS SOPS 4964570 HAS SOUS 907780 HAS SOUPS 906908 WITH SCORE 911893.904
AT ITER 1 NEW BEST:: SOT 8322407 SOS 4985484 HAS SOPS 4964150 HAS SOUS 907175 HAS SOUPS 906303 WITH SCORE 911288.484
AT ITER 19 NEW BEST:: SOT 8321035 SOS 4984266 HAS SOPS 4962932 HAS SOUS 905873 HAS SOUPS 905001 WITH SCORE 909985.266
AT ITER 23 NEW BEST:: SOT 8318391 SOS 4981735 HAS SOPS 4960401 HAS SOUS 904575 HAS SOUPS 903703 WITH SCORE 908684.735
AT ITER 30 NEW BEST:: SOT 8318541 SOS 4981932 HAS SOPS 4960598 HAS SOUS 904574 HAS SOUPS 903702 WITH SCORE 908683.932
AT ITER 33 NEW BEST:: SOT 8317199 SOS 4980910 HAS SOPS 4959576 HAS SOUS 904051 HAS SOUPS 903179 WITH SCORE 908159.91
AT ITER 35 NEW BEST:: SOT 8245715 SOS 4909472 HAS SOPS 4888138 HAS SOUS 894483 HAS SOUPS 893611 WITH SCORE 898520.472
AT ITER 41 NEW BEST:: SOT 8244998 SOS 4908421 HAS SOPS 4887527 HAS SOUS 893618 HAS SOUPS 892801 WITH SCORE 897709.421
AT ITER 42 NEW BEST:: SOT 7903111 SOS 4566534 HAS SOPS 4545640 HAS SOUS 848976 HAS SOUPS 848159 WITH SCORE 852725.534
AT ITER 49 NEW BEST:: SOT 7883343 SOS 4550028 HAS SOPS 4537314 HAS SOUS 831909 HAS SOUPS 831236 WITH SCORE 835786.028
AT ITER 64 NEW BEST:: SOT 7883299 SOS 4549984 HAS SOPS 4537226 HAS SOUS 831851 HAS SOUPS 831163 WITH SCORE 835712.984
AT ITER 69 NEW BEST:: SOT 7883299 SOS 4549998 HAS SOPS 4537240 HAS SOUS 831836 HAS SOUPS 831148 WITH SCORE 835697.998
AT ITER 71 NEW BEST:: SOT 7883329 SOS 4550073 HAS SOPS 4537315 HAS SOUS 831450 HAS SOUPS 830762 WITH SCORE 835312.073
AT ITER 74 NEW BEST:: SOT 7883277 SOS 4549969 HAS SOPS 4537211 HAS SOUS 831280 HAS SOUPS 830592 WITH SCORE 835141.969
AT ITER 76 NEW BEST:: SOT 7883124 SOS 4549943 HAS SOPS 4537185 HAS SOUS 831223 HAS SOUPS 830535 WITH SCORE 835084.943
AT ITER 78 NEW BEST:: SOT 7883118 SOS 4550482 HAS SOPS 4537724 HAS SOUS 830255 HAS SOUPS 829567 WITH SCORE 834117.482
AT ITER 86 NEW BEST:: SOT 7883170 SOS 4550531 HAS SOPS 4537833 HAS SOUS 830158 HAS SOUPS 829470 WITH SCORE 834020.531
AT ITER 100 NEW BEST:: SOT 7877595 SOS 4560741 HAS SOPS 4544662 HAS SOUS 825252 HAS SOUPS 824060 WITH SCORE 828620.741
AT ITER 101 NEW BEST:: SOT 7876532 SOS 4559857 HAS SOPS 4543778 HAS SOUS 823369 HAS SOUPS 822177 WITH SCORE 826736.857
AT ITER 117 NEW BEST:: SOT 7876044 SOS 4559369 HAS SOPS 4543290 HAS SOUS 822688 HAS SOUPS 821496 WITH SCORE 826055.369
AT ITER 130 NEW BEST:: SOT 7874433 SOS 4558057 HAS SOPS 4541978 HAS SOUS 821766 HAS SOUPS 820574 WITH SCORE 825132.057
AT ITER 159 NEW BEST:: SOT 7872299 SOS 4556278 HAS SOPS 4540199 HAS SOUS 819979 HAS SOUPS 818787 WITH SCORE 823343.278
AT ITER 165 NEW BEST:: SOT 7872247 SOS 4556310 HAS SOPS 4540077 HAS SOUS 819855 HAS SOUPS 818663 WITH SCORE 823219.31
AT ITER 170 NEW BEST:: SOT 7731197 SOS 4415351 HAS SOPS 4399118 HAS SOUS 801291 HAS SOUPS 800099 WITH SCORE 804514.351
AT ITER 191 NEW BEST:: SOT 7730925 SOS 4415079 HAS SOPS 4398846 HAS SOUS 800649 HAS SOUPS 799457 WITH SCORE 803872.079
AT ITER 192 NEW BEST:: SOT 7429503 SOS 4219401 HAS SOPS 4203168 HAS SOUS 761524 HAS SOUPS 760332 WITH SCORE 764551.401
AT ITER 195 NEW BEST:: SOT 7429167 SOS 4219113 HAS SOPS 4202880 HAS SOUS 760643 HAS SOUPS 759451 WITH SCORE 763670.113
AT ITER 209 NEW BEST:: SOT 7429128 SOS 4219035 HAS SOPS 4202802 HAS SOUS 760565 HAS SOUPS 759373 WITH SCORE 763592.035
AT ITER 220 NEW BEST:: SOT 7428357 SOS 4218264 HAS SOPS 4202031 HAS SOUS 759324 HAS SOUPS 758132 WITH SCORE 762350.264
AT ITER 228 NEW BEST:: SOT 7428047 SOS 4217934 HAS SOPS 4201701 HAS SOUS 759203 HAS SOUPS 758011 WITH SCORE 762228.934
AT ITER 231 NEW BEST:: SOT 7427739 SOS 4217677 HAS SOPS 4201444 HAS SOUS 758946 HAS SOUPS 757754 WITH SCORE 761971.677
AT ITER 232 NEW BEST:: SOT 7427854 SOS 4217792 HAS SOPS 4201559 HAS SOUS 757115 HAS SOUPS 755923 WITH SCORE 760140.792
AT ITER 241 NEW BEST:: SOT 7427645 SOS 4217768 HAS SOPS 4201535 HAS SOUS 756827 HAS SOUPS 755635 WITH SCORE 759852.768
AT ITER 250 NEW BEST:: SOT 7427585 SOS 4217669 HAS SOPS 4201436 HAS SOUS 756770 HAS SOUPS 755578 WITH SCORE 759795.669
AT ITER 251 NEW BEST:: SOT 7427497 SOS 4217581 HAS SOPS 4201348 HAS SOUS 756634 HAS SOUPS 755442 WITH SCORE 759659.581
AT ITER 256 NEW BEST:: SOT 7427473 SOS 4217557 HAS SOPS 4201300 HAS SOUS 756609 HAS SOUPS 755417 WITH SCORE 759634.557
AT ITER 264 NEW BEST:: SOT 7243023 SOS 4033226 HAS SOPS 4016969 HAS SOUS 732333 HAS SOUPS 731141 WITH SCORE 735174.226
AT ITER 269 NEW BEST:: SOT 7243023 SOS 4035585 HAS SOPS 4019328 HAS SOUS 730845 HAS SOUPS 729653 WITH SCORE 733688.585
AT ITER 278 NEW BEST:: SOT 7242500 SOS 4034924 HAS SOPS 4018667 HAS SOUS 730184 HAS SOUPS 728992 WITH SCORE 733026.924
AT ITER 288 NEW BEST:: SOT 7242325 SOS 4034593 HAS SOPS 4018336 HAS SOUS 729949 HAS SOUPS 728757 WITH SCORE 732791.593
AT ITER 289 NEW BEST:: SOT 7241131 SOS 4033561 HAS SOPS 4017304 HAS SOUS 728728 HAS SOUPS 727536 WITH SCORE 731569.561
AT ITER 306 NEW BEST:: SOT 7240469 SOS 4032899 HAS SOPS 4016642 HAS SOUS 727739 HAS SOUPS 726547 WITH SCORE 730579.899
AT ITER 314 NEW BEST:: SOT 7241211 SOS 4034133 HAS SOPS 4017876 HAS SOUS 727282 HAS SOUPS 726090 WITH SCORE 730124.133
AT ITER 316 NEW BEST:: SOT 7241029 SOS 4033818 HAS SOPS 4017561 HAS SOUS 727067 HAS SOUPS 725875 WITH SCORE 729908.818
AT ITER 333 NEW BEST:: SOT 7241014 SOS 4033803 HAS SOPS 4017546 HAS SOUS 727037 HAS SOUPS 725845 WITH SCORE 729878.803
AT ITER 334 NEW BEST:: SOT 7240373 SOS 4033134 HAS SOPS 4016877 HAS SOUS 726710 HAS SOUPS 725518 WITH SCORE 729551.134
AT ITER 341 NEW BEST:: SOT 7240331 SOS 4033092 HAS SOPS 4016793 HAS SOUS 726639 HAS SOUPS 725434 WITH SCORE 729467.092
AT ITER 354 NEW BEST:: SOT 7239665 SOS 4032315 HAS SOPS 4016016 HAS SOUS 725889 HAS SOUPS 724684 WITH SCORE 728716.315
AT ITER 357 NEW BEST:: SOT 7238895 SOS 4031627 HAS SOPS 4015328 HAS SOUS 725075 HAS SOUPS 723870 WITH SCORE 727901.627
AT ITER 358 NEW BEST:: SOT 7238781 SOS 4031362 HAS SOPS 4015063 HAS SOUS 724810 HAS SOUPS 723605 WITH SCORE 727636.362
AT ITER 361 NEW BEST:: SOT 7238747 SOS 4031479 HAS SOPS 4015197 HAS SOUS 724785 HAS SOUPS 723580 WITH SCORE 727611.479
AT ITER 364 NEW BEST:: SOT 7238818 SOS 4031550 HAS SOPS 4015268 HAS SOUS 723070 HAS SOUPS 721865 WITH SCORE 725896.55
AT ITER 368 NEW BEST:: SOT 7238025 SOS 4030757 HAS SOPS 4014475 HAS SOUS 722214 HAS SOUPS 721009 WITH SCORE 725039.757
AT ITER 375 NEW BEST:: SOT 7238025 SOS 4030757 HAS SOPS 4014475 HAS SOUS 722016 HAS SOUPS 720811 WITH SCORE 724841.757
AT ITER 382 NEW BEST:: SOT 7153763 SOS 4179815 HAS SOPS 4163533 HAS SOUS 718816 HAS SOUPS 717611 WITH SCORE 721790.815
AT ITER 390 NEW BEST:: SOT 7153043 SOS 4179294 HAS SOPS 4163012 HAS SOUS 718182 HAS SOUPS 716977 WITH SCORE 721156.294
AT ITER 412 NEW BEST:: SOT 7152815 SOS 4179123 HAS SOPS 4162841 HAS SOUS 718065 HAS SOUPS 716860 WITH SCORE 721039.123
AT ITER 426 NEW BEST:: SOT 7151378 SOS 4175576 HAS SOPS 4159294 HAS SOUS 717074 HAS SOUPS 715869 WITH SCORE 720044.576
AT ITER 430 NEW BEST:: SOT 7150979 SOS 4175177 HAS SOPS 4158895 HAS SOUS 716675 HAS SOUPS 715470 WITH SCORE 719645.177
AT ITER 439 NEW BEST:: SOT 7150970 SOS 4175168 HAS SOPS 4158886 HAS SOUS 716666 HAS SOUPS 715461 WITH SCORE 719636.168
AT ITER 445 NEW BEST:: SOT 7149351 SOS 4173549 HAS SOPS 4157267 HAS SOUS 715707 HAS SOUPS 714502 WITH SCORE 718675.549
AT ITER 446 NEW BEST:: SOT 7149351 SOS 4173266 HAS SOPS 4156984 HAS SOUS 715707 HAS SOUPS 714502 WITH SCORE 718675.266
AT ITER 463 NEW BEST:: SOT 7149006 SOS 4173020 HAS SOPS 4156738 HAS SOUS 714190 HAS SOUPS 712985 WITH SCORE 717158.02
AT ITER 464 NEW BEST:: SOT 7148964 SOS 4172978 HAS SOPS 4156696 HAS SOUS 714106 HAS SOUPS 712901 WITH SCORE 717073.978
AT ITER 474 NEW BEST:: SOT 7148964 SOS 4173148 HAS SOPS 4156866 HAS SOUS 713936 HAS SOUPS 712731 WITH SCORE 716904.148
AT ITER 486 NEW BEST:: SOT 7080764 SOS 4104992 HAS SOPS 4088710 HAS SOUS 704960 HAS SOUPS 703755 WITH SCORE 707859.992
AT ITER 505 NEW BEST:: SOT 7080514 SOS 4104754 HAS SOPS 4088472 HAS SOUS 704478 HAS SOUPS 703273 WITH SCORE 707377.754
AT ITER 508 NEW BEST:: SOT 7080558 SOS 4104770 HAS SOPS 4088488 HAS SOUS 704465 HAS SOUPS 703260 WITH SCORE 707364.77
AT ITER 509 NEW BEST:: SOT 7080538 SOS 4104750 HAS SOPS 4088468 HAS SOUS 704396 HAS SOUPS 703191 WITH SCORE 707295.75
AT ITER 515 NEW BEST:: SOT 7080351 SOS 4104973 HAS SOPS 4088846 HAS SOUS 704182 HAS SOUPS 702977 WITH SCORE 707081.973
AT ITER 531 NEW BEST:: SOT 7080342 SOS 4104964 HAS SOPS 4088837 HAS SOUS 704164 HAS SOUPS 702959 WITH SCORE 707063.964
AT ITER 536 NEW BEST:: SOT 7079817 SOS 4104439 HAS SOPS 4088312 HAS SOUS 703036 HAS SOUPS 701831 WITH SCORE 705935.439
AT ITER 538 NEW BEST:: SOT 6964564 SOS 4528497 HAS SOPS 4511034 HAS SOUS 693041 HAS SOUPS 691669 WITH SCORE 696197.497
AT ITER 550 NEW BEST:: SOT 6964016 SOS 4528042 HAS SOPS 4510579 HAS SOUS 691561 HAS SOUPS 690189 WITH SCORE 694717.042
AT ITER 563 NEW BEST:: SOT 6962664 SOS 4526456 HAS SOPS 4508993 HAS SOUS 690678 HAS SOUPS 689306 WITH SCORE 693832.456
AT ITER 564 NEW BEST:: SOT 6962362 SOS 4526127 HAS SOPS 4508664 HAS SOUS 690575 HAS SOUPS 689203 WITH SCORE 693729.127
AT ITER 566 NEW BEST:: SOT 6962348 SOS 4526113 HAS SOPS 4508650 HAS SOUS 690558 HAS SOUPS 689186 WITH SCORE 693712.113
AT ITER 568 NEW BEST:: SOT 6962032 SOS 4526146 HAS SOPS 4508826 HAS SOUS 690050 HAS SOUPS 688678 WITH SCORE 693204.146
AT ITER 570 NEW BEST:: SOT 6961951 SOS 4526065 HAS SOPS 4508423 HAS SOUS 689983 HAS SOUPS 688289 WITH SCORE 692815.065
AT ITER 574 NEW BEST:: SOT 6961972 SOS 4526722 HAS SOPS 4509080 HAS SOUS 689926 HAS SOUPS 688232 WITH SCORE 692758.722
AT ITER 577 NEW BEST:: SOT 6961828 SOS 4526578 HAS SOPS 4508936 HAS SOUS 686964 HAS SOUPS 685270 WITH SCORE 689796.578
AT ITER 588 NEW BEST:: SOT 6961828 SOS 4526567 HAS SOPS 4508925 HAS SOUS 686953 HAS SOUPS 685259 WITH SCORE 689785.567
AT ITER 590 NEW BEST:: SOT 6961825 SOS 4526500 HAS SOPS 4508858 HAS SOUS 686261 HAS SOUPS 684567 WITH SCORE 689093.5
AT ITER 591 NEW BEST:: SOT 6961876 SOS 4527463 HAS SOPS 4509821 HAS SOUS 686210 HAS SOUPS 684516 WITH SCORE 689043.463
AT ITER 606 NEW BEST:: SOT 6961423 SOS 4527161 HAS SOPS 4509519 HAS SOUS 685908 HAS SOUPS 684214 WITH SCORE 688741.161
AT ITER 612 NEW BEST:: SOT 6961301 SOS 4527039 HAS SOPS 4509397 HAS SOUS 685711 HAS SOUPS 684017 WITH SCORE 688544.039
AT ITER 637 NEW BEST:: SOT 6961638 SOS 4527602 HAS SOPS 4509960 HAS SOUS 685660 HAS SOUPS 683966 WITH SCORE 688493.602
AT ITER 643 NEW BEST:: SOT 6848229 SOS 4414274 HAS SOPS 4396632 HAS SOUS 670237 HAS SOUPS 668543 WITH SCORE 672957.274
AT ITER 661 NEW BEST:: SOT 6848133 SOS 4414194 HAS SOPS 4396552 HAS SOUS 670157 HAS SOUPS 668463 WITH SCORE 672877.194
AT ITER 665 NEW BEST:: SOT 6847798 SOS 4413841 HAS SOPS 4396199 HAS SOUS 670061 HAS SOUPS 668367 WITH SCORE 672780.841
AT ITER 678 NEW BEST:: SOT 6847400 SOS 4413379 HAS SOPS 4395737 HAS SOUS 669589 HAS SOUPS 667895 WITH SCORE 672308.379
AT ITER 692 NEW BEST:: SOT 6847412 SOS 4413472 HAS SOPS 4395740 HAS SOUS 669527 HAS SOUPS 667833 WITH SCORE 672246.472
AT ITER 702 NEW BEST:: SOT 6847304 SOS 4413224 HAS SOPS 4395492 HAS SOUS 669439 HAS SOUPS 667745 WITH SCORE 672158.224
AT ITER 709 NEW BEST:: SOT 6846573 SOS 4412694 HAS SOPS 4394962 HAS SOUS 668814 HAS SOUPS 667120 WITH SCORE 671532.694
AT ITER 714 NEW BEST:: SOT 6846558 SOS 4412761 HAS SOPS 4394916 HAS SOUS 668697 HAS SOUPS 667003 WITH SCORE 671415.761
AT ITER 742 NEW BEST:: SOT 6846467 SOS 4412362 HAS SOPS 4394314 HAS SOUS 668666 HAS SOUPS 666972 WITH SCORE 671384.362
AT ITER 745 NEW BEST:: SOT 6846492 SOS 4413377 HAS SOPS 4395329 HAS SOUS 668373 HAS SOUPS 666679 WITH SCORE 671092.377
AT ITER 757 NEW BEST:: SOT 6845587 SOS 4411534 HAS SOPS 4393486 HAS SOUS 667741 HAS SOUPS 666047 WITH SCORE 670458.534
AT ITER 762 NEW BEST:: SOT 6844259 SOS 4410467 HAS SOPS 4392419 HAS SOUS 666918 HAS SOUPS 665224 WITH SCORE 669634.467
AT ITER 791 NEW BEST:: SOT 6844479 SOS 4410720 HAS SOPS 4392672 HAS SOUS 666903 HAS SOUPS 665209 WITH SCORE 669619.72
AT ITER 803 NEW BEST:: SOT 6843958 SOS 4410314 HAS SOPS 4392266 HAS SOUS 666754 HAS SOUPS 665060 WITH SCORE 669470.314
AT ITER 804 NEW BEST:: SOT 6843793 SOS 4410149 HAS SOPS 4392119 HAS SOUS 666589 HAS SOUPS 664913 WITH SCORE 669323.149
AT ITER 809 NEW BEST:: SOT 6843673 SOS 4410029 HAS SOPS 4391999 HAS SOUS 666543 HAS SOUPS 664867 WITH SCORE 669277.029
AT ITER 817 NEW BEST:: SOT 6843653 SOS 4410009 HAS SOPS 4391979 HAS SOUS 665103 HAS SOUPS 663427 WITH SCORE 667837.009
AT ITER 830 NEW BEST:: SOT 6843404 SOS 4409828 HAS SOPS 4391934 HAS SOUS 664882 HAS SOUPS 663206 WITH SCORE 667615.828
AT ITER 833 NEW BEST:: SOT 6843612 SOS 4410042 HAS SOPS 4392148 HAS SOUS 664840 HAS SOUPS 663164 WITH SCORE 667574.042
AT ITER 834 NEW BEST:: SOT 6843571 SOS 4409956 HAS SOPS 4392062 HAS SOUS 664623 HAS SOUPS 662947 WITH SCORE 667356.956
AT ITER 837 NEW BEST:: SOT 6843554 SOS 4409939 HAS SOPS 4392028 HAS SOUS 664589 HAS SOUPS 662913 WITH SCORE 667322.939
AT ITER 855 NEW BEST:: SOT 6843533 SOS 4409918 HAS SOPS 4392007 HAS SOUS 664395 HAS SOUPS 662719 WITH SCORE 667128.918
AT ITER 857 NEW BEST:: SOT 6843533 SOS 4409932 HAS SOPS 4392021 HAS SOUS 663636 HAS SOUPS 661960 WITH SCORE 666369.932
AT ITER 861 NEW BEST:: SOT 6843294 SOS 4409693 HAS SOPS 4391782 HAS SOUS 663241 HAS SOUPS 661565 WITH SCORE 665974.693
AT ITER 862 NEW BEST:: SOT 6843290 SOS 4409689 HAS SOPS 4391774 HAS SOUS 663232 HAS SOUPS 661556 WITH SCORE 665965.689
AT ITER 876 NEW BEST:: SOT 6843284 SOS 4409683 HAS SOPS 4391768 HAS SOUS 663226 HAS SOUPS 661550 WITH SCORE 665959.683
AT ITER 878 NEW BEST:: SOT 6843034 SOS 4409433 HAS SOPS 4391518 HAS SOUS 659199 HAS SOUPS 657523 WITH SCORE 661932.433
AT ITER 884 NEW BEST:: SOT 6842633 SOS 4409144 HAS SOPS 4391229 HAS SOUS 655838 HAS SOUPS 654162 WITH SCORE 658571.144
AT ITER 888 NEW BEST:: SOT 6841849 SOS 4408360 HAS SOPS 4390445 HAS SOUS 655578 HAS SOUPS 653902 WITH SCORE 658310.36
AT ITER 895 NEW BEST:: SOT 6842069 SOS 4408712 HAS SOPS 4390797 HAS SOUS 655398 HAS SOUPS 653722 WITH SCORE 658130.712
AT ITER 909 NEW BEST:: SOT 6841115 SOS 4408056 HAS SOPS 4390141 HAS SOUS 655213 HAS SOUPS 653537 WITH SCORE 657945.056
AT ITER 912 NEW BEST:: SOT 6840796 SOS 4407715 HAS SOPS 4389800 HAS SOUS 655121 HAS SOUPS 653445 WITH SCORE 657852.715
AT ITER 914 NEW BEST:: SOT 6840253 SOS 4407337 HAS SOPS 4389422 HAS SOUS 655001 HAS SOUPS 653325 WITH SCORE 657732.337
AT ITER 919 NEW BEST:: SOT 6840218 SOS 4407127 HAS SOPS 4389212 HAS SOUS 655001 HAS SOUPS 653325 WITH SCORE 657732.127
AT ITER 920 NEW BEST:: SOT 6839702 SOS 4406307 HAS SOPS 4388392 HAS SOUS 654721 HAS SOUPS 653045 WITH SCORE 657451.307
AT ITER 923 NEW BEST:: SOT 6839654 SOS 4406211 HAS SOPS 4388296 HAS SOUS 654598 HAS SOUPS 652922 WITH SCORE 657328.211
AT ITER 928 NEW BEST:: SOT 6839601 SOS 4406158 HAS SOPS 4388243 HAS SOUS 654484 HAS SOUPS 652808 WITH SCORE 657214.158
AT ITER 933 NEW BEST:: SOT 6839490 SOS 4405928 HAS SOPS 4388013 HAS SOUS 654254 HAS SOUPS 652578 WITH SCORE 656983.928
AT ITER 944 NEW BEST:: SOT 6839327 SOS 4405765 HAS SOPS 4387850 HAS SOUS 654027 HAS SOUPS 652351 WITH SCORE 656756.765
AT ITER 948 NEW BEST:: SOT 6839229 SOS 4406070 HAS SOPS 4388174 HAS SOUS 653864 HAS SOUPS 652189 WITH SCORE 656595.07
AT ITER 953 NEW BEST:: SOT 6839278 SOS 4406120 HAS SOPS 4388224 HAS SOUS 653837 HAS SOUPS 652162 WITH SCORE 656568.12
AT ITER 976 NEW BEST:: SOT 6839278 SOS 3997493 HAS SOPS 3980245 HAS SOUS 653353 HAS SOUPS 651759 WITH SCORE 655756.493
AT ITER 977 NEW BEST:: SOT 6839020 SOS 3997278 HAS SOPS 3980030 HAS SOUS 653009 HAS SOUPS 651415 WITH SCORE 655412.278
AT ITER 979 NEW BEST:: SOT 6839276 SOS 3997880 HAS SOPS 3980632 HAS SOUS 652199 HAS SOUPS 650605 WITH SCORE 654602.88
AT ITER 987 NEW BEST:: SOT 6839259 SOS 3997863 HAS SOPS 3980598 HAS SOUS 652174 HAS SOUPS 650571 WITH SCORE 654568.863
AT ITER 988 NEW BEST:: SOT 6839228 SOS 3997821 HAS SOPS 3980556 HAS SOUS 651664 HAS SOUPS 650061 WITH SCORE 654058.821
AT ITER 1008 NEW BEST:: SOT 6840478 SOS 3999565 HAS SOPS 3982300 HAS SOUS 651565 HAS SOUPS 649962 WITH SCORE 653961.565
AT ITER 1009 NEW BEST:: SOT 6840110 SOS 3999894 HAS SOPS 3982781 HAS SOUS 651238 HAS SOUPS 649635 WITH SCORE 653634.894
AT ITER 1014 NEW BEST:: SOT 6840050 SOS 3999834 HAS SOPS 3982721 HAS SOUS 651158 HAS SOUPS 649555 WITH SCORE 653554.834
AT ITER 1021 NEW BEST:: SOT 6840050 SOS 3999832 HAS SOPS 3982719 HAS SOUS 651154 HAS SOUPS 649551 WITH SCORE 653550.832
AT ITER 1024 NEW BEST:: SOT 6839870 SOS 3999652 HAS SOPS 3982539 HAS SOUS 651019 HAS SOUPS 649416 WITH SCORE 653415.652
AT ITER 1026 NEW BEST:: SOT 6839675 SOS 3999282 HAS SOPS 3982169 HAS SOUS 649850 HAS SOUPS 648247 WITH SCORE 652246.282
AT ITER 1028 NEW BEST:: SOT 6839863 SOS 3999825 HAS SOPS 3982895 HAS SOUS 649336 HAS SOUPS 647733 WITH SCORE 651732.825
AT ITER 1032 NEW BEST:: SOT 6839195 SOS 3999317 HAS SOPS 3982387 HAS SOUS 648244 HAS SOUPS 646641 WITH SCORE 650640.317
AT ITER 1042 NEW BEST:: SOT 6839020 SOS 3999142 HAS SOPS 3982212 HAS SOUS 643607 HAS SOUPS 642004 WITH SCORE 646003.142
AT ITER 1051 NEW BEST:: SOT 6839004 SOS 3999126 HAS SOPS 3982196 HAS SOUS 643591 HAS SOUPS 641988 WITH SCORE 645987.126
AT ITER 1062 NEW BEST:: SOT 6839009 SOS 3999131 HAS SOPS 3982201 HAS SOUS 640831 HAS SOUPS 639228 WITH SCORE 643227.131
AT ITER 1065 NEW BEST:: SOT 6839037 SOS 3999159 HAS SOPS 3982229 HAS SOUS 640826 HAS SOUPS 639223 WITH SCORE 643222.159
AT ITER 1067 NEW BEST:: SOT 6838413 SOS 3998521 HAS SOPS 3981591 HAS SOUS 640486 HAS SOUPS 638883 WITH SCORE 642881.521
AT ITER 1072 NEW BEST:: SOT 6838626 SOS 3998896 HAS SOPS 3981966 HAS SOUS 639492 HAS SOUPS 637889 WITH SCORE 641887.896
AT ITER 1075 NEW BEST:: SOT 6838455 SOS 3998440 HAS SOPS 3981510 HAS SOUS 639133 HAS SOUPS 637530 WITH SCORE 641528.44
AT ITER 1084 NEW BEST:: SOT 6837634 SOS 3997719 HAS SOPS 3980789 HAS SOUS 638511 HAS SOUPS 636908 WITH SCORE 640905.719
AT ITER 1094 NEW BEST:: SOT 6837587 SOS 3997664 HAS SOPS 3980734 HAS SOUS 638440 HAS SOUPS 636837 WITH SCORE 640834.664
AT ITER 1105 NEW BEST:: SOT 6839173 SOS 3999002 HAS SOPS 3982072 HAS SOUS 637919 HAS SOUPS 636316 WITH SCORE 640315.002
AT ITER 1108 NEW BEST:: SOT 6838970 SOS 3998738 HAS SOPS 3981808 HAS SOUS 637382 HAS SOUPS 635779 WITH SCORE 639777.738
AT ITER 1109 NEW BEST:: SOT 6838667 SOS 3998435 HAS SOPS 3981505 HAS SOUS 637176 HAS SOUPS 635573 WITH SCORE 639571.435
AT ITER 1117 NEW BEST:: SOT 6838617 SOS 3998425 HAS SOPS 3981495 HAS SOUS 637017 HAS SOUPS 635414 WITH SCORE 639412.425
AT ITER 1130 NEW BEST:: SOT 6838630 SOS 3998405 HAS SOPS 3981475 HAS SOUS 636997 HAS SOUPS 635394 WITH SCORE 639392.405
AT ITER 1133 NEW BEST:: SOT 6838630 SOS 3998543 HAS SOPS 3981613 HAS SOUS 636767 HAS SOUPS 635164 WITH SCORE 639162.543
AT ITER 1138 NEW BEST:: SOT 6838533 SOS 3998479 HAS SOPS 3981549 HAS SOUS 636447 HAS SOUPS 634844 WITH SCORE 638842.479
AT ITER 1155 NEW BEST:: SOT 6838352 SOS 3998383 HAS SOPS 3981453 HAS SOUS 636327 HAS SOUPS 634724 WITH SCORE 638722.383
AT ITER 1162 NEW BEST:: SOT 6838350 SOS 3998379 HAS SOPS 3981449 HAS SOUS 636325 HAS SOUPS 634722 WITH SCORE 638720.379
AT ITER 1164 NEW BEST:: SOT 6838293 SOS 3998314 HAS SOPS 3981384 HAS SOUS 636218 HAS SOUPS 634615 WITH SCORE 638613.314
AT ITER 1165 NEW BEST:: SOT 6838160 SOS 3998101 HAS SOPS 3981171 HAS SOUS 636101 HAS SOUPS 634498 WITH SCORE 638496.101
AT ITER 1172 NEW BEST:: SOT 6838118 SOS 3998059 HAS SOPS 3981129 HAS SOUS 636059 HAS SOUPS 634456 WITH SCORE 638454.059
AT ITER 1181 NEW BEST:: SOT 6837845 SOS 3997630 HAS SOPS 3980700 HAS SOUS 635254 HAS SOUPS 633651 WITH SCORE 637648.63
AT ITER 1182 NEW BEST:: SOT 6837845 SOS 3997598 HAS SOPS 3980668 HAS SOUS 635136 HAS SOUPS 633533 WITH SCORE 637530.598
AT ITER 1205 NEW BEST:: SOT 6837152 SOS 3997110 HAS SOPS 3980180 HAS SOUS 634725 HAS SOUPS 633122 WITH SCORE 637119.11
AT ITER 1220 NEW BEST:: SOT 6837152 SOS 3997108 HAS SOPS 3980178 HAS SOUS 634725 HAS SOUPS 633122 WITH SCORE 637119.108
AT ITER 1225 NEW BEST:: SOT 6837084 SOS 3997006 HAS SOPS 3980076 HAS SOUS 634589 HAS SOUPS 632986 WITH SCORE 636983.006
AT ITER 1226 NEW BEST:: SOT 6838212 SOS 3998222 HAS SOPS 3981389 HAS SOUS 634300 HAS SOUPS 632697 WITH SCORE 636695.222
AT ITER 1257 NEW BEST:: SOT 6838299 SOS 3998343 HAS SOPS 3981510 HAS SOUS 634212 HAS SOUPS 632609 WITH SCORE 636607.343
AT ITER 1265 NEW BEST:: SOT 6838410 SOS 3998454 HAS SOPS 3981621 HAS SOUS 631937 HAS SOUPS 630334 WITH SCORE 634332.454
AT ITER 1266 NEW BEST:: SOT 6838383 SOS 3998427 HAS SOPS 3981594 HAS SOUS 631892 HAS SOUPS 630289 WITH SCORE 634287.427
AT ITER 1267 NEW BEST:: SOT 6837674 SOS 3997830 HAS SOPS 3980997 HAS SOUS 631165 HAS SOUPS 629562 WITH SCORE 633559.83
AT ITER 1268 NEW BEST:: SOT 6837608 SOS 3997764 HAS SOPS 3980931 HAS SOUS 631033 HAS SOUPS 629430 WITH SCORE 633427.764
AT ITER 1275 NEW BEST:: SOT 6838120 SOS 3998767 HAS SOPS 3982094 HAS SOUS 630411 HAS SOUPS 628808 WITH SCORE 632806.767
AT ITER 1295 NEW BEST:: SOT 6838098 SOS 3998745 HAS SOPS 3982050 HAS SOUS 630367 HAS SOUPS 628764 WITH SCORE 632762.745
AT ITER 1300 NEW BEST:: SOT 6838121 SOS 3998768 HAS SOPS 3982025 HAS SOUS 630250 HAS SOUPS 628647 WITH SCORE 632645.768
AT ITER 1301 NEW BEST:: SOT 6838058 SOS 3998703 HAS SOPS 3982054 HAS SOUS 630124 HAS SOUPS 628521 WITH SCORE 632519.703
AT ITER 1312 NEW BEST:: SOT 6630404 SOS 3791253 HAS SOPS 3774604 HAS SOUS 602737 HAS SOUPS 601134 WITH SCORE 604925.253
AT ITER 1320 NEW BEST:: SOT 6630281 SOS 3791026 HAS SOPS 3774377 HAS SOUS 602510 HAS SOUPS 600907 WITH SCORE 604698.026
AT ITER 1333 NEW BEST:: SOT 6630254 SOS 3790999 HAS SOPS 3774323 HAS SOUS 602456 HAS SOUPS 600853 WITH SCORE 604643.999
AT ITER 1334 NEW BEST:: SOT 6630206 SOS 3790951 HAS SOPS 3774227 HAS SOUS 602282 HAS SOUPS 600679 WITH SCORE 604469.951
AT ITER 1341 NEW BEST:: SOT 6630384 SOS 3791525 HAS SOPS 3774801 HAS SOUS 601481 HAS SOUPS 599878 WITH SCORE 603669.525
AT ITER 1346 NEW BEST:: SOT 6630183 SOS 3791479 HAS SOPS 3774755 HAS SOUS 601194 HAS SOUPS 599591 WITH SCORE 603382.479
AT ITER 1350 NEW BEST:: SOT 6630153 SOS 3791449 HAS SOPS 3774725 HAS SOUS 601179 HAS SOUPS 599576 WITH SCORE 603367.449
AT ITER 1351 NEW BEST:: SOT 6629918 SOS 3790964 HAS SOPS 3774240 HAS SOUS 600694 HAS SOUPS 599091 WITH SCORE 602881.964
AT ITER 1352 NEW BEST:: SOT 6629660 SOS 3790712 HAS SOPS 3774120 HAS SOUS 600517 HAS SOUPS 598914 WITH SCORE 602704.712
AT ITER 1359 NEW BEST:: SOT 6629444 SOS 3790496 HAS SOPS 3773904 HAS SOUS 600448 HAS SOUPS 598845 WITH SCORE 602635.496
AT ITER 1361 NEW BEST:: SOT 6629444 SOS 3790496 HAS SOPS 3773904 HAS SOUS 600447 HAS SOUPS 598844 WITH SCORE 602634.496
AT ITER 1363 NEW BEST:: SOT 6629412 SOS 3790464 HAS SOPS 3773872 HAS SOUS 600405 HAS SOUPS 598802 WITH SCORE 602592.464
AT ITER 1375 NEW BEST:: SOT 6626517 SOS 3787606 HAS SOPS 3771014 HAS SOUS 599638 HAS SOUPS 598035 WITH SCORE 601822.606
AT ITER 1384 NEW BEST:: SOT 6626532 SOS 3787741 HAS SOPS 3771149 HAS SOUS 597028 HAS SOUPS 595425 WITH SCORE 599212.741
AT ITER 1409 NEW BEST:: SOT 6626176 SOS 3787003 HAS SOPS 3770411 HAS SOUS 596838 HAS SOUPS 595235 WITH SCORE 599022.003
AT ITER 1422 NEW BEST:: SOT 6625876 SOS 3786780 HAS SOPS 3770188 HAS SOUS 596138 HAS SOUPS 594535 WITH SCORE 598321.78
AT ITER 1423 NEW BEST:: SOT 6625708 SOS 3786570 HAS SOPS 3769978 HAS SOUS 595998 HAS SOUPS 594395 WITH SCORE 598181.57
AT ITER 1432 NEW BEST:: SOT 6623349 SOS 3784008 HAS SOPS 3767416 HAS SOUS 594607 HAS SOUPS 593004 WITH SCORE 596788.008
AT ITER 1435 NEW BEST:: SOT 6622805 SOS 3782751 HAS SOPS 3766159 HAS SOUS 593943 HAS SOUPS 592340 WITH SCORE 596122.751
AT ITER 1437 NEW BEST:: SOT 6266979 SOS 3427202 HAS SOPS 3410610 HAS SOUS 546609 HAS SOUPS 545006 WITH SCORE 548433.202
AT ITER 1441 NEW BEST:: SOT 6267005 SOS 3427277 HAS SOPS 3410822 HAS SOUS 546270 HAS SOUPS 544667 WITH SCORE 548094.277
AT ITER 1448 NEW BEST:: SOT 6266885 SOS 3426947 HAS SOPS 3410492 HAS SOUS 546240 HAS SOUPS 544637 WITH SCORE 548063.947
AT ITER 1463 NEW BEST:: SOT 6266885 SOS 3426947 HAS SOPS 3410492 HAS SOUS 546233 HAS SOUPS 544630 WITH SCORE 548056.947
AT ITER 1468 NEW BEST:: SOT 6266885 SOS 3426949 HAS SOPS 3410494 HAS SOUS 546225 HAS SOUPS 544622 WITH SCORE 548048.949
AT ITER 1489 NEW BEST:: SOT 6097020 SOS 3535883 HAS SOPS 3519428 HAS SOUS 535264 HAS SOUPS 533661 WITH SCORE 537196.883
AT ITER 1496 NEW BEST:: SOT 6097159 SOS 3536994 HAS SOPS 3520539 HAS SOUS 535153 HAS SOUPS 533550 WITH SCORE 537086.994
AT ITER 1504 NEW BEST:: SOT 6033495 SOS 3473330 HAS SOPS 3456875 HAS SOUS 528477 HAS SOUPS 526874 WITH SCORE 530347.33
AT ITER 1513 NEW BEST:: SOT 6033576 SOS 3473319 HAS SOPS 3456864 HAS SOUS 528466 HAS SOUPS 526863 WITH SCORE 530336.319
AT ITER 1522 NEW BEST:: SOT 6032979 SOS 3472388 HAS SOPS 3455933 HAS SOUS 527763 HAS SOUPS 526160 WITH SCORE 529632.388
AT ITER 1526 NEW BEST:: SOT 6032979 SOS 3472388 HAS SOPS 3455933 HAS SOUS 527749 HAS SOUPS 526146 WITH SCORE 529618.388
AT ITER 1530 NEW BEST:: SOT 6031956 SOS 3471410 HAS SOPS 3454955 HAS SOUS 527594 HAS SOUPS 525991 WITH SCORE 529462.41
AT ITER 1536 NEW BEST:: SOT 6032083 SOS 3471652 HAS SOPS 3455245 HAS SOUS 527214 HAS SOUPS 525611 WITH SCORE 529082.652
AT ITER 1541 NEW BEST:: SOT 6032034 SOS 3471529 HAS SOPS 3455122 HAS SOUS 527100 HAS SOUPS 525497 WITH SCORE 528968.529
AT ITER 1548 NEW BEST:: SOT 6031962 SOS 3471457 HAS SOPS 3455050 HAS SOUS 527069 HAS SOUPS 525466 WITH SCORE 528937.457
AT ITER 1561 NEW BEST:: SOT 6031962 SOS 3413943 HAS SOPS 3397536 HAS SOUS 527069 HAS SOUPS 525466 WITH SCORE 528879.943
AT ITER 1563 NEW BEST:: SOT 6031903 SOS 3413884 HAS SOPS 3397477 HAS SOUS 526735 HAS SOUPS 525132 WITH SCORE 528545.884
AT ITER 1564 NEW BEST:: SOT 6031716 SOS 3413815 HAS SOPS 3397408 HAS SOUS 526699 HAS SOUPS 525096 WITH SCORE 528509.815
AT ITER 1600 NEW BEST:: SOT 6031205 SOS 3413285 HAS SOPS 3396878 HAS SOUS 526261 HAS SOUPS 524658 WITH SCORE 528071.285
AT ITER 1617 NEW BEST:: SOT 6031346 SOS 3413426 HAS SOPS 3397019 HAS SOUS 523956 HAS SOUPS 522353 WITH SCORE 525766.426
AT ITER 1620 NEW BEST:: SOT 6031252 SOS 3413766 HAS SOPS 3397374 HAS SOUS 523926 HAS SOUPS 522323 WITH SCORE 525736.766
AT ITER 1624 NEW BEST:: SOT 6030934 SOS 3413494 HAS SOPS 3397195 HAS SOUS 523255 HAS SOUPS 521652 WITH SCORE 525065.494
AT ITER 1633 NEW BEST:: SOT 6030257 SOS 3412064 HAS SOPS 3395765 HAS SOUS 522831 HAS SOUPS 521228 WITH SCORE 524640.064
AT ITER 1646 NEW BEST:: SOT 6030192 SOS 3411905 HAS SOPS 3395606 HAS SOUS 522701 HAS SOUPS 521098 WITH SCORE 524509.905
AT ITER 1652 NEW BEST:: SOT 6030537 SOS 3412604 HAS SOPS 3396305 HAS SOUS 522585 HAS SOUPS 520982 WITH SCORE 524394.604
AT ITER 1664 NEW BEST:: SOT 6035441 SOS 3417574 HAS SOPS 3401275 HAS SOUS 521859 HAS SOUPS 520256 WITH SCORE 523673.574
AT ITER 1666 NEW BEST:: SOT 6034642 SOS 3416978 HAS SOPS 3400679 HAS SOUS 521702 HAS SOUPS 520099 WITH SCORE 523515.978
AT ITER 1684 NEW BEST:: SOT 6019142 SOS 3401488 HAS SOPS 3385189 HAS SOUS 519662 HAS SOUPS 518059 WITH SCORE 521460.488
AT ITER 1692 NEW BEST:: SOT 6019142 SOS 3401460 HAS SOPS 3385161 HAS SOUS 519662 HAS SOUPS 518059 WITH SCORE 521460.46
AT ITER 1697 NEW BEST:: SOT 6019120 SOS 3401438 HAS SOPS 3385139 HAS SOUS 519618 HAS SOUPS 518015 WITH SCORE 521416.438
AT ITER 1714 NEW BEST:: SOT 6018880 SOS 3401248 HAS SOPS 3384977 HAS SOUS 519548 HAS SOUPS 517926 WITH SCORE 521327.248
AT ITER 1722 NEW BEST:: SOT 5999104 SOS 3381381 HAS SOPS 3365110 HAS SOUS 517235 HAS SOUPS 515613 WITH SCORE 518994.381
AT ITER 1727 NEW BEST:: SOT 5986612 SOS 3368837 HAS SOPS 3352566 HAS SOUS 515731 HAS SOUPS 514109 WITH SCORE 517477.837
AT ITER 1730 NEW BEST:: SOT 5986407 SOS 3368632 HAS SOPS 3352361 HAS SOUS 515731 HAS SOUPS 514109 WITH SCORE 517477.632
AT ITER 1744 NEW BEST:: SOT 5986388 SOS 3368591 HAS SOPS 3352320 HAS SOUS 515731 HAS SOUPS 514109 WITH SCORE 517477.591
AT ITER 1748 NEW BEST:: SOT 5986312 SOS 3368477 HAS SOPS 3352206 HAS SOUS 515617 HAS SOUPS 513995 WITH SCORE 517363.477
AT ITER 1762 NEW BEST:: SOT 5986066 SOS 3368149 HAS SOPS 3351878 HAS SOUS 515289 HAS SOUPS 513667 WITH SCORE 517035.149
AT ITER 1765 NEW BEST:: SOT 5985771 SOS 3367602 HAS SOPS 3351331 HAS SOUS 514826 HAS SOUPS 513204 WITH SCORE 516571.602
AT ITER 1767 NEW BEST:: SOT 5985635 SOS 3367550 HAS SOPS 3351279 HAS SOUS 514807 HAS SOUPS 513185 WITH SCORE 516552.55
AT ITER 1768 NEW BEST:: SOT 5985145 SOS 3366962 HAS SOPS 3350691 HAS SOUS 514355 HAS SOUPS 512733 WITH SCORE 516099.962
AT ITER 1778 NEW BEST:: SOT 5985097 SOS 3366890 HAS SOPS 3350619 HAS SOUS 514223 HAS SOUPS 512601 WITH SCORE 515967.89
AT ITER 1800 NEW BEST:: SOT 5984983 SOS 3366776 HAS SOPS 3350505 HAS SOUS 514109 HAS SOUPS 512487 WITH SCORE 515853.776
AT ITER 1801 NEW BEST:: SOT 5957522 SOS 3339315 HAS SOPS 3323044 HAS SOUS 511098 HAS SOUPS 509476 WITH SCORE 512815.315
AT ITER 1805 NEW BEST:: SOT 5957512 SOS 3339305 HAS SOPS 3323034 HAS SOUS 511088 HAS SOUPS 509466 WITH SCORE 512805.305
AT ITER 1808 NEW BEST:: SOT 5957142 SOS 3338935 HAS SOPS 3322664 HAS SOUS 510652 HAS SOUPS 509030 WITH SCORE 512368.935
AT ITER 1814 NEW BEST:: SOT 5957126 SOS 3338971 HAS SOPS 3322700 HAS SOUS 510620 HAS SOUPS 508998 WITH SCORE 512336.971
AT ITER 1820 NEW BEST:: SOT 5957383 SOS 3340262 HAS SOPS 3323991 HAS SOUS 510606 HAS SOUPS 508984 WITH SCORE 512324.262
AT ITER 1822 NEW BEST:: SOT 5957535 SOS 3340684 HAS SOPS 3324413 HAS SOUS 510243 HAS SOUPS 508621 WITH SCORE 511961.684
AT ITER 1831 NEW BEST:: SOT 5956118 SOS 3339267 HAS SOPS 3322996 HAS SOUS 510229 HAS SOUPS 508607 WITH SCORE 511946.267
AT ITER 1834 NEW BEST:: SOT 5960994 SOS 3344143 HAS SOPS 3327872 HAS SOUS 505915 HAS SOUPS 504293 WITH SCORE 507637.143
AT ITER 1843 NEW BEST:: SOT 5960946 SOS 3344095 HAS SOPS 3327824 HAS SOUS 505851 HAS SOUPS 504229 WITH SCORE 507573.095
AT ITER 1853 NEW BEST:: SOT 5960886 SOS 3344035 HAS SOPS 3327742 HAS SOUS 505731 HAS SOUPS 504109 WITH SCORE 507453.035
AT ITER 1857 NEW BEST:: SOT 5960835 SOS 3343956 HAS SOPS 3327663 HAS SOUS 505614 HAS SOUPS 503992 WITH SCORE 507335.956
AT ITER 1865 NEW BEST:: SOT 5960852 SOS 3344060 HAS SOPS 3327678 HAS SOUS 505556 HAS SOUPS 503934 WITH SCORE 507278.06
AT ITER 1877 NEW BEST:: SOT 5960397 SOS 3343179 HAS SOPS 3326797 HAS SOUS 505429 HAS SOUPS 503807 WITH SCORE 507150.179
AT ITER 1902 NEW BEST:: SOT 5960990 SOS 3344550 HAS SOPS 3328168 HAS SOUS 505298 HAS SOUPS 503676 WITH SCORE 507020.55
AT ITER 1924 NEW BEST:: SOT 5960915 SOS 3344499 HAS SOPS 3328117 HAS SOUS 505247 HAS SOUPS 503625 WITH SCORE 506969.499
AT ITER 1925 NEW BEST:: SOT 5960614 SOS 3344298 HAS SOPS 3327916 HAS SOUS 504812 HAS SOUPS 503190 WITH SCORE 506534.298
AT ITER 1933 NEW BEST:: SOT 5960614 SOS 3344165 HAS SOPS 3327783 HAS SOUS 504679 HAS SOUPS 503057 WITH SCORE 506401.165
AT ITER 1935 NEW BEST:: SOT 5941978 SOS 3325541 HAS SOPS 3309159 HAS SOUS 502195 HAS SOUPS 500573 WITH SCORE 503898.541
AT ITER 1939 NEW BEST:: SOT 5942017 SOS 3325772 HAS SOPS 3309390 HAS SOUS 502116 HAS SOUPS 500494 WITH SCORE 503819.772
AT ITER 1944 NEW BEST:: SOT 5942021 SOS 3325760 HAS SOPS 3309378 HAS SOUS 502094 HAS SOUPS 500472 WITH SCORE 503797.76
AT ITER 1946 NEW BEST:: SOT 5941992 SOS 3325752 HAS SOPS 3309370 HAS SOUS 502086 HAS SOUPS 500464 WITH SCORE 503789.752
AT ITER 1949 NEW BEST:: SOT 5941989 SOS 3325821 HAS SOPS 3309436 HAS SOUS 501883 HAS SOUPS 500261 WITH SCORE 503586.821
AT ITER 1966 NEW BEST:: SOT 5941950 SOS 3325743 HAS SOPS 3309358 HAS SOUS 501747 HAS SOUPS 500125 WITH SCORE 503450.743
AT ITER 1969 NEW BEST:: SOT 5939873 SOS 3328508 HAS SOPS 3312123 HAS SOUS 500717 HAS SOUPS 499095 WITH SCORE 502423.508
AT ITER 1982 NEW BEST:: SOT 5939789 SOS 3328377 HAS SOPS 3311992 HAS SOUS 500609 HAS SOUPS 498987 WITH SCORE 502315.377
AT ITER 1991 NEW BEST:: SOT 5937748 SOS 3326389 HAS SOPS 3310004 HAS SOUS 500350 HAS SOUPS 498728 WITH SCORE 502054.389
AT ITER 1992 NEW BEST:: SOT 5937638 SOS 3326231 HAS SOPS 3309846 HAS SOUS 500192 HAS SOUPS 498570 WITH SCORE 501896.231
AT ITER 1998 NEW BEST:: SOT 5936884 SOS 3325354 HAS SOPS 3308969 HAS SOUS 496799 HAS SOUPS 495177 WITH SCORE 498502.354
AT ITER 2008 NEW BEST:: SOT 5937094 SOS 3325606 HAS SOPS 3309221 HAS SOUS 496526 HAS SOUPS 494904 WITH SCORE 498229.606
AT ITER 2017 NEW BEST:: SOT 5936743 SOS 3325177 HAS SOPS 3308792 HAS SOUS 496106 HAS SOUPS 494484 WITH SCORE 497809.177
AT ITER 2037 NEW BEST:: SOT 5936811 SOS 3330982 HAS SOPS 3314597 HAS SOUS 494468 HAS SOUPS 492846 WITH SCORE 496176.982
AT ITER 2049 NEW BEST:: SOT 5936812 SOS 3330983 HAS SOPS 3314598 HAS SOUS 494439 HAS SOUPS 492817 WITH SCORE 496147.983
AT ITER 2055 NEW BEST:: SOT 5936808 SOS 3330979 HAS SOPS 3314594 HAS SOUS 494439 HAS SOUPS 492817 WITH SCORE 496147.979
AT ITER 2065 NEW BEST:: SOT 5941134 SOS 3335305 HAS SOPS 3318920 HAS SOUS 493051 HAS SOUPS 491429 WITH SCORE 494764.305
AT ITER 2081 NEW BEST:: SOT 5941083 SOS 3335254 HAS SOPS 3318869 HAS SOUS 493000 HAS SOUPS 491378 WITH SCORE 494713.254
AT ITER 2085 NEW BEST:: SOT 5941082 SOS 3335240 HAS SOPS 3318855 HAS SOUS 492956 HAS SOUPS 491334 WITH SCORE 494669.24
AT ITER 2094 NEW BEST:: SOT 5941058 SOS 3335216 HAS SOPS 3318831 HAS SOUS 492908 HAS SOUPS 491286 WITH SCORE 494621.216
AT ITER 2101 NEW BEST:: SOT 5940826 SOS 3334804 HAS SOPS 3318419 HAS SOUS 492624 HAS SOUPS 491002 WITH SCORE 494336.804
AT ITER 2107 NEW BEST:: SOT 5940115 SOS 3334100 HAS SOPS 3317715 HAS SOUS 491789 HAS SOUPS 490167 WITH SCORE 493501.1
AT ITER 2109 NEW BEST:: SOT 5939798 SOS 3333777 HAS SOPS 3317392 HAS SOUS 491363 HAS SOUPS 489741 WITH SCORE 493074.777
AT ITER 2110 NEW BEST:: SOT 5932059 SOS 3326038 HAS SOPS 3309653 HAS SOUS 490827 HAS SOUPS 489205 WITH SCORE 492531.038
AT ITER 2111 NEW BEST:: SOT 5931984 SOS 3325963 HAS SOPS 3309578 HAS SOUS 490727 HAS SOUPS 489105 WITH SCORE 492430.963
AT ITER 2133 NEW BEST:: SOT 5931979 SOS 3325948 HAS SOPS 3309563 HAS SOUS 490712 HAS SOUPS 489090 WITH SCORE 492415.948
AT ITER 2134 NEW BEST:: SOT 5931907 SOS 3245068 HAS SOPS 3228683 HAS SOUS 490712 HAS SOUPS 489090 WITH SCORE 492335.068
AT ITER 2171 NEW BEST:: SOT 5931932 SOS 3245068 HAS SOPS 3228683 HAS SOUS 490687 HAS SOUPS 489065 WITH SCORE 492310.068
AT ITER 2174 NEW BEST:: SOT 5931893 SOS 3245029 HAS SOPS 3228605 HAS SOUS 490609 HAS SOUPS 488987 WITH SCORE 492232.029
AT ITER 2175 NEW BEST:: SOT 5931753 SOS 3244889 HAS SOPS 3228465 HAS SOUS 490347 HAS SOUPS 488725 WITH SCORE 491969.889
AT ITER 2176 NEW BEST:: SOT 5931365 SOS 3244475 HAS SOPS 3228051 HAS SOUS 490291 HAS SOUPS 488669 WITH SCORE 491913.475
AT ITER 2179 NEW BEST:: SOT 5912267 SOS 3225223 HAS SOPS 3208799 HAS SOUS 488215 HAS SOUPS 486593 WITH SCORE 489818.223
AT ITER 2180 NEW BEST:: SOT 5912219 SOS 3225175 HAS SOPS 3208703 HAS SOUS 488042 HAS SOUPS 486420 WITH SCORE 489645.175
AT ITER 2182 NEW BEST:: SOT 5912378 SOS 3227696 HAS SOPS 3211224 HAS SOUS 487642 HAS SOUPS 486020 WITH SCORE 489247.696
AT ITER 2216 NEW BEST:: SOT 5912312 SOS 3227753 HAS SOPS 3211293 HAS SOUS 487555 HAS SOUPS 485933 WITH SCORE 489160.753
AT ITER 2231 NEW BEST:: SOT 5912312 SOS 3227753 HAS SOPS 3211293 HAS SOUS 487548 HAS SOUPS 485926 WITH SCORE 489153.753
AT ITER 2239 NEW BEST:: SOT 5909659 SOS 3225100 HAS SOPS 3208640 HAS SOUS 485385 HAS SOUPS 483763 WITH SCORE 486988.1
AT ITER 2263 NEW BEST:: SOT 5909417 SOS 3224858 HAS SOPS 3208398 HAS SOUS 485279 HAS SOUPS 483657 WITH SCORE 486881.858
AT ITER 2272 NEW BEST:: SOT 5909083 SOS 3224524 HAS SOPS 3208064 HAS SOUS 483412 HAS SOUPS 481790 WITH SCORE 485014.524
AT ITER 2274 NEW BEST:: SOT 5909083 SOS 3224476 HAS SOPS 3208016 HAS SOUS 483407 HAS SOUPS 481785 WITH SCORE 485009.476
AT ITER 2286 NEW BEST:: SOT 5908869 SOS 3223952 HAS SOPS 3207492 HAS SOUS 483217 HAS SOUPS 481595 WITH SCORE 484818.952
AT ITER 2306 NEW BEST:: SOT 5908702 SOS 3223785 HAS SOPS 3207325 HAS SOUS 483210 HAS SOUPS 481588 WITH SCORE 484811.785
AT ITER 2307 NEW BEST:: SOT 5908422 SOS 3223491 HAS SOPS 3207031 HAS SOUS 483136 HAS SOUPS 481514 WITH SCORE 484737.491
AT ITER 2318 NEW BEST:: SOT 5908422 SOS 3223494 HAS SOPS 3207034 HAS SOUS 483115 HAS SOUPS 481493 WITH SCORE 484716.494
AT ITER 2336 NEW BEST:: SOT 5908181 SOS 3219966 HAS SOPS 3203506 HAS SOUS 482845 HAS SOUPS 481223 WITH SCORE 484442.966
AT ITER 2345 NEW BEST:: SOT 5908245 SOS 3220030 HAS SOPS 3203570 HAS SOUS 482713 HAS SOUPS 481091 WITH SCORE 484311.03
AT ITER 2365 NEW BEST:: SOT 5908233 SOS 3220018 HAS SOPS 3203558 HAS SOUS 482701 HAS SOUPS 481079 WITH SCORE 484299.018
AT ITER 2385 NEW BEST:: SOT 5908113 SOS 3219902 HAS SOPS 3203442 HAS SOUS 482665 HAS SOUPS 481043 WITH SCORE 484262.902
AT ITER 2389 NEW BEST:: SOT 5907420 SOS 3219362 HAS SOPS 3202902 HAS SOUS 481702 HAS SOUPS 480080 WITH SCORE 483299.362
AT ITER 2393 NEW BEST:: SOT 5907365 SOS 3219307 HAS SOPS 3202847 HAS SOUS 481647 HAS SOUPS 480025 WITH SCORE 483244.307
AT ITER 2394 NEW BEST:: SOT 5907310 SOS 3219124 HAS SOPS 3202664 HAS SOUS 481409 HAS SOUPS 479787 WITH SCORE 483006.124
AT ITER 2401 NEW BEST:: SOT 5907793 SOS 3218870 HAS SOPS 3195258 HAS SOUS 482123 HAS SOUPS 479607 WITH SCORE 482825.87
AT ITER 2434 NEW BEST:: SOT 5908017 SOS 3219094 HAS SOPS 3195482 HAS SOUS 481770 HAS SOUPS 479254 WITH SCORE 482473.094
AT ITER 2435 NEW BEST:: SOT 5907621 SOS 3218825 HAS SOPS 3195291 HAS SOUS 481327 HAS SOUPS 478811 WITH SCORE 482029.825
AT ITER 2439 NEW BEST:: SOT 5907349 SOS 3218545 HAS SOPS 3195153 HAS SOUS 481213 HAS SOUPS 478697 WITH SCORE 481915.545
AT ITER 2458 NEW BEST:: SOT 5907199 SOS 3218350 HAS SOPS 3194958 HAS SOUS 480723 HAS SOUPS 478207 WITH SCORE 481425.35
AT ITER 2468 NEW BEST:: SOT 5907191 SOS 3218342 HAS SOPS 3194950 HAS SOUS 480703 HAS SOUPS 478187 WITH SCORE 481405.342
AT ITER 2480 NEW BEST:: SOT 5907230 SOS 3218462 HAS SOPS 3194957 HAS SOUS 480644 HAS SOUPS 478128 WITH SCORE 481346.462
AT ITER 2523 NEW BEST:: SOT 5907695 SOS 3221539 HAS SOPS 3198034 HAS SOUS 480584 HAS SOUPS 478068 WITH SCORE 481289.539
AT ITER 2526 NEW BEST:: SOT 5907615 SOS 3221591 HAS SOPS 3198086 HAS SOUS 480542 HAS SOUPS 478026 WITH SCORE 481247.591
AT ITER 2537 NEW BEST:: SOT 5908663 SOS 3222513 HAS SOPS 3199008 HAS SOUS 480144 HAS SOUPS 477628 WITH SCORE 480850.513
AT ITER 2546 NEW BEST:: SOT 5908603 SOS 3222453 HAS SOPS 3198948 HAS SOUS 480096 HAS SOUPS 477580 WITH SCORE 480802.453
AT ITER 2547 NEW BEST:: SOT 5908438 SOS 3222233 HAS SOPS 3198728 HAS SOUS 479876 HAS SOUPS 477360 WITH SCORE 480582.233
AT ITER 2551 NEW BEST:: SOT 5907914 SOS 3221482 HAS SOPS 3197977 HAS SOUS 479210 HAS SOUPS 476694 WITH SCORE 479915.482
AT ITER 2571 NEW BEST:: SOT 5907728 SOS 3220869 HAS SOPS 3197364 HAS SOUS 479190 HAS SOUPS 476674 WITH SCORE 479894.869
AT ITER 2576 NEW BEST:: SOT 5907727 SOS 3220868 HAS SOPS 3197363 HAS SOUS 479183 HAS SOUPS 476667 WITH SCORE 479887.868
AT ITER 2632 NEW BEST:: SOT 5907754 SOS 3035061 HAS SOPS 3011556 HAS SOUS 478602 HAS SOUPS 476086 WITH SCORE 479121.061
AT ITER 2637 NEW BEST:: SOT 5903044 SOS 3030351 HAS SOPS 3006846 HAS SOUS 478032 HAS SOUPS 475516 WITH SCORE 478546.351
AT ITER 2640 NEW BEST:: SOT 5903154 SOS 3030220 HAS SOPS 3006755 HAS SOUS 478023 HAS SOUPS 475507 WITH SCORE 478537.22
AT ITER 2652 NEW BEST:: SOT 5903202 SOS 3030249 HAS SOPS 3006784 HAS SOUS 477777 HAS SOUPS 475261 WITH SCORE 478291.249
AT ITER 2670 NEW BEST:: SOT 5903198 SOS 3030245 HAS SOPS 3006784 HAS SOUS 477777 HAS SOUPS 475261 WITH SCORE 478291.245
AT ITER 2674 NEW BEST:: SOT 5903013 SOS 3030145 HAS SOPS 3006684 HAS SOUS 477512 HAS SOUPS 474996 WITH SCORE 478026.145
AT ITER 2677 NEW BEST:: SOT 5903993 SOS 3031263 HAS SOPS 3007899 HAS SOUS 477446 HAS SOUPS 474930 WITH SCORE 477961.263
AT ITER 2711 NEW BEST:: SOT 5903874 SOS 3031144 HAS SOPS 3007787 HAS SOUS 477318 HAS SOUPS 474802 WITH SCORE 477833.144
AT ITER 2714 NEW BEST:: SOT 5903732 SOS 3030882 HAS SOPS 3007617 HAS SOUS 477274 HAS SOUPS 474758 WITH SCORE 477788.882
AT ITER 2716 NEW BEST:: SOT 5903699 SOS 3030979 HAS SOPS 3007714 HAS SOUS 476913 HAS SOUPS 474397 WITH SCORE 477427.979
AT ITER 2721 NEW BEST:: SOT 5903703 SOS 3030983 HAS SOPS 3007718 HAS SOUS 476893 HAS SOUPS 474377 WITH SCORE 477407.983
AT ITER 2729 NEW BEST:: SOT 5868140 SOS 3084711 HAS SOPS 3061446 HAS SOUS 476054 HAS SOUPS 473538 WITH SCORE 476622.711
AT ITER 2744 NEW BEST:: SOT 5867816 SOS 3084254 HAS SOPS 3060989 HAS SOUS 475597 HAS SOUPS 473081 WITH SCORE 476165.254
AT ITER 2751 NEW BEST:: SOT 5867816 SOS 3084254 HAS SOPS 3060989 HAS SOUS 475007 HAS SOUPS 472491 WITH SCORE 475575.254
AT ITER 2754 NEW BEST:: SOT 5867645 SOS 3084120 HAS SOPS 3061004 HAS SOUS 474976 HAS SOUPS 472460 WITH SCORE 475544.12
AT ITER 2756 NEW BEST:: SOT 5867645 SOS 3084120 HAS SOPS 3061004 HAS SOUS 474968 HAS SOUPS 472452 WITH SCORE 475536.12
AT ITER 2784 NEW BEST:: SOT 5867602 SOS 3084560 HAS SOPS 3061421 HAS SOUS 474892 HAS SOUPS 472376 WITH SCORE 475460.56
AT ITER 2794 NEW BEST:: SOT 5867555 SOS 3084466 HAS SOPS 3061327 HAS SOUS 474798 HAS SOUPS 472282 WITH SCORE 475366.466
AT ITER 2798 NEW BEST:: SOT 5867538 SOS 3084450 HAS SOPS 3061311 HAS SOUS 474782 HAS SOUPS 472266 WITH SCORE 475350.45
AT ITER 2806 NEW BEST:: SOT 5810714 SOS 3027673 HAS SOPS 3004534 HAS SOUS 467034 HAS SOUPS 464518 WITH SCORE 467545.673
AT ITER 2818 NEW BEST:: SOT 5810693 SOS 3027637 HAS SOPS 3004498 HAS SOUS 466992 HAS SOUPS 464476 WITH SCORE 467503.637
AT ITER 2841 NEW BEST:: SOT 5810300 SOS 3027244 HAS SOPS 3004105 HAS SOUS 466190 HAS SOUPS 463674 WITH SCORE 466701.244
AT ITER 2843 NEW BEST:: SOT 5810252 SOS 3027132 HAS SOPS 3003993 HAS SOUS 465890 HAS SOUPS 463374 WITH SCORE 466401.132
AT ITER 2852 NEW BEST:: SOT 5810360 SOS 3027040 HAS SOPS 3003800 HAS SOUS 465792 HAS SOUPS 463276 WITH SCORE 466303.04
AT ITER 2855 NEW BEST:: SOT 5810303 SOS 3026744 HAS SOPS 3003553 HAS SOUS 465630 HAS SOUPS 463114 WITH SCORE 466140.744
AT ITER 2858 NEW BEST:: SOT 5810307 SOS 3026207 HAS SOPS 3002986 HAS SOUS 465442 HAS SOUPS 462926 WITH SCORE 465952.207
AT ITER 2862 NEW BEST:: SOT 5809271 SOS 3025171 HAS SOPS 3001950 HAS SOUS 465357 HAS SOUPS 462841 WITH SCORE 465866.171
AT ITER 2882 NEW BEST:: SOT 5809261 SOS 3025161 HAS SOPS 3001940 HAS SOUS 465337 HAS SOUPS 462821 WITH SCORE 465846.161
AT ITER 2894 NEW BEST:: SOT 5809198 SOS 3025057 HAS SOPS 3001886 HAS SOUS 465334 HAS SOUPS 462818 WITH SCORE 465843.057
AT ITER 2904 NEW BEST:: SOT 5809207 SOS 3025039 HAS SOPS 3001868 HAS SOUS 465334 HAS SOUPS 462818 WITH SCORE 465843.039
AT ITER 2911 NEW BEST:: SOT 5809873 SOS 3025705 HAS SOPS 3002534 HAS SOUS 463575 HAS SOUPS 461059 WITH SCORE 464084.705
AT ITER 2912 NEW BEST:: SOT 5809851 SOS 3025672 HAS SOPS 3002501 HAS SOUS 463553 HAS SOUPS 461037 WITH SCORE 464062.672
AT ITER 2922 NEW BEST:: SOT 5809819 SOS 3025661 HAS SOPS 3002490 HAS SOUS 463479 HAS SOUPS 460963 WITH SCORE 463988.661
AT ITER 2929 NEW BEST:: SOT 5809002 SOS 3024844 HAS SOPS 3001673 HAS SOUS 462197 HAS SOUPS 459681 WITH SCORE 462705.844
AT ITER 2940 NEW BEST:: SOT 5809002 SOS 3024844 HAS SOPS 3001673 HAS SOUS 462185 HAS SOUPS 459669 WITH SCORE 462693.844
AT ITER 2944 NEW BEST:: SOT 5797588 SOS 3013430 HAS SOPS 2990259 HAS SOUS 460755 HAS SOUPS 458239 WITH SCORE 461252.43
AT ITER 2947 NEW BEST:: SOT 5797561 SOS 3013390 HAS SOPS 2990219 HAS SOUS 460684 HAS SOUPS 458168 WITH SCORE 461181.39
AT ITER 2955 NEW BEST:: SOT 5797656 SOS 3013517 HAS SOPS 2990346 HAS SOUS 460677 HAS SOUPS 458161 WITH SCORE 461174.517
AT ITER 2962 NEW BEST:: SOT 5797785 SOS 3013620 HAS SOPS 2990449 HAS SOUS 460623 HAS SOUPS 458107 WITH SCORE 461120.62
AT ITER 2964 NEW BEST:: SOT 5796959 SOS 3012956 HAS SOPS 2989785 HAS SOUS 460446 HAS SOUPS 457930 WITH SCORE 460942.956
AT ITER 2973 NEW BEST:: SOT 5796921 SOS 3012966 HAS SOPS 2989795 HAS SOUS 460235 HAS SOUPS 457719 WITH SCORE 460731.966
AT ITER 2980 NEW BEST:: SOT 5797031 SOS 3013243 HAS SOPS 2990072 HAS SOUS 460193 HAS SOUPS 457677 WITH SCORE 460690.243
AT ITER 2982 NEW BEST:: SOT 5797053 SOS 3013269 HAS SOPS 2990098 HAS SOUS 460183 HAS SOUPS 457667 WITH SCORE 460680.269
AT ITER 2986 NEW BEST:: SOT 5797049 SOS 3013261 HAS SOPS 2990090 HAS SOUS 460175 HAS SOUPS 457659 WITH SCORE 460672.261
AT ITER 2987 NEW BEST:: SOT 5796926 SOS 3013113 HAS SOPS 2989942 HAS SOUS 457433 HAS SOUPS 454917 WITH SCORE 457930.113
AT ITER 2993 NEW BEST:: SOT 5796745 SOS 3014442 HAS SOPS 2991271 HAS SOUS 457194 HAS SOUPS 454678 WITH SCORE 457692.442
AT ITER 2994 NEW BEST:: SOT 5796849 SOS 3014546 HAS SOPS 2991375 HAS SOUS 457183 HAS SOUPS 454667 WITH SCORE 457681.546
AT ITER 3002 NEW BEST:: SOT 5796534 SOS 3013285 HAS SOPS 2990114 HAS SOUS 457042 HAS SOUPS 454526 WITH SCORE 457539.285
AT ITER 3018 NEW BEST:: SOT 5796534 SOS 3013291 HAS SOPS 2990120 HAS SOUS 457006 HAS SOUPS 454490 WITH SCORE 457503.291
AT ITER 3022 NEW BEST:: SOT 5796518 SOS 3013293 HAS SOPS 2990122 HAS SOUS 456992 HAS SOUPS 454476 WITH SCORE 457489.293
AT ITER 3025 NEW BEST:: SOT 5796384 SOS 3013161 HAS SOPS 2989988 HAS SOUS 456753 HAS SOUPS 454237 WITH SCORE 457250.161
AT ITER 3062 NEW BEST:: SOT 5796378 SOS 3013155 HAS SOPS 2989982 HAS SOUS 456747 HAS SOUPS 454231 WITH SCORE 457244.155
AT ITER 3063 NEW BEST:: SOT 5796372 SOS 3013149 HAS SOPS 2989970 HAS SOUS 456735 HAS SOUPS 454219 WITH SCORE 457232.149
AT ITER 3066 NEW BEST:: SOT 5796395 SOS 3013140 HAS SOPS 2990029 HAS SOUS 456623 HAS SOUPS 454107 WITH SCORE 457120.14
AT ITER 3067 NEW BEST:: SOT 5787053 SOS 3003798 HAS SOPS 2980687 HAS SOUS 455540 HAS SOUPS 453024 WITH SCORE 456027.798
AT ITER 3093 NEW BEST:: SOT 5787009 SOS 3003754 HAS SOPS 2980622 HAS SOUS 455454 HAS SOUPS 452936 WITH SCORE 455939.754
AT ITER 3096 NEW BEST:: SOT 5787009 SOS 3003710 HAS SOPS 2980578 HAS SOUS 455454 HAS SOUPS 452936 WITH SCORE 455939.71
AT ITER 3100 NEW BEST:: SOT 5786725 SOS 3003428 HAS SOPS 2980296 HAS SOUS 455213 HAS SOUPS 452695 WITH SCORE 455698.428
AT ITER 3124 NEW BEST:: SOT 5786797 SOS 3003500 HAS SOPS 2980320 HAS SOUS 455169 HAS SOUPS 452645 WITH SCORE 455648.5
AT ITER 3138 NEW BEST:: SOT 5786733 SOS 3003436 HAS SOPS 2980256 HAS SOUS 455041 HAS SOUPS 452517 WITH SCORE 455520.436
AT ITER 3141 NEW BEST:: SOT 5786715 SOS 3004532 HAS SOPS 2981352 HAS SOUS 455005 HAS SOUPS 452481 WITH SCORE 455485.532
AT ITER 3143 NEW BEST:: SOT 5786730 SOS 3004438 HAS SOPS 2981258 HAS SOUS 454911 HAS SOUPS 452387 WITH SCORE 455391.438
AT ITER 3162 NEW BEST:: SOT 5786691 SOS 3004321 HAS SOPS 2981141 HAS SOUS 454911 HAS SOUPS 452387 WITH SCORE 455391.321
AT ITER 3164 NEW BEST:: SOT 5786684 SOS 3004239 HAS SOPS 2981059 HAS SOUS 454829 HAS SOUPS 452305 WITH SCORE 455309.239
AT ITER 3172 NEW BEST:: SOT 5799440 SOS 3016995 HAS SOPS 2993815 HAS SOUS 452560 HAS SOUPS 450036 WITH SCORE 453052.995
AT ITER 3183 NEW BEST:: SOT 5799595 SOS 3018599 HAS SOPS 2995419 HAS SOUS 452539 HAS SOUPS 450015 WITH SCORE 453033.599
AT ITER 3190 NEW BEST:: SOT 5799548 SOS 3018491 HAS SOPS 2995311 HAS SOUS 452460 HAS SOUPS 449936 WITH SCORE 452954.491
AT ITER 3194 NEW BEST:: SOT 5799501 SOS 3018428 HAS SOPS 2995248 HAS SOUS 452385 HAS SOUPS 449861 WITH SCORE 452879.428
AT ITER 3198 NEW BEST:: SOT 5760518 SOS 2979656 HAS SOPS 2956476 HAS SOUS 450978 HAS SOUPS 448454 WITH SCORE 451433.656
AT ITER 3220 NEW BEST:: SOT 5760508 SOS 2979636 HAS SOPS 2956456 HAS SOUS 450958 HAS SOUPS 448434 WITH SCORE 451413.636
AT ITER 3221 NEW BEST:: SOT 5760774 SOS 2979884 HAS SOPS 2956704 HAS SOUS 450418 HAS SOUPS 447894 WITH SCORE 450873.884
AT ITER 3235 NEW BEST:: SOT 5760470 SOS 2979580 HAS SOPS 2956400 HAS SOUS 449709 HAS SOUPS 447185 WITH SCORE 450164.58
AT ITER 3248 NEW BEST:: SOT 5760457 SOS 2979524 HAS SOPS 2956344 HAS SOUS 449702 HAS SOUPS 447178 WITH SCORE 450157.524
AT ITER 3265 NEW BEST:: SOT 5760457 SOS 2979515 HAS SOPS 2956335 HAS SOUS 449684 HAS SOUPS 447160 WITH SCORE 450139.515
AT ITER 3268 NEW BEST:: SOT 5760456 SOS 2979323 HAS SOPS 2956143 HAS SOUS 449682 HAS SOUPS 447158 WITH SCORE 450137.323
AT ITER 3293 NEW BEST:: SOT 5760671 SOS 2979541 HAS SOPS 2956508 HAS SOUS 449681 HAS SOUPS 447157 WITH SCORE 450136.541
AT ITER 3294 NEW BEST:: SOT 5760671 SOS 2978293 HAS SOPS 2955260 HAS SOUS 449679 HAS SOUPS 447155 WITH SCORE 450133.293
AT ITER 3310 NEW BEST:: SOT 5760671 SOS 2978288 HAS SOPS 2955255 HAS SOUS 449674 HAS SOUPS 447150 WITH SCORE 450128.288
AT ITER 3320 NEW BEST:: SOT 5760667 SOS 2978280 HAS SOPS 2955247 HAS SOUS 449666 HAS SOUPS 447142 WITH SCORE 450120.28
AT ITER 3338 NEW BEST:: SOT 5760643 SOS 2978248 HAS SOPS 2955215 HAS SOUS 449634 HAS SOUPS 447110 WITH SCORE 450088.248
AT ITER 3346 NEW BEST:: SOT 5758428 SOS 2976033 HAS SOPS 2953000 HAS SOUS 449339 HAS SOUPS 446815 WITH SCORE 449791.033
AT ITER 3355 NEW BEST:: SOT 5758298 SOS 2975903 HAS SOPS 2952870 HAS SOUS 449209 HAS SOUPS 446685 WITH SCORE 449660.903
AT ITER 3385 NEW BEST:: SOT 5758146 SOS 2975751 HAS SOPS 2952718 HAS SOUS 449072 HAS SOUPS 446548 WITH SCORE 449523.751
AT ITER 3387 NEW BEST:: SOT 5758069 SOS 2975682 HAS SOPS 2952649 HAS SOUS 448932 HAS SOUPS 446408 WITH SCORE 449383.682
AT ITER 3395 NEW BEST:: SOT 5757929 SOS 2975542 HAS SOPS 2952509 HAS SOUS 448875 HAS SOUPS 446351 WITH SCORE 449326.542
AT ITER 3445 NEW BEST:: SOT 5762475 SOS 2979959 HAS SOPS 2956926 HAS SOUS 438858 HAS SOUPS 436334 WITH SCORE 439313.959
AT ITER 3454 NEW BEST:: SOT 5762363 SOS 2979839 HAS SOPS 2956806 HAS SOUS 438686 HAS SOUPS 436162 WITH SCORE 439141.839
AT ITER 3459 NEW BEST:: SOT 5761708 SOS 2978835 HAS SOPS 2955802 HAS SOUS 438406 HAS SOUPS 435882 WITH SCORE 438860.835
AT ITER 3460 NEW BEST:: SOT 5761708 SOS 2978443 HAS SOPS 2955410 HAS SOUS 438406 HAS SOUPS 435882 WITH SCORE 438860.443
AT ITER 3479 NEW BEST:: SOT 5761694 SOS 2978429 HAS SOPS 2955396 HAS SOUS 438288 HAS SOUPS 435764 WITH SCORE 438742.429
AT ITER 3490 NEW BEST:: SOT 5760148 SOS 2976842 HAS SOPS 2953809 HAS SOUS 436631 HAS SOUPS 434107 WITH SCORE 437083.842
AT ITER 3494 NEW BEST:: SOT 5766384 SOS 2893966 HAS SOPS 2870933 HAS SOUS 435144 HAS SOUPS 432620 WITH SCORE 435513.966
AT ITER 3503 NEW BEST:: SOT 5766368 SOS 2893950 HAS SOPS 2870917 HAS SOUS 435127 HAS SOUPS 432603 WITH SCORE 435496.95
AT ITER 3528 NEW BEST:: SOT 5765553 SOS 2892296 HAS SOPS 2869263 HAS SOUS 434757 HAS SOUPS 432233 WITH SCORE 435125.296
AT ITER 3538 NEW BEST:: SOT 5765553 SOS 2891963 HAS SOPS 2868930 HAS SOUS 434757 HAS SOUPS 432233 WITH SCORE 435124.963
AT ITER 3540 NEW BEST:: SOT 5765553 SOS 2891947 HAS SOPS 2868914 HAS SOUS 434741 HAS SOUPS 432217 WITH SCORE 435108.947
AT ITER 3552 NEW BEST:: SOT 5765378 SOS 2891704 HAS SOPS 2868818 HAS SOUS 434645 HAS SOUPS 432121 WITH SCORE 435012.704
AT ITER 3560 NEW BEST:: SOT 5765371 SOS 2891641 HAS SOPS 2868755 HAS SOUS 434631 HAS SOUPS 432107 WITH SCORE 434998.641
AT ITER 3584 NEW BEST:: SOT 5764185 SOS 2889415 HAS SOPS 2866529 HAS SOUS 433895 HAS SOUPS 431371 WITH SCORE 434260.415
AT ITER 3586 NEW BEST:: SOT 5764102 SOS 2889249 HAS SOPS 2866363 HAS SOUS 433729 HAS SOUPS 431205 WITH SCORE 434094.249
AT ITER 3595 NEW BEST:: SOT 5585646 SOS 2710793 HAS SOPS 2687907 HAS SOUS 414136 HAS SOUPS 411612 WITH SCORE 414322.793
AT ITER 3597 NEW BEST:: SOT 5585466 SOS 2710613 HAS SOPS 2687727 HAS SOUS 413956 HAS SOUPS 411432 WITH SCORE 414142.613
AT ITER 3616 NEW BEST:: SOT 5585980 SOS 2711879 HAS SOPS 2688993 HAS SOUS 413850 HAS SOUPS 411326 WITH SCORE 414037.879
AT ITER 3619 NEW BEST:: SOT 5586329 SOS 2712228 HAS SOPS 2689342 HAS SOUS 413698 HAS SOUPS 411174 WITH SCORE 413886.228
AT ITER 3622 NEW BEST:: SOT 5586557 SOS 2711772 HAS SOPS 2688886 HAS SOUS 413698 HAS SOUPS 411174 WITH SCORE 413885.772
AT ITER 3649 NEW BEST:: SOT 5586557 SOS 2711772 HAS SOPS 2688886 HAS SOUS 413668 HAS SOUPS 411144 WITH SCORE 413855.772
AT ITER 3650 NEW BEST:: SOT 5586077 SOS 2711494 HAS SOPS 2688608 HAS SOUS 413157 HAS SOUPS 410633 WITH SCORE 413344.494
AT ITER 3654 NEW BEST:: SOT 5585997 SOS 2711374 HAS SOPS 2688488 HAS SOUS 413077 HAS SOUPS 410553 WITH SCORE 413264.374
AT ITER 3663 NEW BEST:: SOT 5585979 SOS 2711356 HAS SOPS 2688470 HAS SOUS 413041 HAS SOUPS 410517 WITH SCORE 413228.356
AT ITER 3673 NEW BEST:: SOT 5585684 SOS 2710863 HAS SOPS 2687977 HAS SOUS 412821 HAS SOUPS 410297 WITH SCORE 413007.863
AT ITER 3674 NEW BEST:: SOT 5584178 SOS 2709357 HAS SOPS 2686471 HAS SOUS 412708 HAS SOUPS 410184 WITH SCORE 412893.357
AT ITER 3709 NEW BEST:: SOT 5584299 SOS 2709538 HAS SOPS 2686652 HAS SOUS 412691 HAS SOUPS 410167 WITH SCORE 412876.538
AT ITER 3727 NEW BEST:: SOT 5584283 SOS 2709522 HAS SOPS 2686636 HAS SOUS 412675 HAS SOUPS 410151 WITH SCORE 412860.522
AT ITER 3751 NEW BEST:: SOT 5584578 SOS 2709860 HAS SOPS 2683278 HAS SOUS 413047 HAS SOUPS 410061 WITH SCORE 412770.86
AT ITER 3754 NEW BEST:: SOT 5584462 SOS 2709744 HAS SOPS 2683162 HAS SOUS 412884 HAS SOUPS 409898 WITH SCORE 412607.744
AT ITER 3765 NEW BEST:: SOT 5584453 SOS 2709735 HAS SOPS 2683153 HAS SOUS 412875 HAS SOUPS 409889 WITH SCORE 412598.735
AT ITER 3772 NEW BEST:: SOT 5584453 SOS 2709303 HAS SOPS 2682721 HAS SOUS 412821 HAS SOUPS 409835 WITH SCORE 412544.303
AT ITER 3800 NEW BEST:: SOT 5584408 SOS 2709258 HAS SOPS 2682676 HAS SOUS 412731 HAS SOUPS 409745 WITH SCORE 412454.258
AT ITER 3806 NEW BEST:: SOT 5584383 SOS 2709233 HAS SOPS 2682651 HAS SOUS 412681 HAS SOUPS 409695 WITH SCORE 412404.233
AT ITER 3809 NEW BEST:: SOT 5580718 SOS 2705532 HAS SOPS 2678950 HAS SOUS 407546 HAS SOUPS 404560 WITH SCORE 407265.532
AT ITER 3816 NEW BEST:: SOT 5580660 SOS 2705474 HAS SOPS 2678892 HAS SOUS 407430 HAS SOUPS 404444 WITH SCORE 407149.474
AT ITER 3833 NEW BEST:: SOT 5549128 SOS 2673942 HAS SOPS 2647360 HAS SOUS 403943 HAS SOUPS 400957 WITH SCORE 403630.942
AT ITER 3846 NEW BEST:: SOT 5549128 SOS 2673941 HAS SOPS 2647359 HAS SOUS 403943 HAS SOUPS 400957 WITH SCORE 403630.941
AT ITER 3865 NEW BEST:: SOT 5549128 SOS 2673842 HAS SOPS 2647260 HAS SOUS 403917 HAS SOUPS 400931 WITH SCORE 403604.842
AT ITER 3871 NEW BEST:: SOT 5548838 SOS 2673712 HAS SOPS 2647130 HAS SOUS 403112 HAS SOUPS 400126 WITH SCORE 402799.712
AT ITER 3876 NEW BEST:: SOT 5548970 SOS 2673869 HAS SOPS 2647287 HAS SOUS 403110 HAS SOUPS 400124 WITH SCORE 402797.869
AT ITER 3888 NEW BEST:: SOT 5548924 SOS 2673823 HAS SOPS 2647241 HAS SOUS 403011 HAS SOUPS 400025 WITH SCORE 402698.823
AT ITER 3902 NEW BEST:: SOT 5548923 SOS 2673822 HAS SOPS 2647240 HAS SOUS 403009 HAS SOUPS 400023 WITH SCORE 402696.822
AT ITER 3923 NEW BEST:: SOT 5548920 SOS 2673863 HAS SOPS 2647281 HAS SOUS 403003 HAS SOUPS 400017 WITH SCORE 402690.863
AT ITER 3927 NEW BEST:: SOT 5548846 SOS 2673789 HAS SOPS 2647207 HAS SOUS 402964 HAS SOUPS 399978 WITH SCORE 402651.789
AT ITER 3946 NEW BEST:: SOT 5548864 SOS 2673807 HAS SOPS 2647185 HAS SOUS 402920 HAS SOUPS 399934 WITH SCORE 402607.807
AT ITER 3948 NEW BEST:: SOT 5548852 SOS 2673795 HAS SOPS 2647173 HAS SOUS 402896 HAS SOUPS 399910 WITH SCORE 402583.795
AT ITER 3954 NEW BEST:: SOT 5548732 SOS 2673675 HAS SOPS 2647153 HAS SOUS 402835 HAS SOUPS 399855 WITH SCORE 402528.675
AT ITER 3959 NEW BEST:: SOT 5548707 SOS 2673625 HAS SOPS 2647103 HAS SOUS 402785 HAS SOUPS 399805 WITH SCORE 402478.625
AT ITER 3968 NEW BEST:: SOT 5548707 SOS 2673609 HAS SOPS 2647095 HAS SOUS 402769 HAS SOUPS 399789 WITH SCORE 402462.609
AT ITER 3989 NEW BEST:: SOT 5548707 SOS 2673609 HAS SOPS 2647095 HAS SOUS 402748 HAS SOUPS 399768 WITH SCORE 402441.609
AT ITER 3999 NEW BEST:: SOT 5548466 SOS 2673396 HAS SOPS 2647011 HAS SOUS 402519 HAS SOUPS 399539 WITH SCORE 402212.396
AT ITER 4001 NEW BEST:: SOT 5547972 SOS 2672436 HAS SOPS 2646051 HAS SOUS 402328 HAS SOUPS 399348 WITH SCORE 402020.436
AT ITER 4008 NEW BEST:: SOT 5547901 SOS 2672365 HAS SOPS 2645980 HAS SOUS 402227 HAS SOUPS 399247 WITH SCORE 401919.365
AT ITER 4013 NEW BEST:: SOT 5584246 SOS 2708710 HAS SOPS 2682325 HAS SOUS 400904 HAS SOUPS 397924 WITH SCORE 400632.71
AT ITER 4017 NEW BEST:: SOT 5584112 SOS 2708777 HAS SOPS 2682392 HAS SOUS 400062 HAS SOUPS 397082 WITH SCORE 399790.777
AT ITER 4036 NEW BEST:: SOT 5584058 SOS 2708705 HAS SOPS 2682320 HAS SOUS 399972 HAS SOUPS 396992 WITH SCORE 399700.705
AT ITER 4081 NEW BEST:: SOT 5584038 SOS 2708685 HAS SOPS 2682300 HAS SOUS 399972 HAS SOUPS 396992 WITH SCORE 399700.685
AT ITER 4085 NEW BEST:: SOT 5584038 SOS 2708815 HAS SOPS 2682430 HAS SOUS 399888 HAS SOUPS 396908 WITH SCORE 399616.815
AT ITER 4090 NEW BEST:: SOT 5583807 SOS 2708584 HAS SOPS 2682199 HAS SOUS 399535 HAS SOUPS 396555 WITH SCORE 399263.584
AT ITER 4091 NEW BEST:: SOT 5583729 SOS 2708464 HAS SOPS 2682001 HAS SOUS 399337 HAS SOUPS 396357 WITH SCORE 399065.464
AT ITER 4097 NEW BEST:: SOT 5583634 SOS 2708153 HAS SOPS 2681690 HAS SOUS 399305 HAS SOUPS 396325 WITH SCORE 399033.153
AT ITER 4123 NEW BEST:: SOT 5583672 SOS 2708191 HAS SOPS 2681728 HAS SOUS 399289 HAS SOUPS 396309 WITH SCORE 399017.191
AT ITER 4125 NEW BEST:: SOT 5583610 SOS 2708129 HAS SOPS 2681666 HAS SOUS 399185 HAS SOUPS 396205 WITH SCORE 398913.129
AT ITER 4128 NEW BEST:: SOT 5583554 SOS 2708073 HAS SOPS 2681610 HAS SOUS 399143 HAS SOUPS 396163 WITH SCORE 398871.073
AT ITER 4152 NEW BEST:: SOT 5583376 SOS 2707895 HAS SOPS 2681432 HAS SOUS 398911 HAS SOUPS 395931 WITH SCORE 398638.895
AT ITER 4158 NEW BEST:: SOT 5583425 SOS 2707944 HAS SOPS 2681481 HAS SOUS 398906 HAS SOUPS 395926 WITH SCORE 398633.944
AT ITER 4182 NEW BEST:: SOT 5583407 SOS 2707838 HAS SOPS 2681375 HAS SOUS 398870 HAS SOUPS 395890 WITH SCORE 398597.838
AT ITER 4197 NEW BEST:: SOT 5583287 SOS 2707597 HAS SOPS 2681134 HAS SOUS 398737 HAS SOUPS 395757 WITH SCORE 398464.597
AT ITER 4201 NEW BEST:: SOT 5583391 SOS 2707701 HAS SOPS 2681201 HAS SOUS 398700 HAS SOUPS 395720 WITH SCORE 398427.701
AT ITER 4213 NEW BEST:: SOT 5583391 SOS 2707701 HAS SOPS 2681201 HAS SOUS 398679 HAS SOUPS 395699 WITH SCORE 398406.701
AT ITER 4228 NEW BEST:: SOT 5583305 SOS 2707615 HAS SOPS 2681115 HAS SOUS 398636 HAS SOUPS 395656 WITH SCORE 398363.615
AT ITER 4229 NEW BEST:: SOT 5583274 SOS 2707559 HAS SOPS 2681059 HAS SOUS 398552 HAS SOUPS 395572 WITH SCORE 398279.559
AT ITER 4236 NEW BEST:: SOT 5583553 SOS 2707934 HAS SOPS 2681434 HAS SOUS 398518 HAS SOUPS 395538 WITH SCORE 398245.934
AT ITER 4240 NEW BEST:: SOT 5583437 SOS 2707888 HAS SOPS 2681488 HAS SOUS 398499 HAS SOUPS 395519 WITH SCORE 398226.888
AT ITER 4254 NEW BEST:: SOT 5583433 SOS 2707866 HAS SOPS 2681466 HAS SOUS 398401 HAS SOUPS 395421 WITH SCORE 398128.866
AT ITER 4270 NEW BEST:: SOT 5583348 SOS 2707701 HAS SOPS 2681301 HAS SOUS 398175 HAS SOUPS 395195 WITH SCORE 397902.701
AT ITER 4282 NEW BEST:: SOT 5583348 SOS 2707929 HAS SOPS 2681529 HAS SOUS 398023 HAS SOUPS 395043 WITH SCORE 397750.929
AT ITER 4319 NEW BEST:: SOT 5582954 SOS 2707566 HAS SOPS 2681143 HAS SOUS 397726 HAS SOUPS 394746 WITH SCORE 397453.566
AT ITER 4333 NEW BEST:: SOT 5571519 SOS 2696131 HAS SOPS 2669708 HAS SOUS 396615 HAS SOUPS 393635 WITH SCORE 396331.131
AT ITER 4341 NEW BEST:: SOT 5571496 SOS 2696108 HAS SOPS 2669685 HAS SOUS 396569 HAS SOUPS 393589 WITH SCORE 396285.108
AT ITER 4382 NEW BEST:: SOT 5571422 SOS 2696055 HAS SOPS 2669632 HAS SOUS 396460 HAS SOUPS 393480 WITH SCORE 396176.055
AT ITER 4398 NEW BEST:: SOT 5570290 SOS 2694923 HAS SOPS 2668500 HAS SOUS 395468 HAS SOUPS 392488 WITH SCORE 395182.923
AT ITER 4399 NEW BEST:: SOT 5570246 SOS 2694879 HAS SOPS 2668456 HAS SOUS 395329 HAS SOUPS 392349 WITH SCORE 395043.879
AT ITER 4401 NEW BEST:: SOT 5570229 SOS 2694862 HAS SOPS 2668439 HAS SOUS 394862 HAS SOUPS 391882 WITH SCORE 394576.862
AT ITER 4404 NEW BEST:: SOT 5570164 SOS 2694797 HAS SOPS 2668374 HAS SOUS 394761 HAS SOUPS 391781 WITH SCORE 394475.797
AT ITER 4412 NEW BEST:: SOT 5570179 SOS 2694817 HAS SOPS 2668394 HAS SOUS 394746 HAS SOUPS 391766 WITH SCORE 394460.817
AT ITER 4423 NEW BEST:: SOT 5570179 SOS 2694422 HAS SOPS 2667999 HAS SOUS 394721 HAS SOUPS 391741 WITH SCORE 394435.422
AT ITER 4424 NEW BEST:: SOT 5570133 SOS 2694348 HAS SOPS 2667902 HAS SOUS 394652 HAS SOUPS 391672 WITH SCORE 394366.348
AT ITER 4427 NEW BEST:: SOT 5570138 SOS 2694072 HAS SOPS 2667477 HAS SOUS 394531 HAS SOUPS 391551 WITH SCORE 394245.072
AT ITER 4441 NEW BEST:: SOT 5570515 SOS 2694547 HAS SOPS 2668125 HAS SOUS 394483 HAS SOUPS 391503 WITH SCORE 394197.547
AT ITER 4450 NEW BEST:: SOT 5570218 SOS 2694250 HAS SOPS 2667828 HAS SOUS 394195 HAS SOUPS 391215 WITH SCORE 393909.25
AT ITER 4466 NEW BEST:: SOT 5569861 SOS 2693893 HAS SOPS 2667471 HAS SOUS 394048 HAS SOUPS 391068 WITH SCORE 393761.893
AT ITER 4467 NEW BEST:: SOT 5569975 SOS 2694007 HAS SOPS 2667585 HAS SOUS 394007 HAS SOUPS 391027 WITH SCORE 393721.007
AT ITER 4471 NEW BEST:: SOT 5569967 SOS 2694169 HAS SOPS 2667706 HAS SOUS 393994 HAS SOUPS 391014 WITH SCORE 393708.169
AT ITER 4476 NEW BEST:: SOT 5569967 SOS 2694164 HAS SOPS 2667677 HAS SOUS 393970 HAS SOUPS 390990 WITH SCORE 393684.164
AT ITER 4483 NEW BEST:: SOT 5570180 SOS 2694267 HAS SOPS 2667780 HAS SOUS 393836 HAS SOUPS 390856 WITH SCORE 393550.267
AT ITER 4489 NEW BEST:: SOT 5570166 SOS 2694253 HAS SOPS 2667766 HAS SOUS 393829 HAS SOUPS 390849 WITH SCORE 393543.253
AT ITER 4496 NEW BEST:: SOT 5570157 SOS 2693995 HAS SOPS 2667556 HAS SOUS 393811 HAS SOUPS 390831 WITH SCORE 393524.995
AT ITER 4500 NEW BEST:: SOT 5552975 SOS 2676759 HAS SOPS 2650320 HAS SOUS 392807 HAS SOUPS 389827 WITH SCORE 392503.759
AT ITER 4505 NEW BEST:: SOT 5552848 SOS 2676632 HAS SOPS 2650193 HAS SOUS 392685 HAS SOUPS 389705 WITH SCORE 392381.632
AT ITER 4510 NEW BEST:: SOT 5552802 SOS 2676586 HAS SOPS 2650147 HAS SOUS 392639 HAS SOUPS 389659 WITH SCORE 392335.586
AT ITER 4519 NEW BEST:: SOT 5552462 SOS 2676678 HAS SOPS 2650381 HAS SOUS 392460 HAS SOUPS 389480 WITH SCORE 392156.678
AT ITER 4522 NEW BEST:: SOT 5551802 SOS 2676018 HAS SOPS 2649721 HAS SOUS 392395 HAS SOUPS 389415 WITH SCORE 392091.018
AT ITER 4528 NEW BEST:: SOT 5551768 SOS 2675950 HAS SOPS 2649653 HAS SOUS 392327 HAS SOUPS 389347 WITH SCORE 392022.95
AT ITER 4539 NEW BEST:: SOT 5551768 SOS 2675956 HAS SOPS 2649659 HAS SOUS 392321 HAS SOUPS 389341 WITH SCORE 392016.956
AT ITER 4541 NEW BEST:: SOT 5551768 SOS 2675955 HAS SOPS 2649658 HAS SOUS 392321 HAS SOUPS 389341 WITH SCORE 392016.955
AT ITER 4546 NEW BEST:: SOT 5551796 SOS 2675983 HAS SOPS 2649649 HAS SOUS 392324 HAS SOUPS 389327 WITH SCORE 392002.983
AT ITER 4553 NEW BEST:: SOT 5551650 SOS 2675865 HAS SOPS 2649531 HAS SOUS 392210 HAS SOUPS 389213 WITH SCORE 391888.865
AT ITER 4560 NEW BEST:: SOT 5551627 SOS 2675907 HAS SOPS 2649573 HAS SOUS 392164 HAS SOUPS 389167 WITH SCORE 391842.907
AT ITER 4561 NEW BEST:: SOT 5551598 SOS 2675878 HAS SOPS 2649544 HAS SOUS 392106 HAS SOUPS 389109 WITH SCORE 391784.878
AT ITER 4562 NEW BEST:: SOT 5551598 SOS 2672740 HAS SOPS 2646406 HAS SOUS 392106 HAS SOUPS 389109 WITH SCORE 391781.74
AT ITER 4563 NEW BEST:: SOT 5551598 SOS 2675050 HAS SOPS 2648452 HAS SOUS 392073 HAS SOUPS 389043 WITH SCORE 391718.05
AT ITER 4568 NEW BEST:: SOT 5552830 SOS 2676324 HAS SOPS 2649726 HAS SOUS 384901 HAS SOUPS 381871 WITH SCORE 384547.324
AT ITER 4576 NEW BEST:: SOT 5563894 SOS 2676651 HAS SOPS 2650053 HAS SOUS 381396 HAS SOUPS 378366 WITH SCORE 381042.651
AT ITER 4577 NEW BEST:: SOT 5563881 SOS 2676638 HAS SOPS 2650040 HAS SOUS 381370 HAS SOUPS 378340 WITH SCORE 381016.638
AT ITER 4578 NEW BEST:: SOT 5563797 SOS 2676554 HAS SOPS 2649910 HAS SOUS 381234 HAS SOUPS 378204 WITH SCORE 380880.554
AT ITER 4579 NEW BEST:: SOT 5563785 SOS 2676542 HAS SOPS 2649886 HAS SOUS 381210 HAS SOUPS 378180 WITH SCORE 380856.542
AT ITER 4581 NEW BEST:: SOT 5563682 SOS 2676240 HAS SOPS 2649584 HAS SOUS 381004 HAS SOUPS 377974 WITH SCORE 380650.24
AT ITER 4611 NEW BEST:: SOT 5563632 SOS 2676164 HAS SOPS 2649510 HAS SOUS 380956 HAS SOUPS 377926 WITH SCORE 380602.164
AT ITER 4673 NEW BEST:: SOT 5563574 SOS 2676390 HAS SOPS 2649716 HAS SOUS 380852 HAS SOUPS 377841 WITH SCORE 380517.39
AT ITER 4712 NEW BEST:: SOT 5563220 SOS 2676036 HAS SOPS 2649362 HAS SOUS 380144 HAS SOUPS 377133 WITH SCORE 379809.036
AT ITER 4718 NEW BEST:: SOT 5562710 SOS 2675416 HAS SOPS 2648742 HAS SOUS 380132 HAS SOUPS 377121 WITH SCORE 379796.416
AT ITER 4719 NEW BEST:: SOT 5562660 SOS 2675324 HAS SOPS 2648650 HAS SOUS 380012 HAS SOUPS 377001 WITH SCORE 379676.324
AT ITER 4720 NEW BEST:: SOT 5562581 SOS 2675245 HAS SOPS 2648571 HAS SOUS 379831 HAS SOUPS 376820 WITH SCORE 379495.245
AT ITER 4733 NEW BEST:: SOT 5562482 SOS 2675173 HAS SOPS 2648499 HAS SOUS 378170 HAS SOUPS 375159 WITH SCORE 377834.173
AT ITER 4764 NEW BEST:: SOT 5562439 SOS 2675087 HAS SOPS 2648413 HAS SOUS 378084 HAS SOUPS 375073 WITH SCORE 377748.087
AT ITER 4790 NEW BEST:: SOT 5562487 SOS 2675134 HAS SOPS 2648461 HAS SOUS 377955 HAS SOUPS 374944 WITH SCORE 377619.134
AT ITER 4815 NEW BEST:: SOT 5562478 SOS 2675125 HAS SOPS 2648452 HAS SOUS 377936 HAS SOUPS 374925 WITH SCORE 377600.125
AT ITER 4825 NEW BEST:: SOT 5562650 SOS 2675580 HAS SOPS 2648907 HAS SOUS 377906 HAS SOUPS 374895 WITH SCORE 377570.58
AT ITER 4827 NEW BEST:: SOT 5562629 SOS 2675559 HAS SOPS 2648907 HAS SOUS 377906 HAS SOUPS 374895 WITH SCORE 377570.559
AT ITER 4834 NEW BEST:: SOT 5562560 SOS 2675490 HAS SOPS 2648838 HAS SOUS 377856 HAS SOUPS 374845 WITH SCORE 377520.49
AT ITER 4915 NEW BEST:: SOT 5562515 SOS 2675430 HAS SOPS 2648778 HAS SOUS 377856 HAS SOUPS 374845 WITH SCORE 377520.43
AT ITER 4926 NEW BEST:: SOT 5562473 SOS 2675473 HAS SOPS 2648723 HAS SOUS 377682 HAS SOUPS 374671 WITH SCORE 377346.473
AT ITER 4933 NEW BEST:: SOT 5562449 SOS 2675449 HAS SOPS 2648699 HAS SOUS 377676 HAS SOUPS 374665 WITH SCORE 377340.449
AT ITER 4934 NEW BEST:: SOT 5562445 SOS 2675457 HAS SOPS 2648707 HAS SOUS 377652 HAS SOUPS 374641 WITH SCORE 377316.457
AT ITER 4936 NEW BEST:: SOT 5562205 SOS 2674820 HAS SOPS 2648070 HAS SOUS 377372 HAS SOUPS 374361 WITH SCORE 377035.82
AT ITER 4954 NEW BEST:: SOT 5562010 SOS 2674407 HAS SOPS 2647657 HAS SOUS 377200 HAS SOUPS 374189 WITH SCORE 376863.407
AT ITER 4991 NEW BEST:: SOT 5561968 SOS 2674365 HAS SOPS 2647615 HAS SOUS 377158 HAS SOUPS 374147 WITH SCORE 376821.365
AT ITER 4993 NEW BEST:: SOT 5562167 SOS 2674681 HAS SOPS 2647931 HAS SOUS 377066 HAS SOUPS 374055 WITH SCORE 376729.681
AT ITER 5003 NEW BEST:: SOT 5561982 SOS 2674367 HAS SOPS 2647765 HAS SOUS 376903 HAS SOUPS 373892 WITH SCORE 376566.367
AT ITER 5051 NEW BEST:: SOT 5561982 SOS 2674302 HAS SOPS 2647700 HAS SOUS 376903 HAS SOUPS 373892 WITH SCORE 376566.302
AT ITER 5066 NEW BEST:: SOT 5561122 SOS 2673051 HAS SOPS 2646449 HAS SOUS 376172 HAS SOUPS 373161 WITH SCORE 375834.051
AT ITER 5069 NEW BEST:: SOT 5560870 SOS 2672878 HAS SOPS 2646352 HAS SOUS 376090 HAS SOUPS 373079 WITH SCORE 375751.878
AT ITER 5097 NEW BEST:: SOT 5560829 SOS 2672837 HAS SOPS 2646311 HAS SOUS 376008 HAS SOUPS 372997 WITH SCORE 375669.837
AT ITER 5112 NEW BEST:: SOT 5553050 SOS 2665058 HAS SOPS 2638532 HAS SOUS 375664 HAS SOUPS 372653 WITH SCORE 375318.058
AT ITER 5120 NEW BEST:: SOT 5552982 SOS 2664866 HAS SOPS 2638366 HAS SOUS 375658 HAS SOUPS 372647 WITH SCORE 375311.866
AT ITER 5121 NEW BEST:: SOT 5552970 SOS 2664854 HAS SOPS 2638354 HAS SOUS 375634 HAS SOUPS 372623 WITH SCORE 375287.854
AT ITER 5136 NEW BEST:: SOT 5552990 SOS 2664874 HAS SOPS 2638434 HAS SOUS 375544 HAS SOUPS 372533 WITH SCORE 375197.874
AT ITER 5146 NEW BEST:: SOT 5553209 SOS 2665157 HAS SOPS 2638717 HAS SOUS 375537 HAS SOUPS 372526 WITH SCORE 375191.157
AT ITER 5149 NEW BEST:: SOT 5553005 SOS 2664692 HAS SOPS 2638252 HAS SOUS 375129 HAS SOUPS 372118 WITH SCORE 374782.692
AT ITER 5163 NEW BEST:: SOT 5553005 SOS 2663332 HAS SOPS 2636892 HAS SOUS 375129 HAS SOUPS 372118 WITH SCORE 374781.332
AT ITER 5171 NEW BEST:: SOT 5552757 SOS 2663142 HAS SOPS 2636702 HAS SOUS 374992 HAS SOUPS 371981 WITH SCORE 374644.142
AT ITER 5176 NEW BEST:: SOT 5552754 SOS 2663136 HAS SOPS 2636696 HAS SOUS 374986 HAS SOUPS 371975 WITH SCORE 374638.136
AT ITER 5188 NEW BEST:: SOT 5552821 SOS 2663215 HAS SOPS 2636775 HAS SOUS 374705 HAS SOUPS 371694 WITH SCORE 374357.215
AT ITER 5198 NEW BEST:: SOT 5552201 SOS 2662826 HAS SOPS 2636386 HAS SOUS 374694 HAS SOUPS 371683 WITH SCORE 374345.826
AT ITER 5207 NEW BEST:: SOT 5552351 SOS 2662846 HAS SOPS 2636406 HAS SOUS 374544 HAS SOUPS 371533 WITH SCORE 374195.846
AT ITER 5217 NEW BEST:: SOT 5552923 SOS 2663415 HAS SOPS 2636975 HAS SOUS 373701 HAS SOUPS 370690 WITH SCORE 373353.415
AT ITER 5235 NEW BEST:: SOT 5552850 SOS 2663342 HAS SOPS 2636902 HAS SOUS 373624 HAS SOUPS 370613 WITH SCORE 373276.342
AT ITER 5242 NEW BEST:: SOT 5552849 SOS 2663341 HAS SOPS 2636901 HAS SOUS 373622 HAS SOUPS 370611 WITH SCORE 373274.341
AT ITER 5251 NEW BEST:: SOT 5551681 SOS 2662173 HAS SOPS 2635733 HAS SOUS 373379 HAS SOUPS 370368 WITH SCORE 373030.173
AT ITER 5263 NEW BEST:: SOT 5551650 SOS 2662142 HAS SOPS 2635702 HAS SOUS 373275 HAS SOUPS 370264 WITH SCORE 372926.142
AT ITER 5291 NEW BEST:: SOT 5551631 SOS 2662123 HAS SOPS 2635683 HAS SOUS 373207 HAS SOUPS 370196 WITH SCORE 372858.123
AT ITER 5311 NEW BEST:: SOT 5551585 SOS 2662060 HAS SOPS 2635620 HAS SOUS 373115 HAS SOUPS 370104 WITH SCORE 372766.06
AT ITER 5316 NEW BEST:: SOT 5550754 SOS 2661159 HAS SOPS 2634719 HAS SOUS 372572 HAS SOUPS 369561 WITH SCORE 372222.159
AT ITER 5350 NEW BEST:: SOT 5550588 SOS 2660905 HAS SOPS 2634672 HAS SOUS 372515 HAS SOUPS 369504 WITH SCORE 372164.905
AT ITER 5381 NEW BEST:: SOT 5550541 SOS 2660828 HAS SOPS 2634571 HAS SOUS 372412 HAS SOUPS 369401 WITH SCORE 372061.828
AT ITER 5392 NEW BEST:: SOT 5532586 SOS 2642873 HAS SOPS 2616616 HAS SOUS 370091 HAS SOUPS 367080 WITH SCORE 369722.873
AT ITER 5396 NEW BEST:: SOT 5532160 SOS 2642305 HAS SOPS 2616048 HAS SOUS 369594 HAS SOUPS 366583 WITH SCORE 369225.305
AT ITER 5410 NEW BEST:: SOT 5532132 SOS 2642291 HAS SOPS 2616034 HAS SOUS 369580 HAS SOUPS 366569 WITH SCORE 369211.291
AT ITER 5421 NEW BEST:: SOT 5532124 SOS 2642283 HAS SOPS 2616026 HAS SOUS 369576 HAS SOUPS 366565 WITH SCORE 369207.283
AT ITER 5426 NEW BEST:: SOT 5531908 SOS 2641913 HAS SOPS 2615729 HAS SOUS 369350 HAS SOUPS 366339 WITH SCORE 368980.913
AT ITER 5431 NEW BEST:: SOT 5531842 SOS 2642144 HAS SOPS 2615960 HAS SOUS 369172 HAS SOUPS 366161 WITH SCORE 368803.144
AT ITER 5432 NEW BEST:: SOT 5531881 SOS 2643055 HAS SOPS 2616871 HAS SOUS 369149 HAS SOUPS 366138 WITH SCORE 368781.055
AT ITER 5433 NEW BEST:: SOT 5531875 SOS 2643049 HAS SOPS 2616859 HAS SOUS 369137 HAS SOUPS 366126 WITH SCORE 368769.049
AT ITER 5489 NEW BEST:: SOT 5531862 SOS 2643036 HAS SOPS 2616833 HAS SOUS 369111 HAS SOUPS 366100 WITH SCORE 368743.036
AT ITER 5518 NEW BEST:: SOT 5531803 SOS 2642977 HAS SOPS 2616774 HAS SOUS 369088 HAS SOUPS 366077 WITH SCORE 368719.977
AT ITER 5520 NEW BEST:: SOT 5531803 SOS 2645837 HAS SOPS 2619314 HAS SOUS 369108 HAS SOUPS 366057 WITH SCORE 368702.837
AT ITER 5540 NEW BEST:: SOT 5531790 SOS 2645824 HAS SOPS 2619274 HAS SOUS 369082 HAS SOUPS 366031 WITH SCORE 368676.824
AT ITER 5552 NEW BEST:: SOT 5531786 SOS 2645837 HAS SOPS 2619287 HAS SOUS 369032 HAS SOUPS 365981 WITH SCORE 368626.837
AT ITER 5568 NEW BEST:: SOT 5531317 SOS 2645368 HAS SOPS 2618818 HAS SOUS 366283 HAS SOUPS 363232 WITH SCORE 365877.368
AT ITER 5576 NEW BEST:: SOT 5531106 SOS 2645041 HAS SOPS 2618491 HAS SOUS 366242 HAS SOUPS 363191 WITH SCORE 365836.041
AT ITER 5578 NEW BEST:: SOT 5530432 SOS 2643664 HAS SOPS 2617114 HAS SOUS 365350 HAS SOUPS 362299 WITH SCORE 364942.664
AT ITER 5583 NEW BEST:: SOT 5530723 SOS 2644495 HAS SOPS 2617992 HAS SOUS 365246 HAS SOUPS 362195 WITH SCORE 364839.495
AT ITER 5597 NEW BEST:: SOT 5530494 SOS 2644409 HAS SOPS 2617906 HAS SOUS 365148 HAS SOUPS 362097 WITH SCORE 364741.409
AT ITER 5605 NEW BEST:: SOT 5530468 SOS 2644409 HAS SOPS 2617906 HAS SOUS 365054 HAS SOUPS 362003 WITH SCORE 364647.409
AT ITER 5642 NEW BEST:: SOT 5530415 SOS 2645025 HAS SOPS 2618522 HAS SOUS 364645 HAS SOUPS 361594 WITH SCORE 364239.025
AT ITER 5653 NEW BEST:: SOT 5535404 SOS 2521465 HAS SOPS 2495386 HAS SOUS 364546 HAS SOUPS 361548 WITH SCORE 364069.465
AT ITER 5661 NEW BEST:: SOT 5535208 SOS 2521250 HAS SOPS 2495171 HAS SOUS 364154 HAS SOUPS 361156 WITH SCORE 363677.25
AT ITER 5688 NEW BEST:: SOT 5535234 SOS 2521276 HAS SOPS 2495197 HAS SOUS 364114 HAS SOUPS 361116 WITH SCORE 363637.276
AT ITER 5695 NEW BEST:: SOT 5535168 SOS 2521210 HAS SOPS 2495100 HAS SOUS 363982 HAS SOUPS 360984 WITH SCORE 363505.21
AT ITER 5706 NEW BEST:: SOT 5535185 SOS 2521278 HAS SOPS 2495168 HAS SOUS 363931 HAS SOUPS 360933 WITH SCORE 363454.278
AT ITER 5722 NEW BEST:: SOT 5535099 SOS 2521172 HAS SOPS 2495062 HAS SOUS 363759 HAS SOUPS 360761 WITH SCORE 363282.172
AT ITER 5726 NEW BEST:: SOT 5514565 SOS 2500537 HAS SOPS 2474427 HAS SOUS 359352 HAS SOUPS 356354 WITH SCORE 358854.537
AT ITER 5741 NEW BEST:: SOT 5514565 SOS 2498095 HAS SOPS 2471985 HAS SOUS 359352 HAS SOUPS 356354 WITH SCORE 358852.095
AT ITER 5749 NEW BEST:: SOT 5514557 SOS 2498087 HAS SOPS 2471977 HAS SOUS 359344 HAS SOUPS 356346 WITH SCORE 358844.087
AT ITER 5761 NEW BEST:: SOT 5514717 SOS 2498247 HAS SOPS 2472137 HAS SOUS 359227 HAS SOUPS 356229 WITH SCORE 358727.247
AT ITER 5775 NEW BEST:: SOT 5514817 SOS 2498347 HAS SOPS 2472239 HAS SOUS 359085 HAS SOUPS 356087 WITH SCORE 358585.347
AT ITER 5788 NEW BEST:: SOT 5514886 SOS 2498416 HAS SOPS 2472206 HAS SOUS 358914 HAS SOUPS 355916 WITH SCORE 358414.416
AT ITER 5806 NEW BEST:: SOT 5514886 SOS 2498461 HAS SOPS 2472251 HAS SOUS 358825 HAS SOUPS 355827 WITH SCORE 358325.461
AT ITER 5841 NEW BEST:: SOT 5514492 SOS 2498175 HAS SOPS 2471965 HAS SOUS 358584 HAS SOUPS 355586 WITH SCORE 358084.175
AT ITER 5842 NEW BEST:: SOT 5514378 SOS 2498005 HAS SOPS 2471795 HAS SOUS 358472 HAS SOUPS 355474 WITH SCORE 357972.005
AT ITER 5846 NEW BEST:: SOT 5513990 SOS 2497646 HAS SOPS 2471436 HAS SOUS 358182 HAS SOUPS 355184 WITH SCORE 357681.646
AT ITER 5866 NEW BEST:: SOT 5513974 SOS 2497630 HAS SOPS 2471420 HAS SOUS 355567 HAS SOUPS 352569 WITH SCORE 355066.63
AT ITER 5881 NEW BEST:: SOT 5514116 SOS 2497772 HAS SOPS 2471562 HAS SOUS 355376 HAS SOUPS 352378 WITH SCORE 354875.772
AT ITER 5884 NEW BEST:: SOT 5514050 SOS 2497615 HAS SOPS 2471405 HAS SOUS 355296 HAS SOUPS 352298 WITH SCORE 354795.615
AT ITER 5903 NEW BEST:: SOT 5513678 SOS 2494887 HAS SOPS 2468677 HAS SOUS 355159 HAS SOUPS 352161 WITH SCORE 354655.887
AT ITER 5912 NEW BEST:: SOT 5513558 SOS 2494710 HAS SOPS 2468500 HAS SOUS 355096 HAS SOUPS 352098 WITH SCORE 354592.71
AT ITER 5921 NEW BEST:: SOT 5513149 SOS 2494048 HAS SOPS 2467838 HAS SOUS 354784 HAS SOUPS 351786 WITH SCORE 354280.048
AT ITER 5946 NEW BEST:: SOT 5513093 SOS 2493992 HAS SOPS 2467782 HAS SOUS 354728 HAS SOUPS 351730 WITH SCORE 354223.992
AT ITER 5957 NEW BEST:: SOT 5535209 SOS 2516108 HAS SOPS 2489898 HAS SOUS 346093 HAS SOUPS 343095 WITH SCORE 345611.108
AT ITER 5962 NEW BEST:: SOT 5535142 SOS 2515937 HAS SOPS 2489727 HAS SOUS 345922 HAS SOUPS 342924 WITH SCORE 345439.937
AT ITER 5970 NEW BEST:: SOT 5535043 SOS 2515876 HAS SOPS 2489666 HAS SOUS 345823 HAS SOUPS 342825 WITH SCORE 345340.876
AT ITER 6054 NEW BEST:: SOT 5534875 SOS 2515624 HAS SOPS 2489414 HAS SOUS 345571 HAS SOUPS 342573 WITH SCORE 345088.624
AT ITER 6057 NEW BEST:: SOT 5534998 SOS 2515572 HAS SOPS 2489362 HAS SOUS 345360 HAS SOUPS 342362 WITH SCORE 344877.572
AT ITER 6066 NEW BEST:: SOT 5534635 SOS 2515209 HAS SOPS 2488999 HAS SOUS 344388 HAS SOUPS 341390 WITH SCORE 343905.209
AT ITER 6067 NEW BEST:: SOT 5534602 SOS 2515176 HAS SOPS 2488966 HAS SOUS 344322 HAS SOUPS 341324 WITH SCORE 343839.176
AT ITER 6073 NEW BEST:: SOT 5534649 SOS 2515223 HAS SOPS 2489013 HAS SOUS 344290 HAS SOUPS 341292 WITH SCORE 343807.223
AT ITER 6077 NEW BEST:: SOT 5534748 SOS 2515258 HAS SOPS 2489048 HAS SOUS 344234 HAS SOUPS 341236 WITH SCORE 343751.258
AT ITER 6079 NEW BEST:: SOT 5534669 SOS 2515179 HAS SOPS 2488969 HAS SOUS 343944 HAS SOUPS 340946 WITH SCORE 343461.179
AT ITER 6092 NEW BEST:: SOT 5533961 SOS 2514441 HAS SOPS 2488231 HAS SOUS 343809 HAS SOUPS 340811 WITH SCORE 343325.441
AT ITER 6119 NEW BEST:: SOT 5533853 SOS 2514234 HAS SOPS 2488024 HAS SOUS 343701 HAS SOUPS 340703 WITH SCORE 343217.234
AT ITER 6138 NEW BEST:: SOT 5533736 SOS 2514117 HAS SOPS 2487907 HAS SOUS 343480 HAS SOUPS 340482 WITH SCORE 342996.117
AT ITER 6141 NEW BEST:: SOT 5533674 SOS 2514055 HAS SOPS 2487845 HAS SOUS 343356 HAS SOUPS 340358 WITH SCORE 342872.055
AT ITER 6142 NEW BEST:: SOT 5533618 SOS 2513999 HAS SOPS 2487789 HAS SOUS 343300 HAS SOUPS 340302 WITH SCORE 342815.999
AT ITER 6143 NEW BEST:: SOT 5533596 SOS 2513989 HAS SOPS 2487779 HAS SOUS 343267 HAS SOUPS 340269 WITH SCORE 342782.989
AT ITER 6167 NEW BEST:: SOT 5533529 SOS 2513922 HAS SOPS 2487712 HAS SOUS 343073 HAS SOUPS 340075 WITH SCORE 342588.922
AT ITER 6170 NEW BEST:: SOT 5533529 SOS 2513922 HAS SOPS 2487712 HAS SOUS 343070 HAS SOUPS 340072 WITH SCORE 342585.922
AT ITER 6182 NEW BEST:: SOT 5533399 SOS 2513748 HAS SOPS 2487538 HAS SOUS 342896 HAS SOUPS 339898 WITH SCORE 342411.748
AT ITER 6226 NEW BEST:: SOT 5533379 SOS 2513908 HAS SOPS 2487678 HAS SOUS 342876 HAS SOUPS 339878 WITH SCORE 342391.908
AT ITER 6248 NEW BEST:: SOT 5533448 SOS 2513969 HAS SOPS 2487739 HAS SOUS 342854 HAS SOUPS 339856 WITH SCORE 342369.969
AT ITER 6280 NEW BEST:: SOT 5533332 SOS 2512237 HAS SOPS 2486007 HAS SOUS 342622 HAS SOUPS 339624 WITH SCORE 342136.237
AT ITER 6304 NEW BEST:: SOT 5533296 SOS 2512201 HAS SOPS 2485923 HAS SOUS 342406 HAS SOUPS 339408 WITH SCORE 341920.201
AT ITER 6309 NEW BEST:: SOT 5532642 SOS 2511628 HAS SOPS 2485350 HAS SOUS 341580 HAS SOUPS 338582 WITH SCORE 341093.628
AT ITER 6321 NEW BEST:: SOT 5532405 SOS 2511504 HAS SOPS 2485226 HAS SOUS 341133 HAS SOUPS 338135 WITH SCORE 340646.504
AT ITER 6328 NEW BEST:: SOT 5532473 SOS 2512127 HAS SOPS 2485849 HAS SOUS 341080 HAS SOUPS 338082 WITH SCORE 340594.127
AT ITER 6331 NEW BEST:: SOT 5532196 SOS 2511917 HAS SOPS 2485639 HAS SOUS 340914 HAS SOUPS 337916 WITH SCORE 340427.917
AT ITER 6345 NEW BEST:: SOT 5532109 SOS 2511830 HAS SOPS 2485552 HAS SOUS 340832 HAS SOUPS 337834 WITH SCORE 340345.83
AT ITER 6358 NEW BEST:: SOT 5531777 SOS 2511583 HAS SOPS 2485305 HAS SOUS 340654 HAS SOUPS 337656 WITH SCORE 340167.583
AT ITER 6364 NEW BEST:: SOT 5531895 SOS 2511538 HAS SOPS 2485260 HAS SOUS 340302 HAS SOUPS 337304 WITH SCORE 339815.538
AT ITER 6371 NEW BEST:: SOT 5531876 SOS 2511568 HAS SOPS 2485290 HAS SOUS 340264 HAS SOUPS 337266 WITH SCORE 339777.568
AT ITER 6375 NEW BEST:: SOT 5510014 SOS 2489706 HAS SOPS 2463428 HAS SOUS 338113 HAS SOUPS 335115 WITH SCORE 337604.706
AT ITER 6399 NEW BEST:: SOT 5510009 SOS 2489701 HAS SOPS 2463418 HAS SOUS 338103 HAS SOUPS 335105 WITH SCORE 337594.701
AT ITER 6410 NEW BEST:: SOT 5521411 SOS 2501103 HAS SOPS 2474820 HAS SOUS 337609 HAS SOUPS 334611 WITH SCORE 337112.103
AT ITER 6432 NEW BEST:: SOT 5521229 SOS 2500966 HAS SOPS 2474683 HAS SOUS 337380 HAS SOUPS 334382 WITH SCORE 336882.966
AT ITER 6456 NEW BEST:: SOT 5521182 SOS 2500869 HAS SOPS 2474586 HAS SOUS 337283 HAS SOUPS 334285 WITH SCORE 336785.869
AT ITER 6457 NEW BEST:: SOT 5521113 SOS 2500777 HAS SOPS 2474494 HAS SOUS 337191 HAS SOUPS 334193 WITH SCORE 336693.777
AT ITER 6459 NEW BEST:: SOT 5521096 SOS 2500743 HAS SOPS 2474460 HAS SOUS 337157 HAS SOUPS 334159 WITH SCORE 336659.743
AT ITER 6466 NEW BEST:: SOT 5520988 SOS 2500635 HAS SOPS 2474352 HAS SOUS 337049 HAS SOUPS 334051 WITH SCORE 336551.635
AT ITER 6491 NEW BEST:: SOT 5520295 SOS 2499959 HAS SOPS 2473676 HAS SOUS 336472 HAS SOUPS 333474 WITH SCORE 335973.959
AT ITER 6560 NEW BEST:: SOT 5520280 SOS 2499944 HAS SOPS 2473661 HAS SOUS 336442 HAS SOUPS 333444 WITH SCORE 335943.944
AT ITER 6589 NEW BEST:: SOT 5520103 SOS 2499761 HAS SOPS 2473478 HAS SOUS 336270 HAS SOUPS 333272 WITH SCORE 335771.761
AT ITER 6601 NEW BEST:: SOT 5505569 SOS 2485227 HAS SOPS 2458944 HAS SOUS 334594 HAS SOUPS 331596 WITH SCORE 334081.227
AT ITER 6602 NEW BEST:: SOT 5505499 SOS 2485087 HAS SOPS 2458804 HAS SOUS 334549 HAS SOUPS 331551 WITH SCORE 334036.087
AT ITER 6628 NEW BEST:: SOT 5505462 SOS 2484969 HAS SOPS 2458605 HAS SOUS 334394 HAS SOUPS 331396 WITH SCORE 333880.969
AT ITER 6634 NEW BEST:: SOT 5505474 SOS 2485013 HAS SOPS 2458649 HAS SOUS 334058 HAS SOUPS 331060 WITH SCORE 333545.013
AT ITER 6637 NEW BEST:: SOT 5505355 SOS 2484877 HAS SOPS 2458513 HAS SOUS 334058 HAS SOUPS 331060 WITH SCORE 333544.877
AT ITER 6658 NEW BEST:: SOT 5505288 SOS 2484764 HAS SOPS 2458400 HAS SOUS 333989 HAS SOUPS 330991 WITH SCORE 333475.764
AT ITER 6704 NEW BEST:: SOT 5510747 SOS 2490223 HAS SOPS 2463859 HAS SOUS 333971 HAS SOUPS 330973 WITH SCORE 333463.223
AT ITER 6722 NEW BEST:: SOT 5510742 SOS 2490218 HAS SOPS 2463843 HAS SOUS 333891 HAS SOUPS 330893 WITH SCORE 333383.218
AT ITER 6727 NEW BEST:: SOT 5510498 SOS 2395119 HAS SOPS 2368744 HAS SOUS 333525 HAS SOUPS 330527 WITH SCORE 332922.119
AT ITER 6776 NEW BEST:: SOT 5510501 SOS 2395122 HAS SOPS 2368718 HAS SOUS 333497 HAS SOUPS 330483 WITH SCORE 332878.122
AT ITER 6791 NEW BEST:: SOT 5507393 SOS 2392014 HAS SOPS 2365610 HAS SOUS 333149 HAS SOUPS 330135 WITH SCORE 332527.014
AT ITER 6801 NEW BEST:: SOT 5507403 SOS 2392024 HAS SOPS 2365591 HAS SOUS 333091 HAS SOUPS 330077 WITH SCORE 332469.024
AT ITER 6805 NEW BEST:: SOT 5507401 SOS 2392020 HAS SOPS 2365587 HAS SOUS 333087 HAS SOUPS 330073 WITH SCORE 332465.02
AT ITER 6810 NEW BEST:: SOT 5507315 SOS 2391846 HAS SOPS 2365501 HAS SOUS 331296 HAS SOUPS 328293 WITH SCORE 330684.846
AT ITER 6833 NEW BEST:: SOT 5507300 SOS 2391831 HAS SOPS 2365486 HAS SOUS 329749 HAS SOUPS 326746 WITH SCORE 329137.831
AT ITER 6838 NEW BEST:: SOT 5507137 SOS 2392502 HAS SOPS 2366157 HAS SOUS 328939 HAS SOUPS 325936 WITH SCORE 328328.502
AT ITER 6867 NEW BEST:: SOT 5507026 SOS 2392391 HAS SOPS 2366046 HAS SOUS 328717 HAS SOUPS 325714 WITH SCORE 328106.391
AT ITER 6887 NEW BEST:: SOT 5506984 SOS 2392349 HAS SOPS 2366004 HAS SOUS 328675 HAS SOUPS 325672 WITH SCORE 328064.349
AT ITER 6888 NEW BEST:: SOT 5506969 SOS 2392334 HAS SOPS 2365989 HAS SOUS 328645 HAS SOUPS 325642 WITH SCORE 328034.334
AT ITER 6901 NEW BEST:: SOT 5506939 SOS 2392266 HAS SOPS 2365921 HAS SOUS 328577 HAS SOUPS 325574 WITH SCORE 327966.266
AT ITER 6928 NEW BEST:: SOT 5506942 SOS 2392258 HAS SOPS 2365913 HAS SOUS 328576 HAS SOUPS 325573 WITH SCORE 327965.258
AT ITER 6954 NEW BEST:: SOT 5507005 SOS 2392211 HAS SOPS 2365866 HAS SOUS 328464 HAS SOUPS 325461 WITH SCORE 327853.211
AT ITER 6961 NEW BEST:: SOT 5506944 SOS 2392209 HAS SOPS 2365864 HAS SOUS 328405 HAS SOUPS 325402 WITH SCORE 327794.209
AT ITER 6965 NEW BEST:: SOT 5506499 SOS 2391764 HAS SOPS 2365419 HAS SOUS 328331 HAS SOUPS 325328 WITH SCORE 327719.764
AT ITER 6989 NEW BEST:: SOT 5506475 SOS 2391740 HAS SOPS 2365395 HAS SOUS 328297 HAS SOUPS 325294 WITH SCORE 327685.74
AT ITER 7017 NEW BEST:: SOT 5506007 SOS 2391112 HAS SOPS 2364767 HAS SOUS 327687 HAS SOUPS 324684 WITH SCORE 327075.112
AT ITER 7042 NEW BEST:: SOT 5505867 SOS 2390955 HAS SOPS 2364610 HAS SOUS 327407 HAS SOUPS 324404 WITH SCORE 326794.955
AT ITER 7051 NEW BEST:: SOT 5505858 SOS 2390937 HAS SOPS 2364592 HAS SOUS 327389 HAS SOUPS 324386 WITH SCORE 326776.937
AT ITER 7071 NEW BEST:: SOT 5505803 SOS 2390882 HAS SOPS 2364581 HAS SOUS 327331 HAS SOUPS 324328 WITH SCORE 326718.882
AT ITER 7105 NEW BEST:: SOT 5505704 SOS 2390783 HAS SOPS 2364482 HAS SOUS 327133 HAS SOUPS 324130 WITH SCORE 326520.783
AT ITER 7119 NEW BEST:: SOT 5505697 SOS 2390776 HAS SOPS 2364475 HAS SOUS 327126 HAS SOUPS 324123 WITH SCORE 326513.776
AT ITER 7120 NEW BEST:: SOT 5505022 SOS 2390101 HAS SOPS 2363800 HAS SOUS 326751 HAS SOUPS 323748 WITH SCORE 326138.101
AT ITER 7130 NEW BEST:: SOT 5504718 SOS 2389906 HAS SOPS 2363605 HAS SOUS 326505 HAS SOUPS 323502 WITH SCORE 325891.906
AT ITER 7147 NEW BEST:: SOT 5504458 SOS 2389646 HAS SOPS 2363345 HAS SOUS 326245 HAS SOUPS 323242 WITH SCORE 325631.646
AT ITER 7164 NEW BEST:: SOT 5504251 SOS 2389515 HAS SOPS 2363214 HAS SOUS 326091 HAS SOUPS 323088 WITH SCORE 325477.515
AT ITER 7215 NEW BEST:: SOT 5504075 SOS 2388984 HAS SOPS 2362683 HAS SOUS 325560 HAS SOUPS 322557 WITH SCORE 324945.984
AT ITER 7249 NEW BEST:: SOT 5504106 SOS 2389146 HAS SOPS 2362845 HAS SOUS 325241 HAS SOUPS 322238 WITH SCORE 324627.146
AT ITER 7279 NEW BEST:: SOT 5504144 SOS 2389088 HAS SOPS 2362883 HAS SOUS 324638 HAS SOUPS 321647 WITH SCORE 324036.088
AT ITER 7286 NEW BEST:: SOT 5504065 SOS 2389009 HAS SOPS 2362804 HAS SOUS 324319 HAS SOUPS 321328 WITH SCORE 323717.009
AT ITER 7289 NEW BEST:: SOT 5504004 SOS 2388948 HAS SOPS 2362691 HAS SOUS 324145 HAS SOUPS 321154 WITH SCORE 323542.948
AT ITER 7294 NEW BEST:: SOT 5503988 SOS 2388932 HAS SOPS 2362675 HAS SOUS 324113 HAS SOUPS 321122 WITH SCORE 323510.932
AT ITER 7316 NEW BEST:: SOT 5495256 SOS 2380200 HAS SOPS 2353943 HAS SOUS 322523 HAS SOUPS 319532 WITH SCORE 321912.2
AT ITER 7346 NEW BEST:: SOT 5495254 SOS 2380196 HAS SOPS 2353939 HAS SOUS 322517 HAS SOUPS 319526 WITH SCORE 321906.196
AT ITER 7370 NEW BEST:: SOT 5495023 SOS 2380061 HAS SOPS 2353804 HAS SOUS 322136 HAS SOUPS 319145 WITH SCORE 321525.061
AT ITER 7377 NEW BEST:: SOT 5495045 SOS 2414271 HAS SOPS 2388014 HAS SOUS 322070 HAS SOUPS 319079 WITH SCORE 321493.271
AT ITER 7392 NEW BEST:: SOT 5495048 SOS 2414274 HAS SOPS 2388013 HAS SOUS 322067 HAS SOUPS 319076 WITH SCORE 321490.274
AT ITER 7432 NEW BEST:: SOT 5495064 SOS 2414286 HAS SOPS 2388025 HAS SOUS 322031 HAS SOUPS 319040 WITH SCORE 321454.286
AT ITER 7435 NEW BEST:: SOT 5494634 SOS 2413856 HAS SOPS 2387595 HAS SOUS 321979 HAS SOUPS 318988 WITH SCORE 321401.856
AT ITER 7449 NEW BEST:: SOT 5494577 SOS 2413682 HAS SOPS 2387421 HAS SOUS 321788 HAS SOUPS 318797 WITH SCORE 321210.682
AT ITER 7484 NEW BEST:: SOT 5494889 SOS 2413994 HAS SOPS 2387733 HAS SOUS 321637 HAS SOUPS 318646 WITH SCORE 321059.994
AT ITER 7530 NEW BEST:: SOT 5494857 SOS 2413962 HAS SOPS 2387701 HAS SOUS 321605 HAS SOUPS 318614 WITH SCORE 321027.962
AT ITER 7576 NEW BEST:: SOT 5494787 SOS 2413885 HAS SOPS 2387624 HAS SOUS 321554 HAS SOUPS 318563 WITH SCORE 320976.885
AT ITER 7591 NEW BEST:: SOT 5494808 SOS 2413906 HAS SOPS 2387568 HAS SOUS 321420 HAS SOUPS 318429 WITH SCORE 320842.906
AT ITER 7596 NEW BEST:: SOT 5456698 SOS 2375796 HAS SOPS 2349458 HAS SOUS 318627 HAS SOUPS 315636 WITH SCORE 318011.796
AT ITER 7607 NEW BEST:: SOT 5456601 SOS 2375864 HAS SOPS 2349526 HAS SOUS 318513 HAS SOUPS 315522 WITH SCORE 317897.864
AT ITER 7610 NEW BEST:: SOT 5456579 SOS 2375784 HAS SOPS 2349446 HAS SOUS 318197 HAS SOUPS 315206 WITH SCORE 317581.784
AT ITER 7615 NEW BEST:: SOT 5456698 SOS 2375903 HAS SOPS 2349517 HAS SOUS 318168 HAS SOUPS 315177 WITH SCORE 317552.903
AT ITER 7640 NEW BEST:: SOT 5456677 SOS 2375882 HAS SOPS 2349496 HAS SOUS 318154 HAS SOUPS 315163 WITH SCORE 317538.882
AT ITER 7642 NEW BEST:: SOT 5456581 SOS 2375690 HAS SOPS 2349304 HAS SOUS 317962 HAS SOUPS 314971 WITH SCORE 317346.69
AT ITER 7645 NEW BEST:: SOT 5456357 SOS 2375404 HAS SOPS 2349068 HAS SOUS 317870 HAS SOUPS 314879 WITH SCORE 317254.404
AT ITER 7652 NEW BEST:: SOT 5456296 SOS 2375343 HAS SOPS 2349007 HAS SOUS 317809 HAS SOUPS 314818 WITH SCORE 317193.343
AT ITER 7656 NEW BEST:: SOT 5456256 SOS 2375283 HAS SOPS 2348947 HAS SOUS 317729 HAS SOUPS 314738 WITH SCORE 317113.283
AT ITER 7664 NEW BEST:: SOT 5456244 SOS 2375271 HAS SOPS 2348954 HAS SOUS 317714 HAS SOUPS 314723 WITH SCORE 317098.271
AT ITER 7705 NEW BEST:: SOT 5456529 SOS 2375625 HAS SOPS 2349308 HAS SOUS 317277 HAS SOUPS 314286 WITH SCORE 316661.625
AT ITER 7713 NEW BEST:: SOT 5456527 SOS 2375621 HAS SOPS 2349304 HAS SOUS 317273 HAS SOUPS 314282 WITH SCORE 316657.621
AT ITER 7726 NEW BEST:: SOT 5456523 SOS 2375617 HAS SOPS 2349300 HAS SOUS 317273 HAS SOUPS 314282 WITH SCORE 316657.617
AT ITER 7751 NEW BEST:: SOT 5456523 SOS 2375617 HAS SOPS 2349300 HAS SOUS 317206 HAS SOUPS 314215 WITH SCORE 316590.617
AT ITER 7755 NEW BEST:: SOT 5456523 SOS 2375617 HAS SOPS 2349300 HAS SOUS 317203 HAS SOUPS 314212 WITH SCORE 316587.617
AT ITER 7763 NEW BEST:: SOT 5456558 SOS 2375666 HAS SOPS 2349349 HAS SOUS 317168 HAS SOUPS 314177 WITH SCORE 316552.666
AT ITER 7770 NEW BEST:: SOT 5456627 SOS 2375735 HAS SOPS 2349401 HAS SOUS 317158 HAS SOUPS 314167 WITH SCORE 316542.735
AT ITER 7777 NEW BEST:: SOT 5459580 SOS 2378688 HAS SOPS 2352354 HAS SOUS 316321 HAS SOUPS 313330 WITH SCORE 315708.688
AT ITER 7787 NEW BEST:: SOT 5459418 SOS 2337513 HAS SOPS 2311179 HAS SOUS 316132 HAS SOUPS 313141 WITH SCORE 315478.513
AT ITER 7800 NEW BEST:: SOT 5459562 SOS 2340004 HAS SOPS 2313670 HAS SOUS 316069 HAS SOUPS 313078 WITH SCORE 315418.004
AT ITER 7822 NEW BEST:: SOT 5459537 SOS 2339906 HAS SOPS 2313572 HAS SOUS 315913 HAS SOUPS 312922 WITH SCORE 315261.906
AT ITER 7839 NEW BEST:: SOT 5459522 SOS 2339896 HAS SOPS 2313562 HAS SOUS 315868 HAS SOUPS 312877 WITH SCORE 315216.896
AT ITER 7847 NEW BEST:: SOT 5459374 SOS 2339822 HAS SOPS 2313488 HAS SOUS 315798 HAS SOUPS 312807 WITH SCORE 315146.822
AT ITER 7901 NEW BEST:: SOT 5459320 SOS 2339801 HAS SOPS 2313467 HAS SOUS 315690 HAS SOUPS 312699 WITH SCORE 315038.801
AT ITER 7915 NEW BEST:: SOT 5459191 SOS 2339285 HAS SOPS 2312951 HAS SOUS 315561 HAS SOUPS 312570 WITH SCORE 314909.285
AT ITER 7926 NEW BEST:: SOT 5459191 SOS 2330241 HAS SOPS 2304963 HAS SOUS 315429 HAS SOUPS 312570 WITH SCORE 314900.241
AT ITER 7929 NEW BEST:: SOT 5459092 SOS 2330311 HAS SOPS 2305033 HAS SOUS 315402 HAS SOUPS 312543 WITH SCORE 314873.311
AT ITER 7934 NEW BEST:: SOT 5458922 SOS 2330073 HAS SOPS 2304795 HAS SOUS 315164 HAS SOUPS 312305 WITH SCORE 314635.073
AT ITER 7964 NEW BEST:: SOT 5458934 SOS 2330646 HAS SOPS 2305368 HAS SOUS 314898 HAS SOUPS 312039 WITH SCORE 314369.646
AT ITER 7965 NEW BEST:: SOT 5458699 SOS 2330323 HAS SOPS 2305045 HAS SOUS 314575 HAS SOUPS 311716 WITH SCORE 314046.323
AT ITER 7966 NEW BEST:: SOT 5458237 SOS 2329456 HAS SOPS 2304178 HAS SOUS 314487 HAS SOUPS 311628 WITH SCORE 313957.456
AT ITER 7983 NEW BEST:: SOT 5458113 SOS 2329247 HAS SOPS 2303969 HAS SOUS 314268 HAS SOUPS 311409 WITH SCORE 313738.247
AT ITER 7989 NEW BEST:: SOT 5458098 SOS 2329259 HAS SOPS 2303981 HAS SOUS 314253 HAS SOUPS 311394 WITH SCORE 313723.259
AT ITER 8011 NEW BEST:: SOT 5458077 SOS 2329142 HAS SOPS 2303864 HAS SOUS 314251 HAS SOUPS 311392 WITH SCORE 313721.142
AT ITER 8017 NEW BEST:: SOT 5457997 SOS 2328982 HAS SOPS 2303704 HAS SOUS 314091 HAS SOUPS 311232 WITH SCORE 313560.982
AT ITER 8026 NEW BEST:: SOT 5457865 SOS 2328880 HAS SOPS 2303602 HAS SOUS 313887 HAS SOUPS 311028 WITH SCORE 313356.88
AT ITER 8057 NEW BEST:: SOT 5457681 SOS 2328479 HAS SOPS 2303201 HAS SOUS 313532 HAS SOUPS 310673 WITH SCORE 313001.479
AT ITER 8062 NEW BEST:: SOT 5457431 SOS 2328307 HAS SOPS 2303029 HAS SOUS 313350 HAS SOUPS 310491 WITH SCORE 312819.307
AT ITER 8082 NEW BEST:: SOT 5457417 SOS 2328293 HAS SOPS 2303015 HAS SOUS 313336 HAS SOUPS 310477 WITH SCORE 312805.293
AT ITER 8117 NEW BEST:: SOT 5457443 SOS 2327996 HAS SOPS 2302718 HAS SOUS 312920 HAS SOUPS 310061 WITH SCORE 312388.996
AT ITER 8140 NEW BEST:: SOT 5457387 SOS 2327970 HAS SOPS 2302669 HAS SOUS 312736 HAS SOUPS 309877 WITH SCORE 312204.97
AT ITER 8165 NEW BEST:: SOT 5457357 SOS 2328495 HAS SOPS 2303194 HAS SOUS 312709 HAS SOUPS 309850 WITH SCORE 312178.495
AT ITER 8177 NEW BEST:: SOT 5457273 SOS 2328816 HAS SOPS 2303515 HAS SOUS 312541 HAS SOUPS 309682 WITH SCORE 312010.816
AT ITER 8202 NEW BEST:: SOT 5457184 SOS 2328565 HAS SOPS 2303264 HAS SOUS 312452 HAS SOUPS 309593 WITH SCORE 311921.565
AT ITER 8224 NEW BEST:: SOT 5457291 SOS 2328966 HAS SOPS 2303665 HAS SOUS 312435 HAS SOUPS 309576 WITH SCORE 311904.966
AT ITER 8227 NEW BEST:: SOT 5457176 SOS 2328290 HAS SOPS 2302989 HAS SOUS 312307 HAS SOUPS 309448 WITH SCORE 311776.29
AT ITER 8248 NEW BEST:: SOT 5454089 SOS 2325203 HAS SOPS 2299902 HAS SOUS 312116 HAS SOUPS 309257 WITH SCORE 311582.203
AT ITER 8251 NEW BEST:: SOT 5453886 SOS 2325225 HAS SOPS 2299902 HAS SOUS 312053 HAS SOUPS 309194 WITH SCORE 311519.225
AT ITER 8254 NEW BEST:: SOT 5453849 SOS 2325188 HAS SOPS 2299865 HAS SOUS 311986 HAS SOUPS 309127 WITH SCORE 311452.188
AT ITER 8262 NEW BEST:: SOT 5453803 SOS 2325146 HAS SOPS 2299823 HAS SOUS 311925 HAS SOUPS 309066 WITH SCORE 311391.146
AT ITER 8270 NEW BEST:: SOT 5453888 SOS 2325231 HAS SOPS 2299931 HAS SOUS 311862 HAS SOUPS 309003 WITH SCORE 311328.231
AT ITER 8274 NEW BEST:: SOT 5453782 SOS 2322740 HAS SOPS 2297440 HAS SOUS 311806 HAS SOUPS 308947 WITH SCORE 311269.74
AT ITER 8276 NEW BEST:: SOT 5453552 SOS 2322509 HAS SOPS 2297115 HAS SOUS 311396 HAS SOUPS 308537 WITH SCORE 310859.509
AT ITER 8287 NEW BEST:: SOT 5453590 SOS 2322564 HAS SOPS 2297170 HAS SOUS 311375 HAS SOUPS 308516 WITH SCORE 310838.564
AT ITER 8301 NEW BEST:: SOT 5453611 SOS 2322564 HAS SOPS 2297170 HAS SOUS 311351 HAS SOUPS 308492 WITH SCORE 310814.564
AT ITER 8307 NEW BEST:: SOT 5453591 SOS 2322544 HAS SOPS 2297145 HAS SOUS 311326 HAS SOUPS 308467 WITH SCORE 310789.544
AT ITER 8308 NEW BEST:: SOT 5453528 SOS 2322317 HAS SOPS 2296943 HAS SOUS 311165 HAS SOUPS 308306 WITH SCORE 310628.317
AT ITER 8310 NEW BEST:: SOT 5453238 SOS 2322027 HAS SOPS 2296653 HAS SOUS 310829 HAS SOUPS 307970 WITH SCORE 310292.027
AT ITER 8321 NEW BEST:: SOT 5453204 SOS 2321993 HAS SOPS 2296619 HAS SOUS 310821 HAS SOUPS 307962 WITH SCORE 310283.993
AT ITER 8334 NEW BEST:: SOT 5453205 SOS 2321990 HAS SOPS 2296616 HAS SOUS 310818 HAS SOUPS 307959 WITH SCORE 310280.99
AT ITER 8346 NEW BEST:: SOT 5453151 SOS 2321678 HAS SOPS 2296304 HAS SOUS 310693 HAS SOUPS 307834 WITH SCORE 310155.678
AT ITER 8370 NEW BEST:: SOT 5453095 SOS 2321592 HAS SOPS 2296218 HAS SOUS 310494 HAS SOUPS 307635 WITH SCORE 309956.592
AT ITER 8385 NEW BEST:: SOT 5452943 SOS 2321404 HAS SOPS 2296030 HAS SOUS 310410 HAS SOUPS 307551 WITH SCORE 309872.404
AT ITER 8412 NEW BEST:: SOT 5452791 SOS 2321166 HAS SOPS 2295857 HAS SOUS 310278 HAS SOUPS 307419 WITH SCORE 309740.166
AT ITER 8462 NEW BEST:: SOT 5452682 SOS 2321057 HAS SOPS 2295711 HAS SOUS 310208 HAS SOUPS 307349 WITH SCORE 309670.057
AT ITER 8510 NEW BEST:: SOT 5452577 SOS 2320952 HAS SOPS 2295606 HAS SOUS 308959 HAS SOUPS 306100 WITH SCORE 308420.952
AT ITER 8532 NEW BEST:: SOT 5452620 SOS 2321280 HAS SOPS 2295934 HAS SOUS 308954 HAS SOUPS 306095 WITH SCORE 308416.28
AT ITER 8534 NEW BEST:: SOT 5452618 SOS 2321278 HAS SOPS 2295963 HAS SOUS 308926 HAS SOUPS 306067 WITH SCORE 308388.278
AT ITER 8540 NEW BEST:: SOT 5452574 SOS 2321234 HAS SOPS 2295919 HAS SOUS 308919 HAS SOUPS 306060 WITH SCORE 308381.234
AT ITER 8553 NEW BEST:: SOT 5449693 SOS 2318353 HAS SOPS 2293038 HAS SOUS 308546 HAS SOUPS 305687 WITH SCORE 308005.353
AT ITER 8570 NEW BEST:: SOT 5449683 SOS 2318343 HAS SOPS 2293028 HAS SOUS 308538 HAS SOUPS 305679 WITH SCORE 307997.343
AT ITER 8575 NEW BEST:: SOT 5449697 SOS 2318343 HAS SOPS 2293028 HAS SOUS 308510 HAS SOUPS 305651 WITH SCORE 307969.343
AT ITER 8597 NEW BEST:: SOT 5449679 SOS 2318298 HAS SOPS 2292983 HAS SOUS 308483 HAS SOUPS 305624 WITH SCORE 307942.298
AT ITER 8623 NEW BEST:: SOT 5449693 SOS 2318312 HAS SOPS 2292998 HAS SOUS 308481 HAS SOUPS 305622 WITH SCORE 307940.312
AT ITER 8629 NEW BEST:: SOT 5449610 SOS 2318274 HAS SOPS 2292960 HAS SOUS 308443 HAS SOUPS 305584 WITH SCORE 307902.274
AT ITER 8651 NEW BEST:: SOT 5449660 SOS 2318343 HAS SOPS 2292549 HAS SOUS 308493 HAS SOUPS 305574 WITH SCORE 307892.343
AT ITER 8666 NEW BEST:: SOT 5449624 SOS 2318095 HAS SOPS 2292301 HAS SOUS 308421 HAS SOUPS 305502 WITH SCORE 307820.095
AT ITER 8680 NEW BEST:: SOT 5449847 SOS 2318593 HAS SOPS 2292799 HAS SOUS 308113 HAS SOUPS 305194 WITH SCORE 307512.593
AT ITER 8712 NEW BEST:: SOT 5449852 SOS 2318560 HAS SOPS 2292766 HAS SOUS 308052 HAS SOUPS 305133 WITH SCORE 307451.56
AT ITER 8722 NEW BEST:: SOT 5449852 SOS 2318647 HAS SOPS 2292853 HAS SOUS 307878 HAS SOUPS 304959 WITH SCORE 307277.647
AT ITER 8726 NEW BEST:: SOT 5450031 SOS 2318794 HAS SOPS 2293000 HAS SOUS 307596 HAS SOUPS 304677 WITH SCORE 306995.794
AT ITER 8770 NEW BEST:: SOT 5450001 SOS 2318757 HAS SOPS 2292963 HAS SOUS 307573 HAS SOUPS 304654 WITH SCORE 306972.757
AT ITER 8777 NEW BEST:: SOT 5450001 SOS 2318493 HAS SOPS 2292552 HAS SOUS 307204 HAS SOUPS 304285 WITH SCORE 306603.493
AT ITER 8785 NEW BEST:: SOT 5449895 SOS 2318348 HAS SOPS 2292380 HAS SOUS 307093 HAS SOUPS 304150 WITH SCORE 306468.348
AT ITER 8787 NEW BEST:: SOT 5449887 SOS 2318340 HAS SOPS 2292372 HAS SOUS 307061 HAS SOUPS 304118 WITH SCORE 306436.34
AT ITER 8796 NEW BEST:: SOT 5449818 SOS 2318271 HAS SOPS 2292303 HAS SOUS 307014 HAS SOUPS 304071 WITH SCORE 306389.271
AT ITER 8803 NEW BEST:: SOT 5449635 SOS 2318078 HAS SOPS 2292110 HAS SOUS 306929 HAS SOUPS 303986 WITH SCORE 306304.078
AT ITER 8835 NEW BEST:: SOT 5449654 SOS 2318097 HAS SOPS 2292129 HAS SOUS 306813 HAS SOUPS 303870 WITH SCORE 306188.097
AT ITER 8854 NEW BEST:: SOT 5449648 SOS 2318091 HAS SOPS 2292123 HAS SOUS 306799 HAS SOUPS 303856 WITH SCORE 306174.091
AT ITER 8857 NEW BEST:: SOT 5449579 SOS 2318091 HAS SOPS 2292123 HAS SOUS 306766 HAS SOUPS 303823 WITH SCORE 306141.091
AT ITER 8863 NEW BEST:: SOT 5449579 SOS 2318091 HAS SOPS 2292123 HAS SOUS 306675 HAS SOUPS 303732 WITH SCORE 306050.091
AT ITER 8882 NEW BEST:: SOT 5449579 SOS 2313904 HAS SOPS 2287936 HAS SOUS 306665 HAS SOUPS 303722 WITH SCORE 306035.904
AT ITER 8911 NEW BEST:: SOT 5449512 SOS 2313896 HAS SOPS 2287928 HAS SOUS 306638 HAS SOUPS 303695 WITH SCORE 306008.896
AT ITER 8922 NEW BEST:: SOT 5449512 SOS 2313704 HAS SOPS 2287736 HAS SOUS 306638 HAS SOUPS 303695 WITH SCORE 306008.704
AT ITER 8936 NEW BEST:: SOT 5449672 SOS 2313889 HAS SOPS 2287921 HAS SOUS 306412 HAS SOUPS 303469 WITH SCORE 305782.889
AT ITER 8947 NEW BEST:: SOT 5447576 SOS 2311793 HAS SOPS 2285825 HAS SOUS 306014 HAS SOUPS 303071 WITH SCORE 305382.793
AT ITER 8968 NEW BEST:: SOT 5447443 SOS 2311660 HAS SOPS 2285692 HAS SOUS 305739 HAS SOUPS 302796 WITH SCORE 305107.66
AT ITER 8980 NEW BEST:: SOT 5447441 SOS 2311658 HAS SOPS 2285690 HAS SOUS 305733 HAS SOUPS 302790 WITH SCORE 305101.658
AT ITER 9004 NEW BEST:: SOT 5447513 SOS 2311918 HAS SOPS 2285950 HAS SOUS 305627 HAS SOUPS 302684 WITH SCORE 304995.918
AT ITER 9031 NEW BEST:: SOT 5447501 SOS 2311906 HAS SOPS 2285938 HAS SOUS 305606 HAS SOUPS 302663 WITH SCORE 304974.906
AT ITER 9034 NEW BEST:: SOT 5447497 SOS 2311898 HAS SOPS 2285930 HAS SOUS 305598 HAS SOUPS 302655 WITH SCORE 304966.898
AT ITER 9044 NEW BEST:: SOT 5447340 SOS 2311737 HAS SOPS 2285769 HAS SOUS 305442 HAS SOUPS 302499 WITH SCORE 304810.737
AT ITER 9074 NEW BEST:: SOT 5447314 SOS 2311711 HAS SOPS 2285730 HAS SOUS 305377 HAS SOUPS 302434 WITH SCORE 304745.711
AT ITER 9098 NEW BEST:: SOT 5447288 SOS 2311581 HAS SOPS 2285704 HAS SOUS 304192 HAS SOUPS 301262 WITH SCORE 303573.581
AT ITER 9153 NEW BEST:: SOT 5447221 SOS 2311449 HAS SOPS 2285572 HAS SOUS 304123 HAS SOUPS 301193 WITH SCORE 303504.449
AT ITER 9194 NEW BEST:: SOT 5447224 SOS 2311346 HAS SOPS 2285469 HAS SOUS 303994 HAS SOUPS 301064 WITH SCORE 303375.346
AT ITER 9208 NEW BEST:: SOT 5447224 SOS 2311318 HAS SOPS 2285441 HAS SOUS 303994 HAS SOUPS 301064 WITH SCORE 303375.318
AT ITER 9223 NEW BEST:: SOT 5447227 SOS 2311321 HAS SOPS 2285444 HAS SOUS 303988 HAS SOUPS 301058 WITH SCORE 303369.321
AT ITER 9230 NEW BEST:: SOT 5447062 SOS 2227234 HAS SOPS 2201357 HAS SOUS 303768 HAS SOUPS 300838 WITH SCORE 303065.234
AT ITER 9345 NEW BEST:: SOT 5447062 SOS 2227150 HAS SOPS 2201273 HAS SOUS 303768 HAS SOUPS 300838 WITH SCORE 303065.15
AT ITER 9349 NEW BEST:: SOT 5447046 SOS 2227134 HAS SOPS 2201257 HAS SOUS 303736 HAS SOUPS 300806 WITH SCORE 303033.134
AT ITER 9350 NEW BEST:: SOT 5447047 SOS 2227256 HAS SOPS 2201358 HAS SOUS 303719 HAS SOUPS 300789 WITH SCORE 303016.256
AT ITER 9351 NEW BEST:: SOT 5446836 SOS 2227045 HAS SOPS 2201147 HAS SOUS 303485 HAS SOUPS 300555 WITH SCORE 302782.045
AT ITER 9357 NEW BEST:: SOT 5446551 SOS 2226640 HAS SOPS 2200742 HAS SOUS 303113 HAS SOUPS 300183 WITH SCORE 302409.64
AT ITER 9360 NEW BEST:: SOT 5446546 SOS 2226590 HAS SOPS 2200692 HAS SOUS 303103 HAS SOUPS 300173 WITH SCORE 302399.59
AT ITER 9408 NEW BEST:: SOT 5446207 SOS 2226251 HAS SOPS 2200353 HAS SOUS 302425 HAS SOUPS 299495 WITH SCORE 301721.251
AT ITER 9423 NEW BEST:: SOT 5446205 SOS 2226209 HAS SOPS 2200259 HAS SOUS 302341 HAS SOUPS 299411 WITH SCORE 301637.209
AT ITER 9475 NEW BEST:: SOT 5446043 SOS 2225897 HAS SOPS 2199947 HAS SOUS 302341 HAS SOUPS 299411 WITH SCORE 301636.897
AT ITER 9488 NEW BEST:: SOT 5446011 SOS 2225865 HAS SOPS 2199915 HAS SOUS 302325 HAS SOUPS 299395 WITH SCORE 301620.865
AT ITER 9507 NEW BEST:: SOT 5445960 SOS 2225731 HAS SOPS 2199781 HAS SOUS 302223 HAS SOUPS 299293 WITH SCORE 301518.731
AT ITER 9517 NEW BEST:: SOT 5445948 SOS 2224695 HAS SOPS 2198745 HAS SOUS 302207 HAS SOUPS 299277 WITH SCORE 301501.695
AT ITER 9567 NEW BEST:: SOT 5445962 SOS 2224679 HAS SOPS 2198729 HAS SOUS 302143 HAS SOUPS 299213 WITH SCORE 301437.679
AT ITER 9602 NEW BEST:: SOT 5445953 SOS 2224660 HAS SOPS 2198710 HAS SOUS 302125 HAS SOUPS 299195 WITH SCORE 301419.66
AT ITER 9616 NEW BEST:: SOT 5445925 SOS 2224632 HAS SOPS 2198682 HAS SOUS 302045 HAS SOUPS 299115 WITH SCORE 301339.632
AT ITER 9618 NEW BEST:: SOT 5445821 SOS 2224536 HAS SOPS 2198586 HAS SOUS 301837 HAS SOUPS 298907 WITH SCORE 301131.536
AT ITER 9634 NEW BEST:: SOT 5445789 SOS 2224472 HAS SOPS 2198522 HAS SOUS 301773 HAS SOUPS 298843 WITH SCORE 301067.472
AT ITER 9690 NEW BEST:: SOT 5446004 SOS 2224687 HAS SOPS 2198737 HAS SOUS 301764 HAS SOUPS 298834 WITH SCORE 301058.687
AT ITER 9694 NEW BEST:: SOT 5445988 SOS 2224667 HAS SOPS 2198717 HAS SOUS 301732 HAS SOUPS 298802 WITH SCORE 301026.667
AT ITER 9700 NEW BEST:: SOT 5446084 SOS 2224775 HAS SOPS 2198825 HAS SOUS 301684 HAS SOUPS 298754 WITH SCORE 300978.775
AT ITER 9712 NEW BEST:: SOT 5446090 SOS 2224781 HAS SOPS 2198831 HAS SOUS 301658 HAS SOUPS 298728 WITH SCORE 300952.781
AT ITER 9718 NEW BEST:: SOT 5445975 SOS 2224646 HAS SOPS 2198696 HAS SOUS 301538 HAS SOUPS 298608 WITH SCORE 300832.646
AT ITER 9758 NEW BEST:: SOT 5445704 SOS 2224774 HAS SOPS 2198824 HAS SOUS 301464 HAS SOUPS 298534 WITH SCORE 300758.774
AT ITER 9762 NEW BEST:: SOT 5445652 SOS 2225121 HAS SOPS 2199193 HAS SOUS 301426 HAS SOUPS 298524 WITH SCORE 300749.121
AT ITER 9772 NEW BEST:: SOT 5445598 SOS 2225067 HAS SOPS 2199139 HAS SOUS 301378 HAS SOUPS 298476 WITH SCORE 300701.067
AT ITER 9774 NEW BEST:: SOT 5445594 SOS 2225063 HAS SOPS 2199135 HAS SOUS 301171 HAS SOUPS 298269 WITH SCORE 300494.063
AT ITER 9784 NEW BEST:: SOT 5445504 SOS 2224883 HAS SOPS 2198955 HAS SOUS 300937 HAS SOUPS 298035 WITH SCORE 300259.883
AT ITER 9790 NEW BEST:: SOT 5445498 SOS 2224877 HAS SOPS 2198955 HAS SOUS 300937 HAS SOUPS 298035 WITH SCORE 300259.877
AT ITER 9809 NEW BEST:: SOT 5445482 SOS 2224869 HAS SOPS 2198947 HAS SOUS 300919 HAS SOUPS 298017 WITH SCORE 300241.869
AT ITER 9811 NEW BEST:: SOT 5445480 SOS 2224867 HAS SOPS 2198943 HAS SOUS 300915 HAS SOUPS 298013 WITH SCORE 300237.867
AT ITER 9831 NEW BEST:: SOT 5445480 SOS 2224767 HAS SOPS 2198843 HAS SOUS 300915 HAS SOUPS 298013 WITH SCORE 300237.767
AT ITER 9834 NEW BEST:: SOT 5445480 SOS 2224751 HAS SOPS 2198827 HAS SOUS 300915 HAS SOUPS 298013 WITH SCORE 300237.751
AT ITER 9842 NEW BEST:: SOT 5445448 SOS 2224719 HAS SOPS 2198795 HAS SOUS 300883 HAS SOUPS 297981 WITH SCORE 300205.719
AT ITER 9887 NEW BEST:: SOT 5445444 SOS 2224849 HAS SOPS 2198939 HAS SOUS 300861 HAS SOUPS 297973 WITH SCORE 300197.849
AT ITER 9990 NEW BEST:: SOT 5445436 SOS 2224709 HAS SOPS 2198799 HAS SOUS 300853 HAS SOUPS 297965 WITH SCORE 300189.709
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15983660 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16116188 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-S06J06T08"
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-S06J06T08, 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-167873943100632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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