Mashing Time Bandits with Amadeus