Standard output
867259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
867259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns
867259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
870468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
870530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
870530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns
898652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
898652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224ns
898652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
901736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
901783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
901783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns