iters=5 new-facts=1 prior-facts=1 | | mean | 285.677 | | σ | 0.009 | | min | 285.667 | | max | 285.685 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 0.380 | | σ | 0.008 | | min | 0.375 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.640 | | σ | 0.133 | | min | 1285.574 | | max | 1285.878 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 1.877 | | σ | 0.061 | | min | 1.816 | | max | 1.975 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.961 | | σ | 7.030 | | min | 1804.608 | | max | 1820.522 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 4.139 | | σ | 0.180 | | min | 3.967 | | max | 4.414 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.464 | | σ | 0.011 | | min | 2070.452 | | max | 2070.482 |
| | mean | 1869.800 | | σ | 194.447 | | min | 1641.000 | | max | 2083.000 |
| | mean | 4.452 | | σ | 0.022 | | min | 4.414 | | max | 4.468 |
|