Version submitted to the ISC24
-
🥇Ranked first in Parallel SAT and UNSAT Tracks.
-
Updated descriptions and a detailed article on the parallel solver PL-PRS-BVA-KISSAT-1Gr are provided in the pdf files.
-
The different submissions can be launched as follow
PL-PRS-BVA-KISSAT-1Gr:
./painless -v=1 -c=$nb_solvers -t=5000 -shr-strat=1 -shr-sleep=100000 -sbva-count=12 -ls-after-sbva=2 -sbva-timeout=1000 $path_to_cnf
PL-PRS-BVA-KISSAT-2Gr:
./painless -v=1 -c=$nb_solvers -t=5000 -shr-strat=3 -shr-sleep=100000 -sbva-count=12 -ls-after-sbva=2 -sbva-timeout=1000 $path_to_cnf
PL-PRS-BVA-MPI:
mpirun --mca btl_tcp_if_include eth0 --mca orte_abort_on_non_zero_status false --allow-run-as-root --hostfile $path_to_hostfile --bind-to none ./painless -v=1 -c=$nb_solvers -t=1000 -sbva-timeout=120 -shr-strat=1 -shr-sleep=100000 -gshr-strat=2 -dist $path_to_cnf