290631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
290631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns
290631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
295089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
295105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
295105 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
295121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
295121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns
295121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
299471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
299487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
299487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns
299502 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
299502 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
299502 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'