add benchmarks for high degrees, high number of variables, high number of constraints