Added some results from running the provers on a sample of each logic.