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:
https://gears.win.tue.nl/tools/parafrost.zip.

Second of all, we have extended the Glucose SAT solver with MDM. That version can be downloaded via this link:
https://gears.win.tue.nl/tools/glucose_mdm.zip.

Finally, all statistics of the benchmark experiments we conducted on our solver can be downloaded as an Excel file via the following link:
https://gears.win.tue.nl/benchmarks/mdm_full_stats_cmp.zip.