Mari0 is a PC game created by stabyourself.net in 2012 that combines the classic Super Mario Bros. with the puzzle-platformer 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.
This movie is 10.43 seconds shorter than the single-player publication, mainly thanks to using four players to plow through the levels and abusing tricks that are only possible in multiplayer.
There's an alternate YouTube encode provided by the authors that shows this TAS as it was shown at AGDQ2019 (featuring four TASBots instead of four Marios as well as a game timer).