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-167903718800496.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 ShieldPPPs-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718800496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 26 01:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 01:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 01:57 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 16:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 01:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 01:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:59 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 708K 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 1679570624758

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=ShieldPPPs-PT-040B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 11:23:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 11:23:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 11:23:47] [INFO ] Load time of PNML (sax parser for PT used): 163 ms
[2023-03-23 11:23:48] [INFO ] Transformed 2723 places.
[2023-03-23 11:23:48] [INFO ] Transformed 2523 transitions.
[2023-03-23 11:23:48] [INFO ] Found NUPN structural information;
[2023-03-23 11:23:48] [INFO ] Parsed PT model containing 2723 places and 2523 transitions and 6966 arcs in 404 ms.
[2023-03-23 11:23:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2723 places, 2523 transitions and 6966 arcs took 20 ms.
Total runtime 465 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 040B
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: 2723 places, 2523 transitions, 6966 arcs.
AT ITER 0 NEW BEST:: SOT 3499002 SOS 165706 HAS SOPS 165706 HAS SOUS 154508 HAS SOUPS 154508 WITH SCORE 154673.706
AT ITER 19 NEW BEST:: SOT 3499000 SOS 165702 HAS SOPS 165702 HAS SOUS 154506 HAS SOUPS 154506 WITH SCORE 154671.702
AT ITER 103 NEW BEST:: SOT 3498998 SOS 165700 HAS SOPS 165700 HAS SOUS 154504 HAS SOUPS 154504 WITH SCORE 154669.7
AT ITER 146 NEW BEST:: SOT 3498998 SOS 165699 HAS SOPS 165699 HAS SOUS 154503 HAS SOUPS 154503 WITH SCORE 154668.699
AT ITER 154 NEW BEST:: SOT 3498997 SOS 165691 HAS SOPS 165691 HAS SOUS 154494 HAS SOUPS 154494 WITH SCORE 154659.691
AT ITER 205 NEW BEST:: SOT 3498988 SOS 165673 HAS SOPS 165673 HAS SOUS 154476 HAS SOUPS 154476 WITH SCORE 154641.673
AT ITER 337 NEW BEST:: SOT 3498998 SOS 165673 HAS SOPS 165673 HAS SOUS 154475 HAS SOUPS 154475 WITH SCORE 154640.673
AT ITER 373 NEW BEST:: SOT 3499004 SOS 165679 HAS SOPS 165679 HAS SOUS 154434 HAS SOUPS 154434 WITH SCORE 154599.679
AT ITER 384 NEW BEST:: SOT 3498975 SOS 165621 HAS SOPS 165621 HAS SOUS 154434 HAS SOUPS 154434 WITH SCORE 154599.621
AT ITER 396 NEW BEST:: SOT 3498928 SOS 165574 HAS SOPS 165574 HAS SOUS 154434 HAS SOUPS 154434 WITH SCORE 154599.574
AT ITER 482 NEW BEST:: SOT 3498805 SOS 165485 HAS SOPS 165485 HAS SOUS 154346 HAS SOUPS 154346 WITH SCORE 154511.485
AT ITER 579 NEW BEST:: SOT 3498795 SOS 165475 HAS SOPS 165475 HAS SOUS 154336 HAS SOUPS 154336 WITH SCORE 154501.475
AT ITER 738 NEW BEST:: SOT 3498775 SOS 165454 HAS SOPS 165454 HAS SOUS 154315 HAS SOUPS 154315 WITH SCORE 154480.454
AT ITER 968 NEW BEST:: SOT 3498734 SOS 165413 HAS SOPS 165413 HAS SOUS 154274 HAS SOUPS 154274 WITH SCORE 154439.413
AT ITER 1056 NEW BEST:: SOT 3498722 SOS 165388 HAS SOPS 165388 HAS SOUS 154248 HAS SOUPS 154248 WITH SCORE 154413.388
AT ITER 1148 NEW BEST:: SOT 3498722 SOS 165388 HAS SOPS 165388 HAS SOUS 154236 HAS SOUPS 154236 WITH SCORE 154401.388
AT ITER 1224 NEW BEST:: SOT 3498722 SOS 165385 HAS SOPS 165385 HAS SOUS 154233 HAS SOUPS 154233 WITH SCORE 154398.385
AT ITER 1282 NEW BEST:: SOT 3498718 SOS 165392 HAS SOPS 165392 HAS SOUS 154229 HAS SOUPS 154229 WITH SCORE 154394.392
AT ITER 1315 NEW BEST:: SOT 3498695 SOS 165369 HAS SOPS 165369 HAS SOUS 154205 HAS SOUPS 154205 WITH SCORE 154370.369
AT ITER 1328 NEW BEST:: SOT 3498650 SOS 165386 HAS SOPS 165386 HAS SOUS 154204 HAS SOUPS 154204 WITH SCORE 154369.386
AT ITER 1333 NEW BEST:: SOT 3498650 SOS 165385 HAS SOPS 165385 HAS SOUS 154175 HAS SOUPS 154175 WITH SCORE 154340.385
AT ITER 1393 NEW BEST:: SOT 3498650 SOS 165383 HAS SOPS 165383 HAS SOUS 154175 HAS SOUPS 154175 WITH SCORE 154340.383
AT ITER 1400 NEW BEST:: SOT 3498650 SOS 165368 HAS SOPS 165368 HAS SOUS 154160 HAS SOUPS 154160 WITH SCORE 154325.368
AT ITER 1563 NEW BEST:: SOT 3498643 SOS 165351 HAS SOPS 165351 HAS SOUS 154150 HAS SOUPS 154150 WITH SCORE 154315.351
AT ITER 1864 NEW BEST:: SOT 3498596 SOS 165116 HAS SOPS 165116 HAS SOUS 154056 HAS SOUPS 154056 WITH SCORE 154221.116
AT ITER 1903 NEW BEST:: SOT 3498581 SOS 164906 HAS SOPS 164906 HAS SOUS 153981 HAS SOUPS 153981 WITH SCORE 154145.906
AT ITER 2113 NEW BEST:: SOT 3498585 SOS 164950 HAS SOPS 164950 HAS SOUS 153956 HAS SOUPS 153956 WITH SCORE 154120.95
AT ITER 2175 NEW BEST:: SOT 3498590 SOS 164873 HAS SOPS 164873 HAS SOUS 153922 HAS SOUPS 153922 WITH SCORE 154086.873
AT ITER 2191 NEW BEST:: SOT 3498559 SOS 164810 HAS SOPS 164810 HAS SOUS 153860 HAS SOUPS 153860 WITH SCORE 154024.81
AT ITER 2526 NEW BEST:: SOT 3498542 SOS 164759 HAS SOPS 164759 HAS SOUS 153809 HAS SOUPS 153809 WITH SCORE 153973.759
AT ITER 2737 NEW BEST:: SOT 3498542 SOS 164758 HAS SOPS 164758 HAS SOUS 153808 HAS SOUPS 153808 WITH SCORE 153972.758
AT ITER 2990 NEW BEST:: SOT 3498538 SOS 164750 HAS SOPS 164750 HAS SOUS 153801 HAS SOUPS 153801 WITH SCORE 153965.75
AT ITER 3152 NEW BEST:: SOT 3498494 SOS 164705 HAS SOPS 164705 HAS SOUS 153754 HAS SOUPS 153754 WITH SCORE 153918.705
AT ITER 3243 NEW BEST:: SOT 3498476 SOS 164661 HAS SOPS 164661 HAS SOUS 153710 HAS SOUPS 153710 WITH SCORE 153874.661
AT ITER 3308 NEW BEST:: SOT 3498483 SOS 164633 HAS SOPS 164633 HAS SOUS 153682 HAS SOUPS 153682 WITH SCORE 153846.633
AT ITER 3355 NEW BEST:: SOT 3498408 SOS 164583 HAS SOPS 164583 HAS SOUS 153632 HAS SOUPS 153632 WITH SCORE 153796.583
AT ITER 3640 NEW BEST:: SOT 3498408 SOS 164569 HAS SOPS 164569 HAS SOUS 153632 HAS SOUPS 153632 WITH SCORE 153796.569
AT ITER 3711 NEW BEST:: SOT 3498369 SOS 164530 HAS SOPS 164530 HAS SOUS 153593 HAS SOUPS 153593 WITH SCORE 153757.53
AT ITER 3883 NEW BEST:: SOT 3498369 SOS 164519 HAS SOPS 164519 HAS SOUS 153582 HAS SOUPS 153582 WITH SCORE 153746.519
AT ITER 4006 NEW BEST:: SOT 3498285 SOS 164482 HAS SOPS 164482 HAS SOUS 153542 HAS SOUPS 153542 WITH SCORE 153706.482
AT ITER 4053 NEW BEST:: SOT 3498285 SOS 164466 HAS SOPS 164466 HAS SOUS 153526 HAS SOUPS 153526 WITH SCORE 153690.466
AT ITER 4227 NEW BEST:: SOT 3498284 SOS 164437 HAS SOPS 164437 HAS SOUS 153525 HAS SOUPS 153525 WITH SCORE 153689.437
AT ITER 4446 NEW BEST:: SOT 3498279 SOS 164427 HAS SOPS 164427 HAS SOUS 153515 HAS SOUPS 153515 WITH SCORE 153679.427
AT ITER 4609 NEW BEST:: SOT 3498272 SOS 164406 HAS SOPS 164406 HAS SOUS 153506 HAS SOUPS 153506 WITH SCORE 153670.406
AT ITER 4885 NEW BEST:: SOT 3498271 SOS 164396 HAS SOPS 164396 HAS SOUS 153496 HAS SOUPS 153496 WITH SCORE 153660.396
AT ITER 4909 NEW BEST:: SOT 3498246 SOS 164370 HAS SOPS 164370 HAS SOUS 153470 HAS SOUPS 153470 WITH SCORE 153634.37
AT ITER 4946 NEW BEST:: SOT 3498229 SOS 164353 HAS SOPS 164353 HAS SOUS 153436 HAS SOUPS 153436 WITH SCORE 153600.353
AT ITER 5100 NEW BEST:: SOT 3498228 SOS 164346 HAS SOPS 164346 HAS SOUS 153429 HAS SOUPS 153429 WITH SCORE 153593.346
AT ITER 5364 NEW BEST:: SOT 3498228 SOS 164345 HAS SOPS 164345 HAS SOUS 153428 HAS SOUPS 153428 WITH SCORE 153592.345
AT ITER 5401 NEW BEST:: SOT 3498205 SOS 164343 HAS SOPS 164343 HAS SOUS 153427 HAS SOUPS 153427 WITH SCORE 153591.343
AT ITER 5480 NEW BEST:: SOT 3498240 SOS 164391 HAS SOPS 164391 HAS SOUS 153425 HAS SOUPS 153425 WITH SCORE 153589.391
AT ITER 5513 NEW BEST:: SOT 3498235 SOS 164381 HAS SOPS 164381 HAS SOUS 153420 HAS SOUPS 153420 WITH SCORE 153584.381
AT ITER 5571 NEW BEST:: SOT 3498211 SOS 164357 HAS SOPS 164357 HAS SOUS 153396 HAS SOUPS 153396 WITH SCORE 153560.357
AT ITER 5574 NEW BEST:: SOT 3498211 SOS 164331 HAS SOPS 164331 HAS SOUS 153370 HAS SOUPS 153370 WITH SCORE 153534.331
AT ITER 5596 NEW BEST:: SOT 3498211 SOS 164312 HAS SOPS 164312 HAS SOUS 153351 HAS SOUPS 153351 WITH SCORE 153515.312
AT ITER 6345 NEW BEST:: SOT 3498189 SOS 164246 HAS SOPS 164246 HAS SOUS 153285 HAS SOUPS 153285 WITH SCORE 153449.246
AT ITER 6375 NEW BEST:: SOT 3498184 SOS 164244 HAS SOPS 164244 HAS SOUS 153275 HAS SOUPS 153275 WITH SCORE 153439.244
AT ITER 6583 NEW BEST:: SOT 3498187 SOS 164220 HAS SOPS 164220 HAS SOUS 153251 HAS SOUPS 153251 WITH SCORE 153415.22
AT ITER 6599 NEW BEST:: SOT 3498198 SOS 164188 HAS SOPS 164188 HAS SOUS 153219 HAS SOUPS 153219 WITH SCORE 153383.188
AT ITER 6622 NEW BEST:: SOT 3498198 SOS 164179 HAS SOPS 164179 HAS SOUS 153210 HAS SOUPS 153210 WITH SCORE 153374.179
AT ITER 6695 NEW BEST:: SOT 3498198 SOS 164164 HAS SOPS 164164 HAS SOUS 153180 HAS SOUPS 153180 WITH SCORE 153344.164
AT ITER 6769 NEW BEST:: SOT 3498176 SOS 164142 HAS SOPS 164142 HAS SOUS 153158 HAS SOUPS 153158 WITH SCORE 153322.142
AT ITER 6776 NEW BEST:: SOT 3498172 SOS 164135 HAS SOPS 164135 HAS SOUS 153152 HAS SOUPS 153152 WITH SCORE 153316.135
AT ITER 6887 NEW BEST:: SOT 3498161 SOS 164076 HAS SOPS 164076 HAS SOUS 153094 HAS SOUPS 153094 WITH SCORE 153258.076
AT ITER 7131 NEW BEST:: SOT 3498160 SOS 164073 HAS SOPS 164073 HAS SOUS 153092 HAS SOUPS 153092 WITH SCORE 153256.073
AT ITER 7326 NEW BEST:: SOT 3498116 SOS 164047 HAS SOPS 164047 HAS SOUS 153066 HAS SOUPS 153066 WITH SCORE 153230.047
AT ITER 7425 NEW BEST:: SOT 3498112 SOS 164040 HAS SOPS 164040 HAS SOUS 153060 HAS SOUPS 153060 WITH SCORE 153224.04
AT ITER 7483 NEW BEST:: SOT 3497976 SOS 163904 HAS SOPS 163904 HAS SOUS 152924 HAS SOUPS 152924 WITH SCORE 153087.904
AT ITER 7497 NEW BEST:: SOT 3497974 SOS 163871 HAS SOPS 163871 HAS SOUS 152922 HAS SOUPS 152922 WITH SCORE 153085.871
AT ITER 7556 NEW BEST:: SOT 3497955 SOS 163851 HAS SOPS 163851 HAS SOUS 152902 HAS SOUPS 152902 WITH SCORE 153065.851
AT ITER 7688 NEW BEST:: SOT 3497927 SOS 163795 HAS SOPS 163795 HAS SOUS 152846 HAS SOUPS 152846 WITH SCORE 153009.795
AT ITER 7789 NEW BEST:: SOT 3497878 SOS 163746 HAS SOPS 163746 HAS SOUS 152797 HAS SOUPS 152797 WITH SCORE 152960.746
AT ITER 7900 NEW BEST:: SOT 3497876 SOS 163744 HAS SOPS 163744 HAS SOUS 152787 HAS SOUPS 152787 WITH SCORE 152950.744
AT ITER 8025 NEW BEST:: SOT 3497797 SOS 163739 HAS SOPS 163739 HAS SOUS 152783 HAS SOUPS 152783 WITH SCORE 152946.739
AT ITER 8110 NEW BEST:: SOT 3497747 SOS 163589 HAS SOPS 163589 HAS SOUS 152708 HAS SOUPS 152708 WITH SCORE 152871.589
AT ITER 8137 NEW BEST:: SOT 3497721 SOS 163563 HAS SOPS 163563 HAS SOUS 152682 HAS SOUPS 152682 WITH SCORE 152845.563
AT ITER 8201 NEW BEST:: SOT 3497719 SOS 163561 HAS SOPS 163561 HAS SOUS 152680 HAS SOUPS 152680 WITH SCORE 152843.561
AT ITER 8227 NEW BEST:: SOT 3497647 SOS 163489 HAS SOPS 163489 HAS SOUS 152608 HAS SOUPS 152608 WITH SCORE 152771.489
AT ITER 8599 NEW BEST:: SOT 3497617 SOS 163463 HAS SOPS 163463 HAS SOUS 152579 HAS SOUPS 152579 WITH SCORE 152742.463
AT ITER 8694 NEW BEST:: SOT 3497591 SOS 163434 HAS SOPS 163434 HAS SOUS 152551 HAS SOUPS 152551 WITH SCORE 152714.434
AT ITER 8740 NEW BEST:: SOT 3497591 SOS 163433 HAS SOPS 163433 HAS SOUS 152550 HAS SOUPS 152550 WITH SCORE 152713.433
AT ITER 8847 NEW BEST:: SOT 3497556 SOS 163398 HAS SOPS 163398 HAS SOUS 152515 HAS SOUPS 152515 WITH SCORE 152678.398
AT ITER 9056 NEW BEST:: SOT 3497541 SOS 163383 HAS SOPS 163383 HAS SOUS 152500 HAS SOUPS 152500 WITH SCORE 152663.383
AT ITER 9201 NEW BEST:: SOT 3497457 SOS 163327 HAS SOPS 163327 HAS SOUS 152442 HAS SOUPS 152442 WITH SCORE 152605.327
AT ITER 9281 NEW BEST:: SOT 3497435 SOS 163329 HAS SOPS 163329 HAS SOUS 152428 HAS SOUPS 152428 WITH SCORE 152591.329
AT ITER 9354 NEW BEST:: SOT 3497443 SOS 163310 HAS SOPS 163310 HAS SOUS 152409 HAS SOUPS 152409 WITH SCORE 152572.31
AT ITER 9474 NEW BEST:: SOT 3497459 SOS 163310 HAS SOPS 163310 HAS SOUS 152401 HAS SOUPS 152401 WITH SCORE 152564.31
AT ITER 9515 NEW BEST:: SOT 3497389 SOS 163282 HAS SOPS 163282 HAS SOUS 152373 HAS SOUPS 152373 WITH SCORE 152536.282
AT ITER 9546 NEW BEST:: SOT 3497345 SOS 163150 HAS SOPS 163150 HAS SOUS 152307 HAS SOUPS 152307 WITH SCORE 152470.15
AT ITER 9595 NEW BEST:: SOT 3497241 SOS 163072 HAS SOPS 163072 HAS SOUS 152229 HAS SOUPS 152229 WITH SCORE 152392.072
AT ITER 9656 NEW BEST:: SOT 3497239 SOS 163070 HAS SOPS 163070 HAS SOUS 152227 HAS SOUPS 152227 WITH SCORE 152390.07
AT ITER 9765 NEW BEST:: SOT 3497193 SOS 162840 HAS SOPS 162840 HAS SOUS 152135 HAS SOUPS 152135 WITH SCORE 152297.84
AT ITER 9847 NEW BEST:: SOT 3497192 SOS 162833 HAS SOPS 162833 HAS SOUS 152128 HAS SOUPS 152128 WITH SCORE 152290.833
AT ITER 9930 NEW BEST:: SOT 3497171 SOS 162791 HAS SOPS 162791 HAS SOUS 152086 HAS SOUPS 152086 WITH SCORE 152248.791
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8924720 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16123592 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:
++ 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
++ sed s/.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="ShieldPPPs-PT-040B"
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 ShieldPPPs-PT-040B, 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-167903718800496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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