Standard output
265836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
265836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.6ns
265836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
269659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
269675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
269690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
269690 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
269690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
269690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns
269706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
273539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
273555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
273555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
273555 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
273555 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
273555 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'