OpenML
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

1300 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.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6335, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, quality: 0.2808, joint_entropy: 2.1639, pattern_team_auroc10: 0.6549,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.1418, pattern_team_auroc10: 0.6746,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2844, coverage: 2783, positives: 527, probability: 0.1894, quality: 0.2844, joint_entropy: 2.6803, pattern_team_auroc10: 0.6637,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2837, coverage: 2754, positives: 523, probability: 0.1899, quality: 0.2837, joint_entropy: 3.0242, pattern_team_auroc10: 0.6651,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2831, coverage: 1858, positives: 413, probability: 0.2223, quality: 0.2831, joint_entropy: 3.5237, pattern_team_auroc10: 0.6673,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2821, coverage: 1986, positives: 428, probability: 0.2155, quality: 0.2821, joint_entropy: 3.7528, pattern_team_auroc10: 0.6683,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, joint_entropy: 4.0434, pattern_team_auroc10: 0.6857,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 4.5015, pattern_team_auroc10: 0.6676,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, quality: 0.2812, joint_entropy: 5.12, pattern_team_auroc10: 0.6658,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, quality: 0.2739, joint_entropy: 4.7129, pattern_team_auroc10: 0.6519,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.1446, pattern_team_auroc10: 0.6713,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.14, pattern_team_auroc10: 0.6809,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.1591, pattern_team_auroc10: 0.674,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.2701, pattern_team_auroc10: 0.6712,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, quality: 0.2893, joint_entropy: 5.248, pattern_team_auroc10: 0.6717,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, quality: 0.2812, joint_entropy: 5.2901, pattern_team_auroc10: 0.6673,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, quality: 0.2812, joint_entropy: 5.5798, pattern_team_auroc10: 0.6735,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, quality: 0.2739, joint_entropy: 4.7129, pattern_team_auroc10: 0.6519,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, quality: 0.2808, joint_entropy: 2.1595, pattern_team_auroc10: 0.6549,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.1857, pattern_team_auroc10: 0.6803,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2844, coverage: 2783, positives: 527, probability: 0.1894, quality: 0.2844, joint_entropy: 2.8513, pattern_team_auroc10: 0.6641,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 3.4256, pattern_team_auroc10: 0.6767,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 3.6152, pattern_team_auroc10: 0.6713,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 3.7033, pattern_team_auroc10: 0.6731,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, quality: 0.2893, joint_entropy: 4.1377, pattern_team_auroc10: 0.6852,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3159, coverage: 2516, positives: 515, probability: 0.2047, quality: 0.3159, joint_entropy: 4.1078, pattern_team_auroc10: 0.6772,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3178, coverage: 3029, positives: 579, probability: 0.1912, quality: 0.3178, joint_entropy: 4.1589, pattern_team_auroc10: 0.6877,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2822, coverage: 1527, positives: 372, probability: 0.2436, joint_entropy: 2.8358, pattern_team_auroc10: 0.6582,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.326, coverage: 2609, positives: 533, probability: 0.2043, quality: 0.326, joint_entropy: 3.7481, pattern_team_auroc10: 0.6732,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3232, coverage: 2575, positives: 527, probability: 0.2047, quality: 0.3232, joint_entropy: 3.9074, pattern_team_auroc10: 0.6739,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3232, coverage: 2575, positives: 527, probability: 0.2047, joint_entropy: 3.8338, pattern_team_auroc10: 0.6735,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.326, coverage: 2609, positives: 533, probability: 0.2043, quality: 0.326, joint_entropy: 3.85, pattern_team_auroc10: 0.6925,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3349, coverage: 2365, positives: 509, probability: 0.2152, quality: 0.3349, joint_entropy: 3.5546, pattern_team_auroc10: 0.6951,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.329, coverage: 2274, positives: 494, probability: 0.2172, quality: 0.329, joint_entropy: 3.5104, pattern_team_auroc10: 0.6834,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3177, coverage: 2596, positives: 526, probability: 0.2026, quality: 0.3177, joint_entropy: 4.3028, pattern_team_auroc10: 0.6752,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2822, coverage: 1527, positives: 372, probability: 0.2436, quality: 0.2822, joint_entropy: 2.8358, pattern_team_auroc10: 0.6582,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, quality: 0.2497, joint_entropy: 4.514, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 4.6517, pattern_team_auroc10: 0.6419,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, quality: 0.2808, joint_entropy: 2.149, pattern_team_auroc10: 0.6547,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.1827, pattern_team_auroc10: 0.6814,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2844, coverage: 2783, positives: 527, probability: 0.1894, quality: 0.2844, joint_entropy: 2.6649, pattern_team_auroc10: 0.6643,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2837, coverage: 2754, positives: 523, probability: 0.1899, quality: 0.2837, joint_entropy: 3.0229, pattern_team_auroc10: 0.6651,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2831, coverage: 1858, positives: 413, probability: 0.2223, joint_entropy: 3.4743, pattern_team_auroc10: 0.6651,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 4.0095, pattern_team_auroc10: 0.6801,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, quality: 0.2893, joint_entropy: 4.0434, pattern_team_auroc10: 0.6857,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, quality: 0.2812, joint_entropy: 4.5015, pattern_team_auroc10: 0.6676,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.12, pattern_team_auroc10: 0.6658,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, quality: 0.2739, joint_entropy: 4.7129, pattern_team_auroc10: 0.6519,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.1446, pattern_team_auroc10: 0.6713,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.14, pattern_team_auroc10: 0.6809,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.1591, pattern_team_auroc10: 0.674,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, quality: 0.2952, joint_entropy: 5.2701, pattern_team_auroc10: 0.6712,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, quality: 0.2893, joint_entropy: 5.248, pattern_team_auroc10: 0.6717,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, quality: 0.2812, joint_entropy: 5.2901, pattern_team_auroc10: 0.6673,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2984, coverage: 1293, positives: 354, probability: 0.2738, quality: 0.2984, joint_entropy: 1.6663, pattern_team_auroc10: 0.6513,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2974, coverage: 1364, positives: 362, probability: 0.2654, joint_entropy: 1.9771, pattern_team_auroc10: 0.6498,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2971, coverage: 1202, positives: 342, probability: 0.2845, quality: 0.2971, joint_entropy: 2.292, pattern_team_auroc10: 0.6481,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2943, coverage: 1323, positives: 355, probability: 0.2683, quality: 0.2943, joint_entropy: 3.0128, pattern_team_auroc10: 0.6509,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2814, coverage: 1654, positives: 387, probability: 0.234, quality: 0.2814, joint_entropy: 4.6621, pattern_team_auroc10: 0.6574,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.251, coverage: 2439, positives: 463, probability: 0.1898, joint_entropy: 5.961, pattern_team_auroc10: 0.638,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3194, coverage: 1581, positives: 403, probability: 0.2549, joint_entropy: 2.3083, pattern_team_auroc10: 0.6624,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2984, coverage: 1293, positives: 354, probability: 0.2738, quality: 0.2984, joint_entropy: 1.6485, pattern_team_auroc10: 0.6518,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2984, coverage: 1293, positives: 354, probability: 0.2738, joint_entropy: 1.6779, pattern_team_auroc10: 0.6519,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2974, coverage: 1364, positives: 362, probability: 0.2654, quality: 0.2974, joint_entropy: 1.79, pattern_team_auroc10: 0.6487,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2971, coverage: 1202, positives: 342, probability: 0.2845, quality: 0.2971, joint_entropy: 2.3543, pattern_team_auroc10: 0.6486,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2943, coverage: 1323, positives: 355, probability: 0.2683, quality: 0.2943, joint_entropy: 3.0048, pattern_team_auroc10: 0.6505,

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