#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction == 0.0 &&
           profile.avg_clause_len >= 9.0 &&
           profile.positive_block_candidate_len >= 10 &&
           profile.all_positive_clause_fraction > 0.01 &&
           profile.all_negative_clause_fraction < 0.005;
}
