Standard output
628732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
628732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.9ns
628733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
628899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
629652 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
634407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s
634433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
634437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 746.71ns