Standard output
654621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
654621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.7ns
654622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
654824 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
654825 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
654826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
654826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
655596 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
660356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s
660381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
660386 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.12ms