372773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
372773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.5ns
372773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
378421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s
378436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
378452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
378452 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
378452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
378452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.4ns
378468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
383846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s
383877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
383877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
383877 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
383877 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
383877 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'