iters=5 new-facts=1 prior-facts=1 | | mean | 271.599 | | σ | 0.006 | | min | 271.593 | | max | 271.608 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 0.386 | | σ | 0.005 | | min | 0.382 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.000 | | σ | 0.016 | | min | 1931.976 | | max | 1932.018 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 2.520 | | σ | 0.071 | | min | 2.458 | | max | 2.633 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.502 | | σ | 1.177 | | min | 4751.106 | | max | 4754.367 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 8.594 | | σ | 0.584 | | min | 7.698 | | max | 9.056 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.138 | | σ | 0.157 | | min | 4942.858 | | max | 4943.224 |
| | mean | 2996.200 | | σ | 299.547 | | min | 2589.000 | | max | 3363.000 |
| | mean | 8.624 | | σ | 0.296 | | min | 8.354 | | max | 9.084 |
|