1
2
3
4
5
6
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,1470,4786,7771,66116800,3921,1682,480,154,550,0,3
1,2,ModelResultImpl,1470,2113,8817,10699700,5927,1993,3,300,1326,0,1
1,3,ModelResultImpl,1470,1856,6810,12033700,3907,1602,1,111,692,0,1
1,4,ModelResultImpl,1470,2441,6387,8147100,3326,1412,2,100,427,0,1
1,5,ModelResultImpl,1470,1705,6328,8393300,2039,1123,0,56,190,0,1
|
