Fast estimation of first-order clause coverage through randomization and maximum likelihood