#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 3 &&
           profile.all_positive_clause_fraction == 0.0 &&
           profile.all_negative_clause_fraction < 0.04 &&
           profile.positive_block_clause_fraction == 0.0 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.binary_vars_touched_fraction == 1.0 &&
           profile.binary_graph_degree_mean == 2.0 &&
           profile.binary_clause_fraction >= 0.009 &&
           profile.binary_clause_fraction <= 0.055 &&
           profile.ternary_clause_fraction >= 0.47 &&
           profile.ternary_clause_fraction <= 0.5 &&
           profile.mixed_clause_fraction >= 0.96 &&
           profile.positive_literal_fraction >= 0.49 &&
           profile.positive_literal_fraction <= 0.4985 &&
           profile.normalized_clause_span_mean <= 0.09;
}
