You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
where <solverk> are paths to the executables of individual solvers (e.g. ./minisat, ./precosat, ./clasp) that support DIMACS input.
(2) SAT formula server:
./satserver -s <solver1> -s <solver2> .... [-b]
In this case, the -b parameter specifies that the portfolio should run in batch mode, where all the solvers are waited for to finish, in order to evaluate their performace.