#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 3 &&
           profile.binary_clause_fraction >= 0.2468 &&
           profile.binary_clause_fraction <= 0.2487 &&
           profile.ternary_clause_fraction >= 0.7105 &&
           profile.ternary_clause_fraction <= 0.7127 &&
           profile.all_positive_clause_fraction >= 0.1776 &&
           profile.all_positive_clause_fraction <= 0.1782 &&
           profile.all_negative_clause_fraction >= 0.0163 &&
           profile.all_negative_clause_fraction <= 0.0175 &&
           profile.positive_block_clause_fraction >= 0.1776 &&
           profile.positive_block_clause_fraction <= 0.1782 &&
           profile.exactly_one_intra_pair_coverage >= 0.00133 &&
           profile.exactly_one_intra_pair_coverage <= 0.00134 &&
           profile.normalized_clause_span_mean >= 0.018 &&
           profile.normalized_clause_span_mean <= 0.039 &&
           profile.small_span_clause_fraction >= 0.2214 &&
           profile.small_span_clause_fraction <= 0.2219 &&
           profile.binary_graph_degree_mean >= 2.015 &&
           profile.binary_graph_degree_mean <= 2.029 &&
           profile.polarity_balance_mean >= 0.0713 &&
           profile.polarity_balance_mean <= 0.0719;
}
