About the Execution of ITS-Tools.M for PhaseVariation-PT-D05CS100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14125.890 | 3600000.00 | 9948880.00 | 608.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r197-oct2-155272231200610.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
Input is PhaseVariation-PT-D05CS100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r197-oct2-155272231200610
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 808K
-rw-r--r-- 1 mcc users 4.6K Feb 12 04:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 12 04:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 8 03:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 8 03:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 00:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 08:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 08:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 1 02:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 02:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 9 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 633K 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 PhaseVariation-PT-D05CS100-LTLFireability-00
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-01
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-02
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-03
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-04
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-05
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-06
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-07
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-08
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-09
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-10
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-11
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-12
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-13
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-14
FORMULA_NAME PhaseVariation-PT-D05CS100-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1553675978821
Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord
Read 16 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((("(((pool__2_4_>=1)&&(cell___1_5__A_>=1))&&(run_dot>=1))")U(F(G(X("(((pool__4_1_>=1)&&(cell___4_1__A_>=1))&&(run_dot>=1))"))))))
Formula 0 simplified : !("(((pool__2_4_>=1)&&(cell___1_5__A_>=1))&&(run_dot>=1))" U FGX"(((pool__4_1_>=1)&&(cell___4_1__A_>=1))&&(run_dot>=1))")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 51
// Phase 1: matrix 51 rows 77 cols
invariant :cell___4_4__A_ + cell___4_4__B_ + pool__4_4_ = 5
invariant :cell___1_3__A_ + cell___1_3__B_ + pool__1_3_ = 5
invariant :cell___5_4__A_ + cell___5_4__B_ + pool__5_4_ = 5
invariant :cell___3_4__A_ + cell___3_4__B_ + pool__3_4_ = 5
invariant :cell___5_1__A_ + cell___5_1__B_ + pool__5_1_ = 5
invariant :cell___1_4__A_ + cell___1_4__B_ + pool__1_4_ = 5
invariant :pool__1_1_ + pool__1_2_ + pool__1_3_ + pool__1_4_ + pool__1_5_ + pool__2_1_ + pool__2_2_ + pool__2_3_ + pool__2_4_ + pool__2_5_ + pool__3_1_ + pool__3_2_ + pool__3_3_ + pool__3_4_ + pool__3_5_ + pool__4_1_ + pool__4_2_ + pool__4_3_ + pool__4_4_ + pool__4_5_ + pool__5_1_ + pool__5_2_ + pool__5_3_ + pool__5_4_ + pool__5_5_ + size_dot = 125
invariant :cell___5_3__A_ + cell___5_3__B_ + pool__5_3_ = 5
invariant :cell___3_5__A_ + cell___3_5__B_ + pool__3_5_ = 5
invariant :cell___3_2__A_ + cell___3_2__B_ + pool__3_2_ = 5
invariant :cell___5_5__A_ + cell___5_5__B_ + pool__5_5_ = 5
invariant :cell___2_4__A_ + cell___2_4__B_ + pool__2_4_ = 5
invariant :cell___2_1__A_ + cell___2_1__B_ + pool__2_1_ = 5
invariant :cell___1_2__A_ + cell___1_2__B_ + pool__1_2_ = 5
invariant :cell___2_5__A_ + cell___2_5__B_ + pool__2_5_ = 5
invariant :cell___4_5__A_ + cell___4_5__B_ + pool__4_5_ = 5
invariant :cell___2_3__A_ + cell___2_3__B_ + pool__2_3_ = 5
invariant :cell___4_3__A_ + cell___4_3__B_ + pool__4_3_ = 5
invariant :cell___3_3__A_ + cell___3_3__B_ + pool__3_3_ = 5
invariant :cell___5_2__A_ + cell___5_2__B_ + pool__5_2_ = 5
invariant :cell___1_5__A_ + cell___1_5__B_ + pool__1_5_ = 5
invariant :cell___4_2__A_ + cell___4_2__B_ + pool__4_2_ = 5
invariant :cell___3_1__A_ + cell___3_1__B_ + pool__3_1_ = 5
invariant :cell___1_1__A_ + cell___1_1__B_ + -1'pool__1_2_ + -1'pool__1_3_ + -1'pool__1_4_ + -1'pool__1_5_ + -1'pool__2_1_ + -1'pool__2_2_ + -1'pool__2_3_ + -1'pool__2_4_ + -1'pool__2_5_ + -1'pool__3_1_ + -1'pool__3_2_ + -1'pool__3_3_ + -1'pool__3_4_ + -1'pool__3_5_ + -1'pool__4_1_ + -1'pool__4_2_ + -1'pool__4_3_ + -1'pool__4_4_ + -1'pool__4_5_ + -1'pool__5_1_ + -1'pool__5_2_ + -1'pool__5_3_ + -1'pool__5_4_ + -1'pool__5_5_ + -1'size_dot = -120
invariant :cell___2_2__A_ + cell___2_2__B_ + pool__2_2_ = 5
invariant :cell___4_1__A_ + cell___4_1__B_ + pool__4_1_ = 5
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((("(((pool__2_4_>=1)&&(cell___1_5__A_>=1))&&(run_dot>=1))")U(F(G(X("(((pool__4_1_>=1)&&(cell___4_1__A_>=1))&&(run_dot>=1))"))))))
Formula 0 simplified : !("(((pool__2_4_>=1)&&(cell___1_5__A_>=1))&&(run_dot>=1))" U FGX"(((pool__4_1_>=1)&&(cell___4_1__A_>=1))&&(run_dot>=1))")
Reverse transition relation is NOT exact ! Due to transitions division2_mutate_1_3_A_1_2, division2_mutate_1_3_A_1_4, division2_mutate_1_3_A_2_2, division2_mutate_1_3_A_2_4, division2_mutate_1_3_B_1_2, division2_mutate_1_3_B_1_4, division2_mutate_1_3_B_2_2, division2_mutate_1_3_B_2_4, division2_mutate_1_4_A_1_3, division2_mutate_1_4_A_1_5, division2_mutate_1_4_A_2_3, division2_mutate_1_4_A_2_5, division2_mutate_1_4_B_1_3, division2_mutate_1_4_B_1_5, division2_mutate_1_4_B_2_3, division2_mutate_1_4_B_2_5, division2_mutate_2_3_A_1_2, division2_mutate_2_3_A_1_3, division2_mutate_2_3_A_1_4, division2_mutate_2_3_A_2_2, division2_mutate_2_3_A_2_4, division2_mutate_2_3_A_3_2, division2_mutate_2_3_A_3_3, division2_mutate_2_3_A_3_4, division2_mutate_2_3_B_1_2, division2_mutate_2_3_B_1_3, division2_mutate_2_3_B_1_4, division2_mutate_2_3_B_2_2, division2_mutate_2_3_B_2_4, division2_mutate_2_3_B_3_2, division2_mutate_2_3_B_3_3, division2_mutate_2_3_B_3_4, division2_mutate_2_4_A_1_3, division2_mutate_2_4_A_1_4, division2_mutate_2_4_A_1_5, division2_mutate_2_4_A_2_3, division2_mutate_2_4_A_2_5, division2_mutate_2_4_A_3_3, division2_mutate_2_4_A_3_4, division2_mutate_2_4_A_3_5, division2_mutate_2_4_B_1_3, division2_mutate_2_4_B_1_4, division2_mutate_2_4_B_1_5, division2_mutate_2_4_B_2_3, division2_mutate_2_4_B_2_5, division2_mutate_2_4_B_3_3, division2_mutate_2_4_B_3_4, division2_mutate_2_4_B_3_5, division2_mutate_2_5_A_1_4, division2_mutate_2_5_A_1_5, division2_mutate_2_5_A_3_4, division2_mutate_2_5_A_3_5, division2_mutate_2_5_B_1_4, division2_mutate_2_5_B_1_5, division2_mutate_2_5_B_3_4, division2_mutate_2_5_B_3_5, division2_mutate_3_1_A_2_1, division2_mutate_3_1_A_2_2, division2_mutate_3_1_A_4_1, division2_mutate_3_1_A_4_2, division2_mutate_3_1_B_2_1, division2_mutate_3_1_B_2_2, division2_mutate_3_1_B_4_1, division2_mutate_3_1_B_4_2, division2_mutate_3_2_A_2_1, division2_mutate_3_2_A_2_2, division2_mutate_3_2_A_2_3, division2_mutate_3_2_A_3_1, division2_mutate_3_2_A_3_3, division2_mutate_3_2_A_4_1, division2_mutate_3_2_A_4_2, division2_mutate_3_2_A_4_3, division2_mutate_3_2_B_2_1, division2_mutate_3_2_B_2_2, division2_mutate_3_2_B_2_3, division2_mutate_3_2_B_3_1, division2_mutate_3_2_B_3_3, division2_mutate_3_2_B_4_1, division2_mutate_3_2_B_4_2, division2_mutate_3_2_B_4_3, division2_mutate_3_3_A_2_2, division2_mutate_3_3_A_2_3, division2_mutate_3_3_A_2_4, division2_mutate_3_3_A_3_2, division2_mutate_3_3_A_3_4, division2_mutate_3_3_A_4_2, division2_mutate_3_3_A_4_3, division2_mutate_3_3_A_4_4, division2_mutate_3_3_B_2_2, division2_mutate_3_3_B_2_3, division2_mutate_3_3_B_2_4, division2_mutate_3_3_B_3_2, division2_mutate_3_3_B_3_4, division2_mutate_3_3_B_4_2, division2_mutate_3_3_B_4_3, division2_mutate_3_3_B_4_4, division2_mutate_3_4_A_2_3, division2_mutate_3_4_A_2_4, division2_mutate_3_4_A_2_5, division2_mutate_3_4_A_3_3, division2_mutate_3_4_A_3_5, division2_mutate_3_4_A_4_3, division2_mutate_3_4_A_4_4, division2_mutate_3_4_A_4_5, division2_mutate_3_4_B_2_3, division2_mutate_3_4_B_2_4, division2_mutate_3_4_B_2_5, division2_mutate_3_4_B_3_3, division2_mutate_3_4_B_3_5, division2_mutate_3_4_B_4_3, division2_mutate_3_4_B_4_4, division2_mutate_3_4_B_4_5, division2_mutate_3_5_A_2_4, division2_mutate_3_5_A_2_5, division2_mutate_3_5_A_4_4, division2_mutate_3_5_A_4_5, division2_mutate_3_5_B_2_4, division2_mutate_3_5_B_2_5, division2_mutate_3_5_B_4_4, division2_mutate_3_5_B_4_5, division2_mutate_4_1_A_3_1, division2_mutate_4_1_A_3_2, division2_mutate_4_1_A_5_1, division2_mutate_4_1_A_5_2, division2_mutate_4_1_B_3_1, division2_mutate_4_1_B_3_2, division2_mutate_4_1_B_5_1, division2_mutate_4_1_B_5_2, division2_mutate_4_2_A_3_1, division2_mutate_4_2_A_3_2, division2_mutate_4_2_A_3_3, division2_mutate_4_2_A_4_1, division2_mutate_4_2_A_4_3, division2_mutate_4_2_A_5_1, division2_mutate_4_2_A_5_2, division2_mutate_4_2_A_5_3, division2_mutate_4_2_B_3_1, division2_mutate_4_2_B_3_2, division2_mutate_4_2_B_3_3, division2_mutate_4_2_B_4_1, division2_mutate_4_2_B_4_3, division2_mutate_4_2_B_5_1, division2_mutate_4_2_B_5_2, division2_mutate_4_2_B_5_3, division2_mutate_4_3_A_3_2, division2_mutate_4_3_A_3_3, division2_mutate_4_3_A_3_4, division2_mutate_4_3_A_4_2, division2_mutate_4_3_A_4_4, division2_mutate_4_3_A_5_2, division2_mutate_4_3_A_5_3, division2_mutate_4_3_A_5_4, division2_mutate_4_3_B_3_2, division2_mutate_4_3_B_3_3, division2_mutate_4_3_B_3_4, division2_mutate_4_3_B_4_2, division2_mutate_4_3_B_4_4, division2_mutate_4_3_B_5_2, division2_mutate_4_3_B_5_3, division2_mutate_4_3_B_5_4, division2_mutate_4_4_A_3_3, division2_mutate_4_4_A_3_4, division2_mutate_4_4_A_3_5, division2_mutate_4_4_A_4_3, division2_mutate_4_4_A_4_5, division2_mutate_4_4_A_5_3, division2_mutate_4_4_A_5_4, division2_mutate_4_4_A_5_5, division2_mutate_4_4_B_3_3, division2_mutate_4_4_B_3_4, division2_mutate_4_4_B_3_5, division2_mutate_4_4_B_4_3, division2_mutate_4_4_B_4_5, division2_mutate_4_4_B_5_3, division2_mutate_4_4_B_5_4, division2_mutate_4_4_B_5_5, division2_mutate_4_5_A_3_4, division2_mutate_4_5_A_3_5, division2_mutate_4_5_A_5_4, division2_mutate_4_5_A_5_5, division2_mutate_4_5_B_3_4, division2_mutate_4_5_B_3_5, division2_mutate_4_5_B_5_4, division2_mutate_4_5_B_5_5, division2_mutate_5_2_A_4_1, division2_mutate_5_2_A_4_3, division2_mutate_5_2_A_5_1, division2_mutate_5_2_A_5_3, division2_mutate_5_2_B_4_1, division2_mutate_5_2_B_4_3, division2_mutate_5_2_B_5_1, division2_mutate_5_2_B_5_3, division2_mutate_5_3_A_4_2, division2_mutate_5_3_A_4_4, division2_mutate_5_3_A_5_2, division2_mutate_5_3_A_5_4, division2_mutate_5_3_B_4_2, division2_mutate_5_3_B_4_4, division2_mutate_5_3_B_5_2, division2_mutate_5_3_B_5_4, division2_mutate_5_4_A_4_3, division2_mutate_5_4_A_4_5, division2_mutate_5_4_A_5_3, division2_mutate_5_4_A_5_5, division2_mutate_5_4_B_4_3, division2_mutate_5_4_B_4_5, division2_mutate_5_4_B_5_3, division2_mutate_5_4_B_5_5, division2_replicate_1_3_A_1_2, division2_replicate_1_3_A_1_4, division2_replicate_1_3_A_2_2, division2_replicate_1_3_A_2_4, division2_replicate_1_3_B_1_2, division2_replicate_1_3_B_1_4, division2_replicate_1_3_B_2_2, division2_replicate_1_3_B_2_4, division2_replicate_1_4_A_1_3, division2_replicate_1_4_A_1_5, division2_replicate_1_4_A_2_3, division2_replicate_1_4_A_2_5, division2_replicate_1_4_B_1_3, division2_replicate_1_4_B_1_5, division2_replicate_1_4_B_2_3, division2_replicate_1_4_B_2_5, division2_replicate_2_3_A_1_2, division2_replicate_2_3_A_1_3, division2_replicate_2_3_A_1_4, division2_replicate_2_3_A_2_2, division2_replicate_2_3_A_2_4, division2_replicate_2_3_A_3_2, division2_replicate_2_3_A_3_3, division2_replicate_2_3_A_3_4, division2_replicate_2_3_B_1_2, division2_replicate_2_3_B_1_3, division2_replicate_2_3_B_1_4, division2_replicate_2_3_B_2_2, division2_replicate_2_3_B_2_4, division2_replicate_2_3_B_3_2, division2_replicate_2_3_B_3_3, division2_replicate_2_3_B_3_4, division2_replicate_2_4_A_1_3, division2_replicate_2_4_A_1_4, division2_replicate_2_4_A_1_5, division2_replicate_2_4_A_2_3, division2_replicate_2_4_A_2_5, division2_replicate_2_4_A_3_3, division2_replicate_2_4_A_3_4, division2_replicate_2_4_A_3_5, division2_replicate_2_4_B_1_3, division2_replicate_2_4_B_1_4, division2_replicate_2_4_B_1_5, division2_replicate_2_4_B_2_3, division2_replicate_2_4_B_2_5, division2_replicate_2_4_B_3_3, division2_replicate_2_4_B_3_4, division2_replicate_2_4_B_3_5, division2_replicate_2_5_A_1_4, division2_replicate_2_5_A_1_5, division2_replicate_2_5_A_3_4, division2_replicate_2_5_A_3_5, division2_replicate_2_5_B_1_4, division2_replicate_2_5_B_1_5, division2_replicate_2_5_B_3_4, division2_replicate_2_5_B_3_5, division2_replicate_3_1_A_2_1, division2_replicate_3_1_A_2_2, division2_replicate_3_1_A_4_1, division2_replicate_3_1_A_4_2, division2_replicate_3_1_B_2_1, division2_replicate_3_1_B_2_2, division2_replicate_3_1_B_4_1, division2_replicate_3_1_B_4_2, division2_replicate_3_2_A_2_1, division2_replicate_3_2_A_2_2, division2_replicate_3_2_A_2_3, division2_replicate_3_2_A_3_1, division2_replicate_3_2_A_3_3, division2_replicate_3_2_A_4_1, division2_replicate_3_2_A_4_2, division2_replicate_3_2_A_4_3, division2_replicate_3_2_B_2_1, division2_replicate_3_2_B_2_2, division2_replicate_3_2_B_2_3, division2_replicate_3_2_B_3_1, division2_replicate_3_2_B_3_3, division2_replicate_3_2_B_4_1, division2_replicate_3_2_B_4_2, division2_replicate_3_2_B_4_3, division2_replicate_3_3_A_2_2, division2_replicate_3_3_A_2_3, division2_replicate_3_3_A_2_4, division2_replicate_3_3_A_3_2, division2_replicate_3_3_A_3_4, division2_replicate_3_3_A_4_2, division2_replicate_3_3_A_4_3, division2_replicate_3_3_A_4_4, division2_replicate_3_3_B_2_2, division2_replicate_3_3_B_2_3, division2_replicate_3_3_B_2_4, division2_replicate_3_3_B_3_2, division2_replicate_3_3_B_3_4, division2_replicate_3_3_B_4_2, division2_replicate_3_3_B_4_3, division2_replicate_3_3_B_4_4, division2_replicate_3_4_A_2_3, division2_replicate_3_4_A_2_4, division2_replicate_3_4_A_2_5, division2_replicate_3_4_A_3_3, division2_replicate_3_4_A_3_5, division2_replicate_3_4_A_4_3, division2_replicate_3_4_A_4_4, division2_replicate_3_4_A_4_5, division2_replicate_3_4_B_2_3, division2_replicate_3_4_B_2_4, division2_replicate_3_4_B_2_5, division2_replicate_3_4_B_3_3, division2_replicate_3_4_B_3_5, division2_replicate_3_4_B_4_3, division2_replicate_3_4_B_4_4, division2_replicate_3_4_B_4_5, division2_replicate_3_5_A_2_4, division2_replicate_3_5_A_2_5, division2_replicate_3_5_A_4_4, division2_replicate_3_5_A_4_5, division2_replicate_3_5_B_2_4, division2_replicate_3_5_B_2_5, division2_replicate_3_5_B_4_4, division2_replicate_3_5_B_4_5, division2_replicate_4_1_A_3_1, division2_replicate_4_1_A_3_2, division2_replicate_4_1_A_5_1, division2_replicate_4_1_A_5_2, division2_replicate_4_1_B_3_1, division2_replicate_4_1_B_3_2, division2_replicate_4_1_B_5_1, division2_replicate_4_1_B_5_2, division2_replicate_4_2_A_3_1, division2_replicate_4_2_A_3_2, division2_replicate_4_2_A_3_3, division2_replicate_4_2_A_4_1, division2_replicate_4_2_A_4_3, division2_replicate_4_2_A_5_1, division2_replicate_4_2_A_5_2, division2_replicate_4_2_A_5_3, division2_replicate_4_2_B_3_1, division2_replicate_4_2_B_3_2, division2_replicate_4_2_B_3_3, division2_replicate_4_2_B_4_1, division2_replicate_4_2_B_4_3, division2_replicate_4_2_B_5_1, division2_replicate_4_2_B_5_2, division2_replicate_4_2_B_5_3, division2_replicate_4_3_A_3_2, division2_replicate_4_3_A_3_3, division2_replicate_4_3_A_3_4, division2_replicate_4_3_A_4_2, division2_replicate_4_3_A_4_4, division2_replicate_4_3_A_5_2, division2_replicate_4_3_A_5_3, division2_replicate_4_3_A_5_4, division2_replicate_4_3_B_3_2, division2_replicate_4_3_B_3_3, division2_replicate_4_3_B_3_4, division2_replicate_4_3_B_4_2, division2_replicate_4_3_B_4_4, division2_replicate_4_3_B_5_2, division2_replicate_4_3_B_5_3, division2_replicate_4_3_B_5_4, division2_replicate_4_4_A_3_3, division2_replicate_4_4_A_3_4, division2_replicate_4_4_A_3_5, division2_replicate_4_4_A_4_3, division2_replicate_4_4_A_4_5, division2_replicate_4_4_A_5_3, division2_replicate_4_4_A_5_4, division2_replicate_4_4_A_5_5, division2_replicate_4_4_B_3_3, division2_replicate_4_4_B_3_4, division2_replicate_4_4_B_3_5, division2_replicate_4_4_B_4_3, division2_replicate_4_4_B_4_5, division2_replicate_4_4_B_5_3, division2_replicate_4_4_B_5_4, division2_replicate_4_4_B_5_5, division2_replicate_4_5_A_3_4, division2_replicate_4_5_A_3_5, division2_replicate_4_5_A_5_4, division2_replicate_4_5_A_5_5, division2_replicate_4_5_B_3_4, division2_replicate_4_5_B_3_5, division2_replicate_4_5_B_5_4, division2_replicate_4_5_B_5_5, division2_replicate_5_2_A_4_1, division2_replicate_5_2_A_4_3, division2_replicate_5_2_A_5_1, division2_replicate_5_2_A_5_3, division2_replicate_5_2_B_4_1, division2_replicate_5_2_B_4_3, division2_replicate_5_2_B_5_1, division2_replicate_5_2_B_5_3, division2_replicate_5_3_A_4_2, division2_replicate_5_3_A_4_4, division2_replicate_5_3_A_5_2, division2_replicate_5_3_A_5_4, division2_replicate_5_3_B_4_2, division2_replicate_5_3_B_4_4, division2_replicate_5_3_B_5_2, division2_replicate_5_3_B_5_4, division2_replicate_5_4_A_4_3, division2_replicate_5_4_A_4_5, division2_replicate_5_4_A_5_3, division2_replicate_5_4_A_5_5, division2_replicate_5_4_B_4_3, division2_replicate_5_4_B_4_5, division2_replicate_5_4_B_5_3, division2_replicate_5_4_B_5_5, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/261/416/677
Computing Next relation with stutter on 1.05588e+31 deadlock states
Detected timeout of ITS tools.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.201903251645/bin/convert-linux64, -i, /tmp/graph2756673645782026230.txt, -o, /tmp/graph2756673645782026230.bin, -w, /tmp/graph2756673645782026230.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.201903251645/bin/louvain-linux64, /tmp/graph2756673645782026230.bin, -l, -1, -v, -w, /tmp/graph2756673645782026230.weights, -q, 0, -e, 0.001], workingDir=null]
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((("(((i1.u12.pool__2_4_>=1)&&(i1.u10.cell___1_5__A_>=1))&&(i1.u23.run_dot>=1))")U(F(G(X("(((i4.u17.pool__4_1_>=1)&&(i4.u17.cell___4_1__A_>=1))&&(i1.u23.run_dot>=1))"))))))
Formula 0 simplified : !("(((i1.u12.pool__2_4_>=1)&&(i1.u10.cell___1_5__A_>=1))&&(i1.u23.run_dot>=1))" U FGX"(((i4.u17.pool__4_1_>=1)&&(i4.u17.cell___4_1__A_>=1))&&(i1.u23.run_dot>=1))")
built 17 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 24 ordering constraints for composite.
built 12 ordering constraints for composite.
built 15 ordering constraints for composite.
built 6 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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 92 ms
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 77 places.
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 677 transitions.
Mar 27, 2019 8:39:40 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 26 ms
Mar 27, 2019 8:39:40 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 179 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 76 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 677 transitions.
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 677 transitions.
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 77 places.
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 677 transitions.
Mar 27, 2019 8:39:41 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 4 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 26 place invariants in 14 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 77 variables to be positive in 236 ms
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 677 transitions.
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/677 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 61 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 677 transitions.
Mar 27, 2019 8:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 24 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 27, 2019 8:39:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 677 transitions.
Mar 27, 2019 8:39:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2/677) took 1767 ms. Total solver calls (SAT/UNSAT): 2025(2025/0)
Mar 27, 2019 8:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(7/677) took 4767 ms. Total solver calls (SAT/UNSAT): 5380(5380/0)
Mar 27, 2019 8:39:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/677) took 7888 ms. Total solver calls (SAT/UNSAT): 8710(8710/0)
Mar 27, 2019 8:39:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/677) took 11475 ms. Total solver calls (SAT/UNSAT): 12673(12673/0)
Mar 27, 2019 8:39:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(23/677) took 14502 ms. Total solver calls (SAT/UNSAT): 15948(15948/0)
Mar 27, 2019 8:40:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(29/677) took 17940 ms. Total solver calls (SAT/UNSAT): 19845(19845/0)
Mar 27, 2019 8:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/677) took 20942 ms. Total solver calls (SAT/UNSAT): 23065(23065/0)
Mar 27, 2019 8:40:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(40/677) took 24503 ms. Total solver calls (SAT/UNSAT): 26896(26896/0)
Mar 27, 2019 8:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/677) took 27951 ms. Total solver calls (SAT/UNSAT): 30691(30691/0)
Mar 27, 2019 8:40:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/677) took 34201 ms. Total solver calls (SAT/UNSAT): 33826(33826/0)
Mar 27, 2019 8:40:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(56/677) took 37525 ms. Total solver calls (SAT/UNSAT): 36936(36936/0)
Mar 27, 2019 8:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/677) took 40890 ms. Total solver calls (SAT/UNSAT): 40635(40635/0)
Mar 27, 2019 8:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/677) took 44185 ms. Total solver calls (SAT/UNSAT): 44298(44298/0)
Mar 27, 2019 8:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/677) took 50231 ms. Total solver calls (SAT/UNSAT): 46116(46116/0)
Mar 27, 2019 8:40:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(75/677) took 57617 ms. Total solver calls (SAT/UNSAT): 48526(48526/0)
Mar 27, 2019 8:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/677) took 60761 ms. Total solver calls (SAT/UNSAT): 52111(52111/0)
Mar 27, 2019 8:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/677) took 63815 ms. Total solver calls (SAT/UNSAT): 55660(55660/0)
Mar 27, 2019 8:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/677) took 66923 ms. Total solver calls (SAT/UNSAT): 59173(59173/0)
Mar 27, 2019 8:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(99/677) took 69954 ms. Total solver calls (SAT/UNSAT): 62650(62650/0)
Mar 27, 2019 8:40:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/677) took 73011 ms. Total solver calls (SAT/UNSAT): 66091(66091/0)
Mar 27, 2019 8:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(111/677) took 77010 ms. Total solver calls (SAT/UNSAT): 69496(69496/0)
Mar 27, 2019 8:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(114/677) took 80636 ms. Total solver calls (SAT/UNSAT): 71185(71185/0)
Mar 27, 2019 8:41:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/677) took 85309 ms. Total solver calls (SAT/UNSAT): 72865(72865/0)
Mar 27, 2019 8:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/677) took 88815 ms. Total solver calls (SAT/UNSAT): 75091(75091/0)
Mar 27, 2019 8:41:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(125/677) took 92324 ms. Total solver calls (SAT/UNSAT): 77301(77301/0)
Mar 27, 2019 8:41:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/677) took 98765 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Mar 27, 2019 8:41:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/677) took 105840 ms. Total solver calls (SAT/UNSAT): 79495(79495/0)
Mar 27, 2019 8:41:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/677) took 114312 ms. Total solver calls (SAT/UNSAT): 80041(80041/0)
Mar 27, 2019 8:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(131/677) took 123911 ms. Total solver calls (SAT/UNSAT): 80586(80586/0)
Mar 27, 2019 8:41:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/677) took 127453 ms. Total solver calls (SAT/UNSAT): 81673(81673/0)
Mar 27, 2019 8:41:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/677) took 133127 ms. Total solver calls (SAT/UNSAT): 83296(83296/0)
Mar 27, 2019 8:42:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(139/677) took 146393 ms. Total solver calls (SAT/UNSAT): 84910(84910/0)
Mar 27, 2019 8:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(141/677) took 154295 ms. Total solver calls (SAT/UNSAT): 85981(85981/0)
Mar 27, 2019 8:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(142/677) took 171163 ms. Total solver calls (SAT/UNSAT): 86515(86515/0)
Mar 27, 2019 8:42:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/677) took 187133 ms. Total solver calls (SAT/UNSAT): 87048(87048/0)
Mar 27, 2019 8:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(144/677) took 202680 ms. Total solver calls (SAT/UNSAT): 87580(87580/0)
Mar 27, 2019 8:43:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(145/677) took 219466 ms. Total solver calls (SAT/UNSAT): 88111(88111/0)
Mar 27, 2019 8:43:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/677) took 235345 ms. Total solver calls (SAT/UNSAT): 88641(88641/0)
Mar 27, 2019 8:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(147/677) took 249760 ms. Total solver calls (SAT/UNSAT): 89170(89170/0)
Mar 27, 2019 8:44:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(148/677) took 265342 ms. Total solver calls (SAT/UNSAT): 89698(89698/0)
Mar 27, 2019 8:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(149/677) took 280396 ms. Total solver calls (SAT/UNSAT): 90225(90225/0)
Mar 27, 2019 8:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(150/677) took 288209 ms. Total solver calls (SAT/UNSAT): 90751(90751/0)
Mar 27, 2019 8:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/677) took 299581 ms. Total solver calls (SAT/UNSAT): 91276(91276/0)
Mar 27, 2019 8:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(152/677) took 313531 ms. Total solver calls (SAT/UNSAT): 91800(91800/0)
Mar 27, 2019 8:45:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(153/677) took 325421 ms. Total solver calls (SAT/UNSAT): 92323(92323/0)
Mar 27, 2019 8:45:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(154/677) took 341064 ms. Total solver calls (SAT/UNSAT): 92845(92845/0)
Mar 27, 2019 8:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/677) took 357443 ms. Total solver calls (SAT/UNSAT): 93366(93366/0)
Mar 27, 2019 8:45:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/677) took 371029 ms. Total solver calls (SAT/UNSAT): 93886(93886/0)
Mar 27, 2019 8:46:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(157/677) took 387165 ms. Total solver calls (SAT/UNSAT): 94405(94405/0)
Mar 27, 2019 8:46:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/677) took 400530 ms. Total solver calls (SAT/UNSAT): 94923(94923/0)
Mar 27, 2019 8:46:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/677) took 416365 ms. Total solver calls (SAT/UNSAT): 95440(95440/0)
Mar 27, 2019 8:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/677) took 431660 ms. Total solver calls (SAT/UNSAT): 95956(95956/0)
Mar 27, 2019 8:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(161/677) took 444670 ms. Total solver calls (SAT/UNSAT): 96471(96471/0)
Mar 27, 2019 8:47:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(162/677) took 460889 ms. Total solver calls (SAT/UNSAT): 96985(96985/0)
Mar 27, 2019 8:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/677) took 475782 ms. Total solver calls (SAT/UNSAT): 97498(97498/0)
Mar 27, 2019 8:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(164/677) took 491298 ms. Total solver calls (SAT/UNSAT): 98010(98010/0)
Mar 27, 2019 8:48:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(165/677) took 503587 ms. Total solver calls (SAT/UNSAT): 98521(98521/0)
Mar 27, 2019 8:48:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(166/677) took 517797 ms. Total solver calls (SAT/UNSAT): 99031(99031/0)
Mar 27, 2019 8:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(167/677) took 527814 ms. Total solver calls (SAT/UNSAT): 99540(99540/0)
Mar 27, 2019 8:48:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(168/677) took 543548 ms. Total solver calls (SAT/UNSAT): 100048(100048/0)
Mar 27, 2019 8:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/677) took 560507 ms. Total solver calls (SAT/UNSAT): 100555(100555/0)
Mar 27, 2019 8:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/677) took 577185 ms. Total solver calls (SAT/UNSAT): 101061(101061/0)
Mar 27, 2019 8:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/677) took 591278 ms. Total solver calls (SAT/UNSAT): 101566(101566/0)
Mar 27, 2019 8:49:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/677) took 605488 ms. Total solver calls (SAT/UNSAT): 102070(102070/0)
Mar 27, 2019 8:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(173/677) took 615057 ms. Total solver calls (SAT/UNSAT): 102573(102573/0)
Mar 27, 2019 8:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/677) took 627240 ms. Total solver calls (SAT/UNSAT): 103075(103075/0)
Mar 27, 2019 8:50:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/677) took 638539 ms. Total solver calls (SAT/UNSAT): 103576(103576/0)
Mar 27, 2019 8:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/677) took 651817 ms. Total solver calls (SAT/UNSAT): 104076(104076/0)
Mar 27, 2019 8:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/677) took 666639 ms. Total solver calls (SAT/UNSAT): 104575(104575/0)
Mar 27, 2019 8:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(178/677) took 679344 ms. Total solver calls (SAT/UNSAT): 105073(105073/0)
Mar 27, 2019 8:51:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/677) took 691121 ms. Total solver calls (SAT/UNSAT): 105570(105570/0)
Mar 27, 2019 8:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(180/677) took 702558 ms. Total solver calls (SAT/UNSAT): 106066(106066/0)
Mar 27, 2019 8:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/677) took 718717 ms. Total solver calls (SAT/UNSAT): 106561(106561/0)
Mar 27, 2019 8:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(182/677) took 731137 ms. Total solver calls (SAT/UNSAT): 107055(107055/0)
Mar 27, 2019 8:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(183/677) took 738144 ms. Total solver calls (SAT/UNSAT): 107548(107548/0)
Mar 27, 2019 8:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/677) took 750925 ms. Total solver calls (SAT/UNSAT): 108040(108040/0)
Mar 27, 2019 8:52:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/677) took 757859 ms. Total solver calls (SAT/UNSAT): 108531(108531/0)
Mar 27, 2019 8:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(186/677) took 773658 ms. Total solver calls (SAT/UNSAT): 109021(109021/0)
Mar 27, 2019 8:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(187/677) took 789035 ms. Total solver calls (SAT/UNSAT): 109510(109510/0)
Mar 27, 2019 8:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/677) took 800937 ms. Total solver calls (SAT/UNSAT): 109998(109998/0)
Mar 27, 2019 8:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(189/677) took 814881 ms. Total solver calls (SAT/UNSAT): 110485(110485/0)
Mar 27, 2019 8:53:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/677) took 830057 ms. Total solver calls (SAT/UNSAT): 110971(110971/0)
Mar 27, 2019 8:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(191/677) took 840184 ms. Total solver calls (SAT/UNSAT): 111456(111456/0)
Mar 27, 2019 8:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/677) took 852676 ms. Total solver calls (SAT/UNSAT): 111940(111940/0)
Mar 27, 2019 8:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/677) took 866209 ms. Total solver calls (SAT/UNSAT): 112423(112423/0)
Mar 27, 2019 8:54:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(194/677) took 876315 ms. Total solver calls (SAT/UNSAT): 112905(112905/0)
Mar 27, 2019 8:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(195/677) took 891234 ms. Total solver calls (SAT/UNSAT): 113386(113386/0)
Mar 27, 2019 8:54:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/677) took 904021 ms. Total solver calls (SAT/UNSAT): 113866(113866/0)
Mar 27, 2019 8:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(197/677) took 914289 ms. Total solver calls (SAT/UNSAT): 114345(114345/0)
Mar 27, 2019 8:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/677) took 925381 ms. Total solver calls (SAT/UNSAT): 114823(114823/0)
Mar 27, 2019 8:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/677) took 940004 ms. Total solver calls (SAT/UNSAT): 115300(115300/0)
Mar 27, 2019 8:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(200/677) took 955018 ms. Total solver calls (SAT/UNSAT): 115776(115776/0)
Mar 27, 2019 8:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(201/677) took 968157 ms. Total solver calls (SAT/UNSAT): 116251(116251/0)
Mar 27, 2019 8:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/677) took 979884 ms. Total solver calls (SAT/UNSAT): 116725(116725/0)
Mar 27, 2019 8:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(203/677) took 993885 ms. Total solver calls (SAT/UNSAT): 117198(117198/0)
Mar 27, 2019 8:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/677) took 1007513 ms. Total solver calls (SAT/UNSAT): 117670(117670/0)
Mar 27, 2019 8:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/677) took 1022555 ms. Total solver calls (SAT/UNSAT): 118141(118141/0)
Mar 27, 2019 8:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(206/677) took 1035422 ms. Total solver calls (SAT/UNSAT): 118611(118611/0)
Mar 27, 2019 8:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/677) took 1045489 ms. Total solver calls (SAT/UNSAT): 119080(119080/0)
Mar 27, 2019 8:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/677) took 1055970 ms. Total solver calls (SAT/UNSAT): 119548(119548/0)
Mar 27, 2019 8:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/677) took 1066846 ms. Total solver calls (SAT/UNSAT): 120015(120015/0)
Mar 27, 2019 8:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/677) took 1076397 ms. Total solver calls (SAT/UNSAT): 120481(120481/0)
Mar 27, 2019 8:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/677) took 1090609 ms. Total solver calls (SAT/UNSAT): 120946(120946/0)
Mar 27, 2019 8:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(212/677) took 1102646 ms. Total solver calls (SAT/UNSAT): 121410(121410/0)
Mar 27, 2019 8:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/677) took 1116516 ms. Total solver calls (SAT/UNSAT): 121873(121873/0)
Mar 27, 2019 8:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/677) took 1129569 ms. Total solver calls (SAT/UNSAT): 122335(122335/0)
Mar 27, 2019 8:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/677) took 1136596 ms. Total solver calls (SAT/UNSAT): 122796(122796/0)
Mar 27, 2019 8:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(216/677) took 1140503 ms. Total solver calls (SAT/UNSAT): 123256(123256/0)
Mar 27, 2019 8:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/677) took 1154484 ms. Total solver calls (SAT/UNSAT): 123715(123715/0)
Mar 27, 2019 8:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/677) took 1166723 ms. Total solver calls (SAT/UNSAT): 124173(124173/0)
Mar 27, 2019 8:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(219/677) took 1178753 ms. Total solver calls (SAT/UNSAT): 124630(124630/0)
Mar 27, 2019 8:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(220/677) took 1186825 ms. Total solver calls (SAT/UNSAT): 125086(125086/0)
Mar 27, 2019 8:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/677) took 1195569 ms. Total solver calls (SAT/UNSAT): 125541(125541/0)
Mar 27, 2019 8:59:41 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 77 ms
Mar 27, 2019 8:59:41 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 18 ms
Mar 27, 2019 8:59:41 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 0 ms
Mar 27, 2019 8:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/677) took 1205703 ms. Total solver calls (SAT/UNSAT): 125995(125995/0)
Mar 27, 2019 8:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/677) took 1216264 ms. Total solver calls (SAT/UNSAT): 126448(126448/0)
Mar 27, 2019 9:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/677) took 1224901 ms. Total solver calls (SAT/UNSAT): 126900(126900/0)
Mar 27, 2019 9:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(225/677) took 1240338 ms. Total solver calls (SAT/UNSAT): 127351(127351/0)
Mar 27, 2019 9:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(226/677) took 1255603 ms. Total solver calls (SAT/UNSAT): 127801(127801/0)
Mar 27, 2019 9:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/677) took 1263536 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Mar 27, 2019 9:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/677) took 1270582 ms. Total solver calls (SAT/UNSAT): 128698(128698/0)
Mar 27, 2019 9:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(230/677) took 1275479 ms. Total solver calls (SAT/UNSAT): 129591(129591/0)
Mar 27, 2019 9:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/677) took 1279097 ms. Total solver calls (SAT/UNSAT): 130923(130923/0)
Mar 27, 2019 9:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/677) took 1293697 ms. Total solver calls (SAT/UNSAT): 132685(132685/0)
Mar 27, 2019 9:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(238/677) took 1296819 ms. Total solver calls (SAT/UNSAT): 133123(133123/0)
Mar 27, 2019 9:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/677) took 1303450 ms. Total solver calls (SAT/UNSAT): 133560(133560/0)
Mar 27, 2019 9:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(240/677) took 1312178 ms. Total solver calls (SAT/UNSAT): 133996(133996/0)
Mar 27, 2019 9:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(241/677) took 1324319 ms. Total solver calls (SAT/UNSAT): 134431(134431/0)
Mar 27, 2019 9:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(242/677) took 1336512 ms. Total solver calls (SAT/UNSAT): 134865(134865/0)
Mar 27, 2019 9:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/677) took 1347728 ms. Total solver calls (SAT/UNSAT): 135298(135298/0)
Mar 27, 2019 9:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(244/677) took 1359757 ms. Total solver calls (SAT/UNSAT): 135730(135730/0)
Mar 27, 2019 9:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/677) took 1368857 ms. Total solver calls (SAT/UNSAT): 136161(136161/0)
Mar 27, 2019 9:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(246/677) took 1378074 ms. Total solver calls (SAT/UNSAT): 136591(136591/0)
Mar 27, 2019 9:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/677) took 1386633 ms. Total solver calls (SAT/UNSAT): 137020(137020/0)
Mar 27, 2019 9:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(248/677) took 1390909 ms. Total solver calls (SAT/UNSAT): 137448(137448/0)
Mar 27, 2019 9:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(249/677) took 1402696 ms. Total solver calls (SAT/UNSAT): 137875(137875/0)
Mar 27, 2019 9:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/677) took 1413830 ms. Total solver calls (SAT/UNSAT): 138301(138301/0)
Mar 27, 2019 9:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(251/677) took 1426150 ms. Total solver calls (SAT/UNSAT): 138726(138726/0)
Mar 27, 2019 9:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/677) took 1438546 ms. Total solver calls (SAT/UNSAT): 139150(139150/0)
Mar 27, 2019 9:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/677) took 1450058 ms. Total solver calls (SAT/UNSAT): 139573(139573/0)
Mar 27, 2019 9:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(254/677) took 1454433 ms. Total solver calls (SAT/UNSAT): 139995(139995/0)
Mar 27, 2019 9:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/677) took 1459987 ms. Total solver calls (SAT/UNSAT): 140416(140416/0)
Mar 27, 2019 9:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/677) took 1470578 ms. Total solver calls (SAT/UNSAT): 140836(140836/0)
Mar 27, 2019 9:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(257/677) took 1480605 ms. Total solver calls (SAT/UNSAT): 141255(141255/0)
Mar 27, 2019 9:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/677) took 1487170 ms. Total solver calls (SAT/UNSAT): 141673(141673/0)
Mar 27, 2019 9:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/677) took 1498152 ms. Total solver calls (SAT/UNSAT): 142090(142090/0)
Mar 27, 2019 9:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(260/677) took 1509756 ms. Total solver calls (SAT/UNSAT): 142506(142506/0)
Mar 27, 2019 9:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(261/677) took 1523213 ms. Total solver calls (SAT/UNSAT): 142921(142921/0)
Mar 27, 2019 9:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/677) took 1533352 ms. Total solver calls (SAT/UNSAT): 143335(143335/0)
Mar 27, 2019 9:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/677) took 1544018 ms. Total solver calls (SAT/UNSAT): 143748(143748/0)
Mar 27, 2019 9:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/677) took 1550703 ms. Total solver calls (SAT/UNSAT): 144160(144160/0)
Mar 27, 2019 9:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/677) took 1560817 ms. Total solver calls (SAT/UNSAT): 144571(144571/0)
Mar 27, 2019 9:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/677) took 1574341 ms. Total solver calls (SAT/UNSAT): 144981(144981/0)
Mar 27, 2019 9:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(267/677) took 1580502 ms. Total solver calls (SAT/UNSAT): 145390(145390/0)
Mar 27, 2019 9:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/677) took 1587571 ms. Total solver calls (SAT/UNSAT): 145798(145798/0)
Mar 27, 2019 9:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(269/677) took 1597295 ms. Total solver calls (SAT/UNSAT): 146205(146205/0)
Mar 27, 2019 9:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(270/677) took 1602084 ms. Total solver calls (SAT/UNSAT): 146611(146611/0)
Mar 27, 2019 9:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(276/677) took 1605268 ms. Total solver calls (SAT/UNSAT): 149026(149026/0)
Mar 27, 2019 9:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(280/677) took 1609184 ms. Total solver calls (SAT/UNSAT): 150616(150616/0)
Mar 27, 2019 9:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/677) took 1612690 ms. Total solver calls (SAT/UNSAT): 151798(151798/0)
Mar 27, 2019 9:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(285/677) took 1616176 ms. Total solver calls (SAT/UNSAT): 152581(152581/0)
Mar 27, 2019 9:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(287/677) took 1619958 ms. Total solver calls (SAT/UNSAT): 153360(153360/0)
Mar 27, 2019 9:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/677) took 1623765 ms. Total solver calls (SAT/UNSAT): 154135(154135/0)
Mar 27, 2019 9:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(290/677) took 1627953 ms. Total solver calls (SAT/UNSAT): 154521(154521/0)
Mar 27, 2019 9:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(291/677) took 1632501 ms. Total solver calls (SAT/UNSAT): 154906(154906/0)
Mar 27, 2019 9:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/677) took 1635717 ms. Total solver calls (SAT/UNSAT): 156816(156816/0)
Mar 27, 2019 9:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/677) took 1639136 ms. Total solver calls (SAT/UNSAT): 158701(158701/0)
Mar 27, 2019 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(305/677) took 1642458 ms. Total solver calls (SAT/UNSAT): 160191(160191/0)
Mar 27, 2019 9:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(306/677) took 1651793 ms. Total solver calls (SAT/UNSAT): 160561(160561/0)
Mar 27, 2019 9:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(310/677) took 1655882 ms. Total solver calls (SAT/UNSAT): 162031(162031/0)
Mar 27, 2019 9:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/677) took 1660862 ms. Total solver calls (SAT/UNSAT): 163485(163485/0)
Mar 27, 2019 9:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(316/677) took 1663963 ms. Total solver calls (SAT/UNSAT): 164206(164206/0)
Mar 27, 2019 9:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(322/677) took 1667008 ms. Total solver calls (SAT/UNSAT): 166345(166345/0)
Mar 27, 2019 9:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/677) took 1670082 ms. Total solver calls (SAT/UNSAT): 168100(168100/0)
Mar 27, 2019 9:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(330/677) took 1676554 ms. Total solver calls (SAT/UNSAT): 169141(169141/0)
Mar 27, 2019 9:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(332/677) took 1681011 ms. Total solver calls (SAT/UNSAT): 169830(169830/0)
Mar 27, 2019 9:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(335/677) took 1684441 ms. Total solver calls (SAT/UNSAT): 170856(170856/0)
Mar 27, 2019 9:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/677) took 1688678 ms. Total solver calls (SAT/UNSAT): 173215(173215/0)
Mar 27, 2019 9:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(348/677) took 1692154 ms. Total solver calls (SAT/UNSAT): 175198(175198/0)
Mar 27, 2019 9:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(352/677) took 1695688 ms. Total solver calls (SAT/UNSAT): 176500(176500/0)
Mar 27, 2019 9:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(357/677) took 1699360 ms. Total solver calls (SAT/UNSAT): 178105(178105/0)
Mar 27, 2019 9:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/677) took 1703444 ms. Total solver calls (SAT/UNSAT): 179371(179371/0)
Mar 27, 2019 9:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(367/677) took 1712028 ms. Total solver calls (SAT/UNSAT): 181240(181240/0)
Mar 27, 2019 9:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(370/677) took 1715414 ms. Total solver calls (SAT/UNSAT): 182161(182161/0)
Mar 27, 2019 9:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(374/677) took 1718964 ms. Total solver calls (SAT/UNSAT): 183375(183375/0)
Mar 27, 2019 9:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(378/677) took 1723497 ms. Total solver calls (SAT/UNSAT): 184573(184573/0)
Mar 27, 2019 9:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/677) took 1732964 ms. Total solver calls (SAT/UNSAT): 184870(184870/0)
Mar 27, 2019 9:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(383/677) took 1736162 ms. Total solver calls (SAT/UNSAT): 186048(186048/0)
Mar 27, 2019 9:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(384/677) took 1739900 ms. Total solver calls (SAT/UNSAT): 186340(186340/0)
Mar 27, 2019 9:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(387/677) took 1743096 ms. Total solver calls (SAT/UNSAT): 187210(187210/0)
Mar 27, 2019 9:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/677) took 1746393 ms. Total solver calls (SAT/UNSAT): 188923(188923/0)
Mar 27, 2019 9:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(397/677) took 1749675 ms. Total solver calls (SAT/UNSAT): 190045(190045/0)
Mar 27, 2019 9:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(404/677) took 1752917 ms. Total solver calls (SAT/UNSAT): 191970(191970/0)
Mar 27, 2019 9:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(409/677) took 1756001 ms. Total solver calls (SAT/UNSAT): 193315(193315/0)
Mar 27, 2019 9:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/677) took 1759346 ms. Total solver calls (SAT/UNSAT): 194373(194373/0)
Mar 27, 2019 9:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(416/677) took 1763486 ms. Total solver calls (SAT/UNSAT): 195156(195156/0)
Mar 27, 2019 9:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/677) took 1766722 ms. Total solver calls (SAT/UNSAT): 196186(196186/0)
Mar 27, 2019 9:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/677) took 1777214 ms. Total solver calls (SAT/UNSAT): 196695(196695/0)
Mar 27, 2019 9:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(423/677) took 1784964 ms. Total solver calls (SAT/UNSAT): 196948(196948/0)
Mar 27, 2019 9:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/677) took 1792502 ms. Total solver calls (SAT/UNSAT): 197200(197200/0)
Mar 27, 2019 9:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(425/677) took 1800593 ms. Total solver calls (SAT/UNSAT): 197451(197451/0)
Mar 27, 2019 9:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(426/677) took 1807523 ms. Total solver calls (SAT/UNSAT): 197701(197701/0)
Mar 27, 2019 9:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/677) took 1811617 ms. Total solver calls (SAT/UNSAT): 197950(197950/0)
Mar 27, 2019 9:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/677) took 1818944 ms. Total solver calls (SAT/UNSAT): 198198(198198/0)
Mar 27, 2019 9:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/677) took 1825400 ms. Total solver calls (SAT/UNSAT): 198445(198445/0)
Mar 27, 2019 9:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(430/677) took 1832902 ms. Total solver calls (SAT/UNSAT): 198691(198691/0)
Mar 27, 2019 9:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/677) took 1840245 ms. Total solver calls (SAT/UNSAT): 198936(198936/0)
Mar 27, 2019 9:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/677) took 1846519 ms. Total solver calls (SAT/UNSAT): 199180(199180/0)
Mar 27, 2019 9:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/677) took 1856758 ms. Total solver calls (SAT/UNSAT): 199665(199665/0)
Mar 27, 2019 9:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(435/677) took 1864546 ms. Total solver calls (SAT/UNSAT): 199906(199906/0)
Mar 27, 2019 9:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/677) took 1870537 ms. Total solver calls (SAT/UNSAT): 200146(200146/0)
Mar 27, 2019 9:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/677) took 1878185 ms. Total solver calls (SAT/UNSAT): 200385(200385/0)
Mar 27, 2019 9:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(439/677) took 1885140 ms. Total solver calls (SAT/UNSAT): 200860(200860/0)
Mar 27, 2019 9:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/677) took 1892121 ms. Total solver calls (SAT/UNSAT): 201096(201096/0)
Mar 27, 2019 9:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/677) took 1897981 ms. Total solver calls (SAT/UNSAT): 201331(201331/0)
Mar 27, 2019 9:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/677) took 1905640 ms. Total solver calls (SAT/UNSAT): 201565(201565/0)
Mar 27, 2019 9:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(443/677) took 1913610 ms. Total solver calls (SAT/UNSAT): 201798(201798/0)
Mar 27, 2019 9:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(444/677) took 1921035 ms. Total solver calls (SAT/UNSAT): 202030(202030/0)
Mar 27, 2019 9:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/677) took 1926205 ms. Total solver calls (SAT/UNSAT): 202261(202261/0)
Mar 27, 2019 9:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/677) took 1933568 ms. Total solver calls (SAT/UNSAT): 203401(203401/0)
Mar 27, 2019 9:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(451/677) took 1940168 ms. Total solver calls (SAT/UNSAT): 203626(203626/0)
Mar 27, 2019 9:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/677) took 1946780 ms. Total solver calls (SAT/UNSAT): 203850(203850/0)
Mar 27, 2019 9:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(453/677) took 1954204 ms. Total solver calls (SAT/UNSAT): 204073(204073/0)
Mar 27, 2019 9:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(454/677) took 1960776 ms. Total solver calls (SAT/UNSAT): 204295(204295/0)
Mar 27, 2019 9:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(455/677) took 1967280 ms. Total solver calls (SAT/UNSAT): 204516(204516/0)
Mar 27, 2019 9:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/677) took 1973329 ms. Total solver calls (SAT/UNSAT): 204736(204736/0)
Mar 27, 2019 9:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(457/677) took 1979449 ms. Total solver calls (SAT/UNSAT): 204955(204955/0)
Mar 27, 2019 9:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(458/677) took 1985474 ms. Total solver calls (SAT/UNSAT): 205173(205173/0)
Mar 27, 2019 9:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/677) took 1991769 ms. Total solver calls (SAT/UNSAT): 205390(205390/0)
Mar 27, 2019 9:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(461/677) took 1999153 ms. Total solver calls (SAT/UNSAT): 205821(205821/0)
Mar 27, 2019 9:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/677) took 2005584 ms. Total solver calls (SAT/UNSAT): 206035(206035/0)
Mar 27, 2019 9:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(463/677) took 2012321 ms. Total solver calls (SAT/UNSAT): 206248(206248/0)
Mar 27, 2019 9:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/677) took 2016941 ms. Total solver calls (SAT/UNSAT): 206460(206460/0)
Mar 27, 2019 9:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/677) took 2024279 ms. Total solver calls (SAT/UNSAT): 206671(206671/0)
Mar 27, 2019 9:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(466/677) took 2030021 ms. Total solver calls (SAT/UNSAT): 206881(206881/0)
Mar 27, 2019 9:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(467/677) took 2035801 ms. Total solver calls (SAT/UNSAT): 207090(207090/0)
Mar 27, 2019 9:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(468/677) took 2042177 ms. Total solver calls (SAT/UNSAT): 207298(207298/0)
Mar 27, 2019 9:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/677) took 2047866 ms. Total solver calls (SAT/UNSAT): 207505(207505/0)
Mar 27, 2019 9:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(470/677) took 2055095 ms. Total solver calls (SAT/UNSAT): 207711(207711/0)
Mar 27, 2019 9:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(471/677) took 2061095 ms. Total solver calls (SAT/UNSAT): 207916(207916/0)
Mar 27, 2019 9:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/677) took 2064597 ms. Total solver calls (SAT/UNSAT): 208120(208120/0)
Mar 27, 2019 9:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(473/677) took 2070545 ms. Total solver calls (SAT/UNSAT): 208323(208323/0)
Mar 27, 2019 9:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(475/677) took 2077756 ms. Total solver calls (SAT/UNSAT): 208726(208726/0)
Mar 27, 2019 9:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/677) took 2085912 ms. Total solver calls (SAT/UNSAT): 209125(209125/0)
Mar 27, 2019 9:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(478/677) took 2091437 ms. Total solver calls (SAT/UNSAT): 209323(209323/0)
Mar 27, 2019 9:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(479/677) took 2096144 ms. Total solver calls (SAT/UNSAT): 209520(209520/0)
Mar 27, 2019 9:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/677) took 2101570 ms. Total solver calls (SAT/UNSAT): 209716(209716/0)
Mar 27, 2019 9:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(481/677) took 2107720 ms. Total solver calls (SAT/UNSAT): 209911(209911/0)
Mar 27, 2019 9:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/677) took 2113533 ms. Total solver calls (SAT/UNSAT): 210105(210105/0)
Mar 27, 2019 9:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(483/677) took 2118312 ms. Total solver calls (SAT/UNSAT): 210298(210298/0)
Mar 27, 2019 9:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(484/677) took 2123024 ms. Total solver calls (SAT/UNSAT): 210490(210490/0)
Mar 27, 2019 9:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(485/677) took 2128319 ms. Total solver calls (SAT/UNSAT): 210681(210681/0)
Mar 27, 2019 9:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/677) took 2131623 ms. Total solver calls (SAT/UNSAT): 210871(210871/0)
Mar 27, 2019 9:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/677) took 2137273 ms. Total solver calls (SAT/UNSAT): 211060(211060/0)
Mar 27, 2019 9:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(488/677) took 2142561 ms. Total solver calls (SAT/UNSAT): 211248(211248/0)
Mar 27, 2019 9:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/677) took 2148533 ms. Total solver calls (SAT/UNSAT): 211435(211435/0)
Mar 27, 2019 9:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/677) took 2153945 ms. Total solver calls (SAT/UNSAT): 211621(211621/0)
Mar 27, 2019 9:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(491/677) took 2158195 ms. Total solver calls (SAT/UNSAT): 211806(211806/0)
Mar 27, 2019 9:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(492/677) took 2162534 ms. Total solver calls (SAT/UNSAT): 211990(211990/0)
Mar 27, 2019 9:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/677) took 2169366 ms. Total solver calls (SAT/UNSAT): 212355(212355/0)
Mar 27, 2019 9:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(495/677) took 2174361 ms. Total solver calls (SAT/UNSAT): 212536(212536/0)
Mar 27, 2019 9:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/677) took 2179331 ms. Total solver calls (SAT/UNSAT): 212716(212716/0)
Mar 27, 2019 9:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(497/677) took 2183272 ms. Total solver calls (SAT/UNSAT): 212895(212895/0)
Mar 27, 2019 9:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/677) took 2188660 ms. Total solver calls (SAT/UNSAT): 213073(213073/0)
Mar 27, 2019 9:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/677) took 2195092 ms. Total solver calls (SAT/UNSAT): 213250(213250/0)
Mar 27, 2019 9:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/677) took 2199668 ms. Total solver calls (SAT/UNSAT): 213426(213426/0)
Mar 27, 2019 9:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/677) took 2207562 ms. Total solver calls (SAT/UNSAT): 213775(213775/0)
Mar 27, 2019 9:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(503/677) took 2212119 ms. Total solver calls (SAT/UNSAT): 213948(213948/0)
Mar 27, 2019 9:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(504/677) took 2216696 ms. Total solver calls (SAT/UNSAT): 214120(214120/0)
Mar 27, 2019 9:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(505/677) took 2220965 ms. Total solver calls (SAT/UNSAT): 214291(214291/0)
Mar 27, 2019 9:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/677) took 2225826 ms. Total solver calls (SAT/UNSAT): 214461(214461/0)
Mar 27, 2019 9:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(507/677) took 2230496 ms. Total solver calls (SAT/UNSAT): 214630(214630/0)
Mar 27, 2019 9:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/677) took 2234919 ms. Total solver calls (SAT/UNSAT): 214798(214798/0)
Mar 27, 2019 9:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(509/677) took 2239899 ms. Total solver calls (SAT/UNSAT): 214965(214965/0)
Mar 27, 2019 9:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(510/677) took 2245204 ms. Total solver calls (SAT/UNSAT): 215131(215131/0)
Mar 27, 2019 9:17:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/677) took 2252428 ms. Total solver calls (SAT/UNSAT): 215460(215460/0)
Mar 27, 2019 9:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(516/677) took 2255626 ms. Total solver calls (SAT/UNSAT): 216106(216106/0)
Mar 27, 2019 9:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(517/677) took 2260073 ms. Total solver calls (SAT/UNSAT): 216265(216265/0)
Mar 27, 2019 9:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(518/677) took 2264329 ms. Total solver calls (SAT/UNSAT): 216423(216423/0)
Mar 27, 2019 9:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/677) took 2269367 ms. Total solver calls (SAT/UNSAT): 216580(216580/0)
Mar 27, 2019 9:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(520/677) took 2274197 ms. Total solver calls (SAT/UNSAT): 216736(216736/0)
Mar 27, 2019 9:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(521/677) took 2278198 ms. Total solver calls (SAT/UNSAT): 216891(216891/0)
Mar 27, 2019 9:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(522/677) took 2282674 ms. Total solver calls (SAT/UNSAT): 217045(217045/0)
Mar 27, 2019 9:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/677) took 2289407 ms. Total solver calls (SAT/UNSAT): 217350(217350/0)
Mar 27, 2019 9:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(525/677) took 2293761 ms. Total solver calls (SAT/UNSAT): 217501(217501/0)
Mar 27, 2019 9:18:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/677) took 2297665 ms. Total solver calls (SAT/UNSAT): 217651(217651/0)
Mar 27, 2019 9:18:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/677) took 2301204 ms. Total solver calls (SAT/UNSAT): 217800(217800/0)
Mar 27, 2019 9:18:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/677) took 2305787 ms. Total solver calls (SAT/UNSAT): 217948(217948/0)
Mar 27, 2019 9:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/677) took 2313077 ms. Total solver calls (SAT/UNSAT): 218241(218241/0)
Mar 27, 2019 9:18:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(531/677) took 2317698 ms. Total solver calls (SAT/UNSAT): 218386(218386/0)
Mar 27, 2019 9:18:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/677) took 2321734 ms. Total solver calls (SAT/UNSAT): 218530(218530/0)
Mar 27, 2019 9:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(533/677) took 2326234 ms. Total solver calls (SAT/UNSAT): 218673(218673/0)
Mar 27, 2019 9:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/677) took 2329774 ms. Total solver calls (SAT/UNSAT): 218815(218815/0)
Mar 27, 2019 9:18:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(535/677) took 2334088 ms. Total solver calls (SAT/UNSAT): 218956(218956/0)
Mar 27, 2019 9:18:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/677) took 2339281 ms. Total solver calls (SAT/UNSAT): 219235(219235/0)
Mar 27, 2019 9:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(538/677) took 2342997 ms. Total solver calls (SAT/UNSAT): 219373(219373/0)
Mar 27, 2019 9:18:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(540/677) took 2348236 ms. Total solver calls (SAT/UNSAT): 219646(219646/0)
Mar 27, 2019 9:18:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(541/677) took 2352585 ms. Total solver calls (SAT/UNSAT): 219781(219781/0)
Mar 27, 2019 9:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(542/677) took 2355946 ms. Total solver calls (SAT/UNSAT): 219915(219915/0)
Mar 27, 2019 9:19:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/677) took 2359493 ms. Total solver calls (SAT/UNSAT): 220048(220048/0)
Mar 27, 2019 9:19:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(544/677) took 2362825 ms. Total solver calls (SAT/UNSAT): 220180(220180/0)
Mar 27, 2019 9:19:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(545/677) took 2366625 ms. Total solver calls (SAT/UNSAT): 220311(220311/0)
Mar 27, 2019 9:19:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(546/677) took 2370272 ms. Total solver calls (SAT/UNSAT): 220441(220441/0)
Mar 27, 2019 9:19:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(547/677) took 2373721 ms. Total solver calls (SAT/UNSAT): 220570(220570/0)
Mar 27, 2019 9:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(549/677) took 2379352 ms. Total solver calls (SAT/UNSAT): 220825(220825/0)
Mar 27, 2019 9:19:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(551/677) took 2383317 ms. Total solver calls (SAT/UNSAT): 221076(221076/0)
Mar 27, 2019 9:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(552/677) took 2386325 ms. Total solver calls (SAT/UNSAT): 221200(221200/0)
Mar 27, 2019 9:19:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(553/677) took 2389610 ms. Total solver calls (SAT/UNSAT): 221323(221323/0)
Mar 27, 2019 9:19:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(555/677) took 2393002 ms. Total solver calls (SAT/UNSAT): 221566(221566/0)
Mar 27, 2019 9:19:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(556/677) took 2396865 ms. Total solver calls (SAT/UNSAT): 221686(221686/0)
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 128 ms
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 86 ms
Begin: Wed Mar 27 09:19:42 2019
Computation of communities with the Newman-Girvan Modularity quality function
level 0:
start computation: Wed Mar 27 09:19:42 2019
network size: 77 nodes, 978 links, 1352 weight
quality increased from -0.104478 to 0.143483
end computation: Wed Mar 27 09:19:42 2019
level 1:
start computation: Wed Mar 27 09:19:42 2019
network size: 24 nodes, 194 links, 1352 weight
quality increased from 0.143483 to 0.174819
end computation: Wed Mar 27 09:19:42 2019
level 2:
start computation: Wed Mar 27 09:19:42 2019
network size: 7 nodes, 41 links, 1352 weight
quality increased from 0.174819 to 0.174819
end computation: Wed Mar 27 09:19:42 2019
End: Wed Mar 27 09:19:42 2019
Total duration: 0 sec
0.174819
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_B_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_3_5_A_2_4,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,division2_mutate_2_4_B_3_5,division2_mutate_2_4_A_3_5,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_B_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_2_3_A_1_2,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,division2_mutate_1_2_B_2_3,division2_mutate_1_2_A_2_3,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_B_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_4_2_A_3_1,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,division2_mutate_3_1_B_4_2,division2_mutate_3_1_A_4_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_B_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_4_3_A_3_2,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,division2_mutate_3_2_B_4_3,division2_mutate_3_2_A_4_3,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :division2_mutate_5_5_A_4_4,division2_mutate_5_5_A_4_4,division2_mutate_5_5_A_4_4,division2_mutate_5_5_B_4_4,division2_mutate_5_5_B_4_4,division2_mutate_5_5_B_4_4,division2_mutate_4_4_B_5_5,division2_mutate_4_4_A_5_5,division2_mutate_4_4_B_5_5,division2_mutate_4_4_A_5_5,division2_mutate_4_4_B_5_5,division2_mutate_4_4_A_5_5,division2_mutate_5_5_B_4_4,division2_mutate_5_5_B_4_4,division2_mutate_5_5_A_4_4,division2_mutate_5_5_A_4_4,division2_mutate_4_4_B_5_5,division2_mutate_4_4_A_5_5,division2_mutate_4_4_B_5_5,division2_mutate_4_4_A_5_5,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_A_1_1,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_1_A_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_2_B_1_1,division2_mutate_1_2_A_1_1,division2_mutate_1_1_B_1_2,division2_mutate_1_1_B_1_2,division2_mutate_1_1_A_1_2,division2_mutate_1_1_A_1_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_B_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_2_2_A_1_1,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,division2_mutate_1_1_B_2_2,division2_mutate_1_1_A_2_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_B_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_5_3_A_4_2,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,division2_mutate_4_2_B_5_3,division2_mutate_4_2_A_5_3,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_B_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_3_1_A_2_1,division2_mutate_2_1_B_3_1,division2_mutate_2_1_A_3_1,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_B_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_5_2_A_4_1,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,division2_mutate_4_1_B_5_2,division2_mutate_4_1_A_5_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_B_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_3_2_A_2_1,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,division2_mutate_2_1_B_3_2,division2_mutate_2_1_A_3_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_B_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_4_1_A_3_1,division2_mutate_3_1_B_4_1,division2_mutate_3_1_A_4_1,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :division2_mutate_4_1_B_5_1,division2_mutate_4_1_A_5_1,division2_mutate_5_1_A_4_1,division2_mutate_5_1_A_4_1,division2_mutate_5_1_A_4_1,division2_mutate_5_1_B_4_1,division2_mutate_5_1_B_4_1,division2_mutate_5_1_B_4_1,division2_mutate_4_1_B_5_1,division2_mutate_4_1_A_5_1,division2_mutate_4_1_B_5_1,division2_mutate_4_1_A_5_1,division2_mutate_4_1_B_5_1,division2_mutate_4_1_A_5_1,division2_mutate_5_1_B_4_1,division2_mutate_5_1_B_4_1,division2_mutate_5_1_A_4_1,division2_mutate_5_1_A_4_1,division2_mutate_4_1_B_5_1,division2_mutate_4_1_A_5_1,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_B_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_3_4_A_2_3,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,division2_mutate_2_3_B_3_4,division2_mutate_2_3_A_3_4,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_B_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_3_3_A_2_2,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,division2_mutate_2_2_B_3_3,division2_mutate_2_2_A_3_3,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :division2_mutate_1_4_B_1_5,division2_mutate_1_4_A_1_5,division2_mutate_1_4_B_1_5,division2_mutate_1_4_A_1_5,division2_mutate_1_5_A_1_4,division2_mutate_1_5_A_1_4,division2_mutate_1_5_A_1_4,division2_mutate_1_5_B_1_4,division2_mutate_1_5_B_1_4,division2_mutate_1_5_B_1_4,division2_mutate_1_4_B_1_5,division2_mutate_1_4_A_1_5,division2_mutate_1_4_B_1_5,division2_mutate_1_4_A_1_5,division2_mutate_1_4_B_1_5,division2_mutate_1_4_A_1_5,division2_mutate_1_5_B_1_4,division2_mutate_1_5_B_1_4,division2_mutate_1_5_A_1_4,division2_mutate_1_5_A_1_4,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_B_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_2_1_A_1_1,division2_mutate_1_1_B_2_1,division2_mutate_1_1_A_2_1,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_B_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_2_5_A_1_4,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,division2_mutate_1_4_B_2_5,division2_mutate_1_4_A_2_5,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_B_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_2_4_A_1_3,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,division2_mutate_1_3_B_2_4,division2_mutate_1_3_A_2_4,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 60 events :division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_B_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_4_4_A_3_3,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,division2_mutate_3_3_B_4_4,division2_mutate_3_3_A_4_4,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 659 events :division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_B_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division2_mutate_4_5_A_3_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_B_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_3_4_A_4_5,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_B_1_4,division1_mutate_1_1_A,division1_mutate_1_1_A,division2_mutate_1_3_A_1_4,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_B_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division2_mutate_1_4_A_1_3,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,division1_mutate_1_1_A,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_B_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_5_4_A_4_3,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,division2_mutate_4_3_B_5_4,division2_mutate_4_3_A_5_4,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_2_B_1_3,division2_mutate_1_2_A_1_3,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_B_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,division2_mutate_1_3_A_1_2,
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1639 redundant transitions.
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 247 ms
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.division1_mutate_2_4_A, u12.division1_mutate_2_4_B, u12.division1_replicate_2_4_A, u12.division1_replicate_2_4_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.division2_mutate_1_4_A_2_5, u13.division2_mutate_1_4_B_2_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu10_flat :[u10.division2_mutate_1_4_B_1_5, u10.division2_mutate_1_4_A_1_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.division1_replicate_3_5_A, u4.division1_replicate_3_5_B, u4.division1_mutate_3_5_B, u4.division1_mutate_3_5_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.division1_mutate_2_5_A, u13.division1_mutate_2_5_B, u13.division1_replicate_2_5_B, u13.division1_replicate_2_5_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.division1_replicate_3_4_A, u16.division1_mutate_3_4_B, u16.division1_mutate_3_4_A, u16.division1_replicate_3_4_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu10_flat :[u10.division1_replicate_1_5_A, u10.division1_replicate_1_5_B, u10.division1_mutate_1_5_A, u10.division1_mutate_1_5_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu10_flat :[u10.division2_mutate_1_5_B_1_4, u10.division2_mutate_1_5_A_1_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.division2_mutate_2_5_B_1_4, u13.division2_mutate_2_5_A_1_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u7.division2_mutate_4_3_B_5_4, i5.u7.division2_mutate_4_3_A_5_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u18.division2_mutate_4_2_B_3_1, i4.u18.division2_mutate_4_2_A_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u17.division2_mutate_3_1_B_4_1, i4.u17.division2_mutate_3_1_A_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u4.division2_mutate_3_5_B_2_4, i1.u4.division2_mutate_3_5_A_2_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u22.division2_mutate_4_4_B_5_5, i5.u22.division2_mutate_4_4_A_5_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub2 :[i2.u14.division2_mutate_3_1_B_2_1, i2.u14.division2_mutate_3_1_A_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u1.division2_mutate_2_1_A_1_1, i0.u1.division2_mutate_2_1_B_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub6 :[i6.u11.division2_mutate_1_2_B_2_3, i6.u11.division2_mutate_1_2_A_2_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u23.division2_mutate_4_5_B_3_4, i1.u23.division2_mutate_4_5_A_3_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub2 :[i2.u3.division2_mutate_3_2_B_2_1, i2.u3.division2_mutate_3_2_A_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u0.division2_mutate_1_1_A_1_2, i0.u0.division2_mutate_1_1_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u0.division2_mutate_1_2_B_1_1, i0.u0.division2_mutate_1_2_A_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u8.division2_mutate_1_2_B_1_1, i0.u8.division2_mutate_1_2_A_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u18.division2_mutate_3_1_A_4_2, i4.u18.division2_mutate_3_1_B_4_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u12.division2_mutate_2_4_A_1_3, i1.u12.division2_mutate_2_4_B_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u19.division2_mutate_4_3_A_3_2, i5.u19.division2_mutate_4_3_B_3_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.division2_mutate_3_3_A_2_2, u15.division2_mutate_3_3_B_2_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u6.division2_mutate_5_3_B_4_2, i5.u6.division2_mutate_5_3_A_4_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u8.division2_mutate_1_1_A_1_2, i0.u8.division2_mutate_1_1_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u16.division2_mutate_3_4_B_2_3, i1.u16.division2_mutate_3_4_A_2_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u6.division2_mutate_4_2_B_5_3, i5.u6.division2_mutate_4_2_A_5_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u23.division2_mutate_1_3_A_1_4, i1.u23.division2_mutate_1_3_B_1_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u7.division2_mutate_5_4_B_4_3, i5.u7.division2_mutate_5_4_A_4_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u20.division1_replicate_4_4_A, i5.u22.division1_mutate_5_5_A, i5.u20.division1_replicate_4_4_B, i5.u19.division1_replicate_4_3_A, i5.u22.division1_mutate_5_5_B, i5.u19.division1_replicate_4_3_B, i5.u6.division1_replicate_5_3_B, i5.u19.division1_mutate_4_3_A, i5.u6.division1_mutate_5_3_A, i5.u22.division1_replicate_5_5_A, i5.u6.division1_mutate_5_3_B, i5.u22.division1_replicate_5_5_B, i5.u7.division1_mutate_5_4_A, i5.u7.division1_mutate_5_4_B, i5.u19.division1_mutate_4_3_B, i5.u7.division1_replicate_5_4_A, i5.u7.division1_replicate_5_4_B, i5.u6.division1_replicate_5_3_A, i5.u20.division1_mutate_4_4_A, i5.u20.division1_mutate_4_4_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u1.division2_mutate_1_1_A_2_1, i0.u1.division2_mutate_1_1_B_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.division2_mutate_2_2_A_3_3, u15.division2_mutate_2_2_B_3_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u5.division2_mutate_5_1_A_4_1, i4.u5.division2_mutate_5_1_B_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub2 :[i2.u14.division2_mutate_2_1_B_3_1, i2.u14.division2_mutate_2_1_A_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u21.division2_mutate_4_1_B_5_2, i4.u21.division2_mutate_4_1_A_5_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub2 :[i2.u3.division1_replicate_3_2_B, i2.u3.division1_replicate_3_2_A, i2.u3.division1_mutate_3_2_A, i2.u3.division1_mutate_3_2_B, i2.u14.division1_replicate_3_1_B, i2.u14.division1_replicate_3_1_A, i2.u14.division1_mutate_3_1_B, i2.u14.division1_mutate_3_1_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u21.division2_mutate_5_2_B_4_1, i4.u21.division2_mutate_5_2_A_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u19.division2_mutate_3_2_B_4_3, i5.u19.division2_mutate_3_2_A_4_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u23.division2_mutate_1_4_A_1_3, i1.u23.division2_mutate_1_4_B_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u4.division2_mutate_2_4_B_3_5, i1.u4.division2_mutate_2_4_A_3_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u22.division2_mutate_5_5_B_4_4, i5.u22.division2_mutate_5_5_A_4_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub6 :[i6.u9.division2_mutate_1_3_A_1_2, i6.u9.division2_mutate_1_3_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u5.division2_mutate_4_1_B_5_1, i4.u5.division2_mutate_4_1_A_5_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.division1_replicate_3_3_A, u15.division1_mutate_3_3_A, u15.division1_replicate_3_3_B, u15.division1_mutate_3_3_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u16.division2_mutate_2_3_B_3_4, i1.u16.division2_mutate_2_3_A_3_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u20.division2_mutate_4_4_B_3_3, i5.u20.division2_mutate_4_4_A_3_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub5 :[i5.u20.division2_mutate_3_3_A_4_4, i5.u20.division2_mutate_3_3_B_4_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub2 :[i2.u3.division2_mutate_2_1_A_3_2, i2.u3.division2_mutate_2_1_B_3_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u8.division1_mutate_1_2_A, i0.u8.division1_mutate_1_2_B, i0.u0.division1_mutate_1_1_B, i0.u2.division1_replicate_2_2_A, i0.u2.division1_replicate_2_2_B, i0.u8.division1_replicate_1_2_B, i0.u0.division1_mutate_1_1_A, i0.u8.division1_replicate_1_2_A, i0.u1.division1_mutate_2_1_B, i0.u2.division1_mutate_2_2_B, i0.u2.division1_mutate_2_2_A, i0.u0.division1_replicate_1_1_A, i0.u1.division1_replicate_2_1_B, i0.u1.division1_mutate_2_1_A, i0.u0.division1_replicate_1_1_B, i0.u1.division1_replicate_2_1_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u2.division2_mutate_1_1_A_2_2, i0.u2.division2_mutate_1_1_B_2_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u17.division2_mutate_4_1_B_3_1, i4.u17.division2_mutate_4_1_A_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub6 :[i6.u9.division1_mutate_1_3_A, i6.u9.division1_replicate_1_3_A, i6.u9.division1_mutate_1_3_B, i6.u9.division1_replicate_1_3_B, i6.u11.division1_replicate_2_3_A, i6.u11.division1_replicate_2_3_B, i6.u11.division1_mutate_2_3_A, i6.u11.division1_mutate_2_3_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u12.division2_mutate_1_3_A_2_4, i1.u12.division2_mutate_1_3_B_2_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u17.division1_mutate_4_1_A, i4.u17.division1_mutate_4_1_B, i4.u18.division1_mutate_4_2_A, i4.u18.division1_mutate_4_2_B, i4.u5.division1_mutate_5_1_A, i4.u5.division1_mutate_5_1_B, i4.u5.division1_replicate_5_1_B, i4.u17.division1_replicate_4_1_A, i4.u18.division1_replicate_4_2_A, i4.u5.division1_replicate_5_1_A, i4.u17.division1_replicate_4_1_B, i4.u18.division1_replicate_4_2_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub0 :[i0.u2.division2_mutate_2_2_A_1_1, i0.u2.division2_mutate_2_2_B_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub1 :[i1.u23.division2_mutate_3_4_B_4_5, i1.u23.division2_mutate_3_4_A_4_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub6 :[i6.u11.division2_mutate_2_3_B_1_2, i6.u11.division2_mutate_2_3_A_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub6 :[i6.u9.division2_mutate_1_2_A_1_3, i6.u9.division2_mutate_1_2_B_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in PhaseVariation_PT_D05CS100_flat_flat_flat_mod_flat_sub4 :[i4.u21.division1_mutate_5_2_A, i4.u21.division1_replicate_5_2_A, i4.u21.division1_mutate_5_2_B, i4.u21.division1_replicate_5_2_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu0_flat :[u0.division2_mutate_1_2_B_1_1, u0.division2_mutate_1_2_A_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.division2_mutate_1_1_A_1_2, u8.division2_mutate_1_1_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.division2_mutate_1_1_A_2_1, u1.division2_mutate_1_1_B_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.division2_mutate_2_1_B_1_1, u1.division2_mutate_2_1_A_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu0_flat :[u0.division1_replicate_1_1_A, u0.division1_replicate_1_1_B, u0.division1_mutate_1_1_B, u0.division1_mutate_1_1_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.division2_mutate_2_2_A_1_1, u2.division2_mutate_2_2_B_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu0_flat :[u0.division2_mutate_1_1_A_1_2, u0.division2_mutate_1_1_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.division2_mutate_1_2_B_1_1, u8.division2_mutate_1_2_A_1_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.division2_mutate_1_1_A_2_2, u2.division2_mutate_1_1_B_2_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.division1_replicate_2_1_A, u1.division1_replicate_2_1_B, u1.division1_mutate_2_1_B, u1.division1_mutate_2_1_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.division1_replicate_1_2_B, u8.division1_replicate_1_2_A, u8.division1_mutate_1_2_B, u8.division1_mutate_1_2_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.division1_replicate_2_2_A, u2.division1_replicate_2_2_B, u2.division1_mutate_2_2_A, u2.division1_mutate_2_2_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.division2_mutate_3_5_A_2_4, u4.division2_mutate_3_5_B_2_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.division2_mutate_1_3_B_1_4, u23.division2_mutate_1_3_A_1_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.division2_mutate_3_4_A_4_5, u23.division2_mutate_3_4_B_4_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.division2_mutate_1_4_A_1_3, u23.division2_mutate_1_4_B_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.division2_mutate_2_4_B_1_3, u12.division2_mutate_2_4_A_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.division2_mutate_3_4_A_2_3, u16.division2_mutate_3_4_B_2_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.division2_mutate_4_5_A_3_4, u23.division2_mutate_4_5_B_3_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.division2_mutate_2_4_B_3_5, u4.division2_mutate_2_4_A_3_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.division2_mutate_1_3_B_2_4, u12.division2_mutate_1_3_A_2_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.division2_mutate_2_3_A_3_4, u16.division2_mutate_2_3_B_3_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.division1_replicate_3_2_A, u3.division1_replicate_3_2_B, u3.division1_mutate_3_2_A, u3.division1_mutate_3_2_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.division2_mutate_2_1_A_3_2, u3.division2_mutate_2_1_B_3_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu3_flat :[u3.division2_mutate_3_2_A_2_1, u3.division2_mutate_3_2_B_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.division1_mutate_3_1_B, u14.division1_mutate_3_1_A, u14.division1_replicate_3_1_A, u14.division1_replicate_3_1_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.division2_mutate_2_1_A_3_1, u14.division2_mutate_2_1_B_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.division2_mutate_3_1_A_2_1, u14.division2_mutate_3_1_B_2_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.division2_mutate_5_2_B_4_1, u21.division2_mutate_5_2_A_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.division2_mutate_3_1_A_4_2, u18.division2_mutate_3_1_B_4_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu17_flat :[u17.division2_mutate_3_1_B_4_1, u17.division2_mutate_3_1_A_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu17_flat :[u17.division2_mutate_4_1_A_3_1, u17.division2_mutate_4_1_B_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.division1_replicate_4_2_B, u18.division1_replicate_4_2_A, u18.division1_mutate_4_2_B, u18.division1_mutate_4_2_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.division1_replicate_5_1_A, u5.division1_replicate_5_1_B, u5.division1_mutate_5_1_A, u5.division1_mutate_5_1_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.division2_mutate_4_1_B_5_2, u21.division2_mutate_4_1_A_5_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu17_flat :[u17.division1_replicate_4_1_A, u17.division1_replicate_4_1_B, u17.division1_mutate_4_1_A, u17.division1_mutate_4_1_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.division2_mutate_4_2_B_3_1, u18.division2_mutate_4_2_A_3_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.division2_mutate_4_1_A_5_1, u5.division2_mutate_4_1_B_5_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu21_flat :[u21.division1_replicate_5_2_A, u21.division1_replicate_5_2_B, u21.division1_mutate_5_2_A, u21.division1_mutate_5_2_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.division2_mutate_5_1_B_4_1, u5.division2_mutate_5_1_A_4_1]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.division2_mutate_4_3_A_3_2, u19.division2_mutate_4_3_B_3_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.division2_mutate_4_4_A_5_5, u22.division2_mutate_4_4_B_5_5]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.division2_mutate_3_3_B_4_4, u20.division2_mutate_3_3_A_4_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.division2_mutate_4_2_B_5_3, u6.division2_mutate_4_2_A_5_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.division1_replicate_5_3_B, u6.division1_replicate_5_3_A, u6.division1_mutate_5_3_B, u6.division1_mutate_5_3_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.division2_mutate_3_2_A_4_3, u19.division2_mutate_3_2_B_4_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.division1_mutate_4_4_A, u20.division1_mutate_4_4_B, u20.division1_replicate_4_4_A, u20.division1_replicate_4_4_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.division2_mutate_4_4_A_3_3, u20.division2_mutate_4_4_B_3_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.division2_mutate_4_3_B_5_4, u7.division2_mutate_4_3_A_5_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.division1_mutate_4_3_A, u19.division1_mutate_4_3_B, u19.division1_replicate_4_3_A, u19.division1_replicate_4_3_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.division2_mutate_5_4_A_4_3, u7.division2_mutate_5_4_B_4_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.division1_mutate_5_5_B, u22.division1_mutate_5_5_A, u22.division1_replicate_5_5_A, u22.division1_replicate_5_5_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.division2_mutate_5_3_A_4_2, u6.division2_mutate_5_3_B_4_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.division2_mutate_5_5_B_4_4, u22.division2_mutate_5_5_A_4_4]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.division1_replicate_5_4_B, u7.division1_mutate_5_4_A, u7.division1_replicate_5_4_A, u7.division1_mutate_5_4_B]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.division2_mutate_1_2_A_2_3, u11.division2_mutate_1_2_B_2_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.division2_mutate_1_3_A_1_2, u9.division2_mutate_1_3_B_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.division1_replicate_2_3_B, u11.division1_replicate_2_3_A, u11.division1_mutate_2_3_B, u11.division1_mutate_2_3_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.division1_replicate_1_3_A, u9.division1_replicate_1_3_B, u9.division1_mutate_1_3_B, u9.division1_mutate_1_3_A]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.division2_mutate_2_3_B_1_2, u11.division2_mutate_2_3_A_1_2]
Mar 27, 2019 9:19:42 AM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.division2_mutate_1_2_B_1_3, u9.division2_mutate_1_2_A_1_3]
Mar 27, 2019 9:19:42 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 3 ms
Mar 27, 2019 9:19:42 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 0 ms
Mar 27, 2019 9:19:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/677) took 2401484 ms. Total solver calls (SAT/UNSAT): 221923(221923/0)
Mar 27, 2019 9:19:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(559/677) took 2404602 ms. Total solver calls (SAT/UNSAT): 222040(222040/0)
Mar 27, 2019 9:19:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/677) took 2407765 ms. Total solver calls (SAT/UNSAT): 222156(222156/0)
Mar 27, 2019 9:19:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(561/677) took 2411603 ms. Total solver calls (SAT/UNSAT): 222271(222271/0)
Mar 27, 2019 9:19:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(562/677) took 2414753 ms. Total solver calls (SAT/UNSAT): 222385(222385/0)
Mar 27, 2019 9:20:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(563/677) took 2418929 ms. Total solver calls (SAT/UNSAT): 222498(222498/0)
Mar 27, 2019 9:20:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(564/677) took 2422485 ms. Total solver calls (SAT/UNSAT): 222610(222610/0)
Mar 27, 2019 9:20:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(565/677) took 2425585 ms. Total solver calls (SAT/UNSAT): 222721(222721/0)
Mar 27, 2019 9:20:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/677) took 2429169 ms. Total solver calls (SAT/UNSAT): 222831(222831/0)
Mar 27, 2019 9:20:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(568/677) took 2434691 ms. Total solver calls (SAT/UNSAT): 223048(223048/0)
Mar 27, 2019 9:20:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(570/677) took 2440412 ms. Total solver calls (SAT/UNSAT): 223261(223261/0)
Mar 27, 2019 9:20:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/677) took 2443938 ms. Total solver calls (SAT/UNSAT): 223366(223366/0)
Mar 27, 2019 9:20:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(573/677) took 2449548 ms. Total solver calls (SAT/UNSAT): 223573(223573/0)
Mar 27, 2019 9:20:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(574/677) took 2452803 ms. Total solver calls (SAT/UNSAT): 223675(223675/0)
Mar 27, 2019 9:20:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(576/677) took 2457759 ms. Total solver calls (SAT/UNSAT): 223876(223876/0)
Mar 27, 2019 9:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(578/677) took 2463764 ms. Total solver calls (SAT/UNSAT): 224073(224073/0)
Mar 27, 2019 9:20:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(580/677) took 2468962 ms. Total solver calls (SAT/UNSAT): 224266(224266/0)
Mar 27, 2019 9:20:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(581/677) took 2471999 ms. Total solver calls (SAT/UNSAT): 224361(224361/0)
Mar 27, 2019 9:20:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(583/677) took 2476362 ms. Total solver calls (SAT/UNSAT): 224548(224548/0)
Mar 27, 2019 9:21:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(585/677) took 2480727 ms. Total solver calls (SAT/UNSAT): 224731(224731/0)
Mar 27, 2019 9:21:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(587/677) took 2485701 ms. Total solver calls (SAT/UNSAT): 224910(224910/0)
Mar 27, 2019 9:21:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/677) took 2490397 ms. Total solver calls (SAT/UNSAT): 225085(225085/0)
Mar 27, 2019 9:21:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/677) took 2495854 ms. Total solver calls (SAT/UNSAT): 225256(225256/0)
Mar 27, 2019 9:21:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(593/677) took 2500984 ms. Total solver calls (SAT/UNSAT): 225423(225423/0)
Mar 27, 2019 9:21:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(596/677) took 2505505 ms. Total solver calls (SAT/UNSAT): 225666(225666/0)
Mar 27, 2019 9:21:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(598/677) took 2509850 ms. Total solver calls (SAT/UNSAT): 225823(225823/0)
Mar 27, 2019 9:21:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(600/677) took 2514440 ms. Total solver calls (SAT/UNSAT): 225976(225976/0)
Mar 27, 2019 9:21:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(602/677) took 2518514 ms. Total solver calls (SAT/UNSAT): 226125(226125/0)
Mar 27, 2019 9:21:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/677) took 2522512 ms. Total solver calls (SAT/UNSAT): 226270(226270/0)
Mar 27, 2019 9:21:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/677) took 2526506 ms. Total solver calls (SAT/UNSAT): 226411(226411/0)
Mar 27, 2019 9:21:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(608/677) took 2530717 ms. Total solver calls (SAT/UNSAT): 226548(226548/0)
Mar 27, 2019 9:21:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(612/677) took 2534430 ms. Total solver calls (SAT/UNSAT): 226810(226810/0)
Mar 27, 2019 9:22:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(615/677) took 2538361 ms. Total solver calls (SAT/UNSAT): 226996(226996/0)
Mar 27, 2019 9:22:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(619/677) took 2541927 ms. Total solver calls (SAT/UNSAT): 227230(227230/0)
Mar 27, 2019 9:22:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/677) took 2545338 ms. Total solver calls (SAT/UNSAT): 227341(227341/0)
Mar 27, 2019 9:22:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(623/677) took 2548826 ms. Total solver calls (SAT/UNSAT): 227448(227448/0)
Mar 27, 2019 9:22:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(625/677) took 2552057 ms. Total solver calls (SAT/UNSAT): 227551(227551/0)
Mar 27, 2019 9:22:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(628/677) took 2556419 ms. Total solver calls (SAT/UNSAT): 227698(227698/0)
Mar 27, 2019 9:22:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(631/677) took 2559977 ms. Total solver calls (SAT/UNSAT): 227836(227836/0)
Mar 27, 2019 9:22:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(634/677) took 2563671 ms. Total solver calls (SAT/UNSAT): 227965(227965/0)
Mar 27, 2019 9:22:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/677) took 2567690 ms. Total solver calls (SAT/UNSAT): 228085(228085/0)
Mar 27, 2019 9:22:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/677) took 2571034 ms. Total solver calls (SAT/UNSAT): 228196(228196/0)
Mar 27, 2019 9:22:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(643/677) took 2574109 ms. Total solver calls (SAT/UNSAT): 228298(228298/0)
Mar 27, 2019 9:22:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(647/677) took 2577809 ms. Total solver calls (SAT/UNSAT): 228420(228420/0)
Mar 27, 2019 9:22:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(653/677) took 2580903 ms. Total solver calls (SAT/UNSAT): 228573(228573/0)
Mar 27, 2019 9:22:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 2582305 ms. Total solver calls (SAT/UNSAT): 228826(228826/0)
Mar 27, 2019 9:22:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 677 transitions.
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="PhaseVariation-PT-D05CS100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstoolsm"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstoolsm"
echo " Input is PhaseVariation-PT-D05CS100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r197-oct2-155272231200610"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D05CS100.tgz
mv PhaseVariation-PT-D05CS100 execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;