Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.9K Feb 26 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 07:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 07:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 07:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 26 07:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 26 07:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 26 07:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 729K Mar 5 18:22 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 1678265491102

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

Filename model.pnml
Petri model created: 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 52 NEW BEST:: SOT 4792715 SOS 836515 HAS SOPS 836515 HAS SOUS 707736 HAS SOUPS 707736 WITH SCORE 708572.515
AT ITER 56 NEW BEST:: SOT 4792547 SOS 836347 HAS SOPS 836347 HAS SOUS 707568 HAS SOUPS 707568 WITH SCORE 708404.347
AT ITER 66 NEW BEST:: SOT 4792256 SOS 835840 HAS SOPS 835840 HAS SOUS 707061 HAS SOUPS 707061 WITH SCORE 707896.84
AT ITER 98 NEW BEST:: SOT 4792256 SOS 835840 HAS SOPS 835840 HAS SOUS 706896 HAS SOUPS 706896 WITH SCORE 707731.84
AT ITER 185 NEW BEST:: SOT 4792256 SOS 835840 HAS SOPS 835840 HAS SOUS 706591 HAS SOUPS 706591 WITH SCORE 707426.84
AT ITER 203 NEW BEST:: SOT 4792256 SOS 835840 HAS SOPS 835840 HAS SOUS 706271 HAS SOUPS 706271 WITH SCORE 707106.84
AT ITER 223 NEW BEST:: SOT 4792255 SOS 835838 HAS SOPS 835838 HAS SOUS 706269 HAS SOUPS 706269 WITH SCORE 707104.838
AT ITER 228 NEW BEST:: SOT 4792129 SOS 835712 HAS SOPS 835712 HAS SOUS 706143 HAS SOUPS 706143 WITH SCORE 706978.712
AT ITER 294 NEW BEST:: SOT 4792099 SOS 835702 HAS SOPS 835702 HAS SOUS 706142 HAS SOUPS 706142 WITH SCORE 706977.702
AT ITER 324 NEW BEST:: SOT 4791981 SOS 835584 HAS SOPS 835584 HAS SOUS 706141 HAS SOUPS 706141 WITH SCORE 706976.584
AT ITER 326 NEW BEST:: SOT 4791930 SOS 835533 HAS SOPS 835533 HAS SOUS 706090 HAS SOUPS 706090 WITH SCORE 706925.533
AT ITER 492 NEW BEST:: SOT 4792083 SOS 835279 HAS SOPS 835279 HAS SOUS 706056 HAS SOUPS 706056 WITH SCORE 706891.279
AT ITER 513 NEW BEST:: SOT 4791741 SOS 833569 HAS SOPS 833569 HAS SOUS 705372 HAS SOUPS 705372 WITH SCORE 706205.569
AT ITER 515 NEW BEST:: SOT 4791388 SOS 832306 HAS SOPS 832306 HAS SOUS 704785 HAS SOUPS 704785 WITH SCORE 705617.306
AT ITER 517 NEW BEST:: SOT 4791352 SOS 832235 HAS SOPS 832235 HAS SOUS 704714 HAS SOUPS 704714 WITH SCORE 705546.235
AT ITER 530 NEW BEST:: SOT 4790952 SOS 830009 HAS SOPS 830009 HAS SOUS 704575 HAS SOUPS 704575 WITH SCORE 705405.009
AT ITER 535 NEW BEST:: SOT 4790880 SOS 829866 HAS SOPS 829866 HAS SOUS 704432 HAS SOUPS 704432 WITH SCORE 705261.866
AT ITER 540 NEW BEST:: SOT 4788628 SOS 829277 HAS SOPS 829277 HAS SOUS 702246 HAS SOUPS 702246 WITH SCORE 703075.277
AT ITER 567 NEW BEST:: SOT 4788627 SOS 829275 HAS SOPS 829275 HAS SOUS 702244 HAS SOUPS 702244 WITH SCORE 703073.275
AT ITER 580 NEW BEST:: SOT 4788204 SOS 827024 HAS SOPS 827024 HAS SOUS 702014 HAS SOUPS 702014 WITH SCORE 702841.024
AT ITER 625 NEW BEST:: SOT 4788026 SOS 826668 HAS SOPS 826668 HAS SOUS 701658 HAS SOUPS 701658 WITH SCORE 702484.668
AT ITER 670 NEW BEST:: SOT 4787788 SOS 826802 HAS SOPS 826802 HAS SOUS 701543 HAS SOUPS 701543 WITH SCORE 702369.802
AT ITER 684 NEW BEST:: SOT 4787787 SOS 827294 HAS SOPS 827294 HAS SOUS 701540 HAS SOUPS 701540 WITH SCORE 702367.294
AT ITER 698 NEW BEST:: SOT 4784344 SOS 824790 HAS SOPS 824790 HAS SOUS 698410 HAS SOUPS 698410 WITH SCORE 699234.79
AT ITER 707 NEW BEST:: SOT 4784176 SOS 824706 HAS SOPS 824706 HAS SOUS 698326 HAS SOUPS 698326 WITH SCORE 699150.706
AT ITER 713 NEW BEST:: SOT 4783859 SOS 822986 HAS SOPS 822986 HAS SOUS 697692 HAS SOUPS 697692 WITH SCORE 698514.986
AT ITER 740 NEW BEST:: SOT 4783770 SOS 822963 HAS SOPS 822963 HAS SOUS 697645 HAS SOUPS 697645 WITH SCORE 698467.963
AT ITER 769 NEW BEST:: SOT 4783614 SOS 822651 HAS SOPS 822651 HAS SOUS 697333 HAS SOUPS 697333 WITH SCORE 698155.651
AT ITER 784 NEW BEST:: SOT 4783607 SOS 822637 HAS SOPS 822637 HAS SOUS 697326 HAS SOUPS 697326 WITH SCORE 698148.637
AT ITER 797 NEW BEST:: SOT 4783607 SOS 821887 HAS SOPS 821887 HAS SOUS 697326 HAS SOUPS 697326 WITH SCORE 698147.887
AT ITER 803 NEW BEST:: SOT 4783607 SOS 822274 HAS SOPS 822274 HAS SOUS 697283 HAS SOUPS 697283 WITH SCORE 698105.274
AT ITER 820 NEW BEST:: SOT 4783493 SOS 822349 HAS SOPS 822349 HAS SOUS 697240 HAS SOUPS 697240 WITH SCORE 698062.349
AT ITER 825 NEW BEST:: SOT 4783493 SOS 822139 HAS SOPS 822139 HAS SOUS 697183 HAS SOUPS 697183 WITH SCORE 698005.139
AT ITER 836 NEW BEST:: SOT 4782893 SOS 822372 HAS SOPS 822372 HAS SOUS 696875 HAS SOUPS 696875 WITH SCORE 697697.372
AT ITER 873 NEW BEST:: SOT 4782600 SOS 821778 HAS SOPS 821778 HAS SOUS 696388 HAS SOUPS 696388 WITH SCORE 697209.778
AT ITER 881 NEW BEST:: SOT 4782531 SOS 821641 HAS SOPS 821641 HAS SOUS 696251 HAS SOUPS 696251 WITH SCORE 697072.641
AT ITER 916 NEW BEST:: SOT 4782405 SOS 821389 HAS SOPS 821389 HAS SOUS 696244 HAS SOUPS 696244 WITH SCORE 697065.389
AT ITER 921 NEW BEST:: SOT 4782025 SOS 821045 HAS SOPS 821045 HAS SOUS 695864 HAS SOUPS 695864 WITH SCORE 696685.045
AT ITER 951 NEW BEST:: SOT 4781841 SOS 820677 HAS SOPS 820677 HAS SOUS 695496 HAS SOUPS 695496 WITH SCORE 696316.677
AT ITER 995 NEW BEST:: SOT 4781770 SOS 820606 HAS SOPS 820606 HAS SOUS 695496 HAS SOUPS 695496 WITH SCORE 696316.606
AT ITER 1009 NEW BEST:: SOT 4781629 SOS 820465 HAS SOPS 820465 HAS SOUS 695355 HAS SOUPS 695355 WITH SCORE 696175.465
AT ITER 1025 NEW BEST:: SOT 4781627 SOS 820461 HAS SOPS 820461 HAS SOUS 695351 HAS SOUPS 695351 WITH SCORE 696171.461
AT ITER 1033 NEW BEST:: SOT 4781572 SOS 820351 HAS SOPS 820351 HAS SOUS 695296 HAS SOUPS 695296 WITH SCORE 696116.351
AT ITER 1034 NEW BEST:: SOT 4781548 SOS 820327 HAS SOPS 820327 HAS SOUS 695296 HAS SOUPS 695296 WITH SCORE 696116.327
AT ITER 1038 NEW BEST:: SOT 4781218 SOS 819997 HAS SOPS 819997 HAS SOUS 694966 HAS SOUPS 694966 WITH SCORE 695785.997
AT ITER 1045 NEW BEST:: SOT 4781180 SOS 820178 HAS SOPS 820178 HAS SOUS 694714 HAS SOUPS 694714 WITH SCORE 695534.178
AT ITER 1049 NEW BEST:: SOT 4781124 SOS 820177 HAS SOPS 820177 HAS SOUS 694713 HAS SOUPS 694713 WITH SCORE 695533.177
AT ITER 1053 NEW BEST:: SOT 4781124 SOS 820177 HAS SOPS 820177 HAS SOUS 694584 HAS SOUPS 694584 WITH SCORE 695404.177
AT ITER 1057 NEW BEST:: SOT 4781124 SOS 820177 HAS SOPS 820177 HAS SOUS 694583 HAS SOUPS 694583 WITH SCORE 695403.177
AT ITER 1060 NEW BEST:: SOT 4781066 SOS 820119 HAS SOPS 820119 HAS SOUS 694525 HAS SOUPS 694525 WITH SCORE 695345.119
AT ITER 1064 NEW BEST:: SOT 4780809 SOS 820184 HAS SOPS 820184 HAS SOUS 694268 HAS SOUPS 694268 WITH SCORE 695088.184
AT ITER 1065 NEW BEST:: SOT 4780808 SOS 820182 HAS SOPS 820182 HAS SOUS 694266 HAS SOUPS 694266 WITH SCORE 695086.182
AT ITER 1069 NEW BEST:: SOT 4780808 SOS 820182 HAS SOPS 820182 HAS SOUS 694213 HAS SOUPS 694213 WITH SCORE 695033.182
AT ITER 1087 NEW BEST:: SOT 4780397 SOS 819360 HAS SOPS 819360 HAS SOUS 693391 HAS SOUPS 693391 WITH SCORE 694210.36
AT ITER 1088 NEW BEST:: SOT 4780279 SOS 819124 HAS SOPS 819124 HAS SOUS 693155 HAS SOUPS 693155 WITH SCORE 693974.124
AT ITER 1161 NEW BEST:: SOT 4780154 SOS 818374 HAS SOPS 818374 HAS SOUS 693030 HAS SOUPS 693030 WITH SCORE 693848.374
AT ITER 1185 NEW BEST:: SOT 4779945 SOS 817329 HAS SOPS 817329 HAS SOUS 692612 HAS SOUPS 692612 WITH SCORE 693429.329
AT ITER 1198 NEW BEST:: SOT 4779560 SOS 816955 HAS SOPS 816955 HAS SOUS 692227 HAS SOUPS 692227 WITH SCORE 693043.955
AT ITER 1205 NEW BEST:: SOT 4779479 SOS 816793 HAS SOPS 816793 HAS SOUS 692065 HAS SOUPS 692065 WITH SCORE 692881.793
AT ITER 1209 NEW BEST:: SOT 4779434 SOS 816748 HAS SOPS 816748 HAS SOUS 692020 HAS SOUPS 692020 WITH SCORE 692836.748
AT ITER 1215 NEW BEST:: SOT 4779425 SOS 816730 HAS SOPS 816730 HAS SOUS 692011 HAS SOUPS 692011 WITH SCORE 692827.73
AT ITER 1263 NEW BEST:: SOT 4779313 SOS 816618 HAS SOPS 816618 HAS SOUS 691899 HAS SOUPS 691899 WITH SCORE 692715.618
AT ITER 1275 NEW BEST:: SOT 4779213 SOS 816518 HAS SOPS 816518 HAS SOUS 691899 HAS SOUPS 691899 WITH SCORE 692715.518
AT ITER 1305 NEW BEST:: SOT 4779201 SOS 816512 HAS SOPS 816512 HAS SOUS 691887 HAS SOUPS 691887 WITH SCORE 692703.512
AT ITER 1326 NEW BEST:: SOT 4779154 SOS 816277 HAS SOPS 816277 HAS SOUS 691793 HAS SOUPS 691793 WITH SCORE 692609.277
AT ITER 1337 NEW BEST:: SOT 4779153 SOS 816275 HAS SOPS 816275 HAS SOUS 691791 HAS SOUPS 691791 WITH SCORE 692607.275
AT ITER 1343 NEW BEST:: SOT 4779030 SOS 816245 HAS SOPS 816245 HAS SOUS 691668 HAS SOUPS 691668 WITH SCORE 692484.245
AT ITER 1417 NEW BEST:: SOT 4776263 SOS 822511 HAS SOPS 822511 HAS SOUS 689985 HAS SOUPS 689985 WITH SCORE 690807.511
AT ITER 1440 NEW BEST:: SOT 4776168 SOS 822416 HAS SOPS 822416 HAS SOUS 689795 HAS SOUPS 689795 WITH SCORE 690617.416
AT ITER 1500 NEW BEST:: SOT 4773637 SOS 820896 HAS SOPS 820896 HAS SOUS 687517 HAS SOUPS 687517 WITH SCORE 688337.896
AT ITER 1554 NEW BEST:: SOT 4773417 SOS 820885 HAS SOPS 820885 HAS SOUS 687379 HAS SOUPS 687379 WITH SCORE 688199.885
AT ITER 1573 NEW BEST:: SOT 4773457 SOS 820014 HAS SOPS 820014 HAS SOUS 687102 HAS SOUPS 687102 WITH SCORE 687922.014
AT ITER 1592 NEW BEST:: SOT 4773274 SOS 819855 HAS SOPS 819855 HAS SOUS 686736 HAS SOUPS 686736 WITH SCORE 687555.855
AT ITER 1603 NEW BEST:: SOT 4773272 SOS 819851 HAS SOPS 819851 HAS SOUS 686732 HAS SOUPS 686732 WITH SCORE 687551.851
AT ITER 1646 NEW BEST:: SOT 4773624 SOS 820555 HAS SOPS 820555 HAS SOUS 686677 HAS SOUPS 686677 WITH SCORE 687497.555
AT ITER 1696 NEW BEST:: SOT 4773623 SOS 820553 HAS SOPS 820553 HAS SOUS 686675 HAS SOUPS 686675 WITH SCORE 687495.553
AT ITER 1706 NEW BEST:: SOT 4773623 SOS 820480 HAS SOPS 820480 HAS SOUS 686675 HAS SOUPS 686675 WITH SCORE 687495.48
AT ITER 1713 NEW BEST:: SOT 4772828 SOS 821004 HAS SOPS 821004 HAS SOUS 686117 HAS SOUPS 686117 WITH SCORE 686938.004
AT ITER 1728 NEW BEST:: SOT 4772264 SOS 820722 HAS SOPS 820722 HAS SOUS 685835 HAS SOUPS 685835 WITH SCORE 686655.722
AT ITER 1754 NEW BEST:: SOT 4771804 SOS 820617 HAS SOPS 820617 HAS SOUS 685726 HAS SOUPS 685726 WITH SCORE 686546.617
AT ITER 1795 NEW BEST:: SOT 4771171 SOS 821618 HAS SOPS 821618 HAS SOUS 685523 HAS SOUPS 685523 WITH SCORE 686344.618
AT ITER 1833 NEW BEST:: SOT 4771171 SOS 821482 HAS SOPS 821482 HAS SOUS 685523 HAS SOUPS 685523 WITH SCORE 686344.482
AT ITER 1857 NEW BEST:: SOT 4770873 SOS 820439 HAS SOPS 820439 HAS SOUS 685076 HAS SOUPS 685076 WITH SCORE 685896.439
AT ITER 1863 NEW BEST:: SOT 4770873 SOS 820347 HAS SOPS 820347 HAS SOUS 685076 HAS SOUPS 685076 WITH SCORE 685896.347
AT ITER 1879 NEW BEST:: SOT 4770696 SOS 820170 HAS SOPS 820170 HAS SOUS 684899 HAS SOUPS 684899 WITH SCORE 685719.17
AT ITER 1899 NEW BEST:: SOT 4770315 SOS 819647 HAS SOPS 819647 HAS SOUS 684267 HAS SOUPS 684267 WITH SCORE 685086.647
AT ITER 1905 NEW BEST:: SOT 4770157 SOS 818727 HAS SOPS 818727 HAS SOUS 684107 HAS SOUPS 684107 WITH SCORE 684925.727
AT ITER 1914 NEW BEST:: SOT 4769940 SOS 818293 HAS SOPS 818293 HAS SOUS 683673 HAS SOUPS 683673 WITH SCORE 684491.293
AT ITER 1944 NEW BEST:: SOT 4769614 SOS 817966 HAS SOPS 817966 HAS SOUS 683672 HAS SOUPS 683672 WITH SCORE 684489.966
AT ITER 1957 NEW BEST:: SOT 4769613 SOS 817954 HAS SOPS 817954 HAS SOUS 683670 HAS SOUPS 683670 WITH SCORE 684487.954
AT ITER 2000 NEW BEST:: SOT 4769613 SOS 817954 HAS SOPS 817954 HAS SOUS 683612 HAS SOUPS 683612 WITH SCORE 684429.954
AT ITER 2001 NEW BEST:: SOT 4769577 SOS 817990 HAS SOPS 817990 HAS SOUS 683576 HAS SOUPS 683576 WITH SCORE 684393.99
AT ITER 2003 NEW BEST:: SOT 4769577 SOS 817878 HAS SOPS 817878 HAS SOUS 683520 HAS SOUPS 683520 WITH SCORE 684337.878
AT ITER 2028 NEW BEST:: SOT 4769255 SOS 817555 HAS SOPS 817555 HAS SOUS 683358 HAS SOUPS 683358 WITH SCORE 684175.555
AT ITER 2032 NEW BEST:: SOT 4769253 SOS 817551 HAS SOPS 817551 HAS SOUS 683354 HAS SOUPS 683354 WITH SCORE 684171.551
AT ITER 2071 NEW BEST:: SOT 4769253 SOS 817709 HAS SOPS 817709 HAS SOUS 683196 HAS SOUPS 683196 WITH SCORE 684013.709
AT ITER 2078 NEW BEST:: SOT 4769055 SOS 815876 HAS SOPS 815876 HAS SOUS 682748 HAS SOUPS 682748 WITH SCORE 683563.876
AT ITER 2085 NEW BEST:: SOT 4768774 SOS 815601 HAS SOPS 815601 HAS SOUS 682186 HAS SOUPS 682186 WITH SCORE 683001.601
AT ITER 2094 NEW BEST:: SOT 4768569 SOS 815191 HAS SOPS 815191 HAS SOUS 681981 HAS SOUPS 681981 WITH SCORE 682796.191
AT ITER 2126 NEW BEST:: SOT 4768402 SOS 814857 HAS SOPS 814857 HAS SOUS 681647 HAS SOUPS 681647 WITH SCORE 682461.857
AT ITER 2171 NEW BEST:: SOT 4768353 SOS 814759 HAS SOPS 814759 HAS SOUS 681598 HAS SOUPS 681598 WITH SCORE 682412.759
AT ITER 2172 NEW BEST:: SOT 4768353 SOS 814759 HAS SOPS 814759 HAS SOUS 681434 HAS SOUPS 681434 WITH SCORE 682248.759
AT ITER 2180 NEW BEST:: SOT 4768061 SOS 812593 HAS SOPS 812593 HAS SOUS 681336 HAS SOUPS 681336 WITH SCORE 682148.593
AT ITER 2217 NEW BEST:: SOT 4768061 SOS 812549 HAS SOPS 812549 HAS SOUS 681336 HAS SOUPS 681336 WITH SCORE 682148.549
AT ITER 2227 NEW BEST:: SOT 4768043 SOS 812513 HAS SOPS 812513 HAS SOUS 681300 HAS SOUPS 681300 WITH SCORE 682112.513
AT ITER 2228 NEW BEST:: SOT 4767835 SOS 812040 HAS SOPS 812040 HAS SOUS 680879 HAS SOUPS 680879 WITH SCORE 681691.04
AT ITER 2232 NEW BEST:: SOT 4767303 SOS 811334 HAS SOPS 811334 HAS SOUS 680173 HAS SOUPS 680173 WITH SCORE 680984.334
AT ITER 2247 NEW BEST:: SOT 4767296 SOS 811502 HAS SOPS 811502 HAS SOUS 680171 HAS SOUPS 680171 WITH SCORE 680982.502
AT ITER 2252 NEW BEST:: SOT 4767201 SOS 811130 HAS SOPS 811130 HAS SOUS 680165 HAS SOUPS 680165 WITH SCORE 680976.13
AT ITER 2272 NEW BEST:: SOT 4767200 SOS 811128 HAS SOPS 811128 HAS SOUS 680163 HAS SOUPS 680163 WITH SCORE 680974.128
AT ITER 2291 NEW BEST:: SOT 4767152 SOS 810888 HAS SOPS 810888 HAS SOUS 680163 HAS SOUPS 680163 WITH SCORE 680973.888
AT ITER 2296 NEW BEST:: SOT 4767126 SOS 810836 HAS SOPS 810836 HAS SOUS 680124 HAS SOUPS 680124 WITH SCORE 680934.836
AT ITER 2319 NEW BEST:: SOT 4767125 SOS 810834 HAS SOPS 810834 HAS SOUS 680122 HAS SOUPS 680122 WITH SCORE 680932.834
AT ITER 2323 NEW BEST:: SOT 4767125 SOS 810834 HAS SOPS 810834 HAS SOUS 679918 HAS SOUPS 679918 WITH SCORE 680728.834
AT ITER 2324 NEW BEST:: SOT 4767125 SOS 810669 HAS SOPS 810669 HAS SOUS 679918 HAS SOUPS 679918 WITH SCORE 680728.669
AT ITER 2328 NEW BEST:: SOT 4766932 SOS 810096 HAS SOPS 810096 HAS SOUS 679522 HAS SOUPS 679522 WITH SCORE 680332.096
AT ITER 2356 NEW BEST:: SOT 4766760 SOS 810238 HAS SOPS 810238 HAS SOUS 679512 HAS SOUPS 679512 WITH SCORE 680322.238
AT ITER 2358 NEW BEST:: SOT 4766745 SOS 810222 HAS SOPS 810222 HAS SOUS 679502 HAS SOUPS 679502 WITH SCORE 680312.222
AT ITER 2373 NEW BEST:: SOT 4766661 SOS 810054 HAS SOPS 810054 HAS SOUS 679418 HAS SOUPS 679418 WITH SCORE 680228.054
AT ITER 2397 NEW BEST:: SOT 4766212 SOS 809605 HAS SOPS 809605 HAS SOUS 679337 HAS SOUPS 679337 WITH SCORE 680146.605
AT ITER 2407 NEW BEST:: SOT 4763604 SOS 809671 HAS SOPS 809671 HAS SOUS 677400 HAS SOUPS 677400 WITH SCORE 678209.671
AT ITER 2412 NEW BEST:: SOT 4763431 SOS 809561 HAS SOPS 809561 HAS SOUS 677290 HAS SOUPS 677290 WITH SCORE 678099.561
AT ITER 2416 NEW BEST:: SOT 4763397 SOS 809493 HAS SOPS 809493 HAS SOUS 677256 HAS SOUPS 677256 WITH SCORE 678065.493
AT ITER 2429 NEW BEST:: SOT 4763397 SOS 809364 HAS SOPS 809364 HAS SOUS 677256 HAS SOUPS 677256 WITH SCORE 678065.364
AT ITER 2439 NEW BEST:: SOT 4763446 SOS 809462 HAS SOPS 809462 HAS SOUS 677128 HAS SOUPS 677128 WITH SCORE 677937.462
AT ITER 2440 NEW BEST:: SOT 4763415 SOS 809400 HAS SOPS 809400 HAS SOUS 677117 HAS SOUPS 677117 WITH SCORE 677926.4
AT ITER 2479 NEW BEST:: SOT 4763283 SOS 809203 HAS SOPS 809203 HAS SOUS 676730 HAS SOUPS 676730 WITH SCORE 677539.203
AT ITER 2500 NEW BEST:: SOT 4763157 SOS 809105 HAS SOPS 809105 HAS SOUS 676604 HAS SOUPS 676604 WITH SCORE 677413.105
AT ITER 2518 NEW BEST:: SOT 4762867 SOS 808929 HAS SOPS 808929 HAS SOUS 676393 HAS SOUPS 676393 WITH SCORE 677201.929
AT ITER 2526 NEW BEST:: SOT 4762866 SOS 808899 HAS SOPS 808899 HAS SOUS 676363 HAS SOUPS 676363 WITH SCORE 677171.899
AT ITER 2528 NEW BEST:: SOT 4762776 SOS 808719 HAS SOPS 808719 HAS SOUS 676183 HAS SOUPS 676183 WITH SCORE 676991.719
AT ITER 2548 NEW BEST:: SOT 4762729 SOS 808429 HAS SOPS 808429 HAS SOUS 676060 HAS SOUPS 676060 WITH SCORE 676868.429
AT ITER 2585 NEW BEST:: SOT 4762615 SOS 808372 HAS SOPS 808372 HAS SOUS 676003 HAS SOUPS 676003 WITH SCORE 676811.372
AT ITER 2586 NEW BEST:: SOT 4762596 SOS 808335 HAS SOPS 808335 HAS SOUS 675966 HAS SOUPS 675966 WITH SCORE 676774.335
AT ITER 2598 NEW BEST:: SOT 4762485 SOS 814713 HAS SOPS 814713 HAS SOUS 675855 HAS SOUPS 675855 WITH SCORE 676669.713
AT ITER 2602 NEW BEST:: SOT 4762261 SOS 814265 HAS SOPS 814265 HAS SOUS 675407 HAS SOUPS 675407 WITH SCORE 676221.265
AT ITER 2633 NEW BEST:: SOT 4762216 SOS 814225 HAS SOPS 814225 HAS SOUS 675362 HAS SOUPS 675362 WITH SCORE 676176.225
AT ITER 2664 NEW BEST:: SOT 4762215 SOS 814220 HAS SOPS 814220 HAS SOUS 675357 HAS SOUPS 675357 WITH SCORE 676171.22
AT ITER 2666 NEW BEST:: SOT 4761980 SOS 813700 HAS SOPS 813700 HAS SOUS 675141 HAS SOUPS 675141 WITH SCORE 675954.7
AT ITER 2684 NEW BEST:: SOT 4761945 SOS 813750 HAS SOPS 813750 HAS SOUS 675106 HAS SOUPS 675106 WITH SCORE 675919.75
AT ITER 2730 NEW BEST:: SOT 4761843 SOS 813648 HAS SOPS 813648 HAS SOUS 675004 HAS SOUPS 675004 WITH SCORE 675817.648
AT ITER 2737 NEW BEST:: SOT 4761812 SOS 813493 HAS SOPS 813493 HAS SOUS 674942 HAS SOUPS 674942 WITH SCORE 675755.493
AT ITER 2753 NEW BEST:: SOT 4761770 SOS 813409 HAS SOPS 813409 HAS SOUS 674932 HAS SOUPS 674932 WITH SCORE 675745.409
AT ITER 2757 NEW BEST:: SOT 4761847 SOS 813563 HAS SOPS 813563 HAS SOUS 674646 HAS SOUPS 674646 WITH SCORE 675459.563
AT ITER 2785 NEW BEST:: SOT 4761440 SOS 813368 HAS SOPS 813368 HAS SOUS 674449 HAS SOUPS 674449 WITH SCORE 675262.368
AT ITER 2786 NEW BEST:: SOT 4761394 SOS 813277 HAS SOPS 813277 HAS SOUS 674358 HAS SOUPS 674358 WITH SCORE 675171.277
AT ITER 2805 NEW BEST:: SOT 4761263 SOS 813145 HAS SOPS 813145 HAS SOUS 674226 HAS SOUPS 674226 WITH SCORE 675039.145
AT ITER 2831 NEW BEST:: SOT 4760395 SOS 812019 HAS SOPS 812019 HAS SOUS 673236 HAS SOUPS 673236 WITH SCORE 674048.019
AT ITER 2834 NEW BEST:: SOT 4760408 SOS 811972 HAS SOPS 811972 HAS SOUS 673189 HAS SOUPS 673189 WITH SCORE 674000.972
AT ITER 2844 NEW BEST:: SOT 4760408 SOS 811909 HAS SOPS 811909 HAS SOUS 673189 HAS SOUPS 673189 WITH SCORE 674000.909
AT ITER 2849 NEW BEST:: SOT 4760407 SOS 811907 HAS SOPS 811907 HAS SOUS 673187 HAS SOUPS 673187 WITH SCORE 673998.907
AT ITER 2850 NEW BEST:: SOT 4760046 SOS 811185 HAS SOPS 811185 HAS SOUS 672920 HAS SOUPS 672920 WITH SCORE 673731.185
AT ITER 2883 NEW BEST:: SOT 4759874 SOS 811001 HAS SOPS 811001 HAS SOUS 672748 HAS SOUPS 672748 WITH SCORE 673559.001
AT ITER 2916 NEW BEST:: SOT 4759868 SOS 810989 HAS SOPS 810989 HAS SOUS 672736 HAS SOUPS 672736 WITH SCORE 673546.989
AT ITER 2922 NEW BEST:: SOT 4759868 SOS 810989 HAS SOPS 810989 HAS SOUS 672708 HAS SOUPS 672708 WITH SCORE 673518.989
AT ITER 2939 NEW BEST:: SOT 4759716 SOS 810989 HAS SOPS 810989 HAS SOUS 672556 HAS SOUPS 672556 WITH SCORE 673366.989
AT ITER 2940 NEW BEST:: SOT 4759716 SOS 810989 HAS SOPS 810989 HAS SOUS 672487 HAS SOUPS 672487 WITH SCORE 673297.989
AT ITER 2956 NEW BEST:: SOT 4759755 SOS 810457 HAS SOPS 810457 HAS SOUS 672240 HAS SOUPS 672240 WITH SCORE 673050.457
AT ITER 2985 NEW BEST:: SOT 4759556 SOS 810455 HAS SOPS 810455 HAS SOUS 672236 HAS SOUPS 672236 WITH SCORE 673046.455
AT ITER 3018 NEW BEST:: SOT 4759484 SOS 810311 HAS SOPS 810311 HAS SOUS 672164 HAS SOUPS 672164 WITH SCORE 672974.311
AT ITER 3020 NEW BEST:: SOT 4759372 SOS 809751 HAS SOPS 809751 HAS SOUS 671940 HAS SOUPS 671940 WITH SCORE 672749.751
AT ITER 3026 NEW BEST:: SOT 4759352 SOS 809711 HAS SOPS 809711 HAS SOUS 671900 HAS SOUPS 671900 WITH SCORE 672709.711
AT ITER 3048 NEW BEST:: SOT 4759327 SOS 809661 HAS SOPS 809661 HAS SOUS 671850 HAS SOUPS 671850 WITH SCORE 672659.661
AT ITER 3051 NEW BEST:: SOT 4759518 SOS 810043 HAS SOPS 810043 HAS SOUS 671785 HAS SOUPS 671785 WITH SCORE 672595.043
AT ITER 3077 NEW BEST:: SOT 4759064 SOS 809135 HAS SOPS 809135 HAS SOUS 670877 HAS SOUPS 670877 WITH SCORE 671686.135
AT ITER 3094 NEW BEST:: SOT 4758991 SOS 808989 HAS SOPS 808989 HAS SOUS 670804 HAS SOUPS 670804 WITH SCORE 671612.989
AT ITER 3115 NEW BEST:: SOT 4758765 SOS 808537 HAS SOPS 808537 HAS SOUS 670578 HAS SOUPS 670578 WITH SCORE 671386.537
AT ITER 3117 NEW BEST:: SOT 4758697 SOS 808401 HAS SOPS 808401 HAS SOUS 670510 HAS SOUPS 670510 WITH SCORE 671318.401
AT ITER 3130 NEW BEST:: SOT 4758640 SOS 808288 HAS SOPS 808288 HAS SOUS 670397 HAS SOUPS 670397 WITH SCORE 671205.288
AT ITER 3250 NEW BEST:: SOT 4758555 SOS 808280 HAS SOPS 808280 HAS SOUS 670357 HAS SOUPS 670357 WITH SCORE 671165.28
AT ITER 3279 NEW BEST:: SOT 4758530 SOS 808255 HAS SOPS 808255 HAS SOUS 670355 HAS SOUPS 670355 WITH SCORE 671163.255
AT ITER 3297 NEW BEST:: SOT 4758422 SOS 808039 HAS SOPS 808039 HAS SOUS 670247 HAS SOUPS 670247 WITH SCORE 671055.039
AT ITER 3314 NEW BEST:: SOT 4758401 SOS 808018 HAS SOPS 808018 HAS SOUS 670226 HAS SOUPS 670226 WITH SCORE 671034.018
AT ITER 3323 NEW BEST:: SOT 4758400 SOS 808016 HAS SOPS 808016 HAS SOUS 670224 HAS SOUPS 670224 WITH SCORE 671032.016
AT ITER 3341 NEW BEST:: SOT 4758284 SOS 807958 HAS SOPS 807958 HAS SOUS 670166 HAS SOUPS 670166 WITH SCORE 670973.958
AT ITER 3352 NEW BEST:: SOT 4758047 SOS 807392 HAS SOPS 807392 HAS SOUS 669826 HAS SOUPS 669826 WITH SCORE 670633.392
AT ITER 3365 NEW BEST:: SOT 4758163 SOS 802864 HAS SOPS 802864 HAS SOUS 669827 HAS SOUPS 669827 WITH SCORE 670629.864
AT ITER 3386 NEW BEST:: SOT 4758084 SOS 802706 HAS SOPS 802706 HAS SOUS 669748 HAS SOUPS 669748 WITH SCORE 670550.706
AT ITER 3402 NEW BEST:: SOT 4757955 SOS 802448 HAS SOPS 802448 HAS SOUS 669490 HAS SOUPS 669490 WITH SCORE 670292.448
AT ITER 3404 NEW BEST:: SOT 4757954 SOS 802446 HAS SOPS 802446 HAS SOUS 669488 HAS SOUPS 669488 WITH SCORE 670290.446
AT ITER 3422 NEW BEST:: SOT 4757714 SOS 801246 HAS SOPS 801246 HAS SOUS 669008 HAS SOUPS 669008 WITH SCORE 669809.246
AT ITER 3491 NEW BEST:: SOT 4757666 SOS 801150 HAS SOPS 801150 HAS SOUS 668960 HAS SOUPS 668960 WITH SCORE 669761.15
AT ITER 3513 NEW BEST:: SOT 4757310 SOS 800438 HAS SOPS 800438 HAS SOUS 668248 HAS SOUPS 668248 WITH SCORE 669048.438
AT ITER 3555 NEW BEST:: SOT 4757179 SOS 800176 HAS SOPS 800176 HAS SOUS 668117 HAS SOUPS 668117 WITH SCORE 668917.176
AT ITER 3612 NEW BEST:: SOT 4756330 SOS 798016 HAS SOPS 798016 HAS SOUS 666336 HAS SOUPS 666336 WITH SCORE 667134.016
AT ITER 3615 NEW BEST:: SOT 4756262 SOS 797948 HAS SOPS 797948 HAS SOUS 666268 HAS SOUPS 666268 WITH SCORE 667065.948
AT ITER 3626 NEW BEST:: SOT 4756223 SOS 797871 HAS SOPS 797871 HAS SOUS 666191 HAS SOUPS 666191 WITH SCORE 666988.871
AT ITER 3646 NEW BEST:: SOT 4756223 SOS 797870 HAS SOPS 797870 HAS SOUS 666190 HAS SOUPS 666190 WITH SCORE 666987.87
AT ITER 3683 NEW BEST:: SOT 4756129 SOS 797795 HAS SOPS 797795 HAS SOUS 665983 HAS SOUPS 665983 WITH SCORE 666780.795
AT ITER 3708 NEW BEST:: SOT 4756111 SOS 797419 HAS SOPS 797419 HAS SOUS 665482 HAS SOUPS 665482 WITH SCORE 666279.419
AT ITER 3745 NEW BEST:: SOT 4755976 SOS 796788 HAS SOPS 796788 HAS SOUS 665205 HAS SOUPS 665205 WITH SCORE 666001.788
AT ITER 3787 NEW BEST:: SOT 4755759 SOS 795703 HAS SOPS 795703 HAS SOUS 664771 HAS SOUPS 664771 WITH SCORE 665566.703
AT ITER 3802 NEW BEST:: SOT 4755735 SOS 795671 HAS SOPS 795671 HAS SOUS 664731 HAS SOUPS 664731 WITH SCORE 665526.671
AT ITER 3807 NEW BEST:: SOT 4755734 SOS 795669 HAS SOPS 795669 HAS SOUS 664729 HAS SOUPS 664729 WITH SCORE 665524.669
AT ITER 3825 NEW BEST:: SOT 4755621 SOS 795536 HAS SOPS 795536 HAS SOUS 664692 HAS SOUPS 664692 WITH SCORE 665487.536
AT ITER 3826 NEW BEST:: SOT 4755582 SOS 795533 HAS SOPS 795533 HAS SOUS 664691 HAS SOUPS 664691 WITH SCORE 665486.533
AT ITER 3845 NEW BEST:: SOT 4755393 SOS 795344 HAS SOPS 795344 HAS SOUS 664502 HAS SOUPS 664502 WITH SCORE 665297.344
AT ITER 3849 NEW BEST:: SOT 4755717 SOS 795992 HAS SOPS 795992 HAS SOUS 664455 HAS SOUPS 664455 WITH SCORE 665250.992
AT ITER 3866 NEW BEST:: SOT 4755680 SOS 795955 HAS SOPS 795955 HAS SOUS 664418 HAS SOUPS 664418 WITH SCORE 665213.955
AT ITER 3887 NEW BEST:: SOT 4755646 SOS 795887 HAS SOPS 795887 HAS SOUS 664350 HAS SOUPS 664350 WITH SCORE 665145.887
AT ITER 3890 NEW BEST:: SOT 4755677 SOS 795949 HAS SOPS 795949 HAS SOUS 664245 HAS SOUPS 664245 WITH SCORE 665040.949
AT ITER 3910 NEW BEST:: SOT 4755525 SOS 795673 HAS SOPS 795673 HAS SOUS 664238 HAS SOUPS 664238 WITH SCORE 665033.673
AT ITER 3919 NEW BEST:: SOT 4755425 SOS 795513 HAS SOPS 795513 HAS SOUS 664235 HAS SOUPS 664235 WITH SCORE 665030.513
AT ITER 4020 NEW BEST:: SOT 4754920 SOS 795420 HAS SOPS 795420 HAS SOUS 663938 HAS SOUPS 663938 WITH SCORE 664733.42
AT ITER 4047 NEW BEST:: SOT 4754837 SOS 795254 HAS SOPS 795254 HAS SOUS 663772 HAS SOUPS 663772 WITH SCORE 664567.254
AT ITER 4064 NEW BEST:: SOT 4754837 SOS 795244 HAS SOPS 795244 HAS SOUS 663762 HAS SOUPS 663762 WITH SCORE 664557.244
AT ITER 4084 NEW BEST:: SOT 4754419 SOS 793250 HAS SOPS 793250 HAS SOUS 662926 HAS SOUPS 662926 WITH SCORE 663719.25
AT ITER 4088 NEW BEST:: SOT 4754350 SOS 793181 HAS SOPS 793181 HAS SOUS 662926 HAS SOUPS 662926 WITH SCORE 663719.181
AT ITER 4156 NEW BEST:: SOT 4754349 SOS 793179 HAS SOPS 793179 HAS SOUS 662924 HAS SOUPS 662924 WITH SCORE 663717.179
AT ITER 4164 NEW BEST:: SOT 4754269 SOS 793179 HAS SOPS 793179 HAS SOUS 662844 HAS SOUPS 662844 WITH SCORE 663637.179
AT ITER 4205 NEW BEST:: SOT 4753955 SOS 792197 HAS SOPS 792197 HAS SOUS 662530 HAS SOUPS 662530 WITH SCORE 663322.197
AT ITER 4215 NEW BEST:: SOT 4753680 SOS 791274 HAS SOPS 791274 HAS SOUS 661830 HAS SOUPS 661830 WITH SCORE 662621.274
AT ITER 4222 NEW BEST:: SOT 4753680 SOS 791066 HAS SOPS 791066 HAS SOUS 661830 HAS SOUPS 661830 WITH SCORE 662621.066
AT ITER 4223 NEW BEST:: SOT 4753592 SOS 790978 HAS SOPS 790978 HAS SOUS 661742 HAS SOUPS 661742 WITH SCORE 662532.978
AT ITER 4246 NEW BEST:: SOT 4753490 SOS 790774 HAS SOPS 790774 HAS SOUS 661640 HAS SOUPS 661640 WITH SCORE 662430.774
AT ITER 4252 NEW BEST:: SOT 4753434 SOS 790662 HAS SOPS 790662 HAS SOUS 661159 HAS SOUPS 661159 WITH SCORE 661949.662
AT ITER 4309 NEW BEST:: SOT 4753207 SOS 790661 HAS SOPS 790661 HAS SOUS 661158 HAS SOUPS 661158 WITH SCORE 661948.661
AT ITER 4315 NEW BEST:: SOT 4753205 SOS 790657 HAS SOPS 790657 HAS SOUS 661154 HAS SOUPS 661154 WITH SCORE 661944.657
AT ITER 4316 NEW BEST:: SOT 4753145 SOS 790709 HAS SOPS 790709 HAS SOUS 661149 HAS SOUPS 661149 WITH SCORE 661939.709
AT ITER 4320 NEW BEST:: SOT 4753081 SOS 790389 HAS SOPS 790389 HAS SOUS 661021 HAS SOUPS 661021 WITH SCORE 661811.389
AT ITER 4333 NEW BEST:: SOT 4753058 SOS 790344 HAS SOPS 790344 HAS SOUS 660976 HAS SOUPS 660976 WITH SCORE 661766.344
AT ITER 4338 NEW BEST:: SOT 4753058 SOS 790124 HAS SOPS 790124 HAS SOUS 660756 HAS SOUPS 660756 WITH SCORE 661546.124
AT ITER 4343 NEW BEST:: SOT 4753005 SOS 790018 HAS SOPS 790018 HAS SOUS 660650 HAS SOUPS 660650 WITH SCORE 661440.018
AT ITER 4349 NEW BEST:: SOT 4753002 SOS 790012 HAS SOPS 790012 HAS SOUS 660644 HAS SOUPS 660644 WITH SCORE 661434.012
AT ITER 4354 NEW BEST:: SOT 4752806 SOS 789032 HAS SOPS 789032 HAS SOUS 660252 HAS SOUPS 660252 WITH SCORE 661041.032
AT ITER 4395 NEW BEST:: SOT 4752816 SOS 789052 HAS SOPS 789052 HAS SOUS 660241 HAS SOUPS 660241 WITH SCORE 661030.052
AT ITER 4419 NEW BEST:: SOT 4752814 SOS 789048 HAS SOPS 789048 HAS SOUS 660237 HAS SOUPS 660237 WITH SCORE 661026.048
AT ITER 4440 NEW BEST:: SOT 4752685 SOS 788790 HAS SOPS 788790 HAS SOUS 660108 HAS SOUPS 660108 WITH SCORE 660896.79
AT ITER 4491 NEW BEST:: SOT 4752144 SOS 788624 HAS SOPS 788624 HAS SOUS 659942 HAS SOUPS 659942 WITH SCORE 660730.624
AT ITER 4549 NEW BEST:: SOT 4752147 SOS 788630 HAS SOPS 788630 HAS SOUS 659454 HAS SOUPS 659454 WITH SCORE 660242.63
AT ITER 4555 NEW BEST:: SOT 4752097 SOS 788530 HAS SOPS 788530 HAS SOUS 659400 HAS SOUPS 659400 WITH SCORE 660188.53
AT ITER 4569 NEW BEST:: SOT 4752093 SOS 788522 HAS SOPS 788522 HAS SOUS 659392 HAS SOUPS 659392 WITH SCORE 660180.522
AT ITER 4570 NEW BEST:: SOT 4751765 SOS 787988 HAS SOPS 787988 HAS SOUS 659265 HAS SOUPS 659265 WITH SCORE 660052.988
AT ITER 4602 NEW BEST:: SOT 4751765 SOS 788019 HAS SOPS 788019 HAS SOUS 659151 HAS SOUPS 659151 WITH SCORE 659939.019
AT ITER 4630 NEW BEST:: SOT 4751765 SOS 787946 HAS SOPS 787946 HAS SOUS 659151 HAS SOUPS 659151 WITH SCORE 659938.946
AT ITER 4636 NEW BEST:: SOT 4751414 SOS 787244 HAS SOPS 787244 HAS SOUS 658800 HAS SOUPS 658800 WITH SCORE 659587.244
AT ITER 4642 NEW BEST:: SOT 4751413 SOS 787120 HAS SOPS 787120 HAS SOUS 658761 HAS SOUPS 658761 WITH SCORE 659548.12
AT ITER 4676 NEW BEST:: SOT 4751402 SOS 787098 HAS SOPS 787098 HAS SOUS 658750 HAS SOUPS 658750 WITH SCORE 659537.098
AT ITER 4682 NEW BEST:: SOT 4751402 SOS 787098 HAS SOPS 787098 HAS SOUS 658712 HAS SOUPS 658712 WITH SCORE 659499.098
AT ITER 4696 NEW BEST:: SOT 4751393 SOS 787098 HAS SOPS 787098 HAS SOUS 658703 HAS SOUPS 658703 WITH SCORE 659490.098
AT ITER 4714 NEW BEST:: SOT 4751161 SOS 784949 HAS SOPS 784949 HAS SOUS 657922 HAS SOUPS 657922 WITH SCORE 658706.949
AT ITER 4722 NEW BEST:: SOT 4750900 SOS 784688 HAS SOPS 784688 HAS SOUS 657661 HAS SOUPS 657661 WITH SCORE 658445.688
AT ITER 4728 NEW BEST:: SOT 4750900 SOS 784492 HAS SOPS 784492 HAS SOUS 657563 HAS SOUPS 657563 WITH SCORE 658347.492
AT ITER 4731 NEW BEST:: SOT 4750557 SOS 783939 HAS SOPS 783939 HAS SOUS 657076 HAS SOUPS 657076 WITH SCORE 657859.939
AT ITER 4734 NEW BEST:: SOT 4750461 SOS 783557 HAS SOPS 783557 HAS SOUS 656883 HAS SOUPS 656883 WITH SCORE 657666.557
AT ITER 4749 NEW BEST:: SOT 4750454 SOS 783543 HAS SOPS 783543 HAS SOUS 656876 HAS SOUPS 656876 WITH SCORE 657659.543
AT ITER 4765 NEW BEST:: SOT 4750242 SOS 783296 HAS SOPS 783296 HAS SOUS 656759 HAS SOUPS 656759 WITH SCORE 657542.296
AT ITER 4771 NEW BEST:: SOT 4750143 SOS 783254 HAS SOPS 783254 HAS SOUS 656679 HAS SOUPS 656679 WITH SCORE 657462.254
AT ITER 4773 NEW BEST:: SOT 4750142 SOS 783252 HAS SOPS 783252 HAS SOUS 656677 HAS SOUPS 656677 WITH SCORE 657460.252
AT ITER 4804 NEW BEST:: SOT 4750141 SOS 782248 HAS SOPS 782248 HAS SOUS 656675 HAS SOUPS 656675 WITH SCORE 657457.248
AT ITER 4820 NEW BEST:: SOT 4750141 SOS 782248 HAS SOPS 782248 HAS SOUS 656584 HAS SOUPS 656584 WITH SCORE 657366.248
AT ITER 4908 NEW BEST:: SOT 4749691 SOS 781348 HAS SOPS 781348 HAS SOUS 656164 HAS SOUPS 656164 WITH SCORE 656945.348
AT ITER 4922 NEW BEST:: SOT 4749656 SOS 781278 HAS SOPS 781278 HAS SOUS 656122 HAS SOUPS 656122 WITH SCORE 656903.278
AT ITER 4961 NEW BEST:: SOT 4749491 SOS 780948 HAS SOPS 780948 HAS SOUS 655829 HAS SOUPS 655829 WITH SCORE 656609.948
AT ITER 4967 NEW BEST:: SOT 4749442 SOS 780850 HAS SOPS 780850 HAS SOUS 655731 HAS SOUPS 655731 WITH SCORE 656511.85
AT ITER 4975 NEW BEST:: SOT 4749160 SOS 780568 HAS SOPS 780568 HAS SOUS 655449 HAS SOUPS 655449 WITH SCORE 656229.568
AT ITER 4991 NEW BEST:: SOT 4749160 SOS 780568 HAS SOPS 780568 HAS SOUS 655333 HAS SOUPS 655333 WITH SCORE 656113.568
AT ITER 5086 NEW BEST:: SOT 4749084 SOS 780416 HAS SOPS 780416 HAS SOUS 655181 HAS SOUPS 655181 WITH SCORE 655961.416
AT ITER 5114 NEW BEST:: SOT 4749084 SOS 780312 HAS SOPS 780312 HAS SOUS 655077 HAS SOUPS 655077 WITH SCORE 655857.312
AT ITER 5134 NEW BEST:: SOT 4748700 SOS 780204 HAS SOPS 780204 HAS SOUS 654762 HAS SOUPS 654762 WITH SCORE 655542.204
AT ITER 5149 NEW BEST:: SOT 4748487 SOS 779778 HAS SOPS 779778 HAS SOUS 654276 HAS SOUPS 654276 WITH SCORE 655055.778
AT ITER 5165 NEW BEST:: SOT 4748468 SOS 779740 HAS SOPS 779740 HAS SOUS 654238 HAS SOUPS 654238 WITH SCORE 655017.74
AT ITER 5193 NEW BEST:: SOT 4748150 SOS 777715 HAS SOPS 777715 HAS SOUS 654065 HAS SOUPS 654065 WITH SCORE 654842.715
AT ITER 5210 NEW BEST:: SOT 4748142 SOS 777699 HAS SOPS 777699 HAS SOUS 654049 HAS SOUPS 654049 WITH SCORE 654826.699
AT ITER 5215 NEW BEST:: SOT 4747825 SOS 777064 HAS SOPS 777064 HAS SOUS 653414 HAS SOUPS 653414 WITH SCORE 654191.064
AT ITER 5229 NEW BEST:: SOT 4747824 SOS 777062 HAS SOPS 777062 HAS SOUS 653412 HAS SOUPS 653412 WITH SCORE 654189.062
AT ITER 5242 NEW BEST:: SOT 4747824 SOS 777061 HAS SOPS 777061 HAS SOUS 653411 HAS SOUPS 653411 WITH SCORE 654188.061
AT ITER 5273 NEW BEST:: SOT 4747742 SOS 776651 HAS SOPS 776651 HAS SOUS 653247 HAS SOUPS 653247 WITH SCORE 654023.651
AT ITER 5275 NEW BEST:: SOT 4747412 SOS 774932 HAS SOPS 774932 HAS SOUS 652414 HAS SOUPS 652414 WITH SCORE 653188.932
AT ITER 5278 NEW BEST:: SOT 4747321 SOS 774750 HAS SOPS 774750 HAS SOUS 652232 HAS SOUPS 652232 WITH SCORE 653006.75
AT ITER 5336 NEW BEST:: SOT 4747283 SOS 774713 HAS SOPS 774713 HAS SOUS 652194 HAS SOUPS 652194 WITH SCORE 652968.713
AT ITER 5354 NEW BEST:: SOT 4747257 SOS 773692 HAS SOPS 773692 HAS SOUS 652142 HAS SOUPS 652142 WITH SCORE 652915.692
AT ITER 5368 NEW BEST:: SOT 4747167 SOS 773512 HAS SOPS 773512 HAS SOUS 651962 HAS SOUPS 651962 WITH SCORE 652735.512
AT ITER 5405 NEW BEST:: SOT 4747061 SOS 773406 HAS SOPS 773406 HAS SOUS 651856 HAS SOUPS 651856 WITH SCORE 652629.406
AT ITER 5423 NEW BEST:: SOT 4747061 SOS 773386 HAS SOPS 773386 HAS SOUS 651836 HAS SOUPS 651836 WITH SCORE 652609.386
AT ITER 5462 NEW BEST:: SOT 4747061 SOS 774178 HAS SOPS 774178 HAS SOUS 651748 HAS SOUPS 651748 WITH SCORE 652522.178
AT ITER 5464 NEW BEST:: SOT 4746923 SOS 774040 HAS SOPS 774040 HAS SOUS 651748 HAS SOUPS 651748 WITH SCORE 652522.04
AT ITER 5524 NEW BEST:: SOT 4746715 SOS 773624 HAS SOPS 773624 HAS SOUS 651332 HAS SOUPS 651332 WITH SCORE 652105.624
AT ITER 5530 NEW BEST:: SOT 4746530 SOS 773346 HAS SOPS 773346 HAS SOUS 651054 HAS SOUPS 651054 WITH SCORE 651827.346
AT ITER 5560 NEW BEST:: SOT 4746476 SOS 773292 HAS SOPS 773292 HAS SOUS 651000 HAS SOUPS 651000 WITH SCORE 651773.292
AT ITER 5573 NEW BEST:: SOT 4746195 SOS 773568 HAS SOPS 773568 HAS SOUS 650946 HAS SOUPS 650946 WITH SCORE 651719.568
AT ITER 5589 NEW BEST:: SOT 4746160 SOS 773498 HAS SOPS 773498 HAS SOUS 650876 HAS SOUPS 650876 WITH SCORE 651649.498
AT ITER 5616 NEW BEST:: SOT 4745910 SOS 772067 HAS SOPS 772067 HAS SOUS 650433 HAS SOUPS 650433 WITH SCORE 651205.067
AT ITER 5630 NEW BEST:: SOT 4745624 SOS 771495 HAS SOPS 771495 HAS SOUS 649861 HAS SOUPS 649861 WITH SCORE 650632.495
AT ITER 5651 NEW BEST:: SOT 4745624 SOS 771363 HAS SOPS 771363 HAS SOUS 649859 HAS SOUPS 649859 WITH SCORE 650630.363
AT ITER 5656 NEW BEST:: SOT 4745596 SOS 771307 HAS SOPS 771307 HAS SOUS 649803 HAS SOUPS 649803 WITH SCORE 650574.307
AT ITER 5701 NEW BEST:: SOT 4745596 SOS 771256 HAS SOPS 771256 HAS SOUS 649803 HAS SOUPS 649803 WITH SCORE 650574.256
AT ITER 5737 NEW BEST:: SOT 4745573 SOS 773243 HAS SOPS 773243 HAS SOUS 649756 HAS SOUPS 649756 WITH SCORE 650529.243
AT ITER 5784 NEW BEST:: SOT 4745573 SOS 773482 HAS SOPS 773482 HAS SOUS 649755 HAS SOUPS 649755 WITH SCORE 650528.482
AT ITER 5815 NEW BEST:: SOT 4745399 SOS 773114 HAS SOPS 773114 HAS SOUS 649458 HAS SOUPS 649458 WITH SCORE 650231.114
AT ITER 5819 NEW BEST:: SOT 4745335 SOS 773074 HAS SOPS 773074 HAS SOUS 649393 HAS SOUPS 649393 WITH SCORE 650166.074
AT ITER 5831 NEW BEST:: SOT 4745335 SOS 773074 HAS SOPS 773074 HAS SOUS 649244 HAS SOUPS 649244 WITH SCORE 650017.074
AT ITER 5872 NEW BEST:: SOT 4745335 SOS 774072 HAS SOPS 774072 HAS SOUS 649243 HAS SOUPS 649243 WITH SCORE 650017.072
AT ITER 5895 NEW BEST:: SOT 4745083 SOS 772665 HAS SOPS 772665 HAS SOUS 648647 HAS SOUPS 648647 WITH SCORE 649419.665
AT ITER 5910 NEW BEST:: SOT 4745038 SOS 772475 HAS SOPS 772475 HAS SOUS 648557 HAS SOUPS 648557 WITH SCORE 649329.475
AT ITER 5925 NEW BEST:: SOT 4744932 SOS 772263 HAS SOPS 772263 HAS SOUS 648345 HAS SOUPS 648345 WITH SCORE 649117.263
AT ITER 5927 NEW BEST:: SOT 4744932 SOS 772901 HAS SOPS 772901 HAS SOUS 648344 HAS SOUPS 648344 WITH SCORE 649116.901
AT ITER 5930 NEW BEST:: SOT 4744375 SOS 771787 HAS SOPS 771787 HAS SOUS 647511 HAS SOUPS 647511 WITH SCORE 648282.787
AT ITER 5952 NEW BEST:: SOT 4744375 SOS 771771 HAS SOPS 771771 HAS SOUS 647511 HAS SOUPS 647511 WITH SCORE 648282.771
AT ITER 6031 NEW BEST:: SOT 4743504 SOS 775307 HAS SOPS 775307 HAS SOUS 647001 HAS SOUPS 647001 WITH SCORE 647776.307
AT ITER 6042 NEW BEST:: SOT 4743072 SOS 774595 HAS SOPS 774595 HAS SOUS 646415 HAS SOUPS 646415 WITH SCORE 647189.595
AT ITER 6061 NEW BEST:: SOT 4742878 SOS 774207 HAS SOPS 774207 HAS SOUS 646027 HAS SOUPS 646027 WITH SCORE 646801.207
AT ITER 6065 NEW BEST:: SOT 4742878 SOS 774194 HAS SOPS 774194 HAS SOUS 646027 HAS SOUPS 646027 WITH SCORE 646801.194
AT ITER 6083 NEW BEST:: SOT 4742378 SOS 773944 HAS SOPS 773944 HAS SOUS 645527 HAS SOUPS 645527 WITH SCORE 646300.944
AT ITER 6091 NEW BEST:: SOT 4742369 SOS 773078 HAS SOPS 773078 HAS SOUS 645298 HAS SOUPS 645298 WITH SCORE 646071.078
AT ITER 6092 NEW BEST:: SOT 4742315 SOS 772916 HAS SOPS 772916 HAS SOUS 645190 HAS SOUPS 645190 WITH SCORE 645962.916
AT ITER 6124 NEW BEST:: SOT 4741940 SOS 771587 HAS SOPS 771587 HAS SOUS 644482 HAS SOUPS 644482 WITH SCORE 645253.587
AT ITER 6130 NEW BEST:: SOT 4741881 SOS 771253 HAS SOPS 771253 HAS SOUS 644315 HAS SOUPS 644315 WITH SCORE 645086.253
AT ITER 6136 NEW BEST:: SOT 4741757 SOS 771005 HAS SOPS 771005 HAS SOUS 644031 HAS SOUPS 644031 WITH SCORE 644802.005
AT ITER 6144 NEW BEST:: SOT 4741107 SOS 775652 HAS SOPS 775652 HAS SOUS 643780 HAS SOUPS 643780 WITH SCORE 644555.652
AT ITER 6147 NEW BEST:: SOT 4740812 SOS 775572 HAS SOPS 775572 HAS SOUS 643655 HAS SOUPS 643655 WITH SCORE 644430.572
AT ITER 6238 NEW BEST:: SOT 4740812 SOS 775572 HAS SOPS 775572 HAS SOUS 643518 HAS SOUPS 643518 WITH SCORE 644293.572
AT ITER 6259 NEW BEST:: SOT 4740345 SOS 774638 HAS SOPS 774638 HAS SOUS 642730 HAS SOUPS 642730 WITH SCORE 643504.638
AT ITER 6262 NEW BEST:: SOT 4740345 SOS 774638 HAS SOPS 774638 HAS SOUS 642320 HAS SOUPS 642320 WITH SCORE 643094.638
AT ITER 6278 NEW BEST:: SOT 4740140 SOS 774228 HAS SOPS 774228 HAS SOUS 642115 HAS SOUPS 642115 WITH SCORE 642889.228
AT ITER 6283 NEW BEST:: SOT 4739836 SOS 773984 HAS SOPS 773984 HAS SOUS 641843 HAS SOUPS 641843 WITH SCORE 642616.984
AT ITER 6319 NEW BEST:: SOT 4739729 SOS 773770 HAS SOPS 773770 HAS SOUS 641733 HAS SOUPS 641733 WITH SCORE 642506.77
AT ITER 6342 NEW BEST:: SOT 4739616 SOS 773544 HAS SOPS 773544 HAS SOUS 641620 HAS SOUPS 641620 WITH SCORE 642393.544
AT ITER 6346 NEW BEST:: SOT 4739567 SOS 773299 HAS SOPS 773299 HAS SOUS 641522 HAS SOUPS 641522 WITH SCORE 642295.299
AT ITER 6352 NEW BEST:: SOT 4739512 SOS 773189 HAS SOPS 773189 HAS SOUS 641412 HAS SOUPS 641412 WITH SCORE 642185.189
AT ITER 6374 NEW BEST:: SOT 4739222 SOS 772609 HAS SOPS 772609 HAS SOUS 640832 HAS SOUPS 640832 WITH SCORE 641604.609
AT ITER 6375 NEW BEST:: SOT 4739069 SOS 772303 HAS SOPS 772303 HAS SOUS 640526 HAS SOUPS 640526 WITH SCORE 641298.303
AT ITER 6421 NEW BEST:: SOT 4738987 SOS 772139 HAS SOPS 772139 HAS SOUS 640362 HAS SOUPS 640362 WITH SCORE 641134.139
AT ITER 6435 NEW BEST:: SOT 4739048 SOS 772258 HAS SOPS 772258 HAS SOUS 640233 HAS SOUPS 640233 WITH SCORE 641005.258
AT ITER 6436 NEW BEST:: SOT 4738965 SOS 772015 HAS SOPS 772015 HAS SOUS 640150 HAS SOUPS 640150 WITH SCORE 640922.015
AT ITER 6460 NEW BEST:: SOT 4738629 SOS 771943 HAS SOPS 771943 HAS SOUS 640078 HAS SOUPS 640078 WITH SCORE 640849.943
AT ITER 6465 NEW BEST:: SOT 4738351 SOS 771851 HAS SOPS 771851 HAS SOUS 639986 HAS SOUPS 639986 WITH SCORE 640757.851
AT ITER 6466 NEW BEST:: SOT 4738448 SOS 771926 HAS SOPS 771926 HAS SOUS 639749 HAS SOUPS 639749 WITH SCORE 640520.926
AT ITER 6487 NEW BEST:: SOT 4738388 SOS 771806 HAS SOPS 771806 HAS SOUS 639537 HAS SOUPS 639537 WITH SCORE 640308.806
AT ITER 6506 NEW BEST:: SOT 4738511 SOS 771591 HAS SOPS 771591 HAS SOUS 639511 HAS SOUPS 639511 WITH SCORE 640282.591
AT ITER 6525 NEW BEST:: SOT 4738367 SOS 771446 HAS SOPS 771446 HAS SOUS 639506 HAS SOUPS 639506 WITH SCORE 640277.446
AT ITER 6548 NEW BEST:: SOT 4738081 SOS 770874 HAS SOPS 770874 HAS SOUS 639136 HAS SOUPS 639136 WITH SCORE 639906.874
AT ITER 6583 NEW BEST:: SOT 4738081 SOS 770874 HAS SOPS 770874 HAS SOUS 639076 HAS SOUPS 639076 WITH SCORE 639846.874
AT ITER 6595 NEW BEST:: SOT 4737777 SOS 770266 HAS SOPS 770266 HAS SOUS 638748 HAS SOUPS 638748 WITH SCORE 639518.266
AT ITER 6596 NEW BEST:: SOT 4737777 SOS 770182 HAS SOPS 770182 HAS SOUS 638748 HAS SOUPS 638748 WITH SCORE 639518.182
AT ITER 6625 NEW BEST:: SOT 4737610 SOS 769848 HAS SOPS 769848 HAS SOUS 638581 HAS SOUPS 638581 WITH SCORE 639350.848
AT ITER 6637 NEW BEST:: SOT 4737591 SOS 769810 HAS SOPS 769810 HAS SOUS 638453 HAS SOUPS 638453 WITH SCORE 639222.81
AT ITER 6646 NEW BEST:: SOT 4737591 SOS 769810 HAS SOPS 769810 HAS SOUS 638390 HAS SOUPS 638390 WITH SCORE 639159.81
AT ITER 6657 NEW BEST:: SOT 4735369 SOS 777522 HAS SOPS 777522 HAS SOUS 637320 HAS SOUPS 637320 WITH SCORE 638097.522
AT ITER 6693 NEW BEST:: SOT 4735194 SOS 777243 HAS SOPS 777243 HAS SOUS 637119 HAS SOUPS 637119 WITH SCORE 637896.243
AT ITER 6702 NEW BEST:: SOT 4735157 SOS 777169 HAS SOPS 777169 HAS SOUS 637082 HAS SOUPS 637082 WITH SCORE 637859.169
AT ITER 6710 NEW BEST:: SOT 4735157 SOS 777169 HAS SOPS 777169 HAS SOUS 636797 HAS SOUPS 636797 WITH SCORE 637574.169
AT ITER 6715 NEW BEST:: SOT 4734996 SOS 776847 HAS SOPS 776847 HAS SOUS 636475 HAS SOUPS 636475 WITH SCORE 637251.847
AT ITER 6720 NEW BEST:: SOT 4734882 SOS 776790 HAS SOPS 776790 HAS SOUS 636418 HAS SOUPS 636418 WITH SCORE 637194.79
AT ITER 6739 NEW BEST:: SOT 4734882 SOS 776789 HAS SOPS 776789 HAS SOUS 636417 HAS SOUPS 636417 WITH SCORE 637193.789
AT ITER 6774 NEW BEST:: SOT 4734844 SOS 776628 HAS SOPS 776628 HAS SOUS 636340 HAS SOUPS 636340 WITH SCORE 637116.628
AT ITER 6775 NEW BEST:: SOT 4734844 SOS 776411 HAS SOPS 776411 HAS SOUS 636217 HAS SOUPS 636217 WITH SCORE 636993.411
AT ITER 6783 NEW BEST:: SOT 4734677 SOS 776077 HAS SOPS 776077 HAS SOUS 636050 HAS SOUPS 636050 WITH SCORE 636826.077
AT ITER 6808 NEW BEST:: SOT 4734449 SOS 776146 HAS SOPS 776146 HAS SOUS 635997 HAS SOUPS 635997 WITH SCORE 636773.146
AT ITER 6815 NEW BEST:: SOT 4734176 SOS 775600 HAS SOPS 775600 HAS SOUS 635451 HAS SOUPS 635451 WITH SCORE 636226.6
AT ITER 6834 NEW BEST:: SOT 4733781 SOS 774810 HAS SOPS 774810 HAS SOUS 635056 HAS SOUPS 635056 WITH SCORE 635830.81
AT ITER 6837 NEW BEST:: SOT 4733569 SOS 774773 HAS SOPS 774773 HAS SOUS 634973 HAS SOUPS 634973 WITH SCORE 635747.773
AT ITER 6856 NEW BEST:: SOT 4733563 SOS 774761 HAS SOPS 774761 HAS SOUS 634961 HAS SOUPS 634961 WITH SCORE 635735.761
AT ITER 6862 NEW BEST:: SOT 4733563 SOS 774628 HAS SOPS 774628 HAS SOUS 634828 HAS SOUPS 634828 WITH SCORE 635602.628
AT ITER 6889 NEW BEST:: SOT 4733504 SOS 774510 HAS SOPS 774510 HAS SOUS 634648 HAS SOUPS 634648 WITH SCORE 635422.51
AT ITER 6892 NEW BEST:: SOT 4733443 SOS 774449 HAS SOPS 774449 HAS SOUS 634587 HAS SOUPS 634587 WITH SCORE 635361.449
AT ITER 6922 NEW BEST:: SOT 4733225 SOS 773667 HAS SOPS 773667 HAS SOUS 634181 HAS SOUPS 634181 WITH SCORE 634954.667
AT ITER 6924 NEW BEST:: SOT 4732845 SOS 772015 HAS SOPS 772015 HAS SOUS 632975 HAS SOUPS 632975 WITH SCORE 633747.015
AT ITER 6930 NEW BEST:: SOT 4732559 SOS 771569 HAS SOPS 771569 HAS SOUS 632628 HAS SOUPS 632628 WITH SCORE 633399.569
AT ITER 6933 NEW BEST:: SOT 4732323 SOS 771548 HAS SOPS 771548 HAS SOUS 632607 HAS SOUPS 632607 WITH SCORE 633378.548
AT ITER 6942 NEW BEST:: SOT 4732311 SOS 771698 HAS SOPS 771698 HAS SOUS 632595 HAS SOUPS 632595 WITH SCORE 633366.698
AT ITER 6981 NEW BEST:: SOT 4732281 SOS 771638 HAS SOPS 771638 HAS SOUS 632535 HAS SOUPS 632535 WITH SCORE 633306.638
AT ITER 6982 NEW BEST:: SOT 4731873 SOS 770003 HAS SOPS 770003 HAS SOUS 631314 HAS SOUPS 631314 WITH SCORE 632084.003
AT ITER 6997 NEW BEST:: SOT 4731770 SOS 769797 HAS SOPS 769797 HAS SOUS 631249 HAS SOUPS 631249 WITH SCORE 632018.797
AT ITER 7020 NEW BEST:: SOT 4731855 SOS 769387 HAS SOPS 769387 HAS SOUS 631004 HAS SOUPS 631004 WITH SCORE 631773.387
AT ITER 7022 NEW BEST:: SOT 4731855 SOS 769387 HAS SOPS 769387 HAS SOUS 631003 HAS SOUPS 631003 WITH SCORE 631772.387
AT ITER 7082 NEW BEST:: SOT 4731819 SOS 769315 HAS SOPS 769315 HAS SOUS 630967 HAS SOUPS 630967 WITH SCORE 631736.315
AT ITER 7096 NEW BEST:: SOT 4731772 SOS 769127 HAS SOPS 769127 HAS SOUS 630826 HAS SOUPS 630826 WITH SCORE 631595.127
AT ITER 7101 NEW BEST:: SOT 4731722 SOS 769477 HAS SOPS 769477 HAS SOUS 630726 HAS SOUPS 630726 WITH SCORE 631495.477
AT ITER 7135 NEW BEST:: SOT 4731685 SOS 769459 HAS SOPS 769459 HAS SOUS 630700 HAS SOUPS 630700 WITH SCORE 631469.459
AT ITER 7137 NEW BEST:: SOT 4731611 SOS 769311 HAS SOPS 769311 HAS SOUS 630626 HAS SOUPS 630626 WITH SCORE 631395.311
AT ITER 7178 NEW BEST:: SOT 4731611 SOS 769562 HAS SOPS 769562 HAS SOUS 630625 HAS SOUPS 630625 WITH SCORE 631394.562
AT ITER 7193 NEW BEST:: SOT 4731442 SOS 769224 HAS SOPS 769224 HAS SOUS 630287 HAS SOUPS 630287 WITH SCORE 631056.224
AT ITER 7202 NEW BEST:: SOT 4731002 SOS 768904 HAS SOPS 768904 HAS SOUS 629887 HAS SOUPS 629887 WITH SCORE 630655.904
AT ITER 7254 NEW BEST:: SOT 4730995 SOS 768890 HAS SOPS 768890 HAS SOUS 629873 HAS SOUPS 629873 WITH SCORE 630641.89
AT ITER 7287 NEW BEST:: SOT 4730926 SOS 768821 HAS SOPS 768821 HAS SOUS 629804 HAS SOUPS 629804 WITH SCORE 630572.821
AT ITER 7316 NEW BEST:: SOT 4730926 SOS 768688 HAS SOPS 768688 HAS SOUS 629804 HAS SOUPS 629804 WITH SCORE 630572.688
AT ITER 7317 NEW BEST:: SOT 4730925 SOS 768686 HAS SOPS 768686 HAS SOUS 629802 HAS SOUPS 629802 WITH SCORE 630570.686
AT ITER 7318 NEW BEST:: SOT 4730628 SOS 768092 HAS SOPS 768092 HAS SOUS 629659 HAS SOUPS 629659 WITH SCORE 630427.092
AT ITER 7330 NEW BEST:: SOT 4730595 SOS 768026 HAS SOPS 768026 HAS SOUS 629593 HAS SOUPS 629593 WITH SCORE 630361.026
AT ITER 7342 NEW BEST:: SOT 4730308 SOS 766656 HAS SOPS 766656 HAS SOUS 628889 HAS SOUPS 628889 WITH SCORE 629655.656
AT ITER 7367 NEW BEST:: SOT 4729867 SOS 765774 HAS SOPS 765774 HAS SOUS 628662 HAS SOUPS 628662 WITH SCORE 629427.774
AT ITER 7376 NEW BEST:: SOT 4729742 SOS 765649 HAS SOPS 765649 HAS SOUS 628537 HAS SOUPS 628537 WITH SCORE 629302.649
AT ITER 7390 NEW BEST:: SOT 4729714 SOS 765593 HAS SOPS 765593 HAS SOUS 628486 HAS SOUPS 628486 WITH SCORE 629251.593
AT ITER 7401 NEW BEST:: SOT 4729714 SOS 765543 HAS SOPS 765543 HAS SOUS 628486 HAS SOUPS 628486 WITH SCORE 629251.543
AT ITER 7430 NEW BEST:: SOT 4729658 SOS 765515 HAS SOPS 765515 HAS SOUS 628456 HAS SOUPS 628456 WITH SCORE 629221.515
AT ITER 7436 NEW BEST:: SOT 4729697 SOS 765593 HAS SOPS 765593 HAS SOUS 628155 HAS SOUPS 628155 WITH SCORE 628920.593
AT ITER 7490 NEW BEST:: SOT 4729599 SOS 765544 HAS SOPS 765544 HAS SOUS 628106 HAS SOUPS 628106 WITH SCORE 628871.544
AT ITER 7500 NEW BEST:: SOT 4729373 SOS 765485 HAS SOPS 765485 HAS SOUS 628047 HAS SOUPS 628047 WITH SCORE 628812.485
AT ITER 7532 NEW BEST:: SOT 4729294 SOS 765380 HAS SOPS 765380 HAS SOUS 628031 HAS SOUPS 628031 WITH SCORE 628796.38
AT ITER 7535 NEW BEST:: SOT 4729294 SOS 765370 HAS SOPS 765370 HAS SOUS 628031 HAS SOUPS 628031 WITH SCORE 628796.37
AT ITER 7539 NEW BEST:: SOT 4729104 SOS 764990 HAS SOPS 764990 HAS SOUS 627651 HAS SOUPS 627651 WITH SCORE 628415.99
AT ITER 7557 NEW BEST:: SOT 4726915 SOS 772492 HAS SOPS 772492 HAS SOUS 626545 HAS SOUPS 626545 WITH SCORE 627317.492
AT ITER 7606 NEW BEST:: SOT 4726667 SOS 771996 HAS SOPS 771996 HAS SOUS 626049 HAS SOUPS 626049 WITH SCORE 626820.996
AT ITER 7642 NEW BEST:: SOT 4726611 SOS 771884 HAS SOPS 771884 HAS SOUS 625993 HAS SOUPS 625993 WITH SCORE 626764.884
AT ITER 7659 NEW BEST:: SOT 4726484 SOS 771630 HAS SOPS 771630 HAS SOUS 625739 HAS SOUPS 625739 WITH SCORE 626510.63
AT ITER 7665 NEW BEST:: SOT 4726326 SOS 771314 HAS SOPS 771314 HAS SOUS 625423 HAS SOUPS 625423 WITH SCORE 626194.314
AT ITER 7674 NEW BEST:: SOT 4726247 SOS 771157 HAS SOPS 771157 HAS SOUS 625266 HAS SOUPS 625266 WITH SCORE 626037.157
AT ITER 7682 NEW BEST:: SOT 4726247 SOS 771156 HAS SOPS 771156 HAS SOUS 625265 HAS SOUPS 625265 WITH SCORE 626036.156
AT ITER 7697 NEW BEST:: SOT 4726247 SOS 770846 HAS SOPS 770846 HAS SOUS 625265 HAS SOUPS 625265 WITH SCORE 626035.846
AT ITER 7705 NEW BEST:: SOT 4725976 SOS 770575 HAS SOPS 770575 HAS SOUS 624994 HAS SOUPS 624994 WITH SCORE 625764.575
AT ITER 7749 NEW BEST:: SOT 4725860 SOS 770517 HAS SOPS 770517 HAS SOUS 624936 HAS SOUPS 624936 WITH SCORE 625706.517
AT ITER 7772 NEW BEST:: SOT 4725851 SOS 770715 HAS SOPS 770715 HAS SOUS 624918 HAS SOUPS 624918 WITH SCORE 625688.715
AT ITER 7788 NEW BEST:: SOT 4725657 SOS 770521 HAS SOPS 770521 HAS SOUS 624724 HAS SOUPS 624724 WITH SCORE 625494.521
AT ITER 7792 NEW BEST:: SOT 4725657 SOS 770521 HAS SOPS 770521 HAS SOUS 624723 HAS SOUPS 624723 WITH SCORE 625493.521
AT ITER 7802 NEW BEST:: SOT 4725063 SOS 770817 HAS SOPS 770817 HAS SOUS 624336 HAS SOUPS 624336 WITH SCORE 625106.817
AT ITER 7816 NEW BEST:: SOT 4724652 SOS 770732 HAS SOPS 770732 HAS SOUS 624251 HAS SOUPS 624251 WITH SCORE 625021.732
AT ITER 7835 NEW BEST:: SOT 4724635 SOS 770785 HAS SOPS 770785 HAS SOUS 624217 HAS SOUPS 624217 WITH SCORE 624987.785
AT ITER 7842 NEW BEST:: SOT 4724569 SOS 770654 HAS SOPS 770654 HAS SOUS 624190 HAS SOUPS 624190 WITH SCORE 624960.654
AT ITER 7862 NEW BEST:: SOT 4724569 SOS 770654 HAS SOPS 770654 HAS SOUS 624059 HAS SOUPS 624059 WITH SCORE 624829.654
AT ITER 7889 NEW BEST:: SOT 4724539 SOS 770564 HAS SOPS 770564 HAS SOUS 623999 HAS SOUPS 623999 WITH SCORE 624769.564
AT ITER 7908 NEW BEST:: SOT 4724534 SOS 770153 HAS SOPS 770153 HAS SOUS 623935 HAS SOUPS 623935 WITH SCORE 624705.153
AT ITER 7928 NEW BEST:: SOT 4724437 SOS 770135 HAS SOPS 770135 HAS SOUS 623881 HAS SOUPS 623881 WITH SCORE 624651.135
AT ITER 7945 NEW BEST:: SOT 4724363 SOS 769987 HAS SOPS 769987 HAS SOUS 623803 HAS SOUPS 623803 WITH SCORE 624572.987
AT ITER 7947 NEW BEST:: SOT 4723581 SOS 766893 HAS SOPS 766893 HAS SOUS 622362 HAS SOUPS 622362 WITH SCORE 623128.893
AT ITER 7960 NEW BEST:: SOT 4723537 SOS 766145 HAS SOPS 766145 HAS SOUS 622274 HAS SOUPS 622274 WITH SCORE 623040.145
AT ITER 7968 NEW BEST:: SOT 4723721 SOS 765913 HAS SOPS 765913 HAS SOUS 622249 HAS SOUPS 622249 WITH SCORE 623014.913
AT ITER 8009 NEW BEST:: SOT 4723694 SOS 765859 HAS SOPS 765859 HAS SOUS 622222 HAS SOUPS 622222 WITH SCORE 622987.859
AT ITER 8012 NEW BEST:: SOT 4723277 SOS 765025 HAS SOPS 765025 HAS SOUS 621545 HAS SOUPS 621545 WITH SCORE 622310.025
AT ITER 8061 NEW BEST:: SOT 4723342 SOS 764075 HAS SOPS 764075 HAS SOUS 621210 HAS SOUPS 621210 WITH SCORE 621974.075
AT ITER 8101 NEW BEST:: SOT 4723296 SOS 763891 HAS SOPS 763891 HAS SOUS 621072 HAS SOUPS 621072 WITH SCORE 621835.891
AT ITER 8121 NEW BEST:: SOT 4723086 SOS 763678 HAS SOPS 763678 HAS SOUS 620859 HAS SOUPS 620859 WITH SCORE 621622.678
AT ITER 8128 NEW BEST:: SOT 4723050 SOS 762906 HAS SOPS 762906 HAS SOUS 620307 HAS SOUPS 620307 WITH SCORE 621069.906
AT ITER 8141 NEW BEST:: SOT 4722804 SOS 762660 HAS SOPS 762660 HAS SOUS 620061 HAS SOUPS 620061 WITH SCORE 620823.66
AT ITER 8143 NEW BEST:: SOT 4722378 SOS 763488 HAS SOPS 763488 HAS SOUS 619610 HAS SOUPS 619610 WITH SCORE 620373.488
AT ITER 8153 NEW BEST:: SOT 4722344 SOS 763420 HAS SOPS 763420 HAS SOUS 619542 HAS SOUPS 619542 WITH SCORE 620305.42
AT ITER 8194 NEW BEST:: SOT 4722257 SOS 763103 HAS SOPS 763103 HAS SOUS 619511 HAS SOUPS 619511 WITH SCORE 620274.103
AT ITER 8205 NEW BEST:: SOT 4722110 SOS 762894 HAS SOPS 762894 HAS SOUS 619302 HAS SOUPS 619302 WITH SCORE 620064.894
AT ITER 8228 NEW BEST:: SOT 4722504 SOS 762119 HAS SOPS 762119 HAS SOUS 618972 HAS SOUPS 618972 WITH SCORE 619734.119
AT ITER 8230 NEW BEST:: SOT 4722466 SOS 762043 HAS SOPS 762043 HAS SOUS 618896 HAS SOUPS 618896 WITH SCORE 619658.043
AT ITER 8281 NEW BEST:: SOT 4722198 SOS 762046 HAS SOPS 762046 HAS SOUS 617854 HAS SOUPS 617854 WITH SCORE 618616.046
AT ITER 8291 NEW BEST:: SOT 4722122 SOS 761818 HAS SOPS 761818 HAS SOUS 617702 HAS SOUPS 617702 WITH SCORE 618463.818
AT ITER 8299 NEW BEST:: SOT 4722082 SOS 761738 HAS SOPS 761738 HAS SOUS 617459 HAS SOUPS 617459 WITH SCORE 618220.738
AT ITER 8303 NEW BEST:: SOT 4722064 SOS 761672 HAS SOPS 761672 HAS SOUS 617441 HAS SOUPS 617441 WITH SCORE 618202.672
AT ITER 8321 NEW BEST:: SOT 4721647 SOS 760838 HAS SOPS 760838 HAS SOUS 617094 HAS SOUPS 617094 WITH SCORE 617854.838
AT ITER 8333 NEW BEST:: SOT 4721514 SOS 760572 HAS SOPS 760572 HAS SOUS 616864 HAS SOUPS 616864 WITH SCORE 617624.572
AT ITER 8360 NEW BEST:: SOT 4721429 SOS 760655 HAS SOPS 760655 HAS SOUS 616694 HAS SOUPS 616694 WITH SCORE 617454.655
AT ITER 8406 NEW BEST:: SOT 4721643 SOS 760630 HAS SOPS 760630 HAS SOUS 616669 HAS SOUPS 616669 WITH SCORE 617429.63
AT ITER 8407 NEW BEST:: SOT 4721596 SOS 760536 HAS SOPS 760536 HAS SOUS 616575 HAS SOUPS 616575 WITH SCORE 617335.536
AT ITER 8418 NEW BEST:: SOT 4721596 SOS 760533 HAS SOPS 760533 HAS SOUS 616572 HAS SOUPS 616572 WITH SCORE 617332.533
AT ITER 8433 NEW BEST:: SOT 4721379 SOS 760524 HAS SOPS 760524 HAS SOUS 616533 HAS SOUPS 616533 WITH SCORE 617293.524
AT ITER 8445 NEW BEST:: SOT 4721121 SOS 759502 HAS SOPS 759502 HAS SOUS 616081 HAS SOUPS 616081 WITH SCORE 616840.502
AT ITER 8460 NEW BEST:: SOT 4721121 SOS 759179 HAS SOPS 759179 HAS SOUS 615758 HAS SOUPS 615758 WITH SCORE 616517.179
AT ITER 8511 NEW BEST:: SOT 4721106 SOS 759104 HAS SOPS 759104 HAS SOUS 615758 HAS SOUPS 615758 WITH SCORE 616517.104
AT ITER 8527 NEW BEST:: SOT 4721059 SOS 759010 HAS SOPS 759010 HAS SOUS 615664 HAS SOUPS 615664 WITH SCORE 616423.01
AT ITER 8593 NEW BEST:: SOT 4720531 SOS 758560 HAS SOPS 758560 HAS SOUS 615214 HAS SOUPS 615214 WITH SCORE 615972.56
AT ITER 8609 NEW BEST:: SOT 4720518 SOS 758507 HAS SOPS 758507 HAS SOUS 615188 HAS SOUPS 615188 WITH SCORE 615946.507
AT ITER 8631 NEW BEST:: SOT 4720449 SOS 758438 HAS SOPS 758438 HAS SOUS 615119 HAS SOUPS 615119 WITH SCORE 615877.438
AT ITER 8651 NEW BEST:: SOT 4720346 SOS 757956 HAS SOPS 757956 HAS SOUS 614878 HAS SOUPS 614878 WITH SCORE 615635.956
AT ITER 8657 NEW BEST:: SOT 4720316 SOS 757896 HAS SOPS 757896 HAS SOUS 614818 HAS SOUPS 614818 WITH SCORE 615575.896
AT ITER 8658 NEW BEST:: SOT 4720264 SOS 757792 HAS SOPS 757792 HAS SOUS 614766 HAS SOUPS 614766 WITH SCORE 615523.792
AT ITER 8690 NEW BEST:: SOT 4720264 SOS 757704 HAS SOPS 757704 HAS SOUS 614722 HAS SOUPS 614722 WITH SCORE 615479.704
AT ITER 8691 NEW BEST:: SOT 4720263 SOS 757702 HAS SOPS 757702 HAS SOUS 614720 HAS SOUPS 614720 WITH SCORE 615477.702
AT ITER 8745 NEW BEST:: SOT 4720112 SOS 757043 HAS SOPS 757043 HAS SOUS 614523 HAS SOUPS 614523 WITH SCORE 615280.043
AT ITER 8763 NEW BEST:: SOT 4719994 SOS 756925 HAS SOPS 756925 HAS SOUS 614405 HAS SOUPS 614405 WITH SCORE 615161.925
AT ITER 8780 NEW BEST:: SOT 4719940 SOS 756817 HAS SOPS 756817 HAS SOUS 614297 HAS SOUPS 614297 WITH SCORE 615053.817
AT ITER 8781 NEW BEST:: SOT 4719838 SOS 756613 HAS SOPS 756613 HAS SOUS 614093 HAS SOUPS 614093 WITH SCORE 614849.613
AT ITER 8805 NEW BEST:: SOT 4719796 SOS 756569 HAS SOPS 756569 HAS SOUS 614052 HAS SOUPS 614052 WITH SCORE 614808.569
AT ITER 8861 NEW BEST:: SOT 4719734 SOS 756445 HAS SOPS 756445 HAS SOUS 613928 HAS SOUPS 613928 WITH SCORE 614684.445
AT ITER 8864 NEW BEST:: SOT 4719730 SOS 756437 HAS SOPS 756437 HAS SOUS 613920 HAS SOUPS 613920 WITH SCORE 614676.437
AT ITER 8884 NEW BEST:: SOT 4719760 SOS 756325 HAS SOPS 756325 HAS SOUS 613864 HAS SOUPS 613864 WITH SCORE 614620.325
AT ITER 8901 NEW BEST:: SOT 4719627 SOS 756048 HAS SOPS 756048 HAS SOUS 613587 HAS SOUPS 613587 WITH SCORE 614343.048
AT ITER 8906 NEW BEST:: SOT 4719627 SOS 755800 HAS SOPS 755800 HAS SOUS 613385 HAS SOUPS 613385 WITH SCORE 614140.8
AT ITER 8976 NEW BEST:: SOT 4719552 SOS 755650 HAS SOPS 755650 HAS SOUS 613235 HAS SOUPS 613235 WITH SCORE 613990.65
AT ITER 9037 NEW BEST:: SOT 4719472 SOS 755490 HAS SOPS 755490 HAS SOUS 613218 HAS SOUPS 613218 WITH SCORE 613973.49
AT ITER 9082 NEW BEST:: SOT 4719405 SOS 755058 HAS SOPS 755058 HAS SOUS 613028 HAS SOUPS 613028 WITH SCORE 613783.058
AT ITER 9092 NEW BEST:: SOT 4719372 SOS 754993 HAS SOPS 754993 HAS SOUS 612963 HAS SOUPS 612963 WITH SCORE 613717.993
AT ITER 9094 NEW BEST:: SOT 4719125 SOS 755143 HAS SOPS 755143 HAS SOUS 612753 HAS SOUPS 612753 WITH SCORE 613508.143
AT ITER 9102 NEW BEST:: SOT 4719315 SOS 754728 HAS SOPS 754728 HAS SOUS 612752 HAS SOUPS 612752 WITH SCORE 613506.728
AT ITER 9150 NEW BEST:: SOT 4719290 SOS 754628 HAS SOPS 754628 HAS SOUS 612702 HAS SOUPS 612702 WITH SCORE 613456.628
AT ITER 9152 NEW BEST:: SOT 4719175 SOS 754398 HAS SOPS 754398 HAS SOUS 612445 HAS SOUPS 612445 WITH SCORE 613199.398
AT ITER 9155 NEW BEST:: SOT 4719086 SOS 754376 HAS SOPS 754376 HAS SOUS 612423 HAS SOUPS 612423 WITH SCORE 613177.376
AT ITER 9171 NEW BEST:: SOT 4719085 SOS 754311 HAS SOPS 754311 HAS SOUS 612416 HAS SOUPS 612416 WITH SCORE 613170.311
AT ITER 9176 NEW BEST:: SOT 4718824 SOS 753914 HAS SOPS 753914 HAS SOUS 612244 HAS SOUPS 612244 WITH SCORE 612997.914
AT ITER 9209 NEW BEST:: SOT 4718820 SOS 753906 HAS SOPS 753906 HAS SOUS 612236 HAS SOUPS 612236 WITH SCORE 612989.906
AT ITER 9269 NEW BEST:: SOT 4718796 SOS 753858 HAS SOPS 753858 HAS SOUS 612188 HAS SOUPS 612188 WITH SCORE 612941.858
AT ITER 9277 NEW BEST:: SOT 4718654 SOS 753608 HAS SOPS 753608 HAS SOUS 612164 HAS SOUPS 612164 WITH SCORE 612917.608
AT ITER 9285 NEW BEST:: SOT 4718502 SOS 753304 HAS SOPS 753304 HAS SOUS 611778 HAS SOUPS 611778 WITH SCORE 612531.304
AT ITER 9323 NEW BEST:: SOT 4718502 SOS 753284 HAS SOPS 753284 HAS SOUS 611768 HAS SOUPS 611768 WITH SCORE 612521.284
AT ITER 9337 NEW BEST:: SOT 4718300 SOS 752880 HAS SOPS 752880 HAS SOUS 611364 HAS SOUPS 611364 WITH SCORE 612116.88
AT ITER 9339 NEW BEST:: SOT 4718203 SOS 752870 HAS SOPS 752870 HAS SOUS 611297 HAS SOUPS 611297 WITH SCORE 612049.87
AT ITER 9348 NEW BEST:: SOT 4718113 SOS 752690 HAS SOPS 752690 HAS SOUS 611207 HAS SOUPS 611207 WITH SCORE 611959.69
AT ITER 9373 NEW BEST:: SOT 4716467 SOS 763948 HAS SOPS 763948 HAS SOUS 610976 HAS SOUPS 610976 WITH SCORE 611739.948
AT ITER 9394 NEW BEST:: SOT 4716418 SOS 763844 HAS SOPS 763844 HAS SOUS 610872 HAS SOUPS 610872 WITH SCORE 611635.844
AT ITER 9400 NEW BEST:: SOT 4716315 SOS 763741 HAS SOPS 763741 HAS SOUS 610666 HAS SOUPS 610666 WITH SCORE 611429.741
AT ITER 9433 NEW BEST:: SOT 4715965 SOS 763041 HAS SOPS 763041 HAS SOUS 610319 HAS SOUPS 610319 WITH SCORE 611082.041
AT ITER 9463 NEW BEST:: SOT 4715702 SOS 762145 HAS SOPS 762145 HAS SOUS 609686 HAS SOUPS 609686 WITH SCORE 610448.145
AT ITER 9482 NEW BEST:: SOT 4715641 SOS 762031 HAS SOPS 762031 HAS SOUS 609572 HAS SOUPS 609572 WITH SCORE 610334.031
AT ITER 9496 NEW BEST:: SOT 4715515 SOS 761835 HAS SOPS 761835 HAS SOUS 609535 HAS SOUPS 609535 WITH SCORE 610296.835
AT ITER 9504 NEW BEST:: SOT 4715515 SOS 761831 HAS SOPS 761831 HAS SOUS 609533 HAS SOUPS 609533 WITH SCORE 610294.831
AT ITER 9509 NEW BEST:: SOT 4715388 SOS 761577 HAS SOPS 761577 HAS SOUS 609272 HAS SOUPS 609272 WITH SCORE 610033.577
AT ITER 9520 NEW BEST:: SOT 4715370 SOS 761541 HAS SOPS 761541 HAS SOUS 609168 HAS SOUPS 609168 WITH SCORE 609929.541
AT ITER 9526 NEW BEST:: SOT 4715291 SOS 761473 HAS SOPS 761473 HAS SOUS 609010 HAS SOUPS 609010 WITH SCORE 609771.473
AT ITER 9562 NEW BEST:: SOT 4715291 SOS 762085 HAS SOPS 762085 HAS SOUS 609007 HAS SOUPS 609007 WITH SCORE 609769.085
AT ITER 9577 NEW BEST:: SOT 4715097 SOS 762588 HAS SOPS 762588 HAS SOUS 608954 HAS SOUPS 608954 WITH SCORE 609716.588
AT ITER 9592 NEW BEST:: SOT 4715059 SOS 762512 HAS SOPS 762512 HAS SOUS 608878 HAS SOUPS 608878 WITH SCORE 609640.512
AT ITER 9625 NEW BEST:: SOT 4715002 SOS 762398 HAS SOPS 762398 HAS SOUS 608849 HAS SOUPS 608849 WITH SCORE 609611.398
AT ITER 9639 NEW BEST:: SOT 4715004 SOS 762273 HAS SOPS 762273 HAS SOUS 608724 HAS SOUPS 608724 WITH SCORE 609486.273
AT ITER 9640 NEW BEST:: SOT 4714407 SOS 761079 HAS SOPS 761079 HAS SOUS 608099 HAS SOUPS 608099 WITH SCORE 608860.079
AT ITER 9676 NEW BEST:: SOT 4714385 SOS 761035 HAS SOPS 761035 HAS SOUS 608055 HAS SOUPS 608055 WITH SCORE 608816.035
AT ITER 9733 NEW BEST:: SOT 4714367 SOS 760999 HAS SOPS 760999 HAS SOUS 608037 HAS SOUPS 608037 WITH SCORE 608797.999
AT ITER 9751 NEW BEST:: SOT 4714100 SOS 759543 HAS SOPS 759543 HAS SOUS 607925 HAS SOUPS 607925 WITH SCORE 608684.543
AT ITER 9768 NEW BEST:: SOT 4714005 SOS 759036 HAS SOPS 759036 HAS SOUS 607637 HAS SOUPS 607637 WITH SCORE 608396.036
AT ITER 9774 NEW BEST:: SOT 4713992 SOS 759010 HAS SOPS 759010 HAS SOUS 607611 HAS SOUPS 607611 WITH SCORE 608370.01
AT ITER 9776 NEW BEST:: SOT 4713668 SOS 758961 HAS SOPS 758961 HAS SOUS 607497 HAS SOUPS 607497 WITH SCORE 608255.961
AT ITER 9785 NEW BEST:: SOT 4713539 SOS 758940 HAS SOPS 758940 HAS SOUS 607447 HAS SOUPS 607447 WITH SCORE 608205.94
AT ITER 9830 NEW BEST:: SOT 4713092 SOS 758046 HAS SOPS 758046 HAS SOUS 606632 HAS SOUPS 606632 WITH SCORE 607390.046
AT ITER 9838 NEW BEST:: SOT 4713045 SOS 758045 HAS SOPS 758045 HAS SOUS 606631 HAS SOUPS 606631 WITH SCORE 607389.045
AT ITER 9841 NEW BEST:: SOT 4713045 SOS 758045 HAS SOPS 758045 HAS SOUS 606611 HAS SOUPS 606611 WITH SCORE 607369.045
AT ITER 9856 NEW BEST:: SOT 4712764 SOS 757483 HAS SOPS 757483 HAS SOUS 606330 HAS SOUPS 606330 WITH SCORE 607087.483
AT ITER 9917 NEW BEST:: SOT 4712690 SOS 757335 HAS SOPS 757335 HAS SOUS 606256 HAS SOUPS 606256 WITH SCORE 607013.335
AT ITER 9946 NEW BEST:: SOT 4712594 SOS 757619 HAS SOPS 757619 HAS SOUS 606196 HAS SOUPS 606196 WITH SCORE 606953.619
AT ITER 9947 NEW BEST:: SOT 4712525 SOS 757481 HAS SOPS 757481 HAS SOUS 606058 HAS SOUPS 606058 WITH SCORE 606815.481
AT ITER 9979 NEW BEST:: SOT 4712523 SOS 757478 HAS SOPS 757478 HAS SOUS 606055 HAS SOUPS 606055 WITH SCORE 606812.478
AT ITER 9992 NEW BEST:: SOT 4712487 SOS 757406 HAS SOPS 757406 HAS SOUS 605983 HAS SOUPS 605983 WITH SCORE 606740.406
AT ITER 9997 NEW BEST:: SOT 4712635 SOS 757335 HAS SOPS 757335 HAS SOUS 605912 HAS SOUPS 605912 WITH SCORE 606669.335
AT ITER 9998 NEW BEST:: SOT 4712502 SOS 757069 HAS SOPS 757069 HAS SOUS 605646 HAS SOUPS 605646 WITH SCORE 606403.069
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9702608 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152980 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r099-tall-167814472900808"
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 ;