iters=5 new-facts=1 prior-facts=1 | | mean | 326.574 | | σ | 0.050 | | min | 326.486 | | max | 326.612 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 0.425 | | σ | 0.005 | | min | 0.422 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.735 | | σ | 0.021 | | min | 1988.701 | | max | 1988.755 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 2.645 | | σ | 0.100 | | min | 2.518 | | max | 2.748 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.480 | | σ | 7.497 | | min | 4810.074 | | max | 4826.891 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 8.722 | | σ | 0.384 | | min | 8.320 | | max | 9.244 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.152 | | σ | 0.021 | | min | 5001.122 | | max | 5001.179 |
| | mean | 3030.200 | | σ | 203.727 | | min | 2831.000 | | max | 3313.000 |
| | mean | 10.001 | | σ | 0.302 | | min | 9.769 | | max | 10.362 |
|