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.r048-ebro-158902542300556.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 DLCround-PT-09b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300556
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.0K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K 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 26K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 DLCround-PT-09b-CTLFireability-00
FORMULA_NAME DLCround-PT-09b-CTLFireability-01
FORMULA_NAME DLCround-PT-09b-CTLFireability-02
FORMULA_NAME DLCround-PT-09b-CTLFireability-03
FORMULA_NAME DLCround-PT-09b-CTLFireability-04
FORMULA_NAME DLCround-PT-09b-CTLFireability-05
FORMULA_NAME DLCround-PT-09b-CTLFireability-06
FORMULA_NAME DLCround-PT-09b-CTLFireability-07
FORMULA_NAME DLCround-PT-09b-CTLFireability-08
FORMULA_NAME DLCround-PT-09b-CTLFireability-09
FORMULA_NAME DLCround-PT-09b-CTLFireability-10
FORMULA_NAME DLCround-PT-09b-CTLFireability-11
FORMULA_NAME DLCround-PT-09b-CTLFireability-12
FORMULA_NAME DLCround-PT-09b-CTLFireability-13
FORMULA_NAME DLCround-PT-09b-CTLFireability-14
FORMULA_NAME DLCround-PT-09b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589129019190

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09b
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: 3495 places, 5439 transitions, 15081 arcs.
AT ITER 0 NEW BEST:: SOT 12062868 SOS 2820991 HAS SOPS 2820991 HAS SOUS 1629137 HAS SOUPS 1629137 WITH SCORE 1631957.991
AT ITER 8 NEW BEST:: SOT 12062816 SOS 2820939 HAS SOPS 2820939 HAS SOUS 1629085 HAS SOUPS 1629085 WITH SCORE 1631905.939
AT ITER 19 NEW BEST:: SOT 12063022 SOS 2821351 HAS SOPS 2821351 HAS SOUS 1628868 HAS SOUPS 1628868 WITH SCORE 1631689.351
AT ITER 24 NEW BEST:: SOT 12062870 SOS 2822415 HAS SOPS 2822415 HAS SOUS 1628716 HAS SOUPS 1628716 WITH SCORE 1631538.415
AT ITER 42 NEW BEST:: SOT 12062650 SOS 2821974 HAS SOPS 2821974 HAS SOUS 1628275 HAS SOUPS 1628275 WITH SCORE 1631096.974
AT ITER 59 NEW BEST:: SOT 12062273 SOS 2821861 HAS SOPS 2821861 HAS SOUS 1628162 HAS SOUPS 1628162 WITH SCORE 1630983.861
AT ITER 86 NEW BEST:: SOT 12061746 SOS 2821851 HAS SOPS 2821851 HAS SOUS 1627815 HAS SOUPS 1627815 WITH SCORE 1630636.851
AT ITER 107 NEW BEST:: SOT 12061368 SOS 2822468 HAS SOPS 2822468 HAS SOUS 1627029 HAS SOUPS 1627029 WITH SCORE 1629851.468
AT ITER 115 NEW BEST:: SOT 12061083 SOS 2822183 HAS SOPS 2822183 HAS SOUS 1626744 HAS SOUPS 1626744 WITH SCORE 1629566.183
AT ITER 126 NEW BEST:: SOT 12061082 SOS 2822181 HAS SOPS 2822181 HAS SOUS 1626742 HAS SOUPS 1626742 WITH SCORE 1629564.181
AT ITER 137 NEW BEST:: SOT 12061081 SOS 2823026 HAS SOPS 2823026 HAS SOUS 1626739 HAS SOUPS 1626739 WITH SCORE 1629562.026
AT ITER 163 NEW BEST:: SOT 12060585 SOS 2822542 HAS SOPS 2822542 HAS SOUS 1626243 HAS SOUPS 1626243 WITH SCORE 1629065.542
AT ITER 167 NEW BEST:: SOT 12060662 SOS 2822696 HAS SOPS 2822696 HAS SOUS 1625884 HAS SOUPS 1625884 WITH SCORE 1628706.696
AT ITER 171 NEW BEST:: SOT 12060604 SOS 2823092 HAS SOPS 2823092 HAS SOUS 1625767 HAS SOUPS 1625767 WITH SCORE 1628590.092
AT ITER 194 NEW BEST:: SOT 12060426 SOS 2822920 HAS SOPS 2822920 HAS SOUS 1625589 HAS SOUPS 1625589 WITH SCORE 1628411.92
AT ITER 213 NEW BEST:: SOT 12059915 SOS 2822507 HAS SOPS 2822507 HAS SOUS 1625078 HAS SOUPS 1625078 WITH SCORE 1627900.507
AT ITER 221 NEW BEST:: SOT 12059464 SOS 2822064 HAS SOPS 2822064 HAS SOUS 1624627 HAS SOUPS 1624627 WITH SCORE 1627449.064
AT ITER 267 NEW BEST:: SOT 12059866 SOS 2822868 HAS SOPS 2822868 HAS SOUS 1624335 HAS SOUPS 1624335 WITH SCORE 1627157.868
AT ITER 284 NEW BEST:: SOT 12059866 SOS 2823513 HAS SOPS 2823513 HAS SOUS 1624334 HAS SOUPS 1624334 WITH SCORE 1627157.513
AT ITER 305 NEW BEST:: SOT 12059866 SOS 2823349 HAS SOPS 2823349 HAS SOUS 1624334 HAS SOUPS 1624334 WITH SCORE 1627157.349
AT ITER 307 NEW BEST:: SOT 12059644 SOS 2823345 HAS SOPS 2823345 HAS SOUS 1624183 HAS SOUPS 1624183 WITH SCORE 1627006.345
AT ITER 311 NEW BEST:: SOT 12058788 SOS 2821633 HAS SOPS 2821633 HAS SOUS 1622314 HAS SOUPS 1622314 WITH SCORE 1625135.633
AT ITER 336 NEW BEST:: SOT 12058231 SOS 2821076 HAS SOPS 2821076 HAS SOUS 1621757 HAS SOUPS 1621757 WITH SCORE 1624578.076
AT ITER 342 NEW BEST:: SOT 12058448 SOS 2826702 HAS SOPS 2826702 HAS SOUS 1621612 HAS SOUPS 1621612 WITH SCORE 1624438.702
AT ITER 379 NEW BEST:: SOT 12057558 SOS 2825811 HAS SOPS 2825811 HAS SOUS 1620721 HAS SOUPS 1620721 WITH SCORE 1623546.811
AT ITER 383 NEW BEST:: SOT 12057406 SOS 2825507 HAS SOPS 2825507 HAS SOUS 1620315 HAS SOUPS 1620315 WITH SCORE 1623140.507
AT ITER 385 NEW BEST:: SOT 12057359 SOS 2825413 HAS SOPS 2825413 HAS SOUS 1619909 HAS SOUPS 1619909 WITH SCORE 1622734.413
AT ITER 411 NEW BEST:: SOT 12057188 SOS 2824900 HAS SOPS 2824900 HAS SOUS 1619567 HAS SOUPS 1619567 WITH SCORE 1622391.9
AT ITER 468 NEW BEST:: SOT 12056458 SOS 2824387 HAS SOPS 2824387 HAS SOUS 1618259 HAS SOUPS 1618259 WITH SCORE 1621083.387
AT ITER 536 NEW BEST:: SOT 12054558 SOS 2821537 HAS SOPS 2821537 HAS SOUS 1615409 HAS SOUPS 1615409 WITH SCORE 1618230.537
AT ITER 546 NEW BEST:: SOT 12054558 SOS 2821536 HAS SOPS 2821536 HAS SOUS 1615408 HAS SOUPS 1615408 WITH SCORE 1618229.536
AT ITER 550 NEW BEST:: SOT 12054123 SOS 2821364 HAS SOPS 2821364 HAS SOUS 1615236 HAS SOUPS 1615236 WITH SCORE 1618057.364
AT ITER 567 NEW BEST:: SOT 12053666 SOS 2820450 HAS SOPS 2820450 HAS SOUS 1614778 HAS SOUPS 1614778 WITH SCORE 1617598.45
AT ITER 569 NEW BEST:: SOT 12053755 SOS 2819107 HAS SOPS 2819107 HAS SOUS 1614416 HAS SOUPS 1614416 WITH SCORE 1617235.107
AT ITER 571 NEW BEST:: SOT 12052565 SOS 2818511 HAS SOPS 2818511 HAS SOUS 1613820 HAS SOUPS 1613820 WITH SCORE 1616638.511
AT ITER 574 NEW BEST:: SOT 12052202 SOS 2822248 HAS SOPS 2822248 HAS SOUS 1613093 HAS SOUPS 1613093 WITH SCORE 1615915.248
AT ITER 584 NEW BEST:: SOT 12052201 SOS 2822246 HAS SOPS 2822246 HAS SOUS 1613091 HAS SOUPS 1613091 WITH SCORE 1615913.246
AT ITER 598 NEW BEST:: SOT 12052335 SOS 2826977 HAS SOPS 2826977 HAS SOUS 1612861 HAS SOUPS 1612861 WITH SCORE 1615687.977
AT ITER 605 NEW BEST:: SOT 12051245 SOS 2825342 HAS SOPS 2825342 HAS SOUS 1611226 HAS SOUPS 1611226 WITH SCORE 1614051.342
AT ITER 626 NEW BEST:: SOT 12051245 SOS 2825693 HAS SOPS 2825693 HAS SOUS 1611225 HAS SOUPS 1611225 WITH SCORE 1614050.693
AT ITER 634 NEW BEST:: SOT 12049881 SOS 2824342 HAS SOPS 2824342 HAS SOUS 1609874 HAS SOUPS 1609874 WITH SCORE 1612698.342
AT ITER 648 NEW BEST:: SOT 12049881 SOS 2824227 HAS SOPS 2824227 HAS SOUS 1609759 HAS SOUPS 1609759 WITH SCORE 1612583.227
AT ITER 675 NEW BEST:: SOT 12049419 SOS 2823303 HAS SOPS 2823303 HAS SOUS 1609297 HAS SOUPS 1609297 WITH SCORE 1612120.303
AT ITER 693 NEW BEST:: SOT 12049604 SOS 2822419 HAS SOPS 2822419 HAS SOUS 1609156 HAS SOUPS 1609156 WITH SCORE 1611978.419
AT ITER 697 NEW BEST:: SOT 12049604 SOS 2819504 HAS SOPS 2819504 HAS SOUS 1609155 HAS SOUPS 1609155 WITH SCORE 1611974.504
AT ITER 700 NEW BEST:: SOT 12049604 SOS 2819302 HAS SOPS 2819302 HAS SOUS 1609054 HAS SOUPS 1609054 WITH SCORE 1611873.302
AT ITER 715 NEW BEST:: SOT 12049445 SOS 2819299 HAS SOPS 2819299 HAS SOUS 1609053 HAS SOUPS 1609053 WITH SCORE 1611872.299
AT ITER 721 NEW BEST:: SOT 12049445 SOS 2818667 HAS SOPS 2818667 HAS SOUS 1608737 HAS SOUPS 1608737 WITH SCORE 1611555.667
AT ITER 736 NEW BEST:: SOT 12049445 SOS 2818547 HAS SOPS 2818547 HAS SOUS 1608617 HAS SOUPS 1608617 WITH SCORE 1611435.547
AT ITER 745 NEW BEST:: SOT 12048696 SOS 2817534 HAS SOPS 2817534 HAS SOUS 1607604 HAS SOUPS 1607604 WITH SCORE 1610421.534
AT ITER 748 NEW BEST:: SOT 12048651 SOS 2818784 HAS SOPS 2818784 HAS SOUS 1607413 HAS SOUPS 1607413 WITH SCORE 1610231.784
AT ITER 752 NEW BEST:: SOT 12048628 SOS 2818768 HAS SOPS 2818768 HAS SOUS 1607390 HAS SOUPS 1607390 WITH SCORE 1610208.768
AT ITER 760 NEW BEST:: SOT 12048234 SOS 2819152 HAS SOPS 2819152 HAS SOUS 1607068 HAS SOUPS 1607068 WITH SCORE 1609887.152
AT ITER 764 NEW BEST:: SOT 12047828 SOS 2819285 HAS SOPS 2819285 HAS SOUS 1606977 HAS SOUPS 1606977 WITH SCORE 1609796.285
AT ITER 774 NEW BEST:: SOT 12047980 SOS 2818887 HAS SOPS 2818887 HAS SOUS 1606579 HAS SOUPS 1606579 WITH SCORE 1609397.887
AT ITER 786 NEW BEST:: SOT 12047348 SOS 2818251 HAS SOPS 2818251 HAS SOUS 1605946 HAS SOUPS 1605946 WITH SCORE 1608764.251
AT ITER 789 NEW BEST:: SOT 12047347 SOS 2819546 HAS SOPS 2819546 HAS SOUS 1605943 HAS SOUPS 1605943 WITH SCORE 1608762.546
AT ITER 790 NEW BEST:: SOT 12046922 SOS 2819543 HAS SOPS 2819543 HAS SOUS 1605092 HAS SOUPS 1605092 WITH SCORE 1607911.543
AT ITER 803 NEW BEST:: SOT 12046922 SOS 2818349 HAS SOPS 2818349 HAS SOUS 1604694 HAS SOUPS 1604694 WITH SCORE 1607512.349
AT ITER 882 NEW BEST:: SOT 12046296 SOS 2817852 HAS SOPS 2817852 HAS SOUS 1604206 HAS SOUPS 1604206 WITH SCORE 1607023.852
AT ITER 889 NEW BEST:: SOT 12046296 SOS 2817615 HAS SOPS 2817615 HAS SOUS 1603969 HAS SOUPS 1603969 WITH SCORE 1606786.615
AT ITER 948 NEW BEST:: SOT 12046129 SOS 2817281 HAS SOPS 2817281 HAS SOUS 1603635 HAS SOUPS 1603635 WITH SCORE 1606452.281
AT ITER 967 NEW BEST:: SOT 12046129 SOS 2816679 HAS SOPS 2816679 HAS SOUS 1603334 HAS SOUPS 1603334 WITH SCORE 1606150.679
AT ITER 987 NEW BEST:: SOT 12045694 SOS 2816731 HAS SOPS 2816731 HAS SOUS 1603158 HAS SOUPS 1603158 WITH SCORE 1605974.731
AT ITER 1007 NEW BEST:: SOT 12045665 SOS 2816644 HAS SOPS 2816644 HAS SOUS 1603129 HAS SOUPS 1603129 WITH SCORE 1605945.644
AT ITER 1012 NEW BEST:: SOT 12045508 SOS 2816330 HAS SOPS 2816330 HAS SOUS 1602815 HAS SOUPS 1602815 WITH SCORE 1605631.33
AT ITER 1013 NEW BEST:: SOT 12045416 SOS 2816146 HAS SOPS 2816146 HAS SOUS 1602722 HAS SOUPS 1602722 WITH SCORE 1605538.146
AT ITER 1020 NEW BEST:: SOT 12044728 SOS 2816188 HAS SOPS 2816188 HAS SOUS 1601727 HAS SOUPS 1601727 WITH SCORE 1604543.188
AT ITER 1026 NEW BEST:: SOT 12044723 SOS 2816178 HAS SOPS 2816178 HAS SOUS 1601717 HAS SOUPS 1601717 WITH SCORE 1604533.178
AT ITER 1046 NEW BEST:: SOT 12044681 SOS 2816136 HAS SOPS 2816136 HAS SOUS 1601675 HAS SOUPS 1601675 WITH SCORE 1604491.136
AT ITER 1078 NEW BEST:: SOT 12043727 SOS 2815172 HAS SOPS 2815172 HAS SOUS 1601197 HAS SOUPS 1601197 WITH SCORE 1604012.172
AT ITER 1116 NEW BEST:: SOT 12043434 SOS 2815168 HAS SOPS 2815168 HAS SOUS 1600903 HAS SOUPS 1600903 WITH SCORE 1603718.168
AT ITER 1176 NEW BEST:: SOT 12043265 SOS 2816173 HAS SOPS 2816173 HAS SOUS 1600371 HAS SOUPS 1600371 WITH SCORE 1603187.173
AT ITER 1177 NEW BEST:: SOT 12042545 SOS 2815619 HAS SOPS 2815619 HAS SOUS 1599816 HAS SOUPS 1599816 WITH SCORE 1602631.619
AT ITER 1201 NEW BEST:: SOT 12042545 SOS 2815519 HAS SOPS 2815519 HAS SOUS 1599766 HAS SOUPS 1599766 WITH SCORE 1602581.519
AT ITER 1217 NEW BEST:: SOT 12041973 SOS 2814977 HAS SOPS 2814977 HAS SOUS 1599224 HAS SOUPS 1599224 WITH SCORE 1602038.977
AT ITER 1218 NEW BEST:: SOT 12041857 SOS 2814745 HAS SOPS 2814745 HAS SOUS 1598992 HAS SOUPS 1598992 WITH SCORE 1601806.745
AT ITER 1223 NEW BEST:: SOT 12041703 SOS 2814668 HAS SOPS 2814668 HAS SOUS 1598915 HAS SOUPS 1598915 WITH SCORE 1601729.668
AT ITER 1242 NEW BEST:: SOT 12041618 SOS 2814764 HAS SOPS 2814764 HAS SOUS 1598878 HAS SOUPS 1598878 WITH SCORE 1601692.764
AT ITER 1255 NEW BEST:: SOT 12041183 SOS 2814326 HAS SOPS 2814326 HAS SOUS 1598442 HAS SOUPS 1598442 WITH SCORE 1601256.326
AT ITER 1280 NEW BEST:: SOT 12041367 SOS 2814062 HAS SOPS 2814062 HAS SOUS 1598178 HAS SOUPS 1598178 WITH SCORE 1600992.062
AT ITER 1285 NEW BEST:: SOT 12041036 SOS 2815180 HAS SOPS 2815180 HAS SOUS 1598019 HAS SOUPS 1598019 WITH SCORE 1600834.18
AT ITER 1305 NEW BEST:: SOT 12040613 SOS 2818141 HAS SOPS 2818141 HAS SOUS 1597596 HAS SOUPS 1597596 WITH SCORE 1600414.141
AT ITER 1334 NEW BEST:: SOT 12040613 SOS 2819337 HAS SOPS 2819337 HAS SOUS 1597594 HAS SOUPS 1597594 WITH SCORE 1600413.337
AT ITER 1339 NEW BEST:: SOT 12039472 SOS 2813263 HAS SOPS 2813263 HAS SOUS 1596681 HAS SOUPS 1596681 WITH SCORE 1599494.263
AT ITER 1353 NEW BEST:: SOT 12039095 SOS 2813005 HAS SOPS 2813005 HAS SOUS 1596423 HAS SOUPS 1596423 WITH SCORE 1599236.005
AT ITER 1392 NEW BEST:: SOT 12038825 SOS 2812735 HAS SOPS 2812735 HAS SOUS 1596153 HAS SOUPS 1596153 WITH SCORE 1598965.735
AT ITER 1407 NEW BEST:: SOT 12038376 SOS 2812725 HAS SOPS 2812725 HAS SOUS 1596152 HAS SOUPS 1596152 WITH SCORE 1598964.725
AT ITER 1409 NEW BEST:: SOT 12038135 SOS 2810793 HAS SOPS 2810793 HAS SOUS 1595669 HAS SOUPS 1595669 WITH SCORE 1598479.793
AT ITER 1410 NEW BEST:: SOT 12038086 SOS 2810695 HAS SOPS 2810695 HAS SOUS 1595183 HAS SOUPS 1595183 WITH SCORE 1597993.695
AT ITER 1412 NEW BEST:: SOT 12038091 SOS 2810399 HAS SOPS 2810399 HAS SOUS 1595038 HAS SOUPS 1595038 WITH SCORE 1597848.399
AT ITER 1413 NEW BEST:: SOT 12037569 SOS 2809877 HAS SOPS 2809877 HAS SOUS 1594516 HAS SOUPS 1594516 WITH SCORE 1597325.877
AT ITER 1420 NEW BEST:: SOT 12037295 SOS 2809758 HAS SOPS 2809758 HAS SOUS 1594385 HAS SOUPS 1594385 WITH SCORE 1597194.758
AT ITER 1425 NEW BEST:: SOT 12036834 SOS 2808836 HAS SOPS 2808836 HAS SOUS 1593924 HAS SOUPS 1593924 WITH SCORE 1596732.836
AT ITER 1433 NEW BEST:: SOT 12037149 SOS 2807783 HAS SOPS 2807783 HAS SOUS 1593678 HAS SOUPS 1593678 WITH SCORE 1596485.783
AT ITER 1446 NEW BEST:: SOT 12036827 SOS 2807461 HAS SOPS 2807461 HAS SOUS 1593356 HAS SOUPS 1593356 WITH SCORE 1596163.461
AT ITER 1454 NEW BEST:: SOT 12035962 SOS 2810136 HAS SOPS 2810136 HAS SOUS 1592980 HAS SOUPS 1592980 WITH SCORE 1595790.136
AT ITER 1457 NEW BEST:: SOT 12035961 SOS 2810134 HAS SOPS 2810134 HAS SOUS 1592978 HAS SOUPS 1592978 WITH SCORE 1595788.134
AT ITER 1500 NEW BEST:: SOT 12035943 SOS 2810131 HAS SOPS 2810131 HAS SOUS 1592977 HAS SOUPS 1592977 WITH SCORE 1595787.131
AT ITER 1513 NEW BEST:: SOT 12035230 SOS 2809408 HAS SOPS 2809408 HAS SOUS 1592263 HAS SOUPS 1592263 WITH SCORE 1595072.408
AT ITER 1524 NEW BEST:: SOT 12035230 SOS 2809122 HAS SOPS 2809122 HAS SOUS 1592263 HAS SOUPS 1592263 WITH SCORE 1595072.122
AT ITER 1527 NEW BEST:: SOT 12035107 SOS 2809052 HAS SOPS 2809052 HAS SOUS 1592167 HAS SOUPS 1592167 WITH SCORE 1594976.052
AT ITER 1529 NEW BEST:: SOT 12034705 SOS 2808650 HAS SOPS 2808650 HAS SOUS 1591765 HAS SOUPS 1591765 WITH SCORE 1594573.65
AT ITER 1578 NEW BEST:: SOT 12033901 SOS 2805961 HAS SOPS 2805961 HAS SOUS 1590018 HAS SOUPS 1590018 WITH SCORE 1592823.961
AT ITER 1639 NEW BEST:: SOT 12033857 SOS 2805917 HAS SOPS 2805917 HAS SOUS 1590018 HAS SOUPS 1590018 WITH SCORE 1592823.917
AT ITER 1650 NEW BEST:: SOT 12033524 SOS 2805584 HAS SOPS 2805584 HAS SOUS 1589685 HAS SOUPS 1589685 WITH SCORE 1592490.584
AT ITER 1655 NEW BEST:: SOT 12032990 SOS 2805049 HAS SOPS 2805049 HAS SOUS 1589150 HAS SOUPS 1589150 WITH SCORE 1591955.049
AT ITER 1685 NEW BEST:: SOT 12032990 SOS 2806082 HAS SOPS 2806082 HAS SOUS 1588631 HAS SOUPS 1588631 WITH SCORE 1591437.082
AT ITER 1689 NEW BEST:: SOT 12032931 SOS 2806485 HAS SOPS 2806485 HAS SOUS 1588512 HAS SOUPS 1588512 WITH SCORE 1591318.485
AT ITER 1692 NEW BEST:: SOT 12032670 SOS 2805962 HAS SOPS 2805962 HAS SOUS 1587989 HAS SOUPS 1587989 WITH SCORE 1590794.962
AT ITER 1697 NEW BEST:: SOT 12032670 SOS 2805962 HAS SOPS 2805962 HAS SOUS 1587985 HAS SOUPS 1587985 WITH SCORE 1590790.962
AT ITER 1708 NEW BEST:: SOT 12032195 SOS 2805952 HAS SOPS 2805952 HAS SOUS 1587643 HAS SOUPS 1587643 WITH SCORE 1590448.952
AT ITER 1756 NEW BEST:: SOT 12032041 SOS 2807020 HAS SOPS 2807020 HAS SOUS 1587334 HAS SOUPS 1587334 WITH SCORE 1590141.02
AT ITER 1768 NEW BEST:: SOT 12031959 SOS 2806856 HAS SOPS 2806856 HAS SOUS 1587145 HAS SOUPS 1587145 WITH SCORE 1589951.856
AT ITER 1781 NEW BEST:: SOT 12032329 SOS 2805818 HAS SOPS 2805818 HAS SOUS 1587106 HAS SOUPS 1587106 WITH SCORE 1589911.818
AT ITER 1795 NEW BEST:: SOT 12032002 SOS 2805415 HAS SOPS 2805415 HAS SOUS 1586703 HAS SOUPS 1586703 WITH SCORE 1589508.415
AT ITER 1800 NEW BEST:: SOT 12031615 SOS 2805347 HAS SOPS 2805347 HAS SOUS 1586316 HAS SOUPS 1586316 WITH SCORE 1589121.347
AT ITER 1804 NEW BEST:: SOT 12031540 SOS 2805197 HAS SOPS 2805197 HAS SOUS 1586166 HAS SOUPS 1586166 WITH SCORE 1588971.197
AT ITER 1846 NEW BEST:: SOT 12030940 SOS 2804597 HAS SOPS 2804597 HAS SOUS 1585566 HAS SOUPS 1585566 WITH SCORE 1588370.597
AT ITER 1874 NEW BEST:: SOT 12029495 SOS 2812263 HAS SOPS 2812263 HAS SOUS 1585105 HAS SOUPS 1585105 WITH SCORE 1587917.263
AT ITER 1878 NEW BEST:: SOT 12027876 SOS 2810830 HAS SOPS 2810830 HAS SOUS 1583674 HAS SOUPS 1583674 WITH SCORE 1586484.83
AT ITER 1909 NEW BEST:: SOT 12027583 SOS 2810941 HAS SOPS 2810941 HAS SOUS 1583492 HAS SOUPS 1583492 WITH SCORE 1586302.941
AT ITER 1938 NEW BEST:: SOT 12027092 SOS 2806844 HAS SOPS 2806844 HAS SOUS 1583001 HAS SOUPS 1583001 WITH SCORE 1585807.844
AT ITER 2040 NEW BEST:: SOT 12026229 SOS 2805971 HAS SOPS 2805971 HAS SOUS 1582137 HAS SOUPS 1582137 WITH SCORE 1584942.971
AT ITER 2056 NEW BEST:: SOT 12025984 SOS 2805967 HAS SOPS 2805967 HAS SOUS 1581972 HAS SOUPS 1581972 WITH SCORE 1584777.967
AT ITER 2092 NEW BEST:: SOT 12026150 SOS 2808095 HAS SOPS 2808095 HAS SOUS 1581703 HAS SOUPS 1581703 WITH SCORE 1584511.095
AT ITER 2122 NEW BEST:: SOT 12025166 SOS 2807603 HAS SOPS 2807603 HAS SOUS 1581211 HAS SOUPS 1581211 WITH SCORE 1584018.603
AT ITER 2130 NEW BEST:: SOT 12025045 SOS 2807527 HAS SOPS 2807527 HAS SOUS 1581135 HAS SOUPS 1581135 WITH SCORE 1583942.527
AT ITER 2141 NEW BEST:: SOT 12025045 SOS 2807527 HAS SOPS 2807527 HAS SOUS 1581134 HAS SOUPS 1581134 WITH SCORE 1583941.527
AT ITER 2159 NEW BEST:: SOT 12024950 SOS 2807524 HAS SOPS 2807524 HAS SOUS 1581133 HAS SOUPS 1581133 WITH SCORE 1583940.524
AT ITER 2171 NEW BEST:: SOT 12024581 SOS 2807303 HAS SOPS 2807303 HAS SOUS 1580915 HAS SOUPS 1580915 WITH SCORE 1583722.303
AT ITER 2179 NEW BEST:: SOT 12024150 SOS 2807194 HAS SOPS 2807194 HAS SOUS 1580484 HAS SOUPS 1580484 WITH SCORE 1583291.194
AT ITER 2180 NEW BEST:: SOT 12024031 SOS 2807075 HAS SOPS 2807075 HAS SOUS 1580365 HAS SOUPS 1580365 WITH SCORE 1583172.075
AT ITER 2182 NEW BEST:: SOT 12024031 SOS 2805854 HAS SOPS 2805854 HAS SOUS 1580364 HAS SOUPS 1580364 WITH SCORE 1583169.854
AT ITER 2187 NEW BEST:: SOT 12023754 SOS 2805577 HAS SOPS 2805577 HAS SOUS 1580087 HAS SOUPS 1580087 WITH SCORE 1582892.577
AT ITER 2244 NEW BEST:: SOT 12023160 SOS 2804983 HAS SOPS 2804983 HAS SOUS 1579493 HAS SOUPS 1579493 WITH SCORE 1582297.983
AT ITER 2266 NEW BEST:: SOT 12023040 SOS 2804743 HAS SOPS 2804743 HAS SOUS 1579052 HAS SOUPS 1579052 WITH SCORE 1581856.743
AT ITER 2270 NEW BEST:: SOT 12023040 SOS 2804742 HAS SOPS 2804742 HAS SOUS 1579051 HAS SOUPS 1579051 WITH SCORE 1581855.742
AT ITER 2275 NEW BEST:: SOT 12022499 SOS 2805608 HAS SOPS 2805608 HAS SOUS 1578366 HAS SOUPS 1578366 WITH SCORE 1581171.608
AT ITER 2285 NEW BEST:: SOT 12022388 SOS 2805164 HAS SOPS 2805164 HAS SOUS 1578144 HAS SOUPS 1578144 WITH SCORE 1580949.164
AT ITER 2292 NEW BEST:: SOT 12022388 SOS 2806157 HAS SOPS 2806157 HAS SOUS 1578143 HAS SOUPS 1578143 WITH SCORE 1580949.157
AT ITER 2314 NEW BEST:: SOT 12021773 SOS 2804020 HAS SOPS 2804020 HAS SOUS 1577215 HAS SOUPS 1577215 WITH SCORE 1580019.02
AT ITER 2363 NEW BEST:: SOT 12021746 SOS 2803966 HAS SOPS 2803966 HAS SOUS 1577187 HAS SOUPS 1577187 WITH SCORE 1579990.966
AT ITER 2391 NEW BEST:: SOT 12021606 SOS 2803884 HAS SOPS 2803884 HAS SOUS 1577105 HAS SOUPS 1577105 WITH SCORE 1579908.884
AT ITER 2406 NEW BEST:: SOT 12021606 SOS 2803416 HAS SOPS 2803416 HAS SOUS 1577105 HAS SOUPS 1577105 WITH SCORE 1579908.416
AT ITER 2413 NEW BEST:: SOT 12021505 SOS 2803315 HAS SOPS 2803315 HAS SOUS 1577004 HAS SOUPS 1577004 WITH SCORE 1579807.315
AT ITER 2436 NEW BEST:: SOT 12021505 SOS 2802379 HAS SOPS 2802379 HAS SOUS 1577003 HAS SOUPS 1577003 WITH SCORE 1579805.379
AT ITER 2439 NEW BEST:: SOT 12021752 SOS 2802761 HAS SOPS 2802761 HAS SOUS 1576909 HAS SOUPS 1576909 WITH SCORE 1579711.761
AT ITER 2481 NEW BEST:: SOT 12021637 SOS 2802531 HAS SOPS 2802531 HAS SOUS 1576089 HAS SOUPS 1576089 WITH SCORE 1578891.531
AT ITER 2484 NEW BEST:: SOT 12021922 SOS 2801277 HAS SOPS 2801277 HAS SOUS 1575766 HAS SOUPS 1575766 WITH SCORE 1578567.277
AT ITER 2498 NEW BEST:: SOT 12021872 SOS 2801272 HAS SOPS 2801272 HAS SOUS 1575761 HAS SOUPS 1575761 WITH SCORE 1578562.272
AT ITER 2507 NEW BEST:: SOT 12021872 SOS 2801236 HAS SOPS 2801236 HAS SOUS 1575757 HAS SOUPS 1575757 WITH SCORE 1578558.236
AT ITER 2525 NEW BEST:: SOT 12021872 SOS 2801319 HAS SOPS 2801319 HAS SOUS 1575756 HAS SOUPS 1575756 WITH SCORE 1578557.319
AT ITER 2573 NEW BEST:: SOT 12021132 SOS 2793179 HAS SOPS 2793179 HAS SOUS 1574276 HAS SOUPS 1574276 WITH SCORE 1577069.179
AT ITER 2575 NEW BEST:: SOT 12021062 SOS 2793251 HAS SOPS 2793251 HAS SOUS 1574219 HAS SOUPS 1574219 WITH SCORE 1577012.251
AT ITER 2577 NEW BEST:: SOT 12021061 SOS 2793249 HAS SOPS 2793249 HAS SOUS 1574217 HAS SOUPS 1574217 WITH SCORE 1577010.249
AT ITER 2595 NEW BEST:: SOT 12019700 SOS 2791919 HAS SOPS 2791919 HAS SOUS 1572785 HAS SOUPS 1572785 WITH SCORE 1575576.919
AT ITER 2629 NEW BEST:: SOT 12017191 SOS 2789189 HAS SOPS 2789189 HAS SOUS 1572483 HAS SOUPS 1572483 WITH SCORE 1575272.189
AT ITER 2632 NEW BEST:: SOT 12017354 SOS 2788468 HAS SOPS 2788468 HAS SOUS 1572297 HAS SOUPS 1572297 WITH SCORE 1575085.468
AT ITER 2637 NEW BEST:: SOT 12017113 SOS 2787986 HAS SOPS 2787986 HAS SOUS 1571815 HAS SOUPS 1571815 WITH SCORE 1574602.986
AT ITER 2650 NEW BEST:: SOT 12016159 SOS 2786555 HAS SOPS 2786555 HAS SOUS 1570384 HAS SOUPS 1570384 WITH SCORE 1573170.555
AT ITER 2666 NEW BEST:: SOT 12015792 SOS 2786545 HAS SOPS 2786545 HAS SOUS 1570235 HAS SOUPS 1570235 WITH SCORE 1573021.545
AT ITER 2683 NEW BEST:: SOT 12015529 SOS 2786531 HAS SOPS 2786531 HAS SOUS 1570221 HAS SOUPS 1570221 WITH SCORE 1573007.531
AT ITER 2698 NEW BEST:: SOT 12015341 SOS 2786695 HAS SOPS 2786695 HAS SOUS 1570118 HAS SOUPS 1570118 WITH SCORE 1572904.695
AT ITER 2700 NEW BEST:: SOT 12015386 SOS 2786643 HAS SOPS 2786643 HAS SOUS 1570066 HAS SOUPS 1570066 WITH SCORE 1572852.643
AT ITER 2702 NEW BEST:: SOT 12015347 SOS 2786565 HAS SOPS 2786565 HAS SOUS 1569988 HAS SOUPS 1569988 WITH SCORE 1572774.565
AT ITER 2712 NEW BEST:: SOT 12014274 SOS 2786039 HAS SOPS 2786039 HAS SOUS 1569454 HAS SOUPS 1569454 WITH SCORE 1572240.039
AT ITER 2714 NEW BEST:: SOT 12014274 SOS 2785070 HAS SOPS 2785070 HAS SOUS 1569131 HAS SOUPS 1569131 WITH SCORE 1571916.07
AT ITER 2720 NEW BEST:: SOT 12014174 SOS 2784870 HAS SOPS 2784870 HAS SOUS 1568931 HAS SOUPS 1568931 WITH SCORE 1571715.87
AT ITER 2723 NEW BEST:: SOT 12014141 SOS 2784700 HAS SOPS 2784700 HAS SOUS 1568865 HAS SOUPS 1568865 WITH SCORE 1571649.7
AT ITER 2736 NEW BEST:: SOT 12013979 SOS 2784690 HAS SOPS 2784690 HAS SOUS 1568702 HAS SOUPS 1568702 WITH SCORE 1571486.69
AT ITER 2741 NEW BEST:: SOT 12013969 SOS 2784670 HAS SOPS 2784670 HAS SOUS 1568646 HAS SOUPS 1568646 WITH SCORE 1571430.67
AT ITER 2759 NEW BEST:: SOT 12013447 SOS 2784168 HAS SOPS 2784168 HAS SOUS 1568144 HAS SOUPS 1568144 WITH SCORE 1570928.168
AT ITER 2760 NEW BEST:: SOT 12012585 SOS 2783326 HAS SOPS 2783326 HAS SOUS 1567282 HAS SOUPS 1567282 WITH SCORE 1570065.326
AT ITER 2774 NEW BEST:: SOT 12012585 SOS 2784312 HAS SOPS 2784312 HAS SOUS 1567281 HAS SOUPS 1567281 WITH SCORE 1570065.312
AT ITER 2777 NEW BEST:: SOT 12012842 SOS 2783588 HAS SOPS 2783588 HAS SOUS 1567089 HAS SOUPS 1567089 WITH SCORE 1569872.588
AT ITER 2811 NEW BEST:: SOT 12012755 SOS 2783501 HAS SOPS 2783501 HAS SOUS 1567002 HAS SOUPS 1567002 WITH SCORE 1569785.501
AT ITER 2838 NEW BEST:: SOT 12012631 SOS 2783377 HAS SOPS 2783377 HAS SOUS 1566878 HAS SOUPS 1566878 WITH SCORE 1569661.377
AT ITER 2853 NEW BEST:: SOT 12012351 SOS 2776558 HAS SOPS 2776558 HAS SOUS 1566598 HAS SOUPS 1566598 WITH SCORE 1569374.558
AT ITER 2891 NEW BEST:: SOT 12010504 SOS 2775440 HAS SOPS 2775440 HAS SOUS 1566573 HAS SOUPS 1566573 WITH SCORE 1569348.44
AT ITER 2961 NEW BEST:: SOT 12010504 SOS 2775377 HAS SOPS 2775377 HAS SOUS 1566552 HAS SOUPS 1566552 WITH SCORE 1569327.377
AT ITER 2964 NEW BEST:: SOT 12010504 SOS 2776174 HAS SOPS 2776174 HAS SOUS 1566550 HAS SOUPS 1566550 WITH SCORE 1569326.174
AT ITER 2965 NEW BEST:: SOT 12010504 SOS 2776174 HAS SOPS 2776174 HAS SOUS 1566549 HAS SOUPS 1566549 WITH SCORE 1569325.174
AT ITER 3000 NEW BEST:: SOT 12010367 SOS 2775900 HAS SOPS 2775900 HAS SOUS 1566275 HAS SOUPS 1566275 WITH SCORE 1569050.9
AT ITER 3011 NEW BEST:: SOT 12010363 SOS 2775892 HAS SOPS 2775892 HAS SOUS 1566267 HAS SOUPS 1566267 WITH SCORE 1569042.892
AT ITER 3035 NEW BEST:: SOT 12010363 SOS 2775163 HAS SOPS 2775163 HAS SOUS 1566024 HAS SOUPS 1566024 WITH SCORE 1568799.163
AT ITER 3047 NEW BEST:: SOT 12010277 SOS 2775163 HAS SOPS 2775163 HAS SOUS 1565852 HAS SOUPS 1565852 WITH SCORE 1568627.163
AT ITER 3061 NEW BEST:: SOT 12010200 SOS 2775571 HAS SOPS 2775571 HAS SOUS 1565774 HAS SOUPS 1565774 WITH SCORE 1568549.571
AT ITER 3071 NEW BEST:: SOT 12010036 SOS 2775243 HAS SOPS 2775243 HAS SOUS 1565368 HAS SOUPS 1565368 WITH SCORE 1568143.243
AT ITER 3074 NEW BEST:: SOT 12009870 SOS 2775111 HAS SOPS 2775111 HAS SOUS 1565236 HAS SOUPS 1565236 WITH SCORE 1568011.111
AT ITER 3088 NEW BEST:: SOT 12009869 SOS 2777907 HAS SOPS 2777907 HAS SOUS 1565233 HAS SOUPS 1565233 WITH SCORE 1568010.907
AT ITER 3113 NEW BEST:: SOT 12009625 SOS 2777419 HAS SOPS 2777419 HAS SOUS 1564745 HAS SOUPS 1564745 WITH SCORE 1567522.419
AT ITER 3133 NEW BEST:: SOT 12008733 SOS 2776527 HAS SOPS 2776527 HAS SOUS 1563853 HAS SOUPS 1563853 WITH SCORE 1566629.527
AT ITER 3141 NEW BEST:: SOT 12008684 SOS 2776429 HAS SOPS 2776429 HAS SOUS 1563773 HAS SOUPS 1563773 WITH SCORE 1566549.429
AT ITER 3166 NEW BEST:: SOT 12007753 SOS 2775152 HAS SOPS 2775152 HAS SOUS 1562420 HAS SOUPS 1562420 WITH SCORE 1565195.152
AT ITER 3168 NEW BEST:: SOT 12008454 SOS 2775150 HAS SOPS 2775150 HAS SOUS 1562418 HAS SOUPS 1562418 WITH SCORE 1565193.15
AT ITER 3200 NEW BEST:: SOT 12008450 SOS 2775142 HAS SOPS 2775142 HAS SOUS 1562397 HAS SOUPS 1562397 WITH SCORE 1565172.142
AT ITER 3201 NEW BEST:: SOT 12008174 SOS 2774866 HAS SOPS 2774866 HAS SOUS 1562121 HAS SOUPS 1562121 WITH SCORE 1564895.866
AT ITER 3211 NEW BEST:: SOT 12008385 SOS 2773623 HAS SOPS 2773623 HAS SOUS 1562024 HAS SOUPS 1562024 WITH SCORE 1564797.623
AT ITER 3239 NEW BEST:: SOT 12008208 SOS 2773269 HAS SOPS 2773269 HAS SOUS 1561670 HAS SOUPS 1561670 WITH SCORE 1564443.269
AT ITER 3274 NEW BEST:: SOT 12007394 SOS 2768385 HAS SOPS 2768385 HAS SOUS 1560449 HAS SOUPS 1560449 WITH SCORE 1563217.385
AT ITER 3289 NEW BEST:: SOT 12007026 SOS 2763969 HAS SOPS 2763969 HAS SOUS 1559541 HAS SOUPS 1559541 WITH SCORE 1562304.969
AT ITER 3309 NEW BEST:: SOT 12006491 SOS 2764538 HAS SOPS 2764538 HAS SOUS 1558470 HAS SOUPS 1558470 WITH SCORE 1561234.538
AT ITER 3323 NEW BEST:: SOT 12006372 SOS 2764987 HAS SOPS 2764987 HAS SOUS 1558350 HAS SOUPS 1558350 WITH SCORE 1561114.987
AT ITER 3324 NEW BEST:: SOT 12006030 SOS 2764641 HAS SOPS 2764641 HAS SOUS 1558007 HAS SOUPS 1558007 WITH SCORE 1560771.641
AT ITER 3334 NEW BEST:: SOT 12005942 SOS 2764665 HAS SOPS 2764665 HAS SOUS 1557955 HAS SOUPS 1557955 WITH SCORE 1560719.665
AT ITER 3340 NEW BEST:: SOT 12005346 SOS 2763473 HAS SOPS 2763473 HAS SOUS 1556750 HAS SOUPS 1556750 WITH SCORE 1559513.473
AT ITER 3354 NEW BEST:: SOT 12005571 SOS 2763108 HAS SOPS 2763108 HAS SOUS 1556160 HAS SOUPS 1556160 WITH SCORE 1558923.108
AT ITER 3359 NEW BEST:: SOT 12003904 SOS 2761440 HAS SOPS 2761440 HAS SOUS 1554492 HAS SOUPS 1554492 WITH SCORE 1557253.44
AT ITER 3373 NEW BEST:: SOT 12003858 SOS 2761349 HAS SOPS 2761349 HAS SOUS 1554401 HAS SOUPS 1554401 WITH SCORE 1557162.349
AT ITER 3390 NEW BEST:: SOT 12003879 SOS 2761391 HAS SOPS 2761391 HAS SOUS 1554343 HAS SOUPS 1554343 WITH SCORE 1557104.391
AT ITER 3396 NEW BEST:: SOT 12003743 SOS 2760609 HAS SOPS 2760609 HAS SOUS 1554206 HAS SOUPS 1554206 WITH SCORE 1556966.609
AT ITER 3404 NEW BEST:: SOT 12003626 SOS 2759673 HAS SOPS 2759673 HAS SOUS 1553987 HAS SOUPS 1553987 WITH SCORE 1556746.673
AT ITER 3408 NEW BEST:: SOT 12003626 SOS 2759589 HAS SOPS 2759589 HAS SOUS 1553903 HAS SOUPS 1553903 WITH SCORE 1556662.589
AT ITER 3424 NEW BEST:: SOT 12003869 SOS 2758728 HAS SOPS 2758728 HAS SOUS 1553818 HAS SOUPS 1553818 WITH SCORE 1556576.728
AT ITER 3431 NEW BEST:: SOT 12003710 SOS 2758410 HAS SOPS 2758410 HAS SOUS 1552795 HAS SOUPS 1552795 WITH SCORE 1555553.41
AT ITER 3438 NEW BEST:: SOT 12003685 SOS 2758360 HAS SOPS 2758360 HAS SOUS 1552745 HAS SOUPS 1552745 WITH SCORE 1555503.36
AT ITER 3444 NEW BEST:: SOT 12003664 SOS 2758318 HAS SOPS 2758318 HAS SOUS 1552724 HAS SOUPS 1552724 WITH SCORE 1555482.318
AT ITER 3450 NEW BEST:: SOT 12002100 SOS 2760663 HAS SOPS 2760663 HAS SOUS 1552649 HAS SOUPS 1552649 WITH SCORE 1555409.663
AT ITER 3456 NEW BEST:: SOT 12002099 SOS 2760661 HAS SOPS 2760661 HAS SOUS 1552647 HAS SOUPS 1552647 WITH SCORE 1555407.661
AT ITER 3459 NEW BEST:: SOT 12002267 SOS 2759360 HAS SOPS 2759360 HAS SOUS 1552632 HAS SOUPS 1552632 WITH SCORE 1555391.36
AT ITER 3471 NEW BEST:: SOT 12001294 SOS 2759493 HAS SOPS 2759493 HAS SOUS 1551659 HAS SOUPS 1551659 WITH SCORE 1554418.493
AT ITER 3484 NEW BEST:: SOT 12000856 SOS 2759055 HAS SOPS 2759055 HAS SOUS 1551221 HAS SOUPS 1551221 WITH SCORE 1553980.055
AT ITER 3491 NEW BEST:: SOT 12000863 SOS 2758996 HAS SOPS 2758996 HAS SOUS 1551162 HAS SOUPS 1551162 WITH SCORE 1553920.996
AT ITER 3495 NEW BEST:: SOT 12000822 SOS 2760430 HAS SOPS 2760430 HAS SOUS 1550817 HAS SOUPS 1550817 WITH SCORE 1553577.43
AT ITER 3509 NEW BEST:: SOT 12000395 SOS 2758405 HAS SOPS 2758405 HAS SOUS 1550314 HAS SOUPS 1550314 WITH SCORE 1553072.405
AT ITER 3532 NEW BEST:: SOT 12000248 SOS 2758111 HAS SOPS 2758111 HAS SOUS 1550020 HAS SOUPS 1550020 WITH SCORE 1552778.111
AT ITER 3567 NEW BEST:: SOT 11999342 SOS 2757706 HAS SOPS 2757706 HAS SOUS 1549583 HAS SOUPS 1549583 WITH SCORE 1552340.706
AT ITER 3577 NEW BEST:: SOT 11999342 SOS 2757706 HAS SOPS 2757706 HAS SOUS 1549117 HAS SOUPS 1549117 WITH SCORE 1551874.706
AT ITER 3616 NEW BEST:: SOT 11998900 SOS 2756159 HAS SOPS 2756159 HAS SOUS 1548454 HAS SOUPS 1548454 WITH SCORE 1551210.159
AT ITER 3617 NEW BEST:: SOT 11998796 SOS 2755951 HAS SOPS 2755951 HAS SOUS 1548350 HAS SOUPS 1548350 WITH SCORE 1551105.951
AT ITER 3624 NEW BEST:: SOT 11998671 SOS 2755701 HAS SOPS 2755701 HAS SOUS 1547950 HAS SOUPS 1547950 WITH SCORE 1550705.701
AT ITER 3630 NEW BEST:: SOT 11998061 SOS 2755091 HAS SOPS 2755091 HAS SOUS 1547340 HAS SOUPS 1547340 WITH SCORE 1550095.091
AT ITER 3659 NEW BEST:: SOT 11998061 SOS 2755091 HAS SOPS 2755091 HAS SOUS 1546686 HAS SOUPS 1546686 WITH SCORE 1549441.091
AT ITER 3681 NEW BEST:: SOT 11997115 SOS 2755248 HAS SOPS 2755248 HAS SOUS 1546423 HAS SOUPS 1546423 WITH SCORE 1549178.248
AT ITER 3693 NEW BEST:: SOT 11997115 SOS 2753260 HAS SOPS 2753260 HAS SOUS 1545926 HAS SOUPS 1545926 WITH SCORE 1548679.26
AT ITER 3694 NEW BEST:: SOT 11997115 SOS 2754099 HAS SOPS 2754099 HAS SOUS 1545925 HAS SOUPS 1545925 WITH SCORE 1548679.099
AT ITER 3716 NEW BEST:: SOT 11997113 SOS 2754095 HAS SOPS 2754095 HAS SOUS 1545401 HAS SOUPS 1545401 WITH SCORE 1548155.095
AT ITER 3772 NEW BEST:: SOT 11997055 SOS 2753863 HAS SOPS 2753863 HAS SOUS 1545285 HAS SOUPS 1545285 WITH SCORE 1548038.863
AT ITER 3773 NEW BEST:: SOT 11995836 SOS 2752803 HAS SOPS 2752803 HAS SOUS 1544066 HAS SOUPS 1544066 WITH SCORE 1546818.803
AT ITER 3803 NEW BEST:: SOT 11995836 SOS 2751759 HAS SOPS 2751759 HAS SOUS 1544065 HAS SOUPS 1544065 WITH SCORE 1546816.759
AT ITER 3814 NEW BEST:: SOT 11995767 SOS 2751621 HAS SOPS 2751621 HAS SOUS 1543927 HAS SOUPS 1543927 WITH SCORE 1546678.621
AT ITER 3856 NEW BEST:: SOT 11995767 SOS 2751108 HAS SOPS 2751108 HAS SOUS 1543414 HAS SOUPS 1543414 WITH SCORE 1546165.108
AT ITER 3871 NEW BEST:: SOT 11996082 SOS 2748770 HAS SOPS 2748770 HAS SOUS 1542996 HAS SOUPS 1542996 WITH SCORE 1545744.77
AT ITER 3898 NEW BEST:: SOT 11995944 SOS 2748494 HAS SOPS 2748494 HAS SOUS 1542720 HAS SOUPS 1542720 WITH SCORE 1545468.494
AT ITER 3902 NEW BEST:: SOT 11995944 SOS 2747996 HAS SOPS 2747996 HAS SOUS 1542720 HAS SOUPS 1542720 WITH SCORE 1545467.996
AT ITER 3904 NEW BEST:: SOT 11995901 SOS 2747910 HAS SOPS 2747910 HAS SOUS 1542677 HAS SOUPS 1542677 WITH SCORE 1545424.91
AT ITER 3935 NEW BEST:: SOT 11995852 SOS 2747812 HAS SOPS 2747812 HAS SOUS 1542579 HAS SOUPS 1542579 WITH SCORE 1545326.812
AT ITER 3938 NEW BEST:: SOT 11995656 SOS 2747693 HAS SOPS 2747693 HAS SOUS 1542382 HAS SOUPS 1542382 WITH SCORE 1545129.693
AT ITER 3940 NEW BEST:: SOT 11995656 SOS 2747683 HAS SOPS 2747683 HAS SOUS 1542381 HAS SOUPS 1542381 WITH SCORE 1545128.683
AT ITER 3958 NEW BEST:: SOT 11995656 SOS 2747619 HAS SOPS 2747619 HAS SOUS 1542317 HAS SOUPS 1542317 WITH SCORE 1545064.619
AT ITER 3960 NEW BEST:: SOT 11995469 SOS 2747245 HAS SOPS 2747245 HAS SOUS 1541835 HAS SOUPS 1541835 WITH SCORE 1544582.245
AT ITER 4014 NEW BEST:: SOT 11994435 SOS 2745177 HAS SOPS 2745177 HAS SOUS 1539767 HAS SOUPS 1539767 WITH SCORE 1542512.177
AT ITER 4023 NEW BEST:: SOT 11994245 SOS 2744901 HAS SOPS 2744901 HAS SOUS 1539316 HAS SOUPS 1539316 WITH SCORE 1542060.901
AT ITER 4054 NEW BEST:: SOT 11994092 SOS 2744596 HAS SOPS 2744596 HAS SOUS 1539011 HAS SOUPS 1539011 WITH SCORE 1541755.596
AT ITER 4063 NEW BEST:: SOT 11993924 SOS 2744260 HAS SOPS 2744260 HAS SOUS 1538702 HAS SOUPS 1538702 WITH SCORE 1541446.26
AT ITER 4099 NEW BEST:: SOT 11993321 SOS 2743702 HAS SOPS 2743702 HAS SOUS 1538144 HAS SOUPS 1538144 WITH SCORE 1540887.702
AT ITER 4131 NEW BEST:: SOT 11992854 SOS 2743422 HAS SOPS 2743422 HAS SOUS 1537867 HAS SOUPS 1537867 WITH SCORE 1540610.422
AT ITER 4177 NEW BEST:: SOT 11992455 SOS 2743388 HAS SOPS 2743388 HAS SOUS 1537723 HAS SOUPS 1537723 WITH SCORE 1540466.388
AT ITER 4183 NEW BEST:: SOT 11992011 SOS 2742056 HAS SOPS 2742056 HAS SOUS 1536391 HAS SOUPS 1536391 WITH SCORE 1539133.056
AT ITER 4199 NEW BEST:: SOT 11992001 SOS 2742036 HAS SOPS 2742036 HAS SOUS 1536371 HAS SOUPS 1536371 WITH SCORE 1539113.036
AT ITER 4214 NEW BEST:: SOT 11992002 SOS 2742038 HAS SOPS 2742038 HAS SOUS 1536211 HAS SOUPS 1536211 WITH SCORE 1538953.038
AT ITER 4217 NEW BEST:: SOT 11991920 SOS 2741833 HAS SOPS 2741833 HAS SOUS 1536088 HAS SOUPS 1536088 WITH SCORE 1538829.833
AT ITER 4228 NEW BEST:: SOT 11991864 SOS 2741665 HAS SOPS 2741665 HAS SOUS 1535976 HAS SOUPS 1535976 WITH SCORE 1538717.665
AT ITER 4236 NEW BEST:: SOT 11991668 SOS 2741273 HAS SOPS 2741273 HAS SOUS 1535584 HAS SOUPS 1535584 WITH SCORE 1538325.273
AT ITER 4245 NEW BEST:: SOT 11991730 SOS 2741877 HAS SOPS 2741877 HAS SOUS 1535231 HAS SOUPS 1535231 WITH SCORE 1537972.877
AT ITER 4252 NEW BEST:: SOT 11991145 SOS 2745062 HAS SOPS 2745062 HAS SOUS 1535020 HAS SOUPS 1535020 WITH SCORE 1537765.062
AT ITER 4253 NEW BEST:: SOT 11991008 SOS 2744925 HAS SOPS 2744925 HAS SOUS 1534883 HAS SOUPS 1534883 WITH SCORE 1537627.925
AT ITER 4310 NEW BEST:: SOT 11990680 SOS 2744812 HAS SOPS 2744812 HAS SOUS 1534555 HAS SOUPS 1534555 WITH SCORE 1537299.812
AT ITER 4322 NEW BEST:: SOT 11990570 SOS 2744968 HAS SOPS 2744968 HAS SOUS 1534429 HAS SOUPS 1534429 WITH SCORE 1537173.968
AT ITER 4329 NEW BEST:: SOT 11990338 SOS 2744819 HAS SOPS 2744819 HAS SOUS 1534282 HAS SOUPS 1534282 WITH SCORE 1537026.819
AT ITER 4345 NEW BEST:: SOT 11989717 SOS 2744194 HAS SOPS 2744194 HAS SOUS 1533660 HAS SOUPS 1533660 WITH SCORE 1536404.194
AT ITER 4366 NEW BEST:: SOT 11989719 SOS 2743786 HAS SOPS 2743786 HAS SOUS 1533382 HAS SOUPS 1533382 WITH SCORE 1536125.786
AT ITER 4368 NEW BEST:: SOT 11989719 SOS 2744139 HAS SOPS 2744139 HAS SOUS 1533380 HAS SOUPS 1533380 WITH SCORE 1536124.139
AT ITER 4388 NEW BEST:: SOT 11989719 SOS 2744135 HAS SOPS 2744135 HAS SOUS 1533272 HAS SOUPS 1533272 WITH SCORE 1536016.135
AT ITER 4409 NEW BEST:: SOT 11989681 SOS 2744058 HAS SOPS 2744058 HAS SOUS 1533195 HAS SOUPS 1533195 WITH SCORE 1535939.058
AT ITER 4420 NEW BEST:: SOT 11989660 SOS 2744195 HAS SOPS 2744195 HAS SOUS 1533152 HAS SOUPS 1533152 WITH SCORE 1535896.195
AT ITER 4421 NEW BEST:: SOT 11989902 SOS 2743200 HAS SOPS 2743200 HAS SOUS 1532901 HAS SOUPS 1532901 WITH SCORE 1535644.2
AT ITER 4444 NEW BEST:: SOT 11989902 SOS 2742952 HAS SOPS 2742952 HAS SOUS 1532901 HAS SOUPS 1532901 WITH SCORE 1535643.952
AT ITER 4483 NEW BEST:: SOT 11989724 SOS 2743286 HAS SOPS 2743286 HAS SOUS 1532288 HAS SOUPS 1532288 WITH SCORE 1535031.286
AT ITER 4488 NEW BEST:: SOT 11989724 SOS 2743285 HAS SOPS 2743285 HAS SOUS 1532287 HAS SOUPS 1532287 WITH SCORE 1535030.285
AT ITER 4499 NEW BEST:: SOT 11989575 SOS 2743135 HAS SOPS 2743135 HAS SOUS 1532256 HAS SOUPS 1532256 WITH SCORE 1534999.135
AT ITER 4501 NEW BEST:: SOT 11989575 SOS 2743129 HAS SOPS 2743129 HAS SOUS 1532254 HAS SOUPS 1532254 WITH SCORE 1534997.129
AT ITER 4515 NEW BEST:: SOT 11989443 SOS 2742073 HAS SOPS 2742073 HAS SOUS 1532122 HAS SOUPS 1532122 WITH SCORE 1534864.073
AT ITER 4537 NEW BEST:: SOT 11989443 SOS 2741044 HAS SOPS 2741044 HAS SOUS 1531779 HAS SOUPS 1531779 WITH SCORE 1534520.044
AT ITER 4559 NEW BEST:: SOT 11989262 SOS 2740682 HAS SOPS 2740682 HAS SOUS 1531507 HAS SOUPS 1531507 WITH SCORE 1534247.682
AT ITER 4584 NEW BEST:: SOT 11989034 SOS 2740226 HAS SOPS 2740226 HAS SOUS 1531051 HAS SOUPS 1531051 WITH SCORE 1533791.226
AT ITER 4596 NEW BEST:: SOT 11989299 SOS 2744932 HAS SOPS 2744932 HAS SOUS 1530132 HAS SOUPS 1530132 WITH SCORE 1532876.932
AT ITER 4605 NEW BEST:: SOT 11989050 SOS 2744434 HAS SOPS 2744434 HAS SOUS 1529634 HAS SOUPS 1529634 WITH SCORE 1532378.434
AT ITER 4611 NEW BEST:: SOT 11988865 SOS 2743876 HAS SOPS 2743876 HAS SOUS 1529263 HAS SOUPS 1529263 WITH SCORE 1532006.876
AT ITER 4621 NEW BEST:: SOT 11988622 SOS 2743390 HAS SOPS 2743390 HAS SOUS 1529263 HAS SOUPS 1529263 WITH SCORE 1532006.39
AT ITER 4633 NEW BEST:: SOT 11988510 SOS 2743278 HAS SOPS 2743278 HAS SOUS 1529151 HAS SOUPS 1529151 WITH SCORE 1531894.278
AT ITER 4644 NEW BEST:: SOT 11988698 SOS 2743654 HAS SOPS 2743654 HAS SOUS 1528958 HAS SOUPS 1528958 WITH SCORE 1531701.654
AT ITER 4676 NEW BEST:: SOT 11988578 SOS 2743164 HAS SOPS 2743164 HAS SOUS 1528718 HAS SOUPS 1528718 WITH SCORE 1531461.164
AT ITER 4701 NEW BEST:: SOT 11988260 SOS 2742528 HAS SOPS 2742528 HAS SOUS 1528400 HAS SOUPS 1528400 WITH SCORE 1531142.528
AT ITER 4704 NEW BEST:: SOT 11987510 SOS 2742153 HAS SOPS 2742153 HAS SOUS 1528025 HAS SOUPS 1528025 WITH SCORE 1530767.153
AT ITER 4735 NEW BEST:: SOT 11987076 SOS 2741659 HAS SOPS 2741659 HAS SOUS 1527531 HAS SOUPS 1527531 WITH SCORE 1530272.659
AT ITER 4755 NEW BEST:: SOT 11987730 SOS 2742967 HAS SOPS 2742967 HAS SOUS 1527095 HAS SOUPS 1527095 WITH SCORE 1529837.967
AT ITER 4758 NEW BEST:: SOT 11987730 SOS 2743351 HAS SOPS 2743351 HAS SOUS 1527094 HAS SOUPS 1527094 WITH SCORE 1529837.351
AT ITER 4763 NEW BEST:: SOT 11987730 SOS 2743509 HAS SOPS 2743509 HAS SOUS 1527065 HAS SOUPS 1527065 WITH SCORE 1529808.509
AT ITER 4776 NEW BEST:: SOT 11986880 SOS 2743576 HAS SOPS 2743576 HAS SOUS 1526215 HAS SOUPS 1526215 WITH SCORE 1528958.576
AT ITER 4779 NEW BEST:: SOT 11986356 SOS 2742266 HAS SOPS 2742266 HAS SOUS 1525167 HAS SOUPS 1525167 WITH SCORE 1527909.266
AT ITER 4826 NEW BEST:: SOT 11984758 SOS 2740668 HAS SOPS 2740668 HAS SOUS 1523569 HAS SOUPS 1523569 WITH SCORE 1526309.668
AT ITER 4847 NEW BEST:: SOT 11984634 SOS 2740420 HAS SOPS 2740420 HAS SOUS 1523321 HAS SOUPS 1523321 WITH SCORE 1526061.42
AT ITER 4873 NEW BEST:: SOT 11984634 SOS 2740781 HAS SOPS 2740781 HAS SOUS 1523320 HAS SOUPS 1523320 WITH SCORE 1526060.781
AT ITER 4877 NEW BEST:: SOT 11984610 SOS 2740709 HAS SOPS 2740709 HAS SOUS 1523272 HAS SOUPS 1523272 WITH SCORE 1526012.709
AT ITER 4905 NEW BEST:: SOT 11982722 SOS 2737877 HAS SOPS 2737877 HAS SOUS 1520440 HAS SOUPS 1520440 WITH SCORE 1523177.877
AT ITER 4906 NEW BEST:: SOT 11982721 SOS 2737875 HAS SOPS 2737875 HAS SOUS 1520438 HAS SOUPS 1520438 WITH SCORE 1523175.875
AT ITER 4913 NEW BEST:: SOT 11982287 SOS 2738545 HAS SOPS 2738545 HAS SOUS 1519569 HAS SOUPS 1519569 WITH SCORE 1522307.545
AT ITER 4943 NEW BEST:: SOT 11981782 SOS 2736872 HAS SOPS 2736872 HAS SOUS 1518772 HAS SOUPS 1518772 WITH SCORE 1521508.872
AT ITER 4944 NEW BEST:: SOT 11981782 SOS 2736862 HAS SOPS 2736862 HAS SOUS 1518663 HAS SOUPS 1518663 WITH SCORE 1521399.862
AT ITER 4947 NEW BEST:: SOT 11981555 SOS 2735978 HAS SOPS 2735978 HAS SOUS 1518442 HAS SOUPS 1518442 WITH SCORE 1521177.978
AT ITER 4976 NEW BEST:: SOT 11980979 SOS 2735402 HAS SOPS 2735402 HAS SOUS 1517866 HAS SOUPS 1517866 WITH SCORE 1520601.402
AT ITER 4988 NEW BEST:: SOT 11980927 SOS 2735298 HAS SOPS 2735298 HAS SOUS 1517762 HAS SOUPS 1517762 WITH SCORE 1520497.298
AT ITER 4995 NEW BEST:: SOT 11980429 SOS 2735487 HAS SOPS 2735487 HAS SOUS 1517719 HAS SOUPS 1517719 WITH SCORE 1520454.487
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-09b-CTLFireability-00 ( (EF( (AU( ((potential((tk(P1836)>=1)))) , ((potential((tk(P1427)>=1) & (tk(P2492)>=1)))) )))) | (EG( ((potential((tk(P212)>=1)))))) )
PROPERTY: DLCround-PT-09b-CTLFireability-01 (AF( (! (! ( ( ((potential((tk(P2247)>=1)))) | ((potential((tk(P70)>=1) & (tk(P1882)>=1)))) ) & (! ((potential((tk(P363)>=1) & (tk(P2509)>=1))))) )))))
PROPERTY: DLCround-PT-09b-CTLFireability-02 (AF( (! (EF( (! ((potential((tk(P3368)>=1))))))))))
PROPERTY: DLCround-PT-09b-CTLFireability-03 (! (! (EF( ( ( ((potential((tk(P2064)>=1)))) | ((potential((tk(P1239)>=1) & (tk(P2279)>=1)))) ) & ( ((potential((tk(P735)>=1)))) | ((potential((tk(P1090)>=1)))) ) )))))
PROPERTY: DLCround-PT-09b-CTLFireability-04 (EG( ( (EG( ( ((potential((tk(P1599)>=1) & (tk(P2539)>=1)))) & ((potential((tk(P1481)>=1)))) ))) | (! ((potential((tk(P975)>=1))))) )))
PROPERTY: DLCround-PT-09b-CTLFireability-05 (AU( (! ((potential((tk(P1558)>=1))))) , ((potential((tk(P1067)>=1) & (tk(P2272)>=1)))) ))
PROPERTY: DLCround-PT-09b-CTLFireability-06 (AX( ( ( ( ( ((potential((tk(P2481)>=1)))) | ((potential((tk(P331)>=1)))) ) & (! ((potential((tk(P3368)>=1))))) ) | ( ( ((potential((tk(P3326)>=1)))) | ((potential((tk(P2443)>=1)))) ) & ( ((potential((tk(P1734)>=1)))) | ((potential((tk(P524)>=1) & (tk(P2612)>=1)))) ) ) ) | (AF( ( ((potential((tk(P3286)>=1)))) | ((potential((tk(P284)>=1)))) ))) )))
PROPERTY: DLCround-PT-09b-CTLFireability-07 (AG( (AF( ( (! ((potential((tk(P108)>=1) & (tk(P2129)>=1))))) & ( ((potential((tk(P1800)>=1)))) & ((potential((tk(P2653)>=1)))) ) )))))
PROPERTY: DLCround-PT-09b-CTLFireability-08 (! (AF( (AU( ((potential((tk(P691)>=1) & (tk(P1959)>=1)))) , ((potential((tk(P811)>=1) & (tk(P2039)>=1)))) )))))
PROPERTY: DLCround-PT-09b-CTLFireability-09 (! ( ( (! ((potential((tk(P404)>=1))))) | (! ( ( ((potential((tk(P374)>=1) & (tk(P2589)>=1)))) | ((potential((tk(P1244)>=1) & (tk(P3172)>=1)))) ) & ( ((potential((tk(P232)>=1) & (tk(P2402)>=1)))) & ((potential((tk(P2805)>=1)))) ) )) ) & (AF( ((potential((tk(P571)>=1) & (tk(P3149)>=1)))))) ))
PROPERTY: DLCround-PT-09b-CTLFireability-10 (EF( ( (! (! ((potential((tk(P2468)>=1)))))) & (EU( ((potential((tk(P1683)>=1)))) , ((potential((tk(P1465)>=1) & (tk(P3362)>=1)))) )) )))
PROPERTY: DLCround-PT-09b-CTLFireability-11 (EU( ( (EX( ((potential((tk(P1871)>=1)))))) | (EF( ((potential((tk(P1456)>=1)))))) ) , ( ((potential((tk(P2646)>=1)))) & (AF( ((potential((tk(P2421)>=1)))))) ) ))
PROPERTY: DLCround-PT-09b-CTLFireability-12 (EU( (! (! (! ((potential((tk(P2141)>=1))))))) , ( (AF( ((potential((tk(P206)>=1)))))) & (EF( ((potential((tk(P2824)>=1)))))) ) ))
PROPERTY: DLCround-PT-09b-CTLFireability-13 (EG( (! ( (! (! ((potential((tk(P1569)>=1)))))) & ( ( ((potential((tk(P2433)>=1)))) & ((potential((tk(P3091)>=1)))) ) | ( ((potential((tk(P190)>=1)))) & ((potential((tk(P2558)>=1)))) ) ) ))))
PROPERTY: DLCround-PT-09b-CTLFireability-14 (EX( (AF( ( ((potential((tk(P70)>=1) & (tk(P2042)>=1)))) & ( ((potential((tk(P1177)>=1) & (tk(P2292)>=1)))) | ((potential((tk(P2144)>=1)))) ) )))))
PROPERTY: DLCround-PT-09b-CTLFireability-15 (EF( ( (EU( ((potential((tk(P2273)>=1)))) , ((potential((tk(P271)>=1) & (tk(P2329)>=1)))) )) | ((potential((tk(P1323)>=1) & (tk(P2432)>=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="DLCround-PT-09b"
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 DLCround-PT-09b, 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 r048-ebro-158902542300556"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09b.tgz
mv DLCround-PT-09b 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;