iters=5 new-facts=1 prior-facts=1 | | mean | 269.934 | | σ | 0.011 | | min | 269.917 | | max | 269.945 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.383 | | σ | 0.006 | | min | 0.376 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.403 | | σ | 0.013 | | min | 1930.387 | | max | 1930.417 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.503 | | σ | 0.112 | | min | 2.405 | | max | 2.682 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.870 | | σ | 0.798 | | min | 4750.314 | | max | 4752.272 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.414 | | σ | 0.629 | | min | 7.568 | | max | 9.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.336 | | σ | 0.085 | | min | 4941.268 | | max | 4941.430 |
| | mean | 3093.800 | | σ | 252.406 | | min | 2843.000 | | max | 3352.000 |
| | mean | 8.656 | | σ | 0.256 | | min | 8.334 | | max | 8.971 |
|