Standard output
900807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
900807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.8ns
900823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
904153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
904216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
904216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
932531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
932531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns
932531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
935737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
935784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
935799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns