Dataset for Quantifier Elimination and CAD examples in Maple