path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/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;ModelResultImpl;580;4611;34341;4979693485;34306;19566;148;1006;0;5