iters=5 new-facts=1 prior-facts=1 | | mean | 294.671 | | σ | 0.026 | | min | 294.640 | | max | 294.707 |
| | mean | 1550.000 | | σ | 0.000 | | min | 1550.000 | | max | 1550.000 |
| | mean | 0.390 | | σ | 0.009 | | min | 0.381 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.943 | | σ | 0.096 | | min | 1316.899 | | max | 1317.115 |
| | mean | 1550.000 | | σ | 0.000 | | min | 1550.000 | | max | 1550.000 |
| | mean | 1.925 | | σ | 0.081 | | min | 1.825 | | max | 1.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.277 | | σ | 6.868 | | min | 1551.991 | | max | 1567.557 |
| | mean | 1550.000 | | σ | 0.000 | | min | 1550.000 | | max | 1550.000 |
| | mean | 2.271 | | σ | 0.233 | | min | 2.053 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.772 | | σ | 0.032 | | min | 1884.734 | | max | 1884.823 |
| | mean | 1785.000 | | σ | 222.213 | | min | 1550.000 | | max | 2084.000 |
| | mean | 3.072 | | σ | 0.094 | | min | 2.969 | | max | 3.199 |
|