Standard output
214162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
214162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.4ns
214162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
217570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
217601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
217601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
217617 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
217632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
217632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms
217632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
220806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
220822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
220822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.8ns
220822 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
220837 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
220837 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'