Standard output
504522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
504522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474ns
504522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504709 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504709 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504709 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504709 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
505444 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
509352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s
509399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
509399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.1ms