Mining Definitions in Kissat with Kittens
This page provides experimental data for the paper
accepted to a special issue:
Mathias Fleury, Armin Biere.
Mining Definitions in Kissat with Kittens.
To be published in
Formal Methods in System Design,
The experiments.tar.xz archive contains the log files
of all our runs using the runlim
tool and the scripts to generate the plots.
For the experiments, we used in essence
Kissat version from the SAT
Competition 2021 which we also make available here as