Standard output
787630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
787630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166ns
787645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
790741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s
790804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
790804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns
815379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
815379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.7ns
815379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
818420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
818467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
818467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns