#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction > 0.998 &&
           profile.all_negative_clause_fraction > 0.997 &&
           profile.all_positive_clause_fraction >= 0.0002 &&
           profile.all_positive_clause_fraction <= 0.003 &&
           profile.mixed_clause_fraction == 0 &&
           profile.exactly_one_intra_pair_coverage == 0 &&
           profile.positive_block_clause_fraction > 0 &&
           profile.pure_var_fraction >= 0.004 &&
           profile.pure_var_fraction <= 0.19 &&
           profile.normalized_clause_span_mean >= 0.315 &&
           profile.normalized_clause_span_mean <= 0.361 &&
           profile.polarity_balance_mean >= 0.918 &&
           profile.binary_graph_degree_mean >= 20.0;
}
