iters=5 new-facts=1 prior-facts=1 | | mean | 300.718 | | σ | 0.026 | | min | 300.683 | | max | 300.752 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.393 | | σ | 0.006 | | min | 0.388 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.856 | | σ | 0.080 | | min | 1322.761 | | max | 1322.982 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 1.865 | | σ | 0.046 | | min | 1.826 | | max | 1.943 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.384 | | σ | 6.876 | | min | 1558.137 | | max | 1573.680 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.511 | | σ | 0.260 | | min | 2.128 | | max | 2.841 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.804 | | σ | 0.026 | | min | 1890.777 | | max | 1890.845 |
| | mean | 1764.800 | | σ | 167.820 | | min | 1628.000 | | max | 2024.000 |
| | mean | 2.934 | | σ | 0.114 | | min | 2.864 | | max | 3.135 |
|