Standard output
486904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
486904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns
486904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
487046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487576 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
491265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s
491296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
491312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 993.6ns