Standard output
232563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
232563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
232563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
236106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
236138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
236138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
236138 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
236153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
236153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns
236153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
239516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
239532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
239532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
239532 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
239547 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
239547 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'