#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.all_positive_clause_fraction < 0.001 &&
           profile.avg_clause_len >= 2.55 &&
           profile.avg_clause_len <= 2.82 &&
           profile.binary_clause_fraction >= 0.24 &&
           profile.binary_clause_fraction <= 0.45 &&
           profile.horn_clause_fraction >= 0.50 &&
           profile.horn_clause_fraction <= 0.63 &&
           profile.dual_horn_clause_fraction >= 0.37 &&
           profile.dual_horn_clause_fraction <= 0.53 &&
           (profile.positive_block_candidate_len == 0 ||
            profile.positive_block_candidate_len >= 40);
}
