Fixed bug in enumerating solutions in table mode