Standard output
362175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
362175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.2ns
362175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
367736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s
367767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
367767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
367767 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
367783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
367783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198ns
367783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
373092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s
373108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
373108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
373124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
373124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
373124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'