Standard output
874528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
874528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.61ns
874529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
877991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
878041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
878043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns
904895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
904895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.9ns
904896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
908231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
908274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
908276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns