Published December 2024 | Version v1
Dataset Open

synthetic pseudo-boolean counting instances

Authors/Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon University of Toronto

Description

Synthetic benchmarks used in paper "Engineering an Exact Pseudo-Boolean Model Counter", available at https://arxiv.org/abs/2312.12341

Benchmarks generated in part with help from Dr. Anna Latour

Files

cnf.zip

Files (865.7 MB)

Name Size Download all
md5:73db71774fd278398d773fd07b32c735
652.5 MB Preview Download
md5:594d36c323d8045c3fffe32d0204a712
445 Bytes Preview Download
md5:a7e9003becdc64a1e007a8526ea6f363
213.3 MB Preview Download