Standard output
1209835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1209835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns
1209835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1214334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
1214396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1214396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns
1239752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1239752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.5ns
1239752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1244333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
1244380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1244380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns