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/Yakindu/warmup.csv | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv') 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 @@ +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,494,2798,2766,45079800,1362,547,125,46,190,0,3 +1,2,ModelResultImpl,494,1544,1988,11110900,1033,357,0,30,249,0,1 +1,3,ModelResultImpl,494,1366,1867,7926900,1060,364,2,24,258,0,1 +1,4,ModelResultImpl,494,1233,1588,8919800,863,312,0,19,146,0,1 +1,5,ModelResultImpl,494,1253,1434,7416800,681,268,1,17,133,0,0 + -- cgit v1.2.3-54-g00ecf