iters=5 new-facts=1 prior-facts=1 | | mean | 326.587 | | σ | 0.024 | | min | 326.547 | | max | 326.608 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.427 | | σ | 0.006 | | min | 0.422 | | max | 0.434 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740 | | σ | 0.015 | | min | 1988.715 | | max | 1988.752 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.700 | | σ | 0.159 | | min | 2.566 | | max | 2.965 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474 | | σ | 7.800 | | min | 4809.583 | | max | 4827.421 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.943 | | σ | 0.294 | | min | 8.515 | | max | 9.228 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.067 | | σ | 0.166 | | min | 5000.770 | | max | 5001.153 |
| | mean | 3001.600 | | σ | 188.309 | | min | 2835.000 | | max | 3294.000 |
| | mean | 9.571 | | σ | 0.619 | | min | 8.475 | | max | 9.940 |
|