Standard output
1186514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1186514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns
1186520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1191227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s
1191290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1191290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns
1222263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1222263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.8ns
1222263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1226953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s
1227000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1227016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns