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.r395-oct2-167903718600336.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPt-PT-050B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718600336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.2K Feb 25 17:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 17:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 17:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 17:03 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 16:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 25 17:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 17:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 17:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 860K 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 1679563952356

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-050B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:32:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:32:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:32:35] [INFO ] Load time of PNML (sax parser for PT used): 143 ms
[2023-03-23 09:32:35] [INFO ] Transformed 3503 places.
[2023-03-23 09:32:35] [INFO ] Transformed 3253 transitions.
[2023-03-23 09:32:35] [INFO ] Found NUPN structural information;
[2023-03-23 09:32:35] [INFO ] Parsed PT model containing 3503 places and 3253 transitions and 8106 arcs in 401 ms.
[2023-03-23 09:32:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3503 places, 3253 transitions and 8106 arcs took 41 ms.
Total runtime 491 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 050B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 3503 places, 3253 transitions, 8106 arcs.
AT ITER 0 NEW BEST:: SOT 5777483 SOS 229811 HAS SOPS 229811 HAS SOUS 214574 HAS SOUPS 214574 WITH SCORE 214803.811
AT ITER 25 NEW BEST:: SOT 5777467 SOS 229779 HAS SOPS 229779 HAS SOUS 214558 HAS SOUPS 214558 WITH SCORE 214787.779
AT ITER 56 NEW BEST:: SOT 5777466 SOS 229694 HAS SOPS 229694 HAS SOUS 214517 HAS SOUPS 214517 WITH SCORE 214746.694
AT ITER 241 NEW BEST:: SOT 5777487 SOS 229644 HAS SOPS 229644 HAS SOUS 214492 HAS SOUPS 214492 WITH SCORE 214721.644
AT ITER 425 NEW BEST:: SOT 5777486 SOS 229642 HAS SOPS 229642 HAS SOUS 214490 HAS SOUPS 214490 WITH SCORE 214719.642
AT ITER 433 NEW BEST:: SOT 5777486 SOS 229608 HAS SOPS 229608 HAS SOUS 214456 HAS SOUPS 214456 WITH SCORE 214685.608
AT ITER 462 NEW BEST:: SOT 5777440 SOS 229515 HAS SOPS 229515 HAS SOUS 214363 HAS SOUPS 214363 WITH SCORE 214592.515
AT ITER 522 NEW BEST:: SOT 5777406 SOS 229447 HAS SOPS 229447 HAS SOUS 214254 HAS SOUPS 214254 WITH SCORE 214483.447
AT ITER 536 NEW BEST:: SOT 5777405 SOS 229491 HAS SOPS 229491 HAS SOUS 214252 HAS SOUPS 214252 WITH SCORE 214481.491
AT ITER 625 NEW BEST:: SOT 5777350 SOS 229471 HAS SOPS 229471 HAS SOUS 214197 HAS SOUPS 214197 WITH SCORE 214426.471
AT ITER 634 NEW BEST:: SOT 5777320 SOS 229381 HAS SOPS 229381 HAS SOUS 214134 HAS SOUPS 214134 WITH SCORE 214363.381
AT ITER 729 NEW BEST:: SOT 5777309 SOS 229359 HAS SOPS 229359 HAS SOUS 214099 HAS SOUPS 214099 WITH SCORE 214328.359
AT ITER 791 NEW BEST:: SOT 5777219 SOS 229222 HAS SOPS 229222 HAS SOUS 213996 HAS SOUPS 213996 WITH SCORE 214225.222
AT ITER 856 NEW BEST:: SOT 5777164 SOS 229087 HAS SOPS 229087 HAS SOUS 213886 HAS SOUPS 213886 WITH SCORE 214115.087
AT ITER 1013 NEW BEST:: SOT 5777129 SOS 229052 HAS SOPS 229052 HAS SOUS 213851 HAS SOUPS 213851 WITH SCORE 214080.052
AT ITER 1161 NEW BEST:: SOT 5777129 SOS 229052 HAS SOPS 229052 HAS SOUS 213849 HAS SOUPS 213849 WITH SCORE 214078.052
AT ITER 1231 NEW BEST:: SOT 5777129 SOS 229026 HAS SOPS 229026 HAS SOUS 213839 HAS SOUPS 213839 WITH SCORE 214068.026
AT ITER 1446 NEW BEST:: SOT 5777129 SOS 228978 HAS SOPS 228978 HAS SOUS 213812 HAS SOUPS 213812 WITH SCORE 214040.978
AT ITER 1545 NEW BEST:: SOT 5777129 SOS 228943 HAS SOPS 228943 HAS SOUS 213777 HAS SOUPS 213777 WITH SCORE 214005.943
AT ITER 1564 NEW BEST:: SOT 5777129 SOS 228886 HAS SOPS 228886 HAS SOUS 213720 HAS SOUPS 213720 WITH SCORE 213948.886
AT ITER 1570 NEW BEST:: SOT 5777129 SOS 228830 HAS SOPS 228830 HAS SOUS 213690 HAS SOUPS 213690 WITH SCORE 213918.83
AT ITER 1592 NEW BEST:: SOT 5777129 SOS 228803 HAS SOPS 228803 HAS SOUS 213661 HAS SOUPS 213661 WITH SCORE 213889.803
AT ITER 1609 NEW BEST:: SOT 5777085 SOS 228674 HAS SOPS 228674 HAS SOUS 213563 HAS SOUPS 213563 WITH SCORE 213791.674
AT ITER 1634 NEW BEST:: SOT 5777043 SOS 228548 HAS SOPS 228548 HAS SOUS 213437 HAS SOUPS 213437 WITH SCORE 213665.548
AT ITER 1684 NEW BEST:: SOT 5777043 SOS 228547 HAS SOPS 228547 HAS SOUS 213436 HAS SOUPS 213436 WITH SCORE 213664.547
AT ITER 1705 NEW BEST:: SOT 5776982 SOS 228321 HAS SOPS 228321 HAS SOUS 213301 HAS SOUPS 213301 WITH SCORE 213529.321
AT ITER 1709 NEW BEST:: SOT 5776935 SOS 228227 HAS SOPS 228227 HAS SOUS 213184 HAS SOUPS 213184 WITH SCORE 213412.227
AT ITER 1769 NEW BEST:: SOT 5776934 SOS 228209 HAS SOPS 228209 HAS SOUS 213166 HAS SOUPS 213166 WITH SCORE 213394.209
AT ITER 1813 NEW BEST:: SOT 5776924 SOS 228199 HAS SOPS 228199 HAS SOUS 213166 HAS SOUPS 213166 WITH SCORE 213394.199
AT ITER 1831 NEW BEST:: SOT 5776927 SOS 228117 HAS SOPS 228117 HAS SOUS 213036 HAS SOUPS 213036 WITH SCORE 213264.117
AT ITER 1869 NEW BEST:: SOT 5776918 SOS 228111 HAS SOPS 228111 HAS SOUS 213030 HAS SOUPS 213030 WITH SCORE 213258.111
AT ITER 1927 NEW BEST:: SOT 5776855 SOS 228098 HAS SOPS 228098 HAS SOUS 213006 HAS SOUPS 213006 WITH SCORE 213234.098
AT ITER 1994 NEW BEST:: SOT 5776855 SOS 228093 HAS SOPS 228093 HAS SOUS 213001 HAS SOUPS 213001 WITH SCORE 213229.093
AT ITER 1999 NEW BEST:: SOT 5776813 SOS 228008 HAS SOPS 228008 HAS SOUS 212916 HAS SOUPS 212916 WITH SCORE 213144.008
AT ITER 2190 NEW BEST:: SOT 5776813 SOS 227994 HAS SOPS 227994 HAS SOUS 212902 HAS SOUPS 212902 WITH SCORE 213129.994
AT ITER 2339 NEW BEST:: SOT 5776801 SOS 227996 HAS SOPS 227996 HAS SOUS 212889 HAS SOUPS 212889 WITH SCORE 213116.996
AT ITER 2412 NEW BEST:: SOT 5776793 SOS 227988 HAS SOPS 227988 HAS SOUS 212889 HAS SOUPS 212889 WITH SCORE 213116.988
AT ITER 2469 NEW BEST:: SOT 5776793 SOS 227973 HAS SOPS 227973 HAS SOUS 212874 HAS SOUPS 212874 WITH SCORE 213101.973
AT ITER 2483 NEW BEST:: SOT 5776786 SOS 227952 HAS SOPS 227952 HAS SOUS 212867 HAS SOUPS 212867 WITH SCORE 213094.952
AT ITER 2571 NEW BEST:: SOT 5776785 SOS 227951 HAS SOPS 227951 HAS SOUS 212866 HAS SOUPS 212866 WITH SCORE 213093.951
AT ITER 2958 NEW BEST:: SOT 5776800 SOS 227930 HAS SOPS 227930 HAS SOUS 212862 HAS SOUPS 212862 WITH SCORE 213089.93
AT ITER 3001 NEW BEST:: SOT 5776799 SOS 227923 HAS SOPS 227923 HAS SOUS 212855 HAS SOUPS 212855 WITH SCORE 213082.923
AT ITER 3013 NEW BEST:: SOT 5776760 SOS 227799 HAS SOPS 227799 HAS SOUS 212786 HAS SOUPS 212786 WITH SCORE 213013.799
AT ITER 3057 NEW BEST:: SOT 5776759 SOS 227788 HAS SOPS 227788 HAS SOUS 212775 HAS SOUPS 212775 WITH SCORE 213002.788
AT ITER 3139 NEW BEST:: SOT 5776733 SOS 227733 HAS SOPS 227733 HAS SOUS 212720 HAS SOUPS 212720 WITH SCORE 212947.733
AT ITER 3197 NEW BEST:: SOT 5776729 SOS 227725 HAS SOPS 227725 HAS SOUS 212712 HAS SOUPS 212712 WITH SCORE 212939.725
AT ITER 3205 NEW BEST:: SOT 5776729 SOS 227706 HAS SOPS 227706 HAS SOUS 212712 HAS SOUPS 212712 WITH SCORE 212939.706
AT ITER 3244 NEW BEST:: SOT 5776729 SOS 227726 HAS SOPS 227726 HAS SOUS 212709 HAS SOUPS 212709 WITH SCORE 212936.726
AT ITER 3344 NEW BEST:: SOT 5776729 SOS 227694 HAS SOPS 227694 HAS SOUS 212675 HAS SOUPS 212675 WITH SCORE 212902.694
AT ITER 3363 NEW BEST:: SOT 5776728 SOS 227687 HAS SOPS 227687 HAS SOUS 212668 HAS SOUPS 212668 WITH SCORE 212895.687
AT ITER 3372 NEW BEST:: SOT 5776724 SOS 227528 HAS SOPS 227528 HAS SOUS 212596 HAS SOUPS 212596 WITH SCORE 212823.528
AT ITER 3476 NEW BEST:: SOT 5776706 SOS 227510 HAS SOPS 227510 HAS SOUS 212596 HAS SOUPS 212596 WITH SCORE 212823.51
AT ITER 3541 NEW BEST:: SOT 5776707 SOS 227457 HAS SOPS 227457 HAS SOUS 212553 HAS SOUPS 212553 WITH SCORE 212780.457
AT ITER 3561 NEW BEST:: SOT 5776659 SOS 227370 HAS SOPS 227370 HAS SOUS 212496 HAS SOUPS 212496 WITH SCORE 212723.37
AT ITER 3661 NEW BEST:: SOT 5776659 SOS 227357 HAS SOPS 227357 HAS SOUS 212496 HAS SOUPS 212496 WITH SCORE 212723.357
AT ITER 3777 NEW BEST:: SOT 5776635 SOS 227298 HAS SOPS 227298 HAS SOUS 212485 HAS SOUPS 212485 WITH SCORE 212712.298
AT ITER 3855 NEW BEST:: SOT 5776602 SOS 227199 HAS SOPS 227199 HAS SOUS 212386 HAS SOUPS 212386 WITH SCORE 212613.199
AT ITER 3877 NEW BEST:: SOT 5776602 SOS 227198 HAS SOPS 227198 HAS SOUS 212385 HAS SOUPS 212385 WITH SCORE 212612.198
AT ITER 3970 NEW BEST:: SOT 5776602 SOS 227165 HAS SOPS 227165 HAS SOUS 212352 HAS SOUPS 212352 WITH SCORE 212579.165
AT ITER 4086 NEW BEST:: SOT 5776552 SOS 227115 HAS SOPS 227115 HAS SOUS 212302 HAS SOUPS 212302 WITH SCORE 212529.115
AT ITER 4222 NEW BEST:: SOT 5776552 SOS 227102 HAS SOPS 227102 HAS SOUS 212299 HAS SOUPS 212299 WITH SCORE 212526.102
AT ITER 4285 NEW BEST:: SOT 5776507 SOS 227072 HAS SOPS 227072 HAS SOUS 212269 HAS SOUPS 212269 WITH SCORE 212496.072
AT ITER 4331 NEW BEST:: SOT 5776459 SOS 226888 HAS SOPS 226888 HAS SOUS 212133 HAS SOUPS 212133 WITH SCORE 212359.888
AT ITER 4596 NEW BEST:: SOT 5776452 SOS 226874 HAS SOPS 226874 HAS SOUS 212125 HAS SOUPS 212125 WITH SCORE 212351.874
AT ITER 4632 NEW BEST:: SOT 5776519 SOS 226844 HAS SOPS 226844 HAS SOUS 212120 HAS SOUPS 212120 WITH SCORE 212346.844
AT ITER 4690 NEW BEST:: SOT 5776479 SOS 226836 HAS SOPS 226836 HAS SOUS 212082 HAS SOUPS 212082 WITH SCORE 212308.836
AT ITER 4795 NEW BEST:: SOT 5776490 SOS 226858 HAS SOPS 226858 HAS SOUS 212068 HAS SOUPS 212068 WITH SCORE 212294.858
AT ITER 4895 NEW BEST:: SOT 5776490 SOS 226855 HAS SOPS 226855 HAS SOUS 212047 HAS SOUPS 212047 WITH SCORE 212273.855
AT ITER 4985 NEW BEST:: SOT 5776420 SOS 226876 HAS SOPS 226876 HAS SOUS 211994 HAS SOUPS 211994 WITH SCORE 212220.876
AT ITER 4999 NEW BEST:: SOT 5776349 SOS 226842 HAS SOPS 226842 HAS SOUS 211960 HAS SOUPS 211960 WITH SCORE 212186.842
AT ITER 5022 NEW BEST:: SOT 5776322 SOS 226821 HAS SOPS 226821 HAS SOUS 211933 HAS SOUPS 211933 WITH SCORE 212159.821
AT ITER 5100 NEW BEST:: SOT 5776255 SOS 226768 HAS SOPS 226768 HAS SOUS 211866 HAS SOUPS 211866 WITH SCORE 212092.768
AT ITER 5145 NEW BEST:: SOT 5776255 SOS 226734 HAS SOPS 226734 HAS SOUS 211862 HAS SOUPS 211862 WITH SCORE 212088.734
AT ITER 5195 NEW BEST:: SOT 5776225 SOS 226704 HAS SOPS 226704 HAS SOUS 211832 HAS SOUPS 211832 WITH SCORE 212058.704
AT ITER 5300 NEW BEST:: SOT 5776186 SOS 226665 HAS SOPS 226665 HAS SOUS 211793 HAS SOUPS 211793 WITH SCORE 212019.665
AT ITER 5304 NEW BEST:: SOT 5776162 SOS 226641 HAS SOPS 226641 HAS SOUS 211769 HAS SOUPS 211769 WITH SCORE 211995.641
AT ITER 5324 NEW BEST:: SOT 5776211 SOS 226664 HAS SOPS 226664 HAS SOUS 211743 HAS SOUPS 211743 WITH SCORE 211969.664
AT ITER 5325 NEW BEST:: SOT 5776165 SOS 226641 HAS SOPS 226641 HAS SOUS 211720 HAS SOUPS 211720 WITH SCORE 211946.641
AT ITER 5377 NEW BEST:: SOT 5776163 SOS 226639 HAS SOPS 226639 HAS SOUS 211718 HAS SOUPS 211718 WITH SCORE 211944.639
AT ITER 5383 NEW BEST:: SOT 5776146 SOS 226622 HAS SOPS 226622 HAS SOUS 211717 HAS SOUPS 211717 WITH SCORE 211943.622
AT ITER 5518 NEW BEST:: SOT 5776146 SOS 226621 HAS SOPS 226621 HAS SOUS 211716 HAS SOUPS 211716 WITH SCORE 211942.621
AT ITER 5557 NEW BEST:: SOT 5776143 SOS 226618 HAS SOPS 226618 HAS SOUS 211713 HAS SOUPS 211713 WITH SCORE 211939.618
AT ITER 5754 NEW BEST:: SOT 5776118 SOS 226568 HAS SOPS 226568 HAS SOUS 211663 HAS SOUPS 211663 WITH SCORE 211889.568
AT ITER 5793 NEW BEST:: SOT 5776118 SOS 226558 HAS SOPS 226558 HAS SOUS 211653 HAS SOUPS 211653 WITH SCORE 211879.558
AT ITER 5806 NEW BEST:: SOT 5776118 SOS 226553 HAS SOPS 226553 HAS SOUS 211648 HAS SOUPS 211648 WITH SCORE 211874.553
AT ITER 5812 NEW BEST:: SOT 5776095 SOS 226480 HAS SOPS 226480 HAS SOUS 211600 HAS SOUPS 211600 WITH SCORE 211826.48
AT ITER 5935 NEW BEST:: SOT 5776093 SOS 226478 HAS SOPS 226478 HAS SOUS 211598 HAS SOUPS 211598 WITH SCORE 211824.478
AT ITER 6008 NEW BEST:: SOT 5776093 SOS 226429 HAS SOPS 226429 HAS SOUS 211549 HAS SOUPS 211549 WITH SCORE 211775.429
AT ITER 6264 NEW BEST:: SOT 5776119 SOS 226427 HAS SOPS 226427 HAS SOUS 211547 HAS SOUPS 211547 WITH SCORE 211773.427
AT ITER 6415 NEW BEST:: SOT 5776108 SOS 226384 HAS SOPS 226384 HAS SOUS 211515 HAS SOUPS 211515 WITH SCORE 211741.384
AT ITER 6576 NEW BEST:: SOT 5776108 SOS 226384 HAS SOPS 226384 HAS SOUS 211514 HAS SOUPS 211514 WITH SCORE 211740.384
AT ITER 6596 NEW BEST:: SOT 5776110 SOS 226362 HAS SOPS 226362 HAS SOUS 211492 HAS SOUPS 211492 WITH SCORE 211718.362
AT ITER 6653 NEW BEST:: SOT 5776081 SOS 226259 HAS SOPS 226259 HAS SOUS 211389 HAS SOUPS 211389 WITH SCORE 211615.259
AT ITER 6766 NEW BEST:: SOT 5776094 SOS 226234 HAS SOPS 226234 HAS SOUS 211389 HAS SOUPS 211389 WITH SCORE 211615.234
AT ITER 6849 NEW BEST:: SOT 5776092 SOS 226228 HAS SOPS 226228 HAS SOUS 211383 HAS SOUPS 211383 WITH SCORE 211609.228
AT ITER 6926 NEW BEST:: SOT 5776072 SOS 226218 HAS SOPS 226218 HAS SOUS 211373 HAS SOUPS 211373 WITH SCORE 211599.218
AT ITER 7015 NEW BEST:: SOT 5776046 SOS 226156 HAS SOPS 226156 HAS SOUS 211311 HAS SOUPS 211311 WITH SCORE 211537.156
AT ITER 7059 NEW BEST:: SOT 5776065 SOS 226194 HAS SOPS 226194 HAS SOUS 211292 HAS SOUPS 211292 WITH SCORE 211518.194
AT ITER 7065 NEW BEST:: SOT 5776065 SOS 226150 HAS SOPS 226150 HAS SOUS 211270 HAS SOUPS 211270 WITH SCORE 211496.15
AT ITER 7140 NEW BEST:: SOT 5776063 SOS 226080 HAS SOPS 226080 HAS SOUS 211219 HAS SOUPS 211219 WITH SCORE 211445.08
AT ITER 7153 NEW BEST:: SOT 5775951 SOS 226058 HAS SOPS 226058 HAS SOUS 211155 HAS SOUPS 211155 WITH SCORE 211381.058
AT ITER 7280 NEW BEST:: SOT 5775951 SOS 226051 HAS SOPS 226051 HAS SOUS 211155 HAS SOUPS 211155 WITH SCORE 211381.051
AT ITER 7290 NEW BEST:: SOT 5775949 SOS 226060 HAS SOPS 226060 HAS SOUS 211151 HAS SOUPS 211151 WITH SCORE 211377.06
AT ITER 7319 NEW BEST:: SOT 5775937 SOS 226024 HAS SOPS 226024 HAS SOUS 211127 HAS SOUPS 211127 WITH SCORE 211353.024
AT ITER 7335 NEW BEST:: SOT 5775919 SOS 225988 HAS SOPS 225988 HAS SOUS 211109 HAS SOUPS 211109 WITH SCORE 211334.988
AT ITER 7527 NEW BEST:: SOT 5775880 SOS 225988 HAS SOPS 225988 HAS SOUS 211108 HAS SOUPS 211108 WITH SCORE 211333.988
AT ITER 7583 NEW BEST:: SOT 5775850 SOS 225876 HAS SOPS 225876 HAS SOUS 210996 HAS SOUPS 210996 WITH SCORE 211221.876
AT ITER 7673 NEW BEST:: SOT 5775849 SOS 225860 HAS SOPS 225860 HAS SOUS 210991 HAS SOUPS 210991 WITH SCORE 211216.86
AT ITER 7690 NEW BEST:: SOT 5775845 SOS 225856 HAS SOPS 225856 HAS SOUS 210987 HAS SOUPS 210987 WITH SCORE 211212.856
AT ITER 7698 NEW BEST:: SOT 5775864 SOS 225838 HAS SOPS 225838 HAS SOUS 210969 HAS SOUPS 210969 WITH SCORE 211194.838
AT ITER 7865 NEW BEST:: SOT 5775864 SOS 225838 HAS SOPS 225838 HAS SOUS 210948 HAS SOUPS 210948 WITH SCORE 211173.838
AT ITER 7901 NEW BEST:: SOT 5775863 SOS 225809 HAS SOPS 225809 HAS SOUS 210946 HAS SOUPS 210946 WITH SCORE 211171.809
AT ITER 7914 NEW BEST:: SOT 5775933 SOS 225809 HAS SOPS 225809 HAS SOUS 210931 HAS SOUPS 210931 WITH SCORE 211156.809
AT ITER 8220 NEW BEST:: SOT 5775874 SOS 225765 HAS SOPS 225765 HAS SOUS 210887 HAS SOUPS 210887 WITH SCORE 211112.765
AT ITER 8424 NEW BEST:: SOT 5775834 SOS 225715 HAS SOPS 225715 HAS SOUS 210837 HAS SOUPS 210837 WITH SCORE 211062.715
AT ITER 8448 NEW BEST:: SOT 5775799 SOS 225709 HAS SOPS 225709 HAS SOUS 210802 HAS SOUPS 210802 WITH SCORE 211027.709
AT ITER 8501 NEW BEST:: SOT 5775775 SOS 225685 HAS SOPS 225685 HAS SOUS 210778 HAS SOUPS 210778 WITH SCORE 211003.685
AT ITER 8522 NEW BEST:: SOT 5775719 SOS 225714 HAS SOPS 225714 HAS SOUS 210763 HAS SOUPS 210763 WITH SCORE 210988.714
AT ITER 8790 NEW BEST:: SOT 5775704 SOS 225699 HAS SOPS 225699 HAS SOUS 210748 HAS SOUPS 210748 WITH SCORE 210973.699
AT ITER 8809 NEW BEST:: SOT 5775654 SOS 225379 HAS SOPS 225379 HAS SOUS 210631 HAS SOUPS 210631 WITH SCORE 210856.379
AT ITER 8853 NEW BEST:: SOT 5775672 SOS 225335 HAS SOPS 225335 HAS SOUS 210609 HAS SOUPS 210609 WITH SCORE 210834.335
AT ITER 8929 NEW BEST:: SOT 5775666 SOS 225323 HAS SOPS 225323 HAS SOUS 210603 HAS SOUPS 210603 WITH SCORE 210828.323
AT ITER 8992 NEW BEST:: SOT 5775646 SOS 225322 HAS SOPS 225322 HAS SOUS 210602 HAS SOUPS 210602 WITH SCORE 210827.322
AT ITER 9088 NEW BEST:: SOT 5775629 SOS 225304 HAS SOPS 225304 HAS SOUS 210584 HAS SOUPS 210584 WITH SCORE 210809.304
AT ITER 9131 NEW BEST:: SOT 5775672 SOS 225302 HAS SOPS 225302 HAS SOUS 210550 HAS SOUPS 210550 WITH SCORE 210775.302
AT ITER 9226 NEW BEST:: SOT 5775672 SOS 225283 HAS SOPS 225283 HAS SOUS 210550 HAS SOUPS 210550 WITH SCORE 210775.283
AT ITER 9254 NEW BEST:: SOT 5775672 SOS 225283 HAS SOPS 225283 HAS SOUS 210548 HAS SOUPS 210548 WITH SCORE 210773.283
AT ITER 9372 NEW BEST:: SOT 5775673 SOS 225235 HAS SOPS 225235 HAS SOUS 210505 HAS SOUPS 210505 WITH SCORE 210730.235
AT ITER 9379 NEW BEST:: SOT 5775673 SOS 225235 HAS SOPS 225235 HAS SOUS 210503 HAS SOUPS 210503 WITH SCORE 210728.235
AT ITER 9404 NEW BEST:: SOT 5775672 SOS 225223 HAS SOPS 225223 HAS SOUS 210501 HAS SOUPS 210501 WITH SCORE 210726.223
AT ITER 9423 NEW BEST:: SOT 5775653 SOS 225204 HAS SOPS 225204 HAS SOUS 210482 HAS SOUPS 210482 WITH SCORE 210707.204
AT ITER 9483 NEW BEST:: SOT 5775641 SOS 225180 HAS SOPS 225180 HAS SOUS 210458 HAS SOUPS 210458 WITH SCORE 210683.18
AT ITER 9617 NEW BEST:: SOT 5775612 SOS 225112 HAS SOPS 225112 HAS SOUS 210420 HAS SOUPS 210420 WITH SCORE 210645.112
AT ITER 9802 NEW BEST:: SOT 5775558 SOS 225058 HAS SOPS 225058 HAS SOUS 210366 HAS SOUPS 210366 WITH SCORE 210591.058
AT ITER 9970 NEW BEST:: SOT 5775558 SOS 225038 HAS SOPS 225038 HAS SOUS 210346 HAS SOUPS 210346 WITH SCORE 210571.038
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 10013164 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16119324 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="ShieldIIPt-PT-050B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldIIPt-PT-050B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718600336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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