Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r188-smll-155225014100156.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3817
Executing tool itstoolsm
Input is ASLink-PT-09a, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-smll-155225014100156
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 992K
-rw-r--r-- 1 mcc users 3.4K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 09:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 839K 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 ASLink-PT-09a-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553732580348

Working with output stream class java.io.PrintStream
Flatten gal took : 807 ms
Constant places removed 37 places and 1 transitions.
Reduce isomorphic transitions removed 31 transitions.
Implicit places reduction removed 18 places :[p1848, p1781, p1586, p1574, p1391, p1379, p1196, p1184, p1001, p989, p806, p794, p611, p599, p416, p404, p221, p209]
Performed 381 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 467 rules applied. Total rules applied 467 place count 1936 transition count 2506
Constant places removed 474 places and 0 transitions.
Performed 29 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 503 rules applied. Total rules applied 970 place count 1462 transition count 2477
Constant places removed 30 places and 0 transitions.
Implicit places reduction removed 10 places :[p1758, p1563, p1368, p1173, p978, p783, p588, p393, p206, p199]
Performed 10 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 50 rules applied. Total rules applied 1020 place count 1422 transition count 2467
Constant places removed 10 places and 0 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 1030 place count 1412 transition count 2467
Performed 36 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 4 with 36 Pre rules applied. Total rules applied 1030 place count 1412 transition count 2431
Constant places removed 36 places and 0 transitions.
Iterating post reduction 4 with 36 rules applied. Total rules applied 1066 place count 1376 transition count 2431
Symmetric choice reduction at 5 with 21 rule applications. Total rules 1087 place count 1376 transition count 2431
Constant places removed 21 places and 74 transitions.
Reduce isomorphic transitions removed 2 transitions.
Implicit places reduction removed 12 places :[p1990, p1851, p1749, p1554, p1359, p1164, p969, p774, p579, p384, p190, p23]
Performed 13 Post agglomeration using F-continuation condition.
Iterating post reduction 5 with 48 rules applied. Total rules applied 1135 place count 1343 transition count 2342
Constant places removed 13 places and 0 transitions.
Iterating post reduction 6 with 13 rules applied. Total rules applied 1148 place count 1330 transition count 2342
Symmetric choice reduction at 7 with 10 rule applications. Total rules 1158 place count 1330 transition count 2342
Constant places removed 10 places and 17 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 1168 place count 1320 transition count 2325
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1169 place count 1320 transition count 2325
Constant places removed 1 places and 8 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 1170 place count 1319 transition count 2317
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1171 place count 1319 transition count 2317
Constant places removed 1 places and 8 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 1172 place count 1318 transition count 2309
Symmetric choice reduction at 10 with 1 rule applications. Total rules 1173 place count 1318 transition count 2309
Constant places removed 1 places and 8 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 1174 place count 1317 transition count 2301
Symmetric choice reduction at 11 with 1 rule applications. Total rules 1175 place count 1317 transition count 2301
Constant places removed 1 places and 8 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 1176 place count 1316 transition count 2293
Symmetric choice reduction at 12 with 1 rule applications. Total rules 1177 place count 1316 transition count 2293
Constant places removed 1 places and 8 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 1178 place count 1315 transition count 2285
Symmetric choice reduction at 13 with 1 rule applications. Total rules 1179 place count 1315 transition count 2285
Constant places removed 1 places and 8 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 1180 place count 1314 transition count 2277
Symmetric choice reduction at 14 with 1 rule applications. Total rules 1181 place count 1314 transition count 2277
Constant places removed 1 places and 8 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 1182 place count 1313 transition count 2269
Symmetric choice reduction at 15 with 1 rule applications. Total rules 1183 place count 1313 transition count 2269
Constant places removed 1 places and 8 transitions.
Iterating post reduction 15 with 1 rules applied. Total rules applied 1184 place count 1312 transition count 2261
Symmetric choice reduction at 16 with 1 rule applications. Total rules 1185 place count 1312 transition count 2261
Constant places removed 1 places and 8 transitions.
Iterating post reduction 16 with 1 rules applied. Total rules applied 1186 place count 1311 transition count 2253
Symmetric choice reduction at 17 with 1 rule applications. Total rules 1187 place count 1311 transition count 2253
Constant places removed 1 places and 8 transitions.
Iterating post reduction 17 with 1 rules applied. Total rules applied 1188 place count 1310 transition count 2245
Symmetric choice reduction at 18 with 1 rule applications. Total rules 1189 place count 1310 transition count 2245
Constant places removed 1 places and 8 transitions.
Iterating post reduction 18 with 1 rules applied. Total rules applied 1190 place count 1309 transition count 2237
Symmetric choice reduction at 19 with 1 rule applications. Total rules 1191 place count 1309 transition count 2237
Constant places removed 1 places and 8 transitions.
Iterating post reduction 19 with 1 rules applied. Total rules applied 1192 place count 1308 transition count 2229
Symmetric choice reduction at 20 with 1 rule applications. Total rules 1193 place count 1308 transition count 2229
Constant places removed 1 places and 8 transitions.
Iterating post reduction 20 with 1 rules applied. Total rules applied 1194 place count 1307 transition count 2221
Symmetric choice reduction at 21 with 1 rule applications. Total rules 1195 place count 1307 transition count 2221
Constant places removed 1 places and 8 transitions.
Iterating post reduction 21 with 1 rules applied. Total rules applied 1196 place count 1306 transition count 2213
Symmetric choice reduction at 22 with 1 rule applications. Total rules 1197 place count 1306 transition count 2213
Constant places removed 1 places and 8 transitions.
Iterating post reduction 22 with 1 rules applied. Total rules applied 1198 place count 1305 transition count 2205
Performed 28 Post agglomeration using F-continuation condition.
Constant places removed 28 places and 0 transitions.
Iterating post reduction 23 with 28 rules applied. Total rules applied 1226 place count 1277 transition count 2177
Applied a total of 1226 rules in 2575 ms. Remains 1277 /1991 variables (removed 714) and now considering 2177/2919 (removed 742) transitions.
Random walk for 250 k steps run took 12391 ms.
// Phase 1: matrix 2177 rows 1277 cols
Random walk for 4 * 500 k steps run took 88705 ms.
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]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK --load-order /home/mcc/execution/model.ord
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Compilation finished in 33636 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 75 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -d], 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-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 97 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 47 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 93 ordering constraints for composite.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.36884e+33,123.149,1805548,7011,587,3.4304e+06,1935,1190,4.7007e+06,170,15143,0


Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
dead,1.79874e+23,124.572,1805548,1679,232,3.4304e+06,7120,3577,4.7007e+06,596,20000,295011

