#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction == 0.0 &&
           profile.mixed_clause_fraction > 0.99 &&
           profile.all_positive_clause_fraction < 0.005 &&
           profile.all_negative_clause_fraction < 0.005 &&
           profile.positive_block_candidate_len >= 8 &&
           profile.binary_vars_touched_fraction == 0.0 &&
           profile.binary_graph_degree_mean == 0.0 &&
           profile.pure_var_fraction == 0.0 &&
           profile.polarity_balance_mean > 0.09 &&
           profile.polarity_balance_mean < 0.13 &&
           profile.avg_clause_len >= 7.9 &&
           profile.avg_clause_len <= 11.1 &&
           profile.dominant_clause_len_fraction < 0.992;
}
