Add measurements, generate new jar that allows upper limit (w/o viz)

12 files changed, 95 insertions, 0 deletions

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/size100x10stats_13-0150.csv
new file mode 100644
index 00000000..5d4167db
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100x10stats_13-0150.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;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/size150x10stats_13-0223.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150x10stats_13-0223.csv
new file mode 100644
index 00000000..09a35cdb
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size150x10stats_13-0223.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;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/size200x10stats_13-0416.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size200x10stats_13-0416.csv
new file mode 100644
index 00000000..827f652c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size200x10stats_13-0416.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;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/size250x10stats_13-0618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x10stats_13-0618.csv
new file mode 100644
index 00000000..d487b65e
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size250x10stats_13-0618.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;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/size50to250x10.xlsx b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx
new file mode 100644
index 00000000..23ac7a8c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx
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/size50x10stats_13-0138.csv
new file mode 100644
index 00000000..4ab584c9
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50x10stats_13-0138.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;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/Satellite/size275x4stats_13-0041.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size275x4stats_13-0041.csv
new file mode 100644
index 00000000..d27f24ae
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size275x4stats_13-0041.csv
@@ -0,0 +1,6 @@
+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/size300x2stats_13-0011.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x2stats_13-0011.csv
new file mode 100644
index 00000000..687f118a
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x2stats_13-0011.csv
@@ -0,0 +1,4 @@
+Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber
+2;1;InsuficientResourcesResultImpl;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/size300x4stats_13-0108.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv
new file mode 100644
index 00000000..85980842
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size300x4stats_13-0108.csv
@@ -0,0 +1,6 @@
+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/TaxationNoRoot/size100x5stats_13-0958.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv
new file mode 100644
index 00000000..f932b9f1
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size100x5stats_13-0958.csv
@@ -0,0 +1,7 @@
+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/size200x3stats_13-1026.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x3stats_13-1026.csv
new file mode 100644
index 00000000..5c5ed93b
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x3stats_13-1026.csv
@@ -0,0 +1,5 @@
+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/TaxationWithRoot/size100x5stats_13-0927.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100x5stats_13-0927.csv
new file mode 100644
index 00000000..6fc55b29
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100x5stats_13-0927.csv
@@ -0,0 +1,7 @@
+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
+