Controller and vugen crashes

All experiments are carried out using an IBM laptop with a Pentium IV 1.73GHz mobile CPU, 2.0GB RAM, Windows operating system and Eclipse development platform. Performance evaluation results are illustrated in Figures 9 and 10 in terms of verification time and peak memory usage, respectively. ................
................