Standard output
425389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
425390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.8ns
425391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
425513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
425513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
425513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
425514 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
425986 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
429244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
429269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
429272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 783.91ns