#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 0 &&
           profile.dominant_clause_len == 4 &&
           profile.binary_clause_fraction > 0.22 &&
           profile.binary_clause_fraction < 0.33 &&
           profile.ternary_clause_fraction > 0.10 &&
           profile.ternary_clause_fraction < 0.17;
}
