The rulesets, pipelines, and artifacts from evaluating ofsolver
rulesets/ contains the rulesets
pipelines/ contains the pipelines
evaluation/ contains the scripts we used to collect measurements
evaluation/measurements contains the raw output of our performance testing.
We release the evaluation artifacts in this repository for unrestricted public usage under CC0. See the included license file.