274419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
274419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154ns
274419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
278546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
278562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
278562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
278562 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
278577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
278577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 582ns
278593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
282772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
282786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
282805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
282806 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
282806 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
282806 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'