#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars == 1200 &&
           profile.clauses_seen == 21040 &&
           profile.exactly_one_intra_pair_coverage >= 0.999999 &&
           profile.positive_block_candidate_len == 3 &&
           profile.dominant_clause_len == 4 &&
           profile.dominant_clause_len_fraction >= 0.9239 &&
           profile.binary_clause_fraction >= 0.05 &&
           profile.binary_clause_fraction <= 0.06 &&
           profile.ternary_clause_fraction <= 0.03 &&
           profile.all_negative_clause_fraction >= 0.98;
}
