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.r003-oct2-167813590500152.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590500152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 5.9K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 1678469111600

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=ASLink-PT-09b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 09b
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: 4014 places, 4932 transitions, 14960 arcs.
AT ITER 0 NEW BEST:: SOT 10464167 SOS 1698605 HAS SOPS 1698605 HAS SOUS 1376319 HAS SOUPS 1376319 WITH SCORE 1378017.605
AT ITER 3 NEW BEST:: SOT 10464036 SOS 1698343 HAS SOPS 1698343 HAS SOUS 1376057 HAS SOUPS 1376057 WITH SCORE 1377755.343
AT ITER 18 NEW BEST:: SOT 10464036 SOS 1698180 HAS SOPS 1698180 HAS SOUS 1376056 HAS SOUPS 1376056 WITH SCORE 1377754.18
AT ITER 41 NEW BEST:: SOT 10463785 SOS 1697678 HAS SOPS 1697678 HAS SOUS 1375804 HAS SOUPS 1375804 WITH SCORE 1377501.678
AT ITER 50 NEW BEST:: SOT 10463785 SOS 1697522 HAS SOPS 1697522 HAS SOUS 1375804 HAS SOUPS 1375804 WITH SCORE 1377501.522
AT ITER 79 NEW BEST:: SOT 10463785 SOS 1697483 HAS SOPS 1697483 HAS SOUS 1375804 HAS SOUPS 1375804 WITH SCORE 1377501.483
AT ITER 111 NEW BEST:: SOT 10463782 SOS 1697480 HAS SOPS 1697480 HAS SOUS 1375798 HAS SOUPS 1375798 WITH SCORE 1377495.48
AT ITER 151 NEW BEST:: SOT 10463782 SOS 1697400 HAS SOPS 1697400 HAS SOUS 1375718 HAS SOUPS 1375718 WITH SCORE 1377415.4
AT ITER 157 NEW BEST:: SOT 10463782 SOS 1697399 HAS SOPS 1697399 HAS SOUS 1375717 HAS SOUPS 1375717 WITH SCORE 1377414.399
AT ITER 169 NEW BEST:: SOT 10463782 SOS 1697338 HAS SOPS 1697338 HAS SOUS 1375656 HAS SOUPS 1375656 WITH SCORE 1377353.338
AT ITER 184 NEW BEST:: SOT 10463781 SOS 1697336 HAS SOPS 1697336 HAS SOUS 1375654 HAS SOUPS 1375654 WITH SCORE 1377351.336
AT ITER 238 NEW BEST:: SOT 10463732 SOS 1697217 HAS SOPS 1697217 HAS SOUS 1375605 HAS SOUPS 1375605 WITH SCORE 1377302.217
AT ITER 260 NEW BEST:: SOT 10462656 SOS 1696587 HAS SOPS 1696587 HAS SOUS 1374858 HAS SOUPS 1374858 WITH SCORE 1376554.587
AT ITER 278 NEW BEST:: SOT 10462314 SOS 1696241 HAS SOPS 1696241 HAS SOUS 1374512 HAS SOUPS 1374512 WITH SCORE 1376208.241
AT ITER 288 NEW BEST:: SOT 10461865 SOS 1696064 HAS SOPS 1696064 HAS SOUS 1374335 HAS SOUPS 1374335 WITH SCORE 1376031.064
AT ITER 302 NEW BEST:: SOT 10461865 SOS 1696058 HAS SOPS 1696058 HAS SOUS 1374335 HAS SOUPS 1374335 WITH SCORE 1376031.058
AT ITER 324 NEW BEST:: SOT 10461865 SOS 1695973 HAS SOPS 1695973 HAS SOUS 1374334 HAS SOUPS 1374334 WITH SCORE 1376029.973
AT ITER 335 NEW BEST:: SOT 10461785 SOS 1695541 HAS SOPS 1695541 HAS SOUS 1374174 HAS SOUPS 1374174 WITH SCORE 1375869.541
AT ITER 336 NEW BEST:: SOT 10461785 SOS 1695427 HAS SOPS 1695427 HAS SOUS 1374060 HAS SOUPS 1374060 WITH SCORE 1375755.427
AT ITER 344 NEW BEST:: SOT 10461527 SOS 1695233 HAS SOPS 1695233 HAS SOUS 1373544 HAS SOUPS 1373544 WITH SCORE 1375239.233
AT ITER 370 NEW BEST:: SOT 10461192 SOS 1695901 HAS SOPS 1695901 HAS SOUS 1373303 HAS SOUPS 1373303 WITH SCORE 1374998.901
AT ITER 379 NEW BEST:: SOT 10461192 SOS 1695815 HAS SOPS 1695815 HAS SOUS 1373303 HAS SOUPS 1373303 WITH SCORE 1374998.815
AT ITER 442 NEW BEST:: SOT 10461192 SOS 1695190 HAS SOPS 1695190 HAS SOUS 1373119 HAS SOUPS 1373119 WITH SCORE 1374814.19
AT ITER 444 NEW BEST:: SOT 10460771 SOS 1694758 HAS SOPS 1694758 HAS SOUS 1372687 HAS SOUPS 1372687 WITH SCORE 1374381.758
AT ITER 447 NEW BEST:: SOT 10460771 SOS 1694552 HAS SOPS 1694552 HAS SOUS 1372481 HAS SOUPS 1372481 WITH SCORE 1374175.552
AT ITER 466 NEW BEST:: SOT 10458661 SOS 1693803 HAS SOPS 1693803 HAS SOUS 1370821 HAS SOUPS 1370821 WITH SCORE 1372514.803
AT ITER 469 NEW BEST:: SOT 10458467 SOS 1693193 HAS SOPS 1693193 HAS SOUS 1370355 HAS SOUPS 1370355 WITH SCORE 1372048.193
AT ITER 476 NEW BEST:: SOT 10456749 SOS 1699195 HAS SOPS 1699195 HAS SOUS 1369991 HAS SOUPS 1369991 WITH SCORE 1371690.195
AT ITER 480 NEW BEST:: SOT 10456749 SOS 1699043 HAS SOPS 1699043 HAS SOUS 1369839 HAS SOUPS 1369839 WITH SCORE 1371538.043
AT ITER 490 NEW BEST:: SOT 10456725 SOS 1699007 HAS SOPS 1699007 HAS SOUS 1369803 HAS SOUPS 1369803 WITH SCORE 1371502.007
AT ITER 497 NEW BEST:: SOT 10456588 SOS 1698733 HAS SOPS 1698733 HAS SOUS 1369413 HAS SOUPS 1369413 WITH SCORE 1371111.733
AT ITER 498 NEW BEST:: SOT 10456526 SOS 1698609 HAS SOPS 1698609 HAS SOUS 1369288 HAS SOUPS 1369288 WITH SCORE 1370986.609
AT ITER 506 NEW BEST:: SOT 10456105 SOS 1698188 HAS SOPS 1698188 HAS SOUS 1368859 HAS SOUPS 1368859 WITH SCORE 1370557.188
AT ITER 519 NEW BEST:: SOT 10455125 SOS 1697578 HAS SOPS 1697578 HAS SOUS 1368063 HAS SOUPS 1368063 WITH SCORE 1369760.578
AT ITER 524 NEW BEST:: SOT 10454321 SOS 1697157 HAS SOPS 1697157 HAS SOUS 1367362 HAS SOUPS 1367362 WITH SCORE 1369059.157
AT ITER 542 NEW BEST:: SOT 10454321 SOS 1697156 HAS SOPS 1697156 HAS SOUS 1367361 HAS SOUPS 1367361 WITH SCORE 1369058.156
AT ITER 554 NEW BEST:: SOT 10454305 SOS 1697124 HAS SOPS 1697124 HAS SOUS 1367329 HAS SOUPS 1367329 WITH SCORE 1369026.124
AT ITER 561 NEW BEST:: SOT 10453993 SOS 1696731 HAS SOPS 1696731 HAS SOUS 1367127 HAS SOUPS 1367127 WITH SCORE 1368823.731
AT ITER 574 NEW BEST:: SOT 10453992 SOS 1696729 HAS SOPS 1696729 HAS SOUS 1367125 HAS SOUPS 1367125 WITH SCORE 1368821.729
AT ITER 598 NEW BEST:: SOT 10453697 SOS 1696470 HAS SOPS 1696470 HAS SOUS 1366866 HAS SOUPS 1366866 WITH SCORE 1368562.47
AT ITER 637 NEW BEST:: SOT 10453546 SOS 1695880 HAS SOPS 1695880 HAS SOUS 1366563 HAS SOUPS 1366563 WITH SCORE 1368258.88
AT ITER 646 NEW BEST:: SOT 10453176 SOS 1695480 HAS SOPS 1695480 HAS SOUS 1366193 HAS SOUPS 1366193 WITH SCORE 1367888.48
AT ITER 677 NEW BEST:: SOT 10451964 SOS 1695682 HAS SOPS 1695682 HAS SOUS 1364779 HAS SOUPS 1364779 WITH SCORE 1366474.682
AT ITER 680 NEW BEST:: SOT 10451916 SOS 1695586 HAS SOPS 1695586 HAS SOUS 1364724 HAS SOUPS 1364724 WITH SCORE 1366419.586
AT ITER 696 NEW BEST:: SOT 10451775 SOS 1695425 HAS SOPS 1695425 HAS SOUS 1364563 HAS SOUPS 1364563 WITH SCORE 1366258.425
AT ITER 760 NEW BEST:: SOT 10451594 SOS 1694619 HAS SOPS 1694619 HAS SOUS 1364201 HAS SOUPS 1364201 WITH SCORE 1365895.619
AT ITER 770 NEW BEST:: SOT 10451559 SOS 1694373 HAS SOPS 1694373 HAS SOUS 1364160 HAS SOUPS 1364160 WITH SCORE 1365854.373
AT ITER 814 NEW BEST:: SOT 10451166 SOS 1693980 HAS SOPS 1693980 HAS SOUS 1363767 HAS SOUPS 1363767 WITH SCORE 1365460.98
AT ITER 827 NEW BEST:: SOT 10451038 SOS 1693852 HAS SOPS 1693852 HAS SOUS 1363767 HAS SOUPS 1363767 WITH SCORE 1365460.852
AT ITER 829 NEW BEST:: SOT 10450062 SOS 1692894 HAS SOPS 1692894 HAS SOUS 1363019 HAS SOUPS 1363019 WITH SCORE 1364711.894
AT ITER 867 NEW BEST:: SOT 10450032 SOS 1692516 HAS SOPS 1692516 HAS SOUS 1362873 HAS SOUPS 1362873 WITH SCORE 1364565.516
AT ITER 903 NEW BEST:: SOT 10449469 SOS 1692194 HAS SOPS 1692194 HAS SOUS 1362611 HAS SOUPS 1362611 WITH SCORE 1364303.194
AT ITER 913 NEW BEST:: SOT 10449469 SOS 1693809 HAS SOPS 1693809 HAS SOUS 1362588 HAS SOUPS 1362588 WITH SCORE 1364281.809
AT ITER 927 NEW BEST:: SOT 10449444 SOS 1693759 HAS SOPS 1693759 HAS SOUS 1362562 HAS SOUPS 1362562 WITH SCORE 1364255.759
AT ITER 962 NEW BEST:: SOT 10449443 SOS 1693757 HAS SOPS 1693757 HAS SOUS 1362560 HAS SOUPS 1362560 WITH SCORE 1364253.757
AT ITER 982 NEW BEST:: SOT 10449431 SOS 1693733 HAS SOPS 1693733 HAS SOUS 1362536 HAS SOUPS 1362536 WITH SCORE 1364229.733
AT ITER 1067 NEW BEST:: SOT 10449196 SOS 1693063 HAS SOPS 1693063 HAS SOUS 1362065 HAS SOUPS 1362065 WITH SCORE 1363758.063
AT ITER 1080 NEW BEST:: SOT 10449173 SOS 1692994 HAS SOPS 1692994 HAS SOUS 1361996 HAS SOUPS 1361996 WITH SCORE 1363688.994
AT ITER 1100 NEW BEST:: SOT 10448834 SOS 1692647 HAS SOPS 1692647 HAS SOUS 1361649 HAS SOUPS 1361649 WITH SCORE 1363341.647
AT ITER 1102 NEW BEST:: SOT 10448834 SOS 1692593 HAS SOPS 1692593 HAS SOUS 1361595 HAS SOUPS 1361595 WITH SCORE 1363287.593
AT ITER 1124 NEW BEST:: SOT 10448834 SOS 1692541 HAS SOPS 1692541 HAS SOUS 1361543 HAS SOUPS 1361543 WITH SCORE 1363235.541
AT ITER 1125 NEW BEST:: SOT 10448834 SOS 1692304 HAS SOPS 1692304 HAS SOUS 1361542 HAS SOUPS 1361542 WITH SCORE 1363234.304
AT ITER 1134 NEW BEST:: SOT 10447493 SOS 1699158 HAS SOPS 1699158 HAS SOUS 1361377 HAS SOUPS 1361377 WITH SCORE 1363076.158
AT ITER 1139 NEW BEST:: SOT 10447493 SOS 1698993 HAS SOPS 1698993 HAS SOUS 1361212 HAS SOUPS 1361212 WITH SCORE 1362910.993
AT ITER 1151 NEW BEST:: SOT 10446723 SOS 1698327 HAS SOPS 1698327 HAS SOUS 1360550 HAS SOUPS 1360550 WITH SCORE 1362248.327
AT ITER 1157 NEW BEST:: SOT 10446604 SOS 1697948 HAS SOPS 1697948 HAS SOUS 1360429 HAS SOUPS 1360429 WITH SCORE 1362126.948
AT ITER 1173 NEW BEST:: SOT 10446604 SOS 1697947 HAS SOPS 1697947 HAS SOUS 1360428 HAS SOUPS 1360428 WITH SCORE 1362125.947
AT ITER 1205 NEW BEST:: SOT 10446604 SOS 1698207 HAS SOPS 1698207 HAS SOUS 1360427 HAS SOUPS 1360427 WITH SCORE 1362125.207
AT ITER 1231 NEW BEST:: SOT 10446602 SOS 1698205 HAS SOPS 1698205 HAS SOUS 1360427 HAS SOUPS 1360427 WITH SCORE 1362125.205
AT ITER 1265 NEW BEST:: SOT 10446535 SOS 1698195 HAS SOPS 1698195 HAS SOUS 1360350 HAS SOUPS 1360350 WITH SCORE 1362048.195
AT ITER 1270 NEW BEST:: SOT 10445278 SOS 1701607 HAS SOPS 1701607 HAS SOUS 1360150 HAS SOUPS 1360150 WITH SCORE 1361851.607
AT ITER 1273 NEW BEST:: SOT 10445186 SOS 1701701 HAS SOPS 1701701 HAS SOUS 1359964 HAS SOUPS 1359964 WITH SCORE 1361665.701
AT ITER 1275 NEW BEST:: SOT 10445153 SOS 1701668 HAS SOPS 1701668 HAS SOUS 1359931 HAS SOUPS 1359931 WITH SCORE 1361632.668
AT ITER 1293 NEW BEST:: SOT 10444781 SOS 1701429 HAS SOPS 1701429 HAS SOUS 1359692 HAS SOUPS 1359692 WITH SCORE 1361393.429
AT ITER 1322 NEW BEST:: SOT 10444076 SOS 1701043 HAS SOPS 1701043 HAS SOUS 1359455 HAS SOUPS 1359455 WITH SCORE 1361156.043
AT ITER 1374 NEW BEST:: SOT 10443881 SOS 1700502 HAS SOPS 1700502 HAS SOUS 1358851 HAS SOUPS 1358851 WITH SCORE 1360551.502
AT ITER 1377 NEW BEST:: SOT 10443881 SOS 1700237 HAS SOPS 1700237 HAS SOUS 1358847 HAS SOUPS 1358847 WITH SCORE 1360547.237
AT ITER 1381 NEW BEST:: SOT 10443881 SOS 1700218 HAS SOPS 1700218 HAS SOUS 1358828 HAS SOUPS 1358828 WITH SCORE 1360528.218
AT ITER 1382 NEW BEST:: SOT 10443880 SOS 1700216 HAS SOPS 1700216 HAS SOUS 1358826 HAS SOUPS 1358826 WITH SCORE 1360526.216
AT ITER 1403 NEW BEST:: SOT 10443806 SOS 1700133 HAS SOPS 1700133 HAS SOUS 1358715 HAS SOUPS 1358715 WITH SCORE 1360415.133
AT ITER 1420 NEW BEST:: SOT 10443606 SOS 1699898 HAS SOPS 1699898 HAS SOUS 1358678 HAS SOUPS 1358678 WITH SCORE 1360377.898
AT ITER 1445 NEW BEST:: SOT 10443546 SOS 1701994 HAS SOPS 1701994 HAS SOUS 1358534 HAS SOUPS 1358534 WITH SCORE 1360235.994
AT ITER 1451 NEW BEST:: SOT 10443423 SOS 1701392 HAS SOPS 1701392 HAS SOUS 1358288 HAS SOUPS 1358288 WITH SCORE 1359989.392
AT ITER 1479 NEW BEST:: SOT 10443348 SOS 1701242 HAS SOPS 1701242 HAS SOUS 1358138 HAS SOUPS 1358138 WITH SCORE 1359839.242
AT ITER 1480 NEW BEST:: SOT 10443177 SOS 1700793 HAS SOPS 1700793 HAS SOUS 1357796 HAS SOUPS 1357796 WITH SCORE 1359496.793
AT ITER 1485 NEW BEST:: SOT 10442019 SOS 1700793 HAS SOPS 1700793 HAS SOUS 1357024 HAS SOUPS 1357024 WITH SCORE 1358724.793
AT ITER 1558 NEW BEST:: SOT 10441845 SOS 1700485 HAS SOPS 1700485 HAS SOUS 1356687 HAS SOUPS 1356687 WITH SCORE 1358387.485
AT ITER 1563 NEW BEST:: SOT 10441793 SOS 1700381 HAS SOPS 1700381 HAS SOUS 1356582 HAS SOUPS 1356582 WITH SCORE 1358282.381
AT ITER 1568 NEW BEST:: SOT 10441620 SOS 1700051 HAS SOPS 1700051 HAS SOUS 1356383 HAS SOUPS 1356383 WITH SCORE 1358083.051
AT ITER 1620 NEW BEST:: SOT 10441619 SOS 1699826 HAS SOPS 1699826 HAS SOUS 1356380 HAS SOUPS 1356380 WITH SCORE 1358079.826
AT ITER 1629 NEW BEST:: SOT 10440889 SOS 1699380 HAS SOPS 1699380 HAS SOUS 1355864 HAS SOUPS 1355864 WITH SCORE 1357563.38
AT ITER 1686 NEW BEST:: SOT 10440786 SOS 1699174 HAS SOPS 1699174 HAS SOUS 1355536 HAS SOUPS 1355536 WITH SCORE 1357235.174
AT ITER 1722 NEW BEST:: SOT 10440786 SOS 1699129 HAS SOPS 1699129 HAS SOUS 1355491 HAS SOUPS 1355491 WITH SCORE 1357190.129
AT ITER 1736 NEW BEST:: SOT 10440206 SOS 1699610 HAS SOPS 1699610 HAS SOUS 1355293 HAS SOUPS 1355293 WITH SCORE 1356992.61
AT ITER 1765 NEW BEST:: SOT 10440205 SOS 1699292 HAS SOPS 1699292 HAS SOUS 1355291 HAS SOUPS 1355291 WITH SCORE 1356990.292
AT ITER 1780 NEW BEST:: SOT 10440026 SOS 1699328 HAS SOPS 1699328 HAS SOUS 1355148 HAS SOUPS 1355148 WITH SCORE 1356847.328
AT ITER 1817 NEW BEST:: SOT 10440044 SOS 1699238 HAS SOPS 1699238 HAS SOUS 1355058 HAS SOUPS 1355058 WITH SCORE 1356757.238
AT ITER 1847 NEW BEST:: SOT 10440044 SOS 1699232 HAS SOPS 1699232 HAS SOUS 1355052 HAS SOUPS 1355052 WITH SCORE 1356751.232
AT ITER 1850 NEW BEST:: SOT 10440044 SOS 1699186 HAS SOPS 1699186 HAS SOUS 1355049 HAS SOUPS 1355049 WITH SCORE 1356748.186
AT ITER 1863 NEW BEST:: SOT 10439930 SOS 1698844 HAS SOPS 1698844 HAS SOUS 1354821 HAS SOUPS 1354821 WITH SCORE 1356519.844
AT ITER 1868 NEW BEST:: SOT 10439868 SOS 1698720 HAS SOPS 1698720 HAS SOUS 1354750 HAS SOUPS 1354750 WITH SCORE 1356448.72
AT ITER 1884 NEW BEST:: SOT 10438504 SOS 1700802 HAS SOPS 1700802 HAS SOUS 1353967 HAS SOUPS 1353967 WITH SCORE 1355667.802
AT ITER 1968 NEW BEST:: SOT 10438398 SOS 1700696 HAS SOPS 1700696 HAS SOUS 1353861 HAS SOUPS 1353861 WITH SCORE 1355561.696
AT ITER 1981 NEW BEST:: SOT 10438202 SOS 1700304 HAS SOPS 1700304 HAS SOUS 1353469 HAS SOUPS 1353469 WITH SCORE 1355169.304
AT ITER 1983 NEW BEST:: SOT 10438044 SOS 1700135 HAS SOPS 1700135 HAS SOUS 1353300 HAS SOUPS 1353300 WITH SCORE 1355000.135
AT ITER 2043 NEW BEST:: SOT 10438288 SOS 1700260 HAS SOPS 1700260 HAS SOUS 1353252 HAS SOUPS 1353252 WITH SCORE 1354952.26
AT ITER 2085 NEW BEST:: SOT 10437752 SOS 1699961 HAS SOPS 1699961 HAS SOUS 1352973 HAS SOUPS 1352973 WITH SCORE 1354672.961
AT ITER 2104 NEW BEST:: SOT 10437585 SOS 1699616 HAS SOPS 1699616 HAS SOUS 1352628 HAS SOUPS 1352628 WITH SCORE 1354327.616
AT ITER 2110 NEW BEST:: SOT 10437584 SOS 1699614 HAS SOPS 1699614 HAS SOUS 1352626 HAS SOUPS 1352626 WITH SCORE 1354325.614
AT ITER 2137 NEW BEST:: SOT 10437583 SOS 1699612 HAS SOPS 1699612 HAS SOUS 1352624 HAS SOUPS 1352624 WITH SCORE 1354323.612
AT ITER 2144 NEW BEST:: SOT 10437582 SOS 1699452 HAS SOPS 1699452 HAS SOUS 1352621 HAS SOUPS 1352621 WITH SCORE 1354320.452
AT ITER 2181 NEW BEST:: SOT 10436395 SOS 1698260 HAS SOPS 1698260 HAS SOUS 1351421 HAS SOUPS 1351421 WITH SCORE 1353119.26
AT ITER 2206 NEW BEST:: SOT 10436110 SOS 1697975 HAS SOPS 1697975 HAS SOUS 1351136 HAS SOUPS 1351136 WITH SCORE 1352833.975
AT ITER 2231 NEW BEST:: SOT 10436101 SOS 1697948 HAS SOPS 1697948 HAS SOUS 1351118 HAS SOUPS 1351118 WITH SCORE 1352815.948
AT ITER 2236 NEW BEST:: SOT 10436024 SOS 1697650 HAS SOPS 1697650 HAS SOUS 1351024 HAS SOUPS 1351024 WITH SCORE 1352721.65
AT ITER 2238 NEW BEST:: SOT 10436024 SOS 1697416 HAS SOPS 1697416 HAS SOUS 1350790 HAS SOUPS 1350790 WITH SCORE 1352487.416
AT ITER 2260 NEW BEST:: SOT 10435785 SOS 1696938 HAS SOPS 1696938 HAS SOUS 1350312 HAS SOUPS 1350312 WITH SCORE 1352008.938
AT ITER 2289 NEW BEST:: SOT 10435558 SOS 1696483 HAS SOPS 1696483 HAS SOUS 1349857 HAS SOUPS 1349857 WITH SCORE 1351553.483
AT ITER 2295 NEW BEST:: SOT 10435558 SOS 1696481 HAS SOPS 1696481 HAS SOUS 1349856 HAS SOUPS 1349856 WITH SCORE 1351552.481
AT ITER 2301 NEW BEST:: SOT 10435130 SOS 1696101 HAS SOPS 1696101 HAS SOUS 1349476 HAS SOUPS 1349476 WITH SCORE 1351172.101
AT ITER 2330 NEW BEST:: SOT 10435211 SOS 1696100 HAS SOPS 1696100 HAS SOUS 1349475 HAS SOUPS 1349475 WITH SCORE 1351171.1
AT ITER 2335 NEW BEST:: SOT 10434780 SOS 1696811 HAS SOPS 1696811 HAS SOUS 1349432 HAS SOUPS 1349432 WITH SCORE 1351128.811
AT ITER 2358 NEW BEST:: SOT 10434589 SOS 1696238 HAS SOPS 1696238 HAS SOUS 1348859 HAS SOUPS 1348859 WITH SCORE 1350555.238
AT ITER 2362 NEW BEST:: SOT 10434271 SOS 1695998 HAS SOPS 1695998 HAS SOUS 1348619 HAS SOUPS 1348619 WITH SCORE 1350314.998
AT ITER 2366 NEW BEST:: SOT 10434249 SOS 1695976 HAS SOPS 1695976 HAS SOUS 1348597 HAS SOUPS 1348597 WITH SCORE 1350292.976
AT ITER 2414 NEW BEST:: SOT 10434122 SOS 1695923 HAS SOPS 1695923 HAS SOUS 1348217 HAS SOUPS 1348217 WITH SCORE 1349912.923
AT ITER 2444 NEW BEST:: SOT 10433916 SOS 1695305 HAS SOPS 1695305 HAS SOUS 1347790 HAS SOUPS 1347790 WITH SCORE 1349485.305
AT ITER 2453 NEW BEST:: SOT 10433523 SOS 1694716 HAS SOPS 1694716 HAS SOUS 1347415 HAS SOUPS 1347415 WITH SCORE 1349109.716
AT ITER 2465 NEW BEST:: SOT 10433255 SOS 1694180 HAS SOPS 1694180 HAS SOUS 1346879 HAS SOUPS 1346879 WITH SCORE 1348573.18
AT ITER 2474 NEW BEST:: SOT 10433122 SOS 1693845 HAS SOPS 1693845 HAS SOUS 1346613 HAS SOUPS 1346613 WITH SCORE 1348306.845
AT ITER 2491 NEW BEST:: SOT 10433083 SOS 1693767 HAS SOPS 1693767 HAS SOUS 1346573 HAS SOUPS 1346573 WITH SCORE 1348266.767
AT ITER 2493 NEW BEST:: SOT 10433083 SOS 1693664 HAS SOPS 1693664 HAS SOUS 1346470 HAS SOUPS 1346470 WITH SCORE 1348163.664
AT ITER 2504 NEW BEST:: SOT 10429459 SOS 1690218 HAS SOPS 1690218 HAS SOUS 1346114 HAS SOUPS 1346114 WITH SCORE 1347804.218
AT ITER 2508 NEW BEST:: SOT 10429219 SOS 1690203 HAS SOPS 1690203 HAS SOUS 1346114 HAS SOUPS 1346114 WITH SCORE 1347804.203
AT ITER 2520 NEW BEST:: SOT 10429219 SOS 1690090 HAS SOPS 1690090 HAS SOUS 1346001 HAS SOUPS 1346001 WITH SCORE 1347691.09
AT ITER 2567 NEW BEST:: SOT 10426188 SOS 1687044 HAS SOPS 1687044 HAS SOUS 1345601 HAS SOUPS 1345601 WITH SCORE 1347288.044
AT ITER 2615 NEW BEST:: SOT 10426188 SOS 1686835 HAS SOPS 1686835 HAS SOUS 1345600 HAS SOUPS 1345600 WITH SCORE 1347286.835
AT ITER 2617 NEW BEST:: SOT 10426188 SOS 1686670 HAS SOPS 1686670 HAS SOUS 1345600 HAS SOUPS 1345600 WITH SCORE 1347286.67
AT ITER 2620 NEW BEST:: SOT 10426143 SOS 1686580 HAS SOPS 1686580 HAS SOUS 1345510 HAS SOUPS 1345510 WITH SCORE 1347196.58
AT ITER 2663 NEW BEST:: SOT 10426143 SOS 1686576 HAS SOPS 1686576 HAS SOUS 1345506 HAS SOUPS 1345506 WITH SCORE 1347192.576
AT ITER 2678 NEW BEST:: SOT 10425961 SOS 1686206 HAS SOPS 1686206 HAS SOUS 1345136 HAS SOUPS 1345136 WITH SCORE 1346822.206
AT ITER 2783 NEW BEST:: SOT 10425772 SOS 1686035 HAS SOPS 1686035 HAS SOUS 1345131 HAS SOUPS 1345131 WITH SCORE 1346817.035
AT ITER 2820 NEW BEST:: SOT 10424992 SOS 1685255 HAS SOPS 1685255 HAS SOUS 1344351 HAS SOUPS 1344351 WITH SCORE 1346036.255
AT ITER 2825 NEW BEST:: SOT 10424970 SOS 1685187 HAS SOPS 1685187 HAS SOUS 1344329 HAS SOUPS 1344329 WITH SCORE 1346014.187
AT ITER 2851 NEW BEST:: SOT 10426438 SOS 1687022 HAS SOPS 1687022 HAS SOUS 1343111 HAS SOUPS 1343111 WITH SCORE 1344798.022
AT ITER 2854 NEW BEST:: SOT 10426186 SOS 1686727 HAS SOPS 1686727 HAS SOUS 1342850 HAS SOUPS 1342850 WITH SCORE 1344536.727
AT ITER 2875 NEW BEST:: SOT 10426024 SOS 1686753 HAS SOPS 1686753 HAS SOUS 1342782 HAS SOUPS 1342782 WITH SCORE 1344468.753
AT ITER 2890 NEW BEST:: SOT 10425937 SOS 1686492 HAS SOPS 1686492 HAS SOUS 1342606 HAS SOUPS 1342606 WITH SCORE 1344292.492
AT ITER 2919 NEW BEST:: SOT 10425936 SOS 1686490 HAS SOPS 1686490 HAS SOUS 1342604 HAS SOUPS 1342604 WITH SCORE 1344290.49
AT ITER 2934 NEW BEST:: SOT 10425348 SOS 1686490 HAS SOPS 1686490 HAS SOUS 1342212 HAS SOUPS 1342212 WITH SCORE 1343898.49
AT ITER 2937 NEW BEST:: SOT 10425310 SOS 1686415 HAS SOPS 1686415 HAS SOUS 1342173 HAS SOUPS 1342173 WITH SCORE 1343859.415
AT ITER 2992 NEW BEST:: SOT 10424980 SOS 1686085 HAS SOPS 1686085 HAS SOUS 1341843 HAS SOUPS 1341843 WITH SCORE 1343529.085
AT ITER 2996 NEW BEST:: SOT 10424903 SOS 1686028 HAS SOPS 1686028 HAS SOUS 1341786 HAS SOUPS 1341786 WITH SCORE 1343472.028
AT ITER 3019 NEW BEST:: SOT 10424822 SOS 1685597 HAS SOPS 1685597 HAS SOUS 1341624 HAS SOUPS 1341624 WITH SCORE 1343309.597
AT ITER 3037 NEW BEST:: SOT 10424552 SOS 1685288 HAS SOPS 1685288 HAS SOUS 1341419 HAS SOUPS 1341419 WITH SCORE 1343104.288
AT ITER 3056 NEW BEST:: SOT 10424552 SOS 1685144 HAS SOPS 1685144 HAS SOUS 1341419 HAS SOUPS 1341419 WITH SCORE 1343104.144
AT ITER 3062 NEW BEST:: SOT 10424552 SOS 1685057 HAS SOPS 1685057 HAS SOUS 1341419 HAS SOUPS 1341419 WITH SCORE 1343104.057
AT ITER 3063 NEW BEST:: SOT 10424268 SOS 1685279 HAS SOPS 1685279 HAS SOUS 1341368 HAS SOUPS 1341368 WITH SCORE 1343053.279
AT ITER 3067 NEW BEST:: SOT 10424214 SOS 1685171 HAS SOPS 1685171 HAS SOUS 1341260 HAS SOUPS 1341260 WITH SCORE 1342945.171
AT ITER 3103 NEW BEST:: SOT 10423924 SOS 1685166 HAS SOPS 1685166 HAS SOUS 1341069 HAS SOUPS 1341069 WITH SCORE 1342754.166
AT ITER 3117 NEW BEST:: SOT 10423765 SOS 1684848 HAS SOPS 1684848 HAS SOUS 1340751 HAS SOUPS 1340751 WITH SCORE 1342435.848
AT ITER 3127 NEW BEST:: SOT 10423554 SOS 1684671 HAS SOPS 1684671 HAS SOUS 1340575 HAS SOUPS 1340575 WITH SCORE 1342259.671
AT ITER 3130 NEW BEST:: SOT 10423445 SOS 1684556 HAS SOPS 1684556 HAS SOUS 1340463 HAS SOUPS 1340463 WITH SCORE 1342147.556
AT ITER 3140 NEW BEST:: SOT 10423333 SOS 1684332 HAS SOPS 1684332 HAS SOUS 1340239 HAS SOUPS 1340239 WITH SCORE 1341923.332
AT ITER 3143 NEW BEST:: SOT 10423050 SOS 1683766 HAS SOPS 1683766 HAS SOUS 1339673 HAS SOUPS 1339673 WITH SCORE 1341356.766
AT ITER 3168 NEW BEST:: SOT 10422964 SOS 1683591 HAS SOPS 1683591 HAS SOUS 1339498 HAS SOUPS 1339498 WITH SCORE 1341181.591
AT ITER 3187 NEW BEST:: SOT 10422573 SOS 1683023 HAS SOPS 1683023 HAS SOUS 1339031 HAS SOUPS 1339031 WITH SCORE 1340714.023
AT ITER 3196 NEW BEST:: SOT 10422492 SOS 1683040 HAS SOPS 1683040 HAS SOUS 1338643 HAS SOUPS 1338643 WITH SCORE 1340326.04
AT ITER 3201 NEW BEST:: SOT 10422290 SOS 1682436 HAS SOPS 1682436 HAS SOUS 1338237 HAS SOUPS 1338237 WITH SCORE 1339919.436
AT ITER 3223 NEW BEST:: SOT 10421981 SOS 1682045 HAS SOPS 1682045 HAS SOUS 1338056 HAS SOUPS 1338056 WITH SCORE 1339738.045
AT ITER 3234 NEW BEST:: SOT 10421940 SOS 1681732 HAS SOPS 1681732 HAS SOUS 1338036 HAS SOUPS 1338036 WITH SCORE 1339717.732
AT ITER 3305 NEW BEST:: SOT 10421828 SOS 1681560 HAS SOPS 1681560 HAS SOUS 1337864 HAS SOUPS 1337864 WITH SCORE 1339545.56
AT ITER 3341 NEW BEST:: SOT 10421548 SOS 1681400 HAS SOPS 1681400 HAS SOUS 1337704 HAS SOUPS 1337704 WITH SCORE 1339385.4
AT ITER 3349 NEW BEST:: SOT 10421467 SOS 1681319 HAS SOPS 1681319 HAS SOUS 1337623 HAS SOUPS 1337623 WITH SCORE 1339304.319
AT ITER 3355 NEW BEST:: SOT 10421076 SOS 1681018 HAS SOPS 1681018 HAS SOUS 1337322 HAS SOUPS 1337322 WITH SCORE 1339003.018
AT ITER 3359 NEW BEST:: SOT 10420916 SOS 1681754 HAS SOPS 1681754 HAS SOUS 1337134 HAS SOUPS 1337134 WITH SCORE 1338815.754
AT ITER 3361 NEW BEST:: SOT 10420927 SOS 1681447 HAS SOPS 1681447 HAS SOUS 1336827 HAS SOUPS 1336827 WITH SCORE 1338508.447
AT ITER 3375 NEW BEST:: SOT 10420052 SOS 1680572 HAS SOPS 1680572 HAS SOUS 1335948 HAS SOUPS 1335948 WITH SCORE 1337628.572
AT ITER 3377 NEW BEST:: SOT 10419925 SOS 1680139 HAS SOPS 1680139 HAS SOUS 1335706 HAS SOUPS 1335706 WITH SCORE 1337386.139
AT ITER 3418 NEW BEST:: SOT 10419801 SOS 1680015 HAS SOPS 1680015 HAS SOUS 1335458 HAS SOUPS 1335458 WITH SCORE 1337138.015
AT ITER 3424 NEW BEST:: SOT 10419801 SOS 1680015 HAS SOPS 1680015 HAS SOUS 1335456 HAS SOUPS 1335456 WITH SCORE 1337136.015
AT ITER 3443 NEW BEST:: SOT 10418765 SOS 1679198 HAS SOPS 1679198 HAS SOUS 1334568 HAS SOUPS 1334568 WITH SCORE 1336247.198
AT ITER 3444 NEW BEST:: SOT 10418565 SOS 1678787 HAS SOPS 1678787 HAS SOUS 1334157 HAS SOUPS 1334157 WITH SCORE 1335835.787
AT ITER 3471 NEW BEST:: SOT 10418467 SOS 1678777 HAS SOPS 1678777 HAS SOUS 1334147 HAS SOUPS 1334147 WITH SCORE 1335825.777
AT ITER 3483 NEW BEST:: SOT 10418466 SOS 1678583 HAS SOPS 1678583 HAS SOUS 1334131 HAS SOUPS 1334131 WITH SCORE 1335809.583
AT ITER 3486 NEW BEST:: SOT 10418194 SOS 1678301 HAS SOPS 1678301 HAS SOUS 1333849 HAS SOUPS 1333849 WITH SCORE 1335527.301
AT ITER 3490 NEW BEST:: SOT 10415795 SOS 1677642 HAS SOPS 1677642 HAS SOUS 1331956 HAS SOUPS 1331956 WITH SCORE 1333633.642
AT ITER 3500 NEW BEST:: SOT 10415795 SOS 1677440 HAS SOPS 1677440 HAS SOUS 1331956 HAS SOUPS 1331956 WITH SCORE 1333633.44
AT ITER 3509 NEW BEST:: SOT 10415795 SOS 1676870 HAS SOPS 1676870 HAS SOUS 1331955 HAS SOUPS 1331955 WITH SCORE 1333631.87
AT ITER 3535 NEW BEST:: SOT 10415795 SOS 1676741 HAS SOPS 1676741 HAS SOUS 1331954 HAS SOUPS 1331954 WITH SCORE 1333630.741
AT ITER 3551 NEW BEST:: SOT 10415279 SOS 1676726 HAS SOPS 1676726 HAS SOUS 1331564 HAS SOUPS 1331564 WITH SCORE 1333240.726
AT ITER 3555 NEW BEST:: SOT 10415277 SOS 1676722 HAS SOPS 1676722 HAS SOUS 1331560 HAS SOUPS 1331560 WITH SCORE 1333236.722
AT ITER 3572 NEW BEST:: SOT 10415049 SOS 1676436 HAS SOPS 1676436 HAS SOUS 1331484 HAS SOUPS 1331484 WITH SCORE 1333160.436
AT ITER 3576 NEW BEST:: SOT 10414636 SOS 1675593 HAS SOPS 1675593 HAS SOUS 1330671 HAS SOUPS 1330671 WITH SCORE 1332346.593
AT ITER 3593 NEW BEST:: SOT 10414657 SOS 1675572 HAS SOPS 1675572 HAS SOUS 1330671 HAS SOUPS 1330671 WITH SCORE 1332346.572
AT ITER 3608 NEW BEST:: SOT 10414406 SOS 1675482 HAS SOPS 1675482 HAS SOUS 1330498 HAS SOUPS 1330498 WITH SCORE 1332173.482
AT ITER 3623 NEW BEST:: SOT 10413993 SOS 1674845 HAS SOPS 1674845 HAS SOUS 1330084 HAS SOUPS 1330084 WITH SCORE 1331758.845
AT ITER 3670 NEW BEST:: SOT 10413993 SOS 1674845 HAS SOPS 1674845 HAS SOUS 1330082 HAS SOUPS 1330082 WITH SCORE 1331756.845
AT ITER 3704 NEW BEST:: SOT 10412281 SOS 1673567 HAS SOPS 1673567 HAS SOUS 1328370 HAS SOUPS 1328370 WITH SCORE 1330043.567
AT ITER 3705 NEW BEST:: SOT 10412071 SOS 1673357 HAS SOPS 1673357 HAS SOUS 1328160 HAS SOUPS 1328160 WITH SCORE 1329833.357
AT ITER 3745 NEW BEST:: SOT 10411301 SOS 1672202 HAS SOPS 1672202 HAS SOUS 1327005 HAS SOUPS 1327005 WITH SCORE 1328677.202
AT ITER 3753 NEW BEST:: SOT 10410983 SOS 1671883 HAS SOPS 1671883 HAS SOUS 1326368 HAS SOUPS 1326368 WITH SCORE 1328039.883
AT ITER 3765 NEW BEST:: SOT 10410877 SOS 1671743 HAS SOPS 1671743 HAS SOUS 1326228 HAS SOUPS 1326228 WITH SCORE 1327899.743
AT ITER 3773 NEW BEST:: SOT 10410637 SOS 1671499 HAS SOPS 1671499 HAS SOUS 1325984 HAS SOUPS 1325984 WITH SCORE 1327655.499
AT ITER 3793 NEW BEST:: SOT 10411952 SOS 1673467 HAS SOPS 1673467 HAS SOUS 1325048 HAS SOUPS 1325048 WITH SCORE 1326721.467
AT ITER 3800 NEW BEST:: SOT 10411952 SOS 1672865 HAS SOPS 1672865 HAS SOUS 1325048 HAS SOUPS 1325048 WITH SCORE 1326720.865
AT ITER 3811 NEW BEST:: SOT 10411952 SOS 1672818 HAS SOPS 1672818 HAS SOUS 1325001 HAS SOUPS 1325001 WITH SCORE 1326673.818
AT ITER 3849 NEW BEST:: SOT 10411766 SOS 1672351 HAS SOPS 1672351 HAS SOUS 1324798 HAS SOUPS 1324798 WITH SCORE 1326470.351
AT ITER 3891 NEW BEST:: SOT 10411766 SOS 1672343 HAS SOPS 1672343 HAS SOUS 1324798 HAS SOUPS 1324798 WITH SCORE 1326470.343
AT ITER 3909 NEW BEST:: SOT 10411766 SOS 1672307 HAS SOPS 1672307 HAS SOUS 1324762 HAS SOUPS 1324762 WITH SCORE 1326434.307
AT ITER 3926 NEW BEST:: SOT 10411766 SOS 1672202 HAS SOPS 1672202 HAS SOUS 1324762 HAS SOUPS 1324762 WITH SCORE 1326434.202
AT ITER 3954 NEW BEST:: SOT 10411738 SOS 1672174 HAS SOPS 1672174 HAS SOUS 1324734 HAS SOUPS 1324734 WITH SCORE 1326406.174
AT ITER 3970 NEW BEST:: SOT 10411738 SOS 1672023 HAS SOPS 1672023 HAS SOUS 1324583 HAS SOUPS 1324583 WITH SCORE 1326255.023
AT ITER 3974 NEW BEST:: SOT 10411822 SOS 1672074 HAS SOPS 1672074 HAS SOUS 1324451 HAS SOUPS 1324451 WITH SCORE 1326123.074
AT ITER 3996 NEW BEST:: SOT 10411738 SOS 1671990 HAS SOPS 1671990 HAS SOUS 1324366 HAS SOUPS 1324366 WITH SCORE 1326037.99
AT ITER 4013 NEW BEST:: SOT 10411757 SOS 1672009 HAS SOPS 1672009 HAS SOUS 1324315 HAS SOUPS 1324315 WITH SCORE 1325987.009
AT ITER 4028 NEW BEST:: SOT 10411544 SOS 1671708 HAS SOPS 1671708 HAS SOUS 1324009 HAS SOUPS 1324009 WITH SCORE 1325680.708
AT ITER 4030 NEW BEST:: SOT 10411152 SOS 1671316 HAS SOPS 1671316 HAS SOUS 1323225 HAS SOUPS 1323225 WITH SCORE 1324896.316
AT ITER 4098 NEW BEST:: SOT 10411054 SOS 1671022 HAS SOPS 1671022 HAS SOUS 1323028 HAS SOUPS 1323028 WITH SCORE 1324699.022
AT ITER 4106 NEW BEST:: SOT 10411053 SOS 1671021 HAS SOPS 1671021 HAS SOUS 1323027 HAS SOUPS 1323027 WITH SCORE 1324698.021
AT ITER 4143 NEW BEST:: SOT 10409522 SOS 1670554 HAS SOPS 1670554 HAS SOUS 1322206 HAS SOUPS 1322206 WITH SCORE 1323876.554
AT ITER 4166 NEW BEST:: SOT 10409502 SOS 1670514 HAS SOPS 1670514 HAS SOUS 1322166 HAS SOUPS 1322166 WITH SCORE 1323836.514
AT ITER 4190 NEW BEST:: SOT 10409229 SOS 1670281 HAS SOPS 1670281 HAS SOUS 1321933 HAS SOUPS 1321933 WITH SCORE 1323603.281
AT ITER 4191 NEW BEST:: SOT 10409229 SOS 1670280 HAS SOPS 1670280 HAS SOUS 1321932 HAS SOUPS 1321932 WITH SCORE 1323602.28
AT ITER 4204 NEW BEST:: SOT 10409227 SOS 1670276 HAS SOPS 1670276 HAS SOUS 1321928 HAS SOUPS 1321928 WITH SCORE 1323598.276
AT ITER 4223 NEW BEST:: SOT 10408856 SOS 1669905 HAS SOPS 1669905 HAS SOUS 1321928 HAS SOUPS 1321928 WITH SCORE 1323597.905
AT ITER 4240 NEW BEST:: SOT 10406764 SOS 1672582 HAS SOPS 1672582 HAS SOUS 1320779 HAS SOUPS 1320779 WITH SCORE 1322451.582
AT ITER 4243 NEW BEST:: SOT 10406302 SOS 1671683 HAS SOPS 1671683 HAS SOUS 1319920 HAS SOUPS 1319920 WITH SCORE 1321591.683
AT ITER 4256 NEW BEST:: SOT 10406164 SOS 1671407 HAS SOPS 1671407 HAS SOUS 1319644 HAS SOUPS 1319644 WITH SCORE 1321315.407
AT ITER 4291 NEW BEST:: SOT 10405788 SOS 1671439 HAS SOPS 1671439 HAS SOUS 1319492 HAS SOUPS 1319492 WITH SCORE 1321163.439
AT ITER 4296 NEW BEST:: SOT 10405788 SOS 1671379 HAS SOPS 1671379 HAS SOUS 1319432 HAS SOUPS 1319432 WITH SCORE 1321103.379
AT ITER 4307 NEW BEST:: SOT 10405520 SOS 1671111 HAS SOPS 1671111 HAS SOUS 1319164 HAS SOUPS 1319164 WITH SCORE 1320835.111
AT ITER 4313 NEW BEST:: SOT 10405432 SOS 1671023 HAS SOPS 1671023 HAS SOUS 1319076 HAS SOUPS 1319076 WITH SCORE 1320747.023
AT ITER 4341 NEW BEST:: SOT 10405389 SOS 1671023 HAS SOPS 1671023 HAS SOUS 1319033 HAS SOUPS 1319033 WITH SCORE 1320704.023
AT ITER 4375 NEW BEST:: SOT 10405244 SOS 1670878 HAS SOPS 1670878 HAS SOUS 1318888 HAS SOUPS 1318888 WITH SCORE 1320558.878
AT ITER 4385 NEW BEST:: SOT 10404952 SOS 1670314 HAS SOPS 1670314 HAS SOUS 1318580 HAS SOUPS 1318580 WITH SCORE 1320250.314
AT ITER 4426 NEW BEST:: SOT 10404808 SOS 1670289 HAS SOPS 1670289 HAS SOUS 1318578 HAS SOUPS 1318578 WITH SCORE 1320248.289
AT ITER 4446 NEW BEST:: SOT 10404808 SOS 1670307 HAS SOPS 1670307 HAS SOUS 1318567 HAS SOUPS 1318567 WITH SCORE 1320237.307
AT ITER 4447 NEW BEST:: SOT 10404765 SOS 1670221 HAS SOPS 1670221 HAS SOUS 1318481 HAS SOUPS 1318481 WITH SCORE 1320151.221
AT ITER 4468 NEW BEST:: SOT 10404765 SOS 1670208 HAS SOPS 1670208 HAS SOUS 1318468 HAS SOUPS 1318468 WITH SCORE 1320138.208
AT ITER 4490 NEW BEST:: SOT 10404705 SOS 1670088 HAS SOPS 1670088 HAS SOUS 1318340 HAS SOUPS 1318340 WITH SCORE 1320010.088
AT ITER 4495 NEW BEST:: SOT 10404673 SOS 1670026 HAS SOPS 1670026 HAS SOUS 1318277 HAS SOUPS 1318277 WITH SCORE 1319947.026
AT ITER 4511 NEW BEST:: SOT 10404672 SOS 1669874 HAS SOPS 1669874 HAS SOUS 1318130 HAS SOUPS 1318130 WITH SCORE 1319799.874
AT ITER 4560 NEW BEST:: SOT 10404451 SOS 1669653 HAS SOPS 1669653 HAS SOUS 1317903 HAS SOUPS 1317903 WITH SCORE 1319572.653
AT ITER 4585 NEW BEST:: SOT 10404313 SOS 1669361 HAS SOPS 1669361 HAS SOUS 1317611 HAS SOUPS 1317611 WITH SCORE 1319280.361
AT ITER 4608 NEW BEST:: SOT 10404715 SOS 1671786 HAS SOPS 1671786 HAS SOUS 1317430 HAS SOUPS 1317430 WITH SCORE 1319101.786
AT ITER 4635 NEW BEST:: SOT 10404530 SOS 1671601 HAS SOPS 1671601 HAS SOUS 1317245 HAS SOUPS 1317245 WITH SCORE 1318916.601
AT ITER 4654 NEW BEST:: SOT 10404530 SOS 1671487 HAS SOPS 1671487 HAS SOUS 1317131 HAS SOUPS 1317131 WITH SCORE 1318802.487
AT ITER 4687 NEW BEST:: SOT 10404530 SOS 1670977 HAS SOPS 1670977 HAS SOUS 1317131 HAS SOUPS 1317131 WITH SCORE 1318801.977
AT ITER 4692 NEW BEST:: SOT 10404529 SOS 1670173 HAS SOPS 1670173 HAS SOUS 1317107 HAS SOUPS 1317107 WITH SCORE 1318777.173
AT ITER 4694 NEW BEST:: SOT 10404420 SOS 1669955 HAS SOPS 1669955 HAS SOUS 1316889 HAS SOUPS 1316889 WITH SCORE 1318558.955
AT ITER 4696 NEW BEST:: SOT 10404343 SOS 1669801 HAS SOPS 1669801 HAS SOUS 1316735 HAS SOUPS 1316735 WITH SCORE 1318404.801
AT ITER 4719 NEW BEST:: SOT 10404343 SOS 1669730 HAS SOPS 1669730 HAS SOUS 1316629 HAS SOUPS 1316629 WITH SCORE 1318298.73
AT ITER 4757 NEW BEST:: SOT 10404343 SOS 1669723 HAS SOPS 1669723 HAS SOUS 1316622 HAS SOUPS 1316622 WITH SCORE 1318291.723
AT ITER 4793 NEW BEST:: SOT 10404343 SOS 1669721 HAS SOPS 1669721 HAS SOUS 1316617 HAS SOUPS 1316617 WITH SCORE 1318286.721
AT ITER 4809 NEW BEST:: SOT 10404306 SOS 1669449 HAS SOPS 1669449 HAS SOUS 1316560 HAS SOUPS 1316560 WITH SCORE 1318229.449
AT ITER 4813 NEW BEST:: SOT 10403775 SOS 1666832 HAS SOPS 1666832 HAS SOUS 1316093 HAS SOUPS 1316093 WITH SCORE 1317759.832
AT ITER 4825 NEW BEST:: SOT 10403606 SOS 1666718 HAS SOPS 1666718 HAS SOUS 1315979 HAS SOUPS 1315979 WITH SCORE 1317645.718
AT ITER 4855 NEW BEST:: SOT 10402889 SOS 1665999 HAS SOPS 1665999 HAS SOUS 1315249 HAS SOUPS 1315249 WITH SCORE 1316914.999
AT ITER 4864 NEW BEST:: SOT 10402889 SOS 1665981 HAS SOPS 1665981 HAS SOUS 1315231 HAS SOUPS 1315231 WITH SCORE 1316896.981
AT ITER 4879 NEW BEST:: SOT 10401815 SOS 1664904 HAS SOPS 1664904 HAS SOUS 1314157 HAS SOUPS 1314157 WITH SCORE 1315821.904
AT ITER 4898 NEW BEST:: SOT 10401785 SOS 1664697 HAS SOPS 1664697 HAS SOUS 1314003 HAS SOUPS 1314003 WITH SCORE 1315667.697
AT ITER 4910 NEW BEST:: SOT 10401752 SOS 1664513 HAS SOPS 1664513 HAS SOUS 1313869 HAS SOUPS 1313869 WITH SCORE 1315533.513
AT ITER 4930 NEW BEST:: SOT 10401953 SOS 1666700 HAS SOPS 1666700 HAS SOUS 1313865 HAS SOUPS 1313865 WITH SCORE 1315531.7
AT ITER 4951 NEW BEST:: SOT 10401787 SOS 1666546 HAS SOPS 1666546 HAS SOUS 1313854 HAS SOUPS 1313854 WITH SCORE 1315520.546
AT ITER 4956 NEW BEST:: SOT 10401634 SOS 1666392 HAS SOPS 1666392 HAS SOUS 1313699 HAS SOUPS 1313699 WITH SCORE 1315365.392
AT ITER 5004 NEW BEST:: SOT 10401525 SOS 1666174 HAS SOPS 1666174 HAS SOUS 1313481 HAS SOUPS 1313481 WITH SCORE 1315147.174
AT ITER 5010 NEW BEST:: SOT 10401628 SOS 1666139 HAS SOPS 1666139 HAS SOUS 1313446 HAS SOUPS 1313446 WITH SCORE 1315112.139
AT ITER 5012 NEW BEST:: SOT 10401091 SOS 1665819 HAS SOPS 1665819 HAS SOUS 1313126 HAS SOUPS 1313126 WITH SCORE 1314791.819
AT ITER 5031 NEW BEST:: SOT 10401091 SOS 1665819 HAS SOPS 1665819 HAS SOUS 1313044 HAS SOUPS 1313044 WITH SCORE 1314709.819
AT ITER 5035 NEW BEST:: SOT 10400970 SOS 1665698 HAS SOPS 1665698 HAS SOUS 1312923 HAS SOUPS 1312923 WITH SCORE 1314588.698
AT ITER 5086 NEW BEST:: SOT 10399252 SOS 1666125 HAS SOPS 1666125 HAS SOUS 1311847 HAS SOUPS 1311847 WITH SCORE 1313513.125
AT ITER 5110 NEW BEST:: SOT 10399252 SOS 1665956 HAS SOPS 1665956 HAS SOUS 1311780 HAS SOUPS 1311780 WITH SCORE 1313445.956
AT ITER 5133 NEW BEST:: SOT 10399252 SOS 1665913 HAS SOPS 1665913 HAS SOUS 1311737 HAS SOUPS 1311737 WITH SCORE 1313402.913
AT ITER 5148 NEW BEST:: SOT 10399132 SOS 1665793 HAS SOPS 1665793 HAS SOUS 1311617 HAS SOUPS 1311617 WITH SCORE 1313282.793
AT ITER 5152 NEW BEST:: SOT 10399095 SOS 1665720 HAS SOPS 1665720 HAS SOUS 1311544 HAS SOUPS 1311544 WITH SCORE 1313209.72
AT ITER 5154 NEW BEST:: SOT 10398985 SOS 1665668 HAS SOPS 1665668 HAS SOUS 1311492 HAS SOUPS 1311492 WITH SCORE 1313157.668
AT ITER 5183 NEW BEST:: SOT 10398905 SOS 1665508 HAS SOPS 1665508 HAS SOUS 1311332 HAS SOUPS 1311332 WITH SCORE 1312997.508
AT ITER 5203 NEW BEST:: SOT 10398679 SOS 1665057 HAS SOPS 1665057 HAS SOUS 1310940 HAS SOUPS 1310940 WITH SCORE 1312605.057
AT ITER 5219 NEW BEST:: SOT 10398650 SOS 1664970 HAS SOPS 1664970 HAS SOUS 1310853 HAS SOUPS 1310853 WITH SCORE 1312517.97
AT ITER 5250 NEW BEST:: SOT 10398562 SOS 1664662 HAS SOPS 1664662 HAS SOUS 1310721 HAS SOUPS 1310721 WITH SCORE 1312385.662
AT ITER 5256 NEW BEST:: SOT 10398562 SOS 1664501 HAS SOPS 1664501 HAS SOUS 1310714 HAS SOUPS 1310714 WITH SCORE 1312378.501
AT ITER 5259 NEW BEST:: SOT 10398562 SOS 1664335 HAS SOPS 1664335 HAS SOUS 1310700 HAS SOUPS 1310700 WITH SCORE 1312364.335
AT ITER 5268 NEW BEST:: SOT 10398562 SOS 1664152 HAS SOPS 1664152 HAS SOUS 1310517 HAS SOUPS 1310517 WITH SCORE 1312181.152
AT ITER 5280 NEW BEST:: SOT 10398018 SOS 1663603 HAS SOPS 1663603 HAS SOUS 1309994 HAS SOUPS 1309994 WITH SCORE 1311657.603
AT ITER 5316 NEW BEST:: SOT 10397866 SOS 1663521 HAS SOPS 1663521 HAS SOUS 1309690 HAS SOUPS 1309690 WITH SCORE 1311353.521
AT ITER 5321 NEW BEST:: SOT 10397806 SOS 1663341 HAS SOPS 1663341 HAS SOUS 1309510 HAS SOUPS 1309510 WITH SCORE 1311173.341
AT ITER 5331 NEW BEST:: SOT 10397800 SOS 1663334 HAS SOPS 1663334 HAS SOUS 1309509 HAS SOUPS 1309509 WITH SCORE 1311172.334
AT ITER 5346 NEW BEST:: SOT 10397532 SOS 1661018 HAS SOPS 1661018 HAS SOUS 1308549 HAS SOUPS 1308549 WITH SCORE 1310210.018
AT ITER 5359 NEW BEST:: SOT 10397410 SOS 1660971 HAS SOPS 1660971 HAS SOUS 1308477 HAS SOUPS 1308477 WITH SCORE 1310137.971
AT ITER 5382 NEW BEST:: SOT 10397410 SOS 1660871 HAS SOPS 1660871 HAS SOUS 1308377 HAS SOUPS 1308377 WITH SCORE 1310037.871
AT ITER 5417 NEW BEST:: SOT 10397415 SOS 1660829 HAS SOPS 1660829 HAS SOUS 1308335 HAS SOUPS 1308335 WITH SCORE 1309995.829
AT ITER 5456 NEW BEST:: SOT 10397398 SOS 1660812 HAS SOPS 1660812 HAS SOUS 1308335 HAS SOUPS 1308335 WITH SCORE 1309995.812
AT ITER 5466 NEW BEST:: SOT 10397398 SOS 1660743 HAS SOPS 1660743 HAS SOUS 1308266 HAS SOUPS 1308266 WITH SCORE 1309926.743
AT ITER 5472 NEW BEST:: SOT 10397142 SOS 1660443 HAS SOPS 1660443 HAS SOUS 1307519 HAS SOUPS 1307519 WITH SCORE 1309179.443
AT ITER 5480 NEW BEST:: SOT 10397142 SOS 1660412 HAS SOPS 1660412 HAS SOUS 1307488 HAS SOUPS 1307488 WITH SCORE 1309148.412
AT ITER 5486 NEW BEST:: SOT 10397081 SOS 1660350 HAS SOPS 1660350 HAS SOUS 1307426 HAS SOUPS 1307426 WITH SCORE 1309086.35
AT ITER 5497 NEW BEST:: SOT 10397081 SOS 1660131 HAS SOPS 1660131 HAS SOUS 1307424 HAS SOUPS 1307424 WITH SCORE 1309084.131
AT ITER 5545 NEW BEST:: SOT 10397078 SOS 1659927 HAS SOPS 1659927 HAS SOUS 1307421 HAS SOUPS 1307421 WITH SCORE 1309080.927
AT ITER 5560 NEW BEST:: SOT 10397004 SOS 1659483 HAS SOPS 1659483 HAS SOUS 1307273 HAS SOUPS 1307273 WITH SCORE 1308932.483
AT ITER 5591 NEW BEST:: SOT 10397538 SOS 1661280 HAS SOPS 1661280 HAS SOUS 1306046 HAS SOUPS 1306046 WITH SCORE 1307707.28
AT ITER 5593 NEW BEST:: SOT 10397416 SOS 1661158 HAS SOPS 1661158 HAS SOUS 1305906 HAS SOUPS 1305906 WITH SCORE 1307567.158
AT ITER 5602 NEW BEST:: SOT 10397199 SOS 1660939 HAS SOPS 1660939 HAS SOUS 1305688 HAS SOUPS 1305688 WITH SCORE 1307348.939
AT ITER 5645 NEW BEST:: SOT 10396985 SOS 1660725 HAS SOPS 1660725 HAS SOUS 1305260 HAS SOUPS 1305260 WITH SCORE 1306920.725
AT ITER 5671 NEW BEST:: SOT 10396985 SOS 1660485 HAS SOPS 1660485 HAS SOUS 1305020 HAS SOUPS 1305020 WITH SCORE 1306680.485
AT ITER 5678 NEW BEST:: SOT 10396985 SOS 1660591 HAS SOPS 1660591 HAS SOUS 1305000 HAS SOUPS 1305000 WITH SCORE 1306660.591
AT ITER 5686 NEW BEST:: SOT 10396985 SOS 1660514 HAS SOPS 1660514 HAS SOUS 1304939 HAS SOUPS 1304939 WITH SCORE 1306599.514
AT ITER 5695 NEW BEST:: SOT 10396926 SOS 1660444 HAS SOPS 1660444 HAS SOUS 1304869 HAS SOUPS 1304869 WITH SCORE 1306529.444
AT ITER 5696 NEW BEST:: SOT 10396808 SOS 1660208 HAS SOPS 1660208 HAS SOUS 1304633 HAS SOUPS 1304633 WITH SCORE 1306293.208
AT ITER 5738 NEW BEST:: SOT 10396632 SOS 1658690 HAS SOPS 1658690 HAS SOUS 1304164 HAS SOUPS 1304164 WITH SCORE 1305822.69
AT ITER 5739 NEW BEST:: SOT 10396600 SOS 1658452 HAS SOPS 1658452 HAS SOUS 1304117 HAS SOUPS 1304117 WITH SCORE 1305775.452
AT ITER 5742 NEW BEST:: SOT 10396446 SOS 1658287 HAS SOPS 1658287 HAS SOUS 1304106 HAS SOUPS 1304106 WITH SCORE 1305764.287
AT ITER 5748 NEW BEST:: SOT 10396184 SOS 1657740 HAS SOPS 1657740 HAS SOUS 1303559 HAS SOUPS 1303559 WITH SCORE 1305216.74
AT ITER 5749 NEW BEST:: SOT 10396069 SOS 1657510 HAS SOPS 1657510 HAS SOUS 1303214 HAS SOUPS 1303214 WITH SCORE 1304871.51
AT ITER 5822 NEW BEST:: SOT 10396069 SOS 1657509 HAS SOPS 1657509 HAS SOUS 1303213 HAS SOUPS 1303213 WITH SCORE 1304870.509
AT ITER 5837 NEW BEST:: SOT 10395973 SOS 1657413 HAS SOPS 1657413 HAS SOUS 1303117 HAS SOUPS 1303117 WITH SCORE 1304774.413
AT ITER 5860 NEW BEST:: SOT 10395873 SOS 1657140 HAS SOPS 1657140 HAS SOUS 1303063 HAS SOUPS 1303063 WITH SCORE 1304720.14
AT ITER 5868 NEW BEST:: SOT 10395446 SOS 1656399 HAS SOPS 1656399 HAS SOUS 1302037 HAS SOUPS 1302037 WITH SCORE 1303693.399
AT ITER 5909 NEW BEST:: SOT 10395040 SOS 1655340 HAS SOPS 1655340 HAS SOUS 1301224 HAS SOUPS 1301224 WITH SCORE 1302879.34
AT ITER 5937 NEW BEST:: SOT 10394816 SOS 1654106 HAS SOPS 1654106 HAS SOUS 1300775 HAS SOUPS 1300775 WITH SCORE 1302429.106
AT ITER 5980 NEW BEST:: SOT 10394793 SOS 1654060 HAS SOPS 1654060 HAS SOUS 1300729 HAS SOUPS 1300729 WITH SCORE 1302383.06
AT ITER 6007 NEW BEST:: SOT 10394793 SOS 1654041 HAS SOPS 1654041 HAS SOUS 1300710 HAS SOUPS 1300710 WITH SCORE 1302364.041
AT ITER 6019 NEW BEST:: SOT 10390398 SOS 1650606 HAS SOPS 1650606 HAS SOUS 1296340 HAS SOUPS 1296340 WITH SCORE 1297990.606
AT ITER 6023 NEW BEST:: SOT 10389747 SOS 1650907 HAS SOPS 1650907 HAS SOUS 1295931 HAS SOUPS 1295931 WITH SCORE 1297581.907
AT ITER 6029 NEW BEST:: SOT 10389621 SOS 1650806 HAS SOPS 1650806 HAS SOUS 1295830 HAS SOUPS 1295830 WITH SCORE 1297480.806
AT ITER 6033 NEW BEST:: SOT 10389621 SOS 1651119 HAS SOPS 1651119 HAS SOUS 1295815 HAS SOUPS 1295815 WITH SCORE 1297466.119
AT ITER 6049 NEW BEST:: SOT 10389621 SOS 1651032 HAS SOPS 1651032 HAS SOUS 1295814 HAS SOUPS 1295814 WITH SCORE 1297465.032
AT ITER 6062 NEW BEST:: SOT 10389467 SOS 1650246 HAS SOPS 1650246 HAS SOUS 1295506 HAS SOUPS 1295506 WITH SCORE 1297156.246
AT ITER 6076 NEW BEST:: SOT 10389217 SOS 1649741 HAS SOPS 1649741 HAS SOUS 1295202 HAS SOUPS 1295202 WITH SCORE 1296851.741
AT ITER 6094 NEW BEST:: SOT 10387691 SOS 1647960 HAS SOPS 1647960 HAS SOUS 1294984 HAS SOUPS 1294984 WITH SCORE 1296631.96
AT ITER 6146 NEW BEST:: SOT 10387691 SOS 1647892 HAS SOPS 1647892 HAS SOUS 1294916 HAS SOUPS 1294916 WITH SCORE 1296563.892
AT ITER 6178 NEW BEST:: SOT 10387561 SOS 1647892 HAS SOPS 1647892 HAS SOUS 1294786 HAS SOUPS 1294786 WITH SCORE 1296433.892
AT ITER 6179 NEW BEST:: SOT 10387560 SOS 1647890 HAS SOPS 1647890 HAS SOUS 1294784 HAS SOUPS 1294784 WITH SCORE 1296431.89
AT ITER 6196 NEW BEST:: SOT 10387560 SOS 1647413 HAS SOPS 1647413 HAS SOUS 1294610 HAS SOUPS 1294610 WITH SCORE 1296257.413
AT ITER 6213 NEW BEST:: SOT 10387291 SOS 1646310 HAS SOPS 1646310 HAS SOUS 1294229 HAS SOUPS 1294229 WITH SCORE 1295875.31
AT ITER 6225 NEW BEST:: SOT 10387562 SOS 1646039 HAS SOPS 1646039 HAS SOUS 1294228 HAS SOUPS 1294228 WITH SCORE 1295874.039
AT ITER 6242 NEW BEST:: SOT 10384587 SOS 1647667 HAS SOPS 1647667 HAS SOUS 1292259 HAS SOUPS 1292259 WITH SCORE 1293906.667
AT ITER 6293 NEW BEST:: SOT 10384345 SOS 1647698 HAS SOPS 1647698 HAS SOUS 1292017 HAS SOUPS 1292017 WITH SCORE 1293664.698
AT ITER 6303 NEW BEST:: SOT 10384345 SOS 1647451 HAS SOPS 1647451 HAS SOUS 1291770 HAS SOUPS 1291770 WITH SCORE 1293417.451
AT ITER 6330 NEW BEST:: SOT 10383281 SOS 1646291 HAS SOPS 1646291 HAS SOUS 1290610 HAS SOUPS 1290610 WITH SCORE 1292256.291
AT ITER 6341 NEW BEST:: SOT 10383139 SOS 1646320 HAS SOPS 1646320 HAS SOUS 1290499 HAS SOUPS 1290499 WITH SCORE 1292145.32
AT ITER 6363 NEW BEST:: SOT 10383132 SOS 1646196 HAS SOPS 1646196 HAS SOUS 1290483 HAS SOUPS 1290483 WITH SCORE 1292129.196
AT ITER 6420 NEW BEST:: SOT 10385323 SOS 1648493 HAS SOPS 1648493 HAS SOUS 1289960 HAS SOUPS 1289960 WITH SCORE 1291608.493
AT ITER 6450 NEW BEST:: SOT 10385296 SOS 1648466 HAS SOPS 1648466 HAS SOUS 1289933 HAS SOUPS 1289933 WITH SCORE 1291581.466
AT ITER 6506 NEW BEST:: SOT 10385254 SOS 1648028 HAS SOPS 1648028 HAS SOUS 1289753 HAS SOUPS 1289753 WITH SCORE 1291401.028
AT ITER 6521 NEW BEST:: SOT 10384987 SOS 1647987 HAS SOPS 1647987 HAS SOUS 1289712 HAS SOUPS 1289712 WITH SCORE 1291359.987
AT ITER 6551 NEW BEST:: SOT 10384336 SOS 1647243 HAS SOPS 1647243 HAS SOUS 1289605 HAS SOUPS 1289605 WITH SCORE 1291252.243
AT ITER 6582 NEW BEST:: SOT 10384336 SOS 1647085 HAS SOPS 1647085 HAS SOUS 1289605 HAS SOUPS 1289605 WITH SCORE 1291252.085
AT ITER 6621 NEW BEST:: SOT 10384336 SOS 1647026 HAS SOPS 1647026 HAS SOUS 1289546 HAS SOUPS 1289546 WITH SCORE 1291193.026
AT ITER 6625 NEW BEST:: SOT 10384336 SOS 1647026 HAS SOPS 1647026 HAS SOUS 1289532 HAS SOUPS 1289532 WITH SCORE 1291179.026
AT ITER 6634 NEW BEST:: SOT 10384266 SOS 1646495 HAS SOPS 1646495 HAS SOUS 1289392 HAS SOUPS 1289392 WITH SCORE 1291038.495
AT ITER 6667 NEW BEST:: SOT 10384919 SOS 1646286 HAS SOPS 1646286 HAS SOUS 1289183 HAS SOUPS 1289183 WITH SCORE 1290829.286
AT ITER 6675 NEW BEST:: SOT 10384919 SOS 1646375 HAS SOPS 1646375 HAS SOUS 1289125 HAS SOUPS 1289125 WITH SCORE 1290771.375
AT ITER 6690 NEW BEST:: SOT 10385116 SOS 1646370 HAS SOPS 1646370 HAS SOUS 1289120 HAS SOUPS 1289120 WITH SCORE 1290766.37
AT ITER 6717 NEW BEST:: SOT 10384659 SOS 1645944 HAS SOPS 1645944 HAS SOUS 1288694 HAS SOUPS 1288694 WITH SCORE 1290339.944
AT ITER 6736 NEW BEST:: SOT 10384637 SOS 1645876 HAS SOPS 1645876 HAS SOUS 1288626 HAS SOUPS 1288626 WITH SCORE 1290271.876
AT ITER 6748 NEW BEST:: SOT 10384475 SOS 1645543 HAS SOPS 1645543 HAS SOUS 1288292 HAS SOUPS 1288292 WITH SCORE 1289937.543
AT ITER 6769 NEW BEST:: SOT 10383889 SOS 1644664 HAS SOPS 1644664 HAS SOUS 1287413 HAS SOUPS 1287413 WITH SCORE 1289057.664
AT ITER 6824 NEW BEST:: SOT 10382993 SOS 1645424 HAS SOPS 1645424 HAS SOUS 1286749 HAS SOUPS 1286749 WITH SCORE 1288394.424
AT ITER 6841 NEW BEST:: SOT 10383259 SOS 1645794 HAS SOPS 1645794 HAS SOUS 1286632 HAS SOUPS 1286632 WITH SCORE 1288277.794
AT ITER 6918 NEW BEST:: SOT 10383070 SOS 1645416 HAS SOPS 1645416 HAS SOUS 1286254 HAS SOUPS 1286254 WITH SCORE 1287899.416
AT ITER 6969 NEW BEST:: SOT 10383070 SOS 1645193 HAS SOPS 1645193 HAS SOUS 1286057 HAS SOUPS 1286057 WITH SCORE 1287702.193
AT ITER 6976 NEW BEST:: SOT 10381859 SOS 1644320 HAS SOPS 1644320 HAS SOUS 1285018 HAS SOUPS 1285018 WITH SCORE 1286662.32
AT ITER 7007 NEW BEST:: SOT 10381775 SOS 1643279 HAS SOPS 1643279 HAS SOUS 1284643 HAS SOUPS 1284643 WITH SCORE 1286286.279
AT ITER 7069 NEW BEST:: SOT 10379903 SOS 1641173 HAS SOPS 1641173 HAS SOUS 1282537 HAS SOUPS 1282537 WITH SCORE 1284178.173
AT ITER 7098 NEW BEST:: SOT 10379652 SOS 1640904 HAS SOPS 1640904 HAS SOUS 1282268 HAS SOUPS 1282268 WITH SCORE 1283908.904
AT ITER 7115 NEW BEST:: SOT 10379427 SOS 1640252 HAS SOPS 1640252 HAS SOUS 1281817 HAS SOUPS 1281817 WITH SCORE 1283457.252
AT ITER 7133 NEW BEST:: SOT 10379395 SOS 1640201 HAS SOPS 1640201 HAS SOUS 1281766 HAS SOUPS 1281766 WITH SCORE 1283406.201
AT ITER 7138 NEW BEST:: SOT 10379166 SOS 1639736 HAS SOPS 1639736 HAS SOUS 1281496 HAS SOUPS 1281496 WITH SCORE 1283135.736
AT ITER 7146 NEW BEST:: SOT 10378915 SOS 1639485 HAS SOPS 1639485 HAS SOUS 1281243 HAS SOUPS 1281243 WITH SCORE 1282882.485
AT ITER 7150 NEW BEST:: SOT 10378883 SOS 1639389 HAS SOPS 1639389 HAS SOUS 1281147 HAS SOUPS 1281147 WITH SCORE 1282786.389
AT ITER 7160 NEW BEST:: SOT 10378883 SOS 1639315 HAS SOPS 1639315 HAS SOUS 1281068 HAS SOUPS 1281068 WITH SCORE 1282707.315
AT ITER 7168 NEW BEST:: SOT 10378783 SOS 1639155 HAS SOPS 1639155 HAS SOUS 1280908 HAS SOUPS 1280908 WITH SCORE 1282547.155
AT ITER 7206 NEW BEST:: SOT 10378694 SOS 1639096 HAS SOPS 1639096 HAS SOUS 1280730 HAS SOUPS 1280730 WITH SCORE 1282369.096
AT ITER 7252 NEW BEST:: SOT 10378685 SOS 1639087 HAS SOPS 1639087 HAS SOUS 1280712 HAS SOUPS 1280712 WITH SCORE 1282351.087
AT ITER 7256 NEW BEST:: SOT 10378685 SOS 1639053 HAS SOPS 1639053 HAS SOUS 1280678 HAS SOUPS 1280678 WITH SCORE 1282317.053
AT ITER 7276 NEW BEST:: SOT 10378706 SOS 1638969 HAS SOPS 1638969 HAS SOUS 1280678 HAS SOUPS 1280678 WITH SCORE 1282316.969
AT ITER 7294 NEW BEST:: SOT 10378672 SOS 1638935 HAS SOPS 1638935 HAS SOUS 1280644 HAS SOUPS 1280644 WITH SCORE 1282282.935
AT ITER 7317 NEW BEST:: SOT 10378641 SOS 1638513 HAS SOPS 1638513 HAS SOUS 1280505 HAS SOUPS 1280505 WITH SCORE 1282143.513
AT ITER 7318 NEW BEST:: SOT 10378449 SOS 1637893 HAS SOPS 1637893 HAS SOUS 1280288 HAS SOUPS 1280288 WITH SCORE 1281925.893
AT ITER 7344 NEW BEST:: SOT 10378139 SOS 1637889 HAS SOPS 1637889 HAS SOUS 1280288 HAS SOUPS 1280288 WITH SCORE 1281925.889
AT ITER 7363 NEW BEST:: SOT 10378139 SOS 1637885 HAS SOPS 1637885 HAS SOUS 1280288 HAS SOUPS 1280288 WITH SCORE 1281925.885
AT ITER 7376 NEW BEST:: SOT 10377843 SOS 1637766 HAS SOPS 1637766 HAS SOUS 1280013 HAS SOUPS 1280013 WITH SCORE 1281650.766
AT ITER 7393 NEW BEST:: SOT 10377843 SOS 1638360 HAS SOPS 1638360 HAS SOUS 1278363 HAS SOUPS 1278363 WITH SCORE 1280001.36
AT ITER 7406 NEW BEST:: SOT 10377843 SOS 1638356 HAS SOPS 1638356 HAS SOUS 1278359 HAS SOUPS 1278359 WITH SCORE 1279997.356
AT ITER 7434 NEW BEST:: SOT 10377537 SOS 1638050 HAS SOPS 1638050 HAS SOUS 1278237 HAS SOUPS 1278237 WITH SCORE 1279875.05
AT ITER 7445 NEW BEST:: SOT 10376825 SOS 1637008 HAS SOPS 1637008 HAS SOUS 1277195 HAS SOUPS 1277195 WITH SCORE 1278832.008
AT ITER 7452 NEW BEST:: SOT 10375853 SOS 1638463 HAS SOPS 1638463 HAS SOUS 1276478 HAS SOUPS 1276478 WITH SCORE 1278116.463
AT ITER 7467 NEW BEST:: SOT 10376011 SOS 1637918 HAS SOPS 1637918 HAS SOUS 1276441 HAS SOUPS 1276441 WITH SCORE 1278078.918
AT ITER 7471 NEW BEST:: SOT 10375934 SOS 1637900 HAS SOPS 1637900 HAS SOUS 1276396 HAS SOUPS 1276396 WITH SCORE 1278033.9
AT ITER 7510 NEW BEST:: SOT 10375776 SOS 1637759 HAS SOPS 1637759 HAS SOUS 1276238 HAS SOUPS 1276238 WITH SCORE 1277875.759
AT ITER 7511 NEW BEST:: SOT 10375731 SOS 1637714 HAS SOPS 1637714 HAS SOUS 1276186 HAS SOUPS 1276186 WITH SCORE 1277823.714
AT ITER 7518 NEW BEST:: SOT 10375567 SOS 1637550 HAS SOPS 1637550 HAS SOUS 1275858 HAS SOUPS 1275858 WITH SCORE 1277495.55
AT ITER 7528 NEW BEST:: SOT 10375566 SOS 1637548 HAS SOPS 1637548 HAS SOUS 1275857 HAS SOUPS 1275857 WITH SCORE 1277494.548
AT ITER 7548 NEW BEST:: SOT 10375365 SOS 1637278 HAS SOPS 1637278 HAS SOUS 1275587 HAS SOUPS 1275587 WITH SCORE 1277224.278
AT ITER 7572 NEW BEST:: SOT 10374969 SOS 1636734 HAS SOPS 1636734 HAS SOUS 1275103 HAS SOUPS 1275103 WITH SCORE 1276739.734
AT ITER 7628 NEW BEST:: SOT 10374968 SOS 1636578 HAS SOPS 1636578 HAS SOUS 1275101 HAS SOUPS 1275101 WITH SCORE 1276737.578
AT ITER 7644 NEW BEST:: SOT 10375016 SOS 1636323 HAS SOPS 1636323 HAS SOUS 1275100 HAS SOUPS 1275100 WITH SCORE 1276736.323
AT ITER 7657 NEW BEST:: SOT 10375016 SOS 1636569 HAS SOPS 1636569 HAS SOUS 1272922 HAS SOUPS 1272922 WITH SCORE 1274558.569
AT ITER 7676 NEW BEST:: SOT 10374821 SOS 1635910 HAS SOPS 1635910 HAS SOUS 1272518 HAS SOUPS 1272518 WITH SCORE 1274153.91
AT ITER 7724 NEW BEST:: SOT 10374633 SOS 1635566 HAS SOPS 1635566 HAS SOUS 1272443 HAS SOUPS 1272443 WITH SCORE 1274078.566
AT ITER 7832 NEW BEST:: SOT 10374632 SOS 1635371 HAS SOPS 1635371 HAS SOUS 1272331 HAS SOUPS 1272331 WITH SCORE 1273966.371
AT ITER 7848 NEW BEST:: SOT 10374556 SOS 1635235 HAS SOPS 1635235 HAS SOUS 1272195 HAS SOUPS 1272195 WITH SCORE 1273830.235
AT ITER 7852 NEW BEST:: SOT 10374465 SOS 1634988 HAS SOPS 1634988 HAS SOUS 1272039 HAS SOUPS 1272039 WITH SCORE 1273673.988
AT ITER 7877 NEW BEST:: SOT 10374464 SOS 1634986 HAS SOPS 1634986 HAS SOUS 1272037 HAS SOUPS 1272037 WITH SCORE 1273671.986
AT ITER 7878 NEW BEST:: SOT 10374290 SOS 1634638 HAS SOPS 1634638 HAS SOUS 1271689 HAS SOUPS 1271689 WITH SCORE 1273323.638
AT ITER 7879 NEW BEST:: SOT 10374290 SOS 1634586 HAS SOPS 1634586 HAS SOUS 1271687 HAS SOUPS 1271687 WITH SCORE 1273321.586
AT ITER 7884 NEW BEST:: SOT 10374290 SOS 1634586 HAS SOPS 1634586 HAS SOUS 1271674 HAS SOUPS 1271674 WITH SCORE 1273308.586
AT ITER 7892 NEW BEST:: SOT 10374290 SOS 1634740 HAS SOPS 1634740 HAS SOUS 1271597 HAS SOUPS 1271597 WITH SCORE 1273231.74
AT ITER 7920 NEW BEST:: SOT 10374267 SOS 1634717 HAS SOPS 1634717 HAS SOUS 1271574 HAS SOUPS 1271574 WITH SCORE 1273208.717
AT ITER 7953 NEW BEST:: SOT 10374267 SOS 1634552 HAS SOPS 1634552 HAS SOUS 1271409 HAS SOUPS 1271409 WITH SCORE 1273043.552
AT ITER 7967 NEW BEST:: SOT 10374048 SOS 1634333 HAS SOPS 1634333 HAS SOUS 1271190 HAS SOUPS 1271190 WITH SCORE 1272824.333
AT ITER 7975 NEW BEST:: SOT 10374744 SOS 1635190 HAS SOPS 1635190 HAS SOUS 1269030 HAS SOUPS 1269030 WITH SCORE 1270665.19
AT ITER 7993 NEW BEST:: SOT 10374744 SOS 1635190 HAS SOPS 1635190 HAS SOUS 1269019 HAS SOUPS 1269019 WITH SCORE 1270654.19
AT ITER 7998 NEW BEST:: SOT 10374708 SOS 1634940 HAS SOPS 1634940 HAS SOUS 1268857 HAS SOUPS 1268857 WITH SCORE 1270491.94
AT ITER 8018 NEW BEST:: SOT 10374513 SOS 1632655 HAS SOPS 1632655 HAS SOUS 1268217 HAS SOUPS 1268217 WITH SCORE 1269849.655
AT ITER 8027 NEW BEST:: SOT 10374509 SOS 1632416 HAS SOPS 1632416 HAS SOUS 1268155 HAS SOUPS 1268155 WITH SCORE 1269787.416
AT ITER 8032 NEW BEST:: SOT 10374133 SOS 1631664 HAS SOPS 1631664 HAS SOUS 1267403 HAS SOUPS 1267403 WITH SCORE 1269034.664
AT ITER 8132 NEW BEST:: SOT 10373897 SOS 1632065 HAS SOPS 1632065 HAS SOUS 1266931 HAS SOUPS 1266931 WITH SCORE 1268563.065
AT ITER 8222 NEW BEST:: SOT 10373207 SOS 1631641 HAS SOPS 1631641 HAS SOUS 1266507 HAS SOUPS 1266507 WITH SCORE 1268138.641
AT ITER 8240 NEW BEST:: SOT 10373114 SOS 1631548 HAS SOPS 1631548 HAS SOUS 1266414 HAS SOUPS 1266414 WITH SCORE 1268045.548
AT ITER 8250 NEW BEST:: SOT 10373016 SOS 1631450 HAS SOPS 1631450 HAS SOUS 1266022 HAS SOUPS 1266022 WITH SCORE 1267653.45
AT ITER 8305 NEW BEST:: SOT 10372830 SOS 1631224 HAS SOPS 1631224 HAS SOUS 1265796 HAS SOUPS 1265796 WITH SCORE 1267427.224
AT ITER 8306 NEW BEST:: SOT 10372764 SOS 1631031 HAS SOPS 1631031 HAS SOUS 1265603 HAS SOUPS 1265603 WITH SCORE 1267234.031
AT ITER 8308 NEW BEST:: SOT 10372748 SOS 1631014 HAS SOPS 1631014 HAS SOUS 1265586 HAS SOUPS 1265586 WITH SCORE 1267217.014
AT ITER 8358 NEW BEST:: SOT 10372631 SOS 1630780 HAS SOPS 1630780 HAS SOUS 1265532 HAS SOUPS 1265532 WITH SCORE 1267162.78
AT ITER 8369 NEW BEST:: SOT 10372631 SOS 1630779 HAS SOPS 1630779 HAS SOUS 1265531 HAS SOUPS 1265531 WITH SCORE 1267161.779
AT ITER 8381 NEW BEST:: SOT 10372680 SOS 1630755 HAS SOPS 1630755 HAS SOUS 1265507 HAS SOUPS 1265507 WITH SCORE 1267137.755
AT ITER 8406 NEW BEST:: SOT 10372665 SOS 1630915 HAS SOPS 1630915 HAS SOUS 1265468 HAS SOUPS 1265468 WITH SCORE 1267098.915
AT ITER 8413 NEW BEST:: SOT 10372447 SOS 1630609 HAS SOPS 1630609 HAS SOUS 1265166 HAS SOUPS 1265166 WITH SCORE 1266796.609
AT ITER 8481 NEW BEST:: SOT 10372417 SOS 1630366 HAS SOPS 1630366 HAS SOUS 1265106 HAS SOUPS 1265106 WITH SCORE 1266736.366
AT ITER 8492 NEW BEST:: SOT 10371620 SOS 1629842 HAS SOPS 1629842 HAS SOUS 1264494 HAS SOUPS 1264494 WITH SCORE 1266123.842
AT ITER 8523 NEW BEST:: SOT 10371466 SOS 1629694 HAS SOPS 1629694 HAS SOUS 1263937 HAS SOUPS 1263937 WITH SCORE 1265566.694
AT ITER 8544 NEW BEST:: SOT 10371466 SOS 1629592 HAS SOPS 1629592 HAS SOUS 1263882 HAS SOUPS 1263882 WITH SCORE 1265511.592
AT ITER 8576 NEW BEST:: SOT 10371466 SOS 1629591 HAS SOPS 1629591 HAS SOUS 1263881 HAS SOUPS 1263881 WITH SCORE 1265510.591
AT ITER 8606 NEW BEST:: SOT 10370644 SOS 1629590 HAS SOPS 1629590 HAS SOUS 1263332 HAS SOUPS 1263332 WITH SCORE 1264961.59
AT ITER 8622 NEW BEST:: SOT 10370812 SOS 1632823 HAS SOPS 1632823 HAS SOUS 1263147 HAS SOUPS 1263147 WITH SCORE 1264779.823
AT ITER 8635 NEW BEST:: SOT 10370765 SOS 1632576 HAS SOPS 1632576 HAS SOUS 1263100 HAS SOUPS 1263100 WITH SCORE 1264732.576
AT ITER 8655 NEW BEST:: SOT 10370765 SOS 1632527 HAS SOPS 1632527 HAS SOUS 1263002 HAS SOUPS 1263002 WITH SCORE 1264634.527
AT ITER 8685 NEW BEST:: SOT 10370654 SOS 1632304 HAS SOPS 1632304 HAS SOUS 1262779 HAS SOUPS 1262779 WITH SCORE 1264411.304
AT ITER 8701 NEW BEST:: SOT 10370604 SOS 1632170 HAS SOPS 1632170 HAS SOUS 1262745 HAS SOUPS 1262745 WITH SCORE 1264377.17
AT ITER 8704 NEW BEST:: SOT 10370593 SOS 1632148 HAS SOPS 1632148 HAS SOUS 1262723 HAS SOUPS 1262723 WITH SCORE 1264355.148
AT ITER 8705 NEW BEST:: SOT 10370846 SOS 1632054 HAS SOPS 1632054 HAS SOUS 1262629 HAS SOUPS 1262629 WITH SCORE 1264261.054
AT ITER 8726 NEW BEST:: SOT 10370802 SOS 1631962 HAS SOPS 1631962 HAS SOUS 1262537 HAS SOUPS 1262537 WITH SCORE 1264168.962
AT ITER 8798 NEW BEST:: SOT 10370789 SOS 1631663 HAS SOPS 1631663 HAS SOUS 1262506 HAS SOUPS 1262506 WITH SCORE 1264137.663
AT ITER 8800 NEW BEST:: SOT 10371098 SOS 1635009 HAS SOPS 1635009 HAS SOUS 1260035 HAS SOUPS 1260035 WITH SCORE 1261670.009
AT ITER 8806 NEW BEST:: SOT 10371084 SOS 1634969 HAS SOPS 1634969 HAS SOUS 1259995 HAS SOUPS 1259995 WITH SCORE 1261629.969
AT ITER 8818 NEW BEST:: SOT 10370925 SOS 1634868 HAS SOPS 1634868 HAS SOUS 1259894 HAS SOUPS 1259894 WITH SCORE 1261528.868
AT ITER 8820 NEW BEST:: SOT 10370849 SOS 1634634 HAS SOPS 1634634 HAS SOUS 1259660 HAS SOUPS 1259660 WITH SCORE 1261294.634
AT ITER 8871 NEW BEST:: SOT 10370518 SOS 1634265 HAS SOPS 1634265 HAS SOUS 1259291 HAS SOUPS 1259291 WITH SCORE 1260925.265
AT ITER 8904 NEW BEST:: SOT 10370444 SOS 1634057 HAS SOPS 1634057 HAS SOUS 1259083 HAS SOUPS 1259083 WITH SCORE 1260717.057
AT ITER 8923 NEW BEST:: SOT 10370877 SOS 1636572 HAS SOPS 1636572 HAS SOUS 1258145 HAS SOUPS 1258145 WITH SCORE 1259781.572
AT ITER 8940 NEW BEST:: SOT 10370132 SOS 1635414 HAS SOPS 1635414 HAS SOUS 1257029 HAS SOUPS 1257029 WITH SCORE 1258664.414
AT ITER 8956 NEW BEST:: SOT 10370196 SOS 1635150 HAS SOPS 1635150 HAS SOUS 1256929 HAS SOUPS 1256929 WITH SCORE 1258564.15
AT ITER 8985 NEW BEST:: SOT 10370140 SOS 1635038 HAS SOPS 1635038 HAS SOUS 1256817 HAS SOUPS 1256817 WITH SCORE 1258452.038
AT ITER 8992 NEW BEST:: SOT 10370140 SOS 1634685 HAS SOPS 1634685 HAS SOUS 1256817 HAS SOUPS 1256817 WITH SCORE 1258451.685
AT ITER 9013 NEW BEST:: SOT 10370140 SOS 1634529 HAS SOPS 1634529 HAS SOUS 1256817 HAS SOUPS 1256817 WITH SCORE 1258451.529
AT ITER 9014 NEW BEST:: SOT 10370102 SOS 1634503 HAS SOPS 1634503 HAS SOUS 1256803 HAS SOUPS 1256803 WITH SCORE 1258437.503
AT ITER 9031 NEW BEST:: SOT 10370044 SOS 1633992 HAS SOPS 1633992 HAS SOUS 1256362 HAS SOUPS 1256362 WITH SCORE 1257995.992
AT ITER 9053 NEW BEST:: SOT 10369853 SOS 1634757 HAS SOPS 1634757 HAS SOUS 1256139 HAS SOUPS 1256139 WITH SCORE 1257773.757
AT ITER 9075 NEW BEST:: SOT 10369766 SOS 1634393 HAS SOPS 1634393 HAS SOUS 1255921 HAS SOUPS 1255921 WITH SCORE 1257555.393
AT ITER 9078 NEW BEST:: SOT 10369766 SOS 1634376 HAS SOPS 1634376 HAS SOUS 1255902 HAS SOUPS 1255902 WITH SCORE 1257536.376
AT ITER 9089 NEW BEST:: SOT 10369796 SOS 1634536 HAS SOPS 1634536 HAS SOUS 1255875 HAS SOUPS 1255875 WITH SCORE 1257509.536
AT ITER 9095 NEW BEST:: SOT 10369796 SOS 1634535 HAS SOPS 1634535 HAS SOUS 1255874 HAS SOUPS 1255874 WITH SCORE 1257508.535
AT ITER 9116 NEW BEST:: SOT 10369664 SOS 1634271 HAS SOPS 1634271 HAS SOUS 1255610 HAS SOUPS 1255610 WITH SCORE 1257244.271
AT ITER 9154 NEW BEST:: SOT 10369664 SOS 1634271 HAS SOPS 1634271 HAS SOUS 1255598 HAS SOUPS 1255598 WITH SCORE 1257232.271
AT ITER 9161 NEW BEST:: SOT 10369462 SOS 1634023 HAS SOPS 1634023 HAS SOUS 1253802 HAS SOUPS 1253802 WITH SCORE 1255436.023
AT ITER 9167 NEW BEST:: SOT 10369462 SOS 1633830 HAS SOPS 1633830 HAS SOUS 1253766 HAS SOUPS 1253766 WITH SCORE 1255399.83
AT ITER 9210 NEW BEST:: SOT 10368621 SOS 1633156 HAS SOPS 1633156 HAS SOUS 1252924 HAS SOUPS 1252924 WITH SCORE 1254557.156
AT ITER 9215 NEW BEST:: SOT 10368490 SOS 1632051 HAS SOPS 1632051 HAS SOUS 1251819 HAS SOUPS 1251819 WITH SCORE 1253451.051
AT ITER 9228 NEW BEST:: SOT 10368489 SOS 1632049 HAS SOPS 1632049 HAS SOUS 1251817 HAS SOUPS 1251817 WITH SCORE 1253449.049
AT ITER 9257 NEW BEST:: SOT 10367727 SOS 1631215 HAS SOPS 1631215 HAS SOUS 1250815 HAS SOUPS 1250815 WITH SCORE 1252446.215
AT ITER 9265 NEW BEST:: SOT 10367591 SOS 1630807 HAS SOPS 1630807 HAS SOUS 1250529 HAS SOUPS 1250529 WITH SCORE 1252159.807
AT ITER 9266 NEW BEST:: SOT 10367630 SOS 1630794 HAS SOPS 1630794 HAS SOUS 1250518 HAS SOUPS 1250518 WITH SCORE 1252148.794
AT ITER 9292 NEW BEST:: SOT 10367630 SOS 1631113 HAS SOPS 1631113 HAS SOUS 1250459 HAS SOUPS 1250459 WITH SCORE 1252090.113
AT ITER 9298 NEW BEST:: SOT 10367424 SOS 1631554 HAS SOPS 1631554 HAS SOUS 1250316 HAS SOUPS 1250316 WITH SCORE 1251947.554
AT ITER 9338 NEW BEST:: SOT 10367424 SOS 1631549 HAS SOPS 1631549 HAS SOUS 1250311 HAS SOUPS 1250311 WITH SCORE 1251942.549
AT ITER 9347 NEW BEST:: SOT 10367335 SOS 1631459 HAS SOPS 1631459 HAS SOUS 1250221 HAS SOUPS 1250221 WITH SCORE 1251852.459
AT ITER 9383 NEW BEST:: SOT 10367334 SOS 1631452 HAS SOPS 1631452 HAS SOUS 1250219 HAS SOUPS 1250219 WITH SCORE 1251850.452
AT ITER 9391 NEW BEST:: SOT 10367353 SOS 1631234 HAS SOPS 1631234 HAS SOUS 1250078 HAS SOUPS 1250078 WITH SCORE 1251709.234
AT ITER 9397 NEW BEST:: SOT 10367222 SOS 1631092 HAS SOPS 1631092 HAS SOUS 1250065 HAS SOUPS 1250065 WITH SCORE 1251696.092
AT ITER 9419 NEW BEST:: SOT 10367194 SOS 1631036 HAS SOPS 1631036 HAS SOUS 1250009 HAS SOUPS 1250009 WITH SCORE 1251640.036
AT ITER 9429 NEW BEST:: SOT 10368310 SOS 1632711 HAS SOPS 1632711 HAS SOUS 1248756 HAS SOUPS 1248756 WITH SCORE 1250388.711
AT ITER 9453 NEW BEST:: SOT 10368241 SOS 1632503 HAS SOPS 1632503 HAS SOUS 1248618 HAS SOUPS 1248618 WITH SCORE 1250250.503
AT ITER 9473 NEW BEST:: SOT 10368231 SOS 1632483 HAS SOPS 1632483 HAS SOUS 1248607 HAS SOUPS 1248607 WITH SCORE 1250239.483
AT ITER 9479 NEW BEST:: SOT 10368231 SOS 1632287 HAS SOPS 1632287 HAS SOUS 1248411 HAS SOUPS 1248411 WITH SCORE 1250043.287
AT ITER 9498 NEW BEST:: SOT 10368214 SOS 1632253 HAS SOPS 1632253 HAS SOUS 1248377 HAS SOUPS 1248377 WITH SCORE 1250009.253
AT ITER 9515 NEW BEST:: SOT 10368214 SOS 1631983 HAS SOPS 1631983 HAS SOUS 1248106 HAS SOUPS 1248106 WITH SCORE 1249737.983
AT ITER 9519 NEW BEST:: SOT 10368372 SOS 1632108 HAS SOPS 1632108 HAS SOUS 1247890 HAS SOUPS 1247890 WITH SCORE 1249522.108
AT ITER 9560 NEW BEST:: SOT 10368336 SOS 1632036 HAS SOPS 1632036 HAS SOUS 1247818 HAS SOUPS 1247818 WITH SCORE 1249450.036
AT ITER 9590 NEW BEST:: SOT 10368336 SOS 1631928 HAS SOPS 1631928 HAS SOUS 1247818 HAS SOUPS 1247818 WITH SCORE 1249449.928
AT ITER 9601 NEW BEST:: SOT 10365481 SOS 1628937 HAS SOPS 1628937 HAS SOUS 1246427 HAS SOUPS 1246427 WITH SCORE 1248055.937
AT ITER 9627 NEW BEST:: SOT 10365261 SOS 1627484 HAS SOPS 1627484 HAS SOUS 1245968 HAS SOUPS 1245968 WITH SCORE 1247595.484
AT ITER 9659 NEW BEST:: SOT 10365206 SOS 1627484 HAS SOPS 1627484 HAS SOUS 1245913 HAS SOUPS 1245913 WITH SCORE 1247540.484
AT ITER 9663 NEW BEST:: SOT 10365068 SOS 1626492 HAS SOPS 1626492 HAS SOUS 1245715 HAS SOUPS 1245715 WITH SCORE 1247341.492
AT ITER 9664 NEW BEST:: SOT 10365063 SOS 1626294 HAS SOPS 1626294 HAS SOUS 1245543 HAS SOUPS 1245543 WITH SCORE 1247169.294
AT ITER 9672 NEW BEST:: SOT 10365063 SOS 1626294 HAS SOPS 1626294 HAS SOUS 1245362 HAS SOUPS 1245362 WITH SCORE 1246988.294
AT ITER 9680 NEW BEST:: SOT 10364988 SOS 1625915 HAS SOPS 1625915 HAS SOUS 1245166 HAS SOUPS 1245166 WITH SCORE 1246791.915
AT ITER 9734 NEW BEST:: SOT 10364809 SOS 1625736 HAS SOPS 1625736 HAS SOUS 1244987 HAS SOUPS 1244987 WITH SCORE 1246612.736
AT ITER 9740 NEW BEST:: SOT 10364480 SOS 1625305 HAS SOPS 1625305 HAS SOUS 1244556 HAS SOUPS 1244556 WITH SCORE 1246181.305
AT ITER 9794 NEW BEST:: SOT 10364415 SOS 1625470 HAS SOPS 1625470 HAS SOUS 1244426 HAS SOUPS 1244426 WITH SCORE 1246051.47
AT ITER 9803 NEW BEST:: SOT 10364371 SOS 1625382 HAS SOPS 1625382 HAS SOUS 1244338 HAS SOUPS 1244338 WITH SCORE 1245963.382
AT ITER 9836 NEW BEST:: SOT 10364333 SOS 1625446 HAS SOPS 1625446 HAS SOUS 1244262 HAS SOUPS 1244262 WITH SCORE 1245887.446
AT ITER 9847 NEW BEST:: SOT 10364296 SOS 1625372 HAS SOPS 1625372 HAS SOUS 1244188 HAS SOUPS 1244188 WITH SCORE 1245813.372
AT ITER 9885 NEW BEST:: SOT 10364156 SOS 1625748 HAS SOPS 1625748 HAS SOUS 1244048 HAS SOUPS 1244048 WITH SCORE 1245673.748
AT ITER 9887 NEW BEST:: SOT 10364156 SOS 1625668 HAS SOPS 1625668 HAS SOUS 1243974 HAS SOUPS 1243974 WITH SCORE 1245599.668
AT ITER 9937 NEW BEST:: SOT 10364125 SOS 1625606 HAS SOPS 1625606 HAS SOUS 1243943 HAS SOUPS 1243943 WITH SCORE 1245568.606
AT ITER 9991 NEW BEST:: SOT 10364123 SOS 1625602 HAS SOPS 1625602 HAS SOUS 1243939 HAS SOUPS 1243939 WITH SCORE 1245564.602
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14367668 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151788 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="ASLink-PT-09b"
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 ASLink-PT-09b, 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 r003-oct2-167813590500152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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