From c27782f97521797d3c40e9328681afaa30782d29 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 13 May 2020 17:11:21 -0400 Subject: Adjust case study master file. Add some measurements --- .../stats/FamilyTree/size050to-1x1stats_13-1651.csv | 3 +++ .../stats/FamilyTree/size050to0-1x1stats_13-1639.csv | 3 +++ .../stats/FamilyTree/size050to100x1stats_13-1637.csv | 3 +++ .../stats/FamilyTree/size070to-1x1stats_13-1653.csv | 3 +++ .../stats/FamilyTree/size100to150x1stats_13-1618.csv | 3 +++ .../stats/FamilyTree/size50to-1x1stats_13-1626.csv | 3 +++ .../stats/FamilyTree/size50to0-1x1stats_13-1645.csv | 3 +++ .../measurements/stats/FamilyTree/size50to250x10.xlsx | Bin 17112 -> 0 bytes 8 files changed, 21 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv new file mode 100644 index 00000000..b9eb7b1f --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv @@ -0,0 +1,3 @@ +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;163;1202;44239;48;43680;1731;12;5081;0;1;1;34659;14003;18381;0;61;1542;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv new file mode 100644 index 00000000..9f70af58 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv @@ -0,0 +1,3 @@ +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;1421;30143;50443;56;49835;2142;13;5553;0;2;0;39564;15482;21275;0;171;1376;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv new file mode 100644 index 00000000..24ab0292 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv @@ -0,0 +1,3 @@ +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;205;1596;128110;104;127290;4830;18;15242;0;3;2;100994;39974;54512;0;167;3950;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv new file mode 100644 index 00000000..23ab0c15 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv @@ -0,0 +1,3 @@ +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;1215;25552;115588;87;115116;4039;12;19383;0;1;1;86370;33813;47037;0;170;3364;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv new file mode 100644 index 00000000..b261f458 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv @@ -0,0 +1,3 @@ +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;167;1211;61799;203;61164;2152;15;10998;0;4;1;45295;17688;24607;0;89;1834;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv new file mode 100644 index 00000000..30896318 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv @@ -0,0 +1,3 @@ +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;1314;25219;44180;45;43751;1855;15;5071;0;1;1;34513;13751;18416;0;60;1510;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv new file mode 100644 index 00000000..8e590cfa --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv @@ -0,0 +1,3 @@ +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;157;1567;60381;65;59780;2585;13;6699;0;2;1;47339;18835;25380;0;81;1789;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx deleted file mode 100644 index 23ac7a8c..00000000 Binary files a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx and /dev/null differ -- cgit v1.2.3-70-g09d2