Adjust Pledge, handling of many households.

45 files changed, 195 insertions, 36 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/old/size050to-1x1stats_13-1651.csv
index b9eb7b1f..b9eb7b1f 100644
--- 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/old/size050to-1x1stats_13-1651.csv
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/old/size050to0-1x1stats_13-1639.csv
index 9f70af58..9f70af58 100644
--- 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/old/size050to0-1x1stats_13-1639.csv
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/old/size050to100x1stats_13-1637.csv
index 24ab0292..24ab0292 100644
--- 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/old/size050to100x1stats_13-1637.csv
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/old/size070to-1x1stats_13-1653.csv
index 23ab0c15..23ab0c15 100644
--- 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/old/size070to-1x1stats_13-1653.csv
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/old/size100to150x1stats_13-1618.csv
index b261f458..b261f458 100644
--- 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/old/size100to150x1stats_13-1618.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x10stats_13-0150.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x10stats_13-0150.csv
index 5d4167db..5d4167db 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x10stats_13-0150.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x10stats_13-0150.csv
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/old/size100x2stats_12-2040.csv
index 0573ffb8..e220b717 100644
--- 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/old/size100x2stats_12-2040.csv
@@ -1,4 +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

-

+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/size150x10stats_13-0223.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size150x10stats_13-0223.csv
index 09a35cdb..09a35cdb 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150x10stats_13-0223.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size150x10stats_13-0223.csv
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/old/size175x2stats_12-2108.csv
index d310f7fb..da6b23e6 100644
--- 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/old/size175x2stats_12-2108.csv
@@ -1,4 +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

-

+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/size200x10stats_13-0416.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size200x10stats_13-0416.csv
index 827f652c..827f652c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size200x10stats_13-0416.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size200x10stats_13-0416.csv
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/old/size20x10stats_12-2016.csv
index 52d703e8..fafc6d78 100644
--- 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/old/size20x10stats_12-2016.csv
@@ -1,12 +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

-

+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/size250x10stats_13-0618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x10stats_13-0618.csv
index d487b65e..d487b65e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x10stats_13-0618.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x10stats_13-0618.csv
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/old/size250x2stats_12-2205.csv
index 0046e2df..cadb70ae 100644
--- 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/old/size250x2stats_12-2205.csv
@@ -1,4 +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

-

+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/old/size300x2stats_12-2120.csv
index beea6604..17791923 100644
--- 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/old/size300x2stats_12-2120.csv
@@ -1,4 +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

-

