#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.avg_clause_len >= 2.99 && profile.avg_clause_len <= 3.01 &&
           profile.binary_clause_fraction <= 1e-12 &&
           profile.ternary_clause_fraction >= 0.99 &&
           profile.all_positive_clause_fraction <= 0.01 &&
           profile.all_negative_clause_fraction <= 0.02 &&
           profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction <= 0.01 &&
           profile.binary_vars_touched_fraction <= 1e-12 &&
           profile.binary_graph_degree_mean <= 1e-12 &&
           profile.binary_graph_degree_max == 0 &&
           profile.occurrence_mean >= 17.5 && profile.occurrence_mean <= 18.5 &&
           profile.occurrence_stddev >= 80.0;
}
