Two sets of case are obtained from [Yuh DAC08] and [Cho ISPD08].  A
modification is to add a line `WAT X Y', which indicates the waste reservoir's
location.  

The input format is self-decriptive in the case file.
