iters=5 new-facts=1 prior-facts=1 | | mean | 275.561 | | σ | 0.004 | | min | 275.556 | | max | 275.565 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.397 | | σ | 0.005 | | min | 0.394 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093 | | σ | 0.007 | | min | 2168.085 | | max | 2168.104 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.983 | | σ | 0.180 | | min | 2.766 | | max | 3.236 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.800 | | σ | 1.025 | | min | 5046.889 | | max | 5049.556 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.794 | | σ | 0.504 | | min | 8.107 | | max | 9.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.031 | | σ | 0.089 | | min | 5178.959 | | max | 5179.139 |
| | mean | 3264.200 | | σ | 338.755 | | min | 2825.000 | | max | 3699.000 |
| | mean | 9.416 | | σ | 0.443 | | min | 8.886 | | max | 9.994 |
|