Added 3 variable results to cache for higher variable redundancy check (i.e. making use of Prop. 3.11 in cmpart.pdf)