Standard output
808305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
808306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511ns
808306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
811153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
811222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
811222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
836398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
836398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns
836398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
839181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s
839228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
839228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.5ns