Describir: Experimental results on the new techniques for integer programming formulations