Standard output
1146000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1146000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns
1146000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1150499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s
1150553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1150553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
1175605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1175605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.8ns
1175605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1180060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s
1180107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1180107 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns