Dataset Open Access

Experimental Repository for "Certified CNF Translations for Pseudo-Boolean Solving"

Gocht, Stephan; Martins, Ruben; Nordström, Jakob; Oertel, Andy

Experimental repository


Directory structure:

  • `instances`: The instances used for the experiments sorted by their category.
  • `output_data`: Raw output data from the experiments.
  • `plots`: Plots generated from our experiments; also contain the plots used in the paper.
  • `results`: Collected data on running time and proof size for the encodings.
  • `source_code`: The source code of our `kissat_fork` to output VeriPB proofs, the proof checker `VeriPB` and our certifying PB-to-CNF translation library `VeritasPBLib` as used for our experiments.
Files (603.5 MB)
Name Size
603.5 MB Download
All versions This version
Views 3939
Downloads 22
Data volume 1.2 GB1.2 GB
Unique views 3636
Unique downloads 22


Cite as