Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition