RCF benchmarks for nonlinear polynomial real arithmetic - View it on GitHub