iters=5 new-facts=1 prior-facts=1 | | mean | 288.981 | | σ | 0.034 | | min | 288.936 | | max | 289.017 |
| | mean | 1477.000 | | σ | 0.000 | | min | 1477.000 | | max | 1477.000 |
| | mean | 0.403 | | σ | 0.010 | | min | 0.396 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.358 | | σ | 0.061 | | min | 1299.287 | | max | 1299.425 |
| | mean | 1477.000 | | σ | 0.000 | | min | 1477.000 | | max | 1477.000 |
| | mean | 2.125 | | σ | 0.073 | | min | 2.025 | | max | 2.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1543.517 | | σ | 6.871 | | min | 1540.218 | | max | 1555.803 |
| | mean | 1477.000 | | σ | 0.000 | | min | 1477.000 | | max | 1477.000 |
| | mean | 2.324 | | σ | 0.195 | | min | 2.153 | | max | 2.621 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1861.256 | | σ | 0.084 | | min | 1861.125 | | max | 1861.338 |
| | mean | 1775.600 | | σ | 215.744 | | min | 1493.000 | | max | 1982.000 |
| | mean | 3.283 | | σ | 0.397 | | min | 2.879 | | max | 3.839 |
|