Added boards that we now solve with version 1.3 and reordered them according to latest benchmark