iters=5 new-facts=1 prior-facts=1 | | mean | 285.392 | | σ | 0.010 | | min | 285.375 | | max | 285.402 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.372 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.357 | | σ | 0.125 | | min | 1285.286 | | max | 1285.580 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.995 | | σ | 0.280 | | min | 1.726 | | max | 2.417 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.681 | | σ | 7.009 | | min | 1804.323 | | max | 1820.204 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 4.146 | | σ | 0.199 | | min | 3.873 | | max | 4.418 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.177 | | σ | 0.009 | | min | 2070.165 | | max | 2070.191 |
| | mean | 1840.600 | | σ | 169.926 | | min | 1644.000 | | max | 2078.000 |
| | mean | 4.496 | | σ | 0.066 | | min | 4.392 | | max | 4.575 |
|