iters=5 new-facts=1 prior-facts=1 | | mean | 324.718 | | σ | 0.034 | | min | 324.659 | | max | 324.746 |
| | mean | 2789.000 | | σ | 0.000 | | min | 2789.000 | | max | 2789.000 |
| | mean | 0.426 | | σ | 0.009 | | min | 0.419 | | max | 0.442 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264 | | σ | 0.010 | | min | 1985.251 | | max | 1985.277 |
| | mean | 2789.000 | | σ | 0.000 | | min | 2789.000 | | max | 2789.000 |
| | mean | 2.733 | | σ | 0.128 | | min | 2.566 | | max | 2.903 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.866 | | σ | 7.644 | | min | 4805.393 | | max | 4822.540 |
| | mean | 2789.000 | | σ | 0.000 | | min | 2789.000 | | max | 2789.000 |
| | mean | 8.732 | | σ | 0.190 | | min | 8.516 | | max | 8.974 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.482 | | σ | 0.022 | | min | 4996.455 | | max | 4996.505 |
| | mean | 3019.200 | | σ | 235.245 | | min | 2789.000 | | max | 3259.000 |
| | mean | 8.857 | | σ | 0.270 | | min | 8.577 | | max | 9.202 |
|