iters=5 new-facts=1 prior-facts=1 | | mean | 326.575 | | σ | 0.045 | | min | 326.497 | | max | 326.610 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 0.426 | | σ | 0.005 | | min | 0.423 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.744 | | σ | 0.005 | | min | 1988.735 | | max | 1988.750 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 2.730 | | σ | 0.110 | | min | 2.633 | | max | 2.917 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.633 | | σ | 7.707 | | min | 4810.059 | | max | 4827.418 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 8.809 | | σ | 0.761 | | min | 7.790 | | max | 9.812 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.135 | | σ | 0.024 | | min | 5001.102 | | max | 5001.162 |
| | mean | 3002.000 | | σ | 260.426 | | min | 2616.000 | | max | 3311.000 |
| | mean | 9.516 | | σ | 0.272 | | min | 9.052 | | max | 9.767 |
|