Standard output
226690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
226690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 616.8ns
226690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
230255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
230271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
230286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
230286 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
230302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
230302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.4ns
230302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
233741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s
233756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
233756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
233756 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
233756 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
233772 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'