281885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
281885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.8ns
281885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
286246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s
286277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
286277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
286277 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
286308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
286308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.9ns
286324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
290570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s
290585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
290585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
290585 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
290601 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
290601 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'