#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 2 &&
           profile.exactly_one_intra_pair_coverage >= 0.99 &&
           profile.positive_block_clause_fraction < 0.02 &&
           profile.all_positive_clause_fraction < 0.02 &&
           profile.all_negative_clause_fraction >= 0.089 &&
           profile.all_negative_clause_fraction <= 0.101 &&
           profile.binary_clause_fraction >= 0.18 &&
           profile.binary_clause_fraction <= 0.186 &&
           profile.ternary_clause_fraction >= 0.58 &&
           profile.ternary_clause_fraction <= 0.64 &&
           profile.avg_clause_len >= 2.99 &&
           profile.normalized_clause_span_mean >= 0.10 &&
           profile.normalized_clause_span_mean <= 0.125 &&
           profile.small_span_clause_fraction >= 0.048 &&
           profile.small_span_clause_fraction <= 0.056;
}
