You should use either the linux host kihikihi.cse.ucsc.edu, or some host that "belongs" to you (so that if you crash it, you don't make enemies). If you completely disable kihikihi, I am superuser on it and can reboot it, but my reaction time may be slow, so try not to do it. The executable, and the files for the demo, are under the directory: /projects/bubble/guests/verisoft-linux/. You need to put this in your path.