Standard output
181259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
181259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126ns
181259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
183932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
183948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
183948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
183963 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
183963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
183963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.5ns
183979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
186669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
186669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
186669 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
186669 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
186669 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'