গ্রাবারের ভিত্তিতে গণনা, যখন এক্সপ্যাসে সাধারণভাবে সম্পূর্ণ হয়, তখন বুলিয়ান রিংয়ের উপরে PSPACE থাকে। বিডিডি প্রতিস্থাপনের জন্য এটিতে মডেল-চেকিংয়ের অ্যাপ্লিকেশন রয়েছে: কোক-নাম ট্রান, "বুলিয়ান রিংগুলিতে গ্রোবারার বেসগুলি গণনার জন্য একটি পিএসপিএসিইই অ্যালগরিদম", প্রোক। WASET, ভলিউম 35, নভেম্বর 2008, আইএসএসএন 2070-3740
[দ্রষ্টব্য] বুলিয়ান রিংয়ের উপরে গ্রোবারার ভিত্তিক গণনা পিএসপিসি-তে রয়েছে বলে উল্লেখ করা ফলাফলটি ভুল মনে হচ্ছে, মার্ক ভ্যান হোয়েজ দেখুন, বুলিয়ান রিংগুলিতে গ্রাবারার ভিত্তি পি-স্পেস নয় , আর্শিভ : 1502.07220 , 2015।
[দ্রষ্টব্য] বুলিয়ান রিংয়ের বিষয়ে গ্রোবারার ভিত্তি গণনা পিএসপিএসিইতে রয়েছে বলে উল্লেখ করা ফলাফলটি ভুল বলে মনে হচ্ছে। বহুতল আকারের সাথে লেখক পিএসপিএসিইপি-কম্পিউটিংটি বিভ্রান্ত করে। একটি PSPACE ক্রিয়াকলাপটি ভালভাবে দীর্ঘতর আউটপুট থাকতে পারে।