348729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
348729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.1ns
348745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
354072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
354088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
354104 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
354104 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
354119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
354119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns
354119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
359402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s
359433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
359433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.3ns
359433 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
359433 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
359433 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'