Standard output
732707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
732707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.1ns
732707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
732816 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732816 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732816 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732816 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
733255 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
736413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
736475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
736475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
759723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
759723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.9ns
759723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
762552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
762599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
762599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns