Benchmarks used for evaluation in the work "Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO" accepted to UAI 2023.
Description of benchmark nomenclature and generation can be found in the supplementary materials in entry R274 on https://www.ics.uci.edu/~dechter/publications.html.