split time measurement for --prove in two: preprocessing and actual proving