#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 3 &&
           profile.binary_clause_fraction >= 0.065 &&
           profile.binary_clause_fraction <= 0.071 &&
           profile.all_positive_clause_fraction >= 0.018 &&
           profile.all_positive_clause_fraction <= 0.021 &&
           profile.all_negative_clause_fraction >= 0.067 &&
           profile.all_negative_clause_fraction <= 0.073 &&
           profile.positive_block_clause_fraction >= 0.012 &&
           profile.positive_block_clause_fraction <= 0.014 &&
           profile.exactly_one_intra_pair_coverage >= 0.331 &&
           profile.exactly_one_intra_pair_coverage <= 0.334 &&
           profile.avg_clause_len >= 3.65 &&
           profile.avg_clause_len <= 3.69 &&
           profile.dominant_clause_len_fraction >= 0.481 &&
           profile.dominant_clause_len_fraction <= 0.483 &&
           profile.normalized_clause_span_mean >= 0.28 &&
           profile.normalized_clause_span_mean <= 0.35;
}
