326124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
326124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns
326139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
331075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
331090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
331106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
331106 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
331122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
331122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.2ns
331122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
336092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
336108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
336108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns
336108 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
336108 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
336124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'