Standard output
954215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
954216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.6ns
954216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
958072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
958124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
958125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7ns
987602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
987602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.1ns
987604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
991128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
991195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
991197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns