iters=5 new-facts=1 prior-facts=1 | | mean | 299.437 | | σ | 0.056 | | min | 299.351 | | max | 299.489 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.383 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.887 | | σ | 0.102 | | min | 1309.755 | | max | 1309.990 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 1.822 | | σ | 0.093 | | min | 1.694 | | max | 1.921 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.963 | | σ | 6.873 | | min | 1550.615 | | max | 1566.254 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 2.282 | | σ | 0.272 | | min | 2.119 | | max | 2.762 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.778 | | σ | 0.072 | | min | 1871.695 | | max | 1871.864 |
| | mean | 1719.600 | | σ | 203.661 | | min | 1541.000 | | max | 2019.000 |
| | mean | 2.877 | | σ | 0.069 | | min | 2.801 | | max | 2.952 |
|