Generates sequences for satsolvers