323201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
323201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 544.4ns
323201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
328146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
328178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
328178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
328178 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
328193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
328193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.3ns
328193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s
332983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
332983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
332983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
332983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
332983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'