iters=5 new-facts=1 prior-facts=1 | | mean | 326.640 | | σ | 0.044 | | min | 326.563 | | max | 326.666 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.422 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804 | | σ | 0.003 | | min | 1988.801 | | max | 1988.807 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.728 | | σ | 0.117 | | min | 2.623 | | max | 2.876 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.644 | | σ | 7.726 | | min | 4810.139 | | max | 4827.464 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.834 | | σ | 0.299 | | min | 8.392 | | max | 9.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.055 | | σ | 0.330 | | min | 5000.468 | | max | 5001.246 |
| | mean | 3057.600 | | σ | 246.150 | | min | 2825.000 | | max | 3416.000 |
| | mean | 9.592 | | σ | 0.622 | | min | 8.497 | | max | 10.017 |
|