Standard output
237336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
237336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns
237336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
241135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
241167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
241167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
241167 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
241182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
241182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns
241182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
244684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
244700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
244700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.6ns
244700 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
244716 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
244716 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'