blob: 1411d1d1239bb49ca1c6efad800d0895867c15c4 (
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;InsuficientResourcesResultImpl;616;31795;218148;20800;1374;0;726;7;0;32
|