iters=5 new-facts=1 prior-facts=1 | | mean | 324.762 | | σ | 0.060 | | min | 324.656 | | max | 324.797 |
| | mean | 2482.000 | | σ | 0.000 | | min | 2482.000 | | max | 2482.000 |
| | mean | 0.435 | | σ | 0.014 | | min | 0.423 | | max | 0.450 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1844.998 | | σ | 313.776 | | min | 1283.698 | | max | 1985.327 |
| | mean | 2482.000 | | σ | 0.000 | | min | 2482.000 | | max | 2482.000 |
| | mean | 2.423 | | σ | 0.426 | | min | 1.680 | | max | 2.762 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.949 | | σ | 7.672 | | min | 4805.420 | | max | 4822.673 |
| | mean | 2482.000 | | σ | 0.000 | | min | 2482.000 | | max | 2482.000 |
| | mean | 8.915 | | σ | 0.408 | | min | 8.357 | | max | 9.469 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.534 | | σ | 0.018 | | min | 4996.513 | | max | 4996.554 |
| | mean | 2941.800 | | σ | 325.585 | | min | 2517.000 | | max | 3245.000 |
| | mean | 8.673 | | σ | 0.135 | | min | 8.474 | | max | 8.842 |
|