Standard output
1244616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1244616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.1ns
1244616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1249307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
1249354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1249370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns
1279041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1279041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.7ns
1279041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1283746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s
1283793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1283793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns