About the Execution of smart for DLCshifumi-PT-6a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.340 | 3600000.00 | 3600070.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900068.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-6a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900068
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users 3.7K Mar 31 04:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 04:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 13:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 13:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 06:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.9M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-6a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589357749293
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 3568 places, 25936 transitions, 101182 arcs.
AT ITER 0 NEW BEST:: SOT 55980573 SOS 47265395 HAS SOPS 23151194 HAS SOUS 3859570 HAS SOUPS 1636246 WITH SCORE 1683511.395
AT ITER 20 NEW BEST:: SOT 55980573 SOS 47265395 HAS SOPS 23151194 HAS SOUS 3859300 HAS SOUPS 1635976 WITH SCORE 1683241.395
AT ITER 30 NEW BEST:: SOT 55976471 SOS 47275797 HAS SOPS 23152740 HAS SOUS 3856279 HAS SOUPS 1632955 WITH SCORE 1680230.797
AT ITER 31 NEW BEST:: SOT 55976471 SOS 47275797 HAS SOPS 23152740 HAS SOUS 3855915 HAS SOUPS 1632591 WITH SCORE 1679866.797
AT ITER 40 NEW BEST:: SOT 55973635 SOS 47281307 HAS SOPS 23149142 HAS SOUS 3854355 HAS SOUPS 1630525 WITH SCORE 1677806.307
AT ITER 42 NEW BEST:: SOT 55972947 SOS 47279931 HAS SOPS 23149830 HAS SOUS 3852979 HAS SOUPS 1629493 WITH SCORE 1676772.931
AT ITER 44 NEW BEST:: SOT 55972819 SOS 47279675 HAS SOPS 23149958 HAS SOUS 3852723 HAS SOUPS 1629301 WITH SCORE 1676580.675
AT ITER 59 NEW BEST:: SOT 55968046 SOS 47292334 HAS SOPS 23151961 HAS SOUS 3849360 HAS SOUPS 1625938 WITH SCORE 1673230.334
AT ITER 77 NEW BEST:: SOT 55966486 SOS 47294574 HAS SOPS 23149377 HAS SOUS 3848714 HAS SOUPS 1625024 WITH SCORE 1672318.574
AT ITER 81 NEW BEST:: SOT 55964213 SOS 47300168 HAS SOPS 23145845 HAS SOUS 3847831 HAS SOUPS 1623634 WITH SCORE 1670934.168
AT ITER 98 NEW BEST:: SOT 55963823 SOS 47298998 HAS SOPS 23144675 HAS SOUS 3847441 HAS SOUPS 1623244 WITH SCORE 1670542.998
AT ITER 115 NEW BEST:: SOT 55962983 SOS 47299958 HAS SOPS 23143475 HAS SOUS 3846961 HAS SOUPS 1622644 WITH SCORE 1669943.958
AT ITER 118 NEW BEST:: SOT 55962573 SOS 47298554 HAS SOPS 23142071 HAS SOUS 3846551 HAS SOUPS 1622234 WITH SCORE 1669532.554
AT ITER 124 NEW BEST:: SOT 55959855 SOS 47309888 HAS SOPS 23141633 HAS SOUS 3845889 HAS SOUPS 1620918 WITH SCORE 1668227.888
AT ITER 126 NEW BEST:: SOT 55959229 SOS 47308636 HAS SOPS 23142259 HAS SOUS 3844637 HAS SOUPS 1619979 WITH SCORE 1667287.636
AT ITER 129 NEW BEST:: SOT 55955656 SOS 47327638 HAS SOPS 23149525 HAS SOUS 3842933 HAS SOUPS 1618275 WITH SCORE 1665602.638
AT ITER 130 NEW BEST:: SOT 55951809 SOS 47335250 HAS SOPS 23149037 HAS SOUS 3839893 HAS SOUPS 1615235 WITH SCORE 1662570.25
AT ITER 143 NEW BEST:: SOT 55951479 SOS 47334260 HAS SOPS 23148047 HAS SOUS 3839563 HAS SOUPS 1614905 WITH SCORE 1662239.26
AT ITER 145 NEW BEST:: SOT 55951479 SOS 47334260 HAS SOPS 23148047 HAS SOUS 3839197 HAS SOUPS 1614539 WITH SCORE 1661873.26
AT ITER 169 NEW BEST:: SOT 55950664 SOS 47332630 HAS SOPS 23149003 HAS SOUS 3837546 HAS SOUPS 1613319 WITH SCORE 1660651.63
AT ITER 178 NEW BEST:: SOT 55949854 SOS 47331010 HAS SOPS 23149813 HAS SOUS 3835926 HAS SOUPS 1612104 WITH SCORE 1659435.01
AT ITER 182 NEW BEST:: SOT 55949502 SOS 47330306 HAS SOPS 23150165 HAS SOUS 3835222 HAS SOUPS 1611576 WITH SCORE 1658906.306
AT ITER 184 NEW BEST:: SOT 55948264 SOS 47333946 HAS SOPS 23148801 HAS SOUS 3834464 HAS SOUPS 1610540 WITH SCORE 1657873.946
AT ITER 188 NEW BEST:: SOT 55948264 SOS 47333946 HAS SOPS 23148801 HAS SOUS 3834098 HAS SOUPS 1610174 WITH SCORE 1657507.946
AT ITER 209 NEW BEST:: SOT 55948264 SOS 47333946 HAS SOPS 23148801 HAS SOUS 3834002 HAS SOUPS 1610078 WITH SCORE 1657411.946
AT ITER 216 NEW BEST:: SOT 55948264 SOS 47333946 HAS SOPS 23148801 HAS SOUS 3833636 HAS SOUPS 1609712 WITH SCORE 1657045.946
AT ITER 247 NEW BEST:: SOT 55948264 SOS 47333946 HAS SOPS 23148801 HAS SOUS 3833370 HAS SOUPS 1609446 WITH SCORE 1656779.946
AT ITER 248 NEW BEST:: SOT 55947518 SOS 47332454 HAS SOPS 23150369 HAS SOUS 3831776 HAS SOUPS 1608362 WITH SCORE 1655694.454
AT ITER 250 NEW BEST:: SOT 55945960 SOS 47334658 HAS SOPS 23147785 HAS SOUS 3831130 HAS SOUPS 1607450 WITH SCORE 1654784.658
AT ITER 264 NEW BEST:: SOT 55945576 SOS 47335426 HAS SOPS 23147401 HAS SOUS 3831002 HAS SOUPS 1607258 WITH SCORE 1654593.426
AT ITER 266 NEW BEST:: SOT 55944906 SOS 47333772 HAS SOPS 23145747 HAS SOUS 3830510 HAS SOUPS 1606766 WITH SCORE 1654099.772
AT ITER 277 NEW BEST:: SOT 55944390 SOS 47332482 HAS SOPS 23144457 HAS SOUS 3830381 HAS SOUPS 1606637 WITH SCORE 1653969.482
AT ITER 301 NEW BEST:: SOT 55940395 SOS 47339626 HAS SOPS 23143093 HAS SOUS 3827211 HAS SOUPS 1603467 WITH SCORE 1650806.626
AT ITER 359 NEW BEST:: SOT 55939411 SOS 47337658 HAS SOPS 23144077 HAS SOUS 3825243 HAS SOUPS 1601991 WITH SCORE 1649328.658
AT ITER 365 NEW BEST:: SOT 55934658 SOS 47355828 HAS SOPS 23149863 HAS SOUS 3821561 HAS SOUPS 1598309 WITH SCORE 1645664.828
AT ITER 413 NEW BEST:: SOT 55934658 SOS 47355828 HAS SOPS 23149863 HAS SOUS 3821239 HAS SOUPS 1597987 WITH SCORE 1645342.828
AT ITER 415 NEW BEST:: SOT 55932372 SOS 47358336 HAS SOPS 23145999 HAS SOUS 3819685 HAS SOUPS 1596079 WITH SCORE 1643437.336
AT ITER 423 NEW BEST:: SOT 55931740 SOS 47356140 HAS SOPS 23146599 HAS SOUS 3818587 HAS SOUPS 1595447 WITH SCORE 1642803.14
AT ITER 429 NEW BEST:: SOT 55928504 SOS 47363560 HAS SOPS 23143255 HAS SOUS 3816519 HAS SOUPS 1592781 WITH SCORE 1640144.56
AT ITER 439 NEW BEST:: SOT 55928175 SOS 47361586 HAS SOPS 23141281 HAS SOUS 3816190 HAS SOUPS 1592452 WITH SCORE 1639813.586
AT ITER 446 NEW BEST:: SOT 55925330 SOS 47374056 HAS SOPS 23141241 HAS SOUS 3815542 HAS SOUPS 1591109 WITH SCORE 1638483.056
AT ITER 449 NEW BEST:: SOT 55925330 SOS 47374056 HAS SOPS 23141241 HAS SOUS 3815378 HAS SOUPS 1590945 WITH SCORE 1638319.056
AT ITER 475 NEW BEST:: SOT 55925330 SOS 47374056 HAS SOPS 23141241 HAS SOUS 3815092 HAS SOUPS 1590659 WITH SCORE 1638033.056
AT ITER 476 NEW BEST:: SOT 55924674 SOS 47372744 HAS SOPS 23141897 HAS SOUS 3813780 HAS SOUPS 1589675 WITH SCORE 1637047.744
AT ITER 493 NEW BEST:: SOT 55923165 SOS 47374746 HAS SOPS 23139381 HAS SOUS 3813151 HAS SOUPS 1588795 WITH SCORE 1636169.746
AT ITER 497 NEW BEST:: SOT 55923165 SOS 47374746 HAS SOPS 23139381 HAS SOUS 3812973 HAS SOUPS 1588617 WITH SCORE 1635991.746
AT ITER 499 NEW BEST:: SOT 55922743 SOS 47373480 HAS SOPS 23138115 HAS SOUS 3812551 HAS SOUPS 1588195 WITH SCORE 1635568.48
AT ITER 506 NEW BEST:: SOT 55922743 SOS 47373480 HAS SOPS 23138115 HAS SOUS 3812185 HAS SOUPS 1587829 WITH SCORE 1635202.48
AT ITER 516 NEW BEST:: SOT 55922743 SOS 47373480 HAS SOPS 23138115 HAS SOUS 3811819 HAS SOUPS 1587463 WITH SCORE 1634836.48
AT ITER 524 NEW BEST:: SOT 55922207 SOS 47372408 HAS SOPS 23138651 HAS SOUS 3810747 HAS SOUPS 1586659 WITH SCORE 1634031.408
AT ITER 528 NEW BEST:: SOT 55917910 SOS 47365691 HAS SOPS 23135718 HAS SOUS 3810488 HAS SOUPS 1586622 WITH SCORE 1633987.691
AT ITER 529 NEW BEST:: SOT 55917077 SOS 47364025 HAS SOPS 23136758 HAS SOUS 3808797 HAS SOUPS 1585382 WITH SCORE 1632746.025
AT ITER 534 NEW BEST:: SOT 55917077 SOS 47364025 HAS SOPS 23136758 HAS SOUS 3808703 HAS SOUPS 1585288 WITH SCORE 1632652.025
AT ITER 536 NEW BEST:: SOT 55915962 SOS 47361795 HAS SOPS 23134528 HAS SOUS 3807290 HAS SOUPS 1583875 WITH SCORE 1631236.795
AT ITER 548 NEW BEST:: SOT 55915962 SOS 47361795 HAS SOPS 23134528 HAS SOUS 3806946 HAS SOUPS 1583531 WITH SCORE 1630892.795
AT ITER 551 NEW BEST:: SOT 55915941 SOS 47361753 HAS SOPS 23134486 HAS SOUS 3806925 HAS SOUPS 1583510 WITH SCORE 1630871.753
AT ITER 569 NEW BEST:: SOT 55901269 SOS 47338915 HAS SOPS 23124752 HAS SOUS 3805658 HAS SOUPS 1583139 WITH SCORE 1630477.915
AT ITER 576 NEW BEST:: SOT 55900891 SOS 47336707 HAS SOPS 23126900 HAS SOUS 3804554 HAS SOUPS 1582761 WITH SCORE 1630097.707
AT ITER 580 NEW BEST:: SOT 55899743 SOS 47339669 HAS SOPS 23125560 HAS SOUS 3803985 HAS SOUPS 1581953 WITH SCORE 1629292.669
AT ITER 585 NEW BEST:: SOT 55899743 SOS 47339669 HAS SOPS 23125560 HAS SOUS 3803619 HAS SOUPS 1581587 WITH SCORE 1628926.669
AT ITER 587 NEW BEST:: SOT 55899743 SOS 47339669 HAS SOPS 23127732 HAS SOUS 3802895 HAS SOUPS 1581225 WITH SCORE 1628564.669
AT ITER 588 NEW BEST:: SOT 55899037 SOS 47244282 HAS SOPS 23138255 HAS SOUS 3802788 HAS SOUPS 1581118 WITH SCORE 1628362.282
AT ITER 593 NEW BEST:: SOT 55899037 SOS 47244282 HAS SOPS 23138255 HAS SOUS 3802612 HAS SOUPS 1580942 WITH SCORE 1628186.282
AT ITER 603 NEW BEST:: SOT 55899037 SOS 47242872 HAS SOPS 23136845 HAS SOUS 3802611 HAS SOUPS 1580941 WITH SCORE 1628183.872
AT ITER 610 NEW BEST:: SOT 55898423 SOS 47241644 HAS SOPS 23137459 HAS SOUS 3801383 HAS SOUPS 1580020 WITH SCORE 1627261.644
AT ITER 615 NEW BEST:: SOT 55897877 SOS 47239312 HAS SOPS 23138847 HAS SOUS 3800217 HAS SOUPS 1579474 WITH SCORE 1626713.312
AT ITER 631 NEW BEST:: SOT 55894872 SOS 47251856 HAS SOPS 23137873 HAS SOUS 3799385 HAS SOUPS 1577891 WITH SCORE 1625142.856
AT ITER 633 NEW BEST:: SOT 55894128 SOS 47250368 HAS SOPS 23138617 HAS SOUS 3797897 HAS SOUPS 1576775 WITH SCORE 1624025.368
AT ITER 641 NEW BEST:: SOT 55893715 SOS 47251312 HAS SOPS 23139207 HAS SOUS 3797661 HAS SOUPS 1576598 WITH SCORE 1623849.312
AT ITER 652 NEW BEST:: SOT 55893715 SOS 47251312 HAS SOPS 23139207 HAS SOUS 3797605 HAS SOUPS 1576542 WITH SCORE 1623793.312
AT ITER 674 NEW BEST:: SOT 55893715 SOS 47251312 HAS SOPS 23139207 HAS SOUS 3797501 HAS SOUPS 1576438 WITH SCORE 1623689.312
AT ITER 682 NEW BEST:: SOT 55890620 SOS 47260812 HAS SOPS 23138177 HAS SOUS 3795828 HAS SOUPS 1574180 WITH SCORE 1621440.812
AT ITER 693 NEW BEST:: SOT 55890594 SOS 47260760 HAS SOPS 23138125 HAS SOUS 3795827 HAS SOUPS 1574179 WITH SCORE 1621439.76
AT ITER 695 NEW BEST:: SOT 55888779 SOS 47266418 HAS SOPS 23139427 HAS SOUS 3794350 HAS SOUPS 1572702 WITH SCORE 1619968.418
AT ITER 711 NEW BEST:: SOT 55888671 SOS 47266094 HAS SOPS 23139103 HAS SOUS 3794242 HAS SOUPS 1572594 WITH SCORE 1619860.094
AT ITER 723 NEW BEST:: SOT 55887926 SOS 47264604 HAS SOPS 23143865 HAS SOUS 3792345 HAS SOUPS 1571739 WITH SCORE 1619003.604
AT ITER 725 NEW BEST:: SOT 55887391 SOS 47263534 HAS SOPS 23144829 HAS SOUS 3791132 HAS SOUPS 1570865 WITH SCORE 1618128.534
AT ITER 727 NEW BEST:: SOT 55887059 SOS 47262600 HAS SOPS 23143895 HAS SOUS 3790961 HAS SOUPS 1570694 WITH SCORE 1617956.6
AT ITER 736 NEW BEST:: SOT 55880783 SOS 47269786 HAS SOPS 23141409 HAS SOUS 3786671 HAS SOUPS 1566404 WITH SCORE 1613673.786
AT ITER 741 NEW BEST:: SOT 55878712 SOS 47274384 HAS SOPS 23138141 HAS SOUS 3785854 HAS SOUPS 1565150 WITH SCORE 1612424.384
AT ITER 756 NEW BEST:: SOT 55878210 SOS 47272576 HAS SOPS 23136333 HAS SOUS 3785352 HAS SOUPS 1564648 WITH SCORE 1611920.576
AT ITER 765 NEW BEST:: SOT 55878006 SOS 47272168 HAS SOPS 23135925 HAS SOUS 3785250 HAS SOUPS 1564546 WITH SCORE 1611818.168
AT ITER 779 NEW BEST:: SOT 55872592 SOS 47283474 HAS SOPS 23137259 HAS SOUS 3781696 HAS SOUPS 1560992 WITH SCORE 1608275.474
AT ITER 787 NEW BEST:: SOT 55872592 SOS 47283474 HAS SOPS 23137259 HAS SOUS 3781552 HAS SOUPS 1560848 WITH SCORE 1608131.474
AT ITER 804 NEW BEST:: SOT 55871388 SOS 47287754 HAS SOPS 23136067 HAS SOUS 3780798 HAS SOUPS 1559790 WITH SCORE 1607077.754
AT ITER 828 NEW BEST:: SOT 55871388 SOS 47287754 HAS SOPS 23136067 HAS SOUS 3780706 HAS SOUPS 1559698 WITH SCORE 1606985.754
AT ITER 841 NEW BEST:: SOT 55871457 SOS 47288300 HAS SOPS 23133217 HAS SOUS 3780917 HAS SOUPS 1559343 WITH SCORE 1606631.3
AT ITER 851 NEW BEST:: SOT 55871162 SOS 47287710 HAS SOPS 23134277 HAS SOUS 3780327 HAS SOUPS 1559028 WITH SCORE 1606315.71
AT ITER 854 NEW BEST:: SOT 55863884 SOS 47276246 HAS SOPS 23129545 HAS SOUS 3779522 HAS SOUPS 1558784 WITH SCORE 1606060.246
AT ITER 867 NEW BEST:: SOT 55863395 SOS 47275268 HAS SOPS 23131405 HAS SOUS 3778509 HAS SOUPS 1558244 WITH SCORE 1605519.268
AT ITER 882 NEW BEST:: SOT 55863009 SOS 47274496 HAS SOPS 23131791 HAS SOUS 3777737 HAS SOUPS 1557665 WITH SCORE 1604939.496
AT ITER 901 NEW BEST:: SOT 55862509 SOS 47273496 HAS SOPS 23133065 HAS SOUS 3776479 HAS SOUPS 1556786 WITH SCORE 1604059.496
AT ITER 914 NEW BEST:: SOT 55862509 SOS 47273496 HAS SOPS 23133065 HAS SOUS 3776113 HAS SOUPS 1556420 WITH SCORE 1603693.496
AT ITER 945 NEW BEST:: SOT 55861601 SOS 47271680 HAS SOPS 23133973 HAS SOUS 3774297 HAS SOUPS 1555058 WITH SCORE 1602329.68
AT ITER 950 NEW BEST:: SOT 55861601 SOS 47271680 HAS SOPS 23133973 HAS SOUS 3774205 HAS SOUPS 1554966 WITH SCORE 1602237.68
AT ITER 957 NEW BEST:: SOT 55861101 SOS 47269590 HAS SOPS 23135153 HAS SOUS 3773160 HAS SOUPS 1554466 WITH SCORE 1601735.59
AT ITER 959 NEW BEST:: SOT 55861101 SOS 47269590 HAS SOPS 23135153 HAS SOUS 3772848 HAS SOUPS 1554154 WITH SCORE 1601423.59
AT ITER 967 NEW BEST:: SOT 55856639 SOS 47291592 HAS SOPS 23143391 HAS SOUS 3770250 HAS SOUPS 1551556 WITH SCORE 1598847.592
AT ITER 984 NEW BEST:: SOT 55853955 SOS 47295424 HAS SOPS 23138943 HAS SOUS 3768402 HAS SOUPS 1549248 WITH SCORE 1596543.424
AT ITER 991 NEW BEST:: SOT 55853935 SOS 47295384 HAS SOPS 23138903 HAS SOUS 3768362 HAS SOUPS 1549208 WITH SCORE 1596503.384
AT ITER 996 NEW BEST:: SOT 55851626 SOS 47305688 HAS SOPS 23143591 HAS SOUS 3766517 HAS SOUPS 1547363 WITH SCORE 1594668.688
AT ITER 1006 NEW BEST:: SOT 55851171 SOS 47303954 HAS SOPS 23144329 HAS SOUS 3765755 HAS SOUPS 1547013 WITH SCORE 1594316.954
AT ITER 1017 NEW BEST:: SOT 55851171 SOS 47303954 HAS SOPS 23144329 HAS SOUS 3765389 HAS SOUPS 1546647 WITH SCORE 1593950.954
AT ITER 1019 NEW BEST:: SOT 55851171 SOS 47303954 HAS SOPS 23144329 HAS SOUS 3765295 HAS SOUPS 1546553 WITH SCORE 1593856.954
AT ITER 1043 NEW BEST:: SOT 55849001 SOS 47305814 HAS SOPS 23140609 HAS SOUS 3764365 HAS SOUPS 1545313 WITH SCORE 1592618.814
AT ITER 1045 NEW BEST:: SOT 55848975 SOS 47305762 HAS SOPS 23140557 HAS SOUS 3764338 HAS SOUPS 1545286 WITH SCORE 1592591.762
AT ITER 1058 NEW BEST:: SOT 55846820 SOS 47312224 HAS SOPS 23138361 HAS SOUS 3763639 HAS SOUPS 1544106 WITH SCORE 1591418.224
AT ITER 1066 NEW BEST:: SOT 55842487 SOS 47334222 HAS SOPS 23147051 HAS SOUS 3761021 HAS SOUPS 1541488 WITH SCORE 1588822.222
AT ITER 1071 NEW BEST:: SOT 55842487 SOS 47334222 HAS SOPS 23147051 HAS SOUS 3760713 HAS SOUPS 1541180 WITH SCORE 1588514.222
AT ITER 1092 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3759880 HAS SOUPS 1539890 WITH SCORE 1587229.116
AT ITER 1116 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3759514 HAS SOUPS 1539524 WITH SCORE 1586863.116
AT ITER 1131 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3759150 HAS SOUPS 1539160 WITH SCORE 1586499.116
AT ITER 1146 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3758976 HAS SOUPS 1538986 WITH SCORE 1586325.116
AT ITER 1169 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3758724 HAS SOUPS 1538734 WITH SCORE 1586073.116
AT ITER 1200 NEW BEST:: SOT 55840364 SOS 47339116 HAS SOPS 23143719 HAS SOUS 3758358 HAS SOUPS 1538368 WITH SCORE 1585707.116
AT ITER 1202 NEW BEST:: SOT 55840076 SOS 47337470 HAS SOPS 23145283 HAS SOUS 3757701 HAS SOUPS 1538246 WITH SCORE 1585583.47
AT ITER 1204 NEW BEST:: SOT 55839680 SOS 47334942 HAS SOPS 23147963 HAS SOUS 3756773 HAS SOUPS 1538186 WITH SCORE 1585520.942
AT ITER 1214 NEW BEST:: SOT 55836908 SOS 47343232 HAS SOPS 23148669 HAS SOUS 3755309 HAS SOUPS 1536722 WITH SCORE 1584065.232
AT ITER 1217 NEW BEST:: SOT 55831829 SOS 47366048 HAS SOPS 23157205 HAS SOUS 3751603 HAS SOUPS 1533016 WITH SCORE 1580382.048
AT ITER 1223 NEW BEST:: SOT 55831821 SOS 47366032 HAS SOPS 23157189 HAS SOUS 3751595 HAS SOUPS 1533008 WITH SCORE 1580374.032
AT ITER 1250 NEW BEST:: SOT 55828774 SOS 47371714 HAS SOPS 23153061 HAS SOUS 3749559 HAS SOUPS 1530427 WITH SCORE 1577798.714
AT ITER 1263 NEW BEST:: SOT 55828774 SOS 47371714 HAS SOPS 23153061 HAS SOUS 3749513 HAS SOUPS 1530381 WITH SCORE 1577752.714
AT ITER 1267 NEW BEST:: SOT 55828774 SOS 47371584 HAS SOPS 23153321 HAS SOUS 3749448 HAS SOUPS 1530381 WITH SCORE 1577752.584
AT ITER 1279 NEW BEST:: SOT 55828445 SOS 47369764 HAS SOPS 23154987 HAS SOUS 3748719 HAS SOUPS 1530233 WITH SCORE 1577602.764
AT ITER 1328 NEW BEST:: SOT 55827472 SOS 47367818 HAS SOPS 23156305 HAS SOUS 3746716 HAS SOUPS 1528774 WITH SCORE 1576141.818
AT ITER 1345 NEW BEST:: SOT 55827037 SOS 47365802 HAS SOPS 23157727 HAS SOUS 3745937 HAS SOUPS 1528568 WITH SCORE 1575933.802
AT ITER 1351 NEW BEST:: SOT 55821901 SOS 47376968 HAS SOPS 23158381 HAS SOUS 3741506 HAS SOUPS 1524137 WITH SCORE 1571513.968
AT ITER 1372 NEW BEST:: SOT 55821901 SOS 47376968 HAS SOPS 23158381 HAS SOUS 3741326 HAS SOUPS 1523957 WITH SCORE 1571333.968
AT ITER 1422 NEW BEST:: SOT 55819089 SOS 47380864 HAS SOPS 23153709 HAS SOUS 3739362 HAS SOUPS 1521517 WITH SCORE 1568897.864
AT ITER 1432 NEW BEST:: SOT 55818446 SOS 47379578 HAS SOPS 23156695 HAS SOUS 3737784 HAS SOUPS 1520651 WITH SCORE 1568030.578
AT ITER 1438 NEW BEST:: SOT 55818442 SOS 47379570 HAS SOPS 23156687 HAS SOUS 3737782 HAS SOUPS 1520649 WITH SCORE 1568028.57
AT ITER 1491 NEW BEST:: SOT 55815559 SOS 47385790 HAS SOPS 23154609 HAS SOUS 3736198 HAS SOUPS 1518604 WITH SCORE 1565989.79
AT ITER 1512 NEW BEST:: SOT 55815559 SOS 47385790 HAS SOPS 23154609 HAS SOUS 3736178 HAS SOUPS 1518584 WITH SCORE 1565969.79
AT ITER 1531 NEW BEST:: SOT 55815309 SOS 47385040 HAS SOPS 23153859 HAS SOUS 3735928 HAS SOUPS 1518334 WITH SCORE 1565719.04
AT ITER 1532 NEW BEST:: SOT 55814873 SOS 47391120 HAS SOPS 23154251 HAS SOUS 3735552 HAS SOUPS 1517642 WITH SCORE 1565033.12
AT ITER 1536 NEW BEST:: SOT 55814028 SOS 47389430 HAS SOPS 23155831 HAS SOUS 3733771 HAS SOUPS 1516406 WITH SCORE 1563795.43
AT ITER 1559 NEW BEST:: SOT 55811398 SOS 47397716 HAS SOPS 23156605 HAS SOUS 3732331 HAS SOUPS 1514966 WITH SCORE 1562363.716
AT ITER 1568 NEW BEST:: SOT 55810547 SOS 47401582 HAS SOPS 23158383 HAS SOUS 3731654 HAS SOUPS 1514289 WITH SCORE 1561690.582
AT ITER 1578 NEW BEST:: SOT 55810302 SOS 47400602 HAS SOPS 23158873 HAS SOUS 3731409 HAS SOUPS 1514289 WITH SCORE 1561689.602
AT ITER 1597 NEW BEST:: SOT 55809812 SOS 47399038 HAS SOPS 23157309 HAS SOUS 3730919 HAS SOUPS 1513799 WITH SCORE 1561198.038
AT ITER 1625 NEW BEST:: SOT 55804884 SOS 47424104 HAS SOPS 23168179 HAS SOUS 3727712 HAS SOUPS 1510592 WITH SCORE 1558016.104
AT ITER 1638 NEW BEST:: SOT 55801374 SOS 47436360 HAS SOPS 23171051 HAS SOUS 3725379 HAS SOUPS 1508259 WITH SCORE 1555695.36
AT ITER 1644 NEW BEST:: SOT 55796367 SOS 47450908 HAS SOPS 23174163 HAS SOUS 3721647 HAS SOUPS 1504527 WITH SCORE 1551977.908
AT ITER 1653 NEW BEST:: SOT 55794185 SOS 47448316 HAS SOPS 23171571 HAS SOUS 3721237 HAS SOUPS 1504117 WITH SCORE 1551565.316
AT ITER 1684 NEW BEST:: SOT 55785160 SOS 47434597 HAS SOPS 23165054 HAS SOUS 3720847 HAS SOUPS 1503942 WITH SCORE 1551376.597
AT ITER 1688 NEW BEST:: SOT 55785160 SOS 47434597 HAS SOPS 23165054 HAS SOUS 3720645 HAS SOUPS 1503740 WITH SCORE 1551174.597
AT ITER 1703 NEW BEST:: SOT 55785160 SOS 47433901 HAS SOPS 23166446 HAS SOUS 3720297 HAS SOUPS 1503740 WITH SCORE 1551173.901
AT ITER 1705 NEW BEST:: SOT 55785160 SOS 47433901 HAS SOPS 23166446 HAS SOUS 3719959 HAS SOUPS 1503402 WITH SCORE 1550835.901
AT ITER 1719 NEW BEST:: SOT 55780692 SOS 47450815 HAS SOPS 23171792 HAS SOUS 3716974 HAS SOUPS 1500417 WITH SCORE 1547867.815
AT ITER 1743 NEW BEST:: SOT 55775296 SOS 47467347 HAS SOPS 23175724 HAS SOUS 3713013 HAS SOUPS 1496456 WITH SCORE 1543923.347
AT ITER 1759 NEW BEST:: SOT 55773430 SOS 47462051 HAS SOPS 23175120 HAS SOUS 3710945 HAS SOUPS 1495170 WITH SCORE 1542632.051
AT ITER 1760 NEW BEST:: SOT 55772814 SOS 47462755 HAS SOPS 23174240 HAS SOUS 3710593 HAS SOUPS 1494730 WITH SCORE 1542192.755
AT ITER 1766 NEW BEST:: SOT 55772498 SOS 47461807 HAS SOPS 23173292 HAS SOUS 3710277 HAS SOUPS 1494414 WITH SCORE 1541875.807
AT ITER 1771 NEW BEST:: SOT 55772498 SOS 47461807 HAS SOPS 23173292 HAS SOUS 3709911 HAS SOUPS 1494048 WITH SCORE 1541509.807
AT ITER 1777 NEW BEST:: SOT 55771283 SOS 47465823 HAS SOPS 23172034 HAS SOUS 3709157 HAS SOUPS 1493001 WITH SCORE 1540466.823
AT ITER 1778 NEW BEST:: SOT 55770056 SOS 47469639 HAS SOPS 23170720 HAS SOUS 3708874 HAS SOUPS 1492433 WITH SCORE 1539902.639
AT ITER 1784 NEW BEST:: SOT 55768448 SOS 47473807 HAS SOPS 23169776 HAS SOUS 3708496 HAS SOUPS 1491771 WITH SCORE 1539244.807
AT ITER 1811 NEW BEST:: SOT 55767194 SOS 47476975 HAS SOPS 23168300 HAS SOUS 3707740 HAS SOUPS 1490757 WITH SCORE 1538233.975
AT ITER 1826 NEW BEST:: SOT 55764032 SOS 47482487 HAS SOPS 23164128 HAS SOUS 3705492 HAS SOUPS 1487971 WITH SCORE 1535453.487
AT ITER 1828 NEW BEST:: SOT 55763990 SOS 47482529 HAS SOPS 23164170 HAS SOUS 3705449 HAS SOUPS 1487928 WITH SCORE 1535410.529
AT ITER 1839 NEW BEST:: SOT 55763990 SOS 47482529 HAS SOPS 23164170 HAS SOUS 3705447 HAS SOUPS 1487926 WITH SCORE 1535408.529
AT ITER 1843 NEW BEST:: SOT 55763668 SOS 47481885 HAS SOPS 23168206 HAS SOUS 3703930 HAS SOUPS 1487189 WITH SCORE 1534670.885
AT ITER 1908 NEW BEST:: SOT 55760707 SOS 47474737 HAS SOPS 23164736 HAS SOUS 3701757 HAS SOUPS 1485629 WITH SCORE 1533103.737
AT ITER 1938 NEW BEST:: SOT 55760105 SOS 47475425 HAS SOPS 23163876 HAS SOUS 3701413 HAS SOUPS 1485199 WITH SCORE 1532674.425
AT ITER 1943 NEW BEST:: SOT 55760007 SOS 47472745 HAS SOPS 23165684 HAS SOUS 3700567 HAS SOUPS 1485101 WITH SCORE 1532573.745
AT ITER 1947 NEW BEST:: SOT 55756619 SOS 47486967 HAS SOPS 23170270 HAS SOUS 3698262 HAS SOUPS 1482796 WITH SCORE 1530282.967
AT ITER 1953 NEW BEST:: SOT 55756619 SOS 47486967 HAS SOPS 23170270 HAS SOUS 3697990 HAS SOUPS 1482524 WITH SCORE 1530010.967
AT ITER 1962 NEW BEST:: SOT 55755004 SOS 47494073 HAS SOPS 23173500 HAS SOUS 3696698 HAS SOUPS 1481232 WITH SCORE 1528726.073
AT ITER 1973 NEW BEST:: SOT 55748807 SOS 47510373 HAS SOPS 23176576 HAS SOUS 3691460 HAS SOUPS 1475994 WITH SCORE 1523504.373
AT ITER 1986 NEW BEST:: SOT 55748428 SOS 47509615 HAS SOPS 23180462 HAS SOUS 3690427 HAS SOUPS 1475735 WITH SCORE 1523244.615
AT ITER 2003 NEW BEST:: SOT 55748443 SOS 47509165 HAS SOPS 23180192 HAS SOUS 3690427 HAS SOUPS 1475735 WITH SCORE 1523244.165
AT ITER 2008 NEW BEST:: SOT 55747559 SOS 47507690 HAS SOPS 23179750 HAS SOUS 3689913 HAS SOUPS 1475442 WITH SCORE 1522949.69
AT ITER 2023 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688811 HAS SOUPS 1473943 WITH SCORE 1521454.88
AT ITER 2024 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688711 HAS SOUPS 1473843 WITH SCORE 1521354.88
AT ITER 2042 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688695 HAS SOUPS 1473827 WITH SCORE 1521338.88
AT ITER 2054 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688587 HAS SOUPS 1473719 WITH SCORE 1521230.88
AT ITER 2056 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688221 HAS SOUPS 1473353 WITH SCORE 1520864.88
AT ITER 2058 NEW BEST:: SOT 55745684 SOS 47511880 HAS SOPS 23176794 HAS SOUS 3688211 HAS SOUPS 1473343 WITH SCORE 1520854.88
AT ITER 2059 NEW BEST:: SOT 55745182 SOS 47516024 HAS SOPS 23176726 HAS SOUS 3687867 HAS SOUPS 1472765 WITH SCORE 1520281.024
AT ITER 2065 NEW BEST:: SOT 55745182 SOS 47516024 HAS SOPS 23176726 HAS SOUS 3687509 HAS SOUPS 1472407 WITH SCORE 1519923.024
AT ITER 2096 NEW BEST:: SOT 55745075 SOS 47514732 HAS SOPS 23178668 HAS SOUS 3686960 HAS SOUPS 1472397 WITH SCORE 1519911.732
AT ITER 2099 NEW BEST:: SOT 55744661 SOS 47513490 HAS SOPS 23177426 HAS SOUS 3686546 HAS SOUPS 1471983 WITH SCORE 1519496.49
AT ITER 2130 NEW BEST:: SOT 55743720 SOS 47508824 HAS SOPS 23176066 HAS SOUS 3684664 HAS SOUPS 1470652 WITH SCORE 1518160.824
AT ITER 2137 NEW BEST:: SOT 55743720 SOS 47508824 HAS SOPS 23176066 HAS SOUS 3684414 HAS SOUPS 1470402 WITH SCORE 1517910.824
AT ITER 2138 NEW BEST:: SOT 55743226 SOS 47507836 HAS SOPS 23179476 HAS SOUS 3682761 HAS SOUPS 1469482 WITH SCORE 1516989.836
AT ITER 2168 NEW BEST:: SOT 55739853 SOS 47529488 HAS SOPS 23188780 HAS SOUS 3680530 HAS SOUPS 1467251 WITH SCORE 1514780.488
AT ITER 2170 NEW BEST:: SOT 55739839 SOS 47529502 HAS SOPS 23188794 HAS SOUS 3680515 HAS SOUPS 1467236 WITH SCORE 1514765.502
AT ITER 2209 NEW BEST:: SOT 55735439 SOS 47546856 HAS SOPS 23189138 HAS SOUS 3678178 HAS SOUPS 1463954 WITH SCORE 1511500.856
AT ITER 2218 NEW BEST:: SOT 55735439 SOS 47546856 HAS SOPS 23189138 HAS SOUS 3677812 HAS SOUPS 1463588 WITH SCORE 1511134.856
AT ITER 2242 NEW BEST:: SOT 55735439 SOS 47546856 HAS SOPS 23189138 HAS SOUS 3677708 HAS SOUPS 1463484 WITH SCORE 1511030.856
AT ITER 2246 NEW BEST:: SOT 55732523 SOS 47557392 HAS SOPS 23186714 HAS SOUS 3676938 HAS SOUPS 1461994 WITH SCORE 1509551.392
AT ITER 2255 NEW BEST:: SOT 55732208 SOS 47556552 HAS SOPS 23186504 HAS SOUS 3676728 HAS SOUPS 1461889 WITH SCORE 1509445.552
AT ITER 2263 NEW BEST:: SOT 55732208 SOS 47554950 HAS SOPS 23187272 HAS SOUS 3676332 HAS SOUPS 1461888 WITH SCORE 1509442.95
AT ITER 2265 NEW BEST:: SOT 55732056 SOS 47553036 HAS SOPS 23190188 HAS SOUS 3675375 HAS SOUPS 1461736 WITH SCORE 1509289.036
AT ITER 2289 NEW BEST:: SOT 55731110 SOS 47566600 HAS SOPS 23197956 HAS SOUS 3674912 HAS SOUPS 1461273 WITH SCORE 1508839.6
AT ITER 2296 NEW BEST:: SOT 55725292 SOS 47571234 HAS SOPS 23193998 HAS SOUS 3671315 HAS SOUPS 1457676 WITH SCORE 1505247.234
AT ITER 2337 NEW BEST:: SOT 55723278 SOS 47565880 HAS SOPS 23192622 HAS SOUS 3670627 HAS SOUPS 1457651 WITH SCORE 1505216.88
AT ITER 2350 NEW BEST:: SOT 55722090 SOS 47566144 HAS SOPS 23190510 HAS SOUS 3669835 HAS SOUPS 1456727 WITH SCORE 1504293.144
AT ITER 2367 NEW BEST:: SOT 55721146 SOS 47564256 HAS SOPS 23191454 HAS SOUS 3667947 HAS SOUPS 1455311 WITH SCORE 1502875.256
AT ITER 2373 NEW BEST:: SOT 55716795 SOS 47582642 HAS SOPS 23197144 HAS SOUS 3665034 HAS SOUPS 1452398 WITH SCORE 1499980.642
AT ITER 2386 NEW BEST:: SOT 55716313 SOS 47581678 HAS SOPS 23199240 HAS SOUS 3664042 HAS SOUPS 1451916 WITH SCORE 1499497.678
AT ITER 2390 NEW BEST:: SOT 55715735 SOS 47578788 HAS SOPS 23198084 HAS SOUS 3662886 HAS SOUPS 1451049 WITH SCORE 1498627.788
AT ITER 2407 NEW BEST:: SOT 55715735 SOS 47578108 HAS SOPS 23199444 HAS SOUS 3662546 HAS SOUPS 1451049 WITH SCORE 1498627.108
AT ITER 2419 NEW BEST:: SOT 55712588 SOS 47584634 HAS SOPS 23195512 HAS SOUS 3660556 HAS SOUPS 1448478 WITH SCORE 1496062.634
AT ITER 2436 NEW BEST:: SOT 55712588 SOS 47584634 HAS SOPS 23195512 HAS SOUS 3660190 HAS SOUPS 1448112 WITH SCORE 1495696.634
AT ITER 2441 NEW BEST:: SOT 55712122 SOS 47583224 HAS SOPS 23195536 HAS SOUS 3659485 HAS SOUPS 1447646 WITH SCORE 1495229.224
AT ITER 2443 NEW BEST:: SOT 55712122 SOS 47583224 HAS SOPS 23195536 HAS SOUS 3659405 HAS SOUPS 1447566 WITH SCORE 1495149.224
AT ITER 2449 NEW BEST:: SOT 55712122 SOS 47583224 HAS SOPS 23195536 HAS SOUS 3659039 HAS SOUPS 1447200 WITH SCORE 1494783.224
AT ITER 2463 NEW BEST:: SOT 55711199 SOS 47580332 HAS SOPS 23195782 HAS SOUS 3657900 HAS SOUPS 1446584 WITH SCORE 1494164.332
AT ITER 2467 NEW BEST:: SOT 55711199 SOS 47580332 HAS SOPS 23195782 HAS SOUS 3657534 HAS SOUPS 1446218 WITH SCORE 1493798.332
AT ITER 2485 NEW BEST:: SOT 55708353 SOS 47587132 HAS SOPS 23193078 HAS SOUS 3655804 HAS SOUPS 1443960 WITH SCORE 1491547.132
AT ITER 2501 NEW BEST:: SOT 55708224 SOS 47586874 HAS SOPS 23192820 HAS SOUS 3655675 HAS SOUPS 1443831 WITH SCORE 1491417.874
AT ITER 2526 NEW BEST:: SOT 55708224 SOS 47586874 HAS SOPS 23192820 HAS SOUS 3655375 HAS SOUPS 1443531 WITH SCORE 1491117.874
AT ITER 2534 NEW BEST:: SOT 55707720 SOS 47584814 HAS SOPS 23193916 HAS SOUS 3654345 HAS SOUPS 1443027 WITH SCORE 1490611.814
AT ITER 2539 NEW BEST:: SOT 55707720 SOS 47584814 HAS SOPS 23193916 HAS SOUS 3654105 HAS SOUPS 1442787 WITH SCORE 1490371.814
AT ITER 2542 NEW BEST:: SOT 55707727 SOS 47584828 HAS SOPS 23193930 HAS SOUS 3653651 HAS SOUPS 1442333 WITH SCORE 1489917.828
AT ITER 2564 NEW BEST:: SOT 55707585 SOS 47584544 HAS SOPS 23193646 HAS SOUS 3653367 HAS SOUPS 1442049 WITH SCORE 1489633.544
AT ITER 2583 NEW BEST:: SOT 55706824 SOS 47583022 HAS SOPS 23196906 HAS SOUS 3651429 HAS SOUPS 1440908 WITH SCORE 1488491.022
AT ITER 2585 NEW BEST:: SOT 55706408 SOS 47582190 HAS SOPS 23199872 HAS SOUS 3650380 HAS SOUPS 1440492 WITH SCORE 1488074.19
AT ITER 2590 NEW BEST:: SOT 55706408 SOS 47582190 HAS SOPS 23199872 HAS SOUS 3650042 HAS SOUPS 1440154 WITH SCORE 1487736.19
AT ITER 2591 NEW BEST:: SOT 55706408 SOS 47582190 HAS SOPS 23199872 HAS SOUS 3649780 HAS SOUPS 1439892 WITH SCORE 1487474.19
AT ITER 2592 NEW BEST:: SOT 55702052 SOS 47571888 HAS SOPS 23194340 HAS SOUS 3646219 HAS SOUPS 1437126 WITH SCORE 1484697.888
AT ITER 2598 NEW BEST:: SOT 55701778 SOS 47571340 HAS SOPS 23193792 HAS SOUS 3645945 HAS SOUPS 1436852 WITH SCORE 1484423.34
AT ITER 2606 NEW BEST:: SOT 55701778 SOS 47571340 HAS SOPS 23193792 HAS SOUS 3645933 HAS SOUPS 1436840 WITH SCORE 1484411.34
AT ITER 2607 NEW BEST:: SOT 55701433 SOS 47577052 HAS SOPS 23194266 HAS SOUS 3645731 HAS SOUPS 1436347 WITH SCORE 1483924.052
AT ITER 2616 NEW BEST:: SOT 55700968 SOS 47576308 HAS SOPS 23193522 HAS SOUS 3645173 HAS SOUPS 1435789 WITH SCORE 1483365.308
AT ITER 2620 NEW BEST:: SOT 55701605 SOS 47577112 HAS SOPS 23194326 HAS SOUS 3644698 HAS SOUPS 1435314 WITH SCORE 1482891.112
AT ITER 2627 NEW BEST:: SOT 55701605 SOS 47576752 HAS SOPS 23195046 HAS SOUS 3644518 HAS SOUPS 1435314 WITH SCORE 1482890.752
AT ITER 2659 NEW BEST:: SOT 55701089 SOS 47575720 HAS SOPS 23195562 HAS SOUS 3643486 HAS SOUPS 1434540 WITH SCORE 1482115.72
AT ITER 2693 NEW BEST:: SOT 55699903 SOS 47580432 HAS SOPS 23194478 HAS SOUS 3642732 HAS SOUPS 1433464 WITH SCORE 1481044.432
AT ITER 2700 NEW BEST:: SOT 55698870 SOS 47578366 HAS SOPS 23195754 HAS SOUS 3641223 HAS SOUPS 1432512 WITH SCORE 1480090.366
AT ITER 2702 NEW BEST:: SOT 55698870 SOS 47578366 HAS SOPS 23195754 HAS SOUS 3641151 HAS SOUPS 1432440 WITH SCORE 1480018.366
AT ITER 2708 NEW BEST:: SOT 55698245 SOS 47577116 HAS SOPS 23198290 HAS SOUS 3639716 HAS SOUPS 1431636 WITH SCORE 1479213.116
AT ITER 2718 NEW BEST:: SOT 55697816 SOS 47576258 HAS SOPS 23200708 HAS SOUS 3638789 HAS SOUPS 1431255 WITH SCORE 1478831.258
AT ITER 2720 NEW BEST:: SOT 55693061 SOS 47602580 HAS SOPS 23212090 HAS SOUS 3635410 HAS SOUPS 1427876 WITH SCORE 1475478.58
AT ITER 2722 NEW BEST:: SOT 55691758 SOS 47604572 HAS SOPS 23210320 HAS SOUS 3634654 HAS SOUPS 1426911 WITH SCORE 1474515.572
AT ITER 2732 NEW BEST:: SOT 55691323 SOS 47606682 HAS SOPS 23209748 HAS SOUS 3634517 HAS SOUPS 1426625 WITH SCORE 1474231.682
AT ITER 2774 NEW BEST:: SOT 55688766 SOS 47619406 HAS SOPS 23215488 HAS SOUS 3632545 HAS SOUPS 1424653 WITH SCORE 1472272.406
AT ITER 2787 NEW BEST:: SOT 55688766 SOS 47619406 HAS SOPS 23215488 HAS SOUS 3632179 HAS SOUPS 1424287 WITH SCORE 1471906.406
AT ITER 2799 NEW BEST:: SOT 55677034 SOS 47601660 HAS SOPS 23207330 HAS SOUS 3631584 HAS SOUPS 1424097 WITH SCORE 1471698.66
AT ITER 2802 NEW BEST:: SOT 55677034 SOS 47601660 HAS SOPS 23207330 HAS SOUS 3631544 HAS SOUPS 1424057 WITH SCORE 1471658.66
AT ITER 2810 NEW BEST:: SOT 55674947 SOS 47628706 HAS SOPS 23218212 HAS SOUS 3632222 HAS SOUPS 1423837 WITH SCORE 1471465.706
AT ITER 2821 NEW BEST:: SOT 55672637 SOS 47636632 HAS SOPS 23220594 HAS SOUS 3630373 HAS SOUPS 1421988 WITH SCORE 1469624.632
AT ITER 2858 NEW BEST:: SOT 55671877 SOS 47635112 HAS SOPS 23221666 HAS SOUS 3628853 HAS SOUPS 1420900 WITH SCORE 1468535.112
AT ITER 2870 NEW BEST:: SOT 55671692 SOS 47634742 HAS SOPS 23221296 HAS SOUS 3628668 HAS SOUPS 1420715 WITH SCORE 1468349.742
AT ITER 2909 NEW BEST:: SOT 55671458 SOS 47634274 HAS SOPS 23220828 HAS SOUS 3628317 HAS SOUPS 1420364 WITH SCORE 1467998.274
AT ITER 2914 NEW BEST:: SOT 55671701 SOS 47412085 HAS SOPS 23212915 HAS SOUS 3627355 HAS SOUPS 1420549 WITH SCORE 1467961.085
AT ITER 2928 NEW BEST:: SOT 55670302 SOS 47427749 HAS SOPS 23221199 HAS SOUS 3626758 HAS SOUPS 1419952 WITH SCORE 1467379.749
AT ITER 2951 NEW BEST:: SOT 55669547 SOS 47425083 HAS SOPS 23222001 HAS SOUS 3625888 HAS SOUPS 1419660 WITH SCORE 1467085.083
AT ITER 2956 NEW BEST:: SOT 55669197 SOS 47423683 HAS SOPS 23222701 HAS SOUS 3625538 HAS SOUPS 1419660 WITH SCORE 1467083.683
AT ITER 2972 NEW BEST:: SOT 55668090 SOS 47419565 HAS SOPS 23224295 HAS SOUS 3624492 HAS SOUPS 1419566 WITH SCORE 1466985.565
AT ITER 2989 NEW BEST:: SOT 55668050 SOS 47419485 HAS SOPS 23224215 HAS SOUS 3624452 HAS SOUPS 1419526 WITH SCORE 1466945.485
AT ITER 2995 NEW BEST:: SOT 55667792 SOS 47418969 HAS SOPS 23223699 HAS SOUS 3624194 HAS SOUPS 1419268 WITH SCORE 1466686.969
AT ITER 3011 NEW BEST:: SOT 55667792 SOS 47418969 HAS SOPS 23223699 HAS SOUS 3624066 HAS SOUPS 1419140 WITH SCORE 1466558.969
AT ITER 3027 NEW BEST:: SOT 55664994 SOS 47412103 HAS SOPS 23220643 HAS SOUS 3622462 HAS SOUPS 1418171 WITH SCORE 1465583.1030000001
AT ITER 3050 NEW BEST:: SOT 55660602 SOS 47424465 HAS SOPS 23222661 HAS SOUS 3619942 HAS SOUPS 1415651 WITH SCORE 1463075.465
AT ITER 3065 NEW BEST:: SOT 55660316 SOS 47423893 HAS SOPS 23222089 HAS SOUS 3619656 HAS SOUPS 1415365 WITH SCORE 1462788.893
AT ITER 3078 NEW BEST:: SOT 55660224 SOS 47423709 HAS SOPS 23221905 HAS SOUS 3619563 HAS SOUPS 1415272 WITH SCORE 1462695.709
AT ITER 3083 NEW BEST:: SOT 55656745 SOS 47440613 HAS SOPS 23227901 HAS SOUS 3617557 HAS SOUPS 1413266 WITH SCORE 1460706.613
AT ITER 3096 NEW BEST:: SOT 55655522 SOS 47437933 HAS SOPS 23230183 HAS SOUS 3615072 HAS SOUPS 1411608 WITH SCORE 1459045.933
AT ITER 3112 NEW BEST:: SOT 55655142 SOS 47436085 HAS SOPS 23231599 HAS SOUS 3614148 HAS SOUPS 1411228 WITH SCORE 1458664.085
AT ITER 3113 NEW BEST:: SOT 55655142 SOS 47436085 HAS SOPS 23231599 HAS SOUS 3613782 HAS SOUPS 1410862 WITH SCORE 1458298.085
AT ITER 3117 NEW BEST:: SOT 55655142 SOS 47435799 HAS SOPS 23232171 HAS SOUS 3613639 HAS SOUPS 1410862 WITH SCORE 1458297.799
AT ITER 3140 NEW BEST:: SOT 55654988 SOS 47436847 HAS SOPS 23231863 HAS SOUS 3613710 HAS SOUPS 1410707 WITH SCORE 1458143.847
AT ITER 3143 NEW BEST:: SOT 55654704 SOS 47435995 HAS SOPS 23231011 HAS SOUS 3613426 HAS SOUPS 1410423 WITH SCORE 1457858.995
AT ITER 3167 NEW BEST:: SOT 55654448 SOS 47434171 HAS SOPS 23233123 HAS SOUS 3612514 HAS SOUPS 1410167 WITH SCORE 1457601.171
AT ITER 3180 NEW BEST:: SOT 55649880 SOS 47423033 HAS SOPS 23227991 HAS SOUS 3609948 HAS SOUPS 1408602 WITH SCORE 1456025.033
AT ITER 3189 NEW BEST:: SOT 55649848 SOS 47422969 HAS SOPS 23227927 HAS SOUS 3609916 HAS SOUPS 1408570 WITH SCORE 1455992.969
AT ITER 3197 NEW BEST:: SOT 55648072 SOS 47430223 HAS SOPS 23227405 HAS SOUS 3609568 HAS SOUPS 1407790 WITH SCORE 1455220.223
AT ITER 3203 NEW BEST:: SOT 55647584 SOS 47428435 HAS SOPS 23228053 HAS SOUS 3608834 HAS SOUPS 1407462 WITH SCORE 1454890.435
AT ITER 3224 NEW BEST:: SOT 55647260 SOS 47429583 HAS SOPS 23229201 HAS SOUS 3608510 HAS SOUPS 1407138 WITH SCORE 1454567.583
AT ITER 3227 NEW BEST:: SOT 55647260 SOS 47429035 HAS SOPS 23230297 HAS SOUS 3608236 HAS SOUPS 1407138 WITH SCORE 1454567.035
AT ITER 3229 NEW BEST:: SOT 55644895 SOS 47437186 HAS SOPS 23227956 HAS SOUS 3606328 HAS SOUPS 1404656 WITH SCORE 1452093.186
AT ITER 3237 NEW BEST:: SOT 55644895 SOS 47437186 HAS SOPS 23227956 HAS SOUS 3605994 HAS SOUPS 1404322 WITH SCORE 1451759.186
AT ITER 3244 NEW BEST:: SOT 55642900 SOS 47439572 HAS SOPS 23224852 HAS SOUS 3604726 HAS SOUPS 1402749 WITH SCORE 1450188.572
AT ITER 3268 NEW BEST:: SOT 55642482 SOS 47437962 HAS SOPS 23226560 HAS SOUS 3603728 HAS SOUPS 1402304 WITH SCORE 1449741.962
AT ITER 3273 NEW BEST:: SOT 55638751 SOS 47450162 HAS SOPS 23229796 HAS SOUS 3600793 HAS SOUPS 1399369 WITH SCORE 1446819.162
AT ITER 3291 NEW BEST:: SOT 55638577 SOS 47454998 HAS SOPS 23232688 HAS SOUS 3600781 HAS SOUPS 1399357 WITH SCORE 1446811.998
AT ITER 3313 NEW BEST:: SOT 55638469 SOS 47454136 HAS SOPS 23233764 HAS SOUS 3600350 HAS SOUPS 1399249 WITH SCORE 1446703.136
AT ITER 3321 NEW BEST:: SOT 55637636 SOS 47455564 HAS SOPS 23233764 HAS SOUS 3600112 HAS SOUPS 1399011 WITH SCORE 1446466.564
AT ITER 3338 NEW BEST:: SOT 55623904 SOS 47434969 HAS SOPS 23224134 HAS SOUS 3599764 HAS SOUPS 1398960 WITH SCORE 1446394.969
AT ITER 3357 NEW BEST:: SOT 55623904 SOS 47434969 HAS SOPS 23224134 HAS SOUS 3599644 HAS SOUPS 1398840 WITH SCORE 1446274.969
AT ITER 3392 NEW BEST:: SOT 55623904 SOS 47434969 HAS SOPS 23224134 HAS SOUS 3599390 HAS SOUPS 1398586 WITH SCORE 1446020.969
AT ITER 3395 NEW BEST:: SOT 55623402 SOS 47433363 HAS SOPS 23222528 HAS SOUS 3598888 HAS SOUPS 1398084 WITH SCORE 1445517.363
AT ITER 3418 NEW BEST:: SOT 55622898 SOS 47432607 HAS SOPS 23221772 HAS SOUS 3598659 HAS SOUPS 1397855 WITH SCORE 1445287.607
AT ITER 3420 NEW BEST:: SOT 55622533 SOS 47431877 HAS SOPS 23221042 HAS SOUS 3598293 HAS SOUPS 1397489 WITH SCORE 1444920.877
AT ITER 3453 NEW BEST:: SOT 55622429 SOS 47431669 HAS SOPS 23220834 HAS SOUS 3598085 HAS SOUPS 1397281 WITH SCORE 1444712.669
AT ITER 3460 NEW BEST:: SOT 55622429 SOS 47431669 HAS SOPS 23220834 HAS SOUS 3598084 HAS SOUPS 1397280 WITH SCORE 1444711.669
AT ITER 3468 NEW BEST:: SOT 55622403 SOS 47431043 HAS SOPS 23221930 HAS SOUS 3597771 HAS SOUPS 1397254 WITH SCORE 1444685.043
AT ITER 3470 NEW BEST:: SOT 55621637 SOS 47427375 HAS SOPS 23220560 HAS SOUS 3596229 HAS SOUPS 1396095 WITH SCORE 1443522.375
AT ITER 3474 NEW BEST:: SOT 55620909 SOS 47425621 HAS SOPS 23218806 HAS SOUS 3595843 HAS SOUPS 1395709 WITH SCORE 1443134.621
AT ITER 3488 NEW BEST:: SOT 55620909 SOS 47425621 HAS SOPS 23218806 HAS SOUS 3595477 HAS SOUPS 1395343 WITH SCORE 1442768.621
AT ITER 3495 NEW BEST:: SOT 55620909 SOS 47425621 HAS SOPS 23219346 HAS SOUS 3595297 HAS SOUPS 1395253 WITH SCORE 1442678.621
AT ITER 3500 NEW BEST:: SOT 55620171 SOS 47424145 HAS SOPS 23220084 HAS SOUS 3593821 HAS SOUPS 1394146 WITH SCORE 1441570.145
AT ITER 3506 NEW BEST:: SOT 55618427 SOS 47419917 HAS SOPS 23215856 HAS SOUS 3593385 HAS SOUPS 1393710 WITH SCORE 1441129.917
AT ITER 3509 NEW BEST:: SOT 55614289 SOS 47439925 HAS SOPS 23214750 HAS SOUS 3593129 HAS SOUPS 1392281 WITH SCORE 1439720.925
AT ITER 3513 NEW BEST:: SOT 55614289 SOS 47438129 HAS SOPS 23212954 HAS SOUS 3592758 HAS SOUPS 1391910 WITH SCORE 1439348.129
AT ITER 3529 NEW BEST:: SOT 55611433 SOS 47468683 HAS SOPS 23223834 HAS SOUS 3593573 HAS SOUPS 1391632 WITH SCORE 1439100.683
AT ITER 3542 NEW BEST:: SOT 55611433 SOS 47468683 HAS SOPS 23223834 HAS SOUS 3593207 HAS SOUPS 1391266 WITH SCORE 1438734.683
AT ITER 3561 NEW BEST:: SOT 55611433 SOS 47468683 HAS SOPS 23223834 HAS SOUS 3592841 HAS SOUPS 1390900 WITH SCORE 1438368.683
AT ITER 3572 NEW BEST:: SOT 55611243 SOS 47468113 HAS SOPS 23223264 HAS SOUS 3592651 HAS SOUPS 1390710 WITH SCORE 1438178.113
AT ITER 3585 NEW BEST:: SOT 55606579 SOS 47485507 HAS SOPS 23227926 HAS SOUS 3588974 HAS SOUPS 1387033 WITH SCORE 1434518.507
AT ITER 3590 NEW BEST:: SOT 55605919 SOS 47484187 HAS SOPS 23226606 HAS SOUS 3588314 HAS SOUPS 1386373 WITH SCORE 1433857.187
AT ITER 3594 NEW BEST:: SOT 55605341 SOS 47483031 HAS SOPS 23227958 HAS SOUS 3587158 HAS SOUPS 1385635 WITH SCORE 1433118.031
AT ITER 3640 NEW BEST:: SOT 55604875 SOS 47482099 HAS SOPS 23232852 HAS SOUS 3585631 HAS SOUPS 1385079 WITH SCORE 1432561.099
AT ITER 3650 NEW BEST:: SOT 55602683 SOS 47497809 HAS SOPS 23238842 HAS SOUS 3584841 HAS SOUPS 1384289 WITH SCORE 1431786.809
AT ITER 3671 NEW BEST:: SOT 55602683 SOS 47497809 HAS SOPS 23238842 HAS SOUS 3584799 HAS SOUPS 1384247 WITH SCORE 1431744.809
AT ITER 3674 NEW BEST:: SOT 55602683 SOS 47497809 HAS SOPS 23238842 HAS SOUS 3584777 HAS SOUPS 1384225 WITH SCORE 1431722.809
AT ITER 3680 NEW BEST:: SOT 55602191 SOS 47495349 HAS SOPS 23237858 HAS SOUS 3583783 HAS SOUPS 1383477 WITH SCORE 1430972.349
AT ITER 3709 NEW BEST:: SOT 55601425 SOS 47492113 HAS SOPS 23239164 HAS SOUS 3581897 HAS SOUPS 1382348 WITH SCORE 1429840.113
AT ITER 3723 NEW BEST:: SOT 55601425 SOS 47492113 HAS SOPS 23239164 HAS SOUS 3581695 HAS SOUPS 1382146 WITH SCORE 1429638.113
AT ITER 3728 NEW BEST:: SOT 55600707 SOS 47491595 HAS SOPS 23238646 HAS SOUS 3581130 HAS SOUPS 1381581 WITH SCORE 1429072.595
AT ITER 3730 NEW BEST:: SOT 55600035 SOS 47490251 HAS SOPS 23239318 HAS SOUS 3579786 HAS SOUPS 1380573 WITH SCORE 1428063.251
AT ITER 3746 NEW BEST:: SOT 55600035 SOS 47490251 HAS SOPS 23239318 HAS SOUS 3579480 HAS SOUPS 1380267 WITH SCORE 1427757.251
AT ITER 3751 NEW BEST:: SOT 55598528 SOS 47494771 HAS SOPS 23240581 HAS SOUS 3579369 HAS SOUPS 1379923 WITH SCORE 1427417.771
AT ITER 3754 NEW BEST:: SOT 55594304 SOS 47502451 HAS SOPS 23239909 HAS SOUS 3575706 HAS SOUPS 1376260 WITH SCORE 1423762.451
AT ITER 3755 NEW BEST:: SOT 55594427 SOS 47394178 HAS SOPS 23243120 HAS SOUS 3574112 HAS SOUPS 1375259 WITH SCORE 1422653.178
AT ITER 3762 NEW BEST:: SOT 55590432 SOS 47412936 HAS SOPS 23248522 HAS SOUS 3571942 HAS SOUPS 1373089 WITH SCORE 1420501.936
AT ITER 3767 NEW BEST:: SOT 55590330 SOS 47413032 HAS SOPS 23248618 HAS SOUS 3571915 HAS SOUPS 1373062 WITH SCORE 1420475.032
AT ITER 3770 NEW BEST:: SOT 55587343 SOS 47434304 HAS SOPS 23259162 HAS SOUS 3569709 HAS SOUPS 1370856 WITH SCORE 1418290.304
AT ITER 3775 NEW BEST:: SOT 55587343 SOS 47434304 HAS SOPS 23259162 HAS SOUS 3569503 HAS SOUPS 1370650 WITH SCORE 1418084.304
AT ITER 3776 NEW BEST:: SOT 55587343 SOS 47434304 HAS SOPS 23259162 HAS SOUS 3569141 HAS SOUPS 1370288 WITH SCORE 1417722.304
AT ITER 3800 NEW BEST:: SOT 55586798 SOS 47433214 HAS SOPS 23260628 HAS SOUS 3567898 HAS SOUPS 1369471 WITH SCORE 1416904.214
AT ITER 3806 NEW BEST:: SOT 55586798 SOS 47433214 HAS SOPS 23260628 HAS SOUS 3567724 HAS SOUPS 1369297 WITH SCORE 1416730.214
AT ITER 3810 NEW BEST:: SOT 55586798 SOS 47433214 HAS SOPS 23260628 HAS SOUS 3567358 HAS SOUPS 1368931 WITH SCORE 1416364.214
AT ITER 3825 NEW BEST:: SOT 55585147 SOS 47437872 HAS SOPS 23258122 HAS SOUS 3566634 HAS SOUPS 1367809 WITH SCORE 1415246.872
AT ITER 3832 NEW BEST:: SOT 55584981 SOS 47437540 HAS SOPS 23257790 HAS SOUS 3566302 HAS SOUPS 1367477 WITH SCORE 1414914.54
AT ITER 3862 NEW BEST:: SOT 55583263 SOS 47433456 HAS SOPS 23253706 HAS SOUS 3565128 HAS SOUPS 1366303 WITH SCORE 1413736.456
AT ITER 3869 NEW BEST:: SOT 55578370 SOS 47444814 HAS SOPS 23255020 HAS SOUS 3562156 HAS SOUPS 1363331 WITH SCORE 1410775.814
AT ITER 3885 NEW BEST:: SOT 55578179 SOS 47443477 HAS SOPS 23254829 HAS SOUS 3561965 HAS SOUPS 1363331 WITH SCORE 1410774.477
AT ITER 3900 NEW BEST:: SOT 55578002 SOS 47443749 HAS SOPS 23253223 HAS SOUS 3561846 HAS SOUPS 1362899 WITH SCORE 1410342.749
AT ITER 3905 NEW BEST:: SOT 55577940 SOS 47443625 HAS SOPS 23255079 HAS SOUS 3561454 HAS SOUPS 1362837 WITH SCORE 1410280.625
AT ITER 3937 NEW BEST:: SOT 55577271 SOS 47446577 HAS SOPS 23254521 HAS SOUS 3561022 HAS SOUPS 1362210 WITH SCORE 1409656.577
AT ITER 3941 NEW BEST:: SOT 55576835 SOS 47445705 HAS SOPS 23254957 HAS SOUS 3560150 HAS SOUPS 1361556 WITH SCORE 1409001.705
AT ITER 3944 NEW BEST:: SOT 55576595 SOS 47446473 HAS SOPS 23255149 HAS SOUS 3559958 HAS SOUPS 1361364 WITH SCORE 1408810.473
AT ITER 3947 NEW BEST:: SOT 55576595 SOS 47446473 HAS SOPS 23255149 HAS SOUS 3559812 HAS SOUPS 1361218 WITH SCORE 1408664.473
AT ITER 3987 NEW BEST:: SOT 55576525 SOS 47446333 HAS SOPS 23255009 HAS SOUS 3559742 HAS SOUPS 1361148 WITH SCORE 1408594.333
AT ITER 3990 NEW BEST:: SOT 55576471 SOS 47446225 HAS SOPS 23255555 HAS SOUS 3559578 HAS SOUPS 1361093 WITH SCORE 1408539.225
AT ITER 3994 NEW BEST:: SOT 55575930 SOS 47445143 HAS SOPS 23254473 HAS SOUS 3559294 HAS SOUPS 1360809 WITH SCORE 1408254.143
AT ITER 4049 NEW BEST:: SOT 55575930 SOS 47445143 HAS SOPS 23254473 HAS SOUS 3558928 HAS SOUPS 1360443 WITH SCORE 1407888.143
AT ITER 4055 NEW BEST:: SOT 55575714 SOS 47444711 HAS SOPS 23256981 HAS SOUS 3558345 HAS SOUPS 1360350 WITH SCORE 1407794.711
AT ITER 4057 NEW BEST:: SOT 55574419 SOS 47447301 HAS SOPS 23254909 HAS SOUS 3557309 HAS SOUPS 1359055 WITH SCORE 1406502.301
AT ITER 4066 NEW BEST:: SOT 55574419 SOS 47447301 HAS SOPS 23254909 HAS SOUS 3556943 HAS SOUPS 1358689 WITH SCORE 1406136.301
AT ITER 4072 NEW BEST:: SOT 55574419 SOS 47447301 HAS SOPS 23254909 HAS SOUS 3556601 HAS SOUPS 1358347 WITH SCORE 1405794.301
AT ITER 4085 NEW BEST:: SOT 55571008 SOS 47461079 HAS SOPS 23255205 HAS SOUS 3554591 HAS SOUPS 1355588 WITH SCORE 1403049.079
AT ITER 4095 NEW BEST:: SOT 55564299 SOS 47451122 HAS SOPS 23248584 HAS SOUS 3554537 HAS SOUPS 1355534 WITH SCORE 1402985.122
AT ITER 4096 NEW BEST:: SOT 55564299 SOS 47451038 HAS SOPS 23248752 HAS SOUS 3554495 HAS SOUPS 1355534 WITH SCORE 1402985.038
AT ITER 4102 NEW BEST:: SOT 55564299 SOS 47451038 HAS SOPS 23248752 HAS SOUS 3554453 HAS SOUPS 1355492 WITH SCORE 1402943.038
AT ITER 4120 NEW BEST:: SOT 55564199 SOS 47450788 HAS SOPS 23248652 HAS SOUS 3554378 HAS SOUPS 1355442 WITH SCORE 1402892.788
AT ITER 4128 NEW BEST:: SOT 55564199 SOS 47450788 HAS SOPS 23248652 HAS SOUS 3554124 HAS SOUPS 1355188 WITH SCORE 1402638.788
AT ITER 4138 NEW BEST:: SOT 55564229 SOS 47450878 HAS SOPS 23248652 HAS SOUS 3554094 HAS SOUPS 1355143 WITH SCORE 1402593.878
AT ITER 4160 NEW BEST:: SOT 55563441 SOS 47449302 HAS SOPS 23247076 HAS SOUS 3552943 HAS SOUPS 1353992 WITH SCORE 1401441.302
AT ITER 4186 NEW BEST:: SOT 55563441 SOS 47449302 HAS SOPS 23247076 HAS SOUS 3552577 HAS SOUPS 1353626 WITH SCORE 1401075.302
AT ITER 4193 NEW BEST:: SOT 55551514 SOS 47430839 HAS SOPS 23239575 HAS SOUS 3551624 HAS SOUPS 1353464 WITH SCORE 1400894.839
AT ITER 4195 NEW BEST:: SOT 55551514 SOS 47430839 HAS SOPS 23239575 HAS SOUS 3551346 HAS SOUPS 1353186 WITH SCORE 1400616.839
AT ITER 4196 NEW BEST:: SOT 55550964 SOS 47429739 HAS SOPS 23240125 HAS SOUS 3550246 HAS SOUPS 1352361 WITH SCORE 1399790.739
AT ITER 4201 NEW BEST:: SOT 55550964 SOS 47429739 HAS SOPS 23240125 HAS SOUS 3550158 HAS SOUPS 1352273 WITH SCORE 1399702.739
AT ITER 4211 NEW BEST:: SOT 55550964 SOS 47427729 HAS SOPS 23238115 HAS SOUS 3549568 HAS SOUPS 1351683 WITH SCORE 1399110.729
AT ITER 4242 NEW BEST:: SOT 55548254 SOS 47438773 HAS SOPS 23240771 HAS SOUS 3547906 HAS SOUPS 1350021 WITH SCORE 1397459.773
AT ITER 4243 NEW BEST:: SOT 55547743 SOS 47439211 HAS SOPS 23240333 HAS SOUS 3547642 HAS SOUPS 1349757 WITH SCORE 1397196.211
AT ITER 4271 NEW BEST:: SOT 55547283 SOS 47436275 HAS SOPS 23239413 HAS SOUS 3546722 HAS SOUPS 1349173 WITH SCORE 1396609.275
AT ITER 4273 NEW BEST:: SOT 55547283 SOS 47436275 HAS SOPS 23239413 HAS SOUS 3546356 HAS SOUPS 1348807 WITH SCORE 1396243.275
AT ITER 4281 NEW BEST:: SOT 55548108 SOS 47436247 HAS SOPS 23237730 HAS SOUS 3546281 HAS SOUPS 1348612 WITH SCORE 1396048.247
AT ITER 4288 NEW BEST:: SOT 55547396 SOS 47433591 HAS SOPS 23238770 HAS SOUS 3544953 HAS SOUPS 1347900 WITH SCORE 1395333.591
AT ITER 4309 NEW BEST:: SOT 55544922 SOS 47427545 HAS SOPS 23236018 HAS SOUS 3543217 HAS SOUPS 1346713 WITH SCORE 1394140.545
AT ITER 4315 NEW BEST:: SOT 55546350 SOS 47429687 HAS SOPS 23236732 HAS SOUS 3543098 HAS SOUPS 1346475 WITH SCORE 1393904.687
AT ITER 4337 NEW BEST:: SOT 55544726 SOS 47443461 HAS SOPS 23241974 HAS SOUS 3542113 HAS SOUPS 1345490 WITH SCORE 1392933.461
AT ITER 4353 NEW BEST:: SOT 55544726 SOS 47443461 HAS SOPS 23241974 HAS SOUS 3541747 HAS SOUPS 1345124 WITH SCORE 1392567.461
AT ITER 4361 NEW BEST:: SOT 55544726 SOS 47443461 HAS SOPS 23241974 HAS SOUS 3541597 HAS SOUPS 1344974 WITH SCORE 1392417.461
AT ITER 4369 NEW BEST:: SOT 55544687 SOS 47443383 HAS SOPS 23241896 HAS SOUS 3541558 HAS SOUPS 1344935 WITH SCORE 1392378.383
AT ITER 4396 NEW BEST:: SOT 55544661 SOS 47443331 HAS SOPS 23242000 HAS SOUS 3541506 HAS SOUPS 1344909 WITH SCORE 1392352.331
AT ITER 4398 NEW BEST:: SOT 55544661 SOS 47443331 HAS SOPS 23242000 HAS SOUS 3541391 HAS SOUPS 1344794 WITH SCORE 1392237.331
AT ITER 4399 NEW BEST:: SOT 55544381 SOS 47442771 HAS SOPS 23242280 HAS SOUS 3540971 HAS SOUPS 1344514 WITH SCORE 1391956.771
AT ITER 4420 NEW BEST:: SOT 55544098 SOS 47442205 HAS SOPS 23241714 HAS SOUS 3540688 HAS SOUPS 1344231 WITH SCORE 1391673.205
AT ITER 4426 NEW BEST:: SOT 55541978 SOS 47445973 HAS SOPS 23239938 HAS SOUS 3539834 HAS SOUPS 1343069 WITH SCORE 1390514.973
AT ITER 4469 NEW BEST:: SOT 55541801 SOS 47445619 HAS SOPS 23241336 HAS SOUS 3539277 HAS SOUPS 1342804 WITH SCORE 1390249.619
AT ITER 4477 NEW BEST:: SOT 55541523 SOS 47445063 HAS SOPS 23240780 HAS SOUS 3538999 HAS SOUPS 1342526 WITH SCORE 1389971.063
AT ITER 4481 NEW BEST:: SOT 55541953 SOS 47446443 HAS SOPS 23240600 HAS SOUS 3539167 HAS SOUPS 1342434 WITH SCORE 1389880.443
AT ITER 4521 NEW BEST:: SOT 55541953 SOS 47446443 HAS SOPS 23240600 HAS SOUS 3539147 HAS SOUPS 1342414 WITH SCORE 1389860.443
AT ITER 4522 NEW BEST:: SOT 55538063 SOS 47457343 HAS SOPS 23242920 HAS SOUS 3536155 HAS SOUPS 1339422 WITH SCORE 1386879.343
AT ITER 4533 NEW BEST:: SOT 55538035 SOS 47457287 HAS SOPS 23242864 HAS SOUS 3536127 HAS SOUPS 1339394 WITH SCORE 1386851.287
AT ITER 4536 NEW BEST:: SOT 55536651 SOS 47451423 HAS SOPS 23241644 HAS SOUS 3533607 HAS SOUPS 1337648 WITH SCORE 1385099.423
AT ITER 4538 NEW BEST:: SOT 55536651 SOS 47451423 HAS SOPS 23241644 HAS SOUS 3533511 HAS SOUPS 1337552 WITH SCORE 1385003.423
AT ITER 4551 NEW BEST:: SOT 55536519 SOS 47451159 HAS SOPS 23241380 HAS SOUS 3533379 HAS SOUPS 1337420 WITH SCORE 1384871.159
AT ITER 4555 NEW BEST:: SOT 55535999 SOS 47449859 HAS SOPS 23240080 HAS SOUS 3533249 HAS SOUPS 1337290 WITH SCORE 1384739.859
AT ITER 4584 NEW BEST:: SOT 55535520 SOS 47456677 HAS SOPS 23243982 HAS SOUS 3533013 HAS SOUPS 1337054 WITH SCORE 1384510.677
AT ITER 4585 NEW BEST:: SOT 55535520 SOS 47456677 HAS SOPS 23243982 HAS SOUS 3532883 HAS SOUPS 1336924 WITH SCORE 1384380.677
AT ITER 4593 NEW BEST:: SOT 55534980 SOS 47455327 HAS SOPS 23242632 HAS SOUS 3532748 HAS SOUPS 1336789 WITH SCORE 1384244.327
AT ITER 4594 NEW BEST:: SOT 55532342 SOS 47448859 HAS SOPS 23239740 HAS SOUS 3531245 HAS SOUPS 1335882 WITH SCORE 1383330.859
AT ITER 4597 NEW BEST:: SOT 55531130 SOS 47460953 HAS SOPS 23244562 HAS SOUS 3531176 HAS SOUPS 1335409 WITH SCORE 1382869.953
AT ITER 4617 NEW BEST:: SOT 55530636 SOS 47459965 HAS SOPS 23243574 HAS SOUS 3530371 HAS SOUPS 1334604 WITH SCORE 1382063.965
AT ITER 4650 NEW BEST:: SOT 55530602 SOS 47459897 HAS SOPS 23243506 HAS SOUS 3530337 HAS SOUPS 1334570 WITH SCORE 1382029.897
AT ITER 4683 NEW BEST:: SOT 55530410 SOS 47456309 HAS SOPS 23245612 HAS SOUS 3529196 HAS SOUPS 1334378 WITH SCORE 1381834.309
AT ITER 4691 NEW BEST:: SOT 55530410 SOS 47456309 HAS SOPS 23245612 HAS SOUS 3528920 HAS SOUPS 1334102 WITH SCORE 1381558.309
AT ITER 4702 NEW BEST:: SOT 55529691 SOS 47456511 HAS SOPS 23244830 HAS SOUS 3528384 HAS SOUPS 1333566 WITH SCORE 1381022.511
AT ITER 4706 NEW BEST:: SOT 55529691 SOS 47456511 HAS SOPS 23244830 HAS SOUS 3528018 HAS SOUPS 1333200 WITH SCORE 1380656.511
AT ITER 4731 NEW BEST:: SOT 55529687 SOS 47456503 HAS SOPS 23244822 HAS SOUS 3528014 HAS SOUPS 1333196 WITH SCORE 1380652.503
AT ITER 4748 NEW BEST:: SOT 55529790 SOS 47455233 HAS SOPS 23243552 HAS SOUS 3527935 HAS SOUPS 1333117 WITH SCORE 1380572.233
AT ITER 4785 NEW BEST:: SOT 55527133 SOS 47474039 HAS SOPS 23253250 HAS SOUS 3526715 HAS SOUPS 1331897 WITH SCORE 1379371.039
AT ITER 4786 NEW BEST:: SOT 55527323 SOS 47468339 HAS SOPS 23249830 HAS SOUS 3526715 HAS SOUPS 1331897 WITH SCORE 1379365.339
AT ITER 4808 NEW BEST:: SOT 55527185 SOS 47468017 HAS SOPS 23249508 HAS SOUS 3526623 HAS SOUPS 1331805 WITH SCORE 1379273.017
AT ITER 4828 NEW BEST:: SOT 55526165 SOS 47471081 HAS SOPS 23248396 HAS SOUS 3525890 HAS SOUPS 1330840 WITH SCORE 1378311.081
AT ITER 4836 NEW BEST:: SOT 55526165 SOS 47471081 HAS SOPS 23248396 HAS SOUS 3525624 HAS SOUPS 1330574 WITH SCORE 1378045.081
AT ITER 4841 NEW BEST:: SOT 55525770 SOS 47470291 HAS SOPS 23247606 HAS SOUS 3525187 HAS SOUPS 1330137 WITH SCORE 1377607.291
AT ITER 4845 NEW BEST:: SOT 55525770 SOS 47470291 HAS SOPS 23247606 HAS SOUS 3524941 HAS SOUPS 1329891 WITH SCORE 1377361.291
AT ITER 4850 NEW BEST:: SOT 55525429 SOS 47467563 HAS SOPS 23246924 HAS SOUS 3524259 HAS SOUPS 1329550 WITH SCORE 1377017.563
AT ITER 4870 NEW BEST:: SOT 55523829 SOS 47474243 HAS SOPS 23246764 HAS SOUS 3524171 HAS SOUPS 1329082 WITH SCORE 1376556.243
AT ITER 4872 NEW BEST:: SOT 55523328 SOS 47468677 HAS SOPS 23244132 HAS SOUS 3523670 HAS SOUPS 1328744 WITH SCORE 1376212.677
AT ITER 4874 NEW BEST:: SOT 55517447 SOS 47480177 HAS SOPS 23244940 HAS SOUS 3520386 HAS SOUPS 1325460 WITH SCORE 1372940.177
AT ITER 4888 NEW BEST:: SOT 55517411 SOS 47480105 HAS SOPS 23244868 HAS SOUS 3520314 HAS SOUPS 1325388 WITH SCORE 1372868.105
AT ITER 4890 NEW BEST:: SOT 55517411 SOS 47476985 HAS SOPS 23244868 HAS SOUS 3519480 HAS SOUPS 1325074 WITH SCORE 1372550.985
AT ITER 4901 NEW BEST:: SOT 55517175 SOS 47478047 HAS SOPS 23245222 HAS SOUS 3519303 HAS SOUPS 1324897 WITH SCORE 1372375.047
AT ITER 4909 NEW BEST:: SOT 55516464 SOS 47481839 HAS SOPS 23244748 HAS SOUS 3518829 HAS SOUPS 1324186 WITH SCORE 1371667.839
AT ITER 4925 NEW BEST:: SOT 55516464 SOS 47481839 HAS SOPS 23244748 HAS SOUS 3518463 HAS SOUPS 1323820 WITH SCORE 1371301.839
AT ITER 4945 NEW BEST:: SOT 55516464 SOS 47481839 HAS SOPS 23244748 HAS SOUS 3518199 HAS SOUPS 1323556 WITH SCORE 1371037.839
AT ITER 4953 NEW BEST:: SOT 55498148 SOS 47454469 HAS SOPS 23232202 HAS SOUS 3517582 HAS SOUPS 1323518 WITH SCORE 1370972.469
AT ITER 4957 NEW BEST:: SOT 55498148 SOS 47454469 HAS SOPS 23232202 HAS SOUS 3517520 HAS SOUPS 1323456 WITH SCORE 1370910.469
AT ITER 4966 NEW BEST:: SOT 55498148 SOS 47454469 HAS SOPS 23232202 HAS SOUS 3517438 HAS SOUPS 1323374 WITH SCORE 1370828.469
AT ITER 4971 NEW BEST:: SOT 55498148 SOS 47454469 HAS SOPS 23232202 HAS SOUS 3517322 HAS SOUPS 1323258 WITH SCORE 1370712.469
AT ITER 4975 NEW BEST:: SOT 55497544 SOS 47452785 HAS SOPS 23231946 HAS SOUS 3516933 HAS SOUPS 1323107 WITH SCORE 1370559.785
AT ITER 4981 NEW BEST:: SOT 55497696 SOS 47452627 HAS SOPS 23233768 HAS SOUS 3516567 HAS SOUPS 1323071 WITH SCORE 1370523.627
AT ITER 4984 NEW BEST:: SOT 55495401 SOS 47444977 HAS SOPS 23230708 HAS SOUS 3512742 HAS SOUPS 1320011 WITH SCORE 1367455.977
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-6a-CTLFireability-00 (AF( (EU( ( ((potential((tk(P1338)>=1) & (tk(P3438)>=1)))) & ((potential((tk(P1293)>=1) & (tk(P1770)>=1)))) ) , ((potential((tk(P1326)>=1) & (tk(P2852)>=1)))) ))))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-01 (AF( ( ( ( ( ((potential((tk(P1083)>=1) & (tk(P2017)>=1)))) | ((potential((tk(P289)>=1)))) ) & ((potential((tk(P1341)>=1) & (tk(P3302)>=1)))) ) | ((potential((tk(P1327)>=1) & (tk(P2860)>=1)))) ) | ( (EF( ((potential((tk(P1337)>=1) & (tk(P3374)>=1)))))) | ((potential((tk(P1301)>=1) & (tk(P1937)>=1)))) ) )))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-02 ( (! (AX( (EF( ((potential((tk(P1325)>=1) & (tk(P3044)>=1))))))))) | ( (EU( (! ((potential((tk(P435)>=1) & (tk(P3295)>=1))))) , ( ((potential((tk(P1044)>=1) & (tk(P2372)>=1)))) & ((potential((tk(P469)>=1)))) ) )) | ( (EF( ((potential((tk(P127)>=1) & (tk(P1744)>=1)))))) & (! (! ( ((potential((tk(P848)>=1) & (tk(P3048)>=1)))) | ((potential((tk(P92)>=1) & (tk(P1734)>=1)))) ))) ) ) )
PROPERTY: DLCshifumi-PT-6a-CTLFireability-03 (! ( (AF( (EX( ((potential((tk(P1310)>=1) & (tk(P2252)>=1)))))))) | (EG( ((potential((tk(P1321)>=1) & (tk(P2446)>=1)))))) ))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-04 (EU( ( (! ((potential((tk(P729)>=1) & (tk(P2282)>=1))))) | ( (! ((potential((tk(P1321)>=1) & (tk(P2475)>=1))))) | ( ((potential((tk(P498)>=1) & (tk(P1483)>=1)))) & ((potential((tk(P1320)>=1) & (tk(P2632)>=1)))) ) ) ) , ( (AX( ((potential((tk(P3332)>=1) & (tk(P1339)>=1)))))) & (EG( ((potential((tk(P773)>=1)))))) ) ))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-05 (AG( (AF( (AF( ((potential((tk(P1321)>=1) & (tk(P2598)>=1))))))))))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-06 ( (! (AF( (EG( ((potential((tk(P695)>=1))))))))) | ((potential((tk(P1285)>=1) & (tk(P1568)>=1)))) )
PROPERTY: DLCshifumi-PT-6a-CTLFireability-07 ( ((potential((tk(P1044)>=1) & (tk(P3470)>=1)))) | (EX( ( (AF( ((potential((tk(P596)>=1) & (tk(P2244)>=1)))))) & (AF( ((potential((tk(P1331)>=1) & (tk(P3140)>=1)))))) ))) )
PROPERTY: DLCshifumi-PT-6a-CTLFireability-08 (AG( ( (AG( ((potential((tk(P479)>=1) & (tk(P2577)>=1)))))) | (AF( (! ((potential((tk(P1128)>=1) & (tk(P2396)>=1))))))) )))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-09 (EF( (AX( (! (! ((potential((tk(P1338)>=1) & (tk(P3174)>=1))))))))))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-10 (AX( (AF( ( (! ((potential((tk(P246)>=1) & (tk(P1411)>=1))))) & ( ((potential((tk(P1301)>=1) & (tk(P1743)>=1)))) & ((potential((tk(P126)>=1)))) ) )))))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-11 (AF( ((potential((tk(P1317)>=1) & (tk(P2442)>=1))))))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-12 (AU( (! (EG( ((potential((tk(P1293)>=1) & (tk(P1734)>=1))))))) , (EG( ( ((potential((tk(P797)>=1)))) & ((potential((tk(P617)>=1) & (tk(P1518)>=1)))) ))) ))
PROPERTY: DLCshifumi-PT-6a-CTLFireability-13 ( (EG( (EF( ( ((potential((tk(P3162)>=1) & (tk(P1329)>=1)))) | ((potential((tk(P1286)>=1) & (tk(P1648)>=1)))) ))))) | ( (! ( (! ( ((potential((tk(P1330)>=1) & (tk(P2822)>=1)))) & ((potential((tk(P1247)>=1) & (tk(P2796)>=1)))) )) & (AF( ((potential((tk(P1342)>=1) & (tk(P3310)>=1)))))) )) | ( ((potential((tk(P1341)>=1) & (tk(P3404)>=1)))) & ( ( ( ((potential((tk(P1009)>=1) & (tk(P3094)>=1)))) | ((potential((tk(P641)>=1)))) ) | (! ((potential((tk(P383)>=1) & (tk(P3281)>=1))))) ) & ((potential((tk(P1330)>=1) & (tk(P3162)>=1)))) ) ) ) )
PROPERTY: DLCshifumi-PT-6a-CTLFireability-14 ( ( ( (EF( ( ((potential((tk(P1311)>=1) & (tk(P2343)>=1)))) | ((potential((tk(P1283)>=1) & (tk(P1450)>=1)))) ))) & ( (AX( ((potential((tk(P215)>=1) & (tk(P3233)>=1)))))) & (AG( ((potential((tk(P446)>=1) & (tk(P2201)>=1)))))) ) ) & (AU( ( ((potential((tk(P1300)>=1) & (tk(P1832)>=1)))) & ((potential((tk(P3456)>=1) & (tk(P1339)>=1)))) ) , ( ((potential((tk(P3155)>=1) & (tk(P1331)>=1)))) & ((potential((tk(P442)>=1) & (tk(P2566)>=1)))) ) )) ) | (! (! ( ((potential((tk(P862)>=1) & (tk(P1588)>=1)))) | (EF( ((potential((tk(P1298)>=1) & (tk(P1842)>=1)))))) ))) )
PROPERTY: DLCshifumi-PT-6a-CTLFireability-15 (EF( (AG( ((potential((tk(P771)>=1) & (tk(P3392)>=1))))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="DLCshifumi-PT-6a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6a.tgz
mv DLCshifumi-PT-6a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;