OneDiceNotStored:  4 wallclock secs ( 4.39 usr +  0.00 sys =  4.39 CPU)
OneFacedDiceStored:  6 wallclock secs ( 5.24 usr +  0.00 sys =  5.24 CPU)