diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics')
17 files changed, 303 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv new file mode 100644 index 00000000..fd1af09c --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 5,1,InsuficientResourcesResultImpl,26,1815,305292,1000,16140,15,12210,260570,0,0, | ||
3 | 5,2,InsuficientResourcesResultImpl,26,1237,301846,700,14659,0,12249,259139,0,0, | ||
4 | 5,3,InsuficientResourcesResultImpl,26,1218,301687,600,15765,0,12876,256432,0,0, | ||
5 | 5,4,InsuficientResourcesResultImpl,26,1294,302248,800,18015,0,11131,255608,0,0, | ||
6 | 5,5,InsuficientResourcesResultImpl,26,1290,300894,900,14893,0,11118,259377,0,0, | ||
7 | 5,6,InsuficientResourcesResultImpl,26,1184,302351,900,16463,0,11499,258946,0,0, | ||
8 | 5,7,ModelResultImpl,26,1180,289935,35396400,17823,0,14375,240465,0,4,287519 | ||
9 | 5,8,InsuficientResourcesResultImpl,26,1298,304757,700,12762,0,10686,266461,0,0, | ||
10 | 5,9,ModelResultImpl,26,1166,287620,35860800,17055,0,15050,237850,0,1,285304 | ||
11 | 5,10,ModelResultImpl,26,1185,168322,32789700,15059,0,9955,132727,0,0,166044 | ||
12 | 5,11,InsuficientResourcesResultImpl,26,1176,302293,900,12773,0,10338,264930,0,0, | ||
13 | 5,12,InsuficientResourcesResultImpl,26,1200,300206,600,14139,0,11334,260462,0,0, | ||
14 | 5,13,InsuficientResourcesResultImpl,26,1199,305554,500,12939,0,11144,266919,0,0, | ||
15 | 5,14,InsuficientResourcesResultImpl,26,1193,300864,700,18895,0,14266,250111,0,0, | ||
16 | 5,15,InsuficientResourcesResultImpl,26,1197,303894,700,14501,0,12313,262474,0,0, | ||
17 | 5,16,InsuficientResourcesResultImpl,26,1171,303003,700,13178,0,11827,263585,0,0, | ||
18 | 5,17,InsuficientResourcesResultImpl,26,1169,305501,600,13479,0,11788,265540,0,0, | ||
19 | 5,18,InsuficientResourcesResultImpl,26,1175,301967,700,13531,0,11415,262420,0,0, | ||
20 | 5,19,InsuficientResourcesResultImpl,26,1274,300241,800,13254,0,11607,260895,0,0, | ||
21 | 5,20,ModelResultImpl,26,1166,269530,42362900,17007,0,13440,223316,0,1,267245 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv new file mode 100644 index 00000000..0022e984 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 2,1,ModelResultImpl,19,1721,35221,15771300,32311,7042,34,1895,16580,0,1 | ||
3 | 2,2,ModelResultImpl,19,1610,35749,11651300,32635,6745,1,1736,18895,0,1 | ||
4 | 2,3,ModelResultImpl,19,1640,27258,16117300,24303,6429,0,1323,12286,0,1 | ||
5 | 2,4,ModelResultImpl,19,1634,35933,20450700,33223,6381,0,1605,20611,0,2 | ||
6 | 2,5,ModelResultImpl,19,1612,23612,11651100,19721,6887,0,1099,8730,0,0 | ||
7 | 2,6,ModelResultImpl,19,1319,22727,9964000,20364,4974,0,1147,11737,0,0 | ||
8 | 2,7,ModelResultImpl,19,1278,22340,12342400,19967,4711,0,1078,11660,0,0 | ||
9 | 2,8,ModelResultImpl,19,1292,20551,10731500,18317,4260,0,1007,11070,0,0 | ||
10 | 2,9,ModelResultImpl,19,1378,18306,12922900,15874,4176,0,928,8796,0,1 | ||
11 | 2,10,ModelResultImpl,19,1330,25726,10084700,23254,6531,0,1345,10615,0,0 | ||
12 | 2,11,ModelResultImpl,19,1229,33084,12002300,30734,5309,0,1584,19392,0,0 | ||
13 | 2,12,ModelResultImpl,19,1240,24555,9818800,22179,5967,1,1405,10083,0,0 | ||
14 | 2,13,ModelResultImpl,19,1264,28275,11451700,25939,5692,0,1395,14547,0,0 | ||
15 | 2,14,ModelResultImpl,19,1276,36197,10007300,33900,5461,0,1659,22219,0,0 | ||
16 | 2,15,ModelResultImpl,19,1230,30436,9231400,28100,5354,0,1488,16718,0,0 | ||
17 | 2,16,ModelResultImpl,19,1217,22614,8885000,20287,6795,0,1371,7299,0,0 | ||
18 | 2,17,ModelResultImpl,19,1262,29600,12922400,27253,5298,0,1528,15895,0,0 | ||
19 | 2,18,ModelResultImpl,19,1243,28214,10765500,25879,5412,0,1292,15319,0,0 | ||
20 | 2,19,ModelResultImpl,19,1299,20845,11064400,18336,5327,0,1048,8903,0,0 | ||
21 | 2,20,ModelResultImpl,19,1280,26352,10670800,23901,6709,0,1454,11410,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv new file mode 100644 index 00000000..1ea0ccaf --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 3,1,ModelResultImpl,7,1300,78258,16468500,75732,13071,7,4896,46003,0,2 | ||
3 | 3,2,ModelResultImpl,7,1255,72729,15062600,70201,10011,0,4148,48760,0,0 | ||
4 | 3,3,ModelResultImpl,7,1284,85751,18952400,83381,10015,0,4783,59452,0,0 | ||
5 | 3,4,ModelResultImpl,7,1312,80702,18255000,78055,9873,0,3766,56886,0,1 | ||
6 | 3,5,ModelResultImpl,7,2192,111362,20902300,108184,12705,0,5062,79232,0,0 | ||
7 | 3,6,ModelResultImpl,7,1275,88255,20727400,85645,9667,0,3925,64755,0,0 | ||
8 | 3,7,ModelResultImpl,7,1228,95312,23184200,92818,9763,0,4466,69648,0,1 | ||
9 | 3,8,ModelResultImpl,7,1421,102160,16746000,99564,13923,0,5149,68705,0,1 | ||
10 | 3,9,ModelResultImpl,7,1542,74130,15142300,71709,10116,0,4021,50574,0,0 | ||
11 | 3,10,ModelResultImpl,7,1370,106586,18544500,103524,11809,0,4614,78092,0,1 | ||
12 | 3,11,ModelResultImpl,7,1977,81554,14689300,78988,9059,0,4109,58293,0,1 | ||
13 | 3,12,ModelResultImpl,7,1282,80592,17114200,77924,10654,0,4120,55221,0,0 | ||
14 | 3,13,ModelResultImpl,7,1470,50749,14006900,47249,7112,0,2464,34560,0,0 | ||
15 | 3,14,ModelResultImpl,7,1189,96780,16081900,94561,8346,0,4262,74850,0,0 | ||
16 | 3,15,ModelResultImpl,7,1187,104866,17029000,102503,8484,0,4673,81148,0,0 | ||
17 | 3,16,ModelResultImpl,7,1192,83407,19208900,81122,8548,0,4154,61175,0,1 | ||
18 | 3,17,ModelResultImpl,7,1291,84064,18326300,81220,10675,0,4308,57616,0,0 | ||
19 | 3,18,ModelResultImpl,7,1924,92524,20324400,89145,9764,0,4238,66918,0,1 | ||
20 | 3,19,ModelResultImpl,7,1284,85575,14840500,82932,10403,0,4104,60536,0,0 | ||
21 | 3,20,ModelResultImpl,7,1239,78254,21057200,75918,9173,0,3958,55242,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv new file mode 100644 index 00000000..034a2048 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 4,1,ModelResultImpl,10,1339,187225,43638100,184585,14565,8,8893,149868,0,0 | ||
3 | 4,2,ModelResultImpl,10,1336,258364,34407600,255655,14281,1,9835,217586,0,0 | ||
4 | 4,3,InsuficientResourcesResultImpl,10,1321,302464,3900,,14999,0,10218,258608,0,0 | ||
5 | 4,4,ModelResultImpl,10,1569,272300,28546600,269342,14187,0,9965,231046,0,0 | ||
6 | 4,5,ModelResultImpl,10,1315,244950,39639300,242286,14765,0,10575,202813,0,0 | ||
7 | 4,6,ModelResultImpl,10,1223,185629,34348900,183286,14074,0,9227,147910,0,0 | ||
8 | 4,7,ModelResultImpl,10,1271,243243,28619100,240866,16030,0,10594,199605,0,1 | ||
9 | 4,8,ModelResultImpl,10,1229,247712,31642900,244834,14393,0,9543,207278,0,0 | ||
10 | 4,9,ModelResultImpl,10,1284,209619,24479700,207199,18848,0,10225,164689,0,0 | ||
11 | 4,10,ModelResultImpl,10,1240,252740,36766100,250104,15959,0,10730,208822,0,1 | ||
12 | 4,11,ModelResultImpl,10,1315,192678,27966300,190097,15350,0,9230,152579,0,1 | ||
13 | 4,12,ModelResultImpl,10,1767,199644,24666200,195878,16171,0,9709,158015,0,1 | ||
14 | 4,13,ModelResultImpl,10,1411,209397,29226100,206486,17127,0,10334,164735,0,0 | ||
15 | 4,14,InsuficientResourcesResultImpl,10,1292,300133,800,,13558,0,10569,258303,0,0 | ||
16 | 4,15,ModelResultImpl,10,1188,277607,29611300,275175,13898,0,11204,234760,0,0 | ||
17 | 4,16,ModelResultImpl,10,1383,257815,41453700,255328,13012,0,10666,216491,0,1 | ||
18 | 4,17,ModelResultImpl,10,1335,217424,30586300,214754,15737,0,9889,176416,0,0 | ||
19 | 4,18,ModelResultImpl,10,1317,214706,28448000,211898,15332,0,9390,175241,0,1 | ||
20 | 4,19,ModelResultImpl,10,1429,235982,26350500,233087,15836,0,10258,192499,0,1 | ||
21 | 4,20,InsuficientResourcesResultImpl,10,1150,302957,1100,,16272,0,12639,253942,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv new file mode 100644 index 00000000..13617342 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv | |||
@@ -0,0 +1,3 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,Transformations,ScopePropagations,ScopePropagationsSolverCalls | ||
2 | 1,1,ModelResultImpl,910,7801,7469,66,7546,765,258,95,0,228,1118,0,2,1495,2706,1379,10,0,1,0,1769,654,0 | ||
3 | |||
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 @@ | |||
1 | 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 | 2,1,ModelResultImpl,5,753,17109,13399400,16654,1789,9,696,11984,0,0 | ||
3 | 2,2,ModelResultImpl,5,628,17801,12301800,17369,1678,0,715,12727,0,0 | ||
4 | 2,3,ModelResultImpl,5,610,15430,13989100,14970,1285,0,586,11377,0,0 | ||
5 | 2,4,ModelResultImpl,5,803,14781,11475500,14220,1483,0,640,10196,0,0 | ||
6 | 2,5,ModelResultImpl,5,581,22641,12669300,22193,1558,0,707,17778,0,0 | ||
7 | 2,6,ModelResultImpl,5,611,22649,11553300,22203,1508,0,660,17965,0,0 | ||
8 | 2,7,ModelResultImpl,5,548,12438,10128400,12033,1584,0,616,7995,0,0 | ||
9 | 2,8,ModelResultImpl,5,655,17624,10593200,17198,1404,0,619,13273,0,0 | ||
10 | 2,9,ModelResultImpl,5,596,16946,10102500,16528,1717,0,705,11847,0,0 | ||
11 | 2,10,ModelResultImpl,5,537,17896,10038000,17507,1414,0,626,13625,0,0 | ||
12 | 2,11,ModelResultImpl,5,535,13771,11741600,13353,1411,0,613,9547,0,0 | ||
13 | 2,12,ModelResultImpl,5,531,16728,11768600,16257,1448,0,635,12199,0,0 | ||
14 | 2,13,ModelResultImpl,5,549,14647,11546900,14254,1201,0,573,10920,0,0 | ||
15 | 2,14,ModelResultImpl,5,552,15942,10918300,15492,1502,0,610,11459,0,0 | ||
16 | 2,15,ModelResultImpl,5,563,15196,12483700,14773,1389,0,574,11130,0,0 | ||
17 | 2,16,ModelResultImpl,5,566,10267,10445100,9864,1364,0,523,6468,0,0 | ||
18 | 2,17,ModelResultImpl,5,600,15595,8099800,15147,1341,0,624,11381,0,0 | ||
19 | 2,18,ModelResultImpl,5,561,11172,9144100,10776,1167,0,487,7740,0,0 | ||
20 | 2,19,ModelResultImpl,5,548,14818,9372000,14441,1565,0,658,10261,0,0 | ||
21 | 2,20,ModelResultImpl,5,559,17497,9881500,17059,1532,0,651,12811,0,0 | ||
22 | |||
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 @@ | |||
1 | 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 | 4,1,ModelResultImpl,11,730,72467,34401400,71866,4026,10,1998,59824,0,0 | ||
3 | 4,2,ModelResultImpl,11,761,67853,11838400,67382,3819,0,1957,55882,0,0 | ||
4 | 4,3,ModelResultImpl,11,734,45541,10393700,45056,3529,0,1779,34849,0,0 | ||
5 | 4,4,ModelResultImpl,11,619,55697,17081600,55167,3617,0,1898,44356,0,0 | ||
6 | 4,5,ModelResultImpl,11,726,64846,29758900,64208,3905,0,2030,52466,0,0 | ||
7 | 4,6,ModelResultImpl,11,712,65893,13089200,65423,3972,0,2029,53618,0,0 | ||
8 | 4,7,ModelResultImpl,11,742,50982,16405400,50469,3638,0,1857,39804,0,0 | ||
9 | 4,8,ModelResultImpl,11,590,50309,15985400,49731,3572,0,1877,39187,0,0 | ||
10 | 4,9,ModelResultImpl,11,761,65533,23499900,65008,3890,0,2000,53225,0,0 | ||
11 | 4,10,ModelResultImpl,11,688,44853,23629200,44348,3255,0,1695,34758,0,0 | ||
12 | 4,11,ModelResultImpl,11,626,59167,38070600,58611,3942,0,1864,47290,0,0 | ||
13 | 4,12,ModelResultImpl,11,642,66860,18966400,66364,3732,0,1987,54960,0,0 | ||
14 | 4,13,ModelResultImpl,11,622,65317,12053900,64842,3176,0,1633,55177,0,1 | ||
15 | 4,14,ModelResultImpl,11,687,45481,79001300,44944,3485,0,1661,35036,0,0 | ||
16 | 4,15,ModelResultImpl,11,881,74988,14027700,74444,4150,0,2191,61881,0,0 | ||
17 | 4,16,ModelResultImpl,11,691,56609,11960900,56125,3776,0,1943,45015,0,0 | ||
18 | 4,17,ModelResultImpl,11,631,103459,26319900,102823,4720,0,2390,88314,0,1 | ||
19 | 4,18,ModelResultImpl,11,2263,61989,12371400,61101,3751,0,1902,50076,0,0 | ||
20 | 4,19,ModelResultImpl,11,575,75135,19514700,74621,4810,0,2552,60068,0,1 | ||
21 | 4,20,ModelResultImpl,11,1069,94884,21924000,94062,5623,0,3121,77010,0,1 | ||
22 | |||
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 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 5,1,InsuficientResourcesResultImpl,8,1163,301236,6700,11611,7,8030,261757,0,0, | ||
3 | 5,2,ModelResultImpl,8,1125,214262,41193500,10675,0,7433,179009,0,1,213284 | ||
4 | 5,3,InsuficientResourcesResultImpl,8,1097,301100,1400,10110,0,6697,266325,0,0, | ||
5 | 5,4,ModelResultImpl,8,1202,243793,34411800,11329,0,7710,206562,0,0,242815 | ||
6 | 5,5,ModelResultImpl,8,1130,266540,38153400,12190,0,8455,225879,0,1,265458 | ||
7 | 5,6,ModelResultImpl,8,1136,244077,43614700,10925,0,7347,207698,0,0,243138 | ||
8 | 5,7,ModelResultImpl,8,1263,270364,44901700,10715,0,7520,233664,0,0,269383 | ||
9 | 5,8,ModelResultImpl,8,1062,228653,36320200,11042,0,7673,191829,0,0,227652 | ||
10 | 5,9,ModelResultImpl,8,1060,284484,38198200,12105,0,8129,244192,0,1,283520 | ||
11 | 5,10,ModelResultImpl,8,1087,245757,38745600,10898,0,7835,208781,0,0,244833 | ||
12 | 5,11,InsuficientResourcesResultImpl,8,1003,302539,1700,9666,0,6798,267961,0,0, | ||
13 | 5,12,ModelResultImpl,8,657,143583,35565200,6948,0,4448,120639,0,0,142951 | ||
14 | 5,13,ModelResultImpl,8,1061,292041,44607000,12010,0,8656,250579,0,1,291061 | ||
15 | 5,14,ModelResultImpl,8,1034,255307,37454100,11242,0,7789,217397,0,0,254393 | ||
16 | 5,15,InsuficientResourcesResultImpl,8,1194,300839,1500,9997,0,7300,265245,0,0, | ||
17 | 5,16,ModelResultImpl,8,1070,274358,38762800,11730,0,7864,235472,0,1,273383 | ||
18 | 5,17,ModelResultImpl,8,1099,259378,84148300,11340,0,7784,221204,0,0,258553 | ||
19 | 5,18,ModelResultImpl,8,1084,255262,38991800,11989,0,7795,215829,0,1,254328 | ||
20 | 5,19,ModelResultImpl,8,1111,293515,47026100,12037,0,8609,252172,0,1,292504 | ||
21 | 5,20,ModelResultImpl,8,1106,278558,32886300,12080,0,8000,237985,0,1,277745 | ||
22 | |||
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 @@ | |||
1 | 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,1,ModelResultImpl,1483,2558,3108,60043900,1609,456,424,87,272,0,1 | ||
3 | 1,2,ModelResultImpl,1483,1126,1487,9020100,931,292,1,60,256,0,1 | ||
4 | 1,3,ModelResultImpl,1483,927,1424,9739900,827,263,0,51,217,0,0 | ||
5 | 1,4,ModelResultImpl,1483,886,1069,8613600,495,208,1,25,97,0,0 | ||
6 | 1,5,ModelResultImpl,1483,768,1268,9369800,856,262,0,35,223,0,0 | ||
7 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv new file mode 100644 index 00000000..a2628ad1 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 5,1,ModelResultImpl,12,865,91787,64960700,91078,17340,6,2469,61497,0,3 | ||
3 | 5,2,ModelResultImpl,12,956,118267,65616400,117553,16353,0,2810,85627,0,1 | ||
4 | 5,3,ModelResultImpl,12,900,116093,69616600,115364,17281,0,2800,82376,0,0 | ||
5 | 5,4,ModelResultImpl,12,907,96027,78796000,95287,19233,0,2643,63089,0,0 | ||
6 | 5,5,ModelResultImpl,12,961,133615,61595600,132840,17098,0,2970,99041,0,0 | ||
7 | 5,6,ModelResultImpl,12,917,120673,61159000,119930,18320,0,2889,85737,0,0 | ||
8 | 5,7,ModelResultImpl,12,941,101988,69310400,101183,18258,0,2694,69616,0,0 | ||
9 | 5,8,ModelResultImpl,12,910,117121,58731900,116373,16751,0,2954,83990,0,1 | ||
10 | 5,9,ModelResultImpl,12,939,98738,60204200,97988,15671,0,2643,69051,0,0 | ||
11 | 5,10,ModelResultImpl,12,907,109216,62901700,108450,18563,0,2855,74361,0,0 | ||
12 | 5,11,ModelResultImpl,12,989,101313,70288400,100570,19059,0,2653,68951,0,0 | ||
13 | 5,12,ModelResultImpl,12,847,110986,71960700,110229,20031,0,2484,77376,0,0 | ||
14 | 5,13,ModelResultImpl,12,924,99847,65101400,99083,18276,0,2732,67006,0,0 | ||
15 | 5,14,ModelResultImpl,12,908,113484,61073000,112675,20588,0,2760,77595,0,0 | ||
16 | 5,15,ModelResultImpl,12,859,107243,118083900,106494,16814,0,2826,74774,0,0 | ||
17 | 5,16,ModelResultImpl,12,896,101005,60113300,100198,16591,0,2670,70482,0,0 | ||
18 | 5,17,ModelResultImpl,12,909,150888,90178000,150032,18804,0,3644,112370,0,2 | ||
19 | 5,18,ModelResultImpl,12,1988,224882,111051700,223272,35288,0,5245,160716,0,2 | ||
20 | 5,19,ModelResultImpl,12,1710,180301,103042800,178853,31026,0,4421,125609,0,1 | ||
21 | 5,20,ModelResultImpl,12,2294,236789,120962500,234776,34043,0,4964,172403,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv new file mode 100644 index 00000000..03ee084b --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 2,1,ModelResultImpl,11,1049,149253,202983100,148329,21687,8,3820,108113,0,4 | ||
3 | 2,2,ModelResultImpl,11,1131,173214,111640800,172206,24930,0,3926,128120,0,1 | ||
4 | 2,3,ModelResultImpl,11,1027,157782,120804000,157006,19292,0,3948,119012,0,1 | ||
5 | 2,4,ModelResultImpl,11,1063,169577,126195200,168692,22819,0,4027,126643,0,1 | ||
6 | 2,5,ModelResultImpl,11,984,164004,93016300,163235,23449,0,3830,121474,0,1 | ||
7 | 2,6,ModelResultImpl,11,1005,146874,94077300,146111,20382,0,3734,108542,0,1 | ||
8 | 2,7,ModelResultImpl,11,904,148997,92734800,148172,19769,0,3763,111141,0,1 | ||
9 | 2,8,ModelResultImpl,11,911,145947,99103000,145197,21375,0,3757,106317,0,1 | ||
10 | 2,9,ModelResultImpl,11,911,154022,91420700,153225,21687,0,3781,113566,0,1 | ||
11 | 2,10,ModelResultImpl,11,994,144253,105623000,143479,19514,0,3736,106547,0,1 | ||
12 | 2,11,ModelResultImpl,11,943,146057,85565700,145235,20168,0,3830,107696,0,1 | ||
13 | 2,12,ModelResultImpl,11,933,153728,93877000,152956,18549,0,4136,115265,0,0 | ||
14 | 2,13,ModelResultImpl,11,989,135785,101796800,135043,19930,0,3590,98576,0,1 | ||
15 | 2,14,ModelResultImpl,11,942,158905,115031700,158150,21663,0,3796,118239,0,0 | ||
16 | 2,15,ModelResultImpl,11,897,138727,116266900,137918,19116,1,3652,102641,0,0 | ||
17 | 2,16,ModelResultImpl,11,851,145221,95232500,144453,18026,0,3913,108945,0,0 | ||
18 | 2,17,ModelResultImpl,11,928,154148,88476300,153396,21053,0,3827,113763,0,0 | ||
19 | 2,18,ModelResultImpl,11,859,166408,95546600,165666,22619,0,3922,123707,0,1 | ||
20 | 2,19,ModelResultImpl,11,909,136564,91353600,135766,17841,0,3665,101835,0,0 | ||
21 | 2,20,ModelResultImpl,11,873,147664,91153300,146866,17705,0,3874,111410,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv new file mode 100644 index 00000000..293f51a5 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution1FoundAt,ExplorationInitializationTime,TransformationExecutionTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,ActivationSelectionTime,NumericalSolverSumTime,NumericalSolverProblemFormingTime,NumericalSolverSolvingTime,NumericalSolverInterpretingSolution,NumericalSolverCachingTime,NumericalSolverCallNumber,NumericalSolverCachedAnswerNumber | ||
2 | 2,1,ModelResultImpl,49,948,55965,249,54293,1336,6134,11,17708,0,3,2,0,0,0,0,0,0,0 | ||
3 | 2,2,ModelResultImpl,49,638,65106,310,63703,837,7067,0,20870,0,3,2,0,0,0,0,0,0,0 | ||
4 | 2,3,ModelResultImpl,49,1929,69666,268,67267,1926,7537,0,20708,0,1,0,0,0,0,0,0,0,0 | ||
5 | 2,4,ModelResultImpl,49,617,67091,318,65452,1078,8304,0,18694,0,1,0,0,0,0,0,0,0,0 | ||
6 | 2,5,ModelResultImpl,49,1068,75850,145,74083,1480,8386,0,19637,0,1,0,0,0,0,0,0,0,0 | ||
7 | 2,6,ModelResultImpl,49,785,65738,301,63408,1430,7695,0,16497,0,3,0,0,0,0,0,0,0,0 | ||
8 | 2,7,ModelResultImpl,49,1055,85078,387,82888,1365,9313,0,22220,0,1,0,0,0,0,0,0,0,0 | ||
9 | 2,8,ModelResultImpl,49,1189,63131,136,61246,1586,7804,0,17380,0,2,1,0,0,0,0,0,0,0 | ||
10 | 2,9,ModelResultImpl,49,530,60098,248,58756,657,6900,0,18737,0,2,0,0,0,0,0,0,0,0 | ||
11 | 2,10,ModelResultImpl,49,706,58634,247,56728,1023,6237,0,18909,0,1,0,0,0,0,0,0,0,0 | ||
12 | 2,11,ModelResultImpl,49,683,55087,174,53903,749,5838,0,17665,0,1,0,0,0,0,0,0,0,0 | ||
13 | 2,12,ModelResultImpl,49,533,69793,206,68720,625,7827,0,22340,0,1,0,0,0,0,0,0,0,0 | ||
14 | 2,13,ModelResultImpl,49,625,58198,256,56830,781,6177,0,20134,0,2,0,0,0,0,0,0,0,0 | ||
15 | 2,14,ModelResultImpl,49,555,66046,250,64950,664,7385,0,15860,0,0,0,0,0,0,0,0,0,0 | ||
16 | 2,15,ModelResultImpl,49,586,96452,367,92042,1007,12651,0,23019,0,6,0,0,0,0,0,0,0,0 | ||
17 | 2,16,ModelResultImpl,49,1523,72460,210,70549,1181,9123,1,21222,0,2,0,0,0,0,0,0,0,0 | ||
18 | 2,17,ModelResultImpl,49,734,74551,417,72763,842,8117,0,21326,0,3,0,0,0,0,0,0,0,0 | ||
19 | 2,18,ModelResultImpl,49,1282,75020,208,72887,1459,8671,0,22596,0,3,1,0,0,0,0,0,0,0 | ||
20 | 2,19,ModelResultImpl,49,871,70125,286,68362,947,8755,0,18829,0,1,0,0,0,0,0,0,0,0 | ||
21 | 2,20,ModelResultImpl,49,633,65564,149,64398,816,7912,0,15815,0,0,0,0,0,0,0,0,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv new file mode 100644 index 00000000..ec0afb94 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 2,1,ModelResultImpl,37,1267,42409,28515700,41220,5066,11,614,29095,0,1 | ||
3 | 2,2,ModelResultImpl,37,1919,14164,22580700,12518,3986,2,344,5463,0,2 | ||
4 | 2,3,ModelResultImpl,37,1916,41597,31164300,40290,5050,1,614,28209,0,1 | ||
5 | 2,4,ModelResultImpl,37,2023,41518,20216100,40199,5825,0,549,27332,0,1 | ||
6 | 2,5,ModelResultImpl,37,2052,21630,32282400,20128,4713,0,456,10817,0,1 | ||
7 | 2,6,ModelResultImpl,37,2070,40984,24514000,39602,5997,0,528,26649,0,2 | ||
8 | 2,7,ModelResultImpl,37,2249,40677,22780300,39309,4977,0,600,27410,0,1 | ||
9 | 2,8,ModelResultImpl,37,1887,34102,17897400,32571,5103,0,524,21184,0,1 | ||
10 | 2,9,ModelResultImpl,37,1826,11685,12854100,10430,3316,0,298,4382,0,1 | ||
11 | 2,10,ModelResultImpl,37,1795,20933,19823700,19703,4431,0,435,10642,0,1 | ||
12 | 2,11,ModelResultImpl,37,1849,33111,18648500,31757,5743,0,375,20404,0,1 | ||
13 | 2,12,ModelResultImpl,37,1829,36099,18177300,34869,5689,0,525,22643,0,1 | ||
14 | 2,13,ModelResultImpl,37,1875,36431,20140100,35116,5371,0,500,23462,0,1 | ||
15 | 2,14,ModelResultImpl,37,1796,32322,24371800,31185,4939,0,493,20307,0,1 | ||
16 | 2,15,ModelResultImpl,37,1961,43764,24819800,42470,6248,0,593,27586,0,1 | ||
17 | 2,16,ModelResultImpl,37,1737,16231,16437300,14995,3805,0,388,7679,0,0 | ||
18 | 2,17,ModelResultImpl,37,1685,14223,36835700,12964,3783,0,338,6108,0,1 | ||
19 | 2,18,ModelResultImpl,37,1910,30550,21296200,29359,4813,0,517,18691,0,1 | ||
20 | 2,19,ModelResultImpl,37,1622,30723,17831800,29572,5299,0,560,18198,0,1 | ||
21 | 2,20,ModelResultImpl,37,1915,15410,15827800,14223,3856,0,353,7093,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv new file mode 100644 index 00000000..80122e3d --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 3,1,ModelResultImpl,16,1695,34619,47365200,33379,7951,23,1005,19203,0,0 | ||
3 | 3,2,ModelResultImpl,16,1952,66272,40194500,65033,10142,0,1381,45195,0,1 | ||
4 | 3,3,ModelResultImpl,16,1882,50684,57411900,49392,9412,0,1181,31167,0,2 | ||
5 | 3,4,ModelResultImpl,16,1835,52174,29585500,50841,9443,0,1265,32497,0,1 | ||
6 | 3,5,ModelResultImpl,16,1817,37087,24158900,35809,8374,0,1106,20620,0,1 | ||
7 | 3,6,ModelResultImpl,16,1822,96082,35393500,94837,10814,0,1314,71854,0,1 | ||
8 | 3,7,ModelResultImpl,16,1845,65727,37723300,64268,10857,0,1392,42620,0,1 | ||
9 | 3,8,ModelResultImpl,16,1715,36063,56419600,34810,8195,0,1065,19928,0,2 | ||
10 | 3,9,ModelResultImpl,16,1814,53418,68855200,52040,9364,0,1248,33127,0,1 | ||
11 | 3,10,ModelResultImpl,16,1688,146193,34004300,144953,23393,0,2677,96521,0,2 | ||
12 | 3,11,ModelResultImpl,16,1887,56839,38787000,55478,11029,0,1309,34905,0,1 | ||
13 | 3,12,ModelResultImpl,16,1852,43970,32684100,42779,10114,0,1121,25234,0,1 | ||
14 | 3,13,ModelResultImpl,16,1766,68078,29662000,66581,12700,0,1445,42619,0,1 | ||
15 | 3,14,ModelResultImpl,16,2033,137006,39601900,135475,10041,0,1736,110352,0,1 | ||
16 | 3,15,ModelResultImpl,16,1792,36929,30425200,35576,8499,0,1112,19855,0,1 | ||
17 | 3,16,ModelResultImpl,16,1861,79893,19417500,78581,10278,0,1253,56995,0,0 | ||
18 | 3,17,ModelResultImpl,16,1651,34149,32888300,33294,8334,0,1016,18514,0,1 | ||
19 | 3,18,ModelResultImpl,16,1799,51965,35639300,50624,11417,0,1355,29874,0,0 | ||
20 | 3,19,ModelResultImpl,16,2032,46469,44756500,45006,10308,0,1323,25809,0,1 | ||
21 | 3,20,ModelResultImpl,16,1839,75448,32863500,74051,11465,0,1499,50558,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv new file mode 100644 index 00000000..ae7f7ca1 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | 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 | 4,1,ModelResultImpl,20,2105,122193,47975800,120819,22172,21,3111,81933,0,0 | ||
3 | 4,2,ModelResultImpl,20,948,71430,38366700,70718,10799,0,1803,49089,0,0 | ||
4 | 4,3,ModelResultImpl,20,907,71011,42371700,70320,12614,0,1751,47228,0,0 | ||
5 | 4,4,ModelResultImpl,20,888,57574,43253600,56870,10097,0,1721,37819,0,0 | ||
6 | 4,5,ModelResultImpl,20,918,50961,39099900,50235,9718,0,1667,31881,0,0 | ||
7 | 4,6,ModelResultImpl,20,929,54262,48948700,53554,10095,0,1701,35294,0,0 | ||
8 | 4,7,ModelResultImpl,20,914,69271,42306400,68596,12610,0,1788,45775,0,0 | ||
9 | 4,8,ModelResultImpl,20,887,58304,42858800,57604,10861,0,1641,37653,0,0 | ||
10 | 4,9,ModelResultImpl,20,923,61436,40388600,60755,11478,0,1812,38983,0,0 | ||
11 | 4,10,ModelResultImpl,20,950,51010,44099800,50294,11361,0,1496,30951,0,1 | ||
12 | 4,11,ModelResultImpl,20,879,56153,40079800,55455,11776,0,1587,35227,0,0 | ||
13 | 4,12,ModelResultImpl,20,939,55164,41385200,54450,9786,0,1675,35778,0,0 | ||
14 | 4,13,ModelResultImpl,20,947,59424,49539400,58684,10955,0,1776,38126,0,0 | ||
15 | 4,14,ModelResultImpl,20,973,61843,36537600,61086,10883,0,1685,40830,0,0 | ||
16 | 4,15,ModelResultImpl,20,867,54362,38663100,53666,10015,0,1611,35234,0,0 | ||
17 | 4,16,ModelResultImpl,20,915,108777,49507000,108033,20987,0,2938,71959,0,1 | ||
18 | 4,17,ModelResultImpl,20,922,55218,41448600,54548,9665,0,1657,36387,0,0 | ||
19 | 4,18,ModelResultImpl,20,921,57210,60622400,56526,10429,0,1747,36425,0,0 | ||
20 | 4,19,ModelResultImpl,20,911,70900,47211300,70230,11669,0,1714,48547,0,0 | ||
21 | 4,20,ModelResultImpl,20,887,74363,36468500,73658,12552,0,1800,50208,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv new file mode 100644 index 00000000..438b0c46 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv | |||
@@ -0,0 +1,3 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,Transformations,ScopePropagations,ScopePropagationsSolverCalls | ||
2 | 1,1,ModelResultImpl,937,7407,70133,650,70197,1168,1392,492,0,216,25676,0,5,14735,20985,10955,17,0,4,0,15313,8859,0 | ||
3 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv new file mode 100644 index 00000000..c3c77053 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv | |||
@@ -0,0 +1,4 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 1,1,InsuficientResourcesResultImpl,453,3378,5255,7500,1236,131,79,245,0,0, | ||
3 | 1,2,ModelResultImpl,453,1965,4628,31696400,1014,3,58,307,0,1,1957 | ||
4 | |||