unknown: good: PASS
unknown: duplicate lhs: PASS
unknown: numerical lhs: PASS
unknown: symbolic rhs: PASS
unknown: uninitialized: PASS
unknown: PASS=5 FAIL=0