#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.binary_clause_fraction >= 0.06 &&
           profile.binary_clause_fraction <= 0.11 &&
           profile.ternary_clause_fraction >= 0.47 &&
           profile.ternary_clause_fraction <= 0.50 &&
           profile.all_positive_clause_fraction <= 0.0004 &&
           profile.all_negative_clause_fraction >= 0.031 &&
           profile.all_negative_clause_fraction <= 0.05 &&
           profile.mixed_clause_fraction >= 0.95 &&
           profile.binary_vars_touched_fraction >= 0.35 &&
           profile.binary_vars_touched_fraction <= 0.55 &&
           profile.normalized_clause_span_mean >= 0.015 &&
           profile.normalized_clause_span_mean <= 0.065 &&
           profile.occurrence_mean >= 17.0 &&
           profile.occurrence_mean <= 19.5 &&
           profile.avg_clause_len >= 3.25 &&
           profile.avg_clause_len <= 3.40 &&
           profile.horn_clause_fraction >= 0.519 &&
           profile.horn_clause_fraction <= 0.536 &&
           profile.dual_horn_clause_fraction >= 0.547 &&
           profile.dual_horn_clause_fraction <= 0.567 &&
           profile.positive_block_clause_fraction <= 0.0002;
}
