Task
Supervised Classification on first-order-theorem-proving

Supervised Classification on first-order-theorem-proving

Task 9985 Supervised Classification first-order-theorem-proving 18740 runs submitted
0 likes downloaded by 0 people , 0 total downloads 0 issues
Visibility: Public
  • OpenML-CC18 OpenML100 study_107 study_123 study_14 study_50 study_7 study_98 study_99
Issue #Downvotes for this reason By


Metric:

18740 Runs

Fetching data
Note: Chart is limited to the 100 best flows, and the 100 best runs for each flow.
Fetching data
Search runs in more detail
ID's
Sort: least recent
18740 results
Jan van Rijn 8 years ago
ran flow weka.LMT(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.793, f_measure: 0.556, kappa: 0.4107, kb_relative_information_score: 2514.6842, mean_absolute_error: 0.1656, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5512, predictive_accuracy: 0.5629, prior_entropy: 2.3005, recall: 0.5629, relative_absolute_error: 0.6604, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3346, root_relative_squared_error: 0.945,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_JRip(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5985, f_measure: 0.4096, kappa: 0.1967, kb_relative_information_score: 620.189, mean_absolute_error: 0.2431, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5011, predictive_accuracy: 0.49, prior_entropy: 2.3005, recall: 0.49, relative_absolute_error: 0.9694, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3516, root_relative_squared_error: 0.993,
Jan van Rijn 8 years ago
ran flow weka.Stacking_RandomTree(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.4987, f_measure: 0.2459, kb_relative_information_score: 0.5631, mean_absolute_error: 0.2508, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.1743, predictive_accuracy: 0.4175, prior_entropy: 2.3005, recall: 0.4175, relative_absolute_error: 1, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3541, root_relative_squared_error: 1,
Jan van Rijn 8 years ago
ran flow weka.A1DE(28) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8071, f_measure: 0.5379, kappa: 0.388, kb_relative_information_score: 2535.7577, mean_absolute_error: 0.1607, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5562, predictive_accuracy: 0.5276, prior_entropy: 2.3005, recall: 0.5276, relative_absolute_error: 0.641, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3675, root_relative_squared_error: 1.0379,
Jan van Rijn 8 years ago
ran flow weka.BayesNet(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7188, f_measure: 0.4364, kappa: 0.2653, kb_relative_information_score: 1825.6062, mean_absolute_error: 0.1946, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4802, predictive_accuracy: 0.4186, prior_entropy: 2.3005, recall: 0.4186, relative_absolute_error: 0.7762, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.4143, root_relative_squared_error: 1.1701,
Jan van Rijn 8 years ago
ran flow weka.RBFNetwork(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6496, f_measure: 0.3257, kappa: 0.0968, kb_relative_information_score: 712.8361, mean_absolute_error: 0.2375, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3596, predictive_accuracy: 0.4309, prior_entropy: 2.3005, recall: 0.4309, relative_absolute_error: 0.9471, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.345, root_relative_squared_error: 0.9743,
Jan van Rijn 8 years ago
ran flow weka.SMO_RBFKernel(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5399, f_measure: 0.2538, kappa: 0.0101, kb_relative_information_score: 497.6244, mean_absolute_error: 0.2542, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.2261, predictive_accuracy: 0.4209, prior_entropy: 2.3005, recall: 0.4209, relative_absolute_error: 1.0137, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3581, root_relative_squared_error: 1.0114,
Jan van Rijn 8 years ago
ran flow weka.IB1(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7367, f_measure: 0.5825, kappa: 0.4448, kb_relative_information_score: 2770.4957, mean_absolute_error: 0.139, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5824, predictive_accuracy: 0.5829, prior_entropy: 2.3005, recall: 0.5829, relative_absolute_error: 0.5545, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3729, root_relative_squared_error: 1.0531,
Jan van Rijn 8 years ago
ran flow weka.LibSVM(7) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6583, f_measure: 0.4947, kappa: 0.3232, kb_relative_information_score: 2217.0779, mean_absolute_error: 0.1558, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.509, predictive_accuracy: 0.5327, prior_entropy: 2.3005, recall: 0.5327, relative_absolute_error: 0.6212, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3947, root_relative_squared_error: 1.1147,
Jan van Rijn 8 years ago
ran flow weka.HyperPipes(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.539, f_measure: 0.1113, kappa: 0.0264, kb_relative_information_score: 178.0907, mean_absolute_error: 0.2776, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4748, predictive_accuracy: 0.2038, prior_entropy: 2.3005, recall: 0.2038, relative_absolute_error: 1.1071, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3725, root_relative_squared_error: 1.052,
Jan van Rijn 8 years ago
ran flow weka.Ridor(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6905, f_measure: 0.5214, kappa: 0.3638, kb_relative_information_score: 2347.2947, mean_absolute_error: 0.1562, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5148, predictive_accuracy: 0.5315, prior_entropy: 2.3005, recall: 0.5315, relative_absolute_error: 0.6227, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3952, root_relative_squared_error: 1.116,
Jan van Rijn 8 years ago
ran flow weka.OLM(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5633, f_measure: 0.2526, kappa: 0.1128, kb_relative_information_score: 857.735, mean_absolute_error: 0.2392, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6919, predictive_accuracy: 0.2824, prior_entropy: 2.3005, recall: 0.2824, relative_absolute_error: 0.9538, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.4891, root_relative_squared_error: 1.3812,
Jan van Rijn 8 years ago
ran flow weka.FURIA(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7202, f_measure: 0.4271, kappa: 0.2281, kb_relative_information_score: 1959.6472, mean_absolute_error: 0.173, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4832, predictive_accuracy: 0.498, prior_entropy: 2.3005, recall: 0.498, relative_absolute_error: 0.6901, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3581, root_relative_squared_error: 1.0115,
Jan van Rijn 8 years ago
ran flow weka.DTNB(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7346, f_measure: 0.4585, kappa: 0.2803, kb_relative_information_score: 1546.4434, mean_absolute_error: 0.2117, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4608, predictive_accuracy: 0.4791, prior_entropy: 2.3005, recall: 0.4791, relative_absolute_error: 0.8443, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3379, root_relative_squared_error: 0.9545,
Jan van Rijn 8 years ago
ran flow weka.DecisionTable(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7683, f_measure: 0.4845, kappa: 0.3144, kb_relative_information_score: 1398.1582, mean_absolute_error: 0.2192, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4867, predictive_accuracy: 0.5036, prior_entropy: 2.3005, recall: 0.5036, relative_absolute_error: 0.8741, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3259, root_relative_squared_error: 0.9204,
Jan van Rijn 8 years ago
ran flow weka.ConjunctiveRule(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5772, f_measure: 0.2699, kappa: 0.0242, kb_relative_information_score: 248.3784, mean_absolute_error: 0.2457, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.2176, predictive_accuracy: 0.4144, prior_entropy: 2.3005, recall: 0.4144, relative_absolute_error: 0.9798, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3506, root_relative_squared_error: 0.9901,
Jan van Rijn 8 years ago
ran flow weka.SimpleCart(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7779, f_measure: 0.5441, kappa: 0.3953, kb_relative_information_score: 2241.752, mean_absolute_error: 0.1779, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5371, predictive_accuracy: 0.5575, prior_entropy: 2.3005, recall: 0.5575, relative_absolute_error: 0.7092, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3286, root_relative_squared_error: 0.9281,
Jan van Rijn 8 years ago
ran flow weka.LADTree(7) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7235, f_measure: 0.4042, kappa: 0.2063, kb_relative_information_score: 1187.6349, mean_absolute_error: 0.2199, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4138, predictive_accuracy: 0.4735, prior_entropy: 2.3005, recall: 0.4735, relative_absolute_error: 0.877, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3331, root_relative_squared_error: 0.9407,
Jan van Rijn 8 years ago
ran flow weka.Bagging_REPTree(17) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8489, f_measure: 0.5757, kappa: 0.4377, kb_relative_information_score: 2388.8867, mean_absolute_error: 0.1783, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5716, predictive_accuracy: 0.5946, prior_entropy: 2.3005, recall: 0.5946, relative_absolute_error: 0.7112, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2986, root_relative_squared_error: 0.8435,
Jan van Rijn 8 years ago
ran flow weka.Bagging_J48(5) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.847, f_measure: 0.5959, kappa: 0.4649, kb_relative_information_score: 2689.826, mean_absolute_error: 0.163, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5898, predictive_accuracy: 0.6076, prior_entropy: 2.3005, recall: 0.6076, relative_absolute_error: 0.6502, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2987, root_relative_squared_error: 0.8435,
Jan van Rijn 8 years ago
ran flow weka.Bagging_JRip(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7638, f_measure: 0.4769, kappa: 0.2908, kb_relative_information_score: 1482.0723, mean_absolute_error: 0.2139, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5397, predictive_accuracy: 0.5348, prior_entropy: 2.3005, recall: 0.5348, relative_absolute_error: 0.853, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.322, root_relative_squared_error: 0.9095,
Jan van Rijn 8 years ago
ran flow weka.Bagging_HyperPipes(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5486, f_measure: 0.1567, kappa: 0.0435, kb_relative_information_score: 178.8436, mean_absolute_error: 0.2776, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4471, predictive_accuracy: 0.2254, prior_entropy: 2.3005, recall: 0.2254, relative_absolute_error: 1.107, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3724, root_relative_squared_error: 1.0518,
Jan van Rijn 8 years ago
ran flow weka.Bagging_DecisionStump(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6379, f_measure: 0.2459, kb_relative_information_score: 406.998, mean_absolute_error: 0.2434, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.1743, predictive_accuracy: 0.4175, prior_entropy: 2.3005, recall: 0.4175, relative_absolute_error: 0.9707, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3472, root_relative_squared_error: 0.9805,
Jan van Rijn 8 years ago
ran flow weka.Bagging_HoeffdingTree(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.4987, f_measure: 0.2459, kb_relative_information_score: 3.2852, mean_absolute_error: 0.2508, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.1743, predictive_accuracy: 0.4175, prior_entropy: 2.3005, recall: 0.4175, relative_absolute_error: 1, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3541, root_relative_squared_error: 1,
Jan van Rijn 8 years ago
ran flow weka.MultiClassClassifierUpdateable_SGD(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6353, f_measure: 0.2458, kappa: -0.0002, kb_relative_information_score: 742.1226, mean_absolute_error: 0.209, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.1742, predictive_accuracy: 0.4173, prior_entropy: 2.3005, recall: 0.4173, relative_absolute_error: 0.8336, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3559, root_relative_squared_error: 1.005,
Jan van Rijn 8 years ago
ran flow weka.MultiScheme_REPTree(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7856, f_measure: 0.5261, kappa: 0.3716, kb_relative_information_score: 2160.2614, mean_absolute_error: 0.1827, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5187, predictive_accuracy: 0.5414, prior_entropy: 2.3005, recall: 0.5414, relative_absolute_error: 0.7287, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3251, root_relative_squared_error: 0.9182,
Jan van Rijn 8 years ago
ran flow weka.Bagging_RandomTree(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8334, f_measure: 0.5887, kappa: 0.4539, kb_relative_information_score: 2709.6678, mean_absolute_error: 0.1618, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.585, predictive_accuracy: 0.5953, prior_entropy: 2.3005, recall: 0.5953, relative_absolute_error: 0.6451, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3035, root_relative_squared_error: 0.857,
Jan van Rijn 8 years ago
ran flow weka.Bagging_NaiveBayes(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6105, f_measure: 0.1398, kappa: 0.0615, kb_relative_information_score: 430.9674, mean_absolute_error: 0.2761, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.363, predictive_accuracy: 0.1731, prior_entropy: 2.3005, recall: 0.1731, relative_absolute_error: 1.101, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.492, root_relative_squared_error: 1.3896,
Jan van Rijn 8 years ago
ran flow weka.SMO_NormalizedPolyKernel(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6028, f_measure: 0.3183, kappa: 0.0894, kb_relative_information_score: 721.63, mean_absolute_error: 0.2503, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3656, predictive_accuracy: 0.45, prior_entropy: 2.3005, recall: 0.45, relative_absolute_error: 0.9983, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3526, root_relative_squared_error: 0.996,
Jan van Rijn 8 years ago
ran flow weka.Stacking_J48(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.788, f_measure: 0.5632, kappa: 0.4203, kb_relative_information_score: 2636.6287, mean_absolute_error: 0.1507, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5591, predictive_accuracy: 0.5687, prior_entropy: 2.3005, recall: 0.5687, relative_absolute_error: 0.6011, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3508, root_relative_squared_error: 0.9908,
Jan van Rijn 8 years ago
ran flow weka.KStar(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8091, f_measure: 0.5972, kappa: 0.4647, kb_relative_information_score: 2915.3297, mean_absolute_error: 0.1417, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5952, predictive_accuracy: 0.5997, prior_entropy: 2.3005, recall: 0.5997, relative_absolute_error: 0.565, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3396, root_relative_squared_error: 0.9591,
Jan van Rijn 8 years ago
ran flow weka.Bagging_RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8691, f_measure: 0.6108, kappa: 0.485, kb_relative_information_score: 2621.4768, mean_absolute_error: 0.1679, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6057, predictive_accuracy: 0.6247, prior_entropy: 2.3005, recall: 0.6247, relative_absolute_error: 0.6697, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.291, root_relative_squared_error: 0.8219,
Jan van Rijn 8 years ago
ran flow weka.AttributeSelectedClassifier_J48(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7497, f_measure: 0.5532, kappa: 0.4062, kb_relative_information_score: 2518.8274, mean_absolute_error: 0.1623, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5479, predictive_accuracy: 0.5608, prior_entropy: 2.3005, recall: 0.5608, relative_absolute_error: 0.6471, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3458, root_relative_squared_error: 0.9765,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8663, f_measure: 0.6133, kappa: 0.4873, kb_relative_information_score: 2709.9483, mean_absolute_error: 0.1622, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6083, predictive_accuracy: 0.6246, prior_entropy: 2.3005, recall: 0.6246, relative_absolute_error: 0.6468, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2917, root_relative_squared_error: 0.8239,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_IBk(5) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7379, f_measure: 0.587, kappa: 0.4507, kb_relative_information_score: 2816.4138, mean_absolute_error: 0.1384, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5872, predictive_accuracy: 0.5871, prior_entropy: 2.3005, recall: 0.5871, relative_absolute_error: 0.552, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3678, root_relative_squared_error: 1.0388,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7624, f_measure: 0.5482, kappa: 0.4003, kb_relative_information_score: 2455.6406, mean_absolute_error: 0.1675, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5424, predictive_accuracy: 0.5564, prior_entropy: 2.3005, recall: 0.5564, relative_absolute_error: 0.668, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3371, root_relative_squared_error: 0.9521,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_LMT(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8459, f_measure: 0.5978, kappa: 0.4657, kb_relative_information_score: 2898.2774, mean_absolute_error: 0.1407, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5956, predictive_accuracy: 0.6002, prior_entropy: 2.3005, recall: 0.6002, relative_absolute_error: 0.5613, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3279, root_relative_squared_error: 0.926,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_NaiveBayes(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6121, f_measure: 0.1374, kappa: 0.0595, kb_relative_information_score: 358.364, mean_absolute_error: 0.2754, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3603, predictive_accuracy: 0.172, prior_entropy: 2.3005, recall: 0.172, relative_absolute_error: 1.0984, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.5082, root_relative_squared_error: 1.4354,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_OneR(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5935, f_measure: 0.3906, kappa: 0.1827, kb_relative_information_score: 1340.9766, mean_absolute_error: 0.2011, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3789, predictive_accuracy: 0.4225, prior_entropy: 2.3005, recall: 0.4225, relative_absolute_error: 0.802, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.4327, root_relative_squared_error: 1.2221,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_RandomTree(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8199, f_measure: 0.5745, kappa: 0.4345, kb_relative_information_score: 2775.0212, mean_absolute_error: 0.1436, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5722, predictive_accuracy: 0.5773, prior_entropy: 2.3005, recall: 0.5773, relative_absolute_error: 0.5728, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3477, root_relative_squared_error: 0.982,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7789, f_measure: 0.5401, kappa: 0.3898, kb_relative_information_score: 2380.6718, mean_absolute_error: 0.1731, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5333, predictive_accuracy: 0.5508, prior_entropy: 2.3005, recall: 0.5508, relative_absolute_error: 0.6903, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3284, root_relative_squared_error: 0.9274,
Jan van Rijn 8 years ago
ran flow weka.Bagging_IBk(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8018, f_measure: 0.5775, kappa: 0.4383, kb_relative_information_score: 2803.7152, mean_absolute_error: 0.1507, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.577, predictive_accuracy: 0.5783, prior_entropy: 2.3005, recall: 0.5783, relative_absolute_error: 0.6009, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3301, root_relative_squared_error: 0.9323,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7825, f_measure: 0.538, kappa: 0.3876, kb_relative_information_score: 2286.4405, mean_absolute_error: 0.1782, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5305, predictive_accuracy: 0.5505, prior_entropy: 2.3005, recall: 0.5505, relative_absolute_error: 0.7108, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3252, root_relative_squared_error: 0.9185,
Jan van Rijn 8 years ago
ran flow weka.AttributeSelectedClassifier_SMO_PolyKernel(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5593, f_measure: 0.2813, kappa: 0.0431, kb_relative_information_score: 539.1292, mean_absolute_error: 0.2534, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3213, predictive_accuracy: 0.4331, prior_entropy: 2.3005, recall: 0.4331, relative_absolute_error: 1.0104, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3568, root_relative_squared_error: 1.0076,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7865, f_measure: 0.5332, kappa: 0.3804, kb_relative_information_score: 2176.0566, mean_absolute_error: 0.1847, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5263, predictive_accuracy: 0.5485, prior_entropy: 2.3005, recall: 0.5485, relative_absolute_error: 0.7367, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3214, root_relative_squared_error: 0.9076,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7846, f_measure: 0.5265, kappa: 0.372, kb_relative_information_score: 2071.9172, mean_absolute_error: 0.1892, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5191, predictive_accuracy: 0.5449, prior_entropy: 2.3005, recall: 0.5449, relative_absolute_error: 0.7547, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3211, root_relative_squared_error: 0.9068,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7844, f_measure: 0.5156, kappa: 0.357, kb_relative_information_score: 1957.1593, mean_absolute_error: 0.1946, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5078, predictive_accuracy: 0.5338, prior_entropy: 2.3005, recall: 0.5338, relative_absolute_error: 0.7759, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3214, root_relative_squared_error: 0.9077,
Jan van Rijn 8 years ago
ran flow weka.Bagging_LWL_DecisionStump(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6873, f_measure: 0.2527, kappa: 0.0088, kb_relative_information_score: 553.4179, mean_absolute_error: 0.2379, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.2234, predictive_accuracy: 0.4204, prior_entropy: 2.3005, recall: 0.4204, relative_absolute_error: 0.9485, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3425, root_relative_squared_error: 0.9672,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7792, f_measure: 0.5067, kappa: 0.3454, kb_relative_information_score: 1858.188, mean_absolute_error: 0.1985, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4995, predictive_accuracy: 0.5291, prior_entropy: 2.3005, recall: 0.5291, relative_absolute_error: 0.7916, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.322, root_relative_squared_error: 0.9094,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7621, f_measure: 0.484, kappa: 0.3169, kb_relative_information_score: 1684.0052, mean_absolute_error: 0.2056, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4762, predictive_accuracy: 0.5155, prior_entropy: 2.3005, recall: 0.5155, relative_absolute_error: 0.8198, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3255, root_relative_squared_error: 0.9194,
Jan van Rijn 8 years ago
ran flow weka.Bagging_OneR(13) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7092, f_measure: 0.4243, kappa: 0.2289, kb_relative_information_score: 1783.472, mean_absolute_error: 0.1904, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4298, predictive_accuracy: 0.4712, prior_entropy: 2.3005, recall: 0.4712, relative_absolute_error: 0.7595, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3497, root_relative_squared_error: 0.9877,
Jan van Rijn 8 years ago
ran flow weka.LibSVM(7) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6583, f_measure: 0.4947, kappa: 0.3232, kb_relative_information_score: 2217.0779, mean_absolute_error: 0.1558, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.509, predictive_accuracy: 0.5327, prior_entropy: 2.3005, recall: 0.5327, relative_absolute_error: 0.6212, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3947, root_relative_squared_error: 1.1147,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7545, f_measure: 0.4784, kappa: 0.308, kb_relative_information_score: 1579.4121, mean_absolute_error: 0.2095, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4731, predictive_accuracy: 0.5114, prior_entropy: 2.3005, recall: 0.5114, relative_absolute_error: 0.8356, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3272, root_relative_squared_error: 0.924,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7408, f_measure: 0.4593, kappa: 0.2795, kb_relative_information_score: 1439.6278, mean_absolute_error: 0.2146, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4584, predictive_accuracy: 0.4931, prior_entropy: 2.3005, recall: 0.4931, relative_absolute_error: 0.8556, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3304, root_relative_squared_error: 0.933,
Jan van Rijn 8 years ago
ran flow weka.LWL_J48(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7302, f_measure: 0.5529, kappa: 0.4059, kb_relative_information_score: 2529.805, mean_absolute_error: 0.1578, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5502, predictive_accuracy: 0.5559, prior_entropy: 2.3005, recall: 0.5559, relative_absolute_error: 0.6294, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3602, root_relative_squared_error: 1.0172,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7282, f_measure: 0.4385, kappa: 0.2507, kb_relative_information_score: 1336.7455, mean_absolute_error: 0.2184, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4358, predictive_accuracy: 0.4784, prior_entropy: 2.3005, recall: 0.4784, relative_absolute_error: 0.8711, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3331, root_relative_squared_error: 0.9406,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7184, f_measure: 0.4284, kappa: 0.236, kb_relative_information_score: 1206.0626, mean_absolute_error: 0.222, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4381, predictive_accuracy: 0.4788, prior_entropy: 2.3005, recall: 0.4788, relative_absolute_error: 0.8854, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3345, root_relative_squared_error: 0.9447,
Jan van Rijn 8 years ago
ran flow weka.J48(33) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.709, f_measure: 0.4171, kappa: 0.2228, kb_relative_information_score: 1108.4933, mean_absolute_error: 0.2249, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.402, predictive_accuracy: 0.4689, prior_entropy: 2.3005, recall: 0.4689, relative_absolute_error: 0.8968, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3362, root_relative_squared_error: 0.9495,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8677, f_measure: 0.6195, kappa: 0.4958, kb_relative_information_score: 2738.3078, mean_absolute_error: 0.1612, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6144, predictive_accuracy: 0.6303, prior_entropy: 2.3005, recall: 0.6303, relative_absolute_error: 0.6428, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.291, root_relative_squared_error: 0.8219,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8674, f_measure: 0.6193, kappa: 0.4952, kb_relative_information_score: 2746.3311, mean_absolute_error: 0.1608, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6146, predictive_accuracy: 0.6296, prior_entropy: 2.3005, recall: 0.6296, relative_absolute_error: 0.6412, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2909, root_relative_squared_error: 0.8217,
Jan van Rijn 8 years ago
ran flow weka.LWL_RandomTree(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7213, f_measure: 0.5552, kappa: 0.4086, kb_relative_information_score: 2591.103, mean_absolute_error: 0.1489, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5553, predictive_accuracy: 0.5551, prior_entropy: 2.3005, recall: 0.5551, relative_absolute_error: 0.5938, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3821, root_relative_squared_error: 1.0792,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8682, f_measure: 0.6166, kappa: 0.492, kb_relative_information_score: 2752.0816, mean_absolute_error: 0.1606, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6115, predictive_accuracy: 0.627, prior_entropy: 2.3005, recall: 0.627, relative_absolute_error: 0.6406, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2905, root_relative_squared_error: 0.8204,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8689, f_measure: 0.6203, kappa: 0.4969, kb_relative_information_score: 2755.251, mean_absolute_error: 0.1601, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6155, predictive_accuracy: 0.6303, prior_entropy: 2.3005, recall: 0.6303, relative_absolute_error: 0.6385, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2905, root_relative_squared_error: 0.8203,
Jan van Rijn 8 years ago
ran flow weka.ClassificationViaRegression_M5P(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.825, f_measure: 0.5548, kappa: 0.4102, kb_relative_information_score: 2312.9871, mean_absolute_error: 0.1831, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.548, predictive_accuracy: 0.5708, prior_entropy: 2.3005, recall: 0.5708, relative_absolute_error: 0.7301, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3079, root_relative_squared_error: 0.8695,
Jan van Rijn 8 years ago
ran flow weka.CVParameterSelection_ZeroR(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.4987, f_measure: 0.2459, kb_relative_information_score: 0.5631, mean_absolute_error: 0.2508, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.1743, predictive_accuracy: 0.4175, prior_entropy: 2.3005, recall: 0.4175, relative_absolute_error: 1, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3541, root_relative_squared_error: 1,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.869, f_measure: 0.622, kappa: 0.4989, kb_relative_information_score: 2771.3091, mean_absolute_error: 0.1598, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6174, predictive_accuracy: 0.6319, prior_entropy: 2.3005, recall: 0.6319, relative_absolute_error: 0.6371, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.29, root_relative_squared_error: 0.8191,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8687, f_measure: 0.6219, kappa: 0.4991, kb_relative_information_score: 2771.0984, mean_absolute_error: 0.1597, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6168, predictive_accuracy: 0.6319, prior_entropy: 2.3005, recall: 0.6319, relative_absolute_error: 0.637, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2903, root_relative_squared_error: 0.8198,
Jan van Rijn 8 years ago
ran flow weka.RandomCommittee_RandomTree(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8291, f_measure: 0.6064, kappa: 0.4771, kb_relative_information_score: 2876.7301, mean_absolute_error: 0.1494, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6041, predictive_accuracy: 0.6103, prior_entropy: 2.3005, recall: 0.6103, relative_absolute_error: 0.5958, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3087, root_relative_squared_error: 0.8717,
Jan van Rijn 8 years ago
ran flow weka.IterativeClassifierOptimi ... er_LogitBoost_DecisionStump(2) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7597, f_measure: 0.4533, kappa: 0.2699, kb_relative_information_score: 1371.2878, mean_absolute_error: 0.2154, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4597, predictive_accuracy: 0.5007, prior_entropy: 2.3005, recall: 0.5007, relative_absolute_error: 0.859, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3264, root_relative_squared_error: 0.9217,
Jan van Rijn 8 years ago
ran flow weka.RandomSubSpace_REPTree(6) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8528, f_measure: 0.5721, kappa: 0.4329, kb_relative_information_score: 2224.9911, mean_absolute_error: 0.1858, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5731, predictive_accuracy: 0.5973, prior_entropy: 2.3005, recall: 0.5973, relative_absolute_error: 0.7409, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2984, root_relative_squared_error: 0.8429,
Jan van Rijn 8 years ago
ran flow weka.LogitBoost_DecisionStump(6) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7597, f_measure: 0.4533, kappa: 0.2699, kb_relative_information_score: 1371.2878, mean_absolute_error: 0.2154, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4597, predictive_accuracy: 0.5007, prior_entropy: 2.3005, recall: 0.5007, relative_absolute_error: 0.859, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3264, root_relative_squared_error: 0.9217,
Jan van Rijn 8 years ago
ran flow weka.SimpleLogistic(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7195, f_measure: 0.4228, kappa: 0.2222, kb_relative_information_score: 1134.4827, mean_absolute_error: 0.2243, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.438, predictive_accuracy: 0.4773, prior_entropy: 2.3005, recall: 0.4773, relative_absolute_error: 0.8944, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3345, root_relative_squared_error: 0.9447,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.6255, kappa: 0.5036, kb_relative_information_score: 2779.3755, mean_absolute_error: 0.1592, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6209, predictive_accuracy: 0.6348, prior_entropy: 2.3005, recall: 0.6348, relative_absolute_error: 0.635, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2897, root_relative_squared_error: 0.818,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.87, f_measure: 0.6265, kappa: 0.5051, kb_relative_information_score: 2783.7429, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6216, predictive_accuracy: 0.6363, prior_entropy: 2.3005, recall: 0.6363, relative_absolute_error: 0.6342, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2898, root_relative_squared_error: 0.8184,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.627, kappa: 0.5055, kb_relative_information_score: 2785.3966, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6223, predictive_accuracy: 0.6362, prior_entropy: 2.3005, recall: 0.6362, relative_absolute_error: 0.634, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2896, root_relative_squared_error: 0.8179,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8575, f_measure: 0.6074, kappa: 0.4794, kb_relative_information_score: 2730.4373, mean_absolute_error: 0.1611, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6026, predictive_accuracy: 0.6174, prior_entropy: 2.3005, recall: 0.6174, relative_absolute_error: 0.6426, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2945, root_relative_squared_error: 0.8316,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.627, kappa: 0.5055, kb_relative_information_score: 2785.3966, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6223, predictive_accuracy: 0.6362, prior_entropy: 2.3005, recall: 0.6362, relative_absolute_error: 0.634, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2896, root_relative_squared_error: 0.8179,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.627, kappa: 0.5055, kb_relative_information_score: 2785.3966, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6223, predictive_accuracy: 0.6362, prior_entropy: 2.3005, recall: 0.6362, relative_absolute_error: 0.634, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2896, root_relative_squared_error: 0.8179,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.627, kappa: 0.5055, kb_relative_information_score: 2785.3966, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6223, predictive_accuracy: 0.6362, prior_entropy: 2.3005, recall: 0.6362, relative_absolute_error: 0.634, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2896, root_relative_squared_error: 0.8179,
Jan van Rijn 8 years ago
ran flow weka.RandomForest(9) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8705, f_measure: 0.627, kappa: 0.5055, kb_relative_information_score: 2785.3966, mean_absolute_error: 0.159, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.6223, predictive_accuracy: 0.6362, prior_entropy: 2.3005, recall: 0.6362, relative_absolute_error: 0.634, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2896, root_relative_squared_error: 0.8179,
Jan van Rijn 8 years ago
ran flow weka.FilteredClassifier_J48(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7572, f_measure: 0.537, kappa: 0.3847, kb_relative_information_score: 2332.7301, mean_absolute_error: 0.1744, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5312, predictive_accuracy: 0.5474, prior_entropy: 2.3005, recall: 0.5474, relative_absolute_error: 0.6954, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3399, root_relative_squared_error: 0.96,
Jan van Rijn 8 years ago
ran flow weka.FilteredClassifier_MultilayerPerceptron(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6566, f_measure: 0.361, kappa: 0.1678, kb_relative_information_score: 1203.2922, mean_absolute_error: 0.2114, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3843, predictive_accuracy: 0.3632, prior_entropy: 2.3005, recall: 0.3632, relative_absolute_error: 0.8429, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.4315, root_relative_squared_error: 1.2187,
Jan van Rijn 8 years ago
ran flow weka.NBTree(6) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7433, f_measure: 0.5329, kappa: 0.3791, kb_relative_information_score: 2280.5163, mean_absolute_error: 0.1721, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5271, predictive_accuracy: 0.5428, prior_entropy: 2.3005, recall: 0.5428, relative_absolute_error: 0.6862, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3487, root_relative_squared_error: 0.9848,
Jan van Rijn 8 years ago
ran flow weka.BFTree(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7352, f_measure: 0.5366, kappa: 0.384, kb_relative_information_score: 2366.7217, mean_absolute_error: 0.1663, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.531, predictive_accuracy: 0.5456, prior_entropy: 2.3005, recall: 0.5456, relative_absolute_error: 0.663, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3495, root_relative_squared_error: 0.9871,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_J48(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8433, f_measure: 0.5967, kappa: 0.4648, kb_relative_information_score: 2922.1583, mean_absolute_error: 0.1377, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5919, predictive_accuracy: 0.6033, prior_entropy: 2.3005, recall: 0.6033, relative_absolute_error: 0.5493, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.329, root_relative_squared_error: 0.9291,
Jan van Rijn 8 years ago
ran flow weka.AdaBoostM1_REPTree(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8427, f_measure: 0.5722, kappa: 0.4332, kb_relative_information_score: 1767.7122, mean_absolute_error: 0.2076, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.568, predictive_accuracy: 0.591, prior_entropy: 2.3005, recall: 0.591, relative_absolute_error: 0.828, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3068, root_relative_squared_error: 0.8664,
Jan van Rijn 8 years ago
ran flow weka.LWL_DecisionStump(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.675, f_measure: 0.2494, kappa: 0.0041, kb_relative_information_score: 508.0605, mean_absolute_error: 0.238, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.2555, predictive_accuracy: 0.4184, prior_entropy: 2.3005, recall: 0.4184, relative_absolute_error: 0.9491, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3448, root_relative_squared_error: 0.9737,
Jan van Rijn 8 years ago
ran flow weka.LibSVM(7) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.6583, f_measure: 0.4947, kappa: 0.3232, kb_relative_information_score: 2217.0779, mean_absolute_error: 0.1558, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.509, predictive_accuracy: 0.5327, prior_entropy: 2.3005, recall: 0.5327, relative_absolute_error: 0.6212, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3947, root_relative_squared_error: 1.1147,
Jan van Rijn 8 years ago
ran flow weka.AttributeSelectedClassifier_MultilayerPerceptron(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7389, f_measure: 0.4333, kappa: 0.2507, kb_relative_information_score: 1471.6136, mean_absolute_error: 0.2077, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4543, predictive_accuracy: 0.4864, prior_entropy: 2.3005, recall: 0.4864, relative_absolute_error: 0.8282, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3314, root_relative_squared_error: 0.9358,
Jan van Rijn 8 years ago
ran flow weka.MultilayerPerceptron(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7562, f_measure: 0.4721, kappa: 0.3013, kb_relative_information_score: 1627.6358, mean_absolute_error: 0.2017, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4885, predictive_accuracy: 0.5002, prior_entropy: 2.3005, recall: 0.5002, relative_absolute_error: 0.8043, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3275, root_relative_squared_error: 0.925,
Jan van Rijn 8 years ago
ran flow weka.MultilayerPerceptron(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7532, f_measure: 0.4806, kappa: 0.3153, kb_relative_information_score: 1635.7428, mean_absolute_error: 0.2023, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4874, predictive_accuracy: 0.5065, prior_entropy: 2.3005, recall: 0.5065, relative_absolute_error: 0.8068, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3281, root_relative_squared_error: 0.9267,
Jan van Rijn 8 years ago
ran flow weka.MultilayerPerceptron(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7675, f_measure: 0.5058, kappa: 0.3454, kb_relative_information_score: 1866.0375, mean_absolute_error: 0.1938, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5147, predictive_accuracy: 0.5265, prior_entropy: 2.3005, recall: 0.5265, relative_absolute_error: 0.773, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3248, root_relative_squared_error: 0.9172,
Jan van Rijn 8 years ago
ran flow weka.MultiBoostAB_REPTree(3) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8307, f_measure: 0.5633, kappa: 0.4228, kb_relative_information_score: 2552.7666, mean_absolute_error: 0.1553, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.561, predictive_accuracy: 0.5888, prior_entropy: 2.3005, recall: 0.5888, relative_absolute_error: 0.6192, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3163, root_relative_squared_error: 0.8934,
Michel Lang 8 years ago
ran flow mlr.classif.svm.preproc.preproc.tuned(75) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7237, f_measure: 0.5736, kappa: 0.4338, kb_relative_information_score: 2739.3917, mean_absolute_error: 0.1379, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5693, predictive_accuracy: 0.5863, prior_entropy: 2.3005, recall: 0.5863, relative_absolute_error: 0.5499, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3713, root_relative_squared_error: 1.0488,
Michel Lang 8 years ago
ran flow mlr.classif.rpart.preproc.preproc.tuned(82) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7037, f_measure: 0.5408, kappa: 0.391, kb_relative_information_score: 2486.6307, mean_absolute_error: 0.148, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5341, predictive_accuracy: 0.5561, prior_entropy: 2.3005, recall: 0.5561, relative_absolute_error: 0.5901, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3847, root_relative_squared_error: 1.0864,
Michel Lang 8 years ago
ran flow mlr.classif.kknn.preproc.preproc.tuned(1) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7308, f_measure: 0.5792, kappa: 0.4422, kb_relative_information_score: 2765.0179, mean_absolute_error: 0.1369, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5732, predictive_accuracy: 0.5892, prior_entropy: 2.3005, recall: 0.5892, relative_absolute_error: 0.546, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.37, root_relative_squared_error: 1.045,
Michel Lang 8 years ago
ran flow mlr.classif.glmnet.preproc.preproc.tuned(73) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5975, f_measure: 0.4123, kappa: 0.206, kb_relative_information_score: 1721.1454, mean_absolute_error: 0.1757, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.4357, predictive_accuracy: 0.4729, prior_entropy: 2.3005, recall: 0.4729, relative_absolute_error: 0.7007, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.4192, root_relative_squared_error: 1.1839,
Michel Lang 8 years ago
ran flow mlr.classif.ranger.preproc.preproc.tuned(65) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.7558, f_measure: 0.6201, kappa: 0.497, kb_relative_information_score: 3075.9155, mean_absolute_error: 0.1226, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.615, predictive_accuracy: 0.6322, prior_entropy: 2.3005, recall: 0.6322, relative_absolute_error: 0.4889, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.3501, root_relative_squared_error: 0.9889,
Michel Lang 8 years ago
ran flow mlr.classif.naiveBayes.preproc.preproc(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.5313, f_measure: 0.1369, kappa: 0.0587, kb_relative_information_score: 275.2138, mean_absolute_error: 0.2764, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.3711, predictive_accuracy: 0.1708, prior_entropy: 2.3005, recall: 0.1708, relative_absolute_error: 1.1022, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.5257, root_relative_squared_error: 1.4848,
Jan van Rijn 8 years ago
ran flow weka.END_ND_J48(4) on task Supervised Classification on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - area_under_roc_curve: 0.8547, f_measure: 0.5981, kappa: 0.468, kb_relative_information_score: 2621.3315, mean_absolute_error: 0.1667, mean_prior_absolute_error: 0.2508, number_of_instances: 6118, precision: 0.5927, predictive_accuracy: 0.611, prior_entropy: 2.3005, recall: 0.611, relative_absolute_error: 0.6649, root_mean_prior_squared_error: 0.3541, root_mean_squared_error: 0.2946, root_relative_squared_error: 0.8321,

Metric:

Timeline

Plotting contribution timeline

Leaderboard

Rank Name Top Score Entries Highest rank

Note: The leaderboard ignores resubmissions of previous solutions, as well as parameter variations that do not improve performance.

Challenge

In supervised classification, you are given an input dataset in which instances are labeled with a certain class. The goal is to build a model that predicts the class for future unlabeled instances. The model is evaluated using a train-test procedure, e.g. cross-validation.

To make results by different users comparable, you are given the exact train-test folds to be used, and you need to return at least the predictions generated by your model for each of the test instances. OpenML will use these predictions to calculate a range of evaluation measures on the server.

You can also upload your own evaluation measures, provided that the code for doing so is available from the implementation used. For extremely large datasets, it may be infeasible to upload all predictions. In those cases, you need to compute and provide the evaluations yourself.

Optionally, you can upload the model trained on all the input data. There is no restriction on the file format, but please use a well-known format or PMML.

Given inputs

estimation_procedure 10-fold Crossvalidation
source_data first-order-theorem-proving (1)
target_feature Class

Expected outputs

evaluations A list of user-defined evaluations of the task as key-value pairs. KeyValue (optional)
model A file containing the model built on all the input data. File (optional)
predictions The desired output format Predictions (optional)

How to submit runs

Using your favorite machine learning environment

Download this task directly in your environment and automatically upload your results

OpenML bootcamp

From your own software

Use one of our APIs to download data from OpenML and upload your results

OpenML APIs