SAT Competition 2013 http://www.satcompetition.org/2013/ の登録が始まっていたが、ボット対策で登録フォームに「Give a solution: (A ∨ ¬B ∨ ¬C) ∧ (A ∨ ¬B ∨ ¬C) (Don't use your solver for this!)」みたいなのがあって、ちょっと面白かった。