Automated Theorem Proving: Marks

New ID      Essay   E&S   ATP Midterm  Total
Worth         5.0  15.0  15.0  5.0      40.0
Out of        5.0 100.0 100.0 ??.0