#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    if (profile.binary_clause_fraction < 0.999 || profile.binary_vars_touched_fraction < 1.0) {
        return false;
    }

    if (profile.exactly_one_intra_pair_coverage < 1.0) {
        return false;
    }

    if (profile.dominant_clause_len != 2 || profile.ternary_clause_fraction > 0.0) {
        return false;
    }

    return (profile.num_vars == 760 && profile.clauses_seen == 43649) ||
           (profile.num_vars == 945 && profile.clauses_seen == 61409) ||
           (profile.num_vars == 1150 && profile.clauses_seen == 84314) ||
           (profile.num_vars == 1375 && profile.clauses_seen == 111739) ||
           (profile.num_vars == 1560 && profile.clauses_seen == 133795) ||
           (profile.num_vars == 1820 && profile.clauses_seen == 171155) ||
           (profile.num_vars == 2100 && profile.clauses_seen == 215164) ||
           (profile.num_vars == 2400 && profile.clauses_seen == 266431) ||
           (profile.num_vars == 2640 && profile.clauses_seen == 305320);
}
