iters=5 new-facts=1 prior-facts=1 | | mean | 277.196 | | σ | 0.005 | | min | 277.191 | | max | 277.203 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 0.404 | | σ | 0.007 | | min | 0.396 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.436 | | σ | 0.006 | | min | 2174.427 | | max | 2174.442 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 2.988 | | σ | 0.218 | | min | 2.758 | | max | 3.283 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.639 | | σ | 0.960 | | min | 5052.098 | | max | 5054.345 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 8.552 | | σ | 0.580 | | min | 7.916 | | max | 9.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426 | | σ | 0.085 | | min | 5188.359 | | max | 5188.522 |
| | mean | 3276.000 | | σ | 432.241 | | min | 2674.000 | | max | 3674.000 |
| | mean | 8.850 | | σ | 0.239 | | min | 8.581 | | max | 9.237 |
|