Standard output
773742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
773742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.8ns
773742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
776558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s
776604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
776604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
800775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
800775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns
800775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
803529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
803563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
803563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns