Standard output
175266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
175266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.7ns
175267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s
177776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
177778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
177779 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
177787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
177787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns
177788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
180576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
180591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
180593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
180594 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
180595 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
180596 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'