Standard output
1493352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1493352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.5ns
1493352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1499070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s
1499132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1499139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns
1533067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1533067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.9ns
1533067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1538603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s
1538666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1538666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns