Commit 7b3d9264 authored by Bastian Kauschke's avatar Bastian Kauschke
Browse files

need more stats

parent 17633d3c
......@@ -608,8 +608,46 @@ main = do
Left err -> hPutStrLn stderr err >> exitFailure
Right res -> evaluate res
part <- withTimeStat stats "refine-duration"
(stToIO $ refine (Proxy :: Proxy (Desorted SomeFunctor)) encoding (minimizeEnableOpt r))
logStat stats "states" (tshow (Encoding.size encoding))
logStat stats "edges" (tshow (Encoding.numEdges encoding))
let isFirstSort x = sortedSort x == 1
logStat
stats
"explicit-states"
(tshow (length (V.filter isFirstSort (Encoding.structure encoding))))
part <- case statsType stats of
NoStats ->
withTimeStat stats "algorithm-duration" (
stToIO (refine (Proxy :: Proxy (Desorted SomeFunctor)) encoding (minimizeEnableOpt r))
)
_ -> do
(part, algoStats) <-
withTimeStat stats "algorithm-duration"
$ refineWithStats (Proxy :: Proxy (Desorted SomeFunctor)) encoding (minimizeEnableOpt r)
logStat stats
"initial-partition-size"
(tshow (initialBlocks algoStats))
logStat stats
"initialize-duration"
(showTimeDiff (initTime algoStats))
logStat stats "split-operation-count" (tshow (splitCount algoStats))
logStat stats
"refine-duration"
(showTimeDiff (refineTime algoStats))
logStat stats
"size1-skipped"
(tshow (size1Skipped algoStats))
return part
logStat stats
"final-partition-size"
(tshow (Partition.numBlocks part))
logStat stats
"explicit-final-partition-size"
(tshow (length (restrictPartitionToSort1 encoding part)))
(encoding', symbolTable') <- withTimeStat stats "minimize-duration" $
evaluate (minimize f encoding symbolTable part)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment