Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600024.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-303, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589088017296

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

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445607 SOS 744324 HAS SOPS 744324 HAS SOUS 686655 HAS SOUPS 686655 WITH SCORE 687399.324
AT ITER 9 NEW BEST:: SOT 4445606 SOS 744322 HAS SOPS 744322 HAS SOUS 686653 HAS SOUPS 686653 WITH SCORE 687397.322
AT ITER 21 NEW BEST:: SOT 4445699 SOS 744211 HAS SOPS 744211 HAS SOUS 686544 HAS SOUPS 686544 WITH SCORE 687288.211
AT ITER 24 NEW BEST:: SOT 4445106 SOS 744529 HAS SOPS 744529 HAS SOUS 686327 HAS SOUPS 686327 WITH SCORE 687071.529
AT ITER 50 NEW BEST:: SOT 4444127 SOS 743642 HAS SOPS 743642 HAS SOUS 685370 HAS SOUPS 685370 WITH SCORE 686113.642
AT ITER 52 NEW BEST:: SOT 4444093 SOS 743625 HAS SOPS 743625 HAS SOUS 685353 HAS SOUPS 685353 WITH SCORE 686096.625
AT ITER 69 NEW BEST:: SOT 4443841 SOS 743121 HAS SOPS 743121 HAS SOUS 685101 HAS SOUPS 685101 WITH SCORE 685844.121
AT ITER 97 NEW BEST:: SOT 4443803 SOS 743007 HAS SOPS 743007 HAS SOUS 685025 HAS SOUPS 685025 WITH SCORE 685768.007
AT ITER 122 NEW BEST:: SOT 4443567 SOS 742771 HAS SOPS 742771 HAS SOUS 684789 HAS SOUPS 684789 WITH SCORE 685531.771
AT ITER 143 NEW BEST:: SOT 4443563 SOS 742962 HAS SOPS 742962 HAS SOUS 684785 HAS SOUPS 684785 WITH SCORE 685527.962
AT ITER 159 NEW BEST:: SOT 4443355 SOS 742754 HAS SOPS 742754 HAS SOUS 684448 HAS SOUPS 684448 WITH SCORE 685190.754
AT ITER 228 NEW BEST:: SOT 4442687 SOS 742111 HAS SOPS 742111 HAS SOUS 683790 HAS SOUPS 683790 WITH SCORE 684532.111
AT ITER 250 NEW BEST:: SOT 4442538 SOS 741813 HAS SOPS 741813 HAS SOUS 683759 HAS SOUPS 683759 WITH SCORE 684500.813
AT ITER 261 NEW BEST:: SOT 4442536 SOS 741809 HAS SOPS 741809 HAS SOUS 683755 HAS SOUPS 683755 WITH SCORE 684496.809
AT ITER 266 NEW BEST:: SOT 4442535 SOS 741807 HAS SOPS 741807 HAS SOUS 683753 HAS SOUPS 683753 WITH SCORE 684494.807
AT ITER 279 NEW BEST:: SOT 4442329 SOS 741395 HAS SOPS 741395 HAS SOUS 683341 HAS SOUPS 683341 WITH SCORE 684082.395
AT ITER 287 NEW BEST:: SOT 4442296 SOS 741392 HAS SOPS 741392 HAS SOUS 683329 HAS SOUPS 683329 WITH SCORE 684070.392
AT ITER 305 NEW BEST:: SOT 4441926 SOS 741070 HAS SOPS 741070 HAS SOUS 682978 HAS SOUPS 682978 WITH SCORE 683719.07
AT ITER 316 NEW BEST:: SOT 4441895 SOS 741039 HAS SOPS 741039 HAS SOUS 682916 HAS SOUPS 682916 WITH SCORE 683657.039
AT ITER 320 NEW BEST:: SOT 4441894 SOS 741037 HAS SOPS 741037 HAS SOUS 682914 HAS SOUPS 682914 WITH SCORE 683655.037
AT ITER 336 NEW BEST:: SOT 4441877 SOS 741003 HAS SOPS 741003 HAS SOUS 682880 HAS SOUPS 682880 WITH SCORE 683621.003
AT ITER 352 NEW BEST:: SOT 4441877 SOS 741003 HAS SOPS 741003 HAS SOUS 682733 HAS SOUPS 682733 WITH SCORE 683474.003
AT ITER 385 NEW BEST:: SOT 4441798 SOS 740924 HAS SOPS 740924 HAS SOUS 682575 HAS SOUPS 682575 WITH SCORE 683315.924
AT ITER 392 NEW BEST:: SOT 4441657 SOS 740642 HAS SOPS 740642 HAS SOUS 682293 HAS SOUPS 682293 WITH SCORE 683033.642
AT ITER 397 NEW BEST:: SOT 4441790 SOS 740642 HAS SOPS 740642 HAS SOUS 682292 HAS SOUPS 682292 WITH SCORE 683032.642
AT ITER 405 NEW BEST:: SOT 4441639 SOS 740025 HAS SOPS 740025 HAS SOUS 681719 HAS SOUPS 681719 WITH SCORE 682459.025
AT ITER 441 NEW BEST:: SOT 4441791 SOS 740329 HAS SOPS 740329 HAS SOUS 681695 HAS SOUPS 681695 WITH SCORE 682435.329
AT ITER 472 NEW BEST:: SOT 4441670 SOS 739660 HAS SOPS 739660 HAS SOUS 681147 HAS SOUPS 681147 WITH SCORE 681886.66
AT ITER 480 NEW BEST:: SOT 4441871 SOS 739313 HAS SOPS 739313 HAS SOUS 680886 HAS SOUPS 680886 WITH SCORE 681625.313
AT ITER 496 NEW BEST:: SOT 4441725 SOS 739405 HAS SOPS 739405 HAS SOUS 680885 HAS SOUPS 680885 WITH SCORE 681624.405
AT ITER 502 NEW BEST:: SOT 4441659 SOS 739273 HAS SOPS 739273 HAS SOUS 680753 HAS SOUPS 680753 WITH SCORE 681492.273
AT ITER 511 NEW BEST:: SOT 4441497 SOS 739354 HAS SOPS 739354 HAS SOUS 680677 HAS SOUPS 680677 WITH SCORE 681416.354
AT ITER 518 NEW BEST:: SOT 4441357 SOS 739214 HAS SOPS 739214 HAS SOUS 680537 HAS SOUPS 680537 WITH SCORE 681276.214
AT ITER 519 NEW BEST:: SOT 4441226 SOS 739086 HAS SOPS 739086 HAS SOUS 680406 HAS SOUPS 680406 WITH SCORE 681145.086
AT ITER 529 NEW BEST:: SOT 4440993 SOS 738620 HAS SOPS 738620 HAS SOUS 679940 HAS SOUPS 679940 WITH SCORE 680678.62
AT ITER 583 NEW BEST:: SOT 4440892 SOS 738418 HAS SOPS 738418 HAS SOUS 679738 HAS SOUPS 679738 WITH SCORE 680476.418
AT ITER 584 NEW BEST:: SOT 4440894 SOS 738233 HAS SOPS 738233 HAS SOUS 679646 HAS SOUPS 679646 WITH SCORE 680384.233
AT ITER 616 NEW BEST:: SOT 4440857 SOS 738122 HAS SOPS 738122 HAS SOUS 679572 HAS SOUPS 679572 WITH SCORE 680310.122
AT ITER 623 NEW BEST:: SOT 4440837 SOS 738082 HAS SOPS 738082 HAS SOUS 679331 HAS SOUPS 679331 WITH SCORE 680069.082
AT ITER 625 NEW BEST:: SOT 4440837 SOS 738035 HAS SOPS 738035 HAS SOUS 679331 HAS SOUPS 679331 WITH SCORE 680069.035
AT ITER 626 NEW BEST:: SOT 4440837 SOS 738035 HAS SOPS 738035 HAS SOUS 679282 HAS SOUPS 679282 WITH SCORE 680020.035
AT ITER 663 NEW BEST:: SOT 4440837 SOS 737561 HAS SOPS 737561 HAS SOUS 679045 HAS SOUPS 679045 WITH SCORE 679782.561
AT ITER 686 NEW BEST:: SOT 4438159 SOS 735047 HAS SOPS 735047 HAS SOUS 676590 HAS SOUPS 676590 WITH SCORE 677325.047
AT ITER 734 NEW BEST:: SOT 4438154 SOS 735049 HAS SOPS 735049 HAS SOUS 676585 HAS SOUPS 676585 WITH SCORE 677320.049
AT ITER 761 NEW BEST:: SOT 4438154 SOS 734812 HAS SOPS 734812 HAS SOUS 676585 HAS SOUPS 676585 WITH SCORE 677319.812
AT ITER 769 NEW BEST:: SOT 4438029 SOS 734562 HAS SOPS 734562 HAS SOUS 676147 HAS SOUPS 676147 WITH SCORE 676881.562
AT ITER 811 NEW BEST:: SOT 4437632 SOS 734298 HAS SOPS 734298 HAS SOUS 675794 HAS SOUPS 675794 WITH SCORE 676528.298
AT ITER 824 NEW BEST:: SOT 4437485 SOS 734004 HAS SOPS 734004 HAS SOUS 675500 HAS SOUPS 675500 WITH SCORE 676234.004
AT ITER 832 NEW BEST:: SOT 4437485 SOS 734004 HAS SOPS 734004 HAS SOUS 675453 HAS SOUPS 675453 WITH SCORE 676187.004
AT ITER 899 NEW BEST:: SOT 4437445 SOS 733972 HAS SOPS 733972 HAS SOUS 675413 HAS SOUPS 675413 WITH SCORE 676146.972
AT ITER 902 NEW BEST:: SOT 4437445 SOS 733861 HAS SOPS 733861 HAS SOUS 675413 HAS SOUPS 675413 WITH SCORE 676146.861
AT ITER 926 NEW BEST:: SOT 4437445 SOS 733692 HAS SOPS 733692 HAS SOUS 675244 HAS SOUPS 675244 WITH SCORE 675977.692
AT ITER 962 NEW BEST:: SOT 4437789 SOS 733491 HAS SOPS 733491 HAS SOUS 675157 HAS SOUPS 675157 WITH SCORE 675890.491
AT ITER 963 NEW BEST:: SOT 4437869 SOS 733087 HAS SOPS 733087 HAS SOUS 675009 HAS SOUPS 675009 WITH SCORE 675742.087
AT ITER 966 NEW BEST:: SOT 4437869 SOS 733048 HAS SOPS 733048 HAS SOUS 674970 HAS SOUPS 674970 WITH SCORE 675703.048
AT ITER 971 NEW BEST:: SOT 4434811 SOS 752624 HAS SOPS 752624 HAS SOUS 672995 HAS SOUPS 672995 WITH SCORE 673747.624
AT ITER 977 NEW BEST:: SOT 4434796 SOS 752594 HAS SOPS 752594 HAS SOUS 672965 HAS SOUPS 672965 WITH SCORE 673717.594
AT ITER 981 NEW BEST:: SOT 4434585 SOS 752495 HAS SOPS 752495 HAS SOUS 672754 HAS SOUPS 672754 WITH SCORE 673506.495
AT ITER 1006 NEW BEST:: SOT 4434446 SOS 752589 HAS SOPS 752589 HAS SOUS 672659 HAS SOUPS 672659 WITH SCORE 673411.589
AT ITER 1022 NEW BEST:: SOT 4434239 SOS 752175 HAS SOPS 752175 HAS SOUS 672245 HAS SOUPS 672245 WITH SCORE 672997.175
AT ITER 1025 NEW BEST:: SOT 4434155 SOS 751785 HAS SOPS 751785 HAS SOUS 671863 HAS SOUPS 671863 WITH SCORE 672614.785
AT ITER 1045 NEW BEST:: SOT 4434155 SOS 751773 HAS SOPS 751773 HAS SOUS 671863 HAS SOUPS 671863 WITH SCORE 672614.773
AT ITER 1087 NEW BEST:: SOT 4433796 SOS 752411 HAS SOPS 752411 HAS SOUS 671782 HAS SOUPS 671782 WITH SCORE 672534.411
AT ITER 1132 NEW BEST:: SOT 4433721 SOS 752336 HAS SOPS 752336 HAS SOUS 671781 HAS SOUPS 671781 WITH SCORE 672533.336
AT ITER 1140 NEW BEST:: SOT 4433502 SOS 751898 HAS SOPS 751898 HAS SOUS 671343 HAS SOUPS 671343 WITH SCORE 672094.898
AT ITER 1152 NEW BEST:: SOT 4433285 SOS 751464 HAS SOPS 751464 HAS SOUS 671214 HAS SOUPS 671214 WITH SCORE 671965.464
AT ITER 1169 NEW BEST:: SOT 4433204 SOS 751383 HAS SOPS 751383 HAS SOUS 671133 HAS SOUPS 671133 WITH SCORE 671884.383
AT ITER 1179 NEW BEST:: SOT 4433080 SOS 751135 HAS SOPS 751135 HAS SOUS 671009 HAS SOUPS 671009 WITH SCORE 671760.135
AT ITER 1182 NEW BEST:: SOT 4433066 SOS 751320 HAS SOPS 751320 HAS SOUS 670995 HAS SOUPS 670995 WITH SCORE 671746.32
AT ITER 1204 NEW BEST:: SOT 4432900 SOS 752724 HAS SOPS 752724 HAS SOUS 670875 HAS SOUPS 670875 WITH SCORE 671627.724
AT ITER 1206 NEW BEST:: SOT 4432899 SOS 752432 HAS SOPS 752432 HAS SOUS 670873 HAS SOUPS 670873 WITH SCORE 671625.432
AT ITER 1228 NEW BEST:: SOT 4432833 SOS 752344 HAS SOPS 752344 HAS SOUS 670785 HAS SOUPS 670785 WITH SCORE 671537.344
AT ITER 1233 NEW BEST:: SOT 4432782 SOS 752242 HAS SOPS 752242 HAS SOUS 670683 HAS SOUPS 670683 WITH SCORE 671435.242
AT ITER 1280 NEW BEST:: SOT 4432442 SOS 751562 HAS SOPS 751562 HAS SOUS 670003 HAS SOUPS 670003 WITH SCORE 670754.562
AT ITER 1306 NEW BEST:: SOT 4432441 SOS 751560 HAS SOPS 751560 HAS SOUS 670001 HAS SOUPS 670001 WITH SCORE 670752.56
AT ITER 1314 NEW BEST:: SOT 4432436 SOS 751574 HAS SOPS 751574 HAS SOUS 669998 HAS SOUPS 669998 WITH SCORE 670749.574
AT ITER 1315 NEW BEST:: SOT 4432217 SOS 751136 HAS SOPS 751136 HAS SOUS 669587 HAS SOUPS 669587 WITH SCORE 670338.136
AT ITER 1349 NEW BEST:: SOT 4432217 SOS 751136 HAS SOPS 751136 HAS SOUS 669586 HAS SOUPS 669586 WITH SCORE 670337.136
AT ITER 1365 NEW BEST:: SOT 4432322 SOS 751031 HAS SOPS 751031 HAS SOUS 669586 HAS SOUPS 669586 WITH SCORE 670337.031
AT ITER 1370 NEW BEST:: SOT 4427320 SOS 746151 HAS SOPS 746151 HAS SOUS 664706 HAS SOUPS 664706 WITH SCORE 665452.151
AT ITER 1381 NEW BEST:: SOT 4427287 SOS 745813 HAS SOPS 745813 HAS SOUS 664428 HAS SOUPS 664428 WITH SCORE 665173.813
AT ITER 1389 NEW BEST:: SOT 4427392 SOS 746023 HAS SOPS 746023 HAS SOUS 664412 HAS SOUPS 664412 WITH SCORE 665158.023
AT ITER 1414 NEW BEST:: SOT 4427391 SOS 745960 HAS SOPS 745960 HAS SOUS 664410 HAS SOUPS 664410 WITH SCORE 665155.96
AT ITER 1425 NEW BEST:: SOT 4426970 SOS 745538 HAS SOPS 745538 HAS SOUS 663988 HAS SOUPS 663988 WITH SCORE 664733.538
AT ITER 1447 NEW BEST:: SOT 4426866 SOS 745536 HAS SOPS 745536 HAS SOUS 663986 HAS SOUPS 663986 WITH SCORE 664731.536
AT ITER 1451 NEW BEST:: SOT 4426866 SOS 745365 HAS SOPS 745365 HAS SOUS 663815 HAS SOUPS 663815 WITH SCORE 664560.365
AT ITER 1455 NEW BEST:: SOT 4427009 SOS 745651 HAS SOPS 745651 HAS SOUS 663731 HAS SOUPS 663731 WITH SCORE 664476.651
AT ITER 1490 NEW BEST:: SOT 4427062 SOS 745562 HAS SOPS 745562 HAS SOUS 663719 HAS SOUPS 663719 WITH SCORE 664464.562
AT ITER 1519 NEW BEST:: SOT 4427062 SOS 745466 HAS SOPS 745466 HAS SOUS 663719 HAS SOUPS 663719 WITH SCORE 664464.466
AT ITER 1520 NEW BEST:: SOT 4427006 SOS 745354 HAS SOPS 745354 HAS SOUS 663607 HAS SOUPS 663607 WITH SCORE 664352.354
AT ITER 1521 NEW BEST:: SOT 4426610 SOS 745092 HAS SOPS 745092 HAS SOUS 663345 HAS SOUPS 663345 WITH SCORE 664090.092
AT ITER 1553 NEW BEST:: SOT 4426501 SOS 744983 HAS SOPS 744983 HAS SOUS 663236 HAS SOUPS 663236 WITH SCORE 663980.983
AT ITER 1563 NEW BEST:: SOT 4426644 SOS 745269 HAS SOPS 745269 HAS SOUS 663201 HAS SOUPS 663201 WITH SCORE 663946.269
AT ITER 1574 NEW BEST:: SOT 4426554 SOS 745089 HAS SOPS 745089 HAS SOUS 663021 HAS SOUPS 663021 WITH SCORE 663766.089
AT ITER 1579 NEW BEST:: SOT 4426496 SOS 744973 HAS SOPS 744973 HAS SOUS 662905 HAS SOUPS 662905 WITH SCORE 663649.973
AT ITER 1593 NEW BEST:: SOT 4426265 SOS 744859 HAS SOPS 744859 HAS SOUS 662718 HAS SOUPS 662718 WITH SCORE 663462.859
AT ITER 1603 NEW BEST:: SOT 4426192 SOS 744713 HAS SOPS 744713 HAS SOUS 662572 HAS SOUPS 662572 WITH SCORE 663316.713
AT ITER 1613 NEW BEST:: SOT 4426165 SOS 744713 HAS SOPS 744713 HAS SOUS 662545 HAS SOUPS 662545 WITH SCORE 663289.713
AT ITER 1661 NEW BEST:: SOT 4426041 SOS 744465 HAS SOPS 744465 HAS SOUS 662351 HAS SOUPS 662351 WITH SCORE 663095.465
AT ITER 1676 NEW BEST:: SOT 4426020 SOS 744204 HAS SOPS 744204 HAS SOUS 662163 HAS SOUPS 662163 WITH SCORE 662907.204
AT ITER 1677 NEW BEST:: SOT 4425749 SOS 743662 HAS SOPS 743662 HAS SOUS 661621 HAS SOUPS 661621 WITH SCORE 662364.662
AT ITER 1724 NEW BEST:: SOT 4424391 SOS 743875 HAS SOPS 743875 HAS SOUS 660816 HAS SOUPS 660816 WITH SCORE 661559.875
AT ITER 1730 NEW BEST:: SOT 4424391 SOS 743793 HAS SOPS 743793 HAS SOUS 660734 HAS SOUPS 660734 WITH SCORE 661477.793
AT ITER 1739 NEW BEST:: SOT 4424391 SOS 743793 HAS SOPS 743793 HAS SOUS 660658 HAS SOUPS 660658 WITH SCORE 661401.793
AT ITER 1744 NEW BEST:: SOT 4424065 SOS 743729 HAS SOPS 743729 HAS SOUS 660447 HAS SOUPS 660447 WITH SCORE 661190.729
AT ITER 1746 NEW BEST:: SOT 4424065 SOS 743618 HAS SOPS 743618 HAS SOUS 660446 HAS SOUPS 660446 WITH SCORE 661189.618
AT ITER 1767 NEW BEST:: SOT 4423946 SOS 743380 HAS SOPS 743380 HAS SOUS 660017 HAS SOUPS 660017 WITH SCORE 660760.38
AT ITER 1776 NEW BEST:: SOT 4423952 SOS 743392 HAS SOPS 743392 HAS SOUS 659804 HAS SOUPS 659804 WITH SCORE 660547.392
AT ITER 1780 NEW BEST:: SOT 4422584 SOS 761704 HAS SOPS 761704 HAS SOUS 659427 HAS SOUPS 659427 WITH SCORE 660188.704
AT ITER 1794 NEW BEST:: SOT 4422396 SOS 761774 HAS SOPS 761774 HAS SOUS 659391 HAS SOUPS 659391 WITH SCORE 660152.774
AT ITER 1797 NEW BEST:: SOT 4422067 SOS 761585 HAS SOPS 761585 HAS SOUS 659304 HAS SOUPS 659304 WITH SCORE 660065.585
AT ITER 1800 NEW BEST:: SOT 4421863 SOS 761381 HAS SOPS 761381 HAS SOUS 659299 HAS SOUPS 659299 WITH SCORE 660060.381
AT ITER 1803 NEW BEST:: SOT 4421863 SOS 761135 HAS SOPS 761135 HAS SOUS 659299 HAS SOUPS 659299 WITH SCORE 660060.135
AT ITER 1846 NEW BEST:: SOT 4421618 SOS 760890 HAS SOPS 760890 HAS SOUS 659153 HAS SOUPS 659153 WITH SCORE 659913.89
AT ITER 1850 NEW BEST:: SOT 4421618 SOS 760881 HAS SOPS 760881 HAS SOUS 659153 HAS SOUPS 659153 WITH SCORE 659913.881
AT ITER 1872 NEW BEST:: SOT 4421618 SOS 760733 HAS SOPS 760733 HAS SOUS 659153 HAS SOUPS 659153 WITH SCORE 659913.733
AT ITER 1886 NEW BEST:: SOT 4421606 SOS 760709 HAS SOPS 760709 HAS SOUS 659141 HAS SOUPS 659141 WITH SCORE 659901.709
AT ITER 1919 NEW BEST:: SOT 4421406 SOS 760879 HAS SOPS 760879 HAS SOUS 658962 HAS SOUPS 658962 WITH SCORE 659722.879
AT ITER 1927 NEW BEST:: SOT 4421369 SOS 761431 HAS SOPS 761431 HAS SOUS 658936 HAS SOUPS 658936 WITH SCORE 659697.431
AT ITER 1930 NEW BEST:: SOT 4421416 SOS 761525 HAS SOPS 761525 HAS SOUS 658854 HAS SOUPS 658854 WITH SCORE 659615.525
AT ITER 1934 NEW BEST:: SOT 4421322 SOS 761443 HAS SOPS 761443 HAS SOUS 658770 HAS SOUPS 658770 WITH SCORE 659531.443
AT ITER 1950 NEW BEST:: SOT 4421465 SOS 761163 HAS SOPS 761163 HAS SOUS 658508 HAS SOUPS 658508 WITH SCORE 659269.163
AT ITER 1962 NEW BEST:: SOT 4421395 SOS 761093 HAS SOPS 761093 HAS SOUS 658438 HAS SOUPS 658438 WITH SCORE 659199.093
AT ITER 1970 NEW BEST:: SOT 4421321 SOS 760945 HAS SOPS 760945 HAS SOUS 658290 HAS SOUPS 658290 WITH SCORE 659050.945
AT ITER 1981 NEW BEST:: SOT 4421279 SOS 760861 HAS SOPS 760861 HAS SOUS 658206 HAS SOUPS 658206 WITH SCORE 658966.861
AT ITER 1990 NEW BEST:: SOT 4421113 SOS 760173 HAS SOPS 760173 HAS SOUS 657873 HAS SOUPS 657873 WITH SCORE 658633.173
AT ITER 2018 NEW BEST:: SOT 4421046 SOS 760039 HAS SOPS 760039 HAS SOUS 657805 HAS SOUPS 657805 WITH SCORE 658565.039
AT ITER 2035 NEW BEST:: SOT 4421045 SOS 760037 HAS SOPS 760037 HAS SOUS 657803 HAS SOUPS 657803 WITH SCORE 658563.037
AT ITER 2038 NEW BEST:: SOT 4421045 SOS 759855 HAS SOPS 759855 HAS SOUS 657803 HAS SOUPS 657803 WITH SCORE 658562.855
AT ITER 2049 NEW BEST:: SOT 4420800 SOS 759680 HAS SOPS 759680 HAS SOUS 657593 HAS SOUPS 657593 WITH SCORE 658352.68
AT ITER 2053 NEW BEST:: SOT 4420687 SOS 759781 HAS SOPS 759781 HAS SOUS 657480 HAS SOUPS 657480 WITH SCORE 658239.781
AT ITER 2057 NEW BEST:: SOT 4418308 SOS 757402 HAS SOPS 757402 HAS SOUS 655456 HAS SOUPS 655456 WITH SCORE 656213.402
AT ITER 2130 NEW BEST:: SOT 4418266 SOS 757318 HAS SOPS 757318 HAS SOUS 655414 HAS SOUPS 655414 WITH SCORE 656171.318
AT ITER 2134 NEW BEST:: SOT 4417936 SOS 756823 HAS SOPS 756823 HAS SOUS 654919 HAS SOUPS 654919 WITH SCORE 655675.823
AT ITER 2136 NEW BEST:: SOT 4417923 SOS 756797 HAS SOPS 756797 HAS SOUS 654778 HAS SOUPS 654778 WITH SCORE 655534.797
AT ITER 2146 NEW BEST:: SOT 4417743 SOS 756437 HAS SOPS 756437 HAS SOUS 654418 HAS SOUPS 654418 WITH SCORE 655174.437
AT ITER 2162 NEW BEST:: SOT 4417671 SOS 756293 HAS SOPS 756293 HAS SOUS 654274 HAS SOUPS 654274 WITH SCORE 655030.293
AT ITER 2167 NEW BEST:: SOT 4417419 SOS 756119 HAS SOPS 756119 HAS SOUS 654076 HAS SOUPS 654076 WITH SCORE 654832.119
AT ITER 2211 NEW BEST:: SOT 4417418 SOS 756289 HAS SOPS 756289 HAS SOUS 654075 HAS SOUPS 654075 WITH SCORE 654831.289
AT ITER 2228 NEW BEST:: SOT 4417504 SOS 756149 HAS SOPS 756149 HAS SOUS 653935 HAS SOUPS 653935 WITH SCORE 654691.149
AT ITER 2246 NEW BEST:: SOT 4417241 SOS 755886 HAS SOPS 755886 HAS SOUS 653685 HAS SOUPS 653685 WITH SCORE 654440.886
AT ITER 2300 NEW BEST:: SOT 4416859 SOS 757696 HAS SOPS 757696 HAS SOUS 653618 HAS SOUPS 653618 WITH SCORE 654375.696
AT ITER 2307 NEW BEST:: SOT 4416858 SOS 757694 HAS SOPS 757694 HAS SOUS 653616 HAS SOUPS 653616 WITH SCORE 654373.694
AT ITER 2333 NEW BEST:: SOT 4416811 SOS 757166 HAS SOPS 757166 HAS SOUS 653543 HAS SOUPS 653543 WITH SCORE 654300.166
AT ITER 2347 NEW BEST:: SOT 4416846 SOS 757040 HAS SOPS 757040 HAS SOUS 653512 HAS SOUPS 653512 WITH SCORE 654269.04
AT ITER 2350 NEW BEST:: SOT 4416846 SOS 756796 HAS SOPS 756796 HAS SOUS 653390 HAS SOUPS 653390 WITH SCORE 654146.796
AT ITER 2404 NEW BEST:: SOT 4416796 SOS 756696 HAS SOPS 756696 HAS SOUS 653338 HAS SOUPS 653338 WITH SCORE 654094.696
AT ITER 2449 NEW BEST:: SOT 4416615 SOS 756334 HAS SOPS 756334 HAS SOUS 652976 HAS SOUPS 652976 WITH SCORE 653732.334
AT ITER 2456 NEW BEST:: SOT 4416364 SOS 755998 HAS SOPS 755998 HAS SOUS 652637 HAS SOUPS 652637 WITH SCORE 653392.998
AT ITER 2476 NEW BEST:: SOT 4416414 SOS 755877 HAS SOPS 755877 HAS SOUS 652514 HAS SOUPS 652514 WITH SCORE 653269.877
AT ITER 2545 NEW BEST:: SOT 4416414 SOS 755579 HAS SOPS 755579 HAS SOUS 652514 HAS SOUPS 652514 WITH SCORE 653269.579
AT ITER 2562 NEW BEST:: SOT 4416181 SOS 755372 HAS SOPS 755372 HAS SOUS 652291 HAS SOUPS 652291 WITH SCORE 653046.372
AT ITER 2568 NEW BEST:: SOT 4416190 SOS 755390 HAS SOPS 755390 HAS SOUS 652044 HAS SOUPS 652044 WITH SCORE 652799.39
AT ITER 2569 NEW BEST:: SOT 4416144 SOS 755233 HAS SOPS 755233 HAS SOUS 651997 HAS SOUPS 651997 WITH SCORE 652752.233
AT ITER 2573 NEW BEST:: SOT 4415928 SOS 755057 HAS SOPS 755057 HAS SOUS 651781 HAS SOUPS 651781 WITH SCORE 652536.057
AT ITER 2588 NEW BEST:: SOT 4415940 SOS 755368 HAS SOPS 755368 HAS SOUS 651546 HAS SOUPS 651546 WITH SCORE 652301.368
AT ITER 2601 NEW BEST:: SOT 4415856 SOS 755200 HAS SOPS 755200 HAS SOUS 651378 HAS SOUPS 651378 WITH SCORE 652133.2
AT ITER 2607 NEW BEST:: SOT 4415613 SOS 754884 HAS SOPS 754884 HAS SOUS 651135 HAS SOUPS 651135 WITH SCORE 651889.884
AT ITER 2639 NEW BEST:: SOT 4415523 SOS 754794 HAS SOPS 754794 HAS SOUS 651045 HAS SOUPS 651045 WITH SCORE 651799.794
AT ITER 2643 NEW BEST:: SOT 4414822 SOS 755067 HAS SOPS 755067 HAS SOUS 650679 HAS SOUPS 650679 WITH SCORE 651434.067
AT ITER 2666 NEW BEST:: SOT 4414803 SOS 755029 HAS SOPS 755029 HAS SOUS 650641 HAS SOUPS 650641 WITH SCORE 651396.029
AT ITER 2669 NEW BEST:: SOT 4414619 SOS 754661 HAS SOPS 754661 HAS SOUS 650273 HAS SOUPS 650273 WITH SCORE 651027.661
AT ITER 2675 NEW BEST:: SOT 4414608 SOS 754639 HAS SOPS 754639 HAS SOUS 650251 HAS SOUPS 650251 WITH SCORE 651005.639
AT ITER 2686 NEW BEST:: SOT 4414406 SOS 754235 HAS SOPS 754235 HAS SOUS 649847 HAS SOUPS 649847 WITH SCORE 650601.235
AT ITER 2699 NEW BEST:: SOT 4414360 SOS 754143 HAS SOPS 754143 HAS SOUS 649755 HAS SOUPS 649755 WITH SCORE 650509.143
AT ITER 2739 NEW BEST:: SOT 4414359 SOS 754141 HAS SOPS 754141 HAS SOUS 649753 HAS SOUPS 649753 WITH SCORE 650507.141
AT ITER 2741 NEW BEST:: SOT 4414317 SOS 754093 HAS SOPS 754093 HAS SOUS 649711 HAS SOUPS 649711 WITH SCORE 650465.093
AT ITER 2772 NEW BEST:: SOT 4414199 SOS 754093 HAS SOPS 754093 HAS SOUS 649593 HAS SOUPS 649593 WITH SCORE 650347.093
AT ITER 2801 NEW BEST:: SOT 4414035 SOS 753929 HAS SOPS 753929 HAS SOUS 649264 HAS SOUPS 649264 WITH SCORE 650017.929
AT ITER 2807 NEW BEST:: SOT 4414034 SOS 753927 HAS SOPS 753927 HAS SOUS 649262 HAS SOUPS 649262 WITH SCORE 650015.927
AT ITER 2815 NEW BEST:: SOT 4414155 SOS 748966 HAS SOPS 748966 HAS SOUS 649262 HAS SOUPS 649262 WITH SCORE 650010.966
AT ITER 2823 NEW BEST:: SOT 4414059 SOS 748822 HAS SOPS 748822 HAS SOUS 649118 HAS SOUPS 649118 WITH SCORE 649866.822
AT ITER 2902 NEW BEST:: SOT 4413928 SOS 748560 HAS SOPS 748560 HAS SOUS 648856 HAS SOUPS 648856 WITH SCORE 649604.56
AT ITER 2910 NEW BEST:: SOT 4413928 SOS 748552 HAS SOPS 748552 HAS SOUS 648856 HAS SOUPS 648856 WITH SCORE 649604.552
AT ITER 2919 NEW BEST:: SOT 4414233 SOS 749162 HAS SOPS 749162 HAS SOUS 648703 HAS SOUPS 648703 WITH SCORE 649452.162
AT ITER 2922 NEW BEST:: SOT 4414148 SOS 749120 HAS SOPS 749120 HAS SOUS 648640 HAS SOUPS 648640 WITH SCORE 649389.12
AT ITER 2923 NEW BEST:: SOT 4414148 SOS 749120 HAS SOPS 749120 HAS SOUS 648639 HAS SOUPS 648639 WITH SCORE 649388.12
AT ITER 2933 NEW BEST:: SOT 4414145 SOS 749114 HAS SOPS 749114 HAS SOUS 648633 HAS SOUPS 648633 WITH SCORE 649382.114
AT ITER 2935 NEW BEST:: SOT 4414121 SOS 749066 HAS SOPS 749066 HAS SOUS 648609 HAS SOUPS 648609 WITH SCORE 649358.066
AT ITER 2944 NEW BEST:: SOT 4414006 SOS 748950 HAS SOPS 748950 HAS SOUS 648493 HAS SOUPS 648493 WITH SCORE 649241.95
AT ITER 2952 NEW BEST:: SOT 4413879 SOS 748950 HAS SOPS 748950 HAS SOUS 648485 HAS SOUPS 648485 WITH SCORE 649233.95
AT ITER 2962 NEW BEST:: SOT 4413735 SOS 748662 HAS SOPS 748662 HAS SOUS 648293 HAS SOUPS 648293 WITH SCORE 649041.662
AT ITER 3011 NEW BEST:: SOT 4413606 SOS 748404 HAS SOPS 748404 HAS SOUS 648035 HAS SOUPS 648035 WITH SCORE 648783.404
AT ITER 3046 NEW BEST:: SOT 4413567 SOS 748326 HAS SOPS 748326 HAS SOUS 647957 HAS SOUPS 647957 WITH SCORE 648705.326
AT ITER 3071 NEW BEST:: SOT 4413361 SOS 747914 HAS SOPS 747914 HAS SOUS 647545 HAS SOUPS 647545 WITH SCORE 648292.914
AT ITER 3073 NEW BEST:: SOT 4413466 SOS 747946 HAS SOPS 747946 HAS SOUS 647519 HAS SOUPS 647519 WITH SCORE 648266.946
AT ITER 3151 NEW BEST:: SOT 4413381 SOS 747776 HAS SOPS 747776 HAS SOUS 647349 HAS SOUPS 647349 WITH SCORE 648096.776
AT ITER 3210 NEW BEST:: SOT 4413215 SOS 747610 HAS SOPS 747610 HAS SOUS 647183 HAS SOUPS 647183 WITH SCORE 647930.61
AT ITER 3263 NEW BEST:: SOT 4413171 SOS 747522 HAS SOPS 747522 HAS SOUS 647139 HAS SOUPS 647139 WITH SCORE 647886.522
AT ITER 3291 NEW BEST:: SOT 4412989 SOS 747314 HAS SOPS 747314 HAS SOUS 646876 HAS SOUPS 646876 WITH SCORE 647623.314
AT ITER 3312 NEW BEST:: SOT 4412932 SOS 747200 HAS SOPS 747200 HAS SOUS 646762 HAS SOUPS 646762 WITH SCORE 647509.2
AT ITER 3357 NEW BEST:: SOT 4412641 SOS 748074 HAS SOPS 748074 HAS SOUS 646698 HAS SOUPS 646698 WITH SCORE 647446.074
AT ITER 3379 NEW BEST:: SOT 4412653 SOS 748098 HAS SOPS 748098 HAS SOUS 646639 HAS SOUPS 646639 WITH SCORE 647387.098
AT ITER 3410 NEW BEST:: SOT 4412583 SOS 748028 HAS SOPS 748028 HAS SOUS 646569 HAS SOUPS 646569 WITH SCORE 647317.028
AT ITER 3421 NEW BEST:: SOT 4412507 SOS 747876 HAS SOPS 747876 HAS SOUS 646463 HAS SOUPS 646463 WITH SCORE 647210.876
AT ITER 3449 NEW BEST:: SOT 4412507 SOS 747782 HAS SOPS 747782 HAS SOUS 646463 HAS SOUPS 646463 WITH SCORE 647210.782
AT ITER 3453 NEW BEST:: SOT 4412314 SOS 747396 HAS SOPS 747396 HAS SOUS 646270 HAS SOUPS 646270 WITH SCORE 647017.396
AT ITER 3476 NEW BEST:: SOT 4412047 SOS 747380 HAS SOPS 747380 HAS SOUS 646003 HAS SOUPS 646003 WITH SCORE 646750.38
AT ITER 3503 NEW BEST:: SOT 4412005 SOS 747317 HAS SOPS 747317 HAS SOUS 645940 HAS SOUPS 645940 WITH SCORE 646687.317
AT ITER 3542 NEW BEST:: SOT 4411952 SOS 747211 HAS SOPS 747211 HAS SOUS 645834 HAS SOUPS 645834 WITH SCORE 646581.211
AT ITER 3544 NEW BEST:: SOT 4411952 SOS 747211 HAS SOPS 747211 HAS SOUS 645751 HAS SOUPS 645751 WITH SCORE 646498.211
AT ITER 3545 NEW BEST:: SOT 4411952 SOS 747211 HAS SOPS 747211 HAS SOUS 645695 HAS SOUPS 645695 WITH SCORE 646442.211
AT ITER 3549 NEW BEST:: SOT 4411911 SOS 747129 HAS SOPS 747129 HAS SOUS 645613 HAS SOUPS 645613 WITH SCORE 646360.129
AT ITER 3550 NEW BEST:: SOT 4411892 SOS 747110 HAS SOPS 747110 HAS SOUS 645594 HAS SOUPS 645594 WITH SCORE 646341.11
AT ITER 3576 NEW BEST:: SOT 4411811 SOS 747033 HAS SOPS 747033 HAS SOUS 645522 HAS SOUPS 645522 WITH SCORE 646269.033
AT ITER 3581 NEW BEST:: SOT 4411811 SOS 747033 HAS SOPS 747033 HAS SOUS 645490 HAS SOUPS 645490 WITH SCORE 646237.033
AT ITER 3587 NEW BEST:: SOT 4411878 SOS 746947 HAS SOPS 746947 HAS SOUS 645389 HAS SOUPS 645389 WITH SCORE 646135.947
AT ITER 3591 NEW BEST:: SOT 4411747 SOS 746994 HAS SOPS 746994 HAS SOUS 645193 HAS SOUPS 645193 WITH SCORE 645939.994
AT ITER 3599 NEW BEST:: SOT 4411746 SOS 746994 HAS SOPS 746994 HAS SOUS 645192 HAS SOUPS 645192 WITH SCORE 645938.994
AT ITER 3608 NEW BEST:: SOT 4411698 SOS 746898 HAS SOPS 746898 HAS SOUS 645096 HAS SOUPS 645096 WITH SCORE 645842.898
AT ITER 3628 NEW BEST:: SOT 4411698 SOS 746613 HAS SOPS 746613 HAS SOUS 645096 HAS SOUPS 645096 WITH SCORE 645842.613
AT ITER 3644 NEW BEST:: SOT 4411698 SOS 746613 HAS SOPS 746613 HAS SOUS 645077 HAS SOUPS 645077 WITH SCORE 645823.613
AT ITER 3646 NEW BEST:: SOT 4411534 SOS 746121 HAS SOPS 746121 HAS SOUS 644749 HAS SOUPS 644749 WITH SCORE 645495.121
AT ITER 3667 NEW BEST:: SOT 4411572 SOS 745938 HAS SOPS 745938 HAS SOUS 644664 HAS SOUPS 644664 WITH SCORE 645409.938
AT ITER 3669 NEW BEST:: SOT 4411462 SOS 745828 HAS SOPS 745828 HAS SOUS 644554 HAS SOUPS 644554 WITH SCORE 645299.828
AT ITER 3678 NEW BEST:: SOT 4411385 SOS 745751 HAS SOPS 745751 HAS SOUS 644477 HAS SOUPS 644477 WITH SCORE 645222.751
AT ITER 3701 NEW BEST:: SOT 4411282 SOS 745717 HAS SOPS 745717 HAS SOUS 644374 HAS SOUPS 644374 WITH SCORE 645119.717
AT ITER 3708 NEW BEST:: SOT 4411322 SOS 745797 HAS SOPS 745797 HAS SOUS 644364 HAS SOUPS 644364 WITH SCORE 645109.797
AT ITER 3726 NEW BEST:: SOT 4411138 SOS 745805 HAS SOPS 745805 HAS SOUS 644304 HAS SOUPS 644304 WITH SCORE 645049.805
AT ITER 3735 NEW BEST:: SOT 4410895 SOS 745319 HAS SOPS 745319 HAS SOUS 643818 HAS SOUPS 643818 WITH SCORE 644563.319
AT ITER 3745 NEW BEST:: SOT 4410894 SOS 745318 HAS SOPS 745318 HAS SOUS 643816 HAS SOUPS 643816 WITH SCORE 644561.318
AT ITER 3755 NEW BEST:: SOT 4410384 SOS 744673 HAS SOPS 744673 HAS SOUS 643121 HAS SOUPS 643121 WITH SCORE 643865.673
AT ITER 3767 NEW BEST:: SOT 4410362 SOS 744629 HAS SOPS 744629 HAS SOUS 643077 HAS SOUPS 643077 WITH SCORE 643821.629
AT ITER 3796 NEW BEST:: SOT 4410362 SOS 744629 HAS SOPS 744629 HAS SOUS 642944 HAS SOUPS 642944 WITH SCORE 643688.629
AT ITER 3823 NEW BEST:: SOT 4410362 SOS 744519 HAS SOPS 744519 HAS SOUS 642944 HAS SOUPS 642944 WITH SCORE 643688.519
AT ITER 3827 NEW BEST:: SOT 4409942 SOS 743679 HAS SOPS 743679 HAS SOUS 642467 HAS SOUPS 642467 WITH SCORE 643210.679
AT ITER 3828 NEW BEST:: SOT 4409941 SOS 743671 HAS SOPS 743671 HAS SOUS 642465 HAS SOUPS 642465 WITH SCORE 643208.671
AT ITER 3833 NEW BEST:: SOT 4409841 SOS 743471 HAS SOPS 743471 HAS SOUS 642265 HAS SOUPS 642265 WITH SCORE 643008.471
AT ITER 3879 NEW BEST:: SOT 4408829 SOS 742975 HAS SOPS 742975 HAS SOUS 641363 HAS SOUPS 641363 WITH SCORE 642105.975
AT ITER 3897 NEW BEST:: SOT 4408761 SOS 742839 HAS SOPS 742839 HAS SOUS 641227 HAS SOUPS 641227 WITH SCORE 641969.839
AT ITER 3930 NEW BEST:: SOT 4408691 SOS 742699 HAS SOPS 742699 HAS SOUS 641087 HAS SOUPS 641087 WITH SCORE 641829.699
AT ITER 3934 NEW BEST:: SOT 4408425 SOS 742863 HAS SOPS 742863 HAS SOUS 640800 HAS SOUPS 640800 WITH SCORE 641542.863
AT ITER 3970 NEW BEST:: SOT 4408241 SOS 742495 HAS SOPS 742495 HAS SOUS 640432 HAS SOUPS 640432 WITH SCORE 641174.495
AT ITER 4011 NEW BEST:: SOT 4408241 SOS 742293 HAS SOPS 742293 HAS SOUS 640432 HAS SOUPS 640432 WITH SCORE 641174.293
AT ITER 4039 NEW BEST:: SOT 4408241 SOS 742272 HAS SOPS 742272 HAS SOUS 640432 HAS SOUPS 640432 WITH SCORE 641174.272
AT ITER 4044 NEW BEST:: SOT 4408172 SOS 742134 HAS SOPS 742134 HAS SOUS 640363 HAS SOUPS 640363 WITH SCORE 641105.134
AT ITER 4064 NEW BEST:: SOT 4408301 SOS 741947 HAS SOPS 741947 HAS SOUS 640181 HAS SOUPS 640181 WITH SCORE 640922.947
AT ITER 4071 NEW BEST:: SOT 4408264 SOS 742013 HAS SOPS 742013 HAS SOUS 640004 HAS SOUPS 640004 WITH SCORE 640746.013
AT ITER 4086 NEW BEST:: SOT 4408198 SOS 741947 HAS SOPS 741947 HAS SOUS 639938 HAS SOUPS 639938 WITH SCORE 640679.947
AT ITER 4099 NEW BEST:: SOT 4407950 SOS 741713 HAS SOPS 741713 HAS SOUS 639568 HAS SOUPS 639568 WITH SCORE 640309.713
AT ITER 4101 NEW BEST:: SOT 4408002 SOS 740979 HAS SOPS 740979 HAS SOUS 639253 HAS SOUPS 639253 WITH SCORE 639993.979
AT ITER 4108 NEW BEST:: SOT 4407987 SOS 741183 HAS SOPS 741183 HAS SOUS 639238 HAS SOUPS 639238 WITH SCORE 639979.183
AT ITER 4116 NEW BEST:: SOT 4407570 SOS 740905 HAS SOPS 740905 HAS SOUS 638838 HAS SOUPS 638838 WITH SCORE 639578.905
AT ITER 4124 NEW BEST:: SOT 4407529 SOS 740823 HAS SOPS 740823 HAS SOUS 638756 HAS SOUPS 638756 WITH SCORE 639496.823
AT ITER 4129 NEW BEST:: SOT 4407493 SOS 740787 HAS SOPS 740787 HAS SOUS 638720 HAS SOUPS 638720 WITH SCORE 639460.787
AT ITER 4150 NEW BEST:: SOT 4407493 SOS 740733 HAS SOPS 740733 HAS SOUS 638720 HAS SOUPS 638720 WITH SCORE 639460.733
AT ITER 4178 NEW BEST:: SOT 4407330 SOS 740407 HAS SOPS 740407 HAS SOUS 638394 HAS SOUPS 638394 WITH SCORE 639134.407
AT ITER 4184 NEW BEST:: SOT 4407280 SOS 740307 HAS SOPS 740307 HAS SOUS 638294 HAS SOUPS 638294 WITH SCORE 639034.307
AT ITER 4194 NEW BEST:: SOT 4407267 SOS 740281 HAS SOPS 740281 HAS SOUS 638268 HAS SOUPS 638268 WITH SCORE 639008.281
AT ITER 4196 NEW BEST:: SOT 4407123 SOS 739993 HAS SOPS 739993 HAS SOUS 638124 HAS SOUPS 638124 WITH SCORE 638863.993
AT ITER 4200 NEW BEST:: SOT 4407122 SOS 739991 HAS SOPS 739991 HAS SOUS 638122 HAS SOUPS 638122 WITH SCORE 638861.991
AT ITER 4215 NEW BEST:: SOT 4406462 SOS 739474 HAS SOPS 739474 HAS SOUS 637430 HAS SOUPS 637430 WITH SCORE 638169.474
AT ITER 4227 NEW BEST:: SOT 4406534 SOS 739087 HAS SOPS 739087 HAS SOUS 637174 HAS SOUPS 637174 WITH SCORE 637913.087
AT ITER 4250 NEW BEST:: SOT 4406534 SOS 738915 HAS SOPS 738915 HAS SOUS 637174 HAS SOUPS 637174 WITH SCORE 637912.915
AT ITER 4257 NEW BEST:: SOT 4406490 SOS 738923 HAS SOPS 738923 HAS SOUS 637163 HAS SOUPS 637163 WITH SCORE 637901.923
AT ITER 4292 NEW BEST:: SOT 4406650 SOS 738814 HAS SOPS 738814 HAS SOUS 636935 HAS SOUPS 636935 WITH SCORE 637673.814
AT ITER 4343 NEW BEST:: SOT 4406649 SOS 738723 HAS SOPS 738723 HAS SOUS 636933 HAS SOUPS 636933 WITH SCORE 637671.723
AT ITER 4375 NEW BEST:: SOT 4406630 SOS 738685 HAS SOPS 738685 HAS SOUS 636914 HAS SOUPS 636914 WITH SCORE 637652.685
AT ITER 4426 NEW BEST:: SOT 4406476 SOS 738377 HAS SOPS 738377 HAS SOUS 636760 HAS SOUPS 636760 WITH SCORE 637498.377
AT ITER 4429 NEW BEST:: SOT 4406436 SOS 738297 HAS SOPS 738297 HAS SOUS 636680 HAS SOUPS 636680 WITH SCORE 637418.297
AT ITER 4430 NEW BEST:: SOT 4406401 SOS 737907 HAS SOPS 737907 HAS SOUS 636610 HAS SOUPS 636610 WITH SCORE 637347.907
AT ITER 4442 NEW BEST:: SOT 4406401 SOS 737605 HAS SOPS 737605 HAS SOUS 636596 HAS SOUPS 636596 WITH SCORE 637333.605
AT ITER 4461 NEW BEST:: SOT 4406019 SOS 737175 HAS SOPS 737175 HAS SOUS 636158 HAS SOUPS 636158 WITH SCORE 636895.175
AT ITER 4471 NEW BEST:: SOT 4405755 SOS 737946 HAS SOPS 737946 HAS SOUS 636079 HAS SOUPS 636079 WITH SCORE 636816.946
AT ITER 4491 NEW BEST:: SOT 4405693 SOS 737958 HAS SOPS 737958 HAS SOUS 636017 HAS SOUPS 636017 WITH SCORE 636754.958
AT ITER 4512 NEW BEST:: SOT 4405693 SOS 737762 HAS SOPS 737762 HAS SOUS 636017 HAS SOUPS 636017 WITH SCORE 636754.762
AT ITER 4534 NEW BEST:: SOT 4405693 SOS 737762 HAS SOPS 737762 HAS SOUS 635872 HAS SOUPS 635872 WITH SCORE 636609.762
AT ITER 4582 NEW BEST:: SOT 4405411 SOS 737480 HAS SOPS 737480 HAS SOUS 635590 HAS SOUPS 635590 WITH SCORE 636327.48
AT ITER 4606 NEW BEST:: SOT 4405370 SOS 737398 HAS SOPS 737398 HAS SOUS 635508 HAS SOUPS 635508 WITH SCORE 636245.398
AT ITER 4614 NEW BEST:: SOT 4405370 SOS 737398 HAS SOPS 737398 HAS SOUS 635503 HAS SOUPS 635503 WITH SCORE 636240.398
AT ITER 4633 NEW BEST:: SOT 4405072 SOS 737100 HAS SOPS 737100 HAS SOUS 635205 HAS SOUPS 635205 WITH SCORE 635942.1
AT ITER 4634 NEW BEST:: SOT 4404952 SOS 736860 HAS SOPS 736860 HAS SOUS 634965 HAS SOUPS 634965 WITH SCORE 635701.86
AT ITER 4666 NEW BEST:: SOT 4404951 SOS 736859 HAS SOPS 736859 HAS SOUS 634911 HAS SOUPS 634911 WITH SCORE 635647.859
AT ITER 4674 NEW BEST:: SOT 4404868 SOS 736926 HAS SOPS 736926 HAS SOUS 634627 HAS SOUPS 634627 WITH SCORE 635363.926
AT ITER 4691 NEW BEST:: SOT 4404766 SOS 736875 HAS SOPS 736875 HAS SOUS 634576 HAS SOUPS 634576 WITH SCORE 635312.875
AT ITER 4729 NEW BEST:: SOT 4404427 SOS 736439 HAS SOPS 736439 HAS SOUS 634126 HAS SOUPS 634126 WITH SCORE 634862.439
AT ITER 4745 NEW BEST:: SOT 4404370 SOS 736325 HAS SOPS 736325 HAS SOUS 634069 HAS SOUPS 634069 WITH SCORE 634805.325
AT ITER 4748 NEW BEST:: SOT 4404370 SOS 736298 HAS SOPS 736298 HAS SOUS 634042 HAS SOUPS 634042 WITH SCORE 634778.298
AT ITER 4762 NEW BEST:: SOT 4404325 SOS 736268 HAS SOPS 736268 HAS SOUS 633997 HAS SOUPS 633997 WITH SCORE 634733.268
AT ITER 4768 NEW BEST:: SOT 4404266 SOS 736150 HAS SOPS 736150 HAS SOUS 633938 HAS SOUPS 633938 WITH SCORE 634674.15
AT ITER 4783 NEW BEST:: SOT 4404265 SOS 736123 HAS SOPS 736123 HAS SOUS 633936 HAS SOUPS 633936 WITH SCORE 634672.123
AT ITER 4793 NEW BEST:: SOT 4404208 SOS 736009 HAS SOPS 736009 HAS SOUS 633850 HAS SOUPS 633850 WITH SCORE 634586.009
AT ITER 4870 NEW BEST:: SOT 4404166 SOS 735967 HAS SOPS 735967 HAS SOUS 633808 HAS SOUPS 633808 WITH SCORE 634543.967
AT ITER 4903 NEW BEST:: SOT 4404084 SOS 735803 HAS SOPS 735803 HAS SOUS 633644 HAS SOUPS 633644 WITH SCORE 634379.803
AT ITER 4970 NEW BEST:: SOT 4404070 SOS 735796 HAS SOPS 735796 HAS SOUS 633637 HAS SOUPS 633637 WITH SCORE 634372.796
AT ITER 5031 NEW BEST:: SOT 4403968 SOS 735694 HAS SOPS 735694 HAS SOUS 633535 HAS SOUPS 633535 WITH SCORE 634270.694
AT ITER 5069 NEW BEST:: SOT 4403950 SOS 735658 HAS SOPS 735658 HAS SOUS 633499 HAS SOUPS 633499 WITH SCORE 634234.658
AT ITER 5119 NEW BEST:: SOT 4403992 SOS 735460 HAS SOPS 735460 HAS SOUS 633308 HAS SOUPS 633308 WITH SCORE 634043.46
AT ITER 5126 NEW BEST:: SOT 4404065 SOS 735606 HAS SOPS 735606 HAS SOUS 633186 HAS SOUPS 633186 WITH SCORE 633921.606
AT ITER 5170 NEW BEST:: SOT 4404065 SOS 735556 HAS SOPS 735556 HAS SOUS 633136 HAS SOUPS 633136 WITH SCORE 633871.556
AT ITER 5211 NEW BEST:: SOT 4404033 SOS 735427 HAS SOPS 735427 HAS SOUS 633072 HAS SOUPS 633072 WITH SCORE 633807.427
AT ITER 5254 NEW BEST:: SOT 4403980 SOS 735321 HAS SOPS 735321 HAS SOUS 632966 HAS SOUPS 632966 WITH SCORE 633701.321
AT ITER 5270 NEW BEST:: SOT 4403977 SOS 735315 HAS SOPS 735315 HAS SOUS 632963 HAS SOUPS 632963 WITH SCORE 633698.315
AT ITER 5271 NEW BEST:: SOT 4403929 SOS 735219 HAS SOPS 735219 HAS SOUS 632867 HAS SOUPS 632867 WITH SCORE 633602.219
AT ITER 5290 NEW BEST:: SOT 4403827 SOS 735117 HAS SOPS 735117 HAS SOUS 632765 HAS SOUPS 632765 WITH SCORE 633500.117
AT ITER 5296 NEW BEST:: SOT 4403827 SOS 734998 HAS SOPS 734998 HAS SOUS 632765 HAS SOUPS 632765 WITH SCORE 633499.998
AT ITER 5320 NEW BEST:: SOT 4403750 SOS 735040 HAS SOPS 735040 HAS SOUS 632611 HAS SOUPS 632611 WITH SCORE 633346.04
AT ITER 5337 NEW BEST:: SOT 4403750 SOS 735020 HAS SOPS 735020 HAS SOUS 632591 HAS SOUPS 632591 WITH SCORE 633326.02
AT ITER 5362 NEW BEST:: SOT 4403678 SOS 734948 HAS SOPS 734948 HAS SOUS 632519 HAS SOUPS 632519 WITH SCORE 633253.948
AT ITER 5367 NEW BEST:: SOT 4403767 SOS 735126 HAS SOPS 735126 HAS SOUS 632397 HAS SOUPS 632397 WITH SCORE 633132.126
AT ITER 5371 NEW BEST:: SOT 4403320 SOS 735948 HAS SOPS 735948 HAS SOUS 632315 HAS SOUPS 632315 WITH SCORE 633050.948
AT ITER 5384 NEW BEST:: SOT 4403320 SOS 735871 HAS SOPS 735871 HAS SOUS 632238 HAS SOUPS 632238 WITH SCORE 632973.871
AT ITER 5408 NEW BEST:: SOT 4403249 SOS 735800 HAS SOPS 735800 HAS SOUS 632238 HAS SOUPS 632238 WITH SCORE 632973.8
AT ITER 5426 NEW BEST:: SOT 4403150 SOS 735734 HAS SOPS 735734 HAS SOUS 632139 HAS SOUPS 632139 WITH SCORE 632874.734
AT ITER 5445 NEW BEST:: SOT 4402952 SOS 735602 HAS SOPS 735602 HAS SOUS 631941 HAS SOUPS 631941 WITH SCORE 632676.602
AT ITER 5483 NEW BEST:: SOT 4402951 SOS 735600 HAS SOPS 735600 HAS SOUS 631939 HAS SOUPS 631939 WITH SCORE 632674.6
AT ITER 5491 NEW BEST:: SOT 4402950 SOS 735598 HAS SOPS 735598 HAS SOUS 631937 HAS SOUPS 631937 WITH SCORE 632672.598
AT ITER 5501 NEW BEST:: SOT 4402850 SOS 734915 HAS SOPS 734915 HAS SOUS 631755 HAS SOUPS 631755 WITH SCORE 632489.915
AT ITER 5509 NEW BEST:: SOT 4402922 SOS 734683 HAS SOPS 734683 HAS SOUS 631711 HAS SOUPS 631711 WITH SCORE 632445.683
AT ITER 5526 NEW BEST:: SOT 4402872 SOS 734583 HAS SOPS 734583 HAS SOUS 631605 HAS SOUPS 631605 WITH SCORE 632339.583
AT ITER 5549 NEW BEST:: SOT 4402800 SOS 734439 HAS SOPS 734439 HAS SOUS 631525 HAS SOUPS 631525 WITH SCORE 632259.439
AT ITER 5570 NEW BEST:: SOT 4402893 SOS 734625 HAS SOPS 734625 HAS SOUS 631441 HAS SOUPS 631441 WITH SCORE 632175.625
AT ITER 5576 NEW BEST:: SOT 4402631 SOS 734101 HAS SOPS 734101 HAS SOUS 630715 HAS SOUPS 630715 WITH SCORE 631449.101
AT ITER 5589 NEW BEST:: SOT 4402334 SOS 734392 HAS SOPS 734392 HAS SOUS 630451 HAS SOUPS 630451 WITH SCORE 631185.392
AT ITER 5601 NEW BEST:: SOT 4402334 SOS 734392 HAS SOPS 734392 HAS SOUS 630307 HAS SOUPS 630307 WITH SCORE 631041.392
AT ITER 5638 NEW BEST:: SOT 4402130 SOS 734188 HAS SOPS 734188 HAS SOUS 630103 HAS SOUPS 630103 WITH SCORE 630837.188
AT ITER 5657 NEW BEST:: SOT 4401937 SOS 734024 HAS SOPS 734024 HAS SOUS 629939 HAS SOUPS 629939 WITH SCORE 630673.024
AT ITER 5663 NEW BEST:: SOT 4401936 SOS 734013 HAS SOPS 734013 HAS SOUS 629937 HAS SOUPS 629937 WITH SCORE 630671.013
AT ITER 5701 NEW BEST:: SOT 4401687 SOS 733688 HAS SOPS 733688 HAS SOUS 629612 HAS SOUPS 629612 WITH SCORE 630345.688
AT ITER 5711 NEW BEST:: SOT 4401687 SOS 733558 HAS SOPS 733558 HAS SOUS 629545 HAS SOUPS 629545 WITH SCORE 630278.558
AT ITER 5731 NEW BEST:: SOT 4401686 SOS 733511 HAS SOPS 733511 HAS SOUS 629543 HAS SOUPS 629543 WITH SCORE 630276.511
AT ITER 5733 NEW BEST:: SOT 4401684 SOS 733507 HAS SOPS 733507 HAS SOUS 629539 HAS SOUPS 629539 WITH SCORE 630272.507
AT ITER 5735 NEW BEST:: SOT 4401684 SOS 733507 HAS SOPS 733507 HAS SOUS 629521 HAS SOUPS 629521 WITH SCORE 630254.507
AT ITER 5759 NEW BEST:: SOT 4401648 SOS 733054 HAS SOPS 733054 HAS SOUS 629348 HAS SOUPS 629348 WITH SCORE 630081.054
AT ITER 5773 NEW BEST:: SOT 4401240 SOS 733454 HAS SOPS 733454 HAS SOUS 628976 HAS SOUPS 628976 WITH SCORE 629709.454
AT ITER 5779 NEW BEST:: SOT 4401153 SOS 733280 HAS SOPS 733280 HAS SOUS 628802 HAS SOUPS 628802 WITH SCORE 629535.28
AT ITER 5783 NEW BEST:: SOT 4401153 SOS 733242 HAS SOPS 733242 HAS SOUS 628764 HAS SOUPS 628764 WITH SCORE 629497.242
AT ITER 5843 NEW BEST:: SOT 4401141 SOS 733218 HAS SOPS 733218 HAS SOUS 628740 HAS SOUPS 628740 WITH SCORE 629473.218
AT ITER 5845 NEW BEST:: SOT 4401129 SOS 733464 HAS SOPS 733464 HAS SOUS 628733 HAS SOUPS 628733 WITH SCORE 629466.464
AT ITER 5871 NEW BEST:: SOT 4401129 SOS 733456 HAS SOPS 733456 HAS SOUS 628725 HAS SOUPS 628725 WITH SCORE 629458.456
AT ITER 5883 NEW BEST:: SOT 4401158 SOS 733514 HAS SOPS 733514 HAS SOUS 628718 HAS SOUPS 628718 WITH SCORE 629451.514
AT ITER 5887 NEW BEST:: SOT 4401339 SOS 733584 HAS SOPS 733584 HAS SOUS 628609 HAS SOUPS 628609 WITH SCORE 629342.584
AT ITER 5906 NEW BEST:: SOT 4401339 SOS 733584 HAS SOPS 733584 HAS SOUS 628446 HAS SOUPS 628446 WITH SCORE 629179.584
AT ITER 5914 NEW BEST:: SOT 4401339 SOS 733380 HAS SOPS 733380 HAS SOUS 628242 HAS SOUPS 628242 WITH SCORE 628975.38
AT ITER 5927 NEW BEST:: SOT 4401114 SOS 733155 HAS SOPS 733155 HAS SOUS 628017 HAS SOUPS 628017 WITH SCORE 628750.155
AT ITER 5946 NEW BEST:: SOT 4400910 SOS 733155 HAS SOPS 733155 HAS SOUS 627915 HAS SOUPS 627915 WITH SCORE 628648.155
AT ITER 5984 NEW BEST:: SOT 4400910 SOS 733155 HAS SOPS 733155 HAS SOUS 627785 HAS SOUPS 627785 WITH SCORE 628518.155
AT ITER 6024 NEW BEST:: SOT 4400777 SOS 732889 HAS SOPS 732889 HAS SOUS 627519 HAS SOUPS 627519 WITH SCORE 628251.889
AT ITER 6027 NEW BEST:: SOT 4400761 SOS 732857 HAS SOPS 732857 HAS SOUS 627487 HAS SOUPS 627487 WITH SCORE 628219.857
AT ITER 6033 NEW BEST:: SOT 4400712 SOS 732808 HAS SOPS 732808 HAS SOUS 627438 HAS SOUPS 627438 WITH SCORE 628170.808
AT ITER 6049 NEW BEST:: SOT 4400528 SOS 732624 HAS SOPS 732624 HAS SOUS 627254 HAS SOUPS 627254 WITH SCORE 627986.624
AT ITER 6050 NEW BEST:: SOT 4400528 SOS 732422 HAS SOPS 732422 HAS SOUS 627253 HAS SOUPS 627253 WITH SCORE 627985.422
AT ITER 6056 NEW BEST:: SOT 4400320 SOS 732006 HAS SOPS 732006 HAS SOUS 626941 HAS SOUPS 626941 WITH SCORE 627673.006
AT ITER 6057 NEW BEST:: SOT 4400261 SOS 731888 HAS SOPS 731888 HAS SOUS 626823 HAS SOUPS 626823 WITH SCORE 627554.888
AT ITER 6062 NEW BEST:: SOT 4399753 SOS 731408 HAS SOPS 731408 HAS SOUS 626320 HAS SOUPS 626320 WITH SCORE 627051.408
AT ITER 6089 NEW BEST:: SOT 4399648 SOS 731198 HAS SOPS 731198 HAS SOUS 626052 HAS SOUPS 626052 WITH SCORE 626783.198
AT ITER 6129 NEW BEST:: SOT 4399636 SOS 731186 HAS SOPS 731186 HAS SOUS 626028 HAS SOUPS 626028 WITH SCORE 626759.186
AT ITER 6158 NEW BEST:: SOT 4399620 SOS 731154 HAS SOPS 731154 HAS SOUS 626012 HAS SOUPS 626012 WITH SCORE 626743.154
AT ITER 6165 NEW BEST:: SOT 4399363 SOS 730640 HAS SOPS 730640 HAS SOUS 625436 HAS SOUPS 625436 WITH SCORE 626166.64
AT ITER 6175 NEW BEST:: SOT 4399293 SOS 730500 HAS SOPS 730500 HAS SOUS 625296 HAS SOUPS 625296 WITH SCORE 626026.5
AT ITER 6191 NEW BEST:: SOT 4398886 SOS 729686 HAS SOPS 729686 HAS SOUS 624889 HAS SOUPS 624889 WITH SCORE 625618.686
AT ITER 6195 NEW BEST:: SOT 4398847 SOS 729608 HAS SOPS 729608 HAS SOUS 624811 HAS SOUPS 624811 WITH SCORE 625540.608
AT ITER 6225 NEW BEST:: SOT 4398843 SOS 728900 HAS SOPS 728900 HAS SOUS 624342 HAS SOUPS 624342 WITH SCORE 625070.9
AT ITER 6278 NEW BEST:: SOT 4398641 SOS 728808 HAS SOPS 728808 HAS SOUS 624140 HAS SOUPS 624140 WITH SCORE 624868.808
AT ITER 6282 NEW BEST:: SOT 4398699 SOS 727918 HAS SOPS 727918 HAS SOUS 623695 HAS SOUPS 623695 WITH SCORE 624422.918
AT ITER 6288 NEW BEST:: SOT 4398581 SOS 727682 HAS SOPS 727682 HAS SOUS 623577 HAS SOUPS 623577 WITH SCORE 624304.682
AT ITER 6306 NEW BEST:: SOT 4398489 SOS 727308 HAS SOPS 727308 HAS SOUS 623393 HAS SOUPS 623393 WITH SCORE 624120.308
AT ITER 6317 NEW BEST:: SOT 4398568 SOS 726806 HAS SOPS 726806 HAS SOUS 623004 HAS SOUPS 623004 WITH SCORE 623730.806
AT ITER 6318 NEW BEST:: SOT 4398568 SOS 726501 HAS SOPS 726501 HAS SOUS 623004 HAS SOUPS 623004 WITH SCORE 623730.501
AT ITER 6381 NEW BEST:: SOT 4398568 SOS 726501 HAS SOPS 726501 HAS SOUS 622922 HAS SOUPS 622922 WITH SCORE 623648.501
AT ITER 6387 NEW BEST:: SOT 4398493 SOS 726351 HAS SOPS 726351 HAS SOUS 622911 HAS SOUPS 622911 WITH SCORE 623637.351
AT ITER 6403 NEW BEST:: SOT 4398247 SOS 726105 HAS SOPS 726105 HAS SOUS 622665 HAS SOUPS 622665 WITH SCORE 623391.105
AT ITER 6415 NEW BEST:: SOT 4398244 SOS 726099 HAS SOPS 726099 HAS SOUS 622659 HAS SOUPS 622659 WITH SCORE 623385.099
AT ITER 6442 NEW BEST:: SOT 4398114 SOS 725839 HAS SOPS 725839 HAS SOUS 622399 HAS SOUPS 622399 WITH SCORE 623124.839
AT ITER 6454 NEW BEST:: SOT 4398004 SOS 725450 HAS SOPS 725450 HAS SOUS 622179 HAS SOUPS 622179 WITH SCORE 622904.45
AT ITER 6477 NEW BEST:: SOT 4397959 SOS 725360 HAS SOPS 725360 HAS SOUS 622088 HAS SOUPS 622088 WITH SCORE 622813.36
AT ITER 6479 NEW BEST:: SOT 4397959 SOS 725085 HAS SOPS 725085 HAS SOUS 622088 HAS SOUPS 622088 WITH SCORE 622813.085
AT ITER 6483 NEW BEST:: SOT 4397959 SOS 725085 HAS SOPS 725085 HAS SOUS 622087 HAS SOUPS 622087 WITH SCORE 622812.085
AT ITER 6506 NEW BEST:: SOT 4397954 SOS 725075 HAS SOPS 725075 HAS SOUS 622082 HAS SOUPS 622082 WITH SCORE 622807.075
AT ITER 6528 NEW BEST:: SOT 4397758 SOS 724372 HAS SOPS 724372 HAS SOUS 621575 HAS SOUPS 621575 WITH SCORE 622299.372
AT ITER 6532 NEW BEST:: SOT 4397592 SOS 724040 HAS SOPS 724040 HAS SOUS 621508 HAS SOUPS 621508 WITH SCORE 622232.04
AT ITER 6563 NEW BEST:: SOT 4397592 SOS 723901 HAS SOPS 723901 HAS SOUS 621508 HAS SOUPS 621508 WITH SCORE 622231.901
AT ITER 6623 NEW BEST:: SOT 4397592 SOS 723773 HAS SOPS 723773 HAS SOUS 621380 HAS SOUPS 621380 WITH SCORE 622103.773
AT ITER 6627 NEW BEST:: SOT 4397417 SOS 723397 HAS SOPS 723397 HAS SOUS 621030 HAS SOUPS 621030 WITH SCORE 621753.397
AT ITER 6636 NEW BEST:: SOT 4397297 SOS 723157 HAS SOPS 723157 HAS SOUS 620603 HAS SOUPS 620603 WITH SCORE 621326.157
AT ITER 6637 NEW BEST:: SOT 4397296 SOS 723124 HAS SOPS 723124 HAS SOUS 620569 HAS SOUPS 620569 WITH SCORE 621292.124
AT ITER 6666 NEW BEST:: SOT 4397377 SOS 723104 HAS SOPS 723104 HAS SOUS 620549 HAS SOUPS 620549 WITH SCORE 621272.104
AT ITER 6690 NEW BEST:: SOT 4397332 SOS 723014 HAS SOPS 723014 HAS SOUS 620429 HAS SOUPS 620429 WITH SCORE 621152.014
AT ITER 6703 NEW BEST:: SOT 4397467 SOS 722880 HAS SOPS 722880 HAS SOUS 620347 HAS SOUPS 620347 WITH SCORE 621069.88
AT ITER 6721 NEW BEST:: SOT 4397427 SOS 722800 HAS SOPS 722800 HAS SOUS 620267 HAS SOUPS 620267 WITH SCORE 620989.8
AT ITER 6736 NEW BEST:: SOT 4397426 SOS 722798 HAS SOPS 722798 HAS SOUS 620265 HAS SOUPS 620265 WITH SCORE 620987.798
AT ITER 6753 NEW BEST:: SOT 4397426 SOS 722730 HAS SOPS 722730 HAS SOUS 620265 HAS SOUPS 620265 WITH SCORE 620987.73
AT ITER 6771 NEW BEST:: SOT 4397183 SOS 724112 HAS SOPS 724112 HAS SOUS 620231 HAS SOUPS 620231 WITH SCORE 620955.112
AT ITER 6781 NEW BEST:: SOT 4397274 SOS 724294 HAS SOPS 724294 HAS SOUS 620022 HAS SOUPS 620022 WITH SCORE 620746.294
AT ITER 6794 NEW BEST:: SOT 4397323 SOS 724392 HAS SOPS 724392 HAS SOUS 619993 HAS SOUPS 619993 WITH SCORE 620717.392
AT ITER 6803 NEW BEST:: SOT 4397228 SOS 724202 HAS SOPS 724202 HAS SOUS 619803 HAS SOUPS 619803 WITH SCORE 620527.202
AT ITER 6822 NEW BEST:: SOT 4397173 SOS 724147 HAS SOPS 724147 HAS SOUS 619744 HAS SOUPS 619744 WITH SCORE 620468.147
AT ITER 6825 NEW BEST:: SOT 4397163 SOS 724081 HAS SOPS 724081 HAS SOUS 619724 HAS SOUPS 619724 WITH SCORE 620448.081
AT ITER 6826 NEW BEST:: SOT 4396928 SOS 723611 HAS SOPS 723611 HAS SOUS 619620 HAS SOUPS 619620 WITH SCORE 620343.611
AT ITER 6851 NEW BEST:: SOT 4396928 SOS 723611 HAS SOPS 723611 HAS SOUS 619595 HAS SOUPS 619595 WITH SCORE 620318.611
AT ITER 6868 NEW BEST:: SOT 4396845 SOS 723547 HAS SOPS 723547 HAS SOUS 619512 HAS SOUPS 619512 WITH SCORE 620235.547
AT ITER 6878 NEW BEST:: SOT 4396800 SOS 723457 HAS SOPS 723457 HAS SOUS 619422 HAS SOUPS 619422 WITH SCORE 620145.457
AT ITER 6898 NEW BEST:: SOT 4396799 SOS 723455 HAS SOPS 723455 HAS SOUS 619421 HAS SOUPS 619421 WITH SCORE 620144.455
AT ITER 6922 NEW BEST:: SOT 4396799 SOS 723390 HAS SOPS 723390 HAS SOUS 619421 HAS SOUPS 619421 WITH SCORE 620144.39
AT ITER 6956 NEW BEST:: SOT 4396268 SOS 722992 HAS SOPS 722992 HAS SOUS 618896 HAS SOUPS 618896 WITH SCORE 619618.992
AT ITER 6962 NEW BEST:: SOT 4396136 SOS 722860 HAS SOPS 722860 HAS SOUS 618764 HAS SOUPS 618764 WITH SCORE 619486.86
AT ITER 6974 NEW BEST:: SOT 4396120 SOS 723002 HAS SOPS 723002 HAS SOUS 618748 HAS SOUPS 618748 WITH SCORE 619471.002
AT ITER 7003 NEW BEST:: SOT 4396136 SOS 722907 HAS SOPS 722907 HAS SOUS 618653 HAS SOUPS 618653 WITH SCORE 619375.907
AT ITER 7025 NEW BEST:: SOT 4396099 SOS 722939 HAS SOPS 722939 HAS SOUS 618652 HAS SOUPS 618652 WITH SCORE 619374.939
AT ITER 7028 NEW BEST:: SOT 4396042 SOS 722825 HAS SOPS 722825 HAS SOUS 618538 HAS SOUPS 618538 WITH SCORE 619260.825
AT ITER 7041 NEW BEST:: SOT 4396014 SOS 722769 HAS SOPS 722769 HAS SOUS 618533 HAS SOUPS 618533 WITH SCORE 619255.769
AT ITER 7044 NEW BEST:: SOT 4396004 SOS 722759 HAS SOPS 722759 HAS SOUS 618523 HAS SOUPS 618523 WITH SCORE 619245.759
AT ITER 7062 NEW BEST:: SOT 4395829 SOS 722409 HAS SOPS 722409 HAS SOUS 618173 HAS SOUPS 618173 WITH SCORE 618895.409
AT ITER 7085 NEW BEST:: SOT 4395793 SOS 722409 HAS SOPS 722409 HAS SOUS 618137 HAS SOUPS 618137 WITH SCORE 618859.409
AT ITER 7090 NEW BEST:: SOT 4395755 SOS 722333 HAS SOPS 722333 HAS SOUS 618061 HAS SOUPS 618061 WITH SCORE 618783.333
AT ITER 7113 NEW BEST:: SOT 4395725 SOS 722333 HAS SOPS 722333 HAS SOUS 618031 HAS SOUPS 618031 WITH SCORE 618753.333
AT ITER 7129 NEW BEST:: SOT 4394893 SOS 721099 HAS SOPS 721099 HAS SOUS 616797 HAS SOUPS 616797 WITH SCORE 617518.099
AT ITER 7132 NEW BEST:: SOT 4394670 SOS 720892 HAS SOPS 720892 HAS SOUS 616710 HAS SOUPS 616710 WITH SCORE 617430.892
AT ITER 7140 NEW BEST:: SOT 4394636 SOS 720824 HAS SOPS 720824 HAS SOUS 616570 HAS SOUPS 616570 WITH SCORE 617290.824
AT ITER 7142 NEW BEST:: SOT 4394636 SOS 720797 HAS SOPS 720797 HAS SOUS 616570 HAS SOUPS 616570 WITH SCORE 617290.797
AT ITER 7147 NEW BEST:: SOT 4394531 SOS 720587 HAS SOPS 720587 HAS SOUS 616565 HAS SOUPS 616565 WITH SCORE 617285.587
AT ITER 7152 NEW BEST:: SOT 4394531 SOS 720479 HAS SOPS 720479 HAS SOUS 616457 HAS SOUPS 616457 WITH SCORE 617177.479
AT ITER 7171 NEW BEST:: SOT 4394627 SOS 720671 HAS SOPS 720671 HAS SOUS 616448 HAS SOUPS 616448 WITH SCORE 617168.671
AT ITER 7216 NEW BEST:: SOT 4394192 SOS 720425 HAS SOPS 720425 HAS SOUS 616077 HAS SOUPS 616077 WITH SCORE 616797.425
AT ITER 7248 NEW BEST:: SOT 4394123 SOS 720287 HAS SOPS 720287 HAS SOUS 615880 HAS SOUPS 615880 WITH SCORE 616600.287
AT ITER 7266 NEW BEST:: SOT 4394025 SOS 720091 HAS SOPS 720091 HAS SOUS 615879 HAS SOUPS 615879 WITH SCORE 616599.091
AT ITER 7279 NEW BEST:: SOT 4393981 SOS 720168 HAS SOPS 720168 HAS SOUS 615877 HAS SOUPS 615877 WITH SCORE 616597.168
AT ITER 7292 NEW BEST:: SOT 4394194 SOS 719529 HAS SOPS 719529 HAS SOUS 615877 HAS SOUPS 615877 WITH SCORE 616596.529
AT ITER 7310 NEW BEST:: SOT 4394231 SOS 719173 HAS SOPS 719173 HAS SOUS 615517 HAS SOUPS 615517 WITH SCORE 616236.173
AT ITER 7316 NEW BEST:: SOT 4394227 SOS 719165 HAS SOPS 719165 HAS SOUS 615504 HAS SOUPS 615504 WITH SCORE 616223.165
AT ITER 7333 NEW BEST:: SOT 4394119 SOS 719057 HAS SOPS 719057 HAS SOUS 615396 HAS SOUPS 615396 WITH SCORE 616115.057
AT ITER 7365 NEW BEST:: SOT 4394112 SOS 719043 HAS SOPS 719043 HAS SOUS 614929 HAS SOUPS 614929 WITH SCORE 615648.043
AT ITER 7384 NEW BEST:: SOT 4394045 SOS 719040 HAS SOPS 719040 HAS SOUS 614926 HAS SOUPS 614926 WITH SCORE 615645.04
AT ITER 7424 NEW BEST:: SOT 4393887 SOS 718882 HAS SOPS 718882 HAS SOUS 614768 HAS SOUPS 614768 WITH SCORE 615486.882
AT ITER 7428 NEW BEST:: SOT 4393887 SOS 718775 HAS SOPS 718775 HAS SOUS 614768 HAS SOUPS 614768 WITH SCORE 615486.775
AT ITER 7450 NEW BEST:: SOT 4393547 SOS 718435 HAS SOPS 718435 HAS SOUS 614428 HAS SOUPS 614428 WITH SCORE 615146.435
AT ITER 7461 NEW BEST:: SOT 4393133 SOS 718159 HAS SOPS 718159 HAS SOUS 614014 HAS SOUPS 614014 WITH SCORE 614732.159
AT ITER 7463 NEW BEST:: SOT 4393125 SOS 718151 HAS SOPS 718151 HAS SOUS 613914 HAS SOUPS 613914 WITH SCORE 614632.151
AT ITER 7483 NEW BEST:: SOT 4393125 SOS 718151 HAS SOPS 718151 HAS SOUS 613880 HAS SOUPS 613880 WITH SCORE 614598.151
AT ITER 7495 NEW BEST:: SOT 4392777 SOS 717629 HAS SOPS 717629 HAS SOUS 613358 HAS SOUPS 613358 WITH SCORE 614075.629
AT ITER 7499 NEW BEST:: SOT 4392827 SOS 717613 HAS SOPS 717613 HAS SOUS 613342 HAS SOUPS 613342 WITH SCORE 614059.613
AT ITER 7505 NEW BEST:: SOT 4392827 SOS 717433 HAS SOPS 717433 HAS SOUS 613342 HAS SOUPS 613342 WITH SCORE 614059.433
AT ITER 7543 NEW BEST:: SOT 4392582 SOS 716079 HAS SOPS 716079 HAS SOUS 613015 HAS SOUPS 613015 WITH SCORE 613731.079
AT ITER 7544 NEW BEST:: SOT 4392552 SOS 716019 HAS SOPS 716019 HAS SOUS 612985 HAS SOUPS 612985 WITH SCORE 613701.019
AT ITER 7556 NEW BEST:: SOT 4392362 SOS 715639 HAS SOPS 715639 HAS SOUS 612893 HAS SOUPS 612893 WITH SCORE 613608.639
AT ITER 7567 NEW BEST:: SOT 4392291 SOS 715497 HAS SOPS 715497 HAS SOUS 612751 HAS SOUPS 612751 WITH SCORE 613466.497
AT ITER 7587 NEW BEST:: SOT 4392304 SOS 715343 HAS SOPS 715343 HAS SOUS 612749 HAS SOUPS 612749 WITH SCORE 613464.343
AT ITER 7590 NEW BEST:: SOT 4392184 SOS 715103 HAS SOPS 715103 HAS SOUS 612612 HAS SOUPS 612612 WITH SCORE 613327.103
AT ITER 7596 NEW BEST:: SOT 4392000 SOS 715045 HAS SOPS 715045 HAS SOUS 612532 HAS SOUPS 612532 WITH SCORE 613247.045
AT ITER 7609 NEW BEST:: SOT 4392000 SOS 715003 HAS SOPS 715003 HAS SOUS 612511 HAS SOUPS 612511 WITH SCORE 613226.003
AT ITER 7628 NEW BEST:: SOT 4391980 SOS 714923 HAS SOPS 714923 HAS SOUS 612471 HAS SOUPS 612471 WITH SCORE 613185.923
AT ITER 7655 NEW BEST:: SOT 4391948 SOS 714859 HAS SOPS 714859 HAS SOUS 612407 HAS SOUPS 612407 WITH SCORE 613121.859
AT ITER 7670 NEW BEST:: SOT 4391864 SOS 714662 HAS SOPS 714662 HAS SOUS 612323 HAS SOUPS 612323 WITH SCORE 613037.662
AT ITER 7705 NEW BEST:: SOT 4391765 SOS 714464 HAS SOPS 714464 HAS SOUS 612125 HAS SOUPS 612125 WITH SCORE 612839.464
AT ITER 7785 NEW BEST:: SOT 4391764 SOS 714462 HAS SOPS 714462 HAS SOUS 612092 HAS SOUPS 612092 WITH SCORE 612806.462
AT ITER 7843 NEW BEST:: SOT 4391727 SOS 714388 HAS SOPS 714388 HAS SOUS 612018 HAS SOUPS 612018 WITH SCORE 612732.388
AT ITER 7857 NEW BEST:: SOT 4391672 SOS 714278 HAS SOPS 714278 HAS SOUS 611963 HAS SOUPS 611963 WITH SCORE 612677.278
AT ITER 7902 NEW BEST:: SOT 4391663 SOS 714260 HAS SOPS 714260 HAS SOUS 611950 HAS SOUPS 611950 WITH SCORE 612664.26
AT ITER 7965 NEW BEST:: SOT 4391641 SOS 714216 HAS SOPS 714216 HAS SOUS 611928 HAS SOUPS 611928 WITH SCORE 612642.216
AT ITER 7996 NEW BEST:: SOT 4391248 SOS 713862 HAS SOPS 713862 HAS SOUS 611535 HAS SOUPS 611535 WITH SCORE 612248.862
AT ITER 7999 NEW BEST:: SOT 4391221 SOS 713808 HAS SOPS 713808 HAS SOUS 611508 HAS SOUPS 611508 WITH SCORE 612221.808
AT ITER 8030 NEW BEST:: SOT 4391109 SOS 713584 HAS SOPS 713584 HAS SOUS 611284 HAS SOUPS 611284 WITH SCORE 611997.584
AT ITER 8056 NEW BEST:: SOT 4391122 SOS 712854 HAS SOPS 712854 HAS SOUS 610919 HAS SOUPS 610919 WITH SCORE 611631.854
AT ITER 8058 NEW BEST:: SOT 4391122 SOS 712216 HAS SOPS 712216 HAS SOUS 610919 HAS SOUPS 610919 WITH SCORE 611631.216
AT ITER 8061 NEW BEST:: SOT 4391045 SOS 712139 HAS SOPS 712139 HAS SOUS 610842 HAS SOUPS 610842 WITH SCORE 611554.139
AT ITER 8099 NEW BEST:: SOT 4390891 SOS 712042 HAS SOPS 712042 HAS SOUS 610622 HAS SOUPS 610622 WITH SCORE 611334.042
AT ITER 8104 NEW BEST:: SOT 4390883 SOS 712026 HAS SOPS 712026 HAS SOUS 610614 HAS SOUPS 610614 WITH SCORE 611326.026
AT ITER 8181 NEW BEST:: SOT 4390246 SOS 710752 HAS SOPS 710752 HAS SOUS 609707 HAS SOUPS 609707 WITH SCORE 610417.752
AT ITER 8183 NEW BEST:: SOT 4390293 SOS 710594 HAS SOPS 710594 HAS SOUS 609502 HAS SOUPS 609502 WITH SCORE 610212.594
AT ITER 8214 NEW BEST:: SOT 4390293 SOS 710589 HAS SOPS 710589 HAS SOUS 609497 HAS SOUPS 609497 WITH SCORE 610207.589
AT ITER 8217 NEW BEST:: SOT 4390150 SOS 710446 HAS SOPS 710446 HAS SOUS 609354 HAS SOUPS 609354 WITH SCORE 610064.446
AT ITER 8291 NEW BEST:: SOT 4390129 SOS 710404 HAS SOPS 710404 HAS SOUS 609255 HAS SOUPS 609255 WITH SCORE 609965.404
AT ITER 8297 NEW BEST:: SOT 4390084 SOS 710314 HAS SOPS 710314 HAS SOUS 609165 HAS SOUPS 609165 WITH SCORE 609875.314
AT ITER 8308 NEW BEST:: SOT 4389996 SOS 710222 HAS SOPS 710222 HAS SOUS 609020 HAS SOUPS 609020 WITH SCORE 609730.222
AT ITER 8310 NEW BEST:: SOT 4390302 SOS 709850 HAS SOPS 709850 HAS SOUS 608870 HAS SOUPS 608870 WITH SCORE 609579.85
AT ITER 8317 NEW BEST:: SOT 4390169 SOS 709584 HAS SOPS 709584 HAS SOUS 608604 HAS SOUPS 608604 WITH SCORE 609313.584
AT ITER 8345 NEW BEST:: SOT 4390179 SOS 708404 HAS SOPS 708404 HAS SOUS 608311 HAS SOUPS 608311 WITH SCORE 609019.404
AT ITER 8369 NEW BEST:: SOT 4390147 SOS 708340 HAS SOPS 708340 HAS SOUS 608247 HAS SOUPS 608247 WITH SCORE 608955.34
AT ITER 8375 NEW BEST:: SOT 4390146 SOS 708338 HAS SOPS 708338 HAS SOUS 608245 HAS SOUPS 608245 WITH SCORE 608953.338
AT ITER 8404 NEW BEST:: SOT 4390146 SOS 707974 HAS SOPS 707974 HAS SOUS 608063 HAS SOUPS 608063 WITH SCORE 608770.974
AT ITER 8418 NEW BEST:: SOT 4390187 SOS 707857 HAS SOPS 707857 HAS SOUS 607946 HAS SOUPS 607946 WITH SCORE 608653.857
AT ITER 8448 NEW BEST:: SOT 4390171 SOS 707805 HAS SOPS 707805 HAS SOUS 607894 HAS SOUPS 607894 WITH SCORE 608601.805
AT ITER 8451 NEW BEST:: SOT 4390158 SOS 707779 HAS SOPS 707779 HAS SOUS 607868 HAS SOUPS 607868 WITH SCORE 608575.779
AT ITER 8456 NEW BEST:: SOT 4389990 SOS 707443 HAS SOPS 707443 HAS SOUS 607711 HAS SOUPS 607711 WITH SCORE 608418.443
AT ITER 8457 NEW BEST:: SOT 4389871 SOS 707086 HAS SOPS 707086 HAS SOUS 607473 HAS SOUPS 607473 WITH SCORE 608180.086
AT ITER 8459 NEW BEST:: SOT 4389951 SOS 706870 HAS SOPS 706870 HAS SOUS 607177 HAS SOUPS 607177 WITH SCORE 607883.87
AT ITER 8461 NEW BEST:: SOT 4389582 SOS 706762 HAS SOPS 706762 HAS SOUS 606934 HAS SOUPS 606934 WITH SCORE 607640.762
AT ITER 8473 NEW BEST:: SOT 4389236 SOS 707446 HAS SOPS 707446 HAS SOUS 606891 HAS SOUPS 606891 WITH SCORE 607598.446
AT ITER 8480 NEW BEST:: SOT 4389291 SOS 707883 HAS SOPS 707883 HAS SOUS 606827 HAS SOUPS 606827 WITH SCORE 607534.883
AT ITER 8491 NEW BEST:: SOT 4389291 SOS 707883 HAS SOPS 707883 HAS SOUS 606812 HAS SOUPS 606812 WITH SCORE 607519.883
AT ITER 8502 NEW BEST:: SOT 4389291 SOS 707870 HAS SOPS 707870 HAS SOUS 606799 HAS SOUPS 606799 WITH SCORE 607506.87
AT ITER 8513 NEW BEST:: SOT 4389284 SOS 707856 HAS SOPS 707856 HAS SOUS 606785 HAS SOUPS 606785 WITH SCORE 607492.856
AT ITER 8539 NEW BEST:: SOT 4389090 SOS 707726 HAS SOPS 707726 HAS SOUS 606655 HAS SOUPS 606655 WITH SCORE 607362.726
AT ITER 8563 NEW BEST:: SOT 4389038 SOS 707622 HAS SOPS 707622 HAS SOUS 606551 HAS SOUPS 606551 WITH SCORE 607258.622
AT ITER 8565 NEW BEST:: SOT 4388990 SOS 707526 HAS SOPS 707526 HAS SOUS 606514 HAS SOUPS 606514 WITH SCORE 607221.526
AT ITER 8575 NEW BEST:: SOT 4388872 SOS 707488 HAS SOPS 707488 HAS SOUS 606443 HAS SOUPS 606443 WITH SCORE 607150.488
AT ITER 8591 NEW BEST:: SOT 4388729 SOS 707838 HAS SOPS 707838 HAS SOUS 606163 HAS SOUPS 606163 WITH SCORE 606870.838
AT ITER 8625 NEW BEST:: SOT 4388729 SOS 707719 HAS SOPS 707719 HAS SOUS 606044 HAS SOUPS 606044 WITH SCORE 606751.719
AT ITER 8629 NEW BEST:: SOT 4388605 SOS 707089 HAS SOPS 707089 HAS SOUS 605787 HAS SOUPS 605787 WITH SCORE 606494.089
AT ITER 8668 NEW BEST:: SOT 4388556 SOS 706991 HAS SOPS 706991 HAS SOUS 605720 HAS SOUPS 605720 WITH SCORE 606426.991
AT ITER 8683 NEW BEST:: SOT 4388520 SOS 706964 HAS SOPS 706964 HAS SOUS 605693 HAS SOUPS 605693 WITH SCORE 606399.964
AT ITER 8689 NEW BEST:: SOT 4388252 SOS 706428 HAS SOPS 706428 HAS SOUS 605157 HAS SOUPS 605157 WITH SCORE 605863.428
AT ITER 8696 NEW BEST:: SOT 4387604 SOS 718908 HAS SOPS 718908 HAS SOUS 604837 HAS SOUPS 604837 WITH SCORE 605555.908
AT ITER 8722 NEW BEST:: SOT 4387642 SOS 718874 HAS SOPS 718874 HAS SOUS 604804 HAS SOUPS 604804 WITH SCORE 605522.874
AT ITER 8802 NEW BEST:: SOT 4387727 SOS 719044 HAS SOPS 719044 HAS SOUS 604719 HAS SOUPS 604719 WITH SCORE 605438.044
AT ITER 8824 NEW BEST:: SOT 4387727 SOS 718988 HAS SOPS 718988 HAS SOUS 604719 HAS SOUPS 604719 WITH SCORE 605437.988
AT ITER 8851 NEW BEST:: SOT 4387679 SOS 718940 HAS SOPS 718940 HAS SOUS 604623 HAS SOUPS 604623 WITH SCORE 605341.94
AT ITER 8857 NEW BEST:: SOT 4387658 SOS 718898 HAS SOPS 718898 HAS SOUS 604581 HAS SOUPS 604581 WITH SCORE 605299.898
AT ITER 8868 NEW BEST:: SOT 4387657 SOS 718881 HAS SOPS 718881 HAS SOUS 604565 HAS SOUPS 604565 WITH SCORE 605283.881
AT ITER 8890 NEW BEST:: SOT 4387617 SOS 718841 HAS SOPS 718841 HAS SOUS 604485 HAS SOUPS 604485 WITH SCORE 605203.841
AT ITER 8946 NEW BEST:: SOT 4387617 SOS 718817 HAS SOPS 718817 HAS SOUS 604461 HAS SOUPS 604461 WITH SCORE 605179.817
AT ITER 8990 NEW BEST:: SOT 4387545 SOS 718628 HAS SOPS 718628 HAS SOUS 604342 HAS SOUPS 604342 WITH SCORE 605060.628
AT ITER 9015 NEW BEST:: SOT 4387456 SOS 718450 HAS SOPS 718450 HAS SOUS 604185 HAS SOUPS 604185 WITH SCORE 604903.45
AT ITER 9033 NEW BEST:: SOT 4387282 SOS 717928 HAS SOPS 717928 HAS SOUS 603837 HAS SOUPS 603837 WITH SCORE 604554.928
AT ITER 9039 NEW BEST:: SOT 4387173 SOS 717710 HAS SOPS 717710 HAS SOUS 603728 HAS SOUPS 603728 WITH SCORE 604445.71
AT ITER 9040 NEW BEST:: SOT 4386962 SOS 717288 HAS SOPS 717288 HAS SOUS 603517 HAS SOUPS 603517 WITH SCORE 604234.288
AT ITER 9042 NEW BEST:: SOT 4386962 SOS 717288 HAS SOPS 717288 HAS SOUS 603376 HAS SOUPS 603376 WITH SCORE 604093.288
AT ITER 9047 NEW BEST:: SOT 4386924 SOS 716812 HAS SOPS 716812 HAS SOUS 603300 HAS SOUPS 603300 WITH SCORE 604016.812
AT ITER 9062 NEW BEST:: SOT 4386992 SOS 716948 HAS SOPS 716948 HAS SOUS 603221 HAS SOUPS 603221 WITH SCORE 603937.948
AT ITER 9068 NEW BEST:: SOT 4386992 SOS 716740 HAS SOPS 716740 HAS SOUS 603218 HAS SOUPS 603218 WITH SCORE 603934.74
AT ITER 9118 NEW BEST:: SOT 4386953 SOS 716662 HAS SOPS 716662 HAS SOUS 603140 HAS SOUPS 603140 WITH SCORE 603856.662
AT ITER 9142 NEW BEST:: SOT 4386875 SOS 716662 HAS SOPS 716662 HAS SOUS 603062 HAS SOUPS 603062 WITH SCORE 603778.662
AT ITER 9154 NEW BEST:: SOT 4386458 SOS 717185 HAS SOPS 717185 HAS SOUS 602889 HAS SOUPS 602889 WITH SCORE 603606.185
AT ITER 9155 NEW BEST:: SOT 4385866 SOS 717261 HAS SOPS 717261 HAS SOUS 602471 HAS SOUPS 602471 WITH SCORE 603188.261
AT ITER 9178 NEW BEST:: SOT 4385852 SOS 717219 HAS SOPS 717219 HAS SOUS 602443 HAS SOUPS 602443 WITH SCORE 603160.219
AT ITER 9183 NEW BEST:: SOT 4385693 SOS 717122 HAS SOPS 717122 HAS SOUS 602344 HAS SOUPS 602344 WITH SCORE 603061.122
AT ITER 9213 NEW BEST:: SOT 4385670 SOS 717076 HAS SOPS 717076 HAS SOUS 602298 HAS SOUPS 602298 WITH SCORE 603015.076
AT ITER 9225 NEW BEST:: SOT 4385670 SOS 717055 HAS SOPS 717055 HAS SOUS 602298 HAS SOUPS 602298 WITH SCORE 603015.055
AT ITER 9226 NEW BEST:: SOT 4385656 SOS 717041 HAS SOPS 717041 HAS SOUS 602283 HAS SOUPS 602283 WITH SCORE 603000.041
AT ITER 9228 NEW BEST:: SOT 4385743 SOS 716997 HAS SOPS 716997 HAS SOUS 602250 HAS SOUPS 602250 WITH SCORE 602966.997
AT ITER 9247 NEW BEST:: SOT 4385743 SOS 716895 HAS SOPS 716895 HAS SOUS 602250 HAS SOUPS 602250 WITH SCORE 602966.895
AT ITER 9260 NEW BEST:: SOT 4385743 SOS 716850 HAS SOPS 716850 HAS SOUS 602250 HAS SOUPS 602250 WITH SCORE 602966.85
AT ITER 9278 NEW BEST:: SOT 4385720 SOS 716804 HAS SOPS 716804 HAS SOUS 602204 HAS SOUPS 602204 WITH SCORE 602920.804
AT ITER 9293 NEW BEST:: SOT 4385530 SOS 717089 HAS SOPS 717089 HAS SOUS 602014 HAS SOUPS 602014 WITH SCORE 602731.089
AT ITER 9296 NEW BEST:: SOT 4385446 SOS 716921 HAS SOPS 716921 HAS SOUS 601930 HAS SOUPS 601930 WITH SCORE 602646.921
AT ITER 9317 NEW BEST:: SOT 4385506 SOS 716934 HAS SOPS 716934 HAS SOUS 601848 HAS SOUPS 601848 WITH SCORE 602564.934
AT ITER 9321 NEW BEST:: SOT 4385387 SOS 716696 HAS SOPS 716696 HAS SOUS 601787 HAS SOUPS 601787 WITH SCORE 602503.696
AT ITER 9354 NEW BEST:: SOT 4385293 SOS 716508 HAS SOPS 716508 HAS SOUS 601599 HAS SOUPS 601599 WITH SCORE 602315.508
AT ITER 9362 NEW BEST:: SOT 4385293 SOS 716508 HAS SOPS 716508 HAS SOUS 601596 HAS SOUPS 601596 WITH SCORE 602312.508
AT ITER 9394 NEW BEST:: SOT 4385264 SOS 716450 HAS SOPS 716450 HAS SOUS 601567 HAS SOUPS 601567 WITH SCORE 602283.45
AT ITER 9400 NEW BEST:: SOT 4385259 SOS 715963 HAS SOPS 715963 HAS SOUS 601560 HAS SOUPS 601560 WITH SCORE 602275.963
AT ITER 9403 NEW BEST:: SOT 4385247 SOS 715939 HAS SOPS 715939 HAS SOUS 601536 HAS SOUPS 601536 WITH SCORE 602251.939
AT ITER 9404 NEW BEST:: SOT 4385037 SOS 715519 HAS SOPS 715519 HAS SOUS 601116 HAS SOUPS 601116 WITH SCORE 601831.519
AT ITER 9433 NEW BEST:: SOT 4385037 SOS 715514 HAS SOPS 715514 HAS SOUS 601116 HAS SOUPS 601116 WITH SCORE 601831.514
AT ITER 9441 NEW BEST:: SOT 4385031 SOS 715502 HAS SOPS 715502 HAS SOUS 601110 HAS SOUPS 601110 WITH SCORE 601825.502
AT ITER 9472 NEW BEST:: SOT 4385000 SOS 715440 HAS SOPS 715440 HAS SOUS 601048 HAS SOUPS 601048 WITH SCORE 601763.44
AT ITER 9480 NEW BEST:: SOT 4384804 SOS 715048 HAS SOPS 715048 HAS SOUS 600656 HAS SOUPS 600656 WITH SCORE 601371.048
AT ITER 9492 NEW BEST:: SOT 4384379 SOS 714490 HAS SOPS 714490 HAS SOUS 599939 HAS SOUPS 599939 WITH SCORE 600653.49
AT ITER 9530 NEW BEST:: SOT 4384302 SOS 714336 HAS SOPS 714336 HAS SOUS 599785 HAS SOUPS 599785 WITH SCORE 600499.336
AT ITER 9537 NEW BEST:: SOT 4384291 SOS 714314 HAS SOPS 714314 HAS SOUS 599763 HAS SOUPS 599763 WITH SCORE 600477.314
AT ITER 9544 NEW BEST:: SOT 4384245 SOS 714222 HAS SOPS 714222 HAS SOUS 599717 HAS SOUPS 599717 WITH SCORE 600431.222
AT ITER 9545 NEW BEST:: SOT 4384079 SOS 713718 HAS SOPS 713718 HAS SOUS 599551 HAS SOUPS 599551 WITH SCORE 600264.718
AT ITER 9549 NEW BEST:: SOT 4384064 SOS 713688 HAS SOPS 713688 HAS SOUS 599497 HAS SOUPS 599497 WITH SCORE 600210.688
AT ITER 9574 NEW BEST:: SOT 4384054 SOS 713668 HAS SOPS 713668 HAS SOUS 599487 HAS SOUPS 599487 WITH SCORE 600200.668
AT ITER 9580 NEW BEST:: SOT 4384109 SOS 713632 HAS SOPS 713632 HAS SOUS 599469 HAS SOUPS 599469 WITH SCORE 600182.632
AT ITER 9588 NEW BEST:: SOT 4383992 SOS 713532 HAS SOPS 713532 HAS SOUS 599352 HAS SOUPS 599352 WITH SCORE 600065.532
AT ITER 9692 NEW BEST:: SOT 4383796 SOS 712879 HAS SOPS 712879 HAS SOUS 598895 HAS SOUPS 598895 WITH SCORE 599607.879
AT ITER 9709 NEW BEST:: SOT 4383676 SOS 712939 HAS SOPS 712939 HAS SOUS 598835 HAS SOUPS 598835 WITH SCORE 599547.939
AT ITER 9738 NEW BEST:: SOT 4383481 SOS 712549 HAS SOPS 712549 HAS SOUS 598445 HAS SOUPS 598445 WITH SCORE 599157.549
AT ITER 9743 NEW BEST:: SOT 4383260 SOS 712107 HAS SOPS 712107 HAS SOUS 598003 HAS SOUPS 598003 WITH SCORE 598715.107
AT ITER 9777 NEW BEST:: SOT 4382839 SOS 711265 HAS SOPS 711265 HAS SOUS 597582 HAS SOUPS 597582 WITH SCORE 598293.265
AT ITER 9813 NEW BEST:: SOT 4382839 SOS 711155 HAS SOPS 711155 HAS SOUS 597525 HAS SOUPS 597525 WITH SCORE 598236.155
AT ITER 9830 NEW BEST:: SOT 4382821 SOS 711119 HAS SOPS 711119 HAS SOUS 597489 HAS SOUPS 597489 WITH SCORE 598200.119
AT ITER 9854 NEW BEST:: SOT 4382821 SOS 711119 HAS SOPS 711119 HAS SOUS 597420 HAS SOUPS 597420 WITH SCORE 598131.119
AT ITER 9886 NEW BEST:: SOT 4382599 SOS 711195 HAS SOPS 711195 HAS SOUS 597262 HAS SOUPS 597262 WITH SCORE 597973.195
AT ITER 9901 NEW BEST:: SOT 4382370 SOS 710737 HAS SOPS 710737 HAS SOUS 596804 HAS SOUPS 596804 WITH SCORE 597514.737
AT ITER 9997 NEW BEST:: SOT 4382239 SOS 710877 HAS SOPS 710877 HAS SOUS 596633 HAS SOUPS 596633 WITH SCORE 597343.877

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-303"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-303, 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 r048-ebro-158902541600024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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