#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars > 0 && profile.clauses_seen > 0 &&
           profile.dominant_clause_len == 4 &&
           profile.positive_block_candidate_len == 4 &&
           profile.negative_binary_fraction == 0.0 &&
           profile.mixed_binary_fraction == 1.0 &&
           profile.all_positive_clause_fraction <= 0.0002 &&
           profile.all_negative_clause_fraction <= 0.0075 &&
           profile.mixed_clause_fraction >= 0.992 &&
           profile.binary_clause_fraction >= 0.30 &&
           profile.binary_clause_fraction <= 0.33 &&
           profile.ternary_clause_fraction >= 0.158 &&
           profile.ternary_clause_fraction <= 0.179 &&
           profile.polarity_balance_mean >= 0.065 &&
           profile.polarity_balance_mean <= 0.0755 &&
           profile.binary_vars_touched_fraction >= 0.707 &&
           profile.binary_vars_touched_fraction <= 0.741 &&
           profile.binary_graph_degree_mean >= 3.93 &&
           profile.binary_graph_degree_mean <= 4.0 &&
           profile.normalized_clause_span_mean >= 0.442 &&
           profile.normalized_clause_span_mean <= 0.451 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.positive_block_clause_fraction <= 0.00003;
}
