1137 Task 1137: first-order-theorem-proving (Supervised Classification) 1 Supervised Classification 69 Class 26 testontrainingdata https://test.openml.org/api_splits/get/1137/Task_1137_splits.arff ARFF