Picosat SAT solver: установить предел распространения - но какое значение?

Question

Из API:

/* As alternative to a decision limit you can use the number of propagations
 * as limit.  This is more linearly related to execution time. This has to
 * be called after 'picosat_init' and before 'picosat_sat'.
 */
void picosat_set_propagation_limit (PicoSAT *, unsigned long long limit);

Я посмотрел в документации, но не смог найти никаких деталей. Какую ценность я должен выбрать? Есть ли лучшее предположение, чем случайное тестирование? Позднее, возможно, потребуется несколько дней, так как мое время выполнения составляет до 24 часов за один проход.

Я на самом деле использую "pycosat" привязки python для picosat.

PS: может кто-нибудь добавить тег "picosat"?

Answer 1

Параметр spreadation_limit - это максимальный размер получаемых моделей, для меня он коррелирует с размером диска (1 миллион результатов в 1 МБ текстовом файле).