411 Task 411: first-order-theorem-proving (Supervised Classification) 1 Supervised Classification 69 Class 3 crossvalidation https://test.openml.org/api_splits/get/411/Task_411_splits.arff 10 10 true ARFF