Standard output
1106800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1106800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.5ns
1106816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1111021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s
1111068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1111084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns
1136537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1136537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns
1136552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1140680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s
1140726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1140726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns