Standard output
921699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
921699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.5ns
921700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
925345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
925432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
925434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
954042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
954042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.1ns
954043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
957724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s
957775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
957776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns