Standard output
787838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
787838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.3ns
787838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
788089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
789022 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
794924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.08s
794955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
794955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.24ms