Standard output
779807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
779807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns
779807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
782761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
782808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
782808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
806933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
806933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns
806948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
809636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
809683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
809683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns