#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars == 1419 &&
           profile.clauses_seen >= 7820 &&
           profile.clauses_seen <= 7841 &&
           profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction > 0.997 &&
           profile.all_positive_clause_fraction >= 0.046 &&
           profile.all_positive_clause_fraction <= 0.049 &&
           profile.all_negative_clause_fraction >= 0.951 &&
           profile.all_negative_clause_fraction <= 0.954 &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction >= 0.0462 &&
           profile.positive_block_clause_fraction <= 0.0465 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.normalized_clause_span_mean >= 0.282 &&
           profile.normalized_clause_span_mean <= 0.283;
}
