iters=5 new-facts=1 prior-facts=1 | | mean | 266.784 | | σ | 0.010 | | min | 266.774 | | max | 266.799 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 0.378 | | σ | 0.009 | | min | 0.372 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.207 | | σ | 0.011 | | min | 1927.197 | | max | 1927.223 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 2.999 | | σ | 0.072 | | min | 2.890 | | max | 3.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.738 | | σ | 0.822 | | min | 4747.220 | | max | 4749.191 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 8.317 | | σ | 0.531 | | min | 7.810 | | max | 9.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166 | | σ | 0.082 | | min | 4938.103 | | max | 4938.257 |
| | mean | 2943.600 | | σ | 416.301 | | min | 2470.000 | | max | 3514.000 |
| | mean | 8.440 | | σ | 0.100 | | min | 8.340 | | max | 8.577 |
|