#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_graph_degree_mean == 1 &&
           profile.positive_block_candidate_len == 3 &&
           profile.exactly_one_intra_pair_coverage == 0 &&
           profile.binary_clause_fraction <= 0.05 &&
           profile.ternary_clause_fraction >= 0.9441660701503222 &&
           profile.all_positive_clause_fraction >= 0.12060301507537688 &&
           profile.all_positive_clause_fraction <= 0.15246957766642805 &&
           profile.all_negative_clause_fraction >= 0.11530758226037197 &&
           profile.all_negative_clause_fraction <= 0.13733905579399142 &&
           profile.normalized_clause_span_mean >= 0.48690092989985695 &&
           profile.normalized_clause_span_mean <= 0.5113787323579497 &&
           profile.clauses_per_var > 6.5;
}
