Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140300296.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypertorusGrid-PT-d2k3p2b04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140300296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 79K Apr 27 15:14 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 1589613956080

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

Filename model.pnml
Petri model created: 117 places, 144 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 11102 SOS 5522 HAS SOPS 5522 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3823.522
AT ITER 6 NEW BEST:: SOT 11102 SOS 5522 HAS SOPS 5522 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3820.522
AT ITER 20 NEW BEST:: SOT 11102 SOS 5474 HAS SOPS 5474 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3796.474
AT ITER 32 NEW BEST:: SOT 11102 SOS 5468 HAS SOPS 5468 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3790.468
AT ITER 43 NEW BEST:: SOT 11102 SOS 5482 HAS SOPS 5482 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.482
AT ITER 44 NEW BEST:: SOT 11043 SOS 5352 HAS SOPS 5352 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3692.352
AT ITER 45 NEW BEST:: SOT 11043 SOS 5352 HAS SOPS 5352 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3677.352
AT ITER 47 NEW BEST:: SOT 11030 SOS 5298 HAS SOPS 5298 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3640.298
AT ITER 63 NEW BEST:: SOT 11022 SOS 5258 HAS SOPS 5258 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.258
AT ITER 73 NEW BEST:: SOT 11025 SOS 5250 HAS SOPS 5250 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3586.25
AT ITER 84 NEW BEST:: SOT 11014 SOS 5228 HAS SOPS 5228 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3545.228
AT ITER 99 NEW BEST:: SOT 11012 SOS 5220 HAS SOPS 5220 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3541.22
AT ITER 103 NEW BEST:: SOT 11012 SOS 5236 HAS SOPS 5236 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3534.236
AT ITER 111 NEW BEST:: SOT 10982 SOS 5199 HAS SOPS 5199 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3487.199
AT ITER 121 NEW BEST:: SOT 10982 SOS 5189 HAS SOPS 5189 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3477.189
AT ITER 156 NEW BEST:: SOT 10974 SOS 5181 HAS SOPS 5181 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3470.181
AT ITER 157 NEW BEST:: SOT 10973 SOS 5150 HAS SOPS 5150 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3466.15
AT ITER 164 NEW BEST:: SOT 10973 SOS 5156 HAS SOPS 5156 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3457.156
AT ITER 165 NEW BEST:: SOT 10973 SOS 5162 HAS SOPS 5162 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3455.162
AT ITER 193 NEW BEST:: SOT 10970 SOS 5157 HAS SOPS 5157 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3452.157
AT ITER 206 NEW BEST:: SOT 10958 SOS 5142 HAS SOPS 5142 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3429.142
AT ITER 227 NEW BEST:: SOT 10951 SOS 5114 HAS SOPS 5114 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3415.114
AT ITER 248 NEW BEST:: SOT 10951 SOS 5074 HAS SOPS 5074 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3395.074
AT ITER 249 NEW BEST:: SOT 10934 SOS 5081 HAS SOPS 5081 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3386.081
AT ITER 268 NEW BEST:: SOT 10934 SOS 5094 HAS SOPS 5094 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3385.094
AT ITER 310 NEW BEST:: SOT 10934 SOS 5094 HAS SOPS 5094 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3379.094
AT ITER 337 NEW BEST:: SOT 10910 SOS 5063 HAS SOPS 5063 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3348.063
AT ITER 361 NEW BEST:: SOT 10908 SOS 5049 HAS SOPS 5049 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3342.049
AT ITER 365 NEW BEST:: SOT 10908 SOS 5058 HAS SOPS 5058 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3337.058
AT ITER 402 NEW BEST:: SOT 10854 SOS 5010 HAS SOPS 5010 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3301.01
AT ITER 421 NEW BEST:: SOT 10854 SOS 5004 HAS SOPS 5004 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3299.004
AT ITER 428 NEW BEST:: SOT 10835 SOS 4871 HAS SOPS 4871 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3288.871
AT ITER 431 NEW BEST:: SOT 10828 SOS 4865 HAS SOPS 4865 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3282.865
AT ITER 445 NEW BEST:: SOT 10822 SOS 4855 HAS SOPS 4855 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3274.855
AT ITER 446 NEW BEST:: SOT 10822 SOS 4827 HAS SOPS 4827 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3260.827
AT ITER 447 NEW BEST:: SOT 10817 SOS 4817 HAS SOPS 4817 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3250.817
AT ITER 468 NEW BEST:: SOT 10805 SOS 4803 HAS SOPS 4803 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.803
AT ITER 473 NEW BEST:: SOT 10805 SOS 4803 HAS SOPS 4803 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3231.803
AT ITER 490 NEW BEST:: SOT 10793 SOS 4775 HAS SOPS 4775 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3223.775
AT ITER 492 NEW BEST:: SOT 10793 SOS 4774 HAS SOPS 4774 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3222.774
AT ITER 525 NEW BEST:: SOT 10800 SOS 4780 HAS SOPS 4780 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3209.78
AT ITER 528 NEW BEST:: SOT 10800 SOS 4793 HAS SOPS 4793 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3175.793
AT ITER 529 NEW BEST:: SOT 10800 SOS 4780 HAS SOPS 4780 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3162.78
AT ITER 540 NEW BEST:: SOT 10794 SOS 4768 HAS SOPS 4768 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3150.768
AT ITER 574 NEW BEST:: SOT 10794 SOS 4767 HAS SOPS 4767 HAS SOUS 3145 HAS SOUPS 3145 WITH SCORE 3149.767
AT ITER 590 NEW BEST:: SOT 10765 SOS 4728 HAS SOPS 4728 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3112.728
AT ITER 613 NEW BEST:: SOT 10755 SOS 4720 HAS SOPS 4720 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.72
AT ITER 615 NEW BEST:: SOT 10742 SOS 4683 HAS SOPS 4683 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3082.683
AT ITER 630 NEW BEST:: SOT 10739 SOS 4678 HAS SOPS 4678 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3077.678
AT ITER 638 NEW BEST:: SOT 10730 SOS 4658 HAS SOPS 4658 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3057.658
AT ITER 640 NEW BEST:: SOT 10727 SOS 4653 HAS SOPS 4653 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3052.653
AT ITER 651 NEW BEST:: SOT 10727 SOS 4621 HAS SOPS 4621 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3036.621
AT ITER 671 NEW BEST:: SOT 10709 SOS 4564 HAS SOPS 4564 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3015.564
AT ITER 672 NEW BEST:: SOT 10709 SOS 4546 HAS SOPS 4546 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.546
AT ITER 687 NEW BEST:: SOT 10700 SOS 4499 HAS SOPS 4499 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.499
AT ITER 716 NEW BEST:: SOT 10685 SOS 4458 HAS SOPS 4458 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2975.458
AT ITER 718 NEW BEST:: SOT 10670 SOS 4424 HAS SOPS 4424 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2961.424
AT ITER 756 NEW BEST:: SOT 10660 SOS 4404 HAS SOPS 4404 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2921.404
AT ITER 799 NEW BEST:: SOT 10660 SOS 4408 HAS SOPS 4408 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2917.408
AT ITER 802 NEW BEST:: SOT 10645 SOS 4388 HAS SOPS 4388 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2897.388
AT ITER 803 NEW BEST:: SOT 10642 SOS 4382 HAS SOPS 4382 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2891.382
AT ITER 810 NEW BEST:: SOT 10642 SOS 4346 HAS SOPS 4346 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2879.346
AT ITER 820 NEW BEST:: SOT 10640 SOS 4357 HAS SOPS 4357 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2875.357
AT ITER 836 NEW BEST:: SOT 10625 SOS 4307 HAS SOPS 4307 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.307
AT ITER 866 NEW BEST:: SOT 10625 SOS 4328 HAS SOPS 4328 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.328
AT ITER 869 NEW BEST:: SOT 10613 SOS 4327 HAS SOPS 4327 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2819.327
AT ITER 907 NEW BEST:: SOT 10606 SOS 4320 HAS SOPS 4320 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2812.32
AT ITER 908 NEW BEST:: SOT 10606 SOS 4312 HAS SOPS 4312 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2808.312
AT ITER 918 NEW BEST:: SOT 10606 SOS 4312 HAS SOPS 4312 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2803.312
AT ITER 923 NEW BEST:: SOT 10598 SOS 4300 HAS SOPS 4300 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2783.3
AT ITER 968 NEW BEST:: SOT 10592 SOS 4292 HAS SOPS 4292 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2769.292
AT ITER 985 NEW BEST:: SOT 10591 SOS 4281 HAS SOPS 4281 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2768.281
AT ITER 995 NEW BEST:: SOT 10585 SOS 4239 HAS SOPS 4239 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2734.239
AT ITER 1000 NEW BEST:: SOT 10588 SOS 4243 HAS SOPS 4243 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2730.243
AT ITER 1012 NEW BEST:: SOT 10582 SOS 4237 HAS SOPS 4237 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2724.237
AT ITER 1017 NEW BEST:: SOT 10566 SOS 4201 HAS SOPS 4201 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2704.201
AT ITER 1023 NEW BEST:: SOT 10562 SOS 4185 HAS SOPS 4185 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2696.185
AT ITER 1026 NEW BEST:: SOT 10562 SOS 4180 HAS SOPS 4180 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2687.18
AT ITER 1051 NEW BEST:: SOT 10553 SOS 4168 HAS SOPS 4168 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2669.168
AT ITER 1072 NEW BEST:: SOT 10553 SOS 4167 HAS SOPS 4167 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2665.167
AT ITER 1081 NEW BEST:: SOT 10547 SOS 4157 HAS SOPS 4157 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2655.157
AT ITER 1114 NEW BEST:: SOT 10546 SOS 4150 HAS SOPS 4150 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2650.15
AT ITER 1123 NEW BEST:: SOT 10548 SOS 4152 HAS SOPS 4152 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2646.152
AT ITER 1148 NEW BEST:: SOT 10551 SOS 4160 HAS SOPS 4160 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2614.16
AT ITER 1158 NEW BEST:: SOT 10532 SOS 4128 HAS SOPS 4128 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2596.128
AT ITER 1161 NEW BEST:: SOT 10530 SOS 4124 HAS SOPS 4124 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2592.124
AT ITER 1187 NEW BEST:: SOT 10515 SOS 4109 HAS SOPS 4109 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2577.109
AT ITER 1230 NEW BEST:: SOT 10515 SOS 4105 HAS SOPS 4105 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2575.105
AT ITER 1247 NEW BEST:: SOT 10515 SOS 4081 HAS SOPS 4081 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2563.081
AT ITER 1253 NEW BEST:: SOT 10515 SOS 4085 HAS SOPS 4085 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2561.085
AT ITER 1319 NEW BEST:: SOT 10506 SOS 4073 HAS SOPS 4073 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2549.073
AT ITER 1359 NEW BEST:: SOT 10494 SOS 4061 HAS SOPS 4061 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2549.061
AT ITER 1362 NEW BEST:: SOT 10494 SOS 4061 HAS SOPS 4061 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2543.061
AT ITER 1386 NEW BEST:: SOT 10485 SOS 4046 HAS SOPS 4046 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2537.046
AT ITER 1424 NEW BEST:: SOT 10481 SOS 4044 HAS SOPS 4044 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2529.044
AT ITER 1455 NEW BEST:: SOT 10472 SOS 4032 HAS SOPS 4032 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2521.032
AT ITER 1459 NEW BEST:: SOT 10472 SOS 4020 HAS SOPS 4020 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2515.02
AT ITER 1495 NEW BEST:: SOT 10453 SOS 4032 HAS SOPS 4032 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2506.032
AT ITER 1511 NEW BEST:: SOT 10454 SOS 4028 HAS SOPS 4028 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2506.028
AT ITER 1553 NEW BEST:: SOT 10451 SOS 4021 HAS SOPS 4021 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2501.021
AT ITER 1574 NEW BEST:: SOT 10451 SOS 4021 HAS SOPS 4021 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2498.021
AT ITER 1604 NEW BEST:: SOT 10445 SOS 4013 HAS SOPS 4013 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2490.013
AT ITER 1632 NEW BEST:: SOT 10432 SOS 3995 HAS SOPS 3995 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2485.995
AT ITER 1681 NEW BEST:: SOT 10432 SOS 3991 HAS SOPS 3991 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2483.991
AT ITER 1747 NEW BEST:: SOT 10423 SOS 3965 HAS SOPS 3965 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2471.965
AT ITER 1829 NEW BEST:: SOT 10423 SOS 3963 HAS SOPS 3963 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2471.963
AT ITER 1861 NEW BEST:: SOT 10424 SOS 3966 HAS SOPS 3966 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2469.966
AT ITER 1947 NEW BEST:: SOT 10418 SOS 3943 HAS SOPS 3943 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2462.943
AT ITER 1997 NEW BEST:: SOT 10417 SOS 3939 HAS SOPS 3939 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2460.939
AT ITER 2060 NEW BEST:: SOT 10416 SOS 3937 HAS SOPS 3937 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.937
AT ITER 2187 NEW BEST:: SOT 10416 SOS 3929 HAS SOPS 3929 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2454.929
AT ITER 2259 NEW BEST:: SOT 10406 SOS 3905 HAS SOPS 3905 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2442.905
AT ITER 2289 NEW BEST:: SOT 10406 SOS 3889 HAS SOPS 3889 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2434.889
AT ITER 2340 NEW BEST:: SOT 10406 SOS 3885 HAS SOPS 3885 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.885
AT ITER 2351 NEW BEST:: SOT 10406 SOS 3881 HAS SOPS 3881 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.881
AT ITER 2355 NEW BEST:: SOT 10404 SOS 3879 HAS SOPS 3879 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2428.879
AT ITER 2400 NEW BEST:: SOT 10400 SOS 3875 HAS SOPS 3875 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2424.875
AT ITER 2421 NEW BEST:: SOT 10396 SOS 3871 HAS SOPS 3871 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2420.871
AT ITER 2455 NEW BEST:: SOT 10394 SOS 3863 HAS SOPS 3863 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2416.863
AT ITER 2469 NEW BEST:: SOT 10392 SOS 3858 HAS SOPS 3858 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2413.858
AT ITER 2489 NEW BEST:: SOT 10386 SOS 3848 HAS SOPS 3848 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.848
AT ITER 2567 NEW BEST:: SOT 10386 SOS 3851 HAS SOPS 3851 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2405.851
AT ITER 2672 NEW BEST:: SOT 10386 SOS 3847 HAS SOPS 3847 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2403.847
AT ITER 2674 NEW BEST:: SOT 10380 SOS 3829 HAS SOPS 3829 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.829
AT ITER 2740 NEW BEST:: SOT 10362 SOS 3799 HAS SOPS 3799 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2370.799
AT ITER 2761 NEW BEST:: SOT 10359 SOS 3795 HAS SOPS 3795 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.795
AT ITER 2830 NEW BEST:: SOT 10362 SOS 3787 HAS SOPS 3787 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.787
AT ITER 2936 NEW BEST:: SOT 10365 SOS 3801 HAS SOPS 3801 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.801
AT ITER 3013 NEW BEST:: SOT 10362 SOS 3797 HAS SOPS 3797 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.797
AT ITER 3030 NEW BEST:: SOT 10362 SOS 3793 HAS SOPS 3793 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2358.793
AT ITER 3287 NEW BEST:: SOT 10359 SOS 3786 HAS SOPS 3786 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.786
AT ITER 3470 NEW BEST:: SOT 10368 SOS 3797 HAS SOPS 3797 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2354.797
AT ITER 3488 NEW BEST:: SOT 10367 SOS 3793 HAS SOPS 3793 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2352.793
AT ITER 3555 NEW BEST:: SOT 10361 SOS 3779 HAS SOPS 3779 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2348.779
AT ITER 3560 NEW BEST:: SOT 10358 SOS 3775 HAS SOPS 3775 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2334.775
AT ITER 3695 NEW BEST:: SOT 10349 SOS 3762 HAS SOPS 3762 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2333.762
AT ITER 3712 NEW BEST:: SOT 10346 SOS 3756 HAS SOPS 3756 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.756
AT ITER 3723 NEW BEST:: SOT 10337 SOS 3743 HAS SOPS 3743 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.743
AT ITER 3741 NEW BEST:: SOT 10325 SOS 3722 HAS SOPS 3722 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.722
AT ITER 3784 NEW BEST:: SOT 10333 SOS 3730 HAS SOPS 3730 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2308.73
AT ITER 3843 NEW BEST:: SOT 10333 SOS 3732 HAS SOPS 3732 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.732
AT ITER 3991 NEW BEST:: SOT 10330 SOS 3728 HAS SOPS 3728 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.728
AT ITER 4033 NEW BEST:: SOT 10324 SOS 3722 HAS SOPS 3722 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2299.722
AT ITER 4042 NEW BEST:: SOT 10308 SOS 3706 HAS SOPS 3706 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2292.706
AT ITER 4060 NEW BEST:: SOT 10308 SOS 3706 HAS SOPS 3706 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.706
AT ITER 4126 NEW BEST:: SOT 10305 SOS 3702 HAS SOPS 3702 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2287.702
AT ITER 4145 NEW BEST:: SOT 10305 SOS 3690 HAS SOPS 3690 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2287.69
AT ITER 4149 NEW BEST:: SOT 10305 SOS 3690 HAS SOPS 3690 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2286.69
AT ITER 4163 NEW BEST:: SOT 10302 SOS 3683 HAS SOPS 3683 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2281.683
AT ITER 4204 NEW BEST:: SOT 10302 SOS 3679 HAS SOPS 3679 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2279.679
AT ITER 4230 NEW BEST:: SOT 10296 SOS 3671 HAS SOPS 3671 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2271.671
AT ITER 4395 NEW BEST:: SOT 10287 SOS 3639 HAS SOPS 3639 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2267.639
AT ITER 4458 NEW BEST:: SOT 10287 SOS 3635 HAS SOPS 3635 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2265.635
AT ITER 4605 NEW BEST:: SOT 10281 SOS 3616 HAS SOPS 3616 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.616
AT ITER 4609 NEW BEST:: SOT 10281 SOS 3613 HAS SOPS 3613 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2253.613
AT ITER 4687 NEW BEST:: SOT 10278 SOS 3607 HAS SOPS 3607 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2249.607
AT ITER 4711 NEW BEST:: SOT 10278 SOS 3607 HAS SOPS 3607 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.607
AT ITER 5112 NEW BEST:: SOT 10278 SOS 3608 HAS SOPS 3608 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.608
AT ITER 5231 NEW BEST:: SOT 10275 SOS 3600 HAS SOPS 3600 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.6
AT ITER 5373 NEW BEST:: SOT 10259 SOS 3584 HAS SOPS 3584 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2235.584
AT ITER 5586 NEW BEST:: SOT 10251 SOS 3574 HAS SOPS 3574 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.574
AT ITER 5757 NEW BEST:: SOT 10245 SOS 3550 HAS SOPS 3550 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.55
AT ITER 5827 NEW BEST:: SOT 10240 SOS 3542 HAS SOPS 3542 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.542
AT ITER 5833 NEW BEST:: SOT 10236 SOS 3530 HAS SOPS 3530 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.53
AT ITER 6087 NEW BEST:: SOT 10231 SOS 3524 HAS SOPS 3524 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.524
AT ITER 6115 NEW BEST:: SOT 10227 SOS 3520 HAS SOPS 3520 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.52
AT ITER 6279 NEW BEST:: SOT 10227 SOS 3516 HAS SOPS 3516 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.516
AT ITER 6337 NEW BEST:: SOT 10224 SOS 3509 HAS SOPS 3509 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2208.509
AT ITER 6585 NEW BEST:: SOT 10223 SOS 3505 HAS SOPS 3505 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2206.505
AT ITER 6678 NEW BEST:: SOT 10222 SOS 3504 HAS SOPS 3504 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2205.504
AT ITER 6789 NEW BEST:: SOT 10222 SOS 3502 HAS SOPS 3502 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2203.502
AT ITER 6809 NEW BEST:: SOT 10221 SOS 3508 HAS SOPS 3508 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2201.508
AT ITER 6829 NEW BEST:: SOT 10221 SOS 3504 HAS SOPS 3504 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2199.504
AT ITER 7094 NEW BEST:: SOT 10220 SOS 3500 HAS SOPS 3500 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2197.5
AT ITER 7417 NEW BEST:: SOT 10219 SOS 3500 HAS SOPS 3500 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.5
AT ITER 7481 NEW BEST:: SOT 10219 SOS 3502 HAS SOPS 3502 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2193.502
AT ITER 7508 NEW BEST:: SOT 10220 SOS 3497 HAS SOPS 3497 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2193.497
AT ITER 7606 NEW BEST:: SOT 10219 SOS 3492 HAS SOPS 3492 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2190.492
AT ITER 7633 NEW BEST:: SOT 10216 SOS 3484 HAS SOPS 3484 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2188.484
AT ITER 7661 NEW BEST:: SOT 10198 SOS 3464 HAS SOPS 3464 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2185.464
AT ITER 8232 NEW BEST:: SOT 10195 SOS 3460 HAS SOPS 3460 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2181.46
AT ITER 8285 NEW BEST:: SOT 10194 SOS 3458 HAS SOPS 3458 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2181.458
AT ITER 8299 NEW BEST:: SOT 10193 SOS 3454 HAS SOPS 3454 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2179.454
AT ITER 9080 NEW BEST:: SOT 10187 SOS 3450 HAS SOPS 3450 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2175.45
AT ITER 9116 NEW BEST:: SOT 10175 SOS 3419 HAS SOPS 3419 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.419
AT ITER 9269 NEW BEST:: SOT 10167 SOS 3420 HAS SOPS 3420 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.42
AT ITER 9391 NEW BEST:: SOT 10160 SOS 3408 HAS SOPS 3408 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2155.408

BK_STOP 1589616216135

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 458 Aborted ${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="HypertorusGrid-PT-d2k3p2b04"
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 HypertorusGrid-PT-d2k3p2b04, 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 r093-oct2-158940140300296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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