Chair of Computer Architecture

University of Freiburg

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, Springer.

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 kissat-sc2021-sweep-705f48b1.tar.xz.