enumerate all solutions for the seq_filtering model