Standard output
1164529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1164530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.63ns
1164531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1169507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s
1169556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1169558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns
1197444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1197445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.31ns
1197445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1201940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
1201987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1201988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns