Standard output
177088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
177088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.5ns
177088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
179797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
179797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
179797 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
179813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
179813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119ns
179813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
182542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
182557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
182573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
182574 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
182577 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
182578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'