iters=5 new-facts=1 prior-facts=1 | | mean | 326.517 | | σ | 0.032 | | min | 326.461 | | max | 326.541 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.427 | | σ | 0.005 | | min | 0.421 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.667 | | σ | 0.018 | | min | 1988.644 | | max | 1988.683 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.753 | | σ | 0.228 | | min | 2.627 | | max | 3.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.510 | | σ | 7.725 | | min | 4809.980 | | max | 4827.328 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.695 | | σ | 0.236 | | min | 8.452 | | max | 9.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.948 | | σ | 0.213 | | min | 5000.713 | | max | 5001.131 |
| | mean | 3037.800 | | σ | 210.010 | | min | 2836.000 | | max | 3337.000 |
| | mean | 9.855 | | σ | 0.380 | | min | 9.183 | | max | 10.086 |
|