Standard output
954715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
954715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.8ns
954716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
958516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s
958574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
958577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
988351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
988351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns
988352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
992186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
992241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
992242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns