Skip to content

Latest commit

 

History

History
32 lines (22 loc) · 946 Bytes

README.md

File metadata and controls

32 lines (22 loc) · 946 Bytes
Raw

SAT-bench, small utilities about SAT benchmark

  • benchm -- for running a SAT Competition's benchmark
  • sat-bench -- running micro benchmark(s)
  • satbench2csv

Examples

  • To compile and run a solver in the repository for a Rust project with options: -E --rt 0.9:
benchm -B SR19Core -T 300 --options \\-E\ \--rt\ 0.9 --repo ~/Repository/splr

The first two backslashes are required to use a string starting with '--' as a value for --options. And, in the argument, a backslash is required before any character that require escaping.

  • To run a compiled solver with option: --lucky=false:
benchm -B SR19 -T 100 --options \\--lucky=false --solver ~/.nix-profile/bin/cadical
  • To rebuild report after some edits:
benchm --rereport cadical-20200401 -N 2 -B SC18

This will rebuild "cadical-20200401-2-SC18.csv" using files under "cadical-20200401-2-SC18".

Nix flake

Please use the flake file included.