Standard output
654846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
654846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.9ns
654847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
655099 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
655099 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
655100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
655100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
655843 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
660628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.78s
660654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
660658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.28ms