#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 3 &&
           profile.positive_block_clause_fraction > 0.05 &&
           profile.positive_block_clause_fraction < 0.065 &&
           profile.horn_clause_fraction > 0.57 &&
           profile.horn_clause_fraction < 0.60 &&
           profile.negative_binary_fraction < 0.02 &&
           profile.binary_clause_fraction > 0.16;
}
