#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    // arles_thres encodings are tight binary/ternary CNFs with a narrow
    // dual-Horn band and moderate variable reuse.
    return profile.all_negative_clause_fraction <= 0.03 &&
           profile.dual_horn_clause_fraction >= 0.75 &&
           profile.dual_horn_clause_fraction <= 0.757 &&
           profile.occurrence_mean >= 10.0;
}
