iters=5 new-facts=1 prior-facts=1 | | mean | 273.403 | | σ | 0.009 | | min | 273.392 | | max | 273.414 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 0.388 | | σ | 0.009 | | min | 0.379 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.837 | | σ | 0.013 | | min | 1933.818 | | max | 1933.854 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 2.953 | | σ | 0.193 | | min | 2.734 | | max | 3.225 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.356 | | σ | 0.797 | | min | 4753.840 | | max | 4755.771 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 8.482 | | σ | 0.367 | | min | 7.863 | | max | 8.772 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.801 | | σ | 0.100 | | min | 4944.708 | | max | 4944.923 |
| | mean | 3045.000 | | σ | 386.578 | | min | 2489.000 | | max | 3399.000 |
| | mean | 8.739 | | σ | 0.423 | | min | 8.332 | | max | 9.426 |
|