aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/RealisticRunner/statistics
diff options
context:
space:
mode:
authorLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2020-11-15 21:56:45 -0500
committerLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2020-11-15 21:56:45 -0500
commit1cfc2e98ffbba1dc2a489ad415c81264b76d8c14 (patch)
treeb342c3541a5728b775564d8a0f5c6e6d93784694 /Metrics/Metrics-Calculation/RealisticRunner/statistics
parentfix node type distance measure (diff)
downloadVIATRA-Generator-Realistic-Generation-SURE.tar.gz
VIATRA-Generator-Realistic-Generation-SURE.tar.zst
VIATRA-Generator-Realistic-Generation-SURE.zip
code for paperRealistic-Generation-SURE
Diffstat (limited to 'Metrics/Metrics-Calculation/RealisticRunner/statistics')
-rw-r--r--Metrics/Metrics-Calculation/RealisticRunner/statistics/Ecore/warmup.csv102
-rw-r--r--Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv102
2 files changed, 204 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/RealisticRunner/statistics/Ecore/warmup.csv b/Metrics/Metrics-Calculation/RealisticRunner/statistics/Ecore/warmup.csv
new file mode 100644
index 00000000..283b5734
--- /dev/null
+++ b/Metrics/Metrics-Calculation/RealisticRunner/statistics/Ecore/warmup.csv
@@ -0,0 +1,102 @@
1Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,Solution1DetailedStatistics,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls
21,1,ModelResultImpl,1307,8441,867,104,864,(TransformationExecutionTime39|ForwardTime:271|Backtrackingtime:11|GlobalConstraintEvaluationTime:12|FitnessCalculationTime:6|ActivationSelectionTime:1|SolutionCopyTime:7|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),431,39,14,0,262,197,0,7,48,271,64,12,6,1,47,0,47,30,0
31,2,ModelResultImpl,1307,8266,393,131,352,(TransformationExecutionTime14|ForwardTime:147|Backtrackingtime:0|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:4|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),138,14,10,0,1,28,0,4,48,147,43,9,5,0,47,0,47,30,0
41,3,ModelResultImpl,1307,9022,341,19,320,(TransformationExecutionTime15|ForwardTime:117|Backtrackingtime:0|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:6|ActivationSelectionTime:1|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),134,15,8,0,1,26,0,2,53,117,22,7,6,1,52,0,52,30,0
51,4,ModelResultImpl,1307,6968,358,32,320,(TransformationExecutionTime13|ForwardTime:93|Backtrackingtime:0|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:7|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),176,13,7,0,0,14,0,7,37,93,38,7,9,0,36,0,36,30,0
61,5,ModelResultImpl,1307,5483,290,35,270,(TransformationExecutionTime11|ForwardTime:104|Backtrackingtime:1|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:3|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),115,11,6,0,1,16,0,3,52,104,21,7,7,0,51,0,51,30,0
71,6,ModelResultImpl,1307,4874,240,19,224,(TransformationExecutionTime8|ForwardTime:81|Backtrackingtime:4|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),98,8,3,0,0,16,0,1,57,81,21,6,5,0,56,0,56,30,0
81,7,ModelResultImpl,1307,5054,243,17,230,(TransformationExecutionTime6|ForwardTime:74|Backtrackingtime:5|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),111,6,3,0,0,15,0,1,62,74,18,6,5,0,61,0,61,30,0
91,8,ModelResultImpl,1307,4768,212,23,200,(TransformationExecutionTime7|ForwardTime:70|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),95,7,4,0,0,12,0,1,46,70,13,5,5,0,45,0,45,30,0
101,9,ModelResultImpl,1307,5007,211,22,196,(TransformationExecutionTime6|ForwardTime:64|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),99,6,3,0,1,9,0,1,41,64,15,6,5,0,40,0,40,30,0
111,10,ModelResultImpl,1307,6565,256,18,245,(TransformationExecutionTime7|ForwardTime:93|Backtrackingtime:5|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),99,7,2,0,1,22,0,1,71,93,16,6,5,0,70,0,70,30,0
121,11,ModelResultImpl,1307,5380,185,14,176,(TransformationExecutionTime4|ForwardTime:55|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),92,4,2,0,1,8,0,2,38,55,10,5,5,0,37,0,37,30,0
131,12,ModelResultImpl,1307,5724,211,17,201,(TransformationExecutionTime5|ForwardTime:62|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),106,5,2,0,0,12,0,1,49,62,10,5,5,0,48,0,48,30,0
141,13,ModelResultImpl,1307,6264,298,21,288,(TransformationExecutionTime8|ForwardTime:78|Backtrackingtime:0|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:14|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),166,8,3,0,0,11,0,1,40,78,11,7,14,0,39,0,39,30,0
151,14,ModelResultImpl,1307,5640,206,21,196,(TransformationExecutionTime5|ForwardTime:70|Backtrackingtime:2|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,5,2,0,1,13,0,1,50,70,11,5,5,0,49,0,49,30,0
161,15,ModelResultImpl,1307,4625,231,20,214,(TransformationExecutionTime6|ForwardTime:77|Backtrackingtime:4|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),93,6,2,0,0,18,0,1,61,77,20,5,5,0,60,0,60,30,0
171,16,ModelResultImpl,1307,4858,219,17,209,(TransformationExecutionTime6|ForwardTime:79|Backtrackingtime:1|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),94,6,2,0,0,14,0,1,56,79,11,6,5,0,55,0,55,30,0
181,17,ModelResultImpl,1307,4678,211,21,198,(TransformationExecutionTime6|ForwardTime:73|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),90,6,2,0,0,14,0,1,56,73,13,5,4,0,55,0,55,30,0
191,18,ModelResultImpl,1307,5702,341,21,322,(TransformationExecutionTime11|ForwardTime:127|Backtrackingtime:6|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:3|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),129,11,3,0,0,25,0,3,70,127,26,9,6,0,69,0,69,30,0
201,19,ModelResultImpl,1307,6535,309,18,296,(TransformationExecutionTime8|ForwardTime:85|Backtrackingtime:0|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),172,8,3,0,0,10,0,2,44,85,13,7,8,0,43,0,43,30,0
211,20,ModelResultImpl,1307,4584,164,15,153,(TransformationExecutionTime4|ForwardTime:43|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,4,1,0,0,6,0,1,36,43,10,4,5,0,35,0,35,30,0
221,21,ModelResultImpl,1307,5547,236,19,226,(TransformationExecutionTime6|ForwardTime:60|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:13|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),133,6,2,0,0,6,0,1,32,60,10,6,13,0,31,0,31,30,0
231,22,ModelResultImpl,1307,5753,189,15,179,(TransformationExecutionTime4|ForwardTime:46|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),109,4,1,0,0,5,0,1,32,46,10,6,6,0,31,0,31,30,0
241,23,ModelResultImpl,1307,5971,209,21,198,(TransformationExecutionTime5|ForwardTime:67|Backtrackingtime:1|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),101,5,2,0,0,9,0,1,51,67,12,6,5,0,51,0,51,31,0
251,24,ModelResultImpl,1307,5750,230,16,218,(TransformationExecutionTime6|ForwardTime:73|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),110,6,2,0,0,11,0,1,55,73,13,6,5,0,54,0,54,30,0
261,25,ModelResultImpl,1307,5549,211,22,200,(TransformationExecutionTime5|ForwardTime:63|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),105,5,2,0,0,10,0,1,47,63,11,6,6,0,46,0,46,30,0
271,26,ModelResultImpl,1307,5666,220,20,207,(TransformationExecutionTime5|ForwardTime:60|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),113,5,2,0,0,8,0,2,42,60,14,6,8,0,41,0,41,30,0
281,27,ModelResultImpl,1307,6505,246,15,237,(TransformationExecutionTime6|ForwardTime:66|Backtrackingtime:2|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),139,6,2,0,0,10,0,1,47,66,11,5,6,0,46,0,46,30,0
291,28,ModelResultImpl,1307,5494,203,16,187,(TransformationExecutionTime4|ForwardTime:54|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),106,4,2,0,0,8,0,1,39,54,16,4,6,0,38,0,38,30,0
301,29,ModelResultImpl,1307,7821,329,24,308,(TransformationExecutionTime9|ForwardTime:119|Backtrackingtime:3|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:4|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),134,9,3,0,0,20,0,4,58,119,24,6,7,0,57,0,57,30,0
311,30,ModelResultImpl,1307,6534,208,15,195,(TransformationExecutionTime5|ForwardTime:52|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),117,5,2,0,0,6,0,1,31,52,13,6,6,0,30,0,30,30,0
321,31,ModelResultImpl,1307,5822,201,20,187,(TransformationExecutionTime5|ForwardTime:61|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),97,5,2,0,0,9,0,1,53,61,14,6,5,0,52,0,52,30,0
331,32,ModelResultImpl,1307,4458,207,24,198,(TransformationExecutionTime4|ForwardTime:58|Backtrackingtime:1|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),113,4,2,0,0,8,0,1,50,58,10,5,5,0,49,0,49,30,0
341,33,ModelResultImpl,1307,4478,184,15,176,(TransformationExecutionTime4|ForwardTime:55|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),95,4,2,0,0,7,0,1,41,55,8,5,5,0,40,0,40,30,0
351,34,ModelResultImpl,1307,4467,165,12,157,(TransformationExecutionTime3|ForwardTime:48|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,3,1,0,0,8,0,1,45,48,9,4,5,0,44,0,44,30,0
361,35,ModelResultImpl,1307,4483,172,20,164,(TransformationExecutionTime3|ForwardTime:54|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,2,0,0,8,0,1,54,54,8,4,5,0,53,0,53,30,0
371,36,ModelResultImpl,1307,4360,178,13,169,(TransformationExecutionTime4|ForwardTime:56|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,4,1,0,0,9,0,1,55,56,10,4,5,0,54,0,54,30,0
381,37,ModelResultImpl,1307,4358,175,14,167,(TransformationExecutionTime4|ForwardTime:55|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,4,1,0,0,9,0,1,55,55,8,5,5,0,54,0,54,30,0
391,38,ModelResultImpl,1307,5142,399,13,391,(TransformationExecutionTime6|ForwardTime:60|Backtrackingtime:0|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:17|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),288,6,2,0,0,6,0,1,35,60,9,11,17,0,34,0,34,30,0
401,39,ModelResultImpl,1307,4417,175,13,165,(TransformationExecutionTime4|ForwardTime:53|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),88,4,2,0,0,7,0,1,44,53,10,4,4,0,43,0,43,30,0
411,40,ModelResultImpl,1307,4448,185,16,177,(TransformationExecutionTime3|ForwardTime:53|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),98,3,1,0,0,9,0,1,50,53,10,4,4,0,49,0,49,30,0
421,41,ModelResultImpl,1307,4391,168,12,160,(TransformationExecutionTime4|ForwardTime:51|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,4,1,0,0,7,0,2,45,51,9,4,4,0,44,0,44,30,0
431,42,ModelResultImpl,1307,4870,168,16,160,(TransformationExecutionTime3|ForwardTime:45|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),93,3,2,0,0,5,0,1,36,45,7,5,5,0,35,0,35,30,0
441,43,ModelResultImpl,1307,6183,162,13,154,(TransformationExecutionTime3|ForwardTime:44|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),87,3,1,0,0,6,0,1,41,44,8,4,5,0,40,0,40,30,0
451,44,ModelResultImpl,1307,4513,156,12,149,(TransformationExecutionTime3|ForwardTime:38|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),90,3,1,0,0,5,0,1,34,38,7,4,5,0,33,0,33,30,0
461,45,ModelResultImpl,1307,4478,179,17,171,(TransformationExecutionTime3|ForwardTime:56|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,3,2,0,0,7,0,1,50,56,8,5,6,0,49,0,49,30,0
471,46,ModelResultImpl,1307,4434,168,14,159,(TransformationExecutionTime3|ForwardTime:48|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),88,3,2,0,0,7,0,1,46,48,8,4,5,0,45,0,45,30,0
481,47,ModelResultImpl,1307,4518,186,13,177,(TransformationExecutionTime4|ForwardTime:62|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,4,1,0,0,10,0,1,60,62,9,4,4,0,59,0,59,30,0
491,48,ModelResultImpl,1307,4446,167,15,159,(TransformationExecutionTime3|ForwardTime:52|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),83,3,2,0,0,7,0,1,47,52,8,4,5,0,46,0,46,30,0
501,49,ModelResultImpl,1307,4441,167,17,159,(TransformationExecutionTime3|ForwardTime:48|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,3,2,0,0,6,0,1,46,48,7,4,5,0,45,0,45,30,0
511,50,ModelResultImpl,1307,4500,249,13,240,(TransformationExecutionTime6|ForwardTime:94|Backtrackingtime:5|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),96,6,2,0,0,21,0,1,82,94,15,6,5,0,81,0,81,30,0
521,51,ModelResultImpl,1307,4720,189,16,180,(TransformationExecutionTime4|ForwardTime:52|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),101,4,2,0,0,8,0,1,43,52,10,5,5,0,42,0,42,30,0
531,52,ModelResultImpl,1307,4384,171,16,164,(TransformationExecutionTime3|ForwardTime:54|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,2,0,0,8,0,1,52,54,8,4,4,0,51,0,51,30,0
541,53,ModelResultImpl,1307,4335,147,11,140,(TransformationExecutionTime3|ForwardTime:34|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,3,1,0,0,3,0,1,30,34,7,4,4,0,29,0,29,30,0
551,54,ModelResultImpl,1307,4405,155,12,147,(TransformationExecutionTime3|ForwardTime:39|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),89,3,1,0,0,4,0,1,33,39,7,4,5,0,32,0,32,30,0
561,55,ModelResultImpl,1307,4349,168,12,160,(TransformationExecutionTime3|ForwardTime:51|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,3,1,0,0,9,0,1,50,51,9,4,5,0,49,0,49,30,0
571,56,ModelResultImpl,1307,4368,162,13,154,(TransformationExecutionTime3|ForwardTime:46|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,3,1,0,0,6,0,1,42,46,8,4,5,0,41,0,41,30,0
581,57,ModelResultImpl,1307,4906,166,12,158,(TransformationExecutionTime3|ForwardTime:45|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),91,3,1,0,0,6,0,1,39,45,8,5,4,0,38,0,38,30,0
591,58,ModelResultImpl,1307,4505,172,12,164,(TransformationExecutionTime3|ForwardTime:54|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,1,0,0,8,0,1,55,54,9,4,4,0,54,0,54,30,0
601,59,ModelResultImpl,1307,4327,161,12,153,(TransformationExecutionTime4|ForwardTime:40|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),94,4,1,0,0,4,0,1,32,40,8,4,4,0,31,0,31,30,0
611,60,ModelResultImpl,1307,4361,175,17,166,(TransformationExecutionTime3|ForwardTime:57|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,3,2,0,0,9,0,1,61,57,9,4,5,0,60,0,60,30,0
621,61,ModelResultImpl,1307,4360,182,13,173,(TransformationExecutionTime4|ForwardTime:59|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,4,1,0,0,11,0,1,60,59,10,4,4,0,59,0,59,30,0
631,62,ModelResultImpl,1307,4493,168,16,160,(TransformationExecutionTime3|ForwardTime:50|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),87,3,2,0,0,7,0,1,48,50,8,4,5,0,47,0,47,30,0
641,63,ModelResultImpl,1307,4470,176,13,168,(TransformationExecutionTime3|ForwardTime:47|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),98,3,1,0,0,6,0,1,46,47,8,5,5,0,45,0,45,30,0
651,64,ModelResultImpl,1307,4542,170,13,161,(TransformationExecutionTime4|ForwardTime:48|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),88,4,1,0,0,7,0,1,43,48,9,5,6,0,42,0,42,30,0
661,65,ModelResultImpl,1307,4584,171,13,163,(TransformationExecutionTime3|ForwardTime:49|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),91,3,1,0,0,7,0,1,45,49,8,4,4,0,44,0,44,30,0
671,66,ModelResultImpl,1307,4386,177,13,169,(TransformationExecutionTime3|ForwardTime:56|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),88,3,1,0,0,8,0,1,59,56,8,4,4,0,58,0,58,30,0
681,67,ModelResultImpl,1307,4403,236,12,227,(TransformationExecutionTime6|ForwardTime:81|Backtrackingtime:2|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),103,6,2,0,0,18,0,1,69,81,11,5,6,0,68,0,68,30,0
691,68,ModelResultImpl,1307,4370,183,18,173,(TransformationExecutionTime4|ForwardTime:61|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,4,1,0,0,10,0,1,52,61,10,4,4,0,52,0,52,30,0
701,69,ModelResultImpl,1307,4627,200,12,191,(TransformationExecutionTime4|ForwardTime:69|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),91,4,2,0,0,10,0,1,57,69,12,4,5,0,56,0,56,31,0
711,70,ModelResultImpl,1307,4431,166,13,158,(TransformationExecutionTime3|ForwardTime:50|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,3,2,0,0,7,0,1,48,50,8,4,4,0,47,0,47,30,0
721,71,ModelResultImpl,1307,4391,195,12,187,(TransformationExecutionTime4|ForwardTime:65|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),91,4,2,0,0,11,0,1,60,65,10,4,5,0,59,0,59,30,0
731,72,ModelResultImpl,1307,4605,199,15,191,(TransformationExecutionTime4|ForwardTime:62|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),101,4,2,0,0,9,0,1,43,62,8,5,7,0,42,0,42,30,0
741,73,ModelResultImpl,1307,4561,185,13,173,(TransformationExecutionTime4|ForwardTime:54|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),94,4,2,0,0,7,0,1,45,54,11,6,5,0,44,0,44,30,0
751,74,ModelResultImpl,1307,4398,186,13,177,(TransformationExecutionTime4|ForwardTime:59|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),92,4,2,0,0,10,0,1,58,59,9,4,5,0,57,0,57,30,0
761,75,ModelResultImpl,1307,4328,164,22,154,(TransformationExecutionTime3|ForwardTime:48|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,2,0,0,6,0,1,48,48,9,4,4,0,47,0,47,30,0
771,76,ModelResultImpl,1307,4582,151,11,143,(TransformationExecutionTime3|ForwardTime:40|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),83,3,1,0,0,5,0,1,36,40,8,4,5,0,35,0,35,30,0
781,77,ModelResultImpl,1307,4517,175,12,165,(TransformationExecutionTime4|ForwardTime:55|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,4,2,0,0,8,0,1,47,55,11,4,4,0,46,0,46,30,0
791,78,ModelResultImpl,1307,4570,155,11,148,(TransformationExecutionTime3|ForwardTime:42|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,1,0,0,6,0,1,39,42,8,4,4,0,38,0,38,30,0
801,79,ModelResultImpl,1307,4388,173,22,165,(TransformationExecutionTime3|ForwardTime:49|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),93,3,2,0,0,7,0,1,48,49,8,4,5,0,47,0,47,30,0
811,80,ModelResultImpl,1307,4623,167,13,159,(TransformationExecutionTime3|ForwardTime:51|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,3,1,0,0,7,0,1,51,51,8,4,5,0,50,0,50,30,0
821,81,ModelResultImpl,1307,4392,231,11,222,(TransformationExecutionTime5|ForwardTime:83|Backtrackingtime:4|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),93,5,2,0,0,20,0,1,85,83,14,5,5,0,85,0,85,30,0
831,82,ModelResultImpl,1307,4512,148,11,141,(TransformationExecutionTime3|ForwardTime:39|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),83,3,1,0,0,5,0,1,36,39,7,4,4,0,35,0,35,30,0
841,83,ModelResultImpl,1307,4693,193,12,184,(TransformationExecutionTime4|ForwardTime:66|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),85,4,1,0,0,14,0,1,70,66,10,4,4,0,69,0,69,30,0
851,84,ModelResultImpl,1307,4435,164,16,156,(TransformationExecutionTime3|ForwardTime:50|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,3,1,0,0,7,0,1,46,50,8,4,4,0,45,0,45,30,0
861,85,ModelResultImpl,1307,4398,156,16,149,(TransformationExecutionTime3|ForwardTime:44|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,3,2,0,0,6,0,1,41,44,7,4,4,0,40,0,40,30,0
871,86,ModelResultImpl,1307,4655,201,15,192,(TransformationExecutionTime4|ForwardTime:57|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),110,4,2,0,0,8,0,1,51,57,9,5,5,0,50,0,50,30,0
881,87,ModelResultImpl,1307,4735,180,13,171,(TransformationExecutionTime4|ForwardTime:58|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),84,4,1,0,0,10,0,1,58,58,11,4,4,0,57,0,57,30,0
891,88,ModelResultImpl,1307,4345,173,12,165,(TransformationExecutionTime4|ForwardTime:55|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,4,2,0,0,8,0,1,55,55,9,4,4,0,55,0,55,31,0
901,89,ModelResultImpl,1307,4551,167,16,160,(TransformationExecutionTime3|ForwardTime:44|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),93,3,2,0,0,5,0,1,41,44,7,4,5,0,40,0,40,30,0
911,90,ModelResultImpl,1307,4488,156,11,148,(TransformationExecutionTime3|ForwardTime:42|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,3,1,0,0,5,0,1,39,42,8,4,4,0,38,0,38,30,0
921,91,ModelResultImpl,1307,4393,168,12,160,(TransformationExecutionTime3|ForwardTime:47|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),91,3,1,0,0,6,0,1,43,47,8,5,5,0,42,0,42,30,0
931,92,ModelResultImpl,1307,5152,176,24,168,(TransformationExecutionTime3|ForwardTime:51|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),94,3,2,0,0,6,0,1,46,51,7,4,5,0,45,0,45,30,0
941,93,ModelResultImpl,1307,4439,192,11,183,(TransformationExecutionTime4|ForwardTime:63|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),95,4,2,0,0,8,0,1,51,63,9,4,5,0,50,0,50,30,0
951,94,ModelResultImpl,1307,4695,221,12,212,(TransformationExecutionTime4|ForwardTime:61|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),120,4,1,0,0,12,0,1,53,61,10,4,5,0,52,0,52,30,0
961,95,ModelResultImpl,1307,4368,172,11,164,(TransformationExecutionTime3|ForwardTime:42|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),101,3,1,0,0,5,0,1,36,42,7,4,5,0,35,0,35,30,0
971,96,ModelResultImpl,1307,4410,167,11,159,(TransformationExecutionTime3|ForwardTime:43|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),94,3,1,0,0,6,0,1,38,43,8,5,5,0,37,0,37,30,0
981,97,ModelResultImpl,1307,4397,215,12,207,(TransformationExecutionTime3|ForwardTime:57|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),125,3,2,0,0,8,0,1,48,57,8,5,5,0,47,0,47,30,0
991,98,ModelResultImpl,1307,5385,215,19,206,(TransformationExecutionTime4|ForwardTime:54|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),123,4,1,0,0,7,0,1,48,54,9,6,9,0,47,0,47,30,0
1001,99,ModelResultImpl,1307,4796,175,16,167,(TransformationExecutionTime4|ForwardTime:54|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),86,4,2,0,0,8,0,1,43,54,8,5,4,0,42,0,42,30,0
1011,100,ModelResultImpl,1307,6714,195,11,185,(TransformationExecutionTime4|ForwardTime:61|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),96,4,1,0,0,10,0,1,59,61,10,4,5,0,58,0,58,30,0
102
diff --git a/Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv b/Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv
new file mode 100644
index 00000000..cff3fa37
--- /dev/null
+++ b/Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv
@@ -0,0 +1,102 @@
1Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,Solution1DetailedStatistics,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls
21,1,ModelResultImpl,997,4172,977,187,977,(TransformationExecutionTime47|ForwardTime:400|Backtrackingtime:55|GlobalConstraintEvaluationTime:30|FitnessCalculationTime:11|ActivationSelectionTime:1|SolutionCopyTime:7|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),289,47,8,0,162,222,0,7,103,400,91,30,11,1,102,0,102,30,0
31,2,ModelResultImpl,997,4440,1113,72,1048,(TransformationExecutionTime46|ForwardTime:544|Backtrackingtime:61|GlobalConstraintEvaluationTime:42|FitnessCalculationTime:39|ActivationSelectionTime:1|SolutionCopyTime:16|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),119,46,10,0,0,153,0,16,104,544,126,42,39,1,103,0,103,30,0
41,3,ModelResultImpl,997,3641,450,26,433,(TransformationExecutionTime23|ForwardTime:225|Backtrackingtime:33|GlobalConstraintEvaluationTime:16|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),48,23,4,0,1,66,0,2,107,225,51,16,10,0,106,0,106,30,0
51,4,ModelResultImpl,997,2482,315,20,306,(TransformationExecutionTime13|ForwardTime:170|Backtrackingtime:6|GlobalConstraintEvaluationTime:16|FitnessCalculationTime:11|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),57,13,2,0,0,25,0,2,72,170,15,16,11,0,72,0,72,31,0
61,5,ModelResultImpl,997,1596,194,13,187,(TransformationExecutionTime8|ForwardTime:102|Backtrackingtime:11|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,8,1,0,0,20,0,1,87,102,18,11,5,0,86,0,86,30,0
71,6,ModelResultImpl,997,1397,198,15,188,(TransformationExecutionTime9|ForwardTime:109|Backtrackingtime:11|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,9,1,0,0,22,0,1,100,109,21,8,4,0,99,0,99,30,0
81,7,ModelResultImpl,997,3268,437,35,424,(TransformationExecutionTime17|ForwardTime:226|Backtrackingtime:34|GlobalConstraintEvaluationTime:15|FitnessCalculationTime:11|ActivationSelectionTime:0|SolutionCopyTime:4|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),57,17,2,0,0,53,0,4,118,226,48,15,11,0,117,0,117,30,0
91,8,ModelResultImpl,997,1947,210,16,202,(TransformationExecutionTime8|ForwardTime:107|Backtrackingtime:8|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:12|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),31,8,1,0,0,20,0,1,97,107,16,9,12,0,96,0,96,30,0
101,9,ModelResultImpl,997,2269,192,19,184,(TransformationExecutionTime8|ForwardTime:97|Backtrackingtime:5|GlobalConstraintEvaluationTime:13|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),30,8,1,0,0,17,0,1,85,97,13,13,10,0,85,0,85,30,0
111,10,ModelResultImpl,997,1399,174,14,166,(TransformationExecutionTime7|ForwardTime:78|Backtrackingtime:1|GlobalConstraintEvaluationTime:14|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),41,7,1,0,0,12,0,2,72,78,8,14,7,0,71,0,71,30,0
121,11,ModelResultImpl,997,1279,159,14,153,(TransformationExecutionTime6|ForwardTime:86|Backtrackingtime:13|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,6,0,0,0,18,0,1,119,86,18,4,3,0,118,0,118,30,0
131,12,ModelResultImpl,997,1292,128,10,123,(TransformationExecutionTime5|ForwardTime:62|Backtrackingtime:4|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,5,0,0,1,12,0,1,85,62,9,9,5,0,88,0,88,33,0
141,13,ModelResultImpl,997,4324,239,27,228,(TransformationExecutionTime10|ForwardTime:120|Backtrackingtime:1|GlobalConstraintEvaluationTime:15|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),51,10,1,0,0,16,0,2,65,120,12,15,10,0,64,0,64,30,0
151,14,ModelResultImpl,997,1569,201,16,191,(TransformationExecutionTime7|ForwardTime:101|Backtrackingtime:9|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),27,7,0,0,0,21,0,2,99,101,19,10,8,0,98,0,98,30,0
161,15,ModelResultImpl,997,1330,126,14,119,(TransformationExecutionTime4|ForwardTime:61|Backtrackingtime:3|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,4,0,0,0,11,0,1,80,61,9,7,5,0,79,0,79,30,0
171,16,ModelResultImpl,997,1572,158,12,148,(TransformationExecutionTime5|ForwardTime:72|Backtrackingtime:3|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),33,5,1,0,0,11,0,2,70,72,11,10,8,0,69,0,69,30,0
181,17,ModelResultImpl,997,1288,139,12,130,(TransformationExecutionTime5|ForwardTime:74|Backtrackingtime:4|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,5,0,0,0,12,0,1,91,74,13,5,6,0,90,0,90,30,0
191,18,ModelResultImpl,997,1321,128,9,122,(TransformationExecutionTime5|ForwardTime:65|Backtrackingtime:4|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,5,0,0,0,11,0,0,85,65,10,7,7,0,84,0,84,30,0
201,19,ModelResultImpl,997,1151,108,11,103,(TransformationExecutionTime2|ForwardTime:50|Backtrackingtime:2|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,2,0,0,0,8,0,1,79,50,6,7,3,0,78,0,78,30,0
211,20,ModelResultImpl,997,3871,213,21,204,(TransformationExecutionTime8|ForwardTime:113|Backtrackingtime:0|GlobalConstraintEvaluationTime:15|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),36,8,1,0,0,16,0,1,64,113,8,15,9,0,63,0,63,30,0
221,21,ModelResultImpl,997,2234,235,22,225,(TransformationExecutionTime6|ForwardTime:111|Backtrackingtime:10|GlobalConstraintEvaluationTime:15|FitnessCalculationTime:12|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),47,6,1,0,0,18,0,1,84,111,20,15,12,0,83,0,83,30,0
231,22,ModelResultImpl,997,1283,112,13,107,(TransformationExecutionTime3|ForwardTime:49|Backtrackingtime:0|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),27,3,0,0,0,8,0,1,61,49,5,10,6,0,60,0,60,30,0
241,23,ModelResultImpl,997,1159,149,14,145,(TransformationExecutionTime4|ForwardTime:80|Backtrackingtime:10|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),15,4,0,0,0,17,0,1,101,80,14,5,6,0,100,0,100,30,0
251,24,ModelResultImpl,997,1104,108,9,105,(TransformationExecutionTime3|ForwardTime:51|Backtrackingtime:3|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,3,0,0,0,10,0,0,81,51,6,6,4,0,80,0,80,30,0
261,25,ModelResultImpl,997,2621,233,19,222,(TransformationExecutionTime6|ForwardTime:116|Backtrackingtime:6|GlobalConstraintEvaluationTime:13|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),43,6,1,0,0,22,0,1,91,116,17,13,9,0,90,0,90,30,0
271,26,ModelResultImpl,997,1459,173,10,167,(TransformationExecutionTime4|ForwardTime:86|Backtrackingtime:7|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),32,4,0,0,0,16,0,1,103,86,14,10,6,0,102,0,102,30,0
281,27,ModelResultImpl,997,1130,103,10,98,(TransformationExecutionTime3|ForwardTime:50|Backtrackingtime:2|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,3,0,0,0,7,0,0,67,50,6,6,5,0,67,0,67,31,0
291,28,ModelResultImpl,997,1070,109,11,105,(TransformationExecutionTime3|ForwardTime:57|Backtrackingtime:3|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,3,0,0,0,9,0,1,95,57,7,6,3,0,94,0,94,30,0
301,29,ModelResultImpl,997,1046,100,9,96,(TransformationExecutionTime3|ForwardTime:49|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,3,0,0,0,8,0,0,73,49,5,4,3,0,72,0,72,30,0
311,30,ModelResultImpl,997,1079,90,11,85,(TransformationExecutionTime2|ForwardTime:40|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,2,0,0,0,5,0,0,58,40,5,5,4,0,57,0,57,30,0
321,31,ModelResultImpl,997,1130,130,11,125,(TransformationExecutionTime3|ForwardTime:57|Backtrackingtime:2|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),34,3,0,0,0,10,0,0,76,57,7,8,6,0,75,0,75,30,0
331,32,ModelResultImpl,997,1625,279,19,271,(TransformationExecutionTime8|ForwardTime:148|Backtrackingtime:16|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),37,8,0,0,0,32,0,2,103,148,24,11,10,0,102,0,102,30,0
341,33,ModelResultImpl,997,1529,285,22,278,(TransformationExecutionTime7|ForwardTime:147|Backtrackingtime:20|GlobalConstraintEvaluationTime:14|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),39,7,0,0,0,34,0,1,139,147,28,14,7,0,140,0,140,31,0
351,34,ModelResultImpl,997,1372,116,11,111,(TransformationExecutionTime3|ForwardTime:57|Backtrackingtime:2|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),22,3,0,0,0,10,0,1,76,57,7,7,4,0,76,0,76,31,0
361,35,ModelResultImpl,997,1136,146,14,141,(TransformationExecutionTime3|ForwardTime:66|Backtrackingtime:6|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),34,3,0,0,0,14,0,0,102,66,11,6,7,0,101,0,101,30,0
371,36,ModelResultImpl,997,1100,111,10,107,(TransformationExecutionTime2|ForwardTime:54|Backtrackingtime:3|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,2,0,0,0,10,0,0,85,54,6,8,5,0,84,0,84,30,0
381,37,ModelResultImpl,997,2532,326,20,315,(TransformationExecutionTime8|ForwardTime:172|Backtrackingtime:20|GlobalConstraintEvaluationTime:16|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),44,8,1,0,0,37,0,1,123,172,30,16,10,0,122,0,122,30,0
391,38,ModelResultImpl,997,1508,161,16,154,(TransformationExecutionTime3|ForwardTime:80|Backtrackingtime:4|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),30,3,0,0,0,16,0,1,95,80,10,10,6,0,94,0,94,30,0
401,39,ModelResultImpl,997,1302,107,10,101,(TransformationExecutionTime2|ForwardTime:54|Backtrackingtime:1|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,2,0,0,0,9,0,1,74,54,7,5,4,0,74,0,74,31,0
411,40,ModelResultImpl,997,1104,110,12,106,(TransformationExecutionTime3|ForwardTime:54|Backtrackingtime:1|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),26,3,0,0,0,9,0,0,78,54,5,5,4,0,77,0,77,30,0
421,41,ModelResultImpl,997,1069,134,9,130,(TransformationExecutionTime4|ForwardTime:69|Backtrackingtime:6|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),22,4,0,0,0,13,0,1,94,69,10,5,5,0,93,0,93,30,0
431,42,ModelResultImpl,997,1105,87,9,82,(TransformationExecutionTime2|ForwardTime:41|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),19,2,0,0,0,7,0,0,66,41,5,4,3,0,65,0,65,30,0
441,43,ModelResultImpl,997,1093,89,10,86,(TransformationExecutionTime2|ForwardTime:44|Backtrackingtime:0|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,2,0,0,0,6,0,0,58,44,3,4,3,0,57,0,57,30,0
451,44,ModelResultImpl,997,1075,104,11,99,(TransformationExecutionTime2|ForwardTime:53|Backtrackingtime:3|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,2,0,0,0,10,0,0,86,53,7,6,3,0,85,0,85,30,0
461,45,ModelResultImpl,997,1092,148,9,143,(TransformationExecutionTime3|ForwardTime:73|Backtrackingtime:7|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),27,3,0,0,0,18,0,0,116,73,12,6,4,0,115,0,115,30,0
471,46,ModelResultImpl,997,2667,206,18,197,(TransformationExecutionTime5|ForwardTime:100|Backtrackingtime:2|GlobalConstraintEvaluationTime:14|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),39,5,0,0,0,20,0,1,75,100,11,14,10,0,74,0,74,30,0
481,47,ModelResultImpl,997,1914,155,13,150,(TransformationExecutionTime4|ForwardTime:78|Backtrackingtime:4|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),27,4,0,0,0,15,0,1,85,78,9,11,6,0,84,0,84,30,0
491,48,ModelResultImpl,997,1223,134,10,129,(TransformationExecutionTime3|ForwardTime:61|Backtrackingtime:2|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),31,3,0,0,0,10,0,1,72,61,7,8,8,0,74,0,74,33,0
501,49,ModelResultImpl,997,1097,91,10,87,(TransformationExecutionTime2|ForwardTime:47|Backtrackingtime:1|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),15,2,0,0,0,7,0,0,73,47,5,6,4,0,72,0,72,30,0
511,50,ModelResultImpl,997,1085,95,10,91,(TransformationExecutionTime2|ForwardTime:46|Backtrackingtime:2|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),19,2,0,0,0,8,0,0,76,46,5,6,3,0,75,0,75,30,0
521,51,ModelResultImpl,997,1095,136,9,132,(TransformationExecutionTime4|ForwardTime:72|Backtrackingtime:8|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,4,0,0,0,17,0,0,116,72,12,5,3,0,115,0,115,30,0
531,52,ModelResultImpl,997,1105,122,12,115,(TransformationExecutionTime3|ForwardTime:65|Backtrackingtime:6|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,3,0,0,0,12,0,0,107,65,14,4,3,0,106,0,106,30,0
541,53,ModelResultImpl,997,2485,468,34,447,(TransformationExecutionTime13|ForwardTime:237|Backtrackingtime:20|GlobalConstraintEvaluationTime:26|FitnessCalculationTime:20|ActivationSelectionTime:0|SolutionCopyTime:4|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),72,13,1,0,0,48,0,4,109,237,41,26,20,0,108,0,108,30,0
551,54,ModelResultImpl,997,1439,145,11,139,(TransformationExecutionTime4|ForwardTime:77|Backtrackingtime:5|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,4,0,0,0,15,0,1,94,77,11,6,6,0,94,0,94,31,0
561,55,ModelResultImpl,997,1296,204,16,196,(TransformationExecutionTime5|ForwardTime:106|Backtrackingtime:4|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:11|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),30,5,0,0,0,20,0,2,88,106,12,11,11,0,87,0,87,30,0
571,56,ModelResultImpl,997,1116,162,22,156,(TransformationExecutionTime6|ForwardTime:92|Backtrackingtime:6|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),19,6,0,0,0,17,0,1,76,92,11,6,4,0,75,0,75,30,0
581,57,ModelResultImpl,997,1207,141,9,136,(TransformationExecutionTime3|ForwardTime:77|Backtrackingtime:9|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),16,3,0,0,0,19,0,0,121,77,13,4,4,0,121,0,121,31,0
591,58,ModelResultImpl,997,1096,94,9,90,(TransformationExecutionTime2|ForwardTime:50|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),16,2,0,0,0,8,0,0,77,50,6,4,3,0,77,0,77,31,0
601,59,ModelResultImpl,997,1287,155,9,150,(TransformationExecutionTime4|ForwardTime:73|Backtrackingtime:3|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),36,4,0,0,0,12,0,1,87,73,8,10,5,0,86,0,86,30,0
611,60,ModelResultImpl,997,1086,150,11,146,(TransformationExecutionTime4|ForwardTime:78|Backtrackingtime:9|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),16,4,0,0,0,20,0,0,126,78,13,7,7,0,126,0,126,31,0
621,61,ModelResultImpl,997,1049,84,10,81,(TransformationExecutionTime2|ForwardTime:41|Backtrackingtime:1|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),19,2,0,0,0,6,0,0,66,41,4,4,3,0,65,0,65,30,0
631,62,ModelResultImpl,997,1183,138,14,134,(TransformationExecutionTime4|ForwardTime:70|Backtrackingtime:4|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),29,4,0,0,0,12,0,0,85,70,8,6,4,0,84,0,84,30,0
641,63,ModelResultImpl,997,3420,231,17,222,(TransformationExecutionTime5|ForwardTime:117|Backtrackingtime:7|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:10|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),43,5,0,0,0,23,0,1,93,117,15,10,10,0,92,0,92,30,0
651,64,ModelResultImpl,997,1328,129,11,124,(TransformationExecutionTime3|ForwardTime:55|Backtrackingtime:0|GlobalConstraintEvaluationTime:13|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),31,3,0,0,0,8,0,1,59,55,6,13,8,0,59,0,59,31,0
661,65,ModelResultImpl,997,1204,141,10,137,(TransformationExecutionTime3|ForwardTime:71|Backtrackingtime:4|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,3,0,0,0,13,0,0,88,71,8,10,5,0,87,0,87,30,0
671,66,ModelResultImpl,997,1031,130,9,127,(TransformationExecutionTime3|ForwardTime:65|Backtrackingtime:7|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,3,0,0,0,15,0,0,111,65,10,4,4,0,110,0,110,30,0
681,67,ModelResultImpl,997,1040,102,9,98,(TransformationExecutionTime2|ForwardTime:48|Backtrackingtime:2|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,2,0,0,0,9,0,0,80,48,5,7,3,0,79,0,79,30,0
691,68,ModelResultImpl,997,1608,533,38,512,(TransformationExecutionTime13|ForwardTime:280|Backtrackingtime:47|GlobalConstraintEvaluationTime:17|FitnessCalculationTime:14|ActivationSelectionTime:0|SolutionCopyTime:4|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),54,13,1,0,0,76,0,4,155,280,67,17,14,0,154,0,154,30,0
701,69,ModelResultImpl,997,1726,213,14,208,(TransformationExecutionTime5|ForwardTime:114|Backtrackingtime:10|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),30,5,0,0,0,26,0,1,107,114,15,8,8,0,108,0,108,30,0
711,70,ModelResultImpl,997,1268,126,9,121,(TransformationExecutionTime3|ForwardTime:65|Backtrackingtime:3|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,3,0,0,0,10,0,1,84,65,8,6,5,0,84,0,84,31,0
721,71,ModelResultImpl,997,1172,141,10,137,(TransformationExecutionTime4|ForwardTime:76|Backtrackingtime:5|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,4,0,0,0,14,0,0,99,76,9,8,5,0,98,0,98,30,0
731,72,ModelResultImpl,997,1086,95,9,91,(TransformationExecutionTime2|ForwardTime:44|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),24,2,0,0,0,7,0,0,68,44,4,5,4,0,67,0,67,30,0
741,73,ModelResultImpl,997,1568,115,9,110,(TransformationExecutionTime2|ForwardTime:58|Backtrackingtime:2|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,2,0,0,0,10,0,0,86,58,6,7,8,0,85,0,85,30,0
751,74,ModelResultImpl,997,1079,79,11,74,(TransformationExecutionTime1|ForwardTime:34|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,1,0,0,0,4,0,0,61,34,5,5,6,0,60,0,60,30,0
761,75,ModelResultImpl,997,1070,117,8,113,(TransformationExecutionTime2|ForwardTime:55|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),31,2,0,0,0,10,0,0,91,55,6,4,3,0,91,0,91,30,0
771,76,ModelResultImpl,997,1104,118,11,112,(TransformationExecutionTime3|ForwardTime:61|Backtrackingtime:6|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,3,0,0,0,12,0,0,103,61,12,4,4,0,103,0,103,30,0
781,77,ModelResultImpl,997,2286,222,17,213,(TransformationExecutionTime5|ForwardTime:112|Backtrackingtime:7|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),42,5,0,0,0,23,0,1,101,112,16,10,7,0,100,0,100,30,0
791,78,ModelResultImpl,997,1528,176,11,170,(TransformationExecutionTime5|ForwardTime:96|Backtrackingtime:7|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,5,0,0,0,18,0,1,106,96,13,8,6,0,105,0,105,30,0
801,79,ModelResultImpl,997,1085,86,9,81,(TransformationExecutionTime2|ForwardTime:36|Backtrackingtime:0|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),26,2,0,0,0,5,0,0,52,36,4,5,4,0,51,0,51,30,0
811,80,ModelResultImpl,997,1090,156,9,151,(TransformationExecutionTime4|ForwardTime:87|Backtrackingtime:10|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,4,0,0,0,18,0,0,135,87,15,5,5,0,134,0,134,30,0
821,81,ModelResultImpl,997,1074,116,8,113,(TransformationExecutionTime2|ForwardTime:56|Backtrackingtime:3|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,2,0,0,0,12,0,0,97,56,7,7,3,0,96,0,96,30,0
831,82,ModelResultImpl,997,1078,132,10,128,(TransformationExecutionTime3|ForwardTime:69|Backtrackingtime:4|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,3,0,0,0,16,0,0,110,69,8,5,5,0,109,0,109,30,0
841,83,ModelResultImpl,997,2323,161,15,154,(TransformationExecutionTime4|ForwardTime:76|Backtrackingtime:1|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),38,4,0,0,0,12,0,1,66,76,8,9,8,0,65,0,65,30,0
851,84,ModelResultImpl,997,1436,133,13,127,(TransformationExecutionTime3|ForwardTime:65|Backtrackingtime:4|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),21,3,0,0,0,12,0,1,78,65,10,7,9,0,78,0,78,31,0
861,85,ModelResultImpl,997,1121,200,11,195,(TransformationExecutionTime5|ForwardTime:109|Backtrackingtime:14|GlobalConstraintEvaluationTime:9|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),22,5,0,0,0,22,0,0,129,109,19,9,6,0,129,0,129,31,0
871,86,ModelResultImpl,997,1050,99,10,94,(TransformationExecutionTime2|ForwardTime:49|Backtrackingtime:1|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),19,2,0,0,0,8,0,0,76,49,5,6,4,0,75,0,75,30,0
881,87,ModelResultImpl,997,1046,152,12,147,(TransformationExecutionTime4|ForwardTime:79|Backtrackingtime:9|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,4,0,0,0,18,0,0,123,79,14,8,5,0,123,0,123,30,0
891,88,ModelResultImpl,997,1027,130,11,125,(TransformationExecutionTime3|ForwardTime:65|Backtrackingtime:3|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:6|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),23,3,0,0,0,13,0,0,94,65,8,7,6,0,93,0,93,30,0
901,89,ModelResultImpl,997,2220,187,17,181,(TransformationExecutionTime5|ForwardTime:97|Backtrackingtime:6|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),34,5,0,0,0,18,0,1,86,97,12,8,7,0,85,0,85,30,0
911,90,ModelResultImpl,997,1318,114,11,109,(TransformationExecutionTime2|ForwardTime:52|Backtrackingtime:1|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,2,0,0,0,9,0,0,63,52,6,8,8,0,63,0,63,30,0
921,91,ModelResultImpl,997,1150,123,9,119,(TransformationExecutionTime3|ForwardTime:60|Backtrackingtime:3|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,3,0,0,0,11,0,0,86,60,8,8,4,0,86,0,86,31,0
931,92,ModelResultImpl,997,1098,142,9,138,(TransformationExecutionTime3|ForwardTime:74|Backtrackingtime:8|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:5|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),20,3,0,0,0,18,0,0,116,74,12,5,5,0,116,0,116,31,0
941,93,ModelResultImpl,997,1117,82,10,78,(TransformationExecutionTime2|ForwardTime:39|Backtrackingtime:0|GlobalConstraintEvaluationTime:7|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,2,0,0,0,5,0,0,58,39,3,7,4,0,57,0,57,30,0
951,94,ModelResultImpl,997,1057,79,11,75,(TransformationExecutionTime2|ForwardTime:37|Backtrackingtime:0|GlobalConstraintEvaluationTime:6|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),17,2,0,0,0,6,0,0,61,37,3,6,4,0,60,0,60,30,0
961,95,ModelResultImpl,997,1084,106,12,101,(TransformationExecutionTime3|ForwardTime:58|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,3,0,0,0,9,0,0,85,58,6,4,3,0,84,0,84,30,0
971,96,ModelResultImpl,997,1037,105,11,99,(TransformationExecutionTime2|ForwardTime:53|Backtrackingtime:2|GlobalConstraintEvaluationTime:4|FitnessCalculationTime:3|ActivationSelectionTime:0|SolutionCopyTime:2|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),18,2,0,0,0,10,0,2,92,53,7,4,3,0,92,0,92,30,0
981,97,ModelResultImpl,997,1580,275,19,267,(TransformationExecutionTime6|ForwardTime:141|Backtrackingtime:14|GlobalConstraintEvaluationTime:11|FitnessCalculationTime:9|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),44,6,0,0,0,35,0,1,107,141,22,11,9,0,106,0,106,30,0
991,98,ModelResultImpl,997,1548,163,15,158,(TransformationExecutionTime3|ForwardTime:82|Backtrackingtime:6|GlobalConstraintEvaluationTime:10|FitnessCalculationTime:8|ActivationSelectionTime:0|SolutionCopyTime:1|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),26,3,0,0,0,17,0,1,96,82,11,10,8,0,96,0,96,31,0
1001,99,ModelResultImpl,997,1301,140,12,135,(TransformationExecutionTime3|ForwardTime:70|Backtrackingtime:4|GlobalConstraintEvaluationTime:8|FitnessCalculationTime:7|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),25,3,0,0,0,12,0,0,92,70,9,8,7,0,91,0,91,30,0
1011,100,ModelResultImpl,997,1070,106,12,99,(TransformationExecutionTime2|ForwardTime:51|Backtrackingtime:2|GlobalConstraintEvaluationTime:5|FitnessCalculationTime:4|ActivationSelectionTime:0|SolutionCopyTime:0|NumericalSolverSumTime:0|NumericalSolverProblemFormingTime:0|NumericalSolverSolvingTime:0|NumericalSolverInterpretingSolution:0),22,2,0,0,0,11,0,0,82,51,9,5,4,0,81,0,81,30,0
102
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 11:32:08 +0000