Standard output
751548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
751548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.4ns
751548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
754493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
754540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
754540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7ns
777564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
777564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns
777564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
780450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s
780481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
780481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns