Standard output
1453236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1453236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.8ns
1453236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1458922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s
1458985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1458985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns
1491637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1491637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.4ns
1491637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1497233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s
1497280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1497280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns