Standard output
612504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
612505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.91ns
612505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
612678 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612678 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612679 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612679 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613327 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
618094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s
618123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
618127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 799.25ns