Standard output
585805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
585805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns
585805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
585977 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
585977 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
585977 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
585977 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
586729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
591044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s
591075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
591075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 863.3ns