Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r173-oct2-155297753400280.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is TokenRing-COL-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r173-oct2-155297753400280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.7K Feb 12 21:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 21:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 9 05:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 9 05:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 5 01:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.5K Feb 5 01:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 22:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 23:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 1 23:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 58K Mar 10 17:31 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 1553229303997

04:35:30.060 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
04:35:30.065 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/StateSpace.pnml.gal, -t, CGAL, --stats], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/StateSpace.pnml.gal -t CGAL --stats

BK_STOP 1553230323258

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StateSpace = StateSpace ]]
+ [[ -f modelMain.xml ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution StateSpace -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination StateSpace -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 22, 2019 4:35:05 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 22, 2019 4:35:05 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 22, 2019 4:35:05 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 24801 ms
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 1 places.
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Couple->state,

Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 2 transitions.
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 22, 2019 4:35:30 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 14 ms
Mar 22, 2019 4:35:30 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 22, 2019 4:39:33 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 20301.0 instantiations of transitions. Total transitions/syncs built is 1010101
Mar 22, 2019 4:41:22 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 352117 ms
Mar 22, 2019 4:45:32 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 237153 ms
Mar 22, 2019 4:47:08 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 22, 2019 4:47:08 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_0 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_1 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_2 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_3 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_4 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_5 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_6 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_7 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_8 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_9 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_10 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_11 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_12 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_13 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_14 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_15 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_16 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_17 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_18 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_19 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_20 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_21 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_22 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_23 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_24 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_25 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_26 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_27 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_28 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_29 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_30 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_31 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_32 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_33 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_34 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_35 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_36 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_37 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_38 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_39 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_40 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_41 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_42 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_43 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_44 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_45 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_46 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_47 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_48 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_49 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_50 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_51 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_52 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_53 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_54 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_55 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_56 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_57 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_58 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_59 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_60 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_61 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_62 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_63 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_64 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_65 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_66 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_67 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_68 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_69 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_70 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_71 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_72 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_73 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_74 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_75 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_76 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_77 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_78 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_79 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_80 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_81 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_82 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_83 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_84 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_85 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_86 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_87 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_88 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_89 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_90 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_91 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_92 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_93 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_94 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_95 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_96 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_97 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_98 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_99 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_100 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_101 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_102 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_103 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_104 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_105 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_106 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_107 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_108 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_109 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_110 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_111 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_112 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_113 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_114 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_115 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_116 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_117 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_118 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_119 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_120 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_121 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_122 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_123 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_124 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_125 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_126 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_127 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_128 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_129 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_130 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_131 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_132 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_133 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_134 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_135 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_136 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_137 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_138 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_139 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_140 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_141 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_142 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_143 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_144 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_145 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_146 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_147 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_148 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_149 in partition

Mar 22, 2019 4:49:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to state_150 in partition


Huge log file (over 1GB) shortened here

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="TokenRing-COL-100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-3954"
echo " Executing tool itstools"
echo " Input is TokenRing-COL-100, 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 r173-oct2-155297753400280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-100.tgz
mv TokenRing-COL-100 execution
cd execution
if [ "StateSpace" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "StateSpace" = "UpperBounds" ] ; 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
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 ;