Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599900256.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AirplaneLD-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599900256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 24K Feb 26 11:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 11:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 11:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 11:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 11:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 26 11:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 242K Feb 26 11:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678731133868

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-PT-0020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:12:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:12:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:12:17] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-13 18:12:17] [INFO ] Transformed 159 places.
[2023-03-13 18:12:17] [INFO ] Transformed 168 transitions.
[2023-03-13 18:12:17] [INFO ] Parsed PT model containing 159 places and 168 transitions and 638 arcs in 217 ms.
[2023-03-13 18:12:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 159 places, 168 transitions and 638 arcs took 12 ms.
Total runtime 298 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0020
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 159 places, 168 transitions, 638 arcs.
AT ITER 0 NEW BEST:: SOT 21533 SOS 13716 HAS SOPS 10879 HAS SOUS 10024 HAS SOUPS 7202 WITH SCORE 7215.716
AT ITER 1 NEW BEST:: SOT 21536 SOS 13884 HAS SOPS 11018 HAS SOUS 10041 HAS SOUPS 7192 WITH SCORE 7205.884
AT ITER 5 NEW BEST:: SOT 21497 SOS 13806 HAS SOPS 10979 HAS SOUS 10002 HAS SOUPS 7192 WITH SCORE 7205.806
AT ITER 7 NEW BEST:: SOT 21515 SOS 13661 HAS SOPS 9435 HAS SOUS 10076 HAS SOUPS 5867 WITH SCORE 5880.661
AT ITER 15 NEW BEST:: SOT 21515 SOS 13669 HAS SOPS 9435 HAS SOUS 10068 HAS SOUPS 5859 WITH SCORE 5872.669
AT ITER 30 NEW BEST:: SOT 21515 SOS 13669 HAS SOPS 9435 HAS SOUS 10059 HAS SOUPS 5850 WITH SCORE 5863.669
AT ITER 35 NEW BEST:: SOT 21433 SOS 13436 HAS SOPS 9202 HAS SOUS 9992 HAS SOUPS 5783 WITH SCORE 5796.436
AT ITER 53 NEW BEST:: SOT 21367 SOS 13304 HAS SOPS 9136 HAS SOUS 9925 HAS SOUPS 5782 WITH SCORE 5795.304
AT ITER 62 NEW BEST:: SOT 21362 SOS 13299 HAS SOPS 9137 HAS SOUS 9915 HAS SOUPS 5778 WITH SCORE 5791.299
AT ITER 87 NEW BEST:: SOT 21389 SOS 13375 HAS SOPS 9093 HAS SOUS 9964 HAS SOUPS 5734 WITH SCORE 5747.375
AT ITER 93 NEW BEST:: SOT 21416 SOS 13184 HAS SOPS 8608 HAS SOUS 9701 HAS SOUPS 5471 WITH SCORE 5484.184
AT ITER 120 NEW BEST:: SOT 21002 SOS 13663 HAS SOPS 9087 HAS SOUS 9339 HAS SOUPS 5109 WITH SCORE 5122.663
AT ITER 143 NEW BEST:: SOT 21002 SOS 13643 HAS SOPS 9087 HAS SOUS 9319 HAS SOUPS 5089 WITH SCORE 5102.643
AT ITER 149 NEW BEST:: SOT 21002 SOS 13630 HAS SOPS 9087 HAS SOUS 9283 HAS SOUPS 5053 WITH SCORE 5066.63
AT ITER 150 NEW BEST:: SOT 20222 SOS 12882 HAS SOPS 8774 HAS SOUS 8524 HAS SOUPS 4729 WITH SCORE 4741.882
AT ITER 152 NEW BEST:: SOT 20222 SOS 12871 HAS SOPS 8774 HAS SOUS 8524 HAS SOUPS 4729 WITH SCORE 4741.871
AT ITER 160 NEW BEST:: SOT 19215 SOS 13914 HAS SOPS 9901 HAS SOUS 7547 HAS SOUPS 3818 WITH SCORE 3831.914
AT ITER 164 NEW BEST:: SOT 19215 SOS 13914 HAS SOPS 9901 HAS SOUS 7546 HAS SOUPS 3817 WITH SCORE 3830.914
AT ITER 165 NEW BEST:: SOT 18622 SOS 13450 HAS SOPS 9437 HAS SOUS 7008 HAS SOUPS 3279 WITH SCORE 3292.45
AT ITER 169 NEW BEST:: SOT 18622 SOS 12616 HAS SOPS 8558 HAS SOUS 6982 HAS SOUPS 3208 WITH SCORE 3220.616
AT ITER 170 NEW BEST:: SOT 18666 SOS 12697 HAS SOPS 8581 HAS SOUS 7019 HAS SOUPS 3194 WITH SCORE 3206.697
AT ITER 171 NEW BEST:: SOT 18660 SOS 12691 HAS SOPS 8569 HAS SOUS 6976 HAS SOUPS 3145 WITH SCORE 3157.691
AT ITER 180 NEW BEST:: SOT 18660 SOS 12691 HAS SOPS 8569 HAS SOUS 6933 HAS SOUPS 3102 WITH SCORE 3114.691
AT ITER 184 NEW BEST:: SOT 18660 SOS 12700 HAS SOPS 8563 HAS SOUS 6942 HAS SOUPS 3096 WITH SCORE 3108.7
AT ITER 185 NEW BEST:: SOT 18627 SOS 12642 HAS SOPS 8530 HAS SOUS 6909 HAS SOUPS 3088 WITH SCORE 3100.642
AT ITER 189 NEW BEST:: SOT 18525 SOS 12540 HAS SOPS 8428 HAS SOUS 6800 HAS SOUPS 2979 WITH SCORE 2991.54
AT ITER 201 NEW BEST:: SOT 18525 SOS 12529 HAS SOPS 8428 HAS SOUS 6778 HAS SOUPS 2957 WITH SCORE 2969.529
AT ITER 202 NEW BEST:: SOT 18377 SOS 12306 HAS SOPS 8280 HAS SOUS 6664 HAS SOUPS 2918 WITH SCORE 2930.306
AT ITER 219 NEW BEST:: SOT 18355 SOS 11671 HAS SOPS 7645 HAS SOUS 6618 HAS SOUPS 2872 WITH SCORE 2883.671
AT ITER 231 NEW BEST:: SOT 18355 SOS 11655 HAS SOPS 7645 HAS SOUS 6592 HAS SOUPS 2846 WITH SCORE 2857.655
AT ITER 236 NEW BEST:: SOT 18315 SOS 11615 HAS SOPS 7605 HAS SOUS 6479 HAS SOUPS 2733 WITH SCORE 2744.615
AT ITER 245 NEW BEST:: SOT 18314 SOS 11613 HAS SOPS 7603 HAS SOUS 6478 HAS SOUPS 2732 WITH SCORE 2743.613
AT ITER 266 NEW BEST:: SOT 18314 SOS 11577 HAS SOPS 7565 HAS SOUS 6476 HAS SOUPS 2728 WITH SCORE 2739.577
AT ITER 276 NEW BEST:: SOT 18314 SOS 11577 HAS SOPS 7559 HAS SOUS 6473 HAS SOUPS 2722 WITH SCORE 2733.577
AT ITER 282 NEW BEST:: SOT 18264 SOS 11499 HAS SOPS 7509 HAS SOUS 6397 HAS SOUPS 2674 WITH SCORE 2685.499
AT ITER 292 NEW BEST:: SOT 18196 SOS 11408 HAS SOPS 7464 HAS SOUS 6347 HAS SOUPS 2670 WITH SCORE 2681.408
AT ITER 301 NEW BEST:: SOT 18198 SOS 11430 HAS SOPS 7448 HAS SOUS 6349 HAS SOUPS 2634 WITH SCORE 2645.43
AT ITER 302 NEW BEST:: SOT 18186 SOS 11418 HAS SOPS 7436 HAS SOUS 6337 HAS SOUPS 2622 WITH SCORE 2633.418
AT ITER 318 NEW BEST:: SOT 18181 SOS 11413 HAS SOPS 7431 HAS SOUS 6332 HAS SOUPS 2617 WITH SCORE 2628.413
AT ITER 329 NEW BEST:: SOT 18031 SOS 11181 HAS SOPS 7281 HAS SOUS 6180 HAS SOUPS 2547 WITH SCORE 2558.181
AT ITER 331 NEW BEST:: SOT 18047 SOS 11202 HAS SOPS 7280 HAS SOUS 6191 HAS SOUPS 2541 WITH SCORE 2552.202
AT ITER 352 NEW BEST:: SOT 18027 SOS 11178 HAS SOPS 7260 HAS SOUS 6147 HAS SOUPS 2501 WITH SCORE 2512.178
AT ITER 370 NEW BEST:: SOT 17954 SOS 11086 HAS SOPS 7187 HAS SOUS 6055 HAS SOUPS 2428 WITH SCORE 2439.086
AT ITER 374 NEW BEST:: SOT 17942 SOS 11074 HAS SOPS 7175 HAS SOUS 6031 HAS SOUPS 2404 WITH SCORE 2415.074
AT ITER 376 NEW BEST:: SOT 17942 SOS 11070 HAS SOPS 7155 HAS SOUS 6031 HAS SOUPS 2388 WITH SCORE 2399.07
AT ITER 377 NEW BEST:: SOT 17942 SOS 11070 HAS SOPS 7155 HAS SOUS 6027 HAS SOUPS 2384 WITH SCORE 2395.07
AT ITER 378 NEW BEST:: SOT 17864 SOS 10953 HAS SOPS 7077 HAS SOUS 5949 HAS SOUPS 2345 WITH SCORE 2355.953
AT ITER 384 NEW BEST:: SOT 17776 SOS 10865 HAS SOPS 6989 HAS SOUS 5861 HAS SOUPS 2257 WITH SCORE 2267.865
AT ITER 386 NEW BEST:: SOT 17762 SOS 10846 HAS SOPS 6980 HAS SOUS 5847 HAS SOUPS 2253 WITH SCORE 2263.846
AT ITER 391 NEW BEST:: SOT 17707 SOS 10791 HAS SOPS 6925 HAS SOUS 5792 HAS SOUPS 2198 WITH SCORE 2208.791
AT ITER 413 NEW BEST:: SOT 17702 SOS 10786 HAS SOPS 6920 HAS SOUS 5782 HAS SOUPS 2188 WITH SCORE 2198.786
AT ITER 427 NEW BEST:: SOT 17716 SOS 10805 HAS SOPS 6919 HAS SOUS 5793 HAS SOUPS 2182 WITH SCORE 2192.805
AT ITER 432 NEW BEST:: SOT 17716 SOS 10805 HAS SOPS 6919 HAS SOUS 5787 HAS SOUPS 2176 WITH SCORE 2186.805
AT ITER 458 NEW BEST:: SOT 17699 SOS 10765 HAS SOPS 6902 HAS SOUS 5747 HAS SOUPS 2159 WITH SCORE 2169.765
AT ITER 500 NEW BEST:: SOT 17692 SOS 10758 HAS SOPS 6888 HAS SOUS 5740 HAS SOUPS 2145 WITH SCORE 2155.758
AT ITER 505 NEW BEST:: SOT 17690 SOS 10755 HAS SOPS 6886 HAS SOUS 5737 HAS SOUPS 2143 WITH SCORE 2153.755
AT ITER 529 NEW BEST:: SOT 17661 SOS 10710 HAS SOPS 6860 HAS SOUS 5708 HAS SOUPS 2133 WITH SCORE 2143.71
AT ITER 531 NEW BEST:: SOT 17653 SOS 10698 HAS SOPS 6852 HAS SOUS 5696 HAS SOUPS 2125 WITH SCORE 2135.698
AT ITER 565 NEW BEST:: SOT 17646 SOS 10687 HAS SOPS 6845 HAS SOUS 5685 HAS SOUPS 2118 WITH SCORE 2128.687
AT ITER 575 NEW BEST:: SOT 17646 SOS 10686 HAS SOPS 6845 HAS SOUS 5685 HAS SOUPS 2118 WITH SCORE 2128.686
AT ITER 582 NEW BEST:: SOT 17632 SOS 10659 HAS SOPS 6832 HAS SOUS 5671 HAS SOUPS 2118 WITH SCORE 2128.659
AT ITER 584 NEW BEST:: SOT 17598 SOS 10598 HAS SOPS 6804 HAS SOUS 5632 HAS SOUPS 2112 WITH SCORE 2122.598
AT ITER 586 NEW BEST:: SOT 17591 SOS 10591 HAS SOPS 6797 HAS SOUS 5618 HAS SOUPS 2098 WITH SCORE 2108.591
AT ITER 612 NEW BEST:: SOT 17601 SOS 10602 HAS SOPS 6723 HAS SOUS 5629 HAS SOUPS 2024 WITH SCORE 2034.602
AT ITER 616 NEW BEST:: SOT 17601 SOS 10584 HAS SOPS 6723 HAS SOUS 5629 HAS SOUPS 2024 WITH SCORE 2034.584
AT ITER 677 NEW BEST:: SOT 17621 SOS 10611 HAS SOPS 6724 HAS SOUS 5644 HAS SOUPS 2019 WITH SCORE 2029.611
AT ITER 680 NEW BEST:: SOT 17619 SOS 10608 HAS SOPS 6722 HAS SOUS 5641 HAS SOUPS 2017 WITH SCORE 2027.608
AT ITER 701 NEW BEST:: SOT 17619 SOS 10605 HAS SOPS 6722 HAS SOUS 5606 HAS SOUPS 1982 WITH SCORE 1992.605
AT ITER 719 NEW BEST:: SOT 17577 SOS 10547 HAS SOPS 6696 HAS SOUS 5564 HAS SOUPS 1972 WITH SCORE 1982.547
AT ITER 723 NEW BEST:: SOT 17591 SOS 10561 HAS SOPS 6643 HAS SOUS 5548 HAS SOUPS 1915 WITH SCORE 1925.561
AT ITER 796 NEW BEST:: SOT 17846 SOS 10745 HAS SOPS 6553 HAS SOUS 5803 HAS SOUPS 1896 WITH SCORE 1906.745
AT ITER 799 NEW BEST:: SOT 17796 SOS 10670 HAS SOPS 6503 HAS SOUS 5753 HAS SOUPS 1871 WITH SCORE 1881.67
AT ITER 803 NEW BEST:: SOT 17792 SOS 10664 HAS SOPS 6499 HAS SOUS 5749 HAS SOUPS 1869 WITH SCORE 1879.664
AT ITER 810 NEW BEST:: SOT 17792 SOS 10646 HAS SOPS 6480 HAS SOUS 5748 HAS SOUPS 1867 WITH SCORE 1877.646
AT ITER 835 NEW BEST:: SOT 17792 SOS 10646 HAS SOPS 6480 HAS SOUS 5741 HAS SOUPS 1860 WITH SCORE 1870.646
AT ITER 882 NEW BEST:: SOT 17793 SOS 10650 HAS SOPS 6478 HAS SOUS 5743 HAS SOUPS 1856 WITH SCORE 1866.65
AT ITER 897 NEW BEST:: SOT 17793 SOS 10639 HAS SOPS 6478 HAS SOUS 5746 HAS SOUPS 1856 WITH SCORE 1866.639
AT ITER 901 NEW BEST:: SOT 17789 SOS 10635 HAS SOPS 6470 HAS SOUS 5738 HAS SOUPS 1844 WITH SCORE 1854.635
AT ITER 914 NEW BEST:: SOT 17750 SOS 10565 HAS SOPS 6462 HAS SOUS 5675 HAS SOUPS 1843 WITH SCORE 1853.565
AT ITER 922 NEW BEST:: SOT 17757 SOS 10553 HAS SOPS 6469 HAS SOUS 5672 HAS SOUPS 1840 WITH SCORE 1850.553
AT ITER 934 NEW BEST:: SOT 17825 SOS 10660 HAS SOPS 6498 HAS SOUS 5736 HAS SOUPS 1826 WITH SCORE 1836.66
AT ITER 949 NEW BEST:: SOT 17850 SOS 10650 HAS SOPS 6458 HAS SOUS 5731 HAS SOUPS 1821 WITH SCORE 1831.65
AT ITER 959 NEW BEST:: SOT 17849 SOS 10649 HAS SOPS 6457 HAS SOUS 5729 HAS SOUPS 1819 WITH SCORE 1829.649
AT ITER 960 NEW BEST:: SOT 17849 SOS 10647 HAS SOPS 6457 HAS SOUS 5727 HAS SOUPS 1819 WITH SCORE 1829.647
AT ITER 988 NEW BEST:: SOT 17849 SOS 10646 HAS SOPS 6457 HAS SOUS 5726 HAS SOUPS 1819 WITH SCORE 1829.646
AT ITER 996 NEW BEST:: SOT 17849 SOS 10643 HAS SOPS 6457 HAS SOUS 5726 HAS SOUPS 1819 WITH SCORE 1829.643
AT ITER 1016 NEW BEST:: SOT 17849 SOS 10642 HAS SOPS 6457 HAS SOUS 5725 HAS SOUPS 1819 WITH SCORE 1829.642
AT ITER 1031 NEW BEST:: SOT 17821 SOS 10613 HAS SOPS 6430 HAS SOUS 5703 HAS SOUPS 1799 WITH SCORE 1809.613
AT ITER 1086 NEW BEST:: SOT 17816 SOS 10608 HAS SOPS 6425 HAS SOUS 5702 HAS SOUPS 1798 WITH SCORE 1808.608
AT ITER 1087 NEW BEST:: SOT 17820 SOS 10592 HAS SOPS 6429 HAS SOUS 5699 HAS SOUPS 1795 WITH SCORE 1805.592
AT ITER 1111 NEW BEST:: SOT 17809 SOS 10581 HAS SOPS 6418 HAS SOUS 5679 HAS SOUPS 1775 WITH SCORE 1785.581
AT ITER 1149 NEW BEST:: SOT 17813 SOS 10585 HAS SOPS 6414 HAS SOUS 5679 HAS SOUPS 1767 WITH SCORE 1777.585
AT ITER 1154 NEW BEST:: SOT 17801 SOS 10567 HAS SOPS 6402 HAS SOUS 5667 HAS SOUPS 1761 WITH SCORE 1771.567
AT ITER 1185 NEW BEST:: SOT 17811 SOS 10593 HAS SOPS 6412 HAS SOUS 5679 HAS SOUPS 1757 WITH SCORE 1767.593
AT ITER 1207 NEW BEST:: SOT 17807 SOS 10780 HAS SOPS 6594 HAS SOUS 5678 HAS SOUPS 1756 WITH SCORE 1766.78
AT ITER 1212 NEW BEST:: SOT 17790 SOS 10745 HAS SOPS 6591 HAS SOUS 5643 HAS SOUPS 1753 WITH SCORE 1763.745
AT ITER 1221 NEW BEST:: SOT 17808 SOS 10778 HAS SOPS 6602 HAS SOUS 5656 HAS SOUPS 1750 WITH SCORE 1760.778
AT ITER 1225 NEW BEST:: SOT 17813 SOS 10749 HAS SOPS 6607 HAS SOUS 5652 HAS SOUPS 1746 WITH SCORE 1756.749
AT ITER 1260 NEW BEST:: SOT 17813 SOS 10749 HAS SOPS 6607 HAS SOUS 5650 HAS SOUPS 1744 WITH SCORE 1754.749
AT ITER 1269 NEW BEST:: SOT 17814 SOS 10791 HAS SOPS 6640 HAS SOUS 5644 HAS SOUPS 1738 WITH SCORE 1748.791
AT ITER 1282 NEW BEST:: SOT 17815 SOS 10792 HAS SOPS 6641 HAS SOUS 5641 HAS SOUPS 1735 WITH SCORE 1745.792
AT ITER 1309 NEW BEST:: SOT 17810 SOS 10782 HAS SOPS 6636 HAS SOUS 5636 HAS SOUPS 1735 WITH SCORE 1745.782
AT ITER 1321 NEW BEST:: SOT 17810 SOS 10768 HAS SOPS 6636 HAS SOUS 5636 HAS SOUPS 1735 WITH SCORE 1745.768
AT ITER 1326 NEW BEST:: SOT 17802 SOS 10756 HAS SOPS 6628 HAS SOUS 5628 HAS SOUPS 1731 WITH SCORE 1741.756
AT ITER 1333 NEW BEST:: SOT 17802 SOS 10731 HAS SOPS 6628 HAS SOUS 5628 HAS SOUPS 1731 WITH SCORE 1741.731
AT ITER 1358 NEW BEST:: SOT 17781 SOS 10696 HAS SOPS 6614 HAS SOUS 5607 HAS SOUPS 1731 WITH SCORE 1741.696
AT ITER 1370 NEW BEST:: SOT 17773 SOS 10681 HAS SOPS 6606 HAS SOUS 5591 HAS SOUPS 1722 WITH SCORE 1732.681
AT ITER 1382 NEW BEST:: SOT 17773 SOS 10647 HAS SOPS 6606 HAS SOUS 5586 HAS SOUPS 1717 WITH SCORE 1727.647
AT ITER 1390 NEW BEST:: SOT 17773 SOS 10640 HAS SOPS 6606 HAS SOUS 5586 HAS SOUPS 1717 WITH SCORE 1727.64
AT ITER 1405 NEW BEST:: SOT 17765 SOS 10628 HAS SOPS 6598 HAS SOUS 5574 HAS SOUPS 1709 WITH SCORE 1719.628
AT ITER 1462 NEW BEST:: SOT 17745 SOS 10785 HAS SOPS 6767 HAS SOUS 5560 HAS SOUPS 1701 WITH SCORE 1711.785
AT ITER 1464 NEW BEST:: SOT 17739 SOS 10776 HAS SOPS 6761 HAS SOUS 5554 HAS SOUPS 1698 WITH SCORE 1708.776
AT ITER 1495 NEW BEST:: SOT 17701 SOS 10719 HAS SOPS 6723 HAS SOUS 5504 HAS SOUPS 1667 WITH SCORE 1677.719
AT ITER 1507 NEW BEST:: SOT 17731 SOS 10760 HAS SOPS 6736 HAS SOUS 5515 HAS SOUPS 1650 WITH SCORE 1660.76
AT ITER 1524 NEW BEST:: SOT 17734 SOS 10770 HAS SOPS 6738 HAS SOUS 5518 HAS SOUPS 1649 WITH SCORE 1659.77
AT ITER 1554 NEW BEST:: SOT 17728 SOS 10761 HAS SOPS 6732 HAS SOUS 5512 HAS SOUPS 1646 WITH SCORE 1656.761
AT ITER 1557 NEW BEST:: SOT 17722 SOS 10749 HAS SOPS 6726 HAS SOUS 5506 HAS SOUPS 1646 WITH SCORE 1656.749
AT ITER 1599 NEW BEST:: SOT 17722 SOS 10724 HAS SOPS 6726 HAS SOUS 5506 HAS SOUPS 1646 WITH SCORE 1656.724
AT ITER 1609 NEW BEST:: SOT 17745 SOS 10759 HAS SOPS 6738 HAS SOUS 5508 HAS SOUPS 1625 WITH SCORE 1635.759
AT ITER 1610 NEW BEST:: SOT 17728 SOS 10727 HAS SOPS 6734 HAS SOUS 5476 HAS SOUPS 1621 WITH SCORE 1631.727
AT ITER 1626 NEW BEST:: SOT 17718 SOS 10716 HAS SOPS 6724 HAS SOUS 5455 HAS SOUPS 1601 WITH SCORE 1611.716
AT ITER 1635 NEW BEST:: SOT 17720 SOS 10720 HAS SOPS 6724 HAS SOUS 5457 HAS SOUPS 1599 WITH SCORE 1609.72
AT ITER 1852 NEW BEST:: SOT 17741 SOS 10766 HAS SOPS 6694 HAS SOUS 5490 HAS SOUPS 1569 WITH SCORE 1579.766
AT ITER 1875 NEW BEST:: SOT 17741 SOS 10765 HAS SOPS 6694 HAS SOUS 5490 HAS SOUPS 1569 WITH SCORE 1579.765
AT ITER 1887 NEW BEST:: SOT 17742 SOS 10768 HAS SOPS 6694 HAS SOUS 5490 HAS SOUPS 1568 WITH SCORE 1578.768
AT ITER 1920 NEW BEST:: SOT 17741 SOS 10766 HAS SOPS 6694 HAS SOUS 5488 HAS SOUPS 1568 WITH SCORE 1578.766
AT ITER 1928 NEW BEST:: SOT 17740 SOS 10765 HAS SOPS 6693 HAS SOUS 5487 HAS SOUPS 1567 WITH SCORE 1577.765
AT ITER 1934 NEW BEST:: SOT 17740 SOS 10765 HAS SOPS 6693 HAS SOUS 5485 HAS SOUPS 1565 WITH SCORE 1575.765
AT ITER 1966 NEW BEST:: SOT 17812 SOS 10897 HAS SOPS 6734 HAS SOUS 5569 HAS SOUPS 1558 WITH SCORE 1568.897
AT ITER 1978 NEW BEST:: SOT 17809 SOS 10894 HAS SOPS 6731 HAS SOUS 5563 HAS SOUPS 1552 WITH SCORE 1562.894
AT ITER 2004 NEW BEST:: SOT 17826 SOS 10935 HAS SOPS 6734 HAS SOUS 5574 HAS SOUPS 1547 WITH SCORE 1557.935
AT ITER 2032 NEW BEST:: SOT 17828 SOS 10937 HAS SOPS 6736 HAS SOUS 5572 HAS SOUPS 1545 WITH SCORE 1555.937
AT ITER 2033 NEW BEST:: SOT 17820 SOS 10921 HAS SOPS 6736 HAS SOUS 5556 HAS SOUPS 1545 WITH SCORE 1555.921
AT ITER 2037 NEW BEST:: SOT 17818 SOS 10918 HAS SOPS 6734 HAS SOUS 5554 HAS SOUPS 1544 WITH SCORE 1554.918
AT ITER 2055 NEW BEST:: SOT 17817 SOS 10916 HAS SOPS 6733 HAS SOUS 5553 HAS SOUPS 1544 WITH SCORE 1554.916
AT ITER 2082 NEW BEST:: SOT 17812 SOS 10911 HAS SOPS 6728 HAS SOUS 5548 HAS SOUPS 1539 WITH SCORE 1549.911
AT ITER 2101 NEW BEST:: SOT 17786 SOS 10868 HAS SOPS 6710 HAS SOUS 5522 HAS SOUPS 1538 WITH SCORE 1548.868
AT ITER 2134 NEW BEST:: SOT 17790 SOS 10878 HAS SOPS 6708 HAS SOUS 5526 HAS SOUPS 1530 WITH SCORE 1540.878
AT ITER 2145 NEW BEST:: SOT 17785 SOS 10930 HAS SOPS 6760 HAS SOUS 5517 HAS SOUPS 1521 WITH SCORE 1531.93
AT ITER 2173 NEW BEST:: SOT 17783 SOS 10928 HAS SOPS 6758 HAS SOUS 5515 HAS SOUPS 1519 WITH SCORE 1529.928
AT ITER 2246 NEW BEST:: SOT 17777 SOS 10922 HAS SOPS 6752 HAS SOUS 5512 HAS SOUPS 1516 WITH SCORE 1526.922
AT ITER 2273 NEW BEST:: SOT 17734 SOS 10853 HAS SOPS 6718 HAS SOUS 5469 HAS SOUPS 1508 WITH SCORE 1518.853
AT ITER 2283 NEW BEST:: SOT 17729 SOS 10843 HAS SOPS 6713 HAS SOUS 5464 HAS SOUPS 1508 WITH SCORE 1518.843
AT ITER 2295 NEW BEST:: SOT 17725 SOS 10839 HAS SOPS 6709 HAS SOUS 5457 HAS SOUPS 1501 WITH SCORE 1511.839
AT ITER 2318 NEW BEST:: SOT 17708 SOS 10805 HAS SOPS 6692 HAS SOUS 5423 HAS SOUPS 1484 WITH SCORE 1494.805
AT ITER 2394 NEW BEST:: SOT 17707 SOS 10804 HAS SOPS 6691 HAS SOUS 5423 HAS SOUPS 1484 WITH SCORE 1494.804
AT ITER 2404 NEW BEST:: SOT 17695 SOS 10786 HAS SOPS 6679 HAS SOUS 5410 HAS SOUPS 1477 WITH SCORE 1487.786
AT ITER 2465 NEW BEST:: SOT 17696 SOS 10787 HAS SOPS 6680 HAS SOUS 5404 HAS SOUPS 1471 WITH SCORE 1481.787
AT ITER 2577 NEW BEST:: SOT 17696 SOS 10782 HAS SOPS 6670 HAS SOUS 5404 HAS SOUPS 1466 WITH SCORE 1476.782
AT ITER 2596 NEW BEST:: SOT 17696 SOS 10782 HAS SOPS 6670 HAS SOUS 5401 HAS SOUPS 1463 WITH SCORE 1473.782
AT ITER 2615 NEW BEST:: SOT 17686 SOS 10756 HAS SOPS 6686 HAS SOUS 5363 HAS SOUPS 1462 WITH SCORE 1472.756
AT ITER 2741 NEW BEST:: SOT 17689 SOS 10743 HAS SOPS 6689 HAS SOUS 5361 HAS SOUPS 1460 WITH SCORE 1470.743
AT ITER 2747 NEW BEST:: SOT 17689 SOS 10728 HAS SOPS 6689 HAS SOUS 5361 HAS SOUPS 1460 WITH SCORE 1470.728
AT ITER 2795 NEW BEST:: SOT 17715 SOS 10754 HAS SOPS 6715 HAS SOUS 5357 HAS SOUPS 1456 WITH SCORE 1466.754
AT ITER 2865 NEW BEST:: SOT 17715 SOS 10744 HAS SOPS 6715 HAS SOUS 5355 HAS SOUPS 1453 WITH SCORE 1463.744
AT ITER 2903 NEW BEST:: SOT 17653 SOS 10637 HAS SOPS 6675 HAS SOUS 5282 HAS SOUPS 1447 WITH SCORE 1457.637
AT ITER 2934 NEW BEST:: SOT 17653 SOS 10634 HAS SOPS 6675 HAS SOUS 5282 HAS SOUPS 1447 WITH SCORE 1457.634
AT ITER 2942 NEW BEST:: SOT 17659 SOS 10647 HAS SOPS 6672 HAS SOUS 5280 HAS SOUPS 1437 WITH SCORE 1447.647
AT ITER 3031 NEW BEST:: SOT 17663 SOS 10654 HAS SOPS 6658 HAS SOUS 5289 HAS SOUPS 1426 WITH SCORE 1436.654
AT ITER 3054 NEW BEST:: SOT 17664 SOS 10656 HAS SOPS 6658 HAS SOUS 5290 HAS SOUPS 1425 WITH SCORE 1435.656
AT ITER 3095 NEW BEST:: SOT 17661 SOS 10650 HAS SOPS 6655 HAS SOUS 5284 HAS SOUPS 1422 WITH SCORE 1432.65
AT ITER 3116 NEW BEST:: SOT 17659 SOS 10648 HAS SOPS 6651 HAS SOUS 5282 HAS SOUPS 1418 WITH SCORE 1428.648
AT ITER 3197 NEW BEST:: SOT 17659 SOS 10648 HAS SOPS 6651 HAS SOUS 5281 HAS SOUPS 1417 WITH SCORE 1427.648
AT ITER 3217 NEW BEST:: SOT 17659 SOS 10648 HAS SOPS 6645 HAS SOUS 5275 HAS SOUPS 1405 WITH SCORE 1415.648
AT ITER 3302 NEW BEST:: SOT 17661 SOS 10652 HAS SOPS 6645 HAS SOUS 5277 HAS SOUPS 1403 WITH SCORE 1413.652
AT ITER 3363 NEW BEST:: SOT 17657 SOS 10646 HAS SOPS 6641 HAS SOUS 5273 HAS SOUPS 1401 WITH SCORE 1411.646
AT ITER 3442 NEW BEST:: SOT 17657 SOS 10639 HAS SOPS 6641 HAS SOUS 5273 HAS SOUPS 1401 WITH SCORE 1411.639
AT ITER 3446 NEW BEST:: SOT 17657 SOS 10639 HAS SOPS 6641 HAS SOUS 5271 HAS SOUPS 1399 WITH SCORE 1409.639
AT ITER 3451 NEW BEST:: SOT 17660 SOS 10642 HAS SOPS 6644 HAS SOUS 5267 HAS SOUPS 1395 WITH SCORE 1405.642
AT ITER 3510 NEW BEST:: SOT 17666 SOS 10576 HAS SOPS 6570 HAS SOUS 5269 HAS SOUPS 1393 WITH SCORE 1403.576
AT ITER 3527 NEW BEST:: SOT 17627 SOS 10510 HAS SOPS 6546 HAS SOUS 5226 HAS SOUPS 1392 WITH SCORE 1402.51
AT ITER 3542 NEW BEST:: SOT 17627 SOS 10508 HAS SOPS 6546 HAS SOUS 5226 HAS SOUPS 1392 WITH SCORE 1402.508
AT ITER 3548 NEW BEST:: SOT 17624 SOS 10565 HAS SOPS 6600 HAS SOUS 5223 HAS SOUPS 1389 WITH SCORE 1399.565
AT ITER 3615 NEW BEST:: SOT 17624 SOS 10565 HAS SOPS 6600 HAS SOUS 5219 HAS SOUPS 1385 WITH SCORE 1395.565
AT ITER 3732 NEW BEST:: SOT 17624 SOS 10566 HAS SOPS 6600 HAS SOUS 5219 HAS SOUPS 1384 WITH SCORE 1394.566
AT ITER 3790 NEW BEST:: SOT 17623 SOS 10565 HAS SOPS 6599 HAS SOUS 5217 HAS SOUPS 1382 WITH SCORE 1392.565
AT ITER 3799 NEW BEST:: SOT 17621 SOS 10563 HAS SOPS 6597 HAS SOUS 5216 HAS SOUPS 1381 WITH SCORE 1391.563
AT ITER 3806 NEW BEST:: SOT 17615 SOS 10553 HAS SOPS 6591 HAS SOUS 5206 HAS SOUPS 1375 WITH SCORE 1385.553
AT ITER 3824 NEW BEST:: SOT 17612 SOS 10547 HAS SOPS 6588 HAS SOUS 5201 HAS SOUPS 1373 WITH SCORE 1383.547
AT ITER 3934 NEW BEST:: SOT 17612 SOS 10542 HAS SOPS 6588 HAS SOUS 5201 HAS SOUPS 1373 WITH SCORE 1383.542
AT ITER 4016 NEW BEST:: SOT 17608 SOS 10538 HAS SOPS 6577 HAS SOUS 5200 HAS SOUPS 1365 WITH SCORE 1375.538
AT ITER 4053 NEW BEST:: SOT 17612 SOS 10546 HAS SOPS 6577 HAS SOUS 5204 HAS SOUPS 1361 WITH SCORE 1371.546
AT ITER 4195 NEW BEST:: SOT 17611 SOS 10545 HAS SOPS 6576 HAS SOUS 5203 HAS SOUPS 1360 WITH SCORE 1370.545
AT ITER 4196 NEW BEST:: SOT 17605 SOS 10535 HAS SOPS 6570 HAS SOUS 5199 HAS SOUPS 1360 WITH SCORE 1370.535
AT ITER 4486 NEW BEST:: SOT 17457 SOS 10411 HAS SOPS 6578 HAS SOUS 5051 HAS SOUPS 1344 WITH SCORE 1354.411
AT ITER 4547 NEW BEST:: SOT 17457 SOS 10411 HAS SOPS 6578 HAS SOUS 5050 HAS SOUPS 1343 WITH SCORE 1353.411
AT ITER 4729 NEW BEST:: SOT 17456 SOS 10410 HAS SOPS 6577 HAS SOUS 5049 HAS SOUPS 1342 WITH SCORE 1352.41
AT ITER 4910 NEW BEST:: SOT 17401 SOS 10337 HAS SOPS 6545 HAS SOUS 4999 HAS SOUPS 1333 WITH SCORE 1343.337
AT ITER 4918 NEW BEST:: SOT 17396 SOS 10329 HAS SOPS 6540 HAS SOUS 4991 HAS SOUPS 1328 WITH SCORE 1338.329
AT ITER 4926 NEW BEST:: SOT 17396 SOS 10326 HAS SOPS 6540 HAS SOUS 4988 HAS SOUPS 1328 WITH SCORE 1338.326
AT ITER 4952 NEW BEST:: SOT 17396 SOS 10324 HAS SOPS 6540 HAS SOUS 4986 HAS SOUPS 1328 WITH SCORE 1338.324
AT ITER 5032 NEW BEST:: SOT 17392 SOS 10320 HAS SOPS 6536 HAS SOUS 4986 HAS SOUPS 1328 WITH SCORE 1338.32
AT ITER 5257 NEW BEST:: SOT 17391 SOS 10319 HAS SOPS 6535 HAS SOUS 4985 HAS SOUPS 1327 WITH SCORE 1337.319
AT ITER 5291 NEW BEST:: SOT 17391 SOS 10319 HAS SOPS 6535 HAS SOUS 4983 HAS SOUPS 1325 WITH SCORE 1335.319
AT ITER 5298 NEW BEST:: SOT 17351 SOS 10239 HAS SOPS 6495 HAS SOUS 4903 HAS SOUPS 1285 WITH SCORE 1295.239
AT ITER 5366 NEW BEST:: SOT 17351 SOS 10229 HAS SOPS 6495 HAS SOUS 4903 HAS SOUPS 1285 WITH SCORE 1295.229
AT ITER 5382 NEW BEST:: SOT 17351 SOS 10229 HAS SOPS 6495 HAS SOUS 4901 HAS SOUPS 1283 WITH SCORE 1293.229
AT ITER 5782 NEW BEST:: SOT 17349 SOS 10227 HAS SOPS 6495 HAS SOUS 4899 HAS SOUPS 1283 WITH SCORE 1293.227
AT ITER 5833 NEW BEST:: SOT 17353 SOS 10213 HAS SOPS 6499 HAS SOUS 4897 HAS SOUPS 1281 WITH SCORE 1291.213
AT ITER 5868 NEW BEST:: SOT 17301 SOS 10135 HAS SOPS 6473 HAS SOUS 4845 HAS SOUPS 1281 WITH SCORE 1291.135
AT ITER 6063 NEW BEST:: SOT 17297 SOS 10131 HAS SOPS 6465 HAS SOUS 4841 HAS SOUPS 1273 WITH SCORE 1283.131
AT ITER 6212 NEW BEST:: SOT 17291 SOS 10125 HAS SOPS 6452 HAS SOUS 4836 HAS SOUPS 1261 WITH SCORE 1271.125
AT ITER 6217 NEW BEST:: SOT 17288 SOS 10122 HAS SOPS 6449 HAS SOUS 4836 HAS SOUPS 1261 WITH SCORE 1271.122
AT ITER 6271 NEW BEST:: SOT 17276 SOS 10103 HAS SOPS 6437 HAS SOUS 4822 HAS SOUPS 1254 WITH SCORE 1264.103
AT ITER 6358 NEW BEST:: SOT 17275 SOS 10102 HAS SOPS 6436 HAS SOUS 4821 HAS SOUPS 1253 WITH SCORE 1263.102
AT ITER 6373 NEW BEST:: SOT 17211 SOS 10013 HAS SOPS 6397 HAS SOUS 4764 HAS SOUPS 1246 WITH SCORE 1256.013
AT ITER 6424 NEW BEST:: SOT 17210 SOS 10011 HAS SOPS 6396 HAS SOUS 4763 HAS SOUPS 1246 WITH SCORE 1256.011
AT ITER 6732 NEW BEST:: SOT 17198 SOS 9999 HAS SOPS 6384 HAS SOUS 4755 HAS SOUPS 1238 WITH SCORE 1247.999
AT ITER 6734 NEW BEST:: SOT 17195 SOS 9996 HAS SOPS 6381 HAS SOUS 4755 HAS SOUPS 1238 WITH SCORE 1247.996
AT ITER 6821 NEW BEST:: SOT 17181 SOS 9973 HAS SOPS 6371 HAS SOUS 4741 HAS SOUPS 1237 WITH SCORE 1246.973
AT ITER 6852 NEW BEST:: SOT 17180 SOS 9972 HAS SOPS 6370 HAS SOUS 4739 HAS SOUPS 1235 WITH SCORE 1244.972
AT ITER 6864 NEW BEST:: SOT 17182 SOS 9976 HAS SOPS 6370 HAS SOUS 4741 HAS SOUPS 1233 WITH SCORE 1242.976
AT ITER 7171 NEW BEST:: SOT 17176 SOS 9967 HAS SOPS 6364 HAS SOUS 4735 HAS SOUPS 1230 WITH SCORE 1239.967
AT ITER 7230 NEW BEST:: SOT 17176 SOS 9967 HAS SOPS 6364 HAS SOUS 4734 HAS SOUPS 1229 WITH SCORE 1238.967
AT ITER 7247 NEW BEST:: SOT 17183 SOS 9981 HAS SOPS 6364 HAS SOUS 4741 HAS SOUPS 1222 WITH SCORE 1231.981
AT ITER 7293 NEW BEST:: SOT 17183 SOS 9981 HAS SOPS 6364 HAS SOUS 4740 HAS SOUPS 1221 WITH SCORE 1230.981
AT ITER 7317 NEW BEST:: SOT 17184 SOS 9983 HAS SOPS 6365 HAS SOUS 4740 HAS SOUPS 1220 WITH SCORE 1229.983
AT ITER 7325 NEW BEST:: SOT 17184 SOS 9944 HAS SOPS 6324 HAS SOUS 4739 HAS SOUPS 1218 WITH SCORE 1227.944
AT ITER 7522 NEW BEST:: SOT 17183 SOS 9943 HAS SOPS 6323 HAS SOUS 4737 HAS SOUPS 1216 WITH SCORE 1225.943
AT ITER 7581 NEW BEST:: SOT 17180 SOS 9940 HAS SOPS 6316 HAS SOUS 4735 HAS SOUPS 1210 WITH SCORE 1219.94
AT ITER 7585 NEW BEST:: SOT 17182 SOS 9938 HAS SOPS 6314 HAS SOUS 4733 HAS SOUPS 1208 WITH SCORE 1217.938
AT ITER 7607 NEW BEST:: SOT 17182 SOS 9938 HAS SOPS 6314 HAS SOUS 4732 HAS SOUPS 1207 WITH SCORE 1216.938
AT ITER 7967 NEW BEST:: SOT 17180 SOS 9936 HAS SOPS 6312 HAS SOUS 4728 HAS SOUPS 1203 WITH SCORE 1212.936
AT ITER 8652 NEW BEST:: SOT 17183 SOS 9942 HAS SOPS 6312 HAS SOUS 4731 HAS SOUPS 1200 WITH SCORE 1209.942
AT ITER 8769 NEW BEST:: SOT 17183 SOS 9937 HAS SOPS 6312 HAS SOUS 4731 HAS SOUPS 1200 WITH SCORE 1209.937
AT ITER 8824 NEW BEST:: SOT 17183 SOS 9937 HAS SOPS 6312 HAS SOUS 4729 HAS SOUPS 1198 WITH SCORE 1207.937
AT ITER 8968 NEW BEST:: SOT 17189 SOS 9943 HAS SOPS 6318 HAS SOUS 4727 HAS SOUPS 1196 WITH SCORE 1205.943
AT ITER 9194 NEW BEST:: SOT 17190 SOS 9944 HAS SOPS 6317 HAS SOUS 4728 HAS SOUPS 1195 WITH SCORE 1204.944
AT ITER 9371 NEW BEST:: SOT 17189 SOS 9943 HAS SOPS 6316 HAS SOUS 4728 HAS SOUPS 1195 WITH SCORE 1204.943
AT ITER 9460 NEW BEST:: SOT 17199 SOS 9963 HAS SOPS 6316 HAS SOUS 4738 HAS SOUPS 1185 WITH SCORE 1194.963
AT ITER 9488 NEW BEST:: SOT 17149 SOS 9889 HAS SOPS 6290 HAS SOUS 4688 HAS SOUPS 1183 WITH SCORE 1192.889
AT ITER 9514 NEW BEST:: SOT 17148 SOS 9888 HAS SOPS 6289 HAS SOUS 4686 HAS SOUPS 1181 WITH SCORE 1190.888
STATE_SPACE STATES 308303 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 68 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1339104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678731143449

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="AirplaneLD-PT-0020"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is AirplaneLD-PT-0020, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599900256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0020.tgz
mv AirplaneLD-PT-0020 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;