SAT11 Competition の結果が出ていた。 http://www.cril.univ-artois.fr/SAT11/