Standard output
179278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
179278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.3ns
179278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
182029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
182045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
182061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
182061 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
182076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
182076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns
182076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
184750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
184766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
184781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
184781 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
184781 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
184781 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'