Boolean width explorer