Standard output
359527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
359527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 607.1ns
359527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
364712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
364790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
364790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.1ns
364790 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
364806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
364806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns
364821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
369926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s
369942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
369942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
369942 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
369957 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
369957 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'