345015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
345015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183ns
345015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
349978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
350009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
350009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
350009 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
350040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
350040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.4ns
350040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
354997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
355028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
355028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
355028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
355028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
355044 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'