let virtual_solvers = Hashtbl.create 32