The report generated by TANK program does not show any formulaes used . It only refers to the Clause number of the formula. Is there any option to show the formula in report.
But PVElite which is your own software shows all the formulas used in the analysis.