diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv')
| -rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv | 22 |
1 files changed, 22 insertions, 0 deletions
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 | |||