Standard output
504077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
504077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171ns
504093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504218 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504218 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504218 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504218 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504765 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
508502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
509143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
509252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 109.72ms