iters=5 new-facts=1 prior-facts=1 | | mean | 285.028 | | σ | 0.037 | | min | 284.978 | | max | 285.072 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 0.398 | | σ | 0.007 | | min | 0.389 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.427 | | σ | 0.073 | | min | 1295.346 | | max | 1295.493 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 2.067 | | σ | 0.056 | | min | 2.008 | | max | 2.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.559 | | σ | 6.819 | | min | 1536.337 | | max | 1551.754 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 2.304 | | σ | 0.149 | | min | 2.132 | | max | 2.495 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.311 | | σ | 0.075 | | min | 1857.196 | | max | 1857.380 |
| | mean | 1756.400 | | σ | 181.467 | | min | 1507.000 | | max | 1924.000 |
| | mean | 3.227 | | σ | 0.257 | | min | 2.945 | | max | 3.518 |
|