#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.num_vars >= 176 &&
           profile.num_vars <= 945 &&
           profile.clauses_seen >= 1149 &&
           profile.clauses_seen <= 22923 &&
           profile.binary_clause_fraction > 0.986 &&
           profile.binary_clause_fraction < 0.998 &&
           profile.ternary_clause_fraction == 0.0 &&
           profile.mixed_clause_fraction == 0.0 &&
           profile.all_positive_clause_fraction >= 0.0027 &&
           profile.all_positive_clause_fraction <= 0.0140 &&
           profile.all_negative_clause_fraction >= 0.9860 &&
           profile.all_negative_clause_fraction <= 0.9975 &&
           profile.horn_clause_fraction >= 0.9860 &&
           profile.horn_clause_fraction <= 0.9975 &&
           profile.dual_horn_clause_fraction >= 0.0027 &&
           profile.dual_horn_clause_fraction <= 0.0140 &&
           profile.positive_block_candidate_len >= 11 &&
           profile.positive_block_candidate_len <= 15 &&
           profile.positive_block_clause_fraction >= 0.0027 &&
           profile.positive_block_clause_fraction <= 0.0140 &&
           profile.pure_var_fraction == 0.0 &&
           profile.normalized_clause_span_mean >= 0.307 &&
           profile.normalized_clause_span_mean <= 0.345;
}
