Standard output
1196163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1196163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns
1196163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1200838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
1200900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1200900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns
1231155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1231155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312ns
1231155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1236127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
1236221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1236221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns