Standard output
742795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
742795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536ns
742795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
743796 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
749143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
749174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
749174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.41ms