https://github.com/shnarazk/sat-bench

A benchmark suit for SAT solvers
https://github.com/shnarazk/sat-bench

benchmarking matrix-org nix-flake rust sat-solver

Last synced: 2 months ago
JSON representation

A benchmark suit for SAT solvers

• Host: GitHub
• URL: https://github.com/shnarazk/sat-bench
• Owner: shnarazk
• License: gpl-3.0
• Created: 2019-09-27T11:52:13.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-13T20:55:23.000Z (9 months ago)
• Last Synced: 2024-05-22T20:31:41.281Z (9 months ago)
• Topics: benchmarking, matrix-org, nix-flake, rust, sat-solver
• Language: Rust
• Homepage:
• Size: 28.9 MB
• Stars: 2
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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.