#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 2 &&
           profile.binary_clause_fraction >= 0.21 &&
           profile.binary_clause_fraction <= 0.28 &&
           profile.ternary_clause_fraction >= 0.73 &&
           profile.ternary_clause_fraction <= 0.79 &&
           profile.all_positive_clause_fraction >= 0.03 &&
           profile.all_positive_clause_fraction <= 0.05 &&
           profile.all_negative_clause_fraction >= 0.003 &&
           profile.all_negative_clause_fraction <= 0.015 &&
           profile.mixed_clause_fraction > 0.94 &&
           profile.horn_clause_fraction > 0.95 &&
           profile.dual_horn_clause_fraction >= 0.229 &&
           profile.dual_horn_clause_fraction <= 0.28 &&
           profile.positive_block_clause_fraction >= 0.02 &&
           profile.positive_block_clause_fraction <= 0.03 &&
           profile.normalized_clause_span_mean >= 0.02 &&
           profile.normalized_clause_span_mean <= 0.11 &&
           profile.small_span_clause_fraction >= 0.13 &&
           profile.small_span_clause_fraction <= 0.22;
}
