iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.010 | | min | 285.394 | | max | 285.420 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.373 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353 | | σ | 0.085 | | min | 1285.307 | | max | 1285.506 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.872 | | σ | 0.079 | | min | 1.779 | | max | 1.992 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.719 | | σ | 6.987 | | min | 1804.357 | | max | 1820.203 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 4.251 | | σ | 0.293 | | min | 3.856 | | max | 4.670 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.192 | | σ | 0.003 | | min | 2070.187 | | max | 2070.194 |
| | mean | 1849.000 | | σ | 178.192 | | min | 1631.000 | | max | 2095.000 |
| | mean | 4.454 | | σ | 0.048 | | min | 4.418 | | max | 4.531 |
|