Standard output
739706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
739706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.5ns
739706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
739956 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
739956 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
739956 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
739956 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
740988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
746677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.96s
746708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
746724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.3ms