iters=5 new-facts=1 prior-facts=1 | | mean | 326.578 | | σ | 0.031 | | min | 326.525 | | max | 326.600 |
| | mean | 2616.000 | | σ | 0.000 | | min | 2616.000 | | max | 2616.000 |
| | mean | 0.429 | | σ | 0.004 | | min | 0.424 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.731 | | σ | 0.012 | | min | 1988.715 | | max | 1988.744 |
| | mean | 2616.000 | | σ | 0.000 | | min | 2616.000 | | max | 2616.000 |
| | mean | 2.652 | | σ | 0.047 | | min | 2.586 | | max | 2.713 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.572 | | σ | 7.741 | | min | 4810.088 | | max | 4827.419 |
| | mean | 2616.000 | | σ | 0.000 | | min | 2616.000 | | max | 2616.000 |
| | mean | 8.868 | | σ | 0.282 | | min | 8.488 | | max | 9.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.138 | | σ | 0.025 | | min | 5001.114 | | max | 5001.174 |
| | mean | 2979.400 | | σ | 276.702 | | min | 2616.000 | | max | 3317.000 |
| | mean | 9.728 | | σ | 0.222 | | min | 9.374 | | max | 9.946 |
|