Standard output
1363854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1363854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.5ns
1363854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1369164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
1369211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1369226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
1399384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1399384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.5ns
1399384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1404838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s
1404885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1404885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns