bitwuzla: Change options for parallel track.#201

martinjonas merged 2 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom

mpreiner:bitwuzla-parallel-64mpreiner/smt-comp.github.io:bitwuzla-parallel-64Copy head branch name to clipboard