iters=5 new-facts=1 prior-facts=1 | | mean | 326.571 | | σ | 0.048 | | min | 326.486 | | max | 326.608 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.417 | | σ | 0.018 | | min | 0.385 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.738 | | σ | 0.011 | | min | 1988.723 | | max | 1988.748 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.688 | | σ | 0.233 | | min | 2.445 | | max | 3.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.602 | | σ | 7.747 | | min | 4810.039 | | max | 4827.460 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 8.481 | | σ | 0.590 | | min | 7.831 | | max | 9.313 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.138 | | σ | 0.019 | | min | 5001.120 | | max | 5001.167 |
| | mean | 3065.800 | | σ | 309.824 | | min | 2837.000 | | max | 3547.000 |
| | mean | 9.541 | | σ | 0.616 | | min | 8.503 | | max | 10.087 |
|