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.r491-tall-167912710500472.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 Szymanski-PT-b06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710500472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 17:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 17:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 17:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 17:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.7M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679257472772

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=Szymanski-PT-b06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 20:24:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 20:24:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 20:24:35] [INFO ] Load time of PNML (sax parser for PT used): 490 ms
[2023-03-19 20:24:35] [INFO ] Transformed 568 places.
[2023-03-19 20:24:35] [INFO ] Transformed 8320 transitions.
[2023-03-19 20:24:35] [INFO ] Parsed PT model containing 568 places and 8320 transitions and 33408 arcs in 656 ms.
[2023-03-19 20:24:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 8320 transitions and 33408 arcs took 128 ms.
Total runtime 827 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance b06
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: 568 places, 8320 transitions, 33408 arcs.
AT ITER 0 NEW BEST:: SOT 1142264 SOS 996354 HAS SOPS 994637 HAS SOUS 218794 HAS SOUPS 217896 WITH SCORE 218892.354
AT ITER 245 NEW BEST:: SOT 1139346 SOS 993455 HAS SOPS 991738 HAS SOUS 215895 HAS SOUPS 214997 WITH SCORE 215990.455
AT ITER 338 NEW BEST:: SOT 1115538 SOS 973868 HAS SOPS 972152 HAS SOUS 192304 HAS SOUPS 191407 WITH SCORE 192380.868
AT ITER 399 NEW BEST:: SOT 1108936 SOS 967266 HAS SOPS 965550 HAS SOUS 185702 HAS SOUPS 184805 WITH SCORE 185772.266
AT ITER 475 NEW BEST:: SOT 1119506 SOS 973577 HAS SOPS 954744 HAS SOUS 196105 HAS SOUPS 178091 WITH SCORE 179064.577
AT ITER 746 NEW BEST:: SOT 1119506 SOS 972361 HAS SOPS 953528 HAS SOUS 196105 HAS SOUPS 178091 WITH SCORE 179063.361
AT ITER 878 NEW BEST:: SOT 1101079 SOS 954344 HAS SOPS 935615 HAS SOUS 171996 HAS SOUPS 154086 WITH SCORE 155040.344
AT ITER 962 NEW BEST:: SOT 1101097 SOS 954362 HAS SOPS 935633 HAS SOUS 171800 HAS SOUPS 153890 WITH SCORE 154844.362
AT ITER 1186 NEW BEST:: SOT 1101097 SOS 954298 HAS SOPS 935569 HAS SOUS 171782 HAS SOUPS 153872 WITH SCORE 154826.298
AT ITER 1192 NEW BEST:: SOT 1100977 SOS 954224 HAS SOPS 935495 HAS SOUS 171752 HAS SOUPS 153842 WITH SCORE 154796.224
AT ITER 1210 NEW BEST:: SOT 1100977 SOS 954224 HAS SOPS 935495 HAS SOUS 171742 HAS SOUPS 153832 WITH SCORE 154786.224
AT ITER 1354 NEW BEST:: SOT 1096700 SOS 949947 HAS SOPS 931218 HAS SOUS 167465 HAS SOUPS 149555 WITH SCORE 150504.947
AT ITER 1357 NEW BEST:: SOT 1096700 SOS 948667 HAS SOPS 929938 HAS SOUS 167465 HAS SOUPS 149555 WITH SCORE 150503.667
AT ITER 1443 NEW BEST:: SOT 1096588 SOS 954306 HAS SOPS 934553 HAS SOUS 162945 HAS SOUPS 145097 WITH SCORE 146051.306
AT ITER 1469 NEW BEST:: SOT 1083663 SOS 941251 HAS SOPS 921628 HAS SOUS 142350 HAS SOUPS 124632 WITH SCORE 125573.251
AT ITER 1513 NEW BEST:: SOT 1083663 SOS 940483 HAS SOPS 920860 HAS SOUS 142350 HAS SOUPS 124632 WITH SCORE 125572.483
AT ITER 1528 NEW BEST:: SOT 1083659 SOS 940479 HAS SOPS 920856 HAS SOUS 142332 HAS SOUPS 124614 WITH SCORE 125554.479
AT ITER 1751 NEW BEST:: SOT 1083659 SOS 935103 HAS SOPS 915480 HAS SOUS 142324 HAS SOUPS 124606 WITH SCORE 125541.103
AT ITER 1821 NEW BEST:: SOT 1084563 SOS 940459 HAS SOPS 918610 HAS SOUS 141911 HAS SOUPS 124193 WITH SCORE 125133.459
AT ITER 1839 NEW BEST:: SOT 1077141 SOS 933092 HAS SOPS 911188 HAS SOUS 138672 HAS SOUPS 120899 WITH SCORE 121832.092
AT ITER 1983 NEW BEST:: SOT 1071130 SOS 927163 HAS SOPS 910425 HAS SOUS 132702 HAS SOUPS 120095 WITH SCORE 121022.163
AT ITER 2057 NEW BEST:: SOT 1071130 SOS 924475 HAS SOPS 907737 HAS SOUS 132682 HAS SOUPS 120075 WITH SCORE 120999.475
AT ITER 2108 NEW BEST:: SOT 1064446 SOS 917806 HAS SOPS 901053 HAS SOUS 129645 HAS SOUPS 117023 WITH SCORE 117940.806
AT ITER 2232 NEW BEST:: SOT 1066239 SOS 919558 HAS SOPS 897598 HAS SOUS 131397 HAS SOUPS 113568 WITH SCORE 114487.558
AT ITER 2269 NEW BEST:: SOT 1066239 SOS 916806 HAS SOPS 894846 HAS SOUS 131395 HAS SOUPS 113566 WITH SCORE 114482.806
AT ITER 2317 NEW BEST:: SOT 1065959 SOS 916530 HAS SOPS 894566 HAS SOUS 131272 HAS SOUPS 113439 WITH SCORE 114355.53
AT ITER 2367 NEW BEST:: SOT 1053720 SOS 904359 HAS SOPS 882327 HAS SOUS 119602 HAS SOUPS 101701 WITH SCORE 102605.359
AT ITER 2480 NEW BEST:: SOT 1053720 SOS 900647 HAS SOPS 878615 HAS SOUS 119587 HAS SOUPS 101686 WITH SCORE 102586.647
AT ITER 2504 NEW BEST:: SOT 1053720 SOS 892199 HAS SOPS 870167 HAS SOUS 119567 HAS SOUPS 101666 WITH SCORE 102558.199
AT ITER 2753 NEW BEST:: SOT 1053790 SOS 892249 HAS SOPS 870237 HAS SOUS 118507 HAS SOUPS 100626 WITH SCORE 101518.249
AT ITER 3058 NEW BEST:: SOT 1053664 SOS 892123 HAS SOPS 870111 HAS SOUS 118381 HAS SOUPS 100500 WITH SCORE 101392.123
AT ITER 3060 NEW BEST:: SOT 1055341 SOS 893748 HAS SOPS 871761 HAS SOUS 118344 HAS SOUPS 100491 WITH SCORE 101384.748
AT ITER 3149 NEW BEST:: SOT 1055341 SOS 894004 HAS SOPS 872017 HAS SOUS 118343 HAS SOUPS 100490 WITH SCORE 101384.004
AT ITER 3224 NEW BEST:: SOT 1054958 SOS 893621 HAS SOPS 871634 HAS SOUS 117925 HAS SOUPS 100072 WITH SCORE 100965.621
AT ITER 3252 NEW BEST:: SOT 1054954 SOS 893617 HAS SOPS 871374 HAS SOUS 117921 HAS SOUPS 99812 WITH SCORE 100705.617
AT ITER 3336 NEW BEST:: SOT 1054902 SOS 893565 HAS SOPS 871322 HAS SOUS 117873 HAS SOUPS 99764 WITH SCORE 100657.565
AT ITER 3530 NEW BEST:: SOT 1054876 SOS 893539 HAS SOPS 871296 HAS SOUS 117816 HAS SOUPS 99707 WITH SCORE 100600.539
AT ITER 3660 NEW BEST:: SOT 1054795 SOS 893458 HAS SOPS 871215 HAS SOUS 117747 HAS SOUPS 99638 WITH SCORE 100531.458
AT ITER 4060 NEW BEST:: SOT 1054760 SOS 893423 HAS SOPS 871180 HAS SOUS 117680 HAS SOUPS 99571 WITH SCORE 100464.423
AT ITER 4248 NEW BEST:: SOT 1055168 SOS 893811 HAS SOPS 871578 HAS SOUS 117498 HAS SOUPS 99397 WITH SCORE 100290.811
AT ITER 4362 NEW BEST:: SOT 1055096 SOS 893739 HAS SOPS 871505 HAS SOUS 117336 HAS SOUPS 99235 WITH SCORE 100128.739
AT ITER 5145 NEW BEST:: SOT 1055080 SOS 893723 HAS SOPS 871489 HAS SOUS 117320 HAS SOUPS 99219 WITH SCORE 100112.723
AT ITER 5187 NEW BEST:: SOT 1055713 SOS 890947 HAS SOPS 867845 HAS SOUS 117052 HAS SOUPS 98951 WITH SCORE 99841.947
AT ITER 5260 NEW BEST:: SOT 1055713 SOS 888259 HAS SOPS 865157 HAS SOUS 117034 HAS SOUPS 98933 WITH SCORE 99821.259
AT ITER 5395 NEW BEST:: SOT 1055707 SOS 888253 HAS SOPS 865151 HAS SOUS 117028 HAS SOUPS 98927 WITH SCORE 99815.253
AT ITER 5602 NEW BEST:: SOT 1055707 SOS 886781 HAS SOPS 863679 HAS SOUS 117027 HAS SOUPS 98926 WITH SCORE 99812.781
AT ITER 5716 NEW BEST:: SOT 1055707 SOS 885437 HAS SOPS 862335 HAS SOUS 117022 HAS SOUPS 98921 WITH SCORE 99806.437
AT ITER 5779 NEW BEST:: SOT 1055603 SOS 885333 HAS SOPS 862231 HAS SOUS 116814 HAS SOUPS 98713 WITH SCORE 99598.333
AT ITER 5801 NEW BEST:: SOT 1057199 SOS 891959 HAS SOPS 873205 HAS SOUS 116687 HAS SOUPS 98659 WITH SCORE 99550.959
AT ITER 5858 NEW BEST:: SOT 1057199 SOS 891959 HAS SOPS 873205 HAS SOUS 116686 HAS SOUPS 98658 WITH SCORE 99549.959
AT ITER 5867 NEW BEST:: SOT 1057137 SOS 891897 HAS SOPS 873143 HAS SOUS 116624 HAS SOUPS 98596 WITH SCORE 99487.897
AT ITER 5893 NEW BEST:: SOT 1055631 SOS 890391 HAS SOPS 872021 HAS SOUS 115118 HAS SOUPS 97474 WITH SCORE 98364.391
AT ITER 5921 NEW BEST:: SOT 1054609 SOS 889383 HAS SOPS 870999 HAS SOUS 114540 HAS SOUPS 96882 WITH SCORE 97771.383
AT ITER 5975 NEW BEST:: SOT 1054243 SOS 889017 HAS SOPS 870633 HAS SOUS 113892 HAS SOUPS 96234 WITH SCORE 97123.017
AT ITER 6214 NEW BEST:: SOT 1054243 SOS 887801 HAS SOPS 869417 HAS SOUS 113893 HAS SOUPS 96235 WITH SCORE 97122.801
AT ITER 6215 NEW BEST:: SOT 1054243 SOS 887801 HAS SOPS 869417 HAS SOUS 113892 HAS SOUPS 96234 WITH SCORE 97121.801
AT ITER 6656 NEW BEST:: SOT 1054243 SOS 887801 HAS SOPS 869417 HAS SOUS 113888 HAS SOUPS 96230 WITH SCORE 97117.801
AT ITER 6716 NEW BEST:: SOT 1054231 SOS 887789 HAS SOPS 869405 HAS SOUS 113864 HAS SOUPS 96206 WITH SCORE 97093.789
AT ITER 7119 NEW BEST:: SOT 1054513 SOS 888063 HAS SOPS 869687 HAS SOUS 113849 HAS SOUPS 96196 WITH SCORE 97084.063
AT ITER 7422 NEW BEST:: SOT 1054513 SOS 887999 HAS SOPS 869623 HAS SOUS 113847 HAS SOUPS 96194 WITH SCORE 97081.999
AT ITER 7432 NEW BEST:: SOT 1054511 SOS 887997 HAS SOPS 869621 HAS SOUS 113845 HAS SOUPS 96192 WITH SCORE 97079.997
AT ITER 7465 NEW BEST:: SOT 1055612 SOS 889032 HAS SOPS 870722 HAS SOUS 112677 HAS SOUPS 95057 WITH SCORE 95946.032
AT ITER 7570 NEW BEST:: SOT 1055600 SOS 889020 HAS SOPS 870710 HAS SOUS 112653 HAS SOUPS 95033 WITH SCORE 95922.02
AT ITER 7973 NEW BEST:: SOT 1055570 SOS 888990 HAS SOPS 870680 HAS SOUS 112563 HAS SOUPS 94943 WITH SCORE 95831.99
AT ITER 8153 NEW BEST:: SOT 1055554 SOS 888974 HAS SOPS 870664 HAS SOUS 112535 HAS SOUPS 94915 WITH SCORE 95803.974
AT ITER 8210 NEW BEST:: SOT 1055530 SOS 888950 HAS SOPS 870640 HAS SOUS 112511 HAS SOUPS 94891 WITH SCORE 95779.95
AT ITER 8431 NEW BEST:: SOT 1055522 SOS 888942 HAS SOPS 870632 HAS SOUS 112459 HAS SOUPS 94839 WITH SCORE 95727.942
AT ITER 8789 NEW BEST:: SOT 1055520 SOS 888940 HAS SOPS 870630 HAS SOUS 112455 HAS SOUPS 94835 WITH SCORE 95723.94
AT ITER 8931 NEW BEST:: SOT 1056124 SOS 889534 HAS SOPS 871234 HAS SOUS 112444 HAS SOUPS 94834 WITH SCORE 95723.534
AT ITER 9157 NEW BEST:: SOT 1056118 SOS 889528 HAS SOPS 871228 HAS SOUS 112432 HAS SOUPS 94822 WITH SCORE 95711.528
AT ITER 9241 NEW BEST:: SOT 1056116 SOS 889526 HAS SOPS 871226 HAS SOUS 112428 HAS SOUPS 94818 WITH SCORE 95707.526
AT ITER 9372 NEW BEST:: SOT 1056116 SOS 889142 HAS SOPS 870842 HAS SOUS 112428 HAS SOUPS 94818 WITH SCORE 95707.142
AT ITER 9514 NEW BEST:: SOT 1056116 SOS 887990 HAS SOPS 869690 HAS SOUS 112428 HAS SOUPS 94818 WITH SCORE 95705.99
AT ITER 9591 NEW BEST:: SOT 1056116 SOS 888182 HAS SOPS 869882 HAS SOUS 112426 HAS SOUPS 94816 WITH SCORE 95704.182
AT ITER 9613 NEW BEST:: SOT 1058021 SOS 890021 HAS SOPS 871787 HAS SOUS 112251 HAS SOUPS 94674 WITH SCORE 95564.021
AT ITER 9732 NEW BEST:: SOT 1058019 SOS 890019 HAS SOPS 871785 HAS SOUS 112247 HAS SOUPS 94670 WITH SCORE 95560.019
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 194532 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16292388 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="Szymanski-PT-b06"
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 Szymanski-PT-b06, 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 r491-tall-167912710500472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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