Standard output
903779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
903779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns
903779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
906945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
906992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
907009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns
934295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
934295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.1ns
934311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
937475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
937522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
937522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns