iters=5 new-facts=1 prior-facts=1 | | mean | 324.766 | | σ | 0.044 | | min | 324.688 | | max | 324.790 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 0.427 | | σ | 0.007 | | min | 0.423 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322 | | σ | 0.016 | | min | 1985.305 | | max | 1985.340 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 2.616 | | σ | 0.060 | | min | 2.559 | | max | 2.689 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.084 | | σ | 7.669 | | min | 4805.615 | | max | 4822.803 |
| | mean | 2831.000 | | σ | 0.000 | | min | 2831.000 | | max | 2831.000 |
| | mean | 8.929 | | σ | 0.199 | | min | 8.613 | | max | 9.064 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485 | | σ | 0.192 | | min | 4996.248 | | max | 4996.640 |
| | mean | 3044.600 | | σ | 288.217 | | min | 2831.000 | | max | 3498.000 |
| | mean | 8.521 | | σ | 0.124 | | min | 8.442 | | max | 8.742 |
|