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.r483-tall-167912695900616.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 TokenRing-COL-040, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695900616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 6.4K Feb 25 21:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 21:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 16:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 16:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 28K Mar 5 18:23 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 1679172024249

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=TokenRing-COL-040
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 20:40:27] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 20:40:27] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 20:40:27] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 20:40:27] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 20:40:28] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 673 ms
[2023-03-18 20:40:28] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 1681 PT places and 68962.0 transition bindings in 38 ms.
[2023-03-18 20:40:29] [INFO ] Unfolded HLPN to a Petri net with 1681 places and 65641 transitions 262564 arcs in 1014 ms.
[2023-03-18 20:40:29] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 20:40:29] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1681 places, 65641 transitions and 262564 arcs took 337 ms.
Total runtime 2713 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 040
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: 1681 places, 65641 transitions, 262564 arcs.
AT ITER 0 NEW BEST:: SOT 56959710 SOS 5999993 HAS SOPS 3558145 HAS SOUS 2883581 HAS SOUPS 2815652 WITH SCORE 2821651.993
AT ITER 78 NEW BEST:: SOT 56960096 SOS 6005101 HAS SOPS 3563253 HAS SOUS 2882853 HAS SOUPS 2814924 WITH SCORE 2820929.101
AT ITER 94 NEW BEST:: SOT 56960742 SOS 6011388 HAS SOPS 3569511 HAS SOUS 2882327 HAS SOUPS 2814397 WITH SCORE 2820408.388
AT ITER 99 NEW BEST:: SOT 56961452 SOS 6016745 HAS SOPS 3574867 HAS SOUS 2880071 HAS SOUPS 2812140 WITH SCORE 2818156.745
AT ITER 134 NEW BEST:: SOT 56961847 SOS 6021926 HAS SOPS 3580048 HAS SOUS 2879206 HAS SOUPS 2811275 WITH SCORE 2817296.926
AT ITER 309 NEW BEST:: SOT 56958785 SOS 6017224 HAS SOPS 3582989 HAS SOUS 2878315 HAS SOUPS 2810525 WITH SCORE 2816542.224
AT ITER 319 NEW BEST:: SOT 56959463 SOS 6019462 HAS SOPS 3585823 HAS SOUS 2877386 HAS SOUPS 2809596 WITH SCORE 2815615.462
AT ITER 337 NEW BEST:: SOT 56959728 SOS 6023871 HAS SOPS 3590232 HAS SOUS 2874163 HAS SOUPS 2806373 WITH SCORE 2812396.871
AT ITER 347 NEW BEST:: SOT 56959931 SOS 6024544 HAS SOPS 3592431 HAS SOUS 2873942 HAS SOUPS 2806152 WITH SCORE 2812176.544
AT ITER 378 NEW BEST:: SOT 56956587 SOS 6019613 HAS SOPS 3594657 HAS SOUS 2872632 HAS SOUPS 2804983 WITH SCORE 2811002.613
AT ITER 440 NEW BEST:: SOT 56957141 SOS 6021285 HAS SOPS 3596883 HAS SOUS 2872476 HAS SOUPS 2804835 WITH SCORE 2810856.285
AT ITER 528 NEW BEST:: SOT 56957408 SOS 6026594 HAS SOPS 3602192 HAS SOUS 2871883 HAS SOUPS 2804242 WITH SCORE 2810268.594
AT ITER 681 NEW BEST:: SOT 56959866 SOS 6034842 HAS SOPS 3610138 HAS SOUS 2870150 HAS SOUPS 2802476 WITH SCORE 2808510.842
AT ITER 741 NEW BEST:: SOT 56960965 SOS 6041281 HAS SOPS 3616439 HAS SOUS 2866647 HAS SOUPS 2798969 WITH SCORE 2805010.281
AT ITER 768 NEW BEST:: SOT 56961616 SOS 6047270 HAS SOPS 3622428 HAS SOUS 2866060 HAS SOUPS 2798382 WITH SCORE 2804429.27
AT ITER 819 NEW BEST:: SOT 56961616 SOS 6047580 HAS SOPS 3622428 HAS SOUS 2865918 HAS SOUPS 2798236 WITH SCORE 2804283.58
AT ITER 866 NEW BEST:: SOT 56962294 SOS 6049230 HAS SOPS 3624756 HAS SOUS 2865842 HAS SOUPS 2798155 WITH SCORE 2804204.23
AT ITER 882 NEW BEST:: SOT 56962396 SOS 6049852 HAS SOPS 3625480 HAS SOUS 2865733 HAS SOUPS 2798046 WITH SCORE 2804095.852
AT ITER 884 NEW BEST:: SOT 56962723 SOS 6055019 HAS SOPS 3630647 HAS SOUS 2864910 HAS SOUPS 2797223 WITH SCORE 2803278.019
AT ITER 893 NEW BEST:: SOT 56962977 SOS 6059275 HAS SOPS 3634903 HAS SOUS 2861162 HAS SOUPS 2793475 WITH SCORE 2799534.275
AT ITER 908 NEW BEST:: SOT 56964153 SOS 6061595 HAS SOPS 3638361 HAS SOUS 2861153 HAS SOUPS 2793466 WITH SCORE 2799527.595
AT ITER 1013 NEW BEST:: SOT 56964433 SOS 6063688 HAS SOPS 3640729 HAS SOUS 2859952 HAS SOUPS 2792271 WITH SCORE 2798334.688
AT ITER 1031 NEW BEST:: SOT 56960696 SOS 6058513 HAS SOPS 3642191 HAS SOUS 2858225 HAS SOUPS 2790684 WITH SCORE 2796742.513
AT ITER 1268 NEW BEST:: SOT 56960796 SOS 6059397 HAS SOPS 3643075 HAS SOUS 2857541 HAS SOUPS 2790000 WITH SCORE 2796059.397
AT ITER 1272 NEW BEST:: SOT 56963456 SOS 6067237 HAS SOPS 3650645 HAS SOUS 2856585 HAS SOUPS 2789011 WITH SCORE 2795078.237
AT ITER 1396 NEW BEST:: SOT 56965158 SOS 6073708 HAS SOPS 3656899 HAS SOUS 2854092 HAS SOUPS 2786504 WITH SCORE 2792577.708
AT ITER 1398 NEW BEST:: SOT 56960311 SOS 6069271 HAS SOPS 3658493 HAS SOUS 2851478 HAS SOUPS 2784019 WITH SCORE 2790088.271
AT ITER 1504 NEW BEST:: SOT 56960139 SOS 6067555 HAS SOPS 3658321 HAS SOUS 2851046 HAS SOUPS 2783631 WITH SCORE 2789698.555
AT ITER 1576 NEW BEST:: SOT 56959158 SOS 6067282 HAS SOPS 3659368 HAS SOUS 2849316 HAS SOUPS 2781934 WITH SCORE 2788001.282
AT ITER 1676 NEW BEST:: SOT 56960804 SOS 6072897 HAS SOPS 3664810 HAS SOUS 2847239 HAS SOUPS 2779851 WITH SCORE 2785923.897
AT ITER 1719 NEW BEST:: SOT 56961212 SOS 6074695 HAS SOPS 3667018 HAS SOUS 2846453 HAS SOUPS 2779068 WITH SCORE 2785142.695
AT ITER 1757 NEW BEST:: SOT 56963480 SOS 6083424 HAS SOPS 3675482 HAS SOUS 2845786 HAS SOUPS 2778381 WITH SCORE 2784464.424
AT ITER 1819 NEW BEST:: SOT 56966729 SOS 6094678 HAS SOPS 3684145 HAS SOUS 2844269 HAS SOUPS 2776785 WITH SCORE 2782879.678
AT ITER 1845 NEW BEST:: SOT 56967098 SOS 6096241 HAS SOPS 3686044 HAS SOUS 2843411 HAS SOUPS 2775927 WITH SCORE 2782023.241
AT ITER 1881 NEW BEST:: SOT 56967168 SOS 6097061 HAS SOPS 3686934 HAS SOUS 2843347 HAS SOUPS 2775863 WITH SCORE 2781960.061
AT ITER 1919 NEW BEST:: SOT 56967746 SOS 6102058 HAS SOPS 3691930 HAS SOUS 2839547 HAS SOUPS 2772062 WITH SCORE 2778164.058
AT ITER 1936 NEW BEST:: SOT 56968584 SOS 6104658 HAS SOPS 3695354 HAS SOUS 2839327 HAS SOUPS 2771857 WITH SCORE 2777961.658
AT ITER 2018 NEW BEST:: SOT 56968397 SOS 6103995 HAS SOPS 3695167 HAS SOUS 2838919 HAS SOUPS 2771466 WITH SCORE 2777569.995
AT ITER 2073 NEW BEST:: SOT 56969458 SOS 6106246 HAS SOPS 3698350 HAS SOUS 2838747 HAS SOUPS 2771294 WITH SCORE 2777400.246
AT ITER 2087 NEW BEST:: SOT 56970028 SOS 6112318 HAS SOPS 3704422 HAS SOUS 2838325 HAS SOUPS 2770872 WITH SCORE 2776984.318
AT ITER 2182 NEW BEST:: SOT 56965708 SOS 6105615 HAS SOPS 3703179 HAS SOUS 2837883 HAS SOUPS 2770544 WITH SCORE 2776649.615
AT ITER 2205 NEW BEST:: SOT 56966291 SOS 6106844 HAS SOPS 3704844 HAS SOUS 2837795 HAS SOUPS 2770456 WITH SCORE 2776562.844
AT ITER 2253 NEW BEST:: SOT 56966988 SOS 6112461 HAS SOPS 3710461 HAS SOUS 2834720 HAS SOUPS 2767381 WITH SCORE 2773493.461
AT ITER 2352 NEW BEST:: SOT 56967436 SOS 6113421 HAS SOPS 3711821 HAS SOUS 2834713 HAS SOUPS 2767374 WITH SCORE 2773487.421
AT ITER 2372 NEW BEST:: SOT 56969044 SOS 6119898 HAS SOPS 3718231 HAS SOUS 2834199 HAS SOUPS 2766851 WITH SCORE 2772970.898
AT ITER 2442 NEW BEST:: SOT 56969706 SOS 6125354 HAS SOPS 3723687 HAS SOUS 2831297 HAS SOUPS 2763949 WITH SCORE 2770074.354
AT ITER 2450 NEW BEST:: SOT 56970339 SOS 6126964 HAS SOPS 3726928 HAS SOUS 2831256 HAS SOUPS 2763907 WITH SCORE 2770033.964
AT ITER 2459 NEW BEST:: SOT 56972222 SOS 6134956 HAS SOPS 3734501 HAS SOUS 2828588 HAS SOUPS 2761217 WITH SCORE 2767351.956
AT ITER 2471 NEW BEST:: SOT 56973560 SOS 6139622 HAS SOPS 3739081 HAS SOUS 2827008 HAS SOUPS 2759627 WITH SCORE 2765766.622
AT ITER 2483 NEW BEST:: SOT 56973668 SOS 6139844 HAS SOPS 3739411 HAS SOUS 2827006 HAS SOUPS 2759624 WITH SCORE 2765763.844
AT ITER 2546 NEW BEST:: SOT 56974565 SOS 6146112 HAS SOPS 3745644 HAS SOUS 2824008 HAS SOUPS 2756624 WITH SCORE 2762770.112
AT ITER 2551 NEW BEST:: SOT 56973858 SOS 6145263 HAS SOPS 3746359 HAS SOUS 2821803 HAS SOUPS 2754459 WITH SCORE 2760604.263
AT ITER 2654 NEW BEST:: SOT 56974431 SOS 6149610 HAS SOPS 3750706 HAS SOUS 2818602 HAS SOUPS 2751258 WITH SCORE 2757407.61
AT ITER 2697 NEW BEST:: SOT 56974775 SOS 6154678 HAS SOPS 3755774 HAS SOUS 2817748 HAS SOUPS 2750404 WITH SCORE 2756558.678
AT ITER 2765 NEW BEST:: SOT 56975079 SOS 6156136 HAS SOPS 3757468 HAS SOUS 2816864 HAS SOUPS 2749520 WITH SCORE 2755676.136
AT ITER 2800 NEW BEST:: SOT 56975661 SOS 6162495 HAS SOPS 3763806 HAS SOUS 2816794 HAS SOUPS 2749449 WITH SCORE 2755611.495
AT ITER 2802 NEW BEST:: SOT 56977461 SOS 6169649 HAS SOPS 3770810 HAS SOUS 2815044 HAS SOUPS 2747681 WITH SCORE 2753850.649
AT ITER 2847 NEW BEST:: SOT 56978311 SOS 6174439 HAS SOPS 3775582 HAS SOUS 2812077 HAS SOUPS 2744711 WITH SCORE 2750885.439
AT ITER 2870 NEW BEST:: SOT 56978685 SOS 6175517 HAS SOPS 3776990 HAS SOUS 2811725 HAS SOUPS 2744359 WITH SCORE 2750534.517
AT ITER 2901 NEW BEST:: SOT 56978403 SOS 6175211 HAS SOPS 3776774 HAS SOUS 2811467 HAS SOUPS 2744107 WITH SCORE 2750282.211
AT ITER 3032 NEW BEST:: SOT 56979091 SOS 6176779 HAS SOPS 3779346 HAS SOUS 2811227 HAS SOUPS 2743877 WITH SCORE 2750053.779
AT ITER 3094 NEW BEST:: SOT 56979543 SOS 6179043 HAS SOPS 3782066 HAS SOUS 2810089 HAS SOUPS 2742737 WITH SCORE 2748916.043
AT ITER 3228 NEW BEST:: SOT 56980218 SOS 6183670 HAS SOPS 3786693 HAS SOUS 2806812 HAS SOUPS 2739460 WITH SCORE 2745643.67
AT ITER 3298 NEW BEST:: SOT 56980650 SOS 6184660 HAS SOPS 3788113 HAS SOUS 2806704 HAS SOUPS 2739349 WITH SCORE 2745533.66
AT ITER 3311 NEW BEST:: SOT 56980904 SOS 6185439 HAS SOPS 3790177 HAS SOUS 2806475 HAS SOUPS 2739117 WITH SCORE 2745302.439
AT ITER 3403 NEW BEST:: SOT 56981633 SOS 6190534 HAS SOPS 3795256 HAS SOUS 2806446 HAS SOUPS 2739086 WITH SCORE 2745276.534
AT ITER 3406 NEW BEST:: SOT 56981935 SOS 6194168 HAS SOPS 3798890 HAS SOUS 2806204 HAS SOUPS 2738844 WITH SCORE 2745038.168
AT ITER 3424 NEW BEST:: SOT 56983607 SOS 6201299 HAS SOPS 3805958 HAS SOUS 2805902 HAS SOUPS 2738533 WITH SCORE 2744734.299
AT ITER 3526 NEW BEST:: SOT 56984545 SOS 6203619 HAS SOPS 3809200 HAS SOUS 2805596 HAS SOUPS 2738217 WITH SCORE 2744420.619
AT ITER 3565 NEW BEST:: SOT 56985628 SOS 6209742 HAS SOPS 3815165 HAS SOUS 2801803 HAS SOUPS 2734420 WITH SCORE 2740629.742
AT ITER 3673 NEW BEST:: SOT 56986053 SOS 6210775 HAS SOPS 3816604 HAS SOUS 2801677 HAS SOUPS 2734294 WITH SCORE 2740504.775
AT ITER 3693 NEW BEST:: SOT 56986238 SOS 6211390 HAS SOPS 3817219 HAS SOUS 2801432 HAS SOUPS 2734049 WITH SCORE 2740260.39
AT ITER 3714 NEW BEST:: SOT 56986677 SOS 6213009 HAS SOPS 3819114 HAS SOUS 2800893 HAS SOUPS 2733513 WITH SCORE 2739726.009
AT ITER 3875 NEW BEST:: SOT 56988545 SOS 6219492 HAS SOPS 3824450 HAS SOUS 2799376 HAS SOUPS 2731966 WITH SCORE 2738185.492
AT ITER 3899 NEW BEST:: SOT 56990191 SOS 6225538 HAS SOPS 3829858 HAS SOUS 2797811 HAS SOUPS 2730372 WITH SCORE 2736597.538
AT ITER 4132 NEW BEST:: SOT 56990528 SOS 6231321 HAS SOPS 3835641 HAS SOUS 2797376 HAS SOUPS 2729937 WITH SCORE 2736168.321
AT ITER 4223 NEW BEST:: SOT 56990741 SOS 6233381 HAS SOPS 3837388 HAS SOUS 2796259 HAS SOUPS 2728815 WITH SCORE 2735048.381
AT ITER 4334 NEW BEST:: SOT 56990987 SOS 6237518 HAS SOPS 3843828 HAS SOUS 2795404 HAS SOUPS 2728037 WITH SCORE 2734274.518
AT ITER 4345 NEW BEST:: SOT 56991614 SOS 6241319 HAS SOPS 3847629 HAS SOUS 2792857 HAS SOUPS 2725490 WITH SCORE 2731731.319
AT ITER 4405 NEW BEST:: SOT 56992158 SOS 6245941 HAS SOPS 3852251 HAS SOUS 2789323 HAS SOUPS 2721956 WITH SCORE 2728201.941
AT ITER 4416 NEW BEST:: SOT 56994728 SOS 6254975 HAS SOPS 3859455 HAS SOUS 2787807 HAS SOUPS 2720382 WITH SCORE 2726636.975
AT ITER 4439 NEW BEST:: SOT 56995502 SOS 6256991 HAS SOPS 3862141 HAS SOUS 2787661 HAS SOUPS 2720242 WITH SCORE 2726498.991
AT ITER 4440 NEW BEST:: SOT 56994314 SOS 6255340 HAS SOPS 3863281 HAS SOUS 2783861 HAS SOUPS 2716533 WITH SCORE 2722788.34
AT ITER 4462 NEW BEST:: SOT 56994695 SOS 6256871 HAS SOPS 3865082 HAS SOUS 2783054 HAS SOUPS 2715726 WITH SCORE 2721982.871
AT ITER 4577 NEW BEST:: SOT 56995416 SOS 6259674 HAS SOPS 3867883 HAS SOUS 2782185 HAS SOUPS 2714855 WITH SCORE 2721114.674
AT ITER 4586 NEW BEST:: SOT 56996755 SOS 6265397 HAS SOPS 3873830 HAS SOUS 2781190 HAS SOUPS 2713860 WITH SCORE 2720125.397
AT ITER 4596 NEW BEST:: SOT 56997048 SOS 6268203 HAS SOPS 3878327 HAS SOUS 2779175 HAS SOUPS 2711876 WITH SCORE 2718144.203
AT ITER 4612 NEW BEST:: SOT 56997785 SOS 6273184 HAS SOPS 3883390 HAS SOUS 2775873 HAS SOUPS 2708569 WITH SCORE 2714842.184
AT ITER 4626 NEW BEST:: SOT 56999320 SOS 6278012 HAS SOPS 3888215 HAS SOUS 2774930 HAS SOUPS 2707621 WITH SCORE 2713899.012
AT ITER 4700 NEW BEST:: SOT 56999672 SOS 6282416 HAS SOPS 3892619 HAS SOUS 2771230 HAS SOUPS 2703921 WITH SCORE 2710203.416
AT ITER 4702 NEW BEST:: SOT 56999695 SOS 6283269 HAS SOPS 3893424 HAS SOUS 2770388 HAS SOUPS 2703079 WITH SCORE 2709362.269
AT ITER 4776 NEW BEST:: SOT 56999604 SOS 6283886 HAS SOPS 3896023 HAS SOUS 2769689 HAS SOUPS 2702352 WITH SCORE 2708635.886
AT ITER 4783 NEW BEST:: SOT 57002495 SOS 6291303 HAS SOPS 3903084 HAS SOUS 2769446 HAS SOUPS 2702075 WITH SCORE 2708366.303
AT ITER 4791 NEW BEST:: SOT 57006258 SOS 6301121 HAS SOPS 3912889 HAS SOUS 2767482 HAS SOUPS 2700105 WITH SCORE 2706406.121
AT ITER 4840 NEW BEST:: SOT 57007127 SOS 6307704 HAS SOPS 3919472 HAS SOUS 2767065 HAS SOUPS 2699688 WITH SCORE 2705995.704
AT ITER 4870 NEW BEST:: SOT 57007163 SOS 6308486 HAS SOPS 3920290 HAS SOUS 2766355 HAS SOUPS 2698978 WITH SCORE 2705286.486
AT ITER 4897 NEW BEST:: SOT 57007665 SOS 6310250 HAS SOPS 3922442 HAS SOUS 2765557 HAS SOUPS 2698180 WITH SCORE 2704490.25
AT ITER 4910 NEW BEST:: SOT 57010217 SOS 6318185 HAS SOPS 3929872 HAS SOUS 2764202 HAS SOUPS 2696789 WITH SCORE 2703107.185
AT ITER 5003 NEW BEST:: SOT 57011400 SOS 6325003 HAS SOPS 3936653 HAS SOUS 2761554 HAS SOUPS 2694135 WITH SCORE 2700460.003
AT ITER 5022 NEW BEST:: SOT 57011879 SOS 6328652 HAS SOPS 3940332 HAS SOUS 2758863 HAS SOUPS 2691444 WITH SCORE 2697772.652
AT ITER 5097 NEW BEST:: SOT 57011498 SOS 6328776 HAS SOPS 3940099 HAS SOUS 2758017 HAS SOUPS 2690598 WITH SCORE 2696926.776
AT ITER 5125 NEW BEST:: SOT 57014908 SOS 6332773 HAS SOPS 3940946 HAS SOUS 2757804 HAS SOUPS 2690303 WITH SCORE 2696635.773
AT ITER 5140 NEW BEST:: SOT 57015925 SOS 6336561 HAS SOPS 3944719 HAS SOUS 2756050 HAS SOUPS 2688549 WITH SCORE 2694885.561
AT ITER 5257 NEW BEST:: SOT 57017129 SOS 6341535 HAS SOPS 3949601 HAS SOUS 2753812 HAS SOUPS 2686303 WITH SCORE 2692644.535
AT ITER 5319 NEW BEST:: SOT 57018008 SOS 6347592 HAS SOPS 3955632 HAS SOUS 2749595 HAS SOUPS 2682084 WITH SCORE 2688431.592
AT ITER 5359 NEW BEST:: SOT 57018000 SOS 6347516 HAS SOPS 3955626 HAS SOUS 2749577 HAS SOUPS 2682068 WITH SCORE 2688415.516
AT ITER 5363 NEW BEST:: SOT 57019517 SOS 6352061 HAS SOPS 3960129 HAS SOUS 2748066 HAS SOUPS 2680557 WITH SCORE 2686909.061
AT ITER 5449 NEW BEST:: SOT 57019905 SOS 6352915 HAS SOPS 3961345 HAS SOUS 2747975 HAS SOUPS 2680466 WITH SCORE 2686818.915
AT ITER 5585 NEW BEST:: SOT 57020747 SOS 6358140 HAS SOPS 3966569 HAS SOUS 2744434 HAS SOUPS 2676925 WITH SCORE 2683283.14
AT ITER 5600 NEW BEST:: SOT 57022267 SOS 6364383 HAS SOPS 3972661 HAS SOUS 2741641 HAS SOUPS 2674122 WITH SCORE 2680486.383
AT ITER 5634 NEW BEST:: SOT 57022800 SOS 6364900 HAS SOPS 3973178 HAS SOUS 2741176 HAS SOUPS 2673657 WITH SCORE 2680021.9
AT ITER 5643 NEW BEST:: SOT 57023365 SOS 6366997 HAS SOPS 3975841 HAS SOUS 2740575 HAS SOUPS 2673063 WITH SCORE 2679429.997
AT ITER 5902 NEW BEST:: SOT 57024171 SOS 6368924 HAS SOPS 3978523 HAS SOUS 2740299 HAS SOUPS 2672787 WITH SCORE 2679155.924
AT ITER 5911 NEW BEST:: SOT 57024258 SOS 6373097 HAS SOPS 3982696 HAS SOUS 2739908 HAS SOUPS 2672396 WITH SCORE 2678769.097
AT ITER 5919 NEW BEST:: SOT 57024114 SOS 6372941 HAS SOPS 3982552 HAS SOUS 2739612 HAS SOUPS 2672104 WITH SCORE 2678476.941
AT ITER 5999 NEW BEST:: SOT 57025540 SOS 6375042 HAS SOPS 3983632 HAS SOUS 2738818 HAS SOUPS 2671283 WITH SCORE 2677658.042
AT ITER 6020 NEW BEST:: SOT 57024709 SOS 6377147 HAS SOPS 3984839 HAS SOUS 2737345 HAS SOUPS 2669836 WITH SCORE 2676213.147
AT ITER 6023 NEW BEST:: SOT 57024723 SOS 6378758 HAS SOPS 3985987 HAS SOUS 2737274 HAS SOUPS 2669729 WITH SCORE 2676107.758
AT ITER 6112 NEW BEST:: SOT 57025811 SOS 6381287 HAS SOPS 3991837 HAS SOUS 2735814 HAS SOUPS 2668296 WITH SCORE 2674677.287
AT ITER 6142 NEW BEST:: SOT 57026067 SOS 6382672 HAS SOPS 3993439 HAS SOUS 2734977 HAS SOUPS 2667459 WITH SCORE 2673841.672
AT ITER 6176 NEW BEST:: SOT 57027055 SOS 6384914 HAS SOPS 3996391 HAS SOUS 2734667 HAS SOUPS 2667149 WITH SCORE 2673533.914
AT ITER 6211 NEW BEST:: SOT 57027916 SOS 6385538 HAS SOPS 3997015 HAS SOUS 2734125 HAS SOUPS 2666607 WITH SCORE 2672992.538
AT ITER 6235 NEW BEST:: SOT 57027967 SOS 6385733 HAS SOPS 3997210 HAS SOUS 2734032 HAS SOUPS 2666514 WITH SCORE 2672899.733
AT ITER 6250 NEW BEST:: SOT 57029084 SOS 6392156 HAS SOPS 4003587 HAS SOUS 2730173 HAS SOUPS 2662646 WITH SCORE 2669038.156
AT ITER 6284 NEW BEST:: SOT 57028810 SOS 6392206 HAS SOPS 4003523 HAS SOUS 2729429 HAS SOUPS 2661906 WITH SCORE 2668298.206
AT ITER 6378 NEW BEST:: SOT 57029185 SOS 6393531 HAS SOPS 4005198 HAS SOUS 2728829 HAS SOUPS 2661306 WITH SCORE 2667699.531
AT ITER 6405 NEW BEST:: SOT 57030614 SOS 6396400 HAS SOPS 4009327 HAS SOUS 2728758 HAS SOUPS 2661235 WITH SCORE 2667631.4
AT ITER 6452 NEW BEST:: SOT 57031080 SOS 6397368 HAS SOPS 4010713 HAS SOUS 2728706 HAS SOUPS 2661183 WITH SCORE 2667580.368
AT ITER 6478 NEW BEST:: SOT 57029877 SOS 6396329 HAS SOPS 4008546 HAS SOUS 2727360 HAS SOUPS 2659837 WITH SCORE 2666233.329
AT ITER 6497 NEW BEST:: SOT 57029485 SOS 6396192 HAS SOPS 4010012 HAS SOUS 2725647 HAS SOUPS 2658150 WITH SCORE 2664546.192
AT ITER 6566 NEW BEST:: SOT 57029422 SOS 6395697 HAS SOPS 4009961 HAS SOUS 2725507 HAS SOUPS 2658023 WITH SCORE 2664418.697
AT ITER 6572 NEW BEST:: SOT 57029941 SOS 6397809 HAS SOPS 4012512 HAS SOUS 2724621 HAS SOUPS 2657138 WITH SCORE 2663535.809
AT ITER 6581 NEW BEST:: SOT 57031071 SOS 6404228 HAS SOPS 4018926 HAS SOUS 2721938 HAS SOUPS 2654449 WITH SCORE 2660853.228
AT ITER 6594 NEW BEST:: SOT 57032201 SOS 6410400 HAS SOPS 4025028 HAS SOUS 2718272 HAS SOUPS 2650777 WITH SCORE 2657187.4
AT ITER 6623 NEW BEST:: SOT 57032703 SOS 6412960 HAS SOPS 4028176 HAS SOUS 2716593 HAS SOUPS 2649101 WITH SCORE 2655513.96
AT ITER 6641 NEW BEST:: SOT 57035998 SOS 6423148 HAS SOPS 4035763 HAS SOUS 2716111 HAS SOUPS 2648543 WITH SCORE 2654966.148
AT ITER 6663 NEW BEST:: SOT 57036093 SOS 6423698 HAS SOPS 4036318 HAS SOUS 2715751 HAS SOUPS 2648183 WITH SCORE 2654606.698
AT ITER 6711 NEW BEST:: SOT 57036307 SOS 6427912 HAS SOPS 4040532 HAS SOUS 2712621 HAS SOUPS 2645053 WITH SCORE 2651480.912
AT ITER 6794 NEW BEST:: SOT 57036455 SOS 6429540 HAS SOPS 4042308 HAS SOUS 2711367 HAS SOUPS 2643799 WITH SCORE 2650228.54
AT ITER 6874 NEW BEST:: SOT 57038271 SOS 6435328 HAS SOPS 4048040 HAS SOUS 2710072 HAS SOUPS 2642493 WITH SCORE 2648928.328
AT ITER 6915 NEW BEST:: SOT 57038003 SOS 6434977 HAS SOPS 4047772 HAS SOUS 2709518 HAS SOUPS 2641948 WITH SCORE 2648382.977
AT ITER 7102 NEW BEST:: SOT 57042955 SOS 6446787 HAS SOPS 4059512 HAS SOUS 2708648 HAS SOUPS 2641056 WITH SCORE 2647502.787
AT ITER 7183 NEW BEST:: SOT 57044265 SOS 6452203 HAS SOPS 4064924 HAS SOUS 2705934 HAS SOUPS 2638340 WITH SCORE 2644792.203
AT ITER 7239 NEW BEST:: SOT 57044785 SOS 6456062 HAS SOPS 4068794 HAS SOUS 2703197 HAS SOUPS 2635603 WITH SCORE 2642059.062
AT ITER 7275 NEW BEST:: SOT 57044537 SOS 6455459 HAS SOPS 4068276 HAS SOUS 2703058 HAS SOUPS 2635470 WITH SCORE 2641925.459
AT ITER 7331 NEW BEST:: SOT 57045086 SOS 6456738 HAS SOPS 4070045 HAS SOUS 2703000 HAS SOUPS 2635415 WITH SCORE 2641871.738
AT ITER 7365 NEW BEST:: SOT 57045611 SOS 6460392 HAS SOPS 4073706 HAS SOUS 2700383 HAS SOUPS 2632804 WITH SCORE 2639264.392
AT ITER 7369 NEW BEST:: SOT 57045865 SOS 6461973 HAS SOPS 4075314 HAS SOUS 2699310 HAS SOUPS 2631731 WITH SCORE 2638192.973
AT ITER 7389 NEW BEST:: SOT 57046549 SOS 6463521 HAS SOPS 4077336 HAS SOUS 2699099 HAS SOUPS 2631520 WITH SCORE 2637983.521
AT ITER 7559 NEW BEST:: SOT 57047700 SOS 6468842 HAS SOPS 4082651 HAS SOUS 2696203 HAS SOUPS 2628623 WITH SCORE 2635091.842
AT ITER 7568 NEW BEST:: SOT 57048780 SOS 6474155 HAS SOPS 4088005 HAS SOUS 2693050 HAS SOUPS 2625470 WITH SCORE 2631944.155
AT ITER 7698 NEW BEST:: SOT 57049250 SOS 6475596 HAS SOPS 4089819 HAS SOUS 2692591 HAS SOUPS 2625011 WITH SCORE 2631486.596
AT ITER 7709 NEW BEST:: SOT 57050017 SOS 6480724 HAS SOPS 4094946 HAS SOUS 2688997 HAS SOUPS 2621417 WITH SCORE 2627897.724
AT ITER 7738 NEW BEST:: SOT 57051324 SOS 6485547 HAS SOPS 4099767 HAS SOUS 2687280 HAS SOUPS 2619700 WITH SCORE 2626185.547
AT ITER 7780 NEW BEST:: SOT 57052895 SOS 6492896 HAS SOPS 4109640 HAS SOUS 2686681 HAS SOUPS 2619133 WITH SCORE 2625625.896
AT ITER 7817 NEW BEST:: SOT 57052535 SOS 6492806 HAS SOPS 4109190 HAS SOUS 2686060 HAS SOUPS 2618512 WITH SCORE 2625004.806
AT ITER 7874 NEW BEST:: SOT 57055736 SOS 6507016 HAS SOPS 4121311 HAS SOUS 2684935 HAS SOUPS 2617324 WITH SCORE 2623831.016
AT ITER 7887 NEW BEST:: SOT 57057069 SOS 6515411 HAS SOPS 4129706 HAS SOUS 2679698 HAS SOUPS 2612087 WITH SCORE 2618602.411
AT ITER 7899 NEW BEST:: SOT 57060296 SOS 6524295 HAS SOPS 4137775 HAS SOUS 2679482 HAS SOUPS 2611817 WITH SCORE 2618341.295
AT ITER 8007 NEW BEST:: SOT 57061024 SOS 6525831 HAS SOPS 4139903 HAS SOUS 2679370 HAS SOUPS 2611705 WITH SCORE 2618230.831
AT ITER 8110 NEW BEST:: SOT 57061723 SOS 6527444 HAS SOPS 4142048 HAS SOUS 2679116 HAS SOUPS 2611451 WITH SCORE 2617978.444
AT ITER 8186 NEW BEST:: SOT 57062961 SOS 6529980 HAS SOPS 4145638 HAS SOUS 2678992 HAS SOUPS 2611327 WITH SCORE 2617856.98
AT ITER 8216 NEW BEST:: SOT 57062530 SOS 6527639 HAS SOPS 4145276 HAS SOUS 2678039 HAS SOUPS 2610450 WITH SCORE 2616977.639
AT ITER 8240 NEW BEST:: SOT 57063191 SOS 6530991 HAS SOPS 4147335 HAS SOUS 2677246 HAS SOUPS 2609658 WITH SCORE 2616188.991
AT ITER 8292 NEW BEST:: SOT 57063657 SOS 6534312 HAS SOPS 4149967 HAS SOUS 2675355 HAS SOUPS 2607770 WITH SCORE 2614304.312
AT ITER 8345 NEW BEST:: SOT 57063704 SOS 6534829 HAS SOPS 4151772 HAS SOUS 2674645 HAS SOUPS 2607067 WITH SCORE 2613601.829
AT ITER 8412 NEW BEST:: SOT 57066263 SOS 6542556 HAS SOPS 4159443 HAS SOUS 2672979 HAS SOUPS 2605378 WITH SCORE 2611920.556
AT ITER 8420 NEW BEST:: SOT 57066832 SOS 6543812 HAS SOPS 4161100 HAS SOUS 2672830 HAS SOUPS 2605229 WITH SCORE 2611772.812
AT ITER 8463 NEW BEST:: SOT 57066762 SOS 6543924 HAS SOPS 4161100 HAS SOUS 2672571 HAS SOUPS 2604970 WITH SCORE 2611513.924
AT ITER 8478 NEW BEST:: SOT 57068500 SOS 6552720 HAS SOPS 4169826 HAS SOUS 2667497 HAS SOUPS 2599890 WITH SCORE 2606442.72
AT ITER 8504 NEW BEST:: SOT 57068015 SOS 6551993 HAS SOPS 4169141 HAS SOUS 2666967 HAS SOUPS 2599367 WITH SCORE 2605918.993
AT ITER 8561 NEW BEST:: SOT 57076985 SOS 6562496 HAS SOPS 4173826 HAS SOUS 2666573 HAS SOUPS 2598806 WITH SCORE 2605368.496
AT ITER 8587 NEW BEST:: SOT 57077583 SOS 6564670 HAS SOPS 4176594 HAS SOUS 2666048 HAS SOUPS 2598290 WITH SCORE 2604854.67
AT ITER 8623 NEW BEST:: SOT 57081007 SOS 6572374 HAS SOPS 4186076 HAS SOUS 2665602 HAS SOUPS 2597846 WITH SCORE 2604418.374
AT ITER 8671 NEW BEST:: SOT 57077906 SOS 6570288 HAS SOPS 4187821 HAS SOUS 2665007 HAS SOUPS 2597242 WITH SCORE 2603812.288
AT ITER 8710 NEW BEST:: SOT 57078333 SOS 6575648 HAS SOPS 4193334 HAS SOUS 2664027 HAS SOUPS 2596266 WITH SCORE 2602841.648
AT ITER 8717 NEW BEST:: SOT 57077715 SOS 6575221 HAS SOPS 4192352 HAS SOUS 2663271 HAS SOUPS 2595510 WITH SCORE 2602085.221
AT ITER 8735 NEW BEST:: SOT 57078271 SOS 6577493 HAS SOPS 4194678 HAS SOUS 2662111 HAS SOUPS 2594350 WITH SCORE 2600927.493
AT ITER 8781 NEW BEST:: SOT 57077886 SOS 6577302 HAS SOPS 4194063 HAS SOUS 2661538 HAS SOUPS 2593777 WITH SCORE 2600354.302
AT ITER 8799 NEW BEST:: SOT 57079435 SOS 6583199 HAS SOPS 4199924 HAS SOUS 2658821 HAS SOUPS 2591058 WITH SCORE 2597641.199
AT ITER 8858 NEW BEST:: SOT 57079213 SOS 6582981 HAS SOPS 4201330 HAS SOUS 2657652 HAS SOUPS 2589912 WITH SCORE 2596494.981
AT ITER 8995 NEW BEST:: SOT 57079705 SOS 6584334 HAS SOPS 4203172 HAS SOUS 2657311 HAS SOUPS 2589567 WITH SCORE 2596151.334
AT ITER 9031 NEW BEST:: SOT 57079020 SOS 6584208 HAS SOPS 4203617 HAS SOUS 2656119 HAS SOUPS 2588375 WITH SCORE 2594959.208
AT ITER 9050 NEW BEST:: SOT 57079971 SOS 6586177 HAS SOPS 4206268 HAS SOUS 2656006 HAS SOUPS 2588262 WITH SCORE 2594848.177
AT ITER 9086 NEW BEST:: SOT 57082626 SOS 6593880 HAS SOPS 4213033 HAS SOUS 2654638 HAS SOUPS 2586869 WITH SCORE 2593462.88
AT ITER 9092 NEW BEST:: SOT 57083160 SOS 6596630 HAS SOPS 4215809 HAS SOUS 2652710 HAS SOUPS 2584947 WITH SCORE 2591543.63
AT ITER 9119 NEW BEST:: SOT 57083180 SOS 6596828 HAS SOPS 4217547 HAS SOUS 2650912 HAS SOUPS 2583189 WITH SCORE 2589785.828
AT ITER 9146 NEW BEST:: SOT 57081705 SOS 6594424 HAS SOPS 4215206 HAS SOUS 2649622 HAS SOUPS 2581920 WITH SCORE 2588514.424
AT ITER 9229 NEW BEST:: SOT 57081557 SOS 6595010 HAS SOPS 4215528 HAS SOUS 2648714 HAS SOUPS 2581012 WITH SCORE 2587607.01
AT ITER 9335 NEW BEST:: SOT 57079363 SOS 6588972 HAS SOPS 4211140 HAS SOUS 2647899 HAS SOUPS 2580243 WITH SCORE 2586831.972
AT ITER 9347 NEW BEST:: SOT 57080618 SOS 6591920 HAS SOPS 4215187 HAS SOUS 2646846 HAS SOUPS 2579199 WITH SCORE 2585790.92
AT ITER 9385 NEW BEST:: SOT 57080579 SOS 6592016 HAS SOPS 4215148 HAS SOUS 2646672 HAS SOUPS 2579025 WITH SCORE 2585617.016
AT ITER 9410 NEW BEST:: SOT 57081506 SOS 6596231 HAS SOPS 4219339 HAS SOUS 2644311 HAS SOUPS 2576664 WITH SCORE 2583260.231
AT ITER 9451 NEW BEST:: SOT 57076461 SOS 6590652 HAS SOPS 4219673 HAS SOUS 2640741 HAS SOUPS 2573257 WITH SCORE 2579847.652
AT ITER 9483 NEW BEST:: SOT 57077231 SOS 6595387 HAS SOPS 4224479 HAS SOUS 2637546 HAS SOUPS 2570062 WITH SCORE 2576657.387
AT ITER 9566 NEW BEST:: SOT 57077413 SOS 6595933 HAS SOPS 4224973 HAS SOUS 2637446 HAS SOUPS 2569960 WITH SCORE 2576555.933
AT ITER 9716 NEW BEST:: SOT 57080404 SOS 6602977 HAS SOPS 4232564 HAS SOUS 2637267 HAS SOUPS 2569759 WITH SCORE 2576361.977
AT ITER 9783 NEW BEST:: SOT 57080524 SOS 6603324 HAS SOPS 4233536 HAS SOUS 2637160 HAS SOUPS 2569652 WITH SCORE 2576255.324
AT ITER 9800 NEW BEST:: SOT 57081209 SOS 6606247 HAS SOPS 4236459 HAS SOUS 2635607 HAS SOUPS 2568099 WITH SCORE 2574705.247
AT ITER 9883 NEW BEST:: SOT 57082701 SOS 6611248 HAS SOPS 4241443 HAS SOUS 2633590 HAS SOUPS 2566082 WITH SCORE 2572693.248
AT ITER 9890 NEW BEST:: SOT 57084048 SOS 6615913 HAS SOPS 4246154 HAS SOUS 2631619 HAS SOUPS 2564111 WITH SCORE 2570726.913
AT ITER 9978 NEW BEST:: SOT 57083693 SOS 6615289 HAS SOPS 4245799 HAS SOUS 2630877 HAS SOUPS 2563385 WITH SCORE 2570000.289
AT ITER 9984 NEW BEST:: SOT 57086872 SOS 6625121 HAS SOPS 4253584 HAS SOUS 2630601 HAS SOUPS 2563031 WITH SCORE 2569656.121
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15774444 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16090764 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="TokenRing-COL-040"
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 TokenRing-COL-040, 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 r483-tall-167912695900616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-040.tgz
mv TokenRing-COL-040 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 ;