Standard output
519070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
519070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545ns
519070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
523988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s
524019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
524019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.18ms