Standard output
694766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
694766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.2ns
694769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
697475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
697522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
697522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
718076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
718076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.5ns
718076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
720732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
720779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
720779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.2ns