Experimental data from the paper "Counterexample-guided Cartesian Abstraction Refinement for Classical Planning"

The data set contains the raw experiment data, parsed values and basic reports for the experiments in the paper. For each experiment there are two directories. The first directory contains the raw data of all experiment runs. The code directories and benchmark files have been removed to avoid duplication and save space. The second directory (*-eval) contains a "properties" file with all parsed values and an HTML report.