#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction < 0.01 &&
           profile.ternary_clause_fraction > 0.5 &&
           profile.all_positive_clause_fraction < 0.006 &&
           profile.polarity_balance_mean > 0.12 &&
           profile.pure_var_fraction < 0.1 &&
           profile.normalized_clause_span_mean < 0.25 &&
           profile.small_span_clause_fraction < 0.06;
}
