iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.008 | | min | 275.751 | | max | 275.766 |
| | mean | 2494.000 | | σ | 0.000 | | min | 2494.000 | | max | 2494.000 |
| | mean | 0.400 | | σ | 0.007 | | min | 0.395 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282 | | σ | 0.011 | | min | 2168.263 | | max | 2168.291 |
| | mean | 2494.000 | | σ | 0.000 | | min | 2494.000 | | max | 2494.000 |
| | mean | 2.991 | | σ | 0.160 | | min | 2.793 | | max | 3.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.878 | | σ | 0.740 | | min | 5047.225 | | max | 5049.148 |
| | mean | 2494.000 | | σ | 0.000 | | min | 2494.000 | | max | 2494.000 |
| | mean | 8.846 | | σ | 0.452 | | min | 8.286 | | max | 9.392 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.877 | | σ | 0.387 | | min | 5178.446 | | max | 5179.342 |
| | mean | 3221.800 | | σ | 383.720 | | min | 2704.000 | | max | 3723.000 |
| | mean | 9.763 | | σ | 0.317 | | min | 9.414 | | max | 10.105 |
|