Standard output
944628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
944628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.2ns
944629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
948385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
948434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
948436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
978390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
978390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.2ns
978391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
982093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
982143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
982145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns