Output number of input variables for empty cover