clauses, the highest exponent and number of variables in the prenex formula were kept constant. The increase in running time was observed to be close to exponential in this case, as depicted in Fig. 1.\
This increase is not surprising as an increase in the number of terms per polynomial results in an exponential increase in the total number of terms that are processed, throughout the course of execution. This is due to an increase in number of terms in each set of projected polynomials.

The highest exponent, $E$, was kept constant in each stage of the experiment and all other exponents were taken as random numbers between $0$ and $E$. All other parameters such as number of clauses, maximum number of terms and the number of variables were kept constant. The experiment was performed for both, a 2 variable case and a 3 variable case. The increase in the running time was observed to closely mimic Fig. 1, as shown in Fig. 2 and Fig. 3.\
This increase is expected as an increase in the exponent results in an increase in the number of regions, when the construction phase of CAD reaches the variable with the exponent $E$. This 