iters=5 new-facts=1 prior-facts=1 | | mean | 273.479 | | σ | 0.007 | | min | 273.471 | | max | 273.490 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 0.375 | | σ | 0.002 | | min | 0.374 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.898 | | σ | 0.011 | | min | 1933.885 | | max | 1933.914 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 3.107 | | σ | 0.187 | | min | 2.972 | | max | 3.432 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.237 | | σ | 1.165 | | min | 4753.147 | | max | 4756.183 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 8.437 | | σ | 0.439 | | min | 7.668 | | max | 8.726 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.975 | | σ | 0.332 | | min | 4944.381 | | max | 4945.143 |
| | mean | 3054.400 | | σ | 253.595 | | min | 2858.000 | | max | 3434.000 |
| | mean | 8.407 | | σ | 0.114 | | min | 8.310 | | max | 8.599 |
|