#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars > 0 &&
           profile.clauses_seen >= 4000 &&
           profile.clauses_seen <= 8000 &&
           profile.avg_clause_len >= 3.52 &&
           profile.avg_clause_len <= 3.60 &&
           profile.binary_clause_fraction >= 0.089 &&
           profile.binary_clause_fraction <= 0.1035 &&
           profile.ternary_clause_fraction >= 0.238 &&
           profile.ternary_clause_fraction <= 0.268 &&
           profile.all_positive_clause_fraction >= 0.0054 &&
           profile.all_positive_clause_fraction <= 0.0090 &&
           profile.all_negative_clause_fraction >= 0.0124 &&
           profile.all_negative_clause_fraction <= 0.0197 &&
           profile.mixed_clause_fraction >= 0.971 &&
           profile.horn_clause_fraction >= 0.560 &&
           profile.horn_clause_fraction <= 0.5795 &&
           profile.dual_horn_clause_fraction >= 0.492 &&
           profile.dual_horn_clause_fraction <= 0.503 &&
           profile.binary_vars_touched_fraction >= 0.511 &&
           profile.binary_vars_touched_fraction <= 0.556 &&
           profile.binary_graph_degree_mean >= 2.021 &&
           profile.binary_graph_degree_mean <= 2.028 &&
           profile.positive_block_clause_fraction >= 0.0020 &&
           profile.positive_block_clause_fraction <= 0.0047 &&
           profile.exactly_one_intra_pair_coverage <= 0.06 &&
           profile.normalized_clause_span_mean >= 0.272 &&
           profile.normalized_clause_span_mean <= 0.293 &&
           profile.small_span_clause_fraction >= 0.200 &&
           profile.small_span_clause_fraction <= 0.234 &&
           profile.polarity_balance_mean >= 0.0530 &&
           profile.polarity_balance_mean <= 0.0572;
}
