#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.clauses_seen > 0 &&
           profile.avg_clause_len >= 3.14 &&
           profile.avg_clause_len <= 3.17 &&
           profile.binary_clause_fraction >= 0.195 &&
           profile.binary_clause_fraction <= 0.214 &&
           profile.ternary_clause_fraction >= 0.424 &&
           profile.ternary_clause_fraction <= 0.450 &&
           profile.all_positive_clause_fraction <= 0.0021 &&
           profile.all_negative_clause_fraction >= 0.040 &&
           profile.all_negative_clause_fraction <= 0.0455 &&
           profile.horn_clause_fraction >= 0.540 &&
           profile.horn_clause_fraction <= 0.550 &&
           profile.dual_horn_clause_fraction >= 0.582 &&
           profile.dual_horn_clause_fraction <= 0.586 &&
           profile.normalized_clause_span_mean >= 0.218 &&
           profile.normalized_clause_span_mean <= 0.255 &&
           profile.binary_vars_touched_fraction >= 0.684 &&
           profile.binary_vars_touched_fraction <= 0.697 &&
           profile.binary_graph_degree_mean >= 2.40 &&
           profile.binary_graph_degree_mean <= 2.63;
}
