Standard output
189774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
189774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms
189774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
193003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
193003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
193003 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
193019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
193019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns
193019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
195888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
195888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
195888 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
195903 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
195903 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'