#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return (profile.binary_clause_fraction > 0.49 &&
            profile.binary_clause_fraction < 0.51 &&
            profile.ternary_clause_fraction > 0.46 &&
            profile.ternary_clause_fraction < 0.48 &&
            profile.binary_graph_degree_mean > 9.0 &&
            profile.binary_graph_degree_mean < 13.0 &&
            profile.normalized_clause_span_mean > 0.40 &&
            profile.normalized_clause_span_mean < 0.41 &&
            profile.positive_block_clause_fraction > 0.11 &&
            profile.positive_block_clause_fraction < 0.15) ||
           (profile.binary_clause_fraction > 0.71 &&
            profile.binary_clause_fraction < 0.714 &&
            profile.ternary_clause_fraction > 0.24 &&
            profile.ternary_clause_fraction < 0.243 &&
            profile.binary_graph_degree_mean > 16.1 &&
            profile.binary_graph_degree_mean < 16.3 &&
            profile.normalized_clause_span_mean > 0.357 &&
            profile.normalized_clause_span_mean < 0.361 &&
            profile.pure_var_fraction > 0.298 &&
            profile.pure_var_fraction < 0.2995);
}
