added list of infeasible test formulas on the HTML report