{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T22:21:08Z","timestamp":1776982868948,"version":"3.51.4"},"reference-count":20,"publisher":"MDPI AG","issue":"9","license":[{"start":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T00:00:00Z","timestamp":1756857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data"],"abstract":"<jats:p>FastDiag is a widely used algorithm for model-based diagnosis, computing minimal subsets of constraints whose removal restores consistency in knowledge-based systems. As applications grow in complexity, researchers have proposed parallel extensions such as Java-version FastDiagP and FastDiagP++ to accelerate diagnosis through speculative and multiprocessing strategies. This paper presents a reproducible and extensible framework for evaluating FastDiag and its parallel variants across a benchmark suite of feature models and ontology-like constraints. We analyze each variant in terms of recursion structure, runtime performance, and diagnostic correctness. Tracking mechanisms and structured logs enable the fine-grained comparison of recursive behavior and branching strategies. Technical validation confirms that parallel execution preserves minimality and structural soundness, while benchmark results show runtime improvements of up to 4\u00d7 with FastDiagP++. The accompanying dataset, available as open source, supports educational use, algorithmic benchmarking, and integration into interactive configuration environments. The framework is primarily intended for reproducible benchmarking and teaching with open-source implementations that facilitate analysis and extension.<\/jats:p>","DOI":"10.3390\/data10090141","type":"journal-article","created":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T08:04:15Z","timestamp":1756886655000},"page":"141","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework"],"prefix":"10.3390","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1147-8045","authenticated-orcid":false,"given":"Delia Isabel","family":"Carri\u00f3n Le\u00f3n","sequence":"first","affiliation":[{"name":"Facultad de Ciencias e Ingenier\u00edas, Universidad Estatal de Milagro, Cdla. Universitaria Dr. R\u00f3mulo Minchala Murillo km 1.5 v\u00eda Milagro\u2014Virgen de F\u00e1tima, Milagro 091050, Guayas, Ecuador"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Vidal-Silva","sequence":"additional","affiliation":[{"name":"Facultad de Ingenier\u00eda y Negocios, Universidad de Las Am\u00e9ricas, Manuel Montt 948, Providencia, Santiago 7500975, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2371-8253","authenticated-orcid":false,"given":"Nicol\u00e1s","family":"M\u00e1rquez","sequence":"additional","affiliation":[{"name":"Escuela de Ingenier\u00eda Comercial, Facultad de Econom\u00eda y Negocios, Universidad Santo Tom\u00e1s, Talca 3460000, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2025,9,3]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1017\/S0890060411000011","article-title":"An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets","volume":"26","author":"Felfernig","year":"2012","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","article-title":"OWL 2: The next step for OWL","volume":"6","author":"Grau","year":"2008","journal-title":"J. Web Semant."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Smith, B., Ceusters, W., Klagges, B., K\u00f6hler, J., Kumar, A., Lomax, J., Mungall, C., Neuhaus, F., Rector, A.L., and Rosse, C. (2005). Relations in biomedical ontologies. Genome Biol., 6.","DOI":"10.1186\/gb-2005-6-5-r46"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., and Siman\u010d\u00edk, F. (2012, January 11\u201315). Concurrent Classification of EL Ontologies. Proceedings of the International Semantic Web Conference, Boston, MA, USA.","DOI":"10.1007\/978-3-642-25073-6_20"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"134318","DOI":"10.1109\/ACCESS.2022.3231449","article-title":"Exploring Functionality and Efficiency of Feature Model Product Configuration Solutions","volume":"10","author":"Ortiz","year":"2022","journal-title":"IEEE Access"},{"key":"ref_6","unstructured":"Junker, U. (2004, January 25\u201329). QuickXPlain: Preferred Explanations and Relaxations for Over-Constrained Problems. Proceedings of the 19th National Conference on Artificial Intelligence (AAAI), San Jose, CA, USA."},{"key":"ref_7","unstructured":"Williams, B., Chen, Y., and Neville, J. (2023, January 7\u201314). FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis. Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Washington, DC, USA."},{"key":"ref_8","first-page":"25","article-title":"Parallel SAT Simplification on GPU Architectures","volume":"Volume 11427","author":"Vojnar","year":"2019","journal-title":"Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Liu, H., and Yin, Y. (2022, January 20\u201324). Simple parallel algorithms for single-site dynamics. Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy.","DOI":"10.1145\/3519935.3519999"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Vidal-Silva, C., Duarte, V., C\u00e1rdenas-Cobo, J., and Garc\u00eda, L.J. (2024). Speculative computing for AAFM solutions in large-scale product configurations. Sci. Rep., 14.","DOI":"10.1038\/s41598-024-61647-6"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Singh, A., Shetty, A., Ehtesham, A., Kumar, S., and Khoei, T.T. (2025, January 6\u20138). A Survey of Large Language Model-Based Generative AI for Text-to-SQL: Benchmarks, Applications, Use Cases, and Challenges. Proceedings of the 2025 IEEE 15th Annual Computing and Communication Workshop and Conference (CCWC), Las Vegas, NV, USA.","DOI":"10.1109\/CCWC62904.2025.10903689"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"160018","DOI":"10.1038\/sdata.2016.18","article-title":"The FAIR Guiding Principles for scientific data management and stewardship","volume":"3","author":"Wilkinson","year":"2016","journal-title":"Sci. Data"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"29207","DOI":"10.1109\/ACCESS.2022.3158675","article-title":"Reproducibility in Computing Research: An Empirical Study","volume":"10","author":"Raghupathi","year":"2022","journal-title":"IEEE Access"},{"key":"ref_14","first-page":"1","article-title":"Improving reproducibility in machine learning research (a report from the NeurIPS 2019 reproducibility program)","volume":"22","author":"Pineau","year":"2021","journal-title":"J. Mach. Learn. Res."},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., and Ruiz-Cort\u00e9s, A. (2010, January 18\u201320). Automated analysis of feature models 20 years later: A literature review. Proceedings of the Information Systems, Porto, Portugal.","DOI":"10.1016\/j.is.2010.01.001"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"118924","DOI":"10.1109\/ACCESS.2024.3449228","article-title":"Developing Programming Competencies in School-Students With Block-Based Tools in Chile, Ecuador, and Peru","volume":"12","year":"2024","journal-title":"IEEE Access"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Chen, L., Xiao, S., Chen, Y., Song, Y., Wu, R., and Sun, L. (2024, January 11\u201316). ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6\u201312. Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems (CHI \u201924), Honolulu, HI, USA.","DOI":"10.1145\/3613904.3642229"},{"key":"ref_18","first-page":"6:1","article-title":"Challenges for Model-Based Diagnosis","volume":"Volume 125","author":"Pill","year":"2024","journal-title":"Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Bartels, B., and Kleine, M. (2011, January 23\u201324). A CSP-based framework for the specification, verification, and implementation of adaptive systems. Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), Honolulu, HI, USA.","DOI":"10.1145\/1988008.1988030"},{"key":"ref_20","unstructured":"Shchekotykhin, K., Friedrich, G., Fleiss, P., and Rodler, P. (2014, January 27\u201331). Sequential Diagnosis of Ontologies. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Qu\u00e9bec City, QC, Canada."}],"container-title":["Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2306-5729\/10\/9\/141\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:38:24Z","timestamp":1760035104000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2306-5729\/10\/9\/141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,3]]},"references-count":20,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2025,9]]}},"alternative-id":["data10090141"],"URL":"https:\/\/doi.org\/10.3390\/data10090141","relation":{},"ISSN":["2306-5729"],"issn-type":[{"value":"2306-5729","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,3]]}}}