ちなみに、実行結果とか。

歯医者に行くまでの時間つぶし。
4スレッドでの実行結果をちょっと見せると、標準エラー出力がこんな感じ。たまに改行部分がコンフリクトしてるが、まあ仕方ないな。修正してもいいけども。

Case #3: 0.650177
Case #5: 0.500000
Case #6: 0.373721
Case #7: 0.051801
Case #8: 0.505441
Case #9: 0.744503
Case #10: Case #1: 0.202063
0.000416
Case #12: 0.794587
Case #13: 0.812514
Case #14: 0.997844
Case #2: 0.793995
Case #16: 0.881144
Case #17: 0.263105
Case #18: 0.005709
Case #15: 0.928544
Case #20: 0.488548
Case #19: 0.986762
Case #22: 0.644850
Case #23: 0.978144
Case #24: 0.997806
Case #4: 0.010994
Case #26: 0.897895
Case #27: 0.121810
Case #28: 0.999999
Case #29: 0.810456
Case #11: 0.000066
Case #31: 0.615953
Case #30: 0.660872
Case #33: 0.298558
Case #34: 0.516639
Case #35: 0.999672
Case #36: 0.000000
Case #37: 0.456759
Case #38: 0.000066
Case #21: 0.022217
Case #40: 0.945750
Case #25: 0.372163
Case #42: 0.901187
Case #43: 1.000000
Case #44: 0.982655
Case #41: 0.070637
Case #46: 0.000000
Case #47: 0.140028
Case #45: 0.988196
Case #49: 0.422886
Case #50: 0.165479
Case #51: Case #48: 0.995289
0.627352
Case #52: 0.085918
Case #54: 0.998759
Case #32: Case #55: 0.049869
1.000000
Case #57: 0.193895
Case #56: 0.137179
Case #53: 0.000000
Case #59: 0.125010
Case #61: 0.194138
Case #60: 0.999287
Case #63: 0.500000
Case #64: 0.955268
Case #65: 0.623673
Case #66: 0.461597
Case #67: 0.104624
Case #68: 0.590217
Case #69: 0.999967
Case #58: 0.000085
Case #71: 0.522850
Case #72: 0.755194
Case #73: 0.996187
Case #74: 0.222416
Case #75: 0.063716
Case #76: 0.257575
Case #77: 0.000000
Case #78: 0.241933
Case #79: 0.999969
Case #80: 0.000000
Case #81: 0.618045
Case #62: 0.999999
Case #83: 0.114334
Case #84: 1.000000
Case #82: 0.224308
Case #86: 0.981606
Case #87: 0.435203
Case #85: 0.793718
Case #89: 0.250934
Case #90: 0.999991
Case #91: 0.999424
Case #92: 0.135493
Case #93: 0.168648
Case #94: 0.843750
Case #95: 0.998950
Case #96: 0.643164
Case #88: 0.408201
Case #98: 0.429763
Case #99: 0.012053
Case #100: 1.000000
Case #39: 0.000000
Case #97: 0.000508
Case #70: 0.637716

ちなみに、標準出力の結果は

Case #1: 0.252281
Case #2: 0.135049
Case #3: 0.000308
Case #4: 0.239010
Case #5: 0.000000
Case #6: 0.751851
Case #7: 0.184417
Case #8: 0.000000
Case #9: 0.501868
Case #10: 0.488744
Case #11: 0.000000
...

と、ちゃんとなっております。