iters=5 new-facts=1 prior-facts=1 | | mean | 324.768 | | σ | 0.041 | | min | 324.695 | | max | 324.796 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.420 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.306 | | σ | 0.026 | | min | 1985.272 | | max | 1985.334 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 2.668 | | σ | 0.126 | | min | 2.575 | | max | 2.837 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.882 | | σ | 7.475 | | min | 4805.060 | | max | 4822.243 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 8.655 | | σ | 0.525 | | min | 7.927 | | max | 9.401 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628 | | σ | 0.025 | | min | 4996.601 | | max | 4996.656 |
| | mean | 3000.000 | | σ | 326.277 | | min | 2724.000 | | max | 3488.000 |
| | mean | 8.508 | | σ | 0.117 | | min | 8.427 | | max | 8.712 |
|