Task
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

1309 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.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 4.1919, pattern_team_auroc10: 0.7032,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 4.8987, pattern_team_auroc10: 0.701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 5.1933, pattern_team_auroc10: 0.6991,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.1973, pattern_team_auroc10: 0.6962,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, joint_entropy: 6.3298, pattern_team_auroc10: 0.6864,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, joint_entropy: 6.0855, pattern_team_auroc10: 0.6805,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, joint_entropy: 6.3822, pattern_team_auroc10: 0.6864,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 6.3022, pattern_team_auroc10: 0.6545,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.2148, pattern_team_auroc10: 0.6914,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3075, pattern_team_auroc10: 0.6787,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3003, pattern_team_auroc10: 0.6901,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3417, pattern_team_auroc10: 0.6859,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3628, pattern_team_auroc10: 0.6778,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, joint_entropy: 5.3214, pattern_team_auroc10: 0.666,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, joint_entropy: 6.3666, pattern_team_auroc10: 0.6913,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 6.4654, pattern_team_auroc10: 0.654,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 2.8405, pattern_team_auroc10: 0.6973,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.3194, pattern_team_auroc10: 0.696,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 3.8645, pattern_team_auroc10: 0.693,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 4.7687, pattern_team_auroc10: 0.7027,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, joint_entropy: 5.1383, pattern_team_auroc10: 0.7,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3813, coverage: 2845, positives: 1755, probability: 0.6169, joint_entropy: 3.0475, pattern_team_auroc10: 0.703,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3756, coverage: 2935, positives: 1784, probability: 0.6078, joint_entropy: 4.3512, pattern_team_auroc10: 0.7017,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.361, coverage: 2570, positives: 1610, probability: 0.6265, joint_entropy: 5.287, pattern_team_auroc10: 0.6991,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3521, coverage: 2724, positives: 1661, probability: 0.6098, quality: 0.3521, joint_entropy: 6.1596, pattern_team_auroc10: 0.7127,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8673, pattern_team_auroc10: 0.6697,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3817, coverage: 2736, positives: 1710, probability: 0.625, joint_entropy: 4.518, pattern_team_auroc10: 0.7044,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.5638, pattern_team_auroc10: 0.7028,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, quality: 0.3771, joint_entropy: 4.5972, pattern_team_auroc10: 0.701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.8112, pattern_team_auroc10: 0.7018,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3776, coverage: 2880, positives: 1764, probability: 0.6125, quality: 0.3775, joint_entropy: 4.8226, pattern_team_auroc10: 0.707,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3545, coverage: 2198, positives: 1445, probability: 0.6574, joint_entropy: 5.0713, pattern_team_auroc10: 0.6978,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3521, coverage: 2724, positives: 1661, probability: 0.6098, joint_entropy: 6.1082, pattern_team_auroc10: 0.7094,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8673, pattern_team_auroc10: 0.6697,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 2.8405, pattern_team_auroc10: 0.6973,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.2718, pattern_team_auroc10: 0.6814,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 4.1919, pattern_team_auroc10: 0.7032,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, joint_entropy: 4.888, pattern_team_auroc10: 0.701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 5.1933, pattern_team_auroc10: 0.6991,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.1973, pattern_team_auroc10: 0.6962,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3492, pattern_team_auroc10: 0.687,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, joint_entropy: 6.4741, pattern_team_auroc10: 0.689,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, joint_entropy: 6.3822, pattern_team_auroc10: 0.6864,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.3439, pattern_team_auroc10: 0.6696,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.2265, pattern_team_auroc10: 0.6789,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3355, pattern_team_auroc10: 0.6905,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3003, pattern_team_auroc10: 0.6901,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.2595, pattern_team_auroc10: 0.6906,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3856, pattern_team_auroc10: 0.6842,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, quality: 0.3442, joint_entropy: 6.5977, pattern_team_auroc10: 0.6729,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3492, coverage: 3060, positives: 1797, probability: 0.5873, joint_entropy: 5.1333, pattern_team_auroc10: 0.7061,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.3439, pattern_team_auroc10: 0.6696,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 2.8405, pattern_team_auroc10: 0.6973,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.3169, pattern_team_auroc10: 0.696,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3828, coverage: 2744, positives: 1715, probability: 0.625, joint_entropy: 1.7824, pattern_team_auroc10: 0.6962,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3813, coverage: 2845, positives: 1755, probability: 0.6169, joint_entropy: 2.0624, pattern_team_auroc10: 0.7108,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3813, coverage: 2845, positives: 1755, probability: 0.6169, joint_entropy: 2.5656, pattern_team_auroc10: 0.7099,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3813, coverage: 2845, positives: 1755, probability: 0.6169, joint_entropy: 3.7662, pattern_team_auroc10: 0.7005,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3701, coverage: 2751, positives: 1699, probability: 0.6176, joint_entropy: 4.6783, pattern_team_auroc10: 0.7008,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3545, coverage: 2198, positives: 1445, probability: 0.6574, joint_entropy: 5.3428, pattern_team_auroc10: 0.6975,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3521, coverage: 2724, positives: 1661, probability: 0.6098, joint_entropy: 5.9982, pattern_team_auroc10: 0.7109,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8698, pattern_team_auroc10: 0.6709,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3817, coverage: 2736, positives: 1710, probability: 0.625, joint_entropy: 4.5191, pattern_team_auroc10: 0.7046,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, quality: 0.3771, joint_entropy: 4.5912, pattern_team_auroc10: 0.7025,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.6615, pattern_team_auroc10: 0.7015,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.9717, pattern_team_auroc10: 0.7014,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3701, coverage: 2751, positives: 1699, probability: 0.6176, quality: 0.3701, joint_entropy: 5.0581, pattern_team_auroc10: 0.6979,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3545, coverage: 2198, positives: 1445, probability: 0.6574, joint_entropy: 4.9726, pattern_team_auroc10: 0.698,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3521, coverage: 2724, positives: 1661, probability: 0.6098, joint_entropy: 6.2077, pattern_team_auroc10: 0.705,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8698, pattern_team_auroc10: 0.6709,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

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