iters=5 new-facts=1 prior-facts=1 | | mean | 278.822 | | σ | 0.004 | | min | 278.817 | | max | 278.828 |
| | mean | 2684.000 | | σ | 0.000 | | min | 2684.000 | | max | 2684.000 |
| | mean | 0.409 | | σ | 0.005 | | min | 0.406 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.888 | | σ | 0.008 | | min | 2268.878 | | max | 2268.898 |
| | mean | 2684.000 | | σ | 0.000 | | min | 2684.000 | | max | 2684.000 |
| | mean | 2.966 | | σ | 0.139 | | min | 2.891 | | max | 3.214 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.293 | | σ | 1.023 | | min | 4953.577 | | max | 4956.100 |
| | mean | 2684.000 | | σ | 0.000 | | min | 2684.000 | | max | 2684.000 |
| | mean | 8.188 | | σ | 0.711 | | min | 7.685 | | max | 9.409 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.832 | | σ | 0.100 | | min | 5168.721 | | max | 5168.915 |
| | mean | 3441.400 | | σ | 455.336 | | min | 2789.000 | | max | 3975.000 |
| | mean | 9.550 | | σ | 0.475 | | min | 9.000 | | max | 10.237 |
|