[TAS] Linux Mari0 "Portal mappack, 4 players" by lexikiq & Masterjun in 02:54.8
This is a tool-assisted speedrun. For more information, see http://tasvideos.org/3894M.html. TAS originally published on 2019-01-28.
Mari0 is a PC game created by stabyourself.net in 2012 that combines the classic Super Mario Bros. (http://tasvideos.org/Movies-1G.html) 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 (http://tasvideos.org/3998M.html) 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 (http://tasvideos.org/Masterjun.html) improve the previous publication (http://tasvideos.org/3809M.html) by 10.43 seconds, 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 (https://youtu.be/2eB_mIkDC2w) 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).