iters=5 new-facts=1 prior-facts=1 | | mean | 270.607 | | σ | 0.004 | | min | 270.602 | | max | 270.610 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 0.379 | | σ | 0.008 | | min | 0.372 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.047 | | σ | 0.008 | | min | 1931.037 | | max | 1931.057 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 2.915 | | σ | 0.144 | | min | 2.708 | | max | 3.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.721 | | σ | 0.894 | | min | 4751.261 | | max | 4753.319 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 8.729 | | σ | 0.292 | | min | 8.300 | | max | 9.068 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.227 | | σ | 0.013 | | min | 4942.212 | | max | 4942.237 |
| | mean | 2955.000 | | σ | 256.102 | | min | 2768.000 | | max | 3362.000 |
| | mean | 8.430 | | σ | 0.040 | | min | 8.378 | | max | 8.487 |
|