277103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
277103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.5ns
277103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
281026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s
281058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
281058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
281058 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
281089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
281089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 560ns
281089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s
285077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
285077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
285077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
285077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
285077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'