9985 Task 9985: first-order-theorem-proving (Supervised Classification) 1 Supervised Classification 1475 Class 1 crossvalidation https://api.openml.org/api_splits/get/9985/Task_9985_splits.arff 1 10 true ARFF OpenML-CC18 OpenML100 study_107 study_123 study_14 study_50 study_7 study_98 study_99