#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.avg_clause_len >= 6.85 &&
           profile.avg_clause_len <= 7.05 &&
           profile.binary_clause_fraction >= 0.01 &&
           profile.binary_clause_fraction <= 0.02 &&
           profile.ternary_clause_fraction >= 0.06 &&
           profile.ternary_clause_fraction <= 0.08 &&
           (profile.dominant_clause_len == 8 || profile.dominant_clause_len == 9) &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_candidate_count >= 60 &&
           profile.positive_block_candidate_count <= 70 &&
           profile.positive_block_clause_fraction <= 0.004 &&
           profile.normalized_clause_span_mean >= 0.15 &&
           profile.normalized_clause_span_mean <= 0.19 &&
           profile.small_span_clause_fraction >= 0.13 &&
           profile.small_span_clause_fraction <= 0.16 &&
           profile.binary_graph_degree_max <= 8 &&
           profile.exactly_one_intra_pair_coverage == 0;
}
