Mashing Amadeus with Time Bandits