283838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
283838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns
283838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
288148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
288148 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
288148 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
288163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
288163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.1ns
288163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
292439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s
292455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
292455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns
292455 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
292455 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
292470 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'