Standard output
1406403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1406419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.6ns
1406419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1411673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
1411751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1411751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns
1447977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1447977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293ns
1447977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1453307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
1453385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1453385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.1ns