Searched refs:num_backtracks (Results 1 – 5 of 5) sorted by relevance
844 const int num_backtracks =848 if (num_backtracks == 0) {852 CHECK_GT(num_backtracks, 0);853 CHECK_LE(num_backtracks, search_nodes_.size());856 for (int i = 0; i < num_backtracks - 1; ++i) {860 search_nodes_.resize(search_nodes_.size() - num_backtracks);
87 _stats.num_backtracks = 0; in CSolver()113 _stats.num_backtracks % _params.clause_deletion_interval == 0) in run_periodic_functions()116 if (_params.allow_restart && _stats.num_backtracks > _params.next_restart_backtrack) { in run_periodic_functions()847 ++_stats.num_backtracks; in back_track()
132 int num_backtracks; member
523 unsigned num_backtracks = 0, width = 0;548 backtrack(*conquer.get(), c, (num_backtracks++) % m_backtrack_frequency == 0);
540 unsigned num_backtracks = 0, width = 0; in cube_and_conquer() local565 backtrack(*conquer.get(), c, (num_backtracks++) % m_backtrack_frequency == 0); in cube_and_conquer()