iters=5 new-facts=1 prior-facts=1 | | mean | 277.197 | | σ | 0.004 | | min | 277.192 | | max | 277.202 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 0.406 | | σ | 0.007 | | min | 0.402 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427 | | σ | 0.021 | | min | 2174.391 | | max | 2174.446 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 2.981 | | σ | 0.175 | | min | 2.776 | | max | 3.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.271 | | σ | 1.277 | | min | 5051.037 | | max | 5054.377 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 9.349 | | σ | 0.291 | | min | 8.861 | | max | 9.598 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.213 | | σ | 0.382 | | min | 5187.643 | | max | 5188.527 |
| | mean | 3252.000 | | σ | 345.453 | | min | 2774.000 | | max | 3650.000 |
| | mean | 9.022 | | σ | 0.414 | | min | 8.648 | | max | 9.611 |
|