Improve output format; remove useless code

This commit is contained in:
2017-04-29 10:01:55 -04:00
parent 85bddc4e87
commit c11e7426ba
5 changed files with 22 additions and 190 deletions

View File

@@ -27,7 +27,7 @@ const long REDUCE_FACTOR_COEFFICIENT = 1000000;
const int MAX_CUT_DEPTH = 200;
const int ETA_UPDATE_INTERVAL = 1;
const int ETA_UPDATE_INTERVAL = 300;
const unsigned int MAX_CUT_BUFFER_SIZE = 100;
const double COEFFICIENT_SAFETY_MARGIN = 0.00001;
@@ -35,7 +35,7 @@ const double COEFFICIENT_SAFETY_MARGIN = 0.00001;
#define INTERSECTION_CUT_USE_DOUBLE
#define ENABLE_TRIVIAL_LIFTING
#define ENABLE_EXTENDED_STATISTICS
//#define PRETEND_TO_ADD_CUTS
// #define ENABLE_EXTENDED_STATISTICS
// #define PRETEND_TO_ADD_CUTS
#endif /* PARAMS_HPP_ */