Task
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

1304 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.2795, coverage: 2027, positives: 611, probability: 0.3014, quality: 0.2795, joint_entropy: 4.1213, pattern_team_auroc10: 0.6541,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2795, coverage: 2027, positives: 611, probability: 0.3014, joint_entropy: 4.1732, pattern_team_auroc10: 0.6559,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2762, coverage: 2319, positives: 660, probability: 0.2846, joint_entropy: 4.8351, pattern_team_auroc10: 0.6476,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2575, coverage: 1997, positives: 586, probability: 0.2934, quality: 0.2575, joint_entropy: 5.4589, pattern_team_auroc10: 0.6436,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.248, coverage: 2382, positives: 646, probability: 0.2712, quality: 0.248, joint_entropy: 5.0613, pattern_team_auroc10: 0.6476,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 4.7502, pattern_team_auroc10: 0.6164,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2155, coverage: 1315, positives: 427, probability: 0.3247, quality: 0.2155, joint_entropy: 0.9175, pattern_team_auroc10: 0.608,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2554, coverage: 2530, positives: 679, probability: 0.2684, quality: 0.2554, joint_entropy: 4.5267, pattern_team_auroc10: 0.6494,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2148, coverage: 1313, positives: 426, probability: 0.3244, joint_entropy: 1.2929, pattern_team_auroc10: 0.6104,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2301, coverage: 1590, positives: 489, probability: 0.3075, quality: 0.2301, joint_entropy: 1.4862, pattern_team_auroc10: 0.6175,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.4499, pattern_team_auroc10: 0.6163,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2254, coverage: 1400, positives: 451, probability: 0.3221, quality: 0.2254, joint_entropy: 1.8843, pattern_team_auroc10: 0.6211,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2208, coverage: 1676, positives: 496, probability: 0.2959, quality: 0.2208, joint_entropy: 2.0189, pattern_team_auroc10: 0.6184,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2425, coverage: 1758, positives: 530, probability: 0.3015, quality: 0.2425, joint_entropy: 3.5061, pattern_team_auroc10: 0.6339,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2375, coverage: 1356, positives: 454, probability: 0.3348, quality: 0.2375, joint_entropy: 4.1454, pattern_team_auroc10: 0.6353,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 3.7726, pattern_team_auroc10: 0.6211,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2713, coverage: 2265, positives: 646, probability: 0.2852, quality: 0.2713, joint_entropy: 3.8105, pattern_team_auroc10: 0.6456,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2721, coverage: 2255, positives: 645, probability: 0.286, joint_entropy: 3.9332, pattern_team_auroc10: 0.6437,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2721, coverage: 2255, positives: 645, probability: 0.286, joint_entropy: 3.9215, pattern_team_auroc10: 0.6424,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2711, coverage: 2367, positives: 664, probability: 0.2805, joint_entropy: 3.6265, pattern_team_auroc10: 0.6436,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2652, coverage: 2228, positives: 634, probability: 0.2846, joint_entropy: 4.9045, pattern_team_auroc10: 0.6493,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2575, coverage: 1997, positives: 586, probability: 0.2934, quality: 0.2575, joint_entropy: 4.6099, pattern_team_auroc10: 0.636,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2375, coverage: 1356, positives: 454, probability: 0.3348, joint_entropy: 4.1505, pattern_team_auroc10: 0.6353,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 3.7726, pattern_team_auroc10: 0.6211,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2155, coverage: 1315, positives: 427, probability: 0.3247, joint_entropy: 0.9163, pattern_team_auroc10: 0.6081,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 7.327, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2148, coverage: 1313, positives: 426, probability: 0.3244, joint_entropy: 1.2929, pattern_team_auroc10: 0.6104,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2301, coverage: 1590, positives: 489, probability: 0.3075, joint_entropy: 1.5013, pattern_team_auroc10: 0.617,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.5936, pattern_team_auroc10: 0.6215,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2254, coverage: 1400, positives: 451, probability: 0.3221, quality: 0.2254, joint_entropy: 2.1152, pattern_team_auroc10: 0.6211,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2208, coverage: 1676, positives: 496, probability: 0.2959, quality: 0.2208, joint_entropy: 2.0443, pattern_team_auroc10: 0.6188,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2425, coverage: 1758, positives: 530, probability: 0.3015, joint_entropy: 3.5053, pattern_team_auroc10: 0.6339,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2375, coverage: 1356, positives: 454, probability: 0.3348, joint_entropy: 4.731, pattern_team_auroc10: 0.6371,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.217, coverage: 920, positives: 358, probability: 0.3891, joint_entropy: 4.902, pattern_team_auroc10: 0.6131,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2717, coverage: 1999, positives: 599, probability: 0.2996, quality: 0.2717, joint_entropy: 3.8885, pattern_team_auroc10: 0.6416,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2721, coverage: 2255, positives: 645, probability: 0.286, quality: 0.2721, joint_entropy: 3.9057, pattern_team_auroc10: 0.6417,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2721, coverage: 2255, positives: 645, probability: 0.286, joint_entropy: 3.8596, pattern_team_auroc10: 0.6415,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2711, coverage: 2367, positives: 664, probability: 0.2805, quality: 0.2711, joint_entropy: 3.6067, pattern_team_auroc10: 0.6427,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2652, coverage: 2228, positives: 634, probability: 0.2846, joint_entropy: 4.9049, pattern_team_auroc10: 0.6469,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2575, coverage: 1997, positives: 586, probability: 0.2934, joint_entropy: 4.7757, pattern_team_auroc10: 0.6353,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2417, coverage: 1324, positives: 452, probability: 0.3414, joint_entropy: 4.8065, pattern_team_auroc10: 0.6475,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.217, coverage: 920, positives: 358, probability: 0.3891, joint_entropy: 4.902, pattern_team_auroc10: 0.6131,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2148, coverage: 1296, positives: 423, probability: 0.3264, quality: 0.2148, joint_entropy: 0.9324, pattern_team_auroc10: 0.6074,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.6263, pattern_team_auroc10: 0.6214,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2137, coverage: 1296, positives: 422, probability: 0.3256, joint_entropy: 1.1614, pattern_team_auroc10: 0.6089,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2115, coverage: 1313, positives: 423, probability: 0.3222, joint_entropy: 1.1378, pattern_team_auroc10: 0.6079,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2121, coverage: 1265, positives: 415, probability: 0.3281, quality: 0.2121, joint_entropy: 1.4574, pattern_team_auroc10: 0.6078,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2254, coverage: 1400, positives: 451, probability: 0.3221, joint_entropy: 1.8489, pattern_team_auroc10: 0.6201,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.219, coverage: 1365, positives: 439, probability: 0.3216, joint_entropy: 2.0874, pattern_team_auroc10: 0.6174,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.218, coverage: 1454, positives: 454, probability: 0.3122, joint_entropy: 2.5895, pattern_team_auroc10: 0.6177,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1892, coverage: 1391, positives: 417, probability: 0.2998, quality: 0.1892, joint_entropy: 2.2604, pattern_team_auroc10: 0.5989,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2048, coverage: 1004, positives: 362, probability: 0.3606, joint_entropy: 4.3267, pattern_team_auroc10: 0.6086,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2301, coverage: 1590, positives: 489, probability: 0.3075, joint_entropy: 1.6419, pattern_team_auroc10: 0.6212,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2301, coverage: 1590, positives: 489, probability: 0.3075, joint_entropy: 1.651, pattern_team_auroc10: 0.6211,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2306, coverage: 1599, positives: 491, probability: 0.3071, quality: 0.2306, joint_entropy: 1.7886, pattern_team_auroc10: 0.6202,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2254, coverage: 1400, positives: 451, probability: 0.3221, joint_entropy: 1.8443, pattern_team_auroc10: 0.619,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.219, coverage: 1365, positives: 439, probability: 0.3216, quality: 0.219, joint_entropy: 1.9367, pattern_team_auroc10: 0.6163,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.218, coverage: 1454, positives: 454, probability: 0.3122, quality: 0.218, joint_entropy: 2.5097, pattern_team_auroc10: 0.6188,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1892, coverage: 1391, positives: 417, probability: 0.2998, joint_entropy: 2.7206, pattern_team_auroc10: 0.6022,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2048, coverage: 1004, positives: 362, probability: 0.3606, joint_entropy: 4.3267, pattern_team_auroc10: 0.6086,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2148, coverage: 1296, positives: 423, probability: 0.3264, quality: 0.2148, joint_entropy: 0.9324, pattern_team_auroc10: 0.6074,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.4871, pattern_team_auroc10: 0.6167,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2137, coverage: 1296, positives: 422, probability: 0.3256, joint_entropy: 1.1614, pattern_team_auroc10: 0.6089,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2115, coverage: 1313, positives: 423, probability: 0.3222, joint_entropy: 1.1378, pattern_team_auroc10: 0.6079,

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