iters=5 new-facts=1 prior-facts=1 | | mean | 275.760 | | σ | 0.012 | | min | 275.747 | | max | 275.775 |
| | mean | 2645.000 | | σ | 0.000 | | min | 2645.000 | | max | 2645.000 |
| | mean | 0.399 | | σ | 0.005 | | min | 0.394 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.293 | | σ | 0.004 | | min | 2168.288 | | max | 2168.299 |
| | mean | 2645.000 | | σ | 0.000 | | min | 2645.000 | | max | 2645.000 |
| | mean | 2.922 | | σ | 0.094 | | min | 2.761 | | max | 2.993 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.978 | | σ | 1.009 | | min | 5047.209 | | max | 5049.747 |
| | mean | 2645.000 | | σ | 0.000 | | min | 2645.000 | | max | 2645.000 |
| | mean | 8.877 | | σ | 0.511 | | min | 8.028 | | max | 9.354 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.152 | | σ | 0.212 | | min | 5178.791 | | max | 5179.316 |
| | mean | 3230.200 | | σ | 396.287 | | min | 2692.000 | | max | 3739.000 |
| | mean | 9.517 | | σ | 0.723 | | min | 8.718 | | max | 10.352 |
|