#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 2 &&
           profile.binary_clause_fraction > 0.73 &&
           profile.ternary_clause_fraction < 0.20 &&
           profile.all_positive_clause_fraction > 0.048 &&
           profile.all_positive_clause_fraction < 0.09 &&
           profile.all_negative_clause_fraction > 0.35 &&
           profile.all_negative_clause_fraction < 0.40 &&
           profile.horn_clause_fraction > 0.82 &&
           profile.normalized_clause_span_mean < 0.06 &&
           profile.small_span_clause_fraction > 0.1 &&
           profile.positive_block_clause_fraction > 0.02 &&
           profile.positive_block_clause_fraction < 0.05 &&
           profile.exactly_one_intra_pair_coverage < 0.1;
}
