This page contains links to artifacts we created to experimentally evaluate the effectiveness of a technique we call Multiple Decision Making (MDM). MDM is a technique to improve the efficiency of (single-threaded) SAT solving.

First of all, our own sequential solver, ParaFROST v1, which applies MDM, can be downloaded via this link:

Second of all, we have extended the Glucose SAT solver with MDM. That version can be downloaded via this link:

Finally, all statistics of the benchmark experiments we conducted on our solver can be downloaded as an Excel file via the following link: