285408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
285408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.8ns
285408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
289727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s
289742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
289742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
289758 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
289758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
289758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns
289758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s
294146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
294146 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns
294146 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
294146 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
294162 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'