#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 4 &&
           profile.binary_clause_fraction >= 0.19 &&
           profile.binary_clause_fraction <= 0.27 &&
           profile.ternary_clause_fraction >= 0.25 &&
           profile.ternary_clause_fraction <= 0.31 &&
           profile.all_positive_clause_fraction <= 0.001 &&
           ((profile.positive_block_candidate_len == 4 &&
             profile.used_var_fraction > 0.9 &&
             profile.binary_vars_touched_fraction > 0.54) ||
            (profile.positive_block_candidate_len != 4 &&
             profile.used_var_fraction < 0.6 &&
             profile.all_negative_clause_fraction > 0.2));
}
