Last run time:05/27/2017 12:09:43
vdilab14.cs.washington.edu
vdilab13.cs.washington.edu
vdilab12.cs.washington.edu
vdilab15.cs.washington.edu
vdilab18.cs.washington.edu
vdilab17.cs.washington.edu