8 files changed, 21 insertions, 0 deletions

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
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx
+++ /dev/null