Standard output
199742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
199742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.7ns
199743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
202861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
202879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
202881 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
202882 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
202892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
202893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.1ns
202894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
205876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s
205891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
205893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.3ns
205894 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
205897 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
205898 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'