Standard output
783152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
783152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns
783152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
786209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s
786256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
786256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
810013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
810013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 560ns
810013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
813016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s
813047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
813063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns