State Reachability Benchmarks

Notes to the following benchmarks:

  1. All the following properties are state reachability properties
  2. BMC is able to solve all, but may require significant effort
  3. Simulation-based methods, using ACO, was able to reach many of these in shorter computational costs (but vector lengths may be higher)
  4. Detailed results can be referred to in the following papers: