#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction >= 0.32 &&
           profile.binary_clause_fraction <= 0.40 &&
           profile.ternary_clause_fraction >= 0.60 &&
           profile.ternary_clause_fraction <= 0.68 &&
           profile.all_positive_clause_fraction <= 0.0001 &&
           profile.all_negative_clause_fraction <= 0.0001 &&
           profile.positive_block_clause_fraction == 0.0 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.normalized_clause_span_mean >= 0.06 &&
           profile.normalized_clause_span_mean <= 0.12 &&
           profile.binary_graph_degree_mean >= 3.9 &&
           profile.binary_graph_degree_mean <= 4.2;
}
