Standard output
476270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
476270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.5ns
476271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
476448 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476450 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
477161 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
480574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s
480601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
480604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.04ms