Standard output
853959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
853959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns
853960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
857154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
857202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
857205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns
881066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
881066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.4ns
881067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
884154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
884197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
884198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns