each resulted inequality is printed into a .out file