iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.005 | | min | 275.750 | | max | 275.763 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 0.392 | | σ | 0.009 | | min | 0.385 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.287 | | σ | 0.009 | | min | 2168.279 | | max | 2168.301 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 2.836 | | σ | 0.079 | | min | 2.757 | | max | 2.951 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4889.254 | | σ | 354.515 | | min | 4255.077 | | max | 5048.163 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 8.530 | | σ | 0.618 | | min | 7.520 | | max | 9.150 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238 | | σ | 0.090 | | min | 5179.169 | | max | 5179.349 |
| | mean | 3187.400 | | σ | 334.764 | | min | 2858.000 | | max | 3704.000 |
| | mean | 9.918 | | σ | 0.135 | | min | 9.711 | | max | 10.072 |
|