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.r171-tall-167838858000072.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 Echo-PT-d02r15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858000072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 14:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 917K 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 1679417076968

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=Echo-PT-d02r15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 16:44:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 16:44:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 16:44:38] [INFO ] Load time of PNML (sax parser for PT used): 156 ms
[2023-03-21 16:44:38] [INFO ] Transformed 2127 places.
[2023-03-21 16:44:38] [INFO ] Transformed 1674 transitions.
[2023-03-21 16:44:38] [INFO ] Found NUPN structural information;
[2023-03-21 16:44:38] [INFO ] Parsed PT model containing 2127 places and 1674 transitions and 9700 arcs in 240 ms.
[2023-03-21 16:44:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2127 places, 1674 transitions and 9700 arcs took 22 ms.
Total runtime 291 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d02r15
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: 2127 places, 1674 transitions, 9700 arcs.
AT ITER 0 NEW BEST:: SOT 1959465 SOS 337716 HAS SOPS 337716 HAS SOUS 264584 HAS SOUPS 264584 WITH SCORE 264921.716
AT ITER 36 NEW BEST:: SOT 1959465 SOS 337716 HAS SOPS 337716 HAS SOUS 264542 HAS SOUPS 264542 WITH SCORE 264879.716
AT ITER 236 NEW BEST:: SOT 1959465 SOS 337716 HAS SOPS 337716 HAS SOUS 264522 HAS SOUPS 264522 WITH SCORE 264859.716
AT ITER 500 NEW BEST:: SOT 1959465 SOS 337716 HAS SOPS 337716 HAS SOUS 264518 HAS SOUPS 264518 WITH SCORE 264855.716
AT ITER 521 NEW BEST:: SOT 1959429 SOS 337716 HAS SOPS 337716 HAS SOUS 264494 HAS SOUPS 264494 WITH SCORE 264831.716
AT ITER 607 NEW BEST:: SOT 1959220 SOS 337743 HAS SOPS 337743 HAS SOUS 264345 HAS SOUPS 264345 WITH SCORE 264682.743
AT ITER 743 NEW BEST:: SOT 1959220 SOS 337743 HAS SOPS 337743 HAS SOUS 264305 HAS SOUPS 264305 WITH SCORE 264642.743
AT ITER 1106 NEW BEST:: SOT 1959220 SOS 337743 HAS SOPS 337743 HAS SOUS 264301 HAS SOUPS 264301 WITH SCORE 264638.743
AT ITER 1295 NEW BEST:: SOT 1959073 SOS 337980 HAS SOPS 337980 HAS SOUS 264236 HAS SOUPS 264236 WITH SCORE 264573.98
AT ITER 1313 NEW BEST:: SOT 1959073 SOS 337980 HAS SOPS 337980 HAS SOUS 264222 HAS SOUPS 264222 WITH SCORE 264559.98
AT ITER 1371 NEW BEST:: SOT 1959073 SOS 338012 HAS SOPS 338012 HAS SOUS 264213 HAS SOUPS 264213 WITH SCORE 264551.012
AT ITER 1443 NEW BEST:: SOT 1959024 SOS 338065 HAS SOPS 338065 HAS SOUS 264194 HAS SOUPS 264194 WITH SCORE 264532.065
AT ITER 1454 NEW BEST:: SOT 1959024 SOS 338065 HAS SOPS 338065 HAS SOUS 264158 HAS SOUPS 264158 WITH SCORE 264496.065
AT ITER 1576 NEW BEST:: SOT 1958772 SOS 338043 HAS SOPS 338043 HAS SOUS 263971 HAS SOUPS 263971 WITH SCORE 264309.043
AT ITER 2179 NEW BEST:: SOT 1958728 SOS 338110 HAS SOPS 338110 HAS SOUS 263964 HAS SOUPS 263964 WITH SCORE 264302.11
AT ITER 2307 NEW BEST:: SOT 1958728 SOS 338110 HAS SOPS 338110 HAS SOUS 263958 HAS SOUPS 263958 WITH SCORE 264296.11
AT ITER 2529 NEW BEST:: SOT 1958727 SOS 338109 HAS SOPS 338109 HAS SOUS 263957 HAS SOUPS 263957 WITH SCORE 264295.109
AT ITER 2620 NEW BEST:: SOT 1958727 SOS 338109 HAS SOPS 338109 HAS SOUS 263925 HAS SOUPS 263925 WITH SCORE 264263.109
AT ITER 2700 NEW BEST:: SOT 1958727 SOS 338109 HAS SOPS 338109 HAS SOUS 263921 HAS SOUPS 263921 WITH SCORE 264259.109
AT ITER 3017 NEW BEST:: SOT 1958727 SOS 338109 HAS SOPS 338109 HAS SOUS 263905 HAS SOUPS 263905 WITH SCORE 264243.109
AT ITER 3020 NEW BEST:: SOT 1958727 SOS 338109 HAS SOPS 338109 HAS SOUS 263861 HAS SOUPS 263861 WITH SCORE 264199.109
AT ITER 3335 NEW BEST:: SOT 1958699 SOS 338155 HAS SOPS 338155 HAS SOUS 263852 HAS SOUPS 263852 WITH SCORE 264190.155
AT ITER 3410 NEW BEST:: SOT 1958695 SOS 338151 HAS SOPS 338151 HAS SOUS 263848 HAS SOUPS 263848 WITH SCORE 264186.151
AT ITER 3468 NEW BEST:: SOT 1958695 SOS 338151 HAS SOPS 338151 HAS SOUS 263828 HAS SOUPS 263828 WITH SCORE 264166.151
AT ITER 3587 NEW BEST:: SOT 1958695 SOS 338151 HAS SOPS 338151 HAS SOUS 263812 HAS SOUPS 263812 WITH SCORE 264150.151
AT ITER 3687 NEW BEST:: SOT 1958695 SOS 338151 HAS SOPS 338151 HAS SOUS 263774 HAS SOUPS 263774 WITH SCORE 264112.151
AT ITER 3755 NEW BEST:: SOT 1958677 SOS 338133 HAS SOPS 338133 HAS SOUS 263756 HAS SOUPS 263756 WITH SCORE 264094.133
AT ITER 3811 NEW BEST:: SOT 1958661 SOS 338165 HAS SOPS 338165 HAS SOUS 263750 HAS SOUPS 263750 WITH SCORE 264088.165
AT ITER 3823 NEW BEST:: SOT 1958661 SOS 338165 HAS SOPS 338165 HAS SOUS 263746 HAS SOUPS 263746 WITH SCORE 264084.165
AT ITER 3832 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263741 HAS SOUPS 263741 WITH SCORE 264079.212
AT ITER 4017 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263737 HAS SOUPS 263737 WITH SCORE 264075.212
AT ITER 4048 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263705 HAS SOUPS 263705 WITH SCORE 264043.212
AT ITER 4122 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263689 HAS SOUPS 263689 WITH SCORE 264027.212
AT ITER 4177 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263687 HAS SOUPS 263687 WITH SCORE 264025.212
AT ITER 4180 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263645 HAS SOUPS 263645 WITH SCORE 263983.212
AT ITER 4270 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263643 HAS SOUPS 263643 WITH SCORE 263981.212
AT ITER 4452 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263639 HAS SOUPS 263639 WITH SCORE 263977.212
AT ITER 4616 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263637 HAS SOUPS 263637 WITH SCORE 263975.212
AT ITER 4678 NEW BEST:: SOT 1958636 SOS 338212 HAS SOPS 338212 HAS SOUS 263583 HAS SOUPS 263583 WITH SCORE 263921.212
AT ITER 4928 NEW BEST:: SOT 1958632 SOS 338208 HAS SOPS 338208 HAS SOUS 263579 HAS SOUPS 263579 WITH SCORE 263917.208
AT ITER 5183 NEW BEST:: SOT 1958632 SOS 338208 HAS SOPS 338208 HAS SOUS 263569 HAS SOUPS 263569 WITH SCORE 263907.208
AT ITER 5340 NEW BEST:: SOT 1958473 SOS 338445 HAS SOPS 338445 HAS SOUS 263521 HAS SOUPS 263521 WITH SCORE 263859.445
AT ITER 5503 NEW BEST:: SOT 1958463 SOS 338439 HAS SOPS 338439 HAS SOUS 263507 HAS SOUPS 263507 WITH SCORE 263845.439
AT ITER 5586 NEW BEST:: SOT 1958402 SOS 338415 HAS SOPS 338415 HAS SOUS 263463 HAS SOUPS 263463 WITH SCORE 263801.415
AT ITER 5772 NEW BEST:: SOT 1958398 SOS 338411 HAS SOPS 338411 HAS SOUS 263459 HAS SOUPS 263459 WITH SCORE 263797.411
AT ITER 5870 NEW BEST:: SOT 1958206 SOS 338411 HAS SOPS 338411 HAS SOUS 263313 HAS SOUPS 263313 WITH SCORE 263651.411
AT ITER 5969 NEW BEST:: SOT 1958184 SOS 338385 HAS SOPS 338385 HAS SOUS 263291 HAS SOUPS 263291 WITH SCORE 263629.385
AT ITER 6051 NEW BEST:: SOT 1957875 SOS 338760 HAS SOPS 338760 HAS SOUS 263154 HAS SOUPS 263154 WITH SCORE 263492.76
AT ITER 6069 NEW BEST:: SOT 1957875 SOS 338760 HAS SOPS 338760 HAS SOUS 263150 HAS SOUPS 263150 WITH SCORE 263488.76
AT ITER 6071 NEW BEST:: SOT 1957875 SOS 338760 HAS SOPS 338760 HAS SOUS 263142 HAS SOUPS 263142 WITH SCORE 263480.76
AT ITER 6080 NEW BEST:: SOT 1957875 SOS 338760 HAS SOPS 338760 HAS SOUS 263100 HAS SOUPS 263100 WITH SCORE 263438.76
AT ITER 6204 NEW BEST:: SOT 1957842 SOS 338784 HAS SOPS 338784 HAS SOUS 263086 HAS SOUPS 263086 WITH SCORE 263424.784
AT ITER 6233 NEW BEST:: SOT 1957842 SOS 338784 HAS SOPS 338784 HAS SOUS 263032 HAS SOUPS 263032 WITH SCORE 263370.784
AT ITER 6335 NEW BEST:: SOT 1957842 SOS 338784 HAS SOPS 338784 HAS SOUS 262992 HAS SOUPS 262992 WITH SCORE 263330.784
AT ITER 6581 NEW BEST:: SOT 1957664 SOS 338822 HAS SOPS 338822 HAS SOUS 262864 HAS SOUPS 262864 WITH SCORE 263202.822
AT ITER 6604 NEW BEST:: SOT 1957664 SOS 338822 HAS SOPS 338822 HAS SOUS 262834 HAS SOUPS 262834 WITH SCORE 263172.822
AT ITER 6675 NEW BEST:: SOT 1957664 SOS 338822 HAS SOPS 338822 HAS SOUS 262830 HAS SOUPS 262830 WITH SCORE 263168.822
AT ITER 6881 NEW BEST:: SOT 1957664 SOS 338822 HAS SOPS 338822 HAS SOUS 262776 HAS SOUPS 262776 WITH SCORE 263114.822
AT ITER 7029 NEW BEST:: SOT 1957620 SOS 338850 HAS SOPS 338850 HAS SOUS 262754 HAS SOUPS 262754 WITH SCORE 263092.85
AT ITER 7071 NEW BEST:: SOT 1957620 SOS 338850 HAS SOPS 338850 HAS SOUS 262714 HAS SOUPS 262714 WITH SCORE 263052.85
AT ITER 7254 NEW BEST:: SOT 1957620 SOS 338850 HAS SOPS 338850 HAS SOUS 262690 HAS SOUPS 262690 WITH SCORE 263028.85
AT ITER 7329 NEW BEST:: SOT 1957514 SOS 339080 HAS SOPS 339080 HAS SOUS 262668 HAS SOUPS 262668 WITH SCORE 263007.08
AT ITER 7364 NEW BEST:: SOT 1957514 SOS 339080 HAS SOPS 339080 HAS SOUS 262638 HAS SOUPS 262638 WITH SCORE 262977.08
AT ITER 7504 NEW BEST:: SOT 1957496 SOS 339172 HAS SOPS 339172 HAS SOUS 262592 HAS SOUPS 262592 WITH SCORE 262931.172
AT ITER 7574 NEW BEST:: SOT 1957496 SOS 339172 HAS SOPS 339172 HAS SOUS 262590 HAS SOUPS 262590 WITH SCORE 262929.172
AT ITER 8112 NEW BEST:: SOT 1957496 SOS 339172 HAS SOPS 339172 HAS SOUS 262588 HAS SOUPS 262588 WITH SCORE 262927.172
AT ITER 8153 NEW BEST:: SOT 1957496 SOS 339172 HAS SOPS 339172 HAS SOUS 262576 HAS SOUPS 262576 WITH SCORE 262915.172
AT ITER 8186 NEW BEST:: SOT 1957496 SOS 339172 HAS SOPS 339172 HAS SOUS 262542 HAS SOUPS 262542 WITH SCORE 262881.172
AT ITER 8312 NEW BEST:: SOT 1957349 SOS 339247 HAS SOPS 339247 HAS SOUS 262456 HAS SOUPS 262456 WITH SCORE 262795.247
AT ITER 8318 NEW BEST:: SOT 1957036 SOS 339270 HAS SOPS 339270 HAS SOUS 262229 HAS SOUPS 262229 WITH SCORE 262568.27
AT ITER 8359 NEW BEST:: SOT 1956982 SOS 339334 HAS SOPS 339334 HAS SOUS 262209 HAS SOUPS 262209 WITH SCORE 262548.334
AT ITER 8434 NEW BEST:: SOT 1956753 SOS 339453 HAS SOPS 339453 HAS SOUS 262072 HAS SOUPS 262072 WITH SCORE 262411.453
AT ITER 8616 NEW BEST:: SOT 1956753 SOS 339453 HAS SOPS 339453 HAS SOUS 262046 HAS SOUPS 262046 WITH SCORE 262385.453
AT ITER 8661 NEW BEST:: SOT 1956753 SOS 339453 HAS SOPS 339453 HAS SOUS 262030 HAS SOUPS 262030 WITH SCORE 262369.453
AT ITER 8914 NEW BEST:: SOT 1956753 SOS 339453 HAS SOPS 339453 HAS SOUS 262000 HAS SOUPS 262000 WITH SCORE 262339.453
AT ITER 8970 NEW BEST:: SOT 1956753 SOS 339453 HAS SOPS 339453 HAS SOUS 261984 HAS SOUPS 261984 WITH SCORE 262323.453
AT ITER 8978 NEW BEST:: SOT 1956734 SOS 339434 HAS SOPS 339434 HAS SOUS 261927 HAS SOUPS 261927 WITH SCORE 262266.434
AT ITER 9111 NEW BEST:: SOT 1956733 SOS 339433 HAS SOPS 339433 HAS SOUS 261926 HAS SOUPS 261926 WITH SCORE 262265.433
AT ITER 9238 NEW BEST:: SOT 1956717 SOS 339447 HAS SOPS 339447 HAS SOUS 261918 HAS SOUPS 261918 WITH SCORE 262257.447
AT ITER 9259 NEW BEST:: SOT 1956717 SOS 339447 HAS SOPS 339447 HAS SOUS 261894 HAS SOUPS 261894 WITH SCORE 262233.447
AT ITER 9287 NEW BEST:: SOT 1956717 SOS 339447 HAS SOPS 339447 HAS SOUS 261872 HAS SOUPS 261872 WITH SCORE 262211.447
AT ITER 9439 NEW BEST:: SOT 1956707 SOS 339437 HAS SOPS 339437 HAS SOUS 261824 HAS SOUPS 261824 WITH SCORE 262163.437
AT ITER 9453 NEW BEST:: SOT 1956707 SOS 339437 HAS SOPS 339437 HAS SOUS 261808 HAS SOUPS 261808 WITH SCORE 262147.437
AT ITER 9473 NEW BEST:: SOT 1956707 SOS 339385 HAS SOPS 339385 HAS SOUS 261795 HAS SOUPS 261795 WITH SCORE 262134.385
AT ITER 9604 NEW BEST:: SOT 1956707 SOS 339385 HAS SOPS 339385 HAS SOUS 261793 HAS SOUPS 261793 WITH SCORE 262132.385
AT ITER 9893 NEW BEST:: SOT 1956707 SOS 339385 HAS SOPS 339385 HAS SOUS 261775 HAS SOUPS 261775 WITH SCORE 262114.385
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9873652 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120184 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d02r15"
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 Echo-PT-d02r15, 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 r171-tall-167838858000072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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