iters=5 new-facts=1 prior-facts=1 | | mean | 277.196 | | σ | 0.005 | | min | 277.190 | | max | 277.203 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 0.399 | | σ | 0.009 | | min | 0.394 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435 | | σ | 0.018 | | min | 2174.414 | | max | 2174.464 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 2.886 | | σ | 0.104 | | min | 2.786 | | max | 3.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.609 | | σ | 1.003 | | min | 5052.046 | | max | 5054.391 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 9.090 | | σ | 0.697 | | min | 8.034 | | max | 9.782 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.397 | | σ | 0.125 | | min | 5188.229 | | max | 5188.528 |
| | mean | 3220.000 | | σ | 459.772 | | min | 2700.000 | | max | 3847.000 |
| | mean | 8.791 | | σ | 0.160 | | min | 8.645 | | max | 9.056 |
|