Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Boolean Satisfiability (SAT) on SAT 8-20 variables (test)
Loading...
100
Success Rate (8 Variables)
MPLM
96.88
97.69
98.5
99.31
Jul 1, 2026
Success Rate (8 Variables)
Success Rate (9 Variables)
Success Rate (10 Variables)
Success Rate (11 Variables)
Success Rate (12 Variables)
Success Rate (13 Variables)
Success Rate (14 Variables)
Success Rate (15 Variables)
Success Rate (16 Variables)
Success Rate (17 Variables)
Success Rate (18 Variables)
Success Rate (19 Variables)
Success Rate (20 Variables)
Updated 23d ago
Evaluation Results
Method
Method
Links
Success Rate (8 Variables)
Success Rate (9 Variables)
Success Rate (10 Variables)
Success Rate (11 Variables)
Success Rate (12 Variables)
Success Rate (13 Variables)
Success Rate (14 Variables)
Success Rate (15 Variables)
Success Rate (16 Variables)
Success Rate (17 Variables)
Success Rate (18 Variables)
Success Rate (19 Variables)
Success Rate (20 Variables)
MPLM
2026.07
100
91
99
91
95
94
92
87
92
89
90
86
85
Serial
2026.07
100
95
98
93
94
-
-
-
-
-
-
-
-
FJ
2026.07
97
95
94
93
91
93
90
91
91
88
90
85
86
Feedback
Search any
task
Search any
task
