iters=5 new-facts=1 prior-facts=1 | | mean | 273.611 | | σ | 0.006 | | min | 273.602 | | max | 273.617 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.386 | | σ | 0.005 | | min | 0.381 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.003 | | σ | 0.007 | | min | 1933.993 | | max | 1934.011 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.901 | | σ | 0.320 | | min | 2.387 | | max | 3.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.776 | | σ | 0.833 | | min | 4754.310 | | max | 4756.259 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.411 | | σ | 0.463 | | min | 7.682 | | max | 8.859 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.151 | | σ | 0.141 | | min | 4944.901 | | max | 4945.241 |
| | mean | 3057.800 | | σ | 229.327 | | min | 2838.000 | | max | 3295.000 |
| | mean | 8.825 | | σ | 0.360 | | min | 8.440 | | max | 9.355 |
|