Standard output
361805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
361805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51ns
361805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
361906 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361907 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361907 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361907 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
362337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
365058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
365095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
365110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 550ns