337767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
337767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.7ns
337768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
343030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
343052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
343054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
343055 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
343065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
343065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns
343066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
348158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
348179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
348181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
348182 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
348185 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
348187 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'