Mari0 is a PC game created by stabyourself.net in 2012 that combines the classic Super Mario Bros. with the puzzle-platfomer Portal by giving Mario a portal gun. The game launched with 2 "mappacks", with the one most people played being the Super Mario Bros. mappack containing the original set of levels. This TAS instead showcases the other mappack which features 18 Portal-inspired puzzles spread across 9 different levels.

lexikiq and Masterjun certainly don't solve the puzzles in the Portal mappack the intended way in order to clear it in record time. Please read the authors' comments for more details.