Task
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

Task 56503 Subgroup Discovery first-order-theorem-proving 1299 runs submitted
0 likes downloaded by 0 people , 0 total downloads 0 issues
Visibility: Public
Issue #Downvotes for this reason By


Metric:

1299 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
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2787, coverage: 1293, positives: 285, probability: 0.2204, quality: 0.2787, joint_entropy: 0.8737, pattern_team_auroc10: 0.6394,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2905, coverage: 1426, positives: 305, probability: 0.2139, quality: 0.2905, joint_entropy: 4.2262, pattern_team_auroc10: 0.6634,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.1626, pattern_team_auroc10: 0.6478,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.881, pattern_team_auroc10: 0.6538,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2855, coverage: 1513, positives: 311, probability: 0.2056, quality: 0.2855, joint_entropy: 3.2356, pattern_team_auroc10: 0.6557,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 3.9542, pattern_team_auroc10: 0.662,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.3027, pattern_team_auroc10: 0.654,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.5111, pattern_team_auroc10: 0.6515,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2657, coverage: 1731, positives: 322, probability: 0.186, quality: 0.2657, joint_entropy: 4.8858, pattern_team_auroc10: 0.6559,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2657, coverage: 1731, positives: 322, probability: 0.186, quality: 0.2657, joint_entropy: 5.4144, pattern_team_auroc10: 0.6455,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 4.3203, pattern_team_auroc10: 0.6629,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 4.5295, pattern_team_auroc10: 0.6624,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2855, coverage: 1513, positives: 311, probability: 0.2056, joint_entropy: 4.4192, pattern_team_auroc10: 0.6613,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.648, pattern_team_auroc10: 0.6603,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, joint_entropy: 4.6595, pattern_team_auroc10: 0.6498,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.67, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2649, coverage: 1954, positives: 344, probability: 0.176, joint_entropy: 5.1375, pattern_team_auroc10: 0.6466,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2657, coverage: 1731, positives: 322, probability: 0.186, joint_entropy: 5.4144, pattern_team_auroc10: 0.6455,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2787, coverage: 1293, positives: 285, probability: 0.2204, quality: 0.2787, joint_entropy: 0.8575, pattern_team_auroc10: 0.6394,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2905, coverage: 1426, positives: 305, probability: 0.2139, joint_entropy: 4.6958, pattern_team_auroc10: 0.6634,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.1678, pattern_team_auroc10: 0.6477,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.8933, pattern_team_auroc10: 0.6538,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2855, coverage: 1513, positives: 311, probability: 0.2056, quality: 0.2855, joint_entropy: 3.1833, pattern_team_auroc10: 0.6529,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.281, coverage: 1399, positives: 297, probability: 0.2123, quality: 0.281, joint_entropy: 4.0396, pattern_team_auroc10: 0.655,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.5202, pattern_team_auroc10: 0.6602,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3072, coverage: 1354, positives: 307, probability: 0.2267, quality: 0.3072, joint_entropy: 3.4626, pattern_team_auroc10: 0.6565,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, quality: 0.3137, joint_entropy: 2.1892, pattern_team_auroc10: 0.6652,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3111, coverage: 1422, positives: 316, probability: 0.2222, joint_entropy: 2.0897, pattern_team_auroc10: 0.667,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3084, coverage: 1556, positives: 328, probability: 0.2108, quality: 0.3084, joint_entropy: 3.2115, pattern_team_auroc10: 0.6568,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3044, coverage: 1350, positives: 305, probability: 0.2259, quality: 0.3044, joint_entropy: 3.3223, pattern_team_auroc10: 0.6573,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3044, coverage: 1350, positives: 305, probability: 0.2259, joint_entropy: 3.574, pattern_team_auroc10: 0.6601,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3072, coverage: 1354, positives: 307, probability: 0.2267, quality: 0.3072, joint_entropy: 3.6819, pattern_team_auroc10: 0.6616,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1270, positives: 302, probability: 0.2378, quality: 0.3135, joint_entropy: 2.7853, pattern_team_auroc10: 0.6623,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, quality: 0.3127, joint_entropy: 2.2894, pattern_team_auroc10: 0.6614,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, quality: 0.3137, joint_entropy: 2.7043, pattern_team_auroc10: 0.6598,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3111, coverage: 1422, positives: 316, probability: 0.2222, quality: 0.3111, joint_entropy: 2.0897, pattern_team_auroc10: 0.667,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.265, coverage: 1249, positives: 273, probability: 0.2186, quality: 0.265, joint_entropy: 4.521, pattern_team_auroc10: 0.6314,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2787, coverage: 1293, positives: 285, probability: 0.2204, quality: 0.2787, joint_entropy: 0.8676, pattern_team_auroc10: 0.6396,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2905, coverage: 1426, positives: 305, probability: 0.2139, quality: 0.2905, joint_entropy: 4.6807, pattern_team_auroc10: 0.6634,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.1626, pattern_team_auroc10: 0.6478,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 2.8615, pattern_team_auroc10: 0.6539,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2855, coverage: 1513, positives: 311, probability: 0.2056, quality: 0.2855, joint_entropy: 3.2356, pattern_team_auroc10: 0.6557,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, joint_entropy: 3.9342, pattern_team_auroc10: 0.662,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, joint_entropy: 4.3027, pattern_team_auroc10: 0.654,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, joint_entropy: 4.5111, pattern_team_auroc10: 0.6515,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2657, coverage: 1731, positives: 322, probability: 0.186, joint_entropy: 4.9608, pattern_team_auroc10: 0.6569,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2657, coverage: 1731, positives: 322, probability: 0.186, quality: 0.2657, joint_entropy: 5.4144, pattern_team_auroc10: 0.6455,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, joint_entropy: 4.3156, pattern_team_auroc10: 0.6629,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2878, coverage: 1441, positives: 305, probability: 0.2117, quality: 0.2878, joint_entropy: 4.5295, pattern_team_auroc10: 0.6624,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2855, coverage: 1513, positives: 311, probability: 0.2056, quality: 0.2855, joint_entropy: 4.2326, pattern_team_auroc10: 0.6607,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.648, pattern_team_auroc10: 0.6603,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, joint_entropy: 4.6595, pattern_team_auroc10: 0.6498,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2801, coverage: 1563, positives: 313, probability: 0.2003, quality: 0.2801, joint_entropy: 4.67, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2902, coverage: 1190, positives: 281, probability: 0.2361, quality: 0.2902, joint_entropy: 1.3474, pattern_team_auroc10: 0.6526,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.28, coverage: 1117, positives: 268, probability: 0.2399, quality: 0.28, joint_entropy: 1.5052, pattern_team_auroc10: 0.6452,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.284, coverage: 1214, positives: 280, probability: 0.2306, joint_entropy: 1.8051, pattern_team_auroc10: 0.6472,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2838, coverage: 1027, positives: 261, probability: 0.2541, joint_entropy: 2.0831, pattern_team_auroc10: 0.6481,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2709, coverage: 840, positives: 235, probability: 0.2798, quality: 0.2709, joint_entropy: 2.214, pattern_team_auroc10: 0.6417,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2742, coverage: 1030, positives: 256, probability: 0.2485, quality: 0.2742, joint_entropy: 3.2459, pattern_team_auroc10: 0.6417,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2909, coverage: 1186, positives: 281, probability: 0.2369, joint_entropy: 1.5811, pattern_team_auroc10: 0.6509,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2904, coverage: 1189, positives: 281, probability: 0.2363, quality: 0.2904, joint_entropy: 1.6188, pattern_team_auroc10: 0.6503,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2902, coverage: 1190, positives: 281, probability: 0.2361, joint_entropy: 1.6027, pattern_team_auroc10: 0.6522,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.28, coverage: 1117, positives: 268, probability: 0.2399, quality: 0.28, joint_entropy: 1.506, pattern_team_auroc10: 0.644,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.284, coverage: 1214, positives: 280, probability: 0.2306, joint_entropy: 1.8731, pattern_team_auroc10: 0.6449,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2838, coverage: 1027, positives: 261, probability: 0.2541, quality: 0.2838, joint_entropy: 2.0879, pattern_team_auroc10: 0.6483,

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

TBA

Given inputs

Expected outputs

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