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.r131-smll-167819407800520.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 DoubleLock-PT-p1s2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407800520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 7.1K Feb 25 14:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 184K Feb 25 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 14:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M 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 1679936075216

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=DoubleLock-PT-p1s2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p1s2
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: 570 places, 7600 transitions, 30784 arcs.
AT ITER 0 NEW BEST:: SOT 1804954 SOS 1573424 HAS SOPS 1491749 HAS SOUS 635579 HAS SOUPS 594671 WITH SCORE 596244.424
AT ITER 2 NEW BEST:: SOT 1807284 SOS 1574466 HAS SOPS 1493113 HAS SOUS 633966 HAS SOUPS 593219 WITH SCORE 594793.466
AT ITER 6 NEW BEST:: SOT 1808574 SOS 1575060 HAS SOPS 1493881 HAS SOUS 633731 HAS SOUPS 593071 WITH SCORE 594646.06
AT ITER 11 NEW BEST:: SOT 1808878 SOS 1575012 HAS SOPS 1493921 HAS SOUS 633133 HAS SOUPS 592517 WITH SCORE 594092.012
AT ITER 25 NEW BEST:: SOT 1806802 SOS 1561323 HAS SOPS 1470266 HAS SOUS 624273 HAS SOUPS 583651 WITH SCORE 585212.323
AT ITER 26 NEW BEST:: SOT 1807439 SOS 1561258 HAS SOPS 1470435 HAS SOUS 623209 HAS SOUPS 582665 WITH SCORE 584226.258
AT ITER 31 NEW BEST:: SOT 1808001 SOS 1561299 HAS SOPS 1470649 HAS SOUS 622638 HAS SOUPS 582152 WITH SCORE 583713.299
AT ITER 72 NEW BEST:: SOT 1808339 SOS 1561265 HAS SOPS 1470723 HAS SOUS 622088 HAS SOUPS 581646 WITH SCORE 583207.265
AT ITER 77 NEW BEST:: SOT 1808339 SOS 1561671 HAS SOPS 1471129 HAS SOUS 622075 HAS SOUPS 581633 WITH SCORE 583194.671
AT ITER 92 NEW BEST:: SOT 1810961 SOS 1562835 HAS SOPS 1472731 HAS SOUS 620427 HAS SOUPS 580155 WITH SCORE 581717.835
AT ITER 100 NEW BEST:: SOT 1811454 SOS 1562523 HAS SOPS 1472672 HAS SOUS 618491 HAS SOUPS 578311 WITH SCORE 579873.523
AT ITER 120 NEW BEST:: SOT 1774058 SOS 1525282 HAS SOPS 1435435 HAS SOUS 600795 HAS SOUPS 560619 WITH SCORE 562144.282
AT ITER 124 NEW BEST:: SOT 1779988 SOS 1529770 HAS SOPS 1440323 HAS SOUS 600440 HAS SOUPS 560450 WITH SCORE 561979.77
AT ITER 125 NEW BEST:: SOT 1768378 SOS 1518351 HAS SOPS 1428904 HAS SOUS 594903 HAS SOUPS 554913 WITH SCORE 556431.351
AT ITER 142 NEW BEST:: SOT 1769303 SOS 1518560 HAS SOPS 1429326 HAS SOUS 594294 HAS SOUPS 554390 WITH SCORE 555908.56
AT ITER 150 NEW BEST:: SOT 1769403 SOS 1518660 HAS SOPS 1429426 HAS SOUS 594262 HAS SOUPS 554358 WITH SCORE 555876.66
AT ITER 166 NEW BEST:: SOT 1769919 SOS 1518441 HAS SOPS 1429425 HAS SOUS 592067 HAS SOUPS 552252 WITH SCORE 553770.441
AT ITER 182 NEW BEST:: SOT 1769919 SOS 1518377 HAS SOPS 1429361 HAS SOUS 592065 HAS SOUPS 552250 WITH SCORE 553768.377
AT ITER 197 NEW BEST:: SOT 1770274 SOS 1518093 HAS SOPS 1429290 HAS SOUS 590582 HAS SOUPS 550838 WITH SCORE 552356.093
AT ITER 209 NEW BEST:: SOT 1770549 SOS 1517943 HAS SOPS 1429265 HAS SOUS 589706 HAS SOUPS 550012 WITH SCORE 551529.943
AT ITER 256 NEW BEST:: SOT 1771042 SOS 1518121 HAS SOPS 1429548 HAS SOUS 589218 HAS SOUPS 549559 WITH SCORE 551077.121
AT ITER 284 NEW BEST:: SOT 1784896 SOS 1519582 HAS SOPS 1431009 HAS SOUS 589008 HAS SOUPS 549349 WITH SCORE 550868.582
AT ITER 286 NEW BEST:: SOT 1784018 SOS 1518674 HAS SOPS 1430101 HAS SOUS 588136 HAS SOUPS 548477 WITH SCORE 549995.674
AT ITER 291 NEW BEST:: SOT 1786678 SOS 1520156 HAS SOPS 1431952 HAS SOUS 587997 HAS SOUPS 548461 WITH SCORE 549981.156
AT ITER 337 NEW BEST:: SOT 1787180 SOS 1520258 HAS SOPS 1432170 HAS SOUS 587753 HAS SOUPS 548260 WITH SCORE 549780.258
AT ITER 373 NEW BEST:: SOT 1789185 SOS 1521050 HAS SOPS 1433306 HAS SOUS 587070 HAS SOUPS 547710 WITH SCORE 549231.05
AT ITER 379 NEW BEST:: SOT 1788322 SOS 1520377 HAS SOPS 1432575 HAS SOUS 586064 HAS SOUPS 546675 WITH SCORE 548195.377
AT ITER 398 NEW BEST:: SOT 1789246 SOS 1520297 HAS SOPS 1432761 HAS SOUS 583734 HAS SOUPS 544455 WITH SCORE 545975.297
AT ITER 411 NEW BEST:: SOT 1791087 SOS 1520766 HAS SOPS 1433618 HAS SOUS 582459 HAS SOUPS 543321 WITH SCORE 544841.766
AT ITER 421 NEW BEST:: SOT 1791507 SOS 1521186 HAS SOPS 1434038 HAS SOUS 582388 HAS SOUPS 543250 WITH SCORE 544771.186
AT ITER 425 NEW BEST:: SOT 1793532 SOS 1521958 HAS SOPS 1435150 HAS SOUS 581158 HAS SOUPS 542165 WITH SCORE 543686.958
AT ITER 430 NEW BEST:: SOT 1795103 SOS 1522311 HAS SOPS 1435833 HAS SOUS 579305 HAS SOUPS 540449 WITH SCORE 541971.311
AT ITER 445 NEW BEST:: SOT 1797439 SOS 1523013 HAS SOPS 1436991 HAS SOUS 576869 HAS SOUPS 538190 WITH SCORE 539713.013
AT ITER 469 NEW BEST:: SOT 1821336 SOS 1535400 HAS SOPS 1449378 HAS SOUS 573446 HAS SOUPS 534767 WITH SCORE 536302.4
AT ITER 479 NEW BEST:: SOT 1821336 SOS 1534632 HAS SOPS 1448610 HAS SOUS 573440 HAS SOUPS 534761 WITH SCORE 536295.632
AT ITER 504 NEW BEST:: SOT 1821595 SOS 1534648 HAS SOPS 1448680 HAS SOUS 573030 HAS SOUPS 534378 WITH SCORE 535912.648
AT ITER 514 NEW BEST:: SOT 1821986 SOS 1534669 HAS SOPS 1448779 HAS SOUS 572387 HAS SOUPS 533774 WITH SCORE 535308.669
AT ITER 526 NEW BEST:: SOT 1821900 SOS 1534583 HAS SOPS 1448693 HAS SOUS 572369 HAS SOUPS 533756 WITH SCORE 535290.583
AT ITER 542 NEW BEST:: SOT 1822095 SOS 1534746 HAS SOPS 1448856 HAS SOUS 571892 HAS SOUPS 533279 WITH SCORE 534813.746
AT ITER 572 NEW BEST:: SOT 1824700 SOS 1535895 HAS SOPS 1450433 HAS SOUS 571729 HAS SOUPS 533268 WITH SCORE 534803.895
AT ITER 581 NEW BEST:: SOT 1832846 SOS 1542295 HAS SOPS 1457420 HAS SOUS 570886 HAS SOUPS 532683 WITH SCORE 534225.295
AT ITER 585 NEW BEST:: SOT 1832178 SOS 1541535 HAS SOPS 1456660 HAS SOUS 569758 HAS SOUPS 531555 WITH SCORE 533096.535
AT ITER 587 NEW BEST:: SOT 1834604 SOS 1542555 HAS SOPS 1458056 HAS SOUS 568713 HAS SOUPS 530658 WITH SCORE 532200.555
AT ITER 599 NEW BEST:: SOT 1833146 SOS 1529797 HAS SOPS 1438350 HAS SOUS 562415 HAS SOUPS 524360 WITH SCORE 525889.797
AT ITER 616 NEW BEST:: SOT 1833865 SOS 1530172 HAS SOPS 1438977 HAS SOUS 561348 HAS SOUPS 523356 WITH SCORE 524886.172
AT ITER 632 NEW BEST:: SOT 1833783 SOS 1530056 HAS SOPS 1438861 HAS SOUS 561028 HAS SOUPS 523036 WITH SCORE 524566.056
AT ITER 638 NEW BEST:: SOT 1833777 SOS 1530050 HAS SOPS 1438855 HAS SOUS 561022 HAS SOUPS 523030 WITH SCORE 524560.05
AT ITER 642 NEW BEST:: SOT 1811354 SOS 1507836 HAS SOPS 1416641 HAS SOUS 553096 HAS SOUPS 515104 WITH SCORE 516611.836
AT ITER 652 NEW BEST:: SOT 1812697 SOS 1508274 HAS SOPS 1417304 HAS SOUS 552763 HAS SOUPS 514873 WITH SCORE 516381.274
AT ITER 654 NEW BEST:: SOT 1814624 SOS 1509123 HAS SOPS 1418444 HAS SOUS 552289 HAS SOUPS 514517 WITH SCORE 516026.123
AT ITER 655 NEW BEST:: SOT 1815153 SOS 1508707 HAS SOPS 1418309 HAS SOUS 550857 HAS SOUPS 513168 WITH SCORE 514676.707
AT ITER 658 NEW BEST:: SOT 1814647 SOS 1508159 HAS SOPS 1417761 HAS SOUS 549910 HAS SOUPS 512221 WITH SCORE 513729.159
AT ITER 672 NEW BEST:: SOT 1814703 SOS 1508127 HAS SOPS 1417761 HAS SOUS 549758 HAS SOUPS 512077 WITH SCORE 513585.127
AT ITER 677 NEW BEST:: SOT 1815855 SOS 1508084 HAS SOPS 1418093 HAS SOUS 548692 HAS SOUPS 511114 WITH SCORE 512622.084
AT ITER 684 NEW BEST:: SOT 1816697 SOS 1507930 HAS SOPS 1413559 HAS SOUS 545658 HAS SOUPS 508080 WITH SCORE 509587.93
AT ITER 689 NEW BEST:: SOT 1817894 SOS 1507670 HAS SOPS 1413774 HAS SOUS 543732 HAS SOUPS 506284 WITH SCORE 507791.67
AT ITER 706 NEW BEST:: SOT 1817178 SOS 1506954 HAS SOPS 1413058 HAS SOUS 543097 HAS SOUPS 505649 WITH SCORE 507155.954
AT ITER 727 NEW BEST:: SOT 1819998 SOS 1508024 HAS SOPS 1414740 HAS SOUS 541349 HAS SOUPS 504059 WITH SCORE 505567.024
AT ITER 764 NEW BEST:: SOT 1820658 SOS 1508324 HAS SOPS 1415160 HAS SOUS 540779 HAS SOUPS 503519 WITH SCORE 505027.324
AT ITER 786 NEW BEST:: SOT 1820662 SOS 1508328 HAS SOPS 1415164 HAS SOUS 540353 HAS SOUPS 503093 WITH SCORE 504601.328
AT ITER 852 NEW BEST:: SOT 1820636 SOS 1508302 HAS SOPS 1415138 HAS SOUS 540327 HAS SOUPS 503067 WITH SCORE 504575.302
AT ITER 864 NEW BEST:: SOT 1811274 SOS 1499017 HAS SOPS 1405858 HAS SOUS 539273 HAS SOUPS 502018 WITH SCORE 503517.017
AT ITER 882 NEW BEST:: SOT 1811812 SOS 1498617 HAS SOPS 1405719 HAS SOUS 537084 HAS SOUPS 499918 WITH SCORE 501416.617
AT ITER 890 NEW BEST:: SOT 1812599 SOS 1498026 HAS SOPS 1405509 HAS SOUS 533875 HAS SOUPS 496841 WITH SCORE 498339.026
AT ITER 906 NEW BEST:: SOT 1813890 SOS 1498034 HAS SOPS 1405856 HAS SOUS 531548 HAS SOUPS 494644 WITH SCORE 496142.034
AT ITER 932 NEW BEST:: SOT 1814313 SOS 1497927 HAS SOPS 1405937 HAS SOUS 530425 HAS SOUPS 493568 WITH SCORE 495065.927
AT ITER 975 NEW BEST:: SOT 1814327 SOS 1497929 HAS SOPS 1405939 HAS SOUS 530355 HAS SOUPS 493498 WITH SCORE 494995.929
AT ITER 1016 NEW BEST:: SOT 1816117 SOS 1497887 HAS SOPS 1406446 HAS SOUS 526871 HAS SOUPS 490179 WITH SCORE 491676.887
AT ITER 1024 NEW BEST:: SOT 1814715 SOS 1496677 HAS SOPS 1405160 HAS SOUS 525239 HAS SOUPS 488509 WITH SCORE 490005.677
AT ITER 1033 NEW BEST:: SOT 1814643 SOS 1496595 HAS SOPS 1405078 HAS SOUS 525131 HAS SOUPS 488401 WITH SCORE 489897.595
AT ITER 1041 NEW BEST:: SOT 1814619 SOS 1496567 HAS SOPS 1405050 HAS SOUS 525087 HAS SOUPS 488357 WITH SCORE 489853.567
AT ITER 1111 NEW BEST:: SOT 1818259 SOS 1498221 HAS SOPS 1407353 HAS SOUS 524418 HAS SOUPS 487870 WITH SCORE 489368.221
AT ITER 1124 NEW BEST:: SOT 1818177 SOS 1498139 HAS SOPS 1407271 HAS SOUS 524336 HAS SOUPS 487788 WITH SCORE 489286.139
AT ITER 1128 NEW BEST:: SOT 1818153 SOS 1498091 HAS SOPS 1407223 HAS SOUS 524312 HAS SOUPS 487764 WITH SCORE 489262.091
AT ITER 1153 NEW BEST:: SOT 1817615 SOS 1497543 HAS SOPS 1406675 HAS SOUS 523391 HAS SOUPS 486843 WITH SCORE 488340.543
AT ITER 1154 NEW BEST:: SOT 1817269 SOS 1497113 HAS SOPS 1406245 HAS SOUS 522341 HAS SOUPS 485793 WITH SCORE 487290.113
AT ITER 1184 NEW BEST:: SOT 1817281 SOS 1496237 HAS SOPS 1405369 HAS SOUS 522338 HAS SOUPS 485790 WITH SCORE 487286.237
AT ITER 1216 NEW BEST:: SOT 1817297 SOS 1496257 HAS SOPS 1405389 HAS SOUS 522287 HAS SOUPS 485739 WITH SCORE 487235.257
AT ITER 1266 NEW BEST:: SOT 1818405 SOS 1496164 HAS SOPS 1405647 HAS SOUS 520237 HAS SOUPS 483802 WITH SCORE 485298.164
AT ITER 1269 NEW BEST:: SOT 1818451 SOS 1496042 HAS SOPS 1405581 HAS SOUS 519875 HAS SOUPS 483454 WITH SCORE 484950.042
AT ITER 1301 NEW BEST:: SOT 1818295 SOS 1495886 HAS SOPS 1405425 HAS SOUS 519460 HAS SOUPS 483039 WITH SCORE 484534.886
AT ITER 1338 NEW BEST:: SOT 1818830 SOS 1495797 HAS SOPS 1405525 HAS SOUS 519039 HAS SOUPS 482677 WITH SCORE 484172.797
AT ITER 1351 NEW BEST:: SOT 1819346 SOS 1495524 HAS SOPS 1405505 HAS SOUS 518062 HAS SOUPS 481767 WITH SCORE 483262.524
AT ITER 1365 NEW BEST:: SOT 1819346 SOS 1495747 HAS SOPS 1405728 HAS SOUS 518046 HAS SOUPS 481751 WITH SCORE 483246.747
AT ITER 1403 NEW BEST:: SOT 1819314 SOS 1495715 HAS SOPS 1405696 HAS SOUS 518014 HAS SOUPS 481719 WITH SCORE 483214.715
AT ITER 1405 NEW BEST:: SOT 1821542 SOS 1495835 HAS SOPS 1406441 HAS SOUS 514712 HAS SOUPS 478616 WITH SCORE 480111.835
AT ITER 1433 NEW BEST:: SOT 1820760 SOS 1495391 HAS SOPS 1405892 HAS SOUS 514371 HAS SOUPS 478234 WITH SCORE 479729.391
AT ITER 1439 NEW BEST:: SOT 1820596 SOS 1495209 HAS SOPS 1405710 HAS SOUS 514073 HAS SOUPS 477936 WITH SCORE 479431.209
AT ITER 1450 NEW BEST:: SOT 1816716 SOS 1491608 HAS SOPS 1402001 HAS SOUS 510407 HAS SOUPS 474218 WITH SCORE 475709.608
AT ITER 1461 NEW BEST:: SOT 1816342 SOS 1491198 HAS SOPS 1401591 HAS SOUS 509781 HAS SOUPS 473592 WITH SCORE 475083.198
AT ITER 1505 NEW BEST:: SOT 1816346 SOS 1486228 HAS SOPS 1396621 HAS SOUS 509738 HAS SOUPS 473549 WITH SCORE 475035.228
AT ITER 1547 NEW BEST:: SOT 1816300 SOS 1486182 HAS SOPS 1396575 HAS SOUS 509636 HAS SOUPS 473447 WITH SCORE 474933.182
AT ITER 1550 NEW BEST:: SOT 1816277 SOS 1485128 HAS SOPS 1395828 HAS SOUS 506950 HAS SOUPS 470853 WITH SCORE 472338.128
AT ITER 1559 NEW BEST:: SOT 1816249 SOS 1485100 HAS SOPS 1395800 HAS SOUS 506922 HAS SOUPS 470825 WITH SCORE 472310.1
AT ITER 1571 NEW BEST:: SOT 1804729 SOS 1473580 HAS SOPS 1384280 HAS SOUS 495402 HAS SOUPS 459305 WITH SCORE 460778.58
AT ITER 1594 NEW BEST:: SOT 1804273 SOS 1473108 HAS SOPS 1383808 HAS SOUS 494644 HAS SOUPS 458547 WITH SCORE 460020.108
AT ITER 1602 NEW BEST:: SOT 1804911 SOS 1472600 HAS SOPS 1383677 HAS SOUS 493007 HAS SOUPS 457025 WITH SCORE 458497.6
AT ITER 1610 NEW BEST:: SOT 1804899 SOS 1472588 HAS SOPS 1383665 HAS SOUS 492290 HAS SOUPS 456308 WITH SCORE 457780.588
AT ITER 1650 NEW BEST:: SOT 1804903 SOS 1472584 HAS SOPS 1383661 HAS SOUS 491798 HAS SOUPS 455816 WITH SCORE 457288.584
AT ITER 1663 NEW BEST:: SOT 1804558 SOS 1472338 HAS SOPS 1383382 HAS SOUS 491610 HAS SOUPS 455617 WITH SCORE 457089.338
AT ITER 1669 NEW BEST:: SOT 1805260 SOS 1472566 HAS SOPS 1383786 HAS SOUS 491348 HAS SOUPS 455399 WITH SCORE 456871.566
AT ITER 1684 NEW BEST:: SOT 1802201 SOS 1468913 HAS SOPS 1380133 HAS SOUS 489885 HAS SOUPS 453936 WITH SCORE 455404.913
AT ITER 1686 NEW BEST:: SOT 1801805 SOS 1468481 HAS SOPS 1379701 HAS SOUS 489381 HAS SOUPS 453432 WITH SCORE 454900.481
AT ITER 1705 NEW BEST:: SOT 1801689 SOS 1468395 HAS SOPS 1379615 HAS SOUS 489295 HAS SOUPS 453346 WITH SCORE 454814.395
AT ITER 1726 NEW BEST:: SOT 1801659 SOS 1468365 HAS SOPS 1379585 HAS SOUS 489265 HAS SOUPS 453316 WITH SCORE 454784.365
AT ITER 1727 NEW BEST:: SOT 1807583 SOS 1472675 HAS SOPS 1384328 HAS SOUS 488910 HAS SOUPS 453147 WITH SCORE 454619.675
AT ITER 1734 NEW BEST:: SOT 1807363 SOS 1472455 HAS SOPS 1384108 HAS SOUS 488557 HAS SOUPS 452794 WITH SCORE 454266.455
AT ITER 1796 NEW BEST:: SOT 1806035 SOS 1471183 HAS SOPS 1382836 HAS SOUS 488097 HAS SOUPS 452334 WITH SCORE 453805.183
AT ITER 1799 NEW BEST:: SOT 1806056 SOS 1471144 HAS SOPS 1382817 HAS SOUS 487961 HAS SOUPS 452203 WITH SCORE 453674.144
AT ITER 1808 NEW BEST:: SOT 1807030 SOS 1471220 HAS SOPS 1383237 HAS SOUS 487509 HAS SOUPS 451837 WITH SCORE 453308.22
AT ITER 1809 NEW BEST:: SOT 1807035 SOS 1466177 HAS SOPS 1378188 HAS SOUS 487434 HAS SOUPS 451756 WITH SCORE 453222.177
AT ITER 1846 NEW BEST:: SOT 1807269 SOS 1465191 HAS SOPS 1377543 HAS SOUS 483654 HAS SOUPS 448091 WITH SCORE 449556.191
AT ITER 1867 NEW BEST:: SOT 1807521 SOS 1465134 HAS SOPS 1376771 HAS SOUS 483287 HAS SOUPS 447724 WITH SCORE 449189.134
AT ITER 1870 NEW BEST:: SOT 1811489 SOS 1467710 HAS SOPS 1379768 HAS SOUS 482965 HAS SOUPS 447532 WITH SCORE 448999.71
AT ITER 1871 NEW BEST:: SOT 1809683 SOS 1466172 HAS SOPS 1378144 HAS SOUS 482310 HAS SOUPS 446834 WITH SCORE 448300.172
AT ITER 1906 NEW BEST:: SOT 1810882 SOS 1466412 HAS SOPS 1378699 HAS SOUS 481163 HAS SOUPS 445784 WITH SCORE 447250.412
AT ITER 1911 NEW BEST:: SOT 1810632 SOS 1466028 HAS SOPS 1378315 HAS SOUS 479519 HAS SOUPS 444140 WITH SCORE 445606.028
AT ITER 1918 NEW BEST:: SOT 1810660 SOS 1466026 HAS SOPS 1378325 HAS SOUS 479483 HAS SOUPS 444107 WITH SCORE 445573.026
AT ITER 1933 NEW BEST:: SOT 1811840 SOS 1466801 HAS SOPS 1379194 HAS SOUS 478858 HAS SOUPS 443528 WITH SCORE 444994.801
AT ITER 1956 NEW BEST:: SOT 1811814 SOS 1466775 HAS SOPS 1379168 HAS SOUS 478852 HAS SOUPS 443522 WITH SCORE 444988.775
AT ITER 1975 NEW BEST:: SOT 1812195 SOS 1466884 HAS SOPS 1379369 HAS SOUS 478509 HAS SOUPS 443202 WITH SCORE 444668.884
AT ITER 1983 NEW BEST:: SOT 1812195 SOS 1466884 HAS SOPS 1379369 HAS SOUS 478501 HAS SOUPS 443194 WITH SCORE 444660.884
AT ITER 1987 NEW BEST:: SOT 1813847 SOS 1467112 HAS SOPS 1380105 HAS SOUS 477702 HAS SOUPS 442523 WITH SCORE 443990.112
AT ITER 1998 NEW BEST:: SOT 1807257 SOS 1460522 HAS SOPS 1373515 HAS SOUS 471137 HAS SOUPS 435958 WITH SCORE 437418.522
AT ITER 2033 NEW BEST:: SOT 1805276 SOS 1459166 HAS SOPS 1371969 HAS SOUS 470867 HAS SOUPS 435593 WITH SCORE 437052.166
AT ITER 2079 NEW BEST:: SOT 1805207 SOS 1458821 HAS SOPS 1371716 HAS SOUS 470223 HAS SOUPS 434972 WITH SCORE 436430.821
AT ITER 2110 NEW BEST:: SOT 1805260 SOS 1458795 HAS SOPS 1371707 HAS SOUS 470095 HAS SOUPS 434852 WITH SCORE 436310.795
AT ITER 2135 NEW BEST:: SOT 1804558 SOS 1458532 HAS SOPS 1371293 HAS SOUS 470040 HAS SOUPS 434741 WITH SCORE 436199.532
AT ITER 2151 NEW BEST:: SOT 1804570 SOS 1458496 HAS SOPS 1371273 HAS SOUS 469932 HAS SOUPS 434637 WITH SCORE 436095.496
AT ITER 2163 NEW BEST:: SOT 1804570 SOS 1458496 HAS SOPS 1371273 HAS SOUS 469912 HAS SOUPS 434617 WITH SCORE 436075.496
AT ITER 2185 NEW BEST:: SOT 1805044 SOS 1459010 HAS SOPS 1371787 HAS SOUS 469193 HAS SOUPS 433898 WITH SCORE 435357.01
AT ITER 2208 NEW BEST:: SOT 1803892 SOS 1457858 HAS SOPS 1370635 HAS SOUS 468516 HAS SOUPS 433221 WITH SCORE 434678.858
AT ITER 2222 NEW BEST:: SOT 1804200 SOS 1458006 HAS SOPS 1370847 HAS SOUS 468412 HAS SOUPS 433133 WITH SCORE 434591.006
AT ITER 2268 NEW BEST:: SOT 1806177 SOS 1458755 HAS SOPS 1371953 HAS SOUS 467587 HAS SOUPS 432440 WITH SCORE 433898.755
AT ITER 2269 NEW BEST:: SOT 1805909 SOS 1458433 HAS SOPS 1371631 HAS SOUS 466941 HAS SOUPS 431794 WITH SCORE 433252.433
AT ITER 2271 NEW BEST:: SOT 1806133 SOS 1458673 HAS SOPS 1371871 HAS SOUS 466913 HAS SOUPS 431766 WITH SCORE 433224.673
AT ITER 2281 NEW BEST:: SOT 1806999 SOS 1459287 HAS SOPS 1372541 HAS SOUS 466881 HAS SOUPS 431762 WITH SCORE 433221.287
AT ITER 2289 NEW BEST:: SOT 1807395 SOS 1459376 HAS SOPS 1372729 HAS SOUS 466812 HAS SOUPS 431729 WITH SCORE 433188.376
AT ITER 2375 NEW BEST:: SOT 1807515 SOS 1458392 HAS SOPS 1372113 HAS SOUS 464416 HAS SOUPS 429425 WITH SCORE 430883.392
AT ITER 2385 NEW BEST:: SOT 1806531 SOS 1441863 HAS SOPS 1355484 HAS SOUS 460235 HAS SOUPS 425213 WITH SCORE 426654.863
AT ITER 2389 NEW BEST:: SOT 1806768 SOS 1441873 HAS SOPS 1355548 HAS SOUS 459773 HAS SOUPS 424778 WITH SCORE 426219.873
AT ITER 2394 NEW BEST:: SOT 1796237 SOS 1431372 HAS SOPS 1345047 HAS SOUS 450914 HAS SOUPS 415919 WITH SCORE 417350.372
AT ITER 2411 NEW BEST:: SOT 1795886 SOS 1431112 HAS SOPS 1344761 HAS SOUS 450836 HAS SOUPS 415828 WITH SCORE 417259.112
AT ITER 2415 NEW BEST:: SOT 1795858 SOS 1431084 HAS SOPS 1344733 HAS SOUS 450808 HAS SOUPS 415800 WITH SCORE 417231.084
AT ITER 2423 NEW BEST:: SOT 1795824 SOS 1431050 HAS SOPS 1344699 HAS SOUS 450734 HAS SOUPS 415726 WITH SCORE 417157.05
AT ITER 2449 NEW BEST:: SOT 1794818 SOS 1430366 HAS SOPS 1343923 HAS SOUS 450496 HAS SOUPS 415442 WITH SCORE 416872.366
AT ITER 2481 NEW BEST:: SOT 1794744 SOS 1429980 HAS SOPS 1343641 HAS SOUS 449616 HAS SOUPS 414588 WITH SCORE 416017.98
AT ITER 2496 NEW BEST:: SOT 1799706 SOS 1432558 HAS SOPS 1346956 HAS SOUS 448435 HAS SOUPS 413621 WITH SCORE 415053.558
AT ITER 2504 NEW BEST:: SOT 1799244 SOS 1432210 HAS SOPS 1346608 HAS SOUS 447795 HAS SOUPS 412981 WITH SCORE 414413.21
AT ITER 2510 NEW BEST:: SOT 1799494 SOS 1431754 HAS SOPS 1346380 HAS SOUS 446540 HAS SOUPS 411783 WITH SCORE 413214.754
AT ITER 2517 NEW BEST:: SOT 1797162 SOS 1429422 HAS SOPS 1344048 HAS SOUS 444232 HAS SOUPS 409475 WITH SCORE 410904.422
AT ITER 2521 NEW BEST:: SOT 1797912 SOS 1428980 HAS SOPS 1343998 HAS SOUS 442456 HAS SOUPS 407797 WITH SCORE 409225.98
AT ITER 2525 NEW BEST:: SOT 1797800 SOS 1428852 HAS SOPS 1343870 HAS SOUS 442276 HAS SOUPS 407617 WITH SCORE 409045.852
AT ITER 2584 NEW BEST:: SOT 1798118 SOS 1429170 HAS SOPS 1344188 HAS SOUS 442262 HAS SOUPS 407603 WITH SCORE 409032.17
AT ITER 2719 NEW BEST:: SOT 1798042 SOS 1429070 HAS SOPS 1344088 HAS SOUS 442098 HAS SOUPS 407439 WITH SCORE 408868.07
AT ITER 2723 NEW BEST:: SOT 1800547 SOS 1430565 HAS SOPS 1345987 HAS SOUS 441968 HAS SOUPS 407410 WITH SCORE 408840.565
AT ITER 2727 NEW BEST:: SOT 1800485 SOS 1430503 HAS SOPS 1345925 HAS SOUS 441844 HAS SOUPS 407286 WITH SCORE 408716.503
AT ITER 2728 NEW BEST:: SOT 1796829 SOS 1427506 HAS SOPS 1342728 HAS SOUS 440022 HAS SOUPS 405364 WITH SCORE 406791.506
AT ITER 2732 NEW BEST:: SOT 1801531 SOS 1430824 HAS SOPS 1346411 HAS SOUS 439681 HAS SOUPS 405175 WITH SCORE 406605.824
AT ITER 2756 NEW BEST:: SOT 1801473 SOS 1430756 HAS SOPS 1346343 HAS SOUS 439583 HAS SOUPS 405077 WITH SCORE 406507.756
AT ITER 2757 NEW BEST:: SOT 1801347 SOS 1430612 HAS SOPS 1346199 HAS SOUS 439442 HAS SOUPS 404936 WITH SCORE 406366.612
AT ITER 2759 NEW BEST:: SOT 1799922 SOS 1429604 HAS SOPS 1345069 HAS SOUS 438955 HAS SOUPS 404388 WITH SCORE 405817.604
AT ITER 2785 NEW BEST:: SOT 1800110 SOS 1429792 HAS SOPS 1345257 HAS SOUS 438851 HAS SOUPS 404284 WITH SCORE 405713.792
AT ITER 2787 NEW BEST:: SOT 1799758 SOS 1429359 HAS SOPS 1344824 HAS SOUS 438148 HAS SOUPS 403581 WITH SCORE 405010.359
AT ITER 2831 NEW BEST:: SOT 1804150 SOS 1433033 HAS SOPS 1348957 HAS SOUS 437617 HAS SOUPS 403198 WITH SCORE 404631.033
AT ITER 2872 NEW BEST:: SOT 1805051 SOS 1433029 HAS SOPS 1349261 HAS SOUS 436747 HAS SOUPS 402405 WITH SCORE 403838.029
AT ITER 2896 NEW BEST:: SOT 1805037 SOS 1433015 HAS SOPS 1349247 HAS SOUS 436677 HAS SOUPS 402335 WITH SCORE 403768.015
AT ITER 2906 NEW BEST:: SOT 1805258 SOS 1432450 HAS SOPS 1348682 HAS SOUS 436636 HAS SOUPS 402294 WITH SCORE 403726.45
AT ITER 2917 NEW BEST:: SOT 1805031 SOS 1432205 HAS SOPS 1348437 HAS SOUS 436223 HAS SOUPS 401881 WITH SCORE 403313.205
AT ITER 2919 NEW BEST:: SOT 1807194 SOS 1433063 HAS SOPS 1349720 HAS SOUS 435568 HAS SOUPS 401349 WITH SCORE 402782.063
AT ITER 2941 NEW BEST:: SOT 1807110 SOS 1432946 HAS SOPS 1349603 HAS SOUS 435441 HAS SOUPS 401222 WITH SCORE 402654.946
AT ITER 2960 NEW BEST:: SOT 1806962 SOS 1432782 HAS SOPS 1349439 HAS SOUS 435316 HAS SOUPS 401097 WITH SCORE 402529.782
AT ITER 2961 NEW BEST:: SOT 1806944 SOS 1432473 HAS SOPS 1349226 HAS SOUS 434381 HAS SOUPS 400186 WITH SCORE 401618.473
AT ITER 2968 NEW BEST:: SOT 1807267 SOS 1431960 HAS SOPS 1348713 HAS SOUS 434356 HAS SOUPS 400161 WITH SCORE 401592.96
AT ITER 2971 NEW BEST:: SOT 1807253 SOS 1431944 HAS SOPS 1348697 HAS SOUS 434328 HAS SOUPS 400133 WITH SCORE 401564.944
AT ITER 2974 NEW BEST:: SOT 1807243 SOS 1431934 HAS SOPS 1348687 HAS SOUS 434308 HAS SOUPS 400113 WITH SCORE 401544.934
AT ITER 2988 NEW BEST:: SOT 1811721 SOS 1435338 HAS SOPS 1352528 HAS SOUS 432907 HAS SOUPS 398877 WITH SCORE 400312.338
AT ITER 3004 NEW BEST:: SOT 1812178 SOS 1435249 HAS SOPS 1352643 HAS SOUS 432080 HAS SOUPS 398101 WITH SCORE 399536.249
AT ITER 3105 NEW BEST:: SOT 1812178 SOS 1434750 HAS SOPS 1352144 HAS SOUS 431897 HAS SOUPS 397918 WITH SCORE 399352.75
AT ITER 3120 NEW BEST:: SOT 1811590 SOS 1434078 HAS SOPS 1351472 HAS SOUS 430721 HAS SOUPS 396742 WITH SCORE 398176.078
AT ITER 3135 NEW BEST:: SOT 1811590 SOS 1434487 HAS SOPS 1351893 HAS SOUS 430717 HAS SOUPS 396741 WITH SCORE 398175.487
AT ITER 3176 NEW BEST:: SOT 1813272 SOS 1435156 HAS SOPS 1352954 HAS SOUS 430538 HAS SOUPS 396660 WITH SCORE 398095.156
AT ITER 3326 NEW BEST:: SOT 1813290 SOS 1435174 HAS SOPS 1352972 HAS SOUS 430520 HAS SOUPS 396642 WITH SCORE 398077.174
AT ITER 3354 NEW BEST:: SOT 1813770 SOS 1435462 HAS SOPS 1353332 HAS SOUS 430384 HAS SOUPS 396524 WITH SCORE 397959.462
AT ITER 3355 NEW BEST:: SOT 1812944 SOS 1434585 HAS SOPS 1352455 HAS SOUS 429510 HAS SOUPS 395650 WITH SCORE 397084.585
AT ITER 3356 NEW BEST:: SOT 1812644 SOS 1434213 HAS SOPS 1352083 HAS SOUS 428898 HAS SOUPS 395038 WITH SCORE 396472.213
AT ITER 3362 NEW BEST:: SOT 1813697 SOS 1434739 HAS SOPS 1352760 HAS SOUS 428493 HAS SOUPS 394698 WITH SCORE 396132.739
AT ITER 3382 NEW BEST:: SOT 1814990 SOS 1435017 HAS SOPS 1353425 HAS SOUS 428202 HAS SOUPS 394522 WITH SCORE 395957.017
AT ITER 3408 NEW BEST:: SOT 1814646 SOS 1434764 HAS SOPS 1353146 HAS SOUS 427962 HAS SOUPS 394269 WITH SCORE 395703.764
AT ITER 3447 NEW BEST:: SOT 1814670 SOS 1434632 HAS SOPS 1353062 HAS SOUS 427530 HAS SOUPS 393849 WITH SCORE 395283.632
AT ITER 3480 NEW BEST:: SOT 1814670 SOS 1434632 HAS SOPS 1353062 HAS SOUS 427503 HAS SOUPS 393822 WITH SCORE 395256.632
AT ITER 3495 NEW BEST:: SOT 1814812 SOS 1434677 HAS SOPS 1353147 HAS SOUS 427428 HAS SOUPS 393757 WITH SCORE 395191.677
AT ITER 3559 NEW BEST:: SOT 1817572 SOS 1436735 HAS SOPS 1355373 HAS SOUS 427217 HAS SOUPS 393630 WITH SCORE 395066.735
AT ITER 3628 NEW BEST:: SOT 1818324 SOS 1436868 HAS SOPS 1355685 HAS SOUS 426284 HAS SOUPS 392762 WITH SCORE 394198.868
AT ITER 3648 NEW BEST:: SOT 1817787 SOS 1436656 HAS SOPS 1355374 HAS SOUS 426249 HAS SOUPS 392692 WITH SCORE 394128.656
AT ITER 3755 NEW BEST:: SOT 1817239 SOS 1436414 HAS SOPS 1355012 HAS SOUS 426085 HAS SOUPS 392497 WITH SCORE 393933.414
AT ITER 3800 NEW BEST:: SOT 1816423 SOS 1435598 HAS SOPS 1354196 HAS SOUS 425270 HAS SOUPS 391682 WITH SCORE 393117.598
AT ITER 3806 NEW BEST:: SOT 1816313 SOS 1435263 HAS SOPS 1353933 HAS SOUS 424645 HAS SOUPS 391075 WITH SCORE 392510.263
AT ITER 3822 NEW BEST:: SOT 1817018 SOS 1434983 HAS SOPS 1353924 HAS SOUS 422591 HAS SOUPS 389115 WITH SCORE 390549.983
AT ITER 3848 NEW BEST:: SOT 1817392 SOS 1435136 HAS SOPS 1354145 HAS SOUS 422302 HAS SOUPS 388843 WITH SCORE 390278.136
AT ITER 3856 NEW BEST:: SOT 1817473 SOS 1435203 HAS SOPS 1354212 HAS SOUS 421991 HAS SOUPS 388532 WITH SCORE 389967.203
AT ITER 3859 NEW BEST:: SOT 1817349 SOS 1435073 HAS SOPS 1354082 HAS SOUS 421941 HAS SOUPS 388482 WITH SCORE 389917.073
AT ITER 3864 NEW BEST:: SOT 1817511 SOS 1435125 HAS SOPS 1354174 HAS SOUS 421903 HAS SOUPS 388454 WITH SCORE 389889.125
AT ITER 3869 NEW BEST:: SOT 1817841 SOS 1435115 HAS SOPS 1354277 HAS SOUS 421524 HAS SOUPS 388114 WITH SCORE 389549.115
AT ITER 3877 NEW BEST:: SOT 1817841 SOS 1435115 HAS SOPS 1354277 HAS SOUS 421520 HAS SOUPS 388110 WITH SCORE 389545.115
AT ITER 3911 NEW BEST:: SOT 1817841 SOS 1437437 HAS SOPS 1356635 HAS SOUS 421493 HAS SOUPS 388092 WITH SCORE 389529.437
AT ITER 3932 NEW BEST:: SOT 1817651 SOS 1437347 HAS SOPS 1356505 HAS SOUS 421503 HAS SOUPS 388092 WITH SCORE 389529.347
AT ITER 3946 NEW BEST:: SOT 1817754 SOS 1433205 HAS SOPS 1352363 HAS SOUS 421500 HAS SOUPS 388089 WITH SCORE 389522.205
AT ITER 3964 NEW BEST:: SOT 1818718 SOS 1433675 HAS SOPS 1352985 HAS SOUS 420826 HAS SOUPS 387453 WITH SCORE 388886.675
AT ITER 3967 NEW BEST:: SOT 1818520 SOS 1433495 HAS SOPS 1352805 HAS SOUS 420522 HAS SOUPS 387149 WITH SCORE 388582.495
AT ITER 3991 NEW BEST:: SOT 1818508 SOS 1433483 HAS SOPS 1352793 HAS SOUS 420496 HAS SOUPS 387123 WITH SCORE 388556.483
AT ITER 4128 NEW BEST:: SOT 1818563 SOS 1433439 HAS SOPS 1352771 HAS SOUS 420155 HAS SOUPS 386793 WITH SCORE 388226.439
AT ITER 4149 NEW BEST:: SOT 1818005 SOS 1432931 HAS SOPS 1352263 HAS SOUS 420111 HAS SOUPS 386749 WITH SCORE 388181.931
AT ITER 4172 NEW BEST:: SOT 1818317 SOS 1432865 HAS SOPS 1352311 HAS SOUS 419679 HAS SOUPS 386350 WITH SCORE 387782.865
AT ITER 4190 NEW BEST:: SOT 1817529 SOS 1432500 HAS SOPS 1351815 HAS SOUS 419387 HAS SOUPS 386005 WITH SCORE 387437.5
AT ITER 4237 NEW BEST:: SOT 1817932 SOS 1432550 HAS SOPS 1351018 HAS SOUS 419373 HAS SOUPS 385981 WITH SCORE 387413.55
AT ITER 4238 NEW BEST:: SOT 1818625 SOS 1432774 HAS SOPS 1351414 HAS SOUS 419064 HAS SOUPS 385715 WITH SCORE 387147.774
AT ITER 4253 NEW BEST:: SOT 1818625 SOS 1432756 HAS SOPS 1351396 HAS SOUS 419024 HAS SOUPS 385675 WITH SCORE 387107.756
AT ITER 4266 NEW BEST:: SOT 1818573 SOS 1432692 HAS SOPS 1351332 HAS SOUS 418920 HAS SOUPS 385571 WITH SCORE 387003.692
AT ITER 4277 NEW BEST:: SOT 1818933 SOS 1432562 HAS SOPS 1351398 HAS SOUS 418433 HAS SOUPS 385133 WITH SCORE 386565.562
AT ITER 4293 NEW BEST:: SOT 1818893 SOS 1432514 HAS SOPS 1351350 HAS SOUS 418317 HAS SOUPS 385017 WITH SCORE 386449.514
AT ITER 4299 NEW BEST:: SOT 1818713 SOS 1432289 HAS SOPS 1351125 HAS SOUS 417942 HAS SOUPS 384642 WITH SCORE 386074.289
AT ITER 4334 NEW BEST:: SOT 1818699 SOS 1432273 HAS SOPS 1351109 HAS SOUS 417914 HAS SOUPS 384614 WITH SCORE 386046.273
AT ITER 4365 NEW BEST:: SOT 1818764 SOS 1432806 HAS SOPS 1351662 HAS SOUS 417796 HAS SOUPS 384501 WITH SCORE 385933.806
AT ITER 4391 NEW BEST:: SOT 1818754 SOS 1432666 HAS SOPS 1351562 HAS SOUS 417486 HAS SOUPS 384201 WITH SCORE 385633.666
AT ITER 4399 NEW BEST:: SOT 1816261 SOS 1430507 HAS SOPS 1349293 HAS SOUS 415427 HAS SOUPS 382087 WITH SCORE 383517.507
AT ITER 4445 NEW BEST:: SOT 1815920 SOS 1430166 HAS SOPS 1348952 HAS SOUS 415097 HAS SOUPS 381757 WITH SCORE 383187.166
AT ITER 4453 NEW BEST:: SOT 1815860 SOS 1430098 HAS SOPS 1348884 HAS SOUS 414981 HAS SOUPS 381641 WITH SCORE 383071.098
AT ITER 4492 NEW BEST:: SOT 1815734 SOS 1429948 HAS SOPS 1348734 HAS SOUS 414751 HAS SOUPS 381411 WITH SCORE 382840.948
AT ITER 4498 NEW BEST:: SOT 1814953 SOS 1429482 HAS SOPS 1348182 HAS SOUS 414559 HAS SOUPS 381176 WITH SCORE 382605.482
AT ITER 4511 NEW BEST:: SOT 1814505 SOS 1429156 HAS SOPS 1347820 HAS SOUS 414205 HAS SOUPS 380804 WITH SCORE 382233.156
AT ITER 4521 NEW BEST:: SOT 1815085 SOS 1429467 HAS SOPS 1348223 HAS SOUS 413972 HAS SOUPS 380594 WITH SCORE 382023.467
AT ITER 4523 NEW BEST:: SOT 1816150 SOS 1429193 HAS SOPS 1348429 HAS SOUS 410860 HAS SOUPS 377602 WITH SCORE 379031.193
AT ITER 4528 NEW BEST:: SOT 1815604 SOS 1428987 HAS SOPS 1348087 HAS SOUS 410722 HAS SOUPS 377430 WITH SCORE 378858.987
AT ITER 4536 NEW BEST:: SOT 1815936 SOS 1429012 HAS SOPS 1348185 HAS SOUS 410329 HAS SOUPS 377073 WITH SCORE 378502.012
AT ITER 4539 NEW BEST:: SOT 1815172 SOS 1428185 HAS SOPS 1347358 HAS SOUS 409444 HAS SOUPS 376188 WITH SCORE 377616.185
AT ITER 4562 NEW BEST:: SOT 1815241 SOS 1428204 HAS SOPS 1347397 HAS SOUS 409402 HAS SOUPS 376151 WITH SCORE 377579.204
AT ITER 4782 NEW BEST:: SOT 1815151 SOS 1428126 HAS SOPS 1347319 HAS SOUS 409399 HAS SOUPS 376148 WITH SCORE 377576.126
AT ITER 4939 NEW BEST:: SOT 1815329 SOS 1428129 HAS SOPS 1347364 HAS SOUS 409196 HAS SOUPS 375966 WITH SCORE 377394.129
AT ITER 4946 NEW BEST:: SOT 1814165 SOS 1427603 HAS SOPS 1346530 HAS SOUS 408686 HAS SOUPS 375379 WITH SCORE 376806.603
AT ITER 4957 NEW BEST:: SOT 1813650 SOS 1427256 HAS SOPS 1346099 HAS SOUS 408461 HAS SOUPS 375133 WITH SCORE 376560.256
AT ITER 4994 NEW BEST:: SOT 1813854 SOS 1427294 HAS SOPS 1346201 HAS SOUS 408423 HAS SOUPS 375112 WITH SCORE 376539.294
AT ITER 5086 NEW BEST:: SOT 1813954 SOS 1427334 HAS SOPS 1346265 HAS SOUS 408355 HAS SOUPS 375050 WITH SCORE 376477.334
AT ITER 5089 NEW BEST:: SOT 1814240 SOS 1427680 HAS SOPS 1346611 HAS SOUS 408252 HAS SOUPS 374947 WITH SCORE 376374.68
AT ITER 5116 NEW BEST:: SOT 1814240 SOS 1426656 HAS SOPS 1345587 HAS SOUS 408244 HAS SOUPS 374939 WITH SCORE 376365.656
AT ITER 5129 NEW BEST:: SOT 1814451 SOS 1426760 HAS SOPS 1345739 HAS SOUS 408227 HAS SOUPS 374934 WITH SCORE 376360.76
AT ITER 5148 NEW BEST:: SOT 1814451 SOS 1426658 HAS SOPS 1345637 HAS SOUS 408143 HAS SOUPS 374850 WITH SCORE 376276.658
AT ITER 5172 NEW BEST:: SOT 1814579 SOS 1426758 HAS SOPS 1345737 HAS SOUS 408075 HAS SOUPS 374782 WITH SCORE 376208.758
AT ITER 5197 NEW BEST:: SOT 1814559 SOS 1426678 HAS SOPS 1345677 HAS SOUS 407890 HAS SOUPS 374602 WITH SCORE 376028.678
AT ITER 5209 NEW BEST:: SOT 1814559 SOS 1426704 HAS SOPS 1345703 HAS SOUS 407889 HAS SOUPS 374601 WITH SCORE 376027.704
AT ITER 5243 NEW BEST:: SOT 1814559 SOS 1426554 HAS SOPS 1345553 HAS SOUS 407831 HAS SOUPS 374543 WITH SCORE 375969.554
AT ITER 5333 NEW BEST:: SOT 1814609 SOS 1430812 HAS SOPS 1349863 HAS SOUS 407362 HAS SOUPS 374093 WITH SCORE 375523.812
AT ITER 5371 NEW BEST:: SOT 1814105 SOS 1430452 HAS SOPS 1349459 HAS SOUS 407229 HAS SOUPS 373938 WITH SCORE 375368.452
AT ITER 5435 NEW BEST:: SOT 1814469 SOS 1430536 HAS SOPS 1349663 HAS SOUS 407191 HAS SOUPS 373930 WITH SCORE 375360.536
AT ITER 5518 NEW BEST:: SOT 1814469 SOS 1430536 HAS SOPS 1349663 HAS SOUS 407155 HAS SOUPS 373894 WITH SCORE 375324.536
AT ITER 5540 NEW BEST:: SOT 1814494 SOS 1430418 HAS SOPS 1349589 HAS SOUS 406820 HAS SOUPS 373570 WITH SCORE 375000.418
AT ITER 5556 NEW BEST:: SOT 1814218 SOS 1430172 HAS SOPS 1349343 HAS SOUS 406736 HAS SOUPS 373486 WITH SCORE 374916.172
AT ITER 5583 NEW BEST:: SOT 1815412 SOS 1430276 HAS SOPS 1349814 HAS SOUS 405733 HAS SOUPS 372580 WITH SCORE 374010.276
AT ITER 5619 NEW BEST:: SOT 1815412 SOS 1430276 HAS SOPS 1349814 HAS SOUS 405713 HAS SOUPS 372560 WITH SCORE 373990.276
AT ITER 5647 NEW BEST:: SOT 1815287 SOS 1430169 HAS SOPS 1349707 HAS SOUS 405568 HAS SOUPS 372415 WITH SCORE 373845.169
AT ITER 5761 NEW BEST:: SOT 1815288 SOS 1430158 HAS SOPS 1349700 HAS SOUS 405547 HAS SOUPS 372395 WITH SCORE 373825.158
AT ITER 5836 NEW BEST:: SOT 1815570 SOS 1430064 HAS SOPS 1349742 HAS SOUS 404564 HAS SOUPS 371446 WITH SCORE 372876.064
AT ITER 5859 NEW BEST:: SOT 1815528 SOS 1430016 HAS SOPS 1349694 HAS SOUS 404440 HAS SOUPS 371322 WITH SCORE 372752.016
AT ITER 5924 NEW BEST:: SOT 1815381 SOS 1429878 HAS SOPS 1349556 HAS SOUS 404332 HAS SOUPS 371214 WITH SCORE 372643.878
AT ITER 5925 NEW BEST:: SOT 1815381 SOS 1426038 HAS SOPS 1345716 HAS SOUS 404321 HAS SOUPS 371203 WITH SCORE 372629.038
AT ITER 5959 NEW BEST:: SOT 1815295 SOS 1425913 HAS SOPS 1345591 HAS SOUS 404141 HAS SOUPS 371023 WITH SCORE 372448.913
AT ITER 5962 NEW BEST:: SOT 1815992 SOS 1412667 HAS SOPS 1329373 HAS SOUS 407026 HAS SOUPS 370990 WITH SCORE 372402.667
AT ITER 5975 NEW BEST:: SOT 1816715 SOS 1412709 HAS SOPS 1329598 HAS SOUS 406181 HAS SOUPS 370145 WITH SCORE 371557.709
AT ITER 6051 NEW BEST:: SOT 1817072 SOS 1412742 HAS SOPS 1329757 HAS SOUS 406137 HAS SOUPS 370128 WITH SCORE 371540.742
AT ITER 6141 NEW BEST:: SOT 1817072 SOS 1412638 HAS SOPS 1329619 HAS SOUS 406046 HAS SOUPS 370037 WITH SCORE 371449.638
AT ITER 6159 NEW BEST:: SOT 1816988 SOS 1412542 HAS SOPS 1329523 HAS SOUS 405902 HAS SOUPS 369893 WITH SCORE 371305.542
AT ITER 6180 NEW BEST:: SOT 1816597 SOS 1412321 HAS SOPS 1329234 HAS SOUS 405664 HAS SOUPS 369638 WITH SCORE 371050.321
AT ITER 6276 NEW BEST:: SOT 1817059 SOS 1412549 HAS SOPS 1329540 HAS SOUS 405661 HAS SOUPS 369635 WITH SCORE 371047.549
AT ITER 6284 NEW BEST:: SOT 1816939 SOS 1412401 HAS SOPS 1329392 HAS SOUS 405399 HAS SOUPS 369373 WITH SCORE 370785.401
AT ITER 6314 NEW BEST:: SOT 1816927 SOS 1412389 HAS SOPS 1329380 HAS SOUS 405387 HAS SOUPS 369361 WITH SCORE 370773.389
AT ITER 6317 NEW BEST:: SOT 1816687 SOS 1412159 HAS SOPS 1329150 HAS SOUS 405365 HAS SOUPS 369339 WITH SCORE 370751.159
AT ITER 6401 NEW BEST:: SOT 1814298 SOS 1414511 HAS SOPS 1336923 HAS SOUS 404701 HAS SOUPS 368760 WITH SCORE 370174.511
AT ITER 6414 NEW BEST:: SOT 1814307 SOS 1414511 HAS SOPS 1336925 HAS SOUS 404679 HAS SOUPS 368739 WITH SCORE 370153.511
AT ITER 6447 NEW BEST:: SOT 1814653 SOS 1414727 HAS SOPS 1337171 HAS SOUS 404544 HAS SOUPS 368617 WITH SCORE 370031.727
AT ITER 6510 NEW BEST:: SOT 1815262 SOS 1414987 HAS SOPS 1337534 HAS SOUS 404412 HAS SOUPS 368485 WITH SCORE 369899.987
AT ITER 6534 NEW BEST:: SOT 1815182 SOS 1414907 HAS SOPS 1337454 HAS SOUS 404332 HAS SOUPS 368405 WITH SCORE 369819.907
AT ITER 6536 NEW BEST:: SOT 1815494 SOS 1415117 HAS SOPS 1337694 HAS SOUS 404320 HAS SOUPS 368403 WITH SCORE 369818.117
AT ITER 6561 NEW BEST:: SOT 1813216 SOS 1412856 HAS SOPS 1335433 HAS SOUS 404248 HAS SOUPS 368331 WITH SCORE 369743.856
AT ITER 6562 NEW BEST:: SOT 1812856 SOS 1412693 HAS SOPS 1335205 HAS SOUS 404189 HAS SOUPS 368272 WITH SCORE 369684.693
AT ITER 6572 NEW BEST:: SOT 1812634 SOS 1412427 HAS SOPS 1334939 HAS SOUS 403707 HAS SOUPS 367790 WITH SCORE 369202.427
AT ITER 6589 NEW BEST:: SOT 1812089 SOS 1412153 HAS SOPS 1334548 HAS SOUS 403540 HAS SOUPS 367623 WITH SCORE 369035.153
AT ITER 6721 NEW BEST:: SOT 1815075 SOS 1414071 HAS SOPS 1336802 HAS SOUS 403448 HAS SOUPS 367551 WITH SCORE 368965.071
AT ITER 6746 NEW BEST:: SOT 1815473 SOS 1414111 HAS SOPS 1336939 HAS SOUS 403041 HAS SOUPS 367183 WITH SCORE 368597.111
AT ITER 6757 NEW BEST:: SOT 1815515 SOS 1414053 HAS SOPS 1336912 HAS SOUS 402828 HAS SOUPS 366979 WITH SCORE 368393.053
AT ITER 6878 NEW BEST:: SOT 1815854 SOS 1414231 HAS SOPS 1337128 HAS SOUS 402628 HAS SOUPS 366798 WITH SCORE 368212.231
AT ITER 6884 NEW BEST:: SOT 1816196 SOS 1414375 HAS SOPS 1337335 HAS SOUS 402478 HAS SOUPS 366648 WITH SCORE 368062.375
AT ITER 6896 NEW BEST:: SOT 1816189 SOS 1414366 HAS SOPS 1337326 HAS SOUS 402459 HAS SOUPS 366629 WITH SCORE 368043.366
AT ITER 6919 NEW BEST:: SOT 1816691 SOS 1414230 HAS SOPS 1337334 HAS SOUS 401314 HAS SOUPS 365505 WITH SCORE 366919.23
AT ITER 6927 NEW BEST:: SOT 1816560 SOS 1414096 HAS SOPS 1337200 HAS SOUS 401310 HAS SOUPS 365501 WITH SCORE 366915.096
AT ITER 6971 NEW BEST:: SOT 1816541 SOS 1414062 HAS SOPS 1337166 HAS SOUS 401262 HAS SOUPS 365453 WITH SCORE 366867.062
AT ITER 7030 NEW BEST:: SOT 1816515 SOS 1414036 HAS SOPS 1337140 HAS SOUS 401236 HAS SOUPS 365427 WITH SCORE 366841.036
AT ITER 7108 NEW BEST:: SOT 1816018 SOS 1413475 HAS SOPS 1336579 HAS SOUS 400133 HAS SOUPS 364324 WITH SCORE 365737.475
AT ITER 7164 NEW BEST:: SOT 1817632 SOS 1414360 HAS SOPS 1337743 HAS SOUS 399838 HAS SOUPS 364029 WITH SCORE 365443.36
AT ITER 7186 NEW BEST:: SOT 1817470 SOS 1414240 HAS SOPS 1337605 HAS SOUS 399676 HAS SOUPS 363861 WITH SCORE 365275.24
AT ITER 7210 NEW BEST:: SOT 1817471 SOS 1414256 HAS SOPS 1337625 HAS SOUS 399668 HAS SOUPS 363854 WITH SCORE 365268.256
AT ITER 7212 NEW BEST:: SOT 1817839 SOS 1414255 HAS SOPS 1337747 HAS SOUS 399453 HAS SOUPS 363680 WITH SCORE 365094.255
AT ITER 7241 NEW BEST:: SOT 1817833 SOS 1414183 HAS SOPS 1337687 HAS SOUS 399201 HAS SOUPS 363428 WITH SCORE 364842.183
AT ITER 7283 NEW BEST:: SOT 1817808 SOS 1414578 HAS SOPS 1338086 HAS SOUS 399095 HAS SOUPS 363326 WITH SCORE 364740.578
AT ITER 7399 NEW BEST:: SOT 1817752 SOS 1414522 HAS SOPS 1338030 HAS SOUS 399039 HAS SOUPS 363270 WITH SCORE 364684.522
AT ITER 7477 NEW BEST:: SOT 1817754 SOS 1414476 HAS SOPS 1337984 HAS SOUS 398963 HAS SOUPS 363194 WITH SCORE 364608.476
AT ITER 7486 NEW BEST:: SOT 1817754 SOS 1414120 HAS SOPS 1337628 HAS SOUS 398951 HAS SOUPS 363182 WITH SCORE 364596.12
AT ITER 7505 NEW BEST:: SOT 1817718 SOS 1414044 HAS SOPS 1337552 HAS SOUS 398679 HAS SOUPS 362910 WITH SCORE 364324.044
AT ITER 7542 NEW BEST:: SOT 1817712 SOS 1414038 HAS SOPS 1337546 HAS SOUS 398673 HAS SOUPS 362904 WITH SCORE 364318.038
AT ITER 7551 NEW BEST:: SOT 1817590 SOS 1413608 HAS SOPS 1337175 HAS SOUS 397563 HAS SOUPS 361794 WITH SCORE 363207.608
AT ITER 7558 NEW BEST:: SOT 1817620 SOS 1413601 HAS SOPS 1337083 HAS SOUS 397536 HAS SOUPS 361766 WITH SCORE 363179.601
AT ITER 7584 NEW BEST:: SOT 1817392 SOS 1413431 HAS SOPS 1336883 HAS SOUS 397472 HAS SOUPS 361702 WITH SCORE 363115.431
AT ITER 7609 NEW BEST:: SOT 1817188 SOS 1413227 HAS SOPS 1336679 HAS SOUS 397396 HAS SOUPS 361626 WITH SCORE 363039.227
AT ITER 7614 NEW BEST:: SOT 1818790 SOS 1414545 HAS SOPS 1338053 HAS SOUS 396406 HAS SOUPS 360692 WITH SCORE 362106.545
AT ITER 7634 NEW BEST:: SOT 1818772 SOS 1414519 HAS SOPS 1338027 HAS SOUS 396348 HAS SOUPS 360634 WITH SCORE 362048.519
AT ITER 7647 NEW BEST:: SOT 1818724 SOS 1414471 HAS SOPS 1337979 HAS SOUS 396277 HAS SOUPS 360563 WITH SCORE 361977.471
AT ITER 7698 NEW BEST:: SOT 1818699 SOS 1414451 HAS SOPS 1337957 HAS SOUS 396255 HAS SOUPS 360541 WITH SCORE 361955.451
AT ITER 7709 NEW BEST:: SOT 1818853 SOS 1414410 HAS SOPS 1337968 HAS SOUS 395890 HAS SOUPS 360199 WITH SCORE 361613.41
AT ITER 7719 NEW BEST:: SOT 1818808 SOS 1414365 HAS SOPS 1337923 HAS SOUS 395845 HAS SOUPS 360154 WITH SCORE 361568.365
AT ITER 7734 NEW BEST:: SOT 1819013 SOS 1414309 HAS SOPS 1337925 HAS SOUS 395187 HAS SOUPS 359525 WITH SCORE 360939.309
AT ITER 7760 NEW BEST:: SOT 1818656 SOS 1414105 HAS SOPS 1337670 HAS SOUS 395102 HAS SOUPS 359423 WITH SCORE 360837.105
AT ITER 7809 NEW BEST:: SOT 1817148 SOS 1412597 HAS SOPS 1336162 HAS SOUS 394491 HAS SOUPS 358812 WITH SCORE 360224.597
AT ITER 7871 NEW BEST:: SOT 1817032 SOS 1412493 HAS SOPS 1336058 HAS SOUS 394107 HAS SOUPS 358428 WITH SCORE 359840.493
AT ITER 8011 NEW BEST:: SOT 1817802 SOS 1412735 HAS SOPS 1336462 HAS SOUS 393248 HAS SOUPS 357582 WITH SCORE 358994.735
AT ITER 8067 NEW BEST:: SOT 1817470 SOS 1412521 HAS SOPS 1336206 HAS SOUS 393014 HAS SOUPS 357334 WITH SCORE 358746.521
AT ITER 8089 NEW BEST:: SOT 1817470 SOS 1412413 HAS SOPS 1336098 HAS SOUS 392962 HAS SOUPS 357282 WITH SCORE 358694.413
AT ITER 8091 NEW BEST:: SOT 1817482 SOS 1412409 HAS SOPS 1336098 HAS SOUS 392886 HAS SOUPS 357210 WITH SCORE 358622.409
AT ITER 8109 NEW BEST:: SOT 1817780 SOS 1412480 HAS SOPS 1336244 HAS SOUS 392842 HAS SOUPS 357191 WITH SCORE 358603.48
AT ITER 8176 NEW BEST:: SOT 1818546 SOS 1412897 HAS SOPS 1336764 HAS SOUS 392790 HAS SOUPS 357178 WITH SCORE 358590.897
AT ITER 8193 NEW BEST:: SOT 1818441 SOS 1412747 HAS SOPS 1336614 HAS SOUS 392430 HAS SOUPS 356818 WITH SCORE 358230.747
AT ITER 8200 NEW BEST:: SOT 1818986 SOS 1413013 HAS SOPS 1336973 HAS SOUS 392373 HAS SOUPS 356792 WITH SCORE 358205.013
AT ITER 8227 NEW BEST:: SOT 1818911 SOS 1412965 HAS SOPS 1336916 HAS SOUS 392349 HAS SOUPS 356768 WITH SCORE 358180.965
AT ITER 8239 NEW BEST:: SOT 1818911 SOS 1412869 HAS SOPS 1336820 HAS SOUS 392346 HAS SOUPS 356765 WITH SCORE 358177.869
AT ITER 8308 NEW BEST:: SOT 1819051 SOS 1412901 HAS SOPS 1336888 HAS SOUS 392090 HAS SOUPS 356509 WITH SCORE 357921.901
AT ITER 8309 NEW BEST:: SOT 1819168 SOS 1412930 HAS SOPS 1336947 HAS SOUS 392065 HAS SOUPS 356494 WITH SCORE 357906.93
AT ITER 8375 NEW BEST:: SOT 1819264 SOS 1412894 HAS SOPS 1336947 HAS SOUS 391729 HAS SOUPS 356170 WITH SCORE 357582.894
AT ITER 8441 NEW BEST:: SOT 1822029 SOS 1412043 HAS SOPS 1330400 HAS SOUS 397097 HAS SOUPS 355984 WITH SCORE 357396.043
AT ITER 8521 NEW BEST:: SOT 1821881 SOS 1411905 HAS SOPS 1330262 HAS SOUS 397060 HAS SOUPS 355947 WITH SCORE 357358.905
AT ITER 8530 NEW BEST:: SOT 1821881 SOS 1411777 HAS SOPS 1330134 HAS SOUS 397059 HAS SOUPS 355946 WITH SCORE 357357.777
AT ITER 8603 NEW BEST:: SOT 1821865 SOS 1411761 HAS SOPS 1330118 HAS SOUS 397043 HAS SOUPS 355930 WITH SCORE 357341.761
AT ITER 8618 NEW BEST:: SOT 1821863 SOS 1411759 HAS SOPS 1330116 HAS SOUS 397042 HAS SOUPS 355929 WITH SCORE 357340.759
AT ITER 8622 NEW BEST:: SOT 1820633 SOS 1410898 HAS SOPS 1329132 HAS SOUS 397083 HAS SOUPS 355929 WITH SCORE 357339.898
AT ITER 8657 NEW BEST:: SOT 1820651 SOS 1410898 HAS SOPS 1329138 HAS SOUS 397063 HAS SOUPS 355909 WITH SCORE 357319.898
AT ITER 8704 NEW BEST:: SOT 1820673 SOS 1410872 HAS SOPS 1329122 HAS SOUS 396949 HAS SOUPS 355795 WITH SCORE 357205.872
AT ITER 8738 NEW BEST:: SOT 1821177 SOS 1411136 HAS SOPS 1329446 HAS SOUS 396811 HAS SOUPS 355657 WITH SCORE 357068.136
AT ITER 8740 NEW BEST:: SOT 1821053 SOS 1410968 HAS SOPS 1329292 HAS SOUS 396709 HAS SOUPS 355555 WITH SCORE 356965.968
AT ITER 8831 NEW BEST:: SOT 1820212 SOS 1410288 HAS SOPS 1328568 HAS SOUS 395976 HAS SOUPS 354815 WITH SCORE 356225.288
AT ITER 8848 NEW BEST:: SOT 1818861 SOS 1408937 HAS SOPS 1327217 HAS SOUS 394726 HAS SOUPS 353565 WITH SCORE 354973.937
AT ITER 8863 NEW BEST:: SOT 1818845 SOS 1408921 HAS SOPS 1327201 HAS SOUS 394700 HAS SOUPS 353539 WITH SCORE 354947.921
AT ITER 8909 NEW BEST:: SOT 1818764 SOS 1408862 HAS SOPS 1327136 HAS SOUS 394635 HAS SOUPS 353474 WITH SCORE 354882.862
AT ITER 9033 NEW BEST:: SOT 1818834 SOS 1408869 HAS SOPS 1327164 HAS SOUS 394535 HAS SOUPS 353374 WITH SCORE 354782.869
AT ITER 9102 NEW BEST:: SOT 1818829 SOS 1408799 HAS SOPS 1327093 HAS SOUS 394480 HAS SOUPS 353318 WITH SCORE 354726.799
AT ITER 9110 NEW BEST:: SOT 1818640 SOS 1408661 HAS SOPS 1326939 HAS SOUS 394416 HAS SOUPS 353246 WITH SCORE 354654.661
AT ITER 9142 NEW BEST:: SOT 1818397 SOS 1408418 HAS SOPS 1326696 HAS SOUS 394173 HAS SOUPS 353003 WITH SCORE 354411.418
AT ITER 9155 NEW BEST:: SOT 1818369 SOS 1408386 HAS SOPS 1326664 HAS SOUS 394101 HAS SOUPS 352931 WITH SCORE 354339.386
AT ITER 9256 NEW BEST:: SOT 1818477 SOS 1408466 HAS SOPS 1326744 HAS SOUS 394073 HAS SOUPS 352903 WITH SCORE 354311.466
AT ITER 9360 NEW BEST:: SOT 1818471 SOS 1408456 HAS SOPS 1326734 HAS SOUS 393962 HAS SOUPS 352792 WITH SCORE 354200.456
AT ITER 9442 NEW BEST:: SOT 1818147 SOS 1408092 HAS SOPS 1326370 HAS SOUS 393281 HAS SOUPS 352111 WITH SCORE 353519.092
AT ITER 9548 NEW BEST:: SOT 1818147 SOS 1407960 HAS SOPS 1326238 HAS SOUS 393247 HAS SOUPS 352077 WITH SCORE 353484.96
AT ITER 9754 NEW BEST:: SOT 1818185 SOS 1407984 HAS SOPS 1326266 HAS SOUS 393241 HAS SOUPS 352073 WITH SCORE 353480.984
AT ITER 9760 NEW BEST:: SOT 1816898 SOS 1407196 HAS SOPS 1325315 HAS SOUS 392995 HAS SOUPS 351827 WITH SCORE 353234.196
AT ITER 9783 NEW BEST:: SOT 1817022 SOS 1407320 HAS SOPS 1325439 HAS SOUS 392835 HAS SOUPS 351667 WITH SCORE 353074.32
AT ITER 9843 NEW BEST:: SOT 1816717 SOS 1407167 HAS SOPS 1325248 HAS SOUS 392834 HAS SOUPS 351666 WITH SCORE 353073.167
AT ITER 9852 NEW BEST:: SOT 1816365 SOS 1406815 HAS SOPS 1324896 HAS SOUS 392542 HAS SOUPS 351374 WITH SCORE 352780.815
AT ITER 9959 NEW BEST:: SOT 1816505 SOS 1406930 HAS SOPS 1325011 HAS SOUS 392463 HAS SOUPS 351295 WITH SCORE 352701.93
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2444980 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16143620 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="DoubleLock-PT-p1s2"
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 DoubleLock-PT-p1s2, 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 r131-smll-167819407800520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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