317097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
317097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106ns
317098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s
322037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
322042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns
322045 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
322060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
322060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.1ns
322062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
326872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s
326891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
326894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
326895 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
326898 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
326900 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'