#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 4 &&
           profile.dominant_clause_len_fraction >= 0.74 &&
           profile.binary_clause_fraction >= 0.002 &&
           profile.binary_clause_fraction <= 0.07 &&
           profile.ternary_clause_fraction >= 0.04 &&
           profile.ternary_clause_fraction <= 0.25 &&
           profile.horn_clause_fraction >= 0.30 &&
           profile.horn_clause_fraction <= 0.38 &&
           profile.mixed_clause_fraction >= 0.83 &&
           profile.mixed_clause_fraction <= 0.89 &&
           profile.all_positive_clause_fraction >= 0.04 &&
           profile.all_positive_clause_fraction <= 0.10 &&
           profile.all_negative_clause_fraction >= 0.04 &&
           profile.all_negative_clause_fraction <= 0.09 &&
           profile.positive_block_clause_fraction >= 0.035 &&
           profile.positive_block_clause_fraction <= 0.07 &&
           profile.normalized_clause_span_mean >= 0.56 &&
           profile.normalized_clause_span_mean <= 0.62;
}