+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
+
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/old/size50to-1x1stats_13-1626.csv
index 30896318..30896318 100644
--- 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/old/size50to-1x1stats_13-1626.csv
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/old/size50to0-1x1stats_13-1645.csv
index 8e590cfa..8e590cfa 100644
--- 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/old/size50to0-1x1stats_13-1645.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50x10stats_13-0138.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50x10stats_13-0138.csv
index 4ab584c9..4ab584c9 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50x10stats_13-0138.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50x10stats_13-0138.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to070x10stats_13-1730.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to070x10stats_13-1730.csv
new file mode 100644
index 00000000..5f62aa38
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to070x10stats_13-1730.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;1183;22542;101077;44;100529;4195;14;13166;0;1;2;77588;30267;42363;0;137;3832;0
+2;2;ModelResultImpl;1183;23301;10597;36;10254;438;0;899;0;0;0;8402;3308;4579;0;13;438;0
+2;3;ModelResultImpl;1183;21411;77513;32;77187;2985;0;9092;0;0;0;61198;23766;33713;0;97;3061;0
+2;4;ModelResultImpl;1183;21329;112532;25;112205;4634;0;13579;0;0;0;88036;34199;48489;0;134;4526;0
+2;5;ModelResultImpl;1183;21178;72247;26;71968;2743;0;8634;0;0;0;57013;22254;31273;0;92;2866;0
+2;6;ModelResultImpl;1183;21916;10852;24;10553;467;0;845;0;0;0;8705;3425;4757;0;11;469;0
+2;7;ModelResultImpl;1183;21248;44682;166;44409;1768;0;5414;0;0;0;34974;13544;19315;0;55;1743;0
+2;8;ModelResultImpl;1183;21455;75975;24;75688;3059;0;8952;0;0;0;59768;23441;32755;0;93;3066;0
+2;9;ModelResultImpl;1183;21892;34651;25;34399;1374;0;4060;0;0;0;27206;10589;14988;0;41;1379;0
+2;10;ModelResultImpl;1183;20002;34838;24;34573;1404;0;4123;0;0;0;27201;10810;14830;0;46;1630;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to120x10stats_13-2014.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to120x10stats_13-2014.csv
new file mode 100644
index 00000000..983dc5ca
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to120x10stats_13-2014.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;879;19443;651643;184;651257;21212;11;179104;0;4;7;419575;164831;230210;0;947;23537;0
+2;2;ModelResultImpl;879;18046;182316;62;181935;5071;0;49236;0;1;0;119651;46315;66413;0;254;6726;0
+2;3;ModelResultImpl;879;20068;161063;58;160742;4742;0;41326;0;0;0;107511;42225;59151;0;227;6076;0
+2;4;ModelResultImpl;879;18426;465629;46;465315;12648;0;131101;0;0;1;301285;116841;167252;0;659;16812;0
+2;5;ModelResultImpl;879;17705;168215;49;167927;4703;0;43921;0;0;0;112242;43654;62123;0;245;5883;0
+2;6;ModelResultImpl;879;18076;549336;63;548983;17591;0;159262;0;0;2;346772;135097;191753;1;752;18459;0
+2;7;ModelResultImpl;879;21873;137218;59;136910;4064;0;34744;0;0;0;92329;34957;51811;0;180;4164;0
+2;8;ModelResultImpl;879;21797;148870;57;148576;4279;0;40173;0;0;0;97936;37760;54439;0;212;4724;0
+2;9;ModelResultImpl;879;19029;180486;47;180232;4602;0;53289;0;0;0;115093;44670;63808;0;256;6258;0
+2;10;ModelResultImpl;879;19549;40959;48;40646;1381;0;8712;0;0;0;28736;11403;15729;0;58;1606;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150to170x10stats_14-0731.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150to170x10stats_14-0731.csv
new file mode 100644
index 00000000..d7344914
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150to170x10stats_14-0731.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;846;17526;499514;227;499045;11539;8;204754;0;4;3;263987;104227;144444;0;717;12852;0
+2;2;ModelResultImpl;846;17121;781803;122;781328;18102;0;318949;0;1;2;415501;164007;228056;0;1104;20830;0
+2;3;ModelResultImpl;846;18440;634127;128;633692;14051;0;262104;0;1;1;334660;130992;184595;0;884;16475;0
+2;4;ModelResultImpl;846;16794;473754;116;473338;10986;0;192322;0;1;1;252834;99825;138699;0;658;12657;0
+2;5;ModelResultImpl;846;16617;618165;124;617781;13785;0;253493;0;0;1;328033;129218;180178;0;935;16546;0
+2;6;InsuficientResourcesResultImpl;846;16582;900172;0;;20695;0;377036;0;0;2;469034;185289;257187;0;1240;23469;0
+2;7;InsuficientResourcesResultImpl;846;16704;900155;0;;22081;0;372235;0;0;2;471061;186112;258265;0;1253;23454;0
+2;8;InsuficientResourcesResultImpl;846;16728;900135;0;;20527;0;360416;0;0;2;485823;191650;266384;0;1329;24358;0
+2;9;ModelResultImpl;846;17015;375812;158;375453;8248;0;150348;0;0;0;203584;80702;111475;0;549;10157;0
+2;10;ModelResultImpl;846;18025;283944;110;283517;7055;0;111058;0;0;0;154650;61330;84558;0;394;8027;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x3stats_13-1501.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size100to120x3stats_13-1501.csv
index 4fefce2c..4fefce2c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x3stats_13-1501.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size100to120x3stats_13-1501.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size250x2stats_12-2334.csv
index a151c900..d5eb519f 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size250x2stats_12-2334.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size250x2stats_12-2334.csv
@@ -1,4 +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;1411;28770;273396;209;270458;15475;25;227590;0;6;5;4521;1958;2249;0;0;161;0

