Standard output
983036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
983036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns
983052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
986481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
986544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
986544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
1015126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1015126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns
1015126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1018253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
1018300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1018315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns