Table 1 Quantitative results from the automated verification of the effects of HAART therapy. While the number of viral replications due to CD4 T cell infection is comparable with and without HAART treatment for the time interval considered, a much stronger probability of a failure of the immune system, close to twice as much as, is observed without the HAART treatment.

From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy