Standard output
939713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
939713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.35ms
939713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
943290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
943357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
943357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
976897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
976897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.9ns
976897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
980662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
980709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
980709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns