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)

##</code><code>##

  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)