Standard output
414163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
414163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.3ns
414163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
414304 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414304 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414304 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414304 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414820 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
417929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
418164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
418852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 682.31ms