iters=5 new-facts=1 prior-facts=1 | | mean | 262.594 | | σ | 0.008 | | min | 262.581 | | max | 262.599 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 0.356 | | σ | 0.008 | | min | 0.347 | | max | 0.364 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.655 | | σ | 0.091 | | min | 1262.612 | | max | 1262.818 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 1.906 | | σ | 0.099 | | min | 1.789 | | max | 2.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.190 | | σ | 7.023 | | min | 2054.858 | | max | 2070.742 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 4.545 | | σ | 0.263 | | min | 4.279 | | max | 4.860 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.396 | | σ | 0.006 | | min | 2047.391 | | max | 2047.405 |
| | mean | 1821.000 | | σ | 196.757 | | min | 1515.000 | | max | 1982.000 |
| | mean | 4.433 | | σ | 0.035 | | min | 4.401 | | max | 4.481 |
|