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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 7.5K Feb 25 12:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 12:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 12:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 12:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 12:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1678450876550

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-06a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 75 places, 154 transitions, 599 arcs.
AT ITER 0 NEW BEST:: SOT 9261 SOS 6945 HAS SOPS 6945 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4697.945
AT ITER 2 NEW BEST:: SOT 9287 SOS 7021 HAS SOPS 7021 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4573.021
AT ITER 6 NEW BEST:: SOT 9116 SOS 6843 HAS SOPS 6843 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4485.843
AT ITER 9 NEW BEST:: SOT 9122 SOS 6855 HAS SOPS 6855 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4484.855
AT ITER 10 NEW BEST:: SOT 9140 SOS 6831 HAS SOPS 6831 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.831
AT ITER 12 NEW BEST:: SOT 9069 SOS 6760 HAS SOPS 6760 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4407.76
AT ITER 15 NEW BEST:: SOT 9073 SOS 6693 HAS SOPS 6693 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4300.693
AT ITER 16 NEW BEST:: SOT 9052 SOS 6672 HAS SOPS 6672 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4267.672
AT ITER 17 NEW BEST:: SOT 8984 SOS 6587 HAS SOPS 6587 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4197.587
AT ITER 19 NEW BEST:: SOT 9158 SOS 6570 HAS SOPS 6565 HAS SOUS 4159 HAS SOUPS 4154 WITH SCORE 4160.57
AT ITER 20 NEW BEST:: SOT 9161 SOS 6495 HAS SOPS 6490 HAS SOUS 4140 HAS SOUPS 4135 WITH SCORE 4141.495
AT ITER 23 NEW BEST:: SOT 9178 SOS 6480 HAS SOPS 6475 HAS SOUS 4131 HAS SOUPS 4126 WITH SCORE 4132.48
AT ITER 26 NEW BEST:: SOT 9122 SOS 6428 HAS SOPS 6423 HAS SOUS 4104 HAS SOUPS 4099 WITH SCORE 4105.428
AT ITER 28 NEW BEST:: SOT 9128 SOS 6439 HAS SOPS 6434 HAS SOUS 4102 HAS SOUPS 4097 WITH SCORE 4103.439
AT ITER 31 NEW BEST:: SOT 9065 SOS 6351 HAS SOPS 6346 HAS SOUS 4046 HAS SOUPS 4041 WITH SCORE 4047.351
AT ITER 35 NEW BEST:: SOT 9061 SOS 6336 HAS SOPS 6331 HAS SOUS 4043 HAS SOUPS 4038 WITH SCORE 4044.336
AT ITER 37 NEW BEST:: SOT 9062 SOS 6336 HAS SOPS 6331 HAS SOUS 4036 HAS SOUPS 4031 WITH SCORE 4037.336
AT ITER 42 NEW BEST:: SOT 9060 SOS 6330 HAS SOPS 6325 HAS SOUS 4032 HAS SOUPS 4027 WITH SCORE 4033.33
AT ITER 44 NEW BEST:: SOT 8290 SOS 5610 HAS SOPS 5462 HAS SOUS 3592 HAS SOUPS 3538 WITH SCORE 3543.61
AT ITER 48 NEW BEST:: SOT 8318 SOS 5471 HAS SOPS 5316 HAS SOUS 3544 HAS SOUPS 3490 WITH SCORE 3495.471
AT ITER 53 NEW BEST:: SOT 8316 SOS 5467 HAS SOPS 5311 HAS SOUS 3541 HAS SOUPS 3487 WITH SCORE 3492.467
AT ITER 54 NEW BEST:: SOT 8318 SOS 5462 HAS SOPS 5306 HAS SOUS 3536 HAS SOUPS 3482 WITH SCORE 3487.462
AT ITER 61 NEW BEST:: SOT 8329 SOS 5483 HAS SOPS 5295 HAS SOUS 3493 HAS SOUPS 3439 WITH SCORE 3444.483
AT ITER 71 NEW BEST:: SOT 8329 SOS 5453 HAS SOPS 5265 HAS SOUS 3463 HAS SOUPS 3409 WITH SCORE 3414.453
AT ITER 74 NEW BEST:: SOT 8338 SOS 5438 HAS SOPS 5229 HAS SOUS 3427 HAS SOUPS 3373 WITH SCORE 3378.438
AT ITER 77 NEW BEST:: SOT 7855 SOS 4980 HAS SOPS 4771 HAS SOUS 3223 HAS SOUPS 3169 WITH SCORE 3173.98
AT ITER 79 NEW BEST:: SOT 7834 SOS 4968 HAS SOPS 4759 HAS SOUS 3211 HAS SOUPS 3157 WITH SCORE 3161.968
AT ITER 80 NEW BEST:: SOT 7753 SOS 4758 HAS SOPS 4449 HAS SOUS 2949 HAS SOUPS 2895 WITH SCORE 2899.758
AT ITER 84 NEW BEST:: SOT 7763 SOS 4793 HAS SOPS 4468 HAS SOUS 2948 HAS SOUPS 2894 WITH SCORE 2898.793
AT ITER 85 NEW BEST:: SOT 7912 SOS 5489 HAS SOPS 4104 HAS SOUS 2841 HAS SOUPS 2727 WITH SCORE 2732.489
AT ITER 88 NEW BEST:: SOT 7863 SOS 5440 HAS SOPS 4048 HAS SOUS 2812 HAS SOUPS 2698 WITH SCORE 2703.44
AT ITER 90 NEW BEST:: SOT 7844 SOS 5392 HAS SOPS 3972 HAS SOUS 2738 HAS SOUPS 2624 WITH SCORE 2629.392
AT ITER 95 NEW BEST:: SOT 7826 SOS 5370 HAS SOPS 3936 HAS SOUS 2711 HAS SOUPS 2597 WITH SCORE 2602.37
AT ITER 97 NEW BEST:: SOT 7387 SOS 4973 HAS SOPS 3727 HAS SOUS 2582 HAS SOUPS 2468 WITH SCORE 2472.973
AT ITER 100 NEW BEST:: SOT 7346 SOS 4931 HAS SOPS 3645 HAS SOUS 2494 HAS SOUPS 2380 WITH SCORE 2384.931
AT ITER 107 NEW BEST:: SOT 7322 SOS 4907 HAS SOPS 3617 HAS SOUS 2466 HAS SOUPS 2352 WITH SCORE 2356.907
AT ITER 117 NEW BEST:: SOT 7204 SOS 4793 HAS SOPS 3507 HAS SOUS 2415 HAS SOUPS 2305 WITH SCORE 2309.793
AT ITER 120 NEW BEST:: SOT 7089 SOS 4741 HAS SOPS 3455 HAS SOUS 2401 HAS SOUPS 2291 WITH SCORE 2295.741
AT ITER 121 NEW BEST:: SOT 7103 SOS 4734 HAS SOPS 3457 HAS SOUS 2396 HAS SOUPS 2286 WITH SCORE 2290.734
AT ITER 123 NEW BEST:: SOT 7102 SOS 4732 HAS SOPS 3451 HAS SOUS 2386 HAS SOUPS 2276 WITH SCORE 2280.732
AT ITER 131 NEW BEST:: SOT 7100 SOS 4728 HAS SOPS 3447 HAS SOUS 2384 HAS SOUPS 2274 WITH SCORE 2278.728
AT ITER 133 NEW BEST:: SOT 7106 SOS 4734 HAS SOPS 3450 HAS SOUS 2378 HAS SOUPS 2268 WITH SCORE 2272.734
AT ITER 134 NEW BEST:: SOT 7105 SOS 4735 HAS SOPS 3449 HAS SOUS 2376 HAS SOUPS 2266 WITH SCORE 2270.735
AT ITER 139 NEW BEST:: SOT 7103 SOS 4736 HAS SOPS 3445 HAS SOUS 2375 HAS SOUPS 2265 WITH SCORE 2269.736
AT ITER 143 NEW BEST:: SOT 7066 SOS 4698 HAS SOPS 3379 HAS SOUS 2338 HAS SOUPS 2228 WITH SCORE 2232.698
AT ITER 146 NEW BEST:: SOT 7068 SOS 4674 HAS SOPS 3365 HAS SOUS 2332 HAS SOUPS 2222 WITH SCORE 2226.674
AT ITER 153 NEW BEST:: SOT 7060 SOS 4666 HAS SOPS 3349 HAS SOUS 2316 HAS SOUPS 2206 WITH SCORE 2210.666
AT ITER 163 NEW BEST:: SOT 7047 SOS 4592 HAS SOPS 3323 HAS SOUS 2290 HAS SOUPS 2180 WITH SCORE 2184.592
AT ITER 182 NEW BEST:: SOT 7041 SOS 4586 HAS SOPS 3314 HAS SOUS 2281 HAS SOUPS 2171 WITH SCORE 2175.586
AT ITER 191 NEW BEST:: SOT 7039 SOS 4583 HAS SOPS 3310 HAS SOUS 2277 HAS SOUPS 2167 WITH SCORE 2171.583
AT ITER 197 NEW BEST:: SOT 7039 SOS 4566 HAS SOPS 3300 HAS SOUS 2274 HAS SOUPS 2164 WITH SCORE 2168.566
AT ITER 198 NEW BEST:: SOT 7036 SOS 4550 HAS SOPS 3279 HAS SOUS 2256 HAS SOUPS 2146 WITH SCORE 2150.55
AT ITER 201 NEW BEST:: SOT 7035 SOS 4549 HAS SOPS 3277 HAS SOUS 2255 HAS SOUPS 2144 WITH SCORE 2148.549
AT ITER 222 NEW BEST:: SOT 7033 SOS 4562 HAS SOPS 3273 HAS SOUS 2238 HAS SOUPS 2127 WITH SCORE 2131.562
AT ITER 231 NEW BEST:: SOT 7030 SOS 4559 HAS SOPS 3267 HAS SOUS 2232 HAS SOUPS 2121 WITH SCORE 2125.559
AT ITER 240 NEW BEST:: SOT 7015 SOS 4497 HAS SOPS 3221 HAS SOUS 2202 HAS SOUPS 2091 WITH SCORE 2095.497
AT ITER 243 NEW BEST:: SOT 7012 SOS 4494 HAS SOPS 3215 HAS SOUS 2202 HAS SOUPS 2091 WITH SCORE 2095.494
AT ITER 247 NEW BEST:: SOT 7012 SOS 4471 HAS SOPS 3192 HAS SOUS 2179 HAS SOUPS 2068 WITH SCORE 2072.471
AT ITER 251 NEW BEST:: SOT 7010 SOS 4469 HAS SOPS 3188 HAS SOUS 2175 HAS SOUPS 2064 WITH SCORE 2068.469
AT ITER 252 NEW BEST:: SOT 7074 SOS 4494 HAS SOPS 3217 HAS SOUS 2171 HAS SOUPS 2060 WITH SCORE 2064.494
AT ITER 254 NEW BEST:: SOT 7033 SOS 4456 HAS SOPS 3179 HAS SOUS 2166 HAS SOUPS 2055 WITH SCORE 2059.456
AT ITER 255 NEW BEST:: SOT 7031 SOS 4453 HAS SOPS 3175 HAS SOUS 2163 HAS SOUPS 2052 WITH SCORE 2056.453
AT ITER 259 NEW BEST:: SOT 7028 SOS 4450 HAS SOPS 3169 HAS SOUS 2159 HAS SOUPS 2048 WITH SCORE 2052.45
AT ITER 265 NEW BEST:: SOT 7024 SOS 4442 HAS SOPS 3161 HAS SOUS 2155 HAS SOUPS 2044 WITH SCORE 2048.442
AT ITER 269 NEW BEST:: SOT 7018 SOS 4438 HAS SOPS 3157 HAS SOUS 2151 HAS SOUPS 2040 WITH SCORE 2044.438
AT ITER 273 NEW BEST:: SOT 7018 SOS 4437 HAS SOPS 3157 HAS SOUS 2149 HAS SOUPS 2038 WITH SCORE 2042.437
AT ITER 277 NEW BEST:: SOT 7038 SOS 4433 HAS SOPS 3153 HAS SOUS 2100 HAS SOUPS 1989 WITH SCORE 1993.433
AT ITER 279 NEW BEST:: SOT 7041 SOS 4425 HAS SOPS 3115 HAS SOUS 2071 HAS SOUPS 1958 WITH SCORE 1962.425
AT ITER 292 NEW BEST:: SOT 7024 SOS 4368 HAS SOPS 3058 HAS SOUS 2013 HAS SOUPS 1900 WITH SCORE 1904.368
AT ITER 299 NEW BEST:: SOT 7007 SOS 4371 HAS SOPS 3041 HAS SOUS 2004 HAS SOUPS 1891 WITH SCORE 1895.371
AT ITER 314 NEW BEST:: SOT 6999 SOS 4363 HAS SOPS 3029 HAS SOUS 2000 HAS SOUPS 1887 WITH SCORE 1891.363
AT ITER 315 NEW BEST:: SOT 6998 SOS 4380 HAS SOPS 3041 HAS SOUS 1999 HAS SOUPS 1886 WITH SCORE 1890.38
AT ITER 328 NEW BEST:: SOT 7006 SOS 4386 HAS SOPS 3046 HAS SOUS 1995 HAS SOUPS 1882 WITH SCORE 1886.386
AT ITER 329 NEW BEST:: SOT 7006 SOS 4343 HAS SOPS 3003 HAS SOUS 1979 HAS SOUPS 1866 WITH SCORE 1870.343
AT ITER 340 NEW BEST:: SOT 6998 SOS 4325 HAS SOPS 2987 HAS SOUS 1970 HAS SOUPS 1857 WITH SCORE 1861.325
AT ITER 344 NEW BEST:: SOT 6980 SOS 4323 HAS SOPS 3008 HAS SOUS 1966 HAS SOUPS 1853 WITH SCORE 1857.323
AT ITER 347 NEW BEST:: SOT 6975 SOS 4313 HAS SOPS 2993 HAS SOUS 1951 HAS SOUPS 1838 WITH SCORE 1842.313
AT ITER 360 NEW BEST:: SOT 6972 SOS 4307 HAS SOPS 2984 HAS SOUS 1939 HAS SOUPS 1826 WITH SCORE 1830.307
AT ITER 364 NEW BEST:: SOT 6972 SOS 4303 HAS SOPS 2980 HAS SOUS 1935 HAS SOUPS 1822 WITH SCORE 1826.303
AT ITER 375 NEW BEST:: SOT 6963 SOS 4292 HAS SOPS 2942 HAS SOUS 1897 HAS SOUPS 1784 WITH SCORE 1788.292
AT ITER 389 NEW BEST:: SOT 6963 SOS 4288 HAS SOPS 2937 HAS SOUS 1894 HAS SOUPS 1781 WITH SCORE 1785.288
AT ITER 392 NEW BEST:: SOT 6958 SOS 4278 HAS SOPS 2927 HAS SOUS 1886 HAS SOUPS 1773 WITH SCORE 1777.278
AT ITER 398 NEW BEST:: SOT 6888 SOS 4238 HAS SOPS 2847 HAS SOUS 1836 HAS SOUPS 1723 WITH SCORE 1727.238
AT ITER 437 NEW BEST:: SOT 6886 SOS 4227 HAS SOPS 2838 HAS SOUS 1834 HAS SOUPS 1721 WITH SCORE 1725.227
AT ITER 445 NEW BEST:: SOT 6886 SOS 4209 HAS SOPS 2829 HAS SOUS 1834 HAS SOUPS 1721 WITH SCORE 1725.209
AT ITER 450 NEW BEST:: SOT 6886 SOS 4228 HAS SOPS 2829 HAS SOUS 1815 HAS SOUPS 1702 WITH SCORE 1706.228
AT ITER 451 NEW BEST:: SOT 6886 SOS 4230 HAS SOPS 2829 HAS SOUS 1813 HAS SOUPS 1700 WITH SCORE 1704.23
AT ITER 456 NEW BEST:: SOT 6878 SOS 4214 HAS SOPS 2813 HAS SOUS 1805 HAS SOUPS 1692 WITH SCORE 1696.214
AT ITER 463 NEW BEST:: SOT 6847 SOS 4197 HAS SOPS 2787 HAS SOUS 1793 HAS SOUPS 1680 WITH SCORE 1684.197
AT ITER 467 NEW BEST:: SOT 6840 SOS 4186 HAS SOPS 2773 HAS SOUS 1779 HAS SOUPS 1666 WITH SCORE 1670.186
AT ITER 478 NEW BEST:: SOT 6856 SOS 4184 HAS SOPS 2748 HAS SOUS 1779 HAS SOUPS 1666 WITH SCORE 1670.184
AT ITER 484 NEW BEST:: SOT 6853 SOS 4184 HAS SOPS 2745 HAS SOUS 1776 HAS SOUPS 1663 WITH SCORE 1667.184
AT ITER 491 NEW BEST:: SOT 6834 SOS 4164 HAS SOPS 2725 HAS SOUS 1767 HAS SOUPS 1656 WITH SCORE 1660.164
AT ITER 504 NEW BEST:: SOT 6828 SOS 4158 HAS SOPS 2713 HAS SOUS 1755 HAS SOUPS 1644 WITH SCORE 1648.158
AT ITER 522 NEW BEST:: SOT 6887 SOS 4196 HAS SOPS 2746 HAS SOUS 1753 HAS SOUPS 1642 WITH SCORE 1646.196
AT ITER 540 NEW BEST:: SOT 6883 SOS 4197 HAS SOPS 2738 HAS SOUS 1745 HAS SOUPS 1634 WITH SCORE 1638.197
AT ITER 543 NEW BEST:: SOT 6873 SOS 4183 HAS SOPS 2718 HAS SOUS 1736 HAS SOUPS 1622 WITH SCORE 1626.183
AT ITER 548 NEW BEST:: SOT 6873 SOS 4180 HAS SOPS 2715 HAS SOUS 1733 HAS SOUPS 1619 WITH SCORE 1623.18
AT ITER 560 NEW BEST:: SOT 6908 SOS 4080 HAS SOPS 2495 HAS SOUS 1666 HAS SOUPS 1552 WITH SCORE 1556.08
AT ITER 568 NEW BEST:: SOT 6899 SOS 3966 HAS SOPS 2389 HAS SOUS 1656 HAS SOUPS 1542 WITH SCORE 1545.966
AT ITER 571 NEW BEST:: SOT 6904 SOS 3958 HAS SOPS 2390 HAS SOUS 1652 HAS SOUPS 1538 WITH SCORE 1541.958
AT ITER 581 NEW BEST:: SOT 6901 SOS 3955 HAS SOPS 2386 HAS SOUS 1649 HAS SOUPS 1534 WITH SCORE 1537.955
AT ITER 614 NEW BEST:: SOT 6897 SOS 3951 HAS SOPS 2382 HAS SOUS 1645 HAS SOUPS 1530 WITH SCORE 1533.951
AT ITER 620 NEW BEST:: SOT 6891 SOS 3945 HAS SOPS 2376 HAS SOUS 1641 HAS SOUPS 1526 WITH SCORE 1529.945
AT ITER 627 NEW BEST:: SOT 6882 SOS 3918 HAS SOPS 2349 HAS SOUS 1623 HAS SOUPS 1508 WITH SCORE 1511.918
AT ITER 642 NEW BEST:: SOT 6882 SOS 3917 HAS SOPS 2348 HAS SOUS 1622 HAS SOUPS 1507 WITH SCORE 1510.917
AT ITER 645 NEW BEST:: SOT 6879 SOS 3895 HAS SOPS 2333 HAS SOUS 1617 HAS SOUPS 1502 WITH SCORE 1505.895
AT ITER 651 NEW BEST:: SOT 6872 SOS 3883 HAS SOPS 2319 HAS SOUS 1609 HAS SOUPS 1494 WITH SCORE 1497.883
AT ITER 683 NEW BEST:: SOT 6863 SOS 3849 HAS SOPS 2283 HAS SOUS 1572 HAS SOUPS 1457 WITH SCORE 1460.849
AT ITER 692 NEW BEST:: SOT 6851 SOS 3825 HAS SOPS 2263 HAS SOUS 1551 HAS SOUPS 1436 WITH SCORE 1439.825
AT ITER 696 NEW BEST:: SOT 6845 SOS 3813 HAS SOPS 2251 HAS SOUS 1545 HAS SOUPS 1430 WITH SCORE 1433.813
AT ITER 779 NEW BEST:: SOT 6845 SOS 3813 HAS SOPS 2251 HAS SOUS 1544 HAS SOUPS 1429 WITH SCORE 1432.813
AT ITER 788 NEW BEST:: SOT 6843 SOS 3819 HAS SOPS 2247 HAS SOUS 1542 HAS SOUPS 1427 WITH SCORE 1430.819
AT ITER 798 NEW BEST:: SOT 6835 SOS 3811 HAS SOPS 2231 HAS SOUS 1526 HAS SOUPS 1411 WITH SCORE 1414.811
AT ITER 803 NEW BEST:: SOT 6776 SOS 3757 HAS SOPS 2175 HAS SOUS 1497 HAS SOUPS 1382 WITH SCORE 1385.757
AT ITER 804 NEW BEST:: SOT 6770 SOS 3739 HAS SOPS 2157 HAS SOUS 1485 HAS SOUPS 1370 WITH SCORE 1373.739
AT ITER 805 NEW BEST:: SOT 6768 SOS 3720 HAS SOPS 2153 HAS SOUS 1470 HAS SOUPS 1355 WITH SCORE 1358.72
AT ITER 824 NEW BEST:: SOT 6768 SOS 3714 HAS SOPS 2153 HAS SOUS 1465 HAS SOUPS 1350 WITH SCORE 1353.714
AT ITER 838 NEW BEST:: SOT 6772 SOS 3709 HAS SOPS 2151 HAS SOUS 1463 HAS SOUPS 1348 WITH SCORE 1351.709
AT ITER 881 NEW BEST:: SOT 6770 SOS 3707 HAS SOPS 2148 HAS SOUS 1460 HAS SOUPS 1345 WITH SCORE 1348.707
AT ITER 931 NEW BEST:: SOT 6768 SOS 3706 HAS SOPS 2146 HAS SOUS 1459 HAS SOUPS 1344 WITH SCORE 1347.706
AT ITER 975 NEW BEST:: SOT 6768 SOS 3705 HAS SOPS 2132 HAS SOUS 1445 HAS SOUPS 1330 WITH SCORE 1333.705
AT ITER 997 NEW BEST:: SOT 6760 SOS 3707 HAS SOPS 2127 HAS SOUS 1435 HAS SOUPS 1320 WITH SCORE 1323.707
AT ITER 1029 NEW BEST:: SOT 6611 SOS 3579 HAS SOPS 2022 HAS SOUS 1426 HAS SOUPS 1313 WITH SCORE 1316.579
AT ITER 1032 NEW BEST:: SOT 6654 SOS 3625 HAS SOPS 2054 HAS SOUS 1417 HAS SOUPS 1304 WITH SCORE 1307.625
AT ITER 1056 NEW BEST:: SOT 6653 SOS 3625 HAS SOPS 2053 HAS SOUS 1417 HAS SOUPS 1303 WITH SCORE 1306.625
AT ITER 1076 NEW BEST:: SOT 6600 SOS 3573 HAS SOPS 2001 HAS SOUS 1401 HAS SOUPS 1287 WITH SCORE 1290.573
AT ITER 1079 NEW BEST:: SOT 6535 SOS 3472 HAS SOPS 1901 HAS SOUS 1323 HAS SOUPS 1209 WITH SCORE 1212.472
AT ITER 1097 NEW BEST:: SOT 6534 SOS 3471 HAS SOPS 1900 HAS SOUS 1322 HAS SOUPS 1208 WITH SCORE 1211.471
AT ITER 1111 NEW BEST:: SOT 6530 SOS 3464 HAS SOPS 1892 HAS SOUS 1317 HAS SOUPS 1203 WITH SCORE 1206.464
AT ITER 1117 NEW BEST:: SOT 6529 SOS 3463 HAS SOPS 1890 HAS SOUS 1315 HAS SOUPS 1201 WITH SCORE 1204.463
AT ITER 1126 NEW BEST:: SOT 6522 SOS 3446 HAS SOPS 1876 HAS SOUS 1306 HAS SOUPS 1192 WITH SCORE 1195.446
AT ITER 1127 NEW BEST:: SOT 6495 SOS 3422 HAS SOPS 1835 HAS SOUS 1265 HAS SOUPS 1151 WITH SCORE 1154.422
AT ITER 1152 NEW BEST:: SOT 6494 SOS 3409 HAS SOPS 1826 HAS SOUS 1258 HAS SOUPS 1144 WITH SCORE 1147.409
AT ITER 1178 NEW BEST:: SOT 6493 SOS 3407 HAS SOPS 1824 HAS SOUS 1257 HAS SOUPS 1143 WITH SCORE 1146.407
AT ITER 1200 NEW BEST:: SOT 6486 SOS 3412 HAS SOPS 1827 HAS SOUS 1251 HAS SOUPS 1137 WITH SCORE 1140.412
AT ITER 1210 NEW BEST:: SOT 6480 SOS 3412 HAS SOPS 1821 HAS SOUS 1245 HAS SOUPS 1131 WITH SCORE 1134.412
AT ITER 1239 NEW BEST:: SOT 6481 SOS 3411 HAS SOPS 1797 HAS SOUS 1235 HAS SOUPS 1121 WITH SCORE 1124.411
AT ITER 1259 NEW BEST:: SOT 6481 SOS 3409 HAS SOPS 1795 HAS SOUS 1231 HAS SOUPS 1117 WITH SCORE 1120.409
AT ITER 1270 NEW BEST:: SOT 6480 SOS 3407 HAS SOPS 1793 HAS SOUS 1230 HAS SOUPS 1116 WITH SCORE 1119.407
AT ITER 1283 NEW BEST:: SOT 6557 SOS 3473 HAS SOPS 1813 HAS SOUS 1219 HAS SOUPS 1105 WITH SCORE 1108.473
AT ITER 1290 NEW BEST:: SOT 6553 SOS 3465 HAS SOPS 1805 HAS SOUS 1215 HAS SOUPS 1101 WITH SCORE 1104.465
AT ITER 1308 NEW BEST:: SOT 6534 SOS 3441 HAS SOPS 1773 HAS SOUS 1184 HAS SOUPS 1070 WITH SCORE 1073.441
AT ITER 1326 NEW BEST:: SOT 6531 SOS 3441 HAS SOPS 1770 HAS SOUS 1178 HAS SOUPS 1064 WITH SCORE 1067.441
AT ITER 1360 NEW BEST:: SOT 6529 SOS 3471 HAS SOPS 1784 HAS SOUS 1174 HAS SOUPS 1060 WITH SCORE 1063.471
AT ITER 1386 NEW BEST:: SOT 6525 SOS 3463 HAS SOPS 1776 HAS SOUS 1168 HAS SOUPS 1054 WITH SCORE 1057.463
AT ITER 1403 NEW BEST:: SOT 6522 SOS 3460 HAS SOPS 1770 HAS SOUS 1165 HAS SOUPS 1051 WITH SCORE 1054.46
AT ITER 1444 NEW BEST:: SOT 6515 SOS 3456 HAS SOPS 1761 HAS SOUS 1156 HAS SOUPS 1042 WITH SCORE 1045.456
AT ITER 1446 NEW BEST:: SOT 6339 SOS 3311 HAS SOPS 1656 HAS SOUS 1148 HAS SOUPS 1034 WITH SCORE 1037.311
AT ITER 1502 NEW BEST:: SOT 6356 SOS 3324 HAS SOPS 1662 HAS SOUS 1131 HAS SOUPS 1017 WITH SCORE 1020.324
AT ITER 1588 NEW BEST:: SOT 6350 SOS 3323 HAS SOPS 1658 HAS SOUS 1130 HAS SOUPS 1016 WITH SCORE 1019.323
AT ITER 1650 NEW BEST:: SOT 6348 SOS 3321 HAS SOPS 1654 HAS SOUS 1136 HAS SOUPS 1012 WITH SCORE 1015.321
AT ITER 1672 NEW BEST:: SOT 6347 SOS 3319 HAS SOPS 1652 HAS SOUS 1136 HAS SOUPS 1012 WITH SCORE 1015.319
AT ITER 1689 NEW BEST:: SOT 6347 SOS 3317 HAS SOPS 1652 HAS SOUS 1136 HAS SOUPS 1012 WITH SCORE 1015.317
AT ITER 1700 NEW BEST:: SOT 6346 SOS 3316 HAS SOPS 1650 HAS SOUS 1134 HAS SOUPS 1010 WITH SCORE 1013.316
AT ITER 1710 NEW BEST:: SOT 6343 SOS 3310 HAS SOPS 1641 HAS SOUS 1124 HAS SOUPS 1000 WITH SCORE 1003.31
AT ITER 1734 NEW BEST:: SOT 6259 SOS 3226 HAS SOPS 1565 HAS SOUS 1084 HAS SOUPS 960 WITH SCORE 963.226
AT ITER 1758 NEW BEST:: SOT 6255 SOS 3222 HAS SOPS 1557 HAS SOUS 1076 HAS SOUPS 952 WITH SCORE 955.222
AT ITER 1769 NEW BEST:: SOT 6261 SOS 3220 HAS SOPS 1555 HAS SOUS 1072 HAS SOUPS 948 WITH SCORE 951.22
AT ITER 1778 NEW BEST:: SOT 6260 SOS 3220 HAS SOPS 1554 HAS SOUS 1071 HAS SOUPS 947 WITH SCORE 950.22
AT ITER 1797 NEW BEST:: SOT 6273 SOS 3230 HAS SOPS 1563 HAS SOUS 1069 HAS SOUPS 945 WITH SCORE 948.23
AT ITER 1812 NEW BEST:: SOT 6272 SOS 3227 HAS SOPS 1545 HAS SOUS 1065 HAS SOUPS 941 WITH SCORE 944.227
AT ITER 1816 NEW BEST:: SOT 6272 SOS 3221 HAS SOPS 1542 HAS SOUS 1065 HAS SOUPS 941 WITH SCORE 944.221
AT ITER 1826 NEW BEST:: SOT 6270 SOS 3218 HAS SOPS 1538 HAS SOUS 1062 HAS SOUPS 938 WITH SCORE 941.218
AT ITER 1829 NEW BEST:: SOT 6263 SOS 3211 HAS SOPS 1528 HAS SOUS 1052 HAS SOUPS 928 WITH SCORE 931.211
AT ITER 1893 NEW BEST:: SOT 6249 SOS 3159 HAS SOPS 1479 HAS SOUS 1024 HAS SOUPS 900 WITH SCORE 903.159
AT ITER 1949 NEW BEST:: SOT 6225 SOS 3135 HAS SOPS 1447 HAS SOUS 1000 HAS SOUPS 876 WITH SCORE 879.135
AT ITER 1961 NEW BEST:: SOT 6197 SOS 3127 HAS SOPS 1448 HAS SOUS 1000 HAS SOUPS 876 WITH SCORE 879.127
AT ITER 1973 NEW BEST:: SOT 6199 SOS 3118 HAS SOPS 1442 HAS SOUS 996 HAS SOUPS 872 WITH SCORE 875.118
AT ITER 2021 NEW BEST:: SOT 6199 SOS 3117 HAS SOPS 1440 HAS SOUS 994 HAS SOUPS 870 WITH SCORE 873.117
AT ITER 2028 NEW BEST:: SOT 6193 SOS 3111 HAS SOPS 1428 HAS SOUS 990 HAS SOUPS 866 WITH SCORE 869.111
AT ITER 2046 NEW BEST:: SOT 6192 SOS 3110 HAS SOPS 1426 HAS SOUS 988 HAS SOUPS 864 WITH SCORE 867.11
AT ITER 2056 NEW BEST:: SOT 6178 SOS 3100 HAS SOPS 1410 HAS SOUS 972 HAS SOUPS 848 WITH SCORE 851.1
AT ITER 2110 NEW BEST:: SOT 6176 SOS 3096 HAS SOPS 1406 HAS SOUS 962 HAS SOUPS 838 WITH SCORE 841.096
AT ITER 2121 NEW BEST:: SOT 6183 SOS 3816 HAS SOPS 1401 HAS SOUS 971 HAS SOUPS 835 WITH SCORE 838.816
AT ITER 2160 NEW BEST:: SOT 6173 SOS 3806 HAS SOPS 1381 HAS SOUS 953 HAS SOUPS 815 WITH SCORE 818.806
AT ITER 2222 NEW BEST:: SOT 6169 SOS 3798 HAS SOPS 1371 HAS SOUS 945 HAS SOUPS 807 WITH SCORE 810.798
AT ITER 2253 NEW BEST:: SOT 6166 SOS 3801 HAS SOPS 1371 HAS SOUS 942 HAS SOUPS 804 WITH SCORE 807.801
AT ITER 2260 NEW BEST:: SOT 6161 SOS 3789 HAS SOPS 1361 HAS SOUS 939 HAS SOUPS 801 WITH SCORE 804.789
AT ITER 2306 NEW BEST:: SOT 6161 SOS 4029 HAS SOPS 1350 HAS SOUS 936 HAS SOUPS 794 WITH SCORE 798.029
AT ITER 2352 NEW BEST:: SOT 6160 SOS 4028 HAS SOPS 1348 HAS SOUS 934 HAS SOUPS 792 WITH SCORE 796.028
AT ITER 2384 NEW BEST:: SOT 6168 SOS 4036 HAS SOPS 1348 HAS SOUS 932 HAS SOUPS 790 WITH SCORE 794.036
AT ITER 2460 NEW BEST:: SOT 6167 SOS 4032 HAS SOPS 1344 HAS SOUS 929 HAS SOUPS 787 WITH SCORE 791.032
AT ITER 2509 NEW BEST:: SOT 6166 SOS 4032 HAS SOPS 1343 HAS SOUS 928 HAS SOUPS 786 WITH SCORE 790.032
AT ITER 2513 NEW BEST:: SOT 6163 SOS 4025 HAS SOPS 1331 HAS SOUS 916 HAS SOUPS 774 WITH SCORE 778.025
AT ITER 2666 NEW BEST:: SOT 6162 SOS 4022 HAS SOPS 1329 HAS SOUS 915 HAS SOUPS 773 WITH SCORE 777.022
AT ITER 2688 NEW BEST:: SOT 6160 SOS 4021 HAS SOPS 1327 HAS SOUS 913 HAS SOUPS 771 WITH SCORE 775.021
AT ITER 2726 NEW BEST:: SOT 6159 SOS 4020 HAS SOPS 1325 HAS SOUS 911 HAS SOUPS 769 WITH SCORE 773.02
AT ITER 2791 NEW BEST:: SOT 6157 SOS 4021 HAS SOPS 1324 HAS SOUS 910 HAS SOUPS 768 WITH SCORE 772.021
AT ITER 2907 NEW BEST:: SOT 6147 SOS 4016 HAS SOPS 1314 HAS SOUS 907 HAS SOUPS 765 WITH SCORE 769.016
AT ITER 2969 NEW BEST:: SOT 6144 SOS 4013 HAS SOPS 1309 HAS SOUS 903 HAS SOUPS 761 WITH SCORE 765.013
AT ITER 2970 NEW BEST:: SOT 6143 SOS 4012 HAS SOPS 1307 HAS SOUS 900 HAS SOUPS 758 WITH SCORE 762.012
AT ITER 3083 NEW BEST:: SOT 6142 SOS 4013 HAS SOPS 1306 HAS SOUS 898 HAS SOUPS 756 WITH SCORE 760.013
AT ITER 3255 NEW BEST:: SOT 6139 SOS 4010 HAS SOPS 1305 HAS SOUS 897 HAS SOUPS 755 WITH SCORE 759.01
AT ITER 3278 NEW BEST:: SOT 6096 SOS 3969 HAS SOPS 1273 HAS SOUS 889 HAS SOUPS 747 WITH SCORE 750.969
AT ITER 3280 NEW BEST:: SOT 6096 SOS 3936 HAS SOPS 1273 HAS SOUS 889 HAS SOUPS 747 WITH SCORE 750.936
AT ITER 3299 NEW BEST:: SOT 6106 SOS 3938 HAS SOPS 1266 HAS SOUS 882 HAS SOUPS 740 WITH SCORE 743.938
AT ITER 3408 NEW BEST:: SOT 6105 SOS 3935 HAS SOPS 1262 HAS SOUS 876 HAS SOUPS 734 WITH SCORE 737.935
AT ITER 3495 NEW BEST:: SOT 6104 SOS 3935 HAS SOPS 1261 HAS SOUS 875 HAS SOUPS 733 WITH SCORE 736.935
AT ITER 3539 NEW BEST:: SOT 6104 SOS 3963 HAS SOPS 1259 HAS SOUS 875 HAS SOUPS 732 WITH SCORE 735.963
AT ITER 3646 NEW BEST:: SOT 6104 SOS 3955 HAS SOPS 1255 HAS SOUS 875 HAS SOUPS 732 WITH SCORE 735.955
AT ITER 3707 NEW BEST:: SOT 6103 SOS 3954 HAS SOPS 1254 HAS SOUS 874 HAS SOUPS 731 WITH SCORE 734.954
AT ITER 3867 NEW BEST:: SOT 6102 SOS 3952 HAS SOPS 1252 HAS SOUS 872 HAS SOUPS 729 WITH SCORE 732.952
AT ITER 3984 NEW BEST:: SOT 6068 SOS 3924 HAS SOPS 1224 HAS SOUS 865 HAS SOUPS 722 WITH SCORE 725.924
AT ITER 3989 NEW BEST:: SOT 6068 SOS 3924 HAS SOPS 1223 HAS SOUS 864 HAS SOUPS 721 WITH SCORE 724.924
AT ITER 4015 NEW BEST:: SOT 6051 SOS 3915 HAS SOPS 1205 HAS SOUS 854 HAS SOUPS 711 WITH SCORE 714.915
AT ITER 4060 NEW BEST:: SOT 6050 SOS 3914 HAS SOPS 1203 HAS SOUS 852 HAS SOUPS 709 WITH SCORE 712.914
AT ITER 4115 NEW BEST:: SOT 6050 SOS 3914 HAS SOPS 1203 HAS SOUS 851 HAS SOUPS 708 WITH SCORE 711.914
AT ITER 4169 NEW BEST:: SOT 6049 SOS 3913 HAS SOPS 1201 HAS SOUS 849 HAS SOUPS 706 WITH SCORE 709.913
AT ITER 4275 NEW BEST:: SOT 6022 SOS 3893 HAS SOPS 1182 HAS SOUS 847 HAS SOUPS 704 WITH SCORE 707.893
AT ITER 4542 NEW BEST:: SOT 6030 SOS 3892 HAS SOPS 1174 HAS SOUS 842 HAS SOUPS 699 WITH SCORE 702.892
AT ITER 4872 NEW BEST:: SOT 6028 SOS 3887 HAS SOPS 1169 HAS SOUS 838 HAS SOUPS 695 WITH SCORE 698.887
AT ITER 4951 NEW BEST:: SOT 6028 SOS 3888 HAS SOPS 1169 HAS SOUS 837 HAS SOUPS 694 WITH SCORE 697.888
AT ITER 5058 NEW BEST:: SOT 6028 SOS 3888 HAS SOPS 1169 HAS SOUS 836 HAS SOUPS 693 WITH SCORE 696.888
AT ITER 5116 NEW BEST:: SOT 6022 SOS 3885 HAS SOPS 1163 HAS SOUS 833 HAS SOUPS 690 WITH SCORE 693.885
AT ITER 5273 NEW BEST:: SOT 6026 SOS 3884 HAS SOPS 1159 HAS SOUS 828 HAS SOUPS 685 WITH SCORE 688.884
AT ITER 5385 NEW BEST:: SOT 6026 SOS 3882 HAS SOPS 1159 HAS SOUS 828 HAS SOUPS 685 WITH SCORE 688.882
AT ITER 5392 NEW BEST:: SOT 6026 SOS 3883 HAS SOPS 1159 HAS SOUS 826 HAS SOUPS 683 WITH SCORE 686.883
AT ITER 5416 NEW BEST:: SOT 6025 SOS 3883 HAS SOPS 1158 HAS SOUS 825 HAS SOUPS 682 WITH SCORE 685.883
AT ITER 5980 NEW BEST:: SOT 6023 SOS 3878 HAS SOPS 1154 HAS SOUS 823 HAS SOUPS 680 WITH SCORE 683.878
AT ITER 6021 NEW BEST:: SOT 6024 SOS 3878 HAS SOPS 1152 HAS SOUS 821 HAS SOUPS 678 WITH SCORE 681.878
AT ITER 6145 NEW BEST:: SOT 6026 SOS 3876 HAS SOPS 1151 HAS SOUS 819 HAS SOUPS 676 WITH SCORE 679.876
AT ITER 6171 NEW BEST:: SOT 6025 SOS 3875 HAS SOPS 1150 HAS SOUS 818 HAS SOUPS 675 WITH SCORE 678.875
AT ITER 6321 NEW BEST:: SOT 6025 SOS 3874 HAS SOPS 1150 HAS SOUS 818 HAS SOUPS 675 WITH SCORE 678.874
AT ITER 6394 NEW BEST:: SOT 6025 SOS 3867 HAS SOPS 1142 HAS SOUS 809 HAS SOUPS 666 WITH SCORE 669.867
AT ITER 6590 NEW BEST:: SOT 6026 SOS 3866 HAS SOPS 1142 HAS SOUS 809 HAS SOUPS 666 WITH SCORE 669.866
AT ITER 6726 NEW BEST:: SOT 6025 SOS 3865 HAS SOPS 1140 HAS SOUS 807 HAS SOUPS 664 WITH SCORE 667.865
AT ITER 6757 NEW BEST:: SOT 6021 SOS 3862 HAS SOPS 1136 HAS SOUS 804 HAS SOUPS 661 WITH SCORE 664.862
AT ITER 6812 NEW BEST:: SOT 5985 SOS 3829 HAS SOPS 1107 HAS SOUS 799 HAS SOUPS 656 WITH SCORE 659.829
AT ITER 6862 NEW BEST:: SOT 5984 SOS 3828 HAS SOPS 1105 HAS SOUS 799 HAS SOUPS 656 WITH SCORE 659.828
AT ITER 7080 NEW BEST:: SOT 5982 SOS 3825 HAS SOPS 1101 HAS SOUS 797 HAS SOUPS 654 WITH SCORE 657.825
AT ITER 7455 NEW BEST:: SOT 5981 SOS 3824 HAS SOPS 1099 HAS SOUS 797 HAS SOUPS 654 WITH SCORE 657.824
AT ITER 7582 NEW BEST:: SOT 5981 SOS 3823 HAS SOPS 1089 HAS SOUS 797 HAS SOUPS 654 WITH SCORE 657.823
AT ITER 7629 NEW BEST:: SOT 5979 SOS 3825 HAS SOPS 1088 HAS SOUS 796 HAS SOUPS 653 WITH SCORE 656.825
AT ITER 8025 NEW BEST:: SOT 5980 SOS 3830 HAS SOPS 1090 HAS SOUS 795 HAS SOUPS 652 WITH SCORE 655.83
AT ITER 8248 NEW BEST:: SOT 5983 SOS 3827 HAS SOPS 1090 HAS SOUS 795 HAS SOUPS 652 WITH SCORE 655.827
AT ITER 9131 NEW BEST:: SOT 5968 SOS 3811 HAS SOPS 1074 HAS SOUS 786 HAS SOUPS 643 WITH SCORE 646.811
AT ITER 9348 NEW BEST:: SOT 5965 SOS 3810 HAS SOPS 1094 HAS SOUS 786 HAS SOUPS 643 WITH SCORE 646.81
AT ITER 9416 NEW BEST:: SOT 5962 SOS 3807 HAS SOPS 1090 HAS SOUS 783 HAS SOUPS 640 WITH SCORE 643.807
AT ITER 9501 NEW BEST:: SOT 5960 SOS 3808 HAS SOPS 1088 HAS SOUS 781 HAS SOUPS 638 WITH SCORE 641.808
AT ITER 9540 NEW BEST:: SOT 5960 SOS 3807 HAS SOPS 1087 HAS SOUS 780 HAS SOUPS 637 WITH SCORE 640.807
AT ITER 9745 NEW BEST:: SOT 5960 SOS 3806 HAS SOPS 1087 HAS SOUS 780 HAS SOUPS 637 WITH SCORE 640.806
STATE_SPACE STATES 2985985 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 26666497 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678450893358

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-06a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847800464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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