Chair of Computer Architecture

University Freiburg

Native LRAT in CaDiCaL for Faster Proof Checking

This page provides experimental data for a draft:

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 CaDiCaL as well as CaDiCaL with LRAT support version from the SAT and our new LRAT trimming tool available as lrat-trim.