dh73/ParKissat-RS

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

Compile

make clean; make

Run

$instance: input cnf

$threads: number of threads

$time-limit: maximum running time

time ./painless-mcomsps -c=(($threads-1)) -shr-sleep=500000 -shr-lit=1500 $instance -t=$time-limit -initshuffle

The script to run parkissat with 32 cores is given as `run_parkissat.sh'.

chmod a+x run_parkissat.sh
./run_parkissat.sh $instance