260561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
260561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns
260561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
264456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s
264472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
264487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
264487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
264487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
264487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.4ns
264503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
268348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
268379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
268379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns
268379 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
268379 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
268395 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'