-2;2;ModelResultImpl;1411;25102;317901;102;314685;17328;0;266627;0;2;3;3811;1511;2032;0;0;159;0

-

+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;1411;28770;273396;209;270458;15475;25;227590;0;6;5;4521;1958;2249;0;0;161;0
+2;2;ModelResultImpl;1411;25102;317901;102;314685;17328;0;266627;0;2;3;3811;1511;2032;0;0;159;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size275x4stats_13-0041.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size275x4stats_13-0041.csv
index d27f24ae..d27f24ae 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size275x4stats_13-0041.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size275x4stats_13-0041.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x2stats_13-0011.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x2stats_13-0011.csv
index 687f118a..687f118a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x2stats_13-0011.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x2stats_13-0011.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x4stats_13-0108.csv
index 85980842..85980842 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x4stats_13-0108.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size350x2stats_12-2347.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size350x2stats_12-2347.csv
index 182c91dd..343c483c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size350x2stats_12-2347.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size350x2stats_12-2347.csv
@@ -1,4 +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;842;22446;600548;0;27366;20;519855;0;0;5;4664;1909;2405;0;0;196;0

-2;2;InsuficientResourcesResultImpl;842;21296;600560;0;25921;0;523013;0;0;4;4324;1733;2232;0;0;188;0

-

