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.r107-tall-167814485001008.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 DNAwalker-PT-17redondantChoiceL, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814485001008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 13:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 13:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 13:00 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 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 13:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 192K Feb 25 13:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 19 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 211K 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 1678446488159

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=DNAwalker-PT-17redondantChoiceL
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 11:08:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 11:08:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 11:08:09] [INFO ] Load time of PNML (sax parser for PT used): 69 ms
[2023-03-10 11:08:09] [INFO ] Transformed 43 places.
[2023-03-10 11:08:09] [INFO ] Transformed 490 transitions.
[2023-03-10 11:08:09] [INFO ] Parsed PT model containing 43 places and 490 transitions and 1438 arcs in 245 ms.
[2023-03-10 11:08:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 43 places, 490 transitions and 1438 arcs took 15 ms.
Total runtime 382 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DNAwalker (PT), instance 17redondantChoiceL
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: 43 places, 490 transitions, 1438 arcs.
AT ITER 0 NEW BEST:: SOT 14178 SOS 5638 HAS SOPS 5636 HAS SOUS 1501 HAS SOUPS 1499 WITH SCORE 1504.638
AT ITER 6 NEW BEST:: SOT 14364 SOS 5698 HAS SOPS 5696 HAS SOUS 1492 HAS SOUPS 1490 WITH SCORE 1495.698
AT ITER 7 NEW BEST:: SOT 14506 SOS 5682 HAS SOPS 5680 HAS SOUS 1480 HAS SOUPS 1478 WITH SCORE 1483.682
AT ITER 12 NEW BEST:: SOT 14444 SOS 5828 HAS SOPS 5826 HAS SOUS 1477 HAS SOUPS 1475 WITH SCORE 1480.828
AT ITER 24 NEW BEST:: SOT 14385 SOS 5764 HAS SOPS 5762 HAS SOUS 1477 HAS SOUPS 1475 WITH SCORE 1480.764
AT ITER 28 NEW BEST:: SOT 14476 SOS 5646 HAS SOPS 5644 HAS SOUS 1477 HAS SOUPS 1475 WITH SCORE 1480.646
AT ITER 29 NEW BEST:: SOT 14661 SOS 5756 HAS SOPS 5754 HAS SOUS 1457 HAS SOUPS 1455 WITH SCORE 1460.756
AT ITER 33 NEW BEST:: SOT 14691 SOS 5734 HAS SOPS 5732 HAS SOUS 1457 HAS SOUPS 1455 WITH SCORE 1460.734
AT ITER 39 NEW BEST:: SOT 14571 SOS 5566 HAS SOPS 5564 HAS SOUS 1453 HAS SOUPS 1451 WITH SCORE 1456.566
AT ITER 40 NEW BEST:: SOT 14567 SOS 5670 HAS SOPS 5668 HAS SOUS 1445 HAS SOUPS 1443 WITH SCORE 1448.67
AT ITER 60 NEW BEST:: SOT 14551 SOS 5642 HAS SOPS 5640 HAS SOUS 1445 HAS SOUPS 1443 WITH SCORE 1448.642
AT ITER 62 NEW BEST:: SOT 14559 SOS 5622 HAS SOPS 5620 HAS SOUS 1445 HAS SOUPS 1443 WITH SCORE 1448.622
AT ITER 66 NEW BEST:: SOT 14559 SOS 5617 HAS SOPS 5615 HAS SOUS 1445 HAS SOUPS 1443 WITH SCORE 1448.617
AT ITER 70 NEW BEST:: SOT 14510 SOS 5486 HAS SOPS 5484 HAS SOUS 1442 HAS SOUPS 1440 WITH SCORE 1445.486
AT ITER 71 NEW BEST:: SOT 14523 SOS 5252 HAS SOPS 5250 HAS SOUS 1442 HAS SOUPS 1440 WITH SCORE 1445.252
AT ITER 76 NEW BEST:: SOT 14495 SOS 5186 HAS SOPS 5184 HAS SOUS 1442 HAS SOUPS 1440 WITH SCORE 1445.186
AT ITER 96 NEW BEST:: SOT 14497 SOS 5178 HAS SOPS 5176 HAS SOUS 1439 HAS SOUPS 1437 WITH SCORE 1442.178
AT ITER 100 NEW BEST:: SOT 14643 SOS 5080 HAS SOPS 5078 HAS SOUS 1424 HAS SOUPS 1422 WITH SCORE 1427.08
AT ITER 104 NEW BEST:: SOT 14522 SOS 5033 HAS SOPS 5031 HAS SOUS 1412 HAS SOUPS 1410 WITH SCORE 1415.033
AT ITER 109 NEW BEST:: SOT 14514 SOS 5061 HAS SOPS 5059 HAS SOUS 1404 HAS SOUPS 1402 WITH SCORE 1407.061
AT ITER 115 NEW BEST:: SOT 14514 SOS 5025 HAS SOPS 5023 HAS SOUS 1404 HAS SOUPS 1402 WITH SCORE 1407.025
AT ITER 117 NEW BEST:: SOT 14511 SOS 5020 HAS SOPS 5018 HAS SOUS 1404 HAS SOUPS 1402 WITH SCORE 1407.02
AT ITER 118 NEW BEST:: SOT 14517 SOS 5008 HAS SOPS 5006 HAS SOUS 1404 HAS SOUPS 1402 WITH SCORE 1407.008
AT ITER 121 NEW BEST:: SOT 14377 SOS 4926 HAS SOPS 4924 HAS SOUS 1400 HAS SOUPS 1398 WITH SCORE 1402.926
AT ITER 126 NEW BEST:: SOT 14385 SOS 4946 HAS SOPS 4944 HAS SOUS 1396 HAS SOUPS 1394 WITH SCORE 1398.946
AT ITER 127 NEW BEST:: SOT 14379 SOS 4934 HAS SOPS 4932 HAS SOUS 1396 HAS SOUPS 1394 WITH SCORE 1398.934
AT ITER 131 NEW BEST:: SOT 14379 SOS 4919 HAS SOPS 4917 HAS SOUS 1396 HAS SOUPS 1394 WITH SCORE 1398.919
AT ITER 149 NEW BEST:: SOT 14329 SOS 4837 HAS SOPS 4835 HAS SOUS 1383 HAS SOUPS 1381 WITH SCORE 1385.837
AT ITER 150 NEW BEST:: SOT 14313 SOS 4847 HAS SOPS 4845 HAS SOUS 1380 HAS SOUPS 1378 WITH SCORE 1382.847
AT ITER 162 NEW BEST:: SOT 14319 SOS 4869 HAS SOPS 4867 HAS SOUS 1370 HAS SOUPS 1368 WITH SCORE 1372.869
AT ITER 165 NEW BEST:: SOT 14042 SOS 5211 HAS SOPS 5209 HAS SOUS 1367 HAS SOUPS 1365 WITH SCORE 1370.211
AT ITER 167 NEW BEST:: SOT 14040 SOS 5151 HAS SOPS 5149 HAS SOUS 1363 HAS SOUPS 1361 WITH SCORE 1366.151
AT ITER 169 NEW BEST:: SOT 13982 SOS 5133 HAS SOPS 5131 HAS SOUS 1363 HAS SOUPS 1361 WITH SCORE 1366.133
AT ITER 191 NEW BEST:: SOT 13938 SOS 5129 HAS SOPS 5127 HAS SOUS 1359 HAS SOUPS 1357 WITH SCORE 1362.129
AT ITER 202 NEW BEST:: SOT 13880 SOS 4983 HAS SOPS 4981 HAS SOUS 1339 HAS SOUPS 1337 WITH SCORE 1341.983
AT ITER 208 NEW BEST:: SOT 14040 SOS 4853 HAS SOPS 4851 HAS SOUS 1339 HAS SOUPS 1337 WITH SCORE 1341.853
AT ITER 226 NEW BEST:: SOT 14000 SOS 4863 HAS SOPS 4861 HAS SOUS 1331 HAS SOUPS 1329 WITH SCORE 1333.863
AT ITER 231 NEW BEST:: SOT 14004 SOS 4851 HAS SOPS 4849 HAS SOUS 1331 HAS SOUPS 1329 WITH SCORE 1333.851
AT ITER 239 NEW BEST:: SOT 14004 SOS 4836 HAS SOPS 4834 HAS SOUS 1331 HAS SOUPS 1329 WITH SCORE 1333.836
AT ITER 250 NEW BEST:: SOT 13988 SOS 4984 HAS SOPS 4982 HAS SOUS 1325 HAS SOUPS 1323 WITH SCORE 1327.984
AT ITER 253 NEW BEST:: SOT 13882 SOS 4877 HAS SOPS 4875 HAS SOUS 1312 HAS SOUPS 1310 WITH SCORE 1314.877
AT ITER 284 NEW BEST:: SOT 13887 SOS 4806 HAS SOPS 4804 HAS SOUS 1312 HAS SOUPS 1310 WITH SCORE 1314.806
AT ITER 285 NEW BEST:: SOT 13889 SOS 4760 HAS SOPS 4758 HAS SOUS 1312 HAS SOUPS 1310 WITH SCORE 1314.76
AT ITER 328 NEW BEST:: SOT 13889 SOS 4740 HAS SOPS 4738 HAS SOUS 1312 HAS SOUPS 1310 WITH SCORE 1314.74
AT ITER 331 NEW BEST:: SOT 13892 SOS 4732 HAS SOPS 4730 HAS SOUS 1310 HAS SOUPS 1308 WITH SCORE 1312.732
AT ITER 358 NEW BEST:: SOT 13908 SOS 4716 HAS SOPS 4714 HAS SOUS 1310 HAS SOUPS 1308 WITH SCORE 1312.716
AT ITER 361 NEW BEST:: SOT 13906 SOS 4690 HAS SOPS 4688 HAS SOUS 1308 HAS SOUPS 1306 WITH SCORE 1310.69
AT ITER 395 NEW BEST:: SOT 13908 SOS 4686 HAS SOPS 4684 HAS SOUS 1308 HAS SOUPS 1306 WITH SCORE 1310.686
AT ITER 434 NEW BEST:: SOT 13902 SOS 4674 HAS SOPS 4672 HAS SOUS 1296 HAS SOUPS 1294 WITH SCORE 1298.674
AT ITER 459 NEW BEST:: SOT 13869 SOS 4647 HAS SOPS 4645 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1297.647
AT ITER 462 NEW BEST:: SOT 13865 SOS 4604 HAS SOPS 4602 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1297.604
AT ITER 498 NEW BEST:: SOT 13867 SOS 4540 HAS SOPS 4538 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1297.54
AT ITER 534 NEW BEST:: SOT 13867 SOS 4520 HAS SOPS 4518 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1297.52
AT ITER 536 NEW BEST:: SOT 13867 SOS 4521 HAS SOPS 4519 HAS SOUS 1293 HAS SOUPS 1291 WITH SCORE 1295.521
AT ITER 558 NEW BEST:: SOT 13865 SOS 4519 HAS SOPS 4517 HAS SOUS 1293 HAS SOUPS 1291 WITH SCORE 1295.519
AT ITER 560 NEW BEST:: SOT 13863 SOS 4515 HAS SOPS 4513 HAS SOUS 1289 HAS SOUPS 1287 WITH SCORE 1291.515
AT ITER 569 NEW BEST:: SOT 13866 SOS 4505 HAS SOPS 4503 HAS SOUS 1289 HAS SOUPS 1287 WITH SCORE 1291.505
AT ITER 589 NEW BEST:: SOT 13874 SOS 4511 HAS SOPS 4509 HAS SOUS 1287 HAS SOUPS 1285 WITH SCORE 1289.511
AT ITER 612 NEW BEST:: SOT 13867 SOS 4494 HAS SOPS 4492 HAS SOUS 1287 HAS SOUPS 1285 WITH SCORE 1289.494
AT ITER 634 NEW BEST:: SOT 13835 SOS 4526 HAS SOPS 4524 HAS SOUS 1281 HAS SOUPS 1279 WITH SCORE 1283.526
AT ITER 642 NEW BEST:: SOT 13837 SOS 4518 HAS SOPS 4516 HAS SOUS 1281 HAS SOUPS 1279 WITH SCORE 1283.518
AT ITER 678 NEW BEST:: SOT 13839 SOS 4502 HAS SOPS 4500 HAS SOUS 1279 HAS SOUPS 1277 WITH SCORE 1281.502
AT ITER 688 NEW BEST:: SOT 13839 SOS 4492 HAS SOPS 4490 HAS SOUS 1275 HAS SOUPS 1273 WITH SCORE 1277.492
AT ITER 743 NEW BEST:: SOT 13837 SOS 4484 HAS SOPS 4482 HAS SOUS 1275 HAS SOUPS 1273 WITH SCORE 1277.484
AT ITER 756 NEW BEST:: SOT 13829 SOS 4476 HAS SOPS 4474 HAS SOUS 1271 HAS SOUPS 1269 WITH SCORE 1273.476
AT ITER 863 NEW BEST:: SOT 13824 SOS 4461 HAS SOPS 4459 HAS SOUS 1269 HAS SOUPS 1267 WITH SCORE 1271.461
AT ITER 872 NEW BEST:: SOT 13822 SOS 4457 HAS SOPS 4455 HAS SOUS 1267 HAS SOUPS 1265 WITH SCORE 1269.457
AT ITER 886 NEW BEST:: SOT 13812 SOS 4447 HAS SOPS 4445 HAS SOUS 1267 HAS SOUPS 1265 WITH SCORE 1269.447
AT ITER 887 NEW BEST:: SOT 13813 SOS 4361 HAS SOPS 4359 HAS SOUS 1267 HAS SOUPS 1265 WITH SCORE 1269.361
AT ITER 916 NEW BEST:: SOT 13805 SOS 4349 HAS SOPS 4347 HAS SOUS 1265 HAS SOUPS 1263 WITH SCORE 1267.349
AT ITER 917 NEW BEST:: SOT 13801 SOS 4345 HAS SOPS 4343 HAS SOUS 1261 HAS SOUPS 1259 WITH SCORE 1263.345
AT ITER 929 NEW BEST:: SOT 13803 SOS 4337 HAS SOPS 4335 HAS SOUS 1261 HAS SOUPS 1259 WITH SCORE 1263.337
AT ITER 964 NEW BEST:: SOT 13809 SOS 4313 HAS SOPS 4311 HAS SOUS 1261 HAS SOUPS 1259 WITH SCORE 1263.313
AT ITER 1013 NEW BEST:: SOT 13803 SOS 4305 HAS SOPS 4303 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1259.305
AT ITER 1259 NEW BEST:: SOT 13803 SOS 4299 HAS SOPS 4297 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1259.299
AT ITER 1276 NEW BEST:: SOT 13794 SOS 4298 HAS SOPS 4296 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1259.298
AT ITER 1357 NEW BEST:: SOT 13798 SOS 4284 HAS SOPS 4282 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1259.284
AT ITER 1400 NEW BEST:: SOT 13797 SOS 4279 HAS SOPS 4277 HAS SOUS 1256 HAS SOUPS 1254 WITH SCORE 1258.279
AT ITER 1489 NEW BEST:: SOT 13799 SOS 4285 HAS SOPS 4283 HAS SOUS 1255 HAS SOUPS 1253 WITH SCORE 1257.285
AT ITER 1546 NEW BEST:: SOT 13799 SOS 4275 HAS SOPS 4273 HAS SOUS 1255 HAS SOUPS 1253 WITH SCORE 1257.275
AT ITER 1580 NEW BEST:: SOT 13797 SOS 4271 HAS SOPS 4269 HAS SOUS 1251 HAS SOUPS 1249 WITH SCORE 1253.271
AT ITER 1626 NEW BEST:: SOT 13771 SOS 4219 HAS SOPS 4217 HAS SOUS 1249 HAS SOUPS 1247 WITH SCORE 1251.219
AT ITER 1716 NEW BEST:: SOT 13769 SOS 4215 HAS SOPS 4213 HAS SOUS 1247 HAS SOUPS 1245 WITH SCORE 1249.215
AT ITER 2439 NEW BEST:: SOT 13769 SOS 4213 HAS SOPS 4211 HAS SOUS 1247 HAS SOUPS 1245 WITH SCORE 1249.213
AT ITER 3241 NEW BEST:: SOT 13769 SOS 4209 HAS SOPS 4207 HAS SOUS 1247 HAS SOUPS 1245 WITH SCORE 1249.209
AT ITER 3510 NEW BEST:: SOT 13769 SOS 4206 HAS SOPS 4204 HAS SOUS 1242 HAS SOUPS 1240 WITH SCORE 1244.206
AT ITER 3629 NEW BEST:: SOT 13765 SOS 4194 HAS SOPS 4192 HAS SOUS 1242 HAS SOUPS 1240 WITH SCORE 1244.194
AT ITER 3914 NEW BEST:: SOT 13763 SOS 4191 HAS SOPS 4189 HAS SOUS 1241 HAS SOUPS 1239 WITH SCORE 1243.191
AT ITER 4262 NEW BEST:: SOT 13761 SOS 4187 HAS SOPS 4185 HAS SOUS 1239 HAS SOUPS 1237 WITH SCORE 1241.187
AT ITER 4448 NEW BEST:: SOT 13759 SOS 4186 HAS SOPS 4184 HAS SOUS 1238 HAS SOUPS 1236 WITH SCORE 1240.186
AT ITER 8766 NEW BEST:: SOT 13757 SOS 4184 HAS SOPS 4182 HAS SOUS 1238 HAS SOUPS 1236 WITH SCORE 1240.184

BK_STOP 1678447608750

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Killed ${SMART}/smart ${INPUT_SM}

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="DNAwalker-PT-17redondantChoiceL"
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 DNAwalker-PT-17redondantChoiceL, 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 r107-tall-167814485001008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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