iters=5 new-facts=1 prior-facts=1 | | mean | 285.029 | | σ | 0.036 | | min | 284.980 | | max | 285.071 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.396 | | σ | 0.010 | | min | 0.387 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.416 | | σ | 0.107 | | min | 1295.297 | | max | 1295.544 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.912 | | σ | 0.087 | | min | 1.814 | | max | 2.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.584 | | σ | 6.829 | | min | 1536.305 | | max | 1551.795 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 2.388 | | σ | 0.276 | | min | 1.960 | | max | 2.703 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.320 | | σ | 0.057 | | min | 1857.265 | | max | 1857.402 |
| | mean | 1770.600 | | σ | 130.494 | | min | 1637.000 | | max | 1905.000 |
| | mean | 3.067 | | σ | 0.299 | | min | 2.844 | | max | 3.582 |
|