Commit 709f1100 authored by yb9976's avatar yb9976
Browse files

Also print number of (possible) RM applications.

parent e307849a
......@@ -270,6 +270,7 @@ static int co_solve_heuristic_pbqp(copy_opt_t *co)
printf("Number of trivial solved nodes: %d\n", pbqp_co.pbqp->num_r0);
printf("Number of R1 reductions : %d\n", pbqp_co.pbqp->num_r1);
printf("Number of R2 reductions : %d\n", pbqp_co.pbqp->num_r2);
printf("Number of RM reductions : %d\n", pbqp_co.pbqp->num_rm);
printf("Number of RN reductions : %d\n", pbqp_co.pbqp->num_rn);
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment