Standard output
818326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
818326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.2ns
818327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
821711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
821756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
821758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
845522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
845522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.2ns
845523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
848663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
848708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
848709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns