Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 44K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool itstoolsl
Input is Peterson-COL-4, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r261-csrt-152732586000152
=====================================================================

--------------------
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 Peterson-COL-4-LTLFireability-00
FORMULA_NAME Peterson-COL-4-LTLFireability-01
FORMULA_NAME Peterson-COL-4-LTLFireability-02
FORMULA_NAME Peterson-COL-4-LTLFireability-03
FORMULA_NAME Peterson-COL-4-LTLFireability-04
FORMULA_NAME Peterson-COL-4-LTLFireability-05
FORMULA_NAME Peterson-COL-4-LTLFireability-06
FORMULA_NAME Peterson-COL-4-LTLFireability-07
FORMULA_NAME Peterson-COL-4-LTLFireability-08
FORMULA_NAME Peterson-COL-4-LTLFireability-09
FORMULA_NAME Peterson-COL-4-LTLFireability-10
FORMULA_NAME Peterson-COL-4-LTLFireability-11
FORMULA_NAME Peterson-COL-4-LTLFireability-12
FORMULA_NAME Peterson-COL-4-LTLFireability-13
FORMULA_NAME Peterson-COL-4-LTLFireability-14
FORMULA_NAME Peterson-COL-4-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1527504340411

10:45:43.129 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
10:45:43.132 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/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.201805241334/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 : !((G("((((((((((((((((((((isEndLoop_4>=1)||(isEndLoop_24>=1))||(isEndLoop_44>=1))||(isEndLoop_64>=1))||(isEndLoop_84>=1))||(isEndLoop_9>=1))||(isEndLoop_29>=1))||(isEndLoop_49>=1))||(isEndLoop_69>=1))||(isEndLoop_89>=1))||(isEndLoop_14>=1))||(isEndLoop_34>=1))||(isEndLoop_54>=1))||(isEndLoop_74>=1))||(isEndLoop_94>=1))||(isEndLoop_19>=1))||(isEndLoop_39>=1))||(isEndLoop_59>=1))||(isEndLoop_79>=1))||(isEndLoop_99>=1))")))
Formula 0 simplified : !G"((((((((((((((((((((isEndLoop_4>=1)||(isEndLoop_24>=1))||(isEndLoop_44>=1))||(isEndLoop_64>=1))||(isEndLoop_84>=1))||(isEndLoop_9>=1))||(isEndLoop_29>=1))||(isEndLoop_49>=1))||(isEndLoop_69>=1))||(isEndLoop_89>=1))||(isEndLoop_14>=1))||(isEndLoop_34>=1))||(isEndLoop_54>=1))||(isEndLoop_74>=1))||(isEndLoop_94>=1))||(isEndLoop_19>=1))||(isEndLoop_39>=1))||(isEndLoop_59>=1))||(isEndLoop_79>=1))||(isEndLoop_99>=1))"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 670
// Phase 1: matrix 670 rows 500 cols
invariant :wantSection_4 + wantSection_5 = 1
invariant :idle_0 + wantSection_1 = 1
invariant :-1'wantSection_3 + askForSection_4 + askForSection_5 + askForSection_6 + askForSection_7 + testTurn_4 + testTurn_5 + testTurn_6 + testTurn_7 + beginLoop_20 + beginLoop_21 + beginLoop_22 + beginLoop_23 + beginLoop_24 + beginLoop_25 + beginLoop_26 + beginLoop_27 + beginLoop_28 + beginLoop_29 + beginLoop_30 + beginLoop_31 + beginLoop_32 + beginLoop_33 + beginLoop_34 + beginLoop_35 + beginLoop_36 + beginLoop_37 + beginLoop_38 + beginLoop_39 + endTurn_4 + endTurn_5 + endTurn_6 + endTurn_7 + CS_1 + testIdentity_20 + testIdentity_21 + testIdentity_22 + testIdentity_23 + testIdentity_24 + testIdentity_25 + testIdentity_26 + testIdentity_27 + testIdentity_28 + testIdentity_29 + testIdentity_30 + testIdentity_31 + testIdentity_32 + testIdentity_33 + testIdentity_34 + testIdentity_35 + testIdentity_36 + testIdentity_37 + testIdentity_38 + testIdentity_39 + testAlone_20 + testAlone_21 + testAlone_22 + testAlone_23 + testAlone_24 + testAlone_25 + testAlone_26 + testAlone_27 + testAlone_28 + testAlone_29 + testAlone_30 + testAlone_31 + testAlone_32 + testAlone_33 + testAlone_34 + testAlone_35 + testAlone_36 + testAlone_37 + testAlone_38 + testAlone_39 + isEndLoop_20 + isEndLoop_21 + isEndLoop_22 + isEndLoop_23 + isEndLoop_24 + isEndLoop_25 + isEndLoop_26 + isEndLoop_27 + isEndLoop_28 + isEndLoop_29 + isEndLoop_30 + isEndLoop_31 + isEndLoop_32 + isEndLoop_33 + isEndLoop_34 + isEndLoop_35 + isEndLoop_36 + isEndLoop_37 + isEndLoop_38 + isEndLoop_39 = 0
invariant :turn_10 + turn_11 + turn_12 + turn_13 + turn_14 = 1
invariant :wantSection_0 + wantSection_1 = 1
invariant :turn_15 + turn_16 + turn_17 + turn_18 + turn_19 = 1
invariant :-1'wantSection_1 + askForSection_0 + askForSection_1 + askForSection_2 + askForSection_3 + testTurn_0 + testTurn_1 + testTurn_2 + testTurn_3 + beginLoop_0 + beginLoop_1 + beginLoop_2 + beginLoop_3 + beginLoop_4 + beginLoop_5 + beginLoop_6 + beginLoop_7 + beginLoop_8 + beginLoop_9 + beginLoop_10 + beginLoop_11 + beginLoop_12 + beginLoop_13 + beginLoop_14 + beginLoop_15 + beginLoop_16 + beginLoop_17 + beginLoop_18 + beginLoop_19 + endTurn_0 + endTurn_1 + endTurn_2 + endTurn_3 + CS_0 + testIdentity_0 + testIdentity_1 + testIdentity_2 + testIdentity_3 + testIdentity_4 + testIdentity_5 + testIdentity_6 + testIdentity_7 + testIdentity_8 + testIdentity_9 + testIdentity_10 + testIdentity_11 + testIdentity_12 + testIdentity_13 + testIdentity_14 + testIdentity_15 + testIdentity_16 + testIdentity_17 + testIdentity_18 + testIdentity_19 + testAlone_0 + testAlone_1 + testAlone_2 + testAlone_3 + testAlone_4 + testAlone_5 + testAlone_6 + testAlone_7 + testAlone_8 + testAlone_9 + testAlone_10 + testAlone_11 + testAlone_12 + testAlone_13 + testAlone_14 + testAlone_15 + testAlone_16 + testAlone_17 + testAlone_18 + testAlone_19 + isEndLoop_0 + isEndLoop_1 + isEndLoop_2 + isEndLoop_3 + isEndLoop_4 + isEndLoop_5 + isEndLoop_6 + isEndLoop_7 + isEndLoop_8 + isEndLoop_9 + isEndLoop_10 + isEndLoop_11 + isEndLoop_12 + isEndLoop_13 + isEndLoop_14 + isEndLoop_15 + isEndLoop_16 + isEndLoop_17 + isEndLoop_18 + isEndLoop_19 = 0
invariant :wantSection_6 + wantSection_7 = 1
invariant :turn_0 + turn_1 + turn_2 + turn_3 + turn_4 = 1
invariant :idle_2 + wantSection_5 = 1
invariant :-1'wantSection_7 + askForSection_12 + askForSection_13 + askForSection_14 + askForSection_15 + testTurn_12 + testTurn_13 + testTurn_14 + testTurn_15 + beginLoop_60 + beginLoop_61 + beginLoop_62 + beginLoop_63 + beginLoop_64 + beginLoop_65 + beginLoop_66 + beginLoop_67 + beginLoop_68 + beginLoop_69 + beginLoop_70 + beginLoop_71 + beginLoop_72 + beginLoop_73 + beginLoop_74 + beginLoop_75 + beginLoop_76 + beginLoop_77 + beginLoop_78 + beginLoop_79 + endTurn_12 + endTurn_13 + endTurn_14 + endTurn_15 + CS_3 + testIdentity_60 + testIdentity_61 + testIdentity_62 + testIdentity_63 + testIdentity_64 + testIdentity_65 + testIdentity_66 + testIdentity_67 + testIdentity_68 + testIdentity_69 + testIdentity_70 + testIdentity_71 + testIdentity_72 + testIdentity_73 + testIdentity_74 + testIdentity_75 + testIdentity_76 + testIdentity_77 + testIdentity_78 + testIdentity_79 + testAlone_60 + testAlone_61 + testAlone_62 + testAlone_63 + testAlone_64 + testAlone_65 + testAlone_66 + testAlone_67 + testAlone_68 + testAlone_69 + testAlone_70 + testAlone_71 + testAlone_72 + testAlone_73 + testAlone_74 + testAlone_75 + testAlone_76 + testAlone_77 + testAlone_78 + testAlone_79 + isEndLoop_60 + isEndLoop_61 + isEndLoop_62 + isEndLoop_63 + isEndLoop_64 + isEndLoop_65 + isEndLoop_66 + isEndLoop_67 + isEndLoop_68 + isEndLoop_69 + isEndLoop_70 + isEndLoop_71 + isEndLoop_72 + isEndLoop_73 + isEndLoop_74 + isEndLoop_75 + isEndLoop_76 + isEndLoop_77 + isEndLoop_78 + isEndLoop_79 = 0
invariant :idle_4 + wantSection_9 = 1
invariant :wantSection_2 + wantSection_3 = 1
invariant :-1'wantSection_9 + askForSection_16 + askForSection_17 + askForSection_18 + askForSection_19 + testTurn_16 + testTurn_17 + testTurn_18 + testTurn_19 + beginLoop_80 + beginLoop_81 + beginLoop_82 + beginLoop_83 + beginLoop_84 + beginLoop_85 + beginLoop_86 + beginLoop_87 + beginLoop_88 + beginLoop_89 + beginLoop_90 + beginLoop_91 + beginLoop_92 + beginLoop_93 + beginLoop_94 + beginLoop_95 + beginLoop_96 + beginLoop_97 + beginLoop_98 + beginLoop_99 + endTurn_16 + endTurn_17 + endTurn_18 + endTurn_19 + CS_4 + testIdentity_80 + testIdentity_81 + testIdentity_82 + testIdentity_83 + testIdentity_84 + testIdentity_85 + testIdentity_86 + testIdentity_87 + testIdentity_88 + testIdentity_89 + testIdentity_90 + testIdentity_91 + testIdentity_92 + testIdentity_93 + testIdentity_94 + testIdentity_95 + testIdentity_96 + testIdentity_97 + testIdentity_98 + testIdentity_99 + testAlone_80 + testAlone_81 + testAlone_82 + testAlone_83 + testAlone_84 + testAlone_85 + testAlone_86 + testAlone_87 + testAlone_88 + testAlone_89 + testAlone_90 + testAlone_91 + testAlone_92 + testAlone_93 + testAlone_94 + testAlone_95 + testAlone_96 + testAlone_97 + testAlone_98 + testAlone_99 + isEndLoop_80 + isEndLoop_81 + isEndLoop_82 + isEndLoop_83 + isEndLoop_84 + isEndLoop_85 + isEndLoop_86 + isEndLoop_87 + isEndLoop_88 + isEndLoop_89 + isEndLoop_90 + isEndLoop_91 + isEndLoop_92 + isEndLoop_93 + isEndLoop_94 + isEndLoop_95 + isEndLoop_96 + isEndLoop_97 + isEndLoop_98 + isEndLoop_99 = 0
invariant :wantSection_8 + wantSection_9 = 1
invariant :idle_3 + wantSection_7 = 1
invariant :idle_1 + wantSection_3 = 1
invariant :-1'wantSection_5 + askForSection_8 + askForSection_9 + askForSection_10 + askForSection_11 + testTurn_8 + testTurn_9 + testTurn_10 + testTurn_11 + beginLoop_40 + beginLoop_41 + beginLoop_42 + beginLoop_43 + beginLoop_44 + beginLoop_45 + beginLoop_46 + beginLoop_47 + beginLoop_48 + beginLoop_49 + beginLoop_50 + beginLoop_51 + beginLoop_52 + beginLoop_53 + beginLoop_54 + beginLoop_55 + beginLoop_56 + beginLoop_57 + beginLoop_58 + beginLoop_59 + endTurn_8 + endTurn_9 + endTurn_10 + endTurn_11 + CS_2 + testIdentity_40 + testIdentity_41 + testIdentity_42 + testIdentity_43 + testIdentity_44 + testIdentity_45 + testIdentity_46 + testIdentity_47 + testIdentity_48 + testIdentity_49 + testIdentity_50 + testIdentity_51 + testIdentity_52 + testIdentity_53 + testIdentity_54 + testIdentity_55 + testIdentity_56 + testIdentity_57 + testIdentity_58 + testIdentity_59 + testAlone_40 + testAlone_41 + testAlone_42 + testAlone_43 + testAlone_44 + testAlone_45 + testAlone_46 + testAlone_47 + testAlone_48 + testAlone_49 + testAlone_50 + testAlone_51 + testAlone_52 + testAlone_53 + testAlone_54 + testAlone_55 + testAlone_56 + testAlone_57 + testAlone_58 + testAlone_59 + isEndLoop_40 + isEndLoop_41 + isEndLoop_42 + isEndLoop_43 + isEndLoop_44 + isEndLoop_45 + isEndLoop_46 + isEndLoop_47 + isEndLoop_48 + isEndLoop_49 + isEndLoop_50 + isEndLoop_51 + isEndLoop_52 + isEndLoop_53 + isEndLoop_54 + isEndLoop_55 + isEndLoop_56 + isEndLoop_57 + isEndLoop_58 + isEndLoop_59 = 0
invariant :turn_5 + turn_6 + turn_7 + turn_8 + turn_9 = 1
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
sparsehash FATAL ERROR: failed to allocate 38 groups
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Could not compile executable .CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]

BK_STOP 1527505206958

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -consoleLog -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/ -louvain -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
May 28, 2018 10:45:42 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/, -louvain, -smt]
May 28, 2018 10:45:42 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 28, 2018 10:45:42 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1029 ms
May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 places.
May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :ProcTourProc->beginLoop,testIdentity,testAlone,isEndLoop,
ProcBool->wantSection,
ProcTour->askForSection,testTurn,endTurn,
TourProc->turn,
Process->idle,CS,

May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 14 transitions.
May 28, 2018 10:45:43 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 28, 2018 10:45:43 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 11 ms
May 28, 2018 10:45:43 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 28, 2018 10:45:43 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 65.0 instantiations of transitions. Total transitions/syncs built is 735
May 28, 2018 10:45:44 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 163 ms
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 82 ms
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 72 ms
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to idle_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to idle_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to idle_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to idle_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to idle_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to wantSection_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to askForSection_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to turn_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testTurn_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_20 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_21 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_22 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_23 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_24 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_25 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_26 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_27 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_28 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_29 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_30 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_31 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_32 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_33 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_34 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_35 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_36 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_37 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_38 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_39 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_40 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_41 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_42 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_43 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_44 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_45 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_46 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_47 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_48 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_49 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_50 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_51 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_52 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_53 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_54 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_55 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_56 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_57 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_58 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_59 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_60 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_61 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_62 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_63 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_64 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_65 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_66 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_67 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_68 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_69 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_70 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_71 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_72 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_73 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_74 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_75 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_76 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_77 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_78 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_79 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_80 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_81 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_82 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_83 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_84 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_85 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_86 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_87 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_88 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_89 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_90 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_91 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_92 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_93 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_94 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_95 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_96 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_97 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_98 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to beginLoop_99 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to endTurn_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CS_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CS_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CS_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CS_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to CS_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_20 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_21 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_22 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_23 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_24 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_25 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_26 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_27 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_28 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_29 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_30 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_31 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_32 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_33 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_34 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_35 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_36 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_37 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_38 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_39 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_40 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_41 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_42 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_43 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_44 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_45 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_46 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_47 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_48 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_49 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_50 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_51 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_52 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_53 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_54 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_55 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_56 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_57 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_58 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_59 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_60 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_61 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_62 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_63 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_64 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_65 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_66 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_67 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_68 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_69 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_70 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_71 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_72 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_73 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_74 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_75 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_76 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_77 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_78 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_79 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_80 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_81 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_82 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_83 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_84 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_85 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_86 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_87 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_88 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_89 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_90 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_91 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_92 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_93 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_94 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_95 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_96 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_97 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_98 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testIdentity_99 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_20 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_21 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_22 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_23 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_24 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_25 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_26 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_27 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_28 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_29 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_30 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_31 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_32 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_33 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_34 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_35 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_36 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_37 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_38 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_39 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_40 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_41 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_42 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_43 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_44 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_45 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_46 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_47 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_48 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_49 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_50 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_51 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_52 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_53 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_54 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_55 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_56 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_57 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_58 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_59 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_60 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_61 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_62 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_63 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_64 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_65 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_66 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_67 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_68 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_69 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_70 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_71 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_72 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_73 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_74 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_75 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_76 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_77 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_78 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_79 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_80 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_81 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_82 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_83 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_84 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_85 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_86 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_87 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_88 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_89 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_90 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_91 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_92 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_93 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_94 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_95 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_96 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_97 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_98 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to testAlone_99 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_0 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_1 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_2 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_3 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_4 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_5 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_6 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_7 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_8 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_9 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_10 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_11 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_12 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_13 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_14 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_15 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_16 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_17 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_18 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_19 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_20 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_21 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_22 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_23 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_24 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_25 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_26 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_27 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_28 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_29 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_30 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_31 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_32 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_33 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_34 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_35 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_36 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_37 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_38 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_39 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_40 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_41 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_42 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_43 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_44 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_45 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_46 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_47 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_48 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_49 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_50 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_51 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_52 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_53 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_54 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_55 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_56 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_57 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_58 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_59 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_60 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_61 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_62 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_63 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_64 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_65 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_66 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_67 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_68 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_69 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_70 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_71 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_72 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_73 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_74 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_75 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_76 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_77 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_78 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_79 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_80 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_81 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_82 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_83 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_84 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_85 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_86 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_87 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_88 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_89 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_90 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_91 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_92 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_93 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_94 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_95 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_96 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_97 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_98 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.CompositeBuilder$Partition getIndex
INFO: Could not find partition element corresponding to isEndLoop_99 in partition

May 28, 2018 10:45:45 AM fr.lip6.move.gal.application.MccTranslator applyOrder
WARNING: Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: -1
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:434)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:145)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:120)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:147)
at fr.lip6.move.gal.application.Application.start(Application.java:235)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:40)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1499)
at org.eclipse.equinox.launcher.Main.main(Main.java:1472)
May 28, 2018 10:45:45 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 70 ms
May 28, 2018 10:45:45 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 23 ms
May 28, 2018 10:45:45 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 7 ms
May 28, 2018 10:45:45 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 720 transitions. Expanding to a total of 735 deterministic transitions.
May 28, 2018 10:45:45 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 10 ms.
May 28, 2018 10:45:46 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 19 place invariants in 185 ms
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 500 variables to be positive in 1070 ms
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 730 transitions.
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/730 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 80 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 730 transitions.
May 28, 2018 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 29 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 28, 2018 10:46:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 730 transitions.
May 28, 2018 10:46:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(0/730) took 310 ms. Total solver calls (SAT/UNSAT): 41(20/21)
May 28, 2018 10:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(11/730) took 3447 ms. Total solver calls (SAT/UNSAT): 1584(1218/366)
May 28, 2018 10:46:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/730) took 6580 ms. Total solver calls (SAT/UNSAT): 2727(2169/558)
May 28, 2018 10:46:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/730) took 9805 ms. Total solver calls (SAT/UNSAT): 4015(3270/745)
May 28, 2018 10:46:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/730) took 12856 ms. Total solver calls (SAT/UNSAT): 5294(4360/934)
May 28, 2018 10:46:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/730) took 16017 ms. Total solver calls (SAT/UNSAT): 5870(4825/1045)
May 28, 2018 10:46:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(42/730) took 19639 ms. Total solver calls (SAT/UNSAT): 7362(6054/1308)
May 28, 2018 10:46:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(49/730) took 22656 ms. Total solver calls (SAT/UNSAT): 8615(7120/1495)
May 28, 2018 10:46:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(58/730) took 25735 ms. Total solver calls (SAT/UNSAT): 10234(8475/1759)
May 28, 2018 10:46:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/730) took 30342 ms. Total solver calls (SAT/UNSAT): 10789(8923/1866)
May 28, 2018 10:46:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/730) took 35222 ms. Total solver calls (SAT/UNSAT): 11694(9666/2028)
May 28, 2018 10:46:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/730) took 39135 ms. Total solver calls (SAT/UNSAT): 12400(10257/2143)
May 28, 2018 10:46:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(74/730) took 42367 ms. Total solver calls (SAT/UNSAT): 13090(10845/2245)
May 28, 2018 10:47:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(79/730) took 46455 ms. Total solver calls (SAT/UNSAT): 13930(11575/2355)
May 28, 2018 10:47:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/730) took 53540 ms. Total solver calls (SAT/UNSAT): 14299(11865/2434)
May 28, 2018 10:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(82/730) took 59554 ms. Total solver calls (SAT/UNSAT): 14482(12010/2472)
May 28, 2018 10:47:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/730) took 64847 ms. Total solver calls (SAT/UNSAT): 15025(12444/2581)
May 28, 2018 10:47:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(90/730) took 68274 ms. Total solver calls (SAT/UNSAT): 15910(13163/2747)
May 28, 2018 10:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/730) took 71317 ms. Total solver calls (SAT/UNSAT): 16429(13592/2837)
May 28, 2018 10:47:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(97/730) took 74691 ms. Total solver calls (SAT/UNSAT): 17107(14161/2946)
May 28, 2018 10:47:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/730) took 78909 ms. Total solver calls (SAT/UNSAT): 17932(14868/3064)
May 28, 2018 10:47:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/730) took 82832 ms. Total solver calls (SAT/UNSAT): 18255(15150/3105)
May 28, 2018 10:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(106/730) took 86118 ms. Total solver calls (SAT/UNSAT): 18574(15430/3144)
May 28, 2018 10:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/730) took 91428 ms. Total solver calls (SAT/UNSAT): 18889(15710/3179)
May 28, 2018 10:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(110/730) took 95818 ms. Total solver calls (SAT/UNSAT): 19204(15989/3215)
May 28, 2018 10:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/730) took 99525 ms. Total solver calls (SAT/UNSAT): 19988(16683/3305)
May 28, 2018 10:47:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/730) took 102590 ms. Total solver calls (SAT/UNSAT): 20923(17509/3414)
May 28, 2018 10:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/730) took 105881 ms. Total solver calls (SAT/UNSAT): 22135(18600/3535)
May 28, 2018 10:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(141/730) took 109634 ms. Total solver calls (SAT/UNSAT): 23833(20211/3622)
May 28, 2018 10:48:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(149/730) took 112912 ms. Total solver calls (SAT/UNSAT): 24965(21270/3695)
May 28, 2018 10:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/730) took 116138 ms. Total solver calls (SAT/UNSAT): 25945(22185/3760)
May 28, 2018 10:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(164/730) took 119476 ms. Total solver calls (SAT/UNSAT): 27005(23220/3785)
May 28, 2018 10:48:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/730) took 122636 ms. Total solver calls (SAT/UNSAT): 27715(23860/3855)
May 28, 2018 10:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(173/730) took 126872 ms. Total solver calls (SAT/UNSAT): 28265(24368/3897)
May 28, 2018 10:48:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(178/730) took 130225 ms. Total solver calls (SAT/UNSAT): 28930(24999/3931)
May 28, 2018 10:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/730) took 133453 ms. Total solver calls (SAT/UNSAT): 29835(25874/3961)
May 28, 2018 10:48:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(189/730) took 136958 ms. Total solver calls (SAT/UNSAT): 30385(26370/4015)
May 28, 2018 10:48:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/730) took 141629 ms. Total solver calls (SAT/UNSAT): 30787(26739/4048)
May 28, 2018 10:48:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/730) took 145510 ms. Total solver calls (SAT/UNSAT): 30919(26862/4057)
May 28, 2018 10:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/730) took 148595 ms. Total solver calls (SAT/UNSAT): 31309(27229/4080)
May 28, 2018 10:48:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/730) took 151914 ms. Total solver calls (SAT/UNSAT): 31564(27473/4091)
May 28, 2018 10:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/730) took 154992 ms. Total solver calls (SAT/UNSAT): 32425(28320/4105)
May 28, 2018 10:48:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/730) took 158337 ms. Total solver calls (SAT/UNSAT): 33378(29273/4105)
May 28, 2018 10:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/730) took 162815 ms. Total solver calls (SAT/UNSAT): 33850(29745/4105)
May 28, 2018 10:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/730) took 165977 ms. Total solver calls (SAT/UNSAT): 33967(29862/4105)
May 28, 2018 10:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/730) took 170420 ms. Total solver calls (SAT/UNSAT): 34321(30216/4105)
May 28, 2018 10:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/730) took 173707 ms. Total solver calls (SAT/UNSAT): 34440(30335/4105)
May 28, 2018 10:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/730) took 177337 ms. Total solver calls (SAT/UNSAT): 34558(30453/4105)
May 28, 2018 10:49:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(226/730) took 184004 ms. Total solver calls (SAT/UNSAT): 34939(30602/4337)
May 28, 2018 10:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/730) took 189589 ms. Total solver calls (SAT/UNSAT): 35071(30618/4453)
May 28, 2018 10:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/730) took 192739 ms. Total solver calls (SAT/UNSAT): 35203(30634/4569)
May 28, 2018 10:49:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(229/730) took 196122 ms. Total solver calls (SAT/UNSAT): 35335(30650/4685)
May 28, 2018 10:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/730) took 200241 ms. Total solver calls (SAT/UNSAT): 35789(31104/4685)
May 28, 2018 10:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/730) took 203535 ms. Total solver calls (SAT/UNSAT): 36242(31557/4685)
May 28, 2018 10:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/730) took 206958 ms. Total solver calls (SAT/UNSAT): 36465(31780/4685)
May 28, 2018 10:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(241/730) took 212444 ms. Total solver calls (SAT/UNSAT): 36694(32009/4685)
May 28, 2018 10:49:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(242/730) took 215929 ms. Total solver calls (SAT/UNSAT): 36807(32122/4685)
May 28, 2018 10:49:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/730) took 220267 ms. Total solver calls (SAT/UNSAT): 37145(32460/4685)
May 28, 2018 10:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/730) took 224154 ms. Total solver calls (SAT/UNSAT): 37372(32687/4685)
May 28, 2018 10:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(249/730) took 228935 ms. Total solver calls (SAT/UNSAT): 37595(32910/4685)
May 28, 2018 10:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/730) took 233449 ms. Total solver calls (SAT/UNSAT): 37937(33252/4685)
May 28, 2018 10:50:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(254/730) took 239072 ms. Total solver calls (SAT/UNSAT): 38160(33475/4685)
May 28, 2018 10:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/730) took 242682 ms. Total solver calls (SAT/UNSAT): 38379(33694/4685)
May 28, 2018 10:50:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(257/730) took 246048 ms. Total solver calls (SAT/UNSAT): 38487(33802/4685)
May 28, 2018 10:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/730) took 249520 ms. Total solver calls (SAT/UNSAT): 38700(34015/4685)
May 28, 2018 10:50:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(261/730) took 256359 ms. Total solver calls (SAT/UNSAT): 38919(34234/4685)
May 28, 2018 10:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/730) took 261934 ms. Total solver calls (SAT/UNSAT): 39240(34555/4685)
May 28, 2018 10:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/730) took 267574 ms. Total solver calls (SAT/UNSAT): 39459(34774/4685)
May 28, 2018 10:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/730) took 272330 ms. Total solver calls (SAT/UNSAT): 39674(34989/4685)
May 28, 2018 10:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(274/730) took 276186 ms. Total solver calls (SAT/UNSAT): 40320(35635/4685)
May 28, 2018 10:50:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(279/730) took 281266 ms. Total solver calls (SAT/UNSAT): 40860(36175/4685)
May 28, 2018 10:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/730) took 286836 ms. Total solver calls (SAT/UNSAT): 41069(36384/4685)
May 28, 2018 10:51:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/730) took 290089 ms. Total solver calls (SAT/UNSAT): 41274(36589/4685)
May 28, 2018 10:51:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(285/730) took 294926 ms. Total solver calls (SAT/UNSAT): 41480(36795/4685)
May 28, 2018 10:51:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(287/730) took 300683 ms. Total solver calls (SAT/UNSAT): 41687(37002/4685)
May 28, 2018 10:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/730) took 306336 ms. Total solver calls (SAT/UNSAT): 41890(37205/4685)
May 28, 2018 10:51:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(292/730) took 310591 ms. Total solver calls (SAT/UNSAT): 42202(37517/4685)
May 28, 2018 10:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(294/730) took 313810 ms. Total solver calls (SAT/UNSAT): 42405(37720/4685)
May 28, 2018 10:51:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(297/730) took 319297 ms. Total solver calls (SAT/UNSAT): 42717(38032/4685)
May 28, 2018 10:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(300/730) took 323313 ms. Total solver calls (SAT/UNSAT): 43025(38340/4685)
May 28, 2018 10:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(303/730) took 326677 ms. Total solver calls (SAT/UNSAT): 43334(38649/4685)
May 28, 2018 10:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/730) took 330352 ms. Total solver calls (SAT/UNSAT): 43732(39047/4685)
May 28, 2018 10:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(309/730) took 336042 ms. Total solver calls (SAT/UNSAT): 43925(39240/4685)
May 28, 2018 10:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(311/730) took 340405 ms. Total solver calls (SAT/UNSAT): 44124(39439/4685)
May 28, 2018 10:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/730) took 343924 ms. Total solver calls (SAT/UNSAT): 44319(39634/4685)
May 28, 2018 10:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(315/730) took 347482 ms. Total solver calls (SAT/UNSAT): 44515(39830/4685)
May 28, 2018 10:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(318/730) took 351698 ms. Total solver calls (SAT/UNSAT): 44809(40124/4685)
May 28, 2018 10:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/730) took 354842 ms. Total solver calls (SAT/UNSAT): 45692(41007/4685)
May 28, 2018 10:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(334/730) took 358273 ms. Total solver calls (SAT/UNSAT): 46360(41675/4685)
May 28, 2018 10:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/730) took 361463 ms. Total solver calls (SAT/UNSAT): 47109(42424/4685)
May 28, 2018 10:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(348/730) took 364788 ms. Total solver calls (SAT/UNSAT): 47663(42978/4685)
May 28, 2018 10:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(356/730) took 368557 ms. Total solver calls (SAT/UNSAT): 48383(43698/4685)
May 28, 2018 10:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/730) took 372383 ms. Total solver calls (SAT/UNSAT): 48562(43877/4685)
May 28, 2018 10:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(364/730) took 375703 ms. Total solver calls (SAT/UNSAT): 49099(44414/4685)
May 28, 2018 10:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(367/730) took 378810 ms. Total solver calls (SAT/UNSAT): 49368(44683/4685)
May 28, 2018 10:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(369/730) took 383112 ms. Total solver calls (SAT/UNSAT): 49545(44860/4685)
May 28, 2018 10:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(371/730) took 386492 ms. Total solver calls (SAT/UNSAT): 49718(45033/4685)
May 28, 2018 10:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(378/730) took 389993 ms. Total solver calls (SAT/UNSAT): 50316(45631/4685)
May 28, 2018 10:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(382/730) took 393615 ms. Total solver calls (SAT/UNSAT): 50658(45973/4685)
May 28, 2018 10:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(390/730) took 396621 ms. Total solver calls (SAT/UNSAT): 51338(46653/4685)
May 28, 2018 10:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(397/730) took 399693 ms. Total solver calls (SAT/UNSAT): 51907(47222/4685)
May 28, 2018 10:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(402/730) took 402707 ms. Total solver calls (SAT/UNSAT): 52316(47631/4685)
May 28, 2018 10:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(407/730) took 406076 ms. Total solver calls (SAT/UNSAT): 52724(48039/4685)
May 28, 2018 10:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(409/730) took 409150 ms. Total solver calls (SAT/UNSAT): 52885(48200/4685)
May 28, 2018 10:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/730) took 413967 ms. Total solver calls (SAT/UNSAT): 53042(48357/4685)
May 28, 2018 10:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/730) took 417743 ms. Total solver calls (SAT/UNSAT): 53195(48510/4685)
May 28, 2018 10:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/730) took 421600 ms. Total solver calls (SAT/UNSAT): 53505(48820/4685)
May 28, 2018 10:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(419/730) took 426418 ms. Total solver calls (SAT/UNSAT): 53662(48977/4685)
May 28, 2018 10:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/730) took 429506 ms. Total solver calls (SAT/UNSAT): 53739(49054/4685)
May 28, 2018 10:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/730) took 433601 ms. Total solver calls (SAT/UNSAT): 53894(49209/4685)
May 28, 2018 10:53:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/730) took 437869 ms. Total solver calls (SAT/UNSAT): 54049(49364/4685)
May 28, 2018 10:53:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/730) took 442139 ms. Total solver calls (SAT/UNSAT): 54282(49597/4685)
May 28, 2018 10:53:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/730) took 447470 ms. Total solver calls (SAT/UNSAT): 54435(49750/4685)
May 28, 2018 10:53:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/730) took 451768 ms. Total solver calls (SAT/UNSAT): 54584(49899/4685)
May 28, 2018 10:53:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(433/730) took 455513 ms. Total solver calls (SAT/UNSAT): 54729(50044/4685)
May 28, 2018 10:53:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/730) took 459922 ms. Total solver calls (SAT/UNSAT): 54951(50266/4685)
May 28, 2018 10:53:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(438/730) took 463150 ms. Total solver calls (SAT/UNSAT): 55098(50413/4685)
May 28, 2018 10:54:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/730) took 467273 ms. Total solver calls (SAT/UNSAT): 55245(50560/4685)
May 28, 2018 10:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/730) took 470522 ms. Total solver calls (SAT/UNSAT): 55392(50707/4685)
May 28, 2018 10:54:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(444/730) took 474690 ms. Total solver calls (SAT/UNSAT): 55539(50854/4685)
May 28, 2018 10:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(446/730) took 479478 ms. Total solver calls (SAT/UNSAT): 55686(51001/4685)
May 28, 2018 10:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/730) took 483694 ms. Total solver calls (SAT/UNSAT): 55976(51291/4685)
May 28, 2018 10:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/730) took 488124 ms. Total solver calls (SAT/UNSAT): 56115(51430/4685)
May 28, 2018 10:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(454/730) took 492515 ms. Total solver calls (SAT/UNSAT): 56254(51569/4685)
May 28, 2018 10:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/730) took 496892 ms. Total solver calls (SAT/UNSAT): 56393(51708/4685)
May 28, 2018 10:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(458/730) took 500815 ms. Total solver calls (SAT/UNSAT): 56532(51847/4685)
May 28, 2018 10:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(463/730) took 503864 ms. Total solver calls (SAT/UNSAT): 56880(52195/4685)
May 28, 2018 10:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/730) took 507200 ms. Total solver calls (SAT/UNSAT): 57017(52332/4685)
May 28, 2018 10:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(467/730) took 510717 ms. Total solver calls (SAT/UNSAT): 57158(52473/4685)
May 28, 2018 10:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(471/730) took 514272 ms. Total solver calls (SAT/UNSAT): 57428(52743/4685)
May 28, 2018 10:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(474/730) took 518174 ms. Total solver calls (SAT/UNSAT): 57624(52939/4685)
May 28, 2018 10:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/730) took 521253 ms. Total solver calls (SAT/UNSAT): 57819(53134/4685)
May 28, 2018 10:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(483/730) took 525915 ms. Total solver calls (SAT/UNSAT): 58214(53529/4685)
May 28, 2018 10:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/730) took 529237 ms. Total solver calls (SAT/UNSAT): 58410(53725/4685)
May 28, 2018 10:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/730) took 532344 ms. Total solver calls (SAT/UNSAT): 58605(53920/4685)
May 28, 2018 10:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(491/730) took 535875 ms. Total solver calls (SAT/UNSAT): 58730(54045/4685)
May 28, 2018 10:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/730) took 539956 ms. Total solver calls (SAT/UNSAT): 58914(54229/4685)
May 28, 2018 10:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/730) took 543624 ms. Total solver calls (SAT/UNSAT): 59037(54352/4685)
May 28, 2018 10:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/730) took 547663 ms. Total solver calls (SAT/UNSAT): 59222(54537/4685)
May 28, 2018 10:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/730) took 552518 ms. Total solver calls (SAT/UNSAT): 59406(54721/4685)
May 28, 2018 10:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/730) took 556749 ms. Total solver calls (SAT/UNSAT): 59652(54967/4685)
May 28, 2018 10:55:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(510/730) took 559904 ms. Total solver calls (SAT/UNSAT): 59910(55166/4744)
May 28, 2018 10:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(511/730) took 565772 ms. Total solver calls (SAT/UNSAT): 60032(55268/4764)
May 28, 2018 10:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/730) took 577312 ms. Total solver calls (SAT/UNSAT): 60153(55369/4784)
May 28, 2018 10:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(513/730) took 588288 ms. Total solver calls (SAT/UNSAT): 60273(55469/4804)
May 28, 2018 10:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(514/730) took 602798 ms. Total solver calls (SAT/UNSAT): 60392(55568/4824)
May 28, 2018 10:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(516/730) took 609110 ms. Total solver calls (SAT/UNSAT): 60583(55681/4902)
May 28, 2018 10:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(517/730) took 620533 ms. Total solver calls (SAT/UNSAT): 60702(55780/4922)
May 28, 2018 10:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(518/730) took 632436 ms. Total solver calls (SAT/UNSAT): 60820(55878/4942)
May 28, 2018 10:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/730) took 645757 ms. Total solver calls (SAT/UNSAT): 60937(55975/4962)
May 28, 2018 10:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(521/730) took 657144 ms. Total solver calls (SAT/UNSAT): 61168(56166/5002)
May 28, 2018 10:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(522/730) took 662400 ms. Total solver calls (SAT/UNSAT): 61239(56180/5059)
May 28, 2018 10:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(523/730) took 673927 ms. Total solver calls (SAT/UNSAT): 61355(56276/5079)
May 28, 2018 10:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/730) took 687289 ms. Total solver calls (SAT/UNSAT): 61470(56371/5099)
May 28, 2018 10:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(525/730) took 690973 ms. Total solver calls (SAT/UNSAT): 61584(56465/5119)
May 28, 2018 10:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/730) took 700772 ms. Total solver calls (SAT/UNSAT): 61697(56558/5139)
May 28, 2018 10:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/730) took 711577 ms. Total solver calls (SAT/UNSAT): 61809(56650/5159)
May 28, 2018 10:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/730) took 716238 ms. Total solver calls (SAT/UNSAT): 61878(56663/5215)
May 28, 2018 10:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(529/730) took 729024 ms. Total solver calls (SAT/UNSAT): 61991(56756/5235)
May 28, 2018 10:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/730) took 732462 ms. Total solver calls (SAT/UNSAT): 62103(56848/5255)
May 28, 2018 10:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(531/730) took 740962 ms. Total solver calls (SAT/UNSAT): 62214(56939/5275)
May 28, 2018 10:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/730) took 751909 ms. Total solver calls (SAT/UNSAT): 62324(57029/5295)
May 28, 2018 10:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(533/730) took 761829 ms. Total solver calls (SAT/UNSAT): 62433(57118/5315)
May 28, 2018 10:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/730) took 766326 ms. Total solver calls (SAT/UNSAT): 62500(57130/5370)
May 28, 2018 10:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/730) took 777080 ms. Total solver calls (SAT/UNSAT): 62672(57228/5444)
May 28, 2018 10:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/730) took 787090 ms. Total solver calls (SAT/UNSAT): 62777(57313/5464)
May 28, 2018 10:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(538/730) took 796790 ms. Total solver calls (SAT/UNSAT): 62881(57397/5484)
May 28, 2018 10:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/730) took 808053 ms. Total solver calls (SAT/UNSAT): 62984(57480/5504)
May 28, 2018 10:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(540/730) took 811550 ms. Total solver calls (SAT/UNSAT): 63086(57562/5524)
May 28, 2018 10:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(542/730) took 822930 ms. Total solver calls (SAT/UNSAT): 63253(57656/5597)
Skipping mayMatrices nes/nds SMT solver raised an exception or timeout.
java.lang.RuntimeException: SMT solver raised an exception or timeout.
at fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver.computeCoEnablingMatrix(NecessaryEnablingsolver.java:480)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printLabels(Gal2PinsTransformerNext.java:530)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printDependencyMatrix(Gal2PinsTransformerNext.java:209)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.buildBodyFile(Gal2PinsTransformerNext.java:85)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.transform(Gal2PinsTransformerNext.java:830)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:71)
at java.lang.Thread.run(Thread.java:748)
May 28, 2018 10:59:57 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 852113ms conformant to PINS in folder :/home/mcc/execution

cc1: out of memory allocating 1048568 bytes after a total of 2379776 bytes
java.lang.RuntimeException: Could not compile executable .CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
at fr.lip6.move.gal.application.LTSminRunner.compilePINS(LTSminRunner.java:241)
at fr.lip6.move.gal.application.LTSminRunner.access$6(LTSminRunner.java:224)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:75)
at java.lang.Thread.run(Thread.java:748)
ITS-tools command line returned an error code 1

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-COL-4"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstoolsl"
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

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-4.tgz
mv Peterson-COL-4 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool itstoolsl"
echo " Input is Peterson-COL-4, 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 r261-csrt-152732586000152"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;