result-large.out 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899
  1. Case #1: 0.372383
  2. Case #2: 0.125051
  3. Case #3: 0.656765
  4. Case #4: 0.077148
  5. Case #5: 0.004237
  6. Case #6: 0.923796
  7. Case #7: 0.139141
  8. Case #8: 0.051313
  9. Case #9: 0.005979
  10. Case #10: 0.168208
  11. Case #11: 0.106575
  12. Case #12: 0.165993
  13. Case #13: 0.008298
  14. Case #14: 0.005977
  15. Case #15: 0.004060
  16. Case #16: 0.008449
  17. Case #17: 0.017903
  18. Case #18: 0.599077
  19. Case #19: 0.818137
  20. Case #20: 0.004076
  21. Case #21: 0.384280
  22. Case #22: 0.293160
  23. Case #23: 0.004008
  24. Case #24: 0.873997
  25. Case #25: 0.004227
  26. Case #26: 0.533734
  27. Case #27: 0.015370
  28. Case #28: 0.008117
  29. Case #29: 0.223215
  30. Case #30: 0.019063
  31. Case #31: 0.417852
  32. Case #32: 0.495402
  33. Case #33: 0.050107
  34. Case #34: 1.000000
  35. Case #35: 0.008621
  36. Case #36: 0.393037
  37. Case #37: 0.986303
  38. Case #38: 0.105894
  39. Case #39: 0.009590
  40. Case #40: 0.079445
  41. Case #41: 0.042811
  42. Case #42: 0.158488
  43. Case #43: 0.140062
  44. Case #44: 0.998763
  45. Case #45: 0.059207
  46. Case #46: 0.724720
  47. Case #47: 0.491175
  48. Case #48: 0.131382
  49. Case #49: 0.641442
  50. Case #50: 0.006132
  51. Case #51: 0.011212
  52. Case #52: 0.004084
  53. Case #53: 0.013354
  54. Case #54: 0.209965
  55. Case #55: 0.019440
  56. Case #56: 0.008503
  57. Case #57: 0.007445
  58. Case #58: 0.186334
  59. Case #59: 0.826329
  60. Case #60: 0.011815
  61. Case #61: 0.674092
  62. Case #62: 0.004032
  63. Case #63: 0.045092
  64. Case #64: 0.004129
  65. Case #65: 0.999398
  66. Case #66: 0.953621
  67. Case #67: 0.026490
  68. Case #68: 0.245310
  69. Case #69: 0.052596
  70. Case #70: 0.004000
  71. Case #71: 0.348395
  72. Case #72: 0.160780
  73. Case #73: 0.004060
  74. Case #74: 0.006278
  75. Case #75: 0.449442
  76. Case #76: 0.101923
  77. Case #77: 0.011783
  78. Case #78: 0.112310
  79. Case #79: 0.943978
  80. Case #80: 0.058360
  81. Case #81: 0.034712
  82. Case #82: 0.788789
  83. Case #83: 0.041220
  84. Case #84: 0.679241
  85. Case #85: 0.006821
  86. Case #86: 0.019052
  87. Case #87: 0.081869
  88. Case #88: 0.015961
  89. Case #89: 0.845216
  90. Case #90: 1.000000
  91. Case #91: 0.530284
  92. Case #92: 0.014949
  93. Case #93: 0.536403
  94. Case #94: 0.802096
  95. Case #95: 0.004679
  96. Case #96: 0.944380
  97. Case #97: 0.045758
  98. Case #98: 0.749937
  99. Case #99: 1.000000