iters=5 new-facts=1 prior-facts=1 | | mean | 285.675 | | σ | 0.015 | | min | 285.651 | | max | 285.690 |
| | mean | 1598.000 | | σ | 0.000 | | min | 1598.000 | | max | 1598.000 |
| | mean | 0.375 | | σ | 0.000 | | min | 0.375 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641 | | σ | 0.135 | | min | 1285.573 | | max | 1285.882 |
| | mean | 1598.000 | | σ | 0.000 | | min | 1598.000 | | max | 1598.000 |
| | mean | 1.880 | | σ | 0.019 | | min | 1.863 | | max | 1.909 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.983 | | σ | 7.016 | | min | 1804.616 | | max | 1820.517 |
| | mean | 1598.000 | | σ | 0.000 | | min | 1598.000 | | max | 1598.000 |
| | mean | 4.218 | | σ | 0.176 | | min | 4.000 | | max | 4.472 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462 | | σ | 0.010 | | min | 2070.448 | | max | 2070.477 |
| | mean | 1844.000 | | σ | 217.430 | | min | 1598.000 | | max | 2086.000 |
| | mean | 4.453 | | σ | 0.028 | | min | 4.412 | | max | 4.488 |
|