aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/statistics.csv
blob: e943cb622f9fe1eecd8709e5e2791671dcfa1974 (plain) (blame) 
1
2
3

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;353;3507;10950;3413867688;10905;4477;119;440;4;5
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:58:36 +0000