ResearchBenchmarksBoolean Satisfiability (SAT) on SAT 8-20 variables (test)Follow100Success Rate (8 Variables)MPLM96.8897.6998.599.31Jul 1, 2026Evaluation ResultsMethodMethodLinksSuccess 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)MPLM2026.07100919991959492879289908685Serial2026.0710095989394————————FJ2026.0797959493919390919188908586