Experimental Results for the ECAI 2023 Paper "Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning"

This collection contains all the data produced in the empirical evaluation for the paper "Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning", which is accepted by The 26th European Conference on Artificial Intelligence (ECAI 2023). For a more detailed description, please read the README file after unzipping the file.