#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 2800 &&
           profile.num_vars <= 4600 &&
           profile.clauses_seen >= 400000 &&
           profile.clauses_seen <= 835104 &&
           profile.avg_clause_len >= 5.95 &&
           profile.avg_clause_len <= 6.01 &&
           profile.binary_clause_fraction <= 0.005 &&
           profile.ternary_clause_fraction <= 0.005 &&
           profile.all_positive_clause_fraction <= 0.005 &&
           profile.all_negative_clause_fraction <= 0.005 &&
           profile.mixed_clause_fraction >= 0.99 &&
           profile.horn_clause_fraction <= 0.005 &&
           profile.dual_horn_clause_fraction <= 0.005 &&
           profile.positive_block_clause_fraction <= 0.001 &&
           profile.exactly_one_intra_pair_coverage <= 0.001 &&
           profile.binary_graph_degree_mean <= 0.01 &&
           profile.normalized_clause_span_mean >= 0.34 &&
           profile.normalized_clause_span_mean <= 0.35 &&
           profile.small_span_clause_fraction <= 0.001 &&
           profile.dominant_clause_len == 6 &&
           profile.dominant_clause_len_fraction >= 0.90 &&
           !profile.truncated;
}
