https://raw.githubusercontent.com/LS-Lab/KeYmaeraX-projects/master/benchmarks/nonlinear.kyx.
Most of the current benchmark problems are non-linear and just under half are 2-dimensional.