Standard output
215280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
215280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144ns
215280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
218785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
218800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
218816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
218816 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
218831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
218831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.7ns
218831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
222121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
222137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns
222137 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
222137 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
222137 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'