Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807800688.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.8K Mar 31 07:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 07:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 30 00:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 30 00:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K Mar 24 05:37 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 1589363777147

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 123 places, 169 transitions, 543 arcs.
AT ITER 0 NEW BEST:: SOT 15254 SOS 7627 HAS SOPS 7627 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7572.627
AT ITER 1 NEW BEST:: SOT 15327 SOS 7624 HAS SOPS 7624 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7504.624
AT ITER 2 NEW BEST:: SOT 15357 SOS 7652 HAS SOPS 7652 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7503.652
AT ITER 13 NEW BEST:: SOT 15349 SOS 7663 HAS SOPS 7663 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7495.663
AT ITER 18 NEW BEST:: SOT 15276 SOS 7508 HAS SOPS 7508 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7394.508
AT ITER 21 NEW BEST:: SOT 15345 SOS 7527 HAS SOPS 7527 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7344.527
AT ITER 22 NEW BEST:: SOT 15366 SOS 7498 HAS SOPS 7498 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7321.498
AT ITER 23 NEW BEST:: SOT 15366 SOS 7483 HAS SOPS 7483 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7306.483
AT ITER 26 NEW BEST:: SOT 15366 SOS 7466 HAS SOPS 7466 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7289.466
AT ITER 36 NEW BEST:: SOT 15366 SOS 7466 HAS SOPS 7466 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7257.466
AT ITER 39 NEW BEST:: SOT 15366 SOS 7434 HAS SOPS 7434 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7225.434
AT ITER 45 NEW BEST:: SOT 15365 SOS 7436 HAS SOPS 7436 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7223.436
AT ITER 48 NEW BEST:: SOT 15380 SOS 7433 HAS SOPS 7433 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7206.433
AT ITER 52 NEW BEST:: SOT 15390 SOS 7405 HAS SOPS 7396 HAS SOUS 7190 HAS SOUPS 7181 WITH SCORE 7188.405
AT ITER 55 NEW BEST:: SOT 15390 SOS 7337 HAS SOPS 7328 HAS SOUS 7167 HAS SOUPS 7158 WITH SCORE 7165.337
AT ITER 62 NEW BEST:: SOT 15395 SOS 7312 HAS SOPS 7303 HAS SOUS 7152 HAS SOUPS 7143 WITH SCORE 7150.312
AT ITER 66 NEW BEST:: SOT 15395 SOS 7301 HAS SOPS 7292 HAS SOUS 7141 HAS SOUPS 7132 WITH SCORE 7139.301
AT ITER 70 NEW BEST:: SOT 15394 SOS 7298 HAS SOPS 7289 HAS SOUS 7117 HAS SOUPS 7108 WITH SCORE 7115.298
AT ITER 88 NEW BEST:: SOT 15080 SOS 6987 HAS SOPS 6975 HAS SOUS 6807 HAS SOUPS 6795 WITH SCORE 6801.987
AT ITER 91 NEW BEST:: SOT 15080 SOS 6982 HAS SOPS 6970 HAS SOUS 6802 HAS SOUPS 6790 WITH SCORE 6796.982
AT ITER 98 NEW BEST:: SOT 15078 SOS 6980 HAS SOPS 6970 HAS SOUS 6800 HAS SOUPS 6790 WITH SCORE 6796.98
AT ITER 102 NEW BEST:: SOT 15091 SOS 6992 HAS SOPS 6982 HAS SOUS 6799 HAS SOUPS 6789 WITH SCORE 6795.992
AT ITER 108 NEW BEST:: SOT 15091 SOS 6976 HAS SOPS 6966 HAS SOUS 6783 HAS SOUPS 6773 WITH SCORE 6779.976
AT ITER 110 NEW BEST:: SOT 15091 SOS 6967 HAS SOPS 6957 HAS SOUS 6774 HAS SOUPS 6764 WITH SCORE 6770.967
AT ITER 138 NEW BEST:: SOT 15091 SOS 6966 HAS SOPS 6956 HAS SOUS 6773 HAS SOUPS 6763 WITH SCORE 6769.966
AT ITER 141 NEW BEST:: SOT 13849 SOS 5839 HAS SOPS 5720 HAS SOUS 5581 HAS SOUPS 5544 WITH SCORE 5549.839
AT ITER 144 NEW BEST:: SOT 13814 SOS 5778 HAS SOPS 5637 HAS SOUS 5511 HAS SOUPS 5474 WITH SCORE 5479.778
AT ITER 154 NEW BEST:: SOT 13813 SOS 5776 HAS SOPS 5635 HAS SOUS 5509 HAS SOUPS 5472 WITH SCORE 5477.776
AT ITER 159 NEW BEST:: SOT 13811 SOS 5772 HAS SOPS 5627 HAS SOUS 5501 HAS SOUPS 5464 WITH SCORE 5469.772
AT ITER 172 NEW BEST:: SOT 13803 SOS 5769 HAS SOPS 5617 HAS SOUS 5491 HAS SOUPS 5454 WITH SCORE 5459.769
AT ITER 185 NEW BEST:: SOT 13805 SOS 5768 HAS SOPS 5607 HAS SOUS 5481 HAS SOUPS 5444 WITH SCORE 5449.768
AT ITER 188 NEW BEST:: SOT 13803 SOS 5801 HAS SOPS 5638 HAS SOUS 5477 HAS SOUPS 5440 WITH SCORE 5445.801
AT ITER 193 NEW BEST:: SOT 13795 SOS 5793 HAS SOPS 5630 HAS SOUS 5469 HAS SOUPS 5432 WITH SCORE 5437.793
AT ITER 199 NEW BEST:: SOT 13777 SOS 5773 HAS SOPS 5610 HAS SOUS 5435 HAS SOUPS 5398 WITH SCORE 5403.773
AT ITER 205 NEW BEST:: SOT 12533 SOS 7565 HAS SOPS 4442 HAS SOUS 4361 HAS SOUPS 4247 WITH SCORE 4254.565
AT ITER 206 NEW BEST:: SOT 12525 SOS 7557 HAS SOPS 4434 HAS SOUS 4361 HAS SOUPS 4247 WITH SCORE 4254.557
AT ITER 212 NEW BEST:: SOT 12533 SOS 7609 HAS SOPS 4472 HAS SOUS 4355 HAS SOUPS 4241 WITH SCORE 4248.609
AT ITER 214 NEW BEST:: SOT 12510 SOS 7605 HAS SOPS 4460 HAS SOUS 4343 HAS SOUPS 4229 WITH SCORE 4236.605
AT ITER 245 NEW BEST:: SOT 12496 SOS 7589 HAS SOPS 4431 HAS SOUS 4316 HAS SOUPS 4202 WITH SCORE 4209.589
AT ITER 249 NEW BEST:: SOT 12529 SOS 7578 HAS SOPS 4421 HAS SOUS 4315 HAS SOUPS 4201 WITH SCORE 4208.578
AT ITER 252 NEW BEST:: SOT 12527 SOS 7576 HAS SOPS 4418 HAS SOUS 4312 HAS SOUPS 4198 WITH SCORE 4205.576
AT ITER 260 NEW BEST:: SOT 12414 SOS 7525 HAS SOPS 4383 HAS SOUS 4215 HAS SOUPS 4101 WITH SCORE 4108.525
AT ITER 266 NEW BEST:: SOT 12432 SOS 7542 HAS SOPS 4379 HAS SOUS 4210 HAS SOUPS 4096 WITH SCORE 4103.542
AT ITER 290 NEW BEST:: SOT 12457 SOS 7517 HAS SOPS 4329 HAS SOUS 4160 HAS SOUPS 4046 WITH SCORE 4053.517
AT ITER 291 NEW BEST:: SOT 12456 SOS 7515 HAS SOPS 4327 HAS SOUS 4159 HAS SOUPS 4045 WITH SCORE 4052.515
AT ITER 297 NEW BEST:: SOT 12386 SOS 7420 HAS SOPS 4224 HAS SOUS 4086 HAS SOUPS 3972 WITH SCORE 3979.42
AT ITER 298 NEW BEST:: SOT 12389 SOS 7423 HAS SOPS 4229 HAS SOUS 4078 HAS SOUPS 3964 WITH SCORE 3971.423
AT ITER 302 NEW BEST:: SOT 12442 SOS 7475 HAS SOPS 4225 HAS SOUS 4074 HAS SOUPS 3960 WITH SCORE 3967.475
AT ITER 303 NEW BEST:: SOT 12442 SOS 7468 HAS SOPS 4211 HAS SOUS 4060 HAS SOUPS 3946 WITH SCORE 3953.468
AT ITER 312 NEW BEST:: SOT 12418 SOS 7396 HAS SOPS 4183 HAS SOUS 4036 HAS SOUPS 3922 WITH SCORE 3929.396
AT ITER 317 NEW BEST:: SOT 11482 SOS 7253 HAS SOPS 3203 HAS SOUS 3344 HAS SOUPS 3160 WITH SCORE 3167.253
AT ITER 320 NEW BEST:: SOT 11568 SOS 7289 HAS SOPS 3157 HAS SOUS 3298 HAS SOUPS 3114 WITH SCORE 3121.289
AT ITER 330 NEW BEST:: SOT 11567 SOS 7338 HAS SOPS 3155 HAS SOUS 3271 HAS SOUPS 3087 WITH SCORE 3094.338
AT ITER 339 NEW BEST:: SOT 11578 SOS 7348 HAS SOPS 3151 HAS SOUS 3267 HAS SOUPS 3083 WITH SCORE 3090.348
AT ITER 343 NEW BEST:: SOT 11546 SOS 7280 HAS SOPS 3087 HAS SOUS 3203 HAS SOUPS 3019 WITH SCORE 3026.28
AT ITER 345 NEW BEST:: SOT 11533 SOS 7217 HAS SOPS 3061 HAS SOUS 3202 HAS SOUPS 3018 WITH SCORE 3025.217
AT ITER 346 NEW BEST:: SOT 11517 SOS 7206 HAS SOPS 3029 HAS SOUS 3170 HAS SOUPS 2986 WITH SCORE 2993.206
AT ITER 358 NEW BEST:: SOT 11482 SOS 7137 HAS SOPS 2925 HAS SOUS 3066 HAS SOUPS 2882 WITH SCORE 2889.137
AT ITER 365 NEW BEST:: SOT 11484 SOS 7102 HAS SOPS 2878 HAS SOUS 3019 HAS SOUPS 2835 WITH SCORE 2842.102
AT ITER 366 NEW BEST:: SOT 11504 SOS 7161 HAS SOPS 2902 HAS SOUS 3015 HAS SOUPS 2831 WITH SCORE 2838.161
AT ITER 369 NEW BEST:: SOT 11538 SOS 7195 HAS SOPS 2891 HAS SOUS 2990 HAS SOUPS 2806 WITH SCORE 2813.195
AT ITER 380 NEW BEST:: SOT 11537 SOS 7194 HAS SOPS 2889 HAS SOUS 2988 HAS SOUPS 2804 WITH SCORE 2811.194
AT ITER 385 NEW BEST:: SOT 11530 SOS 7180 HAS SOPS 2868 HAS SOUS 2967 HAS SOUPS 2783 WITH SCORE 2790.18
AT ITER 391 NEW BEST:: SOT 11529 SOS 7180 HAS SOPS 2867 HAS SOUS 2966 HAS SOUPS 2782 WITH SCORE 2789.18
AT ITER 394 NEW BEST:: SOT 11512 SOS 7163 HAS SOPS 2833 HAS SOUS 2932 HAS SOUPS 2748 WITH SCORE 2755.163
AT ITER 405 NEW BEST:: SOT 11430 SOS 7128 HAS SOPS 2810 HAS SOUS 2909 HAS SOUPS 2725 WITH SCORE 2732.128
AT ITER 427 NEW BEST:: SOT 11438 SOS 6449 HAS SOPS 2821 HAS SOUS 2897 HAS SOUPS 2724 WITH SCORE 2730.449
AT ITER 428 NEW BEST:: SOT 11440 SOS 6446 HAS SOPS 2818 HAS SOUS 2894 HAS SOUPS 2721 WITH SCORE 2727.446
AT ITER 448 NEW BEST:: SOT 11421 SOS 6409 HAS SOPS 2787 HAS SOUS 2883 HAS SOUPS 2710 WITH SCORE 2716.409
AT ITER 492 NEW BEST:: SOT 11412 SOS 6378 HAS SOPS 2747 HAS SOUS 2859 HAS SOUPS 2686 WITH SCORE 2692.378
AT ITER 524 NEW BEST:: SOT 11408 SOS 6375 HAS SOPS 2739 HAS SOUS 2852 HAS SOUPS 2678 WITH SCORE 2684.375
AT ITER 538 NEW BEST:: SOT 11406 SOS 6372 HAS SOPS 2735 HAS SOUS 2848 HAS SOUPS 2674 WITH SCORE 2680.372
AT ITER 555 NEW BEST:: SOT 11411 SOS 6373 HAS SOPS 2704 HAS SOUS 2817 HAS SOUPS 2643 WITH SCORE 2649.373
AT ITER 560 NEW BEST:: SOT 11409 SOS 6372 HAS SOPS 2700 HAS SOUS 2813 HAS SOUPS 2639 WITH SCORE 2645.372
AT ITER 579 NEW BEST:: SOT 11415 SOS 6378 HAS SOPS 2683 HAS SOUS 2805 HAS SOUPS 2622 WITH SCORE 2628.378
AT ITER 586 NEW BEST:: SOT 11411 SOS 6374 HAS SOPS 2679 HAS SOUS 2801 HAS SOUPS 2618 WITH SCORE 2624.374
AT ITER 588 NEW BEST:: SOT 11410 SOS 6375 HAS SOPS 2680 HAS SOUS 2800 HAS SOUPS 2617 WITH SCORE 2623.375
AT ITER 591 NEW BEST:: SOT 11401 SOS 6366 HAS SOPS 2672 HAS SOUS 2788 HAS SOUPS 2609 WITH SCORE 2615.366
AT ITER 616 NEW BEST:: SOT 11392 SOS 6353 HAS SOPS 2654 HAS SOUS 2770 HAS SOUPS 2591 WITH SCORE 2597.353
AT ITER 628 NEW BEST:: SOT 11383 SOS 6335 HAS SOPS 2627 HAS SOUS 2743 HAS SOUPS 2564 WITH SCORE 2570.335
AT ITER 652 NEW BEST:: SOT 11289 SOS 6241 HAS SOPS 2502 HAS SOUS 2618 HAS SOUPS 2439 WITH SCORE 2445.241
AT ITER 659 NEW BEST:: SOT 11327 SOS 6236 HAS SOPS 2492 HAS SOUS 2608 HAS SOUPS 2429 WITH SCORE 2435.236
AT ITER 660 NEW BEST:: SOT 11311 SOS 6225 HAS SOPS 2460 HAS SOUS 2576 HAS SOUPS 2397 WITH SCORE 2403.225
AT ITER 679 NEW BEST:: SOT 11311 SOS 6224 HAS SOPS 2460 HAS SOUS 2575 HAS SOUPS 2397 WITH SCORE 2403.224
AT ITER 681 NEW BEST:: SOT 11310 SOS 6225 HAS SOPS 2461 HAS SOUS 2574 HAS SOUPS 2396 WITH SCORE 2402.225
AT ITER 713 NEW BEST:: SOT 11307 SOS 6217 HAS SOPS 2455 HAS SOUS 2568 HAS SOUPS 2390 WITH SCORE 2396.217
AT ITER 719 NEW BEST:: SOT 11307 SOS 6207 HAS SOPS 2455 HAS SOUS 2568 HAS SOUPS 2390 WITH SCORE 2396.207
AT ITER 753 NEW BEST:: SOT 11296 SOS 6194 HAS SOPS 2433 HAS SOUS 2546 HAS SOUPS 2368 WITH SCORE 2374.194
AT ITER 766 NEW BEST:: SOT 11312 SOS 6193 HAS SOPS 2414 HAS SOUS 2527 HAS SOUPS 2349 WITH SCORE 2355.193
AT ITER 769 NEW BEST:: SOT 11303 SOS 6181 HAS SOPS 2396 HAS SOUS 2509 HAS SOUPS 2331 WITH SCORE 2337.181
AT ITER 781 NEW BEST:: SOT 11303 SOS 6180 HAS SOPS 2395 HAS SOUS 2508 HAS SOUPS 2330 WITH SCORE 2336.18
AT ITER 814 NEW BEST:: SOT 11356 SOS 6117 HAS SOPS 2270 HAS SOUS 2383 HAS SOUPS 2205 WITH SCORE 2211.117
AT ITER 849 NEW BEST:: SOT 11313 SOS 6074 HAS SOPS 2184 HAS SOUS 2297 HAS SOUPS 2119 WITH SCORE 2125.074
AT ITER 860 NEW BEST:: SOT 11308 SOS 6070 HAS SOPS 2181 HAS SOUS 2288 HAS SOUPS 2110 WITH SCORE 2116.07
AT ITER 870 NEW BEST:: SOT 11306 SOS 6067 HAS SOPS 2177 HAS SOUS 2284 HAS SOUPS 2106 WITH SCORE 2112.067
AT ITER 884 NEW BEST:: SOT 11306 SOS 6061 HAS SOPS 2171 HAS SOUS 2273 HAS SOUPS 2100 WITH SCORE 2106.061
AT ITER 913 NEW BEST:: SOT 11304 SOS 6058 HAS SOPS 2167 HAS SOUS 2271 HAS SOUPS 2098 WITH SCORE 2104.058
AT ITER 919 NEW BEST:: SOT 11295 SOS 6049 HAS SOPS 2158 HAS SOUS 2262 HAS SOUPS 2089 WITH SCORE 2095.049
AT ITER 969 NEW BEST:: SOT 11293 SOS 6048 HAS SOPS 2154 HAS SOUS 2258 HAS SOUPS 2085 WITH SCORE 2091.048
AT ITER 983 NEW BEST:: SOT 11293 SOS 6048 HAS SOPS 2146 HAS SOUS 2250 HAS SOUPS 2077 WITH SCORE 2083.048
AT ITER 996 NEW BEST:: SOT 11293 SOS 6027 HAS SOPS 2125 HAS SOUS 2229 HAS SOUPS 2056 WITH SCORE 2062.027
AT ITER 1000 NEW BEST:: SOT 11291 SOS 6024 HAS SOPS 2121 HAS SOUS 2225 HAS SOUPS 2052 WITH SCORE 2058.024
AT ITER 1058 NEW BEST:: SOT 11291 SOS 6024 HAS SOPS 2120 HAS SOUS 2224 HAS SOUPS 2051 WITH SCORE 2057.024
AT ITER 1063 NEW BEST:: SOT 11261 SOS 6882 HAS SOPS 2074 HAS SOUS 2203 HAS SOUPS 2016 WITH SCORE 2022.882
AT ITER 1094 NEW BEST:: SOT 11260 SOS 6881 HAS SOPS 2072 HAS SOUS 2201 HAS SOUPS 2014 WITH SCORE 2020.881
AT ITER 1100 NEW BEST:: SOT 11252 SOS 6873 HAS SOPS 2056 HAS SOUS 2185 HAS SOUPS 1998 WITH SCORE 2004.873
AT ITER 1103 NEW BEST:: SOT 11243 SOS 6855 HAS SOPS 2038 HAS SOUS 2176 HAS SOUPS 1989 WITH SCORE 1995.855
AT ITER 1130 NEW BEST:: SOT 11241 SOS 6850 HAS SOPS 2036 HAS SOUS 2176 HAS SOUPS 1989 WITH SCORE 1995.85
AT ITER 1149 NEW BEST:: SOT 11252 SOS 6853 HAS SOPS 2031 HAS SOUS 2171 HAS SOUPS 1984 WITH SCORE 1990.853
AT ITER 1171 NEW BEST:: SOT 11251 SOS 6851 HAS SOPS 2028 HAS SOUS 2168 HAS SOUPS 1981 WITH SCORE 1987.851
AT ITER 1177 NEW BEST:: SOT 11238 SOS 6838 HAS SOPS 2002 HAS SOUS 2142 HAS SOUPS 1955 WITH SCORE 1961.838
AT ITER 1194 NEW BEST:: SOT 11236 SOS 6836 HAS SOPS 1998 HAS SOUS 2138 HAS SOUPS 1951 WITH SCORE 1957.836
AT ITER 1215 NEW BEST:: SOT 11222 SOS 6822 HAS SOPS 1979 HAS SOUS 2119 HAS SOUPS 1932 WITH SCORE 1938.822
AT ITER 1219 NEW BEST:: SOT 11210 SOS 6817 HAS SOPS 1976 HAS SOUS 2116 HAS SOUPS 1929 WITH SCORE 1935.817
AT ITER 1248 NEW BEST:: SOT 11210 SOS 6816 HAS SOPS 1974 HAS SOUS 2114 HAS SOUPS 1927 WITH SCORE 1933.816
AT ITER 1254 NEW BEST:: SOT 11210 SOS 6813 HAS SOPS 1974 HAS SOUS 2114 HAS SOUPS 1927 WITH SCORE 1933.813
AT ITER 1300 NEW BEST:: SOT 11210 SOS 6803 HAS SOPS 1954 HAS SOUS 2094 HAS SOUPS 1907 WITH SCORE 1913.803
AT ITER 1306 NEW BEST:: SOT 11186 SOS 6814 HAS SOPS 1941 HAS SOUS 2086 HAS SOUPS 1894 WITH SCORE 1900.814
AT ITER 1307 NEW BEST:: SOT 11180 SOS 6802 HAS SOPS 1929 HAS SOUS 2074 HAS SOUPS 1882 WITH SCORE 1888.802
AT ITER 1355 NEW BEST:: SOT 11178 SOS 6803 HAS SOPS 1925 HAS SOUS 2067 HAS SOUPS 1875 WITH SCORE 1881.803
AT ITER 1377 NEW BEST:: SOT 11172 SOS 6797 HAS SOPS 1913 HAS SOUS 2055 HAS SOUPS 1863 WITH SCORE 1869.797
AT ITER 1446 NEW BEST:: SOT 11168 SOS 6793 HAS SOPS 1905 HAS SOUS 2047 HAS SOUPS 1855 WITH SCORE 1861.793
AT ITER 1456 NEW BEST:: SOT 11143 SOS 6732 HAS SOPS 1871 HAS SOUS 2034 HAS SOUPS 1842 WITH SCORE 1848.732
AT ITER 1467 NEW BEST:: SOT 11142 SOS 6730 HAS SOPS 1867 HAS SOUS 2030 HAS SOUPS 1838 WITH SCORE 1844.73
AT ITER 1468 NEW BEST:: SOT 11138 SOS 6726 HAS SOPS 1859 HAS SOUS 2026 HAS SOUPS 1830 WITH SCORE 1836.726
AT ITER 1488 NEW BEST:: SOT 11138 SOS 7550 HAS SOPS 1805 HAS SOUS 2028 HAS SOUPS 1805 WITH SCORE 1812.55
AT ITER 1506 NEW BEST:: SOT 11127 SOS 7547 HAS SOPS 1799 HAS SOUS 2022 HAS SOUPS 1799 WITH SCORE 1806.547
AT ITER 1518 NEW BEST:: SOT 11141 SOS 7544 HAS SOPS 1793 HAS SOUS 2016 HAS SOUPS 1793 WITH SCORE 1800.544
AT ITER 1545 NEW BEST:: SOT 11104 SOS 7518 HAS SOPS 1791 HAS SOUS 2014 HAS SOUPS 1791 WITH SCORE 1798.518
AT ITER 1556 NEW BEST:: SOT 11008 SOS 7464 HAS SOPS 1767 HAS SOUS 1990 HAS SOUPS 1767 WITH SCORE 1774.464
AT ITER 1589 NEW BEST:: SOT 11007 SOS 7463 HAS SOPS 1765 HAS SOUS 1988 HAS SOUPS 1765 WITH SCORE 1772.463
AT ITER 1629 NEW BEST:: SOT 11005 SOS 7455 HAS SOPS 1755 HAS SOUS 1978 HAS SOUPS 1755 WITH SCORE 1762.455
AT ITER 1706 NEW BEST:: SOT 11004 SOS 7458 HAS SOPS 1753 HAS SOUS 1976 HAS SOUPS 1753 WITH SCORE 1760.458
AT ITER 1707 NEW BEST:: SOT 11001 SOS 7452 HAS SOPS 1747 HAS SOUS 1970 HAS SOUPS 1747 WITH SCORE 1754.452
AT ITER 1732 NEW BEST:: SOT 10998 SOS 7449 HAS SOPS 1743 HAS SOUS 1966 HAS SOUPS 1743 WITH SCORE 1750.449
AT ITER 1745 NEW BEST:: SOT 10993 SOS 7445 HAS SOPS 1741 HAS SOUS 1963 HAS SOUPS 1740 WITH SCORE 1747.445
AT ITER 1762 NEW BEST:: SOT 10989 SOS 7437 HAS SOPS 1729 HAS SOUS 1951 HAS SOUPS 1728 WITH SCORE 1735.437
AT ITER 1769 NEW BEST:: SOT 10988 SOS 7435 HAS SOPS 1727 HAS SOUS 1949 HAS SOUPS 1726 WITH SCORE 1733.435
AT ITER 1787 NEW BEST:: SOT 10977 SOS 7424 HAS SOPS 1718 HAS SOUS 1940 HAS SOUPS 1717 WITH SCORE 1724.424
AT ITER 1810 NEW BEST:: SOT 10979 SOS 7401 HAS SOPS 1697 HAS SOUS 1919 HAS SOUPS 1696 WITH SCORE 1703.401
AT ITER 1817 NEW BEST:: SOT 10978 SOS 7399 HAS SOPS 1693 HAS SOUS 1915 HAS SOUPS 1692 WITH SCORE 1699.399
AT ITER 1830 NEW BEST:: SOT 10978 SOS 7399 HAS SOPS 1691 HAS SOUS 1913 HAS SOUPS 1690 WITH SCORE 1697.399
AT ITER 1842 NEW BEST:: SOT 10968 SOS 7378 HAS SOPS 1671 HAS SOUS 1893 HAS SOUPS 1670 WITH SCORE 1677.378
AT ITER 1848 NEW BEST:: SOT 10964 SOS 7372 HAS SOPS 1663 HAS SOUS 1885 HAS SOUPS 1662 WITH SCORE 1669.372
AT ITER 1856 NEW BEST:: SOT 10981 SOS 7371 HAS SOPS 1661 HAS SOUS 1883 HAS SOUPS 1660 WITH SCORE 1667.371
AT ITER 1866 NEW BEST:: SOT 10996 SOS 7385 HAS SOPS 1660 HAS SOUS 1882 HAS SOUPS 1659 WITH SCORE 1666.385
AT ITER 1868 NEW BEST:: SOT 10993 SOS 7382 HAS SOPS 1654 HAS SOUS 1876 HAS SOUPS 1653 WITH SCORE 1660.382
AT ITER 1874 NEW BEST:: SOT 10987 SOS 7370 HAS SOPS 1630 HAS SOUS 1852 HAS SOUPS 1629 WITH SCORE 1636.37
AT ITER 1888 NEW BEST:: SOT 10978 SOS 7349 HAS SOPS 1612 HAS SOUS 1834 HAS SOUPS 1611 WITH SCORE 1618.349
AT ITER 1932 NEW BEST:: SOT 10978 SOS 7343 HAS SOPS 1606 HAS SOUS 1828 HAS SOUPS 1605 WITH SCORE 1612.343
AT ITER 1946 NEW BEST:: SOT 10971 SOS 7338 HAS SOPS 1592 HAS SOUS 1814 HAS SOUPS 1591 WITH SCORE 1598.338
AT ITER 2010 NEW BEST:: SOT 10966 SOS 7332 HAS SOPS 1582 HAS SOUS 1804 HAS SOUPS 1581 WITH SCORE 1588.332
AT ITER 2020 NEW BEST:: SOT 10964 SOS 7330 HAS SOPS 1581 HAS SOUS 1803 HAS SOUPS 1580 WITH SCORE 1587.33
AT ITER 2046 NEW BEST:: SOT 10958 SOS 7321 HAS SOPS 1569 HAS SOUS 1791 HAS SOUPS 1568 WITH SCORE 1575.321
AT ITER 2054 NEW BEST:: SOT 10957 SOS 7321 HAS SOPS 1567 HAS SOUS 1789 HAS SOUPS 1566 WITH SCORE 1573.321
AT ITER 2063 NEW BEST:: SOT 10958 SOS 7319 HAS SOPS 1566 HAS SOUS 1788 HAS SOUPS 1565 WITH SCORE 1572.319
AT ITER 2127 NEW BEST:: SOT 10944 SOS 7305 HAS SOPS 1538 HAS SOUS 1760 HAS SOUPS 1537 WITH SCORE 1544.305
AT ITER 2197 NEW BEST:: SOT 10941 SOS 7302 HAS SOPS 1532 HAS SOUS 1754 HAS SOUPS 1531 WITH SCORE 1538.302
AT ITER 2204 NEW BEST:: SOT 10937 SOS 7301 HAS SOPS 1524 HAS SOUS 1746 HAS SOUPS 1523 WITH SCORE 1530.301
AT ITER 2218 NEW BEST:: SOT 10938 SOS 7301 HAS SOPS 1520 HAS SOUS 1742 HAS SOUPS 1519 WITH SCORE 1526.301
AT ITER 2269 NEW BEST:: SOT 10937 SOS 7296 HAS SOPS 1514 HAS SOUS 1736 HAS SOUPS 1513 WITH SCORE 1520.296
AT ITER 2272 NEW BEST:: SOT 10916 SOS 7275 HAS SOPS 1472 HAS SOUS 1694 HAS SOUPS 1471 WITH SCORE 1478.275
AT ITER 2351 NEW BEST:: SOT 10914 SOS 7272 HAS SOPS 1468 HAS SOUS 1690 HAS SOUPS 1467 WITH SCORE 1474.272
AT ITER 2380 NEW BEST:: SOT 10914 SOS 7271 HAS SOPS 1467 HAS SOUS 1689 HAS SOUPS 1466 WITH SCORE 1473.271
AT ITER 2384 NEW BEST:: SOT 10910 SOS 7267 HAS SOPS 1459 HAS SOUS 1681 HAS SOUPS 1458 WITH SCORE 1465.267
AT ITER 2399 NEW BEST:: SOT 10906 SOS 7261 HAS SOPS 1451 HAS SOUS 1673 HAS SOUPS 1450 WITH SCORE 1457.261
AT ITER 2442 NEW BEST:: SOT 10909 SOS 7264 HAS SOPS 1435 HAS SOUS 1657 HAS SOUPS 1434 WITH SCORE 1441.264
AT ITER 2461 NEW BEST:: SOT 10918 SOS 7273 HAS SOPS 1434 HAS SOUS 1662 HAS SOUPS 1433 WITH SCORE 1440.273
AT ITER 2547 NEW BEST:: SOT 10917 SOS 7271 HAS SOPS 1432 HAS SOUS 1660 HAS SOUPS 1431 WITH SCORE 1438.271
AT ITER 2559 NEW BEST:: SOT 10907 SOS 7268 HAS SOPS 1412 HAS SOUS 1640 HAS SOUPS 1411 WITH SCORE 1418.268
AT ITER 2583 NEW BEST:: SOT 10916 SOS 7270 HAS SOPS 1409 HAS SOUS 1637 HAS SOUPS 1408 WITH SCORE 1415.27
AT ITER 2585 NEW BEST:: SOT 10918 SOS 7261 HAS SOPS 1402 HAS SOUS 1630 HAS SOUPS 1401 WITH SCORE 1408.261
AT ITER 2607 NEW BEST:: SOT 10918 SOS 7261 HAS SOPS 1378 HAS SOUS 1606 HAS SOUPS 1377 WITH SCORE 1384.261
AT ITER 2614 NEW BEST:: SOT 10914 SOS 7262 HAS SOPS 1377 HAS SOUS 1605 HAS SOUPS 1376 WITH SCORE 1383.262
AT ITER 2656 NEW BEST:: SOT 10910 SOS 7257 HAS SOPS 1369 HAS SOUS 1597 HAS SOUPS 1368 WITH SCORE 1375.257
AT ITER 2750 NEW BEST:: SOT 10913 SOS 7255 HAS SOPS 1361 HAS SOUS 1589 HAS SOUPS 1360 WITH SCORE 1367.255
AT ITER 2765 NEW BEST:: SOT 10913 SOS 7255 HAS SOPS 1346 HAS SOUS 1579 HAS SOUPS 1345 WITH SCORE 1352.255
AT ITER 2771 NEW BEST:: SOT 10905 SOS 7247 HAS SOPS 1330 HAS SOUS 1563 HAS SOUPS 1329 WITH SCORE 1336.247
AT ITER 2868 NEW BEST:: SOT 10904 SOS 7244 HAS SOPS 1326 HAS SOUS 1559 HAS SOUPS 1325 WITH SCORE 1332.244
AT ITER 2922 NEW BEST:: SOT 10905 SOS 7243 HAS SOPS 1324 HAS SOUS 1557 HAS SOUPS 1323 WITH SCORE 1330.243
AT ITER 2945 NEW BEST:: SOT 10902 SOS 7240 HAS SOPS 1319 HAS SOUS 1552 HAS SOUPS 1318 WITH SCORE 1325.24
AT ITER 2997 NEW BEST:: SOT 10979 SOS 7237 HAS SOPS 1313 HAS SOUS 1546 HAS SOUPS 1312 WITH SCORE 1319.237
AT ITER 3068 NEW BEST:: SOT 10981 SOS 7234 HAS SOPS 1311 HAS SOUS 1544 HAS SOUPS 1310 WITH SCORE 1317.234
AT ITER 3106 NEW BEST:: SOT 10980 SOS 7233 HAS SOPS 1309 HAS SOUS 1542 HAS SOUPS 1308 WITH SCORE 1315.233
AT ITER 3129 NEW BEST:: SOT 10983 SOS 7229 HAS SOPS 1301 HAS SOUS 1534 HAS SOUPS 1300 WITH SCORE 1307.229
AT ITER 3147 NEW BEST:: SOT 10981 SOS 7226 HAS SOPS 1297 HAS SOUS 1530 HAS SOUPS 1296 WITH SCORE 1303.226
AT ITER 3232 NEW BEST:: SOT 10980 SOS 7224 HAS SOPS 1295 HAS SOUS 1528 HAS SOUPS 1294 WITH SCORE 1301.224
AT ITER 3248 NEW BEST:: SOT 10979 SOS 7222 HAS SOPS 1292 HAS SOUS 1525 HAS SOUPS 1291 WITH SCORE 1298.222
AT ITER 3311 NEW BEST:: SOT 10977 SOS 7220 HAS SOPS 1292 HAS SOUS 1525 HAS SOUPS 1291 WITH SCORE 1298.22
AT ITER 3479 NEW BEST:: SOT 10986 SOS 7229 HAS SOPS 1288 HAS SOUS 1521 HAS SOUPS 1287 WITH SCORE 1294.229
AT ITER 3707 NEW BEST:: SOT 10985 SOS 7227 HAS SOPS 1286 HAS SOUS 1519 HAS SOUPS 1285 WITH SCORE 1292.227
AT ITER 3868 NEW BEST:: SOT 11000 SOS 7223 HAS SOPS 1278 HAS SOUS 1511 HAS SOUPS 1277 WITH SCORE 1284.223
AT ITER 3922 NEW BEST:: SOT 10994 SOS 7217 HAS SOPS 1272 HAS SOUS 1505 HAS SOUPS 1271 WITH SCORE 1278.217
AT ITER 3972 NEW BEST:: SOT 10998 SOS 7220 HAS SOPS 1271 HAS SOUS 1504 HAS SOUPS 1270 WITH SCORE 1277.22
AT ITER 3982 NEW BEST:: SOT 10996 SOS 7220 HAS SOPS 1269 HAS SOUS 1502 HAS SOUPS 1268 WITH SCORE 1275.22
AT ITER 4056 NEW BEST:: SOT 10994 SOS 7218 HAS SOPS 1265 HAS SOUS 1498 HAS SOUPS 1264 WITH SCORE 1271.218
AT ITER 4126 NEW BEST:: SOT 10990 SOS 7212 HAS SOPS 1257 HAS SOUS 1490 HAS SOUPS 1256 WITH SCORE 1263.212
AT ITER 4193 NEW BEST:: SOT 10988 SOS 7215 HAS SOPS 1253 HAS SOUS 1486 HAS SOUPS 1252 WITH SCORE 1259.215
AT ITER 4217 NEW BEST:: SOT 10988 SOS 7214 HAS SOPS 1251 HAS SOUS 1484 HAS SOUPS 1250 WITH SCORE 1257.214
AT ITER 4249 NEW BEST:: SOT 10988 SOS 7214 HAS SOPS 1234 HAS SOUS 1467 HAS SOUPS 1233 WITH SCORE 1240.214
AT ITER 4271 NEW BEST:: SOT 10987 SOS 7225 HAS SOPS 1232 HAS SOUS 1465 HAS SOUPS 1231 WITH SCORE 1238.225
AT ITER 4309 NEW BEST:: SOT 10997 SOS 7214 HAS SOPS 1231 HAS SOUS 1464 HAS SOUPS 1230 WITH SCORE 1237.214
AT ITER 4424 NEW BEST:: SOT 10994 SOS 7214 HAS SOPS 1225 HAS SOUS 1458 HAS SOUPS 1224 WITH SCORE 1231.214
AT ITER 4471 NEW BEST:: SOT 10994 SOS 7212 HAS SOPS 1225 HAS SOUS 1458 HAS SOUPS 1224 WITH SCORE 1231.212
AT ITER 4499 NEW BEST:: SOT 10986 SOS 7208 HAS SOPS 1225 HAS SOUS 1457 HAS SOUPS 1224 WITH SCORE 1231.208
AT ITER 4518 NEW BEST:: SOT 10971 SOS 7187 HAS SOPS 1195 HAS SOUS 1427 HAS SOUPS 1194 WITH SCORE 1201.187
AT ITER 4535 NEW BEST:: SOT 10968 SOS 7079 HAS SOPS 1195 HAS SOUS 1424 HAS SOUPS 1194 WITH SCORE 1201.079
AT ITER 4663 NEW BEST:: SOT 10964 SOS 7075 HAS SOPS 1187 HAS SOUS 1416 HAS SOUPS 1186 WITH SCORE 1193.075
AT ITER 4699 NEW BEST:: SOT 10962 SOS 7073 HAS SOPS 1184 HAS SOUS 1413 HAS SOUPS 1183 WITH SCORE 1190.073
AT ITER 4800 NEW BEST:: SOT 10962 SOS 7072 HAS SOPS 1184 HAS SOUS 1413 HAS SOUPS 1183 WITH SCORE 1190.072
AT ITER 4806 NEW BEST:: SOT 10962 SOS 7067 HAS SOPS 1184 HAS SOUS 1413 HAS SOUPS 1183 WITH SCORE 1190.067
AT ITER 4930 NEW BEST:: SOT 10961 SOS 7065 HAS SOPS 1182 HAS SOUS 1411 HAS SOUPS 1181 WITH SCORE 1188.065
AT ITER 5017 NEW BEST:: SOT 10961 SOS 7064 HAS SOPS 1181 HAS SOUS 1410 HAS SOUPS 1180 WITH SCORE 1187.064
AT ITER 5181 NEW BEST:: SOT 10959 SOS 7063 HAS SOPS 1177 HAS SOUS 1406 HAS SOUPS 1176 WITH SCORE 1183.063
AT ITER 5228 NEW BEST:: SOT 10970 SOS 7073 HAS SOPS 1175 HAS SOUS 1404 HAS SOUPS 1174 WITH SCORE 1181.073
AT ITER 5300 NEW BEST:: SOT 10970 SOS 7070 HAS SOPS 1172 HAS SOUS 1401 HAS SOUPS 1171 WITH SCORE 1178.07
AT ITER 5436 NEW BEST:: SOT 10968 SOS 7077 HAS SOPS 1168 HAS SOUS 1397 HAS SOUPS 1167 WITH SCORE 1174.077
AT ITER 5466 NEW BEST:: SOT 10968 SOS 7074 HAS SOPS 1168 HAS SOUS 1397 HAS SOUPS 1167 WITH SCORE 1174.074
AT ITER 5513 NEW BEST:: SOT 10967 SOS 7074 HAS SOPS 1167 HAS SOUS 1396 HAS SOUPS 1166 WITH SCORE 1173.074
AT ITER 5529 NEW BEST:: SOT 10959 SOS 7067 HAS SOPS 1161 HAS SOUS 1390 HAS SOUPS 1160 WITH SCORE 1167.067
AT ITER 5628 NEW BEST:: SOT 10957 SOS 7066 HAS SOPS 1161 HAS SOUS 1390 HAS SOUPS 1160 WITH SCORE 1167.066
AT ITER 5746 NEW BEST:: SOT 10958 SOS 7067 HAS SOPS 1160 HAS SOUS 1391 HAS SOUPS 1159 WITH SCORE 1166.067
AT ITER 5755 NEW BEST:: SOT 10958 SOS 7067 HAS SOPS 1158 HAS SOUS 1389 HAS SOUPS 1157 WITH SCORE 1164.067
AT ITER 6098 NEW BEST:: SOT 10966 SOS 7246 HAS SOPS 1155 HAS SOUS 1392 HAS SOUPS 1155 WITH SCORE 1162.246
AT ITER 6118 NEW BEST:: SOT 10965 SOS 7247 HAS SOPS 1153 HAS SOUS 1390 HAS SOUPS 1153 WITH SCORE 1160.247
AT ITER 6137 NEW BEST:: SOT 10961 SOS 7245 HAS SOPS 1149 HAS SOUS 1386 HAS SOUPS 1149 WITH SCORE 1156.245
AT ITER 6172 NEW BEST:: SOT 10958 SOS 7242 HAS SOPS 1145 HAS SOUS 1382 HAS SOUPS 1145 WITH SCORE 1152.242
AT ITER 6241 NEW BEST:: SOT 10956 SOS 7239 HAS SOPS 1141 HAS SOUS 1378 HAS SOUPS 1141 WITH SCORE 1148.239
AT ITER 6295 NEW BEST:: SOT 10956 SOS 7239 HAS SOPS 1140 HAS SOUS 1377 HAS SOUPS 1140 WITH SCORE 1147.239
AT ITER 6339 NEW BEST:: SOT 10957 SOS 7237 HAS SOPS 1133 HAS SOUS 1372 HAS SOUPS 1133 WITH SCORE 1140.237
AT ITER 6441 NEW BEST:: SOT 10952 SOS 7236 HAS SOPS 1131 HAS SOUS 1370 HAS SOUPS 1131 WITH SCORE 1138.236
AT ITER 6665 NEW BEST:: SOT 10940 SOS 7224 HAS SOPS 1114 HAS SOUS 1353 HAS SOUPS 1114 WITH SCORE 1121.224
AT ITER 6686 NEW BEST:: SOT 10940 SOS 7224 HAS SOPS 1113 HAS SOUS 1352 HAS SOUPS 1113 WITH SCORE 1120.224
AT ITER 6872 NEW BEST:: SOT 10936 SOS 7221 HAS SOPS 1109 HAS SOUS 1348 HAS SOUPS 1109 WITH SCORE 1116.221
AT ITER 7087 NEW BEST:: SOT 10935 SOS 7219 HAS SOPS 1107 HAS SOUS 1346 HAS SOUPS 1107 WITH SCORE 1114.219
AT ITER 7228 NEW BEST:: SOT 10934 SOS 7218 HAS SOPS 1105 HAS SOUS 1344 HAS SOUPS 1105 WITH SCORE 1112.218
AT ITER 7312 NEW BEST:: SOT 10933 SOS 7218 HAS SOPS 1104 HAS SOUS 1343 HAS SOUPS 1104 WITH SCORE 1111.218
AT ITER 8684 NEW BEST:: SOT 10933 SOS 7218 HAS SOPS 1103 HAS SOUS 1342 HAS SOUPS 1103 WITH SCORE 1110.218
AT ITER 8800 NEW BEST:: SOT 10931 SOS 7215 HAS SOPS 1099 HAS SOUS 1338 HAS SOUPS 1099 WITH SCORE 1106.215
AT ITER 8844 NEW BEST:: SOT 10930 SOS 7212 HAS SOPS 1097 HAS SOUS 1336 HAS SOUPS 1097 WITH SCORE 1104.212
AT ITER 9001 NEW BEST:: SOT 10928 SOS 7209 HAS SOPS 1093 HAS SOUS 1332 HAS SOUPS 1093 WITH SCORE 1100.209
AT ITER 9355 NEW BEST:: SOT 10927 SOS 7209 HAS SOPS 1092 HAS SOUS 1331 HAS SOUPS 1092 WITH SCORE 1099.209
STATE_SPACE STATES 3138428376722 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 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 47932360662649 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589363785535

--------------------
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="DiscoveryGPU-PT-12a"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-12a, 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 r063-tajo-158922807800688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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