iters=5 new-facts=1 prior-facts=1 | | mean | 273.610 | | σ | 0.006 | | min | 273.601 | | max | 273.616 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.386 | | σ | 0.007 | | min | 0.381 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.991 | | σ | 0.006 | | min | 1933.983 | | max | 1933.996 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 3.022 | | σ | 0.068 | | min | 2.936 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.660 | | σ | 0.948 | | min | 4753.685 | | max | 4756.245 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.402 | | σ | 0.508 | | min | 7.667 | | max | 9.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.215 | | σ | 0.021 | | min | 4945.186 | | max | 4945.238 |
| | mean | 3019.400 | | σ | 195.166 | | min | 2838.000 | | max | 3309.000 |
| | mean | 8.635 | | σ | 0.294 | | min | 8.382 | | max | 9.102 |
|