iters=5 new-facts=1 prior-facts=1 | | mean | 326.569 | | σ | 0.052 | | min | 326.477 | | max | 326.599 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.423 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.741 | | σ | 0.006 | | min | 1988.731 | | max | 1988.747 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 2.660 | | σ | 0.212 | | min | 2.437 | | max | 3.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.471 | | σ | 7.801 | | min | 4809.505 | | max | 4827.417 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 8.971 | | σ | 0.328 | | min | 8.586 | | max | 9.303 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.142 | | σ | 0.036 | | min | 5001.106 | | max | 5001.194 |
| | mean | 3019.600 | | σ | 292.486 | | min | 2607.000 | | max | 3391.000 |
| | mean | 9.651 | | σ | 0.383 | | min | 9.138 | | max | 10.105 |
|