BMC inefficiency