#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 6 &&
           profile.dominant_clause_len_fraction >= 0.86 &&
           profile.avg_clause_len >= 5.65 &&
           profile.avg_clause_len <= 5.95 &&
           profile.binary_clause_fraction >= 0.005 &&
           profile.binary_clause_fraction <= 0.03 &&
           profile.horn_clause_fraction >= 0.25 &&
           profile.horn_clause_fraction <= 0.34 &&
           profile.dual_horn_clause_fraction <= 0.01 &&
           profile.positive_block_clause_fraction <= 0.0003 &&
           profile.normalized_clause_span_mean >= 0.53;
}
