Standard output
286546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
286546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.1ns
286546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
290681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s
290697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
290697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
290697 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
290713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
290713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns
290713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s
294870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
294885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
294885 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
294885 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
294885 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'