Standard output
329889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
329889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151ns
329889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
334889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
334904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
334904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
334904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
334920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
334920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns
334935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
339776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
339792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
339792 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
339792 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
339792 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
339807 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'