#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 123000 &&
           profile.num_vars <= 9500000 &&
           profile.clauses_seen >= 742000 &&
           profile.clauses_seen <= 1000000 &&
           profile.avg_clause_len >= 3.65 &&
           profile.avg_clause_len <= 5.03 &&
           profile.binary_clause_fraction >= 0.025 &&
           profile.binary_clause_fraction <= 0.071 &&
           profile.ternary_clause_fraction >= 0.207 &&
           profile.ternary_clause_fraction <= 0.341 &&
           profile.all_positive_clause_fraction >= 0.0065 &&
           profile.all_positive_clause_fraction <= 0.021 &&
           profile.all_negative_clause_fraction >= 0.026 &&
           profile.all_negative_clause_fraction <= 0.085 &&
           profile.mixed_clause_fraction >= 0.906 &&
           profile.mixed_clause_fraction <= 0.967 &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction >= 0.004 &&
           profile.positive_block_clause_fraction <= 0.014 &&
           profile.exactly_one_intra_pair_coverage >= 0.321 &&
           profile.exactly_one_intra_pair_coverage <= 0.3335 &&
           profile.normalized_clause_span_mean >= 0.439 &&
           profile.normalized_clause_span_mean <= 0.523 &&
           profile.dominant_clause_len == 4 &&
           profile.dominant_clause_len_fraction >= 0.395 &&
           profile.dominant_clause_len_fraction <= 0.483;
}
