#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction == 0.0 &&
           profile.all_positive_clause_fraction > 0.58 &&
           profile.positive_block_clause_fraction > 0.58 &&
           profile.normalized_clause_span_mean > 0.36 &&
           profile.occurrence_stddev > 1000.0;
}
