(Code and Data) When both Grounding and not Grounding are Bad – A Partially Grounded Encoding of Planning into SAT

Code and Data from the experimental evaluation of the paper "When both Grounding and not Grounding are Bad – A Partially Grounded Encoding of Planning into SAT".

Contains all the planners ran, the Kissat SAT solver and the log files for each instance of the hard-to-ground domains benchmark ran with each planner.

After unzipping it takes 8.5GB.