Standard output
1412906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1412907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479ns
1412908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1418425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s
1418503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1418505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns
1453856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1453856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.3ns
1453857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1459472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
1459549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1459552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.5ns