Standard output
214868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
214868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns
214868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
218119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
218135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
218135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
218135 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
218166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
218166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns
218166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
221465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
221481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
221496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
221496 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
221496 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
221496 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'