Task
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.2831, coverage: 1858, positives: 413, probability: 0.2223, joint_entropy: 3.5258, pattern_team_auroc10: 0.6637,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 4.012, pattern_team_auroc10: 0.6748,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, joint_entropy: 4.1887, pattern_team_auroc10: 0.682,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 4.8756, pattern_team_auroc10: 0.6658,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.7433, pattern_team_auroc10: 0.6735,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 5.5018, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.1801, pattern_team_auroc10: 0.6801,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.199, pattern_team_auroc10: 0.6799,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.4249, pattern_team_auroc10: 0.6724,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.194, pattern_team_auroc10: 0.6798,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, joint_entropy: 5.4546, pattern_team_auroc10: 0.6619,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.6222, pattern_team_auroc10: 0.6662,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.6701, pattern_team_auroc10: 0.6536,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 5.5018, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.4335, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, joint_entropy: 2.1514, pattern_team_auroc10: 0.6548,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, 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, joint_entropy: 2.899, pattern_team_auroc10: 0.6627,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2837, coverage: 2754, positives: 523, probability: 0.1899, joint_entropy: 3.2223, pattern_team_auroc10: 0.6668,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2831, coverage: 1858, positives: 413, probability: 0.2223, joint_entropy: 3.3836, pattern_team_auroc10: 0.6663,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.1295, pattern_team_auroc10: 0.6615,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.3056, pattern_team_auroc10: 0.6663,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.5844, pattern_team_auroc10: 0.6523,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2729, coverage: 2207, positives: 449, probability: 0.2034, joint_entropy: 5.1064, pattern_team_auroc10: 0.653,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 4.8349, pattern_team_auroc10: 0.6486,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.15, pattern_team_auroc10: 0.6801,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.1422, pattern_team_auroc10: 0.6799,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.4282, pattern_team_auroc10: 0.6779,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.194, pattern_team_auroc10: 0.6798,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, joint_entropy: 5.3965, pattern_team_auroc10: 0.6678,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.1477, pattern_team_auroc10: 0.6588,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.305, pattern_team_auroc10: 0.6603,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 4.8349, pattern_team_auroc10: 0.6486,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, joint_entropy: 2.1701, pattern_team_auroc10: 0.655,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, 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, joint_entropy: 3.0878, pattern_team_auroc10: 0.6627,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2837, coverage: 2754, positives: 523, probability: 0.1899, joint_entropy: 3.2857, pattern_team_auroc10: 0.6661,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2831, coverage: 1858, positives: 413, probability: 0.2223, joint_entropy: 3.4237, pattern_team_auroc10: 0.6635,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.2259, pattern_team_auroc10: 0.6607,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.4396, pattern_team_auroc10: 0.6663,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.9646, pattern_team_auroc10: 0.6523,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2729, coverage: 2207, positives: 449, probability: 0.2034, joint_entropy: 5.1554, pattern_team_auroc10: 0.6492,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 6.0366, pattern_team_auroc10: 0.6411,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.393, pattern_team_auroc10: 0.6801,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.4006, pattern_team_auroc10: 0.6799,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.3902, pattern_team_auroc10: 0.6754,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2952, coverage: 2995, positives: 560, probability: 0.187, joint_entropy: 5.45, pattern_team_auroc10: 0.6712,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2893, coverage: 3256, positives: 588, probability: 0.1806, joint_entropy: 5.4482, pattern_team_auroc10: 0.6678,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.3261, pattern_team_auroc10: 0.6673,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2812, coverage: 2874, positives: 536, probability: 0.1865, joint_entropy: 5.5723, pattern_team_auroc10: 0.6421,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1956, positives: 419, probability: 0.2142, joint_entropy: 6.0366, pattern_team_auroc10: 0.6411,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2497, coverage: 2168, positives: 429, probability: 0.1979, joint_entropy: 5.9274, pattern_team_auroc10: 0.6182,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 2148, positives: 447, probability: 0.2081, joint_entropy: 2.2318, pattern_team_auroc10: 0.6553,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2854, coverage: 2786, positives: 528, probability: 0.1895, joint_entropy: 3.9808, pattern_team_auroc10: 0.6592,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2806, coverage: 2149, positives: 447, probability: 0.208, joint_entropy: 2.722, pattern_team_auroc10: 0.6537,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2799, coverage: 2153, positives: 447, probability: 0.2076, joint_entropy: 2.8127, pattern_team_auroc10: 0.6531,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.28, coverage: 2169, positives: 449, probability: 0.207, joint_entropy: 3.0972, pattern_team_auroc10: 0.6523,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 3.3362, pattern_team_auroc10: 0.6516,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 3.3163, pattern_team_auroc10: 0.6518,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2808, coverage: 1764, positives: 400, probability: 0.2268, joint_entropy: 4.3867, pattern_team_auroc10: 0.6541,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2639, coverage: 2296, positives: 454, probability: 0.1977, joint_entropy: 4.6168, pattern_team_auroc10: 0.6509,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2715, coverage: 2280, positives: 457, probability: 0.2004, joint_entropy: 5.7518, pattern_team_auroc10: 0.6374,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2844, coverage: 2783, positives: 527, probability: 0.1894, joint_entropy: 4.0326, pattern_team_auroc10: 0.6594,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2837, coverage: 2754, positives: 523, probability: 0.1899, joint_entropy: 4.0213, pattern_team_auroc10: 0.6581,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2809, coverage: 2810, positives: 528, probability: 0.1879, joint_entropy: 4.1624, pattern_team_auroc10: 0.6573,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.28, coverage: 2169, positives: 449, probability: 0.207, joint_entropy: 4.1059, pattern_team_auroc10: 0.6556,

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