#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction >= 0.896 &&
           profile.binary_clause_fraction <= 0.968 &&
           profile.all_positive_clause_fraction >= 0.018 &&
           profile.all_positive_clause_fraction <= 0.095 &&
           profile.all_negative_clause_fraction >= 0.436 &&
           profile.all_negative_clause_fraction <= 0.462 &&
           profile.mixed_clause_fraction >= 0.468 &&
           profile.mixed_clause_fraction <= 0.543 &&
           profile.positive_block_clause_fraction >= 0.011 &&
           profile.positive_block_clause_fraction <= 0.093 &&
           (profile.positive_block_candidate_len == 12 ||
            profile.positive_block_candidate_len == 32) &&
           profile.exactly_one_intra_pair_coverage == 0 &&
           profile.dominant_clause_len == 2 &&
           profile.dominant_clause_len_fraction >= 0.896;
}
