(at-home) optional midterm marks

[Subbarao Kambhampati <rao@asu.edu>]

Folks:

 Here are the marks on the at-home version of the mid-term. I
juxtaposed them with
the in-class one just so you have an idea.  Note that the marks are
not completely comparable
since the at-home one is graded by Yunsong.

regards
rao