#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.exactly_one_intra_pair_coverage >= 0.99 &&
           profile.all_positive_clause_fraction < 0.012 &&
           profile.binary_clause_fraction >= 0.30 &&
           profile.binary_clause_fraction <= 0.48 &&
           profile.clauses_per_var >= 3.38 &&
           profile.clauses_per_var <= 4.0 &&
           profile.top5_occurrence_mass >= 0.28 &&
           profile.normalized_clause_span_mean < 0.15;
}
