#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 2300 && profile.num_vars <= 2900 &&
           profile.clauses_seen >= 49000 && profile.clauses_seen <= 72050 &&
           profile.binary_clause_fraction > 0.998 &&
           profile.avg_clause_len >= 2.036 && profile.avg_clause_len <= 2.0445 &&
           profile.all_positive_clause_fraction >= 0.2266 &&
           profile.all_positive_clause_fraction <= 0.279 &&
           profile.all_negative_clause_fraction >= 0.221 &&
           profile.all_negative_clause_fraction <= 0.279 &&
           profile.mixed_clause_fraction >= 0.492 &&
           profile.mixed_clause_fraction <= 0.508 &&
           profile.normalized_clause_span_mean >= 0.329 &&
           profile.normalized_clause_span_mean <= 0.346 &&
           profile.small_span_clause_fraction >= 0.003 &&
           profile.small_span_clause_fraction <= 0.006 &&
           profile.positive_block_candidate_len == 2 &&
           profile.positive_block_clause_fraction >= 0.2266 &&
           profile.positive_block_clause_fraction <= 0.279 &&
           profile.binary_graph_degree_mean >= 42.4 &&
           profile.binary_graph_degree_mean <= 52.0 &&
           profile.binary_graph_degree_max >= 83 &&
           profile.binary_graph_degree_max <= 100 &&
           profile.exactly_one_intra_pair_coverage == 0.0;
}
