About the Execution of Smart for DLCflexbar-PT-3b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
764.859 | 3600000.00 | 3600050.00 | 29.40 | [undef] | Time out reached |
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-167814472500536.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 DLCflexbar-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500536
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 6.0K Feb 25 15:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 15:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 15:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 15:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 15:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 15:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 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 2.5M 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 1678248719576
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=DLCflexbar-PT-3b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3b
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: 7245 places, 10555 transitions, 28284 arcs.
AT ITER 0 NEW BEST:: SOT 48851062 SOS 10451936 HAS SOPS 10451936 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.936
AT ITER 14 NEW BEST:: SOT 48850335 SOS 10451209 HAS SOPS 10451209 HAS SOUS 7258852 HAS SOUPS 7258852 WITH SCORE 7269303.209
AT ITER 23 NEW BEST:: SOT 48847262 SOS 10452663 HAS SOPS 10452663 HAS SOUS 7258148 HAS SOUPS 7258148 WITH SCORE 7268600.663
AT ITER 56 NEW BEST:: SOT 48846766 SOS 10451671 HAS SOPS 10451671 HAS SOUS 7257156 HAS SOUPS 7257156 WITH SCORE 7267607.671
AT ITER 64 NEW BEST:: SOT 48846766 SOS 10452395 HAS SOPS 10452395 HAS SOUS 7257155 HAS SOUPS 7257155 WITH SCORE 7267607.395
AT ITER 70 NEW BEST:: SOT 48845886 SOS 10451514 HAS SOPS 10451514 HAS SOUS 7256274 HAS SOUPS 7256274 WITH SCORE 7266725.514
AT ITER 80 NEW BEST:: SOT 48844609 SOS 10448960 HAS SOPS 10448960 HAS SOUS 7253720 HAS SOUPS 7253720 WITH SCORE 7264168.96
AT ITER 91 NEW BEST:: SOT 48844729 SOS 10449938 HAS SOPS 10449938 HAS SOUS 7252958 HAS SOUPS 7252958 WITH SCORE 7263407.938
AT ITER 104 NEW BEST:: SOT 48844673 SOS 10449826 HAS SOPS 10449826 HAS SOUS 7252958 HAS SOUPS 7252958 WITH SCORE 7263407.826
AT ITER 124 NEW BEST:: SOT 48844909 SOS 10450298 HAS SOPS 10450298 HAS SOUS 7251371 HAS SOUPS 7251371 WITH SCORE 7261821.298
AT ITER 155 NEW BEST:: SOT 48844122 SOS 10450286 HAS SOPS 10450286 HAS SOUS 7251359 HAS SOUPS 7251359 WITH SCORE 7261809.286
AT ITER 159 NEW BEST:: SOT 48844127 SOS 10450257 HAS SOPS 10450257 HAS SOUS 7251330 HAS SOUPS 7251330 WITH SCORE 7261780.257
AT ITER 165 NEW BEST:: SOT 48843544 SOS 10449670 HAS SOPS 10449670 HAS SOUS 7250746 HAS SOUPS 7250746 WITH SCORE 7261195.67
AT ITER 185 NEW BEST:: SOT 48843544 SOS 10449462 HAS SOPS 10449462 HAS SOUS 7250538 HAS SOUPS 7250538 WITH SCORE 7260987.462
AT ITER 187 NEW BEST:: SOT 48837162 SOS 10449256 HAS SOPS 10449256 HAS SOUS 7248056 HAS SOUPS 7248056 WITH SCORE 7258505.256
AT ITER 194 NEW BEST:: SOT 48837146 SOS 10449224 HAS SOPS 10449224 HAS SOUS 7248040 HAS SOUPS 7248040 WITH SCORE 7258489.224
AT ITER 206 NEW BEST:: SOT 48834408 SOS 10447855 HAS SOPS 10447855 HAS SOUS 7246671 HAS SOUPS 7246671 WITH SCORE 7257118.855
AT ITER 211 NEW BEST:: SOT 48834090 SOS 10447696 HAS SOPS 10447696 HAS SOUS 7246512 HAS SOUPS 7246512 WITH SCORE 7256959.696
AT ITER 217 NEW BEST:: SOT 48831311 SOS 10445174 HAS SOPS 10445174 HAS SOUS 7243764 HAS SOUPS 7243764 WITH SCORE 7254209.174
AT ITER 312 NEW BEST:: SOT 48830638 SOS 10440831 HAS SOPS 10440831 HAS SOUS 7242418 HAS SOUPS 7242418 WITH SCORE 7252858.831
AT ITER 319 NEW BEST:: SOT 48829779 SOS 10439968 HAS SOPS 10439968 HAS SOUS 7241558 HAS SOUPS 7241558 WITH SCORE 7251997.968
AT ITER 344 NEW BEST:: SOT 48828885 SOS 10439968 HAS SOPS 10439968 HAS SOUS 7241111 HAS SOUPS 7241111 WITH SCORE 7251550.968
AT ITER 347 NEW BEST:: SOT 48828436 SOS 10439519 HAS SOPS 10439519 HAS SOUS 7240662 HAS SOUPS 7240662 WITH SCORE 7251101.519
AT ITER 351 NEW BEST:: SOT 48828436 SOS 10439210 HAS SOPS 10439210 HAS SOUS 7240662 HAS SOUPS 7240662 WITH SCORE 7251101.21
AT ITER 361 NEW BEST:: SOT 48826052 SOS 10436826 HAS SOPS 10436826 HAS SOUS 7238278 HAS SOUPS 7238278 WITH SCORE 7248714.826
AT ITER 370 NEW BEST:: SOT 48826052 SOS 10436826 HAS SOPS 10436826 HAS SOUS 7238277 HAS SOUPS 7238277 WITH SCORE 7248713.826
AT ITER 396 NEW BEST:: SOT 48826052 SOS 10436830 HAS SOPS 10436830 HAS SOUS 7238276 HAS SOUPS 7238276 WITH SCORE 7248712.83
AT ITER 402 NEW BEST:: SOT 48825990 SOS 10436644 HAS SOPS 10436644 HAS SOUS 7238152 HAS SOUPS 7238152 WITH SCORE 7248588.644
AT ITER 463 NEW BEST:: SOT 48825990 SOS 10438083 HAS SOPS 10438083 HAS SOUS 7237670 HAS SOUPS 7237670 WITH SCORE 7248108.083
AT ITER 492 NEW BEST:: SOT 48825112 SOS 10437644 HAS SOPS 10437644 HAS SOUS 7237231 HAS SOUPS 7237231 WITH SCORE 7247668.644
AT ITER 502 NEW BEST:: SOT 48824821 SOS 10437766 HAS SOPS 10437766 HAS SOUS 7236649 HAS SOUPS 7236649 WITH SCORE 7247086.766
AT ITER 506 NEW BEST:: SOT 48824514 SOS 10437152 HAS SOPS 10437152 HAS SOUS 7236035 HAS SOUPS 7236035 WITH SCORE 7246472.152
AT ITER 514 NEW BEST:: SOT 48822992 SOS 10439451 HAS SOPS 10439451 HAS SOUS 7235666 HAS SOUPS 7235666 WITH SCORE 7246105.451
AT ITER 518 NEW BEST:: SOT 48822992 SOS 10440299 HAS SOPS 10440299 HAS SOUS 7235665 HAS SOUPS 7235665 WITH SCORE 7246105.299
AT ITER 522 NEW BEST:: SOT 48822992 SOS 10439889 HAS SOPS 10439889 HAS SOUS 7235460 HAS SOUPS 7235460 WITH SCORE 7245899.889
AT ITER 540 NEW BEST:: SOT 48822470 SOS 10438845 HAS SOPS 10438845 HAS SOUS 7234416 HAS SOUPS 7234416 WITH SCORE 7244854.845
AT ITER 553 NEW BEST:: SOT 48822159 SOS 10438223 HAS SOPS 10438223 HAS SOUS 7233794 HAS SOUPS 7233794 WITH SCORE 7244232.223
AT ITER 556 NEW BEST:: SOT 48821467 SOS 10436839 HAS SOPS 10436839 HAS SOUS 7233102 HAS SOUPS 7233102 WITH SCORE 7243538.839
AT ITER 570 NEW BEST:: SOT 48820189 SOS 10435557 HAS SOPS 10435557 HAS SOUS 7231823 HAS SOUPS 7231823 WITH SCORE 7242258.557
AT ITER 582 NEW BEST:: SOT 48820189 SOS 10435303 HAS SOPS 10435303 HAS SOUS 7231696 HAS SOUPS 7231696 WITH SCORE 7242131.303
AT ITER 586 NEW BEST:: SOT 48819999 SOS 10435118 HAS SOPS 10435118 HAS SOUS 7229761 HAS SOUPS 7229761 WITH SCORE 7240196.118
AT ITER 588 NEW BEST:: SOT 48819316 SOS 10435108 HAS SOPS 10435108 HAS SOUS 7229311 HAS SOUPS 7229311 WITH SCORE 7239746.108
AT ITER 604 NEW BEST:: SOT 48819123 SOS 10434722 HAS SOPS 10434722 HAS SOUS 7228925 HAS SOUPS 7228925 WITH SCORE 7239359.722
AT ITER 608 NEW BEST:: SOT 48817451 SOS 10434282 HAS SOPS 10434282 HAS SOUS 7228485 HAS SOUPS 7228485 WITH SCORE 7238919.282
AT ITER 635 NEW BEST:: SOT 48817171 SOS 10434269 HAS SOPS 10434269 HAS SOUS 7228066 HAS SOUPS 7228066 WITH SCORE 7238500.269
AT ITER 637 NEW BEST:: SOT 48813406 SOS 10434551 HAS SOPS 10434551 HAS SOUS 7226635 HAS SOUPS 7226635 WITH SCORE 7237069.551
AT ITER 647 NEW BEST:: SOT 48813406 SOS 10434465 HAS SOPS 10434465 HAS SOUS 7226635 HAS SOUPS 7226635 WITH SCORE 7237069.465
AT ITER 656 NEW BEST:: SOT 48813127 SOS 10433907 HAS SOPS 10433907 HAS SOUS 7226077 HAS SOUPS 7226077 WITH SCORE 7236510.907
AT ITER 673 NEW BEST:: SOT 48813070 SOS 10433793 HAS SOPS 10433793 HAS SOUS 7225594 HAS SOUPS 7225594 WITH SCORE 7236027.793
AT ITER 687 NEW BEST:: SOT 48813069 SOS 10433791 HAS SOPS 10433791 HAS SOUS 7225592 HAS SOUPS 7225592 WITH SCORE 7236025.791
AT ITER 697 NEW BEST:: SOT 48812923 SOS 10433499 HAS SOPS 10433499 HAS SOUS 7225300 HAS SOUPS 7225300 WITH SCORE 7235733.499
AT ITER 708 NEW BEST:: SOT 48810925 SOS 10432500 HAS SOPS 10432500 HAS SOUS 7223302 HAS SOUPS 7223302 WITH SCORE 7233734.5
AT ITER 716 NEW BEST:: SOT 48810924 SOS 10432498 HAS SOPS 10432498 HAS SOUS 7223300 HAS SOUPS 7223300 WITH SCORE 7233732.498
AT ITER 722 NEW BEST:: SOT 48810564 SOS 10431778 HAS SOPS 10431778 HAS SOUS 7221861 HAS SOUPS 7221861 WITH SCORE 7232292.778
AT ITER 749 NEW BEST:: SOT 48810564 SOS 10430896 HAS SOPS 10430896 HAS SOUS 7221567 HAS SOUPS 7221567 WITH SCORE 7231997.896
AT ITER 768 NEW BEST:: SOT 48809654 SOS 10430441 HAS SOPS 10430441 HAS SOUS 7221112 HAS SOUPS 7221112 WITH SCORE 7231542.441
AT ITER 771 NEW BEST:: SOT 48809755 SOS 10430643 HAS SOPS 10430643 HAS SOUS 7219459 HAS SOUPS 7219459 WITH SCORE 7229889.643
AT ITER 773 NEW BEST:: SOT 48810613 SOS 10431150 HAS SOPS 10431150 HAS SOUS 7219247 HAS SOUPS 7219247 WITH SCORE 7229678.15
AT ITER 776 NEW BEST:: SOT 48810460 SOS 10430996 HAS SOPS 10430996 HAS SOUS 7219093 HAS SOUPS 7219093 WITH SCORE 7229523.996
AT ITER 782 NEW BEST:: SOT 48809887 SOS 10431146 HAS SOPS 10431146 HAS SOUS 7218520 HAS SOUPS 7218520 WITH SCORE 7228951.146
AT ITER 792 NEW BEST:: SOT 48808790 SOS 10423183 HAS SOPS 10423183 HAS SOUS 7214739 HAS SOUPS 7214739 WITH SCORE 7225162.183
AT ITER 832 NEW BEST:: SOT 48809437 SOS 10424477 HAS SOPS 10424477 HAS SOUS 7214576 HAS SOUPS 7214576 WITH SCORE 7225000.477
AT ITER 846 NEW BEST:: SOT 48804978 SOS 10425345 HAS SOPS 10425345 HAS SOUS 7213193 HAS SOUPS 7213193 WITH SCORE 7223618.345
AT ITER 879 NEW BEST:: SOT 48802689 SOS 10424802 HAS SOPS 10424802 HAS SOUS 7212650 HAS SOUPS 7212650 WITH SCORE 7223074.802
AT ITER 885 NEW BEST:: SOT 48802689 SOS 10424432 HAS SOPS 10424432 HAS SOUS 7212280 HAS SOUPS 7212280 WITH SCORE 7222704.432
AT ITER 899 NEW BEST:: SOT 48802689 SOS 10425857 HAS SOPS 10425857 HAS SOUS 7211872 HAS SOUPS 7211872 WITH SCORE 7222297.857
AT ITER 910 NEW BEST:: SOT 48802671 SOS 10425821 HAS SOPS 10425821 HAS SOUS 7211836 HAS SOUPS 7211836 WITH SCORE 7222261.821
AT ITER 955 NEW BEST:: SOT 48803192 SOS 10426863 HAS SOPS 10426863 HAS SOUS 7211743 HAS SOUPS 7211743 WITH SCORE 7222169.863
AT ITER 970 NEW BEST:: SOT 48803192 SOS 10427131 HAS SOPS 10427131 HAS SOUS 7211742 HAS SOUPS 7211742 WITH SCORE 7222169.131
AT ITER 982 NEW BEST:: SOT 48801357 SOS 10425296 HAS SOPS 10425296 HAS SOUS 7209907 HAS SOUPS 7209907 WITH SCORE 7220332.296
AT ITER 1015 NEW BEST:: SOT 48800542 SOS 10421221 HAS SOPS 10421221 HAS SOUS 7208277 HAS SOUPS 7208277 WITH SCORE 7218698.221
AT ITER 1045 NEW BEST:: SOT 48797927 SOS 10415499 HAS SOPS 10415499 HAS SOUS 7206052 HAS SOUPS 7206052 WITH SCORE 7216467.499
AT ITER 1054 NEW BEST:: SOT 48797921 SOS 10415496 HAS SOPS 10415496 HAS SOUS 7206049 HAS SOUPS 7206049 WITH SCORE 7216464.496
AT ITER 1055 NEW BEST:: SOT 48796364 SOS 10412381 HAS SOPS 10412381 HAS SOUS 7202594 HAS SOUPS 7202594 WITH SCORE 7213006.381
AT ITER 1056 NEW BEST:: SOT 48795488 SOS 10411505 HAS SOPS 10411505 HAS SOUS 7201718 HAS SOUPS 7201718 WITH SCORE 7212129.505
AT ITER 1084 NEW BEST:: SOT 48795488 SOS 10411399 HAS SOPS 10411399 HAS SOUS 7201665 HAS SOUPS 7201665 WITH SCORE 7212076.399
AT ITER 1089 NEW BEST:: SOT 48795023 SOS 10410469 HAS SOPS 10410469 HAS SOUS 7201053 HAS SOUPS 7201053 WITH SCORE 7211463.469
AT ITER 1113 NEW BEST:: SOT 48771593 SOS 10550261 HAS SOPS 10550261 HAS SOUS 7187362 HAS SOUPS 7187362 WITH SCORE 7197912.261
AT ITER 1117 NEW BEST:: SOT 48771592 SOS 10551761 HAS SOPS 10551761 HAS SOUS 7187359 HAS SOUPS 7187359 WITH SCORE 7197910.761
AT ITER 1125 NEW BEST:: SOT 48771016 SOS 10552930 HAS SOPS 10552930 HAS SOUS 7186206 HAS SOUPS 7186206 WITH SCORE 7196758.93
AT ITER 1127 NEW BEST:: SOT 48770320 SOS 10552573 HAS SOPS 10552573 HAS SOUS 7186051 HAS SOUPS 7186051 WITH SCORE 7196603.573
AT ITER 1144 NEW BEST:: SOT 48766426 SOS 10549741 HAS SOPS 10549741 HAS SOUS 7183573 HAS SOUPS 7183573 WITH SCORE 7194122.741
AT ITER 1153 NEW BEST:: SOT 48766234 SOS 10549549 HAS SOPS 10549549 HAS SOUS 7183381 HAS SOUPS 7183381 WITH SCORE 7193930.549
AT ITER 1164 NEW BEST:: SOT 48766234 SOS 10549549 HAS SOPS 10549549 HAS SOUS 7183281 HAS SOUPS 7183281 WITH SCORE 7193830.549
AT ITER 1171 NEW BEST:: SOT 48765116 SOS 10548431 HAS SOPS 10548431 HAS SOUS 7182163 HAS SOUPS 7182163 WITH SCORE 7192711.431
AT ITER 1183 NEW BEST:: SOT 48764724 SOS 10547647 HAS SOPS 10547647 HAS SOUS 7181379 HAS SOUPS 7181379 WITH SCORE 7191926.647
AT ITER 1203 NEW BEST:: SOT 48764367 SOS 10546933 HAS SOPS 10546933 HAS SOUS 7180665 HAS SOUPS 7180665 WITH SCORE 7191211.933
AT ITER 1240 NEW BEST:: SOT 48762003 SOS 10545323 HAS SOPS 10545323 HAS SOUS 7179088 HAS SOUPS 7179088 WITH SCORE 7189633.323
AT ITER 1242 NEW BEST:: SOT 48760892 SOS 10546431 HAS SOPS 10546431 HAS SOUS 7179086 HAS SOUPS 7179086 WITH SCORE 7189632.431
AT ITER 1254 NEW BEST:: SOT 48760841 SOS 10546329 HAS SOPS 10546329 HAS SOUS 7179032 HAS SOUPS 7179032 WITH SCORE 7189578.329
AT ITER 1263 NEW BEST:: SOT 48760975 SOS 10546597 HAS SOPS 10546597 HAS SOUS 7178805 HAS SOUPS 7178805 WITH SCORE 7189351.597
AT ITER 1273 NEW BEST:: SOT 48760542 SOS 10545731 HAS SOPS 10545731 HAS SOUS 7177939 HAS SOUPS 7177939 WITH SCORE 7188484.731
AT ITER 1276 NEW BEST:: SOT 48759692 SOS 10545299 HAS SOPS 10545299 HAS SOUS 7177507 HAS SOUPS 7177507 WITH SCORE 7188052.299
AT ITER 1278 NEW BEST:: SOT 48758386 SOS 10543989 HAS SOPS 10543989 HAS SOUS 7176200 HAS SOUPS 7176200 WITH SCORE 7186743.989
AT ITER 1298 NEW BEST:: SOT 48757663 SOS 10509972 HAS SOPS 10509972 HAS SOUS 7174754 HAS SOUPS 7174754 WITH SCORE 7185263.972
AT ITER 1313 NEW BEST:: SOT 48755714 SOS 10507670 HAS SOPS 10507670 HAS SOUS 7172984 HAS SOUPS 7172984 WITH SCORE 7183491.67
AT ITER 1367 NEW BEST:: SOT 48755390 SOS 10507022 HAS SOPS 10507022 HAS SOUS 7171472 HAS SOUPS 7171472 WITH SCORE 7181979.022
AT ITER 1413 NEW BEST:: SOT 48755390 SOS 10507052 HAS SOPS 10507052 HAS SOUS 7171470 HAS SOUPS 7171470 WITH SCORE 7181977.052
AT ITER 1421 NEW BEST:: SOT 48754581 SOS 10506642 HAS SOPS 10506642 HAS SOUS 7171060 HAS SOUPS 7171060 WITH SCORE 7181566.642
AT ITER 1422 NEW BEST:: SOT 48753736 SOS 10504952 HAS SOPS 10504952 HAS SOUS 7170215 HAS SOUPS 7170215 WITH SCORE 7180719.952
AT ITER 1438 NEW BEST:: SOT 48753490 SOS 10504460 HAS SOPS 10504460 HAS SOUS 7169152 HAS SOUPS 7169152 WITH SCORE 7179656.46
AT ITER 1440 NEW BEST:: SOT 48753490 SOS 10504460 HAS SOPS 10504460 HAS SOUS 7168079 HAS SOUPS 7168079 WITH SCORE 7178583.46
AT ITER 1476 NEW BEST:: SOT 48753489 SOS 10503138 HAS SOPS 10503138 HAS SOUS 7166757 HAS SOUPS 7166757 WITH SCORE 7177260.138
AT ITER 1493 NEW BEST:: SOT 48752421 SOS 10502069 HAS SOPS 10502069 HAS SOUS 7165688 HAS SOUPS 7165688 WITH SCORE 7176190.069
AT ITER 1499 NEW BEST:: SOT 48751355 SOS 10499937 HAS SOPS 10499937 HAS SOUS 7162751 HAS SOUPS 7162751 WITH SCORE 7173250.937
AT ITER 1518 NEW BEST:: SOT 48750795 SOS 10499377 HAS SOPS 10499377 HAS SOUS 7162191 HAS SOUPS 7162191 WITH SCORE 7172690.377
AT ITER 1522 NEW BEST:: SOT 48750047 SOS 10497881 HAS SOPS 10497881 HAS SOUS 7160695 HAS SOUPS 7160695 WITH SCORE 7171192.881
AT ITER 1565 NEW BEST:: SOT 48725756 SOS 10631471 HAS SOPS 10631471 HAS SOUS 7145323 HAS SOUPS 7145323 WITH SCORE 7155954.471
AT ITER 1593 NEW BEST:: SOT 48725756 SOS 10636757 HAS SOPS 10636757 HAS SOUS 7144847 HAS SOUPS 7144847 WITH SCORE 7155483.757
AT ITER 1601 NEW BEST:: SOT 48725513 SOS 10636514 HAS SOPS 10636514 HAS SOUS 7144604 HAS SOUPS 7144604 WITH SCORE 7155240.514
AT ITER 1620 NEW BEST:: SOT 48724714 SOS 10634916 HAS SOPS 10634916 HAS SOUS 7142491 HAS SOUPS 7142491 WITH SCORE 7153125.916
AT ITER 1632 NEW BEST:: SOT 48725227 SOS 10634384 HAS SOPS 10634384 HAS SOUS 7142225 HAS SOUPS 7142225 WITH SCORE 7152859.384
AT ITER 1642 NEW BEST:: SOT 48725209 SOS 10634348 HAS SOPS 10634348 HAS SOUS 7142189 HAS SOUPS 7142189 WITH SCORE 7152823.348
AT ITER 1643 NEW BEST:: SOT 48725209 SOS 10634204 HAS SOPS 10634204 HAS SOUS 7142141 HAS SOUPS 7142141 WITH SCORE 7152775.204
AT ITER 1680 NEW BEST:: SOT 48725209 SOS 10634204 HAS SOPS 10634204 HAS SOUS 7142130 HAS SOUPS 7142130 WITH SCORE 7152764.204
AT ITER 1695 NEW BEST:: SOT 48725053 SOS 10633192 HAS SOPS 10633192 HAS SOUS 7141388 HAS SOUPS 7141388 WITH SCORE 7152021.192
AT ITER 1703 NEW BEST:: SOT 48723957 SOS 10632640 HAS SOPS 10632640 HAS SOUS 7140839 HAS SOUPS 7140839 WITH SCORE 7151471.64
AT ITER 1704 NEW BEST:: SOT 48723901 SOS 10632528 HAS SOPS 10632528 HAS SOUS 7140221 HAS SOUPS 7140221 WITH SCORE 7150853.528
AT ITER 1709 NEW BEST:: SOT 48723500 SOS 10631726 HAS SOPS 10631726 HAS SOUS 7139419 HAS SOUPS 7139419 WITH SCORE 7150050.726
AT ITER 1713 NEW BEST:: SOT 48722728 SOS 10630182 HAS SOPS 10630182 HAS SOUS 7137875 HAS SOUPS 7137875 WITH SCORE 7148505.182
AT ITER 1717 NEW BEST:: SOT 48721589 SOS 10627904 HAS SOPS 10627904 HAS SOUS 7135597 HAS SOUPS 7135597 WITH SCORE 7146224.904
AT ITER 1734 NEW BEST:: SOT 48721589 SOS 10628401 HAS SOPS 10628401 HAS SOUS 7135596 HAS SOUPS 7135596 WITH SCORE 7146224.401
AT ITER 1762 NEW BEST:: SOT 48720977 SOS 10627636 HAS SOPS 10627636 HAS SOUS 7134831 HAS SOUPS 7134831 WITH SCORE 7145458.636
AT ITER 1795 NEW BEST:: SOT 48719907 SOS 10627058 HAS SOPS 10627058 HAS SOUS 7134256 HAS SOUPS 7134256 WITH SCORE 7144883.058
AT ITER 1804 NEW BEST:: SOT 48719847 SOS 10626938 HAS SOPS 10626938 HAS SOUS 7134136 HAS SOUPS 7134136 WITH SCORE 7144762.938
AT ITER 1807 NEW BEST:: SOT 48719847 SOS 10626841 HAS SOPS 10626841 HAS SOUS 7134136 HAS SOUPS 7134136 WITH SCORE 7144762.841
AT ITER 1812 NEW BEST:: SOT 48719331 SOS 10631024 HAS SOPS 10631024 HAS SOUS 7133765 HAS SOUPS 7133765 WITH SCORE 7144396.024
AT ITER 1888 NEW BEST:: SOT 48719330 SOS 10631022 HAS SOPS 10631022 HAS SOUS 7133763 HAS SOUPS 7133763 WITH SCORE 7144394.022
AT ITER 1919 NEW BEST:: SOT 48716948 SOS 10629822 HAS SOPS 10629822 HAS SOUS 7131776 HAS SOUPS 7131776 WITH SCORE 7142405.822
AT ITER 1928 NEW BEST:: SOT 48716948 SOS 10628220 HAS SOPS 10628220 HAS SOUS 7131775 HAS SOUPS 7131775 WITH SCORE 7142403.22
AT ITER 1967 NEW BEST:: SOT 48716948 SOS 10627642 HAS SOPS 10627642 HAS SOUS 7131486 HAS SOUPS 7131486 WITH SCORE 7142113.642
AT ITER 1980 NEW BEST:: SOT 48715231 SOS 10626724 HAS SOPS 10626724 HAS SOUS 7130568 HAS SOUPS 7130568 WITH SCORE 7141194.724
AT ITER 1996 NEW BEST:: SOT 48714990 SOS 10627244 HAS SOPS 10627244 HAS SOUS 7130327 HAS SOUPS 7130327 WITH SCORE 7140954.244
AT ITER 2015 NEW BEST:: SOT 48713532 SOS 10619954 HAS SOPS 10619954 HAS SOUS 7127411 HAS SOUPS 7127411 WITH SCORE 7138030.954
AT ITER 2024 NEW BEST:: SOT 48713218 SOS 10619326 HAS SOPS 10619326 HAS SOUS 7126783 HAS SOUPS 7126783 WITH SCORE 7137402.326
AT ITER 2025 NEW BEST:: SOT 48712258 SOS 10618463 HAS SOPS 10618463 HAS SOUS 7125823 HAS SOUPS 7125823 WITH SCORE 7136441.463
AT ITER 2031 NEW BEST:: SOT 48711401 SOS 10619145 HAS SOPS 10619145 HAS SOUS 7125624 HAS SOUPS 7125624 WITH SCORE 7136243.145
AT ITER 2053 NEW BEST:: SOT 48711401 SOS 10619145 HAS SOPS 10619145 HAS SOUS 7125623 HAS SOUPS 7125623 WITH SCORE 7136242.145
AT ITER 2067 NEW BEST:: SOT 48710886 SOS 10618116 HAS SOPS 10618116 HAS SOUS 7124594 HAS SOUPS 7124594 WITH SCORE 7135212.116
AT ITER 2074 NEW BEST:: SOT 48711400 SOS 10617602 HAS SOPS 10617602 HAS SOUS 7124594 HAS SOUPS 7124594 WITH SCORE 7135211.602
AT ITER 2139 NEW BEST:: SOT 48710942 SOS 10616686 HAS SOPS 10616686 HAS SOUS 7123678 HAS SOUPS 7123678 WITH SCORE 7134294.686
AT ITER 2157 NEW BEST:: SOT 48710411 SOS 10616682 HAS SOPS 10616682 HAS SOUS 7123146 HAS SOUPS 7123146 WITH SCORE 7133762.682
AT ITER 2193 NEW BEST:: SOT 48707663 SOS 10615308 HAS SOPS 10615308 HAS SOUS 7121772 HAS SOUPS 7121772 WITH SCORE 7132387.308
AT ITER 2219 NEW BEST:: SOT 48707662 SOS 10615130 HAS SOPS 10615130 HAS SOUS 7121594 HAS SOUPS 7121594 WITH SCORE 7132209.13
AT ITER 2238 NEW BEST:: SOT 48706740 SOS 10613286 HAS SOPS 10613286 HAS SOUS 7119750 HAS SOUPS 7119750 WITH SCORE 7130363.286
AT ITER 2305 NEW BEST:: SOT 48706740 SOS 10613468 HAS SOPS 10613468 HAS SOUS 7119717 HAS SOUPS 7119717 WITH SCORE 7130330.468
AT ITER 2329 NEW BEST:: SOT 48707395 SOS 10613912 HAS SOPS 10613912 HAS SOUS 7119249 HAS SOUPS 7119249 WITH SCORE 7129862.912
AT ITER 2332 NEW BEST:: SOT 48707096 SOS 10613719 HAS SOPS 10613719 HAS SOUS 7119056 HAS SOUPS 7119056 WITH SCORE 7129669.719
AT ITER 2354 NEW BEST:: SOT 48706177 SOS 10609124 HAS SOPS 10609124 HAS SOUS 7117218 HAS SOUPS 7117218 WITH SCORE 7127827.124
AT ITER 2369 NEW BEST:: SOT 48706177 SOS 10607299 HAS SOPS 10607299 HAS SOUS 7116609 HAS SOUPS 7116609 WITH SCORE 7127216.299
AT ITER 2385 NEW BEST:: SOT 48705382 SOS 10606643 HAS SOPS 10606643 HAS SOUS 7115953 HAS SOUPS 7115953 WITH SCORE 7126559.643
AT ITER 2426 NEW BEST:: SOT 48695100 SOS 10601120 HAS SOPS 10601120 HAS SOUS 7110418 HAS SOUPS 7110418 WITH SCORE 7121019.12
AT ITER 2447 NEW BEST:: SOT 48694126 SOS 10599172 HAS SOPS 10599172 HAS SOUS 7108470 HAS SOUPS 7108470 WITH SCORE 7119069.172
AT ITER 2460 NEW BEST:: SOT 48693916 SOS 10599067 HAS SOPS 10599067 HAS SOUS 7108365 HAS SOUPS 7108365 WITH SCORE 7118964.067
AT ITER 2462 NEW BEST:: SOT 48692885 SOS 10550765 HAS SOPS 10550765 HAS SOUS 7107334 HAS SOUPS 7107334 WITH SCORE 7117884.765
AT ITER 2545 NEW BEST:: SOT 48679715 SOS 10586036 HAS SOPS 10586036 HAS SOUS 7097164 HAS SOUPS 7097164 WITH SCORE 7107750.036
AT ITER 2563 NEW BEST:: SOT 48678917 SOS 10585692 HAS SOPS 10585692 HAS SOUS 7096820 HAS SOUPS 7096820 WITH SCORE 7107405.692
AT ITER 2577 NEW BEST:: SOT 48677934 SOS 10585144 HAS SOPS 10585144 HAS SOUS 7096274 HAS SOUPS 7096274 WITH SCORE 7106859.144
AT ITER 2586 NEW BEST:: SOT 48677257 SOS 10583790 HAS SOPS 10583790 HAS SOUS 7094920 HAS SOUPS 7094920 WITH SCORE 7105503.79
AT ITER 2595 NEW BEST:: SOT 48676859 SOS 10582994 HAS SOPS 10582994 HAS SOUS 7093328 HAS SOUPS 7093328 WITH SCORE 7103910.994
AT ITER 2626 NEW BEST:: SOT 48676859 SOS 10582904 HAS SOPS 10582904 HAS SOUS 7093238 HAS SOUPS 7093238 WITH SCORE 7103820.904
AT ITER 2629 NEW BEST:: SOT 48676655 SOS 10582699 HAS SOPS 10582699 HAS SOUS 7093130 HAS SOUPS 7093130 WITH SCORE 7103712.699
AT ITER 2643 NEW BEST:: SOT 48676761 SOS 10582911 HAS SOPS 10582911 HAS SOUS 7091924 HAS SOUPS 7091924 WITH SCORE 7102506.911
AT ITER 2647 NEW BEST:: SOT 48676008 SOS 10582901 HAS SOPS 10582901 HAS SOUS 7091511 HAS SOUPS 7091511 WITH SCORE 7102093.901
AT ITER 2657 NEW BEST:: SOT 48675169 SOS 10584879 HAS SOPS 10584879 HAS SOUS 7090672 HAS SOUPS 7090672 WITH SCORE 7101256.879
AT ITER 2678 NEW BEST:: SOT 48673770 SOS 10584328 HAS SOPS 10584328 HAS SOUS 7090121 HAS SOUPS 7090121 WITH SCORE 7100705.328
AT ITER 2679 NEW BEST:: SOT 48672750 SOS 10583456 HAS SOPS 10583456 HAS SOUS 7089192 HAS SOUPS 7089192 WITH SCORE 7099775.456
AT ITER 2683 NEW BEST:: SOT 48672357 SOS 10582670 HAS SOPS 10582670 HAS SOUS 7088269 HAS SOUPS 7088269 WITH SCORE 7098851.67
AT ITER 2750 NEW BEST:: SOT 48672777 SOS 10582249 HAS SOPS 10582249 HAS SOUS 7088268 HAS SOUPS 7088268 WITH SCORE 7098850.249
AT ITER 2758 NEW BEST:: SOT 48672082 SOS 10582560 HAS SOPS 10582560 HAS SOUS 7088078 HAS SOUPS 7088078 WITH SCORE 7098660.56
AT ITER 2769 NEW BEST:: SOT 48671608 SOS 10581612 HAS SOPS 10581612 HAS SOUS 7087326 HAS SOUPS 7087326 WITH SCORE 7097907.612
AT ITER 2783 NEW BEST:: SOT 48670962 SOS 10580320 HAS SOPS 10580320 HAS SOUS 7086034 HAS SOUPS 7086034 WITH SCORE 7096614.32
AT ITER 2794 NEW BEST:: SOT 48671261 SOS 10579022 HAS SOPS 10579022 HAS SOUS 7085850 HAS SOUPS 7085850 WITH SCORE 7096429.022
AT ITER 2802 NEW BEST:: SOT 48669000 SOS 10576476 HAS SOPS 10576476 HAS SOUS 7082460 HAS SOUPS 7082460 WITH SCORE 7093036.476
AT ITER 2820 NEW BEST:: SOT 48667878 SOS 10575911 HAS SOPS 10575911 HAS SOUS 7081898 HAS SOUPS 7081898 WITH SCORE 7092473.911
AT ITER 2832 NEW BEST:: SOT 48667053 SOS 10571633 HAS SOPS 10571633 HAS SOUS 7080248 HAS SOUPS 7080248 WITH SCORE 7090819.633
AT ITER 2853 NEW BEST:: SOT 48666239 SOS 10571633 HAS SOPS 10571633 HAS SOUS 7079434 HAS SOUPS 7079434 WITH SCORE 7090005.633
AT ITER 2887 NEW BEST:: SOT 48666171 SOS 10571361 HAS SOPS 10571361 HAS SOUS 7079298 HAS SOUPS 7079298 WITH SCORE 7089869.361
AT ITER 2889 NEW BEST:: SOT 48665065 SOS 10570381 HAS SOPS 10570381 HAS SOUS 7078321 HAS SOUPS 7078321 WITH SCORE 7088891.381
AT ITER 2895 NEW BEST:: SOT 48664238 SOS 10569550 HAS SOPS 10569550 HAS SOUS 7077493 HAS SOUPS 7077493 WITH SCORE 7088062.55
AT ITER 2896 NEW BEST:: SOT 48664084 SOS 10569242 HAS SOPS 10569242 HAS SOUS 7077339 HAS SOUPS 7077339 WITH SCORE 7087908.242
AT ITER 2906 NEW BEST:: SOT 48664542 SOS 10567386 HAS SOPS 10567386 HAS SOUS 7076873 HAS SOUPS 7076873 WITH SCORE 7087440.386
AT ITER 2908 NEW BEST:: SOT 48663340 SOS 10564982 HAS SOPS 10564982 HAS SOUS 7074747 HAS SOUPS 7074747 WITH SCORE 7085311.982
AT ITER 2916 NEW BEST:: SOT 48663340 SOS 10565846 HAS SOPS 10565846 HAS SOUS 7074746 HAS SOUPS 7074746 WITH SCORE 7085311.846
AT ITER 2922 NEW BEST:: SOT 48663340 SOS 10565846 HAS SOPS 10565846 HAS SOUS 7074321 HAS SOUPS 7074321 WITH SCORE 7084886.846
AT ITER 2935 NEW BEST:: SOT 48662455 SOS 10564961 HAS SOPS 10564961 HAS SOUS 7074321 HAS SOUPS 7074321 WITH SCORE 7084885.961
AT ITER 2944 NEW BEST:: SOT 48662176 SOS 10565247 HAS SOPS 10565247 HAS SOUS 7073937 HAS SOUPS 7073937 WITH SCORE 7084502.247
AT ITER 2957 NEW BEST:: SOT 48662597 SOS 10564725 HAS SOPS 10564725 HAS SOUS 7073885 HAS SOUPS 7073885 WITH SCORE 7084449.725
AT ITER 3029 NEW BEST:: SOT 48662597 SOS 10564626 HAS SOPS 10564626 HAS SOUS 7073786 HAS SOUPS 7073786 WITH SCORE 7084350.626
AT ITER 3036 NEW BEST:: SOT 48661329 SOS 10563357 HAS SOPS 10563357 HAS SOUS 7072517 HAS SOUPS 7072517 WITH SCORE 7083080.357
AT ITER 3046 NEW BEST:: SOT 48661842 SOS 10563870 HAS SOPS 10563870 HAS SOUS 7072516 HAS SOUPS 7072516 WITH SCORE 7083079.87
AT ITER 3069 NEW BEST:: SOT 48661311 SOS 10564397 HAS SOPS 10564397 HAS SOUS 7071453 HAS SOUPS 7071453 WITH SCORE 7082017.397
AT ITER 3097 NEW BEST:: SOT 48659903 SOS 10567536 HAS SOPS 10567536 HAS SOUS 7071310 HAS SOUPS 7071310 WITH SCORE 7081877.536
AT ITER 3100 NEW BEST:: SOT 48657497 SOS 10538664 HAS SOPS 10538664 HAS SOUS 7068904 HAS SOUPS 7068904 WITH SCORE 7079442.664
AT ITER 3111 NEW BEST:: SOT 48657496 SOS 10538662 HAS SOPS 10538662 HAS SOUS 7068902 HAS SOUPS 7068902 WITH SCORE 7079440.662
AT ITER 3120 NEW BEST:: SOT 48657856 SOS 10538448 HAS SOPS 10538448 HAS SOUS 7068688 HAS SOUPS 7068688 WITH SCORE 7079226.448
AT ITER 3130 NEW BEST:: SOT 48657856 SOS 10542449 HAS SOPS 10542449 HAS SOUS 7067352 HAS SOUPS 7067352 WITH SCORE 7077894.449
AT ITER 3131 NEW BEST:: SOT 48653712 SOS 10541567 HAS SOPS 10541567 HAS SOUS 7065479 HAS SOUPS 7065479 WITH SCORE 7076020.567
AT ITER 3174 NEW BEST:: SOT 48653570 SOS 10541603 HAS SOPS 10541603 HAS SOUS 7065427 HAS SOUPS 7065427 WITH SCORE 7075968.603
AT ITER 3199 NEW BEST:: SOT 48653251 SOS 10541284 HAS SOPS 10541284 HAS SOUS 7065108 HAS SOUPS 7065108 WITH SCORE 7075649.284
AT ITER 3200 NEW BEST:: SOT 48653006 SOS 10540810 HAS SOPS 10540810 HAS SOUS 7064634 HAS SOUPS 7064634 WITH SCORE 7075174.81
AT ITER 3317 NEW BEST:: SOT 48652841 SOS 10540645 HAS SOPS 10540645 HAS SOUS 7064631 HAS SOUPS 7064631 WITH SCORE 7075171.645
AT ITER 3351 NEW BEST:: SOT 48652279 SOS 10539521 HAS SOPS 10539521 HAS SOUS 7063507 HAS SOUPS 7063507 WITH SCORE 7074046.521
AT ITER 3356 NEW BEST:: SOT 48651789 SOS 10539507 HAS SOPS 10539507 HAS SOUS 7063496 HAS SOUPS 7063496 WITH SCORE 7074035.507
AT ITER 3419 NEW BEST:: SOT 48650691 SOS 10541412 HAS SOPS 10541412 HAS SOUS 7062233 HAS SOUPS 7062233 WITH SCORE 7072774.412
AT ITER 3454 NEW BEST:: SOT 48650037 SOS 10539854 HAS SOPS 10539854 HAS SOUS 7060675 HAS SOUPS 7060675 WITH SCORE 7071214.854
AT ITER 3461 NEW BEST:: SOT 48650034 SOS 10539848 HAS SOPS 10539848 HAS SOUS 7060669 HAS SOUPS 7060669 WITH SCORE 7071208.848
AT ITER 3474 NEW BEST:: SOT 48649491 SOS 10539305 HAS SOPS 10539305 HAS SOUS 7060569 HAS SOUPS 7060569 WITH SCORE 7071108.305
AT ITER 3475 NEW BEST:: SOT 48648948 SOS 10539047 HAS SOPS 10539047 HAS SOUS 7060302 HAS SOUPS 7060302 WITH SCORE 7070841.047
AT ITER 3499 NEW BEST:: SOT 48648948 SOS 10538578 HAS SOPS 10538578 HAS SOUS 7060302 HAS SOUPS 7060302 WITH SCORE 7070840.578
AT ITER 3501 NEW BEST:: SOT 48648948 SOS 10537821 HAS SOPS 10537821 HAS SOUS 7060302 HAS SOUPS 7060302 WITH SCORE 7070839.821
AT ITER 3505 NEW BEST:: SOT 48648948 SOS 10538630 HAS SOPS 10538630 HAS SOUS 7060301 HAS SOUPS 7060301 WITH SCORE 7070839.63
AT ITER 3506 NEW BEST:: SOT 48648948 SOS 10541302 HAS SOPS 10541302 HAS SOUS 7059408 HAS SOUPS 7059408 WITH SCORE 7069949.302
AT ITER 3527 NEW BEST:: SOT 48648947 SOS 10541300 HAS SOPS 10541300 HAS SOUS 7059406 HAS SOUPS 7059406 WITH SCORE 7069947.3
AT ITER 3552 NEW BEST:: SOT 48648946 SOS 10540977 HAS SOPS 10540977 HAS SOUS 7059244 HAS SOUPS 7059244 WITH SCORE 7069784.977
AT ITER 3561 NEW BEST:: SOT 48648946 SOS 10540977 HAS SOPS 10540977 HAS SOUS 7059243 HAS SOUPS 7059243 WITH SCORE 7069783.977
AT ITER 3618 NEW BEST:: SOT 48648269 SOS 10539623 HAS SOPS 10539623 HAS SOUS 7057262 HAS SOUPS 7057262 WITH SCORE 7067801.623
AT ITER 3633 NEW BEST:: SOT 48647738 SOS 10538561 HAS SOPS 10538561 HAS SOUS 7056200 HAS SOUPS 7056200 WITH SCORE 7066738.561
AT ITER 3634 NEW BEST:: SOT 48647276 SOS 10537637 HAS SOPS 10537637 HAS SOUS 7055276 HAS SOUPS 7055276 WITH SCORE 7065813.637
AT ITER 3663 NEW BEST:: SOT 48646834 SOS 10536753 HAS SOPS 10536753 HAS SOUS 7054392 HAS SOUPS 7054392 WITH SCORE 7064928.753
AT ITER 3671 NEW BEST:: SOT 48646829 SOS 10536763 HAS SOPS 10536763 HAS SOUS 7054387 HAS SOUPS 7054387 WITH SCORE 7064923.763
AT ITER 3673 NEW BEST:: SOT 48646014 SOS 10536131 HAS SOPS 10536131 HAS SOUS 7053758 HAS SOUPS 7053758 WITH SCORE 7064294.131
AT ITER 3693 NEW BEST:: SOT 48645533 SOS 10535725 HAS SOPS 10535725 HAS SOUS 7053019 HAS SOUPS 7053019 WITH SCORE 7063554.725
AT ITER 3701 NEW BEST:: SOT 48645365 SOS 10552548 HAS SOPS 10552548 HAS SOUS 7052682 HAS SOUPS 7052682 WITH SCORE 7063234.548
AT ITER 3715 NEW BEST:: SOT 48644320 SOS 10551645 HAS SOPS 10551645 HAS SOUS 7051704 HAS SOUPS 7051704 WITH SCORE 7062255.645
AT ITER 3719 NEW BEST:: SOT 48644118 SOS 10551443 HAS SOPS 10551443 HAS SOUS 7051502 HAS SOUPS 7051502 WITH SCORE 7062053.443
AT ITER 3743 NEW BEST:: SOT 48644048 SOS 10551303 HAS SOPS 10551303 HAS SOUS 7051362 HAS SOUPS 7051362 WITH SCORE 7061913.303
AT ITER 3751 NEW BEST:: SOT 48643775 SOS 10550211 HAS SOPS 10550211 HAS SOUS 7051089 HAS SOUPS 7051089 WITH SCORE 7061639.211
AT ITER 3761 NEW BEST:: SOT 48642933 SOS 10549790 HAS SOPS 10549790 HAS SOUS 7050668 HAS SOUPS 7050668 WITH SCORE 7061217.79
AT ITER 3767 NEW BEST:: SOT 48642933 SOS 10549211 HAS SOPS 10549211 HAS SOUS 7049639 HAS SOUPS 7049639 WITH SCORE 7060188.211
AT ITER 3772 NEW BEST:: SOT 48642932 SOS 10549209 HAS SOPS 10549209 HAS SOUS 7049637 HAS SOUPS 7049637 WITH SCORE 7060186.209
AT ITER 3774 NEW BEST:: SOT 48642213 SOS 10549391 HAS SOPS 10549391 HAS SOUS 7049514 HAS SOUPS 7049514 WITH SCORE 7060063.391
AT ITER 3779 NEW BEST:: SOT 48640765 SOS 10542151 HAS SOPS 10542151 HAS SOUS 7046618 HAS SOUPS 7046618 WITH SCORE 7057160.151
AT ITER 3797 NEW BEST:: SOT 48637777 SOS 10540738 HAS SOPS 10540738 HAS SOUS 7045151 HAS SOUPS 7045151 WITH SCORE 7055691.738
AT ITER 3808 NEW BEST:: SOT 48636763 SOS 10539724 HAS SOPS 10539724 HAS SOUS 7044137 HAS SOUPS 7044137 WITH SCORE 7054676.724
AT ITER 3815 NEW BEST:: SOT 48636763 SOS 10537990 HAS SOPS 10537990 HAS SOUS 7044137 HAS SOUPS 7044137 WITH SCORE 7054674.99
AT ITER 3828 NEW BEST:: SOT 48636221 SOS 10534758 HAS SOPS 10534758 HAS SOUS 7043595 HAS SOUPS 7043595 WITH SCORE 7054129.758
AT ITER 3829 NEW BEST:: SOT 48635823 SOS 10533958 HAS SOPS 10533958 HAS SOUS 7042798 HAS SOUPS 7042798 WITH SCORE 7053331.958
AT ITER 3830 NEW BEST:: SOT 48635800 SOS 10533912 HAS SOPS 10533912 HAS SOUS 7042775 HAS SOUPS 7042775 WITH SCORE 7053308.912
AT ITER 3831 NEW BEST:: SOT 48635324 SOS 10533436 HAS SOPS 10533436 HAS SOUS 7042299 HAS SOUPS 7042299 WITH SCORE 7052832.436
AT ITER 3842 NEW BEST:: SOT 48634977 SOS 10532742 HAS SOPS 10532742 HAS SOUS 7041605 HAS SOUPS 7041605 WITH SCORE 7052137.742
AT ITER 3849 NEW BEST:: SOT 48635023 SOS 10532714 HAS SOPS 10532714 HAS SOUS 7041539 HAS SOUPS 7041539 WITH SCORE 7052071.714
AT ITER 3879 NEW BEST:: SOT 48634418 SOS 10530294 HAS SOPS 10530294 HAS SOUS 7040933 HAS SOUPS 7040933 WITH SCORE 7051463.294
AT ITER 3903 NEW BEST:: SOT 48634418 SOS 10529651 HAS SOPS 10529651 HAS SOUS 7039647 HAS SOUPS 7039647 WITH SCORE 7050176.651
AT ITER 3904 NEW BEST:: SOT 48633729 SOS 10528273 HAS SOPS 10528273 HAS SOUS 7038269 HAS SOUPS 7038269 WITH SCORE 7048797.273
AT ITER 3925 NEW BEST:: SOT 48632933 SOS 10526681 HAS SOPS 10526681 HAS SOUS 7036677 HAS SOUPS 7036677 WITH SCORE 7047203.681
AT ITER 3952 NEW BEST:: SOT 48632931 SOS 10526677 HAS SOPS 10526677 HAS SOUS 7036673 HAS SOUPS 7036673 WITH SCORE 7047199.677
AT ITER 3979 NEW BEST:: SOT 48632535 SOS 10525885 HAS SOPS 10525885 HAS SOUS 7034895 HAS SOUPS 7034895 WITH SCORE 7045420.885
AT ITER 4034 NEW BEST:: SOT 48632535 SOS 10524842 HAS SOPS 10524842 HAS SOUS 7034895 HAS SOUPS 7034895 WITH SCORE 7045419.842
AT ITER 4042 NEW BEST:: SOT 48632421 SOS 10524614 HAS SOPS 10524614 HAS SOUS 7034667 HAS SOUPS 7034667 WITH SCORE 7045191.614
AT ITER 4065 NEW BEST:: SOT 48632241 SOS 10524254 HAS SOPS 10524254 HAS SOUS 7034307 HAS SOUPS 7034307 WITH SCORE 7044831.254
AT ITER 4072 NEW BEST:: SOT 48632241 SOS 10524254 HAS SOPS 10524254 HAS SOUS 7034306 HAS SOUPS 7034306 WITH SCORE 7044830.254
AT ITER 4093 NEW BEST:: SOT 48631686 SOS 10523143 HAS SOPS 10523143 HAS SOUS 7033195 HAS SOUPS 7033195 WITH SCORE 7043718.143
AT ITER 4133 NEW BEST:: SOT 48631685 SOS 10523141 HAS SOPS 10523141 HAS SOUS 7033193 HAS SOUPS 7033193 WITH SCORE 7043716.141
AT ITER 4144 NEW BEST:: SOT 48631393 SOS 10522557 HAS SOPS 10522557 HAS SOUS 7033070 HAS SOUPS 7033070 WITH SCORE 7043592.557
AT ITER 4162 NEW BEST:: SOT 48629577 SOS 10518925 HAS SOPS 10518925 HAS SOUS 7029438 HAS SOUPS 7029438 WITH SCORE 7039956.925
AT ITER 4173 NEW BEST:: SOT 48629465 SOS 10518701 HAS SOPS 10518701 HAS SOUS 7029326 HAS SOUPS 7029326 WITH SCORE 7039844.701
AT ITER 4180 NEW BEST:: SOT 48629465 SOS 10519236 HAS SOPS 10519236 HAS SOUS 7029325 HAS SOUPS 7029325 WITH SCORE 7039844.236
AT ITER 4195 NEW BEST:: SOT 48628805 SOS 10517916 HAS SOPS 10517916 HAS SOUS 7028005 HAS SOUPS 7028005 WITH SCORE 7038522.916
AT ITER 4208 NEW BEST:: SOT 48626143 SOS 10514154 HAS SOPS 10514154 HAS SOUS 7024011 HAS SOUPS 7024011 WITH SCORE 7034525.154
AT ITER 4211 NEW BEST:: SOT 48625642 SOS 10513152 HAS SOPS 10513152 HAS SOUS 7023510 HAS SOUPS 7023510 WITH SCORE 7034023.152
AT ITER 4212 NEW BEST:: SOT 48625222 SOS 10513148 HAS SOPS 10513148 HAS SOUS 7023299 HAS SOUPS 7023299 WITH SCORE 7033812.148
AT ITER 4236 NEW BEST:: SOT 48625275 SOS 10511826 HAS SOPS 10511826 HAS SOUS 7022902 HAS SOUPS 7022902 WITH SCORE 7033413.826
AT ITER 4262 NEW BEST:: SOT 48625275 SOS 10511825 HAS SOPS 10511825 HAS SOUS 7022901 HAS SOUPS 7022901 WITH SCORE 7033412.825
AT ITER 4293 NEW BEST:: SOT 48625274 SOS 10511823 HAS SOPS 10511823 HAS SOUS 7022899 HAS SOUPS 7022899 WITH SCORE 7033410.823
AT ITER 4304 NEW BEST:: SOT 48625047 SOS 10511965 HAS SOPS 10511965 HAS SOUS 7022746 HAS SOUPS 7022746 WITH SCORE 7033257.965
AT ITER 4307 NEW BEST:: SOT 48624858 SOS 10511587 HAS SOPS 10511587 HAS SOUS 7022130 HAS SOUPS 7022130 WITH SCORE 7032641.587
AT ITER 4331 NEW BEST:: SOT 48625014 SOS 10511899 HAS SOPS 10511899 HAS SOUS 7021704 HAS SOUPS 7021704 WITH SCORE 7032215.899
AT ITER 4355 NEW BEST:: SOT 48621324 SOS 10509685 HAS SOPS 10509685 HAS SOUS 7019859 HAS SOUPS 7019859 WITH SCORE 7030368.685
AT ITER 4362 NEW BEST:: SOT 48622106 SOS 10508387 HAS SOPS 10508387 HAS SOUS 7019687 HAS SOUPS 7019687 WITH SCORE 7030195.387
AT ITER 4381 NEW BEST:: SOT 48622106 SOS 10509014 HAS SOPS 10509014 HAS SOUS 7019686 HAS SOUPS 7019686 WITH SCORE 7030195.014
AT ITER 4403 NEW BEST:: SOT 48621408 SOS 10508661 HAS SOPS 10508661 HAS SOUS 7019336 HAS SOUPS 7019336 WITH SCORE 7029844.661
AT ITER 4435 NEW BEST:: SOT 48621294 SOS 10508624 HAS SOPS 10508624 HAS SOUS 7019299 HAS SOUPS 7019299 WITH SCORE 7029807.624
AT ITER 4446 NEW BEST:: SOT 48620632 SOS 10508288 HAS SOPS 10508288 HAS SOUS 7018963 HAS SOUPS 7018963 WITH SCORE 7029471.288
AT ITER 4474 NEW BEST:: SOT 48619356 SOS 10507328 HAS SOPS 10507328 HAS SOUS 7018003 HAS SOUPS 7018003 WITH SCORE 7028510.328
AT ITER 4489 NEW BEST:: SOT 48617748 SOS 10507580 HAS SOPS 10507580 HAS SOUS 7017992 HAS SOUPS 7017992 WITH SCORE 7028499.58
AT ITER 4584 NEW BEST:: SOT 48615836 SOS 10503756 HAS SOPS 10503756 HAS SOUS 7014168 HAS SOUPS 7014168 WITH SCORE 7024671.756
AT ITER 4588 NEW BEST:: SOT 48615698 SOS 10503636 HAS SOPS 10503636 HAS SOUS 7014030 HAS SOUPS 7014030 WITH SCORE 7024533.636
AT ITER 4592 NEW BEST:: SOT 48615220 SOS 10503078 HAS SOPS 10503078 HAS SOUS 7013510 HAS SOUPS 7013510 WITH SCORE 7024013.078
AT ITER 4608 NEW BEST:: SOT 48615220 SOS 10505828 HAS SOPS 10505828 HAS SOUS 7012591 HAS SOUPS 7012591 WITH SCORE 7023096.828
AT ITER 4609 NEW BEST:: SOT 48614641 SOS 10505828 HAS SOPS 10505828 HAS SOUS 7012398 HAS SOUPS 7012398 WITH SCORE 7022903.828
AT ITER 4627 NEW BEST:: SOT 48614640 SOS 10505826 HAS SOPS 10505826 HAS SOUS 7012396 HAS SOUPS 7012396 WITH SCORE 7022901.826
AT ITER 4679 NEW BEST:: SOT 48614057 SOS 10504660 HAS SOPS 10504660 HAS SOUS 7011230 HAS SOUPS 7011230 WITH SCORE 7021734.66
AT ITER 4723 NEW BEST:: SOT 48613583 SOS 10504423 HAS SOPS 10504423 HAS SOUS 7010756 HAS SOUPS 7010756 WITH SCORE 7021260.423
AT ITER 4747 NEW BEST:: SOT 48612525 SOS 10503826 HAS SOPS 10503826 HAS SOUS 7010159 HAS SOUPS 7010159 WITH SCORE 7020662.826
AT ITER 4757 NEW BEST:: SOT 48612440 SOS 10503656 HAS SOPS 10503656 HAS SOUS 7009989 HAS SOUPS 7009989 WITH SCORE 7020492.656
AT ITER 4774 NEW BEST:: SOT 48612387 SOS 10503550 HAS SOPS 10503550 HAS SOUS 7009883 HAS SOUPS 7009883 WITH SCORE 7020386.55
AT ITER 4800 NEW BEST:: SOT 48612378 SOS 10503532 HAS SOPS 10503532 HAS SOUS 7009865 HAS SOUPS 7009865 WITH SCORE 7020368.532
AT ITER 4812 NEW BEST:: SOT 48612378 SOS 10503528 HAS SOPS 10503528 HAS SOUS 7009864 HAS SOUPS 7009864 WITH SCORE 7020367.528
AT ITER 4831 NEW BEST:: SOT 48611280 SOS 10502430 HAS SOPS 10502430 HAS SOUS 7008766 HAS SOUPS 7008766 WITH SCORE 7019268.43
AT ITER 4851 NEW BEST:: SOT 48610791 SOS 10501452 HAS SOPS 10501452 HAS SOUS 7007876 HAS SOUPS 7007876 WITH SCORE 7018377.452
AT ITER 4902 NEW BEST:: SOT 48604615 SOS 10496968 HAS SOPS 10496968 HAS SOUS 7003954 HAS SOUPS 7003954 WITH SCORE 7014450.968
AT ITER 4921 NEW BEST:: SOT 48604035 SOS 10495808 HAS SOPS 10495808 HAS SOUS 7002794 HAS SOUPS 7002794 WITH SCORE 7013289.808
AT ITER 4922 NEW BEST:: SOT 48604035 SOS 10496479 HAS SOPS 10496479 HAS SOUS 7002793 HAS SOUPS 7002793 WITH SCORE 7013289.479
AT ITER 4952 NEW BEST:: SOT 48604008 SOS 10496476 HAS SOPS 10496476 HAS SOUS 7002792 HAS SOUPS 7002792 WITH SCORE 7013288.476
AT ITER 4960 NEW BEST:: SOT 48602747 SOS 10497066 HAS SOPS 10497066 HAS SOUS 7001755 HAS SOUPS 7001755 WITH SCORE 7012252.066
AT ITER 4972 NEW BEST:: SOT 48602747 SOS 10495842 HAS SOPS 10495842 HAS SOUS 7001755 HAS SOUPS 7001755 WITH SCORE 7012250.842
AT ITER 4994 NEW BEST:: SOT 48602584 SOS 10496160 HAS SOPS 10496160 HAS SOUS 7001590 HAS SOUPS 7001590 WITH SCORE 7012086.16
AT ITER 5017 NEW BEST:: SOT 48602417 SOS 10495826 HAS SOPS 10495826 HAS SOUS 7001256 HAS SOUPS 7001256 WITH SCORE 7011751.826
AT ITER 5045 NEW BEST:: SOT 48601949 SOS 10494890 HAS SOPS 10494890 HAS SOUS 7000320 HAS SOUPS 7000320 WITH SCORE 7010814.89
AT ITER 5061 NEW BEST:: SOT 48600999 SOS 10493930 HAS SOPS 10493930 HAS SOUS 6999369 HAS SOUPS 6999369 WITH SCORE 7009862.93
AT ITER 5071 NEW BEST:: SOT 48599830 SOS 10492757 HAS SOPS 10492757 HAS SOUS 6998199 HAS SOUPS 6998199 WITH SCORE 7008691.757
AT ITER 5096 NEW BEST:: SOT 48599492 SOS 10492081 HAS SOPS 10492081 HAS SOUS 6997523 HAS SOUPS 6997523 WITH SCORE 7008015.081
AT ITER 5115 NEW BEST:: SOT 48598794 SOS 10488891 HAS SOPS 10488891 HAS SOUS 6996227 HAS SOUPS 6996227 WITH SCORE 7006715.891
AT ITER 5143 NEW BEST:: SOT 48598794 SOS 10488521 HAS SOPS 10488521 HAS SOUS 6996042 HAS SOUPS 6996042 WITH SCORE 7006530.521
AT ITER 5152 NEW BEST:: SOT 48598794 SOS 10489474 HAS SOPS 10489474 HAS SOUS 6996041 HAS SOUPS 6996041 WITH SCORE 7006530.474
AT ITER 5185 NEW BEST:: SOT 48597739 SOS 10489862 HAS SOPS 10489862 HAS SOUS 6995053 HAS SOUPS 6995053 WITH SCORE 7005542.862
AT ITER 5233 NEW BEST:: SOT 48597206 SOS 10489329 HAS SOPS 10489329 HAS SOUS 6994520 HAS SOUPS 6994520 WITH SCORE 7005009.329
AT ITER 5243 NEW BEST:: SOT 48595905 SOS 10486727 HAS SOPS 10486727 HAS SOUS 6991918 HAS SOUPS 6991918 WITH SCORE 7002404.727
AT ITER 5278 NEW BEST:: SOT 48595820 SOS 10486557 HAS SOPS 10486557 HAS SOUS 6991748 HAS SOUPS 6991748 WITH SCORE 7002234.557
AT ITER 5281 NEW BEST:: SOT 48594922 SOS 10486308 HAS SOPS 10486308 HAS SOUS 6991059 HAS SOUPS 6991059 WITH SCORE 7001545.308
AT ITER 5310 NEW BEST:: SOT 48593943 SOS 10485891 HAS SOPS 10485891 HAS SOUS 6990079 HAS SOUPS 6990079 WITH SCORE 7000564.891
AT ITER 5316 NEW BEST:: SOT 48593122 SOS 10484575 HAS SOPS 10484575 HAS SOUS 6988763 HAS SOUPS 6988763 WITH SCORE 6999247.575
AT ITER 5332 NEW BEST:: SOT 48592969 SOS 10484422 HAS SOPS 10484422 HAS SOUS 6988610 HAS SOUPS 6988610 WITH SCORE 6999094.422
AT ITER 5353 NEW BEST:: SOT 48592674 SOS 10483832 HAS SOPS 10483832 HAS SOUS 6988020 HAS SOUPS 6988020 WITH SCORE 6998503.832
AT ITER 5355 NEW BEST:: SOT 48591314 SOS 10482265 HAS SOPS 10482265 HAS SOUS 6986456 HAS SOUPS 6986456 WITH SCORE 6996938.265
AT ITER 5357 NEW BEST:: SOT 48591314 SOS 10483203 HAS SOPS 10483203 HAS SOUS 6986455 HAS SOUPS 6986455 WITH SCORE 6996938.203
AT ITER 5364 NEW BEST:: SOT 48589193 SOS 10481765 HAS SOPS 10481765 HAS SOUS 6985017 HAS SOUPS 6985017 WITH SCORE 6995498.765
AT ITER 5367 NEW BEST:: SOT 48588624 SOS 10481196 HAS SOPS 10481196 HAS SOUS 6984448 HAS SOUPS 6984448 WITH SCORE 6994929.196
AT ITER 5412 NEW BEST:: SOT 48588240 SOS 10480428 HAS SOPS 10480428 HAS SOUS 6983137 HAS SOUPS 6983137 WITH SCORE 6993617.428
AT ITER 5428 NEW BEST:: SOT 48587257 SOS 10478462 HAS SOPS 10478462 HAS SOUS 6981045 HAS SOUPS 6981045 WITH SCORE 6991523.462
AT ITER 5437 NEW BEST:: SOT 48587278 SOS 10478504 HAS SOPS 10478504 HAS SOUS 6979882 HAS SOUPS 6979882 WITH SCORE 6990360.504
AT ITER 5439 NEW BEST:: SOT 48587156 SOS 10478260 HAS SOPS 10478260 HAS SOUS 6979760 HAS SOUPS 6979760 WITH SCORE 6990238.26
AT ITER 5444 NEW BEST:: SOT 48586516 SOS 10476981 HAS SOPS 10476981 HAS SOUS 6979172 HAS SOUPS 6979172 WITH SCORE 6989648.981
AT ITER 5461 NEW BEST:: SOT 48586508 SOS 10476965 HAS SOPS 10476965 HAS SOUS 6978542 HAS SOUPS 6978542 WITH SCORE 6989018.965
AT ITER 5465 NEW BEST:: SOT 48585785 SOS 10476128 HAS SOPS 10476128 HAS SOUS 6977819 HAS SOUPS 6977819 WITH SCORE 6988295.128
AT ITER 5470 NEW BEST:: SOT 48585771 SOS 10476100 HAS SOPS 10476100 HAS SOUS 6977791 HAS SOUPS 6977791 WITH SCORE 6988267.1
AT ITER 5478 NEW BEST:: SOT 48585769 SOS 10476096 HAS SOPS 10476096 HAS SOUS 6977787 HAS SOUPS 6977787 WITH SCORE 6988263.096
AT ITER 5567 NEW BEST:: SOT 48584207 SOS 10475315 HAS SOPS 10475315 HAS SOUS 6976225 HAS SOUPS 6976225 WITH SCORE 6986700.315
AT ITER 5596 NEW BEST:: SOT 48583275 SOS 10474849 HAS SOPS 10474849 HAS SOUS 6975759 HAS SOUPS 6975759 WITH SCORE 6986233.849
AT ITER 5617 NEW BEST:: SOT 48583015 SOS 10474589 HAS SOPS 10474589 HAS SOUS 6975499 HAS SOUPS 6975499 WITH SCORE 6985973.589
AT ITER 5638 NEW BEST:: SOT 48580565 SOS 10473119 HAS SOPS 10473119 HAS SOUS 6974029 HAS SOUPS 6974029 WITH SCORE 6984502.119
AT ITER 5664 NEW BEST:: SOT 48580902 SOS 10472782 HAS SOPS 10472782 HAS SOUS 6974029 HAS SOUPS 6974029 WITH SCORE 6984501.782
AT ITER 5669 NEW BEST:: SOT 48580902 SOS 10472582 HAS SOPS 10472582 HAS SOUS 6973929 HAS SOUPS 6973929 WITH SCORE 6984401.582
AT ITER 5685 NEW BEST:: SOT 48580902 SOS 10472021 HAS SOPS 10472021 HAS SOUS 6973742 HAS SOUPS 6973742 WITH SCORE 6984214.021
AT ITER 5689 NEW BEST:: SOT 48580763 SOS 10471743 HAS SOPS 10471743 HAS SOUS 6973464 HAS SOUPS 6973464 WITH SCORE 6983935.743
AT ITER 5699 NEW BEST:: SOT 48580224 SOS 10471542 HAS SOPS 10471542 HAS SOUS 6973167 HAS SOUPS 6973167 WITH SCORE 6983638.542
AT ITER 5700 NEW BEST:: SOT 48579762 SOS 10470922 HAS SOPS 10470922 HAS SOUS 6972782 HAS SOUPS 6972782 WITH SCORE 6983252.922
AT ITER 5702 NEW BEST:: SOT 48579720 SOS 10470838 HAS SOPS 10470838 HAS SOUS 6972739 HAS SOUPS 6972739 WITH SCORE 6983209.838
AT ITER 5717 NEW BEST:: SOT 48579595 SOS 10470588 HAS SOPS 10470588 HAS SOUS 6972489 HAS SOUPS 6972489 WITH SCORE 6982959.588
AT ITER 5727 NEW BEST:: SOT 48579515 SOS 10470428 HAS SOPS 10470428 HAS SOUS 6972329 HAS SOUPS 6972329 WITH SCORE 6982799.428
AT ITER 5731 NEW BEST:: SOT 48579271 SOS 10470912 HAS SOPS 10470912 HAS SOUS 6972084 HAS SOUPS 6972084 WITH SCORE 6982554.912
AT ITER 5751 NEW BEST:: SOT 48578949 SOS 10470268 HAS SOPS 10470268 HAS SOUS 6971891 HAS SOUPS 6971891 WITH SCORE 6982361.268
AT ITER 5790 NEW BEST:: SOT 48577007 SOS 10471502 HAS SOPS 10471502 HAS SOUS 6971655 HAS SOUPS 6971655 WITH SCORE 6982126.502
AT ITER 5805 NEW BEST:: SOT 48576971 SOS 10471499 HAS SOPS 10471499 HAS SOUS 6971654 HAS SOUPS 6971654 WITH SCORE 6982125.499
AT ITER 5858 NEW BEST:: SOT 48576971 SOS 10472261 HAS SOPS 10472261 HAS SOUS 6971653 HAS SOUPS 6971653 WITH SCORE 6982125.261
AT ITER 5875 NEW BEST:: SOT 48576971 SOS 10471696 HAS SOPS 10471696 HAS SOUS 6971653 HAS SOUPS 6971653 WITH SCORE 6982124.696
AT ITER 5880 NEW BEST:: SOT 48575915 SOS 10468528 HAS SOPS 10468528 HAS SOUS 6970069 HAS SOUPS 6970069 WITH SCORE 6980537.528
AT ITER 5897 NEW BEST:: SOT 48575219 SOS 10467832 HAS SOPS 10467832 HAS SOUS 6969373 HAS SOUPS 6969373 WITH SCORE 6979840.832
AT ITER 5937 NEW BEST:: SOT 48575309 SOS 10470444 HAS SOPS 10470444 HAS SOUS 6969351 HAS SOUPS 6969351 WITH SCORE 6979821.444
AT ITER 5957 NEW BEST:: SOT 48576235 SOS 10466682 HAS SOPS 10466682 HAS SOUS 6968361 HAS SOUPS 6968361 WITH SCORE 6978827.682
AT ITER 5976 NEW BEST:: SOT 48575318 SOS 10464848 HAS SOPS 10464848 HAS SOUS 6966976 HAS SOUPS 6966976 WITH SCORE 6977440.848
AT ITER 6008 NEW BEST:: SOT 48574614 SOS 10464140 HAS SOPS 10464140 HAS SOUS 6966271 HAS SOUPS 6966271 WITH SCORE 6976735.14
AT ITER 6044 NEW BEST:: SOT 48573362 SOS 10462884 HAS SOPS 10462884 HAS SOUS 6965018 HAS SOUPS 6965018 WITH SCORE 6975480.884
AT ITER 6058 NEW BEST:: SOT 48573057 SOS 10462575 HAS SOPS 10462575 HAS SOUS 6964712 HAS SOUPS 6964712 WITH SCORE 6975174.575
AT ITER 6062 NEW BEST:: SOT 48573057 SOS 10462571 HAS SOPS 10462571 HAS SOUS 6964711 HAS SOUPS 6964711 WITH SCORE 6975173.571
AT ITER 6152 NEW BEST:: SOT 48573623 SOS 10462570 HAS SOPS 10462570 HAS SOUS 6964143 HAS SOUPS 6964143 WITH SCORE 6974605.57
AT ITER 6155 NEW BEST:: SOT 48573596 SOS 10462516 HAS SOPS 10462516 HAS SOUS 6964089 HAS SOUPS 6964089 WITH SCORE 6974551.516
AT ITER 6173 NEW BEST:: SOT 48573596 SOS 10462103 HAS SOPS 10462103 HAS SOUS 6963676 HAS SOUPS 6963676 WITH SCORE 6974138.103
AT ITER 6180 NEW BEST:: SOT 48573263 SOS 10461437 HAS SOPS 10461437 HAS SOUS 6963463 HAS SOUPS 6963463 WITH SCORE 6973924.437
AT ITER 6187 NEW BEST:: SOT 48573262 SOS 10461435 HAS SOPS 10461435 HAS SOUS 6963461 HAS SOUPS 6963461 WITH SCORE 6973922.435
AT ITER 6206 NEW BEST:: SOT 48572707 SOS 10460880 HAS SOPS 10460880 HAS SOUS 6962906 HAS SOUPS 6962906 WITH SCORE 6973366.88
AT ITER 6221 NEW BEST:: SOT 48573005 SOS 10461476 HAS SOPS 10461476 HAS SOUS 6961939 HAS SOUPS 6961939 WITH SCORE 6972400.476
AT ITER 6229 NEW BEST:: SOT 48572509 SOS 10460484 HAS SOPS 10460484 HAS SOUS 6960947 HAS SOUPS 6960947 WITH SCORE 6971407.484
AT ITER 6291 NEW BEST:: SOT 48571169 SOS 10454225 HAS SOPS 10454225 HAS SOUS 6958414 HAS SOUPS 6958414 WITH SCORE 6968868.225
AT ITER 6316 NEW BEST:: SOT 48571078 SOS 10454043 HAS SOPS 10454043 HAS SOUS 6958289 HAS SOUPS 6958289 WITH SCORE 6968743.043
AT ITER 6319 NEW BEST:: SOT 48571077 SOS 10434152 HAS SOPS 10434152 HAS SOUS 6957703 HAS SOUPS 6957703 WITH SCORE 6968137.152
AT ITER 6339 NEW BEST:: SOT 48568731 SOS 10432588 HAS SOPS 10432588 HAS SOUS 6956139 HAS SOUPS 6956139 WITH SCORE 6966571.588
AT ITER 6344 NEW BEST:: SOT 48566727 SOS 10431586 HAS SOPS 10431586 HAS SOUS 6955137 HAS SOUPS 6955137 WITH SCORE 6965568.586
AT ITER 6345 NEW BEST:: SOT 48563848 SOS 10430433 HAS SOPS 10430433 HAS SOUS 6953793 HAS SOUPS 6953793 WITH SCORE 6964223.433
AT ITER 6349 NEW BEST:: SOT 48553643 SOS 10423343 HAS SOPS 10423343 HAS SOUS 6949232 HAS SOUPS 6949232 WITH SCORE 6959655.343
AT ITER 6355 NEW BEST:: SOT 48553372 SOS 10422801 HAS SOPS 10422801 HAS SOUS 6948690 HAS SOUPS 6948690 WITH SCORE 6959112.801
AT ITER 6388 NEW BEST:: SOT 48552388 SOS 10420517 HAS SOPS 10420517 HAS SOUS 6947750 HAS SOUPS 6947750 WITH SCORE 6958170.517
AT ITER 6440 NEW BEST:: SOT 48552388 SOS 10420517 HAS SOPS 10420517 HAS SOUS 6947732 HAS SOUPS 6947732 WITH SCORE 6958152.517
AT ITER 6443 NEW BEST:: SOT 48548881 SOS 10417010 HAS SOPS 10417010 HAS SOUS 6944225 HAS SOUPS 6944225 WITH SCORE 6954642.01
AT ITER 6452 NEW BEST:: SOT 48548477 SOS 10416203 HAS SOPS 10416203 HAS SOUS 6943418 HAS SOUPS 6943418 WITH SCORE 6953834.203
AT ITER 6455 NEW BEST:: SOT 48548051 SOS 10416659 HAS SOPS 10416659 HAS SOUS 6942805 HAS SOUPS 6942805 WITH SCORE 6953221.659
AT ITER 6464 NEW BEST:: SOT 48548049 SOS 10416655 HAS SOPS 10416655 HAS SOUS 6942801 HAS SOUPS 6942801 WITH SCORE 6953217.655
AT ITER 6479 NEW BEST:: SOT 48547260 SOS 10415917 HAS SOPS 10415917 HAS SOUS 6942063 HAS SOUPS 6942063 WITH SCORE 6952478.917
AT ITER 6487 NEW BEST:: SOT 48547012 SOS 10416521 HAS SOPS 10416521 HAS SOUS 6941842 HAS SOUPS 6941842 WITH SCORE 6952258.521
AT ITER 6561 NEW BEST:: SOT 48546210 SOS 10418562 HAS SOPS 10418562 HAS SOUS 6941040 HAS SOUPS 6941040 WITH SCORE 6951458.562
AT ITER 6586 NEW BEST:: SOT 48546095 SOS 10418562 HAS SOPS 10418562 HAS SOUS 6940925 HAS SOUPS 6940925 WITH SCORE 6951343.562
AT ITER 6587 NEW BEST:: SOT 48546822 SOS 10417835 HAS SOPS 10417835 HAS SOUS 6940925 HAS SOUPS 6940925 WITH SCORE 6951342.835
AT ITER 6595 NEW BEST:: SOT 48545429 SOS 10416463 HAS SOPS 10416463 HAS SOUS 6939553 HAS SOUPS 6939553 WITH SCORE 6949969.463
AT ITER 6607 NEW BEST:: SOT 48544796 SOS 10417164 HAS SOPS 10417164 HAS SOUS 6938286 HAS SOUPS 6938286 WITH SCORE 6948703.164
AT ITER 6611 NEW BEST:: SOT 48544640 SOS 10417160 HAS SOPS 10417160 HAS SOUS 6938285 HAS SOUPS 6938285 WITH SCORE 6948702.16
AT ITER 6633 NEW BEST:: SOT 48543776 SOS 10415432 HAS SOPS 10415432 HAS SOUS 6937421 HAS SOUPS 6937421 WITH SCORE 6947836.432
AT ITER 6644 NEW BEST:: SOT 48543776 SOS 10415432 HAS SOPS 10415432 HAS SOUS 6937352 HAS SOUPS 6937352 WITH SCORE 6947767.432
AT ITER 6645 NEW BEST:: SOT 48539533 SOS 10409979 HAS SOPS 10409979 HAS SOUS 6935448 HAS SOUPS 6935448 WITH SCORE 6945857.979
AT ITER 6659 NEW BEST:: SOT 48539419 SOS 10409751 HAS SOPS 10409751 HAS SOUS 6935334 HAS SOUPS 6935334 WITH SCORE 6945743.751
AT ITER 6675 NEW BEST:: SOT 48539657 SOS 10410227 HAS SOPS 10410227 HAS SOUS 6935012 HAS SOUPS 6935012 WITH SCORE 6945422.227
AT ITER 6681 NEW BEST:: SOT 48538883 SOS 10409449 HAS SOPS 10409449 HAS SOUS 6934237 HAS SOUPS 6934237 WITH SCORE 6944646.449
AT ITER 6711 NEW BEST:: SOT 48538832 SOS 10409347 HAS SOPS 10409347 HAS SOUS 6934135 HAS SOUPS 6934135 WITH SCORE 6944544.347
AT ITER 6712 NEW BEST:: SOT 48538514 SOS 10409135 HAS SOPS 10409135 HAS SOUS 6933527 HAS SOUPS 6933527 WITH SCORE 6943936.135
AT ITER 6729 NEW BEST:: SOT 48537573 SOS 10408631 HAS SOPS 10408631 HAS SOUS 6933025 HAS SOUPS 6933025 WITH SCORE 6943433.631
AT ITER 6731 NEW BEST:: SOT 48537065 SOS 10408119 HAS SOPS 10408119 HAS SOUS 6932264 HAS SOUPS 6932264 WITH SCORE 6942672.119
AT ITER 6740 NEW BEST:: SOT 48536220 SOS 10407525 HAS SOPS 10407525 HAS SOUS 6931670 HAS SOUPS 6931670 WITH SCORE 6942077.525
AT ITER 6750 NEW BEST:: SOT 48536220 SOS 10407525 HAS SOPS 10407525 HAS SOUS 6931243 HAS SOUPS 6931243 WITH SCORE 6941650.525
AT ITER 6755 NEW BEST:: SOT 48536179 SOS 10407443 HAS SOPS 10407443 HAS SOUS 6931161 HAS SOUPS 6931161 WITH SCORE 6941568.443
AT ITER 6764 NEW BEST:: SOT 48535604 SOS 10407346 HAS SOPS 10407346 HAS SOUS 6931064 HAS SOUPS 6931064 WITH SCORE 6941471.346
AT ITER 6813 NEW BEST:: SOT 48535256 SOS 10406998 HAS SOPS 10406998 HAS SOUS 6930716 HAS SOUPS 6930716 WITH SCORE 6941122.998
AT ITER 6832 NEW BEST:: SOT 48534980 SOS 10406722 HAS SOPS 10406722 HAS SOUS 6930440 HAS SOUPS 6930440 WITH SCORE 6940846.722
AT ITER 6904 NEW BEST:: SOT 48534483 SOS 10406221 HAS SOPS 10406221 HAS SOUS 6929942 HAS SOUPS 6929942 WITH SCORE 6940348.221
AT ITER 6975 NEW BEST:: SOT 48533498 SOS 10404251 HAS SOPS 10404251 HAS SOUS 6927972 HAS SOUPS 6927972 WITH SCORE 6938376.251
AT ITER 7002 NEW BEST:: SOT 48533008 SOS 10404247 HAS SOPS 10404247 HAS SOUS 6927481 HAS SOUPS 6927481 WITH SCORE 6937885.247
AT ITER 7073 NEW BEST:: SOT 48532234 SOS 10401660 HAS SOPS 10401660 HAS SOUS 6926640 HAS SOUPS 6926640 WITH SCORE 6937041.66
AT ITER 7090 NEW BEST:: SOT 48532099 SOS 10401390 HAS SOPS 10401390 HAS SOUS 6926035 HAS SOUPS 6926035 WITH SCORE 6936436.39
AT ITER 7124 NEW BEST:: SOT 48532067 SOS 10401326 HAS SOPS 10401326 HAS SOUS 6925971 HAS SOUPS 6925971 WITH SCORE 6936372.326
AT ITER 7128 NEW BEST:: SOT 48531173 SOS 10400432 HAS SOPS 10400432 HAS SOUS 6924183 HAS SOUPS 6924183 WITH SCORE 6934583.432
AT ITER 7134 NEW BEST:: SOT 48530665 SOS 10404860 HAS SOPS 10404860 HAS SOUS 6923166 HAS SOUPS 6923166 WITH SCORE 6933570.86
AT ITER 7166 NEW BEST:: SOT 48530070 SOS 10409574 HAS SOPS 10409574 HAS SOUS 6921768 HAS SOUPS 6921768 WITH SCORE 6932177.574
AT ITER 7173 NEW BEST:: SOT 48530712 SOS 10409278 HAS SOPS 10409278 HAS SOUS 6921472 HAS SOUPS 6921472 WITH SCORE 6931881.278
AT ITER 7203 NEW BEST:: SOT 48530202 SOS 10408258 HAS SOPS 10408258 HAS SOUS 6920452 HAS SOUPS 6920452 WITH SCORE 6930860.258
AT ITER 7209 NEW BEST:: SOT 48528678 SOS 10406730 HAS SOPS 10406730 HAS SOUS 6918927 HAS SOUPS 6918927 WITH SCORE 6929333.73
AT ITER 7223 NEW BEST:: SOT 48527860 SOS 10406258 HAS SOPS 10406258 HAS SOUS 6918464 HAS SOUPS 6918464 WITH SCORE 6928870.258
AT ITER 7245 NEW BEST:: SOT 48526862 SOS 10405499 HAS SOPS 10405499 HAS SOUS 6917705 HAS SOUPS 6917705 WITH SCORE 6928110.499
AT ITER 7265 NEW BEST:: SOT 48523196 SOS 10400611 HAS SOPS 10400611 HAS SOUS 6912817 HAS SOUPS 6912817 WITH SCORE 6923217.611
AT ITER 7274 NEW BEST:: SOT 48523102 SOS 10401125 HAS SOPS 10401125 HAS SOUS 6912629 HAS SOUPS 6912629 WITH SCORE 6923030.125
AT ITER 7299 NEW BEST:: SOT 48521878 SOS 10400207 HAS SOPS 10400207 HAS SOUS 6911813 HAS SOUPS 6911813 WITH SCORE 6922213.207
AT ITER 7334 NEW BEST:: SOT 48522459 SOS 10399011 HAS SOPS 10399011 HAS SOUS 6910617 HAS SOUPS 6910617 WITH SCORE 6921016.011
AT ITER 7365 NEW BEST:: SOT 48520334 SOS 10394761 HAS SOPS 10394761 HAS SOUS 6907897 HAS SOUPS 6907897 WITH SCORE 6918291.761
AT ITER 7370 NEW BEST:: SOT 48520277 SOS 10394647 HAS SOPS 10394647 HAS SOUS 6907783 HAS SOUPS 6907783 WITH SCORE 6918177.647
AT ITER 7383 NEW BEST:: SOT 48520277 SOS 10397058 HAS SOPS 10397058 HAS SOUS 6906977 HAS SOUPS 6906977 WITH SCORE 6917374.058
AT ITER 7414 NEW BEST:: SOT 48519382 SOS 10396249 HAS SOPS 10396249 HAS SOUS 6905146 HAS SOUPS 6905146 WITH SCORE 6915542.249
AT ITER 7431 NEW BEST:: SOT 48519072 SOS 10395811 HAS SOPS 10395811 HAS SOUS 6904708 HAS SOUPS 6904708 WITH SCORE 6915103.811
AT ITER 7446 NEW BEST:: SOT 48518292 SOS 10383091 HAS SOPS 10383091 HAS SOUS 6903148 HAS SOUPS 6903148 WITH SCORE 6913531.091
AT ITER 7462 NEW BEST:: SOT 48518292 SOS 10382943 HAS SOPS 10382943 HAS SOUS 6903074 HAS SOUPS 6903074 WITH SCORE 6913456.943
AT ITER 7469 NEW BEST:: SOT 48518044 SOS 10382447 HAS SOPS 10382447 HAS SOUS 6902713 HAS SOUPS 6902713 WITH SCORE 6913095.447
AT ITER 7472 NEW BEST:: SOT 48516938 SOS 10384157 HAS SOPS 10384157 HAS SOUS 6902479 HAS SOUPS 6902479 WITH SCORE 6912863.157
AT ITER 7478 NEW BEST:: SOT 48516938 SOS 10384356 HAS SOPS 10384356 HAS SOUS 6902444 HAS SOUPS 6902444 WITH SCORE 6912828.356
AT ITER 7492 NEW BEST:: SOT 48516367 SOS 10321803 HAS SOPS 10321803 HAS SOUS 6901873 HAS SOUPS 6901873 WITH SCORE 6912194.803
AT ITER 7507 NEW BEST:: SOT 48516091 SOS 10321665 HAS SOPS 10321665 HAS SOUS 6901735 HAS SOUPS 6901735 WITH SCORE 6912056.665
AT ITER 7513 NEW BEST:: SOT 48515939 SOS 10321565 HAS SOPS 10321565 HAS SOUS 6901611 HAS SOUPS 6901611 WITH SCORE 6911932.565
AT ITER 7524 NEW BEST:: SOT 48514376 SOS 10319998 HAS SOPS 10319998 HAS SOUS 6900047 HAS SOUPS 6900047 WITH SCORE 6910366.998
AT ITER 7528 NEW BEST:: SOT 48512928 SOS 10315933 HAS SOPS 10315933 HAS SOUS 6896477 HAS SOUPS 6896477 WITH SCORE 6906792.933
AT ITER 7540 NEW BEST:: SOT 48512928 SOS 10316688 HAS SOPS 10316688 HAS SOUS 6896476 HAS SOUPS 6896476 WITH SCORE 6906792.688
AT ITER 7544 NEW BEST:: SOT 48512368 SOS 10315949 HAS SOPS 10315949 HAS SOUS 6895916 HAS SOUPS 6895916 WITH SCORE 6906231.949
AT ITER 7545 NEW BEST:: SOT 48512287 SOS 10316030 HAS SOPS 10316030 HAS SOUS 6895835 HAS SOUPS 6895835 WITH SCORE 6906151.03
AT ITER 7557 NEW BEST:: SOT 48510091 SOS 10313333 HAS SOPS 10313333 HAS SOUS 6893739 HAS SOUPS 6893739 WITH SCORE 6904052.333
AT ITER 7580 NEW BEST:: SOT 48510091 SOS 10313333 HAS SOPS 10313333 HAS SOUS 6893140 HAS SOUPS 6893140 WITH SCORE 6903453.333
AT ITER 7584 NEW BEST:: SOT 48510091 SOS 10315139 HAS SOPS 10315139 HAS SOUS 6893138 HAS SOUPS 6893138 WITH SCORE 6903453.139
AT ITER 7611 NEW BEST:: SOT 48510091 SOS 10315272 HAS SOPS 10315272 HAS SOUS 6892916 HAS SOUPS 6892916 WITH SCORE 6903231.272
AT ITER 7641 NEW BEST:: SOT 48507286 SOS 10311694 HAS SOPS 10311694 HAS SOUS 6889338 HAS SOUPS 6889338 WITH SCORE 6899649.694
AT ITER 7673 NEW BEST:: SOT 48507243 SOS 10317152 HAS SOPS 10317152 HAS SOUS 6889252 HAS SOUPS 6889252 WITH SCORE 6899569.152
AT ITER 7684 NEW BEST:: SOT 48507243 SOS 10317441 HAS SOPS 10317441 HAS SOUS 6888692 HAS SOUPS 6888692 WITH SCORE 6899009.441
AT ITER 7746 NEW BEST:: SOT 48507177 SOS 10317309 HAS SOPS 10317309 HAS SOUS 6888560 HAS SOUPS 6888560 WITH SCORE 6898877.309
AT ITER 7751 NEW BEST:: SOT 48507176 SOS 10316368 HAS SOPS 10316368 HAS SOUS 6887619 HAS SOUPS 6887619 WITH SCORE 6897935.368
AT ITER 7766 NEW BEST:: SOT 48507175 SOS 10316117 HAS SOPS 10316117 HAS SOUS 6887368 HAS SOUPS 6887368 WITH SCORE 6897684.117
AT ITER 7795 NEW BEST:: SOT 48507038 SOS 10315980 HAS SOPS 10315980 HAS SOUS 6887231 HAS SOUPS 6887231 WITH SCORE 6897546.98
AT ITER 7797 NEW BEST:: SOT 48505519 SOS 10314461 HAS SOPS 10314461 HAS SOUS 6885712 HAS SOUPS 6885712 WITH SCORE 6896026.461
AT ITER 7830 NEW BEST:: SOT 48504411 SOS 10311209 HAS SOPS 10311209 HAS SOUS 6882487 HAS SOUPS 6882487 WITH SCORE 6892798.209
AT ITER 7833 NEW BEST:: SOT 48504078 SOS 10311205 HAS SOPS 10311205 HAS SOUS 6882486 HAS SOUPS 6882486 WITH SCORE 6892797.205
AT ITER 7840 NEW BEST:: SOT 48504078 SOS 10311169 HAS SOPS 10311169 HAS SOUS 6882450 HAS SOUPS 6882450 WITH SCORE 6892761.169
AT ITER 7841 NEW BEST:: SOT 48503795 SOS 10310603 HAS SOPS 10310603 HAS SOUS 6881263 HAS SOUPS 6881263 WITH SCORE 6891573.603
AT ITER 7855 NEW BEST:: SOT 48502328 SOS 10308948 HAS SOPS 10308948 HAS SOUS 6880440 HAS SOUPS 6880440 WITH SCORE 6890748.948
AT ITER 7858 NEW BEST:: SOT 48502661 SOS 10309614 HAS SOPS 10309614 HAS SOUS 6880294 HAS SOUPS 6880294 WITH SCORE 6890603.614
AT ITER 7862 NEW BEST:: SOT 48502647 SOS 10309586 HAS SOPS 10309586 HAS SOUS 6880266 HAS SOUPS 6880266 WITH SCORE 6890575.586
AT ITER 7878 NEW BEST:: SOT 48501861 SOS 10309523 HAS SOPS 10309523 HAS SOUS 6880203 HAS SOUPS 6880203 WITH SCORE 6890512.523
AT ITER 7928 NEW BEST:: SOT 48500976 SOS 10307753 HAS SOPS 10307753 HAS SOUS 6878904 HAS SOUPS 6878904 WITH SCORE 6889211.753
AT ITER 7938 NEW BEST:: SOT 48500958 SOS 10307717 HAS SOPS 10307717 HAS SOUS 6878868 HAS SOUPS 6878868 WITH SCORE 6889175.717
AT ITER 7943 NEW BEST:: SOT 48500690 SOS 10307180 HAS SOPS 10307180 HAS SOUS 6878331 HAS SOUPS 6878331 WITH SCORE 6888638.18
AT ITER 7964 NEW BEST:: SOT 48500461 SOS 10306035 HAS SOPS 10306035 HAS SOUS 6877873 HAS SOUPS 6877873 WITH SCORE 6888179.035
AT ITER 7965 NEW BEST:: SOT 48495293 SOS 10303595 HAS SOPS 10303595 HAS SOUS 6875653 HAS SOUPS 6875653 WITH SCORE 6885956.595
AT ITER 8015 NEW BEST:: SOT 48495020 SOS 10303049 HAS SOPS 10303049 HAS SOUS 6875107 HAS SOUPS 6875107 WITH SCORE 6885410.049
AT ITER 8026 NEW BEST:: SOT 48494237 SOS 10303039 HAS SOPS 10303039 HAS SOUS 6874710 HAS SOUPS 6874710 WITH SCORE 6885013.039
AT ITER 8056 NEW BEST:: SOT 48493970 SOS 10302505 HAS SOPS 10302505 HAS SOUS 6874443 HAS SOUPS 6874443 WITH SCORE 6884745.505
AT ITER 8058 NEW BEST:: SOT 48493683 SOS 10301931 HAS SOPS 10301931 HAS SOUS 6873869 HAS SOUPS 6873869 WITH SCORE 6884170.931
AT ITER 8074 NEW BEST:: SOT 48493909 SOS 10302383 HAS SOPS 10302383 HAS SOUS 6872289 HAS SOUPS 6872289 WITH SCORE 6882591.383
AT ITER 8081 NEW BEST:: SOT 48493909 SOS 10301801 HAS SOPS 10301801 HAS SOUS 6872095 HAS SOUPS 6872095 WITH SCORE 6882396.801
AT ITER 8103 NEW BEST:: SOT 48493909 SOS 10301801 HAS SOPS 10301801 HAS SOUS 6871616 HAS SOUPS 6871616 WITH SCORE 6881917.801
AT ITER 8118 NEW BEST:: SOT 48493909 SOS 10301800 HAS SOPS 10301800 HAS SOUS 6871615 HAS SOUPS 6871615 WITH SCORE 6881916.8
AT ITER 8122 NEW BEST:: SOT 48493908 SOS 10301798 HAS SOPS 10301798 HAS SOUS 6871613 HAS SOUPS 6871613 WITH SCORE 6881914.798
AT ITER 8138 NEW BEST:: SOT 48493868 SOS 10301718 HAS SOPS 10301718 HAS SOUS 6871533 HAS SOUPS 6871533 WITH SCORE 6881834.718
AT ITER 8147 NEW BEST:: SOT 48493761 SOS 10301504 HAS SOPS 10301504 HAS SOUS 6871319 HAS SOUPS 6871319 WITH SCORE 6881620.504
AT ITER 8163 NEW BEST:: SOT 48493450 SOS 10301811 HAS SOPS 10301811 HAS SOUS 6871318 HAS SOUPS 6871318 WITH SCORE 6881619.811
AT ITER 8217 NEW BEST:: SOT 48493400 SOS 10302032 HAS SOPS 10302032 HAS SOUS 6871266 HAS SOUPS 6871266 WITH SCORE 6881568.032
AT ITER 8219 NEW BEST:: SOT 48493267 SOS 10301766 HAS SOPS 10301766 HAS SOUS 6871000 HAS SOUPS 6871000 WITH SCORE 6881301.766
AT ITER 8256 NEW BEST:: SOT 48492941 SOS 10301114 HAS SOPS 10301114 HAS SOUS 6870348 HAS SOUPS 6870348 WITH SCORE 6880649.114
AT ITER 8262 NEW BEST:: SOT 48492702 SOS 10300636 HAS SOPS 10300636 HAS SOUS 6869870 HAS SOUPS 6869870 WITH SCORE 6880170.636
AT ITER 8278 NEW BEST:: SOT 48492578 SOS 10300511 HAS SOPS 10300511 HAS SOUS 6869745 HAS SOUPS 6869745 WITH SCORE 6880045.511
AT ITER 8279 NEW BEST:: SOT 48492379 SOS 10300358 HAS SOPS 10300358 HAS SOUS 6869592 HAS SOUPS 6869592 WITH SCORE 6879892.358
AT ITER 8283 NEW BEST:: SOT 48492192 SOS 10300171 HAS SOPS 10300171 HAS SOUS 6869405 HAS SOUPS 6869405 WITH SCORE 6879705.171
AT ITER 8399 NEW BEST:: SOT 48487793 SOS 10298949 HAS SOPS 10298949 HAS SOUS 6867075 HAS SOUPS 6867075 WITH SCORE 6877373.949
AT ITER 8431 NEW BEST:: SOT 48487557 SOS 10298477 HAS SOPS 10298477 HAS SOUS 6866603 HAS SOUPS 6866603 WITH SCORE 6876901.477
AT ITER 8457 NEW BEST:: SOT 48487557 SOS 10301894 HAS SOPS 10301894 HAS SOUS 6866115 HAS SOUPS 6866115 WITH SCORE 6876416.894
AT ITER 8480 NEW BEST:: SOT 48487161 SOS 10301102 HAS SOPS 10301102 HAS SOUS 6865013 HAS SOUPS 6865013 WITH SCORE 6875314.102
AT ITER 8523 NEW BEST:: SOT 48485847 SOS 10301522 HAS SOPS 10301522 HAS SOUS 6864695 HAS SOUPS 6864695 WITH SCORE 6874996.522
AT ITER 8525 NEW BEST:: SOT 48485847 SOS 10302293 HAS SOPS 10302293 HAS SOUS 6864694 HAS SOUPS 6864694 WITH SCORE 6874996.293
AT ITER 8535 NEW BEST:: SOT 48485846 SOS 10302291 HAS SOPS 10302291 HAS SOUS 6864692 HAS SOUPS 6864692 WITH SCORE 6874994.291
AT ITER 8546 NEW BEST:: SOT 48485930 SOS 10305555 HAS SOPS 10305555 HAS SOUS 6863828 HAS SOUPS 6863828 WITH SCORE 6874133.555
AT ITER 8596 NEW BEST:: SOT 48484341 SOS 10302377 HAS SOPS 10302377 HAS SOUS 6860650 HAS SOUPS 6860650 WITH SCORE 6870952.377
AT ITER 8603 NEW BEST:: SOT 48483823 SOS 10301341 HAS SOPS 10301341 HAS SOUS 6859759 HAS SOUPS 6859759 WITH SCORE 6870060.341
AT ITER 8615 NEW BEST:: SOT 48483773 SOS 10301241 HAS SOPS 10301241 HAS SOUS 6859659 HAS SOUPS 6859659 WITH SCORE 6869960.241
AT ITER 8625 NEW BEST:: SOT 48482930 SOS 10300504 HAS SOPS 10300504 HAS SOUS 6858925 HAS SOUPS 6858925 WITH SCORE 6869225.504
AT ITER 8626 NEW BEST:: SOT 48481598 SOS 10299168 HAS SOPS 10299168 HAS SOUS 6857592 HAS SOUPS 6857592 WITH SCORE 6867891.168
AT ITER 8663 NEW BEST:: SOT 48481598 SOS 10299816 HAS SOPS 10299816 HAS SOUS 6857591 HAS SOUPS 6857591 WITH SCORE 6867890.816
AT ITER 8678 NEW BEST:: SOT 48481485 SOS 10299590 HAS SOPS 10299590 HAS SOUS 6856919 HAS SOUPS 6856919 WITH SCORE 6867218.59
AT ITER 8699 NEW BEST:: SOT 48481335 SOS 10299290 HAS SOPS 10299290 HAS SOUS 6856619 HAS SOUPS 6856619 WITH SCORE 6866918.29
AT ITER 8720 NEW BEST:: SOT 48480206 SOS 10297032 HAS SOPS 10297032 HAS SOUS 6854142 HAS SOUPS 6854142 WITH SCORE 6864439.032
AT ITER 8727 NEW BEST:: SOT 48480198 SOS 10297016 HAS SOPS 10297016 HAS SOUS 6854126 HAS SOUPS 6854126 WITH SCORE 6864423.016
AT ITER 8729 NEW BEST:: SOT 48480582 SOS 10307197 HAS SOPS 10307197 HAS SOUS 6853846 HAS SOUPS 6853846 WITH SCORE 6864153.197
AT ITER 8735 NEW BEST:: SOT 48479891 SOS 10303742 HAS SOPS 10303742 HAS SOUS 6852464 HAS SOUPS 6852464 WITH SCORE 6862767.742
AT ITER 8758 NEW BEST:: SOT 48479822 SOS 10301978 HAS SOPS 10301978 HAS SOUS 6852326 HAS SOUPS 6852326 WITH SCORE 6862627.978
AT ITER 8781 NEW BEST:: SOT 48479455 SOS 10300877 HAS SOPS 10300877 HAS SOUS 6851592 HAS SOUPS 6851592 WITH SCORE 6861892.877
AT ITER 8783 NEW BEST:: SOT 48479125 SOS 10300032 HAS SOPS 10300032 HAS SOUS 6850747 HAS SOUPS 6850747 WITH SCORE 6861047.032
AT ITER 8794 NEW BEST:: SOT 48479105 SOS 10299932 HAS SOPS 10299932 HAS SOUS 6850707 HAS SOUPS 6850707 WITH SCORE 6861006.932
AT ITER 8839 NEW BEST:: SOT 48478959 SOS 10299786 HAS SOPS 10299786 HAS SOUS 6850561 HAS SOUPS 6850561 WITH SCORE 6860860.786
AT ITER 8854 NEW BEST:: SOT 48477685 SOS 10298510 HAS SOPS 10298510 HAS SOUS 6850485 HAS SOUPS 6850485 WITH SCORE 6860783.51
AT ITER 8858 NEW BEST:: SOT 48475007 SOS 10293406 HAS SOPS 10293406 HAS SOUS 6847255 HAS SOUPS 6847255 WITH SCORE 6857548.406
AT ITER 8872 NEW BEST:: SOT 48475123 SOS 10293638 HAS SOPS 10293638 HAS SOUS 6847060 HAS SOUPS 6847060 WITH SCORE 6857353.638
AT ITER 8914 NEW BEST:: SOT 48475071 SOS 10293534 HAS SOPS 10293534 HAS SOUS 6846956 HAS SOUPS 6846956 WITH SCORE 6857249.534
AT ITER 8939 NEW BEST:: SOT 48474684 SOS 10302830 HAS SOPS 10302830 HAS SOUS 6846181 HAS SOUPS 6846181 WITH SCORE 6856483.83
AT ITER 8977 NEW BEST:: SOT 48474684 SOS 10302202 HAS SOPS 10302202 HAS SOUS 6846181 HAS SOUPS 6846181 WITH SCORE 6856483.202
AT ITER 8981 NEW BEST:: SOT 48474294 SOS 10301423 HAS SOPS 10301423 HAS SOUS 6845402 HAS SOUPS 6845402 WITH SCORE 6855703.423
AT ITER 8986 NEW BEST:: SOT 48474183 SOS 10301626 HAS SOPS 10301626 HAS SOUS 6845374 HAS SOUPS 6845374 WITH SCORE 6855675.626
AT ITER 8994 NEW BEST:: SOT 48474183 SOS 10301542 HAS SOPS 10301542 HAS SOUS 6845374 HAS SOUPS 6845374 WITH SCORE 6855675.542
AT ITER 9019 NEW BEST:: SOT 48474132 SOS 10301539 HAS SOPS 10301539 HAS SOUS 6845373 HAS SOUPS 6845373 WITH SCORE 6855674.539
AT ITER 9031 NEW BEST:: SOT 48473632 SOS 10317039 HAS SOPS 10317039 HAS SOUS 6844373 HAS SOUPS 6844373 WITH SCORE 6854690.039
AT ITER 9036 NEW BEST:: SOT 48473317 SOS 10316724 HAS SOPS 10316724 HAS SOUS 6844373 HAS SOUPS 6844373 WITH SCORE 6854689.724
AT ITER 9039 NEW BEST:: SOT 48474114 SOS 10318318 HAS SOPS 10318318 HAS SOUS 6844231 HAS SOUPS 6844231 WITH SCORE 6854549.318
AT ITER 9090 NEW BEST:: SOT 48473224 SOS 10319464 HAS SOPS 10319464 HAS SOUS 6843341 HAS SOUPS 6843341 WITH SCORE 6853660.464
AT ITER 9094 NEW BEST:: SOT 48472823 SOS 10318662 HAS SOPS 10318662 HAS SOUS 6842539 HAS SOUPS 6842539 WITH SCORE 6852857.662
AT ITER 9100 NEW BEST:: SOT 48472016 SOS 10314627 HAS SOPS 10314627 HAS SOUS 6840925 HAS SOUPS 6840925 WITH SCORE 6851239.627
AT ITER 9137 NEW BEST:: SOT 48472016 SOS 10314389 HAS SOPS 10314389 HAS SOUS 6840687 HAS SOUPS 6840687 WITH SCORE 6851001.389
AT ITER 9139 NEW BEST:: SOT 48471680 SOS 10313717 HAS SOPS 10313717 HAS SOUS 6839884 HAS SOUPS 6839884 WITH SCORE 6850197.717
AT ITER 9195 NEW BEST:: SOT 48471167 SOS 10314011 HAS SOPS 10314011 HAS SOUS 6839517 HAS SOUPS 6839517 WITH SCORE 6849831.011
AT ITER 9213 NEW BEST:: SOT 48471146 SOS 10313969 HAS SOPS 10313969 HAS SOUS 6839496 HAS SOUPS 6839496 WITH SCORE 6849809.969
AT ITER 9220 NEW BEST:: SOT 48471179 SOS 10313505 HAS SOPS 10313505 HAS SOUS 6839032 HAS SOUPS 6839032 WITH SCORE 6849345.505
AT ITER 9237 NEW BEST:: SOT 48471095 SOS 10313337 HAS SOPS 10313337 HAS SOUS 6838511 HAS SOUPS 6838511 WITH SCORE 6848824.337
AT ITER 9277 NEW BEST:: SOT 48470469 SOS 10312085 HAS SOPS 10312085 HAS SOUS 6837259 HAS SOUPS 6837259 WITH SCORE 6847571.085
AT ITER 9290 NEW BEST:: SOT 48469784 SOS 10311396 HAS SOPS 10311396 HAS SOUS 6836573 HAS SOUPS 6836573 WITH SCORE 6846884.396
AT ITER 9323 NEW BEST:: SOT 48469784 SOS 10311191 HAS SOPS 10311191 HAS SOUS 6836368 HAS SOUPS 6836368 WITH SCORE 6846679.191
AT ITER 9333 NEW BEST:: SOT 48469648 SOS 10310919 HAS SOPS 10310919 HAS SOUS 6836232 HAS SOUPS 6836232 WITH SCORE 6846542.919
AT ITER 9334 NEW BEST:: SOT 48469434 SOS 10310491 HAS SOPS 10310491 HAS SOUS 6835804 HAS SOUPS 6835804 WITH SCORE 6846114.491
AT ITER 9338 NEW BEST:: SOT 48468587 SOS 10309644 HAS SOPS 10309644 HAS SOUS 6834110 HAS SOUPS 6834110 WITH SCORE 6844419.644
AT ITER 9343 NEW BEST:: SOT 48467974 SOS 10308418 HAS SOPS 10308418 HAS SOUS 6832884 HAS SOUPS 6832884 WITH SCORE 6843192.418
AT ITER 9352 NEW BEST:: SOT 48467473 SOS 10307416 HAS SOPS 10307416 HAS SOUS 6831882 HAS SOUPS 6831882 WITH SCORE 6842189.416
AT ITER 9368 NEW BEST:: SOT 48466672 SOS 10307373 HAS SOPS 10307373 HAS SOUS 6831236 HAS SOUPS 6831236 WITH SCORE 6841543.373
AT ITER 9398 NEW BEST:: SOT 48466672 SOS 10307373 HAS SOPS 10307373 HAS SOUS 6830560 HAS SOUPS 6830560 WITH SCORE 6840867.373
AT ITER 9422 NEW BEST:: SOT 48465859 SOS 10303973 HAS SOPS 10303973 HAS SOUS 6829733 HAS SOUPS 6829733 WITH SCORE 6840036.973
AT ITER 9426 NEW BEST:: SOT 48465530 SOS 10303315 HAS SOPS 10303315 HAS SOUS 6829075 HAS SOUPS 6829075 WITH SCORE 6839378.315
AT ITER 9498 NEW BEST:: SOT 48465446 SOS 10301908 HAS SOPS 10301908 HAS SOUS 6828907 HAS SOUPS 6828907 WITH SCORE 6839208.908
AT ITER 9565 NEW BEST:: SOT 48463644 SOS 10301178 HAS SOPS 10301178 HAS SOUS 6828002 HAS SOUPS 6828002 WITH SCORE 6838303.178
AT ITER 9574 NEW BEST:: SOT 48463032 SOS 10299648 HAS SOPS 10299648 HAS SOUS 6827390 HAS SOUPS 6827390 WITH SCORE 6837689.648
AT ITER 9595 NEW BEST:: SOT 48462457 SOS 10299551 HAS SOPS 10299551 HAS SOUS 6827166 HAS SOUPS 6827166 WITH SCORE 6837465.551
AT ITER 9598 NEW BEST:: SOT 48462455 SOS 10299547 HAS SOPS 10299547 HAS SOUS 6827166 HAS SOUPS 6827166 WITH SCORE 6837465.547
AT ITER 9626 NEW BEST:: SOT 48461054 SOS 10298146 HAS SOPS 10298146 HAS SOUS 6825765 HAS SOUPS 6825765 WITH SCORE 6836063.146
AT ITER 9628 NEW BEST:: SOT 48460641 SOS 10297320 HAS SOPS 10297320 HAS SOUS 6825352 HAS SOUPS 6825352 WITH SCORE 6835649.32
AT ITER 9631 NEW BEST:: SOT 48459674 SOS 10297902 HAS SOPS 10297902 HAS SOUS 6825237 HAS SOUPS 6825237 WITH SCORE 6835534.902
AT ITER 9638 NEW BEST:: SOT 48458773 SOS 10343346 HAS SOPS 10343346 HAS SOUS 6823434 HAS SOUPS 6823434 WITH SCORE 6833777.346
AT ITER 9642 NEW BEST:: SOT 48458306 SOS 10342719 HAS SOPS 10342719 HAS SOUS 6822955 HAS SOUPS 6822955 WITH SCORE 6833297.719
AT ITER 9651 NEW BEST:: SOT 48458305 SOS 10342717 HAS SOPS 10342717 HAS SOUS 6822953 HAS SOUPS 6822953 WITH SCORE 6833295.717
AT ITER 9652 NEW BEST:: SOT 48459136 SOS 10342165 HAS SOPS 10342165 HAS SOUS 6822653 HAS SOUPS 6822653 WITH SCORE 6832995.165
AT ITER 9665 NEW BEST:: SOT 48458911 SOS 10341715 HAS SOPS 10341715 HAS SOUS 6822203 HAS SOUPS 6822203 WITH SCORE 6832544.715
AT ITER 9679 NEW BEST:: SOT 48458105 SOS 10340947 HAS SOPS 10340947 HAS SOUS 6821435 HAS SOUPS 6821435 WITH SCORE 6831775.947
AT ITER 9721 NEW BEST:: SOT 48458023 SOS 10340783 HAS SOPS 10340783 HAS SOUS 6821372 HAS SOUPS 6821372 WITH SCORE 6831712.783
AT ITER 9788 NEW BEST:: SOT 48458022 SOS 10340781 HAS SOPS 10340781 HAS SOUS 6821053 HAS SOUPS 6821053 WITH SCORE 6831393.781
AT ITER 9805 NEW BEST:: SOT 48457319 SOS 10339375 HAS SOPS 10339375 HAS SOUS 6820143 HAS SOUPS 6820143 WITH SCORE 6830482.375
AT ITER 9811 NEW BEST:: SOT 48457319 SOS 10340197 HAS SOPS 10340197 HAS SOUS 6820142 HAS SOUPS 6820142 WITH SCORE 6830482.197
AT ITER 9812 NEW BEST:: SOT 48457319 SOS 10342396 HAS SOPS 10342396 HAS SOUS 6819764 HAS SOUPS 6819764 WITH SCORE 6830106.396
AT ITER 9875 NEW BEST:: SOT 48457009 SOS 10342086 HAS SOPS 10342086 HAS SOUS 6819454 HAS SOUPS 6819454 WITH SCORE 6829796.086
AT ITER 9890 NEW BEST:: SOT 48457008 SOS 10342085 HAS SOPS 10342085 HAS SOUS 6819453 HAS SOUPS 6819453 WITH SCORE 6829795.085
AT ITER 9894 NEW BEST:: SOT 48457008 SOS 10341910 HAS SOPS 10341910 HAS SOUS 6819278 HAS SOUPS 6819278 WITH SCORE 6829619.91
AT ITER 9910 NEW BEST:: SOT 48456708 SOS 10341615 HAS SOPS 10341615 HAS SOUS 6818829 HAS SOUPS 6818829 WITH SCORE 6829170.615
AT ITER 9925 NEW BEST:: SOT 48456268 SOS 10342481 HAS SOPS 10342481 HAS SOUS 6818387 HAS SOUPS 6818387 WITH SCORE 6828729.481
AT ITER 9960 NEW BEST:: SOT 48454975 SOS 10339895 HAS SOPS 10339895 HAS SOUS 6815801 HAS SOUPS 6815801 WITH SCORE 6826140.895
AT ITER 9972 NEW BEST:: SOT 48453947 SOS 10331334 HAS SOPS 10331334 HAS SOUS 6812676 HAS SOUPS 6812676 WITH SCORE 6823007.334
AT ITER 9976 NEW BEST:: SOT 48453329 SOS 10330716 HAS SOPS 10330716 HAS SOUS 6812058 HAS SOUPS 6812058 WITH SCORE 6822388.716
AT ITER 9981 NEW BEST:: SOT 48452993 SOS 10330044 HAS SOPS 10330044 HAS SOUS 6811386 HAS SOUPS 6811386 WITH SCORE 6821716.044
AT ITER 9999 NEW BEST:: SOT 48452659 SOS 10330374 HAS SOPS 10330374 HAS SOUS 6810717 HAS SOUPS 6810717 WITH SCORE 6821047.374
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15428420 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149468 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="DLCflexbar-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"
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 DLCflexbar-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 r099-tall-167814472500536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-3b.tgz
mv DLCflexbar-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 '
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 ;