Standard output
1507205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1507205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.3ns
1507220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1512911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s
1513005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1513020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns
1549698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1549698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.1ns
1549698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1555263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s
1555326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1555326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns