Standard output
898315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
898315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns
898315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
901578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
901624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
901640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns
931445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
931445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.1ns
931461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
935214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
935541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
935541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns