#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    if (profile.parse_error || profile.truncated || profile.clauses_seen == 0) {
        return false;
    }

    const bool clique_k10_shape =
        profile.positive_block_candidate_len >= 18 &&
        profile.positive_block_candidate_len % 9 == 0 &&
        profile.positive_block_clause_fraction > 0.0001 &&
        profile.exactly_one_intra_pair_coverage > 0.999 &&
        profile.binary_clause_fraction > 0.996 &&
        profile.all_positive_clause_fraction < 0.004 &&
        profile.all_negative_clause_fraction > 0.996 &&
        profile.dominant_clause_len == 2 &&
        profile.dominant_clause_len_fraction > 0.996 &&
        profile.normalized_clause_span_mean > 0.19 &&
        profile.normalized_clause_span_mean < 0.21;

    return clique_k10_shape;
}
