iters=5 new-facts=1 prior-facts=1 | | mean | 285.026 | | σ | 0.037 | | min | 284.977 | | max | 285.062 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.385 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.413 | | σ | 0.110 | | min | 1295.297 | | max | 1295.546 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 1.904 | | σ | 0.096 | | min | 1.805 | | max | 2.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.517 | | σ | 6.846 | | min | 1536.217 | | max | 1551.759 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 2.331 | | σ | 0.257 | | min | 2.036 | | max | 2.623 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.313 | | σ | 0.065 | | min | 1857.233 | | max | 1857.401 |
| | mean | 1778.400 | | σ | 136.992 | | min | 1622.000 | | max | 1911.000 |
| | mean | 3.041 | | σ | 0.180 | | min | 2.880 | | max | 3.341 |
|