348052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
348052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.1ns
348068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
353232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
353264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
353264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
353279 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
353295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
353295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.4ns
353295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
358500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
358515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
358515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
358515 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
358515 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
358531 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'