Script for checking Crossbow models by Paradox
Fix search for all models by SAT solver