Chasing Target Phases

This page provides access to source code and experimental data for our paper accepted at POS'20.

Slides

Slides are available as BiereFleury-POS20-talk.pdf.

Solvers

The version of Kissat used in the experiments is kissat-0fd-3f37e9c6.tar.xz.

The version of CaDiCaL used in the experiments is cadical-0v9-c50862d.tar.xz.

These two versions are very close to those submitted to the SAT Competition 2020. One reason not to use the competition versions was the necessity to add options for enabling and disabling rephasing and target phases.

The source code of our modified Glucose is available as glucose-3-rephasing.tar.xz.

Experiments

Log files for the experiments: here.