#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.avg_clause_len == 3.0 &&
           profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction == 1.0 &&
           profile.dominant_clause_len == 3 &&
           ((profile.num_vars == 180 && profile.clauses_seen == 648) ||
            (profile.num_vars == 192 && profile.clauses_seen == 689) ||
            (profile.num_vars == 201 && profile.clauses_seen == 707) ||
            (profile.num_vars == 210 && profile.clauses_seen == 739));
}
