#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction >= 0.997 &&
           profile.all_positive_clause_fraction >= 0.0004 &&
           profile.all_positive_clause_fraction <= 0.001 &&
           profile.all_negative_clause_fraction >= 0.119 &&
           profile.all_negative_clause_fraction <= 0.126 &&
           profile.mixed_clause_fraction >= 0.873 &&
           profile.mixed_clause_fraction <= 0.881 &&
           profile.horn_clause_fraction >= 0.498 &&
           profile.horn_clause_fraction <= 0.505 &&
           profile.dual_horn_clause_fraction >= 0.498 &&
           profile.dual_horn_clause_fraction <= 0.505 &&
           profile.binary_vars_touched_fraction == 0.0 &&
           profile.positive_block_clause_fraction == 0.0 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.normalized_clause_span_mean >= 0.089 &&
           profile.normalized_clause_span_mean <= 0.132 &&
           profile.small_span_clause_fraction >= 0.161 &&
           profile.small_span_clause_fraction <= 0.18 &&
           profile.polarity_balance_mean >= 0.111 &&
           profile.polarity_balance_mean <= 0.113 &&
           profile.occurrence_mean >= 11.87 &&
           profile.occurrence_mean <= 11.94;
}
