#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 500 &&
           profile.num_vars <= 1000 &&
           profile.clauses_seen >= 15000 &&
           profile.clauses_seen <= 52000 &&
           profile.avg_clause_len >= 2.8 &&
           profile.avg_clause_len <= 8.0 &&
           profile.binary_clause_fraction >= 0.8 &&
           profile.binary_clause_fraction <= 0.99 &&
           profile.ternary_clause_fraction <= 0.001 &&
           profile.mixed_clause_fraction == 0 &&
           profile.all_positive_clause_fraction >= 0.017 &&
           profile.all_positive_clause_fraction <= 0.2 &&
           profile.all_negative_clause_fraction >= 0.8 &&
           profile.positive_block_candidate_len >= 19 &&
           profile.exactly_one_intra_pair_coverage >= 0.09 &&
           profile.exactly_one_intra_pair_coverage <= 0.11 &&
           profile.normalized_clause_span_mean >= 0.34 &&
           profile.normalized_clause_span_mean <= 0.46 &&
           profile.pure_var_fraction == 0 &&
           profile.positive_only_var_fraction == 0 &&
           profile.negative_only_var_fraction == 0 &&
           profile.binary_vars_touched_fraction >= 0.99;
}