System contains 1.79874e+23 deadlocks (shown below if less than --print-limit option) !
FORMULA ASLink-PT-09a-GlobalProperties-0 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
[ u320={[ p1824=1 ]
} i70={[ u359={[ ]
} u358={[ ]
} u357={[ ]
} u356={[ ]
} u352={[ ]
} u351={[ ]
} u350={[ ]
} u349={[ ]
} u348={[ ]
} u346={[ ]
} u347={[ ]
} u345={[ ]
} u344={[ ]
} u386={[ p1858=1 ]
[ p1860=1 ]
} u343={[ ]
} u342={[ ]
} u341={[ ]
} u340={[ ]
} u339={[ ]
} u337={[ ]
} u338={[ ]
} u336={[ ]
} u335={[ ]
} u334={[ ]
} u333={[ ]
} u332={[ ]
} u327={[ ]
} u326={[ ]
} u331={[ ]
} u330={[ ]
} u329={[ ]
} u328={[ ]
} u325={[ ]
} u324={[ ]
} ]
} u322={[ ]
} u319={[ p1806=1 ]
} u321={[ p1849=1 ]
} u284={[ p1596=1 ]
} u285={[ p1613=1 ]
} u315={[ p1773=1 ]
} i62={[ u311={[ ]
} u309={[ ]
} u368={[ ]
} u303={[ ]
} u298={[ ]
} u293={[ ]
} u288={[ p1660=1 ]
} i7={[ u384={[ ]
} u307={[ ]
} ]
} i5={[ u364={[ ]
} u302={[ ]
} ]
} i3={[ u365={[ ]
} u297={[ ]
} ]
} i1={[ u369={[ p1662=1 ]
} u292={[ ]
} ]
} ]
[ u311={[ ]
} u309={[ ]
} u368={[ ]
} u303={[ ]
} u298={[ ]
} u293={[ p1694=1 ]
} u288={[ ]
} i7={[ u384={[ ]
} u307={[ ]
} ]
} i5={[ u364={[ ]
} u302={[ ]
} ]
} i3={[ u365={[ p1696=1 ]
} u297={[ ]
} ]
} i1={[ u369={[ ]
} u292={[ ]
} ]
} ]
[ u311={[ ]
} u309={[ ]
} u368={[ ]
} u303={[ ]
} u298={[ p1716=1 ]
} u293={[ ]
} u288={[ ]
} i7={[ u384={[ ]
} u307={[ ]
} ]
} i5={[ u364={[ p1718=1 ]
} u302={[ ]
} ]
} i3={[ u365={[ ]
} u297={[ ]
} ]
} i1={[ u369={[ ]
} u292={[ ]
} ]
} ]
[ u311={[ ]
} u309={[ ]
} u368={[ ]
} u303={[ p1736=1 ]
} u298={[ ]
} u293={[ ]
} u288={[ ]
} i7={[ u384={[ p1738=1 ]
} u307={[ ]
} ]
} i5={[ u364={[ ]
} u302={[ ]
} ]
} i3={[ u365={[ ]
} u297={[ ]
} ]
} i1={[ u369={[ ]
} u292={[ ]
} ]
} ]
} u318={[ p1788=1 ]
} u286={[ p1631=1 ]
} u249={[ p1401=1 ]
} u251={[ p1436=1 ]
} i55={[ u276={[ ]
} u274={[ ]
} u399={[ ]
} u268={[ ]
} u263={[ ]
} u258={[ p1489=1 ]
[ p1491=1 ]
[ p1493=1 ]
[ p1495=1 ]
} u253={[ ]
} i7={[ u412={[ ]
} u272={[ ]
} ]
} i5={[ u415={[ ]
} u267={[ ]
} ]
} i3={[ u416={[ p1501=1 ]
} u262={[ ]
} ]
} i1={[ u398={[ ]
} u257={[ ]
} ]
} ]
[ u276={[ ]
} u274={[ ]
} u399={[ ]
} u268={[ ]
} u263={[ p1515=1 ]
[ p1517=1 ]
} u258={[ ]
} u253={[ ]
} i7={[ u412={[ ]
} u272={[ ]
} ]
} i5={[ u415={[ p1523=1 ]
} u267={[ ]
} ]
} i3={[ u416={[ ]
} u262={[ ]
} ]
} i1={[ u398={[ ]
} u257={[ ]
} ]
} ]
[ u276={[ ]
} u274={[ ]
} u399={[ ]
} u268={[ p1537=1 ]
} u263={[ ]
} u258={[ ]
} u253={[ ]
} i7={[ u412={[ p1543=1 ]
} u272={[ ]
} ]
} i5={[ u415={[ ]
} u267={[ ]
} ]
} i3={[ u416={[ ]
} u262={[ ]
} ]
} i1={[ u398={[ ]
} u257={[ ]
} ]
} ]
} u250={[ p1420=1 ]
[ p1422=1 ]
[ p1424=1 ]
[ p1426=1 ]
[ p1428=1 ]
[ p1430=1 ]
[ p1432=1 ]
[ p1434=1 ]
} u283={[ p1593=1 ]
} i63={[ u383={[ ]
} u314={[ p1769=1 ]
} u313={[ p1764=1 ]
} ]
} u214={[ p1206=1 ]
} u280={[ p1580=1 ]
} u248={[ p1398=1 ]
} i48={[ u241={[ ]
} u239={[ ]
} u396={[ ]
} u233={[ ]
} u228={[ ]
} u223={[ p1294=1 ]
[ p1296=1 ]
[ p1298=1 ]
[ p1300=1 ]
} u218={[ ]
} i7={[ u389={[ ]
} u237={[ ]
} ]
} i5={[ u390={[ ]
} u232={[ ]
} ]
} i3={[ u393={[ p1306=1 ]
} u227={[ ]
} ]
} i1={[ u395={[ ]
} u222={[ ]
} ]
} ]
[ u241={[ ]
} u239={[ ]
} u396={[ ]
} u233={[ ]
} u228={[ p1320=1 ]
[ p1322=1 ]
} u223={[ ]
} u218={[ ]
} i7={[ u389={[ ]
} u237={[ ]
} ]
} i5={[ u390={[ p1328=1 ]
} u232={[ ]
} ]
} i3={[ u393={[ ]
} u227={[ ]
} ]
} i1={[ u395={[ ]
} u222={[ ]
} ]
} ]
[ u241={[ ]
} u239={[ ]
} u396={[ ]
} u233={[ p1342=1 ]
} u228={[ ]
} u223={[ ]
} u218={[ ]
} i7={[ u389={[ p1348=1 ]
} u237={[ ]
} ]
} i5={[ u390={[ ]
} u232={[ ]
} ]
} i3={[ u393={[ ]
} u227={[ ]
} ]
} i1={[ u395={[ ]
} u222={[ ]
} ]
} ]
} u215={[ p1225=1 ]
[ p1227=1 ]
[ p1229=1 ]
[ p1231=1 ]
[ p1233=1 ]
[ p1235=1 ]
[ p1237=1 ]
[ p1239=1 ]
} i56={[ u408={[ ]
} u279={[ p1572=1 ]
} u278={[ p1569=1 ]
} ]
} u216={[ p1241=1 ]
} u245={[ p1385=1 ]
} u179={[ p1011=1 ]
} i49={[ u403={[ ]
} u244={[ p1377=1 ]
} u243={[ p1374=1 ]
} ]
} u180={[ p1028=1 ]
} i41={[ u206={[ ]
} u204={[ ]
} u379={[ ]
} u198={[ ]
} u193={[ ]
} u188={[ ]
} u183={[ p1075=1 ]
} i7={[ u375={[ ]
} u202={[ ]
} ]
} i5={[ u374={[ ]
} u197={[ ]
} ]
} i3={[ u381={[ ]
} u192={[ ]
} ]
} i1={[ u382={[ p1077=1 ]
} u187={[ ]
} ]
} ]
[ u206={[ ]
} u204={[ ]
} u379={[ ]
} u198={[ ]
} u193={[ ]
} u188={[ p1109=1 ]
} u183={[ ]
} i7={[ u375={[ ]
} u202={[ ]
} ]
} i5={[ u374={[ ]
} u197={[ ]
} ]
} i3={[ u381={[ p1111=1 ]
} u192={[ ]
} ]
} i1={[ u382={[ ]
} u187={[ ]
} ]
} ]
[ u206={[ ]
} u204={[ ]
} u379={[ ]
} u198={[ ]
} u193={[ p1131=1 ]
} u188={[ ]
} u183={[ ]
} i7={[ u375={[ ]
} u202={[ ]
} ]
} i5={[ u374={[ p1133=1 ]
} u197={[ ]
} ]
} i3={[ u381={[ ]
} u192={[ ]
} ]
} i1={[ u382={[ ]
} u187={[ ]
} ]
} ]
[ u206={[ ]
} u204={[ ]
} u379={[ ]
} u198={[ p1151=1 ]
} u193={[ ]
} u188={[ ]
} u183={[ ]
} i7={[ u375={[ p1153=1 ]
} u202={[ ]
} ]
} i5={[ u374={[ ]
} u197={[ ]
} ]
} i3={[ u381={[ ]
} u192={[ ]
} ]
} i1={[ u382={[ ]
} u187={[ ]
} ]
} ]
} u210={[ p1187=1 ]
} u213={[ p1203=1 ]
} u181={[ p1046=1 ]
} u144={[ p816=1 ]
} i42={[ u385={[ ]
} u209={[ ]
} u208={[ p1179=1 ]
} ]
} u145={[ p833=1 ]
} i34={[ u171={[ ]
} u169={[ ]
} u414={[ ]
} u163={[ ]
} u158={[ ]
} u153={[ ]
} u148={[ p880=1 ]
} i7={[ u370={[ ]
} u167={[ ]
} ]
} i5={[ u372={[ ]
} u162={[ ]
} ]
} i3={[ u409={[ ]
} u157={[ ]
} ]
} i1={[ u410={[ p882=1 ]
} u152={[ ]
} ]
} ]
[ u171={[ ]
} u169={[ ]
} u414={[ ]
} u163={[ ]
} u158={[ ]
} u153={[ p914=1 ]
} u148={[ ]
} i7={[ u370={[ ]
} u167={[ ]
} ]
} i5={[ u372={[ ]
} u162={[ ]
} ]
} i3={[ u409={[ p916=1 ]
} u157={[ ]
} ]
} i1={[ u410={[ ]
} u152={[ ]
} ]
} ]
[ u171={[ ]
} u169={[ ]
} u414={[ ]
} u163={[ ]
} u158={[ p936=1 ]
} u153={[ ]
} u148={[ ]
} i7={[ u370={[ ]
} u167={[ ]
} ]
} i5={[ u372={[ p938=1 ]
} u162={[ ]
} ]
} i3={[ u409={[ ]
} u157={[ ]
} ]
} i1={[ u410={[ ]
} u152={[ ]
} ]
} ]
[ u171={[ ]
} u169={[ ]
} u414={[ ]
} u163={[ p956=1 ]
} u158={[ ]
} u153={[ ]
} u148={[ ]
} i7={[ u370={[ p958=1 ]
} u167={[ ]
} ]
} i5={[ u372={[ ]
} u162={[ ]
} ]
} i3={[ u409={[ ]
} u157={[ ]
} ]
} i1={[ u410={[ ]
} u152={[ ]
} ]
} ]
} u175={[ p992=1 ]
} u178={[ p1008=1 ]
} u146={[ p851=1 ]
} u109={[ p621=1 ]
} i35={[ u363={[ ]
} u174={[ ]
} u173={[ p984=1 ]
} ]
} u110={[ p638=1 ]
} i27={[ u136={[ ]
} u134={[ ]
} u387={[ ]
} u128={[ ]
} u123={[ ]
} u118={[ ]
} u113={[ p685=1 ]
} i7={[ u401={[ ]
} u132={[ ]
} ]
} i5={[ u402={[ ]
} u127={[ ]
} ]
} i3={[ u404={[ ]
} u122={[ ]
} ]
} i1={[ u388={[ p687=1 ]
} u117={[ ]
} ]
} ]
[ u136={[ ]
} u134={[ ]
} u387={[ ]
} u128={[ ]
} u123={[ ]
} u118={[ p719=1 ]
} u113={[ ]
} i7={[ u401={[ ]
} u132={[ ]
} ]
} i5={[ u402={[ ]
} u127={[ ]
} ]
} i3={[ u404={[ p721=1 ]
} u122={[ ]
} ]
} i1={[ u388={[ ]
} u117={[ ]
} ]
} ]
[ u136={[ ]
} u134={[ ]
} u387={[ ]
} u128={[ ]
} u123={[ p741=1 ]
} u118={[ ]
} u113={[ ]
} i7={[ u401={[ ]
} u132={[ ]
} ]
} i5={[ u402={[ p743=1 ]
} u127={[ ]
} ]
} i3={[ u404={[ ]
} u122={[ ]
} ]
} i1={[ u388={[ ]
} u117={[ ]
} ]
} ]
[ u136={[ ]
} u134={[ ]
} u387={[ ]
} u128={[ p761=1 ]
} u123={[ ]
} u118={[ ]
} u113={[ ]
} i7={[ u401={[ p763=1 ]
} u132={[ ]
} ]
} i5={[ u402={[ ]
} u127={[ ]
} ]
} i3={[ u404={[ ]
} u122={[ ]
} ]
} i1={[ u388={[ ]
} u117={[ ]
} ]
} ]
} u140={[ p797=1 ]
} u143={[ p813=1 ]
} u111={[ p656=1 ]
} u74={[ p426=1 ]
} i28={[ u417={[ ]
} u139={[ ]
} u138={[ p789=1 ]
} ]
} u75={[ p443=1 ]
} i20={[ u101={[ ]
} u99={[ ]
} u366={[ ]
} u93={[ ]
} u88={[ ]
} u83={[ ]
} u78={[ p490=1 ]
} i7={[ u376={[ ]
} u97={[ ]
} ]
} i5={[ u373={[ ]
} u92={[ ]
} ]
} i3={[ u371={[ ]
} u87={[ ]
} ]
} i1={[ u367={[ p492=1 ]
} u82={[ ]
} ]
} ]
[ u101={[ ]
} u99={[ ]
} u366={[ ]
} u93={[ ]
} u88={[ ]
} u83={[ p524=1 ]
} u78={[ ]
} i7={[ u376={[ ]
} u97={[ ]
} ]
} i5={[ u373={[ ]
} u92={[ ]
} ]
} i3={[ u371={[ p526=1 ]
} u87={[ ]
} ]
} i1={[ u367={[ ]
} u82={[ ]
} ]
} ]
[ u101={[ ]
} u99={[ ]
} u366={[ ]
} u93={[ ]
} u88={[ p546=1 ]
} u83={[ ]
} u78={[ ]
} i7={[ u376={[ ]
} u97={[ ]
} ]
} i5={[ u373={[ p548=1 ]
} u92={[ ]
} ]
} i3={[ u371={[ ]
} u87={[ ]
} ]
} i1={[ u367={[ ]
} u82={[ ]
} ]
} ]
[ u101={[ ]
} u99={[ ]
} u366={[ ]
} u93={[ p566=1 ]
} u88={[ ]
} u83={[ ]
} u78={[ ]
} i7={[ u376={[ p568=1 ]
} u97={[ ]
} ]
} i5={[ u373={[ ]
} u92={[ ]
} ]
} i3={[ u371={[ ]
} u87={[ ]
} ]
} i1={[ u367={[ ]
} u82={[ ]
} ]
} ]
} u105={[ p602=1 ]
} u108={[ p618=1 ]
} u76={[ p461=1 ]
} i21={[ u394={[ ]
} u104={[ ]
} u103={[ p594=1 ]
} ]
} u39={[ p231=1 ]
} u70={[ p413=1 ]
} u40={[ p248=1 ]
} i14={[ u418={[ p398=1 ]
} u69={[ ]
} u68={[ ]
} ]
} i13={[ u66={[ ]
} u64={[ ]
} u405={[ ]
} u58={[ ]
} u53={[ ]
} u48={[ ]
} u43={[ p294=1 ]
} i7={[ u413={[ ]
} u62={[ ]
} ]
} i5={[ u411={[ ]
} u57={[ ]
} ]
} i3={[ u407={[ ]
} u52={[ ]
} ]
} i1={[ u406={[ p297=1 ]
} u47={[ ]
} ]
} ]
[ u66={[ ]
} u64={[ ]
} u405={[ ]
} u58={[ ]
} u53={[ ]
} u48={[ p328=1 ]
} u43={[ ]
} i7={[ u413={[ ]
} u62={[ ]
} ]
} i5={[ u411={[ ]
} u57={[ ]
} ]
} i3={[ u407={[ p331=1 ]
} u52={[ ]
} ]
} i1={[ u406={[ ]
} u47={[ ]
} ]
} ]
[ u66={[ ]
} u64={[ ]
} u405={[ ]
} u58={[ ]
} u53={[ p350=1 ]
} u48={[ ]
} u43={[ ]
} i7={[ u413={[ ]
} u62={[ ]
} ]
} i5={[ u411={[ p353=1 ]
} u57={[ ]
} ]
} i3={[ u407={[ ]
} u52={[ ]
} ]
} i1={[ u406={[ ]
} u47={[ ]
} ]
} ]
[ u66={[ ]
} u64={[ ]
} u405={[ ]
} u58={[ p370=1 ]
} u53={[ ]
} u48={[ ]
} u43={[ ]
} i7={[ u413={[ p373=1 ]
} u62={[ ]
} ]
} i5={[ u411={[ ]
} u57={[ ]
} ]
} i3={[ u407={[ ]
} u52={[ ]
} ]
} i1={[ u406={[ ]
} u47={[ ]
} ]
} ]
} u73={[ p423=1 ]
} u400={[ p204=1 ]
} u35={[ p210=1 ]
} u41={[ p266=1 ]
} u3={[ p22=1 ]
[ p31=1 ]
} u5={[ p54=1 ]
} u2={[ p21=1 ]
} u4={[ p53=1 ]
} i6={[ u31={[ ]
} u29={[ ]
} u378={[ ]
} u23={[ ]
} u18={[ ]
} u13={[ ]
} u8={[ p98=1 ]
} i7={[ u397={[ ]
} u27={[ ]
} ]
} i5={[ u392={[ ]
} u22={[ ]
} ]
} i3={[ u391={[ ]
} u17={[ ]
} ]
} i1={[ u380={[ p106=1 ]
[ p102=1 ]
[ p108=1 ]
[ p110=1 ]
} u12={[ ]
} ]
} ]
[ u31={[ ]
} u29={[ p193=1 ]
} u378={[ ]
} u23={[ ]
} u18={[ ]
} u13={[ ]
} u8={[ ]
} i7={[ u397={[ ]
} u27={[ ]
} ]
} i5={[ u392={[ ]
} u22={[ ]
} ]
} i3={[ u391={[ ]
} u17={[ ]
} ]
} i1={[ u380={[ ]
} u12={[ ]
} ]
} ]
} u38={[ p228=1 ]
} u1={[ p18=1 ]
} u6={[ p72=1 ]
} ]
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.

