#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 2 &&
           profile.exactly_one_intra_pair_coverage > 0.85 &&
           profile.binary_clause_fraction > 0.70 &&
           profile.binary_graph_degree_mean > 7.0 &&
           profile.positive_block_clause_fraction > 0.05 &&
           profile.positive_block_clause_fraction < 0.085 &&
           profile.all_positive_clause_fraction > 0.07 &&
           profile.all_positive_clause_fraction < 0.18 &&
           profile.all_negative_clause_fraction > 0.055 &&
           profile.all_negative_clause_fraction < 0.09;
}
