From 4d914f3a77f64dc326933921b03735d4aabd9214 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 13 May 2020 00:34:43 -0400 Subject: Adjust measurement setup. TaxationWithRoot support. JAR creation --- .../measurements/stats/Satellite/size250x2stats_12-2334.csv | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv new file mode 100644 index 00000000..a151c900 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv @@ -0,0 +1,4 @@ +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;1;ModelResultImpl;1411;28770;273396;209;270458;15475;25;227590;0;6;5;4521;1958;2249;0;0;161;0 +2;2;ModelResultImpl;1411;25102;317901;102;314685;17328;0;266627;0;2;3;3811;1511;2032;0;0;159;0 + -- cgit v1.2.3-54-g00ecf