Ashutosh Bapat: Efficiency of a sparse hash table

When implementing an optimization for derived clause lookup myself, Amit Langote and David Rowley argued about the initial size of hash table (which would hold the clauses). See some discussions...