BK_STOP 1553734211109

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -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 GlobalProperties -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 28, 2019 12:23:03 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, GlobalProperties, -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 28, 2019 12:23:03 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 28, 2019 12:23:03 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 315 ms
Mar 28, 2019 12:23:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1991 places.
Mar 28, 2019 12:23:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2919 transitions.
Mar 28, 2019 12:23:03 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 28, 2019 12:23:03 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 80 ms
Mar 28, 2019 12:23:04 AM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Mar 28, 2019 12:23:04 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property ASLink-PT-09a-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 12:23:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 799 ms
Mar 28, 2019 12:23:04 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 20 ms
Mar 28, 2019 12:23:05 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2919 transitions.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2177 transitions.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (2177) to apply POR reductions. Disabling POR matrices.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property ASLink-PT-09a-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 306 ms
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2177 transitions.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 488ms conformant to PINS in folder :/home/mcc/execution
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 1277 places.
Mar 28, 2019 12:24:52 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 2177 transitions.
Mar 28, 2019 12:25:22 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 9 ms
Mar 28, 2019 12:45:23 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 28, 2019 12:45:24 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property ASLink-PT-09a-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 12:45:24 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 746 ms
Mar 28, 2019 12:45:25 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property ASLink-PT-09a-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 12:45:25 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 678 ms
Mar 28, 2019 12:45:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 28, 2019 12:45:25 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2367,t2365,t2367,t2367,t2365,t2367,t2365,t2367,t2365,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,t1655,t1654,t1653,t1652,t1651,t1650,t1649,t1648,t1647,t1646,t1645,t1644,t1643,t1642,t1641,t1640,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2405.t274.t273.t276.t275.t271.t272,t2405.t274.t273.t276.t275.t271.t272,t2405.t274.t273.t276.t275.t271.t272,t2409,t2409,t2409,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t6,t6,t6,t188.t394,t188.t394,t188.t394,t188.t394,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t565.t564,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2815.t397.t398.t395.t396.t400.t399,t2815.t397.t398.t395.t396.t400.t399,t2815.t397.t398.t395.t396.t400.t399,t2819,t2819,t2819,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t42,t42,t42,t110.t508,t110.t508,t110.t508,t110.t508,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2395,t832,t832,t832,t832,t832,t832,t832,t824,t824,t824,t824,t824,t824,t824,t816,t816,t816,t816,t816,t816,t816,t808,t808,t808,t808,t808,t808,t808,t800,t800,t800,t800,t800,t800,t800,t792,t792,t792,t792,t792,t792,t792,t784,t784,t784,t784,t784,t784,t784,t776,t776,t776,t776,t776,t776,t776,t768,t768,t768,t768,t768,t768,t768,t760,t760,t760,t760,t760,t760,t760,t752,t752,t752,t752,t752,t752,t752,t744,t744,t744,t744,t744,t744,t744,t736,t736,t736,t736,t736,t736,t736,t728,t728,t728,t728,t728,t728,t728,t720,t720,t720,t720,t720,t720,t720,t712,t712,t712,t712,t712,t712,t712,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t12,t12,t12,t175.t353,t175.t353,t175.t353,t175.t353,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t48,t48,t48,t97.t239,t97.t239,t97.t239,t97.t239,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2651.t435.t436.t433.t434.t438.t437,t2651.t435.t436.t433.t434.t438.t437,t2651.t435.t436.t433.t434.t438.t437,t2655,t2655,t2655,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2849.t392,t2849.t392,t2849.t392,t2849.t392,t2849.t392,t2849.t392,t2853,t2853,t2853,t2841,t2841,t2841,t2841,t2841,t2841,t2841,t2833,t2833,t2833,t2833,t2833,t2833,t2833,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2887,t1230,t1230,t1230,t1230,t1230,t1230,t1230,t1222,t1222,t1222,t1222,t1222,t1222,t1222,t1214,t1214,t1214,t1214,t1214,t1214,t1214,t1206,t1206,t1206,t1206,t1206,t1206,t1206,t1198,t1198,t1198,t1198,t1198,t1198,t1198,t1190,t1190,t1190,t1190,t1190,t1190,t1190,t1182,t1182,t1182,t1182,t1182,t1182,t1182,t1174,t1174,t1174,t1174,t1174,t1174,t1174,t1166,t1166,t1166,t1166,t1166,t1166,t1166,t1158,t1158,t1158,t1158,t1158,t1158,t1158,t1150,t1150,t1150,t1150,t1150,t1150,t1150,t1142,t1142,t1142,t1142,t1142,t1142,t1142,t1134,t1134,t1134,t1134,t1134,t1134,t1134,t1126,t1126,t1126,t1126,t1126,t1126,t1126,t1118,t1118,t1118,t1118,t1118,t1118,t1118,t1110,t1110,t1110,t1110,t1110,t1110,t1110,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t559.t558,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2641,t1492,t1492,t1492,t1492,t1492,t1492,t1492,t1484,t1484,t1484,t1484,t1484,t1484,t1484,t1476,t1476,t1476,t1476,t1476,t1476,t1476,t1468,t1468,t1468,t1468,t1468,t1468,t1468,t1460,t1460,t1460,t1460,t1460,t1460,t1460,t1452,t1452,t1452,t1452,t1452,t1452,t1452,t1444,t1444,t1444,t1444,t1444,t1444,t1444,t1436,t1436,t1436,t1436,t1436,t1436,t1436,t1428,t1428,t1428,t1428,t1428,t1428,t1428,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1404,t1404,t1404,t1404,t1404,t1404,t1404,t1396,t1396,t1396,t1396,t1396,t1396,t1396,t1388,t1388,t1388,t1388,t1388,t1388,t1388,t1380,t1380,t1380,t1380,t1380,t1380,t1380,t1372,t1372,t1372,t1372,t1372,t1372,t1372,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2569.t312.t311.t314.t313.t309.t310,t2569.t312.t311.t314.t313.t309.t310,t2569.t312.t311.t314.t313.t309.t310,t2573,t2573,t2573,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2418.t2417.t1635,t2418.t2417.t1635,t1637,t1637,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2543,t2543,t2543,t2542,t2542,t2543,t2542,t2542,t2543,t2542,t2543,t2542,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2418.t2417.t1635,t2418.t2417.t1635,t1637,t1637,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2336.t2335.t709,t2336.t2335.t709,t706,t706,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2297,t2297,t2297,t2296,t2296,t2297,t2296,t2296,t2297,t2296,t2297,t2296,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2336.t2335.t709,t2336.t2335.t709,t706,t706,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2461,t2461,t2461,t2460,t2460,t2461,t2460,t2460,t2461,t2460,t2461,t2460,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 128 events :t2088,t2090,t2088,t2090,t2088,t2090,t2088,t2090,t2088,t2090,t2090,t2088,t2090,t2088,t2090,t2088,t2076,t2076,t2076,t2076,t2076,t2076,t2076,t2068,t2068,t2068,t2068,t2068,t2068,t2068,t2060,t2060,t2060,t2060,t2060,t2060,t2060,t2052,t2052,t2052,t2052,t2052,t2052,t2052,t2044,t2044,t2044,t2044,t2044,t2044,t2044,t2036,t2036,t2036,t2036,t2036,t2036,t2036,t2028,t2028,t2028,t2028,t2028,t2028,t2028,t2020,t2020,t2020,t2020,t2020,t2020,t2020,t2012,t2012,t2012,t2012,t2012,t2012,t2012,t2004,t2004,t2004,t2004,t2004,t2004,t2004,t1996,t1996,t1996,t1996,t1996,t1996,t1996,t1988,t1988,t1988,t1988,t1988,t1988,t1988,t1980,t1980,t1980,t1980,t1980,t1980,t1980,t1972,t1972,t1972,t1972,t1972,t1972,t1972,t1964,t1964,t1964,t1964,t1964,t1964,t1964,t1956,t1956,t1956,t1956,t1956,t1956,t1956,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t36,t36,t36,t123.t277,t123.t277,t123.t277,t123.t277,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2613,t2611,t2613,t2613,t2611,t2613,t2611,t2613,t2611,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,t861,t860,t859,t858,t857,t856,t855,t854,t853,t852,t851,t850,t849,t848,t847,t846,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 71 events :t2193.t240,t2193.t240,t2193.t240,t2193.t240,t2193.t240,t2193.t240,t2197,t2197,t2197,t2185,t2185,t2185,t2185,t2185,t2185,t2185,t2177,t2177,t2177,t2177,t2177,t2177,t2177,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,t1779,t1778,t1777,t1776,t1775,t1774,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2767.t393,t2767.t393,t2767.t393,t2767.t393,t2767.t393,t2767.t393,t2771,t2771,t2771,t2759,t2759,t2759,t2759,t2759,t2759,t2759,t2751,t2751,t2751,t2751,t2751,t2751,t2751,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2559,t966,t966,t966,t966,t966,t966,t966,t958,t958,t958,t958,t958,t958,t958,t950,t950,t950,t950,t950,t950,t950,t942,t942,t942,t942,t942,t942,t942,t934,t934,t934,t934,t934,t934,t934,t926,t926,t926,t926,t926,t926,t926,t918,t918,t918,t918,t918,t918,t918,t910,t910,t910,t910,t910,t910,t910,t902,t902,t902,t902,t902,t902,t902,t894,t894,t894,t894,t894,t894,t894,t886,t886,t886,t886,t886,t886,t886,t878,t878,t878,t878,t878,t878,t878,t870,t870,t870,t870,t870,t870,t870,t862,t862,t862,t862,t862,t862,t862,t854,t854,t854,t854,t854,t854,t854,t846,t846,t846,t846,t846,t846,t846,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2603.t431,t2603.t431,t2603.t431,t2603.t431,t2603.t431,t2603.t431,t2607,t2607,t2607,t2595,t2595,t2595,t2595,t2595,t2595,t2595,t2587,t2587,t2587,t2587,t2587,t2587,t2587,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2203,t2201,t2203,t2203,t2201,t2203,t2201,t2203,t2201,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1971,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t18,t18,t18,t162.t432,t162.t432,t162.t432,t162.t432,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2357.t278,t2357.t278,t2357.t278,t2357.t278,t2357.t278,t2357.t278,t2361,t2361,t2361,t2349,t2349,t2349,t2349,t2349,t2349,t2349,t2341,t2341,t2341,t2341,t2341,t2341,t2341,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2897.t388.t387.t390.t389.t385.t386,t2897.t388.t387.t390.t389.t385.t386,t2897.t388.t387.t390.t389.t385.t386,t2901,t2901,t2901,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 116 events :t2910,t2907,t2910,t2907,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,t1125,t1124,t1123,t1122,t1121,t1120,t1119,t1118,t1117,t1116,t1115,t1114,t1113,t1112,t1111,t1110,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2625,t2625,t2625,t2624,t2624,t2625,t2624,t2624,t2625,t2624,t2625,t2624,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2084,t2085,t2084,t2085,t2084,t2085,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t82,t82,t82,t82,t82,t54,t54,t54,t54,t82,t82,t54,t54,t54,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2313,t1760,t1760,t1760,t1760,t1760,t1760,t1760,t1752,t1752,t1752,t1752,t1752,t1752,t1752,t1744,t1744,t1744,t1744,t1744,t1744,t1744,t1736,t1736,t1736,t1736,t1736,t1736,t1736,t1728,t1728,t1728,t1728,t1728,t1728,t1728,t1720,t1720,t1720,t1720,t1720,t1720,t1720,t1712,t1712,t1712,t1712,t1712,t1712,t1712,t1704,t1704,t1704,t1704,t1704,t1704,t1704,t1696,t1696,t1696,t1696,t1696,t1696,t1696,t1688,t1688,t1688,t1688,t1688,t1688,t1688,t1680,t1680,t1680,t1680,t1680,t1680,t1680,t1672,t1672,t1672,t1672,t1672,t1672,t1672,t1664,t1664,t1664,t1664,t1664,t1664,t1664,t1656,t1656,t1656,t1656,t1656,t1656,t1656,t1648,t1648,t1648,t1648,t1648,t1648,t1648,t1640,t1640,t1640,t1640,t1640,t1640,t1640,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2733.t350.t349.t352.t351.t347.t348,t2733.t350.t349.t352.t351.t347.t348,t2733.t350.t349.t352.t351.t347.t348,t2737,t2737,t2737,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2707,t2707,t2707,t2706,t2706,t2707,t2706,t2706,t2707,t2706,t2707,t2706,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t559.t558,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2285,t2283,t2285,t2285,t2283,t2285,t2283,t2285,t2283,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,t593,t592,t591,t590,t589,t588,t587,t586,t585,t584,t583,t582,t581,t580,t579,t578,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2871,t2871,t2871,t2870,t2870,t2871,t2870,t2870,t2871,t2870,t2871,t2870,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2241.t236.t235.t238.t237.t233.t234,t2241.t236.t235.t238.t237.t233.t234,t2241.t236.t235.t238.t237.t233.t234,t2245,t2245,t2245,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2449,t2447,t2449,t2449,t2447,t2449,t2447,t2449,t2447,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,t727,t726,t725,t724,t723,t722,t721,t720,t719,t718,t717,t716,t715,t714,t713,t712,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2664.t2663.t977,t2664.t2663.t977,t974,t974,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2215,t2215,t2215,t2214,t2214,t2215,t2214,t2214,t2215,t2214,t2215,t2214,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t553.t552,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t62,t62,t62,t62,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2172.t2171.t575,t2172.t2171.t575,t572,t572,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2582.t2581.t1501,t2582.t2581.t1501,t1503,t1503,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2500.t2499.t843,t2500.t2499.t843,t840,t840,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2685.t354,t2685.t354,t2685.t354,t2685.t354,t2685.t354,t2685.t354,t2689,t2689,t2689,t2677,t2677,t2677,t2677,t2677,t2677,t2677,t2669,t2669,t2669,t2669,t2669,t2669,t2669,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2805,t1358,t1358,t1358,t1358,t1358,t1358,t1358,t1350,t1350,t1350,t1350,t1350,t1350,t1350,t1342,t1342,t1342,t1342,t1342,t1342,t1342,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1326,t1326,t1326,t1326,t1326,t1326,t1326,t1318,t1318,t1318,t1318,t1318,t1318,t1318,t1310,t1310,t1310,t1310,t1310,t1310,t1310,t1302,t1302,t1302,t1302,t1302,t1302,t1302,t1294,t1294,t1294,t1294,t1294,t1294,t1294,t1286,t1286,t1286,t1286,t1286,t1286,t1286,t1278,t1278,t1278,t1278,t1278,t1278,t1278,t1270,t1270,t1270,t1270,t1270,t1270,t1270,t1262,t1262,t1262,t1262,t1262,t1262,t1262,t1254,t1254,t1254,t1254,t1254,t1254,t1254,t1246,t1246,t1246,t1246,t1246,t1246,t1246,t1238,t1238,t1238,t1238,t1238,t1238,t1238,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2500.t2499.t843,t2500.t2499.t843,t840,t840,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t30,t30,t30,t136.t470,t136.t470,t136.t470,t136.t470,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2746.t2745.t1367,t2746.t2745.t1367,t1369,t1369,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2746.t2745.t1367,t2746.t2745.t1367,t1369,t1369,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2723,t1100,t1100,t1100,t1100,t1100,t1100,t1100,t1092,t1092,t1092,t1092,t1092,t1092,t1092,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1076,t1076,t1076,t1076,t1076,t1076,t1076,t1068,t1068,t1068,t1068,t1068,t1068,t1068,t1060,t1060,t1060,t1060,t1060,t1060,t1060,t1052,t1052,t1052,t1052,t1052,t1052,t1052,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1036,t1036,t1036,t1036,t1036,t1036,t1036,t1028,t1028,t1028,t1028,t1028,t1028,t1028,t1020,t1020,t1020,t1020,t1020,t1020,t1020,t1012,t1012,t1012,t1012,t1012,t1012,t1012,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t996,t996,t996,t996,t996,t996,t996,t988,t988,t988,t988,t988,t988,t988,t980,t980,t980,t980,t980,t980,t980,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2746.t2745.t1367,t2746.t2745.t1367,t1369,t1369,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2231,t698,t698,t698,t698,t698,t698,t698,t690,t690,t690,t690,t690,t690,t690,t682,t682,t682,t682,t682,t682,t682,t674,t674,t674,t674,t674,t674,t674,t666,t666,t666,t666,t666,t666,t666,t658,t658,t658,t658,t658,t658,t658,t650,t650,t650,t650,t650,t650,t650,t642,t642,t642,t642,t642,t642,t642,t634,t634,t634,t634,t634,t634,t634,t626,t626,t626,t626,t626,t626,t626,t618,t618,t618,t618,t618,t618,t618,t610,t610,t610,t610,t610,t610,t610,t602,t602,t602,t602,t602,t602,t602,t594,t594,t594,t594,t594,t594,t594,t586,t586,t586,t586,t586,t586,t586,t578,t578,t578,t578,t578,t578,t578,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2695,t2693,t2695,t2695,t2693,t2695,t2693,t2695,t2693,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,t1387,t1386,t1385,t1384,t1383,t1382,t1381,t1380,t1379,t1378,t1377,t1376,t1375,t1374,t1373,t1372,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2664.t2663.t977,t2664.t2663.t977,t974,t974,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2336.t2335.t709,t2336.t2335.t709,t706,t706,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2439.t469,t2439.t469,t2439.t469,t2439.t469,t2439.t469,t2439.t469,t2443,t2443,t2443,t2431,t2431,t2431,t2431,t2431,t2431,t2431,t2423,t2423,t2423,t2423,t2423,t2423,t2423,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2172.t2171.t575,t2172.t2171.t575,t572,t572,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2487.t473.t474.t471.t472.t476.t475,t2487.t473.t474.t471.t472.t476.t475,t2487.t473.t474.t471.t472.t476.t475,t2491,t2491,t2491,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2777,t2775,t2777,t2777,t2775,t2777,t2775,t2777,t2775,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,t995,t994,t993,t992,t991,t990,t989,t988,t987,t986,t985,t984,t983,t982,t981,t980,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2531,t2529,t2531,t2531,t2529,t2531,t2529,t2531,t2529,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,t1521,t1520,t1519,t1518,t1517,t1516,t1515,t1514,t1513,t1512,t1511,t1510,t1509,t1508,t1507,t1506,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t0,t0,t0,t201.t391,t201.t391,t201.t391,t201.t391,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2500.t2499.t843,t2500.t2499.t843,t840,t840,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2254.t2253.t1769,t2254.t2253.t1769,t1771,t1771,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2275.t507,t2275.t507,t2275.t507,t2275.t507,t2275.t507,t2275.t507,t2279,t2279,t2279,t2267,t2267,t2267,t2267,t2267,t2267,t2267,t2259,t2259,t2259,t2259,t2259,t2259,t2259,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2582.t2581.t1501,t2582.t2581.t1501,t1503,t1503,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2664.t2663.t977,t2664.t2663.t977,t974,t974,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2418.t2417.t1635,t2418.t2417.t1635,t1637,t1637,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 113 events :t2477,t1626,t1626,t1626,t1626,t1626,t1626,t1626,t1618,t1618,t1618,t1618,t1618,t1618,t1618,t1610,t1610,t1610,t1610,t1610,t1610,t1610,t1602,t1602,t1602,t1602,t1602,t1602,t1602,t1594,t1594,t1594,t1594,t1594,t1594,t1594,t1586,t1586,t1586,t1586,t1586,t1586,t1586,t1578,t1578,t1578,t1578,t1578,t1578,t1578,t1570,t1570,t1570,t1570,t1570,t1570,t1570,t1562,t1562,t1562,t1562,t1562,t1562,t1562,t1554,t1554,t1554,t1554,t1554,t1554,t1554,t1546,t1546,t1546,t1546,t1546,t1546,t1546,t1538,t1538,t1538,t1538,t1538,t1538,t1538,t1530,t1530,t1530,t1530,t1530,t1530,t1530,t1522,t1522,t1522,t1522,t1522,t1522,t1522,t1514,t1514,t1514,t1514,t1514,t1514,t1514,t1506,t1506,t1506,t1506,t1506,t1506,t1506,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 121 events :t2859,t2857,t2859,t2859,t2857,t2859,t2857,t2859,t2857,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,t1253,t1252,t1251,t1250,t1249,t1248,t1247,t1246,t1245,t1244,t1243,t1242,t1241,t1240,t1239,t1238,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2172.t2171.t575,t2172.t2171.t575,t572,t572,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2789,t2789,t2789,t2788,t2788,t2789,t2788,t2788,t2789,t2788,t2789,t2788,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2521.t316,t2521.t316,t2521.t316,t2521.t316,t2521.t316,t2521.t316,t2525,t2525,t2525,t2513,t2513,t2513,t2513,t2513,t2513,t2513,t2505,t2505,t2505,t2505,t2505,t2505,t2505,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t62,t62,t62,t62,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t24,t24,t24,t149.t315,t149.t315,t149.t315,t149.t315,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2323.t511.t512.t509.t510.t514.t513,t2323.t511.t512.t509.t510.t514.t513,t2323.t511.t512.t509.t510.t514.t513,t2327,t2327,t2327,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2379,t2379,t2379,t2378,t2378,t2379,t2378,t2378,t2379,t2378,t2379,t2378,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2582.t2581.t1501,t2582.t2581.t1501,t1503,t1503,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t553.t552,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 74 events :t2120,t2120,t2120,t2117,t2118,t2113,t2114,t2118,t2117,t2113,t2114,t2111,t2120,t2113,t2114,t2111,t2113,t2114,t2114,t2113,t2120,t2111,t2114,t2113,t2120,t2111,t2118,t2117,t2113,t2114,t2111,t2113,t2114,t2114,t2113,t2111,t2113,t2114,t1825,t1825,t1822,t1822,t1819,t1819,t1816,t1816,t1813,t1813,t1810,t1810,t1807,t1807,t1804,t1804,t1801,t1801,t1798,t1798,t1795,t1795,t1792,t1792,t1789,t1789,t1786,t1786,t1783,t1783,t1780,t1780,t1777,t1777,t1774,t1774,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2254.t2253.t1769,t2254.t2253.t1769,t1771,t1771,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2254.t2253.t1769,t2254.t2253.t1769,t1771,t1771,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t565.t564,
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 3034 redundant transitions.
Mar 28, 2019 12:45:27 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property ASLink-PT-09a-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2104 ms
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u188.t2465, i41.u188.t2463, i41.u193.t2469, i41.u188.t2461, i41.u188.t2459.t478, i41.u193.t2467.t488]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u338.t2119, i70.u330.t2146, i70.u332.t2131, i70.u342.t2111, i70.u326.t2142, i70.u328.t2135]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu179_flat :[u179.t717, u179.t716, u179.t719, u179.t718, u179.t713, u179.t712, u179.t715, u179.t714]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u366.t2724, i20.u367.t2693, i20.u367.t2696, i20.u367.t2699, i20.u367.t2702]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u123.t2631.t450, i27.u118.t2623.t440, i27.u118.t2627, i27.u123.t2633, i27.u118.t2625, i27.u118.t2629]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu250_flat :[u250.t2268, u250.t2269, u250.t2270, u250.t2271, u250.t2272, u250.t2273, u250.t2274, u250.t2267]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u388.t2617, i27.u387.t2642, i27.u388.t2611, i27.u388.t2614, i27.u388.t2620]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu319_flat :[u319.t2076, u319.t2044, u319.t2012, u319.t1980, u319.t2028, u319.t1996, u319.t1964, u319.t2060]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u228.t2386, i48.u228.t2388, i48.u233.t2390, i48.u223.t2380, i48.u223.t2382, i48.u223.t2384, i48.u223.t2378]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t1505, u105.t1504, u105.t1503]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u48.t2768.t187, i13.u48.t2768.t403]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu245_flat :[u245.t1773, u245.t1771, u245.t1772]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu41_flat :[u41.t1302, u41.t1238, u41.t1254, u41.t1334, u41.t1350, u41.t1286, u41.t1318, u41.t1270]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u293.t2218, i62.u293.t2214, i62.u293.t2216, i62.u293.t2220]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u382.t2452, i41.u382.t2458, i41.u379.t2482.t2420.t2419, i41.u382.t2455, i41.u382.t2449]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u223.t2379, i48.u228.t2387, i48.u223.t2381, i48.u223.t2377.t269, i48.u223.t2383, i48.u233.t2389.t249, i48.u228.t2385.t259]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u366.t2728.t2666.t2665, i20.u99.t2721, i20.u367.t2695, i20.u367.t2698, i20.u367.t2701, i20.u367.t2704]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu179_flat :[u179.t727, u179.t720, u179.t722, u179.t721, u179.t724, u179.t723, u179.t726, u179.t725]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu215_flat :[u215.t2347, u215.t2346, u215.t2345, u215.t2344, u215.t2348, u215.t2343, u215.t2342, u215.t2341]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u369.t2204, i62.u368.t2232, i62.u369.t2207, i62.u369.t2201, i62.u369.t2210]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu320_flat :[u320.t1792, u320.t1780, u320.t1774, u320.t1798, u320.t1786, u320.t1822, u320.t1810, u320.t1804, u320.t1816]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t1244, u4.t1245, u4.t1242, u4.t1243, u4.t1240, u4.t1241, u4.t1239, u4.t1238]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u406.t2775, i13.u405.t2806, i13.u406.t2778, i13.u406.t2781, i13.u406.t2784]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu250_flat :[u250.t2259, u250.t2260, u250.t2261, u250.t2262, u250.t2263, u250.t2264, u250.t2265, u250.t2266]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu145_flat :[u145.t2515, u145.t2516, u145.t2513, u145.t2514, u145.t2519, u145.t2517, u145.t2518, u145.t2520]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t2589, u110.t2588, u110.t2587, u110.t2594, u110.t2593, u110.t2592, u110.t2591, u110.t2590]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1092, u76.t1060, u76.t980, u76.t1076, u76.t1044, u76.t1012, u76.t1028, u76.t996]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u58.t2774, i13.u53.t2773, i13.u43.t2771]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu146_flat :[u146.t902, u146.t934, u146.t966, u146.t854, u146.t886, u146.t950, u146.t870, u146.t918]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu245_flat :[u245.t2254.t2253.t1770, u245.t2254.t2253.t1769]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u188.t2466, i41.u188.t2464, i41.u188.t2462, i41.u193.t2468, i41.u188.t2460, i41.u193.t2470]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu39_flat :[u39.t981, u39.t980, u39.t983, u39.t982, u39.t985, u39.t984, u39.t987, u39.t986]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u398.t2283, i55.u398.t2292, i55.u399.t2314, i55.u398.t2286, i55.u398.t2289]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u263.t2281, i55.u258.t2280, i55.u268.t2282]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u153.t2548, i34.u163.t2554, i34.u158.t2552, i34.u153.t2546, i34.u158.t2550, i34.u153.t2544, i34.u153.t2542]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t2664.t2663.t978, u70.t2664.t2663.t977]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u395.t2365, i48.u395.t2368, i48.u395.t2374, i48.u395.t2371]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu249_flat :[u249.t593, u249.t592, u249.t591, u249.t590, u249.t589, u249.t588, u249.t587, u249.t586]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu74_flat :[u74.t1372, u74.t1373, u74.t1374, u74.t1379, u74.t1375, u74.t1376, u74.t1377, u74.t1378]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu251_flat :[u251.t1712, u251.t1744, u251.t1664, u251.t1696, u251.t1760, u251.t1680, u251.t1728, u251.t1648]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu280_flat :[u280.t2172.t2171.t575, u280.t2172.t2171.t576]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t2833, u5.t2834, u5.t2835, u5.t2836, u5.t2840, u5.t2837, u5.t2838, u5.t2839]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t2602, u110.t2601, u110.t2600, u110.t2599, u110.t2598, u110.t2597, u110.t2596, u110.t2595]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u153.t2526, i34.u163.t2528, i34.u158.t2527]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u48.t2793, i13.u48.t2791, i13.u48.t2789, i13.u48.t2787.t402]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u395.t2367, i48.u395.t2376, i48.u395.t2370, i48.u239.t2393, i48.u395.t2373]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u198.t2442.t499, i41.u183.t2439.t469, i41.u198.t2442.t131]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u218.t2361, i48.u228.t2363, i48.u233.t2364, i48.u223.t2362]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u88.t2691, i20.u83.t2690, i20.u93.t2692]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu215_flat :[u215.t2356, u215.t2355, u215.t2349, u215.t2350, u215.t2354, u215.t2353, u215.t2352, u215.t2351]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t846, u109.t851, u109.t850, u109.t853, u109.t852, u109.t848, u109.t847, u109.t849]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu175_flat :[u175.t1637, u175.t1639, u175.t1638]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u331.t2143, i70.u335.t2147, i70.u329.t2138, i70.u339.t2122, i70.u325.t2165, i70.u337.t2123, i70.u327.t2139, i70.u343.t2114, i70.u333.t2134, i70.u345.t2115, i70.u341.t2127]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u13.t2876, i6.u13.t2872, i6.u18.t2878, i6.u13.t2874, i6.u18.t2880, i6.u23.t2882, i6.u13.t2870]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t2746.t2745.t1367, u35.t2746.t2745.t1368]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u188.t2440.t135, i41.u188.t2440.t479, i41.u193.t2441.t133, i41.u193.t2441.t489]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u382.t2450, i41.u382.t2453, i41.u382.t2447, i41.u382.t2456, i41.u379.t2478]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.t2907, u3.t2911, u3.t2914]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1084, u76.t1052, u76.t1020, u76.t1100, u76.t1068, u76.t1036, u76.t988, u76.t1004]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu140_flat :[u140.t2500.t2499.t843, u140.t2500.t2499.t844]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u410.t2540, i34.u410.t2534, i34.u169.t2557, i34.u410.t2537, i34.u410.t2531]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t855, u109.t854, u109.t857, u109.t856, u109.t861, u109.t860, u109.t859, u109.t858]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u369.t2206, i62.u368.t2236.t2174.t2173, i62.u369.t2212, i62.u369.t2203, i62.u369.t2209]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u153.t2522.t148, i34.u158.t2523.t296, i34.u153.t2522.t306, i34.u158.t2523.t146, i34.u163.t2524.t286, i34.u163.t2524.t144]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u83.t2710, i20.u83.t2712, i20.u83.t2706, i20.u88.t2716, i20.u88.t2714, i20.u93.t2718, i20.u83.t2708]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u380.t2857, i6.u378.t2888, i6.u380.t2866, i6.u380.t2863, i6.u380.t2860]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u258.t2299, i55.u258.t2297, i55.u258.t2301, i55.u263.t2305, i55.u258.t2295.t516, i55.u263.t2303.t526, i55.u268.t2307.t536]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u334.t2149, i70.u324.t2167.t570.t571, i70.u344.t2117, i70.u340.t2129]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu181_flat :[u181.t1626, u181.t1546, u181.t1578, u181.t1514, u181.t1530, u181.t1610, u181.t1562, u181.t1594]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu286_flat :[u286.t642, u286.t674, u286.t578, u286.t610, u286.t626, u286.t658, u286.t690, u286.t594]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu284_flat :[u284.t1956, u284.t1957, u284.t1958, u284.t1959, u284.t1963, u284.t1960, u284.t1961, u284.t1962]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48 :[i48.u223.t2358.t268, i48.u228.t2359.t258, i48.u223.t2358.t122, i48.u233.t2360.t248, i48.u218.t2357.t278, i48.u233.t2360.t118, i48.u228.t2359.t120]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu251_flat :[u251.t1688, u251.t1656, u251.t1752, u251.t1720, u251.t1640, u251.t1672, u251.t1736, u251.t1704]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu144_flat :[u144.t1521, u144.t1520, u144.t1516, u144.t1515, u144.t1514, u144.t1519, u144.t1518, u144.t1517]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u358.t2102, i70.u351.t2097, i70.u347.t2084, i70.u349.t2092]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u123.t2605.t159, i27.u118.t2604.t161, i27.u118.t2604.t441, i27.u123.t2605.t451]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu216_flat :[u216.t816, u216.t736, u216.t800, u216.t768, u216.t832, u216.t752, u216.t720, u216.t784]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t2582.t2581.t1501, u105.t2582.t2581.t1502]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u123.t2609, i27.u118.t2608]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t1150, u6.t1182, u6.t1198, u6.t1166, u6.t1230, u6.t1214, u6.t1134, u6.t1118]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u388.t2616, i27.u388.t2622, i27.u388.t2613, i27.u388.t2619, i27.u387.t2646.t2584.t2583]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u357.t2106, i70.u348.t2090, i70.u386.t2158, i70.u386.t2152, i70.u352.t2100, i70.u359.t2105, i70.u386.t2161, i70.u386.t2155, i70.u350.t2095]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1380, u111.t1460, u111.t1492, u111.t1428, u111.t1444, u111.t1476, u111.t1412, u111.t1396]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u258.t2298, i55.u263.t2306, i55.u258.t2296, i55.u258.t2302, i55.u258.t2300, i55.u263.t2304, i55.u268.t2308]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu280_flat :[u280.t572, u280.t573, u280.t574]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u327.t2140, i70.u335.t2148, i70.u331.t2144, i70.u325.t2166, i70.u339.t2121, i70.u329.t2137, i70.u333.t2133, i70.u337.t2124, i70.u343.t2113, i70.u345.t2116, i70.u341.t2128]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u340.t2130, i70.u344.t2118, i70.u334.t2150, i70.u324.t2168]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1372, u111.t1404, u111.t1436, u111.t1388, u111.t1468, u111.t1484, u111.t1420, u111.t1452]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu315_flat :[u315.t1778, u315.t1777, u315.t1779]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u380.t2859, i6.u378.t2892.t2830.t2829, i6.u380.t2868, i6.u380.t2865, i6.u380.t2862]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu210_flat :[u210.t706, u210.t708, u210.t707]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu39_flat :[u39.t989, u39.t988, u39.t990, u39.t992, u39.t991, u39.t994, u39.t993, u39.t995]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u128.t2606.t157, i27.u113.t2603.t431, i27.u128.t2606.t461]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu286_flat :[u286.t650, u286.t586, u286.t666, u286.t698, u286.t602, u286.t634, u286.t618, u286.t682]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u410.t2538, i34.u410.t2529, i34.u410.t2535, i34.u410.t2532]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu285_flat :[u285.t2179, u285.t2178, u285.t2180, u285.t2184, u285.t2183, u285.t2182, u285.t2181, u285.t2177]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu315_flat :[u315.t1776, u315.t1775, u315.t1774]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t2844, u5.t2845, u5.t2846, u5.t2847, u5.t2841, u5.t2842, u5.t2843, u5.t2848]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu140_flat :[u140.t842, u140.t840, u140.t841]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u13.t2875, i6.u13.t2869.t383, i6.u13.t2871, i6.u18.t2879, i6.u13.t2873, i6.u18.t2877.t373, i6.u23.t2881.t363]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu145_flat :[u145.t2505, u145.t2508, u145.t2509, u145.t2506, u145.t2507, u145.t2511, u145.t2512, u145.t2510]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u298.t2224, i62.u303.t2226, i62.u298.t2222]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu214_flat :[u214.t1650, u214.t1651, u214.t1649, u214.t1648, u214.t1652, u214.t1653, u214.t1654, u214.t1655]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu41_flat :[u41.t1358, u41.t1326, u41.t1310, u41.t1342, u41.t1246, u41.t1278, u41.t1262, u41.t1294]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu74_flat :[u74.t1382, u74.t1383, u74.t1384, u74.t1385, u74.t1380, u74.t1381, u74.t1386, u74.t1387]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t976, u70.t974, u70.t975]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u298.t2223, i62.u298.t2221.t221, i62.u303.t2225.t211]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u113.t2607, i27.u128.t2610]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34 :[i34.u163.t2553.t287, i34.u153.t2541.t307, i34.u153.t2547, i34.u158.t2551, i34.u153.t2545, i34.u153.t2543, i34.u158.t2549.t297]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t2751, u40.t2752, u40.t2753, u40.t2754, u40.t2755, u40.t2756, u40.t2757, u40.t2758]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t1123, u1.t1122, u1.t1121, u1.t1120, u1.t1125, u1.t1124, u1.t1119, u1.t1118]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu181_flat :[u181.t1506, u181.t1538, u181.t1618, u181.t1602, u181.t1586, u181.t1522, u181.t1554, u181.t1570]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu210_flat :[u210.t2336.t2335.t709, u210.t2336.t2335.t710]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u293.t2213.t231, i62.u293.t2217, i62.u293.t2219, i62.u293.t2215]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u351.t2096, i70.u349.t2091, i70.u347.t2085, i70.u358.t2101]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2674, u75.t2675, u75.t2672, u75.t2673, u75.t2676, u75.t2669, u75.t2670, u75.t2671]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu249_flat :[u249.t582, u249.t581, u249.t580, u249.t579, u249.t578, u249.t585, u249.t584, u249.t583]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27 :[i27.u118.t2630, i27.u118.t2624, i27.u123.t2634, i27.u118.t2628, i27.u118.t2626, i27.u123.t2632]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu285_flat :[u285.t2189, u285.t2191, u285.t2190, u285.t2192, u285.t2188, u285.t2187, u285.t2186, u285.t2185]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u398.t2294, i55.u398.t2291, i55.u399.t2318.t2256.t2255, i55.u398.t2285, i55.u398.t2288]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u23.t2852.t362, i6.u23.t2852.t196, i6.u18.t2851.t198, i6.u13.t2850.t382, i6.u18.t2851.t372, i6.u13.t2850.t200]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu319_flat :[u319.t2020, u319.t2068, u319.t2036, u319.t2004, u319.t1972, u319.t1988, u319.t1956, u319.t2052]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u328.t2136, i70.u326.t2141.t566.t567, i70.u330.t2145, i70.u332.t2132, i70.u338.t2120, i70.u342.t2112.t555.t554]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.t2910, u3.t2912, u3.t2915]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6 :[i6.u18.t2855, i6.u13.t2854, i6.u23.t2856]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu180_flat :[u180.t2436, u180.t2435, u180.t2434, u180.t2433, u180.t2432, u180.t2431, u180.t2438, u180.t2437]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u88.t2713.t335, i20.u83.t2711, i20.u83.t2707, i20.u93.t2717.t325, i20.u83.t2705.t345, i20.u83.t2709, i20.u88.t2715]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u288.t2197, i62.u298.t2199, i62.u303.t2200]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u43.t2767.t393, i13.u58.t2770.t183, i13.u53.t2769.t413, i13.u53.t2769.t185, i13.u58.t2770.t423]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u183.t2443, i41.u198.t2446]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u406.t2786, i13.u406.t2777, i13.u406.t2780, i13.u405.t2810.t2748.t2747, i13.u406.t2783]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu175_flat :[u175.t2418.t2417.t1635, u175.t2418.t2417.t1636]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu284_flat :[u284.t1967, u284.t1968, u284.t1969, u284.t1964, u284.t1965, u284.t1966, u284.t1970, u284.t1971]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2683, u75.t2684, u75.t2678, u75.t2679, u75.t2677, u75.t2681, u75.t2682, u75.t2680]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u293.t2194.t96, i62.u293.t2194.t230]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t1253, u4.t1251, u4.t1252, u4.t1250, u4.t1248, u4.t1249, u4.t1246, u4.t1247]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub70 :[i70.u386.t2159, i70.u359.t2103, i70.u386.t2153, i70.u348.t2088, i70.u350.t2093, i70.u352.t2098, i70.u386.t2156, i70.u357.t2107]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t1110, u6.t1174, u6.t1142, u6.t1158, u6.t1126, u6.t1222, u6.t1206, u6.t1190]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u93.t2688.t324, i20.u88.t2687.t172, i20.u83.t2686.t174, i20.u88.t2687.t334, i20.u83.t2686.t344, i20.u93.t2688.t170]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55 :[i55.u263.t2277.t107, i55.u263.t2277.t527, i55.u268.t2278.t537, i55.u258.t2276.t109, i55.u258.t2276.t517, i55.u268.t2278.t105]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u48.t2792, i13.u48.t2790, i13.u48.t2794, i13.u48.t2788]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t1369, u35.t1371, u35.t1370]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu214_flat :[u214.t1640, u214.t1645, u214.t1646, u214.t1647, u214.t1641, u214.t1642, u214.t1643, u214.t1644]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu146_flat :[u146.t846, u146.t878, u146.t910, u146.t942, u146.t862, u146.t894, u146.t926, u146.t958]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu180_flat :[u180.t2425, u180.t2424, u180.t2423, u180.t2430, u180.t2429, u180.t2428, u180.t2427, u180.t2426]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu216_flat :[u216.t728, u216.t824, u216.t712, u216.t776, u216.t744, u216.t808, u216.t792, u216.t760]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u53.t2797, i13.u58.t2799.t422, i13.u53.t2795.t412]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62 :[i62.u298.t2195.t220, i62.u298.t2195.t94, i62.u303.t2196.t92, i62.u288.t2193.t240, i62.u303.t2196.t210]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu144_flat :[u144.t1512, u144.t1511, u144.t1510, u144.t1513, u144.t1509, u144.t1508, u144.t1507, u144.t1506]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41 :[i41.u188.t2444, i41.u193.t2445]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu320_flat :[u320.t1819, u320.t1807, u320.t1783, u320.t1795, u320.t1789, u320.t1777, u320.t1813, u320.t1801, u320.t1825]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t1112, u1.t1111, u1.t1110, u1.t1116, u1.t1115, u1.t1114, u1.t1113, u1.t1117]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t2762, u40.t2763, u40.t2764, u40.t2765, u40.t2766, u40.t2759, u40.t2760, u40.t2761]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13 :[i13.u53.t2796, i13.u53.t2798, i13.u58.t2800]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t2869.t383, u13.t2875, u13.t2873, u13.t2871]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t2850.t200, u13.t2850.t382]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6_sub1 :[i1.u380.t2859, i1.u380.t2868, i1.u380.t2865, i1.u380.t2862]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t2880, u18.t2878]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub6_sub1 :[i1.u380.t2857, i1.u380.t2866, i1.u380.t2863, i1.u380.t2860]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t2877.t373, u18.t2879]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t2851.t372, u18.t2851.t198]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t2876, u13.t2874, u13.t2872, u13.t2870]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t2852.t196, u23.t2852.t362]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t2787.t402, u48.t2791, u48.t2793, u48.t2789]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t2769.t185, u53.t2769.t413]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t2790, u48.t2792, u48.t2794, u48.t2788]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t2796, u53.t2798]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t2770.t423, u58.t2770.t183]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13_sub1 :[i1.u406.t2781, i1.u406.t2778, i1.u406.t2775, i1.u406.t2784]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub13_sub1 :[i1.u406.t2780, i1.u406.t2777, i1.u406.t2786, i1.u406.t2783]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t2795.t412, u53.t2797]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t2768.t187, u48.t2768.t403]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu88_flat :[u88.t2687.t334, u88.t2687.t172]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2686.t344, u83.t2686.t174]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t2688.t324, u93.t2688.t170]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2711, u83.t2709, u83.t2707, u83.t2705.t345]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20_sub1 :[i1.u367.t2695, i1.u367.t2698, i1.u367.t2701, i1.u367.t2704]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2712, u83.t2710, u83.t2708, u83.t2706]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20_sub1 :[i1.u367.t2693, i1.u367.t2696, i1.u367.t2699, i1.u367.t2702]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu88_flat :[u88.t2716, u88.t2714]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu88_flat :[u88.t2715, u88.t2713.t335]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2634, u123.t2632]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27_sub1 :[i1.u388.t2613, i1.u388.t2616, i1.u388.t2619, i1.u388.t2622]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2630, u118.t2624, u118.t2626, u118.t2628]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t2606.t157, u128.t2606.t461]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub27_sub1 :[i1.u388.t2614, i1.u388.t2617, i1.u388.t2620, i1.u388.t2611]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2604.t441, u118.t2604.t161]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2623.t440, u118.t2625, u118.t2627, u118.t2629]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2605.t451, u123.t2605.t159]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2633, u123.t2631.t450]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu158_flat :[u158.t2552, u158.t2550]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu163_flat :[u163.t2524.t144, u163.t2524.t286]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu153_flat :[u153.t2548, u153.t2546, u153.t2544, u153.t2542]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu153_flat :[u153.t2547, u153.t2545, u153.t2543, u153.t2541.t307]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu153_flat :[u153.t2522.t306, u153.t2522.t148]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34_sub1 :[i1.u410.t2531, i1.u410.t2540, i1.u410.t2534, i1.u410.t2537]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu158_flat :[u158.t2549.t297, u158.t2551]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub34_sub1 :[i1.u410.t2535, i1.u410.t2532, i1.u410.t2538, i1.u410.t2529]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu158_flat :[u158.t2523.t146, u158.t2523.t296]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu193_flat :[u193.t2467.t488, u193.t2469]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu188_flat :[u188.t2462, u188.t2464, u188.t2466, u188.t2460]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu198_flat :[u198.t2442.t131, u198.t2442.t499]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu188_flat :[u188.t2463, u188.t2459.t478, u188.t2465, u188.t2461]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41_sub1 :[i1.u382.t2449, i1.u382.t2458, i1.u382.t2452, i1.u382.t2455]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu193_flat :[u193.t2441.t489, u193.t2441.t133]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu193_flat :[u193.t2468, u193.t2470]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu188_flat :[u188.t2440.t479, u188.t2440.t135]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub41_sub1 :[i1.u382.t2447, i1.u382.t2450, i1.u382.t2456, i1.u382.t2453]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48_sub1 :[i1.u395.t2368, i1.u395.t2365, i1.u395.t2374, i1.u395.t2371]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu223_flat :[u223.t2384, u223.t2378, u223.t2380, u223.t2382]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu223_flat :[u223.t2383, u223.t2377.t269, u223.t2379, u223.t2381]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu233_flat :[u233.t2360.t118, u233.t2360.t248]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu228_flat :[u228.t2388, u228.t2386]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu228_flat :[u228.t2359.t258, u228.t2359.t120]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu223_flat :[u223.t2358.t268, u223.t2358.t122]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub48_sub1 :[i1.u395.t2367, i1.u395.t2376, i1.u395.t2373, i1.u395.t2370]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu228_flat :[u228.t2387, u228.t2385.t259]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu258_flat :[u258.t2299, u258.t2297, u258.t2301, u258.t2295.t516]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55_sub1 :[i1.u398.t2292, i1.u398.t2286, i1.u398.t2283, i1.u398.t2289]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu263_flat :[u263.t2305, u263.t2303.t526]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu263_flat :[u263.t2304, u263.t2306]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu263_flat :[u263.t2277.t527, u263.t2277.t107]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu258_flat :[u258.t2296, u258.t2300, u258.t2298, u258.t2302]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu268_flat :[u268.t2278.t537, u268.t2278.t105]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub55_sub1 :[i1.u398.t2291, i1.u398.t2285, i1.u398.t2294, i1.u398.t2288]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu258_flat :[u258.t2276.t517, u258.t2276.t109]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62_sub1 :[i1.u369.t2207, i1.u369.t2204, i1.u369.t2210, i1.u369.t2201]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu303_flat :[u303.t2196.t210, u303.t2196.t92]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub62_sub1 :[i1.u369.t2209, i1.u369.t2203, i1.u369.t2206, i1.u369.t2212]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu293_flat :[u293.t2194.t96, u293.t2194.t230]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu293_flat :[u293.t2220, u293.t2214, u293.t2216, u293.t2218]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu293_flat :[u293.t2215, u293.t2217, u293.t2213.t231, u293.t2219]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu298_flat :[u298.t2223, u298.t2221.t221]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu298_flat :[u298.t2195.t94, u298.t2195.t220]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu298_flat :[u298.t2224, u298.t2222]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu386_flat :[u386.t2152, u386.t2161, u386.t2158, u386.t2155]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu386_flat :[u386.t2153, u386.t2159, u386.t2156]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu380_flat :[u380.t2860, u380.t2863, u380.t2866, u380.t2857]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu380_flat :[u380.t2862, u380.t2865, u380.t2868, u380.t2859]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu406_flat :[u406.t2780, u406.t2783, u406.t2786, u406.t2777]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu406_flat :[u406.t2781, u406.t2784, u406.t2775, u406.t2778]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu367_flat :[u367.t2695, u367.t2701, u367.t2698, u367.t2704]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu367_flat :[u367.t2693, u367.t2696, u367.t2699, u367.t2702]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu388_flat :[u388.t2613, u388.t2622, u388.t2616, u388.t2619]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu388_flat :[u388.t2614, u388.t2611, u388.t2617, u388.t2620]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu410_flat :[u410.t2531, u410.t2540, u410.t2534, u410.t2537]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu410_flat :[u410.t2532, u410.t2538, u410.t2529, u410.t2535]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu382_flat :[u382.t2449, u382.t2455, u382.t2458, u382.t2452]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu382_flat :[u382.t2456, u382.t2447, u382.t2453, u382.t2450]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu395_flat :[u395.t2370, u395.t2373, u395.t2376, u395.t2367]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu395_flat :[u395.t2371, u395.t2374, u395.t2365, u395.t2368]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu398_flat :[u398.t2291, u398.t2294, u398.t2288, u398.t2285]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu398_flat :[u398.t2283, u398.t2292, u398.t2286, u398.t2289]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu369_flat :[u369.t2206, u369.t2203, u369.t2212, u369.t2209]
Mar 28, 2019 12:45:28 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu369_flat :[u369.t2207, u369.t2204, u369.t2201, u369.t2210]
Mar 28, 2019 12:45:28 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 37 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="ASLink-PT-09a"
export BK_EXAMINATION="GlobalProperties"
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-3817"
echo " Executing tool itstoolsm"
echo " Input is ASLink-PT-09a, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r188-smll-155225014100156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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