4 We find that 83.6% of questions in WIK-ITABLEQUESTIONS are covered by at least one consistent program.
we set the maximal number of production rules for generating abstract programs to 6 and 9, which leads to search time of around 7 and 10 hours for WIKISQL and WIKITABLEQUES-TIONS respectively, using a single CPU.