https://123dok.net/document/y8g7ojrw-testing-provers-on-a-grid-framework-description.html