Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
The `--timeout` option doesn't seem to work when analyzing a .sol file from commandline. Example `manticore --timeout 60 t.sol`