OneDiceNotStored: 3 wallclock secs ( 4.43 usr + 0.00 sys = 4.43 CPU) OneFacedDiceStored: 5 wallclock secs ( 5.32 usr + 0.00 sys = 5.32 CPU)