Standard output
181269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
181269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.6ns
181269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
184004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
184019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
184019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
184019 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
184035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
184035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.7ns
184035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
186846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
186846 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
186846 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
186862 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
186862 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'