Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r019-csrt-155225080300390.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is BridgeAndVehicles-COL-V50P20N10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r019-csrt-155225080300390
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.4K Feb 9 07:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 07:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 5 04:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 118 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 356 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 29 12:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 29 12:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 42K 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 BridgeAndVehicles-COL-V50P20N10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552438379546

00:53:02.559 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
00:53:02.562 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Working with output stream class java.io.PrintStream
Flatten gal took : 249 ms
Constant places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 126 transition count 1328
Symmetric choice reduction at 1 with 1 rule applications. Total rules 3 place count 126 transition count 1328
Constant places removed 1 places and 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 4 place count 125 transition count 1327
Performed 1 Post agglomeration using F-continuation condition.
Constant places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 6 place count 123 transition count 1326
Performed 2 Post agglomeration using F-continuation condition.
Constant places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 8 place count 121 transition count 1324
Applied a total of 8 rules in 176 ms. Remains 121 /128 variables (removed 7) and now considering 1324/1328 (removed 4) transitions.
Normalized transition count is 246
// Phase 1: matrix 246 rows 121 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 246
// Phase 1: matrix 246 rows 121 cols
invariant :NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 + NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 = 1
invariant :COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 = 1
invariant :NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 = 1
invariant :CONTROLEUR_0 + CONTROLEUR_1 + CHOIX_0 + CHOIX_1 = 1
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/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.201903111103/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 1323 ordering constraints for composite.

BK_TIME_CONFINEMENT_REACHED

