Parti-Solvers: Change options for parallel track.#202

martinjonas merged 1 commit intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom

zmylinxi99:masterzmylinxi99/smt-comp.github.io:masterCopy head branch name to clipboard