From 8ca4668275e7f9298b9960acc66373aa94650453 Mon Sep 17 00:00:00 2001 From: 20001LastOrder Date: Tue, 20 Aug 2019 17:13:46 -0400 Subject: changes in settings of measurements --- .../SocialNetwork_plugin/statistics/Github/30.csv | 22 ++++++++++++++++++++++ .../SocialNetwork_plugin/statistics/Github/50.csv | 22 ++++++++++++++++++++++ .../SocialNetwork_plugin/statistics/Github/80.csv | 22 ++++++++++++++++++++++ .../statistics/Github/warmup.csv | 7 +++++++ 4 files changed, 73 insertions(+) create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github') diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv new file mode 100644 index 00000000..d1ec723b --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv @@ -0,0 +1,22 @@ +Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime +2,1,ModelResultImpl,5,753,17109,13399400,16654,1789,9,696,11984,0,0 +2,2,ModelResultImpl,5,628,17801,12301800,17369,1678,0,715,12727,0,0 +2,3,ModelResultImpl,5,610,15430,13989100,14970,1285,0,586,11377,0,0 +2,4,ModelResultImpl,5,803,14781,11475500,14220,1483,0,640,10196,0,0 +2,5,ModelResultImpl,5,581,22641,12669300,22193,1558,0,707,17778,0,0 +2,6,ModelResultImpl,5,611,22649,11553300,22203,1508,0,660,17965,0,0 +2,7,ModelResultImpl,5,548,12438,10128400,12033,1584,0,616,7995,0,0 +2,8,ModelResultImpl,5,655,17624,10593200,17198,1404,0,619,13273,0,0 +2,9,ModelResultImpl,5,596,16946,10102500,16528,1717,0,705,11847,0,0 +2,10,ModelResultImpl,5,537,17896,10038000,17507,1414,0,626,13625,0,0 +2,11,ModelResultImpl,5,535,13771,11741600,13353,1411,0,613,9547,0,0 +2,12,ModelResultImpl,5,531,16728,11768600,16257,1448,0,635,12199,0,0 +2,13,ModelResultImpl,5,549,14647,11546900,14254,1201,0,573,10920,0,0 +2,14,ModelResultImpl,5,552,15942,10918300,15492,1502,0,610,11459,0,0 +2,15,ModelResultImpl,5,563,15196,12483700,14773,1389,0,574,11130,0,0 +2,16,ModelResultImpl,5,566,10267,10445100,9864,1364,0,523,6468,0,0 +2,17,ModelResultImpl,5,600,15595,8099800,15147,1341,0,624,11381,0,0 +2,18,ModelResultImpl,5,561,11172,9144100,10776,1167,0,487,7740,0,0 +2,19,ModelResultImpl,5,548,14818,9372000,14441,1565,0,658,10261,0,0 +2,20,ModelResultImpl,5,559,17497,9881500,17059,1532,0,651,12811,0,0 + diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv new file mode 100644 index 00000000..7ed016e0 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv @@ -0,0 +1,22 @@ +Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime +4,1,ModelResultImpl,11,730,72467,34401400,71866,4026,10,1998,59824,0,0 +4,2,ModelResultImpl,11,761,67853,11838400,67382,3819,0,1957,55882,0,0 +4,3,ModelResultImpl,11,734,45541,10393700,45056,3529,0,1779,34849,0,0 +4,4,ModelResultImpl,11,619,55697,17081600,55167,3617,0,1898,44356,0,0 +4,5,ModelResultImpl,11,726,64846,29758900,64208,3905,0,2030,52466,0,0 +4,6,ModelResultImpl,11,712,65893,13089200,65423,3972,0,2029,53618,0,0 +4,7,ModelResultImpl,11,742,50982,16405400,50469,3638,0,1857,39804,0,0 +4,8,ModelResultImpl,11,590,50309,15985400,49731,3572,0,1877,39187,0,0 +4,9,ModelResultImpl,11,761,65533,23499900,65008,3890,0,2000,53225,0,0 +4,10,ModelResultImpl,11,688,44853,23629200,44348,3255,0,1695,34758,0,0 +4,11,ModelResultImpl,11,626,59167,38070600,58611,3942,0,1864,47290,0,0 +4,12,ModelResultImpl,11,642,66860,18966400,66364,3732,0,1987,54960,0,0 +4,13,ModelResultImpl,11,622,65317,12053900,64842,3176,0,1633,55177,0,1 +4,14,ModelResultImpl,11,687,45481,79001300,44944,3485,0,1661,35036,0,0 +4,15,ModelResultImpl,11,881,74988,14027700,74444,4150,0,2191,61881,0,0 +4,16,ModelResultImpl,11,691,56609,11960900,56125,3776,0,1943,45015,0,0 +4,17,ModelResultImpl,11,631,103459,26319900,102823,4720,0,2390,88314,0,1 +4,18,ModelResultImpl,11,2263,61989,12371400,61101,3751,0,1902,50076,0,0 +4,19,ModelResultImpl,11,575,75135,19514700,74621,4810,0,2552,60068,0,1 +4,20,ModelResultImpl,11,1069,94884,21924000,94062,5623,0,3121,77010,0,1 + diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv new file mode 100644 index 00000000..257b7ddb --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv @@ -0,0 +1,22 @@ +Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt +5,1,InsuficientResourcesResultImpl,8,1163,301236,6700,11611,7,8030,261757,0,0, +5,2,ModelResultImpl,8,1125,214262,41193500,10675,0,7433,179009,0,1,213284 +5,3,InsuficientResourcesResultImpl,8,1097,301100,1400,10110,0,6697,266325,0,0, +5,4,ModelResultImpl,8,1202,243793,34411800,11329,0,7710,206562,0,0,242815 +5,5,ModelResultImpl,8,1130,266540,38153400,12190,0,8455,225879,0,1,265458 +5,6,ModelResultImpl,8,1136,244077,43614700,10925,0,7347,207698,0,0,243138 +5,7,ModelResultImpl,8,1263,270364,44901700,10715,0,7520,233664,0,0,269383 +5,8,ModelResultImpl,8,1062,228653,36320200,11042,0,7673,191829,0,0,227652 +5,9,ModelResultImpl,8,1060,284484,38198200,12105,0,8129,244192,0,1,283520 +5,10,ModelResultImpl,8,1087,245757,38745600,10898,0,7835,208781,0,0,244833 +5,11,InsuficientResourcesResultImpl,8,1003,302539,1700,9666,0,6798,267961,0,0, +5,12,ModelResultImpl,8,657,143583,35565200,6948,0,4448,120639,0,0,142951 +5,13,ModelResultImpl,8,1061,292041,44607000,12010,0,8656,250579,0,1,291061 +5,14,ModelResultImpl,8,1034,255307,37454100,11242,0,7789,217397,0,0,254393 +5,15,InsuficientResourcesResultImpl,8,1194,300839,1500,9997,0,7300,265245,0,0, +5,16,ModelResultImpl,8,1070,274358,38762800,11730,0,7864,235472,0,1,273383 +5,17,ModelResultImpl,8,1099,259378,84148300,11340,0,7784,221204,0,0,258553 +5,18,ModelResultImpl,8,1084,255262,38991800,11989,0,7795,215829,0,1,254328 +5,19,ModelResultImpl,8,1111,293515,47026100,12037,0,8609,252172,0,1,292504 +5,20,ModelResultImpl,8,1106,278558,32886300,12080,0,8000,237985,0,1,277745 + diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv new file mode 100644 index 00000000..989c2411 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.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,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime +1,1,ModelResultImpl,1483,2558,3108,60043900,1609,456,424,87,272,0,1 +1,2,ModelResultImpl,1483,1126,1487,9020100,931,292,1,60,256,0,1 +1,3,ModelResultImpl,1483,927,1424,9739900,827,263,0,51,217,0,0 +1,4,ModelResultImpl,1483,886,1069,8613600,495,208,1,25,97,0,0 +1,5,ModelResultImpl,1483,768,1268,9369800,856,262,0,35,223,0,0 + -- cgit v1.2.3-54-g00ecf