Function strip_extension

examples/benchmark.cpp:99–102

}

static std::string strip_extension(const std::string & filename) {
    auto pos = filename.rfind('.');
    return (pos != std::string::npos) ? filename.substr(0, pos) : filename;
}

// Sort key: family → size → precision
static int model_sort_key(const std::string & name) {