Skip to content

Commit a731046

Browse files
committed
throttle down cuts from proofs
Signed-off-by: Lev Nachmanson <[email protected]>
1 parent be8febe commit a731046

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

src/math/lp/dioph_eq.cpp

-1
Original file line numberDiff line numberDiff line change
@@ -1647,7 +1647,6 @@ namespace lp {
16471647
return lia_move::conflict;
16481648
}
16491649
}
1650-
std::cout << "new tbs:" << m_tightened_columns.size() << "\n";
16511650
return lia_move::undef;
16521651
}
16531652

src/math/lp/lp_settings.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -258,7 +258,7 @@ struct lp_settings {
258258
bool m_dio_enable_gomory_cuts = false;
259259
bool m_dio_enable_hnf_cuts = true;
260260
unsigned m_dio_branching_period = 100; // do branching rarely
261-
unsigned m_dio_report_branch_with_term_tigthening_period = 4; // report the branch with term tigthening every 2 iterations
261+
unsigned m_dio_report_branch_with_term_tigthening_period = 10000000; // period of reporting the branch with term tigthening
262262

263263
public:
264264
bool print_external_var_name() const { return m_print_external_var_name; }

0 commit comments

Comments
 (0)