           , printBase = 10
           }

main :: IO ()
main = do
    timestamp <- getCurrentTime
    let dirname = "smt_logs_" ++ show timestamp
    createDirectory dirname
    withCurrentDirectory dirname $ do
        benchmarkEnergyEstimate Energy.energyEstimateHighLevel