Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250300320.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NeoElection-PT-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250300320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 312K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 722K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 352K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 981K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 195K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 524K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 128K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 387K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 462K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 536K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 78K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 158K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 13M Apr 30 13:04 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 1589641101634

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 7
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 203 NEW BEST:: SOT 27007801 SOS 14498008 HAS SOPS 14458336 HAS SOUS 2920422 HAS SOUPS 2916014 WITH SCORE 2930512.008
AT ITER 245 NEW BEST:: SOT 27007801 SOS 14492416 HAS SOPS 14452744 HAS SOUS 2919682 HAS SOUPS 2915274 WITH SCORE 2929766.416
AT ITER 266 NEW BEST:: SOT 27007801 SOS 14485132 HAS SOPS 14445460 HAS SOUS 2918687 HAS SOUPS 2914279 WITH SCORE 2928764.132
AT ITER 345 NEW BEST:: SOT 27007801 SOS 14485132 HAS SOPS 14445460 HAS SOUS 2918495 HAS SOUPS 2914087 WITH SCORE 2928572.132
AT ITER 348 NEW BEST:: SOT 27007801 SOS 14474104 HAS SOPS 14434432 HAS SOUS 2917533 HAS SOUPS 2913125 WITH SCORE 2927599.104
AT ITER 367 NEW BEST:: SOT 27007801 SOS 14471752 HAS SOPS 14432080 HAS SOUS 2917141 HAS SOUPS 2912733 WITH SCORE 2927204.752
AT ITER 481 NEW BEST:: SOT 27007801 SOS 14467168 HAS SOPS 14427496 HAS SOUS 2916611 HAS SOUPS 2912203 WITH SCORE 2926670.168
AT ITER 511 NEW BEST:: SOT 27007801 SOS 14461576 HAS SOPS 14421904 HAS SOUS 2915967 HAS SOUPS 2911559 WITH SCORE 2926020.576
AT ITER 590 NEW BEST:: SOT 27007207 SOS 14502648 HAS SOPS 14462976 HAS SOUS 2914794 HAS SOUPS 2910386 WITH SCORE 2924888.648
AT ITER 620 NEW BEST:: SOT 27006547 SOS 14511572 HAS SOPS 14471900 HAS SOUS 2914577 HAS SOUPS 2910169 WITH SCORE 2924680.572
AT ITER 674 NEW BEST:: SOT 27005473 SOS 14514834 HAS SOPS 14475162 HAS SOUS 2913774 HAS SOUPS 2909366 WITH SCORE 2923880.834
AT ITER 744 NEW BEST:: SOT 27005473 SOS 14508066 HAS SOPS 14468394 HAS SOUS 2912858 HAS SOUPS 2908450 WITH SCORE 2922958.066
AT ITER 790 NEW BEST:: SOT 27005473 SOS 14502114 HAS SOPS 14462442 HAS SOUS 2912203 HAS SOUPS 2907795 WITH SCORE 2922297.114
AT ITER 897 NEW BEST:: SOT 27005473 SOS 14493270 HAS SOPS 14453598 HAS SOUS 2911349 HAS SOUPS 2906941 WITH SCORE 2921434.27
AT ITER 910 NEW BEST:: SOT 26987328 SOS 14642849 HAS SOPS 14603177 HAS SOUS 2897793 HAS SOUPS 2893385 WITH SCORE 2908027.849
AT ITER 952 NEW BEST:: SOT 26986700 SOS 15228118 HAS SOPS 15188446 HAS SOUS 2893285 HAS SOUPS 2888877 WITH SCORE 2904105.118
AT ITER 1001 NEW BEST:: SOT 26986700 SOS 15228094 HAS SOPS 15188422 HAS SOUS 2893285 HAS SOUPS 2888877 WITH SCORE 2904105.094
AT ITER 1077 NEW BEST:: SOT 26965670 SOS 15215925 HAS SOPS 15176253 HAS SOUS 2874226 HAS SOUPS 2869818 WITH SCORE 2885033.925
AT ITER 1211 NEW BEST:: SOT 26964701 SOS 15222556 HAS SOPS 15182884 HAS SOUS 2873730 HAS SOUPS 2869322 WITH SCORE 2884544.556
AT ITER 1258 NEW BEST:: SOT 26964701 SOS 15222556 HAS SOPS 15182884 HAS SOUS 2873729 HAS SOUPS 2869321 WITH SCORE 2884543.556
AT ITER 1550 NEW BEST:: SOT 26964701 SOS 15215008 HAS SOPS 15175336 HAS SOUS 2872983 HAS SOUPS 2868575 WITH SCORE 2883790.008
AT ITER 1610 NEW BEST:: SOT 26964660 SOS 15214311 HAS SOPS 15174639 HAS SOUS 2872942 HAS SOUPS 2868534 WITH SCORE 2883748.311
AT ITER 1766 NEW BEST:: SOT 26944325 SOS 15231988 HAS SOPS 15192316 HAS SOUS 2854971 HAS SOUPS 2850563 WITH SCORE 2865794.988
AT ITER 1783 NEW BEST:: SOT 26944865 SOS 14650732 HAS SOPS 14611060 HAS SOUS 2854752 HAS SOUPS 2850344 WITH SCORE 2864994.732
AT ITER 1938 NEW BEST:: SOT 26944865 SOS 14648008 HAS SOPS 14608336 HAS SOUS 2854298 HAS SOUPS 2849890 WITH SCORE 2864538.008
AT ITER 2021 NEW BEST:: SOT 26944865 SOS 14642032 HAS SOPS 14602360 HAS SOUS 2853302 HAS SOUPS 2848894 WITH SCORE 2863536.032
AT ITER 2038 NEW BEST:: SOT 26944865 SOS 14634292 HAS SOPS 14594620 HAS SOUS 2852320 HAS SOUPS 2847912 WITH SCORE 2862546.292
AT ITER 2110 NEW BEST:: SOT 26942955 SOS 14640137 HAS SOPS 14600465 HAS SOUS 2852119 HAS SOUPS 2847711 WITH SCORE 2862351.137
AT ITER 2153 NEW BEST:: SOT 26942955 SOS 14607362 HAS SOPS 14567690 HAS SOUS 2850999 HAS SOUPS 2846591 WITH SCORE 2861198.362
AT ITER 2380 NEW BEST:: SOT 26942955 SOS 14577632 HAS SOPS 14537960 HAS SOUS 2850008 HAS SOUPS 2845600 WITH SCORE 2860177.632
AT ITER 2384 NEW BEST:: SOT 26942955 SOS 14572388 HAS SOPS 14532716 HAS SOUS 2849394 HAS SOUPS 2844986 WITH SCORE 2859558.388
AT ITER 2431 NEW BEST:: SOT 26942955 SOS 14563340 HAS SOPS 14523668 HAS SOUS 2848452 HAS SOUPS 2844044 WITH SCORE 2858607.34
AT ITER 2437 NEW BEST:: SOT 26940443 SOS 14567158 HAS SOPS 14527486 HAS SOUS 2846362 HAS SOUPS 2841954 WITH SCORE 2856521.158
AT ITER 2453 NEW BEST:: SOT 26940443 SOS 14560990 HAS SOPS 14521318 HAS SOUS 2845334 HAS SOUPS 2840926 WITH SCORE 2855486.99
AT ITER 2524 NEW BEST:: SOT 26940443 SOS 14553646 HAS SOPS 14513974 HAS SOUS 2844382 HAS SOUPS 2839974 WITH SCORE 2854527.646
AT ITER 2571 NEW BEST:: SOT 26940443 SOS 14553310 HAS SOPS 14513638 HAS SOUS 2843558 HAS SOUPS 2839150 WITH SCORE 2853703.31
AT ITER 2610 NEW BEST:: SOT 26940443 SOS 14554582 HAS SOPS 14514910 HAS SOUS 2842748 HAS SOUPS 2838340 WITH SCORE 2852894.582
AT ITER 2658 NEW BEST:: SOT 26940443 SOS 14547886 HAS SOPS 14508214 HAS SOUS 2841868 HAS SOUPS 2837460 WITH SCORE 2852007.886
AT ITER 2689 NEW BEST:: SOT 26940583 SOS 14548026 HAS SOPS 14508354 HAS SOUS 2841746 HAS SOUPS 2837338 WITH SCORE 2851886.026
AT ITER 2711 NEW BEST:: SOT 26940583 SOS 14535714 HAS SOPS 14496042 HAS SOUS 2839029 HAS SOUPS 2834621 WITH SCORE 2849156.714
AT ITER 2859 NEW BEST:: SOT 26940583 SOS 14525622 HAS SOPS 14485950 HAS SOUS 2838117 HAS SOUPS 2833709 WITH SCORE 2848234.622
AT ITER 2905 NEW BEST:: SOT 26938654 SOS 14532648 HAS SOPS 14492976 HAS SOUS 2837785 HAS SOUPS 2833377 WITH SCORE 2847909.648
AT ITER 3003 NEW BEST:: SOT 26938654 SOS 14525004 HAS SOPS 14485332 HAS SOUS 2836661 HAS SOUPS 2832253 WITH SCORE 2846778.004
AT ITER 3157 NEW BEST:: SOT 26937816 SOS 14514110 HAS SOPS 14474695 HAS SOUS 2834600 HAS SOUPS 2830192 WITH SCORE 2844706.11
AT ITER 3242 NEW BEST:: SOT 26937816 SOS 14505492 HAS SOPS 14466077 HAS SOUS 2833622 HAS SOUPS 2829214 WITH SCORE 2843719.492
AT ITER 3254 NEW BEST:: SOT 26928588 SOS 14496274 HAS SOPS 14456853 HAS SOUS 2832659 HAS SOUPS 2828245 WITH SCORE 2842741.274
AT ITER 3301 NEW BEST:: SOT 26928414 SOS 14495828 HAS SOPS 14456407 HAS SOUS 2832451 HAS SOUPS 2828037 WITH SCORE 2842532.828
AT ITER 3308 NEW BEST:: SOT 26927603 SOS 14485285 HAS SOPS 14446094 HAS SOUS 2830245 HAS SOUPS 2825831 WITH SCORE 2840316.285
AT ITER 3420 NEW BEST:: SOT 26927603 SOS 14477341 HAS SOPS 14438150 HAS SOUS 2829373 HAS SOUPS 2824959 WITH SCORE 2839436.341
AT ITER 3502 NEW BEST:: SOT 26926674 SOS 14481164 HAS SOPS 14441973 HAS SOUS 2828736 HAS SOUPS 2824322 WITH SCORE 2838803.164
AT ITER 3542 NEW BEST:: SOT 26925996 SOS 14472350 HAS SOPS 14433256 HAS SOUS 2826777 HAS SOUPS 2822363 WITH SCORE 2836835.35
AT ITER 3587 NEW BEST:: SOT 26925996 SOS 14464994 HAS SOPS 14425900 HAS SOUS 2825905 HAS SOUPS 2821491 WITH SCORE 2835955.994
AT ITER 3714 NEW BEST:: SOT 26925996 SOS 14464994 HAS SOPS 14428577 HAS SOUS 2825573 HAS SOUPS 2821482 WITH SCORE 2835946.994
AT ITER 3783 NEW BEST:: SOT 26926706 SOS 14465704 HAS SOPS 14429287 HAS SOUS 2824350 HAS SOUPS 2820259 WITH SCORE 2834724.704
AT ITER 3795 NEW BEST:: SOT 26926706 SOS 14461972 HAS SOPS 14425555 HAS SOUS 2823811 HAS SOUPS 2819720 WITH SCORE 2834181.972
AT ITER 3866 NEW BEST:: SOT 26926706 SOS 14460580 HAS SOPS 14424611 HAS SOUS 2823571 HAS SOUPS 2819480 WITH SCORE 2833940.58
AT ITER 3874 NEW BEST:: SOT 26926706 SOS 14450746 HAS SOPS 14414777 HAS SOUS 2822561 HAS SOUPS 2818470 WITH SCORE 2832920.746
AT ITER 3909 NEW BEST:: SOT 26926091 SOS 14448532 HAS SOPS 14412563 HAS SOUS 2821946 HAS SOUPS 2817855 WITH SCORE 2832303.532
AT ITER 3995 NEW BEST:: SOT 26926091 SOS 14436754 HAS SOPS 14400785 HAS SOUS 2817060 HAS SOUPS 2812969 WITH SCORE 2827405.754
AT ITER 4062 NEW BEST:: SOT 26926091 SOS 14428582 HAS SOPS 14392613 HAS SOUS 2816114 HAS SOUPS 2812023 WITH SCORE 2826451.582
AT ITER 4097 NEW BEST:: SOT 26926091 SOS 14421286 HAS SOPS 14385317 HAS SOUS 2815272 HAS SOUPS 2811181 WITH SCORE 2825602.286
AT ITER 4143 NEW BEST:: SOT 26925491 SOS 14419286 HAS SOPS 14383317 HAS SOUS 2814672 HAS SOUPS 2810581 WITH SCORE 2825000.286
AT ITER 4219 NEW BEST:: SOT 26925491 SOS 14413389 HAS SOPS 14377420 HAS SOUS 2809818 HAS SOUPS 2805727 WITH SCORE 2820140.389
AT ITER 4246 NEW BEST:: SOT 26925173 SOS 14414399 HAS SOPS 14378430 HAS SOUS 2809500 HAS SOUPS 2805409 WITH SCORE 2819823.399
AT ITER 4380 NEW BEST:: SOT 26925173 SOS 14411495 HAS SOPS 14375526 HAS SOUS 2809016 HAS SOUPS 2804925 WITH SCORE 2819336.495
AT ITER 4401 NEW BEST:: SOT 26925173 SOS 14407187 HAS SOPS 14371218 HAS SOUS 2808448 HAS SOUPS 2804357 WITH SCORE 2818764.187
AT ITER 4431 NEW BEST:: SOT 26923930 SOS 14413656 HAS SOPS 14377687 HAS SOUS 2807687 HAS SOUPS 2803596 WITH SCORE 2818009.656
AT ITER 4465 NEW BEST:: SOT 26923930 SOS 14405160 HAS SOPS 14369191 HAS SOUS 2806787 HAS SOUPS 2802696 WITH SCORE 2817101.16
AT ITER 4557 NEW BEST:: SOT 26923930 SOS 14382894 HAS SOPS 14346925 HAS SOUS 2803350 HAS SOUPS 2799259 WITH SCORE 2813641.894
AT ITER 4663 NEW BEST:: SOT 26923930 SOS 14385789 HAS SOPS 14349820 HAS SOUS 2799534 HAS SOUPS 2795443 WITH SCORE 2809828.789
AT ITER 4664 NEW BEST:: SOT 26922477 SOS 14386185 HAS SOPS 14350216 HAS SOUS 2799493 HAS SOUPS 2795402 WITH SCORE 2809788.185
AT ITER 4703 NEW BEST:: SOT 26922477 SOS 14376981 HAS SOPS 14341012 HAS SOUS 2798013 HAS SOUPS 2793922 WITH SCORE 2808298.981
AT ITER 4720 NEW BEST:: SOT 26921687 SOS 14382287 HAS SOPS 14346318 HAS SOUS 2797598 HAS SOUPS 2793507 WITH SCORE 2807889.287
AT ITER 4766 NEW BEST:: SOT 26921687 SOS 14373455 HAS SOPS 14337486 HAS SOUS 2796593 HAS SOUPS 2792502 WITH SCORE 2806875.455
AT ITER 4827 NEW BEST:: SOT 26921687 SOS 14358020 HAS SOPS 14322051 HAS SOUS 2790358 HAS SOUPS 2786267 WITH SCORE 2800625.02
AT ITER 4878 NEW BEST:: SOT 26921467 SOS 14368956 HAS SOPS 14332993 HAS SOUS 2790217 HAS SOUPS 2786132 WITH SCORE 2800500.956
AT ITER 4883 NEW BEST:: SOT 26921467 SOS 14368956 HAS SOPS 14332993 HAS SOUS 2790216 HAS SOUPS 2786131 WITH SCORE 2800499.956
AT ITER 4888 NEW BEST:: SOT 26921467 SOS 14363664 HAS SOPS 14327701 HAS SOUS 2789471 HAS SOUPS 2785386 WITH SCORE 2799749.664
AT ITER 4915 NEW BEST:: SOT 26921467 SOS 14354564 HAS SOPS 14318601 HAS SOUS 2787969 HAS SOUPS 2783884 WITH SCORE 2798238.564
AT ITER 4968 NEW BEST:: SOT 26921092 SOS 14354189 HAS SOPS 14318226 HAS SOUS 2785850 HAS SOUPS 2781765 WITH SCORE 2796119.189
AT ITER 4977 NEW BEST:: SOT 26921092 SOS 14346965 HAS SOPS 14311002 HAS SOUS 2784646 HAS SOUPS 2780561 WITH SCORE 2794907.965
AT ITER 5088 NEW BEST:: SOT 26904287 SOS 14400657 HAS SOPS 14364694 HAS SOUS 2770125 HAS SOUPS 2766040 WITH SCORE 2780440.657
AT ITER 5151 NEW BEST:: SOT 26904287 SOS 14400657 HAS SOPS 14364694 HAS SOUS 2769460 HAS SOUPS 2765375 WITH SCORE 2779775.657
AT ITER 5178 NEW BEST:: SOT 26903561 SOS 14402706 HAS SOPS 14366743 HAS SOUS 2768919 HAS SOUPS 2764834 WITH SCORE 2779236.706
AT ITER 5205 NEW BEST:: SOT 26904596 SOS 14402386 HAS SOPS 14366423 HAS SOUS 2768465 HAS SOUPS 2764380 WITH SCORE 2778782.386
AT ITER 5319 NEW BEST:: SOT 26904596 SOS 14397080 HAS SOPS 14361117 HAS SOUS 2768298 HAS SOUPS 2764213 WITH SCORE 2778610.08
AT ITER 5366 NEW BEST:: SOT 26904596 SOS 14393396 HAS SOPS 14357433 HAS SOUS 2767684 HAS SOUPS 2763599 WITH SCORE 2777992.396
AT ITER 5376 NEW BEST:: SOT 26904596 SOS 14386604 HAS SOPS 14350641 HAS SOUS 2767516 HAS SOUPS 2763431 WITH SCORE 2777817.604
AT ITER 5410 NEW BEST:: SOT 26904596 SOS 14379597 HAS SOPS 14343634 HAS SOUS 2766590 HAS SOUPS 2762505 WITH SCORE 2776884.597
AT ITER 5454 NEW BEST:: SOT 26904410 SOS 14379516 HAS SOPS 14343553 HAS SOUS 2766485 HAS SOUPS 2762400 WITH SCORE 2776779.516
AT ITER 5471 NEW BEST:: SOT 26904410 SOS 14368692 HAS SOPS 14332729 HAS SOUS 2765203 HAS SOUPS 2761118 WITH SCORE 2775486.692
AT ITER 5493 NEW BEST:: SOT 26904410 SOS 14368692 HAS SOPS 14332729 HAS SOUS 2764489 HAS SOUPS 2760404 WITH SCORE 2774772.692
AT ITER 5521 NEW BEST:: SOT 26904410 SOS 14362140 HAS SOPS 14326177 HAS SOUS 2763397 HAS SOUPS 2759312 WITH SCORE 2773674.14
AT ITER 5524 NEW BEST:: SOT 26903579 SOS 14441212 HAS SOPS 14405249 HAS SOUS 2761971 HAS SOUPS 2757886 WITH SCORE 2772327.212
AT ITER 5603 NEW BEST:: SOT 26903579 SOS 14438300 HAS SOPS 14402337 HAS SOUS 2761971 HAS SOUPS 2757886 WITH SCORE 2772324.3
AT ITER 5618 NEW BEST:: SOT 26903579 SOS 14411929 HAS SOPS 14375966 HAS SOUS 2758896 HAS SOUPS 2754811 WITH SCORE 2769222.929
AT ITER 5687 NEW BEST:: SOT 26903579 SOS 14403399 HAS SOPS 14367436 HAS SOUS 2754430 HAS SOUPS 2750345 WITH SCORE 2764748.399
AT ITER 5794 NEW BEST:: SOT 26902846 SOS 14399427 HAS SOPS 14363464 HAS SOUS 2753339 HAS SOUPS 2749254 WITH SCORE 2763653.427
AT ITER 5822 NEW BEST:: SOT 26902846 SOS 14399007 HAS SOPS 14363044 HAS SOUS 2753267 HAS SOUPS 2749182 WITH SCORE 2763581.007
AT ITER 5827 NEW BEST:: SOT 26902846 SOS 14390583 HAS SOPS 14354620 HAS SOUS 2751863 HAS SOUPS 2747778 WITH SCORE 2762168.583
AT ITER 5833 NEW BEST:: SOT 26903635 SOS 14391372 HAS SOPS 14355409 HAS SOUS 2751673 HAS SOUPS 2747588 WITH SCORE 2761979.372
AT ITER 5869 NEW BEST:: SOT 26903280 SOS 14391921 HAS SOPS 14355958 HAS SOUS 2751370 HAS SOUPS 2747285 WITH SCORE 2761676.921
AT ITER 6050 NEW BEST:: SOT 26903280 SOS 14384689 HAS SOPS 14348726 HAS SOUS 2751369 HAS SOUPS 2747284 WITH SCORE 2761668.689
AT ITER 6060 NEW BEST:: SOT 26903280 SOS 14384689 HAS SOPS 14348726 HAS SOUS 2751331 HAS SOUPS 2747246 WITH SCORE 2761630.689
AT ITER 6063 NEW BEST:: SOT 26903280 SOS 14379577 HAS SOPS 14343614 HAS SOUS 2750479 HAS SOUPS 2746394 WITH SCORE 2760773.577
AT ITER 6213 NEW BEST:: SOT 26903280 SOS 14368629 HAS SOPS 14332666 HAS SOUS 2746227 HAS SOUPS 2742142 WITH SCORE 2756510.629
AT ITER 6297 NEW BEST:: SOT 26903280 SOS 14365041 HAS SOPS 14329078 HAS SOUS 2745739 HAS SOUPS 2741654 WITH SCORE 2756019.041
AT ITER 6299 NEW BEST:: SOT 26903280 SOS 14364393 HAS SOPS 14328430 HAS SOUS 2745577 HAS SOUPS 2741492 WITH SCORE 2755856.393
AT ITER 6426 NEW BEST:: SOT 26903280 SOS 14363709 HAS SOPS 14327746 HAS SOUS 2744723 HAS SOUPS 2740638 WITH SCORE 2755001.709
AT ITER 6454 NEW BEST:: SOT 26903280 SOS 14357145 HAS SOPS 14321182 HAS SOUS 2743968 HAS SOUPS 2739883 WITH SCORE 2754240.145
AT ITER 6465 NEW BEST:: SOT 26905460 SOS 14348939 HAS SOPS 14310918 HAS SOUS 2744765 HAS SOUPS 2739487 WITH SCORE 2753835.939
AT ITER 6481 NEW BEST:: SOT 26908835 SOS 14339822 HAS SOPS 14301801 HAS SOUS 2744614 HAS SOUPS 2739336 WITH SCORE 2753675.822
AT ITER 6547 NEW BEST:: SOT 26908835 SOS 14337290 HAS SOPS 14299269 HAS SOUS 2744382 HAS SOUPS 2739104 WITH SCORE 2753441.29
AT ITER 6582 NEW BEST:: SOT 26908835 SOS 14327654 HAS SOPS 14289633 HAS SOUS 2743426 HAS SOUPS 2738148 WITH SCORE 2752475.654
AT ITER 6589 NEW BEST:: SOT 26908835 SOS 14327246 HAS SOPS 14289225 HAS SOUS 2742586 HAS SOUPS 2737308 WITH SCORE 2751635.246
AT ITER 6625 NEW BEST:: SOT 26909364 SOS 14327775 HAS SOPS 14289754 HAS SOUS 2742522 HAS SOUPS 2737244 WITH SCORE 2751571.775
AT ITER 6627 NEW BEST:: SOT 26908747 SOS 14333446 HAS SOPS 14295425 HAS SOUS 2742292 HAS SOUPS 2737014 WITH SCORE 2751347.446
AT ITER 6639 NEW BEST:: SOT 26908747 SOS 14328166 HAS SOPS 14290145 HAS SOUS 2741663 HAS SOUPS 2736385 WITH SCORE 2750713.166
AT ITER 6719 NEW BEST:: SOT 26888096 SOS 14341484 HAS SOPS 14303463 HAS SOUS 2723100 HAS SOUPS 2717822 WITH SCORE 2732163.484
AT ITER 6742 NEW BEST:: SOT 26888428 SOS 14341816 HAS SOPS 14303795 HAS SOUS 2722869 HAS SOUPS 2717591 WITH SCORE 2731932.816
AT ITER 6859 NEW BEST:: SOT 26888428 SOS 14340976 HAS SOPS 14302955 HAS SOUS 2721477 HAS SOUPS 2716199 WITH SCORE 2730539.976
AT ITER 6984 NEW BEST:: SOT 26888428 SOS 14340984 HAS SOPS 14302963 HAS SOUS 2721291 HAS SOUPS 2716013 WITH SCORE 2730353.984
AT ITER 6994 NEW BEST:: SOT 26888737 SOS 14341293 HAS SOPS 14303272 HAS SOUS 2721247 HAS SOUPS 2715969 WITH SCORE 2730310.293
AT ITER 7030 NEW BEST:: SOT 26888737 SOS 14341293 HAS SOPS 14303272 HAS SOUS 2721041 HAS SOUPS 2715763 WITH SCORE 2730104.293
AT ITER 7102 NEW BEST:: SOT 26887152 SOS 14343743 HAS SOPS 14305722 HAS SOUS 2719722 HAS SOUPS 2714444 WITH SCORE 2728787.743
AT ITER 7168 NEW BEST:: SOT 26887152 SOS 14339459 HAS SOPS 14301438 HAS SOUS 2719416 HAS SOUPS 2714138 WITH SCORE 2728477.459
AT ITER 7171 NEW BEST:: SOT 26887152 SOS 14333063 HAS SOPS 14295042 HAS SOUS 2718350 HAS SOUPS 2713072 WITH SCORE 2727405.063
AT ITER 7200 NEW BEST:: SOT 26887152 SOS 14328719 HAS SOPS 14290698 HAS SOUS 2717675 HAS SOUPS 2712397 WITH SCORE 2726725.719
AT ITER 7205 NEW BEST:: SOT 26887152 SOS 14328323 HAS SOPS 14290302 HAS SOUS 2717609 HAS SOUPS 2712331 WITH SCORE 2726659.323
AT ITER 7219 NEW BEST:: SOT 26887152 SOS 14328323 HAS SOPS 14290302 HAS SOUS 2715320 HAS SOUPS 2710042 WITH SCORE 2724370.323
AT ITER 7518 NEW BEST:: SOT 26887152 SOS 14322191 HAS SOPS 14284170 HAS SOUS 2714648 HAS SOUPS 2709370 WITH SCORE 2723692.191
AT ITER 7627 NEW BEST:: SOT 26893844 SOS 14320392 HAS SOPS 14279519 HAS SOUS 2715270 HAS SOUPS 2708506 WITH SCORE 2722826.392
AT ITER 7646 NEW BEST:: SOT 26893844 SOS 14319336 HAS SOPS 14278463 HAS SOUS 2715270 HAS SOUPS 2708506 WITH SCORE 2722825.336
AT ITER 7688 NEW BEST:: SOT 26893661 SOS 14319153 HAS SOPS 14278880 HAS SOUS 2714979 HAS SOUPS 2708215 WITH SCORE 2722534.153
AT ITER 7693 NEW BEST:: SOT 26893661 SOS 14318613 HAS SOPS 14278340 HAS SOUS 2714642 HAS SOUPS 2707878 WITH SCORE 2722196.613
AT ITER 7701 NEW BEST:: SOT 26893661 SOS 14294259 HAS SOPS 14253986 HAS SOUS 2713750 HAS SOUPS 2706986 WITH SCORE 2721280.259
AT ITER 7760 NEW BEST:: SOT 26894577 SOS 14295175 HAS SOPS 14254902 HAS SOUS 2713657 HAS SOUPS 2706893 WITH SCORE 2721188.175
AT ITER 7813 NEW BEST:: SOT 26894577 SOS 14288688 HAS SOPS 14248415 HAS SOUS 2707886 HAS SOUPS 2701122 WITH SCORE 2715410.688
AT ITER 7829 NEW BEST:: SOT 26894577 SOS 14281140 HAS SOPS 14240867 HAS SOUS 2706628 HAS SOUPS 2699864 WITH SCORE 2714145.14
AT ITER 7872 NEW BEST:: SOT 26894577 SOS 14272996 HAS SOPS 14232723 HAS SOUS 2706202 HAS SOUPS 2699438 WITH SCORE 2713710.996
AT ITER 7936 NEW BEST:: SOT 26895240 SOS 14273659 HAS SOPS 14233386 HAS SOUS 2705870 HAS SOUPS 2699106 WITH SCORE 2713379.659
AT ITER 8018 NEW BEST:: SOT 26894252 SOS 14269367 HAS SOPS 14229501 HAS SOUS 2704745 HAS SOUPS 2698112 WITH SCORE 2712381.367
AT ITER 8036 NEW BEST:: SOT 26887249 SOS 14854640 HAS SOPS 14814774 HAS SOUS 2699673 HAS SOUPS 2693040 WITH SCORE 2707894.64
AT ITER 8112 NEW BEST:: SOT 26887249 SOS 14859748 HAS SOPS 14819882 HAS SOUS 2697094 HAS SOUPS 2690461 WITH SCORE 2705320.748
AT ITER 8159 NEW BEST:: SOT 26887249 SOS 14851936 HAS SOPS 14812132 HAS SOUS 2695590 HAS SOUPS 2688957 WITH SCORE 2703808.936
AT ITER 8210 NEW BEST:: SOT 26887249 SOS 14851936 HAS SOPS 14812132 HAS SOUS 2695240 HAS SOUPS 2688607 WITH SCORE 2703458.936
AT ITER 8211 NEW BEST:: SOT 26887249 SOS 14851936 HAS SOPS 14812132 HAS SOUS 2695086 HAS SOUPS 2688453 WITH SCORE 2703304.936
AT ITER 8212 NEW BEST:: SOT 26888427 SOS 14852874 HAS SOPS 14813070 HAS SOUS 2695080 HAS SOUPS 2688447 WITH SCORE 2703299.874
AT ITER 8260 NEW BEST:: SOT 26868040 SOS 14845584 HAS SOPS 14806053 HAS SOUS 2676434 HAS SOUPS 2670074 WITH SCORE 2684919.584
AT ITER 8324 NEW BEST:: SOT 26868040 SOS 14845584 HAS SOPS 14806053 HAS SOUS 2674894 HAS SOUPS 2668534 WITH SCORE 2683379.584
AT ITER 8472 NEW BEST:: SOT 26868040 SOS 14845634 HAS SOPS 14806103 HAS SOUS 2674869 HAS SOUPS 2668509 WITH SCORE 2683354.634
AT ITER 8488 NEW BEST:: SOT 26868040 SOS 14845634 HAS SOPS 14809623 HAS SOUS 2674462 HAS SOUPS 2668500 WITH SCORE 2683345.634
AT ITER 8499 NEW BEST:: SOT 26868337 SOS 14845931 HAS SOPS 14809920 HAS SOUS 2674017 HAS SOUPS 2668055 WITH SCORE 2682900.931
AT ITER 8503 NEW BEST:: SOT 26868337 SOS 14845931 HAS SOPS 14809920 HAS SOUS 2673941 HAS SOUPS 2667979 WITH SCORE 2682824.931
AT ITER 8606 NEW BEST:: SOT 26866409 SOS 14845893 HAS SOPS 14809882 HAS SOUS 2672761 HAS SOUPS 2666799 WITH SCORE 2681644.893
AT ITER 8673 NEW BEST:: SOT 26866409 SOS 14842701 HAS SOPS 14806690 HAS SOUS 2672228 HAS SOUPS 2666266 WITH SCORE 2681108.701
AT ITER 8726 NEW BEST:: SOT 26864422 SOS 14847119 HAS SOPS 14811108 HAS SOUS 2671203 HAS SOUPS 2665241 WITH SCORE 2680088.119
AT ITER 8767 NEW BEST:: SOT 26864920 SOS 14847617 HAS SOPS 14811606 HAS SOUS 2670991 HAS SOUPS 2665029 WITH SCORE 2679876.617
AT ITER 8787 NEW BEST:: SOT 26861696 SOS 14852988 HAS SOPS 14816977 HAS SOUS 2667947 HAS SOUPS 2661985 WITH SCORE 2676837.988
AT ITER 8845 NEW BEST:: SOT 26861696 SOS 14840628 HAS SOPS 14804617 HAS SOUS 2665807 HAS SOUPS 2659845 WITH SCORE 2674685.628
AT ITER 8869 NEW BEST:: SOT 26861696 SOS 14840628 HAS SOPS 14804617 HAS SOUS 2665669 HAS SOUPS 2659707 WITH SCORE 2674547.628
AT ITER 8901 NEW BEST:: SOT 26862354 SOS 14841231 HAS SOPS 14805220 HAS SOUS 2665613 HAS SOUPS 2659651 WITH SCORE 2674492.231
AT ITER 8916 NEW BEST:: SOT 26862354 SOS 14835651 HAS SOPS 14799640 HAS SOUS 2664683 HAS SOUPS 2658721 WITH SCORE 2673556.651
AT ITER 8972 NEW BEST:: SOT 26862354 SOS 14834151 HAS SOPS 14798140 HAS SOUS 2664433 HAS SOUPS 2658471 WITH SCORE 2673305.151
AT ITER 8980 NEW BEST:: SOT 26862354 SOS 14835285 HAS SOPS 14799274 HAS SOUS 2664352 HAS SOUPS 2658390 WITH SCORE 2673225.285
AT ITER 9118 NEW BEST:: SOT 26864886 SOS 14837817 HAS SOPS 14801806 HAS SOUS 2664105 HAS SOUPS 2658143 WITH SCORE 2672980.817
AT ITER 9135 NEW BEST:: SOT 26864322 SOS 14835937 HAS SOPS 14799926 HAS SOUS 2663447 HAS SOUPS 2657485 WITH SCORE 2672320.937
AT ITER 9150 NEW BEST:: SOT 26864322 SOS 14837773 HAS SOPS 14801762 HAS SOUS 2663297 HAS SOUPS 2657335 WITH SCORE 2672172.773
AT ITER 9193 NEW BEST:: SOT 26864322 SOS 14837501 HAS SOPS 14801490 HAS SOUS 2663003 HAS SOUPS 2657041 WITH SCORE 2671878.501
AT ITER 9198 NEW BEST:: SOT 26864322 SOS 14829361 HAS SOPS 14793350 HAS SOUS 2662075 HAS SOUPS 2656113 WITH SCORE 2670942.361
AT ITER 9203 NEW BEST:: SOT 26864322 SOS 14829361 HAS SOPS 14793350 HAS SOUS 2660879 HAS SOUPS 2654917 WITH SCORE 2669746.361
AT ITER 9273 NEW BEST:: SOT 26864322 SOS 14829361 HAS SOPS 14793350 HAS SOUS 2659779 HAS SOUPS 2653817 WITH SCORE 2668646.361
AT ITER 9297 NEW BEST:: SOT 26864322 SOS 14821981 HAS SOPS 14785970 HAS SOUS 2658779 HAS SOUPS 2652817 WITH SCORE 2667638.981
AT ITER 9301 NEW BEST:: SOT 26861903 SOS 14826267 HAS SOPS 14790256 HAS SOUS 2656644 HAS SOUPS 2650682 WITH SCORE 2665508.267
AT ITER 9323 NEW BEST:: SOT 26861903 SOS 14826001 HAS SOPS 14789990 HAS SOUS 2656355 HAS SOUPS 2650393 WITH SCORE 2665219.001
AT ITER 9367 NEW BEST:: SOT 26861157 SOS 14829223 HAS SOPS 14793212 HAS SOUS 2655609 HAS SOUPS 2649647 WITH SCORE 2664476.223
AT ITER 9447 NEW BEST:: SOT 26861157 SOS 14829019 HAS SOPS 14793008 HAS SOUS 2654603 HAS SOUPS 2648641 WITH SCORE 2663470.019
AT ITER 9460 NEW BEST:: SOT 26861157 SOS 14830051 HAS SOPS 14794040 HAS SOUS 2653650 HAS SOUPS 2647688 WITH SCORE 2662518.051
AT ITER 9510 NEW BEST:: SOT 26861157 SOS 14830137 HAS SOPS 14794126 HAS SOUS 2652977 HAS SOUPS 2647015 WITH SCORE 2661845.137
AT ITER 9552 NEW BEST:: SOT 26861157 SOS 14819685 HAS SOPS 14783674 HAS SOUS 2651749 HAS SOUPS 2645787 WITH SCORE 2660606.685
AT ITER 9633 NEW BEST:: SOT 26861157 SOS 14808753 HAS SOPS 14772742 HAS SOUS 2646640 HAS SOUPS 2640678 WITH SCORE 2655486.753
AT ITER 9658 NEW BEST:: SOT 26860649 SOS 14891018 HAS SOPS 14855007 HAS SOUS 2645849 HAS SOUPS 2639887 WITH SCORE 2654778.018
AT ITER 9861 NEW BEST:: SOT 26860649 SOS 14897066 HAS SOPS 14861055 HAS SOUS 2645838 HAS SOUPS 2639876 WITH SCORE 2654773.066
AT ITER 9882 NEW BEST:: SOT 26860649 SOS 14896934 HAS SOPS 14860923 HAS SOUS 2644958 HAS SOUPS 2638996 WITH SCORE 2653892.934
AT ITER 9899 NEW BEST:: SOT 26861493 SOS 14897778 HAS SOPS 14861767 HAS SOUS 2644561 HAS SOUPS 2638599 WITH SCORE 2653496.778
AT ITER 9906 NEW BEST:: SOT 26861493 SOS 14880132 HAS SOPS 14849476 HAS SOUS 2643371 HAS SOUPS 2638004 WITH SCORE 2652884.132
AT ITER 9977 NEW BEST:: SOT 26860307 SOS 14878442 HAS SOPS 14847993 HAS SOUS 2642584 HAS SOUPS 2637217 WITH SCORE 2652095.442
AT ITER 9992 NEW BEST:: SOT 26860307 SOS 14908336 HAS SOPS 14877887 HAS SOUS 2642541 HAS SOUPS 2637174 WITH SCORE 2652082.336
AT ITER 9997 NEW BEST:: SOT 26860779 SOS 14908755 HAS SOPS 14878306 HAS SOUS 2642487 HAS SOUPS 2637120 WITH SCORE 2652028.755

BK_TIME_CONFINEMENT_REACHED

--------------------
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="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"

# 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 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 r108-csrt-158961250300320"
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 ;