Boxman is a classic puzzle game, it is also called Sokoban.
Also, those are on-the-fly levels, you may need login to get more boxman levels.