Call for Benchmarks

The community at large is invited to submit interesting and/or challenging benchmark instances for evaluating solvers competing in any of the ICCMA 2023 competition tracks.

For details on benchmark requirements for each of the competition tracks and the submission procedures, see here..

Note that the organizers are happy to provide advice and help on issues related to benchmark generation, formatting and submissions---please contact the organizers for discussing matters further!