286219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
286219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns
286219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
290597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s
290613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
290629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
290629 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
290644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
290644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.1ns
290644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
295086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
295086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
295086 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
295086 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
295101 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'