iters=5 new-facts=1 prior-facts=1 | | mean | 326.568 | | σ | 0.047 | | min | 326.484 | | max | 326.595 |
| | mean | 2600.000 | | σ | 0.000 | | min | 2600.000 | | max | 2600.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.738 | | σ | 0.012 | | min | 1988.718 | | max | 1988.747 |
| | mean | 2600.000 | | σ | 0.000 | | min | 2600.000 | | max | 2600.000 |
| | mean | 2.726 | | σ | 0.163 | | min | 2.565 | | max | 2.912 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.515 | | σ | 7.788 | | min | 4809.661 | | max | 4827.440 |
| | mean | 2600.000 | | σ | 0.000 | | min | 2600.000 | | max | 2600.000 |
| | mean | 8.356 | | σ | 0.613 | | min | 7.762 | | max | 9.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.056 | | σ | 0.172 | | min | 5000.748 | | max | 5001.140 |
| | mean | 2958.800 | | σ | 390.668 | | min | 2600.000 | | max | 3505.000 |
| | mean | 9.252 | | σ | 0.588 | | min | 8.531 | | max | 9.829 |
|