iters=5 new-facts=1 prior-facts=1 | | mean | 326.632 | | σ | 0.061 | | min | 326.523 | | max | 326.671 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 0.429 | | σ | 0.006 | | min | 0.424 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799 | | σ | 0.015 | | min | 1988.782 | | max | 1988.820 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 2.679 | | σ | 0.143 | | min | 2.576 | | max | 2.926 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553 | | σ | 7.513 | | min | 4810.142 | | max | 4826.992 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 8.923 | | σ | 0.444 | | min | 8.467 | | max | 9.539 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131 | | σ | 0.156 | | min | 5000.855 | | max | 5001.231 |
| | mean | 2989.200 | | σ | 228.327 | | min | 2760.000 | | max | 3322.000 |
| | mean | 9.645 | | σ | 0.182 | | min | 9.460 | | max | 9.901 |
|