Standard output
1243019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1243019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149ns
1243020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1248017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
1248064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1248066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns
1276827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1276827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.1ns
1276828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1281694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
1281742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1281743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns