361398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
361413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns
361413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
366789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s
366804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
366820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
366820 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
366835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
366835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.3ns
366835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
372268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s
372300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
372300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
372300 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
372300 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
372315 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'