social-golfer
Solver rankings on this family, and the generator that reproduces it.
What to run on a problem of this kind
The solvers that did best on this family in the SAT Competition 2023, as images of the companion project. They are a better bet on such a problem than the overall winner of that year, which this family often disagrees with.
| Solver | Solved | Command |
|---|---|---|
| SeqFROST | 7 / 20 | docker run --rm -v "$PWD:/data" satex/seqfrost:2023 your-instance.cnf |
| ReEncode-kissat-ReEncode-pair-kissat.sh | 7 / 20 | no image published for this solver yet |
| SeqFROST-NoExtend | 7 / 20 | docker run --rm -v "$PWD:/data" satex/seqfrost-noextend:2023 your-instance.cnf |
No generator here yet
We have not packaged a generator for this family. If you wrote it, or know where its code lives, a issue is very welcome.
SAT Competition 2023 · 20 instances
Ranked by PAR-2 on this family alone. Winner of the whole main track that year: SBVA-sbva_cadical.
| # | Solver | Solved | PAR-2 per instance | |
|---|---|---|---|---|
| 1 | SeqFROST | 7 / 20 | 6865 s | |
| 2 | ReEncode-kissat-ReEncode-pair-kissat.sh | 7 / 20 | 6912 s | |
| 3 | SeqFROST-NoExtend | 7 / 20 | 6922 s | |
| 4 | Kissat_MAB_Conflict | 7 / 20 | 6929 s | |
| 5 | SeqFROST-ERE-All | 7 / 20 | 6968 s | |
| 6 | PReLearn-kissat-PReLearn-tern-kissat.sh | 7 / 20 | 7012 s | |
| 7 | tabularasat-1.0.0 | 6 / 20 | 7205 s | |
| 8 | PReLearn-kissat-PReLearn-kissat.sh | 6 / 20 | 7208 s | |
| 9 | Kissat_MAB_DeepWalk+ | 6 / 20 | 7235 s | |
| 10 | kissat_incsp | 6 / 20 | 7355 s | |
| 11 | AMSAT_ | 6 / 20 | 7367 s | |
| 12 | MergeSat-bve_semgates | 6 / 20 | 7438 s |