#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 3 &&
           profile.positive_block_candidate_len == 2 &&
           profile.exactly_one_intra_pair_coverage == 0.0 &&
           profile.binary_clause_fraction >= 0.376 &&
           profile.binary_clause_fraction <= 0.380 &&
           profile.all_positive_clause_fraction >= 0.005 &&
           profile.all_positive_clause_fraction <= 0.018 &&
           profile.dual_horn_clause_fraction >= 0.707 &&
           profile.dual_horn_clause_fraction <= 0.731 &&
           profile.mixed_clause_fraction >= 0.866 &&
           profile.mixed_clause_fraction <= 0.879 &&
           profile.small_span_clause_fraction >= 0.020 &&
           profile.small_span_clause_fraction <= 0.035 &&
           profile.normalized_clause_span_mean >= 0.363 &&
           profile.normalized_clause_span_mean <= 0.367;
}
