#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 4 &&
           profile.positive_block_candidate_len == 6 &&
           profile.binary_clause_fraction == 0.0 &&
           profile.ternary_clause_fraction >= 0.26 &&
           profile.ternary_clause_fraction <= 0.32 &&
           profile.mixed_clause_fraction >= 0.65 &&
           profile.mixed_clause_fraction <= 0.70 &&
           profile.all_positive_clause_fraction >= 0.034 &&
           profile.all_positive_clause_fraction <= 0.042 &&
           profile.all_negative_clause_fraction >= 0.26 &&
           profile.all_negative_clause_fraction <= 0.315 &&
           profile.positive_only_var_fraction == 0.0 &&
           profile.negative_only_var_fraction == 0.0 &&
           profile.pure_var_fraction == 0.0 &&
           profile.binary_vars_touched_fraction == 0.0 &&
           profile.binary_graph_degree_mean == 0.0 &&
           profile.used_var_fraction >= 0.935 &&
           profile.normalized_clause_span_mean >= 0.48;
}
