iters=5 new-facts=1 prior-facts=1 | | mean | 285.603 | | σ | 0.011 | | min | 285.587 | | max | 285.614 |
| | mean | 1593.000 | | σ | 0.000 | | min | 1593.000 | | max | 1593.000 |
| | mean | 0.378 | | σ | 0.005 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.567 | | σ | 0.134 | | min | 1285.502 | | max | 1285.807 |
| | mean | 1593.000 | | σ | 0.000 | | min | 1593.000 | | max | 1593.000 |
| | mean | 1.846 | | σ | 0.042 | | min | 1.806 | | max | 1.914 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.884 | | σ | 7.023 | | min | 1804.540 | | max | 1820.432 |
| | mean | 1593.000 | | σ | 0.000 | | min | 1593.000 | | max | 1593.000 |
| | mean | 4.135 | | σ | 0.168 | | min | 3.969 | | max | 4.379 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.393 | | σ | 0.010 | | min | 2070.380 | | max | 2070.408 |
| | mean | 1842.800 | | σ | 202.226 | | min | 1605.000 | | max | 2095.000 |
| | mean | 4.539 | | σ | 0.135 | | min | 4.450 | | max | 4.775 |
|