Adjust measurement setup. TaxationWithRoot support. JAR creation

5 files changed, 28 insertions, 0 deletions

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

+