Standard output
981719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
981719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.9ns
981719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
985640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s
985843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
985859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
1018362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1018362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.3ns
1018362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1022662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s
1022724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1022724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns