Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r203-csrt-155344537600095.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off 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 itstoolsm
Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-csrt-155344537600095
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.8K Mar 24 07:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 24 07:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 24 06:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 24 06:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 24 06:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 24 06:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 24 06:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Mar 24 06:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 24 00:18 NewModel
-rw-r--r-- 1 mcc users 3.9K Mar 24 06:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 24 06:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 132 Mar 24 06:27 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 370 Mar 24 06:27 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K Mar 24 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 24 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 24 06:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 06:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 00:18 instance
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 iscolored
-rw-r--r-- 1 mcc users 137K Mar 24 00:18 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-00
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-01
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-02
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-03
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-04
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-05
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-06
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-07
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-08
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-09
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-10
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-11
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-12
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-13
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-14
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1553830572040

03:36:14.591 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
03:36:14.594 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl --load-order /home/mcc/execution/model.ord
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
sparsehash FATAL ERROR: failed to allocate 42 groups
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 2412 ordering constraints for composite.
sparsehash FATAL ERROR: failed to allocate 42 groups
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLFireability.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLFireability.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 2412 ordering constraints for composite.
sparsehash FATAL ERROR: failed to allocate 44 groups

BK_STOP 1553832696342

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -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 CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -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 29, 2019 3:36:14 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Mar 29, 2019 3:36:14 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 29, 2019 3:36:14 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 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1033 ms
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 104 places.
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
Response->r0,
CINFORMI->c2,c4,c7,c0,c1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LxC->c3,cl2,c5,c6,cl0,cl1,
GovernmentCommission->g0,g2,g4,
LxR->gl1,l37,l39,l40,
MICSystem->m0,m8,m11,
PublicAdminOffice->p0,p7,p8,p10,p11,
LxG->g1,gl0,g3,

Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 66 transitions.
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 29, 2019 3:36:15 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 27 ms
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:36:15 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-5], p0[0-2], r0[0-1], c2[0-2], c0[0-2],
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 11522
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-5], p0[0-2], r0[0-1], c2[0-2], c0[0-2],
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 816 expressions due to constant valuations.
Mar 29, 2019 3:36:16 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 3:36:17 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 51 uncalled transitions from type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:36:17 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1348 ms
Mar 29, 2019 3:37:09 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 6167 transitions. Expanding to a total of 11675 deterministic transitions.
Mar 29, 2019 3:37:09 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 72 ms.
Mar 29, 2019 3:37:09 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 12228 places.
Mar 29, 2019 3:37:09 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 10560 transitions.
Mar 29, 2019 3:37:40 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 75 ms
Mar 29, 2019 3:37:40 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 21 ms
ITS-tools command line returned an error code 1
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c0[0-2], r0[0-1], c2[0-2], m0[0-5], p0[0-2],
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 11522
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c0[0-2], r0[0-1], c2[0-2], m0[0-5], p0[0-2],
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 816 expressions due to constant valuations.
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 3:52:04 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 51 uncalled transitions from type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 3:52:05 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1094 ms
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 51 fixed domain variables (out of 12228 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 51 constant array cells/variables (out of 12228 variables) in type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_7,l40_95,l40_9,l40_59,l40_63,l40_19,l40_57,l40_79,l40_83,l40_15,l40_67,l40_25,l40_93,l40_61,l40_39,l40_17,l40_91,l40_101,l40_85,l40_37,l40_41,l40_53,l40_73,l40_71,l40_87,l40_23,l40_77,l40_5,l40_29,l40_75,l40_27,l40_89,l40_65,l40_51,l40_45,l40_3,l40_69,l40_1,l40_11,l40_21,l40_81,l40_35,l40_55,l40_99,l40_49,l40_13,l40_47,l40_33,l40_43,l40_31,l40_97,
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 51 fixed domain variables (out of 12228 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 51 constant array cells/variables (out of 12228 variables) in type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 3:52:58 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_7,l40_95,l40_9,l40_59,l40_63,l40_19,l40_57,l40_79,l40_83,l40_15,l40_67,l40_25,l40_93,l40_61,l40_39,l40_17,l40_91,l40_101,l40_85,l40_37,l40_41,l40_53,l40_73,l40_71,l40_87,l40_23,l40_77,l40_5,l40_29,l40_75,l40_27,l40_89,l40_65,l40_51,l40_45,l40_3,l40_69,l40_1,l40_11,l40_21,l40_81,l40_35,l40_55,l40_99,l40_49,l40_13,l40_47,l40_33,l40_43,l40_31,l40_97,
Mar 29, 2019 3:52:59 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 51 constant variables :l40_7=0, l40_95=0, l40_9=0, l40_59=0, l40_63=0, l40_19=0, l40_57=0, l40_79=0, l40_83=0, l40_15=0, l40_67=0, l40_25=0, l40_93=0, l40_61=0, l40_39=0, l40_17=0, l40_91=0, l40_101=0, l40_85=0, l40_37=0, l40_41=0, l40_53=0, l40_73=0, l40_71=0, l40_87=0, l40_23=0, l40_77=0, l40_5=0, l40_29=0, l40_75=0, l40_27=0, l40_89=0, l40_65=0, l40_51=0, l40_45=0, l40_3=0, l40_69=0, l40_1=0, l40_11=0, l40_21=0, l40_81=0, l40_35=0, l40_55=0, l40_99=0, l40_49=0, l40_13=0, l40_47=0, l40_33=0, l40_43=0, l40_31=0, l40_97=0
Mar 29, 2019 3:52:59 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 3:52:59 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1504 ms
Mar 29, 2019 3:52:59 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 29, 2019 3:53:00 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_46,ReceiveRegsitrationl_0_46,Gate3XORSplitl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ClearanceReqReceivedl_0_46,TransmitReql_0_46,TransmitReql_0_46,AppointReceivedl_0_46,AppointReceivedl_0_46,AppReqReceivedl_0_46,AppReqReceivedl_0_46,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_26,ReceiveRegsitrationl_0_26,Gate3XORSplitl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ClearanceReqReceivedl_0_26,TransmitReql_0_26,TransmitReql_0_26,AppointReceivedl_0_26,AppointReceivedl_0_26,AppReqReceivedl_0_26,AppReqReceivedl_0_26,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_34,ReceiveRegsitrationl_0_34,Gate3XORSplitl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ClearanceReqReceivedl_0_34,TransmitReql_0_34,TransmitReql_0_34,AppointReceivedl_0_34,AppointReceivedl_0_34,AppReqReceivedl_0_34,AppReqReceivedl_0_34,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_9,ReceiveRegsitrationl_0_9,Gate3XORSplitl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ClearanceReqReceivedl_0_9,TransmitReql_0_9,TransmitReql_0_9,AppointReceivedl_0_9,AppointReceivedl_0_9,AppReqReceivedl_0_9,AppReqReceivedl_0_9,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_18,ReceiveRegsitrationl_0_18,Gate3XORSplitl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ClearanceReqReceivedl_0_18,TransmitReql_0_18,TransmitReql_0_18,AppointReceivedl_0_18,AppointReceivedl_0_18,AppReqReceivedl_0_18,AppReqReceivedl_0_18,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_20,ReceiveRegsitrationl_0_20,Gate3XORSplitl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ClearanceReqReceivedl_0_20,TransmitReql_0_20,TransmitReql_0_20,AppointReceivedl_0_20,AppointReceivedl_0_20,AppReqReceivedl_0_20,AppReqReceivedl_0_20,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_8,ReceiveRegsitrationl_0_8,Gate3XORSplitl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ClearanceReqReceivedl_0_8,TransmitReql_0_8,TransmitReql_0_8,AppointReceivedl_0_8,AppointReceivedl_0_8,AppReqReceivedl_0_8,AppReqReceivedl_0_8,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_0,ReceiveRegsitrationl_0_0,Gate3XORSplitl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ClearanceReqReceivedl_0_0,TransmitReql_0_0,TransmitReql_0_0,AppointReceivedl_0_0,AppointReceivedl_0_0,AppReqReceivedl_0_0,AppReqReceivedl_0_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_13,ReceiveRegsitrationl_0_13,Gate3XORSplitl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ClearanceReqReceivedl_0_13,TransmitReql_0_13,TransmitReql_0_13,AppointReceivedl_0_13,AppointReceivedl_0_13,AppReqReceivedl_0_13,AppReqReceivedl_0_13,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_6,ReceiveRegsitrationl_0_6,Gate3XORSplitl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ClearanceReqReceivedl_0_6,TransmitReql_0_6,TransmitReql_0_6,AppointReceivedl_0_6,AppointReceivedl_0_6,AppReqReceivedl_0_6,AppReqReceivedl_0_6,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_42,ReceiveRegsitrationl_0_42,Gate3XORSplitl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ClearanceReqReceivedl_0_42,TransmitReql_0_42,TransmitReql_0_42,AppointReceivedl_0_42,AppointReceivedl_0_42,AppReqReceivedl_0_42,AppReqReceivedl_0_42,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_31,ReceiveRegsitrationl_0_31,Gate3XORSplitl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ClearanceReqReceivedl_0_31,TransmitReql_0_31,TransmitReql_0_31,AppointReceivedl_0_31,AppointReceivedl_0_31,AppReqReceivedl_0_31,AppReqReceivedl_0_31,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_35,ReceiveRegsitrationl_0_35,Gate3XORSplitl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ClearanceReqReceivedl_0_35,TransmitReql_0_35,TransmitReql_0_35,AppointReceivedl_0_35,AppointReceivedl_0_35,AppReqReceivedl_0_35,AppReqReceivedl_0_35,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_39,ReceiveRegsitrationl_0_39,Gate3XORSplitl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ClearanceReqReceivedl_0_39,TransmitReql_0_39,TransmitReql_0_39,AppointReceivedl_0_39,AppointReceivedl_0_39,AppReqReceivedl_0_39,AppReqReceivedl_0_39,
Mar 29, 2019 3:53:04 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_49,ReceiveRegsitrationl_0_49,Gate3XORSplitl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ClearanceReqReceivedl_0_49,TransmitReql_0_49,TransmitReql_0_49,AppointReceivedl_0_49,AppointReceivedl_0_49,AppReqReceivedl_0_49,AppReqReceivedl_0_49,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_21,ReceiveRegsitrationl_0_21,Gate3XORSplitl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ClearanceReqReceivedl_0_21,TransmitReql_0_21,TransmitReql_0_21,AppointReceivedl_0_21,AppointReceivedl_0_21,AppReqReceivedl_0_21,AppReqReceivedl_0_21,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_47,ReceiveRegsitrationl_0_47,Gate3XORSplitl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ClearanceReqReceivedl_0_47,TransmitReql_0_47,TransmitReql_0_47,AppointReceivedl_0_47,AppointReceivedl_0_47,AppReqReceivedl_0_47,AppReqReceivedl_0_47,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_5,ReceiveRegsitrationl_0_5,Gate3XORSplitl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ClearanceReqReceivedl_0_5,TransmitReql_0_5,TransmitReql_0_5,AppointReceivedl_0_5,AppointReceivedl_0_5,AppReqReceivedl_0_5,AppReqReceivedl_0_5,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_41,ReceiveRegsitrationl_0_41,Gate3XORSplitl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ClearanceReqReceivedl_0_41,TransmitReql_0_41,TransmitReql_0_41,AppointReceivedl_0_41,AppointReceivedl_0_41,AppReqReceivedl_0_41,AppReqReceivedl_0_41,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_19,ReceiveRegsitrationl_0_19,Gate3XORSplitl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ClearanceReqReceivedl_0_19,TransmitReql_0_19,TransmitReql_0_19,AppointReceivedl_0_19,AppointReceivedl_0_19,AppReqReceivedl_0_19,AppReqReceivedl_0_19,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_24,ReceiveRegsitrationl_0_24,Gate3XORSplitl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ClearanceReqReceivedl_0_24,TransmitReql_0_24,TransmitReql_0_24,AppointReceivedl_0_24,AppointReceivedl_0_24,AppReqReceivedl_0_24,AppReqReceivedl_0_24,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_17,ReceiveRegsitrationl_0_17,Gate3XORSplitl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ClearanceReqReceivedl_0_17,TransmitReql_0_17,TransmitReql_0_17,AppointReceivedl_0_17,AppointReceivedl_0_17,AppReqReceivedl_0_17,AppReqReceivedl_0_17,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_30,ReceiveRegsitrationl_0_30,Gate3XORSplitl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ClearanceReqReceivedl_0_30,TransmitReql_0_30,TransmitReql_0_30,AppointReceivedl_0_30,AppointReceivedl_0_30,AppReqReceivedl_0_30,AppReqReceivedl_0_30,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_22,ReceiveRegsitrationl_0_22,Gate3XORSplitl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ClearanceReqReceivedl_0_22,TransmitReql_0_22,TransmitReql_0_22,AppointReceivedl_0_22,AppointReceivedl_0_22,AppReqReceivedl_0_22,AppReqReceivedl_0_22,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_16,ReceiveRegsitrationl_0_16,Gate3XORSplitl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ClearanceReqReceivedl_0_16,TransmitReql_0_16,TransmitReql_0_16,AppointReceivedl_0_16,AppointReceivedl_0_16,AppReqReceivedl_0_16,AppReqReceivedl_0_16,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_50,ReceiveRegsitrationl_0_50,Gate3XORSplitl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ClearanceReqReceivedl_0_50,TransmitReql_0_50,TransmitReql_0_50,AppointReceivedl_0_50,AppointReceivedl_0_50,AppReqReceivedl_0_50,AppReqReceivedl_0_50,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_11,ReceiveRegsitrationl_0_11,Gate3XORSplitl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ClearanceReqReceivedl_0_11,TransmitReql_0_11,TransmitReql_0_11,AppointReceivedl_0_11,AppointReceivedl_0_11,AppReqReceivedl_0_11,AppReqReceivedl_0_11,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_15,ReceiveRegsitrationl_0_15,Gate3XORSplitl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ClearanceReqReceivedl_0_15,TransmitReql_0_15,TransmitReql_0_15,AppointReceivedl_0_15,AppointReceivedl_0_15,AppReqReceivedl_0_15,AppReqReceivedl_0_15,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_1,ReceiveRegsitrationl_0_1,Gate3XORSplitl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ClearanceReqReceivedl_0_1,TransmitReql_0_1,TransmitReql_0_1,AppointReceivedl_0_1,AppointReceivedl_0_1,AppReqReceivedl_0_1,AppReqReceivedl_0_1,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_4,ReceiveRegsitrationl_0_4,Gate3XORSplitl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ClearanceReqReceivedl_0_4,TransmitReql_0_4,TransmitReql_0_4,AppointReceivedl_0_4,AppointReceivedl_0_4,AppReqReceivedl_0_4,AppReqReceivedl_0_4,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_25,ReceiveRegsitrationl_0_25,Gate3XORSplitl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ClearanceReqReceivedl_0_25,TransmitReql_0_25,TransmitReql_0_25,AppointReceivedl_0_25,AppointReceivedl_0_25,AppReqReceivedl_0_25,AppReqReceivedl_0_25,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_29,ReceiveRegsitrationl_0_29,Gate3XORSplitl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ClearanceReqReceivedl_0_29,TransmitReql_0_29,TransmitReql_0_29,AppointReceivedl_0_29,AppointReceivedl_0_29,AppReqReceivedl_0_29,AppReqReceivedl_0_29,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_27,ReceiveRegsitrationl_0_27,Gate3XORSplitl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ClearanceReqReceivedl_0_27,TransmitReql_0_27,TransmitReql_0_27,AppointReceivedl_0_27,AppointReceivedl_0_27,AppReqReceivedl_0_27,AppReqReceivedl_0_27,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_38,ReceiveRegsitrationl_0_38,Gate3XORSplitl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ClearanceReqReceivedl_0_38,TransmitReql_0_38,TransmitReql_0_38,AppointReceivedl_0_38,AppointReceivedl_0_38,AppReqReceivedl_0_38,AppReqReceivedl_0_38,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_48,ReceiveRegsitrationl_0_48,Gate3XORSplitl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ClearanceReqReceivedl_0_48,TransmitReql_0_48,TransmitReql_0_48,AppointReceivedl_0_48,AppointReceivedl_0_48,AppReqReceivedl_0_48,AppReqReceivedl_0_48,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_14,ReceiveRegsitrationl_0_14,Gate3XORSplitl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ClearanceReqReceivedl_0_14,TransmitReql_0_14,TransmitReql_0_14,AppointReceivedl_0_14,AppointReceivedl_0_14,AppReqReceivedl_0_14,AppReqReceivedl_0_14,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_40,ReceiveRegsitrationl_0_40,Gate3XORSplitl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ClearanceReqReceivedl_0_40,TransmitReql_0_40,TransmitReql_0_40,AppointReceivedl_0_40,AppointReceivedl_0_40,AppReqReceivedl_0_40,AppReqReceivedl_0_40,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_43,ReceiveRegsitrationl_0_43,Gate3XORSplitl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ClearanceReqReceivedl_0_43,TransmitReql_0_43,TransmitReql_0_43,AppointReceivedl_0_43,AppointReceivedl_0_43,AppReqReceivedl_0_43,AppReqReceivedl_0_43,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_36,ReceiveRegsitrationl_0_36,Gate3XORSplitl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ClearanceReqReceivedl_0_36,TransmitReql_0_36,TransmitReql_0_36,AppointReceivedl_0_36,AppointReceivedl_0_36,AppReqReceivedl_0_36,AppReqReceivedl_0_36,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_45,ReceiveRegsitrationl_0_45,Gate3XORSplitl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ClearanceReqReceivedl_0_45,TransmitReql_0_45,TransmitReql_0_45,AppointReceivedl_0_45,AppointReceivedl_0_45,AppReqReceivedl_0_45,AppReqReceivedl_0_45,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_7,ReceiveRegsitrationl_0_7,Gate3XORSplitl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ClearanceReqReceivedl_0_7,TransmitReql_0_7,TransmitReql_0_7,AppointReceivedl_0_7,AppointReceivedl_0_7,AppReqReceivedl_0_7,AppReqReceivedl_0_7,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_12,ReceiveRegsitrationl_0_12,Gate3XORSplitl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ClearanceReqReceivedl_0_12,TransmitReql_0_12,TransmitReql_0_12,AppointReceivedl_0_12,AppointReceivedl_0_12,AppReqReceivedl_0_12,AppReqReceivedl_0_12,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_10,ReceiveRegsitrationl_0_10,Gate3XORSplitl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ClearanceReqReceivedl_0_10,TransmitReql_0_10,TransmitReql_0_10,AppointReceivedl_0_10,AppointReceivedl_0_10,AppReqReceivedl_0_10,AppReqReceivedl_0_10,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_44,ReceiveRegsitrationl_0_44,Gate3XORSplitl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ClearanceReqReceivedl_0_44,TransmitReql_0_44,TransmitReql_0_44,AppointReceivedl_0_44,AppointReceivedl_0_44,AppReqReceivedl_0_44,AppReqReceivedl_0_44,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_23,ReceiveRegsitrationl_0_23,Gate3XORSplitl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ClearanceReqReceivedl_0_23,TransmitReql_0_23,TransmitReql_0_23,AppointReceivedl_0_23,AppointReceivedl_0_23,AppReqReceivedl_0_23,AppReqReceivedl_0_23,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_37,ReceiveRegsitrationl_0_37,Gate3XORSplitl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ClearanceReqReceivedl_0_37,TransmitReql_0_37,TransmitReql_0_37,AppointReceivedl_0_37,AppointReceivedl_0_37,AppReqReceivedl_0_37,AppReqReceivedl_0_37,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_33,ReceiveRegsitrationl_0_33,Gate3XORSplitl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ClearanceReqReceivedl_0_33,TransmitReql_0_33,TransmitReql_0_33,AppointReceivedl_0_33,AppointReceivedl_0_33,AppReqReceivedl_0_33,AppReqReceivedl_0_33,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 150 events :CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_28,ReceiveRegsitrationl_0_28,Gate3XORSplitl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ClearanceReqReceivedl_0_28,TransmitReql_0_28,TransmitReql_0_28,AppointReceivedl_0_28,AppointReceivedl_0_28,AppReqReceivedl_0_28,AppReqReceivedl_0_28,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 150 events :CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_2,ReceiveRegsitrationl_0_2,Gate3XORSplitl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ClearanceReqReceivedl_0_2,TransmitReql_0_2,TransmitReql_0_2,AppointReceivedl_0_2,AppointReceivedl_0_2,AppReqReceivedl_0_2,AppReqReceivedl_0_2,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_3,ReceiveRegsitrationl_0_3,Gate3XORSplitl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ClearanceReqReceivedl_0_3,TransmitReql_0_3,TransmitReql_0_3,AppointReceivedl_0_3,AppointReceivedl_0_3,AppReqReceivedl_0_3,AppReqReceivedl_0_3,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_32,ReceiveRegsitrationl_0_32,Gate3XORSplitl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ClearanceReqReceivedl_0_32,TransmitReql_0_32,TransmitReql_0_32,AppointReceivedl_0_32,AppointReceivedl_0_32,AppReqReceivedl_0_32,AppReqReceivedl_0_32,
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1815 redundant transitions.
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 3:53:05 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2136 ms
Mar 29, 2019 3:53:06 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 213 ms
Mar 29, 2019 3:53:06 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 36 ms
ITS-tools command line returned an error code 1
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: p0[0-2], r0[0-1], c2[0-2], c0[0-2], m0[0-5],
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 11522
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 12245 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 17 constant array cells/variables (out of 12245 variables) in type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: p0[0-2], r0[0-1], c2[0-2], c0[0-2], m0[0-5],
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 4:01:51 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 816 expressions due to constant valuations.
Mar 29, 2019 4:01:52 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 4:01:52 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 51 uncalled transitions from type FamilyReunion_COL_L00050M0005C002P002G001
Mar 29, 2019 4:01:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1311 ms
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 51 fixed domain variables (out of 12228 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 51 constant array cells/variables (out of 12228 variables) in type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_49,l40_81,l40_9,l40_23,l40_73,l40_3,l40_91,l40_59,l40_97,l40_53,l40_31,l40_57,l40_79,l40_63,l40_45,l40_77,l40_13,l40_75,l40_21,l40_41,l40_39,l40_33,l40_19,l40_61,l40_89,l40_25,l40_5,l40_35,l40_101,l40_95,l40_27,l40_71,l40_85,l40_7,l40_67,l40_43,l40_69,l40_83,l40_65,l40_51,l40_37,l40_15,l40_47,l40_99,l40_93,l40_1,l40_55,l40_87,l40_17,l40_11,l40_29,
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 51 fixed domain variables (out of 12228 variables) in GAL type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 51 constant array cells/variables (out of 12228 variables) in type FamilyReunion_COL_L00050M0005C002P002G001_flat
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_49,l40_81,l40_9,l40_23,l40_73,l40_3,l40_91,l40_59,l40_97,l40_53,l40_31,l40_57,l40_79,l40_63,l40_45,l40_77,l40_13,l40_75,l40_21,l40_41,l40_39,l40_33,l40_19,l40_61,l40_89,l40_25,l40_5,l40_35,l40_101,l40_95,l40_27,l40_71,l40_85,l40_7,l40_67,l40_43,l40_69,l40_83,l40_65,l40_51,l40_37,l40_15,l40_47,l40_99,l40_93,l40_1,l40_55,l40_87,l40_17,l40_11,l40_29,
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 51 constant variables :l40_49=0, l40_81=0, l40_9=0, l40_23=0, l40_73=0, l40_3=0, l40_91=0, l40_59=0, l40_97=0, l40_53=0, l40_31=0, l40_57=0, l40_79=0, l40_63=0, l40_45=0, l40_77=0, l40_13=0, l40_75=0, l40_21=0, l40_41=0, l40_39=0, l40_33=0, l40_19=0, l40_61=0, l40_89=0, l40_25=0, l40_5=0, l40_35=0, l40_101=0, l40_95=0, l40_27=0, l40_71=0, l40_85=0, l40_7=0, l40_67=0, l40_43=0, l40_69=0, l40_83=0, l40_65=0, l40_51=0, l40_37=0, l40_15=0, l40_47=0, l40_99=0, l40_93=0, l40_1=0, l40_55=0, l40_87=0, l40_17=0, l40_11=0, l40_29=0
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 706 ms
Mar 29, 2019 4:02:43 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 29, 2019 4:02:44 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_7,ReceiveRegsitrationl_0_7,Gate3XORSplitl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ReceiveInstructionsl_0_7,ClearanceReqReceivedl_0_7,TransmitReql_0_7,TransmitReql_0_7,AppointReceivedl_0_7,AppointReceivedl_0_7,AppReqReceivedl_0_7,AppReqReceivedl_0_7,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,ReceiveAppointReqm_0_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_13,ReceiveRegsitrationl_0_13,Gate3XORSplitl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ReceiveInstructionsl_0_13,ClearanceReqReceivedl_0_13,TransmitReql_0_13,TransmitReql_0_13,AppointReceivedl_0_13,AppointReceivedl_0_13,AppReqReceivedl_0_13,AppReqReceivedl_0_13,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 150 events :CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,CommunicateRespg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,EvaluateReqg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,SummonApplicantg_0_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_0,ReceiveRegsitrationl_0_0,Gate3XORSplitl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ReceiveInstructionsl_0_0,ClearanceReqReceivedl_0_0,TransmitReql_0_0,TransmitReql_0_0,AppointReceivedl_0_0,AppointReceivedl_0_0,AppReqReceivedl_0_0,AppReqReceivedl_0_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,CheckRequiredDocc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,SetUpAppointc_1_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_19,ReceiveRegsitrationl_0_19,Gate3XORSplitl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ReceiveInstructionsl_0_19,ClearanceReqReceivedl_0_19,TransmitReql_0_19,TransmitReql_0_19,AppointReceivedl_0_19,AppointReceivedl_0_19,AppReqReceivedl_0_19,AppReqReceivedl_0_19,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_21,ReceiveRegsitrationl_0_21,Gate3XORSplitl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ReceiveInstructionsl_0_21,ClearanceReqReceivedl_0_21,TransmitReql_0_21,TransmitReql_0_21,AppointReceivedl_0_21,AppointReceivedl_0_21,AppReqReceivedl_0_21,AppReqReceivedl_0_21,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,ReceiveAppointReqm_2_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_31,ReceiveRegsitrationl_0_31,Gate3XORSplitl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ReceiveInstructionsl_0_31,ClearanceReqReceivedl_0_31,TransmitReql_0_31,TransmitReql_0_31,AppointReceivedl_0_31,AppointReceivedl_0_31,AppReqReceivedl_0_31,AppReqReceivedl_0_31,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_4,ReceiveRegsitrationl_0_4,Gate3XORSplitl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ReceiveInstructionsl_0_4,ClearanceReqReceivedl_0_4,TransmitReql_0_4,TransmitReql_0_4,AppointReceivedl_0_4,AppointReceivedl_0_4,AppReqReceivedl_0_4,AppReqReceivedl_0_4,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_17,ReceiveRegsitrationl_0_17,Gate3XORSplitl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ReceiveInstructionsl_0_17,ClearanceReqReceivedl_0_17,TransmitReql_0_17,TransmitReql_0_17,AppointReceivedl_0_17,AppointReceivedl_0_17,AppReqReceivedl_0_17,AppReqReceivedl_0_17,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_26,ReceiveRegsitrationl_0_26,Gate3XORSplitl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ReceiveInstructionsl_0_26,ClearanceReqReceivedl_0_26,TransmitReql_0_26,TransmitReql_0_26,AppointReceivedl_0_26,AppointReceivedl_0_26,AppReqReceivedl_0_26,AppReqReceivedl_0_26,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_39,ReceiveRegsitrationl_0_39,Gate3XORSplitl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ReceiveInstructionsl_0_39,ClearanceReqReceivedl_0_39,TransmitReql_0_39,TransmitReql_0_39,AppointReceivedl_0_39,AppointReceivedl_0_39,AppReqReceivedl_0_39,AppReqReceivedl_0_39,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,RegisterRelativep_2_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_2,ReceiveRegsitrationl_0_2,Gate3XORSplitl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ReceiveInstructionsl_0_2,ClearanceReqReceivedl_0_2,TransmitReql_0_2,TransmitReql_0_2,AppointReceivedl_0_2,AppointReceivedl_0_2,AppReqReceivedl_0_2,AppReqReceivedl_0_2,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_30,ReceiveRegsitrationl_0_30,Gate3XORSplitl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ReceiveInstructionsl_0_30,ClearanceReqReceivedl_0_30,TransmitReql_0_30,TransmitReql_0_30,AppointReceivedl_0_30,AppointReceivedl_0_30,AppReqReceivedl_0_30,AppReqReceivedl_0_30,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,ReceiveAppointReqm_1_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_18,ReceiveRegsitrationl_0_18,Gate3XORSplitl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ReceiveInstructionsl_0_18,ClearanceReqReceivedl_0_18,TransmitReql_0_18,TransmitReql_0_18,AppointReceivedl_0_18,AppointReceivedl_0_18,AppReqReceivedl_0_18,AppReqReceivedl_0_18,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_40,ReceiveRegsitrationl_0_40,Gate3XORSplitl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ReceiveInstructionsl_0_40,ClearanceReqReceivedl_0_40,TransmitReql_0_40,TransmitReql_0_40,AppointReceivedl_0_40,AppointReceivedl_0_40,AppReqReceivedl_0_40,AppReqReceivedl_0_40,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_34,ReceiveRegsitrationl_0_34,Gate3XORSplitl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ReceiveInstructionsl_0_34,ClearanceReqReceivedl_0_34,TransmitReql_0_34,TransmitReql_0_34,AppointReceivedl_0_34,AppointReceivedl_0_34,AppReqReceivedl_0_34,AppReqReceivedl_0_34,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_45,ReceiveRegsitrationl_0_45,Gate3XORSplitl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ReceiveInstructionsl_0_45,ClearanceReqReceivedl_0_45,TransmitReql_0_45,TransmitReql_0_45,AppointReceivedl_0_45,AppointReceivedl_0_45,AppReqReceivedl_0_45,AppReqReceivedl_0_45,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_10,ReceiveRegsitrationl_0_10,Gate3XORSplitl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ReceiveInstructionsl_0_10,ClearanceReqReceivedl_0_10,TransmitReql_0_10,TransmitReql_0_10,AppointReceivedl_0_10,AppointReceivedl_0_10,AppReqReceivedl_0_10,AppReqReceivedl_0_10,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_24,ReceiveRegsitrationl_0_24,Gate3XORSplitl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ReceiveInstructionsl_0_24,ClearanceReqReceivedl_0_24,TransmitReql_0_24,TransmitReql_0_24,AppointReceivedl_0_24,AppointReceivedl_0_24,AppReqReceivedl_0_24,AppReqReceivedl_0_24,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_22,ReceiveRegsitrationl_0_22,Gate3XORSplitl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ReceiveInstructionsl_0_22,ClearanceReqReceivedl_0_22,TransmitReql_0_22,TransmitReql_0_22,AppointReceivedl_0_22,AppointReceivedl_0_22,AppReqReceivedl_0_22,AppReqReceivedl_0_22,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_12,ReceiveRegsitrationl_0_12,Gate3XORSplitl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ReceiveInstructionsl_0_12,ClearanceReqReceivedl_0_12,TransmitReql_0_12,TransmitReql_0_12,AppointReceivedl_0_12,AppointReceivedl_0_12,AppReqReceivedl_0_12,AppReqReceivedl_0_12,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_3,ReceiveRegsitrationl_0_3,Gate3XORSplitl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ReceiveInstructionsl_0_3,ClearanceReqReceivedl_0_3,TransmitReql_0_3,TransmitReql_0_3,AppointReceivedl_0_3,AppointReceivedl_0_3,AppReqReceivedl_0_3,AppReqReceivedl_0_3,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_15,ReceiveRegsitrationl_0_15,Gate3XORSplitl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ReceiveInstructionsl_0_15,ClearanceReqReceivedl_0_15,TransmitReql_0_15,TransmitReql_0_15,AppointReceivedl_0_15,AppointReceivedl_0_15,AppReqReceivedl_0_15,AppReqReceivedl_0_15,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_25,ReceiveRegsitrationl_0_25,Gate3XORSplitl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ReceiveInstructionsl_0_25,ClearanceReqReceivedl_0_25,TransmitReql_0_25,TransmitReql_0_25,AppointReceivedl_0_25,AppointReceivedl_0_25,AppReqReceivedl_0_25,AppReqReceivedl_0_25,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_8,ReceiveRegsitrationl_0_8,Gate3XORSplitl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ReceiveInstructionsl_0_8,ClearanceReqReceivedl_0_8,TransmitReql_0_8,TransmitReql_0_8,AppointReceivedl_0_8,AppointReceivedl_0_8,AppReqReceivedl_0_8,AppReqReceivedl_0_8,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_36,ReceiveRegsitrationl_0_36,Gate3XORSplitl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ReceiveInstructionsl_0_36,ClearanceReqReceivedl_0_36,TransmitReql_0_36,TransmitReql_0_36,AppointReceivedl_0_36,AppointReceivedl_0_36,AppReqReceivedl_0_36,AppReqReceivedl_0_36,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_49,ReceiveRegsitrationl_0_49,Gate3XORSplitl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ReceiveInstructionsl_0_49,ClearanceReqReceivedl_0_49,TransmitReql_0_49,TransmitReql_0_49,AppointReceivedl_0_49,AppointReceivedl_0_49,AppReqReceivedl_0_49,AppReqReceivedl_0_49,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,ReceiveAppointReqm_4_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_43,ReceiveRegsitrationl_0_43,Gate3XORSplitl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ReceiveInstructionsl_0_43,ClearanceReqReceivedl_0_43,TransmitReql_0_43,TransmitReql_0_43,AppointReceivedl_0_43,AppointReceivedl_0_43,AppReqReceivedl_0_43,AppReqReceivedl_0_43,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,RegisterRelativep_0_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_47,ReceiveRegsitrationl_0_47,Gate3XORSplitl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ReceiveInstructionsl_0_47,ClearanceReqReceivedl_0_47,TransmitReql_0_47,TransmitReql_0_47,AppointReceivedl_0_47,AppointReceivedl_0_47,AppReqReceivedl_0_47,AppReqReceivedl_0_47,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_35,ReceiveRegsitrationl_0_35,Gate3XORSplitl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ReceiveInstructionsl_0_35,ClearanceReqReceivedl_0_35,TransmitReql_0_35,TransmitReql_0_35,AppointReceivedl_0_35,AppointReceivedl_0_35,AppReqReceivedl_0_35,AppReqReceivedl_0_35,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_28,ReceiveRegsitrationl_0_28,Gate3XORSplitl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ReceiveInstructionsl_0_28,ClearanceReqReceivedl_0_28,TransmitReql_0_28,TransmitReql_0_28,AppointReceivedl_0_28,AppointReceivedl_0_28,AppReqReceivedl_0_28,AppReqReceivedl_0_28,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 150 events :CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,CommunicateRespg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,EvaluateReqg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,SummonApplicantg_1_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,RegisterRelativep_1_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_32,ReceiveRegsitrationl_0_32,Gate3XORSplitl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ReceiveInstructionsl_0_32,ClearanceReqReceivedl_0_32,TransmitReql_0_32,TransmitReql_0_32,AppointReceivedl_0_32,AppointReceivedl_0_32,AppReqReceivedl_0_32,AppReqReceivedl_0_32,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,CheckRequiredDocc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,SetUpAppointc_2_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_9,ReceiveRegsitrationl_0_9,Gate3XORSplitl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ReceiveInstructionsl_0_9,ClearanceReqReceivedl_0_9,TransmitReql_0_9,TransmitReql_0_9,AppointReceivedl_0_9,AppointReceivedl_0_9,AppReqReceivedl_0_9,AppReqReceivedl_0_9,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_50,ReceiveRegsitrationl_0_50,Gate3XORSplitl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ReceiveInstructionsl_0_50,ClearanceReqReceivedl_0_50,TransmitReql_0_50,TransmitReql_0_50,AppointReceivedl_0_50,AppointReceivedl_0_50,AppReqReceivedl_0_50,AppReqReceivedl_0_50,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 100 events :CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,CheckRequiredDocc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,SetUpAppointc_0_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_38,ReceiveRegsitrationl_0_38,Gate3XORSplitl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ReceiveInstructionsl_0_38,ClearanceReqReceivedl_0_38,TransmitReql_0_38,TransmitReql_0_38,AppointReceivedl_0_38,AppointReceivedl_0_38,AppReqReceivedl_0_38,AppReqReceivedl_0_38,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_6,ReceiveRegsitrationl_0_6,Gate3XORSplitl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ReceiveInstructionsl_0_6,ClearanceReqReceivedl_0_6,TransmitReql_0_6,TransmitReql_0_6,AppointReceivedl_0_6,AppointReceivedl_0_6,AppReqReceivedl_0_6,AppReqReceivedl_0_6,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_42,ReceiveRegsitrationl_0_42,Gate3XORSplitl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ReceiveInstructionsl_0_42,ClearanceReqReceivedl_0_42,TransmitReql_0_42,TransmitReql_0_42,AppointReceivedl_0_42,AppointReceivedl_0_42,AppReqReceivedl_0_42,AppReqReceivedl_0_42,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,ReceiveAppointReqm_5_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_23,ReceiveRegsitrationl_0_23,Gate3XORSplitl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ReceiveInstructionsl_0_23,ClearanceReqReceivedl_0_23,TransmitReql_0_23,TransmitReql_0_23,AppointReceivedl_0_23,AppointReceivedl_0_23,AppReqReceivedl_0_23,AppReqReceivedl_0_23,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_20,ReceiveRegsitrationl_0_20,Gate3XORSplitl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ReceiveInstructionsl_0_20,ClearanceReqReceivedl_0_20,TransmitReql_0_20,TransmitReql_0_20,AppointReceivedl_0_20,AppointReceivedl_0_20,AppReqReceivedl_0_20,AppReqReceivedl_0_20,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_5,ReceiveRegsitrationl_0_5,Gate3XORSplitl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ReceiveInstructionsl_0_5,ClearanceReqReceivedl_0_5,TransmitReql_0_5,TransmitReql_0_5,AppointReceivedl_0_5,AppointReceivedl_0_5,AppReqReceivedl_0_5,AppReqReceivedl_0_5,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,ReceiveAppointReqm_3_0,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_27,ReceiveRegsitrationl_0_27,Gate3XORSplitl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ReceiveInstructionsl_0_27,ClearanceReqReceivedl_0_27,TransmitReql_0_27,TransmitReql_0_27,AppointReceivedl_0_27,AppointReceivedl_0_27,AppReqReceivedl_0_27,AppReqReceivedl_0_27,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_44,ReceiveRegsitrationl_0_44,Gate3XORSplitl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ReceiveInstructionsl_0_44,ClearanceReqReceivedl_0_44,TransmitReql_0_44,TransmitReql_0_44,AppointReceivedl_0_44,AppointReceivedl_0_44,AppReqReceivedl_0_44,AppReqReceivedl_0_44,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_33,ReceiveRegsitrationl_0_33,Gate3XORSplitl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ReceiveInstructionsl_0_33,ClearanceReqReceivedl_0_33,TransmitReql_0_33,TransmitReql_0_33,AppointReceivedl_0_33,AppointReceivedl_0_33,AppReqReceivedl_0_33,AppReqReceivedl_0_33,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_48,ReceiveRegsitrationl_0_48,Gate3XORSplitl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ReceiveInstructionsl_0_48,ClearanceReqReceivedl_0_48,TransmitReql_0_48,TransmitReql_0_48,AppointReceivedl_0_48,AppointReceivedl_0_48,AppReqReceivedl_0_48,AppReqReceivedl_0_48,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_46,ReceiveRegsitrationl_0_46,Gate3XORSplitl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ReceiveInstructionsl_0_46,ClearanceReqReceivedl_0_46,TransmitReql_0_46,TransmitReql_0_46,AppointReceivedl_0_46,AppointReceivedl_0_46,AppReqReceivedl_0_46,AppReqReceivedl_0_46,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_1,ReceiveRegsitrationl_0_1,Gate3XORSplitl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ReceiveInstructionsl_0_1,ClearanceReqReceivedl_0_1,TransmitReql_0_1,TransmitReql_0_1,AppointReceivedl_0_1,AppointReceivedl_0_1,AppReqReceivedl_0_1,AppReqReceivedl_0_1,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_37,ReceiveRegsitrationl_0_37,Gate3XORSplitl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ReceiveInstructionsl_0_37,ClearanceReqReceivedl_0_37,TransmitReql_0_37,TransmitReql_0_37,AppointReceivedl_0_37,AppointReceivedl_0_37,AppReqReceivedl_0_37,AppReqReceivedl_0_37,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_41,ReceiveRegsitrationl_0_41,Gate3XORSplitl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ReceiveInstructionsl_0_41,ClearanceReqReceivedl_0_41,TransmitReql_0_41,TransmitReql_0_41,AppointReceivedl_0_41,AppointReceivedl_0_41,AppReqReceivedl_0_41,AppReqReceivedl_0_41,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_14,ReceiveRegsitrationl_0_14,Gate3XORSplitl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ReceiveInstructionsl_0_14,ClearanceReqReceivedl_0_14,TransmitReql_0_14,TransmitReql_0_14,AppointReceivedl_0_14,AppointReceivedl_0_14,AppReqReceivedl_0_14,AppReqReceivedl_0_14,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_11,ReceiveRegsitrationl_0_11,Gate3XORSplitl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ReceiveInstructionsl_0_11,ClearanceReqReceivedl_0_11,TransmitReql_0_11,TransmitReql_0_11,AppointReceivedl_0_11,AppointReceivedl_0_11,AppReqReceivedl_0_11,AppReqReceivedl_0_11,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_16,ReceiveRegsitrationl_0_16,Gate3XORSplitl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ReceiveInstructionsl_0_16,ClearanceReqReceivedl_0_16,TransmitReql_0_16,TransmitReql_0_16,AppointReceivedl_0_16,AppointReceivedl_0_16,AppReqReceivedl_0_16,AppReqReceivedl_0_16,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :ReceiveRegsitrationl_0_29,ReceiveRegsitrationl_0_29,Gate3XORSplitl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ReceiveInstructionsl_0_29,ClearanceReqReceivedl_0_29,TransmitReql_0_29,TransmitReql_0_29,AppointReceivedl_0_29,AppointReceivedl_0_29,AppReqReceivedl_0_29,AppReqReceivedl_0_29,
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1815 redundant transitions.
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 7 formulas.
Mar 29, 2019 4:02:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1353 ms
Mar 29, 2019 4:02:48 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLFireability.pnml.gal : 138 ms
Mar 29, 2019 4:02:48 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 25 ms
ITS-tools command line returned an error code 1

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-L00050M0005C002P002G001"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstoolsm"
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 itstoolsm"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-csrt-155344537600095"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 execution
cd execution
if [ "CTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;