#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 398030 &&
           profile.exactly_one_intra_pair_coverage == 1 &&
           profile.positive_block_candidate_len == 10 &&
           profile.all_positive_clause_fraction < 0.00025 &&
           profile.all_negative_clause_fraction < 0.02 &&
           profile.binary_clause_fraction >= 0.33 &&
           profile.binary_graph_degree_mean < 4;
}
