1 files changed, 101 insertions, 6 deletions

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv
index 989c2411..f531c6b8 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv
@@ -1,7 +1,102 @@
-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
+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,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls
+1,1,ModelResultImpl,1837,6117,12674,162,12793,948,419,38,0,340,2142,0,4,2431,5503,1800,15,15,2,0,1353,2849,233,0
+1,2,ModelResultImpl,1837,3840,8029,24,8019,137,207,14,0,1,1447,0,4,2129,3825,969,13,22,0,0,959,2840,222,0
+1,3,ModelResultImpl,1837,3355,8112,22,8105,107,161,8,0,0,1591,0,1,2496,3768,1001,17,20,0,0,902,3074,225,0
+1,4,ModelResultImpl,1837,3652,15894,39,15875,128,340,11,0,0,3134,0,4,3748,7781,2384,26,16,1,0,1203,4288,250,0
+1,5,ModelResultImpl,1837,3293,7261,17,7251,79,160,8,0,0,1362,0,1,2298,3539,888,13,17,0,0,784,3009,248,0
+1,6,ModelResultImpl,1837,3235,10546,18,10530,114,213,9,0,0,1938,0,5,2260,5176,1318,22,22,0,0,1086,2910,227,0
+1,7,ModelResultImpl,1837,2354,8484,13,8475,85,163,7,0,0,1700,0,1,2884,4027,1186,15,11,0,0,832,3420,244,0
+1,8,ModelResultImpl,1837,2380,7128,13,7120,70,143,7,0,0,1371,0,1,2260,3366,899,10,15,0,0,814,2955,234,0
+1,9,ModelResultImpl,1837,2277,8266,18,8258,83,175,8,0,0,1522,0,1,2282,4002,1080,12,10,0,0,890,2949,232,0
+1,10,ModelResultImpl,1837,2470,8318,14,8308,82,183,9,0,0,1647,0,1,2284,3854,1058,19,16,0,0,916,2676,228,0
+1,11,ModelResultImpl,1837,2767,7245,16,7235,107,153,8,0,0,1341,0,2,2470,3496,949,19,23,0,0,723,2833,265,0
+1,12,ModelResultImpl,1837,2197,6661,13,6653,62,134,7,0,0,1356,0,2,2365,3121,804,10,14,0,0,746,2914,258,0
+1,13,ModelResultImpl,1837,2278,8037,11,8027,67,172,8,0,0,1500,0,1,2086,3874,1062,11,8,0,0,861,3068,268,0
+1,14,ModelResultImpl,1837,2159,8654,17,8645,112,179,9,0,0,1588,0,1,2540,4095,1158,18,16,0,0,960,3014,231,0
+1,15,ModelResultImpl,1837,2122,7507,10,7495,70,152,6,0,0,1424,0,1,2382,3574,990,14,56,0,0,794,3119,227,0
+1,16,ModelResultImpl,1837,2221,7044,15,7038,66,135,6,0,0,1423,0,1,2107,3225,799,14,9,0,0,901,2955,215,0
+1,17,ModelResultImpl,1837,2032,6883,11,6871,61,144,7,0,0,1242,0,1,1961,3346,864,10,8,0,0,772,3019,266,0
+1,18,ModelResultImpl,1837,2077,7848,10,7840,59,154,7,0,0,1441,0,1,2705,3772,1122,10,15,0,0,829,3163,260,0
+1,19,ModelResultImpl,1837,2139,6288,11,6280,61,126,6,0,0,1143,0,1,1898,3057,852,7,13,0,0,661,2669,241,0
+1,20,ModelResultImpl,1837,2052,6709,16,6698,56,138,7,0,0,1235,0,5,2215,3252,906,9,12,0,0,714,2741,255,0
+1,21,ModelResultImpl,1837,1979,7165,12,7158,52,138,6,0,0,1362,0,1,2316,3411,888,10,12,0,0,853,3042,235,0
+1,22,ModelResultImpl,1837,2275,6871,11,6862,61,131,5,0,0,1288,0,2,2411,3309,930,11,8,0,0,724,2969,206,0
+1,23,ModelResultImpl,1837,2226,8932,9,8925,58,192,9,0,0,1575,0,2,2740,4460,1315,9,8,0,0,847,3387,295,0
+1,24,ModelResultImpl,1837,2628,6715,10,6707,60,134,6,0,0,1310,0,1,1970,3175,812,8,9,0,0,758,2841,221,0
+1,25,ModelResultImpl,1837,2552,7769,11,7759,70,163,7,0,0,1393,0,1,2365,3748,1056,9,13,0,0,817,2772,236,0
+1,26,ModelResultImpl,1837,2219,7586,10,7576,55,156,7,0,0,1421,0,1,2377,3585,1027,10,12,0,0,830,2775,227,0
+1,27,ModelResultImpl,1837,1974,7241,15,7233,71,147,5,0,0,1312,0,1,2151,3417,961,10,20,0,0,845,2699,183,0
+1,28,ModelResultImpl,1837,2181,7117,10,7106,83,141,6,0,0,1393,0,1,2264,3296,920,21,10,0,0,760,2815,224,0
+1,29,ModelResultImpl,1837,2109,7350,13,7338,60,145,6,0,0,1416,0,1,2363,3536,999,9,9,0,0,759,2961,234,0
+1,30,ModelResultImpl,1837,2086,7998,18,7985,54,156,8,0,0,1455,0,2,2805,3930,1146,14,15,0,0,810,3249,253,0
+1,31,ModelResultImpl,1837,2091,7463,10,7450,72,146,7,0,0,1430,0,2,2444,3545,1015,11,13,0,0,782,3023,250,0
+1,32,ModelResultImpl,1837,2201,7078,12,7070,69,142,7,0,0,1279,0,2,1978,3475,901,8,8,0,0,774,2808,246,0
+1,33,ModelResultImpl,1837,1888,6669,9,6662,66,122,7,0,0,1338,0,1,2607,3161,901,9,13,0,0,669,2945,264,0
+1,34,ModelResultImpl,1837,2096,6852,9,6846,58,129,6,0,1,1304,0,1,2389,3259,852,9,8,0,0,821,3071,240,0
+1,35,ModelResultImpl,1837,1912,6954,10,6947,53,131,6,0,0,1410,0,2,2039,3232,869,14,10,0,0,776,3004,239,0
+1,36,ModelResultImpl,1837,2431,7681,7,7672,67,165,7,0,2,1348,0,1,2249,3748,1069,14,12,0,0,801,2859,232,0
+1,37,ModelResultImpl,1837,1979,7307,8,7299,56,144,7,0,0,1317,0,1,2712,3570,1017,12,10,0,0,777,3062,247,0
+1,38,ModelResultImpl,1837,1959,6786,7,6775,52,135,6,0,0,1309,0,1,2248,3212,875,11,9,0,0,736,2808,233,0
+1,39,ModelResultImpl,1837,2133,6693,10,6682,63,133,7,0,0,1224,0,1,2072,3218,866,8,15,0,0,753,2869,242,0
+1,40,ModelResultImpl,1837,2043,7444,8,7435,70,146,7,0,0,1384,0,1,2463,3527,1015,8,12,0,0,823,3042,238,0
+1,41,ModelResultImpl,1837,2017,6678,8,6667,56,134,6,0,0,1211,0,1,1837,3180,858,9,9,0,0,755,2801,245,0
+1,42,ModelResultImpl,1837,2142,8098,12,8089,73,162,6,0,0,1584,0,1,2274,3680,1066,14,16,0,0,946,2877,208,0
+1,43,ModelResultImpl,1837,2143,8116,17,8101,61,178,8,0,0,1449,0,2,2213,3959,1107,15,11,0,0,844,3002,255,0
+1,44,ModelResultImpl,1837,2182,8124,12,8116,63,178,7,0,0,1483,0,1,1854,3861,1036,10,11,0,0,927,3004,247,0
+1,45,ModelResultImpl,1837,2210,8320,11,8309,65,176,7,0,0,1547,0,1,2307,3924,1123,12,15,0,0,892,2877,228,0
+1,46,ModelResultImpl,1837,2368,8485,14,8478,80,172,6,0,0,1652,0,1,2473,3958,1133,16,19,0,0,897,3020,221,0
+1,47,ModelResultImpl,1837,2783,14961,11,14949,76,318,12,0,0,2829,0,1,2742,7176,2130,14,14,0,0,1483,3287,262,0
+1,48,ModelResultImpl,1837,2348,8657,9,8644,82,178,7,0,0,1596,0,2,2535,4116,1177,13,11,0,0,901,2903,228,0
+1,49,ModelResultImpl,1837,2405,7564,13,7549,68,162,7,0,0,1377,0,2,2016,3615,1036,8,11,0,0,817,2696,238,0
+1,50,ModelResultImpl,1837,2207,7821,11,7812,65,167,8,0,0,1456,0,3,2500,3729,1100,12,14,0,0,824,2846,272,0
+1,51,ModelResultImpl,1837,2222,7165,9,7156,61,135,6,0,0,1459,0,1,2287,3249,838,8,11,0,0,877,2879,200,0
+1,52,ModelResultImpl,1837,2053,7991,8,7984,55,149,6,0,0,1623,0,1,2518,3645,982,10,12,0,0,937,3141,214,0
+1,53,ModelResultImpl,1837,2225,8130,7,8122,63,169,8,0,0,1502,0,2,2657,3958,1117,15,20,0,0,824,3164,263,0
+1,54,ModelResultImpl,1837,2131,7761,7,7753,69,152,7,0,0,1402,0,1,2033,3739,1014,9,11,0,0,906,3327,268,0
+1,55,ModelResultImpl,1837,3913,9755,8,9741,92,209,9,0,0,1688,0,2,2517,4669,1409,15,18,0,0,1025,2895,231,0
+1,56,ModelResultImpl,1837,2172,7846,11,7836,53,155,6,0,0,1530,0,2,2523,3687,992,12,13,0,0,835,3010,213,0
+1,57,ModelResultImpl,1837,2329,7936,24,7913,73,161,10,0,0,1431,0,1,2383,3802,1098,11,13,0,0,808,2999,242,0
+1,58,ModelResultImpl,1837,2806,6725,7,6717,79,136,7,0,0,1239,0,1,1901,3209,847,13,16,0,0,756,2855,241,0
+1,59,ModelResultImpl,1837,1972,8194,10,8185,65,149,6,0,0,1590,0,2,3030,3850,1112,8,10,0,0,886,3387,230,0
+1,60,ModelResultImpl,1837,1907,6172,8,6164,61,124,6,0,0,1182,0,1,2171,2924,787,7,9,0,0,697,2671,243,0
+1,61,ModelResultImpl,1837,1929,7400,12,7391,63,138,6,0,0,1420,0,2,2342,3481,943,10,11,0,0,850,2980,233,0
+1,62,ModelResultImpl,1837,1985,7669,10,7662,57,148,7,0,0,1416,0,1,2961,3731,1042,9,10,0,0,848,3309,290,0
+1,63,ModelResultImpl,1837,2045,9181,10,9174,89,203,11,0,0,1759,0,1,2125,4390,1158,11,14,0,0,1002,2953,223,0
+1,64,ModelResultImpl,1837,2467,12967,11,12950,98,279,11,0,0,2220,0,1,2297,6234,1958,15,17,0,0,1292,2781,247,0
+1,65,ModelResultImpl,1837,2679,6673,7,6665,67,128,6,0,0,1280,0,1,2298,3116,815,10,13,0,0,784,2717,199,0
+1,66,ModelResultImpl,1837,4230,8564,7,8557,110,190,8,0,0,1563,0,1,2508,4065,1120,23,25,0,0,926,3035,236,0
+1,67,ModelResultImpl,1837,2004,6411,7,6402,76,125,7,0,0,1139,0,1,2236,3148,789,13,10,0,0,740,2802,245,0
+1,68,ModelResultImpl,1837,2033,6886,11,6878,52,136,6,0,0,1276,0,1,2357,3298,921,11,8,0,0,756,2924,223,0
+1,69,ModelResultImpl,1837,2106,11529,10,11518,55,290,11,0,0,2009,0,2,2614,5745,1722,11,11,0,0,1093,2962,253,0
+1,70,ModelResultImpl,1837,2732,9237,9,9227,77,196,9,0,0,1651,0,1,2480,4450,1312,23,17,0,0,948,2829,243,0
+1,71,ModelResultImpl,1837,2308,7444,6,7433,71,156,7,0,0,1313,0,1,1825,3583,973,10,17,0,0,855,2861,252,0
+1,72,ModelResultImpl,1837,1950,10129,10,10121,63,205,8,0,0,1880,0,3,2784,4770,1425,11,13,0,0,1029,3327,240,0
+1,73,ModelResultImpl,1837,2052,8735,58,8723,57,185,7,0,0,1587,0,1,2368,4237,1260,8,9,0,0,865,3017,244,0
+1,74,ModelResultImpl,1837,2314,6782,6,6774,56,130,6,0,0,1277,0,1,2332,3219,857,11,13,0,0,759,2866,217,0
+1,75,ModelResultImpl,1837,1937,8288,8,8278,56,155,7,0,0,1592,0,1,2691,3928,1103,12,10,0,0,881,3433,255,0
+1,76,ModelResultImpl,1837,1949,6292,7,6280,54,124,6,0,0,1244,0,1,1977,2948,705,10,11,0,0,761,2718,204,0
+1,77,ModelResultImpl,1837,2036,7303,7,7291,58,142,6,0,0,1372,0,1,2317,3420,948,11,9,0,0,848,2992,232,0
+1,78,ModelResultImpl,1837,2116,7548,8,7539,61,147,8,0,0,1466,0,1,2739,3609,1011,9,11,0,0,810,3148,258,0
+1,79,ModelResultImpl,1837,1914,7609,9,7600,56,140,6,0,0,1541,0,1,2988,3599,1012,11,11,0,0,795,3224,247,0
+1,80,ModelResultImpl,1837,1975,7818,9,7809,68,152,7,0,0,1448,0,1,2403,3784,1089,9,9,0,0,818,3213,264,0
+1,81,ModelResultImpl,1837,2005,7659,9,7651,53,145,6,0,0,1476,0,1,2342,3564,952,8,10,0,0,885,3211,238,0
+1,82,ModelResultImpl,1837,2010,7084,7,7076,65,136,7,0,0,1352,0,1,2493,3332,896,14,13,0,0,822,2989,253,0
+1,83,ModelResultImpl,1837,2199,6854,12,6844,56,141,8,0,0,1246,0,1,2272,3328,885,11,10,0,0,741,2768,227,0
+1,84,ModelResultImpl,1837,2520,8156,8,8147,69,174,8,0,0,1484,0,1,2667,3934,1098,10,10,0,0,938,3217,266,0
+1,85,ModelResultImpl,1837,3333,7368,7,7361,76,145,8,0,0,1375,0,2,2377,3553,990,15,11,0,0,799,3080,285,0
+1,86,ModelResultImpl,1837,1947,7934,9,7921,56,160,7,0,0,1553,0,1,2234,3697,1031,7,9,0,0,914,3106,237,0
+1,87,ModelResultImpl,1837,1944,7279,8,7269,61,147,8,0,0,1356,0,1,2349,3526,964,9,10,0,0,784,3028,272,0
+1,88,ModelResultImpl,1837,2133,7005,6,6997,52,133,7,0,0,1266,0,1,2166,3398,919,14,9,0,0,817,3048,250,0
+1,89,ModelResultImpl,1837,1830,7421,7,7414,49,130,7,0,0,1499,0,1,2643,3480,939,8,11,0,0,827,3284,248,0
+1,90,ModelResultImpl,1837,1819,6537,9,6527,52,115,6,0,0,1334,0,1,2625,3066,816,8,8,0,0,726,2982,229,0
+1,91,ModelResultImpl,1837,1872,5674,8,5666,48,112,7,0,0,1031,0,1,1999,2809,691,9,10,0,0,649,2818,273,0
+1,92,ModelResultImpl,1837,1841,6782,9,6766,57,118,5,0,0,1443,0,1,2317,3056,810,9,8,0,0,805,2905,222,0
+1,93,ModelResultImpl,1837,1816,7569,9,7561,46,132,6,0,0,1532,0,1,2694,3498,942,7,11,0,0,898,3259,217,0
+1,94,ModelResultImpl,1837,1932,6539,8,6532,48,118,6,0,0,1224,0,1,2529,3191,847,11,10,0,0,697,3021,248,0
+1,95,ModelResultImpl,1837,1776,6516,6,6509,47,118,6,0,0,1235,0,1,2213,3129,772,14,10,0,0,777,3020,226,0
+1,96,ModelResultImpl,1837,1800,6836,8,6828,50,123,6,0,0,1307,0,1,2509,3300,867,8,9,0,0,760,3126,246,0
+1,97,ModelResultImpl,1837,1909,6676,8,6667,62,122,7,0,0,1306,0,1,2625,3208,866,8,9,0,0,718,3035,262,0
+1,98,ModelResultImpl,1837,1786,6203,8,6191,49,116,7,0,0,1157,0,1,2114,3032,815,8,9,0,0,682,2890,270,0
+1,99,ModelResultImpl,1837,1762,7047,8,7040,55,127,7,0,0,1358,0,1,2875,3376,927,9,13,0,0,751,3246,259,0
+1,100,ModelResultImpl,1837,1836,6691,7,6684,48,122,6,0,0,1262,0,1,2604,3290,871,10,10,0,0,693,3119,251,0