#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction > 0.46 &&
           profile.binary_clause_fraction < 0.48 &&
           profile.ternary_clause_fraction > 0.30 &&
           profile.ternary_clause_fraction < 0.32 &&
           profile.all_positive_clause_fraction < 0.001 &&
           profile.all_negative_clause_fraction > 0.71 &&
           profile.positive_block_candidate_len == 2 &&
           profile.exactly_one_intra_pair_coverage > 0.999 &&
           profile.binary_vars_touched_fraction > 0.999 &&
           profile.normalized_clause_span_mean > 0.373 &&
           profile.normalized_clause_span_mean < 0.374 &&
           profile.binary_graph_degree_mean > 6.5 &&
           profile.binary_graph_degree_mean < 6.6;
}
