There are two versions of the maxsat2sat solver, which can be executed with: DIR/runMaxsat2sat.sh BENCHNAME RANDOMSEED TMPDIR DIR and DIR/runMaxsat2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR where DIR is the directory where the binarys are located BENCHNAME the name of the problem instance RANDOMSEED the random seed TMPDIR the directory for tmp files