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/FamilyTree/size100x2stats_12-2040.csv | 4 ++++ .../measurements/stats/FamilyTree/size175x2stats_12-2108.csv | 4 ++++ .../measurements/stats/FamilyTree/size20x10stats_12-2016.csv | 12 ++++++++++++ .../measurements/stats/FamilyTree/size250x2stats_12-2205.csv | 4 ++++ .../measurements/stats/FamilyTree/size300x2stats_12-2120.csv | 4 ++++ 5 files changed, 28 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x2stats_12-2040.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size175x2stats_12-2108.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size20x10stats_12-2016.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x2stats_12-2205.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size300x2stats_12-2120.csv (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/size100x2stats_12-2040.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x2stats_12-2040.csv new file mode 100644 index 00000000..0573ffb8 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x2stats_12-2040.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;2150;26900;282787;30383;282024;8311;31;76375;0;4;3;185950;70774;103717;0;0;6650;0 +2;2;ModelResultImpl;2150;27564;279379;21553;278888;8666;0;74561;0;1;2;184049;70237;102818;0;0;7739;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size175x2stats_12-2108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size175x2stats_12-2108.csv new file mode 100644 index 00000000..d310f7fb --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size175x2stats_12-2108.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;1259;24488;190909;290;190095;4883;15;67133;0;5;2;111283;42903;61597;0;0;4424;0 +2;2;ModelResultImpl;1259;23732;167578;202;166919;4280;0;56522;0;1;1;100259;39026;55516;0;0;4290;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size20x10stats_12-2016.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size20x10stats_12-2016.csv new file mode 100644 index 00000000..52d703e8 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size20x10stats_12-2016.csv @@ -0,0 +1,12 @@ +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;1249;25096;6298;7394;5890;320;16;184;0;1;0;4889;2062;2495;0;0;171;0 +2;2;ModelResultImpl;1249;28974;4564;5358;4160;244;0;157;0;1;0;3488;1418;1829;0;0;157;0 +2;3;ModelResultImpl;1249;28569;6558;5778;6151;343;0;190;0;0;0;5234;2028;2759;0;0;210;0 +2;4;ModelResultImpl;1249;27159;2237;5798;1845;118;0;43;0;1;0;1548;622;831;0;0;67;0 +2;5;ModelResultImpl;1249;26898;5516;5416;5170;302;0;166;0;0;0;4377;1720;2374;0;0;191;0 +2;6;ModelResultImpl;1249;28768;3986;5351;3703;226;0;101;0;0;0;3149;1267;1697;0;0;146;0 +2;7;ModelResultImpl;1249;23729;5354;5004;5088;274;0;181;0;0;0;4337;1733;2327;0;0;217;0 +2;8;ModelResultImpl;1249;24852;5528;5122;5159;274;0;171;0;0;0;4397;1722;2397;0;0;196;0 +2;9;ModelResultImpl;1249;23602;14754;4691;14494;716;0;588;0;0;0;12424;4942;6732;0;0;646;0 +2;10;ModelResultImpl;1249;26291;19446;5920;19074;1039;0;683;0;0;0;16184;6372;8790;0;0;701;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x2stats_12-2205.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x2stats_12-2205.csv new file mode 100644 index 00000000..0046e2df --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x2stats_12-2205.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;929;20954;513421;1038;512552;9005;11;263628;0;5;3;225585;87735;124962;0;0;9072;0 +2;2;InsuficientResourcesResultImpl;929;24866;600523;0;;10460;0;313595;0;0;2;259134;100750;143994;0;0;9721;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size300x2stats_12-2120.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size300x2stats_12-2120.csv new file mode 100644 index 00000000..beea6604 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size300x2stats_12-2120.csv @@ -0,0 +1,4 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;InsuficientResourcesResultImpl;1029;21029;600629;0;11107;13;315837;0;0;3;256039;98943;142008;0;0;9109;0 +2;2;InsuficientResourcesResultImpl;1029;27074;600503;0;11756;0;300272;0;0;3;270707;105372;149879;0;0;8453;0 + -- cgit v1.2.3-54-g00ecf