Standard output
1340531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1340531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.8ns
1340531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1345730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
1345793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1345793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns
1375944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1375944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns
1375960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1381153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
1381200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1381200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns