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.r063-tajo-158922806900016.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 DLCshifumi-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 3.5K Mar 30 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 11:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 11:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 07:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 07:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 01:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 01:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 729K 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 1589357747026

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

Filename model.pnml
Petri model created: 2483 places, 3183 transitions, 7756 arcs.
AT ITER 0 NEW BEST:: SOT 4792715 SOS 836745 HAS SOPS 836745 HAS SOUS 707736 HAS SOUPS 707736 WITH SCORE 708572.745
AT ITER 1 NEW BEST:: SOT 4792715 SOS 836623 HAS SOPS 836623 HAS SOUS 707736 HAS SOUPS 707736 WITH SCORE 708572.623
AT ITER 15 NEW BEST:: SOT 4792421 SOS 836532 HAS SOPS 836532 HAS SOUS 707645 HAS SOUPS 707645 WITH SCORE 708481.532
AT ITER 26 NEW BEST:: SOT 4791823 SOS 839564 HAS SOPS 839564 HAS SOUS 707623 HAS SOUPS 707623 WITH SCORE 708462.564
AT ITER 43 NEW BEST:: SOT 4791823 SOS 839366 HAS SOPS 839366 HAS SOUS 707566 HAS SOUPS 707566 WITH SCORE 708405.366
AT ITER 93 NEW BEST:: SOT 4791858 SOS 839258 HAS SOPS 839258 HAS SOUS 707530 HAS SOUPS 707530 WITH SCORE 708369.258
AT ITER 129 NEW BEST:: SOT 4791619 SOS 838808 HAS SOPS 838808 HAS SOUS 707527 HAS SOUPS 707527 WITH SCORE 708365.808
AT ITER 150 NEW BEST:: SOT 4791619 SOS 836935 HAS SOPS 836935 HAS SOUS 707005 HAS SOUPS 707005 WITH SCORE 707841.935
AT ITER 167 NEW BEST:: SOT 4791760 SOS 837217 HAS SOPS 837217 HAS SOUS 706787 HAS SOUPS 706787 WITH SCORE 707624.217
AT ITER 182 NEW BEST:: SOT 4791338 SOS 835261 HAS SOPS 835261 HAS SOUS 706032 HAS SOUPS 706032 WITH SCORE 706867.261
AT ITER 188 NEW BEST:: SOT 4791024 SOS 835104 HAS SOPS 835104 HAS SOUS 705875 HAS SOUPS 705875 WITH SCORE 706710.104
AT ITER 189 NEW BEST:: SOT 4788125 SOS 834010 HAS SOPS 834010 HAS SOUS 703123 HAS SOUPS 703123 WITH SCORE 703957.01
AT ITER 195 NEW BEST:: SOT 4788125 SOS 833909 HAS SOPS 833909 HAS SOUS 703123 HAS SOUPS 703123 WITH SCORE 703956.909
AT ITER 225 NEW BEST:: SOT 4788036 SOS 833731 HAS SOPS 833731 HAS SOUS 702786 HAS SOUPS 702786 WITH SCORE 703619.731
AT ITER 296 NEW BEST:: SOT 4787698 SOS 832989 HAS SOPS 832989 HAS SOUS 702340 HAS SOUPS 702340 WITH SCORE 703172.989
AT ITER 310 NEW BEST:: SOT 4787700 SOS 832993 HAS SOPS 832993 HAS SOUS 702290 HAS SOUPS 702290 WITH SCORE 703122.993
AT ITER 311 NEW BEST:: SOT 4787568 SOS 832597 HAS SOPS 832597 HAS SOUS 702092 HAS SOUPS 702092 WITH SCORE 702924.597
AT ITER 312 NEW BEST:: SOT 4787557 SOS 832575 HAS SOPS 832575 HAS SOUS 702070 HAS SOUPS 702070 WITH SCORE 702902.575
AT ITER 327 NEW BEST:: SOT 4787547 SOS 832498 HAS SOPS 832498 HAS SOUS 702068 HAS SOUPS 702068 WITH SCORE 702900.498
AT ITER 358 NEW BEST:: SOT 4787358 SOS 832308 HAS SOPS 832308 HAS SOUS 701895 HAS SOUPS 701895 WITH SCORE 702727.308
AT ITER 402 NEW BEST:: SOT 4787005 SOS 831982 HAS SOPS 831982 HAS SOUS 701587 HAS SOUPS 701587 WITH SCORE 702418.982
AT ITER 431 NEW BEST:: SOT 4787005 SOS 831982 HAS SOPS 831982 HAS SOUS 701240 HAS SOUPS 701240 WITH SCORE 702071.982
AT ITER 432 NEW BEST:: SOT 4784226 SOS 837823 HAS SOPS 837823 HAS SOUS 699364 HAS SOUPS 699364 WITH SCORE 700201.823
AT ITER 438 NEW BEST:: SOT 4784197 SOS 837820 HAS SOPS 837820 HAS SOUS 699363 HAS SOUPS 699363 WITH SCORE 700200.82
AT ITER 446 NEW BEST:: SOT 4783806 SOS 837038 HAS SOPS 837038 HAS SOUS 698581 HAS SOUPS 698581 WITH SCORE 699418.038
AT ITER 461 NEW BEST:: SOT 4783792 SOS 837658 HAS SOPS 837658 HAS SOUS 698555 HAS SOUPS 698555 WITH SCORE 699392.658
AT ITER 473 NEW BEST:: SOT 4783792 SOS 837658 HAS SOPS 837658 HAS SOUS 698143 HAS SOUPS 698143 WITH SCORE 698980.658
AT ITER 486 NEW BEST:: SOT 4783716 SOS 837506 HAS SOPS 837506 HAS SOUS 698067 HAS SOUPS 698067 WITH SCORE 698904.506
AT ITER 515 NEW BEST:: SOT 4783611 SOS 837296 HAS SOPS 837296 HAS SOUS 697960 HAS SOUPS 697960 WITH SCORE 698797.296
AT ITER 524 NEW BEST:: SOT 4783636 SOS 837122 HAS SOPS 837122 HAS SOUS 697873 HAS SOUPS 697873 WITH SCORE 698710.122
AT ITER 536 NEW BEST:: SOT 4783219 SOS 834880 HAS SOPS 834880 HAS SOUS 697686 HAS SOUPS 697686 WITH SCORE 698520.88
AT ITER 550 NEW BEST:: SOT 4783218 SOS 834878 HAS SOPS 834878 HAS SOUS 697684 HAS SOUPS 697684 WITH SCORE 698518.878
AT ITER 556 NEW BEST:: SOT 4783089 SOS 834769 HAS SOPS 834769 HAS SOUS 697555 HAS SOUPS 697555 WITH SCORE 698389.769
AT ITER 564 NEW BEST:: SOT 4783089 SOS 835443 HAS SOPS 835443 HAS SOUS 697554 HAS SOUPS 697554 WITH SCORE 698389.443
AT ITER 571 NEW BEST:: SOT 4783052 SOS 835406 HAS SOPS 835406 HAS SOUS 697480 HAS SOUPS 697480 WITH SCORE 698315.406
AT ITER 592 NEW BEST:: SOT 4782936 SOS 835174 HAS SOPS 835174 HAS SOUS 697387 HAS SOUPS 697387 WITH SCORE 698222.174
AT ITER 597 NEW BEST:: SOT 4782725 SOS 835173 HAS SOPS 835173 HAS SOUS 697386 HAS SOUPS 697386 WITH SCORE 698221.173
AT ITER 609 NEW BEST:: SOT 4782724 SOS 835171 HAS SOPS 835171 HAS SOUS 697384 HAS SOUPS 697384 WITH SCORE 698219.171
AT ITER 658 NEW BEST:: SOT 4782591 SOS 834987 HAS SOPS 834987 HAS SOUS 697200 HAS SOUPS 697200 WITH SCORE 698034.987
AT ITER 664 NEW BEST:: SOT 4782573 SOS 835185 HAS SOPS 835185 HAS SOUS 697164 HAS SOUPS 697164 WITH SCORE 697999.185
AT ITER 665 NEW BEST:: SOT 4782572 SOS 835183 HAS SOPS 835183 HAS SOUS 697162 HAS SOUPS 697162 WITH SCORE 697997.183
AT ITER 681 NEW BEST:: SOT 4782572 SOS 835182 HAS SOPS 835182 HAS SOUS 697124 HAS SOUPS 697124 WITH SCORE 697959.182
AT ITER 686 NEW BEST:: SOT 4782518 SOS 835074 HAS SOPS 835074 HAS SOUS 697016 HAS SOUPS 697016 WITH SCORE 697851.074
AT ITER 691 NEW BEST:: SOT 4782351 SOS 834907 HAS SOPS 834907 HAS SOUS 696849 HAS SOUPS 696849 WITH SCORE 697683.907
AT ITER 705 NEW BEST:: SOT 4782089 SOS 834857 HAS SOPS 834857 HAS SOUS 696803 HAS SOUPS 696803 WITH SCORE 697637.857
AT ITER 711 NEW BEST:: SOT 4781719 SOS 834117 HAS SOPS 834117 HAS SOUS 696063 HAS SOUPS 696063 WITH SCORE 696897.117
AT ITER 729 NEW BEST:: SOT 4781441 SOS 833561 HAS SOPS 833561 HAS SOUS 695507 HAS SOUPS 695507 WITH SCORE 696340.561
AT ITER 748 NEW BEST:: SOT 4781212 SOS 832416 HAS SOPS 832416 HAS SOUS 695272 HAS SOUPS 695272 WITH SCORE 696104.416
AT ITER 774 NEW BEST:: SOT 4781221 SOS 832284 HAS SOPS 832284 HAS SOUS 695206 HAS SOUPS 695206 WITH SCORE 696038.284
AT ITER 820 NEW BEST:: SOT 4780760 SOS 831592 HAS SOPS 831592 HAS SOUS 694516 HAS SOUPS 694516 WITH SCORE 695347.592
AT ITER 840 NEW BEST:: SOT 4780660 SOS 831392 HAS SOPS 831392 HAS SOUS 694391 HAS SOUPS 694391 WITH SCORE 695222.392
AT ITER 864 NEW BEST:: SOT 4780659 SOS 831390 HAS SOPS 831390 HAS SOUS 694389 HAS SOUPS 694389 WITH SCORE 695220.39
AT ITER 882 NEW BEST:: SOT 4780659 SOS 831390 HAS SOPS 831390 HAS SOUS 693938 HAS SOUPS 693938 WITH SCORE 694769.39
AT ITER 883 NEW BEST:: SOT 4780659 SOS 831361 HAS SOPS 831361 HAS SOUS 693909 HAS SOUPS 693909 WITH SCORE 694740.361
AT ITER 890 NEW BEST:: SOT 4780555 SOS 831153 HAS SOPS 831153 HAS SOUS 693803 HAS SOUPS 693803 WITH SCORE 694634.153
AT ITER 896 NEW BEST:: SOT 4780555 SOS 831218 HAS SOPS 831218 HAS SOUS 693802 HAS SOUPS 693802 WITH SCORE 694633.218
AT ITER 899 NEW BEST:: SOT 4780600 SOS 831100 HAS SOPS 831100 HAS SOUS 693765 HAS SOUPS 693765 WITH SCORE 694596.1
AT ITER 915 NEW BEST:: SOT 4780567 SOS 831035 HAS SOPS 831035 HAS SOUS 693700 HAS SOUPS 693700 WITH SCORE 694531.035
AT ITER 925 NEW BEST:: SOT 4780537 SOS 830585 HAS SOPS 830585 HAS SOUS 693610 HAS SOUPS 693610 WITH SCORE 694440.585
AT ITER 936 NEW BEST:: SOT 4780536 SOS 830583 HAS SOPS 830583 HAS SOUS 693608 HAS SOUPS 693608 WITH SCORE 694438.583
AT ITER 938 NEW BEST:: SOT 4780535 SOS 830581 HAS SOPS 830581 HAS SOUS 693606 HAS SOUPS 693606 WITH SCORE 694436.581
AT ITER 965 NEW BEST:: SOT 4779841 SOS 830005 HAS SOPS 830005 HAS SOUS 692912 HAS SOUPS 692912 WITH SCORE 693742.005
AT ITER 968 NEW BEST:: SOT 4779716 SOS 829380 HAS SOPS 829380 HAS SOUS 692787 HAS SOUPS 692787 WITH SCORE 693616.38
AT ITER 981 NEW BEST:: SOT 4779191 SOS 826967 HAS SOPS 826967 HAS SOUS 692379 HAS SOUPS 692379 WITH SCORE 693205.967
AT ITER 990 NEW BEST:: SOT 4779191 SOS 826769 HAS SOPS 826769 HAS SOUS 692379 HAS SOUPS 692379 WITH SCORE 693205.769
AT ITER 995 NEW BEST:: SOT 4779191 SOS 827588 HAS SOPS 827588 HAS SOUS 692375 HAS SOUPS 692375 WITH SCORE 693202.588
AT ITER 1039 NEW BEST:: SOT 4778927 SOS 826580 HAS SOPS 826580 HAS SOUS 691919 HAS SOUPS 691919 WITH SCORE 692745.58
AT ITER 1067 NEW BEST:: SOT 4778716 SOS 825525 HAS SOPS 825525 HAS SOUS 691497 HAS SOUPS 691497 WITH SCORE 692322.525
AT ITER 1080 NEW BEST:: SOT 4775673 SOS 829352 HAS SOPS 829352 HAS SOUS 689433 HAS SOUPS 689433 WITH SCORE 690262.352
AT ITER 1082 NEW BEST:: SOT 4775648 SOS 829367 HAS SOPS 829367 HAS SOUS 689431 HAS SOUPS 689431 WITH SCORE 690260.367
AT ITER 1084 NEW BEST:: SOT 4775598 SOS 829267 HAS SOPS 829267 HAS SOUS 689194 HAS SOUPS 689194 WITH SCORE 690023.267
AT ITER 1111 NEW BEST:: SOT 4775492 SOS 829161 HAS SOPS 829161 HAS SOUS 689088 HAS SOUPS 689088 WITH SCORE 689917.161
AT ITER 1113 NEW BEST:: SOT 4775492 SOS 829234 HAS SOPS 829234 HAS SOUS 689087 HAS SOUPS 689087 WITH SCORE 689916.234
AT ITER 1127 NEW BEST:: SOT 4775356 SOS 828962 HAS SOPS 828962 HAS SOUS 688815 HAS SOUPS 688815 WITH SCORE 689643.962
AT ITER 1128 NEW BEST:: SOT 4775356 SOS 828962 HAS SOPS 828962 HAS SOUS 688748 HAS SOUPS 688748 WITH SCORE 689576.962
AT ITER 1139 NEW BEST:: SOT 4775356 SOS 829001 HAS SOPS 829001 HAS SOUS 688721 HAS SOUPS 688721 WITH SCORE 689550.001
AT ITER 1144 NEW BEST:: SOT 4775356 SOS 829001 HAS SOPS 829001 HAS SOUS 688608 HAS SOUPS 688608 WITH SCORE 689437.001
AT ITER 1149 NEW BEST:: SOT 4775011 SOS 827276 HAS SOPS 827276 HAS SOUS 687918 HAS SOUPS 687918 WITH SCORE 688745.276
AT ITER 1163 NEW BEST:: SOT 4774933 SOS 827120 HAS SOPS 827120 HAS SOUS 687630 HAS SOUPS 687630 WITH SCORE 688457.12
AT ITER 1198 NEW BEST:: SOT 4774821 SOS 826784 HAS SOPS 826784 HAS SOUS 687294 HAS SOUPS 687294 WITH SCORE 688120.784
AT ITER 1213 NEW BEST:: SOT 4774808 SOS 826758 HAS SOPS 826758 HAS SOUS 687294 HAS SOUPS 687294 WITH SCORE 688120.758
AT ITER 1223 NEW BEST:: SOT 4774808 SOS 826758 HAS SOPS 826758 HAS SOUS 687056 HAS SOUPS 687056 WITH SCORE 687882.758
AT ITER 1255 NEW BEST:: SOT 4774375 SOS 825892 HAS SOPS 825892 HAS SOUS 686190 HAS SOUPS 686190 WITH SCORE 687015.892
AT ITER 1263 NEW BEST:: SOT 4773813 SOS 825926 HAS SOPS 825926 HAS SOUS 686049 HAS SOUPS 686049 WITH SCORE 686874.926
AT ITER 1282 NEW BEST:: SOT 4773724 SOS 825867 HAS SOPS 825867 HAS SOUS 685960 HAS SOUPS 685960 WITH SCORE 686785.867
AT ITER 1286 NEW BEST:: SOT 4773433 SOS 825470 HAS SOPS 825470 HAS SOUS 685896 HAS SOUPS 685896 WITH SCORE 686721.47
AT ITER 1293 NEW BEST:: SOT 4773432 SOS 825468 HAS SOPS 825468 HAS SOUS 685894 HAS SOUPS 685894 WITH SCORE 686719.468
AT ITER 1309 NEW BEST:: SOT 4773261 SOS 825126 HAS SOPS 825126 HAS SOUS 685417 HAS SOUPS 685417 WITH SCORE 686242.126
AT ITER 1345 NEW BEST:: SOT 4773278 SOS 824870 HAS SOPS 824870 HAS SOUS 685297 HAS SOUPS 685297 WITH SCORE 686121.87
AT ITER 1353 NEW BEST:: SOT 4772606 SOS 824883 HAS SOPS 824883 HAS SOUS 684839 HAS SOUPS 684839 WITH SCORE 685663.883
AT ITER 1355 NEW BEST:: SOT 4772606 SOS 824685 HAS SOPS 824685 HAS SOUS 684839 HAS SOUPS 684839 WITH SCORE 685663.685
AT ITER 1372 NEW BEST:: SOT 4772531 SOS 824535 HAS SOPS 824535 HAS SOUS 684689 HAS SOUPS 684689 WITH SCORE 685513.535
AT ITER 1412 NEW BEST:: SOT 4772364 SOS 823655 HAS SOPS 823655 HAS SOUS 684520 HAS SOUPS 684520 WITH SCORE 685343.655
AT ITER 1417 NEW BEST:: SOT 4772241 SOS 821601 HAS SOPS 821601 HAS SOUS 683843 HAS SOUPS 683843 WITH SCORE 684664.601
AT ITER 1419 NEW BEST:: SOT 4772241 SOS 821581 HAS SOPS 821581 HAS SOUS 683843 HAS SOUPS 683843 WITH SCORE 684664.581
AT ITER 1444 NEW BEST:: SOT 4772241 SOS 821581 HAS SOPS 821581 HAS SOUS 683842 HAS SOUPS 683842 WITH SCORE 684663.581
AT ITER 1475 NEW BEST:: SOT 4771755 SOS 820609 HAS SOPS 820609 HAS SOUS 682870 HAS SOUPS 682870 WITH SCORE 683690.609
AT ITER 1479 NEW BEST:: SOT 4771559 SOS 820511 HAS SOPS 820511 HAS SOUS 682772 HAS SOUPS 682772 WITH SCORE 683592.511
AT ITER 1480 NEW BEST:: SOT 4771535 SOS 820475 HAS SOPS 820475 HAS SOUS 682736 HAS SOUPS 682736 WITH SCORE 683556.475
AT ITER 1486 NEW BEST:: SOT 4771105 SOS 820970 HAS SOPS 820970 HAS SOUS 682616 HAS SOUPS 682616 WITH SCORE 683436.97
AT ITER 1536 NEW BEST:: SOT 4770998 SOS 820863 HAS SOPS 820863 HAS SOUS 682509 HAS SOUPS 682509 WITH SCORE 683329.863
AT ITER 1561 NEW BEST:: SOT 4770998 SOS 820863 HAS SOPS 820863 HAS SOUS 682069 HAS SOUPS 682069 WITH SCORE 682889.863
AT ITER 1563 NEW BEST:: SOT 4770083 SOS 822393 HAS SOPS 822393 HAS SOUS 681551 HAS SOUPS 681551 WITH SCORE 682373.393
AT ITER 1620 NEW BEST:: SOT 4770083 SOS 823148 HAS SOPS 823148 HAS SOUS 681550 HAS SOUPS 681550 WITH SCORE 682373.148
AT ITER 1621 NEW BEST:: SOT 4769804 SOS 821753 HAS SOPS 821753 HAS SOUS 680992 HAS SOUPS 680992 WITH SCORE 681813.753
AT ITER 1643 NEW BEST:: SOT 4766760 SOS 827050 HAS SOPS 827050 HAS SOUS 678958 HAS SOUPS 678958 WITH SCORE 679785.05
AT ITER 1663 NEW BEST:: SOT 4766718 SOS 826966 HAS SOPS 826966 HAS SOUS 678874 HAS SOUPS 678874 WITH SCORE 679700.966
AT ITER 1664 NEW BEST:: SOT 4766538 SOS 826606 HAS SOPS 826606 HAS SOUS 678289 HAS SOUPS 678289 WITH SCORE 679115.606
AT ITER 1670 NEW BEST:: SOT 4765868 SOS 826783 HAS SOPS 826783 HAS SOUS 677998 HAS SOUPS 677998 WITH SCORE 678824.783
AT ITER 1695 NEW BEST:: SOT 4765497 SOS 826041 HAS SOPS 826041 HAS SOUS 677627 HAS SOUPS 677627 WITH SCORE 678453.041
AT ITER 1720 NEW BEST:: SOT 4765498 SOS 826043 HAS SOPS 826043 HAS SOUS 677625 HAS SOUPS 677625 WITH SCORE 678451.043
AT ITER 1728 NEW BEST:: SOT 4765498 SOS 825993 HAS SOPS 825993 HAS SOUS 677625 HAS SOUPS 677625 WITH SCORE 678450.993
AT ITER 1731 NEW BEST:: SOT 4765653 SOS 826148 HAS SOPS 826148 HAS SOUS 677431 HAS SOUPS 677431 WITH SCORE 678257.148
AT ITER 1751 NEW BEST:: SOT 4765474 SOS 825790 HAS SOPS 825790 HAS SOUS 677073 HAS SOUPS 677073 WITH SCORE 677898.79
AT ITER 1781 NEW BEST:: SOT 4765383 SOS 825780 HAS SOPS 825780 HAS SOUS 677072 HAS SOUPS 677072 WITH SCORE 677897.78
AT ITER 1786 NEW BEST:: SOT 4765387 SOS 825136 HAS SOPS 825136 HAS SOUS 676651 HAS SOUPS 676651 WITH SCORE 677476.136
AT ITER 1801 NEW BEST:: SOT 4765387 SOS 825361 HAS SOPS 825361 HAS SOUS 676536 HAS SOUPS 676536 WITH SCORE 677361.361
AT ITER 1804 NEW BEST:: SOT 4765687 SOS 825457 HAS SOPS 825457 HAS SOUS 676415 HAS SOUPS 676415 WITH SCORE 677240.457
AT ITER 1821 NEW BEST:: SOT 4765525 SOS 825367 HAS SOPS 825367 HAS SOUS 676325 HAS SOUPS 676325 WITH SCORE 677150.367
AT ITER 1824 NEW BEST:: SOT 4765478 SOS 825273 HAS SOPS 825273 HAS SOUS 676231 HAS SOUPS 676231 WITH SCORE 677056.273
AT ITER 1833 NEW BEST:: SOT 4765022 SOS 825052 HAS SOPS 825052 HAS SOUS 676010 HAS SOUPS 676010 WITH SCORE 676835.052
AT ITER 1851 NEW BEST:: SOT 4764914 SOS 824836 HAS SOPS 824836 HAS SOUS 675936 HAS SOUPS 675936 WITH SCORE 676760.836
AT ITER 1869 NEW BEST:: SOT 4764774 SOS 824556 HAS SOPS 824556 HAS SOUS 675656 HAS SOUPS 675656 WITH SCORE 676480.556
AT ITER 1913 NEW BEST:: SOT 4764566 SOS 824140 HAS SOPS 824140 HAS SOUS 675519 HAS SOUPS 675519 WITH SCORE 676343.14
AT ITER 1966 NEW BEST:: SOT 4764589 SOS 823346 HAS SOPS 823346 HAS SOUS 675486 HAS SOUPS 675486 WITH SCORE 676309.346
AT ITER 1995 NEW BEST:: SOT 4764589 SOS 823292 HAS SOPS 823292 HAS SOUS 675484 HAS SOUPS 675484 WITH SCORE 676307.292
AT ITER 2049 NEW BEST:: SOT 4764104 SOS 823652 HAS SOPS 823652 HAS SOUS 675300 HAS SOUPS 675300 WITH SCORE 676123.652
AT ITER 2079 NEW BEST:: SOT 4763860 SOS 822432 HAS SOPS 822432 HAS SOUS 674917 HAS SOUPS 674917 WITH SCORE 675739.432
AT ITER 2080 NEW BEST:: SOT 4763860 SOS 822417 HAS SOPS 822417 HAS SOUS 674917 HAS SOUPS 674917 WITH SCORE 675739.417
AT ITER 2083 NEW BEST:: SOT 4763844 SOS 822385 HAS SOPS 822385 HAS SOUS 674817 HAS SOUPS 674817 WITH SCORE 675639.385
AT ITER 2133 NEW BEST:: SOT 4763844 SOS 822309 HAS SOPS 822309 HAS SOUS 674741 HAS SOUPS 674741 WITH SCORE 675563.309
AT ITER 2156 NEW BEST:: SOT 4763815 SOS 822251 HAS SOPS 822251 HAS SOUS 674683 HAS SOUPS 674683 WITH SCORE 675505.251
AT ITER 2164 NEW BEST:: SOT 4761769 SOS 820763 HAS SOPS 820763 HAS SOUS 672823 HAS SOUPS 672823 WITH SCORE 673643.763
AT ITER 2199 NEW BEST:: SOT 4761768 SOS 820929 HAS SOPS 820929 HAS SOUS 672821 HAS SOUPS 672821 WITH SCORE 673641.929
AT ITER 2202 NEW BEST:: SOT 4761639 SOS 820926 HAS SOPS 820926 HAS SOUS 672733 HAS SOUPS 672733 WITH SCORE 673553.926
AT ITER 2234 NEW BEST:: SOT 4761602 SOS 820615 HAS SOPS 820615 HAS SOUS 672659 HAS SOUPS 672659 WITH SCORE 673479.615
AT ITER 2243 NEW BEST:: SOT 4761602 SOS 820395 HAS SOPS 820395 HAS SOUS 672549 HAS SOUPS 672549 WITH SCORE 673369.395
AT ITER 2311 NEW BEST:: SOT 4761477 SOS 820334 HAS SOPS 820334 HAS SOUS 672488 HAS SOUPS 672488 WITH SCORE 673308.334
AT ITER 2321 NEW BEST:: SOT 4759273 SOS 825631 HAS SOPS 825631 HAS SOUS 671316 HAS SOUPS 671316 WITH SCORE 672141.631
AT ITER 2331 NEW BEST:: SOT 4759504 SOS 824513 HAS SOPS 824513 HAS SOUS 670836 HAS SOUPS 670836 WITH SCORE 671660.513
AT ITER 2334 NEW BEST:: SOT 4759101 SOS 823708 HAS SOPS 823708 HAS SOUS 670365 HAS SOUPS 670365 WITH SCORE 671188.708
AT ITER 2354 NEW BEST:: SOT 4759101 SOS 823514 HAS SOPS 823514 HAS SOUS 670268 HAS SOUPS 670268 WITH SCORE 671091.514
AT ITER 2367 NEW BEST:: SOT 4758822 SOS 822967 HAS SOPS 822967 HAS SOUS 669855 HAS SOUPS 669855 WITH SCORE 670677.967
AT ITER 2380 NEW BEST:: SOT 4758313 SOS 822541 HAS SOPS 822541 HAS SOUS 669287 HAS SOUPS 669287 WITH SCORE 670109.541
AT ITER 2393 NEW BEST:: SOT 4758312 SOS 822539 HAS SOPS 822539 HAS SOUS 669285 HAS SOUPS 669285 WITH SCORE 670107.539
AT ITER 2399 NEW BEST:: SOT 4758528 SOS 822624 HAS SOPS 822624 HAS SOUS 669273 HAS SOUPS 669273 WITH SCORE 670095.624
AT ITER 2408 NEW BEST:: SOT 4758473 SOS 822514 HAS SOPS 822514 HAS SOUS 669218 HAS SOUPS 669218 WITH SCORE 670040.514
AT ITER 2409 NEW BEST:: SOT 4758081 SOS 822122 HAS SOPS 822122 HAS SOUS 668826 HAS SOUPS 668826 WITH SCORE 669648.122
AT ITER 2412 NEW BEST:: SOT 4757848 SOS 821656 HAS SOPS 821656 HAS SOUS 668403 HAS SOUPS 668403 WITH SCORE 669224.656
AT ITER 2415 NEW BEST:: SOT 4757622 SOS 821267 HAS SOPS 821267 HAS SOUS 668127 HAS SOUPS 668127 WITH SCORE 668948.267
AT ITER 2424 NEW BEST:: SOT 4757502 SOS 816902 HAS SOPS 816902 HAS SOUS 667732 HAS SOUPS 667732 WITH SCORE 668548.902
AT ITER 2433 NEW BEST:: SOT 4757502 SOS 816902 HAS SOPS 816902 HAS SOUS 667641 HAS SOUPS 667641 WITH SCORE 668457.902
AT ITER 2457 NEW BEST:: SOT 4757343 SOS 816584 HAS SOPS 816584 HAS SOUS 667323 HAS SOUPS 667323 WITH SCORE 668139.584
AT ITER 2465 NEW BEST:: SOT 4757343 SOS 816428 HAS SOPS 816428 HAS SOUS 667167 HAS SOUPS 667167 WITH SCORE 667983.428
AT ITER 2487 NEW BEST:: SOT 4757195 SOS 815688 HAS SOPS 815688 HAS SOUS 666871 HAS SOUPS 666871 WITH SCORE 667686.688
AT ITER 2505 NEW BEST:: SOT 4757120 SOS 815687 HAS SOPS 815687 HAS SOUS 666870 HAS SOUPS 666870 WITH SCORE 667685.687
AT ITER 2511 NEW BEST:: SOT 4756828 SOS 814811 HAS SOPS 814811 HAS SOUS 666262 HAS SOUPS 666262 WITH SCORE 667076.811
AT ITER 2514 NEW BEST:: SOT 4756808 SOS 814771 HAS SOPS 814771 HAS SOUS 666222 HAS SOUPS 666222 WITH SCORE 667036.771
AT ITER 2515 NEW BEST:: SOT 4756906 SOS 814511 HAS SOPS 814511 HAS SOUS 666190 HAS SOUPS 666190 WITH SCORE 667004.511
AT ITER 2516 NEW BEST:: SOT 4756668 SOS 813968 HAS SOPS 813968 HAS SOUS 665730 HAS SOUPS 665730 WITH SCORE 666543.968
AT ITER 2521 NEW BEST:: SOT 4756559 SOS 813750 HAS SOPS 813750 HAS SOUS 665621 HAS SOUPS 665621 WITH SCORE 666434.75
AT ITER 2527 NEW BEST:: SOT 4756402 SOS 813581 HAS SOPS 813581 HAS SOUS 665452 HAS SOUPS 665452 WITH SCORE 666265.581
AT ITER 2528 NEW BEST:: SOT 4755863 SOS 813675 HAS SOPS 813675 HAS SOUS 665203 HAS SOUPS 665203 WITH SCORE 666016.675
AT ITER 2530 NEW BEST:: SOT 4755628 SOS 813167 HAS SOPS 813167 HAS SOUS 664819 HAS SOUPS 664819 WITH SCORE 665632.167
AT ITER 2532 NEW BEST:: SOT 4755628 SOS 813163 HAS SOPS 813163 HAS SOUS 664819 HAS SOUPS 664819 WITH SCORE 665632.163
AT ITER 2563 NEW BEST:: SOT 4755230 SOS 811398 HAS SOPS 811398 HAS SOUS 663738 HAS SOUPS 663738 WITH SCORE 664549.398
AT ITER 2584 NEW BEST:: SOT 4754665 SOS 808947 HAS SOPS 808947 HAS SOUS 662671 HAS SOUPS 662671 WITH SCORE 663479.947
AT ITER 2585 NEW BEST:: SOT 4754315 SOS 807714 HAS SOPS 807714 HAS SOUS 662342 HAS SOUPS 662342 WITH SCORE 663149.714
AT ITER 2605 NEW BEST:: SOT 4754314 SOS 807712 HAS SOPS 807712 HAS SOUS 662340 HAS SOUPS 662340 WITH SCORE 663147.712
AT ITER 2607 NEW BEST:: SOT 4754115 SOS 807557 HAS SOPS 807557 HAS SOUS 662185 HAS SOUPS 662185 WITH SCORE 662992.557
AT ITER 2614 NEW BEST:: SOT 4753537 SOS 806666 HAS SOPS 806666 HAS SOUS 661771 HAS SOUPS 661771 WITH SCORE 662577.666
AT ITER 2632 NEW BEST:: SOT 4753537 SOS 806638 HAS SOPS 806638 HAS SOUS 661764 HAS SOUPS 661764 WITH SCORE 662570.638
AT ITER 2639 NEW BEST:: SOT 4753537 SOS 806592 HAS SOPS 806592 HAS SOUS 661718 HAS SOUPS 661718 WITH SCORE 662524.592
AT ITER 2661 NEW BEST:: SOT 4753465 SOS 806448 HAS SOPS 806448 HAS SOUS 661574 HAS SOUPS 661574 WITH SCORE 662380.448
AT ITER 2669 NEW BEST:: SOT 4753128 SOS 805774 HAS SOPS 805774 HAS SOUS 661237 HAS SOUPS 661237 WITH SCORE 662042.774
AT ITER 2676 NEW BEST:: SOT 4752926 SOS 805572 HAS SOPS 805572 HAS SOUS 660833 HAS SOUPS 660833 WITH SCORE 661638.572
AT ITER 2682 NEW BEST:: SOT 4752603 SOS 805504 HAS SOPS 805504 HAS SOUS 660765 HAS SOUPS 660765 WITH SCORE 661570.504
AT ITER 2683 NEW BEST:: SOT 4752505 SOS 805406 HAS SOPS 805406 HAS SOUS 660667 HAS SOUPS 660667 WITH SCORE 661472.406
AT ITER 2702 NEW BEST:: SOT 4752496 SOS 805642 HAS SOPS 805642 HAS SOUS 660658 HAS SOUPS 660658 WITH SCORE 661463.642
AT ITER 2728 NEW BEST:: SOT 4752484 SOS 805641 HAS SOPS 805641 HAS SOUS 660657 HAS SOUPS 660657 WITH SCORE 661462.641
AT ITER 2736 NEW BEST:: SOT 4752457 SOS 805587 HAS SOPS 805587 HAS SOUS 660620 HAS SOUPS 660620 WITH SCORE 661425.587
AT ITER 2742 NEW BEST:: SOT 4752437 SOS 805498 HAS SOPS 805498 HAS SOUS 660618 HAS SOUPS 660618 WITH SCORE 661423.498
AT ITER 2769 NEW BEST:: SOT 4752436 SOS 805496 HAS SOPS 805496 HAS SOUS 660616 HAS SOUPS 660616 WITH SCORE 661421.496
AT ITER 2791 NEW BEST:: SOT 4752031 SOS 803654 HAS SOPS 803654 HAS SOUS 660275 HAS SOUPS 660275 WITH SCORE 661078.654
AT ITER 2800 NEW BEST:: SOT 4751883 SOS 803780 HAS SOPS 803780 HAS SOUS 660228 HAS SOUPS 660228 WITH SCORE 661031.78
AT ITER 2818 NEW BEST:: SOT 4751831 SOS 803702 HAS SOPS 803702 HAS SOUS 660150 HAS SOUPS 660150 WITH SCORE 660953.702
AT ITER 2856 NEW BEST:: SOT 4751810 SOS 803681 HAS SOPS 803681 HAS SOUS 660129 HAS SOUPS 660129 WITH SCORE 660932.681
AT ITER 2860 NEW BEST:: SOT 4751378 SOS 803532 HAS SOPS 803532 HAS SOUS 659980 HAS SOUPS 659980 WITH SCORE 660783.532
AT ITER 2915 NEW BEST:: SOT 4751294 SOS 803490 HAS SOPS 803490 HAS SOUS 659938 HAS SOUPS 659938 WITH SCORE 660741.49
AT ITER 2916 NEW BEST:: SOT 4751252 SOS 803406 HAS SOPS 803406 HAS SOUS 659788 HAS SOUPS 659788 WITH SCORE 660591.406
AT ITER 2917 NEW BEST:: SOT 4750716 SOS 802870 HAS SOPS 802870 HAS SOUS 659252 HAS SOUPS 659252 WITH SCORE 660054.87
AT ITER 2933 NEW BEST:: SOT 4750528 SOS 802494 HAS SOPS 802494 HAS SOUS 658876 HAS SOUPS 658876 WITH SCORE 659678.494
AT ITER 2978 NEW BEST:: SOT 4750738 SOS 800870 HAS SOPS 800870 HAS SOUS 658683 HAS SOUPS 658683 WITH SCORE 659483.87
AT ITER 2997 NEW BEST:: SOT 4750674 SOS 800860 HAS SOPS 800860 HAS SOUS 658682 HAS SOUPS 658682 WITH SCORE 659482.86
AT ITER 3027 NEW BEST:: SOT 4750483 SOS 800669 HAS SOPS 800669 HAS SOUS 658682 HAS SOUPS 658682 WITH SCORE 659482.669
AT ITER 3037 NEW BEST:: SOT 4750425 SOS 800553 HAS SOPS 800553 HAS SOUS 658470 HAS SOUPS 658470 WITH SCORE 659270.553
AT ITER 3054 NEW BEST:: SOT 4750413 SOS 800529 HAS SOPS 800529 HAS SOUS 658446 HAS SOUPS 658446 WITH SCORE 659246.529
AT ITER 3068 NEW BEST:: SOT 4750136 SOS 799767 HAS SOPS 799767 HAS SOUS 657804 HAS SOUPS 657804 WITH SCORE 658603.767
AT ITER 3073 NEW BEST:: SOT 4750044 SOS 799583 HAS SOPS 799583 HAS SOUS 657620 HAS SOUPS 657620 WITH SCORE 658419.583
AT ITER 3079 NEW BEST:: SOT 4750040 SOS 799583 HAS SOPS 799583 HAS SOUS 657616 HAS SOUPS 657616 WITH SCORE 658415.583
AT ITER 3095 NEW BEST:: SOT 4750038 SOS 799579 HAS SOPS 799579 HAS SOUS 657613 HAS SOUPS 657613 WITH SCORE 658412.579
AT ITER 3117 NEW BEST:: SOT 4749908 SOS 799449 HAS SOPS 799449 HAS SOUS 657483 HAS SOUPS 657483 WITH SCORE 658282.449
AT ITER 3145 NEW BEST:: SOT 4749640 SOS 798913 HAS SOPS 798913 HAS SOUS 656947 HAS SOUPS 656947 WITH SCORE 657745.913
AT ITER 3147 NEW BEST:: SOT 4749491 SOS 798615 HAS SOPS 798615 HAS SOUS 656364 HAS SOUPS 656364 WITH SCORE 657162.615
AT ITER 3190 NEW BEST:: SOT 4747324 SOS 798243 HAS SOPS 798243 HAS SOUS 654806 HAS SOUPS 654806 WITH SCORE 655604.243
AT ITER 3224 NEW BEST:: SOT 4747284 SOS 798163 HAS SOPS 798163 HAS SOUS 654726 HAS SOUPS 654726 WITH SCORE 655524.163
AT ITER 3226 NEW BEST:: SOT 4747283 SOS 798161 HAS SOPS 798161 HAS SOUS 654724 HAS SOUPS 654724 WITH SCORE 655522.161
AT ITER 3227 NEW BEST:: SOT 4747122 SOS 798000 HAS SOPS 798000 HAS SOUS 654501 HAS SOUPS 654501 WITH SCORE 655299.0
AT ITER 3233 NEW BEST:: SOT 4747122 SOS 797797 HAS SOPS 797797 HAS SOUS 654501 HAS SOUPS 654501 WITH SCORE 655298.797
AT ITER 3280 NEW BEST:: SOT 4747080 SOS 797411 HAS SOPS 797411 HAS SOUS 654457 HAS SOUPS 654457 WITH SCORE 655254.411
AT ITER 3293 NEW BEST:: SOT 4747042 SOS 797335 HAS SOPS 797335 HAS SOUS 654419 HAS SOUPS 654419 WITH SCORE 655216.335
AT ITER 3295 NEW BEST:: SOT 4747125 SOS 797287 HAS SOPS 797287 HAS SOUS 654371 HAS SOUPS 654371 WITH SCORE 655168.287
AT ITER 3313 NEW BEST:: SOT 4747125 SOS 796645 HAS SOPS 796645 HAS SOUS 654371 HAS SOUPS 654371 WITH SCORE 655167.645
AT ITER 3353 NEW BEST:: SOT 4747108 SOS 796925 HAS SOPS 796925 HAS SOUS 654346 HAS SOUPS 654346 WITH SCORE 655142.925
AT ITER 3363 NEW BEST:: SOT 4747107 SOS 796923 HAS SOPS 796923 HAS SOUS 654344 HAS SOUPS 654344 WITH SCORE 655140.923
AT ITER 3379 NEW BEST:: SOT 4747107 SOS 796885 HAS SOPS 796885 HAS SOUS 654344 HAS SOUPS 654344 WITH SCORE 655140.885
AT ITER 3385 NEW BEST:: SOT 4747166 SOS 796722 HAS SOPS 796722 HAS SOUS 654329 HAS SOUPS 654329 WITH SCORE 655125.722
AT ITER 3394 NEW BEST:: SOT 4747049 SOS 796364 HAS SOPS 796364 HAS SOUS 653971 HAS SOUPS 653971 WITH SCORE 654767.364
AT ITER 3408 NEW BEST:: SOT 4746958 SOS 795826 HAS SOPS 795826 HAS SOUS 653971 HAS SOUPS 653971 WITH SCORE 654766.826
AT ITER 3416 NEW BEST:: SOT 4746930 SOS 795798 HAS SOPS 795798 HAS SOUS 653943 HAS SOUPS 653943 WITH SCORE 654738.798
AT ITER 3471 NEW BEST:: SOT 4746887 SOS 795755 HAS SOPS 795755 HAS SOUS 653900 HAS SOUPS 653900 WITH SCORE 654695.755
AT ITER 3515 NEW BEST:: SOT 4746846 SOS 795345 HAS SOPS 795345 HAS SOUS 653695 HAS SOUPS 653695 WITH SCORE 654490.345
AT ITER 3527 NEW BEST:: SOT 4746968 SOS 795589 HAS SOPS 795589 HAS SOUS 653668 HAS SOUPS 653668 WITH SCORE 654463.589
AT ITER 3542 NEW BEST:: SOT 4746733 SOS 795119 HAS SOPS 795119 HAS SOUS 653198 HAS SOUPS 653198 WITH SCORE 653993.119
AT ITER 3584 NEW BEST:: SOT 4746733 SOS 795081 HAS SOPS 795081 HAS SOUS 653160 HAS SOUPS 653160 WITH SCORE 653955.081
AT ITER 3590 NEW BEST:: SOT 4746596 SOS 794807 HAS SOPS 794807 HAS SOUS 652886 HAS SOUPS 652886 WITH SCORE 653680.807
AT ITER 3598 NEW BEST:: SOT 4746682 SOS 793220 HAS SOPS 793220 HAS SOUS 652518 HAS SOUPS 652518 WITH SCORE 653311.22
AT ITER 3610 NEW BEST:: SOT 4746672 SOS 793200 HAS SOPS 793200 HAS SOUS 652498 HAS SOUPS 652498 WITH SCORE 653291.2
AT ITER 3613 NEW BEST:: SOT 4746639 SOS 793134 HAS SOPS 793134 HAS SOUS 652465 HAS SOUPS 652465 WITH SCORE 653258.134
AT ITER 3614 NEW BEST:: SOT 4746451 SOS 792758 HAS SOPS 792758 HAS SOUS 652275 HAS SOUPS 652275 WITH SCORE 653067.758
AT ITER 3633 NEW BEST:: SOT 4746058 SOS 792365 HAS SOPS 792365 HAS SOUS 651882 HAS SOUPS 651882 WITH SCORE 652674.365
AT ITER 3667 NEW BEST:: SOT 4746057 SOS 792363 HAS SOPS 792363 HAS SOUS 651880 HAS SOUPS 651880 WITH SCORE 652672.363
AT ITER 3726 NEW BEST:: SOT 4746124 SOS 792266 HAS SOPS 792266 HAS SOUS 651815 HAS SOUPS 651815 WITH SCORE 652607.266
AT ITER 3747 NEW BEST:: SOT 4745820 SOS 791943 HAS SOPS 791943 HAS SOUS 651492 HAS SOUPS 651492 WITH SCORE 652283.943
AT ITER 3764 NEW BEST:: SOT 4745794 SOS 791891 HAS SOPS 791891 HAS SOUS 651372 HAS SOUPS 651372 WITH SCORE 652163.891
AT ITER 3771 NEW BEST:: SOT 4745653 SOS 791643 HAS SOPS 791643 HAS SOUS 651132 HAS SOUPS 651132 WITH SCORE 651923.643
AT ITER 3780 NEW BEST:: SOT 4745493 SOS 791483 HAS SOPS 791483 HAS SOUS 650972 HAS SOUPS 650972 WITH SCORE 651763.483
AT ITER 3782 NEW BEST:: SOT 4745677 SOS 791145 HAS SOPS 791145 HAS SOUS 650691 HAS SOUPS 650691 WITH SCORE 651482.145
AT ITER 3867 NEW BEST:: SOT 4745677 SOS 791065 HAS SOPS 791065 HAS SOUS 650611 HAS SOUPS 650611 WITH SCORE 651402.065
AT ITER 3903 NEW BEST:: SOT 4745636 SOS 790857 HAS SOPS 790857 HAS SOUS 650564 HAS SOUPS 650564 WITH SCORE 651354.857
AT ITER 3947 NEW BEST:: SOT 4745629 SOS 790843 HAS SOPS 790843 HAS SOUS 650452 HAS SOUPS 650452 WITH SCORE 651242.843
AT ITER 3962 NEW BEST:: SOT 4745628 SOS 790841 HAS SOPS 790841 HAS SOUS 650450 HAS SOUPS 650450 WITH SCORE 651240.841
AT ITER 3968 NEW BEST:: SOT 4745627 SOS 790906 HAS SOPS 790906 HAS SOUS 650448 HAS SOUPS 650448 WITH SCORE 651238.906
AT ITER 3993 NEW BEST:: SOT 4744992 SOS 790660 HAS SOPS 790660 HAS SOUS 649989 HAS SOUPS 649989 WITH SCORE 650779.66
AT ITER 4019 NEW BEST:: SOT 4744924 SOS 790626 HAS SOPS 790626 HAS SOUS 649939 HAS SOUPS 649939 WITH SCORE 650729.626
AT ITER 4037 NEW BEST:: SOT 4744608 SOS 790223 HAS SOPS 790223 HAS SOUS 649536 HAS SOUPS 649536 WITH SCORE 650326.223
AT ITER 4066 NEW BEST:: SOT 4744605 SOS 790217 HAS SOPS 790217 HAS SOUS 649530 HAS SOUPS 649530 WITH SCORE 650320.217
AT ITER 4098 NEW BEST:: SOT 4744203 SOS 788207 HAS SOPS 788207 HAS SOUS 648726 HAS SOUPS 648726 WITH SCORE 649514.207
AT ITER 4099 NEW BEST:: SOT 4744199 SOS 788199 HAS SOPS 788199 HAS SOUS 648718 HAS SOUPS 648718 WITH SCORE 649506.199
AT ITER 4100 NEW BEST:: SOT 4743950 SOS 788124 HAS SOPS 788124 HAS SOUS 648610 HAS SOUPS 648610 WITH SCORE 649398.124
AT ITER 4126 NEW BEST:: SOT 4743948 SOS 788120 HAS SOPS 788120 HAS SOUS 648606 HAS SOUPS 648606 WITH SCORE 649394.12
AT ITER 4132 NEW BEST:: SOT 4743925 SOS 788074 HAS SOPS 788074 HAS SOUS 648560 HAS SOUPS 648560 WITH SCORE 649348.074
AT ITER 4133 NEW BEST:: SOT 4743925 SOS 788069 HAS SOPS 788069 HAS SOUS 648555 HAS SOUPS 648555 WITH SCORE 649343.069
AT ITER 4143 NEW BEST:: SOT 4743861 SOS 788007 HAS SOPS 788007 HAS SOUS 648493 HAS SOUPS 648493 WITH SCORE 649281.007
AT ITER 4147 NEW BEST:: SOT 4743674 SOS 787921 HAS SOPS 787921 HAS SOUS 648183 HAS SOUPS 648183 WITH SCORE 648970.921
AT ITER 4185 NEW BEST:: SOT 4743178 SOS 786185 HAS SOPS 786185 HAS SOUS 647439 HAS SOUPS 647439 WITH SCORE 648225.185
AT ITER 4216 NEW BEST:: SOT 4743242 SOS 786313 HAS SOPS 786313 HAS SOUS 647077 HAS SOUPS 647077 WITH SCORE 647863.313
AT ITER 4218 NEW BEST:: SOT 4742899 SOS 786312 HAS SOPS 786312 HAS SOUS 647076 HAS SOUPS 647076 WITH SCORE 647862.312
AT ITER 4234 NEW BEST:: SOT 4742671 SOS 785856 HAS SOPS 785856 HAS SOUS 646848 HAS SOUPS 646848 WITH SCORE 647633.856
AT ITER 4248 NEW BEST:: SOT 4742659 SOS 785832 HAS SOPS 785832 HAS SOUS 646824 HAS SOUPS 646824 WITH SCORE 647609.832
AT ITER 4254 NEW BEST:: SOT 4742592 SOS 785564 HAS SOPS 785564 HAS SOUS 646690 HAS SOUPS 646690 WITH SCORE 647475.564
AT ITER 4281 NEW BEST:: SOT 4742485 SOS 785457 HAS SOPS 785457 HAS SOUS 646690 HAS SOUPS 646690 WITH SCORE 647475.457
AT ITER 4312 NEW BEST:: SOT 4740143 SOS 793219 HAS SOPS 793219 HAS SOUS 645102 HAS SOUPS 645102 WITH SCORE 645895.219
AT ITER 4327 NEW BEST:: SOT 4740094 SOS 793121 HAS SOPS 793121 HAS SOUS 645004 HAS SOUPS 645004 WITH SCORE 645797.121
AT ITER 4330 NEW BEST:: SOT 4740094 SOS 792944 HAS SOPS 792944 HAS SOUS 645004 HAS SOUPS 645004 WITH SCORE 645796.944
AT ITER 4356 NEW BEST:: SOT 4740041 SOS 792938 HAS SOPS 792938 HAS SOUS 644898 HAS SOUPS 644898 WITH SCORE 645690.938
AT ITER 4416 NEW BEST:: SOT 4739855 SOS 792566 HAS SOPS 792566 HAS SOUS 644526 HAS SOUPS 644526 WITH SCORE 645318.566
AT ITER 4422 NEW BEST:: SOT 4739844 SOS 792544 HAS SOPS 792544 HAS SOUS 644504 HAS SOUPS 644504 WITH SCORE 645296.544
AT ITER 4462 NEW BEST:: SOT 4739725 SOS 792885 HAS SOPS 792885 HAS SOUS 644470 HAS SOUPS 644470 WITH SCORE 645262.885
AT ITER 4471 NEW BEST:: SOT 4739666 SOS 792857 HAS SOPS 792857 HAS SOUS 644442 HAS SOUPS 644442 WITH SCORE 645234.857
AT ITER 4502 NEW BEST:: SOT 4739603 SOS 792584 HAS SOPS 792584 HAS SOUS 644369 HAS SOUPS 644369 WITH SCORE 645161.584
AT ITER 4564 NEW BEST:: SOT 4739231 SOS 791891 HAS SOPS 791891 HAS SOUS 643846 HAS SOUPS 643846 WITH SCORE 644637.891
AT ITER 4574 NEW BEST:: SOT 4739191 SOS 791811 HAS SOPS 791811 HAS SOUS 643766 HAS SOUPS 643766 WITH SCORE 644557.811
AT ITER 4584 NEW BEST:: SOT 4739191 SOS 791701 HAS SOPS 791701 HAS SOUS 643766 HAS SOUPS 643766 WITH SCORE 644557.701
AT ITER 4587 NEW BEST:: SOT 4739125 SOS 791569 HAS SOPS 791569 HAS SOUS 643634 HAS SOUPS 643634 WITH SCORE 644425.569
AT ITER 4613 NEW BEST:: SOT 4738881 SOS 791081 HAS SOPS 791081 HAS SOUS 643146 HAS SOUPS 643146 WITH SCORE 643937.081
AT ITER 4618 NEW BEST:: SOT 4738860 SOS 791039 HAS SOPS 791039 HAS SOUS 643104 HAS SOUPS 643104 WITH SCORE 643895.039
AT ITER 4636 NEW BEST:: SOT 4738687 SOS 791038 HAS SOPS 791038 HAS SOUS 643103 HAS SOUPS 643103 WITH SCORE 643894.038
AT ITER 4674 NEW BEST:: SOT 4738677 SOS 791008 HAS SOPS 791008 HAS SOUS 643088 HAS SOUPS 643088 WITH SCORE 643879.008
AT ITER 4683 NEW BEST:: SOT 4738468 SOS 790799 HAS SOPS 790799 HAS SOUS 642879 HAS SOUPS 642879 WITH SCORE 643669.799
AT ITER 4703 NEW BEST:: SOT 4738210 SOS 790283 HAS SOPS 790283 HAS SOUS 642415 HAS SOUPS 642415 WITH SCORE 643205.283
AT ITER 4704 NEW BEST:: SOT 4738153 SOS 790170 HAS SOPS 790170 HAS SOUS 642302 HAS SOUPS 642302 WITH SCORE 643092.17
AT ITER 4776 NEW BEST:: SOT 4737968 SOS 789800 HAS SOPS 789800 HAS SOUS 641932 HAS SOUPS 641932 WITH SCORE 642721.8
AT ITER 4843 NEW BEST:: SOT 4737887 SOS 789638 HAS SOPS 789638 HAS SOUS 641770 HAS SOUPS 641770 WITH SCORE 642559.638
AT ITER 4884 NEW BEST:: SOT 4737852 SOS 789533 HAS SOPS 789533 HAS SOUS 641700 HAS SOUPS 641700 WITH SCORE 642489.533
AT ITER 4888 NEW BEST:: SOT 4737852 SOS 789532 HAS SOPS 789532 HAS SOUS 641698 HAS SOUPS 641698 WITH SCORE 642487.532
AT ITER 4899 NEW BEST:: SOT 4737540 SOS 789376 HAS SOPS 789376 HAS SOUS 641542 HAS SOUPS 641542 WITH SCORE 642331.376
AT ITER 4904 NEW BEST:: SOT 4737365 SOS 789026 HAS SOPS 789026 HAS SOUS 641367 HAS SOUPS 641367 WITH SCORE 642156.026
AT ITER 4906 NEW BEST:: SOT 4737334 SOS 788964 HAS SOPS 788964 HAS SOUS 641305 HAS SOUPS 641305 WITH SCORE 642093.964
AT ITER 4909 NEW BEST:: SOT 4737334 SOS 788401 HAS SOPS 788401 HAS SOUS 641305 HAS SOUPS 641305 WITH SCORE 642093.401
AT ITER 4914 NEW BEST:: SOT 4737334 SOS 789212 HAS SOPS 789212 HAS SOUS 641252 HAS SOUPS 641252 WITH SCORE 642041.212
AT ITER 4947 NEW BEST:: SOT 4737277 SOS 789098 HAS SOPS 789098 HAS SOUS 641138 HAS SOUPS 641138 WITH SCORE 641927.098
AT ITER 4954 NEW BEST:: SOT 4737207 SOS 788958 HAS SOPS 788958 HAS SOUS 640998 HAS SOUPS 640998 WITH SCORE 641786.958
AT ITER 4960 NEW BEST:: SOT 4737207 SOS 788854 HAS SOPS 788854 HAS SOUS 640998 HAS SOUPS 640998 WITH SCORE 641786.854
AT ITER 4984 NEW BEST:: SOT 4736931 SOS 788500 HAS SOPS 788500 HAS SOUS 640644 HAS SOUPS 640644 WITH SCORE 641432.5
AT ITER 4996 NEW BEST:: SOT 4736909 SOS 788456 HAS SOPS 788456 HAS SOUS 640600 HAS SOUPS 640600 WITH SCORE 641388.456
AT ITER 4997 NEW BEST:: SOT 4736899 SOS 787833 HAS SOPS 787833 HAS SOUS 640580 HAS SOUPS 640580 WITH SCORE 641367.833
AT ITER 5004 NEW BEST:: SOT 4736818 SOS 787671 HAS SOPS 787671 HAS SOUS 640418 HAS SOUPS 640418 WITH SCORE 641205.671
AT ITER 5014 NEW BEST:: SOT 4736818 SOS 787488 HAS SOPS 787488 HAS SOUS 640418 HAS SOUPS 640418 WITH SCORE 641205.488
AT ITER 5040 NEW BEST:: SOT 4736641 SOS 787134 HAS SOPS 787134 HAS SOUS 640240 HAS SOUPS 640240 WITH SCORE 641027.134
AT ITER 5041 NEW BEST:: SOT 4736346 SOS 786544 HAS SOPS 786544 HAS SOUS 639945 HAS SOUPS 639945 WITH SCORE 640731.544
AT ITER 5079 NEW BEST:: SOT 4736391 SOS 786454 HAS SOPS 786454 HAS SOUS 639922 HAS SOUPS 639922 WITH SCORE 640708.454
AT ITER 5086 NEW BEST:: SOT 4736195 SOS 786356 HAS SOPS 786356 HAS SOUS 639824 HAS SOUPS 639824 WITH SCORE 640610.356
AT ITER 5095 NEW BEST:: SOT 4736195 SOS 786089 HAS SOPS 786089 HAS SOUS 639824 HAS SOUPS 639824 WITH SCORE 640610.089
AT ITER 5114 NEW BEST:: SOT 4736078 SOS 785855 HAS SOPS 785855 HAS SOUS 639590 HAS SOUPS 639590 WITH SCORE 640375.855
AT ITER 5175 NEW BEST:: SOT 4735948 SOS 785595 HAS SOPS 785595 HAS SOUS 639460 HAS SOUPS 639460 WITH SCORE 640245.595
AT ITER 5197 NEW BEST:: SOT 4735849 SOS 785496 HAS SOPS 785496 HAS SOUS 639361 HAS SOUPS 639361 WITH SCORE 640146.496
AT ITER 5198 NEW BEST:: SOT 4735922 SOS 785943 HAS SOPS 785943 HAS SOUS 639219 HAS SOUPS 639219 WITH SCORE 640004.943
AT ITER 5211 NEW BEST:: SOT 4735828 SOS 786107 HAS SOPS 786107 HAS SOUS 639207 HAS SOUPS 639207 WITH SCORE 639993.107
AT ITER 5227 NEW BEST:: SOT 4735868 SOS 786073 HAS SOPS 786073 HAS SOUS 639173 HAS SOUPS 639173 WITH SCORE 639959.073
AT ITER 5264 NEW BEST:: SOT 4735851 SOS 786056 HAS SOPS 786056 HAS SOUS 639156 HAS SOUPS 639156 WITH SCORE 639942.056
AT ITER 5289 NEW BEST:: SOT 4735791 SOS 785814 HAS SOPS 785814 HAS SOUS 639130 HAS SOUPS 639130 WITH SCORE 639915.814
AT ITER 5315 NEW BEST:: SOT 4735532 SOS 785813 HAS SOPS 785813 HAS SOUS 639129 HAS SOUPS 639129 WITH SCORE 639914.813
AT ITER 5319 NEW BEST:: SOT 4735351 SOS 785451 HAS SOPS 785451 HAS SOUS 638948 HAS SOUPS 638948 WITH SCORE 639733.451
AT ITER 5339 NEW BEST:: SOT 4735273 SOS 785997 HAS SOPS 785997 HAS SOUS 638792 HAS SOUPS 638792 WITH SCORE 639577.997
AT ITER 5358 NEW BEST:: SOT 4734918 SOS 785577 HAS SOPS 785577 HAS SOUS 638372 HAS SOUPS 638372 WITH SCORE 639157.577
AT ITER 5381 NEW BEST:: SOT 4734918 SOS 785513 HAS SOPS 785513 HAS SOUS 638372 HAS SOUPS 638372 WITH SCORE 639157.513
AT ITER 5389 NEW BEST:: SOT 4735009 SOS 785316 HAS SOPS 785316 HAS SOUS 638317 HAS SOUPS 638317 WITH SCORE 639102.316
AT ITER 5450 NEW BEST:: SOT 4735008 SOS 785314 HAS SOPS 785314 HAS SOUS 638315 HAS SOUPS 638315 WITH SCORE 639100.314
AT ITER 5453 NEW BEST:: SOT 4734727 SOS 784752 HAS SOPS 784752 HAS SOUS 638034 HAS SOUPS 638034 WITH SCORE 638818.752
AT ITER 5475 NEW BEST:: SOT 4734137 SOS 788118 HAS SOPS 788118 HAS SOUS 637739 HAS SOUPS 637739 WITH SCORE 638527.118
AT ITER 5516 NEW BEST:: SOT 4734281 SOS 788212 HAS SOPS 788212 HAS SOUS 637730 HAS SOUPS 637730 WITH SCORE 638518.212
AT ITER 5547 NEW BEST:: SOT 4734280 SOS 788210 HAS SOPS 788210 HAS SOUS 637728 HAS SOUPS 637728 WITH SCORE 638516.21
AT ITER 5555 NEW BEST:: SOT 4734382 SOS 787160 HAS SOPS 787160 HAS SOUS 637411 HAS SOUPS 637411 WITH SCORE 638198.16
AT ITER 5558 NEW BEST:: SOT 4734446 SOS 787110 HAS SOPS 787110 HAS SOUS 637361 HAS SOUPS 637361 WITH SCORE 638148.11
AT ITER 5561 NEW BEST:: SOT 4734163 SOS 786544 HAS SOPS 786544 HAS SOUS 636795 HAS SOUPS 636795 WITH SCORE 637581.544
AT ITER 5575 NEW BEST:: SOT 4734102 SOS 786300 HAS SOPS 786300 HAS SOUS 636673 HAS SOUPS 636673 WITH SCORE 637459.3
AT ITER 5578 NEW BEST:: SOT 4733900 SOS 786199 HAS SOPS 786199 HAS SOUS 636572 HAS SOUPS 636572 WITH SCORE 637358.199
AT ITER 5619 NEW BEST:: SOT 4733874 SOS 786147 HAS SOPS 786147 HAS SOUS 636546 HAS SOUPS 636546 WITH SCORE 637332.147
AT ITER 5630 NEW BEST:: SOT 4733655 SOS 785709 HAS SOPS 785709 HAS SOUS 636279 HAS SOUPS 636279 WITH SCORE 637064.709
AT ITER 5647 NEW BEST:: SOT 4733580 SOS 785570 HAS SOPS 785570 HAS SOUS 636274 HAS SOUPS 636274 WITH SCORE 637059.57
AT ITER 5686 NEW BEST:: SOT 4733154 SOS 784878 HAS SOPS 784878 HAS SOUS 635844 HAS SOUPS 635844 WITH SCORE 636628.878
AT ITER 5701 NEW BEST:: SOT 4733053 SOS 784639 HAS SOPS 784639 HAS SOUS 635743 HAS SOUPS 635743 WITH SCORE 636527.639
AT ITER 5739 NEW BEST:: SOT 4733098 SOS 784594 HAS SOPS 784594 HAS SOUS 635698 HAS SOUPS 635698 WITH SCORE 636482.594
AT ITER 5756 NEW BEST:: SOT 4733055 SOS 784508 HAS SOPS 784508 HAS SOUS 635655 HAS SOUPS 635655 WITH SCORE 636439.508
AT ITER 5769 NEW BEST:: SOT 4733055 SOS 784444 HAS SOPS 784444 HAS SOUS 635623 HAS SOUPS 635623 WITH SCORE 636407.444
AT ITER 5780 NEW BEST:: SOT 4732832 SOS 783832 HAS SOPS 783832 HAS SOUS 635514 HAS SOUPS 635514 WITH SCORE 636297.832
AT ITER 5816 NEW BEST:: SOT 4732892 SOS 783952 HAS SOPS 783952 HAS SOUS 635478 HAS SOUPS 635478 WITH SCORE 636261.952
AT ITER 5817 NEW BEST:: SOT 4732613 SOS 783673 HAS SOPS 783673 HAS SOUS 635199 HAS SOUPS 635199 WITH SCORE 635982.673
AT ITER 5833 NEW BEST:: SOT 4732409 SOS 783265 HAS SOPS 783265 HAS SOUS 635022 HAS SOUPS 635022 WITH SCORE 635805.265
AT ITER 5846 NEW BEST:: SOT 4732369 SOS 783265 HAS SOPS 783265 HAS SOUS 635002 HAS SOUPS 635002 WITH SCORE 635785.265
AT ITER 5895 NEW BEST:: SOT 4732362 SOS 783251 HAS SOPS 783251 HAS SOUS 634988 HAS SOUPS 634988 WITH SCORE 635771.251
AT ITER 5913 NEW BEST:: SOT 4732052 SOS 783036 HAS SOPS 783036 HAS SOUS 634822 HAS SOUPS 634822 WITH SCORE 635605.036
AT ITER 5942 NEW BEST:: SOT 4731822 SOS 783035 HAS SOPS 783035 HAS SOUS 634821 HAS SOUPS 634821 WITH SCORE 635604.035
AT ITER 5973 NEW BEST:: SOT 4731940 SOS 783271 HAS SOPS 783271 HAS SOUS 634794 HAS SOUPS 634794 WITH SCORE 635577.271
AT ITER 5989 NEW BEST:: SOT 4731884 SOS 782319 HAS SOPS 782319 HAS SOUS 634738 HAS SOUPS 634738 WITH SCORE 635520.319
AT ITER 6019 NEW BEST:: SOT 4731797 SOS 782145 HAS SOPS 782145 HAS SOUS 634651 HAS SOUPS 634651 WITH SCORE 635433.145
AT ITER 6021 NEW BEST:: SOT 4731227 SOS 781574 HAS SOPS 781574 HAS SOUS 634422 HAS SOUPS 634422 WITH SCORE 635203.574
AT ITER 6061 NEW BEST:: SOT 4731093 SOS 781497 HAS SOPS 781497 HAS SOUS 634354 HAS SOUPS 634354 WITH SCORE 635135.497
AT ITER 6076 NEW BEST:: SOT 4730889 SOS 781293 HAS SOPS 781293 HAS SOUS 634150 HAS SOUPS 634150 WITH SCORE 634931.293
AT ITER 6089 NEW BEST:: SOT 4730517 SOS 780549 HAS SOPS 780549 HAS SOUS 633875 HAS SOUPS 633875 WITH SCORE 634655.549
AT ITER 6116 NEW BEST:: SOT 4730497 SOS 780509 HAS SOPS 780509 HAS SOUS 633835 HAS SOUPS 633835 WITH SCORE 634615.509
AT ITER 6130 NEW BEST:: SOT 4730326 SOS 780167 HAS SOPS 780167 HAS SOUS 633493 HAS SOUPS 633493 WITH SCORE 634273.167
AT ITER 6162 NEW BEST:: SOT 4729835 SOS 780147 HAS SOPS 780147 HAS SOUS 633278 HAS SOUPS 633278 WITH SCORE 634058.147
AT ITER 6180 NEW BEST:: SOT 4729835 SOS 779873 HAS SOPS 779873 HAS SOUS 633278 HAS SOUPS 633278 WITH SCORE 634057.873
AT ITER 6187 NEW BEST:: SOT 4729769 SOS 779741 HAS SOPS 779741 HAS SOUS 633051 HAS SOUPS 633051 WITH SCORE 633830.741
AT ITER 6202 NEW BEST:: SOT 4729742 SOS 779687 HAS SOPS 779687 HAS SOUS 633024 HAS SOUPS 633024 WITH SCORE 633803.687
AT ITER 6244 NEW BEST:: SOT 4729748 SOS 779537 HAS SOPS 779537 HAS SOUS 632923 HAS SOUPS 632923 WITH SCORE 633702.537
AT ITER 6258 NEW BEST:: SOT 4729596 SOS 779461 HAS SOPS 779461 HAS SOUS 632847 HAS SOUPS 632847 WITH SCORE 633626.461
AT ITER 6294 NEW BEST:: SOT 4729477 SOS 778952 HAS SOPS 778952 HAS SOUS 632702 HAS SOUPS 632702 WITH SCORE 633480.952
AT ITER 6311 NEW BEST:: SOT 4729442 SOS 778882 HAS SOPS 778882 HAS SOUS 632537 HAS SOUPS 632537 WITH SCORE 633315.882
AT ITER 6316 NEW BEST:: SOT 4729336 SOS 778798 HAS SOPS 778798 HAS SOUS 632443 HAS SOUPS 632443 WITH SCORE 633221.798
AT ITER 6321 NEW BEST:: SOT 4729243 SOS 778410 HAS SOPS 778410 HAS SOUS 632273 HAS SOUPS 632273 WITH SCORE 633051.41
AT ITER 6371 NEW BEST:: SOT 4729170 SOS 778410 HAS SOPS 778410 HAS SOUS 632200 HAS SOUPS 632200 WITH SCORE 632978.41
AT ITER 6424 NEW BEST:: SOT 4729064 SOS 778727 HAS SOPS 778727 HAS SOUS 632072 HAS SOUPS 632072 WITH SCORE 632850.727
AT ITER 6434 NEW BEST:: SOT 4728646 SOS 778179 HAS SOPS 778179 HAS SOUS 631730 HAS SOUPS 631730 WITH SCORE 632508.179
AT ITER 6446 NEW BEST:: SOT 4728646 SOS 777993 HAS SOPS 777993 HAS SOUS 631637 HAS SOUPS 631637 WITH SCORE 632414.993
AT ITER 6467 NEW BEST:: SOT 4728405 SOS 777511 HAS SOPS 777511 HAS SOUS 631278 HAS SOUPS 631278 WITH SCORE 632055.511
AT ITER 6485 NEW BEST:: SOT 4728434 SOS 777569 HAS SOPS 777569 HAS SOUS 631213 HAS SOUPS 631213 WITH SCORE 631990.569
AT ITER 6513 NEW BEST:: SOT 4728230 SOS 777161 HAS SOPS 777161 HAS SOUS 631038 HAS SOUPS 631038 WITH SCORE 631815.161
AT ITER 6540 NEW BEST:: SOT 4728144 SOS 776989 HAS SOPS 776989 HAS SOUS 630952 HAS SOUPS 630952 WITH SCORE 631728.989
AT ITER 6543 NEW BEST:: SOT 4727651 SOS 778198 HAS SOPS 778198 HAS SOUS 630823 HAS SOUPS 630823 WITH SCORE 631601.198
AT ITER 6563 NEW BEST:: SOT 4727439 SOS 777138 HAS SOPS 777138 HAS SOUS 630399 HAS SOUPS 630399 WITH SCORE 631176.138
AT ITER 6597 NEW BEST:: SOT 4727447 SOS 777453 HAS SOPS 777453 HAS SOUS 630190 HAS SOUPS 630190 WITH SCORE 630967.453
AT ITER 6599 NEW BEST:: SOT 4727446 SOS 777451 HAS SOPS 777451 HAS SOUS 630188 HAS SOUPS 630188 WITH SCORE 630965.451
AT ITER 6614 NEW BEST:: SOT 4727446 SOS 777289 HAS SOPS 777289 HAS SOUS 630188 HAS SOUPS 630188 WITH SCORE 630965.289
AT ITER 6619 NEW BEST:: SOT 4727444 SOS 777279 HAS SOPS 777279 HAS SOUS 630184 HAS SOUPS 630184 WITH SCORE 630961.279
AT ITER 6622 NEW BEST:: SOT 4727423 SOS 777237 HAS SOPS 777237 HAS SOUS 630142 HAS SOUPS 630142 WITH SCORE 630919.237
AT ITER 6674 NEW BEST:: SOT 4727162 SOS 776715 HAS SOPS 776715 HAS SOUS 629650 HAS SOUPS 629650 WITH SCORE 630426.715
AT ITER 6706 NEW BEST:: SOT 4726894 SOS 776179 HAS SOPS 776179 HAS SOUS 629399 HAS SOUPS 629399 WITH SCORE 630175.179
AT ITER 6728 NEW BEST:: SOT 4726889 SOS 776169 HAS SOPS 776169 HAS SOUS 629394 HAS SOUPS 629394 WITH SCORE 630170.169
AT ITER 6751 NEW BEST:: SOT 4726672 SOS 775735 HAS SOPS 775735 HAS SOUS 628960 HAS SOUPS 628960 WITH SCORE 629735.735
AT ITER 6762 NEW BEST:: SOT 4726700 SOS 775788 HAS SOPS 775788 HAS SOUS 628783 HAS SOUPS 628783 WITH SCORE 629558.788
AT ITER 6793 NEW BEST:: SOT 4726667 SOS 775936 HAS SOPS 775936 HAS SOUS 628772 HAS SOUPS 628772 WITH SCORE 629547.936
AT ITER 6800 NEW BEST:: SOT 4726630 SOS 775899 HAS SOPS 775899 HAS SOUS 628735 HAS SOUPS 628735 WITH SCORE 629510.899
AT ITER 6832 NEW BEST:: SOT 4726093 SOS 775775 HAS SOPS 775775 HAS SOUS 628384 HAS SOUPS 628384 WITH SCORE 629159.775
AT ITER 6878 NEW BEST:: SOT 4725919 SOS 775427 HAS SOPS 775427 HAS SOUS 628036 HAS SOUPS 628036 WITH SCORE 628811.427
AT ITER 6881 NEW BEST:: SOT 4725907 SOS 775070 HAS SOPS 775070 HAS SOUS 628024 HAS SOUPS 628024 WITH SCORE 628799.07
AT ITER 6903 NEW BEST:: SOT 4725877 SOS 775010 HAS SOPS 775010 HAS SOUS 627964 HAS SOUPS 627964 WITH SCORE 628739.01
AT ITER 6913 NEW BEST:: SOT 4725853 SOS 774986 HAS SOPS 774986 HAS SOUS 627940 HAS SOUPS 627940 WITH SCORE 628714.986
AT ITER 6966 NEW BEST:: SOT 4725246 SOS 775592 HAS SOPS 775592 HAS SOUS 627438 HAS SOUPS 627438 WITH SCORE 628213.592
AT ITER 6968 NEW BEST:: SOT 4725393 SOS 775668 HAS SOPS 775668 HAS SOUS 627305 HAS SOUPS 627305 WITH SCORE 628080.668
AT ITER 6979 NEW BEST:: SOT 4725053 SOS 774988 HAS SOPS 774988 HAS SOUS 626965 HAS SOUPS 626965 WITH SCORE 627739.988
AT ITER 7002 NEW BEST:: SOT 4724987 SOS 774922 HAS SOPS 774922 HAS SOUS 626899 HAS SOUPS 626899 WITH SCORE 627673.922
AT ITER 7003 NEW BEST:: SOT 4724867 SOS 774531 HAS SOPS 774531 HAS SOUS 626644 HAS SOUPS 626644 WITH SCORE 627418.531
AT ITER 7033 NEW BEST:: SOT 4724807 SOS 774411 HAS SOPS 774411 HAS SOUS 626584 HAS SOUPS 626584 WITH SCORE 627358.411
AT ITER 7061 NEW BEST:: SOT 4724767 SOS 774331 HAS SOPS 774331 HAS SOUS 626544 HAS SOUPS 626544 WITH SCORE 627318.331
AT ITER 7064 NEW BEST:: SOT 4723776 SOS 780357 HAS SOPS 780357 HAS SOUS 626411 HAS SOUPS 626411 WITH SCORE 627191.357
AT ITER 7075 NEW BEST:: SOT 4723588 SOS 779744 HAS SOPS 779744 HAS SOUS 625749 HAS SOUPS 625749 WITH SCORE 626528.744
AT ITER 7092 NEW BEST:: SOT 4723551 SOS 779670 HAS SOPS 779670 HAS SOUS 625675 HAS SOUPS 625675 WITH SCORE 626454.67
AT ITER 7108 NEW BEST:: SOT 4723223 SOS 779592 HAS SOPS 779592 HAS SOUS 625347 HAS SOUPS 625347 WITH SCORE 626126.592
AT ITER 7126 NEW BEST:: SOT 4723185 SOS 779516 HAS SOPS 779516 HAS SOUS 625271 HAS SOUPS 625271 WITH SCORE 626050.516
AT ITER 7204 NEW BEST:: SOT 4723162 SOS 779598 HAS SOPS 779598 HAS SOUS 625248 HAS SOUPS 625248 WITH SCORE 626027.598
AT ITER 7235 NEW BEST:: SOT 4723151 SOS 779576 HAS SOPS 779576 HAS SOUS 625226 HAS SOUPS 625226 WITH SCORE 626005.576
AT ITER 7252 NEW BEST:: SOT 4723145 SOS 779564 HAS SOPS 779564 HAS SOUS 625198 HAS SOUPS 625198 WITH SCORE 625977.564
AT ITER 7255 NEW BEST:: SOT 4723116 SOS 779507 HAS SOPS 779507 HAS SOUS 625141 HAS SOUPS 625141 WITH SCORE 625920.507
AT ITER 7278 NEW BEST:: SOT 4722920 SOS 778396 HAS SOPS 778396 HAS SOUS 624590 HAS SOUPS 624590 WITH SCORE 625368.396
AT ITER 7298 NEW BEST:: SOT 4722833 SOS 778309 HAS SOPS 778309 HAS SOUS 624590 HAS SOUPS 624590 WITH SCORE 625368.309
AT ITER 7306 NEW BEST:: SOT 4722861 SOS 778223 HAS SOPS 778223 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625282.223
AT ITER 7310 NEW BEST:: SOT 4722771 SOS 778292 HAS SOPS 778292 HAS SOUS 624414 HAS SOUPS 624414 WITH SCORE 625192.292
AT ITER 7390 NEW BEST:: SOT 4722581 SOS 777887 HAS SOPS 777887 HAS SOUS 624113 HAS SOUPS 624113 WITH SCORE 624890.887
AT ITER 7424 NEW BEST:: SOT 4722401 SOS 777143 HAS SOPS 777143 HAS SOUS 623561 HAS SOUPS 623561 WITH SCORE 624338.143
AT ITER 7425 NEW BEST:: SOT 4722326 SOS 777065 HAS SOPS 777065 HAS SOUS 623485 HAS SOUPS 623485 WITH SCORE 624262.065
AT ITER 7426 NEW BEST:: SOT 4722376 SOS 777165 HAS SOPS 777165 HAS SOUS 623435 HAS SOUPS 623435 WITH SCORE 624212.165
AT ITER 7442 NEW BEST:: SOT 4722375 SOS 777163 HAS SOPS 777163 HAS SOUS 623433 HAS SOUPS 623433 WITH SCORE 624210.163
AT ITER 7451 NEW BEST:: SOT 4722202 SOS 776817 HAS SOPS 776817 HAS SOUS 623087 HAS SOUPS 623087 WITH SCORE 623863.817
AT ITER 7515 NEW BEST:: SOT 4722065 SOS 776543 HAS SOPS 776543 HAS SOUS 622950 HAS SOUPS 622950 WITH SCORE 623726.543
AT ITER 7523 NEW BEST:: SOT 4721888 SOS 776189 HAS SOPS 776189 HAS SOUS 622596 HAS SOUPS 622596 WITH SCORE 623372.189
AT ITER 7550 NEW BEST:: SOT 4721839 SOS 775944 HAS SOPS 775944 HAS SOUS 622498 HAS SOUPS 622498 WITH SCORE 623273.944
AT ITER 7609 NEW BEST:: SOT 4721581 SOS 775686 HAS SOPS 775686 HAS SOUS 622240 HAS SOUPS 622240 WITH SCORE 623015.686
AT ITER 7612 NEW BEST:: SOT 4721580 SOS 775678 HAS SOPS 775678 HAS SOUS 622232 HAS SOUPS 622232 WITH SCORE 623007.678
AT ITER 7633 NEW BEST:: SOT 4721504 SOS 775526 HAS SOPS 775526 HAS SOUS 622156 HAS SOUPS 622156 WITH SCORE 622931.526
AT ITER 7640 NEW BEST:: SOT 4721300 SOS 775437 HAS SOPS 775437 HAS SOUS 622067 HAS SOUPS 622067 WITH SCORE 622842.437
AT ITER 7654 NEW BEST:: SOT 4720876 SOS 775283 HAS SOPS 775283 HAS SOUS 621801 HAS SOUPS 621801 WITH SCORE 622576.283
AT ITER 7707 NEW BEST:: SOT 4720748 SOS 775191 HAS SOPS 775191 HAS SOUS 621673 HAS SOUPS 621673 WITH SCORE 622448.191
AT ITER 7718 NEW BEST:: SOT 4720703 SOS 775146 HAS SOPS 775146 HAS SOUS 621587 HAS SOUPS 621587 WITH SCORE 622362.146
AT ITER 7744 NEW BEST:: SOT 4720652 SOS 775044 HAS SOPS 775044 HAS SOUS 621485 HAS SOUPS 621485 WITH SCORE 622260.044
AT ITER 7755 NEW BEST:: SOT 4720651 SOS 775041 HAS SOPS 775041 HAS SOUS 621483 HAS SOUPS 621483 WITH SCORE 622258.041
AT ITER 7760 NEW BEST:: SOT 4720537 SOS 774813 HAS SOPS 774813 HAS SOUS 621255 HAS SOUPS 621255 WITH SCORE 622029.813
AT ITER 7816 NEW BEST:: SOT 4720271 SOS 774534 HAS SOPS 774534 HAS SOUS 620976 HAS SOUPS 620976 WITH SCORE 621750.534
AT ITER 7822 NEW BEST:: SOT 4720259 SOS 774537 HAS SOPS 774537 HAS SOUS 620973 HAS SOUPS 620973 WITH SCORE 621747.537
AT ITER 7838 NEW BEST:: SOT 4720028 SOS 774397 HAS SOPS 774397 HAS SOUS 620787 HAS SOUPS 620787 WITH SCORE 621561.397
AT ITER 7843 NEW BEST:: SOT 4720025 SOS 774374 HAS SOPS 774374 HAS SOUS 620781 HAS SOUPS 620781 WITH SCORE 621555.374
AT ITER 7885 NEW BEST:: SOT 4719910 SOS 774144 HAS SOPS 774144 HAS SOUS 620551 HAS SOUPS 620551 WITH SCORE 621325.144
AT ITER 7890 NEW BEST:: SOT 4719909 SOS 774142 HAS SOPS 774142 HAS SOUS 620549 HAS SOUPS 620549 WITH SCORE 621323.142
AT ITER 7891 NEW BEST:: SOT 4719909 SOS 774111 HAS SOPS 774111 HAS SOUS 620549 HAS SOUPS 620549 WITH SCORE 621323.111
AT ITER 7905 NEW BEST:: SOT 4719771 SOS 774109 HAS SOPS 774109 HAS SOUS 620545 HAS SOUPS 620545 WITH SCORE 621319.109
AT ITER 7906 NEW BEST:: SOT 4719498 SOS 774097 HAS SOPS 774097 HAS SOUS 620450 HAS SOUPS 620450 WITH SCORE 621224.097
AT ITER 7910 NEW BEST:: SOT 4719525 SOS 774067 HAS SOPS 774067 HAS SOUS 620420 HAS SOUPS 620420 WITH SCORE 621194.067
AT ITER 7937 NEW BEST:: SOT 4719505 SOS 774047 HAS SOPS 774047 HAS SOUS 620400 HAS SOUPS 620400 WITH SCORE 621174.047
AT ITER 7964 NEW BEST:: SOT 4719573 SOS 774183 HAS SOPS 774183 HAS SOUS 620092 HAS SOUPS 620092 WITH SCORE 620866.183
AT ITER 7974 NEW BEST:: SOT 4719447 SOS 774057 HAS SOPS 774057 HAS SOUS 619966 HAS SOUPS 619966 WITH SCORE 620740.057
AT ITER 7982 NEW BEST:: SOT 4719451 SOS 774267 HAS SOPS 774267 HAS SOUS 619775 HAS SOUPS 619775 WITH SCORE 620549.267
AT ITER 8012 NEW BEST:: SOT 4719428 SOS 774244 HAS SOPS 774244 HAS SOUS 619752 HAS SOUPS 619752 WITH SCORE 620526.244
AT ITER 8028 NEW BEST:: SOT 4719286 SOS 773960 HAS SOPS 773960 HAS SOUS 619610 HAS SOUPS 619610 WITH SCORE 620383.96
AT ITER 8030 NEW BEST:: SOT 4719108 SOS 773385 HAS SOPS 773385 HAS SOUS 619432 HAS SOUPS 619432 WITH SCORE 620205.385
AT ITER 8037 NEW BEST:: SOT 4719185 SOS 773539 HAS SOPS 773539 HAS SOUS 619398 HAS SOUPS 619398 WITH SCORE 620171.539
AT ITER 8042 NEW BEST:: SOT 4719185 SOS 773401 HAS SOPS 773401 HAS SOUS 619329 HAS SOUPS 619329 WITH SCORE 620102.401
AT ITER 8055 NEW BEST:: SOT 4719185 SOS 773321 HAS SOPS 773321 HAS SOUS 619329 HAS SOUPS 619329 WITH SCORE 620102.321
AT ITER 8063 NEW BEST:: SOT 4719185 SOS 773212 HAS SOPS 773212 HAS SOUS 619329 HAS SOUPS 619329 WITH SCORE 620102.212
AT ITER 8111 NEW BEST:: SOT 4718809 SOS 771332 HAS SOPS 771332 HAS SOUS 618577 HAS SOUPS 618577 WITH SCORE 619348.332
AT ITER 8119 NEW BEST:: SOT 4718520 SOS 771036 HAS SOPS 771036 HAS SOUS 618300 HAS SOUPS 618300 WITH SCORE 619071.036
AT ITER 8140 NEW BEST:: SOT 4718520 SOS 770916 HAS SOPS 770916 HAS SOUS 618240 HAS SOUPS 618240 WITH SCORE 619010.916
AT ITER 8150 NEW BEST:: SOT 4718380 SOS 770426 HAS SOPS 770426 HAS SOUS 618030 HAS SOUPS 618030 WITH SCORE 618800.426
AT ITER 8161 NEW BEST:: SOT 4718296 SOS 770258 HAS SOPS 770258 HAS SOUS 617946 HAS SOUPS 617946 WITH SCORE 618716.258
AT ITER 8167 NEW BEST:: SOT 4718386 SOS 770449 HAS SOPS 770449 HAS SOUS 617726 HAS SOUPS 617726 WITH SCORE 618496.449
AT ITER 8210 NEW BEST:: SOT 4718360 SOS 770439 HAS SOPS 770439 HAS SOUS 617725 HAS SOUPS 617725 WITH SCORE 618495.439
AT ITER 8246 NEW BEST:: SOT 4718360 SOS 770439 HAS SOPS 770439 HAS SOUS 617724 HAS SOUPS 617724 WITH SCORE 618494.439
AT ITER 8272 NEW BEST:: SOT 4718335 SOS 770389 HAS SOPS 770389 HAS SOUS 617681 HAS SOUPS 617681 WITH SCORE 618451.389
AT ITER 8281 NEW BEST:: SOT 4718487 SOS 767453 HAS SOPS 767453 HAS SOUS 617617 HAS SOUPS 617617 WITH SCORE 618384.453
AT ITER 8300 NEW BEST:: SOT 4718381 SOS 767255 HAS SOPS 767255 HAS SOUS 617419 HAS SOUPS 617419 WITH SCORE 618186.255
AT ITER 8367 NEW BEST:: SOT 4718146 SOS 769620 HAS SOPS 769620 HAS SOUS 617375 HAS SOUPS 617375 WITH SCORE 618144.62
AT ITER 8378 NEW BEST:: SOT 4718131 SOS 769591 HAS SOPS 769591 HAS SOUS 617346 HAS SOUPS 617346 WITH SCORE 618115.591
AT ITER 8400 NEW BEST:: SOT 4718053 SOS 769536 HAS SOPS 769536 HAS SOUS 617268 HAS SOUPS 617268 WITH SCORE 618037.536
AT ITER 8462 NEW BEST:: SOT 4717953 SOS 769462 HAS SOPS 769462 HAS SOUS 617194 HAS SOUPS 617194 WITH SCORE 617963.462
AT ITER 8465 NEW BEST:: SOT 4717953 SOS 769438 HAS SOPS 769438 HAS SOUS 617170 HAS SOUPS 617170 WITH SCORE 617939.438
AT ITER 8503 NEW BEST:: SOT 4717920 SOS 769372 HAS SOPS 769372 HAS SOUS 617137 HAS SOUPS 617137 WITH SCORE 617906.372
AT ITER 8517 NEW BEST:: SOT 4717920 SOS 769292 HAS SOPS 769292 HAS SOUS 617137 HAS SOUPS 617137 WITH SCORE 617906.292
AT ITER 8534 NEW BEST:: SOT 4717758 SOS 768644 HAS SOPS 768644 HAS SOUS 616813 HAS SOUPS 616813 WITH SCORE 617581.644
AT ITER 8556 NEW BEST:: SOT 4717758 SOS 768644 HAS SOPS 768644 HAS SOUS 616690 HAS SOUPS 616690 WITH SCORE 617458.644
AT ITER 8589 NEW BEST:: SOT 4717701 SOS 768617 HAS SOPS 768617 HAS SOUS 616663 HAS SOUPS 616663 WITH SCORE 617431.617
AT ITER 8595 NEW BEST:: SOT 4717680 SOS 768596 HAS SOPS 768596 HAS SOUS 616642 HAS SOUPS 616642 WITH SCORE 617410.596
AT ITER 8610 NEW BEST:: SOT 4717472 SOS 765372 HAS SOPS 765372 HAS SOUS 616226 HAS SOUPS 616226 WITH SCORE 616991.372
AT ITER 8628 NEW BEST:: SOT 4717462 SOS 765352 HAS SOPS 765352 HAS SOUS 616206 HAS SOUPS 616206 WITH SCORE 616971.352
AT ITER 8655 NEW BEST:: SOT 4717429 SOS 765286 HAS SOPS 765286 HAS SOUS 616030 HAS SOUPS 616030 WITH SCORE 616795.286
AT ITER 8672 NEW BEST:: SOT 4717429 SOS 765866 HAS SOPS 765866 HAS SOUS 615959 HAS SOUPS 615959 WITH SCORE 616724.866
AT ITER 8685 NEW BEST:: SOT 4717429 SOS 765775 HAS SOPS 765775 HAS SOUS 615868 HAS SOUPS 615868 WITH SCORE 616633.775
AT ITER 8704 NEW BEST:: SOT 4717377 SOS 765671 HAS SOPS 765671 HAS SOUS 615813 HAS SOUPS 615813 WITH SCORE 616578.671
AT ITER 8720 NEW BEST:: SOT 4717149 SOS 765445 HAS SOPS 765445 HAS SOUS 615587 HAS SOUPS 615587 WITH SCORE 616352.445
AT ITER 8725 NEW BEST:: SOT 4716917 SOS 764981 HAS SOPS 764981 HAS SOUS 615355 HAS SOUPS 615355 WITH SCORE 616119.981
AT ITER 8737 NEW BEST:: SOT 4716895 SOS 764893 HAS SOPS 764893 HAS SOUS 615311 HAS SOUPS 615311 WITH SCORE 616075.893
AT ITER 8764 NEW BEST:: SOT 4716895 SOS 764892 HAS SOPS 764892 HAS SOUS 615310 HAS SOUPS 615310 WITH SCORE 616074.892
AT ITER 8806 NEW BEST:: SOT 4716753 SOS 764821 HAS SOPS 764821 HAS SOUS 615236 HAS SOUPS 615236 WITH SCORE 616000.821
AT ITER 8824 NEW BEST:: SOT 4716753 SOS 764197 HAS SOPS 764197 HAS SOUS 614893 HAS SOUPS 614893 WITH SCORE 615657.197
AT ITER 8879 NEW BEST:: SOT 4716712 SOS 764115 HAS SOPS 764115 HAS SOUS 614852 HAS SOUPS 614852 WITH SCORE 615616.115
AT ITER 8883 NEW BEST:: SOT 4716704 SOS 764100 HAS SOPS 764100 HAS SOUS 614837 HAS SOUPS 614837 WITH SCORE 615601.1
AT ITER 8925 NEW BEST:: SOT 4716581 SOS 764070 HAS SOPS 764070 HAS SOUS 614714 HAS SOUPS 614714 WITH SCORE 615478.07
AT ITER 8941 NEW BEST:: SOT 4716581 SOS 763963 HAS SOPS 763963 HAS SOUS 614607 HAS SOUPS 614607 WITH SCORE 615370.963
AT ITER 8942 NEW BEST:: SOT 4716539 SOS 763879 HAS SOPS 763879 HAS SOUS 614565 HAS SOUPS 614565 WITH SCORE 615328.879
AT ITER 8954 NEW BEST:: SOT 4716406 SOS 763613 HAS SOPS 763613 HAS SOUS 614531 HAS SOUPS 614531 WITH SCORE 615294.613
AT ITER 8962 NEW BEST:: SOT 4716351 SOS 763614 HAS SOPS 763614 HAS SOUS 614513 HAS SOUPS 614513 WITH SCORE 615276.614
AT ITER 8981 NEW BEST:: SOT 4716350 SOS 763876 HAS SOPS 763876 HAS SOUS 614511 HAS SOUPS 614511 WITH SCORE 615274.876
AT ITER 9008 NEW BEST:: SOT 4716208 SOS 763592 HAS SOPS 763592 HAS SOUS 614227 HAS SOUPS 614227 WITH SCORE 614990.592
AT ITER 9022 NEW BEST:: SOT 4716208 SOS 763582 HAS SOPS 763582 HAS SOUS 614226 HAS SOUPS 614226 WITH SCORE 614989.582
AT ITER 9024 NEW BEST:: SOT 4715882 SOS 761973 HAS SOPS 761973 HAS SOUS 613409 HAS SOUPS 613409 WITH SCORE 614170.973
AT ITER 9045 NEW BEST:: SOT 4715358 SOS 762759 HAS SOPS 762759 HAS SOUS 613147 HAS SOUPS 613147 WITH SCORE 613909.759
AT ITER 9066 NEW BEST:: SOT 4715337 SOS 763543 HAS SOPS 763543 HAS SOUS 613126 HAS SOUPS 613126 WITH SCORE 613889.543
AT ITER 9071 NEW BEST:: SOT 4715385 SOS 762926 HAS SOPS 762926 HAS SOUS 613039 HAS SOUPS 613039 WITH SCORE 613801.926
AT ITER 9107 NEW BEST:: SOT 4715390 SOS 762756 HAS SOPS 762756 HAS SOUS 612959 HAS SOUPS 612959 WITH SCORE 613721.756
AT ITER 9143 NEW BEST:: SOT 4715298 SOS 762572 HAS SOPS 762572 HAS SOUS 612867 HAS SOUPS 612867 WITH SCORE 613629.572
AT ITER 9152 NEW BEST:: SOT 4715272 SOS 762520 HAS SOPS 762520 HAS SOUS 612828 HAS SOUPS 612828 WITH SCORE 613590.52
AT ITER 9194 NEW BEST:: SOT 4715027 SOS 762487 HAS SOPS 762487 HAS SOUS 612624 HAS SOUPS 612624 WITH SCORE 613386.487
AT ITER 9205 NEW BEST:: SOT 4714922 SOS 762382 HAS SOPS 762382 HAS SOUS 612519 HAS SOUPS 612519 WITH SCORE 613281.382
AT ITER 9222 NEW BEST:: SOT 4714904 SOS 762379 HAS SOPS 762379 HAS SOUS 612482 HAS SOUPS 612482 WITH SCORE 613244.379
AT ITER 9258 NEW BEST:: SOT 4714692 SOS 762273 HAS SOPS 762273 HAS SOUS 612376 HAS SOUPS 612376 WITH SCORE 613138.273
AT ITER 9269 NEW BEST:: SOT 4714681 SOS 762251 HAS SOPS 762251 HAS SOUS 612354 HAS SOUPS 612354 WITH SCORE 613116.251
AT ITER 9281 NEW BEST:: SOT 4714644 SOS 762214 HAS SOPS 762214 HAS SOUS 612280 HAS SOUPS 612280 WITH SCORE 613042.214
AT ITER 9297 NEW BEST:: SOT 4714644 SOS 762427 HAS SOPS 762427 HAS SOUS 612276 HAS SOUPS 612276 WITH SCORE 613038.427
AT ITER 9347 NEW BEST:: SOT 4714620 SOS 762379 HAS SOPS 762379 HAS SOUS 612240 HAS SOUPS 612240 WITH SCORE 613002.379
AT ITER 9386 NEW BEST:: SOT 4714529 SOS 762197 HAS SOPS 762197 HAS SOUS 612225 HAS SOUPS 612225 WITH SCORE 612987.197
AT ITER 9391 NEW BEST:: SOT 4714379 SOS 761897 HAS SOPS 761897 HAS SOUS 612075 HAS SOUPS 612075 WITH SCORE 612836.897
AT ITER 9430 NEW BEST:: SOT 4714478 SOS 762095 HAS SOPS 762095 HAS SOUS 612015 HAS SOUPS 612015 WITH SCORE 612777.095
AT ITER 9481 NEW BEST:: SOT 4714394 SOS 762011 HAS SOPS 762011 HAS SOUS 611931 HAS SOUPS 611931 WITH SCORE 612693.011
AT ITER 9495 NEW BEST:: SOT 4714323 SOS 762038 HAS SOPS 762038 HAS SOUS 611789 HAS SOUPS 611789 WITH SCORE 612551.038
AT ITER 9527 NEW BEST:: SOT 4713808 SOS 761008 HAS SOPS 761008 HAS SOUS 611289 HAS SOUPS 611289 WITH SCORE 612050.008
AT ITER 9535 NEW BEST:: SOT 4713764 SOS 760920 HAS SOPS 760920 HAS SOUS 611245 HAS SOUPS 611245 WITH SCORE 612005.92
AT ITER 9547 NEW BEST:: SOT 4713767 SOS 760926 HAS SOPS 760926 HAS SOUS 610984 HAS SOUPS 610984 WITH SCORE 611744.926
AT ITER 9587 NEW BEST:: SOT 4713767 SOS 760861 HAS SOPS 760861 HAS SOUS 610984 HAS SOUPS 610984 WITH SCORE 611744.861
AT ITER 9633 NEW BEST:: SOT 4713609 SOS 760327 HAS SOPS 760327 HAS SOUS 610599 HAS SOUPS 610599 WITH SCORE 611359.327
AT ITER 9640 NEW BEST:: SOT 4713582 SOS 760273 HAS SOPS 760273 HAS SOUS 610545 HAS SOUPS 610545 WITH SCORE 611305.273
AT ITER 9659 NEW BEST:: SOT 4713500 SOS 760180 HAS SOPS 760180 HAS SOUS 610452 HAS SOUPS 610452 WITH SCORE 611212.18
AT ITER 9664 NEW BEST:: SOT 4713500 SOS 759839 HAS SOPS 759839 HAS SOUS 610452 HAS SOUPS 610452 WITH SCORE 611211.839
AT ITER 9683 NEW BEST:: SOT 4713142 SOS 758471 HAS SOPS 758471 HAS SOUS 609455 HAS SOUPS 609455 WITH SCORE 610213.471
AT ITER 9724 NEW BEST:: SOT 4713059 SOS 758222 HAS SOPS 758222 HAS SOUS 609289 HAS SOUPS 609289 WITH SCORE 610047.222
AT ITER 9736 NEW BEST:: SOT 4713059 SOS 758216 HAS SOPS 758216 HAS SOUS 609287 HAS SOUPS 609287 WITH SCORE 610045.216
AT ITER 9776 NEW BEST:: SOT 4713059 SOS 758216 HAS SOPS 758216 HAS SOUS 609136 HAS SOUPS 609136 WITH SCORE 609894.216
AT ITER 9808 NEW BEST:: SOT 4713058 SOS 758214 HAS SOPS 758214 HAS SOUS 609134 HAS SOUPS 609134 WITH SCORE 609892.214
AT ITER 9812 NEW BEST:: SOT 4713058 SOS 758136 HAS SOPS 758136 HAS SOUS 609134 HAS SOUPS 609134 WITH SCORE 609892.136
AT ITER 9827 NEW BEST:: SOT 4713051 SOS 758122 HAS SOPS 758122 HAS SOUS 609120 HAS SOUPS 609120 WITH SCORE 609878.122
AT ITER 9829 NEW BEST:: SOT 4712983 SOS 757986 HAS SOPS 757986 HAS SOUS 608984 HAS SOUPS 608984 WITH SCORE 609741.986
AT ITER 9835 NEW BEST:: SOT 4713023 SOS 757680 HAS SOPS 757680 HAS SOUS 608974 HAS SOUPS 608974 WITH SCORE 609731.68
AT ITER 9842 NEW BEST:: SOT 4712996 SOS 757535 HAS SOPS 757535 HAS SOUS 608920 HAS SOUPS 608920 WITH SCORE 609677.535
AT ITER 9895 NEW BEST:: SOT 4712886 SOS 757176 HAS SOPS 757176 HAS SOUS 608801 HAS SOUPS 608801 WITH SCORE 609558.176
AT ITER 9907 NEW BEST:: SOT 4712886 SOS 757166 HAS SOPS 757166 HAS SOUS 608791 HAS SOUPS 608791 WITH SCORE 609548.166
AT ITER 9928 NEW BEST:: SOT 4712936 SOS 757165 HAS SOPS 757165 HAS SOUS 608790 HAS SOUPS 608790 WITH SCORE 609547.165
AT ITER 9933 NEW BEST:: SOT 4712332 SOS 756716 HAS SOPS 756716 HAS SOUS 608341 HAS SOUPS 608341 WITH SCORE 609097.716
AT ITER 9949 NEW BEST:: SOT 4712332 SOS 756679 HAS SOPS 756679 HAS SOUS 608341 HAS SOUPS 608341 WITH SCORE 609097.679
AT ITER 9955 NEW BEST:: SOT 4712196 SOS 755015 HAS SOPS 755015 HAS SOUS 607889 HAS SOUPS 607889 WITH SCORE 608644.015
AT ITER 9957 NEW BEST:: SOT 4712196 SOS 755015 HAS SOPS 755015 HAS SOUS 607824 HAS SOUPS 607824 WITH SCORE 608579.015
AT ITER 9970 NEW BEST:: SOT 4712195 SOS 755171 HAS SOPS 755171 HAS SOUS 607821 HAS SOUPS 607821 WITH SCORE 608576.171
AT ITER 9980 NEW BEST:: SOT 4712163 SOS 755107 HAS SOPS 755107 HAS SOUS 607757 HAS SOUPS 607757 WITH SCORE 608512.107
AT ITER 9987 NEW BEST:: SOT 4711958 SOS 754697 HAS SOPS 754697 HAS SOUS 607550 HAS SOUPS 607550 WITH SCORE 608304.697

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="DLCshifumi-PT-2b"
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 DLCshifumi-PT-2b, 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 r063-tajo-158922806900016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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