Standard output
224545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
224546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 750.99ns
224548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
228036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
228055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
228057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
228058 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
228066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
228066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.9ns
228067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
231517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
231543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
231545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
231546 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
231549 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
231550 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'