result-small.out 162 B

123456789
  1. Case #1: 0.015074
  2. Case #2: 0.005947
  3. Case #3: 0.035711
  4. Case #4: 0.002994
  5. Case #5: 0.000366
  6. Case #6: 0.113443
  7. Case #7: 0.004628
  8. Case #8: 0.010294
  9. Case #9: 0.000180