iters=5 new-facts=1 prior-facts=1 | | mean | 326.449 | | σ | 0.038 | | min | 326.382 | | max | 326.472 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.613 | | σ | 0.009 | | min | 1988.598 | | max | 1988.623 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 2.676 | | σ | 0.078 | | min | 2.562 | | max | 2.763 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.456 | | σ | 7.732 | | min | 4809.946 | | max | 4827.287 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 8.944 | | σ | 0.246 | | min | 8.655 | | max | 9.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.005 | | σ | 0.020 | | min | 5000.981 | | max | 5001.025 |
| | mean | 3000.000 | | σ | 279.022 | | min | 2613.000 | | max | 3312.000 |
| | mean | 9.605 | | σ | 0.435 | | min | 8.833 | | max | 9.857 |
|