#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.exactly_one_intra_pair_coverage == 1.0 &&
           profile.positive_block_candidate_len >= 22 &&
           profile.positive_block_candidate_len <= 23 &&
           profile.clauses_seen >= 150000 &&
           profile.binary_clause_fraction >= 0.997 &&
           profile.binary_clause_fraction <= 0.9995 &&
           profile.all_positive_clause_fraction <= 0.003 &&
           profile.normalized_clause_span_mean < 0.17;
}
