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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 3.2K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 12:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 12:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 01:49 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 2.3M 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 1589357748163

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

Filename model.pnml
Petri model created: 7058 places, 9611 transitions, 24573 arcs.
AT ITER 0 NEW BEST:: SOT 42863379 SOS 8304026 HAS SOPS 8304026 HAS SOUS 6796181 HAS SOUPS 6796181 WITH SCORE 6804485.026
AT ITER 4 NEW BEST:: SOT 42862759 SOS 8303748 HAS SOPS 8303748 HAS SOUS 6795903 HAS SOUPS 6795903 WITH SCORE 6804206.748
AT ITER 25 NEW BEST:: SOT 42863376 SOS 8304982 HAS SOPS 8304982 HAS SOUS 6795885 HAS SOUPS 6795885 WITH SCORE 6804189.982
AT ITER 66 NEW BEST:: SOT 42863222 SOS 8304597 HAS SOPS 8304597 HAS SOUS 6795731 HAS SOUPS 6795731 WITH SCORE 6804035.597
AT ITER 82 NEW BEST:: SOT 42863037 SOS 8304227 HAS SOPS 8304227 HAS SOUS 6795361 HAS SOUPS 6795361 WITH SCORE 6803665.227
AT ITER 112 NEW BEST:: SOT 42863036 SOS 8303582 HAS SOPS 8303582 HAS SOUS 6794716 HAS SOUPS 6794716 WITH SCORE 6803019.582
AT ITER 135 NEW BEST:: SOT 42862737 SOS 8302985 HAS SOPS 8302985 HAS SOUS 6794119 HAS SOUPS 6794119 WITH SCORE 6802421.985
AT ITER 175 NEW BEST:: SOT 42861648 SOS 8303113 HAS SOPS 8303113 HAS SOUS 6793803 HAS SOUPS 6793803 WITH SCORE 6802106.113
AT ITER 196 NEW BEST:: SOT 42860941 SOS 8302406 HAS SOPS 8302406 HAS SOUS 6793096 HAS SOUPS 6793096 WITH SCORE 6801398.406
AT ITER 198 NEW BEST:: SOT 42860941 SOS 8302159 HAS SOPS 8302159 HAS SOUS 6793096 HAS SOUPS 6793096 WITH SCORE 6801398.159
AT ITER 202 NEW BEST:: SOT 42860941 SOS 8301185 HAS SOPS 8301185 HAS SOUS 6792122 HAS SOUPS 6792122 WITH SCORE 6800423.185
AT ITER 212 NEW BEST:: SOT 42860561 SOS 8300995 HAS SOPS 8300995 HAS SOUS 6791932 HAS SOUPS 6791932 WITH SCORE 6800232.995
AT ITER 249 NEW BEST:: SOT 42859674 SOS 8299221 HAS SOPS 8299221 HAS SOUS 6790158 HAS SOUPS 6790158 WITH SCORE 6798457.221
AT ITER 298 NEW BEST:: SOT 42859528 SOS 8299505 HAS SOPS 8299505 HAS SOUS 6790010 HAS SOUPS 6790010 WITH SCORE 6798309.505
AT ITER 300 NEW BEST:: SOT 42858804 SOS 8298057 HAS SOPS 8298057 HAS SOUS 6788562 HAS SOUPS 6788562 WITH SCORE 6796860.057
AT ITER 315 NEW BEST:: SOT 42856781 SOS 8299961 HAS SOPS 8299961 HAS SOUS 6787776 HAS SOUPS 6787776 WITH SCORE 6796075.961
AT ITER 321 NEW BEST:: SOT 42856373 SOS 8299757 HAS SOPS 8299757 HAS SOUS 6787572 HAS SOUPS 6787572 WITH SCORE 6795871.757
AT ITER 324 NEW BEST:: SOT 42855563 SOS 8299755 HAS SOPS 8299755 HAS SOUS 6787567 HAS SOUPS 6787567 WITH SCORE 6795866.755
AT ITER 334 NEW BEST:: SOT 42854912 SOS 8299104 HAS SOPS 8299104 HAS SOUS 6786916 HAS SOUPS 6786916 WITH SCORE 6795215.104
AT ITER 337 NEW BEST:: SOT 42849620 SOS 8323267 HAS SOPS 8323267 HAS SOUS 6785839 HAS SOUPS 6785839 WITH SCORE 6794162.267
AT ITER 344 NEW BEST:: SOT 42849367 SOS 8323347 HAS SOPS 8323347 HAS SOUS 6785586 HAS SOUPS 6785586 WITH SCORE 6793909.347
AT ITER 358 NEW BEST:: SOT 42848928 SOS 8323343 HAS SOPS 8323343 HAS SOUS 6785585 HAS SOUPS 6785585 WITH SCORE 6793908.343
AT ITER 384 NEW BEST:: SOT 42842186 SOS 8320555 HAS SOPS 8320555 HAS SOUS 6780521 HAS SOUPS 6780521 WITH SCORE 6788841.555
AT ITER 387 NEW BEST:: SOT 42840345 SOS 8322432 HAS SOPS 8322432 HAS SOUS 6779183 HAS SOUPS 6779183 WITH SCORE 6787505.432
AT ITER 409 NEW BEST:: SOT 42839671 SOS 8321083 HAS SOPS 8321083 HAS SOUS 6777331 HAS SOUPS 6777331 WITH SCORE 6785652.083
AT ITER 410 NEW BEST:: SOT 42839145 SOS 8320820 HAS SOPS 8320820 HAS SOUS 6777068 HAS SOUPS 6777068 WITH SCORE 6785388.82
AT ITER 434 NEW BEST:: SOT 42838929 SOS 8322614 HAS SOPS 8322614 HAS SOUS 6776456 HAS SOUPS 6776456 WITH SCORE 6784778.614
AT ITER 474 NEW BEST:: SOT 42838929 SOS 8322950 HAS SOPS 8322950 HAS SOUS 6776455 HAS SOUPS 6776455 WITH SCORE 6784777.95
AT ITER 502 NEW BEST:: SOT 42838927 SOS 8322948 HAS SOPS 8322948 HAS SOUS 6776448 HAS SOUPS 6776448 WITH SCORE 6784770.948
AT ITER 523 NEW BEST:: SOT 42837890 SOS 8321907 HAS SOPS 8321907 HAS SOUS 6775410 HAS SOUPS 6775410 WITH SCORE 6783731.907
AT ITER 545 NEW BEST:: SOT 42837557 SOS 8321241 HAS SOPS 8321241 HAS SOUS 6774744 HAS SOUPS 6774744 WITH SCORE 6783065.241
AT ITER 598 NEW BEST:: SOT 42835977 SOS 8319083 HAS SOPS 8319083 HAS SOUS 6773276 HAS SOUPS 6773276 WITH SCORE 6781595.083
AT ITER 620 NEW BEST:: SOT 42835977 SOS 8318186 HAS SOPS 8318186 HAS SOUS 6772675 HAS SOUPS 6772675 WITH SCORE 6780993.186
AT ITER 630 NEW BEST:: SOT 42835877 SOS 8317986 HAS SOPS 8317986 HAS SOUS 6771979 HAS SOUPS 6771979 WITH SCORE 6780296.986
AT ITER 636 NEW BEST:: SOT 42832121 SOS 8315654 HAS SOPS 8315654 HAS SOUS 6769000 HAS SOUPS 6769000 WITH SCORE 6777315.654
AT ITER 649 NEW BEST:: SOT 42831278 SOS 8314807 HAS SOPS 8314807 HAS SOUS 6768156 HAS SOUPS 6768156 WITH SCORE 6776470.807
AT ITER 680 NEW BEST:: SOT 42829835 SOS 8313360 HAS SOPS 8313360 HAS SOUS 6766712 HAS SOUPS 6766712 WITH SCORE 6775025.36
AT ITER 684 NEW BEST:: SOT 42829621 SOS 8312932 HAS SOPS 8312932 HAS SOUS 6766284 HAS SOUPS 6766284 WITH SCORE 6774596.932
AT ITER 707 NEW BEST:: SOT 42829288 SOS 8312266 HAS SOPS 8312266 HAS SOUS 6765951 HAS SOUPS 6765951 WITH SCORE 6774263.266
AT ITER 715 NEW BEST:: SOT 42829114 SOS 8312102 HAS SOPS 8312102 HAS SOUS 6765783 HAS SOUPS 6765783 WITH SCORE 6774095.102
AT ITER 729 NEW BEST:: SOT 42827722 SOS 8310706 HAS SOPS 8310706 HAS SOUS 6764390 HAS SOUPS 6764390 WITH SCORE 6772700.706
AT ITER 733 NEW BEST:: SOT 42827657 SOS 8310576 HAS SOPS 8310576 HAS SOUS 6764260 HAS SOUPS 6764260 WITH SCORE 6772570.576
AT ITER 743 NEW BEST:: SOT 42826506 SOS 8310323 HAS SOPS 8310323 HAS SOUS 6764007 HAS SOUPS 6764007 WITH SCORE 6772317.323
AT ITER 800 NEW BEST:: SOT 42825096 SOS 8309924 HAS SOPS 8309924 HAS SOUS 6763608 HAS SOUPS 6763608 WITH SCORE 6771917.924
AT ITER 805 NEW BEST:: SOT 42824246 SOS 8308224 HAS SOPS 8308224 HAS SOUS 6761908 HAS SOUPS 6761908 WITH SCORE 6770216.224
AT ITER 822 NEW BEST:: SOT 42823342 SOS 8307320 HAS SOPS 8307320 HAS SOUS 6760100 HAS SOUPS 6760100 WITH SCORE 6768407.32
AT ITER 823 NEW BEST:: SOT 42822018 SOS 8305992 HAS SOPS 8305992 HAS SOUS 6758775 HAS SOUPS 6758775 WITH SCORE 6767080.992
AT ITER 846 NEW BEST:: SOT 42821972 SOS 8305900 HAS SOPS 8305900 HAS SOUS 6758683 HAS SOUPS 6758683 WITH SCORE 6766988.9
AT ITER 868 NEW BEST:: SOT 42818568 SOS 8313840 HAS SOPS 8313840 HAS SOUS 6757452 HAS SOUPS 6757452 WITH SCORE 6765765.84
AT ITER 873 NEW BEST:: SOT 42817162 SOS 8311762 HAS SOPS 8311762 HAS SOUS 6756120 HAS SOUPS 6756120 WITH SCORE 6764431.762
AT ITER 891 NEW BEST:: SOT 42817247 SOS 8311932 HAS SOPS 8311932 HAS SOUS 6754602 HAS SOUPS 6754602 WITH SCORE 6762913.932
AT ITER 906 NEW BEST:: SOT 42817349 SOS 8311767 HAS SOPS 8311767 HAS SOUS 6754474 HAS SOUPS 6754474 WITH SCORE 6762785.767
AT ITER 912 NEW BEST:: SOT 42817193 SOS 8311076 HAS SOPS 8311076 HAS SOUS 6754318 HAS SOUPS 6754318 WITH SCORE 6762629.076
AT ITER 913 NEW BEST:: SOT 42815684 SOS 8308566 HAS SOPS 8308566 HAS SOUS 6751991 HAS SOUPS 6751991 WITH SCORE 6760299.566
AT ITER 914 NEW BEST:: SOT 42814926 SOS 8309324 HAS SOPS 8309324 HAS SOUS 6751233 HAS SOUPS 6751233 WITH SCORE 6759542.324
AT ITER 918 NEW BEST:: SOT 42814925 SOS 8309322 HAS SOPS 8309322 HAS SOUS 6751231 HAS SOUPS 6751231 WITH SCORE 6759540.322
AT ITER 930 NEW BEST:: SOT 42813815 SOS 8308212 HAS SOPS 8308212 HAS SOUS 6750121 HAS SOUPS 6750121 WITH SCORE 6758429.212
AT ITER 932 NEW BEST:: SOT 42812418 SOS 8307196 HAS SOPS 8307196 HAS SOUS 6748978 HAS SOUPS 6748978 WITH SCORE 6757285.196
AT ITER 941 NEW BEST:: SOT 42812418 SOS 8308145 HAS SOPS 8308145 HAS SOUS 6748977 HAS SOUPS 6748977 WITH SCORE 6757285.145
AT ITER 982 NEW BEST:: SOT 42812298 SOS 8307906 HAS SOPS 8307906 HAS SOUS 6748738 HAS SOUPS 6748738 WITH SCORE 6757045.906
AT ITER 984 NEW BEST:: SOT 42812298 SOS 8306692 HAS SOPS 8306692 HAS SOUS 6748131 HAS SOUPS 6748131 WITH SCORE 6756437.692
AT ITER 986 NEW BEST:: SOT 42811869 SOS 8305834 HAS SOPS 8305834 HAS SOUS 6747702 HAS SOUPS 6747702 WITH SCORE 6756007.834
AT ITER 1013 NEW BEST:: SOT 42810748 SOS 8305509 HAS SOPS 8305509 HAS SOUS 6747377 HAS SOUPS 6747377 WITH SCORE 6755682.509
AT ITER 1014 NEW BEST:: SOT 42809643 SOS 8303299 HAS SOPS 8303299 HAS SOUS 6745167 HAS SOUPS 6745167 WITH SCORE 6753470.299
AT ITER 1015 NEW BEST:: SOT 42809125 SOS 8302263 HAS SOPS 8302263 HAS SOUS 6744649 HAS SOUPS 6744649 WITH SCORE 6752951.263
AT ITER 1031 NEW BEST:: SOT 42809289 SOS 8302591 HAS SOPS 8302591 HAS SOUS 6744556 HAS SOUPS 6744556 WITH SCORE 6752858.591
AT ITER 1032 NEW BEST:: SOT 42809289 SOS 8302591 HAS SOPS 8302591 HAS SOUS 6744414 HAS SOUPS 6744414 WITH SCORE 6752716.591
AT ITER 1036 NEW BEST:: SOT 42809152 SOS 8302317 HAS SOPS 8302317 HAS SOUS 6744277 HAS SOUPS 6744277 WITH SCORE 6752579.317
AT ITER 1050 NEW BEST:: SOT 42808895 SOS 8301803 HAS SOPS 8301803 HAS SOUS 6743763 HAS SOUPS 6743763 WITH SCORE 6752064.803
AT ITER 1051 NEW BEST:: SOT 42808029 SOS 8300071 HAS SOPS 8300071 HAS SOUS 6743082 HAS SOUPS 6743082 WITH SCORE 6751382.071
AT ITER 1054 NEW BEST:: SOT 42807276 SOS 8298565 HAS SOPS 8298565 HAS SOUS 6741576 HAS SOUPS 6741576 WITH SCORE 6749874.565
AT ITER 1055 NEW BEST:: SOT 42806414 SOS 8298035 HAS SOPS 8298035 HAS SOUS 6740882 HAS SOUPS 6740882 WITH SCORE 6749180.035
AT ITER 1063 NEW BEST:: SOT 42805910 SOS 8295578 HAS SOPS 8295578 HAS SOUS 6740378 HAS SOUPS 6740378 WITH SCORE 6748673.578
AT ITER 1073 NEW BEST:: SOT 42805610 SOS 8294978 HAS SOPS 8294978 HAS SOUS 6739778 HAS SOUPS 6739778 WITH SCORE 6748072.978
AT ITER 1079 NEW BEST:: SOT 42805452 SOS 8294662 HAS SOPS 8294662 HAS SOUS 6738875 HAS SOUPS 6738875 WITH SCORE 6747169.662
AT ITER 1103 NEW BEST:: SOT 42805391 SOS 8294601 HAS SOPS 8294601 HAS SOUS 6738753 HAS SOUPS 6738753 WITH SCORE 6747047.601
AT ITER 1106 NEW BEST:: SOT 42803499 SOS 8293225 HAS SOPS 8293225 HAS SOUS 6737205 HAS SOUPS 6737205 WITH SCORE 6745498.225
AT ITER 1107 NEW BEST:: SOT 42802076 SOS 8291233 HAS SOPS 8291233 HAS SOUS 6736220 HAS SOUPS 6736220 WITH SCORE 6744511.233
AT ITER 1113 NEW BEST:: SOT 42800205 SOS 8291696 HAS SOPS 8291696 HAS SOUS 6735351 HAS SOUPS 6735351 WITH SCORE 6743642.696
AT ITER 1115 NEW BEST:: SOT 42800205 SOS 8290877 HAS SOPS 8290877 HAS SOUS 6735351 HAS SOUPS 6735351 WITH SCORE 6743641.877
AT ITER 1122 NEW BEST:: SOT 42800522 SOS 8291511 HAS SOPS 8291511 HAS SOUS 6735339 HAS SOUPS 6735339 WITH SCORE 6743630.511
AT ITER 1135 NEW BEST:: SOT 42799975 SOS 8290417 HAS SOPS 8290417 HAS SOUS 6734245 HAS SOUPS 6734245 WITH SCORE 6742535.417
AT ITER 1148 NEW BEST:: SOT 42799298 SOS 8289950 HAS SOPS 8289950 HAS SOUS 6733778 HAS SOUPS 6733778 WITH SCORE 6742067.95
AT ITER 1153 NEW BEST:: SOT 42799298 SOS 8289950 HAS SOPS 8289950 HAS SOUS 6732633 HAS SOUPS 6732633 WITH SCORE 6740922.95
AT ITER 1157 NEW BEST:: SOT 42798570 SOS 8286310 HAS SOPS 8286310 HAS SOUS 6731177 HAS SOUPS 6731177 WITH SCORE 6739463.31
AT ITER 1169 NEW BEST:: SOT 42798067 SOS 8283870 HAS SOPS 8283870 HAS SOUS 6730674 HAS SOUPS 6730674 WITH SCORE 6738957.87
AT ITER 1173 NEW BEST:: SOT 42797640 SOS 8282841 HAS SOPS 8282841 HAS SOUS 6729645 HAS SOUPS 6729645 WITH SCORE 6737927.841
AT ITER 1185 NEW BEST:: SOT 42796897 SOS 8282841 HAS SOPS 8282841 HAS SOUS 6728902 HAS SOUPS 6728902 WITH SCORE 6737184.841
AT ITER 1205 NEW BEST:: SOT 42794939 SOS 8281689 HAS SOPS 8281689 HAS SOUS 6727458 HAS SOUPS 6727458 WITH SCORE 6735739.689
AT ITER 1206 NEW BEST:: SOT 42794221 SOS 8281330 HAS SOPS 8281330 HAS SOUS 6727099 HAS SOUPS 6727099 WITH SCORE 6735380.33
AT ITER 1235 NEW BEST:: SOT 42793577 SOS 8280042 HAS SOPS 8280042 HAS SOUS 6725666 HAS SOUPS 6725666 WITH SCORE 6733946.042
AT ITER 1250 NEW BEST:: SOT 42793345 SOS 8279579 HAS SOPS 8279579 HAS SOUS 6725203 HAS SOUPS 6725203 WITH SCORE 6733482.579
AT ITER 1273 NEW BEST:: SOT 42793345 SOS 8279493 HAS SOPS 8279493 HAS SOUS 6725117 HAS SOUPS 6725117 WITH SCORE 6733396.493
AT ITER 1281 NEW BEST:: SOT 42793099 SOS 8279370 HAS SOPS 8279370 HAS SOUS 6724994 HAS SOUPS 6724994 WITH SCORE 6733273.37
AT ITER 1304 NEW BEST:: SOT 42793067 SOS 8279306 HAS SOPS 8279306 HAS SOUS 6724962 HAS SOUPS 6724962 WITH SCORE 6733241.306
AT ITER 1355 NEW BEST:: SOT 42792630 SOS 8279304 HAS SOPS 8279304 HAS SOUS 6724955 HAS SOUPS 6724955 WITH SCORE 6733234.304
AT ITER 1364 NEW BEST:: SOT 42791736 SOS 8277516 HAS SOPS 8277516 HAS SOUS 6723167 HAS SOUPS 6723167 WITH SCORE 6731444.516
AT ITER 1388 NEW BEST:: SOT 42790576 SOS 8276936 HAS SOPS 8276936 HAS SOUS 6722578 HAS SOUPS 6722578 WITH SCORE 6730854.936
AT ITER 1391 NEW BEST:: SOT 42790476 SOS 8276736 HAS SOPS 8276736 HAS SOUS 6722378 HAS SOUPS 6722378 WITH SCORE 6730654.736
AT ITER 1421 NEW BEST:: SOT 42790426 SOS 8276686 HAS SOPS 8276686 HAS SOUS 6722378 HAS SOUPS 6722378 WITH SCORE 6730654.686
AT ITER 1455 NEW BEST:: SOT 42790404 SOS 8276642 HAS SOPS 8276642 HAS SOUS 6722356 HAS SOUPS 6722356 WITH SCORE 6730632.642
AT ITER 1462 NEW BEST:: SOT 42790404 SOS 8276931 HAS SOPS 8276931 HAS SOUS 6722355 HAS SOUPS 6722355 WITH SCORE 6730631.931
AT ITER 1482 NEW BEST:: SOT 42790403 SOS 8276929 HAS SOPS 8276929 HAS SOUS 6722353 HAS SOUPS 6722353 WITH SCORE 6730629.929
AT ITER 1555 NEW BEST:: SOT 42790192 SOS 8277347 HAS SOPS 8277347 HAS SOUS 6722141 HAS SOUPS 6722141 WITH SCORE 6730418.347
AT ITER 1575 NEW BEST:: SOT 42789286 SOS 8276441 HAS SOPS 8276441 HAS SOUS 6721235 HAS SOUPS 6721235 WITH SCORE 6729511.441
AT ITER 1584 NEW BEST:: SOT 42789012 SOS 8275893 HAS SOPS 8275893 HAS SOUS 6720687 HAS SOUPS 6720687 WITH SCORE 6728962.893
AT ITER 1599 NEW BEST:: SOT 42788389 SOS 8275684 HAS SOPS 8275684 HAS SOUS 6720478 HAS SOUPS 6720478 WITH SCORE 6728753.684
AT ITER 1632 NEW BEST:: SOT 42787897 SOS 8275192 HAS SOPS 8275192 HAS SOUS 6719986 HAS SOUPS 6719986 WITH SCORE 6728261.192
AT ITER 1666 NEW BEST:: SOT 42788090 SOS 8275190 HAS SOPS 8275190 HAS SOUS 6719985 HAS SOUPS 6719985 WITH SCORE 6728260.19
AT ITER 1686 NEW BEST:: SOT 42787429 SOS 8275181 HAS SOPS 8275181 HAS SOUS 6719976 HAS SOUPS 6719976 WITH SCORE 6728251.181
AT ITER 1689 NEW BEST:: SOT 42786728 SOS 8274480 HAS SOPS 8274480 HAS SOUS 6719976 HAS SOUPS 6719976 WITH SCORE 6728250.48
AT ITER 1706 NEW BEST:: SOT 42786728 SOS 8274642 HAS SOPS 8274642 HAS SOUS 6719975 HAS SOUPS 6719975 WITH SCORE 6728249.642
AT ITER 1720 NEW BEST:: SOT 42786058 SOS 8274442 HAS SOPS 8274442 HAS SOUS 6719775 HAS SOUPS 6719775 WITH SCORE 6728049.442
AT ITER 1731 NEW BEST:: SOT 42786173 SOS 8273660 HAS SOPS 8273660 HAS SOUS 6719441 HAS SOUPS 6719441 WITH SCORE 6727714.66
AT ITER 1735 NEW BEST:: SOT 42785682 SOS 8273658 HAS SOPS 8273658 HAS SOUS 6719439 HAS SOUPS 6719439 WITH SCORE 6727712.658
AT ITER 1740 NEW BEST:: SOT 42785682 SOS 8272910 HAS SOPS 8272910 HAS SOUS 6718691 HAS SOUPS 6718691 WITH SCORE 6726963.91
AT ITER 1750 NEW BEST:: SOT 42785452 SOS 8272450 HAS SOPS 8272450 HAS SOUS 6717581 HAS SOUPS 6717581 WITH SCORE 6725853.45
AT ITER 1754 NEW BEST:: SOT 42785179 SOS 8271904 HAS SOPS 8271904 HAS SOUS 6717035 HAS SOUPS 6717035 WITH SCORE 6725306.904
AT ITER 1764 NEW BEST:: SOT 42777030 SOS 8294189 HAS SOPS 8294189 HAS SOUS 6712966 HAS SOUPS 6712966 WITH SCORE 6721260.189
AT ITER 1767 NEW BEST:: SOT 42777029 SOS 8294187 HAS SOPS 8294187 HAS SOUS 6712302 HAS SOUPS 6712302 WITH SCORE 6720596.187
AT ITER 1786 NEW BEST:: SOT 42777029 SOS 8294187 HAS SOPS 8294187 HAS SOUS 6712088 HAS SOUPS 6712088 WITH SCORE 6720382.187
AT ITER 1792 NEW BEST:: SOT 42776844 SOS 8294002 HAS SOPS 8294002 HAS SOUS 6711903 HAS SOUPS 6711903 WITH SCORE 6720197.002
AT ITER 1794 NEW BEST:: SOT 42776781 SOS 8293876 HAS SOPS 8293876 HAS SOUS 6711777 HAS SOUPS 6711777 WITH SCORE 6720070.876
AT ITER 1803 NEW BEST:: SOT 42776449 SOS 8293212 HAS SOPS 8293212 HAS SOUS 6710813 HAS SOUPS 6710813 WITH SCORE 6719106.212
AT ITER 1824 NEW BEST:: SOT 42774304 SOS 8292363 HAS SOPS 8292363 HAS SOUS 6709815 HAS SOUPS 6709815 WITH SCORE 6718107.363
AT ITER 1832 NEW BEST:: SOT 42774303 SOS 8292361 HAS SOPS 8292361 HAS SOUS 6709813 HAS SOUPS 6709813 WITH SCORE 6718105.361
AT ITER 1858 NEW BEST:: SOT 42773815 SOS 8289921 HAS SOPS 8289921 HAS SOUS 6708837 HAS SOUPS 6708837 WITH SCORE 6717126.921
AT ITER 1868 NEW BEST:: SOT 42773814 SOS 8289919 HAS SOPS 8289919 HAS SOUS 6708835 HAS SOUPS 6708835 WITH SCORE 6717124.919
AT ITER 1877 NEW BEST:: SOT 42771661 SOS 8289159 HAS SOPS 8289159 HAS SOUS 6708000 HAS SOUPS 6708000 WITH SCORE 6716289.159
AT ITER 1884 NEW BEST:: SOT 42772000 SOS 8289837 HAS SOPS 8289837 HAS SOUS 6707038 HAS SOUPS 6707038 WITH SCORE 6715327.837
AT ITER 1955 NEW BEST:: SOT 42771320 SOS 8289366 HAS SOPS 8289366 HAS SOUS 6706567 HAS SOUPS 6706567 WITH SCORE 6714856.366
AT ITER 1959 NEW BEST:: SOT 42771154 SOS 8289730 HAS SOPS 8289730 HAS SOUS 6706235 HAS SOUPS 6706235 WITH SCORE 6714524.73
AT ITER 2025 NEW BEST:: SOT 42770387 SOS 8285895 HAS SOPS 8285895 HAS SOUS 6704701 HAS SOUPS 6704701 WITH SCORE 6712986.895
AT ITER 2046 NEW BEST:: SOT 42770386 SOS 8285893 HAS SOPS 8285893 HAS SOUS 6704699 HAS SOUPS 6704699 WITH SCORE 6712984.893
AT ITER 2052 NEW BEST:: SOT 42769030 SOS 8283181 HAS SOPS 8283181 HAS SOUS 6703343 HAS SOUPS 6703343 WITH SCORE 6711626.181
AT ITER 2088 NEW BEST:: SOT 42767703 SOS 8276546 HAS SOPS 8276546 HAS SOUS 6700689 HAS SOUPS 6700689 WITH SCORE 6708965.546
AT ITER 2119 NEW BEST:: SOT 42767702 SOS 8276544 HAS SOPS 8276544 HAS SOUS 6700687 HAS SOUPS 6700687 WITH SCORE 6708963.544
AT ITER 2133 NEW BEST:: SOT 42767237 SOS 8275614 HAS SOPS 8275614 HAS SOUS 6699757 HAS SOUPS 6699757 WITH SCORE 6708032.614
AT ITER 2142 NEW BEST:: SOT 42766250 SOS 8273640 HAS SOPS 8273640 HAS SOUS 6697783 HAS SOUPS 6697783 WITH SCORE 6706056.64
AT ITER 2177 NEW BEST:: SOT 42766250 SOS 8273640 HAS SOPS 8273640 HAS SOUS 6697782 HAS SOUPS 6697782 WITH SCORE 6706055.64
AT ITER 2203 NEW BEST:: SOT 42766024 SOS 8273188 HAS SOPS 8273188 HAS SOUS 6697330 HAS SOUPS 6697330 WITH SCORE 6705603.188
AT ITER 2207 NEW BEST:: SOT 42765664 SOS 8273008 HAS SOPS 8273008 HAS SOUS 6697150 HAS SOUPS 6697150 WITH SCORE 6705423.008
AT ITER 2216 NEW BEST:: SOT 42765099 SOS 8273484 HAS SOPS 8273484 HAS SOUS 6697107 HAS SOUPS 6697107 WITH SCORE 6705380.484
AT ITER 2217 NEW BEST:: SOT 42764707 SOS 8273015 HAS SOPS 8273015 HAS SOUS 6696520 HAS SOUPS 6696520 WITH SCORE 6704793.015
AT ITER 2229 NEW BEST:: SOT 42763883 SOS 8271367 HAS SOPS 8271367 HAS SOUS 6694872 HAS SOUPS 6694872 WITH SCORE 6703143.367
AT ITER 2233 NEW BEST:: SOT 42763883 SOS 8271367 HAS SOPS 8271367 HAS SOUS 6694871 HAS SOUPS 6694871 WITH SCORE 6703142.367
AT ITER 2234 NEW BEST:: SOT 42763444 SOS 8269172 HAS SOPS 8269172 HAS SOUS 6693993 HAS SOUPS 6693993 WITH SCORE 6702262.172
AT ITER 2248 NEW BEST:: SOT 42762695 SOS 8269284 HAS SOPS 8269284 HAS SOUS 6693676 HAS SOUPS 6693676 WITH SCORE 6701945.284
AT ITER 2249 NEW BEST:: SOT 42762598 SOS 8269090 HAS SOPS 8269090 HAS SOUS 6693482 HAS SOUPS 6693482 WITH SCORE 6701751.09
AT ITER 2285 NEW BEST:: SOT 42762355 SOS 8268928 HAS SOPS 8268928 HAS SOUS 6693320 HAS SOUPS 6693320 WITH SCORE 6701588.928
AT ITER 2304 NEW BEST:: SOT 42762045 SOS 8268308 HAS SOPS 8268308 HAS SOUS 6692700 HAS SOUPS 6692700 WITH SCORE 6700968.308
AT ITER 2328 NEW BEST:: SOT 42761693 SOS 8266915 HAS SOPS 8266915 HAS SOUS 6691826 HAS SOUPS 6691826 WITH SCORE 6700092.915
AT ITER 2339 NEW BEST:: SOT 42762437 SOS 8265891 HAS SOPS 8265891 HAS SOUS 6691434 HAS SOUPS 6691434 WITH SCORE 6699699.891
AT ITER 2341 NEW BEST:: SOT 42762171 SOS 8265881 HAS SOPS 8265881 HAS SOUS 6691433 HAS SOUPS 6691433 WITH SCORE 6699698.881
AT ITER 2353 NEW BEST:: SOT 42762171 SOS 8265881 HAS SOPS 8265881 HAS SOUS 6691241 HAS SOUPS 6691241 WITH SCORE 6699506.881
AT ITER 2355 NEW BEST:: SOT 42762170 SOS 8265879 HAS SOPS 8265879 HAS SOUS 6691239 HAS SOUPS 6691239 WITH SCORE 6699504.879
AT ITER 2368 NEW BEST:: SOT 42761858 SOS 8265255 HAS SOPS 8265255 HAS SOUS 6690286 HAS SOUPS 6690286 WITH SCORE 6698551.255
AT ITER 2392 NEW BEST:: SOT 42761754 SOS 8264646 HAS SOPS 8264646 HAS SOUS 6690280 HAS SOUPS 6690280 WITH SCORE 6698544.646
AT ITER 2395 NEW BEST:: SOT 42760705 SOS 8263156 HAS SOPS 8263156 HAS SOUS 6689231 HAS SOUPS 6689231 WITH SCORE 6697494.156
AT ITER 2399 NEW BEST:: SOT 42759939 SOS 8261624 HAS SOPS 8261624 HAS SOUS 6687699 HAS SOUPS 6687699 WITH SCORE 6695960.624
AT ITER 2407 NEW BEST:: SOT 42759939 SOS 8260661 HAS SOPS 8260661 HAS SOUS 6687699 HAS SOUPS 6687699 WITH SCORE 6695959.661
AT ITER 2425 NEW BEST:: SOT 42758528 SOS 8257839 HAS SOPS 8257839 HAS SOUS 6686288 HAS SOUPS 6686288 WITH SCORE 6694545.839
AT ITER 2432 NEW BEST:: SOT 42758128 SOS 8257439 HAS SOPS 8257439 HAS SOUS 6685888 HAS SOUPS 6685888 WITH SCORE 6694145.439
AT ITER 2455 NEW BEST:: SOT 42756263 SOS 8253709 HAS SOPS 8253709 HAS SOUS 6682886 HAS SOUPS 6682886 WITH SCORE 6691139.709
AT ITER 2476 NEW BEST:: SOT 42754990 SOS 8251163 HAS SOPS 8251163 HAS SOUS 6680483 HAS SOUPS 6680483 WITH SCORE 6688734.163
AT ITER 2503 NEW BEST:: SOT 42754327 SOS 8251145 HAS SOPS 8251145 HAS SOUS 6680465 HAS SOUPS 6680465 WITH SCORE 6688716.145
AT ITER 2567 NEW BEST:: SOT 42753395 SOS 8248861 HAS SOPS 8248861 HAS SOUS 6678638 HAS SOUPS 6678638 WITH SCORE 6686886.861
AT ITER 2569 NEW BEST:: SOT 42753030 SOS 8247159 HAS SOPS 8247159 HAS SOUS 6678306 HAS SOUPS 6678306 WITH SCORE 6686553.159
AT ITER 2583 NEW BEST:: SOT 42753030 SOS 8248136 HAS SOPS 8248136 HAS SOUS 6678305 HAS SOUPS 6678305 WITH SCORE 6686553.136
AT ITER 2588 NEW BEST:: SOT 42753432 SOS 8248025 HAS SOPS 8248025 HAS SOUS 6678194 HAS SOUPS 6678194 WITH SCORE 6686442.025
AT ITER 2594 NEW BEST:: SOT 42753178 SOS 8246545 HAS SOPS 8246545 HAS SOUS 6678135 HAS SOUPS 6678135 WITH SCORE 6686381.545
AT ITER 2605 NEW BEST:: SOT 42752322 SOS 8245689 HAS SOPS 8245689 HAS SOUS 6677279 HAS SOUPS 6677279 WITH SCORE 6685524.689
AT ITER 2617 NEW BEST:: SOT 42751851 SOS 8246347 HAS SOPS 8246347 HAS SOUS 6676808 HAS SOUPS 6676808 WITH SCORE 6685054.347
AT ITER 2621 NEW BEST:: SOT 42751851 SOS 8246347 HAS SOPS 8246347 HAS SOUS 6676052 HAS SOUPS 6676052 WITH SCORE 6684298.347
AT ITER 2635 NEW BEST:: SOT 42752104 SOS 8245948 HAS SOPS 8245948 HAS SOUS 6675653 HAS SOUPS 6675653 WITH SCORE 6683898.948
AT ITER 2662 NEW BEST:: SOT 42751594 SOS 8245714 HAS SOPS 8245714 HAS SOUS 6675405 HAS SOUPS 6675405 WITH SCORE 6683650.714
AT ITER 2674 NEW BEST:: SOT 42751250 SOS 8244437 HAS SOPS 8244437 HAS SOUS 6675347 HAS SOUPS 6675347 WITH SCORE 6683591.437
AT ITER 2696 NEW BEST:: SOT 42751229 SOS 8244395 HAS SOPS 8244395 HAS SOUS 6675326 HAS SOUPS 6675326 WITH SCORE 6683570.395
AT ITER 2702 NEW BEST:: SOT 42750764 SOS 8241615 HAS SOPS 8241615 HAS SOUS 6675315 HAS SOUPS 6675315 WITH SCORE 6683556.615
AT ITER 2712 NEW BEST:: SOT 42750436 SOS 8241611 HAS SOPS 8241611 HAS SOUS 6674986 HAS SOUPS 6674986 WITH SCORE 6683227.611
AT ITER 2757 NEW BEST:: SOT 42749352 SOS 8240523 HAS SOPS 8240523 HAS SOUS 6673901 HAS SOUPS 6673901 WITH SCORE 6682141.523
AT ITER 2775 NEW BEST:: SOT 42749129 SOS 8240481 HAS SOPS 8240481 HAS SOUS 6673421 HAS SOUPS 6673421 WITH SCORE 6681661.481
AT ITER 2780 NEW BEST:: SOT 42749128 SOS 8240479 HAS SOPS 8240479 HAS SOUS 6673419 HAS SOUPS 6673419 WITH SCORE 6681659.479
AT ITER 2836 NEW BEST:: SOT 42749433 SOS 8239639 HAS SOPS 8239639 HAS SOUS 6673151 HAS SOUPS 6673151 WITH SCORE 6681390.639
AT ITER 2858 NEW BEST:: SOT 42748292 SOS 8238529 HAS SOPS 8238529 HAS SOUS 6672027 HAS SOUPS 6672027 WITH SCORE 6680265.529
AT ITER 2875 NEW BEST:: SOT 42748165 SOS 8239029 HAS SOPS 8239029 HAS SOUS 6671773 HAS SOUPS 6671773 WITH SCORE 6680012.029
AT ITER 2877 NEW BEST:: SOT 42747521 SOS 8237741 HAS SOPS 8237741 HAS SOUS 6670485 HAS SOUPS 6670485 WITH SCORE 6678722.741
AT ITER 2930 NEW BEST:: SOT 42747518 SOS 8237735 HAS SOPS 8237735 HAS SOUS 6670479 HAS SOUPS 6670479 WITH SCORE 6678716.735
AT ITER 2976 NEW BEST:: SOT 42745640 SOS 8237317 HAS SOPS 8237317 HAS SOUS 6670061 HAS SOUPS 6670061 WITH SCORE 6678298.317
AT ITER 2989 NEW BEST:: SOT 42738400 SOS 8232973 HAS SOPS 8232973 HAS SOUS 6664993 HAS SOUPS 6664993 WITH SCORE 6673225.973
AT ITER 3002 NEW BEST:: SOT 42738152 SOS 8232849 HAS SOPS 8232849 HAS SOUS 6664869 HAS SOUPS 6664869 WITH SCORE 6673101.849
AT ITER 3003 NEW BEST:: SOT 42736250 SOS 8231898 HAS SOPS 8231898 HAS SOUS 6663918 HAS SOUPS 6663918 WITH SCORE 6672149.898
AT ITER 3019 NEW BEST:: SOT 42736134 SOS 8230928 HAS SOPS 8230928 HAS SOUS 6663686 HAS SOUPS 6663686 WITH SCORE 6671916.928
AT ITER 3065 NEW BEST:: SOT 42736125 SOS 8230910 HAS SOPS 8230910 HAS SOUS 6663668 HAS SOUPS 6663668 WITH SCORE 6671898.91
AT ITER 3066 NEW BEST:: SOT 42736355 SOS 8230908 HAS SOPS 8230908 HAS SOUS 6663667 HAS SOUPS 6663667 WITH SCORE 6671897.908
AT ITER 3074 NEW BEST:: SOT 42736477 SOS 8229368 HAS SOPS 8229368 HAS SOUS 6662680 HAS SOUPS 6662680 WITH SCORE 6670909.368
AT ITER 3103 NEW BEST:: SOT 42736156 SOS 8228726 HAS SOPS 8228726 HAS SOUS 6662038 HAS SOUPS 6662038 WITH SCORE 6670266.726
AT ITER 3104 NEW BEST:: SOT 42736156 SOS 8228439 HAS SOPS 8228439 HAS SOUS 6662038 HAS SOUPS 6662038 WITH SCORE 6670266.439
AT ITER 3105 NEW BEST:: SOT 42735523 SOS 8225274 HAS SOPS 8225274 HAS SOUS 6660772 HAS SOUPS 6660772 WITH SCORE 6668997.274
AT ITER 3114 NEW BEST:: SOT 42735573 SOS 8224854 HAS SOPS 8224854 HAS SOUS 6660352 HAS SOUPS 6660352 WITH SCORE 6668576.854
AT ITER 3124 NEW BEST:: SOT 42735573 SOS 8224781 HAS SOPS 8224781 HAS SOUS 6660279 HAS SOUPS 6660279 WITH SCORE 6668503.781
AT ITER 3145 NEW BEST:: SOT 42735573 SOS 8224403 HAS SOPS 8224403 HAS SOUS 6659901 HAS SOUPS 6659901 WITH SCORE 6668125.403
AT ITER 3147 NEW BEST:: SOT 42735573 SOS 8224403 HAS SOPS 8224403 HAS SOUS 6659898 HAS SOUPS 6659898 WITH SCORE 6668122.403
AT ITER 3166 NEW BEST:: SOT 42734359 SOS 8221975 HAS SOPS 8221975 HAS SOUS 6656916 HAS SOUPS 6656916 WITH SCORE 6665137.975
AT ITER 3173 NEW BEST:: SOT 42734355 SOS 8221967 HAS SOPS 8221967 HAS SOUS 6656908 HAS SOUPS 6656908 WITH SCORE 6665129.967
AT ITER 3184 NEW BEST:: SOT 42734306 SOS 8221869 HAS SOPS 8221869 HAS SOUS 6656810 HAS SOUPS 6656810 WITH SCORE 6665031.869
AT ITER 3203 NEW BEST:: SOT 42733519 SOS 8219640 HAS SOPS 8219640 HAS SOUS 6655068 HAS SOUPS 6655068 WITH SCORE 6663287.64
AT ITER 3226 NEW BEST:: SOT 42733518 SOS 8219638 HAS SOPS 8219638 HAS SOUS 6655066 HAS SOUPS 6655066 WITH SCORE 6663285.638
AT ITER 3243 NEW BEST:: SOT 42733056 SOS 8219407 HAS SOPS 8219407 HAS SOUS 6654835 HAS SOUPS 6654835 WITH SCORE 6663054.407
AT ITER 3255 NEW BEST:: SOT 42727059 SOS 8221813 HAS SOPS 8221813 HAS SOUS 6650701 HAS SOUPS 6650701 WITH SCORE 6658922.813
AT ITER 3326 NEW BEST:: SOT 42726273 SOS 8221109 HAS SOPS 8221109 HAS SOUS 6649914 HAS SOUPS 6649914 WITH SCORE 6658135.109
AT ITER 3332 NEW BEST:: SOT 42725773 SOS 8220109 HAS SOPS 8220109 HAS SOUS 6649414 HAS SOUPS 6649414 WITH SCORE 6657634.109
AT ITER 3347 NEW BEST:: SOT 42726049 SOS 8219832 HAS SOPS 8219832 HAS SOUS 6649413 HAS SOUPS 6649413 WITH SCORE 6657632.832
AT ITER 3352 NEW BEST:: SOT 42725857 SOS 8219828 HAS SOPS 8219828 HAS SOUS 6649316 HAS SOUPS 6649316 WITH SCORE 6657535.828
AT ITER 3357 NEW BEST:: SOT 42725585 SOS 8219284 HAS SOPS 8219284 HAS SOUS 6648772 HAS SOUPS 6648772 WITH SCORE 6656991.284
AT ITER 3363 NEW BEST:: SOT 42725585 SOS 8218950 HAS SOPS 8218950 HAS SOUS 6648772 HAS SOUPS 6648772 WITH SCORE 6656990.95
AT ITER 3372 NEW BEST:: SOT 42725474 SOS 8217174 HAS SOPS 8217174 HAS SOUS 6648328 HAS SOUPS 6648328 WITH SCORE 6656545.174
AT ITER 3394 NEW BEST:: SOT 42724877 SOS 8217525 HAS SOPS 8217525 HAS SOUS 6647433 HAS SOUPS 6647433 WITH SCORE 6655650.525
AT ITER 3416 NEW BEST:: SOT 42724221 SOS 8217525 HAS SOPS 8217525 HAS SOUS 6646777 HAS SOUPS 6646777 WITH SCORE 6654994.525
AT ITER 3423 NEW BEST:: SOT 42723948 SOS 8216979 HAS SOPS 8216979 HAS SOUS 6646231 HAS SOUPS 6646231 WITH SCORE 6654447.979
AT ITER 3424 NEW BEST:: SOT 42723571 SOS 8216224 HAS SOPS 8216224 HAS SOUS 6645476 HAS SOUPS 6645476 WITH SCORE 6653692.224
AT ITER 3427 NEW BEST:: SOT 42722401 SOS 8216815 HAS SOPS 8216815 HAS SOUS 6644306 HAS SOUPS 6644306 WITH SCORE 6652522.815
AT ITER 3433 NEW BEST:: SOT 42721179 SOS 8214371 HAS SOPS 8214371 HAS SOUS 6643084 HAS SOUPS 6643084 WITH SCORE 6651298.371
AT ITER 3440 NEW BEST:: SOT 42721578 SOS 8215392 HAS SOPS 8215392 HAS SOUS 6642503 HAS SOUPS 6642503 WITH SCORE 6650718.392
AT ITER 3448 NEW BEST:: SOT 42720416 SOS 8214226 HAS SOPS 8214226 HAS SOUS 6641340 HAS SOUPS 6641340 WITH SCORE 6649554.226
AT ITER 3449 NEW BEST:: SOT 42719698 SOS 8214113 HAS SOPS 8214113 HAS SOUS 6641227 HAS SOUPS 6641227 WITH SCORE 6649441.113
AT ITER 3486 NEW BEST:: SOT 42719762 SOS 8213532 HAS SOPS 8213532 HAS SOUS 6640646 HAS SOUPS 6640646 WITH SCORE 6648859.532
AT ITER 3494 NEW BEST:: SOT 42719038 SOS 8212446 HAS SOPS 8212446 HAS SOUS 6639560 HAS SOUPS 6639560 WITH SCORE 6647772.446
AT ITER 3495 NEW BEST:: SOT 42717976 SOS 8213865 HAS SOPS 8213865 HAS SOUS 6639374 HAS SOUPS 6639374 WITH SCORE 6647587.865
AT ITER 3506 NEW BEST:: SOT 42717567 SOS 8213456 HAS SOPS 8213456 HAS SOUS 6638965 HAS SOUPS 6638965 WITH SCORE 6647178.456
AT ITER 3512 NEW BEST:: SOT 42717532 SOS 8213386 HAS SOPS 8213386 HAS SOUS 6638895 HAS SOUPS 6638895 WITH SCORE 6647108.386
AT ITER 3537 NEW BEST:: SOT 42717532 SOS 8213386 HAS SOPS 8213386 HAS SOUS 6638894 HAS SOUPS 6638894 WITH SCORE 6647107.386
AT ITER 3547 NEW BEST:: SOT 42717250 SOS 8213245 HAS SOPS 8213245 HAS SOUS 6638753 HAS SOUPS 6638753 WITH SCORE 6646966.245
AT ITER 3557 NEW BEST:: SOT 42715099 SOS 8212183 HAS SOPS 8212183 HAS SOUS 6637682 HAS SOUPS 6637682 WITH SCORE 6645894.183
AT ITER 3573 NEW BEST:: SOT 42714935 SOS 8211855 HAS SOPS 8211855 HAS SOUS 6637354 HAS SOUPS 6637354 WITH SCORE 6645565.855
AT ITER 3575 NEW BEST:: SOT 42714797 SOS 8211580 HAS SOPS 8211580 HAS SOUS 6637079 HAS SOUPS 6637079 WITH SCORE 6645290.58
AT ITER 3580 NEW BEST:: SOT 42714797 SOS 8211156 HAS SOPS 8211156 HAS SOUS 6636655 HAS SOUPS 6636655 WITH SCORE 6644866.156
AT ITER 3598 NEW BEST:: SOT 42714335 SOS 8211031 HAS SOPS 8211031 HAS SOUS 6636471 HAS SOUPS 6636471 WITH SCORE 6644682.031
AT ITER 3611 NEW BEST:: SOT 42713681 SOS 8210558 HAS SOPS 8210558 HAS SOUS 6635998 HAS SOUPS 6635998 WITH SCORE 6644208.558
AT ITER 3617 NEW BEST:: SOT 42714101 SOS 8210752 HAS SOPS 8210752 HAS SOUS 6635771 HAS SOUPS 6635771 WITH SCORE 6643981.752
AT ITER 3621 NEW BEST:: SOT 42712927 SOS 8210165 HAS SOPS 8210165 HAS SOUS 6635184 HAS SOUPS 6635184 WITH SCORE 6643394.165
AT ITER 3639 NEW BEST:: SOT 42711117 SOS 8206545 HAS SOPS 8206545 HAS SOUS 6631564 HAS SOUPS 6631564 WITH SCORE 6639770.545
AT ITER 3643 NEW BEST:: SOT 42710864 SOS 8206039 HAS SOPS 8206039 HAS SOUS 6631058 HAS SOUPS 6631058 WITH SCORE 6639264.039
AT ITER 3652 NEW BEST:: SOT 42710502 SOS 8205134 HAS SOPS 8205134 HAS SOUS 6630696 HAS SOUPS 6630696 WITH SCORE 6638901.134
AT ITER 3656 NEW BEST:: SOT 42710502 SOS 8205022 HAS SOPS 8205022 HAS SOUS 6630584 HAS SOUPS 6630584 WITH SCORE 6638789.022
AT ITER 3662 NEW BEST:: SOT 42709513 SOS 8203044 HAS SOPS 8203044 HAS SOUS 6629595 HAS SOUPS 6629595 WITH SCORE 6637798.044
AT ITER 3669 NEW BEST:: SOT 42708794 SOS 8201606 HAS SOPS 8201606 HAS SOUS 6628876 HAS SOUPS 6628876 WITH SCORE 6637077.606
AT ITER 3674 NEW BEST:: SOT 42708404 SOS 8201216 HAS SOPS 8201216 HAS SOUS 6628486 HAS SOUPS 6628486 WITH SCORE 6636687.216
AT ITER 3679 NEW BEST:: SOT 42708217 SOS 8202855 HAS SOPS 8202855 HAS SOUS 6628458 HAS SOUPS 6628458 WITH SCORE 6636660.855
AT ITER 3727 NEW BEST:: SOT 42708520 SOS 8202743 HAS SOPS 8202743 HAS SOUS 6628346 HAS SOUPS 6628346 WITH SCORE 6636548.743
AT ITER 3744 NEW BEST:: SOT 42707464 SOS 8215470 HAS SOPS 8215470 HAS SOUS 6627367 HAS SOUPS 6627367 WITH SCORE 6635582.47
AT ITER 3798 NEW BEST:: SOT 42707139 SOS 8214820 HAS SOPS 8214820 HAS SOUS 6626717 HAS SOUPS 6626717 WITH SCORE 6634931.82
AT ITER 3812 NEW BEST:: SOT 42707139 SOS 8214190 HAS SOPS 8214190 HAS SOUS 6626717 HAS SOUPS 6626717 WITH SCORE 6634931.19
AT ITER 3834 NEW BEST:: SOT 42707078 SOS 8212916 HAS SOPS 8212916 HAS SOUS 6626199 HAS SOUPS 6626199 WITH SCORE 6634411.916
AT ITER 3854 NEW BEST:: SOT 42706944 SOS 8212648 HAS SOPS 8212648 HAS SOUS 6625931 HAS SOUPS 6625931 WITH SCORE 6634143.648
AT ITER 3877 NEW BEST:: SOT 42706139 SOS 8208623 HAS SOPS 8208623 HAS SOUS 6624321 HAS SOUPS 6624321 WITH SCORE 6632529.623
AT ITER 3905 NEW BEST:: SOT 42705101 SOS 8206547 HAS SOPS 8206547 HAS SOUS 6622245 HAS SOUPS 6622245 WITH SCORE 6630451.547
AT ITER 3929 NEW BEST:: SOT 42705335 SOS 8205974 HAS SOPS 8205974 HAS SOUS 6621672 HAS SOUPS 6621672 WITH SCORE 6629877.974
AT ITER 3939 NEW BEST:: SOT 42703169 SOS 8204891 HAS SOPS 8204891 HAS SOUS 6620589 HAS SOUPS 6620589 WITH SCORE 6628793.891
AT ITER 3941 NEW BEST:: SOT 42693447 SOS 8225831 HAS SOPS 8225831 HAS SOUS 6616182 HAS SOUPS 6616182 WITH SCORE 6624407.831
AT ITER 3942 NEW BEST:: SOT 42693085 SOS 8241334 HAS SOPS 8241334 HAS SOUS 6615933 HAS SOUPS 6615933 WITH SCORE 6624174.334
AT ITER 3961 NEW BEST:: SOT 42692011 SOS 8240797 HAS SOPS 8240797 HAS SOUS 6615396 HAS SOUPS 6615396 WITH SCORE 6623636.797
AT ITER 4012 NEW BEST:: SOT 42692011 SOS 8240455 HAS SOPS 8240455 HAS SOUS 6615396 HAS SOUPS 6615396 WITH SCORE 6623636.455
AT ITER 4047 NEW BEST:: SOT 42691095 SOS 8235875 HAS SOPS 8235875 HAS SOUS 6613564 HAS SOUPS 6613564 WITH SCORE 6621799.875
AT ITER 4086 NEW BEST:: SOT 42690173 SOS 8234031 HAS SOPS 8234031 HAS SOUS 6612642 HAS SOUPS 6612642 WITH SCORE 6620876.031
AT ITER 4109 NEW BEST:: SOT 42689213 SOS 8232587 HAS SOPS 8232587 HAS SOUS 6611681 HAS SOUPS 6611681 WITH SCORE 6619913.587
AT ITER 4112 NEW BEST:: SOT 42689064 SOS 8233265 HAS SOPS 8233265 HAS SOUS 6611627 HAS SOUPS 6611627 WITH SCORE 6619860.265
AT ITER 4113 NEW BEST:: SOT 42688550 SOS 8232751 HAS SOPS 8232751 HAS SOUS 6611113 HAS SOUPS 6611113 WITH SCORE 6619345.751
AT ITER 4114 NEW BEST:: SOT 42688481 SOS 8232613 HAS SOPS 8232613 HAS SOUS 6610244 HAS SOUPS 6610244 WITH SCORE 6618476.613
AT ITER 4123 NEW BEST:: SOT 42688035 SOS 8231721 HAS SOPS 8231721 HAS SOUS 6609352 HAS SOUPS 6609352 WITH SCORE 6617583.721
AT ITER 4146 NEW BEST:: SOT 42687583 SOS 8230817 HAS SOPS 8230817 HAS SOUS 6608448 HAS SOUPS 6608448 WITH SCORE 6616678.817
AT ITER 4182 NEW BEST:: SOT 42687582 SOS 8230815 HAS SOPS 8230815 HAS SOUS 6608446 HAS SOUPS 6608446 WITH SCORE 6616676.815
AT ITER 4190 NEW BEST:: SOT 42687074 SOS 8230561 HAS SOPS 8230561 HAS SOUS 6608192 HAS SOUPS 6608192 WITH SCORE 6616422.561
AT ITER 4194 NEW BEST:: SOT 42686780 SOS 8230561 HAS SOPS 8230561 HAS SOUS 6608045 HAS SOUPS 6608045 WITH SCORE 6616275.561
AT ITER 4204 NEW BEST:: SOT 42686469 SOS 8231109 HAS SOPS 8231109 HAS SOUS 6607973 HAS SOUPS 6607973 WITH SCORE 6616204.109
AT ITER 4225 NEW BEST:: SOT 42685293 SOS 8228757 HAS SOPS 8228757 HAS SOUS 6606797 HAS SOUPS 6606797 WITH SCORE 6615025.757
AT ITER 4258 NEW BEST:: SOT 42684852 SOS 8227875 HAS SOPS 8227875 HAS SOUS 6605915 HAS SOUPS 6605915 WITH SCORE 6614142.875
AT ITER 4272 NEW BEST:: SOT 42684598 SOS 8227367 HAS SOPS 8227367 HAS SOUS 6605407 HAS SOUPS 6605407 WITH SCORE 6613634.367
AT ITER 4291 NEW BEST:: SOT 42684646 SOS 8227463 HAS SOPS 8227463 HAS SOUS 6603870 HAS SOUPS 6603870 WITH SCORE 6612097.463
AT ITER 4292 NEW BEST:: SOT 42683562 SOS 8226375 HAS SOPS 8226375 HAS SOUS 6602785 HAS SOUPS 6602785 WITH SCORE 6611011.375
AT ITER 4293 NEW BEST:: SOT 42682572 SOS 8233652 HAS SOPS 8233652 HAS SOUS 6601165 HAS SOUPS 6601165 WITH SCORE 6609398.652
AT ITER 4296 NEW BEST:: SOT 42682728 SOS 8233165 HAS SOPS 8233165 HAS SOUS 6600649 HAS SOUPS 6600649 WITH SCORE 6608882.165
AT ITER 4298 NEW BEST:: SOT 42681944 SOS 8231597 HAS SOPS 8231597 HAS SOUS 6599081 HAS SOUPS 6599081 WITH SCORE 6607312.597
AT ITER 4302 NEW BEST:: SOT 42682274 SOS 8231449 HAS SOPS 8231449 HAS SOUS 6599007 HAS SOUPS 6599007 WITH SCORE 6607238.449
AT ITER 4315 NEW BEST:: SOT 42682152 SOS 8231205 HAS SOPS 8231205 HAS SOUS 6598763 HAS SOUPS 6598763 WITH SCORE 6606994.205
AT ITER 4351 NEW BEST:: SOT 42681303 SOS 8229518 HAS SOPS 8229518 HAS SOUS 6597136 HAS SOUPS 6597136 WITH SCORE 6605365.518
AT ITER 4378 NEW BEST:: SOT 42679266 SOS 8229227 HAS SOPS 8229227 HAS SOUS 6596360 HAS SOUPS 6596360 WITH SCORE 6604589.227
AT ITER 4384 NEW BEST:: SOT 42679135 SOS 8228965 HAS SOPS 8228965 HAS SOUS 6595833 HAS SOUPS 6595833 WITH SCORE 6604061.965
AT ITER 4412 NEW BEST:: SOT 42678903 SOS 8228501 HAS SOPS 8228501 HAS SOUS 6595369 HAS SOUPS 6595369 WITH SCORE 6603597.501
AT ITER 4440 NEW BEST:: SOT 42678879 SOS 8228453 HAS SOPS 8228453 HAS SOUS 6595345 HAS SOUPS 6595345 WITH SCORE 6603573.453
AT ITER 4446 NEW BEST:: SOT 42678394 SOS 8228276 HAS SOPS 8228276 HAS SOUS 6594961 HAS SOUPS 6594961 WITH SCORE 6603189.276
AT ITER 4463 NEW BEST:: SOT 42678393 SOS 8228274 HAS SOPS 8228274 HAS SOUS 6594959 HAS SOUPS 6594959 WITH SCORE 6603187.274
AT ITER 4471 NEW BEST:: SOT 42676925 SOS 8227540 HAS SOPS 8227540 HAS SOUS 6594225 HAS SOUPS 6594225 WITH SCORE 6602452.54
AT ITER 4482 NEW BEST:: SOT 42676529 SOS 8226748 HAS SOPS 8226748 HAS SOUS 6593433 HAS SOUPS 6593433 WITH SCORE 6601659.748
AT ITER 4503 NEW BEST:: SOT 42675302 SOS 8221423 HAS SOPS 8221423 HAS SOUS 6591579 HAS SOUPS 6591579 WITH SCORE 6599800.423
AT ITER 4577 NEW BEST:: SOT 42675164 SOS 8221454 HAS SOPS 8221454 HAS SOUS 6591303 HAS SOUPS 6591303 WITH SCORE 6599524.454
AT ITER 4600 NEW BEST:: SOT 42675377 SOS 8221880 HAS SOPS 8221880 HAS SOUS 6590929 HAS SOUPS 6590929 WITH SCORE 6599150.88
AT ITER 4605 NEW BEST:: SOT 42673874 SOS 8218874 HAS SOPS 8218874 HAS SOUS 6587923 HAS SOUPS 6587923 WITH SCORE 6596141.874
AT ITER 4616 NEW BEST:: SOT 42673510 SOS 8218146 HAS SOPS 8218146 HAS SOUS 6587195 HAS SOUPS 6587195 WITH SCORE 6595413.146
AT ITER 4624 NEW BEST:: SOT 42672516 SOS 8216158 HAS SOPS 8216158 HAS SOUS 6585207 HAS SOUPS 6585207 WITH SCORE 6593423.158
AT ITER 4685 NEW BEST:: SOT 42671856 SOS 8216138 HAS SOPS 8216138 HAS SOUS 6585187 HAS SOUPS 6585187 WITH SCORE 6593403.138
AT ITER 4696 NEW BEST:: SOT 42672776 SOS 8215480 HAS SOPS 8215480 HAS SOUS 6584858 HAS SOUPS 6584858 WITH SCORE 6593073.48
AT ITER 4718 NEW BEST:: SOT 42672849 SOS 8215100 HAS SOPS 8215100 HAS SOUS 6584668 HAS SOUPS 6584668 WITH SCORE 6592883.1
AT ITER 4728 NEW BEST:: SOT 42671438 SOS 8212278 HAS SOPS 8212278 HAS SOUS 6581846 HAS SOUPS 6581846 WITH SCORE 6590058.278
AT ITER 4780 NEW BEST:: SOT 42671173 SOS 8212013 HAS SOPS 8212013 HAS SOUS 6581581 HAS SOUPS 6581581 WITH SCORE 6589793.013
AT ITER 4798 NEW BEST:: SOT 42671327 SOS 8212167 HAS SOPS 8212167 HAS SOUS 6581427 HAS SOUPS 6581427 WITH SCORE 6589639.167
AT ITER 4816 NEW BEST:: SOT 42670941 SOS 8211974 HAS SOPS 8211974 HAS SOUS 6581234 HAS SOUPS 6581234 WITH SCORE 6589445.974
AT ITER 4824 NEW BEST:: SOT 42669592 SOS 8209276 HAS SOPS 8209276 HAS SOUS 6578536 HAS SOUPS 6578536 WITH SCORE 6586745.276
AT ITER 4826 NEW BEST:: SOT 42669007 SOS 8207851 HAS SOPS 8207851 HAS SOUS 6578326 HAS SOUPS 6578326 WITH SCORE 6586533.851
AT ITER 4837 NEW BEST:: SOT 42668978 SOS 8207793 HAS SOPS 8207793 HAS SOUS 6578268 HAS SOUPS 6578268 WITH SCORE 6586475.793
AT ITER 4849 NEW BEST:: SOT 42668067 SOS 8206405 HAS SOPS 8206405 HAS SOUS 6576777 HAS SOUPS 6576777 WITH SCORE 6584983.405
AT ITER 4879 NEW BEST:: SOT 42667468 SOS 8204522 HAS SOPS 8204522 HAS SOUS 6575530 HAS SOUPS 6575530 WITH SCORE 6583734.522
AT ITER 4894 NEW BEST:: SOT 42667190 SOS 8203323 HAS SOPS 8203323 HAS SOUS 6574790 HAS SOUPS 6574790 WITH SCORE 6582993.323
AT ITER 4905 NEW BEST:: SOT 42666396 SOS 8202884 HAS SOPS 8202884 HAS SOUS 6574351 HAS SOUPS 6574351 WITH SCORE 6582553.884
AT ITER 4919 NEW BEST:: SOT 42666396 SOS 8202884 HAS SOPS 8202884 HAS SOUS 6574349 HAS SOUPS 6574349 WITH SCORE 6582551.884
AT ITER 4922 NEW BEST:: SOT 42667127 SOS 8203401 HAS SOPS 8203401 HAS SOUS 6574334 HAS SOUPS 6574334 WITH SCORE 6582537.401
AT ITER 4964 NEW BEST:: SOT 42667184 SOS 8203173 HAS SOPS 8203173 HAS SOUS 6574106 HAS SOUPS 6574106 WITH SCORE 6582309.173
AT ITER 4986 NEW BEST:: SOT 42663233 SOS 8200815 HAS SOPS 8200815 HAS SOUS 6571343 HAS SOUPS 6571343 WITH SCORE 6579543.815
AT ITER 4989 NEW BEST:: SOT 42662506 SOS 8205699 HAS SOPS 8205699 HAS SOUS 6570377 HAS SOUPS 6570377 WITH SCORE 6578582.699
AT ITER 5001 NEW BEST:: SOT 42662461 SOS 8205785 HAS SOPS 8205785 HAS SOUS 6570331 HAS SOUPS 6570331 WITH SCORE 6578536.785
AT ITER 5017 NEW BEST:: SOT 42662461 SOS 8205785 HAS SOPS 8205785 HAS SOUS 6570038 HAS SOUPS 6570038 WITH SCORE 6578243.785
AT ITER 5022 NEW BEST:: SOT 42662460 SOS 8205782 HAS SOPS 8205782 HAS SOUS 6570035 HAS SOUPS 6570035 WITH SCORE 6578240.782
AT ITER 5023 NEW BEST:: SOT 42662409 SOS 8205680 HAS SOPS 8205680 HAS SOUS 6569933 HAS SOUPS 6569933 WITH SCORE 6578138.68
AT ITER 5081 NEW BEST:: SOT 42661733 SOS 8205000 HAS SOPS 8205000 HAS SOUS 6569256 HAS SOUPS 6569256 WITH SCORE 6577461.0
AT ITER 5092 NEW BEST:: SOT 42660938 SOS 8203410 HAS SOPS 8203410 HAS SOUS 6567666 HAS SOUPS 6567666 WITH SCORE 6575869.41
AT ITER 5105 NEW BEST:: SOT 42660938 SOS 8202866 HAS SOPS 8202866 HAS SOUS 6567122 HAS SOUPS 6567122 WITH SCORE 6575324.866
AT ITER 5115 NEW BEST:: SOT 42656300 SOS 8200958 HAS SOPS 8200958 HAS SOUS 6564326 HAS SOUPS 6564326 WITH SCORE 6572526.958
AT ITER 5125 NEW BEST:: SOT 42656300 SOS 8199809 HAS SOPS 8199809 HAS SOUS 6564326 HAS SOUPS 6564326 WITH SCORE 6572525.809
AT ITER 5128 NEW BEST:: SOT 42653672 SOS 8196138 HAS SOPS 8196138 HAS SOUS 6561312 HAS SOUPS 6561312 WITH SCORE 6569508.138
AT ITER 5133 NEW BEST:: SOT 42653542 SOS 8195878 HAS SOPS 8195878 HAS SOUS 6561052 HAS SOUPS 6561052 WITH SCORE 6569247.878
AT ITER 5142 NEW BEST:: SOT 42653542 SOS 8195878 HAS SOPS 8195878 HAS SOUS 6559833 HAS SOUPS 6559833 WITH SCORE 6568028.878
AT ITER 5157 NEW BEST:: SOT 42650719 SOS 8193055 HAS SOPS 8193055 HAS SOUS 6558487 HAS SOUPS 6558487 WITH SCORE 6566680.055
AT ITER 5196 NEW BEST:: SOT 42650522 SOS 8192661 HAS SOPS 8192661 HAS SOUS 6557028 HAS SOUPS 6557028 WITH SCORE 6565220.661
AT ITER 5204 NEW BEST:: SOT 42649862 SOS 8191341 HAS SOPS 8191341 HAS SOUS 6555708 HAS SOUPS 6555708 WITH SCORE 6563899.341
AT ITER 5230 NEW BEST:: SOT 42649400 SOS 8190417 HAS SOPS 8190417 HAS SOUS 6555246 HAS SOUPS 6555246 WITH SCORE 6563436.417
AT ITER 5267 NEW BEST:: SOT 42648902 SOS 8189919 HAS SOPS 8189919 HAS SOUS 6554250 HAS SOUPS 6554250 WITH SCORE 6562439.919
AT ITER 5291 NEW BEST:: SOT 42647499 SOS 8183616 HAS SOPS 8183616 HAS SOUS 6553427 HAS SOUPS 6553427 WITH SCORE 6561610.616
AT ITER 5298 NEW BEST:: SOT 42646829 SOS 8182276 HAS SOPS 8182276 HAS SOUS 6552087 HAS SOUPS 6552087 WITH SCORE 6560269.276
AT ITER 5313 NEW BEST:: SOT 42646509 SOS 8182116 HAS SOPS 8182116 HAS SOUS 6551927 HAS SOUPS 6551927 WITH SCORE 6560109.116
AT ITER 5315 NEW BEST:: SOT 42646509 SOS 8181821 HAS SOPS 8181821 HAS SOUS 6551927 HAS SOUPS 6551927 WITH SCORE 6560108.821
AT ITER 5330 NEW BEST:: SOT 42646247 SOS 8181559 HAS SOPS 8181559 HAS SOUS 6551665 HAS SOUPS 6551665 WITH SCORE 6559846.559
AT ITER 5347 NEW BEST:: SOT 42645912 SOS 8180219 HAS SOPS 8180219 HAS SOUS 6551665 HAS SOUPS 6551665 WITH SCORE 6559845.219
AT ITER 5355 NEW BEST:: SOT 42645800 SOS 8180107 HAS SOPS 8180107 HAS SOUS 6551665 HAS SOUPS 6551665 WITH SCORE 6559845.107
AT ITER 5375 NEW BEST:: SOT 42645282 SOS 8179998 HAS SOPS 8179998 HAS SOUS 6551362 HAS SOUPS 6551362 WITH SCORE 6559541.998
AT ITER 5388 NEW BEST:: SOT 42644694 SOS 8178354 HAS SOPS 8178354 HAS SOUS 6550070 HAS SOUPS 6550070 WITH SCORE 6558248.354
AT ITER 5406 NEW BEST:: SOT 42644635 SOS 8177408 HAS SOPS 8177408 HAS SOUS 6549952 HAS SOUPS 6549952 WITH SCORE 6558129.408
AT ITER 5407 NEW BEST:: SOT 42644635 SOS 8177408 HAS SOPS 8177408 HAS SOUS 6549622 HAS SOUPS 6549622 WITH SCORE 6557799.408
AT ITER 5426 NEW BEST:: SOT 42644099 SOS 8177101 HAS SOPS 8177101 HAS SOUS 6548438 HAS SOUPS 6548438 WITH SCORE 6556615.101
AT ITER 5453 NEW BEST:: SOT 42644099 SOS 8177100 HAS SOPS 8177100 HAS SOUS 6548437 HAS SOUPS 6548437 WITH SCORE 6556614.1
AT ITER 5454 NEW BEST:: SOT 42643994 SOS 8176890 HAS SOPS 8176890 HAS SOUS 6548227 HAS SOUPS 6548227 WITH SCORE 6556403.89
AT ITER 5472 NEW BEST:: SOT 42644005 SOS 8176761 HAS SOPS 8176761 HAS SOUS 6548098 HAS SOUPS 6548098 WITH SCORE 6556274.761
AT ITER 5479 NEW BEST:: SOT 42643983 SOS 8176717 HAS SOPS 8176717 HAS SOUS 6548076 HAS SOUPS 6548076 WITH SCORE 6556252.717
AT ITER 5505 NEW BEST:: SOT 42643472 SOS 8176970 HAS SOPS 8176970 HAS SOUS 6547990 HAS SOUPS 6547990 WITH SCORE 6556166.97
AT ITER 5532 NEW BEST:: SOT 42642856 SOS 8176962 HAS SOPS 8176962 HAS SOUS 6547982 HAS SOUPS 6547982 WITH SCORE 6556158.962
AT ITER 5544 NEW BEST:: SOT 42642856 SOS 8176618 HAS SOPS 8176618 HAS SOUS 6547982 HAS SOUPS 6547982 WITH SCORE 6556158.618
AT ITER 5555 NEW BEST:: SOT 42642493 SOS 8165767 HAS SOPS 8165767 HAS SOUS 6547255 HAS SOUPS 6547255 WITH SCORE 6555420.767
AT ITER 5590 NEW BEST:: SOT 42642262 SOS 8165613 HAS SOPS 8165613 HAS SOUS 6547101 HAS SOUPS 6547101 WITH SCORE 6555266.613
AT ITER 5641 NEW BEST:: SOT 42641706 SOS 8164501 HAS SOPS 8164501 HAS SOUS 6545989 HAS SOUPS 6545989 WITH SCORE 6554153.501
AT ITER 5644 NEW BEST:: SOT 42641659 SOS 8164407 HAS SOPS 8164407 HAS SOUS 6545895 HAS SOUPS 6545895 WITH SCORE 6554059.407
AT ITER 5646 NEW BEST:: SOT 42633873 SOS 8164607 HAS SOPS 8164607 HAS SOUS 6540746 HAS SOUPS 6540746 WITH SCORE 6548910.607
AT ITER 5647 NEW BEST:: SOT 42632108 SOS 8163957 HAS SOPS 8163957 HAS SOUS 6540096 HAS SOUPS 6540096 WITH SCORE 6548259.957
AT ITER 5666 NEW BEST:: SOT 42631829 SOS 8164203 HAS SOPS 8164203 HAS SOUS 6539817 HAS SOUPS 6539817 WITH SCORE 6547981.203
AT ITER 5683 NEW BEST:: SOT 42631413 SOS 8163371 HAS SOPS 8163371 HAS SOUS 6538985 HAS SOUPS 6538985 WITH SCORE 6547148.371
AT ITER 5692 NEW BEST:: SOT 42631410 SOS 8163365 HAS SOPS 8163365 HAS SOUS 6538979 HAS SOUPS 6538979 WITH SCORE 6547142.365
AT ITER 5697 NEW BEST:: SOT 42631410 SOS 8163365 HAS SOPS 8163365 HAS SOUS 6537447 HAS SOUPS 6537447 WITH SCORE 6545610.365
AT ITER 5700 NEW BEST:: SOT 42631409 SOS 8163363 HAS SOPS 8163363 HAS SOUS 6537445 HAS SOUPS 6537445 WITH SCORE 6545608.363
AT ITER 5718 NEW BEST:: SOT 42631170 SOS 8163391 HAS SOPS 8163391 HAS SOUS 6537340 HAS SOUPS 6537340 WITH SCORE 6545503.391
AT ITER 5722 NEW BEST:: SOT 42631049 SOS 8163149 HAS SOPS 8163149 HAS SOUS 6537098 HAS SOUPS 6537098 WITH SCORE 6545261.149
AT ITER 5755 NEW BEST:: SOT 42629759 SOS 8160569 HAS SOPS 8160569 HAS SOUS 6536151 HAS SOUPS 6536151 WITH SCORE 6544311.569
AT ITER 5784 NEW BEST:: SOT 42629722 SOS 8160495 HAS SOPS 8160495 HAS SOUS 6536077 HAS SOUPS 6536077 WITH SCORE 6544237.495
AT ITER 5791 NEW BEST:: SOT 42629587 SOS 8160225 HAS SOPS 8160225 HAS SOUS 6535807 HAS SOUPS 6535807 WITH SCORE 6543967.225
AT ITER 5803 NEW BEST:: SOT 42629391 SOS 8160028 HAS SOPS 8160028 HAS SOUS 6535610 HAS SOUPS 6535610 WITH SCORE 6543770.028
AT ITER 5810 NEW BEST:: SOT 42629349 SOS 8159944 HAS SOPS 8159944 HAS SOUS 6535339 HAS SOUPS 6535339 WITH SCORE 6543498.944
AT ITER 5812 NEW BEST:: SOT 42629272 SOS 8160017 HAS SOPS 8160017 HAS SOUS 6535338 HAS SOUPS 6535338 WITH SCORE 6543498.017
AT ITER 5815 NEW BEST:: SOT 42628820 SOS 8159549 HAS SOPS 8159549 HAS SOUS 6534622 HAS SOUPS 6534622 WITH SCORE 6542781.549
AT ITER 5832 NEW BEST:: SOT 42628653 SOS 8159215 HAS SOPS 8159215 HAS SOUS 6534288 HAS SOUPS 6534288 WITH SCORE 6542447.215
AT ITER 5833 NEW BEST:: SOT 42627991 SOS 8158581 HAS SOPS 8158581 HAS SOUS 6533654 HAS SOUPS 6533654 WITH SCORE 6541812.581
AT ITER 5835 NEW BEST:: SOT 42627990 SOS 8158579 HAS SOPS 8158579 HAS SOUS 6533652 HAS SOUPS 6533652 WITH SCORE 6541810.579
AT ITER 5839 NEW BEST:: SOT 42627545 SOS 8158625 HAS SOPS 8158625 HAS SOUS 6533519 HAS SOUPS 6533519 WITH SCORE 6541677.625
AT ITER 5849 NEW BEST:: SOT 42627545 SOS 8158062 HAS SOPS 8158062 HAS SOUS 6533519 HAS SOUPS 6533519 WITH SCORE 6541677.062
AT ITER 5850 NEW BEST:: SOT 42626635 SOS 8158972 HAS SOPS 8158972 HAS SOUS 6532609 HAS SOUPS 6532609 WITH SCORE 6540767.972
AT ITER 5861 NEW BEST:: SOT 42625900 SOS 8159124 HAS SOPS 8159124 HAS SOUS 6532327 HAS SOUPS 6532327 WITH SCORE 6540486.124
AT ITER 5879 NEW BEST:: SOT 42625753 SOS 8158830 HAS SOPS 8158830 HAS SOUS 6530870 HAS SOUPS 6530870 WITH SCORE 6539028.83
AT ITER 5899 NEW BEST:: SOT 42625088 SOS 8157500 HAS SOPS 8157500 HAS SOUS 6529540 HAS SOUPS 6529540 WITH SCORE 6537697.5
AT ITER 5901 NEW BEST:: SOT 42622688 SOS 8155272 HAS SOPS 8155272 HAS SOUS 6527225 HAS SOUPS 6527225 WITH SCORE 6535380.272
AT ITER 5903 NEW BEST:: SOT 42622528 SOS 8154952 HAS SOPS 8154952 HAS SOUS 6527065 HAS SOUPS 6527065 WITH SCORE 6535219.952
AT ITER 5908 NEW BEST:: SOT 42622381 SOS 8155971 HAS SOPS 8155971 HAS SOUS 6526770 HAS SOUPS 6526770 WITH SCORE 6534925.971
AT ITER 5910 NEW BEST:: SOT 42621618 SOS 8155208 HAS SOPS 8155208 HAS SOUS 6526767 HAS SOUPS 6526767 WITH SCORE 6534922.208
AT ITER 5914 NEW BEST:: SOT 42620620 SOS 8153212 HAS SOPS 8153212 HAS SOUS 6526491 HAS SOUPS 6526491 WITH SCORE 6534644.212
AT ITER 5915 NEW BEST:: SOT 42620446 SOS 8152864 HAS SOPS 8152864 HAS SOUS 6526143 HAS SOUPS 6526143 WITH SCORE 6534295.864
AT ITER 5933 NEW BEST:: SOT 42619409 SOS 8151826 HAS SOPS 8151826 HAS SOUS 6525105 HAS SOUPS 6525105 WITH SCORE 6533256.826
AT ITER 5937 NEW BEST:: SOT 42618602 SOS 8150212 HAS SOPS 8150212 HAS SOUS 6523491 HAS SOUPS 6523491 WITH SCORE 6531641.212
AT ITER 5966 NEW BEST:: SOT 42611256 SOS 8145297 HAS SOPS 8145297 HAS SOUS 6517276 HAS SOUPS 6517276 WITH SCORE 6525421.297
AT ITER 5967 NEW BEST:: SOT 42610426 SOS 8144463 HAS SOPS 8144463 HAS SOUS 6516445 HAS SOUPS 6516445 WITH SCORE 6524589.463
AT ITER 5971 NEW BEST:: SOT 42610403 SOS 8144925 HAS SOPS 8144925 HAS SOUS 6516422 HAS SOUPS 6516422 WITH SCORE 6524566.925
AT ITER 5994 NEW BEST:: SOT 42610854 SOS 8145827 HAS SOPS 8145827 HAS SOUS 6515677 HAS SOUPS 6515677 WITH SCORE 6523822.827
AT ITER 6045 NEW BEST:: SOT 42610596 SOS 8145312 HAS SOPS 8145312 HAS SOUS 6515162 HAS SOUPS 6515162 WITH SCORE 6523307.312
AT ITER 6048 NEW BEST:: SOT 42609681 SOS 8144397 HAS SOPS 8144397 HAS SOUS 6514247 HAS SOUPS 6514247 WITH SCORE 6522391.397
AT ITER 6051 NEW BEST:: SOT 42609438 SOS 8143425 HAS SOPS 8143425 HAS SOUS 6514004 HAS SOUPS 6514004 WITH SCORE 6522147.425
AT ITER 6052 NEW BEST:: SOT 42608586 SOS 8142569 HAS SOPS 8142569 HAS SOUS 6513151 HAS SOUPS 6513151 WITH SCORE 6521293.569
AT ITER 6053 NEW BEST:: SOT 42608414 SOS 8142225 HAS SOPS 8142225 HAS SOUS 6512977 HAS SOUPS 6512977 WITH SCORE 6521119.225
AT ITER 6097 NEW BEST:: SOT 42608269 SOS 8141935 HAS SOPS 8141935 HAS SOUS 6512484 HAS SOUPS 6512484 WITH SCORE 6520625.935
AT ITER 6111 NEW BEST:: SOT 42607612 SOS 8141278 HAS SOPS 8141278 HAS SOUS 6511827 HAS SOUPS 6511827 WITH SCORE 6519968.278
AT ITER 6113 NEW BEST:: SOT 42607424 SOS 8141096 HAS SOPS 8141096 HAS SOUS 6511505 HAS SOUPS 6511505 WITH SCORE 6519646.096
AT ITER 6114 NEW BEST:: SOT 42606822 SOS 8137375 HAS SOPS 8137375 HAS SOUS 6510301 HAS SOUPS 6510301 WITH SCORE 6518438.375
AT ITER 6141 NEW BEST:: SOT 42606661 SOS 8137214 HAS SOPS 8137214 HAS SOUS 6510140 HAS SOUPS 6510140 WITH SCORE 6518277.214
AT ITER 6144 NEW BEST:: SOT 42606040 SOS 8135972 HAS SOPS 8135972 HAS SOUS 6508898 HAS SOUPS 6508898 WITH SCORE 6517033.972
AT ITER 6180 NEW BEST:: SOT 42606039 SOS 8135970 HAS SOPS 8135970 HAS SOUS 6508896 HAS SOUPS 6508896 WITH SCORE 6517031.97
AT ITER 6190 NEW BEST:: SOT 42605749 SOS 8135390 HAS SOPS 8135390 HAS SOUS 6508316 HAS SOUPS 6508316 WITH SCORE 6516451.39
AT ITER 6197 NEW BEST:: SOT 42605450 SOS 8135125 HAS SOPS 8135125 HAS SOUS 6508035 HAS SOUPS 6508035 WITH SCORE 6516170.125
AT ITER 6199 NEW BEST:: SOT 42604882 SOS 8135059 HAS SOPS 8135059 HAS SOUS 6507969 HAS SOUPS 6507969 WITH SCORE 6516104.059
AT ITER 6243 NEW BEST:: SOT 42603653 SOS 8133826 HAS SOPS 8133826 HAS SOUS 6506739 HAS SOUPS 6506739 WITH SCORE 6514872.826
AT ITER 6256 NEW BEST:: SOT 42603653 SOS 8133387 HAS SOPS 8133387 HAS SOUS 6506300 HAS SOUPS 6506300 WITH SCORE 6514433.387
AT ITER 6267 NEW BEST:: SOT 42603129 SOS 8132339 HAS SOPS 8132339 HAS SOUS 6505252 HAS SOUPS 6505252 WITH SCORE 6513384.339
AT ITER 6272 NEW BEST:: SOT 42602603 SOS 8129841 HAS SOPS 8129841 HAS SOUS 6504233 HAS SOUPS 6504233 WITH SCORE 6512362.841
AT ITER 6322 NEW BEST:: SOT 42598603 SOS 8129569 HAS SOPS 8129569 HAS SOUS 6501889 HAS SOUPS 6501889 WITH SCORE 6510018.569
AT ITER 6338 NEW BEST:: SOT 42597357 SOS 8128012 HAS SOPS 8128012 HAS SOUS 6500934 HAS SOUPS 6500934 WITH SCORE 6509062.012
AT ITER 6364 NEW BEST:: SOT 42597160 SOS 8127618 HAS SOPS 8127618 HAS SOUS 6500540 HAS SOUPS 6500540 WITH SCORE 6508667.618
AT ITER 6415 NEW BEST:: SOT 42596841 SOS 8127394 HAS SOPS 8127394 HAS SOUS 6500311 HAS SOUPS 6500311 WITH SCORE 6508438.394
AT ITER 6473 NEW BEST:: SOT 42596787 SOS 8127286 HAS SOPS 8127286 HAS SOUS 6500203 HAS SOUPS 6500203 WITH SCORE 6508330.286
AT ITER 6481 NEW BEST:: SOT 42596787 SOS 8127286 HAS SOPS 8127286 HAS SOUS 6499858 HAS SOUPS 6499858 WITH SCORE 6507985.286
AT ITER 6485 NEW BEST:: SOT 42596718 SOS 8127148 HAS SOPS 8127148 HAS SOUS 6499720 HAS SOUPS 6499720 WITH SCORE 6507847.148
AT ITER 6504 NEW BEST:: SOT 42593576 SOS 8127500 HAS SOPS 8127500 HAS SOUS 6498237 HAS SOUPS 6498237 WITH SCORE 6506364.5
AT ITER 6508 NEW BEST:: SOT 42593226 SOS 8127667 HAS SOPS 8127667 HAS SOUS 6498231 HAS SOUPS 6498231 WITH SCORE 6506358.667
AT ITER 6527 NEW BEST:: SOT 42557573 SOS 8228783 HAS SOPS 8228783 HAS SOUS 6472419 HAS SOUPS 6472419 WITH SCORE 6480647.783
AT ITER 6545 NEW BEST:: SOT 42557178 SOS 8228655 HAS SOPS 8228655 HAS SOUS 6471629 HAS SOUPS 6471629 WITH SCORE 6479857.655
AT ITER 6556 NEW BEST:: SOT 42557177 SOS 8228653 HAS SOPS 8228653 HAS SOUS 6471627 HAS SOUPS 6471627 WITH SCORE 6479855.653
AT ITER 6559 NEW BEST:: SOT 42557267 SOS 8230973 HAS SOPS 8230973 HAS SOUS 6471360 HAS SOUPS 6471360 WITH SCORE 6479590.973
AT ITER 6566 NEW BEST:: SOT 42557356 SOS 8230860 HAS SOPS 8230860 HAS SOUS 6471247 HAS SOUPS 6471247 WITH SCORE 6479477.86
AT ITER 6605 NEW BEST:: SOT 42557197 SOS 8230543 HAS SOPS 8230543 HAS SOUS 6470930 HAS SOUPS 6470930 WITH SCORE 6479160.543
AT ITER 6621 NEW BEST:: SOT 42557197 SOS 8231468 HAS SOPS 8231468 HAS SOUS 6470929 HAS SOUPS 6470929 WITH SCORE 6479160.468
AT ITER 6625 NEW BEST:: SOT 42556673 SOS 8231458 HAS SOPS 8231458 HAS SOUS 6470919 HAS SOUPS 6470919 WITH SCORE 6479150.458
AT ITER 6631 NEW BEST:: SOT 42552827 SOS 8232874 HAS SOPS 8232874 HAS SOUS 6468380 HAS SOUPS 6468380 WITH SCORE 6476612.874
AT ITER 6632 NEW BEST:: SOT 42552566 SOS 8233090 HAS SOPS 8233090 HAS SOUS 6467806 HAS SOUPS 6467806 WITH SCORE 6476039.09
AT ITER 6722 NEW BEST:: SOT 42552512 SOS 8232982 HAS SOPS 8232982 HAS SOUS 6467698 HAS SOUPS 6467698 WITH SCORE 6475930.982
AT ITER 6728 NEW BEST:: SOT 42552232 SOS 8232702 HAS SOPS 8232702 HAS SOUS 6467698 HAS SOUPS 6467698 WITH SCORE 6475930.702
AT ITER 6753 NEW BEST:: SOT 42551406 SOS 8228572 HAS SOPS 8228572 HAS SOUS 6466046 HAS SOUPS 6466046 WITH SCORE 6474274.572
AT ITER 6759 NEW BEST:: SOT 42551376 SOS 8228512 HAS SOPS 8228512 HAS SOUS 6466016 HAS SOUPS 6466016 WITH SCORE 6474244.512
AT ITER 6818 NEW BEST:: SOT 42551212 SOS 8228184 HAS SOPS 8228184 HAS SOUS 6465688 HAS SOUPS 6465688 WITH SCORE 6473916.184
AT ITER 6836 NEW BEST:: SOT 42551212 SOS 8228142 HAS SOPS 8228142 HAS SOUS 6465646 HAS SOUPS 6465646 WITH SCORE 6473874.142
AT ITER 6852 NEW BEST:: SOT 42551012 SOS 8227742 HAS SOPS 8227742 HAS SOUS 6464710 HAS SOUPS 6464710 WITH SCORE 6472937.742
AT ITER 6886 NEW BEST:: SOT 42550839 SOS 8227396 HAS SOPS 8227396 HAS SOUS 6464364 HAS SOUPS 6464364 WITH SCORE 6472591.396
AT ITER 6891 NEW BEST:: SOT 42550555 SOS 8226828 HAS SOPS 8226828 HAS SOUS 6463796 HAS SOUPS 6463796 WITH SCORE 6472022.828
AT ITER 6898 NEW BEST:: SOT 42550505 SOS 8226728 HAS SOPS 8226728 HAS SOUS 6463696 HAS SOUPS 6463696 WITH SCORE 6471922.728
AT ITER 6905 NEW BEST:: SOT 42550481 SOS 8226680 HAS SOPS 8226680 HAS SOUS 6463648 HAS SOUPS 6463648 WITH SCORE 6471874.68
AT ITER 6937 NEW BEST:: SOT 42549822 SOS 8225362 HAS SOPS 8225362 HAS SOUS 6462330 HAS SOUPS 6462330 WITH SCORE 6470555.362
AT ITER 6958 NEW BEST:: SOT 42549518 SOS 8224754 HAS SOPS 8224754 HAS SOUS 6462026 HAS SOUPS 6462026 WITH SCORE 6470250.754
AT ITER 6959 NEW BEST:: SOT 42549517 SOS 8224752 HAS SOPS 8224752 HAS SOUS 6462024 HAS SOUPS 6462024 WITH SCORE 6470248.752
AT ITER 6965 NEW BEST:: SOT 42548623 SOS 8224524 HAS SOPS 8224524 HAS SOUS 6461796 HAS SOUPS 6461796 WITH SCORE 6470020.524
AT ITER 6980 NEW BEST:: SOT 42548442 SOS 8224162 HAS SOPS 8224162 HAS SOUS 6461434 HAS SOUPS 6461434 WITH SCORE 6469658.162
AT ITER 7003 NEW BEST:: SOT 42548442 SOS 8224162 HAS SOPS 8224162 HAS SOUS 6460206 HAS SOUPS 6460206 WITH SCORE 6468430.162
AT ITER 7018 NEW BEST:: SOT 42547867 SOS 8224504 HAS SOPS 8224504 HAS SOUS 6459631 HAS SOUPS 6459631 WITH SCORE 6467855.504
AT ITER 7020 NEW BEST:: SOT 42547695 SOS 8224418 HAS SOPS 8224418 HAS SOUS 6459373 HAS SOUPS 6459373 WITH SCORE 6467597.418
AT ITER 7030 NEW BEST:: SOT 42545327 SOS 8219682 HAS SOPS 8219682 HAS SOUS 6454637 HAS SOUPS 6454637 WITH SCORE 6462856.682
AT ITER 7054 NEW BEST:: SOT 42544803 SOS 8219158 HAS SOPS 8219158 HAS SOUS 6454113 HAS SOUPS 6454113 WITH SCORE 6462332.158
AT ITER 7055 NEW BEST:: SOT 42544511 SOS 8219006 HAS SOPS 8219006 HAS SOUS 6453900 HAS SOUPS 6453900 WITH SCORE 6462119.006
AT ITER 7079 NEW BEST:: SOT 42544313 SOS 8218610 HAS SOPS 8218610 HAS SOUS 6453702 HAS SOUPS 6453702 WITH SCORE 6461920.61
AT ITER 7084 NEW BEST:: SOT 42543791 SOS 8215673 HAS SOPS 8215673 HAS SOUS 6452570 HAS SOUPS 6452570 WITH SCORE 6460785.673
AT ITER 7098 NEW BEST:: SOT 42543692 SOS 8214136 HAS SOPS 8214136 HAS SOUS 6452372 HAS SOUPS 6452372 WITH SCORE 6460586.136
AT ITER 7104 NEW BEST:: SOT 42543692 SOS 8214135 HAS SOPS 8214135 HAS SOUS 6452371 HAS SOUPS 6452371 WITH SCORE 6460585.135
AT ITER 7118 NEW BEST:: SOT 42543692 SOS 8213839 HAS SOPS 8213839 HAS SOUS 6452371 HAS SOUPS 6452371 WITH SCORE 6460584.839
AT ITER 7119 NEW BEST:: SOT 42543435 SOS 8213325 HAS SOPS 8213325 HAS SOUS 6451625 HAS SOUPS 6451625 WITH SCORE 6459838.325
AT ITER 7137 NEW BEST:: SOT 42543039 SOS 8212731 HAS SOPS 8212731 HAS SOUS 6451229 HAS SOUPS 6451229 WITH SCORE 6459441.731
AT ITER 7142 NEW BEST:: SOT 42540935 SOS 8211679 HAS SOPS 8211679 HAS SOUS 6450177 HAS SOUPS 6450177 WITH SCORE 6458388.679
AT ITER 7152 NEW BEST:: SOT 42540823 SOS 8211591 HAS SOPS 8211591 HAS SOUS 6450089 HAS SOUPS 6450089 WITH SCORE 6458300.591
AT ITER 7162 NEW BEST:: SOT 42540823 SOS 8211527 HAS SOPS 8211527 HAS SOUS 6450025 HAS SOUPS 6450025 WITH SCORE 6458236.527
AT ITER 7194 NEW BEST:: SOT 42540388 SOS 8209603 HAS SOPS 8209603 HAS SOUS 6449155 HAS SOUPS 6449155 WITH SCORE 6457364.603
AT ITER 7196 NEW BEST:: SOT 42539888 SOS 8209099 HAS SOPS 8209099 HAS SOUS 6448654 HAS SOUPS 6448654 WITH SCORE 6456863.099
AT ITER 7197 NEW BEST:: SOT 42539888 SOS 8208706 HAS SOPS 8208706 HAS SOUS 6448654 HAS SOUPS 6448654 WITH SCORE 6456862.706
AT ITER 7222 NEW BEST:: SOT 42539761 SOS 8208452 HAS SOPS 8208452 HAS SOUS 6448400 HAS SOUPS 6448400 WITH SCORE 6456608.452
AT ITER 7226 NEW BEST:: SOT 42539168 SOS 8207266 HAS SOPS 8207266 HAS SOUS 6447807 HAS SOUPS 6447807 WITH SCORE 6456014.266
AT ITER 7243 NEW BEST:: SOT 42538686 SOS 8206784 HAS SOPS 8206784 HAS SOUS 6446843 HAS SOUPS 6446843 WITH SCORE 6455049.784
AT ITER 7265 NEW BEST:: SOT 42538489 SOS 8206390 HAS SOPS 8206390 HAS SOUS 6446646 HAS SOUPS 6446646 WITH SCORE 6454852.39
AT ITER 7270 NEW BEST:: SOT 42538488 SOS 8206388 HAS SOPS 8206388 HAS SOUS 6446644 HAS SOUPS 6446644 WITH SCORE 6454850.388
AT ITER 7298 NEW BEST:: SOT 42535787 SOS 8206095 HAS SOPS 8206095 HAS SOUS 6445784 HAS SOUPS 6445784 WITH SCORE 6453990.095
AT ITER 7299 NEW BEST:: SOT 42535095 SOS 8204711 HAS SOPS 8204711 HAS SOUS 6444400 HAS SOUPS 6444400 WITH SCORE 6452604.711
AT ITER 7329 NEW BEST:: SOT 42535038 SOS 8204597 HAS SOPS 8204597 HAS SOUS 6444286 HAS SOUPS 6444286 WITH SCORE 6452490.597
AT ITER 7346 NEW BEST:: SOT 42534221 SOS 8202963 HAS SOPS 8202963 HAS SOUS 6442709 HAS SOUPS 6442709 WITH SCORE 6450911.963
AT ITER 7351 NEW BEST:: SOT 42533866 SOS 8197756 HAS SOPS 8197756 HAS SOUS 6441999 HAS SOUPS 6441999 WITH SCORE 6450196.756
AT ITER 7354 NEW BEST:: SOT 42533866 SOS 8197478 HAS SOPS 8197478 HAS SOUS 6441721 HAS SOUPS 6441721 WITH SCORE 6449918.478
AT ITER 7363 NEW BEST:: SOT 42533844 SOS 8197434 HAS SOPS 8197434 HAS SOUS 6441677 HAS SOUPS 6441677 WITH SCORE 6449874.434
AT ITER 7369 NEW BEST:: SOT 42532525 SOS 8194713 HAS SOPS 8194713 HAS SOUS 6439717 HAS SOUPS 6439717 WITH SCORE 6447911.713
AT ITER 7376 NEW BEST:: SOT 42532419 SOS 8194501 HAS SOPS 8194501 HAS SOUS 6439505 HAS SOUPS 6439505 WITH SCORE 6447699.501
AT ITER 7417 NEW BEST:: SOT 42531912 SOS 8193537 HAS SOPS 8193537 HAS SOUS 6438200 HAS SOUPS 6438200 WITH SCORE 6446393.537
AT ITER 7443 NEW BEST:: SOT 42531654 SOS 8193533 HAS SOPS 8193533 HAS SOUS 6438199 HAS SOUPS 6438199 WITH SCORE 6446392.533
AT ITER 7447 NEW BEST:: SOT 42531543 SOS 8191905 HAS SOPS 8191905 HAS SOUS 6436879 HAS SOUPS 6436879 WITH SCORE 6445070.905
AT ITER 7448 NEW BEST:: SOT 42531241 SOS 8191301 HAS SOPS 8191301 HAS SOUS 6436275 HAS SOUPS 6436275 WITH SCORE 6444466.301
AT ITER 7470 NEW BEST:: SOT 42530463 SOS 8190908 HAS SOPS 8190908 HAS SOUS 6435885 HAS SOUPS 6435885 WITH SCORE 6444075.908
AT ITER 7478 NEW BEST:: SOT 42530463 SOS 8190185 HAS SOPS 8190185 HAS SOUS 6435552 HAS SOUPS 6435552 WITH SCORE 6443742.185
AT ITER 7480 NEW BEST:: SOT 42530462 SOS 8190183 HAS SOPS 8190183 HAS SOUS 6435550 HAS SOUPS 6435550 WITH SCORE 6443740.183
AT ITER 7505 NEW BEST:: SOT 42529216 SOS 8189481 HAS SOPS 8189481 HAS SOUS 6434884 HAS SOUPS 6434884 WITH SCORE 6443073.481
AT ITER 7514 NEW BEST:: SOT 42526638 SOS 8179685 HAS SOPS 8179685 HAS SOUS 6433073 HAS SOUPS 6433073 WITH SCORE 6441252.685
AT ITER 7526 NEW BEST:: SOT 42526518 SOS 8179979 HAS SOPS 8179979 HAS SOUS 6432833 HAS SOUPS 6432833 WITH SCORE 6441012.979
AT ITER 7531 NEW BEST:: SOT 42526313 SOS 8179569 HAS SOPS 8179569 HAS SOUS 6432422 HAS SOUPS 6432422 WITH SCORE 6440601.569
AT ITER 7543 NEW BEST:: SOT 42526071 SOS 8179327 HAS SOPS 8179327 HAS SOUS 6432180 HAS SOUPS 6432180 WITH SCORE 6440359.327
AT ITER 7553 NEW BEST:: SOT 42525989 SOS 8179244 HAS SOPS 8179244 HAS SOUS 6432097 HAS SOUPS 6432097 WITH SCORE 6440276.244
AT ITER 7572 NEW BEST:: SOT 42525581 SOS 8178429 HAS SOPS 8178429 HAS SOUS 6431993 HAS SOUPS 6431993 WITH SCORE 6440171.429
AT ITER 7586 NEW BEST:: SOT 42525581 SOS 8178429 HAS SOPS 8178429 HAS SOUS 6430441 HAS SOUPS 6430441 WITH SCORE 6438619.429
AT ITER 7631 NEW BEST:: SOT 42525126 SOS 8177900 HAS SOPS 8177900 HAS SOUS 6429912 HAS SOUPS 6429912 WITH SCORE 6438089.9
AT ITER 7662 NEW BEST:: SOT 42524987 SOS 8177622 HAS SOPS 8177622 HAS SOUS 6429634 HAS SOUPS 6429634 WITH SCORE 6437811.622
AT ITER 7703 NEW BEST:: SOT 42524522 SOS 8177364 HAS SOPS 8177364 HAS SOUS 6429209 HAS SOUPS 6429209 WITH SCORE 6437386.364
AT ITER 7718 NEW BEST:: SOT 42524325 SOS 8177167 HAS SOPS 8177167 HAS SOUS 6429012 HAS SOUPS 6429012 WITH SCORE 6437189.167
AT ITER 7755 NEW BEST:: SOT 42523944 SOS 8176405 HAS SOPS 8176405 HAS SOUS 6428250 HAS SOUPS 6428250 WITH SCORE 6436426.405
AT ITER 7768 NEW BEST:: SOT 42523620 SOS 8175757 HAS SOPS 8175757 HAS SOUS 6427602 HAS SOUPS 6427602 WITH SCORE 6435777.757
AT ITER 7778 NEW BEST:: SOT 42521746 SOS 8170521 HAS SOPS 8170521 HAS SOUS 6424907 HAS SOUPS 6424907 WITH SCORE 6433077.521
AT ITER 7832 NEW BEST:: SOT 42520543 SOS 8170460 HAS SOPS 8170460 HAS SOUS 6423880 HAS SOUPS 6423880 WITH SCORE 6432050.46
AT ITER 7837 NEW BEST:: SOT 42520307 SOS 8169988 HAS SOPS 8169988 HAS SOUS 6422979 HAS SOUPS 6422979 WITH SCORE 6431148.988
AT ITER 7859 NEW BEST:: SOT 42520177 SOS 8169729 HAS SOPS 8169729 HAS SOUS 6422720 HAS SOUPS 6422720 WITH SCORE 6430889.729
AT ITER 7862 NEW BEST:: SOT 42519629 SOS 8168359 HAS SOPS 8168359 HAS SOUS 6422172 HAS SOUPS 6422172 WITH SCORE 6430340.359
AT ITER 7864 NEW BEST:: SOT 42519629 SOS 8168299 HAS SOPS 8168299 HAS SOUS 6422157 HAS SOUPS 6422157 WITH SCORE 6430325.299
AT ITER 7902 NEW BEST:: SOT 42520178 SOS 8170464 HAS SOPS 8170464 HAS SOUS 6422027 HAS SOUPS 6422027 WITH SCORE 6430197.464
AT ITER 7908 NEW BEST:: SOT 42517783 SOS 8160873 HAS SOPS 8160873 HAS SOUS 6420552 HAS SOUPS 6420552 WITH SCORE 6428712.873
AT ITER 7909 NEW BEST:: SOT 42517162 SOS 8159631 HAS SOPS 8159631 HAS SOUS 6419310 HAS SOUPS 6419310 WITH SCORE 6427469.631
AT ITER 7911 NEW BEST:: SOT 42516904 SOS 8159115 HAS SOPS 8159115 HAS SOUS 6417889 HAS SOUPS 6417889 WITH SCORE 6426048.115
AT ITER 7922 NEW BEST:: SOT 42516740 SOS 8158786 HAS SOPS 8158786 HAS SOUS 6416612 HAS SOUPS 6416612 WITH SCORE 6424770.786
AT ITER 7970 NEW BEST:: SOT 42516627 SOS 8158334 HAS SOPS 8158334 HAS SOUS 6416386 HAS SOUPS 6416386 WITH SCORE 6424544.334
AT ITER 7988 NEW BEST:: SOT 42516627 SOS 8157860 HAS SOPS 8157860 HAS SOUS 6416070 HAS SOUPS 6416070 WITH SCORE 6424227.86
AT ITER 8038 NEW BEST:: SOT 42512757 SOS 8155538 HAS SOPS 8155538 HAS SOUS 6412974 HAS SOUPS 6412974 WITH SCORE 6421129.538
AT ITER 8082 NEW BEST:: SOT 42511983 SOS 8154611 HAS SOPS 8154611 HAS SOUS 6412296 HAS SOUPS 6412296 WITH SCORE 6420450.611
AT ITER 8084 NEW BEST:: SOT 42511983 SOS 8153996 HAS SOPS 8153996 HAS SOUS 6412296 HAS SOUPS 6412296 WITH SCORE 6420449.996
AT ITER 8095 NEW BEST:: SOT 42511957 SOS 8153944 HAS SOPS 8153944 HAS SOUS 6412244 HAS SOUPS 6412244 WITH SCORE 6420397.944
AT ITER 8122 NEW BEST:: SOT 42511957 SOS 8153944 HAS SOPS 8153944 HAS SOUS 6412101 HAS SOUPS 6412101 WITH SCORE 6420254.944
AT ITER 8154 NEW BEST:: SOT 42506477 SOS 8150656 HAS SOPS 8150656 HAS SOUS 6408265 HAS SOUPS 6408265 WITH SCORE 6416415.656
AT ITER 8168 NEW BEST:: SOT 42506433 SOS 8150569 HAS SOPS 8150569 HAS SOUS 6408178 HAS SOUPS 6408178 WITH SCORE 6416328.569
AT ITER 8170 NEW BEST:: SOT 42505961 SOS 8150873 HAS SOPS 8150873 HAS SOUS 6408171 HAS SOUPS 6408171 WITH SCORE 6416321.873
AT ITER 8179 NEW BEST:: SOT 42505831 SOS 8150613 HAS SOPS 8150613 HAS SOUS 6408041 HAS SOUPS 6408041 WITH SCORE 6416191.613
AT ITER 8193 NEW BEST:: SOT 42505110 SOS 8150619 HAS SOPS 8150619 HAS SOUS 6408006 HAS SOUPS 6408006 WITH SCORE 6416156.619
AT ITER 8218 NEW BEST:: SOT 42504429 SOS 8150423 HAS SOPS 8150423 HAS SOUS 6407810 HAS SOUPS 6407810 WITH SCORE 6415960.423
AT ITER 8234 NEW BEST:: SOT 42503848 SOS 8145823 HAS SOPS 8145823 HAS SOUS 6407352 HAS SOUPS 6407352 WITH SCORE 6415497.823
AT ITER 8248 NEW BEST:: SOT 42503380 SOS 8146801 HAS SOPS 8146801 HAS SOUS 6406853 HAS SOUPS 6406853 WITH SCORE 6414999.801
AT ITER 8254 NEW BEST:: SOT 42501380 SOS 8146035 HAS SOPS 8146035 HAS SOUS 6406050 HAS SOUPS 6406050 WITH SCORE 6414196.035
AT ITER 8259 NEW BEST:: SOT 42501841 SOS 8146034 HAS SOPS 8146034 HAS SOUS 6406049 HAS SOUPS 6406049 WITH SCORE 6414195.034
AT ITER 8318 NEW BEST:: SOT 42501840 SOS 8146032 HAS SOPS 8146032 HAS SOUS 6406048 HAS SOUPS 6406048 WITH SCORE 6414194.032
AT ITER 8330 NEW BEST:: SOT 42501749 SOS 8145850 HAS SOPS 8145850 HAS SOUS 6405866 HAS SOUPS 6405866 WITH SCORE 6414011.85
AT ITER 8363 NEW BEST:: SOT 42501610 SOS 8145711 HAS SOPS 8145711 HAS SOUS 6405727 HAS SOUPS 6405727 WITH SCORE 6413872.711
AT ITER 8369 NEW BEST:: SOT 42500989 SOS 8145090 HAS SOPS 8145090 HAS SOUS 6404485 HAS SOUPS 6404485 WITH SCORE 6412630.09
AT ITER 8396 NEW BEST:: SOT 42500617 SOS 8143281 HAS SOPS 8143281 HAS SOUS 6404485 HAS SOUPS 6404485 WITH SCORE 6412628.281
AT ITER 8398 NEW BEST:: SOT 42499684 SOS 8142527 HAS SOPS 8142527 HAS SOUS 6403731 HAS SOUPS 6403731 WITH SCORE 6411873.527
AT ITER 8413 NEW BEST:: SOT 42499498 SOS 8143268 HAS SOPS 8143268 HAS SOUS 6403543 HAS SOUPS 6403543 WITH SCORE 6411686.268
AT ITER 8421 NEW BEST:: SOT 42498970 SOS 8142018 HAS SOPS 8142018 HAS SOUS 6401803 HAS SOUPS 6401803 WITH SCORE 6409945.018
AT ITER 8442 NEW BEST:: SOT 42494015 SOS 8139584 HAS SOPS 8139584 HAS SOUS 6398835 HAS SOUPS 6398835 WITH SCORE 6406974.584
AT ITER 8463 NEW BEST:: SOT 42492873 SOS 8137300 HAS SOPS 8137300 HAS SOUS 6396099 HAS SOUPS 6396099 WITH SCORE 6404236.3
AT ITER 8478 NEW BEST:: SOT 42492620 SOS 8136541 HAS SOPS 8136541 HAS SOUS 6395846 HAS SOUPS 6395846 WITH SCORE 6403982.541
AT ITER 8491 NEW BEST:: SOT 42491802 SOS 8133659 HAS SOPS 8133659 HAS SOUS 6394506 HAS SOUPS 6394506 WITH SCORE 6402639.659
AT ITER 8495 NEW BEST:: SOT 42491244 SOS 8133794 HAS SOPS 8133794 HAS SOUS 6393391 HAS SOUPS 6393391 WITH SCORE 6401524.794
AT ITER 8511 NEW BEST:: SOT 42490764 SOS 8132834 HAS SOPS 8132834 HAS SOUS 6392431 HAS SOUPS 6392431 WITH SCORE 6400563.834
AT ITER 8514 NEW BEST:: SOT 42490764 SOS 8133217 HAS SOPS 8133217 HAS SOUS 6392429 HAS SOUPS 6392429 WITH SCORE 6400562.217
AT ITER 8516 NEW BEST:: SOT 42490750 SOS 8133189 HAS SOPS 8133189 HAS SOUS 6392415 HAS SOUPS 6392415 WITH SCORE 6400548.189
AT ITER 8523 NEW BEST:: SOT 42490725 SOS 8133139 HAS SOPS 8133139 HAS SOUS 6392365 HAS SOUPS 6392365 WITH SCORE 6400498.139
AT ITER 8536 NEW BEST:: SOT 42489610 SOS 8130909 HAS SOPS 8130909 HAS SOUS 6391260 HAS SOUPS 6391260 WITH SCORE 6399390.909
AT ITER 8548 NEW BEST:: SOT 42489458 SOS 8130605 HAS SOPS 8130605 HAS SOUS 6390956 HAS SOUPS 6390956 WITH SCORE 6399086.605
AT ITER 8628 NEW BEST:: SOT 42486000 SOS 8130465 HAS SOPS 8130465 HAS SOUS 6390211 HAS SOUPS 6390211 WITH SCORE 6398341.465
AT ITER 8641 NEW BEST:: SOT 42486000 SOS 8130464 HAS SOPS 8130464 HAS SOUS 6390210 HAS SOUPS 6390210 WITH SCORE 6398340.464
AT ITER 8654 NEW BEST:: SOT 42484901 SOS 8128266 HAS SOPS 8128266 HAS SOUS 6388012 HAS SOUPS 6388012 WITH SCORE 6396140.266
AT ITER 8672 NEW BEST:: SOT 42484900 SOS 8128264 HAS SOPS 8128264 HAS SOUS 6388010 HAS SOUPS 6388010 WITH SCORE 6396138.264
AT ITER 8676 NEW BEST:: SOT 42484900 SOS 8128037 HAS SOPS 8128037 HAS SOUS 6388010 HAS SOUPS 6388010 WITH SCORE 6396138.037
AT ITER 8691 NEW BEST:: SOT 42483846 SOS 8128728 HAS SOPS 8128728 HAS SOUS 6387949 HAS SOUPS 6387949 WITH SCORE 6396077.728
AT ITER 8711 NEW BEST:: SOT 42483797 SOS 8128630 HAS SOPS 8128630 HAS SOUS 6387851 HAS SOUPS 6387851 WITH SCORE 6395979.63
AT ITER 8716 NEW BEST:: SOT 42483769 SOS 8128574 HAS SOPS 8128574 HAS SOUS 6387823 HAS SOUPS 6387823 WITH SCORE 6395951.574
AT ITER 8740 NEW BEST:: SOT 42483714 SOS 8135456 HAS SOPS 8135456 HAS SOUS 6387234 HAS SOUPS 6387234 WITH SCORE 6395369.456
AT ITER 8758 NEW BEST:: SOT 42482265 SOS 8135456 HAS SOPS 8135456 HAS SOUS 6386844 HAS SOUPS 6386844 WITH SCORE 6394979.456
AT ITER 8777 NEW BEST:: SOT 42482799 SOS 8134922 HAS SOPS 8134922 HAS SOUS 6386844 HAS SOUPS 6386844 WITH SCORE 6394978.922
AT ITER 8781 NEW BEST:: SOT 42482799 SOS 8134922 HAS SOPS 8134922 HAS SOUS 6386717 HAS SOUPS 6386717 WITH SCORE 6394851.922
AT ITER 8783 NEW BEST:: SOT 42482799 SOS 8134803 HAS SOPS 8134803 HAS SOUS 6386717 HAS SOUPS 6386717 WITH SCORE 6394851.803
AT ITER 8794 NEW BEST:: SOT 42482799 SOS 8134793 HAS SOPS 8134793 HAS SOUS 6386716 HAS SOUPS 6386716 WITH SCORE 6394850.793
AT ITER 8846 NEW BEST:: SOT 42482706 SOS 8134727 HAS SOPS 8134727 HAS SOUS 6386622 HAS SOUPS 6386622 WITH SCORE 6394756.727
AT ITER 8850 NEW BEST:: SOT 42482549 SOS 8134413 HAS SOPS 8134413 HAS SOUS 6386308 HAS SOUPS 6386308 WITH SCORE 6394442.413
AT ITER 8859 NEW BEST:: SOT 42482011 SOS 8133338 HAS SOPS 8133338 HAS SOUS 6385233 HAS SOUPS 6385233 WITH SCORE 6393366.338
AT ITER 8892 NEW BEST:: SOT 42481837 SOS 8132991 HAS SOPS 8132991 HAS SOUS 6384886 HAS SOUPS 6384886 WITH SCORE 6393018.991
AT ITER 8895 NEW BEST:: SOT 42481782 SOS 8132936 HAS SOPS 8132936 HAS SOUS 6384831 HAS SOUPS 6384831 WITH SCORE 6392963.936
AT ITER 8897 NEW BEST:: SOT 42481724 SOS 8132820 HAS SOPS 8132820 HAS SOUS 6384715 HAS SOUPS 6384715 WITH SCORE 6392847.82
AT ITER 8903 NEW BEST:: SOT 42481550 SOS 8131776 HAS SOPS 8131776 HAS SOUS 6384709 HAS SOUPS 6384709 WITH SCORE 6392840.776
AT ITER 8906 NEW BEST:: SOT 42480878 SOS 8131104 HAS SOPS 8131104 HAS SOUS 6384037 HAS SOUPS 6384037 WITH SCORE 6392168.104
AT ITER 8911 NEW BEST:: SOT 42480855 SOS 8131058 HAS SOPS 8131058 HAS SOUS 6383991 HAS SOUPS 6383991 WITH SCORE 6392122.058
AT ITER 8918 NEW BEST:: SOT 42480631 SOS 8130876 HAS SOPS 8130876 HAS SOUS 6383806 HAS SOUPS 6383806 WITH SCORE 6391936.876
AT ITER 8980 NEW BEST:: SOT 42480182 SOS 8129978 HAS SOPS 8129978 HAS SOUS 6382908 HAS SOUPS 6382908 WITH SCORE 6391037.978
AT ITER 8993 NEW BEST:: SOT 42479574 SOS 8129974 HAS SOPS 8129974 HAS SOUS 6382603 HAS SOUPS 6382603 WITH SCORE 6390732.974
AT ITER 8999 NEW BEST:: SOT 42479520 SOS 8129928 HAS SOPS 8129928 HAS SOUS 6382566 HAS SOUPS 6382566 WITH SCORE 6390695.928
AT ITER 9004 NEW BEST:: SOT 42479333 SOS 8129554 HAS SOPS 8129554 HAS SOUS 6382379 HAS SOUPS 6382379 WITH SCORE 6390508.554
AT ITER 9009 NEW BEST:: SOT 42479209 SOS 8129306 HAS SOPS 8129306 HAS SOUS 6382255 HAS SOUPS 6382255 WITH SCORE 6390384.306
AT ITER 9033 NEW BEST:: SOT 42478813 SOS 8129303 HAS SOPS 8129303 HAS SOUS 6381857 HAS SOUPS 6381857 WITH SCORE 6389986.303
AT ITER 9034 NEW BEST:: SOT 42478782 SOS 8129241 HAS SOPS 8129241 HAS SOUS 6381795 HAS SOUPS 6381795 WITH SCORE 6389924.241
AT ITER 9035 NEW BEST:: SOT 42478410 SOS 8128869 HAS SOPS 8128869 HAS SOUS 6381795 HAS SOUPS 6381795 WITH SCORE 6389923.869
AT ITER 9036 NEW BEST:: SOT 42478254 SOS 8128685 HAS SOPS 8128685 HAS SOUS 6381739 HAS SOUPS 6381739 WITH SCORE 6389867.685
AT ITER 9044 NEW BEST:: SOT 42477715 SOS 8127607 HAS SOPS 8127607 HAS SOUS 6381284 HAS SOUPS 6381284 WITH SCORE 6389411.607
AT ITER 9065 NEW BEST:: SOT 42477714 SOS 8127605 HAS SOPS 8127605 HAS SOUS 6381282 HAS SOUPS 6381282 WITH SCORE 6389409.605
AT ITER 9066 NEW BEST:: SOT 42477692 SOS 8127561 HAS SOPS 8127561 HAS SOUS 6381238 HAS SOUPS 6381238 WITH SCORE 6389365.561
AT ITER 9078 NEW BEST:: SOT 42477691 SOS 8127025 HAS SOPS 8127025 HAS SOUS 6380703 HAS SOUPS 6380703 WITH SCORE 6388830.025
AT ITER 9079 NEW BEST:: SOT 42477522 SOS 8126856 HAS SOPS 8126856 HAS SOUS 6380534 HAS SOUPS 6380534 WITH SCORE 6388660.856
AT ITER 9081 NEW BEST:: SOT 42479163 SOS 8125758 HAS SOPS 8125758 HAS SOUS 6379865 HAS SOUPS 6379865 WITH SCORE 6387990.758
AT ITER 9105 NEW BEST:: SOT 42479144 SOS 8125720 HAS SOPS 8125720 HAS SOUS 6379827 HAS SOUPS 6379827 WITH SCORE 6387952.72
AT ITER 9106 NEW BEST:: SOT 42478481 SOS 8125057 HAS SOPS 8125057 HAS SOUS 6379164 HAS SOUPS 6379164 WITH SCORE 6387289.057
AT ITER 9112 NEW BEST:: SOT 42477338 SOS 8122771 HAS SOPS 8122771 HAS SOUS 6378021 HAS SOUPS 6378021 WITH SCORE 6386143.771
AT ITER 9128 NEW BEST:: SOT 42476902 SOS 8122771 HAS SOPS 8122771 HAS SOUS 6377585 HAS SOUPS 6377585 WITH SCORE 6385707.771
AT ITER 9169 NEW BEST:: SOT 42473982 SOS 8119403 HAS SOPS 8119403 HAS SOUS 6374547 HAS SOUPS 6374547 WITH SCORE 6382666.403
AT ITER 9177 NEW BEST:: SOT 42473901 SOS 8119160 HAS SOPS 8119160 HAS SOUS 6374385 HAS SOUPS 6374385 WITH SCORE 6382504.16
AT ITER 9207 NEW BEST:: SOT 42473901 SOS 8118713 HAS SOPS 8118713 HAS SOUS 6374236 HAS SOUPS 6374236 WITH SCORE 6382354.713
AT ITER 9214 NEW BEST:: SOT 42472785 SOS 8119369 HAS SOPS 8119369 HAS SOUS 6374223 HAS SOUPS 6374223 WITH SCORE 6382342.369
AT ITER 9224 NEW BEST:: SOT 42472782 SOS 8119364 HAS SOPS 8119364 HAS SOUS 6374220 HAS SOUPS 6374220 WITH SCORE 6382339.364
AT ITER 9226 NEW BEST:: SOT 42471675 SOS 8118257 HAS SOPS 8118257 HAS SOUS 6373113 HAS SOUPS 6373113 WITH SCORE 6381231.257
AT ITER 9242 NEW BEST:: SOT 42471444 SOS 8117795 HAS SOPS 8117795 HAS SOUS 6371818 HAS SOUPS 6371818 WITH SCORE 6379935.795
AT ITER 9284 NEW BEST:: SOT 42471443 SOS 8117793 HAS SOPS 8117793 HAS SOUS 6371816 HAS SOUPS 6371816 WITH SCORE 6379933.793
AT ITER 9290 NEW BEST:: SOT 42471200 SOS 8117550 HAS SOPS 8117550 HAS SOUS 6371573 HAS SOUPS 6371573 WITH SCORE 6379690.55
AT ITER 9309 NEW BEST:: SOT 42471199 SOS 8117548 HAS SOPS 8117548 HAS SOUS 6371571 HAS SOUPS 6371571 WITH SCORE 6379688.548
AT ITER 9334 NEW BEST:: SOT 42470595 SOS 8116341 HAS SOPS 8116341 HAS SOUS 6370364 HAS SOUPS 6370364 WITH SCORE 6378480.341
AT ITER 9393 NEW BEST:: SOT 42470241 SOS 8116341 HAS SOPS 8116341 HAS SOUS 6370187 HAS SOUPS 6370187 WITH SCORE 6378303.341
AT ITER 9395 NEW BEST:: SOT 42470192 SOS 8116193 HAS SOPS 8116193 HAS SOUS 6367807 HAS SOUPS 6367807 WITH SCORE 6375923.193
AT ITER 9431 NEW BEST:: SOT 42470034 SOS 8115877 HAS SOPS 8115877 HAS SOUS 6367649 HAS SOUPS 6367649 WITH SCORE 6375764.877
AT ITER 9435 NEW BEST:: SOT 42469966 SOS 8115808 HAS SOPS 8115808 HAS SOUS 6367648 HAS SOUPS 6367648 WITH SCORE 6375763.808
AT ITER 9449 NEW BEST:: SOT 42469828 SOS 8115532 HAS SOPS 8115532 HAS SOUS 6367372 HAS SOUPS 6367372 WITH SCORE 6375487.532
AT ITER 9457 NEW BEST:: SOT 42469808 SOS 8115492 HAS SOPS 8115492 HAS SOUS 6367352 HAS SOUPS 6367352 WITH SCORE 6375467.492
AT ITER 9462 NEW BEST:: SOT 42469336 SOS 8114548 HAS SOPS 8114548 HAS SOUS 6367252 HAS SOUPS 6367252 WITH SCORE 6375366.548
AT ITER 9480 NEW BEST:: SOT 42467908 SOS 8111692 HAS SOPS 8111692 HAS SOUS 6365030 HAS SOUPS 6365030 WITH SCORE 6373141.692
AT ITER 9530 NEW BEST:: SOT 42467859 SOS 8111643 HAS SOPS 8111643 HAS SOUS 6364981 HAS SOUPS 6364981 WITH SCORE 6373092.643
AT ITER 9533 NEW BEST:: SOT 42467858 SOS 8111641 HAS SOPS 8111641 HAS SOUS 6364979 HAS SOUPS 6364979 WITH SCORE 6373090.641
AT ITER 9540 NEW BEST:: SOT 42467654 SOS 8111233 HAS SOPS 8111233 HAS SOUS 6364571 HAS SOUPS 6364571 WITH SCORE 6372682.233
AT ITER 9546 NEW BEST:: SOT 42467641 SOS 8111207 HAS SOPS 8111207 HAS SOUS 6364558 HAS SOUPS 6364558 WITH SCORE 6372669.207
AT ITER 9563 NEW BEST:: SOT 42467299 SOS 8111036 HAS SOPS 8111036 HAS SOUS 6364387 HAS SOUPS 6364387 WITH SCORE 6372498.036
AT ITER 9607 NEW BEST:: SOT 42467299 SOS 8111036 HAS SOPS 8111036 HAS SOUS 6363248 HAS SOUPS 6363248 WITH SCORE 6371359.036
AT ITER 9612 NEW BEST:: SOT 42466367 SOS 8109172 HAS SOPS 8109172 HAS SOUS 6361100 HAS SOUPS 6361100 WITH SCORE 6369209.172
AT ITER 9646 NEW BEST:: SOT 42465846 SOS 8109288 HAS SOPS 8109288 HAS SOUS 6360965 HAS SOUPS 6360965 WITH SCORE 6369074.288
AT ITER 9657 NEW BEST:: SOT 42465477 SOS 8106954 HAS SOPS 8106954 HAS SOUS 6359294 HAS SOUPS 6359294 WITH SCORE 6367400.954
AT ITER 9676 NEW BEST:: SOT 42466066 SOS 8106254 HAS SOPS 8106254 HAS SOUS 6359286 HAS SOUPS 6359286 WITH SCORE 6367392.254
AT ITER 9690 NEW BEST:: SOT 42465297 SOS 8104715 HAS SOPS 8104715 HAS SOUS 6357747 HAS SOUPS 6357747 WITH SCORE 6365851.715
AT ITER 9691 NEW BEST:: SOT 42465246 SOS 8104613 HAS SOPS 8104613 HAS SOUS 6357645 HAS SOUPS 6357645 WITH SCORE 6365749.613
AT ITER 9696 NEW BEST:: SOT 42463704 SOS 8109961 HAS SOPS 8109961 HAS SOUS 6357191 HAS SOUPS 6357191 WITH SCORE 6365300.961
AT ITER 9745 NEW BEST:: SOT 42463704 SOS 8110662 HAS SOPS 8110662 HAS SOUS 6357190 HAS SOUPS 6357190 WITH SCORE 6365300.662
AT ITER 9805 NEW BEST:: SOT 42463524 SOS 8110661 HAS SOPS 8110661 HAS SOUS 6357189 HAS SOUPS 6357189 WITH SCORE 6365299.661
AT ITER 9824 NEW BEST:: SOT 42463522 SOS 8110657 HAS SOPS 8110657 HAS SOUS 6357183 HAS SOUPS 6357183 WITH SCORE 6365293.657
AT ITER 9825 NEW BEST:: SOT 42463521 SOS 8110655 HAS SOPS 8110655 HAS SOUS 6357181 HAS SOUPS 6357181 WITH SCORE 6365291.655
AT ITER 9876 NEW BEST:: SOT 42463020 SOS 8109653 HAS SOPS 8109653 HAS SOUS 6356179 HAS SOUPS 6356179 WITH SCORE 6364288.653
AT ITER 9879 NEW BEST:: SOT 42463020 SOS 8108971 HAS SOPS 8108971 HAS SOUS 6356179 HAS SOUPS 6356179 WITH SCORE 6364287.971
AT ITER 9880 NEW BEST:: SOT 42463019 SOS 8108969 HAS SOPS 8108969 HAS SOUS 6356177 HAS SOUPS 6356177 WITH SCORE 6364285.969
AT ITER 9886 NEW BEST:: SOT 42461819 SOS 8111009 HAS SOPS 8111009 HAS SOUS 6354977 HAS SOUPS 6354977 WITH SCORE 6363088.009
AT ITER 9931 NEW BEST:: SOT 42461167 SOS 8107566 HAS SOPS 8107566 HAS SOUS 6353673 HAS SOUPS 6353673 WITH SCORE 6361780.566
AT ITER 9980 NEW BEST:: SOT 42461099 SOS 8107498 HAS SOPS 8107498 HAS SOUS 6353673 HAS SOUPS 6353673 WITH SCORE 6361780.498
AT ITER 9984 NEW BEST:: SOT 42460153 SOS 8105606 HAS SOPS 8105606 HAS SOUS 6351781 HAS SOUPS 6351781 WITH SCORE 6359886.606
AT ITER 9992 NEW BEST:: SOT 42459741 SOS 8104782 HAS SOPS 8104782 HAS SOUS 6350962 HAS SOUPS 6350962 WITH SCORE 6359066.782
AT ITER 9994 NEW BEST:: SOT 42460570 SOS 8104260 HAS SOPS 8104260 HAS SOUS 6350916 HAS SOUPS 6350916 WITH SCORE 6359020.26

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-3b"
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-3b, 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-158922806900032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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