Standard output
1132582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1132582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns
1132582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1136818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
1136928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1136928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns
1164241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1164241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.2ns
1164241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1168494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
1168541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1168541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns