Standard output
695781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
695781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns
695782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
698493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
698532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
698534 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.5ns
719756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
719756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.1ns
719757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
722453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
722489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
722491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns