iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.011 | | min | 285.395 | | max | 285.419 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 0.386 | | σ | 0.015 | | min | 0.372 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.375 | | σ | 0.128 | | min | 1285.316 | | max | 1285.603 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 1.906 | | σ | 0.070 | | min | 1.855 | | max | 2.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.712 | | σ | 7.034 | | min | 1804.342 | | max | 1820.280 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 4.195 | | σ | 0.238 | | min | 3.852 | | max | 4.519 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196 | | σ | 0.012 | | min | 2070.181 | | max | 2070.214 |
| | mean | 1842.400 | | σ | 189.315 | | min | 1640.000 | | max | 2085.000 |
| | mean | 4.480 | | σ | 0.031 | | min | 4.453 | | max | 4.532 |
|