diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv')
| -rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv | 7 |
1 files changed, 7 insertions, 0 deletions
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..94da3ec9 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/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,494,2798,2766,45079800,1362,547,125,46,190,0,3 | ||
| 3 | 1,2,ModelResultImpl,494,1544,1988,11110900,1033,357,0,30,249,0,1 | ||
| 4 | 1,3,ModelResultImpl,494,1366,1867,7926900,1060,364,2,24,258,0,1 | ||
| 5 | 1,4,ModelResultImpl,494,1233,1588,8919800,863,312,0,19,146,0,1 | ||
| 6 | 1,5,ModelResultImpl,494,1253,1434,7416800,681,268,1,17,133,0,0 | ||
| 7 | |||