iters=5 new-facts=1 prior-facts=1 | | mean | 326.453 | | σ | 0.031 | | min | 326.401 | | max | 326.477 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.423 | | σ | 0.003 | | min | 0.419 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.611 | | σ | 0.009 | | min | 1988.600 | | max | 1988.621 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.703 | | σ | 0.067 | | min | 2.643 | | max | 2.783 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.259 | | σ | 7.852 | | min | 4808.982 | | max | 4827.281 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.350 | | σ | 0.599 | | min | 7.754 | | max | 9.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.864 | | σ | 0.199 | | min | 5000.630 | | max | 5001.043 |
| | mean | 3067.200 | | σ | 319.920 | | min | 2825.000 | | max | 3556.000 |
| | mean | 9.093 | | σ | 0.492 | | min | 8.479 | | max | 9.693 |
|