1 build measured across 15 families, and 8 derivatives of other people's models. Ranked by what machines proved, never by downloads.