Standard output
195025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
195025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns
195025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
197697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
197713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
197713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
197729 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
197744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
197744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.8ns
197744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s
200652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
200668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
200668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
200668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
200668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'