Standard output
219951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
219951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.2ns
219952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
223236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
223255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
223256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
223257 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
223265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
223265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.5ns
223266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
226633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s
226653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
226656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
226657 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
226659 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
226660 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'