qlauncher.problems.problem_formulations