Standard output
896669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
896669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.4ns
896669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
899859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
899921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
899921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7ns
928002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
928002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.3ns
928002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
931647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
931711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
931714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.3ns