最近は特殊設定ミステリとSFミステリ設定を区別しようという流れになってる

特殊設定ミステリは、あくまでジャンルはミステリ
ミステリの道具としてSFなどからガジェットを流用している作品
謎解きに特殊設定が密接に絡んでいるほど評価が高くなる

SFミステリはSFとミステリの融合、またはミステリ要素のあるSF
SFとして物語内の社会や世界観をきちんと描いているのが前提

ファンタジーミステリやホラーミステリについても同様に考えることができる

この定義だと、西澤作品や屍人荘はSFミステリではなく特殊設定ミステリに分類される
SFミステリに分類されるのは、アシモフとか一部の森博嗣とか