Standard output
914921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
914921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.3ns
914936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
915093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
915093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
915093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
915093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
915593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
919283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
919345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
919345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
946441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
946441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262ns
946441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
949787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
949834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
949850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns