log time for each event
more improvements to the prover mode