iters=5 new-facts=1 prior-facts=1 | | mean | 326.707 | | σ | 0.048 | | min | 326.623 | | max | 326.743 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.422 | | σ | 0.001 | | min | 0.422 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.870 | | σ | 0.016 | | min | 1988.847 | | max | 1988.883 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.652 | | σ | 0.084 | | min | 2.547 | | max | 2.782 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.715 | | σ | 7.726 | | min | 4810.214 | | max | 4827.536 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.904 | | σ | 0.257 | | min | 8.456 | | max | 9.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.197 | | σ | 0.165 | | min | 5000.904 | | max | 5001.296 |
| | mean | 3028.600 | | σ | 201.985 | | min | 2832.000 | | max | 3311.000 |
| | mean | 9.205 | | σ | 0.687 | | min | 8.449 | | max | 9.884 |
|