International SAT Competition 2024

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