#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 3600 && profile.num_vars <= 3800 &&
           profile.clauses_seen >= 13400 && profile.clauses_seen <= 14600 &&
           profile.avg_clause_len >= 2.92 && profile.avg_clause_len <= 3.01 &&
           profile.dominant_clause_len == 3 &&
           profile.dominant_clause_len_fraction > 0.92 &&
           profile.ternary_clause_fraction > 0.92 &&
           profile.binary_clause_fraction < 0.08 &&
           profile.mixed_clause_fraction < 0.01 &&
           profile.all_positive_clause_fraction >= 0.49 &&
           profile.all_positive_clause_fraction <= 0.51 &&
           profile.all_negative_clause_fraction >= 0.49 &&
           profile.all_negative_clause_fraction <= 0.51 &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction >= 0.46 &&
           profile.positive_block_clause_fraction <= 0.505 &&
           profile.normalized_clause_span_mean > 0.34 &&
           profile.normalized_clause_span_mean < 0.37 &&
           profile.polarity_balance_mean < 0.05 &&
           profile.occurrence_stddev > 8.0 &&
           profile.binary_graph_degree_mean >= 0.95 &&
           profile.binary_graph_degree_mean <= 1.5 &&
           profile.pure_var_fraction == 0 &&
           profile.exactly_one_intra_pair_coverage == 0;
}
