Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858500392.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 FamilyReunion-COL-L12000M1200C600P600G300, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858500392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 9.2K Feb 26 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 930K 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 1679461609134

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=FamilyReunion-COL-L12000M1200C600P600G300
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 05:06:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 05:06:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 05:06:50] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 05:06:50] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 05:06:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 659 ms
[2023-03-22 05:06:53] [INFO ] Detected 5 constant HL places corresponding to 3006 PT places.
[2023-03-22 05:06:53] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 451140109 PT places and 4.3286467E8 transition bindings in 2718 ms.
Total runtime 375901 ms.
Its-tools:
An error has occurred. See the log file
/home/mcc/BenchKit/itstools/itstools/configuration/1679461609712.log.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L12000M1200C600P600G300
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: 104 places, 66 transitions, 198 arcs.
AT ITER 0 NEW BEST:: SOT 3816 SOS 543 HAS SOPS 539 HAS SOUS 543 HAS SOUPS 539 WITH SCORE 539.543
AT ITER 58 NEW BEST:: SOT 3812 SOS 537 HAS SOPS 533 HAS SOUS 537 HAS SOUPS 533 WITH SCORE 533.537
AT ITER 60 NEW BEST:: SOT 3821 SOS 549 HAS SOPS 525 HAS SOUS 549 HAS SOUPS 525 WITH SCORE 525.549
AT ITER 82 NEW BEST:: SOT 3818 SOS 546 HAS SOPS 522 HAS SOUS 546 HAS SOUPS 522 WITH SCORE 522.546
AT ITER 92 NEW BEST:: SOT 3817 SOS 545 HAS SOPS 521 HAS SOUS 545 HAS SOUPS 521 WITH SCORE 521.545
AT ITER 93 NEW BEST:: SOT 3817 SOS 544 HAS SOPS 520 HAS SOUS 544 HAS SOUPS 520 WITH SCORE 520.544
AT ITER 117 NEW BEST:: SOT 3811 SOS 538 HAS SOPS 520 HAS SOUS 538 HAS SOUPS 520 WITH SCORE 520.538
AT ITER 141 NEW BEST:: SOT 3808 SOS 534 HAS SOPS 516 HAS SOUS 534 HAS SOUPS 516 WITH SCORE 516.534
AT ITER 198 NEW BEST:: SOT 3808 SOS 532 HAS SOPS 514 HAS SOUS 532 HAS SOUPS 514 WITH SCORE 514.532
AT ITER 208 NEW BEST:: SOT 3807 SOS 531 HAS SOPS 513 HAS SOUS 531 HAS SOUPS 513 WITH SCORE 513.531
AT ITER 219 NEW BEST:: SOT 3803 SOS 529 HAS SOPS 511 HAS SOUS 529 HAS SOUPS 511 WITH SCORE 511.529
AT ITER 236 NEW BEST:: SOT 3802 SOS 528 HAS SOPS 510 HAS SOUS 528 HAS SOUPS 510 WITH SCORE 510.528
AT ITER 246 NEW BEST:: SOT 3801 SOS 526 HAS SOPS 508 HAS SOUS 526 HAS SOUPS 508 WITH SCORE 508.526
AT ITER 281 NEW BEST:: SOT 3800 SOS 524 HAS SOPS 506 HAS SOUS 524 HAS SOUPS 506 WITH SCORE 506.524
AT ITER 315 NEW BEST:: SOT 3799 SOS 522 HAS SOPS 504 HAS SOUS 522 HAS SOUPS 504 WITH SCORE 504.522
AT ITER 344 NEW BEST:: SOT 3799 SOS 525 HAS SOPS 503 HAS SOUS 525 HAS SOUPS 503 WITH SCORE 503.525
AT ITER 346 NEW BEST:: SOT 3797 SOS 518 HAS SOPS 496 HAS SOUS 518 HAS SOUPS 496 WITH SCORE 496.518
AT ITER 374 NEW BEST:: SOT 3795 SOS 517 HAS SOPS 495 HAS SOUS 517 HAS SOUPS 495 WITH SCORE 495.517
AT ITER 511 NEW BEST:: SOT 3793 SOS 514 HAS SOPS 492 HAS SOUS 514 HAS SOUPS 492 WITH SCORE 492.514
AT ITER 518 NEW BEST:: SOT 3787 SOS 508 HAS SOPS 492 HAS SOUS 508 HAS SOUPS 492 WITH SCORE 492.508
AT ITER 630 NEW BEST:: SOT 3784 SOS 504 HAS SOPS 488 HAS SOUS 504 HAS SOUPS 488 WITH SCORE 488.504
AT ITER 713 NEW BEST:: SOT 3781 SOS 501 HAS SOPS 485 HAS SOUS 501 HAS SOUPS 485 WITH SCORE 485.501
AT ITER 744 NEW BEST:: SOT 3781 SOS 500 HAS SOPS 484 HAS SOUS 500 HAS SOUPS 484 WITH SCORE 484.5
AT ITER 820 NEW BEST:: SOT 3779 SOS 498 HAS SOPS 482 HAS SOUS 498 HAS SOUPS 482 WITH SCORE 482.498
AT ITER 906 NEW BEST:: SOT 3778 SOS 496 HAS SOPS 480 HAS SOUS 496 HAS SOUPS 480 WITH SCORE 480.496
AT ITER 974 NEW BEST:: SOT 3778 SOS 495 HAS SOPS 479 HAS SOUS 495 HAS SOUPS 479 WITH SCORE 479.495
AT ITER 1073 NEW BEST:: SOT 3778 SOS 494 HAS SOPS 479 HAS SOUS 494 HAS SOUPS 479 WITH SCORE 479.494
AT ITER 1333 NEW BEST:: SOT 3778 SOS 494 HAS SOPS 476 HAS SOUS 494 HAS SOUPS 476 WITH SCORE 476.494
AT ITER 1829 NEW BEST:: SOT 3774 SOS 491 HAS SOPS 467 HAS SOUS 491 HAS SOUPS 467 WITH SCORE 467.491
AT ITER 1983 NEW BEST:: SOT 3770 SOS 488 HAS SOPS 464 HAS SOUS 488 HAS SOUPS 464 WITH SCORE 464.488
AT ITER 2004 NEW BEST:: SOT 3769 SOS 487 HAS SOPS 463 HAS SOUS 487 HAS SOUPS 463 WITH SCORE 463.487
AT ITER 2032 NEW BEST:: SOT 3769 SOS 486 HAS SOPS 463 HAS SOUS 486 HAS SOUPS 463 WITH SCORE 463.486
AT ITER 2071 NEW BEST:: SOT 3767 SOS 482 HAS SOPS 459 HAS SOUS 482 HAS SOUPS 459 WITH SCORE 459.482
AT ITER 2076 NEW BEST:: SOT 3765 SOS 480 HAS SOPS 457 HAS SOUS 480 HAS SOUPS 457 WITH SCORE 457.48
AT ITER 2117 NEW BEST:: SOT 3760 SOS 475 HAS SOPS 457 HAS SOUS 475 HAS SOUPS 457 WITH SCORE 457.475
AT ITER 2224 NEW BEST:: SOT 3765 SOS 474 HAS SOPS 456 HAS SOUS 474 HAS SOUPS 456 WITH SCORE 456.474
AT ITER 2287 NEW BEST:: SOT 3759 SOS 466 HAS SOPS 448 HAS SOUS 466 HAS SOUPS 448 WITH SCORE 448.466
AT ITER 2394 NEW BEST:: SOT 3758 SOS 464 HAS SOPS 446 HAS SOUS 464 HAS SOUPS 446 WITH SCORE 446.464
AT ITER 2397 NEW BEST:: SOT 3757 SOS 462 HAS SOPS 444 HAS SOUS 462 HAS SOUPS 444 WITH SCORE 444.462
AT ITER 2458 NEW BEST:: SOT 3757 SOS 460 HAS SOPS 442 HAS SOUS 460 HAS SOUPS 442 WITH SCORE 442.46
AT ITER 2459 NEW BEST:: SOT 3757 SOS 460 HAS SOPS 441 HAS SOUS 460 HAS SOUPS 441 WITH SCORE 441.46
AT ITER 2491 NEW BEST:: SOT 3755 SOS 456 HAS SOPS 441 HAS SOUS 456 HAS SOUPS 441 WITH SCORE 441.456
AT ITER 2500 NEW BEST:: SOT 3752 SOS 455 HAS SOPS 440 HAS SOUS 455 HAS SOUPS 440 WITH SCORE 440.455
AT ITER 2731 NEW BEST:: SOT 3750 SOS 453 HAS SOPS 440 HAS SOUS 453 HAS SOUPS 440 WITH SCORE 440.453
AT ITER 3167 NEW BEST:: SOT 3750 SOS 452 HAS SOPS 439 HAS SOUS 452 HAS SOUPS 439 WITH SCORE 439.452
AT ITER 3230 NEW BEST:: SOT 3749 SOS 450 HAS SOPS 437 HAS SOUS 450 HAS SOUPS 437 WITH SCORE 437.45
AT ITER 3591 NEW BEST:: SOT 3748 SOS 450 HAS SOPS 436 HAS SOUS 450 HAS SOUPS 436 WITH SCORE 436.45
AT ITER 3593 NEW BEST:: SOT 3746 SOS 448 HAS SOPS 436 HAS SOUS 448 HAS SOUPS 436 WITH SCORE 436.448
AT ITER 3632 NEW BEST:: SOT 3745 SOS 447 HAS SOPS 435 HAS SOUS 447 HAS SOUPS 435 WITH SCORE 435.447
AT ITER 3712 NEW BEST:: SOT 3743 SOS 443 HAS SOPS 429 HAS SOUS 443 HAS SOUPS 429 WITH SCORE 429.443
AT ITER 3731 NEW BEST:: SOT 3743 SOS 442 HAS SOPS 428 HAS SOUS 442 HAS SOUPS 428 WITH SCORE 428.442
AT ITER 3740 NEW BEST:: SOT 3743 SOS 441 HAS SOPS 428 HAS SOUS 441 HAS SOUPS 428 WITH SCORE 428.441
AT ITER 3897 NEW BEST:: SOT 3744 SOS 438 HAS SOPS 425 HAS SOUS 438 HAS SOUPS 425 WITH SCORE 425.438
AT ITER 4163 NEW BEST:: SOT 3744 SOS 436 HAS SOPS 423 HAS SOUS 436 HAS SOUPS 423 WITH SCORE 423.436
AT ITER 4445 NEW BEST:: SOT 3740 SOS 435 HAS SOPS 422 HAS SOUS 435 HAS SOUPS 422 WITH SCORE 422.435
AT ITER 5012 NEW BEST:: SOT 3739 SOS 434 HAS SOPS 421 HAS SOUS 434 HAS SOUPS 421 WITH SCORE 421.434
AT ITER 5159 NEW BEST:: SOT 3736 SOS 433 HAS SOPS 420 HAS SOUS 433 HAS SOUPS 420 WITH SCORE 420.433
AT ITER 5278 NEW BEST:: SOT 3735 SOS 432 HAS SOPS 420 HAS SOUS 432 HAS SOUPS 420 WITH SCORE 420.432
AT ITER 5497 NEW BEST:: SOT 3734 SOS 431 HAS SOPS 420 HAS SOUS 431 HAS SOUPS 420 WITH SCORE 420.431
AT ITER 5865 NEW BEST:: SOT 3733 SOS 430 HAS SOPS 420 HAS SOUS 430 HAS SOUPS 420 WITH SCORE 420.43
AT ITER 6414 NEW BEST:: SOT 3730 SOS 428 HAS SOPS 418 HAS SOUS 428 HAS SOUPS 418 WITH SCORE 418.428
AT ITER 7979 NEW BEST:: SOT 3729 SOS 426 HAS SOPS 416 HAS SOUS 426 HAS SOUPS 416 WITH SCORE 416.426
AT ITER 8553 NEW BEST:: SOT 3728 SOS 425 HAS SOPS 415 HAS SOUS 425 HAS SOUPS 415 WITH SCORE 415.425
AT ITER 8853 NEW BEST:: SOT 3727 SOS 420 HAS SOPS 410 HAS SOUS 420 HAS SOUPS 410 WITH SCORE 410.42
AT ITER 9951 NEW BEST:: SOT 3727 SOS 419 HAS SOPS 409 HAS SOUS 419 HAS SOUPS 409 WITH SCORE 409.419
STATE_SPACE STATES 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 0 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 0 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 0 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679462000753

--------------------
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
WARNING:
No initial marking given, assuming zero
within model automodel built in file model.sm near line 383

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="FamilyReunion-COL-L12000M1200C600P600G300"
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 FamilyReunion-COL-L12000M1200C600P600G300, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858500392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L12000M1200C600P600G300.tgz
mv FamilyReunion-COL-L12000M1200C600P600G300 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 ;