+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;842;22446;600548;0;27366;20;519855;0;0;5;4664;1909;2405;0;0;196;0
+2;2;InsuficientResourcesResultImpl;842;21296;600560;0;25921;0;523013;0;0;4;4324;1733;2232;0;0;188;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size050to070x10stats_13-1723.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size050to070x10stats_13-1723.csv
new file mode 100644
index 00000000..fe14342b
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size050to070x10stats_13-1723.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;1028;24134;7468;26;5321;1990;19;656;0;2;0;1580;738;722;0;2;60;0
+2;2;ModelResultImpl;1028;22526;3357;19;2022;843;0;193;0;1;0;503;192;268;0;1;25;0
+2;3;ModelResultImpl;1028;22680;4108;17;2638;911;0;375;0;1;0;806;318;426;0;1;38;0
+2;4;ModelResultImpl;1028;22520;3368;21;2054;724;0;206;0;2;0;642;234;356;0;1;32;0
+2;5;ModelResultImpl;1028;22611;4908;20;3368;1134;0;622;0;1;0;919;357;482;0;2;48;0
+2;6;ModelResultImpl;1028;22086;4773;24;3337;1224;0;448;0;2;0;962;382;495;0;1;36;0
+2;7;ModelResultImpl;1028;22553;4283;16;2550;995;0;196;0;1;0;824;316;449;0;1;34;0
+2;8;ModelResultImpl;1028;26022;5545;17;4181;1401;0;911;0;1;0;1073;406;585;0;2;52;0
+2;9;ModelResultImpl;1028;22378;3105;10;1618;553;0;88;0;1;0;630;219;289;0;0;27;0
+2;10;ModelResultImpl;1028;22013;2510;9;1423;537;0;139;0;1;0;408;162;215;0;0;26;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x10stats_13-2007.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x10stats_13-2007.csv
new file mode 100644
index 00000000..bfe034a3
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x10stats_13-2007.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;791;20417;14898;42;13162;2785;17;6469;0;5;1;1853;877;819;0;4;80;0
+2;2;ModelResultImpl;791;19342;7073;34;5935;1725;0;2266;0;1;0;1054;429;547;0;2;64;0
+2;3;ModelResultImpl;791;18958;11024;33;9730;2217;0;5020;0;1;0;916;365;477;0;2;57;0
+2;4;ModelResultImpl;791;19062;18042;39;16883;2955;0;10110;0;3;0;1516;598;815;0;3;89;0
+2;5;ModelResultImpl;791;18584;8407;28;7155;1794;0;3143;0;1;0;1179;464;600;0;2;71;0
+2;6;ModelResultImpl;791;19070;9088;30;7956;1937;0;3730;0;1;0;1085;441;571;0;2;69;0
+2;7;ModelResultImpl;791;18723;6627;29;5544;1675;0;2008;0;1;0;950;386;501;0;1;60;0
+2;8;ModelResultImpl;791;19349;5547;22;4397;1289;0;1532;0;1;0;898;365;474;0;1;58;0
+2;9;ModelResultImpl;791;18486;11656;29;10486;2177;0;5533;0;1;0;1224;501;641;0;2;75;0
+2;10;ModelResultImpl;791;18982;8618;28;7534;1870;0;3453;0;1;0;1076;435;568;0;1;69;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size150to170x10stats_14-0058.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size150to170x10stats_14-0058.csv
new file mode 100644
index 00000000..dd09e71d
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size150to170x10stats_14-0058.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;785;20333;27619;82;25666;4135;9;15623;0;4;1;2284;986;1092;0;5;92;0
+2;2;ModelResultImpl;785;18978;57199;55;55959;7190;0;38319;0;1;2;3527;1412;1826;0;8;199;0
+2;3;ModelResultImpl;785;18736;20107;58;18843;2963;0;11893;0;1;0;1734;725;826;0;3;94;0
+2;4;ModelResultImpl;785;18687;33152;39;31960;4060;0;22495;0;1;0;1598;651;844;0;3;98;0
+2;5;ModelResultImpl;785;18950;33598;40;32210;4756;0;21354;0;1;0;1909;772;1013;0;4;104;0
+2;6;ModelResultImpl;785;17973;41228;37;39950;4972;0;28117;0;1;0;1861;742;1002;0;3;107;0
+2;7;ModelResultImpl;785;18313;29620;404;28456;4006;0;19476;0;1;0;1545;633;810;0;3;93;0
+2;8;ModelResultImpl;785;18439;24905;32;23663;3468;0;15772;0;1;0;1550;629;819;0;3;98;0
+2;9;ModelResultImpl;785;18368;17932;28;16631;2916;0;10104;0;1;0;1491;616;782;0;3;92;0
+2;10;ModelResultImpl;785;18387;29921;438;28853;3999;0;19797;0;1;0;1469;603;771;0;3;91;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size200to220x10stats_14-1405.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size200to220x10stats_14-1405.csv
new file mode 100644
index 00000000..c098e27d
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size200to220x10stats_14-1405.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;804;20488;105316;109;103361;9367;18;79443;0;4;3;2595;1156;1232;0;6;118;0
+2;2;ModelResultImpl;804;18751;70173;71;68826;6588;0;52401;0;1;1;2389;968;1249;0;6;124;0
+2;3;ModelResultImpl;804;20265;97060;65;95352;7544;0;75977;0;2;1;2508;990;1274;0;6;132;0
+2;4;ModelResultImpl;804;20350;106620;56;105279;9032;0;82673;0;2;0;2452;987;1299;0;6;121;0
+2;5;ModelResultImpl;804;19080;110361;55;109008;8972;0;86066;0;2;1;2239;901;1192;0;4;123;0
+2;6;ModelResultImpl;804;19911;80396;51;78970;6980;0;61459;0;1;0;2268;933;1189;0;5;126;0
+2;7;ModelResultImpl;804;18662;110373;66;108919;8172;0;87693;0;1;1;2662;1091;1400;0;6;148;0
+2;8;ModelResultImpl;804;20870;101924;59;100023;8251;0;78889;0;2;1;2732;1091;1453;0;6;131;0
+2;9;ModelResultImpl;804;26393;49272;79;46966;5930;0;32563;0;2;1;3454;1376;1847;0;7;125;0
+2;10;ModelResultImpl;804;26856;255522;55;253610;17730;0;208033;0;1;1;3868;1576;2031;0;9;165;0
+
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/old/size100x5stats_13-0958.csv
index f932b9f1..f932b9f1 100644
--- 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/old/size100x5stats_13-0958.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x3stats_13-1026.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x3stats_13-1026.csv
index 5c5ed93b..5c5ed93b 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x3stats_13-1026.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x3stats_13-1026.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x6stats_13-1117.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x6stats_13-1117.csv
index 9e67cfd2..9e67cfd2 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x6stats_13-1117.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x6stats_13-1117.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size050to100x10stats_13-1817.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size050to100x10stats_13-1817.csv
new file mode 100644
index 00000000..12486b47
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size050to100x10stats_13-1817.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;1699;36100;127279;48;30546;20041;185;11;0;18;0;561;80;86;0;0;7;0
+2;2;ModelResultImpl;1699;32552;110917;55;22870;16052;3;7;0;7;0;458;104;75;0;0;8;0
+2;3;ModelResultImpl;1699;29753;104875;14;16748;10437;1;5;0;6;0;410;66;62;0;0;7;0
+2;4;ModelResultImpl;1699;32082;96797;18;13035;7879;0;3;0;5;0;347;39;53;0;0;6;0
+2;5;ModelResultImpl;1699;29783;101793;15;18056;11966;0;7;0;6;0;433;60;81;0;0;8;0
+2;6;ModelResultImpl;1699;30260;121233;20;36832;25982;0;7;0;6;0;479;75;82;0;0;9;0
+2;7;ModelResultImpl;1699;29244;97533;15;12397;7570;0;3;0;5;0;356;53;54;0;0;6;0
+2;8;ModelResultImpl;1699;29348;145401;13;58892;43378;1;7;0;5;0;469;94;100;0;0;12;0
+2;9;ModelResultImpl;1699;30109;95858;15;12788;7948;0;2;0;6;0;340;37;53;0;0;6;0
+2;10;ModelResultImpl;1699;29240;106009;501;19414;13207;0;5;0;5;0;391;55;78;0;0;9;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100to150x10stats_13-2104.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100to150x10stats_13-2104.csv
new file mode 100644
index 00000000..5fb63b6b
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100to150x10stats_13-2104.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;1131;31344;433879;245;343427;252607;115;246;0;11;0;1735;675;645;0;3;75;0
+2;2;InsuficientResourcesResultImpl;1131;32550;938523;0;;782339;1;187;0;0;0;1064;388;473;0;2;58;0
+2;3;InsuficientResourcesResultImpl;1131;30337;958117;0;;805939;1;173;0;0;0;950;342;407;0;2;50;0
+2;4;InsuficientResourcesResultImpl;1131;30343;912082;0;;748150;0;177;0;0;0;1009;354;439;0;2;50;0
+2;5;ModelResultImpl;1131;35271;339229;28;222902;162815;1;137;0;9;0;1348;401;488;0;1;48;0
+2;6;InsuficientResourcesResultImpl;1131;34542;924491;0;;745612;0;154;0;0;0;1057;345;437;0;1;47;0
+2;7;InsuficientResourcesResultImpl;1131;29321;905981;0;;749120;0;162;0;0;0;1101;361;451;0;1;53;0
+2;8;ModelResultImpl;1131;29064;146484;22;53065;38180;0;18;0;6;0;615;122;164;0;0;20;0
+2;9;ModelResultImpl;1131;29133;137335;19;41559;30708;0;17;0;5;0;523;105;140;0;0;16;0
+2;10;ModelResultImpl;1131;29362;118161;17;22041;15683;0;7;0;6;0;460;73;103;0;0;12;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size150to200x10stats_14-0922.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size150to200x10stats_14-0922.csv
new file mode 100644
index 00000000..912ce25c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size150to200x10stats_14-0922.csv
@@ -0,0 +1,12 @@
+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;_Solution0FoundAt
+2;1;InsuficientResourcesResultImpl;1105;29819;948461;0;811947;121;541;0;0;0;1165;445;506;0;3;60;0;
+2;2;ModelResultImpl;1105;29150;157894;81;48135;1;37;0;12;0;466;81;109;0;0;13;0;53636
+2;3;InsuficientResourcesResultImpl;1105;29552;954849;0;805483;1;1166;0;0;0;1258;461;567;0;3;68;0;
+2;4;InsuficientResourcesResultImpl;1105;28625;944562;0;792891;0;433;0;0;0;1125;422;497;0;2;60;0;
+2;5;ModelResultImpl;1105;28371;169696;354;56637;0;40;0;7;0;465;79;107;0;0;13;0;63547
+2;6;InsuficientResourcesResultImpl;1105;28074;954423;0;795665;0;480;0;0;0;1026;366;458;0;2;54;0;
+2;7;InsuficientResourcesResultImpl;1105;28347;912969;0;627424;1;2889;0;0;0;3796;1498;1840;0;7;219;0;
+2;8;InsuficientResourcesResultImpl;1105;28160;912889;0;758368;0;556;0;0;0;1400;521;653;0;2;80;0;
+2;9;ModelResultImpl;1105;28793;348246;32;206034;0;208;0;7;0;900;257;334;0;1;40;0;243968
+2;10;InsuficientResourcesResultImpl;1105;28017;911746;0;708351;0;944;0;0;0;2129;799;1018;0;4;121;0;
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size050to-1x1stats_13-1908.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size050to-1x1stats_13-1908.csv
new file mode 100644
index 00000000..89735531
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size050to-1x1stats_13-1908.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;572;22328;190749;56;86348;64620;357;38;0;13;0;810;223;205;0;0;19;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x1stats_13-1543.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100to150x1stats_13-1543.csv
index 1bd4734a..1bd4734a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x1stats_13-1543.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100to150x1stats_13-1543.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100x5stats_13-0927.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100x5stats_13-0927.csv
index 6fc55b29..6fc55b29 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100x5stats_13-0927.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100x5stats_13-0927.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200to-1x5stats_13-1406.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200to-1x5stats_13-1406.csv
index b95d8157..b95d8157 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200to-1x5stats_13-1406.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200to-1x5stats_13-1406.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200x5stats_13-1254.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200x5stats_13-1254.csv
index 5aad1286..5aad1286 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200x5stats_13-1254.csv
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200x5stats_13-1254.csv
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size050to100x10stats_13-1922.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size050to100x10stats_13-1922.csv
new file mode 100644
index 00000000..0b4f1b50
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size050to100x10stats_13-1922.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;1667;36892;235265;42;137202;107699;250;60;0;14;0;1053;346;291;0;1;28;0
+2;2;ModelResultImpl;1667;35233;150051;29;46285;32871;1;13;0;8;0;580;99;98;0;0;8;0
+2;3;ModelResultImpl;1667;34810;147324;24;49717;37986;1;13;0;7;0;561;101;126;0;0;13;0
+2;4;ModelResultImpl;1667;36318;258217;23;156571;125864;2;38;0;8;0;864;209;288;0;1;24;0
+2;5;ModelResultImpl;1667;36871;234432;24;135382;106465;0;29;0;7;0;549;82;111;0;0;11;0
+2;6;ModelResultImpl;1667;35200;181882;26;79879;58963;1;21;0;7;0;596;102;136;0;0;12;0
+2;7;ModelResultImpl;1667;34587;314732;19;214997;160354;1;36;0;6;0;892;203;269;0;1;27;0
+2;8;ModelResultImpl;1667;33870;180626;16;78885;64324;0;20;0;6;0;637;119;160;0;0;15;0
+2;9;ModelResultImpl;1667;34405;273426;18;173833;133843;0;27;0;7;0;576;94;132;0;0;13;0
+2;10;ModelResultImpl;1667;34863;148896;25;50008;36244;0;9;0;8;0;609;95;123;0;0;11;0
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x10stats_13-2250.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x10stats_13-2250.csv
new file mode 100644
index 00000000..e79f8a83
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x10stats_13-2250.csv
@@ -0,0 +1,12 @@
+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;_Solution0FoundAt
+2;1;InsuficientResourcesResultImpl;1155;31344;911696;0;762642;51;3858;0;0;1;2657;1087;1226;0;6;124;0;
+2;2;ModelResultImpl;1155;35023;216703;383;75528;2;83;0;13;0;1078;268;359;0;1;34;0;99519
+2;3;ModelResultImpl;1155;33885;261096;33;117210;1;148;0;6;0;1217;362;437;0;2;53;0;152798
+2;4;InsuficientResourcesResultImpl;1155;29975;940879;0;811764;1;6003;0;0;0;3447;1326;1671;0;6;213;0;
+2;5;ModelResultImpl;1155;29965;166233;26;52941;1;44;0;6;0;748;179;270;0;0;28;0;69330
+2;6;InsuficientResourcesResultImpl;1155;28697;904036;0;687726;0;6912;0;0;0;3426;1322;1698;0;6;193;0;
+2;7;InsuficientResourcesResultImpl;1155;30242;944666;0;754738;0;697;0;0;0;2058;801;986;0;3;106;0;
+2;8;InsuficientResourcesResultImpl;1155;29338;911445;0;613989;0;984;0;0;0;3510;1388;1754;0;6;221;0;
+2;9;InsuficientResourcesResultImpl;1155;29253;969335;0;792499;0;938;0;0;0;2417;932;1191;0;4;147;0;
+2;10;InsuficientResourcesResultImpl;1155;30617;914869;0;756204;0;615;0;0;0;1881;722;902;0;3;112;0;
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size150to200x10stats_14-1131.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size150to200x10stats_14-1131.csv
new file mode 100644
index 00000000..6bce53d7
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size150to200x10stats_14-1131.csv
@@ -0,0 +1,12 @@
+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;_Solution0FoundAt
+2;1;InsuficientResourcesResultImpl;1171;30949;932364;0;629478;211;1684;0;0;1;4270;1801;2029;0;11;252;0;
+2;2;InsuficientResourcesResultImpl;1171;29261;1003480;0;777496;1;28764;0;0;1;7958;3202;4007;0;16;487;0;
+2;3;InsuficientResourcesResultImpl;1171;29141;912296;0;604226;0;1981;0;0;0;3834;1540;1902;0;9;232;0;
+2;4;InsuficientResourcesResultImpl;1171;28532;1002825;0;809750;0;13516;0;0;0;3611;1422;1816;0;7;216;0;
+2;5;InsuficientResourcesResultImpl;1171;29912;952741;0;666457;0;12426;0;0;0;5656;2268;2871;0;11;347;0;
+2;6;InsuficientResourcesResultImpl;1171;35584;917627;0;727588;0;3349;0;0;0;2623;1015;1293;0;5;145;0;
+2;7;InsuficientResourcesResultImpl;1171;31542;929989;0;673119;1;1764;0;0;0;1744;523;714;0;1;41;0;
+2;8;InsuficientResourcesResultImpl;1171;34632;918056;0;645503;0;13528;0;0;1;10505;4249;5404;0;20;650;0;
+2;9;InsuficientResourcesResultImpl;1171;29356;931422;0;749908;0;1922;0;0;0;863;297;373;0;1;46;0;
+2;10;ModelResultImpl;1171;31316;212286;83;71075;0;176;0;26;0;1048;256;341;1;1;34;0;89974
+
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx
index c988c355..37d2c585 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx