config for qbf