How do you cook dry pinto beans?

If you are cooking a lot of beans, let's say about 9-10 cups, you want to put them in a large pot, add maybe a tablespoon or two of salt, and let the beans cook for up to 3 hours. If the water runs low, add more water and turn up the heat just a little. Then you want to let the beans finish cooking by securing the lid and turning the heat off, just leave it on the stove.