Standard output
954647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
954647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.3ns
954648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
958418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
958466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
958468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
985688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
985688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.7ns
985689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
989337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
989383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
989385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns