1. 8

Improvement on prior submissions by KLEE team below that found many errors in FOSS software.

https://lobste.rs/s/zsxrnd/practical_low_effort_equivalence

  1.