328025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
328025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.3ns
328026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
333017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
333042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
333046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
333048 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
333070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
333071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248ns
333072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
338044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
338063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
338065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
338066 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
338070 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
338071 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'