Standard output
733223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
733223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns
733225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
735963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
736057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
736073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns
755959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
755959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.5ns
755959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
758712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
758743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
758759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.2ns