Standard output
369673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
369673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.2ns
369689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
374894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
374910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
374925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
374925 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
374941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
374941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns
374941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
380131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
380162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
380162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
380162 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
380162 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
380162 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'