iters=5 new-facts=1 prior-facts=1 | | mean | 296.635 | | σ | 0.016 | | min | 296.618 | | max | 296.658 |
| | mean | 1601.000 | | σ | 0.000 | | min | 1601.000 | | max | 1601.000 |
| | mean | 0.387 | | σ | 0.005 | | min | 0.382 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1318.885 | | σ | 0.089 | | min | 1318.841 | | max | 1319.044 |
| | mean | 1601.000 | | σ | 0.000 | | min | 1601.000 | | max | 1601.000 |
| | mean | 1.948 | | σ | 0.107 | | min | 1.842 | | max | 2.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1557.276 | | σ | 6.832 | | min | 1554.016 | | max | 1569.493 |
| | mean | 1601.000 | | σ | 0.000 | | min | 1601.000 | | max | 1601.000 |
| | mean | 2.378 | | σ | 0.216 | | min | 2.126 | | max | 2.668 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1886.723 | | σ | 0.021 | | min | 1886.703 | | max | 1886.750 |
| | mean | 1766.800 | | σ | 187.915 | | min | 1601.000 | | max | 2034.000 |
| | mean | 2.917 | | σ | 0.095 | | min | 2.769 | | max | 3.020 |
|