Standard output
178488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
178488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145ns
178504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
181161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s
181177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
181177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
181177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
181192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
181192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns
181208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
183882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
183898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
183898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
183898 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
183914 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
183914 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'