Standard output
218242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
218242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns
218257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
221476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
221507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
221507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
221507 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
221523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
221523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns
221523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
224774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
224789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
224805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
224805 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
224805 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
224805 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'