List your company

ResearchFormerly WizWand

SAT solving

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

PARITY structured SAT family

1MRPP r-tilde

15

Feb 26, 2026

JNH structured SAT family

1.84MRPP r-tilde

15

Feb 26, 2026

random 3-SAT 100

1.41MRPP r~

12

Feb 26, 2026

random 3-SAT 50

1.37MRPP r~

12

Feb 26, 2026

random 3-SAT 61–100

1.59MRPP r~

12

Feb 26, 2026

random 3-SAT 31–60

153MRPP r~

12

Feb 26, 2026

random 3-SAT (16–30)

1.44MRPP r~

12

Feb 26, 2026

random 3-SAT 5–15

143MRPP r~

12

Feb 26, 2026

100 SAT competition benchmarks 50 SAT and 50 UNSAT (test)

52Pass@1

11

May 19, 2026

1MRPP r~

9

Feb 26, 2026

1.05MRPP r˜

9

Feb 26, 2026

1.2MRPP r˜

9

Feb 26, 2026

KnightTour (in-domain)

7,864.93PAR-2 Score

8

Jun 9, 2026

MineSweeper (in-domain)

7.51PAR-2

8

Jun 9, 2026

hamiltonian (in-domain)

118.39PAR-2 Score

8

Jun 9, 2026

argumentation (in-domain)

5,083.01PAR-2 Score

8

Jun 9, 2026

social-golfer (in-domain)

4,067.68PAR-2 Score

8

Jun 9, 2026

SAT n=50 planted (alpha=4.0)

Occurrence + domain

100Solve Percentage

8

May 22, 2026

PRET structured SAT family

1MRPP r-tilde

6

Feb 26, 2026

PHOLE structured SAT family

1MRPP r-tilde

6

Feb 26, 2026

AIM structured SAT

1.03MRPP r-tilde

6

Feb 26, 2026

SAT n=75 random (alpha=4.26)

Occurrence + domain

100Solve Rate

5

May 22, 2026

SAT n=50 random (alpha=4.26)

Occurrence + domain

100Solve Rate

5

May 22, 2026

Synthetic datasets Larger Distribution

9.13Success Rate

5

Feb 26, 2026

Synthetic datasets Same Distribution

63.16SR

5

Feb 26, 2026