iters=5 new-facts=1 prior-facts=1 | | mean | 326.576 | | σ | 0.041 | | min | 326.504 | | max | 326.602 |
| | mean | 2633.000 | | σ | 0.000 | | min | 2633.000 | | max | 2633.000 |
| | mean | 0.422 | | σ | 0.002 | | min | 0.420 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.737 | | σ | 0.010 | | min | 1988.723 | | max | 1988.750 |
| | mean | 2633.000 | | σ | 0.000 | | min | 2633.000 | | max | 2633.000 |
| | mean | 2.751 | | σ | 0.192 | | min | 2.636 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.603 | | σ | 7.705 | | min | 4810.037 | | max | 4827.385 |
| | mean | 2633.000 | | σ | 0.000 | | min | 2633.000 | | max | 2633.000 |
| | mean | 8.365 | | σ | 0.478 | | min | 7.806 | | max | 9.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.132 | | σ | 0.017 | | min | 5001.113 | | max | 5001.146 |
| | mean | 2954.800 | | σ | 341.942 | | min | 2633.000 | | max | 3417.000 |
| | mean | 9.692 | | σ | 0.198 | | min | 9.458 | | max | 9.903 |
|