iters=5 new-facts=1 prior-facts=1 | | mean | 285.607 | | σ | 0.012 | | min | 285.587 | | max | 285.617 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 0.381 | | σ | 0.006 | | min | 0.376 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.565 | | σ | 0.135 | | min | 1285.495 | | max | 1285.806 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 1.824 | | σ | 0.085 | | min | 1.712 | | max | 1.926 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.916 | | σ | 7.017 | | min | 1804.547 | | max | 1820.452 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 4.229 | | σ | 0.189 | | min | 4.003 | | max | 4.458 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.393 | | σ | 0.011 | | min | 2070.382 | | max | 2070.411 |
| | mean | 1854.000 | | σ | 207.823 | | min | 1591.000 | | max | 2077.000 |
| | mean | 4.452 | | σ | 0.067 | | min | 4.395 | | max | 4.561 |
|