Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r192-oct2-155234409500205.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
Input is DLCflexbar-PT-3a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r192-oct2-155234409500205
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 2.9K Feb 9 10:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 9 10:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 09:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 09:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 03:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 2 03:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 29 17:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 29 17:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 996K Mar 10 17:31 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 DLCflexbar-PT-3a-LTLFireability-00
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-01
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-02
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-03
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-04
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-05
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-06
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-07
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-08
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-09
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-10
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-11
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-12
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-13
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-14
FORMULA_NAME DLCflexbar-PT-3a-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1553563281587

Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord
Read 16 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((G((G(F("((p223>=1)&&(p374>=1))")))U(("((p570>=1)&&(p229>=1))")U("((p147>=1)&&(p542>=1))")))))
Formula 0 simplified : !G(GF"((p223>=1)&&(p374>=1))" U ("((p570>=1)&&(p229>=1))" U "((p147>=1)&&(p542>=1))"))
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Compilation finished in 30427 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 103 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](([](<>((LTLAP0==true))))U(((LTLAP1==true))U((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
3077 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,31.1792,648636,1,0,13,2.63447e+06,34,2,22138,1.60474e+06,49
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((false))
Formula 1 simplified : 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,31.1795,648636,1,0,13,2.63447e+06,36,2,22138,1.60474e+06,52
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !((false))
Formula 2 simplified : 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,31.1796,648636,1,0,13,2.63447e+06,36,2,22138,1.60474e+06,52
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-02 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !((G("((p189>=1)&&(p434>=1))")))
Formula 3 simplified : !G"((p189>=1)&&(p434>=1))"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,31.1811,648636,1,0,14,2.63447e+06,42,2,22141,1.60474e+06,62
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !(((G(X("((p224>=1)&&(p330>=1))")))U("((p260>=1)&&(p522>=1))")))
Formula 4 simplified : !(GX"((p224>=1)&&(p330>=1))" U "((p260>=1)&&(p522>=1))")
5 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
191 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,33.0867,681152,1,0,15,2.95529e+06,53,2,22148,1.7458e+06,77
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((G(G(G(("((p112>=1)&&(p472>=1))")U("((p288>=1)&&(p217>=1))"))))))
Formula 5 simplified : !G("((p112>=1)&&(p472>=1))" U "((p288>=1)&&(p217>=1))")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,33.09,681376,1,0,15,2.95529e+06,69,2,22163,1.7458e+06,84
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !(((F("((p253>=1)&&(p522>=1))"))U(F(F("((p258>=1)&&(p550>=1))")))))
Formula 6 simplified : !(F"((p253>=1)&&(p522>=1))" U F"((p258>=1)&&(p550>=1))")
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](([](<>((LTLAP0==true))))U(((LTLAP1==true))U((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP8==true)))U(<>(<>((LTLAP9==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP8==true)))U(<>(<>((LTLAP9==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP10==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP10==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(([](X((LTLAP11==true))))U(<>([]((LTLAP12==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2171 ms.
FORMULA DLCflexbar-PT-3a-LTLFireability-08 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((LTLAP13==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2259 ms.
FORMULA DLCflexbar-PT-3a-LTLFireability-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((LTLAP14==true))U(([]((LTLAP15==true)))U((LTLAP16==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 8 LTL properties
Checking formula 0 : !(((F("((u35.p253>=1)&&(u297.p522>=1))"))U(F(F("((u35.p258>=1)&&(u325.p550>=1))")))))
Formula 0 simplified : !(F"((u35.p253>=1)&&(u297.p522>=1))" U F"((u35.p258>=1)&&(u325.p550>=1))")
built 641 ordering constraints for composite.
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
374 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.82215,66376,1,0,38463,1553,9318,37404,306,1856,180836
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((G("((u35.p256>=1)&&(u319.p544>=1))")))
Formula 1 simplified : !G"((u35.p256>=1)&&(u319.p544>=1))"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
7 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.88712,69304,1,0,39489,1553,9435,38413,306,1856,182653
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !((false))
Formula 2 simplified : 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.88834,69304,1,0,39537,1553,9435,38551,306,1873,182965
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !((false))
Formula 3 simplified : 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.88848,69304,1,0,39537,1553,9435,38551,306,1873,182965
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !((("(u20.p140>=1)")U((G("((u34.p241>=1)&&(u229.p454>=1))"))U("((u31.p214>=1)&&(u49.p274>=1))"))))
Formula 4 simplified : !("(u20.p140>=1)" U (G"((u34.p241>=1)&&(u229.p454>=1))" U "((u31.p214>=1)&&(u49.p274>=1))"))
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.89425,70676,1,0,39537,1553,9469,38551,307,1873,183789
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((F(G(G(G(G("((u32.p229>=1)&&(u336.p561>=1))")))))))
Formula 5 simplified : !FG"((u32.p229>=1)&&(u336.p561>=1))"
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
3442 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,38.3189,1290620,1,0,3.10849e+06,1553,9498,5.29371e+06,307,5108,3239846
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !((F(X(G(("((u32.p225>=1)&&(u131.p356>=1))")U("((u34.p245>=1)&&(u247.p472>=1))"))))))
Formula 6 simplified : !FXG("((u32.p225>=1)&&(u131.p356>=1))" U "((u34.p245>=1)&&(u247.p472>=1))")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
94 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,39.2592,1316112,1,0,3.15052e+06,1553,10480,5.3727e+06,307,5770,3297382
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 7 : !((((X("((u33.p236>=1)&&(u201.p426>=1))"))U(G("((u34.p241>=1)&&(u249.p474>=1))")))U(F("((u6.p42>=1)&&(u167.p392>=1))"))))
Formula 7 simplified : !((X"((u33.p236>=1)&&(u201.p426>=1))" U G"((u34.p241>=1)&&(u249.p474>=1))") U F"((u6.p42>=1)&&(u167.p392>=1))")
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
33 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,39.5998,1325552,1,0,3.15052e+06,1553,11106,5.3727e+06,307,5770,3298823
no accepting run found
Formula 7 is TRUE no accepting run found.
FORMULA DLCflexbar-PT-3a-LTLFireability-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.

BK_STOP 1553564609278

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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 26, 2019 1:21:23 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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 26, 2019 1:21:23 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 26, 2019 1:21:23 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 159 ms
Mar 26, 2019 1:21:23 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 581 places.
Mar 26, 2019 1:21:23 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3891 transitions.
Mar 26, 2019 1:21:23 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 26, 2019 1:21:24 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 981 ms
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 3891 transitions.
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (3891) to apply POR reductions. Disabling POR matrices.
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 365 ms
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 3891 transitions.
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 626ms conformant to PINS in folder :/home/mcc/execution
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 581 places.
Mar 26, 2019 1:21:25 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 3891 transitions.
Mar 26, 2019 1:21:25 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 21 ms
Mar 26, 2019 1:21:25 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Mar 26, 2019 1:41:26 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 26, 2019 1:41:27 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 830 ms
Mar 26, 2019 1:41:28 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1012 ms
Mar 26, 2019 1:41:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 26, 2019 1:41:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3155,t3155,t3155,t3155,t3155,t3155,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3596,t3596,t3596,t3596,t3596,t3596,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2783,t2782,t506,t2780,t2783,t2782,t506,t2780,t2783,t2782,t506,t2780,t2783,t2782,t506,t2780,t506,t508,t506,t506,t505,t508,t506,t506,t505,t508,t506,t506,t505,t508,t506,t506,t505,t506,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3670,t3670,t3670,t3670,t3670,t3670,t3670,t3670,t3670,t3670,t3670,t3670,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2616,t2616,t2616,t2616,t2616,t2616,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,t2203,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2721,t2721,t2721,t2721,t2721,t2721,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2713,t2712,t646,t2710,t2713,t2712,t646,t2710,t2713,t2712,t646,t2710,t2713,t2712,t646,t2710,t646,t648,t646,t646,t645,t648,t646,t646,t645,t648,t646,t646,t645,t648,t646,t646,t645,t646,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,t2259,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2966,t2966,t2966,t2966,t2966,t2966,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2161,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3309,t3309,t3309,t3309,t3309,t3309,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2734,t604,t2732,t2731,t2734,t604,t2732,t2731,t2734,t604,t2732,t2731,t2734,t604,t2732,t2731,t604,t606,t604,t604,t603,t606,t604,t604,t603,t606,t604,t604,t603,t606,t604,t604,t603,t604,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2650,t772,t2648,t2647,t2650,t772,t2648,t2647,t2650,t772,t2648,t2647,t2650,t772,t2648,t2647,t772,t774,t772,t772,t771,t774,t772,t772,t771,t774,t772,t772,t771,t774,t772,t772,t771,t772,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2679,t2679,t2679,t2679,t2679,t2679,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2525,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,t2091,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3449,t3449,t3449,t3449,t3449,t3449,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3288,t3288,t3288,t3288,t3288,t3288,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2700,t2700,t2700,t2700,t2700,t2700,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3232,t3232,t3232,t3232,t3232,t3232,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t363,t362,t361,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t386,t380,t384,t383,t382,t381,t380,t379,t378,t377,t380,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3365,t3365,t3365,t3365,t3365,t3365,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2727,t2726,t618,t2724,t2727,t2726,t618,t2724,t2727,t2726,t618,t2724,t2727,t2726,t618,t2724,t618,t620,t618,t618,t617,t620,t618,t618,t617,t620,t618,t618,t617,t620,t618,t618,t617,t618,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3748,t3748,t3748,t3748,t3748,t3748,t3748,t3748,t3748,t3748,t3748,t3748,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3120,t3120,t3120,t3120,t3120,t3120,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2629,t2628,t814,t2626,t2629,t2628,t814,t2626,t2629,t2628,t814,t2626,t2629,t2628,t814,t2626,t814,t816,t814,t814,t813,t816,t814,t814,t813,t816,t814,t814,t813,t816,t814,t814,t813,t814,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2665,t2665,t2665,t2665,t2665,t2665,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,t2427,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2812,t2812,t2812,t2812,t2812,t2812,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,t2273,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2601,t2600,t870,t2598,t2601,t2600,t870,t2598,t2601,t2600,t870,t2598,t2601,t2600,t870,t2598,t870,t872,t870,t870,t869,t872,t870,t870,t869,t872,t870,t870,t869,t872,t870,t870,t869,t870,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3022,t3022,t3022,t3022,t3022,t3022,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,t2217,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2685,t2684,t702,t2682,t2685,t2684,t702,t2682,t2685,t2684,t702,t2682,t2685,t2684,t702,t2682,t702,t704,t702,t702,t701,t704,t702,t702,t701,t704,t702,t702,t701,t704,t702,t702,t701,t702,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3470,t3470,t3470,t3470,t3470,t3470,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3183,t3183,t3183,t3183,t3183,t3183,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,t2567,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,t2553,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3386,t3386,t3386,t3386,t3386,t3386,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,t2287,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,t2371,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3657,t3657,t3657,t3657,t3657,t3657,t3657,t3657,t3657,t3657,t3657,t3657,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2637,t2637,t2637,t2637,t2637,t2637,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2798,t2798,t2798,t2798,t2798,t2798,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,t2483,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3624,t3624,t3624,t3624,t3624,t3624,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3029,t3029,t3029,t3029,t3029,t3029,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3484,t3484,t3484,t3484,t3484,t3484,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2854,t2854,t2854,t2854,t2854,t2854,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3696,t3696,t3696,t3696,t3696,t3696,t3696,t3696,t3696,t3696,t3696,t3696,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3239,t3239,t3239,t3239,t3239,t3239,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,t2175,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3533,t3533,t3533,t3533,t3533,t3533,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2840,t2840,t2840,t2840,t2840,t2840,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t403,t403,t403,t403,t403,t403,t403,t403,t403,t403,t403,t403,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t377,t377,t377,t377,t377,t377,t377,t377,t377,t377,t377,t377,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2952,t2952,t2952,t2952,t2952,t2952,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2875,t2875,t2875,t2875,t2875,t2875,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3435,t3435,t3435,t3435,t3435,t3435,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3302,t3302,t3302,t3302,t3302,t3302,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3561,t3561,t3561,t3561,t3561,t3561,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3057,t3057,t3057,t3057,t3057,t3057,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,t2231,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3505,t3505,t3505,t3505,t3505,t3505,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2868,t2868,t2868,t2868,t2868,t2868,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,t2497,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3519,t3519,t3519,t3519,t3519,t3519,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3015,t3015,t3015,t3015,t3015,t3015,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2903,t2903,t2903,t2903,t2903,t2903,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,t2399,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,t2133,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3078,t3078,t3078,t3078,t3078,t3078,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2692,t688,t2690,t2689,t2692,t688,t2690,t2689,t2692,t688,t2690,t2689,t2692,t688,t2690,t2689,t688,t690,t688,t688,t687,t690,t688,t688,t687,t690,t688,t688,t687,t690,t688,t688,t687,t688,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2651,t2651,t2651,t2651,t2651,t2651,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3134,t3134,t3134,t3134,t3134,t3134,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2833,t2833,t2833,t2833,t2833,t2833,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3204,t3204,t3204,t3204,t3204,t3204,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2770,t2770,t2770,t2770,t2770,t2770,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3036,t3036,t3036,t3036,t3036,t3036,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t455,t455,t455,t455,t455,t455,t455,t455,t455,t455,t455,t455,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,t2511,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,t2189,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3575,t3575,t3575,t3575,t3575,t3575,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2826,t2826,t2826,t2826,t2826,t2826,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2413,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2945,t2945,t2945,t2945,t2945,t2945,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3735,t3735,t3735,t3735,t3735,t3735,t3735,t3735,t3735,t3735,t3735,t3735,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2657,t2656,t758,t2654,t2657,t2656,t758,t2654,t2657,t2656,t758,t2654,t2657,t2656,t758,t2654,t758,t760,t758,t758,t757,t760,t758,t758,t757,t760,t758,t758,t757,t760,t758,t758,t757,t758,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2469,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3316,t3316,t3316,t3316,t3316,t3316,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3498,t3498,t3498,t3498,t3498,t3498,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2762,t548,t2760,t2759,t2762,t548,t2760,t2759,t2762,t548,t2760,t2759,t2762,t548,t2760,t2759,t548,t550,t548,t548,t547,t550,t548,t548,t547,t550,t548,t548,t547,t550,t548,t548,t547,t548,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3225,t3225,t3225,t3225,t3225,t3225,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,t2455,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3267,t3267,t3267,t3267,t3267,t3267,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3330,t3330,t3330,t3330,t3330,t3330,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3477,t3477,t3477,t3477,t3477,t3477,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3709,t3709,t3709,t3709,t3709,t3709,t3709,t3709,t3709,t3709,t3709,t3709,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t454,t453,t452,t454,t453,t452,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t454,t453,t452,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t454,t453,t452,t412,t411,t410,t404,t408,t407,t406,t405,t404,t403,t404,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2777,t2777,t2777,t2777,t2777,t2777,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3582,t3582,t3582,t3582,t3582,t3582,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2699,t2698,t674,t2696,t2699,t2698,t674,t2696,t2699,t2698,t674,t2696,t2699,t2698,t674,t2696,t674,t676,t674,t674,t673,t676,t674,t674,t673,t676,t674,t674,t673,t676,t674,t674,t673,t674,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3603,t3603,t3603,t3603,t3603,t3603,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3099,t3099,t3099,t3099,t3099,t3099,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3148,t3148,t3148,t3148,t3148,t3148,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3428,t3428,t3428,t3428,t3428,t3428,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t390,t390,t390,t390,t390,t390,t390,t390,t390,t390,t390,t390,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3456,t3456,t3456,t3456,t3456,t3456,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,t2077,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2861,t2861,t2861,t2861,t2861,t2861,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,t2119,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3295,t3295,t3295,t3295,t3295,t3295,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2672,t2672,t2672,t2672,t2672,t2672,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2994,t2994,t2994,t2994,t2994,t2994,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,t2245,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t351,t351,t351,t351,t351,t351,t351,t351,t351,t351,t351,t351,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2910,t2910,t2910,t2910,t2910,t2910,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2630,t2630,t2630,t2630,t2630,t2630,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3197,t3197,t3197,t3197,t3197,t3197,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2636,t800,t2634,t2633,t2636,t800,t2634,t2633,t2636,t800,t2634,t2633,t2636,t800,t2634,t2633,t800,t802,t800,t800,t799,t802,t800,t800,t799,t802,t800,t800,t799,t802,t800,t800,t799,t800,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2693,t2693,t2693,t2693,t2693,t2693,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3274,t3274,t3274,t3274,t3274,t3274,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3372,t3372,t3372,t3372,t3372,t3372,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2728,t2728,t2728,t2728,t2728,t2728,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2678,t716,t2676,t2675,t2678,t716,t2676,t2675,t2678,t716,t2676,t2675,t2678,t716,t2676,t2675,t716,t718,t716,t716,t715,t718,t716,t716,t715,t718,t716,t716,t715,t718,t716,t716,t715,t716,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,t2441,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2776,t520,t2774,t2773,t2776,t520,t2774,t2773,t2776,t520,t2774,t2773,t2776,t520,t2774,t2773,t520,t522,t520,t520,t519,t522,t520,t520,t519,t522,t520,t520,t519,t522,t520,t520,t519,t520,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3547,t3547,t3547,t3547,t3547,t3547,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2819,t2819,t2819,t2819,t2819,t2819,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2847,t2847,t2847,t2847,t2847,t2847,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2924,t2924,t2924,t2924,t2924,t2924,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2686,t2686,t2686,t2686,t2686,t2686,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2748,t576,t2746,t2745,t2748,t576,t2746,t2745,t2748,t576,t2746,t2745,t2748,t576,t2746,t2745,t576,t578,t576,t576,t575,t578,t576,t576,t575,t578,t576,t576,t575,t578,t576,t576,t575,t576,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3211,t3211,t3211,t3211,t3211,t3211,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3722,t3722,t3722,t3722,t3722,t3722,t3722,t3722,t3722,t3722,t3722,t3722,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2594,t884,t2592,t2591,t2594,t884,t2592,t2591,t2594,t884,t2592,t2591,t2594,t884,t2592,t2591,t884,t886,t884,t884,t883,t886,t884,t884,t883,t886,t884,t884,t883,t886,t884,t884,t883,t884,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2608,t856,t2606,t2605,t2608,t856,t2606,t2605,t2608,t856,t2606,t2605,t2608,t856,t2606,t2605,t856,t858,t856,t856,t855,t858,t856,t856,t855,t858,t856,t856,t855,t858,t856,t856,t855,t856,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3162,t3162,t3162,t3162,t3162,t3162,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2595,t2595,t2595,t2595,t2595,t2595,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2791,t2791,t2791,t2791,t2791,t2791,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3050,t3050,t3050,t3050,t3050,t3050,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t429,t429,t429,t429,t429,t429,t429,t429,t429,t429,t429,t429,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2769,t2768,t534,t2766,t2769,t2768,t534,t2766,t2769,t2768,t534,t2766,t2769,t2768,t534,t2766,t534,t536,t534,t534,t533,t536,t534,t534,t533,t536,t534,t534,t533,t536,t534,t534,t533,t534,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2615,t2614,t842,t2612,t2615,t2614,t842,t2612,t2615,t2614,t842,t2612,t2615,t2614,t842,t2612,t842,t844,t842,t842,t841,t844,t842,t842,t841,t844,t842,t842,t841,t844,t842,t842,t841,t842,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3344,t3344,t3344,t3344,t3344,t3344,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3169,t3169,t3169,t3169,t3169,t3169,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2622,t828,t2620,t2619,t2622,t828,t2620,t2619,t2622,t828,t2620,t2619,t2622,t828,t2620,t2619,t828,t830,t828,t828,t827,t830,t828,t828,t827,t830,t828,t828,t827,t830,t828,t828,t827,t828,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2609,t2609,t2609,t2609,t2609,t2609,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2357,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2784,t2784,t2784,t2784,t2784,t2784,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2931,t2931,t2931,t2931,t2931,t2931,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3337,t3337,t3337,t3337,t3337,t3337,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3540,t3540,t3540,t3540,t3540,t3540,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,t2385,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3631,t3631,t3631,t3631,t3631,t3631,t3631,t3631,t3631,t3631,t3631,t3631,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3589,t3589,t3589,t3589,t3589,t3589,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2917,t2917,t2917,t2917,t2917,t2917,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2741,t2740,t590,t2738,t2741,t2740,t590,t2738,t2741,t2740,t590,t2738,t2741,t2740,t590,t2738,t590,t592,t590,t590,t589,t592,t590,t590,t589,t592,t590,t590,t589,t592,t590,t590,t589,t590,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3141,t3141,t3141,t3141,t3141,t3141,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3106,t3106,t3106,t3106,t3106,t3106,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2980,t2980,t2980,t2980,t2980,t2980,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,t2147,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3463,t3463,t3463,t3463,t3463,t3463,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3008,t3008,t3008,t3008,t3008,t3008,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2720,t632,t2718,t2717,t2720,t632,t2718,t2717,t2720,t632,t2718,t2717,t2720,t632,t2718,t2717,t632,t634,t632,t632,t631,t634,t632,t632,t631,t634,t632,t632,t631,t634,t632,t632,t631,t632,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2735,t2735,t2735,t2735,t2735,t2735,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3351,t3351,t3351,t3351,t3351,t3351,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3043,t3043,t3043,t3043,t3043,t3043,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2987,t2987,t2987,t2987,t2987,t2987,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3610,t3610,t3610,t3610,t3610,t3610,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2644,t2644,t2644,t2644,t2644,t2644,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3001,t3001,t3001,t3001,t3001,t3001,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3568,t3568,t3568,t3568,t3568,t3568,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3127,t3127,t3127,t3127,t3127,t3127,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3253,t3253,t3253,t3253,t3253,t3253,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2882,t2882,t2882,t2882,t2882,t2882,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2790,t492,t2788,t2787,t2790,t492,t2788,t2787,t2790,t492,t2788,t2787,t2790,t492,t2788,t2787,t492,t494,t492,t492,t491,t494,t492,t492,t491,t494,t492,t492,t491,t494,t492,t492,t491,t492,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,t2315,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2756,t2756,t2756,t2756,t2756,t2756,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2581,t2581,t2581,t2581,t2581,t2581,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2896,t2896,t2896,t2896,t2896,t2896,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3683,t3683,t3683,t3683,t3683,t3683,t3683,t3683,t3683,t3683,t3683,t3683,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3071,t3071,t3071,t3071,t3071,t3071,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t389,t388,t387,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t389,t388,t387,t389,t388,t387,t389,t388,t387,t360,t359,t358,t352,t356,t355,t354,t353,t352,t351,t352,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2763,t2763,t2763,t2763,t2763,t2763,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3512,t3512,t3512,t3512,t3512,t3512,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3281,t3281,t3281,t3281,t3281,t3281,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3617,t3617,t3617,t3617,t3617,t3617,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2623,t2623,t2623,t2623,t2623,t2623,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3176,t3176,t3176,t3176,t3176,t3176,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2889,t2889,t2889,t2889,t2889,t2889,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3092,t3092,t3092,t3092,t3092,t3092,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2755,t2754,t562,t2752,t2755,t2754,t562,t2752,t2755,t2754,t562,t2752,t2755,t2754,t562,t2752,t562,t564,t562,t562,t561,t564,t562,t562,t561,t564,t562,t562,t561,t564,t562,t562,t561,t562,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t376,t375,t374,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t438,t432,t436,t435,t434,t433,t432,t431,t430,t429,t432,t376,t375,t374,t376,t375,t374,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3526,t3526,t3526,t3526,t3526,t3526,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2973,t2973,t2973,t2973,t2973,t2973,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3218,t3218,t3218,t3218,t3218,t3218,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,t2329,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3400,t3400,t3400,t3400,t3400,t3400,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2959,t2959,t2959,t2959,t2959,t2959,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3491,t3491,t3491,t3491,t3491,t3491,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2301,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t364,t364,t364,t364,t364,t364,t364,t364,t364,t364,t364,t364,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3554,t3554,t3554,t3554,t3554,t3554,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3064,t3064,t3064,t3064,t3064,t3064,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3421,t3421,t3421,t3421,t3421,t3421,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,t2343,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3644,t3644,t3644,t3644,t3644,t3644,t3644,t3644,t3644,t3644,t3644,t3644,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3393,t3393,t3393,t3393,t3393,t3393,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3323,t3323,t3323,t3323,t3323,t3323,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2671,t2670,t730,t2668,t2671,t2670,t730,t2668,t2671,t2670,t730,t2668,t2671,t2670,t730,t2668,t730,t732,t730,t730,t729,t732,t730,t730,t729,t732,t730,t730,t729,t732,t730,t730,t729,t730,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2584,t898,t2582,t2581,t2584,t898,t2582,t2581,t2584,t898,t2582,t2581,t2584,t898,t2582,t2581,t898,t900,t898,t898,t897,t900,t898,t898,t897,t900,t898,t898,t897,t900,t898,t898,t897,t898,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2664,t744,t2662,t2661,t2664,t744,t2662,t2661,t2664,t744,t2662,t2661,t2664,t744,t2662,t2661,t744,t746,t744,t744,t743,t746,t744,t744,t743,t746,t744,t744,t743,t746,t744,t744,t743,t744,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t2587,t2586,t2585,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t464,t463,t462,t456,t460,t459,t458,t457,t456,t455,t456,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3246,t3246,t3246,t3246,t3246,t3246,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3113,t3113,t3113,t3113,t3113,t3113,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3379,t3379,t3379,t3379,t3379,t3379,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3260,t3260,t3260,t3260,t3260,t3260,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2938,t2938,t2938,t2938,t2938,t2938,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3085,t3085,t3085,t3085,t3085,t3085,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2714,t2714,t2714,t2714,t2714,t2714,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2588,t2588,t2588,t2588,t2588,t2588,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2805,t2805,t2805,t2805,t2805,t2805,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3442,t3442,t3442,t3442,t3442,t3442,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t442,t442,t442,t442,t442,t442,t442,t442,t442,t442,t442,t442,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2602,t2602,t2602,t2602,t2602,t2602,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t416,t416,t416,t416,t416,t416,t416,t416,t416,t416,t416,t416,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3414,t3414,t3414,t3414,t3414,t3414,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3407,t3407,t3407,t3407,t3407,t3407,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,t2539,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t468,t468,t468,t468,t468,t468,t468,t468,t468,t468,t468,t468,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3190,t3190,t3190,t3190,t3190,t3190,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2742,t2742,t2742,t2742,t2742,t2742,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2643,t2642,t786,t2640,t2643,t2642,t786,t2640,t2643,t2642,t786,t2640,t2643,t2642,t786,t2640,t786,t788,t786,t786,t785,t788,t786,t786,t785,t788,t786,t786,t785,t788,t786,t786,t785,t786,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3358,t3358,t3358,t3358,t3358,t3358,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2749,t2749,t2749,t2749,t2749,t2749,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t2706,t660,t2704,t2703,t2706,t660,t2704,t2703,t2706,t660,t2704,t2703,t2706,t660,t2704,t2703,t660,t662,t660,t660,t659,t662,t660,t660,t659,t662,t660,t660,t659,t662,t660,t660,t659,t660,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2707,t2707,t2707,t2707,t2707,t2707,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2658,t2658,t2658,t2658,t2658,t2658,
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 6260 redundant transitions.
Mar 26, 2019 1:41:30 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1870 ms
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t2661, u12.t2662, u12.t2664]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t813, u7.t816]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t2685, u15.t2684, u15.t2682]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t2752, u25.t2754, u25.t2755]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t2643, u9.t2642, u9.t2640]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t375, u32.t374, u32.t376]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t2790, u30.t2787, u30.t2788]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t2690, u16.t2692, u16.t2689]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu10_flat :[u10.t2647, u10.t2648, u10.t2650]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t634, u20.t631]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t564, u25.t561]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t855, u4.t858]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t2776, u28.t2774, u28.t2773]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t659, u18.t662]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t2614, u5.t2615, u5.t2612]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t536, u27.t533]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu33_flat :[u33.t403, u33.t404, u33.t405, u33.t406, u33.t410, u33.t411, u33.t412, u33.t407, u33.t408]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t354, u35.t353, u35.t356, u35.t355, u35.t360, u35.t352, u35.t351, u35.t358, u35.t359]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t606, u22.t603]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t387, u35.t389, u35.t388]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t2759, u26.t2760, u26.t2762]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t491, u30.t494]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t2780, u29.t2782, u29.t2783]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu17_flat :[u17.t2696, u17.t2698, u17.t2699]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t362, u34.t361, u34.t363]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t550, u26.t547]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.t2726, u21.t2724, u21.t2727]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t802, u8.t799]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t2718, u20.t2717, u20.t2720]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t2634, u8.t2633, u8.t2636]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t462, u31.t460, u31.t455, u31.t463, u31.t464, u31.t458, u31.t459, u31.t456, u31.t457]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t2766, u27.t2768, u27.t2769]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t743, u12.t746]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t519, u28.t522]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.t2598, u3.t2600, u3.t2601]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t690, u16.t687]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t382, u34.t381, u34.t384, u34.t383, u34.t386, u34.t377, u34.t379, u34.t378, u34.t380]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu10_flat :[u10.t771, u10.t774]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t508, u29.t505]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t2584, u1.t2582, u1.t2581]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t2668, u13.t2671, u13.t2670]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu24_flat :[u24.t2748, u24.t2746, u24.t2745]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t645, u19.t648]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t732, u13.t729]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t830, u6.t827]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.t872, u3.t869]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t2676, u14.t2675, u14.t2678]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t2619, u6.t2622, u6.t2620]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t430, u32.t429, u32.t438, u32.t436, u32.t435, u32.t434, u32.t433, u32.t432, u32.t431]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t883, u2.t886]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t2608, u4.t2605, u4.t2606]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t2591, u2.t2592, u2.t2594]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu17_flat :[u17.t673, u17.t676]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t701, u15.t704]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t2740, u23.t2741, u23.t2738]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.t620, u21.t617]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t760, u11.t757]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t2654, u11.t2656, u11.t2657]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t2712, u19.t2713, u19.t2710]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu33_flat :[u33.t454, u33.t452, u33.t453]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t2706, u18.t2703, u18.t2704]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t592, u23.t589]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t718, u14.t715]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t785, u9.t788]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu24_flat :[u24.t578, u24.t575]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t897, u1.t900]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t2626, u7.t2629, u7.t2628]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t844, u5.t841]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t2585, u31.t2587, u31.t2586]
Mar 26, 2019 1:41:31 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t2734, u22.t2731, u22.t2732]
Mar 26, 2019 1:41:31 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 44 ms
Mar 26, 2019 1:41:31 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 0 ms

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="DLCflexbar-PT-3a"
export BK_EXAMINATION="LTLFireability"
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 DLCflexbar-PT-3a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r192-oct2-155234409500205"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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