#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction == 0.0 &&
           profile.dominant_clause_len == 12 &&
           profile.positive_block_candidate_len == 12 &&
           profile.binary_graph_degree_mean == 0.0 &&
           profile.binary_vars_touched_fraction == 0.0 &&
           profile.avg_clause_len >= 11.5 &&
           profile.normalized_clause_span_mean >= 0.80 &&
           profile.small_span_clause_fraction >= 0.03;
}
