Standard output
739380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
739380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.6ns
739380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
742407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
742407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns
762294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
762294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.6ns
762309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s
765263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
765278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns