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.r011-oct2-167813600100352.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Angiogenesis-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600100352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 8.3K Feb 26 14:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 33K 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 1678733941598

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=Angiogenesis-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:59:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:59:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:59:04] [INFO ] Load time of PNML (sax parser for PT used): 49 ms
[2023-03-13 18:59:04] [INFO ] Transformed 39 places.
[2023-03-13 18:59:04] [INFO ] Transformed 64 transitions.
[2023-03-13 18:59:04] [INFO ] Parsed PT model containing 39 places and 64 transitions and 185 arcs in 225 ms.
[2023-03-13 18:59:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 39 places, 64 transitions and 185 arcs took 6 ms.
Total runtime 265 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Angiogenesis (PT), instance 20
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: 39 places, 64 transitions, 185 arcs.
AT ITER 0 NEW BEST:: SOT 1589 SOS 744 HAS SOPS 744 HAS SOUS 583 HAS SOUPS 583 WITH SCORE 583.744
AT ITER 4 NEW BEST:: SOT 1589 SOS 745 HAS SOPS 745 HAS SOUS 582 HAS SOUPS 582 WITH SCORE 582.745
AT ITER 5 NEW BEST:: SOT 1573 SOS 736 HAS SOPS 736 HAS SOUS 562 HAS SOUPS 562 WITH SCORE 562.736
AT ITER 7 NEW BEST:: SOT 1548 SOS 720 HAS SOPS 720 HAS SOUS 543 HAS SOUPS 543 WITH SCORE 543.72
AT ITER 19 NEW BEST:: SOT 1539 SOS 707 HAS SOPS 707 HAS SOUS 514 HAS SOUPS 514 WITH SCORE 514.707
AT ITER 35 NEW BEST:: SOT 1524 SOS 698 HAS SOPS 698 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.698
AT ITER 44 NEW BEST:: SOT 1522 SOS 696 HAS SOPS 696 HAS SOUS 504 HAS SOUPS 504 WITH SCORE 504.696
AT ITER 49 NEW BEST:: SOT 1523 SOS 695 HAS SOPS 695 HAS SOUS 503 HAS SOUPS 503 WITH SCORE 503.695
AT ITER 50 NEW BEST:: SOT 1519 SOS 697 HAS SOPS 697 HAS SOUS 501 HAS SOUPS 501 WITH SCORE 501.697
AT ITER 58 NEW BEST:: SOT 1509 SOS 723 HAS SOPS 723 HAS SOUS 497 HAS SOUPS 497 WITH SCORE 497.723
AT ITER 82 NEW BEST:: SOT 1505 SOS 722 HAS SOPS 722 HAS SOUS 494 HAS SOUPS 494 WITH SCORE 494.722
AT ITER 86 NEW BEST:: SOT 1507 SOS 721 HAS SOPS 721 HAS SOUS 486 HAS SOUPS 486 WITH SCORE 486.721
AT ITER 88 NEW BEST:: SOT 1509 SOS 720 HAS SOPS 720 HAS SOUS 485 HAS SOUPS 485 WITH SCORE 485.72
AT ITER 96 NEW BEST:: SOT 1499 SOS 713 HAS SOPS 713 HAS SOUS 472 HAS SOUPS 472 WITH SCORE 472.713
AT ITER 135 NEW BEST:: SOT 1496 SOS 711 HAS SOPS 711 HAS SOUS 472 HAS SOUPS 472 WITH SCORE 472.711
AT ITER 145 NEW BEST:: SOT 1496 SOS 707 HAS SOPS 707 HAS SOUS 472 HAS SOUPS 472 WITH SCORE 472.707
AT ITER 146 NEW BEST:: SOT 1495 SOS 705 HAS SOPS 705 HAS SOUS 470 HAS SOUPS 470 WITH SCORE 470.705
AT ITER 158 NEW BEST:: SOT 1499 SOS 677 HAS SOPS 677 HAS SOUS 468 HAS SOUPS 468 WITH SCORE 468.677
AT ITER 166 NEW BEST:: SOT 1497 SOS 647 HAS SOPS 647 HAS SOUS 462 HAS SOUPS 462 WITH SCORE 462.647
AT ITER 171 NEW BEST:: SOT 1493 SOS 632 HAS SOPS 632 HAS SOUS 453 HAS SOUPS 453 WITH SCORE 453.632
AT ITER 176 NEW BEST:: SOT 1493 SOS 630 HAS SOPS 630 HAS SOUS 443 HAS SOUPS 443 WITH SCORE 443.63
AT ITER 206 NEW BEST:: SOT 1487 SOS 626 HAS SOPS 626 HAS SOUS 443 HAS SOUPS 443 WITH SCORE 443.626
AT ITER 226 NEW BEST:: SOT 1487 SOS 624 HAS SOPS 624 HAS SOUS 442 HAS SOUPS 442 WITH SCORE 442.624
AT ITER 253 NEW BEST:: SOT 1495 SOS 617 HAS SOPS 617 HAS SOUS 437 HAS SOUPS 437 WITH SCORE 437.617
AT ITER 254 NEW BEST:: SOT 1493 SOS 613 HAS SOPS 613 HAS SOUS 433 HAS SOUPS 433 WITH SCORE 433.613
AT ITER 280 NEW BEST:: SOT 1480 SOS 621 HAS SOPS 621 HAS SOUS 419 HAS SOUPS 419 WITH SCORE 419.621
AT ITER 323 NEW BEST:: SOT 1479 SOS 620 HAS SOPS 620 HAS SOUS 418 HAS SOUPS 418 WITH SCORE 418.62
AT ITER 336 NEW BEST:: SOT 1475 SOS 618 HAS SOPS 618 HAS SOUS 415 HAS SOUPS 415 WITH SCORE 415.618
AT ITER 349 NEW BEST:: SOT 1472 SOS 615 HAS SOPS 615 HAS SOUS 412 HAS SOUPS 412 WITH SCORE 412.615
AT ITER 352 NEW BEST:: SOT 1472 SOS 611 HAS SOPS 611 HAS SOUS 410 HAS SOUPS 410 WITH SCORE 410.611
AT ITER 408 NEW BEST:: SOT 1472 SOS 608 HAS SOPS 608 HAS SOUS 409 HAS SOUPS 409 WITH SCORE 409.608
AT ITER 450 NEW BEST:: SOT 1466 SOS 608 HAS SOPS 608 HAS SOUS 407 HAS SOUPS 407 WITH SCORE 407.608
AT ITER 479 NEW BEST:: SOT 1466 SOS 610 HAS SOPS 610 HAS SOUS 406 HAS SOUPS 406 WITH SCORE 406.61
AT ITER 503 NEW BEST:: SOT 1463 SOS 616 HAS SOPS 616 HAS SOUS 403 HAS SOUPS 403 WITH SCORE 403.616
AT ITER 531 NEW BEST:: SOT 1461 SOS 616 HAS SOPS 616 HAS SOUS 402 HAS SOUPS 402 WITH SCORE 402.616
AT ITER 703 NEW BEST:: SOT 1461 SOS 617 HAS SOPS 617 HAS SOUS 400 HAS SOUPS 400 WITH SCORE 400.617
AT ITER 744 NEW BEST:: SOT 1459 SOS 615 HAS SOPS 615 HAS SOUS 398 HAS SOUPS 398 WITH SCORE 398.615
AT ITER 772 NEW BEST:: SOT 1455 SOS 617 HAS SOPS 617 HAS SOUS 395 HAS SOUPS 395 WITH SCORE 395.617
AT ITER 795 NEW BEST:: SOT 1450 SOS 617 HAS SOPS 617 HAS SOUS 390 HAS SOUPS 390 WITH SCORE 390.617
AT ITER 831 NEW BEST:: SOT 1448 SOS 615 HAS SOPS 615 HAS SOUS 386 HAS SOUPS 386 WITH SCORE 386.615
AT ITER 845 NEW BEST:: SOT 1444 SOS 615 HAS SOPS 615 HAS SOUS 381 HAS SOUPS 381 WITH SCORE 381.615
AT ITER 848 NEW BEST:: SOT 1440 SOS 621 HAS SOPS 621 HAS SOUS 379 HAS SOUPS 379 WITH SCORE 379.621
AT ITER 857 NEW BEST:: SOT 1439 SOS 619 HAS SOPS 619 HAS SOUS 378 HAS SOUPS 378 WITH SCORE 378.619
AT ITER 888 NEW BEST:: SOT 1439 SOS 617 HAS SOPS 617 HAS SOUS 378 HAS SOUPS 378 WITH SCORE 378.617
AT ITER 1023 NEW BEST:: SOT 1434 SOS 653 HAS SOPS 653 HAS SOUS 375 HAS SOUPS 375 WITH SCORE 375.653
AT ITER 1034 NEW BEST:: SOT 1434 SOS 652 HAS SOPS 652 HAS SOUS 375 HAS SOUPS 375 WITH SCORE 375.652
AT ITER 1151 NEW BEST:: SOT 1432 SOS 650 HAS SOPS 650 HAS SOUS 371 HAS SOUPS 371 WITH SCORE 371.65
AT ITER 1329 NEW BEST:: SOT 1434 SOS 638 HAS SOPS 638 HAS SOUS 371 HAS SOUPS 371 WITH SCORE 371.638
AT ITER 1382 NEW BEST:: SOT 1431 SOS 635 HAS SOPS 635 HAS SOUS 365 HAS SOUPS 365 WITH SCORE 365.635
AT ITER 1679 NEW BEST:: SOT 1431 SOS 633 HAS SOPS 633 HAS SOUS 363 HAS SOUPS 363 WITH SCORE 363.633
STATE_SPACE STATES 351820047967344849 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 160 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10195152722210004733 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678734052896

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Angiogenesis-PT-20"
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 Angiogenesis-PT-20, 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 r011-oct2-167813600100352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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