4 builds measured across 12 families, and 19 derivatives of other people's models. Ranked by what machines proved, never by downloads.