Last run time:11/22/2017 17:45:00
vdilab14.cs.washington.edu
vdilab13.cs.washington.edu
vdilab12.cs.washington.edu
vdilab15.cs.washington.edu
vdilab17.cs.washington.edu
vdilab16.cs.washington.edu