Skip to content

shnarazk/SAT-bench

Folders and files

NameName
Last commit message
Last commit date
Jun 13, 2022
Apr 8, 2020
Feb 3, 2020
Mar 1, 2017
Mar 27, 2022
Mar 5, 2020
Mar 5, 2019
Aug 12, 2024
Jan 15, 2023
Jul 22, 2023
Jan 17, 2023
Aug 17, 2024
Jan 21, 2025
Jan 8, 2025
Apr 16, 2019
Mar 27, 2022
Nov 7, 2024
Nov 7, 2024
Mar 1, 2017
Mar 6, 2019

Repository files navigation

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.