Standard output
228303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
228303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112ns
228304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
231797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
231816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
231818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
231819 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
231827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
231827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns
231828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
235228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
235250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
235251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
235252 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
235254 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
235255 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'