https://9dok.net/document/zkwopw04-holgerh-hoos-tomášpeitl-friedrichslivovsky-andstefanszeider-portfolio-basedalgorithmselectionforcircuitqbfs-technicalreportac.html