-
François Bobot authored
from the prover output the time used by the prover. An intermediate format "h:m:s" is used to accept more output than only seconds.
b6131a75
from the prover output the time used by the prover. An intermediate format "h:m:s" is used to accept more output than only seconds.