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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:21 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 1679939723223

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-p1s3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p1s3
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, 7568 transitions, 30656 arcs.
AT ITER 0 NEW BEST:: SOT 1800796 SOS 1569842 HAS SOPS 1488167 HAS SOUS 635941 HAS SOUPS 595033 WITH SCORE 596602.842
AT ITER 56 NEW BEST:: SOT 1801310 SOS 1569668 HAS SOPS 1488165 HAS SOUS 634737 HAS SOUPS 593915 WITH SCORE 595484.668
AT ITER 70 NEW BEST:: SOT 1810540 SOS 1568055 HAS SOPS 1461365 HAS SOUS 618645 HAS SOUPS 577823 WITH SCORE 579391.055
AT ITER 90 NEW BEST:: SOT 1812380 SOS 1568527 HAS SOPS 1462293 HAS SOUS 616064 HAS SOUPS 575394 WITH SCORE 576962.527
AT ITER 94 NEW BEST:: SOT 1813672 SOS 1568721 HAS SOPS 1462853 HAS SOUS 614476 HAS SOUPS 573928 WITH SCORE 575496.721
AT ITER 106 NEW BEST:: SOT 1812470 SOS 1557613 HAS SOPS 1451745 HAS SOUS 601235 HAS SOUPS 560687 WITH SCORE 562244.613
AT ITER 116 NEW BEST:: SOT 1813516 SOS 1557569 HAS SOPS 1452028 HAS SOUS 599977 HAS SOUPS 559538 WITH SCORE 561095.569
AT ITER 119 NEW BEST:: SOT 1814268 SOS 1557491 HAS SOPS 1452199 HAS SOUS 598898 HAS SOUPS 558542 WITH SCORE 560099.491
AT ITER 120 NEW BEST:: SOT 1804250 SOS 1547542 HAS SOPS 1442255 HAS SOUS 597712 HAS SOUPS 557361 WITH SCORE 558908.542
AT ITER 124 NEW BEST:: SOT 1804219 SOS 1547511 HAS SOPS 1442224 HAS SOUS 597681 HAS SOUPS 557330 WITH SCORE 558877.511
AT ITER 126 NEW BEST:: SOT 1804625 SOS 1547447 HAS SOPS 1442301 HAS SOUS 597117 HAS SOUPS 556813 WITH SCORE 558360.447
AT ITER 130 NEW BEST:: SOT 1807693 SOS 1548717 HAS SOPS 1444117 HAS SOUS 595612 HAS SOUPS 555490 WITH SCORE 557038.717
AT ITER 143 NEW BEST:: SOT 1807951 SOS 1548295 HAS SOPS 1443899 HAS SOUS 594468 HAS SOUPS 554414 WITH SCORE 555962.295
AT ITER 146 NEW BEST:: SOT 1808241 SOS 1548105 HAS SOPS 1443853 HAS SOUS 593772 HAS SOUPS 553766 WITH SCORE 555314.105
AT ITER 151 NEW BEST:: SOT 1808241 SOS 1548105 HAS SOPS 1443853 HAS SOUS 593748 HAS SOUPS 553742 WITH SCORE 555290.105
AT ITER 184 NEW BEST:: SOT 1809187 SOS 1548021 HAS SOPS 1444078 HAS SOUS 591698 HAS SOUPS 551795 WITH SCORE 553343.021
AT ITER 185 NEW BEST:: SOT 1809150 SOS 1547984 HAS SOPS 1444041 HAS SOUS 591677 HAS SOUPS 551774 WITH SCORE 553321.984
AT ITER 186 NEW BEST:: SOT 1809230 SOS 1547964 HAS SOPS 1444051 HAS SOUS 591515 HAS SOUPS 551622 WITH SCORE 553169.964
AT ITER 202 NEW BEST:: SOT 1809570 SOS 1547574 HAS SOPS 1443880 HAS SOUS 590039 HAS SOUPS 550219 WITH SCORE 551766.574
AT ITER 214 NEW BEST:: SOT 1812448 SOS 1548842 HAS SOPS 1445646 HAS SOUS 589432 HAS SOUPS 549778 WITH SCORE 551326.842
AT ITER 219 NEW BEST:: SOT 1814358 SOS 1549646 HAS SOPS 1446795 HAS SOUS 589028 HAS SOUPS 549489 WITH SCORE 551038.646
AT ITER 228 NEW BEST:: SOT 1815233 SOS 1549768 HAS SOPS 1447148 HAS SOUS 588510 HAS SOUPS 549048 WITH SCORE 550597.768
AT ITER 271 NEW BEST:: SOT 1815221 SOS 1549756 HAS SOPS 1447136 HAS SOUS 588483 HAS SOUPS 549021 WITH SCORE 550570.756
AT ITER 281 NEW BEST:: SOT 1778804 SOS 1514105 HAS SOPS 1421790 HAS SOUS 587535 HAS SOUPS 548077 WITH SCORE 549591.105
AT ITER 286 NEW BEST:: SOT 1763002 SOS 1497845 HAS SOPS 1412669 HAS SOUS 573812 HAS SOUPS 534496 WITH SCORE 535993.845
AT ITER 291 NEW BEST:: SOT 1764388 SOS 1498199 HAS SOPS 1413324 HAS SOUS 572912 HAS SOUPS 533704 WITH SCORE 535202.199
AT ITER 302 NEW BEST:: SOT 1767396 SOS 1499676 HAS SOPS 1415217 HAS SOUS 571938 HAS SOUPS 532902 WITH SCORE 534401.676
AT ITER 314 NEW BEST:: SOT 1738490 SOS 1471681 HAS SOPS 1387050 HAS SOUS 570088 HAS SOUPS 531037 WITH SCORE 532508.681
AT ITER 320 NEW BEST:: SOT 1739418 SOS 1472202 HAS SOPS 1387695 HAS SOUS 569815 HAS SOUPS 530826 WITH SCORE 532298.202
AT ITER 323 NEW BEST:: SOT 1737904 SOS 1470640 HAS SOPS 1386133 HAS SOUS 567551 HAS SOUPS 528562 WITH SCORE 530032.64
AT ITER 324 NEW BEST:: SOT 1737868 SOS 1470604 HAS SOPS 1386097 HAS SOUS 567549 HAS SOUPS 528560 WITH SCORE 530030.604
AT ITER 346 NEW BEST:: SOT 1739082 SOS 1470980 HAS SOPS 1386678 HAS SOUS 565887 HAS SOUPS 527008 WITH SCORE 528478.98
AT ITER 354 NEW BEST:: SOT 1744395 SOS 1474001 HAS SOPS 1390427 HAS SOUS 565466 HAS SOUPS 526922 WITH SCORE 528396.001
AT ITER 356 NEW BEST:: SOT 1743078 SOS 1472684 HAS SOPS 1389110 HAS SOUS 564189 HAS SOUPS 525645 WITH SCORE 527117.684
AT ITER 374 NEW BEST:: SOT 1743141 SOS 1472478 HAS SOPS 1388970 HAS SOUS 563535 HAS SOUPS 525020 WITH SCORE 526492.478
AT ITER 376 NEW BEST:: SOT 1743900 SOS 1473254 HAS SOPS 1389746 HAS SOUS 563402 HAS SOUPS 524887 WITH SCORE 526360.254
AT ITER 411 NEW BEST:: SOT 1743886 SOS 1473123 HAS SOPS 1389641 HAS SOUS 563042 HAS SOUPS 524540 WITH SCORE 526013.123
AT ITER 419 NEW BEST:: SOT 1747422 SOS 1475225 HAS SOPS 1392143 HAS SOUS 562530 HAS SOUPS 524202 WITH SCORE 525677.225
AT ITER 425 NEW BEST:: SOT 1747358 SOS 1475161 HAS SOPS 1392079 HAS SOUS 562466 HAS SOUPS 524138 WITH SCORE 525613.161
AT ITER 428 NEW BEST:: SOT 1745015 SOS 1473132 HAS SOPS 1390055 HAS SOUS 562442 HAS SOUPS 524119 WITH SCORE 525592.132
AT ITER 430 NEW BEST:: SOT 1745599 SOS 1473027 HAS SOPS 1390129 HAS SOUS 561232 HAS SOUPS 522984 WITH SCORE 524457.027
AT ITER 431 NEW BEST:: SOT 1746463 SOS 1472959 HAS SOPS 1390321 HAS SOUS 560014 HAS SOUPS 521862 WITH SCORE 523334.959
AT ITER 438 NEW BEST:: SOT 1747757 SOS 1473053 HAS SOPS 1390771 HAS SOUS 558202 HAS SOUPS 520174 WITH SCORE 521647.053
AT ITER 454 NEW BEST:: SOT 1751259 SOS 1475075 HAS SOPS 1393207 HAS SOUS 557241 HAS SOUPS 519393 WITH SCORE 520868.075
AT ITER 457 NEW BEST:: SOT 1750159 SOS 1462842 HAS SOPS 1380959 HAS SOUS 554534 HAS SOUPS 516677 WITH SCORE 518139.842
AT ITER 473 NEW BEST:: SOT 1750159 SOS 1462842 HAS SOPS 1380959 HAS SOUS 554502 HAS SOUPS 516645 WITH SCORE 518107.842
AT ITER 513 NEW BEST:: SOT 1750014 SOS 1462697 HAS SOPS 1380814 HAS SOUS 554267 HAS SOUPS 516410 WITH SCORE 517872.697
AT ITER 522 NEW BEST:: SOT 1750001 SOS 1462682 HAS SOPS 1380799 HAS SOUS 554240 HAS SOUPS 516383 WITH SCORE 517845.682
AT ITER 528 NEW BEST:: SOT 1749997 SOS 1462678 HAS SOPS 1380795 HAS SOUS 554064 HAS SOUPS 516207 WITH SCORE 517669.678
AT ITER 566 NEW BEST:: SOT 1750432 SOS 1462511 HAS SOPS 1380760 HAS SOUS 552415 HAS SOUPS 514631 WITH SCORE 516093.511
AT ITER 585 NEW BEST:: SOT 1751385 SOS 1462448 HAS SOPS 1380975 HAS SOUS 550844 HAS SOUPS 513159 WITH SCORE 514621.448
AT ITER 596 NEW BEST:: SOT 1751378 SOS 1462441 HAS SOPS 1380968 HAS SOUS 550836 HAS SOUPS 513151 WITH SCORE 514613.441
AT ITER 608 NEW BEST:: SOT 1750909 SOS 1461922 HAS SOPS 1380449 HAS SOUS 549813 HAS SOUPS 512128 WITH SCORE 513589.922
AT ITER 622 NEW BEST:: SOT 1750791 SOS 1461776 HAS SOPS 1380303 HAS SOUS 549610 HAS SOUPS 511925 WITH SCORE 513386.776
AT ITER 632 NEW BEST:: SOT 1750305 SOS 1461220 HAS SOPS 1379747 HAS SOUS 547994 HAS SOUPS 510309 WITH SCORE 511770.22
AT ITER 634 NEW BEST:: SOT 1751623 SOS 1461386 HAS SOPS 1380247 HAS SOUS 547011 HAS SOUPS 509447 WITH SCORE 510908.386
AT ITER 639 NEW BEST:: SOT 1752458 SOS 1461564 HAS SOPS 1380576 HAS SOUS 545503 HAS SOUPS 508022 WITH SCORE 509483.564
AT ITER 646 NEW BEST:: SOT 1756183 SOS 1463584 HAS SOPS 1383064 HAS SOUS 543810 HAS SOUPS 506521 WITH SCORE 507984.584
AT ITER 651 NEW BEST:: SOT 1758192 SOS 1464875 HAS SOPS 1384633 HAS SOUS 541818 HAS SOUPS 504544 WITH SCORE 506008.875
AT ITER 670 NEW BEST:: SOT 1758207 SOS 1464888 HAS SOPS 1384646 HAS SOUS 541817 HAS SOUPS 504543 WITH SCORE 506007.888
AT ITER 680 NEW BEST:: SOT 1758812 SOS 1464991 HAS SOPS 1384914 HAS SOUS 541290 HAS SOUPS 504071 WITH SCORE 505535.991
AT ITER 700 NEW BEST:: SOT 1760851 SOS 1465726 HAS SOPS 1386000 HAS SOUS 539268 HAS SOUPS 502210 WITH SCORE 503675.726
AT ITER 726 NEW BEST:: SOT 1760908 SOS 1465594 HAS SOPS 1385910 HAS SOUS 538773 HAS SOUPS 501736 WITH SCORE 503201.594
AT ITER 727 NEW BEST:: SOT 1760762 SOS 1465412 HAS SOPS 1385728 HAS SOUS 538059 HAS SOUPS 501022 WITH SCORE 502487.412
AT ITER 744 NEW BEST:: SOT 1760918 SOS 1465568 HAS SOPS 1385884 HAS SOUS 537583 HAS SOUPS 500546 WITH SCORE 502011.568
AT ITER 782 NEW BEST:: SOT 1763031 SOS 1466565 HAS SOPS 1387231 HAS SOUS 536856 HAS SOUPS 499947 WITH SCORE 501413.565
AT ITER 800 NEW BEST:: SOT 1763152 SOS 1466479 HAS SOPS 1387208 HAS SOUS 536360 HAS SOUPS 499472 WITH SCORE 500938.479
AT ITER 811 NEW BEST:: SOT 1763336 SOS 1466663 HAS SOPS 1387392 HAS SOUS 536340 HAS SOUPS 499452 WITH SCORE 500918.663
AT ITER 848 NEW BEST:: SOT 1763254 SOS 1466581 HAS SOPS 1387310 HAS SOUS 536279 HAS SOUPS 499391 WITH SCORE 500857.581
AT ITER 873 NEW BEST:: SOT 1761956 SOS 1456613 HAS SOPS 1376975 HAS SOUS 534975 HAS SOUPS 497968 WITH SCORE 499424.613
AT ITER 877 NEW BEST:: SOT 1762422 SOS 1456747 HAS SOPS 1377183 HAS SOUS 534339 HAS SOUPS 497369 WITH SCORE 498825.747
AT ITER 887 NEW BEST:: SOT 1763422 SOS 1456884 HAS SOPS 1377583 HAS SOUS 533946 HAS SOUPS 497076 WITH SCORE 498532.884
AT ITER 897 NEW BEST:: SOT 1763812 SOS 1457275 HAS SOPS 1377974 HAS SOUS 533771 HAS SOUPS 496901 WITH SCORE 498358.275
AT ITER 899 NEW BEST:: SOT 1758591 SOS 1452759 HAS SOPS 1373117 HAS SOUS 530388 HAS SOUPS 493347 WITH SCORE 494799.759
AT ITER 921 NEW BEST:: SOT 1760116 SOS 1453036 HAS SOPS 1373741 HAS SOUS 527425 HAS SOUPS 490500 WITH SCORE 491953.036
AT ITER 968 NEW BEST:: SOT 1760190 SOS 1452882 HAS SOPS 1373644 HAS SOUS 526834 HAS SOUPS 489928 WITH SCORE 491380.882
AT ITER 970 NEW BEST:: SOT 1744443 SOS 1437206 HAS SOPS 1357968 HAS SOUS 517127 HAS SOUPS 480221 WITH SCORE 481658.206
AT ITER 985 NEW BEST:: SOT 1743212 SOS 1435880 HAS SOPS 1356642 HAS SOUS 514827 HAS SOUPS 477921 WITH SCORE 479356.88
AT ITER 991 NEW BEST:: SOT 1743261 SOS 1435929 HAS SOPS 1356691 HAS SOUS 514660 HAS SOUPS 477754 WITH SCORE 479189.929
AT ITER 1014 NEW BEST:: SOT 1743196 SOS 1435859 HAS SOPS 1356621 HAS SOUS 514545 HAS SOUPS 477639 WITH SCORE 479074.859
AT ITER 1043 NEW BEST:: SOT 1742625 SOS 1435279 HAS SOPS 1356041 HAS SOUS 513935 HAS SOUPS 477029 WITH SCORE 478464.279
AT ITER 1045 NEW BEST:: SOT 1742933 SOS 1434980 HAS SOPS 1355880 HAS SOUS 512550 HAS SOUPS 475712 WITH SCORE 477146.98
AT ITER 1082 NEW BEST:: SOT 1742932 SOS 1434979 HAS SOPS 1355879 HAS SOUS 512233 HAS SOUPS 475395 WITH SCORE 476829.979
AT ITER 1090 NEW BEST:: SOT 1742971 SOS 1434915 HAS SOPS 1355842 HAS SOUS 512035 HAS SOUPS 475206 WITH SCORE 476640.915
AT ITER 1097 NEW BEST:: SOT 1742937 SOS 1434813 HAS SOPS 1355740 HAS SOUS 511967 HAS SOUPS 475138 WITH SCORE 476572.813
AT ITER 1110 NEW BEST:: SOT 1751657 SOS 1441619 HAS SOPS 1363158 HAS SOUS 510022 HAS SOUPS 473442 WITH SCORE 474883.619
AT ITER 1120 NEW BEST:: SOT 1751359 SOS 1441186 HAS SOPS 1362725 HAS SOUS 508711 HAS SOUPS 472131 WITH SCORE 473572.186
AT ITER 1122 NEW BEST:: SOT 1755929 SOS 1444462 HAS SOPS 1366354 HAS SOUS 507316 HAS SOUPS 470906 WITH SCORE 472350.462
AT ITER 1124 NEW BEST:: SOT 1755537 SOS 1444084 HAS SOPS 1365962 HAS SOUS 506931 HAS SOUPS 470514 WITH SCORE 471958.084
AT ITER 1143 NEW BEST:: SOT 1755809 SOS 1443462 HAS SOPS 1365561 HAS SOUS 504840 HAS SOUPS 468517 WITH SCORE 469960.462
AT ITER 1146 NEW BEST:: SOT 1755019 SOS 1442672 HAS SOPS 1364771 HAS SOUS 504024 HAS SOUPS 467701 WITH SCORE 469143.672
AT ITER 1215 NEW BEST:: SOT 1763885 SOS 1449275 HAS SOPS 1372109 HAS SOUS 503427 HAS SOUPS 467402 WITH SCORE 468851.275
AT ITER 1226 NEW BEST:: SOT 1764410 SOS 1449455 HAS SOPS 1372403 HAS SOUS 503009 HAS SOUPS 467022 WITH SCORE 468471.455
AT ITER 1235 NEW BEST:: SOT 1764675 SOS 1449249 HAS SOPS 1372327 HAS SOUS 502359 HAS SOUPS 466422 WITH SCORE 467871.249
AT ITER 1258 NEW BEST:: SOT 1764473 SOS 1449047 HAS SOPS 1372125 HAS SOUS 502317 HAS SOUPS 466380 WITH SCORE 467829.047
AT ITER 1288 NEW BEST:: SOT 1764517 SOS 1449001 HAS SOPS 1372099 HAS SOUS 502085 HAS SOUPS 466158 WITH SCORE 467607.001
AT ITER 1291 NEW BEST:: SOT 1764500 SOS 1448984 HAS SOPS 1372082 HAS SOUS 502068 HAS SOUPS 466141 WITH SCORE 467589.984
AT ITER 1297 NEW BEST:: SOT 1766019 SOS 1449772 HAS SOPS 1373074 HAS SOUS 501385 HAS SOUPS 465560 WITH SCORE 467009.772
AT ITER 1321 NEW BEST:: SOT 1766105 SOS 1449701 HAS SOPS 1373055 HAS SOUS 500794 HAS SOUPS 464995 WITH SCORE 466444.701
AT ITER 1343 NEW BEST:: SOT 1765806 SOS 1449402 HAS SOPS 1372756 HAS SOUS 500453 HAS SOUPS 464654 WITH SCORE 466103.402
AT ITER 1353 NEW BEST:: SOT 1766045 SOS 1449287 HAS SOPS 1372641 HAS SOUS 500416 HAS SOUPS 464617 WITH SCORE 466066.287
AT ITER 1377 NEW BEST:: SOT 1766045 SOS 1448871 HAS SOPS 1372225 HAS SOUS 500391 HAS SOUPS 464592 WITH SCORE 466040.871
AT ITER 1382 NEW BEST:: SOT 1766150 SOS 1448645 HAS SOPS 1372089 HAS SOUS 499721 HAS SOUPS 463952 WITH SCORE 465400.645
AT ITER 1396 NEW BEST:: SOT 1766259 SOS 1448754 HAS SOPS 1372198 HAS SOUS 499642 HAS SOUPS 463873 WITH SCORE 465321.754
AT ITER 1397 NEW BEST:: SOT 1765763 SOS 1448538 HAS SOPS 1371912 HAS SOUS 499440 HAS SOUPS 463636 WITH SCORE 465084.538
AT ITER 1411 NEW BEST:: SOT 1765763 SOS 1447387 HAS SOPS 1370761 HAS SOUS 499429 HAS SOUPS 463625 WITH SCORE 465072.387
AT ITER 1413 NEW BEST:: SOT 1765758 SOS 1447373 HAS SOPS 1370749 HAS SOUS 499392 HAS SOUPS 463589 WITH SCORE 465036.373
AT ITER 1415 NEW BEST:: SOT 1765828 SOS 1447265 HAS SOPS 1370692 HAS SOUS 498960 HAS SOUPS 463174 WITH SCORE 464621.265
AT ITER 1420 NEW BEST:: SOT 1767030 SOS 1447211 HAS SOPS 1370949 HAS SOUS 497436 HAS SOUPS 461777 WITH SCORE 463224.211
AT ITER 1425 NEW BEST:: SOT 1767030 SOS 1447211 HAS SOPS 1370949 HAS SOUS 497433 HAS SOUPS 461774 WITH SCORE 463221.211
AT ITER 1452 NEW BEST:: SOT 1767036 SOS 1447217 HAS SOPS 1370955 HAS SOUS 497423 HAS SOUPS 461764 WITH SCORE 463211.217
AT ITER 1468 NEW BEST:: SOT 1767532 SOS 1447333 HAS SOPS 1371253 HAS SOUS 495924 HAS SOUPS 460339 WITH SCORE 461786.333
AT ITER 1487 NEW BEST:: SOT 1768511 SOS 1447572 HAS SOPS 1371687 HAS SOUS 495063 HAS SOUPS 459555 WITH SCORE 461002.572
AT ITER 1496 NEW BEST:: SOT 1769666 SOS 1447856 HAS SOPS 1372183 HAS SOUS 493567 HAS SOUPS 458152 WITH SCORE 459599.856
AT ITER 1521 NEW BEST:: SOT 1769707 SOS 1447870 HAS SOPS 1372206 HAS SOUS 493553 HAS SOUPS 458141 WITH SCORE 459588.87
AT ITER 1533 NEW BEST:: SOT 1768856 SOS 1446854 HAS SOPS 1371190 HAS SOUS 491987 HAS SOUPS 456575 WITH SCORE 458021.854
AT ITER 1557 NEW BEST:: SOT 1768846 SOS 1446842 HAS SOPS 1371178 HAS SOUS 491983 HAS SOUPS 456571 WITH SCORE 458017.842
AT ITER 1575 NEW BEST:: SOT 1770920 SOS 1448616 HAS SOPS 1373144 HAS SOUS 491909 HAS SOUPS 456561 WITH SCORE 458009.616
AT ITER 1578 NEW BEST:: SOT 1772023 SOS 1448995 HAS SOPS 1373761 HAS SOUS 491582 HAS SOUPS 456315 WITH SCORE 457763.995
AT ITER 1596 NEW BEST:: SOT 1769363 SOS 1446335 HAS SOPS 1371101 HAS SOUS 489394 HAS SOUPS 454127 WITH SCORE 455573.335
AT ITER 1601 NEW BEST:: SOT 1769397 SOS 1446225 HAS SOPS 1371023 HAS SOUS 488892 HAS SOUPS 453641 WITH SCORE 455087.225
AT ITER 1606 NEW BEST:: SOT 1769271 SOS 1446099 HAS SOPS 1370897 HAS SOUS 488622 HAS SOUPS 453371 WITH SCORE 454817.099
AT ITER 1616 NEW BEST:: SOT 1770659 SOS 1446019 HAS SOPS 1371217 HAS SOUS 485939 HAS SOUPS 450833 WITH SCORE 452279.019
AT ITER 1617 NEW BEST:: SOT 1770603 SOS 1445903 HAS SOPS 1371101 HAS SOUS 485643 HAS SOUPS 450537 WITH SCORE 451982.903
AT ITER 1626 NEW BEST:: SOT 1770199 SOS 1445497 HAS SOPS 1370695 HAS SOUS 485229 HAS SOUPS 450123 WITH SCORE 451568.497
AT ITER 1628 NEW BEST:: SOT 1776631 SOS 1451198 HAS SOPS 1376827 HAS SOUS 485015 HAS SOUPS 450113 WITH SCORE 451564.198
AT ITER 1629 NEW BEST:: SOT 1776771 SOS 1451338 HAS SOPS 1376967 HAS SOUS 485011 HAS SOUPS 450109 WITH SCORE 451560.338
AT ITER 1662 NEW BEST:: SOT 1776853 SOS 1450671 HAS SOPS 1376485 HAS SOUS 482871 HAS SOUPS 448060 WITH SCORE 449510.671
AT ITER 1691 NEW BEST:: SOT 1776685 SOS 1450503 HAS SOPS 1376317 HAS SOUS 482423 HAS SOUPS 447612 WITH SCORE 449062.503
AT ITER 1696 NEW BEST:: SOT 1776685 SOS 1450375 HAS SOPS 1376189 HAS SOUS 482421 HAS SOUPS 447610 WITH SCORE 449060.375
AT ITER 1708 NEW BEST:: SOT 1781396 SOS 1453290 HAS SOPS 1379579 HAS SOUS 480890 HAS SOUPS 446276 WITH SCORE 447729.29
AT ITER 1721 NEW BEST:: SOT 1781440 SOS 1452992 HAS SOPS 1379357 HAS SOUS 479896 HAS SOUPS 445320 WITH SCORE 446772.992
AT ITER 1729 NEW BEST:: SOT 1781302 SOS 1452848 HAS SOPS 1379213 HAS SOUS 479680 HAS SOUPS 445104 WITH SCORE 446556.848
AT ITER 1766 NEW BEST:: SOT 1781306 SOS 1452836 HAS SOPS 1379205 HAS SOUS 479648 HAS SOUPS 445074 WITH SCORE 446526.836
AT ITER 1771 NEW BEST:: SOT 1782096 SOS 1453041 HAS SOPS 1379590 HAS SOUS 478997 HAS SOUPS 444483 WITH SCORE 445936.041
AT ITER 1772 NEW BEST:: SOT 1782236 SOS 1453181 HAS SOPS 1379730 HAS SOUS 478817 HAS SOUPS 444303 WITH SCORE 445756.181
AT ITER 1786 NEW BEST:: SOT 1783512 SOS 1453800 HAS SOPS 1380568 HAS SOUS 478475 HAS SOUPS 444034 WITH SCORE 445487.8
AT ITER 1790 NEW BEST:: SOT 1783314 SOS 1453647 HAS SOPS 1380397 HAS SOUS 478430 HAS SOUPS 443980 WITH SCORE 445433.647
AT ITER 1819 NEW BEST:: SOT 1782774 SOS 1453227 HAS SOPS 1379937 HAS SOUS 478346 HAS SOUPS 443876 WITH SCORE 445329.227
AT ITER 1827 NEW BEST:: SOT 1783451 SOS 1453409 HAS SOPS 1380284 HAS SOUS 478194 HAS SOUPS 443779 WITH SCORE 445232.409
AT ITER 1843 NEW BEST:: SOT 1783313 SOS 1453271 HAS SOPS 1380146 HAS SOUS 477976 HAS SOUPS 443561 WITH SCORE 445014.271
AT ITER 1853 NEW BEST:: SOT 1783207 SOS 1453165 HAS SOPS 1380040 HAS SOUS 477870 HAS SOUPS 443455 WITH SCORE 444908.165
AT ITER 1872 NEW BEST:: SOT 1784124 SOS 1438279 HAS SOPS 1357551 HAS SOUS 474427 HAS SOUPS 440006 WITH SCORE 441444.279
AT ITER 1946 NEW BEST:: SOT 1784256 SOS 1438411 HAS SOPS 1357683 HAS SOUS 474319 HAS SOUPS 439898 WITH SCORE 441336.411
AT ITER 1948 NEW BEST:: SOT 1784223 SOS 1438268 HAS SOPS 1357573 HAS SOUS 474000 HAS SOUPS 439590 WITH SCORE 441028.268
AT ITER 1955 NEW BEST:: SOT 1784193 SOS 1438237 HAS SOPS 1357542 HAS SOUS 473955 HAS SOUPS 439545 WITH SCORE 440983.237
AT ITER 1984 NEW BEST:: SOT 1784169 SOS 1438229 HAS SOPS 1357530 HAS SOUS 473955 HAS SOUPS 439543 WITH SCORE 440981.229
AT ITER 1985 NEW BEST:: SOT 1784169 SOS 1438101 HAS SOPS 1357402 HAS SOUS 473954 HAS SOUPS 439542 WITH SCORE 440980.101
AT ITER 1987 NEW BEST:: SOT 1787950 SOS 1440909 HAS SOPS 1360532 HAS SOUS 473418 HAS SOUPS 439137 WITH SCORE 440577.909
AT ITER 2010 NEW BEST:: SOT 1788004 SOS 1440745 HAS SOPS 1360442 HAS SOUS 472810 HAS SOUPS 438549 WITH SCORE 439989.745
AT ITER 2023 NEW BEST:: SOT 1788368 SOS 1440479 HAS SOPS 1360346 HAS SOUS 471236 HAS SOUPS 437044 WITH SCORE 438484.479
AT ITER 2038 NEW BEST:: SOT 1788817 SOS 1440213 HAS SOPS 1360276 HAS SOUS 469862 HAS SOUPS 435748 WITH SCORE 437188.213
AT ITER 2053 NEW BEST:: SOT 1778074 SOS 1433467 HAS SOPS 1354052 HAS SOUS 469348 HAS SOUPS 435452 WITH SCORE 436885.467
AT ITER 2054 NEW BEST:: SOT 1775387 SOS 1431534 HAS SOPS 1351843 HAS SOUS 469159 HAS SOUPS 435150 WITH SCORE 436581.534
AT ITER 2066 NEW BEST:: SOT 1775533 SOS 1431680 HAS SOPS 1351989 HAS SOUS 468993 HAS SOUPS 434984 WITH SCORE 436415.68
AT ITER 2125 NEW BEST:: SOT 1775583 SOS 1431638 HAS SOPS 1351977 HAS SOUS 468580 HAS SOUPS 434586 WITH SCORE 436017.638
AT ITER 2132 NEW BEST:: SOT 1775694 SOS 1431611 HAS SOPS 1351996 HAS SOUS 467813 HAS SOUPS 433842 WITH SCORE 435273.611
AT ITER 2145 NEW BEST:: SOT 1775696 SOS 1431455 HAS SOPS 1351896 HAS SOUS 467339 HAS SOUPS 433382 WITH SCORE 434813.455
AT ITER 2153 NEW BEST:: SOT 1777678 SOS 1431635 HAS SOPS 1347656 HAS SOUS 467355 HAS SOUPS 433347 WITH SCORE 434778.635
AT ITER 2158 NEW BEST:: SOT 1776839 SOS 1430731 HAS SOPS 1346752 HAS SOUS 466932 HAS SOUPS 432924 WITH SCORE 434354.731
AT ITER 2159 NEW BEST:: SOT 1776712 SOS 1430582 HAS SOPS 1346603 HAS SOUS 466476 HAS SOUPS 432468 WITH SCORE 433898.582
AT ITER 2167 NEW BEST:: SOT 1776709 SOS 1430390 HAS SOPS 1346475 HAS SOUS 465894 HAS SOUPS 431902 WITH SCORE 433332.39
AT ITER 2175 NEW BEST:: SOT 1776844 SOS 1430525 HAS SOPS 1346610 HAS SOUS 465626 HAS SOUPS 431634 WITH SCORE 433064.525
AT ITER 2185 NEW BEST:: SOT 1778763 SOS 1432084 HAS SOPS 1348301 HAS SOUS 465061 HAS SOUPS 431135 WITH SCORE 432567.084
AT ITER 2211 NEW BEST:: SOT 1776920 SOS 1430589 HAS SOPS 1346648 HAS SOUS 464588 HAS SOUPS 430583 WITH SCORE 432013.589
AT ITER 2233 NEW BEST:: SOT 1776955 SOS 1430594 HAS SOPS 1346663 HAS SOUS 464413 HAS SOUPS 430413 WITH SCORE 431843.594
AT ITER 2234 NEW BEST:: SOT 1775860 SOS 1429374 HAS SOPS 1345443 HAS SOUS 462725 HAS SOUPS 428725 WITH SCORE 430154.374
AT ITER 2236 NEW BEST:: SOT 1773971 SOS 1427605 HAS SOPS 1343674 HAS SOUS 460776 HAS SOUPS 426776 WITH SCORE 428203.605
AT ITER 2238 NEW BEST:: SOT 1774107 SOS 1427693 HAS SOPS 1343794 HAS SOUS 460592 HAS SOUPS 426600 WITH SCORE 428027.693
AT ITER 2261 NEW BEST:: SOT 1774494 SOS 1427400 HAS SOPS 1343501 HAS SOUS 460360 HAS SOUPS 426368 WITH SCORE 427795.4
AT ITER 2276 NEW BEST:: SOT 1775070 SOS 1427566 HAS SOPS 1343831 HAS SOUS 460199 HAS SOUPS 426248 WITH SCORE 427675.566
AT ITER 2294 NEW BEST:: SOT 1775070 SOS 1427886 HAS SOPS 1344151 HAS SOUS 460192 HAS SOUPS 426241 WITH SCORE 427668.886
AT ITER 2297 NEW BEST:: SOT 1772134 SOS 1426460 HAS SOPS 1342134 HAS SOUS 459598 HAS SOUPS 425472 WITH SCORE 426898.46
AT ITER 2307 NEW BEST:: SOT 1771857 SOS 1426169 HAS SOPS 1341843 HAS SOUS 459020 HAS SOUPS 424894 WITH SCORE 426320.169
AT ITER 2320 NEW BEST:: SOT 1771710 SOS 1426022 HAS SOPS 1341696 HAS SOUS 458900 HAS SOUPS 424774 WITH SCORE 426200.022
AT ITER 2324 NEW BEST:: SOT 1771774 SOS 1426046 HAS SOPS 1341736 HAS SOUS 458684 HAS SOUPS 424566 WITH SCORE 425992.046
AT ITER 2336 NEW BEST:: SOT 1771634 SOS 1425885 HAS SOPS 1341575 HAS SOUS 458481 HAS SOUPS 424363 WITH SCORE 425788.885
AT ITER 2360 NEW BEST:: SOT 1770641 SOS 1424958 HAS SOPS 1340612 HAS SOUS 457521 HAS SOUPS 423385 WITH SCORE 424809.958
AT ITER 2402 NEW BEST:: SOT 1770306 SOS 1424618 HAS SOPS 1340272 HAS SOUS 457255 HAS SOUPS 423119 WITH SCORE 424543.618
AT ITER 2433 NEW BEST:: SOT 1771290 SOS 1425041 HAS SOPS 1340927 HAS SOUS 457132 HAS SOUPS 423054 WITH SCORE 424479.041
AT ITER 2469 NEW BEST:: SOT 1771780 SOS 1425221 HAS SOPS 1341225 HAS SOUS 456796 HAS SOUPS 422750 WITH SCORE 424175.221
AT ITER 2482 NEW BEST:: SOT 1773617 SOS 1427035 HAS SOPS 1343039 HAS SOUS 456689 HAS SOUPS 422643 WITH SCORE 424070.035
AT ITER 2527 NEW BEST:: SOT 1773589 SOS 1427007 HAS SOPS 1343011 HAS SOUS 456629 HAS SOUPS 422583 WITH SCORE 424010.007
AT ITER 2533 NEW BEST:: SOT 1776941 SOS 1429594 HAS SOPS 1345877 HAS SOUS 454574 HAS SOUPS 420653 WITH SCORE 422082.594
AT ITER 2546 NEW BEST:: SOT 1775905 SOS 1428507 HAS SOPS 1344790 HAS SOUS 452937 HAS SOUPS 419016 WITH SCORE 420444.507
AT ITER 2557 NEW BEST:: SOT 1775800 SOS 1428401 HAS SOPS 1344684 HAS SOUS 452764 HAS SOUPS 418843 WITH SCORE 420271.401
AT ITER 2576 NEW BEST:: SOT 1775804 SOS 1428335 HAS SOPS 1344646 HAS SOUS 452541 HAS SOUPS 418627 WITH SCORE 420055.335
AT ITER 2578 NEW BEST:: SOT 1776519 SOS 1428065 HAS SOPS 1344777 HAS SOUS 451827 HAS SOUPS 418017 WITH SCORE 419445.065
AT ITER 2605 NEW BEST:: SOT 1776386 SOS 1427021 HAS SOPS 1343733 HAS SOUS 450616 HAS SOUPS 416806 WITH SCORE 418233.021
AT ITER 2614 NEW BEST:: SOT 1776338 SOS 1426977 HAS SOPS 1343687 HAS SOUS 450586 HAS SOUPS 416775 WITH SCORE 418201.977
AT ITER 2618 NEW BEST:: SOT 1778060 SOS 1425479 HAS SOPS 1342189 HAS SOUS 448708 HAS SOUPS 414897 WITH SCORE 416322.479
AT ITER 2647 NEW BEST:: SOT 1778734 SOS 1425537 HAS SOPS 1342487 HAS SOUS 448390 HAS SOUPS 414639 WITH SCORE 416064.537
AT ITER 2656 NEW BEST:: SOT 1779610 SOS 1426379 HAS SOPS 1343329 HAS SOUS 448068 HAS SOUPS 414317 WITH SCORE 415743.379
AT ITER 2661 NEW BEST:: SOT 1779616 SOS 1426340 HAS SOPS 1343290 HAS SOUS 447979 HAS SOUPS 414228 WITH SCORE 415654.34
AT ITER 2664 NEW BEST:: SOT 1779742 SOS 1426286 HAS SOPS 1343308 HAS SOUS 447745 HAS SOUPS 414012 WITH SCORE 415438.286
AT ITER 2686 NEW BEST:: SOT 1779651 SOS 1426303 HAS SOPS 1343325 HAS SOUS 447690 HAS SOUPS 413957 WITH SCORE 415383.303
AT ITER 2692 NEW BEST:: SOT 1778363 SOS 1425015 HAS SOPS 1342037 HAS SOUS 447104 HAS SOUPS 413371 WITH SCORE 414796.015
AT ITER 2740 NEW BEST:: SOT 1778290 SOS 1424269 HAS SOPS 1341526 HAS SOUS 445184 HAS SOUPS 411511 WITH SCORE 412935.269
AT ITER 2778 NEW BEST:: SOT 1778290 SOS 1424269 HAS SOPS 1341526 HAS SOUS 445128 HAS SOUPS 411455 WITH SCORE 412879.269
AT ITER 2781 NEW BEST:: SOT 1778560 SOS 1424539 HAS SOPS 1341796 HAS SOUS 444986 HAS SOUPS 411313 WITH SCORE 412737.539
AT ITER 2785 NEW BEST:: SOT 1779260 SOS 1425239 HAS SOPS 1342496 HAS SOUS 444374 HAS SOUPS 410701 WITH SCORE 412126.239
AT ITER 2813 NEW BEST:: SOT 1787040 SOS 1430925 HAS SOPS 1348897 HAS SOUS 443888 HAS SOUPS 410411 WITH SCORE 411841.925
AT ITER 2818 NEW BEST:: SOT 1787470 SOS 1430541 HAS SOPS 1348817 HAS SOUS 442668 HAS SOUPS 409267 WITH SCORE 410697.541
AT ITER 2835 NEW BEST:: SOT 1787470 SOS 1431761 HAS SOPS 1350037 HAS SOUS 442658 HAS SOUPS 409257 WITH SCORE 410688.761
AT ITER 2864 NEW BEST:: SOT 1785637 SOS 1430268 HAS SOPS 1348424 HAS SOUS 442269 HAS SOUPS 408808 WITH SCORE 410238.268
AT ITER 2941 NEW BEST:: SOT 1783800 SOS 1428431 HAS SOPS 1346587 HAS SOUS 440893 HAS SOUPS 407432 WITH SCORE 408860.431
AT ITER 2944 NEW BEST:: SOT 1785921 SOS 1429104 HAS SOPS 1347827 HAS SOUS 439798 HAS SOUPS 406493 WITH SCORE 407922.104
AT ITER 2953 NEW BEST:: SOT 1785855 SOS 1429038 HAS SOPS 1347761 HAS SOUS 439665 HAS SOUPS 406360 WITH SCORE 407789.038
AT ITER 2958 NEW BEST:: SOT 1786453 SOS 1428972 HAS SOPS 1347955 HAS SOUS 439143 HAS SOUPS 405905 WITH SCORE 407333.972
AT ITER 2965 NEW BEST:: SOT 1786348 SOS 1428584 HAS SOPS 1347653 HAS SOUS 437804 HAS SOUPS 404605 WITH SCORE 406033.584
AT ITER 2979 NEW BEST:: SOT 1785601 SOS 1427667 HAS SOPS 1346736 HAS SOUS 436533 HAS SOUPS 403334 WITH SCORE 404761.667
AT ITER 2994 NEW BEST:: SOT 1785616 SOS 1427632 HAS SOPS 1346721 HAS SOUS 436438 HAS SOUPS 403244 WITH SCORE 404671.632
AT ITER 3004 NEW BEST:: SOT 1784562 SOS 1426479 HAS SOPS 1345568 HAS SOUS 435671 HAS SOUPS 402477 WITH SCORE 403903.479
AT ITER 3019 NEW BEST:: SOT 1784584 SOS 1423737 HAS SOPS 1342826 HAS SOUS 435657 HAS SOUPS 402463 WITH SCORE 403886.737
AT ITER 3048 NEW BEST:: SOT 1785403 SOS 1423857 HAS SOPS 1343214 HAS SOUS 434957 HAS SOUPS 401830 WITH SCORE 403253.857
AT ITER 3054 NEW BEST:: SOT 1785327 SOS 1423781 HAS SOPS 1343138 HAS SOUS 434868 HAS SOUPS 401741 WITH SCORE 403164.781
AT ITER 3066 NEW BEST:: SOT 1785485 SOS 1423691 HAS SOPS 1343144 HAS SOUS 434596 HAS SOUPS 401493 WITH SCORE 402916.691
AT ITER 3117 NEW BEST:: SOT 1785977 SOS 1423740 HAS SOPS 1343369 HAS SOUS 434029 HAS SOUPS 400970 WITH SCORE 402393.74
AT ITER 3168 NEW BEST:: SOT 1786127 SOS 1423640 HAS SOPS 1343369 HAS SOUS 433604 HAS SOUPS 400570 WITH SCORE 401993.64
AT ITER 3179 NEW BEST:: SOT 1786359 SOS 1423255 HAS SOPS 1342984 HAS SOUS 433517 HAS SOUPS 400483 WITH SCORE 401906.255
AT ITER 3189 NEW BEST:: SOT 1786637 SOS 1423438 HAS SOPS 1343193 HAS SOUS 433492 HAS SOUPS 400471 WITH SCORE 401894.438
AT ITER 3200 NEW BEST:: SOT 1786637 SOS 1423248 HAS SOPS 1343003 HAS SOUS 433489 HAS SOUPS 400468 WITH SCORE 401891.248
AT ITER 3236 NEW BEST:: SOT 1786289 SOS 1423033 HAS SOPS 1342712 HAS SOUS 433331 HAS SOUPS 400291 WITH SCORE 401714.033
AT ITER 3265 NEW BEST:: SOT 1786085 SOS 1422760 HAS SOPS 1342439 HAS SOUS 432792 HAS SOUPS 399752 WITH SCORE 401174.76
AT ITER 3284 NEW BEST:: SOT 1785966 SOS 1422634 HAS SOPS 1342313 HAS SOUS 432561 HAS SOUPS 399521 WITH SCORE 400943.634
AT ITER 3285 NEW BEST:: SOT 1787115 SOS 1423244 HAS SOPS 1343167 HAS SOUS 432148 HAS SOUPS 399169 WITH SCORE 400592.244
AT ITER 3289 NEW BEST:: SOT 1788478 SOS 1424376 HAS SOPS 1344397 HAS SOUS 431530 HAS SOUPS 398600 WITH SCORE 400024.376
AT ITER 3303 NEW BEST:: SOT 1789322 SOS 1424619 HAS SOPS 1344895 HAS SOUS 431259 HAS SOUPS 398397 WITH SCORE 399821.619
AT ITER 3304 NEW BEST:: SOT 1789392 SOS 1424629 HAS SOPS 1344929 HAS SOUS 431247 HAS SOUPS 398391 WITH SCORE 399815.629
AT ITER 3333 NEW BEST:: SOT 1789384 SOS 1424621 HAS SOPS 1344921 HAS SOUS 431223 HAS SOUPS 398367 WITH SCORE 399791.621
AT ITER 3347 NEW BEST:: SOT 1788514 SOS 1423659 HAS SOPS 1343959 HAS SOUS 430001 HAS SOUPS 397145 WITH SCORE 398568.659
AT ITER 3350 NEW BEST:: SOT 1788743 SOS 1423095 HAS SOPS 1343659 HAS SOUS 428339 HAS SOUPS 395549 WITH SCORE 396972.095
AT ITER 3352 NEW BEST:: SOT 1789534 SOS 1423869 HAS SOPS 1344433 HAS SOUS 428166 HAS SOUPS 395376 WITH SCORE 396799.869
AT ITER 3369 NEW BEST:: SOT 1793667 SOS 1427230 HAS SOPS 1348067 HAS SOUS 427078 HAS SOUPS 394406 WITH SCORE 395833.23
AT ITER 3375 NEW BEST:: SOT 1794738 SOS 1427080 HAS SOPS 1347818 HAS SOUS 426092 HAS SOUPS 393378 WITH SCORE 394805.08
AT ITER 3388 NEW BEST:: SOT 1794770 SOS 1427041 HAS SOPS 1347779 HAS SOUS 425819 HAS SOUPS 393105 WITH SCORE 394532.041
AT ITER 3394 NEW BEST:: SOT 1794756 SOS 1427027 HAS SOPS 1347765 HAS SOUS 425805 HAS SOUPS 393091 WITH SCORE 394518.027
AT ITER 3396 NEW BEST:: SOT 1795019 SOS 1427110 HAS SOPS 1347920 HAS SOUS 425750 HAS SOUPS 393054 WITH SCORE 394481.11
AT ITER 3402 NEW BEST:: SOT 1795018 SOS 1427109 HAS SOPS 1347919 HAS SOUS 425741 HAS SOUPS 393045 WITH SCORE 394472.109
AT ITER 3410 NEW BEST:: SOT 1795024 SOS 1427111 HAS SOPS 1347923 HAS SOUS 425713 HAS SOUPS 393018 WITH SCORE 394445.111
AT ITER 3434 NEW BEST:: SOT 1795024 SOS 1427111 HAS SOPS 1347923 HAS SOUS 425705 HAS SOUPS 393010 WITH SCORE 394437.111
AT ITER 3450 NEW BEST:: SOT 1795621 SOS 1427169 HAS SOPS 1348385 HAS SOUS 424211 HAS SOUPS 391617 WITH SCORE 393044.169
AT ITER 3466 NEW BEST:: SOT 1795785 SOS 1427340 HAS SOPS 1348556 HAS SOUS 423912 HAS SOUPS 391318 WITH SCORE 392745.34
AT ITER 3468 NEW BEST:: SOT 1799985 SOS 1431781 HAS SOPS 1352997 HAS SOUS 423907 HAS SOUPS 391313 WITH SCORE 392744.781
AT ITER 3520 NEW BEST:: SOT 1799175 SOS 1430971 HAS SOPS 1352187 HAS SOUS 423545 HAS SOUPS 390951 WITH SCORE 392381.971
AT ITER 3562 NEW BEST:: SOT 1798475 SOS 1430442 HAS SOPS 1351588 HAS SOUS 423500 HAS SOUPS 390871 WITH SCORE 392301.442
AT ITER 3572 NEW BEST:: SOT 1796893 SOS 1428860 HAS SOPS 1350006 HAS SOUS 422636 HAS SOUPS 390007 WITH SCORE 391435.86
AT ITER 3638 NEW BEST:: SOT 1800628 SOS 1432196 HAS SOPS 1353342 HAS SOUS 422247 HAS SOUPS 389618 WITH SCORE 391050.196
AT ITER 3675 NEW BEST:: SOT 1802002 SOS 1433919 HAS SOPS 1355074 HAS SOUS 421324 HAS SOUPS 388701 WITH SCORE 390134.919
AT ITER 3690 NEW BEST:: SOT 1802692 SOS 1434259 HAS SOPS 1355525 HAS SOUS 421226 HAS SOUPS 388650 WITH SCORE 390084.259
AT ITER 3701 NEW BEST:: SOT 1803656 SOS 1434406 HAS SOPS 1355976 HAS SOUS 420653 HAS SOUPS 388153 WITH SCORE 389587.406
AT ITER 3706 NEW BEST:: SOT 1803656 SOS 1434382 HAS SOPS 1355952 HAS SOUS 420646 HAS SOUPS 388146 WITH SCORE 389580.382
AT ITER 3736 NEW BEST:: SOT 1802639 SOS 1433365 HAS SOPS 1354935 HAS SOUS 419845 HAS SOUPS 387345 WITH SCORE 388778.365
AT ITER 3754 NEW BEST:: SOT 1803047 SOS 1433585 HAS SOPS 1355221 HAS SOUS 419419 HAS SOUPS 386952 WITH SCORE 388385.585
AT ITER 3780 NEW BEST:: SOT 1803075 SOS 1433613 HAS SOPS 1355249 HAS SOUS 419367 HAS SOUPS 386900 WITH SCORE 388333.613
AT ITER 3827 NEW BEST:: SOT 1801946 SOS 1433219 HAS SOPS 1354543 HAS SOUS 419145 HAS SOUPS 386600 WITH SCORE 388033.219
AT ITER 3875 NEW BEST:: SOT 1802090 SOS 1433213 HAS SOPS 1354589 HAS SOUS 418291 HAS SOUPS 385772 WITH SCORE 387205.213
AT ITER 3884 NEW BEST:: SOT 1802481 SOS 1433276 HAS SOPS 1354781 HAS SOUS 418162 HAS SOUPS 385676 WITH SCORE 387109.276
AT ITER 3916 NEW BEST:: SOT 1802481 SOS 1433102 HAS SOPS 1354607 HAS SOUS 418111 HAS SOUPS 385625 WITH SCORE 387058.102
AT ITER 3921 NEW BEST:: SOT 1802481 SOS 1432718 HAS SOPS 1354223 HAS SOUS 418108 HAS SOUPS 385622 WITH SCORE 387054.718
AT ITER 3931 NEW BEST:: SOT 1803152 SOS 1432596 HAS SOPS 1354382 HAS SOUS 417149 HAS SOUPS 384743 WITH SCORE 386175.596
AT ITER 3982 NEW BEST:: SOT 1803152 SOS 1432532 HAS SOPS 1354318 HAS SOUS 417147 HAS SOUPS 384741 WITH SCORE 386173.532
AT ITER 4028 NEW BEST:: SOT 1803126 SOS 1435250 HAS SOPS 1357010 HAS SOUS 417111 HAS SOUPS 384688 WITH SCORE 386123.25
AT ITER 4041 NEW BEST:: SOT 1803126 SOS 1435082 HAS SOPS 1356842 HAS SOUS 417004 HAS SOUPS 384581 WITH SCORE 386016.082
AT ITER 4078 NEW BEST:: SOT 1802406 SOS 1434662 HAS SOPS 1356422 HAS SOUS 416984 HAS SOUPS 384561 WITH SCORE 385995.662
AT ITER 4083 NEW BEST:: SOT 1803162 SOS 1435307 HAS SOPS 1357103 HAS SOUS 416897 HAS SOUPS 384492 WITH SCORE 385927.307
AT ITER 4098 NEW BEST:: SOT 1803165 SOS 1430451 HAS SOPS 1352198 HAS SOUS 416902 HAS SOUPS 384474 WITH SCORE 385904.451
AT ITER 4126 NEW BEST:: SOT 1803165 SOS 1430487 HAS SOPS 1352234 HAS SOUS 416891 HAS SOUPS 384463 WITH SCORE 385893.487
AT ITER 4155 NEW BEST:: SOT 1801821 SOS 1429379 HAS SOPS 1351008 HAS SOUS 415461 HAS SOUPS 382974 WITH SCORE 384403.379
AT ITER 4163 NEW BEST:: SOT 1801872 SOS 1429467 HAS SOPS 1351110 HAS SOUS 415172 HAS SOUPS 382699 WITH SCORE 384128.467
AT ITER 4184 NEW BEST:: SOT 1802259 SOS 1429424 HAS SOPS 1351203 HAS SOUS 414499 HAS SOUPS 382060 WITH SCORE 383489.424
AT ITER 4199 NEW BEST:: SOT 1805883 SOS 1432674 HAS SOPS 1354657 HAS SOUS 414264 HAS SOUPS 381927 WITH SCORE 383359.674
AT ITER 4203 NEW BEST:: SOT 1805873 SOS 1432664 HAS SOPS 1354647 HAS SOUS 414262 HAS SOUPS 381925 WITH SCORE 383357.664
AT ITER 4209 NEW BEST:: SOT 1806448 SOS 1432729 HAS SOPS 1354916 HAS SOUS 413949 HAS SOUPS 381663 WITH SCORE 383095.729
AT ITER 4263 NEW BEST:: SOT 1806242 SOS 1432587 HAS SOPS 1354742 HAS SOUS 413799 HAS SOUPS 381505 WITH SCORE 382937.587
AT ITER 4265 NEW BEST:: SOT 1806185 SOS 1432515 HAS SOPS 1354670 HAS SOUS 413573 HAS SOUPS 381279 WITH SCORE 382711.515
AT ITER 4324 NEW BEST:: SOT 1806811 SOS 1432896 HAS SOPS 1355118 HAS SOUS 413440 HAS SOUPS 381172 WITH SCORE 382604.896
AT ITER 4333 NEW BEST:: SOT 1806811 SOS 1430085 HAS SOPS 1352282 HAS SOUS 413353 HAS SOUPS 381085 WITH SCORE 382515.085
AT ITER 4371 NEW BEST:: SOT 1806486 SOS 1429685 HAS SOPS 1351882 HAS SOUS 412728 HAS SOUPS 380460 WITH SCORE 381889.685
AT ITER 4380 NEW BEST:: SOT 1806030 SOS 1429267 HAS SOPS 1351426 HAS SOUS 412519 HAS SOUPS 380232 WITH SCORE 381661.267
AT ITER 4403 NEW BEST:: SOT 1806113 SOS 1429350 HAS SOPS 1351509 HAS SOUS 412499 HAS SOUPS 380212 WITH SCORE 381641.35
AT ITER 4407 NEW BEST:: SOT 1806214 SOS 1429321 HAS SOPS 1351532 HAS SOUS 412441 HAS SOUPS 380167 WITH SCORE 381596.321
AT ITER 4419 NEW BEST:: SOT 1806344 SOS 1429342 HAS SOPS 1351593 HAS SOUS 412312 HAS SOUPS 380048 WITH SCORE 381477.342
AT ITER 4421 NEW BEST:: SOT 1805746 SOS 1428808 HAS SOPS 1351027 HAS SOUS 412249 HAS SOUPS 379969 WITH SCORE 381397.808
AT ITER 4466 NEW BEST:: SOT 1805618 SOS 1428647 HAS SOPS 1350866 HAS SOUS 412033 HAS SOUPS 379753 WITH SCORE 381181.647
AT ITER 4487 NEW BEST:: SOT 1805695 SOS 1432308 HAS SOPS 1354599 HAS SOUS 411751 HAS SOUPS 379490 WITH SCORE 380922.308
AT ITER 4494 NEW BEST:: SOT 1805819 SOS 1432087 HAS SOPS 1354510 HAS SOUS 411036 HAS SOUPS 378808 WITH SCORE 380240.087
AT ITER 4497 NEW BEST:: SOT 1805658 SOS 1431926 HAS SOPS 1354349 HAS SOUS 410903 HAS SOUPS 378675 WITH SCORE 380106.926
AT ITER 4521 NEW BEST:: SOT 1805567 SOS 1431886 HAS SOPS 1354295 HAS SOUS 410894 HAS SOUPS 378659 WITH SCORE 380090.886
AT ITER 4551 NEW BEST:: SOT 1805286 SOS 1431542 HAS SOPS 1353951 HAS SOUS 410410 HAS SOUPS 378175 WITH SCORE 379606.542
AT ITER 4554 NEW BEST:: SOT 1805133 SOS 1431419 HAS SOPS 1353816 HAS SOUS 410325 HAS SOUPS 378084 WITH SCORE 379515.419
AT ITER 4609 NEW BEST:: SOT 1805033 SOS 1431313 HAS SOPS 1353710 HAS SOUS 410115 HAS SOUPS 377874 WITH SCORE 379305.313
AT ITER 4618 NEW BEST:: SOT 1804646 SOS 1430926 HAS SOPS 1353323 HAS SOUS 409728 HAS SOUPS 377487 WITH SCORE 378917.926
AT ITER 4642 NEW BEST:: SOT 1804646 SOS 1431830 HAS SOPS 1354227 HAS SOUS 409696 HAS SOUPS 377455 WITH SCORE 378886.83
AT ITER 4654 NEW BEST:: SOT 1804362 SOS 1431546 HAS SOPS 1353943 HAS SOUS 409656 HAS SOUPS 377415 WITH SCORE 378846.546
AT ITER 4744 NEW BEST:: SOT 1804321 SOS 1431509 HAS SOPS 1353904 HAS SOUS 409615 HAS SOUPS 377373 WITH SCORE 378804.509
AT ITER 4776 NEW BEST:: SOT 1810163 SOS 1435983 HAS SOPS 1358378 HAS SOUS 409487 HAS SOUPS 377245 WITH SCORE 378680.983
AT ITER 4797 NEW BEST:: SOT 1810197 SOS 1435975 HAS SOPS 1358370 HAS SOUS 408998 HAS SOUPS 376756 WITH SCORE 378191.975
AT ITER 4818 NEW BEST:: SOT 1808596 SOS 1434374 HAS SOPS 1356769 HAS SOUS 407937 HAS SOUPS 375695 WITH SCORE 377129.374
AT ITER 4847 NEW BEST:: SOT 1808557 SOS 1434363 HAS SOPS 1356748 HAS SOUS 407927 HAS SOUPS 375682 WITH SCORE 377116.363
AT ITER 4906 NEW BEST:: SOT 1809016 SOS 1434652 HAS SOPS 1357105 HAS SOUS 407876 HAS SOUPS 375648 WITH SCORE 377082.652
AT ITER 5184 NEW BEST:: SOT 1808986 SOS 1434622 HAS SOPS 1357075 HAS SOUS 407822 HAS SOUPS 375594 WITH SCORE 377028.622
AT ITER 5202 NEW BEST:: SOT 1809124 SOS 1434542 HAS SOPS 1357057 HAS SOUS 407419 HAS SOUPS 375216 WITH SCORE 376650.542
AT ITER 5213 NEW BEST:: SOT 1809005 SOS 1434415 HAS SOPS 1356930 HAS SOUS 407180 HAS SOUPS 374977 WITH SCORE 376411.415
AT ITER 5246 NEW BEST:: SOT 1809131 SOS 1434541 HAS SOPS 1357056 HAS SOUS 407042 HAS SOUPS 374839 WITH SCORE 376273.541
AT ITER 5281 NEW BEST:: SOT 1809869 SOS 1435199 HAS SOPS 1357754 HAS SOUS 407002 HAS SOUPS 374819 WITH SCORE 376254.199
AT ITER 5317 NEW BEST:: SOT 1809881 SOS 1435190 HAS SOPS 1357751 HAS SOUS 406903 HAS SOUPS 374723 WITH SCORE 376158.19
AT ITER 5492 NEW BEST:: SOT 1811736 SOS 1435834 HAS SOPS 1358895 HAS SOUS 406747 HAS SOUPS 374692 WITH SCORE 376127.834
AT ITER 5496 NEW BEST:: SOT 1811682 SOS 1435702 HAS SOPS 1358763 HAS SOUS 406431 HAS SOUPS 374376 WITH SCORE 375811.702
AT ITER 5522 NEW BEST:: SOT 1811143 SOS 1435261 HAS SOPS 1358288 HAS SOUS 406001 HAS SOUPS 373929 WITH SCORE 375364.261
AT ITER 5527 NEW BEST:: SOT 1811165 SOS 1435217 HAS SOPS 1358264 HAS SOUS 405755 HAS SOUPS 373693 WITH SCORE 375128.217
AT ITER 5561 NEW BEST:: SOT 1810360 SOS 1434412 HAS SOPS 1357459 HAS SOUS 404843 HAS SOUPS 372781 WITH SCORE 374215.412
AT ITER 5590 NEW BEST:: SOT 1810360 SOS 1433884 HAS SOPS 1356931 HAS SOUS 404660 HAS SOUPS 372598 WITH SCORE 374031.884
AT ITER 5593 NEW BEST:: SOT 1810442 SOS 1433869 HAS SOPS 1356940 HAS SOUS 404379 HAS SOUPS 372329 WITH SCORE 373762.869
AT ITER 5637 NEW BEST:: SOT 1810442 SOS 1433821 HAS SOPS 1356892 HAS SOUS 404363 HAS SOUPS 372313 WITH SCORE 373746.821
AT ITER 5699 NEW BEST:: SOT 1810988 SOS 1434367 HAS SOPS 1357438 HAS SOUS 404329 HAS SOUPS 372279 WITH SCORE 373713.367
AT ITER 5763 NEW BEST:: SOT 1810601 SOS 1433985 HAS SOPS 1357056 HAS SOUS 404310 HAS SOUPS 372260 WITH SCORE 373693.985
AT ITER 5799 NEW BEST:: SOT 1810165 SOS 1433549 HAS SOPS 1356620 HAS SOUS 404138 HAS SOUPS 372088 WITH SCORE 373521.549
AT ITER 5812 NEW BEST:: SOT 1810117 SOS 1433499 HAS SOPS 1356570 HAS SOUS 404060 HAS SOUPS 372010 WITH SCORE 373443.499
AT ITER 5814 NEW BEST:: SOT 1808974 SOS 1433079 HAS SOPS 1355838 HAS SOUS 403886 HAS SOUPS 371758 WITH SCORE 373191.079
AT ITER 5923 NEW BEST:: SOT 1808962 SOS 1433067 HAS SOPS 1355826 HAS SOUS 403874 HAS SOUPS 371746 WITH SCORE 373179.067
AT ITER 5948 NEW BEST:: SOT 1809645 SOS 1433459 HAS SOPS 1356194 HAS SOUS 403829 HAS SOUPS 371689 WITH SCORE 373122.459
AT ITER 5950 NEW BEST:: SOT 1809188 SOS 1433002 HAS SOPS 1355737 HAS SOUS 403768 HAS SOUPS 371628 WITH SCORE 373061.002
AT ITER 6005 NEW BEST:: SOT 1809188 SOS 1432977 HAS SOPS 1355712 HAS SOUS 403761 HAS SOUPS 371621 WITH SCORE 373053.977
AT ITER 6077 NEW BEST:: SOT 1809167 SOS 1432914 HAS SOPS 1355649 HAS SOUS 403635 HAS SOUPS 371495 WITH SCORE 372927.914
AT ITER 6084 NEW BEST:: SOT 1809135 SOS 1432888 HAS SOPS 1355621 HAS SOUS 403612 HAS SOUPS 371471 WITH SCORE 372903.888
AT ITER 6130 NEW BEST:: SOT 1807957 SOS 1432072 HAS SOPS 1354697 HAS SOUS 402751 HAS SOUPS 370560 WITH SCORE 371992.072
AT ITER 6169 NEW BEST:: SOT 1807939 SOS 1431846 HAS SOPS 1354535 HAS SOUS 402235 HAS SOUPS 370060 WITH SCORE 371491.846
AT ITER 6175 NEW BEST:: SOT 1808017 SOS 1431824 HAS SOPS 1354553 HAS SOUS 402159 HAS SOUPS 369994 WITH SCORE 371425.824
AT ITER 6181 NEW BEST:: SOT 1807919 SOS 1431711 HAS SOPS 1354440 HAS SOUS 402001 HAS SOUPS 369836 WITH SCORE 371267.711
AT ITER 6205 NEW BEST:: SOT 1807643 SOS 1431366 HAS SOPS 1354095 HAS SOUS 401426 HAS SOUPS 369261 WITH SCORE 370692.366
AT ITER 6219 NEW BEST:: SOT 1807823 SOS 1431456 HAS SOPS 1354215 HAS SOUS 401351 HAS SOUPS 369201 WITH SCORE 370632.456
AT ITER 6221 NEW BEST:: SOT 1807771 SOS 1431404 HAS SOPS 1354163 HAS SOUS 401351 HAS SOUPS 369201 WITH SCORE 370632.404
AT ITER 6240 NEW BEST:: SOT 1807631 SOS 1431264 HAS SOPS 1354023 HAS SOUS 401211 HAS SOUPS 369061 WITH SCORE 370492.264
AT ITER 6257 NEW BEST:: SOT 1807229 SOS 1430992 HAS SOPS 1353687 HAS SOUS 400989 HAS SOUPS 368823 WITH SCORE 370253.992
AT ITER 6285 NEW BEST:: SOT 1807164 SOS 1430927 HAS SOPS 1353622 HAS SOUS 400924 HAS SOUPS 368758 WITH SCORE 370188.927
AT ITER 6306 NEW BEST:: SOT 1807908 SOS 1430782 HAS SOPS 1353817 HAS SOUS 400006 HAS SOUPS 367925 WITH SCORE 369355.782
AT ITER 6365 NEW BEST:: SOT 1807044 SOS 1429690 HAS SOPS 1352725 HAS SOUS 399930 HAS SOUPS 367849 WITH SCORE 369278.69
AT ITER 6434 NEW BEST:: SOT 1807044 SOS 1429685 HAS SOPS 1352720 HAS SOUS 399900 HAS SOUPS 367819 WITH SCORE 369248.685
AT ITER 6440 NEW BEST:: SOT 1808009 SOS 1430269 HAS SOPS 1353441 HAS SOUS 399738 HAS SOUPS 367694 WITH SCORE 369124.269
AT ITER 6496 NEW BEST:: SOT 1807929 SOS 1430187 HAS SOPS 1353359 HAS SOUS 399660 HAS SOUPS 367616 WITH SCORE 369046.187
AT ITER 6569 NEW BEST:: SOT 1807654 SOS 1434078 HAS SOPS 1357250 HAS SOUS 399571 HAS SOUPS 367527 WITH SCORE 368961.078
AT ITER 6578 NEW BEST:: SOT 1808183 SOS 1434536 HAS SOPS 1357742 HAS SOUS 399475 HAS SOUPS 367448 WITH SCORE 368882.536
AT ITER 6614 NEW BEST:: SOT 1808233 SOS 1434561 HAS SOPS 1357787 HAS SOUS 399400 HAS SOUPS 367378 WITH SCORE 368812.561
AT ITER 6687 NEW BEST:: SOT 1808546 SOS 1434622 HAS SOPS 1357926 HAS SOUS 398681 HAS SOUPS 366698 WITH SCORE 368132.622
AT ITER 6748 NEW BEST:: SOT 1808987 SOS 1434811 HAS SOPS 1358223 HAS SOUS 398381 HAS SOUPS 366425 WITH SCORE 367859.811
AT ITER 6827 NEW BEST:: SOT 1808851 SOS 1434675 HAS SOPS 1358087 HAS SOUS 398169 HAS SOUPS 366213 WITH SCORE 367647.675
AT ITER 6830 NEW BEST:: SOT 1809376 SOS 1434830 HAS SOPS 1358374 HAS SOUS 397603 HAS SOUPS 365680 WITH SCORE 367114.83
AT ITER 6838 NEW BEST:: SOT 1809355 SOS 1434809 HAS SOPS 1358353 HAS SOUS 397594 HAS SOUPS 365671 WITH SCORE 367105.809
AT ITER 6855 NEW BEST:: SOT 1808978 SOS 1434351 HAS SOPS 1357895 HAS SOUS 396777 HAS SOUPS 364854 WITH SCORE 366288.351
AT ITER 6894 NEW BEST:: SOT 1809056 SOS 1434309 HAS SOPS 1357901 HAS SOUS 396695 HAS SOUPS 364784 WITH SCORE 366218.309
AT ITER 6926 NEW BEST:: SOT 1809056 SOS 1433413 HAS SOPS 1357005 HAS SOUS 396688 HAS SOUPS 364777 WITH SCORE 366210.413
AT ITER 6938 NEW BEST:: SOT 1810094 SOS 1433934 HAS SOPS 1357689 HAS SOUS 396167 HAS SOUPS 364326 WITH SCORE 365759.934
AT ITER 6958 NEW BEST:: SOT 1810012 SOS 1433840 HAS SOPS 1357595 HAS SOUS 396023 HAS SOUPS 364182 WITH SCORE 365615.84
AT ITER 6994 NEW BEST:: SOT 1809726 SOS 1433552 HAS SOPS 1357307 HAS SOUS 395926 HAS SOUPS 364085 WITH SCORE 365518.552
AT ITER 7086 NEW BEST:: SOT 1809474 SOS 1433300 HAS SOPS 1357055 HAS SOUS 395386 HAS SOUPS 363545 WITH SCORE 364978.3
AT ITER 7094 NEW BEST:: SOT 1809807 SOS 1433382 HAS SOPS 1357208 HAS SOUS 394670 HAS SOUPS 362863 WITH SCORE 364296.382
AT ITER 7133 NEW BEST:: SOT 1809790 SOS 1433386 HAS SOPS 1357212 HAS SOUS 394559 HAS SOUPS 362752 WITH SCORE 364185.386
AT ITER 7154 NEW BEST:: SOT 1809790 SOS 1432362 HAS SOPS 1356188 HAS SOUS 394557 HAS SOUPS 362750 WITH SCORE 364182.362
AT ITER 7250 NEW BEST:: SOT 1809550 SOS 1432206 HAS SOPS 1355984 HAS SOUS 394389 HAS SOUPS 362570 WITH SCORE 364002.206
AT ITER 7334 NEW BEST:: SOT 1810088 SOS 1432617 HAS SOPS 1356453 HAS SOUS 394205 HAS SOUPS 362415 WITH SCORE 363847.617
AT ITER 7342 NEW BEST:: SOT 1809559 SOS 1432088 HAS SOPS 1355924 HAS SOUS 393676 HAS SOUPS 361886 WITH SCORE 363318.088
AT ITER 7359 NEW BEST:: SOT 1809515 SOS 1432044 HAS SOPS 1355880 HAS SOUS 393676 HAS SOUPS 361886 WITH SCORE 363318.044
AT ITER 7375 NEW BEST:: SOT 1809001 SOS 1431530 HAS SOPS 1355366 HAS SOUS 393382 HAS SOUPS 361592 WITH SCORE 363023.53
AT ITER 7381 NEW BEST:: SOT 1807541 SOS 1430800 HAS SOPS 1354344 HAS SOUS 392715 HAS SOUPS 360852 WITH SCORE 362282.8
AT ITER 7447 NEW BEST:: SOT 1808115 SOS 1431135 HAS SOPS 1354918 HAS SOUS 392062 HAS SOUPS 360280 WITH SCORE 361711.135
AT ITER 7570 NEW BEST:: SOT 1808002 SOS 1431022 HAS SOPS 1354805 HAS SOUS 391849 HAS SOUPS 360067 WITH SCORE 361498.022
AT ITER 7596 NEW BEST:: SOT 1807035 SOS 1430749 HAS SOPS 1354200 HAS SOUS 391785 HAS SOUPS 359920 WITH SCORE 361350.749
AT ITER 7628 NEW BEST:: SOT 1806867 SOS 1430581 HAS SOPS 1354032 HAS SOUS 391081 HAS SOUPS 359216 WITH SCORE 360646.581
AT ITER 7629 NEW BEST:: SOT 1806875 SOS 1430589 HAS SOPS 1354040 HAS SOUS 391069 HAS SOUPS 359204 WITH SCORE 360634.589
AT ITER 7641 NEW BEST:: SOT 1806592 SOS 1430375 HAS SOPS 1353802 HAS SOUS 391039 HAS SOUPS 359162 WITH SCORE 360592.375
AT ITER 7702 NEW BEST:: SOT 1806404 SOS 1430187 HAS SOPS 1353614 HAS SOUS 390777 HAS SOUPS 358900 WITH SCORE 360330.187
AT ITER 7757 NEW BEST:: SOT 1805886 SOS 1429947 HAS SOPS 1353246 HAS SOUS 390717 HAS SOUPS 358808 WITH SCORE 360237.947
AT ITER 7785 NEW BEST:: SOT 1805886 SOS 1429449 HAS SOPS 1352748 HAS SOUS 390551 HAS SOUPS 358642 WITH SCORE 360071.449
AT ITER 7813 NEW BEST:: SOT 1805384 SOS 1428995 HAS SOPS 1352270 HAS SOUS 390361 HAS SOUPS 358440 WITH SCORE 359868.995
AT ITER 7871 NEW BEST:: SOT 1805336 SOS 1428961 HAS SOPS 1352232 HAS SOUS 390315 HAS SOUPS 358392 WITH SCORE 359820.961
AT ITER 7876 NEW BEST:: SOT 1805818 SOS 1429035 HAS SOPS 1352498 HAS SOUS 390101 HAS SOUPS 358226 WITH SCORE 359655.035
AT ITER 7886 NEW BEST:: SOT 1806045 SOS 1429262 HAS SOPS 1352725 HAS SOUS 390100 HAS SOUPS 358225 WITH SCORE 359654.262
AT ITER 7922 NEW BEST:: SOT 1806049 SOS 1429260 HAS SOPS 1352725 HAS SOUS 390069 HAS SOUPS 358195 WITH SCORE 359624.26
AT ITER 7952 NEW BEST:: SOT 1806628 SOS 1430013 HAS SOPS 1353478 HAS SOUS 389959 HAS SOUPS 358085 WITH SCORE 359515.013
AT ITER 8014 NEW BEST:: SOT 1805116 SOS 1428645 HAS SOPS 1352038 HAS SOUS 389627 HAS SOUPS 357717 WITH SCORE 359145.645
AT ITER 8033 NEW BEST:: SOT 1805023 SOS 1428590 HAS SOPS 1351963 HAS SOUS 389577 HAS SOUPS 357662 WITH SCORE 359090.59
AT ITER 8045 NEW BEST:: SOT 1802115 SOS 1426188 HAS SOPS 1349561 HAS SOUS 386697 HAS SOUPS 354782 WITH SCORE 356208.188
AT ITER 8069 NEW BEST:: SOT 1801927 SOS 1426053 HAS SOPS 1349412 HAS SOUS 386584 HAS SOUPS 354662 WITH SCORE 356088.053
AT ITER 8092 NEW BEST:: SOT 1801724 SOS 1425850 HAS SOPS 1349209 HAS SOUS 386125 HAS SOUPS 354203 WITH SCORE 355628.85
AT ITER 8093 NEW BEST:: SOT 1800621 SOS 1425275 HAS SOPS 1348418 HAS SOUS 386084 HAS SOUPS 354108 WITH SCORE 355533.275
AT ITER 8097 NEW BEST:: SOT 1800698 SOS 1425352 HAS SOPS 1348495 HAS SOUS 385901 HAS SOUPS 353925 WITH SCORE 355350.352
AT ITER 8106 NEW BEST:: SOT 1801588 SOS 1424274 HAS SOPS 1347273 HAS SOUS 385911 HAS SOUPS 353899 WITH SCORE 355323.274
AT ITER 8108 NEW BEST:: SOT 1801109 SOS 1424043 HAS SOPS 1346950 HAS SOUS 385702 HAS SOUPS 353667 WITH SCORE 355091.043
AT ITER 8138 NEW BEST:: SOT 1801460 SOS 1424326 HAS SOPS 1347259 HAS SOUS 385546 HAS SOUPS 353524 WITH SCORE 354948.326
AT ITER 8179 NEW BEST:: SOT 1801460 SOS 1425556 HAS SOPS 1348489 HAS SOUS 385525 HAS SOUPS 353503 WITH SCORE 354928.556
AT ITER 8332 NEW BEST:: SOT 1801446 SOS 1425533 HAS SOPS 1348466 HAS SOUS 385388 HAS SOUPS 353366 WITH SCORE 354791.533
AT ITER 8384 NEW BEST:: SOT 1800783 SOS 1425090 HAS SOPS 1347899 HAS SOUS 385053 HAS SOUPS 353000 WITH SCORE 354425.09
AT ITER 8418 NEW BEST:: SOT 1800821 SOS 1425010 HAS SOPS 1347819 HAS SOUS 384951 HAS SOUPS 352898 WITH SCORE 354323.01
AT ITER 8495 NEW BEST:: SOT 1800737 SOS 1424926 HAS SOPS 1347735 HAS SOUS 384853 HAS SOUPS 352800 WITH SCORE 354224.926
AT ITER 8542 NEW BEST:: SOT 1801413 SOS 1425409 HAS SOPS 1348326 HAS SOUS 384561 HAS SOUPS 352535 WITH SCORE 353960.409
AT ITER 8555 NEW BEST:: SOT 1797502 SOS 1422102 HAS SOPS 1345019 HAS SOUS 384174 HAS SOUPS 352148 WITH SCORE 353570.102
AT ITER 8561 NEW BEST:: SOT 1797516 SOS 1421970 HAS SOPS 1344929 HAS SOUS 383662 HAS SOUPS 351654 WITH SCORE 353075.97
AT ITER 8626 NEW BEST:: SOT 1797414 SOS 1421868 HAS SOPS 1344827 HAS SOUS 383560 HAS SOUPS 351552 WITH SCORE 352973.868
AT ITER 8648 NEW BEST:: SOT 1797121 SOS 1421619 HAS SOPS 1344556 HAS SOUS 383493 HAS SOUPS 351474 WITH SCORE 352895.619
AT ITER 8673 NEW BEST:: SOT 1797387 SOS 1421829 HAS SOPS 1344794 HAS SOUS 383465 HAS SOUPS 351460 WITH SCORE 352881.829
AT ITER 8859 NEW BEST:: SOT 1797214 SOS 1421914 HAS SOPS 1344879 HAS SOUS 383205 HAS SOUPS 351200 WITH SCORE 352621.914
AT ITER 8865 NEW BEST:: SOT 1797000 SOS 1421752 HAS SOPS 1344691 HAS SOUS 383162 HAS SOUPS 351144 WITH SCORE 352565.752
AT ITER 8914 NEW BEST:: SOT 1797000 SOS 1421494 HAS SOPS 1344433 HAS SOUS 383076 HAS SOUPS 351058 WITH SCORE 352479.494
AT ITER 8920 NEW BEST:: SOT 1797390 SOS 1421494 HAS SOPS 1344553 HAS SOUS 382566 HAS SOUPS 350578 WITH SCORE 351999.494
AT ITER 8989 NEW BEST:: SOT 1797592 SOS 1421516 HAS SOPS 1344647 HAS SOUS 382392 HAS SOUPS 350422 WITH SCORE 351843.516
AT ITER 9004 NEW BEST:: SOT 1797519 SOS 1421410 HAS SOPS 1344541 HAS SOUS 382187 HAS SOUPS 350217 WITH SCORE 351638.41
AT ITER 9019 NEW BEST:: SOT 1797495 SOS 1421406 HAS SOPS 1344529 HAS SOUS 382186 HAS SOUPS 350214 WITH SCORE 351635.406
AT ITER 9030 NEW BEST:: SOT 1798046 SOS 1421597 HAS SOPS 1344864 HAS SOUS 382127 HAS SOUPS 350191 WITH SCORE 351612.597
AT ITER 9111 NEW BEST:: SOT 1798014 SOS 1421565 HAS SOPS 1344832 HAS SOUS 382043 HAS SOUPS 350107 WITH SCORE 351528.565
AT ITER 9235 NEW BEST:: SOT 1797940 SOS 1421499 HAS SOPS 1344762 HAS SOUS 381981 HAS SOUPS 350043 WITH SCORE 351464.499
AT ITER 9301 NEW BEST:: SOT 1798532 SOS 1422272 HAS SOPS 1345537 HAS SOUS 381837 HAS SOUPS 349901 WITH SCORE 351323.272
AT ITER 9372 NEW BEST:: SOT 1798658 SOS 1422398 HAS SOPS 1345663 HAS SOUS 381603 HAS SOUPS 349667 WITH SCORE 351089.398
AT ITER 9375 NEW BEST:: SOT 1798582 SOS 1422362 HAS SOPS 1345611 HAS SOUS 381587 HAS SOUPS 349647 WITH SCORE 351069.362
AT ITER 9403 NEW BEST:: SOT 1798466 SOS 1422311 HAS SOPS 1345528 HAS SOUS 381582 HAS SOUPS 349634 WITH SCORE 351056.311
AT ITER 9411 NEW BEST:: SOT 1798412 SOS 1422257 HAS SOPS 1345474 HAS SOUS 381572 HAS SOUPS 349624 WITH SCORE 351046.257
AT ITER 9450 NEW BEST:: SOT 1799662 SOS 1423134 HAS SOPS 1346464 HAS SOUS 380988 HAS SOUPS 349088 WITH SCORE 350511.134
AT ITER 9504 NEW BEST:: SOT 1799822 SOS 1423193 HAS SOPS 1346552 HAS SOUS 380901 HAS SOUPS 349013 WITH SCORE 350436.193
AT ITER 9615 NEW BEST:: SOT 1800089 SOS 1423222 HAS SOPS 1346681 HAS SOUS 380681 HAS SOUPS 348818 WITH SCORE 350241.222
AT ITER 9623 NEW BEST:: SOT 1800089 SOS 1422582 HAS SOPS 1346041 HAS SOUS 380674 HAS SOUPS 348811 WITH SCORE 350233.582
AT ITER 9638 NEW BEST:: SOT 1800247 SOS 1422564 HAS SOPS 1346091 HAS SOUS 380617 HAS SOUPS 348771 WITH SCORE 350193.564
AT ITER 9657 NEW BEST:: SOT 1800187 SOS 1422522 HAS SOPS 1346043 HAS SOUS 380617 HAS SOUPS 348768 WITH SCORE 350190.522
AT ITER 9743 NEW BEST:: SOT 1800131 SOS 1422480 HAS SOPS 1345997 HAS SOUS 380601 HAS SOUPS 348750 WITH SCORE 350172.48
AT ITER 9759 NEW BEST:: SOT 1800438 SOS 1422632 HAS SOPS 1346201 HAS SOUS 380513 HAS SOUPS 348688 WITH SCORE 350110.632
AT ITER 9762 NEW BEST:: SOT 1800488 SOS 1422712 HAS SOPS 1346281 HAS SOUS 380323 HAS SOUPS 348498 WITH SCORE 349920.712
AT ITER 9809 NEW BEST:: SOT 1800486 SOS 1423285 HAS SOPS 1346855 HAS SOUS 380321 HAS SOUPS 348497 WITH SCORE 349920.285
AT ITER 9853 NEW BEST:: SOT 1800486 SOS 1423139 HAS SOPS 1346709 HAS SOUS 380227 HAS SOUPS 348403 WITH SCORE 349826.139
AT ITER 9868 NEW BEST:: SOT 1800723 SOS 1422248 HAS SOPS 1345818 HAS SOUS 380088 HAS SOUPS 348264 WITH SCORE 349686.248
AT ITER 9941 NEW BEST:: SOT 1802764 SOS 1423763 HAS SOPS 1347601 HAS SOUS 380004 HAS SOUPS 348247 WITH SCORE 349670.763
AT ITER 9953 NEW BEST:: SOT 1802648 SOS 1423647 HAS SOPS 1347485 HAS SOUS 379688 HAS SOUPS 347931 WITH SCORE 349354.647
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4808948 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16143080 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-p1s3"
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-p1s3, 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-167819407900528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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