aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv')
-rw-r--r--Metrics/Metrics-Calculation/RealisticRunner/statistics/Github/warmup.csv102
1 files changed, 102 insertions, 0 deletions
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-31 04:54:26 +0000