Due to reversing term order, benchmark problems now faster with this inequality.
Due to reversing term order, benchmark problems now faster with this inequality.

dsroche/flint2,wbhart/flint2,wbhart/flint2,dsroche/flint2,dsroche/flint2,dsroche/flint2,wbhart/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2