Home
last modified time | relevance | path

Searched refs:lit_many_limit (Results 1 – 5 of 5) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.c88 handle->lit_many_limit = LIT_MANY_DEFAULT ; in SpecLimitsAlloc()
1125 else if(features->literals < limits->lit_many_limit) in SpecFeaturesAddEval()
1641 limits->lit_many_limit = 4000; in CreateDefaultSpecLimits()
H A Dche_heuristics.c263 limits->lit_many_limit = 620; in HCBCASCAutoModeCreate()
H A Dche_clausesetfeatures.h86 long lit_many_limit; member
H A Dche_to_autoselect.c164 limits->lit_many_limit = 620; in generate_autocasc_ordering()
/dports/math/eprover/eprover-E-2.0/PROVER/
H A Dclassify_problem.c1040 limits->lit_many_limit = CLStateGetIntArg(handle, arg); in process_options()