Standard output
1246976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1246976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.2ns
1246977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1251760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s
1251807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1251808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
1280411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1280411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.6ns
1280412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1285257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
1285305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1285307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns