Standard output
235512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
235512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.9ns
235512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
239140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s
239156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
239156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
239156 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
239171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
239171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.4ns
239171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
242648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
242663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
242663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
242663 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
242679 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
242679 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'