Standard output
971562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
971562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 981.9ns
971562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
975033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
975095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
975095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns
1004489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1004489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.2ns
1004489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1007960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
1008022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1008022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns