Standard output
969214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
969214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns
969214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
972935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s
972997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
972997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
1004687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1004687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.3ns
1004687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1008282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
1008376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1008376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns