Standard output
445765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
445765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns
445766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445892 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
445892 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
445893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
445893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
446427 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
449742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s
449765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
449769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 887.6ns