iters=5 new-facts=1 prior-facts=1 | | mean | 277.182 | | σ | 0.015 | | min | 277.165 | | max | 277.201 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 0.404 | | σ | 0.002 | | min | 0.402 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.443 | | σ | 0.017 | | min | 2174.423 | | max | 2174.469 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 2.933 | | σ | 0.101 | | min | 2.765 | | max | 3.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.592 | | σ | 0.986 | | min | 5051.987 | | max | 5054.343 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 9.089 | | σ | 0.571 | | min | 8.078 | | max | 9.445 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426 | | σ | 0.088 | | min | 5188.358 | | max | 5188.531 |
| | mean | 3230.000 | | σ | 365.865 | | min | 2702.000 | | max | 3689.000 |
| | mean | 8.948 | | σ | 0.406 | | min | 8.674 | | max | 9.658 |
|