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-167814472800712.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 DLCround-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472800712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 18:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 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.1M 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 1678259293723

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=DLCround-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08b
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: 3088 places, 4732 transitions, 13004 arcs.
AT ITER 0 NEW BEST:: SOT 9173617 SOS 2109158 HAS SOPS 2109158 HAS SOUS 1266858 HAS SOUPS 1266858 WITH SCORE 1268967.158
AT ITER 7 NEW BEST:: SOT 9173617 SOS 2109931 HAS SOPS 2109931 HAS SOUS 1266857 HAS SOUPS 1266857 WITH SCORE 1268966.931
AT ITER 48 NEW BEST:: SOT 9173572 SOS 2109901 HAS SOPS 2109901 HAS SOUS 1266827 HAS SOUPS 1266827 WITH SCORE 1268936.901
AT ITER 56 NEW BEST:: SOT 9173572 SOS 2109901 HAS SOPS 2109901 HAS SOUS 1266823 HAS SOUPS 1266823 WITH SCORE 1268932.901
AT ITER 79 NEW BEST:: SOT 9173099 SOS 2108955 HAS SOPS 2108955 HAS SOUS 1265840 HAS SOUPS 1265840 WITH SCORE 1267948.955
AT ITER 94 NEW BEST:: SOT 9173148 SOS 2108761 HAS SOPS 2108761 HAS SOUS 1265768 HAS SOUPS 1265768 WITH SCORE 1267876.761
AT ITER 143 NEW BEST:: SOT 9173148 SOS 2109729 HAS SOPS 2109729 HAS SOUS 1265767 HAS SOUPS 1265767 WITH SCORE 1267876.729
AT ITER 146 NEW BEST:: SOT 9172606 SOS 2109177 HAS SOPS 2109177 HAS SOUS 1265224 HAS SOUPS 1265224 WITH SCORE 1267333.177
AT ITER 158 NEW BEST:: SOT 9172519 SOS 2109776 HAS SOPS 2109776 HAS SOUS 1265049 HAS SOUPS 1265049 WITH SCORE 1267158.776
AT ITER 159 NEW BEST:: SOT 9171587 SOS 2108844 HAS SOPS 2108844 HAS SOUS 1264117 HAS SOUPS 1264117 WITH SCORE 1266225.844
AT ITER 190 NEW BEST:: SOT 9170819 SOS 2107758 HAS SOPS 2107758 HAS SOUS 1263031 HAS SOUPS 1263031 WITH SCORE 1265138.758
AT ITER 210 NEW BEST:: SOT 9170169 SOS 2107108 HAS SOPS 2107108 HAS SOUS 1262381 HAS SOUPS 1262381 WITH SCORE 1264488.108
AT ITER 247 NEW BEST:: SOT 9169777 SOS 2109801 HAS SOPS 2109801 HAS SOUS 1262362 HAS SOUPS 1262362 WITH SCORE 1264471.801
AT ITER 257 NEW BEST:: SOT 9169777 SOS 2109792 HAS SOPS 2109792 HAS SOUS 1262353 HAS SOUPS 1262353 WITH SCORE 1264462.792
AT ITER 259 NEW BEST:: SOT 9169777 SOS 2110907 HAS SOPS 2110907 HAS SOUS 1262351 HAS SOUPS 1262351 WITH SCORE 1264461.907
AT ITER 317 NEW BEST:: SOT 9169750 SOS 2110899 HAS SOPS 2110899 HAS SOUS 1262333 HAS SOUPS 1262333 WITH SCORE 1264443.899
AT ITER 343 NEW BEST:: SOT 9169451 SOS 2110301 HAS SOPS 2110301 HAS SOUS 1262033 HAS SOUPS 1262033 WITH SCORE 1264143.301
AT ITER 356 NEW BEST:: SOT 9169549 SOS 2113979 HAS SOPS 2113979 HAS SOUS 1261840 HAS SOUPS 1261840 WITH SCORE 1263953.979
AT ITER 364 NEW BEST:: SOT 9169549 SOS 2114678 HAS SOPS 2114678 HAS SOUS 1261839 HAS SOUPS 1261839 WITH SCORE 1263953.678
AT ITER 412 NEW BEST:: SOT 9169549 SOS 2114678 HAS SOPS 2114678 HAS SOUS 1261837 HAS SOUPS 1261837 WITH SCORE 1263951.678
AT ITER 437 NEW BEST:: SOT 9169289 SOS 2114928 HAS SOPS 2114928 HAS SOUS 1261836 HAS SOUPS 1261836 WITH SCORE 1263950.928
AT ITER 444 NEW BEST:: SOT 9168816 SOS 2114728 HAS SOPS 2114728 HAS SOUS 1261045 HAS SOUPS 1261045 WITH SCORE 1263159.728
AT ITER 445 NEW BEST:: SOT 9168714 SOS 2114524 HAS SOPS 2114524 HAS SOUS 1260841 HAS SOUPS 1260841 WITH SCORE 1262955.524
AT ITER 458 NEW BEST:: SOT 9168780 SOS 2114092 HAS SOPS 2114092 HAS SOUS 1260409 HAS SOUPS 1260409 WITH SCORE 1262523.092
AT ITER 473 NEW BEST:: SOT 9168780 SOS 2112970 HAS SOPS 2112970 HAS SOUS 1260035 HAS SOUPS 1260035 WITH SCORE 1262147.97
AT ITER 505 NEW BEST:: SOT 9168769 SOS 2112958 HAS SOPS 2112958 HAS SOUS 1260023 HAS SOUPS 1260023 WITH SCORE 1262135.958
AT ITER 512 NEW BEST:: SOT 9168673 SOS 2112862 HAS SOPS 2112862 HAS SOUS 1260023 HAS SOUPS 1260023 WITH SCORE 1262135.862
AT ITER 522 NEW BEST:: SOT 9167858 SOS 2112531 HAS SOPS 2112531 HAS SOUS 1259641 HAS SOUPS 1259641 WITH SCORE 1261753.531
AT ITER 548 NEW BEST:: SOT 9167537 SOS 2112528 HAS SOPS 2112528 HAS SOUS 1258998 HAS SOUPS 1258998 WITH SCORE 1261110.528
AT ITER 550 NEW BEST:: SOT 9167666 SOS 2112786 HAS SOPS 2112786 HAS SOUS 1258691 HAS SOUPS 1258691 WITH SCORE 1260803.786
AT ITER 566 NEW BEST:: SOT 9167486 SOS 2112693 HAS SOPS 2112693 HAS SOUS 1258600 HAS SOUPS 1258600 WITH SCORE 1260712.693
AT ITER 589 NEW BEST:: SOT 9167463 SOS 2112647 HAS SOPS 2112647 HAS SOUS 1258554 HAS SOUPS 1258554 WITH SCORE 1260666.647
AT ITER 590 NEW BEST:: SOT 9167400 SOS 2112646 HAS SOPS 2112646 HAS SOUS 1258553 HAS SOUPS 1258553 WITH SCORE 1260665.646
AT ITER 595 NEW BEST:: SOT 9167412 SOS 2112575 HAS SOPS 2112575 HAS SOUS 1258482 HAS SOUPS 1258482 WITH SCORE 1260594.575
AT ITER 600 NEW BEST:: SOT 9166965 SOS 2112128 HAS SOPS 2112128 HAS SOUS 1258035 HAS SOUPS 1258035 WITH SCORE 1260147.128
AT ITER 623 NEW BEST:: SOT 9166620 SOS 2112118 HAS SOPS 2112118 HAS SOUS 1257930 HAS SOUPS 1257930 WITH SCORE 1260042.118
AT ITER 627 NEW BEST:: SOT 9166461 SOS 2111800 HAS SOPS 2111800 HAS SOUS 1257612 HAS SOUPS 1257612 WITH SCORE 1259723.8
AT ITER 663 NEW BEST:: SOT 9166461 SOS 2111519 HAS SOPS 2111519 HAS SOUS 1257331 HAS SOUPS 1257331 WITH SCORE 1259442.519
AT ITER 666 NEW BEST:: SOT 9165986 SOS 2110569 HAS SOPS 2110569 HAS SOUS 1255740 HAS SOUPS 1255740 WITH SCORE 1257850.569
AT ITER 668 NEW BEST:: SOT 9165464 SOS 2109525 HAS SOPS 2109525 HAS SOUS 1254696 HAS SOUPS 1254696 WITH SCORE 1256805.525
AT ITER 683 NEW BEST:: SOT 9165463 SOS 2109523 HAS SOPS 2109523 HAS SOUS 1254694 HAS SOUPS 1254694 WITH SCORE 1256803.523
AT ITER 693 NEW BEST:: SOT 9165446 SOS 2109472 HAS SOPS 2109472 HAS SOUS 1254677 HAS SOUPS 1254677 WITH SCORE 1256786.472
AT ITER 758 NEW BEST:: SOT 9165717 SOS 2109224 HAS SOPS 2109224 HAS SOUS 1254429 HAS SOUPS 1254429 WITH SCORE 1256538.224
AT ITER 794 NEW BEST:: SOT 9165015 SOS 2105012 HAS SOPS 2105012 HAS SOUS 1253376 HAS SOUPS 1253376 WITH SCORE 1255481.012
AT ITER 801 NEW BEST:: SOT 9164583 SOS 2104427 HAS SOPS 2104427 HAS SOUS 1252791 HAS SOUPS 1252791 WITH SCORE 1254895.427
AT ITER 806 NEW BEST:: SOT 9164138 SOS 2103982 HAS SOPS 2103982 HAS SOUS 1252346 HAS SOUPS 1252346 WITH SCORE 1254449.982
AT ITER 812 NEW BEST:: SOT 9164138 SOS 2102785 HAS SOPS 2102785 HAS SOUS 1251947 HAS SOUPS 1251947 WITH SCORE 1254049.785
AT ITER 859 NEW BEST:: SOT 9164024 SOS 2103003 HAS SOPS 2103003 HAS SOUS 1251946 HAS SOUPS 1251946 WITH SCORE 1254049.003
AT ITER 863 NEW BEST:: SOT 9164024 SOS 2103830 HAS SOPS 2103830 HAS SOUS 1251945 HAS SOUPS 1251945 WITH SCORE 1254048.83
AT ITER 864 NEW BEST:: SOT 9164060 SOS 2104144 HAS SOPS 2104144 HAS SOUS 1251944 HAS SOUPS 1251944 WITH SCORE 1254048.144
AT ITER 873 NEW BEST:: SOT 9162036 SOS 2102672 HAS SOPS 2102672 HAS SOUS 1251392 HAS SOUPS 1251392 WITH SCORE 1253494.672
AT ITER 881 NEW BEST:: SOT 9161968 SOS 2102604 HAS SOPS 2102604 HAS SOUS 1251324 HAS SOUPS 1251324 WITH SCORE 1253426.604
AT ITER 887 NEW BEST:: SOT 9161810 SOS 2102288 HAS SOPS 2102288 HAS SOUS 1251008 HAS SOUPS 1251008 WITH SCORE 1253110.288
AT ITER 893 NEW BEST:: SOT 9161810 SOS 2102285 HAS SOPS 2102285 HAS SOUS 1251007 HAS SOUPS 1251007 WITH SCORE 1253109.285
AT ITER 895 NEW BEST:: SOT 9161810 SOS 2102284 HAS SOPS 2102284 HAS SOUS 1251006 HAS SOUPS 1251006 WITH SCORE 1253108.284
AT ITER 908 NEW BEST:: SOT 9161809 SOS 2102248 HAS SOPS 2102248 HAS SOUS 1250970 HAS SOUPS 1250970 WITH SCORE 1253072.248
AT ITER 919 NEW BEST:: SOT 9161671 SOS 2102179 HAS SOPS 2102179 HAS SOUS 1250901 HAS SOUPS 1250901 WITH SCORE 1253003.179
AT ITER 923 NEW BEST:: SOT 9162093 SOS 2103023 HAS SOPS 2103023 HAS SOUS 1250817 HAS SOUPS 1250817 WITH SCORE 1252920.023
AT ITER 928 NEW BEST:: SOT 9161684 SOS 2102614 HAS SOPS 2102614 HAS SOUS 1250408 HAS SOUPS 1250408 WITH SCORE 1252510.614
AT ITER 949 NEW BEST:: SOT 9161684 SOS 2102321 HAS SOPS 2102321 HAS SOUS 1250115 HAS SOUPS 1250115 WITH SCORE 1252217.321
AT ITER 1000 NEW BEST:: SOT 9161616 SOS 2102117 HAS SOPS 2102117 HAS SOUS 1249911 HAS SOUPS 1249911 WITH SCORE 1252013.117
AT ITER 1055 NEW BEST:: SOT 9161566 SOS 2102017 HAS SOPS 2102017 HAS SOUS 1249811 HAS SOUPS 1249811 WITH SCORE 1251913.017
AT ITER 1081 NEW BEST:: SOT 9161300 SOS 2101751 HAS SOPS 2101751 HAS SOUS 1249545 HAS SOUPS 1249545 WITH SCORE 1251646.751
AT ITER 1082 NEW BEST:: SOT 9161331 SOS 2101813 HAS SOPS 2101813 HAS SOUS 1249497 HAS SOUPS 1249497 WITH SCORE 1251598.813
AT ITER 1094 NEW BEST:: SOT 9161255 SOS 2101661 HAS SOPS 2101661 HAS SOUS 1249421 HAS SOUPS 1249421 WITH SCORE 1251522.661
AT ITER 1099 NEW BEST:: SOT 9160474 SOS 2101611 HAS SOPS 2101611 HAS SOUS 1249206 HAS SOUPS 1249206 WITH SCORE 1251307.611
AT ITER 1129 NEW BEST:: SOT 9160474 SOS 2101611 HAS SOPS 2101611 HAS SOUS 1249205 HAS SOUPS 1249205 WITH SCORE 1251306.611
AT ITER 1193 NEW BEST:: SOT 9160145 SOS 2101279 HAS SOPS 2101279 HAS SOUS 1248875 HAS SOUPS 1248875 WITH SCORE 1250976.279
AT ITER 1199 NEW BEST:: SOT 9159690 SOS 2100369 HAS SOPS 2100369 HAS SOUS 1247965 HAS SOUPS 1247965 WITH SCORE 1250065.369
AT ITER 1205 NEW BEST:: SOT 9159169 SOS 2099848 HAS SOPS 2099848 HAS SOUS 1247444 HAS SOUPS 1247444 WITH SCORE 1249543.848
AT ITER 1226 NEW BEST:: SOT 9158578 SOS 2100325 HAS SOPS 2100325 HAS SOUS 1247281 HAS SOUPS 1247281 WITH SCORE 1249381.325
AT ITER 1237 NEW BEST:: SOT 9158506 SOS 2100177 HAS SOPS 2100177 HAS SOUS 1247136 HAS SOUPS 1247136 WITH SCORE 1249236.177
AT ITER 1246 NEW BEST:: SOT 9158063 SOS 2099291 HAS SOPS 2099291 HAS SOUS 1245785 HAS SOUPS 1245785 WITH SCORE 1247884.291
AT ITER 1295 NEW BEST:: SOT 9157616 SOS 2099435 HAS SOPS 2099435 HAS SOUS 1245684 HAS SOUPS 1245684 WITH SCORE 1247783.435
AT ITER 1316 NEW BEST:: SOT 9157616 SOS 2100200 HAS SOPS 2100200 HAS SOUS 1244919 HAS SOUPS 1244919 WITH SCORE 1247019.2
AT ITER 1327 NEW BEST:: SOT 9157403 SOS 2099774 HAS SOPS 2099774 HAS SOUS 1244493 HAS SOUPS 1244493 WITH SCORE 1246592.774
AT ITER 1351 NEW BEST:: SOT 9157358 SOS 2100365 HAS SOPS 2100365 HAS SOUS 1244448 HAS SOUPS 1244448 WITH SCORE 1246548.365
AT ITER 1384 NEW BEST:: SOT 9157004 SOS 2100143 HAS SOPS 2100143 HAS SOUS 1244224 HAS SOUPS 1244224 WITH SCORE 1246324.143
AT ITER 1391 NEW BEST:: SOT 9156905 SOS 2100067 HAS SOPS 2100067 HAS SOUS 1244148 HAS SOUPS 1244148 WITH SCORE 1246248.067
AT ITER 1437 NEW BEST:: SOT 9156905 SOS 2100028 HAS SOPS 2100028 HAS SOUS 1244109 HAS SOUPS 1244109 WITH SCORE 1246209.028
AT ITER 1438 NEW BEST:: SOT 9156851 SOS 2100030 HAS SOPS 2100030 HAS SOUS 1244090 HAS SOUPS 1244090 WITH SCORE 1246190.03
AT ITER 1463 NEW BEST:: SOT 9156613 SOS 2103135 HAS SOPS 2103135 HAS SOUS 1243560 HAS SOUPS 1243560 WITH SCORE 1245663.135
AT ITER 1470 NEW BEST:: SOT 9156481 SOS 2102871 HAS SOPS 2102871 HAS SOUS 1243538 HAS SOUPS 1243538 WITH SCORE 1245640.871
AT ITER 1495 NEW BEST:: SOT 9156077 SOS 2102467 HAS SOPS 2102467 HAS SOUS 1243134 HAS SOUPS 1243134 WITH SCORE 1245236.467
AT ITER 1564 NEW BEST:: SOT 9156077 SOS 2102574 HAS SOPS 2102574 HAS SOUS 1243133 HAS SOUPS 1243133 WITH SCORE 1245235.574
AT ITER 1590 NEW BEST:: SOT 9156077 SOS 2102907 HAS SOPS 2102907 HAS SOUS 1243035 HAS SOUPS 1243035 WITH SCORE 1245137.907
AT ITER 1599 NEW BEST:: SOT 9155653 SOS 2102897 HAS SOPS 2102897 HAS SOUS 1242743 HAS SOUPS 1242743 WITH SCORE 1244845.897
AT ITER 1601 NEW BEST:: SOT 9155568 SOS 2102727 HAS SOPS 2102727 HAS SOUS 1242658 HAS SOUPS 1242658 WITH SCORE 1244760.727
AT ITER 1612 NEW BEST:: SOT 9155549 SOS 2102689 HAS SOPS 2102689 HAS SOUS 1242620 HAS SOUPS 1242620 WITH SCORE 1244722.689
AT ITER 1638 NEW BEST:: SOT 9155279 SOS 2102685 HAS SOPS 2102685 HAS SOUS 1242619 HAS SOUPS 1242619 WITH SCORE 1244721.685
AT ITER 1643 NEW BEST:: SOT 9154640 SOS 2102387 HAS SOPS 2102387 HAS SOUS 1242499 HAS SOUPS 1242499 WITH SCORE 1244601.387
AT ITER 1660 NEW BEST:: SOT 9154640 SOS 2103070 HAS SOPS 2103070 HAS SOUS 1242155 HAS SOUPS 1242155 WITH SCORE 1244258.07
AT ITER 1665 NEW BEST:: SOT 9153987 SOS 2103723 HAS SOPS 2103723 HAS SOUS 1241376 HAS SOUPS 1241376 WITH SCORE 1243479.723
AT ITER 1681 NEW BEST:: SOT 9153987 SOS 2102538 HAS SOPS 2102538 HAS SOUS 1241376 HAS SOUPS 1241376 WITH SCORE 1243478.538
AT ITER 1715 NEW BEST:: SOT 9153518 SOS 2102065 HAS SOPS 2102065 HAS SOUS 1240906 HAS SOUPS 1240906 WITH SCORE 1243008.065
AT ITER 1720 NEW BEST:: SOT 9153259 SOS 2102267 HAS SOPS 2102267 HAS SOUS 1240444 HAS SOUPS 1240444 WITH SCORE 1242546.267
AT ITER 1725 NEW BEST:: SOT 9153161 SOS 2102169 HAS SOPS 2102169 HAS SOUS 1240346 HAS SOUPS 1240346 WITH SCORE 1242448.169
AT ITER 1741 NEW BEST:: SOT 9152903 SOS 2101782 HAS SOPS 2101782 HAS SOUS 1239959 HAS SOUPS 1239959 WITH SCORE 1242060.782
AT ITER 1745 NEW BEST:: SOT 9152817 SOS 2101606 HAS SOPS 2101606 HAS SOUS 1239786 HAS SOUPS 1239786 WITH SCORE 1241887.606
AT ITER 1757 NEW BEST:: SOT 9152728 SOS 2101517 HAS SOPS 2101517 HAS SOUS 1239697 HAS SOUPS 1239697 WITH SCORE 1241798.517
AT ITER 1765 NEW BEST:: SOT 9152044 SOS 2100148 HAS SOPS 2100148 HAS SOUS 1238328 HAS SOUPS 1238328 WITH SCORE 1240428.148
AT ITER 1810 NEW BEST:: SOT 9152071 SOS 2101084 HAS SOPS 2101084 HAS SOUS 1238279 HAS SOUPS 1238279 WITH SCORE 1240380.084
AT ITER 1816 NEW BEST:: SOT 9149952 SOS 2096134 HAS SOPS 2096134 HAS SOUS 1235142 HAS SOUPS 1235142 WITH SCORE 1237238.134
AT ITER 1833 NEW BEST:: SOT 9149946 SOS 2096122 HAS SOPS 2096122 HAS SOUS 1235136 HAS SOUPS 1235136 WITH SCORE 1237232.122
AT ITER 1842 NEW BEST:: SOT 9149927 SOS 2096049 HAS SOPS 2096049 HAS SOUS 1235063 HAS SOUPS 1235063 WITH SCORE 1237159.049
AT ITER 1848 NEW BEST:: SOT 9149850 SOS 2096046 HAS SOPS 2096046 HAS SOUS 1234908 HAS SOUPS 1234908 WITH SCORE 1237004.046
AT ITER 1863 NEW BEST:: SOT 9149850 SOS 2095023 HAS SOPS 2095023 HAS SOUS 1234567 HAS SOUPS 1234567 WITH SCORE 1236662.023
AT ITER 1922 NEW BEST:: SOT 9149054 SOS 2093070 HAS SOPS 2093070 HAS SOUS 1233251 HAS SOUPS 1233251 WITH SCORE 1235344.07
AT ITER 1924 NEW BEST:: SOT 9149054 SOS 2093067 HAS SOPS 2093067 HAS SOUS 1233250 HAS SOUPS 1233250 WITH SCORE 1235343.067
AT ITER 1933 NEW BEST:: SOT 9148814 SOS 2092827 HAS SOPS 2092827 HAS SOUS 1233010 HAS SOUPS 1233010 WITH SCORE 1235102.827
AT ITER 1948 NEW BEST:: SOT 9148683 SOS 2092565 HAS SOPS 2092565 HAS SOUS 1232748 HAS SOUPS 1232748 WITH SCORE 1234840.565
AT ITER 1965 NEW BEST:: SOT 9149055 SOS 2094960 HAS SOPS 2094960 HAS SOUS 1232664 HAS SOUPS 1232664 WITH SCORE 1234758.96
AT ITER 1975 NEW BEST:: SOT 9149055 SOS 2094998 HAS SOPS 2094998 HAS SOUS 1232663 HAS SOUPS 1232663 WITH SCORE 1234757.998
AT ITER 2016 NEW BEST:: SOT 9148579 SOS 2094626 HAS SOPS 2094626 HAS SOUS 1232239 HAS SOUPS 1232239 WITH SCORE 1234333.626
AT ITER 2063 NEW BEST:: SOT 9147895 SOS 2093942 HAS SOPS 2093942 HAS SOUS 1231555 HAS SOUPS 1231555 WITH SCORE 1233648.942
AT ITER 2068 NEW BEST:: SOT 9147539 SOS 2095080 HAS SOPS 2095080 HAS SOUS 1230842 HAS SOUPS 1230842 WITH SCORE 1232937.08
AT ITER 2081 NEW BEST:: SOT 9147497 SOS 2095155 HAS SOPS 2095155 HAS SOUS 1230757 HAS SOUPS 1230757 WITH SCORE 1232852.155
AT ITER 2090 NEW BEST:: SOT 9147487 SOS 2095063 HAS SOPS 2095063 HAS SOUS 1230665 HAS SOUPS 1230665 WITH SCORE 1232760.063
AT ITER 2114 NEW BEST:: SOT 9147179 SOS 2094139 HAS SOPS 2094139 HAS SOUS 1229769 HAS SOUPS 1229769 WITH SCORE 1231863.139
AT ITER 2126 NEW BEST:: SOT 9147144 SOS 2094016 HAS SOPS 2094016 HAS SOUS 1229646 HAS SOUPS 1229646 WITH SCORE 1231740.016
AT ITER 2139 NEW BEST:: SOT 9146982 SOS 2093692 HAS SOPS 2093692 HAS SOUS 1229293 HAS SOUPS 1229293 WITH SCORE 1231386.692
AT ITER 2154 NEW BEST:: SOT 9146982 SOS 2093691 HAS SOPS 2093691 HAS SOUS 1228994 HAS SOUPS 1228994 WITH SCORE 1231087.691
AT ITER 2177 NEW BEST:: SOT 9146982 SOS 2093691 HAS SOPS 2093691 HAS SOUS 1228837 HAS SOUPS 1228837 WITH SCORE 1230930.691
AT ITER 2200 NEW BEST:: SOT 9146518 SOS 2094296 HAS SOPS 2094296 HAS SOUS 1227908 HAS SOUPS 1227908 WITH SCORE 1230002.296
AT ITER 2208 NEW BEST:: SOT 9146518 SOS 2095195 HAS SOPS 2095195 HAS SOUS 1227907 HAS SOUPS 1227907 WITH SCORE 1230002.195
AT ITER 2211 NEW BEST:: SOT 9145688 SOS 2093950 HAS SOPS 2093950 HAS SOUS 1226662 HAS SOUPS 1226662 WITH SCORE 1228755.95
AT ITER 2220 NEW BEST:: SOT 9145688 SOS 2093694 HAS SOPS 2093694 HAS SOUS 1226406 HAS SOUPS 1226406 WITH SCORE 1228499.694
AT ITER 2264 NEW BEST:: SOT 9145636 SOS 2093590 HAS SOPS 2093590 HAS SOUS 1226302 HAS SOUPS 1226302 WITH SCORE 1228395.59
AT ITER 2267 NEW BEST:: SOT 9145636 SOS 2093480 HAS SOPS 2093480 HAS SOUS 1226302 HAS SOUPS 1226302 WITH SCORE 1228395.48
AT ITER 2273 NEW BEST:: SOT 9145050 SOS 2091941 HAS SOPS 2091941 HAS SOUS 1225349 HAS SOUPS 1225349 WITH SCORE 1227440.941
AT ITER 2281 NEW BEST:: SOT 9145049 SOS 2091769 HAS SOPS 2091769 HAS SOUS 1225177 HAS SOUPS 1225177 WITH SCORE 1227268.769
AT ITER 2288 NEW BEST:: SOT 9144437 SOS 2091147 HAS SOPS 2091147 HAS SOUS 1224564 HAS SOUPS 1224564 WITH SCORE 1226655.147
AT ITER 2310 NEW BEST:: SOT 9143741 SOS 2089755 HAS SOPS 2089755 HAS SOUS 1222986 HAS SOUPS 1222986 WITH SCORE 1225075.755
AT ITER 2327 NEW BEST:: SOT 9143520 SOS 2089313 HAS SOPS 2089313 HAS SOUS 1222765 HAS SOUPS 1222765 WITH SCORE 1224854.313
AT ITER 2340 NEW BEST:: SOT 9143519 SOS 2088228 HAS SOPS 2088228 HAS SOUS 1222763 HAS SOUPS 1222763 WITH SCORE 1224851.228
AT ITER 2362 NEW BEST:: SOT 9143519 SOS 2087115 HAS SOPS 2087115 HAS SOUS 1222762 HAS SOUPS 1222762 WITH SCORE 1224849.115
AT ITER 2378 NEW BEST:: SOT 9143156 SOS 2086389 HAS SOPS 2086389 HAS SOUS 1222399 HAS SOUPS 1222399 WITH SCORE 1224485.389
AT ITER 2382 NEW BEST:: SOT 9142364 SOS 2085597 HAS SOPS 2085597 HAS SOUS 1222399 HAS SOUPS 1222399 WITH SCORE 1224484.597
AT ITER 2401 NEW BEST:: SOT 9142364 SOS 2083053 HAS SOPS 2083053 HAS SOUS 1222398 HAS SOUPS 1222398 WITH SCORE 1224481.053
AT ITER 2421 NEW BEST:: SOT 9142057 SOS 2084056 HAS SOPS 2084056 HAS SOUS 1222091 HAS SOUPS 1222091 WITH SCORE 1224175.056
AT ITER 2457 NEW BEST:: SOT 9142057 SOS 2084040 HAS SOPS 2084040 HAS SOUS 1222074 HAS SOUPS 1222074 WITH SCORE 1224158.04
AT ITER 2479 NEW BEST:: SOT 9141716 SOS 2083761 HAS SOPS 2083761 HAS SOUS 1221795 HAS SOUPS 1221795 WITH SCORE 1223878.761
AT ITER 2481 NEW BEST:: SOT 9141716 SOS 2083761 HAS SOPS 2083761 HAS SOUS 1221793 HAS SOUPS 1221793 WITH SCORE 1223876.761
AT ITER 2517 NEW BEST:: SOT 9140844 SOS 2083325 HAS SOPS 2083325 HAS SOUS 1221357 HAS SOUPS 1221357 WITH SCORE 1223440.325
AT ITER 2521 NEW BEST:: SOT 9140844 SOS 2087717 HAS SOPS 2087717 HAS SOUS 1220869 HAS SOUPS 1220869 WITH SCORE 1222956.717
AT ITER 2558 NEW BEST:: SOT 9140279 SOS 2086587 HAS SOPS 2086587 HAS SOUS 1220489 HAS SOUPS 1220489 WITH SCORE 1222575.587
AT ITER 2574 NEW BEST:: SOT 9140279 SOS 2087472 HAS SOPS 2087472 HAS SOUS 1220488 HAS SOUPS 1220488 WITH SCORE 1222575.472
AT ITER 2591 NEW BEST:: SOT 9139998 SOS 2087064 HAS SOPS 2087064 HAS SOUS 1220080 HAS SOUPS 1220080 WITH SCORE 1222167.064
AT ITER 2599 NEW BEST:: SOT 9138277 SOS 2089886 HAS SOPS 2089886 HAS SOUS 1219319 HAS SOUPS 1219319 WITH SCORE 1221408.886
AT ITER 2619 NEW BEST:: SOT 9138133 SOS 2093509 HAS SOPS 2093509 HAS SOUS 1219214 HAS SOUPS 1219214 WITH SCORE 1221307.509
AT ITER 2626 NEW BEST:: SOT 9138305 SOS 2092785 HAS SOPS 2092785 HAS SOUS 1219013 HAS SOUPS 1219013 WITH SCORE 1221105.785
AT ITER 2644 NEW BEST:: SOT 9138304 SOS 2092783 HAS SOPS 2092783 HAS SOUS 1219011 HAS SOUPS 1219011 WITH SCORE 1221103.783
AT ITER 2657 NEW BEST:: SOT 9138304 SOS 2092779 HAS SOPS 2092779 HAS SOUS 1219010 HAS SOUPS 1219010 WITH SCORE 1221102.779
AT ITER 2708 NEW BEST:: SOT 9138120 SOS 2092687 HAS SOPS 2092687 HAS SOUS 1218918 HAS SOUPS 1218918 WITH SCORE 1221010.687
AT ITER 2711 NEW BEST:: SOT 9137867 SOS 2092474 HAS SOPS 2092474 HAS SOUS 1218689 HAS SOUPS 1218689 WITH SCORE 1220781.474
AT ITER 2716 NEW BEST:: SOT 9137751 SOS 2092242 HAS SOPS 2092242 HAS SOUS 1218573 HAS SOUPS 1218573 WITH SCORE 1220665.242
AT ITER 2744 NEW BEST:: SOT 9137570 SOS 2091696 HAS SOPS 2091696 HAS SOUS 1218210 HAS SOUPS 1218210 WITH SCORE 1220301.696
AT ITER 2763 NEW BEST:: SOT 9137092 SOS 2091208 HAS SOPS 2091208 HAS SOUS 1218090 HAS SOUPS 1218090 WITH SCORE 1220181.208
AT ITER 2764 NEW BEST:: SOT 9137152 SOS 2091328 HAS SOPS 2091328 HAS SOUS 1217710 HAS SOUPS 1217710 WITH SCORE 1219801.328
AT ITER 2783 NEW BEST:: SOT 9136878 SOS 2091328 HAS SOPS 2091328 HAS SOUS 1217326 HAS SOUPS 1217326 WITH SCORE 1219417.328
AT ITER 2804 NEW BEST:: SOT 9135840 SOS 2091385 HAS SOPS 2091385 HAS SOUS 1217089 HAS SOUPS 1217089 WITH SCORE 1219180.385
AT ITER 2825 NEW BEST:: SOT 9135154 SOS 2090838 HAS SOPS 2090838 HAS SOUS 1216491 HAS SOUPS 1216491 WITH SCORE 1218581.838
AT ITER 2841 NEW BEST:: SOT 9135042 SOS 2091469 HAS SOPS 2091469 HAS SOUS 1216427 HAS SOUPS 1216427 WITH SCORE 1218518.469
AT ITER 2861 NEW BEST:: SOT 9135042 SOS 2091434 HAS SOPS 2091434 HAS SOUS 1216392 HAS SOUPS 1216392 WITH SCORE 1218483.434
AT ITER 2873 NEW BEST:: SOT 9134950 SOS 2091250 HAS SOPS 2091250 HAS SOUS 1216224 HAS SOUPS 1216224 WITH SCORE 1218315.25
AT ITER 2928 NEW BEST:: SOT 9134604 SOS 2091250 HAS SOPS 2091250 HAS SOUS 1215599 HAS SOUPS 1215599 WITH SCORE 1217690.25
AT ITER 2971 NEW BEST:: SOT 9134350 SOS 2091212 HAS SOPS 2091212 HAS SOUS 1215563 HAS SOUPS 1215563 WITH SCORE 1217654.212
AT ITER 2993 NEW BEST:: SOT 9134350 SOS 2091098 HAS SOPS 2091098 HAS SOUS 1215335 HAS SOUPS 1215335 WITH SCORE 1217426.098
AT ITER 3023 NEW BEST:: SOT 9134349 SOS 2091096 HAS SOPS 2091096 HAS SOUS 1215333 HAS SOUPS 1215333 WITH SCORE 1217424.096
AT ITER 3042 NEW BEST:: SOT 9134349 SOS 2091459 HAS SOPS 2091459 HAS SOUS 1215332 HAS SOUPS 1215332 WITH SCORE 1217423.459
AT ITER 3043 NEW BEST:: SOT 9134359 SOS 2091452 HAS SOPS 2091452 HAS SOUS 1215325 HAS SOUPS 1215325 WITH SCORE 1217416.452
AT ITER 3053 NEW BEST:: SOT 9134358 SOS 2091450 HAS SOPS 2091450 HAS SOUS 1215323 HAS SOUPS 1215323 WITH SCORE 1217414.45
AT ITER 3054 NEW BEST:: SOT 9133485 SOS 2091505 HAS SOPS 2091505 HAS SOUS 1215281 HAS SOUPS 1215281 WITH SCORE 1217372.505
AT ITER 3120 NEW BEST:: SOT 9133485 SOS 2090284 HAS SOPS 2090284 HAS SOUS 1215281 HAS SOUPS 1215281 WITH SCORE 1217371.284
AT ITER 3123 NEW BEST:: SOT 9133485 SOS 2090182 HAS SOPS 2090182 HAS SOUS 1215179 HAS SOUPS 1215179 WITH SCORE 1217269.182
AT ITER 3146 NEW BEST:: SOT 9132900 SOS 2089597 HAS SOPS 2089597 HAS SOUS 1214594 HAS SOUPS 1214594 WITH SCORE 1216683.597
AT ITER 3206 NEW BEST:: SOT 9132883 SOS 2089546 HAS SOPS 2089546 HAS SOUS 1214577 HAS SOUPS 1214577 WITH SCORE 1216666.546
AT ITER 3208 NEW BEST:: SOT 9132883 SOS 2089298 HAS SOPS 2089298 HAS SOUS 1214577 HAS SOUPS 1214577 WITH SCORE 1216666.298
AT ITER 3228 NEW BEST:: SOT 9132930 SOS 2089392 HAS SOPS 2089392 HAS SOUS 1214485 HAS SOUPS 1214485 WITH SCORE 1216574.392
AT ITER 3236 NEW BEST:: SOT 9132929 SOS 2089390 HAS SOPS 2089390 HAS SOUS 1214483 HAS SOUPS 1214483 WITH SCORE 1216572.39
AT ITER 3246 NEW BEST:: SOT 9132668 SOS 2088766 HAS SOPS 2088766 HAS SOUS 1213859 HAS SOUPS 1213859 WITH SCORE 1215947.766
AT ITER 3247 NEW BEST:: SOT 9132667 SOS 2088764 HAS SOPS 2088764 HAS SOUS 1213857 HAS SOUPS 1213857 WITH SCORE 1215945.764
AT ITER 3266 NEW BEST:: SOT 9132667 SOS 2088456 HAS SOPS 2088456 HAS SOUS 1213857 HAS SOUPS 1213857 WITH SCORE 1215945.456
AT ITER 3305 NEW BEST:: SOT 9132604 SOS 2088393 HAS SOPS 2088393 HAS SOUS 1213794 HAS SOUPS 1213794 WITH SCORE 1215882.393
AT ITER 3424 NEW BEST:: SOT 9132483 SOS 2088151 HAS SOPS 2088151 HAS SOUS 1213552 HAS SOUPS 1213552 WITH SCORE 1215640.151
AT ITER 3429 NEW BEST:: SOT 9132473 SOS 2088141 HAS SOPS 2088141 HAS SOUS 1213542 HAS SOUPS 1213542 WITH SCORE 1215630.141
AT ITER 3432 NEW BEST:: SOT 9132279 SOS 2088443 HAS SOPS 2088443 HAS SOUS 1213348 HAS SOUPS 1213348 WITH SCORE 1215436.443
AT ITER 3472 NEW BEST:: SOT 9132271 SOS 2088437 HAS SOPS 2088437 HAS SOUS 1213340 HAS SOUPS 1213340 WITH SCORE 1215428.437
AT ITER 3528 NEW BEST:: SOT 9132252 SOS 2088399 HAS SOPS 2088399 HAS SOUS 1213302 HAS SOUPS 1213302 WITH SCORE 1215390.399
AT ITER 3549 NEW BEST:: SOT 9132252 SOS 2088623 HAS SOPS 2088623 HAS SOUS 1213301 HAS SOUPS 1213301 WITH SCORE 1215389.623
AT ITER 3587 NEW BEST:: SOT 9132034 SOS 2089096 HAS SOPS 2089096 HAS SOUS 1213083 HAS SOUPS 1213083 WITH SCORE 1215172.096
AT ITER 3594 NEW BEST:: SOT 9131580 SOS 2088305 HAS SOPS 2088305 HAS SOUS 1212292 HAS SOUPS 1212292 WITH SCORE 1214380.305
AT ITER 3595 NEW BEST:: SOT 9131405 SOS 2086074 HAS SOPS 2086074 HAS SOUS 1211942 HAS SOUPS 1211942 WITH SCORE 1214028.074
AT ITER 3596 NEW BEST:: SOT 9131048 SOS 2085879 HAS SOPS 2085879 HAS SOUS 1211746 HAS SOUPS 1211746 WITH SCORE 1213831.879
AT ITER 3614 NEW BEST:: SOT 9131008 SOS 2085799 HAS SOPS 2085799 HAS SOUS 1211666 HAS SOUPS 1211666 WITH SCORE 1213751.799
AT ITER 3617 NEW BEST:: SOT 9131007 SOS 2085797 HAS SOPS 2085797 HAS SOUS 1211664 HAS SOUPS 1211664 WITH SCORE 1213749.797
AT ITER 3661 NEW BEST:: SOT 9131027 SOS 2084796 HAS SOPS 2084796 HAS SOUS 1211346 HAS SOUPS 1211346 WITH SCORE 1213430.796
AT ITER 3680 NEW BEST:: SOT 9131027 SOS 2084656 HAS SOPS 2084656 HAS SOUS 1211276 HAS SOUPS 1211276 WITH SCORE 1213360.656
AT ITER 3687 NEW BEST:: SOT 9131027 SOS 2084656 HAS SOPS 2084656 HAS SOUS 1211274 HAS SOUPS 1211274 WITH SCORE 1213358.656
AT ITER 3732 NEW BEST:: SOT 9131027 SOS 2084468 HAS SOPS 2084468 HAS SOUS 1211086 HAS SOUPS 1211086 WITH SCORE 1213170.468
AT ITER 3747 NEW BEST:: SOT 9130643 SOS 2084163 HAS SOPS 2084163 HAS SOUS 1210781 HAS SOUPS 1210781 WITH SCORE 1212865.163
AT ITER 3787 NEW BEST:: SOT 9130503 SOS 2085358 HAS SOPS 2085358 HAS SOUS 1210282 HAS SOUPS 1210282 WITH SCORE 1212367.358
AT ITER 3841 NEW BEST:: SOT 9130435 SOS 2085222 HAS SOPS 2085222 HAS SOUS 1210146 HAS SOUPS 1210146 WITH SCORE 1212231.222
AT ITER 3847 NEW BEST:: SOT 9130413 SOS 2084996 HAS SOPS 2084996 HAS SOUS 1210124 HAS SOUPS 1210124 WITH SCORE 1212208.996
AT ITER 3851 NEW BEST:: SOT 9130410 SOS 2084990 HAS SOPS 2084990 HAS SOUS 1210118 HAS SOUPS 1210118 WITH SCORE 1212202.99
AT ITER 3862 NEW BEST:: SOT 9129628 SOS 2083896 HAS SOPS 2083896 HAS SOUS 1209336 HAS SOUPS 1209336 WITH SCORE 1211419.896
AT ITER 3863 NEW BEST:: SOT 9129008 SOS 2078583 HAS SOPS 2078583 HAS SOUS 1208316 HAS SOUPS 1208316 WITH SCORE 1210394.583
AT ITER 3872 NEW BEST:: SOT 9128863 SOS 2078540 HAS SOPS 2078540 HAS SOUS 1208273 HAS SOUPS 1208273 WITH SCORE 1210351.54
AT ITER 3889 NEW BEST:: SOT 9128861 SOS 2078538 HAS SOPS 2078538 HAS SOUS 1208271 HAS SOUPS 1208271 WITH SCORE 1210349.538
AT ITER 3892 NEW BEST:: SOT 9128336 SOS 2076088 HAS SOPS 2076088 HAS SOUS 1207746 HAS SOUPS 1207746 WITH SCORE 1209822.088
AT ITER 3914 NEW BEST:: SOT 9128336 SOS 2079816 HAS SOPS 2079816 HAS SOUS 1207662 HAS SOUPS 1207662 WITH SCORE 1209741.816
AT ITER 3949 NEW BEST:: SOT 9128335 SOS 2079814 HAS SOPS 2079814 HAS SOUS 1207660 HAS SOUPS 1207660 WITH SCORE 1209739.814
AT ITER 3951 NEW BEST:: SOT 9128330 SOS 2079804 HAS SOPS 2079804 HAS SOUS 1207650 HAS SOUPS 1207650 WITH SCORE 1209729.804
AT ITER 3952 NEW BEST:: SOT 9127941 SOS 2081140 HAS SOPS 2081140 HAS SOUS 1207515 HAS SOUPS 1207515 WITH SCORE 1209596.14
AT ITER 3975 NEW BEST:: SOT 9127940 SOS 2081138 HAS SOPS 2081138 HAS SOUS 1207513 HAS SOUPS 1207513 WITH SCORE 1209594.138
AT ITER 4029 NEW BEST:: SOT 9127940 SOS 2081123 HAS SOPS 2081123 HAS SOUS 1207513 HAS SOUPS 1207513 WITH SCORE 1209594.123
AT ITER 4038 NEW BEST:: SOT 9127940 SOS 2081887 HAS SOPS 2081887 HAS SOUS 1207211 HAS SOUPS 1207211 WITH SCORE 1209292.887
AT ITER 4064 NEW BEST:: SOT 9127869 SOS 2082389 HAS SOPS 2082389 HAS SOUS 1207202 HAS SOUPS 1207202 WITH SCORE 1209284.389
AT ITER 4089 NEW BEST:: SOT 9127553 SOS 2081757 HAS SOPS 2081757 HAS SOUS 1206063 HAS SOUPS 1206063 WITH SCORE 1208144.757
AT ITER 4101 NEW BEST:: SOT 9127126 SOS 2081327 HAS SOPS 2081327 HAS SOUS 1205635 HAS SOUPS 1205635 WITH SCORE 1207716.327
AT ITER 4107 NEW BEST:: SOT 9127126 SOS 2081731 HAS SOPS 2081731 HAS SOUS 1205634 HAS SOUPS 1205634 WITH SCORE 1207715.731
AT ITER 4120 NEW BEST:: SOT 9126985 SOS 2081449 HAS SOPS 2081449 HAS SOUS 1205352 HAS SOUPS 1205352 WITH SCORE 1207433.449
AT ITER 4121 NEW BEST:: SOT 9126967 SOS 2081413 HAS SOPS 2081413 HAS SOUS 1205334 HAS SOUPS 1205334 WITH SCORE 1207415.413
AT ITER 4124 NEW BEST:: SOT 9126215 SOS 2080523 HAS SOPS 2080523 HAS SOUS 1204372 HAS SOUPS 1204372 WITH SCORE 1206452.523
AT ITER 4132 NEW BEST:: SOT 9126252 SOS 2080174 HAS SOPS 2080174 HAS SOUS 1204305 HAS SOUPS 1204305 WITH SCORE 1206385.174
AT ITER 4136 NEW BEST:: SOT 9126128 SOS 2080064 HAS SOPS 2080064 HAS SOUS 1204181 HAS SOUPS 1204181 WITH SCORE 1206261.064
AT ITER 4149 NEW BEST:: SOT 9125899 SOS 2079606 HAS SOPS 2079606 HAS SOUS 1203894 HAS SOUPS 1203894 WITH SCORE 1205973.606
AT ITER 4159 NEW BEST:: SOT 9125784 SOS 2079376 HAS SOPS 2079376 HAS SOUS 1203664 HAS SOUPS 1203664 WITH SCORE 1205743.376
AT ITER 4195 NEW BEST:: SOT 9125417 SOS 2079145 HAS SOPS 2079145 HAS SOUS 1203433 HAS SOUPS 1203433 WITH SCORE 1205512.145
AT ITER 4205 NEW BEST:: SOT 9124717 SOS 2079845 HAS SOPS 2079845 HAS SOUS 1202605 HAS SOUPS 1202605 WITH SCORE 1204684.845
AT ITER 4229 NEW BEST:: SOT 9124293 SOS 2080671 HAS SOPS 2080671 HAS SOUS 1202597 HAS SOUPS 1202597 WITH SCORE 1204677.671
AT ITER 4265 NEW BEST:: SOT 9124177 SOS 2080672 HAS SOPS 2080672 HAS SOUS 1202481 HAS SOUPS 1202481 WITH SCORE 1204561.672
AT ITER 4267 NEW BEST:: SOT 9124010 SOS 2080701 HAS SOPS 2080701 HAS SOUS 1202435 HAS SOUPS 1202435 WITH SCORE 1204515.701
AT ITER 4288 NEW BEST:: SOT 9124010 SOS 2081030 HAS SOPS 2081030 HAS SOUS 1202434 HAS SOUPS 1202434 WITH SCORE 1204515.03
AT ITER 4293 NEW BEST:: SOT 9123791 SOS 2082136 HAS SOPS 2082136 HAS SOUS 1202125 HAS SOUPS 1202125 WITH SCORE 1204207.136
AT ITER 4294 NEW BEST:: SOT 9123460 SOS 2082457 HAS SOPS 2082457 HAS SOUS 1202124 HAS SOUPS 1202124 WITH SCORE 1204206.457
AT ITER 4365 NEW BEST:: SOT 9123594 SOS 2081099 HAS SOPS 2081099 HAS SOUS 1201716 HAS SOUPS 1201716 WITH SCORE 1203797.099
AT ITER 4369 NEW BEST:: SOT 9123080 SOS 2075445 HAS SOPS 2075445 HAS SOUS 1200688 HAS SOUPS 1200688 WITH SCORE 1202763.445
AT ITER 4376 NEW BEST:: SOT 9123062 SOS 2075409 HAS SOPS 2075409 HAS SOUS 1200652 HAS SOUPS 1200652 WITH SCORE 1202727.409
AT ITER 4381 NEW BEST:: SOT 9123244 SOS 2075404 HAS SOPS 2075404 HAS SOUS 1200647 HAS SOUPS 1200647 WITH SCORE 1202722.404
AT ITER 4394 NEW BEST:: SOT 9123244 SOS 2077149 HAS SOPS 2077149 HAS SOUS 1200451 HAS SOUPS 1200451 WITH SCORE 1202528.149
AT ITER 4409 NEW BEST:: SOT 9122178 SOS 2076083 HAS SOPS 2076083 HAS SOUS 1199385 HAS SOUPS 1199385 WITH SCORE 1201461.083
AT ITER 4413 NEW BEST:: SOT 9121601 SOS 2075522 HAS SOPS 2075522 HAS SOUS 1198839 HAS SOUPS 1198839 WITH SCORE 1200914.522
AT ITER 4415 NEW BEST:: SOT 9121566 SOS 2075664 HAS SOPS 2075664 HAS SOUS 1198804 HAS SOUPS 1198804 WITH SCORE 1200879.664
AT ITER 4432 NEW BEST:: SOT 9121532 SOS 2075596 HAS SOPS 2075596 HAS SOUS 1198770 HAS SOUPS 1198770 WITH SCORE 1200845.596
AT ITER 4449 NEW BEST:: SOT 9121005 SOS 2075263 HAS SOPS 2075263 HAS SOUS 1198242 HAS SOUPS 1198242 WITH SCORE 1200317.263
AT ITER 4463 NEW BEST:: SOT 9120773 SOS 2075031 HAS SOPS 2075031 HAS SOUS 1198010 HAS SOUPS 1198010 WITH SCORE 1200085.031
AT ITER 4500 NEW BEST:: SOT 9120279 SOS 2075021 HAS SOPS 2075021 HAS SOUS 1197794 HAS SOUPS 1197794 WITH SCORE 1199869.021
AT ITER 4514 NEW BEST:: SOT 9120279 SOS 2075021 HAS SOPS 2075021 HAS SOUS 1197566 HAS SOUPS 1197566 WITH SCORE 1199641.021
AT ITER 4539 NEW BEST:: SOT 9120152 SOS 2074926 HAS SOPS 2074926 HAS SOUS 1197439 HAS SOUPS 1197439 WITH SCORE 1199513.926
AT ITER 4602 NEW BEST:: SOT 9120152 SOS 2075633 HAS SOPS 2075633 HAS SOUS 1197438 HAS SOUPS 1197438 WITH SCORE 1199513.633
AT ITER 4621 NEW BEST:: SOT 9119404 SOS 2074137 HAS SOPS 2074137 HAS SOUS 1196184 HAS SOUPS 1196184 WITH SCORE 1198258.137
AT ITER 4642 NEW BEST:: SOT 9119496 SOS 2074321 HAS SOPS 2074321 HAS SOUS 1195492 HAS SOUPS 1195492 WITH SCORE 1197566.321
AT ITER 4661 NEW BEST:: SOT 9118665 SOS 2072659 HAS SOPS 2072659 HAS SOUS 1193855 HAS SOUPS 1193855 WITH SCORE 1195927.659
AT ITER 4668 NEW BEST:: SOT 9118213 SOS 2071755 HAS SOPS 2071755 HAS SOUS 1193403 HAS SOUPS 1193403 WITH SCORE 1195474.755
AT ITER 4671 NEW BEST:: SOT 9118143 SOS 2072857 HAS SOPS 2072857 HAS SOUS 1193195 HAS SOUPS 1193195 WITH SCORE 1195267.857
AT ITER 4690 NEW BEST:: SOT 9118143 SOS 2072737 HAS SOPS 2072737 HAS SOUS 1193075 HAS SOUPS 1193075 WITH SCORE 1195147.737
AT ITER 4717 NEW BEST:: SOT 9118016 SOS 2072115 HAS SOPS 2072115 HAS SOUS 1192764 HAS SOUPS 1192764 WITH SCORE 1194836.115
AT ITER 4829 NEW BEST:: SOT 9117989 SOS 2072088 HAS SOPS 2072088 HAS SOUS 1192737 HAS SOUPS 1192737 WITH SCORE 1194809.088
AT ITER 4893 NEW BEST:: SOT 9117893 SOS 2071896 HAS SOPS 2071896 HAS SOUS 1192545 HAS SOUPS 1192545 WITH SCORE 1194616.896
AT ITER 4912 NEW BEST:: SOT 9117857 SOS 2071824 HAS SOPS 2071824 HAS SOUS 1192473 HAS SOUPS 1192473 WITH SCORE 1194544.824
AT ITER 4916 NEW BEST:: SOT 9117590 SOS 2071824 HAS SOPS 2071824 HAS SOUS 1192206 HAS SOUPS 1192206 WITH SCORE 1194277.824
AT ITER 4943 NEW BEST:: SOT 9117590 SOS 2072498 HAS SOPS 2072498 HAS SOUS 1192205 HAS SOUPS 1192205 WITH SCORE 1194277.498
AT ITER 5013 NEW BEST:: SOT 9117497 SOS 2072405 HAS SOPS 2072405 HAS SOUS 1192112 HAS SOUPS 1192112 WITH SCORE 1194184.405
AT ITER 5024 NEW BEST:: SOT 9117497 SOS 2072305 HAS SOPS 2072305 HAS SOUS 1192012 HAS SOUPS 1192012 WITH SCORE 1194084.305
AT ITER 5117 NEW BEST:: SOT 9117497 SOS 2068408 HAS SOPS 2068408 HAS SOUS 1192012 HAS SOUPS 1192012 WITH SCORE 1194080.408
AT ITER 5125 NEW BEST:: SOT 9117075 SOS 2067564 HAS SOPS 2067564 HAS SOUS 1191589 HAS SOUPS 1191589 WITH SCORE 1193656.564
AT ITER 5128 NEW BEST:: SOT 9117075 SOS 2067564 HAS SOPS 2067564 HAS SOUS 1191303 HAS SOUPS 1191303 WITH SCORE 1193370.564
AT ITER 5201 NEW BEST:: SOT 9117075 SOS 2067495 HAS SOPS 2067495 HAS SOUS 1191303 HAS SOUPS 1191303 WITH SCORE 1193370.495
AT ITER 5218 NEW BEST:: SOT 9116255 SOS 2066675 HAS SOPS 2066675 HAS SOUS 1189663 HAS SOUPS 1189663 WITH SCORE 1191729.675
AT ITER 5231 NEW BEST:: SOT 9116255 SOS 2067702 HAS SOPS 2067702 HAS SOUS 1189147 HAS SOUPS 1189147 WITH SCORE 1191214.702
AT ITER 5242 NEW BEST:: SOT 9115963 SOS 2067702 HAS SOPS 2067702 HAS SOUS 1188728 HAS SOUPS 1188728 WITH SCORE 1190795.702
AT ITER 5261 NEW BEST:: SOT 9115804 SOS 2067647 HAS SOPS 2067647 HAS SOUS 1188673 HAS SOUPS 1188673 WITH SCORE 1190740.647
AT ITER 5282 NEW BEST:: SOT 9113953 SOS 2072836 HAS SOPS 2072836 HAS SOUS 1187314 HAS SOUPS 1187314 WITH SCORE 1189386.836
AT ITER 5363 NEW BEST:: SOT 9113190 SOS 2072073 HAS SOPS 2072073 HAS SOUS 1186551 HAS SOUPS 1186551 WITH SCORE 1188623.073
AT ITER 5364 NEW BEST:: SOT 9113128 SOS 2071950 HAS SOPS 2071950 HAS SOUS 1186428 HAS SOUPS 1186428 WITH SCORE 1188499.95
AT ITER 5393 NEW BEST:: SOT 9112811 SOS 2072890 HAS SOPS 2072890 HAS SOUS 1186111 HAS SOUPS 1186111 WITH SCORE 1188183.89
AT ITER 5434 NEW BEST:: SOT 9112811 SOS 2072728 HAS SOPS 2072728 HAS SOUS 1186111 HAS SOUPS 1186111 WITH SCORE 1188183.728
AT ITER 5463 NEW BEST:: SOT 9111830 SOS 2071747 HAS SOPS 2071747 HAS SOUS 1185130 HAS SOUPS 1185130 WITH SCORE 1187201.747
AT ITER 5475 NEW BEST:: SOT 9111830 SOS 2072407 HAS SOPS 2072407 HAS SOUS 1185028 HAS SOUPS 1185028 WITH SCORE 1187100.407
AT ITER 5476 NEW BEST:: SOT 9111492 SOS 2072070 HAS SOPS 2072070 HAS SOUS 1184352 HAS SOUPS 1184352 WITH SCORE 1186424.07
AT ITER 5504 NEW BEST:: SOT 9111469 SOS 2072047 HAS SOPS 2072047 HAS SOUS 1184329 HAS SOUPS 1184329 WITH SCORE 1186401.047
AT ITER 5605 NEW BEST:: SOT 9109910 SOS 2070616 HAS SOPS 2070616 HAS SOUS 1184163 HAS SOUPS 1184163 WITH SCORE 1186233.616
AT ITER 5638 NEW BEST:: SOT 9109292 SOS 2066908 HAS SOPS 2066908 HAS SOUS 1183236 HAS SOUPS 1183236 WITH SCORE 1185302.908
AT ITER 5639 NEW BEST:: SOT 9108371 SOS 2067274 HAS SOPS 2067274 HAS SOUS 1183202 HAS SOUPS 1183202 WITH SCORE 1185269.274
AT ITER 5648 NEW BEST:: SOT 9108161 SOS 2065231 HAS SOPS 2065231 HAS SOUS 1182518 HAS SOUPS 1182518 WITH SCORE 1184583.231
AT ITER 5664 NEW BEST:: SOT 9108112 SOS 2065613 HAS SOPS 2065613 HAS SOUS 1182468 HAS SOUPS 1182468 WITH SCORE 1184533.613
AT ITER 5720 NEW BEST:: SOT 9107901 SOS 2065191 HAS SOPS 2065191 HAS SOUS 1182257 HAS SOUPS 1182257 WITH SCORE 1184322.191
AT ITER 5722 NEW BEST:: SOT 9107757 SOS 2065176 HAS SOPS 2065176 HAS SOUS 1182060 HAS SOUPS 1182060 WITH SCORE 1184125.176
AT ITER 5739 NEW BEST:: SOT 9107640 SOS 2065059 HAS SOPS 2065059 HAS SOUS 1181943 HAS SOUPS 1181943 WITH SCORE 1184008.059
AT ITER 5741 NEW BEST:: SOT 9107455 SOS 2064868 HAS SOPS 2064868 HAS SOUS 1181752 HAS SOUPS 1181752 WITH SCORE 1183816.868
AT ITER 5764 NEW BEST:: SOT 9107281 SOS 2064694 HAS SOPS 2064694 HAS SOUS 1181752 HAS SOUPS 1181752 WITH SCORE 1183816.694
AT ITER 5773 NEW BEST:: SOT 9107203 SOS 2064538 HAS SOPS 2064538 HAS SOUS 1181538 HAS SOUPS 1181538 WITH SCORE 1183602.538
AT ITER 5777 NEW BEST:: SOT 9106919 SOS 2063970 HAS SOPS 2063970 HAS SOUS 1181254 HAS SOUPS 1181254 WITH SCORE 1183317.97
AT ITER 5786 NEW BEST:: SOT 9106654 SOS 2063366 HAS SOPS 2063366 HAS SOUS 1181103 HAS SOUPS 1181103 WITH SCORE 1183166.366
AT ITER 5802 NEW BEST:: SOT 9106149 SOS 2062861 HAS SOPS 2062861 HAS SOUS 1180598 HAS SOUPS 1180598 WITH SCORE 1182660.861
AT ITER 5826 NEW BEST:: SOT 9106148 SOS 2062859 HAS SOPS 2062859 HAS SOUS 1180596 HAS SOUPS 1180596 WITH SCORE 1182658.859
AT ITER 5838 NEW BEST:: SOT 9105832 SOS 2066124 HAS SOPS 2066124 HAS SOUS 1180341 HAS SOUPS 1180341 WITH SCORE 1182407.124
AT ITER 5845 NEW BEST:: SOT 9105709 SOS 2071873 HAS SOPS 2071873 HAS SOUS 1180170 HAS SOUPS 1180170 WITH SCORE 1182241.873
AT ITER 5862 NEW BEST:: SOT 9105591 SOS 2071945 HAS SOPS 2071945 HAS SOUS 1180167 HAS SOUPS 1180167 WITH SCORE 1182238.945
AT ITER 5869 NEW BEST:: SOT 9105591 SOS 2071792 HAS SOPS 2071792 HAS SOUS 1180116 HAS SOUPS 1180116 WITH SCORE 1182187.792
AT ITER 5874 NEW BEST:: SOT 9105419 SOS 2071788 HAS SOPS 2071788 HAS SOUS 1180115 HAS SOUPS 1180115 WITH SCORE 1182186.788
AT ITER 5878 NEW BEST:: SOT 9105418 SOS 2071786 HAS SOPS 2071786 HAS SOUS 1180113 HAS SOUPS 1180113 WITH SCORE 1182184.786
AT ITER 5894 NEW BEST:: SOT 9105178 SOS 2071306 HAS SOPS 2071306 HAS SOUS 1179873 HAS SOUPS 1179873 WITH SCORE 1181944.306
AT ITER 5896 NEW BEST:: SOT 9105433 SOS 2071816 HAS SOPS 2071816 HAS SOUS 1179836 HAS SOUPS 1179836 WITH SCORE 1181907.816
AT ITER 5901 NEW BEST:: SOT 9105402 SOS 2071754 HAS SOPS 2071754 HAS SOUS 1179774 HAS SOUPS 1179774 WITH SCORE 1181845.754
AT ITER 5921 NEW BEST:: SOT 9104894 SOS 2071236 HAS SOPS 2071236 HAS SOUS 1179256 HAS SOUPS 1179256 WITH SCORE 1181327.236
AT ITER 5948 NEW BEST:: SOT 9104267 SOS 2070613 HAS SOPS 2070613 HAS SOUS 1178633 HAS SOUPS 1178633 WITH SCORE 1180703.613
AT ITER 5974 NEW BEST:: SOT 9103833 SOS 2069936 HAS SOPS 2069936 HAS SOUS 1178078 HAS SOUPS 1178078 WITH SCORE 1180147.936
AT ITER 6026 NEW BEST:: SOT 9103796 SOS 2070658 HAS SOPS 2070658 HAS SOUS 1178041 HAS SOUPS 1178041 WITH SCORE 1180111.658
AT ITER 6028 NEW BEST:: SOT 9103759 SOS 2070584 HAS SOPS 2070584 HAS SOUS 1178005 HAS SOUPS 1178005 WITH SCORE 1180075.584
AT ITER 6059 NEW BEST:: SOT 9103624 SOS 2070319 HAS SOPS 2070319 HAS SOUS 1177772 HAS SOUPS 1177772 WITH SCORE 1179842.319
AT ITER 6069 NEW BEST:: SOT 9103624 SOS 2070319 HAS SOPS 2070319 HAS SOUS 1177638 HAS SOUPS 1177638 WITH SCORE 1179708.319
AT ITER 6086 NEW BEST:: SOT 9103624 SOS 2069401 HAS SOPS 2069401 HAS SOUS 1177332 HAS SOUPS 1177332 WITH SCORE 1179401.401
AT ITER 6123 NEW BEST:: SOT 9103701 SOS 2069555 HAS SOPS 2069555 HAS SOUS 1177296 HAS SOUPS 1177296 WITH SCORE 1179365.555
AT ITER 6131 NEW BEST:: SOT 9103510 SOS 2069410 HAS SOPS 2069410 HAS SOUS 1177151 HAS SOUPS 1177151 WITH SCORE 1179220.41
AT ITER 6136 NEW BEST:: SOT 9103072 SOS 2069106 HAS SOPS 2069106 HAS SOUS 1176858 HAS SOUPS 1176858 WITH SCORE 1178927.106
AT ITER 6143 NEW BEST:: SOT 9102439 SOS 2068469 HAS SOPS 2068469 HAS SOUS 1176224 HAS SOUPS 1176224 WITH SCORE 1178292.469
AT ITER 6174 NEW BEST:: SOT 9102439 SOS 2068469 HAS SOPS 2068469 HAS SOUS 1176208 HAS SOUPS 1176208 WITH SCORE 1178276.469
AT ITER 6224 NEW BEST:: SOT 9102439 SOS 2068843 HAS SOPS 2068843 HAS SOUS 1176185 HAS SOUPS 1176185 WITH SCORE 1178253.843
AT ITER 6236 NEW BEST:: SOT 9102439 SOS 2068843 HAS SOPS 2068843 HAS SOUS 1175943 HAS SOUPS 1175943 WITH SCORE 1178011.843
AT ITER 6247 NEW BEST:: SOT 9102433 SOS 2069687 HAS SOPS 2069687 HAS SOUS 1175935 HAS SOUPS 1175935 WITH SCORE 1178004.687
AT ITER 6248 NEW BEST:: SOT 9101835 SOS 2069230 HAS SOPS 2069230 HAS SOUS 1175337 HAS SOUPS 1175337 WITH SCORE 1177406.23
AT ITER 6270 NEW BEST:: SOT 9101627 SOS 2069022 HAS SOPS 2069022 HAS SOUS 1175129 HAS SOUPS 1175129 WITH SCORE 1177198.022
AT ITER 6282 NEW BEST:: SOT 9101423 SOS 2068614 HAS SOPS 2068614 HAS SOUS 1174925 HAS SOUPS 1174925 WITH SCORE 1176993.614
AT ITER 6306 NEW BEST:: SOT 9101422 SOS 2068613 HAS SOPS 2068613 HAS SOUS 1174924 HAS SOUPS 1174924 WITH SCORE 1176992.613
AT ITER 6345 NEW BEST:: SOT 9101421 SOS 2068611 HAS SOPS 2068611 HAS SOUS 1174922 HAS SOUPS 1174922 WITH SCORE 1176990.611
AT ITER 6346 NEW BEST:: SOT 9101421 SOS 2068611 HAS SOPS 2068611 HAS SOUS 1174921 HAS SOUPS 1174921 WITH SCORE 1176989.611
AT ITER 6376 NEW BEST:: SOT 9101536 SOS 2068841 HAS SOPS 2068841 HAS SOUS 1174908 HAS SOUPS 1174908 WITH SCORE 1176976.841
AT ITER 6418 NEW BEST:: SOT 9101405 SOS 2068710 HAS SOPS 2068710 HAS SOUS 1174777 HAS SOUPS 1174777 WITH SCORE 1176845.71
AT ITER 6424 NEW BEST:: SOT 9100925 SOS 2067750 HAS SOPS 2067750 HAS SOUS 1173817 HAS SOUPS 1173817 WITH SCORE 1175884.75
AT ITER 6430 NEW BEST:: SOT 9100924 SOS 2067760 HAS SOPS 2067760 HAS SOUS 1173816 HAS SOUPS 1173816 WITH SCORE 1175883.76
AT ITER 6432 NEW BEST:: SOT 9100924 SOS 2067244 HAS SOPS 2067244 HAS SOUS 1173644 HAS SOUPS 1173644 WITH SCORE 1175711.244
AT ITER 6452 NEW BEST:: SOT 9100548 SOS 2066492 HAS SOPS 2066492 HAS SOUS 1172892 HAS SOUPS 1172892 WITH SCORE 1174958.492
AT ITER 6502 NEW BEST:: SOT 9100253 SOS 2066253 HAS SOPS 2066253 HAS SOUS 1172653 HAS SOUPS 1172653 WITH SCORE 1174719.253
AT ITER 6527 NEW BEST:: SOT 9099896 SOS 2066001 HAS SOPS 2066001 HAS SOUS 1172329 HAS SOUPS 1172329 WITH SCORE 1174395.001
AT ITER 6550 NEW BEST:: SOT 9099896 SOS 2066849 HAS SOPS 2066849 HAS SOUS 1172328 HAS SOUPS 1172328 WITH SCORE 1174394.849
AT ITER 6603 NEW BEST:: SOT 9099723 SOS 2066503 HAS SOPS 2066503 HAS SOUS 1172155 HAS SOUPS 1172155 WITH SCORE 1174221.503
AT ITER 6613 NEW BEST:: SOT 9099684 SOS 2066425 HAS SOPS 2066425 HAS SOUS 1172115 HAS SOUPS 1172115 WITH SCORE 1174181.425
AT ITER 6622 NEW BEST:: SOT 9098584 SOS 2065410 HAS SOPS 2065410 HAS SOUS 1171100 HAS SOUPS 1171100 WITH SCORE 1173165.41
AT ITER 6634 NEW BEST:: SOT 9098543 SOS 2066172 HAS SOPS 2066172 HAS SOUS 1171059 HAS SOUPS 1171059 WITH SCORE 1173125.172
AT ITER 6643 NEW BEST:: SOT 9097827 SOS 2065778 HAS SOPS 2065778 HAS SOUS 1170665 HAS SOUPS 1170665 WITH SCORE 1172730.778
AT ITER 6645 NEW BEST:: SOT 9097471 SOS 2060438 HAS SOPS 2060438 HAS SOUS 1169953 HAS SOUPS 1169953 WITH SCORE 1172013.438
AT ITER 6658 NEW BEST:: SOT 9097393 SOS 2060360 HAS SOPS 2060360 HAS SOUS 1169875 HAS SOUPS 1169875 WITH SCORE 1171935.36
AT ITER 6693 NEW BEST:: SOT 9097320 SOS 2060338 HAS SOPS 2060338 HAS SOUS 1169853 HAS SOUPS 1169853 WITH SCORE 1171913.338
AT ITER 6730 NEW BEST:: SOT 9097253 SOS 2060204 HAS SOPS 2060204 HAS SOUS 1169719 HAS SOUPS 1169719 WITH SCORE 1171779.204
AT ITER 6751 NEW BEST:: SOT 9096420 SOS 2060117 HAS SOPS 2060117 HAS SOUS 1169677 HAS SOUPS 1169677 WITH SCORE 1171737.117
AT ITER 6886 NEW BEST:: SOT 9096098 SOS 2059791 HAS SOPS 2059791 HAS SOUS 1169354 HAS SOUPS 1169354 WITH SCORE 1171413.791
AT ITER 6890 NEW BEST:: SOT 9096119 SOS 2059709 HAS SOPS 2059709 HAS SOUS 1169272 HAS SOUPS 1169272 WITH SCORE 1171331.709
AT ITER 6927 NEW BEST:: SOT 9096119 SOS 2060249 HAS SOPS 2060249 HAS SOUS 1169270 HAS SOUPS 1169270 WITH SCORE 1171330.249
AT ITER 6956 NEW BEST:: SOT 9095800 SOS 2059240 HAS SOPS 2059240 HAS SOUS 1168632 HAS SOUPS 1168632 WITH SCORE 1170691.24
AT ITER 6963 NEW BEST:: SOT 9095800 SOS 2058380 HAS SOPS 2058380 HAS SOUS 1168546 HAS SOUPS 1168546 WITH SCORE 1170604.38
AT ITER 7024 NEW BEST:: SOT 9095661 SOS 2059607 HAS SOPS 2059607 HAS SOUS 1168266 HAS SOUPS 1168266 WITH SCORE 1170325.607
AT ITER 7096 NEW BEST:: SOT 9095661 SOS 2060492 HAS SOPS 2060492 HAS SOUS 1168103 HAS SOUPS 1168103 WITH SCORE 1170163.492
AT ITER 7097 NEW BEST:: SOT 9095408 SOS 2063535 HAS SOPS 2063535 HAS SOUS 1167850 HAS SOUPS 1167850 WITH SCORE 1169913.535
AT ITER 7104 NEW BEST:: SOT 9095615 SOS 2062362 HAS SOPS 2062362 HAS SOUS 1167631 HAS SOUPS 1167631 WITH SCORE 1169693.362
AT ITER 7114 NEW BEST:: SOT 9095615 SOS 2062358 HAS SOPS 2062358 HAS SOUS 1167629 HAS SOUPS 1167629 WITH SCORE 1169691.358
AT ITER 7124 NEW BEST:: SOT 9095429 SOS 2062328 HAS SOPS 2062328 HAS SOUS 1167443 HAS SOUPS 1167443 WITH SCORE 1169505.328
AT ITER 7126 NEW BEST:: SOT 9095277 SOS 2062196 HAS SOPS 2062196 HAS SOUS 1167297 HAS SOUPS 1167297 WITH SCORE 1169359.196
AT ITER 7162 NEW BEST:: SOT 9095277 SOS 2061560 HAS SOPS 2061560 HAS SOUS 1167297 HAS SOUPS 1167297 WITH SCORE 1169358.56
AT ITER 7181 NEW BEST:: SOT 9095129 SOS 2061264 HAS SOPS 2061264 HAS SOUS 1167001 HAS SOUPS 1167001 WITH SCORE 1169062.264
AT ITER 7184 NEW BEST:: SOT 9095129 SOS 2054946 HAS SOPS 2054946 HAS SOUS 1167001 HAS SOUPS 1167001 WITH SCORE 1169055.946
AT ITER 7195 NEW BEST:: SOT 9095083 SOS 2054929 HAS SOPS 2054929 HAS SOUS 1166984 HAS SOUPS 1166984 WITH SCORE 1169038.929
AT ITER 7197 NEW BEST:: SOT 9094969 SOS 2054890 HAS SOPS 2054890 HAS SOUS 1166945 HAS SOUPS 1166945 WITH SCORE 1168999.89
AT ITER 7206 NEW BEST:: SOT 9094957 SOS 2054889 HAS SOPS 2054889 HAS SOUS 1166944 HAS SOUPS 1166944 WITH SCORE 1168998.889
AT ITER 7219 NEW BEST:: SOT 9094902 SOS 2049181 HAS SOPS 2049181 HAS SOUS 1166487 HAS SOUPS 1166487 WITH SCORE 1168536.181
AT ITER 7238 NEW BEST:: SOT 9094293 SOS 2047963 HAS SOPS 2047963 HAS SOUS 1164928 HAS SOUPS 1164928 WITH SCORE 1166975.963
AT ITER 7243 NEW BEST:: SOT 9094181 SOS 2047895 HAS SOPS 2047895 HAS SOUS 1164860 HAS SOUPS 1164860 WITH SCORE 1166907.895
AT ITER 7254 NEW BEST:: SOT 9094194 SOS 2047894 HAS SOPS 2047894 HAS SOUS 1164859 HAS SOUPS 1164859 WITH SCORE 1166906.894
AT ITER 7283 NEW BEST:: SOT 9093395 SOS 2047130 HAS SOPS 2047130 HAS SOUS 1164095 HAS SOUPS 1164095 WITH SCORE 1166142.13
AT ITER 7301 NEW BEST:: SOT 9094026 SOS 2047581 HAS SOPS 2047581 HAS SOUS 1163992 HAS SOUPS 1163992 WITH SCORE 1166039.581
AT ITER 7304 NEW BEST:: SOT 9093943 SOS 2047498 HAS SOPS 2047498 HAS SOUS 1163909 HAS SOUPS 1163909 WITH SCORE 1165956.498
AT ITER 7330 NEW BEST:: SOT 9093943 SOS 2047372 HAS SOPS 2047372 HAS SOUS 1163909 HAS SOUPS 1163909 WITH SCORE 1165956.372
AT ITER 7333 NEW BEST:: SOT 9093820 SOS 2047825 HAS SOPS 2047825 HAS SOUS 1163786 HAS SOUPS 1163786 WITH SCORE 1165833.825
AT ITER 7339 NEW BEST:: SOT 9093820 SOS 2048439 HAS SOPS 2048439 HAS SOUS 1163785 HAS SOUPS 1163785 WITH SCORE 1165833.439
AT ITER 7386 NEW BEST:: SOT 9093809 SOS 2048371 HAS SOPS 2048371 HAS SOUS 1163728 HAS SOUPS 1163728 WITH SCORE 1165776.371
AT ITER 7393 NEW BEST:: SOT 9093750 SOS 2048253 HAS SOPS 2048253 HAS SOUS 1163669 HAS SOUPS 1163669 WITH SCORE 1165717.253
AT ITER 7394 NEW BEST:: SOT 9093750 SOS 2048147 HAS SOPS 2048147 HAS SOUS 1163563 HAS SOUPS 1163563 WITH SCORE 1165611.147
AT ITER 7407 NEW BEST:: SOT 9094216 SOS 2049079 HAS SOPS 2049079 HAS SOUS 1163137 HAS SOUPS 1163137 WITH SCORE 1165186.079
AT ITER 7420 NEW BEST:: SOT 9094216 SOS 2048861 HAS SOPS 2048861 HAS SOUS 1163137 HAS SOUPS 1163137 WITH SCORE 1165185.861
AT ITER 7447 NEW BEST:: SOT 9094085 SOS 2048599 HAS SOPS 2048599 HAS SOUS 1162743 HAS SOUPS 1162743 WITH SCORE 1164791.599
AT ITER 7459 NEW BEST:: SOT 9094085 SOS 2048575 HAS SOPS 2048575 HAS SOUS 1162719 HAS SOUPS 1162719 WITH SCORE 1164767.575
AT ITER 7494 NEW BEST:: SOT 9094085 SOS 2048574 HAS SOPS 2048574 HAS SOUS 1162718 HAS SOUPS 1162718 WITH SCORE 1164766.574
AT ITER 7539 NEW BEST:: SOT 9094050 SOS 2048504 HAS SOPS 2048504 HAS SOUS 1162683 HAS SOUPS 1162683 WITH SCORE 1164731.504
AT ITER 7543 NEW BEST:: SOT 9093736 SOS 2048428 HAS SOPS 2048428 HAS SOUS 1162607 HAS SOUPS 1162607 WITH SCORE 1164655.428
AT ITER 7549 NEW BEST:: SOT 9093283 SOS 2047291 HAS SOPS 2047291 HAS SOUS 1162436 HAS SOUPS 1162436 WITH SCORE 1164483.291
AT ITER 7559 NEW BEST:: SOT 9093061 SOS 2046847 HAS SOPS 2046847 HAS SOUS 1162239 HAS SOUPS 1162239 WITH SCORE 1164285.847
AT ITER 7613 NEW BEST:: SOT 9092904 SOS 2046377 HAS SOPS 2046377 HAS SOUS 1162192 HAS SOUPS 1162192 WITH SCORE 1164238.377
AT ITER 7615 NEW BEST:: SOT 9092800 SOS 2046294 HAS SOPS 2046294 HAS SOUS 1161653 HAS SOUPS 1161653 WITH SCORE 1163699.294
AT ITER 7623 NEW BEST:: SOT 9092764 SOS 2046362 HAS SOPS 2046362 HAS SOUS 1161616 HAS SOUPS 1161616 WITH SCORE 1163662.362
AT ITER 7709 NEW BEST:: SOT 9092763 SOS 2046360 HAS SOPS 2046360 HAS SOUS 1161614 HAS SOUPS 1161614 WITH SCORE 1163660.36
AT ITER 7718 NEW BEST:: SOT 9091620 SOS 2049498 HAS SOPS 2049498 HAS SOUS 1161540 HAS SOUPS 1161540 WITH SCORE 1163589.498
AT ITER 7731 NEW BEST:: SOT 9091542 SOS 2049282 HAS SOPS 2049282 HAS SOUS 1161324 HAS SOUPS 1161324 WITH SCORE 1163373.282
AT ITER 7745 NEW BEST:: SOT 9091527 SOS 2049252 HAS SOPS 2049252 HAS SOUS 1161300 HAS SOUPS 1161300 WITH SCORE 1163349.252
AT ITER 7785 NEW BEST:: SOT 9091527 SOS 2049252 HAS SOPS 2049252 HAS SOUS 1161280 HAS SOUPS 1161280 WITH SCORE 1163329.252
AT ITER 7791 NEW BEST:: SOT 9091802 SOS 2049323 HAS SOPS 2049323 HAS SOUS 1160872 HAS SOUPS 1160872 WITH SCORE 1162921.323
AT ITER 7794 NEW BEST:: SOT 9091604 SOS 2048927 HAS SOPS 2048927 HAS SOUS 1160476 HAS SOUPS 1160476 WITH SCORE 1162524.927
AT ITER 7795 NEW BEST:: SOT 9091604 SOS 2048908 HAS SOPS 2048908 HAS SOUS 1160476 HAS SOUPS 1160476 WITH SCORE 1162524.908
AT ITER 7819 NEW BEST:: SOT 9091466 SOS 2048839 HAS SOPS 2048839 HAS SOUS 1160407 HAS SOUPS 1160407 WITH SCORE 1162455.839
AT ITER 7828 NEW BEST:: SOT 9091375 SOS 2048657 HAS SOPS 2048657 HAS SOUS 1160113 HAS SOUPS 1160113 WITH SCORE 1162161.657
AT ITER 7863 NEW BEST:: SOT 9091375 SOS 2048316 HAS SOPS 2048316 HAS SOUS 1160037 HAS SOUPS 1160037 WITH SCORE 1162085.316
AT ITER 7874 NEW BEST:: SOT 9091281 SOS 2048222 HAS SOPS 2048222 HAS SOUS 1160037 HAS SOUPS 1160037 WITH SCORE 1162085.222
AT ITER 7886 NEW BEST:: SOT 9091418 SOS 2047744 HAS SOPS 2047744 HAS SOUS 1159559 HAS SOUPS 1159559 WITH SCORE 1161606.744
AT ITER 7906 NEW BEST:: SOT 9091418 SOS 2046618 HAS SOPS 2046618 HAS SOUS 1159558 HAS SOUPS 1159558 WITH SCORE 1161604.618
AT ITER 7907 NEW BEST:: SOT 9091418 SOS 2046618 HAS SOPS 2046618 HAS SOUS 1159428 HAS SOUPS 1159428 WITH SCORE 1161474.618
AT ITER 7966 NEW BEST:: SOT 9091361 SOS 2046390 HAS SOPS 2046390 HAS SOUS 1159314 HAS SOUPS 1159314 WITH SCORE 1161360.39
AT ITER 8001 NEW BEST:: SOT 9090865 SOS 2046120 HAS SOPS 2046120 HAS SOUS 1159044 HAS SOUPS 1159044 WITH SCORE 1161090.12
AT ITER 8027 NEW BEST:: SOT 9090865 SOS 2045888 HAS SOPS 2045888 HAS SOUS 1159044 HAS SOUPS 1159044 WITH SCORE 1161089.888
AT ITER 8074 NEW BEST:: SOT 9090817 SOS 2045792 HAS SOPS 2045792 HAS SOUS 1158948 HAS SOUPS 1158948 WITH SCORE 1160993.792
AT ITER 8102 NEW BEST:: SOT 9090667 SOS 2045592 HAS SOPS 2045592 HAS SOUS 1158823 HAS SOUPS 1158823 WITH SCORE 1160868.592
AT ITER 8126 NEW BEST:: SOT 9090992 SOS 2046242 HAS SOPS 2046242 HAS SOUS 1158383 HAS SOUPS 1158383 WITH SCORE 1160429.242
AT ITER 8132 NEW BEST:: SOT 9090838 SOS 2045934 HAS SOPS 2045934 HAS SOUS 1158022 HAS SOUPS 1158022 WITH SCORE 1160067.934
AT ITER 8185 NEW BEST:: SOT 9090659 SOS 2046066 HAS SOPS 2046066 HAS SOUS 1157831 HAS SOUPS 1157831 WITH SCORE 1159877.066
AT ITER 8209 NEW BEST:: SOT 9090659 SOS 2046047 HAS SOPS 2046047 HAS SOUS 1157812 HAS SOUPS 1157812 WITH SCORE 1159858.047
AT ITER 8236 NEW BEST:: SOT 9090760 SOS 2045775 HAS SOPS 2045775 HAS SOUS 1157805 HAS SOUPS 1157805 WITH SCORE 1159850.775
AT ITER 8252 NEW BEST:: SOT 9090151 SOS 2045291 HAS SOPS 2045291 HAS SOUS 1157528 HAS SOUPS 1157528 WITH SCORE 1159573.291
AT ITER 8272 NEW BEST:: SOT 9089960 SOS 2044909 HAS SOPS 2044909 HAS SOUS 1157463 HAS SOUPS 1157463 WITH SCORE 1159507.909
AT ITER 8299 NEW BEST:: SOT 9089960 SOS 2044899 HAS SOPS 2044899 HAS SOUS 1157462 HAS SOUPS 1157462 WITH SCORE 1159506.899
AT ITER 8314 NEW BEST:: SOT 9089955 SOS 2044889 HAS SOPS 2044889 HAS SOUS 1157457 HAS SOUPS 1157457 WITH SCORE 1159501.889
AT ITER 8329 NEW BEST:: SOT 9089930 SOS 2044891 HAS SOPS 2044891 HAS SOUS 1157407 HAS SOUPS 1157407 WITH SCORE 1159451.891
AT ITER 8331 NEW BEST:: SOT 9089902 SOS 2044835 HAS SOPS 2044835 HAS SOUS 1157379 HAS SOUPS 1157379 WITH SCORE 1159423.835
AT ITER 8353 NEW BEST:: SOT 9089937 SOS 2044905 HAS SOPS 2044905 HAS SOUS 1157337 HAS SOUPS 1157337 WITH SCORE 1159381.905
AT ITER 8357 NEW BEST:: SOT 9089937 SOS 2044853 HAS SOPS 2044853 HAS SOUS 1157337 HAS SOUPS 1157337 WITH SCORE 1159381.853
AT ITER 8386 NEW BEST:: SOT 9089825 SOS 2045386 HAS SOPS 2045386 HAS SOUS 1157225 HAS SOUPS 1157225 WITH SCORE 1159270.386
AT ITER 8418 NEW BEST:: SOT 9089825 SOS 2045243 HAS SOPS 2045243 HAS SOUS 1157225 HAS SOUPS 1157225 WITH SCORE 1159270.243
AT ITER 8446 NEW BEST:: SOT 9089763 SOS 2045119 HAS SOPS 2045119 HAS SOUS 1157101 HAS SOUPS 1157101 WITH SCORE 1159146.119
AT ITER 8469 NEW BEST:: SOT 9089628 SOS 2044096 HAS SOPS 2044096 HAS SOUS 1156831 HAS SOUPS 1156831 WITH SCORE 1158875.096
AT ITER 8478 NEW BEST:: SOT 9089604 SOS 2044058 HAS SOPS 2044058 HAS SOUS 1156807 HAS SOUPS 1156807 WITH SCORE 1158851.058
AT ITER 8492 NEW BEST:: SOT 9089603 SOS 2044056 HAS SOPS 2044056 HAS SOUS 1156805 HAS SOUPS 1156805 WITH SCORE 1158849.056
AT ITER 8549 NEW BEST:: SOT 9089355 SOS 2043560 HAS SOPS 2043560 HAS SOUS 1156365 HAS SOUPS 1156365 WITH SCORE 1158408.56
AT ITER 8560 NEW BEST:: SOT 9089139 SOS 2043128 HAS SOPS 2043128 HAS SOUS 1155933 HAS SOUPS 1155933 WITH SCORE 1157976.128
AT ITER 8575 NEW BEST:: SOT 9089139 SOS 2043125 HAS SOPS 2043125 HAS SOUS 1155932 HAS SOUPS 1155932 WITH SCORE 1157975.125
AT ITER 8638 NEW BEST:: SOT 9089139 SOS 2042385 HAS SOPS 2042385 HAS SOUS 1155932 HAS SOUPS 1155932 WITH SCORE 1157974.385
AT ITER 8721 NEW BEST:: SOT 9089139 SOS 2041470 HAS SOPS 2041470 HAS SOUS 1155627 HAS SOUPS 1155627 WITH SCORE 1157668.47
AT ITER 8729 NEW BEST:: SOT 9089139 SOS 2041449 HAS SOPS 2041449 HAS SOUS 1155606 HAS SOUPS 1155606 WITH SCORE 1157647.449
AT ITER 8784 NEW BEST:: SOT 9088549 SOS 2040859 HAS SOPS 2040859 HAS SOUS 1155016 HAS SOUPS 1155016 WITH SCORE 1157056.859
AT ITER 8794 NEW BEST:: SOT 9088438 SOS 2040201 HAS SOPS 2040201 HAS SOUS 1154796 HAS SOUPS 1154796 WITH SCORE 1156836.201
AT ITER 8820 NEW BEST:: SOT 9088438 SOS 2040201 HAS SOPS 2040201 HAS SOUS 1154621 HAS SOUPS 1154621 WITH SCORE 1156661.201
AT ITER 8838 NEW BEST:: SOT 9088405 SOS 2040168 HAS SOPS 2040168 HAS SOUS 1154555 HAS SOUPS 1154555 WITH SCORE 1156595.168
AT ITER 8888 NEW BEST:: SOT 9088368 SOS 2040162 HAS SOPS 2040162 HAS SOUS 1154549 HAS SOUPS 1154549 WITH SCORE 1156589.162
AT ITER 8896 NEW BEST:: SOT 9088549 SOS 2040524 HAS SOPS 2040524 HAS SOUS 1154528 HAS SOUPS 1154528 WITH SCORE 1156568.524
AT ITER 8902 NEW BEST:: SOT 9088549 SOS 2040524 HAS SOPS 2040524 HAS SOUS 1153958 HAS SOUPS 1153958 WITH SCORE 1155998.524
AT ITER 8908 NEW BEST:: SOT 9088549 SOS 2040414 HAS SOPS 2040414 HAS SOUS 1153903 HAS SOUPS 1153903 WITH SCORE 1155943.414
AT ITER 8928 NEW BEST:: SOT 9088311 SOS 2041123 HAS SOPS 2041123 HAS SOUS 1153901 HAS SOUPS 1153901 WITH SCORE 1155942.123
AT ITER 8983 NEW BEST:: SOT 9088218 SOS 2040983 HAS SOPS 2040983 HAS SOUS 1153761 HAS SOUPS 1153761 WITH SCORE 1155801.983
AT ITER 8993 NEW BEST:: SOT 9088218 SOS 2041102 HAS SOPS 2041102 HAS SOUS 1153760 HAS SOUPS 1153760 WITH SCORE 1155801.102
AT ITER 9004 NEW BEST:: SOT 9088218 SOS 2041923 HAS SOPS 2041923 HAS SOUS 1153759 HAS SOUPS 1153759 WITH SCORE 1155800.923
AT ITER 9025 NEW BEST:: SOT 9088218 SOS 2041902 HAS SOPS 2041902 HAS SOUS 1153738 HAS SOUPS 1153738 WITH SCORE 1155779.902
AT ITER 9031 NEW BEST:: SOT 9088037 SOS 2041671 HAS SOPS 2041671 HAS SOUS 1153507 HAS SOUPS 1153507 WITH SCORE 1155548.671
AT ITER 9053 NEW BEST:: SOT 9088037 SOS 2042197 HAS SOPS 2042197 HAS SOUS 1153333 HAS SOUPS 1153333 WITH SCORE 1155375.197
AT ITER 9056 NEW BEST:: SOT 9087921 SOS 2041965 HAS SOPS 2041965 HAS SOUS 1153246 HAS SOUPS 1153246 WITH SCORE 1155287.965
AT ITER 9058 NEW BEST:: SOT 9087941 SOS 2042005 HAS SOPS 2042005 HAS SOUS 1153173 HAS SOUPS 1153173 WITH SCORE 1155215.005
AT ITER 9105 NEW BEST:: SOT 9088017 SOS 2042157 HAS SOPS 2042157 HAS SOUS 1152852 HAS SOUPS 1152852 WITH SCORE 1154894.157
AT ITER 9127 NEW BEST:: SOT 9088161 SOS 2043474 HAS SOPS 2043474 HAS SOUS 1152827 HAS SOUPS 1152827 WITH SCORE 1154870.474
AT ITER 9174 NEW BEST:: SOT 9088095 SOS 2043342 HAS SOPS 2043342 HAS SOUS 1152695 HAS SOUPS 1152695 WITH SCORE 1154738.342
AT ITER 9197 NEW BEST:: SOT 9088508 SOS 2044168 HAS SOPS 2044168 HAS SOUS 1152596 HAS SOUPS 1152596 WITH SCORE 1154640.168
AT ITER 9200 NEW BEST:: SOT 9088576 SOS 2044804 HAS SOPS 2044804 HAS SOUS 1152539 HAS SOUPS 1152539 WITH SCORE 1154583.804
AT ITER 9202 NEW BEST:: SOT 9088220 SOS 2045984 HAS SOPS 2045984 HAS SOUS 1151715 HAS SOUPS 1151715 WITH SCORE 1153760.984
AT ITER 9212 NEW BEST:: SOT 9087681 SOS 2045445 HAS SOPS 2045445 HAS SOUS 1151176 HAS SOUPS 1151176 WITH SCORE 1153221.445
AT ITER 9216 NEW BEST:: SOT 9087500 SOS 2045083 HAS SOPS 2045083 HAS SOUS 1150994 HAS SOUPS 1150994 WITH SCORE 1153039.083
AT ITER 9223 NEW BEST:: SOT 9087180 SOS 2043402 HAS SOPS 2043402 HAS SOUS 1150354 HAS SOUPS 1150354 WITH SCORE 1152397.402
AT ITER 9227 NEW BEST:: SOT 9087180 SOS 2042872 HAS SOPS 2042872 HAS SOUS 1150354 HAS SOUPS 1150354 WITH SCORE 1152396.872
AT ITER 9253 NEW BEST:: SOT 9087083 SOS 2042312 HAS SOPS 2042312 HAS SOUS 1150120 HAS SOUPS 1150120 WITH SCORE 1152162.312
AT ITER 9267 NEW BEST:: SOT 9087090 SOS 2041910 HAS SOPS 2041910 HAS SOUS 1149998 HAS SOUPS 1149998 WITH SCORE 1152039.91
AT ITER 9269 NEW BEST:: SOT 9086925 SOS 2041771 HAS SOPS 2041771 HAS SOUS 1149668 HAS SOUPS 1149668 WITH SCORE 1151709.771
AT ITER 9280 NEW BEST:: SOT 9086471 SOS 2041180 HAS SOPS 2041180 HAS SOUS 1149408 HAS SOUPS 1149408 WITH SCORE 1151449.18
AT ITER 9317 NEW BEST:: SOT 9086431 SOS 2038670 HAS SOPS 2038670 HAS SOUS 1149328 HAS SOUPS 1149328 WITH SCORE 1151366.67
AT ITER 9324 NEW BEST:: SOT 9086431 SOS 2038642 HAS SOPS 2038642 HAS SOUS 1149300 HAS SOUPS 1149300 WITH SCORE 1151338.642
AT ITER 9368 NEW BEST:: SOT 9086311 SOS 2038595 HAS SOPS 2038595 HAS SOUS 1149253 HAS SOUPS 1149253 WITH SCORE 1151291.595
AT ITER 9381 NEW BEST:: SOT 9086146 SOS 2036780 HAS SOPS 2036780 HAS SOUS 1149088 HAS SOUPS 1149088 WITH SCORE 1151124.78
AT ITER 9387 NEW BEST:: SOT 9086146 SOS 2037016 HAS SOPS 2037016 HAS SOUS 1149031 HAS SOUPS 1149031 WITH SCORE 1151068.016
AT ITER 9394 NEW BEST:: SOT 9084985 SOS 2033955 HAS SOPS 2033955 HAS SOUS 1147568 HAS SOUPS 1147568 WITH SCORE 1149601.955
AT ITER 9410 NEW BEST:: SOT 9085110 SOS 2033249 HAS SOPS 2033249 HAS SOUS 1147224 HAS SOUPS 1147224 WITH SCORE 1149257.249
AT ITER 9447 NEW BEST:: SOT 9084957 SOS 2033399 HAS SOPS 2033399 HAS SOUS 1147222 HAS SOUPS 1147222 WITH SCORE 1149255.399
AT ITER 9457 NEW BEST:: SOT 9084730 SOS 2036881 HAS SOPS 2036881 HAS SOUS 1147086 HAS SOUPS 1147086 WITH SCORE 1149122.881
AT ITER 9495 NEW BEST:: SOT 9084730 SOS 2036881 HAS SOPS 2036881 HAS SOUS 1146974 HAS SOUPS 1146974 WITH SCORE 1149010.881
AT ITER 9525 NEW BEST:: SOT 9084492 SOS 2037947 HAS SOPS 2037947 HAS SOUS 1146806 HAS SOUPS 1146806 WITH SCORE 1148843.947
AT ITER 9538 NEW BEST:: SOT 9084492 SOS 2037935 HAS SOPS 2037935 HAS SOUS 1146794 HAS SOUPS 1146794 WITH SCORE 1148831.935
AT ITER 9547 NEW BEST:: SOT 9084492 SOS 2038078 HAS SOPS 2038078 HAS SOUS 1146793 HAS SOUPS 1146793 WITH SCORE 1148831.078
AT ITER 9572 NEW BEST:: SOT 9084492 SOS 2038078 HAS SOPS 2038078 HAS SOUS 1146739 HAS SOUPS 1146739 WITH SCORE 1148777.078
AT ITER 9575 NEW BEST:: SOT 9084176 SOS 2038078 HAS SOPS 2038078 HAS SOUS 1146423 HAS SOUPS 1146423 WITH SCORE 1148461.078
AT ITER 9577 NEW BEST:: SOT 9084176 SOS 2038078 HAS SOPS 2038078 HAS SOUS 1146380 HAS SOUPS 1146380 WITH SCORE 1148418.078
AT ITER 9590 NEW BEST:: SOT 9084160 SOS 2038062 HAS SOPS 2038062 HAS SOUS 1146364 HAS SOUPS 1146364 WITH SCORE 1148402.062
AT ITER 9599 NEW BEST:: SOT 9084057 SOS 2037856 HAS SOPS 2037856 HAS SOUS 1146144 HAS SOUPS 1146144 WITH SCORE 1148181.856
AT ITER 9611 NEW BEST:: SOT 9084006 SOS 2037754 HAS SOPS 2037754 HAS SOUS 1146093 HAS SOUPS 1146093 WITH SCORE 1148130.754
AT ITER 9616 NEW BEST:: SOT 9084006 SOS 2037752 HAS SOPS 2037752 HAS SOUS 1146091 HAS SOUPS 1146091 WITH SCORE 1148128.752
AT ITER 9617 NEW BEST:: SOT 9084006 SOS 2037524 HAS SOPS 2037524 HAS SOUS 1146091 HAS SOUPS 1146091 WITH SCORE 1148128.524
AT ITER 9633 NEW BEST:: SOT 9084005 SOS 2037522 HAS SOPS 2037522 HAS SOUS 1146089 HAS SOUPS 1146089 WITH SCORE 1148126.522
AT ITER 9683 NEW BEST:: SOT 9084003 SOS 2037520 HAS SOPS 2037520 HAS SOUS 1146089 HAS SOUPS 1146089 WITH SCORE 1148126.52
AT ITER 9703 NEW BEST:: SOT 9084002 SOS 2037411 HAS SOPS 2037411 HAS SOUS 1145980 HAS SOUPS 1145980 WITH SCORE 1148017.411
AT ITER 9768 NEW BEST:: SOT 9083973 SOS 2037353 HAS SOPS 2037353 HAS SOUS 1145951 HAS SOUPS 1145951 WITH SCORE 1147988.353
AT ITER 9798 NEW BEST:: SOT 9083812 SOS 2036735 HAS SOPS 2036735 HAS SOUS 1145503 HAS SOUPS 1145503 WITH SCORE 1147539.735
AT ITER 9826 NEW BEST:: SOT 9083763 SOS 2034679 HAS SOPS 2034679 HAS SOUS 1145297 HAS SOUPS 1145297 WITH SCORE 1147331.679
AT ITER 9842 NEW BEST:: SOT 9083763 SOS 2034669 HAS SOPS 2034669 HAS SOUS 1145189 HAS SOUPS 1145189 WITH SCORE 1147223.669
AT ITER 9852 NEW BEST:: SOT 9083763 SOS 2034669 HAS SOPS 2034669 HAS SOUS 1145078 HAS SOUPS 1145078 WITH SCORE 1147112.669
AT ITER 9872 NEW BEST:: SOT 9083762 SOS 2034976 HAS SOPS 2034976 HAS SOUS 1145076 HAS SOUPS 1145076 WITH SCORE 1147110.976
AT ITER 9891 NEW BEST:: SOT 9083762 SOS 2035392 HAS SOPS 2035392 HAS SOUS 1145075 HAS SOUPS 1145075 WITH SCORE 1147110.392
AT ITER 9902 NEW BEST:: SOT 9084130 SOS 2036128 HAS SOPS 2036128 HAS SOUS 1144906 HAS SOUPS 1144906 WITH SCORE 1146942.128
AT ITER 9931 NEW BEST:: SOT 9083872 SOS 2035612 HAS SOPS 2035612 HAS SOUS 1144199 HAS SOUPS 1144199 WITH SCORE 1146234.612
AT ITER 9940 NEW BEST:: SOT 9083101 SOS 2035478 HAS SOPS 2035478 HAS SOUS 1143780 HAS SOUPS 1143780 WITH SCORE 1145815.478
AT ITER 9945 NEW BEST:: SOT 9083064 SOS 2035404 HAS SOPS 2035404 HAS SOUS 1143706 HAS SOUPS 1143706 WITH SCORE 1145741.404
AT ITER 9962 NEW BEST:: SOT 9083064 SOS 2035404 HAS SOPS 2035404 HAS SOUS 1143705 HAS SOUPS 1143705 WITH SCORE 1145740.404
AT ITER 9992 NEW BEST:: SOT 9083428 SOS 2032970 HAS SOPS 2032970 HAS SOUS 1143234 HAS SOUPS 1143234 WITH SCORE 1145266.97
AT ITER 9994 NEW BEST:: SOT 9083431 SOS 2029178 HAS SOPS 2029178 HAS SOUS 1143050 HAS SOUPS 1143050 WITH SCORE 1145079.178
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14915316 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153768 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="DLCround-PT-08b"
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 DLCround-PT-08b, 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-167814472800712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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