Standard output
1131605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1131605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.4ns
1131620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1136034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s
1136081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1136081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
1160816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1160816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.6ns
1160816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1165207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
1165254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1165254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns