Standard output
443448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
443448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349ns
443452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
443592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
443593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
443593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
443594 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
444228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
447547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s
447571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
447574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 987.21ns