Standard output
497160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
497160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.4ns
497161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497339 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497339 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497340 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497340 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
501709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
501762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
501767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 871.19ns