iters=5 new-facts=1 prior-facts=1 | | mean | 303.519 | | σ | 0.053 | | min | 303.442 | | max | 303.567 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 0.391 | | σ | 0.002 | | min | 0.389 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.066 | | σ | 0.111 | | min | 1325.926 | | max | 1326.206 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 1.909 | | σ | 0.102 | | min | 1.816 | | max | 2.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.109 | | σ | 6.917 | | min | 1560.759 | | max | 1576.476 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 2.344 | | σ | 0.280 | | min | 2.115 | | max | 2.689 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.001 | | σ | 0.062 | | min | 1893.892 | | max | 1894.046 |
| | mean | 1768.800 | | σ | 177.856 | | min | 1619.000 | | max | 2044.000 |
| | mean | 2.939 | | σ | 0.092 | | min | 2.856 | | max | 3.056 |
|