update measurements setup. make archives.

45 files changed, 0 insertions, 341 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to-1x1stats_13-1651.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to-1x1stats_13-1651.csv
deleted file mode 100644
index b9eb7b1f..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to-1x1stats_13-1651.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size050to0-1x1stats_13-1639.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to0-1x1stats_13-1639.csv
deleted file mode 100644
index 9f70af58..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to0-1x1stats_13-1639.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size050to100x1stats_13-1637.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to100x1stats_13-1637.csv
deleted file mode 100644
index 24ab0292..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size050to100x1stats_13-1637.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size070to-1x1stats_13-1653.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size070to-1x1stats_13-1653.csv
deleted file mode 100644
index 23ab0c15..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size070to-1x1stats_13-1653.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size100to150x1stats_13-1618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100to150x1stats_13-1618.csv
deleted file mode 100644
index b261f458..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100to150x1stats_13-1618.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size100x10stats_13-0150.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x10stats_13-0150.csv
deleted file mode 100644
index 5d4167db..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x10stats_13-0150.csv
+++ /dev/null
@@ -1,12 +0,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;917;20484;89061;16671;88622;2657;12;21962;0;4;1;60034;23556;32847;0;0;3202;0
-2;2;ModelResultImpl;917;18861;34437;16615;34088;1105;0;6488;0;0;0;24967;9945;13579;0;0;1476;0
-2;3;ModelResultImpl;917;19003;114079;19464;113766;3116;0;29395;0;0;0;76490;29647;42545;0;0;3989;0
-2;4;ModelResultImpl;917;19164;192689;17749;192363;5134;0;53325;0;0;1;125812;48897;69860;0;0;6897;0
-2;5;ModelResultImpl;917;18443;34684;18810;34337;1029;0;7054;0;0;0;24722;9792;13571;0;0;1463;0
-2;6;ModelResultImpl;917;18318;116961;19423;116692;3266;0;31540;0;0;0;76954;30420;42251;0;0;4288;0
-2;7;ModelResultImpl;917;18151;204918;17631;204607;5796;0;55403;0;0;0;134537;52522;74477;0;0;7434;0
-2;8;ModelResultImpl;917;18107;296498;17649;296079;8458;0;79049;0;0;1;195565;75904;108659;0;0;10561;0
-2;9;ModelResultImpl;917;18602;207542;14477;207233;6067;0;53854;0;0;0;138220;54186;76248;0;0;7868;0
-2;10;ModelResultImpl;917;18165;242470;17306;242144;7365;0;59435;0;1;1;164411;64159;91013;0;0;9339;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x2stats_12-2040.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x2stats_12-2040.csv
deleted file mode 100644
index e220b717..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size100x2stats_12-2040.csv
+++ /dev/null
@@ -1,4 +0,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/old/size150x10stats_13-0223.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size150x10stats_13-0223.csv
deleted file mode 100644
index 09a35cdb..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size150x10stats_13-0223.csv
+++ /dev/null
@@ -1,12 +0,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;901;19925;717817;286;717285;17257;11;277771;0;4;5;394868;155025;217179;0;0;19965;0
-2;2;ModelResultImpl;901;20714;448193;501;447677;10350;0;185493;0;1;1;235536;91795;130612;0;0;11743;0
-2;3;InsuficientResourcesResultImpl;901;18985;900169;0;;21873;0;361837;0;0;2;482110;189087;266402;0;0;24306;0
-2;4;ModelResultImpl;901;18689;408759;116;408301;9586;0;162495;0;1;1;221595;86075;123205;0;0;10498;0
-2;5;ModelResultImpl;901;18514;396692;116;396287;8878;0;166116;0;0;1;207130;80798;114898;0;0;10267;0
-2;6;ModelResultImpl;901;18846;140749;215;140426;3384;0;51309;0;0;0;80575;31659;44479;0;0;4224;0
-2;7;InsuficientResourcesResultImpl;901;18331;900028;0;;21550;0;362995;0;0;2;481205;186774;267672;0;0;23670;0
-2;8;ModelResultImpl;901;18333;754170;175;753770;16674;0;320591;0;0;1;389951;151945;216300;0;0;19027;0
-2;9;InsuficientResourcesResultImpl;901;18556;900152;0;;21871;0;371470;0;0;2;472925;185023;261660;0;0;23484;0
-2;10;InsuficientResourcesResultImpl;901;18340;900162;0;;22226;0;366030;0;0;2;477451;186648;264202;0;0;24367;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size175x2stats_12-2108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size175x2stats_12-2108.csv
deleted file mode 100644
index da6b23e6..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size175x2stats_12-2108.csv
+++ /dev/null
@@ -1,4 +0,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/old/size200x10stats_13-0416.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size200x10stats_13-0416.csv
deleted file mode 100644
index 827f652c..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size200x10stats_13-0416.csv
+++ /dev/null
@@ -1,12 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;991;19275;900219;0;18463;10;437800;0;0;4;413401;160528;229158;0;0;18807;0;
-2;2;ModelResultImpl;991;18584;899897;408;18270;0;445476;0;4;3;406474;156880;226344;0;0;18445;0;899383
-2;3;InsuficientResourcesResultImpl;991;18286;900221;0;18136;0;438800;0;0;2;413772;160882;229425;0;0;19341;0;
-2;4;ModelResultImpl;991;18179;301985;236;6465;0;134546;0;0;1;150381;58549;83323;0;0;7385;0;301458
-2;5;ModelResultImpl;991;18652;430211;240;8462;0;206606;0;2;1;200984;77224;112229;0;0;9149;0;429741
-2;6;InsuficientResourcesResultImpl;991;18126;900243;0;18287;0;456756;0;0;1;396448;153556;220304;0;0;17615;0;
-2;7;ModelResultImpl;991;18170;498236;768;9844;0;244973;0;1;1;227258;88060;126248;0;0;10604;0;497719
-2;8;InsuficientResourcesResultImpl;991;18342;900222;0;18560;0;455298;0;0;2;397197;153398;221282;0;0;18181;0;
-2;9;ModelResultImpl;991;18206;343634;517;7094;0;160340;0;0;0;164683;63316;91883;0;0;7731;0;343179
-2;10;InsuficientResourcesResultImpl;991;18259;900255;0;17939;0;449631;0;0;1;403652;156024;224559;0;0;18475;0;
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size20x10stats_12-2016.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size20x10stats_12-2016.csv
deleted file mode 100644
index fafc6d78..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size20x10stats_12-2016.csv
+++ /dev/null
@@ -1,12 +0,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/old/size250x10stats_13-0618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x10stats_13-0618.csv
deleted file mode 100644
index d487b65e..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x10stats_13-0618.csv
+++ /dev/null
@@ -1,12 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;897;19668;900289;0;17190;11;457246;0;0;4;397150;152905;221180;0;0;17125;0;
-2;2;InsuficientResourcesResultImpl;897;18852;900333;0;14850;0;513953;0;0;3;346088;135119;191095;0;0;14498;0;
-2;3;InsuficientResourcesResultImpl;897;18563;900375;0;15554;0;508724;0;0;1;350068;135077;194880;0;0;14754;0;
-2;4;InsuficientResourcesResultImpl;897;18601;900249;0;16951;0;477680;0;0;2;377880;145551;210862;0;0;16213;0;
-2;5;InsuficientResourcesResultImpl;897;18607;900224;0;17156;0;467986;0;0;2;387745;150794;215261;0;0;16837;0;
-2;6;InsuficientResourcesResultImpl;897;18808;900323;0;15840;0;505050;0;0;1;353713;138445;195445;0;0;14815;0;
-2;7;InsuficientResourcesResultImpl;897;18586;900353;0;15333;0;517344;0;0;1;342365;133612;189376;0;0;14170;0;
-2;8;InsuficientResourcesResultImpl;897;18431;900337;0;15759;0;513757;0;0;1;345318;135039;190818;0;0;14548;0;
-2;9;ModelResultImpl;897;18259;798659;629;13791;0;448525;0;4;1;313475;122452;173247;0;0;13183;0;798115
-2;10;InsuficientResourcesResultImpl;897;18561;900393;0;16119;0;500343;0;0;1;357692;138551;198862;0;0;14922;0;
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x2stats_12-2205.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x2stats_12-2205.csv
deleted file mode 100644
index cadb70ae..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size250x2stats_12-2205.csv
+++ /dev/null
@@ -1,4 +0,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/old/size300x2stats_12-2120.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size300x2stats_12-2120.csv
deleted file mode 100644
index 17791923..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size300x2stats_12-2120.csv
+++ /dev/null
@@ -1,4 +0,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/old/size50to-1x1stats_13-1626.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50to-1x1stats_13-1626.csv
deleted file mode 100644
index 30896318..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50to-1x1stats_13-1626.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size50to0-1x1stats_13-1645.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50to0-1x1stats_13-1645.csv
deleted file mode 100644
index 8e590cfa..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50to0-1x1stats_13-1645.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size50x10stats_13-0138.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50x10stats_13-0138.csv
deleted file mode 100644
index 4ab584c9..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/old/size50x10stats_13-0138.csv
+++ /dev/null
@@ -1,12 +0,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;1018;20149;21637;8274;21278;933;8;2053;0;1;1;17077;6808;9060;0;0;848;0
-2;2;ModelResultImpl;1018;18857;23204;7035;22845;879;0;2710;0;0;0;18042;7152;9806;0;0;1106;0
-2;3;ModelResultImpl;1018;18530;16285;7476;16002;599;0;1627;0;0;0;12964;5111;7092;0;0;785;0
-2;4;ModelResultImpl;1018;18885;31836;8852;31521;1094;0;3721;0;0;0;25164;9962;13744;0;0;1576;0
-2;5;ModelResultImpl;1018;18495;31199;7101;30908;1106;0;3649;0;0;0;24550;9785;13359;0;0;1542;0
-2;6;ModelResultImpl;1018;18421;90034;6913;89759;3891;0;10927;0;0;1;70003;27785;38127;0;0;4343;0
-2;7;ModelResultImpl;1018;18073;33896;7076;33615;1241;0;3991;0;0;0;26694;10578;14607;0;0;1669;0
-2;8;ModelResultImpl;1018;18123;12127;6889;11867;465;0;1145;0;0;0;9663;3900;5215;0;0;634;0
-2;9;ModelResultImpl;1018;18650;34756;6762;34474;1243;0;4000;0;0;0;27522;10899;15046;0;0;1747;0
-2;10;ModelResultImpl;1018;18180;33110;7219;32818;1202;0;3929;0;0;0;26030;10378;14167;0;0;1659;0
-
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
deleted file mode 100644
index 5f62aa38..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to070x10stats_13-1730.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index 983dc5ca..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to120x10stats_13-2014.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index d7344914..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150to170x10stats_14-0731.csv
+++ /dev/null
@@ -1,12 +0,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;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/old/size100to120x3stats_13-1501.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size100to120x3stats_13-1501.csv
deleted file mode 100644
index 4fefce2c..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size100to120x3stats_13-1501.csv
+++ /dev/null
@@ -1,5 +0,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;73;3753;12226;65;9764;2170;16;3765;0;5;1;2463;1067;1175;0;4;64;0
-2;2;ModelResultImpl;73;2921;10196;63;8187;1694;0;3638;0;2;0;1471;597;766;0;3;64;0
-2;3;ModelResultImpl;73;2904;10037;29;8118;1645;0;3688;0;1;0;1341;512;720;0;2;64;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size250x2stats_12-2334.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size250x2stats_12-2334.csv
deleted file mode 100644
index d5eb519f..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size250x2stats_12-2334.csv
+++ /dev/null
@@ -1,4 +0,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/old/size275x4stats_13-0041.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size275x4stats_13-0041.csv
deleted file mode 100644
index d27f24ae..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size275x4stats_13-0041.csv
+++ /dev/null
@@ -1,6 +0,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;1206;26988;234951;256;232390;13390;28;193999;0;6;5;4526;1947;2236;0;0;172;0
-2;2;ModelResultImpl;1206;23344;347541;110;344744;19104;0;292083;0;2;4;4094;1642;2175;0;0;180;0
-2;3;ModelResultImpl;1206;20707;422336;96;420814;19677;0;364071;0;1;2;3287;1328;1677;0;0;174;0
-2;4;ModelResultImpl;1206;19164;375681;94;374147;18939;0;318735;0;1;3;3227;1304;1718;0;0;180;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x2stats_13-0011.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x2stats_13-0011.csv
deleted file mode 100644
index 687f118a..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x2stats_13-0011.csv
+++ /dev/null
@@ -1,4 +0,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;878;23830;600748;0;25935;14;522315;0;0;5;5051;2194;2488;0;0;194;0
-2;2;InsuficientResourcesResultImpl;878;25850;600600;0;30102;0;516521;0;0;4;4566;1860;2331;0;0;166;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x4stats_13-0108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x4stats_13-0108.csv
deleted file mode 100644
index 85980842..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size300x4stats_13-0108.csv
+++ /dev/null
@@ -1,6 +0,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;848;21156;272124;249;269951;14601;10;228181;0;6;5;4340;1954;2076;0;0;191;0
-2;2;ModelResultImpl;848;20321;406761;96;404747;21314;0;344485;0;2;3;4421;1624;2441;0;0;181;0
-2;3;InsuficientResourcesResultImpl;848;19366;600510;0;;26773;0;520884;0;0;2;3581;1483;1869;0;0;194;0
-2;4;ModelResultImpl;848;19435;336802;170;335303;16528;0;287290;0;1;3;3610;1506;1881;0;0;197;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size350x2stats_12-2347.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size350x2stats_12-2347.csv
deleted file mode 100644
index 343c483c..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/old/size350x2stats_12-2347.csv
+++ /dev/null
@@ -1,4 +0,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
deleted file mode 100644
index fe14342b..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size050to070x10stats_13-1723.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index bfe034a3..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x10stats_13-2007.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index dd09e71d..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size150to170x10stats_14-0058.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index c098e27d..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size200to220x10stats_14-1405.csv
+++ /dev/null
@@ -1,12 +0,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;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/old/size100x5stats_13-0958.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size100x5stats_13-0958.csv
deleted file mode 100644
index f932b9f1..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size100x5stats_13-0958.csv
+++ /dev/null
@@ -1,7 +0,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;1689;45562;151108;8120;33687;24416;57;18;0;17;0;740;160;146;0;0;12;0
-2;2;ModelResultImpl;1689;54046;311596;61;139149;126061;1;32;0;9;0;922;256;139;0;0;13;0
-2;3;ModelResultImpl;1689;38785;207310;34;81062;67359;1;91;0;8;0;774;146;158;0;0;17;0
-2;4;ModelResultImpl;1689;31639;140145;11398;42680;31426;0;19;0;6;0;586;109;151;0;0;14;0
-2;5;ModelResultImpl;1689;37075;139518;9874;31836;22233;2;10;0;5;0;459;69;96;0;0;11;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x3stats_13-1026.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x3stats_13-1026.csv
deleted file mode 100644
index 5c5ed93b..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x3stats_13-1026.csv
+++ /dev/null
@@ -1,5 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;1759;47103;718917;0;441551;52;5655;0;0;0;3749;1450;1834;0;0;80;0;
-2;2;ModelResultImpl;1759;61466;449841;95;210350;2;483;0;34;0;1691;341;488;0;0;35;0;266704
-2;3;InsuficientResourcesResultImpl;1759;59493;740712;0;316985;1;385;0;0;0;1062;266;350;0;0;25;0;
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x6stats_13-1117.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x6stats_13-1117.csv
deleted file mode 100644
index 9e67cfd2..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/old/size200x6stats_13-1117.csv
+++ /dev/null
@@ -1,8 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;1806;46119;663333;0;384248;55;611;0;0;0;1159;484;375;0;0;31;0;
-2;2;InsuficientResourcesResultImpl;1806;55188;627924;0;370238;2;979;0;0;0;1336;436;580;0;0;47;0;
-2;3;InsuficientResourcesResultImpl;1806;36729;677073;0;408762;1;1294;0;0;0;1365;449;640;0;0;53;0;
-2;4;InsuficientResourcesResultImpl;1806;30870;651913;0;399678;0;1509;0;0;0;2119;804;1024;0;0;113;0;
-2;5;ModelResultImpl;1806;32137;555442;70;332470;1;334;0;14;0;1123;299;383;0;0;41;0;442531
-2;6;ModelResultImpl;1806;36279;487668;38;271383;1;1206;0;6;0;1097;328;417;0;0;50;0;349817
-
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
deleted file mode 100644
index 12486b47..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size050to100x10stats_13-1817.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index 5fb63b6b..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100to150x10stats_13-2104.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index 912ce25c..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size150to200x10stats_14-0922.csv
+++ /dev/null
@@ -1,12 +0,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;_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
deleted file mode 100644
index 89735531..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size050to-1x1stats_13-1908.csv
+++ /dev/null
@@ -1,3 +0,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;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/old/size100to150x1stats_13-1543.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100to150x1stats_13-1543.csv
deleted file mode 100644
index 1bd4734a..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100to150x1stats_13-1543.csv
+++ /dev/null
@@ -1,3 +0,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;375;20185;607205;0;372924;111;265;0;0;1;844;283;313;0;1;26;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100x5stats_13-0927.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100x5stats_13-0927.csv
deleted file mode 100644
index 6fc55b29..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size100x5stats_13-0927.csv
+++ /dev/null
@@ -1,7 +0,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;1239;37126;289128;61;190011;149300;57;100;0;13;0;987;326;295;0;0;35;0
-2;2;ModelResultImpl;1239;45924;143711;9399;56484;41650;1;27;0;7;0;371;38;45;0;0;6;0
-2;3;ModelResultImpl;1239;34143;238417;25;127086;100985;1;117;0;6;0;623;152;166;0;0;20;0
-2;4;InsuficientResourcesResultImpl;1239;31869;607012;0;;386790;0;374;0;0;0;527;144;159;0;0;15;0
-2;5;ModelResultImpl;1239;47360;164372;7156;39473;28288;1;15;0;9;0;507;7;9;0;0;1;0
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200to-1x5stats_13-1406.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200to-1x5stats_13-1406.csv
deleted file mode 100644
index b95d8157..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200to-1x5stats_13-1406.csv
+++ /dev/null
@@ -1,7 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;1702;48531;679393;0;408959;321;1320;0;0;0;2298;907;905;0;0;71;0;
-2;2;ModelResultImpl;1702;58579;358805;93;166956;2;422;0;15;0;932;194;281;0;0;25;0;208588
-2;3;ModelResultImpl;1702;37256;244706;61;89682;1;147;0;12;0;1068;231;336;0;0;31;0;100868
-2;4;InsuficientResourcesResultImpl;1702;44388;672476;0;393324;0;2015;0;0;0;2619;892;1174;0;0;105;0;
-2;5;InsuficientResourcesResultImpl;1702;39734;635934;0;372569;0;2831;0;0;0;2283;854;1103;0;0;120;0;
-
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200x5stats_13-1254.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200x5stats_13-1254.csv
deleted file mode 100644
index 5aad1286..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/old/size200x5stats_13-1254.csv
+++ /dev/null
@@ -1,7 +0,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;_Solution0FoundAt
-2;1;InsuficientResourcesResultImpl;1602;37982;625122;0;396745;79;2107;0;0;0;1896;744;878;0;0;98;0;
-2;2;ModelResultImpl;1602;48189;533878;88;321664;1;2970;0;13;0;1933;642;856;0;0;87;0;388777
-2;3;InsuficientResourcesResultImpl;1602;33009;650163;0;409145;1;3349;0;0;0;2388;940;1157;0;0;123;0;
-2;4;InsuficientResourcesResultImpl;1602;31855;635885;0;394341;0;1207;0;0;0;1919;671;872;0;0;87;0;
-2;5;InsuficientResourcesResultImpl;1602;33457;629730;0;391814;0;1766;0;0;0;2069;785;994;0;0;112;0;
-
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
deleted file mode 100644
index 0b4f1b50..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size050to100x10stats_13-1922.csv
+++ /dev/null
@@ -1,12 +0,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;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
deleted file mode 100644
index e79f8a83..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x10stats_13-2250.csv
+++ /dev/null
@@ -1,12 +0,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;_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
deleted file mode 100644
index 6bce53d7..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size150to200x10stats_14-1131.csv
+++ /dev/null
@@ -1,12 +0,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;_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 37d2c585..cfa7b585 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