About the Execution of Smart+red for Diffusion2D-PT-D40N010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1792.407 | 756008.00 | 771242.00 | 2646.00 | 3.1162E+0025 2.3868E+0027 10 10 | normal |
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.r139-smll-167819422300224.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Diffusion2D-PT-D40N010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422300224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.1M
-rw-r--r-- 1 mcc users 8.3K Feb 26 04:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 04:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 04:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 04:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 26 04:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 04:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.7M Mar 5 18:22 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 1678342423602
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=Diffusion2D-PT-D40N010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 06:13:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 06:13:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 06:13:47] [INFO ] Load time of PNML (sax parser for PT used): 764 ms
[2023-03-09 06:13:47] [INFO ] Transformed 1600 places.
[2023-03-09 06:13:47] [INFO ] Transformed 12324 transitions.
[2023-03-09 06:13:47] [INFO ] Parsed PT model containing 1600 places and 12324 transitions and 24648 arcs in 1002 ms.
[2023-03-09 06:13:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1600 places, 12324 transitions and 24648 arcs took 85 ms.
Total runtime 1149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D40N010
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: 1600 places, 12324 transitions, 24648 arcs.
AT ITER 0 NEW BEST:: SOT 10226420 SOS 509404 HAS SOPS 509404 HAS SOUS 191208 HAS SOUPS 191208 WITH SCORE 191717.404
AT ITER 160 NEW BEST:: SOT 10226432 SOS 509428 HAS SOPS 509428 HAS SOUS 191206 HAS SOUPS 191206 WITH SCORE 191715.428
AT ITER 884 NEW BEST:: SOT 10226502 SOS 510198 HAS SOPS 510198 HAS SOUS 191204 HAS SOUPS 191204 WITH SCORE 191714.198
AT ITER 1212 NEW BEST:: SOT 10226450 SOS 510232 HAS SOPS 510232 HAS SOUS 191202 HAS SOUPS 191202 WITH SCORE 191712.232
AT ITER 1249 NEW BEST:: SOT 10226448 SOS 510228 HAS SOPS 510228 HAS SOUS 191202 HAS SOUPS 191202 WITH SCORE 191712.228
AT ITER 1260 NEW BEST:: SOT 10226436 SOS 510204 HAS SOPS 510204 HAS SOUS 191196 HAS SOUPS 191196 WITH SCORE 191706.204
AT ITER 1388 NEW BEST:: SOT 10226312 SOS 510076 HAS SOPS 510076 HAS SOUS 191192 HAS SOUPS 191192 WITH SCORE 191702.076
AT ITER 1474 NEW BEST:: SOT 10226188 SOS 510188 HAS SOPS 510188 HAS SOUS 191190 HAS SOUPS 191190 WITH SCORE 191700.188
AT ITER 2300 NEW BEST:: SOT 10226178 SOS 510534 HAS SOPS 510534 HAS SOUS 191188 HAS SOUPS 191188 WITH SCORE 191698.534
AT ITER 2361 NEW BEST:: SOT 10226180 SOS 510538 HAS SOPS 510538 HAS SOUS 191186 HAS SOUPS 191186 WITH SCORE 191696.538
AT ITER 2507 NEW BEST:: SOT 10226066 SOS 510484 HAS SOPS 510484 HAS SOUS 191164 HAS SOUPS 191164 WITH SCORE 191674.484
AT ITER 2820 NEW BEST:: SOT 10225972 SOS 510560 HAS SOPS 510560 HAS SOUS 191162 HAS SOUPS 191162 WITH SCORE 191672.56
AT ITER 3770 NEW BEST:: SOT 10225970 SOS 510556 HAS SOPS 510556 HAS SOUS 191160 HAS SOUPS 191160 WITH SCORE 191670.556
AT ITER 3852 NEW BEST:: SOT 10225968 SOS 510552 HAS SOPS 510552 HAS SOUS 191156 HAS SOUPS 191156 WITH SCORE 191666.552
AT ITER 4289 NEW BEST:: SOT 10225966 SOS 510602 HAS SOPS 510602 HAS SOUS 191154 HAS SOUPS 191154 WITH SCORE 191664.602
AT ITER 5105 NEW BEST:: SOT 10225930 SOS 510734 HAS SOPS 510734 HAS SOUS 191152 HAS SOUPS 191152 WITH SCORE 191662.734
AT ITER 5123 NEW BEST:: SOT 10225914 SOS 510702 HAS SOPS 510702 HAS SOUS 191152 HAS SOUPS 191152 WITH SCORE 191662.702
AT ITER 5535 NEW BEST:: SOT 10225828 SOS 510782 HAS SOPS 510782 HAS SOUS 191150 HAS SOUPS 191150 WITH SCORE 191660.782
AT ITER 6281 NEW BEST:: SOT 10225826 SOS 510778 HAS SOPS 510778 HAS SOUS 191134 HAS SOUPS 191134 WITH SCORE 191644.778
AT ITER 6309 NEW BEST:: SOT 10225824 SOS 510774 HAS SOPS 510774 HAS SOUS 191134 HAS SOUPS 191134 WITH SCORE 191644.774
AT ITER 6475 NEW BEST:: SOT 10225798 SOS 511100 HAS SOPS 511100 HAS SOUS 191132 HAS SOUPS 191132 WITH SCORE 191643.1
AT ITER 6584 NEW BEST:: SOT 10225666 SOS 511172 HAS SOPS 511172 HAS SOUS 191130 HAS SOUPS 191130 WITH SCORE 191641.172
AT ITER 6690 NEW BEST:: SOT 10225650 SOS 511164 HAS SOPS 511164 HAS SOUS 191130 HAS SOUPS 191130 WITH SCORE 191641.164
AT ITER 9028 NEW BEST:: SOT 10225444 SOS 511106 HAS SOPS 511106 HAS SOUS 191128 HAS SOUPS 191128 WITH SCORE 191639.106
AT ITER 9036 NEW BEST:: SOT 10225382 SOS 511282 HAS SOPS 511282 HAS SOUS 191126 HAS SOUPS 191126 WITH SCORE 191637.282
AT ITER 9078 NEW BEST:: SOT 10225222 SOS 511262 HAS SOPS 511262 HAS SOUS 191122 HAS SOUPS 191122 WITH SCORE 191633.262
AT ITER 9624 NEW BEST:: SOT 10225002 SOS 511458 HAS SOPS 511458 HAS SOUS 191114 HAS SOUPS 191114 WITH SCORE 191625.458
STATE_SPACE STATES 31162136293561158728851360 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2386837586586996396360249600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678343179610
--------------------
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
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="Diffusion2D-PT-D40N010"
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 Diffusion2D-PT-D40N010, 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 r139-smll-167819422300224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N010.tgz
mv Diffusion2D-PT-D40N010 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 '
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 ;