diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv new file mode 100644 index 00000000..f932b9f1 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv | |||
@@ -0,0 +1,7 @@ | |||
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;1689;45562;151108;8120;33687;24416;57;18;0;17;0;740;160;146;0;0;12;0 | ||
3 | 2;2;ModelResultImpl;1689;54046;311596;61;139149;126061;1;32;0;9;0;922;256;139;0;0;13;0 | ||
4 | 2;3;ModelResultImpl;1689;38785;207310;34;81062;67359;1;91;0;8;0;774;146;158;0;0;17;0 | ||
5 | 2;4;ModelResultImpl;1689;31639;140145;11398;42680;31426;0;19;0;6;0;586;109;151;0;0;14;0 | ||
6 | 2;5;ModelResultImpl;1689;37075;139518;9874;31836;22233;2;10;0;5;0;459;69;96;0;0;11;0 | ||
7 | |||