iters=5 new-facts=1 prior-facts=1 | | mean | 273.610 | | σ | 0.009 | | min | 273.602 | | max | 273.624 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.384 | | σ | 0.005 | | min | 0.381 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.004 | | σ | 0.009 | | min | 1933.996 | | max | 1934.015 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.941 | | σ | 0.213 | | min | 2.703 | | max | 3.247 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.541 | | σ | 1.084 | | min | 4753.199 | | max | 4756.226 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.469 | | σ | 0.491 | | min | 7.721 | | max | 8.938 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.081 | | σ | 0.192 | | min | 4944.859 | | max | 4945.250 |
| | mean | 3077.000 | | σ | 230.880 | | min | 2835.000 | | max | 3414.000 |
| | mean | 8.679 | | σ | 0.200 | | min | 8.462 | | max | 8.948 |
|