Standard output
1013338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1013339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.7ns
1013340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1017392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s
1017448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1017450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns
1049833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1049833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns
1049834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1053697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
1053747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1053749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns