Wow, you've got really good taste! those are a couple flipping hot carts.
Some advice: the best way to find out what cart a site is running is to view code and look for tell-tale folders, styles or names. Something in there will be unique to the cart. Many carts will also have names in the copyright in their header and footer.
Sometimes you can see ASP tags and then search the web for that style name and "ASP Cart". Or if you see something like "category_top/brilliant.js" you can search for that and you'll find an article asking about a bug or crash of some kind.
I read the code on your 2 carts and I have no frigging idea what they are. Other than EXPENSIVE. They are hosted, high-end carts and may even be custom jobs. They both have massive scalability and are designed around google clouds at commondatastorage. Est $500-$6000 per month just for hosting.
And for your Magento question: No.
Magento is a right pain in the butt to manage. You will NOT just install it and add your content.
If you're not into ecommerce already, try wordpress with a free cart addon. It's easier to manage and you'll get valuable WP experience.