414 Task 414: first-order-theorem-proving (Supervised Classification) 1 Supervised Classification 69 Class 6 holdout https://test.openml.org/api_splits/get/414/Task_414_splits.arff 1 33 true ARFF