iters=5 new-facts=1 prior-facts=1 | | mean | 324.580 | | σ | 0.063 | | min | 324.468 | | max | 324.617 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.429 | | σ | 0.011 | | min | 0.423 | | max | 0.448 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.147 | | σ | 0.012 | | min | 1985.128 | | max | 1985.157 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.611 | | σ | 0.071 | | min | 2.546 | | max | 2.730 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.738 | | σ | 7.677 | | min | 4805.274 | | max | 4822.471 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.917 | | σ | 0.149 | | min | 8.701 | | max | 9.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.269 | | σ | 0.170 | | min | 4995.966 | | max | 4996.357 |
| | mean | 3062.200 | | σ | 301.057 | | min | 2843.000 | | max | 3531.000 |
| | mean | 8.615 | | σ | 0.334 | | min | 8.408 | | max | 9.206 |
|