Standard output
1169319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1169335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns
1169335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1173890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
1173971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1173971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns
1199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1199215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.1ns
1199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1203790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
1203837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1203837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns