Standard output
232188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
232188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.2ns
232188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
235678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
235709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
235709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
235709 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
235724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
235724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns
235724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
239217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
239232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
239248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
239248 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
239248 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
239248 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'