iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.044 | | min | 324.627 | | max | 324.732 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.013 | | min | 1985.246 | | max | 1985.280 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 2.664 | | σ | 0.131 | | min | 2.506 | | max | 2.810 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.861 | | σ | 7.668 | | min | 4805.395 | | max | 4822.578 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 8.905 | | σ | 0.122 | | min | 8.765 | | max | 9.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.398 | | σ | 0.151 | | min | 4996.128 | | max | 4996.481 |
| | mean | 2954.800 | | σ | 422.385 | | min | 2474.000 | | max | 3524.000 |
| | mean | 8.618 | | σ | 0.238 | | min | 8.429 | | max | 8.987 |
|