These are adopted from JayHorn's benchmarks, which are in turn adopted from
various sources (license inside each file).
The JayHorn benchmarks can be found here:
    repo: https://github.com/jayhorn/benchmarks.git
    branch: master
    root directory: benchmarks/algorithms
The benchmarks were taken from the repo: 9 October 2019

Meanings of the trailing terms
----------------------------------------
  Fun   -> tests functional properties
  Mem   -> tests memory safety
  Sat   -> program is correct
  Unsat -> program is incorrect

Other Info
----------------------------------------
  BellmanFord-*01 -> uses linearized 1-D matrix
  BellmanFord-*02 -> uses 2-D matrix