The SunLAB computers are running Solaris 10 update 8:

        Xeon: ariel caliban callisto dactyl enceladus eris
              ganymede iapetus io jupiter kiviuq mars mercury
              nereid puck saturn sycorax tethys titania triton
        Opteron: ceres chiron hydra nix pan xena
        SPARC:   europa metis phoebe pluto

    Note: You can SSH directly to these machines.

    You can also SSH to 'sunlab.cse.lehigh.edu' (sunlab.ece
    also works) to get an (effectively) random machine.