I never used cplint, but I use other software (including I built myself) to process KBs with many billions of facts.