#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.clauses_seen == 1000000 &&
           profile.dominant_clause_len == 2 &&
           profile.positive_block_candidate_len == 2 &&
           profile.binary_clause_fraction == 0.629391 &&
           profile.ternary_clause_fraction == 0.315035 &&
           profile.all_positive_clause_fraction == 0.429238 &&
           profile.all_negative_clause_fraction == 0.104947 &&
           profile.mixed_clause_fraction == 0.465815 &&
           profile.horn_clause_fraction == 0.522033 &&
           profile.dual_horn_clause_fraction == 0.68864 &&
           profile.exactly_one_intra_pair_coverage == 0.035 &&
           profile.positive_block_clause_fraction == 0.396051 &&
           profile.small_span_clause_fraction == 0.442445 &&
           profile.binary_vars_touched_fraction == 0.955535097504267;
}
