Gurobi also got caught cheating in some benchmarks and were pulled from them. It's a shame, because they really are the fastest in most tests.