8 builds measured across 21 families, and 3 derivatives of other people's models. Ranked by what machines proved, never by downloads.