diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv new file mode 100644 index 00000000..85980842 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv | |||
@@ -0,0 +1,6 @@ | |||
1 | Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber | ||
2 | 2;1;ModelResultImpl;848;21156;272124;249;269951;14601;10;228181;0;6;5;4340;1954;2076;0;0;191;0 | ||
3 | 2;2;ModelResultImpl;848;20321;406761;96;404747;21314;0;344485;0;2;3;4421;1624;2441;0;0;181;0 | ||
4 | 2;3;InsuficientResourcesResultImpl;848;19366;600510;0;;26773;0;520884;0;0;2;3581;1483;1869;0;0;194;0 | ||
5 | 2;4;ModelResultImpl;848;19435;336802;170;335303;16528;0;287290;0;1;3;3610;1506;1881;0;0;197;0 | ||
6 | |||