Standard output
1176772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1176773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.7ns
1176773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1181316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s
1181363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1181363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
1207082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1207082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.2ns
1207082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1211693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s
1211740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1211740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns