Standard output
1318039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1318039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.3ns
1318040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1323165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
1323212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1323214 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns
1353446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1353446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.4ns
1353447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1358422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
1358469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1358470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns