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.r259-smll-167863534200216.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 NeoElection-PT-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534200216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 41M
-rw-r--r-- 1 mcc users 979K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.0M Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 947K Feb 26 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.2M Feb 26 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 507K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 176K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 447K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.1M Feb 26 19:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 6.6M Feb 26 19:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1M Feb 26 18:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.8M Feb 26 18:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 75K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 147K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 13M 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 1678709832452

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=NeoElection-PT-7
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 7
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: 7128 places, 14112 transitions, 81968 arcs.
AT ITER 0 NEW BEST:: SOT 27007801 SOS 14507032 HAS SOPS 14467360 HAS SOUS 2921365 HAS SOUPS 2916957 WITH SCORE 2931464.032
AT ITER 113 NEW BEST:: SOT 27007801 SOS 14503281 HAS SOPS 14463609 HAS SOUS 2916710 HAS SOUPS 2912302 WITH SCORE 2926805.281
AT ITER 129 NEW BEST:: SOT 27007801 SOS 14494833 HAS SOPS 14455161 HAS SOUS 2915826 HAS SOUPS 2911418 WITH SCORE 2925912.833
AT ITER 196 NEW BEST:: SOT 27007801 SOS 14496621 HAS SOPS 14456949 HAS SOUS 2912750 HAS SOUPS 2908342 WITH SCORE 2922838.621
AT ITER 222 NEW BEST:: SOT 27007801 SOS 14491183 HAS SOPS 14451511 HAS SOUS 2911252 HAS SOUPS 2906844 WITH SCORE 2921335.183
AT ITER 241 NEW BEST:: SOT 27007801 SOS 14484931 HAS SOPS 14445259 HAS SOUS 2910568 HAS SOUPS 2906160 WITH SCORE 2920644.931
AT ITER 286 NEW BEST:: SOT 27007801 SOS 14479471 HAS SOPS 14439799 HAS SOUS 2909867 HAS SOUPS 2905459 WITH SCORE 2919938.471
AT ITER 316 NEW BEST:: SOT 27007801 SOS 14473315 HAS SOPS 14433643 HAS SOUS 2909089 HAS SOUPS 2904681 WITH SCORE 2919154.315
AT ITER 330 NEW BEST:: SOT 27007801 SOS 14465120 HAS SOPS 14425448 HAS SOUS 2908309 HAS SOUPS 2903901 WITH SCORE 2918366.12
AT ITER 539 NEW BEST:: SOT 26987188 SOS 14450930 HAS SOPS 14411258 HAS SOUS 2889369 HAS SOUPS 2884961 WITH SCORE 2899411.93
AT ITER 631 NEW BEST:: SOT 26987796 SOS 14451538 HAS SOPS 14411866 HAS SOUS 2889270 HAS SOUPS 2884862 WITH SCORE 2899313.538
AT ITER 710 NEW BEST:: SOT 26986902 SOS 14454364 HAS SOPS 14414692 HAS SOUS 2888624 HAS SOUPS 2884216 WITH SCORE 2898670.364
AT ITER 762 NEW BEST:: SOT 26985232 SOS 14457149 HAS SOPS 14417477 HAS SOUS 2887310 HAS SOUPS 2882902 WITH SCORE 2897359.149
AT ITER 855 NEW BEST:: SOT 26985232 SOS 14445785 HAS SOPS 14406113 HAS SOUS 2886324 HAS SOUPS 2881916 WITH SCORE 2896361.785
AT ITER 889 NEW BEST:: SOT 26985232 SOS 14442065 HAS SOPS 14402393 HAS SOUS 2885789 HAS SOUPS 2881381 WITH SCORE 2895823.065
AT ITER 1161 NEW BEST:: SOT 26985232 SOS 14441357 HAS SOPS 14402135 HAS SOUS 2885612 HAS SOUPS 2881254 WITH SCORE 2895695.357
AT ITER 1165 NEW BEST:: SOT 26985232 SOS 14433221 HAS SOPS 14393999 HAS SOUS 2884256 HAS SOUPS 2879898 WITH SCORE 2894331.221
AT ITER 1192 NEW BEST:: SOT 26986185 SOS 14434174 HAS SOPS 14394952 HAS SOUS 2881744 HAS SOUPS 2877386 WITH SCORE 2891820.174
AT ITER 1204 NEW BEST:: SOT 26985057 SOS 14441846 HAS SOPS 14402624 HAS SOUS 2881070 HAS SOUPS 2876712 WITH SCORE 2891153.846
AT ITER 1299 NEW BEST:: SOT 26979634 SOS 14436638 HAS SOPS 14397416 HAS SOUS 2875919 HAS SOUPS 2871561 WITH SCORE 2885997.638
AT ITER 1350 NEW BEST:: SOT 26979634 SOS 14430962 HAS SOPS 14391740 HAS SOUS 2875067 HAS SOUPS 2870709 WITH SCORE 2885139.962
AT ITER 1399 NEW BEST:: SOT 26978984 SOS 14626470 HAS SOPS 14587248 HAS SOUS 2872965 HAS SOUPS 2868607 WITH SCORE 2883233.47
AT ITER 1538 NEW BEST:: SOT 26978984 SOS 14609043 HAS SOPS 14569821 HAS SOUS 2870855 HAS SOUPS 2866497 WITH SCORE 2881106.043
AT ITER 1544 NEW BEST:: SOT 26978984 SOS 14599748 HAS SOPS 14560526 HAS SOUS 2870011 HAS SOUPS 2865653 WITH SCORE 2880252.748
AT ITER 1552 NEW BEST:: SOT 26978984 SOS 14593136 HAS SOPS 14553914 HAS SOUS 2869331 HAS SOUPS 2864973 WITH SCORE 2879566.136
AT ITER 1558 NEW BEST:: SOT 26978984 SOS 14576313 HAS SOPS 14537091 HAS SOUS 2864899 HAS SOUPS 2860541 WITH SCORE 2875117.313
AT ITER 1579 NEW BEST:: SOT 26978984 SOS 14576313 HAS SOPS 14537091 HAS SOUS 2864813 HAS SOUPS 2860455 WITH SCORE 2875031.313
AT ITER 1588 NEW BEST:: SOT 26978984 SOS 14576313 HAS SOPS 14537091 HAS SOUS 2864091 HAS SOUPS 2859733 WITH SCORE 2874309.313
AT ITER 1589 NEW BEST:: SOT 26978984 SOS 14569435 HAS SOPS 14530213 HAS SOUS 2863273 HAS SOUPS 2858915 WITH SCORE 2873484.435
AT ITER 1597 NEW BEST:: SOT 26978984 SOS 14569435 HAS SOPS 14531554 HAS SOUS 2862826 HAS SOUPS 2858617 WITH SCORE 2873186.435
AT ITER 1719 NEW BEST:: SOT 26978984 SOS 14566795 HAS SOPS 14528914 HAS SOUS 2862826 HAS SOUPS 2858617 WITH SCORE 2873183.795
AT ITER 1761 NEW BEST:: SOT 26978984 SOS 14566795 HAS SOPS 14528914 HAS SOUS 2862087 HAS SOUPS 2857878 WITH SCORE 2872444.795
AT ITER 1783 NEW BEST:: SOT 26978984 SOS 14552601 HAS SOPS 14514720 HAS SOUS 2855799 HAS SOUPS 2851590 WITH SCORE 2866142.601
AT ITER 1932 NEW BEST:: SOT 26978756 SOS 14552981 HAS SOPS 14515100 HAS SOUS 2855609 HAS SOUPS 2851400 WITH SCORE 2865952.981
AT ITER 1950 NEW BEST:: SOT 26978756 SOS 14548661 HAS SOPS 14510780 HAS SOUS 2855084 HAS SOUPS 2850875 WITH SCORE 2865423.661
AT ITER 1990 NEW BEST:: SOT 26978756 SOS 14540169 HAS SOPS 14502288 HAS SOUS 2854438 HAS SOUPS 2850229 WITH SCORE 2864769.169
AT ITER 2173 NEW BEST:: SOT 26978756 SOS 14538549 HAS SOPS 14500668 HAS SOUS 2854438 HAS SOUPS 2850229 WITH SCORE 2864767.549
AT ITER 2185 NEW BEST:: SOT 26978756 SOS 14520576 HAS SOPS 14482695 HAS SOUS 2852148 HAS SOUPS 2847939 WITH SCORE 2862459.576
AT ITER 2265 NEW BEST:: SOT 26978756 SOS 14516340 HAS SOPS 14478459 HAS SOUS 2851633 HAS SOUPS 2847424 WITH SCORE 2861940.34
AT ITER 2299 NEW BEST:: SOT 26978756 SOS 14509839 HAS SOPS 14471958 HAS SOUS 2851047 HAS SOUPS 2846838 WITH SCORE 2861347.839
AT ITER 2330 NEW BEST:: SOT 26978756 SOS 14503359 HAS SOPS 14465478 HAS SOUS 2850099 HAS SOUPS 2845890 WITH SCORE 2860393.359
AT ITER 2383 NEW BEST:: SOT 26978756 SOS 14495523 HAS SOPS 14457642 HAS SOUS 2849194 HAS SOUPS 2844985 WITH SCORE 2859480.523
AT ITER 2397 NEW BEST:: SOT 26978756 SOS 14495509 HAS SOPS 14457628 HAS SOUS 2849074 HAS SOUPS 2844865 WITH SCORE 2859360.509
AT ITER 2408 NEW BEST:: SOT 26978756 SOS 14485861 HAS SOPS 14447980 HAS SOUS 2848202 HAS SOUPS 2843993 WITH SCORE 2858478.861
AT ITER 2416 NEW BEST:: SOT 26978756 SOS 14480317 HAS SOPS 14442436 HAS SOUS 2847461 HAS SOUPS 2843252 WITH SCORE 2857732.317
AT ITER 2422 NEW BEST:: SOT 26977958 SOS 14477919 HAS SOPS 14440038 HAS SOUS 2846663 HAS SOUPS 2842454 WITH SCORE 2856931.919
AT ITER 2443 NEW BEST:: SOT 26977958 SOS 14477533 HAS SOPS 14439652 HAS SOUS 2846662 HAS SOUPS 2842453 WITH SCORE 2856930.533
AT ITER 2519 NEW BEST:: SOT 26978249 SOS 14616107 HAS SOPS 14578226 HAS SOUS 2842671 HAS SOUPS 2838462 WITH SCORE 2853078.107
AT ITER 2546 NEW BEST:: SOT 26978249 SOS 14608559 HAS SOPS 14570678 HAS SOUS 2841413 HAS SOUPS 2837204 WITH SCORE 2851812.559
AT ITER 2563 NEW BEST:: SOT 26978249 SOS 14608151 HAS SOPS 14570270 HAS SOUS 2841413 HAS SOUPS 2837204 WITH SCORE 2851812.151
AT ITER 2594 NEW BEST:: SOT 26978249 SOS 14601167 HAS SOPS 14563286 HAS SOUS 2840249 HAS SOUPS 2836040 WITH SCORE 2850641.167
AT ITER 2617 NEW BEST:: SOT 26978249 SOS 14595611 HAS SOPS 14557730 HAS SOUS 2838520 HAS SOUPS 2834311 WITH SCORE 2848906.611
AT ITER 2625 NEW BEST:: SOT 26978249 SOS 14592647 HAS SOPS 14554766 HAS SOUS 2838520 HAS SOUPS 2834311 WITH SCORE 2848903.647
AT ITER 2753 NEW BEST:: SOT 26978249 SOS 14577656 HAS SOPS 14539775 HAS SOUS 2834596 HAS SOUPS 2830387 WITH SCORE 2844964.656
AT ITER 2782 NEW BEST:: SOT 26976851 SOS 14579741 HAS SOPS 14541860 HAS SOUS 2833389 HAS SOUPS 2829180 WITH SCORE 2843759.741
AT ITER 2795 NEW BEST:: SOT 26976851 SOS 14579741 HAS SOPS 14541860 HAS SOUS 2832671 HAS SOUPS 2828462 WITH SCORE 2843041.741
AT ITER 2868 NEW BEST:: SOT 26976851 SOS 14573667 HAS SOPS 14535786 HAS SOUS 2832213 HAS SOUPS 2828004 WITH SCORE 2842577.667
AT ITER 2905 NEW BEST:: SOT 26976851 SOS 14565903 HAS SOPS 14528022 HAS SOUS 2831244 HAS SOUPS 2827035 WITH SCORE 2841600.903
AT ITER 2907 NEW BEST:: SOT 26976851 SOS 14561103 HAS SOPS 14523222 HAS SOUS 2830444 HAS SOUPS 2826235 WITH SCORE 2840796.103
AT ITER 2988 NEW BEST:: SOT 26976851 SOS 14548657 HAS SOPS 14510776 HAS SOUS 2824075 HAS SOUPS 2819866 WITH SCORE 2834414.657
AT ITER 3018 NEW BEST:: SOT 26976851 SOS 14548657 HAS SOPS 14510776 HAS SOUS 2823033 HAS SOUPS 2818824 WITH SCORE 2833372.657
AT ITER 3046 NEW BEST:: SOT 26976851 SOS 14540929 HAS SOPS 14503048 HAS SOUS 2821949 HAS SOUPS 2817740 WITH SCORE 2832280.929
AT ITER 3072 NEW BEST:: SOT 26976851 SOS 14535349 HAS SOPS 14497468 HAS SOUS 2821330 HAS SOUPS 2817121 WITH SCORE 2831656.349
AT ITER 3102 NEW BEST:: SOT 26976851 SOS 14527789 HAS SOPS 14489908 HAS SOUS 2820974 HAS SOUPS 2816765 WITH SCORE 2831292.789
AT ITER 3110 NEW BEST:: SOT 26976851 SOS 14520493 HAS SOPS 14482612 HAS SOUS 2820070 HAS SOUPS 2815861 WITH SCORE 2830381.493
AT ITER 3120 NEW BEST:: SOT 26976012 SOS 14524854 HAS SOPS 14486973 HAS SOUS 2819551 HAS SOUPS 2815342 WITH SCORE 2829866.854
AT ITER 3154 NEW BEST:: SOT 26976012 SOS 14523154 HAS SOPS 14485273 HAS SOUS 2819211 HAS SOUPS 2815002 WITH SCORE 2829525.154
AT ITER 3164 NEW BEST:: SOT 26976012 SOS 14523154 HAS SOPS 14485273 HAS SOUS 2819142 HAS SOUPS 2814933 WITH SCORE 2829456.154
AT ITER 3269 NEW BEST:: SOT 26976012 SOS 14515546 HAS SOPS 14477665 HAS SOUS 2818418 HAS SOUPS 2814209 WITH SCORE 2828724.546
AT ITER 3459 NEW BEST:: SOT 26976012 SOS 14511399 HAS SOPS 14473518 HAS SOUS 2817664 HAS SOUPS 2813455 WITH SCORE 2827966.399
AT ITER 3517 NEW BEST:: SOT 26976012 SOS 14503407 HAS SOPS 14465526 HAS SOUS 2816725 HAS SOUPS 2812516 WITH SCORE 2827019.407
AT ITER 3576 NEW BEST:: SOT 26976012 SOS 14498949 HAS SOPS 14461068 HAS SOUS 2816175 HAS SOUPS 2811966 WITH SCORE 2826464.949
AT ITER 3604 NEW BEST:: SOT 26958076 SOS 14632619 HAS SOPS 14594738 HAS SOUS 2805020 HAS SOUPS 2800811 WITH SCORE 2815443.619
AT ITER 3710 NEW BEST:: SOT 26957452 SOS 14638875 HAS SOPS 14600994 HAS SOUS 2804396 HAS SOUPS 2800187 WITH SCORE 2814825.875
AT ITER 3718 NEW BEST:: SOT 26957452 SOS 14638875 HAS SOPS 14600994 HAS SOUS 2803962 HAS SOUPS 2799753 WITH SCORE 2814391.875
AT ITER 3770 NEW BEST:: SOT 26957452 SOS 14640441 HAS SOPS 14602560 HAS SOUS 2802951 HAS SOUPS 2798742 WITH SCORE 2813382.441
AT ITER 3791 NEW BEST:: SOT 26957452 SOS 14630049 HAS SOPS 14592168 HAS SOUS 2801991 HAS SOUPS 2797782 WITH SCORE 2812412.049
AT ITER 3814 NEW BEST:: SOT 26957452 SOS 14626149 HAS SOPS 14588268 HAS SOUS 2801371 HAS SOUPS 2797162 WITH SCORE 2811788.149
AT ITER 3816 NEW BEST:: SOT 26957452 SOS 14625692 HAS SOPS 14587811 HAS SOUS 2801363 HAS SOUPS 2797154 WITH SCORE 2811779.692
AT ITER 3833 NEW BEST:: SOT 26957452 SOS 14615612 HAS SOPS 14577731 HAS SOUS 2800026 HAS SOUPS 2795817 WITH SCORE 2810432.612
AT ITER 3882 NEW BEST:: SOT 26957452 SOS 14608352 HAS SOPS 14570471 HAS SOUS 2798934 HAS SOUPS 2794725 WITH SCORE 2809333.352
AT ITER 3999 NEW BEST:: SOT 26957452 SOS 14604800 HAS SOPS 14566919 HAS SOUS 2798638 HAS SOUPS 2794429 WITH SCORE 2809033.8
AT ITER 4020 NEW BEST:: SOT 26957452 SOS 14601929 HAS SOPS 14565720 HAS SOUS 2798371 HAS SOUPS 2794162 WITH SCORE 2808763.929
AT ITER 4195 NEW BEST:: SOT 26957452 SOS 14599745 HAS SOPS 14563536 HAS SOUS 2798183 HAS SOUPS 2793974 WITH SCORE 2808573.745
AT ITER 4202 NEW BEST:: SOT 26957452 SOS 14592041 HAS SOPS 14555832 HAS SOUS 2797207 HAS SOUPS 2792998 WITH SCORE 2807590.041
AT ITER 4209 NEW BEST:: SOT 26955665 SOS 14595661 HAS SOPS 14559452 HAS SOUS 2796627 HAS SOUPS 2792418 WITH SCORE 2807013.661
AT ITER 4290 NEW BEST:: SOT 26955665 SOS 14595661 HAS SOPS 14560916 HAS SOUS 2796619 HAS SOUPS 2792410 WITH SCORE 2807005.661
AT ITER 4304 NEW BEST:: SOT 26955665 SOS 14595661 HAS SOPS 14560916 HAS SOUS 2794570 HAS SOUPS 2790361 WITH SCORE 2804956.661
AT ITER 4308 NEW BEST:: SOT 26956185 SOS 14596164 HAS SOPS 14561419 HAS SOUS 2794553 HAS SOUPS 2790344 WITH SCORE 2804940.164
AT ITER 4387 NEW BEST:: SOT 26956185 SOS 14596164 HAS SOPS 14561419 HAS SOUS 2794371 HAS SOUPS 2790162 WITH SCORE 2804758.164
AT ITER 4407 NEW BEST:: SOT 26937972 SOS 14750385 HAS SOPS 14715640 HAS SOUS 2782952 HAS SOUPS 2778743 WITH SCORE 2793493.385
AT ITER 4419 NEW BEST:: SOT 26937392 SOS 14749724 HAS SOPS 14714979 HAS SOUS 2782414 HAS SOUPS 2778205 WITH SCORE 2792954.724
AT ITER 4448 NEW BEST:: SOT 26937392 SOS 14730588 HAS SOPS 14695843 HAS SOUS 2776967 HAS SOUPS 2772758 WITH SCORE 2787488.588
AT ITER 4451 NEW BEST:: SOT 26937392 SOS 14724944 HAS SOPS 14690199 HAS SOUS 2775863 HAS SOUPS 2771654 WITH SCORE 2786378.944
AT ITER 4461 NEW BEST:: SOT 26937392 SOS 14714660 HAS SOPS 14679915 HAS SOUS 2774571 HAS SOUPS 2770362 WITH SCORE 2785076.66
AT ITER 4492 NEW BEST:: SOT 26937392 SOS 14708967 HAS SOPS 14674222 HAS SOUS 2771098 HAS SOUPS 2766889 WITH SCORE 2781597.967
AT ITER 4515 NEW BEST:: SOT 26937392 SOS 14713815 HAS SOPS 14679070 HAS SOUS 2767921 HAS SOUPS 2763712 WITH SCORE 2778425.815
AT ITER 4592 NEW BEST:: SOT 26934930 SOS 14717743 HAS SOPS 14682998 HAS SOUS 2765880 HAS SOUPS 2761671 WITH SCORE 2776388.743
AT ITER 4638 NEW BEST:: SOT 26934930 SOS 14702843 HAS SOPS 14668098 HAS SOUS 2759478 HAS SOUPS 2755269 WITH SCORE 2769971.843
AT ITER 4662 NEW BEST:: SOT 26934930 SOS 14691391 HAS SOPS 14656646 HAS SOUS 2759019 HAS SOUPS 2754810 WITH SCORE 2769501.391
AT ITER 4689 NEW BEST:: SOT 26934930 SOS 14693647 HAS SOPS 14658902 HAS SOUS 2758974 HAS SOUPS 2754765 WITH SCORE 2769458.647
AT ITER 4744 NEW BEST:: SOT 26934146 SOS 14689335 HAS SOPS 14654590 HAS SOUS 2757798 HAS SOUPS 2753589 WITH SCORE 2768278.335
AT ITER 4900 NEW BEST:: SOT 26934146 SOS 14684253 HAS SOPS 14649508 HAS SOUS 2757519 HAS SOUPS 2753310 WITH SCORE 2767994.253
AT ITER 4996 NEW BEST:: SOT 26934146 SOS 14684253 HAS SOPS 14649508 HAS SOUS 2757518 HAS SOUPS 2753309 WITH SCORE 2767993.253
AT ITER 5002 NEW BEST:: SOT 26933808 SOS 14700984 HAS SOPS 14666239 HAS SOUS 2757210 HAS SOUPS 2753001 WITH SCORE 2767701.984
AT ITER 5033 NEW BEST:: SOT 26933808 SOS 14691854 HAS SOPS 14657109 HAS SOUS 2755958 HAS SOUPS 2751749 WITH SCORE 2766440.854
AT ITER 5163 NEW BEST:: SOT 26933808 SOS 14681318 HAS SOPS 14646573 HAS SOUS 2754202 HAS SOUPS 2749993 WITH SCORE 2764674.318
AT ITER 5199 NEW BEST:: SOT 26933237 SOS 14747528 HAS SOPS 14712783 HAS SOUS 2754050 HAS SOUPS 2749841 WITH SCORE 2764588.528
AT ITER 5204 NEW BEST:: SOT 26909254 SOS 14723851 HAS SOPS 14689106 HAS SOUS 2729728 HAS SOUPS 2725519 WITH SCORE 2740242.851
AT ITER 5323 NEW BEST:: SOT 26909254 SOS 14712895 HAS SOPS 14678150 HAS SOUS 2727736 HAS SOUPS 2723527 WITH SCORE 2738239.895
AT ITER 5454 NEW BEST:: SOT 26909254 SOS 14697408 HAS SOPS 14662663 HAS SOUS 2725811 HAS SOUPS 2721602 WITH SCORE 2736299.408
AT ITER 5464 NEW BEST:: SOT 26908978 SOS 14696580 HAS SOPS 14661835 HAS SOUS 2725397 HAS SOUPS 2721188 WITH SCORE 2735884.58
AT ITER 5493 NEW BEST:: SOT 26908978 SOS 14697342 HAS SOPS 14662597 HAS SOUS 2725141 HAS SOUPS 2720932 WITH SCORE 2735629.342
AT ITER 5520 NEW BEST:: SOT 26910018 SOS 14698578 HAS SOPS 14663833 HAS SOUS 2723122 HAS SOUPS 2718913 WITH SCORE 2733611.578
AT ITER 5560 NEW BEST:: SOT 26909690 SOS 14698250 HAS SOPS 14663505 HAS SOUS 2722724 HAS SOUPS 2718515 WITH SCORE 2733213.25
AT ITER 5591 NEW BEST:: SOT 26909690 SOS 14698250 HAS SOPS 14663505 HAS SOUS 2722698 HAS SOUPS 2718489 WITH SCORE 2733187.25
AT ITER 5638 NEW BEST:: SOT 26907347 SOS 14704607 HAS SOPS 14669862 HAS SOUS 2721418 HAS SOUPS 2717209 WITH SCORE 2731913.607
AT ITER 5660 NEW BEST:: SOT 26907347 SOS 14701823 HAS SOPS 14667078 HAS SOUS 2721165 HAS SOUPS 2716956 WITH SCORE 2731657.823
AT ITER 5672 NEW BEST:: SOT 26891366 SOS 14697365 HAS SOPS 14662620 HAS SOUS 2707304 HAS SOUPS 2703095 WITH SCORE 2717792.365
AT ITER 5690 NEW BEST:: SOT 26891366 SOS 14696180 HAS SOPS 14661435 HAS SOUS 2707304 HAS SOUPS 2703095 WITH SCORE 2717791.18
AT ITER 5709 NEW BEST:: SOT 26891366 SOS 14696180 HAS SOPS 14661435 HAS SOUS 2706792 HAS SOUPS 2702583 WITH SCORE 2717279.18
AT ITER 5827 NEW BEST:: SOT 26891366 SOS 14694915 HAS SOPS 14660170 HAS SOUS 2705795 HAS SOUPS 2701586 WITH SCORE 2716280.915
AT ITER 5946 NEW BEST:: SOT 26891366 SOS 14699289 HAS SOPS 14660170 HAS SOUS 2706053 HAS SOUPS 2701358 WITH SCORE 2716057.289
AT ITER 5979 NEW BEST:: SOT 26891366 SOS 14699499 HAS SOPS 14660380 HAS SOUS 2705948 HAS SOUPS 2701253 WITH SCORE 2715952.499
AT ITER 6036 NEW BEST:: SOT 26891366 SOS 14693427 HAS SOPS 14654308 HAS SOUS 2704936 HAS SOUPS 2700241 WITH SCORE 2714934.427
AT ITER 6039 NEW BEST:: SOT 26891366 SOS 14693427 HAS SOPS 14654308 HAS SOUS 2704504 HAS SOUPS 2699809 WITH SCORE 2714502.427
AT ITER 6065 NEW BEST:: SOT 26891366 SOS 14693223 HAS SOPS 14654104 HAS SOUS 2704470 HAS SOUPS 2699775 WITH SCORE 2714468.223
AT ITER 6102 NEW BEST:: SOT 26891366 SOS 14690945 HAS SOPS 14651826 HAS SOUS 2704345 HAS SOUPS 2699650 WITH SCORE 2714340.945
AT ITER 6130 NEW BEST:: SOT 26891366 SOS 14690945 HAS SOPS 14651826 HAS SOUS 2704259 HAS SOUPS 2699564 WITH SCORE 2714254.945
AT ITER 6255 NEW BEST:: SOT 26891366 SOS 14673949 HAS SOPS 14634830 HAS SOUS 2699014 HAS SOUPS 2694319 WITH SCORE 2708992.949
AT ITER 6290 NEW BEST:: SOT 26891193 SOS 14684547 HAS SOPS 14645428 HAS SOUS 2698942 HAS SOUPS 2694247 WITH SCORE 2708931.547
AT ITER 6298 NEW BEST:: SOT 26890008 SOS 14685512 HAS SOPS 14646393 HAS SOUS 2695916 HAS SOUPS 2691221 WITH SCORE 2705906.512
AT ITER 6324 NEW BEST:: SOT 26890008 SOS 14683792 HAS SOPS 14644673 HAS SOUS 2695440 HAS SOUPS 2690745 WITH SCORE 2705428.792
AT ITER 6401 NEW BEST:: SOT 26890008 SOS 14683792 HAS SOPS 14644673 HAS SOUS 2694220 HAS SOUPS 2689525 WITH SCORE 2704208.792
AT ITER 6410 NEW BEST:: SOT 26888651 SOS 14683924 HAS SOPS 14644805 HAS SOUS 2694059 HAS SOUPS 2689364 WITH SCORE 2704047.924
AT ITER 6459 NEW BEST:: SOT 26888651 SOS 14683924 HAS SOPS 14644805 HAS SOUS 2693979 HAS SOUPS 2689284 WITH SCORE 2703967.924
AT ITER 6480 NEW BEST:: SOT 26888364 SOS 14682405 HAS SOPS 14643286 HAS SOUS 2693557 HAS SOUPS 2688862 WITH SCORE 2703544.405
AT ITER 6515 NEW BEST:: SOT 26888364 SOS 14677465 HAS SOPS 14638346 HAS SOUS 2692741 HAS SOUPS 2688046 WITH SCORE 2702723.465
AT ITER 6516 NEW BEST:: SOT 26888364 SOS 14669481 HAS SOPS 14630362 HAS SOUS 2692261 HAS SOUPS 2687566 WITH SCORE 2702235.481
AT ITER 6691 NEW BEST:: SOT 26888364 SOS 14664489 HAS SOPS 14625370 HAS SOUS 2691845 HAS SOUPS 2687150 WITH SCORE 2701814.489
AT ITER 6732 NEW BEST:: SOT 26888124 SOS 14663769 HAS SOPS 14624650 HAS SOUS 2691485 HAS SOUPS 2686790 WITH SCORE 2701453.769
AT ITER 6933 NEW BEST:: SOT 26888124 SOS 14661469 HAS SOPS 14622350 HAS SOUS 2691025 HAS SOUPS 2686330 WITH SCORE 2700991.469
AT ITER 6945 NEW BEST:: SOT 26886481 SOS 14667491 HAS SOPS 14628372 HAS SOUS 2690982 HAS SOUPS 2686287 WITH SCORE 2700954.491
AT ITER 6953 NEW BEST:: SOT 26887028 SOS 14667190 HAS SOPS 14628071 HAS SOUS 2690593 HAS SOUPS 2685898 WITH SCORE 2700565.19
AT ITER 6997 NEW BEST:: SOT 26887172 SOS 14666596 HAS SOPS 14627477 HAS SOUS 2690004 HAS SOUPS 2685309 WITH SCORE 2699975.596
AT ITER 7031 NEW BEST:: SOT 26887172 SOS 14666596 HAS SOPS 14627477 HAS SOUS 2689832 HAS SOUPS 2685137 WITH SCORE 2699803.596
AT ITER 7100 NEW BEST:: SOT 26887172 SOS 14666596 HAS SOPS 14627477 HAS SOUS 2689680 HAS SOUPS 2684985 WITH SCORE 2699651.596
AT ITER 7124 NEW BEST:: SOT 26887172 SOS 14665825 HAS SOPS 14626706 HAS SOUS 2688656 HAS SOUPS 2683961 WITH SCORE 2698626.825
AT ITER 7208 NEW BEST:: SOT 26887172 SOS 14658577 HAS SOPS 14619458 HAS SOUS 2687726 HAS SOUPS 2683031 WITH SCORE 2697689.577
AT ITER 7227 NEW BEST:: SOT 26887052 SOS 14658577 HAS SOPS 14619458 HAS SOUS 2687606 HAS SOUPS 2682911 WITH SCORE 2697569.577
AT ITER 7238 NEW BEST:: SOT 26887052 SOS 14652937 HAS SOPS 14613818 HAS SOUS 2686666 HAS SOUPS 2681971 WITH SCORE 2696623.937
AT ITER 7281 NEW BEST:: SOT 26886633 SOS 14652518 HAS SOPS 14613399 HAS SOUS 2684806 HAS SOUPS 2680111 WITH SCORE 2694763.518
AT ITER 7333 NEW BEST:: SOT 26886776 SOS 14647130 HAS SOPS 14608011 HAS SOUS 2679224 HAS SOUPS 2674529 WITH SCORE 2689176.13
AT ITER 7402 NEW BEST:: SOT 26886776 SOS 14645570 HAS SOPS 14606451 HAS SOUS 2678154 HAS SOUPS 2673459 WITH SCORE 2688104.57
AT ITER 7585 NEW BEST:: SOT 26886500 SOS 14635306 HAS SOPS 14596187 HAS SOUS 2677005 HAS SOUPS 2672310 WITH SCORE 2686945.306
AT ITER 7692 NEW BEST:: SOT 26886500 SOS 14634280 HAS SOPS 14595381 HAS SOUS 2676468 HAS SOUPS 2671773 WITH SCORE 2686407.28
AT ITER 7717 NEW BEST:: SOT 26887019 SOS 14634799 HAS SOPS 14595900 HAS SOUS 2676445 HAS SOUPS 2671750 WITH SCORE 2686384.799
AT ITER 7738 NEW BEST:: SOT 26887019 SOS 14626473 HAS SOPS 14587574 HAS SOUS 2675738 HAS SOUPS 2671043 WITH SCORE 2685669.473
AT ITER 7812 NEW BEST:: SOT 26887019 SOS 14626473 HAS SOPS 14587574 HAS SOUS 2675737 HAS SOUPS 2671042 WITH SCORE 2685668.473
AT ITER 7822 NEW BEST:: SOT 26887019 SOS 14624073 HAS SOPS 14585174 HAS SOUS 2675337 HAS SOUPS 2670642 WITH SCORE 2685266.073
AT ITER 7834 NEW BEST:: SOT 26887019 SOS 14618975 HAS SOPS 14580076 HAS SOUS 2674415 HAS SOUPS 2669720 WITH SCORE 2684338.975
AT ITER 7937 NEW BEST:: SOT 26886119 SOS 14612555 HAS SOPS 14573656 HAS SOUS 2672313 HAS SOUPS 2667618 WITH SCORE 2682230.555
AT ITER 7994 NEW BEST:: SOT 26886830 SOS 14613862 HAS SOPS 14574963 HAS SOUS 2669884 HAS SOUPS 2665189 WITH SCORE 2679802.862
AT ITER 8092 NEW BEST:: SOT 26886830 SOS 14613694 HAS SOPS 14574795 HAS SOUS 2669880 HAS SOUPS 2665185 WITH SCORE 2679798.694
AT ITER 8093 NEW BEST:: SOT 26886830 SOS 14598998 HAS SOPS 14560099 HAS SOUS 2663802 HAS SOUPS 2659107 WITH SCORE 2673705.998
AT ITER 8207 NEW BEST:: SOT 26886830 SOS 14593466 HAS SOPS 14554567 HAS SOUS 2662932 HAS SOUPS 2658237 WITH SCORE 2672830.466
AT ITER 8251 NEW BEST:: SOT 26887598 SOS 14594234 HAS SOPS 14555335 HAS SOUS 2660886 HAS SOUPS 2656191 WITH SCORE 2670785.234
AT ITER 8309 NEW BEST:: SOT 26887244 SOS 14595215 HAS SOPS 14556316 HAS SOUS 2660621 HAS SOUPS 2655926 WITH SCORE 2670521.215
AT ITER 8314 NEW BEST:: SOT 26887109 SOS 14595080 HAS SOPS 14556181 HAS SOUS 2660522 HAS SOUPS 2655827 WITH SCORE 2670422.08
AT ITER 8374 NEW BEST:: SOT 26887109 SOS 14595080 HAS SOPS 14556181 HAS SOUS 2660484 HAS SOUPS 2655789 WITH SCORE 2670384.08
AT ITER 8454 NEW BEST:: SOT 26887109 SOS 14591340 HAS SOPS 14552441 HAS SOUS 2659895 HAS SOUPS 2655200 WITH SCORE 2669791.34
AT ITER 8478 NEW BEST:: SOT 26887109 SOS 14589028 HAS SOPS 14550129 HAS SOUS 2659895 HAS SOUPS 2655200 WITH SCORE 2669789.028
AT ITER 8489 NEW BEST:: SOT 26887109 SOS 14587516 HAS SOPS 14548617 HAS SOUS 2658974 HAS SOUPS 2654279 WITH SCORE 2668866.516
AT ITER 8510 NEW BEST:: SOT 26887109 SOS 14587312 HAS SOPS 14548413 HAS SOUS 2658944 HAS SOUPS 2654249 WITH SCORE 2668836.312
AT ITER 8593 NEW BEST:: SOT 26887109 SOS 14590025 HAS SOPS 14551126 HAS SOUS 2656463 HAS SOUPS 2651768 WITH SCORE 2666358.025
AT ITER 8595 NEW BEST:: SOT 26888101 SOS 14590158 HAS SOPS 14551259 HAS SOUS 2656065 HAS SOUPS 2651370 WITH SCORE 2665960.158
AT ITER 8641 NEW BEST:: SOT 26888101 SOS 14590909 HAS SOPS 14552019 HAS SOUS 2656026 HAS SOUPS 2651332 WITH SCORE 2665922.909
AT ITER 8709 NEW BEST:: SOT 26887568 SOS 14590545 HAS SOPS 14551486 HAS SOUS 2654922 HAS SOUPS 2650059 WITH SCORE 2664649.545
AT ITER 8719 NEW BEST:: SOT 26888534 SOS 14591511 HAS SOPS 14552452 HAS SOUS 2654882 HAS SOUPS 2650019 WITH SCORE 2664610.511
AT ITER 8727 NEW BEST:: SOT 26888534 SOS 14591259 HAS SOPS 14552200 HAS SOUS 2654865 HAS SOUPS 2650002 WITH SCORE 2664593.259
AT ITER 8728 NEW BEST:: SOT 26888774 SOS 14590765 HAS SOPS 14551706 HAS SOUS 2654398 HAS SOUPS 2649535 WITH SCORE 2664125.765
AT ITER 8783 NEW BEST:: SOT 26888774 SOS 14582659 HAS SOPS 14543600 HAS SOUS 2654009 HAS SOUPS 2649146 WITH SCORE 2663728.659
AT ITER 8909 NEW BEST:: SOT 26886133 SOS 14586723 HAS SOPS 14547664 HAS SOUS 2651810 HAS SOUPS 2646947 WITH SCORE 2661533.723
AT ITER 8920 NEW BEST:: SOT 26886133 SOS 14585295 HAS SOPS 14546236 HAS SOUS 2650183 HAS SOUPS 2645320 WITH SCORE 2659905.295
AT ITER 8954 NEW BEST:: SOT 26886133 SOS 14585295 HAS SOPS 14546236 HAS SOUS 2649395 HAS SOUPS 2644532 WITH SCORE 2659117.295
AT ITER 9019 NEW BEST:: SOT 26884831 SOS 14581389 HAS SOPS 14542330 HAS SOUS 2647442 HAS SOUPS 2642579 WITH SCORE 2657160.389
AT ITER 9108 NEW BEST:: SOT 26884831 SOS 14581193 HAS SOPS 14542134 HAS SOUS 2645930 HAS SOUPS 2641067 WITH SCORE 2655648.193
AT ITER 9129 NEW BEST:: SOT 26884831 SOS 14578027 HAS SOPS 14538968 HAS SOUS 2645666 HAS SOUPS 2640803 WITH SCORE 2655381.027
AT ITER 9146 NEW BEST:: SOT 26884703 SOS 14577899 HAS SOPS 14538840 HAS SOUS 2645535 HAS SOUPS 2640672 WITH SCORE 2655249.899
AT ITER 9169 NEW BEST:: SOT 26884703 SOS 14576303 HAS SOPS 14537244 HAS SOUS 2645213 HAS SOUPS 2640350 WITH SCORE 2654926.303
AT ITER 9207 NEW BEST:: SOT 26884703 SOS 14567099 HAS SOPS 14528040 HAS SOUS 2643679 HAS SOUPS 2638816 WITH SCORE 2653383.099
AT ITER 9220 NEW BEST:: SOT 26884703 SOS 14567291 HAS SOPS 14528232 HAS SOUS 2643628 HAS SOUPS 2638765 WITH SCORE 2653332.291
AT ITER 9293 NEW BEST:: SOT 26884703 SOS 14567291 HAS SOPS 14528232 HAS SOUS 2643595 HAS SOUPS 2638732 WITH SCORE 2653299.291
AT ITER 9338 NEW BEST:: SOT 26884703 SOS 14566051 HAS SOPS 14526992 HAS SOUS 2643595 HAS SOUPS 2638732 WITH SCORE 2653298.051
AT ITER 9343 NEW BEST:: SOT 26884703 SOS 14561959 HAS SOPS 14522900 HAS SOUS 2642913 HAS SOUPS 2638050 WITH SCORE 2652611.959
AT ITER 9401 NEW BEST:: SOT 26884703 SOS 14562513 HAS SOPS 14523454 HAS SOUS 2642636 HAS SOUPS 2637773 WITH SCORE 2652335.513
AT ITER 9432 NEW BEST:: SOT 26883791 SOS 14563577 HAS SOPS 14524518 HAS SOUS 2641724 HAS SOUPS 2636861 WITH SCORE 2651424.577
AT ITER 9529 NEW BEST:: SOT 26874298 SOS 14554084 HAS SOPS 14515025 HAS SOUS 2638748 HAS SOUPS 2633885 WITH SCORE 2648439.084
AT ITER 9538 NEW BEST:: SOT 26876090 SOS 14554678 HAS SOPS 14515619 HAS SOUS 2638269 HAS SOUPS 2633406 WITH SCORE 2647960.678
AT ITER 9634 NEW BEST:: SOT 26876090 SOS 14546832 HAS SOPS 14507773 HAS SOUS 2636989 HAS SOUPS 2632126 WITH SCORE 2646672.832
AT ITER 9645 NEW BEST:: SOT 26874577 SOS 14550659 HAS SOPS 14511600 HAS SOUS 2636139 HAS SOUPS 2631276 WITH SCORE 2645826.659
AT ITER 9653 NEW BEST:: SOT 26874161 SOS 14550243 HAS SOPS 14511184 HAS SOUS 2636011 HAS SOUPS 2631148 WITH SCORE 2645698.243
AT ITER 9679 NEW BEST:: SOT 26873471 SOS 14551809 HAS SOPS 14512750 HAS SOUS 2635462 HAS SOUPS 2630599 WITH SCORE 2645150.809
AT ITER 9684 NEW BEST:: SOT 26872870 SOS 15451406 HAS SOPS 15412347 HAS SOUS 2634451 HAS SOUPS 2629588 WITH SCORE 2645039.406
AT ITER 9696 NEW BEST:: SOT 26874941 SOS 15454171 HAS SOPS 15414345 HAS SOUS 2634577 HAS SOUPS 2628947 WITH SCORE 2644401.171
AT ITER 9727 NEW BEST:: SOT 26874941 SOS 15433402 HAS SOPS 15393576 HAS SOUS 2630246 HAS SOUPS 2624616 WITH SCORE 2640049.402
AT ITER 9776 NEW BEST:: SOT 26874941 SOS 15433910 HAS SOPS 15394084 HAS SOUS 2629738 HAS SOUPS 2624108 WITH SCORE 2639541.91
AT ITER 9806 NEW BEST:: SOT 26874941 SOS 15433910 HAS SOPS 15396748 HAS SOUS 2629730 HAS SOUPS 2624100 WITH SCORE 2639533.91
AT ITER 9808 NEW BEST:: SOT 26874941 SOS 15430750 HAS SOPS 15393588 HAS SOUS 2629098 HAS SOUPS 2623468 WITH SCORE 2638898.75
AT ITER 9888 NEW BEST:: SOT 26874941 SOS 15430632 HAS SOPS 15393470 HAS SOUS 2629098 HAS SOUPS 2623468 WITH SCORE 2638898.632
AT ITER 9920 NEW BEST:: SOT 26874941 SOS 15430632 HAS SOPS 15393595 HAS SOUS 2628696 HAS SOUPS 2623191 WITH SCORE 2638621.632
AT ITER 9940 NEW BEST:: SOT 26875014 SOS 15412312 HAS SOPS 15375275 HAS SOUS 2624801 HAS SOUPS 2619296 WITH SCORE 2634708.312
AT ITER 9961 NEW BEST:: SOT 26875014 SOS 15405628 HAS SOPS 15368591 HAS SOUS 2623687 HAS SOUPS 2618182 WITH SCORE 2633587.628
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11954920 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16094412 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="NeoElection-PT-7"
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 NeoElection-PT-7, 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 r259-smll-167863534200216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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