Code backing the results illustrated in http://cs.njit.edu/borcea/papers/sca11.pdf