Standard output
1467025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1467025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.8ns
1467025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1472622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s
1472700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1472700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns
1508055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1508055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277ns
1508071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1513528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s
1513622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1513622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns