# Boolean Satisfiability (SAT) on SAT 8-20 variables (test)

Source: [Boolean Satisfiability (SAT) on SAT 8-20 variables (test)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-07-02T09:44:01.091Z

Evaluation of model performance on the test split of the SAT 8-20 variables dataset for solving Boolean Satisfiability problems, reporting success rates across variable counts 8 through 20.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Boolean Satisfiability (SAT) |
| Dataset (including any stated split) | SAT 8-20 variables (test) |
| Metric | Success Rate (8 Variables) |
| Unit | PERCENT |
| Direction | Higher is better |
| Results loaded | 3 of 3 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Success Rate (8 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(8%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (9 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(9%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (10 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(10%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (11 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(11%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (12 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(12%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (13 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(13%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (14 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(14%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (15 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(15%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (16 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(16%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (17 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(17%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (18 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(18%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (19 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(19%20Variables)>): Higher is better; unit: PERCENT.

- [Success Rate (20 Variables)](<https://www.sota2.com/research/sota/boolean-satisfiability-sat-on-sat-8-20-variables-test.md?metric=Success%20Rate%20(20%20Variables)>): Higher is better; unit: PERCENT.

## Recorded results

| Method | Success Rate (8 Variables) | Result date | Report paper |
| --- | --- | --- | --- |
| MPLM | 100 | Not recorded | 6a45f096dc71372d7795a3bf |
| Serial | 100 | Not recorded | 6a45f096dc71372d7795a3bf |
| FJ | 97 | Not recorded | 6a45f096dc71372d7795a3bf |

### MPLM

Success Rate (8 Variables): 100. Result ID: 6a4632dd60b88bb339864c9b.

[Reporting paper](<https://www.sota2.com/research/paper/6a45f096dc71372d7795a3bf.md>)

[Method origin paper](<https://www.sota2.com/research/paper/6a45f096dc71372d7795a3bf.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### Serial

Success Rate (8 Variables): 100. Result ID: 6a4632dd60b88bb339864c9d.

[Reporting paper](<https://www.sota2.com/research/paper/6a45f096dc71372d7795a3bf.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### FJ

Success Rate (8 Variables): 97. Result ID: 6a4632dd60b88bb339864c9c.

[Reporting paper](<https://www.sota2.com/research/paper/6a45f096dc71372d7795a3bf.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa7aa41e209131cea8451b.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.