iters=5 new-facts=1 prior-facts=1 | | mean | 280.289 | | σ | 0.006 | | min | 280.281 | | max | 280.297 |
| | mean | 2458.000 | | σ | 0.000 | | min | 2458.000 | | max | 2458.000 |
| | mean | 0.412 | | σ | 0.004 | | min | 0.409 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.270 | | σ | 0.042 | | min | 2270.218 | | max | 2270.323 |
| | mean | 2458.000 | | σ | 0.000 | | min | 2458.000 | | max | 2458.000 |
| | mean | 3.035 | | σ | 0.117 | | min | 2.917 | | max | 3.191 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.476 | | σ | 1.143 | | min | 5146.384 | | max | 5149.422 |
| | mean | 2458.000 | | σ | 0.000 | | min | 2458.000 | | max | 2458.000 |
| | mean | 8.782 | | σ | 0.749 | | min | 8.169 | | max | 10.002 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.580 | | σ | 0.210 | | min | 5285.246 | | max | 5285.763 |
| | mean | 3457.800 | | σ | 506.048 | | min | 2777.000 | | max | 3936.000 |
| | mean | 10.158 | | σ | 0.286 | | min | 9.650 | | max | 10.320 |
|