iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.040 | | min | 324.643 | | max | 324.745 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.426 | | σ | 0.006 | | min | 0.423 | | max | 0.438 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.017 | | min | 1985.245 | | max | 1985.278 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.574 | | σ | 0.083 | | min | 2.452 | | max | 2.653 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.008 | | σ | 7.701 | | min | 4805.484 | | max | 4822.784 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.867 | | σ | 0.365 | | min | 8.280 | | max | 9.118 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.569 | | σ | 0.016 | | min | 4996.553 | | max | 4996.591 |
| | mean | 3050.600 | | σ | 204.462 | | min | 2826.000 | | max | 3347.000 |
| | mean | 8.665 | | σ | 0.168 | | min | 8.497 | | max | 8.861 |
|