iters=5 new-facts=1 prior-facts=1 | | mean | 280.285 | | σ | 0.011 | | min | 280.273 | | max | 280.302 |
| | mean | 2749.000 | | σ | 0.000 | | min | 2749.000 | | max | 2749.000 |
| | mean | 0.417 | | σ | 0.007 | | min | 0.410 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.305 | | σ | 0.015 | | min | 2270.286 | | max | 2270.323 |
| | mean | 2749.000 | | σ | 0.000 | | min | 2749.000 | | max | 2749.000 |
| | mean | 3.192 | | σ | 0.382 | | min | 2.792 | | max | 3.706 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.275 | | σ | 0.601 | | min | 5146.603 | | max | 5148.225 |
| | mean | 2749.000 | | σ | 0.000 | | min | 2749.000 | | max | 2749.000 |
| | mean | 8.994 | | σ | 0.738 | | min | 8.245 | | max | 9.931 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582 | | σ | 0.125 | | min | 5285.391 | | max | 5285.735 |
| | mean | 3465.400 | | σ | 445.008 | | min | 2837.000 | | max | 3997.000 |
| | mean | 10.073 | | σ | 0.367 | | min | 9.621 | | max | 10.618 |
|