--------------------
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/ -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/ -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 13, 2019 12:53:02 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/, -smt]
Mar 13, 2019 12:53:02 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 13, 2019 12:53:02 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 950 ms
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 13, 2019 12:53:03 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 6 ms
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 119.0 instantiations of transitions. Total transitions/syncs built is 358
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 170 ms
Mar 13, 2019 12:53:03 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 12 ms
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 11 transitions. Expanding to a total of 1471 deterministic transitions.
Mar 13, 2019 12:53:03 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 24 ms.
Mar 13, 2019 12:53:05 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 13, 2019 12:53:05 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1324 transitions.
Mar 13, 2019 12:53:05 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 12:53:05 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 808 ms
Mar 13, 2019 12:53:06 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 12:53:06 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 342 ms
Mar 13, 2019 12:53:06 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 13, 2019 12:53:06 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 13, 2019 12:53:06 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 4 place invariants in 35 ms
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t1113.t102,t35,t36,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t170,t168,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t948.t102,t20,t21,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t208.t103,t135,t136,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t959.t102,t21,t22,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t1014.t102,t26,t27,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1157 events :t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t176.t103,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t157,t157,t157,t157,t157,t157,t157,t157,t157,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t160,t158,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t172,t170,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t192.t103,t119,t120,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t222.t103,t149,t150,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t212.t103,t139,t140,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t180.t103,t107,t108,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t188.t103,t115,t116,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t1190.t102,t42,t43,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t915.t102,t17,t18,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t893.t102,t15,t16,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t194.t103,t121,t122,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t179.t103,t106,t107,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t223.t103,t150,t151,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t937.t102,t19,t20,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t1256.t102,t48,t49,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t197.t103,t124,t125,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t1036.t102,t28,t29,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t739.t102,t1,t2,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t185.t103,t112,t113,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t1047.t102,t29,t30,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t215.t103,t142,t143,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t1223.t102,t45,t46,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t1157.t102,t39,t40,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t168,t166,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1101 events :t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t728.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t156,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t1146.t102,t38,t39,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t838.t102,t10,t11,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t1234.t102,t46,t47,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t189.t103,t116,t117,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t183.t103,t110,t111,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t207.t103,t134,t135,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t794.t102,t6,t7,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t1025.t102,t27,t28,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t184.t103,t111,t112,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t226.t103,t153,t154,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t193.t103,t120,t121,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t196.t103,t123,t124,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t209.t103,t136,t137,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t204.t103,t131,t132,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t219.t103,t146,t147,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t191.t103,t118,t119,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t1245.t102,t47,t48,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t1267.t102,t50,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t750.t102,t2,t3,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t174,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t1179.t102,t41,t42,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t202.t103,t129,t130,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t198.t103,t125,t126,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t186.t103,t113,t114,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t827.t102,t9,t10,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t1168.t102,t40,t41,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t970.t102,t22,t23,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t882.t102,t14,t15,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 99 events :t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t52.t51,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 50 events :t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,t105,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t926.t102,t18,t19,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t0,t1,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t210.t103,t137,t138,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t1212.t102,t44,t45,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t761.t102,t3,t4,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t816.t102,t8,t9,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t182.t103,t109,t110,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t218.t103,t145,t146,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t213.t103,t140,t141,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t199.t103,t126,t127,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t105,t106,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t1058.t102,t30,t31,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t772.t102,t4,t5,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t860.t102,t12,t13,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t1135.t102,t37,t38,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t166,t164,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t849.t102,t11,t12,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t205.t103,t132,t133,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t783.t102,t5,t6,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t220.t103,t147,t148,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t1091.t102,t33,t34,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t217.t103,t144,t145,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1157 events :t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t177.t102,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t156,t156,t156,t156,t156,t156,t156,t156,t156,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t200.t103,t127,t128,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t158,t156,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t164,t162,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t203.t103,t130,t131,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t174,t172,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 99 events :t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t1278.t51,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,t0,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 550 events :t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t178.t103,t50,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t224.t103,t151,t152,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t992.t102,t24,t25,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t1069.t102,t31,t32,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t181.t103,t108,t109,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t227.t103,t155,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t1080.t102,t32,t33,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t871.t102,t13,t14,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t225.t103,t152,t153,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t1102.t102,t34,t35,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t805.t102,t7,t8,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t1201.t102,t43,t44,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 102 events :t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t162,t160,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 550 events :t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t728.t102,t155,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t187.t103,t114,t115,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t1003.t102,t25,t26,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t904.t102,t16,t17,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t190.t103,t117,t118,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t206.t103,t133,t134,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t214.t103,t141,t142,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t216.t103,t143,t144,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t221.t103,t148,t149,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t981.t102,t23,t24,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t1124.t102,t36,t37,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t201.t103,t128,t129,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t211.t103,t138,t139,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t195.t103,t122,t123,
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 7031 redundant transitions.
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 12:53:07 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1064 ms
Mar 13, 2019 12:53:07 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 11 ms
Mar 13, 2019 12:53:09 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 121 variables to be positive in 2847 ms
Mar 13, 2019 12:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1324 transitions.
Mar 13, 2019 12:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1324 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 12:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 219 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 12:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1324 transitions.
Mar 13, 2019 12:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 117 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 12:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1324 transitions.
Mar 13, 2019 12:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(0/1324) took 16693 ms. Total solver calls (SAT/UNSAT): 1200(550/650)
Mar 13, 2019 12:53:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1/1324) took 31278 ms. Total solver calls (SAT/UNSAT): 2399(562/1837)
Mar 13, 2019 12:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2/1324) took 44918 ms. Total solver calls (SAT/UNSAT): 3597(574/3023)
Mar 13, 2019 12:54:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/1324) took 52290 ms. Total solver calls (SAT/UNSAT): 4794(586/4208)
Mar 13, 2019 12:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(4/1324) took 64974 ms. Total solver calls (SAT/UNSAT): 5990(598/5392)
Mar 13, 2019 12:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(5/1324) took 71042 ms. Total solver calls (SAT/UNSAT): 7185(610/6575)
Mar 13, 2019 12:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(6/1324) took 77780 ms. Total solver calls (SAT/UNSAT): 8379(622/7757)
Mar 13, 2019 12:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(7/1324) took 90714 ms. Total solver calls (SAT/UNSAT): 9572(634/8938)
Mar 13, 2019 12:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(8/1324) took 95623 ms. Total solver calls (SAT/UNSAT): 10764(646/10118)
Mar 13, 2019 12:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/1324) took 106072 ms. Total solver calls (SAT/UNSAT): 11955(658/11297)
Mar 13, 2019 12:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(10/1324) took 111315 ms. Total solver calls (SAT/UNSAT): 13145(670/12475)
Mar 13, 2019 12:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/1324) took 114410 ms. Total solver calls (SAT/UNSAT): 15522(694/14828)
Mar 13, 2019 12:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(13/1324) took 120102 ms. Total solver calls (SAT/UNSAT): 16709(706/16003)
Mar 13, 2019 12:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(14/1324) took 138305 ms. Total solver calls (SAT/UNSAT): 17895(718/17177)
Mar 13, 2019 12:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(15/1324) took 145097 ms. Total solver calls (SAT/UNSAT): 19080(730/18350)
Mar 13, 2019 12:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(16/1324) took 151051 ms. Total solver calls (SAT/UNSAT): 20264(742/19522)
Mar 13, 2019 12:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/1324) took 154692 ms. Total solver calls (SAT/UNSAT): 21447(754/20693)
Mar 13, 2019 12:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/1324) took 160746 ms. Total solver calls (SAT/UNSAT): 22629(766/21863)
Mar 13, 2019 12:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(19/1324) took 166700 ms. Total solver calls (SAT/UNSAT): 23810(778/23032)
Mar 13, 2019 12:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(22/1324) took 170505 ms. Total solver calls (SAT/UNSAT): 27347(814/26533)
Mar 13, 2019 12:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(26/1324) took 177485 ms. Total solver calls (SAT/UNSAT): 32049(862/31187)
Mar 13, 2019 12:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/1324) took 193100 ms. Total solver calls (SAT/UNSAT): 33222(874/32348)
Mar 13, 2019 12:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(28/1324) took 199252 ms. Total solver calls (SAT/UNSAT): 34394(886/33508)
Mar 13, 2019 12:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(29/1324) took 211794 ms. Total solver calls (SAT/UNSAT): 35565(898/34667)
Mar 13, 2019 12:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/1324) took 225023 ms. Total solver calls (SAT/UNSAT): 37904(922/36982)
Mar 13, 2019 12:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(32/1324) took 230549 ms. Total solver calls (SAT/UNSAT): 39072(934/38138)
Mar 13, 2019 12:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(33/1324) took 242067 ms. Total solver calls (SAT/UNSAT): 40239(946/39293)
Mar 13, 2019 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/1324) took 262790 ms. Total solver calls (SAT/UNSAT): 41405(958/40447)
Mar 13, 2019 12:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(35/1324) took 277830 ms. Total solver calls (SAT/UNSAT): 42570(970/41600)
Mar 13, 2019 12:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(36/1324) took 305106 ms. Total solver calls (SAT/UNSAT): 43734(982/42752)
Mar 13, 2019 12:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(37/1324) took 316974 ms. Total solver calls (SAT/UNSAT): 44897(994/43903)
Mar 13, 2019 12:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(38/1324) took 336619 ms. Total solver calls (SAT/UNSAT): 46059(1006/45053)
Mar 13, 2019 12:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/1324) took 340978 ms. Total solver calls (SAT/UNSAT): 47220(1018/46202)
Mar 13, 2019 12:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(40/1324) took 350232 ms. Total solver calls (SAT/UNSAT): 48380(1030/47350)
Mar 13, 2019 12:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(41/1324) took 357124 ms. Total solver calls (SAT/UNSAT): 49539(1042/48497)
Mar 13, 2019 12:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(44/1324) took 369360 ms. Total solver calls (SAT/UNSAT): 53010(1078/51932)
Mar 13, 2019 12:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(45/1324) took 374956 ms. Total solver calls (SAT/UNSAT): 54165(1090/53075)
Mar 13, 2019 12:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/1324) took 380131 ms. Total solver calls (SAT/UNSAT): 55319(1102/54217)
Mar 13, 2019 12:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(48/1324) took 387395 ms. Total solver calls (SAT/UNSAT): 57624(1126/56498)
Mar 13, 2019 12:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(50/1324) took 396005 ms. Total solver calls (SAT/UNSAT): 59925(1150/58775)
Mar 13, 2019 12:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/1324) took 402139 ms. Total solver calls (SAT/UNSAT): 61125(1700/59425)
Mar 13, 2019 1:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(53/1324) took 413385 ms. Total solver calls (SAT/UNSAT): 63522(1724/61798)
Mar 13, 2019 1:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(54/1324) took 421573 ms. Total solver calls (SAT/UNSAT): 64719(1736/62983)
Mar 13, 2019 1:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/1324) took 435264 ms. Total solver calls (SAT/UNSAT): 68304(1772/66532)
Mar 13, 2019 1:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(58/1324) took 441579 ms. Total solver calls (SAT/UNSAT): 69497(1784/67713)
Mar 13, 2019 1:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/1324) took 454574 ms. Total solver calls (SAT/UNSAT): 70689(1796/68893)
Mar 13, 2019 1:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/1324) took 481048 ms. Total solver calls (SAT/UNSAT): 71880(1808/70072)
Mar 13, 2019 1:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/1324) took 488776 ms. Total solver calls (SAT/UNSAT): 73070(1820/71250)
Mar 13, 2019 1:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/1324) took 508915 ms. Total solver calls (SAT/UNSAT): 74259(1832/72427)
Mar 13, 2019 1:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(63/1324) took 515791 ms. Total solver calls (SAT/UNSAT): 75447(1844/73603)
Mar 13, 2019 1:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(64/1324) took 521148 ms. Total solver calls (SAT/UNSAT): 76634(1856/74778)
Mar 13, 2019 1:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/1324) took 534654 ms. Total solver calls (SAT/UNSAT): 79005(1880/77125)
Mar 13, 2019 1:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/1324) took 543183 ms. Total solver calls (SAT/UNSAT): 81372(1904/79468)
Mar 13, 2019 1:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(69/1324) took 549987 ms. Total solver calls (SAT/UNSAT): 82554(1916/80638)
Mar 13, 2019 1:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/1324) took 553794 ms. Total solver calls (SAT/UNSAT): 83735(1928/81807)
Mar 13, 2019 1:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/1324) took 564974 ms. Total solver calls (SAT/UNSAT): 84915(1940/82975)
Mar 13, 2019 1:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(72/1324) took 574472 ms. Total solver calls (SAT/UNSAT): 86094(1952/84142)
Mar 13, 2019 1:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(73/1324) took 582324 ms. Total solver calls (SAT/UNSAT): 87272(1964/85308)
Mar 13, 2019 1:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(74/1324) took 586276 ms. Total solver calls (SAT/UNSAT): 88449(1976/86473)
Mar 13, 2019 1:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/1324) took 600177 ms. Total solver calls (SAT/UNSAT): 90800(2000/88800)
Mar 13, 2019 1:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(77/1324) took 620569 ms. Total solver calls (SAT/UNSAT): 91974(2012/89962)
Mar 13, 2019 1:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(78/1324) took 624868 ms. Total solver calls (SAT/UNSAT): 93147(2024/91123)
Mar 13, 2019 1:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(79/1324) took 638068 ms. Total solver calls (SAT/UNSAT): 94319(2036/92283)
Mar 13, 2019 1:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/1324) took 648201 ms. Total solver calls (SAT/UNSAT): 96660(2060/94600)
Mar 13, 2019 1:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(82/1324) took 660923 ms. Total solver calls (SAT/UNSAT): 97829(2072/95757)
Mar 13, 2019 1:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(83/1324) took 676372 ms. Total solver calls (SAT/UNSAT): 98997(2084/96913)
Mar 13, 2019 1:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(84/1324) took 701048 ms. Total solver calls (SAT/UNSAT): 100164(2096/98068)
Mar 13, 2019 1:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/1324) took 710687 ms. Total solver calls (SAT/UNSAT): 101330(2108/99222)
Mar 13, 2019 1:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(86/1324) took 715874 ms. Total solver calls (SAT/UNSAT): 102495(2120/100375)
Mar 13, 2019 1:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(88/1324) took 723595 ms. Total solver calls (SAT/UNSAT): 104822(2144/102678)
Mar 13, 2019 1:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(89/1324) took 737894 ms. Total solver calls (SAT/UNSAT): 105984(2156/103828)
Mar 13, 2019 1:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/1324) took 756045 ms. Total solver calls (SAT/UNSAT): 108305(2180/106125)
Mar 13, 2019 1:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(92/1324) took 763465 ms. Total solver calls (SAT/UNSAT): 109464(2192/107272)
Mar 13, 2019 1:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/1324) took 770250 ms. Total solver calls (SAT/UNSAT): 112935(2228/110707)
Mar 13, 2019 1:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/1324) took 788457 ms. Total solver calls (SAT/UNSAT): 114090(2240/111850)
Mar 13, 2019 1:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(97/1324) took 801668 ms. Total solver calls (SAT/UNSAT): 115244(2252/112992)
Mar 13, 2019 1:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/1324) took 810824 ms. Total solver calls (SAT/UNSAT): 116397(2264/114133)
Mar 13, 2019 1:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/1324) took 819920 ms. Total solver calls (SAT/UNSAT): 118700(2288/116412)
Mar 13, 2019 1:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(101/1324) took 828766 ms. Total solver calls (SAT/UNSAT): 119850(2300/117550)
Mar 13, 2019 1:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/1324) took 837068 ms. Total solver calls (SAT/UNSAT): 121071(2300/118771)
Mar 13, 2019 1:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/1324) took 840931 ms. Total solver calls (SAT/UNSAT): 124728(2300/122428)
Mar 13, 2019 1:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(107/1324) took 844873 ms. Total solver calls (SAT/UNSAT): 127161(2300/124861)
Mar 13, 2019 1:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(112/1324) took 848310 ms. Total solver calls (SAT/UNSAT): 133226(2300/130926)
Mar 13, 2019 1:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(113/1324) took 854058 ms. Total solver calls (SAT/UNSAT): 134436(2300/132136)
Mar 13, 2019 1:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/1324) took 857995 ms. Total solver calls (SAT/UNSAT): 136853(2300/134553)
Mar 13, 2019 1:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(118/1324) took 864217 ms. Total solver calls (SAT/UNSAT): 140471(2300/138171)
Mar 13, 2019 1:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/1324) took 872667 ms. Total solver calls (SAT/UNSAT): 142878(2300/140578)
Mar 13, 2019 1:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/1324) took 876057 ms. Total solver calls (SAT/UNSAT): 144080(2300/141780)
Mar 13, 2019 1:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(122/1324) took 887046 ms. Total solver calls (SAT/UNSAT): 145281(2300/142981)
Mar 13, 2019 1:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/1324) took 897461 ms. Total solver calls (SAT/UNSAT): 146481(2300/144181)
Mar 13, 2019 1:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(126/1324) took 903753 ms. Total solver calls (SAT/UNSAT): 150075(2300/147775)
Mar 13, 2019 1:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(127/1324) took 917807 ms. Total solver calls (SAT/UNSAT): 151271(2300/148971)
Mar 13, 2019 1:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/1324) took 928980 ms. Total solver calls (SAT/UNSAT): 152466(2300/150166)
Mar 13, 2019 1:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/1324) took 936647 ms. Total solver calls (SAT/UNSAT): 154853(2300/152553)
Mar 13, 2019 1:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(132/1324) took 939908 ms. Total solver calls (SAT/UNSAT): 157236(2300/154936)
Mar 13, 2019 1:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/1324) took 944742 ms. Total solver calls (SAT/UNSAT): 158426(2300/156126)
Mar 13, 2019 1:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(134/1324) took 960844 ms. Total solver calls (SAT/UNSAT): 159615(2300/157315)
Mar 13, 2019 1:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(135/1324) took 968750 ms. Total solver calls (SAT/UNSAT): 160803(2300/158503)
Mar 13, 2019 1:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/1324) took 974981 ms. Total solver calls (SAT/UNSAT): 161990(2300/159690)
Mar 13, 2019 1:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(137/1324) took 986823 ms. Total solver calls (SAT/UNSAT): 163176(2300/160876)
Mar 13, 2019 1:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(138/1324) took 990197 ms. Total solver calls (SAT/UNSAT): 164361(2300/162061)
Mar 13, 2019 1:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(140/1324) took 994346 ms. Total solver calls (SAT/UNSAT): 166728(2300/164428)
Mar 13, 2019 1:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(142/1324) took 1020990 ms. Total solver calls (SAT/UNSAT): 169091(2300/166791)
Mar 13, 2019 1:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/1324) took 1037323 ms. Total solver calls (SAT/UNSAT): 170271(2300/167971)
Mar 13, 2019 1:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(144/1324) took 1047670 ms. Total solver calls (SAT/UNSAT): 171450(2300/169150)
Mar 13, 2019 1:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(145/1324) took 1053934 ms. Total solver calls (SAT/UNSAT): 172628(2300/170328)
Mar 13, 2019 1:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/1324) took 1060051 ms. Total solver calls (SAT/UNSAT): 173805(2300/171505)
Mar 13, 2019 1:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(147/1324) took 1064538 ms. Total solver calls (SAT/UNSAT): 174981(2300/172681)
Mar 13, 2019 1:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(149/1324) took 1074370 ms. Total solver calls (SAT/UNSAT): 177330(2300/175030)
Mar 13, 2019 1:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(150/1324) took 1092729 ms. Total solver calls (SAT/UNSAT): 178503(2300/176203)
Mar 13, 2019 1:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/1324) took 1113420 ms. Total solver calls (SAT/UNSAT): 179675(2300/177375)
Mar 13, 2019 1:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(152/1324) took 1122544 ms. Total solver calls (SAT/UNSAT): 180846(2300/178546)
Mar 13, 2019 1:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(154/1324) took 1131595 ms. Total solver calls (SAT/UNSAT): 183185(2300/180885)
Mar 13, 2019 1:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/1324) took 1139251 ms. Total solver calls (SAT/UNSAT): 184353(2300/182053)
Mar 13, 2019 1:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/1324) took 1149236 ms. Total solver calls (SAT/UNSAT): 185520(2300/183220)
Mar 13, 2019 1:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(157/1324) took 1165559 ms. Total solver calls (SAT/UNSAT): 186686(2300/184386)
Mar 13, 2019 1:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/1324) took 1175637 ms. Total solver calls (SAT/UNSAT): 189015(2300/186715)
Mar 13, 2019 1:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/1324) took 1183892 ms. Total solver calls (SAT/UNSAT): 190178(2300/187878)
Mar 13, 2019 1:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(162/1324) took 1187814 ms. Total solver calls (SAT/UNSAT): 192501(2300/190201)
Mar 13, 2019 1:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(164/1324) took 1192931 ms. Total solver calls (SAT/UNSAT): 194820(2300/192520)
Mar 13, 2019 1:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(167/1324) took 1196230 ms. Total solver calls (SAT/UNSAT): 198291(2300/195991)
Mar 13, 2019 1:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/1324) took 1224189 ms. Total solver calls (SAT/UNSAT): 200600(2300/198300)
Mar 13, 2019 1:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/1324) took 1242624 ms. Total solver calls (SAT/UNSAT): 201753(2300/199453)
Mar 13, 2019 1:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/1324) took 1253406 ms. Total solver calls (SAT/UNSAT): 202905(2300/200605)
Mar 13, 2019 1:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/1324) took 1267393 ms. Total solver calls (SAT/UNSAT): 204056(2300/201756)
Mar 13, 2019 1:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(173/1324) took 1276506 ms. Total solver calls (SAT/UNSAT): 205206(2300/202906)
Mar 13, 2019 1:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/1324) took 1287027 ms. Total solver calls (SAT/UNSAT): 206355(2300/204055)
Mar 13, 2019 1:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/1324) took 1299692 ms. Total solver calls (SAT/UNSAT): 207503(2300/205203)
Mar 13, 2019 1:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/1324) took 1312923 ms. Total solver calls (SAT/UNSAT): 208650(2300/206350)
Mar 13, 2019 1:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/1324) took 1326046 ms. Total solver calls (SAT/UNSAT): 209796(2300/207496)
Mar 13, 2019 1:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(180/1324) took 1329492 ms. Total solver calls (SAT/UNSAT): 213228(2300/210928)
Mar 13, 2019 1:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/1324) took 1336838 ms. Total solver calls (SAT/UNSAT): 214370(2300/212070)
Mar 13, 2019 1:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/1324) took 1340382 ms. Total solver calls (SAT/UNSAT): 217790(2300/215490)
Mar 13, 2019 1:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(186/1324) took 1343704 ms. Total solver calls (SAT/UNSAT): 220065(2300/217765)
Mar 13, 2019 1:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/1324) took 1358162 ms. Total solver calls (SAT/UNSAT): 222336(2300/220036)
Mar 13, 2019 1:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(189/1324) took 1372805 ms. Total solver calls (SAT/UNSAT): 223470(2300/221170)
Mar 13, 2019 1:16:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/1324) took 1378109 ms. Total solver calls (SAT/UNSAT): 226866(2300/224566)
Mar 13, 2019 1:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/1324) took 1382272 ms. Total solver calls (SAT/UNSAT): 227996(2300/225696)
Mar 13, 2019 1:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(195/1324) took 1388029 ms. Total solver calls (SAT/UNSAT): 230253(2300/227953)
Mar 13, 2019 1:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(197/1324) took 1394337 ms. Total solver calls (SAT/UNSAT): 232506(2300/230206)
Mar 13, 2019 1:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/1324) took 1397377 ms. Total solver calls (SAT/UNSAT): 234755(2300/232455)
Mar 13, 2019 1:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/1324) took 1401816 ms. Total solver calls (SAT/UNSAT): 238121(2300/235821)
Mar 13, 2019 1:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(203/1324) took 1415222 ms. Total solver calls (SAT/UNSAT): 239241(2300/236941)
Mar 13, 2019 1:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/1324) took 1423820 ms. Total solver calls (SAT/UNSAT): 240360(2300/238060)
Mar 13, 2019 1:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/1324) took 1430758 ms. Total solver calls (SAT/UNSAT): 241478(2300/239178)
Mar 13, 2019 1:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(206/1324) took 1449393 ms. Total solver calls (SAT/UNSAT): 242595(2300/240295)
Mar 13, 2019 1:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/1324) took 1467242 ms. Total solver calls (SAT/UNSAT): 243711(2300/241411)
Mar 13, 2019 1:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/1324) took 1471683 ms. Total solver calls (SAT/UNSAT): 244826(2300/242526)
Mar 13, 2019 1:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/1324) took 1481930 ms. Total solver calls (SAT/UNSAT): 245940(2300/243640)
Mar 13, 2019 1:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/1324) took 1488796 ms. Total solver calls (SAT/UNSAT): 247053(2300/244753)
Mar 13, 2019 1:18:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/1324) took 1501021 ms. Total solver calls (SAT/UNSAT): 248165(2300/245865)
Mar 13, 2019 1:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(212/1324) took 1505760 ms. Total solver calls (SAT/UNSAT): 249276(2300/246976)
Mar 13, 2019 1:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/1324) took 1523071 ms. Total solver calls (SAT/UNSAT): 251495(2300/249195)
Mar 13, 2019 1:18:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/1324) took 1526512 ms. Total solver calls (SAT/UNSAT): 252603(2300/250303)
Mar 13, 2019 1:18:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/1324) took 1539719 ms. Total solver calls (SAT/UNSAT): 254816(2300/252516)
Mar 13, 2019 1:19:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/1324) took 1551464 ms. Total solver calls (SAT/UNSAT): 255921(2300/253621)
Mar 13, 2019 1:19:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(219/1324) took 1558486 ms. Total solver calls (SAT/UNSAT): 257025(2300/254725)
Mar 13, 2019 1:19:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(220/1324) took 1566256 ms. Total solver calls (SAT/UNSAT): 258128(2300/255828)
Mar 13, 2019 1:19:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/1324) took 1570497 ms. Total solver calls (SAT/UNSAT): 259230(2300/256930)
Mar 13, 2019 1:19:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/1324) took 1584573 ms. Total solver calls (SAT/UNSAT): 261431(2300/259131)
Mar 13, 2019 1:19:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/1324) took 1590079 ms. Total solver calls (SAT/UNSAT): 262530(2300/260230)
Mar 13, 2019 1:19:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(225/1324) took 1593183 ms. Total solver calls (SAT/UNSAT): 263628(2300/261328)
Mar 13, 2019 1:19:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(226/1324) took 1607483 ms. Total solver calls (SAT/UNSAT): 264725(2300/262425)
Mar 13, 2019 1:20:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/1324) took 1610772 ms. Total solver calls (SAT/UNSAT): 265821(2300/263521)
Mar 13, 2019 1:20:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/1324) took 1616241 ms. Total solver calls (SAT/UNSAT): 266916(2300/264616)
Mar 13, 2019 1:20:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(229/1324) took 1621374 ms. Total solver calls (SAT/UNSAT): 268010(2300/265710)
Mar 13, 2019 1:20:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(230/1324) took 1626996 ms. Total solver calls (SAT/UNSAT): 269103(2300/266803)
Mar 13, 2019 1:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(231/1324) took 1631748 ms. Total solver calls (SAT/UNSAT): 270195(2300/267895)
Mar 13, 2019 1:20:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/1324) took 1634963 ms. Total solver calls (SAT/UNSAT): 271286(2300/268986)
Mar 13, 2019 1:20:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/1324) took 1647321 ms. Total solver calls (SAT/UNSAT): 272376(2300/270076)
Mar 13, 2019 1:20:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(234/1324) took 1653899 ms. Total solver calls (SAT/UNSAT): 273465(2300/271165)
Mar 13, 2019 1:20:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(235/1324) took 1660781 ms. Total solver calls (SAT/UNSAT): 274553(2300/272253)
Mar 13, 2019 1:21:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(236/1324) took 1690361 ms. Total solver calls (SAT/UNSAT): 275640(2300/273340)
Mar 13, 2019 1:21:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/1324) took 1695238 ms. Total solver calls (SAT/UNSAT): 276726(2300/274426)
Mar 13, 2019 1:21:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(238/1324) took 1701516 ms. Total solver calls (SAT/UNSAT): 277811(2300/275511)
Mar 13, 2019 1:21:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/1324) took 1706653 ms. Total solver calls (SAT/UNSAT): 278895(2300/276595)
Mar 13, 2019 1:21:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(240/1324) took 1718164 ms. Total solver calls (SAT/UNSAT): 279978(2300/277678)
Mar 13, 2019 1:21:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(241/1324) took 1728847 ms. Total solver calls (SAT/UNSAT): 281060(2300/278760)
Mar 13, 2019 1:22:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(242/1324) took 1737968 ms. Total solver calls (SAT/UNSAT): 282141(2300/279841)
Mar 13, 2019 1:22:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/1324) took 1743346 ms. Total solver calls (SAT/UNSAT): 283221(2300/280921)
Mar 13, 2019 1:22:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/1324) took 1748791 ms. Total solver calls (SAT/UNSAT): 285378(2300/283078)
Mar 13, 2019 1:22:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(246/1324) took 1753566 ms. Total solver calls (SAT/UNSAT): 286455(2300/284155)
Mar 13, 2019 1:22:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/1324) took 1756905 ms. Total solver calls (SAT/UNSAT): 287531(2300/285231)
Mar 13, 2019 1:22:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(248/1324) took 1762367 ms. Total solver calls (SAT/UNSAT): 288606(2300/286306)
Mar 13, 2019 1:22:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/1324) took 1765682 ms. Total solver calls (SAT/UNSAT): 290753(2300/288453)
Mar 13, 2019 1:22:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(251/1324) took 1778655 ms. Total solver calls (SAT/UNSAT): 291825(2300/289525)
Mar 13, 2019 1:22:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/1324) took 1786115 ms. Total solver calls (SAT/UNSAT): 292896(2300/290596)
Mar 13, 2019 1:23:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/1324) took 1790394 ms. Total solver calls (SAT/UNSAT): 293966(2300/291666)
Mar 13, 2019 1:23:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/1324) took 1797802 ms. Total solver calls (SAT/UNSAT): 296103(2300/293803)
Mar 13, 2019 1:23:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/1324) took 1802608 ms. Total solver calls (SAT/UNSAT): 297170(2300/294870)
Mar 13, 2019 1:23:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/1324) took 1809659 ms. Total solver calls (SAT/UNSAT): 299301(2300/297001)
Mar 13, 2019 1:23:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/1324) took 1813519 ms. Total solver calls (SAT/UNSAT): 300365(2300/298065)
Mar 13, 2019 1:23:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(260/1324) took 1833541 ms. Total solver calls (SAT/UNSAT): 301428(2300/299128)
Mar 13, 2019 1:23:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/1324) took 1846326 ms. Total solver calls (SAT/UNSAT): 303551(2300/301251)
Mar 13, 2019 1:24:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/1324) took 1856136 ms. Total solver calls (SAT/UNSAT): 305670(2300/303370)
Mar 13, 2019 1:24:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/1324) took 1859142 ms. Total solver calls (SAT/UNSAT): 306728(2300/304428)
Mar 13, 2019 1:24:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/1324) took 1865274 ms. Total solver calls (SAT/UNSAT): 307785(2300/305485)
Mar 13, 2019 1:24:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(269/1324) took 1873140 ms. Total solver calls (SAT/UNSAT): 310950(2300/308650)
Mar 13, 2019 1:24:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(272/1324) took 1876366 ms. Total solver calls (SAT/UNSAT): 314106(2300/311806)
Mar 13, 2019 1:24:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(275/1324) took 1887696 ms. Total solver calls (SAT/UNSAT): 317253(2300/314953)
Mar 13, 2019 1:24:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(278/1324) took 1891931 ms. Total solver calls (SAT/UNSAT): 320391(2300/318091)
Mar 13, 2019 1:24:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(280/1324) took 1898879 ms. Total solver calls (SAT/UNSAT): 322478(2300/320178)
Mar 13, 2019 1:25:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/1324) took 1912743 ms. Total solver calls (SAT/UNSAT): 323520(2300/321220)
Mar 13, 2019 1:25:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/1324) took 1916001 ms. Total solver calls (SAT/UNSAT): 324561(2300/322261)
Mar 13, 2019 1:25:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(285/1324) took 1922078 ms. Total solver calls (SAT/UNSAT): 327678(2300/325378)
Mar 13, 2019 1:25:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(286/1324) took 1925334 ms. Total solver calls (SAT/UNSAT): 328715(2300/326415)
Mar 13, 2019 1:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(288/1324) took 1929106 ms. Total solver calls (SAT/UNSAT): 330786(2300/328486)
Mar 13, 2019 1:25:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(291/1324) took 1932172 ms. Total solver calls (SAT/UNSAT): 333885(2300/331585)
Mar 13, 2019 1:25:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(293/1324) took 1950628 ms. Total solver calls (SAT/UNSAT): 335946(2300/333646)
Mar 13, 2019 1:25:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(294/1324) took 1961449 ms. Total solver calls (SAT/UNSAT): 336975(2300/334675)
Mar 13, 2019 1:25:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(295/1324) took 1967545 ms. Total solver calls (SAT/UNSAT): 338003(2300/335703)
Mar 13, 2019 1:26:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/1324) took 1976001 ms. Total solver calls (SAT/UNSAT): 339030(2300/336730)
Mar 13, 2019 1:26:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(297/1324) took 1985825 ms. Total solver calls (SAT/UNSAT): 340056(2300/337756)
Mar 13, 2019 1:26:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(298/1324) took 1998355 ms. Total solver calls (SAT/UNSAT): 341081(2300/338781)
Mar 13, 2019 1:26:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(299/1324) took 2003924 ms. Total solver calls (SAT/UNSAT): 342105(2300/339805)
Mar 13, 2019 1:26:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(300/1324) took 2008913 ms. Total solver calls (SAT/UNSAT): 343128(2300/340828)
Mar 13, 2019 1:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/1324) took 2025253 ms. Total solver calls (SAT/UNSAT): 344150(2300/341850)
Mar 13, 2019 1:27:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(302/1324) took 2041393 ms. Total solver calls (SAT/UNSAT): 345171(2300/342871)
Mar 13, 2019 1:27:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(303/1324) took 2053303 ms. Total solver calls (SAT/UNSAT): 346191(2300/343891)
Mar 13, 2019 1:27:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/1324) took 2058692 ms. Total solver calls (SAT/UNSAT): 350261(2300/347961)
Mar 13, 2019 1:27:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(308/1324) took 2062298 ms. Total solver calls (SAT/UNSAT): 351276(2300/348976)
Mar 13, 2019 1:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(309/1324) took 2066736 ms. Total solver calls (SAT/UNSAT): 352290(2300/349990)
Mar 13, 2019 1:27:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(310/1324) took 2069822 ms. Total solver calls (SAT/UNSAT): 353303(2300/351003)
Mar 13, 2019 1:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(311/1324) took 2089763 ms. Total solver calls (SAT/UNSAT): 354315(2300/352015)
Mar 13, 2019 1:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(312/1324) took 2093971 ms. Total solver calls (SAT/UNSAT): 355326(2300/353026)
Mar 13, 2019 1:28:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/1324) took 2105382 ms. Total solver calls (SAT/UNSAT): 356336(2300/354036)
Mar 13, 2019 1:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/1324) took 2111309 ms. Total solver calls (SAT/UNSAT): 357345(2300/355045)
Mar 13, 2019 1:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(315/1324) took 2119062 ms. Total solver calls (SAT/UNSAT): 358353(2300/356053)
Mar 13, 2019 1:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(318/1324) took 2125431 ms. Total solver calls (SAT/UNSAT): 361371(2300/359071)
Mar 13, 2019 1:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(320/1324) took 2129181 ms. Total solver calls (SAT/UNSAT): 363378(2300/361078)
Mar 13, 2019 1:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/1324) took 2136356 ms. Total solver calls (SAT/UNSAT): 364380(2300/362080)
Mar 13, 2019 1:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(323/1324) took 2139649 ms. Total solver calls (SAT/UNSAT): 366381(2300/364081)
Mar 13, 2019 1:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(324/1324) took 2145376 ms. Total solver calls (SAT/UNSAT): 367380(2300/365080)
Mar 13, 2019 1:28:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(326/1324) took 2148477 ms. Total solver calls (SAT/UNSAT): 369375(2300/367075)
Mar 13, 2019 1:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(329/1324) took 2155448 ms. Total solver calls (SAT/UNSAT): 372360(2300/370060)
Mar 13, 2019 1:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/1324) took 2164810 ms. Total solver calls (SAT/UNSAT): 374345(2300/372045)
Mar 13, 2019 1:29:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(332/1324) took 2182518 ms. Total solver calls (SAT/UNSAT): 375336(2300/373036)
Mar 13, 2019 1:29:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/1324) took 2196979 ms. Total solver calls (SAT/UNSAT): 376326(2300/374026)
Mar 13, 2019 1:29:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(334/1324) took 2203039 ms. Total solver calls (SAT/UNSAT): 377315(2300/375015)
Mar 13, 2019 1:30:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(336/1324) took 2228129 ms. Total solver calls (SAT/UNSAT): 379290(2300/376990)
Mar 13, 2019 1:30:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/1324) took 2233747 ms. Total solver calls (SAT/UNSAT): 381261(2300/378961)
Mar 13, 2019 1:30:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(340/1324) took 2237866 ms. Total solver calls (SAT/UNSAT): 383228(2300/380928)
Mar 13, 2019 1:30:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/1324) took 2241091 ms. Total solver calls (SAT/UNSAT): 385191(2300/382891)
Mar 13, 2019 1:30:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/1324) took 2248266 ms. Total solver calls (SAT/UNSAT): 386171(2300/383871)
Mar 13, 2019 1:30:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(344/1324) took 2254274 ms. Total solver calls (SAT/UNSAT): 387150(2300/384850)
Mar 13, 2019 1:30:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/1324) took 2262651 ms. Total solver calls (SAT/UNSAT): 388128(2300/385828)
Mar 13, 2019 1:31:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(347/1324) took 2269872 ms. Total solver calls (SAT/UNSAT): 390081(2300/387781)
Mar 13, 2019 1:31:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(348/1324) took 2287611 ms. Total solver calls (SAT/UNSAT): 391056(2300/388756)
Mar 13, 2019 1:31:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(350/1324) took 2290649 ms. Total solver calls (SAT/UNSAT): 393003(2300/390703)
Mar 13, 2019 1:31:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(352/1324) took 2311498 ms. Total solver calls (SAT/UNSAT): 394946(2300/392646)
Mar 13, 2019 1:31:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(353/1324) took 2322751 ms. Total solver calls (SAT/UNSAT): 395916(2300/393616)
Mar 13, 2019 1:31:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/1324) took 2326969 ms. Total solver calls (SAT/UNSAT): 397853(2300/395553)
Mar 13, 2019 1:32:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(357/1324) took 2333384 ms. Total solver calls (SAT/UNSAT): 399786(2300/397486)
Mar 13, 2019 1:32:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/1324) took 2353958 ms. Total solver calls (SAT/UNSAT): 400751(2300/398451)
Mar 13, 2019 1:32:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/1324) took 2370555 ms. Total solver calls (SAT/UNSAT): 401715(2300/399415)
Mar 13, 2019 1:33:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(360/1324) took 2392606 ms. Total solver calls (SAT/UNSAT): 402678(2300/400378)
Mar 13, 2019 1:33:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/1324) took 2398149 ms. Total solver calls (SAT/UNSAT): 403640(2300/401340)
Mar 13, 2019 1:33:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(362/1324) took 2404898 ms. Total solver calls (SAT/UNSAT): 404601(2300/402301)
Mar 13, 2019 1:33:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(364/1324) took 2409407 ms. Total solver calls (SAT/UNSAT): 406520(2300/404220)
Mar 13, 2019 1:33:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(365/1324) took 2417674 ms. Total solver calls (SAT/UNSAT): 407478(2300/405178)
Mar 13, 2019 1:33:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/1324) took 2422284 ms. Total solver calls (SAT/UNSAT): 410346(2300/408046)
Mar 13, 2019 1:33:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(369/1324) took 2441477 ms. Total solver calls (SAT/UNSAT): 411300(2300/409000)
Mar 13, 2019 1:33:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(370/1324) took 2449464 ms. Total solver calls (SAT/UNSAT): 412253(2300/409953)
Mar 13, 2019 1:34:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(371/1324) took 2454872 ms. Total solver calls (SAT/UNSAT): 413205(2300/410905)
Mar 13, 2019 1:34:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(373/1324) took 2459340 ms. Total solver calls (SAT/UNSAT): 415106(2300/412806)
Mar 13, 2019 1:34:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/1324) took 2472871 ms. Total solver calls (SAT/UNSAT): 417003(2300/414703)
Mar 13, 2019 1:34:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(376/1324) took 2478765 ms. Total solver calls (SAT/UNSAT): 417950(2300/415650)
Mar 13, 2019 1:34:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(378/1324) took 2496032 ms. Total solver calls (SAT/UNSAT): 419841(2300/417541)
Mar 13, 2019 1:34:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/1324) took 2506905 ms. Total solver calls (SAT/UNSAT): 420785(2300/418485)
Mar 13, 2019 1:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(380/1324) took 2514941 ms. Total solver calls (SAT/UNSAT): 421728(2300/419428)
Mar 13, 2019 1:35:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/1324) took 2523152 ms. Total solver calls (SAT/UNSAT): 422670(2300/420370)
Mar 13, 2019 1:35:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(382/1324) took 2535254 ms. Total solver calls (SAT/UNSAT): 423611(2300/421311)
Mar 13, 2019 1:35:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(383/1324) took 2541135 ms. Total solver calls (SAT/UNSAT): 424551(2300/422251)
Mar 13, 2019 1:35:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(384/1324) took 2545022 ms. Total solver calls (SAT/UNSAT): 425490(2300/423190)
Mar 13, 2019 1:35:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/1324) took 2557954 ms. Total solver calls (SAT/UNSAT): 426428(2300/424128)
Mar 13, 2019 1:36:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(386/1324) took 2571295 ms. Total solver calls (SAT/UNSAT): 427365(2300/425065)
Mar 13, 2019 1:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/1324) took 2579636 ms. Total solver calls (SAT/UNSAT): 429236(2300/426936)
Mar 13, 2019 1:36:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(389/1324) took 2587998 ms. Total solver calls (SAT/UNSAT): 430170(2300/427870)
Mar 13, 2019 1:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(390/1324) took 2601000 ms. Total solver calls (SAT/UNSAT): 431103(2300/428803)
Mar 13, 2019 1:36:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(391/1324) took 2628116 ms. Total solver calls (SAT/UNSAT): 432035(2300/429735)
Mar 13, 2019 1:37:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(394/1324) took 2637354 ms. Total solver calls (SAT/UNSAT): 434825(2300/432525)
Mar 13, 2019 1:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(395/1324) took 2641567 ms. Total solver calls (SAT/UNSAT): 435753(2300/433453)
Mar 13, 2019 1:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(396/1324) took 2644912 ms. Total solver calls (SAT/UNSAT): 436680(2300/434380)
Mar 13, 2019 1:37:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(399/1324) took 2647912 ms. Total solver calls (SAT/UNSAT): 439455(2300/437155)
Mar 13, 2019 1:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(400/1324) took 2653887 ms. Total solver calls (SAT/UNSAT): 440378(2300/438078)
Mar 13, 2019 1:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(402/1324) took 2669726 ms. Total solver calls (SAT/UNSAT): 442221(2300/439921)
Mar 13, 2019 1:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(403/1324) took 2678645 ms. Total solver calls (SAT/UNSAT): 443141(2300/440841)
Mar 13, 2019 1:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(404/1324) took 2682405 ms. Total solver calls (SAT/UNSAT): 444060(2300/441760)
Mar 13, 2019 1:38:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(405/1324) took 2692130 ms. Total solver calls (SAT/UNSAT): 444978(2300/442678)
Mar 13, 2019 1:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(406/1324) took 2696196 ms. Total solver calls (SAT/UNSAT): 445895(2300/443595)
Mar 13, 2019 1:38:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(407/1324) took 2699849 ms. Total solver calls (SAT/UNSAT): 446811(2300/444511)
Mar 13, 2019 1:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(410/1324) took 2709731 ms. Total solver calls (SAT/UNSAT): 449553(2300/447253)
Mar 13, 2019 1:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/1324) took 2716791 ms. Total solver calls (SAT/UNSAT): 450465(2300/448165)
Mar 13, 2019 1:38:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/1324) took 2719825 ms. Total solver calls (SAT/UNSAT): 451376(2300/449076)
Mar 13, 2019 1:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/1324) took 2725257 ms. Total solver calls (SAT/UNSAT): 452286(2300/449986)
Mar 13, 2019 1:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(414/1324) took 2732978 ms. Total solver calls (SAT/UNSAT): 453195(2300/450895)
Mar 13, 2019 1:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(415/1324) took 2739744 ms. Total solver calls (SAT/UNSAT): 454103(2300/451803)
Mar 13, 2019 1:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(416/1324) took 2744518 ms. Total solver calls (SAT/UNSAT): 455010(2300/452710)
Mar 13, 2019 1:38:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/1324) took 2748118 ms. Total solver calls (SAT/UNSAT): 455916(2300/453616)
Mar 13, 2019 1:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(419/1324) took 2751237 ms. Total solver calls (SAT/UNSAT): 457725(2300/455425)
Mar 13, 2019 1:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(421/1324) took 2758008 ms. Total solver calls (SAT/UNSAT): 459530(2300/457230)
Mar 13, 2019 1:39:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/1324) took 2765232 ms. Total solver calls (SAT/UNSAT): 462230(2300/459930)
Mar 13, 2019 1:39:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(425/1324) took 2770832 ms. Total solver calls (SAT/UNSAT): 463128(2300/460828)
Mar 13, 2019 1:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/1324) took 2780488 ms. Total solver calls (SAT/UNSAT): 464921(2300/462621)
Mar 13, 2019 1:39:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/1324) took 2784638 ms. Total solver calls (SAT/UNSAT): 466710(2300/464410)
Mar 13, 2019 1:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/1324) took 2789395 ms. Total solver calls (SAT/UNSAT): 468495(2300/466195)
Mar 13, 2019 1:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/1324) took 2798263 ms. Total solver calls (SAT/UNSAT): 469386(2300/467086)
Mar 13, 2019 1:39:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(435/1324) took 2804099 ms. Total solver calls (SAT/UNSAT): 472053(2300/469753)
Mar 13, 2019 1:39:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/1324) took 2807761 ms. Total solver calls (SAT/UNSAT): 473826(2300/471526)
Mar 13, 2019 1:40:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/1324) took 2812779 ms. Total solver calls (SAT/UNSAT): 476478(2300/474178)
Mar 13, 2019 1:40:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(443/1324) took 2816002 ms. Total solver calls (SAT/UNSAT): 479121(2300/476821)
Mar 13, 2019 1:40:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/1324) took 2819140 ms. Total solver calls (SAT/UNSAT): 480878(2300/478578)
Mar 13, 2019 1:40:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/1324) took 2824222 ms. Total solver calls (SAT/UNSAT): 482631(2300/480331)
Mar 13, 2019 1:40:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(448/1324) took 2829510 ms. Total solver calls (SAT/UNSAT): 483506(2300/481206)
Mar 13, 2019 1:40:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/1324) took 2832856 ms. Total solver calls (SAT/UNSAT): 485253(2300/482953)
Mar 13, 2019 1:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(451/1324) took 2840133 ms. Total solver calls (SAT/UNSAT): 486125(2300/483825)
Mar 13, 2019 1:40:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(453/1324) took 2848046 ms. Total solver calls (SAT/UNSAT): 487866(2300/485566)
Mar 13, 2019 1:40:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(455/1324) took 2856098 ms. Total solver calls (SAT/UNSAT): 489603(2300/487303)
Mar 13, 2019 1:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(457/1324) took 2861622 ms. Total solver calls (SAT/UNSAT): 491336(2300/489036)
Mar 13, 2019 1:40:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(458/1324) took 2865052 ms. Total solver calls (SAT/UNSAT): 492201(2300/489901)
Mar 13, 2019 1:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(460/1324) took 2868957 ms. Total solver calls (SAT/UNSAT): 493928(2300/491628)
Mar 13, 2019 1:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/1324) took 2872207 ms. Total solver calls (SAT/UNSAT): 495651(2300/493351)
Mar 13, 2019 1:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(463/1324) took 2882948 ms. Total solver calls (SAT/UNSAT): 496511(2300/494211)
Mar 13, 2019 1:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(466/1324) took 2887041 ms. Total solver calls (SAT/UNSAT): 499085(2300/496785)
Mar 13, 2019 1:41:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(468/1324) took 2893451 ms. Total solver calls (SAT/UNSAT): 500796(2300/498496)
Mar 13, 2019 1:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(470/1324) took 2897505 ms. Total solver calls (SAT/UNSAT): 502503(2300/500203)
Mar 13, 2019 1:41:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(473/1324) took 2901853 ms. Total solver calls (SAT/UNSAT): 505056(2300/502756)
Mar 13, 2019 1:41:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/1324) took 2905007 ms. Total solver calls (SAT/UNSAT): 508446(2300/506146)
Mar 13, 2019 1:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/1324) took 2911481 ms. Total solver calls (SAT/UNSAT): 510978(2300/508678)
Mar 13, 2019 1:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/1324) took 2916846 ms. Total solver calls (SAT/UNSAT): 512661(2300/510361)
Mar 13, 2019 1:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(485/1324) took 2920916 ms. Total solver calls (SAT/UNSAT): 515178(2300/512878)
Mar 13, 2019 1:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/1324) took 2925129 ms. Total solver calls (SAT/UNSAT): 518520(2300/516220)
Mar 13, 2019 1:42:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(491/1324) took 2930430 ms. Total solver calls (SAT/UNSAT): 520185(2300/517885)
Mar 13, 2019 1:42:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/1324) took 2934792 ms. Total solver calls (SAT/UNSAT): 524330(2300/522030)
Mar 13, 2019 1:42:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/1324) took 2938094 ms. Total solver calls (SAT/UNSAT): 525981(2300/523681)
Mar 13, 2019 1:42:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/1324) took 2942443 ms. Total solver calls (SAT/UNSAT): 526805(2300/524505)
Mar 13, 2019 1:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(501/1324) took 2947007 ms. Total solver calls (SAT/UNSAT): 528450(2300/526150)
Mar 13, 2019 1:42:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(504/1324) took 2953709 ms. Total solver calls (SAT/UNSAT): 530910(2300/528610)
Mar 13, 2019 1:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/1324) took 2957328 ms. Total solver calls (SAT/UNSAT): 532545(2300/530245)
Mar 13, 2019 1:42:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/1324) took 2960690 ms. Total solver calls (SAT/UNSAT): 534176(2300/531876)
Mar 13, 2019 1:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(511/1324) took 2964776 ms. Total solver calls (SAT/UNSAT): 536615(2300/534315)
Mar 13, 2019 1:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(513/1324) took 2969145 ms. Total solver calls (SAT/UNSAT): 538236(2300/535936)
Mar 13, 2019 1:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(515/1324) took 2974500 ms. Total solver calls (SAT/UNSAT): 539853(2300/537553)
Mar 13, 2019 1:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(517/1324) took 2977844 ms. Total solver calls (SAT/UNSAT): 541466(2300/539166)
Mar 13, 2019 1:42:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(521/1324) took 2981520 ms. Total solver calls (SAT/UNSAT): 544680(2300/542380)
Mar 13, 2019 1:42:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(523/1324) took 2985237 ms. Total solver calls (SAT/UNSAT): 546281(2300/543981)
Mar 13, 2019 1:43:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/1324) took 2990031 ms. Total solver calls (SAT/UNSAT): 547080(2300/544780)
Mar 13, 2019 1:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/1324) took 2994589 ms. Total solver calls (SAT/UNSAT): 549471(2300/547171)
Mar 13, 2019 1:43:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/1324) took 2997932 ms. Total solver calls (SAT/UNSAT): 551853(2300/549553)
Mar 13, 2019 1:43:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(533/1324) took 3006536 ms. Total solver calls (SAT/UNSAT): 554226(2300/551926)
Mar 13, 2019 1:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/1324) took 3011454 ms. Total solver calls (SAT/UNSAT): 557376(2300/555076)
Mar 13, 2019 1:43:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/1324) took 3015190 ms. Total solver calls (SAT/UNSAT): 558945(2300/556645)
Mar 13, 2019 1:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(541/1324) took 3022588 ms. Total solver calls (SAT/UNSAT): 560510(2300/558210)
Mar 13, 2019 1:43:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/1324) took 3030791 ms. Total solver calls (SAT/UNSAT): 562071(2300/559771)
Mar 13, 2019 1:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(546/1324) took 3036729 ms. Total solver calls (SAT/UNSAT): 564405(2300/562105)
Mar 13, 2019 1:43:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(548/1324) took 3047796 ms. Total solver calls (SAT/UNSAT): 565956(2300/563656)
Mar 13, 2019 1:44:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(551/1324) took 3051115 ms. Total solver calls (SAT/UNSAT): 568275(2300/565975)
Mar 13, 2019 1:44:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(554/1324) took 3055503 ms. Total solver calls (SAT/UNSAT): 570585(2300/568285)
Mar 13, 2019 1:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/1324) took 3062083 ms. Total solver calls (SAT/UNSAT): 573651(2300/571351)
Mar 13, 2019 1:44:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/1324) took 3066924 ms. Total solver calls (SAT/UNSAT): 575178(2300/572878)
Mar 13, 2019 1:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(562/1324) took 3073185 ms. Total solver calls (SAT/UNSAT): 576701(2300/574401)
Mar 13, 2019 1:44:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(564/1324) took 3077616 ms. Total solver calls (SAT/UNSAT): 578220(2300/575920)
Mar 13, 2019 1:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/1324) took 3081637 ms. Total solver calls (SAT/UNSAT): 579735(2300/577435)
Mar 13, 2019 1:44:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(569/1324) took 3089462 ms. Total solver calls (SAT/UNSAT): 582000(2300/579700)
Mar 13, 2019 1:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/1324) took 3093740 ms. Total solver calls (SAT/UNSAT): 583505(2300/581205)
Mar 13, 2019 1:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(572/1324) took 3098183 ms. Total solver calls (SAT/UNSAT): 584256(2300/581956)
Mar 13, 2019 1:44:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(574/1324) took 3103498 ms. Total solver calls (SAT/UNSAT): 585755(2300/583455)
Mar 13, 2019 1:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/1324) took 3107252 ms. Total solver calls (SAT/UNSAT): 587996(2300/585696)
Mar 13, 2019 1:45:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/1324) took 3110586 ms. Total solver calls (SAT/UNSAT): 589485(2300/587185)
Mar 13, 2019 1:45:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(582/1324) took 3114739 ms. Total solver calls (SAT/UNSAT): 591711(2300/589411)
Mar 13, 2019 1:45:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(584/1324) took 3117992 ms. Total solver calls (SAT/UNSAT): 593190(2300/590890)
Mar 13, 2019 1:45:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(586/1324) took 3121128 ms. Total solver calls (SAT/UNSAT): 594665(2300/592365)
Mar 13, 2019 1:45:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(587/1324) took 3124247 ms. Total solver calls (SAT/UNSAT): 595401(2300/593101)
Mar 13, 2019 1:45:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/1324) took 3128677 ms. Total solver calls (SAT/UNSAT): 596870(2300/594570)
Mar 13, 2019 1:45:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(592/1324) took 3132032 ms. Total solver calls (SAT/UNSAT): 599066(2300/596766)
Mar 13, 2019 1:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/1324) took 3135047 ms. Total solver calls (SAT/UNSAT): 600525(2300/598225)
Mar 13, 2019 1:45:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(597/1324) took 3138681 ms. Total solver calls (SAT/UNSAT): 602706(2300/600406)
Mar 13, 2019 1:45:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(599/1324) took 3143558 ms. Total solver calls (SAT/UNSAT): 604155(2300/601855)
Mar 13, 2019 1:45:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(602/1324) took 3147162 ms. Total solver calls (SAT/UNSAT): 606321(2300/604021)
Mar 13, 2019 1:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(603/1324) took 3150177 ms. Total solver calls (SAT/UNSAT): 607041(2300/604741)
Mar 13, 2019 1:45:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/1324) took 3153582 ms. Total solver calls (SAT/UNSAT): 607760(2300/605460)
Mar 13, 2019 1:45:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/1324) took 3159282 ms. Total solver calls (SAT/UNSAT): 609195(2300/606895)
Mar 13, 2019 1:45:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(607/1324) took 3162632 ms. Total solver calls (SAT/UNSAT): 609911(2300/607611)
Mar 13, 2019 1:45:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(610/1324) took 3166169 ms. Total solver calls (SAT/UNSAT): 612053(2300/609753)
Mar 13, 2019 1:45:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(613/1324) took 3169387 ms. Total solver calls (SAT/UNSAT): 614186(2300/611886)
Mar 13, 2019 1:46:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(617/1324) took 3172907 ms. Total solver calls (SAT/UNSAT): 617016(2300/614716)
Mar 13, 2019 1:46:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(618/1324) took 3176457 ms. Total solver calls (SAT/UNSAT): 617721(2300/615421)
Mar 13, 2019 1:46:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(620/1324) took 3180016 ms. Total solver calls (SAT/UNSAT): 619128(2300/616828)
Mar 13, 2019 1:46:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/1324) took 3183287 ms. Total solver calls (SAT/UNSAT): 619830(2300/617530)
Mar 13, 2019 1:46:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(623/1324) took 3186518 ms. Total solver calls (SAT/UNSAT): 621231(2300/618931)
Mar 13, 2019 1:46:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(626/1324) took 3190972 ms. Total solver calls (SAT/UNSAT): 623325(2300/621025)
Mar 13, 2019 1:46:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(630/1324) took 3194420 ms. Total solver calls (SAT/UNSAT): 626103(2300/623803)
Mar 13, 2019 1:46:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(633/1324) took 3199721 ms. Total solver calls (SAT/UNSAT): 628176(2300/625876)
Mar 13, 2019 1:46:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(636/1324) took 3203477 ms. Total solver calls (SAT/UNSAT): 630240(2300/627940)
Mar 13, 2019 1:46:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/1324) took 3207759 ms. Total solver calls (SAT/UNSAT): 630926(2300/628626)
Mar 13, 2019 1:46:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(639/1324) took 3211001 ms. Total solver calls (SAT/UNSAT): 632295(2300/629995)
Mar 13, 2019 1:46:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/1324) took 3217582 ms. Total solver calls (SAT/UNSAT): 632978(2300/630678)
Mar 13, 2019 1:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(643/1324) took 3221524 ms. Total solver calls (SAT/UNSAT): 635021(2300/632721)
Mar 13, 2019 1:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(645/1324) took 3224781 ms. Total solver calls (SAT/UNSAT): 636378(2300/634078)
Mar 13, 2019 1:46:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(647/1324) took 3228007 ms. Total solver calls (SAT/UNSAT): 637731(2300/635431)
Mar 13, 2019 1:47:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(650/1324) took 3233414 ms. Total solver calls (SAT/UNSAT): 639753(2300/637453)
Mar 13, 2019 1:47:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(652/1324) took 3236495 ms. Total solver calls (SAT/UNSAT): 641096(2300/638796)
Mar 13, 2019 1:47:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(655/1324) took 3240263 ms. Total solver calls (SAT/UNSAT): 643103(2300/640803)
Mar 13, 2019 1:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(659/1324) took 3243302 ms. Total solver calls (SAT/UNSAT): 645765(2300/643465)
Mar 13, 2019 1:47:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(662/1324) took 3249229 ms. Total solver calls (SAT/UNSAT): 647751(2300/645451)
Mar 13, 2019 1:47:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(665/1324) took 3253168 ms. Total solver calls (SAT/UNSAT): 649728(2300/647428)
Mar 13, 2019 1:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(668/1324) took 3257376 ms. Total solver calls (SAT/UNSAT): 651696(2300/649396)
Mar 13, 2019 1:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(672/1324) took 3261225 ms. Total solver calls (SAT/UNSAT): 654306(2300/652006)
Mar 13, 2019 1:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(673/1324) took 3264490 ms. Total solver calls (SAT/UNSAT): 654956(2300/652656)
Mar 13, 2019 1:47:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(677/1324) took 3268278 ms. Total solver calls (SAT/UNSAT): 657546(2300/655246)
Mar 13, 2019 1:47:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(679/1324) took 3272795 ms. Total solver calls (SAT/UNSAT): 658835(2300/656535)
Mar 13, 2019 1:47:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(682/1324) took 3277631 ms. Total solver calls (SAT/UNSAT): 660761(2300/658461)
Mar 13, 2019 1:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(685/1324) took 3281586 ms. Total solver calls (SAT/UNSAT): 662678(2300/660378)
Mar 13, 2019 1:47:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(688/1324) took 3284998 ms. Total solver calls (SAT/UNSAT): 664586(2300/662286)
Mar 13, 2019 1:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(691/1324) took 3289263 ms. Total solver calls (SAT/UNSAT): 666485(2300/664185)
Mar 13, 2019 1:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(692/1324) took 3292852 ms. Total solver calls (SAT/UNSAT): 667116(2300/664816)
Mar 13, 2019 1:48:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(695/1324) took 3299208 ms. Total solver calls (SAT/UNSAT): 669003(2300/666703)
Mar 13, 2019 1:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(700/1324) took 3303301 ms. Total solver calls (SAT/UNSAT): 672128(2300/669828)
Mar 13, 2019 1:48:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(703/1324) took 3308060 ms. Total solver calls (SAT/UNSAT): 673991(2300/671691)
Mar 13, 2019 1:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(704/1324) took 3311810 ms. Total solver calls (SAT/UNSAT): 674610(2300/672310)
Mar 13, 2019 1:48:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(706/1324) took 3315825 ms. Total solver calls (SAT/UNSAT): 675845(2300/673545)
Mar 13, 2019 1:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(709/1324) took 3318992 ms. Total solver calls (SAT/UNSAT): 677690(2300/675390)
Mar 13, 2019 1:48:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(712/1324) took 3323290 ms. Total solver calls (SAT/UNSAT): 679526(2300/677226)
Mar 13, 2019 1:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(714/1324) took 3328125 ms. Total solver calls (SAT/UNSAT): 680745(2300/678445)
Mar 13, 2019 1:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(717/1324) took 3333330 ms. Total solver calls (SAT/UNSAT): 682566(2300/680266)
Mar 13, 2019 1:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(718/1324) took 3336689 ms. Total solver calls (SAT/UNSAT): 683171(2300/680871)
Mar 13, 2019 1:48:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(720/1324) took 3340180 ms. Total solver calls (SAT/UNSAT): 684378(2300/682078)
Mar 13, 2019 1:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(722/1324) took 3344835 ms. Total solver calls (SAT/UNSAT): 685581(2300/683281)
Mar 13, 2019 1:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(725/1324) took 3349892 ms. Total solver calls (SAT/UNSAT): 687378(2300/685078)
Mar 13, 2019 1:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(729/1324) took 3353095 ms. Total solver calls (SAT/UNSAT): 689760(2300/687460)
Mar 13, 2019 1:49:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(733/1324) took 3356648 ms. Total solver calls (SAT/UNSAT): 692126(2300/689826)
Mar 13, 2019 1:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/1324) took 3360848 ms. Total solver calls (SAT/UNSAT): 692715(2300/690415)
Mar 13, 2019 1:49:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(736/1324) took 3365908 ms. Total solver calls (SAT/UNSAT): 693890(2300/691590)
Mar 13, 2019 1:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(738/1324) took 3370039 ms. Total solver calls (SAT/UNSAT): 695061(2300/692761)
Mar 13, 2019 1:49:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(740/1324) took 3375392 ms. Total solver calls (SAT/UNSAT): 696228(2300/693928)
Mar 13, 2019 1:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(741/1324) took 3380897 ms. Total solver calls (SAT/UNSAT): 696810(2300/694510)
Mar 13, 2019 1:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(744/1324) took 3386337 ms. Total solver calls (SAT/UNSAT): 698550(2300/696250)
Mar 13, 2019 1:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(746/1324) took 3389822 ms. Total solver calls (SAT/UNSAT): 699705(2300/697405)
Mar 13, 2019 1:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(748/1324) took 3393745 ms. Total solver calls (SAT/UNSAT): 700856(2300/698556)
Mar 13, 2019 1:49:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(751/1324) took 3397743 ms. Total solver calls (SAT/UNSAT): 702575(2300/700275)
Mar 13, 2019 1:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(755/1324) took 3401537 ms. Total solver calls (SAT/UNSAT): 704853(2300/702553)
Mar 13, 2019 1:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(758/1324) took 3406561 ms. Total solver calls (SAT/UNSAT): 706551(2300/704251)
Mar 13, 2019 1:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(761/1324) took 3410019 ms. Total solver calls (SAT/UNSAT): 708240(2300/705940)
Mar 13, 2019 1:50:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(763/1324) took 3413399 ms. Total solver calls (SAT/UNSAT): 709361(2300/707061)
Mar 13, 2019 1:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(765/1324) took 3417607 ms. Total solver calls (SAT/UNSAT): 710478(2300/708178)
Mar 13, 2019 1:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/1324) took 3420746 ms. Total solver calls (SAT/UNSAT): 713253(2300/710953)
Mar 13, 2019 1:50:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(774/1324) took 3424062 ms. Total solver calls (SAT/UNSAT): 715455(2300/713155)
Mar 13, 2019 1:50:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(777/1324) took 3428745 ms. Total solver calls (SAT/UNSAT): 717096(2300/714796)
Mar 13, 2019 1:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(781/1324) took 3433484 ms. Total solver calls (SAT/UNSAT): 719270(2300/716970)
Mar 13, 2019 1:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(783/1324) took 3436733 ms. Total solver calls (SAT/UNSAT): 720351(2300/718051)
Mar 13, 2019 1:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(784/1324) took 3441049 ms. Total solver calls (SAT/UNSAT): 720890(2300/718590)
Mar 13, 2019 1:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(788/1324) took 3446799 ms. Total solver calls (SAT/UNSAT): 723036(2300/720736)
Mar 13, 2019 1:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(791/1324) took 3451031 ms. Total solver calls (SAT/UNSAT): 724635(2300/722335)
Mar 13, 2019 1:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(794/1324) took 3456416 ms. Total solver calls (SAT/UNSAT): 726225(2300/723925)
Mar 13, 2019 1:50:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(798/1324) took 3462174 ms. Total solver calls (SAT/UNSAT): 728331(2300/726031)
Mar 13, 2019 1:50:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(801/1324) took 3466296 ms. Total solver calls (SAT/UNSAT): 729900(2300/727600)
Mar 13, 2019 1:51:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(803/1324) took 3470995 ms. Total solver calls (SAT/UNSAT): 730941(2300/728641)
Mar 13, 2019 1:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(806/1324) took 3475782 ms. Total solver calls (SAT/UNSAT): 732495(2300/730195)
Mar 13, 2019 1:51:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(807/1324) took 3479971 ms. Total solver calls (SAT/UNSAT): 733011(2300/730711)
Mar 13, 2019 1:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(810/1324) took 3484914 ms. Total solver calls (SAT/UNSAT): 734553(2300/732253)
Mar 13, 2019 1:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(812/1324) took 3489082 ms. Total solver calls (SAT/UNSAT): 735576(2300/733276)
Mar 13, 2019 1:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(813/1324) took 3492207 ms. Total solver calls (SAT/UNSAT): 736086(2300/733786)
Mar 13, 2019 1:51:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(814/1324) took 3495281 ms. Total solver calls (SAT/UNSAT): 736595(2300/734295)
Mar 13, 2019 1:51:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(817/1324) took 3498724 ms. Total solver calls (SAT/UNSAT): 738116(2300/735816)
Mar 13, 2019 1:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(819/1324) took 3501946 ms. Total solver calls (SAT/UNSAT): 739125(2300/736825)
Mar 13, 2019 1:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(824/1324) took 3505633 ms. Total solver calls (SAT/UNSAT): 741630(2300/739330)
Mar 13, 2019 1:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(826/1324) took 3509133 ms. Total solver calls (SAT/UNSAT): 742625(2300/740325)
Mar 13, 2019 1:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(830/1324) took 3512873 ms. Total solver calls (SAT/UNSAT): 744603(2300/742303)
Mar 13, 2019 1:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(832/1324) took 3517438 ms. Total solver calls (SAT/UNSAT): 745586(2300/743286)
Mar 13, 2019 1:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(834/1324) took 3524508 ms. Total solver calls (SAT/UNSAT): 746565(2300/744265)
Mar 13, 2019 1:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(839/1324) took 3527915 ms. Total solver calls (SAT/UNSAT): 748995(2300/746695)
Mar 13, 2019 1:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(843/1324) took 3532553 ms. Total solver calls (SAT/UNSAT): 750921(2300/748621)
Mar 13, 2019 1:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(845/1324) took 3536807 ms. Total solver calls (SAT/UNSAT): 751878(2300/749578)
Mar 13, 2019 1:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(846/1324) took 3539823 ms. Total solver calls (SAT/UNSAT): 752355(2300/750055)
Mar 13, 2019 1:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(850/1324) took 3543959 ms. Total solver calls (SAT/UNSAT): 754253(2300/751953)
Mar 13, 2019 1:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(852/1324) took 3550118 ms. Total solver calls (SAT/UNSAT): 755196(2300/752896)
Mar 13, 2019 1:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(855/1324) took 3554217 ms. Total solver calls (SAT/UNSAT): 756603(2300/754303)
Mar 13, 2019 1:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(856/1324) took 3561642 ms. Total solver calls (SAT/UNSAT): 757070(2300/754770)
Mar 13, 2019 1:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(858/1324) took 3564842 ms. Total solver calls (SAT/UNSAT): 758001(2300/755701)
Mar 13, 2019 1:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(861/1324) took 3568041 ms. Total solver calls (SAT/UNSAT): 759390(2300/757090)
Mar 13, 2019 1:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(864/1324) took 3571169 ms. Total solver calls (SAT/UNSAT): 760770(2300/758470)
Mar 13, 2019 1:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(870/1324) took 3574246 ms. Total solver calls (SAT/UNSAT): 763503(2300/761203)
Mar 13, 2019 1:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(871/1324) took 3578137 ms. Total solver calls (SAT/UNSAT): 763955(2300/761655)
Mar 13, 2019 1:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(873/1324) took 3583177 ms. Total solver calls (SAT/UNSAT): 764856(2300/762556)
Mar 13, 2019 1:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(875/1324) took 3588272 ms. Total solver calls (SAT/UNSAT): 765753(2300/763453)

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-COL-V50P20N10, 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 r019-csrt-155225080300390"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P20N10.tgz
mv BridgeAndVehicles-COL-V50P20N10 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 ;