A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. - Changbo Chen; Rui-Juan Jing; Chengrong Qian; Yaru Yuan; Yuegang Zhao (CASC, 2024)