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.r075-smll-167814401000368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CloudDeployment-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 14:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 51K 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 1678336905704

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=CloudDeployment-PT-2a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 04:41:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 04:41:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 04:41:49] [INFO ] Load time of PNML (sax parser for PT used): 108 ms
[2023-03-09 04:41:49] [INFO ] Transformed 69 places.
[2023-03-09 04:41:49] [INFO ] Transformed 174 transitions.
[2023-03-09 04:41:49] [INFO ] Found NUPN structural information;
[2023-03-09 04:41:49] [INFO ] Parsed PT model containing 69 places and 174 transitions and 821 arcs in 386 ms.
[2023-03-09 04:41:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 69 places, 174 transitions and 821 arcs took 10 ms.
Total runtime 459 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 2a
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: 69 places, 174 transitions, 821 arcs.
AT ITER 0 NEW BEST:: SOT 8183 SOS 4860 HAS SOPS 4416 HAS SOUS 3838 HAS SOUPS 3417 WITH SCORE 3421.86
AT ITER 1 NEW BEST:: SOT 8192 SOS 4878 HAS SOPS 4450 HAS SOUS 3820 HAS SOUPS 3415 WITH SCORE 3419.878
AT ITER 4 NEW BEST:: SOT 8256 SOS 4853 HAS SOPS 4425 HAS SOUS 3759 HAS SOUPS 3354 WITH SCORE 3358.853
AT ITER 5 NEW BEST:: SOT 8259 SOS 4845 HAS SOPS 4367 HAS SOUS 3757 HAS SOUPS 3320 WITH SCORE 3324.845
AT ITER 6 NEW BEST:: SOT 8265 SOS 4834 HAS SOPS 4330 HAS SOUS 3742 HAS SOUPS 3283 WITH SCORE 3287.834
AT ITER 7 NEW BEST:: SOT 8290 SOS 4806 HAS SOPS 4302 HAS SOUS 3700 HAS SOUPS 3241 WITH SCORE 3245.806
AT ITER 9 NEW BEST:: SOT 8290 SOS 4803 HAS SOPS 4302 HAS SOUS 3688 HAS SOUPS 3232 WITH SCORE 3236.803
AT ITER 13 NEW BEST:: SOT 8290 SOS 4802 HAS SOPS 4301 HAS SOUS 3687 HAS SOUPS 3231 WITH SCORE 3235.802
AT ITER 27 NEW BEST:: SOT 8351 SOS 4830 HAS SOPS 4329 HAS SOUS 3677 HAS SOUPS 3221 WITH SCORE 3225.83
AT ITER 31 NEW BEST:: SOT 8451 SOS 4882 HAS SOPS 4381 HAS SOUS 3676 HAS SOUPS 3220 WITH SCORE 3224.882
AT ITER 32 NEW BEST:: SOT 8441 SOS 4874 HAS SOPS 4373 HAS SOUS 3668 HAS SOUPS 3212 WITH SCORE 3216.874
AT ITER 38 NEW BEST:: SOT 8420 SOS 4866 HAS SOPS 4365 HAS SOUS 3658 HAS SOUPS 3204 WITH SCORE 3208.866
AT ITER 40 NEW BEST:: SOT 8418 SOS 4862 HAS SOPS 4361 HAS SOUS 3652 HAS SOUPS 3198 WITH SCORE 3202.862
AT ITER 41 NEW BEST:: SOT 8408 SOS 4842 HAS SOPS 4356 HAS SOUS 3622 HAS SOUPS 3183 WITH SCORE 3187.842
AT ITER 50 NEW BEST:: SOT 8444 SOS 4863 HAS SOPS 4407 HAS SOUS 3563 HAS SOUPS 3156 WITH SCORE 3160.863
AT ITER 53 NEW BEST:: SOT 8451 SOS 4861 HAS SOPS 4405 HAS SOUS 3543 HAS SOUPS 3136 WITH SCORE 3140.861
AT ITER 56 NEW BEST:: SOT 8443 SOS 4875 HAS SOPS 4408 HAS SOUS 3522 HAS SOUPS 3126 WITH SCORE 3130.875
AT ITER 57 NEW BEST:: SOT 8509 SOS 4842 HAS SOPS 4408 HAS SOUS 3451 HAS SOUPS 3088 WITH SCORE 3092.842
AT ITER 59 NEW BEST:: SOT 8503 SOS 4822 HAS SOPS 4388 HAS SOUS 3437 HAS SOUPS 3074 WITH SCORE 3078.822
AT ITER 64 NEW BEST:: SOT 8538 SOS 4844 HAS SOPS 4426 HAS SOUS 3411 HAS SOUPS 3064 WITH SCORE 3068.844
AT ITER 66 NEW BEST:: SOT 8532 SOS 4831 HAS SOPS 4411 HAS SOUS 3396 HAS SOUPS 3049 WITH SCORE 3053.831
AT ITER 68 NEW BEST:: SOT 8609 SOS 4857 HAS SOPS 4437 HAS SOUS 3379 HAS SOUPS 3032 WITH SCORE 3036.857
AT ITER 82 NEW BEST:: SOT 8574 SOS 4878 HAS SOPS 4402 HAS SOUS 3358 HAS SOUPS 2997 WITH SCORE 3001.878
AT ITER 86 NEW BEST:: SOT 8574 SOS 4885 HAS SOPS 4409 HAS SOUS 3357 HAS SOUPS 2996 WITH SCORE 3000.885
AT ITER 88 NEW BEST:: SOT 8625 SOS 4888 HAS SOPS 4412 HAS SOUS 3310 HAS SOUPS 2949 WITH SCORE 2953.888
AT ITER 99 NEW BEST:: SOT 8625 SOS 4887 HAS SOPS 4412 HAS SOUS 3306 HAS SOUPS 2946 WITH SCORE 2950.887
AT ITER 102 NEW BEST:: SOT 8621 SOS 4875 HAS SOPS 4396 HAS SOUS 3298 HAS SOUPS 2934 WITH SCORE 2938.875
AT ITER 105 NEW BEST:: SOT 8619 SOS 4863 HAS SOPS 4384 HAS SOUS 3286 HAS SOUPS 2922 WITH SCORE 2926.863
AT ITER 107 NEW BEST:: SOT 8494 SOS 4900 HAS SOPS 4389 HAS SOUS 3221 HAS SOUPS 2912 WITH SCORE 2916.9
AT ITER 109 NEW BEST:: SOT 8423 SOS 4774 HAS SOPS 4303 HAS SOUS 3021 HAS SOUPS 2752 WITH SCORE 2756.774
AT ITER 120 NEW BEST:: SOT 8423 SOS 4770 HAS SOPS 4299 HAS SOUS 3017 HAS SOUPS 2748 WITH SCORE 2752.77
AT ITER 127 NEW BEST:: SOT 8388 SOS 4784 HAS SOPS 4313 HAS SOUS 3005 HAS SOUPS 2736 WITH SCORE 2740.784
AT ITER 131 NEW BEST:: SOT 8385 SOS 4778 HAS SOPS 4307 HAS SOUS 3001 HAS SOUPS 2732 WITH SCORE 2736.778
AT ITER 132 NEW BEST:: SOT 8359 SOS 4755 HAS SOPS 4284 HAS SOUS 3002 HAS SOUPS 2728 WITH SCORE 2732.755
AT ITER 135 NEW BEST:: SOT 8413 SOS 4789 HAS SOPS 4318 HAS SOUS 2999 HAS SOUPS 2725 WITH SCORE 2729.789
AT ITER 136 NEW BEST:: SOT 8445 SOS 4773 HAS SOPS 4302 HAS SOUS 2960 HAS SOUPS 2686 WITH SCORE 2690.773
AT ITER 137 NEW BEST:: SOT 8435 SOS 4799 HAS SOPS 4280 HAS SOUS 2947 HAS SOUPS 2663 WITH SCORE 2667.799
AT ITER 138 NEW BEST:: SOT 8383 SOS 4695 HAS SOPS 4176 HAS SOUS 2876 HAS SOUPS 2592 WITH SCORE 2596.695
AT ITER 140 NEW BEST:: SOT 8391 SOS 4667 HAS SOPS 4148 HAS SOUS 2833 HAS SOUPS 2549 WITH SCORE 2553.667
AT ITER 144 NEW BEST:: SOT 8383 SOS 4647 HAS SOPS 4161 HAS SOUS 2752 HAS SOUPS 2501 WITH SCORE 2505.647
AT ITER 150 NEW BEST:: SOT 8375 SOS 4635 HAS SOPS 4153 HAS SOUS 2744 HAS SOUPS 2493 WITH SCORE 2497.635
AT ITER 151 NEW BEST:: SOT 8348 SOS 4605 HAS SOPS 4120 HAS SOUS 2741 HAS SOUPS 2488 WITH SCORE 2492.605
AT ITER 152 NEW BEST:: SOT 8346 SOS 4602 HAS SOPS 4118 HAS SOUS 2739 HAS SOUPS 2486 WITH SCORE 2490.602
AT ITER 154 NEW BEST:: SOT 8311 SOS 4617 HAS SOPS 4133 HAS SOUS 2720 HAS SOUPS 2467 WITH SCORE 2471.617
AT ITER 160 NEW BEST:: SOT 8348 SOS 4507 HAS SOPS 3996 HAS SOUS 2672 HAS SOUPS 2395 WITH SCORE 2399.507
AT ITER 162 NEW BEST:: SOT 8306 SOS 4485 HAS SOPS 3974 HAS SOUS 2669 HAS SOUPS 2392 WITH SCORE 2396.485
AT ITER 174 NEW BEST:: SOT 8305 SOS 4483 HAS SOPS 3972 HAS SOUS 2666 HAS SOUPS 2389 WITH SCORE 2393.483
AT ITER 176 NEW BEST:: SOT 8305 SOS 4477 HAS SOPS 3964 HAS SOUS 2664 HAS SOUPS 2385 WITH SCORE 2389.477
AT ITER 177 NEW BEST:: SOT 7945 SOS 4204 HAS SOPS 3829 HAS SOUS 2410 HAS SOUPS 2183 WITH SCORE 2187.204
AT ITER 178 NEW BEST:: SOT 7941 SOS 4170 HAS SOPS 3795 HAS SOUS 2287 HAS SOUPS 2060 WITH SCORE 2064.17
AT ITER 179 NEW BEST:: SOT 7950 SOS 4358 HAS SOPS 3993 HAS SOUS 2282 HAS SOUPS 2055 WITH SCORE 2059.358
AT ITER 183 NEW BEST:: SOT 7617 SOS 4155 HAS SOPS 3795 HAS SOUS 2191 HAS SOUPS 1964 WITH SCORE 1968.155
AT ITER 198 NEW BEST:: SOT 7549 SOS 4072 HAS SOPS 3708 HAS SOUS 2208 HAS SOUPS 1963 WITH SCORE 1967.072
AT ITER 199 NEW BEST:: SOT 7510 SOS 3923 HAS SOPS 3562 HAS SOUS 2185 HAS SOUPS 1926 WITH SCORE 1929.923
AT ITER 200 NEW BEST:: SOT 7490 SOS 3883 HAS SOPS 3512 HAS SOUS 2193 HAS SOUPS 1924 WITH SCORE 1927.883
AT ITER 212 NEW BEST:: SOT 7491 SOS 3874 HAS SOPS 3503 HAS SOUS 2189 HAS SOUPS 1920 WITH SCORE 1923.874
AT ITER 216 NEW BEST:: SOT 7491 SOS 3872 HAS SOPS 3501 HAS SOUS 2187 HAS SOUPS 1918 WITH SCORE 1921.872
AT ITER 225 NEW BEST:: SOT 7539 SOS 3948 HAS SOPS 3594 HAS SOUS 2143 HAS SOUPS 1904 WITH SCORE 1907.948
AT ITER 243 NEW BEST:: SOT 7533 SOS 4116 HAS SOPS 3770 HAS SOUS 2141 HAS SOUPS 1902 WITH SCORE 1906.116
AT ITER 244 NEW BEST:: SOT 7536 SOS 4039 HAS SOPS 3693 HAS SOUS 2122 HAS SOUPS 1883 WITH SCORE 1887.039
AT ITER 248 NEW BEST:: SOT 7530 SOS 4042 HAS SOPS 3693 HAS SOUS 2095 HAS SOUPS 1853 WITH SCORE 1857.042
AT ITER 263 NEW BEST:: SOT 7532 SOS 3858 HAS SOPS 3501 HAS SOUS 2093 HAS SOUPS 1851 WITH SCORE 1854.858
AT ITER 266 NEW BEST:: SOT 7498 SOS 3824 HAS SOPS 3467 HAS SOUS 2057 HAS SOUPS 1815 WITH SCORE 1818.824
AT ITER 269 NEW BEST:: SOT 7505 SOS 3820 HAS SOPS 3463 HAS SOUS 2050 HAS SOUPS 1808 WITH SCORE 1811.82
AT ITER 276 NEW BEST:: SOT 7486 SOS 3801 HAS SOPS 3444 HAS SOUS 2031 HAS SOUPS 1789 WITH SCORE 1792.801
AT ITER 279 NEW BEST:: SOT 7518 SOS 3776 HAS SOPS 3428 HAS SOUS 2005 HAS SOUPS 1777 WITH SCORE 1780.776
AT ITER 282 NEW BEST:: SOT 7500 SOS 3757 HAS SOPS 3400 HAS SOUS 1986 HAS SOUPS 1749 WITH SCORE 1752.757
AT ITER 288 NEW BEST:: SOT 7494 SOS 3745 HAS SOPS 3388 HAS SOUS 1977 HAS SOUPS 1740 WITH SCORE 1743.745
AT ITER 292 NEW BEST:: SOT 7502 SOS 3755 HAS SOPS 3403 HAS SOUS 1916 HAS SOUPS 1679 WITH SCORE 1682.755
AT ITER 295 NEW BEST:: SOT 7530 SOS 3752 HAS SOPS 3408 HAS SOUS 1901 HAS SOUPS 1666 WITH SCORE 1669.752
AT ITER 309 NEW BEST:: SOT 7488 SOS 3730 HAS SOPS 3365 HAS SOUS 1909 HAS SOUPS 1653 WITH SCORE 1656.73
AT ITER 314 NEW BEST:: SOT 7487 SOS 3729 HAS SOPS 3363 HAS SOUS 1908 HAS SOUPS 1651 WITH SCORE 1654.729
AT ITER 324 NEW BEST:: SOT 7495 SOS 3726 HAS SOPS 3367 HAS SOUS 1904 HAS SOUPS 1647 WITH SCORE 1650.726
AT ITER 329 NEW BEST:: SOT 7461 SOS 3729 HAS SOPS 3370 HAS SOUS 1900 HAS SOUPS 1643 WITH SCORE 1646.729
AT ITER 330 NEW BEST:: SOT 7463 SOS 3728 HAS SOPS 3370 HAS SOUS 1898 HAS SOUPS 1642 WITH SCORE 1645.728
AT ITER 331 NEW BEST:: SOT 7461 SOS 3726 HAS SOPS 3366 HAS SOUS 1896 HAS SOUPS 1638 WITH SCORE 1641.726
AT ITER 368 NEW BEST:: SOT 7461 SOS 3707 HAS SOPS 3324 HAS SOUS 1903 HAS SOUPS 1624 WITH SCORE 1627.707
AT ITER 385 NEW BEST:: SOT 7455 SOS 3699 HAS SOPS 3311 HAS SOUS 1906 HAS SOUPS 1622 WITH SCORE 1625.699
AT ITER 387 NEW BEST:: SOT 7419 SOS 3672 HAS SOPS 3275 HAS SOUS 1888 HAS SOUPS 1604 WITH SCORE 1607.672
AT ITER 400 NEW BEST:: SOT 7413 SOS 3666 HAS SOPS 3271 HAS SOUS 1884 HAS SOUPS 1602 WITH SCORE 1605.666
AT ITER 405 NEW BEST:: SOT 7404 SOS 3635 HAS SOPS 3240 HAS SOUS 1879 HAS SOUPS 1597 WITH SCORE 1600.635
AT ITER 406 NEW BEST:: SOT 7390 SOS 3604 HAS SOPS 3198 HAS SOUS 1846 HAS SOUPS 1564 WITH SCORE 1567.604
AT ITER 419 NEW BEST:: SOT 7375 SOS 3592 HAS SOPS 3189 HAS SOUS 1843 HAS SOUPS 1561 WITH SCORE 1564.592
AT ITER 430 NEW BEST:: SOT 7368 SOS 3585 HAS SOPS 3175 HAS SOUS 1830 HAS SOUPS 1547 WITH SCORE 1550.585
AT ITER 435 NEW BEST:: SOT 7330 SOS 3562 HAS SOPS 3152 HAS SOUS 1803 HAS SOUPS 1520 WITH SCORE 1523.562
AT ITER 439 NEW BEST:: SOT 7344 SOS 3569 HAS SOPS 3152 HAS SOUS 1807 HAS SOUPS 1517 WITH SCORE 1520.569
AT ITER 441 NEW BEST:: SOT 7323 SOS 3540 HAS SOPS 3136 HAS SOUS 1775 HAS SOUPS 1498 WITH SCORE 1501.54
AT ITER 464 NEW BEST:: SOT 7307 SOS 3500 HAS SOPS 3096 HAS SOUS 1763 HAS SOUPS 1486 WITH SCORE 1489.5
AT ITER 468 NEW BEST:: SOT 7296 SOS 3489 HAS SOPS 3095 HAS SOUS 1763 HAS SOUPS 1486 WITH SCORE 1489.489
AT ITER 498 NEW BEST:: SOT 7299 SOS 3485 HAS SOPS 3091 HAS SOUS 1756 HAS SOUPS 1479 WITH SCORE 1482.485
AT ITER 507 NEW BEST:: SOT 7301 SOS 3484 HAS SOPS 3091 HAS SOUS 1754 HAS SOUPS 1478 WITH SCORE 1481.484
AT ITER 517 NEW BEST:: SOT 7294 SOS 3474 HAS SOPS 3081 HAS SOUS 1752 HAS SOUPS 1476 WITH SCORE 1479.474
AT ITER 519 NEW BEST:: SOT 7303 SOS 3470 HAS SOPS 3077 HAS SOUS 1752 HAS SOUPS 1476 WITH SCORE 1479.47
AT ITER 558 NEW BEST:: SOT 7288 SOS 3459 HAS SOPS 3066 HAS SOUS 1751 HAS SOUPS 1475 WITH SCORE 1478.459
AT ITER 566 NEW BEST:: SOT 7276 SOS 3435 HAS SOPS 3042 HAS SOUS 1751 HAS SOUPS 1475 WITH SCORE 1478.435
AT ITER 576 NEW BEST:: SOT 7351 SOS 3557 HAS SOPS 3168 HAS SOUS 1725 HAS SOUPS 1474 WITH SCORE 1477.557
AT ITER 586 NEW BEST:: SOT 7377 SOS 3583 HAS SOPS 3194 HAS SOUS 1723 HAS SOUPS 1472 WITH SCORE 1475.583
AT ITER 594 NEW BEST:: SOT 7425 SOS 3613 HAS SOPS 3250 HAS SOUS 1695 HAS SOUPS 1468 WITH SCORE 1471.613
AT ITER 605 NEW BEST:: SOT 7432 SOS 3619 HAS SOPS 3249 HAS SOUS 1689 HAS SOUPS 1462 WITH SCORE 1465.619
AT ITER 609 NEW BEST:: SOT 7423 SOS 3601 HAS SOPS 3231 HAS SOUS 1683 HAS SOUPS 1456 WITH SCORE 1459.601
AT ITER 612 NEW BEST:: SOT 7425 SOS 3597 HAS SOPS 3227 HAS SOUS 1683 HAS SOUPS 1456 WITH SCORE 1459.597
AT ITER 613 NEW BEST:: SOT 7434 SOS 3643 HAS SOPS 3273 HAS SOUS 1681 HAS SOUPS 1454 WITH SCORE 1457.643
AT ITER 620 NEW BEST:: SOT 7438 SOS 3566 HAS SOPS 3192 HAS SOUS 1676 HAS SOUPS 1449 WITH SCORE 1452.566
AT ITER 629 NEW BEST:: SOT 7438 SOS 3557 HAS SOPS 3183 HAS SOUS 1667 HAS SOUPS 1440 WITH SCORE 1443.557
AT ITER 631 NEW BEST:: SOT 7414 SOS 3428 HAS SOPS 3045 HAS SOUS 1657 HAS SOUPS 1430 WITH SCORE 1433.428
AT ITER 657 NEW BEST:: SOT 7406 SOS 3402 HAS SOPS 2999 HAS SOUS 1659 HAS SOUPS 1422 WITH SCORE 1425.402
AT ITER 672 NEW BEST:: SOT 7483 SOS 3461 HAS SOPS 3026 HAS SOUS 1661 HAS SOUPS 1419 WITH SCORE 1422.461
AT ITER 676 NEW BEST:: SOT 7477 SOS 3449 HAS SOPS 3014 HAS SOUS 1651 HAS SOUPS 1409 WITH SCORE 1412.449
AT ITER 695 NEW BEST:: SOT 7497 SOS 3452 HAS SOPS 3017 HAS SOUS 1639 HAS SOUPS 1397 WITH SCORE 1400.452
AT ITER 708 NEW BEST:: SOT 7496 SOS 3449 HAS SOPS 3013 HAS SOUS 1638 HAS SOUPS 1395 WITH SCORE 1398.449
AT ITER 715 NEW BEST:: SOT 7470 SOS 3466 HAS SOPS 2999 HAS SOUS 1630 HAS SOUPS 1387 WITH SCORE 1390.466
AT ITER 729 NEW BEST:: SOT 7470 SOS 3460 HAS SOPS 3005 HAS SOUS 1624 HAS SOUPS 1387 WITH SCORE 1390.46
AT ITER 731 NEW BEST:: SOT 7467 SOS 3448 HAS SOPS 2993 HAS SOUS 1618 HAS SOUPS 1381 WITH SCORE 1384.448
AT ITER 740 NEW BEST:: SOT 7477 SOS 3439 HAS SOPS 2984 HAS SOUS 1611 HAS SOUPS 1374 WITH SCORE 1377.439
AT ITER 743 NEW BEST:: SOT 7477 SOS 3457 HAS SOPS 3002 HAS SOUS 1605 HAS SOUPS 1368 WITH SCORE 1371.457
AT ITER 760 NEW BEST:: SOT 7477 SOS 3457 HAS SOPS 3002 HAS SOUS 1600 HAS SOUPS 1363 WITH SCORE 1366.457
AT ITER 775 NEW BEST:: SOT 7487 SOS 3459 HAS SOPS 3004 HAS SOUS 1599 HAS SOUPS 1362 WITH SCORE 1365.459
AT ITER 802 NEW BEST:: SOT 7486 SOS 3441 HAS SOPS 2986 HAS SOUS 1594 HAS SOUPS 1357 WITH SCORE 1360.441
AT ITER 816 NEW BEST:: SOT 7486 SOS 3435 HAS SOPS 2986 HAS SOUS 1588 HAS SOUPS 1357 WITH SCORE 1360.435
AT ITER 821 NEW BEST:: SOT 7481 SOS 3437 HAS SOPS 2988 HAS SOUS 1584 HAS SOUPS 1353 WITH SCORE 1356.437
AT ITER 835 NEW BEST:: SOT 7482 SOS 3436 HAS SOPS 2987 HAS SOUS 1582 HAS SOUPS 1351 WITH SCORE 1354.436
AT ITER 841 NEW BEST:: SOT 7482 SOS 3250 HAS SOPS 2783 HAS SOUS 1574 HAS SOUPS 1343 WITH SCORE 1346.25
AT ITER 850 NEW BEST:: SOT 7472 SOS 3240 HAS SOPS 2763 HAS SOUS 1569 HAS SOUPS 1332 WITH SCORE 1335.24
AT ITER 856 NEW BEST:: SOT 7472 SOS 3232 HAS SOPS 2755 HAS SOUS 1567 HAS SOUPS 1330 WITH SCORE 1333.232
AT ITER 876 NEW BEST:: SOT 7470 SOS 3230 HAS SOPS 2751 HAS SOUS 1563 HAS SOUPS 1326 WITH SCORE 1329.23
AT ITER 884 NEW BEST:: SOT 7497 SOS 3217 HAS SOPS 2738 HAS SOUS 1546 HAS SOUPS 1309 WITH SCORE 1312.217
AT ITER 920 NEW BEST:: SOT 7479 SOS 3185 HAS SOPS 2706 HAS SOUS 1525 HAS SOUPS 1288 WITH SCORE 1291.185
AT ITER 937 NEW BEST:: SOT 7459 SOS 3149 HAS SOPS 2662 HAS SOUS 1528 HAS SOUPS 1288 WITH SCORE 1291.149
AT ITER 962 NEW BEST:: SOT 7457 SOS 3148 HAS SOPS 2662 HAS SOUS 1527 HAS SOUPS 1288 WITH SCORE 1291.148
AT ITER 987 NEW BEST:: SOT 7458 SOS 3147 HAS SOPS 2661 HAS SOUS 1526 HAS SOUPS 1287 WITH SCORE 1290.147
AT ITER 996 NEW BEST:: SOT 7440 SOS 3155 HAS SOPS 2615 HAS SOUS 1525 HAS SOUPS 1273 WITH SCORE 1276.155
AT ITER 1003 NEW BEST:: SOT 7450 SOS 3167 HAS SOPS 2635 HAS SOUS 1510 HAS SOUPS 1261 WITH SCORE 1264.167
AT ITER 1004 NEW BEST:: SOT 7447 SOS 3160 HAS SOPS 2628 HAS SOUS 1506 HAS SOUPS 1257 WITH SCORE 1260.16
AT ITER 1007 NEW BEST:: SOT 7434 SOS 3157 HAS SOPS 2625 HAS SOUS 1504 HAS SOUPS 1255 WITH SCORE 1258.157
AT ITER 1011 NEW BEST:: SOT 7433 SOS 3156 HAS SOPS 2623 HAS SOUS 1502 HAS SOUPS 1253 WITH SCORE 1256.156
AT ITER 1019 NEW BEST:: SOT 7328 SOS 3456 HAS SOPS 2575 HAS SOUS 1495 HAS SOUPS 1241 WITH SCORE 1244.456
AT ITER 1044 NEW BEST:: SOT 7327 SOS 3456 HAS SOPS 2572 HAS SOUS 1495 HAS SOUPS 1240 WITH SCORE 1243.456
AT ITER 1045 NEW BEST:: SOT 7327 SOS 3456 HAS SOPS 2572 HAS SOUS 1490 HAS SOUPS 1235 WITH SCORE 1238.456
AT ITER 1062 NEW BEST:: SOT 7327 SOS 3459 HAS SOPS 2575 HAS SOUS 1488 HAS SOUPS 1233 WITH SCORE 1236.459
AT ITER 1065 NEW BEST:: SOT 7321 SOS 3455 HAS SOPS 2571 HAS SOUS 1488 HAS SOUPS 1233 WITH SCORE 1236.455
AT ITER 1067 NEW BEST:: SOT 7295 SOS 3443 HAS SOPS 2559 HAS SOUS 1487 HAS SOUPS 1232 WITH SCORE 1235.443
AT ITER 1110 NEW BEST:: SOT 7290 SOS 3439 HAS SOPS 2555 HAS SOUS 1485 HAS SOUPS 1230 WITH SCORE 1233.439
AT ITER 1134 NEW BEST:: SOT 7307 SOS 3448 HAS SOPS 2559 HAS SOUS 1479 HAS SOUPS 1224 WITH SCORE 1227.448
AT ITER 1179 NEW BEST:: SOT 7282 SOS 3433 HAS SOPS 2555 HAS SOUS 1469 HAS SOUPS 1220 WITH SCORE 1223.433
AT ITER 1270 NEW BEST:: SOT 7269 SOS 3427 HAS SOPS 2523 HAS SOUS 1467 HAS SOUPS 1217 WITH SCORE 1220.427
AT ITER 1271 NEW BEST:: SOT 7293 SOS 3174 HAS SOPS 2523 HAS SOUS 1455 HAS SOUPS 1211 WITH SCORE 1214.174
AT ITER 1314 NEW BEST:: SOT 7290 SOS 3150 HAS SOPS 2499 HAS SOUS 1452 HAS SOUPS 1208 WITH SCORE 1211.15
AT ITER 1347 NEW BEST:: SOT 7287 SOS 3113 HAS SOPS 2403 HAS SOUS 1452 HAS SOUPS 1204 WITH SCORE 1207.113
AT ITER 1369 NEW BEST:: SOT 7310 SOS 3134 HAS SOPS 2417 HAS SOUS 1455 HAS SOUPS 1200 WITH SCORE 1203.134
AT ITER 1374 NEW BEST:: SOT 7355 SOS 2976 HAS SOPS 2387 HAS SOUS 1461 HAS SOUPS 1192 WITH SCORE 1194.976
AT ITER 1412 NEW BEST:: SOT 7363 SOS 2984 HAS SOPS 2394 HAS SOUS 1460 HAS SOUPS 1191 WITH SCORE 1193.984
AT ITER 1589 NEW BEST:: SOT 7362 SOS 2984 HAS SOPS 2391 HAS SOUS 1459 HAS SOUPS 1189 WITH SCORE 1191.984
AT ITER 1609 NEW BEST:: SOT 7359 SOS 2978 HAS SOPS 2385 HAS SOUS 1455 HAS SOUPS 1185 WITH SCORE 1187.978
AT ITER 1670 NEW BEST:: SOT 7358 SOS 2977 HAS SOPS 2383 HAS SOUS 1453 HAS SOUPS 1183 WITH SCORE 1185.977
AT ITER 1759 NEW BEST:: SOT 7360 SOS 2969 HAS SOPS 2375 HAS SOUS 1453 HAS SOUPS 1183 WITH SCORE 1185.969
AT ITER 1773 NEW BEST:: SOT 7299 SOS 3025 HAS SOPS 2188 HAS SOUS 1442 HAS SOUPS 1157 WITH SCORE 1160.025
AT ITER 1797 NEW BEST:: SOT 7297 SOS 3025 HAS SOPS 2187 HAS SOUS 1440 HAS SOUPS 1155 WITH SCORE 1158.025
AT ITER 1960 NEW BEST:: SOT 7291 SOS 3016 HAS SOPS 2178 HAS SOUS 1437 HAS SOUPS 1152 WITH SCORE 1155.016
AT ITER 1970 NEW BEST:: SOT 7296 SOS 3022 HAS SOPS 1880 HAS SOUS 1455 HAS SOUPS 1109 WITH SCORE 1112.022
AT ITER 2054 NEW BEST:: SOT 7296 SOS 3018 HAS SOPS 1724 HAS SOUS 1446 HAS SOUPS 1061 WITH SCORE 1064.018
AT ITER 2066 NEW BEST:: SOT 7294 SOS 2998 HAS SOPS 1704 HAS SOUS 1435 HAS SOUPS 1050 WITH SCORE 1052.998
AT ITER 2076 NEW BEST:: SOT 7298 SOS 2990 HAS SOPS 1696 HAS SOUS 1427 HAS SOUPS 1042 WITH SCORE 1044.99
AT ITER 2124 NEW BEST:: SOT 7298 SOS 2983 HAS SOPS 1689 HAS SOUS 1422 HAS SOUPS 1037 WITH SCORE 1039.983
AT ITER 2203 NEW BEST:: SOT 7293 SOS 3002 HAS SOPS 1688 HAS SOUS 1423 HAS SOUPS 1034 WITH SCORE 1037.002
AT ITER 2247 NEW BEST:: SOT 7285 SOS 2991 HAS SOPS 1669 HAS SOUS 1419 HAS SOUPS 1030 WITH SCORE 1032.991
AT ITER 2425 NEW BEST:: SOT 7276 SOS 2978 HAS SOPS 1656 HAS SOUS 1410 HAS SOUPS 1021 WITH SCORE 1023.978
AT ITER 2477 NEW BEST:: SOT 7275 SOS 2976 HAS SOPS 1656 HAS SOUS 1410 HAS SOUPS 1021 WITH SCORE 1023.976
AT ITER 2551 NEW BEST:: SOT 7272 SOS 2976 HAS SOPS 1654 HAS SOUS 1409 HAS SOUPS 1019 WITH SCORE 1021.976
AT ITER 2688 NEW BEST:: SOT 7267 SOS 2974 HAS SOPS 1652 HAS SOUS 1409 HAS SOUPS 1019 WITH SCORE 1021.974
AT ITER 2705 NEW BEST:: SOT 7267 SOS 2969 HAS SOPS 1652 HAS SOUS 1404 HAS SOUPS 1019 WITH SCORE 1021.969
AT ITER 2810 NEW BEST:: SOT 7284 SOS 2958 HAS SOPS 1610 HAS SOUS 1404 HAS SOUPS 1019 WITH SCORE 1021.958
AT ITER 2832 NEW BEST:: SOT 7299 SOS 2966 HAS SOPS 1618 HAS SOUS 1402 HAS SOUPS 1017 WITH SCORE 1019.966
AT ITER 2877 NEW BEST:: SOT 7299 SOS 2965 HAS SOPS 1617 HAS SOUS 1402 HAS SOUPS 1017 WITH SCORE 1019.965
AT ITER 2878 NEW BEST:: SOT 7303 SOS 2963 HAS SOPS 1619 HAS SOUS 1400 HAS SOUPS 1017 WITH SCORE 1019.963
AT ITER 3010 NEW BEST:: SOT 7314 SOS 2969 HAS SOPS 1656 HAS SOUS 1398 HAS SOUPS 1015 WITH SCORE 1017.969
AT ITER 3022 NEW BEST:: SOT 7308 SOS 2987 HAS SOPS 1648 HAS SOUS 1404 HAS SOUPS 1013 WITH SCORE 1015.987
AT ITER 3136 NEW BEST:: SOT 7305 SOS 3035 HAS SOPS 1631 HAS SOUS 1408 HAS SOUPS 1002 WITH SCORE 1005.035
AT ITER 3170 NEW BEST:: SOT 7307 SOS 3029 HAS SOPS 1625 HAS SOUS 1408 HAS SOUPS 1002 WITH SCORE 1005.029
AT ITER 3249 NEW BEST:: SOT 7303 SOS 3026 HAS SOPS 1621 HAS SOUS 1406 HAS SOUPS 1000 WITH SCORE 1003.026
AT ITER 3260 NEW BEST:: SOT 7305 SOS 3027 HAS SOPS 1620 HAS SOUS 1406 HAS SOUPS 999 WITH SCORE 1002.027
AT ITER 3285 NEW BEST:: SOT 7304 SOS 3027 HAS SOPS 1616 HAS SOUS 1402 HAS SOUPS 995 WITH SCORE 998.027
AT ITER 3329 NEW BEST:: SOT 7298 SOS 3018 HAS SOPS 1608 HAS SOUS 1397 HAS SOUPS 990 WITH SCORE 993.018
AT ITER 3358 NEW BEST:: SOT 7298 SOS 3008 HAS SOPS 1598 HAS SOUS 1393 HAS SOUPS 986 WITH SCORE 989.008
AT ITER 3381 NEW BEST:: SOT 7291 SOS 3006 HAS SOPS 1586 HAS SOUS 1393 HAS SOUPS 983 WITH SCORE 986.006
AT ITER 3454 NEW BEST:: SOT 7282 SOS 2997 HAS SOPS 1577 HAS SOUS 1391 HAS SOUPS 981 WITH SCORE 983.997
AT ITER 3515 NEW BEST:: SOT 7281 SOS 2989 HAS SOPS 1580 HAS SOUS 1389 HAS SOUPS 981 WITH SCORE 983.989
AT ITER 3625 NEW BEST:: SOT 7283 SOS 2987 HAS SOPS 1579 HAS SOUS 1388 HAS SOUPS 981 WITH SCORE 983.987
AT ITER 3714 NEW BEST:: SOT 7282 SOS 2987 HAS SOPS 1576 HAS SOUS 1387 HAS SOUPS 979 WITH SCORE 981.987
AT ITER 3798 NEW BEST:: SOT 7275 SOS 2991 HAS SOPS 1571 HAS SOUS 1390 HAS SOUPS 970 WITH SCORE 972.991
AT ITER 3826 NEW BEST:: SOT 7271 SOS 2999 HAS SOPS 1575 HAS SOUS 1391 HAS SOUPS 969 WITH SCORE 971.999
AT ITER 3868 NEW BEST:: SOT 7267 SOS 2991 HAS SOPS 1575 HAS SOUS 1385 HAS SOUPS 967 WITH SCORE 969.991
AT ITER 3890 NEW BEST:: SOT 7269 SOS 3004 HAS SOPS 1588 HAS SOUS 1376 HAS SOUPS 958 WITH SCORE 961.004
AT ITER 3891 NEW BEST:: SOT 7220 SOS 2973 HAS SOPS 1585 HAS SOUS 1359 HAS SOUPS 949 WITH SCORE 951.973
AT ITER 3895 NEW BEST:: SOT 7217 SOS 2968 HAS SOPS 1581 HAS SOUS 1357 HAS SOUPS 947 WITH SCORE 949.968
AT ITER 3933 NEW BEST:: SOT 7216 SOS 2963 HAS SOPS 1573 HAS SOUS 1345 HAS SOUPS 938 WITH SCORE 940.963
AT ITER 4424 NEW BEST:: SOT 7202 SOS 2949 HAS SOPS 1559 HAS SOUS 1342 HAS SOUPS 935 WITH SCORE 937.949
AT ITER 4467 NEW BEST:: SOT 7190 SOS 2941 HAS SOPS 1558 HAS SOUS 1339 HAS SOUPS 934 WITH SCORE 936.941
AT ITER 4623 NEW BEST:: SOT 7192 SOS 2935 HAS SOPS 1552 HAS SOUS 1339 HAS SOUPS 934 WITH SCORE 936.935
AT ITER 4668 NEW BEST:: SOT 7191 SOS 2933 HAS SOPS 1550 HAS SOUS 1338 HAS SOUPS 933 WITH SCORE 935.933
AT ITER 4691 NEW BEST:: SOT 7189 SOS 2928 HAS SOPS 1545 HAS SOUS 1336 HAS SOUPS 931 WITH SCORE 933.928
AT ITER 4763 NEW BEST:: SOT 7186 SOS 2925 HAS SOPS 1542 HAS SOUS 1333 HAS SOUPS 928 WITH SCORE 930.925
AT ITER 5123 NEW BEST:: SOT 7182 SOS 2922 HAS SOPS 1540 HAS SOUS 1330 HAS SOUPS 926 WITH SCORE 928.922
AT ITER 5239 NEW BEST:: SOT 7170 SOS 2915 HAS SOPS 1540 HAS SOUS 1326 HAS SOUPS 924 WITH SCORE 926.915
AT ITER 5309 NEW BEST:: SOT 7170 SOS 2916 HAS SOPS 1541 HAS SOUS 1325 HAS SOUPS 923 WITH SCORE 925.916
AT ITER 5375 NEW BEST:: SOT 7172 SOS 2917 HAS SOPS 1541 HAS SOUS 1323 HAS SOUPS 920 WITH SCORE 922.917
AT ITER 5577 NEW BEST:: SOT 7174 SOS 2901 HAS SOPS 1540 HAS SOUS 1325 HAS SOUPS 919 WITH SCORE 921.901
AT ITER 5684 NEW BEST:: SOT 7169 SOS 2882 HAS SOPS 1538 HAS SOUS 1324 HAS SOUPS 919 WITH SCORE 921.882
AT ITER 5788 NEW BEST:: SOT 7139 SOS 2862 HAS SOPS 1538 HAS SOUS 1314 HAS SOUPS 919 WITH SCORE 921.862
AT ITER 5879 NEW BEST:: SOT 7144 SOS 2833 HAS SOPS 1541 HAS SOUS 1313 HAS SOUPS 919 WITH SCORE 921.833
AT ITER 6125 NEW BEST:: SOT 7144 SOS 2834 HAS SOPS 1542 HAS SOUS 1312 HAS SOUPS 918 WITH SCORE 920.834
AT ITER 6238 NEW BEST:: SOT 7146 SOS 2836 HAS SOPS 1541 HAS SOUS 1312 HAS SOUPS 917 WITH SCORE 919.836
AT ITER 6437 NEW BEST:: SOT 7143 SOS 2833 HAS SOPS 1540 HAS SOUS 1312 HAS SOUPS 917 WITH SCORE 919.833
AT ITER 6554 NEW BEST:: SOT 7139 SOS 2830 HAS SOPS 1536 HAS SOUS 1310 HAS SOUPS 915 WITH SCORE 917.83
AT ITER 6983 NEW BEST:: SOT 7148 SOS 2758 HAS SOPS 1536 HAS SOUS 1306 HAS SOUPS 914 WITH SCORE 916.758
AT ITER 7009 NEW BEST:: SOT 7143 SOS 2779 HAS SOPS 1536 HAS SOUS 1305 HAS SOUPS 913 WITH SCORE 915.779
AT ITER 7696 NEW BEST:: SOT 7142 SOS 2797 HAS SOPS 1535 HAS SOUS 1308 HAS SOUPS 912 WITH SCORE 914.797
AT ITER 8462 NEW BEST:: SOT 7139 SOS 2796 HAS SOPS 1534 HAS SOUS 1307 HAS SOUPS 911 WITH SCORE 913.796
AT ITER 8987 NEW BEST:: SOT 7155 SOS 2742 HAS SOPS 1542 HAS SOUS 1302 HAS SOUPS 911 WITH SCORE 913.742
AT ITER 9087 NEW BEST:: SOT 7148 SOS 2750 HAS SOPS 1536 HAS SOUS 1299 HAS SOUPS 910 WITH SCORE 912.75
AT ITER 9797 NEW BEST:: SOT 7145 SOS 2754 HAS SOPS 1528 HAS SOUS 1300 HAS SOUPS 909 WITH SCORE 911.754
STATE_SPACE STATES 4807 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 87600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678336920555

--------------------
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
free(): double free detected in tcache 2
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 478 Aborted ${SMART}/smart ${INPUT_SM}

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="CloudDeployment-PT-2a"
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 CloudDeployment-PT-2a, 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 r075-smll-167814401000368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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