iters=5 new-facts=1 prior-facts=1 | | mean | 285.392 | | σ | 0.010 | | min | 285.376 | | max | 285.403 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.376 | | σ | 0.001 | | min | 0.375 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355 | | σ | 0.139 | | min | 1285.287 | | max | 1285.604 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.889 | | σ | 0.075 | | min | 1.834 | | max | 2.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.674 | | σ | 7.007 | | min | 1804.319 | | max | 1820.193 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 4.137 | | σ | 0.171 | | min | 3.846 | | max | 4.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.176 | | σ | 0.011 | | min | 2070.163 | | max | 2070.194 |
| | mean | 1846.600 | | σ | 177.714 | | min | 1629.000 | | max | 2092.000 |
| | mean | 4.469 | | σ | 0.026 | | min | 4.444 | | max | 4.510 |
|