+The following mode/engine/solver combinations are currently supported:
+
++-----------+--------------------------+
+| Mode | Engine |
++===========+==========================+
+| ``bmc`` | ``smtbmc [all solvers]`` |
+| | |
+| | ``btor btormc`` |
+| | |
+| | ``btor pono`` |
+| | |
+| | ``abc bmc3`` |
+| | |
+| | ``abc sim3`` |
++-----------+--------------------------+
+| ``prove`` | ``smtbmc [all solvers]`` |
+| | |
+| | ``abc pdr`` |
+| | |
+| | ``aiger avy`` |
+| | |
+| | ``aiger suprove`` |
++-----------+--------------------------+
+| ``cover`` | ``smtbmc [all solvers]`` |
+| | |
+| | ``btor btormc`` |
++-----------+--------------------------+
+| ``live`` | ``aiger suprove`` |
+| | |
+| | ``aiger avy`` |
++-----------+--------------------------+
+