Standard output
1339017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1339017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.9ns
1339018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1344145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
1344193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1344195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
1372276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1372276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns
1372277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1377314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
1377359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1377361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns