iters=5 new-facts=1 prior-facts=1 | | mean | 275.753 | | σ | 0.007 | | min | 275.746 | | max | 275.764 |
| | mean | 2649.000 | | σ | 0.000 | | min | 2649.000 | | max | 2649.000 |
| | mean | 0.405 | | σ | 0.010 | | min | 0.396 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282 | | σ | 0.010 | | min | 2168.272 | | max | 2168.294 |
| | mean | 2649.000 | | σ | 0.000 | | min | 2649.000 | | max | 2649.000 |
| | mean | 2.906 | | σ | 0.113 | | min | 2.741 | | max | 3.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.092 | | σ | 0.928 | | min | 5047.586 | | max | 5049.747 |
| | mean | 2649.000 | | σ | 0.000 | | min | 2649.000 | | max | 2649.000 |
| | mean | 8.938 | | σ | 0.471 | | min | 8.134 | | max | 9.317 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238 | | σ | 0.081 | | min | 5179.165 | | max | 5179.338 |
| | mean | 3274.000 | | σ | 380.699 | | min | 2736.000 | | max | 3733.000 |
| | mean | 9.916 | | σ | 0.328 | | min | 9.560 | | max | 10.205 |
|