Standard output
613637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
613637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns
613637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
613856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
614543 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
618962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
618993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
618993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.16ms