#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 3 &&
           profile.dominant_clause_len == 3 &&
           profile.binary_clause_fraction <= 0.02 &&
           profile.ternary_clause_fraction >= 0.85 &&
           profile.ternary_clause_fraction <= 0.96 &&
           profile.all_positive_clause_fraction >= 0.85 &&
           profile.all_positive_clause_fraction <= 0.96 &&
           profile.all_negative_clause_fraction <= 0.15 &&
           profile.mixed_clause_fraction == 0 &&
           profile.exactly_one_intra_pair_coverage == 0;
}
