Search results

SqlDataAdaptor should implement get_competitions and get_competition_instance_hash

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#100 In ADA-research/DikeBenchmarker;

· Theomat opened on Feb 16, 2026

dataadaptor getperf should take lists instead of a single value

Status: Open.

Task

#84 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 12, 2025

make data adaptors more lightweight

Status: Open.

Task

#83 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 12, 2025

implement performance filter for all adaptors

Status: Open.

Task

#82 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 12, 2025

implement benchmarking methods from literature

Status: Open.

Task

#70 In ADA-research/DikeBenchmarker;

· Theomat opened on Sep 11, 2025

include running time selection method

Status: Open.

Task

#48 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 8, 2025

look into aleatoric vs epistemic uncertainty in our application

Status: Open.

Task

#20 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025

check litterature, in SAT and other fields

Status: Open.

Task

#19 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025

apply this all to other fields

Status: Open.

Task

#18 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025

define a canonical hardware

Status: Open.

Task

#17 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025

record compiler and its options

Status: Open.

Task

#16 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025

implement scaling strategy between hardware

Status: Open.

Task

#15 In ADA-research/DikeBenchmarker;

· MarieNyst opened on Sep 1, 2025