331011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
331011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224ns
331011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
336057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s
336072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
336072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns
336072 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
336088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
336088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.6ns
336088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
341094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
341109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
341109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns
341126 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
341126 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
341126 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'