#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 3 &&
           profile.clauses_seen >= 800000 &&
           profile.avg_clause_len >= 2.75 &&
           profile.avg_clause_len <= 2.87 &&
           profile.binary_clause_fraction >= 0.25 &&
           profile.binary_clause_fraction <= 0.35 &&
           profile.ternary_clause_fraction >= 0.60 &&
           profile.all_positive_clause_fraction <= 0.01 &&
           profile.all_negative_clause_fraction <= 0.07 &&
           profile.mixed_clause_fraction >= 0.92 &&
           profile.horn_clause_fraction >= 0.63 &&
           profile.horn_clause_fraction <= 0.67 &&
           profile.dual_horn_clause_fraction >= 0.59 &&
           profile.dual_horn_clause_fraction <= 0.63 &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction <= 0.006 &&
           profile.exactly_one_intra_pair_coverage >= 0.05 &&
           profile.exactly_one_intra_pair_coverage <= 0.14 &&
           profile.normalized_clause_span_mean <= 0.04 &&
           profile.binary_vars_touched_fraction >= 0.58 &&
           profile.binary_vars_touched_fraction <= 0.71;
}
