iters=5 new-facts=1 prior-facts=1 | | mean | 299.453 | | σ | 0.045 | | min | 299.381 | | max | 299.499 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.388 | | σ | 0.008 | | min | 0.383 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.869 | | σ | 0.089 | | min | 1309.757 | | max | 1309.997 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.892 | | σ | 0.060 | | min | 1.801 | | max | 1.954 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.984 | | σ | 6.868 | | min | 1550.695 | | max | 1566.264 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 2.264 | | σ | 0.219 | | min | 2.014 | | max | 2.569 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.759 | | σ | 0.048 | | min | 1871.706 | | max | 1871.813 |
| | mean | 1754.200 | | σ | 121.923 | | min | 1649.000 | | max | 1947.000 |
| | mean | 2.789 | | σ | 0.097 | | min | 2.725 | | max | 2.951 |
|