@@ -126,11 +126,13 @@ main = do forM_ files (parseAndSolve opts) where parseAndSolve opts path = do + parseStart <- getCurrentTime cnf <- parseCNF path putStrLn $ show (numVars cnf) ++ " variables, " ++ show (numClauses cnf) ++ " clauses" Set.map seqList (clauses cnf) - `seq` putStrLn ("Solving " ++ path ++ "...") + `seq` putStrLn ("Solving " ++ path ++ " ...") + parseEnd <- getCurrentTime startingTime <- getCurrentTime let cfg = defaultConfig @@ -141,7 +143,9 @@ main = do print solution print $ statTable stats `Tabular.combine` Tabular.mkTable - [[ WrapString "Real time " + [[ WrapString "Parsing time " + , WrapString $ show (diffUTCTime parseEnd parseStart) ] + ,[ WrapString "Real time " , WrapString $ show (diffUTCTime endingTime startingTime)]] putStr "Verifying solution..." case verify solution rt cnf of Main.hs 5fb879ce4b719cd718684be70c7493c670ef3816 Denis Bueno dbueno@gmail.com http://github.com/dbueno/funsat/commit/a30106a98d2627348f87675b416569f308b2c854 a30106a98d2627348f87675b416569f308b2c854 2009-04-17T20:25:22-07:00 2009-04-17T20:25:22-07:00 Show parsing time after solving f55f0d3c9c420ee23acaee922211d7d5f8f1f071 Denis Bueno dbueno@gmail.com