OpenML
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.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.309, pattern_team_auroc10: 0.6482,
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,
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,
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,
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, 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.309, pattern_team_auroc10: 0.6482,
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,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, 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, quality: 0.3489, joint_entropy: 3.8394, pattern_team_auroc10: 0.6889,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, 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, quality: 0.3455, 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, quality: 0.3455, 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.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.4627, pattern_team_auroc10: 0.6817,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, quality: 0.3213, 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.4654, pattern_team_auroc10: 0.654,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, 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, quality: 0.3455, 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, quality: 0.3455, joint_entropy: 6.396, pattern_team_auroc10: 0.6892,
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, quality: 0.3442, joint_entropy: 6.5808, pattern_team_auroc10: 0.6743,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, quality: 0.3213, joint_entropy: 6.4323, 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, quality: 0.3489, 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, quality: 0.3489, 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, quality: 0.3489, joint_entropy: 3.9296, pattern_team_auroc10: 0.6946,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, 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.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, joint_entropy: 5.2195, 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.2933, pattern_team_auroc10: 0.688,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.361, coverage: 2570, positives: 1610, probability: 0.6265, quality: 0.361, joint_entropy: 5.2899, pattern_team_auroc10: 0.6991,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, quality: 0.3847, joint_entropy: 4.6633, pattern_team_auroc10: 0.7047,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 4.3097, pattern_team_auroc10: 0.6666,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3817, coverage: 2736, positives: 1710, probability: 0.625, quality: 0.3817, joint_entropy: 4.4486, pattern_team_auroc10: 0.7044,
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.5534, pattern_team_auroc10: 0.7019,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.7916, pattern_team_auroc10: 0.7018,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3902, coverage: 2521, positives: 1633, probability: 0.6478, quality: 0.3902, joint_entropy: 3.4729, pattern_team_auroc10: 0.7147,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3697, coverage: 2103, positives: 1428, probability: 0.679, quality: 0.3697, joint_entropy: 4.6547, pattern_team_auroc10: 0.6931,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, quality: 0.3847, joint_entropy: 4.6629, pattern_team_auroc10: 0.7062,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 4.3097, pattern_team_auroc10: 0.6666,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
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: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 3.7666, pattern_team_auroc10: 0.6482,
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: 3.7666, pattern_team_auroc10: 0.6482,
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: 3.7666, pattern_team_auroc10: 0.6482,
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.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, 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, quality: 0.3489, joint_entropy: 3.8394, pattern_team_auroc10: 0.6889,
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, quality: 0.3455, 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, quality: 0.3455, 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.3492, pattern_team_auroc10: 0.687,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, quality: 0.3442, 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, quality: 0.3213, joint_entropy: 6.4016, pattern_team_auroc10: 0.6938,
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: 6.1717, pattern_team_auroc10: 0.6786,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3297, pattern_team_auroc10: 0.683,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3163, pattern_team_auroc10: 0.6782,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.396, pattern_team_auroc10: 0.6892,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, quality: 0.3455, 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: 6.5978, pattern_team_auroc10: 0.6729,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2966, coverage: 1202, positives: 943, probability: 0.7845, joint_entropy: 1.2349, pattern_team_auroc10: 0.6504,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2966, coverage: 1202, positives: 943, probability: 0.7845, quality: 0.2966, joint_entropy: 1.4275, pattern_team_auroc10: 0.6498,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2939, coverage: 1209, positives: 942, probability: 0.7792, quality: 0.2939, joint_entropy: 1.5345, pattern_team_auroc10: 0.6481,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2939, coverage: 1209, positives: 942, probability: 0.7792, quality: 0.2939, joint_entropy: 2.2113, pattern_team_auroc10: 0.6479,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2939, coverage: 1209, positives: 942, probability: 0.7792, quality: 0.2939, joint_entropy: 2.563, pattern_team_auroc10: 0.6467,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2661, coverage: 1090, positives: 851, probability: 0.7807, quality: 0.2661, joint_entropy: 4.83, pattern_team_auroc10: 0.6627,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3676, coverage: 2319, positives: 1515, probability: 0.6533, joint_entropy: 2.2292, pattern_team_auroc10: 0.6951,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2966, coverage: 1209, positives: 946, probability: 0.7825, quality: 0.2966, joint_entropy: 1.3206, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2966, coverage: 1202, positives: 943, probability: 0.7845, quality: 0.2966, joint_entropy: 1.3419, pattern_team_auroc10: 0.649,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2966, coverage: 1202, positives: 943, probability: 0.7845, joint_entropy: 1.3715, pattern_team_auroc10: 0.6481,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2939, coverage: 1209, positives: 942, probability: 0.7792, quality: 0.2939, joint_entropy: 1.5136, pattern_team_auroc10: 0.6466,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2939, coverage: 1209, positives: 942, probability: 0.7792, quality: 0.2939, joint_entropy: 2.2612, pattern_team_auroc10: 0.6496,

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