From the initial 4,683,777 nodes (of sections 02-21), the heuristic removed 1,503,100 nodes with a loss of 2.6% of the total arguments.
as we started the experiments in late, we used only the 992,819 nodes from the sections 02-08.