Standard output
910967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
910967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.6ns
910983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
911163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
911163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
911163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
911163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
911725 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
915597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
915685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
915689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
946918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
946918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.8ns
946918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
950254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
950316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
950316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns