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-167903719100688.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 ShieldPPPt-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-167903719100688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.5K Feb 25 20:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 20:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 20:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 20:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 25 20:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:01 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 955K 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 1679578348494

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=ShieldPPPt-PT-050B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 13:32:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 13:32:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 13:32:31] [INFO ] Load time of PNML (sax parser for PT used): 174 ms
[2023-03-23 13:32:31] [INFO ] Transformed 3903 places.
[2023-03-23 13:32:31] [INFO ] Transformed 3553 transitions.
[2023-03-23 13:32:31] [INFO ] Found NUPN structural information;
[2023-03-23 13:32:31] [INFO ] Parsed PT model containing 3903 places and 3553 transitions and 8906 arcs in 556 ms.
[2023-03-23 13:32:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3903 places, 3553 transitions and 8906 arcs took 20 ms.
Total runtime 616 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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: 3903 places, 3553 transitions, 8906 arcs.
AT ITER 0 NEW BEST:: SOT 7031460 SOS 276121 HAS SOPS 276121 HAS SOUS 257974 HAS SOUPS 257974 WITH SCORE 258250.121
AT ITER 36 NEW BEST:: SOT 7031444 SOS 276105 HAS SOPS 276105 HAS SOUS 257958 HAS SOUPS 257958 WITH SCORE 258234.105
AT ITER 101 NEW BEST:: SOT 7031444 SOS 276103 HAS SOPS 276103 HAS SOUS 257956 HAS SOUPS 257956 WITH SCORE 258232.103
AT ITER 154 NEW BEST:: SOT 7031444 SOS 276085 HAS SOPS 276085 HAS SOUS 257938 HAS SOUPS 257938 WITH SCORE 258214.085
AT ITER 619 NEW BEST:: SOT 7031409 SOS 276050 HAS SOPS 276050 HAS SOUS 257903 HAS SOUPS 257903 WITH SCORE 258179.05
AT ITER 792 NEW BEST:: SOT 7031409 SOS 276044 HAS SOPS 276044 HAS SOUS 257897 HAS SOUPS 257897 WITH SCORE 258173.044
AT ITER 935 NEW BEST:: SOT 7031409 SOS 276044 HAS SOPS 276044 HAS SOUS 257856 HAS SOUPS 257856 WITH SCORE 258132.044
AT ITER 941 NEW BEST:: SOT 7031400 SOS 276041 HAS SOPS 276041 HAS SOUS 257853 HAS SOUPS 257853 WITH SCORE 258129.041
AT ITER 942 NEW BEST:: SOT 7031361 SOS 275962 HAS SOPS 275962 HAS SOUS 257754 HAS SOUPS 257754 WITH SCORE 258029.962
AT ITER 1109 NEW BEST:: SOT 7031360 SOS 275958 HAS SOPS 275958 HAS SOUS 257753 HAS SOUPS 257753 WITH SCORE 258028.958
AT ITER 1112 NEW BEST:: SOT 7031359 SOS 275956 HAS SOPS 275956 HAS SOUS 257751 HAS SOUPS 257751 WITH SCORE 258026.956
AT ITER 1135 NEW BEST:: SOT 7031370 SOS 275930 HAS SOPS 275930 HAS SOUS 257738 HAS SOUPS 257738 WITH SCORE 258013.93
AT ITER 1140 NEW BEST:: SOT 7031398 SOS 275986 HAS SOPS 275986 HAS SOUS 257705 HAS SOUPS 257705 WITH SCORE 257980.986
AT ITER 1429 NEW BEST:: SOT 7031365 SOS 275887 HAS SOPS 275887 HAS SOUS 257672 HAS SOUPS 257672 WITH SCORE 257947.887
AT ITER 1656 NEW BEST:: SOT 7031365 SOS 275886 HAS SOPS 275886 HAS SOUS 257671 HAS SOUPS 257671 WITH SCORE 257946.886
AT ITER 1684 NEW BEST:: SOT 7031365 SOS 275857 HAS SOPS 275857 HAS SOUS 257642 HAS SOUPS 257642 WITH SCORE 257917.857
AT ITER 1789 NEW BEST:: SOT 7031310 SOS 275801 HAS SOPS 275801 HAS SOUS 257586 HAS SOUPS 257586 WITH SCORE 257861.801
AT ITER 1813 NEW BEST:: SOT 7031310 SOS 275800 HAS SOPS 275800 HAS SOUS 257585 HAS SOUPS 257585 WITH SCORE 257860.8
AT ITER 2003 NEW BEST:: SOT 7031310 SOS 275795 HAS SOPS 275795 HAS SOUS 257565 HAS SOUPS 257565 WITH SCORE 257840.795
AT ITER 2013 NEW BEST:: SOT 7031310 SOS 275795 HAS SOPS 275795 HAS SOUS 257525 HAS SOUPS 257525 WITH SCORE 257800.795
AT ITER 2055 NEW BEST:: SOT 7031310 SOS 275781 HAS SOPS 275781 HAS SOUS 257511 HAS SOUPS 257511 WITH SCORE 257786.781
AT ITER 2060 NEW BEST:: SOT 7031310 SOS 275774 HAS SOPS 275774 HAS SOUS 257463 HAS SOUPS 257463 WITH SCORE 257738.774
AT ITER 2437 NEW BEST:: SOT 7031309 SOS 275706 HAS SOPS 275706 HAS SOUS 257428 HAS SOUPS 257428 WITH SCORE 257703.706
AT ITER 2480 NEW BEST:: SOT 7031308 SOS 275627 HAS SOPS 275627 HAS SOUS 257390 HAS SOUPS 257390 WITH SCORE 257665.627
AT ITER 2512 NEW BEST:: SOT 7031322 SOS 275655 HAS SOPS 275655 HAS SOUS 257361 HAS SOUPS 257361 WITH SCORE 257636.655
AT ITER 2690 NEW BEST:: SOT 7031322 SOS 275655 HAS SOPS 275655 HAS SOUS 257358 HAS SOUPS 257358 WITH SCORE 257633.655
AT ITER 2729 NEW BEST:: SOT 7031265 SOS 275598 HAS SOPS 275598 HAS SOUS 257301 HAS SOUPS 257301 WITH SCORE 257576.598
AT ITER 2807 NEW BEST:: SOT 7031171 SOS 275551 HAS SOPS 275551 HAS SOUS 257254 HAS SOUPS 257254 WITH SCORE 257529.551
AT ITER 2815 NEW BEST:: SOT 7031170 SOS 275498 HAS SOPS 275498 HAS SOUS 257252 HAS SOUPS 257252 WITH SCORE 257527.498
AT ITER 2861 NEW BEST:: SOT 7031140 SOS 275468 HAS SOPS 275468 HAS SOUS 257252 HAS SOUPS 257252 WITH SCORE 257527.468
AT ITER 2919 NEW BEST:: SOT 7031139 SOS 275416 HAS SOPS 275416 HAS SOUS 257250 HAS SOUPS 257250 WITH SCORE 257525.416
AT ITER 2977 NEW BEST:: SOT 7031139 SOS 275393 HAS SOPS 275393 HAS SOUS 257227 HAS SOUPS 257227 WITH SCORE 257502.393
AT ITER 2991 NEW BEST:: SOT 7031139 SOS 275369 HAS SOPS 275369 HAS SOUS 257221 HAS SOUPS 257221 WITH SCORE 257496.369
AT ITER 3097 NEW BEST:: SOT 7031118 SOS 275327 HAS SOPS 275327 HAS SOUS 257221 HAS SOUPS 257221 WITH SCORE 257496.327
AT ITER 3231 NEW BEST:: SOT 7031076 SOS 275299 HAS SOPS 275299 HAS SOUS 257193 HAS SOUPS 257193 WITH SCORE 257468.299
AT ITER 3405 NEW BEST:: SOT 7031032 SOS 275299 HAS SOPS 275299 HAS SOUS 257149 HAS SOUPS 257149 WITH SCORE 257424.299
AT ITER 3527 NEW BEST:: SOT 7031049 SOS 275293 HAS SOPS 275293 HAS SOUS 257149 HAS SOUPS 257149 WITH SCORE 257424.293
AT ITER 3613 NEW BEST:: SOT 7031048 SOS 275182 HAS SOPS 275182 HAS SOUS 257147 HAS SOUPS 257147 WITH SCORE 257422.182
AT ITER 3762 NEW BEST:: SOT 7031016 SOS 275150 HAS SOPS 275150 HAS SOUS 257144 HAS SOUPS 257144 WITH SCORE 257419.15
AT ITER 3823 NEW BEST:: SOT 7031015 SOS 275146 HAS SOPS 275146 HAS SOUS 257140 HAS SOUPS 257140 WITH SCORE 257415.146
AT ITER 3825 NEW BEST:: SOT 7030997 SOS 275122 HAS SOPS 275122 HAS SOUS 257116 HAS SOUPS 257116 WITH SCORE 257391.122
AT ITER 3874 NEW BEST:: SOT 7030948 SOS 275005 HAS SOPS 275005 HAS SOUS 257031 HAS SOUPS 257031 WITH SCORE 257306.005
AT ITER 3994 NEW BEST:: SOT 7030922 SOS 274992 HAS SOPS 274992 HAS SOUS 257018 HAS SOUPS 257018 WITH SCORE 257292.992
AT ITER 4090 NEW BEST:: SOT 7030922 SOS 275024 HAS SOPS 275024 HAS SOUS 257009 HAS SOUPS 257009 WITH SCORE 257284.024
AT ITER 4209 NEW BEST:: SOT 7030869 SOS 275040 HAS SOPS 275040 HAS SOUS 256956 HAS SOUPS 256956 WITH SCORE 257231.04
AT ITER 4254 NEW BEST:: SOT 7030845 SOS 274968 HAS SOPS 274968 HAS SOUS 256884 HAS SOUPS 256884 WITH SCORE 257158.968
AT ITER 4297 NEW BEST:: SOT 7030817 SOS 274968 HAS SOPS 274968 HAS SOUS 256856 HAS SOUPS 256856 WITH SCORE 257130.968
AT ITER 4672 NEW BEST:: SOT 7030817 SOS 274963 HAS SOPS 274963 HAS SOUS 256851 HAS SOUPS 256851 WITH SCORE 257125.963
AT ITER 4762 NEW BEST:: SOT 7030836 SOS 274992 HAS SOPS 274992 HAS SOUS 256816 HAS SOUPS 256816 WITH SCORE 257090.992
AT ITER 4765 NEW BEST:: SOT 7030790 SOS 274994 HAS SOPS 274994 HAS SOUS 256803 HAS SOUPS 256803 WITH SCORE 257077.994
AT ITER 5376 NEW BEST:: SOT 7030790 SOS 274959 HAS SOPS 274959 HAS SOUS 256768 HAS SOUPS 256768 WITH SCORE 257042.959
AT ITER 5443 NEW BEST:: SOT 7030726 SOS 274925 HAS SOPS 274925 HAS SOUS 256731 HAS SOUPS 256731 WITH SCORE 257005.925
AT ITER 5449 NEW BEST:: SOT 7030725 SOS 274923 HAS SOPS 274923 HAS SOUS 256730 HAS SOUPS 256730 WITH SCORE 257004.923
AT ITER 5479 NEW BEST:: SOT 7030710 SOS 274893 HAS SOPS 274893 HAS SOUS 256700 HAS SOUPS 256700 WITH SCORE 256974.893
AT ITER 5482 NEW BEST:: SOT 7030743 SOS 274954 HAS SOPS 274954 HAS SOUS 256696 HAS SOUPS 256696 WITH SCORE 256970.954
AT ITER 5613 NEW BEST:: SOT 7030803 SOS 275074 HAS SOPS 275074 HAS SOUS 256667 HAS SOUPS 256667 WITH SCORE 256942.074
AT ITER 5718 NEW BEST:: SOT 7030743 SOS 274954 HAS SOPS 274954 HAS SOUS 256529 HAS SOUPS 256529 WITH SCORE 256803.954
AT ITER 5941 NEW BEST:: SOT 7030710 SOS 274888 HAS SOPS 274888 HAS SOUS 256404 HAS SOUPS 256404 WITH SCORE 256678.888
AT ITER 6023 NEW BEST:: SOT 7030710 SOS 274884 HAS SOPS 274884 HAS SOUS 256397 HAS SOUPS 256397 WITH SCORE 256671.884
AT ITER 6066 NEW BEST:: SOT 7030628 SOS 274840 HAS SOPS 274840 HAS SOUS 256326 HAS SOUPS 256326 WITH SCORE 256600.84
AT ITER 6180 NEW BEST:: SOT 7030610 SOS 274822 HAS SOPS 274822 HAS SOUS 256308 HAS SOUPS 256308 WITH SCORE 256582.822
AT ITER 6190 NEW BEST:: SOT 7030573 SOS 274745 HAS SOPS 274745 HAS SOUS 256231 HAS SOUPS 256231 WITH SCORE 256505.745
AT ITER 6192 NEW BEST:: SOT 7030573 SOS 274684 HAS SOPS 274684 HAS SOUS 256201 HAS SOUPS 256201 WITH SCORE 256475.684
AT ITER 6209 NEW BEST:: SOT 7030558 SOS 274633 HAS SOPS 274633 HAS SOUS 256186 HAS SOUPS 256186 WITH SCORE 256460.633
AT ITER 6395 NEW BEST:: SOT 7030558 SOS 274628 HAS SOPS 274628 HAS SOUS 256178 HAS SOUPS 256178 WITH SCORE 256452.628
AT ITER 6589 NEW BEST:: SOT 7030518 SOS 274617 HAS SOPS 274617 HAS SOUS 256167 HAS SOUPS 256167 WITH SCORE 256441.617
AT ITER 6702 NEW BEST:: SOT 7030531 SOS 274642 HAS SOPS 274642 HAS SOUS 256138 HAS SOUPS 256138 WITH SCORE 256412.642
AT ITER 6729 NEW BEST:: SOT 7030530 SOS 274526 HAS SOPS 274526 HAS SOUS 256094 HAS SOUPS 256094 WITH SCORE 256368.526
AT ITER 6849 NEW BEST:: SOT 7030530 SOS 274525 HAS SOPS 274525 HAS SOUS 256093 HAS SOUPS 256093 WITH SCORE 256367.525
AT ITER 6938 NEW BEST:: SOT 7030529 SOS 274462 HAS SOPS 274462 HAS SOUS 256091 HAS SOUPS 256091 WITH SCORE 256365.462
AT ITER 7109 NEW BEST:: SOT 7030522 SOS 274419 HAS SOPS 274419 HAS SOUS 256034 HAS SOUPS 256034 WITH SCORE 256308.419
AT ITER 7265 NEW BEST:: SOT 7030522 SOS 274412 HAS SOPS 274412 HAS SOUS 256027 HAS SOUPS 256027 WITH SCORE 256301.412
AT ITER 7278 NEW BEST:: SOT 7030516 SOS 274406 HAS SOPS 274406 HAS SOUS 256021 HAS SOUPS 256021 WITH SCORE 256295.406
AT ITER 7307 NEW BEST:: SOT 7030516 SOS 274405 HAS SOPS 274405 HAS SOUS 256020 HAS SOUPS 256020 WITH SCORE 256294.405
AT ITER 7333 NEW BEST:: SOT 7030497 SOS 274348 HAS SOPS 274348 HAS SOUS 255963 HAS SOUPS 255963 WITH SCORE 256237.348
AT ITER 7353 NEW BEST:: SOT 7030443 SOS 274311 HAS SOPS 274311 HAS SOUS 255926 HAS SOUPS 255926 WITH SCORE 256200.311
AT ITER 7501 NEW BEST:: SOT 7030409 SOS 274363 HAS SOPS 274363 HAS SOUS 255915 HAS SOUPS 255915 WITH SCORE 256189.363
AT ITER 7634 NEW BEST:: SOT 7030396 SOS 274349 HAS SOPS 274349 HAS SOUS 255901 HAS SOUPS 255901 WITH SCORE 256175.349
AT ITER 7706 NEW BEST:: SOT 7030396 SOS 274290 HAS SOPS 274290 HAS SOUS 255842 HAS SOUPS 255842 WITH SCORE 256116.29
AT ITER 7711 NEW BEST:: SOT 7030406 SOS 274307 HAS SOPS 274307 HAS SOUS 255776 HAS SOUPS 255776 WITH SCORE 256050.307
AT ITER 7919 NEW BEST:: SOT 7030339 SOS 274239 HAS SOPS 274239 HAS SOUS 255708 HAS SOUPS 255708 WITH SCORE 255982.239
AT ITER 7924 NEW BEST:: SOT 7030339 SOS 274274 HAS SOPS 274274 HAS SOUS 255700 HAS SOUPS 255700 WITH SCORE 255974.274
AT ITER 8171 NEW BEST:: SOT 7030339 SOS 274233 HAS SOPS 274233 HAS SOUS 255659 HAS SOUPS 255659 WITH SCORE 255933.233
AT ITER 8195 NEW BEST:: SOT 7030315 SOS 274161 HAS SOPS 274161 HAS SOUS 255611 HAS SOUPS 255611 WITH SCORE 255885.161
AT ITER 8214 NEW BEST:: SOT 7030334 SOS 274142 HAS SOPS 274142 HAS SOUS 255611 HAS SOUPS 255611 WITH SCORE 255885.142
AT ITER 8352 NEW BEST:: SOT 7030334 SOS 274096 HAS SOPS 274096 HAS SOUS 255565 HAS SOUPS 255565 WITH SCORE 255839.096
AT ITER 8448 NEW BEST:: SOT 7030312 SOS 274071 HAS SOPS 274071 HAS SOUS 255562 HAS SOUPS 255562 WITH SCORE 255836.071
AT ITER 8727 NEW BEST:: SOT 7030258 SOS 274032 HAS SOPS 274032 HAS SOUS 255508 HAS SOUPS 255508 WITH SCORE 255782.032
AT ITER 8756 NEW BEST:: SOT 7030227 SOS 274080 HAS SOPS 274080 HAS SOUS 255492 HAS SOUPS 255492 WITH SCORE 255766.08
AT ITER 8765 NEW BEST:: SOT 7030193 SOS 274011 HAS SOPS 274011 HAS SOUS 255423 HAS SOUPS 255423 WITH SCORE 255697.011
AT ITER 8791 NEW BEST:: SOT 7030098 SOS 273905 HAS SOPS 273905 HAS SOUS 255342 HAS SOUPS 255342 WITH SCORE 255615.905
AT ITER 8892 NEW BEST:: SOT 7030104 SOS 273838 HAS SOPS 273838 HAS SOUS 255321 HAS SOUPS 255321 WITH SCORE 255594.838
AT ITER 9158 NEW BEST:: SOT 7030074 SOS 273778 HAS SOPS 273778 HAS SOUS 255261 HAS SOUPS 255261 WITH SCORE 255534.778
AT ITER 9176 NEW BEST:: SOT 7030073 SOS 273777 HAS SOPS 273777 HAS SOUS 255260 HAS SOUPS 255260 WITH SCORE 255533.777
AT ITER 9181 NEW BEST:: SOT 7030086 SOS 273749 HAS SOPS 273749 HAS SOUS 255246 HAS SOUPS 255246 WITH SCORE 255519.749
AT ITER 9207 NEW BEST:: SOT 7030085 SOS 273723 HAS SOPS 273723 HAS SOUS 255244 HAS SOUPS 255244 WITH SCORE 255517.723
AT ITER 9278 NEW BEST:: SOT 7030065 SOS 273720 HAS SOPS 273720 HAS SOUS 255241 HAS SOUPS 255241 WITH SCORE 255514.72
AT ITER 9340 NEW BEST:: SOT 7029927 SOS 273574 HAS SOPS 273574 HAS SOUS 255056 HAS SOUPS 255056 WITH SCORE 255329.574
AT ITER 9535 NEW BEST:: SOT 7029879 SOS 273478 HAS SOPS 273478 HAS SOUS 254960 HAS SOUPS 254960 WITH SCORE 255233.478
AT ITER 9539 NEW BEST:: SOT 7029832 SOS 273431 HAS SOPS 273431 HAS SOUS 254913 HAS SOUPS 254913 WITH SCORE 255186.431
AT ITER 9559 NEW BEST:: SOT 7029832 SOS 273420 HAS SOPS 273420 HAS SOUS 254902 HAS SOUPS 254902 WITH SCORE 255175.42
AT ITER 9580 NEW BEST:: SOT 7029832 SOS 273413 HAS SOPS 273413 HAS SOUS 254892 HAS SOUPS 254892 WITH SCORE 255165.413
AT ITER 9642 NEW BEST:: SOT 7029807 SOS 273357 HAS SOPS 273357 HAS SOUS 254861 HAS SOUPS 254861 WITH SCORE 255134.357
AT ITER 9767 NEW BEST:: SOT 7029670 SOS 273295 HAS SOPS 273295 HAS SOUS 254784 HAS SOUPS 254784 WITH SCORE 255057.295
AT ITER 9966 NEW BEST:: SOT 7029622 SOS 273256 HAS SOPS 273256 HAS SOUS 254736 HAS SOUPS 254736 WITH SCORE 255009.256
AT ITER 9971 NEW BEST:: SOT 7029604 SOS 273233 HAS SOPS 273233 HAS SOUS 254713 HAS SOUPS 254713 WITH SCORE 254986.233
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 10875852 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121076 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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="ShieldPPPt-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 ShieldPPPt-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-167903719100688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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