Standard output
240850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
240850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134ns
240866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
244056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
244087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
244087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
244087 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
244103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
244103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns
244103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
247401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
247432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
247432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
247432 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
247432 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
247432 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'