From c27782f97521797d3c40e9328681afaa30782d29 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 13 May 2020 17:11:21 -0400 Subject: Adjust case study master file. Add some measurements --- .../stats/FamilyTree/size050to-1x1stats_13-1651.csv | 3 +++ .../stats/FamilyTree/size050to0-1x1stats_13-1639.csv | 3 +++ .../stats/FamilyTree/size050to100x1stats_13-1637.csv | 3 +++ .../stats/FamilyTree/size070to-1x1stats_13-1653.csv | 3 +++ .../stats/FamilyTree/size100to150x1stats_13-1618.csv | 3 +++ .../stats/FamilyTree/size50to-1x1stats_13-1626.csv | 3 +++ .../stats/FamilyTree/size50to0-1x1stats_13-1645.csv | 3 +++ .../measurements/stats/FamilyTree/size50to250x10.xlsx | Bin 17112 -> 0 bytes .../stats/Satellite/size100to120x3stats_13-1501.csv | 5 +++++ .../stats/TaxationNoRoot/size200x6stats_13-1117.csv | 8 ++++++++ .../TaxationWithRoot/size100to150x1stats_13-1543.csv | 3 +++ .../TaxationWithRoot/size200to-1x5stats_13-1406.csv | 7 +++++++ .../stats/TaxationWithRoot/size200x5stats_13-1254.csv | 7 +++++++ .../measurements/stats/masterStats.xlsx | Bin 0 -> 18964 bytes 14 files changed, 51 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x3stats_13-1501.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x6stats_13-1117.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x1stats_13-1543.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200to-1x5stats_13-1406.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200x5stats_13-1254.csv create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv new file mode 100644 index 00000000..b9eb7b1f --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to-1x1stats_13-1651.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;163;1202;44239;48;43680;1731;12;5081;0;1;1;34659;14003;18381;0;61;1542;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv new file mode 100644 index 00000000..9f70af58 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to0-1x1stats_13-1639.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;1421;30143;50443;56;49835;2142;13;5553;0;2;0;39564;15482;21275;0;171;1376;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv new file mode 100644 index 00000000..24ab0292 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size050to100x1stats_13-1637.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;205;1596;128110;104;127290;4830;18;15242;0;3;2;100994;39974;54512;0;167;3950;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv new file mode 100644 index 00000000..23ab0c15 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size070to-1x1stats_13-1653.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;1215;25552;115588;87;115116;4039;12;19383;0;1;1;86370;33813;47037;0;170;3364;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv new file mode 100644 index 00000000..b261f458 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size100to150x1stats_13-1618.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;167;1211;61799;203;61164;2152;15;10998;0;4;1;45295;17688;24607;0;89;1834;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv new file mode 100644 index 00000000..30896318 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to-1x1stats_13-1626.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;1314;25219;44180;45;43751;1855;15;5071;0;1;1;34513;13751;18416;0;60;1510;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv new file mode 100644 index 00000000..8e590cfa --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to0-1x1stats_13-1645.csv @@ -0,0 +1,3 @@ +Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime;ActivationSelectionTime;NumericalSolverSumTime;NumericalSolverProblemFormingTime;NumericalSolverSolvingTime;NumericalSolverInterpretingSolution;NumericalSolverCachingTime;NumericalSolverCallNumber;NumericalSolverCachedAnswerNumber +2;1;ModelResultImpl;157;1567;60381;65;59780;2585;13;6699;0;2;1;47339;18835;25380;0;81;1789;0 + diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx deleted file mode 100644 index 23ac7a8c..00000000 Binary files a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/FamilyTree/size50to250x10.xlsx and /dev/null differ 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/size100to120x3stats_13-1501.csv new file mode 100644 index 00000000..4fefce2c --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/Satellite/size100to120x3stats_13-1501.csv @@ -0,0 +1,5 @@ +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/TaxationNoRoot/size200x6stats_13-1117.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x6stats_13-1117.csv new file mode 100644 index 00000000..9e67cfd2 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationNoRoot/size200x6stats_13-1117.csv @@ -0,0 +1,8 @@ +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/TaxationWithRoot/size100to150x1stats_13-1543.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x1stats_13-1543.csv new file mode 100644 index 00000000..1bd4734a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size100to150x1stats_13-1543.csv @@ -0,0 +1,3 @@ +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/size200to-1x5stats_13-1406.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200to-1x5stats_13-1406.csv new file mode 100644 index 00000000..b95d8157 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200to-1x5stats_13-1406.csv @@ -0,0 +1,7 @@ +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/size200x5stats_13-1254.csv b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200x5stats_13-1254.csv new file mode 100644 index 00000000..5aad1286 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/TaxationWithRoot/size200x5stats_13-1254.csv @@ -0,0 +1,7 @@ +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/masterStats.xlsx b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx new file mode 100644 index 00000000..c988c355 Binary files /dev/null and b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/stats/masterStats.xlsx differ -- cgit v1.2.3-54-g00ecf