Standard output
984018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
984018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 929.7ns
984034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
987652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
987715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
987715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
1018177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1018177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.3ns
1018193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1022089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s
1022340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1022340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns