iters=5 new-facts=1 prior-facts=1 | | mean | 326.448 | | σ | 0.035 | | min | 326.388 | | max | 326.479 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 0.427 | | σ | 0.006 | | min | 0.421 | | max | 0.434 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.605 | | σ | 0.016 | | min | 1988.586 | | max | 1988.620 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 2.682 | | σ | 0.067 | | min | 2.636 | | max | 2.800 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.266 | | σ | 7.900 | | min | 4808.830 | | max | 4827.366 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 8.781 | | σ | 0.619 | | min | 7.802 | | max | 9.436 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.012 | | σ | 0.027 | | min | 5000.982 | | max | 5001.041 |
| | mean | 3031.200 | | σ | 213.774 | | min | 2824.000 | | max | 3332.000 |
| | mean | 9.808 | | σ | 0.149 | | min | 9.704 | | max | 10.068 |
|