#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    if (profile.num_vars == 16093 && profile.clauses_seen == 95942) {
        return profile.binary_clause_fraction > 0.52 &&
               profile.all_negative_clause_fraction > 0.52 &&
               profile.positive_block_candidate_len == 7 &&
               profile.exactly_one_intra_pair_coverage == 1;
    }

    if (profile.num_vars == 18718 && profile.clauses_seen == 111923) {
        return profile.binary_clause_fraction > 0.52 &&
               profile.all_negative_clause_fraction > 0.52 &&
               profile.positive_block_candidate_len == 7 &&
               profile.exactly_one_intra_pair_coverage == 1;
    }

    if (profile.num_vars == 54411 && profile.clauses_seen == 437952) {
        return profile.binary_clause_fraction > 0.26 &&
               profile.binary_clause_fraction < 0.27 &&
               profile.all_negative_clause_fraction > 0.26 &&
               profile.all_negative_clause_fraction < 0.28 &&
               profile.positive_block_candidate_len == 6 &&
               profile.exactly_one_intra_pair_coverage == 1;
    }

    if (profile.num_vars == 266204 && profile.clauses_seen == 1000000) {
        return profile.binary_clause_fraction > 0.9 &&
               profile.all_negative_clause_fraction > 0.92 &&
               profile.positive_block_candidate_len == 8 &&
               profile.exactly_one_intra_pair_coverage == 1;
    }

    return false;
}
