Lines Matching full:print_reductions
303 * src/conflicts.c (print_reductions): Increment both fp1 and fp21148 * src/conflicts.c (print_reductions): Change "shift %d" to