Presentamos una lista de problemas parametrizados junto con una clasificación de complejidad sobre si permiten una reducción tratable de parámetros fijos a SAT o no. Estos problemas son versiones parametrizadas de problemas cuya complejidad se encuentra en el segundo nivel de la Jerarquía Polinómica o superior.