path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/output/debug/statistics.csv

Task;Run;Result;Domain to logic transformation time;Logic to solver transformation time;Solver time;Postprocessing time;_Solution0FoundAt;TransformationExecutionTime;TypeAnalysisTime;StateCoderTime;StateCoderFailCount;SolutionCopyTime
1;1;InsuficientResourcesResultImpl;616;31795;218148;20800;1374;0;726;7;0;32