SLIME 3.1.1

SLIME 3.1.1

Maintenance Update.
SLIME vs The Winners of the SAT Race 2019. (https://maxtuno.github.io/slime-sat-solver)
solver config SAT-VERIFIED UNKNOWN UNSAT
CaDiCaL default 80 / 34762.8330 95 / 171003.8300 25 / 14057.7858
SLIME 3.1.1 default 82 / 43255.9017 91 / 163804.3300 27 / 16173.2391
MapleLCMDiscChronoBT-DL-v3 default 80 / 39363.0743 91 / 163804.0300 29 / 16442.0995

SLIME 3.1 Officially the "Unofficial State of The Art"

• Support long term executions without overflow on counters and variables.
• The State of The Art Performance.

SLIME 3 Officially the "Unofficial State of The Art"

SLIME 3.0

• Implementation of Alternating Dual BOOST Heuristic
• The State of The Art Performance.

A Free World Class High Performance SAT Solver

SLIME 2.0: A Free World Class High Performance SAT Solver
SAT Race 2015

v1.0 PAR-2 605079.2646
v2.0 PAR-2 591812.0663

SAT Race 2019

The same version send to SAT Race 2019.