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-155344538000328.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 NoC3x3-PT-6A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-csrt-155344538000328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 3.0K Mar 23 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 10:10 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 2.8K Mar 23 12:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 Mar 23 11:58 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 Mar 23 11:58 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 297K Mar 23 10:10 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 NoC3x3-PT-6A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1553852461361

Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
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/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.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/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.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.
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
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/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.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/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 129 ordering constraints for composite.
sparsehash FATAL ERROR: failed to allocate 41 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/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.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/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
built 129 ordering constraints for composite.
sparsehash FATAL ERROR: failed to allocate 43 groups

BK_STOP 1553854958770

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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 9:41:03 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -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 9:41:03 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 29, 2019 9:41:03 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 182 ms
Mar 29, 2019 9:41:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 512 places.
Mar 29, 2019 9:41:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1117 transitions.
Mar 29, 2019 9:41:03 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 29, 2019 9:41:03 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 40 ms
Mar 29, 2019 9:41:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 377 ms
Mar 29, 2019 9:41:04 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1117 transitions.
Mar 29, 2019 9:41:04 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 512 places.
Mar 29, 2019 9:41:04 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 1117 transitions.
Mar 29, 2019 9:41:04 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 5 ms
Mar 29, 2019 9:41:04 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 1 ms
ITS-tools command line returned an error code 134
Mar 29, 2019 9:54:41 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 29, 2019 9:54:41 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 167 ms
Mar 29, 2019 9:54:41 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 146 ms
Mar 29, 2019 9:54:41 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 29, 2019 9:54:41 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t879,t877,t875,t871,t871,t869,t867,t865,t861,t861,t857,t857,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t325,t325,t325,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t1077,t1062,t1062,t1062,t1062,t1062,t1062,t1055,t1055,t1055,t1055,t1055,t1055,t1048,t1048,t1048,t1048,t1048,t1048,t17,t1,t6,t1,t6,t1,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t697,t673,t671,t669,t429,t429,t428,t429,t428,t394,t399,t394,t399,t394,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t203,t203,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t885,t890,t885,t890,t885,t890,t885,t890,t885,t854,t854,t851,t851,t848,t848,t193,t157,t156,t157,t157,t156,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t975,t974,t973,t972,t975,t974,t973,t972,t752,t751,t752,t751,t752,t751,t751,t752,t751,t341,t342,t341,t342,t341,t342,t341,t342,t341,t297,t296,t236,t235,t235,t236,t235,t236,t235,t236,t235,t235,t236,t235,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t917,t916,t915,t917,t916,t915,t710,t710,t710,t710,t710,t708,t706,t700,t700,t700,t700,t700,t698,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t662,t653,t662,t653,t653,t489,t489,t486,t486,t483,t483,t472,t471,t452,t446,t452,t446,t446,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t66,t64,t62,t59,t57,t55,t52,t50,t48,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t95,t95,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t480,t480,t476,t476,t473,t471,t469,t466,t466,t464,t462,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t545,t545,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t932,t931,t921,t921,t918,t918,t915,t915,t127,t132,t127,t132,t127,t113,t112,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t676,t675,t676,t675,t572,t571,t557,t556,t556,t557,t556,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t121,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t953,t952,t951,t950,t949,t948,t953,t952,t951,t950,t949,t948,t953,t952,t951,t950,t949,t948,t834,t834,t834,t834,t834,t832,t830,t828,t826,t824,t822,t820,t818,t816,t814,t812,t810,t808,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t13,t11,t9,t6,t4,t2,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t420,t418,t416,t413,t411,t409,t406,t404,t402,t399,t397,t395,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t540,t537,t639,t638,t536,t535,t604,t603,t604,t603,t604,t603,t604,t604,t603,t539,t538,t494,t493,t494,t494,t493,t494,t493,t494,t493,t494,t494,t493,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t1082,t1080,t1078,t1074,t1074,t1070,t1070,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t28,t28,t28,t23,t23,t23,t20,t18,t16,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t440,t434,t434,t434,t434,t434,t432,t430,t428,t426,t424,t381,t380,t379,t378,t381,t380,t379,t378,t381,t380,t379,t378,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t567,t565,t563,t560,t558,t556,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t204,t204,t204,t199,t199,t199,t196,t194,t192,t188,t188,t188,t185,t183,t181,t177,t177,t177,t175,t173,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t581,t579,t574,t574,t574,t574,t570,t570,t570,t550,t549,t550,t549,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 53 events :t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1001,t1000,t983,t982,t966,t966,t966,t966,t966,t960,t960,t960,t960,t960,t954,t954,t954,t954,t954,t948,t948,t948,t948,t948,t75,t74,t75,t74,t75,t49,t48,t49,t48,t49,t48,t49,t49,t48,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t458,t456,t454,t451,t449,t447,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 44 events :t811,t810,t811,t810,t811,t810,t811,t810,t811,t810,t390,t390,t390,t386,t386,t386,t382,t382,t382,t378,t378,t378,t351,t308,t307,t308,t307,t307,t308,t307,t308,t307,t240,t234,t240,t234,t240,t234,t234,t240,t234,t240,t234,t234,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1005,t999,t1005,t999,t1005,t999,t1005,t999,t999,t981,t107,t107,t104,t104,t101,t101,t47,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t518,t516,t514,t511,t509,t507,t504,t502,t500,t497,t495,t493,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t122,t122,t118,t118,t116,t114,t112,t110,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 48 events :t809,t808,t809,t808,t809,t808,t809,t808,t809,t808,t763,t762,t763,t763,t762,t732,t732,t732,t728,t728,t728,t724,t724,t724,t720,t720,t720,t304,t304,t303,t304,t303,t304,t303,t304,t303,t250,t249,t250,t249,t250,t249,t250,t250,t249,t250,t250,t249,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 54 events :t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t439,t438,t699,t698,t437,t434,t699,t698,t439,t438,t699,t698,t437,t434,t682,t681,t682,t681,t682,t681,t436,t435,t396,t395,t396,t395,t396,t395,t395,t396,t395,t395,t396,t395,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t635,t634,t553,t551,t549,t530,t529,t530,t529,t530,t529,t498,t492,t498,t492,t492,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t930,t929,t937,t928,t927,t937,t928,t930,t929,t928,t927,t129,t128,t128,t129,t128,t111,t110,t83,t82,t81,t83,t82,t81,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t909,t907,t905,t903,t901,t899,t897,t895,t893,t890,t888,t886,t36,t35,t34,t33,t32,t36,t35,t34,t33,t32,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t288,t286,t284,t281,t279,t277,t274,t272,t270,t267,t265,t263,t260,t258,t256,t253,t251,t249,t246,t244,t242,t239,t237,t235,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t800,t798,t796,t794,t790,t790,t790,t788,t786,t784,t779,t779,t779,t777,t775,t773,t768,t768,t768,t766,t764,t762,t757,t757,t757,t755,t753,t751,t749,t745,t745,t745,t740,t740,t740,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t859,t858,t857,t859,t858,t857,t655,t654,t463,t463,t462,t463,t462,t448,t447,t448,t448,t447,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t1014,t1008,t1007,t1011,t1010,t1009,t1008,t1007,t1008,t1007,t993,t992,t77,t76,t77,t76,t77,t76,t56,t55,t56,t56,t55,t26,t25,t24,t23,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t597,t596,t595,t597,t596,t595,t597,t596,t595,t578,t587,t586,t577,t574,t576,t575,t561,t555,t561,t555,t555,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t374,t374,t374,t369,t369,t369,t366,t364,t362,t358,t358,t358,t355,t353,t351,t347,t347,t347,t345,t343,t341,t339,t335,t335,t335,t333,t331,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t479,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t994,t992,t988,t988,t988,t986,t984,t982,t977,t977,t977,t972,t972,t972,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t628,t626,t624,t622,t619,t619,t617,t615,t613,t609,t609,t607,t605,t603,t599,t599,t595,t595,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1054,t1053,t1052,t1051,t1050,t1049,t1048,t1054,t1053,t1052,t1051,t1050,t1049,t1048,t1043,t1041,t1039,t1037,t1035,t1033,t1031,t1029,t1027,t1025,t1019,t1019,t1019,t1019,t1019,t1017,t1015,t1009,t1009,t1009,t1009,t1009,t1007,t1004,t1002,t1000,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t680,t425,t424,t410,t409,t410,t410,t409,t120,t119,t118,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t602,t607,t602,t607,t602,t607,t602,t607,t602,t525,t524,t506,t511,t506,t511,t506,t468,t467,t466,t468,t467,t466,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t443,t443,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t942,t942,t942,t942,t940,t935,t935,t935,t935,t933,t931,t927,t927,t927,t103,t102,t101,t103,t102,t101,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t670,t669,t670,t669,t588,t588,t588,t588,t586,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1079,t1078,t42,t42,t42,t42,t37,t37,t37,t37,t32,t32,t32,t32,t19,t18,t3,t2,t2,t3,t2,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t691,t689,t687,t685,t683,t681,t678,t675,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t723,t722,t721,t720,t723,t722,t721,t720,t723,t722,t721,t720,t543,t541,t535,t535,t535,t535,t535,t533,t531,t529,t527,t522,t522,t522,t522,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 56 events :t887,t886,t887,t886,t887,t886,t887,t886,t887,t886,t886,t887,t886,t870,t864,t870,t864,t864,t228,t228,t228,t228,t228,t222,t222,t222,t222,t222,t216,t216,t216,t216,t216,t210,t210,t210,t210,t210,t184,t183,t184,t183,t184,t183,t147,t141,t147,t141,t147,t141,t141,t147,t141,t147,t141,t141,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t640,t640,t640,t640,t640,t638,t636,t634,t485,t484,t483,t485,t484,t483,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t27,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1072,t1071,t1070,t866,t865,t866,t866,t865,t174,t174,t173,t174,t173,t143,t142,t143,t143,t142,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t583,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t850,t849,t848,t850,t849,t848,t665,t663,t661,t656,t656,t656,t656,t654,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t322,t320,t318,t315,t313,t311,t309,t307,t305,t303,t301,t295,t295,t295,t295,t295,t215,t214,t213,t212,t211,t210,t215,t214,t213,t212,t211,t210,t215,t214,t213,t212,t211,t210,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t96,t96,t92,t92,t90,t88,t86,t84,t81,t81,t78,t76,t74,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 53 events :t833,t832,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t750,t749,t332,t331,t332,t331,t332,t331,t332,t331,t332,t331,t264,t263,t264,t263,t264,t263,t264,t264,t263,t264,t264,t263,t180,t179,t178,t177,t180,t179,t178,t177,t180,t179,t178,t177,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t139,t137,t135,t132,t130,t128,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t167,t165,t163,t160,t158,t156,t153,t151,t149,t146,t144,t142,
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1253 redundant transitions.
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 391 ms
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t449, u20.t447, u20.t458]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t120, u23.t119, u23.t118]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t607, u11.t615, u11.t626, u11.t613, u11.t624]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t235, u38.t246, u38.t279, u38.t237, u38.t277, u38.t288]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t857, u15.t859, u15.t858]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t378, u30.t386, u30.t382, u30.t390]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t141, u46.t155]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t741, u22.t740, u22.t743, u22.t742]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t661, u19.t663, u19.t665]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t130, u50.t128, u50.t139]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t23, u64.t28]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu61_flat :[u61.t1062, u61.t1055, u61.t1048]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t404, u28.t402, u28.t399]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t483, u16.t489, u16.t486]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t151, u46.t163, u46.t165, u46.t146, u46.t149, u46.t160]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t657, u15.t656, u15.t660]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t112, u52.t114]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t848, u19.t849, u19.t850]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t424, u26.t426]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t638, u7.t639]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t81, u48.t82, u48.t83]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t113, u47.t112]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t110, u52.t116]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t374, u34.t335, u34.t347, u34.t358, u34.t369]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t549, u8.t553, u8.t551]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t395, u28.t418, u28.t416, u28.t406, u28.t413, u28.t397]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t879, u43.t867, u43.t865]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t796, u35.t784, u35.t773, u35.t749, u35.t798, u35.t786, u35.t775, u35.t766, u35.t755]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t175, u44.t173, u44.t181]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t655, u15.t654]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t309, u36.t307, u36.t320, u36.t311, u36.t322]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t708, u27.t698]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t435, u22.t436]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t828, u37.t814, u37.t820, u37.t830, u37.t808, u37.t818]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t869, u43.t877, u43.t875]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t18, u64.t20]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t451, u20.t456, u20.t454]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t975, u32.t974, u32.t973, u32.t972]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t466, u18.t476, u18.t480]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t90, u58.t76, u58.t78, u58.t84]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t26, u55.t25, u55.t24, u55.t23]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t794, u35.t751, u35.t753, u35.t800, u35.t788]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t595, u11.t609, u11.t619, u11.t599]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t255, u38.t262]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t578, u1.t574, u1.t577]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t575, u1.t576]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t832, u31.t833]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t1078, u62.t1079]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t857, u43.t871, u43.t861]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t473, u18.t471]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t586, u1.t587]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t931, u47.t932]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t269, u38.t276]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t48, u60.t59, u60.t62, u60.t50, u60.t64]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t485, u13.t484, u13.t483]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t228, u40.t216, u40.t222, u40.t210]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t529, u8.t530]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t988, u57.t977, u57.t972]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1035, u59.t1004, u59.t1039, u59.t1029, u59.t1041]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t142, u46.t153, u46.t144]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1017, u59.t1007]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t678, u25.t687, u25.t675]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t810, u30.t811]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t111, u48.t110]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t700, u27.t710]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t77, u55.t76]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t469, u18.t464, u18.t462]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t636, u13.t634]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t740, u35.t790, u35.t779, u35.t768, u35.t757, u35.t745]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1009, u55.t1014, u55.t1011, u55.t1010]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu39_flat :[u39.t848, u39.t851, u39.t854]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t378, u26.t379, u26.t380, u26.t381]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t570, u2.t573]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t408, u28.t401]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t4, u66.t13, u66.t2]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t927, u48.t929, u48.t930]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t298, u32.t295, u32.t300, u32.t299]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t816, u37.t826, u37.t824, u37.t812, u37.t822, u37.t810]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t596, u1.t597, u1.t595]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t949, u37.t948, u37.t953, u37.t952, u37.t951, u37.t950]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t992, u57.t994]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t918, u47.t915, u47.t921]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t960, u53.t954, u53.t966, u53.t948]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t669, u5.t670]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t177, u44.t199, u44.t188, u44.t204]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu54_flat :[u54.t107, u54.t101, u54.t104]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t331, u31.t332]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t634, u8.t635]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t132, u50.t137, u50.t135]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1048, u59.t1049, u59.t1050, u59.t1051, u59.t1052, u59.t1053, u59.t1054]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t549, u4.t550]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t249, u38.t267, u38.t260, u38.t272, u38.t251, u38.t270]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t901, u45.t895, u45.t893, u45.t903, u45.t890]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t675, u2.t676]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t18, u62.t19]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t522, u9.t526, u9.t523]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.t669, u21.t673, u21.t671]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1070, u65.t1074]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t493, u14.t509, u14.t495, u14.t518, u14.t507, u14.t504]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1008, u55.t1007]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t915, u27.t917, u27.t916]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t248, u38.t234]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t762, u35.t764, u35.t777]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t35, u45.t36, u45.t33, u45.t34, u45.t32]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t471, u16.t472]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t425, u23.t424]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t297, u32.t296]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t499, u14.t513]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t102, u51.t103, u51.t101]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t467, u9.t466, u9.t468]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t572, u2.t571]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t525, u9.t524]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t167, u46.t156, u46.t158]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t86, u58.t88, u58.t74]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t432, u26.t430, u26.t428]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t32, u62.t42, u62.t37]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t809, u29.t808]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t992, u55.t993]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t689, u25.t683, u25.t681, u25.t691]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t434, u22.t437, u22.t439, u22.t438]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t118, u52.t122]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t720, u29.t724, u29.t732, u29.t728]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t605, u11.t617, u11.t628, u11.t603, u11.t622]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t539, u7.t538]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1019, u59.t1009]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1002, u59.t1025, u59.t1015, u59.t1037, u59.t1027, u59.t1031, u59.t1043, u59.t1000, u59.t1033]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t215, u36.t210, u36.t213, u36.t214, u36.t211, u36.t212]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t55, u60.t66, u60.t57]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t286, u38.t265, u38.t284, u38.t263, u38.t274, u38.t281]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu41_flat :[u41.t1071, u41.t1070, u41.t1072]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t6, u66.t11, u66.t9]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t305, u36.t303, u36.t315, u36.t318, u36.t313]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t180, u31.t179, u31.t177, u31.t178]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t543, u12.t533, u12.t529, u12.t531]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t556, u6.t567, u6.t558]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t283, u38.t241]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t836, u31.t834, u31.t835, u31.t839]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t258, u38.t242, u38.t253, u38.t244, u38.t256, u38.t239]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t184, u40.t183]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t81, u58.t92, u58.t96]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1078, u65.t1080]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t196, u44.t185, u44.t194, u44.t183]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t537, u7.t536, u7.t540, u7.t535]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t682, u22.t681]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t565, u6.t560, u6.t563]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t497, u14.t500, u14.t502]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t362, u34.t353, u34.t341, u34.t355, u34.t343]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t899, u45.t888, u45.t897, u45.t886, u45.t907, u45.t909, u45.t905]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t409, u28.t411, u28.t420]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t982, u53.t983]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t511, u14.t516, u14.t514]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t935, u51.t942]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t721, u12.t722, u12.t720, u12.t723]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t331, u34.t364, u34.t333, u34.t366, u34.t345, u34.t339]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t933, u51.t931]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t984, u57.t982]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t699, u22.t698]
Mar 29, 2019 9:54:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t338, u7.t335, u7.t337, u7.t336]
Mar 29, 2019 9:54:42 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 20 ms
Mar 29, 2019 9:54:42 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 2 ms
ITS-tools command line returned an error code 1
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 161 ms
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 159 ms
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t583,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t1077,t1062,t1062,t1062,t1062,t1062,t1062,t1055,t1055,t1055,t1055,t1055,t1055,t1048,t1048,t1048,t1048,t1048,t1048,t17,t1,t6,t1,t6,t1,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t288,t286,t284,t281,t279,t277,t274,t272,t270,t267,t265,t263,t260,t258,t256,t253,t251,t249,t246,t244,t242,t239,t237,t235,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t942,t942,t942,t942,t940,t935,t935,t935,t935,t933,t931,t927,t927,t927,t103,t102,t101,t103,t102,t101,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t322,t320,t318,t315,t313,t311,t309,t307,t305,t303,t301,t295,t295,t295,t295,t295,t215,t214,t213,t212,t211,t210,t215,t214,t213,t212,t211,t210,t215,t214,t213,t212,t211,t210,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t859,t858,t857,t859,t858,t857,t655,t654,t463,t463,t462,t463,t462,t448,t447,t448,t448,t447,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t13,t11,t9,t6,t4,t2,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1054,t1053,t1052,t1051,t1050,t1049,t1048,t1054,t1053,t1052,t1051,t1050,t1049,t1048,t1043,t1041,t1039,t1037,t1035,t1033,t1031,t1029,t1027,t1025,t1019,t1019,t1019,t1019,t1019,t1017,t1015,t1009,t1009,t1009,t1009,t1009,t1007,t1004,t1002,t1000,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t458,t456,t454,t451,t449,t447,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1005,t999,t1005,t999,t1005,t999,t1005,t999,t999,t981,t107,t107,t104,t104,t101,t101,t47,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t850,t849,t848,t850,t849,t848,t665,t663,t661,t656,t656,t656,t656,t654,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t909,t907,t905,t903,t901,t899,t897,t895,t893,t890,t888,t886,t36,t35,t34,t33,t32,t36,t35,t34,t33,t32,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t885,t890,t885,t890,t885,t890,t885,t890,t885,t854,t854,t851,t851,t848,t848,t193,t157,t156,t157,t157,t156,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t697,t673,t671,t669,t429,t429,t428,t429,t428,t394,t399,t394,t399,t394,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t597,t596,t595,t597,t596,t595,t597,t596,t595,t578,t587,t586,t577,t574,t576,t575,t561,t555,t561,t555,t555,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 56 events :t887,t886,t887,t886,t887,t886,t887,t886,t887,t886,t886,t887,t886,t870,t864,t870,t864,t864,t228,t228,t228,t228,t228,t222,t222,t222,t222,t222,t216,t216,t216,t216,t216,t210,t210,t210,t210,t210,t184,t183,t184,t183,t184,t183,t147,t141,t147,t141,t147,t141,t141,t147,t141,t147,t141,t141,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t567,t565,t563,t560,t558,t556,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t1082,t1080,t1078,t1074,t1074,t1070,t1070,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t540,t537,t639,t638,t536,t535,t604,t603,t604,t603,t604,t603,t604,t604,t603,t539,t538,t494,t493,t494,t494,t493,t494,t493,t494,t493,t494,t494,t493,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 48 events :t809,t808,t809,t808,t809,t808,t809,t808,t809,t808,t763,t762,t763,t763,t762,t732,t732,t732,t728,t728,t728,t724,t724,t724,t720,t720,t720,t304,t304,t303,t304,t303,t304,t303,t304,t303,t250,t249,t250,t249,t250,t249,t250,t250,t249,t250,t250,t249,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t374,t374,t374,t369,t369,t369,t366,t364,t362,t358,t358,t358,t355,t353,t351,t347,t347,t347,t345,t343,t341,t339,t335,t335,t335,t333,t331,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t628,t626,t624,t622,t619,t619,t617,t615,t613,t609,t609,t607,t605,t603,t599,t599,t595,t595,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t545,t545,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 53 events :t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1000,t1001,t1001,t1000,t983,t982,t966,t966,t966,t966,t966,t960,t960,t960,t960,t960,t954,t954,t954,t954,t954,t948,t948,t948,t948,t948,t75,t74,t75,t74,t75,t49,t48,t49,t48,t49,t48,t49,t49,t48,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t930,t929,t937,t928,t927,t937,t928,t930,t929,t928,t927,t129,t128,t128,t129,t128,t111,t110,t83,t82,t81,t83,t82,t81,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t676,t675,t676,t675,t572,t571,t557,t556,t556,t557,t556,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 44 events :t811,t810,t811,t810,t811,t810,t811,t810,t811,t810,t390,t390,t390,t386,t386,t386,t382,t382,t382,t378,t378,t378,t351,t308,t307,t308,t307,t307,t308,t307,t308,t307,t240,t234,t240,t234,t240,t234,t234,t240,t234,t240,t234,t234,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t96,t96,t92,t92,t90,t88,t86,t84,t81,t81,t78,t76,t74,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t800,t798,t796,t794,t790,t790,t790,t788,t786,t784,t779,t779,t779,t777,t775,t773,t768,t768,t768,t766,t764,t762,t757,t757,t757,t755,t753,t751,t749,t745,t745,t745,t740,t740,t740,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t640,t640,t640,t640,t640,t638,t636,t634,t485,t484,t483,t485,t484,t483,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t95,t95,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t953,t952,t951,t950,t949,t948,t953,t952,t951,t950,t949,t948,t953,t952,t951,t950,t949,t948,t834,t834,t834,t834,t834,t832,t830,t828,t826,t824,t822,t820,t818,t816,t814,t812,t810,t808,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t27,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t932,t931,t921,t921,t918,t918,t915,t915,t127,t132,t127,t132,t127,t113,t112,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t420,t418,t416,t413,t411,t409,t406,t404,t402,t399,t397,t395,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t480,t480,t476,t476,t473,t471,t469,t466,t466,t464,t462,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t440,t434,t434,t434,t434,t434,t432,t430,t428,t426,t424,t381,t380,t379,t378,t381,t380,t379,t378,t381,t380,t379,t378,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t975,t974,t973,t972,t975,t974,t973,t972,t752,t751,t752,t751,t752,t751,t751,t752,t751,t341,t342,t341,t342,t341,t342,t341,t342,t341,t297,t296,t236,t235,t235,t236,t235,t236,t235,t236,t235,t235,t236,t235,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 54 events :t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t743,t742,t741,t740,t439,t438,t699,t698,t437,t434,t699,t698,t439,t438,t699,t698,t437,t434,t682,t681,t682,t681,t682,t681,t436,t435,t396,t395,t396,t395,t396,t395,t395,t396,t395,t395,t396,t395,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t121,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1079,t1078,t42,t42,t42,t42,t37,t37,t37,t37,t32,t32,t32,t32,t19,t18,t3,t2,t2,t3,t2,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t325,t325,t325,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t680,t425,t424,t410,t409,t410,t410,t409,t120,t119,t118,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t167,t165,t163,t160,t158,t156,t153,t151,t149,t146,t144,t142,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t122,t122,t118,t118,t116,t114,t112,t110,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t723,t722,t721,t720,t723,t722,t721,t720,t723,t722,t721,t720,t543,t541,t535,t535,t535,t535,t535,t533,t531,t529,t527,t522,t522,t522,t522,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t994,t992,t988,t988,t988,t986,t984,t982,t977,t977,t977,t972,t972,t972,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t879,t877,t875,t871,t871,t869,t867,t865,t861,t861,t857,t857,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t479,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t917,t916,t915,t917,t916,t915,t710,t710,t710,t710,t710,t708,t706,t700,t700,t700,t700,t700,t698,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t66,t64,t62,t59,t57,t55,t52,t50,t48,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t1014,t1008,t1007,t1011,t1010,t1009,t1008,t1007,t1008,t1007,t993,t992,t77,t76,t77,t76,t77,t76,t56,t55,t56,t56,t55,t26,t25,t24,t23,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t602,t607,t602,t607,t602,t607,t602,t607,t602,t525,t524,t506,t511,t506,t511,t506,t468,t467,t466,t468,t467,t466,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t443,t443,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t662,t653,t662,t653,t653,t489,t489,t486,t486,t483,t483,t472,t471,t452,t446,t452,t446,t446,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t670,t669,t670,t669,t588,t588,t588,t588,t586,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t691,t689,t687,t685,t683,t681,t678,t675,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t635,t634,t553,t551,t549,t530,t529,t530,t529,t530,t529,t498,t492,t498,t492,t492,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t581,t579,t574,t574,t574,t574,t570,t570,t570,t550,t549,t550,t549,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t28,t28,t28,t23,t23,t23,t20,t18,t16,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t204,t204,t204,t199,t199,t199,t196,t194,t192,t188,t188,t188,t185,t183,t181,t177,t177,t177,t175,t173,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t203,t203,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t139,t137,t135,t132,t130,t128,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1072,t1071,t1070,t866,t865,t866,t866,t865,t174,t174,t173,t174,t173,t143,t142,t143,t143,t142,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 53 events :t833,t832,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t750,t749,t332,t331,t332,t331,t332,t331,t332,t331,t332,t331,t264,t263,t264,t263,t264,t263,t264,t264,t263,t264,t264,t263,t180,t179,t178,t177,t180,t179,t178,t177,t180,t179,t178,t177,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t518,t516,t514,t511,t509,t507,t504,t502,t500,t497,t495,t493,
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1253 redundant transitions.
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 250 ms
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t449, u20.t447, u20.t458]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t120, u23.t119, u23.t118]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t607, u11.t615, u11.t626, u11.t613, u11.t624]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t235, u38.t246, u38.t279, u38.t237, u38.t277, u38.t288]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t857, u15.t859, u15.t858]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t378, u30.t386, u30.t382, u30.t390]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t141, u46.t155]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t741, u22.t740, u22.t743, u22.t742]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t661, u19.t663, u19.t665]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t130, u50.t128, u50.t139]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t23, u64.t28]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu61_flat :[u61.t1062, u61.t1055, u61.t1048]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t404, u28.t402, u28.t399]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t483, u16.t489, u16.t486]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t151, u46.t163, u46.t165, u46.t146, u46.t149, u46.t160]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t657, u15.t656, u15.t660]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t112, u52.t114]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t848, u19.t849, u19.t850]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t424, u26.t426]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t638, u7.t639]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t81, u48.t82, u48.t83]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t113, u47.t112]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t110, u52.t116]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t374, u34.t335, u34.t347, u34.t358, u34.t369]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t549, u8.t553, u8.t551]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t395, u28.t418, u28.t416, u28.t406, u28.t413, u28.t397]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t879, u43.t867, u43.t865]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t796, u35.t784, u35.t773, u35.t749, u35.t798, u35.t786, u35.t775, u35.t766, u35.t755]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t175, u44.t173, u44.t181]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t655, u15.t654]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t309, u36.t307, u36.t320, u36.t311, u36.t322]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t708, u27.t698]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t435, u22.t436]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t828, u37.t814, u37.t820, u37.t830, u37.t808, u37.t818]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t869, u43.t877, u43.t875]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t18, u64.t20]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t451, u20.t456, u20.t454]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t975, u32.t974, u32.t973, u32.t972]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t466, u18.t476, u18.t480]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t90, u58.t76, u58.t78, u58.t84]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t26, u55.t25, u55.t24, u55.t23]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t794, u35.t751, u35.t753, u35.t800, u35.t788]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t595, u11.t609, u11.t619, u11.t599]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t255, u38.t262]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t578, u1.t574, u1.t577]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t575, u1.t576]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t832, u31.t833]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t1078, u62.t1079]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t857, u43.t871, u43.t861]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t473, u18.t471]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t586, u1.t587]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t931, u47.t932]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t269, u38.t276]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t48, u60.t59, u60.t62, u60.t50, u60.t64]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t485, u13.t484, u13.t483]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t228, u40.t216, u40.t222, u40.t210]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t529, u8.t530]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t988, u57.t977, u57.t972]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1035, u59.t1004, u59.t1039, u59.t1029, u59.t1041]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t142, u46.t153, u46.t144]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1017, u59.t1007]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t678, u25.t687, u25.t675]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t810, u30.t811]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t111, u48.t110]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t700, u27.t710]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t77, u55.t76]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t469, u18.t464, u18.t462]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t636, u13.t634]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t740, u35.t790, u35.t779, u35.t768, u35.t757, u35.t745]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1009, u55.t1014, u55.t1011, u55.t1010]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu39_flat :[u39.t848, u39.t851, u39.t854]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t378, u26.t379, u26.t380, u26.t381]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t570, u2.t573]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t408, u28.t401]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t4, u66.t13, u66.t2]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t927, u48.t929, u48.t930]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t298, u32.t295, u32.t300, u32.t299]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t816, u37.t826, u37.t824, u37.t812, u37.t822, u37.t810]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t596, u1.t597, u1.t595]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t949, u37.t948, u37.t953, u37.t952, u37.t951, u37.t950]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t992, u57.t994]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t918, u47.t915, u47.t921]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t960, u53.t954, u53.t966, u53.t948]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t669, u5.t670]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t177, u44.t199, u44.t188, u44.t204]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu54_flat :[u54.t107, u54.t101, u54.t104]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t331, u31.t332]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t634, u8.t635]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t132, u50.t137, u50.t135]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1048, u59.t1049, u59.t1050, u59.t1051, u59.t1052, u59.t1053, u59.t1054]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t549, u4.t550]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t249, u38.t267, u38.t260, u38.t272, u38.t251, u38.t270]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t901, u45.t895, u45.t893, u45.t903, u45.t890]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t675, u2.t676]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t18, u62.t19]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t522, u9.t526, u9.t523]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.t669, u21.t673, u21.t671]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1070, u65.t1074]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t493, u14.t509, u14.t495, u14.t518, u14.t507, u14.t504]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1008, u55.t1007]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t915, u27.t917, u27.t916]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t248, u38.t234]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t762, u35.t764, u35.t777]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t35, u45.t36, u45.t33, u45.t34, u45.t32]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t471, u16.t472]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t425, u23.t424]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t297, u32.t296]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t499, u14.t513]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t102, u51.t103, u51.t101]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t467, u9.t466, u9.t468]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t572, u2.t571]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t525, u9.t524]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t167, u46.t156, u46.t158]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t86, u58.t88, u58.t74]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t432, u26.t430, u26.t428]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t32, u62.t42, u62.t37]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t809, u29.t808]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t992, u55.t993]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t689, u25.t683, u25.t681, u25.t691]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t434, u22.t437, u22.t439, u22.t438]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t118, u52.t122]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t720, u29.t724, u29.t732, u29.t728]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t605, u11.t617, u11.t628, u11.t603, u11.t622]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t539, u7.t538]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1019, u59.t1009]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1002, u59.t1025, u59.t1015, u59.t1037, u59.t1027, u59.t1031, u59.t1043, u59.t1000, u59.t1033]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t215, u36.t210, u36.t213, u36.t214, u36.t211, u36.t212]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t55, u60.t66, u60.t57]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t286, u38.t265, u38.t284, u38.t263, u38.t274, u38.t281]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu41_flat :[u41.t1071, u41.t1070, u41.t1072]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t6, u66.t11, u66.t9]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t305, u36.t303, u36.t315, u36.t318, u36.t313]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t180, u31.t179, u31.t177, u31.t178]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t543, u12.t533, u12.t529, u12.t531]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t556, u6.t567, u6.t558]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t283, u38.t241]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t836, u31.t834, u31.t835, u31.t839]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t258, u38.t242, u38.t253, u38.t244, u38.t256, u38.t239]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t184, u40.t183]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t81, u58.t92, u58.t96]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1078, u65.t1080]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t196, u44.t185, u44.t194, u44.t183]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t537, u7.t536, u7.t540, u7.t535]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t682, u22.t681]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t565, u6.t560, u6.t563]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t497, u14.t500, u14.t502]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t362, u34.t353, u34.t341, u34.t355, u34.t343]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t899, u45.t888, u45.t897, u45.t886, u45.t907, u45.t909, u45.t905]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t409, u28.t411, u28.t420]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t982, u53.t983]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t511, u14.t516, u14.t514]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t935, u51.t942]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t721, u12.t722, u12.t720, u12.t723]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t331, u34.t364, u34.t333, u34.t366, u34.t345, u34.t339]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t933, u51.t931]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t984, u57.t982]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t699, u22.t698]
Mar 29, 2019 10:08:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t338, u7.t335, u7.t337, u7.t336]
Mar 29, 2019 10:08:31 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 15 ms
Mar 29, 2019 10:08:31 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 2 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="NoC3x3-PT-6A"
export BK_EXAMINATION="CTLCardinality"
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 NoC3x3-PT-6A, examination is CTLCardinality"
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-155344538000328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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