Standard output
222350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
222350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.5ns
222350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
225549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
225580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
225580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
225580 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
225596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
225596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.5ns
225596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
228729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
228745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
228745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
228745 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
228760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
228760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'