344552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
344552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.3ns
344552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
349686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
349703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
349703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
349703 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
349718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
349718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns
349734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
354800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s
354816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
354816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
354816 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
354831 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
354831 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'