294500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
294500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns
294500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
298838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s
298853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
298853 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
298853 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
298869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
298869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.4ns
298869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
303200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
303200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns
303200 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
303215 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
303215 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'