Standard output
189129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
189129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.7ns
189129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
191884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
191884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns
191884 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
191899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
191899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns
191899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
194706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s
194722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
194738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns
194738 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
194738 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
194738 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'