No such list dimacs-analogies