Standard output
1062206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1062206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns
1062206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1066146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s
1066208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1066208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
1099041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1099041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns
1099057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1102872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
1102934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1102934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns