iters=5 new-facts=1 prior-facts=1 | | mean | 324.744 | | σ | 0.051 | | min | 324.654 | | max | 324.784 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.430 | | σ | 0.008 | | min | 0.421 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.310 | | σ | 0.015 | | min | 1985.295 | | max | 1985.327 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.755 | | σ | 0.116 | | min | 2.652 | | max | 2.940 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.967 | | σ | 7.476 | | min | 4805.579 | | max | 4822.341 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.912 | | σ | 0.219 | | min | 8.673 | | max | 9.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.562 | | σ | 0.150 | | min | 4996.296 | | max | 4996.652 |
| | mean | 3051.000 | | σ | 227.512 | | min | 2843.000 | | max | 3292.000 |
| | mean | 8.686 | | σ | 0.213 | | min | 8.416 | | max | 9.010 |
|