iters=5 new-facts=1 prior-facts=1 | | mean | 269.928 | | σ | 0.010 | | min | 269.912 | | max | 269.939 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 0.372 | | σ | 0.007 | | min | 0.368 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.383 | | σ | 0.030 | | min | 1930.337 | | max | 1930.405 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 2.557 | | σ | 0.087 | | min | 2.482 | | max | 2.680 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.825 | | σ | 0.829 | | min | 4750.317 | | max | 4752.289 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 8.695 | | σ | 0.294 | | min | 8.369 | | max | 8.975 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332 | | σ | 0.094 | | min | 4941.255 | | max | 4941.435 |
| | mean | 3020.000 | | σ | 189.582 | | min | 2852.000 | | max | 3314.000 |
| | mean | 8.583 | | σ | 0.120 | | min | 8.407 | | max | 8.737 |
|