iters=5 new-facts=1 prior-facts=1 | | mean | 326.429 | | σ | 0.034 | | min | 326.372 | | max | 326.460 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.429 | | σ | 0.006 | | min | 0.424 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.604 | | σ | 0.016 | | min | 1988.580 | | max | 1988.618 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.739 | | σ | 0.154 | | min | 2.616 | | max | 3.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457 | | σ | 7.744 | | min | 4809.947 | | max | 4827.310 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.742 | | σ | 0.524 | | min | 7.990 | | max | 9.296 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010 | | σ | 0.027 | | min | 5000.985 | | max | 5001.052 |
| | mean | 3029.800 | | σ | 210.697 | | min | 2825.000 | | max | 3325.000 |
| | mean | 9.812 | | σ | 0.229 | | min | 9.422 | | max | 10.005 |
|