#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars <= 2520 &&
           profile.clauses_seen <= 345528 &&
           profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction == 0.0 &&
           profile.avg_clause_len >= 5.983 &&
           profile.avg_clause_len <= 5.986 &&
           profile.positive_block_candidate_len == 6 &&
           profile.normalized_clause_span_mean >= 0.345 &&
           profile.normalized_clause_span_mean <= 0.348 &&
           profile.all_positive_clause_fraction <= 0.00014 &&
           profile.all_negative_clause_fraction <= 0.00014 &&
           profile.mixed_clause_fraction >= 0.9997;
}
