410 Task 410: first-order-theorem-proving (Supervised Classification) 1 Supervised Classification 69 Class 2 crossvalidation https://test.openml.org/api_splits/get/410/Task_410_splits.arff 5 2 true ARFF